Select Git revision
-
Bartke, Simon authoredBartke, Simon authored
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
note 30.50 KiB
cp -r values.txt /mnt/c/Users/Dawit\ Hailu/Desktop/analysis
cp -r first.ipynb /mnt/c/Users/Dawit\ Hailu/Desktop/analysis
April update
Yesterday, I have made wonderful steps in starting my iteration.
Solving Time (sec) : 1620420765.296008
presolving:
(round 1, fast) 890 del vars, 2295 del conss, 0 add conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6803 clqs
(round 2, fast) 1604 del vars, 2503 del conss, 0 add conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6595 clqs
(round 3, exhaustive) 1604 del vars, 2506 del conss, 0 add conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 6595 upgd conss, 0 impls, 6595 clqs
(round 4, fast) 2045 del vars, 2612 del conss, 0 add conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 6595 upgd conss, 0 impls, 6463 clqs
(round 5, fast) 2181 del vars, 2748 del conss, 0 add conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 6595 upgd conss, 0 impls, 6347 clqs
(round 6, fast) 2229 del vars, 2774 del conss, 0 add conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 6595 upgd conss, 0 impls, 6324 clqs
(round 7, fast) 2240 del vars, 2782 del conss, 0 add conss, 19 chg bounds, 0 chg sides, 0 chg coeffs, 6595 upgd conss, 0 impls, 6318 clqs
(round 8, medium) 5140 del vars, 2850 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2830 chg coeffs, 6595 upgd conss, 0 impls, 6244 clqs
(round 9, fast) 5332 del vars, 2974 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2830 chg coeffs, 6595 upgd conss, 0 impls, 6123 clqs
(round 10, fast) 5376 del vars, 3001 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2830 chg coeffs, 6595 upgd conss, 0 impls, 6094 clqs
(round 11, fast) 5392 del vars, 3016 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2830 chg coeffs, 6595 upgd conss, 0 impls, 6085 clqs
(round 12, medium) 5479 del vars, 3081 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2851 chg coeffs, 6595 upgd conss, 0 impls, 6020 clqs
(round 13, fast) 5491 del vars, 3089 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2851 chg coeffs, 6595 upgd conss, 0 impls, 6012 clqs
(round 14, fast) 5498 del vars, 3095 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2851 chg coeffs, 6595 upgd conss, 0 impls, 6006 clqs
(round 15, fast) 5504 del vars, 3100 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2851 chg coeffs, 6595 upgd conss, 0 impls, 6000 clqs
(round 16, fast) 5511 del vars, 3107 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2851 chg coeffs, 6595 upgd conss, 0 impls, 5994 clqs
(round 17, medium) 5554 del vars, 3140 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2857 chg coeffs, 6595 upgd conss, 0 impls, 5961 clqs
(round 18, medium) 5579 del vars, 3158 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2862 chg coeffs, 6595 upgd conss, 0 impls, 5943 clqs
(round 19, medium) 5600 del vars, 3175 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2864 chg coeffs, 6595 upgd conss, 0 impls, 5926 clqs
(round 20, medium) 5614 del vars, 3187 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2864 chg coeffs, 6595 upgd conss, 0 impls, 5914 clqs
(round 21, medium) 5622 del vars, 3194 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2865 chg coeffs, 6595 upgd conss, 0 impls, 5907 clqs
(round 22, medium) 5630 del vars, 3201 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2866 chg coeffs, 6595 upgd conss, 0 impls, 5900 clqs
(round 23, exhaustive) 5676 del vars, 3205 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2866 chg coeffs, 6595 upgd conss, 0 impls, 5894 clqs
(round 24, medium) 5682 del vars, 3213 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2866 chg coeffs, 6595 upgd conss, 0 impls, 5888 clqs
(round 25, medium) 5688 del vars, 3219 del conss, 0 add conss, 19 chg bounds, 2670 chg sides, 2866 chg coeffs, 6595 upgd conss, 0 impls, 5882 clqs
(14.0s) probing: 51/14908 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
(14.0s) probing aborted: 50/50 successive totally useless probings
Deactivated symmetry handling methods, since SCIP was built without symmetry detector (SYM=none).
presolving (26 rounds: 26 fast, 13 medium, 3 exhaustive):
6080 deleted vars, 3448 deleted constraints, 0 added constraints, 19 tightened bounds, 0 added holes, 2670 changed sides, 2867 changed coefficients
0 implications, 5653 cliques
presolved problem has 14522 variables (14522 bin, 0 int, 0 impl, 0 cont) and 5653 constraints
5653 constraints of type <setppc>
Presolving Time: 0.22
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
t14.1s| 1 | 0 | 0 | - | trivial| 0 | 14k|5653 | 0 | 0 | 0 | 0 | 0 |-1.093046e+08 | 2.154307e+07 | Inf | unknown
p14.4s| 1 | 0 | 0 | - | clique| 0 | 14k|5653 |5653 | 0 | 0 | 0 | 0 |-1.093046e+08 | 4.776462e+06 | Inf | unknown
p14.7s| 1 | 0 | 0 | - | vbounds| 0 | 14k|5653 |5653 | 0 | 0 | 0 | 0 |-1.093046e+08 | 1.536280e+06 | Inf | unknown
17.9s| 1 | 0 | 17339 | - | 104M | 0 | 14k|5653 |5653 | 0 | 0 | 0 | 0 | 1.522391e+06 | 1.536280e+06 | 0.91%| unknown
18.1s| 1 | 0 | 17339 | - | 106M | 0 | 14k|5653 |5644 | 0 | 0 | 0 | 0 | 1.522391e+06 | 1.536280e+06 | 0.91%| unknown
19.1s| 1 | 0 | 17531 | - | 130M | 0 | 14k|5644 |5652 | 12 | 1 | 0 | 0 | 1.522503e+06 | 1.536280e+06 | 0.90%| unknown
19.1s| 1 | 0 | 17531 | - | 130M | 0 | 14k|5644 |5649 | 12 | 1 | 0 | 0 | 1.522503e+06 | 1.536280e+06 | 0.90%| unknown
19.9s| 1 | 0 | 17659 | - | 153M | 0 | 14k|5637 |5659 | 22 | 2 | 0 | 0 | 1.522565e+06 | 1.536280e+06 | 0.90%| unknown
19.9s| 1 | 0 | 17659 | - | 154M | 0 | 14k|5637 |5658 | 22 | 2 | 0 | 0 | 1.522565e+06 | 1.536280e+06 | 0.90%| unknown
20.8s| 1 | 0 | 18117 | - | 171M | 0 | 14k|5636 |5673 | 37 | 3 | 0 | 0 | 1.522707e+06 | 1.536280e+06 | 0.89%| unknown
20.9s| 1 | 0 | 18117 | - | 171M | 0 | 14k|5636 |5672 | 37 | 3 | 0 | 0 | 1.522707e+06 | 1.536280e+06 | 0.89%| unknown
21.7s| 1 | 0 | 18399 | - | 194M | 0 | 14k|5635 |5684 | 49 | 4 | 0 | 0 | 1.522765e+06 | 1.536280e+06 | 0.89%| unknown
21.8s| 1 | 0 | 18399 | - | 195M | 0 | 14k|5635 |5684 | 49 | 4 | 0 | 0 | 1.522765e+06 | 1.536280e+06 | 0.89%| unknown
22.3s| 1 | 0 | 18528 | - | 201M | 0 | 14k|5635 |5694 | 59 | 5 | 0 | 0 | 1.522801e+06 | 1.536280e+06 | 0.89%| unknown
23.3s| 1 | 0 | 18681 | - | 232M | 0 | 14k|5635 |5701 | 66 | 6 | 0 | 0 | 1.522823e+06 | 1.536280e+06 | 0.88%| unknown
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.6s| 1 | 0 | 18832 | - | 235M | 0 | 14k|5635 |5711 | 76 | 7 | 0 | 0 | 1.522849e+06 | 1.536280e+06 | 0.88%| unknown
24.5s| 1 | 0 | 18941 | - | 256M | 0 | 14k|5635 |5717 | 82 | 8 | 0 | 0 | 1.522857e+06 | 1.536280e+06 | 0.88%| unknown
25.4s| 1 | 0 | 19002 | - | 280M | 0 | 14k|5635 |5721 | 86 | 9 | 0 | 0 | 1.522862e+06 | 1.536280e+06 | 0.88%| unknown
26.3s| 1 | 0 | 19121 | - | 303M | 0 | 14k|5635 |5725 | 90 | 10 | 0 | 0 | 1.522873e+06 | 1.536280e+06 | 0.88%| unknown
26.7s| 1 | 0 | 19273 | - | 310M | 0 | 14k|5635 |5730 | 95 | 11 | 0 | 0 | 1.522895e+06 | 1.536280e+06 | 0.88%| unknown
26.7s| 1 | 0 | 19273 | - | 311M | 0 | 14k|5635 |5730 | 95 | 11 | 0 | 0 | 1.522895e+06 | 1.536280e+06 | 0.88%| unknown
31.3s| 1 | 2 | 27145 | - | 331M | 0 | 14k|5631 |5730 | 95 | 11 | 0 | 22 | 1.522927e+06 | 1.536280e+06 | 0.88%| unknown
d65.3s| 35 | 36 | 38013 | 551.2 |pscostdi| 19 | 14k|5631 |5720 | 0 | 1 | 0 | 530 | 1.522957e+06 | 1.531791e+06 | 0.58%| unknown
*69.9s| 59 | 34 | 44070 | 427.5 | LP | 21 | 14k|5631 |5729 | 164 | 1 | 0 | 544 | 1.522957e+06 | 1.524300e+06 | 0.09%| unknown
74.4s| 100 | 45 | 48513 | 295.4 | 380M | 22 | 14k|5631 |5733 | 199 | 0 | 0 | 544 | 1.522957e+06 | 1.524300e+06 | 0.09%| unknown
*99.1s| 194 | 98 | 95592 | 395.4 | LP | 24 | 14k|5637 |5742 | 317 | 2 | 6 | 600 | 1.522960e+06 | 1.524007e+06 | 0.07%| 1.06%
*99.2s| 197 | 93 | 95762 | 390.2 | LP | 24 | 14k|5637 |5742 | 317 | 2 | 6 | 600 | 1.522960e+06 | 1.523983e+06 | 0.07%| 1.12%
99.3s| 200 | 94 | 95845 | 384.8 | 396M | 26 | 14k|5637 |5742 | 317 | 0 | 6 | 600 | 1.522960e+06 | 1.523983e+06 | 0.07%| 1.13%
*99.4s| 205 | 91 | 96061 | 376.4 | LP | 26 | 14k|5637 |5742 | 317 | 2 | 6 | 600 | 1.522960e+06 | 1.523982e+06 | 0.07%| 1.14%
*99.5s| 208 | 92 | 96176 | 371.5 | LP | 26 | 14k|5637 |5742 | 317 | 2 | 6 | 600 | 1.522960e+06 | 1.523980e+06 | 0.07%| 1.14%
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
* 100s| 230 | 87 | 96950 | 339.2 | LP | 26 | 14k|5637 |5742 | 317 | 2 | 6 | 600 | 1.522960e+06 | 1.523868e+06 | 0.06%| 1.22%
* 104s| 248 | 101 |104262 | 344.1 | LP | 26 | 14k|5644 |5742 | 354 | 2 | 13 | 609 | 1.522978e+06 | 1.523865e+06 | 0.06%| 1.30%
* 107s| 265 | 100 |108802 | 339.1 | LP | 26 | 14k|5665 |5743 | 376 | 2 | 34 | 619 | 1.522996e+06 | 1.523840e+06 | 0.06%| 1.41%
* 108s| 289 | 99 |109775 | 314.2 | LP | 27 | 14k|5665 |5742 | 376 | 2 | 34 | 619 | 1.522996e+06 | 1.523837e+06 | 0.06%| 1.46%
* 108s| 291 | 92 |109840 | 312.3 | LP | 27 | 14k|5665 |5742 | 376 | 2 | 34 | 619 | 1.522996e+06 | 1.523824e+06 | 0.05%| 1.49%
108s| 300 | 91 |110194 | 304.1 | 334M | 27 | 14k|5665 |5743 | 377 | 2 | 34 | 619 | 1.522996e+06 | 1.523824e+06 | 0.05%| 1.51%
* 109s| 316 | 89 |111008 | 291.2 |strongbr| 27 | 14k|5678 |5745 | 382 | 1 | 47 | 631 | 1.522996e+06 | 1.523773e+06 | 0.05%| 1.58%
* 109s| 328 | 89 |111746 | 282.8 | LP | 27 | 14k|5678 |5745 | 382 | 2 | 47 | 637 | 1.522996e+06 | 1.523773e+06 | 0.05%| 1.73%
* 110s| 336 | 89 |112110 | 277.1 | LP | 27 | 14k|5678 |5745 | 382 | 2 | 47 | 637 | 1.522996e+06 | 1.523765e+06 | 0.05%| 1.84%
* 113s| 388 | 96 |116170 | 250.4 | LP | 27 | 14k|5678 |5752 | 404 | 2 | 47 | 650 | 1.523020e+06 | 1.523760e+06 | 0.05%| 2.38%
113s| 400 | 98 |116440 | 243.5 | 314M | 29 | 14k|5678 |5752 | 404 | 0 | 47 | 650 | 1.523020e+06 | 1.523760e+06 | 0.05%| 2.38%
* 116s| 441 | 107 |122982 | 235.7 | LP | 29 | 14k|5678 |5754 | 406 | 2 | 47 | 650 | 1.523025e+06 | 1.523756e+06 | 0.05%| 3.09%
* 116s| 450 | 106 |123222 | 231.5 | LP | 30 | 14k|5678 |5754 | 406 | 2 | 47 | 650 | 1.523025e+06 | 1.523743e+06 | 0.05%| 3.09%
118s| 500 | 100 |124873 | 211.6 | 311M | 30 | 14k|5684 |5761 | 406 | 2 | 53 | 663 | 1.523025e+06 | 1.523743e+06 | 0.05%| 3.58%
* 119s| 524 | 104 |127763 | 207.4 | LP | 30 | 14k|5684 |5762 | 407 | 2 | 53 | 676 | 1.523032e+06 | 1.523713e+06 | 0.04%| 3.65%
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
* 120s| 567 | 106 |129205 | 194.2 | LP | 32 | 14k|5684 |5767 | 413 | 2 | 53 | 676 | 1.523032e+06 | 1.523702e+06 | 0.04%| 3.88%
124s| 600 | 109 |134250 | 191.9 | 309M | 32 | 14k|5684 |5766 | 417 | 0 | 53 | 689 | 1.523049e+06 | 1.523702e+06 | 0.04%| 4.10%
* 130s| 634 | 89 |141367 | 192.9 | LP | 32 | 14k|5658 |5772 | 479 | 1 | 53 | 702 | 1.523050e+06 | 1.523466e+06 | 0.03%| 5.59%
* 131s| 640 | 86 |141723 | 191.6 | LP | 32 | 14k|5658 |5772 | 479 | 2 | 53 | 702 | 1.523050e+06 | 1.523445e+06 | 0.03%| 5.64%
* 131s| 650 | 88 |142114 | 189.3 | LP | 32 | 14k|5658 |5772 | 480 | 2 | 53 | 702 | 1.523050e+06 | 1.523443e+06 | 0.03%| 5.65%
* 132s| 664 | 87 |144378 | 188.7 | LP | 32 | 14k|5658 |5773 | 502 | 2 | 59 | 709 | 1.523052e+06 | 1.523434e+06 | 0.03%| 5.96%
* 132s| 666 | 87 |144446 | 188.2 | LP | 32 | 14k|5658 |5773 | 502 | 2 | 59 | 709 | 1.523052e+06 | 1.523432e+06 | 0.02%| 5.97%
144s| 700 | 83 |151306 | 188.9 | 322M | 32 | 14k|5667 |5784 | 571 | 0 | 68 | 733 | 1.523052e+06 | 1.523432e+06 | 0.02%| 7.23%
L 150s| 785 | 84 |163128 | 183.5 | gins| 32 | 14k|5683 |5739 | 571 | 0 | 84 | 755 | 1.523059e+06 | 1.523432e+06 | 0.02%| 9.02%
153s| 800 | 87 |167522 | 185.5 | 325M | 32 | 14k|5683 |5740 | 571 | 1 | 84 | 768 | 1.523059e+06 | 1.523432e+06 | 0.02%| 9.87%
171s| 900 | 105 |185999 | 185.5 | 342M | 32 | 14k|5697 |5775 | 671 | 2 | 98 | 786 | 1.523078e+06 | 1.523432e+06 | 0.02%| 12.11%
Restart triggered after 50 consecutive estimations that the remaining tree will be large
(run 1, node 931) performing user restart
(restart) converted 104 cuts from the global cut pool into linear constraints
presolving:
(round 1, fast) 2026 del vars, 350 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 5277 clqs
(round 2, fast) 2078 del vars, 378 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 5254 clqs
(round 3, fast) 2108 del vars, 395 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 5241 clqs
(round 4, fast) 2118 del vars, 403 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 5235 clqs
(round 5, medium) 2171 del vars, 433 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 0 impls, 5204 clqs
(round 6, medium) 2188 del vars, 445 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 0 impls, 5192 clqs
(round 7, exhaustive) 2197 del vars, 449 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 38 chg coeffs, 93 upgd conss, 0 impls, 5189 clqs
presolving (8 rounds: 8 fast, 4 medium, 2 exhaustive):
3103 deleted vars, 872 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 49 changed coefficients
0 implications, 4767 cliques
presolved problem has 11419 variables (11419 bin, 0 int, 0 impl, 0 cont) and 4942 constraints
55 constraints of type <knapsack>
4767 constraints of type <setppc>
11 constraints of type <linear>
109 constraints of type <logicor>
Presolving Time: 0.63
transformed 93/100 original solutions to the transformed problem space
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
177s| 1 | 0 |207700 | - | 357M | 0 | 11k|4942 |4833 | 0 | 0 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
177s| 1 | 0 |207700 | - | 357M | 0 | 11k|4942 |4795 | 0 | 0 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
178s| 1 | 0 |207894 | - | 360M | 0 | 11k|4904 |4787 | 5 | 1 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
178s| 1 | 0 |207894 | - | 360M | 0 | 11k|4904 |4787 | 5 | 1 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
179s| 1 | 0 |208013 | - | 361M | 0 | 11k|4891 |4793 | 11 | 2 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
179s| 1 | 0 |208013 | - | 361M | 0 | 11k|4891 |4793 | 11 | 2 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
180s| 1 | 0 |208048 | - | 362M | 0 | 11k|4891 |4796 | 14 | 3 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
180s| 1 | 0 |208048 | - | 362M | 0 | 11k|4891 |4796 | 14 | 3 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
180s| 1 | 0 |208132 | - | 362M | 0 | 11k|4891 |4801 | 19 | 4 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
180s| 1 | 0 |208132 | - | 362M | 0 | 11k|4891 |4801 | 19 | 4 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
181s| 1 | 0 |208474 | - | 363M | 0 | 11k|4891 |4807 | 25 | 5 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
181s| 1 | 0 |208474 | - | 363M | 0 | 11k|4891 |4807 | 25 | 5 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
182s| 1 | 0 |208567 | - | 363M | 0 | 11k|4891 |4811 | 29 | 6 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
182s| 1 | 0 |208567 | - | 363M | 0 | 11k|4891 |4811 | 29 | 6 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
182s| 1 | 0 |208627 | - | 364M | 0 | 11k|4891 |4816 | 34 | 7 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
182s| 1 | 0 |208627 | - | 364M | 0 | 11k|4891 |4815 | 34 | 7 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
183s| 1 | 0 |208736 | - | 365M | 0 | 11k|4890 |4818 | 37 | 8 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
183s| 1 | 0 |208736 | - | 365M | 0 | 11k|4890 |4818 | 37 | 8 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
184s| 1 | 0 |208908 | - | 367M | 0 | 11k|4890 |4822 | 41 | 9 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
184s| 1 | 0 |208908 | - | 367M | 0 | 11k|4890 |4822 | 41 | 9 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
184s| 1 | 0 |208935 | - | 370M | 0 | 11k|4890 |4810 | 43 | 10 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
184s| 1 | 0 |208935 | - | 370M | 0 | 11k|4890 |4810 | 43 | 10 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
185s| 1 | 0 |208979 | - | 371M | 0 | 11k|4890 |4814 | 47 | 11 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
185s| 1 | 0 |208979 | - | 371M | 0 | 11k|4890 |4814 | 47 | 11 | 111 | 808 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
189s| 1 | 2 |212190 | - | 371M | 0 | 11k|4787 |4814 | 47 | 11 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
(run 2, node 1) restarting after 661 global fixings of integer variables
(restart) converted 47 cuts from the global cut pool into linear constraints
presolving:
(round 1, fast) 728 del vars, 36 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 78 chg coeffs, 0 upgd conss, 0 impls, 4585 clqs
(round 2, fast) 743 del vars, 46 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 78 chg coeffs, 0 upgd conss, 0 impls, 4578 clqs
(round 3, fast) 759 del vars, 53 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 78 chg coeffs, 0 upgd conss, 0 impls, 4572 clqs
(round 4, fast) 768 del vars, 57 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 78 chg coeffs, 0 upgd conss, 0 impls, 4568 clqs
(round 5, fast) 776 del vars, 62 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 78 chg coeffs, 0 upgd conss, 0 impls, 4563 clqs
(round 6, medium) 808 del vars, 77 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 0 upgd conss, 0 impls, 4548 clqs
(round 7, medium) 825 del vars, 87 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 90 chg coeffs, 0 upgd conss, 0 impls, 4538 clqs
(round 8, medium) 836 del vars, 90 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 92 chg coeffs, 0 upgd conss, 0 impls, 4534 clqs
(round 9, medium) 844 del vars, 96 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 92 chg coeffs, 0 upgd conss, 0 impls, 4528 clqs
(round 10, exhaustive) 845 del vars, 97 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 94 chg coeffs, 46 upgd conss, 0 impls, 4528 clqs
presolving (11 rounds: 11 fast, 6 medium, 2 exhaustive):
1976 deleted vars, 593 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 97 changed coefficients
0 implications, 4033 cliques
presolved problem has 9443 variables (9443 bin, 0 int, 0 impl, 0 cont) and 4240 constraints
87 constraints of type <knapsack>
4032 constraints of type <setppc>
12 constraints of type <linear>
109 constraints of type <logicor>
Presolving Time: 0.88
transformed 47/100 original solutions to the transformed problem space
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
192s| 1 | 0 |228579 | - | 341M | 0 |9443 |4240 |4131 | 0 | 0 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
192s| 1 | 0 |228579 | - | 341M | 0 |9443 |4240 |4119 | 0 | 0 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
193s| 1 | 0 |228632 | - | 343M | 0 |9443 |4228 |4120 | 4 | 1 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
193s| 1 | 0 |228687 | - | 344M | 0 |9443 |4225 |4123 | 7 | 2 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
193s| 1 | 0 |228687 | - | 344M | 0 |9443 |4225 |4123 | 7 | 2 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
194s| 1 | 0 |228795 | - | 348M | 0 |9443 |4225 |4127 | 11 | 3 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
194s| 1 | 0 |228795 | - | 348M | 0 |9443 |4225 |4127 | 11 | 3 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
195s| 1 | 0 |228873 | - | 350M | 0 |9443 |4225 |4131 | 15 | 4 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
195s| 1 | 0 |228873 | - | 350M | 0 |9443 |4225 |4131 | 15 | 4 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
195s| 1 | 0 |228982 | - | 355M | 0 |9443 |4225 |4134 | 19 | 5 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
195s| 1 | 0 |228982 | - | 355M | 0 |9443 |4225 |4134 | 19 | 5 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
196s| 1 | 0 |229130 | - | 359M | 0 |9443 |4224 |4139 | 24 | 6 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
196s| 1 | 0 |229130 | - | 360M | 0 |9443 |4224 |4139 | 24 | 6 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
197s| 1 | 0 |229213 | - | 364M | 0 |9443 |4224 |4143 | 28 | 7 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
197s| 1 | 0 |229213 | - | 364M | 0 |9443 |4224 |4143 | 28 | 7 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
197s| 1 | 0 |229318 | - | 364M | 0 |9443 |4224 |4148 | 33 | 8 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
197s| 1 | 0 |229318 | - | 365M | 0 |9443 |4224 |4148 | 33 | 8 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
198s| 1 | 0 |229359 | - | 368M | 0 |9443 |4224 |4152 | 37 | 9 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
198s| 1 | 0 |229359 | - | 368M | 0 |9443 |4224 |4152 | 37 | 9 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
198s| 1 | 0 |229434 | - | 372M | 0 |9443 |4224 |4155 | 40 | 10 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
198s| 1 | 0 |229434 | - | 372M | 0 |9443 |4224 |4155 | 40 | 10 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
199s| 1 | 0 |229449 | - | 372M | 0 |9443 |4224 |4158 | 43 | 11 | 111 | 826 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
204s| 1 | 2 |232387 | - | 372M | 0 |9443 |4190 |4158 | 43 | 11 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
(run 3, node 1) restarting after 269 global fixings of integer variables
(restart) converted 43 cuts from the global cut pool into linear constraints
presolving:
(round 1, fast) 283 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 20 chg coeffs, 0 upgd conss, 0 impls, 3979 clqs
(round 2, fast) 291 del vars, 17 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 20 chg coeffs, 0 upgd conss, 0 impls, 3977 clqs
(round 3, exhaustive) 295 del vars, 20 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 22 chg coeffs, 38 upgd conss, 0 impls, 3974 clqs
presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
468 deleted vars, 118 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 24 changed coefficients
0 implications, 3879 cliques
presolved problem has 8975 variables (8975 bin, 0 int, 0 impl, 0 cont) and 4115 constraints
113 constraints of type <knapsack>
3877 constraints of type <setppc>
17 constraints of type <linear>
108 constraints of type <logicor>
Presolving Time: 1.04
transformed 31/100 original solutions to the transformed problem space
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
207s| 1 | 0 |249371 | - | 347M | 0 |8975 |4115 |4007 | 0 | 0 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
207s| 1 | 0 |249371 | - | 347M | 0 |8975 |4115 |4002 | 0 | 0 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
208s| 1 | 0 |249502 | - | 349M | 0 |8975 |4110 |4002 | 3 | 1 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
208s| 1 | 0 |249502 | - | 349M | 0 |8975 |4110 |4002 | 3 | 1 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
208s| 1 | 0 |249546 | - | 349M | 0 |8975 |4107 |4005 | 6 | 2 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
209s| 1 | 0 |249638 | - | 353M | 0 |8975 |4107 |4009 | 10 | 3 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
209s| 1 | 0 |249638 | - | 353M | 0 |8975 |4107 |4008 | 10 | 3 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
210s| 1 | 0 |249748 | - | 358M | 0 |8975 |4106 |4010 | 12 | 4 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
211s| 1 | 0 |249812 | - | 361M | 0 |8975 |4106 |4016 | 18 | 5 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
211s| 1 | 0 |249812 | - | 361M | 0 |8975 |4106 |4016 | 18 | 5 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
211s| 1 | 0 |249882 | - | 366M | 0 |8975 |4106 |4018 | 20 | 6 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
212s| 1 | 0 |249963 | - | 371M | 0 |8975 |4106 |4024 | 26 | 7 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
213s| 1 | 0 |250069 | - | 374M | 0 |8975 |4106 |4028 | 30 | 8 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
213s| 1 | 0 |250112 | - | 377M | 0 |8975 |4106 |4031 | 33 | 9 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
214s| 1 | 0 |250251 | - | 378M | 0 |8975 |4106 |4033 | 35 | 10 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
214s| 1 | 0 |250251 | - | 378M | 0 |8975 |4106 |4033 | 35 | 10 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
214s| 1 | 0 |250354 | - | 379M | 0 |8975 |4106 |4036 | 38 | 11 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
214s| 1 | 0 |250354 | - | 379M | 0 |8975 |4106 |4036 | 38 | 11 | 111 | 850 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
221s| 1 | 2 |254909 | - | 379M | 0 |8975 |4108 |4036 | 38 | 11 | 122 | 875 | 1.523078e+06 | 1.523432e+06 | 0.02%| unknown
241s| 100 | 29 |277438 | 198.3 | 403M | 20 |8975 |4125 |3958 | 96 | 0 | 139 | 947 | 1.523096e+06 | 1.523432e+06 | 0.02%| 3.96%
263s| 200 | 39 |332743 | 229.7 | 408M | 20 |8975 |4141 |3964 | 186 | 2 | 155 | 990 | 1.523106e+06 | 1.523432e+06 | 0.02%| 8.44%
* 263s| 221 | 48 |334357 | 226.9 | LP | 24 |8975 |4141 |3964 | 186 | 2 | 155 | 990 | 1.523106e+06 | 1.523432e+06 | 0.02%| 8.45%
* 263s| 222 | 47 |334360 | 226.7 | LP | 24 |8975 |4141 |3964 | 186 | 2 | 155 | 990 | 1.523106e+06 | 1.523411e+06 | 0.02%| 8.45%
* 264s| 251 | 48 |336657 | 223.1 |strongbr| 24 |8975 |4146 |3964 | 187 | 2 | 160 | 992 | 1.523111e+06 | 1.523405e+06 | 0.02%| 9.62%
* 264s| 257 | 42 |337061 | 222.3 | LP | 25 |8975 |4146 |3964 | 187 | 2 | 160 | 996 | 1.523111e+06 | 1.523363e+06 | 0.02%| 9.68%
* 266s| 278 | 41 |339479 | 220.4 | LP | 25 |8975 |4146 |3964 | 188 | 2 | 160 |1013 | 1.523114e+06 | 1.523343e+06 | 0.02%| 11.39%
269s| 300 | 35 |342935 | 219.3 | 404M | 25 |8975 |4146 |3956 | 206 | 1 | 160 |1013 | 1.523114e+06 | 1.523343e+06 | 0.02%| 13.07%
279s| 400 | 39 |359111 | 215.0 | 396M | 25 |8975 |4151 |3963 | 253 | 4 | 165 |1031 | 1.523127e+06 | 1.523343e+06 | 0.01%| 19.66%
293s| 500 | 27 |377375 | 212.7 | 399M | 25 |8975 |4185 |3956 | 303 | 0 | 199 |1089 | 1.523127e+06 | 1.523343e+06 | 0.01%| 37.18%
307s| 600 | 33 |396836 | 211.5 | 402M | 25 |8975 |4222 |3963 | 362 | 0 | 236 |1131 | 1.523141e+06 | 1.523343e+06 | 0.01%| 44.37%
time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
317s| 700 | 27 |410407 | 206.9 | 404M | 25 |8975 |4233 |3958 | 396 | 1 | 247 |1164 | 1.523148e+06 | 1.523343e+06 | 0.01%| 49.25%
* 320s| 724 | 33 |413465 | 205.7 | LP | 25 |8975 |4233 |3949 | 402 | 2 | 247 |1164 | 1.523148e+06 | 1.523341e+06 | 0.01%| 51.19%
327s| 800 | 17 |425542 | 203.7 | 410M | 25 |8975 |4256 |3957 | 444 | 0 | 270 |1186 | 1.523150e+06 | 1.523341e+06 | 0.01%| 69.24%
342s| 900 | 13 |444058 | 202.7 | 414M | 25 |8975 |4273 |3960 | 520 | 0 | 287 |1231 | 1.523199e+06 | 1.523341e+06 | 0.01%| 91.11%
SCIP Status : problem is solved [optimal solution found]
Solving Time (sec) : 345.54
Solving Nodes : 933 (total of 1866 nodes in 4 runs)
Primal Bound : +1.52334065774697e+06 (668 solutions)
Dual Bound : +1.52334065774697e+06
Gap : 0.00 %
SCIP>