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_n20.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k4_n20.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 29371
o 29316
o 29209
o 29049
o 28990
o 28883
o 28770
o 28711
o 28604
o 28234
o 28201
o 28070
o 27945
o 27773
o 27411
o 27286
o 27114
o 26967
o 26618
o 26522
o 26465
o 26402
o 26289
o 26232
o 26216
o 25996
o 25871
o 25699
o 25685
o 25541
o 25466
o 25452
o 25421
o 25374
o 25304
o 25271
o 25250
o 25247
o 25106
o 24995
o 24401
o 24348
o 24270
o 24056
o 23959
o 23931
o 23906
o 23877
o 23762
o 23758
o 23718
o 23695
o 23694
o 23669
o 23640
o 23525
o 23521
o 23481
o 23421
o 23219
o 23218
o 23071
o 22930
o 22716
o 22544
o 22543
o 22483
o 22421
o 22343
o 22281
o 22211
o 22083
o 22017
o 21955
o 21885
o 21757
o 21736
o 21714
o 21634
o 21565
o 21557
o 21410
o 21261
o 21126
o 21090
o 21058
o 20939
o 20841
o 20798
o 20737
o 20675
o 20605
o 20402
o 20304
o 20291
o 20204
o 20106
o 20021
o 19830
o 19767
o 19574
o 19515
o 19424
o 19295
o 19093
o 18840
o 18602
o 18515
o 18502
o 18489
o 18345
o 18305
o 18276
o 18080
o 17804
o 17704
o 17681
o 17653
o 17652
o 17471
o 17408
o 17399
o 17395
o 17384
o 17155
o 17099
o 17067
o 17056
o 16941
o 16839
o 16807
o 16796
o 16586
o 16507
o 16444
o 16331
o 16321
o 16239
o 16044
o 16027
o 16015
o 15979
o 15784
o 15767
o 15755
o 15578
o 15575
o 15567
o 15536
o 15334
o 15070
o 15062
o 15053
o 15045
o 14605
o 14266
o 14194
o 14052
o 14021
o 14013
o 13896
o 13858
o 13813
o 13757
o 13726
o 13349
Killed
1979.567u 0.131s 33:09.28 99.5%	0+0k 0+0io 0pf+0w