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_n20.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n20.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 26389
o 26219
o 26141
o 25691
o 25521
o 25443
o 25408
o 25330
o 25300
o 25289
o 25266
o 25214
o 25208
o 25050
o 24770
o 24730
o 24700
o 24503
o 24455
o 24425
o 24170
o 24127
o 24122
o 24051
o 24019
o 23941
o 23872
o 23824
o 23744
o 23701
o 23653
o 23511
o 23408
o 23337
o 23336
o 22949
o 22785
o 22780
o 22687
o 22620
o 22562
o 22503
o 22417
o 22235
o 22055
o 21928
o 21885
o 21849
o 21798
o 21724
o 21437
o 21394
o 21381
o 21029
o 20982
o 20759
o 20688
o 20640
o 20560
o 20377
o 20344
o 20264
o 20071
o 19928
o 19768
o 19653
o 19546
o 19542
o 19499
o 19371
o 19264
o 19139
o 18968
o 18914
o 18863
o 18804
o 18731
o 18507
o 18471
o 18351
o 18339
o 18192
o 18154
o 18015
o 17952
o 17904
o 17661
o 17533
o 17339
o 17151
o 17057
o 17050
o 17044
o 16946
o 16943
o 16936
o 16863
o 16758
o 16750
o 16645
o 16613
o 16506
o 16492
o 16448
o 16385
o 16244
o 16091
o 16012
o 15983
o 15909
o 15901
o 15727
o 15627
o 15577
o 15437
o 15369
o 15351
o 15333
o 15288
o 15249
o 15095
o 14833
o 14809
o 14649
o 14602
o 14530
o 14481
o 14460
o 14271
o 14150
o 14104
o 14065
o 13955
o 13903
o 13763
o 13727
o 13558
o 13468
o 13440
o 13254
o 13200
o 13158
o 13093
o 13049
o 12897
o 12781
Killed
1979.643u 0.055s 33:00.30 99.9%	0+0k 0+0io 0pf+0w