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 24656 variables (24645 bin, 0 int, 0 impl, 11 cont) and 4875 constraints solve problem ============= ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 presolving: (round 1) 62 del vars, 108 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 100 impls, 0 clqs (round 2) 62 del vars, 179 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 100 impls, 0 clqs (round 3) 69 del vars, 180 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 100 impls, 0 clqs (round 4) 70 del vars, 181 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 100 impls, 0 clqs (round 5) 72 del vars, 182 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 100 impls, 0 clqs (round 6) 73 del vars, 183 del conss, 51 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 100 impls, 0 clqs (round 7) 73 del vars, 466 del conss, 51 chg bounds, 223 chg sides, 0 chg coeffs, 4349 upgd conss, 100 impls, 0 clqs (round 8) 90 del vars, 478 del conss, 51 chg bounds, 223 chg sides, 0 chg coeffs, 4349 upgd conss, 100 impls, 0 clqs (round 9) 93 del vars, 482 del conss, 51 chg bounds, 223 chg sides, 0 chg coeffs, 4381 upgd conss, 100 impls, 0 clqs (round 10) 100 del vars, 488 del conss, 51 chg bounds, 223 chg sides, 0 chg coeffs, 4397 upgd conss, 100 impls, 0 clqs (2.0s) probing: 101/24556 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes (2.0s) probing aborted: 100/100 successive totally useless probings presolving (11 rounds): 100 deleted vars, 488 deleted constraints, 51 tightened bounds, 0 added holes, 223 changed sides, 0 changed coefficients 100 implications, 0 cliques presolved problem has 24556 variables (24556 bin, 0 int, 0 impl, 0 cont) and 4387 constraints 1 constraints of type 4386 constraints of type transformed objective value is always integral (scale: 1) Presolving Time: 1.87 time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 57.8s| 1 | 0 | 60005 | 63M| 0 |2560 | 24k|4387 |4387 | 24k|4387 | 0 | 0 | 0 | 1.509719e+03 | -- | Inf R58.1s| 1 | 0 | 60005 | 64M| 0 |2560 | 24k|4387 |4387 | 24k|4387 | 0 | 0 | 0 | 1.509719e+03 | 4.456000e+03 | 195.15% s58.4s| 1 | 0 | 60005 | 64M| 0 |2560 | 24k|4387 |4387 | 24k|4387 | 0 | 0 | 0 | 1.509719e+03 | 4.455000e+03 | 195.09% k58.4s| 1 | 0 | 60005 | 65M| 0 |2560 | 24k|4387 |4387 | 24k|4387 | 0 | 0 | 0 | 1.509719e+03 | 1.778000e+03 | 17.77% E 341s| 1 | 0 | 60005 | 65M| 0 |2560 | 24k|4387 |4387 | 24k|4387 | 0 | 0 | 0 | 1.509719e+03 | 1.569000e+03 | 3.93% 341s| 1 | 0 | 60005 | 65M| 0 |2560 | 24k|4387 |4387 | 24k|4387 | 0 | 0 | 0 | 1.509719e+03 | 1.569000e+03 | 3.93% 341s| 1 | 2 | 60005 | 65M| 0 |2560 | 24k|4387 |4387 | 24k|4387 | 0 | 0 | 0 | 1.509719e+03 | 1.569000e+03 | 3.93% SCIP Status : solving was interrupted [solution limit reached] Solving Time (sec) : 341.48 Solving Nodes : 1 Primal Bound : +1.56900000000000e+03 (4 solutions) Dual Bound : +1.50971856105381e+03 Gap : 3.93 % primal solution: ================ objective value: 1569 X481 1 (obj:2) X523 1 (obj:1) X555 1 (obj:2) X641 1 (obj:1) X671 1 (obj:2) X1029 1 (obj:1) X1379 1 (obj:2) X2159 1 (obj:1) X2937 1 (obj:1) X6337 1 (obj:2) X6369 1 (obj:1) X6640 1 (obj:1) X6986 1 (obj:1) X7801 1 (obj:2) X9037 1 (obj:2) X9232 1 (obj:1) X9715 1 (obj:1) X10124 1 (obj:1) X11384 1 (obj:1) X12498 1 (obj:1) X13470 1 (obj:1) X13755 1 (obj:2) X13767 1 (obj:2) X13773 1 (obj:2) X13774 1 (obj:1) X13928 1 (obj:1) X14243 1 (obj:2) X14633 1 (obj:1) X15119 1 (obj:1) X15309 1 (obj:2) X17556 1 (obj:1) X18522 1 (obj:1) X18585 1 (obj:2) X18869 1 (obj:1) X20110 1 (obj:1) X21074 1 (obj:1) X21096 1 (obj:1) X21112 1 (obj:1) X21264 1 (obj:1) X21286 1 (obj:1) X21344 1 (obj:2) X21421 1 (obj:1) X21772 1 (obj:2) X21961 1 (obj:2) X21963 1 (obj:2) X21968 1 (obj:2) X22128 1 (obj:2) X22621 1 (obj:2) X23024 1 (obj:2) X23197 1 (obj:2) X23651 1 (obj:2) X23811 1 (obj:1) X23837 1 (obj:2) X24253 1 (obj:2) X24307 1 (obj:1) X24499 1 (obj:2) X25337 1 (obj:1) X25368 1 (obj:2) X25449 1 (obj:2) X25587 1 (obj:1) X25735 1 (obj:1) X25736 1 (obj:1) X25746 1 (obj:2) X25749 1 (obj:2) X25750 1 (obj:2) X25755 1 (obj:2) X25767 1 (obj:1) X25781 1 (obj:1) X25791 1 (obj:1) X25878 1 (obj:1) X25904 1 (obj:2) X25940 1 (obj:1) X25943 1 (obj:2) X31315 1 (obj:2) X32486 1 (obj:1) X33384 1 (obj:1) X33930 1 (obj:2) X33954 1 (obj:1) X40090 1 (obj:1) X41290 1 (obj:2) X42200 1 (obj:2) X43004 1 (obj:2) X45406 1 (obj:2) X47866 1 (obj:2) X49043 1 (obj:2) X52504 1 (obj:1) X53831 1 (obj:1) X55406 1 (obj:1) X55566 1 (obj:1) X56751 1 (obj:2) X57241 1 (obj:1) X57512 1 (obj:1) X59077 1 (obj:1) X59268 1 (obj:2) X59305 1 (obj:1) X61756 1 (obj:1) X64036 1 (obj:2) X67898 1 (obj:2) X69194 1 (obj:2) X73308 1 (obj:2) X76369 1 (obj:2) X76923 1 (obj:1) X77215 1 (obj:1) X77673 1 (obj:1) X77835 1 (obj:1) X78082 1 (obj:1) X82667 1 (obj:1) X83479 1 (obj:1) X92810 1 (obj:1) X96131 1 (obj:1) X101705 1 (obj:2) X106082 1 (obj:1) X108112 1 (obj:2) X108457 1 (obj:2) X108631 1 (obj:1) X109032 1 (obj:1) X109593 1 (obj:1) X109834 1 (obj:1) X111051 1 (obj:2) X111293 1 (obj:1) X111483 1 (obj:1) X114776 1 (obj:2) X116077 1 (obj:1) X118012 1 (obj:1) X119723 1 (obj:1) X121795 1 (obj:1) X124660 1 (obj:2) X126161 1 (obj:1) X126357 1 (obj:1) X127165 1 (obj:2) X127436 1 (obj:2) X128727 1 (obj:1) X129547 1 (obj:1) X130578 1 (obj:1) X130734 1 (obj:1) X131449 1 (obj:2) X131651 1 (obj:2) X134640 1 (obj:2) X134753 1 (obj:2) X135063 1 (obj:2) X135372 1 (obj:1) X136013 1 (obj:2) X137371 1 (obj:1) X139755 1 (obj:1) X141897 1 (obj:1) X142750 1 (obj:1) X143361 1 (obj:2) X144802 1 (obj:1) X146945 1 (obj:1) X147229 1 (obj:1) X147273 1 (obj:1) X148493 1 (obj:2) X148513 1 (obj:1) X148631 1 (obj:1) X148699 1 (obj:2) X148729 1 (obj:1) X149300 1 (obj:1) X149638 1 (obj:1) X149970 1 (obj:1) X149991 1 (obj:1) X150209 1 (obj:2) X150421 1 (obj:2) X150522 1 (obj:2) X151125 1 (obj:1) X151149 1 (obj:2) X151722 1 (obj:2) X153517 1 (obj:1) X154866 1 (obj:2) X154947 1 (obj:1) X158662 1 (obj:1) X158749 1 (obj:1) X159309 1 (obj:1) X160694 1 (obj:2) X161531 1 (obj:1) X165217 1 (obj:1) X165323 1 (obj:1) X165737 1 (obj:1) X166508 1 (obj:1) X166728 1 (obj:1) X166993 1 (obj:1) X167193 1 (obj:1) X167900 1 (obj:2) X168948 1 (obj:2) X170205 1 (obj:2) X171396 1 (obj:1) X172152 1 (obj:2) X172358 1 (obj:2) X173543 1 (obj:2) X175807 1 (obj:1) X181007 1 (obj:1) X183924 1 (obj:2) X184374 1 (obj:1) X184613 1 (obj:1) X185690 1 (obj:1) X188703 1 (obj:1) X188805 1 (obj:1) X188811 1 (obj:2) X188853 1 (obj:2) X188884 1 (obj:2) X188955 1 (obj:1) X189632 1 (obj:2) X190185 1 (obj:2) X190221 1 (obj:2) X192626 1 (obj:2) X193215 1 (obj:2) X194014 1 (obj:1) X194109 1 (obj:1) X194146 1 (obj:2) X194170 1 (obj:1) X194177 1 (obj:2) X194231 1 (obj:1) X194234 1 (obj:1) X194237 1 (obj:1) X194241 1 (obj:1) X194244 1 (obj:1) X194252 1 (obj:1) X194255 1 (obj:1) X194283 1 (obj:2) X194288 1 (obj:1) X194342 1 (obj:1) X194431 1 (obj:2) X194442 1 (obj:1) X194665 1 (obj:1) X194688 1 (obj:1) X194710 1 (obj:1) X194760 1 (obj:2) X195112 1 (obj:1) X195373 1 (obj:1) X195389 1 (obj:1) X195523 1 (obj:2) X195811 1 (obj:2) X195847 1 (obj:1) X195986 1 (obj:1) X196305 1 (obj:1) X196308 1 (obj:1) X197337 1 (obj:2) X200606 1 (obj:1) X201007 1 (obj:2) X202440 1 (obj:1) X208601 1 (obj:1) X217712 1 (obj:2) X218177 1 (obj:2) X218756 1 (obj:2) X218775 1 (obj:2) X221064 1 (obj:2) X223267 1 (obj:1) X225676 1 (obj:2) X232912 1 (obj:1) X234697 1 (obj:1) X238086 1 (obj:2) X239547 1 (obj:2) X239575 1 (obj:1) X239609 1 (obj:1) X239751 1 (obj:2) X239902 1 (obj:2) X239960 1 (obj:1) X240354 1 (obj:1) X240409 1 (obj:2) X240441 1 (obj:2) X240453 1 (obj:1) X240655 1 (obj:1) X243753 1 (obj:1) X243863 1 (obj:1) X244142 1 (obj:2) X266434 1 (obj:1) X278185 1 (obj:2) X279775 1 (obj:1) X279957 1 (obj:1) X280431 1 (obj:2) X280679 1 (obj:2) X281280 1 (obj:1) X281404 1 (obj:2) X281554 1 (obj:1) X281577 1 (obj:2) X281585 1 (obj:1) X291010 1 (obj:1) X291114 1 (obj:1) X308364 1 (obj:2) X312842 1 (obj:1) X313150 1 (obj:1) X313779 1 (obj:1) X323500 1 (obj:1) X345292 1 (obj:2) X347079 1 (obj:1) X352790 1 (obj:1) X371943 1 (obj:1) X410159 1 (obj:1) X417558 1 (obj:1) X440865 1 (obj:1) X446299 1 (obj:1) X480476 1 (obj:1) X495151 1 (obj:1) X503094 1 (obj:2) X505158 1 (obj:1) X512314 1 (obj:1) X520535 1 (obj:1) X564872 1 (obj:2) X578511 1 (obj:1) X580875 1 (obj:1) X589266 1 (obj:1) X596491 1 (obj:1) X598213 1 (obj:1) X599818 1 (obj:1) X600779 1 (obj:1) X605031 1 (obj:1) X608872 1 (obj:2) X616115 1 (obj:1) X616124 1 (obj:1) X623291 1 (obj:1) X631025 1 (obj:1) X645771 1 (obj:1) X649450 1 (obj:1) X657206 1 (obj:2) X657617 1 (obj:2) X658644 1 (obj:1) X658846 1 (obj:1) X659365 1 (obj:1) X667905 1 (obj:2) X669733 1 (obj:2) X678035 1 (obj:1) X679815 1 (obj:2) X681073 1 (obj:2) X683268 1 (obj:2) X684519 1 (obj:1) X685879 1 (obj:2) X688106 1 (obj:2) X688458 1 (obj:2) X688914 1 (obj:2) X688940 1 (obj:1) X688954 1 (obj:2) X689079 1 (obj:2) X689127 1 (obj:2) X689193 1 (obj:2) X689208 1 (obj:2) X690489 1 (obj:1) X690649 1 (obj:1) X691160 1 (obj:2) X694739 1 (obj:1) X697554 1 (obj:1) X697775 1 (obj:2) X698479 1 (obj:2) X699718 1 (obj:2) X699888 1 (obj:2) X699961 1 (obj:2) X700143 1 (obj:2) X700292 1 (obj:1) X700454 1 (obj:1) X700468 1 (obj:1) X700611 1 (obj:1) X700870 1 (obj:2) X701027 1 (obj:1) X701797 1 (obj:2) X702124 1 (obj:2) X702619 1 (obj:2) X702939 1 (obj:2) X704211 1 (obj:1) X704212 1 (obj:1) X704435 1 (obj:1) X704478 1 (obj:1) X705134 1 (obj:2) X706961 1 (obj:2) X711141 1 (obj:2) X719495 1 (obj:1) X721876 1 (obj:1) X722121 1 (obj:1) X733007 1 (obj:1) X738405 1 (obj:2) X749044 1 (obj:2) X752342 1 (obj:1) X756686 1 (obj:2) X761706 1 (obj:1) X762156 1 (obj:1) X764005 1 (obj:1) X764043 1 (obj:2) X764107 1 (obj:1) X764270 1 (obj:2) X765931 1 (obj:1) X770561 1 (obj:2) X778243 1 (obj:2) X780601 1 (obj:1) X790279 1 (obj:1) X790473 1 (obj:2) X791454 1 (obj:1) X791814 1 (obj:1) X798037 1 (obj:2) X799391 1 (obj:1) X799561 1 (obj:1) X800963 1 (obj:2) X801990 1 (obj:1) X802438 1 (obj:1) X804050 1 (obj:1) X806497 1 (obj:1) X807073 1 (obj:2) X807205 1 (obj:1) X808353 1 (obj:1) X813424 1 (obj:2) X814061 1 (obj:1) X817239 1 (obj:1) X818623 1 (obj:1) X819640 1 (obj:2) X819704 1 (obj:1) X821270 1 (obj:2) X822151 1 (obj:2) X822193 1 (obj:2) X822747 1 (obj:1) X822922 1 (obj:1) X822964 1 (obj:1) X823002 1 (obj:2) X823023 1 (obj:2) X823032 1 (obj:1) X823113 1 (obj:2) X823208 1 (obj:2) X823210 1 (obj:1) X823283 1 (obj:2) X823367 1 (obj:2) X824431 1 (obj:1) X824995 1 (obj:2) X825551 1 (obj:2) X825740 1 (obj:2) X827444 1 (obj:1) X828060 1 (obj:2) X828178 1 (obj:1) X828371 1 (obj:2) X828694 1 (obj:2) X829681 1 (obj:2) X829706 1 (obj:1) X830995 1 (obj:2) X831079 1 (obj:2) X831157 1 (obj:1) X831587 1 (obj:2) X831825 1 (obj:2) X832138 1 (obj:2) X832630 1 (obj:1) X832845 1 (obj:2) X833025 1 (obj:2) X833556 1 (obj:2) X834968 1 (obj:1) X835216 1 (obj:2) X836226 1 (obj:2) X836425 1 (obj:1) X836500 1 (obj:1) X836697 1 (obj:2) X836798 1 (obj:2) X837333 1 (obj:2) X837503 1 (obj:1) X837713 1 (obj:2) X838022 1 (obj:2) X838391 1 (obj:2) X838858 1 (obj:2) X838914 1 (obj:1) X839097 1 (obj:1) X839207 1 (obj:1) X839334 1 (obj:1) X839493 1 (obj:1) X839888 1 (obj:1) X839917 1 (obj:2) X840151 1 (obj:1) X840269 1 (obj:2) X840306 1 (obj:2) X840616 1 (obj:1) X840674 1 (obj:2) X840830 1 (obj:2) X840921 1 (obj:2) X840946 1 (obj:2) X841345 1 (obj:2) X842037 1 (obj:1) X842457 1 (obj:1) X842603 1 (obj:1) X842754 1 (obj:2) X842892 1 (obj:1) X842955 1 (obj:2) X843049 1 (obj:1) X843135 1 (obj:2) X843161 1 (obj:1) X843642 1 (obj:2) X845013 1 (obj:1) X845466 1 (obj:1) X845629 1 (obj:2) X845790 1 (obj:1) X845850 1 (obj:1) X846738 1 (obj:2) X847203 1 (obj:1) X847425 1 (obj:2) X848223 1 (obj:1) X851436 1 (obj:2) X852236 1 (obj:2) X852424 1 (obj:2) X852627 1 (obj:2) X852858 1 (obj:1) X852887 1 (obj:1) X852960 1 (obj:2) X853111 1 (obj:2) X853169 1 (obj:1) X853240 1 (obj:1) X853434 1 (obj:2) X853497 1 (obj:2) X853611 1 (obj:2) X853956 1 (obj:1) X853998 1 (obj:1) X854135 1 (obj:1) X854221 1 (obj:1) X854279 1 (obj:1) X854363 1 (obj:1) X854378 1 (obj:2) X854446 1 (obj:1) X854503 1 (obj:1) X854529 1 (obj:1) X854556 1 (obj:1) X854594 1 (obj:2) X854640 1 (obj:1) X854735 1 (obj:1) X854897 1 (obj:2) X855080 1 (obj:2) X855346 1 (obj:1) X855411 1 (obj:2) X855448 1 (obj:1) X856607 1 (obj:2) X856804 1 (obj:2) X856816 1 (obj:2) X856869 1 (obj:1) X856870 1 (obj:1) X856969 1 (obj:1) X857069 1 (obj:2) X857071 1 (obj:1) X857100 1 (obj:1) X857158 1 (obj:2) X857454 1 (obj:1) X857646 1 (obj:1) X857831 1 (obj:1) X857837 1 (obj:2) X857924 1 (obj:2) X857935 1 (obj:1) X858018 1 (obj:2) X858162 1 (obj:2) X858708 1 (obj:2) X859007 1 (obj:2) X860376 1 (obj:1) X865086 1 (obj:2) X865206 1 (obj:2) X865277 1 (obj:1) X865427 1 (obj:2) X865588 1 (obj:2) X865859 1 (obj:2) X865915 1 (obj:2) X865924 1 (obj:2) X866400 1 (obj:2) X866494 1 (obj:1) X866753 1 (obj:1) X867743 1 (obj:1) X867752 1 (obj:1) X867965 1 (obj:2) X869116 1 (obj:1) X870371 1 (obj:2) X870642 1 (obj:2) X870650 1 (obj:2) X870823 1 (obj:2) X870923 1 (obj:2) X871014 1 (obj:1) X871382 1 (obj:2) X871384 1 (obj:2) X871797 1 (obj:1) X872133 1 (obj:1) X872658 1 (obj:1) X872960 1 (obj:2) X873302 1 (obj:1) X873587 1 (obj:1) X874017 1 (obj:2) X874142 1 (obj:2) X874171 1 (obj:1) X874385 1 (obj:1) X874894 1 (obj:2) X875122 1 (obj:1) X875172 1 (obj:1) X875326 1 (obj:1) X875998 1 (obj:1) X876088 1 (obj:2) X876270 1 (obj:1) X876272 1 (obj:2) X877294 1 (obj:2) X877793 1 (obj:1) X877814 1 (obj:1) X877915 1 (obj:2) X878755 1 (obj:1) X878897 1 (obj:1) X878919 1 (obj:1) X879154 1 (obj:1) X879290 1 (obj:2) X880433 1 (obj:2) X880558 1 (obj:2) X880853 1 (obj:1) X881943 1 (obj:2) X882019 1 (obj:1) X882208 1 (obj:1) X882251 1 (obj:2) X882458 1 (obj:1) X882622 1 (obj:1) X882831 1 (obj:1) X882853 1 (obj:1) X882892 1 (obj:1) X882972 1 (obj:1) X883019 1 (obj:1) X883097 1 (obj:2) X883290 1 (obj:2) X883323 1 (obj:1) X883328 1 (obj:1) X883415 1 (obj:2) X883575 1 (obj:1) X883882 1 (obj:2) X884170 1 (obj:2) X884283 1 (obj:1) X884361 1 (obj:2) X884482 1 (obj:2) X884550 1 (obj:1) X884553 1 (obj:1) X884564 1 (obj:2) X884723 1 (obj:1) X885138 1 (obj:2) X885409 1 (obj:1) X885422 1 (obj:1) X885510 1 (obj:2) X885899 1 (obj:2) X885940 1 (obj:2) X886148 1 (obj:2) X886253 1 (obj:2) X886298 1 (obj:2) X886299 1 (obj:2) X886302 1 (obj:2) X886402 1 (obj:1) X886744 1 (obj:2) X886752 1 (obj:1) X886777 1 (obj:2) X887084 1 (obj:2) X887093 1 (obj:2) X887120 1 (obj:1) X887167 1 (obj:1) X887196 1 (obj:2) X887274 1 (obj:1) X887442 1 (obj:2) X887661 1 (obj:1) X887807 1 (obj:2) X887820 1 (obj:2) X887856 1 (obj:1) X887974 1 (obj:2) X888011 1 (obj:2) X888019 1 (obj:1) X888101 1 (obj:2) X888654 1 (obj:2) X888670 1 (obj:2) X888684 1 (obj:2) X888689 1 (obj:2) X888697 1 (obj:2) X888733 1 (obj:1) X888782 1 (obj:2) X888789 1 (obj:2) X888797 1 (obj:2) X888817 1 (obj:2) X888985 1 (obj:2) X889132 1 (obj:1) X889137 1 (obj:1) X889138 1 (obj:2) X889172 1 (obj:1) X889178 1 (obj:2) X889199 1 (obj:1) X889262 1 (obj:1) X889296 1 (obj:1) X889379 1 (obj:1) X889437 1 (obj:2) X889444 1 (obj:2) X889475 1 (obj:2) X889482 1 (obj:1) X889483 1 (obj:1) X889485 1 (obj:2) X889506 1 (obj:2) X889509 1 (obj:1) X889511 1 (obj:1) X889522 1 (obj:1) X889523 1 (obj:1) X889542 1 (obj:1) X889575 1 (obj:1) X889580 1 (obj:1) X889640 1 (obj:1) X889748 1 (obj:2) X889770 1 (obj:1) X889781 1 (obj:1) X889849 1 (obj:1) X889885 1 (obj:2) X889889 1 (obj:1) X889951 1 (obj:2) X889971 1 (obj:1) X890085 1 (obj:2) X890556 1 (obj:2) X890559 1 (obj:2) X890660 1 (obj:2) X890766 1 (obj:2) X890822 1 (obj:2) X890864 1 (obj:2) X891027 1 (obj:2) X891061 1 (obj:1) X891075 1 (obj:2) X891081 1 (obj:2) X891358 1 (obj:2) X891371 1 (obj:1) X891444 1 (obj:1) X891509 1 (obj:2) X891801 1 (obj:1) X891875 1 (obj:2) X892058 1 (obj:1) X892406 1 (obj:2) X892639 1 (obj:2) X892694 1 (obj:2) X892746 1 (obj:2) X893271 1 (obj:2) X893484 1 (obj:2) X894445 1 (obj:1) X894669 1 (obj:1) X894673 1 (obj:2) X894757 1 (obj:2) X894806 1 (obj:1) X895271 1 (obj:2) X895275 1 (obj:2) X895351 1 (obj:1) X895352 1 (obj:1) X895623 1 (obj:1) X895663 1 (obj:1) X895867 1 (obj:2) X895877 1 (obj:2) X895899 1 (obj:2) X895943 1 (obj:2) X895962 1 (obj:2) X895969 1 (obj:1) X896036 1 (obj:2) X896039 1 (obj:2) X896066 1 (obj:1) X896335 1 (obj:2) X896402 1 (obj:1) X896534 1 (obj:1) X896580 1 (obj:2) X896608 1 (obj:2) X896749 1 (obj:1) X896940 1 (obj:1) X897076 1 (obj:1) X897092 1 (obj:1) X897329 1 (obj:2) X897515 1 (obj:1) X897814 1 (obj:2) X897835 1 (obj:2) X898006 1 (obj:2) X898017 1 (obj:2) X898041 1 (obj:1) X898049 1 (obj:1) X898161 1 (obj:1) X898329 1 (obj:2) X898504 1 (obj:2) X898516 1 (obj:1) X898819 1 (obj:1) X898949 1 (obj:1) X899012 1 (obj:1) X899042 1 (obj:1) X899175 1 (obj:1) X899704 1 (obj:2) X899869 1 (obj:2) X899993 1 (obj:1) X900055 1 (obj:2) X901618 1 (obj:1) X901893 1 (obj:1) X901958 1 (obj:1) X902289 1 (obj:1) X902534 1 (obj:1) X902754 1 (obj:1) X902972 1 (obj:2) X903034 1 (obj:2) X903818 1 (obj:2) X904148 1 (obj:2) X904182 1 (obj:2) X904565 1 (obj:1) X905462 1 (obj:1) X905567 1 (obj:1) X905688 1 (obj:2) X905966 1 (obj:2) X906000 1 (obj:2) X906288 1 (obj:1) X906638 1 (obj:1) X906883 1 (obj:1) X907023 1 (obj:1) X907058 1 (obj:2) X907203 1 (obj:2) X907350 1 (obj:1) X908191 1 (obj:2) X908269 1 (obj:1) X908425 1 (obj:1) X908916 1 (obj:2) X909134 1 (obj:2) X909149 1 (obj:1) X909166 1 (obj:2) X909228 1 (obj:1) X909235 1 (obj:1) X909294 1 (obj:1) X909377 1 (obj:1) X909381 1 (obj:1) X909383 1 (obj:1) X909389 1 (obj:2) X909411 1 (obj:2) X909449 1 (obj:1) X909478 1 (obj:1) X909505 1 (obj:2) X909523 1 (obj:1) X909534 1 (obj:1) X909537 1 (obj:2) X909549 1 (obj:2) X909789 1 (obj:1) X909802 1 (obj:2) X909969 1 (obj:1) X910023 1 (obj:2) X910134 1 (obj:2) X910261 1 (obj:2) X910269 1 (obj:2) X910389 1 (obj:2) X910501 1 (obj:1) X910502 1 (obj:1) X910504 1 (obj:2) X910505 1 (obj:2) X910507 1 (obj:2) X910510 1 (obj:1) X910514 1 (obj:1) X910517 1 (obj:1) X910518 1 (obj:2) X910690 1 (obj:2) X910979 1 (obj:1) X911498 1 (obj:2) X911928 1 (obj:2) X912091 1 (obj:2) X912512 1 (obj:1) X912549 1 (obj:2) X912588 1 (obj:2) X912627 1 (obj:2) X912637 1 (obj:1) X912706 1 (obj:1) X912721 1 (obj:1) X912959 1 (obj:2) X913001 1 (obj:1) X913058 1 (obj:2) X913070 1 (obj:2) X913263 1 (obj:2) X913305 1 (obj:2) X913334 1 (obj:2) X913366 1 (obj:2) X913440 1 (obj:1) X913511 1 (obj:2) X913554 1 (obj:2) X913556 1 (obj:2) X913856 1 (obj:1) X913872 1 (obj:1) X914025 1 (obj:1) X914360 1 (obj:1) X914631 1 (obj:2) X915306 1 (obj:1) X915472 1 (obj:1) X915515 1 (obj:1) X915900 1 (obj:2) X915959 1 (obj:2) X916034 1 (obj:1) X916222 1 (obj:1) X916487 1 (obj:1) X916498 1 (obj:1) X916512 1 (obj:1) X916552 1 (obj:2) X916558 1 (obj:1) X916593 1 (obj:1) X916731 1 (obj:2) X917445 1 (obj:1) X917579 1 (obj:2) X917601 1 (obj:2) X917608 1 (obj:1) X917740 1 (obj:1) X918130 1 (obj:2) X918381 1 (obj:1) X918390 1 (obj:2) X918392 1 (obj:2) X918403 1 (obj:2) X918426 1 (obj:2) X918466 1 (obj:2) X918504 1 (obj:1) X918523 1 (obj:2) X918559 1 (obj:1) X918600 1 (obj:1) X918611 1 (obj:2) X918664 1 (obj:1) X918686 1 (obj:1) X918723 1 (obj:2) X918729 1 (obj:1) X918740 1 (obj:2) X918748 1 (obj:2) X918841 1 (obj:1) X918870 1 (obj:2) X918887 1 (obj:2) X918889 1 (obj:2) X918894 1 (obj:1) X918964 1 (obj:1) X919005 1 (obj:1) X919017 1 (obj:2) X919033 1 (obj:2) X919143 1 (obj:2) X919155 1 (obj:1) X919197 1 (obj:1) X919211 1 (obj:2) X919273 1 (obj:2) X919302 1 (obj:2) X919339 1 (obj:1) X919340 1 (obj:2) X919359 1 (obj:1) X919366 1 (obj:2) X919430 1 (obj:1) X919448 1 (obj:2) X919464 1 (obj:2) X919472 1 (obj:1) X919488 1 (obj:2) X919625 1 (obj:2) X919874 1 (obj:1) X919993 1 (obj:1) X920018 1 (obj:2) X920091 1 (obj:2) X920137 1 (obj:1) X920138 1 (obj:2) X920185 1 (obj:2) X920232 1 (obj:1) X920246 1 (obj:1) X920297 1 (obj:2) X920340 1 (obj:2) X920342 1 (obj:2) X920348 1 (obj:1) X920415 1 (obj:1) X920416 1 (obj:2) X920435 1 (obj:2) X920475 1 (obj:1) X920503 1 (obj:1) X920507 1 (obj:2) X920626 1 (obj:2) X921025 1 (obj:2) X921640 1 (obj:2) X921859 1 (obj:2) X922000 1 (obj:2) X922235 1 (obj:2) X922431 1 (obj:1) X922776 1 (obj:1) X922891 1 (obj:2) X923083 1 (obj:1) X923209 1 (obj:2) X923879 1 (obj:1) X924716 1 (obj:2) X924719 1 (obj:1) X924736 1 (obj:1) X924745 1 (obj:2) X924750 1 (obj:1) X925879 1 (obj:1) X928735 1 (obj:1) X936274 1 (obj:2) X937363 1 (obj:2) X939158 1 (obj:2) X944567 1 (obj:1) X946431 1 (obj:1) X947177 1 (obj:2) X947701 1 (obj:1) X949926 1 (obj:2) X950009 1 (obj:1) X964417 1 (obj:1) X964461 1 (obj:2) X965099 1 (obj:2) X965511 1 (obj:1) X965585 1 (obj:1) X965713 1 (obj:1) X965730 1 (obj:2) X965866 1 (obj:2) X965903 1 (obj:2) X965950 1 (obj:2) X965951 1 (obj:1) X965953 1 (obj:2) X965961 1 (obj:1) X965963 1 (obj:1) X965978 1 (obj:1) X966289 1 (obj:2) X966429 1 (obj:2) X966441 1 (obj:1) X966725 1 (obj:2) X966784 1 (obj:2) X966871 1 (obj:2) X966972 1 (obj:2) X967028 1 (obj:1) X967070 1 (obj:1) X967093 1 (obj:2) X967136 1 (obj:1) X967217 1 (obj:2) X967257 1 (obj:2) X967286 1 (obj:2) X967294 1 (obj:2) X967341 1 (obj:1) X967412 1 (obj:1) X967454 1 (obj:1) X967459 1 (obj:2) X967481 1 (obj:1) X967492 1 (obj:1) X967548 1 (obj:1) X967850 1 (obj:2) X967964 1 (obj:2) X968002 1 (obj:1) X968040 1 (obj:1) X968090 1 (obj:2) X968100 1 (obj:1) X968123 1 (obj:2) X968132 1 (obj:2) X968137 1 (obj:2) X968169 1 (obj:1) X968170 1 (obj:1) X968203 1 (obj:1) X968214 1 (obj:1) X968216 1 (obj:2) X968218 1 (obj:1) X968225 1 (obj:1) X968273 1 (obj:2) X968274 1 (obj:2) X968295 1 (obj:1) X968358 1 (obj:1) X968363 1 (obj:1) X968372 1 (obj:2) X968390 1 (obj:1) X968391 1 (obj:2) X968412 1 (obj:1) X968436 1 (obj:2) X968443 1 (obj:2) X968446 1 (obj:1) X968450 1 (obj:2) X968462 1 (obj:2) X968464 1 (obj:2) X968470 1 (obj:2) X968471 1 (obj:1) X968480 1 (obj:1) X968483 1 (obj:2) X968485 1 (obj:1) X968493 1 (obj:1) X968503 1 (obj:2) X968505 1 (obj:1) X968512 1 (obj:2) X968514 1 (obj:1) X968518 1 (obj:2) X968534 1 (obj:2) X968537 1 (obj:1) X968543 1 (obj:2) X968615 1 (obj:1) X968635 1 (obj:2) X968639 1 (obj:1) X968642 1 (obj:1) X968646 1 (obj:1) X968647 1 (obj:1) X968653 1 (obj:2) X968660 1 (obj:2) X968665 1 (obj:2) X968668 1 (obj:2) X968669 1 (obj:1) X968670 1 (obj:1) X968671 1 (obj:1) X968672 1 (obj:2) Statistics ========== SCIP Status : solving was interrupted [solution limit reached] Solving Time : 341.48 Original Problem : Problem name : _MPS_ Variables : 24656 (24645 binary, 0 integer, 0 implicit integer, 11 continuous) Constraints : 4875 initial, 4875 maximal Presolved Problem : Problem name : t__MPS_ Variables : 24556 (24556 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 4387 initial, 4387 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.01 0 0 0 0 0 0 0 0 dualfix : 0.01 35 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.02 0 0 0 0 0 0 0 0 probing : 0.11 0 0 0 0 0 0 0 0 knapsack : 0.21 0 0 0 0 0 0 0 0 linear : 1.35 51 14 0 51 0 478 223 0 logicor : 0.08 0 0 0 0 0 10 0 0 root node : - 0 - - 0 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 1 0 0 0 0 0 2 knapsack : 1 0 201 0 0 0 0 0 0 0 logicor : 4386 0 30 0 0 0 0 0 0 0 countsols : 0 0 0 0 0 0 0 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 0.00 0.00 0.00 0.00 0.00 knapsack : 0.00 0.00 0.00 0.00 0.00 logicor : 0.01 0.00 0.01 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 2 0 0 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.00 0 0 0 0.0 0 0.0 - infeasible LP : 0.00 0 0 0 0.0 0 0.0 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 : - - - 0 0.0 - - - applied locally : - - - 0 0.0 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.00 0 - - 0 - (maximal pool size: 0) redcost : 0.00 0 0 0 0 0 impliedbounds : 0.00 0 0 0 0 0 intobj : 0.00 0 0 0 0 0 gomory : 0.00 0 0 0 0 0 strongcg : 0.00 0 0 0 0 0 cmir : 0.00 0 0 0 0 0 flowcover : 0.00 0 0 0 0 0 clique : 0.00 0 0 0 0 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 : 0.00 1 0 0 0 0 2 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.00 - 0 pseudo solutions : 0.00 - 0 simplerounding : 0.01 1 0 rounding : 0.32 1 1 shifting : 0.32 1 1 intshifting : 0.00 0 0 oneopt : 0.02 1 1 fixandinfer : 0.00 0 0 feaspump : 0.00 0 0 coefdiving : 0.00 0 0 pscostdiving : 0.00 0 0 fracdiving : 0.00 0 0 veclendiving : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 objpscostdiving : 0.00 0 0 rootsoldiving : 0.00 0 0 linesearchdiving : 0.00 0 0 guideddiving : 0.00 0 0 octane : 0.00 0 0 rens : 283.03 1 1 rins : 0.00 0 0 localbranching : 0.00 0 0 mutation : 0.00 0 0 crossover : 0.00 0 0 dins : 0.00 0 0 LP : Time Calls Iterations Iter/call Iter/sec primal LP : 0.00 0 0 0.00 - dual LP : 55.68 1 60005 60005.00 1077.68 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 0.00 0 0 0.00 - strong branching : 0.00 0 0 0.00 - (at root node) : - 0 0 0.00 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 1 nodes (total) : 1 nodes left : 2 max depth : 0 max depth (total): 0 backtracks : 0 (0.0%) delayed cutoffs : 0 repropagations : 0 (0 domain reductions, 0 cutoffs) avg switch length: 1.00 switching time : 0.00 Solution : Solutions found : 4 (4 improvements) Primal Bound : +1.56900000000000e+03 (in run 1, after 1 nodes, 341.40 seconds, depth 0, found by ) Dual Bound : +1.50971856105381e+03 Gap : 3.93 % Root Dual Bound : +1.50971856105381e+03 342.13user 0.29system 5:51.97elapsed 97%CPU (0avgtext+0avgdata 0maxresident)k 17088inputs+176outputs (0major+58378minor)pagefaults 0swaps