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_509.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/509.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 28241
o 53472
o 53470
o 53469
o 53467
o 53466
o 53465
o 53464
o 53463
o 53461
o 53460
o 53459
o 53458
o 53457
o 53456
o 53455
o 53454
o 53453
o 53452
o 53451
o 53450
o 53449
o 52469
o 52468
o 52467
o 52466
o 52465
o 52464
o 52463
o 52462
o 52461
o 52460
o 52459
o 52458
o 52457
o 52456
o 52455
o 52454
o 52453
o 52452
o 52451
o 52450
o 51475
o 51474
o 51473
o 51472
o 51471
o 51470
o 51469
o 51468
o 51467
o 51466
o 51465
o 51464
o 51463
o 51462
o 51461
o 51460
o 51459
o 51458
o 51457
o 51456
o 51455
o 51454
o 51453
o 51452
o 51451
Killed
1979.378u 0.321s 33:02.04 99.8%	0+0k 0+0io 0pf+0w