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_san200_0.7_1.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/san200_0.7_1.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...axcut/dimacs_mod/san200_0.7_1.clq.wcnf
c Solving...
o 3158
o 1823
o 1465
o 1464
o 1459
o 1457
o 1455
o 1436
o 1435
o 1429
o 1427
o 1420
o 1419
o 1413
o 1412
o 1410
o 1409
o 1391
o 1390
o 1378
o 1376
o 1374
o 1368
o 1367
o 1361
o 1357
o 1345
o 1333
o 1331
o 1320
o 1313
1979.638u 0.065s 33:01.66 99.9%	0+0k 0+0io 0pf+0w