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_C2000_H150_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_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_C2000_H150_5.wcnf
c Solving...
o 2691
o 2525
o 2265
o 2264
o 2263
o 2251
o 2250
o 2244
o 2243
o 2235
o 2228
o 2222
o 2221
o 2219
o 2215
o 2214
o 2213
o 2212
o 2210
o 2205
o 2204
o 2196
o 2191
o 2187
o 2183
o 2180
o 2179
o 2175
o 2171
o 2169
o 2167
o 2164
o 2160
o 2158
o 2154
o 2150
o 2148
o 2141
o 2140
o 2134
o 2133
o 2131
o 2130
o 2121
1979.610u 0.095s 33:06.33 99.6%	0+0k 0+0io 0pf+0w