Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_wcsp_spot5_log_503.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/503.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 10092
o 15135
o 15132
o 15131
o 15129
o 14135
o 14134
o 14132
o 14129
o 14128
o 14127
o 14126
o 13137
o 13136
o 13133
o 13132
o 13129
o 13127
o 13126
o 12137
o 12136
o 12134
o 12133
o 12132
o 12129
o 12128
o 12127
o 12126
o 12125
o 12124
o 12123
o 12122
Killed
1979.500u 0.198s 33:13.02 99.3%	0+0k 0+0io 0pf+0w