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_me_file_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...e_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf
c Solving...
o 4707
o 4545
o 4501
o 4343
o 4329
o 4308
o 4303
o 4298
o 4290
o 4288
o 4283
o 4279
o 4270
o 4268
o 4264
o 4263
o 4262
o 4261
o 4258
o 4252
o 4251
o 4243
o 4238
o 4234
o 4224
o 4221
o 4219
o 4214
o 4211
o 4201
o 4200
o 4196
o 4194
o 4190
o 4187
o 4186
1979.578u 0.131s 33:12.14 99.3%	0+0k 0+0io 0pf+0w