0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666119-1276454865.opb>
0.00/0.04 c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 1505 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9588 impls, 0 clqs
0.09/0.10 c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1468 upgd conss, 9588 impls, 0 clqs
0.09/0.11 c (round 3) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1499 upgd conss, 9588 impls, 0 clqs
0.09/0.15 c (0.1s) probing: 101/444 (22.7%) - 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 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 9588 implications, 0 cliques
0.09/0.15 c presolved problem has 444 variables (444 bin, 0 int, 0 impl, 0 cont) and 1499 constraints
0.09/0.15 c 1499 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.19 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.19 c 0.1s| 1 | 0 | 474 | - |3534k| 0 | 316 | 444 |1499 | 444 |1499 | 0 | 0 | 0 | 1.289389e+02 | -- | Inf
0.29/0.30 c 0.2s| 1 | 0 | 620 | - |3849k| 0 | 304 | 444 |1499 | 444 |1508 | 9 | 0 | 0 | 1.320935e+02 | -- | Inf
0.29/0.40 c 0.3s| 1 | 0 | 758 | - |3984k| 0 | 294 | 444 |1499 | 444 |1514 | 15 | 0 | 0 | 1.331996e+02 | -- | Inf
0.39/0.49 c 0.4s| 1 | 0 | 869 | - |4070k| 0 | 283 | 444 |1499 | 444 |1519 | 20 | 0 | 0 | 1.337576e+02 | -- | Inf
0.59/0.60 c 0.5s| 1 | 0 | 1005 | - |4180k| 0 | 282 | 444 |1499 | 444 |1526 | 27 | 0 | 0 | 1.338629e+02 | -- | Inf
0.69/0.71 c 0.6s| 1 | 0 | 1192 | - |4228k| 0 | 297 | 444 |1499 | 444 |1532 | 33 | 0 | 0 | 1.347274e+02 | -- | Inf
0.79/0.83 c 0.8s| 1 | 0 | 1308 | - |4257k| 0 | 315 | 444 |1499 | 444 |1539 | 40 | 0 | 0 | 1.352698e+02 | -- | Inf
0.89/0.96 c 0.9s| 1 | 0 | 1413 | - |4292k| 0 | 314 | 444 |1499 | 444 |1542 | 43 | 0 | 0 | 1.357319e+02 | -- | Inf
1.09/1.12 c 1.0s| 1 | 0 | 1472 | - |4323k| 0 | 312 | 444 |1499 | 444 |1545 | 46 | 0 | 0 | 1.368153e+02 | -- | Inf
2.10/2.17 c 2.0s| 1 | 2 | 1472 | - |4329k| 0 | 312 | 444 |1499 | 444 |1545 | 46 | 0 | 17 | 1.368153e+02 | -- | Inf
2.10/2.19 o 188
2.10/2.19 c * 2.1s| 181 | 166 | 1472 | 0.0 |4419k| 171 | - | 444 |1503 | 0 | 0 | 46 | 4 | 17 | 1.371903e+02 | 1.880000e+02 | 37.04%
2.10/2.19 o 187
2.10/2.19 c * 2.1s| 186 | 165 | 1472 | 0.0 |4425k| 173 | - | 444 |1503 | 0 | 0 | 46 | 4 | 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
4.59/4.66 c 4.4s| 10000 | 157 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |3616 | 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
6.79/6.88 c 6.5s| 20000 | 156 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |6661 | 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
8.99/9.02 c 8.5s| 30000 | 155 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |9501 | 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
11.69/11.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.69/11.70 c 11.0s| 40000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 13k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
13.99/14.05 c 13.2s| 50000 | 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 16k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
16.29/16.34 c 15.3s| 60000 | 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 20k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
18.79/18.83 c 17.6s| 70000 | 152 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 23k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
21.29/21.35 c 20.0s| 80000 | 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 27k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
23.88/23.98 c 22.5s| 90000 | 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 31k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
26.49/26.58 c 24.9s|100000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 35k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
29.18/29.23 c 27.4s|110000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 39k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
31.69/31.73 c 29.7s|120000 | 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 42k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
34.38/34.43 c 32.3s|130000 | 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 46k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
36.98/37.04 c 34.7s|140000 | 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 50k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
39.59/39.66 c 37.2s|150000 | 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 54k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
42.18/42.23 c 39.6s|160000 | 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 58k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
44.68/44.79 c 42.0s|170000 | 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 62k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
47.38/47.49 c 44.5s|180000 | 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 66k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
50.08/50.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.08/50.16 c 47.0s|190000 | 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 70k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
52.68/52.70 c 49.4s|200000 | 159 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 73k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
55.27/55.32 c 51.9s|210000 | 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 77k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
57.68/57.74 c 54.2s|220000 | 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 81k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
60.17/60.22 c 56.5s|230000 | 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 84k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
62.78/62.82 c 58.9s|240000 | 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 88k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
65.28/65.36 c 61.4s|250000 | 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 92k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
67.67/67.74 c 63.6s|260000 | 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 95k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
70.17/70.27 c 66.0s|270000 | 152 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 99k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
72.68/72.72 c 68.3s|280000 | 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 103k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
75.18/75.28 c 70.7s|290000 | 156 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 106k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
77.77/77.87 c 73.2s|300000 | 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 110k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
80.28/80.36 c 75.5s|310000 | 155 | 1472 | 0.0 |4438k| 173 | - | 444 |1505 | 0 | 0 | 46 | 114k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
82.98/83.04 c 78.0s|320000 | 155 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 | 118k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
85.97/86.03 c 80.9s|330000 | 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 123k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
88.57/88.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.57/88.64 c 83.3s|340000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 127k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
91.18/91.24 c 85.8s|350000 | 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 130k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
93.77/93.88 c 88.3s|360000 | 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 135k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
96.47/96.51 c 90.7s|370000 | 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 138k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
98.98/99.08 c 93.2s|380000 | 158 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 142k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
101.57/101.66 c 95.6s|390000 | 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 146k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
104.47/104.59 c 98.4s|400000 | 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 151k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
107.16/107.21 c 101s|410000 | 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 155k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
110.07/110.14 c 104s|420000 | 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 159k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
112.96/113.00 c 106s|430000 | 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 164k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
115.86/115.93 c 109s|440000 | 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 169k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
118.56/118.69 c 112s|450000 | 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 173k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
121.06/121.19 c 114s|460000 | 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 176k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
123.66/123.77 c 116s|470000 | 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 180k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
126.16/126.24 c 119s|480000 | 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 184k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
128.86/128.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.86/128.99 c 121s|490000 | 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 188k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
131.65/131.71 c 124s|500000 | 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 192k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
134.16/134.24 c 126s|510000 | 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 196k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
136.76/136.87 c 129s|520000 | 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 200k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
140.16/140.23 c 132s|530000 | 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 206k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
142.87/142.99 c 135s|540000 | 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 210k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
145.36/145.43 c 137s|550000 | 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 214k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
147.76/147.88 c 139s|560000 | 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 217k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
150.66/150.77 c 142s|570000 | 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 222k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
153.66/153.75 c 145s|580000 | 150 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 227k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
156.75/156.89 c 148s|590000 | 152 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 232k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
159.85/159.98 c 151s|600000 | 156 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 237k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
162.76/162.89 c 153s|610000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 241k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
165.65/165.74 c 156s|620000 | 158 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 246k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
168.05/168.11 c 158s|630000 | 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 249k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
170.75/170.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.75/170.83 c 161s|640000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 254k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
173.25/173.34 c 163s|650000 | 156 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 257k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
175.75/175.88 c 166s|660000 | 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 261k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
178.16/178.23 c 168s|670000 | 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 264k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
180.45/180.52 c 170s|680000 | 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 267k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
182.85/182.91 c 172s|690000 | 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 271k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
185.34/185.45 c 174s|700000 | 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 274k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
187.64/187.79 c 177s|710000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 278k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
190.25/190.33 c 179s|720000 | 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 281k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
192.94/193.06 c 182s|730000 | 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 286k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
195.44/195.56 c 184s|740000 | 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 289k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
198.04/198.10 c 186s|750000 | 157 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 | 293k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
200.45/200.50 c 189s|760000 | 156 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 296k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
203.35/203.49 c 191s|770000 | 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 301k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
206.14/206.30 c 194s|780000 | 156 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 305k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
208.65/208.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.65/208.77 c 196s|790000 | 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 309k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
211.15/211.29 c 199s|800000 | 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 312k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
213.84/213.91 c 201s|810000 | 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 316k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
216.74/216.85 c 204s|820000 | 148 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 321k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
219.44/219.57 c 206s|830000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 325k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
222.04/222.17 c 209s|840000 | 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 329k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
224.63/224.78 c 211s|850000 | 156 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 | 333k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
227.14/227.28 c 214s|860000 | 158 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 336k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
229.53/229.61 c 216s|870000 | 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 340k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
231.83/231.96 c 218s|880000 | 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 343k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
234.24/234.37 c 220s|890000 | 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 346k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
236.64/236.79 c 223s|900000 | 160 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 349k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
239.64/239.78 c 225s|910000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 354k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
242.13/242.26 c 228s|920000 | 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 358k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
245.34/245.49 c 231s|930000 | 156 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 363k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
248.63/248.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.63/248.72 c 234s|940000 | 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 368k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
251.53/251.69 c 237s|950000 | 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 373k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
254.04/254.17 c 239s|960000 | 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 377k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
256.63/256.72 c 241s|970000 | 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 380k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
259.83/259.98 c 244s|980000 | 160 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 386k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
262.74/262.84 c 247s|990000 | 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 390k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
265.33/265.43 c 250s| 1000k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 394k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
267.83/267.95 c 252s| 1010k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 398k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
270.63/270.70 c 255s| 1020k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 402k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
273.73/273.87 c 258s| 1030k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 407k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
277.03/277.14 c 261s| 1040k| 153 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 412k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
280.33/280.43 c 264s| 1050k| 149 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 417k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
283.63/283.74 c 267s| 1060k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 423k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
286.02/286.13 c 269s| 1070k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 426k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
288.22/288.36 c 271s| 1080k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 429k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
290.43/290.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.43/290.56 c 273s| 1090k| 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 432k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
292.82/292.90 c 276s| 1100k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 435k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
295.12/295.22 c 278s| 1110k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 438k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
297.42/297.54 c 280s| 1120k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 442k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
300.13/300.22 c 282s| 1130k| 149 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 446k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
302.72/302.88 c 285s| 1140k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 450k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
304.92/305.09 c 287s| 1150k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 453k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
307.32/307.47 c 289s| 1160k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 456k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
309.72/309.80 c 291s| 1170k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 459k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
312.22/312.39 c 294s| 1180k| 152 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 463k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
314.92/315.05 c 296s| 1190k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 467k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
317.32/317.40 c 299s| 1200k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 470k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
320.21/320.36 c 301s| 1210k| 149 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 475k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
323.11/323.27 c 304s| 1220k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 480k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
325.92/326.08 c 307s| 1230k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 484k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
328.62/328.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.62/328.78 c 309s| 1240k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 488k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
331.61/331.73 c 312s| 1250k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 493k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
333.91/334.09 c 314s| 1260k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 496k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
336.21/336.35 c 317s| 1270k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 499k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
338.61/338.77 c 319s| 1280k| 155 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 | 502k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
341.31/341.40 c 321s| 1290k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 506k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
343.60/343.73 c 323s| 1300k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 510k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
346.21/346.33 c 326s| 1310k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 513k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
348.51/348.65 c 328s| 1320k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 517k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
350.91/351.01 c 330s| 1330k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 520k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
353.30/353.47 c 333s| 1340k| 150 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 524k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
355.60/355.76 c 335s| 1350k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 527k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
358.00/358.17 c 337s| 1360k| 158 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 530k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
360.40/360.50 c 339s| 1370k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 533k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
362.92/363.03 c 342s| 1380k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 537k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
365.40/365.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.40/365.52 c 344s| 1390k| 157 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 | 541k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
367.90/368.06 c 346s| 1400k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 544k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
370.30/370.47 c 349s| 1410k| 152 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 | 548k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
372.71/372.89 c 351s| 1420k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 551k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
375.30/375.46 c 353s| 1430k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 555k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
378.00/378.10 c 356s| 1440k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 559k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
380.41/380.56 c 358s| 1450k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 562k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
382.80/382.98 c 360s| 1460k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 566k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
385.40/385.55 c 363s| 1470k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 570k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
387.80/387.94 c 365s| 1480k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 573k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
390.20/390.34 c 367s| 1490k| 149 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 576k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
392.50/392.69 c 369s| 1500k| 153 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 | 580k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
394.99/395.18 c 372s| 1510k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 583k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
397.80/397.90 c 374s| 1520k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 587k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
400.20/400.39 c 377s| 1530k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 591k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
402.70/402.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.70/402.83 c 379s| 1540k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 594k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
405.09/405.24 c 381s| 1550k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 598k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
407.60/407.73 c 384s| 1560k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 601k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
410.10/410.20 c 386s| 1570k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 605k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
412.49/412.64 c 388s| 1580k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 608k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
414.89/415.08 c 390s| 1590k| 156 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 612k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
417.59/417.75 c 393s| 1600k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 616k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
420.09/420.28 c 395s| 1610k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 620k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
423.09/423.30 c 398s| 1620k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 624k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
425.99/426.17 c 401s| 1630k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 629k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
428.79/428.93 c 403s| 1640k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 633k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
431.19/431.37 c 406s| 1650k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 636k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
434.19/434.33 c 408s| 1660k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 641k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
436.79/436.91 c 411s| 1670k| 156 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 645k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
439.09/439.25 c 413s| 1680k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 648k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
441.69/441.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.69/441.88 c 416s| 1690k| 150 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 652k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
444.19/444.35 c 418s| 1700k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 655k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
446.49/446.65 c 420s| 1710k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 659k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
448.79/448.97 c 422s| 1720k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 662k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
451.48/451.61 c 425s| 1730k| 149 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 666k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
453.98/454.15 c 427s| 1740k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 669k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
456.39/456.56 c 429s| 1750k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 673k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
458.78/458.94 c 432s| 1760k| 152 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 676k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
461.18/461.33 c 434s| 1770k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 680k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
463.68/463.87 c 436s| 1780k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 683k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
466.29/466.43 c 439s| 1790k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 687k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
468.88/469.04 c 441s| 1800k| 149 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 691k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
471.47/471.66 c 444s| 1810k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 695k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
473.89/474.10 c 446s| 1820k| 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 698k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
476.48/476.61 c 448s| 1830k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 702k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
479.27/479.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.27/479.44 c 451s| 1840k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 706k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
481.78/481.95 c 453s| 1850k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 710k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
484.17/484.39 c 455s| 1860k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 713k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
486.77/486.94 c 458s| 1870k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 717k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
489.07/489.28 c 460s| 1880k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 720k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
491.67/491.83 c 462s| 1890k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 724k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
494.17/494.33 c 465s| 1900k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 728k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
496.77/496.97 c 467s| 1910k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 732k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
499.37/499.51 c 470s| 1920k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 735k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
501.77/501.92 c 472s| 1930k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 739k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
504.17/504.33 c 474s| 1940k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 742k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
506.87/507.10 c 477s| 1950k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 747k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
509.47/509.65 c 479s| 1960k| 158 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 750k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
512.06/512.21 c 482s| 1970k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 754k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
514.37/514.53 c 484s| 1980k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 757k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
516.87/517.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.87/517.02 c 486s| 1990k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 761k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
519.27/519.47 c 488s| 2000k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 765k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
521.67/521.89 c 491s| 2010k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 768k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
524.27/524.42 c 493s| 2020k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 772k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
526.87/527.07 c 496s| 2030k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 776k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
529.37/529.54 c 498s| 2040k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 779k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
531.86/532.02 c 500s| 2050k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 783k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
534.37/534.57 c 503s| 2060k| 149 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 786k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
536.96/537.12 c 505s| 2070k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 790k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
539.66/539.84 c 508s| 2080k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 794k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
541.96/542.12 c 510s| 2090k| 151 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 797k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
544.27/544.46 c 512s| 2100k| 149 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 801k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
546.86/547.06 c 514s| 2110k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 805k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
549.46/549.62 c 517s| 2120k| 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 808k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
551.85/552.00 c 519s| 2130k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 812k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
554.27/554.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.27/554.45 c 521s| 2140k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 815k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
556.66/556.82 c 523s| 2150k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 819k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
559.76/559.97 c 526s| 2160k| 152 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 824k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
562.56/562.72 c 529s| 2170k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 828k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
565.06/565.28 c 531s| 2180k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 832k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
567.55/567.74 c 534s| 2190k| 153 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 | 835k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
569.86/570.06 c 536s| 2200k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 838k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
572.25/572.45 c 538s| 2210k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 842k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
574.45/574.68 c 540s| 2220k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 845k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
576.75/576.91 c 542s| 2230k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 848k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
579.05/579.25 c 545s| 2240k| 149 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 851k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
581.85/582.01 c 547s| 2250k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 855k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
584.45/584.68 c 550s| 2260k| 152 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 | 859k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
587.26/587.48 c 552s| 2270k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 864k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
589.84/590.08 c 555s| 2280k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 867k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
592.35/592.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.35/592.59 c 557s| 2290k| 150 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 871k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
594.65/594.90 c 559s| 2300k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 874k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
597.65/597.84 c 562s| 2310k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 879k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
600.65/600.80 c 565s| 2320k| 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 884k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
603.15/603.35 c 567s| 2330k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 887k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
605.64/605.82 c 570s| 2340k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 891k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
608.05/608.21 c 572s| 2350k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 894k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
610.35/610.50 c 574s| 2360k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 897k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
612.74/612.90 c 576s| 2370k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 901k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
615.35/615.58 c 579s| 2380k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 905k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
617.84/618.08 c 581s| 2390k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 908k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
620.25/620.41 c 583s| 2400k| 149 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 911k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
622.64/622.86 c 586s| 2410k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 915k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
625.14/625.32 c 588s| 2420k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 919k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
627.64/627.82 c 590s| 2430k| 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 922k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
629.94/630.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.94/630.14 c 592s| 2440k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 926k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
632.64/632.84 c 595s| 2450k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 930k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
635.14/635.31 c 597s| 2460k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 933k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
637.44/637.61 c 599s| 2470k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 937k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
640.14/640.30 c 602s| 2480k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 941k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
642.84/643.07 c 605s| 2490k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 945k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
645.54/645.75 c 607s| 2500k| 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 949k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
648.13/648.37 c 610s| 2510k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 953k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
650.34/650.58 c 612s| 2520k| 158 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 956k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
652.93/653.20 c 614s| 2530k| 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 960k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
655.44/655.63 c 616s| 2540k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 963k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
658.03/658.29 c 619s| 2550k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 967k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
660.63/660.85 c 621s| 2560k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 971k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
663.23/663.43 c 624s| 2570k| 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 975k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
665.73/665.96 c 626s| 2580k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 | 978k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
668.23/668.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.23/668.43 c 628s| 2590k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 | 982k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
670.62/670.87 c 631s| 2600k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 985k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
673.42/673.66 c 633s| 2610k| 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 | 990k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
675.92/676.16 c 636s| 2620k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 | 993k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
678.63/678.86 c 638s| 2630k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 | 997k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
681.23/681.46 c 641s| 2640k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1001k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
683.82/684.05 c 643s| 2650k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1005k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
686.82/687.00 c 646s| 2660k| 151 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1010k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
689.23/689.42 c 648s| 2670k| 153 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 |1013k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
691.73/691.92 c 651s| 2680k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1017k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
693.93/694.17 c 653s| 2690k| 151 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1020k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
696.22/696.47 c 655s| 2700k| 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1023k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
698.93/699.19 c 657s| 2710k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1027k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
701.63/701.89 c 660s| 2720k| 154 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 |1031k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
704.32/704.58 c 662s| 2730k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1035k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
707.03/707.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.03/707.20 c 665s| 2740k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1039k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
709.62/709.83 c 667s| 2750k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1043k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
712.21/712.47 c 670s| 2760k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1047k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
715.02/715.20 c 673s| 2770k| 154 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 |1051k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
717.71/717.98 c 675s| 2780k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1055k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
720.42/720.65 c 678s| 2790k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1059k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
723.01/723.26 c 680s| 2800k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1063k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
725.62/725.89 c 683s| 2810k| 152 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1067k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
728.42/728.60 c 685s| 2820k| 155 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1071k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
731.01/731.22 c 688s| 2830k| 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1075k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
733.62/733.88 c 690s| 2840k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1079k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
736.31/736.54 c 693s| 2850k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1083k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
738.81/739.08 c 695s| 2860k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1087k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
741.52/741.74 c 697s| 2870k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1091k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
744.21/744.40 c 700s| 2880k| 156 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1095k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
746.91/747.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.91/747.11 c 703s| 2890k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1099k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
749.61/749.85 c 705s| 2900k| 149 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1103k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
752.31/752.54 c 708s| 2910k| 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1107k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
755.11/755.33 c 710s| 2920k| 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1111k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
757.71/757.94 c 713s| 2930k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1115k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
761.01/761.26 c 716s| 2940k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1121k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
764.21/764.41 c 719s| 2950k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1126k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
766.41/766.66 c 721s| 2960k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1129k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
768.62/768.85 c 723s| 2970k| 149 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1132k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
770.81/771.06 c 725s| 2980k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1135k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
773.01/773.27 c 727s| 2990k| 146 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1138k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
775.51/775.78 c 730s| 3000k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1141k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
778.00/778.20 c 732s| 3010k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1145k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
780.20/780.48 c 734s| 3020k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1148k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
782.81/783.08 c 736s| 3030k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1152k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
785.30/785.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.30/785.51 c 739s| 3040k| 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1155k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
787.60/787.82 c 741s| 3050k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1158k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
789.90/790.17 c 743s| 3060k| 152 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1161k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
792.30/792.51 c 745s| 3070k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1165k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
794.70/794.93 c 747s| 3080k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1168k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
797.30/797.51 c 750s| 3090k| 153 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1172k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
799.79/800.04 c 752s| 3100k| 150 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1176k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
802.59/802.88 c 755s| 3110k| 155 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1180k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
805.38/805.60 c 758s| 3120k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1184k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
807.69/807.98 c 760s| 3130k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1188k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
810.09/810.35 c 762s| 3140k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1191k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
812.48/812.74 c 764s| 3150k| 156 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1194k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
815.18/815.41 c 767s| 3160k| 158 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1198k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
817.78/818.09 c 769s| 3170k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1202k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
820.49/820.71 c 772s| 3180k| 152 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1206k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
823.08/823.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.08/823.31 c 774s| 3190k| 153 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 |1210k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
825.69/825.95 c 777s| 3200k| 148 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1214k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
828.18/828.46 c 779s| 3210k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1218k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
830.78/831.09 c 781s| 3220k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1221k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
833.49/833.76 c 784s| 3230k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1225k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
836.18/836.45 c 786s| 3240k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1229k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
838.78/839.08 c 789s| 3250k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1233k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
841.28/841.54 c 791s| 3260k| 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1237k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
844.38/844.69 c 794s| 3270k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1242k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
846.88/847.13 c 797s| 3280k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1245k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
849.68/849.96 c 799s| 3290k| 151 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1250k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
851.98/852.26 c 801s| 3300k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1253k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
854.38/854.65 c 804s| 3310k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1256k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
856.58/856.90 c 806s| 3320k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1259k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
859.38/859.61 c 808s| 3330k| 151 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1264k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
861.67/861.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.67/861.99 c 810s| 3340k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1267k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
864.17/864.43 c 813s| 3350k| 152 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1270k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
866.58/866.83 c 815s| 3360k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1274k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
868.88/869.14 c 817s| 3370k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1277k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
871.07/871.36 c 819s| 3380k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1280k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
873.57/873.84 c 822s| 3390k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1283k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
875.87/876.19 c 824s| 3400k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1287k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
878.37/878.65 c 826s| 3410k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1290k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
880.77/881.10 c 828s| 3420k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1294k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
883.17/883.47 c 831s| 3430k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1297k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
885.67/885.96 c 833s| 3440k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1300k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
888.06/888.30 c 835s| 3450k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1304k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
890.86/891.13 c 838s| 3460k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1308k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
893.67/893.92 c 840s| 3470k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1312k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
896.17/896.47 c 843s| 3480k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1316k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
898.77/899.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.77/899.06 c 845s| 3490k| 153 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1320k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
901.37/901.65 c 848s| 3500k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1324k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
903.97/904.22 c 850s| 3510k| 148 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1327k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
906.67/906.92 c 853s| 3520k| 148 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1331k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
909.26/909.59 c 855s| 3530k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1335k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
911.86/912.17 c 858s| 3540k| 153 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1339k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
914.87/915.11 c 860s| 3550k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1344k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
917.17/917.49 c 863s| 3560k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1347k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
919.66/919.96 c 865s| 3570k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1351k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
922.26/922.57 c 867s| 3580k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1354k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
924.86/925.18 c 870s| 3590k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1358k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
927.56/927.84 c 872s| 3600k| 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1362k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
929.96/930.29 c 875s| 3610k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1366k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
932.47/932.77 c 877s| 3620k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1369k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
935.45/935.73 c 880s| 3630k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1374k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
938.06/938.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.06/938.36 c 882s| 3640k| 158 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1378k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
940.55/940.81 c 885s| 3650k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1382k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
943.16/943.43 c 887s| 3660k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1386k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
945.46/945.77 c 889s| 3670k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1389k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
947.86/948.15 c 891s| 3680k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1392k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
950.36/950.63 c 894s| 3690k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1396k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
952.75/953.03 c 896s| 3700k| 155 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1399k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
955.05/955.39 c 898s| 3710k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1402k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
957.76/958.09 c 901s| 3720k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1406k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
960.05/960.34 c 903s| 3730k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1409k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
962.26/962.59 c 905s| 3740k| 150 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1412k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
964.75/965.03 c 907s| 3750k| 156 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1416k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
967.45/967.79 c 910s| 3760k| 153 | 1472 | 0.0 |4437k| 173 | - | 444 |1505 | 0 | 0 | 46 |1420k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
970.14/970.40 c 912s| 3770k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1424k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
972.65/972.95 c 915s| 3780k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1427k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
975.46/975.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.46/975.77 c 917s| 3790k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1432k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
978.65/978.95 c 920s| 3800k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1437k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
980.95/981.23 c 923s| 3810k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1440k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
983.44/983.74 c 925s| 3820k| 153 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1443k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
985.74/986.05 c 927s| 3830k| 153 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1446k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
988.44/988.70 c 930s| 3840k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1450k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
990.86/991.13 c 932s| 3850k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1454k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
993.24/993.59 c 934s| 3860k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1457k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
995.64/995.94 c 936s| 3870k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1461k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
997.94/998.25 c 939s| 3880k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1464k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1000.64/1000.97 c 941s| 3890k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1468k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1003.24/1003.50 c 944s| 3900k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1472k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1005.63/1005.97 c 946s| 3910k| 156 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1475k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1008.24/1008.50 c 948s| 3920k| 148 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1479k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1010.64/1010.95 c 951s| 3930k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1482k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1013.95/1014.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.95/1014.25 c 954s| 3940k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1488k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1016.94/1017.25 c 957s| 3950k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1492k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1019.34/1019.66 c 959s| 3960k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1496k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1022.44/1022.73 c 962s| 3970k| 150 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1501k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1025.83/1026.10 c 965s| 3980k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1506k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1028.73/1029.04 c 968s| 3990k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1511k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1031.33/1031.69 c 970s| 4000k| 150 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1515k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1034.13/1034.43 c 973s| 4010k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1519k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1036.83/1037.12 c 975s| 4020k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1523k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1039.43/1039.71 c 978s| 4030k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1526k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1041.53/1041.88 c 980s| 4040k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1529k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1043.73/1044.08 c 982s| 4050k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1532k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1046.12/1046.41 c 984s| 4060k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1535k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1048.33/1048.67 c 986s| 4070k| 148 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1538k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1050.63/1050.95 c 988s| 4080k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1541k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1052.83/1053.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.83/1053.19 c 990s| 4090k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1544k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1055.13/1055.48 c 993s| 4100k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1547k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1057.43/1057.73 c 995s| 4110k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1550k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1059.73/1060.01 c 997s| 4120k| 147 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1553k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1062.12/1062.49 c 999s| 4130k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1557k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1064.73/1065.06 c 1001s| 4140k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1561k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1067.03/1067.33 c 1004s| 4150k| 152 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1564k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1069.52/1069.86 c 1006s| 4160k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1567k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1071.83/1072.14 c 1008s| 4170k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1571k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1074.33/1074.62 c 1010s| 4180k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1574k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1076.73/1077.08 c 1013s| 4190k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1578k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1079.12/1079.44 c 1015s| 4200k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1581k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1081.82/1082.18 c 1018s| 4210k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1585k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1084.72/1085.05 c 1020s| 4220k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1590k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1087.22/1087.56 c 1023s| 4230k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1593k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1089.83/1090.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.83/1090.20 c 1025s| 4240k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1597k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1092.41/1092.73 c 1027s| 4250k| 150 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1601k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1095.12/1095.43 c 1030s| 4260k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1605k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1097.62/1097.99 c 1032s| 4270k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1609k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1100.21/1100.53 c 1035s| 4280k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1612k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1103.02/1103.35 c 1037s| 4290k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1617k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1105.42/1105.73 c 1040s| 4300k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1620k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1108.22/1108.51 c 1042s| 4310k| 148 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1624k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1110.72/1111.05 c 1045s| 4320k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1628k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1113.31/1113.64 c 1047s| 4330k| 148 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1632k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1115.71/1116.09 c 1049s| 4340k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1635k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1118.11/1118.46 c 1052s| 4350k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1638k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1120.41/1120.75 c 1054s| 4360k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1641k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1122.72/1123.02 c 1056s| 4370k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1645k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1125.01/1125.33 c 1058s| 4380k| 149 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1648k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1127.31/1127.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.31/1127.62 c 1060s| 4390k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1651k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1129.71/1130.00 c 1063s| 4400k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1654k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1132.11/1132.43 c 1065s| 4410k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1657k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1134.41/1134.78 c 1067s| 4420k| 150 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1661k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1136.71/1137.07 c 1069s| 4430k| 151 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1664k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1139.01/1139.33 c 1071s| 4440k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1667k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1142.01/1142.33 c 1074s| 4450k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1672k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1144.31/1144.62 c 1076s| 4460k| 149 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1675k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1146.71/1147.07 c 1078s| 4470k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1678k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1149.11/1149.40 c 1081s| 4480k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1681k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1151.31/1151.70 c 1083s| 4490k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1685k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1154.10/1154.45 c 1085s| 4500k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1689k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1156.50/1156.81 c 1088s| 4510k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1692k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1159.40/1159.78 c 1090s| 4520k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1697k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1162.00/1162.37 c 1093s| 4530k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1701k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1164.40/1164.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.40/1164.73 c 1095s| 4540k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1704k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1166.90/1167.27 c 1098s| 4550k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1708k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1169.30/1169.61 c 1100s| 4560k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1711k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1172.00/1172.34 c 1102s| 4570k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1715k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1174.60/1174.98 c 1105s| 4580k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1719k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1177.20/1177.57 c 1107s| 4590k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1723k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1180.00/1180.36 c 1110s| 4600k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1727k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1182.69/1183.01 c 1112s| 4610k| 149 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1731k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1185.51/1185.84 c 1115s| 4620k| 148 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1735k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1188.09/1188.41 c 1117s| 4630k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1739k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1190.60/1190.93 c 1120s| 4640k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1743k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1193.29/1193.61 c 1122s| 4650k| 148 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1747k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1195.60/1195.96 c 1125s| 4660k| 148 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1750k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1198.19/1198.51 c 1127s| 4670k| 149 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1753k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1200.69/1201.08 c 1129s| 4680k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1757k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1203.49/1203.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.49/1203.89 c 1132s| 4690k| 144 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1761k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1206.49/1206.84 c 1135s| 4700k| 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1766k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1209.89/1210.24 c 1138s| 4710k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1771k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1213.39/1213.71 c 1141s| 4720k| 155 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1777k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1216.29/1216.69 c 1144s| 4730k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1782k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1218.79/1219.18 c 1147s| 4740k| 155 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1785k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1221.08/1221.43 c 1149s| 4750k| 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1788k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1223.39/1223.72 c 1151s| 4760k| 157 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1791k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1225.48/1225.88 c 1153s| 4770k| 156 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1794k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1227.99/1228.33 c 1155s| 4780k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1798k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1230.19/1230.54 c 1157s| 4790k| 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1800k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1232.28/1232.68 c 1159s| 4800k| 153 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1803k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1234.38/1234.70 c 1161s| 4810k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1806k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1236.39/1236.70 c 1163s| 4820k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1808k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1238.68/1239.01 c 1165s| 4830k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1811k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1241.18/1241.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.18/1241.51 c 1167s| 4840k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1815k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1244.09/1244.41 c 1170s| 4850k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1820k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1247.28/1247.60 c 1173s| 4860k| 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1825k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1249.68/1250.07 c 1176s| 4870k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1829k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1252.48/1252.86 c 1178s| 4880k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1833k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1254.98/1255.37 c 1181s| 4890k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1836k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1257.48/1257.84 c 1183s| 4900k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1840k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1260.19/1260.53 c 1185s| 4910k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1844k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1262.67/1263.09 c 1188s| 4920k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1848k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1265.28/1265.69 c 1190s| 4930k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1851k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1267.78/1268.11 c 1193s| 4940k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1855k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1270.18/1270.59 c 1195s| 4950k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1858k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1272.87/1273.23 c 1197s| 4960k| 149 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1862k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1275.77/1276.10 c 1200s| 4970k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1867k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1278.17/1278.57 c 1202s| 4980k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1870k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1281.18/1281.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.18/1281.54 c 1205s| 4990k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1875k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1283.57/1283.95 c 1207s| 5000k| 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1878k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1286.08/1286.47 c 1210s| 5010k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1882k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1288.57/1288.91 c 1212s| 5020k| 149 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1885k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1291.08/1291.43 c 1214s| 5030k| 158 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1889k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1293.37/1293.77 c 1217s| 5040k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1892k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1295.66/1296.02 c 1219s| 5050k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1895k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1297.96/1298.30 c 1221s| 5060k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1898k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1300.17/1300.55 c 1223s| 5070k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1901k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1302.47/1302.85 c 1225s| 5080k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1905k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1304.77/1305.13 c 1227s| 5090k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1908k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1306.96/1307.35 c 1229s| 5100k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1911k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1309.27/1309.61 c 1231s| 5110k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1914k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1311.46/1311.90 c 1234s| 5120k| 157 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1917k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1313.77/1314.18 c 1236s| 5130k| 150 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1920k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1316.06/1316.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.06/1316.45 c 1238s| 5140k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1923k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1318.36/1318.74 c 1240s| 5150k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1926k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1320.56/1320.98 c 1242s| 5160k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1929k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1322.86/1323.23 c 1244s| 5170k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1932k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1325.07/1325.48 c 1246s| 5180k| 151 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1935k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1327.36/1327.73 c 1248s| 5190k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1938k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1329.56/1329.99 c 1250s| 5200k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1941k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1331.96/1332.33 c 1253s| 5210k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1944k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1334.36/1334.72 c 1255s| 5220k| 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1948k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1336.66/1337.05 c 1257s| 5230k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1951k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1339.06/1339.42 c 1259s| 5240k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1954k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1341.35/1341.74 c 1261s| 5250k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1957k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1343.96/1344.32 c 1264s| 5260k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1961k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1346.46/1346.89 c 1266s| 5270k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1965k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1348.86/1349.26 c 1269s| 5280k| 148 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |1968k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1351.25/1351.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.25/1351.62 c 1271s| 5290k| 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |1972k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1353.95/1354.38 c 1273s| 5300k| 149 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |1976k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1356.65/1357.09 c 1276s| 5310k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1980k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1359.36/1359.72 c 1278s| 5320k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1984k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1361.66/1362.01 c 1281s| 5330k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1987k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1363.86/1364.27 c 1283s| 5340k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1990k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1366.16/1366.57 c 1285s| 5350k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |1993k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1368.65/1369.04 c 1287s| 5360k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |1996k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1371.15/1371.50 c 1289s| 5370k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2000k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1373.35/1373.73 c 1291s| 5380k| 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2003k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1375.55/1375.95 c 1294s| 5390k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2006k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1378.04/1378.40 c 1296s| 5400k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2009k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1380.45/1380.89 c 1298s| 5410k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2013k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1382.85/1383.22 c 1300s| 5420k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2016k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1385.34/1385.74 c 1303s| 5430k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2020k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1387.65/1388.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.65/1388.04 c 1305s| 5440k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2023k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1390.05/1390.45 c 1307s| 5450k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2026k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1392.64/1393.03 c 1310s| 5460k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2030k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1395.15/1395.53 c 1312s| 5470k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2033k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1397.65/1398.04 c 1314s| 5480k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2037k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1400.04/1400.48 c 1317s| 5490k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2041k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1402.54/1402.97 c 1319s| 5500k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2044k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1404.94/1405.35 c 1321s| 5510k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2048k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1407.74/1408.16 c 1324s| 5520k| 150 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2052k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1410.24/1410.61 c 1326s| 5530k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2055k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1412.84/1413.21 c 1329s| 5540k| 149 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2059k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1415.25/1415.65 c 1331s| 5550k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2063k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1417.94/1418.36 c 1333s| 5560k| 148 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2067k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1420.23/1420.66 c 1336s| 5570k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2070k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1422.64/1423.04 c 1338s| 5580k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2073k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1424.94/1425.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.94/1425.35 c 1340s| 5590k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2076k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1427.35/1427.76 c 1342s| 5600k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2080k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1430.14/1430.58 c 1345s| 5610k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2084k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1432.84/1433.28 c 1347s| 5620k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2088k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1435.33/1435.78 c 1350s| 5630k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2092k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1437.83/1438.26 c 1352s| 5640k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2095k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1440.44/1440.81 c 1354s| 5650k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2099k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1442.93/1443.30 c 1357s| 5660k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2103k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1445.33/1445.78 c 1359s| 5670k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2106k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1448.03/1448.41 c 1362s| 5680k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2110k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1450.73/1451.18 c 1364s| 5690k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2114k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1453.53/1453.91 c 1367s| 5700k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2118k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1456.13/1456.59 c 1369s| 5710k| 149 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2122k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1458.63/1459.00 c 1372s| 5720k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2126k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1461.03/1461.43 c 1374s| 5730k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2129k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1463.53/1463.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.53/1463.93 c 1376s| 5740k| 148 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2133k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1465.93/1466.38 c 1378s| 5750k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2136k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1468.63/1469.05 c 1381s| 5760k| 147 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2140k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1471.12/1471.54 c 1383s| 5770k| 149 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2144k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1473.82/1474.26 c 1386s| 5780k| 149 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2148k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1476.53/1476.97 c 1388s| 5790k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2152k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1479.03/1479.42 c 1391s| 5800k| 150 | 1472 | 0.0 |4431k| 173 | - | 444 |1505 | 0 | 0 | 46 |2156k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1481.62/1482.05 c 1393s| 5810k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2160k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1483.93/1484.37 c 1395s| 5820k| 153 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2163k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1486.32/1486.73 c 1398s| 5830k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2166k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1488.72/1489.18 c 1400s| 5840k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2169k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1491.13/1491.54 c 1402s| 5850k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2173k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1493.43/1493.83 c 1404s| 5860k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2176k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1495.73/1496.18 c 1406s| 5870k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2179k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1498.02/1498.49 c 1408s| 5880k| 156 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2182k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1500.72/1501.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.72/1501.19 c 1411s| 5890k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2186k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1503.42/1503.81 c 1414s| 5900k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2190k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1505.92/1506.35 c 1416s| 5910k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2194k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1508.51/1508.99 c 1418s| 5920k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2198k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1510.92/1511.33 c 1421s| 5930k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2201k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1513.62/1514.04 c 1423s| 5940k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2205k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1516.42/1516.85 c 1426s| 5950k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2209k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1519.11/1519.52 c 1428s| 5960k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2213k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1521.41/1521.84 c 1430s| 5970k| 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2217k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1523.91/1524.31 c 1433s| 5980k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2220k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1526.21/1526.68 c 1435s| 5990k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2223k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1528.62/1529.05 c 1437s| 6000k| 152 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2227k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1531.31/1531.71 c 1440s| 6010k| 158 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2231k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1533.91/1534.32 c 1442s| 6020k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2234k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1536.32/1536.78 c 1444s| 6030k| 151 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |2238k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1538.91/1539.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1538.91/1539.30 c 1447s| 6040k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2242k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1541.41/1541.81 c 1449s| 6050k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2245k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1543.81/1544.24 c 1452s| 6060k| 151 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2249k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1546.31/1546.72 c 1454s| 6070k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2252k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1548.81/1549.25 c 1456s| 6080k| 148 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2256k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1551.30/1551.78 c 1459s| 6090k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2259k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1553.91/1554.32 c 1461s| 6100k| 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2263k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1556.80/1557.28 c 1464s| 6110k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2268k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1559.50/1559.93 c 1466s| 6120k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2272k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1562.20/1562.62 c 1469s| 6130k| 156 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2276k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1564.41/1564.84 c 1471s| 6140k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2279k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1567.50/1567.95 c 1474s| 6150k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2284k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1570.70/1571.15 c 1477s| 6160k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2289k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1573.61/1574.09 c 1480s| 6170k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2293k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1576.50/1576.97 c 1482s| 6180k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2298k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1579.00/1579.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1579.00/1579.43 c 1485s| 6190k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2302k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1581.50/1581.92 c 1487s| 6200k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2305k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1584.30/1584.77 c 1490s| 6210k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2310k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1586.40/1586.88 c 1492s| 6220k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2312k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1588.89/1589.32 c 1494s| 6230k| 158 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2316k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1591.30/1591.76 c 1496s| 6240k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2319k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1594.00/1594.42 c 1499s| 6250k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2323k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1596.70/1597.11 c 1501s| 6260k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2327k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1598.90/1599.40 c 1503s| 6270k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2330k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1601.20/1601.66 c 1506s| 6280k| 151 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2333k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1603.50/1603.93 c 1508s| 6290k| 149 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2336k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1605.69/1606.18 c 1510s| 6300k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2339k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1608.09/1608.51 c 1512s| 6310k| 148 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2343k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1610.29/1610.75 c 1514s| 6320k| 149 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2346k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1612.59/1613.00 c 1516s| 6330k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2349k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1614.80/1615.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.80/1615.28 c 1518s| 6340k| 149 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2352k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1617.09/1617.54 c 1520s| 6350k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2355k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1619.39/1619.89 c 1523s| 6360k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2358k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1622.10/1622.53 c 1525s| 6370k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2362k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1624.69/1625.18 c 1527s| 6380k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2366k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1627.29/1627.79 c 1530s| 6390k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2370k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1630.09/1630.52 c 1532s| 6400k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2374k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1632.38/1632.81 c 1535s| 6410k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2377k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1634.89/1635.31 c 1537s| 6420k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2381k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1637.19/1637.60 c 1539s| 6430k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2384k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1639.59/1640.03 c 1541s| 6440k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2387k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1642.09/1642.59 c 1544s| 6450k| 157 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |2391k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1644.88/1645.30 c 1546s| 6460k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2395k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1647.59/1648.01 c 1549s| 6470k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2399k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1650.08/1650.58 c 1551s| 6480k| 148 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2403k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1652.38/1652.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1652.38/1652.85 c 1553s| 6490k| 149 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2406k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1654.88/1655.33 c 1556s| 6500k| 149 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2410k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1657.18/1657.69 c 1558s| 6510k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2413k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1659.68/1660.13 c 1560s| 6520k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2416k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1662.18/1662.63 c 1563s| 6530k| 153 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2420k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1664.68/1665.13 c 1565s| 6540k| 151 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |2424k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1667.19/1667.61 c 1567s| 6550k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2427k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1669.47/1669.95 c 1569s| 6560k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2431k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1672.28/1672.73 c 1572s| 6570k| 154 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2435k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1674.67/1675.19 c 1574s| 6580k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2438k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1677.28/1677.71 c 1577s| 6590k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2442k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1679.78/1680.27 c 1579s| 6600k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2446k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1682.49/1682.90 c 1582s| 6610k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2450k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1684.97/1685.42 c 1584s| 6620k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2453k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1687.47/1687.95 c 1586s| 6630k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2457k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1689.77/1690.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.77/1690.24 c 1589s| 6640k| 148 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2460k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1692.18/1692.67 c 1591s| 6650k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2464k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1694.68/1695.18 c 1593s| 6660k| 150 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2467k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1697.27/1697.75 c 1596s| 6670k| 147 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2471k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1699.67/1700.16 c 1598s| 6680k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2474k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1701.97/1702.48 c 1600s| 6690k| 148 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2477k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1704.27/1704.73 c 1602s| 6700k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2481k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1706.78/1707.25 c 1604s| 6710k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2484k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1709.57/1710.01 c 1607s| 6720k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2488k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1712.06/1712.58 c 1610s| 6730k| 155 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2492k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1714.47/1714.97 c 1612s| 6740k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2495k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1716.96/1717.44 c 1614s| 6750k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2499k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1719.16/1719.68 c 1616s| 6760k| 147 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2502k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1721.86/1722.34 c 1619s| 6770k| 147 | 1472 | 0.0 |4431k| 173 | - | 444 |1505 | 0 | 0 | 46 |2506k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1724.46/1724.94 c 1621s| 6780k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2509k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1727.26/1727.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.26/1727.76 c 1624s| 6790k| 150 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2514k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1729.66/1730.12 c 1626s| 6800k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2517k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1731.97/1732.42 c 1628s| 6810k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2520k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1734.17/1734.68 c 1630s| 6820k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2523k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1736.86/1737.34 c 1633s| 6830k| 147 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2527k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1739.27/1739.78 c 1635s| 6840k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2530k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1741.97/1742.43 c 1638s| 6850k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2534k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1744.46/1744.93 c 1640s| 6860k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2538k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1747.06/1747.54 c 1642s| 6870k| 149 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2542k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1749.76/1750.22 c 1645s| 6880k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2546k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1752.56/1753.05 c 1648s| 6890k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2550k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1755.16/1755.66 c 1650s| 6900k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2554k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1757.85/1758.35 c 1653s| 6910k| 151 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2558k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1760.46/1760.99 c 1655s| 6920k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2562k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1762.87/1763.39 c 1657s| 6930k| 149 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2565k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1765.25/1765.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.25/1765.70 c 1659s| 6940k| 149 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2568k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1767.76/1768.27 c 1662s| 6950k| 154 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2572k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1770.25/1770.77 c 1664s| 6960k| 155 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2576k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1772.66/1773.18 c 1666s| 6970k| 153 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2579k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1775.05/1775.52 c 1669s| 6980k| 152 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2582k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1777.75/1778.24 c 1671s| 6990k| 153 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2586k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1780.05/1780.54 c 1673s| 7000k| 154 | 1472 | 0.0 |4436k| 173 | - | 444 |1505 | 0 | 0 | 46 |2590k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1782.45/1782.97 c 1676s| 7010k| 151 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2593k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1784.95/1785.47 c 1678s| 7020k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2597k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1787.64/1788.11 c 1680s| 7030k| 154 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2601k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1790.25/1790.77 c 1683s| 7040k| 157 | 1472 | 0.0 |4434k| 173 | - | 444 |1505 | 0 | 0 | 46 |2605k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1792.95/1793.43 c 1686s| 7050k| 152 | 1472 | 0.0 |4435k| 173 | - | 444 |1505 | 0 | 0 | 46 |2609k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1795.55/1796.03 c 1688s| 7060k| 150 | 1472 | 0.0 |4433k| 173 | - | 444 |1505 | 0 | 0 | 46 |2613k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1797.85/1798.36 c 1690s| 7070k| 151 | 1472 | 0.0 |4432k| 173 | - | 444 |1505 | 0 | 0 | 46 |2616k| 17 | 1.371903e+02 | 1.870000e+02 | 36.31%
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1692.12
1800.05/1800.50 c Solving Nodes : 7079170
1800.05/1800.50 c Primal Bound : +1.87000000000000e+02 (2 solutions)
1800.05/1800.50 c Dual Bound : +1.37190274918492e+02
1800.05/1800.50 c Gap : 36.31 %
1800.05/1800.51 s SATISFIABLE
1800.05/1800.51 v -x450 x449 x448 -x447 x446 -x445 -x444 x443 x442 -x441 x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 x429 x428
1800.05/1800.51 v -x427 x426 -x425 -x424 x423 x422 -x421 -x420 x419 x418 -x417 x416 -x415 -x414 x413 x412 -x411 x410 -x409 -x408 x407 x406 -x405
1800.05/1800.51 v x404 -x403 -x402 x401 x400 -x399 x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 x389 x388 -x387 x386 -x385 -x384 x383 x382
1800.05/1800.51 v -x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360
1800.05/1800.51 v x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337
1800.05/1800.51 v x336 -x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 -x314
1800.05/1800.51 v x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292
1800.05/1800.51 v x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269
1800.05/1800.51 v -x268 x267 -x266 x265 -x264 x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 x250 -x249 x248 -x247 -x246
1800.05/1800.51 v x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 x227 -x226 x225 -x224
1800.05/1800.51 v x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 -x201
1800.05/1800.51 v -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178
1800.05/1800.51 v x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 -x159 -x158 x157 -x156
1800.05/1800.51 v x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 x141 -x140 x139 -x138 -x137 -x136 x135 -x134
1800.05/1800.51 v -x133 -x132 x131 -x130 x129 -x128 x127 -x126 -x125 -x124 x123 x122 -x121 -x120 -x119 -x118 x117 -x116 x115 -x114 -x113 -x112
1800.05/1800.51 v x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 x95 -x94 -x93 -x92 x91 -x90 -x89 -x88
1800.05/1800.51 v x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 x67 -x66 -x65 -x64 x63 -x62 -x61
1800.05/1800.51 v -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 x52 -x51 -x50 x49 -x48 -x47 -x46 x45 -x44 x43 x42 -x41 -x40 -x39 -x38 x37 -x36 -x35
1800.05/1800.51 v -x34 x33 -x32 -x31 -x30 x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 x11 -x10 -x9 -x8
1800.05/1800.51 v x7 -x6 -x5 -x4 x3 -x2 -x1
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1692.12
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2666119-1276454865.opb
1800.05/1800.51 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 1505 initial, 1505 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2666119-1276454865.opb
1800.05/1800.51 c Variables : 444 (444 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 1499 initial, 1505 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.03 0 6 0 0 0 6 0 0
1800.05/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.51 c logicor : 1499+ 9 9089390 0 2 2753096 7833772 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 0.73 0.00 0.00 0.73 0.00
1800.05/1800.51 c logicor : 969.48 0.00 969.48 0.00 0.00
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 6.52 2 0 0
1800.05/1800.51 c rootredcost : 5.92 2 0 0
1800.05/1800.51 c pseudoobj : 327.43 14163549 843819 32646642
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 908.67 2619211 2619211 2619211 142.4 1 151.0 -
1800.05/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 30.03 331246 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 6 28.0 - - -
1800.05/1800.51 c applied locally : - - - 2619205 142.4 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.00 8 - - 30 - (maximal pool size: 406)
1800.05/1800.51 c redcost : 0.00 9 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.01 9 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.39 9 0 0 3902 0
1800.05/1800.51 c strongcg : 0.33 9 0 0 4000 0
1800.05/1800.51 c cmir : 0.13 9 0 0 21 0
1800.05/1800.51 c flowcover : 0.12 9 0 0 6 0
1800.05/1800.51 c clique : 0.01 1 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 1 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 0.73 1 0 0 0 0 2
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 34.14 4014906 0 0 0 0 8029812
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.01 - 2
1800.05/1800.51 c oneopt : 4.86 0 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c trivial : 0.00 2 0
1800.05/1800.51 c simplerounding : 0.00 0 0
1800.05/1800.51 c zirounding : 0.00 1 0
1800.05/1800.51 c rounding : 0.02 9 0
1800.05/1800.51 c shifting : 0.00 9 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c feaspump : 0.01 1 0
1800.05/1800.51 c coefdiving : 0.00 0 0
1800.05/1800.51 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.01 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 3.41 0 0
1800.05/1800.51 c trysol : 3.19 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 0.16 9 1472 163.56 9200.00
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.51 c strong branching : 0.73 17 3429 201.71 4697.26
1800.05/1800.51 c (at root node) : - 17 3429 201.71 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 7079170
1800.05/1800.51 c nodes (total) : 7079170
1800.05/1800.51 c nodes left : 153
1800.05/1800.51 c max depth : 173
1800.05/1800.51 c max depth (total): 173
1800.05/1800.51 c backtracks : 2294704 (32.4%)
1800.05/1800.51 c delayed cutoffs : 871688
1800.05/1800.51 c repropagations : 1761959 (11881411 domain reductions, 863900 cutoffs)
1800.05/1800.51 c avg switch length: 2.02
1800.05/1800.51 c switching time : 92.73
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 2 (2 improvements)
1800.05/1800.51 c First Solution : +1.88000000000000e+02 (in run 1, after 181 nodes, 2.07 seconds, depth 171, found by <relaxation>)
1800.05/1800.51 c Primal Bound : +1.87000000000000e+02 (in run 1, after 186 nodes, 2.08 seconds, depth 173, found by <relaxation>)
1800.05/1800.51 c Dual Bound : +1.37190274918492e+02
1800.05/1800.51 c Gap : 36.31 %
1800.05/1800.51 c Root Dual Bound : +1.36815274918492e+02
1800.05/1800.51 c Root Iterations : 1472
1800.05/1800.52 c Time complete: 1800.07.