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_414.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/414.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 28250
o 57510
o 57508
o 57507
o 57506
o 57505
o 57504
o 57503
o 57502
o 57501
o 57500
o 57499
o 57498
o 57497
o 57496
o 57495
o 57494
o 57493
o 57492
o 57491
o 57490
o 57489
o 57488
o 57487
o 57486
o 57485
o 57484
o 57483
o 57482
o 57481
o 57480
o 57479
o 57478
o 57477
o 57476
o 57475
o 57474
o 56507
o 56506
o 56505
o 56504
o 56503
o 56502
o 56501
o 56500
o 56499
o 56498
Killed
1979.650u 0.049s 33:01.63 99.9%	0+0k 0+0io 0pf+0w