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_hi_file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_8.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...le_rpms_wcnf_L2_V150_C4500_H150_8.wcnf
c Solving...
o 1064
o 1049
o 1046
o 1038
o 1037
o 1034
o 1033
o 1028
o 1027
o 1024
o 1021
o 1020
o 1018
o 1017
o 1015
o 1014
o 1011
o 1008
o 1007
o 1006
o 1004
1979.508u 0.203s 33:08.21 99.5%	0+0k 0+0io 0pf+0w