Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_crafted-_home_maxsat_benchmarks_pms_crafted_min-enc_kbtree_kbtree9_7_3_5_30_5.wcsp.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_30_5.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 45
o 42
o 41
o 40
o 39
o 38
o 37
o 36
o 35
o 34
o 33
o 32
o 31
o 30
o 29
o 28
o 27
o 26
o 25
o 24
o 23
o 22
o 21
o 20
o 19
o 18
o 17
o 16
o 15
o 14
o 13
o 12
o 11
o 10
o 9
o 8
o 7
o 6
c 68560 branches 539636 propagates
c total generalized unit propagation = 136945, success = 49.88%
s OPTIMUM FOUND
c Optimal Solution = 6
v -1 -2 -3 4 -5 6 -7 -8 -9 -10 11 -12 -13 -14 -15 -16 -17 -18 19 -20 -21 -22 -23 24 -25 -26 27 -28 -29 -30 -31 32 -33 -34 -35 36 -37 -38 -39 -40 -41 -42 43 -44 -45 -46 47 -48 -49 -50 -51 -52 -53 -54 55 56 -57 -58 -59 -60 -61 -62 -63 -64 65 -66 -67 -68 -69 70 71 -72 -73 -74 -75 76 -77 -78 -79 -80 -81 -82 -83 -84 85 -86 -87 88 -89 -90 -91 -92 -93 -94 95 -96 97 -98 -99 -100 -101 102 -103 -104 -105 -106 107 -108 -109 -110 -111 -112 -113 -114 115 -116 -117 -118 -119 120 -121 122 -123 -124 -125 126 -127 -128 -129 -130 -131 132 -133 -134 -135 136 -137 -138 -139 -140 142 143 144 -145 -147 -148 -149 -150 -152 -153 -154 -155 157 158 159 -160 162 163 164 -165 167 -168 -169 -170 172 -173 -174 -175 -177 -178 -179 -180 182 183 -184 -185 187 -188 -189 -190 192 193 194 195 -197 -198 -199 -200 202 203 204 205 207 208 209 210 -212 -213 -214 -215 -217 -218 -219 -220 222 223 224 225 227 228 -229 -230 232 233 234 235 237 -238 -239 -240 242 -243 -244 -245 247 -248 -249 -250 252 253 254 255 257 258 259 260 262 -263 -264 -265 -267 -268 -269 -270 272 -273 -274 -275 -277 -278 -279 -280 141 146 151 156 161 166 171 176 181 186 191 196 201 206 211 216 221 226 231 236 241 246 251 256 261 266 271 276
88.720u 0.003s 1:29.05 99.6%	0+0k 0+0io 0pf+0w