SCIP version 1.1.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: CPLEX 11.11] Copyright (c) 2002-2008 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) reading user parameter file read problem ============ original problem has 14115 variables (1603 bin, 0 int, 0 impl, 12512 cont) and 14021 constraints solve problem ============= ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 presolving: (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 419 upgd conss, 20 impls, 407 clqs (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 429 upgd conss, 20 impls, 407 clqs (round 3) 50 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 429 upgd conss, 34 impls, 382 clqs (round 4) 63 del vars, 43 del conss, 0 chg bounds, 6 chg sides, 12 chg coeffs, 429 upgd conss, 34 impls, 382 clqs (round 5) 79 del vars, 49 del conss, 0 chg bounds, 6 chg sides, 12 chg coeffs, 429 upgd conss, 34 impls, 382 clqs (round 6) 129 del vars, 49 del conss, 0 chg bounds, 6 chg sides, 12 chg coeffs, 429 upgd conss, 396 impls, 375 clqs (round 7) 134 del vars, 79 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 429 upgd conss, 400 impls, 375 clqs (round 8) 142 del vars, 81 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 429 upgd conss, 400 impls, 375 clqs (round 9) 192 del vars, 81 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 429 upgd conss, 1036 impls, 375 clqs (round 10) 193 del vars, 138 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 429 upgd conss, 1036 impls, 392 clqs (round 11) 249 del vars, 138 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 446 upgd conss, 1036 impls, 392 clqs (round 12) 299 del vars, 138 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 446 upgd conss, 4958 impls, 392 clqs (round 13) 299 del vars, 171 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 446 upgd conss, 4958 impls, 410 clqs (round 14) 323 del vars, 171 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 464 upgd conss, 4958 impls, 410 clqs (round 15) 373 del vars, 171 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 464 upgd conss, 7885 impls, 402 clqs (round 16) 373 del vars, 203 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 464 upgd conss, 7885 impls, 416 clqs (round 17) 393 del vars, 203 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 478 upgd conss, 7885 impls, 416 clqs (round 18) 443 del vars, 203 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 478 upgd conss, 13275 impls, 402 clqs (round 19) 445 del vars, 252 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 478 upgd conss, 13277 impls, 413 clqs (round 20) 465 del vars, 254 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 491 upgd conss, 13277 impls, 413 clqs (2.6s) probing: 1000/1603 (62.4%) - 211 fixings, 131 aggregations, 11603 implications, 0 bound changes (round 21) 515 del vars, 254 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 491 upgd conss, 13409 impls, 379 clqs (round 22) 515 del vars, 449 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 491 upgd conss, 13409 impls, 384 clqs (round 23) 678 del vars, 449 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 496 upgd conss, 13409 impls, 384 clqs (round 24) 728 del vars, 449 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 496 upgd conss, 13632 impls, 336 clqs (round 25) 728 del vars, 731 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 496 upgd conss, 13632 impls, 341 clqs (round 26) 1003 del vars, 738 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 501 upgd conss, 13632 impls, 341 clqs (round 27) 1053 del vars, 738 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 501 upgd conss, 14409 impls, 291 clqs (round 28) 1053 del vars, 1057 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 501 upgd conss, 14409 impls, 319 clqs (round 29) 1372 del vars, 1057 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 529 upgd conss, 14409 impls, 319 clqs (round 30) 1407 del vars, 1057 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 529 upgd conss, 14904 impls, 288 clqs (round 31) 1407 del vars, 1246 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 529 upgd conss, 14904 impls, 309 clqs (round 32) 1592 del vars, 1246 del conss, 0 chg bounds, 8 chg sides, 16 chg coeffs, 550 upgd conss, 14904 impls, 309 clqs presolving (33 rounds): 1592 deleted vars, 1246 deleted constraints, 0 tightened bounds, 0 added holes, 8 changed sides, 16 changed coefficients 14904 implications, 309 cliques presolved problem has 12523 variables (1113 bin, 0 int, 0 impl, 11410 cont) and 12775 constraints 10 constraints of type 453 constraints of type 12306 constraints of type 6 constraints of type transformed objective value is always integral (scale: 1) Presolving Time: 3.90 time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.4s| 1 | 0 | 2167 | 49M| 0 | 432 | 12k| 12k| 12k| 12k| 12k| 0 | 0 | 0 | 6.839788e+01 | -- | Inf 10.4s| 1 | 0 | 10764 | 51M| 0 | 563 | 12k| 12k| 12k| 12k| 12k| 95 | 0 | 0 | 7.325757e+01 | -- | Inf 13.3s| 1 | 0 | 12400 | 52M| 0 | 518 | 12k| 12k| 12k| 12k| 12k| 177 | 0 | 0 | 7.946266e+01 | -- | Inf 15.2s| 1 | 0 | 12712 | 52M| 0 | 490 | 12k| 12k| 12k| 12k| 13k| 238 | 0 | 0 | 8.041252e+01 | -- | Inf 17.1s| 1 | 0 | 13506 | 52M| 0 | 506 | 12k| 12k| 12k| 12k| 13k| 286 | 0 | 0 | 8.270533e+01 | -- | Inf 18.3s| 1 | 0 | 13885 | 52M| 0 | 502 | 12k| 12k| 12k| 12k| 13k| 317 | 0 | 0 | 8.314432e+01 | -- | Inf 19.3s| 1 | 0 | 14374 | 52M| 0 | 500 | 12k| 12k| 12k| 12k| 13k| 336 | 0 | 0 | 8.494722e+01 | -- | Inf 20.1s| 1 | 0 | 14465 | 52M| 0 | 501 | 12k| 12k| 12k| 12k| 13k| 345 | 0 | 0 | 8.495318e+01 | -- | Inf 20.8s| 1 | 0 | 14497 | 52M| 0 | 501 | 12k| 12k| 12k| 12k| 13k| 350 | 0 | 0 | 8.495318e+01 | -- | Inf 21.5s| 1 | 0 | 14540 | 52M| 0 | 501 | 12k| 12k| 12k| 12k| 13k| 360 | 0 | 0 | 8.496713e+01 | -- | Inf 22.1s| 1 | 0 | 14567 | 52M| 0 | 506 | 12k| 12k| 12k| 12k| 13k| 363 | 0 | 0 | 8.497171e+01 | -- | Inf 22.5s| 1 | 0 | 14568 | 52M| 0 | 506 | 12k| 12k| 12k| 12k| 13k| 364 | 0 | 0 | 8.497171e+01 | -- | Inf 32.2s| 1 | 2 | 14568 | 52M| 0 | 506 | 12k| 12k| 12k| 12k| 13k| 364 | 0 | 28 | 8.497171e+01 | -- | Inf 102s| 100 | 49 | 75003 | 53M| 14 | - | 12k| 12k| 10k| 0 | 0 | 364 | 75 | 172 | 9.757499e+01 | -- | Inf 140s| 200 | 90 |138716 | 55M| 28 | 336 | 12k| 12k| 11k| 12k| 12k| 364 | 189 | 217 | 1.062760e+02 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 200s| 300 | 126 |225395 | 56M| 28 | 372 | 12k| 13k| 10k| 12k| 12k| 364 | 382 | 274 | 1.187832e+02 | -- | Inf 218s| 400 | 154 |253558 | 56M| 40 | 47 | 12k| 13k|7512 | 12k| 12k| 364 | 526 | 297 | 1.209567e+02 | -- | Inf 227s| 500 | 167 |272181 | 57M| 40 | 79 | 12k| 13k|9852 | 12k| 12k| 364 | 684 | 323 | 1.221983e+02 | -- | Inf * 233s| 556 | 104 |281973 | 56M| 40 | - | 12k| 13k|7697 | 12k| 12k| 364 | 742 | 337 | 1.235582e+02 | 2.140000e+02 | 73.20% SCIP Status : solving was interrupted [solution limit reached] Solving Time (sec) : 233.01 Solving Nodes : 556 Primal Bound : +2.14000000000000e+02 (1 solutions) Dual Bound : +1.23558215391983e+02 Gap : 73.20 % primal solution: ================ objective value: 214 x12513 1 (obj:1) x12514 1 (obj:1) x12515 1 (obj:1) x12516 1 (obj:1) x12517 1 (obj:1) x12518 1 (obj:1) x12519 1 (obj:1) x12520 1 (obj:1) x12521 1 (obj:1) x12522 1 (obj:1) x12523 1 (obj:1) x12524 1 (obj:1) x12526 1 (obj:1) x12529 1 (obj:1) x12530 1 (obj:10) x12531 1 (obj:10) x12532 1 (obj:20) x12533 1 (obj:10) x12534 1 (obj:20) x12535 1 (obj:10) x12536 1 (obj:20) x12537 1 (obj:10) x12538 1 (obj:20) x12539 1 (obj:10) x12540 1 (obj:10) x12542 1 (obj:10) x12544 1 (obj:10) x12546 1 (obj:10) x12548 1 (obj:10) x12550 1 (obj:10) x12558 1 (obj:0) x12561 1 (obj:0) x12562 1 (obj:0) x12573 1 (obj:0) x12584 1 (obj:0) x12587 1 (obj:0) x12595 1 (obj:0) x12601 1 (obj:0) x12610 1 (obj:0) x12624 1 (obj:0) x12645 1 (obj:0) x12646 1 (obj:0) x12650 1 (obj:0) x12656 1 (obj:0) x12689 1 (obj:0) x12696 1 (obj:0) x12703 1 (obj:0) x12709 1 (obj:0) x12710 1 (obj:0) x12716 1 (obj:0) x12729 1 (obj:0) x12730 1 (obj:0) x12744 1 (obj:0) x12757 1 (obj:0) x12771 1 (obj:0) x12779 1 (obj:0) x12785 1 (obj:0) x12856 1 (obj:0) x12859 1 (obj:0) x12860 1 (obj:0) x12863 1 (obj:0) x12866 1 (obj:0) x12905 1 (obj:0) x12906 1 (obj:0) x12923 1 (obj:0) x12926 1 (obj:0) x12932 1 (obj:0) x12952 1 (obj:0) x12955 1 (obj:0) x12969 1 (obj:0) x12970 1 (obj:0) x12980 1 (obj:0) x12983 1 (obj:0) x12997 1 (obj:0) x13001 1 (obj:0) x13009 1 (obj:0) x13015 1 (obj:0) x13018 1 (obj:0) x13023 1 (obj:0) x13028 1 (obj:0) x13037 1 (obj:0) x13090 1 (obj:0) x13096 1 (obj:0) x13108 1 (obj:0) x13136 1 (obj:0) x13148 1 (obj:0) x13166 1 (obj:0) x13174 1 (obj:0) x13184 1 (obj:0) x13220 1 (obj:0) x13267 1 (obj:0) x13299 1 (obj:0) x13313 1 (obj:0) x13341 1 (obj:0) x13347 1 (obj:0) x13348 1 (obj:0) x13350 1 (obj:0) x13353 1 (obj:0) x13354 1 (obj:0) x13376 1 (obj:0) x13379 1 (obj:0) x13380 1 (obj:0) x13382 1 (obj:0) x13387 1 (obj:0) x13388 1 (obj:0) x13393 1 (obj:0) x13403 1 (obj:0) x13404 1 (obj:0) x13407 1 (obj:0) x13410 1 (obj:0) x13413 1 (obj:0) x13434 1 (obj:0) x13443 1 (obj:0) x13446 1 (obj:0) x13451 1 (obj:0) x13452 1 (obj:0) x13454 1 (obj:0) x13457 1 (obj:0) x13461 1 (obj:0) x13468 1 (obj:0) x13475 1 (obj:0) x13497 1 (obj:0) x13503 1 (obj:0) x13515 1 (obj:0) x13516 1 (obj:0) x13525 1 (obj:0) x13531 1 (obj:0) x13536 1 (obj:0) x13554 1 (obj:0) x13557 1 (obj:0) x13562 1 (obj:0) x13571 1 (obj:0) x13577 1 (obj:0) x13579 1 (obj:0) x13580 1 (obj:0) x13587 1 (obj:0) x13590 1 (obj:0) x13597 1 (obj:0) x13598 1 (obj:0) x13601 1 (obj:0) x13611 1 (obj:0) x13612 1 (obj:0) x13620 1 (obj:0) x13629 1 (obj:0) x13634 1 (obj:0) x13637 1 (obj:0) x13655 1 (obj:0) x13658 1 (obj:0) x13661 1 (obj:0) x13666 1 (obj:0) x13669 1 (obj:0) x13672 1 (obj:0) x13675 1 (obj:0) x13676 1 (obj:0) x13679 1 (obj:0) x13680 1 (obj:0) x13682 1 (obj:0) x13690 1 (obj:0) x13695 1 (obj:0) x13696 1 (obj:0) x13698 1 (obj:0) x13701 1 (obj:0) x13711 1 (obj:0) x13722 1 (obj:0) x13729 1 (obj:0) x13731 1 (obj:0) x13738 1 (obj:0) x13741 1 (obj:0) x13744 1 (obj:0) x13756 1 (obj:0) x13758 1 (obj:0) x13761 1 (obj:0) x13767 1 (obj:0) x13771 1 (obj:0) x13772 1 (obj:0) x13777 1 (obj:0) x13778 1 (obj:0) x13782 1 (obj:0) x13787 1 (obj:0) x13812 1 (obj:0) x13815 1 (obj:0) x13821 1 (obj:0) x13822 1 (obj:0) x13825 1 (obj:0) x13829 1 (obj:0) x13832 1 (obj:0) x13834 1 (obj:0) x13842 1 (obj:0) x13850 1 (obj:0) x13864 1 (obj:0) x13870 1 (obj:0) x13896 1 (obj:0) x13902 1 (obj:0) x13906 1 (obj:0) x13910 1 (obj:0) x13912 1 (obj:0) x13920 1 (obj:0) x13926 1 (obj:0) x13932 1 (obj:0) x13960 1 (obj:0) x13976 1 (obj:0) x13982 1 (obj:0) x13990 1 (obj:0) x13996 1 (obj:0) x14010 1 (obj:0) x14016 1 (obj:0) x14022 1 (obj:0) x14025 1 (obj:0) x14043 1 (obj:0) x14053 1 (obj:0) x14057 1 (obj:0) x14069 1 (obj:0) x14075 1 (obj:0) x14089 1 (obj:0) x14103 1 (obj:0) x14109 1 (obj:0) x14115 1 (obj:0) x1607 1 (obj:0) x1630 1 (obj:0) x1646 1 (obj:0) x1669 1 (obj:0) x1676 1 (obj:0) x1679 3 (obj:0) x1683 3 (obj:0) x1692 1 (obj:0) x1715 1 (obj:0) x1722 1 (obj:0) x1725 3 (obj:0) x1753 2 (obj:0) x1755 3 (obj:0) x1824 3 (obj:0) x1842 3 (obj:0) x1855 2 (obj:0) x1865 3 (obj:0) x1901 2 (obj:0) x1943 1 (obj:0) x1975 1 (obj:0) x1987 3 (obj:0) x1993 2 (obj:0) x1998 1 (obj:0) x2003 3 (obj:0) x2016 2 (obj:0) x2044 1 (obj:0) x2049 3 (obj:0) x2090 1 (obj:0) x2119 1 (obj:0) x2121 2 (obj:0) x2131 2 (obj:0) x2200 2 (obj:0) x2227 2 (obj:0) x2254 3 (obj:0) x2273 2 (obj:0) x2289 1 (obj:0) x2333 1 (obj:0) x2343 1 (obj:0) x2413 2 (obj:0) x2448 1 (obj:0) x2462 1 (obj:0) x2530 3 (obj:0) x2626 3 (obj:0) x2635 1 (obj:0) x2636 1 (obj:0) x2648 1 (obj:0) x2686 3 (obj:0) x2694 1 (obj:0) x2697 2 (obj:0) x2720 2 (obj:0) x2741 3 (obj:0) x2743 2 (obj:0) x2750 1 (obj:0) x2753 3 (obj:0) x2763 1 (obj:0) x2766 2 (obj:0) x2776 3 (obj:0) x2787 3 (obj:0) x2796 1 (obj:0) x2799 3 (obj:0) x2809 1 (obj:0) x2812 2 (obj:0) x2819 1 (obj:0) x2870 3 (obj:0) x2881 2 (obj:0) x2939 3 (obj:0) x3091 3 (obj:0) x3121 3 (obj:0) x3144 3 (obj:0) x3225 2 (obj:0) x3325 1 (obj:0) x3327 2 (obj:0) x3331 2 (obj:0) x3348 1 (obj:0) x3377 2 (obj:0) x3381 3 (obj:0) x3396 2 (obj:0) x3440 1 (obj:0) x3470 1 (obj:0) x3486 1 (obj:0) x3509 1 (obj:0) x3516 1 (obj:0) x3517 2 (obj:0) x3519 3 (obj:0) x3532 1 (obj:0) x3555 1 (obj:0) x3562 1 (obj:0) x3565 3 (obj:0) x3593 2 (obj:0) x3595 3 (obj:0) x3639 2 (obj:0) x3664 3 (obj:0) x3672 2 (obj:0) x3727 1 (obj:0) x3743 3 (obj:0) x3748 2 (obj:0) x3750 1 (obj:0) x3761 1 (obj:0) x3766 3 (obj:0) x3771 2 (obj:0) x3841 3 (obj:0) x3865 1 (obj:0) x3880 3 (obj:0) x3974 3 (obj:0) x4043 3 (obj:0) x4082 1 (obj:0) x4111 3 (obj:0) x4151 1 (obj:0) x4255 3 (obj:0) x4301 3 (obj:0) x4331 3 (obj:0) x4369 2 (obj:0) x4400 3 (obj:0) x4431 2 (obj:0) x4445 2 (obj:0) x4461 1 (obj:0) x4500 2 (obj:0) x4502 1 (obj:0) x4528 1 (obj:0) x4535 1 (obj:0) x4537 2 (obj:0) x4564 1 (obj:0) x4574 1 (obj:0) x4597 1 (obj:0) x4620 1 (obj:0) x4621 2 (obj:0) x4629 2 (obj:0) x4656 1 (obj:0) x4666 1 (obj:0) x4678 3 (obj:0) x4695 1 (obj:0) x4708 2 (obj:0) x4739 1 (obj:0) x4754 2 (obj:0) x4768 1 (obj:0) x4776 2 (obj:0) x4787 1 (obj:0) x4797 1 (obj:0) x4810 1 (obj:0) x4827 1 (obj:0) x4847 3 (obj:0) x4852 2 (obj:0) x4870 3 (obj:0) x4875 2 (obj:0) x4879 1 (obj:0) x4881 2 (obj:0) x4896 1 (obj:0) x4910 1 (obj:0) x4930 2 (obj:0) x4939 3 (obj:0) x4953 2 (obj:0) x4981 1 (obj:0) x5004 1 (obj:0) x5011 1 (obj:0) x5027 1 (obj:0) x5034 1 (obj:0) x5042 2 (obj:0) x5078 3 (obj:0) x5147 3 (obj:0) x5186 1 (obj:0) x5199 1 (obj:0) x5212 1 (obj:0) x5255 1 (obj:0) x5270 1 (obj:0) x5278 1 (obj:0) x5324 1 (obj:0) x5341 2 (obj:0) x5351 2 (obj:0) x5431 1 (obj:0) x5446 3 (obj:0) x5462 1 (obj:0) x5479 2 (obj:0) x5489 2 (obj:0) x5515 3 (obj:0) x5535 2 (obj:0) x5604 2 (obj:0) x5639 3 (obj:0) x5668 1 (obj:0) x5678 1 (obj:0) x5701 1 (obj:0) x5724 1 (obj:0) x5744 3 (obj:0) x5747 1 (obj:0) x5748 2 (obj:0) x5760 1 (obj:0) x5770 1 (obj:0) x5799 1 (obj:0) x5843 1 (obj:0) x5866 1 (obj:0) x5880 2 (obj:0) x5891 1 (obj:0) x5914 1 (obj:0) x5935 1 (obj:0) x5951 3 (obj:0) x5956 2 (obj:0) x5958 1 (obj:0) x5974 3 (obj:0) x5979 2 (obj:0) x5983 1 (obj:0) x6035 3 (obj:0) x6044 3 (obj:0) x6065 3 (obj:0) x6073 1 (obj:0) x6081 3 (obj:0) x6087 2 (obj:0) x6088 3 (obj:0) x6182 3 (obj:0) x6225 2 (obj:0) x6251 3 (obj:0) x6271 2 (obj:0) x6275 2 (obj:0) x6303 1 (obj:0) x6321 2 (obj:0) x6340 2 (obj:0) x6484 2 (obj:0) x6535 1 (obj:0) x6539 3 (obj:0) x6608 3 (obj:0) x6616 2 (obj:0) x7007 2 (obj:0) x7023 2 (obj:0) x7028 1 (obj:0) x7074 1 (obj:0) x7076 2 (obj:0) x7115 2 (obj:0) x7120 1 (obj:0) x7133 1 (obj:0) x7166 1 (obj:0) x7179 1 (obj:0) x7189 1 (obj:0) x7197 2 (obj:0) x7199 3 (obj:0) x7212 1 (obj:0) x7222 3 (obj:0) x7225 1 (obj:0) x7235 1 (obj:0) x7245 3 (obj:0) x7273 2 (obj:0) x7275 3 (obj:0) x7320 2 (obj:0) x7344 3 (obj:0) x7352 2 (obj:0) x7407 1 (obj:0) x7423 3 (obj:0) x7428 2 (obj:0) x7430 1 (obj:0) x7441 1 (obj:0) x7446 3 (obj:0) x7451 2 (obj:0) x7506 2 (obj:0) x7520 2 (obj:0) x7529 2 (obj:0) x7531 1 (obj:0) x7543 2 (obj:0) x7549 2 (obj:0) x7568 1 (obj:0) x7583 3 (obj:0) x7588 2 (obj:0) x7611 2 (obj:0) x7675 3 (obj:0) x8111 2 (obj:0) x8132 1 (obj:0) x8156 1 (obj:0) x8165 3 (obj:0) x8180 2 (obj:0) x8220 3 (obj:0) x8224 1 (obj:0) x8237 1 (obj:0) x8244 1 (obj:0) x8254 1 (obj:0) x8277 1 (obj:0) x8283 1 (obj:0) x8293 1 (obj:0) x8316 1 (obj:0) x8323 1 (obj:0) x8324 1 (obj:0) x8326 3 (obj:0) x8329 1 (obj:0) x8339 1 (obj:0) x8359 1 (obj:0) x8362 1 (obj:0) x8369 1 (obj:0) x8372 3 (obj:0) x8404 3 (obj:0) x8427 3 (obj:0) x8456 2 (obj:0) x8841 3 (obj:0) x8864 3 (obj:0) x8868 1 (obj:0) x8879 1 (obj:0) x8895 3 (obj:0) x8900 2 (obj:0) x8902 1 (obj:0) x8913 1 (obj:0) x8918 3 (obj:0) x8923 2 (obj:0) x8939 2 (obj:0) x8956 3 (obj:0) x8978 2 (obj:0) x8979 3 (obj:0) x9001 2 (obj:0) x9002 3 (obj:0) x9025 3 (obj:0) x9032 3 (obj:0) x9040 1 (obj:0) x9048 3 (obj:0) x9071 3 (obj:0) x9094 3 (obj:0) x9109 1 (obj:0) x9132 1 (obj:0) x9140 3 (obj:0) x9177 3 (obj:0) x9186 3 (obj:0) x9215 2 (obj:0) x9219 2 (obj:0) x9230 3 (obj:0) x9265 2 (obj:0) x9270 1 (obj:0) x9284 2 (obj:0) x9298 2 (obj:0) x9348 1 (obj:0) x9440 1 (obj:0) x9454 1 (obj:0) x9463 1 (obj:0) x9483 3 (obj:0) x9486 1 (obj:0) x9515 3 (obj:0) x9523 1 (obj:0) x9552 3 (obj:0) x9560 2 (obj:0) x9571 1 (obj:0) x9594 1 (obj:0) x9615 1 (obj:0) x9631 3 (obj:0) x9636 2 (obj:0) x9638 1 (obj:0) x9654 3 (obj:0) x9659 2 (obj:0) x9663 1 (obj:0) x9714 2 (obj:0) x9726 1 (obj:0) x9737 2 (obj:0) x9768 3 (obj:0) x9776 1 (obj:0) x9791 3 (obj:0) x9844 3 (obj:0) x9862 3 (obj:0) x9874 3 (obj:0) x9905 2 (obj:0) x9931 3 (obj:0) x10306 3 (obj:0) x10319 2 (obj:0) x10352 3 (obj:0) x10388 2 (obj:0) x10429 1 (obj:0) x10430 1 (obj:0) x10439 1 (obj:0) x10462 1 (obj:0) x10467 3 (obj:0) x10493 2 (obj:0) x10508 1 (obj:0) x10509 2 (obj:0) x10513 3 (obj:0) x10544 1 (obj:0) x10554 1 (obj:0) x10610 3 (obj:0) x10664 2 (obj:0) x10706 1 (obj:0) x10714 2 (obj:0) x10718 3 (obj:0) x10719 1 (obj:0) x10732 1 (obj:0) x10734 3 (obj:0) x10789 3 (obj:0) x10798 1 (obj:0) x10805 2 (obj:0) x10816 2 (obj:0) x10839 2 (obj:0) x10844 1 (obj:0) x10863 3 (obj:0) x10872 3 (obj:0) x10885 2 (obj:0) x10895 3 (obj:0) x10908 2 (obj:0) x10966 3 (obj:0) x10982 1 (obj:0) x11035 3 (obj:0) x11417 3 (obj:0) x11439 2 (obj:0) x11440 3 (obj:0) x11455 1 (obj:0) x11509 3 (obj:0) x11511 1 (obj:0) x11531 2 (obj:0) x11532 3 (obj:0) x11554 2 (obj:0) x11555 3 (obj:0) x11578 3 (obj:0) x11585 3 (obj:0) x11601 3 (obj:0) x11608 3 (obj:0) x11624 3 (obj:0) x11647 3 (obj:0) x11663 3 (obj:0) x11693 3 (obj:0) x11702 3 (obj:0) x11771 3 (obj:0) x12180 1 (obj:0) x12191 1 (obj:0) x12272 1 (obj:0) x12292 1 (obj:0) x12302 1 (obj:0) x12325 1 (obj:0) x12341 1 (obj:0) x12356 2 (obj:0) x12364 1 (obj:0) x12371 1 (obj:0) x12374 3 (obj:0) x12387 1 (obj:0) x12410 1 (obj:0) x12417 1 (obj:0) x12420 3 (obj:0) x12448 2 (obj:0) x12451 2 (obj:0) x12454 1 (obj:0) x12494 2 (obj:0) x6 2 (obj:0) x13 1 (obj:0) x59 1 (obj:0) x82 1 (obj:0) x98 2 (obj:0) x105 1 (obj:0) x128 1 (obj:0) x135 1 (obj:0) x147 3 (obj:0) x158 1 (obj:0) x174 1 (obj:0) x189 2 (obj:0) x197 1 (obj:0) x204 1 (obj:0) x205 0.999999999999999 (obj:0) x206 2 (obj:0) x213 2 (obj:0) x220 1 (obj:0) x243 1 (obj:0) x250 1 (obj:0) x266 1 (obj:0) x279 1 (obj:0) x281 2 (obj:0) x351 2 (obj:0) x387 2 (obj:0) x391 3 (obj:0) x395 3 (obj:0) x404 1 (obj:0) x405 1 (obj:0) x410 2 (obj:0) x426 1 (obj:0) x440 1 (obj:0) x474 1 (obj:0) x477 3 (obj:0) x486 1 (obj:0) x533 3 (obj:0) x538 2 (obj:0) x542 1 (obj:0) x548 2 (obj:0) x555 1 (obj:0) x558 2 (obj:0) x565 1 (obj:0) x573 2 (obj:0) x579 3 (obj:0) x588 1 (obj:0) x594 2 (obj:0) x601 1 (obj:0) x611 1 (obj:0) x612 1 (obj:0) x627 2 (obj:0) x647 1 (obj:0) x658 1 (obj:0) x662 3 (obj:0) x681 1 (obj:0) x690 3 (obj:0) x695 2 (obj:0) x731 3 (obj:0) x747 1 (obj:0) x763 3 (obj:0) x773 1 (obj:0) x794 1 (obj:0) x808 1 (obj:0) x823 3 (obj:0) x839 1 (obj:0) x842 1 (obj:0) x854 1 (obj:0) x866 2 (obj:0) x889 2 (obj:0) x901 3 (obj:0) x913 3 (obj:0) x923 1 (obj:0) x935 2 (obj:0) x947 3 (obj:0) x969 1 (obj:0) x1004 2 (obj:0) x1015 1 (obj:0) x1026 1 (obj:0) x1030 3 (obj:0) x1049 1 (obj:0) x1050 2 (obj:0) x1073 2 (obj:0) x1099 3 (obj:0) x1107 1 (obj:0) x1108 3 (obj:0) x1116 1 (obj:0) x1117 1 (obj:0) x1130 1 (obj:0) x1133 2 (obj:0) x1139 1 (obj:0) x1144 2 (obj:0) x1163 1 (obj:0) x1176 1 (obj:0) x1179 2 (obj:0) x1185 1 (obj:0) x1190 2 (obj:0) x1202 2 (obj:0) x1222 1 (obj:0) x1227 2 (obj:0) x1231 1 (obj:0) x1232 1 (obj:0) x1250 2 (obj:0) x1255 1 (obj:0) x1301 1 (obj:0) x1304 3 (obj:0) x1317 2 (obj:0) x1347 1 (obj:0) x1350 3 (obj:0) x1356 2 (obj:0) x1369 1 (obj:0) x1370 1 (obj:0) x1383 1 (obj:0) x1508 1 (obj:0) x1567 1 (obj:0) x1577 1 (obj:0) x1590 1 (obj:0) x1597 1 (obj:0) Statistics ========== SCIP Status : solving was interrupted [solution limit reached] Solving Time : 233.01 Original Problem : Problem name : net12 Variables : 14115 (1603 binary, 0 integer, 0 implicit integer, 12512 continuous) Constraints : 14021 initial, 14021 maximal Presolved Problem : Problem name : t_net12 Variables : 12523 (1113 binary, 0 integer, 0 implicit integer, 11410 continuous) Constraints : 12775 initial, 13517 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.01 0 0 0 0 0 0 0 0 dualfix : 0.00 1086 0 0 0 0 0 0 0 boundshift : 0.00 0 0 0 0 0 0 0 0 inttobinary : 0.00 0 0 0 0 0 0 0 0 implics : 0.00 0 0 0 0 0 0 0 0 probing : 3.34 344 141 0 0 0 0 0 0 knapsack : 0.00 0 0 0 0 0 0 0 0 setppc : 0.03 0 1 0 0 0 75 0 0 linear : 0.50 0 20 0 0 0 1165 8 16 logicor : 0.00 0 0 0 0 0 6 0 0 bounddisjunction : 0.00 0 0 0 0 0 0 0 0 root node : - 0 - - 0 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 431 0 1 31 0 0 830 knapsack : 10 12 9227 1 0 1 180 0 0 0 setppc : 453 12 9226 1 0 254 3079 0 0 0 linear : 12306 12 8972 1 0 166 75529 95 0 0 logicor : 6+ 12 1641 1 0 6 516 0 0 0 bounddisjunction : 0+ 0 136 0 0 0 15 0 0 0 countsols : 0 0 0 1 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 65.61 0.00 0.00 65.61 0.00 knapsack : 0.01 0.00 0.01 0.00 0.00 setppc : 0.24 0.00 0.24 0.00 0.00 linear : 3.74 0.07 3.67 0.00 0.00 logicor : 0.02 0.00 0.02 0.00 0.00 bounddisjunction : 0.00 0.00 0.00 0.00 0.00 countsols : 0.00 0.00 0.00 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.00 0 0 0 pseudoobj : 0.00 4702 0 0 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.02 142 141 420 12.6 67 5.6 - infeasible LP : 0.37 131 125 1000 36.2 65 3.7 0 bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 strong branching : 0.00 0 0 0 0.0 0 0.0 0 pseudo solution : 0.00 0 0 0 0.0 0 0.0 - applied globally : - - - 742 19.5 - - - applied locally : - - - 0 0.0 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.01 11 - - 471 - (maximal pool size: 1916) redcost : 0.14 443 0 6 0 0 impliedbounds : 0.01 12 0 0 539 0 intobj : 0.00 0 0 0 0 0 gomory : 2.12 12 0 0 1131 0 strongcg : 1.62 12 0 0 184 0 cmir : 5.43 10 0 0 1425 0 flowcover : 2.03 10 0 0 859 0 clique : 0.08 12 0 0 43 0 zerohalf : 0.00 0 0 0 0 0 mcf : 0.00 0 0 0 0 0 Pricers : Time Calls Vars problem variables: 0.00 0 0 Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children relpscost : 65.61 430 1 31 0 0 830 pscost : 0.00 0 0 0 0 0 0 inference : 0.00 0 0 0 0 0 0 mostinf : 0.00 0 0 0 0 0 0 leastinf : 0.00 0 0 0 0 0 0 fullstrong : 0.00 0 0 0 0 0 0 allfullstrong : 0.00 0 0 0 0 0 0 random : 0.00 0 0 0 0 0 0 Primal Heuristics : Time Calls Found LP solutions : 0.01 - 1 pseudo solutions : 0.00 - 0 oneopt : 0.00 0 0 crossover : 0.00 0 0 guideddiving : 0.00 0 0 veclendiving : 6.12 6 0 linesearchdiving : 6.16 6 0 objpscostdiving : 16.85 3 0 fracdiving : 4.07 7 0 coefdiving : 3.19 7 0 pscostdiving : 6.05 7 0 feaspump : 6.58 4 0 simplerounding : 0.00 2 0 rounding : 0.32 243 0 shifting : 0.22 60 0 intshifting : 0.05 6 0 fixandinfer : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 rootsoldiving : 7.04 2 0 octane : 0.00 0 0 rens : 0.18 1 0 rins : 0.00 0 0 localbranching : 0.00 0 0 mutation : 0.00 0 0 dins : 0.00 0 0 LP : Time Calls Iterations Iter/call Iter/sec primal LP : 0.44 0 0 0.00 0.00 dual LP : 90.67 517 195376 377.90 2154.80 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 49.88 1341 86597 64.58 1736.11 strong branching : 65.55 337 232143 688.85 3541.46 (at root node) : - 28 28000 1000.00 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 556 nodes (total) : 556 nodes left : 104 max depth : 40 max depth (total): 40 backtracks : 117 (21.0%) delayed cutoffs : 92 repropagations : 716 (3928 domain reductions, 25 cutoffs) avg switch length: 4.74 switching time : 0.97 Solution : Solutions found : 1 (1 improvements) Primal Bound : +2.14000000000000e+02 (in run 1, after 556 nodes, 233.00 seconds, depth 29, found by ) Dual Bound : +1.23558215391983e+02 Gap : 73.20 % Root Dual Bound : +8.49717083888900e+01 233.32user 1.34system 4:01.27elapsed 97%CPU (0avgtext+0avgdata 0maxresident)k 7056inputs+168outputs (0major+459783minor)pagefaults 0swaps