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-4447335-1721353243.opb>
0.00/0.01 c original problem has 3740 variables (3740 bin, 0 int, 0 impl, 0 cont) and 3878 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.02 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, 705 clqs
0.00/0.03 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, 692 clqs
0.00/0.03 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, 689 clqs
0.00/0.03 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, 702 clqs
0.00/0.03 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, 724 clqs
0.00/0.03 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, 740 clqs
0.00/0.03 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, 749 clqs
0.00/0.04 c (0.0s) running MILP presolver
0.09/0.20 c (0.2s) MILP presolver (25 rounds): 4 aggregations, 174 fixings, 0 bound changes
0.09/0.20 c (round 8, medium) 899 del vars, 414 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 639 clqs
0.09/0.20 c (round 9, fast) 899 del vars, 592 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 641 clqs
0.20/0.21 c (round 10, exhaustive) 899 del vars, 656 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 641 clqs
0.20/0.22 c (round 11, exhaustive) 899 del vars, 656 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 3222 upgd conss, 0 impls, 641 clqs
0.20/0.23 c (round 12, exhaustive) 924 del vars, 657 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 29 chg coeffs, 3222 upgd conss, 0 impls, 641 clqs
0.20/0.23 c (round 13, fast) 949 del vars, 681 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 29 chg coeffs, 3222 upgd conss, 0 impls, 643 clqs
0.50/0.56 c (round 14, exhaustive) 974 del vars, 682 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 29 chg coeffs, 3222 upgd conss, 0 impls, 21373 clqs
0.50/0.56 c (round 15, fast) 974 del vars, 707 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 54 chg coeffs, 3222 upgd conss, 0 impls, 21373 clqs
0.50/0.58 c (round 16, exhaustive) 999 del vars, 707 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 54 chg coeffs, 3222 upgd conss, 0 impls, 21373 clqs
0.50/0.58 c (round 17, fast) 999 del vars, 732 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 79 chg coeffs, 3222 upgd conss, 0 impls, 21373 clqs
0.79/0.88 c (0.9s) probing: 1000/3081 (32.5%) - 68 fixings, 2 aggregations, 356632 implications, 0 bound changes
0.89/0.95 c (round 18, exhaustive) 1024 del vars, 732 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 79 chg coeffs, 3222 upgd conss, 0 impls, 21823 clqs
0.89/0.95 c (round 19, fast) 1024 del vars, 757 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 122 chg coeffs, 3222 upgd conss, 0 impls, 21830 clqs
0.89/0.99 c (round 20, exhaustive) 1049 del vars, 757 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 122 chg coeffs, 3222 upgd conss, 0 impls, 21827 clqs
0.89/0.99 c (round 21, fast) 1049 del vars, 782 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 161 chg coeffs, 3222 upgd conss, 0 impls, 21834 clqs
1.38/1.45 c (1.5s) probing: 2000/3081 (64.9%) - 121 fixings, 2 aggregations, 670445 implications, 0 bound changes
1.38/1.47 c (round 22, exhaustive) 1074 del vars, 782 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 161 chg coeffs, 3222 upgd conss, 0 impls, 21842 clqs
1.38/1.47 c (round 23, fast) 1074 del vars, 807 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 203 chg coeffs, 3222 upgd conss, 0 impls, 21846 clqs
1.88/1.99 c (2.0s) probing: 3000/3081 (97.4%) - 136 fixings, 2 aggregations, 975885 implications, 0 bound changes
1.99/2.03 c (2.0s) probing cycle finished: starting next cycle
2.48/2.58 c (2.6s) probing: 1000/2943 (34.0%) - 139 fixings, 2 aggregations, 1322211 implications, 0 bound changes
2.58/2.69 c (2.7s) probing: 1206/2943 (41.0%) - 139 fixings, 2 aggregations, 1388125 implications, 0 bound changes
2.58/2.69 c (2.7s) probing aborted: 1000/1000 successive useless probings
2.58/2.69 c (round 24, exhaustive) 1092 del vars, 807 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 206 chg coeffs, 3222 upgd conss, 0 impls, 21726 clqs
2.58/2.69 c (round 25, fast) 1092 del vars, 823 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 224 chg coeffs, 3222 upgd conss, 0 impls, 21726 clqs
2.68/2.76 c (2.8s) probing: 1306/2943 (44.4%) - 139 fixings, 2 aggregations, 1419793 implications, 0 bound changes
2.68/2.76 c (2.8s) probing aborted: 1000/1000 successive useless probings
2.68/2.76 c (2.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.68/2.78 c (2.8s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
2.68/2.78 c dynamic symmetry handling statistics:
2.68/2.78 c orbitopal reduction: no components
2.68/2.78 c orbital reduction: no components
2.68/2.78 c lexicographic reduction: 3 permutations with support sizes 294, 116, 110
2.68/2.78 c handled 3 out of 3 symmetry components
2.68/2.78 c presolving (26 rounds: 26 fast, 11 medium, 10 exhaustive):
2.68/2.78 c 1092 deleted vars, 823 deleted constraints, 0 added constraints, 190 tightened bounds, 0 added holes, 0 changed sides, 224 changed coefficients
2.68/2.78 c 0 implications, 21873 cliques
2.68/2.78 c presolved problem has 2940 variables (2940 bin, 0 int, 0 impl, 0 cont) and 3055 constraints
2.68/2.78 c 628 constraints of type <setppc>
2.68/2.78 c 2427 constraints of type <logicor>
2.68/2.78 c transformed objective value is always integral (scale: 1)
2.68/2.78 c Presolving Time: 2.76
2.68/2.78 c - non default parameters ----------------------------------------------------------------------
2.68/2.78 c # SCIP version 10.0.0
2.68/2.78 c
2.68/2.78 c # maximal time in seconds to run
2.68/2.78 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.68/2.78 c limits/time = 3596.996999
2.68/2.78 c
2.68/2.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.68/2.78 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.68/2.78 c limits/memory = 27900
2.68/2.78 c
2.68/2.78 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.68/2.78 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.68/2.78 c limits/solutions = 1
2.68/2.78 c
2.68/2.78 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.68/2.78 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.68/2.78 c misc/usesymmetry = 3
2.68/2.78 c
2.68/2.78 c # belongs reading time to solving time?
2.68/2.78 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.68/2.78 c timing/reading = TRUE
2.68/2.78 c
2.68/2.78 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.68/2.78 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.68/2.78 c propagating/symmetry/detectdoublelex = FALSE
2.68/2.78 c
2.68/2.78 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.68/2.78 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.68/2.78 c propagating/symmetry/detectsubgroups = FALSE
2.68/2.78 c
2.68/2.78 c # Type of symmetries that shall be computed?
2.68/2.78 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.68/2.78 c propagating/symmetry/symtype = 1
2.68/2.78 c
2.68/2.78 c # Should components consisting of a single full reflection be handled?
2.68/2.78 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.68/2.78 c propagating/symmetry/usesimplesgncomp = FALSE
2.68/2.78 c
2.68/2.78 c -----------------------------------------------------------------------------------------------
2.68/2.78 c start solving
2.68/2.78 c
4.07/4.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.07/4.13 c 4.1s| 1 | 0 | 7395 | - | 48M | 0 |2940 |3140 |3055 | 0 | 0 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown
13.43/13.59 c 13.6s| 1 | 0 | 43473 | - | 54M | 0 |2940 |3342 |3063 | 8 | 1 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
14.13/14.22 c 14.2s| 1 | 0 | 45203 | - | 56M | 0 |2940 |3346 |3076 | 21 | 2 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
14.73/14.83 c 14.8s| 1 | 0 | 46858 | - | 57M | 0 |2940 |3355 |3086 | 31 | 3 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown
15.43/15.55 c 15.5s| 1 | 0 | 48942 | - | 57M | 0 |2940 |3361 |3097 | 42 | 4 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
16.53/16.60 c 16.6s| 1 | 0 | 52172 | - | 58M | 0 |2940 |3367 |3106 | 51 | 5 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
17.22/17.38 c 17.4s| 1 | 0 | 54144 | - | 59M | 0 |2940 |3372 |3113 | 58 | 6 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
18.32/18.47 c 18.5s| 1 | 0 | 57394 | - | 61M | 0 |2940 |3368 |3125 | 70 | 7 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
19.42/19.50 c 19.5s| 1 | 0 | 60388 | - | 61M | 0 |2940 |3376 |3137 | 82 | 8 | 130 | 0 | 0.000000e+00 | -- | Inf | unknown
20.31/20.48 c 20.5s| 1 | 0 | 63188 | - | 61M | 0 |2940 |3375 |3145 | 90 | 9 | 131 | 0 | 0.000000e+00 | -- | Inf | unknown
21.71/21.86 c 21.9s| 1 | 0 | 67581 | - | 62M | 0 |2940 |3374 |3151 | 96 | 10 | 136 | 0 | 0.000000e+00 | -- | Inf | unknown
22.31/22.43 c 22.4s| 1 | 0 | 69278 | - | 63M | 0 |2940 |3375 |3157 | 102 | 11 | 137 | 0 | 0.000000e+00 | -- | Inf | unknown
35.36/35.55 c 35.5s| 1 | 2 |109414 | - | 63M | 0 |2940 |3376 |3157 | 102 | 11 | 157 | 11 | 0.000000e+00 | -- | Inf | unknown
81.91/82.21 c 82.2s| 100 | 25 |297841 |2308.7 | 70M | 41 |2940 |3417 |3115 | 128 | 0 | 229 | 11 | 0.000000e+00 | -- | Inf | 3.15%
90.58/90.90 c 90.9s| 200 | 25 |339927 |1360.0 | 73M | 59 |2940 |3428 |3120 | 144 | 0 | 248 | 11 | 0.000000e+00 | -- | Inf | 3.15%
97.66/98.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
97.66/98.05 c 98.0s| 300 | 25 |380044 |1039.4 | 75M | 80 |2940 |3441 |3119 | 159 | 1 | 269 | 11 | 0.000000e+00 | -- | Inf | 3.15%
104.64/105.06 c 105s| 400 | 23 |419797 | 878.5 | 76M | 80 |2940 |3461 |3118 | 170 | 0 | 292 | 11 | 0.000000e+00 | -- | Inf | 3.15%
112.91/113.37 c 113s| 500 | 25 |466474 | 796.0 | 77M | 80 |2940 |3453 |3121 | 180 | 1 | 304 | 11 | 0.000000e+00 | -- | Inf | 3.15%
119.29/119.70 c 120s| 600 | 23 |501092 | 720.9 | 78M | 80 |2940 |3503 |3112 | 182 | 1 | 361 | 11 | 0.000000e+00 | -- | Inf | 3.15%
123.58/124.04 c 124s| 700 | 23 |525846 | 653.2 | 80M | 80 |2940 |3529 |3121 | 193 | 0 | 426 | 11 | 0.000000e+00 | -- | Inf | 3.15%
130.45/130.97 c 131s| 800 | 23 |563337 | 618.3 | 82M | 80 |2940 |3521 | 0 | 211 | 0 | 468 | 11 | 0.000000e+00 | -- | Inf | 3.15%
140.72/141.24 c 141s| 900 | 27 |619102 | 611.6 | 83M | 80 |2940 |3506 |3121 | 238 | 1 | 508 | 11 | 0.000000e+00 | -- | Inf | 3.56%
146.40/146.90 c 147s| 1000 | 27 |650480 | 581.8 | 84M | 80 |2940 |3527 |3107 | 246 | 1 | 567 | 11 | 0.000000e+00 | -- | Inf | 3.56%
158.95/159.50 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
158.95/159.57 c (run 1, node 1064) performing user restart
158.95/159.57 c
158.95/159.57 c (restart) converted 52 cuts from the global cut pool into linear constraints
158.95/159.57 c
158.95/159.58 c presolving:
158.95/159.58 c (round 1, fast) 0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 21873 clqs
158.95/159.59 c (round 2, exhaustive) 0 del vars, 9 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 21873 clqs
158.95/159.59 c (round 3, exhaustive) 0 del vars, 14 del conss, 2 add conss, 0 chg bounds, 4 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 21873 clqs
159.05/159.60 c (round 4, exhaustive) 0 del vars, 14 del conss, 2 add conss, 0 chg bounds, 4 chg sides, 2 chg coeffs, 242 upgd conss, 0 impls, 21873 clqs
159.05/159.60 c (round 5, medium) 0 del vars, 19 del conss, 11 add conss, 0 chg bounds, 28 chg sides, 41 chg coeffs, 242 upgd conss, 0 impls, 21873 clqs
159.05/159.61 c (round 6, exhaustive) 0 del vars, 43 del conss, 11 add conss, 0 chg bounds, 28 chg sides, 63 chg coeffs, 242 upgd conss, 0 impls, 21873 clqs
159.05/159.65 c (round 7, exhaustive) 0 del vars, 62 del conss, 11 add conss, 0 chg bounds, 28 chg sides, 1013 chg coeffs, 242 upgd conss, 0 impls, 21873 clqs
159.15/159.71 c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
159.15/159.71 c 0 deleted vars, 63 deleted constraints, 11 added constraints, 0 tightened bounds, 0 added holes, 28 changed sides, 1089 changed coefficients
159.15/159.71 c 0 implications, 21873 cliques
159.15/159.71 c presolved problem has 2940 variables (2940 bin, 0 int, 0 impl, 0 cont) and 3498 constraints
159.15/159.71 c 30 constraints of type <knapsack>
159.15/159.71 c 721 constraints of type <setppc>
159.15/159.71 c 2747 constraints of type <logicor>
159.15/159.71 c transformed objective value is always integral (scale: 1)
159.15/159.71 c Presolving Time: 2.89
159.15/159.71 c
160.65/161.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
160.65/161.25 c 161s| 1 | 0 |719787 | - | 85M | 0 |2940 |3580 |3086 | 0 | 0 | 683 | 11 | 0.000000e+00 | -- | Inf | unknown
161.35/161.92 c 162s| 1 | 0 |721526 | - | 87M | 0 |2940 |3568 |3098 | 12 | 1 | 684 | 11 | 0.000000e+00 | -- | Inf | unknown
162.05/162.61 c 163s| 1 | 0 |723675 | - | 87M | 0 |2940 |3564 |3107 | 21 | 2 | 687 | 11 | 0.000000e+00 | -- | Inf | unknown
162.75/163.36 c 163s| 1 | 0 |725874 | - | 87M | 0 |2940 |3560 |3118 | 32 | 3 | 693 | 11 | 0.000000e+00 | -- | Inf | unknown
163.64/164.23 c 164s| 1 | 0 |728409 | - | 87M | 0 |2940 |3565 |3127 | 41 | 4 | 698 | 11 | 0.000000e+00 | -- | Inf | unknown
164.45/165.06 c 165s| 1 | 0 |730740 | - | 88M | 0 |2940 |3567 |3138 | 52 | 5 | 700 | 11 | 0.000000e+00 | -- | Inf | unknown
165.64/166.21 c 166s| 1 | 0 |734385 | - | 88M | 0 |2940 |3565 |3148 | 62 | 6 | 701 | 11 | 0.000000e+00 | -- | Inf | unknown
166.63/167.21 c 167s| 1 | 0 |737392 | - | 89M | 0 |2940 |3559 |3156 | 70 | 7 | 706 | 11 | 0.000000e+00 | -- | Inf | unknown
167.63/168.21 c 168s| 1 | 0 |740148 | - | 89M | 0 |2940 |3553 |3163 | 77 | 8 | 707 | 11 | 0.000000e+00 | -- | Inf | unknown
168.82/169.43 c 169s| 1 | 0 |743892 | - | 90M | 0 |2940 |3550 |3176 | 90 | 9 | 714 | 11 | 0.000000e+00 | -- | Inf | unknown
169.92/170.57 c 171s| 1 | 0 |747197 | - | 90M | 0 |2940 |3553 |3189 | 103 | 10 | 724 | 11 | 0.000000e+00 | -- | Inf | unknown
171.02/171.66 c 172s| 1 | 0 |750687 | - | 90M | 0 |2940 |3539 |3151 | 112 | 11 | 726 | 11 | 0.000000e+00 | -- | Inf | unknown
179.49/180.12 c 180s| 1 | 2 |773812 | - | 90M | 0 |2940 |3472 |3151 | 112 | 11 | 731 | 22 | 0.000000e+00 | -- | Inf | unknown
212.46/213.23 c 213s| 100 | 21 |939975 | 714.8 | 96M | 20 |2940 |3459 |3098 | 184 | 1 | 751 | 22 | 0.000000e+00 | -- | Inf | 0.59%
221.92/222.77 c 223s| 200 | 25 |990263 | 698.0 | 96M | 32 |2940 |3469 |3104 | 209 | 0 | 771 | 22 | 0.000000e+00 | -- | Inf | 0.71%
229.09/229.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
229.09/229.91 c 230s| 300 | 29 | 1029k| 675.5 | 97M | 52 |2940 |3500 |3113 | 221 | 1 | 806 | 22 | 0.000000e+00 | -- | Inf | 0.71%
236.27/237.14 c 237s| 400 | 25 | 1067k| 655.7 | 98M | 57 |2940 |3545 |3105 | 246 | 1 | 866 | 22 | 0.000000e+00 | -- | Inf | 0.71%
244.44/245.35 c 245s| 500 | 23 | 1111k| 641.8 | 98M | 57 |2940 |3515 |3108 | 285 | 1 | 896 | 22 | 0.000000e+00 | -- | Inf | 0.81%
258.38/259.37 c 259s| 600 | 31 | 1179k| 644.2 | 98M | 57 |2940 |3509 |3110 | 373 | 1 | 926 | 22 | 0.000000e+00 | -- | Inf | 0.89%
273.22/274.22 c 274s| 700 | 39 | 1253k| 649.2 | 99M | 57 |2940 |3529 |3110 | 412 | 0 | 962 | 22 | 0.000000e+00 | -- | Inf | 0.90%
282.69/283.76 c 284s| 800 | 45 | 1304k| 641.9 | 99M | 57 |2940 |3673 |3117 | 434 | 0 |1119 | 22 | 0.000000e+00 | -- | Inf | 0.91%
294.55/295.66 c 296s| 900 | 47 | 1365k| 640.4 | 104M | 57 |2940 |3687 |3122 | 541 | 1 |1153 | 22 | 0.000000e+00 | -- | Inf | 1.31%
306.00/307.16 c 307s| 1000 | 47 | 1426k| 639.0 | 106M | 57 |2940 |3699 |3123 | 592 | 1 |1171 | 22 | 0.000000e+00 | -- | Inf | 1.31%
317.16/318.38 c 318s| 1100 | 47 | 1485k| 636.5 | 107M | 57 |2940 |3734 | 0 | 627 | 0 |1208 | 22 | 0.000000e+00 | -- | Inf | 1.31%
327.71/328.95 c 329s| 1200 | 53 | 1539k| 632.5 | 108M | 57 |2940 |3721 |3118 | 667 | 1 |1245 | 22 | 0.000000e+00 | -- | Inf | 1.33%
341.47/342.75 c 343s| 1300 | 51 | 1611k| 635.8 | 108M | 57 |2940 |3719 |3114 | 706 | 1 |1293 | 22 | 0.000000e+00 | -- | Inf | 1.34%
351.03/352.37 c 352s| 1400 | 51 | 1662k| 630.9 | 110M | 61 |2940 |3750 |3118 | 718 | 1 |1333 | 22 | 0.000000e+00 | -- | Inf | 1.34%
361.59/362.99 c 363s| 1500 | 49 | 1719k| 628.7 | 110M | 80 |2940 |3760 |3125 | 752 | 1 |1365 | 22 | 0.000000e+00 | -- | Inf | 1.34%
372.75/374.18 c 374s| 1600 | 47 | 1777k| 626.8 | 112M | 80 |2940 |3763 |3110 | 814 | 0 |1406 | 22 | 0.000000e+00 | -- | Inf | 1.37%
385.70/387.15 c 387s| 1700 | 49 | 1843k| 628.0 | 112M | 80 |2940 |3740 |3124 | 899 | 1 |1443 | 22 | 0.000000e+00 | -- | Inf | 1.53%
398.24/399.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
398.24/399.73 c 400s| 1800 | 47 | 1907k| 628.3 | 113M | 80 |2940 |3760 |3132 | 992 | 1 |1474 | 22 | 0.000000e+00 | -- | Inf | 1.53%
405.11/406.63 c 407s| 1900 | 43 | 1943k| 619.2 | 114M | 80 |2940 |3769 |3137 |1008 | 0 |1535 | 22 | 0.000000e+00 | -- | Inf | 1.53%
416.37/417.99 c 418s| 2000 | 46 | 2002k| 618.2 | 114M | 80 |2940 |3817 |3134 |1046 | 0 |1594 | 22 | 0.000000e+00 | -- | Inf | 1.53%
426.63/428.23 c 428s| 2100 | 44 | 2056k| 616.0 | 114M | 80 |2940 |3786 |3129 |1101 | 1 |1625 | 22 | 0.000000e+00 | -- | Inf | 1.53%
436.10/437.74 c 438s| 2200 | 42 | 2105k| 611.8 | 115M | 80 |2940 |3810 |3123 |1171 | 1 |1676 | 22 | 0.000000e+00 | -- | Inf | 1.53%
448.05/449.79 c 450s| 2300 | 44 | 2167k| 612.2 | 115M | 80 |2940 |3852 |3125 |1246 | 0 |1735 | 22 | 0.000000e+00 | -- | Inf | 1.53%
458.01/459.78 c 460s| 2400 | 46 | 2219k| 609.6 | 116M | 80 |2940 |3888 | 0 |1306 | 0 |1795 | 22 | 0.000000e+00 | -- | Inf | 1.54%
467.87/469.67 c 470s| 2500 | 50 | 2272k| 607.4 | 116M | 80 |2940 |3917 |3117 |1331 | 1 |1842 | 22 | 0.000000e+00 | -- | Inf | 1.54%
478.53/480.30 c 480s| 2600 | 49 | 2328k| 606.1 | 116M | 80 |2940 |3949 |3118 |1379 | 0 |1881 | 22 | 0.000000e+00 | -- | Inf | 1.54%
488.39/490.22 c 490s| 2700 | 51 | 2381k| 603.9 | 116M | 80 |2940 |3975 |3122 |1414 | 0 |1919 | 22 | 0.000000e+00 | -- | Inf | 1.54%
498.85/500.75 c 501s| 2800 | 51 | 2438k| 603.0 | 116M | 80 |2940 |4003 |3123 |1460 | 1 |1955 | 22 | 0.000000e+00 | -- | Inf | 1.54%
507.32/509.20 c 509s| 2900 | 49 | 2482k| 599.0 | 117M | 80 |2940 |4060 |3133 |1485 | 0 |2020 | 22 | 0.000000e+00 | -- | Inf | 1.54%
518.68/520.62 c 521s| 3000 | 57 | 2543k| 599.3 | 117M | 80 |2940 |4058 |3119 |1524 | 1 |2067 | 22 | 0.000000e+00 | -- | Inf | 1.54%
527.44/529.46 c 529s| 3100 | 59 | 2590k| 596.2 | 117M | 80 |2940 |4071 |3119 |1561 | 0 |2098 | 22 | 0.000000e+00 | -- | Inf | 1.54%
537.41/539.44 c 539s| 3200 | 59 | 2641k| 594.2 | 119M | 80 |2940 |4096 | 0 |1622 | 0 |2144 | 22 | 0.000000e+00 | -- | Inf | 1.54%
546.08/548.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
546.08/548.15 c 548s| 3300 | 59 | 2688k| 591.4 | 120M | 80 |2940 |4116 |3132 |1646 | 0 |2194 | 22 | 0.000000e+00 | -- | Inf | 1.54%
553.14/555.28 c 555s| 3400 | 59 | 2727k| 586.8 | 121M | 80 |2940 |4165 |3133 |1655 | 1 |2248 | 22 | 0.000000e+00 | -- | Inf | 1.54%
560.62/562.77 c 563s| 3500 | 59 | 2767k| 582.8 | 121M | 80 |2940 |4200 |3133 |1681 | 1 |2297 | 22 | 0.000000e+00 | -- | Inf | 1.54%
569.08/571.25 c 571s| 3600 | 57 | 2813k| 580.1 | 121M | 80 |2940 |4216 |3122 |1696 | 0 |2332 | 22 | 0.000000e+00 | -- | Inf | 1.54%
581.73/583.96 c 584s| 3700 | 65 | 2879k| 581.8 | 123M | 80 |2940 |4128 |3122 |1749 | 1 |2371 | 22 | 0.000000e+00 | -- | Inf | 1.54%
594.28/596.59 c 597s| 3800 | 65 | 2943k| 583.0 | 123M | 80 |2940 |4139 |3121 |1828 | 0 |2390 | 22 | 0.000000e+00 | -- | Inf | 1.54%
606.84/609.14 c 609s| 3900 | 63 | 3009k| 584.5 | 124M | 80 |2940 |4153 |3123 |1885 | 0 |2419 | 22 | 0.000000e+00 | -- | Inf | 1.54%
618.69/621.09 c 621s| 4000 | 61 | 3069k| 584.8 | 124M | 80 |2940 |4184 |3134 |1954 | 1 |2467 | 22 | 0.000000e+00 | -- | Inf | 1.54%
629.95/632.38 c 632s| 4100 | 65 | 3128k| 584.9 | 124M | 80 |2940 |4120 |3121 |1996 | 1 |2512 | 22 | 0.000000e+00 | -- | Inf | 1.54%
642.80/645.23 c 645s| 4200 | 71 | 3195k| 586.5 | 124M | 80 |2940 |4149 |3135 |2063 | 0 |2559 | 22 | 0.000000e+00 | -- | Inf | 1.54%
655.15/657.64 c 658s| 4300 | 69 | 3260k| 587.8 | 125M | 80 |2940 |4125 |3124 |2112 | 0 |2563 | 22 | 0.000000e+00 | -- | Inf | 1.54%
665.01/667.54 c 668s| 4400 | 73 | 3312k| 586.5 | 128M | 80 |2940 |4101 |3130 |2176 | 1 |2591 | 22 | 0.000000e+00 | -- | Inf | 1.54%
672.68/675.21 c 675s| 4500 | 70 | 3351k| 583.0 | 132M | 80 |2940 |4151 |3118 |2207 | 1 |2670 | 22 | 0.000000e+00 | -- | Inf | 1.54%
681.85/684.41 c 684s| 4600 | 70 | 3401k| 581.5 | 133M | 100 |2940 |4189 |3136 |2219 | 1 |2766 | 22 | 0.000000e+00 | -- | Inf | 1.54%
691.11/693.74 c 694s| 4700 | 68 | 3449k| 579.7 | 133M | 105 |2940 |4132 |3107 |2298 | 0 |2813 | 22 | 0.000000e+00 | -- | Inf | 1.54%
701.77/704.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
701.77/704.41 c 704s| 4800 | 70 | 3505k| 579.4 | 135M | 105 |2940 |4017 |3125 |2332 | 1 |2843 | 22 | 0.000000e+00 | -- | Inf | 1.64%
710.74/713.45 c 713s| 4900 | 74 | 3552k| 577.6 | 136M | 105 |2940 |4016 |3099 |2379 | 0 |2892 | 22 | 0.000000e+00 | -- | Inf | 1.68%
720.21/722.95 c 723s| 5000 | 70 | 3605k| 576.8 | 136M | 105 |2940 |4048 |3097 |2389 | 1 |2936 | 22 | 0.000000e+00 | -- | Inf | 1.69%
729.87/732.66 c 733s| 5100 | 66 | 3658k| 576.0 | 136M | 105 |2940 |4062 |3145 |2393 | 0 |2967 | 22 | 0.000000e+00 | -- | Inf | 1.75%
740.93/743.70 c 744s| 5200 | 62 | 3715k| 576.0 | 136M | 105 |2940 |4057 |3135 |2452 | 0 |3013 | 22 | 0.000000e+00 | -- | Inf | 1.75%
748.60/751.40 c 751s| 5300 | 62 | 3755k| 573.2 | 136M | 105 |2940 |4088 |3134 |2490 | 0 |3076 | 22 | 0.000000e+00 | -- | Inf | 1.75%
759.36/762.28 c 762s| 5400 | 62 | 3811k| 573.0 | 136M | 105 |2940 |4064 |3122 |2528 | 1 |3116 | 22 | 0.000000e+00 | -- | Inf | 1.75%
769.82/772.76 c 773s| 5500 | 62 | 3866k| 572.6 | 136M | 105 |2940 |4100 |3135 |2584 | 1 |3187 | 22 | 0.000000e+00 | -- | Inf | 1.75%
778.98/781.97 c 782s| 5600 | 60 | 3915k| 571.4 | 136M | 105 |2940 |4127 |3129 |2624 | 0 |3237 | 22 | 0.000000e+00 | -- | Inf | 1.75%
788.94/791.96 c 792s| 5700 | 64 | 3968k| 570.8 | 137M | 105 |2940 |4153 |3100 |2655 | 1 |3274 | 22 | 0.000000e+00 | -- | Inf | 1.77%
799.50/802.55 c 803s| 5800 | 64 | 4024k| 570.6 | 137M | 105 |2940 |4167 |3132 |2709 | 0 |3327 | 22 | 0.000000e+00 | -- | Inf | 1.78%
805.78/808.86 c 809s| 5900 | 64 | 4058k| 567.2 | 137M | 105 |2940 |4283 | 0 |2724 | 0 |3458 | 22 | 0.000000e+00 | -- | Inf | 1.78%
812.85/815.96 c 816s| 6000 | 64 | 4095k| 564.5 | 137M | 105 |2940 |4363 |3135 |2733 | 0 |3558 | 22 | 0.000000e+00 | -- | Inf | 1.78%
819.22/822.38 c 822s| 6100 | 64 | 4128k| 561.3 | 138M | 105 |2940 |4450 | 0 |2741 | 0 |3656 | 22 | 0.000000e+00 | -- | Inf | 1.78%
826.50/829.64 c 830s| 6200 | 66 | 4167k| 558.9 | 138M | 105 |2940 |4483 |3138 |2755 | 0 |3694 | 22 | 0.000000e+00 | -- | Inf | 1.78%
832.57/835.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
832.57/835.70 c 836s| 6300 | 66 | 4200k| 555.7 | 138M | 105 |2940 |4510 |3139 |2772 | 2 |3748 | 22 | 0.000000e+00 | -- | Inf | 1.78%
840.14/843.30 c 843s| 6400 | 66 | 4241k| 553.7 | 138M | 105 |2940 |4539 |3136 |2780 | 1 |3779 | 22 | 0.000000e+00 | -- | Inf | 1.78%
850.01/853.28 c 853s| 6500 | 66 | 4293k| 553.3 | 138M | 105 |2940 |4542 |3137 |2801 | 1 |3809 | 22 | 0.000000e+00 | -- | Inf | 1.78%
857.88/861.18 c 861s| 6600 | 65 | 4334k| 551.5 | 139M | 105 |2940 |4647 |3141 |2810 | 2 |3925 | 22 | 0.000000e+00 | -- | Inf | 1.78%
869.23/872.50 c 872s| 6700 | 63 | 4393k| 551.9 | 139M | 105 |2940 |4488 |3132 |2828 | 0 |3986 | 22 | 0.000000e+00 | -- | Inf | 1.78%
879.29/882.66 c 883s| 6800 | 64 | 4447k| 551.9 | 139M | 105 |2940 |4499 |3135 |2848 | 0 |4059 | 22 | 0.000000e+00 | -- | Inf | 1.78%
886.37/889.79 c 890s| 6900 | 64 | 4485k| 549.7 | 139M | 105 |2940 |4557 |3139 |2862 | 1 |4134 | 22 | 0.000000e+00 | -- | Inf | 1.78%
895.64/899.09 c 899s| 7000 | 66 | 4534k| 549.0 | 139M | 105 |2940 |4682 |3136 |2874 | 1 |4268 | 22 | 0.000000e+00 | -- | Inf | 1.78%
907.49/910.91 c 911s| 7100 | 66 | 4597k| 549.9 | 140M | 105 |2940 |4676 |3135 |2879 | 1 |4323 | 22 | 0.000000e+00 | -- | Inf | 1.78%
917.95/921.43 c 921s| 7200 | 62 | 4652k| 549.9 | 140M | 105 |2940 |4701 |3144 |2888 | 0 |4376 | 22 | 0.000000e+00 | -- | Inf | 1.78%
928.81/932.36 c 932s| 7300 | 64 | 4709k| 550.1 | 140M | 105 |2940 |4690 |3111 |2896 | 0 |4459 | 22 | 0.000000e+00 | -- | Inf | 1.78%
939.77/943.39 c 943s| 7400 | 70 | 4767k| 550.5 | 140M | 105 |2940 |4333 | 0 |2947 | 0 |4490 | 22 | 0.000000e+00 | -- | Inf | 1.82%
951.92/955.58 c 956s| 7500 | 68 | 4829k| 551.3 | 141M | 105 |2940 |4296 |3139 |2976 | 1 |4525 | 22 | 0.000000e+00 | -- | Inf | 2.22%
959.69/963.37 c 963s| 7600 | 70 | 4869k| 549.6 | 141M | 105 |2940 |4281 |3129 |3010 | 1 |4586 | 22 | 0.000000e+00 | -- | Inf | 2.22%
969.75/973.47 c 973s| 7700 | 68 | 4922k| 549.3 | 141M | 105 |2940 |4262 |3112 |3050 | 0 |4631 | 22 | 0.000000e+00 | -- | Inf | 2.22%
978.03/981.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
978.03/981.73 c 982s| 7800 | 72 | 4965k| 548.0 | 141M | 105 |2940 |4176 |3141 |3081 | 1 |4707 | 22 | 0.000000e+00 | -- | Inf | 2.27%
990.09/993.86 c 994s| 7900 | 73 | 5028k| 548.9 | 141M | 105 |2940 |4150 |3141 |3112 | 0 |4736 | 22 | 0.000000e+00 | -- | Inf | 2.27%
999.06/1002.82 c 1003s| 8000 | 79 | 5074k| 548.0 | 141M | 105 |2940 |4109 |3102 |3146 | 1 |4769 | 22 | 0.000000e+00 | -- | Inf | 2.69%
1010.32/1014.14 c 1014s| 8100 | 79 | 5134k| 548.5 | 141M | 105 |2940 |4115 |3139 |3178 | 1 |4817 | 22 | 0.000000e+00 | -- | Inf | 2.69%
1020.19/1024.01 c 1024s| 8200 | 75 | 5186k| 548.2 | 141M | 105 |2940 |4103 |3124 |3221 | 1 |4861 | 22 | 0.000000e+00 | -- | Inf | 2.70%
1029.46/1033.36 c 1033s| 8300 | 79 | 5237k| 547.8 | 141M | 105 |2940 |4124 |3109 |3283 | 1 |4910 | 22 | 0.000000e+00 | -- | Inf | 2.71%
1037.43/1041.39 c 1041s| 8400 | 76 | 5281k| 546.6 | 141M | 105 |2940 |4160 |3138 |3334 | 0 |4955 | 22 | 0.000000e+00 | -- | Inf | 2.71%
1049.59/1053.54 c 1054s| 8500 | 77 | 5346k| 547.7 | 141M | 105 |2940 |4186 |3098 |3356 | 1 |5003 | 22 | 0.000000e+00 | -- | Inf | 2.72%
1060.86/1064.89 c 1065s| 8600 | 73 | 5406k| 548.3 | 141M | 105 |2940 |4180 |3141 |3382 | 0 |5046 | 22 | 0.000000e+00 | -- | Inf | 2.73%
1073.82/1077.80 c 1078s| 8700 | 75 | 5473k| 549.5 | 142M | 105 |2940 |4220 |3138 |3414 | 1 |5133 | 22 | 0.000000e+00 | -- | Inf | 2.73%
1081.29/1085.39 c 1085s| 8800 | 77 | 5513k| 548.0 | 142M | 105 |2940 |4289 |3139 |3432 | 1 |5210 | 22 | 0.000000e+00 | -- | Inf | 2.73%
1091.26/1095.33 c 1095s| 8900 | 77 | 5565k| 547.7 | 142M | 105 |2940 |4334 |3139 |3456 | 1 |5264 | 22 | 0.000000e+00 | -- | Inf | 2.73%
1098.54/1102.63 c 1103s| 9000 | 79 | 5603k| 546.0 | 142M | 105 |2940 |4381 |3143 |3470 | 0 |5315 | 22 | 0.000000e+00 | -- | Inf | 2.73%
1104.62/1108.78 c 1109s| 9100 | 77 | 5635k| 543.8 | 142M | 105 |2940 |4424 |3105 |3480 | 1 |5395 | 22 | 0.000000e+00 | -- | Inf | 2.74%
1114.39/1118.52 c 1119s| 9200 | 76 | 5687k| 543.6 | 142M | 105 |2940 |4448 | 0 |3492 | 0 |5446 | 22 | 0.000000e+00 | -- | Inf | 2.74%
1123.76/1127.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1123.76/1127.91 c 1128s| 9300 | 80 | 5736k| 543.1 | 142M | 105 |2940 |4385 |3102 |3532 | 0 |5485 | 22 | 0.000000e+00 | -- | Inf | 2.77%
1135.21/1139.44 c 1139s| 9400 | 82 | 5796k| 543.6 | 142M | 105 |2940 |4364 |3127 |3568 | 1 |5536 | 22 | 0.000000e+00 | -- | Inf | 2.98%
1147.97/1152.29 c 1152s| 9500 | 86 | 5861k| 544.6 | 142M | 105 |2940 |4380 | 0 |3597 | 0 |5613 | 22 | 0.000000e+00 | -- | Inf | 3.36%
1156.73/1161.08 c 1161s| 9600 | 86 | 5908k| 543.9 | 142M | 105 |2940 |4418 |3094 |3600 | 0 |5681 | 22 | 0.000000e+00 | -- | Inf | 3.37%
1168.38/1172.74 c 1173s| 9700 | 87 | 5971k| 544.7 | 142M | 105 |2940 |4465 |3101 |3628 | 1 |5743 | 22 | 0.000000e+00 | -- | Inf | 4.04%
1178.84/1183.20 c 1183s| 9800 | 86 | 6024k| 544.6 | 143M | 105 |2940 |4514 |3124 |3658 | 0 |5821 | 22 | 0.000000e+00 | -- | Inf | 4.15%
1188.11/1192.59 c 1193s| 9900 | 86 | 6073k| 544.1 | 143M | 105 |2940 |4548 |3125 |3695 | 0 |5880 | 22 | 0.000000e+00 | -- | Inf | 4.24%
1199.47/1203.93 c 1204s| 10000 | 85 | 6133k| 544.6 | 143M | 105 |2940 |4607 |3101 |3729 | 0 |5960 | 22 | 0.000000e+00 | -- | Inf | 4.32%
1210.93/1215.40 c 1215s| 10100 | 84 | 6192k| 545.0 | 143M | 105 |2940 |4679 |3139 |3758 | 1 |6064 | 22 | 0.000000e+00 | -- | Inf | 4.54%
1218.40/1222.95 c 1223s| 10200 | 86 | 6232k| 543.7 | 143M | 105 |2940 |4745 |3104 |3778 | 1 |6167 | 22 | 0.000000e+00 | -- | Inf | 4.54%
1231.05/1235.65 c 1236s| 10300 | 85 | 6298k| 544.8 | 143M | 105 |2940 |4737 |3139 |3795 | 0 |6224 | 22 | 0.000000e+00 | -- | Inf | 4.54%
1241.11/1245.77 c 1246s| 10400 | 87 | 6351k| 544.6 | 143M | 105 |2940 |4667 |3122 |3819 | 1 |6257 | 22 | 0.000000e+00 | -- | Inf | 4.95%
1250.87/1255.52 c 1256s| 10500 | 90 | 6402k| 544.3 | 144M | 105 |2940 |4652 |3103 |3867 | 1 |6284 | 22 | 0.000000e+00 | -- | Inf | 5.43%
1259.35/1264.07 c 1264s| 10600 | 98 | 6445k| 543.4 | 144M | 105 |2940 |4725 |3103 |3935 | 1 |6392 | 22 | 0.000000e+00 | -- | Inf | 5.53%
1268.41/1273.10 c 1273s| 10700 | 88 | 6494k| 542.9 | 144M | 105 |2940 |4784 |3116 |3981 | 0 |6467 | 22 | 0.000000e+00 | -- | Inf | 5.56%
1280.06/1284.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1280.06/1284.86 c 1285s| 10800 | 90 | 6555k| 543.4 | 144M | 105 |2940 |4807 |3102 |4020 | 0 |6528 | 22 | 0.000000e+00 | -- | Inf | 5.69%
1293.41/1298.21 c 1298s| 10900 | 90 | 6624k| 544.6 | 146M | 105 |2940 |4853 |3111 |4111 | 0 |6593 | 22 | 0.000000e+00 | -- | Inf | 5.98%
1300.38/1305.27 c 1305s| 11000 | 92 | 6663k| 543.3 | 146M | 105 |2940 |4887 |3122 |4155 | 1 |6646 | 22 | 0.000000e+00 | -- | Inf | 6.09%
1308.16/1313.07 c 1313s| 11100 | 90 | 6705k| 542.4 | 146M | 105 |2940 |4934 |3119 |4168 | 0 |6698 | 22 | 0.000000e+00 | -- | Inf | 6.11%
1316.63/1321.53 c 1322s| 11200 | 90 | 6748k| 541.5 | 149M | 105 |2940 |5017 |3120 |4217 | 0 |6817 | 22 | 0.000000e+00 | -- | Inf | 6.25%
1333.56/1338.51 c 1339s| 11300 | 90 | 6836k| 544.2 | 149M | 105 |2940 |5034 |3106 |4253 | 0 |6860 | 22 | 0.000000e+00 | -- | Inf | 6.38%
1347.21/1352.24 c 1352s| 11400 | 94 | 6907k| 545.5 | 149M | 105 |2940 |5053 |3114 |4305 | 0 |6888 | 22 | 0.000000e+00 | -- | Inf | 6.40%
1360.86/1365.94 c 1366s| 11500 | 90 | 6978k| 546.9 | 149M | 105 |2940 |5041 |3138 |4338 | 1 |6915 | 22 | 0.000000e+00 | -- | Inf | 6.54%
1368.72/1373.87 c 1374s| 11600 | 94 | 7021k| 545.9 | 149M | 105 |2940 |5139 |3139 |4344 | 1 |7032 | 22 | 0.000000e+00 | -- | Inf | 6.54%
1378.29/1383.43 c 1383s| 11700 | 94 | 7072k| 545.6 | 149M | 105 |2940 |5109 |3106 |4360 | 0 |7048 | 22 | 0.000000e+00 | -- | Inf | 6.55%
1390.34/1395.58 c 1396s| 11800 | 93 | 7136k| 546.4 | 149M | 105 |2940 |5146 |3113 |4402 | 2 |7094 | 22 | 0.000000e+00 | -- | Inf | 6.56%
1402.20/1407.40 c 1407s| 11900 | 91 | 7199k| 547.0 | 149M | 105 |2940 |5156 |3141 |4426 | 0 |7123 | 22 | 0.000000e+00 | -- | Inf | 6.56%
1409.47/1414.75 c 1415s| 12000 | 95 | 7238k| 545.8 | 149M | 105 |2940 |5211 |3142 |4437 | 0 |7200 | 22 | 0.000000e+00 | -- | Inf | 6.56%
1417.24/1422.51 c 1423s| 12100 | 93 | 7279k| 544.8 | 149M | 105 |2940 |5252 |3145 |4446 | 0 |7254 | 22 | 0.000000e+00 | -- | Inf | 6.56%
1427.30/1432.61 c 1433s| 12200 | 95 | 7332k| 544.7 | 150M | 105 |2940 |5283 |3140 |4453 | 1 |7320 | 22 | 0.000000e+00 | -- | Inf | 6.56%
1433.68/1439.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1433.68/1439.09 c 1439s| 12300 | 93 | 7365k| 543.1 | 150M | 105 |2940 |5305 |3143 |4468 | 0 |7394 | 22 | 0.000000e+00 | -- | Inf | 6.56%
1444.43/1449.86 c 1450s| 12400 | 91 | 7421k| 543.2 | 150M | 105 |2940 |5199 |3131 |4489 | 0 |7430 | 22 | 0.000000e+00 | -- | Inf | 6.57%
1452.61/1458.07 c 1458s| 12500 | 95 | 7465k| 542.4 | 150M | 105 |2940 |5218 |3103 |4503 | 1 |7477 | 22 | 0.000000e+00 | -- | Inf | 6.57%
1462.07/1467.58 c 1468s| 12600 | 92 | 7515k| 542.1 | 150M | 105 |2940 |5164 |3139 |4519 | 0 |7521 | 22 | 0.000000e+00 | -- | Inf | 6.57%
1473.92/1479.47 c 1479s| 12700 | 92 | 7576k| 542.6 | 150M | 105 |2940 |5069 |3122 |4597 | 0 |7550 | 22 | 0.000000e+00 | -- | Inf | 6.81%
1485.38/1490.93 c 1491s| 12800 | 94 | 7636k| 543.0 | 150M | 105 |2940 |5057 | 0 |4613 | 0 |7608 | 22 | 0.000000e+00 | -- | Inf | 6.82%
1494.64/1500.20 c 1500s| 12900 | 92 | 7685k| 542.6 | 150M | 105 |2940 |5079 |3130 |4664 | 0 |7674 | 22 | 0.000000e+00 | -- | Inf | 6.82%
1505.70/1511.31 c 1511s| 13000 | 92 | 7744k| 543.0 | 150M | 105 |2940 |5042 |3130 |4702 | 1 |7717 | 22 | 0.000000e+00 | -- | Inf | 6.84%
1514.86/1520.59 c 1521s| 13100 | 86 | 7792k| 542.5 | 150M | 105 |2940 |5045 |3101 |4754 | 1 |7762 | 22 | 0.000000e+00 | -- | Inf | 6.84%
1529.71/1535.47 c 1535s| 13200 | 91 | 7869k| 544.1 | 150M | 105 |2940 |5058 |3105 |4793 | 0 |7803 | 22 | 0.000000e+00 | -- | Inf | 6.87%
1538.39/1544.14 c 1544s| 13300 | 97 | 7914k| 543.5 | 150M | 105 |2940 |5117 |3113 |4821 | 0 |7896 | 22 | 0.000000e+00 | -- | Inf | 6.90%
1545.55/1551.35 c 1551s| 13400 | 95 | 7953k| 542.4 | 150M | 105 |2940 |5173 |3110 |4832 | 1 |7961 | 22 | 0.000000e+00 | -- | Inf | 6.90%
1559.31/1565.12 c 1565s| 13500 | 93 | 8023k| 543.5 | 151M | 105 |2940 |5206 |3106 |4844 | 0 |8010 | 22 | 0.000000e+00 | -- | Inf | 6.91%
1572.55/1578.50 c 1578s| 13600 | 95 | 8090k| 544.4 | 151M | 105 |2940 |5264 |3108 |4865 | 1 |8086 | 22 | 0.000000e+00 | -- | Inf | 6.91%
1582.81/1588.72 c 1589s| 13700 | 92 | 8144k| 544.3 | 151M | 105 |2940 |5271 |3107 |4885 | 1 |8144 | 22 | 0.000000e+00 | -- | Inf | 6.91%
1592.87/1598.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1592.87/1598.83 c 1599s| 13800 | 93 | 8197k| 544.2 | 152M | 105 |2940 |5311 |3109 |4905 | 0 |8207 | 22 | 0.000000e+00 | -- | Inf | 6.93%
1607.51/1613.56 c 1614s| 13900 | 94 | 8272k| 545.6 | 152M | 105 |2940 |5361 |3109 |4918 | 1 |8274 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1617.77/1623.86 c 1624s| 14000 | 94 | 8326k| 545.6 | 153M | 105 |2940 |5411 |3109 |4933 | 1 |8335 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1632.81/1638.98 c 1639s| 14100 | 93 | 8405k| 547.1 | 153M | 105 |2940 |5485 |3112 |4958 | 1 |8413 | 22 | 0.000000e+00 | -- | Inf | 6.94%
1643.98/1650.19 c 1650s| 14200 | 94 | 8465k| 547.5 | 153M | 105 |2940 |5538 |3112 |4967 | 2 |8477 | 22 | 0.000000e+00 | -- | Inf | 6.95%
1658.72/1664.97 c 1665s| 14300 | 92 | 8540k| 548.8 | 154M | 105 |2940 |5597 |3115 |4992 | 0 |8541 | 22 | 0.000000e+00 | -- | Inf | 6.95%
1671.97/1678.25 c 1678s| 14400 | 94 | 8608k| 549.7 | 154M | 105 |2940 |5630 |3108 |5027 | 0 |8589 | 22 | 0.000000e+00 | -- | Inf | 6.95%
1681.03/1687.36 c 1687s| 14500 | 93 | 8656k| 549.3 | 154M | 105 |2940 |5708 |3105 |5046 | 0 |8701 | 22 | 0.000000e+00 | -- | Inf | 6.96%
1694.58/1700.98 c 1701s| 14600 | 92 | 8730k| 550.4 | 155M | 105 |2940 |5731 |3105 |5064 | 1 |8782 | 22 | 0.000000e+00 | -- | Inf | 6.99%
1711.81/1718.23 c 1718s| 14700 | 94 | 8820k| 552.7 | 155M | 105 |2940 |5719 |3109 |5096 | 0 |8820 | 22 | 0.000000e+00 | -- | Inf | 7.00%
1724.86/1731.38 c 1731s| 14800 | 93 | 8889k| 553.6 | 155M | 105 |2940 |5783 |3111 |5114 | 0 |8906 | 22 | 0.000000e+00 | -- | Inf | 7.00%
1739.81/1746.37 c 1746s| 14900 | 93 | 8967k| 555.0 | 155M | 105 |2940 |5844 |3109 |5129 | 0 |8984 | 22 | 0.000000e+00 | -- | Inf | 7.00%
1759.94/1766.51 c 1767s| 15000 | 93 | 9071k| 558.0 | 155M | 105 |2940 |5900 |3109 |5176 | 1 |9068 | 22 | 0.000000e+00 | -- | Inf | 7.00%
1774.48/1781.12 c 1781s| 15100 | 96 | 9147k| 559.2 | 155M | 105 |2940 |5942 |3109 |5191 | 1 |9138 | 22 | 0.000000e+00 | -- | Inf | 7.00%
1787.93/1794.67 c 1795s| 15200 | 94 | 9218k| 560.2 | 156M | 105 |2940 |6006 |3110 |5206 | 1 |9250 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1802.57/1809.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1802.57/1809.35 c 1809s| 15300 | 94 | 9293k| 561.3 | 156M | 105 |2940 |6043 |3110 |5229 | 1 |9320 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1816.32/1823.13 c 1823s| 15400 | 93 | 9365k| 562.3 | 156M | 105 |2940 |6148 |3112 |5235 | 0 |9442 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1834.55/1841.43 c 1841s| 15500 | 94 | 9461k| 564.7 | 156M | 105 |2940 |6195 |3112 |5242 | 0 |9521 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1845.71/1852.62 c 1853s| 15600 | 90 | 9518k| 564.7 | 156M | 105 |2940 |6195 |3133 |5249 | 2 |9572 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1853.58/1860.55 c 1861s| 15700 | 96 | 9560k| 563.9 | 156M | 105 |2940 |6184 |3138 |5251 | 1 |9621 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1862.15/1869.18 c 1869s| 15800 | 96 | 9606k| 563.2 | 156M | 105 |2940 |6225 |3138 |5252 | 1 |9691 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1872.01/1879.06 c 1879s| 15900 | 94 | 9658k| 563.0 | 156M | 105 |2940 |6233 |3140 |5257 | 0 |9777 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1882.97/1890.06 c 1890s| 16000 | 94 | 9715k| 563.0 | 157M | 105 |2940 |6283 |3139 |5269 | 0 |9855 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1892.33/1899.40 c 1899s| 16100 | 96 | 9764k| 562.6 | 157M | 105 |2940 |6299 |3138 |5272 | 1 |9907 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1901.59/1908.70 c 1909s| 16200 | 96 | 9814k| 562.2 | 157M | 105 |2940 |6339 |3138 |5274 | 0 |9971 | 22 | 0.000000e+00 | -- | Inf | 7.01%
1909.76/1916.96 c 1917s| 16300 | 95 | 9858k| 561.5 | 157M | 105 |2940 |6390 |3139 |5277 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.01%
1922.92/1930.13 c 1930s| 16400 | 94 | 9926k| 562.2 | 157M | 105 |2940 |6429 |3113 |5282 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.01%
1936.86/1944.17 c 1944s| 16500 | 96 | 9998k| 563.1 | 157M | 105 |2940 |6432 |3113 |5286 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.01%
1947.02/1954.32 c 1954s| 16600 | 93 | 10051k| 562.9 | 157M | 105 |2940 |6486 |3140 |5308 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.01%
1958.68/1966.07 c 1966s| 16700 | 91 | 10112k| 563.2 | 157M | 105 |2940 |6540 |3140 |5310 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.01%
1967.44/1974.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1967.44/1974.87 c 1975s| 16800 | 91 | 10160k| 562.7 | 157M | 105 |2940 |6524 |3103 |5318 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.01%
1976.61/1984.03 c 1984s| 16900 | 95 | 10208k| 562.3 | 157M | 105 |2940 |6421 | 0 |5323 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.04%
1985.07/1992.50 c 1992s| 17000 | 94 | 10254k| 561.7 | 157M | 105 |2940 |6369 |3118 |5332 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.04%
1992.65/2000.10 c 2000s| 17100 | 92 | 10295k| 560.9 | 157M | 105 |2940 |6360 |3116 |5336 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.04%
2002.41/2009.91 c 2010s| 17200 | 92 | 10348k| 560.7 | 157M | 105 |2940 |6359 |3116 |5343 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.05%
2010.68/2018.24 c 2018s| 17300 | 92 | 10392k| 560.0 | 157M | 105 |2940 |6402 |3141 |5348 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.05%
2018.84/2026.48 c 2026s| 17400 | 90 | 10434k| 559.3 | 157M | 110 |2940 |6434 |3141 |5348 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.05%
2030.90/2038.56 c 2039s| 17500 | 92 | 10497k| 559.7 | 157M | 110 |2940 |6437 |3137 |5360 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.05%
2039.37/2047.01 c 2047s| 17600 | 92 | 10542k| 559.1 | 157M | 110 |2940 |6427 |3109 |5365 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.06%
2054.91/2062.65 c 2063s| 17700 | 95 | 10621k| 560.3 | 157M | 110 |2940 |6284 |3126 |5385 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.18%
2064.37/2072.13 c 2072s| 17800 | 93 | 10671k| 560.0 | 157M | 110 |2940 |6258 |3097 |5398 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.19%
2073.73/2081.55 c 2082s| 17900 | 89 | 10719k| 559.6 | 157M | 110 |2940 |6208 |3142 |5399 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.19%
2081.00/2088.85 c 2089s| 18000 | 91 | 10758k| 558.7 | 157M | 110 |2940 |6185 |3143 |5402 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 7.19%
2090.77/2098.62 c 2099s| 18100 | 89 | 10808k| 558.4 | 157M | 113 |2940 |6192 | 0 |5411 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.19%
2100.43/2108.36 c 2108s| 18200 | 91 | 10858k| 558.1 | 157M | 131 |2940 |6229 |3105 |5419 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.19%
2115.67/2123.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2115.67/2123.64 c 2124s| 18300 | 95 | 10938k| 559.3 | 157M | 131 |2940 |6199 |3113 |5467 | 2 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.24%
2124.25/2132.20 c 2132s| 18400 | 97 | 10985k| 558.9 | 157M | 131 |2940 |6184 |3114 |5510 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.26%
2133.21/2141.24 c 2141s| 18500 | 91 | 11035k| 558.6 | 157M | 131 |2940 |6220 |3107 |5517 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.26%
2144.47/2152.59 c 2153s| 18600 | 93 | 11096k| 558.8 | 157M | 131 |2940 |6122 |3109 |5560 | 2 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.29%
2160.11/2168.22 c 2168s| 18700 | 93 | 11178k| 560.1 | 157M | 131 |2940 |5978 |3109 |5603 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.35%
2169.77/2177.92 c 2178s| 18800 | 99 | 11229k| 559.9 | 157M | 131 |2940 |5896 |3106 |5620 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.35%
2181.33/2189.58 c 2190s| 18900 | 98 | 11289k| 560.1 | 157M | 131 |2940 |5858 |3111 |5635 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.35%
2191.68/2199.91 c 2200s| 19000 | 96 | 11342k| 559.9 | 157M | 131 |2940 |5868 | 0 |5648 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.35%
2204.74/2213.07 c 2213s| 19100 | 98 | 11410k| 560.5 | 157M | 131 |2940 |5929 |3139 |5657 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2213.40/2221.78 c 2222s| 19200 | 98 | 11456k| 560.0 | 157M | 131 |2940 |5980 |3139 |5657 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2222.47/2230.86 c 2231s| 19300 | 102 | 11502k| 559.5 | 157M | 131 |2940 |6040 |3140 |5668 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2235.02/2243.44 c 2243s| 19400 | 99 | 11568k| 560.0 | 158M | 131 |2940 |6065 |3110 |5672 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2246.58/2255.01 c 2255s| 19500 | 98 | 11628k| 560.2 | 158M | 131 |2940 |6129 |3114 |5692 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2258.03/2266.57 c 2267s| 19600 | 99 | 11687k| 560.4 | 158M | 131 |2940 |6187 |3116 |5700 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2270.49/2279.10 c 2279s| 19700 | 98 | 11753k| 560.8 | 158M | 131 |2940 |6247 | 0 |5713 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2280.45/2289.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2280.45/2289.00 c 2289s| 19800 | 100 | 11805k| 560.7 | 158M | 131 |2940 |6301 |3111 |5746 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2293.99/2302.63 c 2303s| 19900 | 99 | 11877k| 561.4 | 158M | 131 |2940 |6313 |3114 |5764 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2307.04/2315.79 c 2316s| 20000 | 98 | 11945k| 562.0 | 158M | 131 |2940 |6358 | 0 |5802 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2318.61/2327.37 c 2327s| 20100 | 98 | 12006k| 562.2 | 158M | 131 |2940 |6393 |3117 |5817 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2329.27/2338.02 c 2338s| 20200 | 98 | 12061k| 562.1 | 158M | 131 |2940 |6456 |3126 |5864 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2340.42/2349.25 c 2349s| 20300 | 94 | 12120k| 562.3 | 158M | 131 |2940 |6479 |3140 |5888 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.36%
2348.89/2357.77 c 2358s| 20400 | 98 | 12164k| 561.7 | 159M | 131 |2940 |6397 |3111 |5890 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.37%
2359.25/2368.19 c 2368s| 20500 | 100 | 12220k| 561.7 | 159M | 131 |2940 |6335 |3139 |5908 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.37%
2369.61/2378.59 c 2379s| 20600 | 102 | 12275k| 561.6 | 159M | 131 |2940 |6300 | 0 |5937 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.47%
2377.58/2386.53 c 2387s| 20700 | 104 | 12318k| 561.0 | 159M | 131 |2940 |6271 |3138 |5943 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.48%
2384.75/2393.72 c 2394s| 20800 | 102 | 12356k| 560.2 | 159M | 131 |2940 |6251 |3100 |5960 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.48%
2393.12/2402.18 c 2402s| 20900 | 102 | 12401k| 559.7 | 159M | 131 |2940 |6219 |3139 |5973 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.50%
2404.08/2413.12 c 2413s| 21000 | 104 | 12456k| 559.7 | 159M | 131 |2940 |6186 |3141 |5992 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.64%
2410.75/2419.83 c 2420s| 21100 | 106 | 12491k| 558.7 | 159M | 131 |2940 |6246 |3138 |5993 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 7.64%
2423.60/2432.75 c 2433s| 21200 | 106 | 12555k| 559.1 | 159M | 131 |2940 |6221 |3104 |6025 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 8.40%
2436.55/2445.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2436.55/2445.79 c 2446s| 21300 | 105 | 12623k| 559.6 | 159M | 131 |2940 |6214 |3116 |6069 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 8.43%
2445.12/2454.36 c 2454s| 21400 | 106 | 12666k| 559.1 | 159M | 131 |2940 |6299 |3111 |6090 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 8.46%
2453.19/2462.44 c 2462s| 21500 | 110 | 12709k| 558.5 | 159M | 131 |2940 |6288 |3101 |6124 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 8.46%
2470.52/2479.84 c 2480s| 21600 | 111 | 12796k| 559.8 | 159M | 131 |2940 |6209 |3108 |6158 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.64%
2479.79/2489.14 c 2489s| 21700 | 105 | 12844k| 559.5 | 159M | 131 |2940 |6198 | 0 |6174 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.64%
2489.15/2498.56 c 2499s| 21800 | 107 | 12892k| 559.2 | 159M | 131 |2940 |6130 |3120 |6224 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.83%
2497.72/2507.11 c 2507s| 21900 | 108 | 12936k| 558.6 | 160M | 131 |2940 |6090 |3127 |6270 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.91%
2505.39/2514.85 c 2515s| 22000 | 110 | 12977k| 558.0 | 160M | 131 |2940 |6052 |3107 |6293 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.92%
2514.95/2524.42 c 2524s| 22100 | 112 | 13029k| 557.8 | 160M | 131 |2940 |6015 |3105 |6299 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.92%
2524.12/2533.65 c 2534s| 22200 | 112 | 13077k| 557.5 | 160M | 131 |2940 |6020 |3130 |6318 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.92%
2534.78/2544.38 c 2544s| 22300 | 114 | 13131k| 557.4 | 160M | 131 |2940 |6022 |3131 |6357 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.92%
2545.13/2554.74 c 2555s| 22400 | 110 | 13186k| 557.4 | 160M | 131 |2940 |6034 |3115 |6370 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.92%
2552.80/2562.40 c 2562s| 22500 | 112 | 13226k| 556.7 | 160M | 131 |2940 |6104 |3099 |6397 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.93%
2561.77/2571.42 c 2571s| 22600 | 112 | 13273k| 556.4 | 160M | 131 |2940 |6073 |3122 |6413 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.93%
2571.93/2581.69 c 2582s| 22700 | 110 | 13328k| 556.3 | 160M | 131 |2940 |6104 |3108 |6422 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.94%
2580.10/2589.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2580.10/2589.81 c 2590s| 22800 | 109 | 13372k| 555.8 | 160M | 131 |2940 |6123 |3100 |6447 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.94%
2587.07/2596.81 c 2597s| 22900 | 107 | 13410k| 555.1 | 160M | 131 |2940 |6116 |3101 |6452 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.95%
2596.14/2605.92 c 2606s| 23000 | 107 | 13459k| 554.8 | 160M | 131 |2940 |6036 |3109 |6471 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.95%
2609.39/2619.24 c 2619s| 23100 | 109 | 13527k| 555.4 | 160M | 131 |2940 |5913 |3132 |6530 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.95%
2620.45/2630.36 c 2630s| 23200 | 111 | 13586k| 555.5 | 160M | 131 |2940 |5873 |3134 |6560 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.95%
2630.71/2640.61 c 2641s| 23300 | 113 | 13640k| 555.4 | 161M | 131 |2940 |5885 |3136 |6578 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.95%
2640.77/2650.76 c 2651s| 23400 | 113 | 13694k| 555.4 | 161M | 131 |2940 |5886 |3134 |6603 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 9.95%
2657.01/2667.03 c 2667s| 23500 | 109 | 13779k| 556.5 | 161M | 131 |2940 |5788 |3095 |6641 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 10.35%
2671.95/2682.09 c 2682s| 23600 | 113 | 13856k| 557.4 | 161M | 131 |2940 |5758 |3105 |6689 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 11.91%
2679.62/2689.72 c 2690s| 23700 | 117 | 13898k| 556.9 | 161M | 131 |2940 |5767 |3110 |6699 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 11.91%
2687.29/2697.44 c 2697s| 23800 | 113 | 13940k| 556.3 | 161M | 131 |2940 |5771 |3108 |6715 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 11.91%
2694.86/2705.03 c 2705s| 23900 | 113 | 13981k| 555.8 | 161M | 131 |2940 |5836 |3111 |6726 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 11.91%
2706.61/2716.88 c 2717s| 24000 | 113 | 14043k| 556.0 | 161M | 131 |2940 |5871 |3115 |6746 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 11.91%
2719.56/2729.83 c 2730s| 24100 | 113 | 14110k| 556.5 | 161M | 131 |2940 |5783 |3112 |6775 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.15%
2731.92/2742.26 c 2742s| 24200 | 111 | 14176k| 556.8 | 161M | 131 |2940 |5766 |3097 |6799 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.54%
2744.08/2754.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2744.08/2754.44 c 2754s| 24300 | 113 | 14240k| 557.2 | 161M | 131 |2940 |5709 | 0 |6825 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.74%
2752.25/2762.68 c 2763s| 24400 | 111 | 14285k| 556.8 | 161M | 131 |2940 |5701 |3102 |6832 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.74%
2762.01/2772.48 c 2772s| 24500 | 113 | 14337k| 556.6 | 161M | 131 |2940 |5718 |3104 |6861 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.78%
2776.25/2786.73 c 2787s| 24600 | 119 | 14412k| 557.4 | 161M | 131 |2940 |5723 |3103 |6888 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.89%
2793.98/2804.57 c 2805s| 24700 | 119 | 14503k| 558.7 | 161M | 131 |2940 |5602 |3109 |6901 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.91%
2808.03/2818.68 c 2819s| 24800 | 117 | 14576k| 559.4 | 161M | 131 |2940 |5641 |3103 |6915 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.91%
2820.49/2831.13 c 2831s| 24900 | 115 | 14640k| 559.7 | 161M | 131 |2940 |5686 |3105 |6921 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.91%
2835.72/2846.45 c 2846s| 25000 | 115 | 14718k| 560.6 | 161M | 131 |2940 |5726 | 0 |6936 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 13.91%
2850.17/2860.96 c 2861s| 25100 | 119 | 14792k| 561.3 | 161M | 131 |2940 |5746 |3110 |6972 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 14.07%
2858.24/2869.02 c 2869s| 25200 | 117 | 14836k| 560.8 | 161M | 131 |2940 |5795 |3101 |6987 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 14.08%
2870.79/2881.65 c 2882s| 25300 | 117 | 14902k| 561.1 | 161M | 131 |2940 |5825 |3104 |7003 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 14.09%
2884.25/2895.14 c 2895s| 25400 | 116 | 14973k| 561.7 | 161M | 131 |2940 |5854 |3108 |7029 | 2 | 14k| 22 | 0.000000e+00 | -- | Inf | 14.10%
2896.59/2907.50 c 2908s| 25500 | 117 | 15037k| 562.0 | 162M | 131 |2940 |5884 | 0 |7058 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 14.17%
2908.25/2919.27 c 2919s| 25600 | 115 | 15100k| 562.3 | 162M | 131 |2940 |5914 |3104 |7072 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 14.17%
2921.50/2932.54 c 2933s| 25700 | 115 | 15170k| 562.8 | 162M | 131 |2940 |5938 |3094 |7091 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 14.18%
2933.25/2944.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2933.25/2944.35 c 2944s| 25800 | 113 | 15233k| 563.0 | 162M | 131 |2940 |5978 |3109 |7098 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 14.18%
2946.91/2958.01 c 2958s| 25900 | 114 | 15305k| 563.6 | 162M | 131 |2940 |6025 |3107 |7105 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.19%
2959.75/2970.99 c 2971s| 26000 | 112 | 15375k| 564.1 | 162M | 131 |2940 |6043 |3102 |7124 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.20%
2973.40/2984.64 c 2985s| 26100 | 112 | 15447k| 564.7 | 162M | 131 |2940 |6064 |3126 |7138 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.20%
2985.35/2996.61 c 2997s| 26200 | 112 | 15510k| 564.9 | 162M | 131 |2940 |6082 |3128 |7151 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.22%
2997.51/3008.84 c 3009s| 26300 | 114 | 15574k| 565.2 | 162M | 131 |2940 |6091 |3105 |7161 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.22%
3008.07/3019.48 c 3019s| 26400 | 112 | 15630k| 565.2 | 162M | 131 |2940 |6116 |3128 |7164 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.22%
3022.31/3033.77 c 3034s| 26500 | 112 | 15703k| 565.8 | 162M | 131 |2940 |6132 |3110 |7174 | 2 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.22%
3039.85/3051.37 c 3051s| 26600 | 114 | 15793k| 567.0 | 162M | 131 |2940 |6043 |3138 |7226 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.30%
3047.52/3059.01 c 3059s| 26700 | 114 | 15834k| 566.4 | 162M | 131 |2940 |6063 |3142 |7233 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.30%
3058.87/3070.41 c 3070s| 26800 | 116 | 15894k| 566.6 | 162M | 131 |2940 |6080 |3110 |7250 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.30%
3071.92/3083.52 c 3084s| 26900 | 118 | 15963k| 567.0 | 162M | 131 |2940 |6102 |3107 |7274 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.30%
3086.17/3097.89 c 3098s| 27000 | 115 | 16039k| 567.7 | 162M | 131 |2940 |6160 |3104 |7288 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.30%
3100.91/3112.60 c 3113s| 27100 | 113 | 16117k| 568.4 | 162M | 131 |2940 |6189 |3143 |7311 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.30%
3115.27/3127.08 c 3127s| 27200 | 115 | 16192k| 569.1 | 162M | 131 |2940 |6164 |3100 |7345 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.34%
3125.43/3137.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3125.43/3137.21 c 3137s| 27300 | 113 | 16244k| 568.9 | 162M | 131 |2940 |6143 |3100 |7350 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.35%
3135.79/3147.62 c 3148s| 27400 | 115 | 16297k| 568.8 | 162M | 131 |2940 |6105 | 0 |7384 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.42%
3145.05/3156.92 c 3157s| 27500 | 115 | 16345k| 568.4 | 162M | 131 |2940 |6128 |3110 |7396 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.42%
3152.92/3164.86 c 3165s| 27600 | 113 | 16387k| 567.9 | 162M | 131 |2940 |6147 | 0 |7409 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.42%
3166.18/3178.18 c 3178s| 27700 | 113 | 16456k| 568.4 | 162M | 131 |2940 |6137 |3107 |7418 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.44%
3180.62/3192.66 c 3193s| 27800 | 119 | 16528k| 568.9 | 163M | 131 |2940 |6039 | 0 |7451 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.73%
3189.99/3202.08 c 3202s| 27900 | 119 | 16576k| 568.6 | 163M | 131 |2940 |6030 |3099 |7454 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.82%
3199.15/3211.22 c 3211s| 28000 | 119 | 16624k| 568.3 | 163M | 131 |2940 |6032 |3097 |7456 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.83%
3211.01/3223.11 c 3223s| 28100 | 119 | 16685k| 568.4 | 163M | 131 |2940 |6014 |3097 |7461 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 14.83%
3225.65/3237.81 c 3238s| 28200 | 120 | 16759k| 569.0 | 163M | 131 |2940 |6028 |3100 |7498 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.88%
3238.20/3250.43 c 3250s| 28300 | 122 | 16823k| 569.3 | 163M | 131 |2940 |6044 |3101 |7516 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.90%
3253.34/3265.64 c 3266s| 28400 | 120 | 16901k| 570.0 | 163M | 131 |2940 |6081 |3097 |7536 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.91%
3267.69/3280.08 c 3280s| 28500 | 124 | 16974k| 570.5 | 163M | 131 |2940 |6115 |3103 |7586 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.92%
3275.35/3287.77 c 3288s| 28600 | 123 | 17016k| 570.0 | 163M | 131 |2940 |6160 |3106 |7599 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.93%
3287.01/3299.43 c 3299s| 28700 | 123 | 17079k| 570.2 | 163M | 131 |2940 |6155 |3105 |7605 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.96%
3299.86/3312.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3299.86/3312.38 c 3312s| 28800 | 121 | 17146k| 570.5 | 163M | 131 |2940 |6207 |3108 |7622 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.96%
3311.91/3324.43 c 3324s| 28900 | 121 | 17208k| 570.7 | 163M | 131 |2940 |6286 |3106 |7636 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.97%
3324.67/3337.22 c 3337s| 29000 | 121 | 17275k| 571.0 | 163M | 131 |2940 |6347 |3109 |7659 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.97%
3338.82/3351.49 c 3351s| 29100 | 121 | 17349k| 571.6 | 163M | 131 |2940 |6380 |3097 |7682 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.97%
3350.27/3362.96 c 3363s| 29200 | 122 | 17409k| 571.7 | 163M | 131 |2940 |6406 |3101 |7695 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.98%
3369.31/3382.07 c 3382s| 29300 | 120 | 17508k| 573.1 | 164M | 131 |2940 |6449 |3099 |7705 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.98%
3380.57/3393.36 c 3393s| 29400 | 120 | 17565k| 573.0 | 164M | 131 |2940 |6526 |3105 |7745 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.98%
3393.23/3406.08 c 3406s| 29500 | 120 | 17631k| 573.4 | 164M | 131 |2940 |6558 |3100 |7750 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.98%
3410.97/3423.88 c 3424s| 29600 | 118 | 17724k| 574.5 | 164M | 131 |2940 |6567 |3106 |7774 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 14.99%
3418.94/3431.84 c 3432s| 29700 | 122 | 17766k| 574.0 | 164M | 131 |2940 |6546 |3110 |7799 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 15.00%
3425.23/3438.17 c 3438s| 29800 | 120 | 17802k| 573.3 | 164M | 131 |2940 |6604 | 0 |7801 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.00%
3433.50/3446.46 c 3446s| 29900 | 122 | 17845k| 572.8 | 164M | 131 |2940 |6607 |3110 |7805 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.00%
3442.47/3455.47 c 3455s| 30000 | 122 | 17893k| 572.5 | 164M | 131 |2940 |6619 |3109 |7809 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.00%
3453.73/3466.70 c 3467s| 30100 | 118 | 17950k| 572.5 | 164M | 131 |2940 |6507 | 0 |7844 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.54%
3465.39/3478.41 c 3478s| 30200 | 120 | 18012k| 572.7 | 164M | 131 |2940 |6535 |3106 |7870 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.55%
3476.96/3490.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3476.96/3490.02 c 3490s| 30300 | 119 | 18073k| 572.8 | 164M | 131 |2940 |6532 |3106 |7892 | 2 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.55%
3489.92/3503.07 c 3503s| 30400 | 119 | 18142k| 573.2 | 164M | 131 |2940 |6586 |3107 |7911 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.55%
3501.68/3514.86 c 3515s| 30500 | 122 | 18205k| 573.4 | 164M | 131 |2940 |6569 |3104 |7948 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.64%
3512.44/3525.68 c 3526s| 30600 | 126 | 18263k| 573.4 | 164M | 131 |2940 |6554 |3107 |7969 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.64%
3520.82/3534.09 c 3534s| 30700 | 122 | 18310k| 573.0 | 164M | 131 |2940 |6567 |3106 |7977 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.65%
3527.90/3541.15 c 3541s| 30800 | 120 | 18347k| 572.4 | 164M | 131 |2940 |6555 |3122 |7985 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.65%
3534.17/3547.44 c 3547s| 30900 | 120 | 18381k| 571.7 | 164M | 131 |2940 |6567 |3108 |8003 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.65%
3546.03/3559.35 c 3559s| 31000 | 122 | 18442k| 571.8 | 164M | 131 |2940 |6502 |3101 |8053 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.71%
3554.81/3568.11 c 3568s| 31100 | 121 | 18488k| 571.4 | 164M | 131 |2940 |6487 |3130 |8088 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.72%
3561.98/3575.39 c 3575s| 31200 | 123 | 18525k| 570.8 | 164M | 131 |2940 |6502 |3133 |8132 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.72%
3571.05/3584.42 c 3584s| 31300 | 123 | 18572k| 570.5 | 164M | 131 |2940 |6505 |3132 |8168 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.72%
3579.82/3593.23 c 3593s| 31400 | 123 | 18618k| 570.2 | 164M | 131 |2940 |6512 |3136 |8178 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 15.72%
3583.51/3597.00 c
3583.51/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3583.51/3597.00 c Solving Time (sec) : 3597.00
3583.51/3597.00 c Solving Nodes : 31454 (total of 32518 nodes in 2 runs)
3583.51/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3583.51/3597.00 c Dual Bound : +0.00000000000000e+00
3583.51/3597.00 c Gap : infinite
3583.51/3597.00 s UNKNOWN
3583.51/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3583.51/3597.00 c Total Time : 3597.00
3583.51/3597.00 c solving : 3597.00
3583.51/3597.00 c presolving : 2.89 (included in solving)
3583.51/3597.00 c reading : 0.01 (included in solving)
3583.51/3597.00 c copying : 1.01 (109 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3583.51/3597.00 c Original Problem :
3583.51/3597.00 c Problem name : HOME/instance-4447335-1721353243.opb
3583.51/3597.00 c Variables : 3740 (3740 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.51/3597.00 c Constraints : 3878 initial, 3878 maximal
3583.51/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.51/3597.00 c Presolved Problem :
3583.51/3597.00 c Problem name : t_HOME/instance-4447335-1721353243.opb
3583.51/3597.00 c Variables : 2940 (2940 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.51/3597.00 c Constraints : 3498 initial, 6624 maximal
3583.51/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.51/3597.00 c Nonzeros : 37319 constraint, 47391 clique table
3583.51/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.51/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c domcol : 0.03 0.00 8 0 0 0 0 0 0 0 0 3
3583.51/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c gateextraction : 0.02 0.00 14 0 0 0 0 0 5 1 0 0
3583.51/3597.00 c implics : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c milp : 0.17 0.00 1 174 4 0 0 0 0 0 0 0
3583.51/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c sparsify : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c trivial : 0.00 0.00 34 290 0 0 0 0 0 0 0 0
3583.51/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c dualfix : 0.00 0.00 34 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c probing : 2.37 0.00 7 139 2 0 0 0 0 0 0 0
3583.51/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c knapsack : 0.01 0.00 20 0 0 0 0 0 0 9 24 88
3583.51/3597.00 c setppc : 0.02 0.00 51 0 0 0 0 0 44 0 0 0
3583.51/3597.00 c and : 0.00 0.00 2 0 0 0 0 0 1 1 0 0
3583.51/3597.00 c linear : 0.03 0.00 19 190 1 0 190 0 660 0 4 0
3583.51/3597.00 c logicor : 0.17 0.00 48 27 0 0 0 0 176 0 0 1222
3583.51/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c root node : - - - 0 - - 0 - - - - -
3583.51/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.51/3597.00 c benderslp : 0 0 0 0 16411 0 0 2234 0 0 0 0 0 0 0
3583.51/3597.00 c integral : 0 0 0 0 16411 0 0 2234 0 0 0 0 0 0 32822
3583.51/3597.00 c knapsack : 30+ 31 11 231571 0 0 0 0 255202 12 120700 0 0 0 0
3583.51/3597.00 c setppc : 721+ 1180 22 293702 0 0 0 2229 4118734 507 1266238 0 0 0 0
3583.51/3597.00 c linear : 0+ 27 11 196191 0 0 0 3 1277 32 4068 6 4 0 0
3583.51/3597.00 c logicor : 2747+ 5515 22 236990 0 0 0 0 8988636 2417 2430111 59 31 0 0
3583.51/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.51/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c integral : 6.61 0.00 0.00 0.00 6.61 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c knapsack : 0.93 0.00 0.03 0.84 0.00 0.00 0.00 0.00 0.06 0.00
3583.51/3597.00 c setppc : 3.26 0.00 0.00 2.26 0.00 0.00 0.00 0.03 0.97 0.01
3583.51/3597.00 c linear : 0.13 0.00 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c logicor : 9.30 0.00 0.01 5.91 0.00 0.00 0.00 0.00 3.37 0.01
3583.51/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.51/3597.00 c dualfix : 2 0 0 0
3583.51/3597.00 c genvbounds : 0 0 0 0
3583.51/3597.00 c nlobbt : 0 0 0 0
3583.51/3597.00 c obbt : 0 0 0 0
3583.51/3597.00 c probing : 0 0 0 0
3583.51/3597.00 c pseudoobj : 0 0 0 0
3583.51/3597.00 c redcost : 0 0 0 0
3583.51/3597.00 c rootredcost : 0 0 0 0
3583.51/3597.00 c symmetry : 5358 0 0 36
3583.51/3597.00 c vbounds : 194344 0 0 0
3583.51/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.51/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3583.51/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.51/3597.00 c probing : 2.37 0.00 2.37 0.00 0.00 0.00
3583.51/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3583.51/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3583.51/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3583.51/3597.00 c symmetry : 0.09 0.00 0.01 0.08 0.00 0.00
3583.51/3597.00 c vbounds : 2.43 0.00 0.01 2.43 0.00 0.00
3583.51/3597.00 c Symmetry :
3583.51/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.51/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.51/3597.00 c lexicographic red: 36 reductions applied, 0 cutoffs
3583.51/3597.00 c shadow tree time : 0.05 s
3583.51/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.51/3597.00 c propagation : 1.00 2931 2806 - 19049 110.1 317 43.1 - - -
3583.51/3597.00 c infeasible LP : 24.43 13488 6735 - 140322 577.3 44 35.8 113 243.0 0
3583.51/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.51/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.51/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.51/3597.00 c applied globally : 1.02 - - 0 17425 84.4 - - 101 - -
3583.51/3597.00 c applied locally : - - - 0 64 683.6 - - 12 - -
3583.51/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.51/3597.00 c cut pool : 0.93 - 3600 42 - - 7667 57456 - - - - - (maximal pool size: 1134)
3583.51/3597.00 c aggregation : 0.32 0.00 589 22 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3583.51/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.51/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3583.51/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c clique : 0.30 0.00 22 22 0 0 150 830 0 367 367 0 0
3583.51/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c gomory : 20.50 0.00 587 20 0 0 7472 49878 1066 3229 3186 43 0
3583.51/3597.00 c > gomorymi : - - - - - - - 24045 533 1558 1533 25 -
3583.51/3597.00 c > strongcg : - - - - - - - 25833 533 1671 1653 18 -
3583.51/3597.00 c impliedbounds : 0.46 0.00 589 22 0 0 731 3069 0 1679 1679 0 0
3583.51/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c multilinear : 0.00 0.00 578 22 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c rapidlearning : 10.01 0.00 100 2 0 10372 0 0 0 0 0 0 366
3583.51/3597.00 c rlt : 0.00 0.00 350 20 0 0 0 0 0 0 0 0 0
3583.51/3597.00 c zerohalf : 7.56 0.00 589 22 0 0 1528 3679 1148 3163 2126 1037 0
3583.51/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.51/3597.00 c hybrid : 0.12 0.00 2321 22 8478 0 50991 214 0 300
3583.51/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3583.51/3597.00 c problem variables: 0.00 - 0 0
3583.51/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.51/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c relpscost : 6.59 0.00 16411 0 0 0 0 0 0 32822
3583.51/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.51/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.51/3597.00 c LP solutions : 0.00 - - 0 0
3583.51/3597.00 c relax solutions : 0.00 - - 0 0
3583.51/3597.00 c pseudo solutions : 0.00 - - 0 0
3583.51/3597.00 c strong branching : 0.00 - - 0 0
3583.51/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3583.51/3597.00 c adaptivediving : 1.73 0.00 4 0 0
3583.51/3597.00 c alns : 1.63 0.00 7 0 0
3583.51/3597.00 c bound : 0.00 0.00 0 0 0
3583.51/3597.00 c clique : 0.01 0.00 1 0 0
3583.51/3597.00 c coefdiving : 0.00 0.00 0 0 0
3583.51/3597.00 c completesol : 0.00 0.00 0 0 0
3583.51/3597.00 c conflictdiving : 16.85 0.00 2 0 0
3583.51/3597.00 c crossover : 0.01 0.00 0 0 0
3583.51/3597.00 c dins : 0.00 0.00 0 0 0
3583.51/3597.00 c distributiondivin: 2.37 0.00 2 0 0
3583.51/3597.00 c dps : 0.00 0.00 0 0 0
3583.51/3597.00 c dualval : 0.00 0.00 0 0 0
3583.51/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3583.51/3597.00 c feasjump : 0.06 0.00 2 0 0
3583.51/3597.00 c feaspump : 8.00 0.00 2 0 0
3583.51/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3583.51/3597.00 c fracdiving : 0.28 0.00 2 0 0
3583.51/3597.00 c gins : 0.00 0.00 0 0 0
3583.51/3597.00 c guideddiving : 0.00 0.00 0 0 0
3583.51/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3583.51/3597.00 c indicator : 0.01 0.00 0 0 0
3583.51/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3583.51/3597.00 c indoneopt : 0.01 0.00 0 0 0
3583.51/3597.00 c indrounding : 0.00 0.00 0 0 0
3583.51/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3583.51/3597.00 c intdiving : 0.00 0.00 0 0 0
3583.51/3597.00 c intshifting : 0.00 0.00 0 0 0
3583.51/3597.00 c linesearchdiving : 3.28 0.00 2 0 0
3583.51/3597.00 c localbranching : 0.00 0.00 0 0 0
3583.51/3597.00 c locks : 0.00 0.00 1 0 0
3583.51/3597.00 c lpface : 0.06 0.00 0 0 0
3583.51/3597.00 c mpec : 0.00 0.00 0 0 0
3583.51/3597.00 c multistart : 0.00 0.00 0 0 0
3583.51/3597.00 c mutation : 0.00 0.00 0 0 0
3583.51/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3583.51/3597.00 c objpscostdiving : 19.80 0.00 1 0 0
3583.51/3597.00 c octane : 0.00 0.00 0 0 0
3583.51/3597.00 c ofins : 0.01 0.00 0 0 0
3583.51/3597.00 c oneopt : 0.01 0.00 0 0 0
3583.51/3597.00 c padm : 0.00 0.00 0 0 0
3583.51/3597.00 c proximity : 0.00 0.00 0 0 0
3583.51/3597.00 c pscostdiving : 5.10 0.00 2 0 0
3583.51/3597.00 c randrounding : 0.36 0.00 2244 0 0
3583.51/3597.00 c rens : 0.08 0.00 2 0 0
3583.51/3597.00 c reoptsols : 0.00 0.00 0 0 0
3583.51/3597.00 c repair : 0.00 0.00 0 0 0
3583.51/3597.00 c rins : 0.01 0.00 0 0 0
3583.51/3597.00 c rootsoldiving : 8.04 0.00 1 0 0
3583.51/3597.00 c rounding : 0.22 0.00 1925 0 0
3583.51/3597.00 c scheduler : 0.00 0.00 0 0 0
3583.51/3597.00 c shiftandpropagate: 0.03 0.00 2 0 0
3583.51/3597.00 c shifting : 0.48 0.00 807 0 0
3583.51/3597.00 c simplerounding : 0.01 0.00 0 0 0
3583.51/3597.00 c smallcard : 0.00 0.00 0 0 0
3583.51/3597.00 c subnlp : 0.01 0.00 0 0 0
3583.51/3597.00 c trivial : 0.00 0.00 4 0 0
3583.51/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3583.51/3597.00 c trustregion : 0.00 0.00 0 0 0
3583.51/3597.00 c trysol : 0.01 0.00 0 0 0
3583.51/3597.00 c twoopt : 0.00 0.00 0 0 0
3583.51/3597.00 c undercover : 0.00 0.00 0 0 0
3583.62/3597.00 c vbounds : 0.02 0.00 2 0 0
3583.62/3597.00 c veclendiving : 4.75 0.00 2 0 0
3583.62/3597.00 c zeroobj : 0.00 0.00 0 0 0
3583.62/3597.00 c zirounding : 0.04 0.00 1000 0 0
3583.62/3597.00 c other solutions : - - - 0 -
3583.62/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
3583.62/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
3583.62/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
3583.62/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
3583.62/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
3583.62/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
3583.62/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
3583.62/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
3583.62/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
3583.62/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
3583.62/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.62/3597.00 c primal LP : 2.43 1032 0 0.00 0.00 2.43 1032
3583.62/3597.00 c dual LP : 3410.24 32274 18339190 568.52 5377.68 0.02 16
3583.62/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3583.62/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.62/3597.00 c resolve instable : 0.00 0 0 0.00 -
3583.62/3597.00 c diving/probing LP: 69.05 483 299167 619.39 4332.48
3583.62/3597.00 c strong branching : 4.07 22 13883 631.05 3408.13 - - 24
3583.62/3597.00 c (at root node) : - 22 13883 631.05 -
3583.62/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3583.62/3597.00 c B&B Tree :
3583.62/3597.00 c number of runs : 2
3583.62/3597.00 c nodes : 31454 (15860 internal, 15594 leaves)
3583.62/3597.00 c feasible leaves : 0
3583.62/3597.00 c infeas. leaves : 15593
3583.62/3597.00 c objective leaves : 0
3583.62/3597.00 c nodes (total) : 32518 (16411 internal, 16107 leaves)
3583.62/3597.00 c nodes left : 122
3583.62/3597.00 c max depth : 131
3583.62/3597.00 c max depth (total): 131
3583.62/3597.00 c backtracks : 2870 (9.1%)
3583.62/3597.00 c early backtracks : 0 (0.0%)
3583.62/3597.00 c nodes exc. ref. : 0 (0.0%)
3583.62/3597.00 c delayed cutoffs : 146
3583.62/3597.00 c repropagations : 31979 (180561 domain reductions, 140 cutoffs)
3583.62/3597.00 c avg switch length: 4.39
3583.62/3597.00 c switching time : 9.02
3583.62/3597.00 c Root Node :
3583.62/3597.00 c First LP value : +0.00000000000000e+00
3583.62/3597.00 c First LP Iters : 7395 (5794.21 Iter/sec)
3583.62/3597.00 c First LP Time : 1.28
3583.62/3597.00 c Final Dual Bound : +0.00000000000000e+00
3583.62/3597.00 c Final Root Iters : 108631
3583.62/3597.00 c Root LP Estimate : +1.87808238295042e-02
3583.62/3597.00 c Solution :
3583.62/3597.00 c Solutions found : 0 (0 improvements)
3583.62/3597.00 c Primal Bound : -
3583.62/3597.00 c Dual Bound : +0.00000000000000e+00
3583.62/3597.00 c Gap : infinite
3583.62/3597.00 c Integrals : Total Avg%
3583.62/3597.00 c primal-dual : 359699.74 100.00
3583.62/3597.00 c primal-ref : - - (not evaluated)
3583.62/3597.00 c dual-ref : - - (not evaluated)
3583.62/3597.04 c Time complete: 3583.67.