We are aware that there are issues affecting this server. It was rebooted and running a filesystemcheck now. Update Sat Aug 6 01:46:15 MDT 2016: The server is back online and available for use.
