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_hi_file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...e_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf
c Solving...
o 5815
o 5775
o 5772
o 5717
o 5712
o 5701
o 5700
o 5690
o 5687
o 5680
o 5677
o 5672
o 5657
o 5654
o 5647
o 5642
o 5641
o 5628
o 5627
o 5625
o 5614
o 5612
o 5606
o 5590
o 5587
o 5578
o 5572
o 5560
o 5555
o 5536
o 5531
o 5516
o 5502
o 5483
o 5482
o 5474
o 5472
o 5463
o 5462
o 5458
o 5455
o 5439
o 5437
o 5435
o 5434
o 5433
o 5428
o 5414
o 5404
o 5379
1979.548u 0.162s 33:01.87 99.8%	0+0k 0+0io 0pf+0w