Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_100v_s2v100c1300_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_8.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/100v/s2v100c1300_8.wcnf
c Solving...
o 1872
o 1812
o 1514
o 1236
o 1233
o 1230
o 1227
o 1224
o 1223
o 1222
o 1219
o 1217
o 1213
o 1210
o 1203
o 1193
o 1191
o 1190
1979.597u 0.108s 33:06.48 99.6%	0+0k 0+0io 0pf+0w