/data/SAT/sat-2003-beta/handmade/markstrom/UNSATISFIABLE/mm-2x3-8-8-s.1.shuffled-as.sat03-1503.cnf
slurmstepd: error: *** JOB 2401351 ON nodeC005 CANCELLED AT 2022-10-20T20:16:36 DUE TO TIME LIMIT ***
