US8448168B2 - Recording Medium Having Virtual Machine Managing Program Recorded Therein and Managing Server Device