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, 41446 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, 41446 del conss, 0 add conss, 577 chg bounds, 9164 chg sides, 18710 chg coeffs, 1292 upgd conss, 1312 impls, 197 clqs
   (0.4s) sparsify finished: 52/136826 (0.0%) nonzeros canceled - in total 52 canceled nonzeros, 52 changed coefficients, 0 added nonzeros
(round 7, exhaustive) 14852 del vars, 41463 del conss, 0 add conss, 579 chg bounds, 9164 chg sides, 18762 chg coeffs, 1292 upgd conss, 2632 impls, 840 clqs
(round 8, fast)       14852 del vars, 42953 del conss, 0 add conss, 579 chg bounds, 9170 chg sides, 18884 chg coeffs, 1292 upgd conss, 2848 impls, 1046 clqs
(round 9, fast)       15284 del vars, 43385 del conss, 0 add conss, 579 chg bounds, 9170 chg sides, 18884 chg coeffs, 1292 upgd conss, 2848 impls, 842 clqs
   (0.5s) sparsify finished: 24/129826 (0.0%) nonzeros canceled - in total 76 canceled nonzeros, 76 changed coefficients, 0 added nonzeros
   (0.8s) probing: 1000/9242 (10.8%) - 67 fixings, 1 aggregations, 3726 implications, 2 bound changes
   (0.9s) probing: 1059/9242 (11.5%) - 67 fixings, 1 aggregations, 3856 implications, 2 bound changes
   (0.9s) probing aborted: 1000/1000 successive useless probings
   (1.2s) dualsparsify: 82 nonzeros canceled
   (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
   (1.2s) no symmetry present (symcode time: 0.01)
presolving (10 rounds: 10 fast, 4 medium, 4 exhaustive):
 15284 deleted vars, 43385 deleted constraints, 0 added constraints, 579 tightened bounds, 0 added holes, 9170 changed sides, 19776 changed coefficients
 4680 implications, 1887 cliques
presolved problem has 9250 variables (8756 bin, 0 int, 0 impl, 494 cont) and 34840 constraints
    964 constraints of type <varbound>
    100 constraints of type <knapsack>
    179 constraints of type <setppc>
  33594 constraints of type <linear>
      3 constraints of type <logicor>
transformed objective value is always integral (scale: 1)
Presolving Time: 1.16

 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
  2.8s|     1 |     0 | 12289 |     - |   342M |   0 |9250 |  34k|  34k|   0 |  0 |   7 |   0 | 5.000000e+00 |      --      |    Inf | unknown
 12.2s|     1 |     0 | 38651 |     - |   348M |   0 |9250 |  34k|  34k|  50 |  1 |   7 |   0 | 5.000000e+00 |      --      |    Inf | unknown
 12.9s|     1 |     0 | 45827 |     - |   352M |   0 |9250 |  34k|  34k|  80 |  2 |   9 |   0 | 5.000000e+00 |      --      |    Inf | unknown
 13.7s|     1 |     0 | 53689 |     - |   356M |   0 |9250 |  34k|  34k|  85 |  3 |  10 |   0 | 5.000000e+00 |      --      |    Inf | unknown
 14.2s|     1 |     0 | 56904 |     - |   360M |   0 |9250 |  34k|  34k|  96 |  4 |  10 |   0 | 5.000000e+00 |      --      |    Inf | unknown
 14.6s|     1 |     0 | 59556 |     - |   363M |   0 |9250 |  34k|  34k| 116 |  5 |  12 |   0 | 4.870516e+00 |      --      |    Inf | unknown
 14.7s|     1 |     0 | 59632 |     - |   367M |   0 |9250 |  34k|  33k| 137 |  6 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
 14.8s|     1 |     0 | 59678 |     - |   370M |   0 |9250 |  34k|  32k| 146 |  7 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
 15.0s|     1 |     0 | 60019 |     - |   374M |   0 |9250 |  34k|  30k| 157 |  8 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
 15.1s|     1 |     0 | 60559 |     - |   377M |   0 |9250 |  34k|  30k| 164 |  9 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
 15.4s|     1 |     0 | 62511 |     - |   380M |   0 |9250 |  34k|  30k| 172 | 10 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
 15.5s|     1 |     0 | 62525 |     - |   382M |   0 |9250 |  34k|  30k| 178 | 11 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
 15.5s|     1 |     0 | 62562 |     - |   386M |   0 |9250 |  34k|  30k| 184 | 12 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
 15.6s|     1 |     0 | 62608 |     - |   389M |   0 |9250 |  34k|  30k| 189 | 13 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
 15.6s|     1 |     0 | 62617 |     - |   392M |   0 |9250 |  34k|  30k| 193 | 14 |  14 |   0 | 4.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. 
 15.6s|     1 |     0 | 62683 |     - |   395M |   0 |9250 |  34k|  30k| 196 | 15 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
 15.7s|     1 |     0 | 62688 |     - |   399M |   0 |9250 |  34k|  30k| 198 | 16 |  14 |   0 | 4.000000e+00 |      --      |    Inf | unknown
r15.7s|     1 |     0 | 62688 |     - |rounding|   0 |9250 |  34k|  30k| 198 | 16 |  14 |   0 | 4.000000e+00 | 4.000000e+00 |   0.00%| unknown
 15.7s|     1 |     0 | 62688 |     - |   399M |   0 |9250 |  34k|  30k| 198 | 16 |  14 |   0 | 4.000000e+00 | 4.000000e+00 |   0.00%| unknown

SCIP Status        : problem is solved [optimal solution found]
Solving Time (sec) : 15.70
Solving Nodes      : 1
Primal Bound       : +4.00000000000000e+00 (1 solutions)
Dual Bound         : +4.00000000000000e+00
Gap                : 0.00 %
  [linear] <s_less_F_if_y>: <s_0_7_0_0>[C] (+4.54747351e-13) -1.79769313e+308<y_0_7_0_0>[B] (-6.8790666e-16) <= 0;
;
violation: right hand side is violated by 1e+20
best solution is not feasible in original problem
Solved with status Optimal
Objective value: 4