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_n12.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n12.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 8296
o 7933
o 7832
o 7613
o 7158
o 6842
o 6621
o 6535
o 6380
o 6372
o 6371
o 5997
o 5966
o 5672
o 5666
o 5341
o 5149
o 5135
o 5045
o 4871
o 4765
o 4615
o 4415
o 4343
o 4301
o 4242
o 4235
o 4133
o 4091
o 4054
o 3987
o 3925
o 3727
o 3697
o 3580
o 3541
o 3531
o 3457
o 3344
o 3187
o 2979
o 2927
o 2828
o 2791
o 2747
o 2733
o 2540
o 2461
o 2304
o 2271
o 2184
o 2183
o 2179
o 2151
o 2078
o 1900
o 1744
o 1729
o 1561
o 1521
o 1470
o 1400
o 1276
o 1198
o 1159
o 1117
o 1052
o 903
o 901
o 837
o 786
o 563
o 524
c 468779 branches 1095224 propagates
c total generalized unit propagation = 935702, success = 48.80%
s OPTIMUM FOUND
c Optimal Solution = 524
v 1 2 -12 -3 -13 22 -4 14 -23 31 -5 15 24 -32 39 -6 16 -25 33 -40 -46 7 17 -26 -34 -41 47 52 8 -18 27 35 -42 -48 53 57 9 19 -28 36 43 -49 54 -58 61 -10 -20 29 37 44 50 -55 59 62 -64 11 21 30 38 45 51 56 -60 -63 -65 -66
267.765u 0.010s 4:29.30 99.4%	0+0k 0+0io 0pf+0w