original problem has 60 variables (20 bin, 0 int, 0 impl, 40 cont) and 109 constraints
presolving:
(round 1, fast)       5 del vars, 2 del conss, 0 add conss, 57 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 1 impls, 3 clqs
(round 2, fast)       5 del vars, 2 del conss, 0 add conss, 59 chg bounds, 2 chg sides, 4 chg coeffs, 0 upgd conss, 2 impls, 3 clqs
(round 3, fast)       5 del vars, 2 del conss, 0 add conss, 60 chg bounds, 2 chg sides, 4 chg coeffs, 0 upgd conss, 2 impls, 3 clqs
(round 4, fast)       5 del vars, 2 del conss, 0 add conss, 60 chg bounds, 2 chg sides, 5 chg coeffs, 0 upgd conss, 2 impls, 3 clqs
(round 5, exhaustive) 5 del vars, 6 del conss, 0 add conss, 60 chg bounds, 3 chg sides, 5 chg coeffs, 0 upgd conss, 2 impls, 3 clqs
(round 6, exhaustive) 5 del vars, 6 del conss, 0 add conss, 60 chg bounds, 3 chg sides, 5 chg coeffs, 27 upgd conss, 2 impls, 3 clqs
(round 7, medium)     7 del vars, 6 del conss, 0 add conss, 60 chg bounds, 5 chg sides, 7 chg coeffs, 27 upgd conss, 25 impls, 4 clqs
   (0.2s) probing cycle finished: starting next cycle
(round 8, exhaustive) 9 del vars, 6 del conss, 0 add conss, 62 chg bounds, 5 chg sides, 0 chg coeffs, 27 upgd conss, 62 impls, 12 clqs
(round 9, fast)       9 del vars, 11 del conss, 0 add conss, 63 chg bounds, 5 chg sides, 0 chg coeffs, 27 upgd conss, 62 impls, 12 clqs
   (0.2s) probing cycle finished: starting next cycle
   (0.2s) symmetry computation started: requiring (bin +, int -, cont -), (fixed: bin -, int +, cont +)
   (0.2s) no symmetry present
presolving (10 rounds: 10 fast, 5 medium, 4 exhaustive):
 9 deleted vars, 11 deleted constraints, 0 added constraints, 63 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients
 63 implications, 12 cliques
presolved problem has 51 variables (12 bin, 0 int, 0 impl, 39 cont) and 98 constraints
     20 constraints of type <varbound>
      2 constraints of type <setppc>
     20 constraints of type <linear>
     56 constraints of type <nonlinear>
Presolving Time: 0.20

 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  0.5s|     1 |     0 |  2089 |     - |  8670k |   0 | 587 |  98 |1033 |   0 |  0 |   0 |   0 | 1.970181e+03 |      --      |    Inf | unknown
  1.1s|     1 |     0 |  2294 |     - |    10M |   0 | 587 |  98 |1109 |  76 |  1 |   0 |   0 | 2.301698e+03 |      --      |    Inf | unknown
  1.2s|     1 |     0 |  2452 |     - |    10M |   0 | 587 |  98 |1165 | 132 |  2 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.2s|     1 |     0 |  2533 |     - |    10M |   0 | 587 |  98 |1211 | 178 |  3 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.3s|     1 |     0 |  2623 |     - |    10M |   0 | 587 |  98 |1255 | 222 |  4 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.3s|     1 |     0 |  2711 |     - |    10M |   0 | 587 |  98 |1303 | 270 |  5 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.3s|     1 |     0 |  2805 |     - |    10M |   0 | 587 |  98 |1347 | 314 |  6 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.4s|     1 |     0 |  2923 |     - |    10M |   0 | 587 |  98 |1383 | 350 |  7 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.4s|     1 |     0 |  3051 |     - |    10M |   0 | 587 |  98 |1418 | 385 |  8 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.5s|     1 |     0 |  3138 |     - |    10M |   0 | 587 |  98 |1456 | 423 |  9 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.5s|     1 |     0 |  3197 |     - |    11M |   0 | 587 |  98 |1492 | 459 | 10 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.6s|     1 |     0 |  3333 |     - |    11M |   0 | 587 |  98 |1524 | 491 | 11 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  1.6s|     1 |     0 |  3402 |     - |    11M |   0 | 587 |  98 | 777 | 524 | 12 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.1s|     1 |     0 |  4773 |     - |    11M |   0 | 587 |  98 | 717 | 524 | 12 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.1s|     1 |     0 |  4861 |     - |    11M |   0 | 587 |  98 | 770 | 577 | 13 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  2.2s|     1 |     0 |  4933 |     - |    11M |   0 | 587 |  98 | 825 | 632 | 14 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.2s|     1 |     0 |  4999 |     - |    11M |   0 | 587 |  98 | 878 | 685 | 15 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.2s|     1 |     0 |  5084 |     - |    11M |   0 | 587 |  98 | 919 | 726 | 16 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.3s|     1 |     0 |  5141 |     - |    11M |   0 | 587 |  98 | 957 | 764 | 17 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.3s|     1 |     0 |  5176 |     - |    11M |   0 | 587 |  98 | 735 | 803 | 18 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.3s|     1 |     0 |  5221 |     - |    11M |   0 | 587 |  98 | 770 | 838 | 19 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.4s|     1 |     0 |  5264 |     - |    11M |   0 | 587 |  98 | 810 | 878 | 20 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.4s|     1 |     0 |  5310 |     - |    11M |   0 | 587 |  98 | 843 | 911 | 21 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.4s|     1 |     0 |  5356 |     - |    11M |   0 | 587 |  98 | 874 | 942 | 22 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
  2.5s|     1 |     0 |  5403 |     - |    11M |   0 | 587 |  98 | 909 | 977 | 23 |   0 |   0 | 2.500000e+03 |      --      |    Inf | unknown
