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-4507707-1751193166.opb>
0.00/0.04 c original problem has 3795 variables (3795 bin, 0 int, 0 cont) and 3935 constraints
0.00/0.04 c problem read in 0.033 seconds
0.00/0.04 c problem without objective
0.00/0.07 c presolving:
0.00/0.08 c (round 1, fast) 174 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 716 clqs
0.00/0.09 c (round 2, fast) 434 del vars, 190 del conss, 0 add conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 703 clqs
0.00/0.09 c (round 3, fast) 551 del vars, 276 del conss, 0 add conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 700 clqs
0.00/0.09 c (round 4, fast) 644 del vars, 352 del conss, 0 add conss, 160 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 713 clqs
0.00/0.09 c (round 5, fast) 695 del vars, 391 del conss, 0 add conss, 182 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 735 clqs
0.00/0.09 c (round 6, fast) 717 del vars, 410 del conss, 0 add conss, 189 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 751 clqs
0.00/0.09 c (round 7, fast) 721 del vars, 414 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 760 clqs
0.10/0.12 c (0.1s) running MILP presolver
0.60/0.66 c (0.7s) MILP presolver (25 rounds): 5 aggregations, 175 fixings, 0 bound changes
0.60/0.66 c (round 8, medium) 901 del vars, 414 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 647 clqs
0.60/0.66 c (round 9, fast) 901 del vars, 595 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 651 clqs
0.60/0.67 c (round 10, exhaustive) 901 del vars, 659 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 651 clqs
0.60/0.69 c (round 11, exhaustive) 901 del vars, 659 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 3276 upgd conss, 0 impls, 651 clqs
0.69/0.73 c (round 12, exhaustive) 926 del vars, 660 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 30 chg coeffs, 3276 upgd conss, 0 impls, 651 clqs
0.69/0.73 c (round 13, fast) 951 del vars, 684 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 30 chg coeffs, 3276 upgd conss, 0 impls, 653 clqs
1.38/1.40 c (round 14, exhaustive) 976 del vars, 685 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 30 chg coeffs, 3276 upgd conss, 0 impls, 22082 clqs
1.38/1.40 c (round 15, fast) 976 del vars, 710 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 55 chg coeffs, 3276 upgd conss, 0 impls, 22082 clqs
1.38/1.41 c (round 16, exhaustive) 976 del vars, 714 del conss, 1 add conss, 190 chg bounds, 0 chg sides, 55 chg coeffs, 3276 upgd conss, 0 impls, 22082 clqs
1.38/1.49 c (round 17, exhaustive) 1001 del vars, 715 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 55 chg coeffs, 3276 upgd conss, 0 impls, 22103 clqs
1.38/1.49 c (round 18, fast) 1001 del vars, 740 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 82 chg coeffs, 3276 upgd conss, 0 impls, 22103 clqs
1.88/1.91 c (1.9s) probing: 1000/3134 (31.9%) - 67 fixings, 2 aggregations, 359547 implications, 0 bound changes
1.88/2.00 c (round 19, exhaustive) 1026 del vars, 740 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 82 chg coeffs, 3276 upgd conss, 0 impls, 22131 clqs
1.88/2.00 c (round 20, fast) 1026 del vars, 765 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 127 chg coeffs, 3276 upgd conss, 0 impls, 22139 clqs
1.99/2.05 c (round 21, exhaustive) 1051 del vars, 765 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 127 chg coeffs, 3276 upgd conss, 0 impls, 22145 clqs
1.99/2.05 c (round 22, fast) 1051 del vars, 790 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 168 chg coeffs, 3276 upgd conss, 0 impls, 22151 clqs
2.48/2.56 c (round 23, exhaustive) 1078 del vars, 790 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 171 chg coeffs, 3276 upgd conss, 0 impls, 22007 clqs
2.48/2.56 c (round 24, fast) 1078 del vars, 815 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 209 chg coeffs, 3276 upgd conss, 0 impls, 22009 clqs
2.58/2.67 c (2.7s) probing: 2000/3134 (63.8%) - 132 fixings, 2 aggregations, 670813 implications, 0 bound changes
3.27/3.31 c (3.3s) probing: 3000/3134 (95.7%) - 135 fixings, 2 aggregations, 980118 implications, 0 bound changes
3.27/3.40 c (3.4s) probing cycle finished: starting next cycle
3.87/3.99 c (4.0s) probing: 1000/2996 (33.4%) - 139 fixings, 2 aggregations, 1343194 implications, 0 bound changes
3.98/4.11 c (4.1s) probing: 1205/2996 (40.2%) - 139 fixings, 2 aggregations, 1411213 implications, 0 bound changes
3.98/4.11 c (4.1s) probing aborted: 1000/1000 successive useless probings
3.98/4.11 c (round 25, exhaustive) 1094 del vars, 815 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 209 chg coeffs, 3276 upgd conss, 0 impls, 21947 clqs
3.98/4.11 c (round 26, fast) 1094 del vars, 831 del conss, 2 add conss, 190 chg bounds, 0 chg sides, 233 chg coeffs, 3276 upgd conss, 0 impls, 21947 clqs
4.08/4.18 c (4.2s) probing: 1305/2996 (43.6%) - 139 fixings, 2 aggregations, 1442034 implications, 0 bound changes
4.08/4.18 c (4.2s) probing aborted: 1000/1000 successive useless probings
4.08/4.18 c (4.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.08/4.19 c (4.2s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.90) (symcode time: 0.00)
4.08/4.19 c dynamic symmetry handling statistics:
4.08/4.19 c orbitopal reduction: no components
4.08/4.19 c orbital reduction: no components
4.08/4.19 c lexicographic reduction: 3 permutations with support sizes 300, 118, 112
4.08/4.19 c handled 3 out of 3 symmetry components
4.17/4.20 c presolving (27 rounds: 27 fast, 12 medium, 11 exhaustive):
4.17/4.20 c 1094 deleted vars, 831 deleted constraints, 2 added constraints, 190 tightened bounds, 0 added holes, 0 changed sides, 233 changed coefficients
4.17/4.20 c 0 implications, 22191 cliques
4.17/4.20 c presolved problem has 2993 variables (2993 bin, 0 int, 0 cont) and 3106 constraints
4.17/4.20 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
4.17/4.20 c 635 constraints of type <setppc>
4.17/4.20 c 2471 constraints of type <logicor>
4.17/4.20 c transformed objective value is always integral (scale: 1)
4.17/4.20 c Presolving Time: 4.14
4.17/4.20 c
4.17/4.20 c - non default parameters ----------------------------------------------------------------------
4.17/4.20 c
4.17/4.20 c # SCIP version 10.0.0
4.17/4.20 c
4.17/4.20 c # maximal time in seconds to run
4.17/4.20 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.17/4.20 c limits/time = 3596.995284
4.17/4.20 c
4.17/4.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.17/4.20 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.17/4.20 c limits/memory = 27900
4.17/4.20 c
4.17/4.20 c # belongs reading time to solving time?
4.17/4.20 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.17/4.20 c timing/reading = TRUE
4.17/4.20 c
4.17/4.20 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
4.17/4.20 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
4.17/4.20 c reading/opbreader/maxintsize = 47
4.17/4.20 c
4.17/4.20 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
4.17/4.20 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
4.17/4.20 c propagating/genvbounds/timingmask = 0
4.17/4.20 c
4.17/4.20 c -----------------------------------------------------------------------------------------------
4.17/4.20 c
6.07/6.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.07/6.17 c 6.2s| 1 | 0 | 10398 | - | 70M | 0 |2993 |3291 |3106 | 0 | 0 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
16.03/16.17 c 16.2s| 1 | 0 | 49670 | - | 77M | 0 |2993 |3497 |3123 | 17 | 1 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown
16.42/16.58 c 16.6s| 1 | 0 | 50413 | - | 78M | 0 |2993 |3499 |3130 | 24 | 2 | 193 | 0 | 0.000000e+00 | -- | Inf | unknown
17.12/17.21 c 17.2s| 1 | 0 | 52166 | - | 79M | 0 |2993 |3500 |3139 | 33 | 3 | 194 | 0 | 0.000000e+00 | -- | Inf | unknown
18.11/18.23 c 18.2s| 1 | 0 | 55531 | - | 81M | 0 |2993 |3504 |3152 | 46 | 4 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown
18.71/18.88 c 18.9s| 1 | 0 | 57192 | - | 81M | 0 |2993 |3503 |3167 | 61 | 5 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
19.61/19.76 c 19.8s| 1 | 0 | 59825 | - | 82M | 0 |2993 |3499 |3183 | 77 | 6 | 201 | 0 | 0.000000e+00 | -- | Inf | unknown
20.31/20.45 c 20.4s| 1 | 0 | 61582 | - | 82M | 0 |2993 |3494 |3192 | 86 | 7 | 203 | 0 | 0.000000e+00 | -- | Inf | unknown
21.30/21.40 c 21.4s| 1 | 0 | 64192 | - | 83M | 0 |2993 |3481 |3205 | 99 | 8 | 209 | 0 | 0.000000e+00 | -- | Inf | unknown
22.30/22.40 c 22.4s| 1 | 0 | 66961 | - | 84M | 0 |2993 |3472 |3218 | 112 | 9 | 210 | 0 | 0.000000e+00 | -- | Inf | unknown
23.10/23.28 c 23.3s| 1 | 0 | 68958 | - | 85M | 0 |2993 |3459 |3226 | 120 | 10 | 211 | 0 | 0.000000e+00 | -- | Inf | unknown
24.29/24.48 c 24.5s| 1 | 0 | 73089 | - | 86M | 0 |2993 |3430 |3237 | 131 | 11 | 214 | 0 | 0.000000e+00 | -- | Inf | unknown
35.05/35.28 c 35.3s| 1 | 2 |101454 | - | 86M | 0 |2993 |3401 |3237 | 131 | 11 | 232 | 11 | 0.000000e+00 | -- | Inf | unknown
53.90/54.15 c 54.1s| 100 | 23 |182218 |1102.3 | 92M | 38 |2993 |3435 |3172 | 166 | 1 | 273 | 11 | 0.000000e+00 | -- | Inf | unknown
81.50/81.80 c 81.8s| 200 | 35 |303321 |1156.9 | 97M | 39 |2993 |3557 |3169 | 185 | 0 | 469 | 11 | 0.000000e+00 | -- | Inf | 6.58%
91.77/92.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
91.77/92.17 c 92.2s| 300 | 45 |358048 | 953.0 | 99M | 40 |2993 |3529 |3174 | 237 | 0 | 489 | 11 | 0.000000e+00 | -- | Inf | 6.93%
112.28/112.70 c 113s| 400 | 59 |455497 | 958.4 | 104M | 40 |2993 |3522 |3174 | 383 | 0 | 522 | 11 | 0.000000e+00 | -- | Inf | 8.30%
122.65/123.15 c 123s| 500 | 61 |504842 | 865.2 | 104M | 40 |2993 |3520 |3174 | 436 | 1 | 527 | 11 | 0.000000e+00 | -- | Inf | 8.36%
129.02/129.58 c 130s| 600 | 61 |538217 | 776.5 | 105M | 40 |2993 |3545 |3174 | 460 | 1 | 557 | 11 | 0.000000e+00 | -- | Inf | 8.36%
140.27/140.88 c 141s| 700 | 65 |593769 | 744.9 | 106M | 40 |2993 |3554 |3153 | 542 | 1 | 586 | 11 | 0.000000e+00 | -- | Inf | 8.43%
148.15/148.74 c 149s| 800 | 69 |633045 | 700.8 | 107M | 40 |2993 |3607 |3182 | 603 | 1 | 661 | 11 | 0.000000e+00 | -- | Inf | 8.48%
155.32/155.90 c 156s| 900 | 69 |670751 | 664.8 | 108M | 40 |2993 |3610 |3175 | 617 | 0 | 699 | 11 | 0.000000e+00 | -- | Inf | 8.53%
162.19/162.87 c 163s| 1000 | 65 |706326 | 633.9 | 109M | 40 |2993 |3616 |3173 | 675 | 0 | 726 | 11 | 0.000000e+00 | -- | Inf | 8.56%
167.57/168.24 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
167.57/168.24 c (run 1, node 1045) performing user restart
167.57/168.24 c
167.57/168.24 c (restart) converted 59 cuts from the global cut pool into linear constraints
167.57/168.24 c
167.57/168.25 c presolving:
167.57/168.25 c (round 1, fast) 0 del vars, 10 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 22191 clqs
167.57/168.26 c (round 2, exhaustive) 0 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 22191 clqs
167.57/168.26 c (round 3, exhaustive) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 22191 clqs
167.57/168.26 c (round 4, exhaustive) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 254 upgd conss, 0 impls, 22191 clqs
167.57/168.27 c (round 5, medium) 0 del vars, 21 del conss, 6 add conss, 0 chg bounds, 17 chg sides, 22 chg coeffs, 254 upgd conss, 0 impls, 22191 clqs
167.57/168.27 c (round 6, exhaustive) 0 del vars, 46 del conss, 6 add conss, 0 chg bounds, 17 chg sides, 39 chg coeffs, 254 upgd conss, 0 impls, 22191 clqs
167.67/168.32 c (round 7, exhaustive) 0 del vars, 52 del conss, 6 add conss, 0 chg bounds, 17 chg sides, 1032 chg coeffs, 254 upgd conss, 0 impls, 22191 clqs
167.67/168.38 c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
167.67/168.38 c 0 deleted vars, 52 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 17 changed sides, 1079 changed coefficients
167.67/168.38 c 0 implications, 22191 cliques
167.67/168.38 c presolved problem has 2993 variables (2993 bin, 0 int, 0 cont) and 3625 constraints
167.67/168.38 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
167.67/168.38 c 28 constraints of type <knapsack>
167.67/168.38 c 778 constraints of type <setppc>
167.67/168.38 c 2 constraints of type <linear>
167.67/168.38 c 2817 constraints of type <logicor>
167.67/168.38 c transformed objective value is always integral (scale: 1)
167.67/168.38 c Presolving Time: 4.27
167.67/168.38 c
169.66/170.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
169.66/170.37 c 170s| 1 | 0 |743214 | - | 110M | 0 |2993 |3693 |3143 | 0 | 0 | 801 | 11 | 0.000000e+00 | -- | Inf | unknown
170.48/171.19 c 171s| 1 | 0 |744985 | - | 110M | 0 |2993 |3697 |3154 | 11 | 1 | 811 | 11 | 0.000000e+00 | -- | Inf | unknown
171.26/171.99 c 172s| 1 | 0 |747293 | - | 110M | 0 |2993 |3695 |3167 | 24 | 2 | 813 | 11 | 0.000000e+00 | -- | Inf | unknown
171.96/172.63 c 173s| 1 | 0 |748659 | - | 111M | 0 |2993 |3693 |3175 | 32 | 3 | 815 | 11 | 0.000000e+00 | -- | Inf | unknown
172.76/173.44 c 173s| 1 | 0 |750813 | - | 112M | 0 |2993 |3690 |3185 | 42 | 4 | 816 | 11 | 0.000000e+00 | -- | Inf | unknown
173.55/174.28 c 174s| 1 | 0 |753035 | - | 112M | 0 |2993 |3667 |3196 | 53 | 5 | 817 | 11 | 0.000000e+00 | -- | Inf | unknown
174.65/175.37 c 175s| 1 | 0 |756260 | - | 112M | 0 |2993 |3665 |3211 | 68 | 6 | 823 | 11 | 0.000000e+00 | -- | Inf | unknown
175.36/176.10 c 176s| 1 | 0 |757935 | - | 113M | 0 |2993 |3664 |3220 | 77 | 7 | 824 | 11 | 0.000000e+00 | -- | Inf | unknown
176.36/177.01 c 177s| 1 | 0 |760161 | - | 114M | 0 |2993 |3651 |3229 | 86 | 8 | 825 | 11 | 0.000000e+00 | -- | Inf | unknown
177.84/178.50 c 179s| 1 | 0 |764613 | - | 114M | 0 |2993 |3651 |3241 | 98 | 9 | 835 | 11 | 0.000000e+00 | -- | Inf | unknown
179.13/179.88 c 180s| 1 | 0 |768419 | - | 115M | 0 |2993 |3636 |3256 | 113 | 10 | 837 | 11 | 0.000000e+00 | -- | Inf | unknown
180.93/181.69 c 182s| 1 | 0 |774354 | - | 115M | 0 |2993 |3632 |3267 | 124 | 11 | 842 | 11 | 0.000000e+00 | -- | Inf | unknown
190.59/191.37 c 191s| 1 | 2 |796143 | - | 115M | 0 |2993 |3613 |3267 | 124 | 11 | 858 | 22 | 0.000000e+00 | -- | Inf | unknown
384.39/385.78 c 386s| 100 | 37 | 1423k|1144.5 | 118M | 20 |2993 |3693 |3161 | 135 | 1 |1049 | 22 | 0.000000e+00 | -- | Inf | unknown
394.78/396.13 c 396s| 200 | 37 | 1471k|1091.1 | 119M | 20 |2993 |3694 |3161 | 155 | 0 |1093 | 22 | 0.000000e+00 | -- | Inf | unknown
399.77/401.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
399.77/401.17 c 401s| 300 | 39 | 1499k|1030.6 | 119M | 32 |2993 |3685 |3163 | 174 | 0 |1101 | 22 | 0.000000e+00 | -- | Inf | unknown
407.33/408.73 c 409s| 400 | 43 | 1538k| 985.9 | 120M | 40 |2993 |3670 |3165 | 205 | 0 |1130 | 22 | 0.000000e+00 | -- | Inf | unknown
412.41/413.87 c 414s| 500 | 43 | 1567k| 941.1 | 120M | 40 |2993 |3671 |3165 | 216 | 0 |1142 | 22 | 0.000000e+00 | -- | Inf | unknown
417.40/418.81 c 419s| 600 | 47 | 1596k| 901.2 | 121M | 40 |2993 |3667 | 0 | 240 | 0 |1148 | 22 | 0.000000e+00 | -- | Inf | unknown
422.19/423.68 c 424s| 700 | 49 | 1625k| 866.5 | 121M | 40 |2993 |3663 |3164 | 256 | 0 |1151 | 22 | 0.000000e+00 | -- | Inf | unknown
426.87/428.34 c 428s| 800 | 47 | 1653k| 834.8 | 121M | 40 |2993 |3663 |3164 | 272 | 1 |1153 | 22 | 0.000000e+00 | -- | Inf | unknown
430.57/432.07 c 432s| 900 | 45 | 1676k| 803.4 | 122M | 40 |2993 |3665 |3156 | 290 | 1 |1159 | 22 | 0.000000e+00 | -- | Inf | unknown
435.84/437.33 c 437s| 1000 | 47 | 1707k| 779.5 | 122M | 40 |2993 |3663 |3160 | 309 | 1 |1168 | 22 | 0.000000e+00 | -- | Inf | unknown
441.54/443.08 c 443s| 1100 | 53 | 1740k| 758.4 | 122M | 40 |2993 |3664 |3166 | 340 | 1 |1174 | 22 | 0.000000e+00 | -- | Inf | unknown
446.01/447.54 c 448s| 1200 | 51 | 1766k| 736.4 | 122M | 40 |2993 |3674 |3168 | 349 | 0 |1196 | 22 | 0.000000e+00 | -- | Inf | unknown
450.51/452.01 c 452s| 1300 | 51 | 1792k| 716.1 | 122M | 40 |2993 |3681 |3169 | 354 | 1 |1205 | 22 | 0.000000e+00 | -- | Inf | unknown
457.68/459.25 c 459s| 1400 | 51 | 1832k| 703.1 | 122M | 40 |2993 |3693 |3168 | 363 | 0 |1236 | 22 | 0.000000e+00 | -- | Inf | unknown
464.85/466.40 c 466s| 1500 | 51 | 1871k| 690.7 | 122M | 40 |2993 |3697 |3170 | 384 | 1 |1245 | 22 | 0.000000e+00 | -- | Inf | unknown
469.74/471.37 c 471s| 1600 | 51 | 1898k| 674.9 | 122M | 40 |2993 |3725 |3159 | 398 | 1 |1295 | 22 | 0.000000e+00 | -- | Inf | unknown
473.23/474.84 c 475s| 1700 | 51 | 1920k| 658.1 | 122M | 40 |2993 |3742 |3162 | 421 | 0 |1318 | 22 | 0.000000e+00 | -- | Inf | unknown
477.32/478.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
477.32/478.93 c 479s| 1800 | 53 | 1944k| 643.4 | 123M | 40 |2993 |3767 |3163 | 450 | 1 |1346 | 22 | 0.000000e+00 | -- | Inf | unknown
480.81/482.41 c 482s| 1900 | 53 | 1965k| 628.9 | 123M | 40 |2993 |3775 |3163 | 471 | 1 |1357 | 22 | 0.000000e+00 | -- | Inf | unknown
485.09/486.75 c 487s| 2000 | 53 | 1991k| 616.7 | 123M | 40 |2993 |3791 |3164 | 498 | 0 |1378 | 22 | 0.000000e+00 | -- | Inf | unknown
489.98/491.63 c 492s| 2100 | 51 | 2020k| 606.2 | 123M | 40 |2993 |3799 |3168 | 536 | 0 |1389 | 22 | 0.000000e+00 | -- | Inf | unknown
494.26/495.95 c 496s| 2200 | 49 | 2046k| 595.5 | 124M | 40 |2993 |3818 |3164 | 565 | 0 |1411 | 22 | 0.000000e+00 | -- | Inf | unknown
498.15/499.80 c 500s| 2300 | 51 | 2070k| 584.9 | 124M | 40 |2993 |3840 |3165 | 579 | 1 |1434 | 22 | 0.000000e+00 | -- | Inf | unknown
503.24/504.99 c 505s| 2400 | 52 | 2100k| 576.6 | 124M | 40 |2993 |3845 |3163 | 630 | 1 |1456 | 22 | 0.000000e+00 | -- | Inf | unknown
508.62/510.32 c 510s| 2500 | 54 | 2131k| 569.1 | 124M | 40 |2993 |3842 |3166 | 660 | 1 |1464 | 22 | 0.000000e+00 | -- | Inf | unknown
514.50/516.22 c 516s| 2600 | 52 | 2164k| 562.6 | 124M | 40 |2993 |3844 |3165 | 690 | 0 |1472 | 22 | 0.000000e+00 | -- | Inf | unknown
520.30/522.02 c 522s| 2700 | 52 | 2197k| 556.4 | 124M | 40 |2993 |3846 |3165 | 715 | 0 |1476 | 22 | 0.000000e+00 | -- | Inf | unknown
526.47/528.22 c 528s| 2800 | 50 | 2231k| 550.9 | 124M | 40 |2993 |3849 |3164 | 731 | 0 |1484 | 22 | 0.000000e+00 | -- | Inf | unknown
532.65/534.45 c 534s| 2900 | 50 | 2266k| 545.6 | 125M | 40 |2993 |3869 |3166 | 759 | 1 |1512 | 22 | 0.000000e+00 | -- | Inf | unknown
538.83/540.64 c 541s| 3000 | 50 | 2300k| 540.6 | 125M | 40 |2993 |3844 |3164 | 773 | 0 |1516 | 22 | 0.000000e+00 | -- | Inf | unknown
544.42/546.21 c 546s| 3100 | 54 | 2331k| 534.9 | 125M | 40 |2993 |3827 |3170 | 783 | 1 |1547 | 22 | 0.000000e+00 | -- | Inf | unknown
549.40/551.23 c 551s| 3200 | 52 | 2358k| 528.9 | 127M | 40 |2993 |3869 |3168 | 791 | 0 |1603 | 22 | 0.000000e+00 | -- | Inf | unknown
555.58/557.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
555.58/557.44 c 557s| 3300 | 50 | 2393k| 524.7 | 127M | 40 |2993 |3879 |3167 | 806 | 0 |1632 | 22 | 0.000000e+00 | -- | Inf | unknown
562.27/564.16 c 564s| 3400 | 51 | 2430k| 521.2 | 127M | 40 |2993 |3907 |3165 | 824 | 2 |1666 | 22 | 0.000000e+00 | -- | Inf | unknown
568.74/570.63 c 571s| 3500 | 51 | 2466k| 517.6 | 127M | 40 |2993 |3890 |3166 | 832 | 1 |1686 | 22 | 0.000000e+00 | -- | Inf | unknown
575.52/577.42 c 577s| 3600 | 53 | 2504k| 514.6 | 127M | 43 |2993 |3850 |3168 | 852 | 1 |1691 | 22 | 0.000000e+00 | -- | Inf | unknown
581.80/583.72 c 584s| 3700 | 51 | 2538k| 511.0 | 127M | 46 |2993 |3810 |3169 | 868 | 1 |1718 | 22 | 0.000000e+00 | -- | Inf | unknown
587.68/589.60 c 590s| 3800 | 49 | 2570k| 506.9 | 127M | 46 |2993 |3819 |3170 | 879 | 1 |1737 | 22 | 0.000000e+00 | -- | Inf | unknown
594.46/596.45 c 596s| 3900 | 51 | 2607k| 504.3 | 127M | 46 |2993 |3862 |3169 | 902 | 0 |1816 | 22 | 0.000000e+00 | -- | Inf | unknown
601.25/603.27 c 603s| 4000 | 49 | 2645k| 501.8 | 128M | 46 |2993 |3860 |3171 | 928 | 1 |1844 | 22 | 0.000000e+00 | -- | Inf | unknown
609.32/611.38 c 611s| 4100 | 49 | 2691k| 501.1 | 128M | 46 |2993 |3863 |3170 | 958 | 1 |1868 | 22 | 0.000000e+00 | -- | Inf | unknown
617.20/619.24 c 619s| 4200 | 53 | 2736k| 500.1 | 128M | 46 |2993 |3886 |3168 | 979 | 1 |1910 | 22 | 0.000000e+00 | -- | Inf | unknown
624.37/626.49 c 626s| 4300 | 51 | 2778k| 498.4 | 129M | 46 |2993 |3917 |3168 |1003 | 1 |1950 | 22 | 0.000000e+00 | -- | Inf | unknown
632.06/634.17 c 634s| 4400 | 49 | 2820k| 497.1 | 130M | 46 |2993 |3935 |3168 |1041 | 0 |1998 | 22 | 0.000000e+00 | -- | Inf | unknown
639.33/641.48 c 641s| 4500 | 47 | 2862k| 495.6 | 130M | 46 |2993 |3958 |3169 |1048 | 0 |2040 | 22 | 0.000000e+00 | -- | Inf | unknown
645.71/647.85 c 648s| 4600 | 45 | 2897k| 493.0 | 130M | 46 |2993 |3971 |3171 |1060 | 1 |2063 | 22 | 0.000000e+00 | -- | Inf | unknown
654.68/656.87 c 657s| 4700 | 51 | 2945k| 492.9 | 131M | 46 |2993 |3931 |3166 |1082 | 1 |2094 | 22 | 0.000000e+00 | -- | Inf | 0.50%
661.65/663.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
661.65/663.85 c 664s| 4800 | 49 | 2985k| 491.3 | 131M | 46 |2993 |3973 |3173 |1095 | 1 |2157 | 22 | 0.000000e+00 | -- | Inf | 0.51%
669.42/671.66 c 672s| 4900 | 50 | 3027k| 490.1 | 131M | 46 |2993 |4010 |3168 |1116 | 0 |2204 | 22 | 0.000000e+00 | -- | Inf | 0.51%
677.10/679.32 c 679s| 5000 | 48 | 3071k| 489.2 | 131M | 46 |2993 |4029 |3168 |1126 | 0 |2243 | 22 | 0.000000e+00 | -- | Inf | 0.51%
684.37/686.61 c 687s| 5100 | 52 | 3111k| 487.8 | 131M | 46 |2993 |4041 |3164 |1139 | 1 |2295 | 22 | 0.000000e+00 | -- | Inf | 0.51%
691.55/693.89 c 694s| 5200 | 53 | 3152k| 486.5 | 131M | 46 |2993 |4104 |3172 |1160 | 1 |2371 | 22 | 0.000000e+00 | -- | Inf | 0.51%
698.32/700.65 c 701s| 5300 | 54 | 3189k| 484.8 | 131M | 46 |2993 |4129 |3172 |1185 | 1 |2420 | 22 | 0.000000e+00 | -- | Inf | 0.51%
705.40/707.77 c 708s| 5400 | 55 | 3230k| 483.5 | 132M | 46 |2993 |4149 |3165 |1201 | 1 |2459 | 22 | 0.000000e+00 | -- | Inf | 0.51%
712.37/714.71 c 715s| 5500 | 53 | 3269k| 482.1 | 132M | 46 |2993 |4188 |3168 |1213 | 1 |2517 | 22 | 0.000000e+00 | -- | Inf | 0.52%
719.05/721.46 c 721s| 5600 | 54 | 3306k| 480.4 | 132M | 46 |2993 |4231 |3167 |1242 | 0 |2570 | 22 | 0.000000e+00 | -- | Inf | 0.52%
727.12/729.54 c 730s| 5700 | 54 | 3349k| 479.7 | 132M | 46 |2993 |4231 |3172 |1276 | 1 |2657 | 22 | 0.000000e+00 | -- | Inf | 0.52%
735.61/738.03 c 738s| 5800 | 53 | 3395k| 479.4 | 132M | 46 |2993 |4266 |3170 |1284 | 0 |2758 | 22 | 0.000000e+00 | -- | Inf | 0.52%
745.57/748.02 c 748s| 5900 | 51 | 3449k| 480.2 | 132M | 46 |2993 |4274 |3171 |1302 | 0 |2792 | 22 | 0.000000e+00 | -- | Inf | 0.52%
755.12/757.65 c 758s| 6000 | 55 | 3502k| 480.9 | 133M | 46 |2993 |4218 |3159 |1326 | 1 |2867 | 22 | 0.000000e+00 | -- | Inf | 0.52%
760.41/762.96 c 763s| 6100 | 52 | 3533k| 478.6 | 133M | 46 |2993 |4036 |3165 |1361 | 2 |2927 | 22 | 0.000000e+00 | -- | Inf | 0.53%
764.39/766.98 c 767s| 6200 | 54 | 3557k| 475.3 | 133M | 46 |2993 |4015 |3164 |1394 | 1 |2991 | 22 | 0.000000e+00 | -- | Inf | 0.56%
766.19/768.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
766.19/768.75 c 769s| 6300 | 54 | 3568k| 470.3 | 133M | 46 |2993 |4077 | 0 |1398 | 0 |3119 | 22 | 0.000000e+00 | -- | Inf | 0.60%
768.38/771.00 c 771s| 6400 | 52 | 3582k| 465.9 | 133M | 46 |2993 |4102 |3163 |1400 | 1 |3187 | 22 | 0.000000e+00 | -- | Inf | 0.62%
771.37/773.91 c 774s| 6500 | 52 | 3600k| 462.1 | 133M | 46 |2993 |4111 |3156 |1414 | 0 |3238 | 22 | 0.000000e+00 | -- | Inf | 0.63%
775.06/777.68 c 778s| 6600 | 52 | 3623k| 459.0 | 134M | 46 |2993 |4005 |3165 |1437 | 0 |3270 | 22 | 0.000000e+00 | -- | Inf | 0.66%
779.94/782.52 c 783s| 6700 | 54 | 3651k| 456.7 | 134M | 46 |2993 |4021 | 0 |1437 | 0 |3325 | 22 | 0.000000e+00 | -- | Inf | 0.70%
787.32/789.91 c 790s| 6800 | 52 | 3690k| 455.9 | 134M | 46 |2993 |3998 |3166 |1470 | 1 |3380 | 22 | 0.000000e+00 | -- | Inf | 0.72%
789.61/792.22 c 792s| 6900 | 54 | 3705k| 452.1 | 134M | 46 |2993 |4090 |3165 |1470 | 1 |3481 | 22 | 0.000000e+00 | -- | Inf | 0.73%
793.00/795.66 c 796s| 7000 | 52 | 3725k| 449.0 | 134M | 46 |2993 |4075 |3169 |1487 | 2 |3540 | 22 | 0.000000e+00 | -- | Inf | 0.74%
796.29/799.00 c 799s| 7100 | 56 | 3745k| 445.8 | 134M | 46 |2993 |4036 |3166 |1499 | 1 |3602 | 22 | 0.000000e+00 | -- | Inf | 0.75%
799.88/802.52 c 803s| 7200 | 54 | 3766k| 443.0 | 134M | 46 |2993 |4097 |3171 |1502 | 0 |3675 | 22 | 0.000000e+00 | -- | Inf | 0.75%
802.67/805.31 c 805s| 7300 | 50 | 3783k| 439.7 | 134M | 53 |2993 |4125 |3165 |1511 | 1 |3734 | 22 | 0.000000e+00 | -- | Inf | 0.76%
809.95/812.61 c 813s| 7400 | 56 | 3822k| 439.1 | 134M | 53 |2993 |4111 |3167 |1558 | 0 |3799 | 22 | 0.000000e+00 | -- | Inf | 0.76%
818.12/820.84 c 821s| 7500 | 58 | 3867k| 439.2 | 135M | 53 |2993 |4140 |3164 |1577 | 1 |3841 | 22 | 0.000000e+00 | -- | Inf | 0.77%
825.41/828.15 c 828s| 7600 | 58 | 3907k| 438.8 | 135M | 53 |2993 |4163 |3167 |1588 | 1 |3871 | 22 | 0.000000e+00 | -- | Inf | 0.77%
831.78/834.53 c 835s| 7700 | 56 | 3943k| 437.8 | 135M | 53 |2993 |4184 |3167 |1607 | 0 |3921 | 22 | 0.000000e+00 | -- | Inf | 0.77%
837.37/840.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
837.37/840.13 c 840s| 7800 | 55 | 3974k| 436.5 | 135M | 53 |2993 |4228 |3169 |1638 | 2 |3992 | 22 | 0.000000e+00 | -- | Inf | 0.77%
844.14/846.93 c 847s| 7900 | 53 | 4013k| 435.9 | 135M | 53 |2993 |4280 |3170 |1664 | 0 |4071 | 22 | 0.000000e+00 | -- | Inf | 0.77%
852.33/855.15 c 855s| 8000 | 52 | 4057k| 436.0 | 135M | 53 |2993 |4314 |3169 |1690 | 0 |4134 | 22 | 0.000000e+00 | -- | Inf | 0.77%
858.70/861.53 c 862s| 8100 | 56 | 4094k| 435.2 | 136M | 53 |2993 |4307 |3170 |1721 | 1 |4182 | 22 | 0.000000e+00 | -- | Inf | 0.77%
863.79/866.67 c 867s| 8200 | 54 | 4122k| 433.6 | 136M | 53 |2993 |4338 |3167 |1744 | 0 |4254 | 22 | 0.000000e+00 | -- | Inf | 0.78%
869.28/872.17 c 872s| 8300 | 54 | 4154k| 432.3 | 136M | 53 |2993 |4357 |3169 |1759 | 0 |4310 | 22 | 0.000000e+00 | -- | Inf | 0.78%
874.95/877.80 c 878s| 8400 | 53 | 4185k| 431.1 | 136M | 53 |2993 |4408 |3169 |1773 | 1 |4378 | 22 | 0.000000e+00 | -- | Inf | 0.78%
881.43/884.32 c 884s| 8500 | 53 | 4221k| 430.3 | 136M | 53 |2993 |4464 |3165 |1791 | 0 |4503 | 22 | 0.000000e+00 | -- | Inf | 0.78%
889.01/891.99 c 892s| 8600 | 53 | 4262k| 430.1 | 136M | 53 |2993 |4461 |3167 |1815 | 1 |4552 | 22 | 0.000000e+00 | -- | Inf | 0.78%
897.48/900.44 c 900s| 8700 | 52 | 4307k| 430.3 | 137M | 53 |2993 |4432 |3163 |1835 | 0 |4633 | 22 | 0.000000e+00 | -- | Inf | 0.78%
904.17/907.18 c 907s| 8800 | 52 | 4345k| 429.8 | 137M | 53 |2993 |4351 |3168 |1872 | 2 |4664 | 22 | 0.000000e+00 | -- | Inf | 0.78%
911.24/914.27 c 914s| 8900 | 56 | 4384k| 429.4 | 137M | 53 |2993 |4387 |3166 |1884 | 1 |4729 | 22 | 0.000000e+00 | -- | Inf | 0.78%
917.32/920.37 c 920s| 9000 | 53 | 4418k| 428.6 | 137M | 53 |2993 |4445 |3167 |1900 | 1 |4805 | 22 | 0.000000e+00 | -- | Inf | 0.78%
924.20/927.22 c 927s| 9100 | 51 | 4457k| 428.1 | 137M | 53 |2993 |4468 |3167 |1915 | 1 |4873 | 22 | 0.000000e+00 | -- | Inf | 0.79%
931.48/934.52 c 935s| 9200 | 49 | 4496k| 427.8 | 137M | 53 |2993 |4359 | 0 |1945 | 0 |4925 | 22 | 0.000000e+00 | -- | Inf | 0.79%
938.35/941.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
938.35/941.48 c 941s| 9300 | 55 | 4535k| 427.4 | 137M | 53 |2993 |4326 |3162 |1968 | 1 |4984 | 22 | 0.000000e+00 | -- | Inf | 0.79%
944.13/947.23 c 947s| 9400 | 53 | 4568k| 426.5 | 137M | 53 |2993 |4311 |3167 |1998 | 0 |5005 | 22 | 0.000000e+00 | -- | Inf | 0.79%
950.41/953.53 c 954s| 9500 | 55 | 4604k| 425.8 | 137M | 53 |2993 |4320 | 0 |2035 | 0 |5033 | 22 | 0.000000e+00 | -- | Inf | 0.80%
956.90/960.03 c 960s| 9600 | 53 | 4641k| 425.3 | 138M | 53 |2993 |4337 |3171 |2060 | 0 |5053 | 22 | 0.000000e+00 | -- | Inf | 0.80%
963.26/966.42 c 966s| 9700 | 51 | 4676k| 424.6 | 138M | 53 |2993 |4314 |3169 |2124 | 0 |5111 | 22 | 0.000000e+00 | -- | Inf | 0.80%
970.54/973.79 c 974s| 9800 | 51 | 4717k| 424.5 | 139M | 53 |2993 |4331 |3177 |2172 | 0 |5147 | 22 | 0.000000e+00 | -- | Inf | 0.80%
977.83/981.03 c 981s| 9900 | 55 | 4758k| 424.3 | 140M | 53 |2993 |4216 |3167 |2226 | 2 |5209 | 22 | 0.000000e+00 | -- | Inf | 0.95%
982.69/985.93 c 986s| 10000 | 55 | 4787k| 423.2 | 140M | 53 |2993 |4234 |3165 |2239 | 1 |5257 | 22 | 0.000000e+00 | -- | Inf | 0.97%
985.79/989.02 c 989s| 10100 | 55 | 4807k| 421.1 | 140M | 53 |2993 |4287 | 0 |2258 | 0 |5354 | 22 | 0.000000e+00 | -- | Inf | 1.00%
989.78/993.09 c 993s| 10200 | 53 | 4831k| 419.5 | 140M | 53 |2993 |4288 |3170 |2304 | 1 |5452 | 22 | 0.000000e+00 | -- | Inf | 1.00%
993.16/996.47 c 996s| 10300 | 55 | 4852k| 417.7 | 141M | 53 |2993 |4214 |3172 |2348 | 2 |5501 | 22 | 0.000000e+00 | -- | Inf | 1.15%
998.34/1001.67 c 1002s| 10400 | 54 | 4883k| 416.7 | 142M | 53 |2993 |4222 |3169 |2378 | 0 |5593 | 22 | 0.000000e+00 | -- | Inf | 1.17%
1006.21/1009.56 c 1010s| 10500 | 54 | 4928k| 417.0 | 142M | 53 |2993 |4270 | 0 |2412 | 0 |5649 | 22 | 0.000000e+00 | -- | Inf | 1.17%
1012.98/1016.39 c 1016s| 10600 | 52 | 4967k| 416.7 | 142M | 53 |2993 |4254 |3165 |2449 | 0 |5708 | 22 | 0.000000e+00 | -- | Inf | 1.18%
1020.15/1023.54 c 1024s| 10700 | 52 | 5008k| 416.7 | 143M | 53 |2993 |4236 |3169 |2470 | 0 |5773 | 22 | 0.000000e+00 | -- | Inf | 1.19%
1027.82/1031.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1027.82/1031.20 c 1031s| 10800 | 52 | 5050k| 416.7 | 143M | 53 |2993 |4209 |3168 |2495 | 0 |5819 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1034.90/1038.34 c 1038s| 10900 | 54 | 5089k| 416.5 | 143M | 53 |2993 |4211 |3168 |2529 | 0 |5871 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1039.88/1043.34 c 1043s| 11000 | 55 | 5117k| 415.4 | 143M | 53 |2993 |4251 |3172 |2548 | 0 |5923 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1046.36/1049.87 c 1050s| 11100 | 53 | 5153k| 414.9 | 143M | 53 |2993 |4263 |3171 |2581 | 0 |5947 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1052.04/1055.50 c 1055s| 11200 | 53 | 5185k| 414.2 | 143M | 53 |2993 |4316 |3172 |2603 | 0 |6013 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1058.82/1062.30 c 1062s| 11300 | 53 | 5223k| 413.9 | 143M | 53 |2993 |4330 | 0 |2639 | 0 |6041 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1064.19/1067.71 c 1068s| 11400 | 53 | 5253k| 413.0 | 144M | 53 |2993 |4335 |3175 |2675 | 2 |6063 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1071.77/1075.39 c 1075s| 11500 | 53 | 5293k| 412.9 | 144M | 53 |2993 |4407 |3184 |2722 | 1 |6149 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1077.65/1081.22 c 1081s| 11600 | 53 | 5325k| 412.2 | 144M | 53 |2993 |4437 |3170 |2741 | 1 |6185 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1084.92/1088.51 c 1089s| 11700 | 53 | 5365k| 412.0 | 144M | 57 |2993 |4460 |3177 |2773 | 1 |6229 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1092.29/1095.94 c 1096s| 11800 | 57 | 5404k| 411.9 | 144M | 58 |2993 |4483 |3189 |2805 | 1 |6254 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1098.67/1102.30 c 1102s| 11900 | 55 | 5440k| 411.5 | 144M | 65 |2993 |4483 |3190 |2812 | 0 |6257 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1105.24/1108.93 c 1109s| 12000 | 53 | 5476k| 411.1 | 144M | 67 |2993 |4456 |3163 |2822 | 1 |6274 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1114.42/1118.19 c 1118s| 12100 | 55 | 5523k| 411.5 | 144M | 67 |2993 |4477 |3170 |2852 | 1 |6334 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1122.78/1126.55 c 1127s| 12200 | 55 | 5566k| 411.6 | 144M | 67 |2993 |4520 |3163 |2876 | 1 |6451 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1132.36/1136.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1132.36/1136.17 c 1136s| 12300 | 55 | 5616k| 412.3 | 144M | 67 |2993 |4522 |3171 |2922 | 1 |6476 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1142.72/1146.56 c 1147s| 12400 | 55 | 5670k| 413.3 | 144M | 67 |2993 |4543 |3173 |2942 | 0 |6504 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1153.58/1157.42 c 1157s| 12500 | 55 | 5727k| 414.4 | 144M | 67 |2993 |4569 | 0 |2964 | 0 |6545 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1166.93/1170.84 c 1171s| 12600 | 57 | 5796k| 416.4 | 144M | 67 |2993 |4568 |3170 |2983 | 1 |6578 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1177.59/1181.54 c 1182s| 12700 | 55 | 5851k| 417.4 | 145M | 67 |2993 |4564 |3176 |3007 | 1 |6619 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1187.45/1191.46 c 1191s| 12800 | 53 | 5902k| 418.1 | 145M | 67 |2993 |4580 |3173 |3034 | 0 |6664 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1196.22/1200.27 c 1200s| 12900 | 53 | 5948k| 418.4 | 145M | 67 |2993 |4596 | 0 |3039 | 0 |6710 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1206.48/1210.59 c 1211s| 13000 | 51 | 6001k| 419.2 | 145M | 67 |2993 |4596 |3173 |3058 | 0 |6747 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1220.43/1224.59 c 1225s| 13100 | 55 | 6074k| 421.4 | 145M | 67 |2993 |4568 |3168 |3094 | 1 |6780 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1234.48/1238.60 c 1239s| 13200 | 55 | 6147k| 423.6 | 145M | 67 |2993 |4576 |3174 |3121 | 1 |6798 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1245.74/1249.98 c 1250s| 13300 | 55 | 6205k| 424.6 | 145M | 67 |2993 |4601 |3169 |3144 | 1 |6841 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1259.59/1263.89 c 1264s| 13400 | 56 | 6276k| 426.6 | 145M | 67 |2993 |4634 |3170 |3166 | 1 |6885 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1271.87/1276.15 c 1276s| 13500 | 55 | 6340k| 428.1 | 145M | 67 |2993 |4657 |3178 |3187 | 1 |6921 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1282.92/1287.22 c 1287s| 13600 | 55 | 6397k| 429.0 | 145M | 67 |2993 |4712 |3174 |3209 | 0 |6980 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1295.58/1299.94 c 1300s| 13700 | 56 | 6463k| 430.6 | 145M | 67 |2993 |4731 |3171 |3226 | 1 |7014 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1307.85/1312.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1307.85/1312.22 c 1312s| 13800 | 56 | 6527k| 432.0 | 145M | 67 |2993 |4749 |3176 |3270 | 1 |7047 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1320.51/1324.95 c 1325s| 13900 | 56 | 6593k| 433.6 | 146M | 67 |2993 |4780 |3176 |3288 | 0 |7091 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1330.88/1335.37 c 1335s| 14000 | 56 | 6648k| 434.3 | 146M | 67 |2993 |4802 |3174 |3293 | 0 |7129 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1342.04/1346.52 c 1347s| 14100 | 54 | 6706k| 435.3 | 146M | 67 |2993 |4829 |3175 |3304 | 0 |7170 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1354.01/1358.53 c 1359s| 14200 | 52 | 6768k| 436.5 | 146M | 67 |2993 |4886 | 0 |3324 | 0 |7237 | 22 | 0.000000e+00 | -- | Inf | 1.20%
1373.46/1378.06 c 1378s| 14300 | 58 | 6862k| 439.8 | 146M | 67 |2993 |4544 |3166 |3360 | 2 |7274 | 22 | 0.000000e+00 | -- | Inf | 1.25%
1392.20/1396.87 c 1397s| 14400 | 58 | 6958k| 443.1 | 146M | 67 |2993 |4391 |3166 |3402 | 1 |7297 | 22 | 0.000000e+00 | -- | Inf | 1.54%
1407.95/1412.65 c 1413s| 14500 | 56 | 7040k| 445.6 | 146M | 67 |2993 |4407 |3170 |3425 | 0 |7322 | 22 | 0.000000e+00 | -- | Inf | 1.59%
1418.12/1422.82 c 1423s| 14600 | 58 | 7095k| 446.2 | 146M | 67 |2993 |4340 |3162 |3462 | 1 |7352 | 22 | 0.000000e+00 | -- | Inf | 1.59%
1424.80/1429.60 c 1430s| 14700 | 58 | 7130k| 445.6 | 146M | 67 |2993 |4371 |3166 |3498 | 1 |7403 | 22 | 0.000000e+00 | -- | Inf | 1.59%
1430.68/1435.46 c 1435s| 14800 | 56 | 7161k| 444.8 | 146M | 67 |2993 |4500 |3168 |3512 | 1 |7567 | 22 | 0.000000e+00 | -- | Inf | 1.59%
1445.04/1449.87 c 1450s| 14900 | 60 | 7236k| 446.7 | 147M | 67 |2993 |4414 |3171 |3540 | 1 |7629 | 22 | 0.000000e+00 | -- | Inf | 1.64%
1455.90/1460.79 c 1461s| 15000 | 62 | 7294k| 447.5 | 147M | 67 |2993 |4420 |3175 |3577 | 0 |7670 | 22 | 0.000000e+00 | -- | Inf | 1.67%
1464.08/1469.00 c 1469s| 15100 | 60 | 7337k| 447.4 | 147M | 67 |2993 |4345 |3168 |3594 | 1 |7738 | 22 | 0.000000e+00 | -- | Inf | 1.67%
1479.24/1484.11 c 1484s| 15200 | 60 | 7417k| 449.6 | 147M | 67 |2993 |4392 |3172 |3627 | 1 |7803 | 22 | 0.000000e+00 | -- | Inf | 1.67%
1490.71/1495.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1490.71/1495.69 c 1496s| 15300 | 60 | 7479k| 450.6 | 147M | 67 |2993 |4369 |3169 |3650 | 1 |7857 | 22 | 0.000000e+00 | -- | Inf | 1.68%
1499.48/1504.43 c 1504s| 15400 | 56 | 7525k| 450.7 | 147M | 67 |2993 |4358 | 0 |3665 | 0 |7915 | 22 | 0.000000e+00 | -- | Inf | 1.69%
1511.54/1516.54 c 1517s| 15500 | 58 | 7588k| 451.7 | 147M | 67 |2993 |4360 |3173 |3692 | 1 |7960 | 22 | 0.000000e+00 | -- | Inf | 1.74%
1522.90/1527.96 c 1528s| 15600 | 58 | 7647k| 452.6 | 147M | 67 |2993 |4370 |3174 |3708 | 0 |8021 | 22 | 0.000000e+00 | -- | Inf | 1.78%
1532.09/1537.16 c 1537s| 15700 | 64 | 7694k| 452.7 | 147M | 67 |2993 |4363 |3166 |3763 | 2 |8087 | 22 | 0.000000e+00 | -- | Inf | 2.43%
1539.55/1544.65 c 1545s| 15800 | 64 | 7733k| 452.3 | 147M | 67 |2993 |4370 |3179 |3801 | 0 |8135 | 22 | 0.000000e+00 | -- | Inf | 2.52%
1549.03/1554.16 c 1554s| 15900 | 63 | 7781k| 452.5 | 147M | 67 |2993 |4430 |3164 |3849 | 0 |8234 | 22 | 0.000000e+00 | -- | Inf | 2.61%
1556.50/1561.69 c 1562s| 16000 | 63 | 7821k| 452.2 | 148M | 67 |2993 |4432 |3156 |3888 | 1 |8272 | 22 | 0.000000e+00 | -- | Inf | 2.62%
1562.58/1567.74 c 1568s| 16100 | 61 | 7855k| 451.5 | 148M | 67 |2993 |4416 |3156 |3907 | 0 |8276 | 22 | 0.000000e+00 | -- | Inf | 2.62%
1567.16/1572.30 c 1572s| 16200 | 63 | 7883k| 450.5 | 148M | 67 |2993 |4427 |3166 |3952 | 0 |8289 | 22 | 0.000000e+00 | -- | Inf | 2.62%
1572.05/1577.24 c 1577s| 16300 | 61 | 7912k| 449.6 | 148M | 67 |2993 |4432 |3165 |3977 | 1 |8321 | 22 | 0.000000e+00 | -- | Inf | 2.63%
1577.53/1582.75 c 1583s| 16400 | 62 | 7945k| 448.9 | 148M | 67 |2993 |4433 |3164 |3997 | 1 |8336 | 22 | 0.000000e+00 | -- | Inf | 3.02%
1584.21/1589.41 c 1589s| 16500 | 60 | 7982k| 448.5 | 148M | 67 |2993 |4431 |3165 |4031 | 0 |8341 | 22 | 0.000000e+00 | -- | Inf | 3.02%
1590.49/1595.74 c 1596s| 16600 | 60 | 8018k| 448.0 | 148M | 67 |2993 |4431 |3164 |4053 | 0 |8348 | 22 | 0.000000e+00 | -- | Inf | 3.02%
1597.07/1602.33 c 1602s| 16700 | 60 | 8055k| 447.5 | 148M | 67 |2993 |4432 |3163 |4090 | 0 |8350 | 22 | 0.000000e+00 | -- | Inf | 3.02%
1603.76/1609.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1603.76/1609.06 c 1609s| 16800 | 59 | 8093k| 447.1 | 148M | 67 |2993 |4414 |3161 |4114 | 0 |8358 | 22 | 0.000000e+00 | -- | Inf | 3.02%
1608.04/1613.35 c 1613s| 16900 | 59 | 8118k| 446.1 | 148M | 67 |2993 |4441 |3164 |4162 | 1 |8392 | 22 | 0.000000e+00 | -- | Inf | 3.02%
1613.12/1618.45 c 1618s| 17000 | 59 | 8149k| 445.3 | 148M | 67 |2993 |4430 |3164 |4197 | 0 |8407 | 22 | 0.000000e+00 | -- | Inf | 3.02%
1619.72/1625.09 c 1625s| 17100 | 61 | 8185k| 444.8 | 148M | 67 |2993 |4414 |3169 |4237 | 1 |8434 | 22 | 0.000000e+00 | -- | Inf | 3.02%
1623.70/1629.09 c 1629s| 17200 | 61 | 8208k| 443.7 | 148M | 67 |2993 |4422 |3162 |4248 | 0 |8466 | 22 | 0.000000e+00 | -- | Inf | 3.06%
1627.69/1633.04 c 1633s| 17300 | 63 | 8232k| 442.5 | 148M | 67 |2993 |4386 |3162 |4249 | 1 |8497 | 22 | 0.000000e+00 | -- | Inf | 3.08%
1630.78/1636.18 c 1636s| 17400 | 62 | 8251k| 441.2 | 148M | 67 |2993 |4412 |3163 |4254 | 1 |8536 | 22 | 0.000000e+00 | -- | Inf | 3.09%
1634.46/1639.89 c 1640s| 17500 | 62 | 8274k| 440.0 | 148M | 67 |2993 |4426 |3163 |4259 | 1 |8562 | 22 | 0.000000e+00 | -- | Inf | 3.09%
1639.44/1644.80 c 1645s| 17600 | 60 | 8303k| 439.2 | 148M | 67 |2993 |4448 |3162 |4270 | 0 |8600 | 22 | 0.000000e+00 | -- | Inf | 3.09%
1643.23/1648.69 c 1649s| 17700 | 62 | 8327k| 438.1 | 148M | 67 |2993 |4430 |3162 |4273 | 1 |8624 | 22 | 0.000000e+00 | -- | Inf | 3.11%
1646.92/1652.33 c 1652s| 17800 | 64 | 8349k| 437.0 | 148M | 67 |2993 |4440 |3162 |4276 | 1 |8649 | 22 | 0.000000e+00 | -- | Inf | 3.11%
1651.51/1656.96 c 1657s| 17900 | 62 | 8377k| 436.2 | 148M | 67 |2993 |4444 |3162 |4283 | 1 |8662 | 22 | 0.000000e+00 | -- | Inf | 3.12%
1656.49/1661.91 c 1662s| 18000 | 60 | 8407k| 435.5 | 148M | 67 |2993 |4452 |3162 |4287 | 0 |8687 | 22 | 0.000000e+00 | -- | Inf | 3.12%
1662.47/1667.98 c 1668s| 18100 | 60 | 8442k| 435.0 | 149M | 67 |2993 |4474 |3163 |4297 | 0 |8714 | 22 | 0.000000e+00 | -- | Inf | 3.12%
1669.15/1674.68 c 1675s| 18200 | 60 | 8481k| 434.8 | 149M | 67 |2993 |4483 |3167 |4320 | 0 |8728 | 22 | 0.000000e+00 | -- | Inf | 3.12%
1678.12/1683.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1678.12/1683.66 c 1684s| 18300 | 58 | 8531k| 435.1 | 149M | 67 |2993 |4458 |3169 |4358 | 1 |8760 | 22 | 0.000000e+00 | -- | Inf | 3.14%
1691.98/1697.57 c 1698s| 18400 | 65 | 8600k| 436.4 | 149M | 67 |2993 |4416 |3162 |4399 | 1 |8806 | 22 | 0.000000e+00 | -- | Inf | 3.38%
1697.06/1702.61 c 1703s| 18500 | 65 | 8629k| 435.7 | 149M | 67 |2993 |4443 |3166 |4434 | 2 |8855 | 22 | 0.000000e+00 | -- | Inf | 3.39%
1704.23/1709.82 c 1710s| 18600 | 63 | 8668k| 435.5 | 149M | 67 |2993 |4427 |3166 |4464 | 0 |8890 | 22 | 0.000000e+00 | -- | Inf | 3.41%
1711.80/1717.44 c 1717s| 18700 | 65 | 8710k| 435.4 | 149M | 67 |2993 |4459 |3167 |4482 | 1 |8965 | 22 | 0.000000e+00 | -- | Inf | 3.41%
1718.39/1724.03 c 1724s| 18800 | 63 | 8747k| 435.0 | 149M | 67 |2993 |4426 | 0 |4532 | 0 |9028 | 22 | 0.000000e+00 | -- | Inf | 3.42%
1729.74/1735.47 c 1735s| 18900 | 61 | 8808k| 435.9 | 149M | 67 |2993 |4431 |3167 |4559 | 0 |9086 | 22 | 0.000000e+00 | -- | Inf | 3.42%
1736.01/1741.78 c 1742s| 19000 | 65 | 8844k| 435.5 | 149M | 67 |2993 |4446 |3164 |4576 | 1 |9137 | 22 | 0.000000e+00 | -- | Inf | 3.43%
1743.40/1749.11 c 1749s| 19100 | 66 | 8884k| 435.4 | 149M | 67 |2993 |4473 |3165 |4593 | 0 |9212 | 22 | 0.000000e+00 | -- | Inf | 3.43%
1748.97/1754.71 c 1755s| 19200 | 70 | 8917k| 434.8 | 149M | 67 |2993 |4493 |3165 |4610 | 2 |9278 | 22 | 0.000000e+00 | -- | Inf | 3.43%
1754.65/1760.43 c 1760s| 19300 | 70 | 8950k| 434.3 | 149M | 67 |2993 |4484 |3165 |4628 | 1 |9309 | 22 | 0.000000e+00 | -- | Inf | 3.43%
1760.53/1766.35 c 1766s| 19400 | 64 | 8985k| 433.9 | 149M | 67 |2993 |4533 |3165 |4649 | 1 |9381 | 22 | 0.000000e+00 | -- | Inf | 3.43%
1767.11/1772.97 c 1773s| 19500 | 64 | 9023k| 433.7 | 149M | 67 |2993 |4554 |3165 |4671 | 1 |9434 | 22 | 0.000000e+00 | -- | Inf | 3.43%
1772.89/1778.79 c 1779s| 19600 | 64 | 9057k| 433.2 | 149M | 67 |2993 |4572 |3167 |4688 | 0 |9487 | 22 | 0.000000e+00 | -- | Inf | 3.43%
1779.56/1785.44 c 1785s| 19700 | 62 | 9094k| 432.9 | 149M | 67 |2993 |4564 |3167 |4714 | 0 |9526 | 22 | 0.000000e+00 | -- | Inf | 3.44%
1788.83/1794.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1788.83/1794.74 c 1795s| 19800 | 64 | 9145k| 433.3 | 150M | 67 |2993 |4553 |3166 |4732 | 0 |9571 | 22 | 0.000000e+00 | -- | Inf | 3.44%
1796.22/1802.13 c 1802s| 19900 | 63 | 9186k| 433.2 | 150M | 67 |2993 |4610 |3164 |4740 | 0 |9644 | 22 | 0.000000e+00 | -- | Inf | 3.44%
1803.98/1809.90 c 1810s| 20000 | 63 | 9229k| 433.1 | 150M | 67 |2993 |4620 | 0 |4755 | 0 |9687 | 22 | 0.000000e+00 | -- | Inf | 3.44%
1812.85/1818.81 c 1819s| 20100 | 62 | 9275k| 433.3 | 150M | 67 |2993 |4499 | 0 |4775 | 0 |9748 | 22 | 0.000000e+00 | -- | Inf | 3.47%
1816.84/1822.82 c 1823s| 20200 | 72 | 9299k| 432.4 | 150M | 67 |2993 |4471 |3165 |4781 | 1 |9788 | 22 | 0.000000e+00 | -- | Inf | 3.52%
1820.63/1826.68 c 1827s| 20300 | 65 | 9323k| 431.5 | 150M | 67 |2993 |4448 |3165 |4784 | 0 |9855 | 22 | 0.000000e+00 | -- | Inf | 3.56%
1825.71/1831.73 c 1832s| 20400 | 65 | 9353k| 430.9 | 150M | 67 |2993 |4488 |3166 |4796 | 1 |9937 | 22 | 0.000000e+00 | -- | Inf | 3.57%
1831.49/1837.50 c 1837s| 20500 | 67 | 9385k| 430.4 | 150M | 67 |2993 |4481 |3166 |4831 | 1 |9972 | 22 | 0.000000e+00 | -- | Inf | 3.58%
1837.37/1843.41 c 1843s| 20600 | 67 | 9419k| 429.9 | 150M | 67 |2993 |4531 |3166 |4845 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.60%
1844.06/1850.16 c 1850s| 20700 | 66 | 9458k| 429.7 | 150M | 67 |2993 |4519 |3169 |4859 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.62%
1850.13/1856.26 c 1856s| 20800 | 67 | 9492k| 429.3 | 150M | 67 |2993 |4475 |3163 |4866 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.63%
1855.62/1861.77 c 1862s| 20900 | 65 | 9523k| 428.8 | 150M | 67 |2993 |4499 |3163 |4872 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.64%
1860.81/1866.92 c 1867s| 21000 | 67 | 9552k| 428.2 | 150M | 67 |2993 |4532 |3167 |4890 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.65%
1866.00/1872.18 c 1872s| 21100 | 64 | 9583k| 427.6 | 150M | 67 |2993 |4592 |3166 |4891 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.66%
1871.57/1877.79 c 1878s| 21200 | 60 | 9615k| 427.1 | 150M | 67 |2993 |4683 | 0 |4902 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.67%
1877.65/1883.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1877.65/1883.80 c 1884s| 21300 | 60 | 9649k| 426.7 | 150M | 67 |2993 |4663 |3178 |4922 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.67%
1884.23/1890.44 c 1890s| 21400 | 58 | 9686k| 426.5 | 150M | 67 |2993 |4478 | 0 |4962 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.87%
1891.01/1897.27 c 1897s| 21500 | 64 | 9723k| 426.2 | 150M | 67 |2993 |4462 |3168 |4987 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.87%
1897.09/1903.34 c 1903s| 21600 | 62 | 9756k| 425.8 | 150M | 67 |2993 |4528 |3170 |4997 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 3.87%
1903.37/1909.67 c 1910s| 21700 | 60 | 9792k| 425.5 | 150M | 67 |2993 |4446 | 0 |5014 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 3.88%
1908.65/1914.92 c 1915s| 21800 | 61 | 9822k| 425.0 | 151M | 67 |2993 |4449 |3166 |5033 | 2 | 11k| 22 | 0.000000e+00 | -- | Inf | 3.89%
1911.94/1918.27 c 1918s| 21900 | 61 | 9842k| 424.0 | 151M | 67 |2993 |4527 |3165 |5046 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 3.89%
1917.52/1923.89 c 1924s| 22000 | 61 | 9875k| 423.6 | 151M | 67 |2993 |4421 |3164 |5053 | 2 | 11k| 22 | 0.000000e+00 | -- | Inf | 3.90%
1922.73/1929.09 c 1929s| 22100 | 61 | 9906k| 423.1 | 151M | 67 |2993 |4442 |3166 |5060 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 3.90%
1930.29/1936.60 c 1937s| 22200 | 58 | 9946k| 423.0 | 151M | 67 |2993 |4498 |3166 |5075 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 3.90%
1937.57/1943.98 c 1944s| 22300 | 62 | 9986k| 422.9 | 151M | 67 |2993 |4510 |3168 |5110 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 3.90%
1945.05/1951.49 c 1951s| 22400 | 59 | 10029k| 422.9 | 151M | 67 |2993 |4433 |3171 |5139 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 3.91%
1951.23/1957.69 c 1958s| 22500 | 58 | 10063k| 422.6 | 151M | 67 |2993 |4468 |3168 |5155 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.01%
1958.31/1964.76 c 1965s| 22600 | 60 | 10103k| 422.5 | 151M | 67 |2993 |4542 |3163 |5165 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.01%
1962.70/1969.16 c 1969s| 22700 | 54 | 10128k| 421.8 | 151M | 67 |2993 |4531 |3165 |5177 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.01%
1966.78/1973.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1966.78/1973.24 c 1973s| 22800 | 54 | 10153k| 421.0 | 151M | 67 |2993 |4595 | 0 |5189 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.01%
1971.17/1977.60 c 1978s| 22900 | 53 | 10178k| 420.3 | 151M | 67 |2993 |4650 | 0 |5205 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.01%
1975.66/1982.18 c 1982s| 23000 | 55 | 10205k| 419.7 | 151M | 67 |2993 |4687 |3165 |5213 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.01%
1982.33/1988.82 c 1989s| 23100 | 59 | 10241k| 419.4 | 151M | 67 |2993 |4658 |3163 |5230 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.09%
1990.31/1996.88 c 1997s| 23200 | 59 | 10286k| 419.6 | 151M | 67 |2993 |4648 |3163 |5232 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.10%
1999.59/2006.14 c 2006s| 23300 | 61 | 10337k| 419.9 | 151M | 67 |2993 |4638 |3165 |5247 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.11%
2009.56/2016.11 c 2016s| 23400 | 57 | 10391k| 420.4 | 151M | 67 |2993 |4620 |3162 |5266 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.20%
2020.53/2027.17 c 2027s| 23500 | 57 | 10451k| 421.2 | 151M | 67 |2993 |4609 |3166 |5310 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 4.38%
2029.59/2036.25 c 2036s| 23600 | 55 | 10501k| 421.5 | 151M | 67 |2993 |4626 |3167 |5327 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.41%
2036.77/2043.50 c 2043s| 23700 | 58 | 10540k| 421.4 | 152M | 67 |2993 |4656 |3160 |5336 | 2 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.49%
2046.14/2052.82 c 2053s| 23800 | 61 | 10591k| 421.7 | 152M | 67 |2993 |4678 |3160 |5354 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.53%
2054.01/2060.72 c 2061s| 23900 | 61 | 10634k| 421.7 | 152M | 67 |2993 |4719 |3160 |5355 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.53%
2062.79/2069.52 c 2070s| 24000 | 59 | 10682k| 422.0 | 152M | 67 |2993 |4758 | 0 |5358 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.55%
2075.26/2082.04 c 2082s| 24100 | 57 | 10748k| 422.9 | 152M | 67 |2993 |4781 | 0 |5364 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.57%
2086.91/2093.76 c 2094s| 24200 | 58 | 10811k| 423.7 | 152M | 67 |2993 |4827 |3169 |5382 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.57%
2102.96/2109.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2102.96/2109.82 c 2110s| 24300 | 56 | 10896k| 425.4 | 152M | 67 |2993 |4871 |3170 |5398 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.58%
2114.24/2121.12 c 2121s| 24400 | 57 | 10957k| 426.1 | 152M | 67 |2993 |4914 |3166 |5403 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.58%
2125.50/2132.46 c 2132s| 24500 | 59 | 11017k| 426.8 | 152M | 67 |2993 |4957 |3169 |5419 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.59%
2139.26/2146.24 c 2146s| 24600 | 57 | 11090k| 428.0 | 152M | 67 |2993 |5005 |3171 |5436 | 2 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.59%
2154.81/2161.88 c 2162s| 24700 | 59 | 11174k| 429.6 | 152M | 67 |2993 |5053 |3171 |5445 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.59%
2168.17/2175.29 c 2175s| 24800 | 59 | 11246k| 430.7 | 152M | 67 |2993 |5093 |3167 |5456 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.60%
2182.43/2189.59 c 2190s| 24900 | 59 | 11324k| 432.1 | 153M | 67 |2993 |5137 |3172 |5460 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.60%
2194.49/2201.70 c 2202s| 25000 | 59 | 11389k| 432.9 | 153M | 67 |2993 |5182 |3168 |5480 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.60%
2207.65/2214.84 c 2215s| 25100 | 58 | 11460k| 434.0 | 153M | 67 |2993 |5220 |3166 |5491 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.60%
2219.41/2226.65 c 2227s| 25200 | 58 | 11522k| 434.7 | 153M | 67 |2993 |5265 |3170 |5493 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.60%
2232.28/2239.53 c 2240s| 25300 | 56 | 11590k| 435.6 | 153M | 67 |2993 |5306 |3170 |5510 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.60%
2242.54/2249.82 c 2250s| 25400 | 56 | 11645k| 436.1 | 153M | 67 |2993 |5345 |3170 |5512 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.60%
2255.90/2263.20 c 2263s| 25500 | 54 | 11715k| 437.0 | 153M | 67 |2993 |5392 |3167 |5515 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.60%
2266.78/2274.18 c 2274s| 25600 | 56 | 11772k| 437.6 | 154M | 67 |2993 |5443 |3167 |5556 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.62%
2280.33/2287.73 c 2288s| 25700 | 58 | 11847k| 438.7 | 154M | 67 |2993 |5455 |3168 |5560 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.66%
2291.89/2299.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2291.89/2299.37 c 2299s| 25800 | 56 | 11912k| 439.5 | 154M | 67 |2993 |5446 |3168 |5565 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.66%
2305.35/2312.83 c 2313s| 25900 | 58 | 11986k| 440.6 | 154M | 67 |2993 |5424 |3169 |5585 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.66%
2318.41/2325.90 c 2326s| 26000 | 58 | 12059k| 441.7 | 154M | 67 |2993 |5403 |3169 |5588 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.69%
2329.17/2336.71 c 2337s| 26100 | 58 | 12120k| 442.3 | 154M | 67 |2993 |5379 |3171 |5590 | 2 | 12k| 22 | 0.000000e+00 | -- | Inf | 4.69%
2342.63/2350.22 c 2350s| 26200 | 56 | 12192k| 443.3 | 154M | 67 |2993 |5377 |3168 |5590 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.70%
2357.08/2364.79 c 2365s| 26300 | 56 | 12272k| 444.6 | 154M | 67 |2993 |5376 |3169 |5590 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.70%
2369.64/2377.35 c 2377s| 26400 | 56 | 12341k| 445.5 | 155M | 67 |2993 |5394 |3167 |5613 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.72%
2382.51/2390.21 c 2390s| 26500 | 58 | 12412k| 446.5 | 155M | 67 |2993 |5439 |3166 |5630 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.74%
2393.17/2400.93 c 2401s| 26600 | 56 | 12472k| 447.0 | 155M | 67 |2993 |5419 |3169 |5652 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.75%
2408.03/2415.80 c 2416s| 26700 | 54 | 12553k| 448.3 | 155M | 67 |2993 |5415 |3168 |5665 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.75%
2420.09/2427.93 c 2428s| 26800 | 56 | 12620k| 449.1 | 156M | 67 |2993 |5413 |3163 |5682 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.75%
2430.87/2438.79 c 2439s| 26900 | 54 | 12680k| 449.7 | 156M | 67 |2993 |5407 |3165 |5703 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.77%
2442.03/2450.00 c 2450s| 27000 | 56 | 12740k| 450.2 | 156M | 67 |2993 |5436 |3165 |5721 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.87%
2454.11/2462.02 c 2462s| 27100 | 56 | 12805k| 450.9 | 156M | 67 |2993 |5443 |3166 |5748 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.89%
2465.96/2473.93 c 2474s| 27200 | 62 | 12869k| 451.6 | 156M | 67 |2993 |5458 |3165 |5768 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 4.96%
2478.03/2486.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2478.03/2486.03 c 2486s| 27300 | 58 | 12934k| 452.3 | 156M | 67 |2993 |5459 |3170 |5785 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.04%
2490.78/2498.80 c 2499s| 27400 | 58 | 13003k| 453.1 | 156M | 67 |2993 |5458 |3167 |5806 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.04%
2502.84/2511.00 c 2511s| 27500 | 58 | 13067k| 453.8 | 156M | 67 |2993 |5485 |3167 |5825 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.08%
2514.70/2522.82 c 2523s| 27600 | 60 | 13131k| 454.5 | 156M | 67 |2993 |5503 |3172 |5834 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.09%
2526.97/2535.11 c 2535s| 27700 | 57 | 13198k| 455.2 | 156M | 67 |2993 |5512 |3171 |5849 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.09%
2541.22/2549.41 c 2549s| 27800 | 59 | 13276k| 456.3 | 156M | 67 |2993 |5517 |3170 |5878 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.12%
2556.07/2564.31 c 2564s| 27900 | 59 | 13357k| 457.5 | 156M | 67 |2993 |5496 |3171 |5905 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.12%
2571.03/2579.36 c 2579s| 28000 | 59 | 13440k| 458.8 | 156M | 67 |2993 |5492 |3177 |5919 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.12%
2582.30/2590.62 c 2591s| 28100 | 57 | 13499k| 459.3 | 156M | 67 |2993 |5504 |3176 |5939 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.12%
2589.08/2597.47 c 2597s| 28200 | 58 | 13537k| 459.0 | 156M | 67 |2993 |5443 | 0 |5961 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.57%
2595.56/2603.94 c 2604s| 28300 | 58 | 13573k| 458.7 | 156M | 67 |2993 |5419 |3162 |5976 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.62%
2600.55/2608.93 c 2609s| 28400 | 57 | 13601k| 458.1 | 156M | 67 |2993 |5410 |3162 |5989 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.62%
2603.93/2612.30 c 2612s| 28500 | 57 | 13622k| 457.2 | 156M | 67 |2993 |5414 |3164 |5999 | 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.63%
2609.32/2617.71 c 2618s| 28600 | 55 | 13653k| 456.7 | 157M | 67 |2993 |5427 |3170 |6004 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.63%
2613.80/2622.22 c 2622s| 28700 | 57 | 13679k| 456.1 | 157M | 67 |2993 |5388 |3162 |6007 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.68%
2617.60/2626.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2617.60/2626.09 c 2626s| 28800 | 61 | 13703k| 455.3 | 157M | 67 |2993 |5377 |3162 |6016 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.69%
2620.78/2629.24 c 2629s| 28900 | 58 | 13723k| 454.5 | 157M | 67 |2993 |5431 |3163 |6022 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.69%
2623.97/2632.41 c 2632s| 29000 | 60 | 13743k| 453.6 | 157M | 67 |2993 |5393 |3165 |6032 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.70%
2626.68/2635.19 c 2635s| 29100 | 58 | 13760k| 452.7 | 157M | 67 |2993 |5422 |3164 |6049 | 2 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.70%
2630.56/2639.05 c 2639s| 29200 | 55 | 13784k| 452.0 | 157M | 67 |2993 |5466 |3165 |6056 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 5.71%
2635.44/2643.94 c 2644s| 29300 | 55 | 13814k| 451.5 | 157M | 67 |2993 |5464 |3165 |6060 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.72%
2639.72/2648.24 c 2648s| 29400 | 61 | 13840k| 450.9 | 157M | 67 |2993 |5461 |3163 |6071 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.72%
2643.81/2652.35 c 2652s| 29500 | 55 | 13866k| 450.2 | 157M | 67 |2993 |5463 |3164 |6081 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.72%
2648.80/2657.33 c 2657s| 29600 | 56 | 13896k| 449.7 | 157M | 67 |2993 |5486 |3167 |6096 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.72%
2656.77/2665.32 c 2665s| 29700 | 58 | 13939k| 449.7 | 157M | 67 |2993 |5465 |3164 |6111 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.76%
2664.94/2673.52 c 2674s| 29800 | 57 | 13984k| 449.7 | 157M | 67 |2993 |5475 |3164 |6116 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.78%
2673.32/2681.97 c 2682s| 29900 | 59 | 14031k| 449.8 | 157M | 67 |2993 |5471 |3164 |6125 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.80%
2680.90/2689.54 c 2690s| 30000 | 57 | 14073k| 449.7 | 157M | 67 |2993 |5480 |3164 |6140 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.81%
2690.17/2698.87 c 2699s| 30100 | 54 | 14125k| 449.9 | 157M | 67 |2993 |5524 |3165 |6143 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.81%
2702.23/2710.91 c 2711s| 30200 | 56 | 14188k| 450.5 | 157M | 67 |2993 |5504 |3165 |6165 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.87%
2710.50/2719.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2710.50/2719.22 c 2719s| 30300 | 58 | 14233k| 450.5 | 157M | 67 |2993 |5533 |3166 |6175 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.87%
2721.47/2730.23 c 2730s| 30400 | 58 | 14293k| 450.9 | 157M | 67 |2993 |5564 |3173 |6195 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.87%
2731.75/2740.51 c 2741s| 30500 | 56 | 14348k| 451.2 | 157M | 67 |2993 |5577 |3167 |6203 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.87%
2742.91/2751.77 c 2752s| 30600 | 61 | 14407k| 451.7 | 157M | 67 |2993 |5519 |3165 |6238 | 2 | 14k| 22 | 0.000000e+00 | -- | Inf | 5.99%
2755.47/2764.30 c 2764s| 30700 | 61 | 14473k| 452.4 | 157M | 67 |2993 |5501 |3170 |6278 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.19%
2765.44/2774.38 c 2774s| 30800 | 61 | 14527k| 452.6 | 157M | 67 |2993 |5522 |3165 |6313 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.19%
2777.80/2786.78 c 2787s| 30900 | 59 | 14592k| 453.2 | 157M | 67 |2993 |5543 |3164 |6328 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.20%
2792.96/2801.95 c 2802s| 31000 | 59 | 14669k| 454.2 | 158M | 67 |2993 |5586 |3166 |6362 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.20%
2807.71/2816.75 c 2817s| 31100 | 60 | 14745k| 455.2 | 158M | 67 |2993 |5627 |3169 |6402 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.20%
2819.57/2828.67 c 2829s| 31200 | 58 | 14808k| 455.7 | 158M | 67 |2993 |5643 |3168 |6429 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.29%
2833.53/2842.61 c 2843s| 31300 | 56 | 14881k| 456.6 | 158M | 67 |2993 |5642 |3169 |6445 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.29%
2845.79/2854.92 c 2855s| 31400 | 58 | 14945k| 457.1 | 158M | 67 |2993 |5644 |3172 |6487 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.37%
2855.66/2864.86 c 2865s| 31500 | 66 | 14998k| 457.3 | 158M | 67 |2993 |5606 |3168 |6523 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.38%
2866.33/2875.50 c 2876s| 31600 | 62 | 15054k| 457.6 | 158M | 67 |2993 |5527 |3170 |6545 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.52%
2871.32/2880.51 c 2881s| 31700 | 60 | 15080k| 457.1 | 158M | 67 |2993 |5409 |3165 |6557 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.54%
2879.69/2888.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2879.69/2888.90 c 2889s| 31800 | 66 | 15125k| 457.0 | 160M | 67 |2993 |5348 |3164 |6584 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.55%
2886.47/2895.78 c 2896s| 31900 | 68 | 15162k| 456.8 | 160M | 67 |2993 |5379 |3166 |6592 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 6.55%
2893.95/2903.28 c 2903s| 32000 | 68 | 15203k| 456.6 | 160M | 67 |2993 |5358 |3165 |6600 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.56%
2902.12/2911.48 c 2911s| 32100 | 66 | 15248k| 456.6 | 160M | 67 |2993 |5377 |3167 |6606 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.57%
2911.59/2920.96 c 2921s| 32200 | 63 | 15300k| 456.8 | 160M | 67 |2993 |5355 |3172 |6626 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.61%
2920.68/2930.02 c 2930s| 32300 | 70 | 15349k| 456.9 | 160M | 67 |2993 |5327 |3166 |6636 | 2 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.62%
2928.75/2938.17 c 2938s| 32400 | 68 | 15392k| 456.8 | 160M | 67 |2993 |5329 |3171 |6655 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.62%
2937.62/2947.10 c 2947s| 32500 | 70 | 15441k| 456.9 | 160M | 67 |2993 |5322 |3173 |6672 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.62%
2946.09/2955.56 c 2956s| 32600 | 68 | 15486k| 456.9 | 160M | 67 |2993 |5316 |3169 |6682 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.63%
2956.16/2965.66 c 2966s| 32700 | 70 | 15540k| 457.1 | 160M | 67 |2993 |5308 |3171 |6688 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.63%
2965.04/2974.54 c 2975s| 32800 | 68 | 15588k| 457.2 | 160M | 67 |2993 |5308 |3166 |6703 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.64%
2972.41/2981.97 c 2982s| 32900 | 68 | 15628k| 457.0 | 160M | 67 |2993 |5348 |3167 |6719 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.64%
2980.99/2990.55 c 2991s| 33000 | 66 | 15673k| 457.0 | 160M | 67 |2993 |5317 |3165 |6732 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.65%
2988.58/2998.20 c 2998s| 33100 | 64 | 15714k| 456.9 | 160M | 67 |2993 |5302 |3163 |6739 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.65%
2997.24/3006.89 c 3007s| 33200 | 66 | 15760k| 456.9 | 160M | 67 |2993 |5287 |3166 |6755 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.65%
3003.72/3013.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3003.72/3013.39 c 3013s| 33300 | 66 | 15796k| 456.6 | 160M | 67 |2993 |5278 |3167 |6781 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.65%
3010.89/3020.59 c 3021s| 33400 | 65 | 15836k| 456.4 | 160M | 67 |2993 |5369 |3164 |6788 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.66%
3019.38/3029.10 c 3029s| 33500 | 67 | 15882k| 456.5 | 160M | 67 |2993 |5304 |3170 |6800 | 2 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.66%
3028.35/3038.02 c 3038s| 33600 | 71 | 15930k| 456.5 | 160M | 67 |2993 |5292 |3167 |6823 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.66%
3034.82/3044.59 c 3045s| 33700 | 67 | 15967k| 456.3 | 160M | 67 |2993 |5345 | 0 |6833 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.66%
3041.00/3050.78 c 3051s| 33800 | 67 | 16002k| 456.0 | 160M | 67 |2993 |5280 |3175 |6851 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.66%
3047.40/3057.12 c 3057s| 33900 | 66 | 16035k| 455.6 | 160M | 67 |2993 |5329 |3168 |6884 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 6.66%
3056.06/3065.86 c 3066s| 34000 | 70 | 16082k| 455.7 | 160M | 67 |2993 |5195 |3160 |6898 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.09%
3063.35/3073.14 c 3073s| 34100 | 68 | 16121k| 455.5 | 160M | 67 |2993 |5238 |3160 |6911 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.20%
3069.41/3079.24 c 3079s| 34200 | 67 | 16155k| 455.1 | 160M | 67 |2993 |5229 |3160 |6917 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 7.24%
3077.49/3087.36 c 3087s| 34300 | 69 | 16199k| 455.1 | 160M | 67 |2993 |5230 |3163 |6950 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.28%
3084.57/3094.46 c 3094s| 34400 | 71 | 16238k| 454.9 | 160M | 67 |2993 |5266 |3165 |6968 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.39%
3091.95/3101.82 c 3102s| 34500 | 68 | 16279k| 454.8 | 160M | 67 |2993 |5328 |3175 |6983 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.39%
3098.83/3108.75 c 3109s| 34600 | 68 | 16317k| 454.6 | 160M | 67 |2993 |5360 |3165 |6998 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.39%
3107.70/3117.69 c 3118s| 34700 | 71 | 16362k| 454.6 | 160M | 67 |2993 |5343 |3166 |7034 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.48%
3115.77/3125.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3115.77/3125.80 c 3126s| 34800 | 77 | 16406k| 454.5 | 161M | 67 |2993 |5229 |3168 |7060 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.54%
3125.54/3135.54 c 3136s| 34900 | 67 | 16459k| 454.7 | 161M | 67 |2993 |5217 |3168 |7063 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.58%
3131.92/3141.95 c 3142s| 35000 | 77 | 16495k| 454.5 | 161M | 67 |2993 |5258 |3172 |7097 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.65%
3138.21/3148.26 c 3148s| 35100 | 71 | 16522k| 454.0 | 161M | 67 |2993 |5254 |3169 |7106 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.68%
3143.49/3153.54 c 3154s| 35200 | 75 | 16553k| 453.6 | 161M | 67 |2993 |5270 |3173 |7116 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.70%
3149.98/3160.02 c 3160s| 35300 | 71 | 16590k| 453.3 | 161M | 67 |2993 |5291 |3171 |7142 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.71%
3156.75/3166.89 c 3167s| 35400 | 71 | 16628k| 453.1 | 161M | 67 |2993 |5274 |3173 |7186 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.73%
3162.94/3173.06 c 3173s| 35500 | 76 | 16663k| 452.9 | 161M | 67 |2993 |5314 |3175 |7194 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.74%
3170.11/3180.21 c 3180s| 35600 | 70 | 16703k| 452.7 | 161M | 67 |2993 |5334 |3175 |7203 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.75%
3177.08/3187.26 c 3187s| 35700 | 72 | 16742k| 452.5 | 161M | 67 |2993 |5358 |3178 |7219 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.75%
3185.26/3195.45 c 3195s| 35800 | 68 | 16787k| 452.5 | 161M | 67 |2993 |5369 |3180 |7234 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.76%
3192.85/3203.06 c 3203s| 35900 | 76 | 16828k| 452.4 | 162M | 67 |2993 |5374 |3182 |7237 | 2 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.79%
3198.83/3209.07 c 3209s| 36000 | 73 | 16861k| 452.1 | 162M | 67 |2993 |5422 |3174 |7240 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.79%
3205.30/3215.50 c 3215s| 36100 | 71 | 16897k| 451.8 | 162M | 67 |2993 |5447 | 0 |7244 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.79%
3214.17/3224.44 c 3224s| 36200 | 70 | 16946k| 451.9 | 162M | 67 |2993 |5479 |3173 |7247 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 7.79%
3220.96/3231.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3220.96/3231.28 c 3231s| 36300 | 74 | 16984k| 451.7 | 162M | 67 |2993 |5482 |3173 |7248 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.79%
3228.03/3238.38 c 3238s| 36400 | 70 | 17024k| 451.6 | 162M | 67 |2993 |5489 |3174 |7248 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.79%
3233.73/3244.10 c 3244s| 36500 | 70 | 17055k| 451.2 | 162M | 67 |2993 |5525 |3175 |7254 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.79%
3242.39/3252.75 c 3253s| 36600 | 72 | 17103k| 451.3 | 162M | 67 |2993 |5544 |3173 |7276 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.79%
3250.26/3260.69 c 3261s| 36700 | 72 | 17147k| 451.3 | 162M | 67 |2993 |5549 |3178 |7285 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.80%
3258.84/3269.21 c 3269s| 36800 | 72 | 17193k| 451.3 | 162M | 67 |2993 |5583 |3174 |7293 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.80%
3264.12/3274.55 c 3275s| 36900 | 74 | 17222k| 450.9 | 162M | 67 |2993 |5598 |3175 |7303 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.80%
3272.09/3282.54 c 3283s| 37000 | 72 | 17266k| 450.8 | 162M | 67 |2993 |5619 |3181 |7317 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.80%
3281.87/3292.31 c 3292s| 37100 | 70 | 17318k| 451.0 | 162M | 67 |2993 |5638 |3178 |7331 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.80%
3291.24/3301.75 c 3302s| 37200 | 70 | 17370k| 451.2 | 162M | 67 |2993 |5605 |3174 |7343 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.80%
3296.63/3307.13 c 3307s| 37300 | 74 | 17399k| 450.8 | 162M | 67 |2993 |5620 |3175 |7351 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.80%
3304.79/3315.37 c 3315s| 37400 | 72 | 17444k| 450.8 | 162M | 67 |2993 |5622 |3175 |7365 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.80%
3310.49/3321.02 c 3321s| 37500 | 70 | 17476k| 450.4 | 163M | 67 |2993 |5641 |3176 |7403 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.81%
3316.47/3327.09 c 3327s| 37600 | 69 | 17509k| 450.1 | 163M | 67 |2993 |5663 |3175 |7411 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.81%
3323.45/3334.05 c 3334s| 37700 | 71 | 17547k| 450.0 | 163M | 67 |2993 |5680 |3176 |7423 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.81%
3331.31/3341.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3331.31/3341.92 c 3342s| 37800 | 73 | 17591k| 449.9 | 164M | 67 |2993 |5683 |3175 |7438 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.81%
3337.59/3348.20 c 3348s| 37900 | 69 | 17626k| 449.7 | 164M | 67 |2993 |5694 |3178 |7451 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.81%
3344.97/3355.69 c 3356s| 38000 | 69 | 17667k| 449.6 | 164M | 67 |2993 |5703 |3180 |7462 | 2 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.81%
3353.35/3364.07 c 3364s| 38100 | 71 | 17713k| 449.6 | 165M | 67 |2993 |5705 |3178 |7470 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.81%
3361.62/3372.32 c 3372s| 38200 | 69 | 17758k| 449.6 | 165M | 67 |2993 |5713 |3176 |7481 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.81%
3372.49/3383.25 c 3383s| 38300 | 71 | 17816k| 449.9 | 165M | 67 |2993 |5715 |3178 |7511 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.81%
3381.96/3392.71 c 3393s| 38400 | 69 | 17868k| 450.1 | 165M | 67 |2993 |5542 |3173 |7521 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.83%
3390.34/3401.13 c 3401s| 38500 | 69 | 17912k| 450.1 | 165M | 67 |2993 |5498 |3175 |7533 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.83%
3400.40/3411.20 c 3411s| 38600 | 67 | 17966k| 450.3 | 165M | 67 |2993 |5489 |3176 |7540 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.83%
3409.07/3419.96 c 3420s| 38700 | 67 | 18013k| 450.4 | 165M | 67 |2993 |5514 |3178 |7549 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.83%
3419.34/3430.28 c 3430s| 38800 | 67 | 18067k| 450.6 | 165M | 67 |2993 |5529 |3180 |7581 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.83%
3430.31/3441.22 c 3441s| 38900 | 67 | 18125k| 450.9 | 166M | 67 |2993 |5551 |3183 |7617 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.83%
3443.37/3454.32 c 3454s| 39000 | 67 | 18194k| 451.5 | 167M | 67 |2993 |5502 |3189 |7670 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.88%
3452.84/3463.82 c 3464s| 39100 | 69 | 18245k| 451.6 | 167M | 67 |2993 |5467 |3167 |7678 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.93%
3461.71/3472.77 c 3473s| 39200 | 72 | 18293k| 451.7 | 167M | 67 |2993 |5225 |3166 |7714 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.94%
3470.38/3481.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3470.38/3481.41 c 3481s| 39300 | 72 | 18340k| 451.8 | 167M | 67 |2993 |5168 |3166 |7727 | 2 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.97%
3480.45/3491.59 c 3492s| 39400 | 70 | 18395k| 452.0 | 167M | 67 |2993 |5123 |3179 |7745 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.98%
3489.12/3500.24 c 3500s| 39500 | 70 | 18442k| 452.1 | 167M | 67 |2993 |5088 |3174 |7759 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.99%
3497.59/3508.75 c 3509s| 39600 | 72 | 18488k| 452.1 | 167M | 67 |2993 |5086 |3167 |7769 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 7.99%
3504.88/3516.04 c 3516s| 39700 | 74 | 18529k| 452.0 | 167M | 67 |2993 |5074 |3165 |7769 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 8.00%
3512.45/3523.67 c 3524s| 39800 | 70 | 18571k| 451.9 | 167M | 67 |2993 |5058 |3180 |7783 | 2 | 17k| 22 | 0.000000e+00 | -- | Inf | 8.00%
3520.52/3531.74 c 3532s| 39900 | 70 | 18615k| 451.9 | 167M | 67 |2993 |5039 |3175 |7815 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 8.01%
3529.81/3541.03 c 3541s| 40000 | 68 | 18665k| 452.0 | 167M | 67 |2993 |5039 |3180 |7866 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 8.01%
3539.06/3550.37 c 3550s| 40100 | 70 | 18715k| 452.1 | 167M | 67 |2993 |5043 |3183 |7883 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 8.01%
3548.43/3559.70 c 3560s| 40200 | 68 | 18765k| 452.2 | 167M | 67 |2993 |5028 |3185 |7925 | 2 | 18k| 22 | 0.000000e+00 | -- | Inf | 8.01%
3556.91/3568.29 c 3568s| 40300 | 68 | 18812k| 452.2 | 167M | 67 |2993 |5020 |3181 |7935 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 8.02%
3566.19/3577.58 c 3578s| 40400 | 66 | 18861k| 452.3 | 168M | 67 |2993 |5015 |3192 |7972 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 8.02%
3578.25/3589.60 c 3590s| 40500 | 65 | 18922k| 452.7 | 168M | 67 |2993 |5019 |3167 |8012 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 8.45%
3585.53/3597.00 c
3585.53/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.53/3597.00 c Solving Time (sec) : 3597.00
3585.53/3597.00 c Solving Nodes : 40556 (total of 41601 nodes in 2 runs)
3585.53/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.53/3597.00 c Dual Bound : +0.00000000000000e+00
3585.53/3597.00 c Gap : infinite
3585.53/3597.00 s UNKNOWN
3585.53/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.53/3597.00 c Total Time : 3597.00
3585.53/3597.00 c solving : 3597.00
3585.53/3597.00 c presolving : 4.27 (included in solving)
3585.53/3597.00 c reading : 0.03 (included in solving)
3585.53/3597.00 c copying : 0.86 (110 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3585.53/3597.00 c Original Problem :
3585.53/3597.00 c Problem name : HOME/instance-4507707-1751193166.opb
3585.53/3597.00 c Variables : 3795 (3795 binary, 0 integer, 0 continuous)
3585.53/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.53/3597.00 c Constraints : 3935 initial, 3935 maximal
3585.53/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.53/3597.00 c Presolved Problem :
3585.53/3597.00 c Problem name : t_HOME/instance-4507707-1751193166.opb
3585.53/3597.00 c Variables : 2993 (2993 binary, 0 integer, 0 continuous)
3585.53/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.53/3597.00 c Constraints : 3625 initial, 5739 maximal
3585.53/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.53/3597.00 c Nonzeros : 40646 constraint, 47897 clique table
3585.53/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.53/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c domcol : 0.04 0.00 8 0 0 0 0 0 0 0 0 3
3585.53/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c gateextraction : 0.02 0.00 15 0 0 0 0 0 5 1 0 0
3585.53/3597.00 c implics : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c milp : 0.56 0.00 1 175 5 0 0 0 0 0 0 0
3585.53/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c sparsify : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c trivial : 0.00 0.00 35 290 0 0 0 0 0 0 0 0
3585.53/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c dualfix : 0.00 0.00 35 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c probing : 3.20 0.00 7 139 2 0 0 0 0 0 0 0
3585.53/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c knapsack : 0.01 0.00 11 0 0 0 0 0 0 6 13 58
3585.53/3597.00 c setppc : 0.03 0.00 54 0 0 0 0 0 51 0 0 0
3585.53/3597.00 c and : 0.00 0.00 2 0 0 0 0 0 1 1 0 0
3585.53/3597.00 c linear : 0.06 0.01 25 190 1 0 190 0 663 0 4 0
3585.53/3597.00 c logicor : 0.23 0.01 50 27 0 0 0 0 163 0 0 1251
3585.53/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.53/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.53/3597.00 c integral : 0 0 0 0 20935 0 0 3282 0 0 0 0 0 0 41870
3585.53/3597.00 c knapsack : 28+ 29 11 266823 0 0 0 0 341885 12 87974 0 0 0 0
3585.53/3597.00 c setppc : 778+ 1181 22 334494 0 0 0 3277 3871989 679 1114664 1 1 0 0
3585.53/3597.00 c linear : 2+ 17 11 242855 0 0 0 3 5402 195 10082 3 3 0 0
3585.53/3597.00 c logicor : 2817+ 4543 22 276489 0 0 0 0 8376465 1668 2100274 27 17 0 0
3585.53/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.53/3597.00 c integral : 8.17 0.00 0.00 0.00 8.17 0.00 0.00 0.00 0.00 0.00
3585.53/3597.00 c knapsack : 1.32 0.00 0.05 1.19 0.00 0.00 0.00 0.00 0.08 0.00
3585.53/3597.00 c setppc : 3.55 0.00 0.00 2.57 0.00 0.00 0.00 0.03 0.95 0.00
3585.53/3597.00 c linear : 0.18 0.01 0.00 0.16 0.00 0.00 0.00 0.00 0.02 0.00
3585.53/3597.00 c logicor : 9.28 0.01 0.01 6.16 0.00 0.00 0.00 0.00 3.09 0.01
3585.53/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.53/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.53/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.53/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.53/3597.00 c dualfix : 2 0 0 0
3585.53/3597.00 c genvbounds : 0 0 0 0
3585.53/3597.00 c nlobbt : 0 0 0 0
3585.53/3597.00 c obbt : 0 0 0 0
3585.53/3597.00 c probing : 0 0 0 0
3585.53/3597.00 c pseudoobj : 0 0 0 0
3585.53/3597.00 c redcost : 0 0 0 0
3585.53/3597.00 c rootredcost : 0 0 0 0
3585.53/3597.00 c symmetry : 7042 0 0 5
3585.53/3597.00 c vbounds : 203527 0 0 0
3585.53/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.53/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.53/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.53/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.53/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.53/3597.00 c probing : 3.20 0.00 3.20 0.00 0.00 0.00
3585.53/3597.00 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
3585.53/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3585.53/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3585.53/3597.00 c symmetry : 0.07 0.00 0.01 0.06 0.00 0.00
3585.53/3597.00 c vbounds : 2.19 0.00 0.01 2.18 0.00 0.00
3585.53/3597.00 c Symmetry :
3585.53/3597.00 c #affected vars : 530 (530 bin, 0 int, 0 cont)
3585.53/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.53/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.53/3597.00 c lexicographic red: 5 reductions applied, 0 cutoffs
3585.53/3597.00 c shadow tree time : 0.06 s
3585.53/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.53/3597.00 c propagation : 0.96 2360 2220 - 15007 165.3 465 43.4 - - -
3585.53/3597.00 c infeasible LP : 26.64 18616 6367 - 113894 670.0 82 12.9 129 276.8 0
3585.53/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.53/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.53/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.53/3597.00 c applied globally : 1.13 - - 0 17772 136.9 - - 98 - -
3585.53/3597.00 c applied locally : - - - 0 157 766.2 - - 31 - -
3585.53/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.53/3597.00 c cut pool : 0.36 - 4375 42 - - 4321 34621 - - - - - (maximal pool size: 543)
3585.53/3597.00 c aggregation : 0.25 0.00 453 22 0 0 2 0 2 1 0 1 0
3585.53/3597.00 c > cmir : - - - - - - - 0 1 0 0 0 -
3585.53/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.53/3597.00 c > knapsackcover : - - - - - - - 0 1 1 0 1 -
3585.53/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c clique : 0.29 0.00 22 22 0 0 135 676 0 280 280 0 0
3585.53/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c gomory : 13.69 0.00 451 20 0 0 5417 28615 1893 4323 4216 107 0
3585.53/3597.00 c > gomorymi : - - - - - - - 12554 959 2283 2212 71 -
3585.53/3597.00 c > strongcg : - - - - - - - 16061 934 2040 2004 36 -
3585.53/3597.00 c impliedbounds : 0.39 0.00 453 22 0 0 372 1408 0 780 780 0 0
3585.53/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c multilinear : 0.00 0.00 780 22 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c rapidlearning : 11.16 0.00 100 2 0 13421 0 0 0 0 0 0 490
3585.53/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3585.53/3597.00 c zerohalf : 6.22 0.00 453 22 0 0 1223 3922 933 3312 2501 811 0
3585.53/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.53/3597.00 c hybrid : 0.04 0.00 2953 22 8694 32 28435 255 0 199
3585.53/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.53/3597.00 c problem variables: 0.00 - 0 0
3585.53/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.53/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c relpscost : 8.15 0.00 20935 0 0 0 0 0 0 41870
3585.53/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.53/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.53/3597.00 c LP solutions : 0.00 - - 0 0
3585.53/3597.00 c relax solutions : 0.00 - - 0 0
3585.53/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.53/3597.00 c strong branching : 0.00 - - 0 0
3585.53/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.53/3597.00 c adaptivediving : 12.39 0.00 16 0 0
3585.53/3597.00 c alns : 2.84 0.00 8 0 0
3585.53/3597.00 c bound : 0.00 0.00 0 0 0
3585.53/3597.00 c clique : 0.01 0.00 1 0 0
3585.53/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.53/3597.00 c completesol : 0.00 0.00 0 0 0
3585.53/3597.00 c conflictdiving : 17.10 0.00 8 0 0
3585.53/3597.00 c crossover : 0.01 0.00 0 0 0
3585.53/3597.00 c dins : 0.00 0.00 0 0 0
3585.53/3597.00 c distributiondivin: 7.64 0.00 8 0 0
3585.53/3597.00 c dks : 0.00 0.00 0 0 0
3585.53/3597.00 c dps : 0.00 0.00 0 0 0
3585.53/3597.00 c dualval : 0.00 0.00 0 0 0
3585.53/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3585.53/3597.00 c feaspump : 7.99 0.00 4 0 0
3585.53/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.53/3597.00 c fracdiving : 8.04 0.00 8 0 0
3585.53/3597.00 c gins : 0.01 0.00 0 0 0
3585.53/3597.00 c guideddiving : 0.00 0.00 0 0 0
3585.53/3597.00 c indicator : 0.00 0.00 0 0 0
3585.53/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.53/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.53/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.53/3597.00 c linesearchdiving : 10.35 0.00 8 0 0
3585.53/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.53/3597.00 c locks : 0.00 0.00 1 0 0
3585.53/3597.00 c lpface : 0.08 0.00 0 0 0
3585.53/3597.00 c mpec : 0.00 0.00 0 0 0
3585.53/3597.00 c multistart : 0.00 0.00 0 0 0
3585.53/3597.00 c mutation : 0.00 0.00 0 0 0
3585.53/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.53/3597.00 c objpscostdiving : 125.63 0.00 4 0 0
3585.53/3597.00 c octane : 0.00 0.00 0 0 0
3585.53/3597.00 c ofins : 0.00 0.00 0 0 0
3585.53/3597.00 c oneopt : 0.01 0.00 0 0 0
3585.53/3597.00 c padm : 0.00 0.00 0 0 0
3585.53/3597.00 c proximity : 0.00 0.00 0 0 0
3585.53/3597.00 c pscostdiving : 9.40 0.00 8 0 0
3585.53/3597.00 c randrounding : 0.47 0.00 3292 0 0
3585.53/3597.00 c rens : 0.10 0.00 2 0 0
3585.53/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.53/3597.00 c repair : 0.00 0.00 0 0 0
3585.53/3597.00 c rins : 0.01 0.00 0 0 0
3585.53/3597.00 c rootsoldiving : 9.35 0.00 5 0 0
3585.53/3597.00 c rounding : 0.21 0.00 2111 0 0
3585.53/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.53/3597.00 c shiftandpropagate: 0.05 0.00 2 0 0
3585.53/3597.00 c shifting : 0.56 0.00 900 0 0
3585.53/3597.00 c simplerounding : 0.01 0.00 0 0 0
3585.53/3597.00 c subnlp : 0.00 0.00 0 0 0
3585.53/3597.00 c trivial : 0.01 0.00 4 0 0
3585.53/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.53/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.53/3597.00 c trysol : 0.01 0.00 0 0 0
3585.53/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.53/3597.00 c undercover : 0.00 0.00 0 0 0
3585.53/3597.00 c vbounds : 0.02 0.00 2 0 0
3585.53/3597.00 c veclendiving : 11.12 0.00 8 0 0
3585.53/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.53/3597.00 c zirounding : 0.05 0.00 1000 0 0
3585.53/3597.00 c other solutions : - - - 0 -
3585.53/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.53/3597.00 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
3585.53/3597.00 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
3585.53/3597.00 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
3585.53/3597.00 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
3585.53/3597.00 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
3585.53/3597.00 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
3585.53/3597.00 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
3585.53/3597.00 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
3585.53/3597.00 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
3585.53/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.53/3597.00 c primal LP : 1.76 1088 0 0.00 0.00 1.76 1088
3585.53/3597.00 c dual LP : 3260.18 42518 18240813 429.28 5595.04 0.02 26
3585.53/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.53/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.53/3597.00 c resolve instable : 0.76 11 1475 134.09 1929.77
3585.53/3597.00 c diving/probing LP: 216.44 1490 721636 484.32 3334.06
3585.53/3597.00 c strong branching : 4.86 22 15620 710.00 3212.78 - - 26
3585.53/3597.00 c (at root node) : - 22 15620 710.00 -
3585.53/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3585.53/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.53/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3585.53/3597.00 c B&B Tree :
3585.53/3597.00 c number of runs : 2
3585.53/3597.00 c nodes : 40556 (20380 internal, 20176 leaves)
3585.53/3597.00 c feasible leaves : 0
3585.53/3597.00 c infeas. leaves : 20175
3585.53/3597.00 c objective leaves : 0
3585.53/3597.00 c nodes (total) : 41601 (20935 internal, 20666 leaves)
3585.53/3597.00 c nodes left : 65
3585.53/3597.00 c max depth : 67
3585.53/3597.00 c max depth (total): 67
3585.53/3597.00 c backtracks : 4466 (11.0%)
3585.53/3597.00 c early backtracks : 0 (0.0%)
3585.53/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.53/3597.00 c delayed cutoffs : 141
3585.53/3597.00 c repropagations : 24864 (102282 domain reductions, 109 cutoffs)
3585.53/3597.00 c avg switch length: 3.37
3585.53/3597.00 c switching time : 8.95
3585.53/3597.00 c Root Node :
3585.53/3597.00 c First LP value : +0.00000000000000e+00
3585.53/3597.00 c First LP Iters : 10398 (5419.49 Iter/sec)
3585.53/3597.00 c First LP Time : 1.92
3585.53/3597.00 c Final Dual Bound : +0.00000000000000e+00
3585.53/3597.00 c Final Root Iters : 114508
3585.53/3597.00 c Root LP Estimate : +2.60483364199885e-02
3585.53/3597.00 c Solution :
3585.53/3597.00 c Solutions found : 0 (0 improvements)
3585.53/3597.00 c Primal Bound : -
3585.53/3597.00 c Dual Bound : +0.00000000000000e+00
3585.53/3597.00 c Gap : infinite
3585.53/3597.00 c Integrals : Total Avg%
3585.53/3597.00 c primal-dual : 359699.56 100.00
3585.53/3597.00 c primal-ref : - - (not evaluated)
3585.53/3597.00 c dual-ref : - - (not evaluated)
3585.64/3597.03 c Time complete (sec): 3585.670