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_hamming6-4.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/hamming6-4.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wmaxcut/dimacs_mod/hamming6-4.clq.wcnf
c Solving...
o 3983
o 2334
o 1684
o 1680
o 1662
o 1659
o 1656
o 1651
o 1645
o 1640
o 1639
o 1632
o 1631
o 1615
o 1608
o 1601
o 1600
o 1593
o 1590
o 1574
o 1565
o 1564
o 1559
o 1502
o 1493
o 1492
o 1490
o 1478
o 1473
o 1444
o 1437
o 1425
o 1422
o 1413
o 1410
o 1391
o 1390
1979.649u 0.054s 33:01.70 99.8%	0+0k 0+0io 0pf+0w