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-4495038-1751151970.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.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.0s) 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.04
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.997011
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.09 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.09 c 0.1s| 1 | 0 | 95 | - | 11M | 0 | 231 |2463 |2443 | 0 | 0 | 19 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.22 c 0.2s| 1 | 0 | 1385 | - | 12M | 0 | 231 |2464 |2445 | 2 | 1 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.28 c 0.3s| 1 | 0 | 1401 | - | 14M | 0 | 231 |2466 |2448 | 5 | 2 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.32 c 0.3s| 1 | 0 | 1423 | - | 17M | 0 | 231 |2467 |2452 | 9 | 3 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.40 c 0.4s| 1 | 0 | 1442 | - | 21M | 0 | 231 |2469 |2455 | 12 | 4 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.48 c 0.5s| 1 | 0 | 1458 | - | 26M | 0 | 231 |2469 |2459 | 16 | 5 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
0.49/0.57 c 0.6s| 1 | 0 | 1476 | - | 31M | 0 | 231 |2470 |2461 | 18 | 6 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
0.58/0.65 c 0.6s| 1 | 0 | 1494 | - | 34M | 0 | 231 |2472 |2465 | 22 | 7 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
0.58/0.69 c 0.7s| 1 | 0 | 1513 | - | 37M | 0 | 231 |2474 |2470 | 27 | 8 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.74 c 0.7s| 1 | 0 | 1530 | - | 40M | 0 | 231 |2476 |2473 | 30 | 9 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
0.77/0.81 c 0.8s| 1 | 0 | 1557 | - | 44M | 0 | 231 |2480 |2475 | 32 | 10 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
0.77/0.81 c 0.8s| 1 | 0 | 1561 | - | 44M | 0 | 231 |2481 |2477 | 34 | 11 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
0.77/0.89 c 0.9s| 1 | 2 | 1852 | - | 44M | 0 | 231 |2492 |2477 | 34 | 11 | 48 | 19 | 0.000000e+00 | -- | Inf | unknown
1.27/1.38 c 1.4s| 100 | 12 | 3927 | 23.9 | 49M | 20 | 231 |2598 | 0 | 65 | 0 | 156 | 19 | 0.000000e+00 | -- | Inf | 63.13%
1.57/1.61 c 1.6s| 200 | 18 | 5066 | 17.6 | 54M | 20 | 231 |2677 |2449 | 93 | 0 | 235 | 19 | 0.000000e+00 | -- | Inf | 63.67%
1.68/1.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.68/1.77 c 1.8s| 300 | 14 | 6237 | 15.6 | 54M | 20 | 231 |2738 |2449 | 99 | 0 | 296 | 19 | 0.000000e+00 | -- | Inf | 63.85%
1.78/1.89 c 1.9s| 400 | 16 | 7379 | 14.6 | 54M | 20 | 231 |2803 |2449 | 99 | 1 | 361 | 19 | 0.000000e+00 | -- | Inf | 63.98%
2.08/2.14 c 2.1s| 500 | 14 | 8516 | 13.9 | 54M | 20 | 231 |2886 |2450 | 101 | 1 | 447 | 19 | 0.000000e+00 | -- | Inf | 64.04%
2.47/2.54 c 2.5s| 600 | 11 | 9697 | 13.6 | 55M | 20 | 231 |2976 |2448 | 108 | 1 | 544 | 19 | 0.000000e+00 | -- | Inf | 67.55%
2.67/2.70 c 2.7s| 700 | 14 | 10764 | 13.2 | 59M | 20 | 231 |3034 |2450 | 124 | 1 | 605 | 19 | 0.000000e+00 | -- | Inf | 68.36%
2.87/2.97 c 3.0s| 800 | 13 | 11961 | 13.0 | 60M | 20 | 231 |3094 |2449 | 144 | 0 | 667 | 19 | 0.000000e+00 | -- | Inf | 69.09%
3.08/3.15 c 3.1s| 900 | 16 | 12849 | 12.6 | 62M | 20 | 231 |3166 |2450 | 158 | 1 | 740 | 19 | 0.000000e+00 | -- | Inf | 69.30%
3.46/3.59 c 3.6s| 1000 | 19 | 13975 | 12.4 | 62M | 20 | 231 |3216 |2448 | 183 | 1 | 795 | 19 | 0.000000e+00 | -- | Inf | 70.33%
3.66/3.79 c 3.8s| 1100 | 18 | 15261 | 12.5 | 62M | 20 | 231 |3287 |2450 | 193 | 1 | 871 | 19 | 0.000000e+00 | -- | Inf | 70.84%
4.07/4.15 c 4.1s| 1200 | 16 | 16635 | 12.6 | 62M | 20 | 231 |3369 |2450 | 218 | 0 | 959 | 19 | 0.000000e+00 | -- | Inf | 75.31%
4.36/4.45 c 4.4s| 1300 | 18 | 17771 | 12.5 | 63M | 20 | 231 |3420 |2449 | 262 | 1 |1014 | 19 | 0.000000e+00 | -- | Inf | 78.93%
4.56/4.63 c 4.6s| 1400 | 18 | 18963 | 12.4 | 63M | 20 | 231 |3479 |2449 | 262 | 1 |1082 | 19 | 0.000000e+00 | -- | Inf | 78.99%
4.76/4.85 c 4.8s| 1500 | 17 | 20044 | 12.3 | 63M | 20 | 231 |3543 |2451 | 294 | 0 |1155 | 19 | 0.000000e+00 | -- | Inf | 79.34%
4.86/4.98 c 5.0s| 1600 | 15 | 21085 | 12.2 | 63M | 20 | 231 |3619 |2450 | 294 | 0 |1237 | 19 | 0.000000e+00 | -- | Inf | 79.43%
5.27/5.38 c 5.4s| 1700 | 16 | 22365 | 12.2 | 63M | 20 | 231 |3706 |2452 | 322 | 0 |1333 | 19 | 0.000000e+00 | -- | Inf | 83.06%
5.66/5.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.66/5.76 c 5.8s| 1800 | 23 | 24007 | 12.5 | 63M | 20 | 231 |3750 |2449 | 366 | 0 |1385 | 19 | 0.000000e+00 | -- | Inf | 83.57%
5.86/5.92 c 5.9s| 1900 | 25 | 25207 | 12.5 | 63M | 20 | 231 |3803 |2451 | 373 | 1 |1443 | 19 | 0.000000e+00 | -- | Inf | 83.79%
6.16/6.26 c 6.3s| 2000 | 28 | 26786 | 12.6 | 63M | 26 | 231 |3844 |2451 | 374 | 0 |1507 | 19 | 0.000000e+00 | -- | Inf | 83.81%
6.46/6.59 c 6.6s| 2100 | 26 | 28136 | 12.7 | 63M | 26 | 231 |3885 |2449 | 393 | 0 |1578 | 19 | 0.000000e+00 | -- | Inf | 84.26%
6.86/6.92 c 6.9s| 2200 | 30 | 29623 | 12.8 | 63M | 26 | 231 |3938 |2449 | 417 | 0 |1640 | 19 | 0.000000e+00 | -- | Inf | 84.47%
6.97/7.10 c 7.1s| 2300 | 30 | 30819 | 12.7 | 63M | 26 | 231 |3990 |2450 | 434 | 1 |1701 | 19 | 0.000000e+00 | -- | Inf | 84.66%
7.36/7.42 c 7.4s| 2400 | 32 | 32179 | 12.8 | 63M | 26 | 231 |4041 |2449 | 448 | 0 |1762 | 19 | 0.000000e+00 | -- | Inf | 84.96%
7.56/7.66 c 7.7s| 2500 | 36 | 33480 | 12.8 | 64M | 26 | 231 |4094 |2450 | 473 | 1 |1827 | 19 | 0.000000e+00 | -- | Inf | 85.33%
7.76/7.82 c 7.8s| 2600 | 34 | 34626 | 12.7 | 64M | 26 | 231 |4144 |2451 | 481 | 0 |1889 | 19 | 0.000000e+00 | -- | Inf | 85.38%
7.86/7.95 c 7.9s| 2700 | 34 | 35614 | 12.6 | 64M | 27 | 231 |4192 | 0 | 481 | 0 |1958 | 19 | 0.000000e+00 | -- | Inf | 85.39%
7.86/7.96 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
7.86/7.96 c (run 1, node 2706) performing user restart
7.86/7.96 c
7.86/7.96 c (restart) converted 2 cuts from the global cut pool into linear constraints
7.86/7.96 c
7.86/7.97 c presolving:
7.86/7.98 c (round 1, fast) 21 del vars, 642 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 353 chg coeffs, 0 upgd conss, 0 impls, 320 clqs
7.86/7.98 c (round 2, medium) 31 del vars, 642 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 353 chg coeffs, 0 upgd conss, 0 impls, 302 clqs
7.86/7.98 c (round 3, fast) 31 del vars, 663 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 384 chg coeffs, 0 upgd conss, 0 impls, 302 clqs
7.86/7.99 c (round 4, exhaustive) 31 del vars, 957 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1164 chg coeffs, 2 upgd conss, 0 impls, 302 clqs
7.86/7.99 c (round 5, fast) 31 del vars, 962 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1164 chg coeffs, 2 upgd conss, 0 impls, 302 clqs
7.86/8.00 c (round 6, exhaustive) 31 del vars, 1027 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1180 chg coeffs, 2 upgd conss, 0 impls, 302 clqs
7.96/8.01 c (round 7, exhaustive) 31 del vars, 1027 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1218 chg coeffs, 2 upgd conss, 0 impls, 302 clqs
7.96/8.02 c presolving (8 rounds: 8 fast, 5 medium, 4 exhaustive):
7.96/8.02 c 31 deleted vars, 1028 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1219 changed coefficients
7.96/8.02 c 0 implications, 302 cliques
7.96/8.02 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3168 constraints
7.96/8.02 c 4 constraints of type <knapsack>
7.96/8.02 c 20 constraints of type <setppc>
7.96/8.02 c 3144 constraints of type <logicor>
7.96/8.02 c transformed objective value is always integral (scale: 1)
7.96/8.02 c Presolving Time: 0.09
7.96/8.02 c
7.96/8.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.96/8.04 c 8.0s| 1 | 0 | 35747 | - | 63M | 0 | 200 |3215 |1833 | 0 | 0 |2011 | 19 | 0.000000e+00 | -- | Inf | unknown
7.96/8.08 c 8.1s| 1 | 0 | 35760 | - | 63M | 0 | 200 |3215 |1838 | 5 | 1 |2011 | 19 | 0.000000e+00 | -- | Inf | unknown
8.06/8.14 c 8.1s| 1 | 0 | 35775 | - | 63M | 0 | 200 |3217 |1842 | 9 | 2 |2013 | 19 | 0.000000e+00 | -- | Inf | unknown
8.06/8.19 c 8.2s| 1 | 0 | 35783 | - | 63M | 0 | 200 |3219 |1845 | 12 | 3 |2015 | 19 | 0.000000e+00 | -- | Inf | unknown
8.16/8.25 c 8.2s| 1 | 0 | 35796 | - | 63M | 0 | 200 |3223 |1848 | 15 | 4 |2019 | 19 | 0.000000e+00 | -- | Inf | unknown
8.26/8.31 c 8.3s| 1 | 0 | 35807 | - | 64M | 0 | 200 |3223 |1852 | 19 | 5 |2019 | 19 | 0.000000e+00 | -- | Inf | unknown
8.26/8.35 c 8.3s| 1 | 0 | 35817 | - | 64M | 0 | 200 |3225 |1855 | 22 | 6 |2021 | 19 | 0.000000e+00 | -- | Inf | unknown
8.36/8.42 c 8.4s| 1 | 0 | 35829 | - | 64M | 0 | 200 |3227 |1858 | 25 | 7 |2023 | 19 | 0.000000e+00 | -- | Inf | unknown
8.36/8.48 c 8.5s| 1 | 0 | 35837 | - | 64M | 0 | 200 |3232 |1859 | 26 | 8 |2028 | 19 | 0.000000e+00 | -- | Inf | unknown
8.46/8.54 c 8.5s| 1 | 0 | 35850 | - | 64M | 0 | 200 |3237 |1860 | 27 | 9 |2033 | 19 | 0.000000e+00 | -- | Inf | unknown
8.46/8.59 c 8.6s| 1 | 0 | 35870 | - | 65M | 0 | 200 |3240 |1864 | 31 | 10 |2036 | 19 | 0.000000e+00 | -- | Inf | unknown
8.46/8.59 c 8.6s| 1 | 0 | 35888 | - | 65M | 0 | 200 |3241 |1868 | 35 | 11 |2037 | 19 | 0.000000e+00 | -- | Inf | unknown
8.56/8.60 c 8.6s| 1 | 0 | 35910 | - | 65M | 0 | 200 |3242 |1870 | 37 | 12 |2038 | 19 | 0.000000e+00 | -- | Inf | unknown
8.56/8.67 c 8.7s| 1 | 2 | 36043 | - | 65M | 0 | 200 |3245 |1870 | 37 | 12 |2044 | 38 | 0.000000e+00 | -- | Inf | unknown
8.75/8.89 c 8.9s| 100 | 17 | 37722 | 12.8 | 66M | 17 | 200 |3295 |1841 | 74 | 0 |2101 | 38 | 0.000000e+00 | -- | Inf | 16.10%
9.15/9.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.15/9.26 c 9.3s| 200 | 17 | 39293 | 12.9 | 67M | 18 | 200 |3356 |1845 | 124 | 2 |2169 | 38 | 0.000000e+00 | -- | Inf | 21.88%
9.45/9.58 c 9.6s| 300 | 16 | 40683 | 12.9 | 70M | 18 | 200 |3399 |1841 | 160 | 1 |2240 | 38 | 0.000000e+00 | -- | Inf | 25.17%
9.75/9.83 c 9.8s| 400 | 28 | 42767 | 13.2 | 73M | 20 | 200 |3455 |1843 | 191 | 0 |2314 | 38 | 0.000000e+00 | -- | Inf | 26.31%
10.05/10.12 c 10.1s| 500 | 34 | 44382 | 13.3 | 76M | 23 | 200 |3499 |1843 | 220 | 0 |2376 | 38 | 0.000000e+00 | -- | Inf | 27.02%
10.35/10.41 c 10.4s| 600 | 36 | 45754 | 13.3 | 78M | 23 | 200 |3505 | 0 | 263 | 0 |2423 | 38 | 0.000000e+00 | -- | Inf | 28.08%
10.45/10.50 c 10.5s| 700 | 41 | 47208 | 13.3 | 78M | 23 | 200 |3573 |1843 | 263 | 1 |2516 | 38 | 0.000000e+00 | -- | Inf | 28.12%
10.65/10.79 c 10.8s| 800 | 41 | 48488 | 13.3 | 78M | 25 | 200 |3613 |1841 | 303 | 1 |2582 | 38 | 0.000000e+00 | -- | Inf | 29.65%
10.85/10.97 c 11.0s| 900 | 41 | 49854 | 13.3 | 78M | 26 | 200 |3660 |1842 | 329 | 0 |2650 | 38 | 0.000000e+00 | -- | Inf | 29.89%
10.95/11.06 c 11.1s| 1000 | 43 | 51232 | 13.3 | 78M | 26 | 200 |3709 |1843 | 330 | 0 |2713 | 38 | 0.000000e+00 | -- | Inf | 30.01%
11.24/11.30 c 11.3s| 1100 | 40 | 52551 | 13.3 | 78M | 26 | 200 |3759 |1839 | 363 | 0 |2780 | 38 | 0.000000e+00 | -- | Inf | 31.75%
11.44/11.53 c 11.5s| 1200 | 41 | 53950 | 13.4 | 78M | 26 | 200 |3805 |1842 | 401 | 1 |2845 | 38 | 0.000000e+00 | -- | Inf | 33.36%
11.64/11.73 c 11.7s| 1300 | 40 | 55250 | 13.3 | 78M | 26 | 200 |3867 |1844 | 431 | 1 |2922 | 38 | 0.000000e+00 | -- | Inf | 33.78%
11.74/11.87 c 11.9s| 1400 | 36 | 56892 | 13.4 | 78M | 26 | 200 |3899 |1843 | 453 | 0 |2979 | 38 | 0.000000e+00 | -- | Inf | 34.08%
11.95/12.09 c 12.1s| 1500 | 38 | 58232 | 13.4 | 78M | 26 | 200 |3922 |1841 | 488 | 0 |3033 | 38 | 0.000000e+00 | -- | Inf | 35.34%
12.14/12.27 c 12.3s| 1600 | 37 | 59471 | 13.4 | 78M | 26 | 200 |3962 |1841 | 514 | 1 |3089 | 38 | 0.000000e+00 | -- | Inf | 35.68%
12.44/12.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.44/12.51 c 12.5s| 1700 | 38 | 60861 | 13.4 | 79M | 26 | 200 |3988 |1846 | 549 | 2 |3150 | 38 | 0.000000e+00 | -- | Inf | 36.33%
12.64/12.71 c 12.7s| 1800 | 34 | 62301 | 13.4 | 79M | 26 | 200 |3995 |1844 | 578 | 1 |3216 | 38 | 0.000000e+00 | -- | Inf | 41.97%
12.74/12.85 c 12.8s| 1900 | 28 | 63598 | 13.4 | 79M | 26 | 200 |4016 |1845 | 596 | 1 |3275 | 38 | 0.000000e+00 | -- | Inf | 44.86%
12.94/13.03 c 13.0s| 2000 | 26 | 64954 | 13.4 | 79M | 26 | 200 |4038 |1846 | 625 | 0 |3327 | 38 | 0.000000e+00 | -- | Inf | 46.45%
13.34/13.48 c 13.5s| 2100 | 25 | 66346 | 13.4 | 79M | 26 | 200 |4085 | 0 | 666 | 0 |3396 | 38 | 0.000000e+00 | -- | Inf | 47.33%
13.54/13.69 c 13.7s| 2200 | 28 | 67578 | 13.4 | 79M | 26 | 200 |4117 |1843 | 685 | 1 |3464 | 38 | 0.000000e+00 | -- | Inf | 47.70%
13.74/13.83 c 13.8s| 2300 | 27 | 68968 | 13.4 | 80M | 26 | 200 |4153 |1842 | 696 | 0 |3537 | 38 | 0.000000e+00 | -- | Inf | 48.41%
13.83/13.93 c 13.9s| 2400 | 29 | 70029 | 13.4 | 80M | 27 | 200 |4197 |1845 | 708 | 1 |3596 | 38 | 0.000000e+00 | -- | Inf | 48.47%
13.83/14.00 c 14.0s| 2500 | 28 | 71112 | 13.3 | 80M | 27 | 200 |4245 |1845 | 708 | 1 |3651 | 38 | 0.000000e+00 | -- | Inf | 48.51%
13.94/14.08 c 14.1s| 2600 | 25 | 72314 | 13.3 | 80M | 27 | 200 |4301 |1845 | 708 | 1 |3709 | 38 | 0.000000e+00 | -- | Inf | 48.52%
14.04/14.15 c 14.1s| 2700 | 26 | 73474 | 13.3 | 80M | 27 | 200 |4370 |1845 | 708 | 1 |3781 | 38 | 0.000000e+00 | -- | Inf | 48.54%
14.23/14.31 c 14.3s| 2800 | 24 | 75090 | 13.3 | 80M | 27 | 200 |4397 |1842 | 728 | 0 |3831 | 38 | 0.000000e+00 | -- | Inf | 48.86%
14.43/14.56 c 14.6s| 2900 | 24 | 76521 | 13.3 | 80M | 27 | 200 |4420 |1838 | 754 | 1 |3893 | 38 | 0.000000e+00 | -- | Inf | 49.84%
14.63/14.74 c 14.7s| 3000 | 24 | 77823 | 13.3 | 80M | 27 | 200 |4441 |1848 | 785 | 3 |3943 | 38 | 0.000000e+00 | -- | Inf | 50.48%
14.73/14.89 c 14.9s| 3100 | 26 | 79137 | 13.3 | 80M | 27 | 200 |4447 |1841 | 806 | 0 |3992 | 38 | 0.000000e+00 | -- | Inf | 50.76%
14.83/14.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.83/14.96 c 15.0s| 3200 | 28 | 80303 | 13.3 | 80M | 27 | 200 |4480 |1841 | 806 | 1 |4055 | 38 | 0.000000e+00 | -- | Inf | 50.78%
14.94/15.06 c 15.1s| 3300 | 30 | 81833 | 13.3 | 80M | 27 | 200 |4482 |1843 | 806 | 0 |4099 | 38 | 0.000000e+00 | -- | Inf | 50.81%
15.03/15.15 c 15.1s| 3400 | 29 | 83031 | 13.3 | 80M | 29 | 200 |4516 |1841 | 806 | 0 |4165 | 38 | 0.000000e+00 | -- | Inf | 50.81%
15.13/15.23 c 15.2s| 3500 | 29 | 84354 | 13.3 | 80M | 29 | 200 |4565 |1841 | 807 | 0 |4220 | 38 | 0.000000e+00 | -- | Inf | 50.82%
15.23/15.35 c 15.3s| 3600 | 30 | 85557 | 13.3 | 80M | 30 | 200 |4615 |1844 | 823 | 0 |4295 | 38 | 0.000000e+00 | -- | Inf | 50.90%
15.33/15.47 c 15.5s| 3700 | 28 | 86969 | 13.3 | 80M | 30 | 200 |4660 |1844 | 830 | 0 |4377 | 38 | 0.000000e+00 | -- | Inf | 51.10%
15.53/15.60 c 15.6s| 3800 | 27 | 88077 | 13.3 | 80M | 30 | 200 |4735 |1842 | 836 | 0 |4469 | 38 | 0.000000e+00 | -- | Inf | 51.18%
15.53/15.68 c 15.7s| 3900 | 28 | 89242 | 13.2 | 80M | 30 | 200 |4810 |1844 | 839 | 0 |4561 | 38 | 0.000000e+00 | -- | Inf | 51.21%
15.63/15.79 c 15.8s| 4000 | 34 | 90557 | 13.2 | 80M | 30 | 200 |4828 |1844 | 846 | 0 |4618 | 38 | 0.000000e+00 | -- | Inf | 57.47%
15.73/15.88 c 15.9s| 4100 | 37 | 92058 | 13.3 | 80M | 30 | 200 |4883 |1844 | 848 | 1 |4698 | 38 | 0.000000e+00 | -- | Inf | 57.48%
15.83/15.98 c 16.0s| 4200 | 39 | 93459 | 13.3 | 80M | 32 | 200 |4954 |1846 | 853 | 0 |4788 | 38 | 0.000000e+00 | -- | Inf | 57.48%
15.93/16.07 c 16.1s| 4300 | 38 | 94921 | 13.3 | 80M | 32 | 200 |5056 |1846 | 856 | 0 |4905 | 38 | 0.000000e+00 | -- | Inf | 57.49%
16.03/16.16 c 16.2s| 4400 | 42 | 96230 | 13.3 | 80M | 32 | 200 |5143 |1845 | 864 | 1 |5001 | 38 | 0.000000e+00 | -- | Inf | 57.49%
16.13/16.24 c 16.2s| 4500 | 39 | 97563 | 13.3 | 80M | 32 | 200 |5225 |1844 | 865 | 0 |5085 | 38 | 0.000000e+00 | -- | Inf | 57.49%
16.23/16.33 c 16.3s| 4600 | 36 | 99044 | 13.3 | 80M | 32 | 200 |5290 |1845 | 868 | 1 |5158 | 38 | 0.000000e+00 | -- | Inf | 57.49%
16.33/16.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.33/16.47 c 16.5s| 4700 | 32 |100460 | 13.3 | 80M | 32 | 200 |5395 | 0 | 881 | 0 |5272 | 38 | 0.000000e+00 | -- | Inf | 57.89%
16.52/16.61 c 16.6s| 4800 | 33 |101656 | 13.3 | 81M | 32 | 200 |5468 |1843 | 904 | 0 |5359 | 38 | 0.000000e+00 | -- | Inf | 58.13%
16.62/16.72 c 16.7s| 4900 | 34 |102862 | 13.3 | 81M | 32 | 200 |5546 |1843 | 915 | 0 |5440 | 38 | 0.000000e+00 | -- | Inf | 58.20%
16.72/16.81 c 16.8s| 5000 | 34 |104159 | 13.3 | 81M | 32 | 200 |5607 |1843 | 917 | 1 |5510 | 38 | 0.000000e+00 | -- | Inf | 58.23%
16.72/16.89 c 16.9s| 5100 | 34 |105419 | 13.3 | 81M | 32 | 200 |5681 |1844 | 921 | 1 |5591 | 38 | 0.000000e+00 | -- | Inf | 58.28%
16.82/16.98 c 17.0s| 5200 | 31 |106888 | 13.3 | 81M | 32 | 200 |5758 |1846 | 925 | 1 |5682 | 38 | 0.000000e+00 | -- | Inf | 58.28%
17.03/17.11 c 17.1s| 5300 | 27 |108362 | 13.3 | 81M | 35 | 200 |5834 |1840 | 933 | 1 |5775 | 38 | 0.000000e+00 | -- | Inf | 61.42%
17.12/17.25 c 17.2s| 5400 | 32 |109804 | 13.3 | 81M | 35 | 200 |5862 |1844 | 955 | 1 |5836 | 38 | 0.000000e+00 | -- | Inf | 62.21%
17.22/17.33 c 17.3s| 5500 | 42 |111071 | 13.3 | 81M | 35 | 200 |5929 |1844 | 955 | 1 |5926 | 38 | 0.000000e+00 | -- | Inf | 62.22%
17.32/17.41 c 17.4s| 5600 | 42 |112318 | 13.3 | 81M | 35 | 200 |5987 |1844 | 955 | 0 |6007 | 38 | 0.000000e+00 | -- | Inf | 62.23%
17.42/17.50 c 17.5s| 5700 | 45 |113824 | 13.3 | 81M | 35 | 200 |6052 |1844 | 955 | 1 |6097 | 38 | 0.000000e+00 | -- | Inf | 62.24%
17.52/17.60 c 17.6s| 5800 | 55 |115437 | 13.4 | 81M | 35 | 200 |6122 |1844 | 955 | 1 |6186 | 38 | 0.000000e+00 | -- | Inf | 62.24%
17.52/17.69 c 17.7s| 5900 | 59 |117001 | 13.4 | 81M | 35 | 200 |6181 |1844 | 955 | 1 |6258 | 38 | 0.000000e+00 | -- | Inf | 62.24%
17.62/17.77 c 17.8s| 6000 | 62 |118375 | 13.4 | 81M | 35 | 200 |6233 |1844 | 955 | 1 |6322 | 38 | 0.000000e+00 | -- | Inf | 62.24%
17.72/17.86 c 17.9s| 6100 | 64 |119871 | 13.4 | 81M | 35 | 200 |6292 |1844 | 955 | 0 |6392 | 38 | 0.000000e+00 | -- | Inf | 62.24%
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| 6200 | 63 |121163 | 13.4 | 81M | 35 | 200 |6352 |1844 | 955 | 1 |6458 | 38 | 0.000000e+00 | -- | Inf | 62.25%
17.92/18.02 c 18.0s| 6300 | 63 |122543 | 13.4 | 81M | 35 | 200 |6395 |1844 | 955 | 1 |6510 | 38 | 0.000000e+00 | -- | Inf | 62.26%
17.92/18.10 c 18.1s| 6400 | 61 |123677 | 13.4 | 81M | 35 | 200 |6473 |1844 | 955 | 1 |6593 | 38 | 0.000000e+00 | -- | Inf | 62.26%
18.02/18.19 c 18.2s| 6500 | 51 |125005 | 13.4 | 81M | 35 | 200 |6581 |1844 | 955 | 1 |6706 | 38 | 0.000000e+00 | -- | Inf | 62.26%
18.12/18.27 c 18.3s| 6600 | 49 |126463 | 13.4 | 81M | 35 | 200 |6655 |1844 | 955 | 1 |6787 | 38 | 0.000000e+00 | -- | Inf | 62.26%
18.32/18.47 c 18.5s| 6700 | 41 |127667 | 13.4 | 81M | 35 | 200 |6736 |1844 | 974 | 0 |6877 | 38 | 0.000000e+00 | -- | Inf | 62.94%
18.52/18.62 c 18.6s| 6800 | 41 |129400 | 13.4 | 81M | 35 | 200 |6791 |1844 | 983 | 1 |6952 | 38 | 0.000000e+00 | -- | Inf | 63.09%
18.62/18.71 c 18.7s| 6900 | 33 |130855 | 13.4 | 81M | 35 | 200 |6853 |1844 | 983 | 1 |7033 | 38 | 0.000000e+00 | -- | Inf | 63.14%
18.72/18.88 c 18.9s| 7000 | 31 |132290 | 13.4 | 81M | 35 | 200 |6867 |1839 |1006 | 1 |7093 | 38 | 0.000000e+00 | -- | Inf | 64.69%
19.02/19.17 c 19.2s| 7100 | 32 |133571 | 13.4 | 81M | 35 | 200 |6883 |1841 |1032 | 0 |7162 | 38 | 0.000000e+00 | -- | Inf | 66.89%
19.11/19.28 c 19.3s| 7200 | 33 |134777 | 13.4 | 81M | 36 | 200 |6902 |1841 |1039 | 0 |7225 | 38 | 0.000000e+00 | -- | Inf | 66.99%
19.31/19.45 c 19.4s| 7300 | 29 |136001 | 13.4 | 81M | 36 | 200 |6915 |1846 |1062 | 1 |7297 | 38 | 0.000000e+00 | -- | Inf | 67.40%
19.51/19.63 c 19.6s| 7400 | 33 |137390 | 13.4 | 81M | 36 | 200 |6935 |1842 |1080 | 0 |7377 | 38 | 0.000000e+00 | -- | Inf | 69.74%
19.71/19.84 c 19.8s| 7500 | 37 |138866 | 13.4 | 81M | 36 | 200 |6965 |1840 |1103 | 0 |7435 | 38 | 0.000000e+00 | -- | Inf | 70.44%
19.81/20.00 c 20.0s| 7600 | 40 |140012 | 13.4 | 81M | 36 | 200 |7022 |1840 |1125 | 0 |7505 | 38 | 0.000000e+00 | -- | Inf | 70.70%
19.92/20.08 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.08 c 20.1s| 7700 | 38 |141246 | 13.4 | 82M | 36 | 200 |7091 |1840 |1125 | 1 |7576 | 38 | 0.000000e+00 | -- | Inf | 70.74%
20.11/20.28 c 20.3s| 7800 | 40 |142768 | 13.4 | 82M | 36 | 200 |7125 |1842 |1152 | 0 |7622 | 38 | 0.000000e+00 | -- | Inf | 71.11%
20.31/20.41 c 20.4s| 7900 | 42 |144329 | 13.4 | 82M | 36 | 200 |7170 |1843 |1173 | 1 |7699 | 38 | 0.000000e+00 | -- | Inf | 71.26%
20.41/20.52 c 20.5s| 8000 | 42 |145418 | 13.4 | 82M | 36 | 200 |7218 |1843 |1178 | 0 |7778 | 38 | 0.000000e+00 | -- | Inf | 71.39%
20.51/20.62 c 20.6s| 8100 | 44 |146749 | 13.4 | 82M | 36 | 200 |7260 |1844 |1188 | 0 |7851 | 38 | 0.000000e+00 | -- | Inf | 71.42%
20.61/20.71 c 20.7s| 8200 | 45 |148029 | 13.4 | 82M | 36 | 200 |7319 |1844 |1189 | 1 |7936 | 38 | 0.000000e+00 | -- | Inf | 71.46%
20.71/20.80 c 20.8s| 8300 | 41 |149487 | 13.4 | 82M | 36 | 200 |7381 |1842 |1190 | 0 |8016 | 38 | 0.000000e+00 | -- | Inf | 71.50%
20.81/20.90 c 20.9s| 8400 | 39 |150956 | 13.4 | 82M | 36 | 200 |7413 |1841 |1192 | 1 |8082 | 38 | 0.000000e+00 | -- | Inf | 71.57%
21.01/21.17 c 21.2s| 8500 | 39 |152444 | 13.4 | 83M | 36 | 200 |7437 |1845 |1235 | 2 |8148 | 38 | 0.000000e+00 | -- | Inf | 72.23%
21.11/21.29 c 21.3s| 8600 | 41 |153936 | 13.5 | 83M | 36 | 200 |7453 |1838 |1242 | 1 |8196 | 38 | 0.000000e+00 | -- | Inf | 72.39%
21.41/21.50 c 21.5s| 8700 | 41 |155325 | 13.5 | 83M | 36 | 200 |7466 |1838 |1272 | 1 |8243 | 38 | 0.000000e+00 | -- | Inf | 72.64%
21.71/21.84 c 21.8s| 8800 | 49 |156974 | 13.5 | 83M | 36 | 200 |7480 |1841 |1321 | 0 |8295 | 38 | 0.000000e+00 | -- | Inf | 73.29%
21.81/21.93 c 21.9s| 8900 | 51 |158453 | 13.5 | 83M | 36 | 200 |7516 |1844 |1321 | 1 |8357 | 38 | 0.000000e+00 | -- | Inf | 73.37%
21.91/22.03 c 22.0s| 9000 | 55 |159928 | 13.5 | 83M | 36 | 200 |7555 |1841 |1322 | 1 |8426 | 38 | 0.000000e+00 | -- | Inf | 73.41%
22.01/22.12 c 22.1s| 9100 | 55 |161320 | 13.5 | 83M | 36 | 200 |7614 |1842 |1328 | 0 |8495 | 38 | 0.000000e+00 | -- | Inf | 73.41%
22.10/22.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.10/22.22 c 22.2s| 9200 | 51 |162828 | 13.5 | 83M | 36 | 200 |7685 |1841 |1330 | 0 |8578 | 38 | 0.000000e+00 | -- | Inf | 73.47%
22.30/22.42 c 22.4s| 9300 | 47 |164454 | 13.5 | 83M | 36 | 200 |7736 |1841 |1360 | 1 |8653 | 38 | 0.000000e+00 | -- | Inf | 73.88%
22.40/22.52 c 22.5s| 9400 | 47 |166073 | 13.6 | 83M | 36 | 200 |7814 |1844 |1360 | 1 |8755 | 38 | 0.000000e+00 | -- | Inf | 73.92%
22.50/22.69 c 22.7s| 9500 | 53 |167779 | 13.6 | 83M | 36 | 200 |7861 |1843 |1378 | 0 |8835 | 38 | 0.000000e+00 | -- | Inf | 74.10%
22.70/22.80 c 22.8s| 9600 | 49 |169540 | 13.6 | 83M | 36 | 200 |7930 |1844 |1378 | 1 |8921 | 38 | 0.000000e+00 | -- | Inf | 74.11%
22.80/22.92 c 22.9s| 9700 | 51 |171091 | 13.6 | 83M | 36 | 200 |7979 |1843 |1385 | 1 |8987 | 38 | 0.000000e+00 | -- | Inf | 74.15%
22.91/23.02 c 23.0s| 9800 | 55 |172760 | 13.7 | 83M | 36 | 200 |8031 |1843 |1390 | 0 |9057 | 38 | 0.000000e+00 | -- | Inf | 74.18%
23.01/23.12 c 23.1s| 9900 | 55 |174534 | 13.7 | 83M | 36 | 200 |8094 |1843 |1391 | 1 |9139 | 38 | 0.000000e+00 | -- | Inf | 74.19%
23.10/23.22 c 23.2s| 10000 | 47 |175937 | 13.7 | 83M | 36 | 200 |8181 |1843 |1391 | 0 |9234 | 38 | 0.000000e+00 | -- | Inf | 74.21%
23.30/23.46 c 23.5s| 10100 | 45 |177538 | 13.7 | 83M | 36 | 200 |8234 |1841 |1416 | 1 |9294 | 38 | 0.000000e+00 | -- | Inf | 74.76%
23.50/23.67 c 23.7s| 10200 | 49 |179116 | 13.7 | 83M | 36 | 200 |8265 |1842 |1446 | 1 |9371 | 38 | 0.000000e+00 | -- | Inf | 76.44%
23.70/23.80 c 23.8s| 10300 | 53 |180598 | 13.7 | 83M | 36 | 200 |8298 |1844 |1463 | 1 |9420 | 38 | 0.000000e+00 | -- | Inf | 76.61%
23.80/23.90 c 23.9s| 10400 | 59 |182145 | 13.8 | 85M | 36 | 200 |8375 |1845 |1464 | 0 |9511 | 38 | 0.000000e+00 | -- | Inf | 76.63%
23.90/24.01 c 24.0s| 10500 | 57 |183951 | 13.8 | 85M | 36 | 200 |8453 |1845 |1472 | 1 |9602 | 38 | 0.000000e+00 | -- | Inf | 76.65%
24.00/24.12 c 24.1s| 10600 | 61 |185759 | 13.8 | 85M | 36 | 200 |8508 |1845 |1474 | 1 |9667 | 38 | 0.000000e+00 | -- | Inf | 76.66%
24.10/24.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.10/24.22 c 24.2s| 10700 | 59 |187187 | 13.8 | 85M | 36 | 200 |8567 |1845 |1478 | 0 |9732 | 38 | 0.000000e+00 | -- | Inf | 76.67%
24.20/24.31 c 24.3s| 10800 | 58 |188719 | 13.8 | 85M | 36 | 200 |8654 |1845 |1478 | 0 |9824 | 38 | 0.000000e+00 | -- | Inf | 76.67%
24.30/24.41 c 24.4s| 10900 | 60 |190179 | 13.8 | 85M | 36 | 200 |8709 |1845 |1478 | 1 |9885 | 38 | 0.000000e+00 | -- | Inf | 76.67%
24.40/24.54 c 24.5s| 11000 | 60 |191872 | 13.9 | 85M | 36 | 200 |8792 |1843 |1487 | 1 |9970 | 38 | 0.000000e+00 | -- | Inf | 76.74%
24.49/24.67 c 24.7s| 11100 | 56 |193502 | 13.9 | 85M | 36 | 200 |8863 |1843 |1499 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 76.88%
24.59/24.76 c 24.8s| 11200 | 50 |194852 | 13.9 | 85M | 36 | 200 |8935 |1844 |1499 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 76.92%
24.69/24.87 c 24.9s| 11300 | 48 |196470 | 13.9 | 85M | 36 | 200 |9022 |1842 |1499 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 76.94%
24.79/24.95 c 24.9s| 11400 | 48 |197705 | 13.9 | 85M | 36 | 200 |9087 |1842 |1499 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 76.95%
24.90/25.04 c 25.0s| 11500 | 46 |199154 | 13.9 | 85M | 36 | 200 |9148 |1844 |1501 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 76.95%
25.00/25.19 c 25.2s| 11600 | 47 |200384 | 13.9 | 85M | 36 | 200 |9212 |1842 |1512 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 77.09%
25.09/25.28 c 25.3s| 11700 | 47 |201812 | 13.9 | 85M | 36 | 200 |9289 |1842 |1512 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 77.16%
25.19/25.37 c 25.4s| 11800 | 51 |203316 | 13.9 | 85M | 36 | 200 |9366 |1845 |1512 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 77.17%
25.29/25.48 c 25.5s| 11900 | 53 |205014 | 13.9 | 85M | 36 | 200 |9455 |1845 |1512 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 77.18%
25.39/25.57 c 25.6s| 12000 | 49 |206569 | 13.9 | 85M | 36 | 200 |9548 |1845 |1512 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 77.19%
25.49/25.68 c 25.7s| 12100 | 43 |208219 | 13.9 | 85M | 36 | 200 |9595 |1842 |1514 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 77.26%
25.59/25.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.59/25.76 c 25.8s| 12200 | 40 |209344 | 13.9 | 85M | 36 | 200 |9596 |1838 |1514 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 77.49%
25.69/25.89 c 25.9s| 12300 | 41 |210525 | 13.9 | 85M | 36 | 200 |9627 |1844 |1522 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.07%
25.89/26.05 c 26.0s| 12400 | 42 |211967 | 13.9 | 85M | 36 | 200 |9640 |1844 |1539 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.21%
25.99/26.15 c 26.1s| 12500 | 42 |213637 | 13.9 | 85M | 36 | 200 |9657 |1843 |1541 | 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.27%
26.09/26.25 c 26.2s| 12600 | 40 |215080 | 13.9 | 85M | 36 | 200 |9680 |1844 |1541 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.30%
26.19/26.34 c 26.3s| 12700 | 40 |216535 | 13.9 | 85M | 36 | 200 |9709 |1842 |1545 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.33%
26.29/26.48 c 26.5s| 12800 | 40 |218146 | 14.0 | 85M | 36 | 200 |9703 |1843 |1560 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.51%
26.39/26.56 c 26.6s| 12900 | 44 |219354 | 13.9 | 85M | 36 | 200 |9757 |1843 |1560 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.52%
26.49/26.68 c 26.7s| 13000 | 40 |220923 | 14.0 | 85M | 36 | 200 |9794 |1840 |1564 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.61%
26.59/26.76 c 26.8s| 13100 | 39 |222280 | 13.9 | 85M | 36 | 200 |9867 |1840 |1566 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.66%
26.69/26.88 c 26.9s| 13200 | 38 |223757 | 14.0 | 85M | 36 | 200 |9941 |1842 |1573 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.70%
26.79/26.98 c 27.0s| 13300 | 36 |224933 | 13.9 | 85M | 36 | 200 |9988 |1846 |1582 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 78.96%
26.99/27.12 c 27.1s| 13400 | 33 |226274 | 13.9 | 85M | 36 | 200 | 10k|1838 |1590 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 79.36%
27.18/27.32 c 27.3s| 13500 | 35 |227663 | 13.9 | 85M | 36 | 200 | 10k|1844 |1613 | 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 79.87%
27.28/27.48 c 27.5s| 13600 | 35 |229185 | 13.9 | 85M | 36 | 200 | 10k|1840 |1627 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 80.87%
27.58/27.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.58/27.78 c 27.8s| 13700 | 35 |230578 | 13.9 | 85M | 36 | 200 | 10k|1842 |1670 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 81.88%
27.68/27.88 c 27.9s| 13800 | 31 |231950 | 13.9 | 85M | 36 | 200 | 10k|1842 |1670 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 81.92%
27.78/28.00 c 28.0s| 13900 | 33 |233411 | 13.9 | 85M | 36 | 200 | 10k|1844 |1678 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.02%
27.89/28.10 c 28.1s| 14000 | 36 |234340 | 13.9 | 85M | 36 | 200 | 10k| 0 |1684 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.07%
27.99/28.17 c 28.2s| 14100 | 41 |235153 | 13.9 | 85M | 36 | 200 | 10k|1842 |1684 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.08%
28.08/28.25 c 28.2s| 14200 | 39 |236190 | 13.9 | 85M | 36 | 200 | 10k|1842 |1686 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.09%
28.18/28.34 c 28.3s| 14300 | 36 |237254 | 13.8 | 85M | 36 | 200 | 10k|1842 |1690 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.10%
28.28/28.41 c 28.4s| 14400 | 34 |238256 | 13.8 | 85M | 36 | 200 | 10k|1844 |1690 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.15%
28.38/28.52 c 28.5s| 14500 | 36 |239458 | 13.8 | 85M | 36 | 200 | 10k|1841 |1698 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.22%
28.48/28.61 c 28.6s| 14600 | 31 |240460 | 13.8 | 85M | 36 | 200 | 10k|1841 |1703 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.24%
28.58/28.70 c 28.7s| 14700 | 31 |241574 | 13.8 | 85M | 36 | 200 | 10k|1841 |1703 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.26%
28.68/28.81 c 28.8s| 14800 | 37 |242949 | 13.8 | 85M | 36 | 200 | 10k| 0 |1713 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.31%
28.68/28.89 c 28.9s| 14900 | 35 |244201 | 13.8 | 85M | 36 | 200 | 10k|1841 |1714 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.31%
28.78/28.97 c 29.0s| 15000 | 33 |245344 | 13.8 | 85M | 36 | 200 | 10k|1844 |1716 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 82.32%
28.89/29.09 c 29.1s| 15100 | 33 |246572 | 13.7 | 85M | 36 | 200 | 10k|1843 |1716 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.33%
28.99/29.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.99/29.19 c 29.2s| 15200 | 32 |247864 | 13.7 | 85M | 36 | 200 | 10k| 0 |1718 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.35%
29.08/29.28 c 29.3s| 15300 | 31 |248993 | 13.7 | 85M | 36 | 200 | 10k|1843 |1718 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.36%
29.18/29.37 c 29.4s| 15400 | 32 |250196 | 13.7 | 85M | 36 | 200 | 11k|1843 |1719 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.36%
29.28/29.45 c 29.4s| 15500 | 36 |251471 | 13.7 | 85M | 36 | 200 | 11k|1843 |1719 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.36%
29.38/29.55 c 29.5s| 15600 | 36 |252899 | 13.7 | 85M | 36 | 200 | 11k|1843 |1720 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.37%
29.48/29.63 c 29.6s| 15700 | 35 |254252 | 13.7 | 85M | 36 | 200 | 11k|1843 |1722 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.37%
29.58/29.72 c 29.7s| 15800 | 33 |255485 | 13.7 | 85M | 36 | 200 | 11k|1843 |1722 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.37%
29.68/29.82 c 29.8s| 15900 | 29 |256964 | 13.7 | 85M | 36 | 200 | 11k|1843 |1722 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.37%
29.78/29.92 c 29.9s| 16000 | 34 |258025 | 13.7 | 85M | 36 | 200 | 11k|1842 |1730 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 82.43%
29.89/30.03 c 30.0s| 16100 | 35 |259338 | 13.7 | 85M | 36 | 200 | 11k|1844 |1738 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.47%
29.99/30.14 c 30.1s| 16200 | 40 |260741 | 13.7 | 85M | 36 | 200 | 11k|1843 |1747 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.49%
30.08/30.22 c 30.2s| 16300 | 39 |261818 | 13.7 | 85M | 36 | 200 | 11k|1843 |1747 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.51%
30.18/30.31 c 30.3s| 16400 | 39 |263128 | 13.7 | 85M | 36 | 200 | 11k|1843 |1749 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.53%
30.28/30.41 c 30.4s| 16500 | 42 |264577 | 13.7 | 85M | 36 | 200 | 11k|1843 |1751 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.54%
30.38/30.50 c 30.5s| 16600 | 44 |265780 | 13.7 | 85M | 36 | 200 | 11k|1843 |1753 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.54%
30.48/30.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.48/30.60 c 30.6s| 16700 | 41 |267172 | 13.7 | 85M | 36 | 200 | 11k|1844 |1753 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.56%
30.48/30.70 c 30.7s| 16800 | 41 |268739 | 13.7 | 85M | 36 | 200 | 11k|1843 |1753 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.57%
30.68/30.80 c 30.8s| 16900 | 43 |270479 | 13.7 | 85M | 36 | 200 | 11k|1843 |1754 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.57%
30.78/30.91 c 30.9s| 17000 | 44 |272175 | 13.7 | 85M | 36 | 200 | 11k|1843 |1754 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.57%
30.88/31.01 c 31.0s| 17100 | 38 |273842 | 13.7 | 85M | 36 | 200 | 11k|1843 |1755 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.58%
30.98/31.11 c 31.1s| 17200 | 39 |275292 | 13.7 | 85M | 36 | 200 | 11k|1843 |1755 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.59%
31.08/31.22 c 31.2s| 17300 | 37 |277037 | 13.8 | 85M | 36 | 200 | 11k|1844 |1755 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 82.59%
31.18/31.33 c 31.3s| 17400 | 39 |278846 | 13.8 | 85M | 36 | 200 | 11k|1843 |1755 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.59%
31.28/31.43 c 31.4s| 17500 | 36 |280536 | 13.8 | 85M | 36 | 200 | 11k|1844 |1755 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.60%
31.38/31.55 c 31.5s| 17600 | 34 |282354 | 13.8 | 85M | 36 | 200 | 11k|1844 |1755 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.61%
31.48/31.65 c 31.6s| 17700 | 36 |283906 | 13.8 | 85M | 36 | 200 | 11k|1844 |1755 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.63%
31.67/31.80 c 31.8s| 17800 | 40 |285886 | 13.9 | 85M | 36 | 200 | 11k|1840 |1762 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.66%
31.77/31.90 c 31.9s| 17900 | 42 |287443 | 13.9 | 85M | 36 | 200 | 11k|1840 |1762 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.66%
31.77/32.00 c 32.0s| 18000 | 44 |288893 | 13.9 | 85M | 36 | 200 | 11k|1840 |1762 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.66%
31.88/32.09 c 32.1s| 18100 | 46 |290144 | 13.9 | 85M | 36 | 200 | 11k|1840 |1762 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.66%
31.98/32.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.98/32.19 c 32.2s| 18200 | 45 |291291 | 13.8 | 85M | 36 | 200 | 11k|1844 |1762 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.67%
32.07/32.28 c 32.3s| 18300 | 43 |292447 | 13.8 | 85M | 36 | 200 | 11k|1844 |1762 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.67%
32.17/32.37 c 32.4s| 18400 | 43 |293467 | 13.8 | 85M | 36 | 200 | 11k|1840 |1762 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.67%
32.27/32.47 c 32.5s| 18500 | 42 |294745 | 13.8 | 85M | 36 | 200 | 11k|1840 |1762 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 82.68%
32.37/32.58 c 32.6s| 18600 | 40 |296181 | 13.8 | 85M | 36 | 200 | 11k|1844 |1762 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.68%
32.47/32.66 c 32.7s| 18700 | 38 |297286 | 13.8 | 85M | 36 | 200 | 11k|1844 |1762 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.69%
32.57/32.75 c 32.7s| 18800 | 40 |298534 | 13.8 | 85M | 36 | 200 | 11k|1844 |1762 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.69%
32.67/32.83 c 32.8s| 18900 | 36 |299897 | 13.8 | 85M | 36 | 200 | 11k|1840 |1762 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.69%
32.77/32.93 c 32.9s| 19000 | 44 |301187 | 13.8 | 85M | 36 | 200 | 11k|1844 |1762 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.69%
32.87/33.02 c 33.0s| 19100 | 43 |302448 | 13.8 | 85M | 36 | 200 | 11k|1844 |1762 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.70%
32.97/33.12 c 33.1s| 19200 | 49 |303800 | 13.8 | 85M | 36 | 200 | 11k|1844 |1762 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.07/33.21 c 33.2s| 19300 | 45 |305155 | 13.8 | 85M | 37 | 200 | 11k|1844 |1762 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.17/33.32 c 33.3s| 19400 | 50 |306610 | 13.8 | 85M | 37 | 200 | 11k|1844 |1762 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.27/33.40 c 33.4s| 19500 | 48 |307673 | 13.8 | 85M | 37 | 200 | 11k|1844 |1762 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.27/33.48 c 33.5s| 19600 | 50 |308601 | 13.8 | 85M | 39 | 200 | 11k|1844 |1762 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.37/33.57 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.57 c 33.6s| 19700 | 52 |309695 | 13.7 | 85M | 39 | 200 | 11k|1844 |1762 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.47/33.66 c 33.7s| 19800 | 48 |310939 | 13.7 | 85M | 39 | 200 | 11k|1844 |1762 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.57/33.75 c 33.7s| 19900 | 49 |311988 | 13.7 | 85M | 39 | 200 | 11k|1844 |1762 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.67/33.85 c 33.8s| 20000 | 48 |313368 | 13.7 | 85M | 39 | 200 | 11k|1844 |1762 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.77/33.94 c 33.9s| 20100 | 44 |314602 | 13.7 | 85M | 39 | 200 | 11k|1844 |1762 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.87/34.03 c 34.0s| 20200 | 42 |315734 | 13.7 | 85M | 39 | 200 | 11k|1844 |1762 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
33.97/34.12 c 34.1s| 20300 | 42 |316995 | 13.7 | 85M | 39 | 200 | 11k|1844 |1762 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
34.07/34.23 c 34.2s| 20400 | 40 |318347 | 13.7 | 85M | 39 | 200 | 11k|1844 |1762 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
34.17/34.34 c 34.3s| 20500 | 38 |319608 | 13.7 | 85M | 39 | 200 | 11k|1840 |1762 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
34.26/34.43 c 34.4s| 20600 | 38 |320779 | 13.7 | 85M | 39 | 200 | 11k|1840 |1762 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
34.36/34.54 c 34.5s| 20700 | 36 |322097 | 13.7 | 85M | 39 | 200 | 11k|1840 |1762 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 82.70%
34.46/34.63 c 34.6s| 20800 | 37 |323406 | 13.7 | 85M | 39 | 200 | 11k|1840 |1762 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 82.70%
34.56/34.74 c 34.7s| 20900 | 37 |324893 | 13.7 | 85M | 39 | 200 | 11k|1840 |1762 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 82.70%
34.66/34.87 c 34.9s| 21000 | 33 |326282 | 13.7 | 85M | 39 | 200 | 11k|1843 |1769 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 82.81%
34.76/34.96 c 35.0s| 21100 | 37 |327413 | 13.7 | 85M | 39 | 200 | 11k|1843 |1769 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 82.82%
34.87/35.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.87/35.06 c 35.1s| 21200 | 35 |328540 | 13.7 | 85M | 39 | 200 | 11k|1843 |1769 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 82.82%
34.97/35.16 c 35.2s| 21300 | 32 |329773 | 13.7 | 85M | 39 | 200 | 11k|1843 |1769 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 82.82%
35.06/35.25 c 35.2s| 21400 | 38 |330918 | 13.7 | 85M | 39 | 200 | 11k|1843 |1769 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 82.83%
35.16/35.36 c 35.4s| 21500 | 38 |332048 | 13.6 | 85M | 39 | 200 | 11k|1843 |1769 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 82.83%
35.26/35.47 c 35.5s| 21600 | 32 |333381 | 13.6 | 85M | 39 | 200 | 11k|1844 |1769 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 82.86%
35.36/35.57 c 35.6s| 21700 | 30 |334618 | 13.6 | 85M | 39 | 200 | 11k|1844 |1769 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.87%
35.46/35.69 c 35.7s| 21800 | 30 |336129 | 13.6 | 85M | 39 | 200 | 11k|1842 |1769 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.88%
35.56/35.79 c 35.8s| 21900 | 32 |337683 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.89%
35.66/35.89 c 35.9s| 22000 | 28 |339040 | 13.7 | 85M | 39 | 200 | 11k|1842 |1769 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.89%
35.76/35.99 c 36.0s| 22100 | 31 |340258 | 13.6 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.89%
35.86/36.08 c 36.1s| 22200 | 33 |341481 | 13.6 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.89%
35.96/36.18 c 36.2s| 22300 | 30 |342951 | 13.6 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.89%
36.06/36.29 c 36.3s| 22400 | 32 |344397 | 13.6 | 85M | 39 | 200 | 11k|1840 |1769 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.90%
36.16/36.39 c 36.4s| 22500 | 34 |346046 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.90%
36.36/36.50 c 36.5s| 22600 | 36 |347472 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 82.90%
36.36/36.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.36/36.59 c 36.6s| 22700 | 38 |348711 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.90%
36.56/36.70 c 36.7s| 22800 | 40 |350282 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.90%
36.66/36.82 c 36.8s| 22900 | 36 |351984 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.90%
36.76/36.93 c 36.9s| 23000 | 40 |353770 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.91%
36.86/37.03 c 37.0s| 23100 | 41 |355314 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.91%
36.96/37.14 c 37.1s| 23200 | 38 |356784 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.91%
37.05/37.23 c 37.2s| 23300 | 44 |358222 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.91%
37.15/37.35 c 37.3s| 23400 | 45 |359793 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.91%
37.25/37.45 c 37.4s| 23500 | 47 |361222 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.91%
37.35/37.54 c 37.5s| 23600 | 45 |362471 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.91%
37.45/37.63 c 37.6s| 23700 | 45 |363630 | 13.7 | 85M | 39 | 200 | 11k|1840 |1769 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.91%
37.55/37.75 c 37.7s| 23800 | 49 |364981 | 13.7 | 85M | 40 | 200 | 11k|1840 |1772 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 82.91%
37.65/37.85 c 37.8s| 23900 | 52 |366260 | 13.7 | 85M | 40 | 200 | 11k|1840 |1772 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
37.75/37.94 c 37.9s| 24000 | 50 |367516 | 13.7 | 85M | 40 | 200 | 11k|1840 |1772 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
37.86/38.10 c 38.1s| 24100 | 52 |368954 | 13.7 | 85M | 40 | 200 | 11k|1840 |1772 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.05/38.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.05/38.20 c 38.2s| 24200 | 56 |370394 | 13.7 | 85M | 40 | 200 | 11k|1840 |1772 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.15/38.31 c 38.3s| 24300 | 53 |371985 | 13.7 | 86M | 40 | 200 | 11k|1840 |1774 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.25/38.41 c 38.4s| 24400 | 53 |373538 | 13.7 | 86M | 40 | 200 | 11k|1840 |1774 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.35/38.54 c 38.5s| 24500 | 51 |375133 | 13.7 | 86M | 40 | 200 | 11k|1840 |1778 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.45/38.65 c 38.6s| 24600 | 51 |376634 | 13.7 | 86M | 40 | 200 | 11k|1840 |1778 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.55/38.75 c 38.7s| 24700 | 49 |377983 | 13.7 | 86M | 40 | 200 | 11k|1840 |1778 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.65/38.87 c 38.9s| 24800 | 50 |379439 | 13.7 | 86M | 40 | 200 | 11k|1840 |1778 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.75/38.98 c 39.0s| 24900 | 52 |380892 | 13.7 | 86M | 40 | 200 | 11k|1840 |1778 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.85/39.08 c 39.1s| 25000 | 50 |382206 | 13.7 | 86M | 40 | 200 | 11k|1840 |1778 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
38.95/39.19 c 39.2s| 25100 | 56 |383694 | 13.7 | 86M | 40 | 200 | 11k|1840 |1778 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
39.15/39.30 c 39.3s| 25200 | 56 |385350 | 13.7 | 86M | 40 | 200 | 11k|1840 |1778 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
39.25/39.41 c 39.4s| 25300 | 57 |386836 | 13.7 | 86M | 40 | 200 | 11k|1840 |1778 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
39.35/39.51 c 39.5s| 25400 | 58 |388257 | 13.8 | 86M | 40 | 200 | 11k|1840 |1778 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
39.45/39.61 c 39.6s| 25500 | 61 |389655 | 13.8 | 86M | 40 | 200 | 11k|1841 |1781 | 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
39.55/39.72 c 39.7s| 25600 | 62 |391406 | 13.8 | 86M | 40 | 200 | 11k|1840 |1782 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
39.64/39.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.64/39.83 c 39.8s| 25700 | 59 |392936 | 13.8 | 86M | 40 | 200 | 11k|1840 |1782 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
39.74/39.95 c 39.9s| 25800 | 61 |394649 | 13.8 | 86M | 40 | 200 | 11k|1840 |1782 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 82.91%
39.85/40.07 c 40.1s| 25900 | 59 |396052 | 13.8 | 86M | 40 | 200 | 11k|1840 |1782 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.04/40.23 c 40.2s| 26000 | 60 |397416 | 13.8 | 86M | 40 | 200 | 11k|1840 |1786 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.14/40.35 c 40.3s| 26100 | 57 |399017 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.24/40.44 c 40.4s| 26200 | 55 |400397 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.34/40.54 c 40.5s| 26300 | 62 |401737 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.44/40.64 c 40.6s| 26400 | 61 |403132 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.54/40.73 c 40.7s| 26500 | 60 |404308 | 13.8 | 86M | 40 | 200 | 11k| 0 |1787 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.64/40.83 c 40.8s| 26600 | 65 |405764 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.74/40.94 c 40.9s| 26700 | 59 |407083 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.85/41.06 c 41.1s| 26800 | 56 |408544 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 82.91%
40.95/41.16 c 41.2s| 26900 | 56 |409976 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 0 | 24k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.04/41.26 c 41.3s| 27000 | 57 |411062 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 1 | 24k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.14/41.34 c 41.3s| 27100 | 54 |412117 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 0 | 24k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.24/41.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.24/41.45 c 41.4s| 27200 | 56 |413694 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 1 | 24k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.34/41.56 c 41.6s| 27300 | 56 |415083 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 1 | 24k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.44/41.66 c 41.7s| 27400 | 57 |416449 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 1 | 24k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.54/41.76 c 41.8s| 27500 | 59 |417908 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 0 | 24k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.64/41.88 c 41.9s| 27600 | 63 |419569 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 1 | 24k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.74/41.97 c 42.0s| 27700 | 67 |420887 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.84/42.07 c 42.1s| 27800 | 67 |422389 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 82.91%
41.94/42.19 c 42.2s| 27900 | 69 |423980 | 13.8 | 86M | 40 | 200 | 11k|1840 |1787 | 1 | 25k| 38 | 0.000000e+00 | -- | Inf | 82.91%
42.14/42.36 c 42.4s| 28000 | 70 |425573 | 13.8 | 86M | 40 | 200 | 11k|1840 |1792 | 1 | 25k| 38 | 0.000000e+00 | -- | Inf | 82.91%
42.34/42.54 c 42.5s| 28100 | 74 |427210 | 13.8 | 86M | 44 | 200 | 11k|1843 |1816 | 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 82.91%
42.53/42.71 c 42.7s| 28200 | 70 |428866 | 13.8 | 86M | 46 | 200 | 11k|1840 |1832 | 1 | 25k| 38 | 0.000000e+00 | -- | Inf | 82.91%
42.63/42.82 c 42.8s| 28300 | 65 |430366 | 13.8 | 86M | 46 | 200 | 11k|1840 |1832 | 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 82.91%
42.73/42.99 c 43.0s| 28400 | 65 |432059 | 13.8 | 86M | 46 | 200 | 11k|1840 |1844 | 1 | 25k| 38 | 0.000000e+00 | -- | Inf | 83.11%
42.94/43.10 c 43.1s| 28500 | 71 |433608 | 13.8 | 86M | 46 | 200 | 11k|1841 |1846 | 1 | 25k| 38 | 0.000000e+00 | -- | Inf | 83.11%
43.03/43.20 c 43.2s| 28600 | 67 |434715 | 13.8 | 86M | 46 | 200 | 11k|1841 |1847 | 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.11%
43.13/43.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
43.13/43.30 c 43.3s| 28700 | 70 |436089 | 13.8 | 86M | 46 | 200 | 11k|1840 |1848 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.11%
43.23/43.40 c 43.4s| 28800 | 69 |437448 | 13.8 | 86M | 46 | 200 | 11k|1840 |1849 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.11%
43.33/43.50 c 43.5s| 28900 | 70 |438687 | 13.8 | 86M | 46 | 200 | 11k|1841 |1851 | 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.11%
43.43/43.60 c 43.6s| 29000 | 66 |440032 | 13.8 | 86M | 46 | 200 | 11k|1842 |1851 | 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.13%
43.53/43.73 c 43.7s| 29100 | 64 |441528 | 13.8 | 86M | 46 | 200 | 11k|1840 |1855 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.13%
43.73/43.90 c 43.9s| 29200 | 62 |443129 | 13.8 | 86M | 46 | 200 | 11k|1843 |1865 | 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.13%
43.84/44.01 c 44.0s| 29300 | 63 |444391 | 13.8 | 86M | 46 | 200 | 11k|1844 |1870 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.14%
43.93/44.12 c 44.1s| 29400 | 71 |445824 | 13.8 | 86M | 46 | 200 | 11k|1843 |1870 | 1 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.03/44.22 c 44.2s| 29500 | 73 |446900 | 13.8 | 86M | 46 | 200 | 11k|1843 |1873 | 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.13/44.33 c 44.3s| 29600 | 72 |448229 | 13.8 | 86M | 46 | 200 | 11k| 0 |1873 | 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.23/44.42 c 44.4s| 29700 | 68 |449345 | 13.8 | 86M | 46 | 200 | 11k|1843 |1873 | 1 | 27k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.33/44.54 c 44.5s| 29800 | 65 |450811 | 13.8 | 86M | 46 | 200 | 11k|1843 |1873 | 0 | 27k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.43/44.64 c 44.6s| 29900 | 61 |452189 | 13.8 | 86M | 46 | 200 | 11k|1843 |1873 | 0 | 27k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.53/44.75 c 44.7s| 30000 | 69 |453650 | 13.8 | 86M | 46 | 200 | 11k|1843 |1874 | 1 | 27k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.63/44.85 c 44.8s| 30100 | 73 |454991 | 13.8 | 86M | 46 | 200 | 11k|1843 |1874 | 0 | 27k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.73/44.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.73/44.95 c 44.9s| 30200 | 77 |456494 | 13.8 | 86M | 46 | 200 | 11k|1844 |1876 | 2 | 27k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.83/45.06 c 45.1s| 30300 | 76 |457852 | 13.8 | 86M | 46 | 200 | 11k|1844 |1881 | 1 | 27k| 38 | 0.000000e+00 | -- | Inf | 83.14%
44.93/45.17 c 45.2s| 30400 | 73 |459283 | 13.8 | 86M | 46 | 200 | 11k|1843 |1888 | 0 | 27k| 38 | 0.000000e+00 | -- | Inf | 83.14%
45.03/45.27 c 45.3s| 30500 | 69 |460606 | 13.8 | 86M | 46 | 200 | 11k|1843 |1888 | 1 | 27k| 38 | 0.000000e+00 | -- | Inf | 83.14%
45.12/45.39 c 45.4s| 30600 | 61 |462050 | 13.8 | 86M | 46 | 200 | 11k|1843 |1890 | 0 | 28k| 38 | 0.000000e+00 | -- | Inf | 83.14%
45.22/45.49 c 45.5s| 30700 | 62 |463320 | 13.8 | 86M | 46 | 200 | 11k|1843 |1892 | 1 | 28k| 38 | 0.000000e+00 | -- | Inf | 83.14%
45.42/45.67 c 45.7s| 30800 | 57 |464716 | 13.8 | 86M | 46 | 200 | 11k|1840 |1906 | 1 | 28k| 38 | 0.000000e+00 | -- | Inf | 83.14%
45.52/45.79 c 45.8s| 30900 | 52 |466290 | 13.8 | 86M | 46 | 200 | 11k|1841 |1908 | 0 | 28k| 38 | 0.000000e+00 | -- | Inf | 83.14%
45.72/45.90 c 45.9s| 31000 | 52 |467716 | 13.8 | 86M | 46 | 200 | 11k|1841 |1908 | 0 | 28k| 38 | 0.000000e+00 | -- | Inf | 83.14%
45.93/46.19 c 46.2s| 31100 | 52 |469078 | 13.8 | 86M | 46 | 200 | 11k|1840 |1942 | 1 | 28k| 38 | 0.000000e+00 | -- | Inf | 84.17%
46.12/46.33 c 46.3s| 31200 | 52 |470244 | 13.8 | 86M | 46 | 200 | 11k|1844 |1964 | 0 | 28k| 38 | 0.000000e+00 | -- | Inf | 84.45%
46.22/46.48 c 46.5s| 31300 | 49 |471781 | 13.8 | 86M | 46 | 200 | 11k|1841 |1972 | 1 | 28k| 38 | 0.000000e+00 | -- | Inf | 84.61%
46.42/46.62 c 46.6s| 31400 | 45 |473230 | 13.8 | 86M | 46 | 200 | 11k|1845 |1984 | 0 | 28k| 38 | 0.000000e+00 | -- | Inf | 85.29%
46.52/46.75 c 46.7s| 31500 | 46 |474762 | 13.8 | 86M | 46 | 200 | 11k|1842 |1993 | 1 | 28k| 38 | 0.000000e+00 | -- | Inf | 85.34%
46.62/46.87 c 46.9s| 31600 | 46 |476069 | 13.8 | 86M | 46 | 200 | 11k| 0 |2003 | 0 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.44%
46.72/46.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
46.72/46.99 c 47.0s| 31700 | 50 |477593 | 13.8 | 86M | 46 | 200 | 11k|1842 |2008 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
46.82/47.10 c 47.1s| 31800 | 50 |478964 | 13.8 | 86M | 46 | 200 | 11k|1840 |2009 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.02/47.21 c 47.2s| 31900 | 46 |480544 | 13.8 | 86M | 46 | 200 | 11k|1840 |2015 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.12/47.32 c 47.3s| 32000 | 46 |481968 | 13.8 | 86M | 46 | 200 | 11k|1841 |2016 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.22/47.43 c 47.4s| 32100 | 42 |483409 | 13.8 | 86M | 46 | 200 | 11k|1841 |2016 | 0 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.32/47.52 c 47.5s| 32200 | 42 |484713 | 13.8 | 86M | 46 | 200 | 11k|1841 |2019 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.42/47.66 c 47.7s| 32300 | 42 |486086 | 13.8 | 86M | 46 | 200 | 11k|1841 |2030 | 0 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.52/47.77 c 47.8s| 32400 | 41 |487494 | 13.8 | 86M | 46 | 200 | 11k| 0 |2035 | 0 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.62/47.87 c 47.9s| 32500 | 45 |488728 | 13.8 | 86M | 46 | 200 | 11k|1840 |2036 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.72/47.97 c 48.0s| 32600 | 45 |490066 | 13.8 | 86M | 46 | 200 | 11k|1840 |2038 | 1 | 29k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.82/48.06 c 48.1s| 32700 | 44 |491429 | 13.8 | 86M | 46 | 200 | 11k| 0 |2040 | 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 85.49%
47.92/48.15 c 48.1s| 32800 | 42 |492460 | 13.8 | 86M | 46 | 200 | 11k|1841 |2042 | 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 85.49%
48.01/48.25 c 48.2s| 32900 | 45 |493778 | 13.8 | 86M | 46 | 200 | 11k|1841 |2047 | 1 | 30k| 38 | 0.000000e+00 | -- | Inf | 85.50%
48.11/48.35 c 48.3s| 33000 | 44 |495107 | 13.8 | 86M | 46 | 200 | 11k|1842 |2047 | 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 85.50%
48.21/48.45 c 48.4s| 33100 | 45 |496465 | 13.8 | 86M | 46 | 200 | 11k|1841 |2047 | 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 85.50%
48.31/48.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.31/48.54 c 48.5s| 33200 | 43 |497816 | 13.8 | 86M | 46 | 200 | 11k|1841 |2047 | 1 | 30k| 38 | 0.000000e+00 | -- | Inf | 85.50%
48.41/48.65 c 48.6s| 33300 | 42 |499392 | 13.8 | 86M | 46 | 200 | 11k|1842 |2047 | 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 85.50%
48.51/48.74 c 48.7s| 33400 | 38 |500605 | 13.8 | 86M | 46 | 200 | 11k|1842 |2048 | 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 85.50%
48.71/48.92 c 48.9s| 33500 | 37 |501809 | 13.8 | 86M | 46 | 200 | 11k|1841 |2061 | 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 85.69%
48.82/49.03 c 49.0s| 33600 | 40 |503265 | 13.8 | 86M | 46 | 200 | 11k|1841 |2061 | 1 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.69%
48.92/49.16 c 49.1s| 33700 | 36 |504922 | 13.8 | 86M | 46 | 200 | 11k|1841 |2064 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.69%
49.01/49.25 c 49.2s| 33800 | 40 |506295 | 13.8 | 86M | 46 | 200 | 11k|1842 |2064 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.71%
49.11/49.35 c 49.3s| 33900 | 39 |507736 | 13.8 | 86M | 46 | 200 | 11k|1842 |2071 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.72%
49.21/49.45 c 49.4s| 34000 | 43 |509112 | 13.8 | 86M | 46 | 200 | 11k|1842 |2077 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.73%
49.31/49.56 c 49.6s| 34100 | 43 |510533 | 13.8 | 86M | 46 | 200 | 11k|1842 |2077 | 1 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.73%
49.41/49.66 c 49.7s| 34200 | 41 |511809 | 13.8 | 86M | 46 | 200 | 11k|1842 |2078 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.73%
49.51/49.76 c 49.8s| 34300 | 43 |513146 | 13.8 | 86M | 46 | 200 | 11k|1842 |2078 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.73%
49.61/49.88 c 49.9s| 34400 | 45 |514696 | 13.8 | 86M | 46 | 200 | 11k|1842 |2084 | 1 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.73%
49.71/49.98 c 50.0s| 34500 | 42 |515917 | 13.8 | 86M | 46 | 200 | 11k|1842 |2084 | 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 85.73%
49.81/50.08 c 50.1s| 34600 | 42 |517295 | 13.8 | 86M | 46 | 200 | 11k|1843 |2088 | 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 85.73%
49.91/50.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.91/50.17 c 50.2s| 34700 | 43 |518575 | 13.8 | 86M | 46 | 200 | 11k|1842 |2088 | 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 85.73%
50.01/50.26 c 50.3s| 34800 | 40 |520011 | 13.8 | 86M | 46 | 200 | 11k|1842 |2088 | 0 | 32k| 38 | 0.000000e+00 | -- | Inf | 85.73%
50.11/50.35 c 50.3s| 34900 | 44 |521398 | 13.8 | 86M | 46 | 200 | 11k|1842 |2089 | 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 85.74%
50.21/50.44 c 50.4s| 35000 | 41 |522773 | 13.8 | 86M | 46 | 200 | 11k|1842 |2089 | 0 | 32k| 38 | 0.000000e+00 | -- | Inf | 85.74%
50.31/50.58 c 50.6s| 35100 | 38 |524240 | 13.8 | 86M | 46 | 200 | 11k|1843 |2091 | 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 85.74%
50.41/50.68 c 50.7s| 35200 | 38 |525626 | 13.8 | 86M | 46 | 200 | 11k|1840 |2093 | 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 85.74%
50.60/50.85 c 50.8s| 35300 | 34 |526862 | 13.8 | 86M | 46 | 200 | 11k|1841 |2107 | 0 | 32k| 38 | 0.000000e+00 | -- | Inf | 86.11%
50.70/50.95 c 50.9s| 35400 | 32 |528141 | 13.8 | 86M | 46 | 200 | 11k|1844 |2110 | 0 | 32k| 38 | 0.000000e+00 | -- | Inf | 86.16%
50.81/51.04 c 51.0s| 35500 | 31 |529377 | 13.8 | 86M | 46 | 200 | 11k|1843 |2111 | 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 86.16%
51.00/51.22 c 51.2s| 35600 | 26 |530898 | 13.8 | 86M | 46 | 200 | 11k|1841 |2132 | 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 86.25%
51.10/51.31 c 51.3s| 35700 | 26 |532096 | 13.8 | 86M | 46 | 200 | 11k|1841 |2133 | 0 | 33k| 38 | 0.000000e+00 | -- | Inf | 86.25%
51.20/51.41 c 51.4s| 35800 | 27 |533505 | 13.8 | 86M | 46 | 200 | 11k|1841 |2133 | 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 86.25%
51.30/51.51 c 51.5s| 35900 | 27 |534686 | 13.8 | 86M | 46 | 200 | 11k|1843 |2134 | 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 86.28%
51.40/51.64 c 51.6s| 36000 | 24 |535869 | 13.8 | 86M | 46 | 200 | 11k|1843 |2151 | 0 | 33k| 38 | 0.000000e+00 | -- | Inf | 86.42%
51.50/51.76 c 51.8s| 36100 | 22 |537434 | 13.8 | 86M | 46 | 200 | 11k|1840 |2155 | 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 86.57%
51.60/51.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.60/51.88 c 51.9s| 36200 | 20 |538677 | 13.8 | 86M | 46 | 200 | 11k| 0 |2161 | 0 | 33k| 38 | 0.000000e+00 | -- | Inf | 86.57%
51.91/52.17 c 52.2s| 36300 | 21 |540167 | 13.8 | 86M | 46 | 200 | 11k|1838 |2212 | 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 92.82%
52.20/52.45 c 52.4s| 36400 | 23 |541852 | 13.8 | 86M | 46 | 200 | 11k|1843 |2254 | 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 95.72%
52.30/52.59 c 52.6s| 36500 | 26 |543237 | 13.8 | 86M | 46 | 200 | 11k|1843 |2273 | 0 | 33k| 38 | 0.000000e+00 | -- | Inf | 95.86%
52.50/52.72 c 52.7s| 36600 | 25 |544586 | 13.8 | 86M | 46 | 200 | 11k|1843 |2278 | 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 95.90%
52.60/52.86 c 52.9s| 36700 | 23 |546054 | 13.8 | 86M | 46 | 200 | 11k|1843 |2286 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | 95.91%
52.70/53.00 c 53.0s| 36800 | 21 |547224 | 13.8 | 86M | 46 | 200 | 11k|1844 |2303 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | 96.35%
53.00/53.26 c 53.3s| 36900 | 21 |548630 | 13.8 | 86M | 46 | 200 | 11k|1842 |2347 | 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 97.09%
53.20/53.40 c 53.4s| 37000 | 21 |549841 | 13.8 | 86M | 46 | 200 | 11k|1843 |2365 | 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 97.30%
53.40/53.61 c 53.6s| 37100 | 23 |551182 | 13.8 | 86M | 46 | 200 | 11k| 0 |2393 | 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 97.65%
53.50/53.71 c 53.7s| 37200 | 21 |552450 | 13.8 | 86M | 46 | 200 | 11k|1844 |2397 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | 97.73%
53.59/53.85 c 53.8s| 37300 | 23 |553619 | 13.8 | 86M | 46 | 200 | 11k| 0 |2411 | 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 97.89%
53.69/54.00 c 54.0s| 37400 | 21 |555096 | 13.8 | 86M | 46 | 200 | 11k|1843 |2418 | 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 97.98%
53.80/54.10 c 54.1s| 37500 | 21 |556495 | 13.8 | 86M | 46 | 200 | 11k|1841 |2418 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | 98.02%
53.99/54.27 c 54.3s| 37600 | 21 |557933 | 13.8 | 86M | 46 | 200 | 11k|1843 |2446 | 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 98.20%
54.09/54.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
54.09/54.39 c 54.4s| 37700 | 22 |559482 | 13.8 | 86M | 46 | 200 | 11k|1843 |2446 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | 98.26%
54.19/54.49 c 54.5s| 37800 | 20 |560942 | 13.8 | 86M | 46 | 200 | 11k|1843 |2446 | 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 98.30%
54.39/54.60 c 54.6s| 37900 | 20 |562229 | 13.8 | 86M | 46 | 200 | 11k|1844 |2454 | 1 | 34k| 38 | 0.000000e+00 | -- | Inf | 98.31%
54.49/54.71 c 54.7s| 38000 | 20 |563685 | 13.8 | 86M | 46 | 200 | 11k|1843 |2456 | 1 | 35k| 38 | 0.000000e+00 | -- | Inf | 98.31%
54.59/54.83 c 54.8s| 38100 | 16 |565372 | 13.8 | 86M | 46 | 200 | 11k|1840 |2456 | 1 | 35k| 38 | 0.000000e+00 | -- | Inf | 98.31%
54.80/55.07 c 55.1s| 38200 | 16 |567104 | 13.8 | 86M | 46 | 200 | 11k|1844 |2489 | 1 | 35k| 38 | 0.000000e+00 | -- | Inf | 99.05%
54.99/55.23 c 55.2s| 38300 | 8 |568606 | 13.8 | 86M | 46 | 200 | 11k|1842 |2505 | 0 | 35k| 38 | 0.000000e+00 | -- | Inf | 99.19%
55.09/55.34 c 55.3s| 38400 | 9 |569975 | 13.8 | 86M | 46 | 200 | 11k|1841 |2507 | 0 | 35k| 38 | 0.000000e+00 | -- | Inf | 99.19%
55.19/55.46 c 55.5s| 38500 | 8 |571355 | 13.8 | 86M | 46 | 200 | 11k|1842 |2510 | 0 | 35k| 38 | 0.000000e+00 | -- | Inf | 99.21%
55.49/55.73 c 55.7s| 38600 | 6 |573010 | 13.8 | 86M | 46 | 200 | 11k|1842 |2537 | 1 | 35k| 38 | 0.000000e+00 | -- | Inf | 99.96%
55.59/55.84 c 55.8s| 38700 | 4 |574574 | 13.8 | 86M | 46 | 200 | 11k|1844 |2547 | 1 | 35k| 38 | 0.000000e+00 | -- | Inf | 100.00%
55.69/55.92 c
55.69/55.92 c SCIP Status : problem is solved [infeasible]
55.69/55.92 c Solving Time (sec) : 55.91
55.69/55.92 c Solving Nodes : 38780 (total of 41486 nodes in 2 runs)
55.69/55.92 c Primal Bound : +1.00000000000000e+20 (0 solutions)
55.69/55.92 c Dual Bound : +1.00000000000000e+20
55.69/55.92 c Gap : 0.00 %
55.69/55.92 s UNSATISFIABLE
55.69/55.92 c SCIP Status : problem is solved [infeasible]
55.69/55.92 c Total Time : 55.91
55.69/55.92 c solving : 55.91
55.69/55.92 c presolving : 0.09 (included in solving)
55.69/55.92 c reading : 0.00 (included in solving)
55.69/55.92 c copying : 0.70 (108 #copies) (minimal 0.00, maximal 0.02, average 0.01)
55.69/55.92 c Original Problem :
55.69/55.92 c Problem name : HOME/instance-4495038-1751151970.opb
55.69/55.92 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
55.69/55.92 c Constraints : 2707 initial, 2707 maximal
55.69/55.92 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
55.69/55.92 c Presolved Problem :
55.69/55.92 c Problem name : t_HOME/instance-4495038-1751151970.opb
55.69/55.92 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
55.69/55.92 c Constraints : 3168 initial, 11693 maximal
55.69/55.92 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
55.69/55.92 c Nonzeros : 17773 constraint, 819 clique table
55.69/55.92 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
55.69/55.92 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
55.69/55.92 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
55.69/55.92 c gateextraction : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
55.69/55.92 c implics : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
55.69/55.92 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
55.69/55.92 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
55.69/55.92 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c trivial : 0.00 0.00 14 21 0 0 0 0 0 0 0 0
55.69/55.92 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
55.69/55.92 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
55.69/55.92 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
55.69/55.92 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
55.69/55.92 c vbounds : 0.00 0.00 2 0 10 0 0 0 0 0 0 0
55.69/55.92 c knapsack : 0.00 0.00 23 0 0 0 0 0 0 0 0 0
55.69/55.92 c setppc : 0.00 0.00 23 0 0 0 0 0 66 0 0 0
55.69/55.92 c linear : 0.02 0.00 13 0 0 0 0 0 198 0 55 0
55.69/55.92 c logicor : 0.04 0.00 22 0 0 0 0 0 1028 0 0 1219
55.69/55.92 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
55.69/55.92 c root node : - - - 94 - - 94 - - - - -
55.69/55.92 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
55.69/55.92 c benderslp : 0 0 0 0 20951 0 0 1462 0 0 0 0 0 0 0
55.69/55.92 c integral : 0 0 0 0 20951 0 0 1462 0 0 0 0 0 0 41902
55.69/55.92 c knapsack : 4 4 23 159005 0 0 0 1458 99301 548 97518 10 2 0 0
55.69/55.92 c setppc : 20+ 41 23 158524 0 0 0 841 315587 958 182897 1 0 0 0
55.69/55.92 c logicor : 3144+ 11652 23 79903 0 0 0 1 132421 407 273165 3 1 0 0
55.69/55.92 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
55.69/55.92 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c integral : 0.59 0.00 0.00 0.00 0.59 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c knapsack : 0.26 0.00 0.00 0.22 0.00 0.00 0.00 0.00 0.03 0.00
55.69/55.92 c setppc : 0.39 0.00 0.00 0.34 0.00 0.00 0.00 0.00 0.04 0.00
55.69/55.92 c logicor : 2.75 0.00 0.01 2.68 0.00 0.00 0.00 0.00 0.05 0.00
55.69/55.92 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c Propagators : #Propagate #ResProp Cutoffs DomReds
55.69/55.92 c dualfix : 2 0 0 0
55.69/55.92 c genvbounds : 0 0 0 0
55.69/55.92 c nlobbt : 0 0 0 0
55.69/55.92 c obbt : 0 0 0 0
55.69/55.92 c probing : 0 0 0 0
55.69/55.92 c pseudoobj : 0 0 0 0
55.69/55.92 c redcost : 0 0 0 0
55.69/55.92 c rootredcost : 0 0 0 0
55.69/55.92 c symmetry : 9012 0 0 10
55.69/55.92 c vbounds : 128988 0 0 0
55.69/55.92 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
55.69/55.92 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
55.69/55.92 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
55.69/55.92 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
55.69/55.92 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
55.69/55.92 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
55.69/55.92 c symmetry : 0.09 0.00 0.01 0.08 0.00 0.00
55.69/55.92 c vbounds : 0.16 0.00 0.00 0.16 0.00 0.00
55.69/55.92 c Symmetry :
55.69/55.92 c orbitopal red. : 0 reductions applied, 0 cutoffs
55.69/55.92 c orbital reduction: 10 reductions applied, 0 cutoffs
55.69/55.92 c lexicographic red: 0 reductions applied, 0 cutoffs
55.69/55.92 c shadow tree time : 0.04 s
55.69/55.92 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
55.69/55.92 c propagation : 0.04 1908 1903 - 9722 17.8 43 11.7 - - -
55.69/55.92 c infeasible LP : 3.62 19150 17981 - 105696 27.7 52 13.9 12 15.0 0
55.69/55.92 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
55.69/55.92 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
55.69/55.92 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
55.69/55.92 c applied globally : 0.20 - - 0 35765 9.5 - - 12 - -
55.69/55.92 c applied locally : - - - 0 35 32.5 - - 0 - -
55.69/55.92 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
55.69/55.92 c cut pool : 1.06 - 3444 44 - - 29459 38023 - - - - - (maximal pool size: 4291)
55.69/55.92 c aggregation : 0.18 0.00 816 23 0 0 21 22 5 1 1 0 0
55.69/55.92 c > cmir : - - - - - - - 21 4 1 1 0 -
55.69/55.92 c > flowcover : - - - - - - - 1 0 0 0 0 -
55.69/55.92 c > knapsackcover : - - - - - - - 0 1 0 0 0 -
55.69/55.92 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c clique : 0.00 0.00 23 23 0 0 1 1 0 0 0 0 0
55.69/55.92 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c gomory : 11.05 0.00 813 20 0 0 42738 37795 13358 2094 1669 425 0
55.69/55.92 c > gomorymi : - - - - - - - 18079 6724 814 561 253 -
55.69/55.92 c > strongcg : - - - - - - - 19716 6634 1280 1108 172 -
55.69/55.92 c impliedbounds : 0.01 0.00 816 23 0 0 8 40 0 40 40 0 0
55.69/55.92 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
55.69/55.92 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c multilinear : 0.00 0.00 1141 23 0 0 0 0 0 0 0 0 0
55.69/55.92 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
55.69/55.92 c rapidlearning : 2.13 0.00 100 1 0 3243 0 0 0 0 0 0 150
55.69/55.92 c rlt : 0.00 0.00 411 20 0 0 0 0 0 0 0 0 0
55.69/55.92 c zerohalf : 0.31 0.00 816 23 0 0 1490 165 1436 889 67 822 0
55.69/55.92 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
55.69/55.92 c hybrid : 0.07 0.00 1054 23 3026 2 49776 71 0 6003
55.69/55.92 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c Pricers : ExecTime SetupTime Calls Vars
55.69/55.92 c problem variables: 0.00 - 0 0
55.69/55.92 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
55.69/55.92 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c random : 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c relpscost : 0.57 0.00 20951 0 0 0 0 0 0 41902
55.69/55.92 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
55.69/55.92 c Primal Heuristics : ExecTime SetupTime Calls Found Best
55.69/55.92 c LP solutions : 0.00 - - 0 0
55.69/55.92 c relax solutions : 0.00 - - 0 0
55.69/55.92 c pseudo solutions : 0.00 - - 0 0
55.69/55.92 c strong branching : 0.00 - - 0 0
55.69/55.92 c actconsdiving : 0.00 0.00 0 0 0
55.69/55.92 c adaptivediving : 0.05 0.00 12 0 0
55.69/55.92 c alns : 0.17 0.00 7 0 0
55.69/55.92 c bound : 0.00 0.00 0 0 0
55.69/55.92 c clique : 0.00 0.00 1 0 0
55.69/55.92 c coefdiving : 0.00 0.00 0 0 0
55.69/55.92 c completesol : 0.00 0.00 0 0 0
55.69/55.92 c conflictdiving : 0.05 0.00 6 0 0
55.69/55.92 c crossover : 0.00 0.00 0 0 0
55.69/55.92 c dins : 0.00 0.00 0 0 0
55.69/55.92 c distributiondivin: 0.20 0.00 6 0 0
55.69/55.92 c dps : 0.00 0.00 0 0 0
55.69/55.92 c dualval : 0.00 0.00 0 0 0
55.69/55.92 c farkasdiving : 0.00 0.00 0 0 0
55.69/55.92 c feasjump : 0.04 0.00 2 0 0
55.69/55.92 c feaspump : 0.06 0.00 3 0 0
55.69/55.92 c fixandinfer : 0.00 0.00 0 0 0
55.69/55.92 c fracdiving : 0.02 0.00 6 0 0
55.69/55.92 c gins : 0.00 0.00 0 0 0
55.69/55.92 c guideddiving : 0.00 0.00 0 0 0
55.69/55.92 c indcoefdiving : 0.00 0.00 0 0 0
55.69/55.92 c indicator : 0.00 0.00 0 0 0
55.69/55.92 c indicatordiving : 0.00 0.00 0 0 0
55.69/55.92 c indoneopt : 0.01 0.00 0 0 0
55.69/55.92 c indrounding : 0.00 0.00 0 0 0
55.69/55.92 c indtwoopt : 0.00 0.00 0 0 0
55.69/55.92 c intdiving : 0.00 0.00 0 0 0
55.69/55.92 c intshifting : 0.00 0.00 0 0 0
55.69/55.92 c linesearchdiving : 0.02 0.00 6 0 0
55.69/55.92 c localbranching : 0.00 0.00 0 0 0
55.69/55.92 c locks : 0.00 0.00 1 0 0
55.69/55.92 c lpface : 0.01 0.00 0 0 0
55.69/55.92 c mpec : 0.00 0.00 0 0 0
55.69/55.92 c multistart : 0.00 0.00 0 0 0
55.69/55.92 c mutation : 0.00 0.00 0 0 0
55.69/55.92 c nlpdiving : 0.00 0.00 0 0 0
55.69/55.92 c objpscostdiving : 0.03 0.00 3 0 0
55.69/55.92 c octane : 0.00 0.00 0 0 0
55.69/55.92 c ofins : 0.00 0.00 0 0 0
55.69/55.92 c oneopt : 0.01 0.00 0 0 0
55.69/55.92 c padm : 0.00 0.00 0 0 0
55.69/55.92 c proximity : 0.00 0.00 0 0 0
55.69/55.92 c pscostdiving : 0.03 0.00 6 0 0
55.69/55.92 c randrounding : 0.04 0.00 1474 0 0
55.69/55.92 c rens : 0.02 0.00 2 0 0
55.69/55.92 c reoptsols : 0.00 0.00 0 0 0
55.69/55.92 c repair : 0.00 0.00 0 0 0
55.69/55.92 c rins : 0.00 0.00 0 0 0
55.69/55.92 c rootsoldiving : 0.02 0.00 3 0 0
55.69/55.92 c rounding : 0.08 0.00 2061 0 0
55.69/55.92 c scheduler : 0.00 0.00 0 0 0
55.69/55.92 c shiftandpropagate: 0.00 0.00 2 0 0
55.69/55.92 c shifting : 0.10 0.00 704 0 0
55.69/55.92 c simplerounding : 0.01 0.00 0 0 0
55.69/55.92 c smallcard : 0.00 0.00 0 0 0
55.69/55.92 c subnlp : 0.01 0.00 0 0 0
55.69/55.92 c trivial : 0.00 0.00 4 0 0
55.69/55.92 c trivialnegation : 0.00 0.00 0 0 0
55.69/55.92 c trustregion : 0.00 0.00 0 0 0
55.69/55.92 c trysol : 0.00 0.00 0 0 0
55.69/55.92 c twoopt : 0.00 0.00 0 0 0
55.69/55.92 c undercover : 0.00 0.00 0 0 0
55.69/55.92 c vbounds : 0.01 0.00 1 0 0
55.69/55.92 c veclendiving : 0.03 0.00 6 0 0
55.69/55.92 c zeroobj : 0.00 0.00 0 0 0
55.69/55.92 c zirounding : 0.01 0.00 1000 0 0
55.69/55.92 c other solutions : - - - 0 -
55.69/55.92 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
55.69/55.92 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
55.69/55.92 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
55.69/55.92 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
55.69/55.92 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
55.69/55.92 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
55.69/55.92 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
55.69/55.92 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
55.69/55.92 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
55.69/55.92 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
55.69/55.92 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
55.69/55.92 c primal LP : 0.11 603 0 0.00 0.00 0.11 603
55.69/55.92 c dual LP : 23.05 41181 570209 13.90 24742.43 0.02 145
55.69/55.92 c lex dual LP : 0.00 0 0 0.00 -
55.69/55.92 c barrier LP : 0.00 0 0 0.00 - 0.00 0
55.69/55.92 c resolve instable : 0.00 0 0 0.00 -
55.69/55.92 c diving/probing LP: 0.25 231 5396 23.36 21625.09
55.69/55.92 c strong branching : 0.07 38 1458 38.37 20834.52 - - 0
55.69/55.92 c (at root node) : - 38 1458 38.37 -
55.69/55.92 c conflict analysis: 0.00 0 0 0.00 -
55.69/55.92 c B&B Tree :
55.69/55.92 c number of runs : 2
55.69/55.92 c nodes : 38780 (19572 internal, 19208 leaves)
55.69/55.92 c feasible leaves : 0
55.69/55.92 c infeas. leaves : 19208
55.69/55.92 c objective leaves : 0
55.69/55.92 c nodes (total) : 41486 (20951 internal, 20535 leaves)
55.69/55.92 c nodes left : 0
55.69/55.92 c max depth : 46
55.69/55.92 c max depth (total): 46
55.69/55.92 c backtracks : 5491 (14.2%)
55.69/55.92 c early backtracks : 0 (0.0%)
55.69/55.92 c nodes exc. ref. : 0 (0.0%)
55.69/55.92 c delayed cutoffs : 365
55.69/55.92 c repropagations : 57827 (84666 domain reductions, 364 cutoffs)
55.69/55.92 c avg switch length: 4.57
55.69/55.92 c switching time : 2.98
55.69/55.92 c Root Node :
55.69/55.92 c First LP value : +0.00000000000000e+00
55.69/55.92 c First LP Iters : 95 (31178.21 Iter/sec)
55.69/55.92 c First LP Time : 0.00
55.69/55.92 c Final Dual Bound : -
55.69/55.92 c Final Root Iters : 1801
55.69/55.92 c Root LP Estimate : +2.88952276169906e-03
55.69/55.92 c Solution :
55.69/55.92 c Solutions found : 0 (0 improvements)
55.69/55.92 c Primal Bound : infeasible
55.69/55.92 c Dual Bound : -
55.69/55.92 c Gap : 0.00 %
55.69/55.92 c Integrals : Total Avg%
55.69/55.92 c primal-dual : - - (problem infeasible)
55.69/55.92 c primal-ref : - - (problem infeasible)
55.69/55.92 c dual-ref : - - (problem infeasible)
55.69/55.93 c Time complete: 55.7338.