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 1276 variables (436 bin, 0 int, 0 impl, 840 cont) and 956 constraints solve problem ============= ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 presolving: (round 1) 2 del vars, 0 del conss, 969 chg bounds, 0 chg sides, 326 chg coeffs, 0 upgd conss, 0 impls, 20 clqs (round 2) 2 del vars, 0 del conss, 969 chg bounds, 0 chg sides, 326 chg coeffs, 20 upgd conss, 0 impls, 20 clqs (round 3) 53 del vars, 0 del conss, 969 chg bounds, 0 chg sides, 326 chg coeffs, 20 upgd conss, 1571 impls, 20 clqs (round 4) 97 del vars, 34 del conss, 969 chg bounds, 0 chg sides, 326 chg coeffs, 20 upgd conss, 1571 impls, 20 clqs (round 5) 97 del vars, 78 del conss, 969 chg bounds, 0 chg sides, 348 chg coeffs, 20 upgd conss, 1571 impls, 20 clqs (round 6) 151 del vars, 78 del conss, 969 chg bounds, 0 chg sides, 348 chg coeffs, 20 upgd conss, 3427 impls, 20 clqs (round 7) 211 del vars, 114 del conss, 969 chg bounds, 0 chg sides, 348 chg coeffs, 20 upgd conss, 3427 impls, 20 clqs (round 8) 211 del vars, 174 del conss, 969 chg bounds, 0 chg sides, 378 chg coeffs, 20 upgd conss, 3427 impls, 20 clqs (round 9) 268 del vars, 174 del conss, 983 chg bounds, 0 chg sides, 378 chg coeffs, 20 upgd conss, 7057 impls, 20 clqs (round 10) 394 del vars, 212 del conss, 983 chg bounds, 0 chg sides, 378 chg coeffs, 20 upgd conss, 7057 impls, 20 clqs (round 11) 394 del vars, 338 del conss, 983 chg bounds, 0 chg sides, 441 chg coeffs, 20 upgd conss, 7057 impls, 20 clqs (round 12) 442 del vars, 338 del conss, 983 chg bounds, 0 chg sides, 441 chg coeffs, 20 upgd conss, 12312 impls, 20 clqs (round 13) 552 del vars, 370 del conss, 983 chg bounds, 0 chg sides, 441 chg coeffs, 20 upgd conss, 12312 impls, 20 clqs (round 14) 552 del vars, 480 del conss, 983 chg bounds, 0 chg sides, 496 chg coeffs, 20 upgd conss, 12312 impls, 20 clqs (round 15) 552 del vars, 500 del conss, 983 chg bounds, 40 chg sides, 496 chg coeffs, 20 upgd conss, 12312 impls, 20 clqs (round 16) 552 del vars, 500 del conss, 983 chg bounds, 40 chg sides, 496 chg coeffs, 40 upgd conss, 12312 impls, 20 clqs (round 17) 552 del vars, 520 del conss, 983 chg bounds, 40 chg sides, 496 chg coeffs, 40 upgd conss, 12312 impls, 20 clqs presolving (18 rounds): 552 deleted vars, 520 deleted constraints, 983 tightened bounds, 0 added holes, 40 changed sides, 496 changed coefficients 12312 implications, 20 cliques presolved problem has 724 variables (364 bin, 0 int, 0 impl, 360 cont) and 436 constraints 20 constraints of type 416 constraints of type Presolving Time: 0.26 time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.3s| 1 | 0 | 365 |4176k| 0 | 31 | 724 | 436 | 436 | 724 | 436 | 0 | 0 | 0 | 3.413360e+04 | -- | Inf 0.3s| 1 | 0 | 436 |4470k| 0 | 48 | 724 | 436 | 436 | 724 | 481 | 45 | 0 | 0 | 3.448002e+04 | -- | Inf 0.4s| 1 | 0 | 506 |4574k| 0 | 51 | 724 | 436 | 436 | 724 | 511 | 75 | 0 | 0 | 3.478725e+04 | -- | Inf 0.5s| 1 | 0 | 597 |4685k| 0 | 60 | 724 | 436 | 436 | 724 | 541 | 105 | 0 | 0 | 3.493207e+04 | -- | Inf 0.6s| 1 | 0 | 741 |4754k| 0 | 68 | 724 | 436 | 436 | 724 | 562 | 126 | 0 | 0 | 3.498072e+04 | -- | Inf 0.7s| 1 | 0 | 800 |4814k| 0 | 73 | 724 | 436 | 436 | 724 | 583 | 147 | 0 | 0 | 3.499903e+04 | -- | Inf 0.8s| 1 | 0 | 935 |4866k| 0 | 77 | 724 | 436 | 436 | 724 | 600 | 164 | 0 | 0 | 3.505181e+04 | -- | Inf 1.0s| 1 | 0 | 1031 |4911k| 0 | 79 | 724 | 436 | 436 | 724 | 616 | 180 | 0 | 0 | 3.508870e+04 | -- | Inf 1.2s| 1 | 0 | 1108 |4940k| 0 | 78 | 724 | 436 | 436 | 724 | 626 | 190 | 0 | 0 | 3.511217e+04 | -- | Inf 1.4s| 1 | 0 | 1178 |4982k| 0 | 90 | 724 | 436 | 436 | 724 | 637 | 201 | 0 | 0 | 3.513680e+04 | -- | Inf 1.6s| 1 | 0 | 1237 |5008k| 0 | 80 | 724 | 436 | 436 | 724 | 643 | 207 | 0 | 0 | 3.516136e+04 | -- | Inf 1.7s| 1 | 0 | 1280 |5016k| 0 | 86 | 724 | 436 | 436 | 724 | 639 | 215 | 0 | 0 | 3.517143e+04 | -- | Inf 1.7s| 1 | 0 | 1316 |5022k| 0 | 92 | 724 | 436 | 436 | 724 | 628 | 219 | 0 | 0 | 3.518308e+04 | -- | Inf 1.8s| 1 | 0 | 1407 |5023k| 0 | 81 | 724 | 436 | 436 | 724 | 617 | 221 | 0 | 0 | 3.520965e+04 | -- | Inf 1.8s| 1 | 0 | 1429 |5025k| 0 | 80 | 724 | 436 | 436 | 724 | 614 | 223 | 0 | 0 | 3.521069e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.3s| 1 | 2 | 3067 |5036k| 0 | 80 | 724 | 436 | 436 | 724 | 614 | 223 | 0 | 33 | 3.521069e+04 | -- | Inf 4.7s| 100 | 49 | 12008 |5138k| 23 | 60 | 724 | 488 | 469 | 724 | 539 | 223 | 71 | 858 | 3.734114e+04 | -- | Inf 5.1s| 200 | 133 | 15694 |5303k| 33 | 54 | 724 | 557 | 509 | 724 | 539 | 223 | 140 | 946 | 3.741269e+04 | -- | Inf 5.3s| 300 | 221 | 19804 |5494k| 33 | 42 | 724 | 702 | 499 | 724 | 539 | 223 | 285 | 970 | 3.742432e+04 | -- | Inf 5.6s| 400 | 297 | 22196 |5607k| 39 | 37 | 724 | 733 | 490 | 724 | 539 | 223 | 316 |1021 | 3.742447e+04 | -- | Inf 5.8s| 500 | 379 | 25283 |5727k| 39 | 27 | 724 | 755 | 548 | 724 | 539 | 223 | 338 |1034 | 3.742447e+04 | -- | Inf 6.1s| 600 | 461 | 28128 |5855k| 41 | 47 | 724 | 789 | 696 | 724 | 539 | 223 | 372 |1052 | 3.742447e+04 | -- | Inf 6.2s| 700 | 547 | 30777 |5989k| 41 | 41 | 724 | 854 | 538 | 724 | 539 | 223 | 437 |1062 | 3.742956e+04 | -- | Inf 6.4s| 800 | 616 | 33261 |6125k| 41 | - | 724 | 913 | 594 | 724 | 539 | 223 | 496 |1083 | 3.743448e+04 | -- | Inf 6.6s| 900 | 668 | 35745 |6231k| 41 | - | 724 | 959 | 604 | 724 | 539 | 223 | 542 |1108 | 3.746494e+04 | -- | Inf 6.8s| 1000 | 728 | 38438 |6348k| 41 | 27 | 724 |1013 | 594 | 724 | 539 | 223 | 596 |1126 | 3.747063e+04 | -- | Inf 6.9s| 1100 | 769 | 40089 |6501k| 41 | 31 | 724 |1069 | 545 | 724 | 539 | 223 | 652 |1146 | 3.747063e+04 | -- | Inf 7.1s| 1200 | 826 | 42418 |6644k| 41 | - | 724 |1146 | 562 | 724 | 539 | 223 | 729 |1160 | 3.748977e+04 | -- | Inf 7.2s| 1300 | 866 | 44206 |6765k| 43 | 22 | 724 |1217 | 460 | 724 | 539 | 223 | 800 |1167 | 3.748977e+04 | -- | Inf 7.3s| 1400 | 907 | 45796 |6886k| 54 | 19 | 724 |1315 | 431 | 724 | 539 | 223 | 898 |1180 | 3.748977e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 7.4s| 1500 | 938 | 47559 |7000k| 54 | - | 724 |1391 | 790 | 724 | 539 | 223 | 974 |1197 | 3.748977e+04 | -- | Inf 7.5s| 1600 | 995 | 49106 |7113k| 54 | 28 | 724 |1425 | 627 | 724 | 539 | 223 |1008 |1203 | 3.748977e+04 | -- | Inf 7.7s| 1700 | 1037 | 51000 |7228k| 54 | 35 | 724 |1466 | 655 | 724 | 539 | 223 |1049 |1214 | 3.748977e+04 | -- | Inf 7.8s| 1800 | 1084 | 52726 |7347k| 54 | 23 | 724 |1529 | 763 | 724 | 539 | 223 |1112 |1218 | 3.749690e+04 | -- | Inf 7.9s| 1900 | 1145 | 54597 |7468k| 54 | 43 | 724 |1572 |1043 | 724 | 539 | 223 |1155 |1220 | 3.750501e+04 | -- | Inf 8.0s| 2000 | 1178 | 56513 |7570k| 54 | 32 | 724 |1631 | 687 | 724 | 539 | 223 |1214 |1227 | 3.750501e+04 | -- | Inf 8.1s| 2100 | 1218 | 58152 |7667k| 54 | 33 | 724 |1684 | 730 | 724 | 539 | 223 |1267 |1233 | 3.750501e+04 | -- | Inf 8.3s| 2200 | 1261 | 59612 |7773k| 54 | - | 724 |1738 | 448 | 0 | 0 | 223 |1321 |1253 | 3.750501e+04 | -- | Inf 8.4s| 2300 | 1298 | 61845 |7879k| 54 | - | 724 |1796 |1289 | 724 | 539 | 223 |1381 |1266 | 3.750501e+04 | -- | Inf 8.6s| 2400 | 1356 | 63931 |8009k| 54 | 10 | 724 |1860 | 682 | 724 | 539 | 223 |1446 |1285 | 3.750501e+04 | -- | Inf 8.7s| 2500 | 1380 | 66070 |8105k| 54 | - | 724 |1933 | 522 | 724 | 539 | 223 |1519 |1295 | 3.750501e+04 | -- | Inf 8.8s| 2600 | 1416 | 67977 |8218k| 54 | 22 | 724 |1990 | 570 | 724 | 539 | 223 |1576 |1312 | 3.750501e+04 | -- | Inf 8.9s| 2700 | 1455 | 69305 |8314k| 57 | 14 | 724 |2049 | 471 | 724 | 539 | 223 |1638 |1328 | 3.750624e+04 | -- | Inf 9.0s| 2800 | 1488 | 70974 |8428k| 59 | - | 724 |2134 | 992 | 0 | 0 | 223 |1725 |1329 | 3.750624e+04 | -- | Inf 9.2s| 2900 | 1533 | 72576 |8554k| 59 | 16 | 724 |2194 | 923 | 724 | 539 | 223 |1788 |1342 | 3.750624e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 9.3s| 3000 | 1564 | 74448 |8658k| 59 | 36 | 724 |2267 | 711 | 724 | 539 | 223 |1866 |1350 | 3.750624e+04 | -- | Inf 9.4s| 3100 | 1592 | 75980 |8760k| 59 | 33 | 724 |2323 |1514 | 724 | 539 | 223 |1931 |1353 | 3.750762e+04 | -- | Inf 9.5s| 3200 | 1632 | 77709 |8880k| 59 | - | 724 |2383 | 639 | 724 | 539 | 223 |2001 |1359 | 3.751186e+04 | -- | Inf 9.6s| 3300 | 1685 | 79059 |9003k| 59 | - | 724 |2439 | 475 | 0 | 0 | 223 |2060 |1361 | 3.751186e+04 | -- | Inf 9.7s| 3400 | 1733 | 80687 |9112k| 59 | 24 | 724 |2482 |1140 | 724 | 539 | 223 |2115 |1361 | 3.751186e+04 | -- | Inf 9.8s| 3500 | 1771 | 82493 |9216k| 59 | 18 | 724 |2537 | 514 | 724 | 539 | 223 |2177 |1364 | 3.751186e+04 | -- | Inf 9.9s| 3600 | 1808 | 84194 |9326k| 59 | 26 | 724 |2611 | 974 | 724 | 539 | 223 |2259 |1368 | 3.751186e+04 | -- | Inf 10.1s| 3700 | 1858 | 85446 |9445k| 59 | - | 724 |2661 | 840 | 0 | 0 | 223 |2325 |1386 | 3.751284e+04 | -- | Inf 10.1s| 3800 | 1886 | 86409 |9528k| 59 | 14 | 724 |2743 | 554 | 724 | 539 | 223 |2410 |1386 | 3.751284e+04 | -- | Inf 10.2s| 3900 | 1931 | 87899 |9637k| 59 | 28 | 724 |2797 |1189 | 724 | 539 | 223 |2482 |1394 | 3.751284e+04 | -- | Inf 10.4s| 4000 | 1992 | 89388 |9766k| 59 | 21 | 724 |2845 | 668 | 724 | 539 | 223 |2542 |1408 | 3.751284e+04 | -- | Inf 10.5s| 4100 | 2046 | 90742 |9886k| 59 | - | 724 |2884 | 913 | 724 | 539 | 223 |2595 |1409 | 3.751294e+04 | -- | Inf 10.6s| 4200 | 2100 | 92092 |9996k| 59 | 24 | 724 |2921 |1206 | 724 | 539 | 223 |2654 |1412 | 3.751294e+04 | -- | Inf 10.7s| 4300 | 2143 | 93545 | 10M| 59 | 24 | 724 |2966 | 875 | 724 | 539 | 223 |2719 |1417 | 3.751294e+04 | -- | Inf 10.8s| 4400 | 2193 | 95461 | 10M| 59 | 19 | 724 |3003 |1233 | 724 | 539 | 223 |2791 |1418 | 3.751307e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 10.9s| 4500 | 2236 | 97254 | 10M| 59 | - | 724 |3029 |1303 | 724 | 539 | 223 |2863 |1418 | 3.751324e+04 | -- | Inf 11.0s| 4600 | 2274 | 98713 | 10M| 59 | - | 724 |3069 | 673 | 724 | 539 | 223 |2931 |1421 | 3.751324e+04 | -- | Inf 11.1s| 4700 | 2324 |100177 | 10M| 59 | 23 | 724 |3093 |1840 | 724 | 539 | 223 |3009 |1426 | 3.751424e+04 | -- | Inf 11.2s| 4800 | 2372 |101620 | 10M| 59 | 25 | 724 |3115 |1168 | 724 | 539 | 223 |3074 |1428 | 3.751424e+04 | -- | Inf 11.3s| 4900 | 2412 |102937 | 10M| 59 | 10 | 724 |3115 | 811 | 724 | 539 | 223 |3141 |1428 | 3.751442e+04 | -- | Inf 11.4s| 5000 | 2473 |104453 | 10M| 62 | 31 | 724 |3098 |1809 | 724 | 539 | 223 |3189 |1437 | 3.751594e+04 | -- | Inf 11.5s| 5100 | 2525 |106564 | 10M| 62 | 23 | 724 |3130 |1488 | 724 | 539 | 223 |3275 |1440 | 3.751946e+04 | -- | Inf 11.6s| 5200 | 2570 |107874 | 11M| 62 | 16 | 724 |3132 |1015 | 724 | 539 | 223 |3346 |1441 | 3.751946e+04 | -- | Inf 11.8s| 5300 | 2613 |109611 | 11M| 62 | 36 | 724 |3096 |2611 | 724 | 539 | 223 |3395 |1444 | 3.751946e+04 | -- | Inf 11.9s| 5400 | 2652 |111378 | 11M| 62 | 20 | 724 |3104 | 541 | 724 | 539 | 223 |3460 |1454 | 3.751946e+04 | -- | Inf 12.0s| 5500 | 2695 |112825 | 11M| 62 | 15 | 724 |3100 | 613 | 724 | 539 | 223 |3517 |1468 | 3.752240e+04 | -- | Inf 12.1s| 5600 | 2737 |114437 | 11M| 62 | 31 | 724 |2974 |2180 | 724 | 539 | 223 |3561 |1485 | 3.752358e+04 | -- | Inf 12.2s| 5700 | 2767 |116213 | 11M| 62 | - | 724 |2964 | 551 | 724 | 539 | 223 |3642 |1512 | 3.752358e+04 | -- | Inf 12.4s| 5800 | 2815 |117828 | 11M| 62 | 30 | 724 |2910 |1153 | 724 | 539 | 223 |3697 |1513 | 3.752358e+04 | -- | Inf 12.5s| 5900 | 2854 |119457 | 11M| 62 | 21 | 724 |2886 | 919 | 724 | 539 | 223 |3749 |1525 | 3.752358e+04 | -- | Inf time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 12.6s| 6000 | 2902 |121182 | 11M| 62 | 35 | 724 |2779 |2120 | 724 | 539 | 223 |3788 |1541 | 3.752774e+04 | -- | Inf 12.7s| 6100 | 2942 |122657 | 11M| 62 | 9 | 724 |2792 | 696 | 724 | 539 | 223 |3835 |1550 | 3.752774e+04 | -- | Inf 12.8s| 6200 | 2992 |124102 | 11M| 62 | 5 | 724 |2740 | 699 | 724 | 539 | 223 |3875 |1564 | 3.752947e+04 | -- | Inf 12.9s| 6300 | 3018 |125446 | 11M| 62 | 17 | 724 |2737 | 758 | 724 | 539 | 223 |3952 |1565 | 3.752947e+04 | -- | Inf 13.0s| 6400 | 3066 |127013 | 12M| 62 | - | 724 |2733 | 623 | 724 | 539 | 223 |3999 |1566 | 3.752947e+04 | -- | Inf 13.1s| 6500 | 3118 |128213 | 12M| 62 | 21 | 724 |2691 | 786 | 724 | 539 | 223 |4044 |1581 | 3.752947e+04 | -- | Inf 13.2s| 6600 | 3181 |130220 | 12M| 62 | 29 | 724 |2615 | 927 | 724 | 539 | 223 |4084 |1589 | 3.752947e+04 | -- | Inf 13.3s| 6700 | 3227 |131261 | 12M| 62 | 21 | 724 |2602 | 916 | 724 | 539 | 223 |4149 |1597 | 3.752947e+04 | -- | Inf 13.4s| 6800 | 3267 |132999 | 12M| 62 | - | 724 |2624 | 510 | 724 | 539 | 223 |4190 |1597 | 3.752947e+04 | -- | Inf 13.6s| 6900 | 3304 |135038 | 12M| 62 | 17 | 724 |2602 | 746 | 724 | 539 | 223 |4240 |1601 | 3.752947e+04 | -- | Inf 13.7s| 7000 | 3345 |136730 | 12M| 62 | 31 | 724 |2510 |1344 | 724 | 539 | 223 |4297 |1601 | 3.752947e+04 | -- | Inf l13.7s| 7069 | 3217 |137698 | 12M| 62 | - | 724 |2498 | 454 | 724 | 539 | 223 |4324 |1621 | 3.752947e+04 | 4.418098e+04 | 17.72% SCIP Status : solving was interrupted [solution limit reached] Solving Time (sec) : 13.73 Solving Nodes : 7069 Primal Bound : +4.41809750000000e+04 (1 solutions) Dual Bound : +3.75294719377396e+04 Gap : 17.72 % primal solution: ================ objective value: 44180.975 C0855 1 (obj:100) C0858 1 (obj:104) C0863 1 (obj:105) C0866 1 (obj:104) C0870 1 (obj:106) C0871 1 (obj:104) C0872 1 (obj:102) C0877 1 (obj:108) C0879 1 (obj:104) C0885 1 (obj:102) C0886 1 (obj:108) C0955 1 (obj:108) C0980 1 (obj:102) C1006 1 (obj:101) C1031 1 (obj:102) C1040 1 (obj:102) C1046 1 (obj:101) C1058 1 (obj:107) C1059 1 (obj:109) C1067 1 (obj:109) C1068 1 (obj:100) C1116 1 (obj:104) C1132 1 (obj:103) C1143 1 (obj:101) C1150 1 (obj:103) C1157 1 (obj:105) C1174 1 (obj:102) C1184 1 (obj:105) C1185 1 (obj:106) C1195 1 (obj:102) C1201 1 (obj:102) C1202 1 (obj:108) C1233 1 (obj:108) C1249 1 (obj:102) C1262 1 (obj:5000) C1263 1 (obj:-3500) C1264 1 (obj:-3500) C1265 1 (obj:-1200) C1266 1 (obj:-1200) C1267 1 (obj:2500) C1268 1 (obj:2500) C1269 1 (obj:2500) C1271 1 (obj:2500) C1272 1 (obj:2500) C1273 1 (obj:2500) C1274 1 (obj:2500) C1275 1 (obj:2500) C1276 1 (obj:2500) C0438 8 (obj:25.01) C0443 30 (obj:26.81) C0446 14 (obj:26.34) C0450 32 (obj:26.21) C0451 35 (obj:27.6) C0452 41 (obj:26.64) C0457 40 (obj:26.89) C0459 49 (obj:27.82) C0465 15 (obj:27.12) C0466 6 (obj:26.41) C0611 27 (obj:11.52) C0620 8 (obj:10.34) C0626 8 (obj:10.4) C0638 27 (obj:10.44) C0639 6 (obj:11.43) C0647 19 (obj:10.2) C0648 11 (obj:12.4) C0696 18 (obj:11.01) C0712 14 (obj:9.63) C0723 21 (obj:10.28) C0730 11 (obj:9.89) C0737 8 (obj:11.5) C0754 8 (obj:11) C0764 22 (obj:11.61) C0765 6 (obj:12.72) C0775 21 (obj:10.72) C0781 8 (obj:10.8) C0782 24 (obj:11) C0813 15 (obj:10.28) C0829 6 (obj:9.8) C0015 22.5 (obj:21.07) C0018 25 (obj:21.01) C0023 33 (obj:21.81) C0026 8 (obj:21.34) C0030 31 (obj:21.21) C0031 45.5 (obj:23.6) C0032 47 (obj:22.64) C0037 69 (obj:22.89) C0039 56.5 (obj:23.82) C0045 23.5 (obj:22.12) C0046 23 (obj:21.41) C0115 4.5 (obj:7.64) C0140 5.5 (obj:8.6) C0166 3 (obj:7.61) C0191 27 (obj:8.52) C0200 24 (obj:7.34) C0206 9 (obj:8.4) C0218 28 (obj:8.44) C0219 10 (obj:9.43) C0227 9 (obj:6.2) C0228 24 (obj:8.4) C0276 18 (obj:7.01) C0292 8 (obj:6.63) C0303 23 (obj:7.28) C0310 25 (obj:6.89) C0317 24 (obj:8.5) C0334 25 (obj:9) C0344 13 (obj:7.61) C0345 20 (obj:8.72) C0355 28 (obj:6.72) C0361 12 (obj:7.8) C0362 19 (obj:8) C0393 18 (obj:6.28) C0409 20 (obj:6.8) C0435 18 (obj:25.07) Statistics ========== SCIP Status : solving was interrupted [solution limit reached] Solving Time : 13.73 Original Problem : Problem name : file Variables : 1276 (436 binary, 0 integer, 0 implicit integer, 840 continuous) Constraints : 956 initial, 956 maximal Presolved Problem : Problem name : t_file Variables : 724 (364 binary, 0 integer, 0 implicit integer, 360 continuous) Constraints : 436 initial, 3143 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 2 0 0 0 0 0 0 0 implics : 0.00 0 340 0 0 0 0 0 0 probing : 0.13 210 0 0 14 0 0 0 0 setppc : 0.00 0 0 0 0 0 20 0 0 linear : 0.13 0 0 0 969 0 500 40 496 logicor : 0.00 0 0 0 0 0 0 0 0 bounddisjunction : 0.00 0 0 0 0 0 0 0 0 root node : - 8 - - 8 - - - - Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children integral : 0 0 0 5430 0 5 203 0 0 10516 setppc : 20 15 25329 0 0 69 18198 0 0 0 linear : 416 15 25267 0 0 335 185198 100 0 0 logicor : 0+ 0 8343 0 0 110 4188 0 0 0 bounddisjunction : 0+ 0 2798 0 0 0 25 0 0 0 Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS integral : 2.86 0.00 0.00 2.86 0.00 setppc : 0.02 0.00 0.02 0.00 0.00 linear : 0.92 0.02 0.90 0.00 0.00 logicor : 0.05 0.00 0.05 0.00 0.00 bounddisjunction : 0.02 0.00 0.02 0.00 0.00 Propagators : Time Calls Cutoffs DomReds rootredcost : 0.00 0 0 0 pseudoobj : 0.05 23440 0 0 Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters propagation : 0.02 444 444 3001 26.9 16 15.1 - infeasible LP : 0.21 1570 1529 12637 36.8 30 7.9 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 : - - - 4324 19.3 - - - applied locally : - - - 0 0.0 - - - Separators : Time Calls Cutoffs DomReds Cuts Conss cut pool : 0.00 14 - - 203 - (maximal pool size: 525) redcost : 0.09 5435 0 0 0 0 impliedbounds : 0.00 15 0 0 27 0 intobj : 0.00 0 0 0 0 0 gomory : 0.14 15 0 0 30 0 strongcg : 0.12 15 0 0 23 0 cmir : 0.56 10 0 0 111 0 flowcover : 0.54 10 0 0 319 0 clique : 0.00 15 0 0 31 0 Pricers : Time Calls Vars problem variables: 0.00 0 0 Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children relpscost : 2.84 5430 5 203 0 0 10516 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 oneopt : 0.01 0 0 crossover : 0.00 0 0 feaspump : 0.18 3 0 objpscostdiving : 0.14 3 0 rootsoldiving : 0.07 3 0 coefdiving : 0.13 6 0 pscostdiving : 0.05 6 0 fracdiving : 0.13 6 0 veclendiving : 0.10 6 0 simplerounding : 0.00 2 0 rounding : 0.03 986 0 shifting : 0.53 286 0 intshifting : 0.04 7 0 fixandinfer : 0.00 0 0 intdiving : 0.00 0 0 actconsdiving : 0.00 0 0 linesearchdiving : 0.05 6 1 guideddiving : 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.14 1 0 LP : Time Calls Iterations Iter/call Iter/sec primal LP : 0.05 0 0 0.00 0.00 dual LP : 5.62 6836 127352 18.63 22660.50 barrier LP : 0.00 0 0 0.00 - diving/probing LP: 0.74 1085 10346 9.54 13981.08 strong branching : 2.83 1621 114673 70.74 40520.49 (at root node) : - 33 5016 152.00 - conflict analysis: 0.00 0 0 0.00 - B&B Tree : number of runs : 1 nodes : 7069 nodes (total) : 7069 nodes left : 3217 max depth : 62 max depth (total): 62 backtracks : 361 (5.1%) delayed cutoffs : 60 repropagations : 5037 (15725 domain reductions, 59 cutoffs) avg switch length: 3.77 switching time : 0.26 Solution : Solutions found : 1 (1 improvements) Primal Bound : +4.41809750000000e+04 (in run 1, after 7069 nodes, 13.73 seconds, depth 58, found by ) Dual Bound : +3.75294719377396e+04 Gap : 17.72 % Root Dual Bound : +3.52106904587515e+04 13.74user 0.23system 0:13.98elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+64outputs (0major+10934minor)pagefaults 0swaps