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_n19.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n19.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 53955
o 53915
o 53630
o 53607
o 53428
o 53048
o 52996
o 52964
o 52880
o 52786
o 52770
o 52754
o 52692
o 52654
o 52258
o 52179
o 51933
o 51881
o 51849
o 51765
o 51655
o 51642
o 51499
o 51400
o 51290
o 51277
o 51103
o 50950
o 50938
o 50807
o 50708
o 50598
o 50586
o 50576
o 50405
o 50349
o 50321
o 50265
o 50241
o 50185
o 50181
o 50101
o 49870
o 49818
o 49713
o 49559
o 49393
o 49379
o 49258
o 49244
o 49149
o 49135
o 49016
o 48982
o 48854
o 48795
o 48650
o 48448
o 48434
o 48389
o 48375
o 48028
o 48019
o 48003
o 47711
o 47675
o 47640
o 47559
o 47524
o 47378
o 47282
o 47247
o 47244
o 47230
o 47139
o 46796
o 46738
o 46703
o 46691
o 46202
o 46102
o 46036
o 45986
o 45784
o 45708
o 45694
o 45574
o 45536
o 45501
o 45291
o 45129
o 44929
o 44737
o 44560
o 44479
o 44411
o 44259
o 44147
o 43901
o 43841
o 43595
o 43551
o 43540
o 43383
o 43356
o 43263
o 43243
o 43017
o 42893
o 42784
o 42594
o 42502
o 42369
o 42321
o 42242
o 42187
o 42172
o 42097
o 41858
Killed
1979.612u 0.086s 33:10.22 99.4%	0+0k 0+0io 0pf+0w