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_n13.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k3_n13.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 11433
o 11378
o 11349
o 11110
o 11081
o 10078
o 10049
o 9851
o 9839
o 9774
o 9738
o 9597
o 9149
o 8927
o 8859
o 8806
o 8626
o 8288
o 8274
o 7824
o 7629
o 7611
o 7609
o 7556
o 7497
o 7483
o 7412
o 7298
o 7226
o 7192
o 7150
o 7122
o 6922
o 6839
o 6774
o 6765
o 6655
o 6515
o 6490
o 6091
o 6059
o 6035
o 6030
o 6002
o 5862
o 5811
o 5759
o 5717
o 5697
o 5643
o 5535
o 5480
o 5421
o 5353
o 5310
o 5031
o 5011
o 4988
o 4971
o 4892
o 4704
o 4663
o 4589
o 4530
o 4505
o 4464
o 4391
o 4296
o 4265
o 4218
o 4126
o 4022
o 3808
o 3769
o 3554
o 3499
o 3433
o 3316
o 3209
o 3123
o 2946
o 2921
o 2852
o 2704
o 2700
o 2570
o 2353
Killed
1979.664u 0.034s 33:04.64 99.7%	0+0k 0+0io 0pf+0w