SCIP version 1.00 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: CPLEX 11.11] Copyright (c) 2002-2007 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) reading user parameter file read problem ============ original problem has 19846 variables (19846 bin, 0 int, 0 impl, 0 cont) and 18329 constraints solve problem ============= ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 presolving: (round 1) 13 del vars, 97 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2526 impls, 2039 clqs (round 2) 13 del vars, 97 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 17440 upgd conss, 2526 impls, 2039 clqs (20.9s) probing: 1000/19833 (5.0%) - 0 fixings, 0 aggregations, 67631 implications, 0 bound changes (22.0s) probing: 2000/19833 (10.1%) - 0 fixings, 0 aggregations, 120505 implications, 0 bound changes (22.0s) probing: 2001/19833 (10.1%) - 0 fixings, 0 aggregations, 120578 implications, 0 bound changes (22.0s) probing aborted: 2000/2000 successive useless probings presolving (3 rounds): 13 deleted vars, 97 deleted constraints, 2 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 243682 implications, 2039 cliques presolved problem has 19833 variables (19833 bin, 0 int, 0 impl, 0 cont) and 18232 constraints 1700 constraints of type 2039 constraints of type 792 constraints of type 13701 constraints of type transformed objective value is always integral (scale: 1) Presolving Time: 21.95 time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 22.7s| 1 | 0 | 2482 | 81M| 0 |1123 | 19k| 18k| 18k| 19k| 18k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 60.4s| 1 | 0 | 8061 | 82M| 0 |1198 | 19k| 18k| 18k| 19k| 18k| 601 | 0 | 0 | 0.000000e+00 | -- | Inf 113s| 1 | 0 | 16672 | 83M| 0 |1356 | 19k| 18k| 18k| 19k| 19k|1079 | 0 | 0 | 0.000000e+00 | -- | Inf 176s| 1 | 0 | 27082 | 84M| 0 |1534 | 19k| 18k| 18k| 19k| 19k|1464 | 0 | 0 | 0.000000e+00 | -- | Inf 256s| 1 | 0 | 39893 | 85M| 0 |1596 | 19k| 18k| 18k| 19k| 20k|1815 | 0 | 0 | 0.000000e+00 | -- | Inf 344s| 1 | 0 | 54930 | 86M| 0 |1511 | 19k| 18k| 18k| 19k| 20k|2148 | 0 | 0 | 0.000000e+00 | -- | Inf 419s| 1 | 0 | 69377 | 87M| 0 |1597 | 19k| 18k| 18k| 19k| 20k|2477 | 0 | 0 | 0.000000e+00 | -- | Inf 461s| 1 | 2 | 79744 | 88M| 0 |1597 | 19k| 18k| 18k| 19k| 20k|2477 | 0 | 17 | 0.000000e+00 | -- | Inf 2069s| 100 | 101 |494111 | 93M| 22 | 834 | 19k| 18k| 17k| 19k| 18k|2477 | 368 | 518 | 0.000000e+00 | -- | Inf 2333s| 200 | 193 |519632 | 94M| 96 | 266 | 19k| 18k| 13k| 19k| 18k|2477 | 535 | 550 | 0.000000e+00 | -- | Inf 2336s| 300 | 252 |523996 | 95M| 141 | 142 | 19k| 18k| 10k| 19k| 18k|2477 | 574 | 566 | 0.000000e+00 | -- | Inf 2337s| 400 | 345 |525526 | 96M| 219 | 85 | 19k| 18k|9221 | 19k| 18k|2477 | 598 | 566 | 0.000000e+00 | -- | Inf 2339s| 500 | 304 |527863 | 96M| 230 | 127 | 19k| 18k|9966 | 19k| 18k|2477 | 638 | 582 | 0.000000e+00 | -- | Inf 2375s| 600 | 131 |546489 | 93M| 230 | 573 | 19k| 18k| 17k| 19k| 18k|2477 | 662 | 642 | 0.000000e+00 | -- | Inf 2378s| 700 | 229 |551057 | 95M| 230 | 211 | 19k| 18k| 12k| 19k| 18k|2477 | 672 | 657 | 0.000000e+00 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2380s| 800 | 320 |553131 | 96M| 230 | 128 | 19k| 18k| 10k| 19k| 18k|2477 | 698 | 673 | 0.000000e+00 | -- | Inf 2382s| 900 | 393 |555472 | 97M| 230 | 164 | 19k| 18k| 11k| 19k| 18k|2477 | 731 | 673 | 0.000000e+00 | -- | Inf 2383s| 1000 | 468 |557279 | 98M| 238 | 74 | 19k| 18k|9962 | 19k| 18k|2477 | 760 | 689 | 0.000000e+00 | -- | Inf 2554s| 1100 | 504 |632041 | 98M| 266 | 757 | 19k| 18k| 16k| 19k| 18k|2477 | 894 | 923 | 0.000000e+00 | -- | Inf 2596s| 1200 | 415 |659459 | 98M| 266 | 135 | 19k| 19k| 12k| 19k| 18k|2477 |1127 | 998 | 0.000000e+00 | -- | Inf 2597s| 1300 | 468 |661918 | 99M| 266 | - | 19k| 19k|9779 | 0 | 0 |2477 |1233 | 998 | 0.000000e+00 | -- | Inf 2600s| 1400 | 505 |666014 | 99M| 266 | 189 | 19k| 19k| 12k| 19k| 18k|2477 |1281 |1013 | 0.000000e+00 | -- | Inf 2603s| 1500 | 570 |670232 | 100M| 266 | 74 | 19k| 19k|8932 | 19k| 18k|2477 |1399 |1029 | 0.000000e+00 | -- | Inf 2604s| 1600 | 592 |672650 | 101M| 266 | 45 | 19k| 19k|8267 | 19k| 18k|2477 |1468 |1029 | 0.000000e+00 | -- | Inf *2605s| 1653 | 0 |673467 | 94M| 266 | - | 19k| 19k|6993 | 19k| 18k|2477 |1478 |1039 | 0.000000e+00 | 0.000000e+00 | 0.00% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 2605.19 Solving Nodes : 1653 Primal Bound : +0.00000000000000e+00 (1 solutions) Dual Bound : +0.00000000000000e+00 Gap : 0.00 % primal solution: ================ objective value: 0 x59 1 (obj:0) x63 1 (obj:0) x83 1 (obj:0) x87 1 (obj:0) x417 1 (obj:0) x425 1 (obj:0) x427 1 (obj:0) x430 1 (obj:0) x452 1 (obj:0) x453 1 (obj:0) x462 1 (obj:0) x472 1 (obj:0) x735 1 (obj:0) x736 1 (obj:0) x748 1 (obj:0) x751 1 (obj:0) x981 1 (obj:0) x987 1 (obj:0) x992 1 (obj:0) x993 1 (obj:0) x1096 1 (obj:0) x1102 1 (obj:0) x1112 1 (obj:0) x1115 1 (obj:0) x1332 1 (obj:0) x1339 1 (obj:0) x1347 1 (obj:0) x1352 1 (obj:0) x1646 1 (obj:0) x1647 1 (obj:0) x1662 1 (obj:0) x1667 1 (obj:0) x2048 1 (obj:0) x2060 1 (obj:0) x2066 1 (obj:0) x2069 1 (obj:0) x2236 1 (obj:0) x2238 1 (obj:0) x2246 1 (obj:0) x2249 1 (obj:0) x2393 1 (obj:0) x2396 1 (obj:0) x2400 1 (obj:0) x2405 1 (obj:0) x2613 1 (obj:0) x2616 1 (obj:0) x2628 1 (obj:0) x2632 1 (obj:0) x2851 1 (obj:0) x2854 1 (obj:0) x2855 1 (obj:0) x2863 1 (obj:0) x2934 1 (obj:0) x2942 1 (obj:0) x2954 1 (obj:0) x2955 1 (obj:0) x3246 1 (obj:0) x3256 1 (obj:0) x3257 1 (obj:0) x3259 1 (obj:0) x3388 1 (obj:0) x3389 1 (obj:0) x3394 1 (obj:0) x3411 1 (obj:0) x3628 1 (obj:0) x3632 1 (obj:0) x3633 1 (obj:0) x3639 1 (obj:0) x3842 1 (obj:0) x3843 1 (obj:0) x3849 1 (obj:0) x3862 1 (obj:0) x4027 1 (obj:0) x4033 1 (obj:0) x4045 1 (obj:0) x4048 1 (obj:0) x4207 1 (obj:0) x4208 1 (obj:0) x4221 1 (obj:0) x4223 1 (obj:0) x4597 1 (obj:0) x4598 1 (obj:0) x4603 1 (obj:0) x4616 1 (obj:0) x4908 1 (obj:0) x4913 1 (obj:0) x4918 1 (obj:0) x4925 1 (obj:0) x5243 1 (obj:0) x5268 1 (obj:0) x5276 1 (obj:0) x5278 1 (obj:0) x5336 1 (obj:0) x5337 1 (obj:0) x5339 1 (obj:0) x5348 1 (obj:0) x5777 1 (obj:0) x5780 1 (obj:0) x5784 1 (obj:0) x5788 1 (obj:0) x6075 1 (obj:0) x6088 1 (obj:0) x6093 1 (obj:0) x6104 1 (obj:0) x6217 1 (obj:0) x6220 1 (obj:0) x6231 1 (obj:0) x6233 1 (obj:0) x6480 1 (obj:0) x6483 1 (obj:0) x6489 1 (obj:0) x6491 1 (obj:0) x6651 1 (obj:0) x6655 1 (obj:0) x6657 1 (obj:0) x6663 1 (obj:0) x6844 1 (obj:0) x6865 1 (obj:0) x6866 1 (obj:0) x6867 1 (obj:0) x7025 1 (obj:0) x7028 1 (obj:0) x7038 1 (obj:0) x7044 1 (obj:0) x7268 1 (obj:0) x7269 1 (obj:0) x7288 1 (obj:0) x7289 1 (obj:0) x7490 1 (obj:0) x7495 1 (obj:0) x7499 1 (obj:0) x7500 1 (obj:0) x7667 1 (obj:0) x7687 1 (obj:0) x7688 1 (obj:0) x7695 1 (obj:0) x8077 1 (obj:0) x8080 1 (obj:0) x8081 1 (obj:0) x8082 1 (obj:0) x8405 1 (obj:0) x8411 1 (obj:0) x8412 1 (obj:0) x8425 1 (obj:0) x8492 1 (obj:0) x8502 1 (obj:0) x8505 1 (obj:0) x8513 1 (obj:0) x8882 1 (obj:0) x8885 1 (obj:0) x8886 1 (obj:0) x8895 1 (obj:0) x9173 1 (obj:0) x9180 1 (obj:0) x9191 1 (obj:0) x9201 1 (obj:0) x9267 1 (obj:0) x9268 1 (obj:0) x9288 1 (obj:0) x9291 1 (obj:0) x9623 1 (obj:0) x9624 1 (obj:0) x9638 1 (obj:0) x9641 1 (obj:0) x9728 1 (obj:0) x9737 1 (obj:0) x9744 1 (obj:0) x9747 1 (obj:0) x9964 1 (obj:0) x9969 1 (obj:0) x9975 1 (obj:0) x9979 1 (obj:0) x10156 1 (obj:0) x10162 1 (obj:0) x10170 1 (obj:0) x10179 1 (obj:0) x10542 1 (obj:0) x10543 1 (obj:0) x10555 1 (obj:0) x10560 1 (obj:0) x10605 1 (obj:0) x10606 1 (obj:0) x10611 1 (obj:0) x10613 1 (obj:0) x10980 1 (obj:0) x10989 1 (obj:0) x10990 1 (obj:0) x11004 1 (obj:0) x11210 1 (obj:0) x11211 1 (obj:0) x11218 1 (obj:0) x11223 1 (obj:0) x11382 1 (obj:0) x11383 1 (obj:0) x11394 1 (obj:0) x11405 1 (obj:0) x11690 1 (obj:0) x11693 1 (obj:0) x11705 1 (obj:0) x11708 1 (obj:0) x11808 1 (obj:0) x11809 1 (obj:0) x11835 1 (obj:0) x11840 1 (obj:0) x12169 1 (obj:0) x12170 1 (obj:0) x12180 1 (obj:0) x12183 1 (obj:0) x12462 1 (obj:0) x12463 1 (obj:0) x12475 1 (obj:0) x12480 1 (obj:0) x12713 1 (obj:0) x12714 1 (obj:0) x12717 1 (obj:0) x12726 1 (obj:0) x12868 1 (obj:0) x12873 1 (obj:0) x12878 1 (obj:0) x12888 1 (obj:0) x13181 1 (obj:0) x13191 1 (obj:0) x13194 1 (obj:0) x13196 1 (obj:0) x13305 1 (obj:0) x13311 1 (obj:0) x13315 1 (obj:0) x13316 1 (obj:0) x13334 1 (obj:0) x13355 1 (obj:0) x13356 1 (obj:0) x13358 1 (obj:0) x13710 1 (obj:0) x13723 1 (obj:0) x13724 1 (obj:0) x13726 1 (obj:0) x13992 1 (obj:0) x13994 1 (obj:0) x14011 1 (obj:0) x14012 1 (obj:0) x14140 1 (obj:0) x14144 1 (obj:0) x14164 1 (obj:0) x14168 1 (obj:0) x14212 1 (obj:0) x14220 1 (obj:0) x14222 1 (obj:0) x14225 1 (obj:0) x14289 1 (obj:0) x14290 1 (obj:0) x14299 1 (obj:0) x14309 1 (obj:0) x14337 1 (obj:0) x14338 1 (obj:0) x14350 1 (obj:0) x14353 1 (obj:0) x14363 1 (obj:0) x14369 1 (obj:0) x14374 1 (obj:0) x14375 1 (obj:0) x14428 1 (obj:0) x14434 1 (obj:0) x14444 1 (obj:0) x14447 1 (obj:0) x14593 1 (obj:0) x14600 1 (obj:0) x14608 1 (obj:0) x14613 1 (obj:0) x14620 1 (obj:0) x14621 1 (obj:0) x14636 1 (obj:0) x14641 1 (obj:0) x14782 1 (obj:0) x14794 1 (obj:0) x14800 1 (obj:0) x14803 1 (obj:0) x14856 1 (obj:0) x14858 1 (obj:0) x14866 1 (obj:0) x14869 1 (obj:0) x14916 1 (obj:0) x14919 1 (obj:0) x14923 1 (obj:0) x14928 1 (obj:0) x14980 1 (obj:0) x14983 1 (obj:0) x14995 1 (obj:0) x14999 1 (obj:0) x15073 1 (obj:0) x15076 1 (obj:0) x15077 1 (obj:0) x15085 1 (obj:0) x15148 1 (obj:0) x15156 1 (obj:0) x15168 1 (obj:0) x15169 1 (obj:0) x15275 1 (obj:0) x15285 1 (obj:0) x15286 1 (obj:0) x15288 1 (obj:0) x15346 1 (obj:0) x15347 1 (obj:0) x15352 1 (obj:0) x15369 1 (obj:0) x15451 1 (obj:0) x15455 1 (obj:0) x15456 1 (obj:0) x15462 1 (obj:0) x15510 1 (obj:0) x15511 1 (obj:0) x15517 1 (obj:0) x15530 1 (obj:0) x15603 1 (obj:0) x15609 1 (obj:0) x15621 1 (obj:0) x15624 1 (obj:0) x15658 1 (obj:0) x15659 1 (obj:0) x15672 1 (obj:0) x15674 1 (obj:0) x15758 1 (obj:0) x15759 1 (obj:0) x15764 1 (obj:0) x15777 1 (obj:0) x15838 1 (obj:0) x15843 1 (obj:0) x15848 1 (obj:0) x15855 1 (obj:0) x15936 1 (obj:0) x15961 1 (obj:0) x15969 1 (obj:0) x15971 1 (obj:0) x16058 1 (obj:0) x16059 1 (obj:0) x16061 1 (obj:0) x16070 1 (obj:0) x16189 1 (obj:0) x16192 1 (obj:0) x16196 1 (obj:0) x16200 1 (obj:0) x16303 1 (obj:0) x16316 1 (obj:0) x16321 1 (obj:0) x16332 1 (obj:0) x16421 1 (obj:0) x16424 1 (obj:0) x16435 1 (obj:0) x16437 1 (obj:0) x16495 1 (obj:0) x16498 1 (obj:0) x16504 1 (obj:0) x16506 1 (obj:0) x16600 1 (obj:0) x16604 1 (obj:0) x16606 1 (obj:0) x16612 1 (obj:0) x16719 1 (obj:0) x16740 1 (obj:0) x16741 1 (obj:0) x16742 1 (obj:0) x16765 1 (obj:0) x16768 1 (obj:0) x16778 1 (obj:0) x16784 1 (obj:0) x16833 1 (obj:0) x16834 1 (obj:0) x16853 1 (obj:0) x16854 1 (obj:0) x16887 1 (obj:0) x16892 1 (obj:0) x16896 1 (obj:0) x16897 1 (obj:0) x17019 1 (obj:0) x17039 1 (obj:0) x17040 1 (obj:0) x17047 1 (obj:0) x17063 1 (obj:0) x17066 1 (obj:0) x17067 1 (obj:0) x17068 1 (obj:0) x17174 1 (obj:0) x17180 1 (obj:0) x17181 1 (obj:0) x17194 1 (obj:0) x17289 1 (obj:0) x17299 1 (obj:0) x17302 1 (obj:0) x17310 1 (obj:0) x17322 1 (obj:0) x17325 1 (obj:0) x17326 1 (obj:0) x17335 1 (obj:0) x17425 1 (obj:0) x17432 1 (obj:0) x17443 1 (obj:0) x17453 1 (obj:0) x17609 1 (obj:0) x17610 1 (obj:0) x17630 1 (obj:0) x17633 1 (obj:0) x17636 1 (obj:0) x17637 1 (obj:0) x17651 1 (obj:0) x17654 1 (obj:0) x17699 1 (obj:0) x17708 1 (obj:0) x17715 1 (obj:0) x17718 1 (obj:0) x17743 1 (obj:0) x17748 1 (obj:0) x17754 1 (obj:0) x17758 1 (obj:0) x17783 1 (obj:0) x17789 1 (obj:0) x17797 1 (obj:0) x17806 1 (obj:0) x17894 1 (obj:0) x17895 1 (obj:0) x17907 1 (obj:0) x17912 1 (obj:0) x17957 1 (obj:0) x17958 1 (obj:0) x17963 1 (obj:0) x17965 1 (obj:0) x18113 1 (obj:0) x18122 1 (obj:0) x18123 1 (obj:0) x18137 1 (obj:0) x18165 1 (obj:0) x18166 1 (obj:0) x18173 1 (obj:0) x18178 1 (obj:0) x18197 1 (obj:0) x18198 1 (obj:0) x18209 1 (obj:0) x18220 1 (obj:0) x18330 1 (obj:0) x18333 1 (obj:0) x18345 1 (obj:0) x18348 1 (obj:0) x18382 1 (obj:0) x18383 1 (obj:0) x18409 1 (obj:0) x18414 1 (obj:0) x18462 1 (obj:0) x18463 1 (obj:0) x18473 1 (obj:0) x18476 1 (obj:0) x18564 1 (obj:0) x18565 1 (obj:0) x18577 1 (obj:0) x18582 1 (obj:0) x18756 1 (obj:0) x18757 1 (obj:0) x18760 1 (obj:0) x18769 1 (obj:0) x18859 1 (obj:0) x18864 1 (obj:0) x18869 1 (obj:0) x18879 1 (obj:0) x18952 1 (obj:0) x18962 1 (obj:0) x18965 1 (obj:0) x18967 1 (obj:0) x19008 1 (obj:0) x19014 1 (obj:0) x19018 1 (obj:0) x19019 1 (obj:0) x19067 1 (obj:0) x19088 1 (obj:0) x19089 1 (obj:0) x19091 1 (obj:0) x19154 1 (obj:0) x19167 1 (obj:0) x19168 1 (obj:0) x19170 1 (obj:0) x19317 1 (obj:0) x19319 1 (obj:0) x19336 1 (obj:0) x19337 1 (obj:0) x19338 1 (obj:0) x19356 1 (obj:0) x19369 1 (obj:0) x19390 1 (obj:0) x19410 1 (obj:0) x19415 1 (obj:0) x19445 1 (obj:0) x19452 1 (obj:0) x19474 1 (obj:0) x19487 1 (obj:0) x19513 1 (obj:0) x19536 1 (obj:0) x19541 1 (obj:0) x19568 1 (obj:0) x19586 1 (obj:0) x19597 1 (obj:0) x19619 1 (obj:0) x19627 1 (obj:0) x19649 1 (obj:0) x19671 1 (obj:0) x19692 1 (obj:0) x19702 1 (obj:0) x19713 1 (obj:0) x19719 1 (obj:0) x19732 1 (obj:0) x19770 1 (obj:0) x19781 1 (obj:0) x19800 1 (obj:0) x19825 1 (obj:0) x19845 1 (obj:0) Statistics ========== SCIP Status : problem is solved [optimal solution found] Solving Time : 2605.19 Original Problem : Problem name : neos808444 Variables : 19846 (19846 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 18329 initial, 18329 maximal Presolved Problem : Problem name : t_neos808444 Variables : 19833 (19833 binary, 0 integer, 0 implicit integer, 0 continuous) Constraints : 18232 initial, 19324 maximal Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs trivial : 0.00 0 0 0 0 0 0 0 0 inttobinary : 0.00 0 0 0 0 0 0 0 0 dualfix : 0.00 0 0 0 0 0 0 0 0 implics : 0.01 0 0 0 0 0 0 0 0 probing : 2.25 0 0 0 0 0 0 0 0 knapsack : 0.34 0 0 0 0 0 0 0 0 setppc : 0.02 0 0 0 0 0 0 0 0 linear : 19.28 2 11 0 2 0 97 0 0 logicor : 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 1528 0 0 7 0 0 3048 knapsack : 1700 6 24830 1 0 21 5083 209 0 0 setppc : 2039 6 24809 1 0 167 42156 0 0 0 linear : 792 6 24642 1 0 30 274798 0 0 0 logicor : 13701+ 6 10165 1 0 17 35879 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 443.19 0.00 0.00 443.19 0.00 knapsack : 1.34 0.01 1.33 0.00 0.00 setppc : 1.51 0.00 1.51 0.00 0.00 linear : 1.22 0.01 1.21 0.00 0.00 logicor : 0.26 0.01 0.25 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.00 0 0 0 pseudoobj : 0.03 17005 0 0 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.08 235 235 2191 81.0 46 34.8 - infeasible LP : 0.36 58 58 656 92.3 17 10.2 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 : - - - 1478 64.4 - - - applied locally : - - - 0 0.0 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.00 5 - - 95 - (maximal pool size: 3389) redcost : 1.88 1533 0 0 0 0 impliedbounds : 0.00 6 0 0 1424 0 intobj : 0.00 0 0 0 0 0 gomory : 150.39 6 0 0 1873 0 strongcg : 129.36 6 0 0 2125 0 cmir : 5.53 6 0 0 0 0 flowcover : 9.30 6 0 0 1204 0 clique : 0.33 6 0 0 42 0 Pricers : Time Calls Vars problem variables: 0.00 0 0 Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children relpscost : 443.18 1527 0 7 0 0 3048 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 intshifting : 0.00 0 0 feaspump : 25.08 2 0 objpscostdiving : 1033.41 2 0 rootsoldiving : 12.10 2 0 fracdiving : 50.47 4 0 linesearchdiving : 50.99 4 0 veclendiving : 53.86 4 0 pscostdiving : 73.09 4 0 coefdiving : 73.92 7 0 simplerounding : 0.00 0 0 rounding : 0.71 506 0 shifting : 1.25 121 0 fixandinfer : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 octane : 0.00 0 0 rins : 0.00 0 0 localbranching : 0.00 0 0 mutation : 0.00 0 0 rens : 0.28 1 0 LP : Time Calls Iterations Iter/call Iter/sec primal LP : 5.01 0 0 0.00 0.00 dual LP : 449.48 1568 383511 244.59 853.23 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 1320.30 8081 289956 35.88 219.61 strong branching : 443.05 1039 310188 298.54 700.12 (at root node) : - 17 17000 1000.00 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 1653 nodes (total) : 1653 nodes left : 0 max depth : 266 max depth (total): 266 backtracks : 117 (7.1%) delayed cutoffs : 792 repropagations : 2673 (4120 domain reductions, 35 cutoffs) avg switch length: 6.17 switching time : 5.75 Solution : Solutions found : 1 (1 improvements) Primal Bound : +0.00000000000000e+00 (in run 1, after 1653 nodes, 2605.16 seconds, depth 217, found by ) Dual Bound : +0.00000000000000e+00 Gap : 0.00 % Root Dual Bound : +0.00000000000000e+00 2605.75user 19.60system 43:45.20elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+200outputs (0major+1956482minor)pagefaults 0swaps