We are aware that there are issues affecting this server. The server has been rebooted and started a file system check.
Update @ Wed Aug 14 03:08 BST 2018: We managed to bring the server back online and it is working.