8th October 2018
We are aware that there are issues affecting this server. We are working to get them resolved.
Update Mon Oct 8 02:21:19 MDT 2018: The server was out of free memory and had to be rebooted. Currently it is back online and running fine.