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_k4_n18.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k4_n18.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 16894
o 16638
o 16529
o 16498
o 16443
o 16273
o 16091
o 15877
o 15859
o 15828
o 15610
o 15533
o 15381
o 15350
o 15091
o 15075
o 15015
o 15014
o 14765
o 14723
o 14663
o 14632
o 14501
o 14351
o 14300
o 14279
o 14023
o 13898
o 13808
o 13784
o 13611
o 13372
o 13279
o 13196
o 13115
o 12706
o 12517
o 12483
o 12451
o 12381
o 11977
o 11969
o 11886
o 11856
o 11802
o 11558
o 11479
o 11377
o 11336
o 11310
o 11253
o 11216
o 11137
o 10801
o 10763
o 10703
o 10638
o 10614
o 10412
o 10366
o 10307
o 10300
o 10197
o 10142
o 9974
o 9951
o 9944
o 9916
o 9716
o 9670
o 9621
o 9603
o 9552
o 9371
o 9334
o 9322
o 9303
o 9283
o 9279
o 9207
o 9203
o 9139
o 8996
o 8883
o 8875
o 8872
o 8754
o 8725
o 8698
o 8481
o 8467
o 8403
o 8387
o 8371
o 8323
o 8263
o 8200
o 8198
o 8025
o 7865
o 7847
o 7730
o 7699
o 7624
o 7302
o 6893
o 6872
o 6824
o 6755
o 6707
o 6570
o 6547
o 6503
o 6163
o 6024
o 5743
o 5444
o 5358
o 5190
o 5099
o 5097
o 4912
o 4775
o 4743
o 4620
o 4357
o 4341
o 4233
o 4211
o 4175
o 3940
o 3867
o 3801
o 3767
o 3721
o 3693
o 3581
o 3347
o 3249
o 3245
o 3148
o 3077
o 3042
o 3034
o 2630
o 2583
o 2581
o 2544
o 2471
o 2369
o 2350
o 2336
o 2259
Killed
1979.645u 0.053s 33:01.14 99.9%	0+0k 0+0io 0pf+0w