ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 FPgen-t 06/06/2005 - Bertacco, Fischetti, Lodi 09/16/2005 - Achterberg, Berthold applying MIP presolve... Selected objective sense: MINIMIZE Selected objective name: R1019 Selected RHS name: B Selected bound name: BOUND Tried aggregator 1 time. MIP Presolve eliminated 168 rows and 0 columns. MIP Presolve modified 32 coefficients. Reduced MIP has 850 rows, 377 columns, and 2433 nonzeros. presolving objective offset = 0 (restat: 0) Problem: bench/neos16.mps Max iter Stage 1: 10000 Max iter Stage 2: 2000 Min change: 20 Initial Presolve: Yes Imported 850 rows and 377 columns Objective sense: Minimize Problem is MIP: Yes Initial Algorithm: Auto 377 integer variables (336 of which are binary and 41 are general integer) 0 continuous variables Solving relaxed problem...0- 0 -1 0 429 46.1905 done obj=429 + 0 = 429 Rounding solution...done Stage 1... improved distance by 0percent 1- 1 16.1429 0 429 17 improved distance by 0.99115percent 1- 2 16 0 429 17 1- 3 16.1429 0 429 17 improved distance by 0.8125percent 1- 4 13 0 429 15 improved distance by 0.871795percent 1- 5 11.3333 0 429 13.3333 improved distance by 1percent 1- 6 11.3333 0 429 13.3333 1- 7 14.7619 0 429 15.1905 improved distance by 0.987395percent 1- 8 11.1905 0 429 15.1905 1- 9 17.9048 0 429 14.1905 improved distance by 0.970213percent 1- 10 10.8571 0 429 14.1905 1- 11 11.6667 0 429 13.381 improved distance by 0.877193percent 1- 12 9.52381 0 429 12.8571 1- 13 23.9524 0 429 10.9524 improved distance by 0.94percent 1- 14 8.95238 0 429 10.9524 1- 15 32 0 429 10.9524 1- 16 8.95238 0 429 10.9524 1- 17 25.381 0 429 10.9524 1- 18 8.95238 0 429 10.9524 1- 19 27.5238 0 429 10.9524 s iter delta rst obj fractionality incumbent 1- 20 8.95238 0 429 10.9524 1- 21 9.14286 0 429 11.1429 1- 22 9.52381 0 429 10.8095 improved distance by 0.981383percent 1- 23 8.78571 0 429 11.7857 improved distance by 0.813008percent 1- 24 7.14286 0 429 8.14286 1- 25 13.5714 0 429 8.14286 1- 26 7.14286 0 429 8.14286 1- 27 12.8571 0 429 8.14286 1- 28 7.14286 0 429 8.14286 1- 29 25 0 429 8.14286 1- 30 7.14286 0 429 8.14286 1- 31 19.2857 0 429 8.14286 1- 32 7.14286 0 429 8.14286 1- 33 7.14286 0 429 8.14286 1- 34 11.1429 0 429.25 12.7143 1- 35 7.14286 0 429 9.14286 1- 36 16.8571 0 429 8.85714 improved distance by 0.94percent 1- 37 6.71429 0 429.333 13.381 1- 38 26 0 429 11.254 improved distance by 1percent 1- 39 6.71429 0 429.333 13.0476 s iter delta rst obj fractionality incumbent 1- 40 8 0 431.5 11.7143 improved distance by 0.680851percent 1- 41 4.57143 0 431 4.57143 1- 42 10.0952 0 431.667 6.52381 improved distance by 0.895833percent 1- 43 4.09524 0 432 5.09524 1- 44 8.38095 0 432 5.09524 1- 45 4.09524 0 432 5.09524 1- 46 4.52381 0 433 4.80952 improved distance by 0.930233percent 1- 47 3.80952 0 433 4.80952 1- 48 4.52381 0 433 4.80952 1- 49 3.80952 0 433 4.80952 1- 50 13.0952 0 433 4.80952 improved distance by 0.975percent 1- 51 3.71429 0 434 3.71429 1- 52 4.14286 0 435 3.42857 improved distance by 0.923077percent 1- 53 3.42857 0 435 3.42857 1- 54 3.85714 0 437.3 8.37143 improved distance by 0.916667percent 1- 55 3.14286 0 437.375 8.39286 1- 56 3.59184 0 439.762 8.97279 1- 57 3.20301 0 439.737 8.55388 1- 58 4.21429 0 438.5 6.21429 1- 59 8.85714 0 438 3.14286 s iter delta rst obj fractionality incumbent improved distance by 1percent 1- 60 3.14286 0 438 3.14286 1- 61 11 0 438 3.14286 1- 62 13.1429 1 438 4.71429 1- 63 7.28571 2 438 4.14286 1- 64 3.14286 2 438 3.14286 1- 65 8.85714 2 438 3.14286 improved distance by 0.88345percent 1- 66 2.77656 2 441.115 9.39194 1- 67 4.71429 2 440.786 9.57143 1- 68 4 2 440.786 9.57143 1- 69 3.57143 2 439.5 11.8571 improved distance by 0.960422percent 1- 70 2.66667 2 440.333 9.33333 1- 71 2.78992 2 439.059 8.78992 1- 72 2.75188 2 438.184 7.38346 1- 73 9.19048 2 437.875 8.60714 1- 74 6.66667 2 438.667 11.5714 1- 75 5.72381 2 439.667 9.82857 improved distance by 0.696429percent 1- 76 1.85714 2 440.625 9.35714 1- 77 3.49624 2 440.053 11.1805 1- 78 2.49624 2 440.053 11.1805 1- 79 3.28571 2 441.833 8.28571 s iter delta rst obj fractionality incumbent 1- 80 2.57143 2 443.5 7.85714 1- 81 1.85714 2 443.5 7.85714 1- 82 3.34043 2 444.702 6.88146 1- 83 2.62614 2 444.702 6.88146 1- 84 3.00353 2 445.198 9.02293 1- 85 3.79503 2 444.457 16.4907 1- 86 2.71429 2 445 1.71429 improved distance by 0.923077percent 1- 87 1.71429 2 445 1.71429 improved distance by 1percent 1- 88 1.71429 2 445 1.71429 1- 89 10.0476 3 443.917 14.4762 1- 90 2.83117 3 444.727 8.64935 1- 91 5.53571 3 445.062 7.53571 1- 92 1.94898 3 445.214 7.44898 improved distance by 0.888889percent 1- 93 1.52381 3 445.917 5.69048 1- 94 3.7619 3 446.667 7.09524 1- 95 2.71429 3 445 2 1- 96 7 3 445 2 1- 97 1.92063 3 446.5 6.14286 1- 98 2.71429 3 445.6 8.51429 1- 99 1.57143 3 446 5.57143 s iter delta rst obj fractionality incumbent 1- 100 4.17087 3 445.765 6.60224 1- 101 3.2033 3 445.673 6.66484 1- 102 2.42857 3 446.25 4.92857 1- 103 6.14286 3 445.75 5.5 1- 104 3.21429 3 445.75 5.5 1- 105 1.92857 3 446.25 4.42857 1- 106 1.8309 3 445.306 7.03499 1- 107 3.86667 3 446.933 9.86667 1- 108 3.14286 3 446.667 5.61905 improved distance by 0.9375percent 1- 109 1.42857 3 448 1.42857 1- 110 1.42857 3 448 1.42857 1- 111 1.42857 3 448 1.42857 1- 112 8.71429 4 448 5.71429 1- 113 3.28571 4 448 5.28571 1- 114 2.85714 4 448 4.85714 1- 115 2.85714 4 448 2.85714 1- 116 1.85714 4 448 2.85714 1- 117 1.42857 4 448 1.42857 1- 118 9.42857 5 447 6.80952 1- 119 3.71429 5 447 6.52381 s iter delta rst obj fractionality incumbent 1- 120 1.42857 5 448 1.42857 1- 121 10.1429 6 447 3 1- 122 3.28571 6 447 2.85714 1- 123 2.57143 6 447 2.57143 1- 124 1.71429 6 447 1.71429 1- 125 6 6 447 1.71429 1- 126 1.71429 6 447 1.71429 1- 127 11.2857 7 447 2.85714 1- 128 2.14286 7 446 2.14286 1- 129 1.71429 7 446 1.71429 1- 130 1.42857 7 446 1.42857 1- 131 1.42857 7 446 1.42857 1- 132 11.3413 8 446 8.9127 1- 133 2.67532 8 445.273 7.03896 1- 134 4.69524 8 445.8 9.26667 1- 135 3.08163 8 446.286 8.36735 1- 136 3.7619 8 447.667 11.0952 1- 137 3.47619 8 447.667 10.8095 1- 138 3.38393 8 446.938 8.75893 1- 139 2.89286 8 447.25 11.1429 s iter delta rst obj fractionality incumbent 1- 140 3.14286 8 448 3.14286 1- 141 2.85714 8 447 6.19048 1- 142 9 8 447.333 6.52381 1- 143 2.57143 8 447.333 6.2381 1- 144 4.07143 8 448 6.92857 1- 145 1.85185 8 448.148 8.66667 1- 146 2.79592 8 448.714 9.73469 1- 147 2.79612 8 449.214 11.2718 1- 148 3.61905 8 447.889 8.88889 1- 149 1.94286 8 448 9.54286 1- 150 6.29503 8 448.098 8 1- 151 1.94286 8 448 9.54286 1- 152 2.03322 8 448.395 9.17276 1- 153 1.82653 8 448.464 9.04082 1- 154 3.71429 8 445.333 9.61905 1- 155 3.21335 8 446.26 10.562 1- 156 2.55 8 447.3 9.95 1- 157 2.5 8 447 9.25 1- 158 3.4127 8 446.056 6 1- 159 1.85714 8 446.167 5.85714 s iter delta rst obj fractionality incumbent 1- 160 2.8 8 445 7.4 1- 161 2.10582 8 445.074 10.1058 1- 162 2.28571 8 445 4.78571 1- 163 2.09416 8 446 5.0487 1- 164 6.28571 8 446 2 1- 165 7 8 446 2 Too many iteration without 10% improvement Total stage 1 restarts: 8 Stage 2... Using best point from iter: 109 2- 166 1.4288 8 448 1.42857 2- 167 1.42877 8 448 1.42857 2- 168 1.42875 8 448 1.42857 2- 169 5.00016 8 448 1.42857 2- 170 1.42872 8 448 1.42857 2- 171 20.8573 9 448 3.57143 2- 172 5.28583 9 448 3.57143 2- 173 4.28582 9 448 1.42857 2- 174 27.5715 10 448 4.57143 2- 175 3.2858 10 448 3.28571 2- 176 21.5239 11 448 9.33333 2- 177 9.50007 11 447 8.35714 2- 178 7.92863 11 447 7.92857 2- 179 5.8572 11 447 5.85714 s iter delta rst obj fractionality incumbent 2- 180 10.8572 11 447 5.85714 2- 181 5.85719 11 447 5.85714 2- 182 5.42861 11 447 3.42857 2- 183 3.42861 11 447 3.42857 2- 184 8.42861 11 447 3.42857 2- 185 3.4286 11 447 3.42857 2- 186 8.4286 11 447 3.42857 2- 187 3.4286 11 447 3.42857 2- 188 7.00002 11 447 3.42857 2- 189 3.42859 11 447 3.42857 2- 190 12 11 447 3.42857 2- 191 3.42859 11 447 3.42857 2- 192 7.00001 11 447 3.42857 2- 193 3.42858 11 447 3.42857 2- 194 7.7143 11 447 3.42857 2- 195 3.42858 11 447 3.42857 2- 196 6.28572 11 447 3.42857 2- 197 3.42858 11 447 3.42857 2- 198 25.1429 12 447 6.28571 2- 199 4.42858 12 447 4 s iter delta rst obj fractionality incumbent 2- 200 5.14286 12 447 3.71429 2- 201 38.4286 13 447 8.57143 2- 202 7.28572 13 447 6.28571 2- 203 6 13 447 5.14286 2- 204 16 13 447 5.14286 2- 205 5.14286 13 447 5.14286 2- 206 9 13 447 4 2- 207 4 13 447 4 2- 208 6.14286 13 447 4 2- 209 4 13 447 4 2- 210 4 13 447 4 2- 211 11.1429 13 447 4 2- 212 4 13 447 4 2- 213 9 13 447 4 2- 214 4 13 447 4 2- 215 6.85714 13 447 4 2- 216 4 13 447 4 2- 217 4.71429 13 447 4 2- 218 4 13 447 4 2- 219 23 14 447 6.28571 s iter delta rst obj fractionality incumbent 2- 220 5.14286 14 447 5.14286 2- 221 10.4286 14 447 4 2- 222 4 14 447 4 2- 223 5.42857 14 447 4 2- 224 14 14 447 4 2- 225 4 14 447 4 2- 226 7.57143 14 447 4 2- 227 4 14 447 4 2- 228 6.85714 14 447 4 2- 229 4 14 447 4 2- 230 6.85714 14 447 4 2- 231 27.1429 15 447 7.57143 2- 232 5.71429 15 447 5.71429 2- 233 9 15 447 4 2- 234 4 15 447 4 2- 235 4 15 447 4 2- 236 28.5714 16 447 7.85714 2- 237 6.71429 16 447 6.71429 2- 238 5.42857 16 447 4 2- 239 4 16 447 4 s iter delta rst obj fractionality incumbent 2- 240 8.28571 16 447 4 2- 241 4 16 447 4 2- 242 4.71429 16 447 4 2- 243 4 16 447 4 2- 244 9.71429 16 447 4 2- 245 4 16 447 4 2- 246 5.42857 16 447 4 2- 247 4 16 447 4 2- 248 19.1429 17 447 8.57143 2- 249 7.85714 17 447 7.85714 2- 250 6.71429 17 447 6.57143 2- 251 6.57143 17 447 6.57143 2- 252 6.14286 17 447 4 2- 253 4 17 447 4 2- 254 9.71429 17 447 4 2- 255 4 17 447 4 2- 256 10.4286 17 447 4 2- 257 4 17 447 4 2- 258 7.57143 17 447 4 2- 259 4 17 447 4 s iter delta rst obj fractionality incumbent 2- 260 10.4286 17 447 4 2- 261 4 17 447 4 2- 262 11.1429 17 447 4 2- 263 4 17 447 4 2- 264 8.28571 17 447 4 2- 265 20.8571 18 447 6.57143 2- 266 7.14286 18 447 6.57143 2- 267 6.42857 18 447 6.28571 2- 268 4 18 447 4 2- 269 5.42857 18 447 4 2- 270 4 18 447 4 2- 271 10.4286 18 447 4 2- 272 4 18 447 4 2- 273 9 18 447 4 2- 274 4 18 447 4 2- 275 8.28571 18 447 4 2- 276 4 18 447 4 2- 277 4 18 447 4 2- 278 7.57143 18 447 4 2- 279 4 18 447 4 s iter delta rst obj fractionality incumbent 2- 280 7.57143 18 447 4 2- 281 35 19 447 7.28571 2- 282 8.42857 19 447 7.28571 2- 283 36.7143 20 447 8.14286 2- 284 5.42857 20 447 5.42857 2- 285 7.57143 20 447 4 2- 286 4 20 447 4 2- 287 34.4286 21 447 7.14286 2- 288 4 21 447 4 2- 289 6.85714 21 447 4 2- 290 4 21 447 4 2- 291 9.71429 21 447 4 2- 292 4 21 447 4 2- 293 8.28571 21 447 4 2- 294 4 21 447 4 2- 295 25.1429 22 447 9.28571 2- 296 6.14286 22 447 5.71429 2- 297 11.1429 22 447 5.42857 2- 298 5.42857 22 447 5.42857 2- 299 11.5714 22 447 5.14286 s iter delta rst obj fractionality incumbent 2- 300 5.14286 22 447 5.14286 2- 301 11.5714 22 447 5.14286 2- 302 5.14286 22 447 5.14286 2- 303 11.5714 22 447 5.14286 2- 304 5.14286 22 447 5.14286 2- 305 12.2857 22 447 5.14286 2- 306 5.14286 22 447 5.14286 2- 307 11.5714 22 447 5.14286 2- 308 5.14286 22 447 5.14286 2- 309 9.42857 22 447 5.14286 2- 310 5.14286 22 447 5.14286 2- 311 10.1429 22 447 5.14286 2- 312 5.14286 22 447 5.14286 2- 313 10.1429 22 447 5.14286 2- 314 5.14286 22 447 5.14286 2- 315 12.2857 22 447 5.14286 2- 316 5.14286 22 447 5.14286 2- 317 13 22 447 5.14286 2- 318 5.14286 22 447 5.14286 2- 319 12.2857 22 447 5.14286 s iter delta rst obj fractionality incumbent 2- 320 5.14286 22 447 5.14286 2- 321 13 22 447 5.14286 2- 322 5.14286 22 447 5.14286 2- 323 10.1429 22 447 5.14286 2- 324 5.14286 22 447 5.14286 2- 325 10.8571 22 447 5.14286 2- 326 5.14286 22 447 5.14286 2- 327 10.1429 22 447 5.14286 2- 328 5.14286 22 447 5.14286 2- 329 10.1429 22 447 5.14286 2- 330 18 22 447 5.14286 2- 331 5.14286 22 447 5.14286 2- 332 13.7143 22 447 5.14286 2- 333 5.14286 22 447 5.14286 2- 334 10.1429 22 447 5.14286 2- 335 5.14286 22 447 5.14286 2- 336 11.5714 22 447 5.14286 2- 337 5.14286 22 447 5.14286 2- 338 11.5714 22 447 5.14286 2- 339 5.14286 22 447 5.14286 s iter delta rst obj fractionality incumbent 2- 340 13.7143 22 447 5.14286 2- 341 5.14286 22 447 5.14286 2- 342 5.14286 22 447 5.14286 2- 343 7.28571 22 447 5.14286 2- 344 5.14286 22 447 5.14286 2- 345 13 22 447 5.14286 2- 346 5.14286 22 447 5.14286 2- 347 12.2857 22 447 5.14286 2- 348 5.14286 22 447 5.14286 2- 349 12.2857 22 447 5.14286 2- 350 32.2857 23 447 8.14286 2- 351 7 23 447 7 2- 352 11.5714 23 447 5.14286 2- 353 5.14286 23 447 5.14286 2- 354 12.2857 23 447 5.14286 2- 355 5.14286 23 447 5.14286 2- 356 13.7143 23 447 5.14286 2- 357 5.14286 23 447 5.14286 2- 358 11.5714 23 447 5.14286 2- 359 5.14286 23 447 5.14286 s iter delta rst obj fractionality incumbent 2- 360 13.7143 23 447 5.14286 2- 361 5.14286 23 447 5.14286 2- 362 13.7143 23 447 5.14286 2- 363 5.14286 23 447 5.14286 2- 364 34 24 447 8.42857 2- 365 8.71429 24 447 8.14286 2- 366 6.42857 24 447 6.42857 2- 367 6 24 447 6 2- 368 15.1429 24 447 5.14286 2- 369 32.7143 25 447 8.28571 2- 370 6.14286 25 447 6.14286 2- 371 5.14286 25 447 5.14286 2- 372 9.42857 25 447 5.14286 2- 373 5.14286 25 447 5.14286 2- 374 19.5714 26 447 7.42857 2- 375 5.71429 26 447 5.71429 2- 376 10.1429 26 447 5.14286 2- 377 5.14286 26 447 5.14286 2- 378 8 26 447 5.14286 2- 379 5.14286 26 447 5.14286 s iter delta rst obj fractionality incumbent 2- 380 12.2857 26 447 5.14286 2- 381 31.2857 27 447 9.71429 2- 382 8.57143 27 447 7.57143 2- 383 17 27 447 4.85714 2- 384 4.85714 27 447 4.85714 2- 385 8.42857 27 447 4.85714 2- 386 4.85714 27 447 4.85714 2- 387 9.14286 27 447 4.85714 2- 388 4.85714 27 447 4.85714 2- 389 10.5714 27 447 4.85714 2- 390 4.85714 27 447 4.85714 2- 391 9.14286 27 447 4.85714 2- 392 4.85714 27 447 4.85714 2- 393 8.42857 27 447 4.85714 2- 394 4.85714 27 447 4.85714 2- 395 4.85714 27 447 4.85714 2- 396 13.4286 27 447 4.85714 2- 397 4.85714 27 447 4.85714 2- 398 13.4286 27 447 4.85714 2- 399 4.85714 27 447 4.85714 s iter delta rst obj fractionality incumbent 2- 400 7 27 447 4.85714 2- 401 4.85714 27 447 4.85714 2- 402 10.5714 27 447 4.85714 2- 403 4.85714 27 447 4.85714 2- 404 12 27 447 4.85714 2- 405 4.85714 27 447 4.85714 2- 406 10.5714 27 447 4.85714 2- 407 4.85714 27 447 4.85714 2- 408 9.14286 27 447 4.85714 2- 409 4.85714 27 447 4.85714 2- 410 8.42857 27 447 4.85714 2- 411 4.85714 27 447 4.85714 2- 412 10.5714 27 447 4.85714 2- 413 4.85714 27 447 4.85714 2- 414 9.85714 27 447 4.85714 2- 415 4.85714 27 447 4.85714 2- 416 9.85714 27 447 4.85714 2- 417 25.2857 28 447 7.71429 2- 418 7.85714 28 447 7.14286 2- 419 32.4286 29 447 7.14286 s iter delta rst obj fractionality incumbent 2- 420 7.42857 29 447 6.85714 2- 421 6.14286 29 447 6.14286 2- 422 11.2857 29 447 4.85714 2- 423 4.85714 29 447 4.85714 2- 424 11.2857 29 447 4.85714 2- 425 4.85714 29 447 4.85714 2- 426 14.1429 29 447 4.85714 2- 427 4.85714 29 447 4.85714 2- 428 12.7143 29 447 4.85714 2- 429 4.85714 29 447 4.85714 2- 430 16 30 447 6.42857 2- 431 6.28571 30 447 6.14286 2- 432 5.71429 30 447 5.71429 2- 433 9.14286 30 447 4.85714 2- 434 4.85714 30 447 4.85714 2- 435 9.14286 30 447 4.85714 2- 436 4.85714 30 447 4.85714 2- 437 9.14286 30 447 4.85714 2- 438 4.85714 30 447 4.85714 2- 439 9.85714 30 447 4.85714 s iter delta rst obj fractionality incumbent 2- 440 4.85714 30 447 4.85714 2- 441 12 30 447 4.85714 2- 442 4.85714 30 447 4.85714 2- 443 9.14286 30 447 4.85714 2- 444 4.85714 30 447 4.85714 2- 445 12 30 447 4.85714 2- 446 4.85714 30 447 4.85714 2- 447 12.7143 30 447 4.85714 2- 448 4.85714 30 447 4.85714 2- 449 9.85714 30 447 4.85714 2- 450 4.85714 30 447 4.85714 2- 451 9.85714 30 447 4.85714 2- 452 20.2857 31 447 7 2- 453 5.14286 31 447 5.14286 2- 454 12 31 447 4.85714 2- 455 4.85714 31 447 4.85714 2- 456 11.2857 31 447 4.85714 2- 457 4.85714 31 447 4.85714 2- 458 12.7143 31 447 4.85714 2- 459 19.4286 32 447 6.85714 s iter delta rst obj fractionality incumbent 2- 460 4.85714 32 447 4.85714 2- 461 10.5714 32 447 4.85714 2- 462 4.85714 32 447 4.85714 2- 463 14.1429 32 447 4.85714 2- 464 25.6429 33 447 10.0714 2- 465 9.14286 33 447 7.14286 2- 466 7.14286 33 447 7.14286 2- 467 8.14286 33 447 4.57143 2- 468 4.57143 33 447 4.57143 2- 469 11 33 447 4.57143 2- 470 4.57143 33 447 4.57143 2- 471 7.42857 33 447 4.57143 2- 472 4.57143 33 447 4.57143 2- 473 10.2857 33 447 4.57143 2- 474 4.57143 33 447 4.57143 2- 475 8.14286 33 447 4.57143 2- 476 4.57143 33 447 4.57143 2- 477 8.14286 33 447 4.57143 2- 478 4.57143 33 447 4.57143 2- 479 13.1429 33 447 4.57143 s iter delta rst obj fractionality incumbent 2- 480 4.57143 33 447 4.57143 2- 481 11 33 447 4.57143 2- 482 4.57143 33 447 4.57143 2- 483 8.14286 33 447 4.57143 2- 484 4.57143 33 447 4.57143 2- 485 21.7143 34 447 7.71429 2- 486 8.71429 34 447 7.71429 2- 487 7.85714 34 447 7.57143 2- 488 4.57143 34 447 4.57143 2- 489 8.14286 34 447 4.57143 2- 490 4.57143 34 447 4.57143 2- 491 10.2857 34 447 4.57143 2- 492 4.57143 34 447 4.57143 2- 493 9.57143 34 447 4.57143 2- 494 4.57143 34 447 4.57143 2- 495 9.57143 34 447 4.57143 2- 496 4.57143 34 447 4.57143 2- 497 7.42857 34 447 4.57143 2- 498 4.57143 34 447 4.57143 2- 499 7.42857 34 447 4.57143 s iter delta rst obj fractionality incumbent 2- 500 4.57143 34 447 4.57143 2- 501 11.7143 34 447 4.57143 2- 502 4.57143 34 447 4.57143 2- 503 11.7143 34 447 4.57143 2- 504 4.57143 34 447 4.57143 2- 505 9.57143 34 447 4.57143 2- 506 4.57143 34 447 4.57143 2- 507 9.57143 34 447 4.57143 2- 508 4.57143 34 447 4.57143 2- 509 8.14286 34 447 4.57143 2- 510 16 34 447 4.57143 2- 511 4.57143 34 447 4.57143 2- 512 23.8571 35 447 8.14286 2- 513 7 35 447 7 2- 514 35.7143 36 447 7.85714 2- 515 5.42857 36 447 5.42857 2- 516 7.42857 36 447 4.57143 2- 517 31.8571 37 447 8.14286 2- 518 6.28571 37 447 6.28571 2- 519 13.1429 37 447 4.57143 s iter delta rst obj fractionality incumbent 2- 520 4.57143 37 447 4.57143 2- 521 9.57143 37 447 4.57143 2- 522 26.1429 38 447 6.57143 2- 523 37 39 447 6.14286 2- 524 5.85714 39 447 5.85714 2- 525 5.57143 39 447 5.14286 2- 526 5.14286 39 447 5.14286 2- 527 11 39 447 4.57143 2- 528 4.57143 39 447 4.57143 2- 529 9.57143 39 447 4.57143 2- 530 4.57143 39 447 4.57143 2- 531 12.4286 39 447 4.57143 2- 532 4.57143 39 447 4.57143 2- 533 11 39 447 4.57143 2- 534 4.57143 39 447 4.57143 2- 535 11 39 447 4.57143 2- 536 4.57143 39 447 4.57143 2- 537 6.71429 39 447 4.57143 2- 538 4.57143 39 447 4.57143 2- 539 11.7143 39 447 4.57143 s iter delta rst obj fractionality incumbent 2- 540 4.57143 39 447 4.57143 2- 541 10.2857 39 447 4.57143 2- 542 4.57143 39 447 4.57143 2- 543 11.7143 39 447 4.57143 2- 544 4.57143 39 447 4.57143 2- 545 8.14286 39 447 4.57143 2- 546 4.57143 39 447 4.57143 2- 547 11.7143 39 447 4.57143 2- 548 4.57143 39 447 4.57143 2- 549 7.42857 39 447 4.57143 2- 550 4.57143 39 447 4.57143 2- 551 9.57143 39 447 4.57143 2- 552 4.57143 39 447 4.57143 2- 553 9.57143 39 447 4.57143 2- 554 23 40 447 6.14286 2- 555 5.71429 40 447 5.71429 2- 556 4.71429 40 447 4 2- 557 4 40 447 4 2- 558 9.71429 40 447 4 2- 559 4 40 447 4 s iter delta rst obj fractionality incumbent 2- 560 6.85714 40 447 4 2- 561 4 40 447 4 2- 562 8.28571 40 447 4 2- 563 4 40 447 4 2- 564 12.5714 40 447 4 2- 565 4 40 447 4 2- 566 7.57143 40 447 4 2- 567 4 40 447 4 2- 568 6.85714 40 447 4 2- 569 4 40 447 4 2- 570 14 40 447 4 2- 571 26.3571 41 447 6.92857 2- 572 7.35714 41 447 6.92857 2- 573 6.14286 41 447 5.14286 2- 574 5.14286 41 447 5.14286 2- 575 9.71429 41 447 4 2- 576 4 41 447 4 2- 577 6.14286 41 447 4 2- 578 21.1429 42 447 5.28571 2- 579 4 42 447 4 s iter delta rst obj fractionality incumbent 2- 580 5.42857 42 447 4 2- 581 4 42 447 4 2- 582 9.71429 42 447 4 2- 583 32.2857 43 447 7.42857 2- 584 15 43 447 4.57143 2- 585 5 43 447 4.57143 2- 586 4.57143 43 447 4.57143 2- 587 6.14286 43 447 4 2- 588 4 43 447 4 2- 589 4.71429 43 447 4 2- 590 4 43 447 4 2- 591 43.1429 44 447 11.2857 2- 592 10.2857 44 447 7.28571 2- 593 5 44 447 4.57143 2- 594 15 44 447 4.57143 2- 595 4.57143 44 447 4.57143 2- 596 5.42857 44 447 4 2- 597 4 44 447 4 2- 598 9.71429 44 447 4 2- 599 4 44 447 4 s iter delta rst obj fractionality incumbent 2- 600 6.85714 44 447 4 2- 601 4 44 447 4 2- 602 36.7143 45 447 5.85714 2- 603 5 45 447 5 2- 604 6.14286 45 447 4 2- 605 4 45 447 4 2- 606 8.28571 45 447 4 2- 607 4 45 447 4 2- 608 8.28571 45 447 4 2- 609 4 45 447 4 2- 610 9.71429 45 447 4 2- 611 4 45 447 4 2- 612 10.4286 45 447 4 2- 613 4 45 447 4 2- 614 10.4286 45 447 4 2- 615 4 45 447 4 2- 616 6.14286 45 447 4 2- 617 4 45 447 4 2- 618 9 45 447 4 2- 619 4 45 447 4 s iter delta rst obj fractionality incumbent 2- 620 6.14286 45 447 4 2- 621 4 45 447 4 2- 622 7.57143 45 447 4 2- 623 22.1429 46 447 6.28571 2- 624 5.71429 46 447 5.71429 2- 625 6.85714 46 447 4 2- 626 4 46 447 4 2- 627 14.1429 47 447 5.71429 2- 628 4.42857 47 447 4.42857 2- 629 4.42857 47 447 4.42857 2- 630 27.5714 48 447 5.85714 2- 631 5.42857 48 447 5.42857 2- 632 4.57143 48 447 4.57143 2- 633 4 48 447 4 2- 634 42.7143 49 447 7.42857 2- 635 7.28571 49 447 7 2- 636 6.14286 49 447 6.14286 2- 637 9 49 447 4 2- 638 4 49 447 4 2- 639 8.28571 49 447 4 s iter delta rst obj fractionality incumbent 2- 640 33.5714 50 447 7.42857 2- 641 8.42857 50 447 7.28571 2- 642 7 50 447 6.71429 2- 643 23.5714 51 447 6.14286 2- 644 4.42857 51 447 4.42857 2- 645 4 51 447 4 2- 646 12.5714 51 447 4 2- 647 32.2857 52 447 6.28571 2- 648 5.85714 52 447 5.85714 2- 649 37.8571 53 447 8.14286 2- 650 9.28571 53 447 7.85714 2- 651 4.85714 53 447 4.85714 2- 652 7.71429 53 447 4.85714 2- 653 4.85714 53 447 4.85714 2- 654 17 53 447 4.85714 2- 655 4.85714 53 447 4.85714 2- 656 9.85714 53 447 4.85714 2- 657 4.85714 53 447 4.85714 2- 658 12 53 447 4.85714 2- 659 4.85714 53 447 4.85714 s iter delta rst obj fractionality incumbent 2- 660 8.42857 53 447 4.85714 2- 661 4.85714 53 447 4.85714 2- 662 8.42857 53 447 4.85714 2- 663 25.7143 54 447 7.42857 2- 664 9.28571 54 447 7.42857 2- 665 8.42857 54 447 7.28571 2- 666 9.14286 54 447 4.85714 2- 667 4.85714 54 447 4.85714 2- 668 7.71429 54 447 4.85714 2- 669 4.85714 54 447 4.85714 2- 670 9.85714 54 447 4.85714 2- 671 4.85714 54 447 4.85714 2- 672 4.85714 54 447 4.85714 2- 673 9.14286 54 447 4.85714 2- 674 4.85714 54 447 4.85714 2- 675 12 54 447 4.85714 2- 676 4.85714 54 447 4.85714 2- 677 10.5714 54 447 4.85714 2- 678 4.85714 54 447 4.85714 2- 679 11.2857 54 447 4.85714 s iter delta rst obj fractionality incumbent 2- 680 4.85714 54 447 4.85714 2- 681 19.7143 55 447 8.57143 2- 682 7.14286 55 447 7.14286 2- 683 6.42857 55 447 6.28571 2- 684 11 55 447 5.28571 2- 685 5.28571 55 447 5.28571 2- 686 31.2857 56 447 7.57143 2- 687 9.14286 56 447 7.57143 2- 688 5.85714 56 447 5.85714 2- 689 10.5714 56 447 4.85714 2- 690 4.85714 56 447 4.85714 2- 691 9.85714 56 447 4.85714 2- 692 4.85714 56 447 4.85714 2- 693 7.71429 56 447 4.85714 2- 694 4.85714 56 447 4.85714 2- 695 9.14286 56 447 4.85714 2- 696 23.7143 57 447 6.42857 2- 697 5.14286 57 447 5.14286 2- 698 7.71429 57 447 4.85714 2- 699 4.85714 57 447 4.85714 s iter delta rst obj fractionality incumbent 2- 700 7.71429 57 447 4.85714 2- 701 4.85714 57 447 4.85714 2- 702 14.1429 57 447 4.85714 2- 703 4.85714 57 447 4.85714 2- 704 7 57 447 4.85714 2- 705 4.85714 57 447 4.85714 2- 706 9.14286 57 447 4.85714 2- 707 4.85714 57 447 4.85714 2- 708 31.5714 58 447 7.14286 2- 709 7.28571 58 447 6.42857 2- 710 6.28571 58 447 4.85714 2- 711 4.85714 58 447 4.85714 2- 712 13.4286 58 447 4.85714 2- 713 4.85714 58 447 4.85714 2- 714 22.4286 59 447 7 2- 715 4.85714 59 447 4.85714 2- 716 35.1429 60 447 9.14286 2- 717 9.28571 60 447 8.71429 2- 718 16 60 447.5 6.71429 2- 719 5.85714 60 447 4.85714 s iter delta rst obj fractionality incumbent 2- 720 4.85714 60 447 4.85714 2- 721 9.85714 60 447 4.85714 2- 722 4.85714 60 447 4.85714 2- 723 9.14286 60 447 4.85714 2- 724 4.85714 60 447 4.85714 2- 725 9.85714 60 447 4.85714 2- 726 17 60 447 4.85714 2- 727 4.85714 60 447 4.85714 2- 728 10.5714 60 447 4.85714 2- 729 4.85714 60 447 4.85714 2- 730 8.42857 60 447 4.85714 2- 731 4.85714 60 447 4.85714 2- 732 9.14286 60 447 4.85714 2- 733 4.85714 60 447 4.85714 2- 734 4.85714 60 447 4.85714 2- 735 31.4286 61 447 7.14286 2- 736 6.71429 61 447 6.71429 2- 737 6.28571 61 447 4.85714 2- 738 4.85714 61 447 4.85714 2- 739 9.14286 61 447 4.85714 s iter delta rst obj fractionality incumbent 2- 740 4.85714 61 447 4.85714 2- 741 9.85714 61 447 4.85714 2- 742 4.85714 61 447 4.85714 2- 743 8.42857 61 447 4.85714 2- 744 4.85714 61 447 4.85714 2- 745 9.14286 61 447 4.85714 2- 746 4.85714 61 447 4.85714 2- 747 7 61 447 4.85714 2- 748 4.85714 61 447 4.85714 2- 749 8.42857 61 447 4.85714 2- 750 4.85714 61 447 4.85714 2- 751 20.4286 62 447 6.71429 2- 752 4.85714 62 447 4.85714 2- 753 9.14286 62 447 4.85714 2- 754 4.85714 62 447 4.85714 2- 755 7.71429 62 447 4.85714 2- 756 4.85714 62 447 4.85714 2- 757 8.42857 62 447 4.85714 2- 758 4.85714 62 447 4.85714 2- 759 9.14286 62 447 4.85714 s iter delta rst obj fractionality incumbent 2- 760 4.85714 62 447 4.85714 2- 761 24.5714 63 447 6.42857 2- 762 6 63 447 6 2- 763 5.85714 63 447 5.42857 2- 764 5.42857 63 447 5.42857 2- 765 9.14286 63 447 4.85714 2- 766 4.85714 63 447 4.85714 2- 767 33.2857 64 447 7.85714 2- 768 6.28571 64 447 6.28571 2- 769 12.7143 64 447 4.85714 2- 770 4.85714 64 447 4.85714 Too many iteration without 10% improvement Total stage 2 restarts: 56 Stage 3... Using best point from iter: 170 obj offset: 163 + 0 = 163 Clique table members: 336. MIP emphasis: hidden feasible solutions. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.00 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 -161.5714 10 -161.5714 365 0 0 -149.7143 46 Cuts: 43 479 0 0 -149.5408 26 Cuts: 6 495 0 0 -148.7356 68 ZeroHalf: 5 559 0 0 -148.7356 66 Cuts: 3 560 0 0 -148.6285 64 ZeroHalf: 1 570 0 0 -148.1215 68 ZeroHalf: 3 583 0 0 -147.9836 56 ZeroHalf: 1 603 0 0 -147.5079 62 Cuts: 9 634 0 0 -147.4256 62 ZeroHalf: 1 641 0 0 -147.3419 68 Cuts: 4 647 0 0 -147.2877 63 ZeroHalf: 1 660 0 0 -147.2877 61 ZeroHalf: 1 662 0 2 -147.2877 61 -147.2877 662 100 79 -49.2857 56 -144.7778 2946 200 137 -59.6190 29 -144.4762 4737 300 214 -127.8124 70 -143.2358 7191 400 273 -98.0833 52 -142.3651 9112 500 349 infeasible -141.3730 10958 600 424 -107.5714 59 -141.0238 13394 700 499 infeasible -140.2879 16210 800 560 infeasible -139.9821 18501 900 630 -137.0102 66 -139.9138 21051 1000 701 -112.2381 22 -139.3571 23643 Elapsed time = 1.46 sec. (tree size = 0.28 MB, solutions = 0) 1100 770 -99.4762 43 -139.1429 25925 1200 850 infeasible -139.0357 28250 1300 923 -102.3571 24 -138.9524 30665 1400 997 -54.8393 74 -138.7887 33414 1500 1067 -127.4286 21 -138.4861 35664 1600 1149 -78.0000 41 -138.0476 38825 1700 1228 -69.3469 83 -138.0000 41707 1800 1290 -126.5714 47 -137.8062 44259 1900 1370 -100.0714 55 -137.7143 46932 2000 1443 -79.4286 32 -137.5926 49130 Elapsed time = 2.29 sec. (tree size = 0.60 MB, solutions = 0) 2100 1518 -99.8571 34 -137.4762 51340 2200 1579 -101.0929 93 -137.2143 53568 2300 1650 -103.2024 38 -137.0074 55734 2400 1720 -58.0000 34 -136.9036 58117 2500 1797 -101.7619 22 -136.7154 60527 2600 1861 -129.1558 66 -136.6429 62849 2700 1939 infeasible -136.5994 65600 2800 1997 infeasible -136.5298 67636 2900 2069 infeasible -136.4881 69859 3000 2147 -111.7143 48 -136.4212 72697 Elapsed time = 3.03 sec. (tree size = 0.92 MB, solutions = 0) 3100 2223 -130.5952 57 -136.3690 75017 3200 2303 -107.5510 44 -136.2917 77050 3300 2387 -96.8333 29 -136.1905 79408 3400 2457 -122.7812 54 -136.1284 81822 3500 2537 -65.4286 35 -136.1071 84158 3600 2605 -80.1088 52 -136.0357 86718 3700 2683 -58.1429 39 -136.0102 88684 3800 2750 -56.6667 52 -135.9048 91027 3900 2824 -129.8936 40 -135.8163 93473 4000 2898 -56.7857 48 -135.7947 95781 Elapsed time = 3.77 sec. (tree size = 1.21 MB, solutions = 0) 4100 2970 -102.2143 32 -135.7619 98125 4200 3046 -87.5714 27 -135.6849 100461 4300 3132 -55.1429 36 -135.6349 102930 4400 3202 -93.0476 46 -135.5782 105322 4500 3280 -57.7143 31 -135.5516 107779 4600 3353 -133.7619 28 -135.3741 109719 4700 3424 infeasible -135.1883 111968 4800 3503 -109.5204 57 -135.0655 114775 4900 3579 -39.1667 67 -135.0397 117314 5000 3649 -21.0714 68 -134.8810 119420 Elapsed time = 4.51 sec. (tree size = 1.50 MB, solutions = 0) 5100 3721 -131.2857 23 -134.8512 121466 5200 3793 -126.0490 68 -134.7857 124056 5300 3869 -47.0625 68 -134.7535 126029 5400 3937 -102.9365 63 -134.6667 128993 5500 4013 -53.3333 66 -134.6429 131099 5600 4089 -114.3673 40 -134.6046 133659 5700 4168 -52.7143 32 -134.5536 135918 5800 4241 infeasible -134.5188 138450 5900 4312 -37.0000 61 -134.3532 140683 6000 4385 -98.0213 53 -134.3095 142792 Elapsed time = 5.26 sec. (tree size = 1.88 MB, solutions = 0) 6100 4463 -130.2160 57 -134.2274 145424 6200 4544 -129.5238 57 -134.1905 147483 6300 4625 -20.4762 85 -134.1661 149995 6400 4693 -112.9524 37 -134.0984 152183 6500 4769 -108.6104 54 -134.0884 154283 6600 4835 -50.4762 56 -134.0476 156212 6700 4897 -133.0655 34 -134.0000 157941 6800 4975 -65.6599 83 -133.9564 160780 6900 5055 2.5714 57 -133.9405 162902 7000 5128 6.7755 67 -133.9048 164929 Elapsed time = 5.94 sec. (tree size = 2.17 MB, solutions = 0) 7100 5205 -51.5714 41 -133.8594 167700 7200 5281 -69.6429 50 -133.8125 170255 7300 5356 -5.3571 53 -133.7714 172994 7400 5436 -110.8571 27 -133.7143 175495 7500 5505 -52.6190 54 -133.7064 177398 7600 5579 -75.8214 23 -133.6667 179807 7700 5654 -92.3673 65 -133.5899 182334 7800 5732 -68.6429 28 -133.5299 184496 7900 5810 -48.7143 39 -133.4960 186309 8000 5883 -57.1429 44 -133.4286 188687 Elapsed time = 6.69 sec. (tree size = 2.47 MB, solutions = 0) 8100 5952 -22.7143 69 -133.3890 190850 8200 6026 -84.2381 69 -133.3598 193260 8300 6096 -79.6667 61 -133.3492 195754 8400 6171 -91.0000 27 -133.3036 197994 8500 6241 -71.5000 52 -133.2857 200457 8600 6306 infeasible -133.2519 203589 8700 6389 -109.8810 80 -133.2341 205738 8800 6459 -97.0000 44 -133.1883 208496 8900 6535 -16.3333 54 -133.1498 210442 9000 6606 -92.2762 72 -133.1190 212749 Elapsed time = 7.44 sec. (tree size = 2.75 MB, solutions = 0) 9100 6678 -130.5952 47 -133.0714 215494 9200 6736 -131.3889 50 -133.0655 218094 9300 6822 -100.2500 53 -132.9970 220794 9400 6900 -86.4524 72 -132.9354 222982 9500 6971 -98.1293 68 -132.8946 225106 9600 7040 infeasible -132.8571 227510 9700 7119 infeasible -132.8065 229494 9800 7193 -112.0476 38 -132.7553 231272 9900 7266 infeasible -132.6429 234609 10000 7331 -109.5952 43 -132.6190 236774 Elapsed time = 8.19 sec. (tree size = 3.04 MB, solutions = 0) 10100 7408 -111.2063 61 -132.5873 239072 10200 7481 -131.1452 63 -132.5238 241415 10300 7557 -80.4286 17 -132.5119 244151 10400 7627 -126.2560 61 -132.4286 247040 10500 7708 -77.4286 59 -132.4048 249606 10600 7786 infeasible -132.3487 251851 10700 7868 -101.2857 42 -132.2857 253998 10800 7944 -13.2857 78 -132.2381 256235 10900 8017 infeasible -132.2143 258152 11000 8093 -50.9286 34 -132.1817 260870 Elapsed time = 8.93 sec. (tree size = 3.33 MB, solutions = 0) 11100 8154 -89.6667 74 -132.1633 263588 11200 8205 -116.4325 49 -132.1500 265498 11300 8277 -119.7143 45 -132.0658 268138 11400 8357 -15.0000 27 -132.0201 270623 11500 8437 -6.9048 35 -132.0119 273221 11600 8523 -89.3571 21 -132.0000 275915 11700 8599 -93.8730 61 -131.9683 278297 11800 8679 -102.4643 45 -131.9048 280776 11900 8755 -118.3354 50 -131.8929 282935 12000 8825 -92.4150 43 -131.8052 284776 Elapsed time = 9.68 sec. (tree size = 3.82 MB, solutions = 0) 12100 8895 infeasible -131.7302 287442 12200 8968 -122.3571 28 -131.7143 289771 12300 9040 -24.6286 56 -131.6667 292052 12400 9114 -95.4762 40 -131.6241 293831 12500 9179 -127.3095 19 -131.6182 296022 12600 9254 -108.5000 60 -131.5952 297944 12700 9332 -32.5714 38 -131.5238 300272 12800 9410 -69.6735 53 -131.5128 302572 12900 9480 -91.0180 83 -131.4841 305250 13000 9562 -67.4286 44 -131.4538 307845 Elapsed time = 10.41 sec. (tree size = 4.11 MB, solutions = 0) 13100 9640 infeasible -131.4286 309919 13200 9706 -79.2245 63 -131.4135 312038 13300 9783 -41.1758 41 -131.3911 314315 13400 9863 -36.8571 26 -131.3677 316645 13500 9948 -48.3333 52 -131.3117 319439 13600 10033 -106.4664 75 -131.2619 322194 13700 10102 -125.3364 53 -131.2222 324357 13800 10171 -110.8379 58 -131.2000 328075 13900 10250 0.4286 49 -131.1619 329908 14000 10329 -111.1607 38 -131.1497 332010 Elapsed time = 11.18 sec. (tree size = 4.41 MB, solutions = 0) 14100 10391 -50.7143 44 -131.0833 335332 14200 10464 -43.5612 68 -131.0635 337558 14300 10527 -122.1888 46 -131.0476 339748 14400 10603 infeasible -131.0476 342152 14500 10674 -121.1905 49 -130.9903 344135 14600 10748 -85.1684 43 -130.9762 346477 14700 10827 -100.4286 71 -130.9473 348497 14800 10891 -108.2857 24 -130.9171 351116 14900 10968 -47.5000 51 -130.9048 353606 15000 11034 -114.2857 68 -130.8810 355608 Elapsed time = 11.93 sec. (tree size = 4.69 MB, solutions = 0) 15100 11105 -11.0952 78 -130.8571 357619 15200 11178 -98.1795 57 -130.8427 359838 15300 11254 -59.4082 35 -130.8343 361744 15400 11327 infeasible -130.8201 364499 15500 11402 -32.4286 36 -130.8148 366453 15600 11474 infeasible -130.8007 368379 15700 11545 -117.2460 50 -130.7857 371440 15800 11622 -108.7845 87 -130.7619 373414 15900 11705 -107.4473 68 -130.7143 375717 16000 11772 infeasible -130.7069 377922 Elapsed time = 12.63 sec. (tree size = 4.98 MB, solutions = 0) 16100 11836 -126.3585 75 -130.6786 380319 16200 11901 -76.1429 24 -130.6429 382768 16300 11973 -72.2857 42 -130.6310 384978 16400 12052 -27.3673 72 -130.6267 387177 16500 12132 -100.7619 42 -130.6190 389468 16600 12204 -115.2030 72 -130.5952 391591 16700 12277 -93.2143 35 -130.5905 394555 16800 12346 infeasible -130.5857 396743 16900 12422 infeasible -130.5714 399543 17000 12493 -84.1293 53 -130.5536 402513 Elapsed time = 13.40 sec. (tree size = 5.27 MB, solutions = 0) 17100 12563 -115.3155 57 -130.5397 405144 17200 12643 -129.4810 84 -130.4804 407838 17300 12697 -125.3571 34 -130.4566 409878 17400 12781 -96.7551 52 -130.4429 412006 17500 12861 -105.6006 55 -130.4190 414942 17600 12934 -25.0714 42 -130.3810 417435 17700 13017 -81.7857 29 -130.3571 419582 17800 13091 -112.0879 47 -130.3333 422396 17900 13168 -97.5714 44 -130.3022 424823 18000 13246 -112.6190 33 -130.2877 427565 Elapsed time = 14.19 sec. (tree size = 5.57 MB, solutions = 0) 18100 13322 -110.3246 82 -130.2857 429806 18200 13404 -23.9286 32 -130.2738 432326 18300 13476 -81.0000 18 -130.2619 434432 18400 13555 -100.6190 47 -130.2381 437069 18500 13614 -62.2143 52 -130.2222 439266 18600 13690 -120.6190 30 -130.2109 441767 18700 13772 -54.5714 34 -130.2007 443520 18800 13847 -78.7211 60 -130.1737 445750 18900 13927 20.8571 29 -130.1548 447683 19000 13995 -94.3810 30 -130.1105 449717 Elapsed time = 14.91 sec. (tree size = 5.87 MB, solutions = 0) 19100 14074 -103.6115 91 -130.0833 451521 19200 14154 -75.9635 40 -130.0714 453560 19300 14226 -106.2857 22 -130.0635 455683 19400 14293 -114.4762 61 -130.0476 458008 19500 14358 -65.7143 38 -130.0226 461172 19600 14429 -30.5884 96 -130.0000 463612 19700 14506 -98.8036 47 -129.9881 465378 19800 14582 -74.5238 56 -129.9434 467496 19900 14663 infeasible -129.9180 469180 20000 14742 -90.8571 22 -129.9048 471226 Elapsed time = 15.60 sec. (tree size = 6.17 MB, solutions = 0) 20100 14804 infeasible -129.8830 474351 20200 14882 -109.6905 35 -129.8791 477260 20300 14950 -107.2165 71 -129.8571 479285 20400 15012 -121.0119 46 -129.8413 481901 20500 15090 -107.9881 53 -129.8152 484439 20600 15164 -35.0879 61 -129.7976 487356 20700 15241 -65.5000 57 -129.7857 489748 20800 15311 -113.3440 61 -129.7238 492117 20900 15389 -124.7143 54 -129.7024 494940 21000 15464 -69.1633 68 -129.6882 497640 Elapsed time = 16.43 sec. (tree size = 6.45 MB, solutions = 0) 21100 15528 -118.9926 69 -129.6852 500522 21200 15598 -78.8036 69 -129.6562 503192 21300 15672 -84.7143 49 -129.6357 505791 21400 15743 -123.2943 75 -129.6190 507772 21500 15820 -113.5952 52 -129.5937 510461 21600 15894 infeasible -129.5714 512785 21700 15972 -103.3197 76 -129.5238 515232 21800 16034 infeasible -129.5107 517587 21900 16102 -126.7211 74 -129.5000 519971 22000 16181 -111.3333 58 -129.4762 522391 Elapsed time = 17.21 sec. (tree size = 6.74 MB, solutions = 0) 22100 16260 -107.8619 75 -129.4762 524812 22200 16326 -73.6806 78 -129.4286 527020 22300 16406 1.4242 65 -129.4259 529068 22400 16478 -101.8571 17 -129.3844 531347 22500 16559 -52.0238 85 -129.3810 533782 22600 16632 -53.7143 22 -129.3803 536228 22700 16705 -87.3392 46 -129.3357 538268 22800 16781 infeasible -129.3333 541128 22900 16855 -62.2619 68 -129.3189 543566 23000 16919 -105.6946 69 -129.2593 545870 Elapsed time = 17.95 sec. (tree size = 7.42 MB, solutions = 0) 23100 16986 -101.1905 70 -129.2381 548214 23200 17053 -87.6198 78 -129.2279 550550 23300 17131 -104.0714 36 -129.2143 552530 23400 17201 -123.9071 58 -129.1905 555213 23500 17272 -105.5476 67 -129.1875 557380 23600 17358 -90.6571 53 -129.1643 560003 23700 17436 -109.5714 30 -129.1515 562175 23800 17507 -109.7619 13 -129.1429 564628 23900 17576 -79.6473 78 -129.1190 567310 24000 17654 -38.0000 40 -129.1022 569575 Elapsed time = 18.72 sec. (tree size = 7.72 MB, solutions = 0) 24100 17726 infeasible -129.0952 571865 24200 17804 -80.3333 44 -129.0714 574251 24300 17874 -69.0000 44 -129.0476 576740 24400 17950 14.6198 60 -129.0238 579183 24500 18025 -91.3810 52 -129.0000 581584 24600 18101 -112.2015 74 -128.9887 583838 24700 18173 -97.1071 74 -128.9594 586769 24800 18243 -47.7903 28 -128.9344 589234 24900 18310 -110.5203 66 -128.9133 591433 25000 18379 -102.8439 50 -128.9008 593448 Elapsed time = 19.48 sec. (tree size = 8.01 MB, solutions = 0) 25100 18457 -76.3878 60 -128.8958 596433 25200 18535 -106.3939 58 -128.8836 598951 25300 18609 -90.4082 39 -128.8730 601225 25400 18665 -110.5833 38 -128.8254 603573 25500 18752 -100.0000 28 -128.8095 606573 25600 18816 20.3333 55 -128.8003 608622 25700 18892 -116.5612 42 -128.7857 610983 25800 18968 -69.4762 46 -128.7857 613348 25900 19036 -41.8571 35 -128.7655 615893 26000 19107 -87.1905 36 -128.7456 618563 Elapsed time = 20.27 sec. (tree size = 8.30 MB, solutions = 0) 26100 19183 -114.9286 18 -128.7143 620635 26200 19261 -40.9121 82 -128.6957 622598 26300 19335 -110.8828 72 -128.6786 625583 26400 19404 infeasible -128.6667 627945 26500 19474 -89.2554 61 -128.6429 630618 26600 19554 -95.2857 23 -128.6349 632947 26700 19624 infeasible -128.6190 635712 26800 19702 -100.7619 39 -128.6190 638305 26900 19759 -111.0000 57 -128.5983 640666 27000 19833 -72.5952 50 -128.5816 642949 Elapsed time = 21.04 sec. (tree size = 8.59 MB, solutions = 0) 27100 19902 -114.7619 24 -128.5517 644992 27200 19975 infeasible -128.5476 647203 27300 20051 -89.5986 42 -128.5442 649484 27400 20123 -65.2492 66 -128.5151 652211 27500 20203 -86.4762 32 -128.5000 654275 27600 20265 -106.4757 78 -128.4779 656767 27700 20341 -45.5661 81 -128.4694 658818 27800 20421 -62.3016 69 -128.4524 661424 27900 20493 -111.2857 60 -128.4286 663354 28000 20572 -113.3414 51 -128.4044 665988 Elapsed time = 21.78 sec. (tree size = 8.88 MB, solutions = 0) 28100 20652 -83.8727 76 -128.3857 668327 28200 20725 -20.6190 71 -128.3520 671038 28300 20796 -112.5476 55 -128.3327 673006 28400 20880 -23.5238 49 -128.3297 675722 28500 20955 -75.9643 19 -128.3135 677876 28600 21025 -117.8498 79 -128.2857 680123 28700 21099 -86.6548 89 -128.2460 682277 28800 21167 -96.6786 64 -128.2262 684390 28900 21245 infeasible -128.2222 686157 29000 21322 -85.4286 23 -128.2143 688126 Elapsed time = 22.51 sec. (tree size = 9.18 MB, solutions = 0) 29100 21401 -66.0000 57 -128.2024 690726 29200 21483 infeasible -128.1939 693350 29300 21550 -61.3810 49 -128.1905 695741 29400 21623 -102.3810 50 -128.1871 697929 29500 21692 -116.4071 59 -128.1538 701259 29600 21750 -12.5714 38 -128.1310 704557 29700 21824 -18.2857 46 -128.0952 707449 29800 21892 -101.2500 60 -128.0857 709485 29900 21976 -59.4762 45 -128.0759 711901 30000 22053 -117.1964 51 -128.0675 714126 Elapsed time = 23.32 sec. (tree size = 9.47 MB, solutions = 0) 30100 22128 -22.1143 68 -128.0476 716490 30200 22196 -95.7143 28 -128.0357 718311 30300 22274 -32.6190 39 -128.0204 720714 30400 22350 -114.3673 34 -128.0055 722800 30500 22432 -66.1429 31 -127.9762 724792 30600 22498 infeasible -127.9643 726762 30700 22558 -81.2857 43 -127.9524 728912 30800 22626 -98.6513 53 -127.9286 731207 30900 22697 -59.6548 58 -127.9286 732850 31000 22780 -63.4286 20 -127.9230 735132 Elapsed time = 24.00 sec. (tree size = 9.76 MB, solutions = 0) 31100 22856 -88.6463 50 -127.8961 737308 31200 22916 -90.4509 86 -127.8810 739354 31300 22988 -80.0000 28 -127.8704 741746 31400 23061 -39.8571 54 -127.8503 744084 31500 23121 -122.9567 30 -127.8333 746131 31600 23196 -124.0573 61 -127.8226 748743 31700 23277 -102.0997 80 -127.8182 750912 31800 23361 27.1667 49 -127.8095 753195 31900 23447 -34.4286 33 -127.8095 756164 32000 23519 infeasible -127.8027 757995 Elapsed time = 24.73 sec. (tree size = 10.05 MB, solutions = 0) 32100 23586 -75.6571 61 -127.7857 759707 32200 23656 -23.8571 63 -127.7778 762340 32300 23728 -38.4305 64 -127.7619 764291 32400 23796 -109.3810 76 -127.7307 766900 32500 23873 -121.8571 30 -127.7143 769362 32600 23939 -70.9683 65 -127.6964 771943 32700 24008 -75.2857 41 -127.6667 774554 32800 24076 -117.5714 50 -127.6429 776846 32900 24151 -98.7143 49 -127.6395 778573 33000 24222 -110.5109 63 -127.6190 781098 Elapsed time = 25.47 sec. (tree size = 10.33 MB, solutions = 0) 33100 24296 -115.0081 54 -127.6134 783397 33200 24374 44.5152 75 -127.6071 785894 33300 24437 -90.5714 36 -127.5952 788134 33400 24513 -30.4286 55 -127.5825 790401 33500 24593 -117.7143 32 -127.5714 792834 33600 24665 infeasible -127.5671 796099 33700 24742 -29.4286 27 -127.5442 798108 33800 24812 -121.1837 71 -127.5403 800243 33900 24882 -67.0000 43 -127.5238 802928 34000 24962 -27.3810 66 -127.5143 805240 Elapsed time = 26.24 sec. (tree size = 10.63 MB, solutions = 0) 34100 25030 infeasible -127.5079 807504 34200 25101 -0.9524 47 -127.5000 810099 34300 25171 -55.3333 53 -127.4762 812350 34400 25246 infeasible -127.4702 815041 34500 25315 -120.3571 43 -127.4405 817533 34600 25393 -2.0476 51 -127.4286 819428 34700 25473 -29.1361 65 -127.4286 822183 34800 25532 -94.8152 51 -127.4055 824366 34900 25600 -110.6667 77 -127.4025 826777 35000 25668 -113.1905 65 -127.3933 828548 Elapsed time = 26.98 sec. (tree size = 10.91 MB, solutions = 0) 35100 25741 -84.6667 40 -127.3929 830788 35200 25814 -89.8095 39 -127.3766 832977 35300 25888 -112.4871 66 -127.3418 835491 35400 25972 -48.9365 80 -127.3375 838867 35500 26051 -115.3143 51 -127.3333 840952 35600 26135 16.2857 32 -127.3254 843048 35700 26205 -80.9802 77 -127.2932 845985 35800 26275 -29.6254 83 -127.2857 848186 35900 26348 -100.2381 55 -127.2857 850913 36000 26416 -3.8788 82 -127.2723 853654 Elapsed time = 27.77 sec. (tree size = 11.22 MB, solutions = 0) 36100 26485 -114.9405 41 -127.2381 856399 36200 26554 -34.0079 62 -127.2257 859328 36300 26631 infeasible -127.2143 861237 36400 26709 -126.9048 67 -127.1964 863740 36500 26789 -79.6429 32 -127.1905 866300 36600 26869 -36.9377 74 -127.1786 868816 36700 26950 -122.7024 38 -127.1746 871009 36800 27028 infeasible -127.1667 873825 36900 27096 -124.9524 49 -127.1611 876526 37000 27174 -61.2857 34 -127.1576 878650 Elapsed time = 28.57 sec. (tree size = 11.52 MB, solutions = 0) 37100 27255 infeasible -127.1466 881222 37200 27342 -96.0862 60 -127.1429 883392 37300 27418 infeasible -127.1429 885730 37400 27491 -59.4643 54 -127.1131 887898 37500 27562 -34.3333 61 -127.0952 889878 37600 27620 infeasible -127.0714 892225 37700 27698 -44.1905 34 -127.0670 894328 37800 27770 -81.4286 20 -127.0628 896617 37900 27849 -74.1111 45 -127.0595 898752 38000 27914 -41.4286 54 -127.0476 900966 Elapsed time = 29.29 sec. (tree size = 11.81 MB, solutions = 0) 38100 27971 -42.8571 31 -127.0431 903696 38200 28049 -99.6071 56 -127.0351 906136 38300 28125 -94.7619 34 -127.0000 908670 38400 28189 -96.8908 66 -127.0000 910855 38500 28258 -59.1563 84 -126.9762 913156 38600 28338 -96.3095 56 -126.9681 915279 38700 28415 infeasible -126.9583 917779 38800 28491 -1.4800 100 -126.9524 919929 38900 28566 -120.8929 62 -126.9184 922314 39000 28641 -110.8333 51 -126.9087 924995 Elapsed time = 30.07 sec. (tree size = 12.11 MB, solutions = 0) 39100 28718 -118.8052 64 -126.9048 927885 39200 28794 -95.7950 44 -126.8968 930227 39300 28871 -69.7619 32 -126.8776 932628 39400 28949 -33.3506 82 -126.8690 935170 39500 29021 -45.1429 32 -126.8611 937641 39600 29103 infeasible -126.8571 939450 39700 29177 -104.5000 50 -126.8571 941472 39800 29247 39.5714 44 -126.8333 943881 39900 29314 -102.2095 59 -126.8214 946335 40000 29394 -95.1786 34 -126.7965 948783 Elapsed time = 30.83 sec. (tree size = 12.41 MB, solutions = 0) 40100 29468 -75.5238 42 -126.7857 950999 40200 29535 -89.1905 52 -126.7857 953935 40300 29603 2.8367 77 -126.7619 956698 40400 29673 -121.1905 70 -126.7381 958702 40500 29748 -14.5476 61 -126.7302 961424 40600 29826 -89.0000 57 -126.7171 964013 40700 29895 -45.4286 32 -126.7143 966049 40800 29962 -71.1429 36 -126.6905 969045 40900 30042 -57.8571 36 -126.6786 971071 41000 30107 -18.2857 36 -126.6726 973249 Elapsed time = 31.62 sec. (tree size = 12.69 MB, solutions = 0) 41100 30184 -118.5408 46 -126.6667 975513 41200 30258 -101.7070 58 -126.6667 977474 41300 30338 7.2540 75 -126.6508 979950 41400 30419 -77.9286 41 -126.6409 982365 41500 30487 -92.9728 43 -126.6239 984576 41600 30559 -89.5675 66 -126.6032 987196 41700 30639 -77.4286 24 -126.5897 990122 41800 30714 -92.7381 49 -126.5833 992731 41900 30796 -82.3571 41 -126.5714 994554 42000 30875 infeasible -126.5714 996542 Elapsed time = 32.38 sec. (tree size = 13.00 MB, solutions = 0) 42100 30946 -92.3264 60 -126.5476 998763 42200 31026 -94.1429 41 -126.5272 1000970 42300 31098 -33.7755 43 -126.5238 1003251 42400 31163 -91.4286 38 -126.5218 1006452 42500 31240 -60.3197 51 -126.5127 1008732 42600 31315 -53.2550 93 -126.5082 1011548 42700 31388 -50.8367 54 -126.5039 1014303 42800 31458 -124.7197 60 -126.5000 1016637 42900 31532 -73.1816 77 -126.4940 1019044 43000 31604 infeasible -126.4762 1021354 Elapsed time = 33.17 sec. (tree size = 13.30 MB, solutions = 0) 43100 31675 -123.6071 55 -126.4541 1023956 43200 31747 -113.8214 45 -126.4524 1026503 43300 31823 -99.8776 53 -126.4464 1028350 43400 31911 -103.5512 52 -126.4327 1030996 43500 31995 -52.1429 38 -126.4286 1033145 43600 32074 23.1429 30 -126.4286 1035261 43700 32131 -92.2540 73 -126.4150 1038017 43800 32205 -61.7143 26 -126.4107 1040835 43900 32282 infeasible -126.4048 1043156 44000 32357 -98.0844 80 -126.3839 1045711 Elapsed time = 33.96 sec. (tree size = 13.60 MB, solutions = 0) 44100 32437 infeasible -126.3770 1048419 44200 32510 -113.1122 37 -126.3571 1050821 44300 32579 -77.8844 75 -126.3552 1052980 44400 32656 -54.1905 54 -126.3333 1055153 44500 32731 -111.5714 25 -126.3231 1057484 44600 32807 -73.9592 58 -126.3095 1059951 44700 32882 -47.8844 103 -126.3048 1062343 44800 32956 -86.4898 65 -126.2969 1064404 44900 33033 -114.5619 70 -126.2918 1066610 45000 33116 -103.3571 40 -126.2857 1068962 Elapsed time = 34.70 sec. (tree size = 14.70 MB, solutions = 0) 45100 33178 infeasible -126.2857 1071693 45200 33252 -47.6587 46 -126.2738 1073925 45300 33330 -98.7619 45 -126.2714 1076341 45400 33407 -75.3810 60 -126.2577 1078888 45500 33474 -116.2063 68 -126.2510 1081165 45600 33556 -66.0709 89 -126.2460 1083744 45700 33630 -64.8980 68 -126.2381 1086548 45800 33706 -74.5714 43 -126.2262 1089079 45900 33780 -75.2857 57 -126.2165 1091434 46000 33854 -111.0476 26 -126.2143 1093556 Elapsed time = 35.49 sec. (tree size = 15.00 MB, solutions = 0) 46100 33917 4.2638 89 -126.2063 1095987 46200 33993 -72.0476 48 -126.1905 1098493 46300 34052 -114.9048 28 -126.1810 1101227 46400 34132 -118.1429 53 -126.1710 1103247 46500 34203 -114.4881 69 -126.1691 1105458 46600 34277 infeasible -126.1429 1107746 46700 34361 -95.8828 70 -126.1429 1110311 46800 34436 -125.9863 64 -126.1310 1113302 46900 34503 -102.6548 38 -126.1190 1116239 47000 34573 -119.9337 68 -126.0986 1118167 Elapsed time = 36.28 sec. (tree size = 15.28 MB, solutions = 0) 47100 34642 -124.3061 53 -126.0714 1121372 47200 34717 -15.2857 43 -126.0714 1123774 47300 34783 -60.2857 64 -126.0536 1126123 47400 34860 -79.3333 55 -126.0310 1128674 47500 34932 -30.5714 33 -126.0238 1131267 47600 35008 -73.2609 53 -126.0204 1134362 47700 35081 infeasible -126.0000 1137129 47800 35151 -73.2857 32 -125.9940 1139693 47900 35228 -54.1429 60 -125.9821 1141722 48000 35296 -74.7143 67 -125.9683 1144291 Elapsed time = 37.10 sec. (tree size = 15.57 MB, solutions = 0) 48100 35372 -89.3095 62 -125.9626 1146193 48200 35448 -57.1429 46 -125.9532 1148550 48300 35513 -64.2613 92 -125.9437 1151340 48400 35588 infeasible -125.9348 1153415 48500 35656 infeasible -125.9286 1155443 48600 35736 -76.3333 42 -125.9200 1157636 48700 35812 -26.5714 43 -125.9048 1159955 48800 35886 -119.9048 38 -125.8966 1161764 48900 35954 infeasible -125.8902 1163786 49000 36033 -109.2738 69 -125.8722 1166166 Elapsed time = 37.82 sec. (tree size = 15.87 MB, solutions = 0) 49100 36116 -71.7619 36 -125.8690 1168430 49200 36184 -5.4286 18 -125.8622 1170630 49300 36261 -97.2381 27 -125.8571 1172925 49400 36323 -120.8810 78 -125.8542 1174885 49500 36401 -97.8214 30 -125.8492 1177653 49600 36479 -18.1662 73 -125.8333 1181475 49700 36552 -43.7479 40 -125.8311 1183987 49800 36634 -94.6310 55 -125.8155 1186255 49900 36712 -54.0476 47 -125.8095 1188818 50000 36777 -123.2955 67 -125.7917 1191158 Elapsed time = 38.63 sec. (tree size = 16.17 MB, solutions = 0) 50100 36858 -101.2976 75 -125.7857 1192873 50200 36915 -102.7619 30 -125.7619 1195052 50300 36979 -102.0952 52 -125.7582 1197429 50400 37055 -76.0816 52 -125.7409 1199830 50500 37129 -48.2381 59 -125.7381 1202603 50600 37208 -93.1429 32 -125.7302 1205048 50700 37268 infeasible -125.7178 1208506 50800 37342 -28.8571 45 -125.7143 1211257 50900 37417 -119.4118 50 -125.7143 1213607 51000 37506 -95.7857 45 -125.7143 1215602 Elapsed time = 39.41 sec. (tree size = 16.46 MB, solutions = 0) 51100 37573 -91.4966 58 -125.7075 1217753 51200 37640 -84.2789 64 -125.7000 1220407 51300 37724 -19.4762 83 -125.6939 1222268 51400 37790 -109.2875 72 -125.6762 1224153 51500 37865 -23.1310 68 -125.6667 1226428 51600 37949 -106.0000 20 -125.6627 1228688 51700 38017 -119.0833 68 -125.6463 1231240 51800 38091 infeasible -125.6417 1233611 51900 38169 -48.8435 97 -125.6349 1236352 52000 38226 -65.6667 38 -125.6195 1238802 Elapsed time = 40.16 sec. (tree size = 16.75 MB, solutions = 0) 52100 38299 28.5714 48 -125.6190 1240442 52200 38367 -41.7857 39 -125.6071 1242482 52300 38439 -74.7143 18 -125.6025 1244847 52400 38512 -38.9286 29 -125.5992 1247629 52500 38583 -113.1429 56 -125.5833 1249533 52600 38661 -81.3333 43 -125.5782 1251840 52700 38735 -21.4286 58 -125.5714 1254054 52800 38808 infeasible -125.5595 1256521 52900 38884 20.5238 58 -125.5476 1258997 53000 38952 infeasible -125.5438 1261455 Elapsed time = 40.90 sec. (tree size = 17.05 MB, solutions = 0) 53100 39033 -12.0317 69 -125.5238 1264110 53200 39109 -66.6190 49 -125.5201 1266617 53300 39191 -122.3810 46 -125.5104 1268485 53400 39270 -69.5714 43 -125.4921 1270849 53500 39336 -118.5714 27 -125.4762 1273825 53600 39403 -84.5238 42 -125.4524 1276286 53700 39473 -97.2857 29 -125.4471 1278658 53800 39544 -118.6415 59 -125.4372 1281071 53900 39621 infeasible -125.4365 1283226 54000 39678 -103.1429 49 -125.4286 1285631 Elapsed time = 41.69 sec. (tree size = 17.34 MB, solutions = 0) 54100 39750 -70.0286 66 -125.4286 1287938 54200 39826 -101.8882 54 -125.4286 1289905 54300 39912 -23.9048 72 -125.4266 1292181 54400 39985 -110.5714 32 -125.4158 1295048 54500 40066 infeasible -125.4048 1297514 54600 40143 -23.6190 42 -125.3929 1299692 54700 40210 -123.4490 69 -125.3878 1302028 54800 40289 -74.7143 59 -125.3810 1304053 54900 40361 infeasible -125.3810 1306048 55000 40432 -84.9184 44 -125.3770 1308430 Elapsed time = 42.43 sec. (tree size = 17.64 MB, solutions = 0) 55100 40504 -118.8750 53 -125.3749 1310611 55200 40565 -108.9762 52 -125.3639 1313295 55300 40634 -108.1429 42 -125.3571 1315598 55400 40702 infeasible -125.3571 1317590 55500 40787 47.8571 46 -125.3532 1320004 55600 40854 -112.1508 64 -125.3393 1322255 55700 40926 -64.0714 39 -125.3333 1324858 55800 41001 -4.1361 107 -125.3333 1328631 55900 41074 -79.9881 42 -125.3259 1331099 56000 41145 -120.0714 35 -125.3016 1333023 Elapsed time = 43.23 sec. (tree size = 17.93 MB, solutions = 0) 56100 41223 -28.7143 21 -125.2937 1335376 56200 41292 -120.5893 42 -125.2857 1337247 56300 41376 -105.0000 21 -125.2857 1339734 56400 41442 -122.5952 40 -125.2721 1341671 56500 41515 -84.4286 34 -125.2619 1344202 56600 41585 -102.0238 54 -125.2540 1346426 56700 41656 -85.1905 60 -125.2440 1348961 56800 41728 -117.4872 80 -125.2392 1351049 56900 41813 -114.5327 48 -125.2381 1353598 57000 41876 -47.0756 100 -125.2381 1355864 Elapsed time = 43.99 sec. (tree size = 18.22 MB, solutions = 0) 57100 41943 -115.9538 82 -125.2222 1358574 57200 42018 -94.1905 30 -125.2143 1361202 57300 42081 -76.1688 72 -125.2024 1364177 57400 42153 infeasible -125.1905 1366909 57500 42221 -34.6667 64 -125.1786 1369994 57600 42288 -89.6508 67 -125.1667 1372606 57700 42359 -102.2245 53 -125.1592 1375220 57800 42429 -98.8122 78 -125.1558 1377556 57900 42513 -43.2857 34 -125.1488 1379661 58000 42595 -104.4635 32 -125.1429 1382179 Elapsed time = 44.82 sec. (tree size = 18.52 MB, solutions = 0) 58100 42680 -11.3571 58 -125.1429 1384634 58200 42753 -33.2857 34 -125.1293 1386805 58300 42819 -70.9286 46 -125.1111 1389069 58400 42894 -97.5272 110 -125.1005 1391332 58500 42960 infeasible -125.0952 1394635 58600 43022 -81.5714 47 -125.0850 1397213 58700 43092 -82.6828 74 -125.0762 1399874 58800 43168 0.5741 83 -125.0714 1402091 58900 43243 -113.7619 55 -125.0714 1404271 59000 43321 -115.6241 51 -125.0571 1406926 Elapsed time = 45.63 sec. (tree size = 18.81 MB, solutions = 0) 59100 43409 2.9524 26 -125.0476 1409362 59200 43473 -109.6984 58 -125.0476 1411466 59300 43554 -54.8571 54 -125.0357 1413439 59400 43631 -56.7915 82 -125.0238 1416572 59500 43707 -27.7143 25 -125.0119 1419125 59600 43772 -71.6667 64 -125.0000 1421763 59700 43845 -83.1905 44 -124.9821 1424502 59800 43917 -113.2381 51 -124.9762 1426938 59900 43991 -93.1929 60 -124.9643 1429262 60000 44073 -28.7857 62 -124.9558 1432096 Elapsed time = 46.45 sec. (tree size = 19.12 MB, solutions = 0) 60100 44148 -75.1395 49 -124.9466 1434275 60200 44219 -61.5510 57 -124.9422 1436540 60300 44299 -35.3845 70 -124.9286 1439057 60400 44375 -85.0993 65 -124.9167 1441170 60500 44445 -111.4627 78 -124.9048 1443448 60600 44524 -50.2037 77 -124.8889 1446304 60700 44596 -1.0476 54 -124.8861 1448402 60800 44664 -106.2857 49 -124.8765 1451127 60900 44731 -58.6190 49 -124.8730 1453292 61000 44801 -51.7959 38 -124.8690 1456141 Elapsed time = 47.23 sec. (tree size = 19.42 MB, solutions = 0) 61100 44865 -36.7506 94 -124.8571 1459398 61200 44943 6.5000 52 -124.8571 1461457 61300 45006 infeasible -124.8452 1463946 61400 45080 -90.2738 68 -124.8388 1466474 61500 45149 -100.8214 56 -124.8333 1469134 61600 45217 -85.3359 81 -124.8095 1471936 61700 45290 -55.2857 47 -124.7989 1474489 61800 45366 -61.2857 23 -124.7912 1476529 61900 45444 -14.1429 28 -124.7857 1479098 62000 45516 -72.9524 40 -124.7619 1481226 Elapsed time = 48.03 sec. (tree size = 19.71 MB, solutions = 0) 62100 45577 -103.0102 72 -124.7619 1483986 62200 45646 -92.1156 60 -124.7619 1486962 62300 45723 -52.7143 27 -124.7548 1488848 62400 45806 -86.4762 34 -124.7540 1491773 62500 45868 -106.5794 58 -124.7387 1494121 62600 45938 -109.0021 79 -124.7381 1497078 62700 46003 -116.5714 37 -124.7302 1499140 62800 46082 -69.1648 58 -124.7211 1501821 62900 46161 -99.8447 71 -124.7143 1503882 63000 46233 -108.0840 51 -124.7143 1506357 Elapsed time = 48.85 sec. (tree size = 20.00 MB, solutions = 0) 63100 46306 -104.5635 80 -124.7102 1508864 63200 46383 infeasible -124.7020 1511171 63300 46461 -106.4286 74 -124.6947 1513770 63400 46532 -24.3095 62 -124.6857 1516329 63500 46600 -84.0476 80 -124.6714 1519265 63600 46678 -68.8228 78 -124.6667 1521726 63700 46739 -115.0397 62 -124.6429 1523892 63800 46809 6.9437 69 -124.6395 1526377 63900 46882 infeasible -124.6349 1529047 64000 46961 -90.5238 32 -124.6190 1531337 Elapsed time = 49.66 sec. (tree size = 20.30 MB, solutions = 0) 64100 47024 infeasible -124.6143 1533857 64200 47095 -107.9002 53 -124.6071 1536380 64300 47161 -47.2468 75 -124.6061 1538894 64400 47240 -35.4780 115 -124.5952 1541088 64500 47317 -57.2381 61 -124.5868 1544357 64600 47384 -103.6573 65 -124.5782 1547416 64700 47450 -115.2987 48 -124.5714 1550201 64800 47532 -58.9592 60 -124.5714 1552686 64900 47597 infeasible -124.5714 1555375 65000 47669 -103.5714 29 -124.5680 1558050 Elapsed time = 50.52 sec. (tree size = 20.58 MB, solutions = 0) 65100 47728 -86.3611 58 -124.5578 1560850 65200 47803 34.5714 30 -124.5510 1562757 65300 47882 -46.7633 109 -124.5306 1564761 65400 47957 -43.3498 79 -124.5238 1567247 65500 48035 -59.8095 80 -124.5143 1569994 65600 48106 -118.8810 29 -124.5102 1572785 65700 48187 -86.7959 39 -124.5040 1575667 65800 48262 -119.5952 58 -124.5000 1577710 65900 48348 -42.7527 87 -124.5000 1579958 66000 48416 -81.5698 93 -124.4762 1582395 Elapsed time = 51.32 sec. (tree size = 20.89 MB, solutions = 0) 66100 48479 -42.6633 49 -124.4762 1584375 66200 48530 infeasible -124.4745 1587182 66300 48599 -71.1429 26 -124.4643 1589457 66400 48675 -102.5714 28 -124.4603 1592061 66500 48746 -94.4014 55 -124.4544 1594121 66600 48825 infeasible -124.4524 1596319 66700 48894 -92.7454 41 -124.4444 1599003 66800 48972 -41.5714 61 -124.4405 1602709 66900 49042 -73.4286 50 -124.4286 1604981 67000 49123 -101.5108 57 -124.4286 1607248 Elapsed time = 52.12 sec. (tree size = 21.18 MB, solutions = 0) 67100 49194 -29.2857 22 -124.4240 1609344 67200 49261 infeasible -124.4155 1611913 67300 49336 -112.9762 28 -124.4048 1614223 67400 49415 -68.7143 21 -124.3952 1616483 67500 49483 -58.4286 36 -124.3844 1618989 67600 49545 -122.0000 42 -124.3810 1621865 67700 49615 -123.1956 56 -124.3783 1624686 67800 49684 -115.3333 16 -124.3619 1627073 67900 49763 infeasible -124.3605 1629845 68000 49828 -118.0000 30 -124.3492 1632314 Elapsed time = 52.93 sec. (tree size = 21.47 MB, solutions = 0) 68100 49897 -112.5179 62 -124.3373 1635833 68200 49969 -97.5000 32 -124.3333 1637959 68300 50035 -95.4741 60 -124.3226 1640913 68400 50109 -84.2857 18 -124.3164 1643306 68500 50182 infeasible -124.3163 1645286 68600 50253 -39.7302 96 -124.3027 1647886 68700 50326 infeasible -124.2976 1650666 68800 50406 -95.5714 32 -124.2927 1653067 68900 50455 -115.9554 49 -124.2857 1655519 69000 50532 -36.3452 80 -124.2778 1657773 Elapsed time = 53.75 sec. (tree size = 21.75 MB, solutions = 0) 69100 50608 -75.5000 44 -124.2679 1660270 69200 50690 -54.4762 63 -124.2619 1662700 69300 50771 -45.5032 95 -124.2619 1665530 69400 50846 -61.1429 32 -124.2470 1667883 69500 50910 -112.8571 43 -124.2381 1670234 69600 50991 -28.6825 45 -124.2381 1672375 69700 51066 -105.3197 46 -124.2381 1674661 69800 51144 -83.4048 81 -124.2341 1677426 69900 51223 -122.0899 71 -124.2286 1679380 70000 51301 -88.4762 20 -124.2250 1681569 Elapsed time = 54.52 sec. (tree size = 22.07 MB, solutions = 0) 70100 51379 15.2007 76 -124.2143 1684361 70200 51451 infeasible -124.2143 1686821 70300 51531 -26.8571 30 -124.2042 1688998 70400 51611 -74.3095 69 -124.1905 1691646 70500 51679 -0.9354 99 -124.1881 1693895 70600 51750 -86.0714 41 -124.1786 1695878 70700 51818 -69.0794 101 -124.1667 1698886 70800 51878 -68.0357 57 -124.1531 1700969 70900 51954 -59.5714 9 -124.1429 1703533 71000 52020 -115.7143 33 -124.1429 1705768 Elapsed time = 55.30 sec. (tree size = 22.36 MB, solutions = 0) 71100 52096 -111.7143 62 -124.1429 1708555 71200 52169 -87.1724 82 -124.1381 1711267 71300 52245 -49.2857 39 -124.1293 1713583 71400 52304 -116.6122 43 -124.1270 1715772 71500 52372 infeasible -124.1190 1718149 71600 52442 -58.3690 64 -124.1111 1720748 71700 52511 -96.1429 47 -124.1003 1723562 71800 52582 -86.5658 73 -124.0952 1726104 71900 52649 -19.2143 45 -124.0794 1728830 72000 52723 -118.6429 26 -124.0714 1731590 Elapsed time = 56.12 sec. (tree size = 22.64 MB, solutions = 0) 72100 52806 -13.1429 24 -124.0703 1734336 72200 52880 -68.5357 51 -124.0536 1736758 72300 52943 -47.0324 78 -124.0476 1739290 72400 53007 -116.3810 38 -124.0429 1742061 72500 53077 -54.2083 110 -124.0340 1744593 72600 53143 -69.7619 41 -124.0321 1747265 72700 53215 -103.2646 53 -124.0298 1750004 72800 53280 -69.7143 22 -124.0238 1752358 72900 53359 -10.7498 71 -124.0238 1754880 73000 53423 -119.3175 49 -124.0159 1757633 Elapsed time = 56.97 sec. (tree size = 22.93 MB, solutions = 0) 73100 53499 infeasible -124.0022 1760514 73200 53577 -22.0000 22 -124.0000 1762861 73300 53653 -70.2857 26 -124.0000 1765346 73400 53726 -72.5714 19 -124.0000 1768350 73500 53799 -114.4410 57 -123.9898 1770939 73600 53867 -110.7460 74 -123.9821 1772777 73700 53935 -69.7143 44 -123.9762 1775007 73800 54008 -93.6654 60 -123.9762 1777206 73900 54082 -81.5238 47 -123.9683 1779486 74000 54150 -91.2897 55 -123.9558 1782029 Elapsed time = 57.76 sec. (tree size = 23.22 MB, solutions = 0) 74100 54214 -107.6190 16 -123.9524 1784811 74200 54286 -62.6746 94 -123.9524 1787558 74300 54364 -72.6190 33 -123.9444 1789816 74400 54420 -121.4347 74 -123.9410 1792448 74500 54497 -35.9524 59 -123.9388 1795324 74600 54560 -43.9524 58 -123.9306 1798166 74700 54634 -24.0476 42 -123.9286 1800083 74800 54713 -51.9821 47 -123.9184 1802057 74900 54792 -72.7143 26 -123.9048 1804330 75000 54866 -107.2211 66 -123.9048 1806331 Elapsed time = 58.56 sec. (tree size = 23.51 MB, solutions = 0) 75100 54940 -54.7143 34 -123.8980 1808607 75200 55019 -97.4762 29 -123.8921 1811276 75300 55098 -48.6857 46 -123.8810 1814411 75400 55168 infeasible -123.8810 1816589 75500 55238 infeasible -123.8735 1819022 75600 55306 -111.6190 51 -123.8651 1821401 75700 55384 -101.1607 63 -123.8571 1823675 75800 55465 -58.9121 77 -123.8571 1826414 75900 55543 -40.2857 63 -123.8571 1828467 76000 55600 -117.3033 80 -123.8452 1830499 Elapsed time = 59.37 sec. (tree size = 23.81 MB, solutions = 0) 76100 55664 -111.5524 61 -123.8341 1833142 76200 55738 -69.5714 80 -123.8268 1835739 76300 55802 infeasible -123.8190 1838957 76400 55867 -122.9091 49 -123.8095 1841453 76500 55945 -66.5714 48 -123.8016 1845061 76600 56019 -49.2041 79 -123.7976 1848259 76700 56078 -102.8571 36 -123.7914 1850513 76800 56155 -110.7302 79 -123.7857 1853281 76900 56235 -98.7011 56 -123.7857 1855768 77000 56305 -69.7245 84 -123.7823 1858894 Elapsed time = 60.27 sec. (tree size = 24.10 MB, solutions = 0) 77100 56375 -89.6667 40 -123.7619 1861080 77200 56437 -104.5476 73 -123.7619 1864216 77300 56507 -100.8690 61 -123.7585 1866572 77400 56580 -45.0272 43 -123.7490 1868564 77500 56655 infeasible -123.7468 1871539 77600 56725 -118.5926 73 -123.7381 1873823 77700 56796 -122.6567 35 -123.7194 1876861 77800 56862 -104.9524 34 -123.7143 1879327 77900 56929 infeasible -123.7143 1881315 78000 56989 infeasible -123.7083 1883814 Elapsed time = 61.08 sec. (tree size = 24.38 MB, solutions = 0) 78100 57063 -33.4286 29 -123.7056 1885710 78200 57133 infeasible -123.6964 1888033 78300 57200 -32.7619 80 -123.6871 1890879 78400 57270 infeasible -123.6725 1893176 78500 57341 -86.7857 51 -123.6667 1896541 78600 57417 -39.3485 67 -123.6630 1899073 78700 57486 -57.5913 82 -123.6508 1901651 78800 57561 -53.1497 57 -123.6432 1904927 78900 57638 -95.5510 51 -123.6429 1907700 79000 57715 -109.1905 48 -123.6349 1909626 Elapsed time = 61.91 sec. (tree size = 24.67 MB, solutions = 0) 79100 57783 -24.7143 29 -123.6290 1912331 79200 57853 infeasible -123.6241 1914885 79300 57916 -113.2857 31 -123.6190 1916863 79400 57998 -72.1111 78 -123.6190 1919659 79500 58071 -69.0476 39 -123.6122 1921878 79600 58136 -92.8776 70 -123.6044 1924020 79700 58199 -96.0857 73 -123.5873 1926196 79800 58285 11.4762 71 -123.5774 1928778 79900 58362 -54.1905 47 -123.5714 1931998 80000 58438 -101.0714 55 -123.5714 1933847 Elapsed time = 62.69 sec. (tree size = 24.96 MB, solutions = 0) 80100 58514 -81.3492 69 -123.5714 1935889 80200 58592 -27.1429 38 -123.5595 1938169 80300 58665 -70.0476 68 -123.5476 1940785 80400 58736 -46.3469 40 -123.5397 1942908 80500 58814 -104.8571 41 -123.5318 1945319 80600 58881 -78.2119 64 -123.5258 1947605 80700 58956 -37.2653 47 -123.5238 1949876 80800 59038 -80.3714 45 -123.5071 1951861 80900 59120 -121.4127 49 -123.5000 1954756 81000 59196 -85.8690 61 -123.5000 1957250 Elapsed time = 63.46 sec. (tree size = 25.27 MB, solutions = 0) 81100 59260 -78.3386 60 -123.4923 1960388 81200 59331 -116.6071 36 -123.4856 1963135 81300 59409 -70.1429 37 -123.4796 1965492 81400 59467 -92.3333 39 -123.4762 1967906 81500 59531 -79.6369 58 -123.4635 1969782 81600 59595 -100.7959 42 -123.4539 1972099 81700 59677 -38.9048 63 -123.4524 1974333 81800 59750 -97.0051 55 -123.4422 1976709 81900 59816 -120.6667 20 -123.4286 1979662 82000 59900 -87.4014 65 -123.4286 1982433 Elapsed time = 64.28 sec. (tree size = 25.56 MB, solutions = 0) 82100 59982 -7.8571 56 -123.4286 1984715 82200 60059 -84.9762 57 -123.4286 1986724 82300 60139 -39.5714 47 -123.4256 1989532 82400 60209 -118.2381 28 -123.4167 1991486 82500 60282 -42.7857 36 -123.4127 1993863 82600 60356 13.1429 43 -123.4082 1995839 82700 60427 -79.5714 54 -123.4048 1998734 82800 60506 -50.6599 35 -123.3980 2001490 82900 60580 -108.2959 82 -123.3849 2003915 83000 60636 infeasible -123.3810 2006424 Elapsed time = 65.06 sec. (tree size = 25.86 MB, solutions = 0) 83100 60714 -28.1429 27 -123.3810 2009226 83200 60790 -32.7653 85 -123.3798 2011530 83300 60864 -109.1429 36 -123.3690 2014083 83400 60937 -23.7551 74 -123.3605 2016739 83500 61006 -62.4286 19 -123.3571 2018754 83600 61075 -101.0822 52 -123.3493 2021064 83700 61146 -107.6548 56 -123.3406 2023744 83800 61224 infeasible -123.3333 2026091 83900 61292 infeasible -123.3333 2028693 84000 61362 -76.2365 99 -123.3214 2031288 Elapsed time = 65.87 sec. (tree size = 26.15 MB, solutions = 0) 84100 61426 -111.8333 31 -123.3095 2034516 84200 61510 25.4055 126 -123.2976 2037704 84300 61581 -50.0000 28 -123.2866 2039995 84400 61632 -117.3214 43 -123.2857 2042280 84500 61720 infeasible -123.2857 2044215 84600 61802 -44.8571 22 -123.2857 2046186 84700 61867 -56.9048 59 -123.2857 2048239 84800 61943 -36.0000 78 -123.2698 2051711 84900 62016 -106.7857 55 -123.2653 2054276 85000 62096 -111.5371 79 -123.2619 2056866 Elapsed time = 66.70 sec. (tree size = 26.45 MB, solutions = 0) 85100 62173 -103.4892 54 -123.2619 2059463 85200 62245 -83.2653 35 -123.2500 2061881 85300 62319 -64.5714 28 -123.2437 2064170 85400 62393 -40.8571 47 -123.2381 2066511 85500 62462 -87.6429 49 -123.2321 2068518 85600 62535 -83.9728 67 -123.2286 2070893 85700 62603 -79.6286 74 -123.2075 2073716 85800 62677 -43.4286 62 -123.2041 2076190 85900 62741 -104.9365 72 -123.2000 2078569 86000 62811 -91.3810 79 -123.1905 2080644 Elapsed time = 67.50 sec. (tree size = 26.74 MB, solutions = 0) 86100 62877 -120.8571 28 -123.1905 2082650 86200 62952 -92.0595 36 -123.1837 2084945 86300 63019 -121.3469 53 -123.1753 2087248 86400 63094 infeasible -123.1667 2089496 86500 63161 -76.4286 44 -123.1599 2091949 86600 63233 -34.2857 50 -123.1488 2094156 86700 63312 -41.3924 87 -123.1429 2097247 86800 63379 infeasible -123.1429 2100305 86900 63447 -21.9048 59 -123.1429 2102685 87000 63514 -64.4286 28 -123.1429 2104778 Elapsed time = 68.29 sec. (tree size = 27.03 MB, solutions = 0) 87100 63580 -34.7770 101 -123.1429 2107246 87200 63655 -15.0000 13 -123.1385 2109559 87300 63728 -41.5317 76 -123.1258 2111644 87400 63806 -39.0000 43 -123.1190 2114093 87500 63875 -72.2857 34 -123.1190 2116895 87600 63952 -116.2280 61 -123.1071 2119134 87700 64032 -90.0680 54 -123.1012 2121553 87800 64108 infeasible -123.0972 2123591 87900 64170 infeasible -123.0952 2125311 88000 64234 -61.6190 77 -123.0952 2127982 Elapsed time = 69.05 sec. (tree size = 27.32 MB, solutions = 0) 88100 64312 infeasible -123.0923 2130677 88200 64385 -34.8571 50 -123.0857 2133568 88300 64450 -32.0476 46 -123.0714 2136522 88400 64519 -103.1975 66 -123.0714 2138446 88500 64594 infeasible -123.0635 2140526 88600 64667 infeasible -123.0476 2143096 88700 64739 infeasible -123.0476 2144931 88800 64805 -110.0104 55 -123.0446 2147463 88900 64878 -29.0816 55 -123.0390 2150007 89000 64960 -93.4286 63 -123.0357 2152007 Elapsed time = 69.84 sec. (tree size = 27.61 MB, solutions = 0) 89100 65031 -85.6905 35 -123.0190 2154972 89200 65106 infeasible -123.0069 2157499 89300 65177 -69.9286 55 -123.0000 2160140 89400 65253 -51.8428 97 -123.0000 2162340 89500 65323 -83.1429 54 -123.0000 2164649 89600 65403 -114.5397 51 -122.9971 2166781 89700 65474 -62.2038 60 -122.9881 2169269 89800 65549 -32.6491 106 -122.9796 2171719 89900 65626 -100.7143 16 -122.9762 2173909 90000 65702 -101.0816 37 -122.9762 2175980 Elapsed time = 70.62 sec. (tree size = 29.52 MB, solutions = 0) 90100 65776 -101.2222 62 -122.9675 2178289 90200 65843 3.8333 44 -122.9614 2180373 90300 65919 -20.7857 34 -122.9562 2182519 90400 65984 -98.6568 54 -122.9524 2184520 90500 66059 -117.9524 82 -122.9510 2186784 90600 66137 -42.0238 50 -122.9461 2189827 90700 66212 -27.1429 56 -122.9388 2192299 90800 66292 -67.0510 105 -122.9345 2195061 90900 66372 -35.4286 45 -122.9310 2197413 91000 66441 infeasible -122.9286 2199801 Elapsed time = 71.42 sec. (tree size = 29.82 MB, solutions = 0) 91100 66501 -92.2571 71 -122.9252 2202050 91200 66570 -99.2143 53 -122.9127 2204530 91300 66628 -92.1039 88 -122.9048 2207161 91400 66694 -64.1429 38 -122.9048 2209939 91500 66768 -110.9762 57 -122.8980 2212461 91600 66844 -122.6697 81 -122.8973 2214731 91700 66918 -103.3810 41 -122.8929 2216959 91800 66995 -109.6190 51 -122.8810 2219665 91900 67068 infeasible -122.8810 2222357 92000 67140 -116.1757 71 -122.8741 2224311 Elapsed time = 72.21 sec. (tree size = 30.11 MB, solutions = 0) 92100 67210 -73.7007 42 -122.8622 2226930 92200 67276 -99.8224 50 -122.8571 2229413 92300 67354 infeasible -122.8571 2231833 92400 67424 9.9048 86 -122.8571 2234052 92500 67494 -22.0714 35 -122.8571 2236903 92600 67570 infeasible -122.8571 2239734 92700 67651 -115.2260 65 -122.8401 2241431 92800 67709 -122.4218 53 -122.8323 2243551 92900 67778 -53.0476 40 -122.8214 2246107 93000 67864 -38.8059 70 -122.8190 2248755 Elapsed time = 73.02 sec. (tree size = 30.40 MB, solutions = 0) 93100 67934 -118.0578 61 -122.8095 2250660 93200 67999 infeasible -122.8095 2252987 93300 68068 -68.4286 70 -122.7976 2255105 93400 68137 infeasible -122.7959 2257485 93500 68201 -107.4286 57 -122.7908 2260389 93600 68265 -44.8571 20 -122.7857 2262951 93700 68342 -14.1429 75 -122.7857 2265086 93800 68410 -79.3810 66 -122.7812 2267066 93900 68473 -107.3545 95 -122.7738 2269216 94000 68552 -80.1429 45 -122.7619 2271754 Elapsed time = 73.81 sec. (tree size = 30.69 MB, solutions = 0) 94100 68626 -59.6406 83 -122.7619 2274090 94200 68694 -122.7619 54 -122.7619 2275970 94300 68764 -76.0635 58 -122.7619 2278726 94400 68839 -48.8594 75 -122.7500 2281612 94500 68917 -64.7143 45 -122.7421 2284161 94600 68983 13.7143 38 -122.7381 2286267 94700 69057 -24.0000 41 -122.7381 2288492 94800 69118 -33.5102 65 -122.7262 2290718 94900 69192 -63.9524 21 -122.7242 2292774 95000 69268 -54.8571 23 -122.7143 2295169 Elapsed time = 74.59 sec. (tree size = 30.98 MB, solutions = 0) 95100 69331 -101.7143 57 -122.7143 2297204 95200 69402 -55.0102 109 -122.7056 2299813 95300 69472 -117.7762 53 -122.6905 2302077 95400 69551 -79.1905 43 -122.6837 2304524 95500 69627 -92.9524 57 -122.6786 2306751 95600 69688 -62.2857 42 -122.6726 2309891 95700 69751 5.1286 72 -122.6667 2312263 95800 69823 -74.8571 44 -122.6667 2314525 95900 69901 -68.1786 55 -122.6667 2316887 96000 69975 -102.5578 50 -122.6612 2319439 Elapsed time = 75.39 sec. (tree size = 31.27 MB, solutions = 0) 96100 70053 -27.0000 21 -122.6565 2321930 96200 70118 -35.2857 43 -122.6524 2324996 96300 70193 -113.2619 78 -122.6458 2327209 96400 70268 -66.0794 71 -122.6429 2329911 96500 70348 -35.8571 42 -122.6429 2331842 96600 70426 -107.7143 36 -122.6429 2333943 96700 70496 -66.1837 66 -122.6429 2336763 96800 70562 -120.8333 29 -122.6355 2339396 96900 70639 -120.8929 38 -122.6252 2342436 97000 70713 -66.7211 102 -122.6190 2345022 Elapsed time = 76.21 sec. (tree size = 31.58 MB, solutions = 0) 97100 70773 6.5714 62 -122.6190 2347188 97200 70859 -64.3333 51 -122.6190 2349459 97300 70920 -48.3878 46 -122.6078 2351828 97400 70984 -95.8750 68 -122.5972 2354608 97500 71049 infeasible -122.5952 2357082 97600 71114 20.7143 17 -122.5905 2359024 97700 71187 -78.8571 20 -122.5857 2360924 97800 71251 infeasible -122.5833 2363913 97900 71328 -107.1333 50 -122.5810 2365461 98000 71403 -42.1064 62 -122.5779 2368476 Elapsed time = 76.98 sec. (tree size = 31.86 MB, solutions = 0) 98100 71481 -69.8571 41 -122.5714 2370983 98200 71550 -79.6190 32 -122.5714 2373513 98300 71622 -120.3577 73 -122.5714 2376227 98400 71684 -70.1837 40 -122.5714 2378451 98500 71768 -85.8968 64 -122.5714 2380583 98600 71844 -100.5714 26 -122.5612 2382860 98700 71924 -86.1548 55 -122.5595 2385282 98800 71998 -65.9635 62 -122.5517 2387702 98900 72063 -120.0833 43 -122.5476 2390005 99000 72138 -52.3447 117 -122.5476 2392273 Elapsed time = 77.77 sec. (tree size = 32.17 MB, solutions = 0) 99100 72215 -103.3320 67 -122.5361 2394649 99200 72287 infeasible -122.5317 2397036 99300 72363 -105.2857 44 -122.5238 2399532 99400 72434 -75.1429 67 -122.5238 2402503 99500 72499 -71.6735 51 -122.5159 2405456 99600 72571 -70.2163 86 -122.5089 2407874 99700 72647 -49.5714 64 -122.5000 2410776 99