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-4444095-1721301645.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.02 c (round 1, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 2, exhaustive) 0 del vars, 187 del conss, 0 add conss, 0 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 3, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (round 4, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (round 5, exhaustive) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.05 c (0.0s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05 c (0.1s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.05 c dynamic symmetry handling statistics:
0.00/0.05 c orbitopal reduction: no components
0.00/0.05 c orbital reduction: 1 components of sizes 1
0.00/0.05 c lexicographic reduction: 1 permutations with support sizes 121
0.00/0.05 c handled 1 out of 1 symmetry components
0.00/0.05 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.05 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 143 cliques
0.00/0.05 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 22 constraints of type <setppc>
0.00/0.05 c 2420 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.997055
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.05 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.05 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.05 c misc/usesymmetry = 3
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.05 c
0.00/0.05 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.05 c
0.00/0.05 c # Type of symmetries that shall be computed?
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.05 c propagating/symmetry/symtype = 1
0.00/0.05 c
0.00/0.05 c # Should components consisting of a single full reflection be handled?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.07 c 0.1s| 1 | 0 | 95 | - | 11M | 0 | 231 |2481 |2443 | 0 | 0 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.20 c 0.2s| 1 | 0 | 1441 | - | 12M | 0 | 231 |2485 |2445 | 2 | 1 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.26 c 0.3s| 1 | 0 | 1457 | - | 14M | 0 | 231 |2490 |2449 | 6 | 2 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.29 c 0.3s| 1 | 0 | 1481 | - | 17M | 0 | 231 |2492 |2454 | 11 | 3 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.33 c 0.3s| 1 | 0 | 1496 | - | 20M | 0 | 231 |2494 |2457 | 14 | 4 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.38 c 0.4s| 1 | 0 | 1508 | - | 22M | 0 | 231 |2498 |2460 | 17 | 5 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.44 c 0.4s| 1 | 0 | 1521 | - | 23M | 0 | 231 |2498 |2462 | 19 | 6 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.52 c 0.5s| 1 | 0 | 1534 | - | 26M | 0 | 231 |2503 |2467 | 24 | 7 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.59 c 0.6s| 1 | 0 | 1544 | - | 29M | 0 | 231 |2507 |2470 | 27 | 8 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.65 c 0.7s| 1 | 0 | 1557 | - | 34M | 0 | 231 |2512 |2473 | 30 | 9 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.72 c 0.7s| 1 | 0 | 1576 | - | 37M | 0 | 231 |2519 |2476 | 33 | 10 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.73 c 0.7s| 1 | 0 | 1586 | - | 37M | 0 | 231 |2525 |2479 | 36 | 11 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.80 c 0.8s| 1 | 2 | 1776 | - | 37M | 0 | 231 |2546 |2479 | 36 | 11 | 102 | 19 | 0.000000e+00 | -- | Inf | unknown
1.39/1.49 c 1.5s| 100 | 22 | 3905 | 23.4 | 45M | 18 | 231 |2608 |2457 | 92 | 1 | 164 | 19 | 0.000000e+00 | -- | Inf | 10.96%
1.58/1.65 c 1.7s| 200 | 22 | 5283 | 18.6 | 45M | 20 | 231 |2681 |2457 | 100 | 1 | 240 | 19 | 0.000000e+00 | -- | Inf | 61.03%
1.78/1.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.78/1.83 c 1.8s| 300 | 20 | 6217 | 15.5 | 46M | 20 | 231 |2739 |2457 | 100 | 0 | 300 | 19 | 0.000000e+00 | -- | Inf | 61.13%
1.99/2.03 c 2.0s| 400 | 21 | 7251 | 14.2 | 46M | 20 | 231 |2805 |2459 | 110 | 1 | 368 | 19 | 0.000000e+00 | -- | Inf | 61.18%
2.18/2.23 c 2.2s| 500 | 21 | 8356 | 13.6 | 46M | 20 | 231 |2854 |2459 | 110 | 1 | 419 | 19 | 0.000000e+00 | -- | Inf | 61.20%
2.58/2.65 c 2.6s| 600 | 17 | 9997 | 14.0 | 50M | 20 | 231 |2923 | 0 | 158 | 0 | 492 | 19 | 0.000000e+00 | -- | Inf | 63.67%
2.88/2.92 c 2.9s| 700 | 21 | 11531 | 14.2 | 52M | 20 | 231 |2990 |2457 | 175 | 0 | 565 | 19 | 0.000000e+00 | -- | Inf | 64.76%
3.08/3.17 c 3.2s| 800 | 25 | 13271 | 14.6 | 53M | 20 | 231 |3055 |2455 | 196 | 1 | 640 | 19 | 0.000000e+00 | -- | Inf | 65.19%
3.38/3.49 c 3.5s| 900 | 21 | 14902 | 14.8 | 53M | 20 | 231 |3150 |2457 | 202 | 1 | 748 | 19 | 0.000000e+00 | -- | Inf | 65.62%
3.78/3.86 c 3.9s| 1000 | 23 | 16150 | 14.6 | 53M | 20 | 231 |3183 |2454 | 221 | 1 | 793 | 19 | 0.000000e+00 | -- | Inf | 66.13%
4.08/4.14 c 4.1s| 1100 | 32 | 18136 | 15.1 | 53M | 20 | 231 |3249 |2456 | 231 | 1 | 870 | 19 | 0.000000e+00 | -- | Inf | 66.22%
4.08/4.19 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.18/4.22 c (run 1, node 1117) performing user restart
4.18/4.22 c
4.18/4.23 c (restart) converted 14 cuts from the global cut pool into linear constraints
4.18/4.23 c
4.18/4.24 c presolving:
4.18/4.24 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.18/4.24 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.18/4.24 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.18/4.24 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.18/4.24 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.18/4.25 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.18/4.25 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.18/4.25 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.18/4.26 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.18/4.26 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.18/4.27 c presolving (11 rounds: 11 fast, 8 medium, 7 exhaustive):
4.18/4.27 c 31 deleted vars, 872 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 1233 changed coefficients
4.18/4.27 c 0 implications, 301 cliques
4.18/4.27 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 2409 constraints
4.18/4.27 c 14 constraints of type <knapsack>
4.18/4.27 c 20 constraints of type <setppc>
4.18/4.27 c 2375 constraints of type <logicor>
4.18/4.27 c transformed objective value is always integral (scale: 1)
4.18/4.27 c Presolving Time: 0.08
4.18/4.27 c
4.27/4.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.27/4.30 c 4.3s| 1 | 0 | 18464 | - | 52M | 0 | 200 |2452 |1845 | 0 | 0 | 931 | 19 | 0.000000e+00 | -- | Inf | unknown
4.27/4.39 c 4.4s| 1 | 0 | 18482 | - | 52M | 0 | 200 |2456 |1852 | 7 | 1 | 935 | 19 | 0.000000e+00 | -- | Inf | unknown
4.37/4.44 c 4.4s| 1 | 0 | 18493 | - | 53M | 0 | 200 |2459 |1856 | 11 | 2 | 938 | 19 | 0.000000e+00 | -- | Inf | unknown
4.37/4.49 c 4.5s| 1 | 0 | 18505 | - | 53M | 0 | 200 |2461 |1859 | 14 | 3 | 940 | 19 | 0.000000e+00 | -- | Inf | unknown
4.47/4.55 c 4.5s| 1 | 0 | 18524 | - | 54M | 0 | 200 |2463 |1863 | 18 | 4 | 942 | 19 | 0.000000e+00 | -- | Inf | unknown
4.57/4.63 c 4.6s| 1 | 0 | 18542 | - | 57M | 0 | 200 |2465 |1867 | 22 | 5 | 944 | 19 | 0.000000e+00 | -- | Inf | unknown
4.67/4.71 c 4.7s| 1 | 0 | 18556 | - | 59M | 0 | 200 |2469 |1869 | 24 | 6 | 948 | 19 | 0.000000e+00 | -- | Inf | unknown
4.67/4.78 c 4.8s| 1 | 0 | 18575 | - | 59M | 0 | 200 |2470 |1872 | 27 | 7 | 949 | 19 | 0.000000e+00 | -- | Inf | unknown
4.77/4.83 c 4.8s| 1 | 0 | 18591 | - | 60M | 0 | 200 |2470 |1875 | 30 | 8 | 949 | 19 | 0.000000e+00 | -- | Inf | unknown
4.77/4.88 c 4.9s| 1 | 0 | 18606 | - | 60M | 0 | 200 |2471 |1880 | 35 | 9 | 950 | 19 | 0.000000e+00 | -- | Inf | unknown
4.87/4.93 c 4.9s| 1 | 0 | 18620 | - | 60M | 0 | 200 |2472 |1884 | 39 | 10 | 951 | 19 | 0.000000e+00 | -- | Inf | unknown
4.87/4.94 c 4.9s| 1 | 0 | 18636 | - | 60M | 0 | 200 |2473 |1887 | 42 | 11 | 952 | 19 | 0.000000e+00 | -- | Inf | unknown
4.97/5.01 c 5.0s| 1 | 2 | 18782 | - | 60M | 0 | 200 |2481 |1887 | 42 | 11 | 960 | 38 | 0.000000e+00 | -- | Inf | unknown
5.47/5.52 c 5.5s| 100 | 15 | 20594 | 15.4 | 62M | 19 | 200 |2538 |1838 | 101 | 1 |1017 | 38 | 0.000000e+00 | -- | Inf | 2.92%
5.98/6.05 c 6.0s| 200 | 24 | 22197 | 15.5 | 65M | 19 | 200 |2613 |1840 | 139 | 1 |1095 | 38 | 0.000000e+00 | -- | Inf | 10.16%
6.27/6.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.27/6.33 c 6.3s| 300 | 24 | 23797 | 15.5 | 66M | 20 | 200 |2684 |1838 | 150 | 1 |1174 | 38 | 0.000000e+00 | -- | Inf | 18.09%
6.77/6.84 c 6.8s| 400 | 24 | 25009 | 15.3 | 74M | 20 | 200 |2725 |1844 | 204 | 0 |1217 | 38 | 0.000000e+00 | -- | Inf | 21.78%
6.97/7.06 c 7.1s| 500 | 26 | 26318 | 15.1 | 78M | 20 | 200 |2769 |1843 | 237 | 0 |1277 | 38 | 0.000000e+00 | -- | Inf | 22.78%
7.36/7.48 c 7.5s| 600 | 24 | 27641 | 15.0 | 78M | 20 | 200 |2804 |1840 | 260 | 0 |1328 | 38 | 0.000000e+00 | -- | Inf | 24.37%
7.66/7.75 c 7.8s| 700 | 24 | 28956 | 14.9 | 78M | 20 | 200 |2835 |1844 | 302 | 2 |1374 | 38 | 0.000000e+00 | -- | Inf | 25.17%
7.76/7.89 c 7.9s| 800 | 24 | 30308 | 14.9 | 78M | 20 | 200 |2872 |1846 | 324 | 0 |1428 | 38 | 0.000000e+00 | -- | Inf | 25.73%
7.97/8.07 c 8.1s| 900 | 25 | 31637 | 14.8 | 78M | 20 | 200 |2922 |1842 | 350 | 0 |1490 | 38 | 0.000000e+00 | -- | Inf | 26.20%
8.16/8.28 c 8.3s| 1000 | 23 | 32941 | 14.7 | 78M | 20 | 200 |2963 |1841 | 369 | 0 |1544 | 38 | 0.000000e+00 | -- | Inf | 29.10%
8.56/8.60 c 8.6s| 1100 | 27 | 34171 | 14.6 | 78M | 20 | 200 |3014 |1844 | 412 | 1 |1611 | 38 | 0.000000e+00 | -- | Inf | 32.05%
8.76/8.81 c 8.8s| 1200 | 29 | 35388 | 14.5 | 78M | 20 | 200 |3096 |1845 | 433 | 1 |1701 | 38 | 0.000000e+00 | -- | Inf | 32.45%
8.86/8.91 c 8.9s| 1300 | 25 | 36571 | 14.4 | 78M | 20 | 200 |3165 |1843 | 433 | 0 |1776 | 38 | 0.000000e+00 | -- | Inf | 32.52%
8.96/9.05 c 9.1s| 1400 | 27 | 37689 | 14.2 | 78M | 20 | 200 |3225 |1845 | 433 | 1 |1843 | 38 | 0.000000e+00 | -- | Inf | 32.59%
9.26/9.36 c 9.4s| 1500 | 25 | 39271 | 14.3 | 78M | 20 | 200 |3269 |1844 | 445 | 0 |1911 | 38 | 0.000000e+00 | -- | Inf | 32.69%
9.46/9.54 c 9.5s| 1600 | 25 | 40517 | 14.2 | 78M | 20 | 200 |3315 |1844 | 445 | 0 |1965 | 38 | 0.000000e+00 | -- | Inf | 32.75%
9.66/9.71 c 9.7s| 1700 | 21 | 41644 | 14.1 | 78M | 20 | 200 |3365 |1844 | 445 | 0 |2025 | 38 | 0.000000e+00 | -- | Inf | 32.77%
9.85/9.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.85/9.97 c 10.0s| 1800 | 20 | 42925 | 14.1 | 78M | 28 | 200 |3407 |1843 | 461 | 1 |2077 | 38 | 0.000000e+00 | -- | Inf | 33.53%
10.06/10.16 c 10.2s| 1900 | 20 | 44336 | 14.1 | 78M | 28 | 200 |3441 |1844 | 492 | 0 |2127 | 38 | 0.000000e+00 | -- | Inf | 33.91%
10.25/10.31 c 10.3s| 2000 | 20 | 45484 | 14.0 | 78M | 28 | 200 |3484 |1845 | 506 | 1 |2186 | 38 | 0.000000e+00 | -- | Inf | 37.29%
10.35/10.41 c 10.4s| 2100 | 19 | 46744 | 14.0 | 78M | 28 | 200 |3524 |1844 | 508 | 0 |2241 | 38 | 0.000000e+00 | -- | Inf | 38.89%
10.45/10.52 c 10.5s| 2200 | 19 | 48018 | 13.9 | 78M | 28 | 200 |3575 |1842 | 514 | 0 |2306 | 38 | 0.000000e+00 | -- | Inf | 38.99%
10.55/10.64 c 10.6s| 2300 | 21 | 49186 | 13.9 | 78M | 28 | 200 |3634 |1845 | 521 | 1 |2372 | 38 | 0.000000e+00 | -- | Inf | 39.84%
10.65/10.76 c 10.8s| 2400 | 19 | 50512 | 13.8 | 78M | 28 | 200 |3680 |1842 | 530 | 0 |2435 | 38 | 0.000000e+00 | -- | Inf | 40.63%
10.75/10.87 c 10.9s| 2500 | 24 | 51880 | 13.8 | 78M | 28 | 200 |3736 |1843 | 535 | 1 |2505 | 38 | 0.000000e+00 | -- | Inf | 40.71%
10.85/10.96 c 11.0s| 2600 | 20 | 53165 | 13.8 | 78M | 28 | 200 |3794 |1844 | 535 | 1 |2576 | 38 | 0.000000e+00 | -- | Inf | 40.74%
10.96/11.04 c 11.0s| 2700 | 18 | 54384 | 13.8 | 78M | 28 | 200 |3833 |1842 | 535 | 1 |2641 | 38 | 0.000000e+00 | -- | Inf | 54.09%
11.06/11.14 c 11.1s| 2800 | 23 | 55710 | 13.8 | 78M | 28 | 200 |3880 |1846 | 545 | 1 |2702 | 38 | 0.000000e+00 | -- | Inf | 54.13%
11.15/11.23 c 11.2s| 2900 | 27 | 57045 | 13.7 | 78M | 28 | 200 |3912 |1846 | 545 | 0 |2752 | 38 | 0.000000e+00 | -- | Inf | 54.14%
11.25/11.32 c 11.3s| 3000 | 29 | 58246 | 13.7 | 78M | 29 | 200 |3969 |1846 | 547 | 1 |2821 | 38 | 0.000000e+00 | -- | Inf | 54.15%
11.35/11.41 c 11.4s| 3100 | 29 | 59720 | 13.7 | 78M | 30 | 200 |4014 |1846 | 547 | 1 |2877 | 38 | 0.000000e+00 | -- | Inf | 54.15%
11.45/11.50 c 11.5s| 3200 | 24 | 61019 | 13.7 | 78M | 30 | 200 |4077 |1844 | 547 | 1 |2947 | 38 | 0.000000e+00 | -- | Inf | 54.15%
11.45/11.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.45/11.59 c 11.6s| 3300 | 26 | 62555 | 13.7 | 78M | 30 | 200 |4160 |1847 | 551 | 1 |3037 | 38 | 0.000000e+00 | -- | Inf | 54.15%
11.55/11.68 c 11.7s| 3400 | 24 | 63878 | 13.7 | 78M | 34 | 200 |4195 |1846 | 551 | 0 |3075 | 38 | 0.000000e+00 | -- | Inf | 54.17%
11.65/11.78 c 11.8s| 3500 | 18 | 65156 | 13.7 | 78M | 34 | 200 |4250 |1845 | 552 | 1 |3132 | 38 | 0.000000e+00 | -- | Inf | 54.17%
11.75/11.89 c 11.9s| 3600 | 16 | 66489 | 13.7 | 78M | 34 | 200 |4304 |1838 | 564 | 1 |3198 | 38 | 0.000000e+00 | -- | Inf | 55.35%
12.05/12.11 c 12.1s| 3700 | 17 | 68015 | 13.7 | 78M | 34 | 200 |4352 |1843 | 602 | 1 |3258 | 38 | 0.000000e+00 | -- | Inf | 56.09%
12.15/12.21 c 12.2s| 3800 | 17 | 69498 | 13.8 | 78M | 34 | 200 |4424 |1844 | 610 | 0 |3335 | 38 | 0.000000e+00 | -- | Inf | 56.18%
12.25/12.30 c 12.3s| 3900 | 21 | 70774 | 13.7 | 78M | 34 | 200 |4467 |1844 | 610 | 0 |3381 | 38 | 0.000000e+00 | -- | Inf | 56.21%
12.25/12.38 c 12.4s| 4000 | 18 | 71934 | 13.7 | 78M | 34 | 200 |4521 |1844 | 610 | 0 |3437 | 38 | 0.000000e+00 | -- | Inf | 56.23%
12.45/12.55 c 12.6s| 4100 | 14 | 73280 | 13.7 | 78M | 34 | 200 |4565 |1838 | 619 | 1 |3493 | 38 | 0.000000e+00 | -- | Inf | 60.35%
12.74/12.83 c 12.8s| 4200 | 17 | 74609 | 13.7 | 78M | 34 | 200 |4603 |1838 | 652 | 1 |3547 | 38 | 0.000000e+00 | -- | Inf | 63.47%
12.95/13.08 c 13.1s| 4300 | 17 | 76045 | 13.7 | 78M | 34 | 200 |4603 |1842 | 688 | 1 |3589 | 38 | 0.000000e+00 | -- | Inf | 65.18%
13.24/13.35 c 13.4s| 4400 | 17 | 77471 | 13.7 | 79M | 34 | 200 |4641 |1846 | 726 | 0 |3640 | 38 | 0.000000e+00 | -- | Inf | 65.69%
13.34/13.44 c 13.4s| 4500 | 15 | 78723 | 13.7 | 79M | 34 | 200 |4679 |1845 | 726 | 0 |3706 | 38 | 0.000000e+00 | -- | Inf | 65.77%
13.44/13.52 c 13.5s| 4600 | 17 | 79898 | 13.7 | 79M | 34 | 200 |4714 |1846 | 726 | 1 |3769 | 38 | 0.000000e+00 | -- | Inf | 65.82%
13.54/13.62 c 13.6s| 4700 | 12 | 81295 | 13.7 | 79M | 34 | 200 |4750 |1844 | 729 | 0 |3830 | 38 | 0.000000e+00 | -- | Inf | 66.60%
13.84/13.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.84/13.97 c 14.0s| 4800 | 14 | 82596 | 13.6 | 79M | 34 | 200 |4782 |1842 | 782 | 0 |3883 | 38 | 0.000000e+00 | -- | Inf | 74.80%
14.05/14.15 c 14.2s| 4900 | 16 | 83999 | 13.7 | 79M | 34 | 200 |4814 |1842 | 812 | 0 |3929 | 38 | 0.000000e+00 | -- | Inf | 75.93%
14.34/14.44 c 14.4s| 5000 | 15 | 85371 | 13.7 | 79M | 34 | 200 |4862 |1846 | 850 | 3 |3990 | 38 | 0.000000e+00 | -- | Inf | 76.95%
14.44/14.54 c 14.5s| 5100 | 15 | 86690 | 13.6 | 79M | 34 | 200 |4910 |1841 | 857 | 1 |4043 | 38 | 0.000000e+00 | -- | Inf | 77.15%
14.74/14.84 c 14.8s| 5200 | 17 | 88434 | 13.7 | 79M | 34 | 200 |4941 |1844 | 907 | 2 |4087 | 38 | 0.000000e+00 | -- | Inf | 78.20%
14.94/15.01 c 15.0s| 5300 | 17 | 89695 | 13.7 | 79M | 34 | 200 |4987 |1842 | 927 | 1 |4144 | 38 | 0.000000e+00 | -- | Inf | 78.56%
15.04/15.14 c 15.1s| 5400 | 17 | 90999 | 13.7 | 79M | 34 | 200 |5045 |1843 | 939 | 1 |4214 | 38 | 0.000000e+00 | -- | Inf | 78.68%
15.14/15.22 c 15.2s| 5500 | 17 | 92252 | 13.7 | 79M | 34 | 200 |5097 |1844 | 941 | 1 |4281 | 38 | 0.000000e+00 | -- | Inf | 78.73%
15.24/15.31 c 15.3s| 5600 | 18 | 93481 | 13.6 | 79M | 34 | 200 |5204 | 0 | 941 | 0 |4395 | 38 | 0.000000e+00 | -- | Inf | 78.75%
15.34/15.44 c 15.4s| 5700 | 17 | 94788 | 13.6 | 79M | 34 | 200 |5265 |1842 | 948 | 1 |4473 | 38 | 0.000000e+00 | -- | Inf | 78.80%
15.54/15.61 c 15.6s| 5800 | 15 | 96162 | 13.6 | 79M | 34 | 200 |5323 |1844 | 970 | 0 |4541 | 38 | 0.000000e+00 | -- | Inf | 79.28%
15.63/15.76 c 15.8s| 5900 | 18 | 97394 | 13.6 | 79M | 34 | 200 |5385 |1840 | 992 | 1 |4608 | 38 | 0.000000e+00 | -- | Inf | 79.48%
15.73/15.87 c 15.9s| 6000 | 17 | 98610 | 13.6 | 79M | 34 | 200 |5437 |1840 | 999 | 1 |4665 | 38 | 0.000000e+00 | -- | Inf | 79.55%
15.83/15.95 c 15.9s| 6100 | 15 | 99810 | 13.6 | 79M | 34 | 200 |5488 |1840 |1001 | 0 |4722 | 38 | 0.000000e+00 | -- | Inf | 79.58%
15.94/16.07 c 16.1s| 6200 | 17 |101308 | 13.6 | 79M | 34 | 200 |5538 |1839 |1009 | 0 |4779 | 38 | 0.000000e+00 | -- | Inf | 79.66%
16.04/16.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.04/16.16 c 16.2s| 6300 | 17 |102677 | 13.6 | 79M | 34 | 200 |5591 |1839 |1012 | 0 |4834 | 38 | 0.000000e+00 | -- | Inf | 79.67%
16.13/16.28 c 16.3s| 6400 | 19 |104072 | 13.6 | 79M | 34 | 200 |5637 |1841 |1019 | 1 |4885 | 38 | 0.000000e+00 | -- | Inf | 79.77%
16.23/16.37 c 16.4s| 6500 | 21 |105243 | 13.6 | 79M | 34 | 200 |5702 |1843 |1024 | 0 |4958 | 38 | 0.000000e+00 | -- | Inf | 79.78%
16.33/16.45 c 16.5s| 6600 | 21 |106605 | 13.6 | 80M | 34 | 200 |5774 |1843 |1024 | 1 |5035 | 38 | 0.000000e+00 | -- | Inf | 79.79%
16.43/16.53 c 16.5s| 6700 | 21 |107886 | 13.6 | 80M | 34 | 200 |5840 |1843 |1024 | 0 |5102 | 38 | 0.000000e+00 | -- | Inf | 79.80%
16.53/16.61 c 16.6s| 6800 | 18 |108967 | 13.5 | 80M | 34 | 200 |5908 | 0 |1026 | 0 |5174 | 38 | 0.000000e+00 | -- | Inf | 79.81%
16.53/16.69 c 16.7s| 6900 | 19 |110179 | 13.5 | 80M | 34 | 200 |5978 |1844 |1028 | 1 |5248 | 38 | 0.000000e+00 | -- | Inf | 79.82%
16.63/16.78 c 16.8s| 7000 | 19 |111413 | 13.5 | 80M | 34 | 200 |6045 |1843 |1030 | 0 |5319 | 38 | 0.000000e+00 | -- | Inf | 79.83%
16.73/16.87 c 16.9s| 7100 | 20 |112655 | 13.5 | 80M | 34 | 200 |6121 |1843 |1032 | 1 |5396 | 38 | 0.000000e+00 | -- | Inf | 79.84%
16.83/16.97 c 17.0s| 7200 | 22 |114067 | 13.5 | 80M | 34 | 200 |6185 |1843 |1032 | 0 |5461 | 38 | 0.000000e+00 | -- | Inf | 79.85%
16.94/17.06 c 17.1s| 7300 | 23 |115478 | 13.5 | 80M | 34 | 200 |6246 |1843 |1034 | 1 |5525 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.03/17.15 c 17.2s| 7400 | 19 |116855 | 13.5 | 80M | 34 | 200 |6310 |1843 |1034 | 0 |5590 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.13/17.24 c 17.2s| 7500 | 17 |118191 | 13.5 | 80M | 34 | 200 |6395 |1843 |1034 | 0 |5675 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.23/17.33 c 17.3s| 7600 | 17 |119357 | 13.5 | 80M | 34 | 200 |6477 |1842 |1036 | 1 |5761 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.33/17.43 c 17.4s| 7700 | 18 |120855 | 13.5 | 80M | 34 | 200 |6544 |1844 |1038 | 0 |5832 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.43/17.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.43/17.53 c 17.5s| 7800 | 21 |122323 | 13.5 | 80M | 34 | 200 |6617 |1844 |1038 | 0 |5910 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.53/17.64 c 17.6s| 7900 | 17 |123909 | 13.5 | 80M | 35 | 200 |6683 |1844 |1038 | 1 |5984 | 38 | 0.000000e+00 | -- | Inf | 79.85%
17.63/17.74 c 17.7s| 8000 | 14 |125432 | 13.6 | 80M | 35 | 200 |6774 |1843 |1039 | 1 |6078 | 38 | 0.000000e+00 | -- | Inf | 79.88%
17.83/17.92 c 17.9s| 8100 | 14 |126923 | 13.6 | 80M | 35 | 200 |6813 |1844 |1068 | 1 |6132 | 38 | 0.000000e+00 | -- | Inf | 81.44%
17.93/18.03 c 18.0s| 8200 | 16 |128241 | 13.6 | 80M | 35 | 200 |6838 |1838 |1077 | 1 |6183 | 38 | 0.000000e+00 | -- | Inf | 82.22%
18.13/18.22 c 18.2s| 8300 | 18 |129605 | 13.6 | 80M | 35 | 200 |6880 | 0 |1113 | 0 |6239 | 38 | 0.000000e+00 | -- | Inf | 82.89%
18.22/18.33 c 18.3s| 8400 | 19 |130852 | 13.6 | 80M | 35 | 200 |6925 |1842 |1120 | 1 |6305 | 38 | 0.000000e+00 | -- | Inf | 83.00%
18.32/18.48 c 18.5s| 8500 | 16 |132198 | 13.6 | 80M | 35 | 200 |6984 |1843 |1138 | 0 |6374 | 38 | 0.000000e+00 | -- | Inf | 83.18%
18.52/18.63 c 18.6s| 8600 | 16 |133622 | 13.6 | 80M | 35 | 200 |7035 |1843 |1155 | 0 |6450 | 38 | 0.000000e+00 | -- | Inf | 83.30%
18.62/18.72 c 18.7s| 8700 | 16 |134801 | 13.5 | 80M | 35 | 200 |7076 |1843 |1157 | 1 |6507 | 38 | 0.000000e+00 | -- | Inf | 83.35%
18.72/18.85 c 18.9s| 8800 | 13 |136312 | 13.6 | 80M | 35 | 200 |7109 |1843 |1167 | 0 |6572 | 38 | 0.000000e+00 | -- | Inf | 83.56%
18.82/19.00 c 19.0s| 8900 | 13 |137923 | 13.6 | 80M | 35 | 200 |7150 |1843 |1182 | 0 |6646 | 38 | 0.000000e+00 | -- | Inf | 83.79%
19.12/19.21 c 19.2s| 9000 | 18 |139824 | 13.6 | 80M | 35 | 200 |7194 |1840 |1202 | 1 |6720 | 38 | 0.000000e+00 | -- | Inf | 84.03%
19.32/19.40 c 19.4s| 9100 | 26 |141348 | 13.7 | 80M | 35 | 200 |7218 |1843 |1229 | 0 |6768 | 38 | 0.000000e+00 | -- | Inf | 84.32%
19.32/19.49 c 19.5s| 9200 | 24 |142656 | 13.6 | 80M | 35 | 200 |7266 |1843 |1229 | 0 |6832 | 38 | 0.000000e+00 | -- | Inf | 84.38%
19.52/19.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.52/19.63 c 19.6s| 9300 | 26 |144166 | 13.7 | 80M | 35 | 200 |7298 |1843 |1240 | 1 |6885 | 38 | 0.000000e+00 | -- | Inf | 84.45%
19.62/19.72 c 19.7s| 9400 | 26 |145364 | 13.6 | 80M | 35 | 200 |7305 |1843 |1243 | 1 |6926 | 38 | 0.000000e+00 | -- | Inf | 84.51%
19.72/19.84 c 19.8s| 9500 | 28 |146639 | 13.6 | 80M | 35 | 200 |7320 |1842 |1251 | 0 |6962 | 38 | 0.000000e+00 | -- | Inf | 84.54%
19.82/19.95 c 19.9s| 9600 | 30 |147844 | 13.6 | 80M | 35 | 200 |7366 |1844 |1258 | 0 |7034 | 38 | 0.000000e+00 | -- | Inf | 84.59%
19.92/20.04 c 20.0s| 9700 | 28 |148994 | 13.6 | 81M | 35 | 200 |7396 |1842 |1260 | 0 |7093 | 38 | 0.000000e+00 | -- | Inf | 84.62%
20.02/20.13 c 20.1s| 9800 | 31 |150200 | 13.6 | 81M | 35 | 200 |7414 |1842 |1260 | 0 |7157 | 38 | 0.000000e+00 | -- | Inf | 84.64%
20.12/20.22 c 20.2s| 9900 | 29 |151473 | 13.6 | 81M | 35 | 200 |7457 |1844 |1264 | 0 |7216 | 38 | 0.000000e+00 | -- | Inf | 84.64%
20.22/20.31 c 20.3s| 10000 | 29 |152599 | 13.6 | 81M | 35 | 200 |7493 |1842 |1264 | 0 |7267 | 38 | 0.000000e+00 | -- | Inf | 84.65%
20.32/20.40 c 20.4s| 10100 | 28 |153840 | 13.6 | 81M | 35 | 200 |7550 |1841 |1268 | 0 |7348 | 38 | 0.000000e+00 | -- | Inf | 84.67%
20.32/20.49 c 20.5s| 10200 | 30 |154921 | 13.5 | 81M | 35 | 200 |7641 |1842 |1273 | 0 |7455 | 38 | 0.000000e+00 | -- | Inf | 84.67%
20.42/20.57 c 20.6s| 10300 | 28 |156015 | 13.5 | 81M | 35 | 200 |7708 |1843 |1273 | 0 |7534 | 38 | 0.000000e+00 | -- | Inf | 84.68%
20.62/20.71 c 20.7s| 10400 | 30 |157405 | 13.5 | 81M | 35 | 200 |7780 |1840 |1279 | 1 |7623 | 38 | 0.000000e+00 | -- | Inf | 84.74%
20.72/20.80 c 20.8s| 10500 | 30 |158647 | 13.5 | 81M | 35 | 200 |7823 |1844 |1279 | 0 |7685 | 38 | 0.000000e+00 | -- | Inf | 84.76%
20.72/20.88 c 20.9s| 10600 | 27 |159855 | 13.5 | 81M | 35 | 200 |7884 |1844 |1279 | 1 |7752 | 38 | 0.000000e+00 | -- | Inf | 84.78%
20.82/20.98 c 21.0s| 10700 | 29 |161254 | 13.5 | 81M | 35 | 200 |7926 |1844 |1279 | 1 |7820 | 38 | 0.000000e+00 | -- | Inf | 84.79%
20.92/21.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.92/21.08 c 21.1s| 10800 | 29 |162827 | 13.5 | 81M | 35 | 200 |7981 |1844 |1279 | 1 |7891 | 38 | 0.000000e+00 | -- | Inf | 84.81%
21.11/21.20 c 21.2s| 10900 | 33 |164110 | 13.5 | 81M | 35 | 200 |8008 |1844 |1285 | 1 |7950 | 38 | 0.000000e+00 | -- | Inf | 84.89%
21.11/21.28 c 21.3s| 11000 | 32 |165173 | 13.5 | 81M | 35 | 200 |8076 |1844 |1285 | 0 |8026 | 38 | 0.000000e+00 | -- | Inf | 84.89%
21.21/21.37 c 21.4s| 11100 | 34 |166515 | 13.5 | 81M | 35 | 200 |8135 |1840 |1285 | 1 |8107 | 38 | 0.000000e+00 | -- | Inf | 84.93%
21.31/21.45 c 21.5s| 11200 | 32 |167643 | 13.5 | 81M | 35 | 200 |8218 |1844 |1285 | 0 |8199 | 38 | 0.000000e+00 | -- | Inf | 84.94%
21.41/21.54 c 21.5s| 11300 | 32 |168884 | 13.5 | 81M | 35 | 200 |8260 |1843 |1285 | 1 |8253 | 38 | 0.000000e+00 | -- | Inf | 84.96%
21.51/21.63 c 21.6s| 11400 | 30 |170144 | 13.4 | 81M | 35 | 200 |8327 |1843 |1288 | 1 |8333 | 38 | 0.000000e+00 | -- | Inf | 84.96%
21.61/21.79 c 21.8s| 11500 | 34 |171625 | 13.5 | 81M | 35 | 200 |8390 |1842 |1301 | 1 |8419 | 38 | 0.000000e+00 | -- | Inf | 85.01%
21.71/21.88 c 21.9s| 11600 | 32 |172940 | 13.5 | 81M | 35 | 200 |8484 |1842 |1301 | 0 |8526 | 38 | 0.000000e+00 | -- | Inf | 85.03%
21.81/21.98 c 22.0s| 11700 | 34 |174530 | 13.5 | 81M | 35 | 200 |8529 |1844 |1302 | 1 |8584 | 38 | 0.000000e+00 | -- | Inf | 85.05%
21.92/22.08 c 22.1s| 11800 | 30 |176330 | 13.5 | 81M | 35 | 200 |8592 |1842 |1303 | 0 |8655 | 38 | 0.000000e+00 | -- | Inf | 85.07%
22.02/22.19 c 22.2s| 11900 | 36 |177894 | 13.5 | 81M | 35 | 200 |8652 |1842 |1303 | 0 |8743 | 38 | 0.000000e+00 | -- | Inf | 85.08%
22.11/22.28 c 22.3s| 12000 | 42 |179216 | 13.5 | 81M | 35 | 200 |8735 |1842 |1303 | 0 |8837 | 38 | 0.000000e+00 | -- | Inf | 85.08%
22.21/22.39 c 22.4s| 12100 | 50 |180563 | 13.5 | 85M | 35 | 200 |8800 |1842 |1303 | 1 |8920 | 38 | 0.000000e+00 | -- | Inf | 85.08%
22.31/22.48 c 22.5s| 12200 | 42 |181994 | 13.5 | 85M | 35 | 200 |8897 |1842 |1303 | 0 |9019 | 38 | 0.000000e+00 | -- | Inf | 85.08%
22.41/22.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.41/22.58 c 22.6s| 12300 | 38 |183385 | 13.5 | 85M | 35 | 200 |8974 |1843 |1303 | 1 |9104 | 38 | 0.000000e+00 | -- | Inf | 85.09%
22.51/22.68 c 22.7s| 12400 | 38 |184796 | 13.5 | 85M | 35 | 200 |9034 |1842 |1304 | 1 |9189 | 38 | 0.000000e+00 | -- | Inf | 85.10%
22.61/22.78 c 22.8s| 12500 | 38 |186073 | 13.5 | 85M | 35 | 200 |9097 |1843 |1304 | 1 |9259 | 38 | 0.000000e+00 | -- | Inf | 85.11%
22.71/22.87 c 22.9s| 12600 | 42 |187404 | 13.5 | 85M | 35 | 200 |9163 |1842 |1304 | 0 |9336 | 38 | 0.000000e+00 | -- | Inf | 85.11%
22.81/22.97 c 23.0s| 12700 | 42 |188890 | 13.5 | 85M | 35 | 200 |9240 |1842 |1304 | 1 |9430 | 38 | 0.000000e+00 | -- | Inf | 85.12%
22.91/23.07 c 23.1s| 12800 | 36 |190476 | 13.6 | 85M | 35 | 200 |9325 |1843 |1304 | 1 |9530 | 38 | 0.000000e+00 | -- | Inf | 85.12%
23.01/23.17 c 23.2s| 12900 | 34 |191795 | 13.6 | 85M | 35 | 200 |9401 |1842 |1304 | 0 |9617 | 38 | 0.000000e+00 | -- | Inf | 85.12%
23.21/23.30 c 23.3s| 13000 | 40 |193320 | 13.6 | 85M | 35 | 200 |9457 |1842 |1309 | 0 |9691 | 38 | 0.000000e+00 | -- | Inf | 85.14%
23.31/23.40 c 23.4s| 13100 | 34 |194900 | 13.6 | 85M | 35 | 200 |9520 |1841 |1309 | 0 |9766 | 38 | 0.000000e+00 | -- | Inf | 85.15%
23.41/23.55 c 23.6s| 13200 | 34 |196249 | 13.6 | 85M | 35 | 200 |9578 |1841 |1320 | 0 |9845 | 38 | 0.000000e+00 | -- | Inf | 85.36%
23.51/23.65 c 23.6s| 13300 | 38 |197351 | 13.6 | 85M | 35 | 200 |9638 |1841 |1329 | 1 |9920 | 38 | 0.000000e+00 | -- | Inf | 85.53%
23.60/23.76 c 23.8s| 13400 | 42 |198794 | 13.6 | 85M | 35 | 200 |9686 |1841 |1337 | 1 |9990 | 38 | 0.000000e+00 | -- | Inf | 85.69%
23.70/23.85 c 23.9s| 13500 | 41 |200156 | 13.6 | 85M | 35 | 200 |9699 |1841 |1338 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.73%
23.80/23.95 c 24.0s| 13600 | 39 |201647 | 13.6 | 85M | 35 | 200 |9738 |1841 |1338 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.78%
23.91/24.06 c 24.1s| 13700 | 37 |203143 | 13.6 | 85M | 35 | 200 |9793 |1843 |1338 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.78%
24.01/24.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.01/24.14 c 24.1s| 13800 | 39 |204378 | 13.6 | 85M | 35 | 200 |9901 |1847 |1338 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.78%
24.10/24.24 c 24.2s| 13900 | 37 |205841 | 13.6 | 85M | 35 | 200 |9955 |1843 |1339 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.78%
24.20/24.33 c 24.3s| 14000 | 37 |207333 | 13.6 | 85M | 35 | 200 | 10k|1840 |1339 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.79%
24.30/24.41 c 24.4s| 14100 | 35 |208498 | 13.6 | 85M | 35 | 200 | 10k|1841 |1339 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 85.82%
24.40/24.56 c 24.6s| 14200 | 31 |210143 | 13.6 | 85M | 35 | 200 | 10k|1842 |1353 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 86.61%
24.60/24.72 c 24.7s| 14300 | 33 |211447 | 13.6 | 85M | 35 | 200 |9975 |1844 |1372 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 86.74%
24.70/24.82 c 24.8s| 14400 | 31 |212708 | 13.6 | 85M | 35 | 200 | 10k|1841 |1377 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 87.88%
24.91/25.05 c 25.1s| 14500 | 31 |214189 | 13.6 | 85M | 35 | 200 |9975 |1844 |1422 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 89.87%
25.20/25.37 c 25.4s| 14600 | 33 |215506 | 13.6 | 85M | 35 | 200 |9939 |1841 |1474 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 91.43%
25.40/25.58 c 25.6s| 14700 | 33 |216826 | 13.6 | 85M | 35 | 200 |9950 |1842 |1504 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 92.18%
25.70/25.80 c 25.8s| 14800 | 35 |218248 | 13.6 | 85M | 35 | 200 |9984 |1842 |1526 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 92.77%
25.80/25.94 c 25.9s| 14900 | 35 |219681 | 13.6 | 85M | 35 | 200 | 10k|1842 |1540 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.07%
25.90/26.06 c 26.1s| 15000 | 33 |220774 | 13.6 | 85M | 35 | 200 | 10k|1842 |1548 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.13%
26.10/26.23 c 26.2s| 15100 | 37 |222046 | 13.6 | 85M | 35 | 200 | 10k|1842 |1557 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.24%
26.20/26.33 c 26.3s| 15200 | 35 |223336 | 13.6 | 85M | 35 | 200 | 10k| 0 |1560 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.25%
26.30/26.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.30/26.45 c 26.5s| 15300 | 35 |224544 | 13.6 | 85M | 35 | 200 | 10k|1844 |1569 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.29%
26.40/26.54 c 26.5s| 15400 | 35 |225641 | 13.6 | 85M | 35 | 200 | 10k|1844 |1569 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.31%
26.50/26.65 c 26.6s| 15500 | 35 |226941 | 13.5 | 85M | 35 | 200 | 10k|1844 |1571 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.32%
26.60/26.75 c 26.8s| 15600 | 37 |228299 | 13.5 | 85M | 35 | 200 | 10k|1844 |1572 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.35%
26.70/26.85 c 26.9s| 15700 | 37 |229555 | 13.5 | 85M | 35 | 200 | 10k|1845 |1577 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.35%
27.00/27.14 c 27.1s| 15800 | 39 |230979 | 13.5 | 85M | 35 | 200 | 10k| 0 |1596 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 93.92%
27.10/27.29 c 27.3s| 15900 | 37 |232191 | 13.5 | 85M | 35 | 200 | 10k|1844 |1617 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 94.09%
27.20/27.39 c 27.4s| 16000 | 35 |233426 | 13.5 | 85M | 35 | 200 | 10k|1843 |1618 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 94.15%
27.30/27.49 c 27.5s| 16100 | 33 |234638 | 13.5 | 85M | 35 | 200 | 10k|1843 |1619 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 94.16%
27.40/27.58 c 27.6s| 16200 | 35 |235832 | 13.5 | 85M | 35 | 200 | 10k| 0 |1624 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.17%
27.50/27.69 c 27.7s| 16300 | 37 |237134 | 13.5 | 85M | 35 | 200 | 10k|1847 |1632 | 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.17%
27.70/27.85 c 27.8s| 16400 | 38 |238368 | 13.5 | 85M | 35 | 200 | 10k|1840 |1649 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.44%
27.80/27.98 c 28.0s| 16500 | 39 |239627 | 13.5 | 85M | 35 | 200 | 10k|1841 |1656 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.50%
27.90/28.07 c 28.1s| 16600 | 37 |240983 | 13.5 | 85M | 35 | 200 | 11k|1846 |1656 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.51%
28.09/28.25 c 28.2s| 16700 | 35 |242488 | 13.5 | 85M | 35 | 200 | 11k|1843 |1669 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.74%
28.19/28.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.19/28.36 c 28.4s| 16800 | 33 |243805 | 13.5 | 85M | 35 | 200 | 11k|1846 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.75%
28.29/28.48 c 28.5s| 16900 | 31 |245188 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.76%
28.39/28.57 c 28.6s| 17000 | 33 |246395 | 13.5 | 85M | 36 | 200 | 11k|1842 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.76%
28.49/28.67 c 28.7s| 17100 | 36 |247670 | 13.5 | 85M | 36 | 200 | 11k|1842 |1671 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.76%
28.59/28.77 c 28.8s| 17200 | 34 |248898 | 13.5 | 85M | 36 | 200 | 11k| 0 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.76%
28.69/28.86 c 28.9s| 17300 | 37 |250095 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.77%
28.79/28.96 c 29.0s| 17400 | 39 |251357 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 94.77%
28.90/29.04 c 29.0s| 17500 | 40 |252427 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
28.99/29.14 c 29.1s| 17600 | 40 |253706 | 13.5 | 85M | 36 | 200 | 11k|1844 |1671 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.09/29.24 c 29.2s| 17700 | 41 |255093 | 13.5 | 85M | 36 | 200 | 11k|1844 |1673 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.19/29.34 c 29.3s| 17800 | 39 |256358 | 13.5 | 85M | 36 | 200 | 11k|1844 |1676 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.29/29.44 c 29.4s| 17900 | 35 |257794 | 13.5 | 85M | 36 | 200 | 11k|1844 |1676 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.39/29.54 c 29.5s| 18000 | 39 |259128 | 13.5 | 85M | 36 | 200 | 11k|1844 |1678 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.49/29.65 c 29.6s| 18100 | 39 |260634 | 13.5 | 85M | 36 | 200 | 11k|1842 |1681 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.59/29.76 c 29.8s| 18200 | 35 |262076 | 13.5 | 85M | 36 | 200 | 11k|1846 |1681 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.77%
29.79/29.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.79/29.93 c 29.9s| 18300 | 33 |263586 | 13.5 | 85M | 36 | 200 | 11k|1844 |1687 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 94.86%
29.89/30.08 c 30.1s| 18400 | 37 |264877 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 95.74%
29.99/30.18 c 30.2s| 18500 | 38 |266134 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 95.74%
30.09/30.29 c 30.3s| 18600 | 38 |267463 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 95.74%
30.19/30.39 c 30.4s| 18700 | 38 |268815 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 95.75%
30.38/30.50 c 30.5s| 18800 | 38 |270176 | 13.5 | 85M | 36 | 200 | 11k|1841 |1695 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 95.75%
30.48/30.62 c 30.6s| 18900 | 32 |271478 | 13.5 | 85M | 37 | 200 | 11k|1841 |1695 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 95.75%
30.58/30.73 c 30.7s| 19000 | 30 |272778 | 13.5 | 85M | 37 | 200 | 11k|1842 |1695 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 95.75%
30.78/30.99 c 31.0s| 19100 | 34 |274215 | 13.5 | 85M | 37 | 200 | 11k|1841 |1724 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 96.42%
30.99/31.15 c 31.1s| 19200 | 31 |275714 | 13.5 | 85M | 37 | 200 | 11k|1843 |1731 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 96.58%
31.08/31.26 c 31.3s| 19300 | 27 |277057 | 13.5 | 85M | 37 | 200 | 11k|1840 |1733 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 96.58%
31.28/31.42 c 31.4s| 19400 | 25 |278450 | 13.5 | 85M | 37 | 200 | 11k|1842 |1750 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.15%
31.38/31.56 c 31.6s| 19500 | 21 |279858 | 13.5 | 85M | 37 | 200 | 11k|1843 |1757 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.29%
31.48/31.67 c 31.7s| 19600 | 17 |281053 | 13.5 | 85M | 37 | 200 | 11k|1841 |1759 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.33%
31.58/31.76 c 31.8s| 19700 | 17 |282270 | 13.5 | 85M | 38 | 200 | 11k|1841 |1759 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.33%
31.68/31.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.68/31.87 c 31.9s| 19800 | 18 |283382 | 13.5 | 85M | 38 | 200 | 11k|1844 |1759 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 98.34%
31.78/31.98 c 32.0s| 19900 | 19 |284843 | 13.5 | 85M | 38 | 200 | 11k|1845 |1761 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
31.88/32.09 c 32.1s| 20000 | 18 |286318 | 13.5 | 85M | 38 | 200 | 11k|1842 |1763 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.08/32.21 c 32.2s| 20100 | 16 |287926 | 13.5 | 85M | 38 | 200 | 11k|1842 |1764 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.18/32.32 c 32.3s| 20200 | 20 |289489 | 13.5 | 85M | 38 | 200 | 11k| 0 |1764 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.28/32.41 c 32.4s| 20300 | 21 |290686 | 13.5 | 85M | 38 | 200 | 11k|1842 |1764 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.38/32.52 c 32.5s| 20400 | 21 |292056 | 13.5 | 85M | 38 | 200 | 11k|1842 |1764 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.48/32.62 c 32.6s| 20500 | 19 |293325 | 13.5 | 85M | 38 | 200 | 11k|1842 |1764 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.58/32.73 c 32.7s| 20600 | 19 |294811 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.68/32.84 c 32.8s| 20700 | 17 |296161 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.78/32.97 c 33.0s| 20800 | 24 |297702 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.34%
32.88/33.08 c 33.1s| 20900 | 22 |299262 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.35%
32.98/33.19 c 33.2s| 21000 | 22 |300632 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.17/33.30 c 33.3s| 21100 | 23 |302133 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.27/33.41 c 33.4s| 21200 | 25 |303660 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.37/33.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.37/33.53 c 33.5s| 21300 | 25 |305186 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.47/33.65 c 33.6s| 21400 | 21 |306629 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.57/33.76 c 33.8s| 21500 | 17 |308032 | 13.5 | 85M | 38 | 200 | 11k|1842 |1765 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.67/33.88 c 33.9s| 21600 | 18 |309627 | 13.5 | 85M | 38 | 200 | 11k|1842 |1767 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.35%
33.77/34.00 c 34.0s| 21700 | 19 |311095 | 13.6 | 85M | 38 | 200 | 11k|1843 |1769 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.36%
33.98/34.11 c 34.1s| 21800 | 22 |312444 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.07/34.23 c 34.2s| 21900 | 22 |314076 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.17/34.36 c 34.4s| 22000 | 22 |315777 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.27/34.47 c 34.5s| 22100 | 18 |317165 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.37/34.59 c 34.6s| 22200 | 18 |318755 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.57/34.72 c 34.7s| 22300 | 22 |320426 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.67/34.83 c 34.8s| 22400 | 22 |322040 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.77/34.94 c 34.9s| 22500 | 24 |323381 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.87/35.05 c 35.0s| 22600 | 18 |325045 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
34.97/35.17 c 35.2s| 22700 | 20 |326733 | 13.6 | 85M | 38 | 200 | 11k|1842 |1769 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.17/35.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.17/35.30 c 35.3s| 22800 | 20 |328754 | 13.7 | 85M | 38 | 200 | 11k|1842 |1770 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.27/35.42 c 35.4s| 22900 | 18 |330282 | 13.7 | 85M | 38 | 200 | 11k|1842 |1770 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.36%
35.37/35.59 c 35.6s| 23000 | 14 |331664 | 13.7 | 85M | 38 | 200 | 11k|1843 |1788 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.94%
35.47/35.69 c 35.7s| 23100 | 14 |332953 | 13.7 | 85M | 38 | 200 | 11k|1843 |1788 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 98.95%
35.67/35.84 c 35.8s| 23200 | 16 |334476 | 13.7 | 85M | 38 | 200 | 11k|1842 |1794 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 99.05%
35.77/35.97 c 36.0s| 23300 | 16 |335844 | 13.7 | 85M | 38 | 200 | 11k|1843 |1803 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.11%
35.87/36.08 c 36.1s| 23400 | 18 |337182 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
35.97/36.19 c 36.2s| 23500 | 19 |338451 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.06/36.29 c 36.3s| 23600 | 20 |339631 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.26/36.40 c 36.4s| 23700 | 20 |340964 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.36/36.51 c 36.5s| 23800 | 21 |342250 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.46/36.62 c 36.6s| 23900 | 18 |343614 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.56/36.74 c 36.7s| 24000 | 15 |345035 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.66/36.86 c 36.9s| 24100 | 17 |346697 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.76/36.97 c 37.0s| 24200 | 17 |348094 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
36.97/37.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.97/37.10 c 37.1s| 24300 | 16 |349759 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 99.12%
37.06/37.29 c 37.3s| 24400 | 14 |351213 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
37.26/37.41 c 37.4s| 24500 | 16 |352812 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
37.35/37.53 c 37.5s| 24600 | 15 |354271 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
37.45/37.67 c 37.7s| 24700 | 17 |355934 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
37.55/37.79 c 37.8s| 24800 | 20 |357514 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
37.75/37.90 c 37.9s| 24900 | 17 |358949 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
37.86/38.02 c 38.0s| 25000 | 21 |360285 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
37.96/38.14 c 38.1s| 25100 | 19 |362074 | 13.7 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.05/38.28 c 38.3s| 25200 | 19 |363938 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.15/38.39 c 38.4s| 25300 | 19 |365358 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.35/38.50 c 38.5s| 25400 | 17 |366804 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.45/38.61 c 38.6s| 25500 | 21 |368302 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.55/38.73 c 38.7s| 25600 | 18 |369768 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.65/38.85 c 38.9s| 25700 | 25 |371360 | 13.8 | 85M | 38 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.75/38.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.75/38.99 c 39.0s| 25800 | 29 |373346 | 13.8 | 85M | 40 | 200 | 11k|1842 |1803 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
38.95/39.12 c 39.1s| 25900 | 27 |375053 | 13.8 | 85M | 40 | 200 | 11k|1842 |1803 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.05/39.25 c 39.2s| 26000 | 27 |376756 | 13.8 | 85M | 40 | 200 | 11k|1842 |1803 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.15/39.37 c 39.4s| 26100 | 25 |378542 | 13.8 | 85M | 40 | 200 | 11k|1842 |1803 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.35/39.55 c 39.5s| 26200 | 21 |380433 | 13.9 | 85M | 43 | 200 | 11k|1844 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.45/39.67 c 39.7s| 26300 | 19 |381982 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.55/39.79 c 39.8s| 26400 | 19 |383504 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.74/39.92 c 39.9s| 26500 | 17 |385288 | 13.9 | 85M | 46 | 200 | 11k|1843 |1820 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.13%
39.85/40.05 c 40.0s| 26600 | 17 |386770 | 13.9 | 85M | 46 | 200 | 11k|1843 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.14%
39.95/40.18 c 40.2s| 26700 | 15 |388538 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.15%
40.14/40.32 c 40.3s| 26800 | 11 |390425 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.15%
40.24/40.42 c 40.4s| 26900 | 12 |391690 | 13.9 | 85M | 46 | 200 | 11k| 0 |1820 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 99.15%
40.34/40.54 c 40.5s| 27000 | 14 |393171 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.15%
40.44/40.66 c 40.7s| 27100 | 12 |394841 | 13.9 | 85M | 46 | 200 | 11k|1842 |1820 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.16%
40.54/40.78 c 40.8s| 27200 | 8 |396587 | 13.9 | 85M | 46 | 200 | 11k|1843 |1821 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.16%
40.74/40.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.74/40.91 c 40.9s| 27300 | 9 |398340 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
40.85/41.04 c 41.0s| 27400 | 10 |399817 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
40.95/41.14 c 41.1s| 27500 | 9 |401083 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.04/41.24 c 41.2s| 27600 | 9 |402334 | 13.9 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.14/41.36 c 41.4s| 27700 | 9 |403806 | 13.9 | 85M | 46 | 200 | 11k|1842 |1821 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.24/41.47 c 41.5s| 27800 | 9 |405276 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.34/41.57 c 41.6s| 27900 | 7 |406779 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.54/41.71 c 41.7s| 28000 | 7 |408486 | 14.0 | 85M | 46 | 200 | 11k|1842 |1821 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.17%
41.74/41.90 c 41.9s| 28100 | 4 |410336 | 14.0 | 85M | 46 | 200 | 11k|1840 |1831 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.76%
41.84/42.06 c 42.1s| 28200 | 4 |411835 | 14.0 | 85M | 46 | 200 | 11k|1842 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.95%
41.94/42.17 c 42.2s| 28300 | 6 |413102 | 14.0 | 85M | 46 | 200 |8934 |1844 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.98%
42.04/42.27 c 42.3s| 28400 | 4 |414414 | 14.0 | 85M | 46 | 200 |7936 | 0 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 99.99%
42.14/42.36 c 42.4s| 28500 | 4 |415695 | 14.0 | 85M | 46 | 200 |8000 |1844 |1841 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 100.00%
42.24/42.45 c 42.5s| 28600 | 4 |416936 | 14.0 | 85M | 46 | 200 |6704 |1844 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 100.00%
42.34/42.54 c 42.5s| 28700 | 4 |418156 | 14.0 | 85M | 46 | 200 |6167 |1844 |1841 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 100.00%
42.34/42.56 c
42.34/42.56 c SCIP Status : problem is solved [infeasible]
42.34/42.56 c Solving Time (sec) : 42.56
42.34/42.56 c Solving Nodes : 28715 (total of 29832 nodes in 2 runs)
42.34/42.56 c Primal Bound : +1.00000000000000e+20 (0 solutions)
42.34/42.56 c Dual Bound : +1.00000000000000e+20
42.34/42.56 c Gap : 0.00 %
42.34/42.56 s UNSATISFIABLE
42.34/42.56 c SCIP Status : problem is solved [infeasible]
42.34/42.56 c Total Time : 42.56
42.34/42.56 c solving : 42.56
42.34/42.56 c presolving : 0.08 (included in solving)
42.34/42.56 c reading : 0.00 (included in solving)
42.34/42.56 c copying : 0.66 (107 #copies) (minimal 0.00, maximal 0.03, average 0.01)
42.34/42.56 c Original Problem :
42.34/42.56 c Problem name : HOME/instance-4444095-1721301645.opb
42.34/42.56 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
42.34/42.56 c Constraints : 2707 initial, 2707 maximal
42.34/42.56 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
42.34/42.56 c Presolved Problem :
42.34/42.56 c Problem name : t_HOME/instance-4444095-1721301645.opb
42.34/42.56 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
42.34/42.56 c Constraints : 2409 initial, 11666 maximal
42.34/42.56 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
42.34/42.56 c Nonzeros : 10859 constraint, 906 clique table
42.34/42.56 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
42.34/42.56 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
42.34/42.56 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.34/42.56 c gateextraction : 0.01 0.00 9 0 0 0 0 0 0 0 0 0
42.34/42.56 c implics : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
42.34/42.56 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
42.34/42.56 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.34/42.56 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c trivial : 0.00 0.00 17 21 0 0 0 0 0 0 0 0
42.34/42.56 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c dualfix : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
42.34/42.56 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.34/42.56 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
42.34/42.56 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
42.34/42.56 c vbounds : 0.00 0.00 2 0 10 0 0 0 0 0 0 0
42.34/42.56 c knapsack : 0.00 0.00 32 0 0 0 0 0 1 2 1 14
42.34/42.56 c setppc : 0.00 0.00 31 0 0 0 0 0 67 0 0 0
42.34/42.56 c linear : 0.02 0.00 13 0 0 0 0 0 198 0 55 0
42.34/42.56 c logicor : 0.02 0.00 29 0 0 0 0 0 870 0 0 1219
42.34/42.56 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
42.34/42.56 c root node : - - - 190 - - 190 - - - - -
42.34/42.56 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
42.34/42.56 c benderslp : 0 0 0 0 14988 0 0 1021 0 0 0 0 0 0 0
42.34/42.56 c integral : 0 0 0 0 14988 0 0 1021 0 0 0 0 0 0 29976
42.34/42.56 c knapsack : 14+ 17 22 113995 0 0 0 1017 53348 147 44583 0 0 0 0
42.34/42.56 c setppc : 20+ 82 22 113851 0 0 0 526 244541 451 134365 1 0 0 0
42.34/42.56 c linear : 0+ 20 0 9198 0 0 0 2 0 0 90 0 0 0 0
42.34/42.56 c logicor : 2375+ 11621 22 56003 0 0 0 0 87719 151 173334 6 1 0 0
42.34/42.56 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
42.34/42.56 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c integral : 0.48 0.00 0.00 0.00 0.48 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c knapsack : 0.34 0.00 0.00 0.32 0.00 0.00 0.00 0.00 0.02 0.00
42.34/42.56 c setppc : 0.39 0.00 0.00 0.36 0.00 0.00 0.00 0.00 0.04 0.00
42.34/42.56 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c logicor : 2.52 0.00 0.01 2.46 0.00 0.00 0.00 0.00 0.04 0.00
42.34/42.56 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c Propagators : #Propagate #ResProp Cutoffs DomReds
42.34/42.56 c dualfix : 2 0 0 0
42.34/42.56 c genvbounds : 0 0 0 0
42.34/42.56 c nlobbt : 0 0 0 0
42.34/42.56 c obbt : 0 0 0 0
42.34/42.56 c probing : 0 0 0 0
42.34/42.56 c pseudoobj : 0 0 0 0
42.34/42.56 c redcost : 0 0 0 0
42.34/42.56 c rootredcost : 0 0 0 0
42.34/42.56 c symmetry : 3525 0 0 10
42.34/42.56 c vbounds : 90849 0 0 0
42.34/42.56 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
42.34/42.56 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
42.34/42.56 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
42.34/42.56 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
42.34/42.56 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
42.34/42.56 c symmetry : 0.04 0.00 0.01 0.04 0.00 0.00
42.34/42.56 c vbounds : 0.12 0.00 0.00 0.12 0.00 0.00
42.34/42.56 c Symmetry :
42.34/42.56 c orbitopal red. : 0 reductions applied, 0 cutoffs
42.34/42.56 c orbital reduction: 10 reductions applied, 0 cutoffs
42.34/42.56 c lexicographic red: 0 reductions applied, 0 cutoffs
42.34/42.56 c shadow tree time : 0.03 s
42.34/42.56 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
42.34/42.56 c propagation : 0.02 746 742 - 3762 16.2 18 12.9 - - -
42.34/42.56 c infeasible LP : 2.61 14318 13395 - 76384 28.0 72 12.9 88 2.2 0
42.34/42.56 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
42.34/42.56 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
42.34/42.56 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
42.34/42.56 c applied globally : 0.15 - - 79 23636 9.9 - - 87 - -
42.34/42.56 c applied locally : - - - 0 3 31.3 - - 1 - -
42.34/42.56 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
42.34/42.56 c cut pool : 0.93 - 2383 42 - - 21763 28276 - - - - - (maximal pool size: 4135)
42.34/42.56 c aggregation : 0.17 0.00 594 22 0 0 14 14 4 0 0 0 0
42.34/42.56 c > cmir : - - - - - - - 10 2 0 0 0 -
42.34/42.56 c > flowcover : - - - - - - - 3 1 0 0 0 -
42.34/42.56 c > knapsackcover : - - - - - - - 1 1 0 0 0 -
42.34/42.56 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c clique : 0.00 0.00 22 22 0 0 1 10 0 0 0 0 0
42.34/42.56 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c gomory : 7.73 0.00 592 20 0 0 31911 28122 10214 1362 1071 291 0
42.34/42.56 c > gomorymi : - - - - - - - 14107 5128 577 407 170 -
42.34/42.56 c > strongcg : - - - - - - - 14015 5086 785 664 121 -
42.34/42.56 c impliedbounds : 0.01 0.00 594 22 0 0 8 35 0 31 31 0 0
42.34/42.56 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
42.34/42.56 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c multilinear : 0.00 0.00 866 22 0 0 0 0 0 0 0 0 0
42.34/42.56 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
42.34/42.56 c rapidlearning : 2.43 0.00 100 2 0 2771 0 0 0 0 0 0 189
42.34/42.56 c rlt : 0.00 0.00 302 20 0 0 0 0 0 0 0 0 0
42.34/42.56 c zerohalf : 0.22 0.00 594 22 0 0 1125 95 1078 686 50 636 0
42.34/42.56 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
42.34/42.56 c hybrid : 0.06 0.00 698 22 2080 0 37489 78 0 5791
42.34/42.56 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c Pricers : ExecTime SetupTime Calls Vars
42.34/42.56 c problem variables: 0.00 - 0 0
42.34/42.56 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
42.34/42.56 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c random : 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c relpscost : 0.47 0.00 14988 0 0 0 0 0 0 29976
42.34/42.56 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
42.34/42.56 c Primal Heuristics : ExecTime SetupTime Calls Found Best
42.34/42.56 c LP solutions : 0.00 - - 0 0
42.34/42.56 c relax solutions : 0.00 - - 0 0
42.34/42.56 c pseudo solutions : 0.00 - - 0 0
42.34/42.56 c strong branching : 0.00 - - 0 0
42.34/42.56 c actconsdiving : 0.00 0.00 0 0 0
42.34/42.56 c adaptivediving : 0.02 0.00 6 0 0
42.34/42.56 c alns : 0.14 0.00 6 0 0
42.34/42.56 c bound : 0.00 0.00 0 0 0
42.34/42.56 c clique : 0.00 0.00 1 0 0
42.34/42.56 c coefdiving : 0.00 0.00 0 0 0
42.34/42.56 c completesol : 0.00 0.00 0 0 0
42.34/42.56 c conflictdiving : 0.03 0.00 4 0 0
42.34/42.56 c crossover : 0.00 0.00 0 0 0
42.34/42.56 c dins : 0.00 0.00 0 0 0
42.34/42.56 c distributiondivin: 0.23 0.00 3 0 0
42.34/42.56 c dps : 0.00 0.00 0 0 0
42.34/42.56 c dualval : 0.00 0.00 0 0 0
42.34/42.56 c farkasdiving : 0.00 0.00 0 0 0
42.34/42.56 c feasjump : 0.03 0.00 2 0 0
42.34/42.56 c feaspump : 0.07 0.00 2 0 0
42.34/42.56 c fixandinfer : 0.00 0.00 0 0 0
42.34/42.56 c fracdiving : 0.03 0.00 4 0 0
42.34/42.56 c gins : 0.00 0.00 0 0 0
42.34/42.56 c guideddiving : 0.00 0.00 0 0 0
42.34/42.56 c indcoefdiving : 0.00 0.00 0 0 0
42.34/42.56 c indicator : 0.00 0.00 0 0 0
42.34/42.56 c indicatordiving : 0.00 0.00 0 0 0
42.34/42.56 c indoneopt : 0.00 0.00 0 0 0
42.34/42.56 c indrounding : 0.00 0.00 0 0 0
42.34/42.56 c indtwoopt : 0.00 0.00 0 0 0
42.34/42.56 c intdiving : 0.00 0.00 0 0 0
42.34/42.56 c intshifting : 0.00 0.00 0 0 0
42.34/42.56 c linesearchdiving : 0.02 0.00 3 0 0
42.34/42.56 c localbranching : 0.00 0.00 0 0 0
42.34/42.56 c locks : 0.00 0.00 1 0 0
42.34/42.56 c lpface : 0.01 0.00 0 0 0
42.34/42.56 c mpec : 0.00 0.00 0 0 0
42.34/42.56 c multistart : 0.00 0.00 0 0 0
42.34/42.56 c mutation : 0.00 0.00 0 0 0
42.34/42.56 c nlpdiving : 0.00 0.00 0 0 0
42.34/42.56 c objpscostdiving : 0.02 0.00 2 0 0
42.34/42.56 c octane : 0.00 0.00 0 0 0
42.34/42.56 c ofins : 0.00 0.00 0 0 0
42.34/42.56 c oneopt : 0.00 0.00 0 0 0
42.34/42.56 c padm : 0.00 0.00 0 0 0
42.34/42.56 c proximity : 0.00 0.00 0 0 0
42.34/42.56 c pscostdiving : 0.03 0.00 4 0 0
42.34/42.56 c randrounding : 0.04 0.00 1033 0 0
42.34/42.56 c rens : 0.02 0.00 2 0 0
42.34/42.56 c reoptsols : 0.00 0.00 0 0 0
42.34/42.56 c repair : 0.00 0.00 0 0 0
42.34/42.56 c rins : 0.00 0.00 0 0 0
42.34/42.56 c rootsoldiving : 0.02 0.00 2 0 0
42.34/42.56 c rounding : 0.07 0.00 1711 0 0
42.34/42.56 c scheduler : 0.00 0.00 0 0 0
42.34/42.56 c shiftandpropagate: 0.00 0.00 2 0 0
42.34/42.56 c shifting : 0.09 0.00 608 0 0
42.34/42.56 c simplerounding : 0.00 0.00 0 0 0
42.34/42.56 c smallcard : 0.00 0.00 0 0 0
42.34/42.56 c subnlp : 0.01 0.00 0 0 0
42.34/42.56 c trivial : 0.00 0.00 4 0 0
42.34/42.56 c trivialnegation : 0.00 0.00 0 0 0
42.34/42.56 c trustregion : 0.00 0.00 0 0 0
42.34/42.56 c trysol : 0.00 0.00 0 0 0
42.34/42.56 c twoopt : 0.00 0.00 0 0 0
42.34/42.56 c undercover : 0.00 0.00 0 0 0
42.34/42.56 c vbounds : 0.01 0.00 1 0 0
42.34/42.56 c veclendiving : 0.04 0.00 4 0 0
42.34/42.56 c zeroobj : 0.00 0.00 0 0 0
42.34/42.56 c zirounding : 0.01 0.00 1000 0 0
42.34/42.56 c other solutions : - - - 0 -
42.34/42.56 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
42.34/42.56 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.34/42.56 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.34/42.56 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.34/42.56 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.34/42.56 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.34/42.56 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.34/42.56 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.34/42.56 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.34/42.56 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.34/42.56 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
42.34/42.56 c primal LP : 0.07 387 0 0.00 0.00 0.07 387
42.34/42.56 c dual LP : 16.74 30028 412764 13.79 24650.58 0.01 102
42.34/42.56 c lex dual LP : 0.00 0 0 0.00 -
42.34/42.56 c barrier LP : 0.00 0 0 0.00 - 0.00 0
42.34/42.56 c resolve instable : 0.00 0 0 0.00 -
42.34/42.56 c diving/probing LP: 0.24 199 5593 28.11 23360.33
42.34/42.56 c strong branching : 0.07 38 1468 38.63 19795.04 - - 0
42.34/42.56 c (at root node) : - 38 1468 38.63 -
42.34/42.56 c conflict analysis: 0.00 0 0 0.00 -
42.34/42.56 c B&B Tree :
42.34/42.56 c number of runs : 2
42.34/42.56 c nodes : 28715 (14415 internal, 14300 leaves)
42.34/42.56 c feasible leaves : 0
42.34/42.56 c infeas. leaves : 14300
42.34/42.56 c objective leaves : 0
42.34/42.56 c nodes (total) : 29832 (14988 internal, 14844 leaves)
42.34/42.56 c nodes left : 0
42.34/42.56 c max depth : 46
42.34/42.56 c max depth (total): 46
42.34/42.56 c backtracks : 3829 (13.3%)
42.34/42.56 c early backtracks : 0 (0.0%)
42.34/42.56 c nodes exc. ref. : 0 (0.0%)
42.34/42.56 c delayed cutoffs : 116
42.34/42.56 c repropagations : 43537 (53120 domain reductions, 116 cutoffs)
42.34/42.56 c avg switch length: 4.58
42.34/42.56 c switching time : 2.45
42.34/42.56 c Root Node :
42.34/42.56 c First LP value : +0.00000000000000e+00
42.34/42.56 c First LP Iters : 95 (30734.39 Iter/sec)
42.34/42.56 c First LP Time : 0.00
42.34/42.56 c Final Dual Bound : -
42.34/42.56 c Final Root Iters : 1844
42.34/42.56 c Root LP Estimate : +2.61206610072461e-03
42.34/42.56 c Solution :
42.34/42.56 c Solutions found : 0 (0 improvements)
42.34/42.56 c Primal Bound : infeasible
42.34/42.56 c Dual Bound : -
42.34/42.56 c Gap : 0.00 %
42.34/42.56 c Integrals : Total Avg%
42.34/42.56 c primal-dual : - - (problem infeasible)
42.34/42.56 c primal-ref : - - (problem infeasible)
42.34/42.56 c dual-ref : - - (problem infeasible)
42.34/42.57 c Time complete: 42.419.