Just a heads up. Bunch of virtual machines are down due to the fact that the host is down. I suspect CS CMU facilities guys powered off machines when they were replacing dead UPS batteries (which I requested). I am working on resolving this issue. Best, Predrag