0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664194-1276419306.opb>
0.04/0.07 c original problem has 1060 variables (1060 bin, 0 int, 0 impl, 0 cont) and 3737 constraints
0.04/0.07 c problem read
0.04/0.07 c presolving settings loaded
0.04/0.07 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.04/0.09 c presolving:
0.09/0.12 c (round 1) 20 del vars, 20 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23420 impls, 0 clqs
0.09/0.17 c (round 2) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3327 upgd conss, 23420 impls, 0 clqs
0.09/0.19 c (round 3) 20 del vars, 30 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3707 upgd conss, 23420 impls, 0 clqs
0.19/0.24 c (0.1s) probing: 101/1040 (9.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.24 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.24 c presolving (4 rounds):
0.19/0.24 c 20 deleted vars, 30 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.24 c 23420 implications, 0 cliques
0.19/0.24 c presolved problem has 1040 variables (1040 bin, 0 int, 0 impl, 0 cont) and 3707 constraints
0.19/0.24 c 3707 constraints of type <logicor>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.13
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 1.2.1.2
0.19/0.24 c
0.19/0.24 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c conflict/interconss = 0
0.19/0.24 c
0.19/0.24 c # should binary conflicts be preferred?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c conflict/preferbinary = TRUE
0.19/0.24 c
0.19/0.24 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.24 c constraints/agelimit = 1
0.19/0.24 c
0.19/0.24 c # should enforcement of pseudo solution be disabled?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/disableenfops = TRUE
0.19/0.24 c
0.19/0.24 c # frequency for displaying node information lines
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24 c display/freq = 10000
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1799.94
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 1620
0.19/0.24 c
0.19/0.24 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.24 c lp/solvefreq = -1
0.19/0.24 c
0.19/0.24 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.24 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.24 c lp/pricing = a
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify inequalities
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/linear/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify knapsacks
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # priority of node selection rule <dfs> in standard mode
0.19/0.24 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.24 c nodeselection/dfs/stdpriority = 1000000
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.24 c
0.19/0.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.24 c 0.1s| 1 | 2 | 0 | - |5825k| 0 | - |1040 |3707 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.42 o 461
0.39/0.42 c * 0.3s| 342 | 213 | 0 | 0.0 |6005k| 232 | - |1040 |3712 | 0 | 0 | 0 | 72 | 0 | 1.000000e+00 | 4.610000e+02 | Large
0.39/0.42 o 460
0.39/0.42 c * 0.3s| 347 | 209 | 0 | 0.0 |6017k| 232 | - |1040 |3712 | 0 | 0 | 0 | 72 | 0 | 1.000000e+00 | 4.600000e+02 | Large
0.39/0.43 o 459
0.39/0.43 c * 0.3s| 355 | 208 | 0 | 0.0 |6031k| 232 | - |1040 |3712 | 0 | 0 | 0 | 72 | 0 | 1.000000e+00 | 4.590000e+02 | Large
0.39/0.43 o 458
0.39/0.43 c * 0.3s| 372 | 210 | 0 | 0.0 |6046k| 232 | - |1040 |3712 | 0 | 0 | 0 | 72 | 0 | 1.000000e+00 | 4.580000e+02 | Large
0.48/0.54 o 457
0.48/0.54 c * 0.4s| 865 | 174 | 0 | 0.0 |6058k| 232 | - |1040 |3712 | 0 | 0 | 0 | 76 | 0 | 1.000000e+00 | 4.570000e+02 | Large
0.48/0.59 o 456
0.48/0.59 c * 0.5s| 1126 | 175 | 0 | 0.0 |6072k| 232 | - |1040 |3712 | 0 | 0 | 0 | 76 | 0 | 1.000000e+00 | 4.560000e+02 | Large
0.59/0.66 o 455
0.59/0.66 c * 0.5s| 1450 | 174 | 0 | 0.0 |6087k| 232 | - |1040 |3712 | 0 | 0 | 0 | 80 | 0 | 1.000000e+00 | 4.550000e+02 | Large
0.69/0.71 o 454
0.69/0.71 c * 0.6s| 1665 | 173 | 0 | 0.0 |6102k| 232 | - |1040 |3712 | 0 | 0 | 0 | 80 | 0 | 1.000000e+00 | 4.540000e+02 | Large
0.69/0.72 o 452
0.69/0.72 c * 0.6s| 1734 | 174 | 0 | 0.0 |6121k| 242 | - |1040 |3712 | 0 | 0 | 0 | 80 | 0 | 1.000000e+00 | 4.520000e+02 | Large
0.79/0.80 o 451
0.79/0.80 c * 0.7s| 2146 | 175 | 0 | 0.0 |6134k| 242 | - |1040 |3712 | 0 | 0 | 0 | 85 | 0 | 1.000000e+00 | 4.510000e+02 | Large
0.89/0.94 o 450
0.89/0.94 c * 0.8s| 2856 | 173 | 0 | 0.0 |6148k| 242 | - |1040 |3712 | 0 | 0 | 0 | 85 | 0 | 1.000000e+00 | 4.500000e+02 | Large
1.00/1.00 o 449
1.00/1.00 c * 0.8s| 3153 | 173 | 0 | 0.0 |6162k| 242 | - |1040 |3712 | 0 | 0 | 0 | 85 | 0 | 1.000000e+00 | 4.490000e+02 | Large
1.09/1.17 o 447
1.09/1.17 c * 1.0s| 4068 | 174 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 85 | 0 | 1.000000e+00 | 4.470000e+02 | Large
2.28/2.30 c 2.1s| 10000 | 169 | 0 | 0.0 |6175k| 250 | - |1040 |3712 | 0 | 0 | 0 | 90 | 0 | 1.000000e+00 | 4.470000e+02 | Large
4.09/4.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.09/4.19 c 3.8s| 20000 | 169 | 0 | 0.0 |6176k| 250 | - |1040 |3712 | 0 | 0 | 0 | 110 | 0 | 1.000000e+00 | 4.470000e+02 | Large
5.99/6.09 c 5.6s| 30000 | 169 | 0 | 0.0 |6177k| 250 | - |1040 |3712 | 0 | 0 | 0 | 147 | 0 | 1.000000e+00 | 4.470000e+02 | Large
7.89/7.98 c 7.3s| 40000 | 169 | 0 | 0.0 |6176k| 250 | - |1040 |3712 | 0 | 0 | 0 | 171 | 0 | 1.000000e+00 | 4.470000e+02 | Large
9.79/9.88 c 9.1s| 50000 | 168 | 0 | 0.0 |6177k| 250 | - |1040 |3712 | 0 | 0 | 0 | 190 | 0 | 1.000000e+00 | 4.470000e+02 | Large
11.69/11.76 c 10.9s| 60000 | 166 | 0 | 0.0 |6177k| 250 | - |1040 |3712 | 0 | 0 | 0 | 219 | 0 | 1.000000e+00 | 4.470000e+02 | Large
13.69/13.70 c 12.7s| 70000 | 168 | 0 | 0.0 |6178k| 250 | - |1040 |3712 | 0 | 0 | 0 | 292 | 0 | 1.000000e+00 | 4.470000e+02 | Large
15.69/15.77 c 14.6s| 80000 | 170 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 449 | 0 | 1.000000e+00 | 4.470000e+02 | Large
17.69/17.76 c 16.4s| 90000 | 170 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 525 | 0 | 1.000000e+00 | 4.470000e+02 | Large
19.69/19.74 c 18.3s|100000 | 166 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 576 | 0 | 1.000000e+00 | 4.470000e+02 | Large
21.68/21.72 c 20.1s|110000 | 168 | 0 | 0.0 |6181k| 250 | - |1040 |3712 | 0 | 0 | 0 | 640 | 0 | 1.000000e+00 | 4.470000e+02 | Large
23.68/23.74 c 22.0s|120000 | 166 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 708 | 0 | 1.000000e+00 | 4.470000e+02 | Large
25.79/25.83 c 24.0s|130000 | 167 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 865 | 0 | 1.000000e+00 | 4.470000e+02 | Large
27.88/27.96 c 26.0s|140000 | 174 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |1143 | 0 | 1.000000e+00 | 4.470000e+02 | Large
30.09/30.15 c 28.0s|150000 | 165 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |1382 | 0 | 1.000000e+00 | 4.470000e+02 | Large
32.08/32.12 c 29.8s|160000 | 169 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |1451 | 0 | 1.000000e+00 | 4.470000e+02 | Large
34.09/34.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.09/34.17 c 31.7s|170000 | 167 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |1649 | 0 | 1.000000e+00 | 4.470000e+02 | Large
36.08/36.16 c 33.6s|180000 | 168 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |1808 | 0 | 1.000000e+00 | 4.470000e+02 | Large
38.08/38.19 c 35.5s|190000 | 167 | 0 | 0.0 |6181k| 250 | - |1040 |3712 | 0 | 0 | 0 |2007 | 0 | 1.000000e+00 | 4.470000e+02 | Large
40.08/40.18 c 37.3s|200000 | 168 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |2126 | 0 | 1.000000e+00 | 4.470000e+02 | Large
42.08/42.15 c 39.2s|210000 | 168 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |2196 | 0 | 1.000000e+00 | 4.470000e+02 | Large
44.18/44.21 c 41.1s|220000 | 168 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |2286 | 0 | 1.000000e+00 | 4.470000e+02 | Large
46.18/46.23 c 43.0s|230000 | 167 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |2434 | 0 | 1.000000e+00 | 4.470000e+02 | Large
48.18/48.29 c 44.9s|240000 | 166 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |2652 | 0 | 1.000000e+00 | 4.470000e+02 | Large
50.27/50.39 c 46.8s|250000 | 171 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |2815 | 0 | 1.000000e+00 | 4.470000e+02 | Large
52.38/52.41 c 48.7s|260000 | 169 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |2877 | 0 | 1.000000e+00 | 4.470000e+02 | Large
54.48/54.50 c 50.6s|270000 | 170 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |2948 | 0 | 1.000000e+00 | 4.470000e+02 | Large
56.57/56.61 c 52.6s|280000 | 168 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |3030 | 0 | 1.000000e+00 | 4.470000e+02 | Large
58.57/58.64 c 54.5s|290000 | 169 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |3102 | 0 | 1.000000e+00 | 4.470000e+02 | Large
60.48/60.59 c 56.3s|300000 | 165 | 0 | 0.0 |6181k| 250 | - |1040 |3712 | 0 | 0 | 0 |3169 | 0 | 1.000000e+00 | 4.470000e+02 | Large
62.58/62.66 c 58.3s|310000 | 172 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |3313 | 0 | 1.000000e+00 | 4.470000e+02 | Large
64.67/64.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.67/64.70 c 60.2s|320000 | 167 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |3388 | 0 | 1.000000e+00 | 4.470000e+02 | Large
66.68/66.70 c 62.0s|330000 | 167 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |3465 | 0 | 1.000000e+00 | 4.470000e+02 | Large
68.57/68.68 c 63.9s|340000 | 165 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |3506 | 0 | 1.000000e+00 | 4.470000e+02 | Large
70.87/70.91 c 65.9s|350000 | 166 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |3810 | 0 | 1.000000e+00 | 4.470000e+02 | Large
73.27/73.30 c 68.2s|360000 | 171 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 |4252 | 0 | 1.000000e+00 | 4.470000e+02 | Large
75.27/75.34 c 70.1s|370000 | 168 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |4339 | 0 | 1.000000e+00 | 4.470000e+02 | Large
77.27/77.37 c 72.0s|380000 | 168 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |4457 | 0 | 1.000000e+00 | 4.470000e+02 | Large
79.37/79.40 c 73.9s|390000 | 170 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |4579 | 0 | 1.000000e+00 | 4.470000e+02 | Large
81.47/81.56 c 75.9s|400000 | 167 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |4914 | 0 | 1.000000e+00 | 4.470000e+02 | Large
83.67/83.73 c 77.9s|410000 | 164 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |5141 | 0 | 1.000000e+00 | 4.470000e+02 | Large
85.67/85.75 c 79.8s|420000 | 167 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |5244 | 0 | 1.000000e+00 | 4.470000e+02 | Large
87.76/87.83 c 81.8s|430000 | 166 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |5339 | 0 | 1.000000e+00 | 4.470000e+02 | Large
89.67/89.77 c 83.6s|440000 | 163 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |5400 | 0 | 1.000000e+00 | 4.470000e+02 | Large
91.76/91.82 c 85.5s|450000 | 166 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |5528 | 0 | 1.000000e+00 | 4.470000e+02 | Large
93.67/93.77 c 87.3s|460000 | 170 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |5600 | 0 | 1.000000e+00 | 4.470000e+02 | Large
95.58/95.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.58/95.66 c 89.1s|470000 | 161 | 0 | 0.0 |6179k| 250 | - |1040 |3712 | 0 | 0 | 0 |5653 | 0 | 1.000000e+00 | 4.470000e+02 | Large
97.56/97.60 c 90.9s|480000 | 166 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |5707 | 0 | 1.000000e+00 | 4.470000e+02 | Large
99.46/99.54 c 92.7s|490000 | 166 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |5762 | 0 | 1.000000e+00 | 4.470000e+02 | Large
101.46/101.54 c 94.5s|500000 | 165 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |5844 | 0 | 1.000000e+00 | 4.470000e+02 | Large
103.46/103.57 c 96.4s|510000 | 166 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |5919 | 0 | 1.000000e+00 | 4.470000e+02 | Large
105.47/105.59 c 98.3s|520000 | 165 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |6034 | 0 | 1.000000e+00 | 4.470000e+02 | Large
107.46/107.56 c 100s|530000 | 164 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |6077 | 0 | 1.000000e+00 | 4.470000e+02 | Large
109.46/109.53 c 102s|540000 | 166 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |6168 | 0 | 1.000000e+00 | 4.470000e+02 | Large
111.36/111.49 c 104s|550000 | 165 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 |6258 | 0 | 1.000000e+00 | 4.470000e+02 | Large
113.27/113.39 c 106s|560000 | 161 | 0 | 0.0 |6181k| 250 | - |1040 |3712 | 0 | 0 | 0 |6303 | 0 | 1.000000e+00 | 4.470000e+02 | Large
115.37/115.40 c 107s|570000 | 165 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |6473 | 0 | 1.000000e+00 | 4.470000e+02 | Large
117.75/117.83 c 110s|580000 | 167 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 |7160 | 0 | 1.000000e+00 | 4.470000e+02 | Large
120.25/120.31 c 112s|590000 | 167 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |7901 | 0 | 1.000000e+00 | 4.470000e+02 | Large
122.95/123.01 c 115s|600000 | 168 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 |8773 | 0 | 1.000000e+00 | 4.470000e+02 | Large
125.45/125.59 c 117s|610000 | 165 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 |9515 | 0 | 1.000000e+00 | 4.470000e+02 | Large
127.95/128.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.95/128.04 c 119s|620000 | 162 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 4.470000e+02 | Large
130.54/130.66 c 122s|630000 | 165 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 4.470000e+02 | Large
132.85/132.96 c 124s|640000 | 169 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 4.470000e+02 | Large
135.04/135.11 c 126s|650000 | 167 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 4.470000e+02 | Large
137.14/137.21 c 128s|660000 | 168 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 4.470000e+02 | Large
139.34/139.49 c 130s|670000 | 166 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 4.470000e+02 | Large
141.75/141.86 c 132s|680000 | 167 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 4.470000e+02 | Large
144.05/144.15 c 135s|690000 | 166 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 4.470000e+02 | Large
146.05/146.18 c 136s|700000 | 166 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 4.470000e+02 | Large
148.15/148.21 c 138s|710000 | 170 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 4.470000e+02 | Large
150.15/150.26 c 140s|720000 | 167 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 4.470000e+02 | Large
152.45/152.54 c 142s|730000 | 167 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 4.470000e+02 | Large
154.55/154.63 c 144s|740000 | 166 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.470000e+02 | Large
156.64/156.74 c 146s|750000 | 166 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.470000e+02 | Large
158.74/158.81 c 148s|760000 | 164 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.470000e+02 | Large
160.84/160.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.84/160.91 c 150s|770000 | 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 4.470000e+02 | Large
163.04/163.12 c 152s|780000 | 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.470000e+02 | Large
165.14/165.22 c 154s|790000 | 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 4.470000e+02 | Large
167.44/167.51 c 156s|800000 | 166 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 4.470000e+02 | Large
169.73/169.85 c 159s|810000 | 162 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 4.470000e+02 | Large
172.04/172.17 c 161s|820000 | 166 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.470000e+02 | Large
174.34/174.40 c 163s|830000 | 164 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.470000e+02 | Large
176.53/176.66 c 165s|840000 | 162 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 4.470000e+02 | Large
178.64/178.79 c 167s|850000 | 164 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 4.470000e+02 | Large
181.23/181.39 c 170s|860000 | 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 4.470000e+02 | Large
183.73/183.89 c 172s|870000 | 161 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 4.470000e+02 | Large
186.13/186.24 c 174s|880000 | 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.470000e+02 | Large
188.13/188.22 c 176s|890000 | 168 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.470000e+02 | Large
190.13/190.27 c 178s|900000 | 164 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.470000e+02 | Large
192.13/192.25 c 180s|910000 | 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.470000e+02 | Large
194.13/194.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.13/194.22 c 182s|920000 | 168 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.470000e+02 | Large
196.03/196.17 c 183s|930000 | 170 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.470000e+02 | Large
198.13/198.28 c 185s|940000 | 167 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.470000e+02 | Large
200.23/200.35 c 187s|950000 | 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.470000e+02 | Large
202.33/202.46 c 189s|960000 | 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 4.470000e+02 | Large
204.43/204.55 c 191s|970000 | 165 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.470000e+02 | Large
206.43/206.57 c 193s|980000 | 164 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.470000e+02 | Large
208.53/208.61 c 195s|990000 | 160 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.470000e+02 | Large
210.53/210.63 c 197s| 1000k| 161 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.470000e+02 | Large
212.53/212.66 c 199s| 1010k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.470000e+02 | Large
214.53/214.65 c 201s| 1020k| 167 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.470000e+02 | Large
216.43/216.57 c 202s| 1030k| 159 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.470000e+02 | Large
218.43/218.58 c 204s| 1040k| 162 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.470000e+02 | Large
220.52/220.62 c 206s| 1050k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3713 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 4.470000e+02 | Large
222.52/222.67 c 208s| 1060k| 168 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
224.63/224.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.63/224.71 c 210s| 1070k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
226.62/226.78 c 212s| 1080k| 167 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
228.63/228.78 c 214s| 1090k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
230.72/230.80 c 216s| 1100k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
232.72/232.86 c 218s| 1110k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
234.71/234.88 c 219s| 1120k| 167 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
236.81/236.92 c 221s| 1130k| 168 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
238.81/238.90 c 223s| 1140k| 162 | 0 | 0.0 |6181k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
240.72/240.89 c 225s| 1150k| 165 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
242.72/242.87 c 227s| 1160k| 165 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
244.81/244.90 c 229s| 1170k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
246.81/246.98 c 231s| 1180k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 4.470000e+02 | Large
248.81/248.99 c 232s| 1190k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
250.81/250.98 c 234s| 1200k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
253.01/253.13 c 236s| 1210k| 159 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
255.02/255.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.02/255.11 c 238s| 1220k| 165 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
257.11/257.21 c 240s| 1230k| 167 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
259.01/259.14 c 242s| 1240k| 169 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
261.01/261.12 c 244s| 1250k| 164 | 0 | 0.0 |6184k| 250 | - |1040 |3713 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
262.91/263.07 c 246s| 1260k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3713 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
264.81/264.96 c 247s| 1270k| 169 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
266.91/267.07 c 249s| 1280k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 4.470000e+02 | Large
269.11/269.25 c 251s| 1290k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.470000e+02 | Large
271.20/271.30 c 253s| 1300k| 162 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.470000e+02 | Large
273.31/273.41 c 255s| 1310k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.470000e+02 | Large
275.30/275.44 c 257s| 1320k| 166 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.470000e+02 | Large
277.31/277.41 c 259s| 1330k| 161 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 4.470000e+02 | Large
279.40/279.50 c 261s| 1340k| 160 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.470000e+02 | Large
281.41/281.57 c 263s| 1350k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.470000e+02 | Large
283.50/283.66 c 265s| 1360k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.470000e+02 | Large
285.60/285.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.60/285.76 c 267s| 1370k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 4.470000e+02 | Large
287.60/287.76 c 269s| 1380k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
289.60/289.79 c 271s| 1390k| 164 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
291.70/291.80 c 272s| 1400k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
293.61/293.71 c 274s| 1410k| 164 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
295.50/295.64 c 276s| 1420k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
297.50/297.63 c 278s| 1430k| 166 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
299.40/299.55 c 280s| 1440k| 162 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
301.31/301.44 c 281s| 1450k| 162 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
303.20/303.37 c 283s| 1460k| 160 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
305.19/305.33 c 285s| 1470k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
307.20/307.33 c 287s| 1480k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 4.470000e+02 | Large
309.19/309.30 c 289s| 1490k| 162 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.470000e+02 | Large
311.29/311.46 c 291s| 1500k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.470000e+02 | Large
313.30/313.41 c 292s| 1510k| 162 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.470000e+02 | Large
315.19/315.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.19/315.33 c 294s| 1520k| 162 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.470000e+02 | Large
317.09/317.24 c 296s| 1530k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.470000e+02 | Large
319.19/319.35 c 298s| 1540k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.470000e+02 | Large
321.19/321.35 c 300s| 1550k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 4.470000e+02 | Large
323.30/323.41 c 302s| 1560k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.470000e+02 | Large
325.49/325.63 c 304s| 1570k| 166 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.470000e+02 | Large
327.59/327.77 c 306s| 1580k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.470000e+02 | Large
329.59/329.75 c 308s| 1590k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 4.470000e+02 | Large
331.69/331.81 c 310s| 1600k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.470000e+02 | Large
333.59/333.76 c 311s| 1610k| 164 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.470000e+02 | Large
335.59/335.79 c 313s| 1620k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.470000e+02 | Large
337.79/337.95 c 315s| 1630k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.470000e+02 | Large
339.79/339.97 c 317s| 1640k| 162 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.470000e+02 | Large
341.89/342.03 c 319s| 1650k| 160 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.470000e+02 | Large
343.79/343.99 c 321s| 1660k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 4.470000e+02 | Large
345.69/345.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.69/345.88 c 323s| 1670k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.470000e+02 | Large
347.69/347.88 c 325s| 1680k| 160 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.470000e+02 | Large
349.69/349.86 c 326s| 1690k| 164 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.470000e+02 | Large
351.89/352.09 c 329s| 1700k| 166 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.470000e+02 | Large
354.09/354.25 c 331s| 1710k| 164 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 4.470000e+02 | Large
356.17/356.33 c 333s| 1720k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
358.07/358.29 c 334s| 1730k| 159 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
360.17/360.31 c 336s| 1740k| 160 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
362.17/362.37 c 338s| 1750k| 163 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
364.17/364.32 c 340s| 1760k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
366.07/366.28 c 342s| 1770k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
368.07/368.26 c 344s| 1780k| 166 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
369.96/370.18 c 345s| 1790k| 165 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
371.96/372.15 c 347s| 1800k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
373.96/374.13 c 349s| 1810k| 159 | 0 | 0.0 |6181k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
375.86/376.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.86/376.05 c 351s| 1820k| 162 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
377.76/377.99 c 353s| 1830k| 162 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
379.76/379.98 c 355s| 1840k| 159 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 4.470000e+02 | Large
381.76/381.93 c 356s| 1850k| 159 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
383.77/383.93 c 358s| 1860k| 160 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
385.76/385.91 c 360s| 1870k| 161 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
387.66/387.85 c 362s| 1880k| 160 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
389.65/389.87 c 364s| 1890k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
391.65/391.88 c 366s| 1900k| 162 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
393.66/393.81 c 367s| 1910k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
395.65/395.86 c 369s| 1920k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
397.65/397.81 c 371s| 1930k| 162 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
399.56/399.72 c 373s| 1940k| 161 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
401.36/401.59 c 375s| 1950k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
403.26/403.47 c 376s| 1960k| 160 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
405.26/405.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.26/405.46 c 378s| 1970k| 159 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 4.470000e+02 | Large
407.25/407.47 c 380s| 1980k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.470000e+02 | Large
409.35/409.53 c 382s| 1990k| 161 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.470000e+02 | Large
411.35/411.54 c 384s| 2000k| 158 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.470000e+02 | Large
413.46/413.62 c 386s| 2010k| 158 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.470000e+02 | Large
415.55/415.79 c 388s| 2020k| 159 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.470000e+02 | Large
417.55/417.78 c 390s| 2030k| 155 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 4.470000e+02 | Large
419.55/419.78 c 392s| 2040k| 166 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.470000e+02 | Large
421.55/421.77 c 393s| 2050k| 159 | 0 | 0.0 |6182k| 250 | - |1040 |3712 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.470000e+02 | Large
423.75/423.93 c 395s| 2060k| 163 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.470000e+02 | Large
425.74/425.92 c 397s| 2070k| 166 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.470000e+02 | Large
427.85/428.03 c 399s| 2080k| 160 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.470000e+02 | Large
429.85/430.09 c 401s| 2090k| 159 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 4.470000e+02 | Large
431.95/432.18 c 403s| 2100k| 160 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.470000e+02 | Large
434.04/434.29 c 405s| 2110k| 159 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.470000e+02 | Large
436.14/436.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.14/436.35 c 407s| 2120k| 162 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.470000e+02 | Large
438.14/438.32 c 409s| 2130k| 161 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.470000e+02 | Large
440.34/440.55 c 411s| 2140k| 166 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 4.470000e+02 | Large
443.05/443.24 c 413s| 2150k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 4.470000e+02 | Large
445.64/445.86 c 416s| 2160k| 164 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 4.470000e+02 | Large
448.24/448.43 c 418s| 2170k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 4.470000e+02 | Large
450.75/450.96 c 421s| 2180k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 4.470000e+02 | Large
453.34/453.52 c 423s| 2190k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 4.470000e+02 | Large
455.94/456.17 c 426s| 2200k| 161 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 4.470000e+02 | Large
458.55/458.74 c 428s| 2210k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 4.470000e+02 | Large
461.23/461.45 c 431s| 2220k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 4.470000e+02 | Large
463.74/463.95 c 433s| 2230k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 4.470000e+02 | Large
466.14/466.37 c 435s| 2240k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 4.470000e+02 | Large
468.53/468.77 c 438s| 2250k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 4.470000e+02 | Large
471.03/471.28 c 440s| 2260k| 156 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 4.470000e+02 | Large
473.63/473.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.63/473.86 c 442s| 2270k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 4.470000e+02 | Large
476.14/476.34 c 445s| 2280k| 159 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 4.470000e+02 | Large
478.53/478.71 c 447s| 2290k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 4.470000e+02 | Large
481.03/481.30 c 450s| 2300k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 4.470000e+02 | Large
483.63/483.81 c 452s| 2310k| 159 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 4.470000e+02 | Large
486.03/486.23 c 454s| 2320k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 4.470000e+02 | Large
488.42/488.67 c 456s| 2330k| 156 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 4.470000e+02 | Large
490.82/491.05 c 459s| 2340k| 169 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 4.470000e+02 | Large
493.22/493.43 c 461s| 2350k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 4.470000e+02 | Large
495.52/495.71 c 463s| 2360k| 174 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 4.470000e+02 | Large
497.43/497.70 c 465s| 2370k| 171 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 4.470000e+02 | Large
499.53/499.72 c 467s| 2380k| 174 | 0 | 0.0 |6190k| 250 | - |1040 |3712 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 4.470000e+02 | Large
501.72/501.91 c 469s| 2390k| 167 | 0 | 0.0 |6189k| 250 | - |1040 |3712 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.470000e+02 | Large
503.82/504.02 c 471s| 2400k| 171 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.470000e+02 | Large
505.83/506.09 c 473s| 2410k| 171 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.470000e+02 | Large
507.93/508.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.93/508.11 c 475s| 2420k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.470000e+02 | Large
509.92/510.11 c 477s| 2430k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.470000e+02 | Large
511.92/512.17 c 478s| 2440k| 173 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.470000e+02 | Large
514.02/514.21 c 480s| 2450k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 4.470000e+02 | Large
516.12/516.36 c 482s| 2460k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 4.470000e+02 | Large
518.32/518.50 c 484s| 2470k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 4.470000e+02 | Large
520.42/520.63 c 486s| 2480k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 4.470000e+02 | Large
522.52/522.79 c 488s| 2490k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 4.470000e+02 | Large
524.92/525.17 c 491s| 2500k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 4.470000e+02 | Large
527.11/527.39 c 493s| 2510k| 169 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 4.470000e+02 | Large
529.22/529.44 c 495s| 2520k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 4.470000e+02 | Large
531.22/531.44 c 496s| 2530k| 170 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 4.470000e+02 | Large
533.22/533.48 c 498s| 2540k| 167 | 0 | 0.0 |6189k| 250 | - |1040 |3712 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 4.470000e+02 | Large
535.32/535.59 c 500s| 2550k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 4.470000e+02 | Large
537.51/537.70 c 502s| 2560k| 172 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 4.470000e+02 | Large
539.52/539.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.52/539.76 c 504s| 2570k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 4.470000e+02 | Large
541.72/541.97 c 506s| 2580k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 4.470000e+02 | Large
543.82/544.08 c 508s| 2590k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 4.470000e+02 | Large
546.21/546.46 c 511s| 2600k| 164 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 4.470000e+02 | Large
548.41/548.66 c 513s| 2610k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 4.470000e+02 | Large
550.61/550.81 c 515s| 2620k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 4.470000e+02 | Large
552.81/553.06 c 517s| 2630k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 4.470000e+02 | Large
555.01/555.22 c 519s| 2640k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 4.470000e+02 | Large
557.31/557.54 c 521s| 2650k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 4.470000e+02 | Large
559.41/559.68 c 523s| 2660k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 4.470000e+02 | Large
561.61/561.86 c 525s| 2670k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 4.470000e+02 | Large
563.71/563.98 c 527s| 2680k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.470000e+02 | Large
565.91/566.13 c 529s| 2690k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.470000e+02 | Large
567.91/568.19 c 531s| 2700k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.470000e+02 | Large
570.01/570.23 c 533s| 2710k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.470000e+02 | Large
571.90/572.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.90/572.16 c 535s| 2720k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.470000e+02 | Large
573.91/574.19 c 536s| 2730k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.470000e+02 | Large
576.00/576.24 c 538s| 2740k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 4.470000e+02 | Large
578.10/578.30 c 540s| 2750k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 4.470000e+02 | Large
580.40/580.63 c 543s| 2760k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 4.470000e+02 | Large
582.60/582.88 c 545s| 2770k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 4.470000e+02 | Large
584.90/585.12 c 547s| 2780k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 4.470000e+02 | Large
587.20/587.47 c 549s| 2790k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 4.470000e+02 | Large
589.40/589.69 c 551s| 2800k| 167 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 4.470000e+02 | Large
591.60/591.86 c 553s| 2810k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 4.470000e+02 | Large
593.70/593.99 c 555s| 2820k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 4.470000e+02 | Large
596.00/596.29 c 557s| 2830k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 4.470000e+02 | Large
598.40/598.63 c 559s| 2840k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 4.470000e+02 | Large
600.49/600.74 c 561s| 2850k| 169 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 4.470000e+02 | Large
602.60/602.86 c 563s| 2860k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 4.470000e+02 | Large
604.70/604.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.70/604.98 c 565s| 2870k| 164 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 4.470000e+02 | Large
606.90/607.17 c 567s| 2880k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 4.470000e+02 | Large
609.00/609.25 c 569s| 2890k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 4.470000e+02 | Large
611.29/611.55 c 572s| 2900k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 4.470000e+02 | Large
613.39/613.65 c 573s| 2910k| 173 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 4.470000e+02 | Large
615.59/615.82 c 576s| 2920k| 168 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 4.470000e+02 | Large
617.58/617.89 c 577s| 2930k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 4.470000e+02 | Large
619.49/619.79 c 579s| 2940k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 4.470000e+02 | Large
621.49/621.80 c 581s| 2950k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 4.470000e+02 | Large
623.59/623.87 c 583s| 2960k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 4.470000e+02 | Large
625.59/625.88 c 585s| 2970k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 4.470000e+02 | Large
627.90/628.18 c 587s| 2980k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 4.470000e+02 | Large
630.09/630.39 c 589s| 2990k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 4.470000e+02 | Large
632.30/632.53 c 591s| 3000k| 167 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 4.470000e+02 | Large
634.28/634.55 c 593s| 3010k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 4.470000e+02 | Large
636.38/636.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.38/636.66 c 595s| 3020k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 4.470000e+02 | Large
638.39/638.67 c 597s| 3030k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 4.470000e+02 | Large
640.38/640.60 c 599s| 3040k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 4.470000e+02 | Large
642.29/642.58 c 600s| 3050k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 4.470000e+02 | Large
644.39/644.65 c 602s| 3060k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 4.470000e+02 | Large
646.49/646.70 c 604s| 3070k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 4.470000e+02 | Large
648.47/648.73 c 606s| 3080k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 4.470000e+02 | Large
650.58/650.85 c 608s| 3090k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 4.470000e+02 | Large
652.68/652.95 c 610s| 3100k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 4.470000e+02 | Large
655.07/655.32 c 612s| 3110k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 4.470000e+02 | Large
657.08/657.34 c 614s| 3120k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 4.470000e+02 | Large
659.18/659.49 c 616s| 3130k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 4.470000e+02 | Large
661.28/661.58 c 618s| 3140k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 4.470000e+02 | Large
663.27/663.56 c 620s| 3150k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 4.470000e+02 | Large
665.28/665.58 c 622s| 3160k| 164 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 4.470000e+02 | Large
667.38/667.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.38/667.65 c 624s| 3170k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 4.470000e+02 | Large
669.37/669.67 c 626s| 3180k| 165 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 4.470000e+02 | Large
671.57/671.89 c 628s| 3190k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 4.470000e+02 | Large
673.78/674.05 c 630s| 3200k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 4.470000e+02 | Large
675.88/676.14 c 632s| 3210k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 4.470000e+02 | Large
677.87/678.14 c 634s| 3220k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 4.470000e+02 | Large
679.77/680.09 c 636s| 3230k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 4.470000e+02 | Large
681.78/682.04 c 637s| 3240k| 164 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 4.470000e+02 | Large
683.87/684.19 c 639s| 3250k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 4.470000e+02 | Large
685.97/686.25 c 641s| 3260k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 4.470000e+02 | Large
687.87/688.19 c 643s| 3270k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 4.470000e+02 | Large
689.87/690.13 c 645s| 3280k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 4.470000e+02 | Large
691.96/692.28 c 647s| 3290k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 4.470000e+02 | Large
693.96/694.27 c 649s| 3300k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 4.470000e+02 | Large
696.27/696.55 c 651s| 3310k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 4.470000e+02 | Large
698.57/698.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.57/698.82 c 653s| 3320k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 4.470000e+02 | Large
700.77/701.07 c 655s| 3330k| 161 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 4.470000e+02 | Large
702.96/703.26 c 657s| 3340k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 4.470000e+02 | Large
704.96/705.25 c 659s| 3350k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 4.470000e+02 | Large
706.97/707.25 c 661s| 3360k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 4.470000e+02 | Large
708.96/709.20 c 663s| 3370k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 4.470000e+02 | Large
710.97/711.27 c 665s| 3380k| 166 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 4.470000e+02 | Large
712.96/713.28 c 666s| 3390k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 4.470000e+02 | Large
715.27/715.52 c 669s| 3400k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 4.470000e+02 | Large
717.36/717.63 c 671s| 3410k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 4.470000e+02 | Large
719.45/719.72 c 673s| 3420k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 4.470000e+02 | Large
721.46/721.78 c 674s| 3430k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 4.470000e+02 | Large
723.66/723.90 c 676s| 3440k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 4.470000e+02 | Large
725.85/726.16 c 679s| 3450k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 4.470000e+02 | Large
728.05/728.35 c 681s| 3460k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 4.470000e+02 | Large
730.17/730.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.17/730.48 c 683s| 3470k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 4.470000e+02 | Large
732.16/732.48 c 684s| 3480k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 4.470000e+02 | Large
734.26/734.52 c 686s| 3490k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 4.470000e+02 | Large
736.35/736.67 c 688s| 3500k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 4.470000e+02 | Large
738.45/738.80 c 690s| 3510k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 4.470000e+02 | Large
740.55/740.87 c 692s| 3520k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 4.470000e+02 | Large
743.26/743.50 c 695s| 3530k| 162 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 4.470000e+02 | Large
745.95/746.22 c 697s| 3540k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 4.470000e+02 | Large
748.25/748.51 c 700s| 3550k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 4.470000e+02 | Large
750.65/750.95 c 702s| 3560k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 4.470000e+02 | Large
753.05/753.35 c 704s| 3570k| 162 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 4.470000e+02 | Large
755.36/755.69 c 706s| 3580k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 4.470000e+02 | Large
757.75/758.02 c 709s| 3590k| 170 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 4.470000e+02 | Large
760.05/760.31 c 711s| 3600k| 169 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 4.470000e+02 | Large
762.06/762.36 c 713s| 3610k| 166 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 4.470000e+02 | Large
764.15/764.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.15/764.47 c 714s| 3620k| 167 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 4.470000e+02 | Large
766.25/766.52 c 716s| 3630k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 4.470000e+02 | Large
768.35/768.69 c 718s| 3640k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 4.470000e+02 | Large
770.34/770.69 c 720s| 3650k| 166 | 0 | 0.0 |6189k| 250 | - |1040 |3712 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 4.470000e+02 | Large
772.44/772.77 c 722s| 3660k| 162 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 4.470000e+02 | Large
774.75/775.01 c 724s| 3670k| 162 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 4.470000e+02 | Large
776.74/777.04 c 726s| 3680k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 4.470000e+02 | Large
778.94/779.22 c 728s| 3690k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 4.470000e+02 | Large
781.04/781.34 c 730s| 3700k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 4.470000e+02 | Large
783.04/783.36 c 732s| 3710k| 163 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 4.470000e+02 | Large
785.15/785.46 c 734s| 3720k| 167 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 4.470000e+02 | Large
787.14/787.44 c 736s| 3730k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 4.470000e+02 | Large
789.14/789.47 c 738s| 3740k| 158 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 4.470000e+02 | Large
791.24/791.58 c 740s| 3750k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 4.470000e+02 | Large
793.34/793.62 c 742s| 3760k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 4.470000e+02 | Large
795.44/795.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.44/795.74 c 744s| 3770k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 4.470000e+02 | Large
797.44/797.74 c 746s| 3780k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 4.470000e+02 | Large
799.93/800.29 c 748s| 3790k| 160 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 4.470000e+02 | Large
802.23/802.52 c 750s| 3800k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 4.470000e+02 | Large
804.74/805.02 c 752s| 3810k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 4.470000e+02 | Large
806.94/807.21 c 755s| 3820k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 4.470000e+02 | Large
808.93/809.21 c 756s| 3830k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 4.470000e+02 | Large
810.83/811.15 c 758s| 3840k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 4.470000e+02 | Large
812.84/813.10 c 760s| 3850k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 4.470000e+02 | Large
814.93/815.24 c 762s| 3860k| 169 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 4.470000e+02 | Large
816.94/817.24 c 764s| 3870k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 4.470000e+02 | Large
818.93/819.21 c 766s| 3880k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 4.470000e+02 | Large
821.53/821.85 c 768s| 3890k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 4.470000e+02 | Large
823.83/824.18 c 770s| 3900k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 4.470000e+02 | Large
826.53/826.81 c 773s| 3910k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 4.470000e+02 | Large
828.93/829.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.93/829.27 c 775s| 3920k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 4.470000e+02 | Large
831.53/831.82 c 778s| 3930k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 4.470000e+02 | Large
833.83/834.10 c 780s| 3940k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 4.470000e+02 | Large
835.92/836.27 c 782s| 3950k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 4.470000e+02 | Large
838.02/838.38 c 784s| 3960k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 4.470000e+02 | Large
840.33/840.63 c 786s| 3970k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.470000e+02 | Large
842.53/842.81 c 788s| 3980k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.470000e+02 | Large
844.62/844.90 c 790s| 3990k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.470000e+02 | Large
846.63/846.93 c 792s| 4000k| 162 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.470000e+02 | Large
848.72/849.04 c 794s| 4010k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.470000e+02 | Large
850.82/851.12 c 796s| 4020k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.470000e+02 | Large
852.82/853.11 c 797s| 4030k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.470000e+02 | Large
854.72/855.02 c 799s| 4040k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 4.470000e+02 | Large
856.72/857.01 c 801s| 4050k| 159 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 4.470000e+02 | Large
858.73/859.03 c 803s| 4060k| 164 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 4.470000e+02 | Large
860.72/861.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.72/861.01 c 805s| 4070k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 4.470000e+02 | Large
862.92/863.23 c 807s| 4080k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 4.470000e+02 | Large
865.21/865.55 c 809s| 4090k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 4.470000e+02 | Large
867.42/867.70 c 811s| 4100k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 4.470000e+02 | Large
869.41/869.74 c 813s| 4110k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 4.470000e+02 | Large
871.51/871.80 c 815s| 4120k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 4.470000e+02 | Large
873.42/873.78 c 817s| 4130k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 4.470000e+02 | Large
875.42/875.72 c 819s| 4140k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 4.470000e+02 | Large
877.42/877.80 c 821s| 4150k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 4.470000e+02 | Large
879.52/879.81 c 822s| 4160k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.470000e+02 | Large
881.61/881.91 c 824s| 4170k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.470000e+02 | Large
883.71/884.03 c 826s| 4180k| 156 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.470000e+02 | Large
885.81/886.13 c 828s| 4190k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.470000e+02 | Large
887.71/888.08 c 830s| 4200k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.470000e+02 | Large
889.81/890.14 c 832s| 4210k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.470000e+02 | Large
891.82/892.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.82/892.12 c 834s| 4220k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.470000e+02 | Large
893.81/894.15 c 836s| 4230k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 4.470000e+02 | Large
895.91/896.20 c 838s| 4240k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 4.470000e+02 | Large
898.01/898.33 c 840s| 4250k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 4.470000e+02 | Large
900.01/900.37 c 842s| 4260k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 4.470000e+02 | Large
902.11/902.44 c 844s| 4270k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 4.470000e+02 | Large
904.11/904.49 c 846s| 4280k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 4.470000e+02 | Large
906.21/906.55 c 847s| 4290k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 4.470000e+02 | Large
908.41/908.74 c 850s| 4300k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 4.470000e+02 | Large
910.52/910.85 c 851s| 4310k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 4.470000e+02 | Large
912.61/912.93 c 853s| 4320k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 4.470000e+02 | Large
914.81/915.10 c 855s| 4330k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 4.470000e+02 | Large
916.80/917.15 c 857s| 4340k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 4.470000e+02 | Large
918.81/919.15 c 859s| 4350k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 4.470000e+02 | Large
920.90/921.23 c 861s| 4360k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 4.470000e+02 | Large
923.20/923.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.20/923.53 c 863s| 4370k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 4.470000e+02 | Large
925.30/925.62 c 865s| 4380k| 164 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | 4.470000e+02 | Large
927.40/927.71 c 867s| 4390k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | 4.470000e+02 | Large
929.40/929.79 c 869s| 4400k| 168 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | 4.470000e+02 | Large
931.69/932.08 c 871s| 4410k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 4.470000e+02 | Large
934.10/934.47 c 874s| 4420k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 4.470000e+02 | Large
936.30/936.63 c 876s| 4430k| 167 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 4.470000e+02 | Large
938.30/938.62 c 877s| 4440k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 4.470000e+02 | Large
940.70/941.06 c 880s| 4450k| 168 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 4.470000e+02 | Large
943.19/943.53 c 882s| 4460k| 169 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 4.470000e+02 | Large
945.79/946.18 c 884s| 4470k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 4.470000e+02 | Large
948.19/948.58 c 887s| 4480k| 169 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 4.470000e+02 | Large
950.79/951.14 c 889s| 4490k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 4.470000e+02 | Large
952.89/953.24 c 891s| 4500k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 4.470000e+02 | Large
954.99/955.32 c 893s| 4510k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 4.470000e+02 | Large
957.09/957.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.09/957.40 c 895s| 4520k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 4.470000e+02 | Large
959.09/959.44 c 897s| 4530k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 4.470000e+02 | Large
961.19/961.54 c 899s| 4540k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 4.470000e+02 | Large
963.30/963.63 c 901s| 4550k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 4.470000e+02 | Large
965.39/965.72 c 903s| 4560k| 173 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 4.470000e+02 | Large
967.49/967.81 c 905s| 4570k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 4.470000e+02 | Large
969.48/969.85 c 907s| 4580k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 4.470000e+02 | Large
971.59/971.90 c 909s| 4590k| 163 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 4.470000e+02 | Large
973.69/974.07 c 911s| 4600k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 4.470000e+02 | Large
975.69/976.05 c 912s| 4610k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 4.470000e+02 | Large
977.99/978.30 c 915s| 4620k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 4.470000e+02 | Large
980.18/980.51 c 917s| 4630k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 4.470000e+02 | Large
982.19/982.51 c 918s| 4640k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 4.470000e+02 | Large
984.28/984.60 c 920s| 4650k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 4.470000e+02 | Large
986.29/986.67 c 922s| 4660k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 4.470000e+02 | Large
988.29/988.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.29/988.68 c 924s| 4670k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 4.470000e+02 | Large
990.38/990.71 c 926s| 4680k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 4.470000e+02 | Large
992.29/992.67 c 928s| 4690k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 4.470000e+02 | Large
994.28/994.63 c 930s| 4700k| 160 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 4.470000e+02 | Large
996.39/996.79 c 932s| 4710k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 4.470000e+02 | Large
998.49/998.83 c 934s| 4720k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1000.48/1000.83 c 935s| 4730k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1002.48/1002.82 c 937s| 4740k| 164 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1004.48/1004.84 c 939s| 4750k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1006.37/1006.76 c 941s| 4760k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1008.29/1008.70 c 943s| 4770k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1010.27/1010.61 c 945s| 4780k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1012.27/1012.60 c 946s| 4790k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1014.17/1014.58 c 948s| 4800k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1016.27/1016.61 c 950s| 4810k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1018.28/1018.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.28/1018.68 c 952s| 4820k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1020.38/1020.71 c 954s| 4830k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1022.38/1022.73 c 956s| 4840k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1024.37/1024.70 c 958s| 4850k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1026.17/1026.58 c 960s| 4860k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1028.18/1028.58 c 961s| 4870k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1030.17/1030.53 c 963s| 4880k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1032.17/1032.51 c 965s| 4890k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1034.06/1034.44 c 967s| 4900k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1035.96/1036.39 c 969s| 4910k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1037.98/1038.36 c 970s| 4920k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1039.96/1040.33 c 972s| 4930k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1042.07/1042.44 c 974s| 4940k| 164 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1044.07/1044.42 c 976s| 4950k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1045.97/1046.33 c 978s| 4960k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1047.98/1048.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.98/1048.37 c 980s| 4970k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1050.07/1050.44 c 982s| 4980k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1051.97/1052.35 c 984s| 4990k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1053.96/1054.36 c 985s| 5000k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1055.96/1056.32 c 987s| 5010k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1058.06/1058.40 c 989s| 5020k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1060.07/1060.49 c 991s| 5030k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1062.06/1062.46 c 993s| 5040k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1064.16/1064.54 c 995s| 5050k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1066.16/1066.54 c 997s| 5060k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1068.26/1068.61 c 999s| 5070k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1070.16/1070.54 c 1000s| 5080k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1072.07/1072.46 c 1002s| 5090k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1074.16/1074.55 c 1004s| 5100k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1076.26/1076.64 c 1006s| 5110k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1078.25/1078.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.25/1078.66 c 1008s| 5120k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1080.36/1080.71 c 1010s| 5130k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1082.76/1083.15 c 1012s| 5140k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1085.16/1085.56 c 1015s| 5150k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1087.25/1087.65 c 1016s| 5160k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1089.36/1089.77 c 1018s| 5170k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1091.45/1091.89 c 1020s| 5180k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1093.65/1094.04 c 1022s| 5190k| 163 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1095.75/1096.19 c 1024s| 5200k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1097.95/1098.30 c 1026s| 5210k| 159 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1100.05/1100.42 c 1028s| 5220k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1102.15/1102.56 c 1030s| 5230k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1104.35/1104.73 c 1032s| 5240k| 165 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1106.55/1106.91 c 1034s| 5250k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1108.74/1109.13 c 1037s| 5260k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1111.05/1111.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.05/1111.40 c 1039s| 5270k| 157 | 0 | 0.0 |6183k| 250 | - |1040 |3712 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1113.15/1113.58 c 1041s| 5280k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1115.35/1115.75 c 1043s| 5290k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1117.34/1117.78 c 1045s| 5300k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1119.64/1120.03 c 1047s| 5310k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1121.65/1122.09 c 1049s| 5320k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1123.75/1124.11 c 1051s| 5330k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1125.64/1126.04 c 1052s| 5340k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1127.53/1127.94 c 1054s| 5350k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1129.54/1129.91 c 1056s| 5360k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1131.44/1131.85 c 1058s| 5370k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1133.43/1133.84 c 1060s| 5380k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1135.43/1135.87 c 1062s| 5390k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1137.84/1138.29 c 1064s| 5400k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1140.13/1140.56 c 1066s| 5410k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1142.24/1142.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.24/1142.66 c 1068s| 5420k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1144.23/1144.65 c 1070s| 5430k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1146.34/1146.74 c 1072s| 5440k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1148.43/1148.80 c 1074s| 5450k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1150.73/1151.11 c 1076s| 5460k| 160 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1152.93/1153.31 c 1078s| 5470k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1155.03/1155.49 c 1080s| 5480k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1157.23/1157.67 c 1082s| 5490k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1159.23/1159.67 c 1084s| 5500k| 155 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1161.23/1161.68 c 1086s| 5510k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1163.33/1163.71 c 1088s| 5520k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1165.33/1165.71 c 1089s| 5530k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1167.22/1167.68 c 1091s| 5540k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1169.42/1169.81 c 1093s| 5550k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1171.52/1171.97 c 1095s| 5560k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1173.62/1174.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.62/1174.07 c 1097s| 5570k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1175.73/1176.18 c 1099s| 5580k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1177.82/1178.29 c 1101s| 5590k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1179.93/1180.33 c 1103s| 5600k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1181.92/1182.35 c 1105s| 5610k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1184.02/1184.41 c 1107s| 5620k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1186.03/1186.46 c 1109s| 5630k| 159 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1188.02/1188.48 c 1111s| 5640k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1190.12/1190.53 c 1113s| 5650k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1192.12/1192.53 c 1115s| 5660k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1194.23/1194.69 c 1117s| 5670k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1196.33/1196.75 c 1119s| 5680k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1198.52/1198.95 c 1121s| 5690k| 163 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1200.51/1200.97 c 1122s| 5700k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1202.62/1203.09 c 1124s| 5710k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1204.81/1205.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.81/1205.22 c 1126s| 5720k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1206.81/1207.29 c 1128s| 5730k| 169 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1208.92/1209.33 c 1130s| 5740k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1210.91/1211.38 c 1132s| 5750k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1213.01/1213.44 c 1134s| 5760k| 161 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1215.12/1215.59 c 1136s| 5770k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1217.22/1217.66 c 1138s| 5780k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1219.21/1219.68 c 1140s| 5790k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1221.41/1221.86 c 1142s| 5800k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1223.81/1224.24 c 1144s| 5810k| 159 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1225.91/1226.35 c 1146s| 5820k| 161 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1228.11/1228.54 c 1148s| 5830k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1230.21/1230.61 c 1150s| 5840k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1232.21/1232.62 c 1152s| 5850k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1234.30/1234.77 c 1154s| 5860k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1236.41/1236.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.41/1236.81 c 1156s| 5870k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1238.51/1238.90 c 1158s| 5880k| 159 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1240.51/1240.95 c 1160s| 5890k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1242.51/1242.98 c 1162s| 5900k| 157 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1244.71/1245.13 c 1164s| 5910k| 160 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1246.70/1247.18 c 1166s| 5920k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1248.80/1249.24 c 1168s| 5930k| 156 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1250.90/1251.38 c 1170s| 5940k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1253.10/1253.51 c 1172s| 5950k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1255.30/1255.74 c 1174s| 5960k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1257.50/1257.93 c 1176s| 5970k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1259.60/1260.01 c 1178s| 5980k| 157 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1261.60/1262.05 c 1180s| 5990k| 157 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1263.90/1264.34 c 1182s| 6000k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1265.99/1266.48 c 1184s| 6010k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1268.10/1268.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.10/1268.58 c 1186s| 6020k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1270.30/1270.77 c 1188s| 6030k| 157 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1272.50/1272.92 c 1190s| 6040k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1274.60/1275.00 c 1192s| 6050k| 165 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1276.49/1276.92 c 1194s| 6060k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1278.50/1278.91 c 1195s| 6070k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1280.39/1280.86 c 1197s| 6080k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1282.49/1282.91 c 1199s| 6090k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1284.60/1285.02 c 1201s| 6100k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1286.69/1287.12 c 1203s| 6110k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1288.69/1289.20 c 1205s| 6120k| 160 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1290.69/1291.17 c 1207s| 6130k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1292.79/1293.21 c 1209s| 6140k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1294.69/1295.17 c 1211s| 6150k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1296.89/1297.31 c 1213s| 6160k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1298.88/1299.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.88/1299.39 c 1214s| 6170k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1300.99/1301.45 c 1216s| 6180k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1303.10/1303.53 c 1218s| 6190k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1305.08/1305.51 c 1220s| 6200k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1307.08/1307.58 c 1222s| 6210k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1309.09/1309.50 c 1224s| 6220k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1310.98/1311.48 c 1226s| 6230k| 157 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1313.09/1313.59 c 1228s| 6240k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1315.19/1315.63 c 1230s| 6250k| 155 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1317.29/1317.78 c 1232s| 6260k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1319.68/1320.16 c 1234s| 6270k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1321.69/1322.20 c 1236s| 6280k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1323.89/1324.35 c 1238s| 6290k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1325.98/1326.40 c 1240s| 6300k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1328.08/1328.50 c 1242s| 6310k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1330.49/1330.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.49/1330.97 c 1244s| 6320k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1332.57/1333.08 c 1246s| 6330k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1334.98/1335.42 c 1248s| 6340k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1337.19/1337.66 c 1250s| 6350k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1339.39/1339.85 c 1252s| 6360k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1341.67/1342.13 c 1254s| 6370k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1343.87/1344.33 c 1257s| 6380k| 155 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1345.98/1346.43 c 1258s| 6390k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1348.08/1348.60 c 1260s| 6400k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1350.28/1350.79 c 1263s| 6410k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1352.67/1353.10 c 1265s| 6420k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1354.78/1355.23 c 1267s| 6430k| 162 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1356.98/1357.48 c 1269s| 6440k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1359.17/1359.67 c 1271s| 6450k| 157 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1361.17/1361.67 c 1273s| 6460k| 156 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1363.58/1364.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.58/1364.02 c 1275s| 6470k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1365.86/1366.31 c 1277s| 6480k| 162 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1368.06/1368.53 c 1279s| 6490k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1370.27/1370.77 c 1281s| 6500k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1372.67/1373.11 c 1283s| 6510k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1374.76/1375.24 c 1285s| 6520k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1376.97/1377.47 c 1288s| 6530k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1379.36/1379.87 c 1290s| 6540k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1381.56/1382.06 c 1292s| 6550k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1383.76/1384.21 c 1294s| 6560k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1386.06/1386.56 c 1296s| 6570k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1388.36/1388.88 c 1298s| 6580k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1390.66/1391.15 c 1300s| 6590k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1393.16/1393.69 c 1303s| 6600k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1395.76/1396.21 c 1305s| 6610k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1398.15/1398.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.15/1398.60 c 1307s| 6620k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1400.35/1400.80 c 1310s| 6630k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1402.86/1403.33 c 1312s| 6640k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1405.45/1405.97 c 1314s| 6650k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1407.56/1408.09 c 1316s| 6660k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1409.76/1410.25 c 1318s| 6670k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1412.06/1412.57 c 1321s| 6680k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1414.35/1414.89 c 1323s| 6690k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1416.75/1417.20 c 1325s| 6700k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1419.15/1419.63 c 1327s| 6710k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1421.45/1421.97 c 1330s| 6720k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1423.75/1424.27 c 1332s| 6730k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1426.05/1426.53 c 1334s| 6740k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1428.46/1428.91 c 1336s| 6750k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1430.85/1431.32 c 1338s| 6760k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1433.05/1433.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.05/1433.57 c 1340s| 6770k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1435.45/1435.98 c 1343s| 6780k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1437.85/1438.37 c 1345s| 6790k| 158 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1440.34/1440.81 c 1347s| 6800k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1442.54/1443.08 c 1349s| 6810k| 155 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1444.85/1445.39 c 1352s| 6820k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1447.24/1447.70 c 1354s| 6830k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1449.54/1450.03 c 1356s| 6840k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1451.94/1452.40 c 1358s| 6850k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1454.04/1454.59 c 1360s| 6860k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1456.14/1456.63 c 1362s| 6870k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1458.15/1458.68 c 1364s| 6880k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1460.14/1460.68 c 1366s| 6890k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1462.34/1462.82 c 1368s| 6900k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1464.75/1465.24 c 1370s| 6910k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1466.84/1467.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.84/1467.35 c 1372s| 6920k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1468.73/1469.28 c 1374s| 6930k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1470.73/1471.22 c 1376s| 6940k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1472.74/1473.26 c 1378s| 6950k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1474.73/1475.28 c 1380s| 6960k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1476.74/1477.29 c 1381s| 6970k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1478.73/1479.24 c 1383s| 6980k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1480.73/1481.28 c 1385s| 6990k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1482.83/1483.36 c 1387s| 7000k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1485.03/1485.50 c 1389s| 7010k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1487.13/1487.69 c 1391s| 7020k| 156 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1489.32/1489.81 c 1393s| 7030k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1491.42/1491.90 c 1395s| 7040k| 155 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1493.52/1494.07 c 1397s| 7050k| 167 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1495.82/1496.33 c 1399s| 7060k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1498.23/1498.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.23/1498.76 c 1402s| 7070k| 169 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1500.22/1500.77 c 1403s| 7080k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1502.33/1502.89 c 1405s| 7090k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1504.52/1505.01 c 1407s| 7100k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1506.83/1507.33 c 1410s| 7110k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1508.92/1509.44 c 1412s| 7120k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1510.94/1511.42 c 1413s| 7130k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1512.92/1513.41 c 1415s| 7140k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1514.82/1515.39 c 1417s| 7150k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1516.92/1517.47 c 1419s| 7160k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1518.92/1519.49 c 1421s| 7170k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1521.01/1521.57 c 1423s| 7180k| 164 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1523.02/1523.57 c 1425s| 7190k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1525.32/1525.84 c 1427s| 7200k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1527.62/1528.15 c 1429s| 7210k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1529.71/1530.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.71/1530.22 c 1431s| 7220k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1531.82/1532.32 c 1433s| 7230k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1534.02/1534.57 c 1435s| 7240k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1536.02/1536.58 c 1437s| 7250k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1538.12/1538.63 c 1439s| 7260k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1540.11/1540.67 c 1441s| 7270k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1542.21/1542.76 c 1443s| 7280k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1544.21/1544.70 c 1445s| 7290k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1546.31/1546.83 c 1447s| 7300k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1548.61/1549.10 c 1449s| 7310k| 165 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1550.81/1551.32 c 1451s| 7320k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1553.01/1553.51 c 1453s| 7330k| 161 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1555.11/1555.65 c 1455s| 7340k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1557.31/1557.88 c 1457s| 7350k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1559.41/1559.95 c 1459s| 7360k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1561.61/1562.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.61/1562.12 c 1461s| 7370k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1563.90/1564.42 c 1463s| 7380k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1565.92/1566.44 c 1465s| 7390k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1567.81/1568.35 c 1467s| 7400k| 156 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1569.80/1570.33 c 1469s| 7410k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1571.81/1572.32 c 1470s| 7420k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1573.71/1574.26 c 1472s| 7430k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1575.71/1576.30 c 1474s| 7440k| 162 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1577.91/1578.40 c 1476s| 7450k| 161 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1579.90/1580.45 c 1478s| 7460k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1581.90/1582.48 c 1480s| 7470k| 156 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1584.00/1584.52 c 1482s| 7480k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1586.00/1586.59 c 1484s| 7490k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1588.40/1588.92 c 1486s| 7500k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1590.60/1591.13 c 1488s| 7510k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1592.70/1593.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1592.70/1593.28 c 1490s| 7520k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1594.69/1595.25 c 1492s| 7530k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1596.71/1597.28 c 1494s| 7540k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1598.99/1599.51 c 1496s| 7550k| 166 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1601.39/1601.94 c 1498s| 7560k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1603.58/1604.18 c 1500s| 7570k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1605.89/1606.44 c 1502s| 7580k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1607.98/1608.58 c 1504s| 7590k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1609.99/1610.55 c 1506s| 7600k| 161 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1612.09/1612.62 c 1508s| 7610k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1614.08/1614.60 c 1510s| 7620k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1616.09/1616.68 c 1512s| 7630k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1618.28/1618.83 c 1514s| 7640k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1620.68/1621.21 c 1516s| 7650k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1622.79/1623.32 c 1518s| 7660k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1624.79/1625.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.79/1625.36 c 1520s| 7670k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1626.98/1627.56 c 1522s| 7680k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1629.09/1629.60 c 1524s| 7690k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1631.08/1631.65 c 1526s| 7700k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1632.99/1633.57 c 1528s| 7710k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1635.09/1635.65 c 1530s| 7720k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1637.08/1637.63 c 1532s| 7730k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1639.08/1639.63 c 1533s| 7740k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1641.08/1641.62 c 1535s| 7750k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1643.08/1643.67 c 1537s| 7760k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1645.28/1645.83 c 1539s| 7770k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1647.58/1648.12 c 1541s| 7780k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1649.68/1650.24 c 1543s| 7790k| 157 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1651.78/1652.37 c 1545s| 7800k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1653.88/1654.44 c 1547s| 7810k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1655.98/1656.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.98/1656.50 c 1549s| 7820k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1658.07/1658.64 c 1551s| 7830k| 157 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1660.07/1660.70 c 1553s| 7840k| 160 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1662.07/1662.62 c 1555s| 7850k| 158 | 0 | 0.0 |6184k| 250 | - |1040 |3712 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1664.27/1664.89 c 1557s| 7860k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1666.47/1667.00 c 1559s| 7870k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1668.47/1669.09 c 1561s| 7880k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1670.67/1671.21 c 1563s| 7890k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1672.67/1673.29 c 1565s| 7900k| 157 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1674.97/1675.50 c 1567s| 7910k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1677.07/1677.62 c 1569s| 7920k| 163 | 0 | 0.0 |6188k| 250 | - |1040 |3712 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1679.07/1679.68 c 1571s| 7930k| 159 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1681.06/1681.63 c 1573s| 7940k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1683.07/1683.67 c 1575s| 7950k| 157 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1685.07/1685.68 c 1576s| 7960k| 163 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1687.16/1687.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.16/1687.73 c 1578s| 7970k| 163 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1689.08/1689.66 c 1580s| 7980k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1691.17/1691.78 c 1582s| 7990k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1693.26/1693.86 c 1584s| 8000k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1695.36/1695.91 c 1586s| 8010k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1697.26/1697.89 c 1588s| 8020k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1699.26/1699.87 c 1590s| 8030k| 164 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1701.26/1701.80 c 1591s| 8040k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1703.46/1704.06 c 1594s| 8050k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1705.66/1706.23 c 1596s| 8060k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1707.76/1708.33 c 1598s| 8070k| 167 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1709.96/1710.52 c 1600s| 8080k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1711.96/1712.57 c 1601s| 8090k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1713.96/1714.56 c 1603s| 8100k| 166 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1715.96/1716.50 c 1605s| 8110k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1717.95/1718.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.95/1718.57 c 1607s| 8120k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1719.95/1720.52 c 1609s| 8130k| 163 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1722.06/1722.63 c 1611s| 8140k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1724.05/1724.63 c 1613s| 8150k| 161 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1726.05/1726.61 c 1615s| 8160k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1728.05/1728.61 c 1616s| 8170k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1730.15/1730.75 c 1618s| 8180k| 163 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1732.14/1732.78 c 1620s| 8190k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1734.24/1734.82 c 1622s| 8200k| 158 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1736.26/1736.87 c 1624s| 8210k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1738.34/1738.99 c 1626s| 8220k| 165 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1740.45/1741.09 c 1628s| 8230k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1742.65/1743.24 c 1630s| 8240k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1744.75/1745.35 c 1632s| 8250k| 157 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1747.15/1747.71 c 1634s| 8260k| 162 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1749.55/1750.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.55/1750.19 c 1637s| 8270k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1751.85/1752.49 c 1639s| 8280k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1753.95/1754.59 c 1641s| 8290k| 168 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1756.15/1756.74 c 1643s| 8300k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1758.43/1759.07 c 1645s| 8310k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1760.74/1761.32 c 1647s| 8320k| 162 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1762.94/1763.55 c 1649s| 8330k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1765.14/1765.74 c 1651s| 8340k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1767.44/1768.02 c 1653s| 8350k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1769.54/1770.16 c 1655s| 8360k| 161 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1771.64/1772.26 c 1657s| 8370k| 155 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1773.83/1774.42 c 1659s| 8380k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1776.24/1776.87 c 1662s| 8390k| 160 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1778.83/1779.43 c 1664s| 8400k| 159 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1781.13/1781.77 c 1666s| 8410k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1783.73/1784.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.73/1784.31 c 1669s| 8420k| 163 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1785.84/1786.46 c 1671s| 8430k| 165 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1787.83/1788.42 c 1672s| 8440k| 158 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1790.04/1790.68 c 1675s| 8450k| 164 | 0 | 0.0 |6187k| 250 | - |1040 |3712 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1792.13/1792.78 c 1677s| 8460k| 158 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1794.23/1794.86 c 1678s| 8470k| 157 | 0 | 0.0 |6185k| 250 | - |1040 |3712 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1796.43/1797.05 c 1681s| 8480k| 164 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1798.62/1799.29 c 1683s| 8490k| 160 | 0 | 0.0 |6186k| 250 | - |1040 |3712 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | 4.470000e+02 | Large
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1683.89
1800.04/1800.61 c Solving Nodes : 8495550
1800.04/1800.61 c Primal Bound : +4.47000000000000e+02 (13 solutions)
1800.04/1800.61 c Dual Bound : +1.00000000000000e+00
1800.04/1800.61 c Gap : 44600.00 %
1800.04/1800.62 s SATISFIABLE
1800.04/1800.62 v x1060 -x1059 x1058 -x1057 x1056 -x1055 x1054 -x1053 -x1052 x1051 x1050 -x1049 -x1048 -x1047 x1046 -x1045 x1044 -x1043 -x1042 -x1041
1800.04/1800.62 v x1040 -x1039 x1038 -x1037 -x1036 x1035 x1034 -x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 x1026 -x1025 x1024 -x1023 -x1022
1800.04/1800.62 v -x1021 -x1020 -x1019 x1018 -x1017 x1016 -x1015 x1014 -x1013 x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004
1800.04/1800.62 v x1003 -x1002 -x1001 x1000 -x999 x998 -x997 -x996 x995 x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 x986 -x985 x984 -x983 -x982
1800.04/1800.62 v -x981 -x980 -x979 x978 -x977 x976 -x975 x974 -x973 x972 -x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 -x962 x961 x960
1800.04/1800.62 v -x959 x958 -x957 x956 -x955 x954 -x953 x952 -x951 x950 -x949 -x948 x947 x946 -x945 x944 -x943 x942 -x941 x940 -x939 x938 -x937
1800.04/1800.62 v x936 -x935 x934 -x933 x932 -x931 x930 -x929 -x928 -x927 x926 -x925 x924 -x923 -x922 x921 -x920 -x919 -x918 -x917 x916 -x915
1800.04/1800.62 v -x914 -x913 x912 -x911 -x910 -x909 -x908 x907 x906 -x905 x904 -x903 x902 -x901 x900 -x899 x898 -x897 x896 -x895 x894 -x893
1800.04/1800.62 v x892 -x891 x890 -x889 x888 -x887 x886 -x885 x884 -x883 -x882 x881 x880 -x879 x878 -x877 x876 -x875 x874 -x873 x872 -x871 x870
1800.04/1800.62 v -x869 x868 -x867 x866 -x865 x864 -x863 -x862 x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 x851 -x850 -x849 -x848
1800.04/1800.62 v -x847 x846 -x845 x844 -x843 -x842 -x841 x840 -x839 x838 -x837 x836 -x835 x834 -x833 x832 -x831 x830 -x829 x828 -x827 x826
1800.04/1800.62 v -x825 x824 -x823 -x822 x821 -x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811 x810 -x809 -x808 -x807 -x806 x805 -x804 -x803
1800.04/1800.62 v -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 x784 -x783 -x782
1800.04/1800.62 v -x781 x780 -x779 x778 -x777 -x776 x775 x774 -x773 x772 -x771 x770 -x769 x768 -x767 x766 -x765 x764 -x763 x762 -x761 -x760 -x759
1800.04/1800.62 v -x758 -x757 x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 x745 x744 -x743 -x742 -x741 x740 -x739 x738
1800.04/1800.62 v -x737 x736 -x735 x734 -x733 x732 -x731 x730 -x729 x728 -x727 x726 -x725 x724 -x723 -x722 x721 x720 -x719 x718 -x717 x716 -x715
1800.04/1800.62 v x714 -x713 x712 -x711 x710 -x709 x708 -x707 x706 -x705 x704 -x703 -x702 x701 x700 -x699 -x698 x697 -x696 -x695 -x694 -x693
1800.04/1800.62 v x692 -x691 -x690 -x689 x688 -x687 x686 -x685 x684 -x683 x682 -x681 x680 -x679 x678 -x677 -x676 x675 x674 -x673 -x672 -x671 x670
1800.04/1800.62 v -x669 x668 -x667 x666 -x665 x664 -x663 -x662 -x661 x660 -x659 x658 -x657 -x656 -x655 x654 -x653 x652 -x651 x650 -x649 -x648
1800.04/1800.62 v -x647 x646 -x645 x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 x626
1800.04/1800.62 v -x625 x624 -x623 -x622 x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 x610 -x609 -x608 -x607 x606 -x605 x604
1800.04/1800.62 v -x603 -x602 x601 x600 -x599 x598 -x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 -x588 x587 x586 -x585 x584 -x583 x582 -x581
1800.04/1800.62 v x580 -x579 x578 -x577 x576 -x575 x574 -x573 x572 -x571 x570 -x569 -x568 x567 x566 -x565 x564 -x563 x562 -x561 x560 -x559 x558
1800.04/1800.62 v -x557 x556 -x555 x554 -x553 -x552 x551 x550 -x549 -x548 -x547 x546 -x545 x544 -x543 x542 -x541 x540 -x539 -x538 -x537 x536
1800.04/1800.62 v -x535 -x534 -x533 -x532 -x531 -x530 x529 x528 -x527 x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514
1800.04/1800.62 v -x513 x512 -x511 -x510 -x509 x508 -x507 x506 -x505 x504 -x503 -x502 x501 x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492
1800.04/1800.62 v -x491 -x490 x489 x488 -x487 x486 -x485 x484 -x483 -x482 -x481 x480 -x479 x478 -x477 x476 -x475 x474 -x473 x472 -x471 x470
1800.04/1800.62 v -x469 -x468 -x467 x466 -x465 x464 -x463 -x462 x461 -x460 -x459 x458 -x457 x456 -x455 x454 -x453 x452 -x451 x450 -x449 x448 -x447
1800.04/1800.62 v x446 -x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 x436 -x435 x434 -x433 x432 -x431 x430 -x429 -x428 x427 x426 -x425
1800.04/1800.62 v x424 -x423 x422 -x421 x420 -x419 x418 -x417 x416 -x415 x414 -x413 x412 -x411 x410 -x409 -x408 x407 x406 -x405 x404 -x403 x402
1800.04/1800.62 v -x401 x400 -x399 x398 -x397 -x396 x395 x394 -x393 -x392 -x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 x382 -x381 x380 -x379
1800.04/1800.62 v x378 -x377 x376 -x375 x374 -x373 x372 -x371 x370 -x369 -x368 x367 x366 -x365 x364 -x363 x362 -x361 x360 -x359 x358 -x357
1800.04/1800.62 v x356 -x355 x354 -x353 -x352 -x351 x350 -x349 -x348 x347 x346 -x345 x344 -x343 x342 -x341 -x340 -x339 -x338 x337 -x336 -x335
1800.04/1800.62 v -x334 -x333 x332 -x331 -x330 -x329 x328 -x327 x326 -x325 x324 -x323 x322 -x321 x320 -x319 -x318 x317 -x316 x315 -x314 x313 -x312
1800.04/1800.62 v x311 -x310 x309 x308 -x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 x292 -x291 -x290
1800.04/1800.62 v x289 x288 -x287 -x286 x285 x284 -x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267
1800.04/1800.62 v -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 x252 -x251 -x250 x249 -x248 x247 -x246 x245 -x244
1800.04/1800.62 v x243 -x242 x241 -x240 x239 -x238 x237 x236 -x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 x224 -x223 -x222 x221
1800.04/1800.62 v x220 -x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199
1800.04/1800.62 v -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 x178 -x177 -x176
1800.04/1800.62 v x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 x160 -x159 -x158 x157 x156 -x155 -x154 x153
1800.04/1800.62 v -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130
1800.04/1800.62 v x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 x120 -x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108
1800.04/1800.62 v x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 x96 -x95 -x94 x93 -x92 x91 -x90 x89 -x88 -x87 -x86 x85 x84 -x83 -x82
1800.04/1800.62 v x81 -x80 x79 -x78 x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 x69 x68 -x67 -x66 x65 x64 -x63 -x62 x61 -x60 x59 -x58 -x57 -x56 -x55
1800.04/1800.62 v -x54 x53 x52 -x51 -x50 x49 -x48 x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30 x29 -x28
1800.04/1800.62 v x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 x8 -x7 -x6 x5 -x4 x3 -x2 x1
1800.04/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.62 c Solving Time : 1683.89
1800.04/1800.62 c Original Problem :
1800.04/1800.62 c Problem name : HOME/instance-2664194-1276419306.opb
1800.04/1800.62 c Variables : 1060 (1060 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 3737 initial, 3737 maximal
1800.04/1800.62 c Presolved Problem :
1800.04/1800.62 c Problem name : t_HOME/instance-2664194-1276419306.opb
1800.04/1800.62 c Variables : 1040 (1040 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 3707 initial, 3723 maximal
1800.04/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c dualfix : 0.00 20 0 0 0 0 0 0 0
1800.04/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.62 c linear : 0.04 0 0 0 0 0 30 0 0
1800.04/1800.62 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.62 c root node : - 0 - - 0 - - - -
1800.04/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.62 c logicor : 3707+ 0 9277197 0 13 208734 22565736 0 0 0
1800.04/1800.62 c countsols : 0 0 0 0 13 0 0 0 0 0
1800.04/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.62 c logicor : 277.52 0.00 277.52 0.00 0.00
1800.04/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.62 c vbounds : 8.41 2 0 0
1800.04/1800.62 c rootredcost : 7.36 0 0 0
1800.04/1800.62 c pseudoobj : 935.50 15943515 4014529 22411486
1800.04/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.62 c propagation : 179.62 208734 208734 208734 120.6 20 11.8 -
1800.04/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c pseudo solution : 15.62 39463 0 0 0.0 0 0.0 -
1800.04/1800.62 c applied globally : - - - 77 14.3 - - -
1800.04/1800.62 c applied locally : - - - 208677 120.7 - - -
1800.04/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.62 c redcost : 0.00 0 0 0 0 0
1800.04/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.62 c intobj : 0.00 0 0 0 0 0
1800.04/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.62 c gomory : 0.00 0 0 0 0 0
1800.04/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.62 c cmir : 0.00 0 0 0 0 0
1800.04/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.62 c clique : 0.00 0 0 0 0 0
1800.04/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.62 c mcf : 0.00 0 0 0 0 0
1800.04/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.62 c Pricers : Time Calls Vars
1800.04/1800.62 c problem variables: 0.00 0 0
1800.04/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c inference : 88.77 4284103 0 0 0 0 8568206
1800.04/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c random : 0.00 0 0 0 0 0 0
1800.04/1800.62 c Primal Heuristics : Time Calls Found
1800.04/1800.62 c LP solutions : 0.00 - 0
1800.04/1800.62 c pseudo solutions : 0.00 - 13
1800.04/1800.62 c oneopt : 6.16 0 0
1800.04/1800.62 c trivial : 0.01 2 0
1800.04/1800.62 c simplerounding : 0.00 0 0
1800.04/1800.62 c zirounding : 0.00 0 0
1800.04/1800.62 c rounding : 0.00 0 0
1800.04/1800.62 c shifting : 0.00 0 0
1800.04/1800.62 c intshifting : 0.00 0 0
1800.04/1800.62 c twoopt : 0.00 0 0
1800.04/1800.62 c fixandinfer : 0.00 0 0
1800.04/1800.62 c feaspump : 0.00 0 0
1800.04/1800.62 c coefdiving : 0.00 0 0
1800.04/1800.62 c pscostdiving : 0.00 0 0
1800.04/1800.62 c fracdiving : 0.00 0 0
1800.04/1800.62 c veclendiving : 0.00 0 0
1800.04/1800.62 c intdiving : 0.00 0 0
1800.04/1800.62 c actconsdiving : 0.00 0 0
1800.04/1800.62 c objpscostdiving : 0.00 0 0
1800.04/1800.62 c rootsoldiving : 0.00 0 0
1800.04/1800.62 c linesearchdiving : 0.00 0 0
1800.04/1800.62 c guideddiving : 0.00 0 0
1800.04/1800.62 c octane : 0.00 0 0
1800.04/1800.62 c rens : 0.00 0 0
1800.04/1800.62 c rins : 0.00 0 0
1800.04/1800.62 c localbranching : 0.00 0 0
1800.04/1800.62 c mutation : 0.00 0 0
1800.04/1800.62 c crossover : 0.00 0 0
1800.04/1800.62 c dins : 0.00 0 0
1800.04/1800.62 c undercover : 0.00 0 0
1800.04/1800.62 c nlp : 3.40 0 0
1800.04/1800.62 c trysol : 4.50 0 0
1800.04/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.62 c (at root node) : - 0 0 0.00 -
1800.04/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.62 c B&B Tree :
1800.04/1800.62 c number of runs : 1
1800.04/1800.62 c nodes : 8495550
1800.04/1800.62 c nodes (total) : 8495550
1800.04/1800.62 c nodes left : 159
1800.04/1800.62 c max depth : 250
1800.04/1800.62 c max depth (total): 250
1800.04/1800.62 c backtracks : 1843063 (21.7%)
1800.04/1800.62 c delayed cutoffs : 71575
1800.04/1800.62 c repropagations : 98351 (543031 domain reductions, 51292 cutoffs)
1800.04/1800.62 c avg switch length: 2.00
1800.04/1800.62 c switching time : 120.29
1800.04/1800.62 c Solution :
1800.04/1800.62 c Solutions found : 13 (13 improvements)
1800.04/1800.62 c First Solution : +4.61000000000000e+02 (in run 1, after 342 nodes, 0.31 seconds, depth 232, found by <relaxation>)
1800.04/1800.62 c Primal Bound : +4.47000000000000e+02 (in run 1, after 4068 nodes, 1.01 seconds, depth 250, found by <relaxation>)
1800.04/1800.62 c Dual Bound : +1.00000000000000e+00
1800.04/1800.62 c Gap : 44600.00 %
1800.04/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.62 c Root Iterations : 0
1800.04/1800.63 c Time complete: 1800.06.