Unscheduled downtime last night

Last night at around 1 am the CIP pool experienced some unscheduled downtime, causing reboots of different servers.

Since 8 am everything should be back to normal. If you still experience any problems, please let us know.