0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4507670-1751190828.opb>
0.00/0.02 c original problem has 3905 variables (3905 bin, 0 int, 0 impl, 0 cont) and 4049 constraints
0.00/0.02 c problem read in 0.01
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.03 c presolving:
0.00/0.03 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, 738 clqs
0.00/0.04 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, 725 clqs
0.00/0.04 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, 722 clqs
0.00/0.04 c (round 4, fast) 644 del vars, 346 del conss, 0 add conss, 154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 733 clqs
0.00/0.04 c (round 5, fast) 701 del vars, 391 del conss, 0 add conss, 176 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 755 clqs
0.00/0.04 c (round 6, fast) 723 del vars, 410 del conss, 0 add conss, 183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 773 clqs
0.00/0.04 c (round 7, fast) 727 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 782 clqs
0.00/0.05 c (0.0s) running MILP presolver
0.09/0.13 c (0.1s) MILP presolver (10 rounds): 3 aggregations, 118 fixings, 0 bound changes
0.09/0.13 c (round 8, medium) 848 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 677 clqs
0.09/0.13 c (round 9, fast) 848 del vars, 535 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 681 clqs
0.09/0.13 c (round 10, exhaustive) 848 del vars, 602 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 681 clqs
0.09/0.15 c (round 11, exhaustive) 848 del vars, 602 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 3447 upgd conss, 0 impls, 681 clqs
0.09/0.16 c (round 12, exhaustive) 886 del vars, 603 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 40 chg coeffs, 3447 upgd conss, 0 impls, 677 clqs
0.09/0.16 c (round 13, fast) 924 del vars, 640 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 40 chg coeffs, 3447 upgd conss, 0 impls, 678 clqs
0.50/0.52 c (round 14, exhaustive) 949 del vars, 641 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 40 chg coeffs, 3447 upgd conss, 0 impls, 22679 clqs
0.50/0.52 c (round 15, fast) 949 del vars, 666 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 80 chg coeffs, 3447 upgd conss, 0 impls, 22688 clqs
0.50/0.55 c (round 16, exhaustive) 974 del vars, 666 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 81 chg coeffs, 3447 upgd conss, 0 impls, 22730 clqs
0.50/0.55 c (round 17, fast) 974 del vars, 691 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 127 chg coeffs, 3447 upgd conss, 0 impls, 22739 clqs
0.59/0.63 c (round 18, exhaustive) 999 del vars, 691 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 127 chg coeffs, 3447 upgd conss, 0 impls, 22701 clqs
0.59/0.63 c (round 19, fast) 999 del vars, 716 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 152 chg coeffs, 3447 upgd conss, 0 impls, 22701 clqs
0.59/0.67 c (round 20, exhaustive) 1025 del vars, 716 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 152 chg coeffs, 3447 upgd conss, 0 impls, 22743 clqs
0.59/0.67 c (round 21, fast) 1026 del vars, 742 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 187 chg coeffs, 3447 upgd conss, 0 impls, 22744 clqs
0.78/0.89 c (0.9s) probing: 1000/3290 (30.4%) - 110 fixings, 3 aggregations, 354199 implications, 0 bound changes
0.99/1.07 c (round 22, exhaustive) 1051 del vars, 742 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 187 chg coeffs, 3447 upgd conss, 0 impls, 22770 clqs
0.99/1.07 c (round 23, fast) 1051 del vars, 767 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 230 chg coeffs, 3447 upgd conss, 0 impls, 22780 clqs
0.99/1.09 c (round 24, exhaustive) 1076 del vars, 767 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 230 chg coeffs, 3447 upgd conss, 0 impls, 22774 clqs
0.99/1.09 c (round 25, fast) 1076 del vars, 792 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 269 chg coeffs, 3447 upgd conss, 0 impls, 22777 clqs
1.38/1.46 c (1.5s) probing: 2000/3290 (60.8%) - 167 fixings, 3 aggregations, 671192 implications, 0 bound changes
1.68/1.76 c (round 26, exhaustive) 1101 del vars, 792 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 269 chg coeffs, 3447 upgd conss, 0 impls, 22804 clqs
1.68/1.76 c (round 27, fast) 1101 del vars, 817 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 313 chg coeffs, 3447 upgd conss, 0 impls, 22807 clqs
1.99/2.02 c (2.0s) probing: 3000/3290 (91.2%) - 183 fixings, 3 aggregations, 989180 implications, 0 bound changes
2.09/2.16 c (2.2s) probing cycle finished: starting next cycle
2.28/2.33 c (2.3s) probing: 266/3103 (8.6%) - 183 fixings, 3 aggregations, 1168089 implications, 0 bound changes
2.28/2.33 c (2.3s) probing aborted: 1000/1000 successive useless probings
2.28/2.33 c (round 28, exhaustive) 1114 del vars, 817 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 318 chg coeffs, 3447 upgd conss, 0 impls, 22822 clqs
2.28/2.33 c (round 29, fast) 1114 del vars, 828 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 327 chg coeffs, 3447 upgd conss, 0 impls, 22822 clqs
2.38/2.42 c (2.4s) probing: 366/3103 (11.8%) - 183 fixings, 3 aggregations, 1195587 implications, 0 bound changes
2.38/2.42 c (2.4s) probing aborted: 1000/1000 successive useless probings
2.38/2.43 c (2.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.38/2.44 c (2.4s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
2.38/2.44 c dynamic symmetry handling statistics:
2.38/2.44 c orbitopal reduction: no components
2.38/2.44 c orbital reduction: no components
2.38/2.44 c lexicographic reduction: 3 permutations with support sizes 312, 122, 116
2.38/2.44 c handled 3 out of 3 symmetry components
2.38/2.44 c presolving (30 rounds: 30 fast, 13 medium, 12 exhaustive):
2.38/2.44 c 1114 deleted vars, 828 deleted constraints, 0 added constraints, 184 tightened bounds, 0 added holes, 0 changed sides, 327 changed coefficients
2.38/2.44 c 0 implications, 22830 cliques
2.38/2.44 c presolved problem has 3103 variables (3103 bin, 0 int, 0 impl, 0 cont) and 3221 constraints
2.38/2.45 c 659 constraints of type <setppc>
2.38/2.45 c 2562 constraints of type <logicor>
2.38/2.45 c transformed objective value is always integral (scale: 1)
2.38/2.45 c Presolving Time: 2.42
2.38/2.45 c - non default parameters ----------------------------------------------------------------------
2.38/2.45 c # SCIP version 10.0.0
2.38/2.45 c
2.38/2.45 c # maximal time in seconds to run
2.38/2.45 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.38/2.45 c limits/time = 3596.997011
2.38/2.45 c
2.38/2.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.38/2.45 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.38/2.45 c limits/memory = 27900
2.38/2.45 c
2.38/2.45 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.38/2.45 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.38/2.45 c limits/solutions = 1
2.38/2.45 c
2.38/2.45 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
2.38/2.45 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.38/2.45 c misc/usesymmetry = 3
2.38/2.45 c
2.38/2.45 c # belongs reading time to solving time?
2.38/2.45 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.38/2.45 c timing/reading = TRUE
2.38/2.45 c
2.38/2.45 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.38/2.45 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.38/2.45 c propagating/symmetry/detectdoublelex = FALSE
2.38/2.45 c
2.38/2.45 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.38/2.45 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.38/2.45 c propagating/symmetry/detectsubgroups = FALSE
2.38/2.45 c
2.38/2.45 c # Type of symmetries that shall be computed?
2.38/2.45 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.38/2.45 c propagating/symmetry/symtype = 1
2.38/2.45 c
2.38/2.45 c # Should components consisting of a single full reflection be handled?
2.38/2.45 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.38/2.45 c propagating/symmetry/usesimplesgncomp = FALSE
2.38/2.45 c
2.38/2.45 c -----------------------------------------------------------------------------------------------
2.38/2.45 c start solving
2.38/2.45 c
3.78/3.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.78/3.83 c 3.8s| 1 | 0 | 7283 | - | 52M | 0 |3103 |3393 |3221 | 0 | 0 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
15.14/15.20 c 15.2s| 1 | 0 | 44447 | - | 57M | 0 |3103 |3596 |3233 | 12 | 1 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
15.54/15.67 c 15.7s| 1 | 0 | 45468 | - | 58M | 0 |3103 |3595 |3243 | 22 | 2 | 181 | 0 | 0.000000e+00 | -- | Inf | unknown
16.24/16.34 c 16.3s| 1 | 0 | 47300 | - | 59M | 0 |3103 |3601 |3251 | 30 | 3 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
16.94/17.08 c 17.1s| 1 | 0 | 49246 | - | 61M | 0 |3103 |3598 |3260 | 39 | 4 | 188 | 0 | 0.000000e+00 | -- | Inf | unknown
17.53/17.68 c 17.7s| 1 | 0 | 50602 | - | 61M | 0 |3103 |3603 |3267 | 46 | 5 | 193 | 0 | 0.000000e+00 | -- | Inf | unknown
18.33/18.42 c 18.4s| 1 | 0 | 52286 | - | 63M | 0 |3103 |3608 |3276 | 55 | 6 | 198 | 0 | 0.000000e+00 | -- | Inf | unknown
19.23/19.31 c 19.3s| 1 | 0 | 54656 | - | 64M | 0 |3103 |3610 |3282 | 61 | 7 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
20.13/20.28 c 20.3s| 1 | 0 | 57216 | - | 64M | 0 |3103 |3611 |3291 | 70 | 8 | 201 | 0 | 0.000000e+00 | -- | Inf | unknown
21.42/21.55 c 21.5s| 1 | 0 | 60641 | - | 66M | 0 |3103 |3616 |3303 | 82 | 9 | 211 | 0 | 0.000000e+00 | -- | Inf | unknown
24.71/24.83 c 24.8s| 1 | 0 | 71176 | - | 66M | 0 |3103 |3615 |3316 | 95 | 10 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
26.11/26.25 c 26.2s| 1 | 0 | 75561 | - | 66M | 0 |3103 |3615 |3326 | 105 | 11 | 213 | 0 | 0.000000e+00 | -- | Inf | unknown
41.27/41.42 c 41.4s| 1 | 2 |128273 | - | 66M | 0 |3103 |3515 |3326 | 105 | 11 | 218 | 11 | 0.000000e+00 | -- | Inf | unknown
71.29/71.57 c 71.6s| 100 | 33 |240723 |1668.3 | 72M | 20 |3103 |3559 |3283 | 116 | 1 | 274 | 11 | 0.000000e+00 | -- | Inf | unknown
91.84/92.11 c 92.1s| 200 | 30 |335862 |1308.0 | 76M | 20 |3103 |3572 |3283 | 119 | 1 | 313 | 11 | 0.000000e+00 | -- | Inf | unknown
116.46/116.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
116.46/116.82 c 117s| 300 | 32 |447196 |1242.9 | 80M | 20 |3103 |3603 |3280 | 128 | 1 | 359 | 11 | 0.000000e+00 | -- | Inf | 3.20%
128.13/128.56 c 129s| 400 | 33 |502459 |1069.9 | 85M | 45 |3103 |3656 |3283 | 137 | 0 | 431 | 11 | 0.000000e+00 | -- | Inf | 3.20%
134.91/135.38 c 135s| 500 | 32 |538195 | 927.1 | 87M | 45 |3103 |3728 |3284 | 141 | 1 | 544 | 11 | 0.000000e+00 | -- | Inf | 3.20%
150.68/151.11 c 151s| 600 | 30 |614546 | 899.8 | 89M | 45 |3103 |3706 |3283 | 157 | 1 | 597 | 11 | 0.000000e+00 | -- | Inf | 3.23%
165.23/165.71 c 166s| 700 | 26 |682868 | 868.8 | 89M | 45 |3103 |3719 |3283 | 179 | 0 | 626 | 11 | 0.000000e+00 | -- | Inf | 3.24%
182.18/182.79 c 183s| 800 | 26 |763219 | 860.6 | 90M | 45 |3103 |3689 |3283 | 196 | 0 | 664 | 11 | 0.000000e+00 | -- | Inf | 6.43%
194.05/194.65 c 195s| 900 | 29 |824366 | 832.9 | 90M | 45 |3103 |3711 |3284 | 206 | 1 | 702 | 11 | 0.000000e+00 | -- | Inf | 6.43%
201.73/202.35 c 202s| 1000 | 29 |864250 | 789.5 | 93M | 45 |3103 |3727 |3287 | 225 | 1 | 746 | 11 | 0.000000e+00 | -- | Inf | 6.43%
211.91/212.58 c 213s| 1100 | 25 |916582 | 765.3 | 95M | 46 |3103 |3742 |3291 | 260 | 0 | 776 | 11 | 0.000000e+00 | -- | Inf | 6.43%
221.58/222.27 c 222s| 1200 | 25 |968858 | 745.0 | 96M | 57 |3103 |3731 |3288 | 281 | 1 | 795 | 11 | 0.000000e+00 | -- | Inf | 6.44%
234.24/234.94 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
234.24/234.94 c (run 1, node 1274) performing user restart
234.24/234.94 c
234.24/234.94 c (restart) converted 49 cuts from the global cut pool into linear constraints
234.24/234.94 c
234.24/234.95 c presolving:
234.24/234.96 c (round 1, fast) 0 del vars, 22 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 22830 clqs
234.24/234.97 c (round 2, exhaustive) 0 del vars, 26 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 22830 clqs
234.24/234.97 c (round 3, exhaustive) 0 del vars, 33 del conss, 2 add conss, 0 chg bounds, 7 chg sides, 4 chg coeffs, 0 upgd conss, 0 impls, 22830 clqs
234.24/234.98 c (round 4, exhaustive) 0 del vars, 33 del conss, 2 add conss, 0 chg bounds, 7 chg sides, 4 chg coeffs, 243 upgd conss, 0 impls, 22830 clqs
234.24/234.98 c (round 5, medium) 0 del vars, 34 del conss, 4 add conss, 0 chg bounds, 16 chg sides, 16 chg coeffs, 243 upgd conss, 0 impls, 22830 clqs
234.24/234.99 c (round 6, exhaustive) 0 del vars, 43 del conss, 4 add conss, 0 chg bounds, 16 chg sides, 35 chg coeffs, 243 upgd conss, 0 impls, 22830 clqs
234.35/235.07 c (round 7, exhaustive) 0 del vars, 51 del conss, 4 add conss, 0 chg bounds, 16 chg sides, 2238 chg coeffs, 243 upgd conss, 0 impls, 22830 clqs
234.45/235.15 c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
234.45/235.15 c 0 deleted vars, 51 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 16 changed sides, 2282 changed coefficients
234.45/235.15 c 0 implications, 22830 cliques
234.45/235.15 c presolved problem has 3103 variables (3103 bin, 0 int, 0 impl, 0 cont) and 3726 constraints
234.45/235.15 c 31 constraints of type <knapsack>
234.45/235.15 c 757 constraints of type <setppc>
234.45/235.15 c 3 constraints of type <linear>
234.45/235.15 c 2935 constraints of type <logicor>
234.45/235.15 c transformed objective value is always integral (scale: 1)
234.45/235.15 c Presolving Time: 2.62
234.45/235.15 c
236.64/237.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
236.64/237.38 c 237s| 1 | 0 | 1043k| - | 101M | 0 |3103 |3728 |3261 | 0 | 0 | 816 | 11 | 0.000000e+00 | -- | Inf | unknown
237.63/238.38 c 238s| 1 | 0 | 1046k| - | 102M | 0 |3103 |3724 |3269 | 8 | 1 | 820 | 11 | 0.000000e+00 | -- | Inf | unknown
238.33/239.09 c 239s| 1 | 0 | 1048k| - | 103M | 0 |3103 |3731 |3279 | 18 | 2 | 829 | 11 | 0.000000e+00 | -- | Inf | unknown
239.12/239.82 c 240s| 1 | 0 | 1050k| - | 103M | 0 |3103 |3731 |3288 | 27 | 3 | 831 | 11 | 0.000000e+00 | -- | Inf | unknown
239.92/240.67 c 241s| 1 | 0 | 1052k| - | 104M | 0 |3103 |3731 |3297 | 36 | 4 | 840 | 11 | 0.000000e+00 | -- | Inf | unknown
240.62/241.33 c 241s| 1 | 0 | 1053k| - | 104M | 0 |3103 |3718 |3303 | 42 | 5 | 842 | 11 | 0.000000e+00 | -- | Inf | unknown
241.32/242.01 c 242s| 1 | 0 | 1055k| - | 104M | 0 |3103 |3716 |3311 | 50 | 6 | 845 | 11 | 0.000000e+00 | -- | Inf | unknown
242.02/242.78 c 243s| 1 | 0 | 1057k| - | 105M | 0 |3103 |3712 |3319 | 58 | 7 | 849 | 11 | 0.000000e+00 | -- | Inf | unknown
243.21/243.95 c 244s| 1 | 0 | 1060k| - | 105M | 0 |3103 |3711 |3329 | 68 | 8 | 853 | 11 | 0.000000e+00 | -- | Inf | unknown
244.01/244.78 c 245s| 1 | 0 | 1063k| - | 105M | 0 |3103 |3698 |3340 | 79 | 9 | 857 | 11 | 0.000000e+00 | -- | Inf | unknown
245.21/245.97 c 246s| 1 | 0 | 1066k| - | 106M | 0 |3103 |3688 |3320 | 92 | 10 | 863 | 11 | 0.000000e+00 | -- | Inf | unknown
246.21/246.96 c 247s| 1 | 0 | 1069k| - | 107M | 0 |3103 |3680 |3328 | 100 | 11 | 867 | 11 | 0.000000e+00 | -- | Inf | unknown
255.38/256.10 c 256s| 1 | 2 | 1091k| - | 107M | 0 |3103 |3649 |3328 | 100 | 11 | 874 | 22 | 0.000000e+00 | -- | Inf | unknown
280.70/281.54 c 282s| 100 | 15 | 1203k| 795.4 | 108M | 40 |3103 |3650 |3301 | 146 | 1 | 895 | 22 | 0.000000e+00 | -- | Inf | 12.51%
316.11/317.04 c 317s| 200 | 21 | 1372k| 855.8 | 108M | 40 |3103 |3657 |3305 | 179 | 1 | 930 | 22 | 0.000000e+00 | -- | Inf | 12.52%
336.25/337.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
336.25/337.24 c 337s| 300 | 23 | 1468k| 862.2 | 109M | 53 |3103 |3675 |3323 | 228 | 0 | 964 | 22 | 0.000000e+00 | -- | Inf | 12.52%
357.49/358.51 c 359s| 400 | 21 | 1567k| 870.3 | 109M | 59 |3103 |3692 |3321 | 268 | 1 | 988 | 22 | 0.000000e+00 | -- | Inf | 12.52%
379.63/380.71 c 381s| 500 | 21 | 1672k| 880.3 | 110M | 59 |3103 |3724 |3310 | 307 | 1 |1045 | 22 | 0.000000e+00 | -- | Inf | 12.52%
400.07/401.29 c 401s| 600 | 21 | 1770k| 885.5 | 111M | 59 |3103 |3753 |3286 | 399 | 0 |1099 | 22 | 0.000000e+00 | -- | Inf | 12.85%
419.32/420.54 c 421s| 700 | 21 | 1861k| 887.0 | 111M | 59 |3103 |3775 |3316 | 439 | 2 |1153 | 22 | 0.000000e+00 | -- | Inf | 12.86%
446.15/447.49 c 447s| 800 | 21 | 1990k| 906.3 | 112M | 59 |3103 |3792 |3298 | 465 | 0 |1192 | 22 | 0.000000e+00 | -- | Inf | 13.27%
463.30/464.66 c 465s| 900 | 21 | 2074k| 903.4 | 113M | 59 |3103 |3827 |3286 | 501 | 1 |1244 | 22 | 0.000000e+00 | -- | Inf | 13.31%
478.06/479.47 c 479s| 1000 | 23 | 2150k| 897.0 | 114M | 59 |3103 |3859 |3293 | 548 | 0 |1290 | 22 | 0.000000e+00 | -- | Inf | 13.34%
490.13/491.56 c 492s| 1100 | 25 | 2214k| 886.2 | 114M | 59 |3103 |3857 |3295 | 569 | 0 |1294 | 22 | 0.000000e+00 | -- | Inf | 13.35%
503.09/504.55 c 505s| 1200 | 26 | 2281k| 877.2 | 114M | 59 |3103 |3941 |3291 | 579 | 1 |1396 | 22 | 0.000000e+00 | -- | Inf | 13.40%
517.36/518.84 c 519s| 1300 | 25 | 2352k| 870.8 | 115M | 59 |3103 |4030 |3302 | 623 | 1 |1505 | 22 | 0.000000e+00 | -- | Inf | 13.43%
530.72/532.28 c 532s| 1400 | 25 | 2420k| 863.6 | 115M | 59 |3103 |4099 |3298 | 629 | 0 |1600 | 22 | 0.000000e+00 | -- | Inf | 13.46%
549.08/550.63 c 551s| 1500 | 25 | 2507k| 863.8 | 115M | 59 |3103 |4015 |3309 | 696 | 0 |1666 | 22 | 0.000000e+00 | -- | Inf | 13.69%
565.73/567.38 c 567s| 1600 | 23 | 2587k| 861.7 | 115M | 59 |3103 |4021 |3313 | 723 | 0 |1699 | 22 | 0.000000e+00 | -- | Inf | 13.72%
586.98/588.65 c 589s| 1700 | 23 | 2692k| 868.1 | 115M | 59 |3103 |4025 |3313 | 772 | 2 |1708 | 22 | 0.000000e+00 | -- | Inf | 13.72%
609.32/611.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
609.32/611.03 c 611s| 1800 | 25 | 2803k| 875.9 | 115M | 59 |3103 |4069 |3312 | 832 | 1 |1754 | 22 | 0.000000e+00 | -- | Inf | 13.72%
626.57/628.35 c 628s| 1900 | 25 | 2888k| 875.2 | 115M | 59 |3103 |4089 |3309 | 864 | 0 |1782 | 22 | 0.000000e+00 | -- | Inf | 13.72%
650.21/652.02 c 652s| 2000 | 27 | 3002k| 883.1 | 117M | 59 |3103 |4097 |3311 | 931 | 0 |1792 | 22 | 0.000000e+00 | -- | Inf | 13.72%
672.74/674.62 c 675s| 2100 | 27 | 3112k| 889.5 | 117M | 59 |3103 |4113 |3321 |1003 | 0 |1811 | 22 | 0.000000e+00 | -- | Inf | 13.72%
688.80/690.72 c 691s| 2200 | 25 | 3191k| 886.8 | 118M | 59 |3103 |4120 |3316 |1041 | 1 |1831 | 22 | 0.000000e+00 | -- | Inf | 13.72%
710.15/712.14 c 712s| 2300 | 23 | 3294k| 890.7 | 119M | 59 |3103 |4111 |3306 |1079 | 0 |1835 | 22 | 0.000000e+00 | -- | Inf | 13.72%
729.29/731.39 c 731s| 2400 | 25 | 3387k| 892.0 | 119M | 59 |3103 |4122 |3313 |1126 | 0 |1866 | 22 | 0.000000e+00 | -- | Inf | 13.76%
751.13/753.26 c 753s| 2500 | 27 | 3494k| 896.7 | 120M | 66 |3103 |4144 |3326 |1169 | 1 |1892 | 22 | 0.000000e+00 | -- | Inf | 13.76%
769.78/771.99 c 772s| 2600 | 25 | 3586k| 897.2 | 120M | 73 |3103 |4153 |3315 |1206 | 0 |1905 | 22 | 0.000000e+00 | -- | Inf | 13.76%
787.13/789.37 c 789s| 2700 | 27 | 3671k| 895.9 | 121M | 73 |3103 |4179 |3328 |1226 | 0 |1937 | 22 | 0.000000e+00 | -- | Inf | 13.78%
802.59/804.83 c 805s| 2800 | 27 | 3746k| 892.5 | 121M | 73 |3103 |4206 |3293 |1231 | 1 |1969 | 22 | 0.000000e+00 | -- | Inf | 13.78%
825.63/827.92 c 828s| 2900 | 29 | 3859k| 898.0 | 121M | 73 |3103 |4220 |3295 |1298 | 0 |1995 | 22 | 0.000000e+00 | -- | Inf | 13.78%
843.79/846.17 c 846s| 3000 | 27 | 3948k| 897.8 | 121M | 73 |3103 |4277 |3298 |1309 | 1 |2056 | 22 | 0.000000e+00 | -- | Inf | 13.79%
859.54/861.99 c 862s| 3100 | 29 | 4024k| 894.6 | 122M | 73 |3103 |4318 |3297 |1331 | 1 |2103 | 22 | 0.000000e+00 | -- | Inf | 13.79%
873.80/876.28 c 876s| 3200 | 27 | 4093k| 890.1 | 122M | 73 |3103 |4348 |3293 |1347 | 1 |2140 | 22 | 0.000000e+00 | -- | Inf | 13.80%
888.96/891.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
888.96/891.47 c 891s| 3300 | 29 | 4167k| 886.8 | 122M | 73 |3103 |4368 |3298 |1360 | 1 |2163 | 22 | 0.000000e+00 | -- | Inf | 13.80%
910.80/913.33 c 913s| 3400 | 23 | 4272k| 890.4 | 123M | 73 |3103 |4385 |3331 |1403 | 2 |2193 | 22 | 0.000000e+00 | -- | Inf | 13.80%
935.83/938.49 c 938s| 3500 | 25 | 4394k| 897.3 | 123M | 73 |3103 |4398 |3307 |1450 | 1 |2229 | 22 | 0.000000e+00 | -- | Inf | 13.81%
956.28/958.93 c 959s| 3600 | 25 | 4489k| 898.4 | 125M | 73 |3103 |4414 |3306 |1489 | 0 |2259 | 22 | 0.000000e+00 | -- | Inf | 13.81%
976.53/979.29 c 979s| 3700 | 25 | 4588k| 900.1 | 125M | 73 |3103 |4425 |3321 |1545 | 2 |2285 | 22 | 0.000000e+00 | -- | Inf | 13.91%
998.17/1000.98 c 1001s| 3800 | 31 | 4690k| 902.5 | 127M | 73 |3103 |4403 | 0 |1608 | 0 |2309 | 22 | 0.000000e+00 | -- | Inf | 14.09%
1010.24/1013.09 c 1013s| 3900 | 33 | 4748k| 896.4 | 127M | 73 |3103 |4448 | 0 |1622 | 0 |2368 | 22 | 0.000000e+00 | -- | Inf | 14.09%
1022.60/1025.46 c 1025s| 4000 | 35 | 4808k| 890.8 | 127M | 73 |3103 |4486 |3287 |1630 | 1 |2413 | 22 | 0.000000e+00 | -- | Inf | 14.09%
1036.56/1039.41 c 1039s| 4100 | 33 | 4876k| 886.7 | 128M | 73 |3103 |4533 |3287 |1640 | 0 |2463 | 22 | 0.000000e+00 | -- | Inf | 14.09%
1053.32/1056.25 c 1056s| 4200 | 31 | 4957k| 885.5 | 128M | 73 |3103 |4559 |3299 |1659 | 1 |2492 | 22 | 0.000000e+00 | -- | Inf | 14.09%
1067.58/1070.56 c 1071s| 4300 | 35 | 5026k| 881.9 | 128M | 73 |3103 |4597 |3287 |1685 | 1 |2539 | 22 | 0.000000e+00 | -- | Inf | 14.09%
1082.34/1085.38 c 1085s| 4400 | 33 | 5098k| 879.1 | 128M | 73 |3103 |4654 |3291 |1697 | 0 |2604 | 22 | 0.000000e+00 | -- | Inf | 14.10%
1094.01/1097.00 c 1097s| 4500 | 35 | 5156k| 873.9 | 129M | 73 |3103 |4696 |3288 |1711 | 1 |2659 | 22 | 0.000000e+00 | -- | Inf | 14.10%
1105.98/1109.06 c 1109s| 4600 | 33 | 5216k| 869.2 | 129M | 73 |3103 |4738 |3290 |1715 | 1 |2709 | 22 | 0.000000e+00 | -- | Inf | 14.10%
1121.83/1124.92 c 1125s| 4700 | 33 | 5293k| 867.5 | 129M | 73 |3103 |4776 |3294 |1742 | 0 |2757 | 22 | 0.000000e+00 | -- | Inf | 14.10%
1134.40/1137.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1134.40/1137.59 c 1138s| 4800 | 33 | 5354k| 863.2 | 129M | 73 |3103 |4817 |3292 |1785 | 0 |2807 | 22 | 0.000000e+00 | -- | Inf | 14.10%
1151.15/1154.33 c 1154s| 4900 | 31 | 5436k| 862.6 | 129M | 73 |3103 |4857 |3292 |1793 | 0 |2859 | 22 | 0.000000e+00 | -- | Inf | 14.10%
1169.40/1172.68 c 1173s| 5000 | 33 | 5524k| 862.8 | 129M | 73 |3103 |4898 |3297 |1811 | 0 |2908 | 22 | 0.000000e+00 | -- | Inf | 14.11%
1188.65/1191.98 c 1192s| 5100 | 31 | 5616k| 863.8 | 130M | 73 |3103 |4935 |3299 |1853 | 0 |2952 | 22 | 0.000000e+00 | -- | Inf | 14.11%
1205.90/1209.26 c 1209s| 5200 | 31 | 5698k| 863.0 | 131M | 73 |3103 |4976 |3299 |1876 | 1 |3002 | 22 | 0.000000e+00 | -- | Inf | 14.11%
1229.13/1232.52 c 1233s| 5300 | 31 | 5812k| 867.2 | 131M | 73 |3103 |5011 |3315 |1903 | 1 |3048 | 22 | 0.000000e+00 | -- | Inf | 14.11%
1249.38/1252.89 c 1253s| 5400 | 29 | 5910k| 868.9 | 131M | 73 |3103 |5051 |3296 |1931 | 0 |3098 | 22 | 0.000000e+00 | -- | Inf | 14.11%
1267.83/1271.39 c 1271s| 5500 | 31 | 5998k| 869.1 | 131M | 73 |3103 |5082 |3296 |1956 | 1 |3138 | 22 | 0.000000e+00 | -- | Inf | 14.11%
1284.59/1288.14 c 1288s| 5600 | 29 | 6079k| 868.3 | 131M | 73 |3103 |5095 |3323 |1968 | 1 |3157 | 22 | 0.000000e+00 | -- | Inf | 14.11%
1304.83/1308.40 c 1308s| 5700 | 29 | 6179k| 870.2 | 131M | 99 |3103 |5123 |3324 |1969 | 0 |3191 | 22 | 0.000000e+00 | -- | Inf | 14.11%
1321.39/1325.07 c 1325s| 5800 | 27 | 6260k| 869.4 | 131M | 112 |3103 |5131 |3299 |1983 | 0 |3229 | 22 | 0.000000e+00 | -- | Inf | 14.11%
1339.74/1343.43 c 1343s| 5900 | 33 | 6348k| 869.4 | 132M | 112 |3103 |5091 |3300 |2025 | 0 |3258 | 22 | 0.000000e+00 | -- | Inf | 14.13%
1359.78/1363.51 c 1364s| 6000 | 33 | 6448k| 871.2 | 132M | 112 |3103 |5105 |3299 |2065 | 1 |3289 | 22 | 0.000000e+00 | -- | Inf | 14.13%
1379.33/1383.14 c 1383s| 6100 | 31 | 6546k| 872.8 | 133M | 112 |3103 |5123 |3295 |2103 | 0 |3327 | 22 | 0.000000e+00 | -- | Inf | 14.14%
1396.08/1399.95 c 1400s| 6200 | 31 | 6631k| 872.4 | 133M | 112 |3103 |5145 |3302 |2132 | 2 |3359 | 22 | 0.000000e+00 | -- | Inf | 14.14%
1414.24/1418.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1414.24/1418.12 c 1418s| 6300 | 33 | 6722k| 872.9 | 134M | 112 |3103 |5167 |3296 |2175 | 1 |3393 | 22 | 0.000000e+00 | -- | Inf | 14.15%
1428.10/1432.08 c 1432s| 6400 | 31 | 6793k| 870.9 | 134M | 112 |3103 |5186 |3290 |2193 | 0 |3425 | 22 | 0.000000e+00 | -- | Inf | 14.16%
1449.93/1453.96 c 1454s| 6500 | 33 | 6902k| 873.7 | 134M | 112 |3103 |5217 |3297 |2244 | 0 |3461 | 22 | 0.000000e+00 | -- | Inf | 14.16%
1471.77/1475.83 c 1476s| 6600 | 33 | 7014k| 876.7 | 134M | 112 |3103 |5256 |3316 |2284 | 3 |3506 | 22 | 0.000000e+00 | -- | Inf | 14.17%
1494.61/1498.79 c 1499s| 6700 | 33 | 7127k| 880.0 | 134M | 112 |3103 |5290 |3304 |2315 | 1 |3548 | 22 | 0.000000e+00 | -- | Inf | 14.17%
1515.86/1520.06 c 1520s| 6800 | 31 | 7233k| 882.1 | 134M | 112 |3103 |5316 |3301 |2353 | 0 |3577 | 22 | 0.000000e+00 | -- | Inf | 14.17%
1539.19/1543.47 c 1543s| 6900 | 31 | 7346k| 885.2 | 134M | 112 |3103 |5339 |3326 |2392 | 1 |3613 | 22 | 0.000000e+00 | -- | Inf | 14.17%
1566.91/1571.22 c 1571s| 7000 | 33 | 7483k| 891.0 | 134M | 112 |3103 |5329 |3326 |2392 | 1 |3628 | 22 | 0.000000e+00 | -- | Inf | 14.18%
1591.15/1595.59 c 1596s| 7100 | 31 | 7603k| 894.8 | 134M | 112 |3103 |5343 |3326 |2405 | 0 |3661 | 22 | 0.000000e+00 | -- | Inf | 14.18%
1609.79/1614.29 c 1614s| 7200 | 35 | 7695k| 895.0 | 134M | 112 |3103 |5384 |3327 |2407 | 1 |3708 | 22 | 0.000000e+00 | -- | Inf | 14.18%
1623.95/1628.49 c 1628s| 7300 | 31 | 7765k| 892.8 | 134M | 116 |3103 |5393 |3327 |2408 | 1 |3741 | 22 | 0.000000e+00 | -- | Inf | 14.18%
1635.42/1639.94 c 1640s| 7400 | 31 | 7822k| 889.0 | 134M | 116 |3103 |5438 |3327 |2408 | 0 |3813 | 22 | 0.000000e+00 | -- | Inf | 14.18%
1651.68/1656.25 c 1656s| 7500 | 32 | 7899k| 887.7 | 134M | 116 |3103 |5418 |3300 |2447 | 0 |3886 | 22 | 0.000000e+00 | -- | Inf | 14.20%
1667.14/1671.70 c 1672s| 7600 | 36 | 7972k| 885.9 | 135M | 116 |3103 |5435 | 0 |2477 | 0 |3957 | 22 | 0.000000e+00 | -- | Inf | 14.21%
1678.90/1683.52 c 1684s| 7700 | 34 | 8030k| 882.5 | 135M | 116 |3103 |5333 |3305 |2497 | 0 |4024 | 22 | 0.000000e+00 | -- | Inf | 14.21%
1699.95/1704.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1699.95/1704.68 c 1705s| 7800 | 40 | 8130k| 883.8 | 135M | 116 |3103 |5308 |3295 |2530 | 1 |4062 | 22 | 0.000000e+00 | -- | Inf | 14.41%
1713.91/1718.65 c 1719s| 7900 | 39 | 8201k| 881.9 | 135M | 116 |3103 |5326 |3303 |2558 | 0 |4141 | 22 | 0.000000e+00 | -- | Inf | 14.43%
1736.35/1741.12 c 1741s| 8000 | 43 | 8306k| 883.7 | 135M | 116 |3103 |5313 |3282 |2601 | 0 |4178 | 22 | 0.000000e+00 | -- | Inf | 14.44%
1752.70/1757.57 c 1758s| 8100 | 45 | 8385k| 882.7 | 135M | 116 |3103 |5333 |3285 |2626 | 1 |4218 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1762.97/1767.89 c 1768s| 8200 | 45 | 8436k| 878.8 | 136M | 116 |3103 |5371 |3288 |2630 | 1 |4271 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1771.45/1776.37 c 1776s| 8300 | 43 | 8477k| 873.9 | 136M | 116 |3103 |5364 |3291 |2641 | 0 |4336 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1784.61/1789.50 c 1789s| 8400 | 45 | 8541k| 871.5 | 136M | 116 |3103 |5338 |3288 |2663 | 0 |4378 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1798.48/1803.45 c 1803s| 8500 | 45 | 8608k| 869.4 | 136M | 116 |3103 |5360 |3290 |2673 | 1 |4421 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1809.35/1814.34 c 1814s| 8600 | 45 | 8660k| 865.9 | 137M | 116 |3103 |5381 |3292 |2682 | 0 |4476 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1821.02/1826.03 c 1826s| 8700 | 45 | 8718k| 863.0 | 137M | 116 |3103 |5392 | 0 |2696 | 0 |4534 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1832.78/1837.82 c 1838s| 8800 | 45 | 8775k| 860.1 | 137M | 116 |3103 |5354 |3300 |2706 | 1 |4575 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1843.25/1848.34 c 1848s| 8900 | 45 | 8827k| 856.7 | 137M | 116 |3103 |5374 |3292 |2715 | 0 |4627 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1854.82/1859.93 c 1860s| 9000 | 45 | 8884k| 853.9 | 138M | 116 |3103 |5395 |3297 |2726 | 0 |4680 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1868.18/1873.30 c 1873s| 9100 | 43 | 8949k| 852.0 | 138M | 116 |3103 |5415 | 0 |2736 | 0 |4707 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1880.35/1885.56 c 1886s| 9200 | 45 | 9009k| 849.6 | 138M | 116 |3103 |5436 |3293 |2738 | 0 |4734 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1889.72/1894.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1889.72/1894.99 c 1895s| 9300 | 45 | 9056k| 846.0 | 138M | 116 |3103 |5461 |3292 |2743 | 1 |4787 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1899.99/1905.22 c 1905s| 9400 | 45 | 9108k| 842.9 | 138M | 116 |3103 |5486 |3296 |2748 | 0 |4833 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1912.76/1918.02 c 1918s| 9500 | 45 | 9173k| 841.1 | 138M | 116 |3103 |5522 |3293 |2760 | 1 |4882 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1925.12/1930.43 c 1930s| 9600 | 45 | 9233k| 838.9 | 138M | 116 |3103 |5559 |3293 |2784 | 1 |4923 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1941.18/1946.54 c 1947s| 9700 | 45 | 9312k| 838.5 | 138M | 116 |3103 |5571 |3298 |2822 | 0 |4985 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1957.24/1962.64 c 1963s| 9800 | 49 | 9391k| 838.1 | 138M | 116 |3103 |5579 |3304 |2834 | 1 |5022 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1965.91/1971.33 c 1971s| 9900 | 49 | 9434k| 834.4 | 139M | 122 |3103 |5649 |3308 |2838 | 1 |5093 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1979.28/1984.79 c 1985s| 10000 | 47 | 9501k| 832.9 | 139M | 128 |3103 |5677 |3303 |2850 | 1 |5150 | 22 | 0.000000e+00 | -- | Inf | 14.45%
1993.73/1999.25 c 1999s| 10100 | 47 | 9572k| 831.9 | 140M | 128 |3103 |5717 |3307 |2858 | 0 |5198 | 22 | 0.000000e+00 | -- | Inf | 14.45%
2003.52/2009.10 c 2009s| 10200 | 46 | 9621k| 828.9 | 140M | 128 |3103 |5823 |3302 |2866 | 0 |5353 | 22 | 0.000000e+00 | -- | Inf | 14.45%
2014.79/2020.31 c 2020s| 10300 | 46 | 9676k| 826.4 | 140M | 128 |3103 |5804 | 0 |2889 | 0 |5438 | 22 | 0.000000e+00 | -- | Inf | 14.45%
2027.75/2033.36 c 2033s| 10400 | 43 | 9740k| 824.9 | 140M | 128 |3103 |5782 | 0 |2930 | 0 |5510 | 22 | 0.000000e+00 | -- | Inf | 14.45%
2042.51/2048.13 c 2048s| 10500 | 43 | 9815k| 824.2 | 140M | 128 |3103 |5816 |3298 |2955 | 1 |5549 | 22 | 0.000000e+00 | -- | Inf | 14.45%
2058.96/2064.67 c 2065s| 10600 | 43 | 9897k| 824.2 | 140M | 128 |3103 |5854 | 0 |2986 | 0 |5660 | 22 | 0.000000e+00 | -- | Inf | 14.45%
2070.13/2075.83 c 2076s| 10700 | 44 | 9951k| 821.8 | 141M | 128 |3103 |5830 | 0 |3020 | 0 |5761 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2081.20/2086.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2081.20/2086.96 c 2087s| 10800 | 45 | 10005k| 819.5 | 141M | 128 |3103 |5966 |3296 |3032 | 1 |5926 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2093.97/2099.73 c 2100s| 10900 | 44 | 10068k| 817.9 | 141M | 128 |3103 |5825 |3289 |3056 | 1 |6026 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2106.63/2112.41 c 2112s| 11000 | 46 | 10130k| 816.3 | 142M | 128 |3103 |5551 |3294 |3075 | 1 |6107 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2118.30/2124.14 c 2124s| 11100 | 44 | 10188k| 814.4 | 142M | 128 |3103 |5579 |3288 |3105 | 0 |6194 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2129.97/2135.88 c 2136s| 11200 | 44 | 10246k| 812.5 | 143M | 128 |3103 |5627 |3286 |3123 | 0 |6268 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2145.92/2151.87 c 2152s| 11300 | 43 | 10323k| 812.2 | 143M | 128 |3103 |5689 | 0 |3143 | 0 |6363 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2159.18/2165.17 c 2165s| 11400 | 43 | 10388k| 810.9 | 143M | 128 |3103 |5634 | 0 |3178 | 0 |6466 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2171.65/2177.66 c 2178s| 11500 | 42 | 10450k| 809.4 | 143M | 128 |3103 |5614 |3296 |3206 | 1 |6560 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2192.20/2198.27 c 2198s| 11600 | 45 | 10551k| 811.0 | 143M | 128 |3103 |5652 |3304 |3245 | 1 |6642 | 22 | 0.000000e+00 | -- | Inf | 14.46%
2207.86/2213.90 c 2214s| 11700 | 43 | 10629k| 810.8 | 143M | 128 |3103 |5426 |3293 |3257 | 1 |6707 | 22 | 0.000000e+00 | -- | Inf | 14.47%
2220.63/2226.78 c 2227s| 11800 | 42 | 10693k| 809.5 | 143M | 128 |3103 |5346 |3293 |3274 | 0 |6785 | 22 | 0.000000e+00 | -- | Inf | 14.47%
2236.69/2242.81 c 2243s| 11900 | 48 | 10773k| 809.4 | 143M | 128 |3103 |5323 |3298 |3285 | 0 |6863 | 22 | 0.000000e+00 | -- | Inf | 14.47%
2250.86/2257.05 c 2257s| 12000 | 46 | 10843k| 808.5 | 144M | 128 |3103 |5336 |3300 |3295 | 1 |6949 | 22 | 0.000000e+00 | -- | Inf | 14.47%
2266.02/2272.27 c 2272s| 12100 | 44 | 10917k| 808.0 | 144M | 128 |3103 |5197 |3299 |3313 | 0 |6987 | 22 | 0.000000e+00 | -- | Inf | 14.48%
2276.99/2283.28 c 2283s| 12200 | 46 | 10971k| 806.0 | 144M | 128 |3103 |5078 |3300 |3322 | 1 |7009 | 22 | 0.000000e+00 | -- | Inf | 14.48%
2294.45/2300.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2294.45/2300.77 c 2301s| 12300 | 46 | 11057k| 806.4 | 144M | 128 |3103 |4997 | 0 |3345 | 0 |7044 | 22 | 0.000000e+00 | -- | Inf | 14.48%
2306.12/2312.48 c 2312s| 12400 | 48 | 11114k| 804.7 | 144M | 128 |3103 |4984 |3311 |3378 | 1 |7110 | 22 | 0.000000e+00 | -- | Inf | 14.48%
2321.89/2328.28 c 2328s| 12500 | 48 | 11192k| 804.5 | 144M | 128 |3103 |4987 |3307 |3403 | 1 |7133 | 22 | 0.000000e+00 | -- | Inf | 14.48%
2338.05/2344.43 c 2344s| 12600 | 46 | 11271k| 804.4 | 144M | 128 |3103 |5037 |3304 |3415 | 0 |7218 | 22 | 0.000000e+00 | -- | Inf | 14.48%
2357.20/2363.67 c 2364s| 12700 | 46 | 11365k| 805.4 | 144M | 128 |3103 |5018 |3312 |3427 | 0 |7245 | 22 | 0.000000e+00 | -- | Inf | 14.48%
2377.75/2384.24 c 2384s| 12800 | 50 | 11464k| 806.7 | 144M | 128 |3103 |4970 |3294 |3444 | 1 |7266 | 22 | 0.000000e+00 | -- | Inf | 16.04%
2396.51/2403.03 c 2403s| 12900 | 60 | 11552k| 807.2 | 145M | 128 |3103 |4716 | 0 |3493 | 0 |7314 | 22 | 0.000000e+00 | -- | Inf | 17.38%
2405.98/2412.55 c 2413s| 13000 | 62 | 11599k| 804.8 | 145M | 128 |3103 |4692 |3284 |3517 | 1 |7372 | 22 | 0.000000e+00 | -- | Inf | 17.88%
2414.66/2421.27 c 2421s| 13100 | 60 | 11643k| 802.3 | 145M | 128 |3103 |4676 |3286 |3547 | 0 |7403 | 22 | 0.000000e+00 | -- | Inf | 18.29%
2427.03/2433.69 c 2434s| 13200 | 59 | 11704k| 801.0 | 145M | 128 |3103 |4668 |3280 |3600 | 0 |7439 | 22 | 0.000000e+00 | -- | Inf | 18.76%
2437.41/2444.08 c 2444s| 13300 | 65 | 11755k| 799.0 | 145M | 128 |3103 |4706 |3283 |3610 | 1 |7494 | 22 | 0.000000e+00 | -- | Inf | 18.80%
2447.68/2454.35 c 2454s| 13400 | 63 | 11806k| 797.0 | 145M | 128 |3103 |4750 |3283 |3615 | 2 |7548 | 22 | 0.000000e+00 | -- | Inf | 18.82%
2459.27/2465.91 c 2466s| 13500 | 63 | 11863k| 795.5 | 147M | 128 |3103 |4777 |3284 |3628 | 0 |7602 | 22 | 0.000000e+00 | -- | Inf | 18.85%
2468.64/2475.35 c 2475s| 13600 | 65 | 11910k| 793.3 | 147M | 128 |3103 |4822 |3284 |3631 | 1 |7656 | 22 | 0.000000e+00 | -- | Inf | 18.87%
2478.82/2485.50 c 2485s| 13700 | 67 | 11962k| 791.5 | 147M | 128 |3103 |4857 |3284 |3633 | 1 |7710 | 22 | 0.000000e+00 | -- | Inf | 18.88%
2489.89/2496.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2489.89/2496.63 c 2497s| 13800 | 61 | 12019k| 790.0 | 147M | 128 |3103 |4896 |3284 |3636 | 0 |7770 | 22 | 0.000000e+00 | -- | Inf | 18.89%
2503.96/2510.79 c 2511s| 13900 | 65 | 12089k| 789.4 | 148M | 128 |3103 |4933 |3284 |3645 | 1 |7823 | 22 | 0.000000e+00 | -- | Inf | 18.89%
2519.42/2526.21 c 2526s| 14000 | 62 | 12166k| 789.3 | 149M | 128 |3103 |4977 |3286 |3659 | 0 |7877 | 22 | 0.000000e+00 | -- | Inf | 18.89%
2532.59/2539.47 c 2539s| 14100 | 66 | 12234k| 788.6 | 149M | 128 |3103 |5014 |3288 |3668 | 1 |7928 | 22 | 0.000000e+00 | -- | Inf | 18.89%
2547.16/2554.03 c 2554s| 14200 | 64 | 12306k| 788.1 | 150M | 128 |3103 |5061 |3286 |3681 | 1 |7977 | 22 | 0.000000e+00 | -- | Inf | 18.89%
2563.52/2570.41 c 2570s| 14300 | 62 | 12386k| 788.2 | 151M | 128 |3103 |5103 |3288 |3702 | 1 |8026 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2577.29/2584.21 c 2584s| 14400 | 62 | 12452k| 787.4 | 151M | 128 |3103 |5133 |3299 |3721 | 1 |8065 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2591.25/2598.20 c 2598s| 14500 | 62 | 12520k| 786.7 | 151M | 128 |3103 |5164 |3291 |3752 | 0 |8106 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2608.02/2615.01 c 2615s| 14600 | 62 | 12604k| 787.0 | 151M | 128 |3103 |5197 |3287 |3771 | 1 |8147 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2620.09/2627.12 c 2627s| 14700 | 65 | 12664k| 785.9 | 151M | 128 |3103 |5236 |3296 |3789 | 0 |8190 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2631.36/2638.40 c 2638s| 14800 | 63 | 12720k| 784.5 | 151M | 128 |3103 |5282 |3291 |3809 | 0 |8241 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2645.03/2652.10 c 2652s| 14900 | 61 | 12788k| 783.8 | 152M | 128 |3103 |5318 |3290 |3846 | 0 |8281 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2655.70/2662.88 c 2663s| 15000 | 63 | 12842k| 782.3 | 152M | 128 |3103 |5363 |3293 |3859 | 1 |8332 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2671.66/2678.88 c 2679s| 15100 | 63 | 12895k| 780.8 | 152M | 128 |3103 |5412 |3291 |3870 | 0 |8383 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2685.32/2692.52 c 2693s| 15200 | 63 | 12963k| 780.2 | 152M | 128 |3103 |5434 |3298 |3890 | 1 |8409 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2700.69/2707.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2700.69/2707.99 c 2708s| 15300 | 65 | 13039k| 780.1 | 152M | 128 |3103 |5475 |3291 |3907 | 1 |8453 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2717.85/2725.15 c 2725s| 15400 | 63 | 13124k| 780.5 | 154M | 128 |3103 |5516 |3299 |3929 | 1 |8498 | 22 | 0.000000e+00 | -- | Inf | 18.90%
2731.72/2739.04 c 2739s| 15500 | 63 | 13196k| 780.1 | 154M | 128 |3103 |5551 |3289 |3950 | 1 |8544 | 22 | 0.000000e+00 | -- | Inf | 18.91%
2745.48/2752.83 c 2753s| 15600 | 61 | 13268k| 779.8 | 154M | 128 |3103 |5592 |3289 |3965 | 1 |8596 | 22 | 0.000000e+00 | -- | Inf | 18.91%
2763.74/2771.11 c 2771s| 15700 | 61 | 13364k| 780.8 | 154M | 128 |3103 |5633 |3293 |3982 | 1 |8646 | 22 | 0.000000e+00 | -- | Inf | 18.91%
2783.99/2791.45 c 2791s| 15800 | 61 | 13467k| 782.3 | 155M | 128 |3103 |5660 |3300 |4015 | 0 |8682 | 22 | 0.000000e+00 | -- | Inf | 18.91%
2794.96/2802.42 c 2802s| 15900 | 65 | 13525k| 781.1 | 155M | 128 |3103 |5719 |3302 |4022 | 1 |8741 | 22 | 0.000000e+00 | -- | Inf | 18.91%
2806.04/2813.53 c 2814s| 16000 | 61 | 13585k| 780.0 | 156M | 128 |3103 |5755 |3303 |4026 | 0 |8784 | 22 | 0.000000e+00 | -- | Inf | 18.91%
2819.20/2826.71 c 2827s| 16100 | 59 | 13656k| 779.6 | 156M | 128 |3103 |5791 |3302 |4026 | 0 |8822 | 22 | 0.000000e+00 | -- | Inf | 18.91%
2838.56/2846.18 c 2846s| 16200 | 61 | 13756k| 780.9 | 156M | 128 |3103 |5789 |3282 |4026 | 1 |8848 | 22 | 0.000000e+00 | -- | Inf | 18.91%
2848.93/2856.55 c 2857s| 16300 | 63 | 13809k| 779.5 | 156M | 128 |3103 |5818 |3289 |4039 | 0 |8903 | 22 | 0.000000e+00 | -- | Inf | 18.92%
2861.90/2869.52 c 2870s| 16400 | 63 | 13874k| 778.8 | 156M | 128 |3103 |5822 |3286 |4047 | 0 |8953 | 22 | 0.000000e+00 | -- | Inf | 18.92%
2872.58/2880.27 c 2880s| 16500 | 65 | 13929k| 777.4 | 156M | 128 |3103 |5832 |3291 |4056 | 2 |9005 | 22 | 0.000000e+00 | -- | Inf | 18.92%
2884.15/2891.83 c 2892s| 16600 | 63 | 13985k| 776.3 | 156M | 128 |3103 |5869 |3292 |4073 | 0 |9057 | 22 | 0.000000e+00 | -- | Inf | 18.92%
2895.52/2903.22 c 2903s| 16700 | 63 | 14042k| 775.1 | 156M | 128 |3103 |5887 |3291 |4093 | 0 |9110 | 22 | 0.000000e+00 | -- | Inf | 18.93%
2909.59/2917.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2909.59/2917.35 c 2917s| 16800 | 63 | 14110k| 774.6 | 156M | 128 |3103 |5907 |3306 |4119 | 1 |9148 | 22 | 0.000000e+00 | -- | Inf | 18.93%
2918.97/2926.70 c 2927s| 16900 | 65 | 14157k| 772.9 | 156M | 128 |3103 |5953 |3287 |4128 | 0 |9197 | 22 | 0.000000e+00 | -- | Inf | 18.93%
2931.84/2939.64 c 2940s| 17000 | 67 | 14223k| 772.3 | 156M | 128 |3103 |5996 |3289 |4142 | 1 |9248 | 22 | 0.000000e+00 | -- | Inf | 18.93%
2947.20/2955.10 c 2955s| 17100 | 63 | 14300k| 772.3 | 156M | 128 |3103 |6042 |3284 |4161 | 1 |9297 | 22 | 0.000000e+00 | -- | Inf | 18.93%
2958.18/2966.09 c 2966s| 17200 | 63 | 14354k| 771.0 | 156M | 128 |3103 |6086 |3295 |4188 | 0 |9354 | 22 | 0.000000e+00 | -- | Inf | 18.93%
2971.84/2979.74 c 2980s| 17300 | 63 | 14420k| 770.4 | 156M | 128 |3103 |6122 |3300 |4215 | 2 |9396 | 22 | 0.000000e+00 | -- | Inf | 18.93%
2985.01/2992.99 c 2993s| 17400 | 63 | 14484k| 769.7 | 156M | 128 |3103 |6166 |3290 |4252 | 0 |9446 | 22 | 0.000000e+00 | -- | Inf | 18.94%
2999.97/3007.94 c 3008s| 17500 | 65 | 14557k| 769.5 | 156M | 128 |3103 |6201 |3282 |4306 | 0 |9497 | 22 | 0.000000e+00 | -- | Inf | 19.01%
3015.14/3023.15 c 3023s| 17600 | 65 | 14630k| 769.3 | 157M | 128 |3103 |6250 |3292 |4343 | 0 |9550 | 22 | 0.000000e+00 | -- | Inf | 19.02%
3026.21/3034.25 c 3034s| 17700 | 62 | 14682k| 768.0 | 157M | 128 |3103 |6235 |3297 |4385 | 1 |9608 | 22 | 0.000000e+00 | -- | Inf | 19.20%
3045.67/3053.75 c 3054s| 17800 | 72 | 14771k| 768.6 | 157M | 128 |3103 |6166 |3282 |4425 | 0 |9670 | 22 | 0.000000e+00 | -- | Inf | 19.50%
3060.23/3068.39 c 3068s| 17900 | 74 | 14842k| 768.3 | 157M | 128 |3103 |6145 |3307 |4456 | 1 |9755 | 22 | 0.000000e+00 | -- | Inf | 19.51%
3072.10/3080.28 c 3080s| 18000 | 76 | 14897k| 767.2 | 157M | 128 |3103 |6123 |3294 |4496 | 1 |9850 | 22 | 0.000000e+00 | -- | Inf | 19.72%
3087.37/3095.57 c 3096s| 18100 | 76 | 14969k| 766.9 | 157M | 128 |3103 |6093 |3293 |4532 | 0 |9920 | 22 | 0.000000e+00 | -- | Inf | 20.11%
3100.44/3108.64 c 3109s| 18200 | 77 | 15031k| 766.2 | 157M | 128 |3103 |6127 |3299 |4560 | 2 |9977 | 22 | 0.000000e+00 | -- | Inf | 20.11%
3115.40/3123.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3115.40/3123.63 c 3124s| 18300 | 74 | 15104k| 766.0 | 157M | 128 |3103 |6040 |3288 |4574 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.12%
3128.57/3136.83 c 3137s| 18400 | 74 | 15167k| 765.3 | 157M | 128 |3103 |6010 |3292 |4593 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.12%
3144.33/3152.64 c 3153s| 18500 | 80 | 15239k| 765.1 | 157M | 128 |3103 |5970 |3286 |4643 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.56%
3155.20/3163.52 c 3164s| 18600 | 76 | 15295k| 764.0 | 157M | 128 |3103 |5997 |3293 |4648 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.63%
3168.27/3176.63 c 3177s| 18700 | 84 | 15358k| 763.4 | 157M | 128 |3103 |6004 |3284 |4695 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.72%
3177.05/3185.47 c 3185s| 18800 | 83 | 15404k| 761.8 | 157M | 128 |3103 |6040 |3283 |4701 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.76%
3186.74/3195.16 c 3195s| 18900 | 83 | 15454k| 760.5 | 157M | 128 |3103 |6061 | 0 |4705 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.83%
3197.40/3205.81 c 3206s| 19000 | 87 | 15505k| 759.3 | 159M | 128 |3103 |6096 |3289 |4730 | 2 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.84%
3208.18/3216.69 c 3217s| 19100 | 87 | 15560k| 758.3 | 159M | 128 |3103 |6136 |3289 |4747 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.85%
3217.36/3225.86 c 3226s| 19200 | 87 | 15607k| 756.9 | 159M | 128 |3103 |6153 |3284 |4754 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.85%
3227.73/3236.27 c 3236s| 19300 | 85 | 15659k| 755.8 | 159M | 128 |3103 |6169 |3284 |4759 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.86%
3238.71/3247.24 c 3247s| 19400 | 83 | 15714k| 754.8 | 159M | 128 |3103 |6199 |3289 |4774 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.87%
3248.68/3257.27 c 3257s| 19500 | 87 | 15765k| 753.6 | 159M | 128 |3103 |6238 |3283 |4784 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.88%
3257.86/3266.47 c 3266s| 19600 | 87 | 15812k| 752.2 | 159M | 128 |3103 |6287 |3284 |4786 | 2 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.89%
3265.94/3274.53 c 3275s| 19700 | 87 | 15854k| 750.6 | 159M | 128 |3103 |6334 |3284 |4787 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.89%
3275.92/3284.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3275.92/3284.57 c 3285s| 19800 | 87 | 15904k| 749.4 | 159M | 128 |3103 |6377 |3286 |4796 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.89%
3284.10/3292.73 c 3293s| 19900 | 87 | 15945k| 747.8 | 159M | 128 |3103 |6414 |3286 |4811 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.89%
3294.77/3303.46 c 3303s| 20000 | 87 | 15999k| 746.8 | 159M | 128 |3103 |6437 |3285 |4815 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.89%
3303.95/3312.67 c 3313s| 20100 | 85 | 16046k| 745.5 | 159M | 128 |3103 |6495 |3291 |4825 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.89%
3312.34/3321.06 c 3321s| 20200 | 87 | 16089k| 744.1 | 159M | 128 |3103 |6527 |3287 |4833 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.90%
3324.10/3332.89 c 3333s| 20300 | 86 | 16148k| 743.4 | 159M | 128 |3103 |6556 |3290 |4856 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.91%
3336.57/3345.32 c 3345s| 20400 | 86 | 16210k| 742.8 | 159M | 128 |3103 |6596 |3294 |4867 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 20.91%
3346.65/3355.43 c 3355s| 20500 | 86 | 16261k| 741.7 | 159M | 128 |3103 |6631 |3288 |4871 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.91%
3356.83/3365.60 c 3366s| 20600 | 84 | 16312k| 740.7 | 159M | 128 |3103 |6674 |3287 |4874 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.91%
3366.80/3375.60 c 3376s| 20700 | 86 | 16363k| 739.6 | 159M | 128 |3103 |6717 |3291 |4886 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.92%
3375.19/3384.01 c 3384s| 20800 | 84 | 16407k| 738.3 | 159M | 128 |3103 |6761 |3287 |4888 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.92%
3383.36/3392.20 c 3392s| 20900 | 86 | 16449k| 736.8 | 159M | 128 |3103 |6805 |3289 |4897 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.92%
3395.93/3404.83 c 3405s| 21000 | 88 | 16513k| 736.4 | 159M | 128 |3103 |6833 |3289 |4902 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.92%
3406.81/3415.76 c 3416s| 21100 | 84 | 16567k| 735.5 | 159M | 128 |3103 |6862 |3287 |4907 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.92%
3416.78/3425.77 c 3426s| 21200 | 84 | 16618k| 734.5 | 159M | 128 |3103 |6910 |3293 |4923 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.93%
3425.86/3434.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3425.86/3434.82 c 3435s| 21300 | 88 | 16665k| 733.4 | 159M | 128 |3103 |6962 |3290 |4932 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.93%
3434.15/3443.13 c 3443s| 21400 | 88 | 16709k| 732.1 | 160M | 128 |3103 |7013 |3291 |4933 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.93%
3444.72/3453.70 c 3454s| 21500 | 86 | 16764k| 731.2 | 160M | 128 |3103 |7060 |3289 |4945 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.93%
3455.00/3464.09 c 3464s| 21600 | 90 | 16818k| 730.4 | 160M | 128 |3103 |7098 |3289 |4947 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.93%
3464.97/3474.04 c 3474s| 21700 | 88 | 16868k| 729.4 | 160M | 128 |3103 |7143 |3289 |4959 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.93%
3476.05/3485.18 c 3485s| 21800 | 88 | 16925k| 728.7 | 160M | 128 |3103 |7190 |3290 |4986 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3485.32/3494.40 c 3494s| 21900 | 88 | 16974k| 727.7 | 160M | 128 |3103 |7260 |3292 |4993 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3495.80/3504.94 c 3505s| 22000 | 86 | 17029k| 726.9 | 160M | 128 |3103 |7298 |3290 |5002 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3503.78/3512.91 c 3513s| 22100 | 90 | 17070k| 725.6 | 160M | 128 |3103 |7349 |3295 |5019 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3514.25/3523.43 c 3523s| 22200 | 92 | 17124k| 724.8 | 160M | 128 |3103 |7377 |3293 |5039 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3524.83/3534.07 c 3534s| 22300 | 92 | 17178k| 724.0 | 160M | 128 |3103 |7406 |3293 |5053 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3533.71/3542.94 c 3543s| 22400 | 90 | 17225k| 722.9 | 160M | 128 |3103 |7450 |3293 |5063 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3543.89/3553.18 c 3553s| 22500 | 90 | 17277k| 722.0 | 160M | 128 |3103 |7471 |3294 |5083 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3553.86/3563.15 c 3563s| 22600 | 90 | 17327k| 721.2 | 160M | 128 |3103 |7510 |3293 |5107 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3563.93/3573.25 c 3573s| 22700 | 91 | 17379k| 720.3 | 160M | 128 |3103 |7543 |3293 |5118 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3576.40/3585.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3576.40/3585.76 c 3586s| 22800 | 90 | 17443k| 719.9 | 160M | 128 |3103 |7574 |3293 |5131 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 20.94%
3587.68/3597.00 c
3587.68/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.68/3597.00 c Solving Time (sec) : 3597.00
3587.68/3597.00 c Solving Nodes : 22899 (total of 24173 nodes in 2 runs)
3587.68/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.68/3597.00 c Dual Bound : +0.00000000000000e+00
3587.68/3597.00 c Gap : infinite
3587.68/3597.00 s UNKNOWN
3587.68/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.68/3597.00 c Total Time : 3597.00
3587.68/3597.00 c solving : 3597.00
3587.68/3597.00 c presolving : 2.62 (included in solving)
3587.68/3597.00 c reading : 0.01 (included in solving)
3587.68/3597.00 c copying : 1.04 (107 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.68/3597.00 c Original Problem :
3587.68/3597.00 c Problem name : HOME/instance-4507670-1751190828.opb
3587.68/3597.00 c Variables : 3905 (3905 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.68/3597.00 c Constraints : 4049 initial, 4049 maximal
3587.68/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.68/3597.00 c Presolved Problem :
3587.68/3597.00 c Problem name : t_HOME/instance-4507670-1751190828.opb
3587.68/3597.00 c Variables : 3103 (3103 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.68/3597.00 c Constraints : 3726 initial, 7604 maximal
3587.68/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.68/3597.00 c Nonzeros : 45504 constraint, 49140 clique table
3587.68/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.68/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c domcol : 0.05 0.00 10 0 0 0 0 0 0 0 0 5
3587.68/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c gateextraction : 0.03 0.00 16 0 0 0 0 0 5 1 0 0
3587.68/3597.00 c implics : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c milp : 0.09 0.00 1 118 3 0 0 0 0 0 0 0
3587.68/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c sparsify : 0.06 0.00 3 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c trivial : 0.00 0.00 38 310 0 0 0 0 0 0 0 0
3587.68/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c dualfix : 0.00 0.00 38 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c probing : 2.02 0.00 9 183 3 0 0 0 0 0 0 0
3587.68/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c knapsack : 0.01 0.00 20 0 0 0 0 0 0 2 10 50
3587.68/3597.00 c setppc : 0.03 0.00 59 0 0 0 0 0 36 0 0 0
3587.68/3597.00 c and : 0.00 0.00 2 0 0 0 0 0 1 1 0 0
3587.68/3597.00 c linear : 0.03 0.00 25 184 1 0 184 0 608 0 6 0
3587.68/3597.00 c logicor : 0.26 0.01 56 40 0 0 0 0 229 0 0 2554
3587.68/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.68/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.68/3597.00 c benderslp : 0 0 0 0 12181 0 0 1690 0 0 0 0 0 0 0
3587.68/3597.00 c integral : 0 0 0 0 12181 0 0 1690 0 0 0 0 0 0 24362
3587.68/3597.00 c knapsack : 31+ 33 11 190958 0 0 0 0 382310 21 82159 0 0 0 0
3587.68/3597.00 c setppc : 757+ 1014 22 243199 0 0 0 1685 4028067 310 892143 1 0 0 0
3587.68/3597.00 c linear : 3+ 12 11 135405 0 0 0 3 4121 12 2411 6 4 0 0
3587.68/3597.00 c logicor : 2935+ 6559 22 186892 0 0 0 0 7837132 1388 1800473 56 24 0 0
3587.68/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.68/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c integral : 6.87 0.00 0.00 0.00 6.87 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c knapsack : 0.73 0.00 0.03 0.61 0.00 0.00 0.00 0.00 0.09 0.00
3587.68/3597.00 c setppc : 2.16 0.00 0.00 1.30 0.00 0.00 0.00 0.03 0.83 0.01
3587.68/3597.00 c linear : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c logicor : 6.18 0.01 0.01 3.77 0.00 0.00 0.00 0.00 2.38 0.01
3587.68/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.68/3597.00 c dualfix : 2 0 0 0
3587.68/3597.00 c genvbounds : 0 0 0 0
3587.68/3597.00 c nlobbt : 0 0 0 0
3587.68/3597.00 c obbt : 0 0 0 0
3587.68/3597.00 c probing : 0 0 0 0
3587.68/3597.00 c pseudoobj : 0 0 0 0
3587.68/3597.00 c redcost : 0 0 0 0
3587.68/3597.00 c rootredcost : 0 0 0 0
3587.68/3597.00 c symmetry : 4387 0 0 62
3587.68/3597.00 c vbounds : 159264 0 0 0
3587.68/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.68/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.68/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.68/3597.00 c probing : 2.02 0.00 2.02 0.00 0.00 0.00
3587.68/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.68/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.68/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.68/3597.00 c symmetry : 0.06 0.00 0.02 0.05 0.00 0.00
3587.68/3597.00 c vbounds : 2.70 0.00 0.01 2.69 0.00 0.00
3587.68/3597.00 c Symmetry :
3587.68/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.68/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.68/3597.00 c lexicographic red: 62 reductions applied, 0 cutoffs
3587.68/3597.00 c shadow tree time : 0.03 s
3587.68/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.68/3597.00 c propagation : 0.39 1715 1548 - 8398 139.0 170 49.3 - - -
3587.68/3597.00 c infeasible LP : 18.67 10476 6872 - 105780 548.6 78 8.7 49 211.8 0
3587.68/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.68/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.68/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.68/3597.00 c applied globally : 0.62 - - 0 11934 74.4 - - 42 - -
3587.68/3597.00 c applied locally : - - - 0 149 580.6 - - 7 - -
3587.68/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.68/3597.00 c cut pool : 0.46 - 2655 42 - - 5068 29645 - - - - - (maximal pool size: 684)
3587.68/3597.00 c aggregation : 0.24 0.00 468 22 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.68/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.68/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.68/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c clique : 0.36 0.00 22 22 0 0 163 1115 0 408 408 0 0
3587.68/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c gomory : 18.19 0.00 466 20 0 0 5590 24726 1359 2021 1979 42 0
3587.68/3597.00 c > gomorymi : - - - - - - - 12367 691 1153 1121 32 -
3587.68/3597.00 c > strongcg : - - - - - - - 12359 668 868 858 10 -
3587.68/3597.00 c impliedbounds : 0.36 0.00 468 22 0 0 441 1935 0 862 862 0 0
3587.68/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c multilinear : 0.00 0.00 389 22 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c rapidlearning : 10.58 0.00 100 2 0 9865 0 0 0 0 0 0 280
3587.68/3597.00 c rlt : 0.00 0.00 287 20 0 0 0 0 0 0 0 0 0
3587.68/3597.00 c zerohalf : 6.99 0.00 468 22 0 0 1215 1869 982 2142 1224 918 0
3587.68/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.68/3597.00 c hybrid : 0.05 0.00 1711 22 5467 0 26582 205 0 477
3587.68/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.68/3597.00 c problem variables: 0.00 - 0 0
3587.68/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.68/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c relpscost : 6.86 0.00 12181 0 0 0 0 0 0 24362
3587.68/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.68/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.68/3597.00 c LP solutions : 0.00 - - 0 0
3587.68/3597.00 c relax solutions : 0.00 - - 0 0
3587.68/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.68/3597.00 c strong branching : 0.00 - - 0 0
3587.68/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.68/3597.00 c adaptivediving : 0.65 0.00 1 0 0
3587.68/3597.00 c alns : 7.52 0.00 5 0 0
3587.68/3597.00 c bound : 0.00 0.00 0 0 0
3587.68/3597.00 c clique : 0.01 0.00 1 0 0
3587.68/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.68/3597.00 c completesol : 0.00 0.00 0 0 0
3587.68/3597.00 c conflictdiving : 18.79 0.00 2 0 0
3587.68/3597.00 c crossover : 0.00 0.00 0 0 0
3587.68/3597.00 c dins : 0.00 0.00 0 0 0
3587.68/3597.00 c distributiondivin: 1.71 0.00 1 0 0
3587.68/3597.00 c dps : 0.00 0.00 0 0 0
3587.68/3597.00 c dualval : 0.00 0.00 0 0 0
3587.68/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.68/3597.00 c feasjump : 0.02 0.00 2 0 0
3587.68/3597.00 c feaspump : 10.56 0.00 2 0 0
3587.68/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.68/3597.00 c fracdiving : 0.01 0.00 1 0 0
3587.68/3597.00 c gins : 0.00 0.00 0 0 0
3587.68/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.68/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.68/3597.00 c indicator : 0.00 0.00 0 0 0
3587.68/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.68/3597.00 c indoneopt : 0.00 0.00 0 0 0
3587.68/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.68/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.68/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.68/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.68/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3587.68/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.68/3597.00 c locks : 0.00 0.00 1 0 0
3587.68/3597.00 c lpface : 0.04 0.00 0 0 0
3587.68/3597.00 c mpec : 0.00 0.00 0 0 0
3587.68/3597.00 c multistart : 0.00 0.00 0 0 0
3587.68/3597.00 c mutation : 0.00 0.00 0 0 0
3587.68/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.68/3597.00 c objpscostdiving : 9.72 0.00 1 0 0
3587.68/3597.00 c octane : 0.00 0.00 0 0 0
3587.68/3597.00 c ofins : 0.00 0.00 0 0 0
3587.68/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.68/3597.00 c padm : 0.00 0.00 0 0 0
3587.68/3597.00 c proximity : 0.00 0.00 0 0 0
3587.68/3597.00 c pscostdiving : 2.10 0.00 1 0 0
3587.68/3597.00 c randrounding : 0.29 0.00 1700 0 0
3587.68/3597.00 c rens : 0.09 0.00 2 0 0
3587.68/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.68/3597.00 c repair : 0.00 0.00 0 0 0
3587.68/3597.00 c rins : 0.00 0.00 0 0 0
3587.68/3597.00 c rootsoldiving : 7.82 0.00 1 0 0
3587.68/3597.00 c rounding : 0.19 0.00 1668 0 0
3587.68/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.68/3597.00 c shiftandpropagate: 0.04 0.00 2 0 0
3587.68/3597.00 c shifting : 0.50 0.00 705 0 0
3587.68/3597.00 c simplerounding : 0.00 0.00 0 0 0
3587.68/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.68/3597.00 c subnlp : 0.01 0.00 0 0 0
3587.68/3597.00 c trivial : 0.00 0.00 4 0 0
3587.68/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.68/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.68/3597.00 c trysol : 0.00 0.00 0 0 0
3587.68/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.68/3597.00 c undercover : 0.00 0.00 0 0 0
3587.68/3597.00 c vbounds : 0.02 0.00 2 0 0
3587.68/3597.00 c veclendiving : 1.04 0.00 1 0 0
3587.68/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.68/3597.00 c zirounding : 0.05 0.00 1000 0 0
3587.68/3597.00 c other solutions : - - - 0 -
3587.68/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
3587.68/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
3587.68/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
3587.68/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
3587.68/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
3587.68/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
3587.68/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
3587.68/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
3587.68/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
3587.68/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
3587.68/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.68/3597.00 c primal LP : 1.36 691 0 0.00 0.00 1.36 691
3587.68/3597.00 c dual LP : 3444.97 24474 17275518 706.51 5014.71 0.02 22
3587.68/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.68/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.68/3597.00 c resolve instable : 0.24 1 2132 2132.00 8916.62
3587.68/3597.00 c diving/probing LP: 52.17 248 225111 907.71 4315.31
3587.68/3597.00 c strong branching : 4.55 22 14777 671.68 3249.52 - - 25
3587.68/3597.00 c (at root node) : - 22 14777 671.68 -
3587.68/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.68/3597.00 c B&B Tree :
3587.68/3597.00 c number of runs : 2
3587.68/3597.00 c nodes : 22899 (11527 internal, 11372 leaves)
3587.68/3597.00 c feasible leaves : 0
3587.68/3597.00 c infeas. leaves : 11371
3587.68/3597.00 c objective leaves : 0
3587.68/3597.00 c nodes (total) : 24173 (12181 internal, 11992 leaves)
3587.68/3597.00 c nodes left : 90
3587.68/3597.00 c max depth : 128
3587.68/3597.00 c max depth (total): 128
3587.68/3597.00 c backtracks : 1795 (7.8%)
3587.68/3597.00 c early backtracks : 0 (0.0%)
3587.68/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.68/3597.00 c delayed cutoffs : 67
3587.68/3597.00 c repropagations : 37263 (101675 domain reductions, 57 cutoffs)
3587.68/3597.00 c avg switch length: 4.90
3587.68/3597.00 c switching time : 5.27
3587.68/3597.00 c Root Node :
3587.68/3597.00 c First LP value : +0.00000000000000e+00
3587.68/3597.00 c First LP Iters : 7283 (5547.68 Iter/sec)
3587.68/3597.00 c First LP Time : 1.31
3587.68/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.68/3597.00 c Final Root Iters : 111801
3587.68/3597.00 c Root LP Estimate : +1.52152437683718e-02
3587.68/3597.00 c Solution :
3587.68/3597.00 c Solutions found : 0 (0 improvements)
3587.68/3597.00 c Primal Bound : -
3587.68/3597.00 c Dual Bound : +0.00000000000000e+00
3587.68/3597.00 c Gap : infinite
3587.68/3597.00 c Integrals : Total Avg%
3587.68/3597.00 c primal-dual : 359699.73 100.00
3587.68/3597.00 c primal-ref : - - (not evaluated)
3587.68/3597.00 c dual-ref : - - (not evaluated)
3587.68/3597.03 c Time complete: 3587.72.