/data/SAT/sat-2003-beta/handmade/markstrom/SATISFIABLE/mm-3x1-9-9-s.1.shuffled-as.sat03-1494.cnf
slurmstepd: error: *** JOB 2401342 ON nodeC027 CANCELLED AT 2022-10-20T20:14:06 DUE TO TIME LIMIT ***
