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-4495039-1751149996.opb>
0.00/0.00 c original problem has 231 variables (231 bin, 0 int, 0 cont) and 2707 constraints
0.00/0.00 c problem read in 0.005 seconds
0.00/0.00 c problem without objective
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.02 c (round 1, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.02 c (round 2, exhaustive) 0 del vars, 187 del conss, 0 add conss, 0 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.02 c (round 3, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 4, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 5, exhaustive) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (0.0s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 1.04) (symcode time: 0.00)
0.00/0.04 c dynamic symmetry handling statistics:
0.00/0.04 c orbitopal reduction: no components
0.00/0.04 c orbital reduction: 1 components of sizes 1
0.00/0.04 c lexicographic reduction: 1 permutations with support sizes 121
0.00/0.04 c handled 1 out of 1 symmetry components
0.00/0.04 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.04 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 143 cliques
0.00/0.04 c presolved problem has 231 variables (231 bin, 0 int, 0 cont) and 2443 constraints
0.00/0.04 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.04 c 1 constraints of type <knapsack>
0.00/0.04 c 22 constraints of type <setppc>
0.00/0.04 c 2420 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.04
0.00/0.04 c
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c
0.00/0.04 c # SCIP version 10.0.0
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.04 c limits/time = 3596.998414
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.04 c limits/memory = 27900
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 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.04 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.04 c reading/opbreader/maxintsize = 47
0.00/0.04 c
0.00/0.04 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.04 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.04 c propagating/genvbounds/timingmask = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c
0.00/0.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.05 c 0.1s| 1 | 0 | 95 | - | 12M | 0 | 231 |2463 |2443 | 0 | 0 | 19 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.17 c 0.2s| 1 | 0 | 1385 | - | 14M | 0 | 231 |2464 |2445 | 2 | 1 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.23 c 0.2s| 1 | 0 | 1401 | - | 16M | 0 | 231 |2466 |2448 | 5 | 2 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.27 c 0.3s| 1 | 0 | 1423 | - | 19M | 0 | 231 |2467 |2452 | 9 | 3 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.35 c 0.4s| 1 | 0 | 1442 | - | 23M | 0 | 231 |2469 |2455 | 12 | 4 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.43 c 0.4s| 1 | 0 | 1458 | - | 27M | 0 | 231 |2469 |2459 | 16 | 5 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.51 c 0.5s| 1 | 0 | 1476 | - | 33M | 0 | 231 |2470 |2461 | 18 | 6 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.59 c 0.6s| 1 | 0 | 1494 | - | 36M | 0 | 231 |2472 |2465 | 22 | 7 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.63 c 0.6s| 1 | 0 | 1513 | - | 39M | 0 | 231 |2474 |2470 | 27 | 8 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.68 c 0.7s| 1 | 0 | 1530 | - | 42M | 0 | 231 |2476 |2473 | 30 | 9 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.75 c 0.7s| 1 | 0 | 1557 | - | 46M | 0 | 231 |2480 |2475 | 32 | 10 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.75 c 0.8s| 1 | 0 | 1561 | - | 46M | 0 | 231 |2481 |2477 | 34 | 11 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.83 c 0.8s| 1 | 2 | 1852 | - | 46M | 0 | 231 |2492 |2477 | 34 | 11 | 48 | 19 | 0.000000e+00 | -- | Inf | unknown
1.29/1.31 c 1.3s| 100 | 12 | 3927 | 23.9 | 51M | 20 | 231 |2598 | 0 | 65 | 0 | 156 | 19 | 0.000000e+00 | -- | Inf | 63.13%
1.49/1.53 c 1.5s| 200 | 18 | 5066 | 17.6 | 56M | 20 | 231 |2677 |2449 | 93 | 0 | 235 | 19 | 0.000000e+00 | -- | Inf | 63.67%
1.58/1.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.58/1.67 c 1.7s| 300 | 14 | 6237 | 15.6 | 56M | 20 | 231 |2738 |2449 | 99 | 0 | 296 | 19 | 0.000000e+00 | -- | Inf | 63.85%
1.68/1.78 c 1.8s| 400 | 16 | 7379 | 14.6 | 56M | 20 | 231 |2803 |2449 | 99 | 1 | 361 | 19 | 0.000000e+00 | -- | Inf | 63.98%
1.88/2.00 c 2.0s| 500 | 14 | 8516 | 13.9 | 56M | 20 | 231 |2886 |2450 | 101 | 1 | 447 | 19 | 0.000000e+00 | -- | Inf | 64.04%
2.28/2.37 c 2.4s| 600 | 11 | 9697 | 13.6 | 57M | 20 | 231 |2976 |2448 | 108 | 1 | 544 | 19 | 0.000000e+00 | -- | Inf | 67.55%
2.48/2.53 c 2.5s| 700 | 14 | 10769 | 13.2 | 61M | 20 | 231 |3034 |2450 | 124 | 1 | 605 | 19 | 0.000000e+00 | -- | Inf | 68.36%
2.68/2.78 c 2.8s| 800 | 13 | 11966 | 13.0 | 63M | 20 | 231 |3094 |2449 | 144 | 0 | 667 | 19 | 0.000000e+00 | -- | Inf | 69.09%
2.88/2.94 c 2.9s| 900 | 16 | 12854 | 12.6 | 65M | 20 | 231 |3166 |2450 | 158 | 1 | 740 | 19 | 0.000000e+00 | -- | Inf | 69.30%
3.27/3.37 c 3.4s| 1000 | 19 | 13979 | 12.4 | 65M | 20 | 231 |3216 |2448 | 183 | 1 | 795 | 19 | 0.000000e+00 | -- | Inf | 70.33%
3.47/3.56 c 3.6s| 1100 | 18 | 15267 | 12.5 | 65M | 20 | 231 |3287 |2450 | 193 | 1 | 871 | 19 | 0.000000e+00 | -- | Inf | 70.84%
3.88/3.91 c 3.9s| 1200 | 16 | 16641 | 12.6 | 65M | 20 | 231 |3368 |2450 | 218 | 0 | 958 | 19 | 0.000000e+00 | -- | Inf | 75.31%
4.18/4.20 c 4.2s| 1300 | 18 | 17757 | 12.5 | 65M | 20 | 231 |3419 |2449 | 261 | 1 |1013 | 19 | 0.000000e+00 | -- | Inf | 78.93%
4.28/4.37 c 4.4s| 1400 | 20 | 19030 | 12.5 | 65M | 20 | 231 |3473 |2449 | 269 | 1 |1077 | 19 | 0.000000e+00 | -- | Inf | 79.09%
4.48/4.57 c 4.6s| 1500 | 18 | 20162 | 12.4 | 65M | 20 | 231 |3529 |2449 | 300 | 1 |1140 | 19 | 0.000000e+00 | -- | Inf | 79.34%
4.68/4.74 c 4.7s| 1600 | 16 | 21479 | 12.5 | 65M | 20 | 231 |3602 |2449 | 302 | 0 |1221 | 19 | 0.000000e+00 | -- | Inf | 79.39%
4.98/5.09 c 5.1s| 1700 | 28 | 23008 | 12.6 | 65M | 20 | 231 |3637 |2450 | 337 | 0 |1266 | 19 | 0.000000e+00 | -- | Inf | 80.41%
5.18/5.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.18/5.29 c 5.3s| 1800 | 28 | 24040 | 12.5 | 65M | 20 | 231 |3695 |2451 | 351 | 1 |1328 | 19 | 0.000000e+00 | -- | Inf | 80.60%
5.38/5.41 c 5.4s| 1900 | 28 | 25306 | 12.5 | 65M | 20 | 231 |3741 |2450 | 351 | 1 |1382 | 19 | 0.000000e+00 | -- | Inf | 80.68%
5.67/5.70 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
5.67/5.73 c (run 1, node 1962) performing user restart
5.67/5.73 c
5.67/5.73 c (restart) converted 2 cuts from the global cut pool into linear constraints
5.67/5.73 c
5.67/5.74 c presolving:
5.67/5.74 c (round 1, fast) 21 del vars, 626 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 365 chg coeffs, 0 upgd conss, 0 impls, 320 clqs
5.67/5.74 c (round 2, medium) 31 del vars, 626 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 365 chg coeffs, 0 upgd conss, 0 impls, 302 clqs
5.67/5.74 c (round 3, fast) 31 del vars, 646 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 393 chg coeffs, 0 upgd conss, 0 impls, 302 clqs
5.67/5.74 c (round 4, exhaustive) 31 del vars, 647 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 393 chg coeffs, 2 upgd conss, 0 impls, 302 clqs
5.67/5.75 c (round 5, exhaustive) 31 del vars, 880 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 969 chg coeffs, 2 upgd conss, 0 impls, 302 clqs
5.67/5.76 c (round 6, exhaustive) 31 del vars, 918 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 990 chg coeffs, 2 upgd conss, 0 impls, 302 clqs
5.67/5.76 c (round 7, exhaustive) 31 del vars, 922 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 990 chg coeffs, 2 upgd conss, 0 impls, 302 clqs
5.67/5.77 c (round 8, exhaustive) 31 del vars, 922 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1018 chg coeffs, 2 upgd conss, 0 impls, 302 clqs
5.67/5.78 c presolving (9 rounds: 9 fast, 7 medium, 6 exhaustive):
5.67/5.78 c 31 deleted vars, 922 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1018 changed coefficients
5.67/5.78 c 0 implications, 302 cliques
5.67/5.78 c presolved problem has 200 variables (200 bin, 0 int, 0 cont) and 2854 constraints
5.67/5.78 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
5.67/5.78 c 4 constraints of type <knapsack>
5.67/5.78 c 20 constraints of type <setppc>
5.67/5.78 c 1 constraints of type <linear>
5.67/5.78 c 2829 constraints of type <logicor>
5.67/5.78 c transformed objective value is always integral (scale: 1)
5.67/5.78 c Presolving Time: 0.08
5.67/5.78 c
5.67/5.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.67/5.78 c 5.8s| 1 | 0 | 26167 | - | 63M | 0 | 200 |2905 |1833 | 0 | 0 |1470 | 19 | 0.000000e+00 | -- | Inf | unknown
5.77/5.89 c 5.9s| 1 | 0 | 26180 | - | 63M | 0 | 200 |3011 |1838 | 5 | 1 |1474 | 19 | 0.000000e+00 | -- | Inf | unknown
5.87/5.95 c 5.9s| 1 | 0 | 26195 | - | 64M | 0 | 200 |3015 |1842 | 9 | 2 |1478 | 19 | 0.000000e+00 | -- | Inf | unknown
5.87/6.00 c 6.0s| 1 | 0 | 26204 | - | 64M | 0 | 200 |3018 |1846 | 13 | 3 |1481 | 19 | 0.000000e+00 | -- | Inf | unknown
5.98/6.05 c 6.1s| 1 | 0 | 26226 | - | 64M | 0 | 200 |3018 |1849 | 16 | 4 |1481 | 19 | 0.000000e+00 | -- | Inf | unknown
6.08/6.10 c 6.1s| 1 | 0 | 26253 | - | 64M | 0 | 200 |3023 |1854 | 21 | 5 |1486 | 19 | 0.000000e+00 | -- | Inf | unknown
6.08/6.15 c 6.1s| 1 | 0 | 26268 | - | 64M | 0 | 200 |3025 |1857 | 24 | 6 |1488 | 19 | 0.000000e+00 | -- | Inf | unknown
6.08/6.20 c 6.2s| 1 | 0 | 26278 | - | 65M | 0 | 200 |3026 |1858 | 25 | 7 |1489 | 19 | 0.000000e+00 | -- | Inf | unknown
6.17/6.24 c 6.2s| 1 | 0 | 26300 | - | 65M | 0 | 200 |3028 |1859 | 26 | 8 |1491 | 19 | 0.000000e+00 | -- | Inf | unknown
6.17/6.29 c 6.3s| 1 | 0 | 26332 | - | 65M | 0 | 200 |3029 |1863 | 30 | 9 |1492 | 19 | 0.000000e+00 | -- | Inf | unknown
6.27/6.33 c 6.3s| 1 | 0 | 26348 | - | 65M | 0 | 200 |3030 |1865 | 33 | 10 |1493 | 19 | 0.000000e+00 | -- | Inf | unknown
6.27/6.34 c 6.3s| 1 | 0 | 26358 | - | 65M | 0 | 200 |3032 |1867 | 35 | 11 |1495 | 19 | 0.000000e+00 | -- | Inf | unknown
6.27/6.35 c 6.3s| 1 | 0 | 26362 | - | 66M | 0 | 200 |3036 |1869 | 37 | 12 |1499 | 19 | 0.000000e+00 | -- | Inf | unknown
6.27/6.40 c 6.4s| 1 | 2 | 26533 | - | 66M | 0 | 200 |3043 |1869 | 37 | 12 |1506 | 29 | 0.000000e+00 | -- | Inf | unknown
6.87/6.94 c 6.9s| 100 | 17 | 28320 | 12.9 | 69M | 19 | 200 |3099 |1843 | 73 | 1 |1563 | 29 | 0.000000e+00 | -- | Inf | 3.85%
7.07/7.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.07/7.11 c 7.1s| 200 | 22 | 29710 | 12.9 | 71M | 19 | 200 |3168 |1843 | 96 | 0 |1638 | 29 | 0.000000e+00 | -- | Inf | 4.57%
7.17/7.26 c 7.3s| 300 | 20 | 31118 | 13.0 | 71M | 20 | 200 |3219 |1839 | 98 | 1 |1701 | 29 | 0.000000e+00 | -- | Inf | 7.81%
7.46/7.50 c 7.5s| 400 | 26 | 32710 | 13.1 | 72M | 20 | 200 |3271 |1844 | 128 | 0 |1765 | 29 | 0.000000e+00 | -- | Inf | 14.64%
7.66/7.70 c 7.7s| 500 | 30 | 34018 | 13.1 | 73M | 20 | 200 |3318 |1842 | 159 | 1 |1825 | 29 | 0.000000e+00 | -- | Inf | 14.91%
8.16/8.21 c 8.2s| 600 | 31 | 35341 | 13.1 | 74M | 20 | 200 |3346 |1844 | 213 | 0 |1885 | 29 | 0.000000e+00 | -- | Inf | 26.70%
8.36/8.42 c 8.4s| 700 | 29 | 36467 | 13.0 | 74M | 20 | 200 |3376 |1839 | 243 | 1 |1933 | 29 | 0.000000e+00 | -- | Inf | 27.40%
8.56/8.64 c 8.6s| 800 | 34 | 38057 | 13.1 | 74M | 23 | 200 |3430 |1844 | 277 | 1 |2002 | 29 | 0.000000e+00 | -- | Inf | 28.78%
8.66/8.70 c 8.7s| 900 | 31 | 38918 | 13.0 | 74M | 24 | 200 |3501 |1844 | 277 | 0 |2086 | 29 | 0.000000e+00 | -- | Inf | 28.84%
8.76/8.85 c 8.9s| 1000 | 31 | 40220 | 13.0 | 74M | 24 | 200 |3554 |1842 | 291 | 0 |2168 | 29 | 0.000000e+00 | -- | Inf | 29.11%
8.96/9.08 c 9.1s| 1100 | 31 | 41514 | 13.0 | 74M | 24 | 200 |3599 |1842 | 320 | 0 |2233 | 29 | 0.000000e+00 | -- | Inf | 30.04%
9.15/9.25 c 9.3s| 1200 | 30 | 42791 | 13.0 | 74M | 24 | 200 |3645 |1841 | 343 | 1 |2303 | 29 | 0.000000e+00 | -- | Inf | 30.41%
9.25/9.36 c 9.4s| 1300 | 31 | 44016 | 12.9 | 74M | 24 | 200 |3694 |1839 | 357 | 1 |2374 | 29 | 0.000000e+00 | -- | Inf | 30.57%
9.45/9.50 c 9.5s| 1400 | 35 | 45150 | 12.9 | 74M | 24 | 200 |3727 |1844 | 375 | 0 |2436 | 29 | 0.000000e+00 | -- | Inf | 30.89%
9.45/9.58 c 9.6s| 1500 | 39 | 46382 | 12.9 | 74M | 24 | 200 |3787 |1844 | 375 | 1 |2516 | 29 | 0.000000e+00 | -- | Inf | 30.91%
9.55/9.66 c 9.7s| 1600 | 35 | 47639 | 12.9 | 74M | 24 | 200 |3831 |1844 | 377 | 0 |2586 | 29 | 0.000000e+00 | -- | Inf | 30.93%
9.65/9.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.65/9.74 c 9.7s| 1700 | 37 | 48532 | 12.8 | 74M | 26 | 200 |3855 |1844 | 377 | 1 |2639 | 29 | 0.000000e+00 | -- | Inf | 30.93%
9.75/9.82 c 9.8s| 1800 | 33 | 49656 | 12.7 | 75M | 28 | 200 |3883 |1844 | 377 | 0 |2687 | 29 | 0.000000e+00 | -- | Inf | 30.93%
9.85/9.90 c 9.9s| 1900 | 33 | 50893 | 12.7 | 75M | 30 | 200 |3934 |1842 | 377 | 1 |2752 | 29 | 0.000000e+00 | -- | Inf | 30.97%
9.85/9.99 c 10.0s| 2000 | 29 | 52129 | 12.7 | 75M | 30 | 200 |3990 |1841 | 385 | 1 |2827 | 29 | 0.000000e+00 | -- | Inf | 31.08%
10.06/10.12 c 10.1s| 2100 | 27 | 53172 | 12.6 | 75M | 30 | 200 |4052 |1843 | 397 | 1 |2902 | 29 | 0.000000e+00 | -- | Inf | 31.25%
10.15/10.21 c 10.2s| 2200 | 29 | 54140 | 12.6 | 75M | 30 | 200 |4154 |1843 | 404 | 1 |3009 | 29 | 0.000000e+00 | -- | Inf | 31.35%
10.15/10.28 c 10.3s| 2300 | 29 | 55062 | 12.5 | 75M | 30 | 200 |4248 |1843 | 406 | 0 |3111 | 29 | 0.000000e+00 | -- | Inf | 31.38%
10.25/10.35 c 10.4s| 2400 | 33 | 56092 | 12.4 | 75M | 30 | 200 |4352 |1843 | 408 | 1 |3222 | 29 | 0.000000e+00 | -- | Inf | 31.39%
10.35/10.47 c 10.5s| 2500 | 29 | 57218 | 12.4 | 75M | 30 | 200 |4410 |1843 | 421 | 0 |3287 | 29 | 0.000000e+00 | -- | Inf | 31.42%
10.45/10.54 c 10.5s| 2600 | 30 | 58388 | 12.4 | 75M | 30 | 200 |4460 |1843 | 422 | 0 |3346 | 29 | 0.000000e+00 | -- | Inf | 31.47%
10.55/10.61 c 10.6s| 2700 | 30 | 59403 | 12.4 | 75M | 30 | 200 |4530 | 0 | 424 | 0 |3421 | 29 | 0.000000e+00 | -- | Inf | 31.54%
10.65/10.74 c 10.7s| 2800 | 30 | 60734 | 12.4 | 75M | 30 | 200 |4579 |1842 | 440 | 0 |3482 | 29 | 0.000000e+00 | -- | Inf | 33.32%
10.75/10.88 c 10.9s| 2900 | 24 | 61995 | 12.4 | 75M | 30 | 200 |4630 |1843 | 451 | 0 |3545 | 29 | 0.000000e+00 | -- | Inf | 34.15%
10.95/11.00 c 11.0s| 3000 | 28 | 63393 | 12.4 | 75M | 30 | 200 |4674 |1840 | 462 | 1 |3615 | 29 | 0.000000e+00 | -- | Inf | 36.72%
10.95/11.09 c 11.1s| 3100 | 28 | 64911 | 12.5 | 75M | 30 | 200 |4742 |1840 | 462 | 1 |3700 | 29 | 0.000000e+00 | -- | Inf | 36.74%
11.25/11.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.25/11.35 c 11.3s| 3200 | 27 | 66140 | 12.5 | 75M | 30 | 200 |4774 |1842 | 511 | 1 |3753 | 29 | 0.000000e+00 | -- | Inf | 40.18%
11.35/11.42 c 11.4s| 3300 | 27 | 67257 | 12.4 | 75M | 30 | 200 |4806 |1839 | 511 | 1 |3802 | 29 | 0.000000e+00 | -- | Inf | 43.08%
11.75/11.80 c 11.8s| 3400 | 25 | 68688 | 12.5 | 75M | 30 | 200 |4844 |1844 | 552 | 0 |3854 | 29 | 0.000000e+00 | -- | Inf | 46.65%
11.85/11.97 c 12.0s| 3500 | 25 | 70017 | 12.5 | 75M | 30 | 200 |4880 |1844 | 563 | 0 |3909 | 29 | 0.000000e+00 | -- | Inf | 48.25%
12.14/12.23 c 12.2s| 3600 | 25 | 71379 | 12.5 | 75M | 30 | 200 |4905 |1840 | 599 | 1 |3963 | 29 | 0.000000e+00 | -- | Inf | 52.15%
12.44/12.57 c 12.6s| 3700 | 25 | 72864 | 12.5 | 75M | 30 | 200 |4940 |1842 | 649 | 1 |4020 | 29 | 0.000000e+00 | -- | Inf | 55.72%
12.54/12.65 c 12.7s| 3800 | 23 | 74039 | 12.5 | 75M | 30 | 200 |5015 |1842 | 649 | 0 |4106 | 29 | 0.000000e+00 | -- | Inf | 55.77%
12.64/12.73 c 12.7s| 3900 | 25 | 74985 | 12.5 | 75M | 30 | 200 |5079 |1843 | 653 | 1 |4182 | 29 | 0.000000e+00 | -- | Inf | 55.79%
12.74/12.81 c 12.8s| 4000 | 24 | 76135 | 12.5 | 75M | 30 | 200 |5139 |1843 | 655 | 0 |4249 | 29 | 0.000000e+00 | -- | Inf | 55.80%
12.84/12.91 c 12.9s| 4100 | 20 | 77394 | 12.5 | 75M | 30 | 200 |5203 |1839 | 666 | 1 |4325 | 29 | 0.000000e+00 | -- | Inf | 55.93%
13.05/13.19 c 13.2s| 4200 | 22 | 78621 | 12.5 | 75M | 30 | 200 |5250 |1844 | 713 | 1 |4387 | 29 | 0.000000e+00 | -- | Inf | 59.88%
13.24/13.30 c 13.3s| 4300 | 18 | 79988 | 12.5 | 75M | 30 | 200 |5307 |1841 | 722 | 0 |4460 | 29 | 0.000000e+00 | -- | Inf | 60.26%
13.34/13.41 c 13.4s| 4400 | 22 | 81311 | 12.5 | 75M | 30 | 200 |5357 |1844 | 733 | 1 |4519 | 29 | 0.000000e+00 | -- | Inf | 60.35%
13.44/13.50 c 13.5s| 4500 | 18 | 82716 | 12.5 | 75M | 30 | 200 |5408 |1844 | 733 | 1 |4578 | 29 | 0.000000e+00 | -- | Inf | 60.39%
13.54/13.68 c 13.7s| 4600 | 16 | 84203 | 12.6 | 75M | 30 | 200 |5452 |1843 | 739 | 0 |4642 | 29 | 0.000000e+00 | -- | Inf | 60.59%
13.65/13.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.65/13.77 c 13.8s| 4700 | 16 | 85506 | 12.6 | 75M | 30 | 200 |5513 |1843 | 745 | 1 |4714 | 29 | 0.000000e+00 | -- | Inf | 60.60%
13.75/13.85 c 13.8s| 4800 | 16 | 86733 | 12.6 | 75M | 30 | 200 |5578 |1843 | 746 | 1 |4788 | 29 | 0.000000e+00 | -- | Inf | 60.60%
13.85/13.94 c 13.9s| 4900 | 15 | 88127 | 12.6 | 75M | 30 | 200 |5654 |1843 | 758 | 1 |4866 | 29 | 0.000000e+00 | -- | Inf | 60.60%
13.95/14.06 c 14.1s| 5000 | 16 | 89476 | 12.6 | 75M | 30 | 200 |5701 |1841 | 768 | 1 |4943 | 29 | 0.000000e+00 | -- | Inf | 60.74%
14.25/14.38 c 14.4s| 5100 | 16 | 90700 | 12.6 | 75M | 30 | 200 |5747 |1844 | 815 | 1 |5014 | 29 | 0.000000e+00 | -- | Inf | 62.94%
14.44/14.53 c 14.5s| 5200 | 16 | 92122 | 12.6 | 76M | 30 | 200 |5784 |1845 | 836 | 0 |5071 | 29 | 0.000000e+00 | -- | Inf | 63.64%
14.54/14.66 c 14.7s| 5300 | 16 | 93545 | 12.6 | 76M | 30 | 200 |5836 |1845 | 849 | 1 |5145 | 29 | 0.000000e+00 | -- | Inf | 63.81%
14.64/14.73 c 14.7s| 5400 | 14 | 94669 | 12.6 | 76M | 30 | 200 |5902 |1843 | 849 | 0 |5221 | 29 | 0.000000e+00 | -- | Inf | 63.87%
14.74/14.82 c 14.8s| 5500 | 14 | 95857 | 12.6 | 76M | 30 | 200 |5972 |1843 | 849 | 0 |5301 | 29 | 0.000000e+00 | -- | Inf | 63.88%
14.84/14.94 c 14.9s| 5600 | 14 | 97109 | 12.6 | 76M | 30 | 200 |6021 |1840 | 860 | 1 |5385 | 29 | 0.000000e+00 | -- | Inf | 64.56%
14.95/15.09 c 15.1s| 5700 | 21 | 98279 | 12.6 | 76M | 30 | 200 |6049 |1841 | 878 | 1 |5446 | 29 | 0.000000e+00 | -- | Inf | 64.97%
15.05/15.17 c 15.2s| 5800 | 14 | 99271 | 12.6 | 76M | 30 | 200 |6117 |1845 | 879 | 1 |5542 | 29 | 0.000000e+00 | -- | Inf | 65.06%
15.14/15.28 c 15.3s| 5900 | 14 |100661 | 12.6 | 76M | 30 | 200 |6168 |1841 | 890 | 1 |5618 | 29 | 0.000000e+00 | -- | Inf | 65.25%
15.24/15.37 c 15.4s| 6000 | 13 |101861 | 12.6 | 76M | 30 | 200 |6233 |1842 | 896 | 0 |5694 | 29 | 0.000000e+00 | -- | Inf | 65.28%
15.34/15.46 c 15.5s| 6100 | 13 |102975 | 12.5 | 76M | 30 | 200 |6301 |1841 | 900 | 1 |5783 | 29 | 0.000000e+00 | -- | Inf | 65.39%
15.44/15.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.44/15.57 c 15.6s| 6200 | 19 |104423 | 12.6 | 76M | 30 | 200 |6340 |1844 | 907 | 1 |5837 | 29 | 0.000000e+00 | -- | Inf | 65.47%
15.54/15.65 c 15.7s| 6300 | 13 |105547 | 12.6 | 76M | 30 | 200 |6401 |1844 | 908 | 0 |5915 | 29 | 0.000000e+00 | -- | Inf | 65.49%
15.64/15.75 c 15.8s| 6400 | 13 |107190 | 12.6 | 76M | 30 | 200 |6465 |1844 | 908 | 1 |5986 | 29 | 0.000000e+00 | -- | Inf | 65.49%
15.84/15.97 c 16.0s| 6500 | 13 |108569 | 12.6 | 76M | 30 | 200 |6506 |1844 | 930 | 0 |6060 | 29 | 0.000000e+00 | -- | Inf | 67.15%
16.04/16.11 c 16.1s| 6600 | 13 |109585 | 12.6 | 76M | 30 | 200 |6545 |1843 | 947 | 1 |6116 | 29 | 0.000000e+00 | -- | Inf | 67.49%
16.14/16.25 c 16.3s| 6700 | 14 |110764 | 12.6 | 76M | 30 | 200 |6596 |1844 | 960 | 1 |6174 | 29 | 0.000000e+00 | -- | Inf | 67.71%
16.34/16.47 c 16.5s| 6800 | 16 |112201 | 12.6 | 76M | 30 | 200 |6631 |1841 | 991 | 1 |6228 | 29 | 0.000000e+00 | -- | Inf | 67.95%
16.44/16.57 c 16.6s| 6900 | 16 |113356 | 12.6 | 76M | 30 | 200 |6683 |1843 | 997 | 1 |6291 | 29 | 0.000000e+00 | -- | Inf | 68.08%
16.54/16.65 c 16.7s| 7000 | 18 |114609 | 12.6 | 76M | 30 | 200 |6746 |1843 | 997 | 1 |6357 | 29 | 0.000000e+00 | -- | Inf | 68.09%
16.64/16.74 c 16.7s| 7100 | 20 |116118 | 12.6 | 76M | 30 | 200 |6790 |1843 | 999 | 0 |6408 | 29 | 0.000000e+00 | -- | Inf | 68.10%
16.74/16.82 c 16.8s| 7200 | 14 |117384 | 12.6 | 76M | 30 | 200 |6838 |1841 |1000 | 0 |6467 | 29 | 0.000000e+00 | -- | Inf | 68.11%
16.84/16.91 c 16.9s| 7300 | 10 |118734 | 12.6 | 76M | 30 | 200 |6891 |1844 |1000 | 0 |6523 | 29 | 0.000000e+00 | -- | Inf | 68.22%
16.94/17.03 c 17.0s| 7400 | 14 |119993 | 12.6 | 76M | 30 | 200 |6925 |1845 |1020 | 1 |6581 | 29 | 0.000000e+00 | -- | Inf | 68.39%
17.04/17.13 c 17.1s| 7500 | 14 |121251 | 12.6 | 76M | 30 | 200 |6984 |1842 |1026 | 1 |6651 | 29 | 0.000000e+00 | -- | Inf | 68.46%
17.13/17.21 c 17.2s| 7600 | 15 |122462 | 12.6 | 76M | 30 | 200 |7073 |1842 |1026 | 1 |6745 | 29 | 0.000000e+00 | -- | Inf | 68.50%
17.13/17.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.13/17.29 c 17.3s| 7700 | 14 |123553 | 12.6 | 76M | 30 | 200 |7149 |1842 |1027 | 0 |6826 | 29 | 0.000000e+00 | -- | Inf | 68.52%
17.23/17.37 c 17.4s| 7800 | 14 |124993 | 12.6 | 76M | 30 | 200 |7222 |1842 |1027 | 1 |6903 | 29 | 0.000000e+00 | -- | Inf | 68.52%
17.43/17.53 c 17.5s| 7900 | 13 |126319 | 12.6 | 76M | 30 | 200 |7302 |1843 |1045 | 0 |6999 | 29 | 0.000000e+00 | -- | Inf | 70.16%
17.53/17.62 c 17.6s| 8000 | 13 |127788 | 12.6 | 76M | 30 | 200 |7378 |1843 |1049 | 0 |7091 | 29 | 0.000000e+00 | -- | Inf | 70.18%
17.63/17.79 c 17.8s| 8100 | 12 |129539 | 12.7 | 77M | 30 | 200 |7406 |1839 |1067 | 0 |7159 | 29 | 0.000000e+00 | -- | Inf | 76.04%
17.94/18.03 c 18.0s| 8200 | 17 |131150 | 12.7 | 77M | 30 | 200 |7412 |1843 |1092 | 1 |7212 | 29 | 0.000000e+00 | -- | Inf | 76.47%
18.04/18.11 c 18.1s| 8300 | 16 |132398 | 12.7 | 77M | 30 | 200 |7507 |1843 |1092 | 1 |7322 | 29 | 0.000000e+00 | -- | Inf | 76.48%
18.04/18.18 c 18.2s| 8400 | 11 |133393 | 12.7 | 77M | 30 | 200 |7605 |1843 |1092 | 0 |7427 | 29 | 0.000000e+00 | -- | Inf | 76.48%
18.13/18.27 c 18.3s| 8500 | 13 |134697 | 12.7 | 77M | 30 | 200 |7672 |1843 |1095 | 0 |7503 | 29 | 0.000000e+00 | -- | Inf | 76.51%
18.23/18.36 c 18.4s| 8600 | 13 |136271 | 12.7 | 77M | 30 | 200 |7772 |1844 |1098 | 0 |7610 | 29 | 0.000000e+00 | -- | Inf | 76.51%
18.33/18.45 c 18.5s| 8700 | 15 |137755 | 12.7 | 77M | 30 | 200 |7847 |1843 |1098 | 1 |7695 | 29 | 0.000000e+00 | -- | Inf | 76.52%
18.43/18.55 c 18.5s| 8800 | 12 |139127 | 12.8 | 77M | 31 | 200 |7996 |1843 |1101 | 0 |7849 | 29 | 0.000000e+00 | -- | Inf | 76.52%
18.53/18.64 c 18.6s| 8900 | 12 |140711 | 12.8 | 77M | 31 | 200 |8088 |1843 |1103 | 0 |7947 | 29 | 0.000000e+00 | -- | Inf | 76.53%
18.73/18.85 c 18.9s| 9000 | 12 |142355 | 12.8 | 77M | 31 | 200 |8132 |1842 |1129 | 0 |8025 | 29 | 0.000000e+00 | -- | Inf | 78.85%
18.83/18.98 c 19.0s| 9100 | 14 |144047 | 12.9 | 77M | 31 | 200 |8170 |1842 |1146 | 0 |8102 | 29 | 0.000000e+00 | -- | Inf | 79.60%
18.93/19.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.93/19.07 c 19.1s| 9200 | 14 |145561 | 12.9 | 77M | 31 | 200 |8179 |1843 |1147 | 1 |8176 | 29 | 0.000000e+00 | -- | Inf | 79.65%
19.03/19.16 c 19.2s| 9300 | 13 |146952 | 12.9 | 77M | 31 | 200 |8285 |1843 |1147 | 0 |8290 | 29 | 0.000000e+00 | -- | Inf | 79.65%
19.13/19.26 c 19.3s| 9400 | 13 |148691 | 12.9 | 77M | 31 | 200 |8393 |1843 |1147 | 0 |8414 | 29 | 0.000000e+00 | -- | Inf | 79.65%
19.23/19.37 c 19.4s| 9500 | 15 |150554 | 13.0 | 77M | 35 | 200 |8453 |1844 |1150 | 1 |8508 | 29 | 0.000000e+00 | -- | Inf | 79.66%
19.53/19.62 c 19.6s| 9600 | 12 |152222 | 13.0 | 77M | 35 | 200 |8405 |1841 |1183 | 1 |8562 | 29 | 0.000000e+00 | -- | Inf | 81.01%
19.73/19.88 c 19.9s| 9700 | 14 |153661 | 13.0 | 77M | 35 | 200 |8373 |1842 |1227 | 1 |8612 | 29 | 0.000000e+00 | -- | Inf | 83.12%
19.93/20.04 c 20.0s| 9800 | 14 |154989 | 13.0 | 77M | 35 | 200 |8349 |1843 |1244 | 0 |8672 | 29 | 0.000000e+00 | -- | Inf | 84.15%
20.12/20.22 c 20.2s| 9900 | 14 |156620 | 13.1 | 77M | 35 | 200 |8319 |1842 |1273 | 1 |8734 | 29 | 0.000000e+00 | -- | Inf | 85.20%
20.22/20.35 c 20.4s| 10000 | 12 |158131 | 13.1 | 77M | 35 | 200 |8334 |1842 |1285 | 0 |8811 | 29 | 0.000000e+00 | -- | Inf | 87.40%
20.42/20.59 c 20.6s| 10100 | 13 |159465 | 13.1 | 77M | 35 | 200 |8312 |1841 |1319 | 1 |8864 | 29 | 0.000000e+00 | -- | Inf | 87.78%
20.62/20.72 c 20.7s| 10200 | 13 |160661 | 13.1 | 77M | 35 | 200 |8330 |1843 |1331 | 0 |8948 | 29 | 0.000000e+00 | -- | Inf | 88.01%
20.72/20.85 c 20.9s| 10300 | 12 |161925 | 13.1 | 77M | 35 | 200 |8340 |1841 |1346 | 1 |9023 | 29 | 0.000000e+00 | -- | Inf | 88.24%
20.93/21.01 c 21.0s| 10400 | 10 |163252 | 13.1 | 77M | 35 | 200 |8397 |1842 |1362 | 0 |9133 | 29 | 0.000000e+00 | -- | Inf | 89.02%
21.12/21.21 c 21.2s| 10500 | 13 |165102 | 13.1 | 77M | 35 | 200 |8406 |1843 |1382 | 1 |9215 | 29 | 0.000000e+00 | -- | Inf | 90.59%
21.22/21.37 c 21.4s| 10600 | 11 |166590 | 13.1 | 77M | 35 | 200 |8420 |1844 |1404 | 1 |9297 | 29 | 0.000000e+00 | -- | Inf | 90.92%
21.42/21.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.42/21.58 c 21.6s| 10700 | 9 |168196 | 13.1 | 77M | 35 | 200 |8457 |1842 |1428 | 0 |9376 | 29 | 0.000000e+00 | -- | Inf | 91.31%
21.62/21.75 c 21.8s| 10800 | 10 |169809 | 13.2 | 77M | 35 | 200 |8524 |1842 |1442 | 0 |9492 | 29 | 0.000000e+00 | -- | Inf | 91.50%
21.72/21.87 c 21.9s| 10900 | 10 |171282 | 13.2 | 77M | 35 | 200 |8579 |1844 |1452 | 1 |9585 | 29 | 0.000000e+00 | -- | Inf | 91.66%
21.82/22.00 c 22.0s| 11000 | 10 |173048 | 13.2 | 77M | 35 | 200 |8671 |1842 |1461 | 1 |9710 | 29 | 0.000000e+00 | -- | Inf | 91.73%
21.92/22.09 c 22.1s| 11100 | 9 |174532 | 13.2 | 77M | 35 | 200 |8779 | 0 |1461 | 0 |9831 | 29 | 0.000000e+00 | -- | Inf | 91.75%
22.12/22.21 c 22.2s| 11200 | 8 |176254 | 13.3 | 77M | 35 | 200 |8851 |1843 |1471 | 1 |9920 | 29 | 0.000000e+00 | -- | Inf | 91.76%
22.22/22.33 c 22.3s| 11300 | 11 |177734 | 13.3 | 77M | 35 | 200 |8897 |1843 |1483 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 91.85%
22.32/22.46 c 22.5s| 11400 | 12 |179216 | 13.3 | 77M | 35 | 200 |8919 |1842 |1497 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 91.93%
22.42/22.56 c 22.6s| 11500 | 12 |180680 | 13.3 | 77M | 35 | 200 |9002 |1842 |1503 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 91.94%
22.52/22.67 c 22.7s| 11600 | 12 |182288 | 13.3 | 77M | 35 | 200 |9096 |1842 |1508 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 91.95%
22.62/22.75 c 22.8s| 11700 | 13 |183570 | 13.3 | 77M | 35 | 200 |9154 |1841 |1508 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 91.98%
22.71/22.86 c 22.9s| 11800 | 9 |185476 | 13.3 | 77M | 35 | 200 |9258 |1844 |1512 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 91.99%
22.81/22.96 c 23.0s| 11900 | 10 |186940 | 13.4 | 77M | 35 | 200 |9344 |1841 |1517 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 92.00%
22.92/23.06 c 23.1s| 12000 | 10 |188411 | 13.4 | 77M | 35 | 200 |9430 |1844 |1523 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 92.00%
23.02/23.14 c 23.1s| 12100 | 13 |189674 | 13.4 | 77M | 35 | 200 |9508 |1844 |1525 | 2 | 10k| 29 | 0.000000e+00 | -- | Inf | 92.02%
23.11/23.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.11/23.22 c 23.2s| 12200 | 13 |191004 | 13.4 | 77M | 35 | 200 |9617 | 0 |1527 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 92.03%
23.21/23.30 c 23.3s| 12300 | 12 |192328 | 13.4 | 77M | 35 | 200 |9710 |1843 |1530 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 92.03%
23.21/23.39 c 23.4s| 12400 | 13 |193766 | 13.4 | 77M | 35 | 200 |9798 |1843 |1532 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 92.04%
23.31/23.49 c 23.5s| 12500 | 11 |195212 | 13.4 | 77M | 35 | 200 |9882 |1843 |1534 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 92.05%
23.41/23.58 c 23.6s| 12600 | 12 |196713 | 13.4 | 77M | 35 | 200 | 10k|1843 |1538 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 92.05%
23.51/23.66 c 23.7s| 12700 | 12 |198033 | 13.4 | 77M | 35 | 200 | 10k|1842 |1539 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 92.05%
23.61/23.75 c 23.8s| 12800 | 12 |199487 | 13.4 | 77M | 35 | 200 | 10k|1844 |1539 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 92.06%
23.81/23.94 c 23.9s| 12900 | 9 |200941 | 13.4 | 77M | 35 | 200 | 10k|1839 |1558 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 93.28%
24.01/24.16 c 24.2s| 13000 | 9 |202462 | 13.4 | 77M | 35 | 200 | 10k|1844 |1576 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 93.69%
24.11/24.25 c 24.3s| 13100 | 8 |204080 | 13.4 | 77M | 35 | 200 | 10k|1844 |1576 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 93.72%
24.21/24.34 c 24.3s| 13200 | 11 |205360 | 13.4 | 77M | 35 | 200 | 10k|1843 |1576 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 93.73%
24.31/24.42 c 24.4s| 13300 | 9 |206473 | 13.4 | 77M | 35 | 200 | 10k|1843 |1576 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 93.74%
24.41/24.50 c 24.5s| 13400 | 9 |207739 | 13.4 | 77M | 35 | 200 | 10k| 0 |1576 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 93.74%
24.51/24.60 c 24.6s| 13500 | 7 |209126 | 13.4 | 78M | 35 | 200 | 10k|1843 |1576 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 93.74%
24.51/24.69 c 24.7s| 13600 | 8 |210602 | 13.4 | 78M | 35 | 200 | 10k|1843 |1576 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 93.75%
24.61/24.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.61/24.79 c 24.8s| 13700 | 7 |212203 | 13.4 | 78M | 35 | 200 | 10k|1843 |1576 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 93.75%
24.91/25.06 c 25.1s| 13800 | 6 |213734 | 13.4 | 78M | 35 | 200 | 10k|1842 |1606 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 94.53%
25.10/25.24 c 25.2s| 13900 | 10 |215269 | 13.5 | 78M | 35 | 200 | 10k| 0 |1625 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 95.09%
25.20/25.39 c 25.4s| 14000 | 10 |216851 | 13.5 | 78M | 35 | 200 | 10k|1843 |1634 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 95.29%
25.40/25.50 c 25.5s| 14100 | 9 |218259 | 13.5 | 78M | 35 | 200 | 10k|1843 |1634 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 95.31%
25.50/25.69 c 25.7s| 14200 | 12 |220027 | 13.5 | 78M | 35 | 200 | 10k|1842 |1655 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 95.60%
25.70/25.83 c 25.8s| 14300 | 8 |221507 | 13.5 | 78M | 35 | 200 | 10k|1846 |1672 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 96.05%
25.91/26.03 c 26.0s| 14400 | 12 |223215 | 13.5 | 78M | 35 | 200 | 10k|1844 |1695 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 96.32%
26.01/26.15 c 26.1s| 14500 | 14 |224609 | 13.5 | 78M | 35 | 200 | 10k|1845 |1700 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 96.42%
26.10/26.24 c 26.2s| 14600 | 12 |225989 | 13.5 | 78M | 35 | 200 | 10k|1841 |1700 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 96.45%
26.20/26.34 c 26.3s| 14700 | 10 |227575 | 13.5 | 78M | 35 | 200 | 11k|1845 |1703 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.47%
26.30/26.44 c 26.4s| 14800 | 13 |228918 | 13.5 | 78M | 35 | 200 | 11k|1844 |1712 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.49%
26.40/26.57 c 26.6s| 14900 | 15 |230438 | 13.6 | 78M | 35 | 200 | 11k|1844 |1730 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.64%
26.50/26.65 c 26.7s| 15000 | 13 |231665 | 13.6 | 78M | 35 | 200 | 11k|1844 |1730 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.71%
26.60/26.77 c 26.8s| 15100 | 16 |232907 | 13.5 | 78M | 35 | 200 | 11k|1844 |1730 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.75%
26.70/26.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.70/26.88 c 26.9s| 15200 | 13 |234232 | 13.5 | 78M | 35 | 200 | 11k|1841 |1736 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.78%
26.80/26.97 c 27.0s| 15300 | 14 |235674 | 13.5 | 78M | 35 | 200 | 11k|1841 |1737 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.80%
26.90/27.06 c 27.1s| 15400 | 14 |236840 | 13.5 | 78M | 35 | 200 | 11k| 0 |1737 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.81%
27.00/27.15 c 27.1s| 15500 | 16 |238281 | 13.5 | 78M | 35 | 200 | 11k|1841 |1738 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.83%
27.09/27.24 c 27.2s| 15600 | 16 |239542 | 13.5 | 78M | 35 | 200 | 11k|1842 |1741 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.84%
27.19/27.34 c 27.3s| 15700 | 12 |241071 | 13.5 | 78M | 35 | 200 | 11k|1841 |1744 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.85%
27.29/27.45 c 27.4s| 15800 | 11 |242535 | 13.6 | 78M | 35 | 200 | 11k|1844 |1752 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 96.85%
27.49/27.64 c 27.6s| 15900 | 11 |244378 | 13.6 | 78M | 35 | 200 | 11k|1843 |1784 | 1 | 14k| 29 | 0.000000e+00 | -- | Inf | 97.60%
27.59/27.73 c 27.7s| 16000 | 9 |245689 | 13.6 | 78M | 35 | 200 | 11k|1843 |1784 | 0 | 14k| 29 | 0.000000e+00 | -- | Inf | 97.65%
27.79/27.90 c 27.9s| 16100 | 11 |247278 | 13.6 | 78M | 35 | 200 | 11k|1844 |1805 | 0 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.02%
27.79/27.98 c 28.0s| 16200 | 10 |248556 | 13.6 | 78M | 35 | 200 | 11k|1844 |1805 | 1 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.04%
28.00/28.11 c 28.1s| 16300 | 11 |250082 | 13.6 | 78M | 35 | 200 | 11k|1841 |1812 | 1 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.14%
28.09/28.24 c 28.2s| 16400 | 11 |251510 | 13.6 | 78M | 35 | 200 | 11k|1841 |1821 | 1 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.19%
28.19/28.33 c 28.3s| 16500 | 10 |253053 | 13.6 | 78M | 35 | 200 | 11k|1841 |1821 | 0 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.23%
28.29/28.43 c 28.4s| 16600 | 11 |254566 | 13.6 | 78M | 35 | 200 | 11k|1841 |1821 | 1 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.24%
28.39/28.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.39/28.54 c 28.5s| 16700 | 9 |256353 | 13.6 | 78M | 35 | 200 | 11k|1842 |1823 | 1 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.24%
28.59/28.72 c 28.7s| 16800 | 11 |258227 | 13.7 | 78M | 35 | 200 | 11k|1841 |1836 | 1 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.70%
28.69/28.83 c 28.8s| 16900 | 12 |259537 | 13.7 | 78M | 35 | 200 | 11k|1843 |1843 | 0 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.78%
28.79/28.92 c 28.9s| 17000 | 12 |260880 | 13.7 | 78M | 35 | 200 | 11k|1843 |1843 | 0 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.79%
28.89/29.01 c 29.0s| 17100 | 12 |262184 | 13.7 | 78M | 35 | 200 | 11k|1842 |1843 | 1 | 14k| 29 | 0.000000e+00 | -- | Inf | 98.82%
28.99/29.12 c 29.1s| 17200 | 10 |263594 | 13.7 | 78M | 35 | 200 | 11k|1842 |1853 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 98.90%
29.08/29.22 c 29.2s| 17300 | 10 |264933 | 13.7 | 78M | 35 | 200 | 11k|1842 |1853 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 98.92%
29.18/29.39 c 29.4s| 17400 | 12 |266384 | 13.7 | 78M | 35 | 200 | 11k|1843 |1867 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.09%
29.38/29.51 c 29.5s| 17500 | 12 |267914 | 13.7 | 78M | 35 | 200 | 11k|1842 |1874 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.14%
29.48/29.61 c 29.6s| 17600 | 12 |269472 | 13.7 | 78M | 35 | 200 | 11k|1842 |1874 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.17%
29.58/29.70 c 29.7s| 17700 | 14 |270735 | 13.7 | 78M | 35 | 200 | 11k|1842 |1874 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.19%
29.68/29.82 c 29.8s| 17800 | 14 |272232 | 13.7 | 78M | 35 | 200 | 11k|1844 |1884 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.26%
29.78/29.92 c 29.9s| 17900 | 13 |273814 | 13.7 | 78M | 35 | 200 | 11k|1844 |1884 | 0 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.29%
29.89/30.02 c 30.0s| 18000 | 14 |275379 | 13.7 | 78M | 35 | 200 | 11k|1842 |1884 | 0 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.31%
29.99/30.11 c 30.1s| 18100 | 13 |276781 | 13.7 | 78M | 35 | 200 | 11k|1842 |1884 | 0 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.31%
30.08/30.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.08/30.21 c 30.2s| 18200 | 16 |278394 | 13.7 | 78M | 35 | 200 | 11k|1842 |1884 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.31%
30.18/30.30 c 30.3s| 18300 | 14 |279819 | 13.7 | 78M | 35 | 200 | 11k|1842 |1884 | 0 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.31%
30.28/30.41 c 30.4s| 18400 | 16 |281303 | 13.7 | 78M | 35 | 200 | 11k|1844 |1891 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.33%
30.38/30.51 c 30.5s| 18500 | 17 |282715 | 13.7 | 78M | 35 | 200 | 11k|1844 |1892 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.37%
30.38/30.59 c 30.6s| 18600 | 15 |284035 | 13.7 | 78M | 35 | 200 | 11k|1844 |1894 | 1 | 15k| 29 | 0.000000e+00 | -- | Inf | 99.38%
30.48/30.69 c 30.7s| 18700 | 12 |285388 | 13.7 | 78M | 35 | 200 | 11k|1842 |1895 | 1 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.39%
30.68/30.82 c 30.8s| 18800 | 14 |287000 | 13.7 | 83M | 35 | 200 | 11k|1842 |1905 | 1 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.43%
30.78/30.94 c 30.9s| 18900 | 17 |288570 | 13.7 | 83M | 35 | 200 | 11k|1842 |1912 | 1 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.50%
30.88/31.03 c 31.0s| 19000 | 15 |289640 | 13.7 | 83M | 35 | 200 | 11k|1841 |1912 | 1 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.53%
30.98/31.12 c 31.1s| 19100 | 15 |291163 | 13.7 | 83M | 35 | 200 | 11k|1841 |1912 | 0 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.55%
31.08/31.24 c 31.2s| 19200 | 13 |292959 | 13.8 | 83M | 35 | 200 | 11k|1842 |1914 | 1 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.56%
31.18/31.33 c 31.3s| 19300 | 11 |294333 | 13.8 | 83M | 35 | 200 | 11k|1844 |1915 | 1 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.56%
31.28/31.43 c 31.4s| 19400 | 15 |295706 | 13.8 | 83M | 35 | 200 | 11k|1843 |1921 | 0 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.59%
31.38/31.52 c 31.5s| 19500 | 12 |296843 | 13.7 | 83M | 35 | 200 | 11k|1843 |1921 | 0 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.62%
31.48/31.61 c 31.6s| 19600 | 17 |298168 | 13.7 | 83M | 35 | 200 | 11k|1843 |1921 | 0 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.64%
31.48/31.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.48/31.69 c 31.7s| 19700 | 20 |299375 | 13.7 | 83M | 35 | 200 | 11k|1843 |1921 | 1 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.64%
31.58/31.79 c 31.8s| 19800 | 18 |300819 | 13.7 | 83M | 35 | 200 | 11k|1843 |1921 | 1 | 16k| 29 | 0.000000e+00 | -- | Inf | 99.65%
31.68/31.88 c 31.9s| 19900 | 20 |302302 | 13.7 | 83M | 35 | 200 | 11k|1843 |1921 | 1 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.66%
31.78/31.98 c 32.0s| 20000 | 20 |303913 | 13.8 | 83M | 35 | 200 | 11k|1843 |1921 | 1 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.66%
31.88/32.08 c 32.1s| 20100 | 20 |305616 | 13.8 | 83M | 35 | 200 | 11k|1843 |1921 | 1 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.66%
31.98/32.19 c 32.2s| 20200 | 16 |307284 | 13.8 | 83M | 35 | 200 | 11k|1843 |1921 | 0 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.66%
32.07/32.29 c 32.3s| 20300 | 18 |308732 | 13.8 | 83M | 35 | 200 | 11k|1843 |1921 | 1 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.67%
32.17/32.39 c 32.4s| 20400 | 16 |310278 | 13.8 | 83M | 35 | 200 | 11k|1843 |1921 | 1 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.67%
32.27/32.49 c 32.5s| 20500 | 12 |312024 | 13.8 | 83M | 35 | 200 | 11k|1843 |1921 | 0 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.67%
32.37/32.59 c 32.6s| 20600 | 14 |313814 | 13.8 | 83M | 35 | 200 | 11k|1843 |1921 | 0 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.67%
32.57/32.71 c 32.7s| 20700 | 16 |315330 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 1 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.70%
32.67/32.81 c 32.8s| 20800 | 17 |316816 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 1 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.71%
32.77/32.90 c 32.9s| 20900 | 14 |318039 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 0 | 17k| 29 | 0.000000e+00 | -- | Inf | 99.71%
32.77/32.99 c 33.0s| 21000 | 14 |319406 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 1 | 18k| 29 | 0.000000e+00 | -- | Inf | 99.71%
32.89/33.08 c 33.1s| 21100 | 12 |320557 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 0 | 18k| 29 | 0.000000e+00 | -- | Inf | 99.72%
32.98/33.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.98/33.18 c 33.2s| 21200 | 16 |322157 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 0 | 18k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.08/33.27 c 33.3s| 21300 | 18 |323509 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 1 | 18k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.18/33.37 c 33.4s| 21400 | 13 |324939 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 0 | 18k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.28/33.47 c 33.5s| 21500 | 14 |326347 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 1 | 18k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.38/33.56 c 33.6s| 21600 | 13 |327673 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 1 | 18k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.48/33.66 c 33.7s| 21700 | 16 |329198 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 0 | 18k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.58/33.75 c 33.8s| 21800 | 17 |330575 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 1 | 19k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.68/33.85 c 33.8s| 21900 | 15 |331994 | 13.8 | 83M | 35 | 200 | 11k|1843 |1929 | 0 | 19k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.78/33.95 c 34.0s| 22000 | 14 |333559 | 13.8 | 83M | 36 | 200 | 11k|1843 |1929 | 0 | 19k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.88/34.05 c 34.0s| 22100 | 16 |335028 | 13.8 | 83M | 36 | 200 | 11k| 0 |1929 | 0 | 19k| 29 | 0.000000e+00 | -- | Inf | 99.72%
33.98/34.15 c 34.2s| 22200 | 14 |336701 | 13.9 | 83M | 37 | 200 | 11k|1843 |1929 | 1 | 19k| 29 | 0.000000e+00 | -- | Inf | 99.72%
34.08/34.24 c 34.2s| 22300 | 13 |338222 | 13.9 | 83M | 37 | 200 | 11k|1842 |1930 | 0 | 19k| 29 | 0.000000e+00 | -- | Inf | 99.73%
34.18/34.33 c 34.3s| 22400 | 15 |339641 | 13.9 | 83M | 37 | 200 | 11k|1842 |1930 | 1 | 19k| 29 | 0.000000e+00 | -- | Inf | 99.73%
34.28/34.42 c 34.4s| 22500 | 19 |340899 | 13.9 | 83M | 37 | 200 | 11k|1841 |1930 | 0 | 19k| 29 | 0.000000e+00 | -- | Inf | 99.74%
34.37/34.51 c 34.5s| 22600 | 17 |342171 | 13.9 | 83M | 37 | 200 | 11k|1842 |1930 | 0 | 19k| 29 | 0.000000e+00 | -- | Inf | 99.74%
34.47/34.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.47/34.60 c 34.6s| 22700 | 17 |343518 | 13.9 | 83M | 37 | 200 | 11k|1842 |1930 | 0 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.74%
34.47/34.68 c 34.7s| 22800 | 13 |344628 | 13.8 | 83M | 37 | 200 | 11k|1842 |1930 | 0 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.75%
34.57/34.77 c 34.8s| 22900 | 17 |345782 | 13.8 | 83M | 37 | 200 | 11k|1842 |1930 | 1 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.75%
34.67/34.85 c 34.8s| 23000 | 18 |346856 | 13.8 | 83M | 37 | 200 | 11k|1842 |1930 | 1 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.75%
34.77/34.93 c 34.9s| 23100 | 17 |347927 | 13.8 | 83M | 37 | 200 | 11k|1842 |1930 | 1 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.75%
34.88/35.01 c 35.0s| 23200 | 14 |349183 | 13.8 | 83M | 37 | 200 | 11k|1842 |1930 | 0 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.75%
34.98/35.10 c 35.1s| 23300 | 13 |350409 | 13.8 | 83M | 37 | 200 | 11k|1842 |1930 | 0 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.75%
34.98/35.19 c 35.2s| 23400 | 12 |351727 | 13.8 | 83M | 37 | 200 | 11k|1842 |1930 | 1 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.75%
35.17/35.30 c 35.3s| 23500 | 14 |353139 | 13.8 | 83M | 37 | 200 | 11k|1842 |1934 | 1 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.76%
35.17/35.38 c 35.4s| 23600 | 12 |354326 | 13.8 | 83M | 37 | 200 | 11k| 0 |1935 | 0 | 20k| 29 | 0.000000e+00 | -- | Inf | 99.79%
35.27/35.46 c 35.5s| 23700 | 11 |355422 | 13.8 | 83M | 37 | 200 | 11k|1842 |1935 | 0 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.82%
35.37/35.55 c 35.6s| 23800 | 10 |356825 | 13.8 | 83M | 37 | 200 | 11k|1842 |1935 | 0 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.84%
35.47/35.66 c 35.7s| 23900 | 12 |358207 | 13.8 | 83M | 37 | 200 | 11k|1843 |1943 | 1 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.87%
35.57/35.75 c 35.7s| 24000 | 11 |359519 | 13.8 | 83M | 37 | 200 | 11k|1843 |1943 | 0 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.88%
35.77/35.91 c 35.9s| 24100 | 15 |360677 | 13.8 | 83M | 37 | 200 | 11k|1843 |1943 | 1 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.88%
35.87/36.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.87/36.01 c 36.0s| 24200 | 11 |362141 | 13.8 | 83M | 37 | 200 | 11k|1843 |1943 | 1 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.89%
35.87/36.09 c 36.1s| 24300 | 13 |363441 | 13.8 | 83M | 37 | 200 | 11k|1843 |1943 | 1 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.89%
35.97/36.19 c 36.2s| 24400 | 13 |365159 | 13.8 | 83M | 37 | 200 | 11k|1843 |1943 | 1 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.92%
36.07/36.29 c 36.3s| 24500 | 9 |366799 | 13.8 | 83M | 37 | 200 | 11k|1843 |1943 | 0 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.93%
36.27/36.40 c 36.4s| 24600 | 9 |368594 | 13.8 | 83M | 37 | 200 | 11k|1843 |1945 | 0 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.94%
36.37/36.50 c 36.5s| 24700 | 8 |370026 | 13.8 | 83M | 37 | 200 | 11k|1841 |1945 | 1 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.94%
36.37/36.59 c 36.6s| 24800 | 7 |371429 | 13.8 | 83M | 37 | 200 | 11k|1844 |1947 | 1 | 21k| 29 | 0.000000e+00 | -- | Inf | 99.95%
36.47/36.69 c 36.7s| 24900 | 6 |372837 | 13.8 | 83M | 37 | 200 | 11k|1844 |1947 | 0 | 22k| 29 | 0.000000e+00 | -- | Inf | 99.95%
36.56/36.79 c 36.8s| 25000 | 5 |374138 | 13.8 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 22k| 29 | 0.000000e+00 | -- | Inf | 99.96%
36.66/36.89 c 36.9s| 25100 | 6 |375713 | 13.8 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 22k| 29 | 0.000000e+00 | -- | Inf | 99.97%
36.76/36.98 c 37.0s| 25200 | 6 |377107 | 13.8 | 83M | 37 | 200 | 11k| 0 |1947 | 0 | 22k| 29 | 0.000000e+00 | -- | Inf | 99.97%
36.87/37.09 c 37.1s| 25300 | 5 |378708 | 13.8 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 22k| 29 | 0.000000e+00 | -- | Inf | 99.98%
37.06/37.21 c 37.2s| 25400 | 11 |380640 | 13.8 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 22k| 29 | 0.000000e+00 | -- | Inf | 99.98%
37.16/37.32 c 37.3s| 25500 | 9 |382172 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 22k| 29 | 0.000000e+00 | -- | Inf | 99.99%
37.26/37.43 c 37.4s| 25600 | 6 |383893 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 22k| 29 | 0.000000e+00 | -- | Inf | 99.99%
37.36/37.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.36/37.52 c 37.5s| 25700 | 11 |384938 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 22k| 29 | 0.000000e+00 | -- | Inf | 99.99%
37.46/37.62 c 37.6s| 25800 | 10 |386431 | 13.9 | 83M | 37 | 200 | 11k| 0 |1947 | 0 | 23k| 29 | 0.000000e+00 | -- | Inf | 99.99%
37.56/37.72 c 37.7s| 25900 | 8 |387865 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 23k| 29 | 0.000000e+00 | -- | Inf | 99.99%
37.66/37.82 c 37.8s| 26000 | 7 |389387 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 23k| 29 | 0.000000e+00 | -- | Inf | 99.99%
37.76/37.93 c 37.9s| 26100 | 9 |391157 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 23k| 29 | 0.000000e+00 | -- | Inf | 99.99%
37.87/38.03 c 38.0s| 26200 | 7 |392569 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 23k| 29 | 0.000000e+00 | -- | Inf | 99.99%
37.96/38.13 c 38.1s| 26300 | 7 |394104 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 23k| 29 | 0.000000e+00 | -- | Inf | 99.99%
38.06/38.23 c 38.2s| 26400 | 8 |395374 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 23k| 29 | 0.000000e+00 | -- | Inf | 99.99%
38.16/38.33 c 38.3s| 26500 | 8 |396958 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 24k| 29 | 0.000000e+00 | -- | Inf | 99.99%
38.26/38.42 c 38.4s| 26600 | 5 |398324 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 24k| 29 | 0.000000e+00 | -- | Inf | 99.99%
38.36/38.52 c 38.5s| 26700 | 8 |399625 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 24k| 29 | 0.000000e+00 | -- | Inf | 100.00%
38.46/38.62 c 38.6s| 26800 | 7 |401144 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 24k| 29 | 0.000000e+00 | -- | Inf | 100.00%
38.56/38.71 c 38.7s| 26900 | 5 |402505 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 24k| 29 | 0.000000e+00 | -- | Inf | 100.00%
38.66/38.81 c 38.8s| 27000 | 6 |403847 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 24k| 29 | 0.000000e+00 | -- | Inf | 100.00%
38.66/38.90 c 38.9s| 27100 | 5 |405055 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 25k| 29 | 0.000000e+00 | -- | Inf | 100.00%
38.76/38.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.76/38.99 c 39.0s| 27200 | 8 |406322 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 25k| 29 | 0.000000e+00 | -- | Inf | 100.00%
38.86/39.08 c 39.1s| 27300 | 6 |407749 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 25k| 29 | 0.000000e+00 | -- | Inf | 100.00%
38.96/39.17 c 39.2s| 27400 | 9 |409109 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 25k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.06/39.26 c 39.3s| 27500 | 8 |410464 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 25k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.16/39.35 c 39.4s| 27600 | 9 |411855 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 25k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.25/39.44 c 39.4s| 27700 | 8 |413072 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 25k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.35/39.53 c 39.5s| 27800 | 10 |414492 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 25k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.45/39.61 c 39.6s| 27900 | 10 |415832 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 26k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.55/39.71 c 39.7s| 28000 | 6 |417379 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 26k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.65/39.81 c 39.8s| 28100 | 5 |418893 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 26k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.75/39.90 c 39.9s| 28200 | 4 |420252 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 26k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.86/40.00 c 40.0s| 28300 | 7 |421853 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 26k| 29 | 0.000000e+00 | -- | Inf | 100.00%
39.96/40.10 c 40.1s| 28400 | 7 |423419 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 26k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.05/40.21 c 40.2s| 28500 | 5 |425224 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 26k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.15/40.32 c 40.3s| 28600 | 6 |426778 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 27k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.25/40.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.25/40.42 c 40.4s| 28700 | 10 |428255 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 27k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.35/40.50 c 40.5s| 28800 | 14 |429408 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 27k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.35/40.59 c 40.6s| 28900 | 14 |430787 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 1 | 27k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.45/40.68 c 40.7s| 29000 | 11 |431920 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 27k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.55/40.77 c 40.8s| 29100 | 12 |433221 | 13.9 | 83M | 37 | 200 | 11k|1843 |1947 | 0 | 27k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.65/40.86 c 40.9s| 29200 | 13 |434584 | 13.9 | 83M | 38 | 200 | 11k|1843 |1947 | 0 | 27k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.75/40.95 c 41.0s| 29300 | 10 |435925 | 13.9 | 83M | 39 | 200 | 11k|1843 |1947 | 1 | 28k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.85/41.09 c 41.1s| 29400 | 8 |437530 | 13.9 | 83M | 40 | 200 | 11k|1843 |1957 | 1 | 28k| 29 | 0.000000e+00 | -- | Inf | 100.00%
40.95/41.18 c 41.2s| 29500 | 10 |438818 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 1 | 28k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.05/41.25 c 41.3s| 29600 | 11 |439887 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 1 | 28k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.15/41.34 c 41.3s| 29700 | 8 |441112 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 0 | 28k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.25/41.43 c 41.4s| 29800 | 9 |442459 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 0 | 28k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.35/41.54 c 41.5s| 29900 | 10 |444092 | 13.9 | 84M | 40 | 200 | 11k| 0 |1957 | 0 | 28k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.45/41.63 c 41.6s| 30000 | 10 |445599 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 1 | 28k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.55/41.72 c 41.7s| 30100 | 11 |446715 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 1 | 28k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.65/41.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.65/41.81 c 41.8s| 30200 | 13 |448076 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 1 | 29k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.75/41.90 c 41.9s| 30300 | 10 |449438 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 0 | 29k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.85/42.00 c 42.0s| 30400 | 7 |451012 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 0 | 29k| 29 | 0.000000e+00 | -- | Inf | 100.00%
41.95/42.12 c 42.1s| 30500 | 6 |452737 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 0 | 29k| 29 | 0.000000e+00 | -- | Inf | 100.00%
42.04/42.23 c 42.2s| 30600 | 7 |454480 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 1 | 29k| 29 | 0.000000e+00 | -- | Inf | 100.00%
42.14/42.33 c 42.3s| 30700 | 5 |455945 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 1 | 29k| 29 | 0.000000e+00 | -- | Inf | 100.00%
42.24/42.43 c 42.4s| 30800 | 6 |457678 | 13.9 | 84M | 40 | 200 | 11k|1843 |1957 | 1 | 29k| 29 | 0.000000e+00 | -- | Inf | 100.00%
42.34/42.59 c 42.6s| 30900 | 4 |459616 | 13.9 | 84M | 42 | 200 | 11k|1843 |1969 | 1 | 30k| 29 | 0.000000e+00 | -- | Inf | 100.00%
42.54/42.72 c 42.7s| 31000 | 3 |461191 | 13.9 | 84M | 42 | 200 | 11k| 0 |1976 | 0 | 30k| 29 | 0.000000e+00 | -- | Inf | 100.00%
42.64/42.81 c 42.8s| 31100 | 5 |462564 | 13.9 | 84M | 42 | 200 | 11k|1843 |1976 | 0 | 30k| 29 | 0.000000e+00 | -- | Inf | 100.00%
42.74/42.91 c 42.9s| 31200 | 3 |464097 | 13.9 | 84M | 42 | 200 | 11k|1843 |1976 | 0 | 30k| 29 | 0.000000e+00 | -- | Inf | 100.00%
42.85/43.00 c 43.0s| 31300 | 3 |465590 | 13.9 | 84M | 42 | 200 |6152 |1843 |1976 | 1 | 30k| 29 | 0.000000e+00 | -- | Inf | 100.00%
42.85/43.02 c
42.85/43.02 c SCIP Status : problem is solved [infeasible]
42.85/43.02 c Solving Time (sec) : 43.02
42.85/43.02 c Solving Nodes : 31318 (total of 33280 nodes in 2 runs)
42.85/43.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
42.85/43.02 c Dual Bound : +1.00000000000000e+20
42.85/43.02 c Gap : 0.00 %
42.85/43.02 s UNSATISFIABLE
42.85/43.02 c SCIP Status : problem is solved [infeasible]
42.85/43.02 c Total Time : 43.02
42.85/43.02 c solving : 43.02
42.85/43.02 c presolving : 0.08 (included in solving)
42.85/43.02 c reading : 0.00 (included in solving)
42.85/43.02 c copying : 0.48 (108 #copies) (minimal 0.00, maximal 0.02, average 0.00)
42.85/43.02 c Original Problem :
42.85/43.02 c Problem name : HOME/instance-4495039-1751149996.opb
42.85/43.02 c Variables : 231 (231 binary, 0 integer, 0 continuous)
42.85/43.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
42.85/43.02 c Constraints : 2707 initial, 2707 maximal
42.85/43.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
42.85/43.02 c Presolved Problem :
42.85/43.02 c Problem name : t_HOME/instance-4495039-1751149996.opb
42.85/43.02 c Variables : 200 (200 binary, 0 integer, 0 continuous)
42.85/43.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
42.85/43.02 c Constraints : 2854 initial, 11700 maximal
42.85/43.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
42.85/43.02 c Nonzeros : 15278 constraint, 864 clique table
42.85/43.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
42.85/43.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
42.85/43.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.85/43.02 c gateextraction : 0.00 0.00 8 0 0 0 0 0 1 0 0 0
42.85/43.02 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
42.85/43.02 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.85/43.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.85/43.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c trivial : 0.00 0.00 15 21 0 0 0 0 0 0 0 0
42.85/43.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c dualfix : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
42.85/43.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.85/43.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.85/43.02 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.85/43.02 c vbounds : 0.00 0.00 2 0 10 0 0 0 0 0 0 0
42.85/43.02 c knapsack : 0.00 0.00 28 0 0 0 0 0 0 0 0 0
42.85/43.02 c setppc : 0.00 0.00 28 0 0 0 0 0 66 0 0 0
42.85/43.02 c linear : 0.02 0.00 23 0 0 0 0 0 198 0 55 0
42.85/43.02 c logicor : 0.03 0.00 26 0 0 0 0 0 921 0 0 1018
42.85/43.02 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
42.85/43.02 c root node : - - - 129 - - 129 - - - - -
42.85/43.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
42.85/43.02 c integral : 0 0 0 0 16798 0 0 1304 0 0 0 0 0 0 33596
42.85/43.02 c knapsack : 4+ 5 23 130958 0 0 0 1300 63793 293 76489 10 2 0 0
42.85/43.02 c setppc : 20+ 36 23 130704 0 0 0 710 267931 798 147572 0 0 0 0
42.85/43.02 c linear : 1+ 113 12 67331 0 0 0 2 73 16 247 8 3 0 0
42.85/43.02 c logicor : 2829+ 11670 23 62886 0 0 0 0 124780 346 214724 4 2 0 0
42.85/43.02 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
42.85/43.02 c integral : 0.45 0.00 0.00 0.00 0.45 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c knapsack : 0.20 0.00 0.00 0.18 0.00 0.00 0.00 0.00 0.02 0.00
42.85/43.02 c setppc : 0.30 0.00 0.00 0.26 0.00 0.00 0.00 0.00 0.04 0.00
42.85/43.02 c linear : 0.06 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c logicor : 1.74 0.00 0.01 1.69 0.00 0.00 0.00 0.00 0.04 0.00
42.85/43.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
42.85/43.02 c dualfix : 2 0 0 0
42.85/43.02 c genvbounds : 0 0 0 0
42.85/43.02 c nlobbt : 0 0 0 0
42.85/43.02 c obbt : 0 0 0 0
42.85/43.02 c probing : 0 0 0 0
42.85/43.02 c pseudoobj : 0 0 0 0
42.85/43.02 c redcost : 0 0 0 0
42.85/43.02 c rootredcost : 0 0 0 0
42.85/43.02 c symmetry : 6444 0 0 10
42.85/43.02 c vbounds : 106495 0 0 0
42.85/43.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
42.85/43.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
42.85/43.02 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
42.85/43.02 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
42.85/43.02 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
42.85/43.02 c symmetry : 0.05 0.00 0.00 0.04 0.00 0.00
42.85/43.02 c vbounds : 0.13 0.00 0.00 0.13 0.00 0.00
42.85/43.02 c Symmetry :
42.85/43.02 c #affected vars : 121 (121 bin, 0 int, 0 cont)
42.85/43.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
42.85/43.02 c orbital reduction: 10 reductions applied, 0 cutoffs
42.85/43.02 c lexicographic red: 0 reductions applied, 0 cutoffs
42.85/43.02 c shadow tree time : 0.03 s
42.85/43.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
42.85/43.02 c propagation : 0.03 1448 1442 - 7427 16.7 37 10.9 - - -
42.85/43.02 c infeasible LP : 1.99 15437 14636 - 85913 26.1 36 12.9 14 14.4 0
42.85/43.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
42.85/43.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
42.85/43.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
42.85/43.02 c applied globally : 0.14 - - 2 30501 8.6 - - 14 - -
42.85/43.02 c applied locally : - - - 0 4 37.2 - - 0 - -
42.85/43.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
42.85/43.02 c cut pool : 0.73 - 2760 44 - - 24758 31453 - - - - - (maximal pool size: 3742)
42.85/43.02 c aggregation : 0.15 0.00 679 23 0 0 26 17 13 2 2 0 0
42.85/43.02 c > cmir : - - - - - - - 12 8 1 1 0 -
42.85/43.02 c > flowcover : - - - - - - - 5 2 1 1 0 -
42.85/43.02 c > knapsackcover : - - - - - - - 0 3 0 0 0 -
42.85/43.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c clique : 0.00 0.00 23 23 0 0 1 1 0 1 1 0 0
42.85/43.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c gomory : 8.54 0.00 676 20 0 0 35853 31324 11165 1635 1288 347 0
42.85/43.02 c > gomorymi : - - - - - - - 15280 5607 675 469 206 -
42.85/43.02 c > strongcg : - - - - - - - 16044 5558 960 819 141 -
42.85/43.02 c impliedbounds : 0.01 0.00 679 23 0 0 8 16 0 12 12 0 0
42.85/43.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
42.85/43.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c multilinear : 0.00 0.00 1123 23 0 0 0 0 0 0 0 0 0
42.85/43.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.85/43.02 c rapidlearning : 2.17 0.00 100 2 0 3495 0 0 0 0 0 0 272
42.85/43.02 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
42.85/43.02 c zerohalf : 0.24 0.00 679 23 0 0 1186 95 1138 670 32 638 0
42.85/43.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
42.85/43.02 c hybrid : 0.06 0.00 838 23 2327 0 41437 71 0 5610
42.85/43.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c Pricers : ExecTime SetupTime Calls Vars
42.85/43.02 c problem variables: 0.00 - 0 0
42.85/43.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
42.85/43.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c relpscost : 0.44 0.00 16798 0 0 0 0 0 0 33596
42.85/43.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
42.85/43.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
42.85/43.02 c LP solutions : 0.00 - - 0 0
42.85/43.02 c relax solutions : 0.00 - - 0 0
42.85/43.02 c pseudo solutions : 0.00 - - 0 0
42.85/43.02 c strong branching : 0.00 - - 0 0
42.85/43.02 c actconsdiving : 0.00 0.00 0 0 0
42.85/43.02 c adaptivediving : 0.04 0.00 8 0 0
42.85/43.02 c alns : 0.14 0.00 7 0 0
42.85/43.02 c bound : 0.00 0.00 0 0 0
42.85/43.02 c clique : 0.00 0.00 1 0 0
42.85/43.02 c coefdiving : 0.00 0.00 0 0 0
42.85/43.02 c completesol : 0.00 0.00 0 0 0
42.85/43.02 c conflictdiving : 0.04 0.00 4 0 0
42.85/43.02 c crossover : 0.00 0.00 0 0 0
42.85/43.02 c dins : 0.00 0.00 0 0 0
42.85/43.02 c distributiondivin: 0.11 0.00 4 0 0
42.85/43.02 c dks : 0.00 0.00 0 0 0
42.85/43.02 c dps : 0.00 0.00 0 0 0
42.85/43.02 c dualval : 0.00 0.00 0 0 0
42.85/43.02 c farkasdiving : 0.00 0.00 0 0 0
42.85/43.02 c feaspump : 0.06 0.00 2 0 0
42.85/43.02 c fixandinfer : 0.00 0.00 0 0 0
42.85/43.02 c fracdiving : 0.02 0.00 4 0 0
42.85/43.02 c gins : 0.00 0.00 0 0 0
42.85/43.02 c guideddiving : 0.00 0.00 0 0 0
42.85/43.02 c indicator : 0.00 0.00 0 0 0
42.85/43.02 c indicatordiving : 0.00 0.00 0 0 0
42.85/43.02 c intdiving : 0.00 0.00 0 0 0
42.85/43.02 c intshifting : 0.00 0.00 0 0 0
42.85/43.02 c linesearchdiving : 0.02 0.00 4 0 0
42.85/43.02 c localbranching : 0.00 0.00 0 0 0
42.85/43.02 c locks : 0.00 0.00 1 0 0
42.85/43.02 c lpface : 0.01 0.00 0 0 0
42.85/43.02 c mpec : 0.00 0.00 0 0 0
42.85/43.02 c multistart : 0.00 0.00 0 0 0
42.85/43.02 c mutation : 0.00 0.00 0 0 0
42.85/43.02 c nlpdiving : 0.00 0.00 0 0 0
42.85/43.02 c objpscostdiving : 0.02 0.00 3 0 0
42.85/43.02 c octane : 0.00 0.00 0 0 0
42.85/43.02 c ofins : 0.00 0.00 0 0 0
42.85/43.02 c oneopt : 0.01 0.00 0 0 0
42.85/43.02 c padm : 0.00 0.00 0 0 0
42.85/43.02 c proximity : 0.00 0.00 0 0 0
42.85/43.02 c pscostdiving : 0.03 0.00 4 0 0
42.85/43.02 c randrounding : 0.04 0.00 1317 0 0
42.85/43.02 c rens : 0.02 0.00 2 0 0
42.85/43.02 c reoptsols : 0.00 0.00 0 0 0
42.85/43.02 c repair : 0.00 0.00 0 0 0
42.85/43.02 c rins : 0.00 0.00 0 0 0
42.85/43.02 c rootsoldiving : 0.01 0.00 2 0 0
42.85/43.02 c rounding : 0.07 0.00 1834 0 0
42.85/43.02 c scheduler : 0.00 0.00 0 0 0
42.85/43.02 c shiftandpropagate: 0.00 0.00 2 0 0
42.85/43.02 c shifting : 0.09 0.00 654 0 0
42.85/43.02 c simplerounding : 0.00 0.00 0 0 0
42.85/43.02 c subnlp : 0.00 0.00 0 0 0
42.85/43.02 c trivial : 0.00 0.00 4 0 0
42.85/43.02 c trivialnegation : 0.00 0.00 0 0 0
42.85/43.02 c trustregion : 0.00 0.00 0 0 0
42.85/43.02 c trysol : 0.00 0.00 0 0 0
42.85/43.02 c twoopt : 0.00 0.00 0 0 0
42.85/43.02 c undercover : 0.00 0.00 0 0 0
42.85/43.02 c vbounds : 0.01 0.00 1 0 0
42.85/43.02 c veclendiving : 0.02 0.00 4 0 0
42.85/43.02 c zeroobj : 0.00 0.00 0 0 0
42.85/43.02 c zirounding : 0.01 0.00 1000 0 0
42.85/43.02 c other solutions : - - - 0 -
42.85/43.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
42.85/43.02 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
42.85/43.02 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
42.85/43.02 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
42.85/43.02 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
42.85/43.02 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
42.85/43.02 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
42.85/43.02 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
42.85/43.02 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
42.85/43.02 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
42.85/43.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
42.85/43.02 c primal LP : 0.08 469 0 0.00 0.00 0.08 469
42.85/43.02 c dual LP : 18.85 33110 461118 13.97 24463.60 0.01 101
42.85/43.02 c lex dual LP : 0.00 0 0 0.00 -
42.85/43.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
42.85/43.02 c resolve instable : 0.00 0 0 0.00 -
42.85/43.02 c diving/probing LP: 0.22 184 4784 26.00 21850.74
42.85/43.02 c strong branching : 0.06 29 1182 40.76 20599.51 - - 0
42.85/43.02 c (at root node) : - 29 1182 40.76 -
42.85/43.02 c conflict analysis: 0.00 0 0 0.00 -
42.85/43.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
42.85/43.02 c benders : 0.00 0 0 0 0.00 0 0 0
42.85/43.02 c B&B Tree :
42.85/43.02 c number of runs : 2
42.85/43.02 c nodes : 31318 (15797 internal, 15521 leaves)
42.85/43.02 c feasible leaves : 0
42.85/43.02 c infeas. leaves : 15521
42.85/43.02 c objective leaves : 0
42.85/43.02 c nodes (total) : 33280 (16798 internal, 16482 leaves)
42.85/43.02 c nodes left : 0
42.85/43.02 c max depth : 42
42.85/43.02 c max depth (total): 42
42.85/43.02 c backtracks : 4218 (13.5%)
42.85/43.02 c early backtracks : 0 (0.0%)
42.85/43.02 c nodes exc. ref. : 0 (0.0%)
42.85/43.02 c delayed cutoffs : 277
42.85/43.02 c repropagations : 50701 (67035 domain reductions, 273 cutoffs)
42.85/43.02 c avg switch length: 4.71
42.85/43.02 c switching time : 2.06
42.85/43.02 c Root Node :
42.85/43.02 c First LP value : +0.00000000000000e+00
42.85/43.02 c First LP Iters : 95 (32963.22 Iter/sec)
42.85/43.02 c First LP Time : 0.00
42.85/43.02 c Final Dual Bound : -
42.85/43.02 c Final Root Iters : 1833
42.85/43.02 c Root LP Estimate : +3.09209023256397e-03
42.85/43.02 c Solution :
42.85/43.02 c Solutions found : 0 (0 improvements)
42.85/43.02 c Primal Bound : infeasible
42.85/43.02 c Dual Bound : -
42.85/43.02 c Gap : 0.00 %
42.85/43.02 c Integrals : Total Avg%
42.85/43.02 c primal-dual : - - (problem infeasible)
42.85/43.02 c primal-ref : - - (problem infeasible)
42.85/43.02 c dual-ref : - - (problem infeasible)
42.85/43.03 c Time complete (sec): 42.881