hard kill of condor jobs not noticed by batch manager
If one pulls a plug (or reboots the cluster) the job status in the log file is not updated and the condormanager doesn’t now the job has crashed
(from redmine: issue id 353, created on 2010-09-24 by Tobias.Winchen)