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_k5_n18.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_n18.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5938
o 5662
o 4086
o 4063
o 3275
o 3022
o 2999
o 2440
o 2417
o 2378
o 2355
o 2294
o 2018
o 1956
o 1785
o 1607
o 1545
o 1146
o 1127
o 931
o 844
o 777
o 695
o 545
o 528
o 331
o 82
o 0
c 465 branches 1449 propagates
c total generalized unit propagation = 1914, success = 0.00%
s OPTIMUM FOUND
c Optimal Solution = 0
v -1 -2 3 -4 18 -19 -20 -34 35 49 5 -21 -36 -50 63 6 -22 -37 -51 -64 -76 7 23 -38 52 -65 77 -88 -8 24 -39 53 -66 78 89 -99 9 25 40 -54 -67 -79 -90 100 -109 10 -26 -41 -55 68 80 -91 -101 -110 -118 11 27 42 -56 69 -81 92 102 -111 -119 126 -12 -28 -43 57 70 82 93 103 112 120 -127 133 -13 29 -44 58 -71 83 94 -104 113 -121 128 134 -139 -14 -30 45 59 72 84 95 105 -114 -122 -129 -135 -140 144 -15 31 46 60 73 -85 -96 -106 115 -123 130 -136 -141 -145 -148 16 32 47 61 -74 86 97 -107 116 -124 -131 -137 -142 -146 149 -151 -17 33 -48 62 -75 87 98 -108 -117 125 132 -138 143 -147 -150 -152 153
0.319u 0.009s 0:00.34 91.1%	0+0k 0+0io 0pf+0w