Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wms_crafted-_home_maxsat_benchmarks_wms_crafted_wmaxcut_dimacs_mod_brock800_3.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/brock800_3.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wmaxcut/dimacs_mod/brock800_3.clq.wcnf
c Solving...
o 2826
o 1634
o 1253
o 1252
o 1249
o 1243
o 1241
o 1234
o 1232
o 1227
o 1223
o 1216
o 1215
o 1211
o 1207
o 1192
o 1191
o 1180
o 1170
o 1169
o 1166
o 1163
o 1145
o 1143
o 1138
o 1136
o 1133
o 1126
1979.660u 0.041s 33:08.18 99.5%	0+0k 0+0io 0pf+0w