We will have a short scheduled maintenance for hexagon on Monday November 17th at 13:30. Estimated downtime is 1 hour. Task is to apply a patch for a memory bug.

Update Monday 17th 12:15, due to empty queue system and an issue with the batch system scheduler we did the restart early, we are sorry for any inconvenience this may have caused.

Update 12:30, machine is now running again.