Hexagon crash Feb. 6th

Hexagon crashed 12:15 today. We are working on getting the system up and running again.

Update 13:30: Hexagon is now running again. Most probably the crash was caused by overuse of memory on several login nodes.

All jobs running when it crashed has to be resubmitted. We are sorry for the inconvenience.