0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4444515-1721301800.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.02 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.03 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.03 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.04 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.04 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.05 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05 c (0.1s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.05 c dynamic symmetry handling statistics:
0.00/0.05 c orbitopal reduction: no components
0.00/0.05 c orbital reduction: 1 components of sizes 1
0.00/0.05 c lexicographic reduction: 1 permutations with support sizes 121
0.00/0.05 c handled 1 out of 1 symmetry components
0.00/0.05 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.05 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.05 c 0 implications, 143 cliques
0.00/0.05 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 22 constraints of type <setppc>
0.00/0.05 c 2420 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.99707
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.05 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.05 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.05 c misc/usesymmetry = 3
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.05 c
0.00/0.05 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.05 c
0.00/0.05 c # Type of symmetries that shall be computed?
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.05 c propagating/symmetry/symtype = 1
0.00/0.05 c
0.00/0.05 c # Should components consisting of a single full reflection be handled?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.07 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.07 c 0.1s| 1 | 0 | 95 | - | 11M | 0 | 231 |2465 |2443 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.22 c 0.2s| 1 | 0 | 1898 | - | 12M | 0 | 231 |2468 |2445 | 2 | 1 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.27 c 0.3s| 1 | 0 | 1922 | - | 14M | 0 | 231 |2470 |2448 | 5 | 2 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.34 c 0.3s| 1 | 0 | 1933 | - | 17M | 0 | 231 |2474 |2451 | 8 | 3 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.42 c 0.4s| 1 | 0 | 1952 | - | 20M | 0 | 231 |2475 |2455 | 12 | 4 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.50 c 0.5s| 1 | 0 | 1978 | - | 25M | 0 | 231 |2479 |2457 | 14 | 5 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.57 c 0.6s| 1 | 0 | 1998 | - | 29M | 0 | 231 |2483 |2461 | 18 | 6 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.65 c 0.6s| 1 | 0 | 2017 | - | 33M | 0 | 231 |2486 |2462 | 19 | 7 | 42 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.74 c 0.7s| 1 | 0 | 2030 | - | 36M | 0 | 231 |2493 |2464 | 21 | 8 | 49 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.80 c 0.8s| 1 | 0 | 2042 | - | 41M | 0 | 231 |2494 |2466 | 23 | 9 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.85 c 0.8s| 1 | 0 | 2071 | - | 44M | 0 | 231 |2495 |2471 | 28 | 10 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.86 c 0.9s| 1 | 0 | 2083 | - | 44M | 0 | 231 |2498 |2475 | 32 | 11 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.94 c 0.9s| 1 | 2 | 2437 | - | 44M | 0 | 231 |2511 |2475 | 32 | 11 | 67 | 19 | 0.000000e+00 | -- | Inf | unknown
1.48/1.51 c 1.5s| 100 | 7 | 3797 | 17.3 | 48M | 19 | 231 |2573 |2453 | 77 | 0 | 131 | 19 | 0.000000e+00 | -- | Inf | 57.03%
1.89/1.94 c 1.9s| 200 | 29 | 6485 | 22.1 | 50M | 20 | 231 |2642 |2453 | 112 | 0 | 200 | 19 | 0.000000e+00 | -- | Inf | 58.46%
2.29/2.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.29/2.31 c 2.3s| 300 | 19 | 7725 | 18.9 | 52M | 20 | 231 |2707 |2452 | 134 | 0 | 268 | 19 | 0.000000e+00 | -- | Inf | 59.02%
2.49/2.54 c 2.5s| 400 | 20 | 8925 | 17.1 | 55M | 20 | 231 |2770 |2452 | 162 | 0 | 333 | 19 | 0.000000e+00 | -- | Inf | 59.44%
2.68/2.72 c 2.7s| 500 | 24 | 10413 | 16.7 | 56M | 20 | 231 |2818 |2453 | 170 | 1 | 386 | 19 | 0.000000e+00 | -- | Inf | 59.91%
3.18/3.24 c 3.2s| 600 | 24 | 12320 | 17.1 | 57M | 23 | 231 |2856 |2455 | 187 | 1 | 438 | 19 | 0.000000e+00 | -- | Inf | 60.40%
3.58/3.60 c 3.6s| 700 | 20 | 13893 | 16.9 | 61M | 23 | 231 |2930 |2453 | 210 | 0 | 518 | 19 | 0.000000e+00 | -- | Inf | 60.98%
3.98/4.04 c 4.0s| 800 | 16 | 15458 | 16.7 | 61M | 23 | 231 |3013 |2454 | 229 | 1 | 606 | 19 | 0.000000e+00 | -- | Inf | 73.35%
4.27/4.33 c 4.3s| 900 | 16 | 17119 | 16.7 | 61M | 27 | 231 |3068 |2453 | 258 | 0 | 665 | 19 | 0.000000e+00 | -- | Inf | 75.14%
4.57/4.62 c 4.6s| 1000 | 14 | 18781 | 16.7 | 61M | 27 | 231 |3136 |2449 | 287 | 0 | 736 | 19 | 0.000000e+00 | -- | Inf | 79.25%
4.87/4.99 c 5.0s| 1100 | 18 | 20250 | 16.5 | 61M | 27 | 231 |3182 |2452 | 335 | 1 | 786 | 19 | 0.000000e+00 | -- | Inf | 81.48%
5.27/5.39 c 5.4s| 1200 | 16 | 21613 | 16.3 | 61M | 27 | 231 |3231 |2452 | 376 | 1 | 839 | 19 | 0.000000e+00 | -- | Inf | 83.41%
5.47/5.55 c 5.5s| 1300 | 16 | 23294 | 16.3 | 61M | 27 | 231 |3308 |2453 | 388 | 0 | 921 | 19 | 0.000000e+00 | -- | Inf | 83.88%
5.87/5.90 c 5.9s| 1400 | 16 | 24870 | 16.3 | 61M | 27 | 231 |3370 |2454 | 420 | 1 | 989 | 19 | 0.000000e+00 | -- | Inf | 84.38%
6.07/6.16 c 6.2s| 1500 | 18 | 26090 | 16.0 | 61M | 27 | 231 |3416 |2453 | 452 | 1 |1038 | 19 | 0.000000e+00 | -- | Inf | 85.39%
6.37/6.40 c 6.4s| 1600 | 16 | 27458 | 15.9 | 61M | 27 | 231 |3470 |2454 | 474 | 1 |1094 | 19 | 0.000000e+00 | -- | Inf | 85.85%
6.57/6.65 c 6.7s| 1700 | 18 | 28620 | 15.6 | 61M | 27 | 231 |3528 |2452 | 503 | 0 |1154 | 19 | 0.000000e+00 | -- | Inf | 86.14%
6.86/6.96 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
6.86/6.97 c (run 1, node 1797) performing user restart
6.86/6.97 c
6.86/6.97 c (restart) converted 3 cuts from the global cut pool into linear constraints
6.86/6.97 c
6.86/6.99 c presolving:
6.86/6.99 c (round 1, fast) 21 del vars, 628 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 256 chg coeffs, 0 upgd conss, 0 impls, 321 clqs
6.86/6.99 c (round 2, medium) 32 del vars, 628 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 256 chg coeffs, 0 upgd conss, 0 impls, 298 clqs
6.86/6.99 c (round 3, fast) 32 del vars, 653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 267 chg coeffs, 0 upgd conss, 0 impls, 298 clqs
6.86/6.99 c (round 4, exhaustive) 32 del vars, 653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 267 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
6.86/7.00 c (round 5, exhaustive) 32 del vars, 902 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 890 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
6.97/7.00 c (round 6, exhaustive) 32 del vars, 957 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 915 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
6.97/7.01 c (round 7, exhaustive) 32 del vars, 960 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 916 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
6.97/7.01 c (round 8, exhaustive) 32 del vars, 960 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1040 chg coeffs, 3 upgd conss, 0 impls, 298 clqs
6.97/7.02 c presolving (9 rounds: 9 fast, 7 medium, 6 exhaustive):
6.97/7.02 c 32 deleted vars, 961 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1040 changed coefficients
6.97/7.02 c 0 implications, 299 cliques
6.97/7.02 c presolved problem has 199 variables (199 bin, 0 int, 0 impl, 0 cont) and 2638 constraints
6.97/7.02 c 4 constraints of type <knapsack>
6.97/7.02 c 20 constraints of type <setppc>
6.97/7.02 c 2614 constraints of type <logicor>
6.97/7.02 c transformed objective value is always integral (scale: 1)
6.97/7.02 c Presolving Time: 0.08
6.97/7.02 c
6.97/7.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.97/7.06 c 7.1s| 1 | 0 | 29884 | - | 61M | 0 | 199 |2676 |1833 | 0 | 0 |1263 | 19 | 0.000000e+00 | -- | Inf | unknown
7.07/7.13 c 7.1s| 1 | 0 | 29901 | - | 61M | 0 | 199 |2676 |1838 | 5 | 1 |1263 | 19 | 0.000000e+00 | -- | Inf | unknown
7.07/7.18 c 7.2s| 1 | 0 | 29922 | - | 61M | 0 | 199 |2680 |1842 | 9 | 2 |1267 | 19 | 0.000000e+00 | -- | Inf | unknown
7.16/7.23 c 7.2s| 1 | 0 | 29930 | - | 61M | 0 | 199 |2683 |1845 | 12 | 3 |1270 | 19 | 0.000000e+00 | -- | Inf | unknown
7.16/7.27 c 7.3s| 1 | 0 | 29948 | - | 62M | 0 | 199 |2684 |1848 | 15 | 4 |1271 | 19 | 0.000000e+00 | -- | Inf | unknown
7.26/7.31 c 7.3s| 1 | 0 | 29961 | - | 62M | 0 | 199 |2687 |1851 | 18 | 5 |1274 | 19 | 0.000000e+00 | -- | Inf | unknown
7.26/7.35 c 7.3s| 1 | 0 | 29969 | - | 62M | 0 | 199 |2689 |1853 | 20 | 6 |1276 | 19 | 0.000000e+00 | -- | Inf | unknown
7.36/7.40 c 7.4s| 1 | 0 | 29985 | - | 63M | 0 | 199 |2690 |1856 | 23 | 7 |1277 | 19 | 0.000000e+00 | -- | Inf | unknown
7.36/7.44 c 7.4s| 1 | 0 | 30000 | - | 63M | 0 | 199 |2694 |1859 | 26 | 8 |1281 | 19 | 0.000000e+00 | -- | Inf | unknown
7.36/7.49 c 7.5s| 1 | 0 | 30012 | - | 64M | 0 | 199 |2698 |1860 | 27 | 9 |1285 | 19 | 0.000000e+00 | -- | Inf | unknown
7.46/7.55 c 7.5s| 1 | 0 | 30027 | - | 64M | 0 | 199 |2701 |1862 | 31 | 10 |1288 | 19 | 0.000000e+00 | -- | Inf | unknown
7.46/7.55 c 7.6s| 1 | 0 | 30034 | - | 65M | 0 | 199 |2702 |1864 | 33 | 11 |1289 | 19 | 0.000000e+00 | -- | Inf | unknown
7.56/7.62 c 7.6s| 1 | 2 | 30219 | - | 65M | 0 | 199 |2710 |1864 | 33 | 11 |1297 | 38 | 0.000000e+00 | -- | Inf | unknown
7.96/8.10 c 8.1s| 100 | 11 | 32076 | 15.7 | 65M | 20 | 199 |2767 |1837 | 62 | 0 |1356 | 38 | 0.000000e+00 | -- | Inf | 19.82%
8.36/8.44 c 8.4s| 200 | 10 | 33638 | 15.7 | 68M | 20 | 199 |2829 |1844 | 126 | 0 |1423 | 38 | 0.000000e+00 | -- | Inf | 21.42%
8.76/8.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.76/8.83 c 8.8s| 300 | 21 | 35457 | 15.8 | 68M | 20 | 199 |2879 |1842 | 177 | 1 |1486 | 38 | 0.000000e+00 | -- | Inf | 24.45%
9.07/9.13 c 9.1s| 400 | 18 | 36774 | 15.7 | 69M | 20 | 199 |2905 |1839 | 208 | 1 |1532 | 38 | 0.000000e+00 | -- | Inf | 26.86%
9.46/9.54 c 9.5s| 500 | 21 | 38619 | 15.8 | 73M | 20 | 199 |2957 |1839 | 261 | 0 |1602 | 38 | 0.000000e+00 | -- | Inf | 28.26%
9.66/9.75 c 9.7s| 600 | 13 | 40360 | 15.9 | 73M | 20 | 199 |2978 |1837 | 288 | 0 |1649 | 38 | 0.000000e+00 | -- | Inf | 30.87%
10.15/10.26 c 10.3s| 700 | 13 | 41793 | 15.8 | 73M | 20 | 199 |3003 |1839 | 347 | 0 |1696 | 38 | 0.000000e+00 | -- | Inf | 32.58%
10.45/10.51 c 10.5s| 800 | 13 | 43320 | 15.8 | 74M | 20 | 199 |3038 |1842 | 384 | 0 |1748 | 38 | 0.000000e+00 | -- | Inf | 33.12%
10.75/10.82 c 10.8s| 900 | 14 | 44825 | 15.8 | 74M | 20 | 199 |3091 |1840 | 409 | 1 |1820 | 38 | 0.000000e+00 | -- | Inf | 36.71%
10.96/11.07 c 11.1s| 1000 | 18 | 46462 | 15.8 | 76M | 20 | 199 |3119 |1841 | 446 | 0 |1864 | 38 | 0.000000e+00 | -- | Inf | 37.12%
11.15/11.28 c 11.3s| 1100 | 18 | 47995 | 15.8 | 76M | 20 | 199 |3167 |1839 | 456 | 0 |1925 | 38 | 0.000000e+00 | -- | Inf | 37.25%
11.45/11.55 c 11.5s| 1200 | 18 | 49423 | 15.7 | 76M | 20 | 199 |3213 |1843 | 456 | 0 |1987 | 38 | 0.000000e+00 | -- | Inf | 37.29%
11.85/11.90 c 11.9s| 1300 | 20 | 51110 | 15.8 | 76M | 20 | 199 |3270 |1843 | 456 | 0 |2053 | 38 | 0.000000e+00 | -- | Inf | 37.32%
12.35/12.40 c 12.4s| 1400 | 16 | 52641 | 15.8 | 76M | 31 | 199 |3326 |1840 | 460 | 0 |2115 | 38 | 0.000000e+00 | -- | Inf | 37.35%
12.45/12.57 c 12.6s| 1500 | 14 | 53986 | 15.7 | 76M | 31 | 199 |3368 |1842 | 461 | 1 |2163 | 38 | 0.000000e+00 | -- | Inf | 37.36%
12.55/12.66 c 12.7s| 1600 | 10 | 55337 | 15.6 | 76M | 31 | 199 |3432 |1839 | 464 | 1 |2232 | 38 | 0.000000e+00 | -- | Inf | 37.46%
12.65/12.78 c 12.8s| 1700 | 8 | 56857 | 15.6 | 76M | 31 | 199 |3481 |1841 | 475 | 1 |2289 | 38 | 0.000000e+00 | -- | Inf | 42.17%
12.95/13.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.95/13.03 c 13.0s| 1800 | 8 | 58404 | 15.6 | 76M | 31 | 199 |3497 |1838 | 509 | 0 |2336 | 38 | 0.000000e+00 | -- | Inf | 46.07%
13.05/13.18 c 13.2s| 1900 | 6 | 59886 | 15.6 | 76M | 31 | 199 |3541 |1837 | 525 | 0 |2409 | 38 | 0.000000e+00 | -- | Inf | 53.11%
13.35/13.41 c 13.4s| 2000 | 8 | 61418 | 15.6 | 76M | 31 | 199 |3562 |1842 | 562 | 0 |2457 | 38 | 0.000000e+00 | -- | Inf | 66.78%
13.65/13.70 c 13.7s| 2100 | 6 | 63326 | 15.7 | 76M | 31 | 199 |3575 |1837 | 615 | 0 |2505 | 38 | 0.000000e+00 | -- | Inf | 70.10%
13.95/14.08 c 14.1s| 2200 | 8 | 65166 | 15.7 | 76M | 31 | 199 |3599 |1842 | 665 | 1 |2553 | 38 | 0.000000e+00 | -- | Inf | 71.76%
14.14/14.24 c 14.2s| 2300 | 8 | 66817 | 15.8 | 76M | 31 | 199 |3632 |1841 | 687 | 0 |2609 | 38 | 0.000000e+00 | -- | Inf | 75.76%
14.44/14.53 c 14.5s| 2400 | 12 | 68318 | 15.7 | 76M | 31 | 199 |3644 |1840 | 739 | 1 |2653 | 38 | 0.000000e+00 | -- | Inf | 77.47%
14.74/14.81 c 14.8s| 2500 | 9 | 69913 | 15.7 | 76M | 31 | 199 |3671 |1843 | 783 | 1 |2702 | 38 | 0.000000e+00 | -- | Inf | 79.47%
14.95/15.09 c 15.1s| 2600 | 11 | 71292 | 15.7 | 76M | 31 | 199 |3714 |1840 | 821 | 0 |2755 | 38 | 0.000000e+00 | -- | Inf | 82.82%
15.14/15.28 c 15.3s| 2700 | 10 | 72685 | 15.7 | 76M | 31 | 199 |3758 |1841 | 847 | 0 |2808 | 38 | 0.000000e+00 | -- | Inf | 84.45%
15.44/15.54 c 15.5s| 2800 | 12 | 74338 | 15.7 | 76M | 31 | 199 |3794 |1844 | 904 | 0 |2857 | 38 | 0.000000e+00 | -- | Inf | 85.90%
15.64/15.73 c 15.7s| 2900 | 12 | 75670 | 15.6 | 76M | 31 | 199 |3827 |1842 | 934 | 0 |2900 | 38 | 0.000000e+00 | -- | Inf | 86.30%
15.84/15.93 c 15.9s| 3000 | 14 | 77258 | 15.6 | 76M | 31 | 199 |3888 |1842 | 954 | 1 |2963 | 38 | 0.000000e+00 | -- | Inf | 86.50%
15.94/16.05 c 16.1s| 3100 | 19 | 78500 | 15.6 | 77M | 31 | 199 |3945 |1843 | 975 | 1 |3030 | 38 | 0.000000e+00 | -- | Inf | 86.64%
16.04/16.15 c 16.1s| 3200 | 18 | 79816 | 15.5 | 77M | 31 | 199 |4029 |1843 | 976 | 1 |3128 | 38 | 0.000000e+00 | -- | Inf | 86.67%
16.14/16.28 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.28 c 16.3s| 3300 | 17 | 81026 | 15.4 | 77M | 31 | 199 |4081 |1843 | 988 | 0 |3189 | 38 | 0.000000e+00 | -- | Inf | 86.90%
16.24/16.37 c 16.4s| 3400 | 15 | 82414 | 15.4 | 77M | 31 | 199 |4132 |1844 | 988 | 0 |3243 | 38 | 0.000000e+00 | -- | Inf | 86.94%
16.44/16.57 c 16.6s| 3500 | 15 | 83843 | 15.4 | 77M | 31 | 199 |4188 |1840 |1005 | 0 |3303 | 38 | 0.000000e+00 | -- | Inf | 87.15%
16.54/16.66 c 16.7s| 3600 | 15 | 84995 | 15.3 | 77M | 31 | 199 |4259 |1843 |1007 | 0 |3379 | 38 | 0.000000e+00 | -- | Inf | 87.17%
16.73/16.82 c 16.8s| 3700 | 13 | 86271 | 15.3 | 77M | 31 | 199 |4326 |1843 |1017 | 0 |3454 | 38 | 0.000000e+00 | -- | Inf | 87.38%
16.83/16.91 c 16.9s| 3800 | 14 | 87586 | 15.2 | 77M | 31 | 199 |4361 |1843 |1018 | 0 |3497 | 38 | 0.000000e+00 | -- | Inf | 87.40%
16.94/17.01 c 17.0s| 3900 | 12 | 89133 | 15.2 | 76M | 31 | 199 |4407 |1842 |1019 | 1 |3552 | 38 | 0.000000e+00 | -- | Inf | 87.41%
17.04/17.11 c 17.1s| 4000 | 13 | 90575 | 15.2 | 76M | 31 | 199 |4463 |1843 |1019 | 1 |3613 | 38 | 0.000000e+00 | -- | Inf | 87.46%
17.13/17.21 c 17.2s| 4100 | 11 | 92022 | 15.2 | 76M | 31 | 199 |4523 |1845 |1023 | 1 |3682 | 38 | 0.000000e+00 | -- | Inf | 87.46%
17.23/17.31 c 17.3s| 4200 | 14 | 93450 | 15.2 | 76M | 31 | 199 |4595 |1844 |1030 | 1 |3758 | 38 | 0.000000e+00 | -- | Inf | 87.46%
17.33/17.40 c 17.4s| 4300 | 10 | 94750 | 15.2 | 77M | 32 | 199 |4655 |1845 |1031 | 1 |3824 | 38 | 0.000000e+00 | -- | Inf | 87.47%
17.33/17.49 c 17.5s| 4400 | 6 | 96167 | 15.1 | 77M | 32 | 199 |4711 |1843 |1031 | 0 |3885 | 38 | 0.000000e+00 | -- | Inf | 87.48%
17.53/17.66 c 17.7s| 4500 | 8 | 97488 | 15.1 | 77M | 32 | 199 |4766 |1840 |1054 | 0 |3953 | 38 | 0.000000e+00 | -- | Inf | 89.00%
17.73/17.82 c 17.8s| 4600 | 8 | 98893 | 15.1 | 77M | 32 | 199 |4817 |1841 |1078 | 0 |4011 | 38 | 0.000000e+00 | -- | Inf | 90.42%
17.94/18.05 c 18.1s| 4700 | 11 |100425 | 15.1 | 77M | 32 | 199 |4855 |1840 |1116 | 0 |4062 | 38 | 0.000000e+00 | -- | Inf | 92.33%
18.13/18.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.13/18.26 c 18.3s| 4800 | 11 |101897 | 15.1 | 77M | 32 | 199 |4904 |1842 |1147 | 0 |4111 | 38 | 0.000000e+00 | -- | Inf | 92.83%
18.33/18.46 c 18.5s| 4900 | 11 |103465 | 15.1 | 77M | 32 | 199 |4958 |1844 |1178 | 0 |4166 | 38 | 0.000000e+00 | -- | Inf | 93.30%
18.53/18.66 c 18.7s| 5000 | 11 |105107 | 15.1 | 77M | 32 | 199 |5021 |1842 |1205 | 0 |4248 | 38 | 0.000000e+00 | -- | Inf | 93.52%
18.73/18.80 c 18.8s| 5100 | 7 |106809 | 15.2 | 77M | 32 | 199 |5094 |1845 |1216 | 0 |4331 | 38 | 0.000000e+00 | -- | Inf | 93.67%
18.93/19.06 c 19.1s| 5200 | 13 |108215 | 15.1 | 77M | 32 | 199 |5118 |1844 |1251 | 0 |4379 | 38 | 0.000000e+00 | -- | Inf | 95.03%
19.13/19.26 c 19.3s| 5300 | 11 |109633 | 15.1 | 77M | 32 | 199 |5150 |1846 |1284 | 0 |4427 | 38 | 0.000000e+00 | -- | Inf | 95.81%
19.33/19.45 c 19.4s| 5400 | 11 |111149 | 15.1 | 77M | 32 | 199 |5179 |1841 |1308 | 0 |4473 | 38 | 0.000000e+00 | -- | Inf | 96.07%
19.52/19.64 c 19.6s| 5500 | 10 |112669 | 15.1 | 77M | 32 | 199 |5217 |1845 |1327 | 1 |4516 | 38 | 0.000000e+00 | -- | Inf | 96.33%
19.93/20.00 c 20.0s| 5600 | 23 |114697 | 15.2 | 77M | 32 | 199 |5227 |1844 |1381 | 1 |4555 | 38 | 0.000000e+00 | -- | Inf | 97.14%
20.03/20.12 c 20.1s| 5700 | 23 |116137 | 15.2 | 77M | 32 | 199 |5269 |1844 |1393 | 1 |4610 | 38 | 0.000000e+00 | -- | Inf | 97.29%
20.12/20.29 c 20.3s| 5800 | 25 |117659 | 15.2 | 77M | 32 | 199 |5319 |1846 |1405 | 0 |4679 | 38 | 0.000000e+00 | -- | Inf | 97.52%
20.32/20.43 c 20.4s| 5900 | 22 |119049 | 15.2 | 77M | 32 | 199 |5349 |1846 |1418 | 0 |4730 | 38 | 0.000000e+00 | -- | Inf | 97.74%
20.42/20.55 c 20.5s| 6000 | 18 |120482 | 15.2 | 77M | 32 | 199 |5378 |1846 |1430 | 0 |4774 | 38 | 0.000000e+00 | -- | Inf | 97.88%
20.52/20.65 c 20.7s| 6100 | 20 |121975 | 15.2 | 77M | 32 | 199 |5434 |1844 |1432 | 1 |4847 | 38 | 0.000000e+00 | -- | Inf | 97.92%
20.72/20.85 c 20.8s| 6200 | 20 |123809 | 15.2 | 77M | 32 | 199 |5484 |1844 |1453 | 0 |4915 | 38 | 0.000000e+00 | -- | Inf | 98.57%
20.82/20.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.82/20.98 c 21.0s| 6300 | 22 |125410 | 15.2 | 77M | 32 | 199 |5542 |1846 |1461 | 0 |4997 | 38 | 0.000000e+00 | -- | Inf | 98.67%
20.92/21.09 c 21.1s| 6400 | 18 |127015 | 15.2 | 77M | 32 | 199 |5622 |1846 |1462 | 0 |5085 | 38 | 0.000000e+00 | -- | Inf | 98.72%
21.02/21.19 c 21.2s| 6500 | 24 |128323 | 15.2 | 77M | 32 | 199 |5683 |1844 |1462 | 1 |5151 | 38 | 0.000000e+00 | -- | Inf | 98.73%
21.12/21.28 c 21.3s| 6600 | 22 |129629 | 15.2 | 77M | 32 | 199 |5719 |1848 |1462 | 1 |5193 | 38 | 0.000000e+00 | -- | Inf | 98.76%
21.22/21.39 c 21.4s| 6700 | 20 |131163 | 15.2 | 77M | 32 | 199 |5772 |1844 |1462 | 0 |5248 | 38 | 0.000000e+00 | -- | Inf | 98.78%
21.42/21.50 c 21.5s| 6800 | 20 |132723 | 15.2 | 77M | 32 | 199 |5856 |1845 |1463 | 1 |5337 | 38 | 0.000000e+00 | -- | Inf | 98.79%
21.52/21.61 c 21.6s| 6900 | 18 |134433 | 15.2 | 77M | 32 | 199 |5933 |1845 |1463 | 0 |5414 | 38 | 0.000000e+00 | -- | Inf | 98.79%
21.62/21.72 c 21.7s| 7000 | 20 |136088 | 15.2 | 77M | 32 | 199 |5998 |1846 |1463 | 1 |5479 | 38 | 0.000000e+00 | -- | Inf | 98.79%
21.72/21.82 c 21.8s| 7100 | 18 |137674 | 15.2 | 77M | 32 | 199 |6049 |1846 |1464 | 1 |5531 | 38 | 0.000000e+00 | -- | Inf | 98.80%
21.82/21.99 c 22.0s| 7200 | 20 |139313 | 15.2 | 77M | 32 | 199 |6084 |1842 |1485 | 1 |5576 | 38 | 0.000000e+00 | -- | Inf | 99.08%
21.92/22.09 c 22.1s| 7300 | 18 |140745 | 15.2 | 77M | 32 | 199 |6147 |1843 |1490 | 0 |5644 | 38 | 0.000000e+00 | -- | Inf | 99.15%
22.11/22.22 c 22.2s| 7400 | 20 |142100 | 15.2 | 77M | 32 | 199 |6218 |1844 |1497 | 0 |5723 | 38 | 0.000000e+00 | -- | Inf | 99.21%
22.21/22.35 c 22.3s| 7500 | 24 |143743 | 15.2 | 77M | 32 | 199 |6287 |1847 |1504 | 1 |5796 | 38 | 0.000000e+00 | -- | Inf | 99.30%
22.31/22.45 c 22.4s| 7600 | 22 |145289 | 15.2 | 77M | 32 | 199 |6388 | 0 |1504 | 0 |5900 | 38 | 0.000000e+00 | -- | Inf | 99.31%
22.41/22.55 c 22.6s| 7700 | 20 |147049 | 15.2 | 77M | 32 | 199 |6461 |1847 |1504 | 0 |5974 | 38 | 0.000000e+00 | -- | Inf | 99.31%
22.61/22.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.61/22.71 c 22.7s| 7800 | 25 |148727 | 15.3 | 77M | 32 | 199 |6539 |1847 |1508 | 1 |6055 | 38 | 0.000000e+00 | -- | Inf | 99.37%
22.71/22.86 c 22.9s| 7900 | 31 |150620 | 15.3 | 77M | 32 | 199 |6600 |1846 |1516 | 1 |6119 | 38 | 0.000000e+00 | -- | Inf | 99.41%
22.81/22.97 c 23.0s| 8000 | 25 |152535 | 15.3 | 77M | 32 | 199 |6687 |1846 |1517 | 0 |6206 | 38 | 0.000000e+00 | -- | Inf | 99.41%
22.92/23.08 c 23.1s| 8100 | 27 |154249 | 15.4 | 77M | 32 | 199 |6756 |1843 |1517 | 0 |6277 | 38 | 0.000000e+00 | -- | Inf | 99.46%
23.02/23.17 c 23.2s| 8200 | 23 |155579 | 15.3 | 77M | 32 | 199 |6818 |1844 |1517 | 0 |6339 | 38 | 0.000000e+00 | -- | Inf | 99.48%
23.11/23.28 c 23.3s| 8300 | 28 |157260 | 15.3 | 77M | 32 | 199 |6897 |1843 |1519 | 1 |6418 | 38 | 0.000000e+00 | -- | Inf | 99.49%
23.21/23.39 c 23.4s| 8400 | 26 |158964 | 15.4 | 78M | 32 | 199 |6964 |1843 |1519 | 1 |6486 | 38 | 0.000000e+00 | -- | Inf | 99.49%
23.41/23.50 c 23.5s| 8500 | 28 |160671 | 15.4 | 78M | 32 | 199 |7051 |1846 |1519 | 1 |6577 | 38 | 0.000000e+00 | -- | Inf | 99.50%
23.51/23.61 c 23.6s| 8600 | 24 |162167 | 15.4 | 78M | 32 | 199 |7153 |1848 |1523 | 0 |6681 | 38 | 0.000000e+00 | -- | Inf | 99.51%
23.61/23.72 c 23.7s| 8700 | 22 |163903 | 15.4 | 78M | 32 | 199 |7247 |1843 |1523 | 1 |6786 | 38 | 0.000000e+00 | -- | Inf | 99.52%
23.71/23.81 c 23.8s| 8800 | 24 |165243 | 15.4 | 78M | 32 | 199 |7314 |1843 |1525 | 0 |6857 | 38 | 0.000000e+00 | -- | Inf | 99.55%
23.81/23.91 c 23.9s| 8900 | 20 |166658 | 15.4 | 78M | 32 | 199 |7359 |1847 |1533 | 0 |6909 | 38 | 0.000000e+00 | -- | Inf | 99.55%
23.91/24.01 c 24.0s| 9000 | 20 |167968 | 15.3 | 78M | 32 | 199 |7415 |1843 |1535 | 1 |6975 | 38 | 0.000000e+00 | -- | Inf | 99.55%
24.01/24.11 c 24.1s| 9100 | 22 |169340 | 15.3 | 78M | 32 | 199 |7500 |1843 |1535 | 0 |7071 | 38 | 0.000000e+00 | -- | Inf | 99.56%
24.11/24.20 c 24.2s| 9200 | 22 |170678 | 15.3 | 79M | 32 | 199 |7562 |1843 |1535 | 1 |7144 | 38 | 0.000000e+00 | -- | Inf | 99.56%
24.21/24.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.21/24.30 c 24.3s| 9300 | 18 |172150 | 15.3 | 79M | 32 | 199 |7652 |1843 |1535 | 0 |7240 | 38 | 0.000000e+00 | -- | Inf | 99.56%
24.31/24.41 c 24.4s| 9400 | 16 |173716 | 15.3 | 79M | 32 | 199 |7712 |1847 |1535 | 0 |7318 | 38 | 0.000000e+00 | -- | Inf | 99.57%
24.40/24.51 c 24.5s| 9500 | 21 |175056 | 15.3 | 79M | 32 | 199 |7791 |1847 |1539 | 1 |7411 | 38 | 0.000000e+00 | -- | Inf | 99.58%
24.50/24.61 c 24.6s| 9600 | 21 |176563 | 15.3 | 79M | 32 | 199 |7893 |1846 |1543 | 1 |7518 | 38 | 0.000000e+00 | -- | Inf | 99.59%
24.60/24.72 c 24.7s| 9700 | 21 |178210 | 15.3 | 79M | 32 | 199 |7968 |1846 |1544 | 0 |7597 | 38 | 0.000000e+00 | -- | Inf | 99.59%
24.70/24.83 c 24.8s| 9800 | 19 |179844 | 15.3 | 79M | 32 | 199 |8090 |1847 |1544 | 0 |7724 | 38 | 0.000000e+00 | -- | Inf | 99.60%
24.80/24.92 c 24.9s| 9900 | 22 |181122 | 15.3 | 79M | 32 | 199 |8175 |1847 |1544 | 1 |7819 | 38 | 0.000000e+00 | -- | Inf | 99.60%
24.91/25.01 c 25.0s| 10000 | 21 |182472 | 15.3 | 79M | 32 | 199 |8251 |1847 |1544 | 0 |7897 | 38 | 0.000000e+00 | -- | Inf | 99.60%
25.01/25.12 c 25.1s| 10100 | 25 |184129 | 15.3 | 79M | 32 | 199 |8332 |1847 |1546 | 0 |7992 | 38 | 0.000000e+00 | -- | Inf | 99.60%
25.10/25.24 c 25.2s| 10200 | 28 |185942 | 15.3 | 79M | 32 | 199 |8398 |1847 |1547 | 1 |8074 | 38 | 0.000000e+00 | -- | Inf | 99.60%
25.20/25.35 c 25.3s| 10300 | 20 |187570 | 15.3 | 79M | 32 | 199 |8509 |1847 |1548 | 0 |8194 | 38 | 0.000000e+00 | -- | Inf | 99.60%
25.30/25.46 c 25.5s| 10400 | 18 |189142 | 15.3 | 79M | 32 | 199 |8637 |1846 |1548 | 0 |8326 | 38 | 0.000000e+00 | -- | Inf | 99.60%
25.40/25.56 c 25.6s| 10500 | 18 |190623 | 15.3 | 79M | 32 | 199 |8726 |1846 |1548 | 1 |8421 | 38 | 0.000000e+00 | -- | Inf | 99.62%
25.50/25.66 c 25.7s| 10600 | 16 |191966 | 15.3 | 79M | 32 | 199 |8791 |1846 |1548 | 0 |8492 | 38 | 0.000000e+00 | -- | Inf | 99.63%
25.60/25.76 c 25.8s| 10700 | 16 |193423 | 15.3 | 79M | 32 | 199 |8879 |1846 |1548 | 1 |8587 | 38 | 0.000000e+00 | -- | Inf | 99.66%
25.70/25.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.70/25.88 c 25.9s| 10800 | 16 |195001 | 15.3 | 79M | 32 | 199 |8980 |1848 |1557 | 1 |8697 | 38 | 0.000000e+00 | -- | Inf | 99.70%
25.80/25.99 c 26.0s| 10900 | 16 |196440 | 15.3 | 79M | 32 | 199 |9037 |1846 |1558 | 1 |8766 | 38 | 0.000000e+00 | -- | Inf | 99.71%
25.90/26.08 c 26.1s| 11000 | 14 |197914 | 15.3 | 79M | 32 | 199 |9136 |1846 |1558 | 1 |8872 | 38 | 0.000000e+00 | -- | Inf | 99.71%
26.00/26.19 c 26.2s| 11100 | 16 |199529 | 15.3 | 79M | 32 | 199 |9198 |1848 |1558 | 1 |8944 | 38 | 0.000000e+00 | -- | Inf | 99.73%
26.20/26.30 c 26.3s| 11200 | 12 |201089 | 15.3 | 79M | 32 | 199 |9266 |1848 |1558 | 0 |9027 | 38 | 0.000000e+00 | -- | Inf | 99.75%
26.30/26.41 c 26.4s| 11300 | 12 |202678 | 15.3 | 79M | 32 | 199 |9325 |1848 |1558 | 1 |9099 | 38 | 0.000000e+00 | -- | Inf | 99.76%
26.40/26.53 c 26.5s| 11400 | 12 |204447 | 15.3 | 79M | 32 | 199 |9392 |1847 |1560 | 1 |9176 | 38 | 0.000000e+00 | -- | Inf | 99.76%
26.50/26.64 c 26.6s| 11500 | 14 |206225 | 15.3 | 79M | 32 | 199 |9451 |1847 |1562 | 1 |9272 | 38 | 0.000000e+00 | -- | Inf | 99.77%
26.60/26.74 c 26.7s| 11600 | 12 |207749 | 15.3 | 79M | 32 | 199 |9525 |1847 |1562 | 1 |9354 | 38 | 0.000000e+00 | -- | Inf | 99.77%
26.70/26.86 c 26.9s| 11700 | 10 |209603 | 15.4 | 79M | 32 | 199 |9562 |1848 |1564 | 1 |9417 | 38 | 0.000000e+00 | -- | Inf | 99.78%
26.90/27.00 c 27.0s| 11800 | 10 |211376 | 15.4 | 79M | 32 | 199 |9584 |1845 |1584 | 0 |9469 | 38 | 0.000000e+00 | -- | Inf | 99.97%
27.00/27.12 c 27.1s| 11900 | 10 |213186 | 15.4 | 79M | 32 | 199 |9631 |1847 |1586 | 0 |9547 | 38 | 0.000000e+00 | -- | Inf | 99.97%
27.09/27.22 c 27.2s| 12000 | 12 |214863 | 15.4 | 79M | 32 | 199 |9710 |1846 |1587 | 0 |9632 | 38 | 0.000000e+00 | -- | Inf | 99.97%
27.19/27.35 c 27.3s| 12100 | 10 |216912 | 15.4 | 79M | 32 | 199 |9788 |1847 |1588 | 0 |9718 | 38 | 0.000000e+00 | -- | Inf | 99.97%
27.29/27.46 c 27.5s| 12200 | 12 |218707 | 15.5 | 79M | 34 | 199 |9871 |1846 |1588 | 0 |9808 | 38 | 0.000000e+00 | -- | Inf | 99.97%
27.39/27.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.39/27.58 c 27.6s| 12300 | 10 |220657 | 15.5 | 79M | 34 | 199 |9975 |1847 |1588 | 0 |9919 | 38 | 0.000000e+00 | -- | Inf | 99.97%
27.59/27.71 c 27.7s| 12400 | 8 |222961 | 15.5 | 79M | 34 | 199 | 10k|1847 |1588 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 99.97%
27.69/27.84 c 27.8s| 12500 | 8 |224977 | 15.6 | 79M | 34 | 199 | 10k|1847 |1588 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 99.97%
27.79/27.96 c 28.0s| 12600 | 6 |226812 | 15.6 | 79M | 34 | 199 | 10k|1846 |1588 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 100.00%
27.90/28.08 c 28.1s| 12700 | 6 |228620 | 15.6 | 79M | 34 | 199 | 10k|1846 |1588 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 100.00%
28.00/28.15 c
28.00/28.15 c SCIP Status : problem is solved [infeasible]
28.00/28.15 c Solving Time (sec) : 28.14
28.00/28.15 c Solving Nodes : 12748 (total of 14545 nodes in 2 runs)
28.00/28.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
28.00/28.15 c Dual Bound : +1.00000000000000e+20
28.00/28.15 c Gap : 0.00 %
28.00/28.15 s UNSATISFIABLE
28.00/28.15 c SCIP Status : problem is solved [infeasible]
28.00/28.15 c Total Time : 28.14
28.00/28.15 c solving : 28.14
28.00/28.15 c presolving : 0.08 (included in solving)
28.00/28.15 c reading : 0.00 (included in solving)
28.00/28.15 c copying : 0.63 (105 #copies) (minimal 0.00, maximal 0.01, average 0.01)
28.00/28.15 c Original Problem :
28.00/28.15 c Problem name : HOME/instance-4444515-1721301800.opb
28.00/28.15 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
28.00/28.15 c Constraints : 2707 initial, 2707 maximal
28.00/28.15 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
28.00/28.15 c Presolved Problem :
28.00/28.15 c Problem name : t_HOME/instance-4444515-1721301800.opb
28.00/28.15 c Variables : 199 (199 binary, 0 integer, 0 implicit integer, 0 continuous)
28.00/28.15 c Constraints : 2638 initial, 10515 maximal
28.00/28.15 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
28.00/28.15 c Nonzeros : 12355 constraint, 772 clique table
28.00/28.15 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
28.00/28.15 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
28.00/28.15 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
28.00/28.15 c gateextraction : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
28.00/28.15 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
28.00/28.15 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
28.00/28.15 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
28.00/28.15 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c trivial : 0.00 0.00 15 21 0 0 0 0 0 0 0 0
28.00/28.15 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c dualfix : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
28.00/28.15 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
28.00/28.15 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
28.00/28.15 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
28.00/28.15 c vbounds : 0.00 0.00 2 0 11 0 0 0 0 0 0 0
28.00/28.15 c knapsack : 0.00 0.00 28 0 0 0 0 0 0 0 0 4
28.00/28.15 c setppc : 0.00 0.00 28 0 0 0 0 0 67 0 0 0
28.00/28.15 c linear : 0.02 0.00 13 0 0 0 0 0 198 0 55 0
28.00/28.15 c logicor : 0.03 0.00 26 0 0 0 0 0 960 0 0 1036
28.00/28.15 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
28.00/28.15 c root node : - - - 95 - - 95 - - - - -
28.00/28.15 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
28.00/28.15 c benderslp : 0 0 0 0 7299 0 0 568 0 0 0 0 0 0 0
28.00/28.15 c integral : 0 0 0 0 7299 0 0 568 0 0 0 0 0 0 14598
28.00/28.15 c knapsack : 4+ 6 22 51946 0 0 0 564 1652 42 9135 9 3 0 0
28.00/28.15 c setppc : 20+ 27 22 51913 0 0 0 286 131587 173 75172 0 0 0 0
28.00/28.15 c linear : 0+ 20 0 8268 0 0 0 2 0 0 30 0 0 0 0
28.00/28.15 c logicor : 2614+ 10484 22 27430 0 0 0 0 32625 79 79540 4 1 0 0
28.00/28.15 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
28.00/28.15 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c integral : 0.28 0.00 0.00 0.00 0.28 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c knapsack : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c setppc : 0.24 0.00 0.00 0.22 0.00 0.00 0.00 0.00 0.02 0.00
28.00/28.15 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c logicor : 1.03 0.00 0.01 1.00 0.00 0.00 0.00 0.00 0.01 0.00
28.00/28.15 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c Propagators : #Propagate #ResProp Cutoffs DomReds
28.00/28.15 c dualfix : 2 0 0 0
28.00/28.15 c genvbounds : 0 0 0 0
28.00/28.15 c nlobbt : 0 0 0 0
28.00/28.15 c obbt : 0 0 0 0
28.00/28.15 c probing : 0 0 0 0
28.00/28.15 c pseudoobj : 0 0 0 0
28.00/28.15 c redcost : 0 0 0 0
28.00/28.15 c rootredcost : 0 0 0 0
28.00/28.15 c symmetry : 5720 0 0 10
28.00/28.15 c vbounds : 40699 0 0 0
28.00/28.15 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
28.00/28.15 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
28.00/28.15 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
28.00/28.15 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
28.00/28.15 c symmetry : 0.05 0.00 0.01 0.04 0.00 0.00
28.00/28.15 c vbounds : 0.05 0.00 0.00 0.05 0.00 0.00
28.00/28.15 c Symmetry :
28.00/28.15 c orbitopal red. : 0 reductions applied, 0 cutoffs
28.00/28.15 c orbital reduction: 10 reductions applied, 0 cutoffs
28.00/28.15 c lexicographic red: 0 reductions applied, 0 cutoffs
28.00/28.15 c shadow tree time : 0.02 s
28.00/28.15 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
28.00/28.15 c propagation : 0.01 287 283 - 1268 13.2 3 7.7 - - -
28.00/28.15 c infeasible LP : 0.74 7098 6190 - 33655 25.3 20 14.9 13 14.4 0
28.00/28.15 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
28.00/28.15 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
28.00/28.15 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
28.00/28.15 c applied globally : 0.06 - - 0 10527 8.9 - - 13 - -
28.00/28.15 c applied locally : - - - 0 3 41.7 - - 0 - -
28.00/28.15 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
28.00/28.15 c cut pool : 0.91 - 1611 42 - - 21500 28174 - - - - - (maximal pool size: 4172)
28.00/28.15 c aggregation : 0.14 0.00 577 22 0 0 11 5 7 0 0 0 0
28.00/28.15 c > cmir : - - - - - - - 5 4 0 0 0 -
28.00/28.15 c > flowcover : - - - - - - - 0 2 0 0 0 -
28.00/28.15 c > knapsackcover : - - - - - - - 0 1 0 0 0 -
28.00/28.15 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
28.00/28.15 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c gomory : 7.89 0.00 575 20 0 0 31387 28010 9934 1385 1082 303 0
28.00/28.15 c > gomorymi : - - - - - - - 13745 4967 513 359 154 -
28.00/28.15 c > strongcg : - - - - - - - 14265 4967 872 723 149 -
28.00/28.15 c impliedbounds : 0.01 0.00 577 22 0 0 2 2 0 2 2 0 0
28.00/28.15 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
28.00/28.15 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c multilinear : 0.00 0.00 585 22 0 0 0 0 0 0 0 0 0
28.00/28.15 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
28.00/28.15 c rapidlearning : 3.17 0.00 100 2 0 6426 0 0 0 0 0 0 443
28.00/28.15 c rlt : 0.00 0.00 294 20 0 0 0 0 0 0 0 0 0
28.00/28.15 c zerohalf : 0.19 0.00 577 22 0 0 1122 157 1081 699 58 641 0
28.00/28.15 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
28.00/28.15 c hybrid : 0.06 0.00 659 22 2090 2 37041 65 0 5898
28.00/28.15 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c Pricers : ExecTime SetupTime Calls Vars
28.00/28.15 c problem variables: 0.00 - 0 0
28.00/28.15 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
28.00/28.15 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c random : 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c relpscost : 0.28 0.00 7299 0 0 0 0 0 0 14598
28.00/28.15 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
28.00/28.15 c Primal Heuristics : ExecTime SetupTime Calls Found Best
28.00/28.15 c LP solutions : 0.00 - - 0 0
28.00/28.15 c relax solutions : 0.00 - - 0 0
28.00/28.15 c pseudo solutions : 0.00 - - 0 0
28.00/28.15 c strong branching : 0.00 - - 0 0
28.00/28.15 c actconsdiving : 0.00 0.00 0 0 0
28.00/28.15 c adaptivediving : 0.02 0.00 4 0 0
28.00/28.15 c alns : 0.03 0.00 4 0 0
28.00/28.15 c bound : 0.00 0.00 0 0 0
28.00/28.15 c clique : 0.00 0.00 1 0 0
28.00/28.15 c coefdiving : 0.00 0.00 0 0 0
28.00/28.15 c completesol : 0.00 0.00 0 0 0
28.00/28.15 c conflictdiving : 0.04 0.00 3 0 0
28.00/28.15 c crossover : 0.00 0.00 0 0 0
28.00/28.15 c dins : 0.00 0.00 0 0 0
28.00/28.15 c distributiondivin: 0.12 0.00 2 0 0
28.00/28.15 c dps : 0.00 0.00 0 0 0
28.00/28.15 c dualval : 0.00 0.00 0 0 0
28.00/28.15 c farkasdiving : 0.00 0.00 0 0 0
28.00/28.15 c feasjump : 0.04 0.00 2 0 0
28.00/28.15 c feaspump : 0.09 0.00 2 0 0
28.00/28.15 c fixandinfer : 0.00 0.00 0 0 0
28.00/28.15 c fracdiving : 0.02 0.00 3 0 0
28.00/28.15 c gins : 0.00 0.00 0 0 0
28.00/28.15 c guideddiving : 0.00 0.00 0 0 0
28.00/28.15 c indcoefdiving : 0.00 0.00 0 0 0
28.00/28.15 c indicator : 0.00 0.00 0 0 0
28.00/28.15 c indicatordiving : 0.00 0.00 0 0 0
28.00/28.15 c indoneopt : 0.00 0.00 0 0 0
28.00/28.15 c indrounding : 0.00 0.00 0 0 0
28.00/28.15 c indtwoopt : 0.00 0.00 0 0 0
28.00/28.15 c intdiving : 0.00 0.00 0 0 0
28.00/28.15 c intshifting : 0.00 0.00 0 0 0
28.00/28.15 c linesearchdiving : 0.01 0.00 2 0 0
28.00/28.15 c localbranching : 0.00 0.00 0 0 0
28.00/28.15 c locks : 0.00 0.00 1 0 0
28.00/28.15 c lpface : 0.00 0.00 0 0 0
28.00/28.15 c mpec : 0.00 0.00 0 0 0
28.00/28.15 c multistart : 0.00 0.00 0 0 0
28.00/28.15 c mutation : 0.00 0.00 0 0 0
28.00/28.15 c nlpdiving : 0.00 0.00 0 0 0
28.00/28.15 c objpscostdiving : 0.03 0.00 2 0 0
28.00/28.15 c octane : 0.00 0.00 0 0 0
28.00/28.15 c ofins : 0.00 0.00 0 0 0
28.00/28.15 c oneopt : 0.00 0.00 0 0 0
28.00/28.15 c padm : 0.00 0.00 0 0 0
28.00/28.15 c proximity : 0.00 0.00 0 0 0
28.00/28.15 c pscostdiving : 0.01 0.00 3 0 0
28.00/28.15 c randrounding : 0.03 0.00 581 0 0
28.00/28.15 c rens : 0.02 0.00 2 0 0
28.00/28.15 c reoptsols : 0.00 0.00 0 0 0
28.00/28.15 c repair : 0.00 0.00 0 0 0
28.00/28.15 c rins : 0.00 0.00 0 0 0
28.00/28.15 c rootsoldiving : 0.02 0.00 2 0 0
28.00/28.15 c rounding : 0.05 0.00 1215 0 0
28.00/28.15 c scheduler : 0.00 0.00 0 0 0
28.00/28.15 c shiftandpropagate: 0.00 0.00 2 0 0
28.00/28.15 c shifting : 0.07 0.00 468 0 0
28.00/28.15 c simplerounding : 0.00 0.00 0 0 0
28.00/28.15 c smallcard : 0.00 0.00 0 0 0
28.00/28.15 c subnlp : 0.00 0.00 0 0 0
28.00/28.15 c trivial : 0.00 0.00 4 0 0
28.00/28.15 c trivialnegation : 0.00 0.00 0 0 0
28.00/28.15 c trustregion : 0.00 0.00 0 0 0
28.00/28.15 c trysol : 0.00 0.00 0 0 0
28.00/28.15 c twoopt : 0.00 0.00 0 0 0
28.00/28.15 c undercover : 0.00 0.00 0 0 0
28.00/28.15 c vbounds : 0.01 0.00 1 0 0
28.00/28.15 c veclendiving : 0.02 0.00 2 0 0
28.00/28.15 c zeroobj : 0.00 0.00 0 0 0
28.00/28.15 c zirounding : 0.01 0.00 1000 0 0
28.00/28.15 c other solutions : - - - 0 -
28.00/28.15 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
28.00/28.15 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
28.00/28.15 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
28.00/28.15 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
28.00/28.15 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
28.00/28.15 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
28.00/28.15 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
28.00/28.15 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
28.00/28.15 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
28.00/28.15 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
28.00/28.15 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
28.00/28.15 c primal LP : 0.06 341 0 0.00 0.00 0.06 341
28.00/28.15 c dual LP : 9.37 15093 224514 14.93 23969.02 0.01 51
28.00/28.15 c lex dual LP : 0.00 0 0 0.00 -
28.00/28.15 c barrier LP : 0.00 0 0 0.00 - 0.00 0
28.00/28.15 c resolve instable : 0.00 0 0 0.00 -
28.00/28.15 c diving/probing LP: 0.23 167 5094 30.50 21753.15
28.00/28.15 c strong branching : 0.07 38 1420 37.37 20820.50 - - 0
28.00/28.15 c (at root node) : - 38 1420 37.37 -
28.00/28.15 c conflict analysis: 0.00 0 0 0.00 -
28.00/28.15 c B&B Tree :
28.00/28.15 c number of runs : 2
28.00/28.15 c nodes : 12748 (6390 internal, 6358 leaves)
28.00/28.15 c feasible leaves : 0
28.00/28.15 c infeas. leaves : 6358
28.00/28.15 c objective leaves : 0
28.00/28.15 c nodes (total) : 14545 (7299 internal, 7246 leaves)
28.00/28.15 c nodes left : 0
28.00/28.15 c max depth : 34
28.00/28.15 c max depth (total): 34
28.00/28.15 c backtracks : 1673 (13.1%)
28.00/28.15 c early backtracks : 0 (0.0%)
28.00/28.15 c nodes exc. ref. : 0 (0.0%)
28.00/28.15 c delayed cutoffs : 33
28.00/28.15 c repropagations : 16925 (18316 domain reductions, 33 cutoffs)
28.00/28.15 c avg switch length: 4.31
28.00/28.15 c switching time : 1.10
28.00/28.15 c Root Node :
28.00/28.15 c First LP value : +0.00000000000000e+00
28.00/28.15 c First LP Iters : 95 (31415.34 Iter/sec)
28.00/28.15 c First LP Time : 0.00
28.00/28.15 c Final Dual Bound : -
28.00/28.15 c Final Root Iters : 2300
28.00/28.15 c Root LP Estimate : +2.39502973258039e-03
28.00/28.15 c Solution :
28.00/28.15 c Solutions found : 0 (0 improvements)
28.00/28.15 c Primal Bound : infeasible
28.00/28.15 c Dual Bound : -
28.00/28.15 c Gap : 0.00 %
28.00/28.15 c Integrals : Total Avg%
28.00/28.15 c primal-dual : - - (problem infeasible)
28.00/28.15 c primal-ref : - - (problem infeasible)
28.00/28.15 c dual-ref : - - (problem infeasible)
28.00/28.16 c Time complete: 28.0605.