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_s2v120c1600_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1600_2.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/120v/s2v120c1600_2.wcnf
c Solving...
o 2311
o 2095
o 1737
o 1735
o 1719
o 1717
o 1716
o 1707
o 1701
o 1700
o 1699
o 1695
o 1691
o 1685
o 1684
o 1679
o 1678
o 1676
o 1674
o 1671
o 1666
o 1660
o 1655
o 1642
o 1640
o 1638
o 1635
o 1625
o 1620
o 1614
o 1611
o 1610
o 1607
o 1600
o 1587
o 1577
o 1563
o 1556
1979.618u 0.085s 33:08.07 99.5%	0+0k 0+0io 0pf+0w