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_ramsey_ram_k3_n14.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n14.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 13971
o 13555
o 13391
o 13353
o 13156
o 13078
o 12971
o 12939
o 12880
o 12856
o 12748
o 12724
o 12163
o 12064
o 11915
o 11906
o 11599
o 11569
o 11513
o 11474
o 11465
o 11347
o 11322
o 11135
o 11119
o 11103
o 10659
o 10485
o 10080
o 9955
o 9824
o 9806
o 9781
o 9452
o 9375
o 9222
o 8858
o 8855
o 8838
o 8837
o 8798
o 8540
o 8539
o 8453
o 8402
o 8313
o 8120
o 8054
o 7965
o 7886
o 7840
o 7752
o 7715
o 7637
o 7439
o 7343
o 7308
o 7295
o 7248
o 7149
o 7102
o 6950
o 6884
o 6708
Killed
1979.622u 0.076s 33:03.18 99.8%	0+0k 0+0io 0pf+0w