I think it's highly unlikely that three bots, all by completely different users of different ranks, would all time out at exactly the same time. Do you think it might be a bug?
Totally right. There was a problem with a couple of our servers. Believe that it has now been fixed.