0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2665627-1276466903.opb>
0.00/0.06 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 3194 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.00/0.08 c presolving:
0.09/0.14 c (round 1) 0 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2834 upgd conss, 20376 impls, 0 clqs
0.09/0.16 c (round 2) 0 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3134 upgd conss, 20376 impls, 0 clqs
0.19/0.21 c (0.1s) probing: 101/792 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (3 rounds):
0.19/0.21 c 0 deleted vars, 60 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 20376 implications, 0 cliques
0.19/0.21 c presolved problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 3134 constraints
0.19/0.21 c 3134 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.11
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c conflict/interconss = 0
0.19/0.21 c
0.19/0.21 c # should binary conflicts be preferred?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c conflict/preferbinary = TRUE
0.19/0.21 c
0.19/0.21 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c constraints/agelimit = 1
0.19/0.21 c
0.19/0.21 c # should enforcement of pseudo solution be disabled?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/disableenfops = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.95
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c lp/solvefreq = 0
0.19/0.21 c
0.19/0.21 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.21 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.21 c lp/pricing = a
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # priority of node selection rule <dfs> in standard mode
0.19/0.21 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.21 c nodeselection/dfs/stdpriority = 1000000
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.29/0.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.30 c 0.2s| 1 | 0 | 759 | - |6313k| 0 | 592 | 792 |3134 | 792 |3134 | 0 | 0 | 0 | 1.835000e+02 | -- | Inf
0.39/0.48 c 0.4s| 1 | 0 | 814 | - |6396k| 0 | 589 | 792 |3134 | 792 |3141 | 7 | 0 | 0 | 1.883750e+02 | -- | Inf
0.59/0.61 c 0.5s| 1 | 0 | 901 | - |6453k| 0 | 586 | 792 |3134 | 792 |3148 | 14 | 0 | 0 | 1.911250e+02 | -- | Inf
0.69/0.75 c 0.6s| 1 | 0 | 1012 | - |6514k| 0 | 586 | 792 |3134 | 792 |3158 | 24 | 0 | 0 | 1.926250e+02 | -- | Inf
0.89/0.91 c 0.8s| 1 | 0 | 1187 | - |6592k| 0 | 582 | 792 |3134 | 792 |3168 | 34 | 0 | 0 | 1.955536e+02 | -- | Inf
1.00/1.07 c 0.9s| 1 | 0 | 1374 | - |6673k| 0 | 584 | 792 |3134 | 792 |3178 | 44 | 0 | 0 | 1.977083e+02 | -- | Inf
1.19/1.24 c 1.1s| 1 | 0 | 1627 | - |6750k| 0 | 587 | 792 |3134 | 792 |3191 | 57 | 0 | 0 | 2.007665e+02 | -- | Inf
1.39/1.42 c 1.3s| 1 | 0 | 1874 | - |6913k| 0 | 588 | 792 |3134 | 792 |3206 | 72 | 0 | 0 | 2.035608e+02 | -- | Inf
1.59/1.64 c 1.5s| 1 | 0 | 2259 | - |7088k| 0 | 580 | 792 |3134 | 792 |3219 | 85 | 0 | 0 | 2.064006e+02 | -- | Inf
1.79/1.86 c 1.7s| 1 | 0 | 2588 | - |7282k| 0 | 582 | 792 |3134 | 792 |3228 | 94 | 0 | 0 | 2.080804e+02 | -- | Inf
2.10/2.11 c 2.0s| 1 | 0 | 2933 | - |7577k| 0 | 578 | 792 |3134 | 792 |3239 | 105 | 0 | 0 | 2.091966e+02 | -- | Inf
2.29/2.32 c 2.2s| 1 | 0 | 3276 | - |7702k| 0 | 583 | 792 |3134 | 792 |3253 | 120 | 0 | 0 | 2.102912e+02 | -- | Inf
2.49/2.57 c 2.4s| 1 | 0 | 3563 | - |7970k| 0 | 583 | 792 |3134 | 792 |3265 | 132 | 0 | 0 | 2.109434e+02 | -- | Inf
3.09/3.19 c 3.0s| 1 | 0 | 4498 | - |8334k| 0 | 580 | 792 |3134 | 792 |3277 | 144 | 0 | 0 | 2.113861e+02 | -- | Inf
3.39/3.45 c 3.3s| 1 | 0 | 4942 | - |8513k| 0 | 583 | 792 |3134 | 792 |3290 | 157 | 0 | 0 | 2.116594e+02 | -- | Inf
3.69/3.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.69/3.78 c 3.6s| 1 | 0 | 5193 | - |8814k| 0 | 577 | 792 |3134 | 792 |3299 | 166 | 0 | 0 | 2.118342e+02 | -- | Inf
4.09/4.15 c 4.0s| 1 | 0 | 5535 | - |9127k| 0 | 587 | 792 |3134 | 792 |3308 | 175 | 0 | 0 | 2.121460e+02 | -- | Inf
4.69/4.71 c 4.5s| 1 | 0 | 5992 | - |9558k| 0 | 582 | 792 |3134 | 792 |3287 | 183 | 0 | 0 | 2.130195e+02 | -- | Inf
5.18/5.26 c 5.1s| 1 | 0 | 6190 | - |9762k| 0 | 585 | 792 |3134 | 792 |3292 | 188 | 0 | 0 | 2.130653e+02 | -- | Inf
5.59/5.68 c 5.5s| 1 | 0 | 6347 | - |9918k| 0 | 582 | 792 |3134 | 792 |3297 | 193 | 0 | 0 | 2.132141e+02 | -- | Inf
6.09/6.12 c 5.9s| 1 | 0 | 6585 | - | 10M| 0 | 581 | 792 |3134 | 792 |3302 | 198 | 0 | 0 | 2.137210e+02 | -- | Inf
6.29/6.37 c 6.2s| 1 | 0 | 6646 | - | 10M| 0 | 584 | 792 |3134 | 792 |3305 | 201 | 0 | 0 | 2.137534e+02 | -- | Inf
6.60/6.64 c 6.4s| 1 | 0 | 6680 | - | 10M| 0 | 584 | 792 |3134 | 792 |3307 | 203 | 0 | 0 | 2.137611e+02 | -- | Inf
6.89/6.90 c 6.7s| 1 | 0 | 6693 | - | 10M| 0 | 584 | 792 |3134 | 792 |3268 | 204 | 0 | 0 | 2.137634e+02 | -- | Inf
7.09/7.14 c 6.9s| 1 | 0 | 6703 | - | 10M| 0 | 584 | 792 |3134 | 792 |3269 | 205 | 0 | 0 | 2.137647e+02 | -- | Inf
7.29/7.39 c 7.2s| 1 | 0 | 6747 | - | 10M| 0 | 584 | 792 |3134 | 792 |3270 | 206 | 0 | 0 | 2.137826e+02 | -- | Inf
10.89/10.93 c 10.6s| 1 | 2 | 6747 | - | 10M| 0 | 584 | 792 |3134 | 792 |3270 | 206 | 0 | 40 | 2.137826e+02 | -- | Inf
10.89/11.00 o 362
10.89/11.00 c *10.6s| 143 | 89 | 6747 | 0.0 | 10M| 112 | - | 792 |3139 | 0 | 0 | 206 | 24 | 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
14.29/14.35 c 13.8s| 10000 | 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3151 | 0 | 0 | 206 |1873 | 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
20.08/20.17 c 19.4s| 20000 | 76 | 6747 | 0.0 | 10M| 112 | - | 792 |3152 | 0 | 0 | 206 |6515 | 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
25.29/25.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.29/25.34 c 24.3s| 30000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3149 | 0 | 0 | 206 | 10k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
30.79/30.81 c 29.5s| 40000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3149 | 0 | 0 | 206 | 15k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
36.57/36.66 c 35.0s| 50000 | 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3143 | 0 | 0 | 206 | 19k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
42.28/42.35 c 40.5s| 60000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 24k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
48.17/48.21 c 46.1s| 70000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 29k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
52.28/52.32 c 50.0s| 80000 | 75 | 6747 | 0.0 | 10M| 112 | - | 792 |3141 | 0 | 0 | 206 | 32k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
54.78/54.89 c 52.4s| 90000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3141 | 0 | 0 | 206 | 33k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
57.37/57.43 c 54.7s|100000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3142 | 0 | 0 | 206 | 33k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
61.67/61.78 c 58.8s|110000 | 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 | 36k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
65.88/65.93 c 62.8s|120000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 39k| 40 | 2.141115e+02 | 3.620000e+02 | 69.07%
67.27/67.39 o 361
67.27/67.39 c *64.2s|122881 | 77 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 40k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
70.56/70.64 c 67.2s|130000 | 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3152 | 0 | 0 | 206 | 42k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
75.46/75.54 c 71.9s|140000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 46k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
79.67/79.70 c 75.8s|150000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3144 | 0 | 0 | 206 | 49k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
83.86/83.97 c 79.9s|160000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3147 | 0 | 0 | 206 | 52k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
88.57/88.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.57/88.60 c 84.3s|170000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 55k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
94.47/94.55 c 90.0s|180000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 60k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
99.85/99.96 c 95.2s|190000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3178 | 0 | 0 | 206 | 65k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
103.27/103.38 c 98.4s|200000 | 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3139 | 0 | 0 | 206 | 66k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
108.16/108.24 c 103s|210000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3176 | 0 | 0 | 206 | 71k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
113.55/113.60 c 108s|220000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3174 | 0 | 0 | 206 | 75k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
119.55/119.64 c 114s|230000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3176 | 0 | 0 | 206 | 80k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
126.15/126.28 c 120s|240000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3187 | 0 | 0 | 206 | 86k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
131.86/131.93 c 126s|250000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 90k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
137.36/137.45 c 131s|260000 | 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3183 | 0 | 0 | 206 | 95k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
142.54/142.65 c 136s|270000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3174 | 0 | 0 | 206 | 100k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
146.34/146.44 c 140s|280000 | 75 | 6747 | 0.0 | 10M| 112 | - | 792 |3140 | 0 | 0 | 206 | 102k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
151.65/151.70 c 144s|290000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 | 107k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
156.43/156.58 c 149s|300000 | 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3151 | 0 | 0 | 206 | 111k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
162.54/162.60 c 155s|310000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 116k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
167.93/168.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.93/168.04 c 160s|320000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 120k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
172.64/172.73 c 165s|330000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 124k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
177.63/177.70 c 169s|340000 | 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3151 | 0 | 0 | 206 | 128k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
182.83/182.99 c 174s|350000 | 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 | 132k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
188.04/188.14 c 179s|360000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3172 | 0 | 0 | 206 | 136k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
192.92/193.05 c 184s|370000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3169 | 0 | 0 | 206 | 140k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
198.32/198.44 c 189s|380000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 144k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
203.52/203.69 c 194s|390000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3173 | 0 | 0 | 206 | 148k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
209.72/209.80 c 200s|400000 | 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3183 | 0 | 0 | 206 | 153k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
214.82/214.96 c 205s|410000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3183 | 0 | 0 | 206 | 157k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
220.22/220.31 c 210s|420000 | 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3184 | 0 | 0 | 206 | 161k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
225.22/225.39 c 215s|430000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3178 | 0 | 0 | 206 | 165k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
229.82/229.96 c 219s|440000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3189 | 0 | 0 | 206 | 168k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
234.62/234.79 c 224s|450000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3183 | 0 | 0 | 206 | 172k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
241.21/241.33 c 230s|460000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3195 | 0 | 0 | 206 | 177k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
246.81/246.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.81/246.91 c 235s|470000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 182k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
254.01/254.19 c 242s|480000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 | 188k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
260.21/260.39 c 248s|490000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3142 | 0 | 0 | 206 | 193k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
265.01/265.13 c 253s|500000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 196k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
271.30/271.41 c 259s|510000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3173 | 0 | 0 | 206 | 201k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
276.60/276.72 c 264s|520000 | 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3142 | 0 | 0 | 206 | 205k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
279.20/279.40 c 266s|530000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3144 | 0 | 0 | 206 | 206k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
281.60/281.75 c 268s|540000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3144 | 0 | 0 | 206 | 207k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
285.49/285.67 c 272s|550000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3144 | 0 | 0 | 206 | 209k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
289.21/289.39 c 276s|560000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3142 | 0 | 0 | 206 | 212k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
292.59/292.79 c 279s|570000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3142 | 0 | 0 | 206 | 214k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
296.20/296.31 c 282s|580000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3147 | 0 | 0 | 206 | 216k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
301.20/301.31 c 287s|590000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 220k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
305.89/306.07 c 291s|600000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 223k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
310.69/310.85 c 296s|610000 | 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 | 227k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
313.39/313.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.39/313.59 c 298s|620000 | 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3152 | 0 | 0 | 206 | 228k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
315.98/316.18 c 301s|630000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3151 | 0 | 0 | 206 | 228k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
318.29/318.47 c 303s|640000 | 64 | 6747 | 0.0 | 10M| 112 | - | 792 |3151 | 0 | 0 | 206 | 229k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
324.08/324.23 c 308s|650000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3173 | 0 | 0 | 206 | 233k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
329.38/329.58 c 314s|660000 | 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 238k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
334.38/334.50 c 318s|670000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3158 | 0 | 0 | 206 | 242k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
339.69/339.81 c 323s|680000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 246k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
344.47/344.62 c 328s|690000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 250k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
349.98/350.14 c 333s|700000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 254k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
355.27/355.44 c 338s|710000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3151 | 0 | 0 | 206 | 259k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
360.68/360.87 c 343s|720000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3181 | 0 | 0 | 206 | 263k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
365.08/365.26 c 348s|730000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3160 | 0 | 0 | 206 | 266k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
368.97/369.17 c 351s|740000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 269k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
374.37/374.57 c 356s|750000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3149 | 0 | 0 | 206 | 274k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
381.66/381.80 c 363s|760000 | 64 | 6747 | 0.0 | 10M| 112 | - | 792 |3196 | 0 | 0 | 206 | 280k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
385.37/385.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.37/385.55 c 367s|770000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3147 | 0 | 0 | 206 | 282k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
388.96/389.15 c 370s|780000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3145 | 0 | 0 | 206 | 284k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
392.66/392.85 c 374s|790000 | 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 287k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
398.06/398.24 c 379s|800000 | 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3170 | 0 | 0 | 206 | 291k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
404.16/404.30 c 385s|810000 | 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3176 | 0 | 0 | 206 | 297k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
408.66/408.83 c 389s|820000 | 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3170 | 0 | 0 | 206 | 300k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
413.46/413.67 c 394s|830000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 304k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
419.15/419.32 c 399s|840000 | 64 | 6747 | 0.0 | 10M| 112 | - | 792 |3191 | 0 | 0 | 206 | 309k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
424.25/424.40 c 404s|850000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3146 | 0 | 0 | 206 | 313k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
428.94/429.19 c 409s|860000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 317k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
434.44/434.66 c 414s|870000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3152 | 0 | 0 | 206 | 322k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
439.44/439.60 c 418s|880000 | 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 | 326k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
444.94/445.12 c 424s|890000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 331k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
450.64/450.88 c 429s|900000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3143 | 0 | 0 | 206 | 336k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
457.03/457.27 c 435s|910000 | 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3152 | 0 | 0 | 206 | 341k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
463.74/463.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.74/463.92 c 442s|920000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3153 | 0 | 0 | 206 | 346k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
470.73/470.96 c 449s|930000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 | 352k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
475.63/475.85 c 453s|940000 | 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 355k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
482.03/482.22 c 459s|950000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3139 | 0 | 0 | 206 | 361k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
488.63/488.82 c 466s|960000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3149 | 0 | 0 | 206 | 367k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
492.33/492.52 c 469s|970000 | 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3148 | 0 | 0 | 206 | 369k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
497.72/497.91 c 474s|980000 | 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 | 374k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
505.02/505.23 c 481s|990000 | 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 380k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
512.22/512.40 c 488s| 1000k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3173 | 0 | 0 | 206 | 386k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
517.92/518.11 c 494s| 1010k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3170 | 0 | 0 | 206 | 390k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
523.82/524.03 c 499s| 1020k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 | 395k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
530.52/530.70 c 506s| 1030k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 | 401k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
536.81/537.01 c 512s| 1040k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 406k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
541.71/541.91 c 516s| 1050k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3170 | 0 | 0 | 206 | 410k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
547.70/547.99 c 522s| 1060k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 415k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
553.20/553.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.20/553.40 c 527s| 1070k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 419k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
558.71/558.99 c 533s| 1080k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3154 | 0 | 0 | 206 | 424k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
563.01/563.29 c 537s| 1090k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 | 427k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
567.80/568.03 c 541s| 1100k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 430k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
573.39/573.60 c 547s| 1110k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 | 434k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
578.00/578.25 c 551s| 1120k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 437k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
582.09/582.35 c 555s| 1130k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3160 | 0 | 0 | 206 | 440k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
585.79/586.05 c 558s| 1140k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 443k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
589.59/589.80 c 562s| 1150k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 445k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
593.89/594.16 c 566s| 1160k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 | 448k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
597.89/598.19 c 570s| 1170k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 | 451k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
603.99/604.23 c 576s| 1180k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3158 | 0 | 0 | 206 | 455k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
609.89/610.17 c 581s| 1190k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3177 | 0 | 0 | 206 | 460k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
615.69/615.93 c 587s| 1200k| 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 464k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
620.99/621.29 c 592s| 1210k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3168 | 0 | 0 | 206 | 468k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
623.68/623.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.68/623.96 c 594s| 1220k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 469k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
626.08/626.33 c 597s| 1230k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 469k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
628.58/628.87 c 599s| 1240k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 470k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
630.78/631.01 c 601s| 1250k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 470k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
633.08/633.35 c 603s| 1260k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 470k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
635.88/636.11 c 606s| 1270k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 471k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
638.58/638.82 c 608s| 1280k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 472k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
640.87/641.13 c 610s| 1290k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 472k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
643.28/643.53 c 613s| 1300k| 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3145 | 0 | 0 | 206 | 473k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
648.17/648.47 c 617s| 1310k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3160 | 0 | 0 | 206 | 477k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
651.97/652.28 c 621s| 1320k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 479k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
656.07/656.37 c 625s| 1330k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3158 | 0 | 0 | 206 | 482k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
659.47/659.70 c 628s| 1340k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3152 | 0 | 0 | 206 | 484k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
664.66/664.99 c 633s| 1350k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 488k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
671.27/671.59 c 639s| 1360k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3178 | 0 | 0 | 206 | 493k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
676.56/676.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.56/676.83 c 644s| 1370k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 497k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
682.16/682.43 c 650s| 1380k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3185 | 0 | 0 | 206 | 502k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
687.36/687.62 c 655s| 1390k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 507k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
691.36/691.62 c 658s| 1400k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 | 510k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
696.86/697.13 c 664s| 1410k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 | 514k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
703.66/703.98 c 670s| 1420k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3177 | 0 | 0 | 206 | 519k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
706.96/707.26 c 673s| 1430k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3172 | 0 | 0 | 206 | 521k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
712.25/712.53 c 678s| 1440k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3187 | 0 | 0 | 206 | 525k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
717.55/717.85 c 683s| 1450k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3171 | 0 | 0 | 206 | 529k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
720.75/721.03 c 686s| 1460k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3146 | 0 | 0 | 206 | 531k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
726.94/727.29 c 692s| 1470k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3190 | 0 | 0 | 206 | 536k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
731.74/732.04 c 697s| 1480k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3149 | 0 | 0 | 206 | 540k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
736.94/737.20 c 702s| 1490k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3168 | 0 | 0 | 206 | 544k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
740.54/740.86 c 705s| 1500k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 546k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
743.74/744.03 c 708s| 1510k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3175 | 0 | 0 | 206 | 547k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
748.94/749.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.94/749.23 c 713s| 1520k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3147 | 0 | 0 | 206 | 551k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
755.04/755.39 c 719s| 1530k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3174 | 0 | 0 | 206 | 556k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
759.93/760.20 c 724s| 1540k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3173 | 0 | 0 | 206 | 560k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
765.24/765.56 c 729s| 1550k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3174 | 0 | 0 | 206 | 565k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
770.53/770.89 c 734s| 1560k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3172 | 0 | 0 | 206 | 569k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
773.13/773.49 c 736s| 1570k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3179 | 0 | 0 | 206 | 570k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
775.93/776.22 c 739s| 1580k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3176 | 0 | 0 | 206 | 571k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
779.03/779.35 c 742s| 1590k| 64 | 6747 | 0.0 | 10M| 112 | - | 792 |3179 | 0 | 0 | 206 | 572k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
784.13/784.44 c 747s| 1600k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 | 576k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
791.03/791.37 c 753s| 1610k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3140 | 0 | 0 | 206 | 582k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
794.93/795.22 c 757s| 1620k| 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3139 | 0 | 0 | 206 | 585k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
800.92/801.28 c 763s| 1630k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3139 | 0 | 0 | 206 | 590k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
808.62/808.90 c 770s| 1640k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3168 | 0 | 0 | 206 | 596k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
816.22/816.56 c 777s| 1650k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3153 | 0 | 0 | 206 | 603k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
823.21/823.51 c 784s| 1660k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3140 | 0 | 0 | 206 | 609k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
828.31/828.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.31/828.62 c 789s| 1670k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3141 | 0 | 0 | 206 | 613k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
831.92/832.20 c 792s| 1680k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3139 | 0 | 0 | 206 | 615k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
838.92/839.29 c 799s| 1690k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3151 | 0 | 0 | 206 | 621k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
845.70/846.02 c 805s| 1700k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3141 | 0 | 0 | 206 | 627k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
853.21/853.59 c 813s| 1710k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3180 | 0 | 0 | 206 | 633k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
858.81/859.18 c 818s| 1720k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 | 638k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
864.80/865.14 c 824s| 1730k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 643k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
871.30/871.66 c 830s| 1740k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 | 649k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
877.20/877.55 c 836s| 1750k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 | 654k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
884.00/884.31 c 842s| 1760k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 660k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
891.40/891.73 c 849s| 1770k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3192 | 0 | 0 | 206 | 667k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
898.79/899.13 c 856s| 1780k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 673k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
906.29/906.61 c 863s| 1790k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 680k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
913.69/914.00 c 870s| 1800k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 686k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
921.08/921.44 c 878s| 1810k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 693k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
928.68/929.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.68/929.01 c 885s| 1820k| 64 | 6747 | 0.0 | 10M| 112 | - | 792 |3211 | 0 | 0 | 206 | 699k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
935.38/935.74 c 891s| 1830k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 705k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
942.28/942.67 c 898s| 1840k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3176 | 0 | 0 | 206 | 711k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
948.57/948.95 c 904s| 1850k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3171 | 0 | 0 | 206 | 717k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
955.07/955.42 c 910s| 1860k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 722k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
960.17/960.51 c 915s| 1870k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 | 726k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
967.47/967.85 c 922s| 1880k| 77 | 6747 | 0.0 | 10M| 112 | - | 792 |3173 | 0 | 0 | 206 | 732k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
972.56/972.98 c 927s| 1890k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 | 736k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
975.16/975.51 c 929s| 1900k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 737k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
977.66/978.04 c 932s| 1910k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 738k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
979.96/980.32 c 934s| 1920k| 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3168 | 0 | 0 | 206 | 738k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
982.26/982.62 c 936s| 1930k| 75 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 739k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
984.56/984.96 c 938s| 1940k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 739k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
987.26/987.65 c 940s| 1950k| 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 740k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
989.76/990.17 c 943s| 1960k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3168 | 0 | 0 | 206 | 741k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
993.66/994.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.66/994.00 c 946s| 1970k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 743k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
999.65/1000.02 c 952s| 1980k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3180 | 0 | 0 | 206 | 748k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1005.35/1005.78 c 958s| 1990k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3190 | 0 | 0 | 206 | 753k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1011.35/1011.72 c 963s| 2000k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3184 | 0 | 0 | 206 | 758k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1017.25/1017.66 c 969s| 2010k| 75 | 6747 | 0.0 | 10M| 112 | - | 792 |3177 | 0 | 0 | 206 | 763k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1023.14/1023.50 c 975s| 2020k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3175 | 0 | 0 | 206 | 767k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1029.84/1030.26 c 981s| 2030k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3208 | 0 | 0 | 206 | 773k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1034.54/1034.97 c 986s| 2040k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3160 | 0 | 0 | 206 | 777k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1040.94/1041.35 c 992s| 2050k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3178 | 0 | 0 | 206 | 782k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1046.74/1047.16 c 997s| 2060k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3186 | 0 | 0 | 206 | 787k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1050.94/1051.38 c 1001s| 2070k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3160 | 0 | 0 | 206 | 790k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1056.04/1056.47 c 1006s| 2080k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 794k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1058.74/1059.11 c 1009s| 2090k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 | 795k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1062.73/1063.11 c 1012s| 2100k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3185 | 0 | 0 | 206 | 797k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1068.13/1068.50 c 1017s| 2110k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3184 | 0 | 0 | 206 | 802k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1071.63/1072.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.63/1072.08 c 1021s| 2120k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3174 | 0 | 0 | 206 | 803k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1075.83/1076.27 c 1025s| 2130k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3181 | 0 | 0 | 206 | 806k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1079.74/1080.19 c 1028s| 2140k| 75 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 | 809k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1084.23/1084.62 c 1033s| 2150k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 | 812k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1088.92/1089.38 c 1037s| 2160k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 816k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1092.52/1092.97 c 1041s| 2170k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 818k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1096.33/1096.71 c 1044s| 2180k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 820k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1101.32/1101.77 c 1049s| 2190k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3158 | 0 | 0 | 206 | 825k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1105.52/1106.00 c 1053s| 2200k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3172 | 0 | 0 | 206 | 828k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1109.22/1109.62 c 1056s| 2210k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3172 | 0 | 0 | 206 | 831k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1113.11/1113.59 c 1060s| 2220k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3172 | 0 | 0 | 206 | 833k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1115.52/1115.92 c 1062s| 2230k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3173 | 0 | 0 | 206 | 834k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1118.11/1118.50 c 1065s| 2240k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 834k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1121.63/1122.02 c 1068s| 2250k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3168 | 0 | 0 | 206 | 836k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1125.52/1125.98 c 1072s| 2260k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3172 | 0 | 0 | 206 | 839k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1129.22/1129.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.22/1129.67 c 1075s| 2270k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 | 842k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1134.82/1135.23 c 1081s| 2280k| 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3171 | 0 | 0 | 206 | 846k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1139.21/1139.64 c 1085s| 2290k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 | 849k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1143.11/1143.52 c 1088s| 2300k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 852k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1145.81/1146.25 c 1091s| 2310k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 | 853k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1149.70/1150.17 c 1095s| 2320k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 855k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1154.01/1154.46 c 1099s| 2330k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 859k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1158.40/1158.88 c 1103s| 2340k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3188 | 0 | 0 | 206 | 861k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1162.90/1163.33 c 1107s| 2350k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 865k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1167.10/1167.54 c 1111s| 2360k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3175 | 0 | 0 | 206 | 868k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1171.10/1171.53 c 1115s| 2370k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 | 871k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1174.19/1174.69 c 1118s| 2380k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 | 872k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1177.30/1177.73 c 1121s| 2390k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3171 | 0 | 0 | 206 | 874k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1180.80/1181.27 c 1124s| 2400k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3179 | 0 | 0 | 206 | 876k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1184.39/1184.85 c 1127s| 2410k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3172 | 0 | 0 | 206 | 878k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1188.59/1189.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.59/1189.10 c 1132s| 2420k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3168 | 0 | 0 | 206 | 881k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1192.89/1193.32 c 1136s| 2430k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3175 | 0 | 0 | 206 | 884k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1196.59/1197.05 c 1139s| 2440k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3177 | 0 | 0 | 206 | 886k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1201.48/1201.96 c 1144s| 2450k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3201 | 0 | 0 | 206 | 890k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1207.59/1208.04 c 1149s| 2460k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3185 | 0 | 0 | 206 | 895k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1212.90/1213.37 c 1155s| 2470k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 900k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1217.88/1218.36 c 1159s| 2480k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 | 904k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1222.79/1223.24 c 1164s| 2490k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3172 | 0 | 0 | 206 | 907k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1229.77/1230.25 c 1171s| 2500k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3196 | 0 | 0 | 206 | 913k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1235.67/1236.15 c 1176s| 2510k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 918k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1240.08/1240.50 c 1180s| 2520k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3176 | 0 | 0 | 206 | 921k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1245.57/1246.09 c 1186s| 2530k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3171 | 0 | 0 | 206 | 925k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1251.28/1251.80 c 1191s| 2540k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3179 | 0 | 0 | 206 | 930k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1257.57/1258.08 c 1197s| 2550k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3177 | 0 | 0 | 206 | 936k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1263.26/1263.78 c 1203s| 2560k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3175 | 0 | 0 | 206 | 940k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1268.37/1268.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.37/1268.85 c 1208s| 2570k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3180 | 0 | 0 | 206 | 945k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1273.66/1274.11 c 1213s| 2580k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 | 949k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1279.15/1279.66 c 1218s| 2590k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 | 954k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1284.96/1285.45 c 1223s| 2600k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3189 | 0 | 0 | 206 | 959k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1289.87/1290.31 c 1228s| 2610k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 962k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1294.96/1295.45 c 1233s| 2620k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3188 | 0 | 0 | 206 | 966k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1302.55/1303.04 c 1240s| 2630k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3199 | 0 | 0 | 206 | 972k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1307.36/1307.90 c 1245s| 2640k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 975k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1309.66/1310.17 c 1247s| 2650k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 | 976k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1311.95/1312.48 c 1249s| 2660k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3160 | 0 | 0 | 206 | 976k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1314.34/1314.85 c 1251s| 2670k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 | 977k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1317.05/1317.59 c 1254s| 2680k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3175 | 0 | 0 | 206 | 978k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1322.45/1322.92 c 1259s| 2690k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3174 | 0 | 0 | 206 | 983k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1329.45/1329.98 c 1266s| 2700k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 | 988k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1335.24/1335.73 c 1271s| 2710k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 | 993k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1340.94/1341.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.94/1341.44 c 1277s| 2720k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3175 | 0 | 0 | 206 | 998k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1345.84/1346.37 c 1281s| 2730k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 |1002k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1350.34/1350.82 c 1286s| 2740k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 |1005k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1353.33/1353.86 c 1289s| 2750k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3158 | 0 | 0 | 206 |1006k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1357.03/1357.58 c 1292s| 2760k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 |1009k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1360.83/1361.31 c 1296s| 2770k| 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 |1011k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1364.54/1365.03 c 1299s| 2780k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 |1014k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1369.73/1370.23 c 1304s| 2790k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 |1018k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1374.93/1375.46 c 1309s| 2800k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 |1022k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1381.42/1381.91 c 1315s| 2810k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3169 | 0 | 0 | 206 |1027k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1387.32/1387.85 c 1321s| 2820k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3190 | 0 | 0 | 206 |1032k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1392.13/1392.64 c 1325s| 2830k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 |1035k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1397.62/1398.18 c 1331s| 2840k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 |1040k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1403.92/1404.40 c 1337s| 2850k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3183 | 0 | 0 | 206 |1045k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1410.62/1411.14 c 1343s| 2860k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3199 | 0 | 0 | 206 |1051k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1417.01/1417.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.01/1417.59 c 1349s| 2870k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3190 | 0 | 0 | 206 |1056k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1423.21/1423.72 c 1355s| 2880k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3192 | 0 | 0 | 206 |1061k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1427.61/1428.18 c 1359s| 2890k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3184 | 0 | 0 | 206 |1064k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1433.41/1433.91 c 1365s| 2900k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3177 | 0 | 0 | 206 |1068k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1439.60/1440.13 c 1371s| 2910k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3180 | 0 | 0 | 206 |1073k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1444.30/1444.86 c 1375s| 2920k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3183 | 0 | 0 | 206 |1077k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1449.10/1449.60 c 1380s| 2930k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3199 | 0 | 0 | 206 |1080k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1453.50/1454.04 c 1384s| 2940k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3148 | 0 | 0 | 206 |1083k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1457.10/1457.64 c 1387s| 2950k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3151 | 0 | 0 | 206 |1086k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1461.00/1461.58 c 1391s| 2960k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3147 | 0 | 0 | 206 |1089k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1464.61/1465.14 c 1395s| 2970k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3147 | 0 | 0 | 206 |1091k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1468.09/1468.61 c 1398s| 2980k| 64 | 6747 | 0.0 | 10M| 112 | - | 792 |3149 | 0 | 0 | 206 |1094k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1470.90/1471.41 c 1400s| 2990k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3149 | 0 | 0 | 206 |1095k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1473.99/1474.50 c 1403s| 3000k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3154 | 0 | 0 | 206 |1097k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1477.10/1477.63 c 1406s| 3010k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 |1099k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1480.00/1480.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.00/1480.54 c 1409s| 3020k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3152 | 0 | 0 | 206 |1100k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1482.49/1483.03 c 1411s| 3030k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3153 | 0 | 0 | 206 |1101k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1485.00/1485.58 c 1414s| 3040k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 |1102k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1488.29/1488.83 c 1417s| 3050k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3152 | 0 | 0 | 206 |1104k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1491.59/1492.14 c 1420s| 3060k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3153 | 0 | 0 | 206 |1106k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1494.99/1495.52 c 1423s| 3070k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 |1108k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1500.58/1501.14 c 1428s| 3080k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3158 | 0 | 0 | 206 |1112k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1503.59/1504.12 c 1431s| 3090k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3153 | 0 | 0 | 206 |1114k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1505.98/1506.55 c 1433s| 3100k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 |1115k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1508.59/1509.11 c 1436s| 3110k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 |1115k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1512.68/1513.27 c 1440s| 3120k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3185 | 0 | 0 | 206 |1119k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1517.68/1518.25 c 1445s| 3130k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3193 | 0 | 0 | 206 |1123k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1521.68/1522.28 c 1448s| 3140k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 |1126k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1525.78/1526.34 c 1452s| 3150k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3169 | 0 | 0 | 206 |1129k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1529.49/1530.00 c 1456s| 3160k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3168 | 0 | 0 | 206 |1132k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1533.57/1534.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.57/1534.11 c 1460s| 3170k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3153 | 0 | 0 | 206 |1135k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1537.98/1538.57 c 1464s| 3180k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 |1139k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1543.07/1543.64 c 1469s| 3190k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3175 | 0 | 0 | 206 |1143k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1546.57/1547.16 c 1472s| 3200k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3163 | 0 | 0 | 206 |1146k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1549.87/1550.48 c 1475s| 3210k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3174 | 0 | 0 | 206 |1148k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1554.66/1555.24 c 1480s| 3220k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3159 | 0 | 0 | 206 |1152k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1558.57/1559.12 c 1483s| 3230k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3170 | 0 | 0 | 206 |1155k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1562.36/1562.95 c 1487s| 3240k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3170 | 0 | 0 | 206 |1157k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1566.98/1567.58 c 1491s| 3250k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3169 | 0 | 0 | 206 |1161k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1570.47/1571.07 c 1495s| 3260k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3160 | 0 | 0 | 206 |1164k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1574.96/1575.58 c 1499s| 3270k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 |1167k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1579.46/1580.04 c 1503s| 3280k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3165 | 0 | 0 | 206 |1171k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1583.47/1584.08 c 1507s| 3290k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 |1174k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1587.66/1588.29 c 1511s| 3300k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3152 | 0 | 0 | 206 |1178k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1592.26/1592.85 c 1515s| 3310k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 |1181k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1596.26/1596.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.26/1596.83 c 1519s| 3320k| 63 | 6747 | 0.0 | 10M| 112 | - | 792 |3176 | 0 | 0 | 206 |1184k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1600.76/1601.37 c 1524s| 3330k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3168 | 0 | 0 | 206 |1188k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1605.55/1606.10 c 1528s| 3340k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3173 | 0 | 0 | 206 |1192k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1609.64/1610.27 c 1532s| 3350k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3160 | 0 | 0 | 206 |1195k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1613.35/1613.95 c 1536s| 3360k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3171 | 0 | 0 | 206 |1198k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1617.24/1617.86 c 1539s| 3370k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 |1201k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1622.14/1622.72 c 1544s| 3380k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3169 | 0 | 0 | 206 |1205k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1625.94/1626.51 c 1547s| 3390k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 |1208k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1629.55/1630.15 c 1551s| 3400k| 66 | 6747 | 0.0 | 10M| 112 | - | 792 |3179 | 0 | 0 | 206 |1210k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1633.64/1634.26 c 1555s| 3410k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3164 | 0 | 0 | 206 |1214k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1638.63/1639.25 c 1560s| 3420k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3169 | 0 | 0 | 206 |1218k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1643.73/1644.38 c 1564s| 3430k| 64 | 6747 | 0.0 | 10M| 112 | - | 792 |3177 | 0 | 0 | 206 |1223k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1647.54/1648.18 c 1568s| 3440k| 63 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 |1226k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1650.74/1651.31 c 1571s| 3450k| 65 | 6747 | 0.0 | 10M| 112 | - | 792 |3153 | 0 | 0 | 206 |1227k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1654.34/1654.92 c 1574s| 3460k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 |1230k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1659.94/1660.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.94/1660.56 c 1580s| 3470k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3158 | 0 | 0 | 206 |1234k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1664.53/1665.19 c 1584s| 3480k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 |1238k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1670.43/1671.10 c 1590s| 3490k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3170 | 0 | 0 | 206 |1243k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1675.13/1675.79 c 1594s| 3500k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3185 | 0 | 0 | 206 |1247k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1681.23/1681.87 c 1600s| 3510k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3167 | 0 | 0 | 206 |1251k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1686.63/1687.27 c 1605s| 3520k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3173 | 0 | 0 | 206 |1256k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1691.42/1692.00 c 1610s| 3530k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3155 | 0 | 0 | 206 |1259k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1698.52/1699.13 c 1617s| 3540k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3166 | 0 | 0 | 206 |1265k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1703.01/1703.65 c 1621s| 3550k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3146 | 0 | 0 | 206 |1268k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1706.02/1706.68 c 1624s| 3560k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3148 | 0 | 0 | 206 |1269k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1711.41/1712.02 c 1629s| 3570k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 |1274k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1716.91/1717.51 c 1634s| 3580k| 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3179 | 0 | 0 | 206 |1278k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1723.21/1723.88 c 1640s| 3590k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3185 | 0 | 0 | 206 |1284k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1728.11/1728.71 c 1645s| 3600k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 |1288k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1733.30/1733.97 c 1650s| 3610k| 72 | 6747 | 0.0 | 10M| 112 | - | 792 |3154 | 0 | 0 | 206 |1292k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1740.10/1740.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.10/1740.74 c 1656s| 3620k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 |1298k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1745.30/1745.92 c 1661s| 3630k| 73 | 6747 | 0.0 | 10M| 112 | - | 792 |3146 | 0 | 0 | 206 |1303k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1749.60/1750.25 c 1665s| 3640k| 67 | 6747 | 0.0 | 10M| 112 | - | 792 |3149 | 0 | 0 | 206 |1306k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1754.60/1755.29 c 1670s| 3650k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3162 | 0 | 0 | 206 |1310k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1759.50/1760.17 c 1675s| 3660k| 74 | 6747 | 0.0 | 10M| 112 | - | 792 |3153 | 0 | 0 | 206 |1314k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1762.70/1763.39 c 1678s| 3670k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 |1316k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1766.90/1767.54 c 1682s| 3680k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3150 | 0 | 0 | 206 |1319k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1771.69/1772.31 c 1686s| 3690k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3154 | 0 | 0 | 206 |1323k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1776.40/1777.07 c 1691s| 3700k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 |1327k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1781.40/1782.03 c 1696s| 3710k| 69 | 6747 | 0.0 | 10M| 112 | - | 792 |3161 | 0 | 0 | 206 |1331k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1786.09/1786.72 c 1700s| 3720k| 70 | 6747 | 0.0 | 10M| 112 | - | 792 |3169 | 0 | 0 | 206 |1334k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1792.39/1793.04 c 1706s| 3730k| 71 | 6747 | 0.0 | 10M| 112 | - | 792 |3160 | 0 | 0 | 206 |1339k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1796.29/1796.90 c 1710s| 3740k| 68 | 6747 | 0.0 | 10M| 112 | - | 792 |3157 | 0 | 0 | 206 |1342k| 40 | 2.141115e+02 | 3.610000e+02 | 68.60%
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71 c
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time (sec) : 1713.54
1800.10/1800.71 c Solving Nodes : 3748480
1800.10/1800.71 c Primal Bound : +3.61000000000000e+02 (2 solutions)
1800.10/1800.71 c Dual Bound : +2.14111451053102e+02
1800.10/1800.71 c Gap : 68.60 %
1800.10/1800.72 s SATISFIABLE
1800.10/1800.72 v x792 -x791 -x790 x789 x788 -x787 x786 -x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 x776 -x775 x774 -x773 x772 -x771 x770 -x769
1800.10/1800.72 v -x768 x767 x766 -x765 x764 -x763 x762 -x761 x760 -x759 x758 -x757 x756 -x755 x754 -x753 x752 -x751 -x750 x749 x748 -x747
1800.10/1800.72 v x746 -x745 -x744 x743 x742 -x741 x740 -x739 x738 -x737 x736 -x735 -x734 -x733 -x732 x731 x730 -x729 x728 -x727 x726 -x725 x724
1800.10/1800.72 v -x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 -x708 x707 x706 -x705 x704 -x703 x702 -x701
1800.10/1800.72 v x700 -x699 x698 -x697 x696 -x695 -x694 -x693 x692 -x691 x690 -x689 x688 -x687 -x686 x685 -x684 x683 x682 -x681 x680 -x679
1800.10/1800.72 v x678 -x677 x676 -x675 x674 -x673 -x672 x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 -x660 x659 x658 -x657 x656
1800.10/1800.72 v -x655 x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 x644 -x643 x642 -x641 x640 -x639 -x638 x637 x636 -x635 -x634
1800.10/1800.72 v x633 x632 -x631 x630 -x629 x628 -x627 x626 -x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611
1800.10/1800.72 v -x610 -x609 x608 -x607 x606 -x605 x604 -x603 -x602 x601 -x600 x599 x598 -x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589
1800.10/1800.72 v x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 -x578 x577 x576 -x575 -x574 -x573 x572 -x571 x570 -x569 x568 -x567 -x566
1800.10/1800.72 v x565 -x564 x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 x544 -x543
1800.10/1800.72 v x542 -x541 x540 -x539 x538 -x537 x536 -x535 x534 -x533 x532 -x531 -x530 x529 x528 -x527 x526 -x525 x524 -x523 x522 -x521
1800.10/1800.72 v x520 -x519 -x518 x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 x505 x504 -x503 -x502 x501 x500 -x499 x498
1800.10/1800.72 v -x497 x496 -x495 x494 -x493 -x492 x491 x490 -x489 x488 -x487 x486 -x485 x484 -x483 x482 -x481 -x480 -x479 -x478 x477 x476 -x475
1800.10/1800.72 v x474 -x473 x472 -x471 -x470 -x469 -x468 x467 x466 -x465 x464 -x463 x462 -x461 x460 -x459 x458 -x457 -x456 x455 x454 -x453
1800.10/1800.72 v x452 -x451 x450 -x449 x448 -x447 x446 -x445 x444 -x443 x442 -x441 x440 -x439 x438 -x437 x436 -x435 -x434 x433 -x432 -x431 x430
1800.10/1800.72 v -x429 x428 -x427 x426 -x425 x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 x416 -x415 x414 -x413 x412 -x411 -x410 x409 -x408
1800.10/1800.72 v x407 x406 -x405 x404 -x403 x402 -x401 x400 -x399 -x398 -x397 x396 -x395 x394 -x393 x392 -x391 x390 -x389 x388 -x387 -x386 x385
1800.10/1800.72 v -x384 x383 x382 -x381 x380 -x379 x378 -x377 x376 -x375 -x374 -x373 -x372 x371 x370 -x369 x368 -x367 x366 -x365 x364 -x363
1800.10/1800.72 v -x362 -x361 -x360 x359 x358 -x357 x356 -x355 x354 -x353 x352 -x351 x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 x342 -x341
1800.10/1800.72 v -x340 x339 x338 -x337 -x336 -x335 x334 -x333 x332 -x331 x330 -x329 x328 -x327 -x326 x325 x324 -x323 x322 -x321 x320 -x319 x318
1800.10/1800.72 v -x317 x316 -x315 -x314 x313 -x312 x311 x310 -x309 x308 -x307 x306 -x305 x304 -x303 x302 -x301 -x300 x299 x298 -x297 x296 -x295
1800.10/1800.72 v x294 -x293 x292 -x291 x290 -x289 -x288 x287 x286 -x285 x284 -x283 x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 x274 -x273
1800.10/1800.72 v x272 -x271 x270 -x269 x268 -x267 -x266 x265 x264 -x263 x262 -x261 x260 -x259 x258 -x257 x256 -x255 -x254 x253 -x252 -x251 x250
1800.10/1800.72 v -x249 x248 -x247 x246 -x245 x244 -x243 -x242 x241 x240 -x239 -x238 x237 x236 -x235 x234 -x233 x232 -x231 x230 -x229 -x228
1800.10/1800.72 v x227 -x226 -x225 x224 -x223 x222 -x221 x220 -x219 -x218 -x217 -x216 x215 x214 -x213 x212 -x211 x210 -x209 x208 -x207 x206 -x205
1800.10/1800.72 v -x204 x203 x202 -x201 x200 -x199 x198 -x197 x196 -x195 -x194 -x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183
1800.10/1800.72 v -x182 x181 -x180 x179 -x178 x177 -x176 x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160
1800.10/1800.72 v x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 x140 -x139 -x138 x137
1800.10/1800.72 v -x136 x135 x134 -x133 -x132 x131 x130 -x129 x128 -x127 -x126 x125 -x124 x123 x122 -x121 -x120 -x119 -x118 x117 -x116 x115
1800.10/1800.72 v -x114 -x113 x112 -x111 -x110 x109 -x108 -x107 -x106 x105 -x104 x103 -x102 -x101 -x100 x99 x98 -x97 -x96 x95 x94 -x93 x92 -x91
1800.10/1800.72 v -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 x77 -x76 x75 -x74 -x73 -x72 x71 x70 -x69 -x68 x67 x66 -x65 x64
1800.10/1800.72 v -x63 -x62 x61 -x60 x59 x58 -x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 x48 -x47 -x46 x45 -x44 -x43 -x42 x41 -x40 x39 -x38 -x37
1800.10/1800.72 v -x36 x35 x34 -x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 x12 -x11 -x10
1800.10/1800.72 v x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.10/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.72 c Solving Time : 1713.54
1800.10/1800.72 c Original Problem :
1800.10/1800.72 c Problem name : HOME/instance-2665627-1276466903.opb
1800.10/1800.72 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.72 c Constraints : 3194 initial, 3194 maximal
1800.10/1800.72 c Presolved Problem :
1800.10/1800.72 c Problem name : t_HOME/instance-2665627-1276466903.opb
1800.10/1800.72 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.72 c Constraints : 3134 initial, 3244 maximal
1800.10/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c probing : 0.03 0 0 0 0 0 0 0 0
1800.10/1800.72 c linear : 0.04 0 0 0 0 0 60 0 0
1800.10/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.10/1800.72 c root node : - 0 - - 0 - - - -
1800.10/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.72 c logicor : 3134+ 26 7309834 0 2 1344745 7875632 0 0 0
1800.10/1800.72 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.10/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.72 c integral : 3.19 0.00 0.00 3.19 0.00
1800.10/1800.72 c logicor : 870.67 0.04 870.63 0.00 0.00
1800.10/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.72 c vbounds : 6.33 2 0 0
1800.10/1800.72 c rootredcost : 6.43 2 0 0
1800.10/1800.72 c pseudoobj : 537.87 14087424 786749 32220364
1800.10/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.72 c propagation : 819.31 1344745 1344745 1344745 68.0 9 33.3 -
1800.10/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c pseudo solution : 1.52 6010 0 0 0.0 0 0.0 -
1800.10/1800.72 c applied globally : - - - 1344754 68.0 - - -
1800.10/1800.72 c applied locally : - - - 0 0.0 - - -
1800.10/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.72 c cut pool : 0.06 25 - - 513 - (maximal pool size: 1963)
1800.10/1800.72 c redcost : 0.00 26 0 0 0 0
1800.10/1800.72 c impliedbounds : 0.01 26 0 0 0 0
1800.10/1800.72 c intobj : 0.00 0 0 0 0 0
1800.10/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.72 c gomory : 3.19 26 0 0 8715 0
1800.10/1800.72 c strongcg : 1.43 20 0 0 9559 0
1800.10/1800.72 c cmir : 0.22 10 0 0 0 0
1800.10/1800.72 c flowcover : 0.15 10 0 0 0 0
1800.10/1800.72 c clique : 0.02 1 0 0 0 0
1800.10/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.72 c mcf : 0.00 1 0 0 0 0
1800.10/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.72 c Pricers : Time Calls Vars
1800.10/1800.72 c problem variables: 0.00 0 0
1800.10/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.72 c relpscost : 3.19 1 0 0 0 0 2
1800.10/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.72 c inference : 32.88 2269255 0 0 0 0 4538510
1800.10/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.72 c random : 0.00 0 0 0 0 0 0
1800.10/1800.72 c Primal Heuristics : Time Calls Found
1800.10/1800.72 c LP solutions : 0.00 - 0
1800.10/1800.72 c pseudo solutions : 0.00 - 2
1800.10/1800.72 c oneopt : 2.35 0 0
1800.10/1800.72 c crossover : 0.00 0 0
1800.10/1800.72 c trivial : 0.01 2 0
1800.10/1800.72 c simplerounding : 0.00 0 0
1800.10/1800.72 c zirounding : 0.00 1 0
1800.10/1800.72 c rounding : 0.02 26 0
1800.10/1800.72 c shifting : 0.16 26 0
1800.10/1800.72 c intshifting : 0.00 0 0
1800.10/1800.72 c twoopt : 0.00 0 0
1800.10/1800.72 c fixandinfer : 0.00 0 0
1800.10/1800.72 c feaspump : 0.02 1 0
1800.10/1800.72 c coefdiving : 0.00 0 0
1800.10/1800.72 c pscostdiving : 0.00 0 0
1800.10/1800.72 c fracdiving : 0.00 0 0
1800.10/1800.72 c veclendiving : 0.00 0 0
1800.10/1800.72 c intdiving : 0.00 0 0
1800.10/1800.72 c actconsdiving : 0.00 0 0
1800.10/1800.72 c objpscostdiving : 0.00 0 0
1800.10/1800.72 c rootsoldiving : 0.00 0 0
1800.10/1800.72 c linesearchdiving : 0.00 0 0
1800.10/1800.72 c guideddiving : 0.00 0 0
1800.10/1800.72 c octane : 0.00 0 0
1800.10/1800.72 c rens : 0.01 0 0
1800.10/1800.72 c rins : 0.00 0 0
1800.10/1800.72 c localbranching : 0.00 0 0
1800.10/1800.72 c mutation : 0.00 0 0
1800.10/1800.72 c dins : 0.00 0 0
1800.10/1800.72 c undercover : 0.00 0 0
1800.10/1800.72 c nlp : 1.54 0 0
1800.10/1800.72 c trysol : 1.71 0 0
1800.10/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.72 c primal LP : 0.04 0 0 0.00 0.00
1800.10/1800.72 c dual LP : 1.81 26 6747 259.50 3727.62
1800.10/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.72 c strong branching : 3.18 40 11466 286.65 3605.66
1800.10/1800.72 c (at root node) : - 40 11466 286.65 -
1800.10/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.72 c B&B Tree :
1800.10/1800.72 c number of runs : 1
1800.10/1800.72 c nodes : 3748480
1800.10/1800.72 c nodes (total) : 3748480
1800.10/1800.72 c nodes left : 71
1800.10/1800.72 c max depth : 112
1800.10/1800.72 c max depth (total): 112
1800.10/1800.72 c backtracks : 1153068 (30.8%)
1800.10/1800.72 c delayed cutoffs : 789937
1800.10/1800.72 c repropagations : 1352981 (15882408 domain reductions, 658282 cutoffs)
1800.10/1800.72 c avg switch length: 2.14
1800.10/1800.72 c switching time : 77.50
1800.10/1800.72 c Solution :
1800.10/1800.72 c Solutions found : 2 (2 improvements)
1800.10/1800.72 c First Solution : +3.62000000000000e+02 (in run 1, after 143 nodes, 10.64 seconds, depth 112, found by <relaxation>)
1800.10/1800.72 c Primal Bound : +3.61000000000000e+02 (in run 1, after 122881 nodes, 64.15 seconds, depth 87, found by <relaxation>)
1800.10/1800.72 c Dual Bound : +2.14111451053102e+02
1800.10/1800.72 c Gap : 68.60 %
1800.10/1800.72 c Root Dual Bound : +2.13782628818109e+02
1800.10/1800.72 c Root Iterations : 6747
1800.10/1800.74 c Time complete: 1800.13.