0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4542395-1753212926.opb>
0.00/0.06 c original problem has 10192 variables (10192 bin, 0 int, 0 impl, 0 cont) and 2383 constraints
0.00/0.06 c problem read in 0.04
0.00/0.06 c No objective function, only one solution is needed.
0.09/0.11 c presolving:
0.09/0.15 c (0.1s) running MILP presolver
0.09/0.18 c (0.2s) MILP presolver found nothing
0.09/0.20 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1551 upgd conss, 0 impls, 819 clqs
0.20/0.23 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2383 upgd conss, 0 impls, 819 clqs
0.29/0.33 c (0.3s) probing: 51/10192 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.33 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.35 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
22.58/22.76 c (22.7s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 1130.0) (symcode time: 22.38)
22.89/23.10 c dynamic symmetry handling statistics:
22.89/23.10 c orbitopal reduction: no components
22.89/23.10 c orbital reduction: 89 components of sizes 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 2
22.89/23.10 c lexicographic reduction: 1498 permutations with support sizes 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 22, 20, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 2c 2, 20, 22, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 22, 20, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 22, 20, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22,c 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 22, 20, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 2c 0, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 22, 20, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20,c 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 22, 20, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 2c 2, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 22, 20, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 20, 22, 20, 22, 20, 22, 22, 20, 22, 20, 20, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 22, 20, 20, 22
22.89/23.10 c handled 91 out of 91 symmetry components
22.89/23.10 c (round 3, exhaustive) 0 del vars, 0 del conss, 2 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 2383 upgd conss, 0 impls, 821 clqs
22.89/23.11 c (round 4, exhaustive) 0 del vars, 0 del conss, 2 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 2385 upgd conss, 0 impls, 821 clqs
22.99/23.12 c presolving (5 rounds: 5 fast, 5 medium, 5 exhaustive):
22.99/23.12 c 0 deleted vars, 0 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 16 changed coefficients
22.99/23.12 c 0 implications, 821 cliques
22.99/23.12 c presolved problem has 10192 variables (10192 bin, 0 int, 0 impl, 0 cont) and 2385 constraints
22.99/23.12 c 327 constraints of type <knapsack>
22.99/23.12 c 821 constraints of type <setppc>
22.99/23.12 c 1237 constraints of type <logicor>
22.99/23.12 c transformed objective value is always integral (scale: 1)
22.99/23.12 c Presolving Time: 23.02
22.99/23.12 c - non default parameters ----------------------------------------------------------------------
22.99/23.12 c # SCIP version 10.0.0
22.99/23.12 c
22.99/23.12 c # maximal time in seconds to run
22.99/23.12 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
22.99/23.12 c limits/time = 3596.993112
22.99/23.12 c
22.99/23.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
22.99/23.12 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
22.99/23.12 c limits/memory = 27900
22.99/23.12 c
22.99/23.12 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
22.99/23.12 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
22.99/23.12 c limits/solutions = 1
22.99/23.12 c
22.99/23.12 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.
22.99/23.12 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
22.99/23.12 c misc/usesymmetry = 3
22.99/23.12 c
22.99/23.12 c # belongs reading time to solving time?
22.99/23.12 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
22.99/23.12 c timing/reading = TRUE
22.99/23.12 c
22.99/23.12 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
22.99/23.12 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
22.99/23.12 c propagating/symmetry/detectdoublelex = FALSE
22.99/23.12 c
22.99/23.12 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
22.99/23.12 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
22.99/23.12 c propagating/symmetry/detectsubgroups = FALSE
22.99/23.12 c
22.99/23.12 c # Type of symmetries that shall be computed?
22.99/23.12 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
22.99/23.12 c propagating/symmetry/symtype = 1
22.99/23.12 c
22.99/23.12 c # Should components consisting of a single full reflection be handled?
22.99/23.12 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
22.99/23.12 c propagating/symmetry/usesimplesgncomp = FALSE
22.99/23.12 c
22.99/23.12 c -----------------------------------------------------------------------------------------------
22.99/23.12 c start solving
22.99/23.12 c
23.08/23.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.08/23.27 c 23.3s| 1 | 0 | 5209 | - | 197M | 0 | 10k|2581 |2385 | 0 | 0 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
23.38/23.50 c 23.5s| 1 | 0 | 7133 | - | 206M | 0 | 10k|2581 |2409 | 24 | 1 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
23.48/23.66 c 23.6s| 1 | 0 | 7203 | - | 213M | 0 | 10k|2581 |2428 | 43 | 2 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
23.58/23.78 c 23.8s| 1 | 0 | 7278 | - | 217M | 0 | 10k|2581 |2447 | 62 | 3 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
23.68/23.86 c 23.8s| 1 | 0 | 7343 | - | 220M | 0 | 10k|2581 |2463 | 78 | 4 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
23.88/24.03 c 24.0s| 1 | 0 | 7386 | - | 228M | 0 | 10k|2581 |2475 | 90 | 5 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
24.07/24.25 c 24.2s| 1 | 0 | 7433 | - | 238M | 0 | 10k|2581 |2487 | 102 | 6 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
24.27/24.49 c 24.5s| 1 | 0 | 7478 | - | 245M | 0 | 10k|2582 |2500 | 115 | 7 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
24.48/24.63 c 24.6s| 1 | 0 | 7550 | - | 248M | 0 | 10k|2582 |2513 | 128 | 8 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
24.67/24.81 c 24.8s| 1 | 0 | 7592 | - | 253M | 0 | 10k|2582 |2525 | 140 | 9 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
24.88/25.04 c 25.0s| 1 | 0 | 7655 | - | 264M | 0 | 10k|2582 |2537 | 152 | 10 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
24.88/25.07 c 25.1s| 1 | 0 | 7683 | - | 264M | 0 | 10k|2582 |2546 | 161 | 11 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown
25.27/25.48 c 25.5s| 1 | 0 | 9057 | - | 265M | 0 | 10k|2584 |2546 | 161 | 11 | 201 | 21 | 0.000000e+00 | -- | Inf | unknown
25.37/25.50 c 25.5s| 1 | 0 | 9123 | - | 265M | 0 | 10k|2584 |2552 | 167 | 12 | 201 | 21 | 0.000000e+00 | -- | Inf | unknown
25.37/25.51 c 25.5s| 1 | 0 | 9131 | - | 265M | 0 | 10k|2584 |2553 | 168 | 13 | 201 | 21 | 0.000000e+00 | -- | Inf | unknown
25.57/25.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.57/25.77 c 25.7s| 1 | 2 | 9181 | - | 265M | 0 | 10k|2584 |2553 | 168 | 13 | 201 | 48 | 0.000000e+00 | -- | Inf | unknown
28.76/28.92 c 28.9s| 100 | 73 | 29697 | 221.6 | 277M | 13 | 10k|2667 |2446 | 818 | 1 | 284 | 48 | 0.000000e+00 | -- | Inf | 71.00%
31.15/31.32 c 31.3s| 200 | 159 | 42013 | 172.1 | 279M | 37 | 10k|2730 |2468 |1096 | 1 | 347 | 48 | 0.000000e+00 | -- | Inf | 72.59%
33.24/33.47 c 33.5s| 300 | 249 | 51789 | 147.3 | 281M | 44 | 10k|2777 |2468 |1380 | 1 | 394 | 48 | 0.000000e+00 | -- | Inf | 72.59%
35.04/35.24 c 35.2s| 400 | 315 | 60698 | 132.7 | 283M | 45 | 10k|2827 |2486 |1685 | 1 | 444 | 48 | 0.000000e+00 | -- | Inf | 72.59%
36.33/36.52 c 36.5s| 500 | 381 | 66449 | 117.6 | 284M | 58 | 10k|2862 |2489 |1822 | 1 | 479 | 48 | 0.000000e+00 | -- | Inf | 72.59%
37.13/37.35 c 37.3s| 600 | 465 | 69314 | 102.8 | 284M | 95 | 10k|2895 |2489 |1822 | 1 | 517 | 48 | 0.000000e+00 | -- | Inf | 72.59%
37.94/38.13 c 38.1s| 700 | 541 | 71804 | 91.6 | 284M | 114 | 10k|2951 |2489 |1822 | 1 | 587 | 48 | 0.000000e+00 | -- | Inf | 72.59%
38.72/38.90 c 38.9s| 800 | 588 | 73425 | 82.2 | 286M | 114 | 10k|3046 |2450 |1856 | 1 | 705 | 48 | 0.000000e+00 | -- | Inf | 72.59%
39.32/39.55 c 39.5s| 900 | 605 | 74707 | 74.5 | 287M | 114 | 10k|3102 | 0 |1856 | 0 | 776 | 48 | 0.000000e+00 | -- | Inf | 72.59%
39.93/40.19 c 40.2s| 1000 | 638 | 76343 | 68.7 | 287M | 114 | 10k|3164 | 0 |1856 | 0 | 851 | 48 | 0.000000e+00 | -- | Inf | 72.59%
40.52/40.79 c 40.8s| 1100 | 648 | 77454 | 63.4 | 288M | 114 | 10k|3251 |2489 |1856 | 1 | 947 | 48 | 0.000000e+00 | -- | Inf | 72.59%
41.21/41.40 c 41.4s| 1200 | 661 | 78702 | 59.2 | 288M | 114 | 10k|3362 |2489 |1857 | 1 |1070 | 48 | 0.000000e+00 | -- | Inf | 72.59%
41.71/41.98 c 42.0s| 1300 | 662 | 79959 | 55.6 | 288M | 114 | 10k|3482 | 0 |1857 | 0 |1213 | 48 | 0.000000e+00 | -- | Inf | 72.59%
42.31/42.56 c 42.5s| 1400 | 653 | 81107 | 52.4 | 288M | 114 | 10k|3546 | 0 |1857 | 0 |1342 | 48 | 0.000000e+00 | -- | Inf | 72.59%
42.82/43.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.82/43.08 c 43.1s| 1500 | 665 | 82307 | 49.7 | 288M | 114 | 10k|3542 |2489 |1857 | 1 |1413 | 48 | 0.000000e+00 | -- | Inf | 72.59%
43.41/43.64 c 43.6s| 1600 | 674 | 83414 | 47.3 | 288M | 114 | 10k|3546 |2489 |1857 | 0 |1507 | 48 | 0.000000e+00 | -- | Inf | 72.59%
44.00/44.20 c 44.2s| 1700 | 675 | 84570 | 45.2 | 288M | 114 | 10k|3526 | 0 |1857 | 0 |1597 | 48 | 0.000000e+00 | -- | Inf | 72.59%
44.50/44.75 c 44.7s| 1800 | 683 | 85737 | 43.3 | 288M | 114 | 10k|3487 | 0 |1857 | 0 |1658 | 48 | 0.000000e+00 | -- | Inf | 72.59%
45.00/45.28 c 45.3s| 1900 | 690 | 86830 | 41.6 | 288M | 114 | 10k|3424 | 0 |1857 | 0 |1720 | 48 | 0.000000e+00 | -- | Inf | 72.59%
45.50/45.79 c 45.8s| 2000 | 701 | 88017 | 40.2 | 288M | 114 | 10k|3330 |2489 |1857 | 1 |1778 | 48 | 0.000000e+00 | -- | Inf | 72.59%
46.10/46.30 c 46.3s| 2100 | 696 | 89016 | 38.7 | 288M | 114 | 10k|3288 | 0 |1857 | 0 |1843 | 48 | 0.000000e+00 | -- | Inf | 72.59%
46.49/46.78 c 46.8s| 2200 | 691 | 89933 | 37.4 | 288M | 114 | 10k|3250 |2489 |1857 | 1 |1902 | 48 | 0.000000e+00 | -- | Inf | 72.59%
46.99/47.28 c 47.3s| 2300 | 695 | 91002 | 36.2 | 288M | 114 | 10k|3250 | 0 |1857 | 0 |1961 | 48 | 0.000000e+00 | -- | Inf | 72.59%
47.49/47.74 c 47.7s| 2400 | 689 | 91808 | 35.0 | 288M | 114 | 10k|3261 | 0 |1857 | 0 |2020 | 48 | 0.000000e+00 | -- | Inf | 72.59%
47.99/48.28 c 48.3s| 2500 | 718 | 92680 | 34.0 | 288M | 114 | 10k|3277 |2489 |1857 | 1 |2069 | 48 | 0.000000e+00 | -- | Inf | 72.59%
48.69/49.00 c 49.0s| 2600 | 794 | 94804 | 33.5 | 288M | 114 | 10k|3294 | 0 |1857 | 0 |2094 | 48 | 0.000000e+00 | -- | Inf | 72.59%
49.38/49.65 c 49.6s| 2700 | 853 | 96584 | 32.9 | 289M | 114 | 10k|3350 |2489 |1857 | 1 |2170 | 48 | 0.000000e+00 | -- | Inf | 72.59%
50.08/50.32 c 50.3s| 2800 | 901 | 98259 | 32.3 | 289M | 114 | 10k|3435 |2489 |1857 | 0 |2279 | 48 | 0.000000e+00 | -- | Inf | 72.59%
50.68/50.94 c 50.9s| 2900 | 916 | 99199 | 31.5 | 289M | 114 | 10k|3530 |2489 |1857 | 0 |2399 | 48 | 0.000000e+00 | -- | Inf | 72.59%
51.28/51.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.28/51.53 c 51.5s| 3000 | 931 |100262 | 30.8 | 289M | 114 | 10k|3598 | 0 |1857 | 0 |2487 | 48 | 0.000000e+00 | -- | Inf | 72.59%
51.89/52.16 c 52.1s| 3100 | 945 |101328 | 30.2 | 289M | 114 | 10k|3749 |2489 |1857 | 1 |2668 | 48 | 0.000000e+00 | -- | Inf | 72.59%
52.47/52.70 c 52.7s| 3200 | 958 |102284 | 29.5 | 289M | 114 | 10k|3811 |2489 |1857 | 1 |2762 | 48 | 0.000000e+00 | -- | Inf | 72.59%
53.07/53.34 c 53.3s| 3300 | 960 |103455 | 29.0 | 289M | 114 | 10k|3817 |2489 |1857 | 1 |2864 | 48 | 0.000000e+00 | -- | Inf | 72.59%
53.67/53.93 c 53.9s| 3400 | 973 |104505 | 28.5 | 289M | 114 | 10k|3794 |2489 |1857 | 1 |2942 | 48 | 0.000000e+00 | -- | Inf | 72.59%
54.16/54.48 c 54.5s| 3500 | 975 |105428 | 27.9 | 289M | 114 | 10k|3847 | 0 |1857 | 0 |3075 | 48 | 0.000000e+00 | -- | Inf | 72.59%
54.77/55.01 c 55.0s| 3600 | 990 |106532 | 27.4 | 289M | 114 | 10k|3853 | 0 |1857 | 0 |3152 | 48 | 0.000000e+00 | -- | Inf | 72.59%
55.26/55.53 c 55.5s| 3700 | 981 |107576 | 27.0 | 289M | 114 | 10k|3857 |2489 |1857 | 1 |3256 | 48 | 0.000000e+00 | -- | Inf | 72.59%
55.87/56.17 c 56.2s| 3800 | 982 |110469 | 27.0 | 289M | 114 | 10k|3873 |2489 |1857 | 1 |3345 | 48 | 0.000000e+00 | -- | Inf | 72.59%
56.36/56.69 c 56.7s| 3900 | 987 |111249 | 26.5 | 289M | 114 | 10k|3883 |2489 |1857 | 1 |3427 | 48 | 0.000000e+00 | -- | Inf | 72.59%
56.95/57.24 c 57.2s| 4000 | 997 |112337 | 26.2 | 289M | 114 | 10k|3889 | 0 |1857 | 0 |3532 | 48 | 0.000000e+00 | -- | Inf | 72.59%
57.45/57.79 c 57.8s| 4100 | 1002 |113345 | 25.8 | 289M | 114 | 10k|3879 | 0 |1857 | 0 |3636 | 48 | 0.000000e+00 | -- | Inf | 72.59%
57.95/58.29 c 58.3s| 4200 | 1007 |114087 | 25.3 | 289M | 114 | 10k|3887 | 0 |1857 | 0 |3733 | 48 | 0.000000e+00 | -- | Inf | 72.59%
58.55/58.86 c 58.8s| 4300 | 1010 |115256 | 25.0 | 289M | 114 | 10k|3902 |2489 |1857 | 1 |3832 | 48 | 0.000000e+00 | -- | Inf | 72.59%
59.15/59.48 c 59.5s| 4400 | 1044 |117252 | 24.9 | 290M | 114 | 10k|3940 |2489 |1857 | 1 |3915 | 48 | 0.000000e+00 | -- | Inf | 72.59%
59.76/60.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
59.76/60.03 c 60.0s| 4500 | 1053 |118305 | 24.6 | 290M | 114 | 10k|3996 | 0 |1857 | 0 |4025 | 48 | 0.000000e+00 | -- | Inf | 72.59%
60.64/60.99 c 61.0s| 4600 | 1055 |119247 | 24.2 | 291M | 114 | 10k|3974 | 0 |1857 | 0 |4105 | 48 | 0.000000e+00 | -- | Inf | 72.59%
61.14/61.49 c 61.5s| 4700 | 1065 |120501 | 24.0 | 291M | 114 | 10k|3955 | 0 |1857 | 0 |4174 | 48 | 0.000000e+00 | -- | Inf | 72.59%
61.75/62.04 c 62.0s| 4800 | 1029 |121581 | 23.7 | 291M | 114 | 10k|3951 | 0 |1857 | 0 |4300 | 48 | 0.000000e+00 | -- | Inf | 72.59%
62.23/62.57 c 62.6s| 4900 | 1024 |122748 | 23.5 | 291M | 114 | 10k|3945 |2489 |1857 | 1 |4379 | 48 | 0.000000e+00 | -- | Inf | 72.59%
62.74/63.09 c 63.1s| 5000 | 1010 |123803 | 23.2 | 291M | 114 | 10k|3935 |2489 |1857 | 1 |4482 | 48 | 0.000000e+00 | -- | Inf | 72.59%
63.33/63.61 c 63.6s| 5100 | 1007 |125062 | 23.0 | 291M | 114 | 10k|3924 |2489 |1857 | 1 |4569 | 48 | 0.000000e+00 | -- | Inf | 72.59%
63.84/64.17 c 64.1s| 5200 | 1021 |126915 | 22.9 | 291M | 114 | 10k|3985 | 0 |1857 | 0 |4673 | 48 | 0.000000e+00 | -- | Inf | 72.59%
64.32/64.68 c 64.7s| 5300 | 1020 |128158 | 22.7 | 291M | 114 | 10k|3987 |2489 |1857 | 1 |4753 | 48 | 0.000000e+00 | -- | Inf | 72.59%
64.83/65.18 c 65.2s| 5400 | 1014 |129203 | 22.5 | 291M | 114 | 10k|3988 | 0 |1857 | 0 |4845 | 48 | 0.000000e+00 | -- | Inf | 72.59%
65.42/65.73 c 65.7s| 5500 | 1039 |130357 | 22.3 | 291M | 114 | 10k|4004 | 0 |1857 | 0 |4896 | 48 | 0.000000e+00 | -- | Inf | 72.59%
65.92/66.23 c 66.2s| 5600 | 1043 |131556 | 22.1 | 291M | 114 | 10k|3988 |2489 |1857 | 1 |4966 | 48 | 0.000000e+00 | -- | Inf | 72.59%
66.42/66.72 c 66.7s| 5700 | 1051 |132411 | 21.9 | 291M | 114 | 10k|4010 | 0 |1857 | 0 |5060 | 48 | 0.000000e+00 | -- | Inf | 72.59%
66.83/67.19 c 67.2s| 5800 | 1045 |133268 | 21.6 | 291M | 114 | 10k|4049 | 0 |1857 | 0 |5174 | 48 | 0.000000e+00 | -- | Inf | 72.59%
67.41/67.70 c 67.7s| 5900 | 1022 |134138 | 21.4 | 291M | 114 | 10k|4042 |2489 |1857 | 1 |5284 | 48 | 0.000000e+00 | -- | Inf | 72.59%
67.91/68.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.91/68.20 c 68.2s| 6000 | 997 |135113 | 21.2 | 291M | 114 | 10k|4017 |2489 |1857 | 1 |5410 | 48 | 0.000000e+00 | -- | Inf | 72.59%
68.41/68.72 c 68.7s| 6100 | 995 |136413 | 21.1 | 291M | 114 | 10k|3991 | 0 |1857 | 0 |5517 | 48 | 0.000000e+00 | -- | Inf | 72.59%
68.91/69.25 c 69.2s| 6200 | 996 |137649 | 21.0 | 291M | 114 | 10k|3982 | 0 |1857 | 0 |5601 | 48 | 0.000000e+00 | -- | Inf | 72.59%
69.41/69.73 c 69.7s| 6300 | 986 |138725 | 20.8 | 291M | 114 | 10k|3923 | 0 |1857 | 0 |5686 | 48 | 0.000000e+00 | -- | Inf | 72.59%
69.90/70.21 c 70.2s| 6400 | 977 |139687 | 20.6 | 291M | 114 | 10k|3928 |2489 |1857 | 1 |5768 | 48 | 0.000000e+00 | -- | Inf | 72.59%
70.40/70.72 c 70.7s| 6500 | 962 |140783 | 20.5 | 291M | 114 | 10k|3917 |2489 |1857 | 1 |5849 | 48 | 0.000000e+00 | -- | Inf | 72.59%
70.90/71.24 c 71.2s| 6600 | 965 |141904 | 20.3 | 291M | 114 | 10k|3927 |2489 |1857 | 1 |5934 | 48 | 0.000000e+00 | -- | Inf | 72.59%
71.40/71.74 c 71.7s| 6700 | 956 |142966 | 20.2 | 291M | 114 | 10k|3947 |2489 |1857 | 1 |6032 | 48 | 0.000000e+00 | -- | Inf | 72.59%
71.90/72.25 c 72.2s| 6800 | 956 |144536 | 20.1 | 291M | 114 | 10k|3978 |2489 |1857 | 1 |6145 | 48 | 0.000000e+00 | -- | Inf | 72.59%
72.39/72.78 c 72.8s| 6900 | 947 |145781 | 20.0 | 291M | 114 | 10k|4001 |2489 |1857 | 1 |6243 | 48 | 0.000000e+00 | -- | Inf | 72.59%
72.89/73.28 c 73.3s| 7000 | 945 |146998 | 19.9 | 291M | 114 | 10k|3999 |2489 |1857 | 1 |6328 | 48 | 0.000000e+00 | -- | Inf | 72.59%
73.39/73.76 c 73.7s| 7100 | 944 |147953 | 19.7 | 291M | 114 | 10k|3988 | 0 |1857 | 0 |6414 | 48 | 0.000000e+00 | -- | Inf | 72.59%
73.89/74.23 c 74.2s| 7200 | 942 |149039 | 19.6 | 291M | 114 | 10k|3993 | 0 |1857 | 0 |6511 | 48 | 0.000000e+00 | -- | Inf | 72.59%
74.29/74.68 c 74.7s| 7300 | 919 |150005 | 19.5 | 291M | 114 | 10k|3998 | 0 |1857 | 0 |6620 | 48 | 0.000000e+00 | -- | Inf | 72.59%
74.80/75.19 c 75.2s| 7400 | 903 |150995 | 19.4 | 291M | 114 | 10k|3969 | 0 |1857 | 0 |6717 | 48 | 0.000000e+00 | -- | Inf | 72.59%
75.38/75.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
75.38/75.75 c 75.7s| 7500 | 899 |151868 | 19.2 | 291M | 114 | 10k|3909 | 0 |1857 | 0 |6790 | 48 | 0.000000e+00 | -- | Inf | 72.59%
75.88/76.28 c 76.3s| 7600 | 890 |152992 | 19.1 | 291M | 114 | 10k|3909 |2489 |1857 | 1 |6898 | 48 | 0.000000e+00 | -- | Inf | 72.59%
76.48/76.80 c 76.8s| 7700 | 889 |154126 | 19.0 | 291M | 114 | 10k|3889 | 0 |1857 | 0 |6975 | 48 | 0.000000e+00 | -- | Inf | 72.59%
76.98/77.33 c 77.3s| 7800 | 878 |155301 | 18.9 | 291M | 114 | 10k|3905 | 0 |1857 | 0 |7076 | 48 | 0.000000e+00 | -- | Inf | 72.59%
77.58/77.91 c 77.9s| 7900 | 862 |155612 | 18.7 | 291M | 114 | 10k|3878 | 0 |1857 | 0 |7160 | 48 | 0.000000e+00 | -- | Inf | 72.59%
78.07/78.49 c 78.5s| 8000 | 869 |156877 | 18.6 | 291M | 114 | 10k|3865 | 0 |1857 | 0 |7239 | 48 | 0.000000e+00 | -- | Inf | 72.59%
78.68/79.06 c 79.0s| 8100 | 885 |158667 | 18.6 | 291M | 114 | 10k|3868 | 0 |1857 | 0 |7319 | 48 | 0.000000e+00 | -- | Inf | 72.59%
79.17/79.56 c 79.5s| 8200 | 877 |160004 | 18.6 | 291M | 114 | 10k|3879 |2489 |1857 | 1 |7427 | 48 | 0.000000e+00 | -- | Inf | 72.59%
79.68/80.09 c 80.1s| 8300 | 867 |161092 | 18.5 | 291M | 114 | 10k|3897 |2489 |1857 | 1 |7535 | 48 | 0.000000e+00 | -- | Inf | 72.59%
80.17/80.58 c 80.6s| 8400 | 858 |162023 | 18.4 | 291M | 114 | 10k|3932 | 0 |1857 | 0 |7637 | 48 | 0.000000e+00 | -- | Inf | 72.59%
80.68/81.05 c 81.0s| 8500 | 839 |162984 | 18.3 | 291M | 114 | 10k|3912 | 0 |1857 | 0 |7727 | 48 | 0.000000e+00 | -- | Inf | 72.59%
81.16/81.54 c 81.5s| 8600 | 831 |163936 | 18.2 | 291M | 114 | 10k|3912 |2489 |1857 | 1 |7841 | 48 | 0.000000e+00 | -- | Inf | 72.59%
81.67/82.01 c 82.0s| 8700 | 813 |164837 | 18.1 | 291M | 114 | 10k|3914 |2489 |1857 | 1 |7946 | 48 | 0.000000e+00 | -- | Inf | 72.59%
82.06/82.48 c 82.5s| 8800 | 798 |165706 | 18.0 | 291M | 114 | 10k|3888 | 0 |1857 | 0 |8017 | 48 | 0.000000e+00 | -- | Inf | 72.59%
82.56/83.00 c 83.0s| 8900 | 793 |166385 | 17.8 | 291M | 114 | 10k|3865 | 0 |1857 | 0 |8088 | 48 | 0.000000e+00 | -- | Inf | 72.59%
83.15/83.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
83.15/83.50 c 83.5s| 9000 | 797 |167210 | 17.7 | 291M | 114 | 10k|3860 | 0 |1857 | 0 |8166 | 48 | 0.000000e+00 | -- | Inf | 72.59%
83.55/83.99 c 84.0s| 9100 | 797 |168210 | 17.6 | 291M | 114 | 10k|3875 | 0 |1857 | 0 |8256 | 48 | 0.000000e+00 | -- | Inf | 72.59%
84.05/84.46 c 84.4s| 9200 | 781 |169070 | 17.5 | 291M | 114 | 10k|3878 |2489 |1857 | 1 |8346 | 48 | 0.000000e+00 | -- | Inf | 72.59%
84.55/84.94 c 84.9s| 9300 | 752 |169912 | 17.4 | 291M | 114 | 10k|3891 | 0 |1857 | 0 |8469 | 48 | 0.000000e+00 | -- | Inf | 72.59%
85.05/85.43 c 85.4s| 9400 | 741 |170862 | 17.4 | 291M | 114 | 10k|3874 |2489 |1857 | 1 |8554 | 48 | 0.000000e+00 | -- | Inf | 72.59%
85.55/85.92 c 85.9s| 9500 | 728 |171769 | 17.3 | 291M | 114 | 10k|3867 | 0 |1857 | 0 |8641 | 48 | 0.000000e+00 | -- | Inf | 72.59%
85.94/86.38 c 86.4s| 9600 | 701 |172314 | 17.1 | 291M | 114 | 10k|3841 |2489 |1857 | 1 |8748 | 48 | 0.000000e+00 | -- | Inf | 72.59%
86.44/86.86 c 86.8s| 9700 | 680 |173246 | 17.1 | 291M | 114 | 10k|3809 |2489 |1857 | 1 |8841 | 48 | 0.000000e+00 | -- | Inf | 72.59%
86.94/87.39 c 87.4s| 9800 | 685 |174353 | 17.0 | 291M | 114 | 10k|3806 |2489 |1857 | 1 |8920 | 48 | 0.000000e+00 | -- | Inf | 72.59%
87.44/87.84 c 87.8s| 9900 | 688 |175424 | 16.9 | 291M | 114 | 10k|3825 |2489 |1857 | 1 |8984 | 48 | 0.000000e+00 | -- | Inf | 72.59%
87.94/88.30 c 88.3s| 10000 | 682 |176352 | 16.9 | 291M | 114 | 10k|3864 | 0 |1857 | 0 |9053 | 48 | 0.000000e+00 | -- | Inf | 72.59%
88.34/88.76 c 88.7s| 10100 | 655 |177138 | 16.8 | 291M | 114 | 10k|3874 | 0 |1857 | 0 |9138 | 48 | 0.000000e+00 | -- | Inf | 72.59%
88.83/89.25 c 89.2s| 10200 | 659 |178331 | 16.7 | 291M | 114 | 10k|3877 |2489 |1857 | 1 |9219 | 48 | 0.000000e+00 | -- | Inf | 72.59%
89.33/89.75 c 89.7s| 10300 | 669 |179492 | 16.7 | 291M | 114 | 10k|3878 |2489 |1857 | 1 |9279 | 48 | 0.000000e+00 | -- | Inf | 72.59%
89.83/90.24 c 90.2s| 10400 | 660 |180560 | 16.6 | 291M | 114 | 10k|3875 |2489 |1857 | 1 |9381 | 48 | 0.000000e+00 | -- | Inf | 72.59%
90.33/90.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.33/90.75 c 90.7s| 10500 | 657 |181994 | 16.6 | 291M | 114 | 10k|3893 |2489 |1857 | 1 |9497 | 48 | 0.000000e+00 | -- | Inf | 72.59%
90.83/91.25 c 91.2s| 10600 | 656 |183454 | 16.6 | 291M | 114 | 10k|3901 | 0 |1857 | 0 |9622 | 48 | 0.000000e+00 | -- | Inf | 72.59%
91.52/91.91 c 91.9s| 10700 | 660 |184473 | 16.5 | 291M | 114 | 10k|3903 |2489 |1857 | 1 |9695 | 48 | 0.000000e+00 | -- | Inf | 72.59%
92.02/92.43 c 92.4s| 10800 | 666 |185219 | 16.4 | 291M | 114 | 10k|3915 | 0 |1857 | 0 |9759 | 48 | 0.000000e+00 | -- | Inf | 72.59%
92.52/92.94 c 92.9s| 10900 | 670 |186693 | 16.4 | 291M | 114 | 10k|3910 |2489 |1857 | 1 |9844 | 48 | 0.000000e+00 | -- | Inf | 72.59%
93.02/93.43 c 93.4s| 11000 | 650 |187897 | 16.4 | 291M | 114 | 10k|3938 | 0 |1857 | 0 |9949 | 48 | 0.000000e+00 | -- | Inf | 72.59%
93.52/93.94 c 93.9s| 11100 | 621 |189143 | 16.3 | 291M | 114 | 10k|3929 |2489 |1857 | 1 | 10k| 48 | 0.000000e+00 | -- | Inf | 72.59%
94.01/94.45 c 94.4s| 11200 | 622 |190426 | 16.3 | 291M | 114 | 10k|3918 | 0 |1857 | 0 | 10k| 48 | 0.000000e+00 | -- | Inf | 72.59%
94.51/94.94 c 94.9s| 11300 | 598 |191683 | 16.3 | 291M | 114 | 10k|3897 |2489 |1857 | 1 | 10k| 48 | 0.000000e+00 | -- | Inf | 72.59%
95.01/95.44 c 95.4s| 11400 | 598 |193016 | 16.3 | 291M | 114 | 10k|3927 | 0 |1857 | 0 | 10k| 48 | 0.000000e+00 | -- | Inf | 72.59%
96.11/96.57 c 96.6s| 11500 | 576 |201388 | 16.8 | 291M | 114 | 10k|3899 | 0 |1887 | 0 | 10k| 48 | 0.000000e+00 | -- | Inf | 72.59%
96.21/96.62 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
96.21/96.62 c (run 1, node 11512) performing user restart
96.21/96.62 c
96.21/96.62 c (restart) converted 56 cuts from the global cut pool into linear constraints
96.21/96.62 c
96.21/96.64 c presolving:
96.21/96.65 c (round 1, fast) 1 del vars, 319 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 0 impls, 833 clqs
96.21/96.66 c (round 2, exhaustive) 1 del vars, 319 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 3 chg coeffs, 57 upgd conss, 0 impls, 833 clqs
96.21/96.66 c (round 3, fast) 1 del vars, 322 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 3 chg coeffs, 57 upgd conss, 0 impls, 833 clqs
96.21/96.67 c (round 4, exhaustive) 1 del vars, 529 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 156 chg coeffs, 57 upgd conss, 0 impls, 833 clqs
96.21/96.67 c (round 5, fast) 81 del vars, 562 del conss, 2 add conss, 0 chg bounds, 2 chg sides, 353 chg coeffs, 57 upgd conss, 0 impls, 833 clqs
96.21/96.69 c (round 6, exhaustive) 81 del vars, 576 del conss, 2 add conss, 0 chg bounds, 2 chg sides, 355 chg coeffs, 57 upgd conss, 0 impls, 833 clqs
96.31/96.72 c presolving (7 rounds: 7 fast, 4 medium, 4 exhaustive):
96.31/96.72 c 81 deleted vars, 577 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 355 changed coefficients
96.31/96.72 c 0 implications, 833 cliques
96.31/96.72 c presolved problem has 10111 variables (10111 bin, 0 int, 0 impl, 0 cont) and 3373 constraints
96.31/96.72 c 401 constraints of type <knapsack>
96.31/96.72 c 833 constraints of type <setppc>
96.31/96.72 c 2139 constraints of type <logicor>
96.31/96.72 c transformed objective value is always integral (scale: 1)
96.31/96.72 c Presolving Time: 23.09
96.31/96.72 c
96.40/96.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
96.40/96.85 c 96.8s| 1 | 0 |206913 | - | 282M | 0 | 10k|3424 |2433 | 0 | 0 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
96.50/96.95 c 96.9s| 1 | 0 |207001 | - | 284M | 0 | 10k|3426 |2452 | 19 | 1 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
96.63/97.06 c 97.0s| 1 | 0 |207063 | - | 285M | 0 | 10k|3426 |2474 | 41 | 2 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
96.73/97.18 c 97.2s| 1 | 0 |207133 | - | 285M | 0 | 10k|3427 |2490 | 57 | 3 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
96.91/97.34 c 97.3s| 1 | 0 |207240 | - | 286M | 0 | 10k|3428 |2507 | 74 | 4 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
97.11/97.50 c 97.5s| 1 | 0 |207332 | - | 286M | 0 | 10k|3429 |2523 | 90 | 5 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
97.21/97.66 c 97.6s| 1 | 0 |207377 | - | 287M | 0 | 10k|3430 |2535 | 102 | 6 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
97.41/97.83 c 97.8s| 1 | 0 |207459 | - | 288M | 0 | 10k|3430 |2551 | 118 | 7 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
97.51/98.01 c 98.0s| 1 | 0 |207530 | - | 291M | 0 | 10k|3431 |2565 | 132 | 8 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
97.81/98.20 c 98.2s| 1 | 0 |207591 | - | 293M | 0 | 10k|3432 |2578 | 145 | 9 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
98.01/98.44 c 98.4s| 1 | 0 |207643 | - | 298M | 0 | 10k|3433 |2594 | 161 | 10 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
98.01/98.47 c 98.5s| 1 | 0 |207693 | - | 298M | 0 | 10k|3433 |2540 | 173 | 11 | 10k| 48 | 0.000000e+00 | -- | Inf | unknown
98.41/98.85 c 98.8s| 1 | 2 |209368 | - | 299M | 0 | 10k|3439 |2540 | 173 | 11 | 10k| 67 | 0.000000e+00 | -- | Inf | unknown
101.99/102.43 c 102s| 100 | 101 |236492 | 19.2 | 305M | 12 | 10k|3529 |2460 |1389 | 2 | 10k| 67 | 0.000000e+00 | -- | Inf | unknown
104.19/104.60 c 105s| 200 | 187 |256075 | 20.7 | 311M | 19 | 10k|3597 |2424 |2374 | 1 | 10k| 67 | 0.000000e+00 | -- | Inf | unknown
105.88/106.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
105.88/106.34 c 106s| 300 | 210 |272885 | 21.9 | 311M | 22 | 10k|3660 |2449 |2753 | 1 | 10k| 67 | 0.000000e+00 | -- | Inf | 4.25%
107.17/107.63 c 108s| 400 | 281 |286119 | 22.9 | 312M | 40 | 10k|3731 |2465 |2930 | 1 | 10k| 67 | 0.000000e+00 | -- | Inf | 4.25%
107.97/108.49 c 108s| 500 | 374 |292954 | 23.2 | 313M | 44 | 10k|3766 |2472 |2996 | 1 | 10k| 67 | 0.000000e+00 | -- | Inf | 4.25%
108.68/109.15 c 109s| 600 | 451 |297481 | 23.4 | 314M | 85 | 10k|3809 |2487 |3048 | 1 | 10k| 67 | 0.000000e+00 | -- | Inf | 4.27%
109.07/109.52 c 110s| 700 | 489 |298943 | 23.3 | 314M | 100 | 10k|3895 |2487 |3048 | 0 | 11k| 67 | 0.000000e+00 | -- | Inf | 4.27%
109.37/109.88 c 110s| 800 | 470 |300198 | 23.3 | 315M | 100 | 10k|4046 |2487 |3048 | 1 | 11k| 67 | 0.000000e+00 | -- | Inf | 4.27%
109.68/110.17 c 110s| 900 | 445 |300970 | 23.1 | 315M | 100 | 10k|4155 |2487 |3048 | 1 | 11k| 67 | 0.000000e+00 | -- | Inf | 4.27%
110.06/110.52 c 111s| 1000 | 432 |302280 | 23.0 | 315M | 100 | 10k|4270 |2479 |3066 | 1 | 11k| 67 | 0.000000e+00 | -- | Inf | 4.27%
110.46/110.95 c 111s| 1100 | 425 |303957 | 23.0 | 315M | 100 | 10k|4332 |2475 |3103 | 0 | 11k| 67 | 0.000000e+00 | -- | Inf | 4.27%
111.06/111.56 c 112s| 1200 | 370 |306032 | 23.0 | 315M | 100 | 10k|4411 | 0 |3214 | 0 | 11k| 67 | 0.000000e+00 | -- | Inf | 4.27%
111.67/112.15 c 112s| 1300 | 366 |307572 | 22.9 | 315M | 100 | 10k|4485 |2482 |3308 | 1 | 11k| 67 | 0.000000e+00 | -- | Inf | 4.27%
112.35/112.80 c 113s| 1400 | 371 |310799 | 23.0 | 318M | 100 | 10k|4540 |2471 |3431 | 1 | 11k| 67 | 0.000000e+00 | -- | Inf | 4.27%
112.95/113.45 c 113s| 1500 | 391 |313502 | 23.0 | 319M | 100 | 10k|4599 |2484 |3573 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
113.45/113.96 c 114s| 1600 | 429 |315642 | 23.0 | 319M | 100 | 10k|4663 |2486 |3739 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
113.85/114.35 c 114s| 1700 | 435 |317591 | 23.0 | 319M | 100 | 10k|4745 |2464 |3839 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
114.44/114.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
114.44/114.97 c 115s| 1800 | 479 |320762 | 23.1 | 319M | 100 | 10k|4765 |2476 |4062 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
114.94/115.44 c 115s| 1900 | 522 |323539 | 23.1 | 319M | 100 | 10k|4786 |2476 |4209 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
115.34/115.89 c 116s| 2000 | 550 |325936 | 23.1 | 319M | 100 | 10k|4827 |2474 |4385 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
115.94/116.46 c 116s| 2100 | 529 |328049 | 23.1 | 319M | 100 | 10k|4820 |2490 |4556 | 2 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
116.65/117.12 c 117s| 2200 | 569 |331474 | 23.2 | 319M | 100 | 10k|4835 |2481 |4797 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
117.23/117.76 c 118s| 2300 | 619 |335136 | 23.3 | 320M | 100 | 10k|4882 |2462 |5065 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
117.83/118.32 c 118s| 2400 | 683 |338205 | 23.3 | 321M | 100 | 10k|4913 | 0 |5169 | 0 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
118.23/118.78 c 119s| 2500 | 732 |340253 | 23.3 | 321M | 100 | 10k|4957 |2464 |5308 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
118.72/119.22 c 119s| 2600 | 743 |343064 | 23.3 | 321M | 100 | 10k|4988 |2461 |5459 | 1 | 12k| 67 | 0.000000e+00 | -- | Inf | 4.27%
119.12/119.66 c 120s| 2700 | 742 |345324 | 23.3 | 321M | 100 | 10k|5012 |2480 |5612 | 1 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
119.63/120.17 c 120s| 2800 | 790 |348105 | 23.4 | 321M | 100 | 10k|4957 |2469 |5803 | 1 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
120.12/120.64 c 121s| 2900 | 830 |350282 | 23.3 | 321M | 100 | 10k|4942 |2477 |5947 | 1 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
120.63/121.14 c 121s| 3000 | 860 |352766 | 23.3 | 321M | 100 | 10k|5002 | 0 |6167 | 0 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
121.11/121.63 c 122s| 3100 | 857 |355125 | 23.4 | 321M | 100 | 10k|5073 |2460 |6345 | 1 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
121.63/122.13 c 122s| 3200 | 903 |357925 | 23.4 | 321M | 100 | 10k|5027 | 0 |6526 | 0 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
121.91/122.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
121.91/122.47 c 122s| 3300 | 922 |359822 | 23.4 | 321M | 100 | 10k|5027 | 0 |6580 | 0 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
122.31/122.85 c 123s| 3400 | 887 |361699 | 23.3 | 321M | 100 | 10k|5023 | 0 |6673 | 0 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
123.01/123.50 c 123s| 3500 | 909 |366059 | 23.5 | 321M | 100 | 10k|5017 |2470 |7037 | 2 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
123.41/123.96 c 124s| 3600 | 951 |369024 | 23.5 | 321M | 100 | 10k|4982 |2470 |7108 | 1 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
123.70/124.24 c 124s| 3700 | 920 |370353 | 23.4 | 321M | 100 | 10k|4994 |2472 |7113 | 1 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
124.20/124.73 c 125s| 3800 | 919 |372267 | 23.4 | 321M | 100 | 10k|5015 | 0 |7290 | 0 | 13k| 67 | 0.000000e+00 | -- | Inf | 4.27%
124.70/125.21 c 125s| 3900 | 932 |374410 | 23.4 | 322M | 100 | 10k|4978 |2470 |7483 | 1 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
125.40/125.91 c 126s| 4000 | 963 |380333 | 23.6 | 322M | 100 | 10k|4962 |2471 |7692 | 2 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
125.70/126.27 c 126s| 4100 | 961 |381963 | 23.6 | 322M | 100 | 10k|4913 |2473 |7764 | 1 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
126.19/126.79 c 127s| 4200 | 970 |385085 | 23.6 | 322M | 100 | 10k|4880 |2470 |8020 | 1 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
126.69/127.23 c 127s| 4300 | 929 |387223 | 23.6 | 322M | 100 | 10k|4822 |2462 |8180 | 1 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
127.19/127.72 c 128s| 4400 | 958 |389941 | 23.6 | 322M | 100 | 10k|4757 |2484 |8459 | 1 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
127.60/128.18 c 128s| 4500 | 917 |392517 | 23.6 | 322M | 100 | 10k|4765 |2470 |8638 | 1 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
128.19/128.77 c 129s| 4600 | 915 |396327 | 23.7 | 322M | 100 | 10k|4754 |2469 |8804 | 2 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
128.88/129.40 c 129s| 4700 | 960 |399816 | 23.8 | 322M | 100 | 10k|4822 |2471 |8896 | 1 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
129.38/129.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
129.38/129.93 c 130s| 4800 | 976 |401103 | 23.7 | 322M | 100 | 10k|4887 |2487 |8956 | 1 | 14k| 67 | 0.000000e+00 | -- | Inf | 4.27%
129.98/130.55 c 131s| 4900 | 975 |402756 | 23.7 | 322M | 100 | 10k|4966 | 0 |9047 | 0 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
130.49/131.09 c 131s| 5000 | 932 |404811 | 23.7 | 322M | 100 | 10k|5005 |2480 |9222 | 1 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
131.08/131.60 c 132s| 5100 | 961 |407826 | 23.7 | 322M | 100 | 10k|5025 |2477 |9404 | 1 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
131.49/132.06 c 132s| 5200 | 976 |409753 | 23.7 | 322M | 100 | 10k|5063 | 0 |9554 | 0 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
132.07/132.64 c 133s| 5300 | 987 |414713 | 23.8 | 322M | 100 | 10k|5131 |2462 |9646 | 1 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
132.67/133.22 c 133s| 5400 | 1021 |418519 | 23.9 | 323M | 100 | 10k|5169 |2464 |9750 | 1 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
132.97/133.56 c 134s| 5500 | 1045 |419943 | 23.9 | 323M | 100 | 10k|5238 |2472 |9810 | 1 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
133.37/133.94 c 134s| 5600 | 1070 |421283 | 23.8 | 323M | 100 | 10k|5297 |2464 |9894 | 1 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
133.67/134.27 c 134s| 5700 | 1093 |422441 | 23.7 | 323M | 100 | 10k|5319 |2464 |9934 | 1 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
134.07/134.62 c 135s| 5800 | 1116 |423729 | 23.7 | 323M | 100 | 10k|5361 |2464 |9993 | 1 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
134.48/135.02 c 135s| 5900 | 1052 |425386 | 23.6 | 323M | 100 | 10k|5354 |2461 | 10k| 1 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
134.86/135.44 c 135s| 6000 | 1107 |427904 | 23.6 | 324M | 100 | 10k|5375 |2464 | 10k| 0 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
135.16/135.76 c 136s| 6100 | 1122 |429498 | 23.6 | 324M | 100 | 10k|5423 | 0 | 10k| 0 | 15k| 67 | 0.000000e+00 | -- | Inf | 4.27%
135.47/136.07 c 136s| 6200 | 1134 |430912 | 23.5 | 324M | 100 | 10k|5435 |2458 | 10k| 1 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.27%
135.86/136.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
135.86/136.40 c 136s| 6300 | 960 |432192 | 23.5 | 324M | 100 | 10k|5461 |2460 | 10k| 1 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.27%
136.16/136.77 c 137s| 6400 | 980 |433859 | 23.4 | 324M | 100 | 10k|5503 | 0 | 10k| 0 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.27%
136.57/137.12 c 137s| 6500 | 991 |435229 | 23.4 | 324M | 100 | 10k|5581 |2456 | 10k| 1 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.27%
136.85/137.42 c 137s| 6600 | 966 |436346 | 23.3 | 324M | 100 | 10k|5636 |2465 | 10k| 1 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.27%
137.15/137.78 c 138s| 6700 | 952 |437936 | 23.3 | 324M | 100 | 10k|5698 |2466 | 10k| 1 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.27%
137.65/138.22 c 138s| 6800 | 916 |440200 | 23.3 | 324M | 100 | 10k|5744 | 0 | 10k| 0 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.28%
138.05/138.65 c 139s| 6900 | 765 |442462 | 23.3 | 324M | 100 | 10k|5776 |2465 | 10k| 1 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.28%
138.56/139.12 c 139s| 7000 | 710 |444969 | 23.3 | 324M | 100 | 10k|5795 | 0 | 10k| 0 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.28%
138.95/139.54 c 140s| 7100 | 365 |446877 | 23.3 | 324M | 100 | 10k|5730 |2463 | 10k| 2 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.28%
139.35/140.01 c 140s| 7200 | 405 |449351 | 23.3 | 324M | 100 | 10k|5579 |2460 | 11k| 1 | 16k| 67 | 0.000000e+00 | -- | Inf | 4.29%
140.04/140.67 c 141s| 7300 | 331 |452519 | 23.3 | 324M | 100 | 10k|5493 |2458 | 11k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 4.32%
140.74/141.33 c 141s| 7400 | 365 |455059 | 23.3 | 324M | 100 | 10k|5466 |2483 | 11k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 5.60%
141.14/141.79 c 142s| 7500 | 370 |457971 | 23.4 | 324M | 100 | 10k|5441 |2459 | 11k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 5.60%
141.64/142.24 c 142s| 7600 | 389 |459393 | 23.3 | 324M | 100 | 10k|5399 |2482 | 11k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 5.61%
142.34/142.93 c 143s| 7700 | 408 |463560 | 23.4 | 324M | 100 | 10k|5311 | 0 | 12k| 0 | 17k| 67 | 0.000000e+00 | -- | Inf | 5.69%
142.83/143.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
142.83/143.41 c 143s| 7800 | 418 |465873 | 23.4 | 324M | 100 | 10k|5250 |2478 | 12k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 5.77%
143.23/143.87 c 144s| 7900 | 404 |467531 | 23.4 | 324M | 100 | 10k|5171 |2494 | 12k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 5.96%
143.83/144.44 c 144s| 8000 | 425 |471354 | 23.4 | 325M | 100 | 10k|5195 |2477 | 12k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 6.14%
144.33/144.93 c 145s| 8100 | 439 |472919 | 23.4 | 325M | 100 | 10k|5239 |2496 | 12k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 6.17%
144.73/145.30 c 145s| 8200 | 442 |474410 | 23.4 | 325M | 100 | 10k|5321 |2496 | 12k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 6.21%
145.03/145.66 c 146s| 8300 | 423 |475775 | 23.3 | 325M | 100 | 10k|5401 |2478 | 12k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 6.33%
145.54/146.17 c 146s| 8400 | 426 |477988 | 23.3 | 325M | 100 | 10k|5465 | 0 | 13k| 0 | 17k| 67 | 0.000000e+00 | -- | Inf | 6.57%
146.02/146.66 c 147s| 8500 | 433 |480443 | 23.3 | 325M | 100 | 10k|5522 |2473 | 13k| 1 | 17k| 67 | 0.000000e+00 | -- | Inf | 7.02%
146.53/147.11 c 147s| 8600 | 432 |482348 | 23.3 | 325M | 100 | 10k|5527 |2464 | 13k| 1 | 18k| 67 | 0.000000e+00 | -- | Inf | 7.49%
147.12/147.75 c 148s| 8700 | 451 |485658 | 23.3 | 326M | 100 | 10k|5512 | 0 | 13k| 0 | 18k| 67 | 0.000000e+00 | -- | Inf | 7.67%
147.72/148.33 c 148s| 8800 | 461 |488163 | 23.3 | 326M | 100 | 10k|5519 |2473 | 14k| 1 | 18k| 67 | 0.000000e+00 | -- | Inf | 8.02%
148.43/149.07 c 149s| 8900 | 456 |491624 | 23.4 | 326M | 100 | 10k|5448 |2461 | 14k| 1 | 18k| 67 | 0.000000e+00 | -- | Inf | 8.71%
149.71/150.30 c 150s| 9000 | 395 |497328 | 23.6 | 329M | 100 | 10k|5273 |2474 | 15k| 2 | 18k| 67 | 0.000000e+00 | -- | Inf | 11.40%
150.01/150.66 c 151s| 9100 | 393 |498412 | 23.5 | 329M | 100 | 10k|5303 |2413 | 15k| 1 | 18k| 67 | 0.000000e+00 | -- | Inf | 13.07%
150.61/151.24 c 151s| 9200 | 417 |501010 | 23.5 | 329M | 100 | 10k|5314 |2456 | 16k| 1 | 18k| 67 | 0.000000e+00 | -- | Inf | 13.08%
151.01/151.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.01/151.66 c 152s| 9300 | 418 |502634 | 23.5 | 329M | 100 | 10k|5337 |2459 | 16k| 1 | 18k| 67 | 0.000000e+00 | -- | Inf | 13.16%
151.52/152.18 c 152s| 9400 | 419 |504655 | 23.5 | 329M | 100 | 10k|5348 |2473 | 16k| 1 | 18k| 67 | 0.000000e+00 | -- | Inf | 13.31%
152.00/152.61 c 153s| 9500 | 406 |506411 | 23.4 | 329M | 100 | 10k|5436 | 0 | 16k| 0 | 18k| 67 | 0.000000e+00 | -- | Inf | 14.19%
152.51/153.12 c 153s| 9600 | 420 |508710 | 23.4 | 329M | 100 | 10k|5533 | 0 | 16k| 0 | 18k| 67 | 0.000000e+00 | -- | Inf | 14.29%
152.80/153.49 c 153s| 9700 | 417 |510134 | 23.4 | 329M | 100 | 10k|5617 |2462 | 16k| 1 | 19k| 67 | 0.000000e+00 | -- | Inf | 14.42%
153.30/153.92 c 154s| 9800 | 415 |511722 | 23.4 | 329M | 100 | 10k|5706 |2475 | 17k| 1 | 19k| 67 | 0.000000e+00 | -- | Inf | 15.33%
153.90/154.54 c 155s| 9900 | 430 |516285 | 23.5 | 329M | 100 | 10k|5751 |2454 | 17k| 1 | 19k| 67 | 0.000000e+00 | -- | Inf | 15.39%
154.59/155.24 c 155s| 10000 | 380 |519455 | 23.5 | 329M | 100 | 10k|5820 | 0 | 17k| 0 | 19k| 67 | 0.000000e+00 | -- | Inf | 17.66%
154.99/155.65 c 156s| 10100 | 380 |521481 | 23.5 | 329M | 100 | 10k|5837 |2413 | 17k| 1 | 19k| 67 | 0.000000e+00 | -- | Inf | 28.68%
155.59/156.21 c 156s| 10200 | 392 |523478 | 23.5 | 329M | 100 | 10k|5893 |2467 | 17k| 1 | 19k| 67 | 0.000000e+00 | -- | Inf | 28.83%
156.19/156.81 c 157s| 10300 | 420 |527100 | 23.5 | 329M | 100 | 10k|5920 |2458 | 18k| 1 | 19k| 67 | 0.000000e+00 | -- | Inf | 29.17%
156.69/157.38 c 157s| 10400 | 438 |530090 | 23.6 | 329M | 100 | 10k|5936 |2461 | 18k| 1 | 19k| 67 | 0.000000e+00 | -- | Inf | 29.48%
157.50/158.13 c 158s| 10500 | 457 |534530 | 23.7 | 329M | 100 | 10k|5964 |2463 | 19k| 1 | 19k| 67 | 0.000000e+00 | -- | Inf | 30.17%
158.08/158.75 c 159s| 10600 | 467 |538151 | 23.7 | 329M | 100 | 10k|6006 |2475 | 20k| 2 | 19k| 67 | 0.000000e+00 | -- | Inf | 30.77%
158.78/159.41 c 159s| 10700 | 467 |541333 | 23.7 | 329M | 100 | 10k|6085 | 0 | 20k| 0 | 19k| 67 | 0.000000e+00 | -- | Inf | 31.35%
159.68/160.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
159.68/160.31 c 160s| 10800 | 458 |546060 | 23.9 | 330M | 100 | 10k|6145 |2413 | 21k| 1 | 19k| 67 | 0.000000e+00 | -- | Inf | 32.31%
160.87/161.56 c 162s| 10900 | 446 |552663 | 24.0 | 331M | 100 | 10k|6161 |2492 | 22k| 4 | 20k| 67 | 0.000000e+00 | -- | Inf | 34.52%
161.97/162.65 c 163s| 11000 | 424 |558559 | 24.2 | 331M | 100 | 10k|6139 |2463 | 23k| 1 | 20k| 67 | 0.000000e+00 | -- | Inf | 38.98%
162.57/163.27 c 163s| 11100 | 394 |561136 | 24.2 | 331M | 100 | 10k|6186 |2463 | 23k| 1 | 20k| 67 | 0.000000e+00 | -- | Inf | 40.51%
163.26/163.90 c 164s| 11200 | 412 |566108 | 24.3 | 331M | 100 | 10k|6208 |2462 | 24k| 1 | 20k| 67 | 0.000000e+00 | -- | Inf | 41.25%
163.56/164.28 c 164s| 11300 | 402 |567710 | 24.3 | 331M | 100 | 10k|6226 |2463 | 24k| 1 | 20k| 67 | 0.000000e+00 | -- | Inf | 41.55%
164.06/164.77 c 165s| 11400 | 364 |570379 | 24.3 | 331M | 100 | 10k|6246 |2475 | 24k| 1 | 20k| 67 | 0.000000e+00 | -- | Inf | 43.78%
164.47/165.17 c 165s| 11500 | 365 |572366 | 24.3 | 331M | 100 | 10k|6283 |2454 | 24k| 1 | 20k| 67 | 0.000000e+00 | -- | Inf | 44.03%
165.06/165.73 c 166s| 11600 | 361 |575066 | 24.3 | 331M | 100 | 10k|6308 |2453 | 24k| 1 | 20k| 67 | 0.000000e+00 | -- | Inf | 44.46%
165.56/166.26 c 166s| 11700 | 357 |577368 | 24.3 | 331M | 100 | 10k|6384 | 0 | 25k| 0 | 20k| 67 | 0.000000e+00 | -- | Inf | 45.48%
166.56/167.24 c 167s| 11800 | 355 |581676 | 24.4 | 332M | 100 | 10k|6431 | 0 | 25k| 0 | 20k| 67 | 0.000000e+00 | -- | Inf | 50.65%
167.16/167.83 c 168s| 11900 | 368 |585126 | 24.4 | 332M | 100 | 10k|6454 |2457 | 26k| 1 | 21k| 67 | 0.000000e+00 | -- | Inf | 51.05%
167.86/168.57 c 169s| 12000 | 359 |589140 | 24.5 | 332M | 100 | 10k|6452 |2413 | 27k| 1 | 21k| 67 | 0.000000e+00 | -- | Inf | 57.05%
168.47/169.19 c 169s| 12100 | 354 |591624 | 24.5 | 332M | 100 | 10k|6503 |2502 | 27k| 4 | 21k| 67 | 0.000000e+00 | -- | Inf | 57.60%
169.05/169.73 c 170s| 12200 | 354 |593920 | 24.5 | 332M | 100 | 10k|6548 |2470 | 27k| 1 | 21k| 67 | 0.000000e+00 | -- | Inf | 58.16%
169.47/170.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
169.47/170.19 c 170s| 12300 | 337 |596155 | 24.5 | 332M | 100 | 10k|6647 |2452 | 27k| 1 | 21k| 67 | 0.000000e+00 | -- | Inf | 58.71%
170.25/170.91 c 171s| 12400 | 331 |599216 | 24.5 | 334M | 100 | 10k|6658 |2459 | 28k| 1 | 21k| 67 | 0.000000e+00 | -- | Inf | 59.53%
170.75/171.43 c 171s| 12500 | 324 |601486 | 24.5 | 334M | 100 | 10k|6720 |2469 | 28k| 1 | 21k| 67 | 0.000000e+00 | -- | Inf | 60.49%
171.15/171.85 c 172s| 12600 | 312 |603502 | 24.5 | 334M | 100 | 10k|6809 |2457 | 28k| 1 | 21k| 67 | 0.000000e+00 | -- | Inf | 61.10%
171.74/172.47 c 172s| 12700 | 304 |606823 | 24.5 | 334M | 100 | 10k|6815 |2471 | 29k| 1 | 21k| 67 | 0.000000e+00 | -- | Inf | 62.02%
172.45/173.16 c 173s| 12800 | 277 |610796 | 24.6 | 334M | 100 | 10k|6903 | 0 | 29k| 0 | 21k| 67 | 0.000000e+00 | -- | Inf | 63.44%
172.84/173.58 c 174s| 12900 | 269 |612691 | 24.5 | 334M | 100 | 10k|6982 |2466 | 30k| 1 | 22k| 67 | 0.000000e+00 | -- | Inf | 64.00%
173.54/174.23 c 174s| 13000 | 261 |616575 | 24.6 | 334M | 100 | 10k|7047 |2460 | 30k| 1 | 22k| 67 | 0.000000e+00 | -- | Inf | 64.93%
174.45/175.11 c 175s| 13100 | 249 |621007 | 24.7 | 334M | 100 | 10k|7070 |2461 | 31k| 1 | 22k| 67 | 0.000000e+00 | -- | Inf | 67.35%
175.23/175.92 c 176s| 13200 | 252 |624976 | 24.7 | 334M | 100 | 10k|7087 |2461 | 32k| 1 | 22k| 67 | 0.000000e+00 | -- | Inf | 68.52%
176.03/176.72 c 177s| 13300 | 208 |629234 | 24.8 | 334M | 100 | 10k|7102 | 0 | 32k| 0 | 22k| 67 | 0.000000e+00 | -- | Inf | 71.08%
176.34/177.10 c 177s| 13400 | 202 |630858 | 24.8 | 334M | 100 | 10k|7191 |2457 | 33k| 1 | 22k| 67 | 0.000000e+00 | -- | Inf | 71.49%
176.93/177.63 c 178s| 13500 | 194 |633883 | 24.8 | 334M | 100 | 10k|7253 | 0 | 33k| 0 | 22k| 67 | 0.000000e+00 | -- | Inf | 73.02%
177.34/178.07 c 178s| 13600 | 185 |636078 | 24.8 | 334M | 100 | 10k|7348 |2464 | 33k| 1 | 22k| 67 | 0.000000e+00 | -- | Inf | 73.66%
178.22/178.90 c 179s| 13700 | 160 |641348 | 24.9 | 334M | 100 | 10k|7289 |2413 | 34k| 1 | 22k| 67 | 0.000000e+00 | -- | Inf | 79.99%
178.82/179.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
178.82/179.58 c 180s| 13800 | 142 |644658 | 24.9 | 334M | 100 | 10k|7319 |2457 | 34k| 1 | 22k| 67 | 0.000000e+00 | -- | Inf | 83.63%
179.52/180.25 c 180s| 13900 | 110 |648738 | 25.0 | 334M | 100 | 10k|7273 |2456 | 35k| 1 | 23k| 67 | 0.000000e+00 | -- | Inf | 88.93%
180.43/181.12 c 181s| 14000 | 55 |654359 | 25.1 | 334M | 100 | 10k|7231 | 0 | 36k| 0 | 23k| 67 | 0.000000e+00 | -- | Inf | 94.61%
180.52/181.25 c
180.52/181.25 c SCIP Status : problem is solved [infeasible]
180.52/181.25 c Solving Time (sec) : 181.23
180.52/181.25 c Solving Nodes : 14023 (total of 25535 nodes in 2 runs)
180.52/181.25 c Primal Bound : +1.00000000000000e+20 (0 solutions)
180.52/181.25 c Dual Bound : +1.00000000000000e+20
180.52/181.25 c Gap : 0.00 %
180.52/181.25 s UNSATISFIABLE
180.52/181.25 c SCIP Status : problem is solved [infeasible]
180.52/181.25 c Total Time : 181.23
180.52/181.25 c solving : 181.23
180.52/181.25 c presolving : 23.09 (included in solving)
180.52/181.25 c reading : 0.04 (included in solving)
180.52/181.25 c copying : 0.11 (7 #copies) (minimal 0.01, maximal 0.02, average 0.02)
180.52/181.25 c Original Problem :
180.52/181.25 c Problem name : HOME/instance-4542395-1753212926.opb
180.52/181.25 c Variables : 10192 (10192 binary, 0 integer, 0 implicit integer, 0 continuous)
180.52/181.25 c Constraints : 2383 initial, 2383 maximal
180.52/181.25 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
180.52/181.25 c Presolved Problem :
180.52/181.25 c Problem name : t_HOME/instance-4542395-1753212926.opb
180.52/181.25 c Variables : 10111 (10111 binary, 0 integer, 0 implicit integer, 0 continuous)
180.52/181.25 c Constraints : 3373 initial, 7359 maximal
180.52/181.25 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
180.52/181.25 c Nonzeros : 46667 constraint, 9031 clique table
180.52/181.25 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
180.52/181.25 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c domcol : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
180.52/181.25 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
180.52/181.25 c gateextraction : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
180.52/181.25 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
180.52/181.25 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c milp : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
180.52/181.25 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
180.52/181.25 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c trivial : 0.00 0.00 12 1 0 0 0 0 0 0 0 0
180.52/181.25 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c dualfix : 0.00 0.00 12 80 0 0 0 0 0 0 0 0
180.52/181.25 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c probing : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
180.52/181.25 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
180.52/181.25 c symmetry : 22.75 0.00 1 0 0 0 0 0 0 2 0 0
180.52/181.25 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
180.52/181.25 c knapsack : 0.01 0.00 27 0 0 0 0 0 3 2 0 0
180.52/181.25 c setppc : 0.02 0.00 24 0 0 0 0 0 11 0 0 0
180.52/181.25 c linear : 0.05 0.01 9 0 0 0 0 0 0 0 2 3
180.52/181.25 c logicor : 0.06 0.01 24 0 0 0 0 0 563 0 0 368
180.52/181.25 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
180.52/181.25 c root node : - - - 2 - - 2 - - - - -
180.52/181.25 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
180.52/181.25 c benderslp : 0 0 0 0 16571 0 0 1318 0 0 0 0 0 0 0
180.52/181.25 c integral : 0 0 0 0 16571 0 0 1318 0 0 0 0 0 0 33140
180.52/181.25 c knapsack : 401+ 413 23 114875 0 0 0 1313 9677 1284 15580 0 0 0 0
180.52/181.25 c setppc : 833+ 868 23 113591 0 0 0 22 33073 390 11517 2 0 0 0
180.52/181.25 c linear : 0+ 10 0 62906 0 0 0 3 784 10 1053 0 0 0 0
180.52/181.25 c logicor : 2139+ 6101 23 72800 0 0 0 14 98668 10158 87105 38 8 0 0
180.52/181.25 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
180.52/181.25 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c integral : 2.60 0.00 0.00 0.00 2.60 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c knapsack : 0.46 0.00 0.03 0.38 0.00 0.00 0.00 0.04 0.01 0.00
180.52/181.25 c setppc : 0.10 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.01 0.00
180.52/181.25 c linear : 0.04 0.01 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c logicor : 1.48 0.01 0.01 1.38 0.00 0.00 0.00 0.00 0.08 0.00
180.52/181.25 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c Propagators : #Propagate #ResProp Cutoffs DomReds
180.52/181.25 c dualfix : 3 0 0 0
180.52/181.25 c genvbounds : 0 0 0 0
180.52/181.25 c nlobbt : 0 0 0 0
180.52/181.25 c obbt : 0 0 0 0
180.52/181.25 c probing : 0 0 0 0
180.52/181.25 c pseudoobj : 0 0 0 0
180.52/181.25 c redcost : 0 0 0 0
180.52/181.25 c rootredcost : 0 0 0 0
180.52/181.25 c symmetry : 32662 0 0 140893
180.52/181.25 c vbounds : 33371 0 0 0
180.52/181.25 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
180.52/181.25 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
180.52/181.25 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
180.52/181.25 c probing : 0.06 0.00 0.06 0.00 0.00 0.00
180.52/181.25 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
180.52/181.25 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
180.52/181.25 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
180.52/181.25 c symmetry : 57.93 0.00 22.75 35.18 0.00 0.00
180.52/181.25 c vbounds : 1.81 0.00 0.00 1.80 0.00 0.00
180.52/181.25 c Symmetry :
180.52/181.25 c orbitopal red. : 0 reductions applied, 0 cutoffs
180.52/181.25 c orbital reduction: 140893 reductions applied, 0 cutoffs
180.52/181.25 c lexicographic red: 0 reductions applied, 0 cutoffs
180.52/181.25 c shadow tree time : 0.05 s
180.52/181.25 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
180.52/181.25 c propagation : 0.22 11830 11534 - 27573 18.0 463 11.1 - - -
180.52/181.25 c infeasible LP : 0.56 940 942 - 2759 16.8 45 11.5 940 20.3 0
180.52/181.25 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
180.52/181.25 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
180.52/181.25 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
180.52/181.25 c applied globally : 0.07 - - 2 22310 16.6 - - 940 - -
180.52/181.25 c applied locally : - - - 0 0 0.0 - - 0 - -
180.52/181.25 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
180.52/181.25 c cut pool : 5.07 - 3527 45 - - 18150 1178382 - - - - - (maximal pool size: 3221)
180.52/181.25 c aggregation : 0.33 0.00 336 23 0 0 7 20 0 1 1 0 0
180.52/181.25 c > cmir : - - - - - - - 10 0 0 0 0 -
180.52/181.25 c > flowcover : - - - - - - - 9 0 0 0 0 -
180.52/181.25 c > knapsackcover : - - - - - - - 1 0 1 1 0 -
180.52/181.25 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c clique : 0.09 0.00 23 23 0 0 0 0 0 0 0 0 0
180.52/181.25 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c gomory : 9.41 0.00 333 20 0 0 16750 1040392 206 15434 15430 4 0
180.52/181.25 c > gomorymi : - - - - - - - 354560 103 2744 2742 2 -
180.52/181.25 c > strongcg : - - - - - - - 685832 103 12690 12688 2 -
180.52/181.25 c impliedbounds : 0.07 0.00 336 23 0 0 52 7436 0 6539 6539 0 0
180.52/181.25 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
180.52/181.25 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c multilinear : 0.00 0.00 450 23 0 0 0 0 0 0 0 0 0
180.52/181.25 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
180.52/181.25 c rlt : 0.00 0.00 212 20 0 0 0 0 0 0 0 0 0
180.52/181.25 c zerohalf : 0.78 0.00 336 23 0 0 1612 130534 66 16358 16323 35 0
180.52/181.25 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
180.52/181.25 c hybrid : 2.15 0.00 2644 24 38340 0 1140354 341 0 5475
180.52/181.25 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c Pricers : ExecTime SetupTime Calls Vars
180.52/181.25 c problem variables: 0.00 - 0 0
180.52/181.25 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
180.52/181.25 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c random : 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c relpscost : 2.59 0.00 16571 0 0 0 0 0 0 33140
180.52/181.25 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
180.52/181.25 c Primal Heuristics : ExecTime SetupTime Calls Found Best
180.52/181.25 c LP solutions : 0.00 - - 0 0
180.52/181.25 c relax solutions : 0.00 - - 0 0
180.52/181.25 c pseudo solutions : 0.00 - - 0 0
180.52/181.25 c strong branching : 0.00 - - 0 0
180.52/181.25 c actconsdiving : 0.00 0.00 0 0 0
180.52/181.25 c adaptivediving : 0.84 0.00 23 0 0
180.52/181.25 c alns : 0.98 0.00 5 0 0
180.52/181.25 c bound : 0.00 0.00 0 0 0
180.52/181.25 c clique : 0.01 0.00 1 0 0
180.52/181.25 c coefdiving : 0.00 0.00 0 0 0
180.52/181.25 c completesol : 0.00 0.00 0 0 0
180.52/181.25 c conflictdiving : 3.06 0.00 68 0 0
180.52/181.25 c crossover : 0.00 0.00 0 0 0
180.52/181.25 c dins : 0.00 0.00 0 0 0
180.52/181.25 c distributiondivin: 1.80 0.00 45 0 0
180.52/181.25 c dps : 0.00 0.00 0 0 0
180.52/181.25 c dualval : 0.00 0.00 0 0 0
180.52/181.25 c farkasdiving : 0.00 0.00 0 0 0
180.52/181.25 c feasjump : 0.04 0.00 2 0 0
180.52/181.25 c feaspump : 1.10 0.00 12 0 0
180.52/181.25 c fixandinfer : 0.00 0.00 0 0 0
180.52/181.25 c fracdiving : 1.28 0.00 45 0 0
180.52/181.25 c gins : 0.00 0.00 0 0 0
180.52/181.25 c guideddiving : 0.00 0.00 0 0 0
180.52/181.25 c indcoefdiving : 0.00 0.00 0 0 0
180.52/181.25 c indicator : 0.01 0.00 0 0 0
180.52/181.25 c indicatordiving : 0.00 0.00 0 0 0
180.52/181.25 c indoneopt : 0.01 0.00 0 0 0
180.52/181.25 c indrounding : 0.00 0.00 0 0 0
180.52/181.25 c indtwoopt : 0.00 0.00 0 0 0
180.52/181.25 c intdiving : 0.00 0.00 0 0 0
180.52/181.25 c intshifting : 0.00 0.00 0 0 0
180.52/181.25 c linesearchdiving : 1.31 0.00 44 0 0
180.52/181.25 c localbranching : 0.00 0.00 0 0 0
180.52/181.25 c locks : 0.02 0.00 1 0 0
180.52/181.25 c lpface : 0.39 0.00 0 0 0
180.52/181.25 c mpec : 0.00 0.00 0 0 0
180.52/181.25 c multistart : 0.00 0.00 0 0 0
180.52/181.25 c mutation : 0.00 0.00 0 0 0
180.52/181.25 c nlpdiving : 0.00 0.00 0 0 0
180.52/181.25 c objpscostdiving : 1.23 0.00 4 0 0
180.52/181.25 c octane : 0.00 0.00 0 0 0
180.52/181.25 c ofins : 0.01 0.00 0 0 0
180.52/181.25 c oneopt : 0.01 0.00 0 0 0
180.52/181.25 c padm : 0.00 0.00 0 0 0
180.52/181.25 c proximity : 0.00 0.00 0 0 0
180.52/181.25 c pscostdiving : 1.38 0.00 42 0 0
180.52/181.25 c randrounding : 0.51 0.00 1314 0 0
180.52/181.25 c rens : 0.09 0.00 2 0 0
180.52/181.25 c reoptsols : 0.00 0.00 0 0 0
180.52/181.25 c repair : 0.00 0.00 0 0 0
180.52/181.25 c rins : 0.01 0.00 0 0 0
180.52/181.25 c rootsoldiving : 0.49 0.00 8 0 0
180.52/181.25 c rounding : 0.12 0.00 1881 0 0
180.52/181.25 c scheduler : 0.00 0.00 0 0 0
180.52/181.25 c shiftandpropagate: 0.02 0.00 2 0 0
180.52/181.25 c shifting : 0.61 0.00 840 0 0
180.52/181.25 c simplerounding : 0.01 0.00 0 0 0
180.52/181.25 c smallcard : 0.00 0.00 0 0 0
180.52/181.25 c subnlp : 0.01 0.00 0 0 0
180.52/181.25 c trivial : 0.01 0.00 4 0 0
180.52/181.25 c trivialnegation : 0.00 0.00 0 0 0
180.52/181.25 c trustregion : 0.00 0.00 0 0 0
180.52/181.25 c trysol : 0.00 0.00 0 0 0
180.52/181.25 c twoopt : 0.00 0.00 0 0 0
180.52/181.25 c undercover : 0.00 0.00 0 0 0
180.52/181.25 c vbounds : 0.01 0.00 2 0 0
180.52/181.25 c veclendiving : 1.21 0.00 45 0 0
180.52/181.25 c zeroobj : 0.00 0.00 0 0 0
180.52/181.25 c zirounding : 0.08 0.00 1000 0 0
180.52/181.25 c other solutions : - - - 0 -
180.52/181.25 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
180.52/181.25 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
180.52/181.25 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
180.52/181.25 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
180.52/181.25 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
180.52/181.25 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
180.52/181.25 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
180.52/181.25 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
180.52/181.25 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
180.52/181.25 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
180.52/181.25 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
180.52/181.25 c primal LP : 1.77 985 0 0.00 0.00 1.77 985
180.52/181.25 c dual LP : 59.64 19907 485362 24.53 8137.98 0.11 117
180.52/181.25 c lex dual LP : 0.00 0 0 0.00 -
180.52/181.25 c barrier LP : 0.00 0 0 0.00 - 0.00 0
180.52/181.25 c resolve instable : 0.00 0 0 0.00 -
180.52/181.25 c diving/probing LP: 6.89 1412 169646 120.15 24639.23
180.52/181.25 c strong branching : 0.51 67 2727 40.70 5385.79 - - 0
180.52/181.25 c (at root node) : - 67 2727 40.70 -
180.52/181.25 c conflict analysis: 0.00 0 0 0.00 -
180.52/181.25 c B&B Tree :
180.52/181.25 c number of runs : 2
180.52/181.25 c nodes : 14023 (10329 internal, 3694 leaves)
180.52/181.25 c feasible leaves : 0
180.52/181.25 c infeas. leaves : 3694
180.52/181.25 c objective leaves : 0
180.52/181.25 c nodes (total) : 25535 (16570 internal, 8965 leaves)
180.52/181.25 c nodes left : 0
180.52/181.25 c max depth : 100
180.52/181.25 c max depth (total): 114
180.52/181.25 c backtracks : 3697 (26.4%)
180.52/181.25 c early backtracks : 0 (0.0%)
180.52/181.25 c nodes exc. ref. : 0 (0.0%)
180.52/181.25 c delayed cutoffs : 6636
180.52/181.25 c repropagations : 11347 (32695 domain reductions, 3192 cutoffs)
180.52/181.25 c avg switch length: 3.79
180.52/181.25 c switching time : 4.29
180.52/181.25 c Root Node :
180.52/181.25 c First LP value : +0.00000000000000e+00
180.52/181.25 c First LP Iters : 5209 (61758.99 Iter/sec)
180.52/181.25 c First LP Time : 0.08
180.52/181.25 c Final Dual Bound : +0.00000000000000e+00
180.52/181.25 c Final Root Iters : 13942
180.52/181.25 c Root LP Estimate : +1.06799153349464e-02
180.52/181.25 c Solution :
180.52/181.25 c Solutions found : 0 (0 improvements)
180.52/181.25 c Primal Bound : infeasible
180.52/181.25 c Dual Bound : -
180.52/181.25 c Gap : 0.00 %
180.52/181.25 c Integrals : Total Avg%
180.52/181.25 c primal-dual : - - (problem infeasible)
180.52/181.25 c primal-ref : - - (problem infeasible)
180.52/181.25 c dual-ref : - - (problem infeasible)
180.62/181.36 c Time complete: 180.685.