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_C5000_H150_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...e_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf
c Solving...
o 6754
o 6408
o 6406
o 6385
o 6383
o 6335
o 6328
o 6305
o 6302
o 6292
o 6270
o 6266
o 6264
o 6253
o 6220
o 6214
o 6210
o 6209
o 6199
o 6182
o 6175
o 6174
o 6165
o 6164
o 6160
o 6155
o 6149
o 6146
o 6139
o 6120
o 6091
o 6088
o 6087
o 6083
o 6079
o 6073
o 6071
o 6062
o 6053
o 6041
o 6027
o 6026
o 6005
o 6000
o 5990
o 5973
o 5971
o 5959
o 5955
1979.547u 0.161s 33:09.08 99.5%	0+0k 0+0io 0pf+0w