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_n18.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n18.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 13276
o 13119
o 12749
o 12409
o 12339
o 12177
o 11854
o 11786
o 11466
o 11463
o 11342
o 11153
o 10991
o 10902
o 10607
o 10604
o 10541
o 10538
o 10364
o 10361
o 10298
o 10284
o 10256
o 10251
o 10047
o 9993
o 9949
o 9931
o 9758
o 9729
o 9632
o 9603
o 9600
o 9544
o 9541
o 9525
o 9522
o 9378
o 9375
o 9148
o 9145
o 9134
o 8897
o 8894
o 8843
o 8722
o 8646
o 8474
o 8473
o 8435
o 8150
o 7943
o 7805
o 7787
o 7725
o 7694
o 7543
o 7534
o 7024
o 6886
o 6854
o 6805
o 6793
o 6764
o 6732
o 6685
o 6681
o 6642
o 6632
o 6492
o 6219
o 6190
o 6042
o 6031
o 5901
o 5882
o 5682
o 5567
o 5321
o 5305
o 5246
o 5239
o 5230
o 5137
o 5017
o 5014
o 4966
o 4814
o 4798
o 4581
o 4447
o 4277
o 4233
o 4211
o 4175
o 3940
o 3867
o 3683
o 3558
o 3360
o 3289
o 3245
o 3148
o 3077
o 2630
o 2583
o 2581
o 2544
o 2471
o 2369
o 2350
o 2336
o 2259
Killed
1979.635u 0.063s 33:06.64 99.6%	0+0k 0+0io 0pf+0w