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-4444245-1721301743.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.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.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.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05 c (0.0s) 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.99705
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 |2477 |2443 | 0 | 0 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.22 c 0.2s| 1 | 0 | 2098 | - | 12M | 0 | 231 |2480 |2445 | 2 | 1 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.29 c 0.3s| 1 | 0 | 2118 | - | 14M | 0 | 231 |2482 |2448 | 5 | 2 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.35 c 0.4s| 1 | 0 | 2152 | - | 16M | 0 | 231 |2483 |2454 | 11 | 3 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.40 c 0.4s| 1 | 0 | 2168 | - | 21M | 0 | 231 |2488 |2457 | 14 | 4 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.47 c 0.5s| 1 | 0 | 2184 | - | 22M | 0 | 231 |2490 |2459 | 16 | 5 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.51 c 0.5s| 1 | 0 | 2200 | - | 24M | 0 | 231 |2491 |2461 | 18 | 6 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.57 c 0.6s| 1 | 0 | 2215 | - | 30M | 0 | 231 |2495 |2463 | 20 | 7 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.62 c 0.6s| 1 | 0 | 2235 | - | 33M | 0 | 231 |2496 |2465 | 22 | 8 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.69 c 0.7s| 1 | 0 | 2259 | - | 38M | 0 | 231 |2500 |2468 | 25 | 9 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.76 c 0.8s| 1 | 0 | 2277 | - | 42M | 0 | 231 |2503 |2472 | 29 | 10 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.77 c 0.8s| 1 | 0 | 2297 | - | 42M | 0 | 231 |2506 |2475 | 32 | 11 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.88 c 0.9s| 1 | 2 | 2680 | - | 42M | 0 | 231 |2534 |2475 | 32 | 11 | 90 | 19 | 0.000000e+00 | -- | Inf | unknown
1.38/1.40 c 1.4s| 100 | 12 | 4557 | 22.8 | 47M | 20 | 231 |2599 |2451 | 82 | 1 | 157 | 19 | 0.000000e+00 | -- | Inf | 58.06%
1.78/1.89 c 1.9s| 200 | 14 | 5834 | 17.8 | 54M | 20 | 231 |2656 |2455 | 146 | 1 | 214 | 19 | 0.000000e+00 | -- | Inf | 59.50%
1.99/2.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.99/2.04 c 2.0s| 300 | 14 | 6684 | 14.7 | 55M | 20 | 231 |2736 |2454 | 161 | 1 | 300 | 19 | 0.000000e+00 | -- | Inf | 59.77%
2.18/2.22 c 2.2s| 400 | 15 | 7830 | 13.9 | 58M | 20 | 231 |2799 |2455 | 175 | 1 | 364 | 19 | 0.000000e+00 | -- | Inf | 59.94%
2.58/2.66 c 2.7s| 500 | 16 | 8934 | 13.3 | 62M | 20 | 231 |2876 |2454 | 196 | 1 | 444 | 19 | 0.000000e+00 | -- | Inf | 60.44%
2.88/2.90 c 2.9s| 600 | 21 | 10010 | 12.9 | 63M | 20 | 231 |2951 |2456 | 223 | 1 | 523 | 19 | 0.000000e+00 | -- | Inf | 60.73%
2.99/3.08 c 3.1s| 700 | 23 | 11294 | 12.9 | 64M | 20 | 231 |3021 |2455 | 233 | 0 | 598 | 19 | 0.000000e+00 | -- | Inf | 60.88%
3.28/3.31 c 3.3s| 800 | 21 | 12483 | 12.7 | 64M | 20 | 231 |3074 |2455 | 241 | 0 | 655 | 19 | 0.000000e+00 | -- | Inf | 60.99%
3.48/3.50 c 3.5s| 900 | 21 | 13639 | 12.6 | 65M | 20 | 231 |3140 |2454 | 253 | 0 | 724 | 19 | 0.000000e+00 | -- | Inf | 61.17%
3.58/3.68 c 3.7s| 1000 | 23 | 14889 | 12.6 | 65M | 20 | 231 |3204 |2454 | 254 | 0 | 795 | 19 | 0.000000e+00 | -- | Inf | 61.19%
3.88/3.96 c 4.0s| 1100 | 25 | 16540 | 13.0 | 65M | 20 | 231 |3275 |2451 | 272 | 1 | 878 | 19 | 0.000000e+00 | -- | Inf | 61.67%
4.18/4.22 c 4.2s| 1200 | 23 | 17822 | 12.9 | 65M | 20 | 231 |3320 |2453 | 291 | 1 | 934 | 19 | 0.000000e+00 | -- | Inf | 61.94%
4.28/4.39 c 4.4s| 1300 | 20 | 19100 | 12.9 | 65M | 20 | 231 |3372 |2456 | 299 | 1 | 995 | 19 | 0.000000e+00 | -- | Inf | 62.09%
4.48/4.55 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.48/4.55 c (run 1, node 1388) performing user restart
4.48/4.55 c
4.48/4.55 c (restart) converted 7 cuts from the global cut pool into linear constraints
4.48/4.55 c
4.48/4.57 c presolving:
4.48/4.57 c (round 1, fast) 21 del vars, 622 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 287 chg coeffs, 0 upgd conss, 0 impls, 320 clqs
4.48/4.57 c (round 2, medium) 31 del vars, 622 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 289 chg coeffs, 0 upgd conss, 0 impls, 300 clqs
4.48/4.57 c (round 3, fast) 31 del vars, 642 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 317 chg coeffs, 0 upgd conss, 0 impls, 300 clqs
4.48/4.57 c (round 4, exhaustive) 31 del vars, 643 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 318 chg coeffs, 6 upgd conss, 0 impls, 300 clqs
4.48/4.58 c (round 5, exhaustive) 31 del vars, 643 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 324 chg coeffs, 6 upgd conss, 0 impls, 300 clqs
4.48/4.58 c (round 6, exhaustive) 31 del vars, 849 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 872 chg coeffs, 6 upgd conss, 0 impls, 300 clqs
4.48/4.59 c (round 7, exhaustive) 31 del vars, 878 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 881 chg coeffs, 6 upgd conss, 0 impls, 300 clqs
4.48/4.59 c (round 8, exhaustive) 31 del vars, 878 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 946 chg coeffs, 6 upgd conss, 0 impls, 300 clqs
4.58/4.60 c presolving (9 rounds: 9 fast, 7 medium, 6 exhaustive):
4.58/4.60 c 31 deleted vars, 878 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 947 changed coefficients
4.58/4.60 c 0 implications, 300 cliques
4.58/4.60 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 2555 constraints
4.58/4.60 c 6 constraints of type <knapsack>
4.58/4.60 c 20 constraints of type <setppc>
4.58/4.60 c 1 constraints of type <linear>
4.58/4.60 c 2528 constraints of type <logicor>
4.58/4.60 c transformed objective value is always integral (scale: 1)
4.58/4.60 c Presolving Time: 0.08
4.58/4.60 c
4.58/4.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.58/4.63 c 4.6s| 1 | 0 | 20346 | - | 61M | 0 | 200 |2607 |1837 | 0 | 0 |1111 | 19 | 0.000000e+00 | -- | Inf | unknown
4.58/4.69 c 4.7s| 1 | 0 | 20365 | - | 61M | 0 | 200 |2611 |1842 | 5 | 1 |1115 | 19 | 0.000000e+00 | -- | Inf | unknown
4.67/4.74 c 4.7s| 1 | 0 | 20379 | - | 61M | 0 | 200 |2614 |1846 | 9 | 2 |1118 | 19 | 0.000000e+00 | -- | Inf | unknown
4.77/4.81 c 4.8s| 1 | 0 | 20396 | - | 62M | 0 | 200 |2620 |1851 | 14 | 3 |1124 | 19 | 0.000000e+00 | -- | Inf | unknown
4.77/4.86 c 4.9s| 1 | 0 | 20411 | - | 62M | 0 | 200 |2621 |1855 | 18 | 4 |1125 | 19 | 0.000000e+00 | -- | Inf | unknown
4.87/4.91 c 4.9s| 1 | 0 | 20436 | - | 62M | 0 | 200 |2622 |1859 | 22 | 5 |1126 | 19 | 0.000000e+00 | -- | Inf | unknown
4.87/4.96 c 5.0s| 1 | 0 | 20449 | - | 62M | 0 | 200 |2623 |1863 | 26 | 6 |1127 | 19 | 0.000000e+00 | -- | Inf | unknown
4.87/5.00 c 5.0s| 1 | 0 | 20472 | - | 63M | 0 | 200 |2627 |1866 | 29 | 7 |1131 | 19 | 0.000000e+00 | -- | Inf | unknown
4.98/5.03 c 5.0s| 1 | 0 | 20481 | - | 64M | 0 | 200 |2627 |1867 | 30 | 8 |1131 | 19 | 0.000000e+00 | -- | Inf | unknown
4.98/5.06 c 5.1s| 1 | 0 | 20493 | - | 64M | 0 | 200 |2629 |1869 | 32 | 9 |1133 | 19 | 0.000000e+00 | -- | Inf | unknown
4.98/5.10 c 5.1s| 1 | 0 | 20512 | - | 65M | 0 | 200 |2630 |1873 | 36 | 10 |1134 | 19 | 0.000000e+00 | -- | Inf | unknown
5.08/5.11 c 5.1s| 1 | 0 | 20528 | - | 66M | 0 | 200 |2630 |1876 | 39 | 11 |1134 | 19 | 0.000000e+00 | -- | Inf | unknown
5.08/5.17 c 5.2s| 1 | 2 | 20725 | - | 66M | 0 | 200 |2640 |1876 | 39 | 11 |1145 | 38 | 0.000000e+00 | -- | Inf | unknown
5.67/5.75 c 5.8s| 100 | 20 | 23830 | 14.3 | 67M | 19 | 200 |2788 |1840 | 63 | 1 |1296 | 38 | 0.000000e+00 | -- | Inf | 15.12%
5.97/6.01 c 6.0s| 200 | 16 | 25620 | 14.5 | 68M | 20 | 200 |2852 |1836 | 106 | 0 |1361 | 38 | 0.000000e+00 | -- | Inf | 16.56%
6.07/6.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.07/6.15 c 6.2s| 300 | 15 | 27093 | 14.6 | 68M | 20 | 200 |2923 |1840 | 119 | 1 |1442 | 38 | 0.000000e+00 | -- | Inf | 16.99%
6.77/6.80 c 6.8s| 400 | 13 | 29115 | 14.9 | 68M | 20 | 200 |2973 |1844 | 147 | 2 |1511 | 38 | 0.000000e+00 | -- | Inf | 45.80%
7.26/7.31 c 7.3s| 500 | 17 | 30751 | 14.9 | 69M | 20 | 200 |3019 |1837 | 196 | 0 |1578 | 38 | 0.000000e+00 | -- | Inf | 51.39%
7.46/7.54 c 7.5s| 600 | 16 | 32091 | 14.9 | 69M | 20 | 200 |3071 |1838 | 219 | 1 |1645 | 38 | 0.000000e+00 | -- | Inf | 52.12%
7.66/7.73 c 7.7s| 700 | 13 | 33507 | 14.8 | 71M | 20 | 200 |3124 |1838 | 246 | 0 |1719 | 38 | 0.000000e+00 | -- | Inf | 52.73%
8.06/8.11 c 8.1s| 800 | 20 | 35008 | 14.8 | 71M | 20 | 200 |3158 |1838 | 287 | 1 |1784 | 38 | 0.000000e+00 | -- | Inf | 55.54%
8.46/8.52 c 8.5s| 900 | 20 | 36663 | 14.9 | 71M | 20 | 200 |3207 |1839 | 329 | 1 |1864 | 38 | 0.000000e+00 | -- | Inf | 68.59%
8.76/8.87 c 8.9s| 1000 | 16 | 38625 | 15.1 | 71M | 20 | 200 |3241 |1845 | 372 | 3 |1946 | 38 | 0.000000e+00 | -- | Inf | 70.75%
9.07/9.12 c 9.1s| 1100 | 16 | 40255 | 15.2 | 71M | 20 | 200 |3268 |1839 | 410 | 0 |2018 | 38 | 0.000000e+00 | -- | Inf | 71.92%
9.36/9.47 c 9.5s| 1200 | 22 | 42035 | 15.3 | 72M | 20 | 200 |3282 |1838 | 447 | 0 |2087 | 38 | 0.000000e+00 | -- | Inf | 73.21%
9.66/9.73 c 9.7s| 1300 | 24 | 43732 | 15.3 | 72M | 20 | 200 |3292 |1838 | 497 | 0 |2156 | 38 | 0.000000e+00 | -- | Inf | 74.33%
9.76/9.80 c 9.8s| 1400 | 23 | 44783 | 15.2 | 72M | 20 | 200 |3348 |1840 | 497 | 0 |2242 | 38 | 0.000000e+00 | -- | Inf | 74.43%
9.86/9.99 c 10.0s| 1500 | 21 | 46320 | 15.2 | 72M | 20 | 200 |3396 |1841 | 512 | 0 |2321 | 38 | 0.000000e+00 | -- | Inf | 74.73%
10.07/10.19 c 10.2s| 1600 | 23 | 48145 | 15.3 | 72M | 20 | 200 |3463 |1840 | 519 | 0 |2425 | 38 | 0.000000e+00 | -- | Inf | 74.83%
10.26/10.33 c 10.3s| 1700 | 21 | 49645 | 15.3 | 72M | 20 | 200 |3533 | 0 | 519 | 0 |2510 | 38 | 0.000000e+00 | -- | Inf | 74.96%
10.46/10.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.46/10.55 c 10.5s| 1800 | 20 | 51058 | 15.2 | 72M | 20 | 200 |3604 | 0 | 520 | 0 |2599 | 38 | 0.000000e+00 | -- | Inf | 74.99%
10.66/10.78 c 10.8s| 1900 | 20 | 52800 | 15.3 | 72M | 20 | 200 |3689 |1839 | 521 | 1 |2698 | 38 | 0.000000e+00 | -- | Inf | 75.03%
10.96/11.03 c 11.0s| 2000 | 20 | 54561 | 15.4 | 72M | 20 | 200 |3793 |1839 | 523 | 1 |2808 | 38 | 0.000000e+00 | -- | Inf | 75.08%
11.35/11.40 c 11.4s| 2100 | 20 | 56605 | 15.5 | 72M | 25 | 200 |3878 |1836 | 539 | 0 |2902 | 38 | 0.000000e+00 | -- | Inf | 75.18%
11.75/11.82 c 11.8s| 2200 | 26 | 58961 | 15.7 | 72M | 25 | 200 |3918 |1836 | 589 | 1 |2964 | 38 | 0.000000e+00 | -- | Inf | 80.21%
11.96/12.05 c 12.0s| 2300 | 30 | 60590 | 15.7 | 72M | 25 | 200 |3958 |1841 | 615 | 1 |3014 | 38 | 0.000000e+00 | -- | Inf | 80.99%
12.25/12.33 c 12.3s| 2400 | 32 | 62596 | 15.9 | 72M | 25 | 200 |4002 |1840 | 650 | 1 |3067 | 38 | 0.000000e+00 | -- | Inf | 81.73%
12.45/12.59 c 12.6s| 2500 | 36 | 64392 | 15.9 | 72M | 25 | 200 |4039 |1839 | 690 | 0 |3119 | 38 | 0.000000e+00 | -- | Inf | 82.88%
12.65/12.72 c 12.7s| 2600 | 38 | 65831 | 15.9 | 72M | 25 | 200 |4097 |1840 | 702 | 1 |3183 | 38 | 0.000000e+00 | -- | Inf | 83.25%
12.75/12.86 c 12.9s| 2700 | 38 | 67232 | 15.8 | 72M | 27 | 200 |4187 |1839 | 716 | 1 |3279 | 38 | 0.000000e+00 | -- | Inf | 83.32%
12.85/12.97 c 13.0s| 2800 | 38 | 68768 | 15.8 | 72M | 27 | 200 |4260 |1841 | 727 | 0 |3363 | 38 | 0.000000e+00 | -- | Inf | 83.44%
12.95/13.07 c 13.1s| 2900 | 36 | 70212 | 15.8 | 72M | 27 | 200 |4330 |1839 | 727 | 0 |3441 | 38 | 0.000000e+00 | -- | Inf | 83.50%
13.05/13.17 c 13.2s| 3000 | 38 | 71754 | 15.8 | 72M | 27 | 200 |4411 |1839 | 729 | 1 |3531 | 38 | 0.000000e+00 | -- | Inf | 83.52%
13.25/13.30 c 13.3s| 3100 | 38 | 73228 | 15.8 | 72M | 27 | 200 |4483 |1840 | 744 | 1 |3615 | 38 | 0.000000e+00 | -- | Inf | 83.60%
13.35/13.40 c 13.4s| 3200 | 39 | 74723 | 15.7 | 72M | 27 | 200 |4542 |1840 | 744 | 0 |3698 | 38 | 0.000000e+00 | -- | Inf | 83.64%
13.45/13.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.45/13.54 c 13.5s| 3300 | 35 | 76203 | 15.7 | 72M | 27 | 200 |4623 |1841 | 758 | 1 |3793 | 38 | 0.000000e+00 | -- | Inf | 83.98%
13.55/13.68 c 13.7s| 3400 | 35 | 77490 | 15.7 | 72M | 28 | 200 |4689 |1842 | 775 | 1 |3867 | 38 | 0.000000e+00 | -- | Inf | 84.51%
13.65/13.79 c 13.8s| 3500 | 35 | 79163 | 15.7 | 72M | 28 | 200 |4758 |1840 | 782 | 0 |3942 | 38 | 0.000000e+00 | -- | Inf | 84.52%
13.85/13.95 c 14.0s| 3600 | 37 | 80802 | 15.7 | 72M | 28 | 200 |4815 |1838 | 796 | 1 |4008 | 38 | 0.000000e+00 | -- | Inf | 84.64%
13.95/14.07 c 14.1s| 3700 | 38 | 82197 | 15.7 | 72M | 28 | 200 |4881 |1844 | 805 | 2 |4085 | 38 | 0.000000e+00 | -- | Inf | 84.75%
14.05/14.19 c 14.2s| 3800 | 33 | 83874 | 15.7 | 72M | 28 | 200 |4959 |1838 | 814 | 0 |4175 | 38 | 0.000000e+00 | -- | Inf | 84.87%
14.24/14.34 c 14.3s| 3900 | 35 | 85620 | 15.7 | 72M | 28 | 200 |5039 |1839 | 825 | 0 |4277 | 38 | 0.000000e+00 | -- | Inf | 87.30%
14.34/14.45 c 14.4s| 4000 | 35 | 86941 | 15.7 | 72M | 28 | 200 |5107 |1839 | 831 | 1 |4367 | 38 | 0.000000e+00 | -- | Inf | 87.43%
14.44/14.56 c 14.6s| 4100 | 35 | 88638 | 15.7 | 72M | 28 | 200 |5146 |1839 | 831 | 1 |4432 | 38 | 0.000000e+00 | -- | Inf | 87.44%
14.74/14.85 c 14.8s| 4200 | 33 | 90560 | 15.8 | 72M | 28 | 200 |5184 |1841 | 866 | 1 |4489 | 38 | 0.000000e+00 | -- | Inf | 88.18%
14.84/14.96 c 15.0s| 4300 | 37 | 92243 | 15.8 | 72M | 28 | 200 |5250 |1840 | 869 | 1 |4571 | 38 | 0.000000e+00 | -- | Inf | 88.19%
14.95/15.07 c 15.1s| 4400 | 33 | 94037 | 15.8 | 72M | 29 | 200 |5353 |1839 | 872 | 0 |4685 | 38 | 0.000000e+00 | -- | Inf | 88.19%
15.05/15.18 c 15.2s| 4500 | 29 | 95945 | 15.9 | 72M | 29 | 200 |5455 |1843 | 872 | 1 |4809 | 38 | 0.000000e+00 | -- | Inf | 88.21%
15.14/15.28 c 15.3s| 4600 | 27 | 97521 | 15.9 | 72M | 29 | 200 |5530 |1840 | 872 | 1 |4903 | 38 | 0.000000e+00 | -- | Inf | 88.29%
15.44/15.52 c 15.5s| 4700 | 31 | 99441 | 15.9 | 72M | 29 | 200 |5578 |1841 | 894 | 1 |4992 | 38 | 0.000000e+00 | -- | Inf | 88.54%
15.54/15.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.54/15.68 c 15.7s| 4800 | 37 |101118 | 15.9 | 72M | 29 | 200 |5586 |1842 | 906 | 1 |5036 | 38 | 0.000000e+00 | -- | Inf | 88.65%
15.74/15.84 c 15.8s| 4900 | 38 |102936 | 16.0 | 72M | 29 | 200 |5630 |1836 | 920 | 1 |5110 | 38 | 0.000000e+00 | -- | Inf | 89.13%
15.84/15.99 c 16.0s| 5000 | 44 |104566 | 16.0 | 72M | 29 | 200 |5670 |1842 | 928 | 0 |5202 | 38 | 0.000000e+00 | -- | Inf | 89.74%
16.04/16.11 c 16.1s| 5100 | 51 |106477 | 16.0 | 72M | 30 | 200 |5689 |1843 | 928 | 0 |5270 | 38 | 0.000000e+00 | -- | Inf | 89.74%
16.14/16.24 c 16.2s| 5200 | 47 |108323 | 16.1 | 75M | 30 | 200 |5770 | 0 | 928 | 0 |5377 | 38 | 0.000000e+00 | -- | Inf | 89.75%
16.23/16.35 c 16.3s| 5300 | 42 |109830 | 16.0 | 75M | 32 | 200 |5838 |1843 | 928 | 0 |5461 | 38 | 0.000000e+00 | -- | Inf | 89.75%
16.43/16.52 c 16.5s| 5400 | 45 |111529 | 16.1 | 75M | 32 | 200 |5877 |1838 | 948 | 0 |5521 | 38 | 0.000000e+00 | -- | Inf | 91.42%
16.63/16.75 c 16.7s| 5500 | 51 |113105 | 16.1 | 75M | 32 | 200 |5916 |1840 | 981 | 1 |5587 | 38 | 0.000000e+00 | -- | Inf | 93.63%
16.83/16.92 c 16.9s| 5600 | 49 |114744 | 16.1 | 75M | 32 | 200 |5975 |1837 | 985 | 0 |5666 | 38 | 0.000000e+00 | -- | Inf | 94.04%
16.94/17.10 c 17.1s| 5700 | 49 |116339 | 16.1 | 75M | 32 | 200 |6006 |1840 |1011 | 0 |5726 | 38 | 0.000000e+00 | -- | Inf | 94.56%
17.33/17.41 c 17.4s| 5800 | 47 |118059 | 16.1 | 76M | 32 | 200 |6062 |1840 |1055 | 0 |5810 | 38 | 0.000000e+00 | -- | Inf | 95.28%
17.43/17.55 c 17.5s| 5900 | 47 |119886 | 16.1 | 76M | 32 | 200 |6073 |1840 |1062 | 1 |5852 | 38 | 0.000000e+00 | -- | Inf | 95.40%
17.53/17.68 c 17.7s| 6000 | 45 |121616 | 16.1 | 76M | 32 | 200 |6114 |1843 |1070 | 0 |5929 | 38 | 0.000000e+00 | -- | Inf | 96.91%
17.73/17.80 c 17.8s| 6100 | 43 |123410 | 16.1 | 76M | 32 | 200 |6161 |1838 |1070 | 1 |6004 | 38 | 0.000000e+00 | -- | Inf | 96.96%
17.83/17.91 c 17.9s| 6200 | 39 |125153 | 16.2 | 76M | 32 | 200 |6239 |1839 |1070 | 0 |6100 | 38 | 0.000000e+00 | -- | Inf | 96.99%
17.93/18.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.93/18.03 c 18.0s| 6300 | 35 |127097 | 16.2 | 76M | 32 | 200 |6292 |1841 |1071 | 0 |6178 | 38 | 0.000000e+00 | -- | Inf | 97.03%
18.03/18.18 c 18.2s| 6400 | 31 |128807 | 16.2 | 76M | 32 | 200 |6326 |1843 |1085 | 1 |6246 | 38 | 0.000000e+00 | -- | Inf | 97.35%
18.23/18.31 c 18.3s| 6500 | 29 |130652 | 16.2 | 76M | 32 | 200 |6362 |1840 |1086 | 0 |6358 | 38 | 0.000000e+00 | -- | Inf | 97.46%
18.33/18.43 c 18.4s| 6600 | 27 |132521 | 16.3 | 76M | 32 | 200 |6421 |1842 |1086 | 0 |6451 | 38 | 0.000000e+00 | -- | Inf | 97.50%
18.43/18.53 c 18.5s| 6700 | 27 |134040 | 16.3 | 76M | 32 | 200 |6455 |1843 |1087 | 0 |6509 | 38 | 0.000000e+00 | -- | Inf | 97.50%
18.53/18.68 c 18.7s| 6800 | 26 |136069 | 16.3 | 76M | 32 | 200 |6495 |1841 |1094 | 0 |6586 | 38 | 0.000000e+00 | -- | Inf | 97.69%
18.73/18.84 c 18.8s| 6900 | 24 |137812 | 16.3 | 76M | 32 | 200 |6537 |1842 |1104 | 1 |6655 | 38 | 0.000000e+00 | -- | Inf | 97.89%
18.93/19.02 c 19.0s| 7000 | 22 |139699 | 16.4 | 76M | 32 | 200 |6567 |1840 |1124 | 0 |6719 | 38 | 0.000000e+00 | -- | Inf | 98.13%
19.03/19.13 c 19.1s| 7100 | 22 |141386 | 16.4 | 76M | 32 | 200 |6630 |1840 |1124 | 0 |6814 | 38 | 0.000000e+00 | -- | Inf | 98.14%
19.12/19.25 c 19.2s| 7200 | 22 |143170 | 16.4 | 75M | 32 | 200 |6711 |1841 |1125 | 1 |6928 | 38 | 0.000000e+00 | -- | Inf | 98.15%
19.22/19.37 c 19.4s| 7300 | 22 |145167 | 16.4 | 75M | 32 | 200 |6825 |1840 |1125 | 1 |7061 | 38 | 0.000000e+00 | -- | Inf | 98.15%
19.42/19.50 c 19.5s| 7400 | 22 |146798 | 16.4 | 75M | 32 | 200 |6886 |1840 |1130 | 1 |7152 | 38 | 0.000000e+00 | -- | Inf | 98.78%
19.52/19.63 c 19.6s| 7500 | 26 |148886 | 16.5 | 75M | 32 | 200 |6957 |1840 |1130 | 1 |7262 | 38 | 0.000000e+00 | -- | Inf | 98.79%
19.62/19.75 c 19.7s| 7600 | 20 |150956 | 16.5 | 75M | 32 | 200 |7086 |1840 |1130 | 0 |7412 | 38 | 0.000000e+00 | -- | Inf | 98.79%
19.72/19.86 c 19.9s| 7700 | 23 |152785 | 16.5 | 75M | 33 | 200 |7193 |1840 |1130 | 0 |7535 | 38 | 0.000000e+00 | -- | Inf | 98.79%
19.82/19.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.82/19.98 c 20.0s| 7800 | 23 |154930 | 16.6 | 75M | 33 | 200 |7322 |1840 |1130 | 1 |7672 | 38 | 0.000000e+00 | -- | Inf | 98.79%
20.03/20.11 c 20.1s| 7900 | 21 |157146 | 16.6 | 76M | 33 | 200 |7459 |1840 |1131 | 0 |7814 | 38 | 0.000000e+00 | -- | Inf | 98.79%
20.12/20.29 c 20.3s| 8000 | 19 |159537 | 16.7 | 76M | 33 | 200 |7558 |1840 |1143 | 1 |7923 | 38 | 0.000000e+00 | -- | Inf | 99.18%
20.32/20.45 c 20.4s| 8100 | 15 |161514 | 16.8 | 76M | 33 | 200 |7614 |1841 |1156 | 0 |8002 | 38 | 0.000000e+00 | -- | Inf | 99.43%
20.52/20.61 c 20.6s| 8200 | 11 |163728 | 16.8 | 76M | 33 | 200 |7663 |1841 |1162 | 1 |8091 | 38 | 0.000000e+00 | -- | Inf | 99.57%
20.62/20.75 c 20.7s| 8300 | 9 |165426 | 16.8 | 76M | 33 | 200 |7715 |1842 |1171 | 0 |8192 | 38 | 0.000000e+00 | -- | Inf | 99.72%
20.72/20.88 c 20.9s| 8400 | 7 |167330 | 16.8 | 76M | 33 | 200 |7788 |1842 |1179 | 1 |8280 | 38 | 0.000000e+00 | -- | Inf | 99.83%
20.92/21.04 c 21.0s| 8500 | 3 |169286 | 16.9 | 76M | 33 | 200 |7832 |1840 |1189 | 0 |8355 | 38 | 0.000000e+00 | -- | Inf | 99.97%
21.02/21.16 c 21.2s| 8600 | 6 |171121 | 16.9 | 76M | 33 | 200 |7907 |1842 |1191 | 1 |8467 | 38 | 0.000000e+00 | -- | Inf | 99.99%
21.12/21.28 c 21.3s| 8700 | 6 |173066 | 16.9 | 76M | 33 | 200 |7996 |1842 |1192 | 1 |8580 | 38 | 0.000000e+00 | -- | Inf | 100.00%
21.22/21.36 c
21.22/21.36 c SCIP Status : problem is solved [infeasible]
21.22/21.36 c Solving Time (sec) : 21.36
21.22/21.36 c Solving Nodes : 8762 (total of 10150 nodes in 2 runs)
21.22/21.36 c Primal Bound : +1.00000000000000e+20 (0 solutions)
21.22/21.36 c Dual Bound : +1.00000000000000e+20
21.22/21.36 c Gap : 0.00 %
21.22/21.36 s UNSATISFIABLE
21.22/21.36 c SCIP Status : problem is solved [infeasible]
21.22/21.36 c Total Time : 21.36
21.22/21.36 c solving : 21.36
21.22/21.36 c presolving : 0.08 (included in solving)
21.22/21.36 c reading : 0.00 (included in solving)
21.22/21.36 c copying : 0.66 (106 #copies) (minimal 0.00, maximal 0.01, average 0.01)
21.22/21.36 c Original Problem :
21.22/21.36 c Problem name : HOME/instance-4444245-1721301743.opb
21.22/21.36 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
21.22/21.36 c Constraints : 2707 initial, 2707 maximal
21.22/21.36 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
21.22/21.36 c Presolved Problem :
21.22/21.36 c Problem name : t_HOME/instance-4444245-1721301743.opb
21.22/21.36 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
21.22/21.36 c Constraints : 2555 initial, 8039 maximal
21.22/21.36 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
21.22/21.36 c Nonzeros : 12098 constraint, 788 clique table
21.22/21.36 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
21.22/21.36 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
21.22/21.36 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
21.22/21.36 c gateextraction : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
21.22/21.36 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
21.22/21.36 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
21.22/21.36 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
21.22/21.36 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c trivial : 0.00 0.00 15 21 0 0 0 0 0 0 0 0
21.22/21.36 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c dualfix : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
21.22/21.36 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
21.22/21.36 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
21.22/21.36 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
21.22/21.36 c vbounds : 0.00 0.00 2 0 10 0 0 0 0 0 0 0
21.22/21.36 c knapsack : 0.00 0.00 28 0 0 0 0 0 0 1 2 14
21.22/21.36 c setppc : 0.00 0.00 27 0 0 0 0 0 67 0 0 0
21.22/21.36 c linear : 0.02 0.00 22 0 0 0 0 0 198 0 55 0
21.22/21.36 c logicor : 0.03 0.00 25 0 0 0 0 0 877 0 0 933
21.22/21.36 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
21.22/21.36 c root node : - - - 92 - - 92 - - - - -
21.22/21.36 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
21.22/21.36 c benderslp : 0 0 0 0 5103 0 0 375 0 0 0 0 0 0 0
21.22/21.36 c integral : 0 0 0 0 5103 0 0 375 0 0 0 0 0 0 10206
21.22/21.36 c knapsack : 6+ 8 22 38364 0 0 0 371 3650 59 9736 7 1 0 0
21.22/21.36 c setppc : 20+ 36 22 38315 0 0 0 216 89305 202 51701 0 0 0 0
21.22/21.36 c linear : 1+ 21 11 29711 0 0 0 2 0 0 50 0 0 0 0
21.22/21.36 c logicor : 2528+ 7989 22 19625 0 0 0 1 25391 101 51593 5 1 0 0
21.22/21.36 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
21.22/21.36 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c integral : 0.25 0.00 0.00 0.00 0.25 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c knapsack : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c setppc : 0.14 0.00 0.00 0.12 0.00 0.00 0.00 0.00 0.01 0.00
21.22/21.36 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c logicor : 0.71 0.00 0.01 0.68 0.00 0.00 0.00 0.00 0.01 0.00
21.22/21.36 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c Propagators : #Propagate #ResProp Cutoffs DomReds
21.22/21.36 c dualfix : 2 0 0 0
21.22/21.36 c genvbounds : 0 0 0 0
21.22/21.36 c nlobbt : 0 0 0 0
21.22/21.36 c obbt : 0 0 0 0
21.22/21.36 c probing : 0 0 0 0
21.22/21.36 c pseudoobj : 0 0 0 0
21.22/21.36 c redcost : 0 0 0 0
21.22/21.36 c rootredcost : 0 0 0 0
21.22/21.36 c symmetry : 4489 0 0 10
21.22/21.36 c vbounds : 29302 0 0 0
21.22/21.36 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
21.22/21.36 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
21.22/21.36 c symmetry : 0.04 0.00 0.01 0.03 0.00 0.00
21.22/21.36 c vbounds : 0.04 0.00 0.00 0.04 0.00 0.00
21.22/21.36 c Symmetry :
21.22/21.36 c orbitopal red. : 0 reductions applied, 0 cutoffs
21.22/21.36 c orbital reduction: 10 reductions applied, 0 cutoffs
21.22/21.36 c lexicographic red: 0 reductions applied, 0 cutoffs
21.22/21.36 c shadow tree time : 0.01 s
21.22/21.36 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
21.22/21.36 c propagation : 0.01 362 358 - 1729 13.9 8 6.0 - - -
21.22/21.36 c infeasible LP : 0.49 4846 4391 - 23389 23.9 17 11.8 10 20.2 0
21.22/21.36 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
21.22/21.36 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
21.22/21.36 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
21.22/21.36 c applied globally : 0.05 - - 0 8636 9.0 - - 10 - -
21.22/21.36 c applied locally : - - - 0 1 33.0 - - 0 - -
21.22/21.36 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
21.22/21.36 c cut pool : 0.72 - 1143 42 - - 17714 22256 - - - - - (maximal pool size: 3879)
21.22/21.36 c aggregation : 0.14 0.00 442 22 0 0 21 18 6 1 1 0 0
21.22/21.36 c > cmir : - - - - - - - 16 3 1 1 0 -
21.22/21.36 c > flowcover : - - - - - - - 2 1 0 0 0 -
21.22/21.36 c > knapsackcover : - - - - - - - 0 2 0 0 0 -
21.22/21.36 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
21.22/21.36 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c gomory : 5.84 0.00 440 20 0 0 24748 22161 7094 1047 836 211 0
21.22/21.36 c > gomorymi : - - - - - - - 10795 3594 453 329 124 -
21.22/21.36 c > strongcg : - - - - - - - 11366 3500 594 507 87 -
21.22/21.36 c impliedbounds : 0.01 0.00 442 22 0 0 2 2 0 1 1 0 0
21.22/21.36 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
21.22/21.36 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c multilinear : 0.00 0.00 470 22 0 0 0 0 0 0 0 0 0
21.22/21.36 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
21.22/21.36 c rapidlearning : 2.74 0.00 100 2 0 3614 0 0 0 0 0 0 198
21.22/21.36 c rlt : 0.00 0.00 223 20 0 0 0 0 0 0 0 0 0
21.22/21.36 c zerohalf : 0.19 0.00 442 22 0 0 812 75 769 441 27 414 0
21.22/21.36 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
21.22/21.36 c hybrid : 0.05 0.00 494 22 1492 0 28633 71 0 5282
21.22/21.36 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c Pricers : ExecTime SetupTime Calls Vars
21.22/21.36 c problem variables: 0.00 - 0 0
21.22/21.36 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
21.22/21.36 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c random : 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c relpscost : 0.24 0.00 5103 0 0 0 0 0 0 10206
21.22/21.36 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
21.22/21.36 c Primal Heuristics : ExecTime SetupTime Calls Found Best
21.22/21.36 c LP solutions : 0.00 - - 0 0
21.22/21.36 c relax solutions : 0.00 - - 0 0
21.22/21.36 c pseudo solutions : 0.00 - - 0 0
21.22/21.36 c strong branching : 0.00 - - 0 0
21.22/21.36 c actconsdiving : 0.00 0.00 0 0 0
21.22/21.36 c adaptivediving : 0.05 0.00 8 0 0
21.22/21.36 c alns : 0.04 0.00 4 0 0
21.22/21.36 c bound : 0.00 0.00 0 0 0
21.22/21.36 c clique : 0.00 0.00 1 0 0
21.22/21.36 c coefdiving : 0.00 0.00 0 0 0
21.22/21.36 c completesol : 0.00 0.00 0 0 0
21.22/21.36 c conflictdiving : 0.05 0.00 4 0 0
21.22/21.36 c crossover : 0.00 0.00 0 0 0
21.22/21.36 c dins : 0.00 0.00 0 0 0
21.22/21.36 c distributiondivin: 0.11 0.00 4 0 0
21.22/21.36 c dps : 0.00 0.00 0 0 0
21.22/21.36 c dualval : 0.00 0.00 0 0 0
21.22/21.36 c farkasdiving : 0.00 0.00 0 0 0
21.22/21.36 c feasjump : 0.03 0.00 2 0 0
21.22/21.36 c feaspump : 0.09 0.00 2 0 0
21.22/21.36 c fixandinfer : 0.00 0.00 0 0 0
21.22/21.36 c fracdiving : 0.02 0.00 4 0 0
21.22/21.36 c gins : 0.00 0.00 0 0 0
21.22/21.36 c guideddiving : 0.00 0.00 0 0 0
21.22/21.36 c indcoefdiving : 0.00 0.00 0 0 0
21.22/21.36 c indicator : 0.00 0.00 0 0 0
21.22/21.36 c indicatordiving : 0.00 0.00 0 0 0
21.22/21.36 c indoneopt : 0.00 0.00 0 0 0
21.22/21.36 c indrounding : 0.00 0.00 0 0 0
21.22/21.36 c indtwoopt : 0.00 0.00 0 0 0
21.22/21.36 c intdiving : 0.00 0.00 0 0 0
21.22/21.36 c intshifting : 0.00 0.00 0 0 0
21.22/21.36 c linesearchdiving : 0.03 0.00 4 0 0
21.22/21.36 c localbranching : 0.00 0.00 0 0 0
21.22/21.36 c locks : 0.00 0.00 1 0 0
21.22/21.36 c lpface : 0.00 0.00 0 0 0
21.22/21.36 c mpec : 0.00 0.00 0 0 0
21.22/21.36 c multistart : 0.00 0.00 0 0 0
21.22/21.36 c mutation : 0.00 0.00 0 0 0
21.22/21.36 c nlpdiving : 0.00 0.00 0 0 0
21.22/21.36 c objpscostdiving : 0.02 0.00 2 0 0
21.22/21.36 c octane : 0.00 0.00 0 0 0
21.22/21.36 c ofins : 0.00 0.00 0 0 0
21.22/21.36 c oneopt : 0.00 0.00 0 0 0
21.22/21.36 c padm : 0.00 0.00 0 0 0
21.22/21.36 c proximity : 0.00 0.00 0 0 0
21.22/21.36 c pscostdiving : 0.02 0.00 4 0 0
21.22/21.36 c randrounding : 0.03 0.00 387 0 0
21.22/21.36 c rens : 0.02 0.00 2 0 0
21.22/21.36 c reoptsols : 0.00 0.00 0 0 0
21.22/21.36 c repair : 0.00 0.00 0 0 0
21.22/21.36 c rins : 0.00 0.00 0 0 0
21.22/21.36 c rootsoldiving : 0.02 0.00 2 0 0
21.22/21.36 c rounding : 0.04 0.00 991 0 0
21.22/21.36 c scheduler : 0.00 0.00 0 0 0
21.22/21.36 c shiftandpropagate: 0.00 0.00 2 0 0
21.22/21.36 c shifting : 0.06 0.00 409 0 0
21.22/21.36 c simplerounding : 0.00 0.00 0 0 0
21.22/21.36 c smallcard : 0.00 0.00 0 0 0
21.22/21.36 c subnlp : 0.00 0.00 0 0 0
21.22/21.36 c trivial : 0.00 0.00 4 0 0
21.22/21.36 c trivialnegation : 0.00 0.00 0 0 0
21.22/21.36 c trustregion : 0.00 0.00 0 0 0
21.22/21.36 c trysol : 0.00 0.00 0 0 0
21.22/21.36 c twoopt : 0.00 0.00 0 0 0
21.22/21.36 c undercover : 0.00 0.00 0 0 0
21.22/21.36 c vbounds : 0.01 0.00 1 0 0
21.22/21.36 c veclendiving : 0.02 0.00 4 0 0
21.22/21.36 c zeroobj : 0.00 0.00 0 0 0
21.22/21.36 c zirounding : 0.01 0.00 1000 0 0
21.22/21.36 c other solutions : - - - 0 -
21.22/21.36 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
21.22/21.36 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
21.22/21.36 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
21.22/21.36 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
21.22/21.36 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
21.22/21.36 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
21.22/21.36 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
21.22/21.36 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
21.22/21.36 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
21.22/21.36 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
21.22/21.36 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
21.22/21.36 c primal LP : 0.05 259 0 0.00 0.00 0.05 259
21.22/21.36 c dual LP : 6.94 10481 167795 16.05 24169.12 0.01 29
21.22/21.36 c lex dual LP : 0.00 0 0 0.00 -
21.22/21.36 c barrier LP : 0.00 0 0 0.00 - 0.00 0
21.22/21.36 c resolve instable : 0.00 0 0 0.00 -
21.22/21.36 c diving/probing LP: 0.28 199 6556 32.94 23118.13
21.22/21.36 c strong branching : 0.09 38 1802 47.42 19738.00 - - 0
21.22/21.36 c (at root node) : - 38 1802 47.42 -
21.22/21.36 c conflict analysis: 0.00 0 0 0.00 -
21.22/21.36 c B&B Tree :
21.22/21.36 c number of runs : 2
21.22/21.36 c nodes : 8762 (4393 internal, 4369 leaves)
21.22/21.36 c feasible leaves : 0
21.22/21.36 c infeas. leaves : 4369
21.22/21.36 c objective leaves : 0
21.22/21.36 c nodes (total) : 10150 (5103 internal, 5047 leaves)
21.22/21.36 c nodes left : 0
21.22/21.36 c max depth : 33
21.22/21.36 c max depth (total): 33
21.22/21.36 c backtracks : 1081 (12.3%)
21.22/21.36 c early backtracks : 0 (0.0%)
21.22/21.36 c nodes exc. ref. : 0 (0.0%)
21.22/21.36 c delayed cutoffs : 25
21.22/21.36 c repropagations : 13148 (12616 domain reductions, 25 cutoffs)
21.22/21.36 c avg switch length: 4.68
21.22/21.36 c switching time : 0.72
21.22/21.36 c Root Node :
21.22/21.36 c First LP value : +0.00000000000000e+00
21.22/21.36 c First LP Iters : 95 (39014.37 Iter/sec)
21.22/21.36 c First LP Time : 0.00
21.22/21.36 c Final Dual Bound : -
21.22/21.36 c Final Root Iters : 2545
21.22/21.36 c Root LP Estimate : +2.25704826045296e-03
21.22/21.36 c Solution :
21.22/21.36 c Solutions found : 0 (0 improvements)
21.22/21.36 c Primal Bound : infeasible
21.22/21.36 c Dual Bound : -
21.22/21.36 c Gap : 0.00 %
21.22/21.36 c Integrals : Total Avg%
21.22/21.36 c primal-dual : - - (problem infeasible)
21.22/21.36 c primal-ref : - - (problem infeasible)
21.22/21.36 c dual-ref : - - (problem infeasible)
21.22/21.37 c Time complete: 21.3012.