/data/SAT/sat-2003-beta/handmade/markstrom/SATISFIABLE/mm-1x10-10-10-sb.1.shuffled-as.sat03-1489.cnf
slurmstepd: error: *** JOB 2401337 ON nodeC031 CANCELLED AT 2022-10-20T20:11:36 DUE TO TIME LIMIT ***
