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-4494643-1751149924.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.004 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.01 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.998226
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 |2481 |2443 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.18 c 0.2s| 1 | 0 | 1441 | - | 14M | 0 | 231 |2485 |2445 | 2 | 1 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.23 c 0.2s| 1 | 0 | 1457 | - | 16M | 0 | 231 |2490 |2449 | 6 | 2 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.27 c 0.3s| 1 | 0 | 1481 | - | 19M | 0 | 231 |2492 |2454 | 11 | 3 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.31 c 0.3s| 1 | 0 | 1496 | - | 21M | 0 | 231 |2494 |2457 | 14 | 4 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.36 c 0.4s| 1 | 0 | 1508 | - | 24M | 0 | 231 |2498 |2460 | 17 | 5 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.42 c 0.4s| 1 | 0 | 1521 | - | 25M | 0 | 231 |2498 |2462 | 19 | 6 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.50 c 0.5s| 1 | 0 | 1534 | - | 28M | 0 | 231 |2503 |2467 | 24 | 7 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.56 c 0.6s| 1 | 0 | 1544 | - | 31M | 0 | 231 |2507 |2470 | 27 | 8 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.63 c 0.6s| 1 | 0 | 1557 | - | 36M | 0 | 231 |2512 |2473 | 30 | 9 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.70 c 0.7s| 1 | 0 | 1576 | - | 39M | 0 | 231 |2519 |2476 | 33 | 10 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.71 c 0.7s| 1 | 0 | 1586 | - | 39M | 0 | 231 |2525 |2479 | 36 | 11 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.78 c 0.8s| 1 | 2 | 1890 | - | 39M | 0 | 231 |2556 |2479 | 36 | 11 | 112 | 19 | 0.000000e+00 | -- | Inf | unknown
1.09/1.14 c 1.1s| 100 | 7 | 3547 | 19.8 | 43M | 20 | 231 |2603 |2455 | 73 | 0 | 159 | 19 | 0.000000e+00 | -- | Inf | 3.00%
1.48/1.51 c 1.5s| 200 | 9 | 4983 | 17.1 | 45M | 20 | 231 |2646 |2456 | 89 | 0 | 203 | 19 | 0.000000e+00 | -- | Inf | 7.81%
1.88/1.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.88/1.96 c 2.0s| 300 | 15 | 6323 | 15.8 | 49M | 20 | 231 |2703 |2457 | 124 | 0 | 263 | 19 | 0.000000e+00 | -- | Inf | 9.70%
2.08/2.17 c 2.2s| 400 | 14 | 7453 | 14.7 | 52M | 20 | 231 |2763 |2455 | 146 | 0 | 327 | 19 | 0.000000e+00 | -- | Inf | 59.90%
2.28/2.33 c 2.3s| 500 | 16 | 8866 | 14.6 | 52M | 20 | 231 |2825 |2455 | 146 | 1 | 391 | 19 | 0.000000e+00 | -- | Inf | 59.96%
2.38/2.49 c 2.5s| 600 | 19 | 10277 | 14.5 | 54M | 20 | 231 |2881 |2456 | 162 | 1 | 453 | 19 | 0.000000e+00 | -- | Inf | 60.15%
2.78/2.83 c 2.8s| 700 | 17 | 11954 | 14.8 | 55M | 20 | 231 |2969 |2458 | 172 | 1 | 548 | 19 | 0.000000e+00 | -- | Inf | 70.40%
2.98/3.02 c 3.0s| 800 | 23 | 13280 | 14.6 | 56M | 20 | 231 |3017 |2459 | 196 | 1 | 606 | 19 | 0.000000e+00 | -- | Inf | 70.52%
3.48/3.55 c 3.6s| 900 | 31 | 15205 | 15.1 | 57M | 20 | 231 |3092 |2452 | 196 | 0 | 683 | 19 | 0.000000e+00 | -- | Inf | 71.13%
3.88/3.96 c 4.0s| 1000 | 22 | 16386 | 14.8 | 57M | 30 | 231 |3176 |2459 | 199 | 1 | 771 | 19 | 0.000000e+00 | -- | Inf | 71.35%
4.17/4.26 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.17/4.26 c (run 1, node 1054) performing user restart
4.17/4.26 c
4.17/4.26 c (restart) converted 8 cuts from the global cut pool into linear constraints
4.17/4.26 c
4.17/4.27 c presolving:
4.17/4.27 c (round 1, fast) 21 del vars, 624 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 473 chg coeffs, 0 upgd conss, 0 impls, 320 clqs
4.17/4.27 c (round 2, medium) 31 del vars, 624 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 473 chg coeffs, 0 upgd conss, 0 impls, 302 clqs
4.17/4.27 c (round 3, fast) 31 del vars, 648 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 483 chg coeffs, 0 upgd conss, 0 impls, 302 clqs
4.17/4.27 c (round 4, exhaustive) 31 del vars, 649 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 483 chg coeffs, 5 upgd conss, 0 impls, 302 clqs
4.17/4.28 c (round 5, exhaustive) 31 del vars, 790 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 923 chg coeffs, 5 upgd conss, 0 impls, 302 clqs
4.17/4.28 c (round 6, exhaustive) 31 del vars, 813 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 923 chg coeffs, 5 upgd conss, 0 impls, 302 clqs
4.17/4.28 c (round 7, exhaustive) 31 del vars, 813 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 973 chg coeffs, 5 upgd conss, 0 impls, 302 clqs
4.17/4.29 c presolving (8 rounds: 8 fast, 6 medium, 5 exhaustive):
4.17/4.29 c 31 deleted vars, 813 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 973 changed coefficients
4.17/4.29 c 0 implications, 302 cliques
4.17/4.29 c presolved problem has 200 variables (200 bin, 0 int, 0 cont) and 2407 constraints
4.17/4.29 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
4.17/4.29 c 7 constraints of type <knapsack>
4.17/4.29 c 20 constraints of type <setppc>
4.17/4.29 c 2380 constraints of type <logicor>
4.17/4.29 c transformed objective value is always integral (scale: 1)
4.17/4.29 c Presolving Time: 0.06
4.17/4.29 c
4.27/4.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.27/4.30 c 4.3s| 1 | 0 | 17288 | - | 54M | 0 | 200 |2448 |1835 | 0 | 0 | 850 | 19 | 0.000000e+00 | -- | Inf | unknown
4.27/4.35 c 4.4s| 1 | 0 | 17302 | - | 55M | 0 | 200 |2449 |1840 | 5 | 1 | 851 | 19 | 0.000000e+00 | -- | Inf | unknown
4.37/4.40 c 4.4s| 1 | 0 | 17321 | - | 55M | 0 | 200 |2450 |1843 | 8 | 2 | 852 | 19 | 0.000000e+00 | -- | Inf | unknown
4.37/4.45 c 4.5s| 1 | 0 | 17331 | - | 55M | 0 | 200 |2453 |1844 | 9 | 3 | 855 | 19 | 0.000000e+00 | -- | Inf | unknown
4.47/4.50 c 4.5s| 1 | 0 | 17341 | - | 55M | 0 | 200 |2457 |1847 | 12 | 4 | 859 | 19 | 0.000000e+00 | -- | Inf | unknown
4.47/4.56 c 4.6s| 1 | 0 | 17351 | - | 55M | 0 | 200 |2463 |1849 | 14 | 5 | 865 | 19 | 0.000000e+00 | -- | Inf | unknown
4.57/4.61 c 4.6s| 1 | 0 | 17358 | - | 56M | 0 | 200 |2466 |1852 | 17 | 6 | 868 | 19 | 0.000000e+00 | -- | Inf | unknown
4.57/4.66 c 4.7s| 1 | 0 | 17371 | - | 56M | 0 | 200 |2470 |1856 | 21 | 7 | 872 | 19 | 0.000000e+00 | -- | Inf | unknown
4.67/4.72 c 4.7s| 1 | 0 | 17383 | - | 56M | 0 | 200 |2473 |1859 | 24 | 8 | 875 | 19 | 0.000000e+00 | -- | Inf | unknown
4.67/4.76 c 4.8s| 1 | 0 | 17402 | - | 56M | 0 | 200 |2477 |1862 | 27 | 9 | 879 | 19 | 0.000000e+00 | -- | Inf | unknown
4.77/4.80 c 4.8s| 1 | 0 | 17415 | - | 57M | 0 | 200 |2479 |1866 | 31 | 10 | 881 | 19 | 0.000000e+00 | -- | Inf | unknown
4.77/4.81 c 4.8s| 1 | 0 | 17427 | - | 58M | 0 | 200 |2484 |1870 | 35 | 11 | 886 | 19 | 0.000000e+00 | -- | Inf | unknown
4.77/4.88 c 4.9s| 1 | 2 | 17773 | - | 58M | 0 | 200 |2491 |1870 | 35 | 11 | 893 | 37 | 0.000000e+00 | -- | Inf | unknown
5.17/5.20 c 5.2s| 100 | 13 | 19561 | 15.4 | 60M | 19 | 200 |2551 |1843 | 52 | 1 | 954 | 37 | 0.000000e+00 | -- | Inf | 17.14%
5.57/5.69 c 5.7s| 200 | 12 | 21056 | 15.4 | 60M | 20 | 200 |2607 |1843 | 84 | 0 |1014 | 37 | 0.000000e+00 | -- | Inf | 24.90%
5.97/6.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.97/6.10 c 6.1s| 300 | 14 | 22429 | 15.2 | 62M | 20 | 200 |2645 |1842 | 126 | 1 |1061 | 37 | 0.000000e+00 | -- | Inf | 26.03%
6.16/6.25 c 6.3s| 400 | 14 | 23506 | 14.9 | 62M | 20 | 200 |2687 |1843 | 140 | 0 |1114 | 37 | 0.000000e+00 | -- | Inf | 26.21%
6.26/6.38 c 6.4s| 500 | 13 | 24494 | 14.6 | 62M | 20 | 200 |2734 |1843 | 147 | 0 |1165 | 37 | 0.000000e+00 | -- | Inf | 26.36%
6.47/6.52 c 6.5s| 600 | 17 | 25644 | 14.4 | 62M | 20 | 200 |2784 |1845 | 157 | 1 |1218 | 37 | 0.000000e+00 | -- | Inf | 26.43%
6.57/6.68 c 6.7s| 700 | 13 | 26818 | 14.3 | 62M | 20 | 200 |2838 |1845 | 157 | 0 |1278 | 37 | 0.000000e+00 | -- | Inf | 26.45%
6.76/6.84 c 6.8s| 800 | 17 | 27923 | 14.1 | 62M | 20 | 200 |2894 |1843 | 178 | 1 |1340 | 37 | 0.000000e+00 | -- | Inf | 26.63%
6.96/7.01 c 7.0s| 900 | 15 | 29004 | 13.9 | 62M | 20 | 200 |2950 |1845 | 184 | 0 |1401 | 37 | 0.000000e+00 | -- | Inf | 26.69%
7.06/7.16 c 7.2s| 1000 | 15 | 29991 | 13.7 | 62M | 20 | 200 |2995 |1843 | 184 | 1 |1452 | 37 | 0.000000e+00 | -- | Inf | 26.73%
7.16/7.25 c 7.3s| 1100 | 15 | 31183 | 13.6 | 62M | 23 | 200 |3053 |1844 | 186 | 1 |1513 | 37 | 0.000000e+00 | -- | Inf | 26.76%
7.26/7.34 c 7.3s| 1200 | 13 | 32502 | 13.6 | 62M | 26 | 200 |3099 |1845 | 186 | 0 |1563 | 37 | 0.000000e+00 | -- | Inf | 26.82%
7.36/7.45 c 7.4s| 1300 | 18 | 33732 | 13.6 | 62M | 27 | 200 |3145 |1843 | 193 | 1 |1613 | 37 | 0.000000e+00 | -- | Inf | 26.92%
7.46/7.53 c 7.5s| 1400 | 18 | 34845 | 13.5 | 62M | 27 | 200 |3200 |1843 | 198 | 0 |1670 | 37 | 0.000000e+00 | -- | Inf | 26.93%
7.56/7.62 c 7.6s| 1500 | 16 | 36091 | 13.4 | 62M | 27 | 200 |3261 |1844 | 207 | 0 |1732 | 37 | 0.000000e+00 | -- | Inf | 26.93%
7.66/7.73 c 7.7s| 1600 | 16 | 37440 | 13.4 | 62M | 28 | 200 |3307 |1846 | 221 | 0 |1785 | 37 | 0.000000e+00 | -- | Inf | 27.01%
7.76/7.81 c 7.8s| 1700 | 18 | 38665 | 13.4 | 62M | 28 | 200 |3346 |1842 | 223 | 0 |1834 | 37 | 0.000000e+00 | -- | Inf | 27.04%
7.76/7.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.76/7.88 c 7.9s| 1800 | 18 | 39755 | 13.3 | 62M | 28 | 200 |3397 |1846 | 224 | 0 |1889 | 37 | 0.000000e+00 | -- | Inf | 27.06%
7.86/7.99 c 8.0s| 1900 | 18 | 41037 | 13.3 | 62M | 28 | 200 |3446 |1845 | 234 | 0 |1943 | 37 | 0.000000e+00 | -- | Inf | 27.13%
8.06/8.15 c 8.2s| 2000 | 20 | 42517 | 13.3 | 62M | 28 | 200 |3508 |1843 | 255 | 1 |2010 | 37 | 0.000000e+00 | -- | Inf | 29.47%
8.35/8.46 c 8.5s| 2100 | 17 | 44179 | 13.4 | 62M | 28 | 200 |3570 |1842 | 288 | 0 |2086 | 37 | 0.000000e+00 | -- | Inf | 30.24%
8.45/8.54 c 8.5s| 2200 | 17 | 45609 | 13.5 | 62M | 28 | 200 |3632 |1843 | 294 | 0 |2158 | 37 | 0.000000e+00 | -- | Inf | 30.26%
8.55/8.66 c 8.7s| 2300 | 19 | 47165 | 13.5 | 62M | 28 | 200 |3686 |1845 | 304 | 2 |2236 | 37 | 0.000000e+00 | -- | Inf | 39.45%
8.75/8.85 c 8.9s| 2400 | 19 | 48791 | 13.6 | 62M | 28 | 200 |3736 |1845 | 333 | 1 |2310 | 37 | 0.000000e+00 | -- | Inf | 41.22%
8.85/8.99 c 9.0s| 2500 | 15 | 50064 | 13.6 | 62M | 28 | 200 |3786 |1848 | 343 | 2 |2374 | 37 | 0.000000e+00 | -- | Inf | 41.33%
8.96/9.07 c 9.1s| 2600 | 18 | 51387 | 13.6 | 62M | 28 | 200 |3831 |1847 | 345 | 0 |2432 | 37 | 0.000000e+00 | -- | Inf | 41.35%
9.15/9.28 c 9.3s| 2700 | 16 | 52772 | 13.6 | 62M | 28 | 200 |3884 |1841 | 375 | 0 |2496 | 37 | 0.000000e+00 | -- | Inf | 42.70%
9.45/9.59 c 9.6s| 2800 | 18 | 54380 | 13.6 | 62M | 28 | 200 |3950 |1842 | 410 | 0 |2575 | 37 | 0.000000e+00 | -- | Inf | 43.58%
9.65/9.75 c 9.7s| 2900 | 20 | 55857 | 13.7 | 62M | 28 | 200 |3996 |1843 | 421 | 0 |2642 | 37 | 0.000000e+00 | -- | Inf | 43.83%
10.05/10.14 c 10.1s| 3000 | 38 | 58320 | 13.9 | 64M | 28 | 200 |4060 |1846 | 489 | 0 |2742 | 37 | 0.000000e+00 | -- | Inf | 44.19%
10.16/10.28 c 10.3s| 3100 | 42 | 59620 | 13.9 | 64M | 28 | 200 |4111 |1846 | 507 | 1 |2818 | 37 | 0.000000e+00 | -- | Inf | 44.28%
10.26/10.36 c 10.4s| 3200 | 44 | 60890 | 13.9 | 64M | 28 | 200 |4194 |1843 | 508 | 0 |2914 | 37 | 0.000000e+00 | -- | Inf | 44.30%
10.36/10.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.36/10.44 c 10.4s| 3300 | 42 | 62084 | 13.8 | 64M | 28 | 200 |4255 | 0 | 508 | 0 |2991 | 37 | 0.000000e+00 | -- | Inf | 44.40%
10.46/10.53 c 10.5s| 3400 | 41 | 63330 | 13.8 | 64M | 28 | 200 |4299 |1846 | 508 | 0 |3057 | 37 | 0.000000e+00 | -- | Inf | 44.44%
10.56/10.61 c 10.6s| 3500 | 37 | 64695 | 13.8 | 64M | 28 | 200 |4312 |1843 | 509 | 0 |3108 | 37 | 0.000000e+00 | -- | Inf | 44.53%
10.66/10.70 c 10.7s| 3600 | 41 | 65955 | 13.8 | 64M | 28 | 200 |4369 |1845 | 509 | 0 |3200 | 37 | 0.000000e+00 | -- | Inf | 44.62%
10.66/10.78 c 10.8s| 3700 | 43 | 67193 | 13.8 | 64M | 28 | 200 |4447 |1846 | 509 | 1 |3303 | 37 | 0.000000e+00 | -- | Inf | 44.64%
10.75/10.86 c 10.9s| 3800 | 39 | 68424 | 13.7 | 64M | 28 | 200 |4535 |1845 | 509 | 1 |3411 | 37 | 0.000000e+00 | -- | Inf | 44.64%
10.85/10.95 c 11.0s| 3900 | 43 | 69833 | 13.7 | 64M | 28 | 200 |4579 |1846 | 510 | 0 |3474 | 37 | 0.000000e+00 | -- | Inf | 44.66%
10.96/11.04 c 11.0s| 4000 | 43 | 71282 | 13.8 | 64M | 28 | 200 |4638 |1845 | 511 | 1 |3563 | 37 | 0.000000e+00 | -- | Inf | 44.67%
11.06/11.13 c 11.1s| 4100 | 43 | 72511 | 13.7 | 64M | 28 | 200 |4737 |1843 | 513 | 1 |3673 | 37 | 0.000000e+00 | -- | Inf | 44.76%
11.25/11.32 c 11.3s| 4200 | 43 | 73895 | 13.7 | 64M | 28 | 200 |4789 |1839 | 520 | 0 |3745 | 37 | 0.000000e+00 | -- | Inf | 45.56%
11.45/11.52 c 11.5s| 4300 | 43 | 75264 | 13.7 | 64M | 28 | 200 |4841 |1839 | 549 | 1 |3808 | 37 | 0.000000e+00 | -- | Inf | 49.07%
11.75/11.88 c 11.9s| 4400 | 45 | 76927 | 13.8 | 64M | 28 | 200 |4886 |1842 | 585 | 0 |3864 | 37 | 0.000000e+00 | -- | Inf | 51.02%
11.96/12.01 c 12.0s| 4500 | 45 | 78012 | 13.7 | 64M | 28 | 200 |4939 |1843 | 608 | 1 |3926 | 37 | 0.000000e+00 | -- | Inf | 51.34%
11.96/12.10 c 12.1s| 4600 | 43 | 79368 | 13.7 | 64M | 28 | 200 |5018 |1843 | 610 | 0 |4017 | 37 | 0.000000e+00 | -- | Inf | 51.41%
12.06/12.19 c 12.2s| 4700 | 41 | 80904 | 13.8 | 64M | 28 | 200 |5086 |1845 | 613 | 0 |4103 | 37 | 0.000000e+00 | -- | Inf | 51.43%
12.45/12.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.45/12.50 c 12.5s| 4800 | 47 | 82198 | 13.7 | 64M | 28 | 200 |5113 |1843 | 659 | 1 |4150 | 37 | 0.000000e+00 | -- | Inf | 61.37%
12.65/12.71 c 12.7s| 4900 | 42 | 83400 | 13.7 | 64M | 28 | 200 |5147 |1839 | 695 | 1 |4205 | 37 | 0.000000e+00 | -- | Inf | 63.34%
12.95/13.07 c 13.1s| 5000 | 44 | 85050 | 13.8 | 64M | 28 | 200 |5153 |1842 | 731 | 0 |4265 | 37 | 0.000000e+00 | -- | Inf | 65.44%
13.05/13.16 c 13.2s| 5100 | 44 | 86209 | 13.7 | 64M | 34 | 200 |5185 |1846 | 734 | 0 |4320 | 37 | 0.000000e+00 | -- | Inf | 68.62%
13.15/13.25 c 13.2s| 5200 | 47 | 87364 | 13.7 | 64M | 34 | 200 |5236 |1843 | 734 | 0 |4398 | 37 | 0.000000e+00 | -- | Inf | 68.63%
13.25/13.34 c 13.3s| 5300 | 45 | 88668 | 13.7 | 64M | 34 | 200 |5291 |1843 | 735 | 0 |4474 | 37 | 0.000000e+00 | -- | Inf | 68.63%
13.45/13.50 c 13.5s| 5400 | 45 | 90071 | 13.7 | 64M | 34 | 200 |5270 |1839 | 753 | 1 |4531 | 37 | 0.000000e+00 | -- | Inf | 72.15%
13.65/13.75 c 13.7s| 5500 | 43 | 91467 | 13.7 | 64M | 34 | 200 |5309 |1844 | 788 | 0 |4610 | 37 | 0.000000e+00 | -- | Inf | 72.99%
13.84/13.94 c 13.9s| 5600 | 43 | 92837 | 13.7 | 64M | 34 | 200 |5352 |1842 | 799 | 0 |4688 | 37 | 0.000000e+00 | -- | Inf | 74.32%
13.95/14.09 c 14.1s| 5700 | 46 | 94368 | 13.7 | 64M | 34 | 200 |5400 |1843 | 817 | 0 |4752 | 37 | 0.000000e+00 | -- | Inf | 74.63%
14.14/14.25 c 14.3s| 5800 | 50 | 95808 | 13.7 | 64M | 34 | 200 |5433 |1845 | 838 | 1 |4830 | 37 | 0.000000e+00 | -- | Inf | 74.78%
14.24/14.34 c 14.3s| 5900 | 50 | 97127 | 13.7 | 64M | 34 | 200 |5491 |1842 | 838 | 1 |4904 | 37 | 0.000000e+00 | -- | Inf | 74.83%
14.34/14.44 c 14.4s| 6000 | 49 | 98361 | 13.7 | 64M | 34 | 200 |5537 |1845 | 846 | 0 |4969 | 37 | 0.000000e+00 | -- | Inf | 74.89%
14.44/14.52 c 14.5s| 6100 | 49 | 99708 | 13.7 | 64M | 34 | 200 |5591 |1845 | 846 | 1 |5045 | 37 | 0.000000e+00 | -- | Inf | 74.95%
14.54/14.61 c 14.6s| 6200 | 48 |101243 | 13.7 | 64M | 34 | 200 |5687 |1845 | 846 | 1 |5157 | 37 | 0.000000e+00 | -- | Inf | 74.98%
14.64/14.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.64/14.71 c 14.7s| 6300 | 44 |102687 | 13.7 | 65M | 34 | 200 |5762 |1845 | 846 | 0 |5246 | 37 | 0.000000e+00 | -- | Inf | 74.99%
14.74/14.80 c 14.8s| 6400 | 46 |104182 | 13.7 | 65M | 34 | 200 |5833 |1845 | 846 | 0 |5338 | 37 | 0.000000e+00 | -- | Inf | 75.02%
14.84/14.90 c 14.9s| 6500 | 42 |105896 | 13.8 | 65M | 34 | 200 |5886 |1845 | 846 | 1 |5436 | 37 | 0.000000e+00 | -- | Inf | 75.04%
14.84/14.99 c 15.0s| 6600 | 44 |107447 | 13.8 | 65M | 34 | 200 |5957 |1845 | 846 | 1 |5532 | 37 | 0.000000e+00 | -- | Inf | 75.05%
15.05/15.14 c 15.1s| 6700 | 42 |109211 | 13.9 | 65M | 34 | 200 |6024 |1844 | 862 | 0 |5634 | 37 | 0.000000e+00 | -- | Inf | 75.64%
15.14/15.23 c 15.2s| 6800 | 42 |110703 | 13.9 | 65M | 34 | 200 |6058 |1844 | 862 | 0 |5693 | 37 | 0.000000e+00 | -- | Inf | 75.64%
15.24/15.31 c 15.3s| 6900 | 42 |111807 | 13.8 | 65M | 34 | 200 |6108 |1844 | 862 | 1 |5767 | 37 | 0.000000e+00 | -- | Inf | 75.64%
15.34/15.41 c 15.4s| 7000 | 38 |113443 | 13.9 | 65M | 34 | 200 |6142 |1845 | 862 | 0 |5844 | 37 | 0.000000e+00 | -- | Inf | 75.65%
15.54/15.61 c 15.6s| 7100 | 40 |114982 | 13.9 | 65M | 34 | 200 |6183 |1843 | 895 | 1 |5912 | 37 | 0.000000e+00 | -- | Inf | 75.94%
15.64/15.71 c 15.7s| 7200 | 38 |116580 | 13.9 | 65M | 34 | 200 |6273 |1846 | 901 | 1 |6034 | 37 | 0.000000e+00 | -- | Inf | 76.04%
15.74/15.85 c 15.8s| 7300 | 38 |118100 | 13.9 | 65M | 34 | 200 |6336 |1845 | 914 | 0 |6116 | 37 | 0.000000e+00 | -- | Inf | 76.19%
15.84/15.93 c 15.9s| 7400 | 40 |119232 | 13.9 | 65M | 34 | 200 |6389 |1842 | 914 | 1 |6180 | 37 | 0.000000e+00 | -- | Inf | 76.22%
15.94/16.02 c 16.0s| 7500 | 36 |120602 | 13.9 | 65M | 34 | 200 |6428 |1844 | 914 | 0 |6235 | 37 | 0.000000e+00 | -- | Inf | 76.24%
16.04/16.10 c 16.1s| 7600 | 43 |121851 | 13.9 | 65M | 34 | 200 |6465 |1844 | 914 | 1 |6304 | 37 | 0.000000e+00 | -- | Inf | 76.26%
16.04/16.18 c 16.2s| 7700 | 40 |123009 | 13.8 | 65M | 34 | 200 |6521 |1844 | 914 | 0 |6374 | 37 | 0.000000e+00 | -- | Inf | 76.26%
16.14/16.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.14/16.27 c 16.3s| 7800 | 42 |124493 | 13.9 | 65M | 34 | 200 |6572 |1844 | 914 | 1 |6436 | 37 | 0.000000e+00 | -- | Inf | 76.26%
16.24/16.36 c 16.4s| 7900 | 44 |125908 | 13.9 | 65M | 34 | 200 |6627 |1844 | 915 | 1 |6504 | 37 | 0.000000e+00 | -- | Inf | 76.27%
16.34/16.44 c 16.4s| 8000 | 44 |127126 | 13.8 | 65M | 34 | 200 |6675 |1844 | 915 | 1 |6564 | 37 | 0.000000e+00 | -- | Inf | 76.27%
16.44/16.53 c 16.5s| 8100 | 44 |128661 | 13.9 | 65M | 34 | 200 |6719 |1844 | 915 | 1 |6626 | 37 | 0.000000e+00 | -- | Inf | 76.28%
16.54/16.63 c 16.6s| 8200 | 46 |130224 | 13.9 | 65M | 34 | 200 |6761 |1844 | 916 | 0 |6681 | 37 | 0.000000e+00 | -- | Inf | 76.28%
16.64/16.72 c 16.7s| 8300 | 46 |131801 | 13.9 | 65M | 34 | 200 |6825 |1844 | 916 | 1 |6754 | 37 | 0.000000e+00 | -- | Inf | 76.28%
16.74/16.81 c 16.8s| 8400 | 44 |133080 | 13.9 | 65M | 34 | 200 |6885 |1843 | 917 | 1 |6825 | 37 | 0.000000e+00 | -- | Inf | 76.28%
16.83/16.91 c 16.9s| 8500 | 46 |134882 | 13.9 | 65M | 34 | 200 |6949 |1843 | 917 | 1 |6906 | 37 | 0.000000e+00 | -- | Inf | 76.29%
16.94/17.00 c 17.0s| 8600 | 48 |136504 | 14.0 | 65M | 34 | 200 |7022 |1843 | 917 | 0 |6989 | 37 | 0.000000e+00 | -- | Inf | 76.29%
16.94/17.09 c 17.1s| 8700 | 56 |138027 | 14.0 | 65M | 34 | 200 |7056 |1844 | 917 | 1 |7056 | 37 | 0.000000e+00 | -- | Inf | 76.29%
17.04/17.18 c 17.2s| 8800 | 54 |139335 | 14.0 | 65M | 36 | 200 |7143 |1843 | 917 | 1 |7155 | 37 | 0.000000e+00 | -- | Inf | 76.29%
17.13/17.27 c 17.3s| 8900 | 58 |140962 | 14.0 | 66M | 36 | 200 |7241 |1843 | 917 | 0 |7259 | 37 | 0.000000e+00 | -- | Inf | 76.29%
17.23/17.37 c 17.4s| 9000 | 56 |142452 | 14.0 | 67M | 36 | 200 |7338 |1843 | 917 | 0 |7360 | 37 | 0.000000e+00 | -- | Inf | 76.29%
17.33/17.45 c 17.5s| 9100 | 48 |143737 | 14.0 | 67M | 36 | 200 |7427 |1844 | 917 | 0 |7454 | 37 | 0.000000e+00 | -- | Inf | 76.29%
17.73/17.89 c 17.9s| 9200 | 52 |145415 | 14.0 | 67M | 36 | 200 |7421 |1848 | 977 | 2 |7491 | 37 | 0.000000e+00 | -- | Inf | 81.36%
17.94/18.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.94/18.09 c 18.1s| 9300 | 46 |146862 | 14.0 | 67M | 36 | 200 |7466 |1845 |1002 | 0 |7562 | 37 | 0.000000e+00 | -- | Inf | 82.49%
18.13/18.27 c 18.3s| 9400 | 44 |148043 | 14.0 | 67M | 36 | 200 |7505 |1844 |1009 | 1 |7631 | 37 | 0.000000e+00 | -- | Inf | 82.92%
18.23/18.36 c 18.4s| 9500 | 42 |149294 | 14.0 | 67M | 36 | 200 |7554 |1846 |1009 | 0 |7707 | 37 | 0.000000e+00 | -- | Inf | 82.95%
18.33/18.46 c 18.5s| 9600 | 44 |150716 | 14.0 | 67M | 36 | 200 |7595 |1846 |1009 | 0 |7784 | 37 | 0.000000e+00 | -- | Inf | 82.98%
18.43/18.56 c 18.6s| 9700 | 42 |152012 | 14.0 | 67M | 36 | 200 |7646 |1846 |1009 | 0 |7846 | 37 | 0.000000e+00 | -- | Inf | 82.99%
18.53/18.67 c 18.7s| 9800 | 42 |153684 | 14.0 | 67M | 36 | 200 |7695 |1846 |1009 | 0 |7914 | 37 | 0.000000e+00 | -- | Inf | 82.99%
18.63/18.79 c 18.8s| 9900 | 42 |155335 | 14.0 | 67M | 36 | 200 |7733 |1846 |1009 | 0 |7972 | 37 | 0.000000e+00 | -- | Inf | 82.99%
18.73/18.89 c 18.9s| 10000 | 46 |156967 | 14.0 | 67M | 36 | 200 |7772 |1846 |1009 | 0 |8026 | 37 | 0.000000e+00 | -- | Inf | 82.99%
18.83/19.00 c 19.0s| 10100 | 42 |158439 | 14.0 | 67M | 36 | 200 |7806 |1846 |1009 | 0 |8080 | 37 | 0.000000e+00 | -- | Inf | 82.99%
19.03/19.11 c 19.1s| 10200 | 48 |160178 | 14.1 | 67M | 36 | 200 |7843 |1846 |1009 | 0 |8128 | 37 | 0.000000e+00 | -- | Inf | 82.99%
19.13/19.22 c 19.2s| 10300 | 48 |161952 | 14.1 | 67M | 36 | 200 |7887 |1846 |1009 | 1 |8179 | 37 | 0.000000e+00 | -- | Inf | 82.99%
19.23/19.33 c 19.3s| 10400 | 44 |163696 | 14.1 | 67M | 36 | 200 |7930 |1846 |1009 | 0 |8231 | 37 | 0.000000e+00 | -- | Inf | 82.99%
19.32/19.44 c 19.4s| 10500 | 44 |165342 | 14.2 | 67M | 36 | 200 |7959 |1846 |1010 | 0 |8312 | 37 | 0.000000e+00 | -- | Inf | 83.00%
19.42/19.55 c 19.6s| 10600 | 42 |166865 | 14.2 | 67M | 36 | 200 |7994 |1844 |1010 | 0 |8380 | 37 | 0.000000e+00 | -- | Inf | 83.01%
19.62/19.73 c 19.7s| 10700 | 42 |168344 | 14.2 | 67M | 36 | 200 |8012 |1841 |1034 | 1 |8439 | 37 | 0.000000e+00 | -- | Inf | 83.28%
19.72/19.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.72/19.85 c 19.9s| 10800 | 44 |169812 | 14.2 | 67M | 36 | 200 |8046 |1844 |1041 | 0 |8506 | 37 | 0.000000e+00 | -- | Inf | 83.38%
19.82/19.94 c 19.9s| 10900 | 40 |171075 | 14.2 | 67M | 36 | 200 |8077 |1846 |1041 | 1 |8556 | 37 | 0.000000e+00 | -- | Inf | 83.40%
19.93/20.05 c 20.0s| 11000 | 38 |172621 | 14.2 | 67M | 36 | 200 |8156 |1844 |1041 | 0 |8672 | 37 | 0.000000e+00 | -- | Inf | 83.45%
20.03/20.14 c 20.1s| 11100 | 42 |173983 | 14.2 | 67M | 36 | 200 |8221 |1844 |1041 | 1 |8764 | 37 | 0.000000e+00 | -- | Inf | 83.45%
20.12/20.24 c 20.2s| 11200 | 44 |175575 | 14.2 | 67M | 36 | 200 |8270 |1844 |1041 | 0 |8831 | 37 | 0.000000e+00 | -- | Inf | 83.45%
20.22/20.35 c 20.3s| 11300 | 44 |177266 | 14.2 | 67M | 36 | 200 |8349 |1844 |1043 | 1 |8914 | 37 | 0.000000e+00 | -- | Inf | 83.45%
20.32/20.46 c 20.5s| 11400 | 34 |178815 | 14.2 | 67M | 36 | 200 |8417 |1846 |1043 | 0 |9004 | 37 | 0.000000e+00 | -- | Inf | 83.45%
20.92/21.02 c 21.0s| 11500 | 38 |180657 | 14.2 | 67M | 36 | 200 |8394 |1844 |1116 | 0 |9052 | 37 | 0.000000e+00 | -- | Inf | 85.24%
21.12/21.21 c 21.2s| 11600 | 40 |182152 | 14.3 | 67M | 36 | 200 |8414 |1845 |1140 | 0 |9117 | 37 | 0.000000e+00 | -- | Inf | 85.59%
21.22/21.33 c 21.3s| 11700 | 38 |183626 | 14.3 | 67M | 36 | 200 |8463 |1847 |1147 | 0 |9194 | 37 | 0.000000e+00 | -- | Inf | 85.65%
21.32/21.42 c 21.4s| 11800 | 40 |184886 | 14.2 | 67M | 36 | 200 |8505 |1844 |1147 | 1 |9265 | 37 | 0.000000e+00 | -- | Inf | 85.70%
21.42/21.50 c 21.5s| 11900 | 38 |186072 | 14.2 | 67M | 36 | 200 |8584 |1844 |1147 | 1 |9351 | 37 | 0.000000e+00 | -- | Inf | 85.70%
21.52/21.60 c 21.6s| 12000 | 46 |187802 | 14.2 | 67M | 36 | 200 |8578 |1844 |1151 | 1 |9385 | 37 | 0.000000e+00 | -- | Inf | 85.70%
21.62/21.72 c 21.7s| 12100 | 56 |189664 | 14.3 | 67M | 36 | 200 |8578 |1844 |1151 | 0 |9446 | 37 | 0.000000e+00 | -- | Inf | 85.72%
21.72/21.84 c 21.8s| 12200 | 66 |191523 | 14.3 | 67M | 36 | 200 |8585 |1844 |1151 | 0 |9496 | 37 | 0.000000e+00 | -- | Inf | 85.72%
21.82/21.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.82/21.95 c 22.0s| 12300 | 72 |193340 | 14.3 | 67M | 36 | 200 |8634 |1844 |1152 | 0 |9568 | 37 | 0.000000e+00 | -- | Inf | 85.72%
21.92/22.06 c 22.1s| 12400 | 68 |195178 | 14.4 | 67M | 36 | 200 |8723 |1844 |1152 | 0 |9669 | 37 | 0.000000e+00 | -- | Inf | 85.72%
22.02/22.16 c 22.2s| 12500 | 68 |196849 | 14.4 | 67M | 36 | 200 |8802 |1844 |1153 | 1 |9758 | 37 | 0.000000e+00 | -- | Inf | 85.72%
22.12/22.27 c 22.3s| 12600 | 66 |198832 | 14.4 | 67M | 36 | 200 |8882 |1844 |1153 | 1 |9845 | 37 | 0.000000e+00 | -- | Inf | 85.72%
22.21/22.38 c 22.4s| 12700 | 62 |200497 | 14.4 | 67M | 36 | 200 |9002 |1844 |1153 | 0 |9976 | 37 | 0.000000e+00 | -- | Inf | 85.72%
22.31/22.48 c 22.5s| 12800 | 62 |201934 | 14.4 | 67M | 36 | 200 |9097 |1844 |1153 | 1 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.72%
22.51/22.61 c 22.6s| 12900 | 57 |203807 | 14.5 | 67M | 36 | 200 |9195 |1844 |1153 | 1 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.72%
22.61/22.71 c 22.7s| 13000 | 58 |205647 | 14.5 | 67M | 36 | 200 |9270 |1844 |1153 | 1 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.72%
22.71/22.81 c 22.8s| 13100 | 54 |207409 | 14.5 | 67M | 40 | 200 |9359 |1844 |1153 | 1 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.72%
22.81/22.91 c 22.9s| 13200 | 50 |209099 | 14.5 | 67M | 40 | 200 |9439 |1844 |1153 | 0 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.72%
22.92/23.00 c 23.0s| 13300 | 50 |210763 | 14.6 | 67M | 40 | 200 |9521 |1844 |1156 | 1 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.72%
23.02/23.11 c 23.1s| 13400 | 46 |212572 | 14.6 | 67M | 40 | 200 |9637 |1844 |1156 | 0 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.73%
23.11/23.21 c 23.2s| 13500 | 42 |213981 | 14.6 | 67M | 40 | 200 |9675 |1846 |1156 | 0 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.73%
23.21/23.32 c 23.3s| 13600 | 42 |215605 | 14.6 | 67M | 40 | 200 |9697 |1847 |1156 | 0 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.75%
23.31/23.42 c 23.4s| 13700 | 38 |217254 | 14.6 | 67M | 40 | 200 |9790 |1847 |1159 | 0 | 10k| 37 | 0.000000e+00 | -- | Inf | 85.75%
23.51/23.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.51/23.62 c 23.6s| 13800 | 38 |218845 | 14.6 | 67M | 40 | 200 |9794 |1846 |1177 | 1 | 10k| 37 | 0.000000e+00 | -- | Inf | 87.31%
23.61/23.77 c 23.8s| 13900 | 38 |220268 | 14.6 | 67M | 40 | 200 |9815 |1844 |1196 | 0 | 11k| 37 | 0.000000e+00 | -- | Inf | 88.09%
23.71/23.88 c 23.9s| 14000 | 36 |221687 | 14.6 | 67M | 40 | 200 |9820 |1846 |1206 | 0 | 11k| 37 | 0.000000e+00 | -- | Inf | 88.30%
23.91/24.06 c 24.1s| 14100 | 33 |222979 | 14.6 | 67M | 40 | 200 |9775 |1843 |1229 | 0 | 11k| 37 | 0.000000e+00 | -- | Inf | 88.78%
24.01/24.19 c 24.2s| 14200 | 35 |224264 | 14.6 | 67M | 40 | 200 |9660 |1839 |1242 | 0 | 11k| 37 | 0.000000e+00 | -- | Inf | 89.68%
24.31/24.48 c 24.5s| 14300 | 35 |225698 | 14.6 | 67M | 40 | 200 |9615 |1844 |1287 | 1 | 11k| 37 | 0.000000e+00 | -- | Inf | 91.24%
24.61/24.76 c 24.8s| 14400 | 35 |227413 | 14.6 | 67M | 40 | 200 |9553 |1844 |1317 | 0 | 11k| 37 | 0.000000e+00 | -- | Inf | 93.12%
24.91/25.03 c 25.0s| 14500 | 35 |229019 | 14.6 | 67M | 40 | 200 |9573 |1844 |1356 | 0 | 11k| 37 | 0.000000e+00 | -- | Inf | 93.93%
25.10/25.25 c 25.2s| 14600 | 37 |230364 | 14.6 | 67M | 40 | 200 |9585 |1844 |1394 | 1 | 11k| 37 | 0.000000e+00 | -- | Inf | 94.37%
25.20/25.38 c 25.4s| 14700 | 38 |231658 | 14.6 | 68M | 40 | 200 |9590 |1845 |1410 | 0 | 11k| 37 | 0.000000e+00 | -- | Inf | 94.66%
25.40/25.52 c 25.5s| 14800 | 38 |233067 | 14.6 | 68M | 40 | 200 |9605 |1846 |1431 | 1 | 11k| 37 | 0.000000e+00 | -- | Inf | 94.71%
25.50/25.61 c 25.6s| 14900 | 38 |234312 | 14.6 | 68M | 40 | 200 |9640 |1845 |1431 | 0 | 11k| 37 | 0.000000e+00 | -- | Inf | 94.82%
25.60/25.72 c 25.7s| 15000 | 39 |235396 | 14.6 | 68M | 40 | 200 |9689 |1843 |1445 | 1 | 11k| 37 | 0.000000e+00 | -- | Inf | 94.92%
25.70/25.80 c 25.8s| 15100 | 40 |236388 | 14.5 | 68M | 40 | 200 |9751 |1846 |1446 | 1 | 11k| 37 | 0.000000e+00 | -- | Inf | 94.94%
25.80/25.90 c 25.9s| 15200 | 38 |237930 | 14.5 | 68M | 40 | 200 |9823 |1845 |1450 | 1 | 11k| 37 | 0.000000e+00 | -- | Inf | 94.95%
25.91/26.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.91/26.01 c 26.0s| 15300 | 36 |239147 | 14.5 | 68M | 40 | 200 |9855 |1843 |1462 | 1 | 11k| 37 | 0.000000e+00 | -- | Inf | 95.00%
26.01/26.10 c 26.1s| 15400 | 36 |240500 | 14.5 | 68M | 40 | 200 |9830 |1843 |1463 | 0 | 12k| 37 | 0.000000e+00 | -- | Inf | 95.03%
26.10/26.22 c 26.2s| 15500 | 34 |241989 | 14.5 | 68M | 40 | 200 |9802 |1847 |1464 | 0 | 12k| 37 | 0.000000e+00 | -- | Inf | 95.05%
26.20/26.33 c 26.3s| 15600 | 34 |243544 | 14.5 | 68M | 40 | 200 |9857 |1845 |1469 | 1 | 12k| 37 | 0.000000e+00 | -- | Inf | 95.06%
26.30/26.48 c 26.5s| 15700 | 32 |244882 | 14.5 | 68M | 40 | 200 |9864 |1842 |1484 | 1 | 12k| 37 | 0.000000e+00 | -- | Inf | 95.25%
26.40/26.57 c 26.6s| 15800 | 37 |246092 | 14.5 | 68M | 40 | 200 |9852 |1842 |1484 | 0 | 12k| 37 | 0.000000e+00 | -- | Inf | 95.30%
26.60/26.76 c 26.8s| 15900 | 30 |247539 | 14.5 | 68M | 40 | 200 |9821 |1849 |1501 | 3 | 12k| 37 | 0.000000e+00 | -- | Inf | 95.83%
26.80/26.90 c 26.9s| 16000 | 28 |248909 | 14.5 | 68M | 40 | 200 |9870 |1846 |1509 | 0 | 12k| 37 | 0.000000e+00 | -- | Inf | 96.14%
26.90/27.00 c 27.0s| 16100 | 28 |250421 | 14.5 | 68M | 40 | 200 |9978 |1845 |1514 | 1 | 12k| 37 | 0.000000e+00 | -- | Inf | 96.14%
27.00/27.11 c 27.1s| 16200 | 24 |251830 | 14.5 | 68M | 40 | 200 | 10k|1847 |1514 | 0 | 12k| 37 | 0.000000e+00 | -- | Inf | 96.17%
27.10/27.22 c 27.2s| 16300 | 22 |253221 | 14.5 | 68M | 40 | 200 | 10k|1847 |1514 | 1 | 12k| 37 | 0.000000e+00 | -- | Inf | 96.19%
27.20/27.34 c 27.3s| 16400 | 20 |254753 | 14.5 | 68M | 40 | 200 | 10k|1841 |1515 | 0 | 12k| 37 | 0.000000e+00 | -- | Inf | 96.19%
27.30/27.44 c 27.4s| 16500 | 18 |256015 | 14.5 | 68M | 40 | 200 | 10k|1846 |1515 | 0 | 12k| 37 | 0.000000e+00 | -- | Inf | 96.20%
27.40/27.55 c 27.6s| 16600 | 17 |257207 | 14.5 | 68M | 40 | 200 | 10k|1846 |1515 | 1 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.20%
27.50/27.64 c 27.6s| 16700 | 16 |258310 | 14.4 | 68M | 40 | 200 | 10k|1846 |1515 | 1 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.20%
27.60/27.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.60/27.75 c 27.8s| 16800 | 16 |259787 | 14.5 | 68M | 40 | 200 | 10k|1841 |1515 | 1 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.22%
27.69/27.86 c 27.9s| 16900 | 16 |261256 | 14.5 | 68M | 40 | 200 | 10k|1841 |1515 | 1 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.27%
27.79/27.98 c 28.0s| 17000 | 14 |262672 | 14.5 | 68M | 40 | 200 | 10k|1844 |1525 | 0 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.36%
27.90/28.08 c 28.1s| 17100 | 16 |264050 | 14.4 | 68M | 40 | 200 | 10k|1845 |1526 | 0 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.37%
28.00/28.19 c 28.2s| 17200 | 18 |265607 | 14.5 | 68M | 40 | 200 | 10k|1845 |1527 | 0 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.37%
28.19/28.30 c 28.3s| 17300 | 18 |267036 | 14.5 | 68M | 40 | 200 | 10k|1845 |1528 | 0 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.37%
28.29/28.43 c 28.4s| 17400 | 18 |268816 | 14.5 | 68M | 40 | 200 | 10k|1845 |1528 | 1 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.37%
28.39/28.54 c 28.5s| 17500 | 14 |270483 | 14.5 | 68M | 40 | 200 | 10k|1844 |1528 | 0 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.37%
28.59/28.71 c 28.7s| 17600 | 10 |272293 | 14.5 | 68M | 40 | 200 | 10k|1843 |1536 | 1 | 13k| 37 | 0.000000e+00 | -- | Inf | 96.53%
28.79/28.93 c 28.9s| 17700 | 10 |273767 | 14.5 | 68M | 40 | 200 | 10k|1842 |1556 | 1 | 14k| 37 | 0.000000e+00 | -- | Inf | 98.26%
28.99/29.17 c 29.2s| 17800 | 10 |275196 | 14.5 | 68M | 40 | 200 | 10k|1842 |1566 | 0 | 14k| 37 | 0.000000e+00 | -- | Inf | 98.90%
29.19/29.33 c 29.3s| 17900 | 12 |276569 | 14.5 | 68M | 40 | 200 | 10k|1842 |1578 | 1 | 14k| 37 | 0.000000e+00 | -- | Inf | 99.10%
29.39/29.50 c 29.5s| 18000 | 10 |277856 | 14.5 | 68M | 40 | 200 | 10k|1841 |1592 | 0 | 14k| 37 | 0.000000e+00 | -- | Inf | 99.34%
29.49/29.68 c 29.7s| 18100 | 12 |279110 | 14.5 | 68M | 40 | 200 | 10k|1842 |1607 | 1 | 14k| 37 | 0.000000e+00 | -- | Inf | 99.55%
29.69/29.80 c 29.8s| 18200 | 12 |280364 | 14.5 | 68M | 40 | 200 | 10k|1842 |1613 | 1 | 14k| 37 | 0.000000e+00 | -- | Inf | 99.64%
29.79/29.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.79/29.91 c 29.9s| 18300 | 10 |281746 | 14.5 | 68M | 40 | 200 | 10k|1842 |1613 | 0 | 14k| 37 | 0.000000e+00 | -- | Inf | 99.66%
29.89/30.02 c 30.0s| 18400 | 12 |282953 | 14.5 | 68M | 40 | 200 | 10k|1842 |1613 | 1 | 14k| 37 | 0.000000e+00 | -- | Inf | 99.68%
29.99/30.13 c 30.1s| 18500 | 8 |284356 | 14.5 | 68M | 40 | 200 | 10k|1842 |1613 | 0 | 14k| 37 | 0.000000e+00 | -- | Inf | 99.70%
30.09/30.25 c 30.2s| 18600 | 10 |285956 | 14.5 | 68M | 40 | 200 | 10k|1842 |1613 | 1 | 14k| 37 | 0.000000e+00 | -- | Inf | 99.70%
30.28/30.40 c 30.4s| 18700 | 8 |287287 | 14.5 | 68M | 40 | 200 | 10k|1842 |1628 | 0 | 14k| 37 | 0.000000e+00 | -- | Inf | 99.86%
30.38/30.53 c 30.5s| 18800 | 8 |288627 | 14.4 | 68M | 40 | 200 | 10k|1844 |1637 | 1 | 15k| 37 | 0.000000e+00 | -- | Inf | 99.95%
30.48/30.63 c 30.6s| 18900 | 8 |289862 | 14.4 | 68M | 40 | 200 | 10k|1844 |1637 | 0 | 15k| 37 | 0.000000e+00 | -- | Inf | 99.99%
30.58/30.74 c 30.7s| 19000 | 8 |291132 | 14.4 | 68M | 40 | 200 | 10k|1844 |1637 | 1 | 15k| 37 | 0.000000e+00 | -- | Inf | 100.00%
30.68/30.86 c 30.9s| 19100 | 4 |292480 | 14.4 | 68M | 40 | 200 | 10k|1844 |1637 | 1 | 15k| 37 | 0.000000e+00 | -- | Inf | 100.00%
30.78/30.92 c
30.78/30.92 c SCIP Status : problem is solved [infeasible]
30.78/30.92 c Solving Time (sec) : 30.92
30.78/30.92 c Solving Nodes : 19150 (total of 20204 nodes in 2 runs)
30.78/30.92 c Primal Bound : +1.00000000000000e+20 (0 solutions)
30.78/30.92 c Dual Bound : +1.00000000000000e+20
30.78/30.92 c Gap : 0.00 %
30.78/30.92 s UNSATISFIABLE
30.78/30.92 c SCIP Status : problem is solved [infeasible]
30.78/30.92 c Total Time : 30.92
30.78/30.92 c solving : 30.92
30.78/30.92 c presolving : 0.06 (included in solving)
30.78/30.92 c reading : 0.00 (included in solving)
30.78/30.92 c copying : 0.45 (106 #copies) (minimal 0.00, maximal 0.01, average 0.00)
30.78/30.92 c Original Problem :
30.78/30.92 c Problem name : HOME/instance-4494643-1751149924.opb
30.78/30.92 c Variables : 231 (231 binary, 0 integer, 0 continuous)
30.78/30.92 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
30.78/30.92 c Constraints : 2707 initial, 2707 maximal
30.78/30.92 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
30.78/30.92 c Presolved Problem :
30.78/30.92 c Problem name : t_HOME/instance-4494643-1751149924.opb
30.78/30.92 c Variables : 200 (200 binary, 0 integer, 0 continuous)
30.78/30.92 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
30.78/30.92 c Constraints : 2407 initial, 10645 maximal
30.78/30.92 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
30.78/30.92 c Nonzeros : 10656 constraint, 784 clique table
30.78/30.92 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
30.78/30.92 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
30.78/30.92 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
30.78/30.92 c gateextraction : 0.00 0.00 7 0 0 0 0 0 1 0 0 0
30.78/30.92 c implics : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
30.78/30.92 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
30.78/30.92 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
30.78/30.92 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c trivial : 0.00 0.00 14 21 0 0 0 0 0 0 0 0
30.78/30.92 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
30.78/30.92 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
30.78/30.92 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
30.78/30.92 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
30.78/30.92 c vbounds : 0.00 0.00 2 0 10 0 0 0 0 0 0 0
30.78/30.92 c knapsack : 0.00 0.00 25 0 0 0 0 0 0 0 0 3
30.78/30.92 c setppc : 0.00 0.00 25 0 0 0 0 0 66 0 0 0
30.78/30.92 c linear : 0.02 0.00 13 0 0 0 0 0 201 0 55 0
30.78/30.92 c logicor : 0.02 0.00 23 0 0 0 0 0 809 0 0 970
30.78/30.92 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
30.78/30.92 c root node : - - - 100 - - 100 - - - - -
30.78/30.92 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
30.78/30.92 c integral : 0 0 0 0 10134 0 0 857 0 0 0 0 0 0 20268
30.78/30.92 c knapsack : 7 7 22 71194 0 0 0 853 40214 68 25385 0 0 0 0
30.78/30.92 c setppc : 20+ 21 22 71130 0 0 0 449 172419 175 83672 0 0 0 0
30.78/30.92 c linear : 0+ 20 0 4880 0 0 0 2 0 1 8 0 0 0 0
30.78/30.92 c logicor : 2380+ 10617 22 37795 0 0 0 4 46683 73 115472 6 1 0 0
30.78/30.92 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
30.78/30.92 c integral : 0.34 0.00 0.00 0.00 0.34 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c knapsack : 0.11 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.01 0.00
30.78/30.92 c setppc : 0.22 0.00 0.00 0.20 0.00 0.00 0.00 0.00 0.02 0.00
30.78/30.92 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c logicor : 1.42 0.00 0.01 1.39 0.00 0.00 0.00 0.00 0.02 0.00
30.78/30.92 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c Propagators : #Propagate #ResProp Cutoffs DomReds
30.78/30.92 c dualfix : 2 0 0 0
30.78/30.92 c genvbounds : 0 0 0 0
30.78/30.92 c nlobbt : 0 0 0 0
30.78/30.92 c obbt : 0 0 0 0
30.78/30.92 c probing : 0 0 0 0
30.78/30.92 c pseudoobj : 0 0 0 0
30.78/30.92 c redcost : 0 0 0 0
30.78/30.92 c rootredcost : 0 0 0 0
30.78/30.92 c symmetry : 3267 0 0 10
30.78/30.92 c vbounds : 58774 0 0 0
30.78/30.92 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
30.78/30.92 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
30.78/30.92 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
30.78/30.92 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
30.78/30.92 c symmetry : 0.03 0.00 0.00 0.02 0.00 0.00
30.78/30.92 c vbounds : 0.07 0.00 0.00 0.07 0.00 0.00
30.78/30.92 c Symmetry :
30.78/30.92 c #affected vars : 121 (121 bin, 0 int, 0 cont)
30.78/30.92 c orbitopal red. : 0 reductions applied, 0 cutoffs
30.78/30.92 c orbital reduction: 10 reductions applied, 0 cutoffs
30.78/30.92 c lexicographic red: 0 reductions applied, 0 cutoffs
30.78/30.92 c shadow tree time : 0.02 s
30.78/30.92 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
30.78/30.92 c propagation : 0.01 315 311 - 1645 16.6 1 15.0 - - -
30.78/30.92 c infeasible LP : 1.04 9903 9003 - 49723 27.8 31 14.5 16 9.9 0
30.78/30.92 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
30.78/30.92 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
30.78/30.92 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
30.78/30.92 c applied globally : 0.09 - - 4 15242 9.5 - - 16 - -
30.78/30.92 c applied locally : - - - 0 5 28.0 - - 0 - -
30.78/30.92 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
30.78/30.92 c cut pool : 0.75 - 1844 42 - - 19031 25662 - - - - - (maximal pool size: 3404)
30.78/30.92 c aggregation : 0.12 0.00 514 22 0 0 9 8 3 0 0 0 0
30.78/30.92 c > cmir : - - - - - - - 8 2 0 0 0 -
30.78/30.92 c > flowcover : - - - - - - - 0 0 0 0 0 -
30.78/30.92 c > knapsackcover : - - - - - - - 0 1 0 0 0 -
30.78/30.92 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c clique : 0.00 0.00 22 22 0 0 1 5 0 3 3 0 0
30.78/30.92 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c gomory : 7.68 0.00 512 20 0 0 27761 25484 8788 1160 915 245 0
30.78/30.92 c > gomorymi : - - - - - - - 12566 4404 437 312 125 -
30.78/30.92 c > strongcg : - - - - - - - 12918 4384 723 603 120 -
30.78/30.92 c impliedbounds : 0.01 0.00 514 22 0 0 0 0 0 0 0 0 0
30.78/30.92 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
30.78/30.92 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c multilinear : 0.00 0.00 743 22 0 0 0 0 0 0 0 0 0
30.78/30.92 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
30.78/30.92 c rapidlearning : 2.13 0.00 100 2 0 5308 0 0 0 0 0 0 239
30.78/30.92 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
30.78/30.92 c zerohalf : 0.18 0.00 514 22 0 0 985 165 934 672 83 589 0
30.78/30.92 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
30.78/30.92 c hybrid : 0.05 0.00 615 22 1836 0 33552 71 0 6374
30.78/30.92 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c Pricers : ExecTime SetupTime Calls Vars
30.78/30.92 c problem variables: 0.00 - 0 0
30.78/30.92 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
30.78/30.92 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c random : 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c relpscost : 0.33 0.00 10134 0 0 0 0 0 0 20268
30.78/30.92 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
30.78/30.92 c Primal Heuristics : ExecTime SetupTime Calls Found Best
30.78/30.92 c LP solutions : 0.00 - - 0 0
30.78/30.92 c relax solutions : 0.00 - - 0 0
30.78/30.92 c pseudo solutions : 0.00 - - 0 0
30.78/30.92 c strong branching : 0.00 - - 0 0
30.78/30.92 c actconsdiving : 0.00 0.00 0 0 0
30.78/30.92 c adaptivediving : 0.02 0.00 6 0 0
30.78/30.92 c alns : 0.04 0.00 5 0 0
30.78/30.92 c bound : 0.00 0.00 0 0 0
30.78/30.92 c clique : 0.00 0.00 1 0 0
30.78/30.92 c coefdiving : 0.00 0.00 0 0 0
30.78/30.92 c completesol : 0.00 0.00 0 0 0
30.78/30.92 c conflictdiving : 0.04 0.00 3 0 0
30.78/30.92 c crossover : 0.00 0.00 0 0 0
30.78/30.92 c dins : 0.00 0.00 0 0 0
30.78/30.92 c distributiondivin: 0.16 0.00 3 0 0
30.78/30.92 c dks : 0.00 0.00 0 0 0
30.78/30.92 c dps : 0.00 0.00 0 0 0
30.78/30.92 c dualval : 0.00 0.00 0 0 0
30.78/30.92 c farkasdiving : 0.00 0.00 0 0 0
30.78/30.92 c feaspump : 0.07 0.00 2 0 0
30.78/30.92 c fixandinfer : 0.00 0.00 0 0 0
30.78/30.92 c fracdiving : 0.02 0.00 3 0 0
30.78/30.92 c gins : 0.00 0.00 0 0 0
30.78/30.92 c guideddiving : 0.00 0.00 0 0 0
30.78/30.92 c indicator : 0.00 0.00 0 0 0
30.78/30.92 c indicatordiving : 0.00 0.00 0 0 0
30.78/30.92 c intdiving : 0.00 0.00 0 0 0
30.78/30.92 c intshifting : 0.00 0.00 0 0 0
30.78/30.92 c linesearchdiving : 0.02 0.00 3 0 0
30.78/30.92 c localbranching : 0.00 0.00 0 0 0
30.78/30.92 c locks : 0.00 0.00 1 0 0
30.78/30.92 c lpface : 0.00 0.00 0 0 0
30.78/30.92 c mpec : 0.00 0.00 0 0 0
30.78/30.92 c multistart : 0.00 0.00 0 0 0
30.78/30.92 c mutation : 0.00 0.00 0 0 0
30.78/30.92 c nlpdiving : 0.00 0.00 0 0 0
30.78/30.92 c objpscostdiving : 0.02 0.00 2 0 0
30.78/30.92 c octane : 0.00 0.00 0 0 0
30.78/30.92 c ofins : 0.00 0.00 0 0 0
30.78/30.92 c oneopt : 0.00 0.00 0 0 0
30.78/30.92 c padm : 0.00 0.00 0 0 0
30.78/30.92 c proximity : 0.00 0.00 0 0 0
30.78/30.92 c pscostdiving : 0.02 0.00 3 0 0
30.78/30.92 c randrounding : 0.03 0.00 869 0 0
30.78/30.92 c rens : 0.02 0.00 2 0 0
30.78/30.92 c reoptsols : 0.00 0.00 0 0 0
30.78/30.92 c repair : 0.00 0.00 0 0 0
30.78/30.92 c rins : 0.00 0.00 0 0 0
30.78/30.92 c rootsoldiving : 0.02 0.00 2 0 0
30.78/30.92 c rounding : 0.06 0.00 1432 0 0
30.78/30.92 c scheduler : 0.00 0.00 0 0 0
30.78/30.92 c shiftandpropagate: 0.00 0.00 2 0 0
30.78/30.92 c shifting : 0.08 0.00 543 0 0
30.78/30.92 c simplerounding : 0.00 0.00 0 0 0
30.78/30.92 c subnlp : 0.00 0.00 0 0 0
30.78/30.92 c trivial : 0.00 0.00 4 0 0
30.78/30.92 c trivialnegation : 0.00 0.00 0 0 0
30.78/30.92 c trustregion : 0.00 0.00 0 0 0
30.78/30.92 c trysol : 0.00 0.00 0 0 0
30.78/30.92 c twoopt : 0.00 0.00 0 0 0
30.78/30.92 c undercover : 0.00 0.00 0 0 0
30.78/30.92 c vbounds : 0.01 0.00 1 0 0
30.78/30.92 c veclendiving : 0.04 0.00 3 0 0
30.78/30.92 c zeroobj : 0.00 0.00 0 0 0
30.78/30.92 c zirounding : 0.01 0.00 1000 0 0
30.78/30.92 c other solutions : - - - 0 -
30.78/30.92 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
30.78/30.92 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
30.78/30.92 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
30.78/30.92 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
30.78/30.92 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
30.78/30.92 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
30.78/30.92 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
30.78/30.92 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
30.78/30.92 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
30.78/30.92 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
30.78/30.92 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
30.78/30.92 c primal LP : 0.06 353 0 0.00 0.00 0.06 353
30.78/30.92 c dual LP : 11.86 20679 288134 13.98 24286.22 0.01 73
30.78/30.92 c lex dual LP : 0.00 0 0 0.00 -
30.78/30.92 c barrier LP : 0.00 0 0 0.00 - 0.00 0
30.78/30.92 c resolve instable : 0.00 0 0 0.00 -
30.78/30.92 c diving/probing LP: 0.24 188 5230 27.82 21941.60
30.78/30.92 c strong branching : 0.07 37 1302 35.19 20010.45 - - 0
30.78/30.92 c (at root node) : - 37 1302 35.19 -
30.78/30.92 c conflict analysis: 0.00 0 0 0.00 -
30.78/30.92 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
30.78/30.92 c benders : 0.00 0 0 0 0.00 0 0 0
30.78/30.92 c B&B Tree :
30.78/30.92 c number of runs : 2
30.78/30.92 c nodes : 19150 (9592 internal, 9558 leaves)
30.78/30.92 c feasible leaves : 0
30.78/30.92 c infeas. leaves : 9558
30.78/30.92 c objective leaves : 0
30.78/30.92 c nodes (total) : 20204 (10134 internal, 10070 leaves)
30.78/30.92 c nodes left : 0
30.78/30.92 c max depth : 40
30.78/30.92 c max depth (total): 40
30.78/30.92 c backtracks : 2701 (14.1%)
30.78/30.92 c early backtracks : 0 (0.0%)
30.78/30.92 c nodes exc. ref. : 0 (0.0%)
30.78/30.92 c delayed cutoffs : 35
30.78/30.92 c repropagations : 25315 (29433 domain reductions, 35 cutoffs)
30.78/30.92 c avg switch length: 4.45
30.78/30.92 c switching time : 1.42
30.78/30.92 c Root Node :
30.78/30.92 c First LP value : +0.00000000000000e+00
30.78/30.92 c First LP Iters : 95 (32917.53 Iter/sec)
30.78/30.92 c First LP Time : 0.00
30.78/30.92 c Final Dual Bound : -
30.78/30.92 c Final Root Iters : 1797
30.78/30.92 c Root LP Estimate : +2.65269078435051e-03
30.78/30.92 c Solution :
30.78/30.92 c Solutions found : 0 (0 improvements)
30.78/30.92 c Primal Bound : infeasible
30.78/30.92 c Dual Bound : -
30.78/30.92 c Gap : 0.00 %
30.78/30.92 c Integrals : Total Avg%
30.78/30.92 c primal-dual : - - (problem infeasible)
30.78/30.92 c primal-ref : - - (problem infeasible)
30.78/30.92 c dual-ref : - - (problem infeasible)
30.78/30.93 c Time complete (sec): 30.827