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_120v_s2v120c1300_4.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1300_4.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/120v/s2v120c1300_4.wcnf
c Solving...
o 1870
o 1758
o 1286
o 1282
o 1280
o 1279
o 1276
o 1275
o 1273
o 1230
o 1229
o 1226
o 1221
o 1219
o 1216
o 1210
o 1209
o 1204
o 1200
o 1199
o 1196
o 1195
o 1194
o 1187
o 1185
o 1184
o 1180
o 1179
o 1176
o 1174
o 1172
o 1171
o 1169
o 1167
1979.650u 0.054s 33:01.45 99.9%	0+0k 0+0io 0pf+0w