2022-07-06 - quarry
08:40	<dcaro>	rebooting worker-04 due to being unable to ssh to it (things started segfaulting, then too much work for irq)	[quarry]