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_1.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/brock800_1.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wmaxcut/dimacs_mod/brock800_1.clq.wcnf
c Solving...
o 2853
o 1778
o 1351
o 1325
o 1313
o 1305
o 1284
o 1283
o 1279
o 1276
o 1268
o 1258
o 1252
o 1232
o 1222
o 1220
o 1206
o 1203
o 1194
o 1193
o 1188
o 1187
o 1174
o 1170
o 1165
o 1155
o 1151
o 1139
o 1127
o 1124
o 1123
o 1119
o 1117
o 1108
1979.637u 0.066s 33:06.10 99.6%	0+0k 0+0io 0pf+0w