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_s2v120c1500_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1500_5.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/120v/s2v120c1500_5.wcnf
c Solving...
o 2141
o 2065
o 1728
o 1727
o 1726
o 1725
o 1722
o 1721
o 1718
o 1712
o 1711
o 1709
o 1701
o 1687
o 1677
o 1660
o 1655
o 1654
o 1653
o 1650
o 1641
o 1638
o 1621
o 1610
o 1609
o 1605
o 1603
o 1599
o 1590
o 1569
o 1566
o 1560
o 1557
o 1553
o 1551
o 1547
o 1541
o 1529
o 1520
o 1515
1979.606u 0.095s 33:11.95 99.3%	0+0k 0+0io 0pf+0w