d11.4s|     1 |     0 |  5403 |     - |    mpec|   0 | 587 |  98 | 909 | 977 | 23 |   0 |   0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown
 11.4s|     1 |     0 |  5403 |     - |    12M |   0 | 587 |  98 | 909 | 977 | 23 |   0 |   0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown
 11.5s|     1 |     0 |  5441 |     - |    12M |   0 | 587 |  98 | 746 |1006 | 24 |   0 |   0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown
 11.5s|     1 |     0 |  5481 |     - |    12M |   0 | 587 |  98 | 785 |1045 | 25 |   0 |   0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown
 11.5s|     1 |     0 |  5487 |     - |    12M |   0 | 587 |  98 | 791 |1051 | 26 |   0 |   0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
 11.6s|     1 |     0 |  5489 |     - |    12M |   0 | 587 |  98 | 793 |1053 | 27 |   0 |   0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown
 11.6s|     1 |     2 |  5489 |     - |    12M |   0 | 587 |  98 | 793 |1053 | 29 |   0 |   0 | 2.500000e+03 | 6.493079e+03 | 159.72%| unknown
 93.8s|   100 |    30 | 23116 | 206.5 |    15M |  20 | 587 |  98 |1043 |  13k|  4 |   0 |   9 | 2.500000e+03 | 6.493079e+03 | 159.72%|  26.55%
  110s|   200 |    68 | 35495 | 164.9 |    16M |  20 | 587 |  98 |1397 |  21k|  2 |   0 |  21 | 2.500000e+03 | 6.493079e+03 | 159.72%|  27.40%
  126s|   300 |   107 | 48284 | 152.5 |    20M |  22 | 587 |  98 |1487 |  28k|  2 |   1 |  78 | 2.500000e+03 | 6.493079e+03 | 159.72%|  27.46%
  150s|   400 |   152 | 59591 | 142.7 |    22M |  25 | 587 |  98 |1347 |  34k|  3 |   3 | 186 | 2.500000e+03 | 6.493079e+03 | 159.72%|  28.09%
  177s|   500 |   212 | 69399 | 133.7 |    26M |  31 | 587 |  98 |1581 |  40k|  3 |   6 | 277 | 2.500000e+03 | 6.493079e+03 | 159.72%|  28.10%
