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_s2v120c1400_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_6.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/120v/s2v120c1400_6.wcnf
c Solving...
o 2093
o 1917
o 1861
o 1859
o 1441
o 1440
o 1409
o 1405
o 1367
o 1365
o 1364
o 1358
o 1351
o 1344
o 1341
o 1339
o 1338
o 1336
o 1334
o 1332
o 1331
o 1327
o 1326
o 1324
o 1322
o 1319
o 1315
o 1314
o 1307
o 1301
o 1294
o 1289
o 1287
o 1286
o 1280
o 1276
o 1275
o 1263
o 1262
o 1260
o 1256
o 1254
o 1243
o 1242
o 1237
1977.709u 1.996s 33:01.27 99.9%	0+0k 0+0io 0pf+0w