SCIP version 8.0.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 6.0.3] [GitHash: 62fab8a2e3] Copyright (C) 2002-2022 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) External libraries: Soplex 6.0.3 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: f900e3d0] CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD) ZLIB 1.2.11 General purpose compression library by J. Gailly and M. Adler (zlib.net) GMP 6.2.1 GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org) ZIMPL 3.5.3 Zuse Institute Mathematical Programming Language developed by T. Koch (zimpl.zib.de) AMPL/MP 4e2d45c4 AMPL .nl file reader library (github.com/ampl/mp) bliss 0.77 Computing Graph Automorphism Groups by T. Junttila and P. Kaski (www.tcs.hut.fi/Software/bliss/) user parameter file not found - using default parameters read problem ============ original problem has 1773 variables (1773 bin, 0 int, 0 impl, 0 cont) and 3553 constraints presolving: (round 1, fast) 2 del vars, 51 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7 clqs (round 2, fast) 2 del vars, 100 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7 clqs (round 3, exhaustive) 2 del vars, 1824 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7 clqs (round 4, exhaustive) 2 del vars, 1824 del conss, 0 add conss, 2 chg bounds, 1538 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7 clqs (round 5, exhaustive) 2 del vars, 1824 del conss, 0 add conss, 2 chg bounds, 1538 chg sides, 0 chg coeffs, 1545 upgd conss, 0 impls, 7 clqs (round 6, exhaustive) 44 del vars, 1824 del conss, 0 add conss, 2 chg bounds, 1538 chg sides, 0 chg coeffs, 1545 upgd conss, 0 impls, 7 clqs (round 7, fast) 44 del vars, 1824 del conss, 0 add conss, 2 chg bounds, 1538 chg sides, 2058 chg coeffs, 1545 upgd conss, 0 impls, 350 clqs (1.2s) probing: 1000/1729 (57.8%) - 0 fixings, 0 aggregations, 193207 implications, 0 bound changes (1.2s) probing: 1001/1729 (57.9%) - 0 fixings, 0 aggregations, 193501 implications, 0 bound changes (1.2s) probing aborted: 1000/1000 successive useless probings (1.2s) symmetry computation started: requiring (bin +, int -, cont +), (fixed: bin -, int +, cont -) (1.2s) no symmetry present presolving (8 rounds: 8 fast, 5 medium, 5 exhaustive): 44 deleted vars, 1824 deleted constraints, 0 added constraints, 2 tightened bounds, 0 added holes, 1538 changed sides, 2058 changed coefficients 0 implications, 144515 cliques presolved problem has 1729 variables (1729 bin, 0 int, 0 impl, 0 cont) and 1729 constraints 7 constraints of type 184 constraints of type 1538 constraints of type Presolving Time: 1.18 time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. p 1.3s| 1 | 0 | 3 | - | clique| 0 |1729 |1729 |1729 | 0 | 0 | 0 | 0 |-1.805988e+04 |-7.631260e+01 | Large | unknown 1.3s| 1 | 0 | 98 | - | 77M | 0 |1729 |1747 |1729 | 0 | 0 | 18 | 0 |-7.930733e+01 |-7.631260e+01 | 3.92%| unknown 1.5s| 1 | 0 | 141 | - | 78M | 0 |1729 |1747 |1731 | 2 | 1 | 18 | 0 |-7.914947e+01 |-7.631260e+01 | 3.72%| unknown 1.6s| 1 | 0 | 199 | - | 79M | 0 |1729 |1747 |1733 | 4 | 2 | 18 | 0 |-7.902418e+01 |-7.631260e+01 | 3.55%| unknown 1.8s| 1 | 0 | 268 | - | 79M | 0 |1729 |1748 |1735 | 6 | 3 | 19 | 0 |-7.878785e+01 |-7.631260e+01 | 3.24%| unknown 1.9s| 1 | 0 | 313 | - | 80M | 0 |1729 |1749 |1737 | 8 | 4 | 20 | 0 |-7.865160e+01 |-7.631260e+01 | 3.07%| unknown 2.0s| 1 | 0 | 360 | - | 81M | 0 |1729 |1749 |1739 | 10 | 5 | 20 | 0 |-7.852286e+01 |-7.631260e+01 | 2.90%| unknown 2.2s| 1 | 0 | 387 | - | 82M | 0 |1729 |1750 |1740 | 11 | 6 | 21 | 0 |-7.848378e+01 |-7.631260e+01 | 2.85%| unknown 2.4s| 1 | 0 | 520 | - | 82M | 0 |1729 |1750 |1743 | 14 | 7 | 21 | 0 |-7.832530e+01 |-7.631260e+01 | 2.64%| unknown 2.5s| 1 | 0 | 550 | - | 82M | 0 |1729 |1751 |1744 | 15 | 8 | 22 | 0 |-7.831341e+01 |-7.631260e+01 | 2.62%| unknown r 2.5s| 1 | 0 | 550 | - |shifting| 0 |1729 |1752 |1744 | 15 | 8 | 23 | 0 |-7.831341e+01 |-7.633590e+01 | 2.59%| unknown 2.5s| 1 | 0 | 574 | - | 82M | 0 |1729 |1752 |1746 | 17 | 9 | 23 | 0 |-7.827593e+01 |-7.633590e+01 | 2.54%| unknown 2.6s| 1 | 0 | 604 | - | 83M | 0 |1729 |1753 |1747 | 18 | 10 | 24 | 0 |-7.826633e+01 |-7.633590e+01 | 2.53%| unknown 2.6s| 1 | 0 | 617 | - | 83M | 0 |1729 |1754 |1748 | 19 | 11 | 25 | 0 |-7.826495e+01 |-7.633590e+01 | 2.53%| unknown 2.6s| 1 | 0 | 621 | - | 84M | 0 |1729 |1755 |1749 | 20 | 12 | 26 | 0 |-7.826361e+01 |-7.633590e+01 | 2.53%| unknown time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2.7s| 1 | 0 | 636 | - | 84M | 0 |1729 |1756 |1750 | 21 | 13 | 27 | 0 |-7.826260e+01 |-7.633590e+01 | 2.52%| unknown 2.7s| 1 | 0 | 649 | - | 84M | 0 |1729 |1757 |1751 | 22 | 14 | 28 | 0 |-7.826178e+01 |-7.633590e+01 | 2.52%| unknown r 2.7s| 1 | 0 | 649 | - |shifting| 0 |1729 |1758 |1751 | 22 | 14 | 29 | 0 |-7.826178e+01 |-7.635100e+01 | 2.50%| unknown 2.7s| 1 | 0 | 658 | - | 84M | 0 |1729 |1758 |1752 | 23 | 15 | 29 | 0 |-7.826144e+01 |-7.635100e+01 | 2.50%| unknown 2.7s| 1 | 0 | 671 | - | 85M | 0 |1729 |1758 |1753 | 24 | 16 | 29 | 0 |-7.826114e+01 |-7.635100e+01 | 2.50%| unknown 2.7s| 1 | 0 | 691 | - | 85M | 0 |1729 |1758 |1754 | 25 | 17 | 29 | 0 |-7.826050e+01 |-7.635100e+01 | 2.50%| unknown d 2.8s| 1 | 0 | 775 | - |farkasdi| 0 |1729 |1759 |1754 | 0 | 19 | 30 | 0 |-7.826050e+01 |-7.663660e+01 | 2.12%| unknown 2.9s| 1 | 0 | 1281 | - | 85M | 0 |1729 |1759 |1754 | 25 | 19 | 30 | 0 |-7.826050e+01 |-7.663660e+01 | 2.12%| unknown 2.9s| 1 | 0 | 1292 | - | 85M | 0 |1729 |1760 |1755 | 26 | 20 | 31 | 0 |-7.826022e+01 |-7.663660e+01 | 2.12%| unknown 3.3s| 1 | 2 | 1292 | - | 85M | 0 |1729 |1761 |1755 | 26 | 21 | 32 | 37 |-7.824828e+01 |-7.663660e+01 | 2.10%| unknown * 3.5s| 3 | 2 | 1502 | 406.5 |strongbr| 2 |1729 |1761 |1753 | 26 | 1 | 32 | 55 |-7.824828e+01 |-7.675400e+01 | 1.95%| unknown * 4.7s| 6 | 3 | 2206 | 303.4 |strongbr| 4 |1729 |1782 |1753 | 26 | 3 | 54 | 201 |-7.824828e+01 |-7.680460e+01 | 1.88%| 9.65% * 4.8s| 6 | 3 | 2250 | 312.2 |strongbr| 4 |1729 |1782 |1753 | 26 | 8 | 56 | 212 |-7.824828e+01 |-7.681910e+01 | 1.86%| 9.65% * 4.8s| 7 | 2 | 2268 | 263.2 |strongbr| 4 |1729 |1782 |1753 | 26 | 1 | 57 | 220 |-7.824828e+01 |-7.689260e+01 | 1.76%| 11.94% * 5.2s| 7 | 2 | 2689 | 333.3 |strongbr| 4 |1729 |1786 |1753 | 26 | 27 | 77 | 293 |-7.824828e+01 |-7.690710e+01 | 1.74%| 11.94% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 15.2s| 100 | 5 | 12456 | 118.9 | 93M | 22 |1729 |1863 | 0 | 30 | 0 | 394 |1868 |-7.806396e+01 |-7.690710e+01 | 1.50%| 41.67% 21.5s| 200 | 5 | 18624 | 90.1 | 99M | 32 |1729 |2000 |1761 | 40 | 1 | 704 |3025 |-7.797678e+01 |-7.690710e+01 | 1.39%| 44.05% 25.2s| 300 | 9 | 22974 | 74.5 | 101M | 41 |1729 |2062 |1763 | 47 | 0 | 822 |3690 |-7.790484e+01 |-7.690710e+01 | 1.30%| 46.02% 28.1s| 400 | 13 | 26594 | 64.9 | 104M | 54 |1729 |2104 |1764 | 57 | 2 | 917 |4013 |-7.785402e+01 |-7.690710e+01 | 1.23%| 47.41% 29.8s| 500 | 17 | 29879 | 58.5 | 105M | 64 |1729 |2114 |1765 | 63 | 0 | 949 |4232 |-7.782031e+01 |-7.690710e+01 | 1.19%| 48.33% 31.6s| 600 | 23 | 33358 | 54.5 | 105M | 68 |1729 |2132 |1766 | 68 | 2 | 983 |4413 |-7.780668e+01 |-7.690710e+01 | 1.17%| 48.71% 32.8s| 700 | 25 | 37249 | 52.3 | 106M | 74 |1729 |2136 | 0 | 80 | 0 |1019 |4547 |-7.777277e+01 |-7.690710e+01 | 1.13%| 49.78% 34.4s| 800 | 27 | 41083 | 50.6 | 107M | 77 |1729 |2146 | 0 | 85 | 0 |1062 |4778 |-7.777277e+01 |-7.690710e+01 | 1.13%| 50.42% 36.7s| 900 | 29 | 44674 | 48.9 | 107M | 87 |1729 |2208 |1769 | 88 | 0 |1159 |5102 |-7.775107e+01 |-7.690710e+01 | 1.10%| 53.04% 38.3s| 1000 | 31 | 46572 | 45.9 | 108M | 96 |1729 |2221 |1769 | 88 | 0 |1176 |5302 |-7.775107e+01 |-7.690710e+01 | 1.10%| 53.22% 39.3s| 1100 | 33 | 48816 | 43.8 | 108M | 100 |1729 |2219 |1762 | 88 | 0 |1195 |5411 |-7.775107e+01 |-7.690710e+01 | 1.10%| 53.38% 40.8s| 1200 | 37 | 51862 | 42.7 | 109M | 108 |1729 |2225 |1761 | 97 | 1 |1232 |5557 |-7.771729e+01 |-7.690710e+01 | 1.05%| 56.41% 43.1s| 1300 | 39 | 54563 | 41.5 | 110M | 108 |1729 |2263 |1770 | 101 | 1 |1274 |5886 |-7.770396e+01 |-7.690710e+01 | 1.04%| 56.78% 44.5s| 1400 | 43 | 55827 | 39.4 | 110M | 120 |1729 |2342 |1771 | 102 | 1 |1356 |6054 |-7.770174e+01 |-7.690710e+01 | 1.03%| 56.84% 45.6s| 1500 | 47 | 59365 | 39.1 | 111M | 121 |1729 |2345 | 0 | 103 | 0 |1386 |6188 |-7.768116e+01 |-7.690710e+01 | 1.01%| 57.41% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 46.8s| 1600 | 49 | 61065 | 37.8 | 111M | 124 |1729 |2359 |1771 | 104 | 0 |1408 |6317 |-7.766999e+01 |-7.690710e+01 | 0.99%| 57.72% 47.7s| 1700 | 51 | 62606 | 36.4 | 112M | 133 |1729 |2361 |1771 | 105 | 0 |1421 |6410 |-7.766999e+01 |-7.690710e+01 | 0.99%| 57.72% 48.7s| 1800 | 53 | 64540 | 35.5 | 112M | 138 |1729 |2368 |1772 | 106 | 0 |1443 |6537 |-7.766304e+01 |-7.690710e+01 | 0.98%| 57.91% 49.8s| 1900 | 57 | 66189 | 34.5 | 113M | 138 |1729 |2379 |1772 | 106 | 1 |1460 |6675 |-7.766231e+01 |-7.690710e+01 | 0.98%| 58.09% 51.5s| 2000 | 59 | 68250 | 33.8 | 115M | 138 |1729 |2392 |1772 | 108 | 2 |1489 |6830 |-7.765517e+01 |-7.690710e+01 | 0.97%| 59.87% 52.6s| 2100 | 59 | 70792 | 33.4 | 116M | 138 |1729 |2368 |1772 | 108 | 0 |1506 |6949 |-7.764940e+01 |-7.690710e+01 | 0.97%| 60.02% 53.5s| 2200 | 65 | 72387 | 32.6 | 116M | 145 |1729 |2360 |1772 | 109 | 1 |1517 |7040 |-7.764598e+01 |-7.690710e+01 | 0.96%| 60.12% 54.5s| 2300 | 69 | 74535 | 32.1 | 117M | 149 |1729 |2368 |1772 | 109 | 0 |1539 |7154 |-7.764598e+01 |-7.690710e+01 | 0.96%| 60.12% 55.6s| 2400 | 73 | 76607 | 31.6 | 117M | 153 |1729 |2396 |1764 | 111 | 0 |1575 |7275 |-7.764598e+01 |-7.690710e+01 | 0.96%| 60.12% 56.5s| 2500 | 75 | 78151 | 31.0 | 118M | 153 |1729 |2396 |1771 | 111 | 1 |1585 |7386 |-7.763609e+01 |-7.690710e+01 | 0.95%| 60.39% 57.6s| 2600 | 77 | 80173 | 30.6 | 118M | 160 |1729 |2398 |1775 | 114 | 1 |1606 |7502 |-7.763609e+01 |-7.690710e+01 | 0.95%| 60.39% 58.7s| 2700 | 79 | 82774 | 30.4 | 119M | 160 |1729 |2405 |1772 | 114 | 1 |1625 |7633 |-7.763609e+01 |-7.690710e+01 | 0.95%| 60.39% 60.4s| 2800 | 83 | 85602 | 30.3 | 122M | 163 |1729 |2404 |1771 | 128 | 2 |1637 |7710 |-7.762043e+01 |-7.690710e+01 | 0.93%| 60.82% 61.3s| 2900 | 85 | 86982 | 29.8 | 122M | 163 |1729 |2407 |1775 | 129 | 5 |1650 |7790 |-7.762043e+01 |-7.690710e+01 | 0.93%| 60.82% 62.5s| 3000 | 85 | 89630 | 29.7 | 124M | 177 |1729 |2406 |1776 | 134 | 0 |1660 |7907 |-7.762043e+01 |-7.690710e+01 | 0.93%| 60.82% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 63.5s| 3100 | 87 | 92041 | 29.5 | 124M | 191 |1729 |2414 |1778 | 137 | 1 |1684 |8039 |-7.762043e+01 |-7.690710e+01 | 0.93%| 60.83% 64.2s| 3200 | 89 | 94182 | 29.2 | 125M | 196 |1729 |2410 |1779 | 145 | 0 |1697 |8064 |-7.762043e+01 |-7.690710e+01 | 0.93%| 60.83% 64.9s| 3300 | 93 | 96051 | 28.9 | 125M | 199 |1729 |2412 |1777 | 149 | 1 |1720 |8130 |-7.760109e+01 |-7.690710e+01 | 0.90%| 62.76% 65.6s| 3400 | 93 | 98031 | 28.6 | 125M | 201 |1729 |2401 |1765 | 150 | 0 |1728 |8193 |-7.760109e+01 |-7.690710e+01 | 0.90%| 63.01% 67.1s| 3500 | 95 |100971 | 28.7 | 131M | 201 |1729 |2401 |1777 | 157 | 0 |1741 |8250 |-7.758968e+01 |-7.690710e+01 | 0.89%| 63.33% 68.3s| 3600 | 97 |103738 | 28.6 | 131M | 201 |1729 |2399 |1776 | 166 | 4 |1746 |8369 |-7.754163e+01 |-7.690710e+01 | 0.83%| 65.45% 69.4s| 3700 | 99 |106641 | 28.6 | 132M | 212 |1729 |2393 |1780 | 167 | 0 |1753 |8490 |-7.752076e+01 |-7.690710e+01 | 0.80%| 66.03% 70.6s| 3800 | 103 |109322 | 28.6 | 132M | 228 |1729 |2397 |1772 | 170 | 2 |1760 |8591 |-7.751759e+01 |-7.690710e+01 | 0.79%| 66.12% 71.5s| 3900 | 101 |112136 | 28.6 | 133M | 228 |1729 |2396 | 0 | 178 | 0 |1783 |8679 |-7.751538e+01 |-7.690710e+01 | 0.79%| 66.18% 72.7s| 4000 | 103 |114922 | 28.6 | 134M | 228 |1729 |2378 |1771 | 188 | 2 |1795 |8705 |-7.749799e+01 |-7.690710e+01 | 0.77%| 67.29% 73.3s| 4100 | 103 |117191 | 28.4 | 135M | 228 |1729 |2378 |1782 | 191 | 0 |1797 |8744 |-7.749799e+01 |-7.690710e+01 | 0.77%| 67.34% 74.2s| 4200 | 103 |118968 | 28.2 | 135M | 228 |1729 |2382 |1780 | 195 | 0 |1809 |8822 |-7.749799e+01 |-7.690710e+01 | 0.77%| 67.34% 75.0s| 4300 | 103 |121550 | 28.1 | 135M | 228 |1729 |2380 |1765 | 197 | 0 |1822 |8890 |-7.749307e+01 |-7.690710e+01 | 0.76%| 67.47% 75.5s| 4400 | 103 |123802 | 28.0 | 135M | 228 |1729 |2373 |1771 | 206 | 0 |1823 |8917 |-7.746437e+01 |-7.690710e+01 | 0.72%| 68.99% 76.4s| 4500 | 103 |126439 | 28.0 | 136M | 228 |1729 |2374 |1777 | 213 | 0 |1832 |8979 |-7.746437e+01 |-7.690710e+01 | 0.72%| 69.10% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 76.9s| 4600 | 103 |128381 | 27.8 | 136M | 228 |1729 |2373 |1778 | 215 | 1 |1841 |8998 |-7.745820e+01 |-7.690710e+01 | 0.72%| 69.91% 77.5s| 4700 | 105 |130799 | 27.7 | 136M | 228 |1729 |2363 |1779 | 219 | 1 |1844 |9002 |-7.743510e+01 |-7.690710e+01 | 0.69%| 71.00% 78.3s| 4800 | 105 |133873 | 27.8 | 137M | 228 |1729 |2363 |1787 | 226 | 2 |1851 |9054 |-7.743220e+01 |-7.690710e+01 | 0.68%| 71.08% 79.4s| 4900 | 103 |136085 | 27.6 | 137M | 228 |1729 |2366 |1781 | 235 | 0 |1860 |9126 |-7.741205e+01 |-7.690710e+01 | 0.66%| 72.02% 80.9s| 5000 | 105 |139637 | 27.8 | 139M | 228 |1729 |2364 |1775 | 251 | 4 |1877 |9177 |-7.740164e+01 |-7.690710e+01 | 0.64%| 73.25% 81.3s| 5100 | 105 |140691 | 27.5 | 139M | 228 |1729 |2352 |1780 | 253 | 1 |1885 |9185 |-7.739104e+01 |-7.690710e+01 | 0.63%| 73.54% 81.6s| 5200 | 105 |141787 | 27.1 | 139M | 228 |1729 |2343 |1771 | 254 | 1 |1896 |9195 |-7.738868e+01 |-7.690710e+01 | 0.63%| 73.61% 82.2s| 5300 | 105 |142985 | 26.9 | 139M | 228 |1729 |2291 |1771 | 261 | 0 |1906 |9222 |-7.738825e+01 |-7.690710e+01 | 0.63%| 73.62% 83.9s| 5400 | 107 |144889 | 26.7 | 142M | 228 |1729 |2248 |1787 | 271 | 3 |1913 |9279 |-7.737118e+01 |-7.690710e+01 | 0.60%| 74.13% 84.9s| 5500 | 105 |147578 | 26.7 | 142M | 232 |1729 |2243 |1774 | 277 | 0 |1926 |9342 |-7.736984e+01 |-7.690710e+01 | 0.60%| 74.27% 86.4s| 5600 | 107 |151664 | 27.0 | 142M | 235 |1729 |2242 |1782 | 285 | 2 |1932 |9391 |-7.736650e+01 |-7.690710e+01 | 0.60%| 75.94% 86.8s| 5700 | 107 |152749 | 26.7 | 142M | 235 |1729 |2241 |1770 | 287 | 1 |1940 |9396 |-7.736650e+01 |-7.690710e+01 | 0.60%| 75.94% 87.4s| 5800 | 109 |154058 | 26.4 | 143M | 242 |1729 |2235 |1771 | 287 | 1 |1945 |9429 |-7.736650e+01 |-7.690710e+01 | 0.60%| 75.94% 88.0s| 5900 | 109 |156419 | 26.4 | 143M | 252 |1729 |2234 |1772 | 289 | 1 |1951 |9455 |-7.735681e+01 |-7.690710e+01 | 0.58%| 76.21% 88.6s| 6000 | 109 |158445 | 26.3 | 143M | 257 |1729 |2229 |1774 | 292 | 0 |1957 |9487 |-7.735551e+01 |-7.690710e+01 | 0.58%| 76.25% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 89.1s| 6100 | 111 |160144 | 26.1 | 143M | 264 |1729 |2227 |1772 | 294 | 1 |1959 |9511 |-7.735159e+01 |-7.690710e+01 | 0.58%| 76.36% 90.0s| 6200 | 111 |162408 | 26.1 | 143M | 273 |1729 |2227 |1777 | 297 | 0 |1973 |9571 |-7.735159e+01 |-7.690710e+01 | 0.58%| 76.36% 90.8s| 6300 | 111 |164708 | 26.0 | 144M | 273 |1729 |2229 |1787 | 298 | 2 |1988 |9619 |-7.735159e+01 |-7.690710e+01 | 0.58%| 76.36% 91.1s| 6400 | 113 |165984 | 25.8 | 144M | 273 |1729 |2227 |1771 | 298 | 1 |1993 |9631 |-7.735159e+01 |-7.690710e+01 | 0.58%| 76.36% 91.6s| 6500 | 113 |167229 | 25.6 | 144M | 273 |1729 |2225 |1772 | 301 | 0 |2005 |9648 |-7.735159e+01 |-7.690710e+01 | 0.58%| 76.88% 92.2s| 6600 | 113 |168769 | 25.5 | 144M | 273 |1729 |2225 |1774 | 304 | 0 |2013 |9680 |-7.735159e+01 |-7.690710e+01 | 0.58%| 76.88% 92.6s| 6700 | 115 |171700 | 25.5 | 144M | 273 |1729 |2224 |1783 | 305 | 1 |2015 |9683 |-7.735159e+01 |-7.690710e+01 | 0.58%| 76.88% 93.0s| 6800 | 113 |174437 | 25.6 | 144M | 273 |1729 |2224 |1777 | 308 | 0 |2019 |9688 |-7.735159e+01 |-7.690710e+01 | 0.58%| 77.49% 93.4s| 6900 | 113 |175641 | 25.4 | 144M | 273 |1729 |2224 |1777 | 312 | 0 |2020 |9700 |-7.735159e+01 |-7.690710e+01 | 0.58%| 77.83% 94.3s| 7000 | 115 |177513 | 25.3 | 145M | 273 |1729 |2224 |1776 | 317 | 2 |2021 |9711 |-7.733922e+01 |-7.690710e+01 | 0.56%| 78.17% 94.8s| 7100 | 113 |179278 | 25.2 | 145M | 273 |1729 |2226 |1781 | 319 | 1 |2027 |9740 |-7.730337e+01 |-7.690710e+01 | 0.52%| 79.17% 95.2s| 7200 | 113 |180551 | 25.0 | 145M | 273 |1729 |2226 |1771 | 319 | 1 |2029 |9749 |-7.729857e+01 |-7.690710e+01 | 0.51%| 79.30% 95.5s| 7300 | 113 |181339 | 24.7 | 145M | 273 |1729 |2227 |1777 | 319 | 0 |2030 |9758 |-7.729857e+01 |-7.690710e+01 | 0.51%| 79.37% 95.9s| 7400 | 113 |183210 | 24.7 | 145M | 273 |1729 |2226 |1774 | 319 | 1 |2030 |9764 |-7.729857e+01 |-7.690710e+01 | 0.51%| 80.20% 96.5s| 7500 | 113 |185470 | 24.6 | 145M | 273 |1729 |2225 |1780 | 319 | 0 |2033 |9789 |-7.729857e+01 |-7.690710e+01 | 0.51%| 80.20% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 97.1s| 7600 | 113 |187297 | 24.6 | 145M | 273 |1729 |2224 |1780 | 324 | 1 |2033 |9807 |-7.729857e+01 |-7.690710e+01 | 0.51%| 80.58% 97.5s| 7700 | 113 |189506 | 24.5 | 145M | 273 |1729 |2213 |1777 | 324 | 0 |2033 |9817 |-7.729857e+01 |-7.690710e+01 | 0.51%| 80.94% 97.9s| 7800 | 115 |190767 | 24.4 | 145M | 273 |1729 |2161 |1777 | 324 | 0 |2037 |9839 |-7.729857e+01 |-7.690710e+01 | 0.51%| 81.04% 98.3s| 7900 | 113 |192033 | 24.2 | 145M | 273 |1729 |2159 |1772 | 324 | 0 |2043 |9845 |-7.729857e+01 |-7.690710e+01 | 0.51%| 81.04% 98.8s| 8000 | 115 |194556 | 24.2 | 145M | 273 |1729 |2159 |1779 | 324 | 0 |2044 |9859 |-7.729857e+01 |-7.690710e+01 | 0.51%| 81.22% 99.7s| 8100 | 115 |195920 | 24.1 | 146M | 273 |1729 |2162 |1776 | 330 | 2 |2055 |9905 |-7.725296e+01 |-7.690710e+01 | 0.45%| 82.49% 100s| 8200 | 115 |197472 | 24.0 | 146M | 274 |1729 |2161 |1787 | 332 | 1 |2057 |9921 |-7.725296e+01 |-7.690710e+01 | 0.45%| 82.49% 101s| 8300 | 115 |200095 | 24.0 | 146M | 284 |1729 |2161 |1787 | 332 | 0 |2059 |9958 |-7.725296e+01 |-7.690710e+01 | 0.45%| 82.49% 102s| 8400 | 115 |201980 | 24.0 | 146M | 284 |1729 |2139 |1759 | 338 | 0 |2064 |9971 |-7.724639e+01 |-7.690710e+01 | 0.44%| 82.67% 103s| 8500 | 117 |203475 | 23.9 | 148M | 299 |1729 |2137 |1787 | 338 | 0 |2068 | 10k|-7.724639e+01 |-7.690710e+01 | 0.44%| 82.67% 104s| 8600 | 117 |205334 | 23.8 | 148M | 308 |1729 |2137 |1787 | 338 | 0 |2069 | 10k|-7.724639e+01 |-7.690710e+01 | 0.44%| 82.67% 105s| 8700 | 119 |207294 | 23.8 | 148M | 311 |1729 |2138 |1781 | 340 | 1 |2072 | 10k|-7.724639e+01 |-7.690710e+01 | 0.44%| 82.67% 106s| 8800 | 117 |208880 | 23.7 | 148M | 311 |1729 |2136 |1787 | 341 | 0 |2074 | 10k|-7.721953e+01 |-7.690710e+01 | 0.41%| 83.42% 107s| 8900 | 119 |210950 | 23.6 | 149M | 311 |1729 |2136 |1772 | 345 | 1 |2080 | 10k|-7.721953e+01 |-7.690710e+01 | 0.41%| 83.42% 107s| 9000 | 119 |212584 | 23.5 | 149M | 311 |1729 |2136 |1776 | 347 | 1 |2081 | 10k|-7.721953e+01 |-7.690710e+01 | 0.41%| 83.42% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 108s| 9100 | 119 |214016 | 23.4 | 149M | 311 |1729 |2137 |1781 | 349 | 2 |2088 | 10k|-7.721953e+01 |-7.690710e+01 | 0.41%| 83.42% 108s| 9200 | 119 |215053 | 23.3 | 149M | 311 |1729 |2140 |1771 | 354 | 1 |2094 | 10k|-7.721953e+01 |-7.690710e+01 | 0.41%| 83.55% 109s| 9300 | 119 |216165 | 23.2 | 149M | 311 |1729 |2142 |1771 | 354 | 1 |2098 | 10k|-7.721953e+01 |-7.690710e+01 | 0.41%| 83.55% 109s| 9400 | 119 |217634 | 23.1 | 149M | 311 |1729 |2147 |1779 | 355 | 1 |2106 | 10k|-7.721953e+01 |-7.690710e+01 | 0.41%| 83.55% 110s| 9500 | 119 |218949 | 23.0 | 150M | 311 |1729 |2144 |1769 | 367 | 4 |2120 | 10k|-7.721953e+01 |-7.690710e+01 | 0.41%| 83.55% 111s| 9600 | 117 |220544 | 22.9 | 150M | 311 |1729 |2141 |1788 | 371 | 0 |2126 | 10k|-7.720261e+01 |-7.690710e+01 | 0.38%| 84.02% 112s| 9700 | 117 |221604 | 22.8 | 150M | 313 |1729 |2142 |1772 | 377 | 0 |2138 | 10k|-7.719819e+01 |-7.690710e+01 | 0.38%| 84.14% 112s| 9800 | 117 |223376 | 22.7 | 150M | 313 |1729 |2144 |1764 | 382 | 0 |2147 | 10k|-7.719570e+01 |-7.690710e+01 | 0.38%| 85.62% 113s| 9900 | 117 |224550 | 22.6 | 150M | 313 |1729 |2145 |1778 | 391 | 0 |2158 | 10k|-7.718226e+01 |-7.690710e+01 | 0.36%| 85.99% 114s| 10000 | 117 |225970 | 22.5 | 150M | 313 |1729 |2137 |1780 | 396 | 0 |2162 | 10k|-7.717684e+01 |-7.690710e+01 | 0.35%| 86.14% 114s| 10100 | 117 |226704 | 22.4 | 151M | 313 |1729 |2137 |1757 | 398 | 0 |2183 | 10k|-7.717684e+01 |-7.690710e+01 | 0.35%| 86.14% 115s| 10200 | 117 |227946 | 22.3 | 151M | 313 |1729 |2133 |1782 | 404 | 2 |2187 | 10k|-7.717684e+01 |-7.690710e+01 | 0.35%| 86.22% 116s| 10300 | 117 |230320 | 22.3 | 152M | 313 |1729 |2133 | 0 | 410 | 0 |2192 | 10k|-7.717684e+01 |-7.690710e+01 | 0.35%| 86.42% 117s| 10400 | 117 |231730 | 22.2 | 154M | 313 |1729 |2130 |1778 | 426 | 1 |2194 | 10k|-7.717684e+01 |-7.690710e+01 | 0.35%| 86.42% 118s| 10500 | 117 |233134 | 22.1 | 155M | 313 |1729 |2132 |1784 | 435 | 0 |2198 | 10k|-7.717684e+01 |-7.690710e+01 | 0.35%| 86.55% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 119s| 10600 | 117 |234747 | 22.1 | 155M | 319 |1729 |2132 | 0 | 437 | 0 |2204 | 10k|-7.717684e+01 |-7.690710e+01 | 0.35%| 86.80% 119s| 10700 | 117 |235974 | 22.0 | 155M | 319 |1729 |2130 |1777 | 440 | 0 |2213 | 10k|-7.716755e+01 |-7.690710e+01 | 0.34%| 87.06% 120s| 10800 | 117 |237861 | 22.0 | 155M | 319 |1729 |2126 |1767 | 445 | 0 |2213 | 10k|-7.716136e+01 |-7.690710e+01 | 0.33%| 87.23% 120s| 10900 | 119 |239389 | 21.9 | 155M | 319 |1729 |2126 |1788 | 453 | 2 |2213 | 10k|-7.716136e+01 |-7.690710e+01 | 0.33%| 87.23% 121s| 11000 | 119 |240655 | 21.8 | 155M | 319 |1729 |2126 |1786 | 458 | 1 |2213 | 10k|-7.716136e+01 |-7.690710e+01 | 0.33%| 87.23% 121s| 11100 | 119 |242169 | 21.8 | 155M | 319 |1729 |2126 |1784 | 459 | 0 |2215 | 10k|-7.716136e+01 |-7.690710e+01 | 0.33%| 87.40% 122s| 11200 | 119 |243392 | 21.7 | 155M | 319 |1729 |2129 | 0 | 461 | 0 |2225 | 10k|-7.716130e+01 |-7.690710e+01 | 0.33%| 87.40% 122s| 11300 | 119 |244299 | 21.6 | 155M | 319 |1729 |2128 |1766 | 465 | 0 |2234 | 10k|-7.715903e+01 |-7.690710e+01 | 0.33%| 87.47% 124s| 11400 | 121 |245501 | 21.5 | 157M | 319 |1729 |2128 |1785 | 476 | 1 |2244 | 10k|-7.715903e+01 |-7.690710e+01 | 0.33%| 87.47% 124s| 11500 | 121 |247007 | 21.4 | 158M | 319 |1729 |2128 |1779 | 479 | 1 |2257 | 10k|-7.715537e+01 |-7.690710e+01 | 0.32%| 87.57% 125s| 11600 | 119 |248509 | 21.4 | 158M | 319 |1729 |2128 |1774 | 485 | 0 |2277 | 11k|-7.715138e+01 |-7.690710e+01 | 0.32%| 87.68% 125s| 11700 | 119 |249748 | 21.3 | 158M | 334 |1729 |2128 |1787 | 492 | 1 |2283 | 11k|-7.715138e+01 |-7.690710e+01 | 0.32%| 87.68% 126s| 11800 | 117 |250920 | 21.2 | 159M | 345 |1729 |2128 |1774 | 497 | 0 |2289 | 11k|-7.715138e+01 |-7.690710e+01 | 0.32%| 87.68% 127s| 11900 | 117 |252315 | 21.1 | 159M | 345 |1729 |2126 |1782 | 506 | 1 |2302 | 11k|-7.715138e+01 |-7.690710e+01 | 0.32%| 87.68% 128s| 12000 | 117 |253647 | 21.1 | 159M | 345 |1729 |2125 |1765 | 508 | 3 |2308 | 11k|-7.715138e+01 |-7.690710e+01 | 0.32%| 87.68% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 129s| 12100 | 117 |255181 | 21.0 | 159M | 345 |1729 |2125 |1784 | 509 | 1 |2313 | 11k|-7.715138e+01 |-7.690710e+01 | 0.32%| 87.68% 130s| 12200 | 117 |256596 | 21.0 | 159M | 345 |1729 |2125 |1778 | 520 | 1 |2326 | 11k|-7.715138e+01 |-7.690710e+01 | 0.32%| 87.68% 130s| 12300 | 117 |257574 | 20.9 | 159M | 345 |1729 |2125 |1776 | 521 | 1 |2335 | 11k|-7.715138e+01 |-7.690710e+01 | 0.32%| 87.68% 131s| 12400 | 115 |258675 | 20.8 | 159M | 345 |1729 |2128 |1765 | 533 | 1 |2345 | 11k|-7.714915e+01 |-7.690710e+01 | 0.31%| 87.78% 132s| 12500 | 113 |260052 | 20.8 | 160M | 345 |1729 |2128 | 0 | 534 | 0 |2380 | 11k|-7.714915e+01 |-7.690710e+01 | 0.31%| 88.60% 132s| 12600 | 113 |261573 | 20.7 | 160M | 345 |1729 |2128 |1773 | 534 | 1 |2405 | 11k|-7.714915e+01 |-7.690710e+01 | 0.31%| 88.60% 135s| 12700 | 111 |263699 | 20.7 | 161M | 345 |1729 |2132 | 0 | 545 | 0 |2450 | 11k|-7.712343e+01 |-7.690710e+01 | 0.28%| 89.54% 136s| 12800 | 109 |265254 | 20.7 | 164M | 345 |1729 |2131 |1774 | 557 | 0 |2454 | 11k|-7.712031e+01 |-7.690710e+01 | 0.28%| 90.52% 137s| 12900 | 107 |266564 | 20.6 | 164M | 345 |1729 |2126 | 0 | 565 | 0 |2486 | 11k|-7.712031e+01 |-7.690710e+01 | 0.28%| 90.52% 138s| 13000 | 107 |267896 | 20.6 | 164M | 345 |1729 |2125 |1773 | 580 | 1 |2508 | 11k|-7.709636e+01 |-7.690710e+01 | 0.25%| 91.19% 139s| 13100 | 105 |269223 | 20.5 | 164M | 345 |1729 |2125 |1784 | 582 | 0 |2535 | 11k|-7.709636e+01 |-7.690710e+01 | 0.25%| 91.19% 139s| 13200 | 105 |270138 | 20.4 | 164M | 345 |1729 |2125 |1784 | 582 | 0 |2543 | 11k|-7.709636e+01 |-7.690710e+01 | 0.25%| 91.19% 140s| 13300 | 105 |271548 | 20.4 | 165M | 345 |1729 |2126 |1770 | 588 | 1 |2571 | 11k|-7.709636e+01 |-7.690710e+01 | 0.25%| 91.19% 140s| 13400 | 103 |272855 | 20.3 | 165M | 345 |1729 |2126 |1786 | 595 | 1 |2579 | 11k|-7.709636e+01 |-7.690710e+01 | 0.25%| 91.19% 141s| 13500 | 101 |274071 | 20.3 | 165M | 345 |1729 |2127 |1785 | 602 | 0 |2587 | 11k|-7.709636e+01 |-7.690710e+01 | 0.25%| 91.19% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 142s| 13600 | 99 |275134 | 20.2 | 165M | 345 |1729 |2127 |1785 | 604 | 0 |2603 | 11k|-7.709636e+01 |-7.690710e+01 | 0.25%| 91.19% 142s| 13700 | 97 |276979 | 20.2 | 165M | 355 |1729 |2127 |1774 | 607 | 0 |2627 | 11k|-7.707560e+01 |-7.690710e+01 | 0.22%| 91.77% 143s| 13800 | 95 |278325 | 20.1 | 165M | 355 |1729 |2128 |1769 | 612 | 1 |2644 | 11k|-7.706408e+01 |-7.690710e+01 | 0.20%| 92.09% 144s| 13900 | 91 |279719 | 20.1 | 166M | 355 |1729 |2128 |1786 | 626 | 2 |2669 | 12k|-7.706298e+01 |-7.690710e+01 | 0.20%| 92.12% 144s| 14000 | 89 |280722 | 20.0 | 166M | 355 |1729 |2128 |1761 | 627 | 0 |2678 | 12k|-7.706298e+01 |-7.690710e+01 | 0.20%| 92.13% 145s| 14100 | 89 |281470 | 19.9 | 166M | 355 |1729 |2130 |1769 | 631 | 0 |2696 | 12k|-7.705981e+01 |-7.690710e+01 | 0.20%| 92.22% 145s| 14200 | 87 |282195 | 19.8 | 166M | 355 |1729 |2130 |1767 | 633 | 1 |2705 | 12k|-7.705981e+01 |-7.690710e+01 | 0.20%| 92.26% 146s| 14300 | 87 |283184 | 19.8 | 166M | 355 |1729 |2130 |1785 | 637 | 1 |2718 | 12k|-7.705981e+01 |-7.690710e+01 | 0.20%| 92.46% 146s| 14400 | 85 |283985 | 19.7 | 166M | 355 |1729 |2129 |1776 | 637 | 0 |2719 | 12k|-7.705677e+01 |-7.690710e+01 | 0.19%| 92.54% 147s| 14500 | 83 |285263 | 19.6 | 166M | 355 |1729 |2129 |1777 | 644 | 1 |2738 | 12k|-7.705677e+01 |-7.690710e+01 | 0.19%| 92.54% 148s| 14600 | 81 |286183 | 19.6 | 166M | 355 |1729 |2130 |1789 | 650 | 2 |2762 | 12k|-7.705677e+01 |-7.690710e+01 | 0.19%| 92.54% 148s| 14700 | 77 |286920 | 19.5 | 167M | 355 |1729 |2130 | 0 | 650 | 0 |2772 | 12k|-7.705309e+01 |-7.690710e+01 | 0.19%| 92.64% 149s| 14800 | 75 |287735 | 19.4 | 167M | 355 |1729 |2127 | 0 | 652 | 0 |2791 | 12k|-7.705309e+01 |-7.690710e+01 | 0.19%| 92.64% 150s| 14900 | 73 |288917 | 19.3 | 168M | 355 |1729 |2125 |1765 | 659 | 1 |2817 | 12k|-7.704707e+01 |-7.690710e+01 | 0.18%| 94.68% 150s| 15000 | 71 |289817 | 19.3 | 168M | 355 |1729 |2124 |1775 | 659 | 0 |2833 | 12k|-7.703660e+01 |-7.690710e+01 | 0.17%| 94.97% time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 151s| 15100 | 67 |290517 | 19.2 | 168M | 355 |1729 |2124 |1769 | 662 | 0 |2853 | 12k|-7.702238e+01 |-7.690710e+01 | 0.15%| 95.37% 152s| 15200 | 61 |291894 | 19.2 | 169M | 355 |1729 |2124 |1776 | 667 | 0 |2880 | 12k|-7.699530e+01 |-7.690710e+01 | 0.11%| 96.12% 152s| 15300 | 55 |293169 | 19.1 | 169M | 355 |1729 |2124 |1780 | 670 | 1 |2916 | 12k|-7.699530e+01 |-7.690710e+01 | 0.11%| 96.25% 153s| 15400 | 43 |294138 | 19.1 | 169M | 363 |1729 |2126 |1771 | 679 | 1 |2947 | 12k|-7.697012e+01 |-7.690710e+01 | 0.08%| 96.95% 154s| 15500 | 13 |295002 | 19.0 | 170M | 363 |1729 |2125 |1777 | 684 | 0 |2995 | 12k|-7.694814e+01 |-7.690710e+01 | 0.05%| 98.85% SCIP Status : problem is solved [optimal solution found] Solving Time (sec) : 154.28 Solving Nodes : 15531 Primal Bound : -7.69071000000000e+01 (321 solutions) Dual Bound : -7.69071000000000e+01 Gap : 0.00 % objective value: -76.9071 x_1_1 1 (obj:-4.2257) x_2_7 1 (obj:-7.4703) x_3_49 1 (obj:-10.7407) x_4_49 1 (obj:-10.7407) x_5_49 1 (obj:-10.7407) x_6_49 1 (obj:-10.7407) x_7_49 1 (obj:-10.7407) x_8_14 1 (obj:-7.2819) x_9_1 1 (obj:-4.2257)