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
o 7919
o 7876
o 7603
o 7560
o 7159
o 7152
o 6561
o 6518
o 6506
o 6353
o 6302
o 6224
o 6175
o 6070
o 5854
o 5815
o 5719
o 5662
o 5601
o 5555
o 5411
o 5290
o 5283
o 5280
o 5195
o 5128
o 5125
o 5087
o 5075
o 4880
o 4855
o 4673
o 4636
o 4542
o 4530
o 4500
o 4373
o 4363
o 4326
o 4301
o 4242
o 4235
o 4133
o 4091
o 3987
o 3925
o 3860
o 3815
o 3707
o 3674
o 3637
o 3580
o 3507
o 3344
o 3187
o 2828
o 2807
o 2799
o 2747
o 2733
o 2540
o 2461
o 2304
o 2183
o 2179
o 2151
o 2126
o 2078
o 2012
o 1964
o 1744
o 1681
o 1557
o 1521
o 1470
o 1412
o 1276
o 1198
o 1159
o 1117
o 1052
o 903
o 901
o 837
o 786
o 563
o 524
c 181354 branches 86278 propagates
c total generalized unit propagation = 448662, success = 40.35%
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
450.608u 0.007s 7:33.42 99.3%	0+0k 0+0io 0pf+0w