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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_H150_0.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_0.wcnf
c Solving...
o 2682
o 2330
o 2327
o 2323
o 2320
o 2313
o 2310
o 2294
o 2291
o 2287
o 2284
o 2282
o 2278
o 2275
o 2273
o 2272
o 2267
o 2266
o 2265
o 2256
o 2255
o 2238
o 2231
o 2229
o 2219
o 2214
o 2211
o 2210
o 2206
o 2194
o 2192
o 2190
o 2189
o 2188
o 2185
o 2179
o 2173
1979.611u 0.093s 33:12.91 99.3%	0+0k 0+0io 0pf+0w