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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_3.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_3.wcnf
c Solving...
o 4303
o 4301
o 4294
o 4271
o 4080
o 4077
o 4068
o 4055
o 4042
o 4041
o 4030
o 4029
o 4028
o 4026
o 4025
o 4014
o 4013
o 4010
o 4007
o 4001
o 3999
o 3995
o 3986
1979.565u 0.142s 33:05.80 99.6%	0+0k 0+0io 0pf+0w