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_1.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1600_1.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/120v/s2v120c1600_1.wcnf
c Solving...
o 2405
o 2182
o 1996
o 1766
o 1764
o 1763
o 1760
o 1757
o 1753
o 1748
o 1745
o 1737
o 1734
o 1715
o 1710
o 1706
o 1704
o 1700
o 1698
o 1697
o 1689
o 1687
o 1685
o 1676
o 1665
o 1653
o 1634
o 1632
o 1622
o 1605
o 1595
o 1565
o 1561
o 1560
1979.641u 0.062s 33:01.42 99.9%	0+0k 0+0io 0pf+0w