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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_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_C3000_H150_2.wcnf
c Solving...
o 3836
o 3769
o 3644
o 3641
o 3630
o 3626
o 3623
o 3613
o 3610
o 3603
o 3596
o 3588
o 3584
o 3582
o 3566
o 3563
o 3557
o 3556
o 3548
o 3542
o 3538
o 3532
o 3524
o 3519
o 3458
o 3455
o 3450
o 3443
o 3408
o 3407
o 3405
o 3397
o 3387
o 3378
o 3377
o 3374
o 3368
o 3366
o 3365
o 3357
o 3356
o 3353
o 3348
o 3347
o 3343
o 3336
o 3334
o 3326
o 3324
o 3322
o 3315
o 3312
o 3308
o 3279
o 3275
o 3273
1979.576u 0.130s 33:05.58 99.7%	0+0k 0+0io 0pf+0w