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_n17.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n17.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 36489
o 36131
o 36073
o 35933
o 35860
o 35797
o 35732
o 35662
o 35603
o 35599
o 35534
o 35420
o 35341
o 35230
o 35036
o 34979
o 34962
o 34943
o 34902
o 34883
o 34845
o 34826
o 34693
o 34629
o 34587
o 34434
o 34397
o 34340
o 34280
o 34223
o 34219
o 34102
o 34071
o 33903
o 33634
o 33622
o 33310
o 33230
o 33145
o 33133
o 33104
o 33034
o 32835
o 32456
o 32357
o 32346
o 32218
o 32055
o 31945
o 31566
o 31479
o 31434
o 31278
o 31212
o 30826
o 30781
o 30653
o 30608
o 30535
o 30453
o 30408
o 30391
o 30333
o 30060
o 30034
o 30013
o 29968
o 29895
o 29756
o 29627
o 29573
o 29373
o 29326
o 29241
o 29022
o 28990
o 28943
o 28927
o 28822
o 28739
o 28703
o 28569
o 28526
o 28445
o 28424
o 28151
o 28134
o 28004
o 27964
o 27900
o 27630
o 27480
o 27399
o 27385
o 27378
o 27143
Killed
1979.585u 0.113s 33:04.81 99.7%	0+0k 0+0io 0pf+0w