presolving:
(round 1, fast)       11522 del vars, 36382 del conss, 0 add conss, 447 chg bounds, 9164 chg sides, 18208 chg coeffs, 0 upgd conss, 984 impls, 201 clqs
(round 2, fast)       14042 del vars, 40578 del conss, 0 add conss, 529 chg bounds, 9164 chg sides, 18690 chg coeffs, 0 upgd conss, 1312 impls, 199 clqs
(round 3, fast)       14770 del vars, 41242 del conss, 0 add conss, 575 chg bounds, 9164 chg sides, 18704 chg coeffs, 0 upgd conss, 1312 impls, 197 clqs
(round 4, fast)       14784 del vars, 41256 del conss, 0 add conss, 575 chg bounds, 9164 chg sides, 18706 chg coeffs, 0 upgd conss, 1312 impls, 197 clqs
(round 5, exhaustive) 14784 del vars, 41443 del conss, 0 add conss, 577 chg bounds, 9164 chg sides, 18710 chg coeffs, 0 upgd conss, 1312 impls, 197 clqs
(round 6, exhaustive) 14784 del vars, 41443 del conss, 0 add conss, 577 chg bounds, 9164 chg sides, 18710 chg coeffs, 1292 upgd conss, 1312 impls, 197 clqs
(round 7, exhaustive) 14852 del vars, 41460 del conss, 0 add conss, 579 chg bounds, 9164 chg sides, 18710 chg coeffs, 1292 upgd conss, 2632 impls, 840 clqs
(round 8, fast)       14852 del vars, 42950 del conss, 0 add conss, 579 chg bounds, 9170 chg sides, 18832 chg coeffs, 1292 upgd conss, 2848 impls, 1046 clqs
(round 9, fast)       15284 del vars, 43382 del conss, 0 add conss, 579 chg bounds, 9170 chg sides, 18832 chg coeffs, 1292 upgd conss, 2848 impls, 842 clqs
   (0.8s) probing: 1000/9242 (10.8%) - 67 fixings, 1 aggregations, 3726 implications, 2 bound changes
   (0.8s) probing: 1059/9242 (11.5%) - 67 fixings, 1 aggregations, 3856 implications, 2 bound changes
   (0.8s) probing aborted: 1000/1000 successive useless probings
   (1.1s) dualsparsify: 82 nonzeros canceled
   (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
   (1.1s) no symmetry present (symcode time: 0.01)
presolving (10 rounds: 10 fast, 4 medium, 4 exhaustive):
 15284 deleted vars, 43382 deleted constraints, 0 added constraints, 579 tightened bounds, 0 added holes, 9170 changed sides, 19701 changed coefficients
 4680 implications, 1887 cliques
presolved problem has 9250 variables (8756 bin, 0 int, 0 impl, 494 cont) and 34843 constraints
    964 constraints of type <varbound>
    103 constraints of type <knapsack>
    179 constraints of type <setppc>
  33597 constraints of type <linear>
transformed objective value is always integral (scale: 1)
Presolving Time: 1.08

 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
t 1.2s|     1 |     0 |     0 |     - | trivial|   0 |9250 |  34k|   0 |   0 |  0 |   0 |   0 | 1.600000e+01 | 0.000000e+00 |    Inf | unknown
  1.6s|     1 |     0 |  4645 |     - |   343M |   0 |9250 |  34k|  34k|   0 |  0 |   2 |   0 | 5.000000e+00 | 0.000000e+00 |    Inf | unknown
  2.1s|     1 |     0 |  8046 |     - |   347M |   0 |9250 |  34k|  34k|  26 |  1 |   5 |   0 | 5.000000e+00 | 0.000000e+00 |    Inf | unknown
  2.6s|     1 |     0 | 11103 |     - |   351M |   0 |9250 |  34k|  34k|  50 |  2 |   6 |   0 | 5.000000e+00 | 0.000000e+00 |    Inf | unknown
  4.0s|     1 |     0 | 19864 |     - |   356M |   0 |9250 |  34k|  34k|  85 |  3 |  10 |   0 | 4.870516e+00 | 0.000000e+00 |    Inf | unknown
  4.4s|     1 |     0 | 21518 |     - |   360M |   0 |9250 |  34k|  33k| 120 |  4 |  10 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  4.7s|     1 |     0 | 22161 |     - |   364M |   0 |9250 |  34k|  31k| 137 |  5 |  10 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  4.9s|     1 |     0 | 22644 |     - |   368M |   0 |9250 |  34k|  29k| 149 |  6 |  11 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  5.2s|     1 |     0 | 23429 |     - |   373M |   0 |9250 |  34k|  29k| 183 |  7 |  14 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  5.3s|     1 |     0 | 23725 |     - |   377M |   0 |9250 |  34k|  29k| 194 |  8 |  16 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  5.5s|     1 |     0 | 26035 |     - |   380M |   0 |9250 |  34k|  28k| 200 |  9 |  17 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  5.6s|     1 |     0 | 26441 |     - |   383M |   0 |9250 |  34k|  28k| 202 | 10 |  18 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  5.7s|     1 |     0 | 26673 |     - |   386M |   0 |9250 |  34k|  28k| 206 | 11 |  18 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  5.8s|     1 |     0 | 26795 |     - |   388M |   0 |9250 |  34k|  28k| 209 | 12 |  18 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  5.9s|     1 |     0 | 27002 |     - |   391M |   0 |9250 |  34k|  28k| 211 | 13 |  18 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  6.0s|     1 |     0 | 27506 |     - |   394M |   0 |9250 |  34k|  28k| 214 | 14 |  18 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  6.1s|     1 |     0 | 27613 |     - |   397M |   0 |9250 |  34k|  28k| 218 | 15 |  18 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  6.2s|     1 |     0 | 28491 |     - |   399M |   0 |9250 |  34k|  28k| 223 | 16 |  18 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  6.5s|     1 |     0 | 29887 |     - |   402M |   0 |9250 |  34k|  28k| 228 | 17 |  20 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  6.8s|     1 |     0 | 31998 |     - |   405M |   0 |9250 |  34k|  28k| 237 | 18 |  24 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  7.3s|     1 |     0 | 36210 |     - |   407M |   0 |9250 |  34k|  28k| 241 | 19 |  25 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  7.7s|     1 |     0 | 40258 |     - |   410M |   0 |9250 |  34k|  28k| 254 | 20 |  25 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  8.0s|     1 |     0 | 42908 |     - |   410M |   0 |9250 |  34k|  28k| 276 | 21 |  25 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  8.3s|     1 |     0 | 44835 |     - |   410M |   0 |9250 |  34k|  28k| 284 | 22 |  27 |   0 | 4.000000e+00 | 0.000000e+00 |    Inf | unknown
  8.3s|     1 |     0 | 44835 |     - |   410M |   0 |9250 |  25k|  28k| 284 | 22 |  28 |   0 | 0.000000e+00 | 0.000000e+00 |   0.00%| unknown
  8.3s|     1 |     0 | 44835 |     - |   410M |   0 |9250 |  25k|  28k| 284 | 22 |  28 |   0 | 0.000000e+00 | 0.000000e+00 |   0.00%| unknown

SCIP Status        : problem is solved [optimal solution found]
Solving Time (sec) : 8.30
Solving Nodes      : 1
Primal Bound       : +0.00000000000000e+00 (1 solutions)
Dual Bound         : +0.00000000000000e+00
Gap                : 0.00 %
Solved with status Optimal
Objective value: 0