We are rebooting this server. This should not take longer than 15 minutes.
Update @ Fri Nov 1 21:55:43 MDT 2019 - The reboot is complete. The server is up and running.