L 187s|   501 |   212 | 69532 | 133.7 |    gins|  31 | 587 |  98 |1588 |  40k|  7 |   6 | 277 | 2.500000e+03 | 5.693119e+03 | 127.72%|  28.10%
  210s|   600 |   255 | 79817 | 128.8 |    28M |  31 | 587 |  98 |1609 |  45k|  4 |   6 | 333 | 2.500000e+03 | 5.693119e+03 | 127.72%|  30.07%
  222s|   700 |   286 | 88776 | 123.2 |    30M |  31 | 587 |  98 |1744 |  50k|  0 |   6 | 401 | 2.500000e+03 | 5.693119e+03 | 127.72%|  30.87%
  238s|   800 |   330 | 98321 | 119.7 |    35M |  40 | 587 |  98 |1824 |  54k|  4 |   9 | 458 | 2.500000e+03 | 5.693119e+03 | 127.72%|  30.87%
  251s|   900 |   386 |107674 | 116.8 |    39M |  41 | 587 |  98 |   0 |  58k|  0 |  11 | 517 | 2.500000e+03 | 5.693119e+03 | 127.72%|  30.87%
  264s|  1000 |   428 |119241 | 116.7 |    42M |  41 | 587 |  98 |1943 |  62k|  2 |  11 | 585 | 2.500000e+03 | 5.693119e+03 | 127.72%|  31.27%
  280s|  1100 |   468 |132566 | 118.2 |    45M |  41 | 587 |  98 |1789 |  70k|  1 |  11 | 618 | 2.500000e+03 | 5.693119e+03 | 127.72%|  31.76%
  294s|  1200 |   523 |142161 | 116.3 |    48M |  41 | 587 |  98 |1693 |  74k|  2 |  12 | 713 | 2.500000e+03 | 5.693119e+03 | 127.72%|  31.76%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  308s|  1300 |   576 |152228 | 115.1 |    52M |  41 | 587 |  98 |1749 |  78k|  8 |  13 | 803 | 2.500000e+03 | 5.693119e+03 | 127.72%|  31.76%
  324s|  1400 |   627 |162477 | 114.2 |    55M |  41 | 587 |  98 |1889 |  82k|  5 |  14 | 928 | 2.500000e+03 | 5.693119e+03 | 127.72%|  31.76%
  338s|  1500 |   682 |173464 | 113.9 |    59M |  41 | 587 |  98 |1871 |  86k|  4 |  20 |1020 | 2.500000e+03 | 5.693119e+03 | 127.72%|  31.77%
  353s|  1600 |   725 |187186 | 115.4 |    62M |  41 | 587 |  98 |1439 |  93k|  4 |  20 |1112 | 2.500000e+03 | 5.693119e+03 | 127.72%|  32.93%
  370s|  1700 |   735 |199999 | 116.1 |    64M |  41 | 587 |  98 |1540 |  99k|  8 |  33 |1185 | 2.500000e+03 | 5.693119e+03 | 127.72%|  34.47%
  385s|  1800 |   739 |216238 | 118.7 |    65M |  41 | 587 |  98 |1672 | 108k|  2 |  33 |1248 | 2.500000e+03 | 5.693119e+03 | 127.72%|  42.35%
  398s|  1900 |   751 |228731 | 119.0 |    67M |  41 | 587 |  99 |1941 | 114k|  3 |  34 |1315 | 2.500000e+03 | 5.693119e+03 | 127.72%|  44.41%
  413s|  2000 |   817 |238913 | 118.2 |    70M |  41 | 587 |  99 |1591 | 119k|  4 |  35 |1365 | 2.500000e+03 | 5.693119e+03 | 127.72%|  44.42%
  427s|  2100 |   859 |249446 | 117.6 |    75M |  41 | 587 |  99 |1822 | 124k|  3 |  38 |1434 | 2.500000e+03 | 5.693119e+03 | 127.72%|  44.83%
  443s|  2200 |   923 |258773 | 116.5 |    77M |  41 | 587 |  99 |2014 | 128k|  6 |  42 |1533 | 2.500000e+03 | 5.693119e+03 | 127.72%|  44.83%
  457s|  2300 |   987 |268605 | 115.7 |    83M |  41 | 587 |  99 |1918 | 131k|  3 |  42 |1637 | 2.500000e+03 | 5.693119e+03 | 127.72%|  45.34%
  471s|  2400 |  1044 |278437 | 114.9 |    85M |  41 | 587 |  99 |1762 | 135k|  4 |  45 |1736 | 2.500000e+03 | 5.693119e+03 | 127.72%|  45.34%
  486s|  2500 |  1104 |289780 | 114.9 |    90M |  41 | 587 |  99 |1935 | 139k|  5 |  48 |1825 | 2.500000e+03 | 5.693119e+03 | 127.72%|  45.71%
  502s|  2600 |  1151 |299304 | 114.1 |    95M |  41 | 587 |  99 |   0 | 143k|  0 |  50 |1913 | 2.500000e+03 | 5.693119e+03 | 127.72%|  47.40%
  519s|  2700 |  1206 |309168 | 113.6 |    99M |  41 | 587 |  99 |1545 | 148k|  4 |  52 |1997 | 2.500000e+03 | 5.693119e+03 | 127.72%|  48.51%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  533s|  2800 |  1269 |317203 | 112.4 |   101M |  41 | 587 |  99 |1890 | 151k|  4 |  52 |2059 | 2.500000e+03 | 5.693119e+03 | 127.72%|  48.51%
  548s|  2900 |  1341 |325975 | 111.5 |   104M |  41 | 587 |  99 |1872 | 154k|  3 |  58 |2172 | 2.500000e+03 | 5.693119e+03 | 127.72%|  48.51%
  565s|  3000 |  1394 |336492 | 111.3 |   108M |  41 | 587 |  99 |1650 | 159k|  7 |  60 |2283 | 2.500000e+03 | 5.693119e+03 | 127.72%|  48.89%
  582s|  3100 |  1452 |348441 | 111.6 |   111M |  41 | 587 |  99 |1877 | 164k|  3 |  65 |2363 | 2.500000e+03 | 5.693119e+03 | 127.72%|  48.89%
  596s|  3200 |  1490 |359187 | 111.4 |   115M |  41 | 587 |  99 |1154 | 168k|  1 |  68 |2443 | 2.500000e+03 | 5.693119e+03 | 127.72%|  49.27%
  610s|  3300 |  1524 |370791 | 111.6 |   117M |  41 | 587 |  99 |1684 | 173k|  0 |  72 |2520 | 2.500000e+03 | 5.693119e+03 | 127.72%|  49.35%
  624s|  3400 |  1572 |381948 | 111.6 |   120M |  41 | 587 |  99 |1759 | 177k|  3 |  79 |2618 | 2.500000e+03 | 5.693119e+03 | 127.72%|  49.37%
  640s|  3500 |  1612 |394276 | 111.9 |   124M |  41 | 587 |  99 |1752 | 181k|  4 |  85 |2750 | 2.500000e+03 | 5.693119e+03 | 127.72%|  49.74%
