the pbs server died and had to be restarted, and then the maui server needed to be restarted, might have been related to jobs 51279 and 50865 - 51279 should have been able to preempt 50865 but then pbs dumped
Tue Jul 29 13:04:59 2008
pbs_server and maui restarted
