0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667516-1276428242.opb>
0.00/0.04 c original problem has 444 variables (444 bin, 0 int, 0 impl, 0 cont) and 1408 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.06 c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8742 impls, 0 clqs
0.09/0.10 c (round 2) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1370 upgd conss, 8742 impls, 0 clqs
0.09/0.11 c (round 3) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1396 upgd conss, 8742 impls, 0 clqs
0.09/0.15 c (0.1s) probing: 101/432 (23.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (4 rounds):
0.09/0.15 c 12 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 8742 implications, 0 cliques
0.09/0.15 c presolved problem has 432 variables (432 bin, 0 int, 0 impl, 0 cont) and 1396 constraints
0.09/0.15 c 1396 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.08
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c conflict/interconss = 0
0.09/0.15 c
0.09/0.15 c # should binary conflicts be preferred?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c conflict/preferbinary = TRUE
0.09/0.15 c
0.09/0.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c constraints/agelimit = 1
0.09/0.15 c
0.09/0.15 c # should enforcement of pseudo solution be disabled?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/disableenfops = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.97
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = 0
0.09/0.15 c
0.09/0.15 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.15 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.15 c lp/pricing = a
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # priority of node selection rule <dfs> in standard mode
0.09/0.15 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.15 c nodeselection/dfs/stdpriority = 1000000
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.20 c 0.1s| 1 | 0 | 555 | - |3404k| 0 | 293 | 432 |1396 | 432 |1396 | 0 | 0 | 0 | 1.263133e+02 | -- | Inf
0.49/0.57 c 0.5s| 1 | 0 | 1912 | - |3730k| 0 | 285 | 432 |1396 | 432 |1403 | 7 | 0 | 0 | 1.285115e+02 | -- | Inf
0.59/0.69 c 0.6s| 1 | 0 | 2023 | - |4072k| 0 | 278 | 432 |1396 | 432 |1409 | 13 | 0 | 0 | 1.299442e+02 | -- | Inf
0.79/0.83 c 0.7s| 1 | 0 | 2144 | - |4398k| 0 | 277 | 432 |1396 | 432 |1415 | 19 | 0 | 0 | 1.306746e+02 | -- | Inf
0.89/0.98 c 0.9s| 1 | 0 | 2224 | - |4570k| 0 | 277 | 432 |1396 | 432 |1419 | 23 | 0 | 0 | 1.307458e+02 | -- | Inf
1.10/1.12 c 1.0s| 1 | 0 | 2331 | - |4624k| 0 | 288 | 432 |1396 | 432 |1424 | 28 | 0 | 0 | 1.311678e+02 | -- | Inf
1.18/1.25 c 1.1s| 1 | 0 | 2415 | - |4681k| 0 | 287 | 432 |1396 | 432 |1431 | 35 | 0 | 0 | 1.327995e+02 | -- | Inf
1.39/1.41 c 1.3s| 1 | 0 | 2494 | - |4695k| 0 | 294 | 432 |1396 | 432 |1436 | 40 | 0 | 0 | 1.328015e+02 | -- | Inf
1.49/1.59 c 1.5s| 1 | 0 | 2661 | - |4751k| 0 | 292 | 432 |1396 | 432 |1442 | 46 | 0 | 0 | 1.329050e+02 | -- | Inf
1.69/1.74 c 1.6s| 1 | 0 | 2787 | - |4807k| 0 | 277 | 432 |1396 | 432 |1447 | 51 | 0 | 0 | 1.333050e+02 | -- | Inf
1.89/1.90 c 1.8s| 1 | 0 | 2913 | - |4818k| 0 | 282 | 432 |1396 | 432 |1450 | 54 | 0 | 0 | 1.340550e+02 | -- | Inf
2.10/2.10 c 2.0s| 1 | 0 | 3060 | - |4836k| 0 | 288 | 432 |1396 | 432 |1454 | 58 | 0 | 0 | 1.343050e+02 | -- | Inf
2.29/2.36 c 2.2s| 1 | 0 | 3099 | - |4857k| 0 | 292 | 432 |1396 | 432 |1458 | 62 | 0 | 0 | 1.348050e+02 | -- | Inf
2.59/2.65 c 2.5s| 1 | 0 | 3317 | - |4877k| 0 | 293 | 432 |1396 | 432 |1461 | 65 | 0 | 0 | 1.349354e+02 | -- | Inf
2.69/2.76 c 2.6s| 1 | 0 | 3348 | - |5107k| 0 | 292 | 432 |1396 | 432 |1463 | 67 | 0 | 0 | 1.358050e+02 | -- | Inf
3.08/3.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.08/3.17 c 3.0s| 1 | 0 | 3371 | - |5108k| 0 | 292 | 432 |1396 | 432 |1461 | 68 | 0 | 0 | 1.358050e+02 | -- | Inf
3.39/3.42 c 3.3s| 1 | 0 | 3424 | - |5154k| 0 | 293 | 432 |1396 | 432 |1463 | 70 | 0 | 0 | 1.358050e+02 | -- | Inf
3.79/3.85 c 3.7s| 1 | 0 | 3448 | - |5156k| 0 | 293 | 432 |1396 | 432 |1465 | 72 | 0 | 0 | 1.358050e+02 | -- | Inf
4.08/4.18 c 4.0s| 1 | 0 | 3489 | - |5158k| 0 | 291 | 432 |1396 | 432 |1466 | 73 | 0 | 0 | 1.358050e+02 | -- | Inf
4.40/4.42 c 4.2s| 1 | 0 | 3605 | - |5200k| 0 | 293 | 432 |1396 | 432 |1469 | 76 | 0 | 0 | 1.358050e+02 | -- | Inf
9.39/9.41 c 9.1s| 1 | 2 | 3605 | - |5206k| 0 | 293 | 432 |1396 | 432 |1469 | 76 | 0 | 35 | 1.358050e+02 | -- | Inf
9.39/9.44 o 193
9.39/9.44 c * 9.1s| 189 | 183 | 3605 | 0.0 |5295k| 186 | - | 432 |1398 | 0 | 0 | 76 | 2 | 35 | 1.359720e+02 | 1.930000e+02 | 41.94%
11.29/11.35 c 10.9s| 10000 | 151 | 3605 | 0.0 |5291k| 187 | - | 432 |1398 | 0 | 0 | 76 |1893 | 35 | 1.359720e+02 | 1.930000e+02 | 41.94%
11.29/11.37 o 192
11.29/11.37 c *10.9s| 10101 | 154 | 3605 | 0.0 |5300k| 187 | - | 432 |1398 | 0 | 0 | 76 |1893 | 35 | 1.359720e+02 | 1.920000e+02 | 41.21%
11.79/11.80 o 191
11.79/11.80 c *11.3s| 12611 | 149 | 3605 | 0.0 |5306k| 187 | - | 432 |1398 | 0 | 0 | 76 |2195 | 35 | 1.359720e+02 | 1.910000e+02 | 40.47%
11.89/11.96 o 187
11.89/11.96 c *11.4s| 13660 | 146 | 3605 | 0.0 |5316k| 187 | - | 432 |1398 | 0 | 0 | 76 |2268 | 35 | 1.359720e+02 | 1.870000e+02 | 37.53%
11.89/11.98 o 184
11.89/11.98 c *11.4s| 13797 | 147 | 3605 | 0.0 |5321k| 189 | - | 432 |1398 | 0 | 0 | 76 |2276 | 35 | 1.359720e+02 | 1.840000e+02 | 35.32%
12.39/12.46 o 182
12.39/12.46 c *11.9s| 16109 | 146 | 3605 | 0.0 |5333k| 189 | - | 432 |1398 | 0 | 0 | 76 |2690 | 35 | 1.359720e+02 | 1.820000e+02 | 33.85%
12.58/12.66 o 173
12.58/12.66 c *12.1s| 17273 | 143 | 3605 | 0.0 |5339k| 195 | - | 432 |1398 | 0 | 0 | 76 |2814 | 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
13.09/13.17 c 12.5s| 20000 | 136 | 3605 | 0.0 |5339k| 195 | - | 432 |1400 | 0 | 0 | 76 |3078 | 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
15.98/16.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.98/16.08 c 15.2s| 30000 | 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |6660 | 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
19.79/19.86 c 18.8s| 40000 | 167 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 11k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
22.48/22.50 c 21.3s| 50000 | 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 15k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
25.58/25.60 c 24.2s| 60000 | 171 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 | 19k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
28.58/28.62 c 27.0s| 70000 | 168 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 24k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
31.58/31.65 c 29.9s| 80000 | 171 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 28k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
34.37/34.42 c 32.4s| 90000 | 170 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 32k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
37.57/37.61 c 35.4s|100000 | 169 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 36k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
40.36/40.47 c 38.1s|110000 | 169 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 40k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
43.66/43.76 c 41.2s|120000 | 170 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 45k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
47.07/47.14 c 44.4s|130000 | 167 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 | 50k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
50.37/50.43 c 47.4s|140000 | 167 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 55k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
52.67/52.72 c 49.5s|150000 | 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 57k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
55.66/55.71 c 52.3s|160000 | 169 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 62k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
59.16/59.23 c 55.6s|170000 | 169 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 67k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
62.36/62.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.36/62.45 c 58.7s|180000 | 167 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 72k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
65.16/65.26 c 61.3s|190000 | 167 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 76k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
67.96/68.00 c 63.8s|200000 | 166 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 79k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
70.76/70.87 c 66.5s|210000 | 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 83k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
73.46/73.54 c 69.0s|220000 | 168 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 87k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
76.56/76.60 c 71.9s|230000 | 169 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 91k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
79.75/79.86 c 74.9s|240000 | 169 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 95k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
83.06/83.15 c 78.0s|250000 | 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 100k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
86.45/86.50 c 81.2s|260000 | 170 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 105k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
89.85/89.95 c 84.4s|270000 | 166 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 110k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
93.36/93.41 c 87.6s|280000 | 167 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 115k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
96.85/96.97 c 91.0s|290000 | 166 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 120k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
100.35/100.45 c 94.3s|300000 | 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 126k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
103.95/104.03 c 97.6s|310000 | 163 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 131k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
107.35/107.42 c 101s|320000 | 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 136k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
110.65/110.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.65/110.78 c 104s|330000 | 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 141k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
114.05/114.20 c 107s|340000 | 170 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 146k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
117.44/117.51 c 110s|350000 | 168 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 151k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
120.95/121.08 c 114s|360000 | 162 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 156k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
124.34/124.48 c 117s|370000 | 168 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 | 161k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
128.24/128.33 c 120s|380000 | 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 167k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
132.04/132.12 c 124s|390000 | 170 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 173k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
135.74/135.88 c 128s|400000 | 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 178k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
139.34/139.46 c 131s|410000 | 170 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 184k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
142.74/142.89 c 134s|420000 | 170 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 189k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
146.33/146.49 c 137s|430000 | 167 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 194k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
150.33/150.40 c 141s|440000 | 167 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 200k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
154.53/154.60 c 145s|450000 | 161 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 | 206k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
158.33/158.47 c 149s|460000 | 168 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 212k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
162.32/162.47 c 152s|470000 | 169 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 218k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
165.93/166.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.93/166.04 c 156s|480000 | 166 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 224k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
169.03/169.13 c 159s|490000 | 167 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 228k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
171.62/171.71 c 161s|500000 | 169 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 232k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
174.33/174.41 c 164s|510000 | 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 235k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
177.13/177.29 c 166s|520000 | 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 239k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
180.23/180.35 c 169s|530000 | 163 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 243k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
183.72/183.88 c 172s|540000 | 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 249k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
186.23/186.39 c 175s|550000 | 162 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 | 252k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
189.32/189.40 c 178s|560000 | 169 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 256k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
192.43/192.55 c 181s|570000 | 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 260k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
195.42/195.54 c 183s|580000 | 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 265k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
198.32/198.42 c 186s|590000 | 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 269k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
201.02/201.12 c 189s|600000 | 167 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 272k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
204.32/204.47 c 192s|610000 | 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 277k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
207.22/207.35 c 194s|620000 | 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 281k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
210.52/210.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.52/210.60 c 197s|630000 | 168 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 285k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
213.71/213.84 c 201s|640000 | 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 290k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
217.12/217.20 c 204s|650000 | 169 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 295k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
220.21/220.38 c 207s|660000 | 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 299k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
223.61/223.77 c 210s|670000 | 167 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 304k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
227.01/227.17 c 213s|680000 | 169 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 309k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
230.31/230.42 c 216s|690000 | 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 314k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
233.40/233.55 c 219s|700000 | 164 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 318k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
236.41/236.51 c 222s|710000 | 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 322k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
238.91/239.04 c 224s|720000 | 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 325k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
241.81/241.90 c 227s|730000 | 164 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 | 329k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
244.91/245.07 c 230s|740000 | 164 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 334k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
248.70/248.82 c 233s|750000 | 160 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 | 339k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
251.90/252.06 c 236s|760000 | 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 344k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
255.19/255.34 c 239s|770000 | 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 349k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
258.49/258.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.49/258.64 c 243s|780000 | 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 353k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
262.09/262.21 c 246s|790000 | 164 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 359k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
265.49/265.65 c 249s|800000 | 164 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 364k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
269.19/269.31 c 253s|810000 | 160 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 370k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
272.00/272.16 c 255s|820000 | 169 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 374k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
274.99/275.18 c 258s|830000 | 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 378k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
278.29/278.40 c 261s|840000 | 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 382k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
281.19/281.34 c 264s|850000 | 169 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 386k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
283.89/284.03 c 266s|860000 | 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 390k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
286.89/287.04 c 269s|870000 | 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 394k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
289.88/290.04 c 272s|880000 | 169 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 398k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
292.49/292.65 c 274s|890000 | 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 401k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
295.39/295.52 c 277s|900000 | 168 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 | 405k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
298.68/298.83 c 280s|910000 | 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 410k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
301.68/301.80 c 283s|920000 | 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 414k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
304.59/304.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.59/304.71 c 286s|930000 | 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 418k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
307.38/307.52 c 288s|940000 | 165 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 422k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
310.18/310.36 c 291s|950000 | 165 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 | 425k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
313.08/313.28 c 294s|960000 | 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 429k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
316.18/316.37 c 297s|970000 | 161 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 | 434k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
318.98/319.11 c 299s|980000 | 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 437k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
321.88/322.04 c 302s|990000 | 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 441k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
324.67/324.83 c 304s| 1000k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 445k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
327.87/328.04 c 307s| 1010k| 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 449k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
331.17/331.32 c 311s| 1020k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 454k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
334.07/334.28 c 313s| 1030k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 458k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
337.58/337.78 c 317s| 1040k| 160 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 463k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
340.67/340.88 c 320s| 1050k| 163 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 467k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
343.96/344.17 c 323s| 1060k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 472k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
347.37/347.57 c 326s| 1070k| 159 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 477k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
350.86/351.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.86/351.01 c 329s| 1080k| 171 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 482k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
353.56/353.77 c 332s| 1090k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 485k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
356.57/356.72 c 334s| 1100k| 165 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 489k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
359.36/359.55 c 337s| 1110k| 170 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 493k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
362.17/362.31 c 339s| 1120k| 169 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 497k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
364.86/365.01 c 342s| 1130k| 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 500k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
367.36/367.51 c 344s| 1140k| 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 504k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
370.46/370.64 c 347s| 1150k| 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 508k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
373.65/373.88 c 350s| 1160k| 165 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 513k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
376.65/376.87 c 353s| 1170k| 160 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 517k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
379.27/379.44 c 355s| 1180k| 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 520k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
382.96/383.18 c 359s| 1190k| 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 525k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
386.86/387.04 c 363s| 1200k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 531k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
390.15/390.30 c 366s| 1210k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 535k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
393.66/393.85 c 369s| 1220k| 161 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 | 540k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
397.55/397.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.55/397.73 c 373s| 1230k| 169 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 546k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
401.25/401.44 c 376s| 1240k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 551k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
405.15/405.34 c 380s| 1250k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 557k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
408.96/409.11 c 383s| 1260k| 166 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 | 562k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
412.74/412.97 c 387s| 1270k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 568k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
417.24/417.44 c 391s| 1280k| 170 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 574k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
421.15/421.38 c 395s| 1290k| 171 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 580k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
425.04/425.24 c 398s| 1300k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 586k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
428.44/428.69 c 402s| 1310k| 169 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 591k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
431.84/432.06 c 405s| 1320k| 169 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 595k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
435.34/435.60 c 408s| 1330k| 167 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 600k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
438.84/439.04 c 411s| 1340k| 167 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 605k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
442.34/442.50 c 415s| 1350k| 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 610k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
445.63/445.84 c 418s| 1360k| 168 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 615k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
449.03/449.25 c 421s| 1370k| 168 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 620k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
452.54/452.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.54/452.76 c 424s| 1380k| 164 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 625k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
455.93/456.13 c 428s| 1390k| 161 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 | 630k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
460.03/460.22 c 431s| 1400k| 162 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 | 636k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
464.04/464.23 c 435s| 1410k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 642k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
467.53/467.75 c 438s| 1420k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 647k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
471.12/471.38 c 442s| 1430k| 167 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 652k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
475.32/475.55 c 446s| 1440k| 168 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 658k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
478.92/479.12 c 449s| 1450k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 663k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
482.73/482.91 c 453s| 1460k| 169 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 668k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
486.32/486.59 c 456s| 1470k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 674k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
490.12/490.38 c 460s| 1480k| 164 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 679k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
494.32/494.54 c 464s| 1490k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 685k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
497.72/497.94 c 467s| 1500k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 690k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
501.32/501.58 c 470s| 1510k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 696k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
504.92/505.16 c 474s| 1520k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 701k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
508.51/508.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.51/508.77 c 477s| 1530k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 706k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
512.21/512.48 c 480s| 1540k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 711k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
516.01/516.20 c 484s| 1550k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 717k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
519.91/520.16 c 488s| 1560k| 160 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 722k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
523.32/523.60 c 491s| 1570k| 168 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 727k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
526.51/526.75 c 494s| 1580k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 731k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
530.21/530.47 c 497s| 1590k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 737k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
533.40/533.60 c 500s| 1600k| 163 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 741k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
536.20/536.45 c 503s| 1610k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 745k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
538.91/539.18 c 506s| 1620k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 748k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
541.90/542.14 c 508s| 1630k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 752k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
544.70/544.90 c 511s| 1640k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 756k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
547.20/547.47 c 513s| 1650k| 162 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 | 759k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
550.81/551.05 c 517s| 1660k| 167 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 764k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
554.00/554.30 c 520s| 1670k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 769k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
557.20/557.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.20/557.49 c 523s| 1680k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 773k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
560.20/560.46 c 525s| 1690k| 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 777k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
563.60/563.82 c 528s| 1700k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 782k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
566.70/566.92 c 531s| 1710k| 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 786k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
570.19/570.42 c 535s| 1720k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 792k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
573.39/573.63 c 538s| 1730k| 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 796k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
576.59/576.87 c 541s| 1740k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 801k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
579.50/579.71 c 543s| 1750k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 804k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
582.59/582.81 c 546s| 1760k| 163 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 809k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
585.89/586.15 c 549s| 1770k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 813k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
589.59/589.80 c 553s| 1780k| 164 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 819k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
593.29/593.55 c 556s| 1790k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 824k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
596.99/597.27 c 560s| 1800k| 164 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 830k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
600.68/600.94 c 563s| 1810k| 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 835k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
604.28/604.57 c 567s| 1820k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 841k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
608.09/608.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.09/608.33 c 570s| 1830k| 164 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 846k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
611.68/611.90 c 574s| 1840k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 851k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
615.08/615.39 c 577s| 1850k| 168 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 | 857k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
618.58/618.86 c 580s| 1860k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 862k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
622.29/622.59 c 584s| 1870k| 169 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 867k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
626.17/626.40 c 587s| 1880k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 873k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
629.68/629.96 c 591s| 1890k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 878k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
633.28/633.53 c 594s| 1900k| 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 883k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
636.87/637.11 c 597s| 1910k| 165 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 888k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
640.47/640.74 c 601s| 1920k| 165 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 893k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
644.07/644.37 c 604s| 1930k| 164 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 | 899k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
647.97/648.25 c 608s| 1940k| 171 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 904k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
651.26/651.58 c 611s| 1950k| 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 909k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
654.67/654.92 c 614s| 1960k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 914k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
658.17/658.49 c 617s| 1970k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 919k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
661.87/662.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.87/662.10 c 621s| 1980k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 924k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
665.06/665.37 c 624s| 1990k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 929k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
668.57/668.84 c 627s| 2000k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 934k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
672.26/672.52 c 630s| 2010k| 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 939k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
676.06/676.32 c 634s| 2020k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 945k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
679.46/679.80 c 637s| 2030k| 169 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 | 950k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
683.26/683.57 c 641s| 2040k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 | 955k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
686.55/686.84 c 644s| 2050k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 960k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
689.86/690.17 c 647s| 2060k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 | 965k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
693.25/693.50 c 650s| 2070k| 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 969k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
696.95/697.21 c 654s| 2080k| 169 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 975k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
700.65/700.92 c 657s| 2090k| 166 | 3605 | 0.0 |5358k| 195 | - | 432 |1399 | 0 | 0 | 76 | 980k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
704.44/704.73 c 661s| 2100k| 159 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 | 986k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
708.15/708.44 c 664s| 2110k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 | 991k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
711.25/711.60 c 667s| 2120k| 165 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 | 995k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
714.75/715.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.75/715.05 c 670s| 2130k| 171 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1000k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
719.05/719.37 c 674s| 2140k| 162 | 3605 | 0.0 |5358k| 195 | - | 432 |1399 | 0 | 0 | 76 |1007k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
722.55/722.89 c 678s| 2150k| 168 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1012k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
726.14/726.43 c 681s| 2160k| 161 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1017k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
730.05/730.33 c 685s| 2170k| 165 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1023k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
733.84/734.17 c 688s| 2180k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1028k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
737.84/738.15 c 692s| 2190k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1034k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
741.43/741.78 c 696s| 2200k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1040k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
745.23/745.50 c 699s| 2210k| 165 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1045k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
748.63/748.90 c 702s| 2220k| 162 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1050k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
751.93/752.29 c 705s| 2230k| 172 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1055k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
755.63/755.96 c 709s| 2240k| 170 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1060k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
759.13/759.44 c 712s| 2250k| 164 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1065k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
762.83/763.11 c 715s| 2260k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1071k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
766.33/766.64 c 719s| 2270k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1076k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
769.63/770.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.63/770.00 c 722s| 2280k| 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1081k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
773.13/773.49 c 725s| 2290k| 164 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1086k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
776.82/777.13 c 729s| 2300k| 163 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1091k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
780.42/780.79 c 732s| 2310k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1096k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
783.93/784.24 c 735s| 2320k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1101k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
787.52/787.84 c 739s| 2330k| 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1107k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
791.22/791.51 c 742s| 2340k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1112k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
794.72/795.07 c 745s| 2350k| 164 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1117k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
798.52/798.90 c 749s| 2360k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1123k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
802.22/802.50 c 752s| 2370k| 161 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1128k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
805.51/805.89 c 756s| 2380k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1133k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
809.11/809.41 c 759s| 2390k| 160 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1138k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
812.62/812.97 c 762s| 2400k| 161 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1143k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
816.01/816.35 c 765s| 2410k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1148k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
819.41/819.79 c 769s| 2420k| 164 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1153k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
823.01/823.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.01/823.39 c 772s| 2430k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1158k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
826.51/826.83 c 775s| 2440k| 161 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |1163k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
830.11/830.44 c 779s| 2450k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1169k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
833.52/833.88 c 782s| 2460k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1173k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
837.10/837.44 c 785s| 2470k| 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1179k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
840.50/840.84 c 788s| 2480k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1184k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
843.90/844.21 c 792s| 2490k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1188k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
847.40/847.71 c 795s| 2500k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1193k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
850.80/851.19 c 798s| 2510k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1199k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
854.30/854.64 c 801s| 2520k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1204k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
858.20/858.56 c 805s| 2530k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1209k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
862.50/862.87 c 809s| 2540k| 160 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1216k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
866.30/866.65 c 813s| 2550k| 160 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1221k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
869.80/870.11 c 816s| 2560k| 160 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1226k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
873.10/873.46 c 819s| 2570k| 168 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |1231k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
876.49/876.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.49/876.86 c 822s| 2580k| 162 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1236k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
880.09/880.49 c 826s| 2590k| 167 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1241k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
883.69/884.06 c 829s| 2600k| 164 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1246k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
887.19/887.54 c 832s| 2610k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1251k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
890.39/890.73 c 835s| 2620k| 162 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |1256k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
893.58/893.93 c 838s| 2630k| 163 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1260k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
897.29/897.65 c 842s| 2640k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1266k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
900.89/901.20 c 845s| 2650k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1271k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
904.48/904.85 c 849s| 2660k| 166 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1276k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
908.19/908.51 c 852s| 2670k| 165 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |1281k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
911.48/911.88 c 855s| 2680k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1286k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
914.89/915.22 c 858s| 2690k| 170 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 |1291k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
918.09/918.47 c 861s| 2700k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1295k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
921.38/921.75 c 864s| 2710k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1300k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
924.78/925.11 c 867s| 2720k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1305k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
928.37/928.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.37/928.72 c 871s| 2730k| 165 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1310k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
932.28/932.64 c 875s| 2740k| 167 | 3605 | 0.0 |5353k| 195 | - | 432 |1400 | 0 | 0 | 76 |1315k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
935.97/936.36 c 878s| 2750k| 169 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1320k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
939.77/940.12 c 882s| 2760k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1326k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
943.27/943.69 c 885s| 2770k| 169 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1331k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
946.77/947.19 c 888s| 2780k| 167 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1336k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
950.07/950.43 c 891s| 2790k| 161 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1341k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
953.66/954.05 c 895s| 2800k| 165 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1346k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
957.46/957.81 c 898s| 2810k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1351k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
960.97/961.31 c 901s| 2820k| 162 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1356k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
964.56/964.94 c 905s| 2830k| 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1362k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
967.76/968.13 c 908s| 2840k| 164 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1366k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
971.06/971.40 c 911s| 2850k| 161 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1371k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
974.46/974.88 c 914s| 2860k| 161 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |1376k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
977.86/978.29 c 917s| 2870k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1381k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
981.26/981.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.26/981.65 c 920s| 2880k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1386k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
984.76/985.14 c 924s| 2890k| 167 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1391k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
987.85/988.27 c 927s| 2900k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1395k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
991.05/991.49 c 930s| 2910k| 166 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1399k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
994.65/995.04 c 933s| 2920k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1405k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
998.65/999.02 c 937s| 2930k| 171 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1410k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1002.25/1002.62 c 940s| 2940k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1400 | 0 | 0 | 76 |1416k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1005.35/1005.78 c 943s| 2950k| 161 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1420k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1008.94/1009.37 c 946s| 2960k| 168 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1425k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1012.44/1012.83 c 950s| 2970k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1430k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1015.85/1016.26 c 953s| 2980k| 168 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1435k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1018.75/1019.16 c 956s| 2990k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1439k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1022.24/1022.64 c 959s| 3000k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1444k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1025.95/1026.39 c 962s| 3010k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1449k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1029.44/1029.83 c 966s| 3020k| 159 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1454k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1032.93/1033.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.93/1033.37 c 969s| 3030k| 160 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |1459k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1036.43/1036.89 c 972s| 3040k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1464k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1039.63/1040.08 c 975s| 3050k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1469k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1043.03/1043.41 c 978s| 3060k| 170 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1474k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1046.63/1047.00 c 982s| 3070k| 165 | 3605 | 0.0 |5359k| 195 | - | 432 |1399 | 0 | 0 | 76 |1479k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1050.04/1050.45 c 985s| 3080k| 166 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1484k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1053.63/1054.01 c 988s| 3090k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1489k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1057.03/1057.40 c 991s| 3100k| 160 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1494k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1060.33/1060.74 c 995s| 3110k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1498k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1063.73/1064.19 c 998s| 3120k| 163 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1503k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1067.22/1067.67 c 1001s| 3130k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1508k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1071.03/1071.46 c 1005s| 3140k| 161 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1514k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1074.93/1075.33 c 1008s| 3150k| 169 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1519k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1078.52/1078.95 c 1012s| 3160k| 160 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |1524k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1081.82/1082.20 c 1015s| 3170k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1529k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1084.92/1085.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.92/1085.34 c 1018s| 3180k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1533k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1088.32/1088.75 c 1021s| 3190k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1538k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1091.93/1092.33 c 1024s| 3200k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1543k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1095.52/1095.96 c 1028s| 3210k| 160 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1548k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1099.01/1099.42 c 1031s| 3220k| 170 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1553k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1102.31/1102.73 c 1034s| 3230k| 162 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1558k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1105.62/1106.06 c 1037s| 3240k| 166 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1563k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1109.02/1109.50 c 1040s| 3250k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1567k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1112.41/1112.83 c 1043s| 3260k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1572k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1115.71/1116.19 c 1047s| 3270k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1577k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1119.21/1119.62 c 1050s| 3280k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1582k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1122.50/1122.90 c 1053s| 3290k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1586k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1126.02/1126.41 c 1056s| 3300k| 167 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1592k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1129.21/1129.68 c 1059s| 3310k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1596k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1132.40/1132.83 c 1062s| 3320k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1601k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1135.82/1136.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.82/1136.23 c 1065s| 3330k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1605k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1139.50/1139.93 c 1069s| 3340k| 161 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1611k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1143.00/1143.44 c 1072s| 3350k| 161 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1616k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1146.50/1146.96 c 1075s| 3360k| 170 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1621k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1150.10/1150.58 c 1079s| 3370k| 160 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1626k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1153.40/1153.89 c 1082s| 3380k| 162 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1631k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1156.81/1157.25 c 1085s| 3390k| 164 | 3605 | 0.0 |5358k| 195 | - | 432 |1399 | 0 | 0 | 76 |1635k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1160.19/1160.61 c 1088s| 3400k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1640k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1163.60/1164.04 c 1091s| 3410k| 160 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |1645k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1167.40/1167.82 c 1095s| 3420k| 167 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1650k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1170.80/1171.21 c 1098s| 3430k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1655k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1174.09/1174.55 c 1101s| 3440k| 162 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1660k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1177.39/1177.88 c 1104s| 3450k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1665k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1181.09/1181.55 c 1108s| 3460k| 164 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1670k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1184.59/1185.04 c 1111s| 3470k| 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1675k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1188.09/1188.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.09/1188.57 c 1114s| 3480k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1680k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1191.68/1192.12 c 1118s| 3490k| 161 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1685k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1195.29/1195.72 c 1121s| 3500k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1691k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1198.68/1199.14 c 1124s| 3510k| 163 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1696k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1202.28/1202.71 c 1128s| 3520k| 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1701k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1205.69/1206.12 c 1131s| 3530k| 159 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1706k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1209.48/1209.97 c 1135s| 3540k| 168 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |1711k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1213.47/1213.99 c 1138s| 3550k| 160 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1717k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1217.07/1217.55 c 1142s| 3560k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1722k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1220.88/1221.40 c 1145s| 3570k| 164 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |1728k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1224.48/1224.94 c 1149s| 3580k| 159 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |1733k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1227.87/1228.37 c 1152s| 3590k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1738k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1231.48/1232.00 c 1155s| 3600k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1743k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1235.37/1235.81 c 1159s| 3610k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1749k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1238.87/1239.36 c 1162s| 3620k| 168 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1754k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1242.47/1242.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.47/1242.96 c 1166s| 3630k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1759k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1246.17/1246.68 c 1169s| 3640k| 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1765k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1249.86/1250.37 c 1173s| 3650k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1770k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1253.27/1253.70 c 1176s| 3660k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1775k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1256.47/1256.96 c 1179s| 3670k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1780k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1259.67/1260.15 c 1182s| 3680k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1784k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1262.86/1263.36 c 1185s| 3690k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1789k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1266.06/1266.55 c 1188s| 3700k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1793k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1269.56/1270.01 c 1191s| 3710k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1798k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1273.06/1273.53 c 1194s| 3720k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1803k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1276.96/1277.41 c 1198s| 3730k| 168 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1809k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1280.56/1281.01 c 1201s| 3740k| 159 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1814k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1284.15/1284.65 c 1205s| 3750k| 164 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 |1820k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1287.76/1288.23 c 1208s| 3760k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1825k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1291.35/1291.88 c 1211s| 3770k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1830k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1295.26/1295.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.26/1295.72 c 1215s| 3780k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1836k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1299.05/1299.52 c 1219s| 3790k| 160 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1841k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1302.15/1302.68 c 1222s| 3800k| 161 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1846k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1305.75/1306.22 c 1225s| 3810k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1851k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1309.35/1309.80 c 1228s| 3820k| 162 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 |1856k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1312.85/1313.34 c 1232s| 3830k| 167 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1861k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1316.45/1316.92 c 1235s| 3840k| 162 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1866k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1320.24/1320.74 c 1239s| 3850k| 161 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |1872k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1323.54/1324.09 c 1242s| 3860k| 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1876k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1326.84/1327.37 c 1245s| 3870k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1881k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1330.45/1330.92 c 1248s| 3880k| 169 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1886k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1334.24/1334.73 c 1252s| 3890k| 161 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1892k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1338.34/1338.81 c 1256s| 3900k| 167 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1898k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1342.34/1342.83 c 1259s| 3910k| 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1904k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1346.44/1346.91 c 1263s| 3920k| 165 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1910k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1350.53/1351.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.53/1351.00 c 1267s| 3930k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1916k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1354.83/1355.30 c 1271s| 3940k| 161 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |1922k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1359.14/1359.69 c 1275s| 3950k| 158 | 3605 | 0.0 |5348k| 195 | - | 432 |1399 | 0 | 0 | 76 |1928k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1363.23/1363.78 c 1279s| 3960k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1934k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1367.33/1367.85 c 1283s| 3970k| 161 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1940k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1371.23/1371.75 c 1287s| 3980k| 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |1946k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1375.12/1375.68 c 1290s| 3990k| 164 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1951k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1379.22/1379.71 c 1294s| 4000k| 164 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1957k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1383.12/1383.65 c 1298s| 4010k| 162 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |1963k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1387.12/1387.67 c 1302s| 4020k| 160 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1969k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1391.32/1391.82 c 1305s| 4030k| 164 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |1975k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1395.32/1395.90 c 1309s| 4040k| 163 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1981k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1399.21/1399.77 c 1313s| 4050k| 162 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |1987k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1403.02/1403.56 c 1317s| 4060k| 163 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |1992k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1407.21/1407.72 c 1320s| 4070k| 160 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |1998k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1411.31/1411.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.31/1411.85 c 1324s| 4080k| 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2004k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1415.22/1415.79 c 1328s| 4090k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2010k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1419.30/1419.84 c 1332s| 4100k| 161 | 3605 | 0.0 |5358k| 195 | - | 432 |1399 | 0 | 0 | 76 |2016k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1423.31/1423.86 c 1336s| 4110k| 160 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |2022k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1427.41/1427.95 c 1339s| 4120k| 164 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2028k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1431.50/1432.09 c 1343s| 4130k| 160 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2034k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1435.51/1436.03 c 1347s| 4140k| 167 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2039k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1439.51/1440.01 c 1351s| 4150k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2045k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1443.31/1443.80 c 1354s| 4160k| 164 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2051k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1447.10/1447.69 c 1358s| 4170k| 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2056k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1451.20/1451.76 c 1362s| 4180k| 158 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2062k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1454.89/1455.42 c 1365s| 4190k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2068k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1458.79/1459.35 c 1369s| 4200k| 161 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2074k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1462.60/1463.13 c 1373s| 4210k| 164 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2079k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1466.59/1467.10 c 1376s| 4220k| 166 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2085k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1470.49/1471.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.49/1471.02 c 1380s| 4230k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2091k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1474.19/1474.80 c 1383s| 4240k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2096k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1478.39/1478.91 c 1387s| 4250k| 165 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2102k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1482.09/1482.64 c 1391s| 4260k| 157 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2108k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1485.79/1486.34 c 1394s| 4270k| 167 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2113k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1489.59/1490.15 c 1398s| 4280k| 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2119k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1493.59/1494.19 c 1402s| 4290k| 162 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |2125k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1497.48/1498.07 c 1405s| 4300k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2130k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1501.48/1502.03 c 1409s| 4310k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2136k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1505.38/1505.94 c 1413s| 4320k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2142k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1509.38/1509.91 c 1416s| 4330k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2148k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1513.28/1513.89 c 1420s| 4340k| 169 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2154k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1517.39/1518.00 c 1424s| 4350k| 162 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |2160k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1521.37/1521.96 c 1428s| 4360k| 159 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2166k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1525.37/1525.98 c 1432s| 4370k| 165 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2172k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1529.58/1530.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.58/1530.16 c 1436s| 4380k| 160 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2178k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1533.57/1534.19 c 1439s| 4390k| 161 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |2184k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1537.57/1538.13 c 1443s| 4400k| 164 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2189k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1541.27/1541.87 c 1446s| 4410k| 156 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |2195k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1545.16/1545.77 c 1450s| 4420k| 158 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2201k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1549.47/1550.04 c 1454s| 4430k| 158 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2207k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1553.27/1553.82 c 1458s| 4440k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2212k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1556.97/1557.50 c 1461s| 4450k| 161 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2218k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1560.66/1561.22 c 1465s| 4460k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2223k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1564.06/1564.66 c 1468s| 4470k| 164 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2228k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1567.76/1568.30 c 1471s| 4480k| 164 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2233k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1571.56/1572.19 c 1475s| 4490k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2239k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1575.16/1575.80 c 1478s| 4500k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2244k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1579.06/1579.65 c 1482s| 4510k| 161 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2250k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1582.76/1583.36 c 1486s| 4520k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2255k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1586.66/1587.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.66/1587.28 c 1489s| 4530k| 162 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2261k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1590.65/1591.20 c 1493s| 4540k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2267k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1594.36/1594.96 c 1496s| 4550k| 164 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2272k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1598.45/1599.00 c 1500s| 4560k| 161 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2278k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1602.06/1602.66 c 1504s| 4570k| 166 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2283k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1605.95/1606.55 c 1507s| 4580k| 161 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2289k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1609.35/1609.99 c 1511s| 4590k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2294k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1612.84/1613.42 c 1514s| 4600k| 162 | 3605 | 0.0 |5358k| 195 | - | 432 |1399 | 0 | 0 | 76 |2299k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1616.74/1617.36 c 1517s| 4610k| 162 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2305k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1620.54/1621.19 c 1521s| 4620k| 164 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |2310k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1624.24/1624.85 c 1525s| 4630k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2316k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1627.64/1628.28 c 1528s| 4640k| 161 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2321k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1631.34/1631.98 c 1531s| 4650k| 159 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2326k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1634.84/1635.46 c 1534s| 4660k| 161 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2331k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1638.63/1639.23 c 1538s| 4670k| 163 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2337k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1642.14/1642.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.14/1642.79 c 1541s| 4680k| 162 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2342k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1645.74/1646.32 c 1545s| 4690k| 160 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2347k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1649.24/1649.83 c 1548s| 4700k| 160 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2352k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1652.93/1653.50 c 1551s| 4710k| 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2357k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1656.93/1657.57 c 1555s| 4720k| 159 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2363k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1660.53/1661.14 c 1559s| 4730k| 161 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2368k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1664.53/1665.19 c 1562s| 4740k| 162 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2374k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1668.03/1668.66 c 1566s| 4750k| 159 | 3605 | 0.0 |5349k| 195 | - | 432 |1399 | 0 | 0 | 76 |2379k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1672.02/1672.62 c 1569s| 4760k| 161 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |2385k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1675.52/1676.18 c 1573s| 4770k| 166 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2390k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1679.32/1679.94 c 1576s| 4780k| 159 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2396k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1683.43/1684.06 c 1580s| 4790k| 159 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2402k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1687.02/1687.63 c 1584s| 4800k| 168 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2407k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1690.52/1691.17 c 1587s| 4810k| 163 | 3605 | 0.0 |5357k| 195 | - | 432 |1399 | 0 | 0 | 76 |2412k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1694.31/1694.92 c 1590s| 4820k| 162 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2418k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1698.12/1698.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.12/1698.74 c 1594s| 4830k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2423k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1701.52/1702.15 c 1597s| 4840k| 166 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2428k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1705.11/1705.78 c 1601s| 4850k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2433k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1708.52/1709.14 c 1604s| 4860k| 164 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2438k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1712.02/1712.66 c 1607s| 4870k| 165 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2443k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1715.61/1716.23 c 1610s| 4880k| 163 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2449k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1719.21/1719.86 c 1614s| 4890k| 167 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2454k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1722.61/1723.23 c 1617s| 4900k| 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2459k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1726.31/1726.92 c 1620s| 4910k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2464k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1729.80/1730.49 c 1624s| 4920k| 163 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2469k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1733.70/1734.32 c 1627s| 4930k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2475k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1737.20/1737.87 c 1631s| 4940k| 162 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2480k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1740.60/1741.30 c 1634s| 4950k| 169 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2485k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1744.20/1744.86 c 1637s| 4960k| 164 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2490k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1747.60/1748.25 c 1640s| 4970k| 165 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2495k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1751.39/1752.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1751.39/1752.06 c 1644s| 4980k| 164 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |2501k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1754.70/1755.33 c 1647s| 4990k| 165 | 3605 | 0.0 |5351k| 195 | - | 432 |1399 | 0 | 0 | 76 |2505k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1757.89/1758.51 c 1650s| 5000k| 163 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2510k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1761.40/1762.08 c 1653s| 5010k| 167 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2515k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1765.00/1765.67 c 1657s| 5020k| 162 | 3605 | 0.0 |5355k| 195 | - | 432 |1399 | 0 | 0 | 76 |2520k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1768.39/1769.03 c 1660s| 5030k| 163 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2525k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1772.59/1773.23 c 1664s| 5040k| 165 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2531k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1776.59/1777.29 c 1668s| 5050k| 160 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2537k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1779.99/1780.62 c 1671s| 5060k| 163 | 3605 | 0.0 |5350k| 195 | - | 432 |1399 | 0 | 0 | 76 |2542k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1783.28/1783.99 c 1674s| 5070k| 159 | 3605 | 0.0 |5356k| 195 | - | 432 |1399 | 0 | 0 | 76 |2546k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1787.08/1787.77 c 1677s| 5080k| 169 | 3605 | 0.0 |5352k| 195 | - | 432 |1399 | 0 | 0 | 76 |2552k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1790.20/1790.89 c 1680s| 5090k| 162 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2556k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1793.49/1794.17 c 1683s| 5100k| 168 | 3605 | 0.0 |5353k| 195 | - | 432 |1399 | 0 | 0 | 76 |2561k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1797.19/1797.87 c 1687s| 5110k| 166 | 3605 | 0.0 |5354k| 195 | - | 432 |1399 | 0 | 0 | 76 |2566k| 35 | 1.359720e+02 | 1.730000e+02 | 27.23%
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71 c
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time (sec) : 1689.53
1800.10/1800.71 c Solving Nodes : 5118210
1800.10/1800.71 c Primal Bound : +1.73000000000000e+02 (7 solutions)
1800.10/1800.71 c Dual Bound : +1.35972032420672e+02
1800.10/1800.71 c Gap : 27.23 %
1800.10/1800.71 s SATISFIABLE
1800.10/1800.71 v -x444 x443 x442 -x441 x440 -x439 -x438 x437 -x436 -x435 x434 -x433 -x432 x431 x430 -x429 x428 -x427 -x426 x425 x424 -x423 x422
1800.10/1800.71 v -x421 -x420 x419 x418 -x417 x416 -x415 -x414 x413 x412 -x411 x410 -x409 -x408 x407 x406 -x405 x404 -x403 x402 -x401 -x400 x399
1800.10/1800.71 v x398 -x397 -x396 x395 x394 -x393 -x392 -x391 -x390 x389 x388 -x387 x386 -x385 -x384 x383 -x382 x381 x380 -x379 -x378 x377 -x376
1800.10/1800.71 v x375 -x374 x373 -x372 x371 x370 -x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354
1800.10/1800.71 v x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331
1800.10/1800.71 v -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308
1800.10/1800.71 v x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286
1800.10/1800.71 v x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 -x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263
1800.10/1800.71 v x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 -x253 x252 -x251 -x250 x249 -x248 x247 -x246 -x245 -x244 x243 -x242 -x241
1800.10/1800.71 v -x240 x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 x229 -x228 x227 -x226 x225 -x224 -x223 -x222 x221 -x220 x219
1800.10/1800.71 v -x218 x217 -x216 -x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 -x203 -x202 x201 -x200 x199 -x198 x197 -x196
1800.10/1800.71 v -x195 -x194 x193 -x192 x191 -x190 -x189 x188 -x187 -x186 x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 x177 -x176 x175 x174
1800.10/1800.71 v -x173 -x172 -x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152
1800.10/1800.71 v x151 -x150 x149 -x148 x147 -x146 x145 x144 -x143 -x142 x141 -x140 x139 -x138 -x137 -x136 x135 -x134 x133 -x132 x131 -x130
1800.10/1800.71 v -x129 -x128 -x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 x111 -x110 -x109 -x108
1800.10/1800.71 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
1800.10/1800.71 v -x82 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
1800.10/1800.71 v -x56 x55 -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
1800.10/1800.71 v x29 -x28 -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
1800.10/1800.71 v -x1
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time : 1689.53
1800.10/1800.71 c Original Problem :
1800.10/1800.71 c Problem name : HOME/instance-2667516-1276428242.opb
1800.10/1800.71 c Variables : 444 (444 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71 c Constraints : 1408 initial, 1408 maximal
1800.10/1800.71 c Presolved Problem :
1800.10/1800.71 c Problem name : t_HOME/instance-2667516-1276428242.opb
1800.10/1800.71 c Variables : 432 (432 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71 c Constraints : 1396 initial, 1401 maximal
1800.10/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c probing : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.71 c linear : 0.03 0 12 0 0 0 12 0 0
1800.10/1800.71 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.10/1800.71 c root node : - 0 - - 0 - - - -
1800.10/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.71 c logicor : 1396+ 19 9440836 0 7 2571379 8344637 0 0 0
1800.10/1800.71 c countsols : 0 0 0 0 7 0 0 0 0 0
1800.10/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.71 c integral : 4.85 0.00 0.00 4.85 0.00
1800.10/1800.71 c logicor : 911.03 0.00 911.03 0.00 0.00
1800.10/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.71 c vbounds : 7.74 2 0 0
1800.10/1800.71 c rootredcost : 7.69 7 0 0
1800.10/1800.71 c pseudoobj : 399.83 17251241 446676 61207910
1800.10/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.71 c propagation : 850.61 2570798 2570798 2570798 140.4 1018 161.0 -
1800.10/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c pseudo solution : 1.42 14666 0 0 0.0 0 0.0 -
1800.10/1800.71 c applied globally : - - - 117 40.6 - - -
1800.10/1800.71 c applied locally : - - - 2570681 140.4 - - -
1800.10/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.71 c cut pool : 0.00 18 - - 90 - (maximal pool size: 911)
1800.10/1800.71 c redcost : 0.00 19 0 0 0 0
1800.10/1800.71 c impliedbounds : 0.00 19 0 0 0 0
1800.10/1800.71 c intobj : 0.00 0 0 0 0 0
1800.10/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.71 c gomory : 1.59 19 0 0 6814 0
1800.10/1800.71 c strongcg : 1.41 19 0 0 7227 0
1800.10/1800.71 c cmir : 0.14 10 0 0 33 0
1800.10/1800.71 c flowcover : 0.21 10 0 0 15 0
1800.10/1800.71 c clique : 0.01 1 0 0 0 0
1800.10/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.71 c mcf : 0.00 1 0 0 0 0
1800.10/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.71 c Pricers : Time Calls Vars
1800.10/1800.71 c problem variables: 0.00 0 0
1800.10/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.71 c relpscost : 4.85 1 0 0 0 0 2
1800.10/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.71 c inference : 34.57 3372398 0 0 0 0 6744796
1800.10/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.71 c random : 0.00 0 0 0 0 0 0
1800.10/1800.71 c Primal Heuristics : Time Calls Found
1800.10/1800.71 c LP solutions : 0.00 - 0
1800.10/1800.71 c pseudo solutions : 0.00 - 7
1800.10/1800.71 c oneopt : 3.40 0 0
1800.10/1800.71 c crossover : 0.00 0 0
1800.10/1800.71 c trivial : 0.00 2 0
1800.10/1800.71 c simplerounding : 0.00 0 0
1800.10/1800.71 c zirounding : 0.00 1 0
1800.10/1800.71 c rounding : 0.03 20 0
1800.10/1800.71 c shifting : 0.01 20 0
1800.10/1800.71 c intshifting : 0.00 0 0
1800.10/1800.71 c twoopt : 0.00 0 0
1800.10/1800.71 c fixandinfer : 0.00 0 0
1800.10/1800.71 c feaspump : 0.26 1 0
1800.10/1800.71 c coefdiving : 0.00 0 0
1800.10/1800.71 c pscostdiving : 0.00 0 0
1800.10/1800.71 c fracdiving : 0.00 0 0
1800.10/1800.71 c veclendiving : 0.00 0 0
1800.10/1800.71 c intdiving : 0.00 0 0
1800.10/1800.71 c actconsdiving : 0.00 0 0
1800.10/1800.71 c objpscostdiving : 0.00 0 0
1800.10/1800.71 c rootsoldiving : 0.00 0 0
1800.10/1800.71 c linesearchdiving : 0.00 0 0
1800.10/1800.71 c guideddiving : 0.00 0 0
1800.10/1800.71 c octane : 0.00 0 0
1800.10/1800.71 c rens : 0.00 0 0
1800.10/1800.71 c rins : 0.00 0 0
1800.10/1800.71 c localbranching : 0.00 0 0
1800.10/1800.71 c mutation : 0.00 0 0
1800.10/1800.71 c dins : 0.00 0 0
1800.10/1800.71 c undercover : 0.00 0 0
1800.10/1800.71 c nlp : 2.36 0 0
1800.10/1800.71 c trysol : 2.69 0 0
1800.10/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.71 c dual LP : 0.48 20 2343 117.15 4881.25
1800.10/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.71 c diving/probing LP: 0.26 20 1262 63.10 4853.85
1800.10/1800.71 c strong branching : 4.85 35 15046 429.89 3102.27
1800.10/1800.71 c (at root node) : - 35 15046 429.89 -
1800.10/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.71 c B&B Tree :
1800.10/1800.71 c number of runs : 1
1800.10/1800.71 c nodes : 5118210
1800.10/1800.71 c nodes (total) : 5118210
1800.10/1800.71 c nodes left : 161
1800.10/1800.71 c max depth : 195
1800.10/1800.71 c max depth (total): 195
1800.10/1800.71 c backtracks : 1667719 (32.6%)
1800.10/1800.71 c delayed cutoffs : 1626253
1800.10/1800.71 c repropagations : 2806736 (34688909 domain reductions, 1286917 cutoffs)
1800.10/1800.71 c avg switch length: 2.27
1800.10/1800.71 c switching time : 106.64
1800.10/1800.71 c Solution :
1800.10/1800.71 c Solutions found : 7 (7 improvements)
1800.10/1800.71 c First Solution : +1.93000000000000e+02 (in run 1, after 189 nodes, 9.13 seconds, depth 186, found by <relaxation>)
1800.10/1800.71 c Primal Bound : +1.73000000000000e+02 (in run 1, after 17273 nodes, 12.06 seconds, depth 195, found by <relaxation>)
1800.10/1800.71 c Dual Bound : +1.35972032420672e+02
1800.10/1800.71 c Gap : 27.23 %
1800.10/1800.71 c Root Dual Bound : +1.35804971080372e+02
1800.10/1800.71 c Root Iterations : 3605
1800.10/1800.73 c Time complete: 1800.11.