(node 3565) error in strong branching call for variable <t_b44> with solution 0.611183
  656s|  3600 |  1664 |405665 | 112.0 |   129M |  41 | 587 |  99 |1915 | 186k|  5 |  86 |2840 | 2.500000e+03 | 5.693119e+03 | 127.72%|  50.13%
  670s|  3700 |  1711 |414902 | 111.4 |   131M |  41 | 587 |  99 |1858 | 190k|  0 |  93 |2965 | 2.500000e+03 | 5.693119e+03 | 127.72%|  50.13%
  688s|  3800 |  1738 |426232 | 111.5 |   135M |  41 | 587 |  99 |1941 | 194k|  4 |  96 |3120 | 2.500000e+03 | 5.693119e+03 | 127.72%|  50.13%
  704s|  3900 |  1780 |436909 | 111.4 |   137M |  41 | 587 |  99 |1861 | 199k|  1 |  98 |3221 | 2.500000e+03 | 5.693119e+03 | 127.72%|  50.13%
  724s|  4000 |  1804 |450957 | 112.1 |   139M |  41 | 587 |  99 |1924 | 204k|  5 |  99 |3283 | 2.500000e+03 | 5.693119e+03 | 127.72%|  50.76%
  739s|  4100 |  1840 |461339 | 111.9 |   143M |  41 | 587 |  99 |1810 | 208k|  3 | 103 |3377 | 2.500000e+03 | 5.693119e+03 | 127.72%|  50.76%
(node 4152) error in strong branching call for variable <t_b43> with solution 0.05109
  753s|  4200 |  1881 |472222 | 111.8 |   147M |  41 | 587 |  99 |1087 | 213k|  3 | 104 |3437 | 2.500000e+03 | 5.693119e+03 | 127.72%|  50.76%
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  771s|  4300 |  1917 |484840 | 112.2 |   148M |  41 | 587 |  99 |1814 | 217k| 10 | 106 |3535 | 2.500000e+03 | 5.693119e+03 | 127.72%|  52.44%
  786s|  4400 |  1929 |500229 | 113.1 |   160M |  41 | 587 |  99 |1631 | 223k|  3 | 121 |3676 | 2.500000e+03 | 5.693119e+03 | 127.72%|  52.93%
  798s|  4500 |  1938 |511760 | 113.2 |   162M |  41 | 587 |  99 |1822 | 228k|  2 | 121 |3714 | 2.500000e+03 | 5.693119e+03 | 127.72%|  54.16%
  811s|  4600 |  1961 |521834 | 112.9 |   163M |  41 | 587 |  99 |1899 | 233k| 10 | 123 |3818 | 2.500000e+03 | 5.693119e+03 | 127.72%|  54.54%
  824s|  4700 |  2000 |532000 | 112.6 |   167M |  41 | 587 |  99 |1895 | 237k|  3 | 123 |3894 | 2.500000e+03 | 5.693119e+03 | 127.72%|  54.54%
  839s|  4800 |  2040 |543100 | 112.6 |   171M |  41 | 587 |  99 |1988 | 242k|  3 | 126 |3988 | 2.500000e+03 | 5.693119e+03 | 127.72%|  54.54%
  853s|  4900 |  2092 |551081 | 111.9 |   172M |  41 | 587 |  99 |1784 | 245k|  0 | 128 |4066 | 2.500000e+03 | 5.693119e+03 | 127.72%|  54.54%
  868s|  5000 |  2138 |560096 | 111.5 |   174M |  41 | 587 |  99 |1788 | 249k|  4 | 129 |4148 | 2.500000e+03 | 5.693119e+03 | 127.72%|  54.54%

SCIP Status        : solving was interrupted [node limit reached]
Solving Time (sec) : 867.86
Solving Nodes      : 5000
Primal Bound       : +5.69311876399384e+03 (2 solutions)
Dual Bound         : +2.50000000000000e+03
Gap                : 127.72 %