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-4444365-1721301776.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.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.02 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.05 c (0.0s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 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.997058
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.08 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.08 c 0.1s| 1 | 0 | 95 | - | 11M | 0 | 231 |2480 |2443 | 0 | 0 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.24 c 0.2s| 1 | 0 | 2156 | - | 12M | 0 | 231 |2484 |2445 | 2 | 1 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.29 c 0.3s| 1 | 0 | 2175 | - | 14M | 0 | 231 |2487 |2448 | 5 | 2 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.35 c 0.4s| 1 | 0 | 2189 | - | 16M | 0 | 231 |2489 |2451 | 8 | 3 | 45 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.41 c 0.4s| 1 | 0 | 2210 | - | 21M | 0 | 231 |2494 |2456 | 13 | 4 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.48 c 0.5s| 1 | 0 | 2235 | - | 23M | 0 | 231 |2499 |2458 | 15 | 5 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.55 c 0.6s| 1 | 0 | 2253 | - | 27M | 0 | 231 |2502 |2463 | 20 | 6 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.61 c 0.6s| 1 | 0 | 2281 | - | 32M | 0 | 231 |2503 |2465 | 22 | 7 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.67 c 0.7s| 1 | 0 | 2299 | - | 33M | 0 | 231 |2503 |2468 | 25 | 8 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.73 c 0.7s| 1 | 0 | 2325 | - | 36M | 0 | 231 |2505 |2472 | 29 | 9 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.80 c 0.8s| 1 | 0 | 2344 | - | 42M | 0 | 231 |2507 |2475 | 32 | 10 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.81 c 0.8s| 1 | 0 | 2356 | - | 43M | 0 | 231 |2510 |2478 | 35 | 11 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.91 c 0.9s| 1 | 2 | 2637 | - | 43M | 0 | 231 |2525 |2478 | 35 | 11 | 81 | 19 | 0.000000e+00 | -- | Inf | unknown
1.19/1.29 c 1.3s| 100 | 16 | 4321 | 19.8 | 44M | 19 | 231 |2591 |2451 | 58 | 1 | 149 | 19 | 0.000000e+00 | -- | Inf | 62.45%
1.69/1.70 c 1.7s| 200 | 22 | 5906 | 17.8 | 47M | 20 | 231 |2680 |2454 | 103 | 0 | 238 | 19 | 0.000000e+00 | -- | Inf | 63.63%
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 | 28 | 7538 | 17.3 | 51M | 20 | 231 |2779 |2455 | 125 | 1 | 339 | 19 | 0.000000e+00 | -- | Inf | 67.69%
2.18/2.26 c 2.3s| 400 | 27 | 9254 | 17.3 | 52M | 20 | 231 |2871 |2455 | 149 | 0 | 434 | 19 | 0.000000e+00 | -- | Inf | 68.33%
2.58/2.68 c 2.7s| 500 | 24 | 11103 | 17.5 | 56M | 20 | 231 |2965 |2451 | 178 | 0 | 531 | 19 | 0.000000e+00 | -- | Inf | 71.00%
3.17/3.25 c 3.2s| 600 | 28 | 12752 | 17.4 | 63M | 20 | 231 |3056 |2456 | 263 | 0 | 630 | 19 | 0.000000e+00 | -- | Inf | 74.91%
3.47/3.53 c 3.5s| 700 | 29 | 14404 | 17.2 | 63M | 20 | 231 |3171 |2458 | 300 | 1 | 747 | 19 | 0.000000e+00 | -- | Inf | 76.57%
3.87/3.92 c 3.9s| 800 | 24 | 16030 | 17.1 | 63M | 20 | 231 |3273 |2461 | 323 | 3 | 858 | 19 | 0.000000e+00 | -- | Inf | 81.62%
4.08/4.19 c 4.2s| 900 | 23 | 17897 | 17.3 | 63M | 20 | 231 |3351 |2453 | 362 | 1 | 945 | 19 | 0.000000e+00 | -- | Inf | 83.18%
4.37/4.45 c 4.4s| 1000 | 25 | 19432 | 17.1 | 64M | 20 | 231 |3418 |2456 | 392 | 1 |1027 | 19 | 0.000000e+00 | -- | Inf | 84.93%
4.67/4.74 c 4.7s| 1100 | 26 | 20999 | 17.0 | 64M | 20 | 231 |3499 |2458 | 408 | 1 |1123 | 19 | 0.000000e+00 | -- | Inf | 85.49%
4.87/4.96 c 5.0s| 1200 | 30 | 22359 | 16.7 | 64M | 20 | 231 |3572 |2458 | 409 | 1 |1199 | 19 | 0.000000e+00 | -- | Inf | 85.53%
5.17/5.26 c 5.3s| 1300 | 28 | 23462 | 16.2 | 64M | 20 | 231 |3655 |2453 | 422 | 1 |1286 | 19 | 0.000000e+00 | -- | Inf | 85.74%
5.47/5.59 c 5.6s| 1400 | 26 | 24916 | 16.1 | 64M | 20 | 231 |3742 |2456 | 431 | 1 |1381 | 19 | 0.000000e+00 | -- | Inf | 85.80%
5.67/5.71 c 5.7s| 1500 | 26 | 26339 | 16.0 | 64M | 20 | 231 |3812 |2453 | 431 | 1 |1452 | 19 | 0.000000e+00 | -- | Inf | 85.90%
5.86/5.96 c 6.0s| 1600 | 24 | 28138 | 16.1 | 64M | 20 | 231 |3907 |2453 | 431 | 0 |1551 | 19 | 0.000000e+00 | -- | Inf | 85.93%
6.16/6.26 c 6.3s| 1700 | 26 | 29838 | 16.2 | 64M | 20 | 231 |3989 |2456 | 450 | 0 |1642 | 19 | 0.000000e+00 | -- | Inf | 86.01%
6.46/6.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.46/6.50 c 6.5s| 1800 | 24 | 31083 | 16.0 | 64M | 20 | 231 |4081 |2456 | 450 | 1 |1741 | 19 | 0.000000e+00 | -- | Inf | 86.04%
6.86/6.96 c 7.0s| 1900 | 24 | 32568 | 15.9 | 63M | 20 | 231 |4178 |2456 | 450 | 1 |1849 | 19 | 0.000000e+00 | -- | Inf | 86.06%
7.16/7.23 c 7.2s| 2000 | 27 | 33869 | 15.8 | 63M | 27 | 231 |4251 |2458 | 450 | 0 |1925 | 19 | 0.000000e+00 | -- | Inf | 86.07%
7.16/7.28 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
7.16/7.28 c (run 1, node 2025) performing user restart
7.16/7.28 c
7.16/7.28 c (restart) converted 6 cuts from the global cut pool into linear constraints
7.16/7.28 c
7.26/7.30 c presolving:
7.26/7.30 c (round 1, fast) 21 del vars, 630 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 286 chg coeffs, 0 upgd conss, 0 impls, 320 clqs
7.26/7.30 c (round 2, medium) 31 del vars, 630 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 286 chg coeffs, 0 upgd conss, 0 impls, 300 clqs
7.26/7.30 c (round 3, fast) 31 del vars, 662 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 365 chg coeffs, 0 upgd conss, 0 impls, 300 clqs
7.26/7.30 c (round 4, exhaustive) 31 del vars, 663 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 365 chg coeffs, 4 upgd conss, 0 impls, 300 clqs
7.26/7.31 c (round 5, exhaustive) 31 del vars, 1026 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1083 chg coeffs, 4 upgd conss, 0 impls, 300 clqs
7.26/7.32 c (round 6, exhaustive) 31 del vars, 1065 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1097 chg coeffs, 4 upgd conss, 0 impls, 301 clqs
7.26/7.33 c (round 7, exhaustive) 31 del vars, 1073 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1097 chg coeffs, 4 upgd conss, 0 impls, 301 clqs
7.26/7.33 c (round 8, exhaustive) 31 del vars, 1073 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 1226 chg coeffs, 4 upgd conss, 0 impls, 301 clqs
7.26/7.35 c presolving (9 rounds: 9 fast, 7 medium, 6 exhaustive):
7.26/7.35 c 31 deleted vars, 1075 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 1230 changed coefficients
7.26/7.35 c 0 implications, 302 cliques
7.26/7.35 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3192 constraints
7.26/7.35 c 4 constraints of type <knapsack>
7.26/7.35 c 20 constraints of type <setppc>
7.26/7.35 c 2 constraints of type <linear>
7.26/7.35 c 3166 constraints of type <logicor>
7.26/7.35 c transformed objective value is always integral (scale: 1)
7.26/7.35 c Presolving Time: 0.10
7.26/7.35 c
7.26/7.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.26/7.38 c 7.4s| 1 | 0 | 34185 | - | 61M | 0 | 200 |3228 |1836 | 0 | 0 |1971 | 19 | 0.000000e+00 | -- | Inf | unknown
7.36/7.46 c 7.5s| 1 | 0 | 34209 | - | 62M | 0 | 200 |3228 |1841 | 5 | 1 |1971 | 19 | 0.000000e+00 | -- | Inf | unknown
7.47/7.51 c 7.5s| 1 | 0 | 34223 | - | 62M | 0 | 200 |3228 |1845 | 9 | 2 |1971 | 19 | 0.000000e+00 | -- | Inf | unknown
7.47/7.56 c 7.6s| 1 | 0 | 34242 | - | 63M | 0 | 200 |3229 |1849 | 13 | 3 |1972 | 19 | 0.000000e+00 | -- | Inf | unknown
7.57/7.60 c 7.6s| 1 | 0 | 34262 | - | 65M | 0 | 200 |3229 |1852 | 16 | 4 |1972 | 19 | 0.000000e+00 | -- | Inf | unknown
7.57/7.63 c 7.6s| 1 | 0 | 34282 | - | 66M | 0 | 200 |3230 |1856 | 20 | 5 |1973 | 19 | 0.000000e+00 | -- | Inf | unknown
7.57/7.67 c 7.7s| 1 | 0 | 34311 | - | 68M | 0 | 200 |3233 |1858 | 22 | 6 |1976 | 19 | 0.000000e+00 | -- | Inf | unknown
7.67/7.71 c 7.7s| 1 | 0 | 34320 | - | 68M | 0 | 200 |3236 |1861 | 25 | 7 |1979 | 19 | 0.000000e+00 | -- | Inf | unknown
7.67/7.77 c 7.8s| 1 | 0 | 34338 | - | 68M | 0 | 200 |3239 |1866 | 30 | 8 |1982 | 19 | 0.000000e+00 | -- | Inf | unknown
7.77/7.82 c 7.8s| 1 | 0 | 34348 | - | 68M | 0 | 200 |3240 |1869 | 33 | 9 |1983 | 19 | 0.000000e+00 | -- | Inf | unknown
7.77/7.87 c 7.9s| 1 | 0 | 34359 | - | 69M | 0 | 200 |3243 |1872 | 36 | 10 |1986 | 19 | 0.000000e+00 | -- | Inf | unknown
7.77/7.88 c 7.9s| 1 | 0 | 34371 | - | 69M | 0 | 200 |3247 |1865 | 38 | 11 |1990 | 19 | 0.000000e+00 | -- | Inf | unknown
7.87/7.95 c 8.0s| 1 | 2 | 34636 | - | 69M | 0 | 200 |3261 |1865 | 38 | 11 |2007 | 38 | 0.000000e+00 | -- | Inf | unknown
8.56/8.65 c 8.7s| 100 | 15 | 36553 | 16.0 | 71M | 19 | 200 |3320 |1838 | 97 | 0 |2073 | 38 | 0.000000e+00 | -- | Inf | 15.31%
8.86/8.97 c 9.0s| 200 | 15 | 37991 | 15.9 | 74M | 20 | 200 |3355 |1839 | 136 | 0 |2132 | 38 | 0.000000e+00 | -- | Inf | 16.49%
9.26/9.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.26/9.39 c 9.4s| 300 | 21 | 39451 | 15.9 | 75M | 20 | 200 |3408 |1838 | 174 | 0 |2206 | 38 | 0.000000e+00 | -- | Inf | 21.49%
9.56/9.65 c 9.6s| 400 | 20 | 40880 | 15.8 | 79M | 20 | 200 |3448 |1837 | 204 | 0 |2264 | 38 | 0.000000e+00 | -- | Inf | 23.09%
9.86/9.91 c 9.9s| 500 | 17 | 42363 | 15.8 | 81M | 20 | 200 |3483 |1838 | 233 | 1 |2324 | 38 | 0.000000e+00 | -- | Inf | 23.65%
10.16/10.24 c 10.2s| 600 | 27 | 44539 | 16.0 | 81M | 20 | 200 |3504 |1838 | 262 | 0 |2393 | 38 | 0.000000e+00 | -- | Inf | 25.50%
10.45/10.54 c 10.5s| 700 | 37 | 46445 | 16.1 | 81M | 22 | 200 |3524 |1838 | 265 | 1 |2475 | 38 | 0.000000e+00 | -- | Inf | 25.54%
10.55/10.66 c 10.7s| 800 | 31 | 47958 | 16.1 | 81M | 29 | 200 |3578 |1839 | 273 | 1 |2547 | 38 | 0.000000e+00 | -- | Inf | 25.71%
10.65/10.77 c 10.8s| 900 | 27 | 49373 | 16.0 | 81M | 33 | 200 |3622 |1839 | 283 | 0 |2615 | 38 | 0.000000e+00 | -- | Inf | 27.04%
10.85/10.91 c 10.9s| 1000 | 25 | 50743 | 15.9 | 81M | 33 | 200 |3676 |1839 | 299 | 1 |2685 | 38 | 0.000000e+00 | -- | Inf | 29.49%
11.06/11.14 c 11.1s| 1100 | 21 | 52337 | 15.9 | 81M | 33 | 200 |3734 |1842 | 330 | 2 |2759 | 38 | 0.000000e+00 | -- | Inf | 31.04%
11.35/11.41 c 11.4s| 1200 | 19 | 53811 | 15.9 | 81M | 33 | 200 |3776 |1835 | 368 | 1 |2814 | 38 | 0.000000e+00 | -- | Inf | 32.06%
11.45/11.53 c 11.5s| 1300 | 17 | 55257 | 15.8 | 81M | 33 | 200 |3841 |1840 | 378 | 1 |2896 | 38 | 0.000000e+00 | -- | Inf | 32.26%
11.65/11.71 c 11.7s| 1400 | 17 | 56802 | 15.8 | 81M | 33 | 200 |3889 |1839 | 395 | 1 |2966 | 38 | 0.000000e+00 | -- | Inf | 34.24%
11.75/11.87 c 11.9s| 1500 | 11 | 58234 | 15.8 | 81M | 33 | 200 |3949 |1835 | 406 | 0 |3048 | 38 | 0.000000e+00 | -- | Inf | 46.06%
11.96/12.07 c 12.1s| 1600 | 12 | 59759 | 15.8 | 81M | 33 | 200 |3973 |1835 | 424 | 0 |3106 | 38 | 0.000000e+00 | -- | Inf | 52.72%
12.35/12.46 c 12.5s| 1700 | 12 | 61554 | 15.8 | 81M | 33 | 200 |3989 |1839 | 476 | 1 |3173 | 38 | 0.000000e+00 | -- | Inf | 61.69%
12.55/12.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.55/12.66 c 12.7s| 1800 | 13 | 63114 | 15.8 | 81M | 33 | 200 |4014 |1836 | 506 | 0 |3252 | 38 | 0.000000e+00 | -- | Inf | 70.69%
12.85/12.91 c 12.9s| 1900 | 12 | 64730 | 15.8 | 81M | 33 | 200 |4018 |1835 | 546 | 1 |3327 | 38 | 0.000000e+00 | -- | Inf | 77.33%
13.05/13.14 c 13.1s| 2000 | 13 | 66210 | 15.8 | 81M | 33 | 200 |4009 |1835 | 576 | 1 |3384 | 38 | 0.000000e+00 | -- | Inf | 79.69%
13.24/13.37 c 13.4s| 2100 | 13 | 67842 | 15.8 | 81M | 33 | 200 |4015 |1842 | 614 | 1 |3448 | 38 | 0.000000e+00 | -- | Inf | 80.66%
13.54/13.62 c 13.6s| 2200 | 14 | 69195 | 15.8 | 81M | 33 | 200 |4064 |1842 | 656 | 2 |3530 | 38 | 0.000000e+00 | -- | Inf | 81.68%
13.84/13.91 c 13.9s| 2300 | 12 | 70509 | 15.7 | 81M | 33 | 200 |4098 |1836 | 698 | 0 |3590 | 38 | 0.000000e+00 | -- | Inf | 82.65%
14.24/14.32 c 14.3s| 2400 | 13 | 72000 | 15.7 | 81M | 33 | 200 |4051 |1837 | 761 | 1 |3650 | 38 | 0.000000e+00 | -- | Inf | 85.91%
14.44/14.57 c 14.6s| 2500 | 13 | 73610 | 15.7 | 81M | 33 | 200 |4028 |1843 | 797 | 1 |3733 | 38 | 0.000000e+00 | -- | Inf | 86.25%
14.54/14.68 c 14.7s| 2600 | 15 | 75241 | 15.7 | 81M | 33 | 200 |4062 |1843 | 799 | 1 |3816 | 38 | 0.000000e+00 | -- | Inf | 86.30%
14.64/14.79 c 14.8s| 2700 | 9 | 76977 | 15.7 | 81M | 33 | 200 |4111 |1844 | 801 | 0 |3913 | 38 | 0.000000e+00 | -- | Inf | 86.32%
14.84/14.97 c 15.0s| 2800 | 11 | 78459 | 15.7 | 81M | 33 | 200 |4147 |1842 | 826 | 0 |3992 | 38 | 0.000000e+00 | -- | Inf | 86.76%
15.04/15.17 c 15.2s| 2900 | 8 | 80303 | 15.8 | 81M | 33 | 200 |4178 |1841 | 851 | 0 |4046 | 38 | 0.000000e+00 | -- | Inf | 87.29%
15.34/15.44 c 15.4s| 3000 | 20 | 82383 | 15.9 | 81M | 33 | 200 |4149 |1835 | 892 | 1 |4102 | 38 | 0.000000e+00 | -- | Inf | 90.31%
15.64/15.72 c 15.7s| 3100 | 22 | 84254 | 15.9 | 81M | 33 | 200 |4199 |1840 | 933 | 1 |4194 | 38 | 0.000000e+00 | -- | Inf | 90.76%
15.84/16.00 c 16.0s| 3200 | 20 | 85868 | 15.9 | 81M | 33 | 200 |4257 |1841 | 968 | 1 |4278 | 38 | 0.000000e+00 | -- | Inf | 91.79%
16.04/16.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.04/16.10 c 16.1s| 3300 | 26 | 87275 | 15.9 | 81M | 33 | 200 |4284 |1841 | 974 | 0 |4339 | 38 | 0.000000e+00 | -- | Inf | 91.83%
16.04/16.19 c 16.2s| 3400 | 24 | 88510 | 15.8 | 81M | 33 | 200 |4351 |1841 | 976 | 0 |4419 | 38 | 0.000000e+00 | -- | Inf | 91.84%
16.23/16.33 c 16.3s| 3500 | 24 | 90153 | 15.8 | 81M | 33 | 200 |4421 |1841 | 990 | 1 |4504 | 38 | 0.000000e+00 | -- | Inf | 91.94%
16.33/16.47 c 16.5s| 3600 | 23 | 91573 | 15.8 | 81M | 33 | 200 |4490 |1839 |1000 | 0 |4598 | 38 | 0.000000e+00 | -- | Inf | 92.00%
16.63/16.70 c 16.7s| 3700 | 25 | 93195 | 15.8 | 81M | 33 | 200 |4554 |1839 |1026 | 1 |4687 | 38 | 0.000000e+00 | -- | Inf | 92.52%
16.73/16.82 c 16.8s| 3800 | 23 | 94873 | 15.8 | 81M | 33 | 200 |4640 |1840 |1034 | 0 |4781 | 38 | 0.000000e+00 | -- | Inf | 92.78%
16.83/16.94 c 16.9s| 3900 | 23 | 96849 | 15.9 | 81M | 33 | 200 |4723 |1840 |1038 | 0 |4874 | 38 | 0.000000e+00 | -- | Inf | 92.80%
16.94/17.05 c 17.0s| 4000 | 23 | 98375 | 15.9 | 81M | 33 | 200 |4815 |1843 |1045 | 0 |4975 | 38 | 0.000000e+00 | -- | Inf | 92.80%
17.04/17.16 c 17.2s| 4100 | 23 |100222 | 15.9 | 81M | 33 | 200 |4908 |1841 |1048 | 1 |5070 | 38 | 0.000000e+00 | -- | Inf | 92.81%
17.13/17.26 c 17.3s| 4200 | 25 |101653 | 15.9 | 81M | 33 | 200 |4985 |1841 |1049 | 1 |5154 | 38 | 0.000000e+00 | -- | Inf | 92.81%
17.23/17.37 c 17.4s| 4300 | 27 |103325 | 15.9 | 82M | 33 | 200 |5072 |1844 |1055 | 1 |5255 | 38 | 0.000000e+00 | -- | Inf | 92.81%
17.33/17.47 c 17.5s| 4400 | 26 |104928 | 15.9 | 82M | 33 | 200 |5182 | 0 |1056 | 0 |5374 | 38 | 0.000000e+00 | -- | Inf | 92.81%
17.43/17.57 c 17.6s| 4500 | 27 |106359 | 15.9 | 82M | 33 | 200 |5327 | 0 |1058 | 0 |5523 | 38 | 0.000000e+00 | -- | Inf | 92.81%
17.53/17.68 c 17.7s| 4600 | 26 |108087 | 15.9 | 82M | 33 | 200 |5442 |1842 |1058 | 1 |5641 | 38 | 0.000000e+00 | -- | Inf | 92.81%
17.63/17.79 c 17.8s| 4700 | 23 |109878 | 16.0 | 82M | 34 | 200 |5569 |1841 |1059 | 1 |5775 | 38 | 0.000000e+00 | -- | Inf | 92.81%
17.73/17.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.73/17.88 c 17.9s| 4800 | 23 |111309 | 15.9 | 82M | 34 | 200 |5683 |1842 |1061 | 0 |5895 | 38 | 0.000000e+00 | -- | Inf | 92.81%
17.83/18.00 c 18.0s| 4900 | 23 |113082 | 16.0 | 82M | 34 | 200 |5771 |1840 |1063 | 1 |5993 | 38 | 0.000000e+00 | -- | Inf | 92.87%
18.03/18.11 c 18.1s| 5000 | 20 |114702 | 16.0 | 82M | 34 | 200 |5914 |1841 |1065 | 0 |6144 | 38 | 0.000000e+00 | -- | Inf | 92.88%
18.13/18.22 c 18.2s| 5100 | 20 |116503 | 16.0 | 82M | 34 | 200 |6000 |1840 |1066 | 1 |6243 | 38 | 0.000000e+00 | -- | Inf | 92.90%
18.23/18.34 c 18.3s| 5200 | 20 |118132 | 16.0 | 82M | 34 | 200 |6068 |1840 |1076 | 0 |6324 | 38 | 0.000000e+00 | -- | Inf | 92.95%
18.33/18.45 c 18.4s| 5300 | 21 |119777 | 16.0 | 82M | 34 | 200 |6150 |1842 |1078 | 0 |6413 | 38 | 0.000000e+00 | -- | Inf | 92.97%
18.43/18.56 c 18.6s| 5400 | 21 |121528 | 16.0 | 82M | 34 | 200 |6220 |1842 |1082 | 1 |6492 | 38 | 0.000000e+00 | -- | Inf | 93.02%
18.53/18.68 c 18.7s| 5500 | 18 |123408 | 16.1 | 82M | 34 | 200 |6314 |1839 |1089 | 1 |6603 | 38 | 0.000000e+00 | -- | Inf | 93.02%
18.63/18.78 c 18.8s| 5600 | 17 |124956 | 16.0 | 82M | 34 | 200 |6401 |1840 |1090 | 1 |6710 | 38 | 0.000000e+00 | -- | Inf | 93.04%
18.82/18.91 c 18.9s| 5700 | 17 |126559 | 16.0 | 82M | 34 | 200 |6463 |1839 |1101 | 1 |6787 | 38 | 0.000000e+00 | -- | Inf | 93.20%
18.93/19.03 c 19.0s| 5800 | 13 |128313 | 16.1 | 82M | 34 | 200 |6566 |1841 |1106 | 0 |6909 | 38 | 0.000000e+00 | -- | Inf | 93.21%
19.03/19.14 c 19.1s| 5900 | 12 |129872 | 16.1 | 82M | 34 | 200 |6627 |1843 |1109 | 0 |7003 | 38 | 0.000000e+00 | -- | Inf | 93.26%
19.12/19.23 c 19.2s| 6000 | 14 |131185 | 16.0 | 83M | 37 | 200 |6751 |1844 |1113 | 1 |7141 | 38 | 0.000000e+00 | -- | Inf | 93.26%
19.22/19.33 c 19.3s| 6100 | 12 |132754 | 16.0 | 83M | 37 | 200 |6864 |1839 |1113 | 1 |7260 | 38 | 0.000000e+00 | -- | Inf | 93.26%
19.42/19.52 c 19.5s| 6200 | 10 |134257 | 16.0 | 83M | 37 | 200 |6942 |1837 |1139 | 0 |7360 | 38 | 0.000000e+00 | -- | Inf | 94.48%
19.72/19.80 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.80 c 19.8s| 6300 | 14 |135651 | 16.0 | 83M | 37 | 200 |6986 |1838 |1172 | 1 |7435 | 38 | 0.000000e+00 | -- | Inf | 95.12%
19.82/19.92 c 19.9s| 6400 | 12 |136822 | 15.9 | 83M | 37 | 200 |7040 |1837 |1182 | 1 |7517 | 38 | 0.000000e+00 | -- | Inf | 95.36%
19.93/20.07 c 20.1s| 6500 | 10 |138146 | 15.9 | 83M | 37 | 200 |7094 |1841 |1203 | 1 |7585 | 38 | 0.000000e+00 | -- | Inf | 95.57%
20.03/20.19 c 20.2s| 6600 | 13 |139437 | 15.9 | 83M | 37 | 200 |7152 |1838 |1213 | 1 |7662 | 38 | 0.000000e+00 | -- | Inf | 95.77%
20.12/20.29 c 20.3s| 6700 | 11 |140771 | 15.8 | 83M | 37 | 200 |7174 |1838 |1221 | 0 |7719 | 38 | 0.000000e+00 | -- | Inf | 95.88%
20.22/20.39 c 20.4s| 6800 | 11 |142050 | 15.8 | 83M | 37 | 200 |7210 |1841 |1232 | 0 |7782 | 38 | 0.000000e+00 | -- | Inf | 95.97%
20.32/20.47 c 20.5s| 6900 | 11 |143269 | 15.8 | 83M | 37 | 200 |7299 |1842 |1236 | 1 |7881 | 38 | 0.000000e+00 | -- | Inf | 95.98%
20.42/20.56 c 20.6s| 7000 | 12 |144563 | 15.7 | 83M | 37 | 200 |7343 |1842 |1239 | 0 |7962 | 38 | 0.000000e+00 | -- | Inf | 95.99%
20.52/20.64 c 20.6s| 7100 | 11 |145652 | 15.7 | 83M | 37 | 200 |7389 |1843 |1242 | 1 |8042 | 38 | 0.000000e+00 | -- | Inf | 95.99%
20.72/20.81 c 20.8s| 7200 | 10 |147127 | 15.7 | 83M | 37 | 200 |7437 |1839 |1257 | 1 |8132 | 38 | 0.000000e+00 | -- | Inf | 96.18%
20.82/20.93 c 20.9s| 7300 | 10 |148417 | 15.6 | 83M | 37 | 200 |7470 |1841 |1266 | 1 |8205 | 38 | 0.000000e+00 | -- | Inf | 96.27%
20.92/21.05 c 21.1s| 7400 | 10 |149879 | 15.6 | 83M | 37 | 200 |7501 |1843 |1277 | 1 |8279 | 38 | 0.000000e+00 | -- | Inf | 96.33%
21.02/21.15 c 21.1s| 7500 | 11 |151232 | 15.6 | 83M | 37 | 200 |7540 |1842 |1277 | 0 |8350 | 38 | 0.000000e+00 | -- | Inf | 96.37%
21.11/21.25 c 21.3s| 7600 | 9 |152616 | 15.6 | 83M | 37 | 200 |7591 |1842 |1280 | 1 |8426 | 38 | 0.000000e+00 | -- | Inf | 96.42%
21.21/21.36 c 21.4s| 7700 | 9 |154160 | 15.6 | 83M | 37 | 200 |7635 |1843 |1281 | 2 |8502 | 38 | 0.000000e+00 | -- | Inf | 96.43%
21.31/21.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.31/21.47 c 21.5s| 7800 | 7 |155774 | 15.6 | 83M | 37 | 200 |7695 |1840 |1282 | 0 |8611 | 38 | 0.000000e+00 | -- | Inf | 96.43%
21.61/21.75 c 21.8s| 7900 | 9 |157506 | 15.6 | 83M | 37 | 200 |7710 |1838 |1318 | 0 |8701 | 38 | 0.000000e+00 | -- | Inf | 97.36%
21.81/21.95 c 21.9s| 8000 | 11 |159133 | 15.6 | 83M | 37 | 200 |7676 |1838 |1345 | 1 |8778 | 38 | 0.000000e+00 | -- | Inf | 97.77%
22.02/22.11 c 22.1s| 8100 | 11 |160509 | 15.6 | 84M | 37 | 200 |7645 |1839 |1366 | 0 |8830 | 38 | 0.000000e+00 | -- | Inf | 98.07%
22.11/22.22 c 22.2s| 8200 | 9 |161968 | 15.6 | 84M | 37 | 200 |7679 |1840 |1366 | 1 |8922 | 38 | 0.000000e+00 | -- | Inf | 98.09%
22.21/22.33 c 22.3s| 8300 | 8 |163528 | 15.6 | 84M | 37 | 200 |7716 |1841 |1367 | 1 |9014 | 38 | 0.000000e+00 | -- | Inf | 98.14%
22.31/22.49 c 22.5s| 8400 | 8 |165130 | 15.6 | 84M | 37 | 200 |7704 |1841 |1384 | 1 |9094 | 38 | 0.000000e+00 | -- | Inf | 98.33%
22.41/22.59 c 22.6s| 8500 | 5 |166637 | 15.6 | 84M | 37 | 200 |7707 |1840 |1385 | 1 |9159 | 38 | 0.000000e+00 | -- | Inf | 98.36%
22.51/22.69 c 22.7s| 8600 | 6 |168060 | 15.6 | 84M | 37 | 200 |7715 |1840 |1385 | 0 |9232 | 38 | 0.000000e+00 | -- | Inf | 98.40%
22.71/22.84 c 22.8s| 8700 | 6 |169572 | 15.6 | 84M | 37 | 200 |7737 |1842 |1400 | 1 |9300 | 38 | 0.000000e+00 | -- | Inf | 99.20%
22.81/22.94 c 22.9s| 8800 | 2 |170903 | 15.5 | 84M | 37 | 200 |7711 |1843 |1405 | 0 |9337 | 38 | 0.000000e+00 | -- | Inf | 99.22%
22.91/23.07 c
22.91/23.07 c SCIP Status : problem is solved [infeasible]
22.91/23.07 c Solving Time (sec) : 23.07
22.91/23.07 c Solving Nodes : 8894 (total of 10919 nodes in 2 runs)
22.91/23.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
22.91/23.07 c Dual Bound : +1.00000000000000e+20
22.91/23.07 c Gap : 0.00 %
22.91/23.07 s UNSATISFIABLE
22.91/23.07 c SCIP Status : problem is solved [infeasible]
22.91/23.07 c Total Time : 23.07
22.91/23.07 c solving : 23.07
22.91/23.07 c presolving : 0.10 (included in solving)
22.91/23.07 c reading : 0.01 (included in solving)
22.91/23.07 c copying : 0.73 (106 #copies) (minimal 0.00, maximal 0.01, average 0.01)
22.91/23.07 c Original Problem :
22.91/23.07 c Problem name : HOME/instance-4444365-1721301776.opb
22.91/23.07 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
22.91/23.07 c Constraints : 2707 initial, 2707 maximal
22.91/23.07 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
22.91/23.07 c Presolved Problem :
22.91/23.07 c Problem name : t_HOME/instance-4444365-1721301776.opb
22.91/23.07 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
22.91/23.07 c Constraints : 3192 initial, 7749 maximal
22.91/23.07 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
22.91/23.07 c Nonzeros : 18500 constraint, 734 clique table
22.91/23.07 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
22.91/23.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
22.91/23.07 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.91/23.07 c gateextraction : 0.01 0.00 8 0 0 0 0 0 1 0 0 0
22.91/23.07 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
22.91/23.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
22.91/23.07 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.91/23.07 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c trivial : 0.00 0.00 15 21 0 0 0 0 0 0 0 0
22.91/23.07 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c dualfix : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
22.91/23.07 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.91/23.07 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
22.91/23.07 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
22.91/23.07 c vbounds : 0.00 0.00 2 0 10 0 0 0 0 0 0 0
22.91/23.07 c knapsack : 0.00 0.00 28 0 0 0 0 0 0 0 2 7
22.91/23.07 c setppc : 0.00 0.00 28 0 0 0 0 0 66 0 0 0
22.91/23.07 c linear : 0.02 0.00 23 0 0 0 0 0 198 0 56 1
22.91/23.07 c logicor : 0.05 0.00 26 0 0 0 0 0 1074 0 0 1222
22.91/23.07 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
22.91/23.07 c root node : - - - 97 - - 97 - - - - -
22.91/23.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
22.91/23.07 c benderslp : 0 0 0 0 5513 0 0 466 0 0 0 0 0 0 0
22.91/23.07 c integral : 0 0 0 0 5513 0 0 466 0 0 0 0 0 0 11026
22.91/23.07 c knapsack : 4 4 22 40961 0 0 0 462 2243 67 13006 7 2 0 0
22.91/23.07 c setppc : 20+ 31 22 40917 0 0 0 260 91176 277 58726 0 0 0 0
22.91/23.07 c linear : 2+ 19 11 30428 0 0 0 2 0 0 23 0 0 0 0
22.91/23.07 c logicor : 3166+ 7712 22 21162 0 0 0 1 28906 84 62624 4 2 0 0
22.91/23.07 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
22.91/23.07 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c integral : 0.25 0.00 0.00 0.00 0.25 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c knapsack : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c setppc : 0.18 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.01 0.00
22.91/23.07 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c logicor : 0.81 0.00 0.01 0.78 0.00 0.00 0.00 0.00 0.01 0.01
22.91/23.07 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
22.91/23.07 c dualfix : 2 0 0 0
22.91/23.07 c genvbounds : 0 0 0 0
22.91/23.07 c nlobbt : 0 0 0 0
22.91/23.07 c obbt : 0 0 0 0
22.91/23.07 c probing : 0 0 0 0
22.91/23.07 c pseudoobj : 0 0 0 0
22.91/23.07 c redcost : 0 0 0 0
22.91/23.07 c rootredcost : 0 0 0 0
22.91/23.07 c symmetry : 6641 0 0 10
22.91/23.07 c vbounds : 31156 0 0 0
22.91/23.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
22.91/23.07 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
22.91/23.07 c symmetry : 0.05 0.00 0.01 0.05 0.00 0.00
22.91/23.07 c vbounds : 0.04 0.00 0.00 0.04 0.00 0.00
22.91/23.07 c Symmetry :
22.91/23.07 c orbitopal red. : 0 reductions applied, 0 cutoffs
22.91/23.07 c orbital reduction: 10 reductions applied, 0 cutoffs
22.91/23.07 c lexicographic red: 0 reductions applied, 0 cutoffs
22.91/23.07 c shadow tree time : 0.01 s
22.91/23.07 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
22.91/23.07 c propagation : 0.01 425 420 - 1948 14.0 4 11.5 - - -
22.91/23.07 c infeasible LP : 0.52 5146 4583 - 24049 23.1 16 12.8 13 16.2 0
22.91/23.07 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
22.91/23.07 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
22.91/23.07 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
22.91/23.07 c applied globally : 0.05 - - 0 9390 9.3 - - 13 - -
22.91/23.07 c applied locally : - - - 0 1 41.0 - - 0 - -
22.91/23.07 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
22.91/23.07 c cut pool : 0.79 - 1365 42 - - 19585 24252 - - - - - (maximal pool size: 4232)
22.91/23.07 c aggregation : 0.14 0.00 507 22 0 0 11 34 0 1 1 0 0
22.91/23.07 c > cmir : - - - - - - - 34 0 1 1 0 -
22.91/23.07 c > flowcover : - - - - - - - 0 0 0 0 0 -
22.91/23.07 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
22.91/23.07 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c clique : 0.00 0.00 22 22 0 0 1 1 0 0 0 0 0
22.91/23.07 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c gomory : 7.03 0.00 505 20 0 0 27771 24085 8248 1265 1049 216 0
22.91/23.07 c > gomorymi : - - - - - - - 11258 4137 449 322 127 -
22.91/23.07 c > strongcg : - - - - - - - 12827 4111 816 727 89 -
22.91/23.07 c impliedbounds : 0.01 0.00 507 22 0 0 4 5 0 5 5 0 0
22.91/23.07 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
22.91/23.07 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c multilinear : 0.00 0.00 469 22 0 0 0 0 0 0 0 0 0
22.91/23.07 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
22.91/23.07 c rapidlearning : 2.78 0.00 100 2 0 4050 0 0 0 0 0 0 214
22.91/23.07 c rlt : 0.00 0.00 254 20 0 0 0 0 0 0 0 0 0
22.91/23.07 c zerohalf : 0.20 0.00 507 22 0 0 998 127 952 590 34 556 0
22.91/23.07 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
22.91/23.07 c hybrid : 0.05 0.00 620 22 1865 0 31576 73 0 5047
22.91/23.07 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c Pricers : ExecTime SetupTime Calls Vars
22.91/23.07 c problem variables: 0.00 - 0 0
22.91/23.07 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
22.91/23.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c random : 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c relpscost : 0.24 0.00 5513 0 0 0 0 0 0 11026
22.91/23.07 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
22.91/23.07 c Primal Heuristics : ExecTime SetupTime Calls Found Best
22.91/23.07 c LP solutions : 0.00 - - 0 0
22.91/23.07 c relax solutions : 0.00 - - 0 0
22.91/23.07 c pseudo solutions : 0.00 - - 0 0
22.91/23.07 c strong branching : 0.00 - - 0 0
22.91/23.07 c actconsdiving : 0.00 0.00 0 0 0
22.91/23.07 c adaptivediving : 0.03 0.00 4 0 0
22.91/23.07 c alns : 0.04 0.00 4 0 0
22.91/23.07 c bound : 0.00 0.00 0 0 0
22.91/23.07 c clique : 0.00 0.00 1 0 0
22.91/23.07 c coefdiving : 0.00 0.00 0 0 0
22.91/23.07 c completesol : 0.00 0.00 0 0 0
22.91/23.07 c conflictdiving : 0.05 0.00 3 0 0
22.91/23.07 c crossover : 0.00 0.00 0 0 0
22.91/23.07 c dins : 0.00 0.00 0 0 0
22.91/23.07 c distributiondivin: 0.08 0.00 2 0 0
22.91/23.07 c dps : 0.00 0.00 0 0 0
22.91/23.07 c dualval : 0.00 0.00 0 0 0
22.91/23.07 c farkasdiving : 0.00 0.00 0 0 0
22.91/23.07 c feasjump : 0.04 0.00 2 0 0
22.91/23.07 c feaspump : 0.09 0.00 2 0 0
22.91/23.07 c fixandinfer : 0.00 0.00 0 0 0
22.91/23.07 c fracdiving : 0.02 0.00 3 0 0
22.91/23.07 c gins : 0.00 0.00 0 0 0
22.91/23.07 c guideddiving : 0.00 0.00 0 0 0
22.91/23.07 c indcoefdiving : 0.00 0.00 0 0 0
22.91/23.07 c indicator : 0.00 0.00 0 0 0
22.91/23.07 c indicatordiving : 0.00 0.00 0 0 0
22.91/23.07 c indoneopt : 0.00 0.00 0 0 0
22.91/23.07 c indrounding : 0.00 0.00 0 0 0
22.91/23.07 c indtwoopt : 0.00 0.00 0 0 0
22.91/23.07 c intdiving : 0.00 0.00 0 0 0
22.91/23.07 c intshifting : 0.00 0.00 0 0 0
22.91/23.07 c linesearchdiving : 0.02 0.00 2 0 0
22.91/23.07 c localbranching : 0.00 0.00 0 0 0
22.91/23.07 c locks : 0.00 0.00 1 0 0
22.91/23.07 c lpface : 0.00 0.00 0 0 0
22.91/23.07 c mpec : 0.00 0.00 0 0 0
22.91/23.07 c multistart : 0.00 0.00 0 0 0
22.91/23.07 c mutation : 0.00 0.00 0 0 0
22.91/23.07 c nlpdiving : 0.00 0.00 0 0 0
22.91/23.07 c objpscostdiving : 0.03 0.00 2 0 0
22.91/23.07 c octane : 0.00 0.00 0 0 0
22.91/23.07 c ofins : 0.00 0.00 0 0 0
22.91/23.07 c oneopt : 0.00 0.00 0 0 0
22.91/23.07 c padm : 0.00 0.00 0 0 0
22.91/23.07 c proximity : 0.00 0.00 0 0 0
22.91/23.07 c pscostdiving : 0.02 0.00 3 0 0
22.91/23.07 c randrounding : 0.03 0.00 476 0 0
22.91/23.07 c rens : 0.03 0.00 2 0 0
22.91/23.07 c reoptsols : 0.00 0.00 0 0 0
22.91/23.07 c repair : 0.00 0.00 0 0 0
22.91/23.07 c rins : 0.00 0.00 0 0 0
22.91/23.07 c rootsoldiving : 0.01 0.00 2 0 0
22.91/23.07 c rounding : 0.05 0.00 1062 0 0
22.91/23.07 c scheduler : 0.00 0.00 0 0 0
22.91/23.07 c shiftandpropagate: 0.00 0.00 2 0 0
22.91/23.07 c shifting : 0.07 0.00 433 0 0
22.91/23.07 c simplerounding : 0.00 0.00 0 0 0
22.91/23.07 c smallcard : 0.00 0.00 0 0 0
22.91/23.07 c subnlp : 0.00 0.00 0 0 0
22.91/23.07 c trivial : 0.00 0.00 4 0 0
22.91/23.07 c trivialnegation : 0.00 0.00 0 0 0
22.91/23.07 c trustregion : 0.00 0.00 0 0 0
22.91/23.07 c trysol : 0.00 0.00 0 0 0
22.91/23.07 c twoopt : 0.00 0.00 0 0 0
22.91/23.07 c undercover : 0.00 0.00 0 0 0
22.91/23.07 c vbounds : 0.01 0.00 1 0 0
22.91/23.07 c veclendiving : 0.03 0.00 3 0 0
22.91/23.07 c zeroobj : 0.00 0.00 0 0 0
22.91/23.07 c zirounding : 0.01 0.00 1000 0 0
22.91/23.07 c other solutions : - - - 0 -
22.91/23.07 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
22.91/23.07 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
22.91/23.07 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
22.91/23.07 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
22.91/23.07 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
22.91/23.07 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
22.91/23.07 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
22.91/23.07 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
22.91/23.07 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
22.91/23.07 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
22.91/23.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
22.91/23.07 c primal LP : 0.06 321 0 0.00 0.00 0.06 321
22.91/23.07 c dual LP : 6.93 11321 166562 14.76 24019.72 0.01 40
22.91/23.07 c lex dual LP : 0.00 0 0 0.00 -
22.91/23.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
22.91/23.07 c resolve instable : 0.00 0 0 0.00 -
22.91/23.07 c diving/probing LP: 0.25 184 5834 31.71 23424.45
22.91/23.07 c strong branching : 0.08 38 1542 40.58 20190.91 - - 0
22.91/23.07 c (at root node) : - 38 1542 40.58 -
22.91/23.07 c conflict analysis: 0.00 0 0 0.00 -
22.91/23.07 c B&B Tree :
22.91/23.07 c number of runs : 2
22.91/23.07 c nodes : 8894 (4475 internal, 4419 leaves)
22.91/23.07 c feasible leaves : 0
22.91/23.07 c infeas. leaves : 4419
22.91/23.07 c objective leaves : 0
22.91/23.07 c nodes (total) : 10919 (5513 internal, 5406 leaves)
22.91/23.07 c nodes left : 0
22.91/23.07 c max depth : 37
22.91/23.07 c max depth (total): 37
22.91/23.07 c backtracks : 1063 (12.0%)
22.91/23.07 c early backtracks : 0 (0.0%)
22.91/23.07 c nodes exc. ref. : 0 (0.0%)
22.91/23.07 c delayed cutoffs : 57
22.91/23.07 c repropagations : 13268 (15094 domain reductions, 57 cutoffs)
22.91/23.07 c avg switch length: 4.52
22.91/23.07 c switching time : 0.86
22.91/23.07 c Root Node :
22.91/23.07 c First LP value : +0.00000000000000e+00
22.91/23.07 c First LP Iters : 95 (30914.42 Iter/sec)
22.91/23.07 c First LP Time : 0.00
22.91/23.07 c Final Dual Bound : -
22.91/23.07 c Final Root Iters : 2606
22.91/23.07 c Root LP Estimate : +2.71897078803690e-03
22.91/23.07 c Solution :
22.91/23.07 c Solutions found : 0 (0 improvements)
22.91/23.07 c Primal Bound : infeasible
22.91/23.07 c Dual Bound : -
22.91/23.07 c Gap : 0.00 %
22.91/23.07 c Integrals : Total Avg%
22.91/23.07 c primal-dual : - - (problem infeasible)
22.91/23.07 c primal-ref : - - (problem infeasible)
22.91/23.07 c dual-ref : - - (problem infeasible)
22.91/23.09 c Time complete: 23.012.