Unfinished job is:
(( 0 )
 ( ))
c The job "/home/stuart/AKT/ALC-SAT/sato4.1/sato dimacs_file", (pid: 11603) ended at Wed Dec 17 20:07:33 2003