0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664801-1276614387.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 284k| 0 | - | 60 | 7 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.80 c 1.6s| 10000 | 6642 | 0 | 0.0 |2849k| 35 | - | 60 | 322 | 0 | 0 | 0 | 384 | 0 | 0.000000e+00 | -- | Inf
3.59/3.67 c 3.4s| 20000 | 13551 | 0 | 0.0 |5436k| 35 | - | 60 | 598 | 0 | 0 | 0 | 960 | 0 | 0.000000e+00 | -- | Inf
5.79/5.82 c 5.3s| 30000 | 19408 | 0 | 0.0 |7815k| 35 | - | 60 | 575 | 0 | 0 | 0 |1552 | 0 | 0.000000e+00 | -- | Inf
8.09/8.17 c 7.5s| 40000 | 23839 | 0 | 0.0 | 10M| 36 | - | 60 | 523 | 0 | 0 | 0 |2255 | 0 | 0.000000e+00 | -- | Inf
10.29/10.33 c 9.6s| 50000 | 28358 | 0 | 0.0 | 11M| 36 | - | 60 | 279 | 0 | 0 | 0 |2783 | 0 | 0.000000e+00 | -- | Inf
11.99/12.03 c 11.1s| 60000 | 35902 | 0 | 0.0 | 14M| 36 | - | 60 | 342 | 0 | 0 | 0 |3285 | 0 | 0.000000e+00 | -- | Inf
13.69/13.74 c 12.7s| 70000 | 43252 | 0 | 0.0 | 16M| 37 | - | 60 | 215 | 0 | 0 | 0 |3668 | 0 | 0.000000e+00 | -- | Inf
15.49/15.50 c 14.3s| 80000 | 50393 | 0 | 0.0 | 19M| 37 | - | 60 | 249 | 0 | 0 | 0 |4179 | 0 | 0.000000e+00 | -- | Inf
17.29/17.32 c 16.0s| 90000 | 57259 | 0 | 0.0 | 21M| 37 | - | 60 | 258 | 0 | 0 | 0 |4793 | 0 | 0.000000e+00 | -- | Inf
19.09/19.16 c 17.6s|100000 | 63985 | 0 | 0.0 | 24M| 37 | - | 60 | 221 | 0 | 0 | 0 |5403 | 0 | 0.000000e+00 | -- | Inf
20.98/21.01 c 19.3s|110000 | 70474 | 0 | 0.0 | 26M| 37 | - | 60 | 192 | 0 | 0 | 0 |6076 | 0 | 0.000000e+00 | -- | Inf
22.79/22.89 c 21.1s|120000 | 76879 | 0 | 0.0 | 29M| 37 | - | 60 | 201 | 0 | 0 | 0 |6776 | 0 | 0.000000e+00 | -- | Inf
24.78/24.85 c 22.9s|130000 | 82923 | 0 | 0.0 | 31M| 37 | - | 60 | 163 | 0 | 0 | 0 |7557 | 0 | 0.000000e+00 | -- | Inf
26.78/26.82 c 24.7s|140000 | 88791 | 0 | 0.0 | 33M| 37 | - | 60 | 271 | 0 | 0 | 0 |8302 | 0 | 0.000000e+00 | -- | Inf
28.68/28.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.68/28.80 c 26.5s|150000 | 94613 | 0 | 0.0 | 36M| 37 | - | 60 | 170 | 0 | 0 | 0 |9024 | 0 | 0.000000e+00 | -- | Inf
30.79/30.83 c 28.4s|160000 |100125 | 0 | 0.0 | 38M| 37 | - | 60 | 253 | 0 | 0 | 0 |9821 | 0 | 0.000000e+00 | -- | Inf
32.78/32.89 c 30.3s|170000 |105464 | 0 | 0.0 | 41M| 37 | - | 60 | 222 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
34.98/35.01 c 32.2s|180000 |110609 | 0 | 0.0 | 43M| 37 | - | 60 | 264 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
37.07/37.12 c 34.2s|190000 |115505 | 0 | 0.0 | 45M| 37 | - | 60 | 168 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
39.17/39.29 c 36.2s|200000 |120212 | 0 | 0.0 | 47M| 37 | - | 60 | 256 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
41.48/41.52 c 38.3s|210000 |124546 | 0 | 0.0 | 50M| 37 | - | 60 | 182 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
43.68/43.78 c 40.4s|220000 |128758 | 0 | 0.0 | 52M| 37 | - | 60 | 282 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
45.97/46.09 c 42.6s|230000 |132568 | 0 | 0.0 | 54M| 37 | - | 60 | 229 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
48.28/48.38 c 44.7s|240000 |136392 | 0 | 0.0 | 56M| 37 | - | 60 | 245 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
50.68/50.70 c 46.9s|250000 |139759 | 0 | 0.0 | 58M| 37 | - | 60 | 149 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
52.97/53.04 c 49.0s|260000 |142845 | 0 | 0.0 | 60M| 38 | - | 60 | 217 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
55.27/55.34 c 51.2s|270000 |145682 | 0 | 0.0 | 62M| 38 | - | 60 | 128 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
57.57/57.69 c 53.4s|280000 |147864 | 0 | 0.0 | 64M| 38 | - | 60 | 81 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
59.87/59.98 c 55.5s|290000 |149854 | 0 | 0.0 | 65M| 38 | - | 60 | 43 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
61.47/61.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.47/61.53 c 56.9s|300000 |157606 | 0 | 0.0 | 68M| 38 | - | 60 | 99 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
63.06/63.15 c 58.4s|310000 |165270 | 0 | 0.0 | 70M| 38 | - | 60 | 132 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
64.67/64.80 c 59.9s|320000 |172844 | 0 | 0.0 | 73M| 38 | - | 60 | 181 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
66.36/66.43 c 61.4s|330000 |180326 | 0 | 0.0 | 75M| 38 | - | 60 | 158 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
68.07/68.13 c 63.0s|340000 |187770 | 0 | 0.0 | 78M| 38 | - | 60 | 162 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
69.77/69.80 c 64.5s|350000 |195054 | 0 | 0.0 | 80M| 38 | - | 60 | 136 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
71.47/71.53 c 66.1s|360000 |202297 | 0 | 0.0 | 83M| 38 | - | 60 | 206 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
73.16/73.23 c 67.6s|370000 |209566 | 0 | 0.0 | 85M| 38 | - | 60 | 136 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
74.86/74.96 c 69.2s|380000 |216750 | 0 | 0.0 | 87M| 38 | - | 60 | 179 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
76.66/76.75 c 70.9s|390000 |223783 | 0 | 0.0 | 90M| 38 | - | 60 | 190 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
78.46/78.52 c 72.5s|400000 |230773 | 0 | 0.0 | 92M| 38 | - | 60 | 155 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
80.17/80.27 c 74.1s|410000 |237789 | 0 | 0.0 | 95M| 38 | - | 60 | 153 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
81.96/82.06 c 75.7s|420000 |244691 | 0 | 0.0 | 97M| 38 | - | 60 | 227 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
83.76/83.84 c 77.4s|430000 |251644 | 0 | 0.0 | 100M| 38 | - | 60 | 186 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
85.56/85.64 c 79.0s|440000 |258431 | 0 | 0.0 | 102M| 38 | - | 60 | 152 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
87.36/87.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.36/87.43 c 80.7s|450000 |265226 | 0 | 0.0 | 104M| 38 | - | 60 | 144 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
89.16/89.22 c 82.3s|460000 |271963 | 0 | 0.0 | 107M| 38 | - | 60 | 170 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
90.96/91.04 c 84.0s|470000 |278698 | 0 | 0.0 | 109M| 38 | - | 60 | 232 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
92.85/92.90 c 85.7s|480000 |285348 | 0 | 0.0 | 112M| 38 | - | 60 | 177 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
94.66/94.73 c 87.4s|490000 |291971 | 0 | 0.0 | 114M| 38 | - | 60 | 172 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
96.46/96.56 c 89.0s|500000 |298691 | 0 | 0.0 | 117M| 38 | - | 60 | 168 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
98.35/98.42 c 90.8s|510000 |305212 | 0 | 0.0 | 119M| 38 | - | 60 | 192 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
100.16/100.28 c 92.5s|520000 |311631 | 0 | 0.0 | 121M| 38 | - | 60 | 146 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
102.05/102.14 c 94.2s|530000 |318014 | 0 | 0.0 | 124M| 38 | - | 60 | 196 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
103.95/104.05 c 95.9s|540000 |324481 | 0 | 0.0 | 126M| 38 | - | 60 | 215 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
105.86/105.93 c 97.7s|550000 |330848 | 0 | 0.0 | 129M| 38 | - | 60 | 185 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
107.76/107.82 c 99.4s|560000 |337257 | 0 | 0.0 | 131M| 38 | - | 60 | 208 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
109.65/109.73 c 101s|570000 |343591 | 0 | 0.0 | 133M| 38 | - | 60 | 218 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
111.56/111.68 c 103s|580000 |349790 | 0 | 0.0 | 136M| 38 | - | 60 | 225 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
113.55/113.61 c 105s|590000 |355948 | 0 | 0.0 | 138M| 38 | - | 60 | 157 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
115.46/115.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.46/115.55 c 107s|600000 |362056 | 0 | 0.0 | 141M| 38 | - | 60 | 158 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
117.35/117.45 c 108s|610000 |368296 | 0 | 0.0 | 143M| 38 | - | 60 | 203 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
119.25/119.39 c 110s|620000 |374410 | 0 | 0.0 | 145M| 38 | - | 60 | 174 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
121.25/121.36 c 112s|630000 |380590 | 0 | 0.0 | 148M| 38 | - | 60 | 230 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
123.25/123.33 c 114s|640000 |386671 | 0 | 0.0 | 150M| 38 | - | 60 | 253 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
125.25/125.33 c 116s|650000 |392563 | 0 | 0.0 | 152M| 38 | - | 60 | 215 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
127.24/127.33 c 117s|660000 |398503 | 0 | 0.0 | 155M| 38 | - | 60 | 229 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
129.25/129.34 c 119s|670000 |404446 | 0 | 0.0 | 157M| 38 | - | 60 | 166 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
131.25/131.32 c 121s|680000 |410347 | 0 | 0.0 | 160M| 38 | - | 60 | 199 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
133.14/133.29 c 123s|690000 |416237 | 0 | 0.0 | 162M| 38 | - | 60 | 162 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
135.25/135.33 c 125s|700000 |422011 | 0 | 0.0 | 164M| 38 | - | 60 | 231 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
137.24/137.35 c 127s|710000 |427905 | 0 | 0.0 | 167M| 38 | - | 60 | 234 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
139.34/139.40 c 129s|720000 |433738 | 0 | 0.0 | 169M| 38 | - | 60 | 281 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
141.44/141.52 c 131s|730000 |439335 | 0 | 0.0 | 172M| 38 | - | 60 | 299 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
143.44/143.58 c 133s|740000 |444901 | 0 | 0.0 | 174M| 38 | - | 60 | 265 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
145.54/145.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.54/145.62 c 134s|750000 |450493 | 0 | 0.0 | 176M| 38 | - | 60 | 196 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
147.54/147.66 c 136s|760000 |456085 | 0 | 0.0 | 179M| 38 | - | 60 | 217 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
149.54/149.69 c 138s|770000 |461631 | 0 | 0.0 | 181M| 38 | - | 60 | 159 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
151.53/151.69 c 140s|780000 |467264 | 0 | 0.0 | 183M| 38 | - | 60 | 220 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
153.63/153.79 c 142s|790000 |472786 | 0 | 0.0 | 186M| 38 | - | 60 | 181 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
155.73/155.85 c 144s|800000 |478307 | 0 | 0.0 | 188M| 38 | - | 60 | 241 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
157.84/157.92 c 146s|810000 |483889 | 0 | 0.0 | 190M| 38 | - | 60 | 267 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
160.03/160.13 c 148s|820000 |489033 | 0 | 0.0 | 193M| 38 | - | 60 | 321 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
162.13/162.27 c 150s|830000 |494215 | 0 | 0.0 | 195M| 38 | - | 60 | 324 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
164.33/164.42 c 152s|840000 |499420 | 0 | 0.0 | 197M| 38 | - | 60 | 219 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
166.43/166.55 c 154s|850000 |504623 | 0 | 0.0 | 200M| 38 | - | 60 | 282 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
168.53/168.69 c 156s|860000 |509821 | 0 | 0.0 | 202M| 38 | - | 60 | 179 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
170.73/170.81 c 158s|870000 |515075 | 0 | 0.0 | 204M| 38 | - | 60 | 238 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
172.73/172.89 c 160s|880000 |520265 | 0 | 0.0 | 207M| 38 | - | 60 | 172 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
174.84/174.98 c 162s|890000 |525512 | 0 | 0.0 | 209M| 38 | - | 60 | 202 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
177.03/177.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.03/177.11 c 164s|900000 |530708 | 0 | 0.0 | 211M| 38 | - | 60 | 205 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
179.13/179.26 c 166s|910000 |535959 | 0 | 0.0 | 213M| 38 | - | 60 | 293 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
181.43/181.52 c 168s|920000 |540765 | 0 | 0.0 | 216M| 38 | - | 60 | 386 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
183.73/183.85 c 170s|930000 |545451 | 0 | 0.0 | 218M| 38 | - | 60 | 394 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
186.03/186.10 c 172s|940000 |550236 | 0 | 0.0 | 220M| 38 | - | 60 | 263 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
188.22/188.32 c 174s|950000 |555000 | 0 | 0.0 | 223M| 38 | - | 60 | 288 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
190.43/190.53 c 176s|960000 |559823 | 0 | 0.0 | 225M| 38 | - | 60 | 194 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
192.72/192.81 c 178s|970000 |564494 | 0 | 0.0 | 227M| 38 | - | 60 | 298 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
194.82/194.99 c 180s|980000 |569349 | 0 | 0.0 | 230M| 38 | - | 60 | 237 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
197.12/197.20 c 182s|990000 |574173 | 0 | 0.0 | 232M| 38 | - | 60 | 220 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
199.22/199.37 c 184s| 1000k|579011 | 0 | 0.0 | 234M| 38 | - | 60 | 158 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
201.42/201.52 c 186s| 1010k|583886 | 0 | 0.0 | 236M| 38 | - | 60 | 185 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
203.62/203.75 c 188s| 1020k|588634 | 0 | 0.0 | 239M| 39 | - | 60 | 243 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
206.02/206.12 c 191s| 1030k|593137 | 0 | 0.0 | 241M| 39 | - | 60 | 406 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
208.41/208.54 c 193s| 1040k|597426 | 0 | 0.0 | 243M| 39 | - | 60 | 391 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
210.81/210.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.81/210.92 c 195s| 1050k|601706 | 0 | 0.0 | 246M| 39 | - | 60 | 297 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
213.11/213.24 c 197s| 1060k|605983 | 0 | 0.0 | 248M| 39 | - | 60 | 284 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
215.42/215.54 c 199s| 1070k|610295 | 0 | 0.0 | 250M| 39 | - | 60 | 301 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
217.72/217.89 c 202s| 1080k|614555 | 0 | 0.0 | 252M| 39 | - | 60 | 269 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
220.12/220.21 c 204s| 1090k|618802 | 0 | 0.0 | 255M| 39 | - | 60 | 280 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
222.41/222.52 c 206s| 1100k|623133 | 0 | 0.0 | 257M| 39 | - | 60 | 227 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
224.61/224.76 c 208s| 1110k|627547 | 0 | 0.0 | 259M| 39 | - | 60 | 232 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
226.91/227.03 c 210s| 1120k|631838 | 0 | 0.0 | 261M| 39 | - | 60 | 259 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
229.11/229.27 c 212s| 1130k|636179 | 0 | 0.0 | 263M| 39 | - | 60 | 164 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
231.41/231.54 c 214s| 1140k|640613 | 0 | 0.0 | 266M| 39 | - | 60 | 236 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
233.70/233.82 c 216s| 1150k|644659 | 0 | 0.0 | 268M| 39 | - | 60 | 186 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
236.01/236.15 c 219s| 1160k|648488 | 0 | 0.0 | 270M| 39 | - | 60 | 312 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
238.51/238.63 c 221s| 1170k|652255 | 0 | 0.0 | 272M| 39 | - | 60 | 379 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
241.01/241.13 c 223s| 1180k|656048 | 0 | 0.0 | 274M| 39 | - | 60 | 309 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
243.41/243.59 c 226s| 1190k|659833 | 0 | 0.0 | 277M| 39 | - | 60 | 260 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
245.90/246.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.90/246.02 c 228s| 1200k|663648 | 0 | 0.0 | 279M| 39 | - | 60 | 310 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
248.30/248.43 c 230s| 1210k|667409 | 0 | 0.0 | 281M| 39 | - | 60 | 221 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
250.71/250.81 c 232s| 1220k|671222 | 0 | 0.0 | 283M| 39 | - | 60 | 243 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
253.10/253.21 c 235s| 1230k|675097 | 0 | 0.0 | 285M| 39 | - | 60 | 269 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
255.50/255.60 c 237s| 1240k|678880 | 0 | 0.0 | 287M| 39 | - | 60 | 228 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
257.80/257.94 c 239s| 1250k|682787 | 0 | 0.0 | 289M| 39 | - | 60 | 249 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
260.10/260.28 c 241s| 1260k|686596 | 0 | 0.0 | 291M| 39 | - | 60 | 167 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
262.40/262.59 c 243s| 1270k|690041 | 0 | 0.0 | 293M| 39 | - | 60 | 141 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
264.79/264.92 c 246s| 1280k|693500 | 0 | 0.0 | 295M| 39 | - | 60 | 129 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
267.10/267.25 c 248s| 1290k|696820 | 0 | 0.0 | 297M| 39 | - | 60 | 193 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
269.59/269.72 c 250s| 1300k|700002 | 0 | 0.0 | 299M| 39 | - | 60 | 267 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
272.09/272.21 c 252s| 1310k|703237 | 0 | 0.0 | 301M| 39 | - | 60 | 243 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
274.50/274.69 c 255s| 1320k|706499 | 0 | 0.0 | 303M| 39 | - | 60 | 231 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
277.00/277.15 c 257s| 1330k|709720 | 0 | 0.0 | 305M| 39 | - | 60 | 252 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
279.39/279.59 c 259s| 1340k|713006 | 0 | 0.0 | 307M| 39 | - | 60 | 220 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
281.79/281.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.79/281.99 c 262s| 1350k|716313 | 0 | 0.0 | 309M| 39 | - | 60 | 190 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
284.19/284.33 c 264s| 1360k|719644 | 0 | 0.0 | 311M| 39 | - | 60 | 176 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
286.59/286.74 c 266s| 1370k|722600 | 0 | 0.0 | 313M| 39 | - | 60 | 139 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
288.98/289.14 c 268s| 1380k|725397 | 0 | 0.0 | 315M| 39 | - | 60 | 118 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
291.30/291.50 c 270s| 1390k|728230 | 0 | 0.0 | 317M| 39 | - | 60 | 109 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
293.69/293.88 c 273s| 1400k|731042 | 0 | 0.0 | 319M| 39 | - | 60 | 96 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
296.19/296.33 c 275s| 1410k|733557 | 0 | 0.0 | 320M| 39 | - | 60 | 176 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
298.58/298.80 c 277s| 1420k|736153 | 0 | 0.0 | 322M| 39 | - | 60 | 202 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
301.09/301.24 c 280s| 1430k|738788 | 0 | 0.0 | 324M| 39 | - | 60 | 170 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
303.48/303.67 c 282s| 1440k|741454 | 0 | 0.0 | 326M| 39 | - | 60 | 149 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
305.88/306.07 c 284s| 1450k|744189 | 0 | 0.0 | 327M| 39 | - | 60 | 110 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
308.38/308.53 c 286s| 1460k|746289 | 0 | 0.0 | 329M| 39 | - | 60 | 80 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
310.78/310.90 c 289s| 1470k|748482 | 0 | 0.0 | 331M| 39 | - | 60 | 59 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
313.08/313.23 c 291s| 1480k|750774 | 0 | 0.0 | 332M| 39 | - | 60 | 44 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
315.67/315.81 c 293s| 1490k|752428 | 0 | 0.0 | 334M| 39 | - | 60 | 162 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
318.08/318.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.08/318.29 c 296s| 1500k|754336 | 0 | 0.0 | 335M| 39 | - | 60 | 151 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
320.58/320.78 c 298s| 1510k|756390 | 0 | 0.0 | 337M| 39 | - | 60 | 135 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
323.07/323.29 c 300s| 1520k|758069 | 0 | 0.0 | 338M| 39 | - | 60 | 99 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
325.58/325.71 c 303s| 1530k|759746 | 0 | 0.0 | 340M| 39 | - | 60 | 49 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
328.07/328.22 c 305s| 1540k|760882 | 0 | 0.0 | 341M| 39 | - | 60 | 84 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
330.67/330.82 c 307s| 1550k|761999 | 0 | 0.0 | 342M| 39 | - | 60 | 140 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
333.18/333.37 c 310s| 1560k|762786 | 0 | 0.0 | 344M| 39 | - | 60 | 62 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
335.47/335.67 c 312s| 1570k|765801 | 0 | 0.0 | 345M| 42 | - | 60 | 49 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
337.07/337.22 c 313s| 1580k|773197 | 0 | 0.0 | 347M| 42 | - | 60 | 45 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
338.58/338.78 c 315s| 1590k|780491 | 0 | 0.0 | 350M| 42 | - | 60 | 33 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
340.17/340.33 c 316s| 1600k|787728 | 0 | 0.0 | 352M| 42 | - | 60 | 27 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
341.77/341.93 c 318s| 1610k|794846 | 0 | 0.0 | 354M| 42 | - | 60 | 21 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
343.36/343.50 c 319s| 1620k|801998 | 0 | 0.0 | 356M| 42 | - | 60 | 30 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
344.96/345.13 c 321s| 1630k|809159 | 0 | 0.0 | 359M| 42 | - | 60 | 29 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
346.57/346.77 c 322s| 1640k|816418 | 0 | 0.0 | 361M| 42 | - | 60 | 56 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
348.26/348.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.26/348.44 c 324s| 1650k|823625 | 0 | 0.0 | 363M| 42 | - | 60 | 51 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
349.97/350.13 c 325s| 1660k|830734 | 0 | 0.0 | 365M| 42 | - | 60 | 72 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
351.67/351.82 c 327s| 1670k|837843 | 0 | 0.0 | 368M| 42 | - | 60 | 68 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
353.27/353.49 c 328s| 1680k|844993 | 0 | 0.0 | 370M| 42 | - | 60 | 85 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
354.96/355.17 c 330s| 1690k|852075 | 0 | 0.0 | 372M| 42 | - | 60 | 51 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
356.66/356.86 c 331s| 1700k|859138 | 0 | 0.0 | 374M| 42 | - | 60 | 72 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
358.37/358.60 c 333s| 1710k|866130 | 0 | 0.0 | 377M| 42 | - | 60 | 83 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
360.16/360.31 c 335s| 1720k|873145 | 0 | 0.0 | 379M| 42 | - | 60 | 90 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
361.86/362.06 c 336s| 1730k|880192 | 0 | 0.0 | 381M| 42 | - | 60 | 110 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
363.66/363.80 c 338s| 1740k|887167 | 0 | 0.0 | 384M| 42 | - | 60 | 91 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
365.36/365.51 c 339s| 1750k|894230 | 0 | 0.0 | 386M| 42 | - | 60 | 91 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
367.05/367.25 c 341s| 1760k|901091 | 0 | 0.0 | 388M| 42 | - | 60 | 95 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
368.86/369.00 c 343s| 1770k|907999 | 0 | 0.0 | 390M| 42 | - | 60 | 105 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
370.57/370.79 c 344s| 1780k|914854 | 0 | 0.0 | 393M| 42 | - | 60 | 102 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
372.36/372.53 c 346s| 1790k|921738 | 0 | 0.0 | 395M| 42 | - | 60 | 89 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
374.06/374.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.06/374.24 c 347s| 1800k|928598 | 0 | 0.0 | 397M| 42 | - | 60 | 111 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
375.75/375.95 c 349s| 1810k|935508 | 0 | 0.0 | 399M| 42 | - | 60 | 91 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
377.56/377.73 c 351s| 1820k|942353 | 0 | 0.0 | 402M| 42 | - | 60 | 92 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
379.37/379.51 c 352s| 1830k|949237 | 0 | 0.0 | 404M| 42 | - | 60 | 104 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
381.05/381.25 c 354s| 1840k|956186 | 0 | 0.0 | 406M| 42 | - | 60 | 62 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
382.75/382.94 c 355s| 1850k|963079 | 0 | 0.0 | 408M| 42 | - | 60 | 75 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
384.55/384.71 c 357s| 1860k|969838 | 0 | 0.0 | 411M| 42 | - | 60 | 115 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
386.35/386.53 c 359s| 1870k|976590 | 0 | 0.0 | 413M| 42 | - | 60 | 148 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
388.16/388.35 c 360s| 1880k|983265 | 0 | 0.0 | 415M| 42 | - | 60 | 106 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
389.95/390.16 c 362s| 1890k|990006 | 0 | 0.0 | 418M| 42 | - | 60 | 157 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
391.75/391.99 c 364s| 1900k|996721 | 0 | 0.0 | 420M| 42 | - | 60 | 126 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
393.56/393.79 c 365s| 1910k| 1003k| 0 | 0.0 | 422M| 42 | - | 60 | 129 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
395.45/395.63 c 367s| 1920k| 1010k| 0 | 0.0 | 424M| 42 | - | 60 | 122 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
397.25/397.42 c 369s| 1930k| 1016k| 0 | 0.0 | 427M| 42 | - | 60 | 107 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
398.95/399.18 c 370s| 1940k| 1023k| 0 | 0.0 | 429M| 42 | - | 60 | 124 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
400.85/401.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.85/401.00 c 372s| 1950k| 1030k| 0 | 0.0 | 431M| 42 | - | 60 | 125 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
402.54/402.78 c 374s| 1960k| 1037k| 0 | 0.0 | 433M| 42 | - | 60 | 85 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
404.35/404.53 c 375s| 1970k| 1043k| 0 | 0.0 | 436M| 42 | - | 60 | 76 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
406.15/406.39 c 377s| 1980k| 1050k| 0 | 0.0 | 438M| 42 | - | 60 | 107 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
408.04/408.23 c 379s| 1990k| 1056k| 0 | 0.0 | 440M| 42 | - | 60 | 107 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
409.85/410.10 c 380s| 2000k| 1063k| 0 | 0.0 | 442M| 42 | - | 60 | 148 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
411.84/412.01 c 382s| 2010k| 1070k| 0 | 0.0 | 445M| 42 | - | 60 | 186 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
413.64/413.84 c 384s| 2020k| 1076k| 0 | 0.0 | 447M| 42 | - | 60 | 168 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
415.54/415.72 c 386s| 2030k| 1083k| 0 | 0.0 | 449M| 42 | - | 60 | 174 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
417.34/417.57 c 387s| 2040k| 1089k| 0 | 0.0 | 451M| 42 | - | 60 | 153 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
419.24/419.47 c 389s| 2050k| 1096k| 0 | 0.0 | 454M| 42 | - | 60 | 154 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
421.05/421.28 c 391s| 2060k| 1102k| 0 | 0.0 | 456M| 42 | - | 60 | 118 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
422.94/423.11 c 392s| 2070k| 1109k| 0 | 0.0 | 458M| 42 | - | 60 | 166 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
424.84/425.03 c 394s| 2080k| 1115k| 0 | 0.0 | 460M| 42 | - | 60 | 166 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
426.64/426.83 c 396s| 2090k| 1122k| 0 | 0.0 | 463M| 42 | - | 60 | 119 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
428.43/428.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.43/428.66 c 397s| 2100k| 1129k| 0 | 0.0 | 465M| 42 | - | 60 | 114 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
430.34/430.53 c 399s| 2110k| 1135k| 0 | 0.0 | 467M| 42 | - | 60 | 129 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
432.15/432.36 c 401s| 2120k| 1142k| 0 | 0.0 | 470M| 42 | - | 60 | 92 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
433.93/434.18 c 403s| 2130k| 1148k| 0 | 0.0 | 472M| 42 | - | 60 | 45 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
435.73/435.99 c 404s| 2140k| 1154k| 0 | 0.0 | 474M| 42 | - | 60 | 52 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
437.64/437.86 c 406s| 2150k| 1161k| 0 | 0.0 | 476M| 42 | - | 60 | 63 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
439.53/439.76 c 408s| 2160k| 1167k| 0 | 0.0 | 478M| 42 | - | 60 | 132 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
441.43/441.65 c 409s| 2170k| 1173k| 0 | 0.0 | 481M| 42 | - | 60 | 108 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
443.23/443.48 c 411s| 2180k| 1180k| 0 | 0.0 | 483M| 42 | - | 60 | 75 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
445.13/445.33 c 413s| 2190k| 1186k| 0 | 0.0 | 485M| 42 | - | 60 | 91 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
446.93/447.18 c 415s| 2200k| 1192k| 0 | 0.0 | 487M| 42 | - | 60 | 72 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
448.83/449.04 c 416s| 2210k| 1198k| 0 | 0.0 | 489M| 42 | - | 60 | 61 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
450.74/450.91 c 418s| 2220k| 1205k| 0 | 0.0 | 492M| 42 | - | 60 | 134 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
452.62/452.84 c 420s| 2230k| 1211k| 0 | 0.0 | 494M| 42 | - | 60 | 140 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
454.52/454.79 c 422s| 2240k| 1217k| 0 | 0.0 | 496M| 42 | - | 60 | 170 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
456.43/456.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.43/456.66 c 423s| 2250k| 1224k| 0 | 0.0 | 498M| 42 | - | 60 | 157 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
458.33/458.55 c 425s| 2260k| 1230k| 0 | 0.0 | 501M| 42 | - | 60 | 174 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
460.33/460.50 c 427s| 2270k| 1236k| 0 | 0.0 | 503M| 42 | - | 60 | 150 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
462.22/462.41 c 429s| 2280k| 1242k| 0 | 0.0 | 505M| 42 | - | 60 | 183 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
464.13/464.30 c 430s| 2290k| 1249k| 0 | 0.0 | 507M| 42 | - | 60 | 197 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
466.02/466.23 c 432s| 2300k| 1255k| 0 | 0.0 | 509M| 42 | - | 60 | 139 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
467.92/468.14 c 434s| 2310k| 1261k| 0 | 0.0 | 512M| 42 | - | 60 | 142 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
469.92/470.19 c 436s| 2320k| 1268k| 0 | 0.0 | 514M| 42 | - | 60 | 164 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
471.92/472.10 c 438s| 2330k| 1274k| 0 | 0.0 | 516M| 42 | - | 60 | 169 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
473.83/474.02 c 439s| 2340k| 1281k| 0 | 0.0 | 518M| 42 | - | 60 | 117 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
475.72/475.96 c 441s| 2350k| 1287k| 0 | 0.0 | 521M| 42 | - | 60 | 111 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
477.71/477.97 c 443s| 2360k| 1293k| 0 | 0.0 | 523M| 42 | - | 60 | 134 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
479.71/479.93 c 445s| 2370k| 1299k| 0 | 0.0 | 525M| 42 | - | 60 | 142 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
481.63/481.87 c 447s| 2380k| 1305k| 0 | 0.0 | 527M| 42 | - | 60 | 153 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
483.61/483.82 c 448s| 2390k| 1311k| 0 | 0.0 | 530M| 42 | - | 60 | 149 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
485.52/485.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.52/485.78 c 450s| 2400k| 1317k| 0 | 0.0 | 532M| 42 | - | 60 | 131 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
487.41/487.67 c 452s| 2410k| 1324k| 0 | 0.0 | 534M| 42 | - | 60 | 78 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
489.41/489.68 c 454s| 2420k| 1330k| 0 | 0.0 | 536M| 42 | - | 60 | 107 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
491.31/491.58 c 456s| 2430k| 1336k| 0 | 0.0 | 538M| 42 | - | 60 | 68 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
493.31/493.55 c 457s| 2440k| 1342k| 0 | 0.0 | 541M| 42 | - | 60 | 103 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
495.21/495.48 c 459s| 2450k| 1348k| 0 | 0.0 | 543M| 42 | - | 60 | 82 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
497.21/497.46 c 461s| 2460k| 1354k| 0 | 0.0 | 545M| 42 | - | 60 | 111 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
499.21/499.45 c 463s| 2470k| 1360k| 0 | 0.0 | 547M| 42 | - | 60 | 125 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
501.21/501.42 c 465s| 2480k| 1366k| 0 | 0.0 | 550M| 42 | - | 60 | 143 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
503.21/503.44 c 467s| 2490k| 1373k| 0 | 0.0 | 552M| 42 | - | 60 | 128 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
505.21/505.48 c 469s| 2500k| 1379k| 0 | 0.0 | 554M| 42 | - | 60 | 173 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
507.31/507.57 c 470s| 2510k| 1385k| 0 | 0.0 | 556M| 42 | - | 60 | 232 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
509.30/509.59 c 472s| 2520k| 1391k| 0 | 0.0 | 559M| 42 | - | 60 | 182 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
511.40/511.61 c 474s| 2530k| 1397k| 0 | 0.0 | 561M| 42 | - | 60 | 208 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
513.41/513.61 c 476s| 2540k| 1403k| 0 | 0.0 | 563M| 42 | - | 60 | 210 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
515.40/515.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.40/515.60 c 478s| 2550k| 1409k| 0 | 0.0 | 565M| 42 | - | 60 | 238 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
517.41/517.64 c 480s| 2560k| 1415k| 0 | 0.0 | 568M| 42 | - | 60 | 223 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
519.40/519.67 c 482s| 2570k| 1421k| 0 | 0.0 | 570M| 42 | - | 60 | 184 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
521.40/521.69 c 484s| 2580k| 1427k| 0 | 0.0 | 572M| 42 | - | 60 | 231 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
523.41/523.67 c 485s| 2590k| 1434k| 0 | 0.0 | 574M| 42 | - | 60 | 189 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
525.40/525.64 c 487s| 2600k| 1440k| 0 | 0.0 | 576M| 42 | - | 60 | 115 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
527.40/527.70 c 489s| 2610k| 1446k| 0 | 0.0 | 579M| 42 | - | 60 | 164 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
529.50/529.77 c 491s| 2620k| 1451k| 0 | 0.0 | 581M| 42 | - | 60 | 190 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
531.60/531.82 c 493s| 2630k| 1457k| 0 | 0.0 | 583M| 42 | - | 60 | 206 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
533.60/533.83 c 495s| 2640k| 1463k| 0 | 0.0 | 585M| 42 | - | 60 | 173 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
535.70/535.90 c 497s| 2650k| 1469k| 0 | 0.0 | 588M| 42 | - | 60 | 178 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
537.70/537.95 c 499s| 2660k| 1475k| 0 | 0.0 | 590M| 42 | - | 60 | 129 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
539.80/540.02 c 501s| 2670k| 1481k| 0 | 0.0 | 592M| 42 | - | 60 | 114 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
541.79/542.05 c 503s| 2680k| 1487k| 0 | 0.0 | 594M| 42 | - | 60 | 127 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
543.79/544.07 c 504s| 2690k| 1492k| 0 | 0.0 | 596M| 42 | - | 60 | 160 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
545.89/546.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.89/546.18 c 506s| 2700k| 1498k| 0 | 0.0 | 598M| 42 | - | 60 | 171 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
547.99/548.24 c 508s| 2710k| 1504k| 0 | 0.0 | 601M| 42 | - | 60 | 148 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
550.09/550.33 c 510s| 2720k| 1510k| 0 | 0.0 | 603M| 42 | - | 60 | 160 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
552.09/552.36 c 512s| 2730k| 1516k| 0 | 0.0 | 605M| 42 | - | 60 | 170 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
554.19/554.42 c 514s| 2740k| 1522k| 0 | 0.0 | 607M| 42 | - | 60 | 138 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
556.19/556.46 c 516s| 2750k| 1528k| 0 | 0.0 | 610M| 42 | - | 60 | 152 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
558.28/558.53 c 518s| 2760k| 1533k| 0 | 0.0 | 612M| 42 | - | 60 | 102 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
560.29/560.59 c 520s| 2770k| 1539k| 0 | 0.0 | 614M| 42 | - | 60 | 143 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
562.29/562.59 c 522s| 2780k| 1545k| 0 | 0.0 | 616M| 42 | - | 60 | 112 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
564.29/564.59 c 523s| 2790k| 1551k| 0 | 0.0 | 618M| 42 | - | 60 | 75 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
566.39/566.66 c 525s| 2800k| 1557k| 0 | 0.0 | 621M| 42 | - | 60 | 143 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
568.49/568.72 c 527s| 2810k| 1563k| 0 | 0.0 | 623M| 42 | - | 60 | 137 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
570.48/570.77 c 529s| 2820k| 1569k| 0 | 0.0 | 625M| 42 | - | 60 | 156 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
572.58/572.81 c 531s| 2830k| 1575k| 0 | 0.0 | 627M| 42 | - | 60 | 193 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
574.58/574.86 c 533s| 2840k| 1580k| 0 | 0.0 | 629M| 42 | - | 60 | 179 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
576.68/576.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.68/576.92 c 535s| 2850k| 1586k| 0 | 0.0 | 632M| 42 | - | 60 | 242 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
578.78/579.02 c 537s| 2860k| 1592k| 0 | 0.0 | 634M| 42 | - | 60 | 196 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
580.78/581.09 c 539s| 2870k| 1598k| 0 | 0.0 | 636M| 42 | - | 60 | 246 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
582.98/583.20 c 541s| 2880k| 1604k| 0 | 0.0 | 638M| 42 | - | 60 | 216 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
585.08/585.30 c 543s| 2890k| 1610k| 0 | 0.0 | 641M| 42 | - | 60 | 262 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
587.19/587.46 c 545s| 2900k| 1616k| 0 | 0.0 | 643M| 42 | - | 60 | 291 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
589.28/589.55 c 547s| 2910k| 1622k| 0 | 0.0 | 645M| 42 | - | 60 | 202 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
591.38/591.62 c 549s| 2920k| 1627k| 0 | 0.0 | 647M| 42 | - | 60 | 199 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
593.57/593.80 c 551s| 2930k| 1633k| 0 | 0.0 | 650M| 42 | - | 60 | 253 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
595.78/596.03 c 553s| 2940k| 1638k| 0 | 0.0 | 652M| 42 | - | 60 | 247 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
597.98/598.22 c 555s| 2950k| 1644k| 0 | 0.0 | 654M| 42 | - | 60 | 242 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
600.07/600.40 c 557s| 2960k| 1650k| 0 | 0.0 | 656M| 42 | - | 60 | 220 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
602.27/602.58 c 559s| 2970k| 1655k| 0 | 0.0 | 658M| 42 | - | 60 | 205 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
604.47/604.70 c 561s| 2980k| 1661k| 0 | 0.0 | 660M| 42 | - | 60 | 191 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
606.47/606.78 c 563s| 2990k| 1666k| 0 | 0.0 | 663M| 42 | - | 60 | 175 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
608.67/608.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.67/608.91 c 565s| 3000k| 1672k| 0 | 0.0 | 665M| 42 | - | 60 | 168 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
610.77/611.01 c 567s| 3010k| 1677k| 0 | 0.0 | 667M| 42 | - | 60 | 184 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
612.87/613.17 c 569s| 3020k| 1683k| 0 | 0.0 | 669M| 42 | - | 60 | 159 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
615.07/615.35 c 571s| 3030k| 1689k| 0 | 0.0 | 671M| 42 | - | 60 | 202 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
617.37/617.63 c 573s| 3040k| 1694k| 0 | 0.0 | 674M| 42 | - | 60 | 239 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
619.57/619.80 c 575s| 3050k| 1700k| 0 | 0.0 | 676M| 42 | - | 60 | 177 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
621.66/621.98 c 577s| 3060k| 1705k| 0 | 0.0 | 678M| 42 | - | 60 | 156 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
623.76/624.07 c 579s| 3070k| 1711k| 0 | 0.0 | 680M| 42 | - | 60 | 143 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
625.96/626.23 c 581s| 3080k| 1716k| 0 | 0.0 | 682M| 42 | - | 60 | 131 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
628.06/628.30 c 583s| 3090k| 1722k| 0 | 0.0 | 685M| 42 | - | 60 | 130 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
630.17/630.41 c 584s| 3100k| 1728k| 0 | 0.0 | 687M| 42 | - | 60 | 169 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
632.36/632.63 c 587s| 3110k| 1733k| 0 | 0.0 | 689M| 42 | - | 60 | 186 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
634.47/634.77 c 589s| 3120k| 1739k| 0 | 0.0 | 691M| 42 | - | 60 | 189 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
636.57/636.89 c 590s| 3130k| 1744k| 0 | 0.0 | 693M| 42 | - | 60 | 211 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
638.76/639.00 c 592s| 3140k| 1750k| 0 | 0.0 | 696M| 42 | - | 60 | 203 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
640.76/641.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.76/641.08 c 594s| 3150k| 1756k| 0 | 0.0 | 698M| 42 | - | 60 | 151 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
642.86/643.20 c 596s| 3160k| 1761k| 0 | 0.0 | 700M| 42 | - | 60 | 148 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
644.95/645.29 c 598s| 3170k| 1767k| 0 | 0.0 | 702M| 42 | - | 60 | 172 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
647.06/647.35 c 600s| 3180k| 1772k| 0 | 0.0 | 704M| 42 | - | 60 | 115 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
649.15/649.45 c 602s| 3190k| 1778k| 0 | 0.0 | 706M| 42 | - | 60 | 101 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
651.36/651.60 c 604s| 3200k| 1784k| 0 | 0.0 | 709M| 42 | - | 60 | 139 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
653.45/653.74 c 606s| 3210k| 1789k| 0 | 0.0 | 711M| 42 | - | 60 | 83 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
655.56/655.89 c 608s| 3220k| 1795k| 0 | 0.0 | 713M| 42 | - | 60 | 149 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
657.65/657.96 c 610s| 3230k| 1800k| 0 | 0.0 | 715M| 42 | - | 60 | 145 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
659.85/660.17 c 612s| 3240k| 1806k| 0 | 0.0 | 717M| 42 | - | 60 | 167 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
662.05/662.37 c 614s| 3250k| 1811k| 0 | 0.0 | 720M| 42 | - | 60 | 176 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
664.35/664.64 c 616s| 3260k| 1817k| 0 | 0.0 | 722M| 42 | - | 60 | 248 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
666.45/666.79 c 618s| 3270k| 1823k| 0 | 0.0 | 724M| 42 | - | 60 | 240 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
668.65/668.98 c 620s| 3280k| 1828k| 0 | 0.0 | 726M| 42 | - | 60 | 276 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
670.75/671.09 c 622s| 3290k| 1834k| 0 | 0.0 | 728M| 42 | - | 60 | 257 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
672.95/673.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.95/673.27 c 624s| 3300k| 1839k| 0 | 0.0 | 731M| 42 | - | 60 | 215 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
675.16/675.49 c 626s| 3310k| 1845k| 0 | 0.0 | 733M| 42 | - | 60 | 301 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
677.55/677.81 c 629s| 3320k| 1850k| 0 | 0.0 | 735M| 42 | - | 60 | 302 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
679.85/680.13 c 631s| 3330k| 1855k| 0 | 0.0 | 737M| 42 | - | 60 | 285 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
682.14/682.41 c 633s| 3340k| 1860k| 0 | 0.0 | 739M| 42 | - | 60 | 297 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
684.44/684.75 c 635s| 3350k| 1866k| 0 | 0.0 | 741M| 42 | - | 60 | 187 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
686.74/687.02 c 637s| 3360k| 1871k| 0 | 0.0 | 744M| 42 | - | 60 | 192 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
688.94/689.21 c 639s| 3370k| 1876k| 0 | 0.0 | 746M| 42 | - | 60 | 183 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
691.23/691.52 c 641s| 3380k| 1881k| 0 | 0.0 | 748M| 42 | - | 60 | 197 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
693.44/693.75 c 643s| 3390k| 1887k| 0 | 0.0 | 750M| 42 | - | 60 | 246 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
695.74/696.05 c 646s| 3400k| 1892k| 0 | 0.0 | 752M| 42 | - | 60 | 228 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
698.04/698.39 c 648s| 3410k| 1897k| 0 | 0.0 | 755M| 42 | - | 60 | 258 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
700.34/700.64 c 650s| 3420k| 1902k| 0 | 0.0 | 757M| 42 | - | 60 | 221 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
702.64/702.95 c 652s| 3430k| 1908k| 0 | 0.0 | 759M| 42 | - | 60 | 237 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
704.84/705.20 c 654s| 3440k| 1913k| 0 | 0.0 | 761M| 42 | - | 60 | 197 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
707.24/707.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.24/707.50 c 656s| 3450k| 1918k| 0 | 0.0 | 763M| 42 | - | 60 | 181 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
709.33/709.67 c 658s| 3460k| 1923k| 0 | 0.0 | 765M| 42 | - | 60 | 137 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
711.63/711.90 c 660s| 3470k| 1928k| 0 | 0.0 | 767M| 42 | - | 60 | 176 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
713.83/714.17 c 663s| 3480k| 1934k| 0 | 0.0 | 770M| 42 | - | 60 | 217 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
716.13/716.44 c 665s| 3490k| 1939k| 0 | 0.0 | 772M| 42 | - | 60 | 196 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
718.43/718.74 c 667s| 3500k| 1944k| 0 | 0.0 | 774M| 42 | - | 60 | 237 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
720.73/721.01 c 669s| 3510k| 1949k| 0 | 0.0 | 776M| 42 | - | 60 | 195 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
722.93/723.28 c 671s| 3520k| 1955k| 0 | 0.0 | 778M| 42 | - | 60 | 156 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
725.23/725.51 c 673s| 3530k| 1960k| 0 | 0.0 | 780M| 42 | - | 60 | 162 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
727.42/727.77 c 675s| 3540k| 1965k| 0 | 0.0 | 783M| 42 | - | 60 | 182 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
729.63/729.99 c 677s| 3550k| 1970k| 0 | 0.0 | 785M| 42 | - | 60 | 113 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
731.92/732.25 c 679s| 3560k| 1976k| 0 | 0.0 | 787M| 42 | - | 60 | 135 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
734.13/734.47 c 682s| 3570k| 1981k| 0 | 0.0 | 789M| 42 | - | 60 | 124 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
736.32/736.65 c 684s| 3580k| 1986k| 0 | 0.0 | 791M| 42 | - | 60 | 159 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
738.62/738.97 c 686s| 3590k| 1991k| 0 | 0.0 | 793M| 42 | - | 60 | 201 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
740.92/741.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.92/741.25 c 688s| 3600k| 1997k| 0 | 0.0 | 796M| 42 | - | 60 | 195 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
743.23/743.50 c 690s| 3610k| 2002k| 0 | 0.0 | 798M| 42 | - | 60 | 215 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
745.53/745.82 c 692s| 3620k| 2007k| 0 | 0.0 | 800M| 42 | - | 60 | 211 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
747.72/748.08 c 694s| 3630k| 2012k| 0 | 0.0 | 802M| 42 | - | 60 | 162 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
750.02/750.32 c 696s| 3640k| 2018k| 0 | 0.0 | 804M| 42 | - | 60 | 208 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
752.13/752.48 c 698s| 3650k| 2023k| 0 | 0.0 | 806M| 42 | - | 60 | 120 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
754.32/754.67 c 700s| 3660k| 2028k| 0 | 0.0 | 809M| 42 | - | 60 | 155 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
756.52/756.86 c 702s| 3670k| 2034k| 0 | 0.0 | 811M| 42 | - | 60 | 159 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
758.81/759.11 c 705s| 3680k| 2039k| 0 | 0.0 | 813M| 42 | - | 60 | 130 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
760.92/761.26 c 707s| 3690k| 2044k| 0 | 0.0 | 815M| 42 | - | 60 | 139 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
763.12/763.46 c 709s| 3700k| 2049k| 0 | 0.0 | 817M| 42 | - | 60 | 132 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
765.21/765.58 c 711s| 3710k| 2055k| 0 | 0.0 | 819M| 42 | - | 60 | 134 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
767.61/767.96 c 713s| 3720k| 2060k| 0 | 0.0 | 821M| 42 | - | 60 | 197 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
769.91/770.26 c 715s| 3730k| 2065k| 0 | 0.0 | 824M| 42 | - | 60 | 219 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
772.21/772.51 c 717s| 3740k| 2070k| 0 | 0.0 | 826M| 42 | - | 60 | 222 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
774.51/774.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.51/774.81 c 719s| 3750k| 2076k| 0 | 0.0 | 828M| 42 | - | 60 | 246 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
776.71/777.08 c 721s| 3760k| 2081k| 0 | 0.0 | 830M| 42 | - | 60 | 211 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
779.11/779.43 c 723s| 3770k| 2086k| 0 | 0.0 | 832M| 42 | - | 60 | 110 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
781.50/781.81 c 726s| 3780k| 2090k| 0 | 0.0 | 834M| 42 | - | 60 | 239 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
783.91/784.20 c 728s| 3790k| 2095k| 0 | 0.0 | 836M| 42 | - | 60 | 253 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
786.21/786.56 c 730s| 3800k| 2100k| 0 | 0.0 | 839M| 42 | - | 60 | 344 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
788.50/788.87 c 732s| 3810k| 2105k| 0 | 0.0 | 841M| 42 | - | 60 | 318 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
791.01/791.31 c 735s| 3820k| 2110k| 0 | 0.0 | 843M| 42 | - | 60 | 310 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
793.30/793.70 c 737s| 3830k| 2115k| 0 | 0.0 | 845M| 42 | - | 60 | 278 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
795.80/796.13 c 739s| 3840k| 2120k| 0 | 0.0 | 847M| 42 | - | 60 | 283 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
798.11/798.42 c 741s| 3850k| 2124k| 0 | 0.0 | 849M| 42 | - | 60 | 234 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
800.51/800.86 c 744s| 3860k| 2129k| 0 | 0.0 | 851M| 42 | - | 60 | 266 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
802.90/803.29 c 746s| 3870k| 2134k| 0 | 0.0 | 853M| 42 | - | 60 | 280 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
805.40/805.70 c 748s| 3880k| 2139k| 0 | 0.0 | 856M| 42 | - | 60 | 291 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
807.70/808.06 c 750s| 3890k| 2144k| 0 | 0.0 | 858M| 42 | - | 60 | 315 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
810.10/810.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.10/810.43 c 752s| 3900k| 2149k| 0 | 0.0 | 860M| 42 | - | 60 | 311 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
812.60/812.97 c 755s| 3910k| 2154k| 0 | 0.0 | 862M| 42 | - | 60 | 249 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
814.99/815.32 c 757s| 3920k| 2158k| 0 | 0.0 | 864M| 42 | - | 60 | 190 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
817.30/817.61 c 759s| 3930k| 2163k| 0 | 0.0 | 866M| 42 | - | 60 | 178 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
819.59/819.98 c 761s| 3940k| 2168k| 0 | 0.0 | 868M| 42 | - | 60 | 220 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
821.99/822.38 c 764s| 3950k| 2173k| 0 | 0.0 | 871M| 42 | - | 60 | 259 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
824.39/824.71 c 766s| 3960k| 2178k| 0 | 0.0 | 873M| 42 | - | 60 | 255 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
826.80/827.14 c 768s| 3970k| 2183k| 0 | 0.0 | 875M| 42 | - | 60 | 241 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
829.19/829.58 c 770s| 3980k| 2188k| 0 | 0.0 | 877M| 42 | - | 60 | 240 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
831.59/831.93 c 773s| 3990k| 2192k| 0 | 0.0 | 879M| 42 | - | 60 | 211 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
833.89/834.20 c 775s| 4000k| 2197k| 0 | 0.0 | 881M| 42 | - | 60 | 221 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
836.19/836.56 c 777s| 4010k| 2202k| 0 | 0.0 | 883M| 42 | - | 60 | 181 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
838.38/838.79 c 779s| 4020k| 2207k| 0 | 0.0 | 886M| 42 | - | 60 | 226 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
840.79/841.11 c 781s| 4030k| 2212k| 0 | 0.0 | 888M| 42 | - | 60 | 169 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
843.18/843.53 c 783s| 4040k| 2217k| 0 | 0.0 | 890M| 42 | - | 60 | 247 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
845.49/845.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.49/845.87 c 786s| 4050k| 2222k| 0 | 0.0 | 892M| 42 | - | 60 | 236 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
847.89/848.21 c 788s| 4060k| 2227k| 0 | 0.0 | 894M| 42 | - | 60 | 260 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
850.28/850.61 c 790s| 4070k| 2231k| 0 | 0.0 | 896M| 42 | - | 60 | 283 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
852.68/853.00 c 792s| 4080k| 2236k| 0 | 0.0 | 898M| 42 | - | 60 | 282 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
854.88/855.25 c 794s| 4090k| 2241k| 0 | 0.0 | 900M| 42 | - | 60 | 212 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
857.28/857.65 c 797s| 4100k| 2246k| 0 | 0.0 | 903M| 42 | - | 60 | 256 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
859.58/859.99 c 799s| 4110k| 2251k| 0 | 0.0 | 905M| 42 | - | 60 | 175 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
861.99/862.37 c 801s| 4120k| 2256k| 0 | 0.0 | 907M| 42 | - | 60 | 190 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
864.28/864.61 c 803s| 4130k| 2261k| 0 | 0.0 | 909M| 42 | - | 60 | 143 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
866.58/866.94 c 805s| 4140k| 2266k| 0 | 0.0 | 911M| 42 | - | 60 | 157 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
868.98/869.32 c 808s| 4150k| 2271k| 0 | 0.0 | 913M| 42 | - | 60 | 215 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
871.38/871.70 c 810s| 4160k| 2275k| 0 | 0.0 | 915M| 42 | - | 60 | 162 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
873.67/874.07 c 812s| 4170k| 2280k| 0 | 0.0 | 917M| 42 | - | 60 | 220 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
876.08/876.42 c 814s| 4180k| 2285k| 0 | 0.0 | 920M| 42 | - | 60 | 256 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
878.47/878.84 c 816s| 4190k| 2290k| 0 | 0.0 | 922M| 42 | - | 60 | 216 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
880.78/881.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.78/881.17 c 819s| 4200k| 2295k| 0 | 0.0 | 924M| 42 | - | 60 | 201 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
883.17/883.54 c 821s| 4210k| 2300k| 0 | 0.0 | 926M| 42 | - | 60 | 218 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
885.47/885.89 c 823s| 4220k| 2305k| 0 | 0.0 | 928M| 42 | - | 60 | 158 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
887.77/888.17 c 825s| 4230k| 2310k| 0 | 0.0 | 930M| 42 | - | 60 | 179 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
890.06/890.49 c 827s| 4240k| 2315k| 0 | 0.0 | 932M| 42 | - | 60 | 162 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
892.46/892.81 c 830s| 4250k| 2319k| 0 | 0.0 | 934M| 42 | - | 60 | 134 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
894.77/895.18 c 832s| 4260k| 2324k| 0 | 0.0 | 937M| 42 | - | 60 | 172 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
897.18/897.60 c 834s| 4270k| 2329k| 0 | 0.0 | 939M| 42 | - | 60 | 156 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
899.56/899.91 c 836s| 4280k| 2334k| 0 | 0.0 | 941M| 42 | - | 60 | 121 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
901.87/902.27 c 838s| 4290k| 2339k| 0 | 0.0 | 943M| 42 | - | 60 | 177 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
904.36/904.72 c 841s| 4300k| 2343k| 0 | 0.0 | 945M| 42 | - | 60 | 187 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
906.86/907.21 c 843s| 4310k| 2347k| 0 | 0.0 | 947M| 42 | - | 60 | 279 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
909.37/909.74 c 846s| 4320k| 2352k| 0 | 0.0 | 949M| 42 | - | 60 | 290 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
911.86/912.23 c 848s| 4330k| 2356k| 0 | 0.0 | 951M| 42 | - | 60 | 276 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
914.26/914.64 c 850s| 4340k| 2361k| 0 | 0.0 | 953M| 42 | - | 60 | 256 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
916.66/917.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.66/917.07 c 852s| 4350k| 2365k| 0 | 0.0 | 955M| 42 | - | 60 | 221 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
919.16/919.52 c 855s| 4360k| 2370k| 0 | 0.0 | 957M| 42 | - | 60 | 189 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
921.46/921.88 c 857s| 4370k| 2374k| 0 | 0.0 | 959M| 42 | - | 60 | 194 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
923.86/924.28 c 859s| 4380k| 2379k| 0 | 0.0 | 962M| 42 | - | 60 | 164 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
926.35/926.73 c 861s| 4390k| 2383k| 0 | 0.0 | 964M| 42 | - | 60 | 216 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
928.75/929.18 c 864s| 4400k| 2387k| 0 | 0.0 | 966M| 42 | - | 60 | 195 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
931.05/931.48 c 866s| 4410k| 2392k| 0 | 0.0 | 968M| 42 | - | 60 | 144 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
933.46/933.90 c 868s| 4420k| 2396k| 0 | 0.0 | 970M| 42 | - | 60 | 165 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
935.85/936.26 c 870s| 4430k| 2401k| 0 | 0.0 | 972M| 42 | - | 60 | 157 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
938.25/938.61 c 873s| 4440k| 2405k| 0 | 0.0 | 974M| 42 | - | 60 | 136 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
940.55/941.00 c 875s| 4450k| 2410k| 0 | 0.0 | 976M| 42 | - | 60 | 199 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
943.04/943.48 c 877s| 4460k| 2414k| 0 | 0.0 | 978M| 42 | - | 60 | 190 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
945.55/945.95 c 879s| 4470k| 2419k| 0 | 0.0 | 980M| 42 | - | 60 | 331 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
948.05/948.43 c 882s| 4480k| 2423k| 0 | 0.0 | 982M| 42 | - | 60 | 318 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
950.55/950.93 c 884s| 4490k| 2427k| 0 | 0.0 | 984M| 42 | - | 60 | 324 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
953.04/953.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.04/953.42 c 886s| 4500k| 2432k| 0 | 0.0 | 986M| 42 | - | 60 | 334 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
955.55/955.97 c 889s| 4510k| 2436k| 0 | 0.0 | 988M| 42 | - | 60 | 330 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
958.14/958.51 c 891s| 4520k| 2441k| 0 | 0.0 | 991M| 42 | - | 60 | 362 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
960.64/961.10 c 894s| 4530k| 2445k| 0 | 0.0 | 993M| 42 | - | 60 | 368 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
963.25/963.67 c 896s| 4540k| 2449k| 0 | 0.0 | 995M| 42 | - | 60 | 372 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
965.84/966.23 c 898s| 4550k| 2454k| 0 | 0.0 | 997M| 42 | - | 60 | 334 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
968.24/968.63 c 901s| 4560k| 2458k| 0 | 0.0 | 999M| 42 | - | 60 | 285 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
970.73/971.10 c 903s| 4570k| 2462k| 0 | 0.0 |1001M| 42 | - | 60 | 217 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
973.05/973.49 c 905s| 4580k| 2467k| 0 | 0.0 |1003M| 42 | - | 60 | 286 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
975.63/976.01 c 908s| 4590k| 2471k| 0 | 0.0 |1005M| 42 | - | 60 | 353 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
978.13/978.54 c 910s| 4600k| 2476k| 0 | 0.0 |1007M| 42 | - | 60 | 359 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
980.74/981.11 c 912s| 4610k| 2480k| 0 | 0.0 |1009M| 42 | - | 60 | 345 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
983.23/983.66 c 915s| 4620k| 2485k| 0 | 0.0 |1011M| 42 | - | 60 | 306 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
985.84/986.25 c 917s| 4630k| 2489k| 0 | 0.0 |1014M| 42 | - | 60 | 340 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
988.33/988.76 c 920s| 4640k| 2494k| 0 | 0.0 |1016M| 42 | - | 60 | 231 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
990.82/991.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.82/991.22 c 922s| 4650k| 2498k| 0 | 0.0 |1018M| 42 | - | 60 | 239 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
993.33/993.73 c 924s| 4660k| 2502k| 0 | 0.0 |1020M| 42 | - | 60 | 228 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
995.93/996.32 c 927s| 4670k| 2507k| 0 | 0.0 |1022M| 42 | - | 60 | 278 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
998.44/998.82 c 929s| 4680k| 2511k| 0 | 0.0 |1024M| 42 | - | 60 | 280 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1000.92/1001.36 c 931s| 4690k| 2516k| 0 | 0.0 |1026M| 42 | - | 60 | 296 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1003.52/1003.96 c 934s| 4700k| 2520k| 0 | 0.0 |1028M| 42 | - | 60 | 334 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1006.03/1006.48 c 936s| 4710k| 2525k| 0 | 0.0 |1030M| 42 | - | 60 | 304 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1008.63/1009.09 c 939s| 4720k| 2529k| 0 | 0.0 |1032M| 42 | - | 60 | 284 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1011.12/1011.52 c 941s| 4730k| 2533k| 0 | 0.0 |1034M| 42 | - | 60 | 182 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1013.52/1013.98 c 943s| 4740k| 2538k| 0 | 0.0 |1037M| 42 | - | 60 | 249 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1015.93/1016.40 c 946s| 4750k| 2542k| 0 | 0.0 |1039M| 42 | - | 60 | 212 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1018.32/1018.79 c 948s| 4760k| 2547k| 0 | 0.0 |1041M| 42 | - | 60 | 224 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1020.82/1021.25 c 950s| 4770k| 2551k| 0 | 0.0 |1043M| 42 | - | 60 | 206 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1023.11/1023.59 c 952s| 4780k| 2556k| 0 | 0.0 |1045M| 42 | - | 60 | 234 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1025.72/1026.16 c 955s| 4790k| 2560k| 0 | 0.0 |1047M| 42 | - | 60 | 287 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1028.22/1028.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.22/1028.69 c 957s| 4800k| 2565k| 0 | 0.0 |1049M| 42 | - | 60 | 321 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1030.72/1031.14 c 959s| 4810k| 2569k| 0 | 0.0 |1051M| 42 | - | 60 | 315 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1033.32/1033.71 c 962s| 4820k| 2573k| 0 | 0.0 |1053M| 42 | - | 60 | 325 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1035.82/1036.25 c 964s| 4830k| 2578k| 0 | 0.0 |1055M| 42 | - | 60 | 221 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1038.31/1038.72 c 966s| 4840k| 2583k| 0 | 0.0 |1058M| 42 | - | 60 | 251 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1040.82/1041.23 c 969s| 4850k| 2587k| 0 | 0.0 |1060M| 42 | - | 60 | 227 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1043.31/1043.77 c 971s| 4860k| 2591k| 0 | 0.0 |1062M| 42 | - | 60 | 208 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1045.81/1046.28 c 974s| 4870k| 2596k| 0 | 0.0 |1064M| 42 | - | 60 | 242 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1048.31/1048.72 c 976s| 4880k| 2600k| 0 | 0.0 |1066M| 42 | - | 60 | 196 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1050.71/1051.16 c 978s| 4890k| 2605k| 0 | 0.0 |1068M| 42 | - | 60 | 139 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1053.31/1053.77 c 981s| 4900k| 2609k| 0 | 0.0 |1070M| 42 | - | 60 | 241 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1056.01/1056.41 c 983s| 4910k| 2613k| 0 | 0.0 |1072M| 42 | - | 60 | 312 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1058.61/1059.02 c 986s| 4920k| 2617k| 0 | 0.0 |1074M| 42 | - | 60 | 348 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1061.20/1061.62 c 988s| 4930k| 2620k| 0 | 0.0 |1076M| 42 | - | 60 | 402 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1063.91/1064.36 c 991s| 4940k| 2624k| 0 | 0.0 |1078M| 42 | - | 60 | 319 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1066.51/1066.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.51/1066.97 c 993s| 4950k| 2628k| 0 | 0.0 |1080M| 42 | - | 60 | 258 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1069.20/1069.62 c 996s| 4960k| 2632k| 0 | 0.0 |1082M| 42 | - | 60 | 286 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1071.60/1072.09 c 998s| 4970k| 2636k| 0 | 0.0 |1084M| 42 | - | 60 | 199 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1074.21/1074.61 c 1000s| 4980k| 2640k| 0 | 0.0 |1086M| 42 | - | 60 | 247 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1076.69/1077.17 c 1003s| 4990k| 2644k| 0 | 0.0 |1088M| 42 | - | 60 | 188 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1079.20/1079.63 c 1005s| 5000k| 2648k| 0 | 0.0 |1090M| 42 | - | 60 | 173 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1081.90/1082.35 c 1007s| 5010k| 2653k| 0 | 0.0 |1092M| 42 | - | 60 | 227 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1084.40/1084.86 c 1010s| 5020k| 2657k| 0 | 0.0 |1094M| 42 | - | 60 | 192 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1086.89/1087.38 c 1012s| 5030k| 2661k| 0 | 0.0 |1096M| 42 | - | 60 | 183 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1089.49/1089.98 c 1015s| 5040k| 2665k| 0 | 0.0 |1098M| 42 | - | 60 | 217 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1092.10/1092.59 c 1017s| 5050k| 2669k| 0 | 0.0 |1100M| 42 | - | 60 | 319 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1094.90/1095.30 c 1020s| 5060k| 2673k| 0 | 0.0 |1103M| 42 | - | 60 | 299 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1097.59/1098.00 c 1022s| 5070k| 2676k| 0 | 0.0 |1105M| 42 | - | 60 | 293 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1100.19/1100.64 c 1025s| 5080k| 2680k| 0 | 0.0 |1107M| 42 | - | 60 | 182 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1102.69/1103.19 c 1027s| 5090k| 2684k| 0 | 0.0 |1109M| 42 | - | 60 | 212 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1105.39/1105.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.39/1105.80 c 1030s| 5100k| 2688k| 0 | 0.0 |1111M| 42 | - | 60 | 200 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1107.89/1108.40 c 1032s| 5110k| 2692k| 0 | 0.0 |1113M| 42 | - | 60 | 264 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1110.49/1110.97 c 1034s| 5120k| 2696k| 0 | 0.0 |1115M| 42 | - | 60 | 240 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1113.09/1113.51 c 1037s| 5130k| 2700k| 0 | 0.0 |1116M| 42 | - | 60 | 154 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1115.58/1116.08 c 1039s| 5140k| 2704k| 0 | 0.0 |1119M| 42 | - | 60 | 221 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1118.19/1118.60 c 1042s| 5150k| 2708k| 0 | 0.0 |1120M| 42 | - | 60 | 188 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1120.78/1121.21 c 1044s| 5160k| 2712k| 0 | 0.0 |1122M| 42 | - | 60 | 143 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1123.28/1123.79 c 1046s| 5170k| 2716k| 0 | 0.0 |1124M| 42 | - | 60 | 175 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1125.89/1126.31 c 1049s| 5180k| 2720k| 0 | 0.0 |1126M| 42 | - | 60 | 144 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1128.38/1128.80 c 1051s| 5190k| 2724k| 0 | 0.0 |1128M| 42 | - | 60 | 114 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1130.87/1131.33 c 1053s| 5200k| 2729k| 0 | 0.0 |1130M| 42 | - | 60 | 158 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1133.47/1133.91 c 1056s| 5210k| 2733k| 0 | 0.0 |1132M| 42 | - | 60 | 246 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1136.08/1136.58 c 1058s| 5220k| 2736k| 0 | 0.0 |1134M| 42 | - | 60 | 310 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1138.88/1139.33 c 1061s| 5230k| 2740k| 0 | 0.0 |1137M| 42 | - | 60 | 398 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1141.68/1142.17 c 1064s| 5240k| 2744k| 0 | 0.0 |1139M| 42 | - | 60 | 504 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1144.37/1144.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.37/1144.81 c 1066s| 5250k| 2748k| 0 | 0.0 |1141M| 42 | - | 60 | 385 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1146.98/1147.46 c 1069s| 5260k| 2752k| 0 | 0.0 |1143M| 42 | - | 60 | 316 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1149.57/1150.07 c 1071s| 5270k| 2756k| 0 | 0.0 |1145M| 42 | - | 60 | 311 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1152.27/1152.73 c 1074s| 5280k| 2760k| 0 | 0.0 |1147M| 42 | - | 60 | 346 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1154.98/1155.44 c 1076s| 5290k| 2764k| 0 | 0.0 |1149M| 42 | - | 60 | 384 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1157.57/1158.06 c 1079s| 5300k| 2768k| 0 | 0.0 |1151M| 42 | - | 60 | 365 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1160.27/1160.72 c 1081s| 5310k| 2772k| 0 | 0.0 |1153M| 42 | - | 60 | 375 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1163.07/1163.53 c 1084s| 5320k| 2776k| 0 | 0.0 |1155M| 42 | - | 60 | 387 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1165.57/1166.07 c 1086s| 5330k| 2780k| 0 | 0.0 |1157M| 42 | - | 60 | 265 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1168.16/1168.68 c 1089s| 5340k| 2784k| 0 | 0.0 |1159M| 42 | - | 60 | 297 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1170.77/1171.27 c 1091s| 5350k| 2788k| 0 | 0.0 |1161M| 42 | - | 60 | 261 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1173.36/1173.87 c 1094s| 5360k| 2792k| 0 | 0.0 |1163M| 42 | - | 60 | 315 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1176.16/1176.63 c 1096s| 5370k| 2795k| 0 | 0.0 |1165M| 42 | - | 60 | 388 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1179.06/1179.54 c 1099s| 5380k| 2799k| 0 | 0.0 |1167M| 42 | - | 60 | 440 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1181.86/1182.33 c 1102s| 5390k| 2803k| 0 | 0.0 |1169M| 42 | - | 60 | 420 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1184.56/1185.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.56/1185.01 c 1104s| 5400k| 2807k| 0 | 0.0 |1171M| 42 | - | 60 | 391 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1187.16/1187.66 c 1107s| 5410k| 2811k| 0 | 0.0 |1173M| 42 | - | 60 | 308 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1189.86/1190.31 c 1109s| 5420k| 2815k| 0 | 0.0 |1175M| 42 | - | 60 | 343 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1192.36/1192.82 c 1111s| 5430k| 2819k| 0 | 0.0 |1177M| 42 | - | 60 | 211 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1195.06/1195.51 c 1114s| 5440k| 2823k| 0 | 0.0 |1179M| 42 | - | 60 | 279 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1197.76/1198.20 c 1116s| 5450k| 2827k| 0 | 0.0 |1181M| 42 | - | 60 | 250 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1200.25/1200.74 c 1119s| 5460k| 2831k| 0 | 0.0 |1183M| 42 | - | 60 | 325 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1202.86/1203.38 c 1121s| 5470k| 2835k| 0 | 0.0 |1185M| 42 | - | 60 | 374 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1205.65/1206.10 c 1124s| 5480k| 2839k| 0 | 0.0 |1187M| 42 | - | 60 | 348 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1208.15/1208.69 c 1126s| 5490k| 2843k| 0 | 0.0 |1189M| 42 | - | 60 | 320 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1210.85/1211.33 c 1129s| 5500k| 2847k| 0 | 0.0 |1191M| 42 | - | 60 | 193 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1213.55/1214.02 c 1131s| 5510k| 2851k| 0 | 0.0 |1194M| 42 | - | 60 | 275 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1216.15/1216.68 c 1134s| 5520k| 2855k| 0 | 0.0 |1195M| 42 | - | 60 | 196 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1218.75/1219.24 c 1136s| 5530k| 2859k| 0 | 0.0 |1198M| 42 | - | 60 | 252 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
1221.34/1221.83 c 1139s| 5540k| 2863k| 0 | 0.0 |1200M| 42 | - | 60 | 209 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
1223.85/1224.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1223.85/1224.34 c 1141s| 5550k| 2867k| 0 | 0.0 |1201M| 42 | - | 60 | 184 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1226.54/1227.02 c 1144s| 5560k| 2870k| 0 | 0.0 |1203M| 42 | - | 60 | 222 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1229.25/1229.77 c 1146s| 5570k| 2874k| 0 | 0.0 |1205M| 42 | - | 60 | 276 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1232.14/1232.66 c 1149s| 5580k| 2877k| 0 | 0.0 |1207M| 42 | - | 60 | 318 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1234.85/1235.38 c 1151s| 5590k| 2881k| 0 | 0.0 |1209M| 42 | - | 60 | 314 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
1237.54/1238.08 c 1154s| 5600k| 2884k| 0 | 0.0 |1211M| 42 | - | 60 | 277 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
1240.35/1240.88 c 1157s| 5610k| 2888k| 0 | 0.0 |1213M| 42 | - | 60 | 241 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
1243.14/1243.61 c 1159s| 5620k| 2891k| 0 | 0.0 |1215M| 42 | - | 60 | 235 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1245.84/1246.31 c 1162s| 5630k| 2894k| 0 | 0.0 |1217M| 42 | - | 60 | 222 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | -- | Inf
1248.33/1248.89 c 1164s| 5640k| 2898k| 0 | 0.0 |1219M| 42 | - | 60 | 178 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
1251.03/1251.59 c 1167s| 5650k| 2901k| 0 | 0.0 |1221M| 42 | - | 60 | 201 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1253.74/1254.22 c 1169s| 5660k| 2905k| 0 | 0.0 |1223M| 42 | - | 60 | 205 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1256.43/1256.90 c 1172s| 5670k| 2908k| 0 | 0.0 |1225M| 42 | - | 60 | 248 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | -- | Inf
1259.13/1259.62 c 1174s| 5680k| 2912k| 0 | 0.0 |1227M| 42 | - | 60 | 269 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1261.83/1262.32 c 1177s| 5690k| 2915k| 0 | 0.0 |1229M| 42 | - | 60 | 294 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
1264.54/1265.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.54/1265.07 c 1179s| 5700k| 2919k| 0 | 0.0 |1230M| 42 | - | 60 | 297 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
1267.43/1267.93 c 1182s| 5710k| 2922k| 0 | 0.0 |1232M| 42 | - | 60 | 237 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
1270.12/1270.61 c 1185s| 5720k| 2926k| 0 | 0.0 |1234M| 42 | - | 60 | 223 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1272.83/1273.38 c 1187s| 5730k| 2929k| 0 | 0.0 |1236M| 42 | - | 60 | 229 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1275.53/1276.09 c 1190s| 5740k| 2933k| 0 | 0.0 |1238M| 42 | - | 60 | 225 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1278.22/1278.73 c 1192s| 5750k| 2936k| 0 | 0.0 |1240M| 42 | - | 60 | 193 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
1280.93/1281.40 c 1195s| 5760k| 2940k| 0 | 0.0 |1242M| 42 | - | 60 | 204 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
1283.62/1284.10 c 1197s| 5770k| 2943k| 0 | 0.0 |1244M| 42 | - | 60 | 186 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | -- | Inf
1286.13/1286.70 c 1200s| 5780k| 2947k| 0 | 0.0 |1246M| 42 | - | 60 | 181 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1288.82/1289.34 c 1202s| 5790k| 2950k| 0 | 0.0 |1248M| 42 | - | 60 | 181 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
1291.52/1292.00 c 1205s| 5800k| 2954k| 0 | 0.0 |1250M| 42 | - | 60 | 164 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1294.13/1294.64 c 1207s| 5810k| 2958k| 0 | 0.0 |1252M| 42 | - | 60 | 162 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1296.62/1297.20 c 1210s| 5820k| 2961k| 0 | 0.0 |1254M| 42 | - | 60 | 127 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1299.22/1299.71 c 1212s| 5830k| 2965k| 0 | 0.0 |1255M| 42 | - | 60 | 110 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1301.93/1302.46 c 1215s| 5840k| 2968k| 0 | 0.0 |1257M| 42 | - | 60 | 204 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1304.52/1305.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.52/1305.04 c 1217s| 5850k| 2972k| 0 | 0.0 |1259M| 42 | - | 60 | 233 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
1307.11/1307.70 c 1220s| 5860k| 2975k| 0 | 0.0 |1261M| 42 | - | 60 | 228 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1309.81/1310.40 c 1222s| 5870k| 2979k| 0 | 0.0 |1263M| 42 | - | 60 | 172 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
1312.71/1313.27 c 1225s| 5880k| 2982k| 0 | 0.0 |1265M| 42 | - | 60 | 171 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1315.32/1315.84 c 1227s| 5890k| 2986k| 0 | 0.0 |1267M| 42 | - | 60 | 125 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1317.91/1318.42 c 1230s| 5900k| 2989k| 0 | 0.0 |1269M| 42 | - | 60 | 162 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1320.52/1321.07 c 1232s| 5910k| 2993k| 0 | 0.0 |1271M| 42 | - | 60 | 173 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1323.11/1323.69 c 1235s| 5920k| 2996k| 0 | 0.0 |1273M| 42 | - | 60 | 160 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
1325.71/1326.28 c 1237s| 5930k| 3000k| 0 | 0.0 |1275M| 42 | - | 60 | 139 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1328.32/1328.83 c 1240s| 5940k| 3003k| 0 | 0.0 |1276M| 42 | - | 60 | 123 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1331.01/1331.51 c 1242s| 5950k| 3007k| 0 | 0.0 |1278M| 42 | - | 60 | 150 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1333.60/1334.15 c 1245s| 5960k| 3010k| 0 | 0.0 |1280M| 42 | - | 60 | 196 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1336.31/1336.87 c 1247s| 5970k| 3014k| 0 | 0.0 |1282M| 42 | - | 60 | 282 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1339.11/1339.61 c 1250s| 5980k| 3017k| 0 | 0.0 |1284M| 42 | - | 60 | 306 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1342.00/1342.50 c 1252s| 5990k| 3021k| 0 | 0.0 |1286M| 42 | - | 60 | 351 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
1344.91/1345.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.91/1345.40 c 1255s| 6000k| 3024k| 0 | 0.0 |1288M| 42 | - | 60 | 389 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1347.70/1348.28 c 1258s| 6010k| 3027k| 0 | 0.0 |1290M| 42 | - | 60 | 398 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1350.50/1351.07 c 1260s| 6020k| 3031k| 0 | 0.0 |1292M| 42 | - | 60 | 388 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
1353.39/1353.97 c 1263s| 6030k| 3034k| 0 | 0.0 |1294M| 42 | - | 60 | 453 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1356.19/1356.78 c 1266s| 6040k| 3038k| 0 | 0.0 |1296M| 42 | - | 60 | 337 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1359.10/1359.60 c 1269s| 6050k| 3041k| 0 | 0.0 |1298M| 42 | - | 60 | 296 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | -- | Inf
1361.70/1362.29 c 1271s| 6060k| 3045k| 0 | 0.0 |1299M| 42 | - | 60 | 347 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1364.50/1365.05 c 1274s| 6070k| 3048k| 0 | 0.0 |1301M| 42 | - | 60 | 351 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
1367.29/1367.82 c 1276s| 6080k| 3051k| 0 | 0.0 |1303M| 42 | - | 60 | 370 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1370.10/1370.65 c 1279s| 6090k| 3055k| 0 | 0.0 |1305M| 42 | - | 60 | 399 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1372.99/1373.50 c 1282s| 6100k| 3058k| 0 | 0.0 |1307M| 42 | - | 60 | 351 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1375.59/1376.14 c 1284s| 6110k| 3062k| 0 | 0.0 |1309M| 42 | - | 60 | 337 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
1378.19/1378.79 c 1287s| 6120k| 3065k| 0 | 0.0 |1311M| 42 | - | 60 | 210 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1380.88/1381.44 c 1289s| 6130k| 3069k| 0 | 0.0 |1313M| 42 | - | 60 | 242 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1383.68/1384.21 c 1292s| 6140k| 3072k| 0 | 0.0 |1315M| 42 | - | 60 | 282 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1386.49/1387.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.49/1387.10 c 1295s| 6150k| 3075k| 0 | 0.0 |1317M| 42 | - | 60 | 326 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1389.38/1389.97 c 1297s| 6160k| 3079k| 0 | 0.0 |1319M| 42 | - | 60 | 395 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1392.19/1392.74 c 1300s| 6170k| 3082k| 0 | 0.0 |1321M| 42 | - | 60 | 384 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1394.89/1395.47 c 1302s| 6180k| 3086k| 0 | 0.0 |1322M| 42 | - | 60 | 292 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
1397.59/1398.14 c 1305s| 6190k| 3089k| 0 | 0.0 |1324M| 42 | - | 60 | 288 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1400.28/1400.85 c 1308s| 6200k| 3093k| 0 | 0.0 |1326M| 42 | - | 60 | 241 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1402.98/1403.56 c 1310s| 6210k| 3096k| 0 | 0.0 |1328M| 42 | - | 60 | 251 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
1405.58/1406.19 c 1313s| 6220k| 3099k| 0 | 0.0 |1330M| 42 | - | 60 | 231 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1408.38/1408.97 c 1315s| 6230k| 3103k| 0 | 0.0 |1332M| 42 | - | 60 | 222 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1411.28/1411.84 c 1318s| 6240k| 3105k| 0 | 0.0 |1334M| 42 | - | 60 | 251 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | -- | Inf
1414.18/1414.72 c 1321s| 6250k| 3108k| 0 | 0.0 |1335M| 42 | - | 60 | 278 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1417.07/1417.61 c 1323s| 6260k| 3111k| 0 | 0.0 |1337M| 42 | - | 60 | 257 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1419.98/1420.59 c 1326s| 6270k| 3114k| 0 | 0.0 |1339M| 42 | - | 60 | 255 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1422.88/1423.45 c 1329s| 6280k| 3117k| 0 | 0.0 |1341M| 42 | - | 60 | 214 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1425.57/1426.15 c 1331s| 6290k| 3120k| 0 | 0.0 |1342M| 42 | - | 60 | 183 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1428.28/1428.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.28/1428.88 c 1334s| 6300k| 3123k| 0 | 0.0 |1344M| 42 | - | 60 | 167 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1431.07/1431.68 c 1337s| 6310k| 3126k| 0 | 0.0 |1346M| 42 | - | 60 | 162 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1433.97/1434.57 c 1339s| 6320k| 3129k| 0 | 0.0 |1348M| 42 | - | 60 | 179 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1436.86/1437.44 c 1342s| 6330k| 3132k| 0 | 0.0 |1349M| 42 | - | 60 | 207 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
1439.67/1440.27 c 1345s| 6340k| 3135k| 0 | 0.0 |1351M| 42 | - | 60 | 200 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1442.47/1443.02 c 1347s| 6350k| 3138k| 0 | 0.0 |1353M| 42 | - | 60 | 199 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
1445.36/1445.94 c 1350s| 6360k| 3140k| 0 | 0.0 |1355M| 42 | - | 60 | 175 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1448.27/1448.89 c 1353s| 6370k| 3143k| 0 | 0.0 |1356M| 42 | - | 60 | 161 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1451.17/1451.73 c 1356s| 6380k| 3146k| 0 | 0.0 |1358M| 42 | - | 60 | 158 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1451.66/1452.26 c (node 6381924) switching to memory saving mode (mem: 1296.0M/1620.0M)
1454.76/1455.39 c 1359s| 6390k| 3145k| 0 | 0.0 |1357M| 55 | - | 60 | 160 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1457.56/1458.19 c 1362s| 6400k| 3143k| 0 | 0.0 |1355M| 55 | - | 60 | 160 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1460.46/1461.09 c 1364s| 6410k| 3141k| 0 | 0.0 |1353M| 56 | - | 60 | 160 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1463.36/1463.98 c 1367s| 6420k| 3138k| 0 | 0.0 |1350M| 56 | - | 60 | 160 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1466.26/1466.82 c 1369s| 6430k| 3136k| 0 | 0.0 |1347M| 56 | - | 60 | 160 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | -- | Inf
1469.16/1469.73 c 1372s| 6440k| 3135k| 0 | 0.0 |1345M| 56 | - | 60 | 160 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | -- | Inf
1472.05/1472.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.05/1472.61 c 1375s| 6450k| 3133k| 0 | 0.0 |1343M| 56 | - | 60 | 159 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1474.85/1475.48 c 1377s| 6460k| 3131k| 0 | 0.0 |1341M| 56 | - | 60 | 158 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | -- | Inf
1477.76/1478.40 c 1380s| 6470k| 3129k| 0 | 0.0 |1339M| 56 | - | 60 | 158 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1480.65/1481.28 c 1383s| 6480k| 3127k| 0 | 0.0 |1337M| 56 | - | 60 | 157 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | -- | Inf
1483.65/1484.24 c 1386s| 6490k| 3126k| 0 | 0.0 |1336M| 56 | - | 60 | 156 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | -- | Inf
1486.56/1487.15 c 1388s| 6500k| 3124k| 0 | 0.0 |1334M| 56 | - | 60 | 155 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
1489.45/1490.00 c 1391s| 6510k| 3122k| 0 | 0.0 |1332M| 56 | - | 60 | 154 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | -- | Inf
1492.34/1492.90 c 1394s| 6520k| 3120k| 0 | 0.0 |1330M| 56 | - | 60 | 154 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | -- | Inf
1495.25/1495.81 c 1396s| 6530k| 3119k| 0 | 0.0 |1328M| 56 | - | 60 | 154 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | -- | Inf
1498.15/1498.71 c 1399s| 6540k| 3117k| 0 | 0.0 |1325M| 56 | - | 60 | 154 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | -- | Inf
1501.04/1501.61 c 1402s| 6550k| 3115k| 0 | 0.0 |1323M| 56 | - | 60 | 154 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | -- | Inf
1503.94/1504.54 c 1404s| 6560k| 3113k| 0 | 0.0 |1321M| 56 | - | 60 | 153 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | -- | Inf
1506.94/1507.52 c 1407s| 6570k| 3111k| 0 | 0.0 |1319M| 56 | - | 60 | 149 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | -- | Inf
1509.75/1510.33 c 1410s| 6580k| 3110k| 0 | 0.0 |1317M| 56 | - | 60 | 148 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | -- | Inf
1512.64/1513.20 c 1412s| 6590k| 3108k| 0 | 0.0 |1316M| 56 | - | 60 | 147 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | -- | Inf
1515.44/1516.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.44/1516.04 c 1415s| 6600k| 3106k| 0 | 0.0 |1315M| 56 | - | 60 | 146 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
1518.33/1518.98 c 1418s| 6610k| 3105k| 0 | 0.0 |1313M| 56 | - | 60 | 144 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | -- | Inf
1521.24/1521.89 c 1420s| 6620k| 3103k| 0 | 0.0 |1312M| 56 | - | 60 | 143 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | -- | Inf
1524.24/1524.84 c 1423s| 6630k| 3101k| 0 | 0.0 |1310M| 56 | - | 60 | 139 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | -- | Inf
1527.14/1527.76 c 1426s| 6640k| 3099k| 0 | 0.0 |1309M| 56 | - | 60 | 136 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | -- | Inf
1530.04/1530.64 c 1429s| 6650k| 3098k| 0 | 0.0 |1308M| 56 | - | 60 | 135 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
1532.84/1533.45 c 1431s| 6660k| 3096k| 0 | 0.0 |1306M| 56 | - | 60 | 133 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | -- | Inf
1535.53/1536.13 c 1434s| 6670k| 3095k| 0 | 0.0 |1305M| 56 | - | 60 | 133 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
1538.34/1538.91 c 1436s| 6680k| 3094k| 0 | 0.0 |1304M| 56 | - | 60 | 133 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | -- | Inf
1541.03/1541.65 c 1439s| 6690k| 3092k| 0 | 0.0 |1303M| 56 | - | 60 | 133 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | -- | Inf
1544.03/1544.60 c 1442s| 6700k| 3091k| 0 | 0.0 |1302M| 56 | - | 60 | 134 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | -- | Inf
1546.92/1547.53 c 1444s| 6710k| 3089k| 0 | 0.0 |1300M| 56 | - | 60 | 133 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | -- | Inf
1549.83/1550.41 c 1447s| 6720k| 3087k| 0 | 0.0 |1299M| 56 | - | 60 | 133 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | -- | Inf
1552.72/1553.34 c 1450s| 6730k| 3086k| 0 | 0.0 |1297M| 56 | - | 60 | 132 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | -- | Inf
1555.73/1556.35 c 1452s| 6740k| 3084k| 0 | 0.0 |1295M| 56 | - | 60 | 131 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | -- | Inf
1558.72/1559.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.72/1559.32 c 1455s| 6750k| 3082k| 0 | 0.0 |1293M| 56 | - | 60 | 131 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | -- | Inf
1561.62/1562.27 c 1458s| 6760k| 3080k| 0 | 0.0 |1291M| 56 | - | 60 | 130 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | -- | Inf
1564.63/1565.23 c 1461s| 6770k| 3078k| 0 | 0.0 |1289M| 56 | - | 60 | 127 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | -- | Inf
1567.62/1568.20 c 1463s| 6780k| 3076k| 0 | 0.0 |1287M| 56 | - | 60 | 124 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | -- | Inf
1570.52/1571.16 c 1466s| 6790k| 3075k| 0 | 0.0 |1286M| 56 | - | 60 | 124 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | -- | Inf
1573.43/1574.00 c 1469s| 6800k| 3073k| 0 | 0.0 |1285M| 56 | - | 60 | 120 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | -- | Inf
1576.22/1576.82 c 1471s| 6810k| 3072k| 0 | 0.0 |1284M| 56 | - | 60 | 121 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | -- | Inf
1579.02/1579.66 c 1474s| 6820k| 3071k| 0 | 0.0 |1283M| 56 | - | 60 | 120 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | -- | Inf
1581.82/1582.46 c 1477s| 6830k| 3069k| 0 | 0.0 |1282M| 56 | - | 60 | 121 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | -- | Inf
1584.61/1585.23 c 1479s| 6840k| 3068k| 0 | 0.0 |1281M| 56 | - | 60 | 120 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | -- | Inf
1587.32/1587.94 c 1482s| 6850k| 3067k| 0 | 0.0 |1280M| 56 | - | 60 | 115 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | -- | Inf
1590.12/1590.70 c 1484s| 6860k| 3066k| 0 | 0.0 |1279M| 56 | - | 60 | 114 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | -- | Inf
1592.91/1593.53 c 1487s| 6870k| 3064k| 0 | 0.0 |1278M| 56 | - | 60 | 114 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | -- | Inf
1595.81/1596.41 c 1490s| 6880k| 3063k| 0 | 0.0 |1277M| 56 | - | 60 | 112 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | -- | Inf
1598.51/1599.13 c 1492s| 6890k| 3062k| 0 | 0.0 |1277M| 56 | - | 60 | 110 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | -- | Inf
1601.31/1601.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.31/1601.95 c 1495s| 6900k| 3061k| 0 | 0.0 |1276M| 56 | - | 60 | 110 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | -- | Inf
1604.01/1604.68 c 1497s| 6910k| 3060k| 0 | 0.0 |1275M| 56 | - | 60 | 110 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | -- | Inf
1606.80/1607.44 c 1500s| 6920k| 3059k| 0 | 0.0 |1274M| 56 | - | 60 | 110 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | -- | Inf
1609.50/1610.11 c 1502s| 6930k| 3058k| 0 | 0.0 |1273M| 56 | - | 60 | 110 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | -- | Inf
1612.20/1612.83 c 1505s| 6940k| 3057k| 0 | 0.0 |1273M| 56 | - | 60 | 109 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | -- | Inf
1614.90/1615.54 c 1507s| 6950k| 3056k| 0 | 0.0 |1272M| 56 | - | 60 | 109 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
1617.60/1618.25 c 1510s| 6960k| 3055k| 0 | 0.0 |1271M| 56 | - | 60 | 110 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | -- | Inf
1620.30/1620.93 c 1512s| 6970k| 3054k| 0 | 0.0 |1271M| 56 | - | 60 | 110 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | -- | Inf
1622.90/1623.59 c 1515s| 6980k| 3053k| 0 | 0.0 |1270M| 57 | - | 60 | 109 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | -- | Inf
1625.60/1626.25 c 1517s| 6990k| 3052k| 0 | 0.0 |1269M| 57 | - | 60 | 109 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | -- | Inf
1628.19/1628.87 c 1520s| 7000k| 3051k| 0 | 0.0 |1269M| 57 | - | 60 | 106 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | -- | Inf
1630.90/1631.52 c 1522s| 7010k| 3050k| 0 | 0.0 |1268M| 57 | - | 60 | 103 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | -- | Inf
1633.50/1634.16 c 1525s| 7020k| 3049k| 0 | 0.0 |1267M| 57 | - | 60 | 100 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | -- | Inf
1636.20/1636.86 c 1527s| 7030k| 3048k| 0 | 0.0 |1266M| 57 | - | 60 | 100 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | -- | Inf
1638.89/1639.58 c 1530s| 7040k| 3047k| 0 | 0.0 |1266M| 57 | - | 60 | 100 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | -- | Inf
1641.60/1642.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.60/1642.30 c 1532s| 7050k| 3046k| 0 | 0.0 |1265M| 57 | - | 60 | 100 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | -- | Inf
1644.39/1645.04 c 1535s| 7060k| 3045k| 0 | 0.0 |1264M| 57 | - | 60 | 101 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | -- | Inf
1647.20/1647.82 c 1537s| 7070k| 3044k| 0 | 0.0 |1263M| 57 | - | 60 | 101 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | -- | Inf
1649.98/1650.64 c 1540s| 7080k| 3043k| 0 | 0.0 |1262M| 57 | - | 60 | 100 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | -- | Inf
1652.79/1653.41 c 1542s| 7090k| 3041k| 0 | 0.0 |1261M| 57 | - | 60 | 98 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | -- | Inf
1655.59/1656.23 c 1545s| 7100k| 3040k| 0 | 0.0 |1260M| 57 | - | 60 | 97 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | -- | Inf
1658.39/1659.03 c 1548s| 7110k| 3039k| 0 | 0.0 |1259M| 57 | - | 60 | 97 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | -- | Inf
1661.18/1661.81 c 1550s| 7120k| 3038k| 0 | 0.0 |1258M| 57 | - | 60 | 95 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | -- | Inf
1663.78/1664.46 c 1553s| 7130k| 3037k| 0 | 0.0 |1257M| 57 | - | 60 | 95 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | -- | Inf
1666.48/1667.17 c 1555s| 7140k| 3036k| 0 | 0.0 |1257M| 57 | - | 60 | 95 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | -- | Inf
1669.28/1669.96 c 1558s| 7150k| 3035k| 0 | 0.0 |1256M| 57 | - | 60 | 92 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | -- | Inf
1671.98/1672.69 c 1560s| 7160k| 3033k| 0 | 0.0 |1255M| 57 | - | 60 | 91 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | -- | Inf
1674.78/1675.48 c 1563s| 7170k| 3032k| 0 | 0.0 |1253M| 57 | - | 60 | 89 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | -- | Inf
1677.78/1678.46 c 1566s| 7180k| 3030k| 0 | 0.0 |1252M| 57 | - | 60 | 90 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | -- | Inf
1680.67/1681.30 c 1568s| 7190k| 3029k| 0 | 0.0 |1251M| 57 | - | 60 | 92 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | -- | Inf
1683.48/1684.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.48/1684.13 c 1571s| 7200k| 3028k| 0 | 0.0 |1250M| 57 | - | 60 | 92 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | -- | Inf
1686.37/1687.04 c 1574s| 7210k| 3026k| 0 | 0.0 |1248M| 57 | - | 60 | 92 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | -- | Inf
1689.28/1689.93 c 1576s| 7220k| 3024k| 0 | 0.0 |1247M| 57 | - | 60 | 91 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | -- | Inf
1692.18/1692.87 c 1579s| 7230k| 3023k| 0 | 0.0 |1246M| 57 | - | 60 | 90 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | -- | Inf
1695.08/1695.70 c 1582s| 7240k| 3021k| 0 | 0.0 |1245M| 57 | - | 60 | 89 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | -- | Inf
1697.87/1698.51 c 1584s| 7250k| 3020k| 0 | 0.0 |1244M| 57 | - | 60 | 87 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | -- | Inf
1700.57/1701.26 c 1587s| 7260k| 3019k| 0 | 0.0 |1242M| 57 | - | 60 | 87 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | -- | Inf
1703.47/1704.10 c 1589s| 7270k| 3017k| 0 | 0.0 |1241M| 57 | - | 60 | 87 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | -- | Inf
1706.27/1706.91 c 1592s| 7280k| 3016k| 0 | 0.0 |1240M| 57 | - | 60 | 87 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | -- | Inf
1708.97/1709.61 c 1594s| 7290k| 3015k| 0 | 0.0 |1240M| 57 | - | 60 | 87 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | -- | Inf
1711.56/1712.29 c 1597s| 7300k| 3014k| 0 | 0.0 |1239M| 57 | - | 60 | 87 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | -- | Inf
1714.27/1714.91 c 1599s| 7310k| 3014k| 0 | 0.0 |1239M| 57 | - | 60 | 87 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | -- | Inf
1716.86/1717.59 c 1602s| 7320k| 3013k| 0 | 0.0 |1238M| 57 | - | 60 | 86 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | -- | Inf
1719.57/1720.28 c 1604s| 7330k| 3012k| 0 | 0.0 |1238M| 57 | - | 60 | 84 | 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | -- | Inf
1722.26/1722.90 c 1607s| 7340k| 3011k| 0 | 0.0 |1237M| 57 | - | 60 | 84 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | -- | Inf
1724.87/1725.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1724.87/1725.56 c 1609s| 7350k| 3011k| 0 | 0.0 |1237M| 57 | - | 60 | 83 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | -- | Inf
1727.47/1728.14 c 1612s| 7360k| 3010k| 0 | 0.0 |1236M| 57 | - | 60 | 84 | 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | -- | Inf
1729.96/1730.69 c 1614s| 7370k| 3009k| 0 | 0.0 |1236M| 57 | - | 60 | 81 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | -- | Inf
1732.66/1733.37 c 1616s| 7380k| 3009k| 0 | 0.0 |1235M| 57 | - | 60 | 82 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | -- | Inf
1735.36/1736.00 c 1619s| 7390k| 3008k| 0 | 0.0 |1235M| 57 | - | 60 | 83 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | -- | Inf
1737.96/1738.62 c 1621s| 7400k| 3007k| 0 | 0.0 |1235M| 57 | - | 60 | 83 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | -- | Inf
1740.45/1741.18 c 1624s| 7410k| 3007k| 0 | 0.0 |1234M| 57 | - | 60 | 82 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | -- | Inf
1743.05/1743.77 c 1626s| 7420k| 3006k| 0 | 0.0 |1234M| 57 | - | 60 | 83 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | -- | Inf
1745.65/1746.38 c 1628s| 7430k| 3005k| 0 | 0.0 |1233M| 57 | - | 60 | 82 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | -- | Inf
1748.36/1749.02 c 1631s| 7440k| 3005k| 0 | 0.0 |1233M| 57 | - | 60 | 82 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | -- | Inf
1750.85/1751.59 c 1633s| 7450k| 3004k| 0 | 0.0 |1233M| 57 | - | 60 | 82 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | -- | Inf
1753.45/1754.14 c 1636s| 7460k| 3003k| 0 | 0.0 |1232M| 57 | - | 60 | 82 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | -- | Inf
1756.06/1756.73 c 1638s| 7470k| 3003k| 0 | 0.0 |1232M| 57 | - | 60 | 84 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | -- | Inf
1758.65/1759.36 c 1640s| 7480k| 3002k| 0 | 0.0 |1231M| 57 | - | 60 | 84 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | -- | Inf
1761.25/1761.93 c 1643s| 7490k| 3001k| 0 | 0.0 |1231M| 57 | - | 60 | 85 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | -- | Inf
1763.85/1764.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.85/1764.50 c 1645s| 7500k| 3001k| 0 | 0.0 |1231M| 57 | - | 60 | 85 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | -- | Inf
1766.35/1767.08 c 1648s| 7510k| 3000k| 0 | 0.0 |1230M| 57 | - | 60 | 86 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | -- | Inf
1768.95/1769.69 c 1650s| 7520k| 2999k| 0 | 0.0 |1230M| 57 | - | 60 | 85 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | -- | Inf
1771.54/1772.26 c 1652s| 7530k| 2999k| 0 | 0.0 |1229M| 57 | - | 60 | 84 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | -- | Inf
1774.15/1774.89 c 1655s| 7540k| 2998k| 0 | 0.0 |1229M| 57 | - | 60 | 83 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | -- | Inf
1776.75/1777.45 c 1657s| 7550k| 2997k| 0 | 0.0 |1229M| 57 | - | 60 | 83 | 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | -- | Inf
1779.24/1779.99 c 1659s| 7560k| 2997k| 0 | 0.0 |1228M| 57 | - | 60 | 82 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | -- | Inf
1781.84/1782.53 c 1662s| 7570k| 2996k| 0 | 0.0 |1228M| 57 | - | 60 | 83 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | -- | Inf
1784.44/1785.14 c 1664s| 7580k| 2996k| 0 | 0.0 |1228M| 57 | - | 60 | 81 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | -- | Inf
1786.94/1787.63 c 1666s| 7590k| 2995k| 0 | 0.0 |1227M| 57 | - | 60 | 83 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | -- | Inf
1789.34/1790.05 c 1669s| 7600k| 2995k| 0 | 0.0 |1227M| 57 | - | 60 | 84 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | -- | Inf
1791.94/1792.68 c 1671s| 7610k| 2994k| 0 | 0.0 |1226M| 57 | - | 60 | 84 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | -- | Inf
1794.64/1795.31 c 1674s| 7620k| 2993k| 0 | 0.0 |1226M| 57 | - | 60 | 84 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | -- | Inf
1797.24/1797.90 c 1676s| 7630k| 2993k| 0 | 0.0 |1226M| 57 | - | 60 | 84 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | -- | Inf
1799.84/1800.52 c 1678s| 7640k| 2992k| 0 | 0.0 |1225M| 57 | - | 60 | 83 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1678.53
1800.05/1800.71 c Solving Nodes : 7640703
1800.05/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.71 c Dual Bound : +0.00000000000000e+00
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 s UNKNOWN
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time : 1678.53
1800.05/1800.71 c Original Problem :
1800.05/1800.71 c Problem name : HOME/instance-2664801-1276614387.opb
1800.05/1800.71 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 15 initial, 15 maximal
1800.05/1800.71 c Presolved Problem :
1800.05/1800.71 c Problem name : t_HOME/instance-2664801-1276614387.opb
1800.05/1800.71 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 7 initial, 649 maximal
1800.05/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.71 c linear : 0.00 0 0 0 0 0 8 0 0
1800.05/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c root node : - 0 - - 0 - - - -
1800.05/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.71 c linear : 7 0 12324245 0 5433968 2441506 30428810 0 0 0
1800.05/1800.71 c logicor : 0+ 0 3183159 0 0 0 769623 0 0 0
1800.05/1800.71 c countsols : 0 0 0 0 5433968 0 0 0 0 0
1800.05/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.71 c linear : 1072.74 0.00 1069.09 0.00 3.65
1800.05/1800.71 c logicor : 33.20 0.00 33.20 0.00 0.00
1800.05/1800.71 c countsols : 2.00 0.00 0.00 0.00 2.00
1800.05/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.71 c vbounds : 6.07 2 0 0
1800.05/1800.71 c rootredcost : 5.84 0 0 0
1800.05/1800.71 c pseudoobj : 5.27 0 0 0
1800.05/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.71 c propagation : 393.79 2441506 886976 2921562 41.4 0 0.0 -
1800.05/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.71 c applied globally : - - - 171646 28.6 - - -
1800.05/1800.71 c applied locally : - - - 715674 36.3 - - -
1800.05/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.71 c redcost : 0.00 0 0 0 0 0
1800.05/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.71 c intobj : 0.00 0 0 0 0 0
1800.05/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.71 c gomory : 0.00 0 0 0 0 0
1800.05/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.71 c cmir : 0.00 0 0 0 0 0
1800.05/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.71 c clique : 0.00 0 0 0 0 0
1800.05/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.71 c mcf : 0.00 0 0 0 0 0
1800.05/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.71 c Pricers : Time Calls Vars
1800.05/1800.71 c problem variables: 0.00 0 0
1800.05/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c inference : 42.16 5433968 0 0 0 0 10867936
1800.05/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c random : 0.00 0 0 0 0 0 0
1800.05/1800.71 c Primal Heuristics : Time Calls Found
1800.05/1800.71 c LP solutions : 0.00 - 0
1800.05/1800.71 c pseudo solutions : 0.00 - 0
1800.05/1800.71 c oneopt : 3.84 0 0
1800.05/1800.71 c trivial : 0.00 2 0
1800.05/1800.71 c simplerounding : 0.00 0 0
1800.05/1800.71 c zirounding : 0.00 0 0
1800.05/1800.71 c rounding : 0.00 0 0
1800.05/1800.71 c shifting : 0.00 0 0
1800.05/1800.71 c intshifting : 0.00 0 0
1800.05/1800.71 c twoopt : 0.00 0 0
1800.05/1800.71 c fixandinfer : 0.00 0 0
1800.05/1800.71 c feaspump : 0.00 0 0
1800.05/1800.71 c coefdiving : 0.00 0 0
1800.05/1800.71 c pscostdiving : 0.00 0 0
1800.05/1800.71 c fracdiving : 0.00 0 0
1800.05/1800.71 c veclendiving : 0.00 0 0
1800.05/1800.71 c intdiving : 0.00 0 0
1800.05/1800.71 c actconsdiving : 0.00 0 0
1800.05/1800.71 c objpscostdiving : 0.00 0 0
1800.05/1800.71 c rootsoldiving : 0.00 0 0
1800.05/1800.71 c linesearchdiving : 0.00 0 0
1800.05/1800.71 c guideddiving : 0.00 0 0
1800.05/1800.71 c octane : 0.00 0 0
1800.05/1800.71 c rens : 0.00 0 0
1800.05/1800.71 c rins : 0.00 0 0
1800.05/1800.71 c localbranching : 0.00 0 0
1800.05/1800.71 c mutation : 0.00 0 0
1800.05/1800.71 c crossover : 0.00 0 0
1800.05/1800.71 c dins : 0.00 0 0
1800.05/1800.71 c undercover : 0.00 0 0
1800.05/1800.71 c nlp : 3.80 0 0
1800.05/1800.71 c trysol : 2.99 0 0
1800.05/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.71 c (at root node) : - 0 0 0.00 -
1800.05/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.71 c B&B Tree :
1800.05/1800.71 c number of runs : 1
1800.05/1800.71 c nodes : 7640703
1800.05/1800.71 c nodes (total) : 7640703
1800.05/1800.71 c nodes left : 2992379
1800.05/1800.71 c max depth : 57
1800.05/1800.71 c max depth (total): 57
1800.05/1800.71 c backtracks : 776706 (10.2%)
1800.05/1800.71 c delayed cutoffs : 234855
1800.05/1800.71 c repropagations : 1840850 (2291452 domain reductions, 234771 cutoffs)
1800.05/1800.71 c avg switch length: 6.79
1800.05/1800.71 c switching time : 307.60
1800.05/1800.71 c Solution :
1800.05/1800.71 c Solutions found : 0 (0 improvements)
1800.05/1800.71 c Primal Bound : -
1800.05/1800.71 c Dual Bound : +0.00000000000000e+00
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.71 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664801-1276614387/watcher-2664801-1276614387 -o /tmp/evaluation-result-2664801-1276614387/solver-2664801-1276614387 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664801-1276614387.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4925
/proc/meminfo: memFree=1817844/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=6584 CPUtime=0
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 1 0 37040306 6742016 920 1992294400 4194304 7136930 140734315816064 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4925/statm: 1646 929 254 719 0 925 0
[startup+0.016333 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4925
/proc/meminfo: memFree=1817844/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=8828 CPUtime=0
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 2044 0 0 0 0 0 0 0 20 0 1 0 37040306 9039872 1613 1992294400 4194304 7136930 140734315816064 18446744073709551615 6328580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 2207 1623 301 719 0 1486 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8828
[startup+0.100334 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4925
/proc/meminfo: memFree=1817844/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=11156 CPUtime=0.09
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 2992 0 0 0 8 1 0 0 20 0 1 0 37040306 11423744 2047 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 2789 2047 387 719 0 2068 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11156
[startup+0.300375 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4925
/proc/meminfo: memFree=1817844/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=11472 CPUtime=0.29
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 3100 0 0 0 26 3 0 0 20 0 1 0 37040306 11747328 2155 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 2868 2155 387 719 0 2147 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11472
[startup+0.700462 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4925
/proc/meminfo: memFree=1817844/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=12492 CPUtime=0.69
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 3363 0 0 0 62 7 0 0 21 0 1 0 37040306 12791808 2418 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 3123 2418 387 719 0 2402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12492
[startup+1.50063 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4926
/proc/meminfo: memFree=1809280/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=14088 CPUtime=1.49
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 3766 0 0 0 136 13 0 0 23 0 1 0 37040306 14426112 2821 1992294400 4194304 7136930 140734315816064 18446744073709551615 4978986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 3522 2821 387 719 0 2801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14088
[startup+3.10097 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4926
/proc/meminfo: memFree=1806676/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=16628 CPUtime=3.09
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 4408 0 0 0 282 27 0 0 25 0 1 0 37040306 17027072 3463 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 4157 3463 387 719 0 3436 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16628
[startup+6.30065 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4926
/proc/meminfo: memFree=1801964/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=20520 CPUtime=6.29
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 5412 0 0 0 578 51 0 0 25 0 1 0 37040306 21012480 4467 1992294400 4194304 7136930 140734315816064 18446744073709551615 4978487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 5130 4467 387 719 0 4409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20520
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4926
/proc/meminfo: memFree=1794400/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=28096 CPUtime=12.69
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 7395 0 0 0 1173 96 0 0 25 0 1 0 37040306 28770304 6450 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 7024 6450 387 719 0 6303 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28096
[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4926
/proc/meminfo: memFree=1774188/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=48352 CPUtime=25.48
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 12120 0 0 0 2350 198 0 0 25 0 1 0 37040306 49512448 11175 1992294400 4194304 7136930 140734315816064 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 12088 11175 387 719 0 11367 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48352
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4926
/proc/meminfo: memFree=1740956/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=81740 CPUtime=51.07
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 20668 0 0 0 4722 385 0 0 25 0 1 0 37040306 83701760 19723 1992294400 4194304 7136930 140734315816064 18446744073709551615 4703631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 20435 19723 387 719 0 19714 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 81740
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4928
/proc/meminfo: memFree=1669408/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=153124 CPUtime=102.26
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 38194 0 0 0 9431 795 0 0 25 0 1 0 37040306 156798976 37249 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 38281 37249 387 719 0 37560 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 153124
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4930
/proc/meminfo: memFree=1595752/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=232180 CPUtime=162.23
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 56605 0 0 0 14988 1235 0 0 25 0 1 0 37040306 237752320 55660 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 58045 55660 387 719 0 57324 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 232180
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4932
/proc/meminfo: memFree=1530528/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=294932 CPUtime=222.21
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 72795 0 0 0 20577 1644 0 0 25 0 1 0 37040306 302010368 71850 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 73733 71850 387 719 0 73012 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 294932
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4932
/proc/meminfo: memFree=1479936/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=344036 CPUtime=282.19
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 85400 0 0 0 26183 2036 0 0 25 0 1 0 37040306 352292864 84455 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 86009 84455 387 719 0 85288 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 344036
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4934
/proc/meminfo: memFree=1431576/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=391396 CPUtime=342.16
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 97570 0 0 0 31801 2415 0 0 25 0 1 0 37040306 400789504 96625 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 97849 96625 387 719 0 97128 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 391396
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4936
/proc/meminfo: memFree=1353084/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=482340 CPUtime=402.14
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 117157 0 0 0 37317 2897 0 0 25 0 1 0 37040306 493916160 116212 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 120585 116212 387 719 0 119864 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 482340
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4941
/proc/meminfo: memFree=1272980/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=557556 CPUtime=462.12
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 136760 0 0 0 42850 3362 0 0 25 0 1 0 37040306 570937344 135815 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 139389 135815 387 719 0 138668 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 557556
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4943
/proc/meminfo: memFree=1203044/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=624592 CPUtime=522.1
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 154269 0 0 0 48417 3793 0 0 25 0 1 0 37040306 639582208 153324 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 156148 153324 387 719 0 155427 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 624592
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4943
/proc/meminfo: memFree=1138812/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=686192 CPUtime=582.08
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 170323 0 0 0 53984 4224 0 0 25 0 1 0 37040306 702660608 169378 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 171548 169378 387 719 0 170827 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 686192
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4945
/proc/meminfo: memFree=1075448/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=746920 CPUtime=642.07
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 186109 0 0 0 59552 4655 0 0 25 0 1 0 37040306 764846080 185164 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 186730 185164 387 719 0 186009 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 746920
[startup+702.301 s]
################
# More data... #
################
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 283722 0 0 0 98868 7322 0 0 25 0 1 0 37040306 1184370688 282777 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 289153 282777 387 719 0 288432 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1156612
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4959
/proc/meminfo: memFree=637480/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1201360 CPUtime=1121.88
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 295215 0 0 0 104500 7688 0 0 25 0 1 0 37040306 1230192640 294270 1992294400 4194304 7136930 140734315816064 18446744073709551615 4981233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 300340 294270 387 719 0 299619 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1201360
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4959
/proc/meminfo: memFree=593088/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1244972 CPUtime=1181.86
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 306487 0 0 0 110154 8032 0 0 25 0 1 0 37040306 1274851328 305542 1992294400 4194304 7136930 140734315816064 18446744073709551615 4947574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 311243 305542 387 719 0 310522 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1244972
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4961
/proc/meminfo: memFree=546712/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1288728 CPUtime=1241.84
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 317785 0 0 0 115795 8389 0 0 25 0 1 0 37040306 1319657472 316840 1992294400 4194304 7136930 140734315816064 18446744073709551615 6123187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 322182 316840 387 719 0 321461 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1288728
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4963
/proc/meminfo: memFree=501080/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1332740 CPUtime=1301.82
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 329114 0 0 0 121448 8734 0 0 25 0 1 0 37040306 1364725760 328169 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 333185 328169 387 719 0 332464 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1332740
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4965
/proc/meminfo: memFree=462020/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1371872 CPUtime=1361.8
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 339127 0 0 0 127111 9069 0 0 25 0 1 0 37040306 1404796928 338182 1992294400 4194304 7136930 140734315816064 18446744073709551615 5918773 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 342968 338182 387 719 0 342247 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1371872
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4967
/proc/meminfo: memFree=419860/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1411616 CPUtime=1421.78
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 349363 0 0 0 132774 9404 0 0 25 0 1 0 37040306 1445494784 348418 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 352904 348418 387 719 0 352183 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1411616
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4967
/proc/meminfo: memFree=398408/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1432012 CPUtime=1481.75
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366865 0 0 0 138375 9800 0 0 25 0 1 0 37040306 1466380288 353625 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 358003 353625 387 719 0 357282 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1432012
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4969
/proc/meminfo: memFree=399028/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1431120 CPUtime=1541.73
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366865 0 0 0 143935 10238 0 0 25 0 1 0 37040306 1465466880 353403 1992294400 4194304 7136930 140734315816064 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 357780 353403 387 719 0 357059 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1431120
[startup+1602.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 4971
/proc/meminfo: memFree=398904/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1431120 CPUtime=1601.71
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366865 0 0 0 149509 10662 0 0 25 0 1 0 37040306 1465466880 353403 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 357780 353403 387 719 0 357059 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1431120
[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 4973
/proc/meminfo: memFree=398780/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1431120 CPUtime=1661.69
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366865 0 0 0 155054 11115 0 0 25 0 1 0 37040306 1465466880 353403 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 357780 353403 387 719 0 357059 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1431120
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4975
/proc/meminfo: memFree=399772/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1430096 CPUtime=1721.67
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366865 0 0 0 160621 11546 0 0 25 0 1 0 37040306 1464418304 353147 1992294400 4194304 7136930 140734315816064 18446744073709551615 5918712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 357524 353147 387 719 0 356803 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1430096
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4975
/proc/meminfo: memFree=399400/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1430096 CPUtime=1781.64
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366865 0 0 0 166157 12007 0 0 25 0 1 0 37040306 1464418304 353147 1992294400 4194304 7136930 140734315816064 18446744073709551615 4675449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 357524 353147 387 719 0 356803 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1430096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4977
/proc/meminfo: memFree=399400/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1430096 CPUtime=1800.05
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366865 0 0 0 167853 12152 0 0 25 0 1 0 37040306 1464418304 353147 1992294400 4194304 7136930 140734315816064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4925/statm: 357524 353147 387 719 0 356803 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1430096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4925
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4977
/proc/meminfo: memFree=399400/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1430096 CPUtime=1800.73
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366871 0 0 0 167921 12152 0 0 25 0 1 0 37040306 1464418304 353153 1992294400 4194304 7136930 140734315816064 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4925/statm: 357524 353153 393 719 0 356803 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 1430096
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4978
/proc/meminfo: memFree=399392/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1430096 CPUtime=1801.53
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366871 0 0 0 168001 12152 0 0 25 0 1 0 37040306 1464418304 353153 1992294400 4194304 7136930 140734315816064 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4925/statm: 357524 353153 393 719 0 356803 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 1430096
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4978
/proc/meminfo: memFree=399392/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=1430096 CPUtime=1801.93
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4202496 366871 0 0 0 168041 12152 0 0 25 0 1 0 37040306 1464418304 353153 1992294400 4194304 7136930 140734315816064 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4925/statm: 357524 353153 393 719 0 356803 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 1430096
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4978
/proc/meminfo: memFree=1253884/2059040 swapFree=4140252/4192956
[pid=4925] ppid=4923 vsize=0 CPUtime=1802.14
/proc/4925/stat : 4925 (pbscip.linux.x8) R 4923 4925 4650 0 -1 4203524 366871 0 0 0 168053 12161 0 0 25 0 1 0 37040306 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/4925/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.85
CPU time (s): 1802.19
CPU user time (s): 1680.53
CPU system time (s): 121.659
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 1496364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.53
system time used= 121.659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 19725
runsolver used 3.03754 second user time and 8.50671 second system time
The end