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.