0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4514709-1751225153.opb>
0.00/0.00 c original problem has 506 variables (506 bin, 0 int, 0 cont) and 2337 constraints
0.00/0.00 c problem read in 0.004 seconds
0.00/0.00 c problem without objective
0.00/0.01 c presolving:
0.00/0.01 c (round 1, fast) 4 del vars, 4 del conss, 0 add conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 860 clqs
0.00/0.01 c (round 2, fast) 6 del vars, 180 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs
0.00/0.01 c (round 3, fast) 7 del vars, 187 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.02 c (round 4, exhaustive) 7 del vars, 187 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 2149 upgd conss, 0 impls, 940 clqs
0.00/0.07 c (0.1s) probing: 457/500 (91.4%) - 0 fixings, 0 aggregations, 80 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.08 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.08 c (0.1s) symmetry computation finished: 11 generators found (max: 1500, log10 of symmetry group size: 3.31) (symcode time: 0.00)
0.00/0.08 c dynamic symmetry handling statistics:
0.00/0.08 c orbitopal reduction: no components
0.00/0.08 c orbital reduction: no components
0.00/0.08 c lexicographic reduction: 11 permutations with support sizes 42, 44, 44, 44, 44, 44, 44, 44, 44, 44, 22
0.00/0.08 c handled 11 out of 11 symmetry components
0.00/0.08 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
0.00/0.08 c 7 deleted vars, 187 deleted constraints, 0 added constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 0 implications, 1020 cliques
0.00/0.08 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 2150 constraints
0.00/0.08 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.08 c 1 constraints of type <knapsack>
0.00/0.08 c 940 constraints of type <setppc>
0.00/0.08 c 1 constraints of type <linear>
0.00/0.08 c 1208 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.08
0.00/0.08 c
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c
0.00/0.08 c # SCIP version 10.0.0
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.08 c limits/time = 3596.999005
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.08 c limits/memory = 27900
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.08 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.08 c reading/opbreader/maxintsize = 47
0.00/0.08 c
0.00/0.08 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.08 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.08 c propagating/genvbounds/timingmask = 0
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c
0.09/0.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.11 c 0.1s| 1 | 0 | 681 | - | 21M | 0 | 500 |2204 |2150 | 0 | 0 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.80 c 0.8s| 1 | 0 | 8837 | - | 25M | 0 | 500 |2404 |2156 | 6 | 1 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.88 c 0.9s| 1 | 0 | 9173 | - | 29M | 0 | 500 |2409 |2163 | 13 | 2 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.95 c 1.0s| 1 | 0 | 9410 | - | 33M | 0 | 500 |2415 |2168 | 18 | 3 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.00 c 1.0s| 1 | 0 | 9541 | - | 38M | 0 | 500 |2422 |2172 | 22 | 4 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.05 c 1.1s| 1 | 0 | 9675 | - | 43M | 0 | 500 |2424 |2178 | 28 | 5 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
1.08/1.11 c 1.1s| 1 | 0 | 9807 | - | 45M | 0 | 500 |2430 |2185 | 35 | 6 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
1.08/1.15 c 1.2s| 1 | 0 | 9911 | - | 50M | 0 | 500 |2430 |2190 | 40 | 7 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
1.18/1.21 c 1.2s| 1 | 0 | 10101 | - | 54M | 0 | 500 |2437 |2196 | 46 | 8 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
1.18/1.29 c 1.3s| 1 | 0 | 10308 | - | 59M | 0 | 500 |2437 |2199 | 49 | 9 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
1.28/1.36 c 1.4s| 1 | 0 | 10401 | - | 69M | 0 | 500 |2438 |2205 | 55 | 10 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
1.28/1.39 c 1.4s| 1 | 0 | 10459 | - | 70M | 0 | 500 |2439 |2207 | 57 | 11 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.82 c 1.8s| 1 | 2 | 11426 | - | 70M | 0 | 500 |2449 |2207 | 57 | 11 | 98 | 11 | 0.000000e+00 | -- | Inf | unknown
4.87/4.91 c 4.9s| 100 | 43 | 45728 | 356.3 | 72M | 20 | 500 |2696 |2185 | 96 | 1 | 387 | 11 | 0.000000e+00 | -- | Inf | 0.60%
5.37/5.48 c 5.5s| 200 | 43 | 52552 | 211.5 | 72M | 20 | 500 |2822 | 0 | 97 | 0 | 536 | 11 | 0.000000e+00 | -- | Inf | 0.65%
6.57/6.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.57/6.66 c 6.7s| 300 | 50 | 62885 | 175.3 | 74M | 20 | 500 |3015 | 0 | 149 | 0 | 767 | 11 | 0.000000e+00 | -- | Inf | 1.22%
7.17/7.23 c 7.2s| 400 | 59 | 71311 | 152.5 | 76M | 20 | 500 |3142 |2185 | 186 | 0 | 944 | 11 | 0.000000e+00 | -- | Inf | 1.72%
7.66/7.80 c 7.8s| 500 | 55 | 79639 | 138.6 | 80M | 20 | 500 |3244 |2186 | 219 | 0 |1110 | 11 | 0.000000e+00 | -- | Inf | 2.08%
8.66/8.79 c 8.8s| 600 | 67 | 90847 | 134.2 | 86M | 20 | 500 |3331 | 0 | 285 | 0 |1271 | 11 | 0.000000e+00 | -- | Inf | 2.80%
9.66/9.75 c 9.8s| 700 | 72 | 99315 | 127.1 | 90M | 20 | 500 |3402 |2187 | 325 | 2 |1401 | 11 | 0.000000e+00 | -- | Inf | 3.50%
10.16/10.26 c 10.3s| 800 | 70 |106159 | 119.8 | 92M | 20 | 500 |3469 |2187 | 373 | 0 |1541 | 11 | 0.000000e+00 | -- | Inf | 4.03%
11.56/11.67 c 11.7s| 900 | 75 |118120 | 119.8 | 93M | 20 | 500 |3472 |2178 | 477 | 1 |1705 | 11 | 0.000000e+00 | -- | Inf | 5.34%
12.55/12.60 c 12.6s| 1000 | 74 |127802 | 117.5 | 94M | 20 | 500 |3523 |2178 | 578 | 1 |1840 | 11 | 0.000000e+00 | -- | Inf | 6.72%
13.15/13.21 c 13.2s| 1100 | 77 |135571 | 113.8 | 94M | 20 | 500 |3554 |2178 | 622 | 1 |1970 | 11 | 0.000000e+00 | -- | Inf | 7.91%
13.95/14.01 c 14.0s| 1200 | 77 |144751 | 112.0 | 94M | 20 | 500 |3558 |2187 | 697 | 0 |2097 | 11 | 0.000000e+00 | -- | Inf | 9.62%
14.35/14.45 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
14.35/14.45 c 14.5s| 1300 | 77 |151768 | 108.8 | 94M | 20 | 500 |3679 |2189 | 740 | 1 |2255 | 11 | 0.000000e+00 | -- | Inf | 9.87%
14.35/14.45 c (run 1, node 1300) performing user restart
14.35/14.45 c
14.35/14.45 c (restart) converted 30 cuts from the global cut pool into linear constraints
14.35/14.45 c
14.35/14.48 c presolving:
14.35/14.48 c (round 1, fast) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 9 chg coeffs, 0 upgd conss, 0 impls, 1036 clqs
14.35/14.49 c (round 2, exhaustive) 0 del vars, 4 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 12 chg coeffs, 0 upgd conss, 0 impls, 1036 clqs
14.35/14.49 c (round 3, exhaustive) 0 del vars, 4 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 13 chg coeffs, 227 upgd conss, 0 impls, 1036 clqs
14.35/14.50 c (round 4, exhaustive) 0 del vars, 41 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 13 chg coeffs, 227 upgd conss, 0 impls, 1036 clqs
14.45/14.51 c (round 5, exhaustive) 0 del vars, 168 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1542 chg coeffs, 227 upgd conss, 0 impls, 1036 clqs
14.45/14.53 c (round 6, exhaustive) 0 del vars, 179 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1543 chg coeffs, 227 upgd conss, 0 impls, 1036 clqs
14.45/14.54 c (round 7, exhaustive) 0 del vars, 180 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1834 chg coeffs, 227 upgd conss, 0 impls, 1036 clqs
14.45/14.56 c presolving (8 rounds: 8 fast, 7 medium, 7 exhaustive):
14.45/14.56 c 0 deleted vars, 180 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 1834 changed coefficients
14.45/14.56 c 0 implications, 1036 cliques
14.45/14.56 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 3529 constraints
14.45/14.56 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
14.45/14.56 c 78 constraints of type <knapsack>
14.45/14.56 c 919 constraints of type <setppc>
14.45/14.56 c 33 constraints of type <linear>
14.45/14.56 c 2499 constraints of type <logicor>
14.45/14.56 c transformed objective value is always integral (scale: 1)
14.45/14.56 c Presolving Time: 0.16
14.45/14.56 c
14.45/14.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.45/14.59 c 14.6s| 1 | 0 |152536 | - | 94M | 0 | 500 |3551 |2143 | 0 | 0 |2277 | 11 | 0.000000e+00 | -- | Inf | unknown
14.75/14.86 c 14.9s| 1 | 0 |152672 | - | 94M | 0 | 500 |3588 |2148 | 5 | 1 |2282 | 11 | 0.000000e+00 | -- | Inf | unknown
14.85/14.93 c 14.9s| 1 | 0 |152777 | - | 94M | 0 | 500 |3595 |2152 | 9 | 2 |2289 | 11 | 0.000000e+00 | -- | Inf | unknown
14.85/14.99 c 15.0s| 1 | 0 |152965 | - | 97M | 0 | 500 |3598 |2162 | 19 | 3 |2292 | 11 | 0.000000e+00 | -- | Inf | unknown
14.95/15.04 c 15.0s| 1 | 0 |153202 | - | 97M | 0 | 500 |3602 |2169 | 26 | 4 |2296 | 11 | 0.000000e+00 | -- | Inf | unknown
15.05/15.10 c 15.1s| 1 | 0 |153349 | - | 99M | 0 | 500 |3603 |2175 | 32 | 5 |2297 | 11 | 0.000000e+00 | -- | Inf | unknown
15.05/15.16 c 15.2s| 1 | 0 |153462 | - | 100M | 0 | 500 |3608 |2181 | 38 | 6 |2302 | 11 | 0.000000e+00 | -- | Inf | unknown
15.14/15.21 c 15.2s| 1 | 0 |153546 | - | 100M | 0 | 500 |3616 |2185 | 42 | 7 |2310 | 11 | 0.000000e+00 | -- | Inf | unknown
15.14/15.27 c 15.3s| 1 | 0 |153631 | - | 102M | 0 | 500 |3617 |2191 | 48 | 8 |2311 | 11 | 0.000000e+00 | -- | Inf | unknown
15.24/15.33 c 15.3s| 1 | 0 |153726 | - | 105M | 0 | 500 |3622 |2195 | 52 | 9 |2317 | 11 | 0.000000e+00 | -- | Inf | unknown
15.24/15.39 c 15.4s| 1 | 0 |153794 | - | 107M | 0 | 500 |3622 |2186 | 57 | 10 |2318 | 11 | 0.000000e+00 | -- | Inf | unknown
15.34/15.41 c 15.4s| 1 | 0 |153851 | - | 107M | 0 | 500 |3626 |2190 | 61 | 11 |2322 | 11 | 0.000000e+00 | -- | Inf | unknown
15.64/15.72 c 15.7s| 1 | 2 |154878 | - | 107M | 0 | 500 |3625 |2190 | 61 | 11 |2337 | 22 | 0.000000e+00 | -- | Inf | unknown
16.44/16.59 c 16.6s| 100 | 27 |165889 | 109.6 | 109M | 18 | 500 |3752 |2151 | 86 | 1 |2539 | 22 | 0.000000e+00 | -- | Inf | unknown
17.14/17.27 c 17.3s| 200 | 29 |179468 | 111.4 | 109M | 20 | 500 |3762 |2153 | 86 | 1 |2685 | 22 | 0.000000e+00 | -- | Inf | unknown
17.95/18.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.95/18.02 c 18.0s| 300 | 35 |188434 | 110.0 | 110M | 20 | 500 |3785 |2151 | 110 | 1 |2832 | 22 | 0.000000e+00 | -- | Inf | unknown
18.54/18.69 c 18.7s| 400 | 34 |196968 | 108.5 | 110M | 20 | 500 |3789 |2154 | 130 | 0 |3019 | 22 | 0.000000e+00 | -- | Inf | 1.42%
18.94/19.08 c 19.1s| 500 | 33 |205090 | 107.0 | 110M | 20 | 500 |3811 |2151 | 130 | 1 |3150 | 22 | 0.000000e+00 | -- | Inf | 1.56%
19.54/19.64 c 19.6s| 600 | 30 |216483 | 107.4 | 111M | 20 | 500 |3836 |2151 | 136 | 1 |3297 | 22 | 0.000000e+00 | -- | Inf | 1.74%
20.04/20.12 c 20.1s| 700 | 26 |226580 | 107.1 | 111M | 20 | 500 |3852 |2154 | 146 | 0 |3448 | 22 | 0.000000e+00 | -- | Inf | 2.64%
21.04/21.14 c 21.1s| 800 | 36 |241717 | 109.2 | 112M | 20 | 500 |3841 |2156 | 171 | 1 |3605 | 22 | 0.000000e+00 | -- | Inf | 2.93%
21.43/21.52 c 21.5s| 900 | 34 |249992 | 108.0 | 112M | 20 | 500 |3898 |2153 | 179 | 1 |3733 | 22 | 0.000000e+00 | -- | Inf | 3.04%
21.83/21.93 c 21.9s| 1000 | 28 |258653 | 107.1 | 112M | 20 | 500 |3950 |2147 | 190 | 1 |3859 | 22 | 0.000000e+00 | -- | Inf | 3.29%
23.03/23.10 c 23.1s| 1100 | 30 |271123 | 107.8 | 113M | 20 | 500 |3926 |2147 | 227 | 1 |3980 | 22 | 0.000000e+00 | -- | Inf | 9.79%
23.82/23.97 c 24.0s| 1200 | 33 |285658 | 109.3 | 114M | 20 | 500 |3967 |2156 | 246 | 1 |4094 | 22 | 0.000000e+00 | -- | Inf | 9.91%
24.52/24.66 c 24.7s| 1300 | 31 |296388 | 109.2 | 115M | 20 | 500 |3997 |2155 | 266 | 1 |4216 | 22 | 0.000000e+00 | -- | Inf | 10.17%
24.92/25.08 c 25.1s| 1400 | 27 |305147 | 108.4 | 115M | 20 | 500 |4044 |2151 | 278 | 1 |4334 | 22 | 0.000000e+00 | -- | Inf | 10.35%
25.71/25.89 c 25.9s| 1500 | 30 |317921 | 109.1 | 117M | 20 | 500 |4030 | 0 | 300 | 0 |4452 | 22 | 0.000000e+00 | -- | Inf | 10.58%
26.31/26.40 c 26.4s| 1600 | 30 |324862 | 107.7 | 117M | 20 | 500 |4064 |2154 | 309 | 1 |4572 | 22 | 0.000000e+00 | -- | Inf | 10.93%
26.71/26.81 c 26.8s| 1700 | 31 |332734 | 106.8 | 118M | 20 | 500 |4112 |2155 | 329 | 1 |4684 | 22 | 0.000000e+00 | -- | Inf | 11.06%
27.31/27.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.31/27.41 c 27.4s| 1800 | 28 |342415 | 106.4 | 118M | 20 | 500 |4133 |2157 | 354 | 1 |4811 | 22 | 0.000000e+00 | -- | Inf | 11.30%
27.91/28.09 c 28.1s| 1900 | 31 |352670 | 106.3 | 121M | 20 | 500 |4169 |2155 | 382 | 0 |4923 | 22 | 0.000000e+00 | -- | Inf | 11.67%
28.60/28.75 c 28.8s| 2000 | 34 |361307 | 105.7 | 121M | 20 | 500 |4188 |2161 | 430 | 1 |5080 | 22 | 0.000000e+00 | -- | Inf | 11.93%
29.01/29.12 c 29.1s| 2100 | 24 |369347 | 105.0 | 121M | 20 | 500 |4256 |2161 | 430 | 0 |5225 | 22 | 0.000000e+00 | -- | Inf | 12.05%
29.50/29.69 c 29.7s| 2200 | 26 |378536 | 104.6 | 121M | 20 | 500 |4300 |2158 | 454 | 1 |5361 | 22 | 0.000000e+00 | -- | Inf | 12.27%
30.10/30.26 c 30.3s| 2300 | 22 |388696 | 104.5 | 122M | 20 | 500 |4330 |2156 | 483 | 1 |5491 | 22 | 0.000000e+00 | -- | Inf | 12.71%
30.80/30.92 c 30.9s| 2400 | 23 |399710 | 104.7 | 122M | 20 | 500 |4428 |2155 | 512 | 1 |5647 | 22 | 0.000000e+00 | -- | Inf | 12.93%
31.39/31.51 c 31.5s| 2500 | 24 |410079 | 104.6 | 123M | 20 | 500 |4508 |2158 | 538 | 1 |5769 | 22 | 0.000000e+00 | -- | Inf | 13.13%
32.19/32.36 c 32.4s| 2600 | 28 |422564 | 105.2 | 123M | 20 | 500 |4517 |2147 | 551 | 0 |5921 | 22 | 0.000000e+00 | -- | Inf | 13.70%
32.69/32.82 c 32.8s| 2700 | 26 |429529 | 104.3 | 123M | 20 | 500 |4375 |2152 | 580 | 1 |6027 | 22 | 0.000000e+00 | -- | Inf | 14.89%
33.29/33.40 c 33.4s| 2800 | 26 |439921 | 104.3 | 123M | 20 | 500 |4390 |2158 | 623 | 1 |6126 | 22 | 0.000000e+00 | -- | Inf | 15.16%
34.38/34.54 c 34.5s| 2900 | 34 |453637 | 105.0 | 123M | 20 | 500 |4346 | 0 | 676 | 0 |6227 | 22 | 0.000000e+00 | -- | Inf | 15.54%
34.88/35.06 c 35.1s| 3000 | 37 |463165 | 104.8 | 123M | 20 | 500 |4448 |2159 | 706 | 1 |6389 | 22 | 0.000000e+00 | -- | Inf | 15.73%
35.28/35.40 c 35.4s| 3100 | 30 |470944 | 104.2 | 123M | 20 | 500 |4526 |2157 | 706 | 0 |6532 | 22 | 0.000000e+00 | -- | Inf | 15.83%
35.78/36.00 c 36.0s| 3200 | 26 |478568 | 103.6 | 123M | 20 | 500 |4499 | 0 | 744 | 0 |6662 | 22 | 0.000000e+00 | -- | Inf | 16.31%
36.57/36.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.57/36.75 c 36.7s| 3300 | 30 |488662 | 103.5 | 124M | 20 | 500 |4439 |2159 | 810 | 1 |6777 | 22 | 0.000000e+00 | -- | Inf | 16.76%
37.07/37.28 c 37.3s| 3400 | 31 |498522 | 103.4 | 124M | 20 | 500 |4514 |2158 | 848 | 1 |6915 | 22 | 0.000000e+00 | -- | Inf | 16.93%
37.47/37.66 c 37.7s| 3500 | 27 |507228 | 103.1 | 124M | 20 | 500 |4574 |2156 | 848 | 1 |7038 | 22 | 0.000000e+00 | -- | Inf | 17.13%
38.37/38.52 c 38.5s| 3600 | 23 |517834 | 103.1 | 124M | 20 | 500 |4458 |2159 | 882 | 0 |7152 | 22 | 0.000000e+00 | -- | Inf | 17.51%
38.67/38.89 c 38.9s| 3700 | 23 |525171 | 102.5 | 124M | 20 | 500 |4531 |2161 | 899 | 1 |7275 | 22 | 0.000000e+00 | -- | Inf | 17.67%
40.06/40.25 c 40.2s| 3800 | 31 |543311 | 104.1 | 124M | 20 | 500 |4569 |2157 | 909 | 1 |7406 | 22 | 0.000000e+00 | -- | Inf | 17.73%
40.46/40.69 c 40.7s| 3900 | 28 |551189 | 103.6 | 124M | 20 | 500 |4604 |2157 | 918 | 1 |7556 | 22 | 0.000000e+00 | -- | Inf | 18.06%
41.26/41.40 c 41.4s| 4000 | 28 |559621 | 103.2 | 124M | 20 | 500 |4522 |2154 | 961 | 1 |7651 | 22 | 0.000000e+00 | -- | Inf | 18.75%
42.06/42.23 c 42.2s| 4100 | 29 |571075 | 103.5 | 124M | 20 | 500 |4512 |2158 |1021 | 1 |7770 | 22 | 0.000000e+00 | -- | Inf | 19.53%
42.55/42.71 c 42.7s| 4200 | 28 |579747 | 103.1 | 124M | 20 | 500 |4436 |2155 |1043 | 1 |7876 | 22 | 0.000000e+00 | -- | Inf | 20.39%
43.05/43.20 c 43.2s| 4300 | 27 |589140 | 103.0 | 125M | 20 | 500 |4517 |2153 |1057 | 1 |8035 | 22 | 0.000000e+00 | -- | Inf | 20.50%
43.45/43.62 c 43.6s| 4400 | 25 |597632 | 102.7 | 125M | 20 | 500 |4640 |2160 |1073 | 0 |8213 | 22 | 0.000000e+00 | -- | Inf | 20.60%
44.05/44.29 c 44.3s| 4500 | 27 |607359 | 102.6 | 125M | 20 | 500 |4673 |2161 |1132 | 0 |8370 | 22 | 0.000000e+00 | -- | Inf | 21.00%
44.55/44.76 c 44.8s| 4600 | 25 |617142 | 102.5 | 125M | 20 | 500 |4715 |2157 |1151 | 1 |8492 | 22 | 0.000000e+00 | -- | Inf | 21.16%
45.05/45.21 c 45.2s| 4700 | 29 |625680 | 102.2 | 125M | 20 | 500 |4779 |2160 |1177 | 0 |8623 | 22 | 0.000000e+00 | -- | Inf | 21.27%
45.86/46.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.86/46.07 c 46.1s| 4800 | 36 |637108 | 102.4 | 125M | 20 | 500 |4709 | 0 |1192 | 0 |8800 | 22 | 0.000000e+00 | -- | Inf | 21.38%
46.25/46.49 c 46.5s| 4900 | 30 |645474 | 102.1 | 126M | 20 | 500 |4714 |2159 |1208 | 1 |8937 | 22 | 0.000000e+00 | -- | Inf | 22.78%
47.35/47.55 c 47.6s| 5000 | 29 |657410 | 102.4 | 127M | 20 | 500 |4618 |2155 |1268 | 1 |9097 | 22 | 0.000000e+00 | -- | Inf | 23.36%
48.34/48.56 c 48.6s| 5100 | 30 |668848 | 102.6 | 127M | 20 | 500 |4521 |2156 |1308 | 0 |9195 | 22 | 0.000000e+00 | -- | Inf | 25.21%
49.14/49.32 c 49.3s| 5200 | 32 |679046 | 102.6 | 127M | 20 | 500 |4587 | 0 |1374 | 0 |9321 | 22 | 0.000000e+00 | -- | Inf | 25.59%
49.94/50.16 c 50.2s| 5300 | 28 |688383 | 102.4 | 127M | 20 | 500 |4430 | 0 |1428 | 0 |9441 | 22 | 0.000000e+00 | -- | Inf | 27.29%
50.54/50.75 c 50.7s| 5400 | 30 |698159 | 102.3 | 127M | 20 | 500 |4405 | 0 |1475 | 0 |9547 | 22 | 0.000000e+00 | -- | Inf | 28.19%
51.23/51.44 c 51.4s| 5500 | 26 |708027 | 102.3 | 127M | 20 | 500 |4431 | 0 |1532 | 0 |9667 | 22 | 0.000000e+00 | -- | Inf | 28.78%
52.43/52.65 c 52.7s| 5600 | 31 |720288 | 102.6 | 127M | 20 | 500 |4289 |2162 |1615 | 1 |9763 | 22 | 0.000000e+00 | -- | Inf | 32.43%
53.23/53.42 c 53.4s| 5700 | 26 |733367 | 103.0 | 127M | 20 | 500 |4242 |2147 |1653 | 0 |9899 | 22 | 0.000000e+00 | -- | Inf | 33.23%
53.93/54.18 c 54.2s| 5800 | 28 |745476 | 103.2 | 127M | 20 | 500 |4182 |2156 |1712 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 34.16%
54.83/55.04 c 55.0s| 5900 | 25 |757660 | 103.5 | 127M | 20 | 500 |4237 | 0 |1761 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 34.88%
55.52/55.77 c 55.8s| 6000 | 24 |767606 | 103.4 | 127M | 20 | 500 |4288 | 0 |1800 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 35.13%
56.42/56.69 c 56.7s| 6100 | 30 |778506 | 103.5 | 127M | 20 | 500 |4272 |2159 |1833 | 2 | 10k| 22 | 0.000000e+00 | -- | Inf | 36.89%
57.71/57.95 c 58.0s| 6200 | 31 |791822 | 103.9 | 129M | 20 | 500 |4297 |2155 |1879 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 38.04%
58.61/58.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.61/58.85 c 58.8s| 6300 | 37 |803382 | 104.1 | 129M | 20 | 500 |4347 | 0 |1952 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 38.65%
59.31/59.53 c 59.5s| 6400 | 36 |814114 | 104.1 | 129M | 20 | 500 |4438 |2158 |2004 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 39.29%
59.81/60.04 c 60.0s| 6500 | 35 |822240 | 103.8 | 129M | 20 | 500 |4529 |2161 |2034 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 39.57%
60.40/60.63 c 60.6s| 6600 | 33 |832686 | 103.8 | 129M | 20 | 500 |4619 |2155 |2071 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 39.84%
61.00/61.24 c 61.2s| 6700 | 35 |843064 | 103.8 | 130M | 20 | 500 |4691 |2158 |2117 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 40.05%
61.40/61.63 c 61.6s| 6800 | 30 |851623 | 103.6 | 130M | 20 | 500 |4782 |2158 |2117 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 40.20%
62.10/62.31 c 62.3s| 6900 | 35 |862731 | 103.7 | 130M | 20 | 500 |4848 |2160 |2175 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 40.41%
62.49/62.78 c 62.8s| 7000 | 34 |872503 | 103.6 | 132M | 20 | 500 |4955 |2160 |2175 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 40.53%
63.29/63.52 c 63.5s| 7100 | 31 |883315 | 103.7 | 132M | 20 | 500 |5029 |2159 |2226 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 40.86%
63.79/64.04 c 64.0s| 7200 | 24 |892874 | 103.6 | 132M | 20 | 500 |5054 |2156 |2255 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 41.44%
64.59/64.89 c 64.9s| 7300 | 30 |905403 | 103.8 | 132M | 20 | 500 |4981 |2161 |2317 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 42.68%
65.38/65.69 c 65.7s| 7400 | 29 |916273 | 103.9 | 132M | 20 | 500 |5039 |2162 |2362 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 42.96%
65.89/66.16 c 66.2s| 7500 | 25 |925089 | 103.7 | 132M | 20 | 500 |5124 |2155 |2387 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 43.18%
66.48/66.73 c 66.7s| 7600 | 26 |933457 | 103.5 | 132M | 20 | 500 |5110 | 0 |2424 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 43.63%
67.08/67.36 c 67.4s| 7700 | 31 |944169 | 103.5 | 132M | 20 | 500 |5207 | 0 |2474 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 43.91%
67.48/67.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.48/67.76 c 67.8s| 7800 | 30 |952121 | 103.3 | 132M | 20 | 500 |5297 |2158 |2487 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 44.06%
67.98/68.28 c 68.3s| 7900 | 28 |961390 | 103.1 | 132M | 20 | 500 |5396 | 0 |2512 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 44.24%
68.57/68.87 c 68.9s| 8000 | 30 |971352 | 103.1 | 132M | 20 | 500 |5503 |2156 |2554 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 44.49%
69.07/69.37 c 69.4s| 8100 | 31 |980315 | 103.0 | 132M | 20 | 500 |5574 |2163 |2593 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 44.67%
69.47/69.79 c 69.8s| 8200 | 36 |989301 | 102.8 | 132M | 20 | 500 |5704 |2159 |2609 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 44.74%
69.87/70.11 c 70.1s| 8300 | 29 |996982 | 102.6 | 132M | 20 | 500 |5785 |2163 |2609 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 44.85%
70.27/70.50 c 70.5s| 8400 | 28 | 1005k| 102.4 | 132M | 20 | 500 |5879 |2167 |2633 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 44.93%
70.67/70.96 c 71.0s| 8500 | 25 | 1013k| 102.2 | 134M | 20 | 500 |5966 |2167 |2648 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 45.07%
71.36/71.67 c 71.7s| 8600 | 21 | 1023k| 102.1 | 134M | 20 | 500 |5882 |2157 |2698 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 45.94%
72.16/72.49 c 72.5s| 8700 | 24 | 1036k| 102.4 | 134M | 20 | 500 |5782 | 0 |2765 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 47.09%
72.86/73.12 c 73.1s| 8800 | 26 | 1047k| 102.5 | 134M | 20 | 500 |5811 | 0 |2805 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 47.33%
73.46/73.79 c 73.8s| 8900 | 27 | 1058k| 102.6 | 134M | 20 | 500 |5899 | 0 |2846 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 47.57%
73.86/74.19 c 74.2s| 9000 | 24 | 1067k| 102.4 | 134M | 20 | 500 |5988 |2157 |2846 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 47.67%
74.25/74.54 c 74.5s| 9100 | 26 | 1074k| 102.1 | 134M | 20 | 500 |6074 | 0 |2859 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 47.72%
74.55/74.81 c 74.8s| 9200 | 28 | 1081k| 101.8 | 134M | 20 | 500 |6174 |2156 |2859 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 47.75%
75.15/75.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
75.15/75.49 c 75.5s| 9300 | 24 | 1089k| 101.6 | 134M | 20 | 500 |6214 |2159 |2880 | 2 | 14k| 22 | 0.000000e+00 | -- | Inf | 47.90%
76.34/76.69 c 76.7s| 9400 | 23 | 1101k| 101.8 | 134M | 20 | 500 |6090 |2147 |2934 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 49.85%
77.14/77.48 c 77.5s| 9500 | 21 | 1113k| 101.9 | 134M | 20 | 500 |6063 |2147 |2993 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 51.32%
78.04/78.32 c 78.3s| 9600 | 22 | 1125k| 102.1 | 134M | 20 | 500 |6167 |2161 |3038 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 51.67%
78.44/78.78 c 78.8s| 9700 | 22 | 1133k| 101.9 | 134M | 20 | 500 |6198 |2156 |3061 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 51.95%
79.43/79.75 c 79.7s| 9800 | 23 | 1144k| 101.9 | 134M | 20 | 500 |6119 |2157 |3121 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 52.45%
79.93/80.27 c 80.3s| 9900 | 25 | 1152k| 101.8 | 134M | 20 | 500 |6167 |2164 |3154 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 52.65%
80.93/81.20 c 81.2s| 10000 | 19 | 1163k| 101.8 | 134M | 20 | 500 |5987 |2147 |3211 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 55.22%
81.73/82.07 c 82.1s| 10100 | 20 | 1171k| 101.7 | 134M | 20 | 500 |5775 |2157 |3289 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 57.17%
82.52/82.85 c 82.8s| 10200 | 20 | 1181k| 101.7 | 136M | 20 | 500 |5732 |2165 |3343 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 57.66%
83.22/83.50 c 83.5s| 10300 | 22 | 1191k| 101.7 | 136M | 20 | 500 |5801 |2157 |3396 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 58.03%
83.52/83.87 c 83.9s| 10400 | 22 | 1200k| 101.5 | 136M | 20 | 500 |5904 |2158 |3396 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 58.13%
84.11/84.49 c 84.5s| 10500 | 22 | 1211k| 101.6 | 136M | 20 | 500 |5949 | 0 |3441 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 59.03%
84.72/85.10 c 85.1s| 10600 | 22 | 1220k| 101.5 | 136M | 20 | 500 |5944 | 0 |3466 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 59.37%
85.21/85.53 c 85.5s| 10700 | 22 | 1229k| 101.4 | 136M | 20 | 500 |6035 |2157 |3478 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 59.46%
85.61/85.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
85.61/85.96 c 86.0s| 10800 | 23 | 1237k| 101.3 | 136M | 20 | 500 |6074 |2157 |3489 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 59.56%
86.01/86.37 c 86.4s| 10900 | 20 | 1245k| 101.1 | 136M | 20 | 500 |6179 |2162 |3504 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 59.66%
87.30/87.63 c 87.6s| 11000 | 18 | 1257k| 101.2 | 136M | 20 | 500 |6130 | 0 |3565 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 63.45%
87.90/88.25 c 88.2s| 11100 | 20 | 1267k| 101.2 | 136M | 20 | 500 |6054 |2159 |3613 | 2 | 16k| 22 | 0.000000e+00 | -- | Inf | 63.82%
88.40/88.79 c 88.8s| 11200 | 18 | 1275k| 101.0 | 136M | 20 | 500 |6069 |2157 |3647 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 64.50%
89.10/89.42 c 89.4s| 11300 | 21 | 1285k| 101.0 | 136M | 20 | 500 |5949 | 0 |3695 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 65.62%
89.60/89.92 c 89.9s| 11400 | 19 | 1294k| 100.9 | 136M | 20 | 500 |5957 |2156 |3718 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 65.89%
90.19/90.58 c 90.6s| 11500 | 16 | 1305k| 101.0 | 136M | 20 | 500 |5913 | 0 |3763 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 66.47%
90.81/91.16 c 91.2s| 11600 | 13 | 1314k| 100.9 | 136M | 20 | 500 |5906 |2161 |3787 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 66.94%
92.20/92.52 c 92.5s| 11700 | 17 | 1328k| 101.2 | 136M | 20 | 500 |5834 |2163 |3817 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 67.74%
93.70/94.02 c 94.0s| 11800 | 29 | 1341k| 101.4 | 136M | 20 | 500 |5613 |2156 |3877 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 68.43%
94.39/94.76 c 94.8s| 11900 | 29 | 1351k| 101.4 | 136M | 20 | 500 |5610 |2158 |3912 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 68.84%
95.19/95.50 c 95.5s| 12000 | 35 | 1361k| 101.4 | 136M | 20 | 500 |5650 |2159 |3968 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 69.14%
95.58/95.93 c 95.9s| 12100 | 30 | 1370k| 101.3 | 136M | 20 | 500 |5738 | 0 |3983 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 69.34%
96.28/96.66 c 96.7s| 12200 | 31 | 1379k| 101.3 | 136M | 20 | 500 |5800 | 0 |4050 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 69.69%
96.58/97.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
96.58/97.00 c 97.0s| 12300 | 29 | 1387k| 101.1 | 136M | 20 | 500 |5894 |2160 |4050 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 69.76%
97.18/97.50 c 97.5s| 12400 | 30 | 1396k| 101.0 | 136M | 20 | 500 |5996 |2165 |4085 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 69.88%
97.48/97.89 c 97.9s| 12500 | 29 | 1404k| 100.9 | 136M | 20 | 500 |6119 |2159 |4085 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 69.94%
97.97/98.36 c 98.4s| 12600 | 27 | 1412k| 100.7 | 139M | 20 | 500 |6220 | 0 |4105 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 70.02%
98.57/98.93 c 98.9s| 12700 | 30 | 1421k| 100.6 | 139M | 20 | 500 |6185 |2154 |4149 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 70.32%
98.97/99.35 c 99.4s| 12800 | 31 | 1430k| 100.5 | 139M | 20 | 500 |6181 |2158 |4162 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 70.42%
99.47/99.82 c 99.8s| 12900 | 32 | 1438k| 100.5 | 139M | 20 | 500 |6252 | 0 |4183 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 70.49%
99.87/100.24 c 100s| 13000 | 29 | 1446k| 100.3 | 139M | 20 | 500 |6225 |2157 |4196 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 70.68%
100.37/100.75 c 101s| 13100 | 26 | 1456k| 100.3 | 139M | 20 | 500 |6226 |2166 |4238 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 70.83%
100.77/101.12 c 101s| 13200 | 26 | 1464k| 100.1 | 139M | 20 | 500 |6260 |2166 |4238 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 70.90%
101.36/101.70 c 102s| 13300 | 26 | 1476k| 100.3 | 139M | 20 | 500 |6312 |2161 |4259 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 70.99%
101.77/102.12 c 102s| 13400 | 28 | 1483k| 100.1 | 139M | 20 | 500 |6327 |2158 |4273 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 71.07%
102.26/102.63 c 103s| 13500 | 33 | 1492k| 100.0 | 139M | 20 | 500 |6388 |2157 |4304 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 71.23%
102.86/103.27 c 103s| 13600 | 32 | 1502k| 100.0 | 139M | 20 | 500 |6454 | 0 |4339 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 71.43%
103.36/103.78 c 104s| 13700 | 31 | 1512k| 100.0 | 139M | 20 | 500 |6555 |2153 |4351 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 71.55%
103.95/104.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
103.95/104.33 c 104s| 13800 | 33 | 1522k| 100.0 | 139M | 20 | 500 |6662 |2159 |4380 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 71.68%
104.45/104.80 c 105s| 13900 | 36 | 1530k| 99.9 | 139M | 20 | 500 |6799 |2156 |4393 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 71.75%
104.76/105.14 c 105s| 14000 | 33 | 1537k| 99.7 | 139M | 20 | 500 |6916 |2159 |4393 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 71.79%
105.15/105.55 c 106s| 14100 | 30 | 1546k| 99.6 | 139M | 20 | 500 |7032 |2159 |4393 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 71.87%
105.55/105.95 c 106s| 14200 | 24 | 1555k| 99.5 | 139M | 20 | 500 |7104 | 0 |4393 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 71.97%
106.45/106.88 c 107s| 14300 | 22 | 1565k| 99.6 | 139M | 20 | 500 |6877 | 0 |4490 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 73.24%
107.44/107.80 c 108s| 14400 | 25 | 1576k| 99.6 | 139M | 20 | 500 |6805 |2168 |4579 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 73.75%
108.04/108.41 c 108s| 14500 | 21 | 1587k| 99.7 | 139M | 20 | 500 |6776 |2166 |4624 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 74.76%
108.54/108.90 c 109s| 14600 | 21 | 1596k| 99.6 | 139M | 20 | 500 |6840 |2163 |4646 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 74.89%
109.04/109.48 c 109s| 14700 | 20 | 1605k| 99.6 | 139M | 20 | 500 |6834 |2161 |4692 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 75.40%
109.54/109.91 c 110s| 14800 | 18 | 1614k| 99.5 | 139M | 20 | 500 |6874 |2155 |4703 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 75.88%
110.23/110.63 c 111s| 14900 | 19 | 1622k| 99.4 | 139M | 20 | 500 |6445 |2165 |4787 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 76.60%
111.03/111.46 c 111s| 15000 | 20 | 1633k| 99.4 | 139M | 20 | 500 |6243 |2159 |4862 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 77.94%
111.93/112.37 c 112s| 15100 | 21 | 1643k| 99.4 | 139M | 20 | 500 |6247 |2161 |4928 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 78.32%
112.53/112.95 c 113s| 15200 | 17 | 1653k| 99.4 | 139M | 20 | 500 |6336 | 0 |4968 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 78.56%
113.12/113.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
113.12/113.50 c 114s| 15300 | 17 | 1662k| 99.4 | 139M | 20 | 500 |6431 |2161 |5004 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 78.77%
113.73/114.14 c 114s| 15400 | 17 | 1673k| 99.5 | 139M | 20 | 500 |6493 |2167 |5050 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 79.13%
114.42/114.82 c 115s| 15500 | 18 | 1683k| 99.4 | 139M | 20 | 500 |6456 |2161 |5092 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 79.46%
114.82/115.28 c 115s| 15600 | 16 | 1691k| 99.3 | 139M | 20 | 500 |6482 |2161 |5124 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 79.61%
115.52/115.99 c 116s| 15700 | 20 | 1701k| 99.4 | 139M | 20 | 500 |6352 |2159 |5167 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 79.92%
116.21/116.61 c 117s| 15800 | 20 | 1710k| 99.3 | 139M | 20 | 500 |6386 |2155 |5214 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 80.21%
117.11/117.53 c 118s| 15900 | 23 | 1722k| 99.4 | 140M | 20 | 500 |6479 |2159 |5299 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 80.62%
117.51/117.99 c 118s| 16000 | 22 | 1731k| 99.4 | 140M | 20 | 500 |6575 |2159 |5320 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 80.71%
118.01/118.45 c 118s| 16100 | 16 | 1741k| 99.4 | 140M | 20 | 500 |6638 |2159 |5320 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 80.92%
119.30/119.72 c 120s| 16200 | 17 | 1756k| 99.7 | 140M | 20 | 500 |6678 |2158 |5367 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 81.25%
119.80/120.22 c 120s| 16300 | 17 | 1766k| 99.7 | 140M | 20 | 500 |6726 |2161 |5397 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 81.84%
120.50/120.91 c 121s| 16400 | 16 | 1774k| 99.5 | 140M | 20 | 500 |6754 | 0 |5446 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 82.52%
121.00/121.42 c 121s| 16500 | 20 | 1782k| 99.5 | 140M | 20 | 500 |6817 |2157 |5494 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 82.76%
121.89/122.32 c 122s| 16600 | 17 | 1792k| 99.5 | 140M | 20 | 500 |6864 |2155 |5538 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 83.35%
122.39/122.85 c 123s| 16700 | 15 | 1802k| 99.5 | 141M | 20 | 500 |6938 |2159 |5567 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 83.67%
122.99/123.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
122.99/123.42 c 123s| 16800 | 17 | 1811k| 99.4 | 141M | 20 | 500 |7018 |2157 |5606 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 83.97%
123.49/123.92 c 124s| 16900 | 16 | 1819k| 99.3 | 141M | 20 | 500 |7104 |2161 |5654 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 84.19%
124.38/124.80 c 125s| 17000 | 21 | 1830k| 99.3 | 141M | 20 | 500 |7171 |2157 |5700 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 84.39%
124.78/125.24 c 125s| 17100 | 18 | 1838k| 99.3 | 141M | 20 | 500 |7267 |2162 |5718 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 84.60%
125.28/125.70 c 126s| 17200 | 19 | 1846k| 99.2 | 141M | 20 | 500 |7339 |2163 |5751 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 84.73%
125.88/126.32 c 126s| 17300 | 21 | 1857k| 99.2 | 141M | 20 | 500 |7375 | 0 |5780 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 84.92%
126.38/126.89 c 127s| 17400 | 21 | 1866k| 99.2 | 142M | 20 | 500 |7445 | 0 |5811 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 85.11%
126.97/127.43 c 127s| 17500 | 21 | 1877k| 99.2 | 142M | 20 | 500 |7536 |2163 |5826 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 85.22%
127.37/127.89 c 128s| 17600 | 18 | 1886k| 99.2 | 142M | 20 | 500 |7616 |2160 |5844 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 85.36%
127.87/128.37 c 128s| 17700 | 20 | 1896k| 99.1 | 142M | 20 | 500 |7734 | 0 |5855 | 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 85.46%
128.37/128.81 c 129s| 17800 | 19 | 1904k| 99.1 | 142M | 20 | 500 |7823 |2162 |5875 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 85.63%
129.17/129.62 c 130s| 17900 | 18 | 1915k| 99.1 | 142M | 20 | 500 |7852 |2161 |5922 | 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 85.95%
129.76/130.28 c 130s| 18000 | 15 | 1923k| 99.0 | 142M | 20 | 500 |7889 |2159 |5962 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 86.40%
130.36/130.84 c 131s| 18100 | 16 | 1932k| 99.0 | 142M | 20 | 500 |7963 |2158 |5995 | 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 86.62%
130.96/131.43 c 131s| 18200 | 19 | 1940k| 98.9 | 142M | 20 | 500 |8038 |2159 |6045 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 86.84%
131.46/131.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
131.46/131.90 c 132s| 18300 | 18 | 1948k| 98.8 | 143M | 20 | 500 |8158 |2159 |6063 | 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 86.95%
131.96/132.44 c 132s| 18400 | 20 | 1956k| 98.7 | 143M | 20 | 500 |8202 | 0 |6096 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 87.04%
132.36/132.86 c 133s| 18500 | 18 | 1963k| 98.5 | 143M | 20 | 500 |8287 |2163 |6114 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 87.20%
132.66/133.15 c 133s| 18600 | 15 | 1969k| 98.3 | 143M | 20 | 500 |8341 |2160 |6114 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 87.30%
133.25/133.70 c 134s| 18700 | 15 | 1977k| 98.3 | 143M | 20 | 500 |8416 |2157 |6159 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 87.49%
133.85/134.38 c 134s| 18800 | 12 | 1986k| 98.2 | 143M | 20 | 500 |8162 | 0 |6206 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 88.76%
134.95/135.41 c 135s| 18900 | 14 | 1996k| 98.2 | 143M | 20 | 500 |7534 |2158 |6272 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 89.97%
135.55/136.01 c 136s| 19000 | 10 | 2004k| 98.1 | 143M | 20 | 500 |7467 | 0 |6322 | 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 90.50%
136.44/136.96 c 137s| 19100 | 13 | 2014k| 98.1 | 144M | 20 | 500 |7355 |2159 |6380 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 91.28%
137.04/137.58 c 138s| 19200 | 10 | 2023k| 98.1 | 144M | 20 | 500 |7321 |2163 |6424 | 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 92.09%
138.03/138.55 c 139s| 19300 | 8 | 2034k| 98.2 | 144M | 20 | 500 |7145 |2157 |6506 | 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 92.87%
139.03/139.55 c 140s| 19400 | 12 | 2045k| 98.2 | 144M | 20 | 500 |6874 |2157 |6585 | 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 93.97%
139.83/140.30 c 140s| 19500 | 12 | 2054k| 98.2 | 144M | 20 | 500 |6838 |2162 |6649 | 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 94.65%
140.23/140.78 c 141s| 19600 | 10 | 2062k| 98.1 | 144M | 20 | 500 |6906 |2157 |6680 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 94.86%
140.72/141.27 c 141s| 19700 | 11 | 2071k| 98.0 | 144M | 20 | 500 |6995 | 0 |6723 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 95.02%
141.12/141.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
141.12/141.64 c 142s| 19800 | 12 | 2078k| 97.9 | 144M | 20 | 500 |7104 |2156 |6737 | 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 95.10%
141.72/142.26 c 142s| 19900 | 10 | 2087k| 97.9 | 144M | 20 | 500 |7133 | 0 |6784 | 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 95.56%
142.32/142.83 c 143s| 20000 | 16 | 2094k| 97.8 | 144M | 20 | 500 |7133 |2160 |6818 | 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 95.83%
142.72/143.21 c 143s| 20100 | 9 | 2102k| 97.7 | 144M | 20 | 500 |7231 |2162 |6834 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 96.04%
143.12/143.64 c 144s| 20200 | 8 | 2109k| 97.5 | 144M | 20 | 500 |7289 | 0 |6865 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 96.20%
144.01/144.55 c 145s| 20300 | 12 | 2120k| 97.6 | 144M | 20 | 500 |7297 |2161 |6908 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 96.89%
144.71/145.23 c 145s| 20400 | 13 | 2131k| 97.6 | 144M | 20 | 500 |7374 |2160 |6973 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 97.21%
145.21/145.79 c 146s| 20500 | 7 | 2140k| 97.6 | 144M | 20 | 500 |7464 |2165 |6999 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 97.53%
146.11/146.62 c 147s| 20600 | 7 | 2152k| 97.7 | 145M | 20 | 500 |7523 |2163 |7066 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 97.94%
147.00/147.54 c 148s| 20700 | 5 | 2163k| 97.8 | 149M | 20 | 500 |7433 |2162 |7124 | 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 98.82%
147.80/148.34 c 148s| 20800 | 2 | 2174k| 97.8 | 149M | 20 | 500 |6393 | 0 |7210 | 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 99.98%
147.80/148.37 c
147.80/148.37 c SCIP Status : problem is solved [infeasible]
147.80/148.37 c Solving Time (sec) : 148.37
147.80/148.37 c Solving Nodes : 20806 (total of 22106 nodes in 2 runs)
147.80/148.37 c Primal Bound : +1.00000000000000e+20 (0 solutions)
147.80/148.37 c Dual Bound : +1.00000000000000e+20
147.80/148.37 c Gap : 0.00 %
147.80/148.37 s UNSATISFIABLE
147.80/148.37 c SCIP Status : problem is solved [infeasible]
147.80/148.37 c Total Time : 148.37
147.80/148.37 c solving : 148.37
147.80/148.37 c presolving : 0.16 (included in solving)
147.80/148.37 c reading : 0.00 (included in solving)
147.80/148.37 c copying : 0.40 (59 #copies) (minimal 0.00, maximal 0.01, average 0.01)
147.80/148.37 c Original Problem :
147.80/148.37 c Problem name : HOME/instance-4514709-1751225153.opb
147.80/148.37 c Variables : 506 (506 binary, 0 integer, 0 continuous)
147.80/148.37 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
147.80/148.37 c Constraints : 2337 initial, 2337 maximal
147.80/148.37 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
147.80/148.37 c Presolved Problem :
147.80/148.37 c Problem name : t_HOME/instance-4514709-1751225153.opb
147.80/148.37 c Variables : 500 (500 binary, 0 integer, 0 continuous)
147.80/148.37 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
147.80/148.37 c Constraints : 3529 initial, 8451 maximal
147.80/148.37 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
147.80/148.37 c Nonzeros : 35784 constraint, 1425 clique table
147.80/148.37 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
147.80/148.37 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
147.80/148.37 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
147.80/148.37 c gateextraction : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
147.80/148.37 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
147.80/148.37 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
147.80/148.37 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
147.80/148.37 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c trivial : 0.00 0.00 13 1 0 0 0 0 0 0 0 0
147.80/148.37 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c dualfix : 0.00 0.00 13 1 0 0 0 0 0 0 0 0
147.80/148.37 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c probing : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
147.80/148.37 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
147.80/148.37 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
147.80/148.37 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
147.80/148.37 c knapsack : 0.00 0.00 25 0 0 0 0 0 0 0 0 4
147.80/148.37 c setppc : 0.01 0.00 25 0 0 0 0 0 37 0 0 0
147.80/148.37 c linear : 0.01 0.00 21 4 0 0 4 0 190 0 3 9
147.80/148.37 c logicor : 0.06 0.00 22 0 0 0 0 0 140 0 0 1821
147.80/148.37 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
147.80/148.37 c root node : - - - 304 - - 304 - - - - -
147.80/148.37 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
147.80/148.37 c integral : 0 0 0 0 11738 0 0 24 0 0 0 0 0 0 23476
147.80/148.37 c knapsack : 78+ 97 22 92004 0 0 0 19 44894 159 58108 0 0 0 0
147.80/148.37 c setppc : 919 919 22 91862 0 0 0 13 83697 145 230655 0 0 0 0
147.80/148.37 c linear : 33+ 74 24 91689 0 0 0 6 3030 1777 8731 9 3 0 0
147.80/148.37 c logicor : 2499+ 7471 22 67851 0 0 0 0 288993 4929 1030209 59 8 0 0
147.80/148.37 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
147.80/148.37 c integral : 1.27 0.00 0.00 0.00 1.27 0.00 0.00 0.00 0.00 0.00
147.80/148.37 c knapsack : 1.17 0.00 0.00 1.15 0.00 0.00 0.00 0.00 0.02 0.00
147.80/148.37 c setppc : 0.96 0.00 0.00 0.94 0.00 0.00 0.00 0.00 0.02 0.00
147.80/148.37 c linear : 0.26 0.00 0.00 0.25 0.00 0.00 0.00 0.00 0.00 0.00
147.80/148.37 c logicor : 3.89 0.00 0.01 3.81 0.00 0.00 0.00 0.00 0.07 0.00
147.80/148.37 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
147.80/148.37 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
147.80/148.37 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
147.80/148.37 c Propagators : #Propagate #ResProp Cutoffs DomReds
147.80/148.37 c dualfix : 2 0 0 0
147.80/148.37 c genvbounds : 0 0 0 0
147.80/148.37 c nlobbt : 0 0 0 0
147.80/148.37 c obbt : 0 0 0 0
147.80/148.37 c probing : 0 0 0 0
147.80/148.37 c pseudoobj : 0 0 0 0
147.80/148.37 c redcost : 0 0 0 0
147.80/148.37 c rootredcost : 0 0 0 0
147.80/148.37 c symmetry : 0 0 0 0
147.80/148.37 c vbounds : 66164 0 0 0
147.80/148.37 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
147.80/148.37 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
147.80/148.37 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
147.80/148.37 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
147.80/148.37 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
147.80/148.37 c probing : 0.04 0.00 0.04 0.00 0.00 0.00
147.80/148.37 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
147.80/148.37 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
147.80/148.37 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
147.80/148.37 c symmetry : 0.03 0.00 0.01 0.02 0.00 0.00
147.80/148.37 c vbounds : 0.16 0.00 0.00 0.16 0.00 0.00
147.80/148.37 c Symmetry :
147.80/148.37 c #affected vars : 460 (460 bin, 0 int, 0 cont)
147.80/148.37 c orbitopal red. : 0 reductions applied, 0 cutoffs
147.80/148.37 c orbital reduction: 0 reductions applied, 0 cutoffs
147.80/148.37 c lexicographic red: 0 reductions applied, 0 cutoffs
147.80/148.37 c shadow tree time : 0.02 s
147.80/148.37 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
147.80/148.37 c propagation : 0.13 5426 4855 - 26471 19.9 89 16.6 - - -
147.80/148.37 c infeasible LP : 0.93 5239 5209 - 48555 29.9 11 9.9 5175 48.6 0
147.80/148.37 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
147.80/148.37 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
147.80/148.37 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
147.80/148.37 c applied globally : 0.15 - - 0 23353 22.8 - - 4829 - -
147.80/148.37 c applied locally : - - - 0 317 26.5 - - 346 - -
147.80/148.37 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
147.80/148.37 c cut pool : 2.55 - 2297 42 - - 46142 64956 - - - - - (maximal pool size: 4574)
147.80/148.37 c aggregation : 0.53 0.00 1246 22 0 0 10 504 2 175 174 1 0
147.80/148.37 c > cmir : - - - - - - - 504 2 175 174 1 -
147.80/148.37 c > flowcover : - - - - - - - 0 0 0 0 0 -
147.80/148.37 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
147.80/148.37 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c clique : 0.02 0.00 22 22 0 0 48 187 0 75 75 0 0
147.80/148.37 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c gomory : 25.37 0.00 1244 20 0 0 63612 56729 17965 3143 2869 274 0
147.80/148.37 c > gomorymi : - - - - - - - 23795 9074 609 392 217 -
147.80/148.37 c > strongcg : - - - - - - - 32934 8891 2534 2477 57 -
147.80/148.37 c impliedbounds : 0.05 0.00 1246 22 0 2 0 0 0 0 0 0 0
147.80/148.37 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
147.80/148.37 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c multilinear : 0.00 0.00 1513 22 0 0 0 0 0 0 0 0 0
147.80/148.37 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
147.80/148.37 c rapidlearning : 6.37 0.00 55 2 0 769 0 0 0 0 0 0 652
147.80/148.37 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
147.80/148.37 c zerohalf : 3.42 0.00 1246 22 0 0 2944 7536 2505 4528 2769 1759 0
147.80/148.37 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
147.80/148.37 c hybrid : 0.16 0.00 1247 22 7895 55 77601 118 0 5480
147.80/148.37 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c Pricers : ExecTime SetupTime Calls Vars
147.80/148.37 c problem variables: 0.00 - 0 0
147.80/148.37 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
147.80/148.37 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c random : 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c relpscost : 1.26 0.00 11738 0 0 0 0 0 0 23476
147.80/148.37 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
147.80/148.37 c Primal Heuristics : ExecTime SetupTime Calls Found Best
147.80/148.37 c LP solutions : 0.00 - - 0 0
147.80/148.37 c relax solutions : 0.00 - - 0 0
147.80/148.37 c pseudo solutions : 0.00 - - 0 0
147.80/148.37 c strong branching : 0.00 - - 0 0
147.80/148.37 c actconsdiving : 0.00 0.00 0 0 0
147.80/148.37 c adaptivediving : 0.98 0.00 27 0 0
147.80/148.37 c alns : 0.04 0.00 4 0 0
147.80/148.37 c bound : 0.00 0.00 0 0 0
147.80/148.37 c clique : 0.00 0.00 1 0 0
147.80/148.37 c coefdiving : 0.00 0.00 0 0 0
147.80/148.37 c completesol : 0.00 0.00 0 0 0
147.80/148.37 c conflictdiving : 0.73 0.00 25 0 0
147.80/148.37 c crossover : 0.00 0.00 0 0 0
147.80/148.37 c dins : 0.00 0.00 0 0 0
147.80/148.37 c distributiondivin: 2.38 0.00 25 0 0
147.80/148.37 c dks : 0.00 0.00 0 0 0
147.80/148.37 c dps : 0.00 0.00 0 0 0
147.80/148.37 c dualval : 0.00 0.00 0 0 0
147.80/148.37 c farkasdiving : 0.00 0.00 0 0 0
147.80/148.37 c feaspump : 0.73 0.00 4 0 0
147.80/148.37 c fixandinfer : 0.00 0.00 0 0 0
147.80/148.37 c fracdiving : 0.99 0.00 25 0 0
147.80/148.37 c gins : 0.00 0.00 0 0 0
147.80/148.37 c guideddiving : 0.00 0.00 0 0 0
147.80/148.37 c indicator : 0.00 0.00 0 0 0
147.80/148.37 c indicatordiving : 0.00 0.00 0 0 0
147.80/148.37 c intdiving : 0.00 0.00 0 0 0
147.80/148.37 c intshifting : 0.00 0.00 0 0 0
147.80/148.37 c linesearchdiving : 0.88 0.00 25 0 0
147.80/148.37 c localbranching : 0.00 0.00 0 0 0
147.80/148.37 c locks : 0.00 0.00 1 0 0
147.80/148.37 c lpface : 0.02 0.00 0 0 0
147.80/148.37 c mpec : 0.00 0.00 0 0 0
147.80/148.37 c multistart : 0.00 0.00 0 0 0
147.80/148.37 c mutation : 0.00 0.00 0 0 0
147.80/148.37 c nlpdiving : 0.00 0.00 0 0 0
147.80/148.37 c objpscostdiving : 3.12 0.00 7 0 0
147.80/148.37 c octane : 0.00 0.00 0 0 0
147.80/148.37 c ofins : 0.00 0.00 0 0 0
147.80/148.37 c oneopt : 0.00 0.00 0 0 0
147.80/148.37 c padm : 0.00 0.00 0 0 0
147.80/148.37 c proximity : 0.00 0.00 0 0 0
147.80/148.37 c pscostdiving : 0.91 0.00 25 0 0
147.80/148.37 c randrounding : 0.05 0.00 34 0 0
147.80/148.37 c rens : 0.00 0.00 0 0 0
147.80/148.37 c reoptsols : 0.00 0.00 0 0 0
147.80/148.37 c repair : 0.00 0.00 0 0 0
147.80/148.37 c rins : 0.00 0.00 0 0 0
147.80/148.37 c rootsoldiving : 0.99 0.00 13 0 0
147.80/148.37 c rounding : 0.13 0.00 1562 0 0
147.80/148.37 c scheduler : 0.00 0.00 0 0 0
147.80/148.37 c shiftandpropagate: 0.01 0.00 2 0 0
147.80/148.37 c shifting : 0.27 0.00 541 0 0
147.80/148.37 c simplerounding : 0.00 0.00 0 0 0
147.80/148.37 c subnlp : 0.00 0.00 0 0 0
147.80/148.37 c trivial : 0.00 0.00 4 0 0
147.80/148.37 c trivialnegation : 0.00 0.00 0 0 0
147.80/148.37 c trustregion : 0.00 0.00 0 0 0
147.80/148.37 c trysol : 0.00 0.00 0 0 0
147.80/148.37 c twoopt : 0.00 0.00 0 0 0
147.80/148.37 c undercover : 0.00 0.00 0 0 0
147.80/148.37 c vbounds : 0.00 0.00 2 0 0
147.80/148.37 c veclendiving : 0.61 0.00 25 0 0
147.80/148.37 c zeroobj : 0.00 0.00 0 0 0
147.80/148.37 c zirounding : 0.04 0.00 1000 0 0
147.80/148.37 c other solutions : - - - 0 -
147.80/148.37 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
147.80/148.37 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
147.80/148.37 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
147.80/148.37 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
147.80/148.37 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
147.80/148.37 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
147.80/148.37 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
147.80/148.37 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
147.80/148.37 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
147.80/148.37 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
147.80/148.37 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
147.80/148.37 c primal LP : 0.18 614 0 0.00 0.00 0.18 614
147.80/148.37 c dual LP : 80.41 18148 2043582 112.77 25415.16 0.01 26
147.80/148.37 c lex dual LP : 0.00 0 0 0.00 -
147.80/148.37 c barrier LP : 0.00 0 0 0.00 - 0.00 0
147.80/148.37 c resolve instable : 0.00 0 0 0.00 -
147.80/148.37 c diving/probing LP: 10.21 926 131833 142.37 12906.20
147.80/148.37 c strong branching : 0.53 22 9320 423.64 17720.48 - - 0
147.80/148.37 c (at root node) : - 22 9320 423.64 -
147.80/148.37 c conflict analysis: 0.00 0 0 0.00 -
147.80/148.37 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
147.80/148.37 c benders : 0.00 0 0 0 0.00 0 0 0
147.80/148.37 c B&B Tree :
147.80/148.37 c number of runs : 2
147.80/148.37 c nodes : 20806 (11014 internal, 9792 leaves)
147.80/148.37 c feasible leaves : 0
147.80/148.37 c infeas. leaves : 9792
147.80/148.37 c objective leaves : 0
147.80/148.37 c nodes (total) : 22106 (11738 internal, 10368 leaves)
147.80/148.37 c nodes left : 0
147.80/148.37 c max depth : 20
147.80/148.37 c max depth (total): 20
147.80/148.37 c backtracks : 4384 (21.1%)
147.80/148.37 c early backtracks : 0 (0.0%)
147.80/148.37 c nodes exc. ref. : 0 (0.0%)
147.80/148.37 c delayed cutoffs : 1223
147.80/148.37 c repropagations : 11340 (295872 domain reductions, 1206 cutoffs)
147.80/148.37 c avg switch length: 3.08
147.80/148.37 c switching time : 3.86
147.80/148.37 c Root Node :
147.80/148.37 c First LP value : +0.00000000000000e+00
147.80/148.37 c First LP Iters : 681 (32771.90 Iter/sec)
147.80/148.37 c First LP Time : 0.02
147.80/148.37 c Final Dual Bound : -
147.80/148.37 c Final Root Iters : 12542
147.80/148.37 c Root LP Estimate : +3.12551345892592e-02
147.80/148.37 c Solution :
147.80/148.37 c Solutions found : 0 (0 improvements)
147.80/148.37 c Primal Bound : infeasible
147.80/148.37 c Dual Bound : -
147.80/148.37 c Gap : 0.00 %
147.80/148.37 c Integrals : Total Avg%
147.80/148.37 c primal-dual : - - (problem infeasible)
147.80/148.37 c primal-ref : - - (problem infeasible)
147.80/148.37 c dual-ref : - - (problem infeasible)
147.90/148.43 c Time complete (sec): 147.946