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-4542239-1753211765.opb>
0.00/0.10 c original problem has 64680 variables (64680 bin, 0 int, 0 impl, 0 cont) and 8494 constraints
0.00/0.10 c problem read in 0.09
0.00/0.10 c No objective function, only one solution is needed.
0.19/0.23 c presolving:
0.30/0.31 c (0.3s) running MILP presolver
0.30/0.37 c (0.4s) MILP presolver found nothing
0.40/0.43 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5114 upgd conss, 0 impls, 3360 clqs
0.40/0.49 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 8494 upgd conss, 0 impls, 3360 clqs
0.88/0.95 c (0.9s) probing: 51/64680 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.88/0.95 c (0.9s) probing aborted: 50/50 successive totally useless probings
0.88/1.00 c (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1971.40/1977.08 c (1977.1s) symmetry computation finished: 989 generators found (max: 989, log10 of symmetry group size: 5910.0) (symcode time: 1975.91)
1971.69/1977.32 c dynamic symmetry handling statistics:
1971.69/1977.32 c orbitopal reduction: no components
1971.69/1977.32 c orbital reduction: 31 components of sizes 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 28, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31
1971.69/1977.32 c lexicographic reduction: 958 permutations with support sizes 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 3c 4, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 36, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34,c 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 3c 6, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 36, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34, 36, 34
1971.69/1977.32 c handled 62 out of 62 symmetry components
1971.69/1977.32 c (round 3, exhaustive) 0 del vars, 0 del conss, 31 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 8494 upgd conss, 0 impls, 3391 clqs
1971.69/1977.37 c (round 4, exhaustive) 0 del vars, 0 del conss, 31 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 8525 upgd conss, 0 impls, 3391 clqs
1971.89/1977.51 c presolving (5 rounds: 5 fast, 5 medium, 5 exhaustive):
1971.89/1977.51 c 0 deleted vars, 0 deleted constraints, 31 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 72 changed coefficients
1971.89/1977.51 c 0 implications, 3391 cliques
1971.89/1977.51 c presolved problem has 64680 variables (64680 bin, 0 int, 0 impl, 0 cont) and 8525 constraints
1971.89/1977.51 c 782 constraints of type <knapsack>
1971.89/1977.51 c 3391 constraints of type <setppc>
1971.89/1977.51 c 4352 constraints of type <logicor>
1971.89/1977.51 c transformed objective value is always integral (scale: 1)
1971.89/1977.51 c Presolving Time: 1977.31
1971.89/1977.51 c - non default parameters ----------------------------------------------------------------------
1971.89/1977.51 c # SCIP version 10.0.0
1971.89/1977.51 c
1971.89/1977.51 c # maximal time in seconds to run
1971.89/1977.51 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1971.89/1977.51 c limits/time = 3596.998009
1971.89/1977.51 c
1971.89/1977.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1971.89/1977.51 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1971.89/1977.51 c limits/memory = 27900
1971.89/1977.51 c
1971.89/1977.51 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
1971.89/1977.51 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
1971.89/1977.51 c limits/solutions = 1
1971.89/1977.51 c
1971.89/1977.51 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.
1971.89/1977.51 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
1971.89/1977.51 c misc/usesymmetry = 3
1971.89/1977.51 c
1971.89/1977.51 c # belongs reading time to solving time?
1971.89/1977.51 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1971.89/1977.51 c timing/reading = TRUE
1971.89/1977.51 c
1971.89/1977.51 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
1971.89/1977.51 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1971.89/1977.51 c propagating/symmetry/detectdoublelex = FALSE
1971.89/1977.51 c
1971.89/1977.51 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
1971.89/1977.51 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1971.89/1977.51 c propagating/symmetry/detectsubgroups = FALSE
1971.89/1977.51 c
1971.89/1977.51 c # Type of symmetries that shall be computed?
1971.89/1977.51 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
1971.89/1977.51 c propagating/symmetry/symtype = 1
1971.89/1977.51 c
1971.89/1977.51 c # Should components consisting of a single full reflection be handled?
1971.89/1977.51 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1971.89/1977.51 c propagating/symmetry/usesimplesgncomp = FALSE
1971.89/1977.51 c
1971.89/1977.51 c -----------------------------------------------------------------------------------------------
1971.89/1977.51 c start solving
1971.89/1977.53 c
1973.39/1979.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1973.39/1979.10 c 1979s| 1 | 0 | 19387 | - | 585M | 0 | 64k|8737 |8525 | 0 | 0 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1975.77/1981.48 c 1981s| 1 | 0 | 27210 | - | 612M | 0 | 64k|8737 |8554 | 29 | 1 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1976.38/1982.02 c 1982s| 1 | 0 | 27432 | - | 623M | 0 | 64k|8737 |8590 | 76 | 2 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1977.17/1982.80 c 1983s| 1 | 0 | 27640 | - | 642M | 0 | 64k|8737 |8619 | 105 | 3 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1977.86/1983.59 c 1984s| 1 | 0 | 27778 | - | 666M | 0 | 64k|8737 |8643 | 129 | 4 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1978.56/1984.27 c 1984s| 1 | 0 | 27870 | - | 681M | 0 | 64k|8737 |8662 | 148 | 5 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1979.36/1985.04 c 1985s| 1 | 0 | 27932 | - | 692M | 0 | 64k|8737 |8677 | 163 | 6 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1980.05/1985.76 c 1986s| 1 | 0 | 28004 | - | 705M | 0 | 64k|8737 |8694 | 180 | 7 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1980.75/1986.46 c 1986s| 1 | 0 | 28132 | - | 717M | 0 | 64k|8737 |8721 | 207 | 8 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1981.55/1987.24 c 1987s| 1 | 0 | 28284 | - | 739M | 0 | 64k|8737 |8749 | 235 | 9 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1982.45/1988.11 c 1988s| 1 | 0 | 28418 | - | 754M | 0 | 64k|8737 |8774 | 260 | 10 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1982.64/1988.32 c 1988s| 1 | 0 | 28486 | - | 755M | 0 | 64k|8737 |8784 | 270 | 11 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
1986.53/1992.22 c 1992s| 1 | 2 | 33920 | - | 756M | 0 | 64k|8736 |8784 | 270 | 11 | 214 | 27 | 0.000000e+00 | -- | Inf | unknown
2019.28/2025.19 c 2025s| 100 | 97 | 84784 | 568.7 | 823M | 12 | 64k|8791 |8627 |1868 | 1 | 292 | 27 | 0.000000e+00 | -- | Inf | unknown
2035.00/2040.96 c 2041s| 200 | 185 |114533 | 432.4 | 823M | 12 | 64k|8824 |8620 |3641 | 1 | 333 | 27 | 0.000000e+00 | -- | Inf | 7.28%
2049.04/2055.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2049.04/2055.04 c 2055s| 300 | 283 |144334 | 387.5 | 826M | 12 | 64k|8848 |8630 |5592 | 2 | 363 | 27 | 0.000000e+00 | -- | Inf | 7.32%
2060.98/2067.07 c 2067s| 400 | 381 |166781 | 346.6 | 830M | 12 | 64k|8875 |8568 |7665 | 1 | 390 | 27 | 0.000000e+00 | -- | Inf | 7.42%
2072.03/2078.11 c 2078s| 500 | 481 |187248 | 318.2 | 831M | 12 | 64k|8892 |8634 |9697 | 2 | 408 | 27 | 0.000000e+00 | -- | Inf | 7.42%
2082.57/2088.73 c 2089s| 600 | 579 |206610 | 297.4 | 831M | 12 | 64k|8910 |8615 | 12k| 1 | 428 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2097.81/2104.09 c 2104s| 700 | 679 |240899 | 303.9 | 834M | 13 | 64k|8934 |8624 | 14k| 1 | 459 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2110.94/2117.20 c 2117s| 800 | 779 |260427 | 290.3 | 837M | 23 | 64k|8941 |8642 | 16k| 1 | 469 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2127.26/2133.68 c 2134s| 900 | 879 |289311 | 290.1 | 871M | 45 | 64k|8993 |8689 | 16k| 1 | 522 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2143.78/2150.28 c 2150s| 1000 | 977 |319360 | 291.2 | 880M | 45 | 64k|9050 |8697 | 17k| 2 | 585 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2157.62/2164.15 c 2164s| 1100 | 1067 |344499 | 287.5 | 883M | 54 | 64k|9085 |8712 | 17k| 1 | 637 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2168.66/2175.20 c 2175s| 1200 | 1167 |366663 | 282.0 | 884M | 56 | 64k|9109 |8708 | 18k| 1 | 670 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2175.53/2182.13 c 2182s| 1300 | 1267 |376637 | 268.0 | 886M | 56 | 64k|9117 |8708 | 19k| 1 | 681 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2182.29/2189.00 c 2189s| 1400 | 1367 |387883 | 256.9 | 886M | 56 | 64k|9125 |8676 | 19k| 1 | 694 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2188.37/2195.07 c 2195s| 1500 | 1467 |397585 | 246.2 | 887M | 75 | 64k|9129 |8720 | 20k| 1 | 700 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2192.55/2199.24 c 2199s| 1600 | 1567 |402796 | 234.1 | 890M | 116 | 64k|9130 |8720 | 20k| 1 | 703 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2195.63/2202.35 c 2202s| 1700 | 1667 |407009 | 222.8 | 892M | 143 | 64k|9129 |8721 | 20k| 1 | 705 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2198.82/2205.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2198.82/2205.52 c 2206s| 1800 | 1767 |409618 | 211.9 | 893M | 157 | 64k|9130 |8721 | 20k| 1 | 707 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2203.99/2210.73 c 2211s| 1900 | 1855 |414005 | 203.0 | 903M | 163 | 64k|9133 |8752 | 20k| 1 | 712 | 27 | 0.000000e+00 | -- | Inf | 7.62%
2209.76/2216.53 c 2217s| 2000 | 1947 |419910 | 195.8 | 908M | 167 | 64k|9140 |8742 | 20k| 1 | 728 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2214.84/2221.63 c 2222s| 2100 | 2047 |423958 | 188.4 | 919M | 167 | 64k|9141 |8760 | 20k| 1 | 730 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2220.41/2227.22 c 2227s| 2200 | 2144 |430563 | 182.8 | 925M | 171 | 64k|9146 |8769 | 21k| 2 | 738 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2225.88/2232.78 c 2233s| 2300 | 2224 |437182 | 177.8 | 931M | 171 | 64k|9162 |8752 | 21k| 1 | 763 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2231.55/2238.46 c 2238s| 2400 | 2254 |445861 | 174.0 | 932M | 171 | 64k|9169 |8746 | 21k| 1 | 779 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2236.63/2243.59 c 2244s| 2500 | 2328 |453761 | 170.2 | 933M | 171 | 64k|9182 |8745 | 22k| 1 | 800 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2242.30/2249.24 c 2249s| 2600 | 2352 |462293 | 166.9 | 935M | 171 | 64k|9205 |8741 | 22k| 1 | 830 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2247.47/2254.43 c 2254s| 2700 | 2440 |468692 | 163.1 | 937M | 171 | 64k|9208 |8746 | 22k| 2 | 835 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2251.55/2258.59 c 2259s| 2800 | 2527 |478134 | 160.6 | 939M | 171 | 64k|9219 |8755 | 22k| 2 | 849 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2256.23/2263.25 c 2263s| 2900 | 2620 |483789 | 157.1 | 940M | 171 | 64k|9227 |8751 | 22k| 1 | 862 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2262.20/2269.26 c 2269s| 3000 | 2718 |491982 | 154.6 | 942M | 171 | 64k|9238 |8738 | 23k| 1 | 876 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2266.37/2273.44 c 2273s| 3100 | 2818 |496222 | 150.9 | 943M | 171 | 64k|9241 |8749 | 23k| 1 | 880 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2270.95/2278.02 c 2278s| 3200 | 2918 |501821 | 148.0 | 947M | 171 | 64k|9243 |8721 | 23k| 1 | 884 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2275.03/2282.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2275.03/2282.11 c 2282s| 3300 | 3018 |505866 | 144.7 | 945M | 171 | 64k|9247 |8736 | 23k| 1 | 890 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2279.61/2286.70 c 2287s| 3400 | 3118 |511917 | 142.2 | 946M | 171 | 64k|9250 |8751 | 23k| 1 | 895 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2283.99/2291.19 c 2291s| 3500 | 3218 |520013 | 140.5 | 948M | 171 | 64k|9251 |8744 | 23k| 1 | 898 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2288.76/2296.00 c 2296s| 3600 | 3314 |524339 | 137.8 | 954M | 177 | 64k|9265 |8774 | 24k| 1 | 915 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2293.23/2300.48 c 2300s| 3700 | 3412 |529930 | 135.6 | 956M | 177 | 64k|9271 |8775 | 24k| 1 | 924 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2297.71/2304.95 c 2305s| 3800 | 3510 |534340 | 133.2 | 958M | 177 | 64k|9272 |8786 | 24k| 1 | 928 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2302.39/2309.61 c 2310s| 3900 | 3600 |541258 | 131.5 | 963M | 178 | 64k|9279 |8777 | 24k| 1 | 937 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2307.26/2314.59 c 2315s| 4000 | 3700 |550462 | 130.5 | 966M | 178 | 64k|9293 |8772 | 24k| 1 | 955 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2309.85/2317.12 c 2317s| 4100 | 3768 |551384 | 127.6 | 967M | 238 | 64k|9307 |8788 | 24k| 1 | 971 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2313.83/2321.14 c 2321s| 4200 | 3803 |558047 | 126.1 | 970M | 241 | 64k|9334 |8782 | 25k| 1 |1013 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2317.71/2325.02 c 2325s| 4300 | 3845 |561711 | 124.0 | 972M | 241 | 64k|9372 |8784 | 25k| 1 |1061 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2321.99/2329.34 c 2329s| 4400 | 3945 |569875 | 123.1 | 976M | 241 | 64k|9384 |8785 | 25k| 2 |1077 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2325.37/2332.72 c 2333s| 4500 | 3902 |572031 | 120.8 | 976M | 241 | 64k|9448 |8768 | 25k| 1 |1156 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2329.05/2336.46 c 2336s| 4600 | 3758 |578763 | 119.7 | 976M | 241 | 64k|9510 |8754 | 25k| 1 |1235 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2334.42/2341.83 c 2342s| 4700 | 3826 |589058 | 119.3 | 976M | 241 | 64k|9538 |8753 | 25k| 1 |1274 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2339.90/2347.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2339.90/2347.38 c 2347s| 4800 | 3921 |597523 | 118.6 | 977M | 241 | 64k|9556 |8746 | 25k| 1 |1296 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2345.47/2352.94 c 2353s| 4900 | 4004 |607947 | 118.3 | 978M | 241 | 64k|9587 |8739 | 26k| 1 |1336 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2350.34/2357.80 c 2358s| 5000 | 3916 |615058 | 117.3 | 980M | 241 | 64k|9625 |8740 | 26k| 0 |1389 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2353.43/2360.97 c 2361s| 5100 | 2035 |617132 | 115.4 | 970M | 241 | 64k|9651 |8755 | 26k| 1 |1425 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2357.51/2365.03 c 2365s| 5200 | 1725 |620838 | 113.9 | 970M | 241 | 64k|9706 |8672 | 26k| 1 |1489 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2363.37/2370.98 c 2371s| 5300 | 1737 |625889 | 112.7 | 975M | 241 | 64k|9716 |8709 | 26k| 1 |1507 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2370.15/2377.71 c 2378s| 5400 | 1835 |635821 | 112.5 | 980M | 241 | 64k|9729 |8714 | 27k| 1 |1525 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2377.52/2385.14 c 2385s| 5500 | 1935 |645678 | 112.2 | 988M | 241 | 64k|9736 |8727 | 27k| 1 |1538 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2383.19/2390.81 c 2391s| 5600 | 2033 |652428 | 111.4 | 997M | 241 | 64k|9742 |8683 | 28k| 1 |1546 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2389.06/2396.76 c 2397s| 5700 | 2126 |662349 | 111.2 | 1006M | 241 | 64k|9755 |8736 | 28k| 1 |1563 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2395.43/2403.18 c 2403s| 5800 | 2226 |670201 | 110.7 | 1011M | 241 | 64k|9761 |8726 | 28k| 1 |1572 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2400.60/2408.36 c 2408s| 5900 | 2322 |676649 | 109.9 | 1012M | 241 | 64k|9774 |8687 | 29k| 1 |1588 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2405.67/2413.42 c 2413s| 6000 | 2422 |681700 | 108.9 | 1015M | 241 | 64k|9776 |8746 | 29k| 1 |1592 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2409.55/2417.36 c 2417s| 6100 | 2518 |685210 | 107.7 | 1015M | 241 | 64k|9788 |8744 | 29k| 1 |1608 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2414.63/2422.46 c 2422s| 6200 | 2616 |690206 | 106.7 | 1017M | 241 | 64k|9798 |8768 | 29k| 1 |1621 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2420.10/2427.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2420.10/2427.92 c 2428s| 6300 | 2397 |693357 | 105.6 | 1026M | 241 | 64k|9818 |8737 | 30k| 1 |1651 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2425.18/2433.05 c 2433s| 6400 | 2493 |700799 | 105.1 | 1027M | 241 | 64k|9826 |8761 | 30k| 1 |1663 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2429.05/2436.91 c 2437s| 6500 | 2589 |705027 | 104.1 | 1027M | 241 | 64k|9833 |8770 | 30k| 1 |1674 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2433.83/2441.77 c 2442s| 6600 | 2684 |711631 | 103.5 | 1028M | 241 | 64k|9842 |8773 | 30k| 1 |1689 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2439.20/2447.19 c 2447s| 6700 | 2526 |718598 | 103.0 | 1029M | 241 | 64k|9859 |8711 | 30k| 1 |1717 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2443.28/2451.23 c 2451s| 6800 | 2624 |721489 | 101.9 | 1029M | 241 | 64k|9869 |8770 | 30k| 1 |1729 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2446.46/2454.43 c 2454s| 6900 | 2698 |722576 | 100.6 | 1029M | 241 | 64k|9885 |8772 | 30k| 1 |1758 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2448.05/2456.06 c 2456s| 7000 | 2667 |723845 | 99.4 | 1030M | 241 | 64k|9933 | 0 | 30k| 0 |1813 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2449.44/2457.48 c 2457s| 7100 | 2624 |725701 | 98.2 | 1030M | 241 | 64k|9951 | 0 | 30k| 0 |1875 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2451.43/2459.42 c 2459s| 7200 | 2621 |727601 | 97.1 | 1030M | 241 | 64k|9970 | 0 | 30k| 0 |1936 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2453.82/2461.82 c 2462s| 7300 | 2637 |730239 | 96.1 | 1030M | 241 | 64k| 10k|8768 | 30k| 1 |2005 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2455.51/2463.50 c 2463s| 7400 | 2603 |733861 | 95.3 | 1030M | 241 | 64k| 10k| 0 | 30k| 0 |2105 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2457.31/2465.31 c 2465s| 7500 | 2581 |737481 | 94.5 | 1030M | 241 | 64k| 10k|8759 | 30k| 1 |2203 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2459.69/2467.77 c 2468s| 7600 | 2641 |739392 | 93.6 | 1030M | 241 | 64k| 10k|8763 | 30k| 1 |2226 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2461.78/2469.85 c 2470s| 7700 | 2681 |741572 | 92.6 | 1030M | 241 | 64k|9996 |8763 | 30k| 1 |2256 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2463.97/2472.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2463.97/2472.06 c 2472s| 7800 | 2729 |743679 | 91.7 | 1030M | 241 | 64k|9993 |8763 | 30k| 1 |2282 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2465.96/2474.08 c 2474s| 7900 | 2753 |745888 | 90.8 | 1031M | 241 | 64k| 10k| 0 | 30k| 0 |2336 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2467.55/2475.64 c 2476s| 8000 | 2755 |747508 | 89.9 | 1031M | 241 | 64k| 10k|8763 | 30k| 1 |2451 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2471.52/2479.69 c 2480s| 8100 | 2828 |753418 | 89.5 | 1032M | 241 | 64k| 10k|8793 | 30k| 1 |2479 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2474.61/2482.72 c 2483s| 8200 | 2820 |757173 | 88.9 | 1032M | 241 | 64k| 10k| 0 | 30k| 0 |2599 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2477.19/2485.33 c 2485s| 8300 | 2770 |761072 | 88.3 | 1032M | 241 | 64k| 10k|8763 | 31k| 1 |2707 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2479.08/2487.22 c 2487s| 8400 | 2725 |764090 | 87.6 | 1032M | 241 | 64k| 10k| 0 | 31k| 0 |2814 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2480.98/2489.11 c 2489s| 8500 | 2688 |767710 | 87.0 | 1032M | 241 | 64k| 10k|8763 | 31k| 1 |2946 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2482.56/2490.72 c 2491s| 8600 | 2651 |771137 | 86.4 | 1032M | 241 | 64k| 10k| 0 | 31k| 0 |3079 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2484.35/2492.58 c 2493s| 8700 | 2610 |774899 | 85.8 | 1032M | 241 | 64k| 10k| 0 | 31k| 0 |3214 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2486.34/2494.51 c 2495s| 8800 | 2579 |778818 | 85.3 | 1032M | 241 | 64k| 10k| 0 | 31k| 0 |3345 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2488.23/2496.46 c 2496s| 8900 | 2565 |782360 | 84.7 | 1032M | 241 | 64k| 10k| 0 | 31k| 0 |3467 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2491.42/2499.62 c 2500s| 9000 | 2586 |786462 | 84.2 | 1032M | 241 | 64k| 10k| 0 | 31k| 0 |3550 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2494.70/2502.95 c 2503s| 9100 | 2656 |790874 | 83.8 | 1032M | 241 | 64k| 10k|8758 | 31k| 1 |3605 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2498.28/2506.52 c 2507s| 9200 | 2625 |795270 | 83.4 | 1033M | 241 | 64k| 10k|8723 | 31k| 1 |3709 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2505.35/2513.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2505.35/2513.63 c 2514s| 9300 | 2725 |804843 | 83.5 | 1033M | 241 | 64k| 10k|8742 | 31k| 1 |3719 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2509.43/2517.72 c 2518s| 9400 | 2797 |809921 | 83.1 | 1033M | 241 | 64k| 10k|8745 | 32k| 1 |3770 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2512.31/2520.68 c 2521s| 9500 | 2768 |813000 | 82.6 | 1033M | 241 | 64k| 10k| 0 | 32k| 0 |3821 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2514.70/2523.08 c 2523s| 9600 | 2743 |817136 | 82.2 | 1034M | 241 | 64k| 10k|8703 | 32k| 1 |3893 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2517.88/2526.28 c 2526s| 9700 | 2771 |820829 | 81.7 | 1036M | 241 | 64k| 10k| 0 | 32k| 0 |3971 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2520.77/2529.14 c 2529s| 9800 | 2780 |824342 | 81.2 | 1036M | 241 | 64k| 10k|8685 | 32k| 1 |4038 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2523.55/2531.90 c 2532s| 9900 | 2778 |828203 | 80.8 | 1037M | 241 | 64k| 10k| 0 | 32k| 0 |4122 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2526.04/2534.49 c 2534s| 10000 | 2794 |832760 | 80.4 | 1038M | 241 | 64k| 10k| 0 | 33k| 0 |4214 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2528.43/2536.80 c 2537s| 10100 | 2798 |837167 | 80.1 | 1038M | 241 | 64k| 10k|8638 | 33k| 1 |4315 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2531.72/2540.18 c 2540s| 10200 | 2816 |842795 | 79.8 | 1038M | 241 | 64k| 10k| 0 | 33k| 0 |4381 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2534.50/2542.98 c 2543s| 10300 | 2826 |847662 | 79.5 | 1038M | 241 | 64k| 10k|8678 | 33k| 1 |4451 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2537.98/2546.41 c 2546s| 10400 | 2826 |853763 | 79.4 | 1038M | 241 | 64k| 10k| 0 | 34k| 0 |4545 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2540.57/2549.00 c 2549s| 10500 | 2804 |858084 | 79.0 | 1038M | 241 | 64k| 10k|8685 | 34k| 1 |4646 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2544.25/2552.71 c 2553s| 10600 | 2832 |865271 | 78.9 | 1038M | 241 | 64k| 10k|8737 | 34k| 1 |4706 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2548.42/2556.91 c 2557s| 10700 | 2900 |869653 | 78.6 | 1038M | 241 | 64k| 10k|8738 | 35k| 1 |4736 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2549.71/2558.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2549.71/2558.25 c 2558s| 10800 | 2852 |871936 | 78.1 | 1038M | 241 | 64k| 10k| 0 | 35k| 0 |4827 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2551.21/2559.73 c 2560s| 10900 | 2780 |873734 | 77.6 | 1038M | 241 | 64k| 10k|8685 | 35k| 1 |4936 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2553.50/2562.05 c 2562s| 11000 | 2764 |876839 | 77.1 | 1038M | 241 | 64k| 10k| 0 | 35k| 0 |5057 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2558.47/2567.03 c 2567s| 11100 | 2837 |883211 | 77.0 | 1040M | 241 | 64k| 10k|8723 | 35k| 1 |5083 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2565.03/2573.65 c 2574s| 11200 | 2937 |890175 | 76.9 | 1049M | 241 | 64k| 10k|8722 | 36k| 1 |5094 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2571.20/2579.85 c 2580s| 11300 | 3007 |900207 | 77.2 | 1052M | 241 | 64k| 10k|8638 | 36k| 1 |5139 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2573.88/2582.50 c 2582s| 11400 | 2976 |903473 | 76.8 | 1052M | 241 | 64k| 10k| 0 | 37k| 0 |5246 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2576.49/2585.14 c 2585s| 11500 | 2845 |907680 | 76.5 | 1054M | 241 | 64k| 10k| 0 | 37k| 0 |5380 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2578.57/2587.27 c 2587s| 11600 | 2747 |911233 | 76.1 | 1054M | 241 | 64k| 10k| 0 | 37k| 0 |5494 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2580.76/2589.47 c 2589s| 11700 | 2726 |913935 | 75.7 | 1054M | 241 | 64k| 10k|8713 | 37k| 1 |5571 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2584.93/2593.69 c 2594s| 11800 | 2826 |921564 | 75.7 | 1055M | 241 | 64k| 10k|8726 | 37k| 1 |5584 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2589.11/2597.90 c 2598s| 11900 | 2926 |929004 | 75.7 | 1056M | 241 | 64k| 10k|8722 | 37k| 1 |5602 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2593.39/2602.10 c 2602s| 12000 | 3026 |935537 | 75.6 | 1056M | 241 | 64k| 10k|8726 | 37k| 1 |5628 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2597.27/2606.03 c 2606s| 12100 | 3118 |940283 | 75.4 | 1057M | 241 | 64k| 10k|8750 | 37k| 1 |5636 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2603.63/2612.40 c 2612s| 12200 | 3109 |948381 | 75.4 | 1058M | 241 | 64k| 10k|8743 | 37k| 1 |5668 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2607.61/2616.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2607.61/2616.48 c 2616s| 12300 | 3200 |952520 | 75.1 | 1058M | 241 | 64k| 10k|8742 | 37k| 1 |5681 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2612.19/2621.04 c 2621s| 12400 | 2714 |957149 | 74.9 | 1060M | 241 | 64k| 10k|8722 | 37k| 1 |5738 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2615.18/2624.01 c 2624s| 12500 | 2650 |961281 | 74.6 | 1060M | 241 | 64k| 10k|8743 | 37k| 1 |5845 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2617.06/2625.97 c 2626s| 12600 | 2569 |962780 | 74.2 | 1060M | 241 | 64k| 10k| 0 | 37k| 0 |5943 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2622.83/2631.70 c 2632s| 12700 | 2610 |970106 | 74.1 | 1062M | 241 | 64k| 10k|8713 | 38k| 1 |5975 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2627.51/2636.42 c 2636s| 12800 | 2704 |974019 | 73.9 | 1062M | 241 | 64k| 10k|8727 | 38k| 1 |5988 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2631.49/2640.48 c 2640s| 12900 | 2802 |978499 | 73.7 | 1062M | 241 | 64k| 10k|8727 | 38k| 1 |6001 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2636.36/2645.34 c 2645s| 13000 | 2900 |982073 | 73.4 | 1062M | 241 | 64k| 10k|8731 | 38k| 1 |6007 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2640.83/2649.81 c 2650s| 13100 | 2996 |986062 | 73.1 | 1063M | 241 | 64k| 10k|8749 | 38k| 1 |6023 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2644.02/2653.05 c 2653s| 13200 | 3062 |989324 | 72.8 | 1063M | 241 | 64k| 10k|8750 | 38k| 0 |6094 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2648.49/2657.50 c 2657s| 13300 | 2741 |991478 | 72.4 | 1063M | 241 | 64k| 10k|8732 | 38k| 1 |6213 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2653.76/2662.80 c 2663s| 13400 | 2671 |997656 | 72.3 | 1063M | 241 | 64k| 10k|8670 | 38k| 1 |6314 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2658.83/2667.90 c 2668s| 13500 | 2689 | 1003k| 72.2 | 1063M | 241 | 64k| 10k|8719 | 38k| 1 |6368 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2661.62/2670.70 c 2671s| 13600 | 2612 | 1005k| 71.8 | 1063M | 241 | 64k| 10k|8652 | 38k| 1 |6453 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2665.60/2674.75 c 2675s| 13700 | 2614 | 1009k| 71.6 | 1063M | 241 | 64k| 10k| 0 | 39k| 0 |6543 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2669.38/2678.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2669.38/2678.55 c 2679s| 13800 | 2537 | 1015k| 71.5 | 1063M | 241 | 64k| 10k|8642 | 39k| 1 |6625 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2675.85/2685.04 c 2685s| 13900 | 2637 | 1023k| 71.6 | 1066M | 241 | 64k| 10k|8710 | 39k| 1 |6640 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2679.62/2688.85 c 2689s| 14000 | 2737 | 1026k| 71.3 | 1066M | 241 | 64k| 10k|8727 | 39k| 2 |6643 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2684.60/2693.88 c 2694s| 14100 | 2837 | 1032k| 71.2 | 1067M | 241 | 64k| 10k|8741 | 39k| 1 |6653 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2689.48/2698.75 c 2699s| 14200 | 2937 | 1037k| 71.0 | 1068M | 241 | 64k| 10k|8779 | 39k| 1 |6665 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2692.46/2701.74 c 2702s| 14300 | 2982 | 1038k| 70.6 | 1068M | 289 | 64k| 10k|8779 | 39k| 1 |6709 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2695.45/2704.73 c 2705s| 14400 | 3042 | 1039k| 70.2 | 1068M | 314 | 64k| 10k|8780 | 39k| 0 |6738 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2698.63/2707.94 c 2708s| 14500 | 2999 | 1040k| 69.8 | 1068M | 314 | 64k| 10k|8779 | 39k| 1 |6892 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2701.61/2710.93 c 2711s| 14600 | 2966 | 1041k| 69.4 | 1068M | 314 | 64k| 10k|8779 | 39k| 1 |7006 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2704.59/2713.95 c 2714s| 14700 | 2954 | 1043k| 69.1 | 1068M | 314 | 64k| 11k|8779 | 39k| 1 |7151 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2707.58/2716.98 c 2717s| 14800 | 2988 | 1045k| 68.7 | 1068M | 314 | 64k| 11k|8779 | 39k| 0 |7216 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2710.76/2720.15 c 2720s| 14900 | 3021 | 1046k| 68.3 | 1068M | 314 | 64k| 11k|8779 | 39k| 0 |7275 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2713.94/2723.32 c 2723s| 15000 | 2951 | 1048k| 68.0 | 1068M | 314 | 64k| 11k|8779 | 39k| 1 |7385 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2716.73/2726.16 c 2726s| 15100 | 2945 | 1049k| 67.6 | 1068M | 314 | 64k| 11k|8779 | 39k| 1 |7514 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2719.62/2729.08 c 2729s| 15200 | 2954 | 1051k| 67.3 | 1068M | 314 | 64k| 11k|8775 | 39k| 1 |7629 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2722.60/2732.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2722.60/2732.08 c 2732s| 15300 | 2944 | 1052k| 67.0 | 1068M | 314 | 64k| 11k|8774 | 39k| 1 |7735 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2725.58/2735.04 c 2735s| 15400 | 2957 | 1055k| 66.7 | 1068M | 314 | 64k| 11k|8775 | 39k| 1 |7839 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2728.46/2737.96 c 2738s| 15500 | 2951 | 1056k| 66.3 | 1068M | 314 | 64k| 11k| 0 | 39k| 0 |7916 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2731.25/2740.72 c 2741s| 15600 | 2941 | 1057k| 66.0 | 1068M | 314 | 64k| 11k|8774 | 39k| 1 |8041 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2734.23/2743.70 c 2744s| 15700 | 2943 | 1058k| 65.6 | 1068M | 314 | 64k| 11k|8777 | 39k| 1 |8131 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2737.21/2746.72 c 2747s| 15800 | 2939 | 1060k| 65.3 | 1069M | 314 | 64k| 11k|8747 | 39k| 1 |8233 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2741.50/2751.04 c 2751s| 15900 | 2982 | 1063k| 65.1 | 1069M | 314 | 64k| 11k|8770 | 40k| 2 |8279 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2746.07/2755.68 c 2756s| 16000 | 3036 | 1066k| 64.9 | 1069M | 314 | 64k| 11k|8792 | 40k| 1 |8317 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2750.24/2759.87 c 2760s| 16100 | 3047 | 1068k| 64.6 | 1071M | 314 | 64k| 11k|8759 | 40k| 1 |8409 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2755.22/2764.87 c 2765s| 16200 | 3062 | 1072k| 64.4 | 1078M | 314 | 64k| 11k|8761 | 40k| 1 |8477 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2759.99/2769.65 c 2770s| 16300 | 3116 | 1075k| 64.3 | 1085M | 314 | 64k| 11k|8756 | 41k| 1 |8516 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2764.17/2773.84 c 2774s| 16400 | 3140 | 1079k| 64.1 | 1092M | 314 | 64k| 11k| 0 | 41k| 0 |8592 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2767.46/2777.16 c 2777s| 16500 | 3148 | 1082k| 63.9 | 1092M | 314 | 64k| 11k|8774 | 41k| 1 |8702 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2771.03/2780.72 c 2781s| 16600 | 3172 | 1085k| 63.7 | 1092M | 314 | 64k| 11k|8790 | 41k| 1 |8796 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2774.91/2784.67 c 2785s| 16700 | 3193 | 1088k| 63.5 | 1092M | 314 | 64k| 11k|8792 | 41k| 1 |8899 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2778.79/2788.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2778.89/2788.60 c 2789s| 16800 | 3214 | 1092k| 63.4 | 1093M | 314 | 64k| 11k|8788 | 42k| 1 |8987 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2782.57/2792.32 c 2792s| 16900 | 3255 | 1096k| 63.2 | 1093M | 314 | 64k| 11k|8757 | 42k| 2 |9064 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2787.15/2796.92 c 2797s| 17000 | 3279 | 1101k| 63.1 | 1093M | 314 | 64k| 11k|8760 | 43k| 1 |9149 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2791.82/2801.60 c 2802s| 17100 | 3294 | 1107k| 63.1 | 1093M | 314 | 64k| 11k|8753 | 43k| 2 |9245 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2796.70/2806.58 c 2807s| 17200 | 3314 | 1113k| 63.1 | 1094M | 314 | 64k| 11k| 0 | 44k| 0 |9348 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2800.98/2810.89 c 2811s| 17300 | 3324 | 1118k| 63.0 | 1094M | 314 | 64k| 11k| 0 | 44k| 0 |9445 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2804.46/2814.35 c 2814s| 17400 | 3360 | 1120k| 62.8 | 1095M | 314 | 64k| 11k|8815 | 44k| 1 |9516 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2808.14/2818.05 c 2818s| 17500 | 3325 | 1123k| 62.6 | 1096M | 314 | 64k| 11k|8784 | 44k| 2 |9583 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2811.23/2821.12 c 2821s| 17600 | 3425 | 1123k| 62.2 | 1097M | 314 | 64k| 11k|8813 | 44k| 2 |9583 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2816.20/2826.16 c 2826s| 17700 | 3329 | 1124k| 61.9 | 1098M | 330 | 64k| 11k|8762 | 44k| 1 |9602 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2820.87/2830.82 c 2831s| 17800 | 3377 | 1129k| 61.9 | 1098M | 330 | 64k| 11k|8777 | 45k| 1 |9664 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2824.65/2834.67 c 2835s| 17900 | 3448 | 1132k| 61.7 | 1100M | 330 | 64k| 11k|8797 | 45k| 1 |9701 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2827.83/2837.83 c 2838s| 18000 | 3542 | 1134k| 61.4 | 1101M | 330 | 64k| 11k|8797 | 45k| 1 |9719 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2831.71/2841.76 c 2842s| 18100 | 3634 | 1143k| 61.6 | 1102M | 330 | 64k| 11k|8794 | 45k| 1 |9737 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2835.19/2845.25 c 2845s| 18200 | 3727 | 1150k| 61.6 | 1103M | 330 | 64k| 11k|8796 | 45k| 1 |9756 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2838.47/2848.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2838.47/2848.58 c 2849s| 18300 | 3821 | 1158k| 61.8 | 1105M | 330 | 64k| 11k|8795 | 45k| 1 |9785 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2841.55/2851.60 c 2852s| 18400 | 3911 | 1163k| 61.7 | 1106M | 330 | 64k| 11k|8794 | 45k| 1 |9800 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2844.74/2854.80 c 2855s| 18500 | 3978 | 1168k| 61.6 | 1107M | 330 | 64k| 11k|8794 | 45k| 1 |9845 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2847.43/2857.58 c 2858s| 18600 | 4022 | 1169k| 61.4 | 1107M | 330 | 64k| 11k|8794 | 45k| 1 |9923 | 27 | 0.000000e+00 | -- | Inf | 32.62%
2850.41/2860.57 c 2861s| 18700 | 4074 | 1171k| 61.1 | 1107M | 330 | 64k| 11k| 0 | 45k| 0 | 10k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2853.30/2863.41 c 2863s| 18800 | 4119 | 1173k| 60.9 | 1108M | 330 | 64k| 11k|8795 | 45k| 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2856.18/2866.31 c 2866s| 18900 | 4163 | 1176k| 60.7 | 1109M | 330 | 64k| 11k|8794 | 45k| 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2858.87/2869.01 c 2869s| 19000 | 4180 | 1178k| 60.5 | 1109M | 330 | 64k| 11k|8794 | 45k| 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2861.45/2871.66 c 2872s| 19100 | 4210 | 1181k| 60.4 | 1109M | 330 | 64k| 11k|8795 | 45k| 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2863.64/2873.84 c 2874s| 19200 | 4225 | 1183k| 60.2 | 1110M | 330 | 64k| 11k|8794 | 45k| 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2866.03/2876.27 c 2876s| 19300 | 4249 | 1186k| 60.0 | 1110M | 330 | 64k| 11k|8795 | 45k| 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2868.71/2878.96 c 2879s| 19400 | 4280 | 1189k| 59.8 | 1111M | 330 | 64k| 11k|8795 | 45k| 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2870.91/2881.15 c 2881s| 19500 | 4288 | 1191k| 59.6 | 1111M | 330 | 64k| 11k|8794 | 45k| 1 | 10k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2872.69/2882.96 c 2883s| 19600 | 4287 | 1192k| 59.4 | 1111M | 330 | 64k| 11k|8794 | 45k| 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2874.68/2884.98 c 2885s| 19700 | 4295 | 1194k| 59.2 | 1111M | 330 | 64k| 11k|8794 | 45k| 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2876.78/2887.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2876.78/2887.03 c 2887s| 19800 | 4302 | 1195k| 59.0 | 1111M | 330 | 64k| 11k|8795 | 45k| 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2879.36/2889.67 c 2890s| 19900 | 4342 | 1198k| 58.8 | 1113M | 330 | 64k| 11k| 0 | 45k| 0 | 11k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2881.75/2892.00 c 2892s| 20000 | 4349 | 1201k| 58.6 | 1113M | 330 | 64k| 11k| 0 | 45k| 0 | 11k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2884.03/2894.34 c 2894s| 20100 | 4365 | 1203k| 58.5 | 1113M | 330 | 64k| 11k| 0 | 45k| 0 | 11k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2886.52/2896.87 c 2897s| 20200 | 4392 | 1206k| 58.3 | 1113M | 330 | 64k| 11k| 0 | 45k| 0 | 11k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2888.71/2899.09 c 2899s| 20300 | 4402 | 1208k| 58.1 | 1114M | 330 | 64k| 11k|8799 | 45k| 1 | 11k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2890.90/2901.27 c 2901s| 20400 | 4418 | 1210k| 58.0 | 1114M | 330 | 64k| 11k|8794 | 45k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2892.90/2903.29 c 2903s| 20500 | 4405 | 1212k| 57.8 | 1114M | 330 | 64k| 11k|8794 | 45k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2894.98/2905.34 c 2905s| 20600 | 4408 | 1214k| 57.6 | 1114M | 330 | 64k| 11k|8794 | 45k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2896.78/2907.14 c 2907s| 20700 | 4393 | 1216k| 57.4 | 1114M | 330 | 64k| 11k|8790 | 45k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2900.85/2911.22 c 2911s| 20800 | 4469 | 1220k| 57.3 | 1115M | 330 | 64k| 11k|8793 | 45k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2904.43/2914.80 c 2915s| 20900 | 3417 | 1225k| 57.3 | 1101M | 330 | 64k| 11k|8773 | 45k| 0 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2908.21/2918.62 c 2919s| 21000 | 3489 | 1230k| 57.2 | 1101M | 330 | 64k| 11k|8767 | 45k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2911.99/2922.41 c 2922s| 21100 | 3494 | 1233k| 57.1 | 1101M | 330 | 64k| 11k|8750 | 45k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2915.87/2926.32 c 2926s| 21200 | 3497 | 1235k| 56.9 | 1102M | 330 | 64k| 11k|8743 | 45k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2919.85/2930.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2919.85/2930.38 c 2930s| 21300 | 3430 | 1239k| 56.9 | 1102M | 330 | 64k| 11k| 0 | 46k| 0 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2924.03/2934.55 c 2935s| 21400 | 3445 | 1243k| 56.8 | 1102M | 330 | 64k| 11k|8758 | 46k| 3 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2927.81/2938.35 c 2938s| 21500 | 3498 | 1247k| 56.7 | 1103M | 330 | 64k| 11k|8772 | 46k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2931.59/2942.10 c 2942s| 21600 | 3520 | 1249k| 56.5 | 1103M | 330 | 64k| 11k|8762 | 46k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2935.27/2945.89 c 2946s| 21700 | 3511 | 1253k| 56.5 | 1103M | 330 | 64k| 11k|8723 | 47k| 1 | 12k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2939.15/2949.78 c 2950s| 21800 | 3549 | 1257k| 56.4 | 1103M | 330 | 64k| 11k|8722 | 47k| 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2942.44/2953.06 c 2953s| 21900 | 3586 | 1260k| 56.3 | 1104M | 330 | 64k| 11k|8756 | 47k| 2 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2945.42/2956.08 c 2956s| 22000 | 3612 | 1263k| 56.1 | 1104M | 330 | 64k| 11k| 0 | 47k| 0 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2949.60/2960.29 c 2960s| 22100 | 3629 | 1267k| 56.1 | 1104M | 330 | 64k| 11k|8772 | 48k| 3 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2952.98/2963.66 c 2964s| 22200 | 3629 | 1271k| 56.0 | 1104M | 330 | 64k| 11k|8747 | 48k| 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2956.56/2967.20 c 2967s| 22300 | 3656 | 1273k| 55.8 | 1104M | 330 | 64k| 11k| 0 | 48k| 0 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2960.14/2970.85 c 2971s| 22400 | 3671 | 1276k| 55.7 | 1104M | 330 | 64k| 11k| 0 | 48k| 0 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2963.22/2974.00 c 2974s| 22500 | 3468 | 1278k| 55.6 | 1104M | 330 | 64k| 11k|8776 | 48k| 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2966.21/2976.96 c 2977s| 22600 | 3566 | 1279k| 55.4 | 1105M | 330 | 64k| 11k|8803 | 48k| 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2969.49/2980.20 c 2980s| 22700 | 3660 | 1282k| 55.3 | 1105M | 330 | 64k| 11k|8803 | 48k| 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2972.47/2983.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2972.47/2983.23 c 2983s| 22800 | 3756 | 1288k| 55.3 | 1106M | 330 | 64k| 11k|8803 | 48k| 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2975.36/2986.19 c 2986s| 22900 | 3570 | 1290k| 55.1 | 1107M | 332 | 64k| 11k|8802 | 48k| 0 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2979.64/2990.41 c 2990s| 23000 | 3541 | 1294k| 55.0 | 1107M | 332 | 64k| 11k|8786 | 48k| 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2982.52/2993.35 c 2993s| 23100 | 3464 | 1295k| 54.9 | 1107M | 332 | 64k| 11k|8757 | 48k| 1 | 13k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2986.00/2996.85 c 2997s| 23200 | 3447 | 1298k| 54.8 | 1107M | 332 | 64k| 11k|8756 | 48k| 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2989.19/3000.04 c 3000s| 23300 | 3439 | 1301k| 54.7 | 1107M | 332 | 64k| 11k| 0 | 48k| 0 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2992.67/3003.55 c 3004s| 23400 | 3410 | 1305k| 54.6 | 1107M | 332 | 64k| 11k|8722 | 49k| 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
2996.55/3007.40 c 3007s| 23500 | 3403 | 1309k| 54.5 | 1107M | 332 | 64k| 11k|8722 | 49k| 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3000.63/3011.56 c 3012s| 23600 | 3415 | 1314k| 54.5 | 1107M | 332 | 64k| 11k| 0 | 49k| 0 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3005.01/3015.94 c 3016s| 23700 | 3434 | 1319k| 54.5 | 1107M | 332 | 64k| 11k| 0 | 50k| 0 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3009.09/3020.07 c 3020s| 23800 | 3438 | 1324k| 54.4 | 1107M | 332 | 64k| 11k|8749 | 50k| 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3012.97/3023.95 c 3024s| 23900 | 3301 | 1327k| 54.3 | 1107M | 332 | 64k| 11k|8745 | 50k| 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3015.85/3026.88 c 3027s| 24000 | 3371 | 1328k| 54.2 | 1107M | 332 | 64k| 11k|8772 | 50k| 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3019.33/3030.32 c 3030s| 24100 | 3446 | 1333k| 54.2 | 1108M | 332 | 64k| 11k|8772 | 50k| 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3022.41/3033.46 c 3033s| 24200 | 3488 | 1335k| 54.0 | 1108M | 332 | 64k| 11k|8772 | 50k| 1 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3026.59/3037.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3026.59/3037.68 c 3038s| 24300 | 3543 | 1340k| 54.0 | 1108M | 332 | 64k| 11k|8782 | 50k| 2 | 14k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3029.78/3040.89 c 3041s| 24400 | 3387 | 1341k| 53.8 | 1108M | 332 | 64k| 11k|8771 | 50k| 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3033.06/3044.18 c 3044s| 24500 | 3382 | 1343k| 53.7 | 1108M | 332 | 64k| 11k|8778 | 50k| 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3037.63/3048.78 c 3049s| 24600 | 3463 | 1350k| 53.7 | 1108M | 332 | 64k| 11k|8786 | 50k| 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3040.32/3051.47 c 3051s| 24700 | 3549 | 1350k| 53.5 | 1108M | 332 | 64k| 11k|8782 | 50k| 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3043.70/3054.85 c 3055s| 24800 | 3568 | 1352k| 53.4 | 1108M | 332 | 64k| 11k|8782 | 50k| 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3046.48/3057.62 c 3058s| 24900 | 3647 | 1353k| 53.2 | 1108M | 332 | 64k| 11k|8782 | 50k| 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3050.66/3061.81 c 3062s| 25000 | 3672 | 1359k| 53.2 | 1108M | 332 | 64k| 12k| 0 | 50k| 0 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3054.24/3065.47 c 3065s| 25100 | 3523 | 1361k| 53.1 | 1108M | 332 | 64k| 12k| 0 | 50k| 0 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3057.43/3068.69 c 3069s| 25200 | 3434 | 1364k| 53.0 | 1108M | 332 | 64k| 12k|8778 | 51k| 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3060.61/3071.87 c 3072s| 25300 | 3383 | 1367k| 52.9 | 1108M | 332 | 64k| 12k|8773 | 51k| 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3063.99/3075.22 c 3075s| 25400 | 3325 | 1370k| 52.8 | 1108M | 332 | 64k| 12k|8769 | 51k| 1 | 15k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3067.17/3078.49 c 3078s| 25500 | 3326 | 1372k| 52.7 | 1108M | 332 | 64k| 12k|8763 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3070.36/3081.60 c 3082s| 25600 | 3325 | 1374k| 52.6 | 1108M | 332 | 64k| 12k|8761 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3073.64/3084.93 c 3085s| 25700 | 3327 | 1376k| 52.4 | 1108M | 332 | 64k| 12k|8762 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3076.92/3088.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3076.92/3088.24 c 3088s| 25800 | 3326 | 1378k| 52.3 | 1108M | 332 | 64k| 12k|8762 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3080.30/3091.67 c 3092s| 25900 | 3375 | 1380k| 52.2 | 1108M | 332 | 64k| 12k|8752 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3083.39/3094.71 c 3095s| 26000 | 3416 | 1381k| 52.0 | 1108M | 332 | 64k| 12k|8756 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3086.67/3098.04 c 3098s| 26100 | 3410 | 1384k| 52.0 | 1108M | 332 | 64k| 12k|8753 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3090.15/3101.54 c 3102s| 26200 | 3441 | 1387k| 51.9 | 1108M | 332 | 64k| 12k|8741 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3093.53/3104.97 c 3105s| 26300 | 3439 | 1389k| 51.8 | 1108M | 332 | 64k| 12k|8748 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3096.51/3107.99 c 3108s| 26400 | 3495 | 1391k| 51.6 | 1108M | 332 | 64k| 12k|8747 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3099.60/3111.06 c 3111s| 26500 | 3450 | 1393k| 51.5 | 1108M | 332 | 64k| 12k| 0 | 51k| 0 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3102.88/3114.36 c 3114s| 26600 | 3455 | 1395k| 51.4 | 1108M | 332 | 64k| 12k| 0 | 51k| 0 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3106.56/3118.08 c 3118s| 26700 | 3510 | 1398k| 51.3 | 1108M | 332 | 64k| 12k|8743 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3109.74/3121.29 c 3121s| 26800 | 3558 | 1400k| 51.2 | 1108M | 332 | 64k| 12k|8741 | 51k| 1 | 16k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3112.92/3124.41 c 3124s| 26900 | 3604 | 1402k| 51.1 | 1108M | 332 | 64k| 12k|8736 | 51k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3116.31/3127.85 c 3128s| 27000 | 3670 | 1404k| 50.9 | 1108M | 332 | 64k| 12k|8745 | 51k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3119.59/3131.15 c 3131s| 27100 | 3693 | 1405k| 50.8 | 1108M | 332 | 64k| 12k| 0 | 51k| 0 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3122.77/3134.37 c 3134s| 27200 | 3690 | 1407k| 50.7 | 1108M | 332 | 64k| 12k| 0 | 52k| 0 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3126.06/3137.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3126.06/3137.61 c 3138s| 27300 | 3700 | 1409k| 50.6 | 1108M | 332 | 64k| 12k|8736 | 52k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3129.34/3140.91 c 3141s| 27400 | 3719 | 1411k| 50.5 | 1108M | 332 | 64k| 12k|8736 | 52k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3132.72/3144.37 c 3144s| 27500 | 3751 | 1414k| 50.4 | 1108M | 332 | 64k| 12k|8735 | 52k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3135.80/3147.48 c 3147s| 27600 | 3726 | 1416k| 50.3 | 1108M | 332 | 64k| 12k|8737 | 52k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3139.08/3150.71 c 3151s| 27700 | 3815 | 1418k| 50.2 | 1108M | 332 | 64k| 12k|8746 | 52k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3142.37/3154.03 c 3154s| 27800 | 3806 | 1420k| 50.1 | 1109M | 332 | 64k| 12k|8762 | 52k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3145.95/3157.63 c 3158s| 27900 | 3841 | 1423k| 50.0 | 1109M | 332 | 64k| 12k|8745 | 52k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3149.34/3161.10 c 3161s| 28000 | 3843 | 1425k| 49.9 | 1109M | 332 | 64k| 12k|8737 | 52k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3152.71/3164.47 c 3164s| 28100 | 3903 | 1428k| 49.8 | 1110M | 332 | 64k| 12k|8740 | 52k| 1 | 17k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3155.99/3167.76 c 3168s| 28200 | 3955 | 1430k| 49.7 | 1111M | 332 | 64k| 12k| 0 | 52k| 0 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3159.38/3171.13 c 3171s| 28300 | 3919 | 1433k| 49.6 | 1111M | 332 | 64k| 12k| 0 | 52k| 0 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3162.66/3174.46 c 3174s| 28400 | 3967 | 1435k| 49.5 | 1111M | 332 | 64k| 12k| 0 | 52k| 0 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3166.04/3177.82 c 3178s| 28500 | 4004 | 1437k| 49.5 | 1111M | 332 | 64k| 12k|8735 | 52k| 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3169.42/3181.21 c 3181s| 28600 | 3995 | 1439k| 49.4 | 1111M | 332 | 64k| 12k|8739 | 52k| 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3172.60/3184.44 c 3184s| 28700 | 4017 | 1441k| 49.3 | 1112M | 332 | 64k| 12k|8745 | 52k| 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3175.89/3187.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3175.89/3187.76 c 3188s| 28800 | 4067 | 1444k| 49.2 | 1112M | 332 | 64k| 12k|8736 | 52k| 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3179.17/3191.00 c 3191s| 28900 | 4070 | 1446k| 49.1 | 1114M | 332 | 64k| 12k|8740 | 52k| 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3182.35/3194.28 c 3194s| 29000 | 4095 | 1448k| 49.0 | 1114M | 332 | 64k| 12k|8737 | 52k| 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3185.43/3197.39 c 3197s| 29100 | 4139 | 1450k| 48.9 | 1114M | 332 | 64k| 12k|8741 | 53k| 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3188.91/3200.82 c 3201s| 29200 | 4096 | 1453k| 48.8 | 1115M | 332 | 64k| 12k|8746 | 53k| 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3192.10/3204.09 c 3204s| 29300 | 4097 | 1456k| 48.7 | 1115M | 332 | 64k| 13k|8739 | 53k| 1 | 18k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3195.68/3207.60 c 3208s| 29400 | 4092 | 1458k| 48.6 | 1115M | 332 | 64k| 13k|8743 | 53k| 2 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3198.96/3210.90 c 3211s| 29500 | 4075 | 1460k| 48.5 | 1115M | 332 | 64k| 13k|8719 | 53k| 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3201.74/3213.75 c 3214s| 29600 | 4078 | 1462k| 48.5 | 1115M | 332 | 64k| 12k| 0 | 53k| 0 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3205.13/3217.17 c 3217s| 29700 | 4069 | 1465k| 48.4 | 1115M | 332 | 64k| 12k|8735 | 53k| 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3208.01/3220.01 c 3220s| 29800 | 4063 | 1467k| 48.3 | 1115M | 332 | 64k| 12k|8739 | 53k| 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3211.00/3223.01 c 3223s| 29900 | 4105 | 1469k| 48.2 | 1115M | 332 | 64k| 12k|8734 | 53k| 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3214.18/3226.23 c 3226s| 30000 | 4205 | 1479k| 48.4 | 1116M | 332 | 64k| 12k|8734 | 53k| 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3216.96/3229.09 c 3229s| 30100 | 4087 | 1482k| 48.3 | 1116M | 332 | 64k| 12k|8734 | 53k| 1 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3219.74/3231.87 c 3232s| 30200 | 4077 | 1483k| 48.2 | 1116M | 332 | 64k| 12k| 0 | 53k| 0 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3223.33/3235.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3223.33/3235.44 c 3235s| 30300 | 4115 | 1486k| 48.1 | 1116M | 332 | 64k| 12k| 0 | 53k| 0 | 19k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3226.51/3238.66 c 3239s| 30400 | 4134 | 1489k| 48.0 | 1116M | 332 | 64k| 12k|8735 | 53k| 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3229.69/3241.89 c 3242s| 30500 | 4108 | 1490k| 48.0 | 1116M | 332 | 64k| 12k|8739 | 53k| 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3232.98/3245.16 c 3245s| 30600 | 4160 | 1493k| 47.9 | 1116M | 332 | 64k| 12k|8741 | 53k| 2 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3235.96/3248.20 c 3248s| 30700 | 4193 | 1495k| 47.8 | 1116M | 332 | 64k| 12k|8738 | 53k| 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3239.54/3251.72 c 3252s| 30800 | 4238 | 1498k| 47.7 | 1116M | 332 | 64k| 12k|8738 | 53k| 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3242.52/3254.79 c 3255s| 30900 | 4252 | 1499k| 47.6 | 1116M | 332 | 64k| 12k| 0 | 53k| 0 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3245.70/3257.94 c 3258s| 31000 | 4254 | 1502k| 47.5 | 1116M | 332 | 64k| 12k|8742 | 53k| 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3248.79/3261.06 c 3261s| 31100 | 4256 | 1504k| 47.5 | 1116M | 332 | 64k| 12k| 0 | 53k| 0 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3251.67/3263.90 c 3264s| 31200 | 4272 | 1506k| 47.4 | 1117M | 332 | 64k| 12k|8739 | 53k| 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3254.86/3267.12 c 3267s| 31300 | 4311 | 1508k| 47.3 | 1117M | 332 | 64k| 12k| 0 | 53k| 0 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3258.04/3270.33 c 3270s| 31400 | 4332 | 1510k| 47.2 | 1118M | 332 | 64k| 12k|8744 | 53k| 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3261.22/3273.52 c 3274s| 31500 | 4331 | 1513k| 47.1 | 1118M | 332 | 64k| 12k|8718 | 53k| 1 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3264.60/3276.90 c 3277s| 31600 | 4377 | 1515k| 47.1 | 1118M | 332 | 64k| 12k| 0 | 53k| 0 | 20k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3267.69/3280.09 c 3280s| 31700 | 4378 | 1517k| 47.0 | 1118M | 332 | 64k| 12k|8739 | 53k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3270.67/3283.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3270.67/3283.08 c 3283s| 31800 | 4391 | 1519k| 46.9 | 1118M | 332 | 64k| 12k|8739 | 53k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3273.76/3286.13 c 3286s| 31900 | 4423 | 1522k| 46.8 | 1119M | 332 | 64k| 12k| 0 | 53k| 0 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3276.64/3289.00 c 3289s| 32000 | 4449 | 1524k| 46.8 | 1119M | 332 | 64k| 12k|8741 | 53k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3279.72/3292.13 c 3292s| 32100 | 4475 | 1527k| 46.7 | 1120M | 332 | 64k| 12k| 0 | 53k| 0 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3283.00/3295.40 c 3295s| 32200 | 4448 | 1529k| 46.6 | 1120M | 332 | 64k| 12k|8742 | 53k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3286.09/3298.58 c 3299s| 32300 | 4464 | 1532k| 46.6 | 1120M | 332 | 64k| 12k|8743 | 54k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3289.28/3301.75 c 3302s| 32400 | 4557 | 1535k| 46.5 | 1121M | 332 | 64k| 12k|8741 | 54k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3292.46/3304.92 c 3305s| 32500 | 4496 | 1538k| 46.5 | 1121M | 332 | 64k| 12k|8736 | 54k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3295.65/3308.16 c 3308s| 32600 | 4523 | 1541k| 46.4 | 1121M | 332 | 64k| 12k|8738 | 54k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3298.72/3311.24 c 3311s| 32700 | 4523 | 1543k| 46.3 | 1121M | 332 | 64k| 12k| 0 | 54k| 0 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3301.71/3314.29 c 3314s| 32800 | 4537 | 1545k| 46.2 | 1121M | 332 | 64k| 12k|8739 | 54k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3305.29/3317.82 c 3318s| 32900 | 4555 | 1547k| 46.2 | 1121M | 332 | 64k| 12k|8719 | 54k| 1 | 21k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3308.87/3321.49 c 3321s| 33000 | 4577 | 1551k| 46.2 | 1121M | 332 | 64k| 12k|8741 | 54k| 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3312.35/3324.96 c 3325s| 33100 | 4581 | 1555k| 46.1 | 1122M | 332 | 64k| 12k| 0 | 54k| 0 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3315.54/3328.19 c 3328s| 33200 | 4419 | 1557k| 46.1 | 1122M | 332 | 64k| 12k|8736 | 54k| 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3318.82/3331.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3318.82/3331.44 c 3331s| 33300 | 4428 | 1559k| 46.0 | 1122M | 332 | 64k| 12k| 0 | 54k| 0 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3322.40/3335.03 c 3335s| 33400 | 4436 | 1562k| 45.9 | 1122M | 332 | 64k| 12k|8736 | 55k| 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3326.67/3339.37 c 3339s| 33500 | 4472 | 1566k| 45.9 | 1122M | 332 | 64k| 12k|8737 | 55k| 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3330.05/3342.71 c 3343s| 33600 | 4233 | 1568k| 45.8 | 1122M | 332 | 64k| 12k|8738 | 55k| 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3333.24/3345.96 c 3346s| 33700 | 4204 | 1571k| 45.8 | 1122M | 332 | 64k| 12k| 0 | 55k| 0 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3337.02/3349.75 c 3350s| 33800 | 4230 | 1575k| 45.8 | 1122M | 332 | 64k| 12k|8734 | 55k| 1 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3341.10/3353.82 c 3354s| 33900 | 4227 | 1579k| 45.7 | 1122M | 332 | 64k| 12k| 0 | 56k| 0 | 22k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3344.88/3357.67 c 3358s| 34000 | 3660 | 1582k| 45.7 | 1121M | 332 | 64k| 12k|8737 | 56k| 0 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3348.06/3360.88 c 3361s| 34100 | 3662 | 1584k| 45.6 | 1121M | 332 | 64k| 12k| 0 | 56k| 0 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3351.94/3364.73 c 3365s| 34200 | 3670 | 1588k| 45.6 | 1121M | 332 | 64k| 12k| 0 | 56k| 0 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3355.92/3368.78 c 3369s| 34300 | 3698 | 1591k| 45.6 | 1121M | 332 | 64k| 12k|8735 | 56k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3359.70/3372.50 c 3372s| 34400 | 3735 | 1594k| 45.5 | 1121M | 332 | 64k| 12k|8714 | 56k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3363.77/3376.64 c 3377s| 34500 | 3725 | 1598k| 45.5 | 1121M | 332 | 64k| 12k|8714 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3367.45/3380.38 c 3380s| 34600 | 3548 | 1601k| 45.5 | 1121M | 332 | 64k| 12k|8714 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3370.93/3383.81 c 3384s| 34700 | 3361 | 1604k| 45.4 | 1121M | 332 | 64k| 12k|8735 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3375.01/3387.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3375.01/3387.92 c 3388s| 34800 | 3444 | 1609k| 45.4 | 1121M | 332 | 64k| 12k|8737 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3378.29/3391.28 c 3391s| 34900 | 3508 | 1614k| 45.4 | 1121M | 332 | 64k| 12k|8735 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3381.48/3394.43 c 3394s| 35000 | 3600 | 1618k| 45.4 | 1121M | 332 | 64k| 12k|8752 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3384.46/3397.44 c 3397s| 35100 | 3662 | 1619k| 45.3 | 1121M | 332 | 64k| 12k|8780 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3388.14/3401.11 c 3401s| 35200 | 3682 | 1620k| 45.2 | 1121M | 332 | 64k| 12k|8776 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3391.72/3404.77 c 3405s| 35300 | 3558 | 1622k| 45.2 | 1121M | 332 | 64k| 12k|8758 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3395.01/3408.06 c 3408s| 35400 | 3609 | 1626k| 45.2 | 1121M | 332 | 64k| 12k|8763 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3398.58/3411.64 c 3412s| 35500 | 3545 | 1635k| 45.3 | 1123M | 332 | 64k| 12k| 0 | 57k| 0 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3401.66/3414.74 c 3415s| 35600 | 3560 | 1637k| 45.2 | 1123M | 332 | 64k| 12k|8755 | 57k| 0 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3404.55/3417.63 c 3418s| 35700 | 3597 | 1638k| 45.1 | 1123M | 332 | 64k| 12k|8760 | 57k| 1 | 23k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3407.73/3420.84 c 3421s| 35800 | 3551 | 1639k| 45.0 | 1123M | 332 | 64k| 12k| 0 | 57k| 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3410.52/3423.60 c 3424s| 35900 | 3553 | 1640k| 44.9 | 1123M | 332 | 64k| 12k|8751 | 57k| 1 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3413.31/3426.42 c 3426s| 36000 | 3609 | 1641k| 44.8 | 1123M | 332 | 64k| 12k|8757 | 57k| 1 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3416.59/3429.76 c 3430s| 36100 | 3565 | 1643k| 44.8 | 1123M | 332 | 64k| 12k|8744 | 57k| 1 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3419.88/3433.07 c 3433s| 36200 | 3585 | 1646k| 44.7 | 1123M | 332 | 64k| 13k|8747 | 57k| 1 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3423.35/3436.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3423.35/3436.56 c 3437s| 36300 | 3573 | 1648k| 44.6 | 1123M | 332 | 64k| 13k| 0 | 58k| 0 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3426.43/3439.63 c 3440s| 36400 | 3568 | 1650k| 44.6 | 1123M | 332 | 64k| 13k|8748 | 58k| 1 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3429.82/3443.02 c 3443s| 36500 | 3572 | 1652k| 44.5 | 1123M | 332 | 64k| 13k|8748 | 58k| 2 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3433.10/3446.38 c 3446s| 36600 | 3599 | 1654k| 44.4 | 1123M | 332 | 64k| 13k|8741 | 58k| 1 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3436.08/3449.37 c 3449s| 36700 | 3609 | 1656k| 44.4 | 1123M | 332 | 64k| 13k|8741 | 58k| 1 | 24k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3439.46/3452.72 c 3453s| 36800 | 3635 | 1659k| 44.3 | 1123M | 332 | 64k| 13k|8739 | 58k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3442.54/3455.86 c 3456s| 36900 | 3653 | 1660k| 44.2 | 1123M | 332 | 64k| 13k|8747 | 58k| 2 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3445.53/3458.89 c 3459s| 37000 | 3669 | 1662k| 44.2 | 1123M | 332 | 64k| 13k|8744 | 58k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3448.51/3461.87 c 3462s| 37100 | 3643 | 1664k| 44.1 | 1123M | 332 | 64k| 13k|8742 | 58k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3451.80/3465.10 c 3465s| 37200 | 3692 | 1666k| 44.0 | 1123M | 332 | 64k| 13k|8743 | 58k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3455.08/3468.41 c 3468s| 37300 | 3736 | 1668k| 44.0 | 1123M | 332 | 64k| 13k|8726 | 58k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3458.26/3471.63 c 3472s| 37400 | 3755 | 1671k| 43.9 | 1123M | 332 | 64k| 13k|8742 | 58k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3461.44/3474.82 c 3475s| 37500 | 3822 | 1672k| 43.8 | 1123M | 332 | 64k| 13k|8746 | 58k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3465.22/3478.68 c 3479s| 37600 | 3802 | 1675k| 43.8 | 1123M | 332 | 64k| 13k|8749 | 58k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3468.61/3482.02 c 3482s| 37700 | 3809 | 1677k| 43.7 | 1123M | 332 | 64k| 13k|8743 | 59k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3471.88/3485.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3471.88/3485.38 c 3485s| 37800 | 3844 | 1680k| 43.7 | 1123M | 332 | 64k| 13k|8751 | 59k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3475.57/3489.09 c 3489s| 37900 | 3834 | 1682k| 43.6 | 1123M | 332 | 64k| 13k|8740 | 59k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3479.05/3492.53 c 3493s| 38000 | 3875 | 1685k| 43.6 | 1123M | 332 | 64k| 13k| 0 | 59k| 0 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3482.63/3496.13 c 3496s| 38100 | 3886 | 1687k| 43.6 | 1123M | 332 | 64k| 13k|8738 | 59k| 1 | 25k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3486.41/3499.97 c 3500s| 38200 | 3901 | 1691k| 43.5 | 1123M | 332 | 64k| 13k|8743 | 59k| 2 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3490.09/3503.68 c 3504s| 38300 | 3921 | 1694k| 43.5 | 1123M | 332 | 64k| 13k|8739 | 59k| 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3493.67/3507.21 c 3507s| 38400 | 3940 | 1697k| 43.5 | 1123M | 332 | 64k| 13k| 0 | 60k| 0 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3497.25/3510.81 c 3511s| 38500 | 3950 | 1700k| 43.4 | 1123M | 332 | 64k| 13k|8742 | 60k| 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3500.83/3514.44 c 3514s| 38600 | 3971 | 1703k| 43.4 | 1123M | 332 | 64k| 13k|8726 | 60k| 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3504.51/3518.11 c 3518s| 38700 | 3985 | 1706k| 43.4 | 1123M | 332 | 64k| 13k|8743 | 60k| 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3507.79/3521.43 c 3521s| 38800 | 4017 | 1708k| 43.3 | 1123M | 332 | 64k| 13k|8748 | 60k| 2 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3511.27/3524.91 c 3525s| 38900 | 4049 | 1712k| 43.3 | 1123M | 332 | 64k| 13k|8726 | 60k| 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3514.56/3528.28 c 3528s| 39000 | 4067 | 1715k| 43.3 | 1123M | 332 | 64k| 13k|8744 | 61k| 2 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3517.94/3531.61 c 3532s| 39100 | 4084 | 1718k| 43.2 | 1123M | 332 | 64k| 13k| 0 | 61k| 0 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3521.24/3534.94 c 3535s| 39200 | 4094 | 1721k| 43.2 | 1123M | 332 | 64k| 13k|8739 | 61k| 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3524.03/3537.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3524.03/3537.71 c 3538s| 39300 | 4098 | 1723k| 43.1 | 1123M | 332 | 64k| 13k|8726 | 61k| 1 | 26k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3526.92/3540.65 c 3541s| 39400 | 4121 | 1726k| 43.1 | 1123M | 332 | 64k| 13k| 0 | 61k| 0 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3529.90/3543.69 c 3544s| 39500 | 4103 | 1729k| 43.1 | 1123M | 332 | 64k| 13k|8744 | 61k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3532.99/3546.74 c 3547s| 39600 | 4107 | 1731k| 43.0 | 1123M | 332 | 64k| 13k|8740 | 61k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3536.58/3550.36 c 3550s| 39700 | 4129 | 1735k| 43.0 | 1123M | 332 | 64k| 13k|8741 | 62k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3539.76/3553.50 c 3553s| 39800 | 4153 | 1739k| 43.0 | 1123M | 332 | 64k| 13k|8726 | 62k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3543.35/3557.10 c 3557s| 39900 | 4158 | 1742k| 43.0 | 1123M | 332 | 64k| 13k|8745 | 62k| 2 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3545.74/3559.55 c 3560s| 40000 | 4245 | 1743k| 42.9 | 1123M | 332 | 64k| 13k|8750 | 62k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3548.73/3562.57 c 3563s| 40100 | 4164 | 1745k| 42.8 | 1123M | 332 | 64k| 13k|8741 | 62k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3552.11/3565.96 c 3566s| 40200 | 4191 | 1748k| 42.8 | 1123M | 332 | 64k| 13k|8746 | 62k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3554.71/3568.51 c 3569s| 40300 | 4189 | 1749k| 42.7 | 1123M | 332 | 64k| 13k|8726 | 62k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3557.50/3571.33 c 3571s| 40400 | 4238 | 1752k| 42.7 | 1123M | 332 | 64k| 13k|8747 | 63k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3560.39/3574.29 c 3574s| 40500 | 4291 | 1756k| 42.7 | 1123M | 332 | 64k| 13k|8748 | 63k| 1 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3563.67/3577.57 c 3578s| 40600 | 4170 | 1759k| 42.6 | 1123M | 332 | 64k| 13k| 0 | 63k| 0 | 27k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3566.76/3580.62 c 3581s| 40700 | 4197 | 1761k| 42.6 | 1123M | 332 | 64k| 13k|8715 | 63k| 1 | 28k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3569.16/3583.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3569.16/3583.02 c 3583s| 40800 | 4233 | 1762k| 42.5 | 1123M | 332 | 64k| 13k|8718 | 63k| 1 | 28k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3571.84/3585.72 c 3586s| 40900 | 4268 | 1763k| 42.4 | 1123M | 332 | 64k| 13k|8727 | 63k| 1 | 28k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3574.33/3588.26 c 3588s| 41000 | 4181 | 1764k| 42.3 | 1123M | 332 | 64k| 13k|8722 | 63k| 1 | 28k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3577.02/3590.90 c 3591s| 41100 | 4265 | 1765k| 42.3 | 1124M | 332 | 64k| 13k|8737 | 63k| 1 | 28k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3580.22/3594.19 c 3594s| 41200 | 4213 | 1766k| 42.2 | 1124M | 332 | 64k| 13k|8732 | 63k| 1 | 28k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3582.80/3596.75 c 3597s| 41300 | 4171 | 1767k| 42.1 | 1124M | 332 | 64k| 13k|8729 | 63k| 1 | 28k| 27 | 0.000000e+00 | -- | Inf | 32.62%
3583.11/3597.02 c
3583.11/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3583.11/3597.02 c Solving Time (sec) : 3597.01
3583.11/3597.02 c Solving Nodes : 41309
3583.11/3597.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3583.11/3597.02 c Dual Bound : +0.00000000000000e+00
3583.11/3597.02 c Gap : infinite
3583.11/3597.02 s UNKNOWN
3583.11/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3583.11/3597.02 c Total Time : 3597.01
3583.11/3597.02 c solving : 3597.01
3583.11/3597.02 c presolving : 1977.31 (included in solving)
3583.11/3597.02 c reading : 0.09 (included in solving)
3583.11/3597.02 c copying : 0.80 (8 #copies) (minimal 0.09, maximal 0.11, average 0.10)
3583.11/3597.02 c Original Problem :
3583.11/3597.02 c Problem name : HOME/instance-4542239-1753211765.opb
3583.11/3597.02 c Variables : 64680 (64680 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.11/3597.02 c Constraints : 8494 initial, 8494 maximal
3583.11/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.11/3597.02 c Presolved Problem :
3583.11/3597.02 c Problem name : t_HOME/instance-4542239-1753211765.opb
3583.11/3597.02 c Variables : 64680 (64680 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.11/3597.02 c Constraints : 8525 initial, 13974 maximal
3583.11/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.11/3597.02 c Nonzeros : 154694 constraint, 60550 clique table
3583.11/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.11/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c domcol : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c gateextraction : 0.04 0.00 3 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c implics : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c milp : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c trivial : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c dualfix : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c probing : 0.32 0.00 1 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c symmetry : 1976.33 0.00 1 0 0 0 0 0 0 31 0 0
3583.11/3597.02 c vbounds : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c knapsack : 0.02 0.00 12 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c setppc : 0.06 0.00 9 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c linear : 0.08 0.01 6 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c logicor : 0.09 0.00 10 0 0 0 0 0 0 0 0 72
3583.11/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c root node : - - - 31 - - 31 - - - - -
3583.11/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.11/3597.02 c benderslp : 0 0 0 0 33054 0 0 3693 0 0 0 0 0 0 0
3583.11/3597.02 c integral : 0 0 0 0 33054 0 0 3693 0 0 0 0 0 0 66108
3583.11/3597.02 c knapsack : 782+ 829 11 229507 0 0 0 3689 13766 1058 28178 0 0 0 0
3583.11/3597.02 c setppc : 3391+ 3414 11 228449 0 0 0 8 82626 238 104108 0 0 0 0
3583.11/3597.02 c linear : 0+ 9 0 196151 0 0 0 3 1159 5 1041 0 0 0 0
3583.11/3597.02 c logicor : 4352+ 9750 11 112877 0 0 0 7 172671 10004 124073 0 0 0 0
3583.11/3597.02 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.11/3597.02 c benderslp : 0.02 0.00 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00
3583.11/3597.02 c integral : 48.93 0.00 0.00 0.00 48.92 0.00 0.00 0.00 0.00 0.00
3583.11/3597.02 c knapsack : 1.15 0.00 0.03 0.67 0.00 0.00 0.00 0.43 0.02 0.00
3583.11/3597.02 c setppc : 0.51 0.00 0.01 0.42 0.00 0.00 0.00 0.03 0.04 0.00
3583.11/3597.02 c linear : 0.08 0.01 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
3583.11/3597.02 c logicor : 2.96 0.00 0.01 2.62 0.00 0.00 0.00 0.01 0.32 0.00
3583.11/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.11/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.11/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.11/3597.02 c components : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3583.11/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.11/3597.02 c dualfix : 2 0 0 0
3583.11/3597.02 c genvbounds : 0 0 0 0
3583.11/3597.02 c nlobbt : 0 0 0 0
3583.11/3597.02 c obbt : 0 0 0 0
3583.11/3597.02 c probing : 0 0 0 0
3583.11/3597.02 c pseudoobj : 0 0 0 0
3583.11/3597.02 c redcost : 0 0 0 0
3583.11/3597.02 c rootredcost : 0 0 0 0
3583.11/3597.02 c symmetry : 124315 0 0 249364
3583.11/3597.02 c vbounds : 75906 0 0 0
3583.11/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.11/3597.02 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3583.11/3597.02 c genvbounds : 0.08 0.00 0.00 0.08 0.00 0.00
3583.11/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.11/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.11/3597.02 c probing : 0.32 0.00 0.32 0.00 0.00 0.00
3583.11/3597.02 c pseudoobj : 0.09 0.00 0.00 0.09 0.00 0.00
3583.11/3597.02 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3583.11/3597.02 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3583.11/3597.02 c symmetry : 2079.45 0.00 1976.33 103.12 0.00 0.00
3583.11/3597.02 c vbounds : 66.94 0.00 0.02 66.92 0.00 0.00
3583.11/3597.02 c Symmetry :
3583.11/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.11/3597.02 c orbital reduction: 249364 reductions applied, 0 cutoffs
3583.11/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3583.11/3597.02 c shadow tree time : 0.14 s
3583.11/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.11/3597.02 c propagation : 0.67 11292 11192 - 45877 36.3 620 22.6 - - -
3583.11/3597.02 c infeasible LP : 6.88 1428 1439 - 4182 18.4 175 19.9 1426 23.1 0
3583.11/3597.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.11/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.11/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.11/3597.02 c applied globally : 0.15 - - 13 26791 27.5 - - 1425 - -
3583.11/3597.02 c applied locally : - - - 0 0 0.0 - - 1 - -
3583.11/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.11/3597.02 c cut pool : 16.07 - 7136 21 - - 22473 882054 - - - - - (maximal pool size: 2989)
3583.11/3597.02 c aggregation : 3.48 0.00 453 11 0 0 3 90 0 1 1 0 0
3583.11/3597.02 c > cmir : - - - - - - - 67 0 0 0 0 -
3583.11/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.11/3597.02 c > knapsackcover : - - - - - - - 23 0 1 1 0 -
3583.11/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c clique : 0.77 0.00 11 11 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c gomory : 34.24 0.00 453 10 0 0 23223 743772 3109 24001 23911 90 0
3583.11/3597.02 c > gomorymi : - - - - - - - 343956 1587 9733 9679 54 -
3583.11/3597.02 c > strongcg : - - - - - - - 399816 1522 14268 14232 36 -
3583.11/3597.02 c impliedbounds : 1.01 0.00 454 11 0 1 13 414 0 414 414 0 0
3583.11/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c multilinear : 0.00 0.00 134 11 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c rlt : 0.00 0.00 277 10 0 0 0 0 0 0 0 0 0
3583.11/3597.02 c zerohalf : 8.43 0.00 453 11 0 0 3226 137778 884 39061 38394 667 0
3583.11/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.11/3597.02 c hybrid : 3.74 0.00 5675 11 63459 22 822588 260 10 2968
3583.11/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3583.11/3597.02 c problem variables: 0.00 - 0 0
3583.11/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.11/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c relpscost : 48.87 0.00 33054 0 0 0 0 0 0 66108
3583.11/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.11/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.11/3597.02 c LP solutions : 0.00 - - 0 0
3583.11/3597.02 c relax solutions : 0.00 - - 0 0
3583.11/3597.02 c pseudo solutions : 0.00 - - 0 0
3583.11/3597.02 c strong branching : 0.00 - - 0 0
3583.11/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3583.11/3597.02 c adaptivediving : 7.04 0.00 14 0 0
3583.11/3597.02 c alns : 5.97 0.00 7 0 0
3583.11/3597.02 c bound : 0.00 0.00 0 0 0
3583.11/3597.02 c clique : 0.11 0.00 1 0 0
3583.11/3597.02 c coefdiving : 0.00 0.00 0 0 0
3583.11/3597.02 c completesol : 0.00 0.00 0 0 0
3583.11/3597.02 c conflictdiving : 60.31 0.00 92 0 0
3583.11/3597.02 c crossover : 0.01 0.00 0 0 0
3583.11/3597.02 c dins : 0.00 0.00 0 0 0
3583.11/3597.02 c distributiondivin: 14.63 0.00 44 0 0
3583.11/3597.02 c dps : 0.00 0.00 0 0 0
3583.11/3597.02 c dualval : 0.00 0.00 0 0 0
3583.11/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3583.11/3597.02 c feasjump : 0.05 0.00 1 0 0
3583.11/3597.02 c feaspump : 12.61 0.00 11 0 0
3583.11/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3583.11/3597.02 c fracdiving : 36.82 0.00 60 0 0
3583.11/3597.02 c gins : 0.01 0.00 0 0 0
3583.11/3597.02 c guideddiving : 0.00 0.00 0 0 0
3583.11/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3583.11/3597.02 c indicator : 0.02 0.00 0 0 0
3583.11/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3583.11/3597.02 c indoneopt : 0.03 0.00 0 0 0
3583.11/3597.02 c indrounding : 0.00 0.00 0 0 0
3583.11/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3583.11/3597.02 c intdiving : 0.00 0.00 0 0 0
3583.11/3597.02 c intshifting : 0.00 0.00 0 0 0
3583.11/3597.02 c linesearchdiving : 28.81 0.00 44 0 0
3583.11/3597.02 c localbranching : 0.00 0.00 0 0 0
3583.11/3597.02 c locks : 0.34 0.00 1 0 0
3583.11/3597.02 c lpface : 6.81 0.00 0 0 0
3583.11/3597.02 c mpec : 0.00 0.00 0 0 0
3583.11/3597.02 c multistart : 0.00 0.00 0 0 0
3583.11/3597.02 c mutation : 0.00 0.00 0 0 0
3583.11/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3583.11/3597.02 c objpscostdiving : 8.36 0.00 6 0 0
3583.11/3597.02 c octane : 0.00 0.00 0 0 0
3583.11/3597.02 c ofins : 0.01 0.00 0 0 0
3583.11/3597.02 c oneopt : 0.03 0.00 0 0 0
3583.11/3597.02 c padm : 0.00 0.00 0 0 0
3583.11/3597.02 c proximity : 0.00 0.00 0 0 0
3583.11/3597.02 c pscostdiving : 10.45 0.00 39 0 0
3583.11/3597.02 c randrounding : 12.85 0.00 3686 0 0
3583.11/3597.02 c rens : 0.28 0.00 1 0 0
3583.11/3597.02 c reoptsols : 0.00 0.00 0 0 0
3583.11/3597.02 c repair : 0.00 0.00 0 0 0
3583.11/3597.02 c rins : 0.01 0.00 0 0 0
3583.11/3597.02 c rootsoldiving : 3.64 0.00 7 0 0
3583.11/3597.02 c rounding : 1.10 0.00 2718 0 0
3583.11/3597.02 c scheduler : 0.00 0.00 0 0 0
3583.11/3597.02 c shiftandpropagate: 0.03 0.00 1 0 0
3583.11/3597.02 c shifting : 6.08 0.00 1296 0 0
3583.11/3597.02 c simplerounding : 0.03 0.00 0 0 0
3583.11/3597.02 c smallcard : 0.00 0.00 0 0 0
3583.11/3597.02 c subnlp : 0.03 0.00 0 0 0
3583.11/3597.02 c trivial : 0.04 0.00 2 0 0
3583.11/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3583.11/3597.02 c trustregion : 0.00 0.00 0 0 0
3583.11/3597.02 c trysol : 0.02 0.00 0 0 0
3583.11/3597.02 c twoopt : 0.00 0.00 0 0 0
3583.11/3597.02 c undercover : 0.00 0.00 0 0 0
3583.11/3597.02 c vbounds : 0.03 0.00 1 0 0
3583.11/3597.02 c veclendiving : 32.14 0.00 59 0 0
3583.11/3597.02 c zeroobj : 0.00 0.00 0 0 0
3583.11/3597.02 c zirounding : 0.61 0.00 1000 0 0
3583.11/3597.02 c other solutions : - - - 0 -
3583.11/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.11/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.11/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.11/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.11/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.11/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.11/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.11/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.11/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3583.11/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3583.11/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.11/3597.02 c primal LP : 21.60 2050 0 0.00 0.00 21.60 2050
3583.11/3597.02 c dual LP : 695.32 39796 1103387 27.80 1586.89 0.59 112
3583.11/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3583.11/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.11/3597.02 c resolve instable : 0.00 0 0 0.00 -
3583.11/3597.02 c diving/probing LP: 49.48 1606 664295 413.63 13426.04
3583.11/3597.02 c strong branching : 1.13 27 1841 68.19 1627.23 - - 0
3583.11/3597.02 c (at root node) : - 27 1841 68.19 -
3583.11/3597.02 c conflict analysis: 0.00 0 0 0.00 -
3583.11/3597.02 c B&B Tree :
3583.11/3597.02 c number of runs : 1
3583.11/3597.02 c nodes : 41309 (33054 internal, 8255 leaves)
3583.11/3597.02 c feasible leaves : 0
3583.11/3597.02 c infeas. leaves : 8254
3583.11/3597.02 c objective leaves : 0
3583.11/3597.02 c nodes (total) : 41309 (33054 internal, 8255 leaves)
3583.11/3597.02 c nodes left : 4179
3583.11/3597.02 c max depth : 332
3583.11/3597.02 c max depth (total): 332
3583.11/3597.02 c backtracks : 7334 (17.8%)
3583.11/3597.02 c early backtracks : 0 (0.0%)
3583.11/3597.02 c nodes exc. ref. : 0 (0.0%)
3583.11/3597.02 c delayed cutoffs : 20622
3583.11/3597.02 c repropagations : 30677 (67435 domain reductions, 4189 cutoffs)
3583.11/3597.02 c avg switch length: 4.66
3583.11/3597.02 c switching time : 39.42
3583.11/3597.02 c Root Node :
3583.11/3597.02 c First LP value : +0.00000000000000e+00
3583.11/3597.02 c First LP Iters : 19387 (20131.23 Iter/sec)
3583.11/3597.02 c First LP Time : 0.96
3583.11/3597.02 c Final Dual Bound : +0.00000000000000e+00
3583.11/3597.02 c Final Root Iters : 28486
3583.11/3597.02 c Root LP Estimate : +1.68039377118812e-02
3583.11/3597.02 c Solution :
3583.11/3597.02 c Solutions found : 0 (0 improvements)
3583.11/3597.02 c Primal Bound : -
3583.11/3597.02 c Dual Bound : +0.00000000000000e+00
3583.11/3597.02 c Gap : infinite
3583.11/3597.02 c Integrals : Total Avg%
3583.11/3597.02 c primal-dual : 359701.26 100.00
3583.11/3597.02 c primal-ref : - - (not evaluated)
3583.11/3597.02 c dual-ref : - - (not evaluated)
3583.40/3597.38 c Time complete: 3583.49.