136876-time-to-restart-the-servers