One of the backend servers (server3) was just down for about 20 minutes. We’ve just been upgrading kernels on our frontend servers and had temporarily stopped all the regular 2 minute checks when one of the backends experience problems so it was a bit longer than normal before we got to it. Everything should be running normally again now.