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_wcsp_spot5_log_42.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/42.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...rafted/wcsp/spot5/log/42.wcsp.log.wcnf
c Solving...
o 170083
o 170060
o 170059
o 170058
o 170055
o 170054
o 170050
o 169057
o 169055
o 169054
o 169050
o 168065
o 168060
o 168059
o 168055
o 168054
o 168053
o 167054
o 167050
o 166069
o 166060
o 166059
o 166055
o 165064
o 165060
o 165059
o 165055
o 165054
o 165050
o 165049
o 164064
o 164060
o 164059
o 164055
o 164054
o 164050
o 164048
o 163074
o 163060
o 163058
o 163055
o 163054
o 163050
o 163049
o 162069
o 162060
o 162059
o 162058
o 162055
o 162054
o 162050
o 161069
o 161060
o 161059
o 161055
o 161054
o 161050
o 160065
o 160060
o 160059
o 160055
o 160054
o 160050
o 159059
o 159055
o 159054
o 159050
o 158064
1979.668u 0.035s 33:04.44 99.7%	0+0k 0+0io 0pf+0w