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_507.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/507.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 23195
o 39429
o 39427
o 39425
o 39424
o 39423
o 39421
o 39420
o 39418
o 39416
o 39415
o 39414
o 39413
o 39412
o 39410
o 39409
o 39408
o 39407
o 39406
o 39405
o 39404
o 39403
o 39402
o 38433
o 38432
o 38431
o 38430
o 38429
o 38427
o 38426
o 38425
o 38424
o 38423
o 38422
o 38421
o 38420
o 38419
o 38418
o 38417
o 38416
o 38415
o 38414
o 38413
o 38412
o 38411
o 38410
o 38409
o 38408
o 38407
o 38406
o 38404
o 38403
o 38402
Killed
1979.650u 0.048s 33:11.65 99.3%	0+0k 0+0io 0pf+0w