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_k4_n16.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n16.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 9583
o 9511
o 9446
o 9423
o 9265
o 9222
o 9173
o 8634
o 8453
o 8293
o 8053
o 7893
o 7013
o 6079
o 6032
o 6029
o 5991
o 5891
o 5817
o 5684
o 5610
o 5599
o 5485
o 5366
o 5231
o 5096
o 4976
o 4749
o 4702
o 4695
o 4670
o 4519
o 4334
o 4199
o 4088
o 3984
o 3933
o 3908
o 3864
o 3801
o 3540
o 3527
o 3518
o 3200
o 3156
o 2983
o 2612
o 2553
o 2531
o 2482
o 2431
o 2404
o 2331
o 2253
o 2045
o 1998
o 1975
o 1884
o 1821
o 1819
o 1602
o 1581
o 1390
o 1362
o 1342
o 1317
o 1273
o 1266
o 1216
o 1170
o 1107
o 1102
o 956
o 951
o 941
o 575
o 545
o 502
o 453
o 439
o 433
o 414
o 408
o 328
o 275
o 242
o 226
o 185
o 161
o 106
o 69
o 0
c 7570 branches 10737 propagates
c total generalized unit propagation = 25586, success = 28.45%
s OPTIMUM FOUND
c Optimal Solution = 0
v -1 2 3 -16 17 30 4 -18 -31 -43 -5 19 32 44 55 -6 20 33 -45 56 66 -7 21 34 -46 -57 67 -76 -8 -22 35 47 -58 -68 77 -85 9 23 -36 -48 -59 -69 78 86 -93 -10 -24 37 -49 -60 -70 -79 87 94 100 11 25 -38 -50 61 -71 80 88 95 -101 -106 12 26 -39 51 -62 -72 -81 -89 96 102 107 111 13 -27 -40 52 63 73 -82 90 97 103 -108 -112 -115 14 -28 41 -53 64 -74 83 -91 -98 104 109 -113 -116 -118 -15 -29 -42 -54 65 -75 -84 92 99 -105 110 114 -117 119 120
6.752u 0.002s 0:06.80 99.2%	0+0k 0+0io 0pf+0w