0.00/0.00 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.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik 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-2666058-1276412701.opb>
0.00/0.04 c original problem has 466 variables (466 bin, 0 int, 0 impl, 0 cont) and 694 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.06 o 466
0.00/0.06 c feasible solution found by trivial heuristic, objective value 4.660000e+02
0.00/0.06 c presolving:
0.09/0.11 c (round 1) 0 del vars, 34 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 634 upgd conss, 32 impls, 0 clqs
0.09/0.11 c (round 2) 15 del vars, 49 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 634 upgd conss, 32 impls, 0 clqs
0.09/0.11 c (round 3) 16 del vars, 51 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 634 upgd conss, 32 impls, 0 clqs
0.09/0.13 c (round 4) 17 del vars, 65 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 648 upgd conss, 32 impls, 0 clqs
0.09/0.14 c (0.1s) probing: 101/449 (22.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 17 deleted vars, 65 deleted constraints, 0 tightened bounds, 0 added holes, 15 changed sides, 0 changed coefficients
0.09/0.14 c 32 implications, 0 cliques
0.09/0.14 c presolved problem has 449 variables (449 bin, 0 int, 0 impl, 0 cont) and 629 constraints
0.09/0.14 c 629 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.08
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c conflict/interconss = 0
0.09/0.14 c
0.09/0.14 c # should binary conflicts be preferred?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c conflict/preferbinary = TRUE
0.09/0.14 c
0.09/0.14 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c constraints/agelimit = 1
0.09/0.14 c
0.09/0.14 c # should enforcement of pseudo solution be disabled?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/disableenfops = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.96
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = 0
0.09/0.14 c
0.09/0.14 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.09/0.14 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.14 c lp/pricing = a
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # priority of node selection rule <dfs> in standard mode
0.09/0.14 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.14 c nodeselection/dfs/stdpriority = 1000000
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 o 450
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c t 0.1s| 1 | 0 | 0 | - |2361k| 0 | - | 449 | 629 | 0 | 0 | 0 | 0 | 0 | -- | 4.500000e+02 | Inf
0.09/0.14 o 378
0.09/0.14 c t 0.1s| 1 | 0 | 0 | - |2368k| 0 | - | 449 | 629 | 0 | 0 | 0 | 0 | 0 | -- | 3.780000e+02 | Inf
0.09/0.15 o 32
0.09/0.15 c b 0.1s| 1 | 0 | 0 | - |3471k| 0 | - | 449 | 629 | 449 | 629 | 0 | 0 | 0 | -- | 3.200000e+01 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 36 | - |3464k| 0 | 31 | 449 | 629 | 449 | 629 | 0 | 0 | 0 | 2.350000e+01 | 3.200000e+01 | 36.17%
0.19/0.24 c 0.2s| 1 | 0 | 58 | - |3514k| 0 | 19 | 449 | 629 | 449 | 640 | 11 | 0 | 0 | 2.350000e+01 | 3.200000e+01 | 36.17%
0.19/0.24 o 31
0.19/0.24 c R 0.2s| 1 | 0 | 58 | - |3520k| 0 | 19 | 449 | 629 | 449 | 640 | 11 | 0 | 0 | 2.350000e+01 | 3.100000e+01 | 31.91%
0.19/0.24 o 30
0.19/0.24 c s 0.2s| 1 | 0 | 58 | - |3526k| 0 | 19 | 449 | 629 | 449 | 640 | 11 | 0 | 0 | 2.350000e+01 | 3.000000e+01 | 27.66%
0.19/0.24 o 27
0.19/0.24 c b 0.2s| 1 | 0 | 58 | - |3537k| 0 | 19 | 449 | 629 | 449 | 640 | 11 | 0 | 0 | 2.350000e+01 | 2.700000e+01 | 14.89%
0.29/0.31 c 0.2s| 1 | 0 | 75 | - |3599k| 0 | 32 | 449 | 629 | 449 | 643 | 14 | 0 | 0 | 2.350000e+01 | 2.700000e+01 | 14.89%
0.49/0.53 c 0.4s| 1 | 0 | 90 | - |3924k| 0 | 32 | 449 | 629 | 449 | 645 | 16 | 0 | 0 | 2.350000e+01 | 2.700000e+01 | 14.89%
0.49/0.53 o 26
0.49/0.53 c R 0.4s| 1 | 0 | 90 | - |3930k| 0 | 32 | 449 | 629 | 449 | 645 | 16 | 0 | 0 | 2.350000e+01 | 2.600000e+01 | 10.64%
0.49/0.53 o 25
0.49/0.53 c b 0.5s| 1 | 0 | 90 | - |3942k| 0 | 32 | 449 | 629 | 449 | 645 | 16 | 0 | 0 | 2.350000e+01 | 2.500000e+01 | 6.38%
0.89/0.99 c 0.9s| 1 | 0 | 109 | - |4244k| 0 | 32 | 449 | 629 | 449 | 647 | 19 | 0 | 0 | 2.350000e+01 | 2.500000e+01 | 6.38%
1.19/1.21 c 1.1s| 1 | 0 | 128 | - |4661k| 0 | 24 | 449 | 629 | 449 | 650 | 22 | 0 | 0 | 2.350000e+01 | 2.500000e+01 | 6.38%
1.29/1.39 c 1.3s| 1 | 0 | 143 | - |4891k| 0 | 25 | 449 | 629 | 449 | 654 | 26 | 0 | 0 | 2.350000e+01 | 2.500000e+01 | 6.38%
1.49/1.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.60 c 1.5s| 1 | 2 | 143 | - |4897k| 0 | 25 | 449 | 629 | 449 | 654 | 26 | 0 | 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
5.50/5.60 c 5.3s| 10000 | 237 | 143 | 0.0 |5152k| 349 | - | 449 | 632 | 0 | 0 | 26 |5343 | 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
9.78/9.86 c 9.3s| 20000 | 219 | 143 | 0.0 |5140k| 349 | - | 449 | 629 | 0 | 0 | 26 | 10k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
14.18/14.29 c 13.5s| 30000 | 217 | 143 | 0.0 |5145k| 349 | - | 449 | 632 | 0 | 0 | 26 | 16k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
18.98/19.05 c 17.9s| 40000 | 204 | 143 | 0.0 |5152k| 349 | - | 449 | 637 | 0 | 0 | 26 | 22k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
23.58/23.61 c 22.2s| 50000 | 207 | 143 | 0.0 |5152k| 349 | - | 449 | 633 | 0 | 0 | 26 | 28k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
28.18/28.21 c 26.6s| 60000 | 192 | 143 | 0.0 |5154k| 349 | - | 449 | 632 | 0 | 0 | 26 | 34k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
32.68/32.78 c 30.8s| 70000 | 206 | 143 | 0.0 |5155k| 349 | - | 449 | 635 | 0 | 0 | 26 | 40k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
37.48/37.59 c 35.4s| 80000 | 213 | 143 | 0.0 |5155k| 349 | - | 449 | 630 | 0 | 0 | 26 | 45k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
42.18/42.29 c 39.8s| 90000 | 208 | 143 | 0.0 |5162k| 349 | - | 449 | 640 | 0 | 0 | 26 | 51k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
46.48/46.54 c 43.8s|100000 | 190 | 143 | 0.0 |5152k| 349 | - | 449 | 629 | 0 | 0 | 26 | 57k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
51.47/51.51 c 48.5s|110000 | 197 | 143 | 0.0 |5160k| 349 | - | 449 | 636 | 0 | 0 | 26 | 63k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
56.57/56.69 c 53.4s|120000 | 192 | 143 | 0.0 |5157k| 349 | - | 449 | 631 | 0 | 0 | 26 | 69k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
61.87/61.93 c 58.3s|130000 | 180 | 143 | 0.0 |5154k| 349 | - | 449 | 629 | 0 | 0 | 26 | 75k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
66.67/66.73 c 62.8s|140000 | 185 | 143 | 0.0 |5156k| 349 | - | 449 | 630 | 0 | 0 | 26 | 81k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
71.07/71.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.07/71.12 c 66.9s|150000 | 195 | 143 | 0.0 |5164k| 349 | - | 449 | 633 | 0 | 0 | 26 | 87k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
76.37/76.48 c 72.0s|160000 | 178 | 143 | 0.0 |5160k| 349 | - | 449 | 637 | 0 | 0 | 26 | 93k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
81.27/81.32 c 76.5s|170000 | 189 | 143 | 0.0 |5164k| 349 | - | 449 | 631 | 0 | 0 | 26 | 99k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
86.37/86.44 c 81.3s|180000 | 183 | 143 | 0.0 |5173k| 349 | - | 449 | 632 | 0 | 0 | 26 | 105k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
91.16/91.20 c 85.8s|190000 | 182 | 143 | 0.0 |5166k| 349 | - | 449 | 631 | 0 | 0 | 26 | 111k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
96.06/96.16 c 90.5s|200000 | 180 | 143 | 0.0 |5171k| 349 | - | 449 | 642 | 0 | 0 | 26 | 117k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
100.86/100.90 c 94.9s|210000 | 186 | 143 | 0.0 |5167k| 349 | - | 449 | 630 | 0 | 0 | 26 | 122k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
105.66/105.71 c 99.4s|220000 | 195 | 143 | 0.0 |5175k| 349 | - | 449 | 640 | 0 | 0 | 26 | 128k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
111.75/111.83 c 105s|230000 | 190 | 143 | 0.0 |5178k| 349 | - | 449 | 639 | 0 | 0 | 26 | 135k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
116.85/116.96 c 110s|240000 | 192 | 143 | 0.0 |5174k| 349 | - | 449 | 631 | 0 | 0 | 26 | 141k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
122.74/122.83 c 115s|250000 | 184 | 143 | 0.0 |5169k| 349 | - | 449 | 631 | 0 | 0 | 26 | 147k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
127.34/127.41 c 120s|260000 | 183 | 143 | 0.0 |5179k| 349 | - | 449 | 632 | 0 | 0 | 26 | 153k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
133.05/133.18 c 125s|270000 | 196 | 143 | 0.0 |5176k| 349 | - | 449 | 629 | 0 | 0 | 26 | 159k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
137.75/137.81 c 130s|280000 | 183 | 143 | 0.0 |5171k| 349 | - | 449 | 630 | 0 | 0 | 26 | 165k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
143.34/143.48 c 135s|290000 | 178 | 143 | 0.0 |5169k| 349 | - | 449 | 630 | 0 | 0 | 26 | 171k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
148.74/148.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.74/148.89 c 140s|300000 | 187 | 143 | 0.0 |5182k| 349 | - | 449 | 637 | 0 | 0 | 26 | 178k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
154.34/154.45 c 145s|310000 | 172 | 143 | 0.0 |5177k| 349 | - | 449 | 635 | 0 | 0 | 26 | 184k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
159.44/159.55 c 150s|320000 | 168 | 143 | 0.0 |5177k| 349 | - | 449 | 631 | 0 | 0 | 26 | 190k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
164.54/164.63 c 155s|330000 | 186 | 143 | 0.0 |5178k| 349 | - | 449 | 632 | 0 | 0 | 26 | 196k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
170.33/170.46 c 160s|340000 | 163 | 143 | 0.0 |5170k| 349 | - | 449 | 634 | 0 | 0 | 26 | 202k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
175.23/175.30 c 165s|350000 | 208 | 143 | 0.0 |5188k| 349 | - | 449 | 635 | 0 | 0 | 26 | 208k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
180.72/180.85 c 170s|360000 | 177 | 143 | 0.0 |5181k| 349 | - | 449 | 636 | 0 | 0 | 26 | 215k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
186.53/186.63 c 175s|370000 | 174 | 143 | 0.0 |5179k| 349 | - | 449 | 633 | 0 | 0 | 26 | 221k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
192.23/192.39 c 181s|380000 | 188 | 143 | 0.0 |5182k| 349 | - | 449 | 632 | 0 | 0 | 26 | 227k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
197.02/197.15 c 185s|390000 | 190 | 143 | 0.0 |5180k| 349 | - | 449 | 632 | 0 | 0 | 26 | 233k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
202.82/202.92 c 191s|400000 | 172 | 143 | 0.0 |5189k| 349 | - | 449 | 640 | 0 | 0 | 26 | 239k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
208.02/208.18 c 196s|410000 | 179 | 143 | 0.0 |5185k| 349 | - | 449 | 634 | 0 | 0 | 26 | 245k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
213.72/213.80 c 201s|420000 | 160 | 143 | 0.0 |5181k| 349 | - | 449 | 642 | 0 | 0 | 26 | 252k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
218.61/218.76 c 205s|430000 | 177 | 143 | 0.0 |5182k| 349 | - | 449 | 637 | 0 | 0 | 26 | 258k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
223.11/223.24 c 210s|440000 | 209 | 143 | 0.0 |5187k| 349 | - | 449 | 632 | 0 | 0 | 26 | 263k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
227.91/228.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.91/228.05 c 214s|450000 | 189 | 143 | 0.0 |5185k| 349 | - | 449 | 629 | 0 | 0 | 26 | 269k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
233.91/234.02 c 220s|460000 | 181 | 143 | 0.0 |5187k| 349 | - | 449 | 645 | 0 | 0 | 26 | 275k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
239.40/239.54 c 225s|470000 | 169 | 143 | 0.0 |5178k| 349 | - | 449 | 630 | 0 | 0 | 26 | 282k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
245.40/245.53 c 231s|480000 | 166 | 143 | 0.0 |5194k| 349 | - | 449 | 643 | 0 | 0 | 26 | 288k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
251.50/251.64 c 236s|490000 | 171 | 143 | 0.0 |5180k| 349 | - | 449 | 629 | 0 | 0 | 26 | 295k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
256.80/256.91 c 241s|500000 | 170 | 143 | 0.0 |5182k| 349 | - | 449 | 639 | 0 | 0 | 26 | 301k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
262.30/262.42 c 247s|510000 | 176 | 143 | 0.0 |5185k| 349 | - | 449 | 635 | 0 | 0 | 26 | 307k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
267.59/267.72 c 252s|520000 | 161 | 143 | 0.0 |5178k| 349 | - | 449 | 635 | 0 | 0 | 26 | 313k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
273.20/273.37 c 257s|530000 | 156 | 143 | 0.0 |5187k| 349 | - | 449 | 646 | 0 | 0 | 26 | 319k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
278.69/278.82 c 262s|540000 | 165 | 143 | 0.0 |5179k| 349 | - | 449 | 632 | 0 | 0 | 26 | 325k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
284.19/284.33 c 267s|550000 | 186 | 143 | 0.0 |5194k| 349 | - | 449 | 646 | 0 | 0 | 26 | 332k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
288.99/289.15 c 272s|560000 | 197 | 143 | 0.0 |5191k| 349 | - | 449 | 629 | 0 | 0 | 26 | 337k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
294.39/294.50 c 277s|570000 | 198 | 143 | 0.0 |5195k| 349 | - | 449 | 635 | 0 | 0 | 26 | 343k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
299.99/300.10 c 282s|580000 | 206 | 143 | 0.0 |5194k| 349 | - | 449 | 630 | 0 | 0 | 26 | 349k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
305.98/306.10 c 288s|590000 | 177 | 143 | 0.0 |5187k| 349 | - | 449 | 631 | 0 | 0 | 26 | 355k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
311.78/311.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.78/311.98 c 293s|600000 | 162 | 143 | 0.0 |5186k| 349 | - | 449 | 631 | 0 | 0 | 26 | 361k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
317.38/317.52 c 298s|610000 | 240 | 143 | 0.0 |5207k| 349 | - | 449 | 637 | 0 | 0 | 26 | 367k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
324.08/324.27 c 305s|620000 | 178 | 143 | 0.0 |5192k| 349 | - | 449 | 637 | 0 | 0 | 26 | 374k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
329.98/330.14 c 310s|630000 | 162 | 143 | 0.0 |5198k| 349 | - | 449 | 645 | 0 | 0 | 26 | 380k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
335.68/335.84 c 315s|640000 | 163 | 143 | 0.0 |5220k| 349 | - | 449 | 693 | 0 | 0 | 26 | 386k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
341.87/342.00 c 321s|650000 | 203 | 143 | 0.0 |5198k| 349 | - | 449 | 631 | 0 | 0 | 26 | 393k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
346.77/346.95 c 326s|660000 | 198 | 143 | 0.0 |5197k| 349 | - | 449 | 630 | 0 | 0 | 26 | 399k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
353.57/353.72 c 332s|670000 | 169 | 143 | 0.0 |5191k| 349 | - | 449 | 629 | 0 | 0 | 26 | 405k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
360.16/360.38 c 338s|680000 | 189 | 143 | 0.0 |5202k| 349 | - | 449 | 633 | 0 | 0 | 26 | 412k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
366.56/366.75 c 344s|690000 | 194 | 143 | 0.0 |5198k| 349 | - | 449 | 630 | 0 | 0 | 26 | 419k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
372.26/372.40 c 350s|700000 | 165 | 143 | 0.0 |5195k| 349 | - | 449 | 631 | 0 | 0 | 26 | 425k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
377.56/377.76 c 355s|710000 | 174 | 143 | 0.0 |5203k| 349 | - | 449 | 636 | 0 | 0 | 26 | 431k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
384.26/384.45 c 361s|720000 | 188 | 143 | 0.0 |5201k| 349 | - | 449 | 629 | 0 | 0 | 26 | 437k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
391.25/391.41 c 367s|730000 | 180 | 143 | 0.0 |5199k| 349 | - | 449 | 633 | 0 | 0 | 26 | 444k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
397.25/397.40 c 373s|740000 | 166 | 143 | 0.0 |5219k| 349 | - | 449 | 691 | 0 | 0 | 26 | 450k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
402.95/403.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.95/403.13 c 378s|750000 | 173 | 143 | 0.0 |5196k| 349 | - | 449 | 633 | 0 | 0 | 26 | 457k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
408.95/409.13 c 384s|760000 | 170 | 143 | 0.0 |5209k| 349 | - | 449 | 644 | 0 | 0 | 26 | 463k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
414.45/414.63 c 389s|770000 | 172 | 143 | 0.0 |5201k| 349 | - | 449 | 644 | 0 | 0 | 26 | 469k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
421.15/421.39 c 395s|780000 | 172 | 143 | 0.0 |5199k| 349 | - | 449 | 639 | 0 | 0 | 26 | 476k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
426.95/427.10 c 401s|790000 | 166 | 143 | 0.0 |5198k| 349 | - | 449 | 629 | 0 | 0 | 26 | 482k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
432.54/432.79 c 406s|800000 | 193 | 143 | 0.0 |5213k| 349 | - | 449 | 638 | 0 | 0 | 26 | 488k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
437.84/438.01 c 411s|810000 | 175 | 143 | 0.0 |5206k| 349 | - | 449 | 632 | 0 | 0 | 26 | 494k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
444.44/444.62 c 417s|820000 | 171 | 143 | 0.0 |5196k| 349 | - | 449 | 630 | 0 | 0 | 26 | 501k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
449.64/449.85 c 422s|830000 | 177 | 143 | 0.0 |5199k| 349 | - | 449 | 629 | 0 | 0 | 26 | 506k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
455.93/456.16 c 428s|840000 | 196 | 143 | 0.0 |5205k| 349 | - | 449 | 630 | 0 | 0 | 26 | 513k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
462.63/462.82 c 434s|850000 | 182 | 143 | 0.0 |5215k| 349 | - | 449 | 645 | 0 | 0 | 26 | 520k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
468.83/469.05 c 440s|860000 | 178 | 143 | 0.0 |5208k| 349 | - | 449 | 634 | 0 | 0 | 26 | 526k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
475.32/475.59 c 446s|870000 | 168 | 143 | 0.0 |5203k| 349 | - | 449 | 630 | 0 | 0 | 26 | 533k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
481.22/481.48 c 452s|880000 | 178 | 143 | 0.0 |5208k| 349 | - | 449 | 629 | 0 | 0 | 26 | 540k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
486.93/487.18 c 457s|890000 | 169 | 143 | 0.0 |5220k| 349 | - | 449 | 637 | 0 | 0 | 26 | 546k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
493.22/493.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.22/493.43 c 463s|900000 | 168 | 143 | 0.0 |5209k| 349 | - | 449 | 633 | 0 | 0 | 26 | 552k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
500.62/500.87 c 470s|910000 | 177 | 143 | 0.0 |5227k| 349 | - | 449 | 674 | 0 | 0 | 26 | 559k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
506.11/506.32 c 475s|920000 | 181 | 143 | 0.0 |5211k| 349 | - | 449 | 629 | 0 | 0 | 26 | 565k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
511.11/511.31 c 479s|930000 | 168 | 143 | 0.0 |5208k| 349 | - | 449 | 629 | 0 | 0 | 26 | 572k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
517.31/517.54 c 485s|940000 | 180 | 143 | 0.0 |5220k| 349 | - | 449 | 634 | 0 | 0 | 26 | 578k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
522.91/523.17 c 490s|950000 | 183 | 143 | 0.0 |5215k| 349 | - | 449 | 629 | 0 | 0 | 26 | 584k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
529.41/529.60 c 496s|960000 | 169 | 143 | 0.0 |5210k| 349 | - | 449 | 629 | 0 | 0 | 26 | 591k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
535.01/535.24 c 502s|970000 | 187 | 143 | 0.0 |5229k| 349 | - | 449 | 651 | 0 | 0 | 26 | 597k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
541.60/541.84 c 508s|980000 | 179 | 143 | 0.0 |5235k| 349 | - | 449 | 647 | 0 | 0 | 26 | 604k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
547.40/547.66 c 513s|990000 | 176 | 143 | 0.0 |5221k| 349 | - | 449 | 647 | 0 | 0 | 26 | 610k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
553.30/553.55 c 519s| 1000k| 159 | 143 | 0.0 |5207k| 349 | - | 449 | 629 | 0 | 0 | 26 | 617k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
560.50/560.70 c 525s| 1010k| 167 | 143 | 0.0 |5211k| 349 | - | 449 | 631 | 0 | 0 | 26 | 624k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
566.40/566.61 c 531s| 1020k| 172 | 143 | 0.0 |5221k| 349 | - | 449 | 634 | 0 | 0 | 26 | 630k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
572.29/572.52 c 536s| 1030k| 197 | 143 | 0.0 |5222k| 349 | - | 449 | 636 | 0 | 0 | 26 | 637k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
579.19/579.43 c 543s| 1040k| 190 | 143 | 0.0 |5217k| 349 | - | 449 | 632 | 0 | 0 | 26 | 644k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
586.48/586.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.48/586.79 c 550s| 1050k| 171 | 143 | 0.0 |5213k| 349 | - | 449 | 633 | 0 | 0 | 26 | 651k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
592.99/593.20 c 556s| 1060k| 171 | 143 | 0.0 |5212k| 349 | - | 449 | 631 | 0 | 0 | 26 | 657k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
598.88/599.13 c 561s| 1070k| 196 | 143 | 0.0 |5218k| 349 | - | 449 | 631 | 0 | 0 | 26 | 664k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
605.18/605.46 c 567s| 1080k| 171 | 143 | 0.0 |5219k| 349 | - | 449 | 634 | 0 | 0 | 26 | 670k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
610.68/610.96 c 572s| 1090k| 192 | 143 | 0.0 |5231k| 349 | - | 449 | 639 | 0 | 0 | 26 | 676k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
617.99/618.25 c 579s| 1100k| 177 | 143 | 0.0 |5215k| 349 | - | 449 | 632 | 0 | 0 | 26 | 683k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
623.18/623.48 c 584s| 1110k| 184 | 143 | 0.0 |5218k| 349 | - | 449 | 630 | 0 | 0 | 26 | 689k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
628.87/629.18 c 589s| 1120k| 181 | 143 | 0.0 |5224k| 349 | - | 449 | 637 | 0 | 0 | 26 | 696k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
635.07/635.35 c 595s| 1130k| 164 | 143 | 0.0 |5212k| 349 | - | 449 | 629 | 0 | 0 | 26 | 703k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
641.08/641.40 c 601s| 1140k| 164 | 143 | 0.0 |5218k| 349 | - | 449 | 638 | 0 | 0 | 26 | 710k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
647.27/647.50 c 606s| 1150k| 166 | 143 | 0.0 |5211k| 349 | - | 449 | 629 | 0 | 0 | 26 | 716k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
653.17/653.43 c 612s| 1160k| 153 | 143 | 0.0 |5219k| 349 | - | 449 | 649 | 0 | 0 | 26 | 722k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
658.96/659.25 c 618s| 1170k| 181 | 143 | 0.0 |5216k| 349 | - | 449 | 632 | 0 | 0 | 26 | 728k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
664.76/665.06 c 623s| 1180k| 161 | 143 | 0.0 |5253k| 349 | - | 449 | 782 | 0 | 0 | 26 | 734k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
670.87/671.18 c 629s| 1190k| 162 | 143 | 0.0 |5229k| 349 | - | 449 | 634 | 0 | 0 | 26 | 740k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
677.06/677.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.06/677.30 c 635s| 1200k| 176 | 143 | 0.0 |5231k| 349 | - | 449 | 639 | 0 | 0 | 26 | 747k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
682.36/682.69 c 640s| 1210k| 160 | 143 | 0.0 |5216k| 349 | - | 449 | 631 | 0 | 0 | 26 | 753k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
688.46/688.78 c 645s| 1220k| 164 | 143 | 0.0 |5215k| 349 | - | 449 | 629 | 0 | 0 | 26 | 760k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
694.35/694.62 c 651s| 1230k| 156 | 143 | 0.0 |5227k| 349 | - | 449 | 637 | 0 | 0 | 26 | 766k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
700.95/701.25 c 657s| 1240k| 165 | 143 | 0.0 |5217k| 349 | - | 449 | 632 | 0 | 0 | 26 | 773k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
706.95/707.30 c 663s| 1250k| 186 | 143 | 0.0 |5226k| 349 | - | 449 | 635 | 0 | 0 | 26 | 779k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
712.55/712.88 c 668s| 1260k| 161 | 143 | 0.0 |5215k| 349 | - | 449 | 630 | 0 | 0 | 26 | 786k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
718.54/718.87 c 673s| 1270k| 156 | 143 | 0.0 |5220k| 349 | - | 449 | 650 | 0 | 0 | 26 | 792k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
724.54/724.82 c 679s| 1280k| 177 | 143 | 0.0 |5219k| 349 | - | 449 | 629 | 0 | 0 | 26 | 798k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
731.35/731.67 c 685s| 1290k| 177 | 143 | 0.0 |5222k| 349 | - | 449 | 635 | 0 | 0 | 26 | 805k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
737.84/738.18 c 692s| 1300k| 160 | 143 | 0.0 |5218k| 349 | - | 449 | 637 | 0 | 0 | 26 | 812k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
743.63/743.92 c 697s| 1310k| 166 | 143 | 0.0 |5217k| 349 | - | 449 | 631 | 0 | 0 | 26 | 818k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
749.73/750.06 c 703s| 1320k| 178 | 143 | 0.0 |5231k| 349 | - | 449 | 633 | 0 | 0 | 26 | 824k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
755.02/755.30 c 708s| 1330k| 153 | 143 | 0.0 |5231k| 349 | - | 449 | 646 | 0 | 0 | 26 | 830k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
760.23/760.50 c 712s| 1340k| 151 | 143 | 0.0 |5216k| 349 | - | 449 | 632 | 0 | 0 | 26 | 836k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
766.23/766.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.23/766.55 c 718s| 1350k| 158 | 143 | 0.0 |5217k| 349 | - | 449 | 633 | 0 | 0 | 26 | 842k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
772.73/773.03 c 724s| 1360k| 161 | 143 | 0.0 |5233k| 349 | - | 449 | 651 | 0 | 0 | 26 | 849k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
778.82/779.12 c 730s| 1370k| 183 | 143 | 0.0 |5225k| 349 | - | 449 | 630 | 0 | 0 | 26 | 855k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
784.62/784.93 c 735s| 1380k| 164 | 143 | 0.0 |5235k| 349 | - | 449 | 646 | 0 | 0 | 26 | 862k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
790.41/790.76 c 741s| 1390k| 178 | 143 | 0.0 |5228k| 349 | - | 449 | 635 | 0 | 0 | 26 | 868k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
796.41/796.71 c 746s| 1400k| 168 | 143 | 0.0 |5221k| 349 | - | 449 | 629 | 0 | 0 | 26 | 874k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
802.22/802.54 c 752s| 1410k| 149 | 143 | 0.0 |5218k| 349 | - | 449 | 631 | 0 | 0 | 26 | 880k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
807.81/808.10 c 757s| 1420k| 193 | 143 | 0.0 |5228k| 349 | - | 449 | 631 | 0 | 0 | 26 | 886k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
813.91/814.21 c 763s| 1430k| 158 | 143 | 0.0 |5220k| 349 | - | 449 | 631 | 0 | 0 | 26 | 893k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
821.11/821.41 c 769s| 1440k| 141 | 143 | 0.0 |5215k| 349 | - | 449 | 630 | 0 | 0 | 26 | 900k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
828.50/828.83 c 776s| 1450k| 167 | 143 | 0.0 |5225k| 349 | - | 449 | 636 | 0 | 0 | 26 | 906k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
836.50/836.81 c 784s| 1460k| 176 | 143 | 0.0 |5225k| 349 | - | 449 | 629 | 0 | 0 | 26 | 914k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
844.00/844.39 c 791s| 1470k| 167 | 143 | 0.0 |5223k| 349 | - | 449 | 629 | 0 | 0 | 26 | 920k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
850.11/850.41 c 796s| 1480k| 148 | 143 | 0.0 |5221k| 349 | - | 449 | 632 | 0 | 0 | 26 | 927k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
855.90/856.26 c 802s| 1490k| 150 | 143 | 0.0 |5220k| 349 | - | 449 | 632 | 0 | 0 | 26 | 933k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
862.49/862.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.49/862.89 c 808s| 1500k| 165 | 143 | 0.0 |5224k| 349 | - | 449 | 632 | 0 | 0 | 26 | 940k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
869.69/870.08 c 815s| 1510k| 151 | 143 | 0.0 |5228k| 349 | - | 449 | 653 | 0 | 0 | 26 | 946k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
875.39/875.79 c 820s| 1520k| 176 | 143 | 0.0 |5228k| 349 | - | 449 | 629 | 0 | 0 | 26 | 952k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
881.48/881.81 c 826s| 1530k| 155 | 143 | 0.0 |5223k| 349 | - | 449 | 629 | 0 | 0 | 26 | 960k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
887.08/887.48 c 831s| 1540k| 151 | 143 | 0.0 |5232k| 349 | - | 449 | 637 | 0 | 0 | 26 | 966k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
892.78/893.11 c 836s| 1550k| 144 | 143 | 0.0 |5225k| 349 | - | 449 | 644 | 0 | 0 | 26 | 973k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
899.18/899.59 c 842s| 1560k| 141 | 143 | 0.0 |5218k| 349 | - | 449 | 630 | 0 | 0 | 26 | 980k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
904.57/904.96 c 847s| 1570k| 159 | 143 | 0.0 |5224k| 349 | - | 449 | 629 | 0 | 0 | 26 | 986k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
910.07/910.41 c 853s| 1580k| 148 | 143 | 0.0 |5227k| 349 | - | 449 | 632 | 0 | 0 | 26 | 992k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
916.38/916.76 c 859s| 1590k| 147 | 143 | 0.0 |5223k| 349 | - | 449 | 633 | 0 | 0 | 26 | 998k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
923.57/923.98 c 865s| 1600k| 167 | 143 | 0.0 |5226k| 349 | - | 449 | 629 | 0 | 0 | 26 |1005k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
929.67/930.02 c 871s| 1610k| 138 | 143 | 0.0 |5220k| 349 | - | 449 | 636 | 0 | 0 | 26 |1011k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
935.37/935.70 c 876s| 1620k| 152 | 143 | 0.0 |5231k| 349 | - | 449 | 637 | 0 | 0 | 26 |1017k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
941.17/941.55 c 882s| 1630k| 154 | 143 | 0.0 |5229k| 349 | - | 449 | 640 | 0 | 0 | 26 |1023k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
947.86/948.27 c 888s| 1640k| 168 | 143 | 0.0 |5226k| 349 | - | 449 | 630 | 0 | 0 | 26 |1030k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
954.36/954.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.36/954.78 c 894s| 1650k| 160 | 143 | 0.0 |5224k| 349 | - | 449 | 630 | 0 | 0 | 26 |1036k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
959.86/960.28 c 899s| 1660k| 142 | 143 | 0.0 |5228k| 349 | - | 449 | 643 | 0 | 0 | 26 |1042k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
965.46/965.90 c 905s| 1670k| 169 | 143 | 0.0 |5235k| 349 | - | 449 | 632 | 0 | 0 | 26 |1048k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
972.16/972.51 c 911s| 1680k| 145 | 143 | 0.0 |5220k| 349 | - | 449 | 629 | 0 | 0 | 26 |1054k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
979.25/979.67 c 918s| 1690k| 143 | 143 | 0.0 |5228k| 349 | - | 449 | 650 | 0 | 0 | 26 |1061k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
985.36/985.72 c 923s| 1700k| 145 | 143 | 0.0 |5232k| 349 | - | 449 | 637 | 0 | 0 | 26 |1067k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
991.64/992.01 c 929s| 1710k| 135 | 143 | 0.0 |5220k| 349 | - | 449 | 629 | 0 | 0 | 26 |1074k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
997.74/998.11 c 935s| 1720k| 160 | 143 | 0.0 |5225k| 349 | - | 449 | 631 | 0 | 0 | 26 |1080k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1004.34/1004.75 c 941s| 1730k| 142 | 143 | 0.0 |5271k| 349 | - | 449 | 786 | 0 | 0 | 26 |1087k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1011.65/1012.04 c 948s| 1740k| 161 | 143 | 0.0 |5238k| 349 | - | 449 | 659 | 0 | 0 | 26 |1094k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1019.13/1019.56 c 955s| 1750k| 159 | 143 | 0.0 |5229k| 349 | - | 449 | 638 | 0 | 0 | 26 |1101k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1027.93/1028.33 c 963s| 1760k| 158 | 143 | 0.0 |5235k| 349 | - | 449 | 656 | 0 | 0 | 26 |1108k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1034.74/1035.13 c 969s| 1770k| 174 | 143 | 0.0 |5233k| 349 | - | 449 | 630 | 0 | 0 | 26 |1115k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1040.83/1041.30 c 975s| 1780k| 152 | 143 | 0.0 |5239k| 349 | - | 449 | 649 | 0 | 0 | 26 |1121k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1047.02/1047.44 c 981s| 1790k| 152 | 143 | 0.0 |5226k| 349 | - | 449 | 629 | 0 | 0 | 26 |1127k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1053.13/1053.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.13/1053.59 c 987s| 1800k| 186 | 143 | 0.0 |5236k| 349 | - | 449 | 635 | 0 | 0 | 26 |1134k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1059.32/1059.74 c 992s| 1810k| 171 | 143 | 0.0 |5234k| 349 | - | 449 | 631 | 0 | 0 | 26 |1140k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1065.72/1066.11 c 998s| 1820k| 136 | 143 | 0.0 |5225k| 349 | - | 449 | 632 | 0 | 0 | 26 |1147k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1072.41/1072.88 c 1005s| 1830k| 139 | 143 | 0.0 |5239k| 349 | - | 449 | 641 | 0 | 0 | 26 |1153k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1078.72/1079.18 c 1011s| 1840k| 151 | 143 | 0.0 |5228k| 349 | - | 449 | 629 | 0 | 0 | 26 |1160k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1085.21/1085.67 c 1017s| 1850k| 146 | 143 | 0.0 |5241k| 349 | - | 449 | 646 | 0 | 0 | 26 |1166k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1092.32/1092.71 c 1023s| 1860k| 133 | 143 | 0.0 |5223k| 349 | - | 449 | 633 | 0 | 0 | 26 |1173k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1099.21/1099.65 c 1030s| 1870k| 163 | 143 | 0.0 |5229k| 349 | - | 449 | 629 | 0 | 0 | 26 |1179k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1106.11/1106.55 c 1036s| 1880k| 167 | 143 | 0.0 |5231k| 349 | - | 449 | 629 | 0 | 0 | 26 |1186k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1113.60/1114.00 c 1043s| 1890k| 162 | 143 | 0.0 |5231k| 349 | - | 449 | 629 | 0 | 0 | 26 |1193k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1121.71/1122.16 c 1051s| 1900k| 152 | 143 | 0.0 |5228k| 349 | - | 449 | 629 | 0 | 0 | 26 |1200k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1128.60/1129.01 c 1057s| 1910k| 154 | 143 | 0.0 |5231k| 349 | - | 449 | 631 | 0 | 0 | 26 |1207k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1135.49/1135.93 c 1064s| 1920k| 179 | 143 | 0.0 |5239k| 349 | - | 449 | 635 | 0 | 0 | 26 |1213k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1141.10/1141.57 c 1069s| 1930k| 145 | 143 | 0.0 |5230k| 349 | - | 449 | 632 | 0 | 0 | 26 |1220k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1147.09/1147.52 c 1074s| 1940k| 141 | 143 | 0.0 |5238k| 349 | - | 449 | 640 | 0 | 0 | 26 |1227k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1153.69/1154.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.69/1154.14 c 1081s| 1950k| 136 | 143 | 0.0 |5240k| 349 | - | 449 | 649 | 0 | 0 | 26 |1233k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1160.99/1161.44 c 1088s| 1960k| 145 | 143 | 0.0 |5240k| 349 | - | 449 | 650 | 0 | 0 | 26 |1240k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1168.18/1168.60 c 1094s| 1970k| 135 | 143 | 0.0 |5235k| 349 | - | 449 | 652 | 0 | 0 | 26 |1247k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1174.18/1174.68 c 1100s| 1980k| 151 | 143 | 0.0 |5229k| 349 | - | 449 | 630 | 0 | 0 | 26 |1253k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1181.38/1181.85 c 1107s| 1990k| 147 | 143 | 0.0 |5233k| 349 | - | 449 | 645 | 0 | 0 | 26 |1260k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1189.28/1189.72 c 1114s| 2000k| 155 | 143 | 0.0 |5231k| 349 | - | 449 | 631 | 0 | 0 | 26 |1267k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1196.98/1197.44 c 1121s| 2010k| 159 | 143 | 0.0 |5231k| 349 | - | 449 | 630 | 0 | 0 | 26 |1274k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1204.27/1204.79 c 1128s| 2020k| 160 | 143 | 0.0 |5231k| 349 | - | 449 | 629 | 0 | 0 | 26 |1281k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1212.07/1212.52 c 1135s| 2030k| 137 | 143 | 0.0 |5233k| 349 | - | 449 | 652 | 0 | 0 | 26 |1288k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1219.27/1219.75 c 1142s| 2040k| 156 | 143 | 0.0 |5231k| 349 | - | 449 | 630 | 0 | 0 | 26 |1294k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1226.57/1227.06 c 1149s| 2050k| 134 | 143 | 0.0 |5236k| 349 | - | 449 | 649 | 0 | 0 | 26 |1301k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1234.56/1235.08 c 1156s| 2060k| 158 | 143 | 0.0 |5231k| 349 | - | 449 | 630 | 0 | 0 | 26 |1308k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1242.86/1243.31 c 1164s| 2070k| 152 | 143 | 0.0 |5237k| 349 | - | 449 | 641 | 0 | 0 | 26 |1316k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1250.05/1250.50 c 1171s| 2080k| 156 | 143 | 0.0 |5231k| 349 | - | 449 | 629 | 0 | 0 | 26 |1322k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1257.65/1258.19 c 1178s| 2090k| 157 | 143 | 0.0 |5234k| 349 | - | 449 | 636 | 0 | 0 | 26 |1329k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1263.86/1264.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.86/1264.38 c 1184s| 2100k| 142 | 143 | 0.0 |5247k| 349 | - | 449 | 663 | 0 | 0 | 26 |1336k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1271.45/1271.93 c 1191s| 2110k| 134 | 143 | 0.0 |5236k| 349 | - | 449 | 638 | 0 | 0 | 26 |1343k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1278.05/1278.51 c 1197s| 2120k| 156 | 143 | 0.0 |5244k| 349 | - | 449 | 649 | 0 | 0 | 26 |1349k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1284.35/1284.82 c 1203s| 2130k| 146 | 143 | 0.0 |5231k| 349 | - | 449 | 633 | 0 | 0 | 26 |1355k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1289.74/1290.24 c 1208s| 2140k| 144 | 143 | 0.0 |5236k| 349 | - | 449 | 637 | 0 | 0 | 26 |1361k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1295.74/1296.21 c 1214s| 2150k| 167 | 143 | 0.0 |5238k| 349 | - | 449 | 629 | 0 | 0 | 26 |1367k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1301.24/1301.79 c 1219s| 2160k| 136 | 143 | 0.0 |5229k| 349 | - | 449 | 637 | 0 | 0 | 26 |1373k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1307.24/1307.79 c 1225s| 2170k| 141 | 143 | 0.0 |5233k| 349 | - | 449 | 634 | 0 | 0 | 26 |1380k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1313.73/1314.30 c 1231s| 2180k| 138 | 143 | 0.0 |5244k| 349 | - | 449 | 636 | 0 | 0 | 26 |1386k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1319.33/1319.86 c 1236s| 2190k| 154 | 143 | 0.0 |5233k| 349 | - | 449 | 633 | 0 | 0 | 26 |1392k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1325.54/1326.00 c 1242s| 2200k| 142 | 143 | 0.0 |5232k| 349 | - | 449 | 637 | 0 | 0 | 26 |1399k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1331.23/1331.76 c 1247s| 2210k| 163 | 143 | 0.0 |5236k| 349 | - | 449 | 634 | 0 | 0 | 26 |1405k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1337.13/1337.63 c 1253s| 2220k| 150 | 143 | 0.0 |5242k| 349 | - | 449 | 652 | 0 | 0 | 26 |1411k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1343.83/1344.39 c 1259s| 2230k| 155 | 143 | 0.0 |5252k| 349 | - | 449 | 669 | 0 | 0 | 26 |1418k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1351.22/1351.78 c 1266s| 2240k| 152 | 143 | 0.0 |5234k| 349 | - | 449 | 634 | 0 | 0 | 26 |1425k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1358.22/1358.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1358.22/1358.74 c 1272s| 2250k| 154 | 143 | 0.0 |5235k| 349 | - | 449 | 632 | 0 | 0 | 26 |1432k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1365.32/1365.80 c 1279s| 2260k| 162 | 143 | 0.0 |5242k| 349 | - | 449 | 645 | 0 | 0 | 26 |1438k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1372.52/1373.05 c 1286s| 2270k| 158 | 143 | 0.0 |5268k| 349 | - | 449 | 714 | 0 | 0 | 26 |1445k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1379.41/1379.90 c 1292s| 2280k| 181 | 143 | 0.0 |5241k| 349 | - | 449 | 632 | 0 | 0 | 26 |1452k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1386.31/1386.86 c 1299s| 2290k| 178 | 143 | 0.0 |5247k| 349 | - | 449 | 646 | 0 | 0 | 26 |1458k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1392.81/1393.36 c 1305s| 2300k| 154 | 143 | 0.0 |5234k| 349 | - | 449 | 631 | 0 | 0 | 26 |1465k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1399.60/1400.13 c 1311s| 2310k| 158 | 143 | 0.0 |5235k| 349 | - | 449 | 631 | 0 | 0 | 26 |1472k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1406.70/1407.25 c 1318s| 2320k| 154 | 143 | 0.0 |5238k| 349 | - | 449 | 641 | 0 | 0 | 26 |1479k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1412.40/1412.99 c 1323s| 2330k| 151 | 143 | 0.0 |5242k| 349 | - | 449 | 641 | 0 | 0 | 26 |1485k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1418.00/1418.55 c 1328s| 2340k| 179 | 143 | 0.0 |5242k| 349 | - | 449 | 629 | 0 | 0 | 26 |1491k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1425.10/1425.65 c 1335s| 2350k| 167 | 143 | 0.0 |5247k| 349 | - | 449 | 649 | 0 | 0 | 26 |1498k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1433.19/1433.74 c 1342s| 2360k| 151 | 143 | 0.0 |5236k| 349 | - | 449 | 630 | 0 | 0 | 26 |1505k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1439.50/1440.04 c 1348s| 2370k| 158 | 143 | 0.0 |5242k| 349 | - | 449 | 636 | 0 | 0 | 26 |1512k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1445.59/1446.14 c 1354s| 2380k| 149 | 143 | 0.0 |5236k| 349 | - | 449 | 635 | 0 | 0 | 26 |1518k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1451.89/1452.44 c 1360s| 2390k| 142 | 143 | 0.0 |5236k| 349 | - | 449 | 635 | 0 | 0 | 26 |1524k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1458.28/1458.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.28/1458.81 c 1366s| 2400k| 160 | 143 | 0.0 |5248k| 349 | - | 449 | 637 | 0 | 0 | 26 |1531k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1464.48/1465.09 c 1372s| 2410k| 153 | 143 | 0.0 |5242k| 349 | - | 449 | 643 | 0 | 0 | 26 |1537k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1470.48/1471.00 c 1377s| 2420k| 132 | 143 | 0.0 |5232k| 349 | - | 449 | 634 | 0 | 0 | 26 |1543k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1476.38/1476.97 c 1383s| 2430k| 143 | 143 | 0.0 |5249k| 349 | - | 449 | 636 | 0 | 0 | 26 |1550k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1482.28/1482.89 c 1389s| 2440k| 136 | 143 | 0.0 |5233k| 349 | - | 449 | 629 | 0 | 0 | 26 |1556k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1488.57/1489.13 c 1394s| 2450k| 140 | 143 | 0.0 |5233k| 349 | - | 449 | 629 | 0 | 0 | 26 |1562k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1495.87/1496.47 c 1401s| 2460k| 163 | 143 | 0.0 |5246k| 349 | - | 449 | 635 | 0 | 0 | 26 |1568k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1501.97/1502.57 c 1407s| 2470k| 131 | 143 | 0.0 |5235k| 349 | - | 449 | 637 | 0 | 0 | 26 |1574k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1508.26/1508.89 c 1413s| 2480k| 133 | 143 | 0.0 |5236k| 349 | - | 449 | 638 | 0 | 0 | 26 |1581k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1514.67/1515.28 c 1419s| 2490k| 170 | 143 | 0.0 |5247k| 349 | - | 449 | 648 | 0 | 0 | 26 |1587k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1521.26/1521.82 c 1425s| 2500k| 133 | 143 | 0.0 |5245k| 349 | - | 449 | 636 | 0 | 0 | 26 |1594k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1528.26/1528.86 c 1432s| 2510k| 146 | 143 | 0.0 |5241k| 349 | - | 449 | 635 | 0 | 0 | 26 |1600k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1533.66/1534.23 c 1437s| 2520k| 158 | 143 | 0.0 |5240k| 349 | - | 449 | 631 | 0 | 0 | 26 |1606k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1539.06/1539.62 c 1442s| 2530k| 152 | 143 | 0.0 |5240k| 349 | - | 449 | 634 | 0 | 0 | 26 |1612k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1544.75/1545.30 c 1447s| 2540k| 148 | 143 | 0.0 |5235k| 349 | - | 449 | 630 | 0 | 0 | 26 |1618k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1550.65/1551.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.65/1551.22 c 1453s| 2550k| 137 | 143 | 0.0 |5236k| 349 | - | 449 | 632 | 0 | 0 | 26 |1624k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1556.65/1557.24 c 1458s| 2560k| 125 | 143 | 0.0 |5236k| 349 | - | 449 | 636 | 0 | 0 | 26 |1630k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1562.95/1563.53 c 1464s| 2570k| 161 | 143 | 0.0 |5242k| 349 | - | 449 | 633 | 0 | 0 | 26 |1637k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1568.44/1569.06 c 1469s| 2580k| 167 | 143 | 0.0 |5242k| 349 | - | 449 | 629 | 0 | 0 | 26 |1643k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1574.14/1574.71 c 1475s| 2590k| 138 | 143 | 0.0 |5233k| 349 | - | 449 | 630 | 0 | 0 | 26 |1650k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1580.25/1580.81 c 1480s| 2600k| 155 | 143 | 0.0 |5237k| 349 | - | 449 | 629 | 0 | 0 | 26 |1656k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1586.04/1586.68 c 1486s| 2610k| 143 | 143 | 0.0 |5235k| 349 | - | 449 | 630 | 0 | 0 | 26 |1662k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1593.24/1593.88 c 1493s| 2620k| 149 | 143 | 0.0 |5244k| 349 | - | 449 | 639 | 0 | 0 | 26 |1669k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1599.34/1599.97 c 1498s| 2630k| 161 | 143 | 0.0 |5252k| 349 | - | 449 | 637 | 0 | 0 | 26 |1675k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1605.93/1606.53 c 1505s| 2640k| 144 | 143 | 0.0 |5235k| 349 | - | 449 | 630 | 0 | 0 | 26 |1682k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1612.14/1612.73 c 1510s| 2650k| 139 | 143 | 0.0 |5240k| 349 | - | 449 | 638 | 0 | 0 | 26 |1689k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1617.43/1618.06 c 1515s| 2660k| 141 | 143 | 0.0 |5249k| 349 | - | 449 | 631 | 0 | 0 | 26 |1695k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1624.23/1624.83 c 1522s| 2670k| 132 | 143 | 0.0 |5244k| 349 | - | 449 | 634 | 0 | 0 | 26 |1701k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1631.12/1631.76 c 1528s| 2680k| 159 | 143 | 0.0 |5239k| 349 | - | 449 | 629 | 0 | 0 | 26 |1708k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1638.42/1639.10 c 1535s| 2690k| 166 | 143 | 0.0 |5250k| 349 | - | 449 | 633 | 0 | 0 | 26 |1714k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1644.62/1645.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.62/1645.26 c 1541s| 2700k| 145 | 143 | 0.0 |5245k| 349 | - | 449 | 646 | 0 | 0 | 26 |1721k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1651.12/1651.72 c 1547s| 2710k| 142 | 143 | 0.0 |5235k| 349 | - | 449 | 631 | 0 | 0 | 26 |1727k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1656.51/1657.19 c 1552s| 2720k| 152 | 143 | 0.0 |5239k| 349 | - | 449 | 635 | 0 | 0 | 26 |1733k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1662.81/1663.48 c 1558s| 2730k| 157 | 143 | 0.0 |5252k| 349 | - | 449 | 637 | 0 | 0 | 26 |1740k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1669.11/1669.76 c 1564s| 2740k| 150 | 143 | 0.0 |5239k| 349 | - | 449 | 629 | 0 | 0 | 26 |1747k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1675.41/1676.00 c 1570s| 2750k| 162 | 143 | 0.0 |5240k| 349 | - | 449 | 630 | 0 | 0 | 26 |1753k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1681.51/1682.19 c 1575s| 2760k| 160 | 143 | 0.0 |5241k| 349 | - | 449 | 629 | 0 | 0 | 26 |1760k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1687.10/1687.70 c 1581s| 2770k| 163 | 143 | 0.0 |5243k| 349 | - | 449 | 630 | 0 | 0 | 26 |1766k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1693.91/1694.58 c 1587s| 2780k| 152 | 143 | 0.0 |5237k| 349 | - | 449 | 630 | 0 | 0 | 26 |1772k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1701.30/1701.91 c 1594s| 2790k| 135 | 143 | 0.0 |5235k| 349 | - | 449 | 635 | 0 | 0 | 26 |1779k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1707.90/1708.57 c 1600s| 2800k| 150 | 143 | 0.0 |5250k| 349 | - | 449 | 638 | 0 | 0 | 26 |1786k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1713.79/1714.48 c 1606s| 2810k| 153 | 143 | 0.0 |5248k| 349 | - | 449 | 640 | 0 | 0 | 26 |1792k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1719.80/1720.42 c 1611s| 2820k| 156 | 143 | 0.0 |5242k| 349 | - | 449 | 629 | 0 | 0 | 26 |1799k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1725.69/1726.33 c 1617s| 2830k| 143 | 143 | 0.0 |5242k| 349 | - | 449 | 644 | 0 | 0 | 26 |1805k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1732.19/1732.85 c 1623s| 2840k| 157 | 143 | 0.0 |5242k| 349 | - | 449 | 632 | 0 | 0 | 26 |1811k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1737.89/1738.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.89/1738.53 c 1628s| 2850k| 137 | 143 | 0.0 |5239k| 349 | - | 449 | 637 | 0 | 0 | 26 |1817k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1744.18/1744.86 c 1634s| 2860k| 141 | 143 | 0.0 |5247k| 349 | - | 449 | 642 | 0 | 0 | 26 |1824k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1751.49/1752.14 c 1641s| 2870k| 157 | 143 | 0.0 |5245k| 349 | - | 449 | 633 | 0 | 0 | 26 |1831k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1757.08/1757.71 c 1646s| 2880k| 180 | 143 | 0.0 |5245k| 349 | - | 449 | 630 | 0 | 0 | 26 |1837k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1761.69/1762.34 c 1651s| 2890k| 160 | 143 | 0.0 |5250k| 349 | - | 449 | 666 | 0 | 0 | 26 |1843k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1766.98/1767.67 c 1656s| 2900k| 149 | 143 | 0.0 |5250k| 349 | - | 449 | 638 | 0 | 0 | 26 |1849k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1772.77/1773.41 c 1661s| 2910k| 172 | 143 | 0.0 |5248k| 349 | - | 449 | 639 | 0 | 0 | 26 |1855k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1779.37/1780.02 c 1667s| 2920k| 146 | 143 | 0.0 |5240k| 349 | - | 449 | 631 | 0 | 0 | 26 |1862k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1785.88/1786.50 c 1673s| 2930k| 140 | 143 | 0.0 |5235k| 349 | - | 449 | 631 | 0 | 0 | 26 |1869k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1791.28/1791.98 c 1678s| 2940k| 167 | 143 | 0.0 |5242k| 349 | - | 449 | 630 | 0 | 0 | 26 |1875k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1797.36/1798.00 c 1684s| 2950k| 148 | 143 | 0.0 |5240k| 349 | - | 449 | 630 | 0 | 0 | 26 |1881k| 22 | 2.350000e+01 | 2.500000e+01 | 6.38%
1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.71 c
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time (sec) : 1686.49
1800.08/1800.71 c Solving Nodes : 2953880
1800.08/1800.71 c Primal Bound : +2.50000000000000e+01 (11 solutions)
1800.08/1800.71 c Dual Bound : +2.35000000000000e+01
1800.08/1800.71 c Gap : 6.38 %
1800.08/1800.71 s SATISFIABLE
1800.08/1800.71 v -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445
1800.08/1800.71 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424
1800.08/1800.71 v -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403
1800.08/1800.71 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382
1800.08/1800.71 v -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361
1800.08/1800.71 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340
1800.08/1800.71 v -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319
1800.08/1800.71 v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298
1800.08/1800.71 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277
1800.08/1800.71 v x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256
1800.08/1800.71 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235
1800.08/1800.71 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
1800.08/1800.71 v -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
1800.08/1800.71 v -x192 -x191 x190 -x189 -x188 x187 x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172
1800.08/1800.71 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151
1800.08/1800.71 v -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130
1800.08/1800.71 v -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109
1800.08/1800.71 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85
1800.08/1800.71 v -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 x64 -x63 -x62 -x61 -x60
1800.08/1800.71 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.08/1800.71 v -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.08/1800.71 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time : 1686.49
1800.08/1800.71 c Original Problem :
1800.08/1800.71 c Problem name : HOME/instance-2666058-1276412701.opb
1800.08/1800.71 c Variables : 466 (466 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 694 initial, 694 maximal
1800.08/1800.71 c Presolved Problem :
1800.08/1800.71 c Problem name : t_HOME/instance-2666058-1276412701.opb
1800.08/1800.71 c Variables : 449 (449 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 629 initial, 935 maximal
1800.08/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.08/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c linear : 0.02 0 15 0 0 0 46 15 0
1800.08/1800.71 c logicor : 0.04 0 0 0 0 0 19 0 0
1800.08/1800.71 c root node : - 1 - - 1 - - - -
1800.08/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.71 c logicor : 629+ 6 8808365 0 0 1458542 18081018 0 0 0
1800.08/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.71 c integral : 0.13 0.00 0.00 0.13 0.00
1800.08/1800.71 c logicor : 450.73 0.00 450.73 0.00 0.00
1800.08/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.71 c vbounds : 9.00 2 0 0
1800.08/1800.71 c rootredcost : 8.75 0 0 0
1800.08/1800.71 c pseudoobj : 661.04 19700960 401606 202485408
1800.08/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.71 c propagation : 339.81 1860148 1860148 1860148 28.9 72197 54.0 -
1800.08/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.71 c applied globally : - - - 1570402 22.2 - - -
1800.08/1800.71 c applied locally : - - - 313550 63.2 - - -
1800.08/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.71 c cut pool : 0.01 5 - - 25 - (maximal pool size: 189)
1800.08/1800.71 c redcost : 0.00 6 0 1 0 0
1800.08/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.71 c intobj : 0.00 0 0 0 0 0
1800.08/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.71 c gomory : 0.59 6 0 0 2430 0
1800.08/1800.71 c strongcg : 0.39 6 0 0 2386 0
1800.08/1800.71 c cmir : 0.06 6 0 0 1 0
1800.08/1800.71 c flowcover : 0.06 6 0 0 3 0
1800.08/1800.71 c clique : 0.00 1 0 0 0 0
1800.08/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.71 c mcf : 0.00 1 0 0 0 0
1800.08/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.71 c Pricers : Time Calls Vars
1800.08/1800.71 c problem variables: 0.00 0 0
1800.08/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c relpscost : 0.13 1 0 0 0 0 2
1800.08/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.71 c inference : 107.18 2187839 0 0 0 0 4375678
1800.08/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c random : 0.00 0 0 0 0 0 0
1800.08/1800.71 c Primal Heuristics : Time Calls Found
1800.08/1800.71 c LP solutions : 0.00 - 0
1800.08/1800.71 c pseudo solutions : 0.00 - 0
1800.08/1800.71 c crossover : 0.00 0 0
1800.08/1800.71 c oneopt : 1.50 6 3
1800.08/1800.71 c trivial : 0.01 2 4
1800.08/1800.71 c simplerounding : 0.00 1 0
1800.08/1800.71 c zirounding : 0.00 1 0
1800.08/1800.71 c rounding : 0.00 7 2
1800.08/1800.71 c shifting : 0.00 7 1
1800.08/1800.71 c intshifting : 0.00 0 0
1800.08/1800.71 c twoopt : 0.00 0 0
1800.08/1800.71 c fixandinfer : 0.00 0 0
1800.08/1800.71 c feaspump : 0.00 0 0
1800.08/1800.71 c coefdiving : 0.00 0 0
1800.08/1800.71 c pscostdiving : 0.00 0 0
1800.08/1800.71 c fracdiving : 0.00 0 0
1800.08/1800.71 c veclendiving : 0.00 0 0
1800.08/1800.71 c intdiving : 0.00 0 0
1800.08/1800.71 c actconsdiving : 0.00 0 0
1800.08/1800.71 c objpscostdiving : 0.00 0 0
1800.08/1800.71 c rootsoldiving : 0.00 0 0
1800.08/1800.71 c linesearchdiving : 0.00 0 0
1800.08/1800.71 c guideddiving : 0.00 0 0
1800.08/1800.71 c octane : 0.00 0 0
1800.08/1800.72 c rens : 0.04 1 1
1800.08/1800.72 c rins : 0.00 0 0
1800.08/1800.72 c localbranching : 0.00 0 0
1800.08/1800.72 c mutation : 0.00 0 0
1800.08/1800.72 c dins : 0.00 0 0
1800.08/1800.72 c undercover : 0.00 0 0
1800.08/1800.72 c nlp : 1.66 0 0
1800.08/1800.72 c trysol : 1.19 0 0
1800.08/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.72 c primal LP : 0.01 0 0 0.00 0.00
1800.08/1800.72 c dual LP : 0.03 7 143 20.43 4766.67
1800.08/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.72 c strong branching : 0.13 22 683 31.05 5253.85
1800.08/1800.72 c (at root node) : - 22 683 31.05 -
1800.08/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.72 c B&B Tree :
1800.08/1800.72 c number of runs : 1
1800.08/1800.72 c nodes : 2953880
1800.08/1800.72 c nodes (total) : 2953880
1800.08/1800.72 c nodes left : 149
1800.08/1800.72 c max depth : 349
1800.08/1800.72 c max depth (total): 349
1800.08/1800.72 c backtracks : 1645543 (55.7%)
1800.08/1800.72 c delayed cutoffs : 1421652
1800.08/1800.72 c repropagations : 11695712 (128891687 domain reductions, 1094108 cutoffs)
1800.08/1800.72 c avg switch length: 8.79
1800.08/1800.72 c switching time : 240.81
1800.08/1800.72 c Solution :
1800.08/1800.72 c Solutions found : 11 (9 improvements)
1800.08/1800.72 c First Solution : +4.66000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.08/1800.72 c Primal Bound : +2.50000000000000e+01 (in run 1, after 1 nodes, 0.44 seconds, depth 0, found by <oneopt>)
1800.08/1800.72 c Dual Bound : +2.35000000000000e+01
1800.08/1800.72 c Gap : 6.38 %
1800.08/1800.72 c Root Dual Bound : +2.35000000000000e+01
1800.08/1800.72 c Root Iterations : 143
1800.08/1800.73 c Time complete: 1800.1.