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_p_hat500-3.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/p_hat500-3.clq.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...wmaxcut/dimacs_mod/p_hat500-3.clq.wcnf
c Solving...
o 3734
o 2204
o 1780
o 1778
o 1755
o 1754
o 1746
o 1745
o 1739
o 1738
o 1736
o 1730
o 1724
o 1720
o 1716
o 1714
o 1712
o 1703
o 1693
o 1691
o 1683
o 1675
o 1667
o 1666
o 1662
o 1658
o 1629
o 1617
o 1616
o 1587
o 1586
o 1585
o 1584
o 1582
1979.575u 0.126s 33:11.32 99.4%	0+0k 0+0io 0pf+0w