Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_me_file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...le_rpms_wcnf_L2_V150_C3500_H150_4.wcnf
c Solving...
o 842
o 831
o 820
o 818
o 816
o 815
o 813
o 812
o 811
o 810
o 809
o 807
o 806
o 805
o 802
o 801
o 800
o 799
o 798
o 783
o 782
o 781
o 780
o 779
o 776
o 775
o 774
o 772
o 770
o 765
o 763
o 755
o 754
o 753
o 752
o 751
o 749
o 748
o 747
o 737
o 734
o 733
o 732
o 731
o 727
o 726
1979.496u 0.210s 33:03.12 99.8%	0+0k 0+0io 0pf+0w