At the weekly reboot of vmhost ‘oscar’, it did not boot properly. The listed virtual machines are not running at the moment. We are working on it. Update: most probably, the problems where caused by full snapshots. After removal of the snapshots, the system booted properly.