vars: 3396, constraints: 204
presolving:
(round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 21 upgd conss, 0 impls, 21 clqs
(round 2, medium)     21 del vars, 0 del conss, 0 add conss, 0 chg bounds, 21 chg sides, 21 chg coeffs, 21 upgd conss, 0 impls, 21 clqs
   (0.3s) probing: 1000/3375 (29.6%) - 0 fixings, 0 aggregations, 275868 implications, 0 bound changes
   (0.3s) probing: 1001/3375 (29.7%) - 0 fixings, 0 aggregations, 276130 implications, 0 bound changes
   (0.3s) probing aborted: 1000/1000 successive useless probings
   Deactivated symmetry handling methods, since SCIP was built without symmetry detector (SYM=none).
presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
 21 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 21 changed sides, 21 changed coefficients
 0 implications, 8113 cliques
presolved problem has 3375 variables (3375 bin, 0 int, 0 impl, 0 cont) and 204 constraints
     21 constraints of type <setppc>
    183 constraints of type <linear>
Presolving Time: 0.33

 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
t 0.3s|     1 |     0 |     0 |     - | trivial|   0 |3375 | 204 |   0 |   0 |  0 |   0 |   0 |-4.230037e+15 | 6.300630e+13 |    Inf | unknown
(node 1) unresolved numerical troubles in LP 7 -- using pseudo solution instead (loop 1)
  0.4s|     1 |     2 |   764 |     - |    30M |   0 |3375 | 299 | 204 |   0 |  0 |  94 |   0 |-4.230037e+15 | 6.300630e+13 |    Inf | unknown
  1.5s|   100 |    77 | 29013 | 288.4 |    32M |  16 |3375 | 318 | 204 |   0 |  0 | 113 |   0 |-4.216537e+15 | 6.300630e+13 |    Inf |   7.92%
  2.7s|   200 |   161 | 58190 | 290.1 |    33M |  29 |3375 | 334 | 204 |   0 |  0 | 129 |   0 |-4.206036e+15 | 6.300630e+13 |    Inf |   7.93%
  3.9s|   300 |   243 | 88790 | 295.4 |    35M |  31 |3375 | 351 | 204 |   0 |  0 | 146 |   0 |-4.186536e+15 | 6.300630e+13 |    Inf |   7.93%
  5.0s|   400 |   325 |119119 | 297.4 |    36M |  47 |3375 | 377 | 204 |   0 |  0 | 172 |   0 |-4.165536e+15 | 6.300630e+13 |    Inf |   7.93%
  5.9s|   500 |   389 |144049 | 287.7 |    38M |  62 |3375 | 428 | 204 |   0 |  0 | 224 |   0 |-4.146094e+15 | 6.300630e+13 |    Inf |   7.93%
  6.8s|   600 |   461 |169148 | 281.6 |    40M |  74 |3375 | 481 |   0 |   0 |  0 | 278 |   0 |-4.128122e+15 | 6.300630e+13 |    Inf |   7.93%
  7.5s|   700 |   531 |191144 | 272.8 |    42M |  84 |3375 | 535 | 204 |   0 |  0 | 332 |   0 |-4.114708e+15 | 6.300630e+13 |    Inf |   7.93%
  8.2s|   800 |   593 |211386 | 264.0 |    43M |  93 |3375 | 615 | 204 |   0 |  0 | 412 |   0 |-4.102708e+15 | 6.300630e+13 |    Inf |   7.93%
  8.8s|   900 |   661 |230782 | 256.2 |    46M | 102 |3375 | 703 | 204 |   0 |  0 | 500 |   0 |-4.090801e+15 | 6.300630e+13 |    Inf |   7.93%
  9.3s|  1000 |   719 |247196 | 247.0 |    47M | 109 |3375 | 810 | 204 |   0 |  0 | 609 |   0 |-4.080473e+15 | 6.300630e+13 |    Inf |   7.93%
  9.9s|  1100 |   775 |262359 | 238.3 |    49M | 116 |3375 | 967 | 204 |   0 |  0 | 766 |   0 |-4.071542e+15 | 6.300630e+13 |    Inf |   7.93%
 10.3s|  1200 |   833 |277259 | 230.9 |    50M | 123 |3375 |1101 | 204 |   0 |  0 | 902 |   0 |-4.062545e+15 | 6.300630e+13 |    Inf |   7.93%
*10.5s|  1236 |   855 |282600 | 228.5 |    LP  | 126 |3375 |1127 | 204 |   0 |  1 | 929 |   0 |-4.059545e+15 | 3.352750e+13 |    Inf |   7.93%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
*10.9s|  1296 |   903 |292249 | 225.3 |    LP  | 130 |3375 |1155 | 204 |   0 |  1 | 957 |   0 |-4.053890e+15 | 3.325513e+13 |    Inf |   7.93%
 10.9s|  1300 |   907 |293500 | 225.6 |    52M | 130 |3375 |1154 | 204 |   0 |  0 | 957 |   0 |-4.052408e+15 | 3.325513e+13 |    Inf |   7.93%
*11.0s|  1329 |   922 |296809 | 223.2 |    LP  | 132 |3375 |1178 | 204 |   0 |  1 | 981 |   0 |-4.050908e+15 | 3.281419e+13 |    Inf |   7.93%
*11.3s|  1383 |   954 |303423 | 219.2 |    LP  | 135 |3375 |1237 | 204 |   0 |  1 |1040 |   0 |-4.046423e+15 | 3.281098e+13 |    Inf |   7.93%
 11.3s|  1400 |   963 |305605 | 218.1 |    53M | 135 |3375 |1258 | 204 |   0 |  0 |1061 |   0 |-4.044924e+15 | 3.281098e+13 |    Inf |   7.93%
 11.8s|  1500 |  1005 |318250 | 212.0 |    54M | 142 |3375 |1301 | 204 |   0 |  0 |1105 |   0 |-4.037426e+15 | 3.281098e+13 |    Inf |   7.93%
 12.2s|  1600 |  1035 |330909 | 206.7 |    55M | 147 |3375 |1366 | 204 |   0 |  0 |1170 |   0 |-4.031989e+15 | 3.281098e+13 |    Inf |   7.93%
 12.6s|  1700 |  1069 |342926 | 201.6 |    56M | 152 |3375 |1416 | 204 |   0 |  0 |1220 |   0 |-4.025081e+15 | 3.281098e+13 |    Inf |   7.93%
*13.0s|  1786 |  1097 |352523 | 197.2 |    LP  | 155 |3375 |1491 | 204 |   0 |  1 |1296 |   0 |-4.020752e+15 | 3.277076e+13 |    Inf |   7.93%
 13.0s|  1800 |  1105 |355064 | 197.1 |    57M | 155 |3375 |1496 | 204 |   0 |  0 |1301 |   0 |-4.019341e+15 | 3.277076e+13 |    Inf |   7.99%
*13.3s|  1866 |  1135 |363000 | 194.4 |    LP  | 159 |3375 |1523 | 204 |   0 |  1 |1328 |   0 |-4.015277e+15 | 3.274714e+13 |    Inf |   7.99%
*13.4s|  1873 |  1140 |364477 | 194.5 |    LP  | 159 |3375 |1523 | 204 |   0 |  1 |1328 |   0 |-4.013793e+15 | 3.207914e+13 |    Inf |   7.99%
 13.5s|  1900 |  1147 |366913 | 193.0 |    58M | 162 |3375 |1529 | 204 |   0 |  0 |1334 |   0 |-4.012320e+15 | 3.207914e+13 |    Inf |   8.05%
 14.0s|  2000 |  1181 |381188 | 190.5 |    59M | 168 |3375 |1573 | 204 |   0 |  0 |1378 |   0 |-4.004256e+15 | 3.207914e+13 |    Inf |   8.05%
 14.5s|  2100 |  1223 |395207 | 188.1 |    60M | 174 |3375 |1646 | 204 |   0 |  0 |1452 |   0 |-3.996764e+15 | 3.207914e+13 |    Inf |   8.05%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
*14.6s|  2150 |  1239 |400540 | 186.2 |    LP  | 176 |3375 |1656 | 204 |   0 |  1 |1464 |   0 |-3.995275e+15 | 3.191196e+13 |    Inf |   8.05%
 14.9s|  2200 |  1249 |407345 | 185.0 |    61M | 177 |3375 |1675 |   0 |   0 |  0 |1484 |   0 |-3.992308e+15 | 3.191196e+13 |    Inf |   8.05%
 15.3s|  2300 |  1269 |419658 | 182.3 |    61M | 181 |3375 |1693 | 204 |   0 |  0 |1502 |   0 |-3.987940e+15 | 3.191196e+13 |    Inf |   8.05%
 15.8s|  2400 |  1295 |433345 | 180.4 |    62M | 185 |3375 |1713 | 204 |   0 |  0 |1522 |   0 |-3.982073e+15 | 3.191196e+13 |    Inf |   8.05%
 16.1s|  2500 |  1317 |443442 | 177.3 |    63M | 188 |3375 |1787 | 204 |   0 |  0 |1596 |   0 |-3.977605e+15 | 3.191196e+13 |    Inf |   8.05%
 16.5s|  2600 |  1337 |455372 | 175.0 |    63M | 192 |3375 |1842 | 204 |   0 |  0 |1652 |   0 |-3.973219e+15 | 3.191196e+13 |    Inf |   8.05%
 16.9s|  2700 |  1357 |467432 | 173.0 |    64M | 195 |3375 |1897 |   0 |   0 |  0 |1708 |   0 |-3.968780e+15 | 3.191196e+13 |    Inf |   8.05%
 17.3s|  2800 |  1373 |479844 | 171.3 |    64M | 198 |3375 |1924 | 204 |   0 |  0 |1735 |   0 |-3.964485e+15 | 3.191196e+13 |    Inf |   8.05%
 17.7s|  2900 |  1389 |492591 | 169.8 |    65M | 202 |3375 |1963 |   0 |   0 |  0 |1775 |   0 |-3.960368e+15 | 3.191196e+13 |    Inf |   8.05%
 18.1s|  3000 |  1407 |504223 | 168.0 |    66M | 205 |3375 |1983 | 204 |   0 |  0 |1795 |   0 |-3.955872e+15 | 3.191196e+13 |    Inf |   8.05%
 18.5s|  3100 |  1415 |515741 | 166.3 |    66M | 207 |3375 |1997 | 204 |   0 |  0 |1810 |   0 |-3.953172e+15 | 3.191196e+13 |    Inf |   8.05%
 18.9s|  3200 |  1431 |526957 | 164.6 |    67M | 211 |3375 |2040 | 204 |   0 |  0 |1854 |   0 |-3.948682e+15 | 3.191196e+13 |    Inf |   8.05%
 19.3s|  3300 |  1451 |537367 | 162.7 |    68M | 214 |3375 |2060 | 204 |   0 |  0 |1875 |   0 |-3.944257e+15 | 3.191196e+13 |    Inf |   8.05%
 19.5s|  3400 |  1471 |545052 | 160.2 |    68M | 216 |3375 |2151 | 204 |   0 |  0 |1966 |   0 |-3.941274e+15 | 3.191196e+13 |    Inf |   8.05%
 19.9s|  3500 |  1487 |556843 | 159.0 |    69M | 219 |3375 |2246 |   0 |   0 |  0 |2061 |   0 |-3.936793e+15 | 3.191196e+13 |    Inf |   8.05%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 20.4s|  3600 |  1499 |570377 | 158.4 |    69M | 222 |3375 |2285 | 204 |   0 |  0 |2100 |   0 |-3.933831e+15 | 3.191196e+13 |    Inf |   8.05%
 20.8s|  3700 |  1517 |581831 | 157.2 |    69M | 225 |3375 |2371 | 204 |   0 |  0 |2186 |   0 |-3.929440e+15 | 3.191196e+13 |    Inf |   8.05%
 21.1s|  3800 |  1529 |592275 | 155.8 |    70M | 228 |3375 |2429 | 204 |   0 |  0 |2244 |   0 |-3.926469e+15 | 3.191196e+13 |    Inf |   8.05%
 21.6s|  3900 |  1541 |605551 | 155.2 |    70M | 231 |3375 |2478 | 204 |   0 |  0 |2296 |   0 |-3.922163e+15 | 3.191196e+13 |    Inf |   8.05%
 21.9s|  4000 |  1557 |615934 | 153.9 |    70M | 233 |3375 |2522 |   0 |   0 |  0 |2341 |   0 |-3.919211e+15 | 3.191196e+13 |    Inf |   8.05%
 22.3s|  4100 |  1571 |627977 | 153.1 |    71M | 236 |3375 |2552 | 204 |   0 |  0 |2371 |   0 |-3.914784e+15 | 3.191196e+13 |    Inf |   8.05%
 22.7s|  4200 |  1583 |639326 | 152.1 |    71M | 238 |3375 |2570 | 204 |   0 |  0 |2389 |   0 |-3.911958e+15 | 3.191196e+13 |    Inf |   8.05%
 23.1s|  4300 |  1597 |651563 | 151.5 |    72M | 241 |3375 |2621 | 204 |   0 |  0 |2440 |   0 |-3.907646e+15 | 3.191196e+13 |    Inf |   8.05%
 23.5s|  4400 |  1611 |662183 | 150.4 |    72M | 244 |3375 |2640 |   0 |   0 |  0 |2459 |   0 |-3.904670e+15 | 3.191196e+13 |    Inf |   8.05%
 23.9s|  4500 |  1625 |674155 | 149.7 |    73M | 246 |3375 |2671 | 204 |   0 |  0 |2490 |   0 |-3.899574e+15 | 3.191196e+13 |    Inf |   8.05%
 24.3s|  4600 |  1635 |684842 | 148.8 |    73M | 251 |3375 |2683 | 204 |   0 |  0 |2502 |   0 |-3.895526e+15 | 3.191196e+13 |    Inf |   8.05%
 24.7s|  4700 |  1643 |695789 | 148.0 |    73M | 254 |3375 |2729 |   0 |   0 |  0 |2549 |   0 |-3.892876e+15 | 3.191196e+13 |    Inf |   8.05%
 25.1s|  4800 |  1653 |708682 | 147.6 |    74M | 256 |3375 |2745 | 204 |   0 |  0 |2565 |   0 |-3.890003e+15 | 3.191196e+13 |    Inf |   8.05%
 25.5s|  4900 |  1671 |719699 | 146.8 |    74M | 259 |3375 |2782 | 204 |   0 |  0 |2603 |   0 |-3.885557e+15 | 3.191196e+13 |    Inf |   8.05%
 25.8s|  5000 |  1685 |730363 | 146.0 |    74M | 262 |3375 |2826 | 204 |   0 |  0 |2648 |   0 |-3.882649e+15 | 3.191196e+13 |    Inf |   8.05%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 26.2s|  5100 |  1695 |740917 | 145.2 |    75M | 264 |3375 |2906 |   0 |   0 |  0 |2728 |   0 |-3.879703e+15 | 3.191196e+13 |    Inf |   8.05%
 26.6s|  5200 |  1705 |750311 | 144.2 |    75M | 266 |3375 |2960 | 204 |   0 |  0 |2782 |   0 |-3.876890e+15 | 3.191196e+13 |    Inf |   8.05%
 27.0s|  5300 |  1715 |762262 | 143.8 |    75M | 268 |3375 |2980 | 204 |   0 |  0 |2802 |   0 |-3.873932e+15 | 3.191196e+13 |    Inf |   8.05%
 27.4s|  5400 |  1721 |774991 | 143.5 |    76M | 270 |3375 |2998 | 204 |   0 |  0 |2820 |   0 |-3.870956e+15 | 3.191196e+13 |    Inf |   8.05%
 27.9s|  5500 |  1731 |788686 | 143.3 |    76M | 272 |3375 |3019 | 204 |   0 |  0 |2842 |   0 |-3.866646e+15 | 3.191196e+13 |    Inf |   8.05%
 28.3s|  5600 |  1739 |801152 | 143.0 |    76M | 276 |3375 |3057 | 204 |   0 |  0 |2880 |   0 |-3.863660e+15 | 3.191196e+13 |    Inf |   8.05%
 28.7s|  5700 |  1745 |813741 | 142.7 |    77M | 278 |3375 |3105 |   0 |   0 |  0 |2928 |   0 |-3.860903e+15 | 3.191196e+13 |    Inf |   8.05%
 29.2s|  5800 |  1753 |825996 | 142.4 |    77M | 279 |3375 |3127 | 204 |   0 |  0 |2950 |   0 |-3.858056e+15 | 3.191196e+13 |    Inf |   8.05%
 29.5s|  5900 |  1763 |836144 | 141.7 |    77M | 283 |3375 |3169 | 204 |   0 |  0 |2992 |   0 |-3.855086e+15 | 3.191196e+13 |    Inf |   8.05%
 29.9s|  6000 |  1775 |846054 | 141.0 |    78M | 285 |3375 |3226 | 204 |   0 |  0 |3049 |   0 |-3.852108e+15 | 3.191196e+13 |    Inf |   8.05%
 30.2s|  6100 |  1781 |857755 | 140.6 |    78M | 287 |3375 |3257 | 204 |   0 |  0 |3080 |   0 |-3.849237e+15 | 3.191196e+13 |    Inf |   8.05%
 30.6s|  6200 |  1791 |868971 | 140.1 |    79M | 289 |3375 |3314 | 204 |   0 |  0 |3137 |   0 |-3.846257e+15 | 3.191196e+13 |    Inf |   8.05%
 31.0s|  6300 |  1795 |879799 | 139.6 |    79M | 291 |3375 |3348 | 204 |   0 |  0 |3171 |   0 |-3.844768e+15 | 3.191196e+13 |    Inf |   8.05%
 31.3s|  6400 |  1803 |889281 | 138.9 |    79M | 293 |3375 |3392 | 204 |   0 |  0 |3215 |   0 |-3.841796e+15 | 3.191196e+13 |    Inf |   8.05%
 31.7s|  6500 |  1811 |900062 | 138.4 |    80M | 295 |3375 |3413 | 204 |   0 |  0 |3236 |   0 |-3.838805e+15 | 3.191196e+13 |    Inf |   8.05%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 32.1s|  6600 |  1819 |910465 | 137.9 |    80M | 297 |3375 |3428 | 204 |   0 |  0 |3251 |   0 |-3.835104e+15 | 3.191196e+13 |    Inf |   8.05%
 32.6s|  6700 |  1819 |923142 | 137.7 |    80M | 326 |3375 |3437 | 204 |   0 |  0 |3260 |   0 |-3.835104e+15 | 3.191196e+13 |    Inf |   8.05%
 33.0s|  6800 |  1819 |934593 | 137.4 |    80M | 376 |3375 |3442 | 204 |   0 |  0 |3265 |   0 |-3.835104e+15 | 3.191196e+13 |    Inf |   8.05%
 33.4s|  6900 |  1823 |945064 | 136.9 |    80M | 400 |3375 |3483 | 204 |   0 |  0 |3306 |   0 |-3.833618e+15 | 3.191196e+13 |    Inf |   8.05%
 33.8s|  7000 |  1827 |953951 | 136.2 |    81M | 400 |3375 |3544 | 204 |   0 |  0 |3367 |   0 |-3.832237e+15 | 3.191196e+13 |    Inf |   8.05%
 34.2s|  7100 |  1837 |966338 | 136.1 |    81M | 400 |3375 |3581 | 204 |   0 |  0 |3404 |   0 |-3.829243e+15 | 3.191196e+13 |    Inf |   8.05%
 34.5s|  7200 |  1841 |977164 | 135.7 |    82M | 400 |3375 |3649 | 204 |   0 |  0 |3472 |   0 |-3.827816e+15 | 3.191196e+13 |    Inf |   8.05%
 34.8s|  7300 |  1847 |985213 | 134.9 |    82M | 400 |3375 |3765 | 204 |   0 |  0 |3588 |   0 |-3.826435e+15 | 3.191196e+13 |    Inf |   8.05%
 35.1s|  7400 |  1859 |993401 | 134.2 |    82M | 400 |3375 |3784 | 204 |   0 |  0 |3607 |   0 |-3.823487e+15 | 3.191196e+13 |    Inf |   8.05%
 35.4s|  7500 |  1869 |  1000k| 133.4 |    83M | 400 |3375 |3837 | 204 |   0 |  0 |3660 |   0 |-3.820621e+15 | 3.191196e+13 |    Inf |   8.05%
 35.6s|  7600 |  1877 |  1007k| 132.5 |    83M | 400 |3375 |3869 | 204 |   0 |  0 |3692 |   0 |-3.819125e+15 | 3.191196e+13 |    Inf |   8.05%
 35.9s|  7700 |  1887 |  1015k| 131.8 |    83M | 400 |3375 |3941 | 204 |   0 |  0 |3764 |   0 |-3.816131e+15 | 3.191196e+13 |    Inf |   8.05%
 36.1s|  7800 |  1895 |  1022k| 131.0 |    83M | 400 |3375 |3987 | 204 |   0 |  0 |3810 |   0 |-3.814636e+15 | 3.191196e+13 |    Inf |   8.05%
 36.5s|  7900 |  1905 |  1033k| 130.7 |    83M | 400 |3375 |4038 | 204 |   0 |  0 |3861 |   0 |-3.811657e+15 | 3.191196e+13 |    Inf |   8.05%
 36.8s|  8000 |  1913 |  1041k| 130.2 |    84M | 400 |3375 |4060 | 204 |   0 |  0 |3883 |   0 |-3.810231e+15 | 3.191196e+13 |    Inf |   8.05%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 37.1s|  8100 |  1921 |  1051k| 129.8 |    84M | 400 |3375 |4118 |   0 |   0 |  0 |3943 |   0 |-3.807302e+15 | 3.191196e+13 |    Inf |   8.05%
 37.4s|  8200 |  1931 |  1062k| 129.5 |    84M | 400 |3375 |4180 | 204 |   0 |  0 |4005 |   0 |-3.805820e+15 | 3.191196e+13 |    Inf |   8.05%
 37.7s|  8300 |  1941 |  1071k| 129.0 |    84M | 400 |3375 |4246 | 204 |   0 |  0 |4072 |   0 |-3.802952e+15 | 3.191196e+13 |    Inf |   8.05%
 38.0s|  8400 |  1947 |  1077k| 128.2 |    85M | 400 |3375 |4330 |   0 |   0 |  0 |4156 |   0 |-3.801458e+15 | 3.191196e+13 |    Inf |   8.05%
 38.2s|  8500 |  1953 |  1084k| 127.6 |    85M | 400 |3375 |4425 | 204 |   0 |  0 |4251 |   0 |-3.799963e+15 | 3.191196e+13 |    Inf |   8.05%
 38.6s|  8600 |  1963 |  1094k| 127.3 |    86M | 400 |3375 |4466 | 204 |   0 |  0 |4292 |   0 |-3.796983e+15 | 3.191196e+13 |    Inf |   8.05%
 38.9s|  8700 |  1969 |  1105k| 127.0 |    86M | 400 |3375 |4519 | 204 |   0 |  0 |4345 |   0 |-3.795519e+15 | 3.191196e+13 |    Inf |   8.05%
 39.2s|  8800 |  1975 |  1115k| 126.7 |    86M | 400 |3375 |4540 | 204 |   0 |  0 |4369 |   0 |-3.794026e+15 | 3.191196e+13 |    Inf |   8.05%
 39.6s|  8900 |  1981 |  1126k| 126.5 |    86M | 400 |3375 |4580 | 204 |   0 |  0 |4409 |   0 |-3.791199e+15 | 3.191196e+13 |    Inf |   8.05%
 39.9s|  9000 |  1987 |  1135k| 126.1 |    86M | 400 |3375 |4645 | 204 |   0 |  0 |4474 |   0 |-3.789725e+15 | 3.191196e+13 |    Inf |   8.05%
 40.3s|  9100 |  1991 |  1145k| 125.8 |    86M | 400 |3375 |4658 | 204 |   0 |  0 |4487 |   0 |-3.788247e+15 | 3.191196e+13 |    Inf |   8.05%
 40.6s|  9200 |  1995 |  1153k| 125.4 |    86M | 400 |3375 |4709 | 204 |   0 |  0 |4538 |   0 |-3.786830e+15 | 3.191196e+13 |    Inf |   8.05%
 41.0s|  9300 |  2001 |  1163k| 125.1 |    86M | 400 |3375 |4749 |   0 |   0 |  0 |4578 |   0 |-3.783873e+15 | 3.191196e+13 |    Inf |   8.05%
 41.3s|  9400 |  2009 |  1172k| 124.7 |    87M | 400 |3375 |4802 | 204 |   0 |  0 |4631 |   0 |-3.782517e+15 | 3.191196e+13 |    Inf |   8.05%
 41.6s|  9500 |  2015 |  1181k| 124.4 |    87M | 400 |3375 |4858 | 204 |   0 |  0 |4687 |   0 |-3.781131e+15 | 3.191196e+13 |    Inf |   8.05%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 41.9s|  9600 |  2027 |  1191k| 124.0 |    87M | 400 |3375 |4903 | 204 |   0 |  0 |4732 |   0 |-3.778244e+15 | 3.191196e+13 |    Inf |   8.05%
 42.2s|  9700 |  2037 |  1199k| 123.6 |    87M | 400 |3375 |4968 | 204 |   0 |  0 |4798 |   0 |-3.775258e+15 | 3.191196e+13 |    Inf |   8.05%
 42.4s|  9800 |  2043 |  1207k| 123.2 |    88M | 400 |3375 |5043 | 204 |   0 |  0 |4873 |   0 |-3.773759e+15 | 3.191196e+13 |    Inf |   8.05%
 42.8s|  9900 |  2049 |  1218k| 123.0 |    88M | 400 |3375 |5076 | 204 |   0 |  0 |4907 |   0 |-3.772294e+15 | 3.191196e+13 |    Inf |   8.05%
 43.2s| 10000 |  2055 |  1230k| 123.0 |    88M | 400 |3375 |5106 | 204 |   0 |  0 |4937 |   0 |-3.770847e+15 | 3.191196e+13 |    Inf |   8.05%
 43.7s| 10100 |  2059 |  1242k| 123.0 |    88M | 400 |3375 |5115 | 204 |   0 |  0 |4946 |   0 |-3.768229e+15 | 3.191196e+13 |    Inf |   8.05%
 44.1s| 10200 |  2061 |  1255k| 123.0 |    88M | 400 |3375 |5138 | 204 |   0 |  0 |4970 |   0 |-3.766730e+15 | 3.191196e+13 |    Inf |   8.05%
 44.6s| 10300 |  2067 |  1267k| 123.1 |    88M | 400 |3375 |5139 | 204 |   0 |  0 |4974 |   0 |-3.763962e+15 | 3.191196e+13 |    Inf |   8.05%
 45.0s| 10400 |  2069 |  1279k| 123.0 |    89M | 400 |3375 |5164 | 204 |   0 |  0 |4999 |   0 |-3.762504e+15 | 3.191196e+13 |    Inf |   8.05%
 45.4s| 10500 |  2075 |  1290k| 122.9 |    89M | 400 |3375 |5192 | 204 |   0 |  0 |5028 |   0 |-3.761094e+15 | 3.191196e+13 |    Inf |   8.05%
 45.7s| 10600 |  2081 |  1299k| 122.6 |    89M | 400 |3375 |5219 | 204 |   0 |  0 |5056 |   0 |-3.759771e+15 | 3.191196e+13 |    Inf |   8.05%
 46.1s| 10700 |  2089 |  1309k| 122.4 |    89M | 400 |3375 |5277 | 204 |   0 |  0 |5118 |   0 |-3.756787e+15 | 3.191196e+13 |    Inf |   8.05%
 46.5s| 10800 |  2091 |  1322k| 122.4 |    90M | 400 |3375 |5299 | 204 |   0 |  0 |5141 |   0 |-3.755402e+15 | 3.191196e+13 |    Inf |   8.05%
 46.9s| 10900 |  2095 |  1333k| 122.3 |    90M | 400 |3375 |5336 |   0 |   0 |  0 |5181 |   0 |-3.753920e+15 | 3.191196e+13 |    Inf |   8.05%
 47.3s| 11000 |  2103 |  1345k| 122.3 |    90M | 400 |3375 |5346 | 204 |   0 |  0 |5193 |   0 |-3.751018e+15 | 3.191196e+13 |    Inf |   8.05%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 47.6s| 11100 |  2111 |  1352k| 121.8 |    90M | 400 |3375 |5442 | 204 |   0 |  0 |5291 |   0 |-3.749574e+15 | 3.191196e+13 |    Inf |   8.05%
 47.8s| 11200 |  2117 |  1360k| 121.5 |    90M | 400 |3375 |5499 |   0 |   0 |  0 |5350 |   0 |-3.748156e+15 | 3.191196e+13 |    Inf |   8.05%
 48.1s| 11300 |  2133 |  1368k| 121.1 |    90M | 400 |3375 |5592 | 204 |   0 |  0 |5444 |   0 |-3.745165e+15 | 3.191196e+13 |    Inf |   8.05%
 48.4s| 11400 |  2143 |  1373k| 120.5 |    91M | 400 |3375 |5698 | 204 |   0 |  0 |5550 |   0 |-3.743672e+15 | 3.191196e+13 |    Inf |   8.05%
 48.8s| 11500 |  2159 |  1386k| 120.5 |    91M | 400 |3375 |5707 | 204 |   0 |  0 |5560 |   0 |-3.737872e+15 | 3.191196e+13 |    Inf |   8.05%
 49.1s| 11600 |  2169 |  1394k| 120.1 |    91M | 400 |3375 |5765 | 204 |   0 |  0 |5621 |   0 |-3.735373e+15 | 3.191196e+13 |    Inf |   8.05%
 49.4s| 11700 |  2173 |  1404k| 120.0 |    92M | 400 |3375 |5814 | 204 |   0 |  0 |5672 |   0 |-3.733907e+15 | 3.191196e+13 |    Inf |   8.05%
 49.8s| 11800 |  2179 |  1417k| 120.1 |    92M | 400 |3375 |5830 | 204 |   0 |  0 |5689 |   0 |-3.731053e+15 | 3.191196e+13 |    Inf |   8.05%
 50.2s| 11900 |  2183 |  1429k| 120.1 |    93M | 400 |3375 |5844 | 204 |   0 |  0 |5704 |   0 |-3.729571e+15 | 3.191196e+13 |    Inf |   8.05%
 50.6s| 12000 |  2191 |  1440k| 120.0 |    93M | 400 |3375 |5911 | 204 |   0 |  0 |5772 |   0 |-3.728077e+15 | 3.191196e+13 |    Inf |   8.05%
 51.0s| 12100 |  2201 |  1451k| 120.0 |    93M | 400 |3375 |5942 | 204 |   0 |  0 |5806 |   0 |-3.725106e+15 | 3.191196e+13 |    Inf |   8.05%
 51.3s| 12200 |  2205 |  1461k| 119.8 |    93M | 400 |3375 |5967 | 204 |   0 |  0 |5831 |   0 |-3.723659e+15 | 3.191196e+13 |    Inf |   8.05%
 51.6s| 12300 |  2213 |  1471k| 119.6 |    93M | 400 |3375 |6000 | 204 |   0 |  0 |5866 |   0 |-3.722168e+15 | 3.191196e+13 |    Inf |   8.05%
 52.0s| 12400 |  2219 |  1482k| 119.5 |    94M | 400 |3375 |6039 | 204 |   0 |  0 |5905 |   0 |-3.719196e+15 | 3.191196e+13 |    Inf |   8.05%
 52.3s| 12500 |  2227 |  1491k| 119.3 |    94M | 400 |3375 |6084 | 204 |   0 |  0 |5951 |   0 |-3.716356e+15 | 3.191196e+13 |    Inf |   8.05%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 52.7s| 12600 |  2235 |  1502k| 119.2 |    94M | 400 |3375 |6107 | 204 |   0 |  0 |5974 |   0 |-3.714868e+15 | 3.191196e+13 |    Inf |   8.05%
 53.0s| 12700 |  2239 |  1511k| 119.0 |    94M | 400 |3375 |6182 | 204 |   0 |  0 |6050 |   0 |-3.713368e+15 | 3.191196e+13 |    Inf |   8.05%
 53.4s| 12800 |  2241 |  1523k| 119.0 |    94M | 400 |3375 |6214 |   0 |   0 |  0 |6082 |   0 |-3.712065e+15 | 3.191196e+13 |    Inf |   8.05%
 53.8s| 12900 |  2249 |  1534k| 119.0 |    94M | 400 |3375 |6231 |   0 |   0 |  0 |6099 |   0 |-3.708056e+15 | 3.191196e+13 |    Inf |   8.05%
 54.1s| 13000 |  2259 |  1542k| 118.6 |    94M | 400 |3375 |6297 | 204 |   0 |  0 |6169 |   0 |-3.706593e+15 | 3.191196e+13 |    Inf |   8.05%
 54.4s| 13100 |  2263 |  1552k| 118.5 |    94M | 400 |3375 |6328 | 204 |   0 |  0 |6201 |   0 |-3.705107e+15 | 3.191196e+13 |    Inf |   8.05%
 54.8s| 13200 |  2277 |  1562k| 118.3 |    95M | 401 |3375 |6406 |   0 |   0 |  0 |6280 |   0 |-3.702159e+15 | 3.191196e+13 |    Inf |   8.05%
 55.1s| 13300 |  2285 |  1570k| 118.1 |    95M | 402 |3375 |6489 | 204 |   0 |  0 |6364 |   0 |-3.700660e+15 | 3.191196e+13 |    Inf |   8.05%
 55.5s| 13400 |  2295 |  1581k| 118.0 |    95M | 403 |3375 |6541 | 204 |   0 |  0 |6418 |   0 |-3.697683e+15 | 3.191196e+13 |    Inf |   8.05%
 55.8s| 13500 |  2301 |  1591k| 117.9 |    96M | 405 |3375 |6574 | 204 |   0 |  0 |6451 |   0 |-3.696299e+15 | 3.191196e+13 |    Inf |   8.05%
 56.1s| 13600 |  2305 |  1601k| 117.7 |    96M | 406 |3375 |6580 | 204 |   0 |  0 |6458 |   0 |-3.694802e+15 | 3.191196e+13 |    Inf |   8.05%
 56.5s| 13700 |  2317 |  1612k| 117.6 |    96M | 408 |3375 |6584 | 204 |   0 |  0 |6467 |   0 |-3.693679e+15 | 3.191196e+13 |    Inf |   8.09%
 56.7s| 13800 |  2325 |  1618k| 117.2 |    96M | 408 |3375 |6745 |   0 |   0 |  0 |6629 |   0 |-3.693315e+15 | 3.191196e+13 |    Inf |   8.30%
 57.0s| 13900 |  2339 |  1625k| 116.9 |    96M | 409 |3375 |6820 | 204 |   0 |  0 |6704 |   0 |-3.691816e+15 | 3.191196e+13 |    Inf |   8.37%
 57.2s| 14000 |  2351 |  1630k| 116.4 |    97M | 409 |3375 |6968 | 204 |   0 |  0 |6853 |   0 |-3.690822e+15 | 3.191196e+13 |    Inf |   8.42%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 57.5s| 14100 |  2363 |  1638k| 116.2 |    97M | 411 |3375 |7012 | 204 |   0 |  0 |6898 |   0 |-3.688862e+15 | 3.191196e+13 |    Inf |   8.50%
 57.8s| 14200 |  2375 |  1647k| 116.0 |    97M | 413 |3375 |7098 | 204 |   0 |  0 |6985 |   0 |-3.687363e+15 | 3.191196e+13 |    Inf |   8.54%
 58.1s| 14300 |  2389 |  1655k| 115.7 |    98M | 414 |3375 |7223 | 204 |   0 |  0 |7112 |   0 |-3.686177e+15 | 3.191196e+13 |    Inf |   8.58%
 58.3s| 14400 |  2397 |  1660k| 115.3 |    98M | 414 |3375 |7281 | 204 |   0 |  0 |7171 |   0 |-3.685866e+15 | 3.191196e+13 |    Inf |   8.59%
 58.6s| 14500 |  2407 |  1668k| 115.1 |    98M | 414 |3375 |7404 | 204 |   0 |  0 |7299 |   0 |-3.684919e+15 | 3.191196e+13 |    Inf |   8.65%
 58.8s| 14600 |  2417 |  1673k| 114.6 |    98M | 414 |3375 |7544 |   0 |   0 |  0 |7440 |   0 |-3.684686e+15 | 3.191196e+13 |    Inf |   8.72%
*59.0s| 14651 |  2426 |  1677k| 114.4 |    LP  | 414 |3375 |7618 | 204 |   0 |  1 |7514 |   0 |-3.684490e+15 | 3.190642e+13 |    Inf |   8.74%
 59.1s| 14700 |  2433 |  1682k| 114.4 |    98M | 414 |3375 |7635 | 204 |   0 |  0 |7532 |   0 |-3.683604e+15 | 3.190642e+13 |    Inf |   8.74%
 59.5s| 14800 |  2445 |  1692k| 114.3 |    99M | 414 |3375 |7678 | 204 |   0 |  0 |7578 |   0 |-3.683485e+15 | 3.190642e+13 |    Inf |   8.81%
*59.5s| 14844 |  2445 |  1693k| 114.0 |    LP  | 414 |3375 |7756 | 204 |   0 |  1 |7656 |   0 |-3.683485e+15 | 3.185365e+13 |    Inf |   8.81%
*59.7s| 14892 |  2453 |  1696k| 113.9 |    LP  | 414 |3375 |7784 | 204 |   0 |  1 |7684 |   0 |-3.683309e+15 | 3.182821e+13 |    Inf |   8.82%
 59.7s| 14900 |  2457 |  1697k| 113.9 |    99M | 414 |3375 |7784 | 204 |   0 |  0 |7684 |   0 |-3.683008e+15 | 3.182821e+13 |    Inf |   8.85%
*60.0s| 14955 |  2464 |  1704k| 114.0 |    LP  | 414 |3375 |7793 | 204 |   0 |  1 |7693 |   0 |-3.681523e+15 | 3.173202e+13 |    Inf |   8.85%
 60.2s| 15000 |  2467 |  1711k| 114.1 |   100M | 414 |3375 |7793 | 204 |   0 |  0 |7693 |   0 |-3.680881e+15 | 3.173202e+13 |    Inf |   8.88%
 60.5s| 15100 |  2477 |  1719k| 113.8 |   100M | 418 |3375 |7891 | 204 |   0 |  0 |7793 |   0 |-3.680727e+15 | 3.173202e+13 |    Inf |   8.88%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 60.9s| 15200 |  2487 |  1729k| 113.7 |   100M | 418 |3375 |7955 | 204 |   0 |  0 |7861 |   0 |-3.678082e+15 | 3.173202e+13 |    Inf |   8.93%
*61.0s| 15239 |  2486 |  1730k| 113.5 |    LP  | 418 |3375 |8027 | 204 |   0 |  1 |7933 |   0 |-3.678082e+15 | 3.165542e+13 |    Inf |   8.93%
 61.1s| 15300 |  2495 |  1733k| 113.3 |   100M | 418 |3375 |8062 | 204 |   0 |  0 |7969 |   0 |-3.677720e+15 | 3.165542e+13 |    Inf |   8.93%
 61.6s| 15400 |  2499 |  1745k| 113.3 |   101M | 422 |3375 |8102 | 204 |   0 |  0 |8013 |   0 |-3.676286e+15 | 3.165542e+13 |    Inf |   8.93%
*61.7s| 15444 |  2503 |  1747k| 113.1 |    LP  | 422 |3375 |8114 | 204 |   0 |  1 |8025 |   0 |-3.676286e+15 | 3.164914e+13 |    Inf |   8.93%
 61.9s| 15500 |  2507 |  1753k| 113.1 |   101M | 422 |3375 |8145 | 204 |   0 |  0 |8058 |   0 |-3.676230e+15 | 3.164914e+13 |    Inf |   8.93%
Restart triggered after 50 consecutive estimations that the remaining tree will be large
(run 1, node 15578) performing user restart

presolving:
(round 1, fast)       0 del vars, 1523 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 8113 clqs
(round 2, exhaustive) 0 del vars, 2512 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 307 chg coeffs, 0 upgd conss, 0 impls, 8113 clqs
(round 3, exhaustive) 0 del vars, 2522 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 307 chg coeffs, 0 upgd conss, 0 impls, 8113 clqs
presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
 0 deleted vars, 2522 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 307 changed coefficients
 0 implications, 8113 cliques
presolved problem has 3375 variables (3375 bin, 0 int, 0 impl, 0 cont) and 5653 constraints
     30 constraints of type <knapsack>
   2707 constraints of type <setppc>
    187 constraints of type <linear>
   2729 constraints of type <logicor>
Presolving Time: 0.43
transformed 15/15 original solutions to the transformed problem space

(node 1) unresolved numerical troubles in LP 14144 -- using pseudo solution instead (loop 1)
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 62.4s|     1 |     2 |  1763k|     - |   109M |   0 |3375 |5653 | 204 |   0 |  0 |8090 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf | unknown
 63.4s|   100 |    69 |  1788k| 114.0 |   109M |  17 |3375 |5658 | 204 |   0 |  0 |8095 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.02%
 64.2s|   200 |   115 |  1810k| 114.7 |   109M |  27 |3375 |5663 | 204 |   0 |  0 |8114 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 65.1s|   300 |   171 |  1835k| 115.5 |   110M |  31 |3375 |5633 | 204 |   0 |  0 |8117 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 65.9s|   400 |   219 |  1857k| 116.2 |   110M |  49 |3375 |5581 | 204 |   0 |  0 |8121 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 66.7s|   500 |   267 |  1880k| 116.9 |   110M |  55 |3375 |5514 | 204 |   0 |  0 |8125 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 67.4s|   600 |   293 |  1899k| 117.3 |   110M |  69 |3375 |5473 | 204 |   0 |  0 |8143 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 68.2s|   700 |   317 |  1918k| 117.8 |   110M |  71 |3375 |5424 | 204 |   0 |  0 |8150 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 68.9s|   800 |   347 |  1938k| 118.3 |   110M |  83 |3375 |5364 | 204 |   0 |  0 |8164 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 69.7s|   900 |   369 |  1957k| 118.7 |   110M |  83 |3375 |5234 | 204 |   0 |  0 |8193 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 70.3s|  1000 |   393 |  1974k| 119.1 |   111M |  83 |3375 |5143 | 204 |   0 |  0 |8218 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 71.0s|  1100 |   403 |  1990k| 119.3 |   111M | 113 |3375 |5074 | 204 |   0 |  0 |8232 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 71.6s|  1200 |   419 |  2006k| 119.5 |   111M | 131 |3375 |5010 | 204 |   0 |  0 |8267 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 72.2s|  1300 |   437 |  2022k| 119.8 |   111M | 131 |3375 |4926 | 204 |   0 |  0 |8276 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 72.7s|  1400 |   455 |  2036k| 119.9 |   111M | 131 |3375 |4875 | 204 |   0 |  0 |8292 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 73.3s|  1500 |   467 |  2051k| 120.1 |   111M | 131 |3375 |4815 | 204 |   0 |  0 |8304 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 73.9s|  1600 |   485 |  2067k| 120.3 |   111M | 131 |3375 |4763 | 204 |   0 |  0 |8326 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 74.4s|  1700 |   505 |  2081k| 120.4 |   111M | 131 |3375 |4711 | 204 |   0 |  0 |8355 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 75.0s|  1800 |   519 |  2096k| 120.6 |   111M | 131 |3375 |4676 | 204 |   0 |  0 |8372 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 75.6s|  1900 |   533 |  2112k| 120.8 |   111M | 131 |3375 |4634 | 204 |   0 |  0 |8389 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 76.1s|  2000 |   549 |  2127k| 121.0 |   111M | 131 |3375 |4601 | 204 |   0 |  0 |8400 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 76.7s|  2100 |   563 |  2143k| 121.2 |   111M | 143 |3375 |4548 | 204 |   0 |  0 |8414 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 77.3s|  2200 |   575 |  2158k| 121.4 |   111M | 193 |3375 |4535 | 204 |   0 |  0 |8433 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 77.9s|  2300 |   593 |  2175k| 121.6 |   111M | 219 |3375 |4528 | 204 |   0 |  0 |8453 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 78.4s|  2400 |   599 |  2187k| 121.6 |   111M | 219 |3375 |4497 | 204 |   0 |  0 |8469 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 78.9s|  2500 |   601 |  2199k| 121.6 |   111M | 219 |3375 |4463 | 204 |   0 |  0 |8469 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 79.4s|  2600 |   609 |  2212k| 121.7 |   111M | 219 |3375 |4440 | 204 |   0 |  0 |8480 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 80.0s|  2700 |   617 |  2227k| 121.8 |   111M | 219 |3375 |4424 | 204 |   0 |  0 |8493 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 80.4s|  2800 |   621 |  2238k| 121.8 |   111M | 219 |3375 |4408 | 204 |   0 |  0 |8500 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 80.9s|  2900 |   625 |  2250k| 121.7 |   111M | 219 |3375 |4398 | 204 |   0 |  0 |8508 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 81.4s|  3000 |   635 |  2264k| 121.8 |   112M | 219 |3375 |4406 | 204 |   0 |  0 |8526 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 81.9s|  3100 |   641 |  2276k| 121.8 |   112M | 219 |3375 |4400 |   0 |   0 |  0 |8536 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 82.4s|  3200 |   651 |  2290k| 121.9 |   112M | 219 |3375 |4417 | 204 |   0 |  0 |8561 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 83.0s|  3300 |   659 |  2304k| 122.0 |   112M | 219 |3375 |4423 | 204 |   0 |  0 |8581 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 83.5s|  3400 |   663 |  2318k| 122.1 |   112M | 219 |3375 |4423 | 204 |   0 |  0 |8589 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 84.0s|  3500 |   663 |  2329k| 122.0 |   112M | 239 |3375 |4424 | 204 |   0 |  0 |8597 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 84.4s|  3600 |   665 |  2340k| 122.0 |   112M | 287 |3375 |4431 | 204 |   0 |  0 |8609 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 84.8s|  3700 |   671 |  2351k| 121.9 |   112M | 287 |3375 |4441 | 204 |   0 |  0 |8621 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 85.3s|  3800 |   679 |  2362k| 121.9 |   112M | 287 |3375 |4459 | 204 |   0 |  0 |8643 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 85.7s|  3900 |   685 |  2373k| 121.8 |   112M | 287 |3375 |4490 | 204 |   0 |  0 |8679 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 86.1s|  4000 |   691 |  2385k| 121.8 |   112M | 287 |3375 |4503 | 204 |   0 |  0 |8694 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 86.6s|  4100 |   693 |  2399k| 121.9 |   112M | 287 |3375 |4508 | 204 |   0 |  0 |8699 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 87.1s|  4200 |   693 |  2411k| 121.9 |   112M | 287 |3375 |4505 | 204 |   0 |  0 |8701 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 87.6s|  4300 |   693 |  2422k| 121.8 |   112M | 287 |3375 |4505 | 204 |   0 |  0 |8703 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 88.0s|  4400 |   693 |  2432k| 121.7 |   112M | 294 |3375 |4507 | 204 |   0 |  0 |8705 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 88.5s|  4500 |   697 |  2444k| 121.7 |   112M | 307 |3375 |4528 | 204 |   0 |  0 |8726 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 89.0s|  4600 |   703 |  2456k| 121.7 |   112M | 307 |3375 |4538 | 204 |   0 |  0 |8736 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 89.5s|  4700 |   707 |  2469k| 121.7 |   112M | 307 |3375 |4566 | 204 |   0 |  0 |8764 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 90.0s|  4800 |   707 |  2482k| 121.8 |   112M | 307 |3375 |4580 | 204 |   0 |  0 |8779 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 90.5s|  4900 |   707 |  2495k| 121.8 |   112M | 307 |3375 |4601 |   0 |   0 |  0 |8800 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 91.1s|  5000 |   709 |  2509k| 121.9 |   112M | 321 |3375 |4615 | 204 |   0 |  0 |8814 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 91.6s|  5100 |   713 |  2522k| 121.9 |   112M | 321 |3375 |4620 | 204 |   0 |  0 |8819 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 92.2s|  5200 |   719 |  2539k| 122.2 |   112M | 321 |3375 |4631 | 204 |   0 |  0 |8830 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 92.7s|  5300 |   721 |  2552k| 122.2 |   112M | 321 |3375 |4655 |   0 |   0 |  0 |8855 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 93.2s|  5400 |   727 |  2566k| 122.3 |   112M | 321 |3375 |4687 | 204 |   0 |  0 |8887 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 93.9s|  5500 |   739 |  2583k| 122.5 |   112M | 321 |3375 |4695 | 204 |   0 |  0 |8895 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 94.4s|  5600 |   739 |  2597k| 122.6 |   112M | 321 |3375 |4705 | 204 |   0 |  0 |8905 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 94.8s|  5700 |   743 |  2609k| 122.6 |   112M | 327 |3375 |4735 | 204 |   0 |  0 |8935 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 95.4s|  5800 |   745 |  2621k| 122.6 |   112M | 327 |3375 |4747 | 204 |   0 |  0 |8950 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 95.8s|  5900 |   745 |  2633k| 122.6 |   112M | 327 |3375 |4767 | 204 |   0 |  0 |8970 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 96.3s|  6000 |   745 |  2644k| 122.5 |   112M | 327 |3375 |4795 | 204 |   0 |  0 |8998 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 96.7s|  6100 |   747 |  2656k| 122.5 |   112M | 327 |3375 |4805 | 204 |   0 |  0 |9010 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 97.2s|  6200 |   753 |  2669k| 122.5 |   113M | 327 |3375 |4816 | 204 |   0 |  0 |9023 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 97.7s|  6300 |   757 |  2681k| 122.5 |   113M | 327 |3375 |4827 | 204 |   0 |  0 |9035 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 98.1s|  6400 |   763 |  2692k| 122.5 |   113M | 327 |3375 |4829 | 204 |   0 |  0 |9037 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 98.6s|  6500 |   767 |  2704k| 122.5 |   113M | 327 |3375 |4860 | 204 |   0 |  0 |9071 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 99.1s|  6600 |   771 |  2717k| 122.5 |   113M | 327 |3375 |4874 | 204 |   0 |  0 |9085 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 99.6s|  6700 |   775 |  2729k| 122.5 |   113M | 327 |3375 |4878 | 204 |   0 |  0 |9089 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  100s|  6800 |   781 |  2741k| 122.5 |   113M | 327 |3375 |4884 | 204 |   0 |  0 |9095 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  101s|  6900 |   787 |  2754k| 122.5 |   113M | 351 |3375 |4892 | 204 |   0 |  0 |9103 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  101s|  7000 |   793 |  2768k| 122.6 |   113M | 357 |3375 |4898 | 204 |   0 |  0 |9109 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  102s|  7100 |   793 |  2780k| 122.6 |   113M | 357 |3375 |4899 | 204 |   0 |  0 |9110 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  102s|  7200 |   795 |  2795k| 122.7 |   113M | 357 |3375 |4899 | 204 |   0 |  0 |9110 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  103s|  7300 |   797 |  2810k| 122.8 |   113M | 357 |3375 |4904 | 204 |   0 |  0 |9115 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  103s|  7400 |   797 |  2822k| 122.8 |   113M | 357 |3375 |4912 | 204 |   0 |  0 |9123 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  104s|  7500 |   797 |  2834k| 122.8 |   113M | 357 |3375 |4924 | 204 |   0 |  0 |9135 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  104s|  7600 |   797 |  2846k| 122.8 |   113M | 357 |3375 |4930 | 204 |   0 |  0 |9141 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  105s|  7700 |   803 |  2860k| 122.9 |   113M | 357 |3375 |4944 | 204 |   0 |  0 |9155 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  105s|  7800 |   807 |  2872k| 122.8 |   113M | 357 |3375 |4980 | 204 |   0 |  0 |9191 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  106s|  7900 |   811 |  2885k| 122.8 |   113M | 357 |3375 |4984 |   0 |   0 |  0 |9196 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  106s|  8000 |   815 |  2896k| 122.8 |   113M | 357 |3375 |5000 | 204 |   0 |  0 |9212 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  107s|  8100 |   819 |  2909k| 122.8 |   113M | 357 |3375 |5003 | 204 |   0 |  0 |9215 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  107s|  8200 |   819 |  2920k| 122.8 |   113M | 357 |3375 |5017 | 204 |   0 |  0 |9229 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  107s|  8300 |   821 |  2932k| 122.8 |   113M | 357 |3375 |5027 | 204 |   0 |  0 |9239 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  108s|  8400 |   823 |  2945k| 122.8 |   113M | 357 |3375 |5034 | 204 |   0 |  0 |9246 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  109s|  8500 |   827 |  2959k| 122.9 |   113M | 357 |3375 |5038 | 204 |   0 |  0 |9250 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  109s|  8600 |   831 |  2970k| 122.8 |   114M | 357 |3375 |5067 | 204 |   0 |  0 |9279 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  109s|  8700 |   837 |  2982k| 122.8 |   114M | 357 |3375 |5076 | 204 |   0 |  0 |9288 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  110s|  8800 |   841 |  2995k| 122.8 |   114M | 357 |3375 |5078 | 204 |   0 |  0 |9291 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  110s|  8900 |   845 |  3008k| 122.9 |   114M | 357 |3375 |5107 | 204 |   0 |  0 |9320 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  111s|  9000 |   851 |  3020k| 122.8 |   114M | 357 |3375 |5134 | 204 |   0 |  0 |9347 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  111s|  9100 |   853 |  3032k| 122.8 |   114M | 357 |3375 |5147 | 204 |   0 |  0 |9360 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  112s|  9200 |   857 |  3046k| 122.9 |   114M | 357 |3375 |5173 |   0 |   0 |  0 |9386 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  112s|  9300 |   863 |  3060k| 123.0 |   114M | 357 |3375 |5209 | 204 |   0 |  0 |9422 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  113s|  9400 |   867 |  3073k| 123.0 |   114M | 357 |3375 |5222 | 204 |   0 |  0 |9435 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  113s|  9500 |   871 |  3086k| 123.0 |   114M | 357 |3375 |5237 | 204 |   0 |  0 |9450 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  114s|  9600 |   877 |  3099k| 123.1 |   114M | 357 |3375 |5242 | 204 |   0 |  0 |9455 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  114s|  9700 |   881 |  3110k| 123.0 |   114M | 357 |3375 |5246 | 204 |   0 |  0 |9459 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  115s|  9800 |   885 |  3123k| 123.0 |   114M | 357 |3375 |5256 | 204 |   0 |  0 |9469 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  115s|  9900 |   887 |  3135k| 123.0 |   114M | 357 |3375 |5257 | 204 |   0 |  0 |9470 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  115s| 10000 |   889 |  3147k| 123.0 |   114M | 357 |3375 |5261 | 204 |   0 |  0 |9475 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  116s| 10100 |   889 |  3160k| 123.1 |   114M | 357 |3375 |5265 | 204 |   0 |  0 |9479 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
  116s| 10200 |   895 |  3172k| 123.0 |   114M | 357 |3375 |5289 | 204 |   0 |  0 |9503 |   0 |-3.675252e+15 | 3.164914e+13 |    Inf |  19.07%
* 117s| 10258 |   899 |  3175k| 122.9 |    LP  | 357 |3375 |5319 | 204 |   0 |  1 |9533 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  117s| 10300 |   903 |  3180k| 122.9 |   115M | 357 |3375 |5326 |   0 |   0 |  0 |9540 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  117s| 10400 |   907 |  3191k| 122.8 |   115M | 357 |3375 |5346 | 204 |   0 |  0 |9560 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  118s| 10500 |   911 |  3204k| 122.8 |   115M | 357 |3375 |5347 | 204 |   0 |  0 |9561 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  118s| 10600 |   917 |  3216k| 122.8 |   115M | 357 |3375 |5356 | 204 |   0 |  0 |9570 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  119s| 10700 |   919 |  3228k| 122.8 |   115M | 357 |3375 |5361 | 204 |   0 |  0 |9575 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  119s| 10800 |   925 |  3241k| 122.9 |   115M | 357 |3375 |5372 | 204 |   0 |  0 |9586 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  120s| 10900 |   927 |  3254k| 122.9 |   115M | 357 |3375 |5389 | 204 |   0 |  0 |9603 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  120s| 11000 |   931 |  3267k| 122.9 |   115M | 357 |3375 |5391 | 204 |   0 |  0 |9605 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  121s| 11100 |   935 |  3279k| 122.9 |   115M | 357 |3375 |5392 | 204 |   0 |  0 |9606 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  121s| 11200 |   937 |  3291k| 122.9 |   115M | 357 |3375 |5397 | 204 |   0 |  0 |9613 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  122s| 11300 |   941 |  3305k| 123.0 |   115M | 357 |3375 |5403 | 204 |   0 |  0 |9619 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  122s| 11400 |   945 |  3319k| 123.0 |   115M | 357 |3375 |5406 | 204 |   0 |  0 |9622 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  123s| 11500 |   949 |  3332k| 123.1 |   115M | 357 |3375 |5414 | 204 |   0 |  0 |9630 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  123s| 11600 |   951 |  3346k| 123.1 |   115M | 357 |3375 |5416 | 204 |   0 |  0 |9632 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  124s| 11700 |   955 |  3359k| 123.1 |   115M | 357 |3375 |5425 | 204 |   0 |  0 |9641 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  124s| 11800 |   959 |  3371k| 123.1 |   115M | 357 |3375 |5440 | 204 |   0 |  0 |9656 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  125s| 11900 |   965 |  3384k| 123.1 |   115M | 357 |3375 |5452 | 204 |   0 |  0 |9668 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  125s| 12000 |   969 |  3397k| 123.1 |   115M | 357 |3375 |5462 | 204 |   0 |  0 |9678 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  126s| 12100 |   971 |  3409k| 123.1 |   115M | 357 |3375 |5471 | 204 |   0 |  0 |9687 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  126s| 12200 |   977 |  3423k| 123.2 |   115M | 357 |3375 |5479 | 204 |   0 |  0 |9695 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  127s| 12300 |   979 |  3438k| 123.3 |   115M | 364 |3375 |5499 | 204 |   0 |  0 |9715 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  127s| 12400 |   983 |  3450k| 123.3 |   115M | 364 |3375 |5524 | 204 |   0 |  0 |9740 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  128s| 12500 |   987 |  3464k| 123.3 |   116M | 364 |3375 |5546 | 204 |   0 |  0 |9762 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  128s| 12600 |   989 |  3477k| 123.4 |   116M | 364 |3375 |5556 |   0 |   0 |  0 |9772 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  129s| 12700 |  1001 |  3490k| 123.4 |   116M | 364 |3375 |5585 | 204 |   0 |  0 |9801 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  129s| 12800 |  1003 |  3504k| 123.5 |   116M | 364 |3375 |5619 | 204 |   0 |  0 |9835 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  130s| 12900 |  1007 |  3517k| 123.5 |   116M | 364 |3375 |5650 | 204 |   0 |  0 |9866 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  130s| 13000 |  1011 |  3531k| 123.5 |   116M | 364 |3375 |5661 | 204 |   0 |  0 |9877 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  131s| 13100 |  1015 |  3543k| 123.5 |   116M | 366 |3375 |5686 | 204 |   0 |  0 |9902 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  131s| 13200 |  1015 |  3558k| 123.6 |   116M | 371 |3375 |5694 | 204 |   0 |  0 |9910 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  132s| 13300 |  1017 |  3573k| 123.7 |   116M | 388 |3375 |5704 | 204 |   0 |  0 |9920 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  133s| 13400 |  1019 |  3588k| 123.8 |   116M | 388 |3375 |5710 | 204 |   0 |  0 |9926 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  133s| 13500 |  1021 |  3601k| 123.8 |   116M | 388 |3375 |5712 | 204 |   0 |  0 |9928 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  134s| 13600 |  1027 |  3617k| 123.9 |   116M | 388 |3375 |5719 | 204 |   0 |  0 |9935 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  134s| 13700 |  1029 |  3630k| 124.0 |   116M | 388 |3375 |5719 | 204 |   0 |  0 |9935 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  135s| 13800 |  1033 |  3644k| 124.0 |   116M | 388 |3375 |5724 | 204 |   0 |  0 |9940 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  135s| 13900 |  1035 |  3658k| 124.1 |   116M | 388 |3375 |5738 | 204 |   0 |  0 |9954 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  136s| 14000 |  1037 |  3672k| 124.1 |   117M | 388 |3375 |5763 | 204 |   0 |  0 |9979 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  136s| 14100 |  1039 |  3687k| 124.2 |   117M | 388 |3375 |5764 | 204 |   0 |  0 |9981 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  137s| 14200 |  1039 |  3700k| 124.3 |   117M | 388 |3375 |5774 |   0 |   0 |  0 |9991 |   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  137s| 14300 |  1043 |  3716k| 124.3 |   117M | 388 |3375 |5784 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  138s| 14400 |  1045 |  3728k| 124.4 |   117M | 388 |3375 |5801 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  138s| 14500 |  1051 |  3742k| 124.4 |   117M | 391 |3375 |5833 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  139s| 14600 |  1053 |  3757k| 124.5 |   117M | 391 |3375 |5837 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  139s| 14700 |  1057 |  3769k| 124.5 |   117M | 391 |3375 |5856 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  140s| 14800 |  1061 |  3784k| 124.6 |   117M | 396 |3375 |5870 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  141s| 14900 |  1061 |  3799k| 124.6 |   117M | 404 |3375 |5880 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  141s| 15000 |  1065 |  3814k| 124.7 |   117M | 404 |3375 |5890 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  142s| 15100 |  1067 |  3829k| 124.8 |   117M | 404 |3375 |5900 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  142s| 15200 |  1071 |  3844k| 124.9 |   117M | 406 |3375 |5901 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  143s| 15300 |  1071 |  3859k| 125.0 |   117M | 425 |3375 |5911 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  143s| 15400 |  1073 |  3874k| 125.0 |   117M | 426 |3375 |5925 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  144s| 15500 |  1075 |  3888k| 125.1 |   117M | 426 |3375 |5932 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  144s| 15600 |  1077 |  3902k| 125.1 |   117M | 426 |3375 |5942 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  145s| 15700 |  1079 |  3916k| 125.2 |   117M | 426 |3375 |5946 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  146s| 15800 |  1081 |  3932k| 125.3 |   117M | 426 |3375 |5948 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  146s| 15900 |  1083 |  3948k| 125.4 |   117M | 426 |3375 |5951 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  147s| 16000 |  1085 |  3963k| 125.5 |   117M | 428 |3375 |5961 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  147s| 16100 |  1085 |  3976k| 125.5 |   117M | 430 |3375 |5974 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  148s| 16200 |  1085 |  3993k| 125.6 |   117M | 448 |3375 |5976 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  149s| 16300 |  1085 |  4009k| 125.7 |   117M | 448 |3375 |5984 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  149s| 16400 |  1087 |  4022k| 125.8 |   117M | 448 |3375 |5989 | 204 |   0 |  0 |  10k|   0 |-3.675252e+15 | 3.158485e+13 |    Inf |  19.07%
  150s| 16500 |  1091 |  4040k| 125.9 |   117M | 448 |3375 |5962 | 204 |   0 |  0 |  10k|   0 |-3.669973e+15 | 3.158485e+13 |    Inf |  19.25%
  151s| 16600 |  1093 |  4057k| 126.1 |   117M | 448 |3375 |5959 | 204 |   0 |  0 |  10k|   0 |-3.669407e+15 | 3.158485e+13 |    Inf |  19.26%
  151s| 16700 |  1097 |  4070k| 126.1 |   118M | 448 |3375 |5965 | 204 |   0 |  0 |  10k|   0 |-3.663690e+15 | 3.158485e+13 |    Inf |  19.31%
  151s| 16800 |  1101 |  4080k| 126.0 |   118M | 448 |3375 |6035 |   0 |   0 |  0 |  10k|   0 |-3.662834e+15 | 3.158485e+13 |    Inf |  19.32%
  152s| 16900 |  1107 |  4093k| 126.0 |   118M | 448 |3375 |6029 | 204 |   0 |  0 |  10k|   0 |-3.660720e+15 | 3.158485e+13 |    Inf |  19.46%
  152s| 17000 |  1113 |  4106k| 126.0 |   118M | 448 |3375 |6036 | 204 |   0 |  0 |  10k|   0 |-3.660304e+15 | 3.158485e+13 |    Inf |  19.46%
  153s| 17100 |  1121 |  4116k| 125.9 |   118M | 448 |3375 |6113 | 204 |   0 |  0 |  10k|   0 |-3.659857e+15 | 3.158485e+13 |    Inf |  19.46%
  153s| 17200 |  1123 |  4129k| 125.9 |   118M | 448 |3375 |6130 | 204 |   0 |  0 |  10k|   0 |-3.657783e+15 | 3.158485e+13 |    Inf |  19.49%
  154s| 17300 |  1129 |  4142k| 126.0 |   118M | 448 |3375 |6145 | 204 |   0 |  0 |  10k|   0 |-3.657443e+15 | 3.158485e+13 |    Inf |  19.49%
  154s| 17400 |  1145 |  4156k| 126.0 |   119M | 448 |3375 |6156 | 204 |   0 |  0 |  10k|   0 |-3.651785e+15 | 3.158485e+13 |    Inf |  19.50%
  155s| 17500 |  1155 |  4167k| 125.9 |   119M | 448 |3375 |6178 | 204 |   0 |  0 |  10k|   0 |-3.650286e+15 | 3.158485e+13 |    Inf |  19.50%
  155s| 17600 |  1161 |  4176k| 125.8 |   119M | 448 |3375 |6240 |   0 |   0 |  0 |  10k|   0 |-3.650199e+15 | 3.158485e+13 |    Inf |  19.50%
* 155s| 17662 |  1165 |  4180k| 125.7 |    LP  | 448 |3375 |6274 | 204 |   0 |  1 |  10k|   0 |-3.649945e+15 | 3.157073e+13 |    Inf |  19.50%
  155s| 17700 |  1167 |  4187k| 125.8 |   119M | 448 |3375 |6269 | 204 |   0 |  0 |  10k|   0 |-3.648842e+15 | 3.157073e+13 |    Inf |  19.50%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  156s| 17800 |  1171 |  4204k| 125.9 |   119M | 448 |3375 |6267 | 204 |   0 |  0 |  10k|   0 |-3.647906e+15 | 3.157073e+13 |    Inf |  19.56%
  157s| 17900 |  1173 |  4219k| 126.0 |   119M | 448 |3375 |6255 | 204 |   0 |  0 |  10k|   0 |-3.647485e+15 | 3.157073e+13 |    Inf |  19.56%
  157s| 18000 |  1177 |  4231k| 126.0 |   119M | 448 |3375 |6272 | 204 |   0 |  0 |  10k|   0 |-3.647200e+15 | 3.157073e+13 |    Inf |  19.56%
  158s| 18100 |  1183 |  4244k| 126.0 |   119M | 448 |3375 |6288 | 204 |   0 |  0 |  10k|   0 |-3.646406e+15 | 3.157073e+13 |    Inf |  19.56%
  158s| 18200 |  1185 |  4256k| 126.0 |   119M | 448 |3375 |6275 | 204 |   0 |  0 |  10k|   0 |-3.645985e+15 | 3.157073e+13 |    Inf |  19.57%
  158s| 18300 |  1189 |  4267k| 125.9 |   119M | 448 |3375 |6300 | 204 |   0 |  0 |  10k|   0 |-3.645446e+15 | 3.157073e+13 |    Inf |  19.57%
  159s| 18400 |  1193 |  4280k| 126.0 |   119M | 448 |3375 |6286 | 204 |   0 |  0 |  10k|   0 |-3.644486e+15 | 3.157073e+13 |    Inf |  19.57%
  160s| 18500 |  1197 |  4294k| 126.0 |   119M | 448 |3375 |6278 | 204 |   0 |  0 |  10k|   0 |-3.643263e+15 | 3.157073e+13 |    Inf |  19.57%
  160s| 18600 |  1203 |  4308k| 126.0 |   120M | 448 |3375 |6278 | 204 |   0 |  0 |  11k|   0 |-3.641487e+15 | 3.157073e+13 |    Inf |  25.44%
  160s| 18700 |  1205 |  4321k| 126.0 |   120M | 448 |3375 |6274 | 204 |   0 |  0 |  11k|   0 |-3.640761e+15 | 3.157073e+13 |    Inf |  25.44%
  161s| 18800 |  1209 |  4334k| 126.0 |   120M | 448 |3375 |6264 | 204 |   0 |  0 |  11k|   0 |-3.640263e+15 | 3.157073e+13 |    Inf |  27.30%
  161s| 18900 |  1213 |  4347k| 126.1 |   120M | 448 |3375 |6267 | 204 |   0 |  0 |  11k|   0 |-3.639852e+15 | 3.157073e+13 |    Inf |  28.73%
* 161s| 18917 |  1216 |  4348k| 126.0 |    LP  | 448 |3375 |6281 | 204 |   0 |  1 |  11k|   0 |-3.639852e+15 | 3.154748e+13 |    Inf |  28.73%
  162s| 19000 |  1219 |  4363k| 126.2 |   120M | 448 |3375 |6247 | 204 |   0 |  0 |  11k|   0 |-3.637573e+15 | 3.154748e+13 |    Inf |  28.78%
  163s| 19100 |  1221 |  4374k| 126.1 |   120M | 448 |3375 |6220 | 204 |   0 |  0 |  11k|   0 |-3.635805e+15 | 3.154748e+13 |    Inf |  28.92%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  163s| 19200 |  1225 |  4386k| 126.1 |   120M | 448 |3375 |6276 | 204 |   0 |  0 |  11k|   0 |-3.633712e+15 | 3.154748e+13 |    Inf |  29.06%
  164s| 19300 |  1225 |  4401k| 126.2 |   120M | 448 |3375 |6244 | 204 |   0 |  0 |  11k|   0 |-3.633340e+15 | 3.154748e+13 |    Inf |  29.06%
  164s| 19400 |  1225 |  4417k| 126.3 |   120M | 448 |3375 |6225 | 204 |   0 |  0 |  11k|   0 |-3.633299e+15 | 3.154748e+13 |    Inf |  29.06%
  165s| 19500 |  1229 |  4428k| 126.2 |   120M | 448 |3375 |6196 | 204 |   0 |  0 |  11k|   0 |-3.632867e+15 | 3.154748e+13 |    Inf |  29.08%
  165s| 19600 |  1229 |  4444k| 126.3 |   120M | 448 |3375 |6167 | 204 |   0 |  0 |  11k|   0 |-3.630342e+15 | 3.154748e+13 |    Inf |  29.42%
  166s| 19700 |  1233 |  4453k| 126.2 |   120M | 448 |3375 |6166 | 204 |   0 |  0 |  11k|   0 |-3.630059e+15 | 3.154748e+13 |    Inf |  29.43%
  166s| 19800 |  1237 |  4466k| 126.2 |   120M | 448 |3375 |6166 | 204 |   0 |  0 |  11k|   0 |-3.628809e+15 | 3.154748e+13 |    Inf |  29.43%
  167s| 19900 |  1239 |  4480k| 126.3 |   120M | 448 |3375 |6148 | 204 |   0 |  0 |  11k|   0 |-3.627874e+15 | 3.154748e+13 |    Inf |  29.50%
  168s| 20000 |  1241 |  4495k| 126.3 |   121M | 448 |3375 |6130 | 204 |   0 |  0 |  11k|   0 |-3.625949e+15 | 3.154748e+13 |    Inf |  29.63%
  168s| 20100 |  1241 |  4508k| 126.4 |   121M | 448 |3375 |6103 | 204 |   0 |  0 |  11k|   0 |-3.625818e+15 | 3.154748e+13 |    Inf |  29.74%
  169s| 20200 |  1241 |  4523k| 126.4 |   121M | 448 |3375 |6080 | 204 |   0 |  0 |  11k|   0 |-3.625333e+15 | 3.154748e+13 |    Inf |  29.74%
  169s| 20300 |  1243 |  4538k| 126.5 |   121M | 448 |3375 |6063 | 204 |   0 |  0 |  11k|   0 |-3.622952e+15 | 3.154748e+13 |    Inf |  29.79%
  170s| 20400 |  1245 |  4553k| 126.5 |   121M | 448 |3375 |6040 | 204 |   0 |  0 |  11k|   0 |-3.622334e+15 | 3.154748e+13 |    Inf |  29.81%
  171s| 20500 |  1245 |  4569k| 126.6 |   121M | 448 |3375 |6029 | 204 |   0 |  0 |  11k|   0 |-3.621422e+15 | 3.154748e+13 |    Inf |  29.81%
  171s| 20600 |  1247 |  4585k| 126.7 |   121M | 448 |3375 |6006 | 204 |   0 |  0 |  11k|   0 |-3.618701e+15 | 3.154748e+13 |    Inf |  29.83%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  172s| 20700 |  1247 |  4599k| 126.8 |   121M | 448 |3375 |5999 | 204 |   0 |  0 |  11k|   0 |-3.618678e+15 | 3.154748e+13 |    Inf |  29.83%
  173s| 20800 |  1247 |  4613k| 126.8 |   121M | 448 |3375 |5995 | 204 |   0 |  0 |  11k|   0 |-3.616338e+15 | 3.154748e+13 |    Inf |  29.88%
  173s| 20900 |  1249 |  4628k| 126.9 |   121M | 448 |3375 |5986 | 204 |   0 |  0 |  11k|   0 |-3.615651e+15 | 3.154748e+13 |    Inf |  29.88%
  174s| 21000 |  1249 |  4644k| 127.0 |   121M | 448 |3375 |5979 | 204 |   0 |  0 |  11k|   0 |-3.613974e+15 | 3.154748e+13 |    Inf |  29.93%
  174s| 21100 |  1247 |  4659k| 127.0 |   122M | 448 |3375 |5956 | 204 |   0 |  0 |  11k|   0 |-3.609350e+15 | 3.154748e+13 |    Inf |  30.09%
  175s| 21200 |  1247 |  4674k| 127.1 |   122M | 448 |3375 |5951 | 204 |   0 |  0 |  11k|   0 |-3.606600e+15 | 3.154748e+13 |    Inf |  30.09%
  176s| 21300 |  1245 |  4690k| 127.2 |   122M | 448 |3375 |5951 | 204 |   0 |  0 |  11k|   0 |-3.606348e+15 | 3.154748e+13 |    Inf |  30.09%
  176s| 21400 |  1243 |  4705k| 127.2 |   122M | 448 |3375 |5958 | 204 |   0 |  0 |  11k|   0 |-3.605288e+15 | 3.154748e+13 |    Inf |  30.30%
  177s| 21500 |  1245 |  4718k| 127.2 |   122M | 448 |3375 |5975 |   0 |   0 |  0 |  11k|   0 |-3.603865e+15 | 3.154748e+13 |    Inf |  30.30%
* 177s| 21545 |  1248 |  4720k| 127.1 |    LP  | 448 |3375 |6003 | 204 |   0 |  1 |  11k|   0 |-3.603865e+15 | 3.154606e+13 |    Inf |  30.30%
  177s| 21600 |  1253 |  4725k| 127.1 |   122M | 448 |3375 |6016 | 204 |   0 |  0 |  11k|   0 |-3.603789e+15 | 3.154606e+13 |    Inf |  30.30%
  178s| 21700 |  1257 |  4737k| 127.0 |   122M | 448 |3375 |6021 | 204 |   0 |  0 |  11k|   0 |-3.602427e+15 | 3.154606e+13 |    Inf |  30.30%
  178s| 21800 |  1261 |  4752k| 127.1 |   122M | 448 |3375 |6025 | 204 |   0 |  0 |  11k|   0 |-3.601474e+15 | 3.154606e+13 |    Inf |  30.30%
  179s| 21900 |  1259 |  4768k| 127.2 |   122M | 448 |3375 |6019 | 204 |   0 |  0 |  11k|   0 |-3.599272e+15 | 3.154606e+13 |    Inf |  30.45%
  179s| 22000 |  1261 |  4783k| 127.3 |   122M | 448 |3375 |6024 | 204 |   0 |  0 |  11k|   0 |-3.598176e+15 | 3.154606e+13 |    Inf |  30.45%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  180s| 22100 |  1259 |  4795k| 127.3 |   122M | 448 |3375 |6035 | 204 |   0 |  0 |  11k|   0 |-3.598176e+15 | 3.154606e+13 |    Inf |  30.45%
  181s| 22200 |  1263 |  4812k| 127.4 |   122M | 448 |3375 |6018 | 204 |   0 |  0 |  11k|   0 |-3.596273e+15 | 3.154606e+13 |    Inf |  30.45%
  181s| 22300 |  1263 |  4828k| 127.4 |   122M | 448 |3375 |6022 | 204 |   0 |  0 |  11k|   0 |-3.594813e+15 | 3.154606e+13 |    Inf |  30.45%
  182s| 22400 |  1265 |  4844k| 127.5 |   122M | 448 |3375 |6025 | 204 |   0 |  0 |  11k|   0 |-3.593790e+15 | 3.154606e+13 |    Inf |  30.45%
  183s| 22500 |  1267 |  4862k| 127.7 |   122M | 448 |3375 |6020 | 204 |   0 |  0 |  11k|   0 |-3.591187e+15 | 3.154606e+13 |    Inf |  30.45%
  183s| 22600 |  1269 |  4878k| 127.8 |   122M | 448 |3375 |6022 | 204 |   0 |  0 |  11k|   0 |-3.591003e+15 | 3.154606e+13 |    Inf |  30.45%
  184s| 22700 |  1267 |  4893k| 127.8 |   122M | 448 |3375 |6026 | 204 |   0 |  0 |  11k|   0 |-3.589309e+15 | 3.154606e+13 |    Inf |  30.50%
  185s| 22800 |  1267 |  4912k| 128.0 |   122M | 448 |3375 |6022 | 204 |   0 |  0 |  11k|   0 |-3.587448e+15 | 3.154606e+13 |    Inf |  30.55%
  185s| 22900 |  1271 |  4927k| 128.0 |   122M | 448 |3375 |6022 | 204 |   0 |  0 |  11k|   0 |-3.585134e+15 | 3.154606e+13 |    Inf |  30.55%
  186s| 23000 |  1273 |  4942k| 128.1 |   122M | 448 |3375 |6025 | 204 |   0 |  0 |  11k|   0 |-3.584159e+15 | 3.154606e+13 |    Inf |  30.55%
  187s| 23100 |  1273 |  4960k| 128.2 |   122M | 448 |3375 |6027 | 204 |   0 |  0 |  11k|   0 |-3.583635e+15 | 3.154606e+13 |    Inf |  30.55%
* 187s| 23194 |  1275 |  4974k| 128.3 |    LP  | 448 |3375 |6030 | 204 |   0 |  1 |  11k|   0 |-3.583235e+15 | 3.153522e+13 |    Inf |  30.60%
  187s| 23200 |  1275 |  4975k| 128.3 |   122M | 448 |3375 |6028 | 204 |   0 |  0 |  11k|   0 |-3.582007e+15 | 3.153522e+13 |    Inf |  30.64%
  188s| 23300 |  1267 |  4992k| 128.4 |   122M | 448 |3375 |6023 | 204 |   0 |  0 |  11k|   0 |-3.579148e+15 | 3.153522e+13 |    Inf |  31.03%
  189s| 23400 |  1265 |  5009k| 128.5 |   122M | 448 |3375 |6022 |   0 |   0 |  0 |  11k|   0 |-3.579144e+15 | 3.153522e+13 |    Inf |  31.08%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  190s| 23500 |  1257 |  5026k| 128.6 |   122M | 448 |3375 |6008 | 204 |   0 |  0 |  11k|   0 |-3.568693e+15 | 3.153522e+13 |    Inf |  31.52%
  191s| 23600 |  1247 |  5043k| 128.7 |   122M | 448 |3375 |6009 | 204 |   0 |  0 |  11k|   0 |-3.556098e+15 | 3.153522e+13 |    Inf |  32.01%
  191s| 23700 |  1211 |  5056k| 128.7 |   122M | 448 |3375 |6004 | 204 |   0 |  0 |  11k|   0 |-3.452811e+15 | 3.153522e+13 |    Inf |  33.71%
  192s| 23800 |  1195 |  5071k| 128.8 |   122M | 448 |3375 |5986 | 204 |   0 |  0 |  11k|   0 |-3.420271e+15 | 3.153522e+13 |    Inf |  34.59%
  193s| 23900 |  1187 |  5088k| 128.9 |   122M | 448 |3375 |5976 | 204 |   0 |  0 |  11k|   0 |-3.409441e+15 | 3.153522e+13 |    Inf |  35.23%
  193s| 24000 |  1183 |  5104k| 128.9 |   122M | 448 |3375 |5974 | 204 |   0 |  0 |  11k|   0 |-3.397053e+15 | 3.153522e+13 |    Inf |  35.37%
  194s| 24100 |  1173 |  5120k| 129.0 |   122M | 448 |3375 |5974 | 204 |   0 |  0 |  11k|   0 |-3.379169e+15 | 3.153522e+13 |    Inf |  35.81%
  195s| 24200 |  1151 |  5136k| 129.1 |   122M | 448 |3375 |5967 | 204 |   0 |  0 |  11k|   0 |-3.337223e+15 | 3.153522e+13 |    Inf |  36.83%
  195s| 24300 |  1137 |  5150k| 129.1 |   122M | 448 |3375 |5964 | 204 |   0 |  0 |  11k|   0 |-3.308221e+15 | 3.153522e+13 |    Inf |  37.51%
  196s| 24400 |  1097 |  5164k| 129.2 |   123M | 448 |3375 |5961 | 204 |   0 |  0 |  11k|   0 |-3.241856e+15 | 3.153522e+13 |    Inf |  39.60%
  197s| 24500 |  1053 |  5177k| 129.2 |   123M | 448 |3375 |5941 | 204 |   0 |  0 |  11k|   0 |-3.149167e+15 | 3.153522e+13 |    Inf |  41.90%
  197s| 24600 |  1011 |  5190k| 129.2 |   123M | 448 |3375 |5928 | 204 |   0 |  0 |  11k|   0 |-3.109603e+15 | 3.153522e+13 |    Inf |  45.63%
  198s| 24700 |   981 |  5204k| 129.2 |   123M | 448 |3375 |5919 | 204 |   0 |  0 |  11k|   0 |-3.066033e+15 | 3.153522e+13 |    Inf |  47.68%
  198s| 24800 |   881 |  5213k| 129.1 |   123M | 448 |3375 |5903 | 204 |   0 |  0 |  11k|   0 |-2.908416e+15 | 3.153522e+13 |    Inf |  52.61%
  199s| 24900 |   797 |  5223k| 129.0 |   123M | 448 |3375 |5899 | 204 |   0 |  0 |  11k|   0 |-2.749907e+15 | 3.153522e+13 |    Inf |  56.72%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  199s| 25000 |   710 |  5232k| 128.9 |   124M | 448 |3375 |5891 | 204 |   0 |  0 |  11k|   0 |-2.614245e+15 | 3.153522e+13 |    Inf |  62.78%
  200s| 25100 |   640 |  5240k| 128.8 |   124M | 448 |3375 |5891 |   0 |   0 |  0 |  11k|   0 |-2.570790e+15 | 3.153522e+13 |    Inf |  66.53%
  200s| 25200 |   536 |  5246k| 128.6 |   124M | 448 |3375 |5884 |   0 |   0 |  0 |  11k|   0 |-2.511390e+15 | 3.153522e+13 |    Inf |  72.93%
  201s| 25300 |   430 |  5253k| 128.5 |   124M | 448 |3375 |5884 | 204 |   0 |  0 |  11k|   0 |-2.437485e+15 | 3.153522e+13 |    Inf |  78.28%
  201s| 25400 |   322 |  5259k| 128.3 |   124M | 448 |3375 |5880 | 204 |   0 |  0 |  11k|   0 |-2.353119e+15 | 3.153522e+13 |    Inf |  83.95%
  202s| 25500 |   218 |  5266k| 128.2 |   124M | 448 |3375 |5873 | 204 |   0 |  0 |  11k|   0 |-2.204876e+15 | 3.153522e+13 |    Inf |  89.16%
  202s| 25600 |   118 |  5272k| 128.0 |   124M | 448 |3375 |5867 | 204 |   0 |  0 |  11k|   0 |-1.994443e+15 | 3.153522e+13 |    Inf |  94.20%
  203s| 25700 |    18 |  5279k| 127.9 |   124M | 448 |3375 |5853 | 204 |   0 |  0 |  11k|   0 |-1.248386e+15 | 3.153522e+13 |    Inf |  99.08%

SCIP Status        : problem is solved [optimal solution found]
Solving Time (sec) : 202.84
Solving Nodes      : 25718 (total of 41296 nodes in 2 runs)
Primal Bound       : +3.15352151297956e+13 (21 solutions)
Dual Bound         : +3.15352151297956e+13
Gap                : 0.00 %