Started 6 days and 10 hours ago, resolved 4 days and 19 hours ago.
Solver Server #1 recovered.
Solver Server #1 went down.
Resolved
