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_412.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/412.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 24218
o 47398
o 47397
o 47396
o 47395
o 47394
o 47393
o 47392
o 47391
o 47390
o 47389
o 47388
o 47387
o 47386
o 47385
o 47384
o 47383
o 47382
o 47381
o 47380
o 47379
o 47378
o 47377
o 47376
o 47375
o 47374
o 47373
o 47372
o 47371
o 47370
o 47369
o 46397
o 46395
o 46394
o 46393
o 46392
o 46391
o 46390
o 46389
o 46388
o 46387
o 46386
o 46385
o 46384
o 46383
o 46382
o 46381
o 46380
o 46379
o 46378
o 46377
o 46376
o 46375
o 46374
o 46373
o 46372
o 46371
o 46370
o 46369
o 45403
o 45402
o 45401
o 45400
o 45399
o 45398
o 45397
o 45396
o 45395
o 45394
o 45393
o 45392
o 45391
o 45390
o 45389
o 45388
o 45387
o 45386
o 45385
o 45384
o 45383
o 45382
Killed
1979.558u 0.140s 33:11.79 99.3%	0+0k 0+0io 0pf+0w