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
o 19574
o 19568
o 18946
o 18940
o 18737
o 18626
o 18573
o 18473
o 18430
o 18227
o 18116
o 18037
o 17993
o 17935
o 17771
o 17692
o 17454
o 17375
o 17296
o 17251
o 17165
o 17149
o 17080
o 17075
o 17000
o 16952
o 16935
o 16922
o 16796
o 16584
o 16456
o 16286
o 16247
o 16091
o 16082
o 15980
o 15971
o 15819
o 15723
o 15571
o 15412
o 15373
o 15311
o 15302
o 15283
o 15270
o 15218
o 15125
o 15054
o 14922
o 14884
o 14826
o 14723
o 14671
o 14459
o 14277
o 14205
o 14020
o 13893
o 13856
o 13814
o 13575
o 13553
o 13502
o 13471
o 13470
o 13413
o 13268
o 13168
o 13090
o 12975
o 12970
o 12688
o 12438
o 12351
o 12257
o 12212
o 11898
o 11609
o 11355
o 11317
o 11234
o 10955
o 10780
o 10679
o 10461
o 10460
o 10434
o 10428
o 10403
o 10291
Killed
1979.694u 0.004s 33:00.49 99.9%	0+0k 0+0io 0pf+0w