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_n19.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k4_n19.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 26289
o 26181
o 25760
o 25676
o 25631
o 25498
o 25453
o 25140
o 25059
o 25012
o 24968
o 24721
o 24494
o 24333
o 24291
o 24064
o 23903
o 23689
o 23462
o 23361
o 23283
o 23282
o 23261
o 23225
o 23034
o 22998
o 22980
o 22979
o 22942
o 22658
o 22450
o 22387
o 22351
o 22067
o 22031
o 22023
o 21945
o 21691
o 21596
o 21370
o 21283
o 21271
o 21219
o 20911
o 20808
o 20783
o 20743
o 20731
o 20564
o 20513
o 20447
o 20427
o 20389
o 20234
o 20189
o 20177
o 20125
o 20105
o 20002
o 19778
o 19707
o 19570
o 19358
o 19301
o 19181
o 19125
o 19046
o 18854
o 18790
o 18710
o 18581
o 18461
o 18378
o 18331
o 18321
o 18274
o 18226
o 18200
o 18172
o 17778
o 17602
o 17509
o 17334
o 17317
o 17237
o 17098
o 17093
o 16907
o 16899
o 16624
o 16618
o 16476
o 16455
o 16445
o 16413
o 16373
o 16277
o 16245
o 16066
o 16001
o 15926
o 15710
o 15635
o 15609
o 15573
o 15251
o 15161
o 15157
o 15084
o 14753
o 14504
o 14470
o 14426
o 14269
o 14264
o 14083
o 13923
o 13912
o 13892
o 13764
o 13540
o 13171
o 13164
o 13073
o 12931
o 12906
o 12883
o 12819
o 12802
o 12713
o 12708
o 12689
o 12517
o 12427
o 12416
o 12354
o 12205
o 12172
o 12156
o 12097
o 12057
o 12048
o 11948
o 11921
o 11820
o 11811
o 11657
o 11602
o 11543
o 11437
o 11407
o 11299
o 11240
o 11109
o 11091
o 11018
o 10890
o 10785
o 10762
o 10740
o 10523
o 10399
o 10258
o 10199
o 10185
o 10058
o 9945
o 9913
o 9863
o 9851
o 9745
o 9582
o 9543
o 9529
o 9425
o 9383
o 9328
o 9321
o 9275
o 9270
o 9268
o 9085
o 9078
o 8830
o 8717
Killed
1979.343u 0.355s 33:03.37 99.8%	0+0k 0+0io 0pf+0w