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_C3000_H150_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_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_C3000_H150_3.wcnf
c Solving...
o 4032
o 3757
o 3587
o 3573
o 3548
o 3540
o 3527
o 3520
o 3515
o 3513
o 3505
o 3498
o 3493
o 3491
o 3486
o 3481
o 3479
o 3471
o 3467
o 3465
o 3460
o 3454
o 3452
o 3449
o 3417
o 3411
1979.579u 0.128s 33:01.44 99.9%	0+0k 0+0io 0pf+0w