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_n15.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n15.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 20432
o 20090
o 20006
o 19973
o 19624
o 19577
o 19512
o 19465
o 19255
o 18913
o 18870
o 18447
o 18400
o 18094
o 18047
o 17777
o 17743
o 17701
o 17667
o 17437
o 17218
o 17005
o 16959
o 16711
o 16710
o 16541
o 16496
o 16446
o 16399
o 16357
o 16339
o 16297
o 16208
o 16166
o 16155
o 15905
o 15854
o 15799
o 15788
o 15713
o 15642
o 15563
o 15394
o 15204
o 15186
o 14998
o 14914
o 14822
o 14807
o 14737
o 14618
o 14522
o 14519
o 14494
o 14450
o 14362
o 14220
o 14016
o 13993
o 13863
o 13692
o 13646
o 13434
o 13315
o 13310
o 13271
o 13189
o 13138
o 12795
o 12749
o 12723
o 12668
o 12666
o 12634
o 12568
o 12381
o 12372
o 12369
o 12237
o 12158
o 12156
o 12082
o 12031
o 11812
o 11790
o 11754
o 11673
o 11632
o 11615
o 11524
o 11341
o 11164
o 11063
o 11027
o 10997
o 10873
o 10751
o 10697
o 10683
o 10663
o 10658
o 10644
o 10410
o 10222
o 10163
o 10059
o 9973
o 9959
o 9939
Killed
1979.651u 0.047s 33:13.33 99.3%	0+0k 0+0io 0pf+0w