Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_crafted-_home_maxsat_benchmarks_wms_crafted_wmaxcut_dimacs_mod_hamming6-2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/hamming6-2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 3251
o 4655
o 4653
o 4648
o 4644
o 4639
o 4638
o 4631
o 4629
o 4627
o 4621
o 4612
o 4602
o 4600
o 4599
o 4596
o 4590
o 4580
o 4576
o 4552
o 4548
o 4547
o 4546
o 4532
o 4526
o 4516
o 4514
o 4512
o 4506
o 4505
o 4495
Killed
1979.678u 0.020s 33:11.55 99.4%	0+0k 0+0io 0pf+0w