0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4494642-1751151893.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.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.03 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.04 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.06 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.06 c dynamic symmetry handling statistics:
0.00/0.06 c orbitopal reduction: no components
0.00/0.06 c orbital reduction: 1 components of sizes 1
0.00/0.06 c lexicographic reduction: 1 permutations with support sizes 121
0.00/0.06 c handled 1 out of 1 symmetry components
0.00/0.06 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.06 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.06 c 0 implications, 143 cliques
0.00/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.06 c 1 constraints of type <knapsack>
0.00/0.06 c 22 constraints of type <setppc>
0.00/0.06 c 2420 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 10.0.0
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06 c limits/time = 3596.99702
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06 c limits/memory = 27900
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.06 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 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.06 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.06 c misc/usesymmetry = 3
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.06 c
0.00/0.06 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.06 c
0.00/0.06 c # Type of symmetries that shall be computed?
0.00/0.06 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.06 c propagating/symmetry/symtype = 1
0.00/0.06 c
0.00/0.06 c # Should components consisting of a single full reflection be handled?
0.00/0.06 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 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 |2481 |2443 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.21 c 0.2s| 1 | 0 | 1441 | - | 12M | 0 | 231 |2485 |2445 | 2 | 1 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.27 c 0.3s| 1 | 0 | 1457 | - | 14M | 0 | 231 |2490 |2449 | 6 | 2 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.30 c 0.3s| 1 | 0 | 1481 | - | 17M | 0 | 231 |2492 |2454 | 11 | 3 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.34 c 0.3s| 1 | 0 | 1496 | - | 20M | 0 | 231 |2494 |2457 | 14 | 4 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.39 c 0.4s| 1 | 0 | 1508 | - | 22M | 0 | 231 |2498 |2460 | 17 | 5 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.46 c 0.4s| 1 | 0 | 1521 | - | 23M | 0 | 231 |2498 |2462 | 19 | 6 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.54 c 0.5s| 1 | 0 | 1534 | - | 26M | 0 | 231 |2503 |2467 | 24 | 7 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.60 c 0.6s| 1 | 0 | 1544 | - | 29M | 0 | 231 |2507 |2470 | 27 | 8 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.67 c 0.7s| 1 | 0 | 1557 | - | 34M | 0 | 231 |2512 |2473 | 30 | 9 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.74 c 0.7s| 1 | 0 | 1576 | - | 37M | 0 | 231 |2519 |2476 | 33 | 10 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.75 c 0.7s| 1 | 0 | 1586 | - | 37M | 0 | 231 |2525 |2479 | 36 | 11 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.83 c 0.8s| 1 | 2 | 1776 | - | 37M | 0 | 231 |2546 |2479 | 36 | 11 | 102 | 19 | 0.000000e+00 | -- | Inf | unknown
1.48/1.55 c 1.5s| 100 | 22 | 3905 | 23.4 | 45M | 18 | 231 |2608 |2457 | 92 | 1 | 164 | 19 | 0.000000e+00 | -- | Inf | 10.96%
1.67/1.72 c 1.7s| 200 | 22 | 5283 | 18.6 | 45M | 20 | 231 |2681 |2457 | 100 | 1 | 240 | 19 | 0.000000e+00 | -- | Inf | 61.03%
1.87/1.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.87/1.90 c 1.9s| 300 | 20 | 6217 | 15.5 | 46M | 20 | 231 |2739 |2457 | 100 | 0 | 300 | 19 | 0.000000e+00 | -- | Inf | 61.13%
2.08/2.10 c 2.1s| 400 | 21 | 7251 | 14.2 | 46M | 20 | 231 |2805 |2459 | 110 | 1 | 368 | 19 | 0.000000e+00 | -- | Inf | 61.18%
2.27/2.31 c 2.3s| 500 | 21 | 8356 | 13.6 | 46M | 20 | 231 |2854 |2459 | 110 | 1 | 419 | 19 | 0.000000e+00 | -- | Inf | 61.20%
2.67/2.75 c 2.7s| 600 | 17 | 9997 | 14.0 | 50M | 20 | 231 |2923 | 0 | 158 | 0 | 492 | 19 | 0.000000e+00 | -- | Inf | 63.67%
2.98/3.03 c 3.0s| 700 | 21 | 11531 | 14.2 | 52M | 20 | 231 |2990 |2457 | 175 | 0 | 565 | 19 | 0.000000e+00 | -- | Inf | 64.76%
3.17/3.29 c 3.3s| 800 | 25 | 13271 | 14.6 | 53M | 20 | 231 |3055 |2455 | 196 | 1 | 640 | 19 | 0.000000e+00 | -- | Inf | 65.19%
3.57/3.61 c 3.6s| 900 | 21 | 14902 | 14.8 | 53M | 20 | 231 |3150 |2457 | 202 | 1 | 748 | 19 | 0.000000e+00 | -- | Inf | 65.62%
3.87/3.99 c 4.0s| 1000 | 23 | 16150 | 14.6 | 53M | 20 | 231 |3183 |2454 | 221 | 1 | 793 | 19 | 0.000000e+00 | -- | Inf | 66.13%
4.17/4.28 c 4.3s| 1100 | 32 | 18136 | 15.1 | 53M | 20 | 231 |3249 |2456 | 231 | 1 | 870 | 19 | 0.000000e+00 | -- | Inf | 66.22%
4.27/4.33 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.27/4.36 c (run 1, node 1117) performing user restart
4.27/4.36 c
4.27/4.36 c (restart) converted 14 cuts from the global cut pool into linear constraints
4.27/4.36 c
4.27/4.37 c presolving:
4.27/4.38 c (round 1, fast) 21 del vars, 639 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 527 chg coeffs, 0 upgd conss, 0 impls, 320 clqs
4.27/4.38 c (round 2, medium) 31 del vars, 639 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 536 chg coeffs, 0 upgd conss, 0 impls, 300 clqs
4.27/4.38 c (round 3, fast) 31 del vars, 676 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 595 chg coeffs, 0 upgd conss, 0 impls, 300 clqs
4.27/4.38 c (round 4, exhaustive) 31 del vars, 677 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 595 chg coeffs, 14 upgd conss, 0 impls, 300 clqs
4.27/4.38 c (round 5, exhaustive) 31 del vars, 677 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 600 chg coeffs, 14 upgd conss, 0 impls, 300 clqs
4.27/4.39 c (round 6, exhaustive) 31 del vars, 803 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 1208 chg coeffs, 14 upgd conss, 0 impls, 300 clqs
4.27/4.39 c (round 7, fast) 31 del vars, 806 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 1208 chg coeffs, 14 upgd conss, 0 impls, 301 clqs
4.27/4.39 c (round 8, exhaustive) 31 del vars, 870 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 1212 chg coeffs, 14 upgd conss, 0 impls, 301 clqs
4.27/4.39 c (round 9, exhaustive) 31 del vars, 872 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 1212 chg coeffs, 14 upgd conss, 0 impls, 301 clqs
4.37/4.40 c (round 10, exhaustive) 31 del vars, 872 del conss, 2 add conss, 0 chg bounds, 1 chg sides, 1233 chg coeffs, 14 upgd conss, 0 impls, 301 clqs
4.37/4.40 c presolving (11 rounds: 11 fast, 8 medium, 7 exhaustive):
4.37/4.40 c 31 deleted vars, 872 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 1233 changed coefficients
4.37/4.40 c 0 implications, 301 cliques
4.37/4.40 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 2409 constraints
4.37/4.40 c 14 constraints of type <knapsack>
4.37/4.40 c 20 constraints of type <setppc>
4.37/4.40 c 2375 constraints of type <logicor>
4.37/4.40 c transformed objective value is always integral (scale: 1)
4.37/4.40 c Presolving Time: 0.08
4.37/4.40 c
4.37/4.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.37/4.43 c 4.4s| 1 | 0 | 18464 | - | 52M | 0 | 200 |2452 |1845 | 0 | 0 | 931 | 19 | 0.000000e+00 | -- | Inf | unknown
4.47/4.53 c 4.5s| 1 | 0 | 18482 | - | 52M | 0 | 200 |2456 |1852 | 7 | 1 | 935 | 19 | 0.000000e+00 | -- | Inf | unknown
4.47/4.58 c 4.6s| 1 | 0 | 18493 | - | 53M | 0 | 200 |2459 |1856 | 11 | 2 | 938 | 19 | 0.000000e+00 | -- | Inf | unknown
4.57/4.63 c 4.6s| 1 | 0 | 18505 | - | 53M | 0 | 200 |2461 |1859 | 14 | 3 | 940 | 19 | 0.000000e+00 | -- | Inf | unknown
4.57/4.69 c 4.7s| 1 | 0 | 18524 | - | 54M | 0 | 200 |2463 |1863 | 18 | 4 | 942 | 19 | 0.000000e+00 | -- | Inf | unknown
4.66/4.78 c 4.8s| 1 | 0 | 18542 | - | 57M | 0 | 200 |2465 |1867 | 22 | 5 | 944 | 19 | 0.000000e+00 | -- | Inf | unknown
4.76/4.85 c 4.8s| 1 | 0 | 18556 | - | 59M | 0 | 200 |2469 |1869 | 24 | 6 | 948 | 19 | 0.000000e+00 | -- | Inf | unknown
4.86/4.92 c 4.9s| 1 | 0 | 18575 | - | 59M | 0 | 200 |2470 |1872 | 27 | 7 | 949 | 19 | 0.000000e+00 | -- | Inf | unknown
4.86/4.97 c 5.0s| 1 | 0 | 18591 | - | 60M | 0 | 200 |2470 |1875 | 30 | 8 | 949 | 19 | 0.000000e+00 | -- | Inf | unknown
4.97/5.02 c 5.0s| 1 | 0 | 18606 | - | 60M | 0 | 200 |2471 |1880 | 35 | 9 | 950 | 19 | 0.000000e+00 | -- | Inf | unknown
4.97/5.07 c 5.1s| 1 | 0 | 18620 | - | 60M | 0 | 200 |2472 |1884 | 39 | 10 | 951 | 19 | 0.000000e+00 | -- | Inf | unknown
4.97/5.08 c 5.1s| 1 | 0 | 18636 | - | 60M | 0 | 200 |2473 |1887 | 42 | 11 | 952 | 19 | 0.000000e+00 | -- | Inf | unknown
5.07/5.16 c 5.2s| 1 | 2 | 18782 | - | 60M | 0 | 200 |2481 |1887 | 42 | 11 | 960 | 38 | 0.000000e+00 | -- | Inf | unknown
5.56/5.67 c 5.7s| 100 | 15 | 20594 | 15.4 | 62M | 19 | 200 |2538 |1838 | 101 | 1 |1017 | 38 | 0.000000e+00 | -- | Inf | 2.92%
6.16/6.21 c 6.2s| 200 | 24 | 22197 | 15.5 | 65M | 19 | 200 |2613 |1840 | 139 | 1 |1095 | 38 | 0.000000e+00 | -- | Inf | 10.16%
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| 300 | 24 | 23797 | 15.5 | 66M | 20 | 200 |2684 |1838 | 150 | 1 |1174 | 38 | 0.000000e+00 | -- | Inf | 18.09%
6.96/7.02 c 7.0s| 400 | 24 | 25009 | 15.3 | 74M | 20 | 200 |2725 |1844 | 204 | 0 |1217 | 38 | 0.000000e+00 | -- | Inf | 21.78%
7.15/7.24 c 7.2s| 500 | 26 | 26318 | 15.1 | 78M | 20 | 200 |2769 |1843 | 237 | 0 |1277 | 38 | 0.000000e+00 | -- | Inf | 22.78%
7.56/7.67 c 7.7s| 600 | 24 | 27641 | 15.0 | 78M | 20 | 200 |2804 |1840 | 260 | 0 |1328 | 38 | 0.000000e+00 | -- | Inf | 24.37%
7.86/7.94 c 7.9s| 700 | 24 | 28956 | 14.9 | 78M | 20 | 200 |2835 |1844 | 302 | 2 |1374 | 38 | 0.000000e+00 | -- | Inf | 25.17%
7.96/8.09 c 8.1s| 800 | 24 | 30308 | 14.9 | 78M | 20 | 200 |2872 |1846 | 324 | 0 |1428 | 38 | 0.000000e+00 | -- | Inf | 25.73%
8.16/8.26 c 8.3s| 900 | 25 | 31637 | 14.8 | 78M | 20 | 200 |2922 |1842 | 350 | 0 |1490 | 38 | 0.000000e+00 | -- | Inf | 26.20%
8.35/8.48 c 8.5s| 1000 | 23 | 32941 | 14.7 | 78M | 20 | 200 |2963 |1841 | 369 | 0 |1544 | 38 | 0.000000e+00 | -- | Inf | 29.10%
8.75/8.82 c 8.8s| 1100 | 27 | 34171 | 14.6 | 78M | 20 | 200 |3014 |1844 | 412 | 1 |1611 | 38 | 0.000000e+00 | -- | Inf | 32.05%
8.96/9.04 c 9.0s| 1200 | 29 | 35388 | 14.5 | 78M | 20 | 200 |3096 |1845 | 433 | 1 |1701 | 38 | 0.000000e+00 | -- | Inf | 32.45%
9.06/9.15 c 9.1s| 1300 | 25 | 36571 | 14.4 | 78M | 20 | 200 |3165 |1843 | 433 | 0 |1776 | 38 | 0.000000e+00 | -- | Inf | 32.52%
9.15/9.29 c 9.3s| 1400 | 27 | 37689 | 14.2 | 78M | 20 | 200 |3225 |1845 | 433 | 1 |1843 | 38 | 0.000000e+00 | -- | Inf | 32.59%
9.55/9.60 c 9.6s| 1500 | 25 | 39271 | 14.3 | 78M | 20 | 200 |3269 |1844 | 445 | 0 |1911 | 38 | 0.000000e+00 | -- | Inf | 32.69%
9.65/9.78 c 9.8s| 1600 | 25 | 40517 | 14.2 | 78M | 20 | 200 |3315 |1844 | 445 | 0 |1965 | 38 | 0.000000e+00 | -- | Inf | 32.75%
9.85/9.95 c 9.9s| 1700 | 21 | 41644 | 14.1 | 78M | 20 | 200 |3365 |1844 | 445 | 0 |2025 | 38 | 0.000000e+00 | -- | Inf | 32.77%
10.15/10.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.15/10.22 c 10.2s| 1800 | 20 | 42925 | 14.1 | 78M | 28 | 200 |3407 |1843 | 461 | 1 |2077 | 38 | 0.000000e+00 | -- | Inf | 33.53%
10.35/10.41 c 10.4s| 1900 | 20 | 44336 | 14.1 | 78M | 28 | 200 |3441 |1844 | 492 | 0 |2127 | 38 | 0.000000e+00 | -- | Inf | 33.91%
10.45/10.56 c 10.6s| 2000 | 20 | 45484 | 14.0 | 78M | 28 | 200 |3484 |1845 | 506 | 1 |2186 | 38 | 0.000000e+00 | -- | Inf | 37.29%
10.55/10.66 c 10.7s| 2100 | 19 | 46744 | 14.0 | 78M | 28 | 200 |3524 |1844 | 508 | 0 |2241 | 38 | 0.000000e+00 | -- | Inf | 38.89%
10.65/10.77 c 10.8s| 2200 | 19 | 48018 | 13.9 | 78M | 28 | 200 |3575 |1842 | 514 | 0 |2306 | 38 | 0.000000e+00 | -- | Inf | 38.99%
10.85/10.90 c 10.9s| 2300 | 21 | 49186 | 13.9 | 78M | 28 | 200 |3634 |1845 | 521 | 1 |2372 | 38 | 0.000000e+00 | -- | Inf | 39.84%
10.95/11.01 c 11.0s| 2400 | 19 | 50512 | 13.8 | 78M | 28 | 200 |3680 |1842 | 530 | 0 |2435 | 38 | 0.000000e+00 | -- | Inf | 40.63%
11.05/11.13 c 11.1s| 2500 | 24 | 51880 | 13.8 | 78M | 28 | 200 |3736 |1843 | 535 | 1 |2505 | 38 | 0.000000e+00 | -- | Inf | 40.71%
11.14/11.22 c 11.2s| 2600 | 20 | 53165 | 13.8 | 78M | 28 | 200 |3794 |1844 | 535 | 1 |2576 | 38 | 0.000000e+00 | -- | Inf | 40.74%
11.24/11.31 c 11.3s| 2700 | 18 | 54384 | 13.8 | 78M | 28 | 200 |3833 |1842 | 535 | 1 |2641 | 38 | 0.000000e+00 | -- | Inf | 54.09%
11.34/11.41 c 11.4s| 2800 | 23 | 55710 | 13.8 | 78M | 28 | 200 |3880 |1846 | 545 | 1 |2702 | 38 | 0.000000e+00 | -- | Inf | 54.13%
11.44/11.50 c 11.5s| 2900 | 27 | 57045 | 13.7 | 78M | 28 | 200 |3912 |1846 | 545 | 0 |2752 | 38 | 0.000000e+00 | -- | Inf | 54.14%
11.44/11.59 c 11.6s| 3000 | 29 | 58246 | 13.7 | 78M | 29 | 200 |3969 |1846 | 547 | 1 |2821 | 38 | 0.000000e+00 | -- | Inf | 54.15%
11.54/11.68 c 11.7s| 3100 | 29 | 59720 | 13.7 | 78M | 30 | 200 |4014 |1846 | 547 | 1 |2877 | 38 | 0.000000e+00 | -- | Inf | 54.15%
11.64/11.77 c 11.8s| 3200 | 24 | 61019 | 13.7 | 78M | 30 | 200 |4077 |1844 | 547 | 1 |2947 | 38 | 0.000000e+00 | -- | Inf | 54.15%
11.74/11.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.74/11.87 c 11.9s| 3300 | 26 | 62555 | 13.7 | 78M | 30 | 200 |4160 |1847 | 551 | 1 |3037 | 38 | 0.000000e+00 | -- | Inf | 54.15%
11.84/11.96 c 12.0s| 3400 | 24 | 63878 | 13.7 | 78M | 34 | 200 |4195 |1846 | 551 | 0 |3075 | 38 | 0.000000e+00 | -- | Inf | 54.17%
11.95/12.05 c 12.0s| 3500 | 18 | 65156 | 13.7 | 78M | 34 | 200 |4250 |1845 | 552 | 1 |3132 | 38 | 0.000000e+00 | -- | Inf | 54.17%
12.05/12.18 c 12.2s| 3600 | 16 | 66489 | 13.7 | 78M | 34 | 200 |4304 |1838 | 564 | 1 |3198 | 38 | 0.000000e+00 | -- | Inf | 55.35%
12.34/12.40 c 12.4s| 3700 | 17 | 68015 | 13.7 | 78M | 34 | 200 |4352 |1843 | 602 | 1 |3258 | 38 | 0.000000e+00 | -- | Inf | 56.09%
12.44/12.50 c 12.5s| 3800 | 17 | 69498 | 13.8 | 78M | 34 | 200 |4424 |1844 | 610 | 0 |3335 | 38 | 0.000000e+00 | -- | Inf | 56.18%
12.44/12.59 c 12.6s| 3900 | 21 | 70774 | 13.7 | 78M | 34 | 200 |4467 |1844 | 610 | 0 |3381 | 38 | 0.000000e+00 | -- | Inf | 56.21%
12.54/12.67 c 12.7s| 4000 | 18 | 71934 | 13.7 | 78M | 34 | 200 |4521 |1844 | 610 | 0 |3437 | 38 | 0.000000e+00 | -- | Inf | 56.23%
12.74/12.85 c 12.8s| 4100 | 14 | 73280 | 13.7 | 78M | 34 | 200 |4565 |1838 | 619 | 1 |3493 | 38 | 0.000000e+00 | -- | Inf | 60.35%
13.04/13.12 c 13.1s| 4200 | 17 | 74609 | 13.7 | 78M | 34 | 200 |4603 |1838 | 652 | 1 |3547 | 38 | 0.000000e+00 | -- | Inf | 63.47%
13.24/13.38 c 13.4s| 4300 | 17 | 76045 | 13.7 | 78M | 34 | 200 |4603 |1842 | 688 | 1 |3589 | 38 | 0.000000e+00 | -- | Inf | 65.18%
13.53/13.66 c 13.7s| 4400 | 17 | 77471 | 13.7 | 79M | 34 | 200 |4641 |1846 | 726 | 0 |3640 | 38 | 0.000000e+00 | -- | Inf | 65.69%
13.63/13.75 c 13.7s| 4500 | 15 | 78723 | 13.7 | 79M | 34 | 200 |4679 |1845 | 726 | 0 |3706 | 38 | 0.000000e+00 | -- | Inf | 65.77%
13.73/13.83 c 13.8s| 4600 | 17 | 79898 | 13.7 | 79M | 34 | 200 |4714 |1846 | 726 | 1 |3769 | 38 | 0.000000e+00 | -- | Inf | 65.82%
13.83/13.93 c 13.9s| 4700 | 12 | 81295 | 13.7 | 79M | 34 | 200 |4750 |1844 | 729 | 0 |3830 | 38 | 0.000000e+00 | -- | Inf | 66.60%
14.13/14.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.13/14.28 c 14.3s| 4800 | 14 | 82596 | 13.6 | 79M | 34 | 200 |4782 |1842 | 782 | 0 |3883 | 38 | 0.000000e+00 | -- | Inf | 74.80%
14.33/14.47 c 14.5s| 4900 | 16 | 83999 | 13.7 | 79M | 34 | 200 |4814 |1842 | 812 | 0 |3929 | 38 | 0.000000e+00 | -- | Inf | 75.93%
14.63/14.75 c 14.7s| 5000 | 15 | 85371 | 13.7 | 79M | 34 | 200 |4862 |1846 | 850 | 3 |3990 | 38 | 0.000000e+00 | -- | Inf | 76.95%
14.73/14.86 c 14.8s| 5100 | 15 | 86690 | 13.6 | 79M | 34 | 200 |4910 |1841 | 857 | 1 |4043 | 38 | 0.000000e+00 | -- | Inf | 77.15%
15.04/15.16 c 15.2s| 5200 | 17 | 88434 | 13.7 | 79M | 34 | 200 |4941 |1844 | 907 | 2 |4087 | 38 | 0.000000e+00 | -- | Inf | 78.20%
15.23/15.33 c 15.3s| 5300 | 17 | 89695 | 13.7 | 79M | 34 | 200 |4987 |1842 | 927 | 1 |4144 | 38 | 0.000000e+00 | -- | Inf | 78.56%
15.33/15.46 c 15.5s| 5400 | 17 | 90999 | 13.7 | 79M | 34 | 200 |5045 |1843 | 939 | 1 |4214 | 38 | 0.000000e+00 | -- | Inf | 78.68%
15.43/15.55 c 15.5s| 5500 | 17 | 92252 | 13.7 | 79M | 34 | 200 |5097 |1844 | 941 | 1 |4281 | 38 | 0.000000e+00 | -- | Inf | 78.73%
15.53/15.63 c 15.6s| 5600 | 18 | 93481 | 13.6 | 79M | 34 | 200 |5204 | 0 | 941 | 0 |4395 | 38 | 0.000000e+00 | -- | Inf | 78.75%
15.63/15.76 c 15.8s| 5700 | 17 | 94788 | 13.6 | 79M | 34 | 200 |5265 |1842 | 948 | 1 |4473 | 38 | 0.000000e+00 | -- | Inf | 78.80%
15.83/15.93 c 15.9s| 5800 | 15 | 96162 | 13.6 | 79M | 34 | 200 |5323 |1844 | 970 | 0 |4541 | 38 | 0.000000e+00 | -- | Inf | 79.28%
15.93/16.08 c 16.1s| 5900 | 18 | 97394 | 13.6 | 79M | 34 | 200 |5385 |1840 | 992 | 1 |4608 | 38 | 0.000000e+00 | -- | Inf | 79.48%
16.13/16.20 c 16.2s| 6000 | 17 | 98610 | 13.6 | 79M | 34 | 200 |5437 |1840 | 999 | 1 |4665 | 38 | 0.000000e+00 | -- | Inf | 79.55%
16.13/16.29 c 16.3s| 6100 | 15 | 99810 | 13.6 | 79M | 34 | 200 |5488 |1840 |1001 | 0 |4722 | 38 | 0.000000e+00 | -- | Inf | 79.58%
16.32/16.41 c 16.4s| 6200 | 17 |101308 | 13.6 | 79M | 34 | 200 |5538 |1839 |1009 | 0 |4779 | 38 | 0.000000e+00 | -- | Inf | 79.66%
16.42/16.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.42/16.51 c 16.5s| 6300 | 17 |102677 | 13.6 | 79M | 34 | 200 |5591 |1839 |1012 | 0 |4834 | 38 | 0.000000e+00 | -- | Inf | 79.67%
16.52/16.63 c 16.6s| 6400 | 19 |104072 | 13.6 | 79M | 34 | 200 |5637 |1841 |1019 | 1 |4885 | 38 | 0.000000e+00 | -- | Inf | 79.77%
16.62/16.73 c 16.7s| 6500 | 21 |105243 | 13.6 | 79M | 34 | 200 |5702 |1843 |1024 | 0 |4958 | 38 | 0.000000e+00 | -- | Inf | 79.78%
16.72/16.82 c 16.8s| 6600 | 21 |106605 | 13.6 | 80M | 34 | 200 |5774 |1843 |1024 | 1 |5035 | 38 | 0.000000e+00 | -- | Inf | 79.79%
16.82/16.91 c 16.9s| 6700 | 21 |107886 | 13.6 | 80M | 34 | 200 |5840 |1843 |1024 | 0 |5102 | 38 | 0.000000e+00 | -- | Inf | 79.80%
16.82/16.99 c 17.0s| 6800 | 18 |108967 | 13.5 | 80M | 34 | 200 |5908 | 0 |1026 | 0 |5174 | 38 | 0.000000e+00 | -- | Inf | 79.81%
16.93/17.08 c 17.1s| 6900 | 19 |110179 | 13.5 | 80M | 34 | 200 |5978 |1844 |1028 | 1 |5248 | 38 | 0.000000e+00 | -- | Inf | 79.82%
17.03/17.18 c 17.2s| 7000 | 19 |111413 | 13.5 | 80M | 34 | 200 |6045 |1843 |1030 | 0 |5319 | 38 | 0.000000e+00 | -- | Inf | 79.83%
17.12/17.27 c 17.3s| 7100 | 20 |112655 | 13.5 | 80M | 34 | 200 |6121 |1843 |1032 | 1 |5396 | 38 | 0.000000e+00 | -- | Inf | 79.84%
17.22/17.37 c 17.4s| 7200 | 22 |114067 | 13.5 | 80M | 34 | 200 |6185 |1843 |1032 | 0 |5461 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.32/17.47 c 17.5s| 7300 | 23 |115478 | 13.5 | 80M | 34 | 200 |6246 |1843 |1034 | 1 |5525 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.42/17.56 c 17.5s| 7400 | 19 |116855 | 13.5 | 80M | 34 | 200 |6310 |1843 |1034 | 0 |5590 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.52/17.65 c 17.6s| 7500 | 17 |118191 | 13.5 | 80M | 34 | 200 |6395 |1843 |1034 | 0 |5675 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.62/17.74 c 17.7s| 7600 | 17 |119357 | 13.5 | 80M | 34 | 200 |6477 |1842 |1036 | 1 |5761 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.72/17.84 c 17.8s| 7700 | 18 |120855 | 13.5 | 80M | 34 | 200 |6544 |1844 |1038 | 0 |5832 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.82/17.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.82/17.94 c 17.9s| 7800 | 21 |122323 | 13.5 | 80M | 34 | 200 |6617 |1844 |1038 | 0 |5910 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.92/18.04 c 18.0s| 7900 | 17 |123909 | 13.5 | 80M | 35 | 200 |6683 |1844 |1038 | 1 |5984 | 38 | 0.000000e+00 | -- | Inf | 79.85%
18.02/18.15 c 18.1s| 8000 | 14 |125432 | 13.6 | 80M | 35 | 200 |6774 |1843 |1039 | 1 |6078 | 38 | 0.000000e+00 | -- | Inf | 79.88%
18.22/18.33 c 18.3s| 8100 | 14 |126923 | 13.6 | 80M | 35 | 200 |6813 |1844 |1068 | 1 |6132 | 38 | 0.000000e+00 | -- | Inf | 81.44%
18.32/18.44 c 18.4s| 8200 | 16 |128241 | 13.6 | 80M | 35 | 200 |6838 |1838 |1077 | 1 |6183 | 38 | 0.000000e+00 | -- | Inf | 82.22%
18.52/18.63 c 18.6s| 8300 | 18 |129605 | 13.6 | 80M | 35 | 200 |6880 | 0 |1113 | 0 |6239 | 38 | 0.000000e+00 | -- | Inf | 82.89%
18.62/18.75 c 18.7s| 8400 | 19 |130852 | 13.6 | 80M | 35 | 200 |6925 |1842 |1120 | 1 |6305 | 38 | 0.000000e+00 | -- | Inf | 83.00%
18.81/18.90 c 18.9s| 8500 | 16 |132198 | 13.6 | 80M | 35 | 200 |6984 |1843 |1138 | 0 |6374 | 38 | 0.000000e+00 | -- | Inf | 83.18%
18.92/19.05 c 19.0s| 8600 | 16 |133622 | 13.6 | 80M | 35 | 200 |7035 |1843 |1155 | 0 |6450 | 38 | 0.000000e+00 | -- | Inf | 83.30%
19.02/19.14 c 19.1s| 8700 | 16 |134801 | 13.5 | 80M | 35 | 200 |7076 |1843 |1157 | 1 |6507 | 38 | 0.000000e+00 | -- | Inf | 83.35%
19.11/19.28 c 19.3s| 8800 | 13 |136312 | 13.6 | 80M | 35 | 200 |7109 |1843 |1167 | 0 |6572 | 38 | 0.000000e+00 | -- | Inf | 83.56%
19.31/19.42 c 19.4s| 8900 | 13 |137923 | 13.6 | 80M | 35 | 200 |7150 |1843 |1182 | 0 |6646 | 38 | 0.000000e+00 | -- | Inf | 83.79%
19.51/19.63 c 19.6s| 9000 | 18 |139824 | 13.6 | 80M | 35 | 200 |7194 |1840 |1202 | 1 |6720 | 38 | 0.000000e+00 | -- | Inf | 84.03%
19.71/19.83 c 19.8s| 9100 | 26 |141348 | 13.7 | 80M | 35 | 200 |7218 |1843 |1229 | 0 |6768 | 38 | 0.000000e+00 | -- | Inf | 84.32%
19.81/19.91 c 19.9s| 9200 | 24 |142656 | 13.6 | 80M | 35 | 200 |7266 |1843 |1229 | 0 |6832 | 38 | 0.000000e+00 | -- | Inf | 84.38%
19.92/20.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.92/20.06 c 20.1s| 9300 | 26 |144166 | 13.7 | 80M | 35 | 200 |7298 |1843 |1240 | 1 |6885 | 38 | 0.000000e+00 | -- | Inf | 84.45%
20.01/20.15 c 20.1s| 9400 | 26 |145364 | 13.6 | 80M | 35 | 200 |7305 |1843 |1243 | 1 |6926 | 38 | 0.000000e+00 | -- | Inf | 84.51%
20.11/20.27 c 20.3s| 9500 | 28 |146639 | 13.6 | 80M | 35 | 200 |7320 |1842 |1251 | 0 |6962 | 38 | 0.000000e+00 | -- | Inf | 84.54%
20.21/20.38 c 20.4s| 9600 | 30 |147844 | 13.6 | 80M | 35 | 200 |7366 |1844 |1258 | 0 |7034 | 38 | 0.000000e+00 | -- | Inf | 84.59%
20.31/20.47 c 20.5s| 9700 | 28 |148994 | 13.6 | 81M | 35 | 200 |7396 |1842 |1260 | 0 |7093 | 38 | 0.000000e+00 | -- | Inf | 84.62%
20.41/20.56 c 20.6s| 9800 | 31 |150200 | 13.6 | 81M | 35 | 200 |7414 |1842 |1260 | 0 |7157 | 38 | 0.000000e+00 | -- | Inf | 84.64%
20.51/20.65 c 20.6s| 9900 | 29 |151473 | 13.6 | 81M | 35 | 200 |7457 |1844 |1264 | 0 |7216 | 38 | 0.000000e+00 | -- | Inf | 84.64%
20.61/20.74 c 20.7s| 10000 | 29 |152599 | 13.6 | 81M | 35 | 200 |7493 |1842 |1264 | 0 |7267 | 38 | 0.000000e+00 | -- | Inf | 84.65%
20.71/20.83 c 20.8s| 10100 | 28 |153840 | 13.6 | 81M | 35 | 200 |7550 |1841 |1268 | 0 |7348 | 38 | 0.000000e+00 | -- | Inf | 84.67%
20.81/20.92 c 20.9s| 10200 | 30 |154921 | 13.5 | 81M | 35 | 200 |7641 |1842 |1273 | 0 |7455 | 38 | 0.000000e+00 | -- | Inf | 84.67%
20.91/21.00 c 21.0s| 10300 | 28 |156015 | 13.5 | 81M | 35 | 200 |7708 |1843 |1273 | 0 |7534 | 38 | 0.000000e+00 | -- | Inf | 84.68%
21.01/21.15 c 21.1s| 10400 | 30 |157405 | 13.5 | 81M | 35 | 200 |7780 |1840 |1279 | 1 |7623 | 38 | 0.000000e+00 | -- | Inf | 84.74%
21.11/21.23 c 21.2s| 10500 | 30 |158647 | 13.5 | 81M | 35 | 200 |7823 |1844 |1279 | 0 |7685 | 38 | 0.000000e+00 | -- | Inf | 84.76%
21.21/21.32 c 21.3s| 10600 | 27 |159855 | 13.5 | 81M | 35 | 200 |7884 |1844 |1279 | 1 |7752 | 38 | 0.000000e+00 | -- | Inf | 84.78%
21.30/21.42 c 21.4s| 10700 | 29 |161254 | 13.5 | 81M | 35 | 200 |7926 |1844 |1279 | 1 |7820 | 38 | 0.000000e+00 | -- | Inf | 84.79%
21.40/21.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.40/21.52 c 21.5s| 10800 | 29 |162827 | 13.5 | 81M | 35 | 200 |7981 |1844 |1279 | 1 |7891 | 38 | 0.000000e+00 | -- | Inf | 84.81%
21.50/21.64 c 21.6s| 10900 | 33 |164110 | 13.5 | 81M | 35 | 200 |8008 |1844 |1285 | 1 |7950 | 38 | 0.000000e+00 | -- | Inf | 84.89%
21.60/21.72 c 21.7s| 11000 | 32 |165173 | 13.5 | 81M | 35 | 200 |8076 |1844 |1285 | 0 |8026 | 38 | 0.000000e+00 | -- | Inf | 84.89%
21.70/21.81 c 21.8s| 11100 | 34 |166515 | 13.5 | 81M | 35 | 200 |8135 |1840 |1285 | 1 |8107 | 38 | 0.000000e+00 | -- | Inf | 84.93%
21.70/21.89 c 21.9s| 11200 | 32 |167643 | 13.5 | 81M | 35 | 200 |8218 |1844 |1285 | 0 |8199 | 38 | 0.000000e+00 | -- | Inf | 84.94%
21.80/21.99 c 22.0s| 11300 | 32 |168884 | 13.5 | 81M | 35 | 200 |8260 |1843 |1285 | 1 |8253 | 38 | 0.000000e+00 | -- | Inf | 84.96%
21.91/22.08 c 22.1s| 11400 | 30 |170144 | 13.4 | 81M | 35 | 200 |8327 |1843 |1288 | 1 |8333 | 38 | 0.000000e+00 | -- | Inf | 84.96%
22.10/22.24 c 22.2s| 11500 | 34 |171625 | 13.5 | 81M | 35 | 200 |8390 |1842 |1301 | 1 |8419 | 38 | 0.000000e+00 | -- | Inf | 85.01%
22.20/22.32 c 22.3s| 11600 | 32 |172940 | 13.5 | 81M | 35 | 200 |8484 |1842 |1301 | 0 |8526 | 38 | 0.000000e+00 | -- | Inf | 85.03%
22.30/22.42 c 22.4s| 11700 | 34 |174530 | 13.5 | 81M | 35 | 200 |8529 |1844 |1302 | 1 |8584 | 38 | 0.000000e+00 | -- | Inf | 85.05%
22.40/22.53 c 22.5s| 11800 | 30 |176330 | 13.5 | 81M | 35 | 200 |8592 |1842 |1303 | 0 |8655 | 38 | 0.000000e+00 | -- | Inf | 85.07%
22.50/22.64 c 22.6s| 11900 | 36 |177894 | 13.5 | 81M | 35 | 200 |8652 |1842 |1303 | 0 |8743 | 38 | 0.000000e+00 | -- | Inf | 85.08%
22.60/22.73 c 22.7s| 12000 | 42 |179216 | 13.5 | 81M | 35 | 200 |8735 |1842 |1303 | 0 |8837 | 38 | 0.000000e+00 | -- | Inf | 85.08%
22.70/22.83 c 22.8s| 12100 | 50 |180563 | 13.5 | 85M | 35 | 200 |8800 |1842 |1303 | 1 |8920 | 38 | 0.000000e+00 | -- | Inf | 85.08%
22.80/22.93 c 22.9s| 12200 | 42 |181994 | 13.5 | 85M | 35 | 200 |8897 |1842 |1303 | 0 |9019 | 38 | 0.000000e+00 | -- | Inf | 85.08%
22.90/23.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.90/23.03 c 23.0s| 12300 | 38 |183385 | 13.5 | 85M | 35 | 200 |8974 |1843 |1303 | 1 |9104 | 38 | 0.000000e+00 | -- | Inf | 85.09%
23.00/23.13 c 23.1s| 12400 | 38 |184796 | 13.5 | 85M | 35 | 200 |9034 |1842 |1304 | 1 |9189 | 38 | 0.000000e+00 | -- | Inf | 85.10%
23.10/23.23 c 23.2s| 12500 | 38 |186073 | 13.5 | 85M | 35 | 200 |9097 |1843 |1304 | 1 |9259 | 38 | 0.000000e+00 | -- | Inf | 85.11%
23.20/23.32 c 23.3s| 12600 | 42 |187404 | 13.5 | 85M | 35 | 200 |9163 |1842 |1304 | 0 |9336 | 38 | 0.000000e+00 | -- | Inf | 85.11%
23.30/23.42 c 23.4s| 12700 | 42 |188890 | 13.5 | 85M | 35 | 200 |9240 |1842 |1304 | 1 |9430 | 38 | 0.000000e+00 | -- | Inf | 85.12%
23.40/23.53 c 23.5s| 12800 | 36 |190476 | 13.6 | 85M | 35 | 200 |9325 |1843 |1304 | 1 |9530 | 38 | 0.000000e+00 | -- | Inf | 85.12%
23.49/23.63 c 23.6s| 12900 | 34 |191795 | 13.6 | 85M | 35 | 200 |9401 |1842 |1304 | 0 |9617 | 38 | 0.000000e+00 | -- | Inf | 85.12%
23.59/23.75 c 23.7s| 13000 | 40 |193320 | 13.6 | 85M | 35 | 200 |9457 |1842 |1309 | 0 |9691 | 38 | 0.000000e+00 | -- | Inf | 85.14%
23.69/23.86 c 23.9s| 13100 | 34 |194900 | 13.6 | 85M | 35 | 200 |9520 |1841 |1309 | 0 |9766 | 38 | 0.000000e+00 | -- | Inf | 85.15%
23.90/24.01 c 24.0s| 13200 | 34 |196249 | 13.6 | 85M | 35 | 200 |9578 |1841 |1320 | 0 |9845 | 38 | 0.000000e+00 | -- | Inf | 85.36%
24.00/24.10 c 24.1s| 13300 | 38 |197351 | 13.6 | 85M | 35 | 200 |9638 |1841 |1329 | 1 |9920 | 38 | 0.000000e+00 | -- | Inf | 85.53%
24.09/24.22 c 24.2s| 13400 | 42 |198794 | 13.6 | 85M | 35 | 200 |9686 |1841 |1337 | 1 |9990 | 38 | 0.000000e+00 | -- | Inf | 85.69%
24.19/24.32 c 24.3s| 13500 | 41 |200156 | 13.6 | 85M | 35 | 200 |9699 |1841 |1338 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.73%
24.29/24.42 c 24.4s| 13600 | 39 |201647 | 13.6 | 85M | 35 | 200 |9738 |1841 |1338 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.78%
24.39/24.53 c 24.5s| 13700 | 37 |203143 | 13.6 | 85M | 35 | 200 |9793 |1843 |1338 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.78%
24.49/24.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.49/24.62 c 24.6s| 13800 | 39 |204378 | 13.6 | 85M | 35 | 200 |9901 |1847 |1338 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.78%
24.59/24.73 c 24.7s| 13900 | 37 |205841 | 13.6 | 85M | 35 | 200 |9955 |1843 |1339 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.78%
24.69/24.83 c 24.8s| 14000 | 37 |207333 | 13.6 | 85M | 35 | 200 | 10k|1840 |1339 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.79%
24.79/24.93 c 24.9s| 14100 | 35 |208498 | 13.6 | 85M | 35 | 200 | 10k|1841 |1339 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.82%
24.89/25.08 c 25.1s| 14200 | 31 |210143 | 13.6 | 85M | 35 | 200 | 10k|1842 |1353 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 86.61%
25.09/25.24 c 25.2s| 14300 | 33 |211447 | 13.6 | 85M | 35 | 200 |9975 |1844 |1372 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 86.74%
25.19/25.35 c 25.3s| 14400 | 31 |212708 | 13.6 | 85M | 35 | 200 | 10k|1841 |1377 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 87.88%
25.39/25.58 c 25.6s| 14500 | 31 |214189 | 13.6 | 85M | 35 | 200 |9975 |1844 |1422 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 89.87%
25.79/25.90 c 25.9s| 14600 | 33 |215506 | 13.6 | 85M | 35 | 200 |9939 |1841 |1474 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 91.43%
25.99/26.12 c 26.1s| 14700 | 33 |216826 | 13.6 | 85M | 35 | 200 |9950 |1842 |1504 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 92.18%
26.18/26.33 c 26.3s| 14800 | 35 |218248 | 13.6 | 85M | 35 | 200 |9984 |1842 |1526 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 92.77%
26.28/26.48 c 26.5s| 14900 | 35 |219681 | 13.6 | 85M | 35 | 200 | 10k|1842 |1540 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.07%
26.48/26.60 c 26.6s| 15000 | 33 |220774 | 13.6 | 85M | 35 | 200 | 10k|1842 |1548 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.13%
26.58/26.77 c 26.8s| 15100 | 37 |222046 | 13.6 | 85M | 35 | 200 | 10k|1842 |1557 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.24%
26.68/26.87 c 26.9s| 15200 | 35 |223336 | 13.6 | 85M | 35 | 200 | 10k| 0 |1560 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.25%
26.78/26.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.78/26.99 c 27.0s| 15300 | 35 |224544 | 13.6 | 85M | 35 | 200 | 10k|1844 |1569 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.29%
26.89/27.08 c 27.1s| 15400 | 35 |225641 | 13.6 | 85M | 35 | 200 | 10k|1844 |1569 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.31%
26.98/27.18 c 27.2s| 15500 | 35 |226941 | 13.5 | 85M | 35 | 200 | 10k|1844 |1571 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.32%
27.08/27.29 c 27.3s| 15600 | 37 |228299 | 13.5 | 85M | 35 | 200 | 10k|1844 |1572 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.35%
27.18/27.39 c 27.4s| 15700 | 37 |229555 | 13.5 | 85M | 35 | 200 | 10k|1845 |1577 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.35%
27.48/27.68 c 27.7s| 15800 | 39 |230979 | 13.5 | 85M | 35 | 200 | 10k| 0 |1596 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.92%
27.68/27.83 c 27.8s| 15900 | 37 |232191 | 13.5 | 85M | 35 | 200 | 10k|1844 |1617 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 94.09%
27.78/27.93 c 27.9s| 16000 | 35 |233426 | 13.5 | 85M | 35 | 200 | 10k|1843 |1618 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 94.15%
27.88/28.03 c 28.0s| 16100 | 33 |234638 | 13.5 | 85M | 35 | 200 | 10k|1843 |1619 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 94.16%
27.98/28.13 c 28.1s| 16200 | 35 |235832 | 13.5 | 85M | 35 | 200 | 10k| 0 |1624 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.17%
28.07/28.23 c 28.2s| 16300 | 37 |237134 | 13.5 | 85M | 35 | 200 | 10k|1847 |1632 | 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.17%
28.17/28.39 c 28.4s| 16400 | 38 |238368 | 13.5 | 85M | 35 | 200 | 10k|1840 |1649 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.44%
28.37/28.53 c 28.5s| 16500 | 39 |239627 | 13.5 | 85M | 35 | 200 | 10k|1841 |1656 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.50%
28.47/28.63 c 28.6s| 16600 | 37 |240983 | 13.5 | 85M | 35 | 200 | 11k|1846 |1656 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.51%
28.67/28.80 c 28.8s| 16700 | 35 |242488 | 13.5 | 85M | 35 | 200 | 11k|1843 |1669 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.74%
28.77/28.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.77/28.92 c 28.9s| 16800 | 33 |243805 | 13.5 | 85M | 35 | 200 | 11k|1846 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.75%
28.88/29.03 c 29.0s| 16900 | 31 |245188 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.76%
28.98/29.12 c 29.1s| 17000 | 33 |246395 | 13.5 | 85M | 36 | 200 | 11k|1842 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.76%
29.07/29.22 c 29.2s| 17100 | 36 |247670 | 13.5 | 85M | 36 | 200 | 11k|1842 |1671 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.76%
29.17/29.32 c 29.3s| 17200 | 34 |248898 | 13.5 | 85M | 36 | 200 | 11k| 0 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.76%
29.27/29.41 c 29.4s| 17300 | 37 |250095 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.37/29.50 c 29.5s| 17400 | 39 |251357 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.37/29.59 c 29.6s| 17500 | 40 |252427 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.47/29.69 c 29.7s| 17600 | 40 |253706 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.57/29.79 c 29.8s| 17700 | 41 |255093 | 13.5 | 85M | 36 | 200 | 11k|1844 |1673 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.67/29.89 c 29.9s| 17800 | 39 |256358 | 13.5 | 85M | 36 | 200 | 11k|1844 |1676 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.77/29.99 c 30.0s| 17900 | 35 |257794 | 13.5 | 85M | 36 | 200 | 11k|1844 |1676 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.87/30.09 c 30.1s| 18000 | 39 |259128 | 13.5 | 85M | 36 | 200 | 11k|1844 |1678 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
30.07/30.20 c 30.2s| 18100 | 39 |260634 | 13.5 | 85M | 36 | 200 | 11k|1842 |1681 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
30.17/30.31 c 30.3s| 18200 | 35 |262076 | 13.5 | 85M | 36 | 200 | 11k|1846 |1681 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
30.27/30.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.27/30.48 c 30.5s| 18300 | 33 |263586 | 13.5 | 85M | 36 | 200 | 11k|1844 |1687 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.86%
30.47/30.63 c 30.6s| 18400 | 37 |264877 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 95.74%
30.56/30.74 c 30.7s| 18500 | 38 |266134 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 95.74%
30.66/30.84 c 30.8s| 18600 | 38 |267463 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 95.74%
30.76/30.95 c 30.9s| 18700 | 38 |268815 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 95.75%
30.87/31.06 c 31.1s| 18800 | 38 |270176 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 95.75%
30.97/31.18 c 31.2s| 18900 | 32 |271478 | 13.5 | 85M | 37 | 200 | 11k|1841 |1695 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 95.75%
31.06/31.28 c 31.3s| 19000 | 30 |272778 | 13.5 | 85M | 37 | 200 | 11k|1842 |1695 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 95.75%
31.36/31.55 c 31.5s| 19100 | 34 |274215 | 13.5 | 85M | 37 | 200 | 11k|1841 |1724 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 96.42%
31.56/31.71 c 31.7s| 19200 | 31 |275714 | 13.5 | 85M | 37 | 200 | 11k|1843 |1731 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 96.58%
31.66/31.82 c 31.8s| 19300 | 27 |277057 | 13.5 | 85M | 37 | 200 | 11k|1840 |1733 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 96.58%
31.76/31.98 c 32.0s| 19400 | 25 |278450 | 13.5 | 85M | 37 | 200 | 11k|1842 |1750 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.15%
31.97/32.12 c 32.1s| 19500 | 21 |279858 | 13.5 | 85M | 37 | 200 | 11k|1843 |1757 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.29%
32.06/32.24 c 32.2s| 19600 | 17 |281053 | 13.5 | 85M | 37 | 200 | 11k|1841 |1759 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.33%
32.16/32.34 c 32.3s| 19700 | 17 |282270 | 13.5 | 85M | 38 | 200 | 11k|1841 |1759 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.33%
32.26/32.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.26/32.45 c 32.4s| 19800 | 18 |283382 | 13.5 | 85M | 38 | 200 | 11k|1844 |1759 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.36/32.58 c 32.6s| 19900 | 19 |284843 | 13.5 | 85M | 38 | 200 | 11k|1845 |1761 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.46/32.69 c 32.7s| 20000 | 18 |286318 | 13.5 | 85M | 38 | 200 | 11k|1842 |1763 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.66/32.82 c 32.8s| 20100 | 16 |287926 | 13.5 | 85M | 38 | 200 | 11k|1842 |1764 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.76/32.94 c 32.9s| 20200 | 20 |289489 | 13.5 | 85M | 38 | 200 | 11k| 0 |1764 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.86/33.06 c 33.0s| 20300 | 21 |290686 | 13.5 | 85M | 38 | 200 | 11k|1842 |1764 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.96/33.17 c 33.2s| 20400 | 21 |292056 | 13.5 | 85M | 38 | 200 | 11k|1842 |1764 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
33.06/33.27 c 33.3s| 20500 | 19 |293325 | 13.5 | 85M | 38 | 200 | 11k|1842 |1764 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
33.16/33.38 c 33.4s| 20600 | 19 |294811 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
33.25/33.49 c 33.5s| 20700 | 17 |296161 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
33.45/33.62 c 33.6s| 20800 | 24 |297702 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
33.55/33.73 c 33.7s| 20900 | 22 |299262 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.65/33.85 c 33.8s| 21000 | 22 |300632 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.75/33.96 c 33.9s| 21100 | 23 |302133 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.86/34.07 c 34.1s| 21200 | 25 |303660 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.96/34.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.96/34.18 c 34.2s| 21300 | 25 |305186 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
34.15/34.30 c 34.3s| 21400 | 21 |306629 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
34.25/34.41 c 34.4s| 21500 | 17 |308032 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
34.35/34.53 c 34.5s| 21600 | 18 |309627 | 13.5 | 85M | 38 | 200 | 11k|1842 |1767 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
34.45/34.65 c 34.6s| 21700 | 19 |311095 | 13.6 | 85M | 38 | 200 | 11k|1843 |1769 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.55/34.76 c 34.8s| 21800 | 22 |312444 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.65/34.88 c 34.9s| 21900 | 22 |314076 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.85/35.00 c 35.0s| 22000 | 22 |315777 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.95/35.12 c 35.1s| 22100 | 18 |317165 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.05/35.24 c 35.2s| 22200 | 18 |318755 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.15/35.36 c 35.4s| 22300 | 22 |320426 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.25/35.47 c 35.5s| 22400 | 22 |322040 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.35/35.58 c 35.6s| 22500 | 24 |323381 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.45/35.69 c 35.7s| 22600 | 18 |325045 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.65/35.81 c 35.8s| 22700 | 20 |326733 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.74/35.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.74/35.94 c 35.9s| 22800 | 20 |328754 | 13.7 | 85M | 38 | 200 | 11k|1842 |1770 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.86/36.06 c 36.1s| 22900 | 18 |330282 | 13.7 | 85M | 38 | 200 | 11k|1842 |1770 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
36.05/36.22 c 36.2s| 23000 | 14 |331664 | 13.7 | 85M | 38 | 200 | 11k|1843 |1788 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.94%
36.15/36.33 c 36.3s| 23100 | 14 |332953 | 13.7 | 85M | 38 | 200 | 11k|1843 |1788 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.95%
36.25/36.48 c 36.5s| 23200 | 16 |334476 | 13.7 | 85M | 38 | 200 | 11k|1842 |1794 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 99.05%
36.45/36.61 c 36.6s| 23300 | 16 |335844 | 13.7 | 85M | 38 | 200 | 11k|1843 |1803 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.11%
36.55/36.72 c 36.7s| 23400 | 18 |337182 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.65/36.82 c 36.8s| 23500 | 19 |338451 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.75/36.92 c 36.9s| 23600 | 20 |339631 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.85/37.03 c 37.0s| 23700 | 20 |340964 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.95/37.14 c 37.1s| 23800 | 21 |342250 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
37.05/37.24 c 37.2s| 23900 | 18 |343614 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
37.15/37.36 c 37.4s| 24000 | 15 |345035 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
37.25/37.48 c 37.5s| 24100 | 17 |346697 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
37.35/37.59 c 37.6s| 24200 | 17 |348094 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
37.55/37.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.55/37.72 c 37.7s| 24300 | 16 |349759 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
37.74/37.90 c 37.9s| 24400 | 14 |351213 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
37.85/38.03 c 38.0s| 24500 | 16 |352812 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
37.95/38.14 c 38.1s| 24600 | 15 |354271 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.04/38.28 c 38.3s| 24700 | 17 |355934 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.24/38.40 c 38.4s| 24800 | 20 |357514 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.34/38.51 c 38.5s| 24900 | 17 |358949 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.44/38.62 c 38.6s| 25000 | 21 |360285 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.54/38.75 c 38.7s| 25100 | 19 |362074 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.64/38.88 c 38.9s| 25200 | 19 |363938 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.74/38.99 c 39.0s| 25300 | 19 |365358 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.94/39.11 c 39.1s| 25400 | 17 |366804 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.04/39.22 c 39.2s| 25500 | 21 |368302 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.14/39.34 c 39.3s| 25600 | 18 |369768 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.24/39.46 c 39.5s| 25700 | 25 |371360 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.44/39.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.44/39.60 c 39.6s| 25800 | 29 |373346 | 13.8 | 85M | 40 | 200 | 11k|1842 |1803 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.54/39.73 c 39.7s| 25900 | 27 |375053 | 13.8 | 85M | 40 | 200 | 11k|1842 |1803 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.64/39.85 c 39.8s| 26000 | 27 |376756 | 13.8 | 85M | 40 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.74/39.97 c 40.0s| 26100 | 25 |378542 | 13.8 | 85M | 40 | 200 | 11k|1842 |1803 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.94/40.15 c 40.1s| 26200 | 21 |380433 | 13.9 | 85M | 43 | 200 | 11k|1844 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
40.03/40.28 c 40.3s| 26300 | 19 |381982 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
40.13/40.39 c 40.4s| 26400 | 19 |383504 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
40.33/40.53 c 40.5s| 26500 | 17 |385288 | 13.9 | 85M | 46 | 200 | 11k|1843 |1820 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
40.43/40.65 c 40.6s| 26600 | 17 |386770 | 13.9 | 85M | 46 | 200 | 11k|1843 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.14%
40.53/40.78 c 40.8s| 26700 | 15 |388538 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.15%
40.73/40.92 c 40.9s| 26800 | 11 |390425 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.15%
40.84/41.02 c 41.0s| 26900 | 12 |391690 | 13.9 | 85M | 46 | 200 | 11k| 0 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.15%
40.94/41.14 c 41.1s| 27000 | 14 |393171 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.15%
41.03/41.26 c 41.3s| 27100 | 12 |394841 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.16%
41.13/41.39 c 41.4s| 27200 | 8 |396587 | 13.9 | 85M | 46 | 200 | 11k|1843 |1821 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.16%
41.33/41.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.33/41.51 c 41.5s| 27300 | 9 |398340 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.43/41.64 c 41.6s| 27400 | 10 |399817 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.53/41.74 c 41.7s| 27500 | 9 |401083 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.63/41.84 c 41.8s| 27600 | 9 |402334 | 13.9 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.73/41.95 c 41.9s| 27700 | 9 |403806 | 13.9 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.83/42.06 c 42.1s| 27800 | 9 |405276 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.93/42.17 c 42.2s| 27900 | 7 |406779 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
42.13/42.30 c 42.3s| 28000 | 7 |408486 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.17%
42.23/42.49 c 42.5s| 28100 | 4 |410336 | 14.0 | 85M | 46 | 200 | 11k|1840 |1831 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.76%
42.42/42.65 c 42.6s| 28200 | 4 |411835 | 14.0 | 85M | 46 | 200 | 11k|1842 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.95%
42.52/42.76 c 42.8s| 28300 | 6 |413102 | 14.0 | 85M | 46 | 200 |8934 |1844 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.98%
42.62/42.86 c 42.9s| 28400 | 4 |414414 | 14.0 | 85M | 46 | 200 |7936 | 0 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.99%
42.72/42.96 c 42.9s| 28500 | 4 |415695 | 14.0 | 85M | 46 | 200 |8000 |1844 |1841 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 100.00%
42.83/43.04 c 43.0s| 28600 | 4 |416936 | 14.0 | 85M | 46 | 200 |6704 |1844 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 100.00%
42.93/43.13 c 43.1s| 28700 | 4 |418156 | 14.0 | 85M | 46 | 200 |6167 |1844 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 100.00%
42.93/43.15 c
42.93/43.15 c SCIP Status : problem is solved [infeasible]
42.93/43.15 c Solving Time (sec) : 43.14
42.93/43.15 c Solving Nodes : 28715 (total of 29832 nodes in 2 runs)
42.93/43.15 c Primal Bound : +1.00000000000000e+20 (0 solutions)
42.93/43.15 c Dual Bound : +1.00000000000000e+20
42.93/43.15 c Gap : 0.00 %
42.93/43.15 s UNSATISFIABLE
42.93/43.15 c SCIP Status : problem is solved [infeasible]
42.93/43.15 c Total Time : 43.14
42.93/43.15 c solving : 43.14
42.93/43.15 c presolving : 0.08 (included in solving)
42.93/43.15 c reading : 0.00 (included in solving)
42.93/43.15 c copying : 0.67 (107 #copies) (minimal 0.00, maximal 0.02, average 0.01)
42.93/43.15 c Original Problem :
42.93/43.15 c Problem name : HOME/instance-4494642-1751151893.opb
42.93/43.15 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
42.93/43.15 c Constraints : 2707 initial, 2707 maximal
42.93/43.15 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
42.93/43.15 c Presolved Problem :
42.93/43.15 c Problem name : t_HOME/instance-4494642-1751151893.opb
42.93/43.15 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
42.93/43.15 c Constraints : 2409 initial, 11666 maximal
42.93/43.15 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
42.93/43.15 c Nonzeros : 10859 constraint, 906 clique table
42.93/43.15 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
42.93/43.15 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
42.93/43.15 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.93/43.15 c gateextraction : 0.01 0.00 9 0 0 0 0 0 0 0 0 0
42.93/43.15 c implics : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
42.93/43.15 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
42.93/43.15 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.93/43.15 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c trivial : 0.00 0.00 17 21 0 0 0 0 0 0 0 0
42.93/43.15 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c dualfix : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
42.93/43.15 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.93/43.15 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.93/43.15 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
42.93/43.15 c vbounds : 0.00 0.00 2 0 10 0 0 0 0 0 0 0
42.93/43.15 c knapsack : 0.00 0.00 32 0 0 0 0 0 1 2 1 14
42.93/43.15 c setppc : 0.00 0.00 31 0 0 0 0 0 67 0 0 0
42.93/43.15 c linear : 0.02 0.00 13 0 0 0 0 0 198 0 55 0
42.93/43.15 c logicor : 0.02 0.00 29 0 0 0 0 0 870 0 0 1219
42.93/43.15 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
42.93/43.15 c root node : - - - 190 - - 190 - - - - -
42.93/43.15 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
42.93/43.15 c benderslp : 0 0 0 0 14988 0 0 1021 0 0 0 0 0 0 0
42.93/43.15 c integral : 0 0 0 0 14988 0 0 1021 0 0 0 0 0 0 29976
42.93/43.15 c knapsack : 14+ 17 22 113995 0 0 0 1017 53348 147 44583 0 0 0 0
42.93/43.15 c setppc : 20+ 82 22 113851 0 0 0 526 244541 451 134365 1 0 0 0
42.93/43.15 c linear : 0+ 20 0 9198 0 0 0 2 0 0 90 0 0 0 0
42.93/43.15 c logicor : 2375+ 11621 22 56003 0 0 0 0 87719 151 173334 6 1 0 0
42.93/43.15 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
42.93/43.15 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c integral : 0.48 0.00 0.00 0.00 0.48 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c knapsack : 0.34 0.00 0.00 0.31 0.00 0.00 0.00 0.00 0.02 0.00
42.93/43.15 c setppc : 0.40 0.00 0.00 0.36 0.00 0.00 0.00 0.00 0.04 0.00
42.93/43.15 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c logicor : 2.53 0.00 0.01 2.47 0.00 0.00 0.00 0.00 0.04 0.00
42.93/43.15 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c Propagators : #Propagate #ResProp Cutoffs DomReds
42.93/43.15 c dualfix : 2 0 0 0
42.93/43.15 c genvbounds : 0 0 0 0
42.93/43.15 c nlobbt : 0 0 0 0
42.93/43.15 c obbt : 0 0 0 0
42.93/43.15 c probing : 0 0 0 0
42.93/43.15 c pseudoobj : 0 0 0 0
42.93/43.15 c redcost : 0 0 0 0
42.93/43.15 c rootredcost : 0 0 0 0
42.93/43.15 c symmetry : 3525 0 0 10
42.93/43.15 c vbounds : 90849 0 0 0
42.93/43.15 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
42.93/43.15 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
42.93/43.15 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
42.93/43.15 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
42.93/43.15 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
42.93/43.15 c symmetry : 0.05 0.00 0.01 0.04 0.00 0.00
42.93/43.15 c vbounds : 0.12 0.00 0.00 0.12 0.00 0.00
42.93/43.15 c Symmetry :
42.93/43.15 c orbitopal red. : 0 reductions applied, 0 cutoffs
42.93/43.15 c orbital reduction: 10 reductions applied, 0 cutoffs
42.93/43.15 c lexicographic red: 0 reductions applied, 0 cutoffs
42.93/43.15 c shadow tree time : 0.03 s
42.93/43.15 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
42.93/43.15 c propagation : 0.02 746 742 - 3762 16.2 18 12.9 - - -
42.93/43.15 c infeasible LP : 2.61 14318 13395 - 76384 28.0 72 12.9 88 2.2 0
42.93/43.15 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
42.93/43.15 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
42.93/43.15 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
42.93/43.15 c applied globally : 0.15 - - 79 23636 9.9 - - 87 - -
42.93/43.15 c applied locally : - - - 0 3 31.3 - - 1 - -
42.93/43.15 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
42.93/43.15 c cut pool : 0.95 - 2383 42 - - 21763 28276 - - - - - (maximal pool size: 4135)
42.93/43.15 c aggregation : 0.17 0.00 594 22 0 0 14 14 4 0 0 0 0
42.93/43.15 c > cmir : - - - - - - - 10 2 0 0 0 -
42.93/43.15 c > flowcover : - - - - - - - 3 1 0 0 0 -
42.93/43.15 c > knapsackcover : - - - - - - - 1 1 0 0 0 -
42.93/43.15 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c clique : 0.00 0.00 22 22 0 0 1 10 0 0 0 0 0
42.93/43.15 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c gomory : 7.83 0.00 592 20 0 0 31911 28122 10214 1362 1071 291 0
42.93/43.15 c > gomorymi : - - - - - - - 14107 5128 577 407 170 -
42.93/43.15 c > strongcg : - - - - - - - 14015 5086 785 664 121 -
42.93/43.15 c impliedbounds : 0.01 0.00 594 22 0 0 8 35 0 31 31 0 0
42.93/43.15 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
42.93/43.15 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c multilinear : 0.00 0.00 866 22 0 0 0 0 0 0 0 0 0
42.93/43.15 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.93/43.15 c rapidlearning : 2.49 0.00 100 2 0 2771 0 0 0 0 0 0 189
42.93/43.15 c rlt : 0.00 0.00 302 20 0 0 0 0 0 0 0 0 0
42.93/43.15 c zerohalf : 0.23 0.00 594 22 0 0 1125 95 1078 686 50 636 0
42.93/43.15 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
42.93/43.15 c hybrid : 0.06 0.00 698 22 2080 0 37489 78 0 5791
42.93/43.15 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c Pricers : ExecTime SetupTime Calls Vars
42.93/43.15 c problem variables: 0.00 - 0 0
42.93/43.15 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
42.93/43.15 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c random : 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c relpscost : 0.47 0.00 14988 0 0 0 0 0 0 29976
42.93/43.15 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
42.93/43.15 c Primal Heuristics : ExecTime SetupTime Calls Found Best
42.93/43.15 c LP solutions : 0.00 - - 0 0
42.93/43.15 c relax solutions : 0.00 - - 0 0
42.93/43.15 c pseudo solutions : 0.00 - - 0 0
42.93/43.15 c strong branching : 0.00 - - 0 0
42.93/43.15 c actconsdiving : 0.00 0.00 0 0 0
42.93/43.15 c adaptivediving : 0.02 0.00 6 0 0
42.93/43.15 c alns : 0.14 0.00 6 0 0
42.93/43.15 c bound : 0.00 0.00 0 0 0
42.93/43.15 c clique : 0.00 0.00 1 0 0
42.93/43.15 c coefdiving : 0.00 0.00 0 0 0
42.93/43.15 c completesol : 0.00 0.00 0 0 0
42.93/43.15 c conflictdiving : 0.03 0.00 4 0 0
42.93/43.15 c crossover : 0.00 0.00 0 0 0
42.93/43.15 c dins : 0.00 0.00 0 0 0
42.93/43.15 c distributiondivin: 0.24 0.00 3 0 0
42.93/43.15 c dps : 0.00 0.00 0 0 0
42.93/43.15 c dualval : 0.00 0.00 0 0 0
42.93/43.15 c farkasdiving : 0.00 0.00 0 0 0
42.93/43.15 c feasjump : 0.03 0.00 2 0 0
42.93/43.15 c feaspump : 0.07 0.00 2 0 0
42.93/43.15 c fixandinfer : 0.00 0.00 0 0 0
42.93/43.15 c fracdiving : 0.03 0.00 4 0 0
42.93/43.15 c gins : 0.00 0.00 0 0 0
42.93/43.15 c guideddiving : 0.00 0.00 0 0 0
42.93/43.15 c indcoefdiving : 0.00 0.00 0 0 0
42.93/43.15 c indicator : 0.00 0.00 0 0 0
42.93/43.15 c indicatordiving : 0.00 0.00 0 0 0
42.93/43.15 c indoneopt : 0.01 0.00 0 0 0
42.93/43.15 c indrounding : 0.00 0.00 0 0 0
42.93/43.15 c indtwoopt : 0.00 0.00 0 0 0
42.93/43.15 c intdiving : 0.00 0.00 0 0 0
42.93/43.15 c intshifting : 0.00 0.00 0 0 0
42.93/43.15 c linesearchdiving : 0.02 0.00 3 0 0
42.93/43.15 c localbranching : 0.00 0.00 0 0 0
42.93/43.15 c locks : 0.00 0.00 1 0 0
42.93/43.15 c lpface : 0.01 0.00 0 0 0
42.93/43.15 c mpec : 0.00 0.00 0 0 0
42.93/43.15 c multistart : 0.00 0.00 0 0 0
42.93/43.15 c mutation : 0.00 0.00 0 0 0
42.93/43.15 c nlpdiving : 0.00 0.00 0 0 0
42.93/43.15 c objpscostdiving : 0.02 0.00 2 0 0
42.93/43.15 c octane : 0.00 0.00 0 0 0
42.93/43.15 c ofins : 0.00 0.00 0 0 0
42.93/43.15 c oneopt : 0.00 0.00 0 0 0
42.93/43.15 c padm : 0.00 0.00 0 0 0
42.93/43.15 c proximity : 0.00 0.00 0 0 0
42.93/43.15 c pscostdiving : 0.03 0.00 4 0 0
42.93/43.15 c randrounding : 0.04 0.00 1033 0 0
42.93/43.15 c rens : 0.02 0.00 2 0 0
42.93/43.15 c reoptsols : 0.00 0.00 0 0 0
42.93/43.15 c repair : 0.00 0.00 0 0 0
42.93/43.15 c rins : 0.00 0.00 0 0 0
42.93/43.15 c rootsoldiving : 0.02 0.00 2 0 0
42.93/43.15 c rounding : 0.07 0.00 1711 0 0
42.93/43.15 c scheduler : 0.00 0.00 0 0 0
42.93/43.15 c shiftandpropagate: 0.00 0.00 2 0 0
42.93/43.15 c shifting : 0.09 0.00 608 0 0
42.93/43.15 c simplerounding : 0.00 0.00 0 0 0
42.93/43.15 c smallcard : 0.00 0.00 0 0 0
42.93/43.15 c subnlp : 0.01 0.00 0 0 0
42.93/43.15 c trivial : 0.00 0.00 4 0 0
42.93/43.15 c trivialnegation : 0.00 0.00 0 0 0
42.93/43.15 c trustregion : 0.00 0.00 0 0 0
42.93/43.15 c trysol : 0.00 0.00 0 0 0
42.93/43.15 c twoopt : 0.00 0.00 0 0 0
42.93/43.15 c undercover : 0.00 0.00 0 0 0
42.93/43.15 c vbounds : 0.01 0.00 1 0 0
42.93/43.15 c veclendiving : 0.04 0.00 4 0 0
42.93/43.15 c zeroobj : 0.00 0.00 0 0 0
42.93/43.15 c zirounding : 0.01 0.00 1000 0 0
42.93/43.15 c other solutions : - - - 0 -
42.93/43.15 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
42.93/43.15 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
42.93/43.15 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
42.93/43.15 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
42.93/43.15 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
42.93/43.15 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
42.93/43.15 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
42.93/43.15 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
42.93/43.15 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
42.93/43.15 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
42.93/43.15 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
42.93/43.15 c primal LP : 0.07 387 0 0.00 0.00 0.07 387
42.93/43.15 c dual LP : 17.01 30028 412764 13.79 24265.28 0.01 102
42.93/43.15 c lex dual LP : 0.00 0 0 0.00 -
42.93/43.15 c barrier LP : 0.00 0 0 0.00 - 0.00 0
42.93/43.15 c resolve instable : 0.00 0 0 0.00 -
42.93/43.15 c diving/probing LP: 0.25 199 5593 28.11 22802.70
42.93/43.15 c strong branching : 0.08 38 1468 38.63 19401.05 - - 0
42.93/43.15 c (at root node) : - 38 1468 38.63 -
42.93/43.15 c conflict analysis: 0.00 0 0 0.00 -
42.93/43.15 c B&B Tree :
42.93/43.15 c number of runs : 2
42.93/43.15 c nodes : 28715 (14415 internal, 14300 leaves)
42.93/43.15 c feasible leaves : 0
42.93/43.15 c infeas. leaves : 14300
42.93/43.15 c objective leaves : 0
42.93/43.15 c nodes (total) : 29832 (14988 internal, 14844 leaves)
42.93/43.15 c nodes left : 0
42.93/43.15 c max depth : 46
42.93/43.15 c max depth (total): 46
42.93/43.15 c backtracks : 3829 (13.3%)
42.93/43.15 c early backtracks : 0 (0.0%)
42.93/43.15 c nodes exc. ref. : 0 (0.0%)
42.93/43.15 c delayed cutoffs : 116
42.93/43.15 c repropagations : 43537 (53120 domain reductions, 116 cutoffs)
42.93/43.15 c avg switch length: 4.58
42.93/43.15 c switching time : 2.48
42.93/43.15 c Root Node :
42.93/43.15 c First LP value : +0.00000000000000e+00
42.93/43.15 c First LP Iters : 95 (30944.63 Iter/sec)
42.93/43.15 c First LP Time : 0.00
42.93/43.15 c Final Dual Bound : -
42.93/43.15 c Final Root Iters : 1844
42.93/43.15 c Root LP Estimate : +2.61206610072461e-03
42.93/43.15 c Solution :
42.93/43.15 c Solutions found : 0 (0 improvements)
42.93/43.15 c Primal Bound : infeasible
42.93/43.15 c Dual Bound : -
42.93/43.15 c Gap : 0.00 %
42.93/43.15 c Integrals : Total Avg%
42.93/43.15 c primal-dual : - - (problem infeasible)
42.93/43.15 c primal-ref : - - (problem infeasible)
42.93/43.15 c dual-ref : - - (problem infeasible)
42.93/43.16 c Time complete: 42.9887.