2019-07-25 - tools
21:22 <jeh> rebooting tools-worker-1016 unresponsive