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_n18.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n18.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 49149
o 48811
o 48522
o 48184
o 47775
o 47747
o 47718
o 47426
o 47424
o 47315
o 47060
o 46867
o 46785
o 46625
o 46142
o 46054
o 46010
o 45937
o 45930
o 45785
o 45744
o 45656
o 45586
o 45547
o 45352
o 45313
o 45311
o 45173
o 44966
o 44821
o 44730
o 44435
o 44362
o 44188
o 43869
o 43796
o 43779
o 43216
o 43177
o 43131
o 43054
o 42981
o 42970
o 42924
o 42722
o 42645
o 42592
o 42495
o 42466
o 42384
o 42337
o 42191
o 42104
o 41997
o 41958
o 41948
o 41930
o 41862
o 41843
o 41579
o 41144
o 41094
o 41085
o 40858
o 40828
o 40773
o 40553
o 40528
o 40374
o 40349
o 40245
o 40228
o 40053
o 39874
o 39753
o 39657
o 39478
o 39357
o 39311
o 39132
o 39011
o 38961
o 38925
o 38835
o 38692
o 38657
o 38539
o 38463
o 38377
o 38249
o 38144
o 38021
o 37943
o 37639
o 37605
o 37539
o 37399
o 37372
o 37326
o 37240
o 37215
o 37198
o 37159
o 37116
o 37000
o 36851
o 36736
o 36693
o 36671
o 36606
o 36599
o 36393
o 36341
o 36202
o 36078
o 35891
o 35859
o 35509
o 35489
o 35395
o 35394
o 35219
o 35133
o 35060
o 35024
o 34942
o 34827
o 34745
o 34611
o 34381
o 34343
o 34235
o 34214
o 34152
o 34131
o 33994
o 33924
o 33829
o 33507
o 33344
o 33311
o 33166
o 33152
o 33117
o 33038
o 32861
o 32853
o 32817
o 32667
o 32628
o 32427
o 32227
o 32196
Killed
1979.519u 0.179s 33:09.03 99.5%	0+0k 0+0io 0pf+0w