Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_crafted-_home_maxsat_benchmarks_pms_crafted_min-enc_kbtree_kbtree9_7_3_5_30_2.wcsp.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_30_2.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 8
o 8
c first lower bound: 0
o 7
c 69733 branches 557862 propagates
c total generalized unit propagation = 139492, success = 49.99%
s OPTIMUM FOUND
c Optimal Solution = 7
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
100.918u 0.009s 1:40.99 99.9%	0+0k 0+0io 0pf+0w