Apologies for an outage on the server earlier today.

The immediate cause was a jump in load of the CPUs by 150X. I am investigating the why this happened.

Thanks to Yann who first spotted this and got the server rebooted. I did get a warning message about this problem but by the time I had read it this morning the problem was already fixed.