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_n13.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n13.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 11594
o 11507
o 11427
o 10925
o 10832
o 10819
o 10745
o 10726
o 10559
o 10472
o 10438
o 10370
o 10257
o 10175
o 10090
o 10016
o 9991
o 9978
o 9873
o 9700
o 9630
o 9481
o 9437
o 9381
o 9305
o 9240
o 9161
o 9085
o 8892
o 8879
o 8562
o 8504
o 8485
o 8424
o 8382
o 8109
o 7965
o 7738
o 7644
o 7593
o 7484
o 7336
o 7173
o 7148
o 6781
o 6357
o 6197
o 6190
o 6123
o 6075
o 5885
o 5858
o 5373
o 5342
o 5183
o 4966
o 4936
o 4856
o 4763
o 4547
o 4472
o 4192
o 4077
o 3953
o 3808
o 3554
o 3316
o 3209
o 3123
o 2946
o 2921
o 2852
o 2704
o 2682
o 2653
o 2570
o 2353
Killed
1979.582u 0.116s 33:05.24 99.7%	0+0k 0+0io 0pf+0w