0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4493455-1751147226.opb>
0.00/0.04 c original problem has 14400 variables (14400 bin, 0 int, 0 cont) and 1088 constraints
0.00/0.04 c problem read in 0.043 seconds
0.00/0.04 c problem without objective
0.00/0.08 c presolving:
0.10/0.15 c (0.2s) running MILP presolver
0.20/0.22 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.22 c (round 1, medium) 0 del vars, 1088 del conss, 608 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 480 clqs
0.30/0.35 c (round 2, exhaustive) 0 del vars, 1088 del conss, 608 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.68/0.70 c (0.7s) probing: 51/14400 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.68/0.70 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.68/0.72 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.99/1.03 c (1.0s) symmetry computation finished: 36 generators found (max: 1500, log10 of symmetry group size: 30.04) (symcode time: 0.30)
0.99/1.06 c dynamic symmetry handling statistics:
0.99/1.06 c orbitopal reduction: no components
0.99/1.06 c orbital reduction: no components
0.99/1.06 c lexicographic reduction: no permutations
0.99/1.06 c handled 1 out of 1 symmetry components
0.99/1.07 c (round 3, exhaustive) 154 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.99/1.08 c (round 4, medium) 180 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.99/1.09 c (round 5, medium) 202 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.99/1.09 c (round 6, medium) 220 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.99/1.10 c (round 7, medium) 234 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
1.68/1.76 c (round 8, exhaustive) 269 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 9544 clqs
1.78/1.81 c (round 9, exhaustive) 650 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 8760 clqs
1.78/1.82 c (round 10, fast) 650 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 8761 clqs
1.88/1.97 c (round 11, exhaustive) 675 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 4 chg coeffs, 608 upgd conss, 0 impls, 8989 clqs
2.18/2.21 c (round 12, exhaustive) 700 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 608 upgd conss, 0 impls, 13850 clqs
2.39/2.44 c (round 13, exhaustive) 725 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 608 upgd conss, 0 impls, 17107 clqs
2.59/2.61 c (round 14, exhaustive) 1263 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 14 chg coeffs, 608 upgd conss, 0 impls, 17730 clqs
2.59/2.62 c (round 15, fast) 1263 del vars, 1106 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 14 chg coeffs, 608 upgd conss, 0 impls, 17734 clqs
2.78/2.85 c (round 16, exhaustive) 1288 del vars, 1106 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 18 chg coeffs, 608 upgd conss, 0 impls, 25979 clqs
3.09/3.15 c (round 17, exhaustive) 1313 del vars, 1106 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 25 chg coeffs, 608 upgd conss, 0 impls, 36201 clqs
3.38/3.44 c (round 18, exhaustive) 1338 del vars, 1106 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 43194 clqs
3.58/3.64 c (round 19, exhaustive) 1363 del vars, 1106 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 45014 clqs
3.58/3.64 c (round 20, fast) 1364 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 45014 clqs
3.78/3.87 c (round 21, exhaustive) 1389 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 50030 clqs
3.88/3.96 c (4.0s) probing: 1000/14400 (6.9%) - 1154 fixings, 0 aggregations, 53812 implications, 0 bound changes
4.08/4.14 c (round 22, exhaustive) 1414 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 57164 clqs
4.38/4.48 c (round 23, exhaustive) 1439 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 59706 clqs
4.98/5.08 c (round 24, exhaustive) 1464 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 67965 clqs
5.27/5.34 c (round 25, exhaustive) 1497 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 66809 clqs
5.77/5.83 c (round 26, exhaustive) 1522 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 71261 clqs
5.98/6.04 c (round 27, exhaustive) 1547 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 70089 clqs
6.27/6.32 c (round 28, exhaustive) 1587 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 68517 clqs
6.57/6.63 c (round 29, exhaustive) 1612 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 71000 clqs
6.67/6.78 c (6.8s) probing: 2000/14400 (13.9%) - 1371 fixings, 0 aggregations, 89615 implications, 0 bound changes
6.97/7.04 c (round 30, exhaustive) 1643 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 73725 clqs
7.27/7.35 c (round 31, exhaustive) 1680 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 73670 clqs
7.67/7.73 c (round 32, exhaustive) 1705 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 76010 clqs
8.16/8.22 c (round 33, exhaustive) 1730 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 80434 clqs
8.56/8.69 c (round 34, exhaustive) 1755 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 83580 clqs
8.76/8.88 c (round 35, exhaustive) 1780 del vars, 1107 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 83250 clqs
8.76/8.88 c (round 36, fast) 1782 del vars, 1109 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 83247 clqs
9.56/9.65 c (9.7s) probing: 3000/14400 (20.8%) - 1553 fixings, 0 aggregations, 126606 implications, 0 bound changes
9.66/9.73 c (round 37, exhaustive) 1807 del vars, 1109 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 99418 clqs
9.66/9.76 c (round 38, exhaustive) 1809 del vars, 1111 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 96615 clqs
9.66/9.76 c (round 39, fast) 1925 del vars, 1111 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 96615 clqs
10.76/10.84 c (round 40, exhaustive) 1950 del vars, 1111 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 117739 clqs
10.76/10.84 c (round 41, fast) 1950 del vars, 1113 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 117740 clqs
12.25/12.33 c (round 42, exhaustive) 1975 del vars, 1113 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 116886 clqs
12.65/12.76 c (12.8s) probing: 4000/14400 (27.8%) - 1618 fixings, 0 aggregations, 197271 implications, 0 bound changes
13.15/13.26 c (round 43, exhaustive) 2000 del vars, 1113 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 117627 clqs
14.05/14.11 c (round 44, exhaustive) 2049 del vars, 1113 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 107649 clqs
14.64/14.75 c (round 45, exhaustive) 2076 del vars, 1113 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 113223 clqs
14.95/15.02 c (15.0s) probing: 5000/14400 (34.7%) - 1713 fixings, 0 aggregations, 249919 implications, 0 bound changes
15.64/15.77 c (round 46, exhaustive) 2101 del vars, 1113 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 116876 clqs
16.84/16.93 c (round 47, exhaustive) 2126 del vars, 1113 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 118206 clqs
16.84/16.94 c (round 48, fast) 2383 del vars, 1114 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 107671 clqs
16.84/16.94 c (round 49, fast) 2638 del vars, 1136 del conss, 660 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 107679 clqs
17.04/17.19 c (17.2s) probing: 6000/14400 (41.7%) - 1764 fixings, 0 aggregations, 301572 implications, 0 bound changes
17.94/18.00 c (round 50, exhaustive) 2663 del vars, 1136 del conss, 660 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 117802 clqs
19.04/19.19 c (round 51, exhaustive) 2688 del vars, 1136 del conss, 660 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 115920 clqs
19.23/19.33 c (19.3s) probing: 7000/14400 (48.6%) - 1811 fixings, 0 aggregations, 349299 implications, 0 bound changes
21.12/21.28 c (21.3s) probing: 8000/14400 (55.6%) - 1824 fixings, 0 aggregations, 363563 implications, 0 bound changes
21.42/21.57 c (21.6s) probing: 8150/14400 (56.6%) - 1824 fixings, 0 aggregations, 365510 implications, 0 bound changes
21.42/21.57 c (21.6s) probing aborted: 1000/1000 successive useless probings
21.42/21.57 c (round 52, exhaustive) 2706 del vars, 1136 del conss, 660 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 608 upgd conss, 0 impls, 118180 clqs
21.72/21.81 c (21.8s) probing: 8250/14400 (57.3%) - 1824 fixings, 0 aggregations, 367384 implications, 0 bound changes
21.72/21.81 c (21.8s) probing aborted: 1000/1000 successive useless probings
21.72/21.84 c presolving (53 rounds: 53 fast, 45 medium, 40 exhaustive):
21.72/21.84 c 2706 deleted vars, 1136 deleted constraints, 660 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 27 changed coefficients
21.72/21.84 c 0 implications, 119236 cliques
21.72/21.84 c presolved problem has 11949 variables (11949 bin, 0 int, 0 cont) and 612 constraints
21.72/21.84 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
21.72/21.84 c 112 constraints of type <knapsack>
21.72/21.84 c 464 constraints of type <setppc>
21.72/21.84 c 36 constraints of type <orbitope_pp>
21.72/21.84 c transformed objective value is always integral (scale: 1)
21.72/21.84 c Presolving Time: 21.76
21.72/21.84 c
21.72/21.84 c - non default parameters ----------------------------------------------------------------------
21.72/21.84 c
21.72/21.84 c # SCIP version 10.0.0
21.72/21.84 c
21.72/21.84 c # maximal time in seconds to run
21.72/21.84 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
21.72/21.84 c limits/time = 3596.99822
21.72/21.84 c
21.72/21.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.72/21.84 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
21.72/21.84 c limits/memory = 27900
21.72/21.84 c
21.72/21.84 c # belongs reading time to solving time?
21.72/21.84 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
21.72/21.84 c timing/reading = TRUE
21.72/21.84 c
21.72/21.84 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
21.72/21.84 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
21.72/21.84 c reading/opbreader/maxintsize = 47
21.72/21.84 c
21.72/21.84 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
21.72/21.84 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
21.72/21.84 c propagating/genvbounds/timingmask = 0
21.72/21.84 c
21.72/21.84 c -----------------------------------------------------------------------------------------------
21.72/21.84 c
91.73/92.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
91.73/92.07 c 92.1s| 1 | 0 |197022 | - | 344M | 0 | 11k| 731 | 576 | 0 | 0 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
113.57/113.99 c 114s| 1 | 0 |263714 | - | 348M | 0 | 11k| 732 | 583 | 7 | 1 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
113.87/114.28 c 114s| 1 | 0 |263938 | - | 350M | 0 | 11k| 733 | 593 | 17 | 2 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
114.27/114.61 c 115s| 1 | 0 |264147 | - | 351M | 0 | 11k| 734 | 600 | 24 | 3 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
114.57/114.91 c 115s| 1 | 0 |264248 | - | 351M | 0 | 11k| 737 | 603 | 27 | 4 | 124 | 0 | 0.000000e+00 | -- | Inf | unknown
114.86/115.21 c 115s| 1 | 0 |264330 | - | 351M | 0 | 11k| 739 | 614 | 38 | 5 | 126 | 0 | 0.000000e+00 | -- | Inf | unknown
115.06/115.47 c 115s| 1 | 0 |264376 | - | 352M | 0 | 11k| 741 | 621 | 45 | 6 | 128 | 0 | 0.000000e+00 | -- | Inf | unknown
115.36/115.74 c 116s| 1 | 0 |264444 | - | 352M | 0 | 11k| 744 | 632 | 56 | 7 | 131 | 0 | 0.000000e+00 | -- | Inf | unknown
115.67/116.01 c 116s| 1 | 0 |264514 | - | 352M | 0 | 11k| 748 | 640 | 64 | 8 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
115.86/116.26 c 116s| 1 | 0 |264594 | - | 352M | 0 | 11k| 751 | 649 | 73 | 9 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown
116.16/116.54 c 117s| 1 | 0 |264628 | - | 352M | 0 | 11k| 752 | 653 | 77 | 10 | 140 | 0 | 0.000000e+00 | -- | Inf | unknown
116.36/116.75 c 117s| 1 | 0 |264663 | - | 353M | 0 | 11k| 755 | 662 | 86 | 11 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
222.96/223.62 c 224s| 1 | 0 |520518 | - | 354M | 0 | 11k| 831 | 662 | 86 | 11 | 222 | 10 | 0.000000e+00 | -- | Inf | unknown
223.16/223.82 c 224s| 1 | 0 |520574 | - | 354M | 0 | 11k| 833 | 671 | 95 | 12 | 225 | 10 | 0.000000e+00 | -- | Inf | unknown
223.26/223.97 c 224s| 1 | 0 |520593 | - | 354M | 0 | 11k| 834 | 675 | 99 | 13 | 226 | 10 | 0.000000e+00 | -- | Inf | unknown
231.54/232.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
231.54/232.26 c 232s| 1 | 2 |520621 | - | 354M | 0 | 11k| 834 | 675 | 99 | 13 | 227 | 29 | 0.000000e+00 | -- | Inf | unknown
1035.72/1038.65 c 1039s| 100 | 75 | 2443k|22098.0 | 363M | 22 | 11k| 977 | 629 | 190 | 1 | 373 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1188.00/1191.38 c 1191s| 200 | 137 | 2703k|12302.6 | 364M | 34 | 11k|1055 | 627 | 192 | 1 | 451 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1242.73/1246.24 c 1246s| 300 | 227 | 2826k|8599.5 | 367M | 44 | 11k|1078 | 628 | 231 | 1 | 474 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1277.63/1281.23 c 1281s| 400 | 308 | 2893k|6612.4 | 370M | 46 | 11k|1139 | 632 | 344 | 1 | 535 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1292.39/1296.08 c 1296s| 500 | 375 | 2916k|5333.6 | 373M | 61 | 11k|1207 | 0 | 345 | 0 | 603 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1325.80/1329.58 c 1330s| 600 | 413 | 3028k|4629.7 | 383M | 95 | 11k|1251 | 632 | 345 | 0 | 647 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1347.14/1350.98 c 1351s| 700 | 415 | 3108k|4081.6 | 399M | 109 | 11k|1312 | 632 | 345 | 1 | 708 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1367.79/1371.69 c 1372s| 800 | 415 | 3186k|3668.6 | 408M | 110 | 11k|1353 | 632 | 345 | 0 | 749 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1433.91/1437.92 c 1438s| 900 | 425 | 3369k|3464.2 | 433M | 117 | 11k|1408 | 632 | 354 | 1 | 821 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1464.03/1468.19 c 1468s| 1000 | 432 | 3465k|3213.5 | 434M | 117 | 11k|1422 | 632 | 354 | 0 | 856 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1487.46/1491.60 c 1492s| 1100 | 439 | 3551k|2999.5 | 439M | 117 | 11k|1407 | 632 | 354 | 1 | 870 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1503.41/1507.66 c 1508s| 1200 | 440 | 3612k|2799.7 | 443M | 117 | 11k|1442 | 632 | 354 | 0 | 905 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1517.57/1521.82 c 1522s| 1300 | 444 | 3665k|2625.3 | 445M | 117 | 11k|1494 | 632 | 354 | 1 | 960 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1529.23/1533.59 c 1534s| 1400 | 440 | 3709k|2469.0 | 454M | 117 | 11k|1516 | 632 | 354 | 0 | 987 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1543.49/1547.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1543.49/1547.86 c 1548s| 1500 | 442 | 3762k|2339.9 | 454M | 117 | 11k|1520 | 632 | 354 | 1 | 993 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1560.74/1565.19 c 1565s| 1600 | 444 | 3828k|2234.4 | 456M | 117 | 11k|1609 | 632 | 354 | 0 |1082 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1575.88/1580.34 c 1580s| 1700 | 444 | 3884k|2136.0 | 458M | 117 | 11k|1730 | 632 | 354 | 1 |1211 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1591.34/1595.87 c 1596s| 1800 | 442 | 3942k|2049.7 | 459M | 117 | 11k|1892 | 632 | 354 | 1 |1383 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1605.00/1609.57 c 1610s| 1900 | 442 | 3993k|1968.2 | 465M | 117 | 11k|2079 | 0 | 354 | 0 |1591 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1620.85/1625.43 c 1625s| 2000 | 442 | 4051k|1898.9 | 467M | 117 | 11k|2235 | 632 | 354 | 1 |1787 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1635.10/1639.74 c 1640s| 2100 | 442 | 4104k|1833.9 | 473M | 119 | 11k|2296 | 632 | 354 | 1 |1851 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1652.15/1656.82 c 1657s| 2200 | 438 | 4168k|1779.4 | 475M | 122 | 11k|2346 | 632 | 354 | 0 |1921 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1665.52/1670.28 c 1670s| 2300 | 438 | 4217k|1723.4 | 475M | 122 | 11k|2447 | 632 | 354 | 0 |2080 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1677.88/1682.64 c 1683s| 2400 | 440 | 4264k|1671.2 | 475M | 122 | 11k|2474 | 632 | 354 | 1 |2195 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1690.04/1694.86 c 1695s| 2500 | 440 | 4309k|1622.4 | 478M | 122 | 11k|2502 | 632 | 354 | 1 |2305 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1700.01/1704.87 c 1705s| 2600 | 420 | 4344k|1573.5 | 479M | 122 | 11k|2386 | 632 | 354 | 1 |2423 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1711.18/1716.09 c 1716s| 2700 | 441 | 4384k|1529.8 | 480M | 122 | 11k|2430 | 632 | 354 | 1 |2467 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1718.45/1723.31 c 1723s| 2800 | 441 | 4409k|1484.0 | 488M | 122 | 11k|2469 | 632 | 354 | 1 |2506 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1723.64/1728.55 c 1729s| 2900 | 447 | 4426k|1438.7 | 492M | 122 | 11k|2533 | 632 | 354 | 0 |2571 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1729.32/1734.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1729.32/1734.29 c 1734s| 3000 | 445 | 4445k|1397.1 | 500M | 122 | 11k|2590 | 632 | 354 | 1 |2633 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1735.80/1740.75 c 1741s| 3100 | 449 | 4467k|1359.2 | 503M | 122 | 11k|2597 | 632 | 354 | 1 |2673 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1742.28/1747.22 c 1747s| 3200 | 447 | 4489k|1323.5 | 508M | 122 | 11k|2606 | 632 | 354 | 0 |2698 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1749.45/1754.42 c 1754s| 3300 | 445 | 4514k|1290.9 | 510M | 122 | 11k|2597 | 632 | 354 | 0 |2706 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1756.94/1761.97 c 1762s| 3400 | 445 | 4540k|1260.7 | 513M | 122 | 11k|2628 | 632 | 354 | 0 |2740 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1764.41/1769.40 c 1769s| 3500 | 445 | 4566k|1232.0 | 519M | 122 | 11k|2640 | 632 | 354 | 1 |2754 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1772.39/1777.45 c 1777s| 3600 | 443 | 4594k|1205.7 | 524M | 122 | 11k|2633 | 632 | 354 | 1 |2768 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1780.16/1785.28 c 1785s| 3700 | 443 | 4622k|1180.5 | 526M | 122 | 11k|2631 | 632 | 354 | 1 |2775 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1786.14/1791.27 c 1791s| 3800 | 445 | 4642k|1154.8 | 531M | 122 | 11k|2696 | 632 | 354 | 0 |2866 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1792.62/1797.72 c 1798s| 3900 | 445 | 4664k|1130.7 | 538M | 122 | 11k|2731 | 632 | 354 | 1 |2904 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1799.30/1804.40 c 1804s| 4000 | 445 | 4686k|1108.0 | 548M | 122 | 11k|2766 | 632 | 354 | 1 |2958 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1806.58/1811.74 c 1812s| 4100 | 445 | 4711k|1087.0 | 558M | 122 | 11k|2786 | 632 | 354 | 1 |3005 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1814.35/1819.53 c 1820s| 4200 | 443 | 4738k|1067.6 | 564M | 122 | 11k|2781 | 632 | 354 | 1 |3027 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1820.94/1826.13 c 1826s| 4300 | 447 | 4760k|1048.0 | 565M | 122 | 11k|2742 | 632 | 354 | 0 |3033 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1828.51/1833.72 c 1834s| 4400 | 449 | 4787k|1030.3 | 565M | 122 | 11k|2729 | 632 | 354 | 1 |3037 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1834.99/1840.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1834.99/1840.28 c 1840s| 4500 | 445 | 4810k|1012.4 | 565M | 122 | 11k|2726 | 632 | 354 | 0 |3040 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1841.57/1846.89 c 1847s| 4600 | 445 | 4833k| 995.3 | 568M | 122 | 11k|2754 | 632 | 354 | 0 |3082 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1848.75/1854.00 c 1854s| 4700 | 443 | 4858k| 979.5 | 570M | 122 | 11k|2775 | 632 | 354 | 0 |3124 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1855.33/1860.67 c 1861s| 4800 | 443 | 4880k| 963.8 | 573M | 122 | 11k|2789 | 632 | 354 | 0 |3160 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1860.31/1865.67 c 1866s| 4900 | 443 | 4897k| 947.5 | 578M | 122 | 11k|2817 | 632 | 354 | 1 |3201 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1865.70/1871.04 c 1871s| 5000 | 441 | 4915k| 932.2 | 579M | 122 | 11k|2832 | 632 | 354 | 0 |3236 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1872.97/1878.33 c 1878s| 5100 | 443 | 4941k| 919.0 | 581M | 122 | 11k|2850 | 632 | 354 | 1 |3260 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1881.15/1886.53 c 1887s| 5200 | 443 | 4971k| 907.1 | 582M | 122 | 11k|2852 | 632 | 354 | 0 |3288 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1888.23/1893.62 c 1894s| 5300 | 441 | 4996k| 894.6 | 587M | 122 | 11k|2851 | 632 | 354 | 0 |3328 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1895.91/1901.35 c 1901s| 5400 | 445 | 5023k| 883.2 | 588M | 122 | 11k|2827 | 632 | 354 | 1 |3379 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1902.09/1907.57 c 1908s| 5500 | 442 | 5044k| 870.8 | 592M | 122 | 11k|2865 | 632 | 354 | 1 |3454 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1908.07/1913.59 c 1914s| 5600 | 444 | 5064k| 859.0 | 594M | 122 | 11k|2869 | 632 | 354 | 1 |3493 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1914.05/1919.50 c 1920s| 5700 | 442 | 5084k| 847.4 | 596M | 122 | 11k|2871 | 632 | 354 | 0 |3514 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1920.73/1926.25 c 1926s| 5800 | 442 | 5107k| 836.7 | 597M | 122 | 11k|2871 | 632 | 354 | 0 |3537 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1930.70/1936.22 c 1936s| 5900 | 442 | 5143k| 828.6 | 598M | 122 | 11k|2870 | 632 | 354 | 0 |3560 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1941.27/1946.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1941.27/1946.88 c 1947s| 6000 | 444 | 5182k| 821.3 | 600M | 122 | 11k|2894 | 632 | 354 | 1 |3603 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1949.55/1955.19 c 1955s| 6100 | 438 | 5211k| 812.6 | 601M | 122 | 11k|2859 | 632 | 354 | 0 |3637 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1956.12/1961.74 c 1962s| 6200 | 440 | 5233k| 803.0 | 603M | 122 | 11k|2862 | 632 | 354 | 0 |3659 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1964.40/1970.00 c 1970s| 6300 | 440 | 5261k| 794.8 | 608M | 122 | 11k|2867 | 632 | 354 | 1 |3731 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1974.07/1979.74 c 1980s| 6400 | 438 | 5296k| 787.8 | 611M | 122 | 11k|2826 | 632 | 354 | 1 |3788 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1983.94/1989.61 c 1990s| 6500 | 436 | 5331k| 781.0 | 612M | 122 | 11k|2795 | 632 | 354 | 0 |3850 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1991.22/1996.98 c 1997s| 6600 | 442 | 5357k| 773.1 | 612M | 122 | 11k|2771 | 632 | 354 | 1 |3878 | 29 | 0.000000e+00 | -- | Inf | 25.57%
1998.00/2003.71 c 2004s| 6700 | 442 | 5380k| 765.0 | 612M | 122 | 11k|2790 | 632 | 354 | 0 |3901 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2004.98/2010.78 c 2011s| 6800 | 444 | 5404k| 757.3 | 613M | 122 | 11k|2821 | 632 | 354 | 1 |3941 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2013.75/2019.56 c 2020s| 6900 | 446 | 5435k| 750.8 | 614M | 122 | 11k|2863 | 632 | 354 | 0 |4006 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2023.52/2029.30 c 2029s| 7000 | 442 | 5470k| 745.1 | 614M | 122 | 11k|2862 | 632 | 354 | 0 |4026 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2031.20/2037.02 c 2037s| 7100 | 442 | 5496k| 738.3 | 614M | 122 | 11k|2873 | 632 | 354 | 0 |4059 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2040.77/2046.60 c 2047s| 7200 | 440 | 5531k| 732.8 | 615M | 122 | 11k|2871 | 632 | 354 | 0 |4114 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2048.44/2054.34 c 2054s| 7300 | 441 | 5558k| 726.5 | 615M | 122 | 11k|2852 | 632 | 354 | 0 |4179 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2056.42/2062.33 c 2062s| 7400 | 443 | 5586k| 720.5 | 616M | 122 | 11k|2859 | 632 | 354 | 1 |4214 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2064.89/2070.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2064.89/2070.89 c 2071s| 7500 | 439 | 5616k| 714.8 | 616M | 122 | 11k|2861 | 632 | 354 | 0 |4236 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2074.17/2080.12 c 2080s| 7600 | 439 | 5649k| 709.8 | 616M | 122 | 11k|2871 | 632 | 354 | 1 |4267 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2080.05/2086.05 c 2086s| 7700 | 439 | 5669k| 703.2 | 617M | 122 | 11k|2918 | 632 | 354 | 0 |4322 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2086.42/2092.44 c 2092s| 7800 | 441 | 5690k| 696.9 | 618M | 122 | 11k|2919 | 632 | 354 | 0 |4364 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2093.90/2099.91 c 2100s| 7900 | 441 | 5717k| 691.4 | 618M | 122 | 11k|2923 | 632 | 354 | 0 |4379 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2101.87/2107.94 c 2108s| 8000 | 439 | 5745k| 686.3 | 619M | 122 | 11k|2940 | 632 | 354 | 0 |4402 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2107.96/2114.03 c 2114s| 8100 | 445 | 5766k| 680.4 | 619M | 122 | 11k|2925 | 632 | 354 | 1 |4444 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2115.34/2121.43 c 2121s| 8200 | 445 | 5791k| 675.3 | 619M | 122 | 11k|2926 | 632 | 354 | 0 |4461 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2122.81/2128.98 c 2129s| 8300 | 443 | 5818k| 670.3 | 619M | 122 | 11k|2949 | 632 | 354 | 1 |4493 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2128.50/2134.69 c 2135s| 8400 | 443 | 5837k| 664.6 | 620M | 122 | 11k|3014 | 632 | 354 | 1 |4566 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2133.59/2139.76 c 2140s| 8500 | 442 | 5853k| 658.7 | 621M | 122 | 11k|3050 | 632 | 354 | 0 |4636 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2138.77/2144.94 c 2145s| 8600 | 446 | 5870k| 653.0 | 622M | 122 | 11k|3050 | 632 | 354 | 0 |4678 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2145.96/2152.19 c 2152s| 8700 | 442 | 5895k| 648.3 | 622M | 122 | 11k|3058 | 632 | 354 | 0 |4724 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2153.04/2159.21 c 2159s| 8800 | 442 | 5919k| 643.7 | 624M | 122 | 11k|3026 | 632 | 354 | 0 |4749 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2161.22/2167.44 c 2167s| 8900 | 442 | 5948k| 639.7 | 624M | 122 | 11k|2996 | 632 | 354 | 0 |4758 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2168.90/2175.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2168.90/2175.19 c 2175s| 9000 | 440 | 5975k| 635.6 | 626M | 122 | 11k|2977 | 632 | 354 | 0 |4779 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2175.79/2182.09 c 2182s| 9100 | 446 | 5999k| 631.3 | 626M | 122 | 11k|3005 | 632 | 354 | 1 |4858 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2183.66/2189.99 c 2190s| 9200 | 442 | 6027k| 627.4 | 626M | 122 | 11k|3010 | 632 | 354 | 1 |4878 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2191.44/2197.75 c 2198s| 9300 | 440 | 6054k| 623.7 | 627M | 122 | 11k|3009 | 632 | 354 | 0 |4905 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2199.92/2206.27 c 2206s| 9400 | 440 | 6084k| 620.2 | 627M | 122 | 11k|3048 | 632 | 354 | 0 |4975 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2208.10/2214.45 c 2214s| 9500 | 444 | 6113k| 616.7 | 627M | 122 | 11k|3075 | 632 | 354 | 1 |5022 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2217.67/2224.08 c 2224s| 9600 | 444 | 6148k| 613.9 | 628M | 122 | 11k|3054 | 632 | 354 | 1 |5051 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2224.65/2231.06 c 2231s| 9700 | 444 | 6172k| 610.1 | 628M | 122 | 11k|3091 | 632 | 354 | 0 |5106 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2233.23/2239.62 c 2240s| 9800 | 444 | 6203k| 607.0 | 629M | 122 | 11k|3115 | 0 | 354 | 0 |5167 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2241.50/2247.95 c 2248s| 9900 | 442 | 6233k| 603.9 | 629M | 122 | 11k|3110 | 632 | 354 | 0 |5182 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2250.28/2256.72 c 2257s| 10000 | 440 | 6264k| 601.0 | 629M | 122 | 11k|3128 | 632 | 354 | 0 |5225 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2260.66/2267.10 c 2267s| 10100 | 438 | 6302k| 598.8 | 629M | 122 | 11k|3114 | 632 | 354 | 0 |5258 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2304.74/2311.31 c 2311s| 10200 | 440 | 6328k| 595.5 | 632M | 122 | 11k|3057 | 632 | 354 | 0 |5297 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2311.32/2318.00 c 2318s| 10300 | 440 | 6351k| 591.9 | 634M | 122 | 11k|3092 | 632 | 354 | 0 |5344 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2317.51/2324.13 c 2324s| 10400 | 442 | 6373k| 588.3 | 634M | 122 | 11k|3087 | 632 | 354 | 0 |5402 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2324.99/2331.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2324.99/2331.67 c 2332s| 10500 | 442 | 6399k| 585.2 | 634M | 122 | 11k|3060 | 632 | 354 | 1 |5425 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2334.66/2341.37 c 2341s| 10600 | 440 | 6434k| 583.0 | 635M | 122 | 11k|3092 | 632 | 354 | 0 |5501 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2342.35/2349.02 c 2349s| 10700 | 438 | 6461k| 580.0 | 636M | 122 | 11k|3128 | 632 | 354 | 0 |5570 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2348.43/2355.19 c 2355s| 10800 | 442 | 6482k| 576.6 | 636M | 122 | 11k|3123 | 632 | 354 | 1 |5596 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2353.81/2360.51 c 2361s| 10900 | 442 | 6500k| 573.0 | 637M | 122 | 11k|3212 | 632 | 354 | 1 |5702 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2360.30/2367.04 c 2367s| 11000 | 446 | 6522k| 569.8 | 637M | 122 | 11k|3193 | 632 | 354 | 1 |5728 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2366.28/2373.09 c 2373s| 11100 | 444 | 6543k| 566.6 | 637M | 122 | 11k|3219 | 632 | 354 | 0 |5766 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2374.26/2381.07 c 2381s| 11200 | 445 | 6571k| 564.0 | 637M | 122 | 11k|3273 | 632 | 354 | 0 |5840 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2381.44/2388.27 c 2388s| 11300 | 449 | 6597k| 561.3 | 637M | 122 | 11k|3287 | 632 | 354 | 1 |5867 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2389.72/2396.50 c 2396s| 11400 | 447 | 6626k| 558.9 | 638M | 122 | 11k|3271 | 632 | 354 | 1 |5893 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2394.90/2401.76 c 2402s| 11500 | 447 | 6643k| 555.5 | 638M | 122 | 11k|3287 | 0 | 354 | 0 |5987 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2401.49/2408.33 c 2408s| 11600 | 453 | 6665k| 552.7 | 639M | 122 | 11k|3263 | 632 | 354 | 0 |6032 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2406.77/2413.69 c 2414s| 11700 | 451 | 6682k| 549.4 | 639M | 122 | 11k|3247 | 632 | 354 | 0 |6051 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2412.26/2419.11 c 2419s| 11800 | 453 | 6700k| 546.3 | 640M | 122 | 11k|3249 | 632 | 354 | 1 |6093 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2418.44/2425.35 c 2425s| 11900 | 453 | 6722k| 543.5 | 640M | 122 | 11k|3259 | 632 | 354 | 1 |6123 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2423.93/2430.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2423.93/2430.89 c 2431s| 12000 | 453 | 6740k| 540.5 | 640M | 122 | 11k|3246 | 632 | 354 | 1 |6161 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2429.22/2436.19 c 2436s| 12100 | 453 | 6758k| 537.5 | 641M | 122 | 11k|3283 | 632 | 354 | 1 |6229 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2434.30/2441.26 c 2441s| 12200 | 455 | 6774k| 534.4 | 641M | 122 | 11k|3096 | 632 | 354 | 1 |6301 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2439.49/2446.48 c 2446s| 12300 | 451 | 6791k| 531.4 | 642M | 122 | 11k|3096 | 632 | 354 | 0 |6390 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2446.77/2453.79 c 2454s| 12400 | 449 | 6817k| 529.2 | 643M | 122 | 11k|3068 | 632 | 354 | 0 |6408 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2452.55/2459.50 c 2460s| 12500 | 451 | 6836k| 526.5 | 643M | 122 | 11k|3129 | 632 | 354 | 1 |6498 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2460.73/2467.73 c 2468s| 12600 | 453 | 6865k| 524.6 | 643M | 122 | 11k|3090 | 632 | 354 | 1 |6525 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2468.51/2475.53 c 2476s| 12700 | 449 | 6893k| 522.7 | 644M | 122 | 11k|3194 | 632 | 354 | 1 |6647 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2477.39/2484.47 c 2484s| 12800 | 451 | 6925k| 521.1 | 644M | 122 | 11k|3083 | 632 | 354 | 1 |6691 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2484.17/2491.22 c 2491s| 12900 | 451 | 6948k| 518.8 | 644M | 122 | 11k|3111 | 632 | 354 | 1 |6791 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2491.55/2498.66 c 2499s| 13000 | 447 | 6973k| 516.8 | 645M | 122 | 11k|3051 | 632 | 354 | 0 |6851 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2500.93/2508.03 c 2508s| 13100 | 447 | 7007k| 515.4 | 645M | 122 | 11k|3017 | 632 | 354 | 0 |6887 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2508.91/2516.00 c 2516s| 13200 | 447 | 7035k| 513.7 | 646M | 122 | 11k|3001 | 632 | 354 | 1 |6916 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2514.79/2521.97 c 2522s| 13300 | 449 | 7055k| 511.3 | 647M | 122 | 11k|3008 | 632 | 354 | 0 |6970 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2521.97/2529.12 c 2529s| 13400 | 447 | 7080k| 509.4 | 647M | 122 | 11k|3025 | 632 | 354 | 0 |7033 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2528.65/2535.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2528.65/2535.81 c 2536s| 13500 | 448 | 7103k| 507.3 | 648M | 122 | 11k|3024 | 632 | 354 | 0 |7068 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2537.03/2544.20 c 2544s| 13600 | 448 | 7132k| 505.7 | 648M | 122 | 11k|3020 | 632 | 354 | 1 |7123 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2547.50/2554.77 c 2555s| 13700 | 446 | 7170k| 504.8 | 649M | 122 | 11k|3013 | 632 | 354 | 0 |7147 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2557.88/2565.18 c 2565s| 13800 | 442 | 7207k| 503.8 | 649M | 122 | 11k|3007 | 632 | 354 | 0 |7174 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2564.86/2572.12 c 2572s| 13900 | 444 | 7231k| 501.9 | 649M | 122 | 11k|2973 | 632 | 354 | 0 |7202 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2570.64/2577.96 c 2578s| 14000 | 446 | 7251k| 499.8 | 649M | 122 | 11k|2997 | 632 | 354 | 0 |7264 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2579.82/2587.16 c 2587s| 14100 | 444 | 7284k| 498.6 | 650M | 122 | 11k|3008 | 632 | 354 | 0 |7344 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2587.10/2594.41 c 2594s| 14200 | 444 | 7310k| 496.8 | 650M | 122 | 11k|3032 | 632 | 354 | 0 |7405 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2595.17/2602.51 c 2603s| 14300 | 444 | 7338k| 495.4 | 651M | 122 | 11k|3004 | 632 | 354 | 0 |7469 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2601.86/2609.27 c 2609s| 14400 | 442 | 7362k| 493.6 | 651M | 122 | 11k|2988 | 632 | 354 | 0 |7528 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2609.84/2617.21 c 2617s| 14500 | 444 | 7390k| 492.1 | 651M | 122 | 11k|2968 | 632 | 354 | 1 |7553 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2618.21/2625.69 c 2626s| 14600 | 440 | 7420k| 490.8 | 652M | 122 | 11k|2997 | 632 | 354 | 0 |7603 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2625.40/2632.80 c 2633s| 14700 | 441 | 7445k| 489.2 | 652M | 122 | 11k|3012 | 0 | 354 | 0 |7656 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2635.37/2642.84 c 2643s| 14800 | 439 | 7482k| 488.3 | 652M | 122 | 11k|2993 | 632 | 354 | 0 |7668 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2644.35/2651.85 c 2652s| 14900 | 439 | 7514k| 487.2 | 652M | 122 | 11k|2991 | 632 | 354 | 1 |7698 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2651.13/2658.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2651.13/2658.66 c 2659s| 15000 | 443 | 7537k| 485.5 | 652M | 122 | 11k|3015 | 632 | 354 | 0 |7754 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2657.11/2664.68 c 2665s| 15100 | 445 | 7557k| 483.6 | 652M | 122 | 11k|3027 | 632 | 354 | 1 |7794 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2663.00/2670.51 c 2671s| 15200 | 445 | 7577k| 481.7 | 652M | 122 | 11k|3046 | 632 | 354 | 1 |7830 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2669.38/2676.97 c 2677s| 15300 | 447 | 7599k| 480.0 | 653M | 122 | 11k|3077 | 632 | 354 | 1 |7880 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2676.26/2683.87 c 2684s| 15400 | 443 | 7622k| 478.4 | 654M | 122 | 11k|3112 | 632 | 354 | 1 |7945 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2684.04/2691.63 c 2692s| 15500 | 447 | 7649k| 477.1 | 654M | 122 | 11k|2990 | 632 | 354 | 1 |7981 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2691.22/2698.87 c 2699s| 15600 | 443 | 7674k| 475.6 | 655M | 122 | 11k|3034 | 632 | 354 | 0 |8088 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2700.00/2707.67 c 2708s| 15700 | 446 | 7706k| 474.6 | 655M | 122 | 11k|3052 | 632 | 354 | 1 |8150 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2708.78/2716.41 c 2716s| 15800 | 450 | 7737k| 473.6 | 655M | 122 | 11k|3048 | 632 | 354 | 1 |8187 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2714.86/2722.55 c 2723s| 15900 | 444 | 7758k| 471.9 | 655M | 122 | 11k|3086 | 632 | 354 | 0 |8239 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2720.84/2728.54 c 2729s| 16000 | 446 | 7778k| 470.2 | 655M | 122 | 11k|3093 | 632 | 354 | 1 |8281 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2726.83/2734.54 c 2735s| 16100 | 446 | 7798k| 468.5 | 656M | 122 | 11k|3106 | 632 | 354 | 1 |8391 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2733.71/2741.47 c 2741s| 16200 | 448 | 7821k| 467.1 | 656M | 122 | 11k|3101 | 632 | 354 | 1 |8435 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2738.50/2746.21 c 2746s| 16300 | 450 | 7836k| 465.1 | 657M | 122 | 11k|3129 | 632 | 354 | 0 |8495 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2747.08/2754.86 c 2755s| 16400 | 448 | 7867k| 464.2 | 657M | 122 | 11k|3130 | 632 | 354 | 1 |8523 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2755.75/2763.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2755.75/2763.56 c 2764s| 16500 | 446 | 7898k| 463.2 | 658M | 122 | 11k|3136 | 632 | 354 | 1 |8567 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2764.83/2772.66 c 2773s| 16600 | 448 | 7930k| 462.4 | 658M | 122 | 11k|3108 | 632 | 354 | 0 |8588 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2771.81/2779.61 c 2780s| 16700 | 446 | 7954k| 461.0 | 659M | 122 | 11k|3152 | 632 | 354 | 1 |8672 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2779.79/2787.67 c 2788s| 16800 | 444 | 7982k| 460.0 | 659M | 122 | 11k|3139 | 632 | 354 | 1 |8717 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2786.97/2794.89 c 2795s| 16900 | 444 | 8007k| 458.7 | 659M | 122 | 11k|3115 | 632 | 354 | 0 |8744 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2793.95/2801.85 c 2802s| 17000 | 444 | 8031k| 457.5 | 660M | 122 | 11k|3120 | 632 | 354 | 1 |8769 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2800.43/2808.33 c 2808s| 17100 | 446 | 8053k| 456.1 | 660M | 122 | 11k|3107 | 632 | 354 | 0 |8805 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2806.82/2814.72 c 2815s| 17200 | 448 | 8075k| 454.7 | 660M | 122 | 11k|3113 | 632 | 354 | 0 |8836 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2813.50/2821.44 c 2821s| 17300 | 450 | 8098k| 453.4 | 660M | 122 | 11k|3131 | 632 | 354 | 1 |8909 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2820.88/2828.89 c 2829s| 17400 | 446 | 8124k| 452.3 | 660M | 122 | 11k|3129 | 632 | 354 | 1 |8988 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2829.16/2837.19 c 2837s| 17500 | 444 | 8153k| 451.4 | 661M | 122 | 11k|3136 | 632 | 354 | 1 |9057 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2838.33/2846.32 c 2846s| 17600 | 442 | 8185k| 450.6 | 661M | 122 | 11k|3152 | 632 | 354 | 0 |9109 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2845.12/2853.13 c 2853s| 17700 | 444 | 8209k| 449.4 | 662M | 122 | 11k|3127 | 632 | 354 | 1 |9162 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2851.90/2859.99 c 2860s| 17800 | 445 | 8232k| 448.2 | 663M | 122 | 11k|3166 | 632 | 354 | 1 |9242 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2861.37/2869.42 c 2869s| 17900 | 445 | 8266k| 447.6 | 663M | 122 | 11k|3181 | 632 | 354 | 0 |9313 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2870.75/2878.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2870.75/2878.85 c 2879s| 18000 | 445 | 8300k| 447.0 | 663M | 122 | 11k|3166 | 632 | 354 | 1 |9364 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2882.02/2890.15 c 2890s| 18100 | 442 | 8341k| 446.8 | 663M | 122 | 11k|3159 | 632 | 354 | 0 |9451 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2890.80/2898.95 c 2899s| 18200 | 440 | 8372k| 446.0 | 663M | 122 | 11k|3181 | 632 | 354 | 0 |9482 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2898.77/2906.91 c 2907s| 18300 | 440 | 8400k| 445.1 | 664M | 122 | 11k|3189 | 632 | 354 | 1 |9523 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2907.55/2915.79 c 2916s| 18400 | 443 | 8432k| 444.4 | 664M | 122 | 11k|3095 | 632 | 354 | 1 |9588 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2913.84/2922.05 c 2922s| 18500 | 443 | 8453k| 443.2 | 664M | 122 | 11k|3093 | 632 | 354 | 1 |9638 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2920.92/2929.12 c 2929s| 18600 | 449 | 8477k| 442.1 | 664M | 122 | 11k|3086 | 632 | 354 | 1 |9686 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2928.20/2936.49 c 2936s| 18700 | 445 | 8503k| 441.1 | 665M | 122 | 11k|3077 | 632 | 354 | 0 |9726 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2937.17/2945.48 c 2945s| 18800 | 443 | 8535k| 440.4 | 665M | 122 | 11k|3109 | 0 | 354 | 0 |9806 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2945.15/2953.43 c 2953s| 18900 | 443 | 8563k| 439.6 | 665M | 122 | 11k|3086 | 632 | 354 | 0 |9817 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2954.63/2963.00 c 2963s| 19000 | 441 | 8597k| 439.1 | 666M | 122 | 11k|3091 | 632 | 354 | 0 |9838 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2960.72/2969.02 c 2969s| 19100 | 447 | 8617k| 437.8 | 666M | 122 | 11k|3074 | 632 | 354 | 1 |9867 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2968.99/2977.34 c 2977s| 19200 | 443 | 8646k| 437.1 | 666M | 122 | 11k|3060 | 632 | 354 | 0 |9911 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2975.17/2983.56 c 2984s| 19300 | 445 | 8667k| 435.9 | 667M | 122 | 11k|3043 | 632 | 354 | 1 |9938 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2981.36/2989.76 c 2990s| 19400 | 445 | 8688k| 434.7 | 667M | 122 | 11k|3070 | 632 | 354 | 1 |9980 | 29 | 0.000000e+00 | -- | Inf | 25.57%
2988.04/2996.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2988.04/2996.43 c 2996s| 19500 | 441 | 8710k| 433.6 | 668M | 122 | 11k|3064 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
2995.12/3003.52 c 3004s| 19600 | 443 | 8734k| 432.7 | 669M | 122 | 11k|3074 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3003.40/3011.81 c 3012s| 19700 | 445 | 8764k| 431.9 | 669M | 122 | 11k|3108 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3012.68/3021.12 c 3021s| 19800 | 439 | 8797k| 431.4 | 669M | 122 | 11k|3084 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3018.66/3027.17 c 3027s| 19900 | 441 | 8818k| 430.3 | 669M | 122 | 11k|3100 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3026.24/3034.78 c 3035s| 20000 | 439 | 8844k| 429.5 | 670M | 122 | 11k|3069 | 632 | 354 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3034.81/3043.39 c 3043s| 20100 | 443 | 8875k| 428.9 | 670M | 122 | 11k|3045 | 632 | 354 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3044.29/3052.85 c 3053s| 20200 | 447 | 8909k| 428.4 | 671M | 122 | 11k|2980 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3049.48/3058.04 c 3058s| 20300 | 449 | 8926k| 427.2 | 672M | 122 | 11k|3038 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3055.16/3063.77 c 3064s| 20400 | 447 | 8945k| 426.0 | 672M | 122 | 11k|3060 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3061.35/3069.90 c 3070s| 20500 | 449 | 8966k| 424.9 | 673M | 122 | 11k|3067 | 632 | 354 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3068.43/3077.06 c 3077s| 20600 | 446 | 8991k| 424.1 | 673M | 122 | 11k|3078 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3073.91/3082.53 c 3083s| 20700 | 446 | 9009k| 422.9 | 674M | 122 | 11k|3085 | 632 | 354 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3080.70/3089.32 c 3089s| 20800 | 448 | 9032k| 422.0 | 674M | 122 | 11k|3116 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3088.48/3097.12 c 3097s| 20900 | 442 | 9059k| 421.3 | 675M | 122 | 11k|3064 | 0 | 354 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3096.95/3105.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3096.95/3105.60 c 3106s| 21000 | 442 | 9088k| 420.7 | 675M | 122 | 11k|3086 | 632 | 354 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3103.84/3112.54 c 3113s| 21100 | 444 | 9112k| 419.8 | 675M | 122 | 11k|3033 | 632 | 354 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3148.52/3157.38 c 3157s| 21200 | 444 | 9140k| 419.1 | 676M | 122 | 11k|3035 | 632 | 354 | 1 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3156.60/3165.49 c 3165s| 21300 | 444 | 9169k| 418.5 | 676M | 122 | 11k|3027 | 632 | 354 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3162.78/3171.62 c 3172s| 21400 | 443 | 9189k| 417.5 | 676M | 122 | 11k|3052 | 632 | 354 | 0 | 10k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3169.46/3178.34 c 3178s| 21500 | 447 | 9213k| 416.7 | 676M | 122 | 11k|3048 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3177.25/3186.12 c 3186s| 21600 | 443 | 9240k| 416.0 | 676M | 122 | 11k|3066 | 632 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3182.43/3191.38 c 3191s| 21700 | 443 | 9257k| 414.9 | 676M | 122 | 11k|3082 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3189.41/3198.30 c 3198s| 21800 | 443 | 9281k| 414.0 | 677M | 122 | 11k|3098 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3195.69/3204.68 c 3205s| 21900 | 445 | 9303k| 413.2 | 677M | 122 | 11k|3079 | 0 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3203.57/3212.54 c 3213s| 22000 | 443 | 9330k| 412.5 | 677M | 122 | 11k|3054 | 632 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3211.45/3220.49 c 3220s| 22100 | 441 | 9358k| 411.9 | 680M | 122 | 11k|3052 | 0 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3218.44/3227.44 c 3227s| 22200 | 443 | 9382k| 411.2 | 680M | 122 | 11k|3067 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3224.92/3233.95 c 3234s| 22300 | 449 | 9404k| 410.3 | 682M | 122 | 11k|3074 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3232.20/3241.24 c 3241s| 22400 | 447 | 9430k| 409.6 | 682M | 122 | 11k|3070 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3241.18/3250.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3241.18/3250.29 c 3250s| 22500 | 443 | 9462k| 409.2 | 683M | 122 | 11k|3057 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3248.86/3257.90 c 3258s| 22600 | 443 | 9489k| 408.6 | 684M | 122 | 11k|3068 | 632 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3255.14/3264.27 c 3264s| 22700 | 445 | 9510k| 407.7 | 684M | 122 | 11k|3052 | 632 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3262.22/3271.36 c 3271s| 22800 | 445 | 9535k| 407.0 | 684M | 122 | 11k|3047 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3269.80/3278.99 c 3279s| 22900 | 445 | 9561k| 406.4 | 684M | 122 | 11k|3074 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3276.89/3286.10 c 3286s| 23000 | 441 | 9586k| 405.7 | 687M | 122 | 11k|3067 | 632 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3284.46/3293.63 c 3294s| 23100 | 443 | 9612k| 405.1 | 688M | 122 | 11k|3081 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3292.95/3302.11 c 3302s| 23200 | 441 | 9643k| 404.7 | 688M | 122 | 11k|3096 | 632 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3302.72/3311.97 c 3312s| 23300 | 445 | 9678k| 404.4 | 688M | 122 | 11k|3106 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3309.10/3318.33 c 3318s| 23400 | 443 | 9700k| 403.6 | 689M | 122 | 11k|3121 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3315.68/3325.00 c 3325s| 23500 | 441 | 9722k| 402.9 | 689M | 122 | 11k|3123 | 632 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3323.46/3332.76 c 3333s| 23600 | 443 | 9749k| 402.3 | 690M | 122 | 11k|3140 | 632 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3333.54/3342.83 c 3343s| 23700 | 441 | 9785k| 402.1 | 690M | 122 | 11k|3140 | 632 | 354 | 0 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3345.31/3354.61 c 3355s| 23800 | 445 | 9827k| 402.2 | 690M | 122 | 11k|3131 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3355.18/3364.54 c 3365s| 23900 | 439 | 9863k| 402.0 | 690M | 122 | 11k|3147 | 632 | 354 | 1 | 11k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3362.77/3372.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3362.77/3372.18 c 3372s| 24000 | 445 | 9889k| 401.5 | 691M | 122 | 11k|3065 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3369.55/3378.96 c 3379s| 24100 | 444 | 9913k| 400.8 | 691M | 122 | 11k|3046 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3377.03/3386.44 c 3386s| 24200 | 446 | 9940k| 400.2 | 691M | 122 | 11k|3047 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3384.81/3394.29 c 3394s| 24300 | 446 | 9968k| 399.7 | 691M | 122 | 11k|3073 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3393.98/3403.42 c 3403s| 24400 | 444 | 10000k| 399.4 | 691M | 122 | 11k|3041 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3400.47/3409.98 c 3410s| 24500 | 442 | 10022k| 398.7 | 692M | 122 | 11k|3025 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3406.45/3415.92 c 3416s| 24600 | 444 | 10043k| 397.9 | 692M | 122 | 11k|3023 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3413.13/3422.62 c 3423s| 24700 | 444 | 10067k| 397.2 | 692M | 122 | 11k|3067 | 632 | 354 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3420.31/3429.88 c 3430s| 24800 | 446 | 10092k| 396.7 | 693M | 122 | 11k|3088 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3428.29/3437.85 c 3438s| 24900 | 445 | 10121k| 396.2 | 693M | 122 | 11k|3081 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3434.28/3443.82 c 3444s| 25000 | 445 | 10141k| 395.4 | 695M | 122 | 11k|3108 | 632 | 354 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3442.36/3451.90 c 3452s| 25100 | 451 | 10169k| 395.0 | 695M | 122 | 11k|3088 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3449.54/3459.13 c 3459s| 25200 | 445 | 10194k| 394.4 | 695M | 122 | 11k|3099 | 632 | 354 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3456.82/3466.45 c 3466s| 25300 | 449 | 10219k| 393.9 | 696M | 122 | 11k|3132 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3463.90/3473.58 c 3474s| 25400 | 451 | 10244k| 393.3 | 696M | 122 | 11k|3140 | 632 | 354 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3473.77/3483.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3473.77/3483.42 c 3483s| 25500 | 455 | 10279k| 393.1 | 696M | 122 | 11k|3137 | 632 | 354 | 0 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3483.36/3493.05 c 3493s| 25600 | 451 | 10314k| 392.9 | 696M | 122 | 11k|3154 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3492.53/3502.25 c 3502s| 25700 | 451 | 10347k| 392.7 | 696M | 122 | 11k|3163 | 632 | 354 | 1 | 12k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3499.81/3509.55 c 3510s| 25800 | 453 | 10372k| 392.2 | 698M | 122 | 11k|3132 | 632 | 354 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3508.39/3518.12 c 3518s| 25900 | 453 | 10403k| 391.8 | 699M | 122 | 11k|3143 | 632 | 354 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3519.85/3529.60 c 3530s| 26000 | 453 | 10444k| 391.9 | 699M | 122 | 11k|3159 | 632 | 354 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3527.35/3537.11 c 3537s| 26100 | 453 | 10470k| 391.4 | 700M | 122 | 11k|3175 | 632 | 354 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3534.63/3544.41 c 3544s| 26200 | 453 | 10495k| 390.9 | 700M | 122 | 11k|3202 | 632 | 354 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3541.61/3551.44 c 3551s| 26300 | 455 | 10519k| 390.3 | 701M | 122 | 11k|3198 | 632 | 354 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3547.69/3557.51 c 3558s| 26400 | 454 | 10539k| 389.6 | 702M | 122 | 11k|3208 | 632 | 354 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3554.67/3564.58 c 3565s| 26500 | 456 | 10564k| 389.0 | 702M | 122 | 11k|3213 | 632 | 354 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3563.85/3573.73 c 3574s| 26600 | 452 | 10597k| 388.8 | 702M | 122 | 11k|3231 | 632 | 354 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3570.43/3580.35 c 3580s| 26700 | 453 | 10619k| 388.2 | 704M | 122 | 11k|3247 | 632 | 354 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3579.01/3588.91 c 3589s| 26800 | 449 | 10649k| 387.9 | 704M | 122 | 11k|3242 | 632 | 354 | 0 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3586.79/3596.70 c 3597s| 26900 | 453 | 10677k| 387.4 | 705M | 122 | 11k|3224 | 632 | 354 | 1 | 13k| 29 | 0.000000e+00 | -- | Inf | 25.57%
3587.09/3597.01 c
3587.09/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.09/3597.01 c Solving Time (sec) : 3597.01
3587.09/3597.01 c Solving Nodes : 26906
3587.09/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.09/3597.01 c Dual Bound : +0.00000000000000e+00
3587.09/3597.01 c Gap : infinite
3587.09/3597.01 s UNKNOWN
3587.09/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.09/3597.01 c Total Time : 3597.01
3587.09/3597.01 c solving : 3597.01
3587.09/3597.01 c presolving : 21.76 (included in solving)
3587.09/3597.01 c reading : 0.04 (included in solving)
3587.09/3597.01 c copying : 0.14 (7 #copies) (minimal 0.01, maximal 0.03, average 0.02)
3587.09/3597.01 c Original Problem :
3587.09/3597.01 c Problem name : HOME/instance-4493455-1751147226.opb
3587.09/3597.01 c Variables : 14400 (14400 binary, 0 integer, 0 continuous)
3587.09/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.09/3597.01 c Constraints : 1088 initial, 1088 maximal
3587.09/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.09/3597.01 c Presolved Problem :
3587.09/3597.01 c Problem name : t_HOME/instance-4493455-1751147226.opb
3587.09/3597.01 c Variables : 11949 (11949 binary, 0 integer, 0 continuous)
3587.09/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.09/3597.01 c Constraints : 612 initial, 3305 maximal
3587.09/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.09/3597.01 c Nonzeros : 174182 constraint, 285672 clique table
3587.09/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.09/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c domcol : 0.01 0.00 38 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c implics : 0.01 0.00 45 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c milp : 0.11 0.00 1 0 0 0 0 0 1088 608 0 0
3587.09/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c sparsify : 0.24 0.00 2 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c trivial : 0.02 0.00 53 371 0 0 0 0 0 0 0 0
3587.09/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c dualfix : 0.01 0.00 53 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c probing : 19.61 0.00 38 1824 0 0 0 0 0 0 0 0
3587.09/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c symmetry : 0.34 0.00 1 154 0 0 0 0 0 36 0 0
3587.09/3597.01 c vbounds : 0.13 0.00 18 2 0 0 0 0 0 0 0 0
3587.09/3597.01 c knapsack : 0.60 0.00 133 0 0 0 0 0 16 16 0 27
3587.09/3597.01 c setppc : 0.38 0.00 133 1 4 0 0 0 32 0 0 0
3587.09/3597.01 c linear : 0.15 0.02 3 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c orbitope_pp : 0.03 0.00 42 95 0 0 0 0 0 0 0 0
3587.09/3597.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c root node : - - - 3 - - 3 - - - - -
3587.09/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.09/3597.01 c integral : 0 0 0 0 13706 0 0 994 0 0 1 0 0 0 27410
3587.09/3597.01 c knapsack : 112+ 122 12 131260 0 0 0 991 617439 74 450863 0 0 0 0
3587.09/3597.01 c setppc : 464+ 495 12 131186 0 0 0 1 5021778 1196 873073 0 0 0 0
3587.09/3597.01 c linear : 0+ 1 0 15109 0 0 0 2 109 5 1211 0 0 0 0
3587.09/3597.01 c orbitope_pp : 36 36 0 129885 0 0 0 0 397368 481 2669 0 0 0 0
3587.09/3597.01 c logicor : 0+ 2658 12 32972 0 0 0 0 25388 299 16973 1 1 0 0
3587.09/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.09/3597.01 c integral : 14.29 0.00 0.00 0.00 14.29 0.00 0.00 0.00 0.00 0.00
3587.09/3597.01 c knapsack : 2.43 0.00 0.02 1.66 0.00 0.00 0.00 0.05 0.70 0.00
3587.09/3597.01 c setppc : 5.76 0.00 0.00 4.32 0.00 0.00 0.00 0.00 1.42 0.01
3587.09/3597.01 c linear : 0.05 0.02 0.00 0.02 0.00 0.00 0.00 0.00 0.01 0.00
3587.09/3597.01 c orbitope_pp : 55.57 0.00 0.00 55.50 0.00 0.00 0.00 0.00 0.01 0.06
3587.09/3597.01 c logicor : 0.75 0.00 0.00 0.58 0.00 0.00 0.00 0.00 0.17 0.00
3587.09/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.09/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.09/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.09/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.09/3597.01 c dualfix : 2 0 0 0
3587.09/3597.01 c genvbounds : 0 0 0 0
3587.09/3597.01 c nlobbt : 0 0 0 0
3587.09/3597.01 c obbt : 0 0 0 0
3587.09/3597.01 c probing : 0 0 0 0
3587.09/3597.01 c pseudoobj : 0 0 0 0
3587.09/3597.01 c redcost : 0 0 0 0
3587.09/3597.01 c rootredcost : 0 0 0 0
3587.09/3597.01 c symmetry : 0 0 0 0
3587.09/3597.01 c vbounds : 41672 0 0 0
3587.09/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.09/3597.01 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3587.09/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.09/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.09/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.09/3597.01 c probing : 19.61 0.00 19.61 0.00 0.00 0.00
3587.09/3597.01 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3587.09/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.09/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.09/3597.01 c symmetry : 0.38 0.00 0.34 0.03 0.00 0.00
3587.09/3597.01 c vbounds : 1.03 0.00 0.13 0.90 0.00 0.00
3587.09/3597.01 c Symmetry :
3587.09/3597.01 c #affected vars : 14400 (14400 bin, 0 int, 0 cont)
3587.09/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.09/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.09/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.09/3597.01 c shadow tree time : 0.00 s
3587.09/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.09/3597.01 c propagation : 3.41 2048 1312 - 40726 740.7 426 334.6 - - -
3587.09/3597.01 c infeasible LP : 139.60 12000 1278 - 64915 2509.9 162 303.3 14 1062.9 0
3587.09/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.09/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.09/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.09/3597.01 c applied globally : 3.29 - - 0 13675 507.6 - - 14 - -
3587.09/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.09/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.09/3597.01 c cut pool : 0.01 - 1442 24 - - 227 536 - - - - - (maximal pool size: 208)
3587.09/3597.01 c aggregation : 0.24 0.00 70 12 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.09/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.09/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.09/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c clique : 0.63 0.00 12 12 0 0 103 351 0 106 106 0 0
3587.09/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c gomory : 2.11 0.00 68 10 0 0 2 2 0 1 1 0 0
3587.09/3597.01 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.09/3597.01 c > strongcg : - - - - - - - 2 0 1 1 0 -
3587.09/3597.01 c impliedbounds : 0.45 0.00 70 12 0 0 103 161 0 73 73 0 0
3587.09/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c multilinear : 0.00 0.00 22 12 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.09/3597.01 c zerohalf : 1.38 0.00 70 12 0 0 176 22 157 173 18 155 0
3587.09/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.09/3597.01 c hybrid : 0.00 0.00 79 13 354 0 340 99 0 149
3587.09/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.09/3597.01 c problem variables: 0.00 - 0 0
3587.09/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.09/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c relpscost : 14.27 0.00 13706 0 0 0 1 0 0 27410
3587.09/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.09/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.09/3597.01 c LP solutions : 0.00 - - 0 0
3587.09/3597.01 c relax solutions : 0.00 - - 0 0
3587.09/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.09/3597.01 c strong branching : 0.00 - - 0 0
3587.09/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.09/3597.01 c adaptivediving : 26.41 0.00 3 0 0
3587.09/3597.01 c alns : 179.56 0.00 6 0 0
3587.09/3597.01 c bound : 0.00 0.00 0 0 0
3587.09/3597.01 c clique : 0.03 0.00 1 0 0
3587.09/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.09/3597.01 c completesol : 0.00 0.00 0 0 0
3587.09/3597.01 c conflictdiving : 193.70 0.00 5 0 0
3587.09/3597.01 c crossover : 0.01 0.00 0 0 0
3587.09/3597.01 c dins : 0.00 0.00 0 0 0
3587.09/3597.01 c distributiondivin: 146.89 0.00 2 0 0
3587.09/3597.01 c dks : 0.00 0.00 0 0 0
3587.09/3597.01 c dps : 0.00 0.00 0 0 0
3587.09/3597.01 c dualval : 0.00 0.00 0 0 0
3587.09/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.09/3597.01 c feaspump : 39.27 0.00 3 0 0
3587.09/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.09/3597.01 c fracdiving : 68.67 0.00 5 0 0
3587.09/3597.01 c gins : 0.01 0.00 0 0 0
3587.09/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.09/3597.01 c indicator : 0.00 0.00 0 0 0
3587.09/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.09/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.09/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.09/3597.01 c linesearchdiving : 67.30 0.00 5 0 0
3587.09/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.09/3597.01 c locks : 3.99 0.00 1 0 0
3587.09/3597.01 c lpface : 0.35 0.00 0 0 0
3587.09/3597.01 c mpec : 0.00 0.00 0 0 0
3587.09/3597.01 c multistart : 0.00 0.00 0 0 0
3587.09/3597.01 c mutation : 0.00 0.00 0 0 0
3587.09/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.09/3597.01 c objpscostdiving : 34.53 0.00 2 0 0
3587.09/3597.01 c octane : 0.00 0.00 0 0 0
3587.09/3597.01 c ofins : 0.00 0.00 0 0 0
3587.09/3597.01 c oneopt : 0.01 0.00 0 0 0
3587.09/3597.01 c padm : 0.00 0.00 0 0 0
3587.09/3597.01 c proximity : 0.00 0.00 0 0 0
3587.09/3597.01 c pscostdiving : 40.06 0.00 40 0 0
3587.09/3597.01 c randrounding : 1.21 0.00 1004 0 0
3587.09/3597.01 c rens : 0.12 0.00 1 0 0
3587.09/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.09/3597.01 c repair : 0.00 0.00 0 0 0
3587.09/3597.01 c rins : 0.01 0.00 0 0 0
3587.09/3597.01 c rootsoldiving : 29.49 0.00 1 0 0
3587.09/3597.01 c rounding : 0.98 0.00 1589 0 0
3587.09/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.09/3597.01 c shiftandpropagate: 0.05 0.00 1 0 0
3587.09/3597.01 c shifting : 0.75 0.00 492 0 0
3587.09/3597.01 c simplerounding : 0.01 0.00 0 0 0
3587.09/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.09/3597.01 c trivial : 0.00 0.00 2 0 0
3587.09/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.09/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.09/3597.01 c trysol : 0.01 0.00 0 0 0
3587.09/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.09/3597.01 c undercover : 0.00 0.00 0 0 0
3587.09/3597.01 c vbounds : 2.28 0.00 1 0 0
3587.09/3597.01 c veclendiving : 63.53 0.00 5 0 0
3587.09/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.09/3597.01 c zirounding : 0.06 0.00 1000 0 0
3587.09/3597.01 c other solutions : - - - 0 -
3587.09/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.09/3597.01 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
3587.09/3597.01 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
3587.09/3597.01 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
3587.09/3597.01 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
3587.09/3597.01 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
3587.09/3597.01 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
3587.09/3597.01 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
3587.09/3597.01 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
3587.09/3597.01 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
3587.09/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.09/3597.01 c primal LP : 0.19 14 0 0.00 0.00 0.19 14
3587.09/3597.01 c dual LP : 2443.16 25787 8856082 344.30 3624.85 0.09 65
3587.09/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.09/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.09/3597.01 c resolve instable : 3.42 79 7728 97.82 2259.82
3587.09/3597.01 c diving/probing LP: 695.65 1075 1822131 1695.01 2619.32
3587.09/3597.01 c strong branching : 11.91 29 11702 403.52 982.76 - - 12
3587.09/3597.01 c (at root node) : - 29 11702 403.52 -
3587.09/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.09/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.09/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3587.09/3597.01 c B&B Tree :
3587.09/3597.01 c number of runs : 1
3587.09/3597.01 c nodes : 26906 (13705 internal, 13201 leaves)
3587.09/3597.01 c feasible leaves : 0
3587.09/3597.01 c infeas. leaves : 13201
3587.09/3597.01 c objective leaves : 0
3587.09/3597.01 c nodes (total) : 26906 (13705 internal, 13201 leaves)
3587.09/3597.01 c nodes left : 451
3587.09/3597.01 c max depth : 122
3587.09/3597.01 c max depth (total): 122
3587.09/3597.01 c backtracks : 4375 (16.3%)
3587.09/3597.01 c early backtracks : 0 (0.0%)
3587.09/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.09/3597.01 c delayed cutoffs : 54
3587.09/3597.01 c repropagations : 5805 (23008 domain reductions, 14 cutoffs)
3587.09/3597.01 c avg switch length: 2.87
3587.09/3597.01 c switching time : 3.13
3587.09/3597.01 c Root Node :
3587.09/3597.01 c First LP value : +0.00000000000000e+00
3587.09/3597.01 c First LP Iters : 187722 (2939.23 Iter/sec)
3587.09/3597.01 c First LP Time : 63.87
3587.09/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.09/3597.01 c Final Root Iters : 255438
3587.09/3597.01 c Root LP Estimate : +4.87439090380830e-03
3587.09/3597.01 c Solution :
3587.09/3597.01 c Solutions found : 0 (0 improvements)
3587.09/3597.01 c Primal Bound : -
3587.09/3597.01 c Dual Bound : +0.00000000000000e+00
3587.09/3597.01 c Gap : infinite
3587.09/3597.01 c Integrals : Total Avg%
3587.09/3597.01 c primal-dual : 359701.13 100.00
3587.09/3597.01 c primal-ref : - - (not evaluated)
3587.09/3597.01 c dual-ref : - - (not evaluated)
3587.19/3597.11 c Time complete (sec): 3587.206