Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_pseudo_miplib_normalized-mps-v2-20-10-p0548.opb.msat.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/pseudo/miplib/normalized-mps-v2-20-10-p0548.opb.msat.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...lized-mps-v2-20-10-p0548.opb.msat.wcnf
c Solving...
o 70197
o 70188
o 69443
o 69347
o 69322
o 69159
o 69154
o 69089
o 69087
o 69073
o 69053
o 69015
o 68950
o 68922
o 67626
o 67617
o 67615
o 67571
o 67553
o 67547
o 67541
o 67535
o 66142
o 66138
o 66104
o 66103
o 66101
o 66097
o 66092
o 66084
o 66080
o 66064
o 66061
o 66042
o 65763
o 64939
o 64889
o 64888
o 64817
o 64810
o 64780
o 64778
o 64775
o 64774
o 64773
o 64770
o 64766
o 64753
o 64752
o 64748
o 64745
o 64744
o 64728
1979.608u 0.099s 33:02.21 99.8%	0+0k 0+0io 0pf+0w