Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-msp_normalized-ii8c2.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-msp/normalized-ii8c2.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...dustrial/bcp-msp/normalized-ii8c2.wcnf
c Solving...
o 949
o 944
o 936
o 929
o 922
o 916
o 909
o 902
o 900
o 899
o 898
o 897
o 896
o 895
o 894
o 893
o 892
o 891
o 890
o 875
o 866
o 865
o 831
o 830
o 826
o 825
o 824
o 823
1979.397u 0.321s 33:11.55 99.4%	0+0k 0+0io 0pf+0w