Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...e_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf
c Solving...
o 1167
o 1069
o 803
o 799
o 798
o 796
o 792
o 791
o 788
o 787
o 785
o 782
o 778
o 777
o 773
o 769
o 767
1979.682u 0.019s 33:12.31 99.3%	0+0k 0+0io 0pf+0w