At 13:11 BST the server crashed due to overheating. The system was restarted by 15:21 BST.