0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4452305-1721442041.opb>
0.00/0.00 c original problem has 1226 variables (1226 bin, 0 int, 0 impl, 0 cont) and 336 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (round 1, fast) 272 del vars, 28 del conss, 0 add conss, 272 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver (3 rounds): 0 aggregations, 15 fixings, 0 bound changes
0.00/0.02 c (round 2, medium) 287 del vars, 28 del conss, 0 add conss, 272 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 34 clqs
0.00/0.02 c (round 3, fast) 287 del vars, 31 del conss, 0 add conss, 272 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 37 clqs
0.00/0.02 c (round 4, exhaustive) 287 del vars, 39 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 37 clqs
0.00/0.02 c (round 5, exhaustive) 287 del vars, 39 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 296 upgd conss, 0 impls, 37 clqs
0.00/0.03 c (round 6, exhaustive) 287 del vars, 39 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 297 upgd conss, 0 impls, 37 clqs
0.00/0.03 c (round 7, exhaustive) 517 del vars, 39 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 297 upgd conss, 0 impls, 37 clqs
0.00/0.03 c (round 8, fast) 517 del vars, 95 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 297 upgd conss, 0 impls, 37 clqs
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 10 fixings, 0 bound changes
0.00/0.04 c (round 9, medium) 527 del vars, 114 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 297 upgd conss, 0 impls, 37 clqs
0.00/0.04 c (round 10, exhaustive) 527 del vars, 115 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 297 upgd conss, 0 impls, 37 clqs
0.00/0.04 c (round 11, exhaustive) 534 del vars, 115 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 297 upgd conss, 0 impls, 37 clqs
0.00/0.04 c (round 12, fast) 534 del vars, 116 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 297 upgd conss, 0 impls, 37 clqs
0.00/0.04 c (round 13, exhaustive) 534 del vars, 117 del conss, 0 add conss, 272 chg bounds, 7 chg sides, 0 chg coeffs, 297 upgd conss, 0 impls, 37 clqs
0.09/0.10 c (0.1s) probing cycle finished: starting next cycle
0.09/0.10 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.11 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.11 c presolving (14 rounds: 14 fast, 10 medium, 8 exhaustive):
0.09/0.11 c 534 deleted vars, 117 deleted constraints, 0 added constraints, 272 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
0.09/0.11 c 0 implications, 3578 cliques
0.09/0.11 c presolved problem has 692 variables (692 bin, 0 int, 0 impl, 0 cont) and 219 constraints
0.09/0.11 c 2 constraints of type <knapsack>
0.09/0.11 c 217 constraints of type <setppc>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.10
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 10.0.0
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.11 c limits/time = 3596.997009
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.11 c limits/memory = 27900
0.09/0.11 c
0.09/0.11 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.09/0.11 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.09/0.11 c limits/solutions = 1
0.09/0.11 c
0.09/0.11 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.09/0.11 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.09/0.11 c misc/usesymmetry = 3
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.09/0.11 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.09/0.11 c propagating/symmetry/detectdoublelex = FALSE
0.09/0.11 c
0.09/0.11 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.09/0.11 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.09/0.11 c propagating/symmetry/detectsubgroups = FALSE
0.09/0.11 c
0.09/0.11 c # Type of symmetries that shall be computed?
0.09/0.11 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.09/0.11 c propagating/symmetry/symtype = 1
0.09/0.11 c
0.09/0.11 c # Should components consisting of a single full reflection be handled?
0.09/0.11 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.09/0.11 c propagating/symmetry/usesimplesgncomp = FALSE
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.20/0.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.20/0.21 c 0.2s| 1 | 0 | 51 | - | 11M | 0 | 692 | 220 | 219 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.30 c 0.3s| 1 | 0 | 66 | - | 12M | 0 | 692 | 220 | 220 | 1 | 1 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.34 c 0.3s| 1 | 0 | 71 | - | 12M | 0 | 692 | 220 | 222 | 3 | 2 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.39 c 0.4s| 1 | 0 | 76 | - | 13M | 0 | 692 | 220 | 225 | 6 | 3 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.43 c 0.4s| 1 | 0 | 77 | - | 13M | 0 | 692 | 220 | 226 | 7 | 4 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.48 c 0.5s| 1 | 0 | 83 | - | 13M | 0 | 692 | 220 | 228 | 9 | 5 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.53 c 0.5s| 1 | 0 | 84 | - | 14M | 0 | 692 | 220 | 229 | 10 | 6 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.59 c 0.6s| 1 | 0 | 86 | - | 15M | 0 | 692 | 220 | 231 | 12 | 7 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.60/0.64 c 0.6s| 1 | 0 | 87 | - | 16M | 0 | 692 | 220 | 232 | 13 | 8 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.60/0.69 c 0.7s| 1 | 0 | 93 | - | 17M | 0 | 692 | 220 | 233 | 14 | 9 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.73 c 0.7s| 1 | 0 | 97 | - | 18M | 0 | 692 | 220 | 235 | 16 | 10 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.78 c 0.8s| 1 | 0 | 99 | - | 19M | 0 | 692 | 220 | 237 | 18 | 11 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.83 c 0.8s| 1 | 0 | 102 | - | 19M | 0 | 692 | 220 | 236 | 20 | 12 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.88 c 0.9s| 1 | 0 | 106 | - | 19M | 0 | 692 | 220 | 239 | 23 | 13 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.89/0.93 c 0.9s| 1 | 0 | 117 | - | 20M | 0 | 692 | 220 | 242 | 26 | 14 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.89/0.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.89/0.97 c 1.0s| 1 | 0 | 122 | - | 21M | 0 | 692 | 220 | 244 | 28 | 15 | 3 | 0 | 0.000000e+00 | -- | Inf | unknown
0.89/0.98 c (run 1, node 1) restarting after 585 global fixings of integer variables
0.89/0.98 c
0.89/0.98 c (restart) converted 23 cuts from the global cut pool into linear constraints
0.89/0.98 c
0.89/0.98 c presolving:
0.89/0.98 c (round 1, fast) 585 del vars, 202 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.89/0.98 c (1.0s) running MILP presolver
0.89/0.99 c (1.0s) MILP presolver (2 rounds): 0 aggregations, 1 fixings, 0 bound changes
0.89/0.99 c (round 2, medium) 586 del vars, 203 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.89/0.99 c (round 3, exhaustive) 586 del vars, 205 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 15 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.89/0.99 c (round 4, exhaustive) 586 del vars, 205 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 15 chg coeffs, 3 upgd conss, 0 impls, 1 clqs
0.89/0.99 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
0.89/0.99 c 586 deleted vars, 205 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 15 changed coefficients
0.89/0.99 c 0 implications, 1 cliques
0.89/0.99 c presolved problem has 106 variables (106 bin, 0 int, 0 impl, 0 cont) and 39 constraints
0.89/0.99 c 4 constraints of type <knapsack>
0.89/0.99 c 15 constraints of type <setppc>
0.89/0.99 c 18 constraints of type <linear>
0.89/0.99 c 2 constraints of type <logicor>
0.89/0.99 c transformed objective value is always integral (scale: 1)
0.89/0.99 c Presolving Time: 0.10
0.89/0.99 c
0.99/1.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.99/1.04 c 1.0s| 1 | 0 | 177 | - | 21M | 0 | 106 | 39 | 38 | 0 | 0 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.05 c 1.1s| 1 | 0 | 182 | - | 21M | 0 | 106 | 39 | 39 | 1 | 1 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.06 c 1.1s| 1 | 0 | 184 | - | 21M | 0 | 106 | 39 | 41 | 3 | 2 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.06 c 1.1s| 1 | 0 | 188 | - | 21M | 0 | 106 | 39 | 43 | 5 | 3 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.06 c 1.1s| 1 | 0 | 194 | - | 21M | 0 | 106 | 39 | 45 | 7 | 4 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.06 c 1.1s| 1 | 0 | 197 | - | 21M | 0 | 106 | 39 | 47 | 9 | 5 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.06 c 1.1s| 1 | 0 | 199 | - | 21M | 0 | 106 | 39 | 49 | 11 | 6 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.07 c 1.1s| 1 | 0 | 201 | - | 21M | 0 | 106 | 39 | 51 | 13 | 7 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.07 c 1.1s| 1 | 0 | 202 | - | 21M | 0 | 106 | 39 | 52 | 14 | 8 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.07 c 1.1s| 1 | 0 | 209 | - | 21M | 0 | 106 | 39 | 54 | 16 | 9 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.08 c 1.1s| 1 | 0 | 214 | - | 21M | 0 | 106 | 39 | 55 | 17 | 10 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.08 c 1.1s| 1 | 0 | 219 | - | 21M | 0 | 106 | 39 | 57 | 19 | 11 | 590 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.09 c 1.1s| 1 | 2 | 260 | - | 21M | 0 | 106 | 40 | 57 | 19 | 11 | 591 | 3 | 0.000000e+00 | -- | Inf | unknown
1.09/1.18 c 1.2s| 100 | 27 | 434 | 3.1 | 21M | 34 | 106 | 54 | 20 | 24 | 1 | 608 | 3 | 0.000000e+00 | -- | Inf | unknown
1.19/1.23 c 1.2s| 200 | 30 | 582 | 2.3 | 22M | 34 | 106 | 74 | 18 | 35 | 1 | 631 | 3 | 0.000000e+00 | -- | Inf | unknown
1.19/1.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.19/1.27 c 1.3s| 300 | 50 | 793 | 2.2 | 22M | 40 | 106 | 104 | 0 | 43 | 0 | 666 | 3 | 0.000000e+00 | -- | Inf | 0.62%
1.28/1.35 c 1.3s| 400 | 78 | 1104 | 2.5 | 22M | 40 | 106 | 138 | 21 | 57 | 0 | 701 | 3 | 0.000000e+00 | -- | Inf | 6.50%
1.38/1.44 c 1.4s| 500 | 94 | 1369 | 2.5 | 23M | 44 | 106 | 178 | 22 | 66 | 1 | 741 | 3 | 0.000000e+00 | -- | Inf | 7.73%
1.38/1.47 c 1.5s| 600 | 98 | 1555 | 2.4 | 23M | 44 | 106 | 215 | 23 | 74 | 2 | 780 | 3 | 0.000000e+00 | -- | Inf | 7.86%
1.48/1.57 c 1.6s| 700 | 146 | 2128 | 2.9 | 23M | 44 | 106 | 238 | 0 | 89 | 0 | 804 | 3 | 0.000000e+00 | -- | Inf | 19.86%
1.58/1.64 c 1.6s| 800 | 174 | 2322 | 2.8 | 24M | 44 | 106 | 265 | 21 | 99 | 1 | 833 | 3 | 0.000000e+00 | -- | Inf | 19.95%
1.68/1.70 c 1.7s| 900 | 190 | 2508 | 2.7 | 24M | 44 | 106 | 299 | 21 | 104 | 1 | 870 | 3 | 0.000000e+00 | -- | Inf | 19.97%
1.68/1.74 c 1.7s| 1000 | 206 | 2812 | 2.7 | 24M | 44 | 106 | 311 | 21 | 114 | 1 | 884 | 3 | 0.000000e+00 | -- | Inf | 20.09%
1.68/1.78 c 1.8s| 1100 | 222 | 2969 | 2.6 | 24M | 46 | 106 | 333 | 24 | 123 | 1 | 906 | 3 | 0.000000e+00 | -- | Inf | 20.09%
1.78/1.81 c 1.8s| 1200 | 236 | 3150 | 2.5 | 24M | 50 | 106 | 349 | 22 | 133 | 1 | 923 | 3 | 0.000000e+00 | -- | Inf | 21.25%
1.78/1.84 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1.78/1.84 c (run 2, node 1268) performing user restart
1.78/1.84 c
1.78/1.84 c presolving:
1.78/1.84 c (round 1, fast) 1 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5 clqs
1.78/1.84 c (round 2, exhaustive) 1 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 0 impls, 5 clqs
1.78/1.84 c (round 3, exhaustive) 1 del vars, 9 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 0 impls, 5 clqs
1.78/1.84 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
1.78/1.84 c 1 deleted vars, 9 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 32 changed coefficients
1.78/1.84 c 0 implications, 5 cliques
1.78/1.84 c presolved problem has 105 variables (105 bin, 0 int, 0 impl, 0 cont) and 351 constraints
1.78/1.84 c 4 constraints of type <knapsack>
1.78/1.84 c 18 constraints of type <setppc>
1.78/1.84 c 18 constraints of type <linear>
1.78/1.84 c 311 constraints of type <logicor>
1.78/1.84 c transformed objective value is always integral (scale: 1)
1.78/1.84 c Presolving Time: 0.11
1.78/1.84 c
1.88/1.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.88/1.90 c 1.9s| 1 | 0 | 3266 | - | 24M | 0 | 105 | 351 | 38 | 0 | 0 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.91 c 1.9s| 1 | 0 | 3268 | - | 24M | 0 | 105 | 351 | 40 | 2 | 1 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.92 c 1.9s| 1 | 0 | 3274 | - | 24M | 0 | 105 | 351 | 43 | 5 | 2 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.92 c 1.9s| 1 | 0 | 3279 | - | 24M | 0 | 105 | 351 | 45 | 7 | 3 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.92 c 1.9s| 1 | 0 | 3281 | - | 24M | 0 | 105 | 351 | 47 | 9 | 4 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.92 c 1.9s| 1 | 0 | 3284 | - | 24M | 0 | 105 | 351 | 49 | 11 | 5 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.92 c 1.9s| 1 | 0 | 3286 | - | 24M | 0 | 105 | 351 | 51 | 13 | 6 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.93 c 1.9s| 1 | 0 | 3291 | - | 24M | 0 | 105 | 351 | 53 | 15 | 7 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.93 c 1.9s| 1 | 0 | 3298 | - | 24M | 0 | 105 | 351 | 55 | 17 | 8 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.93 c 1.9s| 1 | 0 | 3302 | - | 24M | 0 | 105 | 351 | 57 | 19 | 9 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.94 c 1.9s| 1 | 0 | 3307 | - | 24M | 0 | 105 | 351 | 38 | 21 | 10 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.94 c 1.9s| 1 | 0 | 3310 | - | 24M | 0 | 105 | 351 | 40 | 23 | 11 | 936 | 3 | 0.000000e+00 | -- | Inf | unknown
1.88/1.95 c 1.9s| 1 | 2 | 3408 | - | 24M | 0 | 105 | 353 | 40 | 23 | 11 | 938 | 9 | 0.000000e+00 | -- | Inf | unknown
1.99/2.06 c 2.1s| 100 | 35 | 3856 | 2.7 | 24M | 31 | 105 | 387 | 25 | 35 | 1 | 973 | 9 | 0.000000e+00 | -- | Inf | 10.69%
1.99/2.09 c 2.1s| 200 | 45 | 4046 | 2.6 | 24M | 57 | 105 | 414 | 28 | 46 | 1 |1001 | 9 | 0.000000e+00 | -- | Inf | 10.69%
2.09/2.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.09/2.13 c 2.1s| 300 | 55 | 4177 | 2.6 | 24M | 60 | 105 | 421 | 28 | 46 | 0 |1012 | 9 | 0.000000e+00 | -- | Inf | 10.69%
2.09/2.18 c 2.2s| 400 | 69 | 4312 | 2.5 | 24M | 60 | 105 | 429 | 24 | 48 | 1 |1021 | 9 | 0.000000e+00 | -- | Inf | 10.75%
2.18/2.25 c 2.3s| 500 | 94 | 4502 | 2.5 | 24M | 60 | 105 | 451 | 25 | 54 | 1 |1046 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.18/2.29 c 2.3s| 600 | 108 | 4606 | 2.4 | 24M | 60 | 105 | 459 | 27 | 60 | 1 |1054 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.28/2.32 c 2.3s| 700 | 120 | 4798 | 2.4 | 24M | 60 | 105 | 489 | 26 | 74 | 1 |1088 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.28/2.34 c 2.3s| 800 | 125 | 4936 | 2.3 | 24M | 60 | 105 | 499 | 24 | 80 | 0 |1103 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.28/2.39 c 2.4s| 900 | 133 | 5077 | 2.3 | 25M | 60 | 105 | 508 | 25 | 83 | 1 |1117 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.38/2.42 c 2.4s| 1000 | 142 | 5232 | 2.2 | 25M | 60 | 105 | 519 | 24 | 95 | 1 |1134 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.38/2.47 c 2.5s| 1100 | 141 | 5367 | 2.2 | 25M | 60 | 105 | 541 | 24 | 97 | 0 |1171 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.48/2.50 c 2.5s| 1200 | 157 | 5507 | 2.2 | 25M | 60 | 105 | 564 | 24 | 104 | 1 |1199 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.48/2.53 c 2.5s| 1300 | 158 | 5650 | 2.1 | 25M | 60 | 105 | 568 | 24 | 108 | 0 |1215 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.48/2.55 c 2.5s| 1400 | 166 | 5752 | 2.1 | 25M | 63 | 105 | 579 | 24 | 113 | 1 |1234 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.48/2.57 c 2.6s| 1500 | 166 | 5916 | 2.1 | 25M | 63 | 105 | 593 | 26 | 124 | 1 |1257 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.58/2.60 c 2.6s| 1600 | 168 | 6022 | 2.0 | 25M | 63 | 105 | 595 | 0 | 128 | 0 |1265 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.58/2.65 c 2.6s| 1700 | 166 | 6144 | 2.0 | 25M | 63 | 105 | 600 | 26 | 130 | 0 |1277 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.58/2.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.58/2.69 c 2.7s| 1800 | 167 | 6267 | 2.0 | 25M | 63 | 105 | 604 | 24 | 135 | 1 |1287 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.68/2.71 c 2.7s| 1900 | 177 | 6369 | 2.0 | 25M | 63 | 105 | 606 | 24 | 137 | 1 |1295 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.68/2.74 c 2.7s| 2000 | 175 | 6450 | 1.9 | 25M | 63 | 105 | 607 | 0 | 138 | 0 |1301 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.68/2.76 c 2.8s| 2100 | 180 | 6530 | 1.9 | 25M | 63 | 105 | 609 | 24 | 138 | 1 |1313 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.68/2.78 c 2.8s| 2200 | 182 | 6639 | 1.9 | 25M | 63 | 105 | 616 | 24 | 139 | 1 |1328 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.78/2.83 c 2.8s| 2300 | 187 | 6805 | 1.9 | 25M | 63 | 105 | 645 | 24 | 142 | 1 |1360 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.78/2.87 c 2.9s| 2400 | 201 | 6943 | 1.8 | 25M | 63 | 105 | 666 | 26 | 154 | 1 |1386 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.78/2.88 c 2.9s| 2500 | 210 | 7066 | 1.8 | 25M | 63 | 105 | 668 | 24 | 156 | 1 |1397 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.88/2.90 c 2.9s| 2600 | 218 | 7166 | 1.8 | 25M | 63 | 105 | 669 | 28 | 157 | 1 |1402 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.88/2.92 c 2.9s| 2700 | 223 | 7277 | 1.8 | 25M | 63 | 105 | 670 | 28 | 162 | 1 |1412 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.88/2.97 c 3.0s| 2800 | 233 | 7391 | 1.8 | 25M | 63 | 105 | 689 | 24 | 163 | 0 |1434 | 9 | 0.000000e+00 | -- | Inf | 10.92%
2.98/3.01 c 3.0s| 2900 | 242 | 7541 | 1.8 | 25M | 63 | 105 | 700 | 25 | 167 | 1 |1451 | 9 | 0.000000e+00 | -- | Inf | 10.95%
2.98/3.08 c 3.1s| 3000 | 262 | 7706 | 1.8 | 25M | 63 | 105 | 734 | 25 | 177 | 0 |1485 | 9 | 0.000000e+00 | -- | Inf | 11.03%
3.08/3.14 c 3.1s| 3100 | 288 | 7862 | 1.8 | 25M | 63 | 105 | 746 | 0 | 185 | 0 |1497 | 9 | 0.000000e+00 | -- | Inf | 11.13%
3.08/3.17 c 3.2s| 3200 | 290 | 7947 | 1.7 | 25M | 63 | 105 | 749 | 23 | 185 | 1 |1504 | 9 | 0.000000e+00 | -- | Inf | 11.13%
3.18/3.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.18/3.20 c 3.2s| 3300 | 293 | 8091 | 1.7 | 25M | 63 | 105 | 764 | 24 | 189 | 0 |1522 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.18/3.27 c 3.3s| 3400 | 310 | 8236 | 1.7 | 25M | 63 | 105 | 772 | 24 | 189 | 1 |1535 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.28/3.30 c 3.3s| 3500 | 312 | 8375 | 1.7 | 25M | 63 | 105 | 773 | 0 | 198 | 0 |1538 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.28/3.33 c 3.3s| 3600 | 316 | 8497 | 1.7 | 25M | 63 | 105 | 773 | 24 | 205 | 0 |1543 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.28/3.36 c 3.4s| 3700 | 328 | 8672 | 1.7 | 25M | 63 | 105 | 776 | 0 | 216 | 0 |1552 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.28/3.39 c 3.4s| 3800 | 336 | 8803 | 1.7 | 25M | 63 | 105 | 779 | 26 | 227 | 1 |1560 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.38/3.42 c 3.4s| 3900 | 350 | 8959 | 1.7 | 25M | 63 | 105 | 790 | 0 | 240 | 0 |1577 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.38/3.45 c 3.4s| 4000 | 364 | 9084 | 1.7 | 25M | 63 | 105 | 792 | 0 | 244 | 0 |1581 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.38/3.48 c 3.5s| 4100 | 371 | 9208 | 1.7 | 25M | 63 | 105 | 798 | 27 | 252 | 1 |1597 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.48/3.51 c 3.5s| 4200 | 387 | 9336 | 1.7 | 25M | 64 | 105 | 799 | 28 | 254 | 1 |1605 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.48/3.53 c 3.5s| 4300 | 396 | 9464 | 1.7 | 26M | 72 | 105 | 806 | 27 | 256 | 0 |1617 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.48/3.56 c 3.6s| 4400 | 403 | 9577 | 1.7 | 26M | 72 | 105 | 808 | 27 | 258 | 0 |1628 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.48/3.58 c 3.6s| 4500 | 406 | 9720 | 1.7 | 26M | 72 | 105 | 809 | 26 | 262 | 1 |1633 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.58/3.61 c 3.6s| 4600 | 407 | 9872 | 1.7 | 26M | 72 | 105 | 813 | 26 | 272 | 1 |1641 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.58/3.64 c 3.6s| 4700 | 413 | 10015 | 1.6 | 26M | 72 | 105 | 816 | 0 | 277 | 0 |1652 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.58/3.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.58/3.67 c 3.7s| 4800 | 420 | 10129 | 1.6 | 26M | 72 | 105 | 821 | 0 | 279 | 0 |1659 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.58/3.69 c 3.7s| 4900 | 428 | 10258 | 1.6 | 26M | 72 | 105 | 825 | 0 | 291 | 0 |1670 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.68/3.72 c 3.7s| 5000 | 433 | 10362 | 1.6 | 26M | 72 | 105 | 829 | 26 | 293 | 1 |1680 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.68/3.74 c 3.7s| 5100 | 436 | 10459 | 1.6 | 26M | 72 | 105 | 831 | 26 | 293 | 1 |1689 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.68/3.76 c 3.8s| 5200 | 452 | 10595 | 1.6 | 26M | 72 | 105 | 846 | 0 | 295 | 0 |1709 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.68/3.79 c 3.8s| 5300 | 464 | 10742 | 1.6 | 26M | 72 | 105 | 851 | 26 | 299 | 0 |1720 | 9 | 0.000000e+00 | -- | Inf | 11.25%
3.78/3.81 c * 3.8s| 5381 | 0 | 10828 | 1.6 | LP | 72 | 105 | 852 | 26 | 299 | 1 |1724 | 9 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
3.78/3.81 c
3.78/3.81 c SCIP Status : problem is solved [optimal solution found]
3.78/3.81 c Solving Time (sec) : 3.81
3.78/3.81 c Solving Nodes : 5381 (total of 6650 nodes in 3 runs)
3.78/3.81 c Primal Bound : +0.00000000000000e+00 (1 solutions)
3.78/3.81 c Dual Bound : +0.00000000000000e+00
3.78/3.81 c Gap : 0.00 %
3.78/3.81 s SATISFIABLE
3.78/3.81 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208
3.78/3.81 v -x1207 x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190
3.78/3.81 v -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173
3.78/3.81 v -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155
3.78/3.81 v -x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137
3.78/3.81 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119
3.78/3.81 v -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101
3.78/3.81 v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
3.78/3.81 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065
3.78/3.81 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047
3.78/3.81 v -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029
3.78/3.81 v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012
3.78/3.81 v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993
3.78/3.81 v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972
3.78/3.81 v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951
3.78/3.81 v -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
3.78/3.81 v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909
3.78/3.81 v -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888
3.78/3.81 v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867
3.78/3.81 v -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847
3.78/3.81 v -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
3.78/3.81 v -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805
3.78/3.81 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784
3.78/3.81 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763
3.78/3.81 v -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742
3.78/3.81 v -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721
3.78/3.81 v -x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700
3.78/3.81 v -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679
3.78/3.81 v -x678 x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658
3.78/3.81 v -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637
3.78/3.81 v -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617
3.78/3.81 v -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596
3.78/3.81 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575
3.78/3.81 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554
3.78/3.81 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533
3.78/3.81 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512
3.78/3.81 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
3.78/3.81 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
3.78/3.81 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450
3.78/3.81 v -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429
3.78/3.81 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
3.78/3.81 v -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
3.78/3.81 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
3.78/3.81 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345
3.78/3.81 v -x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324
3.78/3.81 v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303
3.78/3.81 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282
3.78/3.81 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
3.78/3.81 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
3.78/3.81 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
3.78/3.81 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199
3.78/3.81 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
3.78/3.81 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
3.78/3.81 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
3.78/3.81 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116
3.78/3.81 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94
3.78/3.81 v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69
3.78/3.81 v -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44
3.78/3.81 v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
3.78/3.81 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3.78/3.81 c SCIP Status : problem is solved [optimal solution found]
3.78/3.81 c Total Time : 3.81
3.78/3.81 c solving : 3.81
3.78/3.81 c presolving : 0.11 (included in solving)
3.78/3.81 c reading : 0.00 (included in solving)
3.78/3.81 c copying : 0.21 (90 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3.78/3.81 c Original Problem :
3.78/3.81 c Problem name : HOME/instance-4452305-1721442041.opb
3.78/3.81 c Variables : 1226 (1226 binary, 0 integer, 0 implicit integer, 0 continuous)
3.78/3.81 c Constraints : 336 initial, 336 maximal
3.78/3.81 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3.78/3.81 c Presolved Problem :
3.78/3.81 c Problem name : t_HOME/instance-4452305-1721442041.opb
3.78/3.81 c Variables : 105 (105 binary, 0 integer, 0 implicit integer, 0 continuous)
3.78/3.81 c Constraints : 351 initial, 852 maximal
3.78/3.81 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3.78/3.81 c Nonzeros : 4491 constraint, 10 clique table
3.78/3.81 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3.78/3.81 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c domcol : 0.02 0.00 5 237 0 0 0 0 0 0 0 0
3.78/3.81 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.78/3.81 c gateextraction : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3.78/3.81 c implics : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
3.78/3.81 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c milp : 0.01 0.00 3 26 0 0 0 0 0 0 0 0
3.78/3.81 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.78/3.81 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c trivial : 0.00 0.00 23 586 0 0 0 0 0 0 0 0
3.78/3.81 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c dualfix : 0.00 0.00 23 0 0 0 0 0 0 0 0 0
3.78/3.81 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3.78/3.81 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3.78/3.81 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3.78/3.81 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3.78/3.81 c knapsack : 0.00 0.00 44 0 0 0 0 0 0 0 0 0
3.78/3.81 c setppc : 0.00 0.00 44 0 0 0 0 0 280 0 0 0
3.78/3.81 c linear : 0.01 0.00 24 272 0 0 272 0 41 0 9 15
3.78/3.81 c logicor : 0.00 0.00 20 0 0 0 0 0 10 0 0 32
3.78/3.81 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c components : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3.78/3.81 c root node : - - - 586 - - 586 - - - - -
3.78/3.81 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3.78/3.81 c benderslp : 0 0 0 0 3692 0 0 449 0 0 0 0 0 0 0
3.78/3.81 c integral : 0 0 0 0 3692 0 0 449 0 0 0 0 0 0 7382
3.78/3.81 c knapsack : 4 4 37 18272 1 0 0 441 11930 1788 33307 131 6 0 0
3.78/3.81 c setppc : 18 18 37 15581 1 0 0 0 1254 28 217 1 0 0 0
3.78/3.81 c linear : 18+ 38 22 3795 0 0 0 2 0 0 0 0 0 0 0
3.78/3.81 c logicor : 311+ 815 37 4935 0 0 0 0 1520 76 1062 3 1 0 0
3.78/3.81 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
3.78/3.81 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
3.78/3.81 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
3.78/3.81 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3.78/3.81 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c integral : 0.02 0.00 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c knapsack : 1.05 0.00 0.63 0.41 0.00 0.00 0.00 0.00 0.01 0.00
3.78/3.81 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c logicor : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c Propagators : #Propagate #ResProp Cutoffs DomReds
3.78/3.81 c dualfix : 3 0 0 0
3.78/3.81 c genvbounds : 0 0 0 0
3.78/3.81 c nlobbt : 0 0 0 0
3.78/3.81 c obbt : 0 0 0 0
3.78/3.81 c probing : 0 0 0 0
3.78/3.81 c pseudoobj : 0 0 0 0
3.78/3.81 c redcost : 0 0 0 0
3.78/3.81 c rootredcost : 0 0 0 0
3.78/3.81 c symmetry : 0 0 0 0
3.78/3.81 c vbounds : 4799 0 0 0
3.78/3.81 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3.78/3.81 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3.78/3.81 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3.78/3.81 c Symmetry :
3.78/3.81 c orbitopal red. : 0 reductions applied, 0 cutoffs
3.78/3.81 c orbital reduction: 0 reductions applied, 0 cutoffs
3.78/3.81 c lexicographic red: 0 reductions applied, 0 cutoffs
3.78/3.81 c shadow tree time : 0.00 s
3.78/3.81 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3.78/3.81 c propagation : 0.02 255 255 - 2261 62.2 0 0.0 - - -
3.78/3.81 c infeasible LP : 0.04 1215 1326 - 1668 15.1 0 0.0 586 1.0 0
3.78/3.81 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3.78/3.81 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3.78/3.81 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
3.78/3.81 c applied globally : 0.00 - - 586 828 10.0 - - 586 - -
3.78/3.81 c applied locally : - - - 0 310 36.3 - - 0 - -
3.78/3.81 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3.78/3.81 c cut pool : 0.02 - 918 71 - - 1434 2749 - - - - - (maximal pool size: 249)
3.78/3.81 c aggregation : 0.16 0.00 302 37 0 0 1353 1901 268 355 278 77 0
3.78/3.81 c > cmir : - - - - - - - 1486 12 89 87 2 -
3.78/3.81 c > flowcover : - - - - - - - 407 0 191 191 0 -
3.78/3.81 c > knapsackcover : - - - - - - - 8 256 75 0 75 -
3.78/3.81 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c clique : 0.00 0.00 37 37 0 0 0 0 0 0 0 0 0
3.78/3.81 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c gomory : 0.06 0.00 295 30 0 0 648 847 300 97 50 47 0
3.78/3.81 c > gomorymi : - - - - - - - 720 204 81 38 43 -
3.78/3.81 c > strongcg : - - - - - - - 127 96 16 12 4 -
3.78/3.81 c impliedbounds : 0.00 0.00 302 37 0 0 1 1 0 1 1 0 0
3.78/3.81 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c mcf : 0.00 0.00 3 3 0 0 0 0 0 0 0 0 0
3.78/3.81 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c multilinear : 0.00 0.00 104 37 0 0 0 0 0 0 0 0 0
3.78/3.81 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3.78/3.81 c rapidlearning : 0.89 0.00 84 3 0 203 0 0 0 0 0 0 542
3.78/3.81 c rlt : 0.00 0.00 178 30 0 0 0 0 0 0 0 0 0
3.78/3.81 c zerohalf : 0.01 0.00 302 37 0 0 0 0 0 0 0 0 0
3.78/3.81 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3.78/3.81 c hybrid : 0.00 0.00 359 37 461 0 2990 70 0 854
3.78/3.81 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c Pricers : ExecTime SetupTime Calls Vars
3.78/3.81 c problem variables: 0.00 - 0 0
3.78/3.81 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3.78/3.81 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c relpscost : 0.01 0.00 3691 0 0 0 0 0 0 7382
3.78/3.81 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3.78/3.81 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3.78/3.81 c LP solutions : 0.00 - - 1 1
3.78/3.81 c relax solutions : 0.00 - - 0 0
3.78/3.81 c pseudo solutions : 0.00 - - 0 0
3.78/3.81 c strong branching : 0.00 - - 0 0
3.78/3.81 c actconsdiving : 0.00 0.00 0 0 0
3.78/3.81 c adaptivediving : 0.01 0.00 8 0 0
3.78/3.81 c alns : 0.04 0.00 3 0 0
3.78/3.81 c bound : 0.00 0.00 0 0 0
3.78/3.81 c clique : 0.00 0.00 1 0 0
3.78/3.81 c coefdiving : 0.00 0.00 0 0 0
3.78/3.81 c completesol : 0.00 0.00 0 0 0
3.78/3.81 c conflictdiving : 0.01 0.00 5 0 0
3.78/3.81 c crossover : 0.00 0.00 0 0 0
3.78/3.81 c dins : 0.00 0.00 0 0 0
3.78/3.81 c distributiondivin: 0.01 0.00 4 0 0
3.78/3.81 c dps : 0.00 0.00 0 0 0
3.78/3.81 c dualval : 0.00 0.00 0 0 0
3.78/3.81 c farkasdiving : 0.00 0.00 0 0 0
3.78/3.81 c feasjump : 0.21 0.00 3 0 0
3.78/3.81 c feaspump : 0.00 0.00 3 0 0
3.78/3.81 c fixandinfer : 0.00 0.00 0 0 0
3.78/3.81 c fracdiving : 0.01 0.00 5 0 0
3.78/3.81 c gins : 0.00 0.00 0 0 0
3.78/3.81 c guideddiving : 0.00 0.00 0 0 0
3.78/3.81 c indcoefdiving : 0.00 0.00 0 0 0
3.78/3.81 c indicator : 0.00 0.00 0 0 0
3.78/3.81 c indicatordiving : 0.00 0.00 0 0 0
3.78/3.81 c indoneopt : 0.00 0.00 0 0 0
3.78/3.81 c indrounding : 0.00 0.00 0 0 0
3.78/3.81 c indtwoopt : 0.00 0.00 0 0 0
3.78/3.81 c intdiving : 0.00 0.00 0 0 0
3.78/3.81 c intshifting : 0.00 0.00 0 0 0
3.78/3.81 c linesearchdiving : 0.01 0.00 4 0 0
3.78/3.81 c localbranching : 0.00 0.00 0 0 0
3.78/3.81 c locks : 0.00 0.00 1 0 0
3.78/3.81 c lpface : 0.00 0.00 0 0 0
3.78/3.81 c mpec : 0.00 0.00 0 0 0
3.78/3.81 c multistart : 0.00 0.00 0 0 0
3.78/3.81 c mutation : 0.00 0.00 0 0 0
3.78/3.81 c nlpdiving : 0.00 0.00 0 0 0
3.78/3.81 c objpscostdiving : 0.00 0.00 3 0 0
3.78/3.81 c octane : 0.00 0.00 0 0 0
3.78/3.81 c ofins : 0.00 0.00 0 0 0
3.78/3.81 c oneopt : 0.00 0.00 0 0 0
3.78/3.81 c padm : 0.00 0.00 0 0 0
3.78/3.81 c proximity : 0.00 0.00 0 0 0
3.78/3.81 c pscostdiving : 0.01 0.00 4 0 0
3.78/3.81 c randrounding : 0.01 0.00 426 0 0
3.78/3.81 c rens : 0.01 0.00 3 0 0
3.78/3.81 c reoptsols : 0.00 0.00 0 0 0
3.78/3.81 c repair : 0.00 0.00 0 0 0
3.78/3.81 c rins : 0.00 0.00 0 0 0
3.78/3.81 c rootsoldiving : 0.00 0.00 3 0 0
3.78/3.81 c rounding : 0.00 0.00 845 0 0
3.78/3.81 c scheduler : 0.00 0.00 0 0 0
3.78/3.81 c shiftandpropagate: 0.01 0.00 3 0 0
3.78/3.81 c shifting : 0.07 0.00 328 0 0
3.78/3.81 c simplerounding : 0.00 0.00 0 0 0
3.78/3.81 c smallcard : 0.00 0.00 0 0 0
3.78/3.81 c subnlp : 0.00 0.00 0 0 0
3.78/3.81 c trivial : 0.00 0.00 6 0 0
3.78/3.81 c trivialnegation : 0.00 0.00 0 0 0
3.78/3.81 c trustregion : 0.00 0.00 0 0 0
3.78/3.81 c trysol : 0.00 0.00 0 0 0
3.78/3.81 c twoopt : 0.00 0.00 0 0 0
3.78/3.81 c undercover : 0.00 0.00 0 0 0
3.78/3.81 c vbounds : 0.00 0.00 0 0 0
3.78/3.81 c veclendiving : 0.01 0.00 5 0 0
3.78/3.81 c zeroobj : 0.00 0.00 0 0 0
3.78/3.81 c zirounding : 0.00 0.00 1000 0 0
3.78/3.81 c other solutions : - - - 0 -
3.78/3.81 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3.78/3.81 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3.78/3.81 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3.78/3.81 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3.78/3.81 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3.78/3.81 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3.78/3.81 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3.78/3.81 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3.78/3.81 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3.78/3.81 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3.78/3.81 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3.78/3.81 c primal LP : 0.00 91 0 0.00 - 0.00 91
3.78/3.81 c dual LP : 0.17 5276 9629 1.87 57029.65 0.00 120
3.78/3.81 c lex dual LP : 0.00 0 0 0.00 -
3.78/3.81 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3.78/3.81 c resolve instable : 0.00 0 0 0.00 -
3.78/3.81 c diving/probing LP: 0.02 567 1199 2.11 49467.78
3.78/3.81 c strong branching : 0.00 9 95 10.56 - - - 0
3.78/3.81 c (at root node) : - 9 95 10.56 -
3.78/3.81 c conflict analysis: 0.00 0 0 0.00 -
3.78/3.81 c B&B Tree :
3.78/3.81 c number of runs : 3
3.78/3.81 c nodes : 5381 (2937 internal, 2444 leaves)
3.78/3.81 c feasible leaves : 1
3.78/3.81 c infeas. leaves : 2443
3.78/3.81 c objective leaves : 0
3.78/3.81 c nodes (total) : 6650 (3691 internal, 2959 leaves)
3.78/3.81 c nodes left : 0
3.78/3.81 c max depth : 72
3.78/3.81 c max depth (total): 72
3.78/3.81 c backtracks : 514 (9.6%)
3.78/3.81 c early backtracks : 0 (0.0%)
3.78/3.81 c nodes exc. ref. : 0 (0.0%)
3.78/3.81 c delayed cutoffs : 31
3.78/3.81 c repropagations : 3261 (846 domain reductions, 30 cutoffs)
3.78/3.81 c avg switch length: 4.04
3.78/3.81 c switching time : 0.54
3.78/3.81 c Root Node :
3.78/3.81 c First LP value : +0.00000000000000e+00
3.78/3.81 c First LP Iters : 3 (8982.04 Iter/sec)
3.78/3.81 c First LP Time : 0.00
3.78/3.81 c Final Dual Bound : +0.00000000000000e+00
3.78/3.81 c Final Root Iters : 170
3.78/3.81 c Root LP Estimate : +5.80615253973151e-04
3.78/3.81 c Solution :
3.78/3.81 c Solutions found : 1 (1 improvements)
3.78/3.81 c First Solution : +0.00000000000000e+00 (in run 3, after 5381 nodes, 3.80 seconds, depth 58, found by <relaxation>)
3.78/3.81 c Gap First Sol. : 0.00 %
3.78/3.81 c Gap Last Sol. : 0.00 %
3.78/3.81 c Primal Bound : +0.00000000000000e+00 (in run 3, after 5381 nodes, 3.80 seconds, depth 58, found by <relaxation>)
3.78/3.81 c Dual Bound : +0.00000000000000e+00
3.78/3.81 c Gap : 0.00 %
3.78/3.81 c Integrals : Total Avg%
3.78/3.81 c primal-dual : 380.61 99.98
3.78/3.81 c primal-ref : - - (not evaluated)
3.78/3.81 c dual-ref : - - (not evaluated)
3.78/3.81 c Time complete: 3.80439.