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_hi_file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...e_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf
c Solving...
o 5633
o 5317
o 5049
o 5036
o 5014
o 4996
o 4992
o 4989
o 4976
o 4954
o 4936
o 4935
o 4929
o 4922
o 4916
o 4910
o 4909
o 4903
o 4899
o 4880
o 4862
o 4856
o 4854
o 4853
o 4847
o 4830
o 4824
o 4821
o 4807
o 4801
o 4800
o 4798
o 4792
o 4791
o 4790
o 4789
o 4785
o 4784
o 4781
o 4780
o 4779
o 4778
o 4776
o 4775
o 4772
o 4771
1979.509u 0.200s 33:11.81 99.3%	0+0k 0+0io 0pf+0w