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_n17.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n17.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 11400
o 10948
o 10912
o 10871
o 10809
o 10749
o 10297
o 10247
o 10213
o 10054
o 9789
o 9708
o 9665
o 9643
o 9471
o 9272
o 8938
o 8872
o 8861
o 8795
o 8666
o 8658
o 8644
o 8472
o 8248
o 7905
o 7874
o 7849
o 7786
o 7783
o 7717
o 7609
o 7522
o 7459
o 7365
o 7213
o 7050
o 6896
o 6771
o 6701
o 6619
o 6600
o 6591
o 6533
o 6523
o 6479
o 6428
o 6366
o 6356
o 6348
o 6276
o 6272
o 6256
o 6253
o 6171
o 6161
o 6105
o 6099
o 5980
o 5936
o 5809
o 5786
o 5773
o 5663
o 5580
o 5426
o 5350
o 5186
o 5136
o 5115
o 4980
o 4827
o 4815
o 4805
o 4795
o 4770
o 4757
o 4730
o 4644
o 4631
o 4572
o 4571
o 4533
o 4483
o 4437
o 4362
o 4290
o 4287
o 4284
o 4149
o 4132
o 4122
o 4050
o 3839
o 3820
o 3773
o 3708
o 3672
o 3483
o 3421
o 3400
o 3300
o 3075
o 3057
o 3024
o 2880
o 2878
o 2869
o 2815
o 2734
o 2573
o 2563
o 2495
o 2345
o 1979
o 1828
o 1696
o 1619
o 1560
o 1522
o 1515
o 1478
o 1438
o 1350
o 1306
o 1304
o 1297
o 1282
o 1242
o 1239
o 1178
o 1166
o 1143
o 1136
o 1101
o 1099
o 1065
o 1036
o 1019
o 882
o 708
o 706
o 683
o 646
o 591
o 564
o 523
o 512
Killed
1979.650u 0.048s 33:04.66 99.7%	0+0k 0+0io 0pf+0w