web12 has just seen a kernel panic. We are going to reboot it in a few minutes
Server is up for past 10 minutes post reboot.