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_n16.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k3_n16.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 28570
o 28454
o 28378
o 28262
o 27989
o 27894
o 27892
o 27809
o 27594
o 27542
o 27508
o 27465
o 27411
o 27377
o 27281
o 27249
o 27150
o 26976
o 26753
o 26622
o 26455
o 26401
o 26329
o 26314
o 26260
o 26003
o 25910
o 25901
o 25654
o 25561
o 25444
o 25199
o 25171
o 25098
o 25072
o 24870
o 24521
o 24395
o 24130
o 23840
o 23781
o 23641
o 23487
o 23138
o 23133
o 23060
o 22806
o 22566
o 22446
o 22097
o 22045
o 21909
o 21560
o 21372
o 21352
o 21203
o 21201
o 21174
o 21107
o 21101
o 21007
o 20948
o 20861
o 20852
o 20752
o 20708
o 20681
o 20665
o 20596
o 20446
o 20352
o 20090
o 20033
o 19980
o 19978
o 19667
o 19546
o 19497
o 19487
o 19358
o 19325
Killed
1979.635u 0.063s 33:11.45 99.4%	0+0k 0+0io 0pf+0w