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_n20.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k3_n20.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 65306
o 64752
o 64236
o 64138
o 63990
o 63583
o 63451
o 63076
o 62953
o 62942
o 62655
o 62542
o 62401
o 62374
o 62219
o 62077
o 61960
o 61901
o 61786
o 61759
o 61656
o 61537
o 61334
o 60963
o 60933
o 60876
o 60800
o 60711
o 60635
o 60391
o 60255
o 60211
o 60048
o 59705
o 59495
o 59461
o 59313
o 59265
o 59112
o 59099
o 59050
o 59037
o 58860
o 58771
o 58459
o 58410
o 58361
o 58112
o 58109
o 58088
o 57822
o 57747
o 57655
o 57549
o 57463
o 57416
o 57332
o 57156
o 56943
o 56899
Killed
1979.668u 0.030s 33:06.15 99.6%	0+0k 0+0io 0pf+0w