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: obj Selected RHS name: rhs Selected bound name: bnd Tried aggregator 1 time. MIP Presolve eliminated 86 rows and 2 columns. Aggregator did 118 substitutions. Reduced MIP has 18125 rows, 19726 columns, and 120149 nonzeros. presolving objective offset = 0 (restat: 0) Problem: bench/ns808444.mps Max iter Stage 1: 10000 Max iter Stage 2: 2000 Min change: 20 Initial Presolve: Yes Imported 18125 rows and 19726 columns Objective sense: Minimize Problem is MIP: Yes Initial Algorithm: Auto 19726 integer variables (19726 of which are binary and 0 are general integer) 0 continuous variables Solving relaxed problem...0- 0 -1 0 0 213.828 done obj=0 + 0 = 0 Rounding solution...done Stage 1... improved distance by 0percent 1- 1 227.708 0 0 133.16 improved distance by 0.507764percent 1- 2 115.622 0 0 84.5177 improved distance by 0.733668percent 1- 3 84.828 0 0 83.3084 1- 4 142.846 0 0 83.3084 1- 5 145.446 0 0 83.3084 1- 6 93.2518 0 0 83.4466 improved distance by 0.98591percent 1- 7 83.6328 0 0 83.4466 1- 8 84.0122 0 0 83.4751 1- 9 83.9185 0 0 83.3957 improved distance by 0.94676percent 1- 10 79.1802 0 0 78.2238 improved distance by 0.987462percent 1- 11 78.1874 0 0 78.1874 1- 12 78.4206 0 0 78.1874 1- 13 78.3335 0 0 78.1874 1- 14 78.1874 0 0 78.1874 1- 15 139.319 0 0 78.1874 1- 16 134.04 0 0 78.1874 1- 17 78.4206 0 0 78.1874 1- 18 78.7063 0 0 78.1874 1- 19 88.2859 0 0 78.1874 s iter delta rst obj fractionality incumbent 1- 20 78.3253 0 0 78.1874 1- 21 91.5288 0 0 78.1874 1- 22 78.6192 0 0 78.1874 1- 23 88.2859 0 0 78.1874 1- 24 138.04 0 0 78.1874 1- 25 88.2859 0 0 78.1874 1- 26 78.2459 0 0 78.1874 1- 27 88.2859 0 0 78.1874 1- 28 88.8859 0 0 78.1874 1- 29 150.333 0 0 79.09 1- 30 79.5218 0 0 79.09 1- 31 79.09 0 0 79.09 1- 32 139.609 0 0 79.09 1- 33 79.3232 0 0 79.09 1- 34 79.5218 0 0 79.09 1- 35 79.3232 0 0 79.09 1- 36 79.09 0 0 79.09 1- 37 79.5134 0 0 79.0835 1- 38 141.707 0 0 79.0835 1- 39 79.5218 0 0 79.0835 s iter delta rst obj fractionality incumbent 1- 40 79.6089 0 0 79.0835 1- 41 79.0774 0 0 79.0774 1- 42 643.04 1 0 79.6726 improved distance by 0.960971percent 1- 43 75.1359 1 0 74.0315 1- 44 131.872 1 0 74.0315 improved distance by 0.987391percent 1- 45 74.1885 1 0 74.0315 1- 46 75.6055 1 0 74.0315 1- 47 131.272 1 0 74.0315 1- 48 132.555 1 0 74.0315 1- 49 84.4552 1 0 74.0315 1- 50 708.991 2 0 76.7281 1- 51 75.8724 2 0 75.8724 1- 52 90.1218 2 0 74.039 1- 53 87.5218 2 0 74.039 1- 54 74.2722 2 0 74.039 1- 55 128.205 2 0 74.039 improved distance by 1percent 1- 56 74.1885 2 0 74.039 1- 57 88.1218 2 0 74.039 1- 58 90.7648 2 0 74.039 improved distance by 0.997985percent 1- 59 74.039 2 0 74.039 s iter delta rst obj fractionality incumbent 1- 60 666.616 3 0 79.5191 1- 61 78.7418 3 0 74.5563 1- 62 126.345 3 0 74.3526 1- 63 125.527 3 0 74.3526 1- 64 118.527 3 0 74.3526 1- 65 74.7603 3 0 74.3526 improved distance by 0.998084percent 1- 66 73.8971 3 0 73.8971 1- 67 74.0937 3 0 73.8971 1- 68 74.1937 3 0 73.8971 1- 69 695.672 4 0 87.4328 1- 70 85.2924 4 0 82.7336 1- 71 81.8012 4 0 77.3467 1- 72 90.123 4 0 69.8548 improved distance by 0.941689percent 1- 73 69.5881 4 0 69.5881 1- 74 121.537 4 0 68.7548 1- 75 120.537 4 0 68.7548 improved distance by 0.990638percent 1- 76 68.9366 4 0 68.7548 improved distance by 0.999055percent 1- 77 68.8715 4 0 68.7548 1- 78 669.022 5 0 72.1298 1- 79 70.2699 5 0 70.0881 s iter delta rst obj fractionality incumbent 1- 80 69.4859 5 0 67.5359 improved distance by 0.981586percent 1- 81 67.6033 5 0 67.4214 1- 82 79.8715 5 0 67.4214 improved distance by 0.99731percent 1- 83 67.4214 5 0 67.4214 1- 84 116.937 5 0 67.4214 1- 85 108.27 5 0 67.4214 1- 86 67.5381 5 0 67.4214 1- 87 67.9366 5 0 67.4214 Too many iteration without 10% improvement Total stage 1 restarts: 5 Stage 2... Using best point from iter: 83 2- 88 116.981 5 0 67.4214 2- 89 67.5692 5 0 67.4214 2- 90 67.632 5 0 67.4214 2- 91 118.387 5 0 67.4214 2- 92 67.5262 5 0 67.4214 2- 93 89.6241 6 0 67.4214 2- 94 116.96 6 0 67.4214 2- 95 67.4382 6 0 67.4214 2- 96 117.556 6 0 67.4214 2- 97 67.4989 6 0 67.4214 2- 98 153.952 7 0 67.4214 2- 99 113.924 8 0 67.4214 s iter delta rst obj fractionality incumbent 2- 100 184.883 9 0 67.4214 2- 101 67.4304 9 0 67.4214 2- 102 67.546 9 0 67.4214 2- 103 117.213 9 0 67.4214 2- 104 110.278 9 0 67.4214 2- 105 80.2098 9 0 67.4214 2- 106 116.61 9 0 67.4214 2- 107 67.6081 9 0 67.4214 2- 108 67.4421 9 0 67.4214 2- 109 102.274 10 0 67.4214 2- 110 114.208 11 0 67.0881 2- 111 67.2731 11 0 67.0881 2- 112 67.2076 11 0 67.0881 2- 113 67.0906 11 0 67.0881 2- 114 119.207 12 0 67.0881 2- 115 79.8732 12 0 67.0881 2- 116 134.857 13 0 66.7548 2- 117 66.7564 13 0 66.7548 2- 118 66.8203 13 0 66.7548 2- 119 79.2059 13 0 66.7548 s iter delta rst obj fractionality incumbent 2- 120 114.871 13 0 66.7548 2- 121 79.8057 13 0 66.7548 2- 122 128.539 14 0 67.0881 2- 123 67.089 14 0 67.0881 2- 124 67.2707 14 0 67.0881 2- 125 120.615 14 0 67.2548 2- 126 117.037 14 0 67.2548 2- 127 114.204 15 0 67.0214 2- 128 66.972 15 0 66.8548 2- 129 67.0371 15 0 66.8548 2- 130 112.305 16 0 66.8548 2- 131 131.972 17 0 66.8548 2- 132 156.138 18 0 68.0214 2- 133 68.1033 18 0 68.0214 2- 134 67.6384 18 0 65.5039 2- 135 76.6383 18 0 65.5039 2- 136 65.6383 18 0 65.5039 2- 137 149.138 19 0 66.3372 2- 138 114.138 19 0 66.3372 2- 139 77.3049 19 0 66.1706 s iter delta rst obj fractionality incumbent 2- 140 66.3049 19 0 66.1706 2- 141 132.305 20 0 66.1706 2- 142 114.472 20 0 64.3372 2- 143 75.4715 20 0 64.3372 2- 144 64.3367 20 0 64.3366 2- 145 136.472 21 0 64.0033 2- 146 64.1382 21 0 64.0033 2- 147 112.138 21 0 64.0033 2- 148 64.1382 21 0 64.0033 2- 149 126.472 22 0 63.3366 2- 150 111.623 22 0 63.3366 2- 151 63.4715 22 0 63.3366 2- 152 69.8048 22 0 63.3366 2- 153 74.1382 22 0 63.3366 2- 154 66.1382 22 0 63.3366 2- 155 63.3366 22 0 63.3366 2- 156 118.138 23 0 63.3366 2- 157 135.138 24 0 63.3366 2- 158 74.1381 24 0 63.3366 2- 159 63.3366 24 0 63.3366 s iter delta rst obj fractionality incumbent 2- 160 110.805 24 0 63.3366 2- 161 63.3712 24 0 63.3366 2- 162 63.4715 24 0 63.3366 2- 163 111.471 25 0 63.3366 2- 164 137.138 26 0 63.3366 2- 165 116.333 26 0 63.3366 2- 166 74.1381 26 0 63.3366 2- 167 110.805 26 0 63.3366 2- 168 134.777 27 0 63.3833 2- 169 117.667 27 0 63.3833 2- 170 73.8048 27 0 63.3366 2- 171 111.138 27 0 63.3366 2- 172 135.805 28 0 63.3366 2- 173 79 28 0 63.3366 2- 174 111.471 28 0 63.3366 2- 175 63.4188 28 0 63.3366 2- 176 73.4715 28 0 63.3366 2- 177 66.1381 28 0 63.3366 2- 178 63.4188 28 0 63.3366 2- 179 156.138 29 0 63.0033 s iter delta rst obj fractionality incumbent 2- 180 111.138 29 0 63.0033 2- 181 63.1381 29 0 63.0033 2- 182 63.0033 29 0 63.0033 2- 183 63.0855 29 0 63.0033 2- 184 101.67 30 0 63.0033 2- 185 63.1381 30 0 63.0033 2- 186 72.8048 30 0 63.0033 2- 187 106.003 31 0 63.0033 2- 188 129.138 32 0 62.6699 2- 189 62.8048 32 0 62.6699 2- 190 115.027 32 0 62.6699 2- 191 62.7278 32 0 62.6699 2- 192 110.471 32 0 62.6699 2- 193 62.8048 32 0 62.6699 2- 194 65.4715 32 0 62.6699 2- 195 73.2896 32 0 62.6699 2- 196 100.138 33 0 62.6699 2- 197 170.805 34 0 63.0033 2- 198 110.805 34 0 63.0033 2- 199 104.805 34 0 63.0033 s iter delta rst obj fractionality incumbent 2- 200 170.791 35 0 63.08 2- 201 112.847 35 0 63.08 2- 202 63.1381 35 0 63.0033 2- 203 110.138 35 0 63.0033 2- 204 112.781 35 0 63.0033 2- 205 124.471 36 0 63.0033 2- 206 63.0033 36 0 63.0033 2- 207 73.8048 36 0 63.0033 2- 208 156.138 37 0 63.0033 2- 209 186.138 38 0 63.0033 2- 210 175.138 39 0 62.6699 2- 211 62.8048 39 0 62.6699 2- 212 62.8048 39 0 62.6699 2- 213 151.138 40 0 62.6699 2- 214 180.446 41 0 61.4648 2- 215 61.4715 41 0 61.3366 2- 216 61.4715 41 0 61.3366 2- 217 61.8048 41 0 61.3366 2- 218 149.471 42 0 61.3366 2- 219 71.4715 42 0 61.3366 s iter delta rst obj fractionality incumbent 2- 220 167.138 43 0 64.0033 2- 221 63.1381 43 0 60.0033 2- 222 60.1381 43 0 60.0033 2- 223 60.0033 43 0 60.0033 2- 224 105.956 43 0 60.0033 2- 225 60.1381 43 0 60.0033 2- 226 127.003 44 0 60.0033 2- 227 150.138 45 0 59.0033 2- 228 68.1381 45 0 59.0033 2- 229 59.0033 45 0 59.0033 2- 230 59.0855 45 0 59.0033 2- 231 103.805 45 0 59.0033 2- 232 130.289 46 0 58.5747 2- 233 58.4715 46 0 58.3366 2- 234 102.805 46 0 58.3366 2- 235 58.353 46 0 58.3366 2- 236 72.6667 46 0 58.3366 2- 237 113.805 47 0 58.6699 2- 238 58.7522 47 0 58.6699 2- 239 103.471 47 0 58.6699 s iter delta rst obj fractionality incumbent 2- 240 58.8048 47 0 58.6699 2- 241 58.8048 47 0 58.6699 2- 242 58.6699 47 0 58.6699 2- 243 57.8446 47 0 55.765 2- 244 55.8048 47 0 55.765 2- 245 55.8048 47 0 55.765 2- 246 64.4715 47 0 55.765 2- 247 92.8048 48 0 55.765 2- 248 65.2896 48 0 55.765 2- 249 103.805 49 0 55.765 2- 250 126.138 50 0 55.4317 2- 251 55.4715 50 0 55.4317 2- 252 58.8048 50 0 55.4317 2- 253 55.4715 50 0 55.4317 2- 254 64.1381 50 0 55.4317 2- 255 108.471 51 0 55.0984 2- 256 55.1381 51 0 55.0984 2- 257 61.1381 51 0 55.0984 2- 258 55.1381 51 0 55.0984 2- 259 100.471 52 0 55.0984 s iter delta rst obj fractionality incumbent 2- 260 63.4715 52 0 55.0984 2- 261 99.4715 52 0 55.0984 2- 262 106.805 53 0 54.765 2- 263 54.8048 53 0 54.765 2- 264 54.8048 53 0 54.765 2- 265 54.7633 53 0 54.7633 2- 266 62.8048 53 0 54.7633 2- 267 109.471 54 0 54.43 2- 268 98.4715 54 0 54.43 2- 269 54.4715 54 0 54.43 2- 270 62.4715 54 0 54.43 2- 271 59.1381 54 0 54.43 2- 272 54.4715 54 0 54.43 2- 273 95.8048 55 0 54.43 2- 274 118.444 56 0 54.43 2- 275 135.805 57 0 54.43 2- 276 154.494 58 0 54.431 2- 277 169.471 59 0 54.0977 2- 278 54.1381 59 0 54.0977 2- 279 62.4715 59 0 54.0977 s iter delta rst obj fractionality incumbent 2- 280 61.8048 59 0 54.0977 2- 281 100.781 59 0 54.0977 2- 282 67.3333 59 0 54.0977 2- 283 98.1381 59 0 54.0977 2- 284 96.4715 60 0 54.0977 2- 285 135.471 61 0 53.7644 2- 286 53.7633 61 0 53.7633 2- 287 98.2896 61 0 53.7633 2- 288 97.4715 61 0 53.7633 2- 289 53.8048 61 0 53.7633 2- 290 57.1381 61 0 53.7633 2- 291 61.4715 61 0 53.7633 2- 292 105.805 62 0 53.7633 2- 293 53.8048 62 0 53.7633 2- 294 118.138 63 0 53.7633 2- 295 176.453 64 0 53.7633 2- 296 207.471 65 0 53.7633 2- 297 216.138 66 0 53.7633 2- 298 203.805 67 0 55.7633 2- 299 99.1381 67 0 55.7633 s iter delta rst obj fractionality incumbent 2- 300 55.7633 67 0 55.7633 2- 301 55.1381 67 0 53.0967 2- 302 96.4715 67 0 53.0967 2- 303 88.4715 67 0 53.0967 2- 304 185.471 68 0 53.0967 2- 305 53.0967 68 0 53.0967 2- 306 53.1149 68 0 53.0967 2- 307 60.4715 68 0 53.0967 2- 308 53.1381 68 0 53.0967 2- 309 151.471 69 0 53.0967 2- 310 135.575 70 0 53.4482 2- 311 154.097 71 0 53.0967 2- 312 228.725 72 0 53.0967 2- 313 53.0967 72 0 53.0967 2- 314 53.1381 72 0 53.0967 2- 315 60.8048 72 0 53.0967 2- 316 53.1381 72 0 53.0967 2- 317 58.4715 72 0 53.0967 2- 318 140.805 73 0 53.0967 2- 319 152.956 74 0 53.0967 s iter delta rst obj fractionality incumbent 2- 320 53.0967 74 0 53.0967 2- 321 96.1381 74 0 53.0967 2- 322 53.1381 74 0 53.0967 2- 323 60.8048 74 0 53.0967 2- 324 53.1381 74 0 53.0967 2- 325 116.097 75 0 53.0967 2- 326 145.391 76 0 53.0967 2- 327 171.805 77 0 53.0967 2- 328 170.471 78 0 52.43 2- 329 52.4715 78 0 52.43 2- 330 94.8048 78 0 52.43 2- 331 89.1381 78 0 52.43 2- 332 52.4715 78 0 52.43 2- 333 177.805 79 0 52.43 2- 334 193.805 80 0 52.43 2- 335 52.43 80 0 52.43 2- 336 163.471 81 0 52.0967 2- 337 52.1381 81 0 52.0967 2- 338 52.1381 81 0 52.0967 2- 339 56.8048 81 0 52.0967 s iter delta rst obj fractionality incumbent 2- 340 143.138 82 0 52.0967 2- 341 59.4715 82 0 52.0967 2- 342 54.8048 82 0 52.0967 2- 343 149.471 83 0 52.0967 2- 344 162.138 84 0 51.7633 2- 345 51.8048 84 0 51.7633 2- 346 58.4715 84 0 51.7633 2- 347 163.471 85 0 51.7633 2- 348 59.1381 85 0 51.7633 2- 349 51.7815 85 0 51.7633 2- 350 93.8048 85 0 51.7633 2- 351 51.8048 85 0 51.7633 2- 352 117.471 86 0 51.43 2- 353 51.4715 86 0 51.43 2- 354 55.8048 86 0 51.43 2- 355 51.43 86 0 51.43 2- 356 58.8048 86 0 51.43 2- 357 93.1381 86 0 51.43 2- 358 100.805 87 0 51.43 2- 359 121.763 88 0 51.43 s iter delta rst obj fractionality incumbent 2- 360 142.138 89 0 51.43 2- 361 159.416 90 0 51.5034 2- 362 51.4482 90 0 51.43 2- 363 221.471 91 0 51.43 2- 364 51.4715 91 0 51.43 2- 365 58.8048 91 0 51.43 2- 366 154.116 92 0 51.5501 2- 367 51.4715 92 0 51.43 2- 368 56.1381 92 0 51.43 2- 369 95.1144 92 0 51.43 2- 370 136.138 93 0 51.0967 2- 371 91.8048 93 0 51.0967 2- 372 59.1381 93 0 51.0967 2- 373 51.1381 93 0 51.0967 2- 374 64.6667 93 0 51.0967 2- 375 51.1381 93 0 51.0967 2- 376 54.8048 93 0 51.0967 2- 377 99.4715 94 0 51.0967 2- 378 130.341 95 0 52.6563 2- 379 92.8411 95 0 50.1563 s iter delta rst obj fractionality incumbent 2- 380 50.1745 95 0 50.1563 2- 381 58.1745 95 0 50.1563 2- 382 50.1563 95 0 50.1563 2- 383 93.4841 95 0 50.1563 2- 384 98.1745 96 0 50.1563 2- 385 124.147 97 0 49.8696 2- 386 49.823 97 0 49.823 2- 387 90.1745 97 0 49.823 2- 388 57.8411 97 0 49.823 2- 389 53.8411 97 0 49.823 2- 390 49.8411 97 0 49.823 2- 391 58.8411 97 0 49.823 2- 392 49.8411 97 0 49.823 2- 393 132.174 98 0 49.823 2- 394 128.841 99 0 49.823 2- 395 139.508 100 0 49.823 2- 396 147.508 101 0 49.823 2- 397 49.823 101 0 49.823 2- 398 49.8411 101 0 49.823 2- 399 52.8411 101 0 49.823 s iter delta rst obj fractionality incumbent 2- 400 130.823 102 0 49.823 2- 401 57.5078 102 0 49.823 2- 402 140.841 103 0 49.4896 2- 403 49.5078 103 0 49.4896 2- 404 49.4896 103 0 49.4896 2- 405 136.508 104 0 49.4896 2- 406 49.5078 104 0 49.4896 2- 407 52.5078 104 0 49.4896 2- 408 89.8411 104 0 49.4896 2- 409 120.49 105 0 49.4896 Too many restarts Total stage 2 restarts: 100 Stage 3... Using best point from iter: 404 obj offset: 442 + 0 = 442 Clique table members: 21054. MIP emphasis: hidden feasible solutions. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.02 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 -392.4922 160 -392.4922 17 0 0 -144.8812 605 Cuts: 966 4292 0 0 -134.2204 745 Cuts: 389 5939 0 0 -130.0913 734 Cuts: 232 7239 0 0 -127.7446 894 Cuts: 279 8252 0 0 -126.0495 908 Cuts: 218 9847 0 0 -124.3556 947 Cuts: 223 11509 0 0 -123.3118 944 Cuts: 161 12804 0 0 -122.6184 978 Cuts: 166 13865 0 0 -121.3633 1020 Cuts: 143 15646 0 0 -120.5463 971 Cuts: 122 17391 0 0 -119.9276 971 Cuts: 138 18791 0 0 -119.5407 1036 Cuts: 81 19729 0 0 -118.9764 1012 Cuts: 72 21203 0 0 -118.7067 1021 Cuts: 70 21975 0 0 -118.4139 990 Cuts: 69 22866 0 0 -118.3094 1039 Cuts: 85 23850 0 0 -118.1220 1068 Cuts: 66 25174 0 0 -117.9275 1118 Cuts: 80 25942 0 0 -117.8875 1139 Cuts: 56 26494 0 0 -117.8175 1098 Cuts: 35 27007 0 0 -117.6707 1084 Cuts: 41 27697 0 0 -117.4580 1052 Cuts: 54 28555 0 0 -117.3417 1073 Cuts: 45 29234 0 0 -117.1845 1037 Cuts: 36 29943 0 0 -116.9024 1025 Cuts: 79 30677 0 0 -116.7394 1068 Cuts: 51 31660 0 0 -116.6463 1148 Cuts: 61 32691 0 0 -116.3549 1170 Cuts: 44 34524 0 0 -116.2140 1177 Cuts: 44 35846 0 0 -116.1528 1230 Cuts: 28 36418 0 0 -116.0350 1183 Cuts: 35 36974 0 0 -115.9144 1142 Cuts: 19 37867 0 0 -115.8055 1125 Cuts: 51 38617 0 0 -115.7563 1059 Cuts: 63 39347 0 0 -115.6291 1056 Cuts: 64 40299 0 0 -115.5255 1065 Cuts: 47 40872 0 0 -115.5054 1061 Cuts: 50 41199 0 0 -115.4604 1060 Cuts: 41 41423 0 0 -115.4310 1101 Cuts: 46 42040 * 0+ 0 44.0000 -115.4310 42040 362.34% GUB cover cuts applied: 307 Clique cuts applied: 101 Cover cuts applied: 560 Implied bound cuts applied: 74 Zero-half cuts applied: 191 Gomory fractional cuts applied: 86 Status: Feasible CplexStatus:SolLim Solution with obj=0 + 0 = 0 found Writing MIP start values to file bench/ns808444.mst Solution (only non-zero entries are reported): obj = 0 x236 = 1 x238 = 1 x259 = 1 x261 = 1 x340 = 1 x342 = 1 x345 = 1 x346 = 1 x460 = 1 x470 = 1 x471 = 1 x472 = 1 x775 = 1 x781 = 1 x782 = 1 x795 = 1 x867 = 1 x871 = 1 x876 = 1 x883 = 1 x1023 = 1 x1031 = 1 x1039 = 1 x1273 = 1 x1280 = 1 x1291 = 1 x1573 = 1 x1575 = 1 x1576 = 1 x2070 = 1 x2082 = 1 x2086 = 1 x2095 = 1 x2253 = 1 x2259 = 1 x2266 = 1 x2271 = 1 x2318 = 1 x2321 = 1 x2324 = 1 x2535 = 1 x2540 = 1 x2548 = 1 x2554 = 1 x2749 = 1 x2754 = 1 x2755 = 1 x2761 = 1 x3009 = 1 x3018 = 1 x3025 = 1 x3030 = 1 x3283 = 1 x3284 = 1 x3288 = 1 x3303 = 1 x3440 = 1 x3441 = 1 x3461 = 1 x3465 = 1 x3598 = 1 x3599 = 1 x3614 = 1 x3617 = 1 x3796 = 1 x3808 = 1 x3809 = 1 x4181 = 1 x4187 = 1 x4190 = 1 x4198 = 1 x4199 = 1 x4200 = 1 x4215 = 1 x4451 = 1 x4463 = 1 x4464 = 1 x4856 = 1 x4861 = 1 x4870 = 1 x4875 = 1 x5120 = 1 x5133 = 1 x5139 = 1 x5155 = 1 x5378 = 1 x5379 = 1 x5400 = 1 x5406 = 1 x5739 = 1 x5746 = 1 x5759 = 1 x5762 = 1 x5913 = 1 x5918 = 1 x5937 = 1 x5939 = 1 x6148 = 1 x6154 = 1 x6159 = 1 x6363 = 1 x6364 = 1 x6369 = 1 x6584 = 1 x6593 = 1 x6601 = 1 x6949 = 1 x6963 = 1 x6964 = 1 x6971 = 1 x7072 = 1 x7074 = 1 x7083 = 1 x7086 = 1 x7366 = 1 x7370 = 1 x7371 = 1 x7373 = 1 x7579 = 1 x7584 = 1 x7589 = 1 x7590 = 1 x7639 = 1 x7646 = 1 x7647 = 1 x7965 = 1 x7966 = 1 x7972 = 1 x7977 = 1 x8261 = 1 x8281 = 1 x8282 = 1 x8285 = 1 x8517 = 1 x8521 = 1 x8531 = 1 x8535 = 1 x8700 = 1 x8718 = 1 x8719 = 1 x8720 = 1 x9206 = 1 x9209 = 1 x9219 = 1 x9235 = 1 x9501 = 1 x9507 = 1 x9508 = 1 x9515 = 1 x9671 = 1 x9672 = 1 x9675 = 1 x9683 = 1 x9842 = 1 x9851 = 1 x9853 = 1 x9857 = 1 x9903 = 1 x9914 = 1 x9916 = 1 x9919 = 1 x10232 = 1 x10241 = 1 x10249 = 1 x10251 = 1 x10426 = 1 x10439 = 1 x10440 = 1 x10444 = 1 x10677 = 1 x10678 = 1 x10684 = 1 x10685 = 1 x11008 = 1 x11009 = 1 x11015 = 1 x11029 = 1 x11161 = 1 x11171 = 1 x11172 = 1 x11175 = 1 x11384 = 1 x11385 = 1 x11394 = 1 x11405 = 1 x11612 = 1 x11622 = 1 x11629 = 1 x11633 = 1 x11982 = 1 x11983 = 1 x11991 = 1 x12005 = 1 x12242 = 1 x12243 = 1 x12261 = 1 x12270 = 1 x12431 = 1 x12432 = 1 x12441 = 1 x12442 = 1 x12583 = 1 x12584 = 1 x12587 = 1 x12596 = 1 x12780 = 1 x12786 = 1 x12798 = 1 x12978 = 1 x12988 = 1 x12996 = 1 x13290 = 1 x13292 = 1 x13297 = 1 x13301 = 1 x13415 = 1 x13416 = 1 x13426 = 1 x13439 = 1 x13657 = 1 x13662 = 1 x13663 = 1 x13676 = 1 x14068 = 1 x14071 = 1 x14078 = 1 x14081 = 1 x14085 = 1 x14087 = 1 x14108 = 1 x14205 = 1 x14207 = 1 x14210 = 1 x14297 = 1 x14307 = 1 x14308 = 1 x14309 = 1 x14333 = 1 x14339 = 1 x14340 = 1 x14353 = 1 x14359 = 1 x14363 = 1 x14368 = 1 x14480 = 1 x14488 = 1 x14496 = 1 x14497 = 1 x14505 = 1 x14512 = 1 x14523 = 1 x14631 = 1 x14633 = 1 x14634 = 1 x14752 = 1 x14764 = 1 x14768 = 1 x14777 = 1 x14829 = 1 x14835 = 1 x14842 = 1 x14847 = 1 x14916 = 1 x14919 = 1 x14922 = 1 x15032 = 1 x15037 = 1 x15045 = 1 x15051 = 1 x15056 = 1 x15061 = 1 x15062 = 1 x15148 = 1 x15157 = 1 x15164 = 1 x15169 = 1 x15246 = 1 x15247 = 1 x15251 = 1 x15344 = 1 x15345 = 1 x15365 = 1 x15369 = 1 x15399 = 1 x15400 = 1 x15415 = 1 x15510 = 1 x15522 = 1 x15523 = 1 x15530 = 1 x15607 = 1 x15613 = 1 x15616 = 1 x15625 = 1 x15626 = 1 x15641 = 1 x15780 = 1 x15792 = 1 x15793 = 1 x15805 = 1 x15811 = 1 x15816 = 1 x15825 = 1 x15936 = 1 x15949 = 1 x15955 = 1 x16013 = 1 x16014 = 1 x16035 = 1 x16073 = 1 x16080 = 1 x16093 = 1 x16273 = 1 x16278 = 1 x16297 = 1 x16299 = 1 x16424 = 1 x16430 = 1 x16435 = 1 x16437 = 1 x16539 = 1 x16540 = 1 x16545 = 1 x16552 = 1 x16553 = 1 x16562 = 1 x16570 = 1 x16668 = 1 x16682 = 1 x16683 = 1 x16690 = 1 x16770 = 1 x16772 = 1 x16781 = 1 x16784 = 1 x16847 = 1 x16851 = 1 x16852 = 1 x16901 = 1 x16906 = 1 x16911 = 1 x16912 = 1 x16931 = 1 x16938 = 1 x16939 = 1 x17077 = 1 x17078 = 1 x17084 = 1 x17089 = 1 x17198 = 1 x17218 = 1 x17219 = 1 x17222 = 1 x17226 = 1 x17230 = 1 x17240 = 1 x17340 = 1 x17358 = 1 x17359 = 1 x17360 = 1 x17390 = 1 x17393 = 1 x17403 = 1 x17563 = 1 x17569 = 1 x17570 = 1 x17577 = 1 x17642 = 1 x17643 = 1 x17646 = 1 x17703 = 1 x17712 = 1 x17714 = 1 x17722 = 1 x17733 = 1 x17735 = 1 x17835 = 1 x17844 = 1 x17852 = 1 x17854 = 1 x17923 = 1 x17936 = 1 x17937 = 1 x17941 = 1 x18005 = 1 x18006 = 1 x18012 = 1 x18013 = 1 x18116 = 1 x18117 = 1 x18123 = 1 x18137 = 1 x18180 = 1 x18190 = 1 x18191 = 1 x18194 = 1 x18225 = 1 x18226 = 1 x18235 = 1 x18246 = 1 x18327 = 1 x18337 = 1 x18344 = 1 x18348 = 1 x18424 = 1 x18425 = 1 x18433 = 1 x18447 = 1 x18448 = 1 x18449 = 1 x18467 = 1 x18571 = 1 x18572 = 1 x18581 = 1 x18678 = 1 x18679 = 1 x18682 = 1 x18691 = 1 x18771 = 1 x18777 = 1 x18789 = 1 x18947 = 1 x18957 = 1 x18965 = 1 x18967 = 1 x19008 = 1 x19010 = 1 x19015 = 1 x19019 = 1 x19121 = 1 x19122 = 1 x19132 = 1 x19145 = 1 x19151 = 1 x19156 = 1 x19157 = 1 x19301 = 1 x19304 = 1 x19311 = 1 x19314 = 1 x19352 = 1 x19358 = 1 x19379 = 1 x19392 = 1 x19398 = 1 x19413 = 1 x19436 = 1 x19461 = 1 x19467 = 1 x19492 = 1 x19501 = 1 x19530 = 1 x19552 = 1 x19562 = 1 x19580 = 1 x19605 = 1 x19623 = 1 x19641 = 1 x19653 = 1 x19677 = 1 x19692 = 1 x19698 = 1 x19717 = 1 x19721 = 1 x19740 = 1 x19757 = 1 x19786 = 1 x19800 = 1 x19809 = 1 x19835 = 1 Feasible FOUND in 409 iterations! First sol: obj=0 time=45 iter=409 restarts=105 stage=3 44.11user 0.36system 0:44.47elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+9408outputs (0major+171138minor)pagefaults 0swaps