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_140v_s2v140c1600_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1600_6.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/140v/s2v140c1600_6.wcnf
c Solving...
o 2230
o 2055
o 1748
o 1740
o 1721
o 1719
o 1718
o 1713
o 1712
o 1711
o 1705
o 1704
o 1702
o 1701
o 1696
o 1695
o 1693
o 1678
o 1677
o 1674
o 1672
o 1671
o 1670
o 1669
o 1664
o 1663
o 1662
o 1660
o 1658
o 1657
o 1656
o 1647
o 1645
o 1641
o 1640
o 1635
o 1634
o 1632
o 1618
o 1607
o 1603
1979.607u 0.097s 33:04.86 99.7%	0+0k 0+0io 0pf+0w