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 5174 variables (2349 bin, 0 int, 0 impl, 2825 cont) and 42680 constraints solve problem ============= ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 presolving: (round 1) 394 del vars, 1202 del conss, 1078 chg bounds, 2123 chg sides, 2123 chg coeffs, 0 upgd conss, 151601 impls, 88 clqs (round 2) 1575 del vars, 14135 del conss, 2320 chg bounds, 2344 chg sides, 2352 chg coeffs, 0 upgd conss, 151783 impls, 83 clqs (round 3) 1581 del vars, 18259 del conss, 2375 chg bounds, 5148 chg sides, 5186 chg coeffs, 0 upgd conss, 151783 impls, 83 clqs (round 4) 1583 del vars, 18356 del conss, 2387 chg bounds, 5168 chg sides, 5206 chg coeffs, 0 upgd conss, 151783 impls, 83 clqs (round 5) 1583 del vars, 18358 del conss, 2390 chg bounds, 5198 chg sides, 5238 chg coeffs, 0 upgd conss, 151783 impls, 83 clqs (round 6) 1583 del vars, 18711 del conss, 2390 chg bounds, 5198 chg sides, 5238 chg coeffs, 18947 upgd conss, 151783 impls, 83 clqs (round 7) 1758 del vars, 18890 del conss, 2390 chg bounds, 5230 chg sides, 5270 chg coeffs, 18947 upgd conss, 157227 impls, 83 clqs (round 8) 1758 del vars, 18902 del conss, 2390 chg bounds, 5289 chg sides, 5329 chg coeffs, 18947 upgd conss, 157227 impls, 83 clqs (round 9) 2008 del vars, 18902 del conss, 2394 chg bounds, 5289 chg sides, 5329 chg coeffs, 18947 upgd conss, 157529 impls, 83 clqs (round 10) 2008 del vars, 22100 del conss, 2394 chg bounds, 5289 chg sides, 5329 chg coeffs, 18947 upgd conss, 157529 impls, 83 clqs (round 11) 2179 del vars, 22100 del conss, 2461 chg bounds, 5289 chg sides, 5329 chg coeffs, 18947 upgd conss, 187850 impls, 82 clqs (round 12) 2181 del vars, 24172 del conss, 2461 chg bounds, 5592 chg sides, 5641 chg coeffs, 18947 upgd conss, 187850 impls, 82 clqs (round 13) 2181 del vars, 24172 del conss, 2461 chg bounds, 5594 chg sides, 5643 chg coeffs, 18947 upgd conss, 187850 impls, 82 clqs (round 14) 2231 del vars, 24172 del conss, 2492 chg bounds, 5594 chg sides, 5643 chg coeffs, 18947 upgd conss, 234230 impls, 82 clqs (round 15) 2231 del vars, 24675 del conss, 2492 chg bounds, 5764 chg sides, 5814 chg coeffs, 18947 upgd conss, 234230 impls, 82 clqs (round 16) 2281 del vars, 24675 del conss, 2497 chg bounds, 5764 chg sides, 5814 chg coeffs, 18947 upgd conss, 298632 impls, 82 clqs (round 17) 2281 del vars, 25360 del conss, 2497 chg bounds, 5793 chg sides, 5846 chg coeffs, 18947 upgd conss, 298632 impls, 82 clqs (round 18) 2331 del vars, 25360 del conss, 2502 chg bounds, 5793 chg sides, 5846 chg coeffs, 18947 upgd conss, 360547 impls, 82 clqs (round 19) 2331 del vars, 25874 del conss, 2502 chg bounds, 5822 chg sides, 5878 chg coeffs, 18947 upgd conss, 360547 impls, 82 clqs (4.1s) probing: 1000/1535 (65.1%) - 559 fixings, 50 aggregations, 114110 implications, 147 bound changes (round 20) 2381 del vars, 25874 del conss, 2551 chg bounds, 5822 chg sides, 5878 chg coeffs, 18947 upgd conss, 393900 impls, 82 clqs (round 21) 2384 del vars, 26150 del conss, 2552 chg bounds, 6069 chg sides, 6128 chg coeffs, 18947 upgd conss, 393900 impls, 82 clqs (round 22) 2384 del vars, 26150 del conss, 2552 chg bounds, 6070 chg sides, 6129 chg coeffs, 18953 upgd conss, 393900 impls, 82 clqs (round 23) 2385 del vars, 26150 del conss, 2552 chg bounds, 6070 chg sides, 6129 chg coeffs, 18953 upgd conss, 395087 impls, 82 clqs (round 24) 2385 del vars, 26152 del conss, 2552 chg bounds, 6070 chg sides, 6129 chg coeffs, 18953 upgd conss, 395087 impls, 82 clqs presolving (25 rounds): 2385 deleted vars, 26152 deleted constraints, 2552 tightened bounds, 0 added holes, 6070 changed sides, 6129 changed coefficients 395087 implications, 82 cliques presolved problem has 2789 variables (1193 bin, 0 int, 0 impl, 1596 cont) and 16528 constraints 5301 constraints of type 82 constraints of type 3944 constraints of type 7201 constraints of type Presolving Time: 4.62 time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.0s| 1 | 0 | 1982 | 53M| 0 | 240 |2789 | 16k| 16k|2789 | 16k| 0 | 0 | 0 | 7.919267e+04 | -- | Inf 12.6s| 1 | 0 | 3936 | 53M| 0 | 283 |2789 | 16k| 16k|2789 | 16k| 43 | 0 | 0 | 9.624479e+04 | -- | Inf 14.6s| 1 | 0 | 4027 | 53M| 0 | 276 |2789 | 16k| 16k|2789 | 16k| 57 | 0 | 0 | 9.624529e+04 | -- | Inf 16.5s| 1 | 0 | 4057 | 53M| 0 | 288 |2789 | 16k| 16k|2789 | 16k| 62 | 0 | 0 | 9.624582e+04 | -- | Inf 18.8s| 1 | 0 | 4088 | 53M| 0 | 287 |2789 | 16k| 16k|2789 | 16k| 66 | 0 | 0 | 9.624600e+04 | -- | Inf 20.2s| 1 | 0 | 4089 | 53M| 0 | 286 |2789 | 16k| 16k|2789 | 16k| 67 | 0 | 0 | 9.624600e+04 | -- | Inf 22.2s| 1 | 0 | 4102 | 53M| 0 | 286 |2789 | 16k| 16k|2789 | 16k| 69 | 0 | 0 | 9.624606e+04 | -- | Inf 33.2s| 1 | 2 | 4102 | 53M| 0 | 286 |2789 | 16k| 16k|2789 | 16k| 69 | 0 | 26 | 9.624606e+04 | -- | Inf 161s| 100 | 69 | 72512 | 54M| 31 | 237 |2789 | 16k| 14k|2789 | 16k| 69 | 15 | 236 | 9.625378e+04 | -- | Inf 348s| 200 | 133 |230310 | 54M| 31 | 212 |2789 | 16k| 13k|2789 | 16k| 69 | 59 | 317 | 9.625706e+04 | -- | Inf 477s| 300 | 223 |333177 | 55M| 33 | 196 |2789 | 16k| 11k|2789 | 16k| 69 | 77 | 337 | 9.630175e+04 | -- | Inf 636s| 400 | 295 |444787 | 56M| 33 | 198 |2789 | 16k| 13k|2789 | 16k| 69 | 80 | 399 | 9.630175e+04 | -- | Inf 807s| 500 | 373 |600593 | 56M| 45 | 114 |2789 | 16k|8479 |2789 | 16k| 69 | 102 | 430 | 9.641109e+04 | -- | Inf 826s| 600 | 447 |609471 | 57M| 61 | 122 |2789 | 16k|8109 |2789 | 16k| 69 | 111 | 440 | 9.641109e+04 | -- | Inf 890s| 700 | 517 |653661 | 58M| 61 | 186 |2789 | 16k| 12k|2789 | 16k| 69 | 113 | 460 | 9.642889e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 963s| 800 | 575 |704857 | 58M| 61 | 137 |2789 | 16k|8208 |2789 | 16k| 69 | 126 | 480 | 9.642889e+04 | -- | Inf 1004s| 900 | 609 |730417 | 58M| 61 | 157 |2789 | 16k| 12k|2789 | 16k| 69 | 202 | 499 | 9.642889e+04 | -- | Inf 1103s| 1000 | 675 |791855 | 59M| 61 | 239 |2789 | 16k| 11k|2789 | 16k| 69 | 229 | 518 | 9.644634e+04 | -- | Inf 1185s| 1100 | 751 |844388 | 60M| 61 | 162 |2789 | 16k| 13k|2789 | 16k| 69 | 232 | 555 | 9.644634e+04 | -- | Inf 1247s| 1200 | 819 |883042 | 60M| 61 | 144 |2789 | 16k| 11k|2789 | 16k| 69 | 250 | 573 | 9.644634e+04 | -- | Inf 1324s| 1300 | 871 |923229 | 60M| 61 | 149 |2789 | 16k| 12k|2789 | 16k| 69 | 285 | 591 | 9.644634e+04 | -- | Inf 1391s| 1400 | 937 |962860 | 61M| 61 | 172 |2789 | 16k| 10k|2789 | 16k| 69 | 300 | 623 | 9.644634e+04 | -- | Inf 1508s| 1500 | 1007 | 1045k| 61M| 61 | 139 |2789 | 16k| 11k|2789 | 16k| 69 | 302 | 669 | 9.644634e+04 | -- | Inf 1605s| 1600 | 1085 | 1108k| 62M| 61 | 218 |2789 | 16k| 14k|2789 | 16k| 69 | 302 | 705 | 9.645980e+04 | -- | Inf 1822s| 1700 | 1141 | 1252k| 63M| 61 | 227 |2789 | 16k| 12k|2789 | 16k| 69 | 305 | 806 | 9.645980e+04 | -- | Inf 2026s| 1800 | 1209 | 1387k| 63M| 61 | 259 |2789 | 16k| 12k|2789 | 16k| 69 | 320 | 860 | 9.647575e+04 | -- | Inf 2269s| 1900 | 1273 | 1563k| 64M| 61 | 262 |2789 | 16k| 12k|2789 | 16k| 69 | 333 | 990 | 9.651633e+04 | -- | Inf 2398s| 2000 | 1345 | 1664k| 64M| 61 | 210 |2789 | 16k| 11k|2789 | 16k| 69 | 343 |1017 | 9.710788e+04 | -- | Inf 2540s| 2100 | 1385 | 1768k| 65M| 61 | 236 |2789 | 16k| 11k|2789 | 16k| 69 | 350 |1094 | 9.710788e+04 | -- | Inf 2618s| 2200 | 1445 | 1819k| 65M| 61 | - |2789 | 16k| 11k|2789 | 16k| 69 | 371 |1129 | 9.727048e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2699s| 2300 | 1509 | 1861k| 66M| 61 | 186 |2789 | 16k| 10k|2789 | 16k| 69 | 398 |1154 | 9.736589e+04 | -- | Inf 2748s| 2400 | 1583 | 1891k| 66M| 61 | 225 |2789 | 16k| 12k|2789 | 16k| 69 | 402 |1175 | 9.740152e+04 | -- | Inf 2945s| 2500 | 1631 | 2031k| 67M| 61 | 185 |2789 | 16k| 11k|2789 | 16k| 69 | 413 |1237 | 9.740590e+04 | -- | Inf 3130s| 2600 | 1693 | 2160k| 67M| 61 | 164 |2789 | 16k| 12k|2789 | 16k| 69 | 422 |1346 | 9.750194e+04 | -- | Inf 3208s| 2700 | 1769 | 2224k| 68M| 61 | - |2789 | 16k| 11k|2789 | 16k| 69 | 444 |1361 | 9.750194e+04 | -- | Inf 3376s| 2800 | 1811 | 2369k| 68M| 61 | 186 |2789 | 16k| 11k|2789 | 16k| 69 | 504 |1387 | 9.795496e+04 | -- | Inf 3502s| 2900 | 1859 | 2461k| 69M| 61 | - |2789 | 17k| 10k|2789 | 16k| 69 | 511 |1406 | 9.795496e+04 | -- | Inf 3675s| 3000 | 1919 | 2601k| 69M| 61 | - |2789 | 17k| 11k|2789 | 16k| 69 | 526 |1450 | 9.839412e+04 | -- | Inf 3856s| 3100 | 1963 | 2742k| 69M| 61 | 183 |2789 | 17k| 10k|2789 | 16k| 69 | 544 |1506 | 9.839412e+04 | -- | Inf 3973s| 3200 | 2033 | 2818k| 70M| 61 | - |2789 | 17k| 11k|2789 | 16k| 69 | 560 |1547 | 9.839412e+04 | -- | Inf 4097s| 3300 | 2079 | 2906k| 70M| 61 | 148 |2789 | 17k| 13k|2789 | 16k| 69 | 586 |1602 | 9.839412e+04 | -- | Inf 4170s| 3400 | 2135 | 2965k| 71M| 61 | 148 |2789 | 17k| 12k|2789 | 16k| 69 | 590 |1617 | 9.839412e+04 | -- | Inf 4222s| 3500 | 2211 | 3005k| 72M| 61 | 88 |2789 | 17k|8918 |2789 | 16k| 69 | 602 |1629 | 9.839412e+04 | -- | Inf 4274s| 3600 | 2291 | 3032k| 72M| 61 | 92 |2789 | 17k|8490 |2789 | 16k| 69 | 613 |1657 | 9.839412e+04 | -- | Inf 4339s| 3700 | 2361 | 3063k| 73M| 61 | 162 |2789 | 17k| 11k|2789 | 16k| 69 | 628 |1718 | 9.839412e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4402s| 3800 | 2423 | 3114k| 73M| 61 | 247 |2789 | 17k| 11k|2789 | 16k| 69 | 635 |1737 | 9.840900e+04 | -- | Inf 4486s| 3900 | 2497 | 3183k| 74M| 61 | 182 |2789 | 17k| 11k|2789 | 16k| 69 | 644 |1740 | 9.840900e+04 | -- | Inf 4554s| 4000 | 2565 | 3234k| 74M| 61 | 155 |2789 | 17k| 10k|2789 | 16k| 69 | 652 |1750 | 9.840906e+04 | -- | Inf 4629s| 4100 | 2625 | 3284k| 75M| 61 | - |2789 | 17k| 11k|2789 | 16k| 69 | 662 |1781 | 9.840906e+04 | -- | Inf 4745s| 4200 | 2701 | 3372k| 75M| 61 | 169 |2789 | 17k|9058 |2789 | 16k| 69 | 676 |1825 | 9.841093e+04 | -- | Inf 4862s| 4300 | 2775 | 3457k| 76M| 61 | 164 |2789 | 17k| 11k|2789 | 16k| 69 | 678 |1880 | 9.841946e+04 | -- | Inf 4922s| 4400 | 2825 | 3499k| 76M| 61 | 72 |2789 | 17k|8869 |2789 | 16k| 69 | 686 |1904 | 9.841946e+04 | -- | Inf 4973s| 4500 | 2863 | 3534k| 77M| 61 | 105 |2789 | 17k| 10k|2789 | 16k| 69 | 699 |1922 | 9.841962e+04 | -- | Inf 5024s| 4600 | 2927 | 3571k| 77M| 61 | 118 |2789 | 17k|7784 |2789 | 16k| 69 | 709 |1957 | 9.841962e+04 | -- | Inf 5093s| 4700 | 2975 | 3618k| 78M| 61 | 156 |2789 | 17k| 10k|2789 | 16k| 69 | 728 |1978 | 9.841962e+04 | -- | Inf 5161s| 4800 | 3001 | 3662k| 78M| 61 | 170 |2789 | 17k| 12k|2789 | 16k| 69 | 749 |2012 | 9.848514e+04 | -- | Inf 5198s| 4900 | 3053 | 3685k| 79M| 61 | 134 |2789 | 17k|9560 |2789 | 16k| 69 | 767 |2018 | 9.848514e+04 | -- | Inf 5272s| 5000 | 3109 | 3728k| 79M| 61 | 160 |2789 | 17k| 12k|2789 | 16k| 69 | 778 |2049 | 9.848606e+04 | -- | Inf 5308s| 5100 | 3175 | 3752k| 80M| 61 | 180 |2789 | 17k| 13k|2789 | 16k| 69 | 792 |2058 | 9.848606e+04 | -- | Inf 5369s| 5200 | 3239 | 3796k| 80M| 61 | 167 |2789 | 17k| 13k|2789 | 16k| 69 | 798 |2085 | 9.849572e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5442s| 5300 | 3277 | 3856k| 81M| 61 | - |2789 | 17k| 10k|2789 | 16k| 69 | 819 |2114 | 9.851862e+04 | -- | Inf 5549s| 5400 | 3327 | 3943k| 81M| 61 | 185 |2789 | 17k| 12k|2789 | 16k| 69 | 836 |2144 | 9.869305e+04 | -- | Inf 5643s| 5500 | 3377 | 3998k| 82M| 61 | 187 |2789 | 17k| 11k|2789 | 16k| 69 | 853 |2201 | 9.869837e+04 | -- | Inf 5717s| 5600 | 3439 | 4053k| 82M| 61 | 225 |2789 | 17k| 13k|2789 | 16k| 69 | 872 |2211 | 9.870184e+04 | -- | Inf 5801s| 5700 | 3501 | 4120k| 83M| 61 | 195 |2789 | 17k| 11k|2789 | 16k| 69 | 879 |2225 | 9.870184e+04 | -- | Inf 5842s| 5800 | 3569 | 4146k| 83M| 61 | 182 |2789 | 17k| 12k|2789 | 16k| 69 | 892 |2234 | 9.874836e+04 | -- | Inf 5903s| 5900 | 3629 | 4191k| 84M| 61 | 173 |2789 | 17k| 11k|2789 | 16k| 69 | 912 |2242 | 9.885348e+04 | -- | Inf 5988s| 6000 | 3685 | 4257k| 84M| 61 | 177 |2789 | 17k| 13k|2789 | 16k| 69 | 920 |2249 | 9.946451e+04 | -- | Inf 6057s| 6100 | 3741 | 4302k| 85M| 61 | - |2789 | 17k| 13k|2789 | 16k| 69 | 937 |2267 | 9.947439e+04 | -- | Inf 6109s| 6200 | 3803 | 4338k| 85M| 61 | 248 |2789 | 17k| 10k|2789 | 16k| 69 | 947 |2271 | 9.947439e+04 | -- | Inf 6181s| 6300 | 3859 | 4395k| 85M| 61 | 218 |2789 | 17k| 13k|2789 | 16k| 69 | 971 |2295 | 9.947439e+04 | -- | Inf 6252s| 6400 | 3913 | 4445k| 86M| 61 | 183 |2789 | 17k| 13k|2789 | 16k| 69 | 981 |2297 | 9.947617e+04 | -- | Inf 6383s| 6500 | 3957 | 4549k| 86M| 61 | 208 |2789 | 17k| 13k|2789 | 16k| 69 |1013 |2298 | 9.947617e+04 | -- | Inf 6475s| 6600 | 4005 | 4622k| 87M| 61 | 242 |2789 | 17k| 13k|2789 | 16k| 69 |1023 |2319 | 9.947617e+04 | -- | Inf 6556s| 6700 | 4059 | 4678k| 87M| 61 | - |2789 | 17k| 13k| 0 | 0 | 69 |1036 |2346 | 9.947617e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 6694s| 6800 | 4117 | 4787k| 88M| 61 | 211 |2789 | 17k| 11k|2789 | 16k| 69 |1066 |2385 | 9.947617e+04 | -- | Inf 6760s| 6900 | 4175 | 4829k| 88M| 61 | 169 |2789 | 17k| 11k|2789 | 16k| 69 |1079 |2412 | 9.947617e+04 | -- | Inf 6859s| 7000 | 4219 | 4897k| 89M| 61 | - |2789 | 17k| 12k| 0 | 0 | 69 |1100 |2462 | 9.947617e+04 | -- | Inf 6943s| 7100 | 4263 | 4956k| 89M| 61 | - |2789 | 17k| 11k|2789 | 16k| 69 |1128 |2490 | 9.947617e+04 | -- | Inf 7054s| 7200 | 4315 | 5026k| 90M| 61 | 205 |2789 | 17k| 12k|2789 | 16k| 69 |1138 |2541 | 9.949671e+04 | -- | Inf 7186s| 7300 | 4371 | 5126k| 90M| 61 | 238 |2789 | 17k| 12k|2789 | 16k| 69 |1145 |2595 | 9.949671e+04 | -- | Inf Command terminated by signal 9 7189.21user 11.24system 2:00:49elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 9632inputs+616outputs (0major+3869398minor)pagefaults 0swaps