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-2663635-1276648669.opb>
0.00/0.01 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 595 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.02 c presolving:
0.09/0.17 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 60 chg coeffs, 0 upgd conss, 3600 impls, 0 clqs
0.09/0.17 c (round 2) 25 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 10 upgd conss, 5392 impls, 0 clqs
0.09/0.18 c (round 3) 41 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 10 upgd conss, 6960 impls, 0 clqs
0.09/0.19 c (round 4) 57 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8304 impls, 0 clqs
0.09/0.19 c (round 5) 73 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 116 chg coeffs, 10 upgd conss, 9424 impls, 0 clqs
0.09/0.20 c (round 6) 89 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 130 chg coeffs, 10 upgd conss, 10320 impls, 0 clqs
0.19/0.20 c (round 7) 105 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 144 chg coeffs, 10 upgd conss, 10992 impls, 0 clqs
0.19/0.21 c (round 8) 121 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 10 upgd conss, 11440 impls, 0 clqs
0.19/0.21 c (round 9) 137 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 172 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.21 c (round 10) 153 del vars, 126 del conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 221/639 (34.6%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (11 rounds):
0.19/0.25 c 153 deleted vars, 126 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 186 changed coefficients
0.19/0.25 c 11700 implications, 0 cliques
0.19/0.25 c presolved problem has 639 variables (639 bin, 0 int, 0 impl, 0 cont) and 460 constraints
0.19/0.25 c 441 constraints of type <and>
0.19/0.25 c 9 constraints of type <linear>
0.19/0.25 c 10 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 2)
0.19/0.25 c Presolving Time: 0.13
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 1.2.1.2
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1800
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 1620
0.19/0.25 c
0.19/0.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.25 c lp/solvefreq = -1
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c heuristics/undercover/freq = 0
0.19/0.25 c
0.19/0.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c separating/rapidlearning/freq = 0
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.25 c
0.19/0.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.25 c 0.1s| 1 | 2 | 0 | - |2073k| 0 | - | 639 | 460 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.19/3.24 c 2.9s| 10000 | 7887 | 0 | 0.0 |7646k| 408 | - | 639 | 742 | 0 | 0 | 0 |1497 | 0 | 1.000000e+00 | -- | Inf
6.50/6.55 c 5.9s| 20000 | 15270 | 0 | 0.0 | 13M| 408 | - | 639 |1062 | 0 | 0 | 0 |3522 | 0 | 1.000000e+00 | -- | Inf
9.69/9.75 c 8.9s| 30000 | 23068 | 0 | 0.0 | 18M| 408 | - | 639 |1104 | 0 | 0 | 0 |5301 | 0 | 1.000000e+00 | -- | Inf
12.99/13.04 c 11.9s| 40000 | 30419 | 0 | 0.0 | 24M| 408 | - | 639 |1324 | 0 | 0 | 0 |7356 | 0 | 1.000000e+00 | -- | Inf
16.99/17.09 c 15.7s| 50000 | 36387 | 0 | 0.0 | 29M| 408 | - | 639 |1545 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
21.39/21.40 c 19.7s| 60000 | 42221 | 0 | 0.0 | 34M| 408 | - | 639 | 945 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
24.59/24.64 c 22.7s| 70000 | 49847 | 0 | 0.0 | 40M| 408 | - | 639 | 906 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | -- | Inf
27.98/28.07 c 25.9s| 80000 | 57070 | 0 | 0.0 | 45M| 408 | - | 639 |1243 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
31.69/31.70 c 29.3s| 90000 | 63902 | 0 | 0.0 | 50M| 408 | - | 639 |1431 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
35.48/35.56 c 32.9s|100000 | 70466 | 0 | 0.0 | 54M| 408 | - | 639 |1816 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
39.28/39.40 c 36.5s|110000 | 77441 | 0 | 0.0 | 60M| 408 | - | 639 |2090 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
43.28/43.37 c 40.2s|120000 | 84496 | 0 | 0.0 | 65M| 408 | - | 639 |2043 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
47.08/47.15 c 43.7s|130000 | 91801 | 0 | 0.0 | 70M| 408 | - | 639 |2022 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
50.98/51.05 c 47.4s|140000 | 98903 | 0 | 0.0 | 75M| 408 | - | 639 |2106 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
54.77/54.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.77/54.81 c 50.9s|150000 |106239 | 0 | 0.0 | 80M| 408 | - | 639 |1791 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
58.47/58.59 c 54.4s|160000 |113361 | 0 | 0.0 | 85M| 408 | - | 639 |1755 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
62.28/62.32 c 57.9s|170000 |120509 | 0 | 0.0 | 90M| 408 | - | 639 |1670 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
65.88/66.00 c 61.4s|180000 |127763 | 0 | 0.0 | 95M| 408 | - | 639 |1606 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
69.68/69.70 c 64.8s|190000 |135010 | 0 | 0.0 | 101M| 408 | - | 639 |1699 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
73.58/73.62 c 68.4s|200000 |141844 | 0 | 0.0 | 106M| 408 | - | 639 |1923 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | -- | Inf
77.77/77.80 c 72.4s|210000 |148177 | 0 | 0.0 | 110M| 408 | - | 639 |2115 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | -- | Inf
81.87/81.92 c 76.3s|220000 |154708 | 0 | 0.0 | 115M| 408 | - | 639 |2149 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
86.17/86.28 c 80.4s|230000 |160828 | 0 | 0.0 | 120M| 408 | - | 639 |2102 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
90.57/90.61 c 84.4s|240000 |166977 | 0 | 0.0 | 124M| 408 | - | 639 |2145 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
94.67/94.79 c 88.3s|250000 |173324 | 0 | 0.0 | 129M| 408 | - | 639 |2435 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
99.17/99.20 c 92.4s|260000 |179362 | 0 | 0.0 | 133M| 408 | - | 639 |2088 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
103.17/103.28 c 96.2s|270000 |185775 | 0 | 0.0 | 138M| 408 | - | 639 |1937 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
107.37/107.47 c 100s|280000 |192158 | 0 | 0.0 | 143M| 408 | - | 639 |2180 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
111.67/111.78 c 104s|290000 |198426 | 0 | 0.0 | 148M| 408 | - | 639 |2599 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
116.36/116.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.36/116.48 c 109s|300000 |204306 | 0 | 0.0 | 153M| 408 | - | 639 |2754 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
121.36/121.45 c 113s|310000 |209784 | 0 | 0.0 | 157M| 408 | - | 639 |2988 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
126.16/126.22 c 118s|320000 |215280 | 0 | 0.0 | 162M| 408 | - | 639 |2710 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
131.56/131.64 c 123s|330000 |220025 | 0 | 0.0 | 166M| 408 | - | 639 |3398 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
136.95/137.07 c 128s|340000 |225068 | 0 | 0.0 | 170M| 408 | - | 639 |3273 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
142.75/142.81 c 134s|350000 |229555 | 0 | 0.0 | 174M| 408 | - | 639 |3191 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
149.15/149.28 c 140s|360000 |232715 | 0 | 0.0 | 178M| 408 | - | 639 |3203 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
155.06/155.13 c 145s|370000 |236351 | 0 | 0.0 | 181M| 408 | - | 639 |1094 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
158.65/158.76 c 149s|380000 |243330 | 0 | 0.0 | 186M| 408 | - | 639 |1282 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
162.45/162.58 c 152s|390000 |250232 | 0 | 0.0 | 191M| 408 | - | 639 |1372 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
166.15/166.23 c 156s|400000 |257346 | 0 | 0.0 | 197M| 408 | - | 639 |1207 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
169.55/169.63 c 159s|410000 |264773 | 0 | 0.0 | 202M| 408 | - | 639 |1189 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
173.14/173.23 c 162s|420000 |272231 | 0 | 0.0 | 208M| 408 | - | 639 |1208 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | -- | Inf
176.64/176.78 c 165s|430000 |279745 | 0 | 0.0 | 213M| 408 | - | 639 |1117 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
180.44/180.52 c 169s|440000 |286891 | 0 | 0.0 | 219M| 408 | - | 639 |1218 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
183.94/184.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.94/184.00 c 172s|450000 |293976 | 0 | 0.0 | 224M| 408 | - | 639 |1048 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | -- | Inf
187.75/187.82 c 176s|460000 |300954 | 0 | 0.0 | 229M| 408 | - | 639 |1632 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
191.74/191.86 c 180s|470000 |307694 | 0 | 0.0 | 234M| 408 | - | 639 |1723 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | -- | Inf
196.15/196.27 c 184s|480000 |313960 | 0 | 0.0 | 238M| 408 | - | 639 |2015 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | -- | Inf
200.74/200.86 c 188s|490000 |320113 | 0 | 0.0 | 243M| 408 | - | 639 |2133 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | -- | Inf
205.74/205.89 c 193s|500000 |325807 | 0 | 0.0 | 247M| 408 | - | 639 |2476 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
210.83/210.95 c 198s|510000 |331699 | 0 | 0.0 | 251M| 408 | - | 639 |2710 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
216.24/216.31 c 203s|520000 |337264 | 0 | 0.0 | 255M| 408 | - | 639 |2991 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | -- | Inf
221.63/221.78 c 208s|530000 |342970 | 0 | 0.0 | 259M| 408 | - | 639 |3077 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
226.84/226.98 c 213s|540000 |348994 | 0 | 0.0 | 264M| 408 | - | 639 |2956 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
232.04/232.14 c 218s|550000 |355020 | 0 | 0.0 | 268M| 408 | - | 639 |3171 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | -- | Inf
237.24/237.37 c 223s|560000 |361192 | 0 | 0.0 | 273M| 408 | - | 639 |3182 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | -- | Inf
242.73/242.89 c 228s|570000 |367176 | 0 | 0.0 | 277M| 408 | - | 639 |3359 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | -- | Inf
247.92/248.06 c 233s|580000 |373661 | 0 | 0.0 | 282M| 408 | - | 639 |3190 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
253.22/253.33 c 238s|590000 |379952 | 0 | 0.0 | 286M| 408 | - | 639 |3432 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | -- | Inf
258.44/258.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.44/258.51 c 243s|600000 |386414 | 0 | 0.0 | 291M| 408 | - | 639 |3658 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | -- | Inf
263.42/263.53 c 248s|610000 |393061 | 0 | 0.0 | 296M| 408 | - | 639 |3354 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | -- | Inf
268.33/268.44 c 252s|620000 |399758 | 0 | 0.0 | 301M| 408 | - | 639 |3395 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | -- | Inf
273.23/273.33 c 257s|630000 |406430 | 0 | 0.0 | 305M| 408 | - | 639 |3370 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
278.12/278.20 c 262s|640000 |413184 | 0 | 0.0 | 310M| 408 | - | 639 |3305 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
283.02/283.15 c 266s|650000 |419758 | 0 | 0.0 | 315M| 408 | - | 639 |3437 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | -- | Inf
288.03/288.10 c 271s|660000 |426429 | 0 | 0.0 | 320M| 408 | - | 639 |3176 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | -- | Inf
292.91/293.06 c 276s|670000 |433010 | 0 | 0.0 | 325M| 408 | - | 639 |3314 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
298.03/298.14 c 280s|680000 |439542 | 0 | 0.0 | 329M| 408 | - | 639 |3235 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | -- | Inf
303.01/303.12 c 285s|690000 |446250 | 0 | 0.0 | 334M| 408 | - | 639 |3121 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | -- | Inf
308.31/308.42 c 290s|700000 |452610 | 0 | 0.0 | 339M| 408 | - | 639 |3286 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | -- | Inf
313.32/313.41 c 295s|710000 |459450 | 0 | 0.0 | 344M| 408 | - | 639 |3048 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | -- | Inf
318.92/319.04 c 300s|720000 |465794 | 0 | 0.0 | 348M| 408 | - | 639 |3284 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | -- | Inf
324.21/324.30 c 305s|730000 |472555 | 0 | 0.0 | 353M| 408 | - | 639 |2783 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | -- | Inf
329.51/329.69 c 310s|740000 |478534 | 0 | 0.0 | 357M| 408 | - | 639 |3147 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | -- | Inf
334.91/335.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.91/335.04 c 316s|750000 |484714 | 0 | 0.0 | 362M| 408 | - | 639 |3330 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | -- | Inf
340.31/340.49 c 321s|760000 |490782 | 0 | 0.0 | 366M| 408 | - | 639 |3089 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | -- | Inf
345.81/345.95 c 326s|770000 |496916 | 0 | 0.0 | 371M| 408 | - | 639 |3147 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
351.10/351.29 c 331s|780000 |503113 | 0 | 0.0 | 375M| 408 | - | 639 |3200 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
356.40/356.50 c 336s|790000 |509301 | 0 | 0.0 | 380M| 408 | - | 639 |2975 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | -- | Inf
361.60/361.74 c 341s|800000 |515421 | 0 | 0.0 | 384M| 408 | - | 639 |2976 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | -- | Inf
366.70/366.86 c 346s|810000 |521644 | 0 | 0.0 | 389M| 408 | - | 639 |2992 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | -- | Inf
371.80/371.93 c 351s|820000 |527952 | 0 | 0.0 | 393M| 408 | - | 639 |2921 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
377.00/377.11 c 355s|830000 |534121 | 0 | 0.0 | 398M| 408 | - | 639 |2909 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | -- | Inf
381.89/382.01 c 360s|840000 |540611 | 0 | 0.0 | 402M| 408 | - | 639 |2811 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | -- | Inf
386.60/386.73 c 365s|850000 |547063 | 0 | 0.0 | 407M| 408 | - | 639 |2700 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | -- | Inf
391.39/391.51 c 369s|860000 |553431 | 0 | 0.0 | 412M| 408 | - | 639 |2731 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | -- | Inf
395.90/396.09 c 373s|870000 |560142 | 0 | 0.0 | 416M| 408 | - | 639 |2492 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | -- | Inf
400.69/400.84 c 378s|880000 |566393 | 0 | 0.0 | 421M| 408 | - | 639 |2692 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | -- | Inf
405.19/405.33 c 382s|890000 |573197 | 0 | 0.0 | 426M| 408 | - | 639 |2303 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | -- | Inf
409.69/409.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.69/409.83 c 386s|900000 |579736 | 0 | 0.0 | 430M| 408 | - | 639 |2445 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | -- | Inf
414.19/414.30 c 391s|910000 |586353 | 0 | 0.0 | 435M| 408 | - | 639 |2459 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | -- | Inf
418.99/419.13 c 395s|920000 |592414 | 0 | 0.0 | 439M| 408 | - | 639 |2618 | 0 | 0 | 0 | 260k| 0 | 1.000000e+00 | -- | Inf
423.58/423.74 c 400s|930000 |598914 | 0 | 0.0 | 444M| 408 | - | 639 |2644 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
427.99/428.12 c 404s|940000 |605800 | 0 | 0.0 | 449M| 408 | - | 639 |2439 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | -- | Inf
432.48/432.68 c 408s|950000 |612315 | 0 | 0.0 | 453M| 408 | - | 639 |2507 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | -- | Inf
437.29/437.40 c 412s|960000 |618684 | 0 | 0.0 | 458M| 408 | - | 639 |2524 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | -- | Inf
441.99/442.19 c 417s|970000 |624996 | 0 | 0.0 | 462M| 408 | - | 639 |2669 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | -- | Inf
446.49/446.66 c 421s|980000 |631638 | 0 | 0.0 | 467M| 408 | - | 639 |2131 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | -- | Inf
450.79/450.94 c 425s|990000 |638316 | 0 | 0.0 | 472M| 408 | - | 639 |2357 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | -- | Inf
455.18/455.36 c 429s| 1000k|645100 | 0 | 0.0 | 476M| 408 | - | 639 |2337 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | -- | Inf
459.98/460.10 c 434s| 1010k|651405 | 0 | 0.0 | 481M| 408 | - | 639 |2498 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | -- | Inf
464.38/464.57 c 438s| 1020k|658090 | 0 | 0.0 | 486M| 408 | - | 639 |2321 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | -- | Inf
468.97/469.19 c 442s| 1030k|664438 | 0 | 0.0 | 490M| 408 | - | 639 |2471 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | -- | Inf
473.37/473.51 c 446s| 1040k|671325 | 0 | 0.0 | 495M| 408 | - | 639 |2218 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | -- | Inf
477.67/477.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.67/477.86 c 451s| 1050k|678030 | 0 | 0.0 | 500M| 408 | - | 639 |2364 | 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | -- | Inf
482.07/482.22 c 455s| 1060k|684761 | 0 | 0.0 | 505M| 408 | - | 639 |2201 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | -- | Inf
486.27/486.45 c 459s| 1070k|691572 | 0 | 0.0 | 510M| 408 | - | 639 |2410 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | -- | Inf
490.96/491.12 c 463s| 1080k|697801 | 0 | 0.0 | 514M| 408 | - | 639 |2361 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | -- | Inf
495.36/495.59 c 467s| 1090k|704385 | 0 | 0.0 | 519M| 408 | - | 639 |2465 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | -- | Inf
499.87/500.05 c 472s| 1100k|710957 | 0 | 0.0 | 524M| 408 | - | 639 |2228 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | -- | Inf
504.06/504.21 c 475s| 1110k|718005 | 0 | 0.0 | 529M| 408 | - | 639 |1841 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | -- | Inf
508.66/508.88 c 480s| 1120k|723981 | 0 | 0.0 | 533M| 408 | - | 639 |2066 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | -- | Inf
512.96/513.15 c 484s| 1130k|730657 | 0 | 0.0 | 538M| 408 | - | 639 |2032 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | -- | Inf
517.56/517.72 c 488s| 1140k|736850 | 0 | 0.0 | 542M| 408 | - | 639 |2090 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | -- | Inf
521.86/522.04 c 492s| 1150k|743528 | 0 | 0.0 | 547M| 408 | - | 639 |2083 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | -- | Inf
526.26/526.46 c 496s| 1160k|750033 | 0 | 0.0 | 552M| 408 | - | 639 |2202 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | -- | Inf
531.06/531.21 c 501s| 1170k|756006 | 0 | 0.0 | 556M| 408 | - | 639 |2030 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | -- | Inf
535.96/536.10 c 505s| 1180k|762139 | 0 | 0.0 | 560M| 408 | - | 639 |1956 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | -- | Inf
540.66/540.82 c 510s| 1190k|768244 | 0 | 0.0 | 565M| 408 | - | 639 |2001 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | -- | Inf
545.46/545.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.46/545.64 c 514s| 1200k|774363 | 0 | 0.0 | 569M| 408 | - | 639 |1878 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | -- | Inf
550.06/550.24 c 519s| 1210k|780504 | 0 | 0.0 | 574M| 408 | - | 639 |2069 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | -- | Inf
554.85/555.04 c 523s| 1220k|786733 | 0 | 0.0 | 578M| 408 | - | 639 |1918 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | -- | Inf
559.66/559.81 c 528s| 1230k|792789 | 0 | 0.0 | 582M| 408 | - | 639 |2187 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | -- | Inf
564.65/564.86 c 533s| 1240k|798710 | 0 | 0.0 | 587M| 408 | - | 639 |2015 | 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | -- | Inf
569.55/569.77 c 537s| 1250k|804722 | 0 | 0.0 | 591M| 408 | - | 639 |2352 | 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | -- | Inf
574.65/574.83 c 542s| 1260k|810689 | 0 | 0.0 | 595M| 408 | - | 639 |2022 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | -- | Inf
579.65/579.85 c 547s| 1270k|816516 | 0 | 0.0 | 600M| 408 | - | 639 |2574 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | -- | Inf
584.44/584.68 c 551s| 1280k|822448 | 0 | 0.0 | 604M| 408 | - | 639 |2259 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | -- | Inf
589.35/589.59 c 556s| 1290k|828574 | 0 | 0.0 | 609M| 408 | - | 639 |2627 | 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | -- | Inf
594.24/594.49 c 561s| 1300k|834494 | 0 | 0.0 | 613M| 408 | - | 639 |2338 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | -- | Inf
599.44/599.64 c 566s| 1310k|840318 | 0 | 0.0 | 617M| 408 | - | 639 |2656 | 0 | 0 | 0 | 377k| 0 | 1.000000e+00 | -- | Inf
604.85/605.04 c 571s| 1320k|845797 | 0 | 0.0 | 621M| 408 | - | 639 |2647 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | -- | Inf
610.14/610.39 c 576s| 1330k|851537 | 0 | 0.0 | 625M| 408 | - | 639 |2230 | 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | -- | Inf
615.43/615.61 c 581s| 1340k|857277 | 0 | 0.0 | 630M| 408 | - | 639 |2657 | 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | -- | Inf
621.04/621.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.04/621.22 c 586s| 1350k|862703 | 0 | 0.0 | 634M| 408 | - | 639 |2817 | 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | -- | Inf
626.44/626.62 c 591s| 1360k|868429 | 0 | 0.0 | 638M| 408 | - | 639 |2128 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | -- | Inf
631.83/632.05 c 596s| 1370k|873964 | 0 | 0.0 | 642M| 408 | - | 639 |2709 | 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | -- | Inf
637.63/637.83 c 602s| 1380k|879213 | 0 | 0.0 | 646M| 408 | - | 639 |2834 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | -- | Inf
643.03/643.27 c 607s| 1390k|884822 | 0 | 0.0 | 650M| 408 | - | 639 |2786 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | -- | Inf
648.23/648.44 c 612s| 1400k|890830 | 0 | 0.0 | 655M| 408 | - | 639 |2459 | 0 | 0 | 0 | 413k| 0 | 1.000000e+00 | -- | Inf
653.73/653.93 c 617s| 1410k|896492 | 0 | 0.0 | 659M| 408 | - | 639 |2767 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | -- | Inf
659.74/659.91 c 623s| 1420k|901789 | 0 | 0.0 | 663M| 408 | - | 639 |3016 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | -- | Inf
665.23/665.48 c 628s| 1430k|907506 | 0 | 0.0 | 667M| 408 | - | 639 |3038 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | -- | Inf
670.63/670.87 c 633s| 1440k|913275 | 0 | 0.0 | 672M| 408 | - | 639 |3029 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | -- | Inf
676.33/676.59 c 639s| 1450k|918823 | 0 | 0.0 | 676M| 408 | - | 639 |3168 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | -- | Inf
682.22/682.43 c 644s| 1460k|924425 | 0 | 0.0 | 681M| 408 | - | 639 |3073 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | -- | Inf
688.02/688.23 c 650s| 1470k|930031 | 0 | 0.0 | 685M| 408 | - | 639 |3244 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | -- | Inf
694.12/694.37 c 656s| 1480k|935389 | 0 | 0.0 | 689M| 408 | - | 639 |3493 | 0 | 0 | 0 | 446k| 0 | 1.000000e+00 | -- | Inf
700.42/700.63 c 662s| 1490k|940687 | 0 | 0.0 | 693M| 408 | - | 639 |3636 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | -- | Inf
706.71/706.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.71/706.92 c 668s| 1500k|945936 | 0 | 0.0 | 697M| 408 | - | 639 |3863 | 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | -- | Inf
712.91/713.17 c 674s| 1510k|951355 | 0 | 0.0 | 701M| 408 | - | 639 |3708 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | -- | Inf
719.01/719.29 c 680s| 1520k|956812 | 0 | 0.0 | 705M| 408 | - | 639 |3608 | 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | -- | Inf
725.11/725.35 c 685s| 1530k|962241 | 0 | 0.0 | 710M| 408 | - | 639 |3754 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | -- | Inf
731.11/731.36 c 691s| 1540k|967736 | 0 | 0.0 | 714M| 408 | - | 639 |3988 | 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | -- | Inf
737.50/737.72 c 697s| 1550k|972893 | 0 | 0.0 | 718M| 408 | - | 639 |4168 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | -- | Inf
743.71/743.94 c 703s| 1560k|978142 | 0 | 0.0 | 722M| 408 | - | 639 |4064 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | -- | Inf
750.01/750.26 c 709s| 1570k|983407 | 0 | 0.0 | 726M| 408 | - | 639 |3559 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | -- | Inf
756.11/756.31 c 715s| 1580k|988741 | 0 | 0.0 | 730M| 408 | - | 639 |3456 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | -- | Inf
762.01/762.22 c 721s| 1590k|994064 | 0 | 0.0 | 734M| 408 | - | 639 |3010 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | -- | Inf
767.40/767.66 c 726s| 1600k|999823 | 0 | 0.0 | 738M| 408 | - | 639 |2504 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | -- | Inf
773.00/773.23 c 731s| 1610k| 1005k| 0 | 0.0 | 742M| 408 | - | 639 |2643 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | -- | Inf
778.09/778.35 c 736s| 1620k| 1011k| 0 | 0.0 | 747M| 408 | - | 639 |2435 | 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | -- | Inf
783.09/783.35 c 741s| 1630k| 1017k| 0 | 0.0 | 751M| 408 | - | 639 |2168 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | -- | Inf
788.00/788.22 c 746s| 1640k| 1022k| 0 | 0.0 | 756M| 408 | - | 639 |2172 | 0 | 0 | 0 | 515k| 0 | 1.000000e+00 | -- | Inf
792.69/792.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.69/792.91 c 750s| 1650k| 1029k| 0 | 0.0 | 761M| 408 | - | 639 |2452 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | -- | Inf
797.69/797.91 c 755s| 1660k| 1035k| 0 | 0.0 | 766M| 408 | - | 639 |2472 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | -- | Inf
802.70/802.98 c 760s| 1670k| 1041k| 0 | 0.0 | 770M| 408 | - | 639 |2819 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | -- | Inf
808.09/808.33 c 765s| 1680k| 1047k| 0 | 0.0 | 775M| 408 | - | 639 |3092 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | -- | Inf
813.79/814.01 c 770s| 1690k| 1053k| 0 | 0.0 | 780M| 408 | - | 639 |3368 | 0 | 0 | 0 | 533k| 0 | 1.000000e+00 | -- | Inf
819.39/819.68 c 775s| 1700k| 1058k| 0 | 0.0 | 784M| 408 | - | 639 |3557 | 0 | 0 | 0 | 536k| 0 | 1.000000e+00 | -- | Inf
825.08/825.36 c 781s| 1710k| 1064k| 0 | 0.0 | 789M| 408 | - | 639 |3619 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | -- | Inf
830.88/831.15 c 786s| 1720k| 1070k| 0 | 0.0 | 794M| 408 | - | 639 |3558 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | -- | Inf
836.79/837.09 c 792s| 1730k| 1076k| 0 | 0.0 | 798M| 408 | - | 639 |3397 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | -- | Inf
842.58/842.87 c 797s| 1740k| 1082k| 0 | 0.0 | 803M| 408 | - | 639 |3456 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | -- | Inf
848.58/848.81 c 803s| 1750k| 1087k| 0 | 0.0 | 807M| 408 | - | 639 |3670 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | -- | Inf
854.39/854.69 c 809s| 1760k| 1093k| 0 | 0.0 | 812M| 408 | - | 639 |3665 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | -- | Inf
860.48/860.70 c 815s| 1770k| 1099k| 0 | 0.0 | 816M| 408 | - | 639 |3776 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | -- | Inf
866.38/866.66 c 820s| 1780k| 1105k| 0 | 0.0 | 821M| 408 | - | 639 |3523 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | -- | Inf
872.27/872.57 c 826s| 1790k| 1110k| 0 | 0.0 | 825M| 408 | - | 639 |3491 | 0 | 0 | 0 | 568k| 0 | 1.000000e+00 | -- | Inf
878.17/878.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
878.17/878.49 c 832s| 1800k| 1116k| 0 | 0.0 | 829M| 408 | - | 639 |3563 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | -- | Inf
884.36/884.65 c 837s| 1810k| 1121k| 0 | 0.0 | 834M| 408 | - | 639 |3767 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | -- | Inf
891.36/891.67 c 844s| 1820k| 1125k| 0 | 0.0 | 837M| 408 | - | 639 |3904 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | -- | Inf
898.27/898.59 c 851s| 1830k| 1130k| 0 | 0.0 | 841M| 408 | - | 639 |4202 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | -- | Inf
904.97/905.27 c 857s| 1840k| 1135k| 0 | 0.0 | 845M| 408 | - | 639 |3911 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | -- | Inf
911.97/912.29 c 864s| 1850k| 1139k| 0 | 0.0 | 849M| 408 | - | 639 |4126 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | -- | Inf
918.56/918.82 c 870s| 1860k| 1144k| 0 | 0.0 | 853M| 408 | - | 639 |3853 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | -- | Inf
925.25/925.58 c 877s| 1870k| 1149k| 0 | 0.0 | 857M| 408 | - | 639 |3954 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | -- | Inf
931.65/931.92 c 883s| 1880k| 1154k| 0 | 0.0 | 861M| 408 | - | 639 |3787 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | -- | Inf
937.85/938.15 c 889s| 1890k| 1159k| 0 | 0.0 | 865M| 408 | - | 639 |3465 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | -- | Inf
943.95/944.26 c 895s| 1900k| 1164k| 0 | 0.0 | 869M| 408 | - | 639 |3499 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | -- | Inf
950.85/951.18 c 901s| 1910k| 1168k| 0 | 0.0 | 873M| 408 | - | 639 |3693 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | -- | Inf
957.86/958.11 c 908s| 1920k| 1172k| 0 | 0.0 | 876M| 408 | - | 639 |3923 | 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | -- | Inf
965.35/965.62 c 915s| 1930k| 1176k| 0 | 0.0 | 880M| 408 | - | 639 |4597 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | -- | Inf
972.95/973.24 c 923s| 1940k| 1179k| 0 | 0.0 | 883M| 408 | - | 639 |4690 | 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | -- | Inf
979.95/980.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.95/980.28 c 929s| 1950k| 1184k| 0 | 0.0 | 887M| 408 | - | 639 |4588 | 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | -- | Inf
987.84/988.17 c 937s| 1960k| 1186k| 0 | 0.0 | 890M| 408 | - | 639 |4329 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | -- | Inf
996.35/996.61 c 945s| 1970k| 1189k| 0 | 0.0 | 893M| 408 | - | 639 |4422 | 0 | 0 | 0 | 645k| 0 | 1.000000e+00 | -- | Inf
1004.44/1004.72 c 953s| 1980k| 1192k| 0 | 0.0 | 897M| 408 | - | 639 |4309 | 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | -- | Inf
1012.44/1012.78 c 961s| 1990k| 1195k| 0 | 0.0 | 901M| 408 | - | 639 |4256 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | -- | Inf
1021.24/1021.58 c 969s| 2000k| 1197k| 0 | 0.0 | 903M| 408 | - | 639 |4162 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | -- | Inf
1027.43/1027.71 c 975s| 2010k| 1201k| 0 | 0.0 | 905M| 408 | - | 639 |1178 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | -- | Inf
1031.34/1031.67 c 979s| 2020k| 1208k| 0 | 0.0 | 910M| 408 | - | 639 |1447 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | -- | Inf
1035.53/1035.87 c 983s| 2030k| 1215k| 0 | 0.0 | 915M| 408 | - | 639 |1483 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | -- | Inf
1040.03/1040.31 c 987s| 2040k| 1221k| 0 | 0.0 | 920M| 408 | - | 639 |1626 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | -- | Inf
1044.23/1044.55 c 991s| 2050k| 1228k| 0 | 0.0 | 925M| 408 | - | 639 |1594 | 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | -- | Inf
1048.43/1048.79 c 995s| 2060k| 1234k| 0 | 0.0 | 930M| 408 | - | 639 |1623 | 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | -- | Inf
1052.82/1053.15 c 999s| 2070k| 1241k| 0 | 0.0 | 935M| 408 | - | 639 |1702 | 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | -- | Inf
1057.22/1057.59 c 1003s| 2080k| 1247k| 0 | 0.0 | 939M| 408 | - | 639 |1724 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | -- | Inf
1061.92/1062.27 c 1008s| 2090k| 1253k| 0 | 0.0 | 943M| 408 | - | 639 |1668 | 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | -- | Inf
1066.63/1066.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.63/1066.91 c 1012s| 2100k| 1259k| 0 | 0.0 | 948M| 408 | - | 639 |1765 | 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | -- | Inf
1071.22/1071.54 c 1016s| 2110k| 1266k| 0 | 0.0 | 953M| 408 | - | 639 |1850 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | -- | Inf
1075.92/1076.28 c 1021s| 2120k| 1272k| 0 | 0.0 | 957M| 408 | - | 639 |1918 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | -- | Inf
1080.12/1080.46 c 1025s| 2130k| 1279k| 0 | 0.0 | 962M| 408 | - | 639 |1866 | 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | -- | Inf
1083.92/1084.28 c 1028s| 2140k| 1287k| 0 | 0.0 | 968M| 408 | - | 639 |1917 | 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | -- | Inf
1088.22/1088.52 c 1032s| 2150k| 1293k| 0 | 0.0 | 973M| 408 | - | 639 |1873 | 0 | 0 | 0 | 703k| 0 | 1.000000e+00 | -- | Inf
1092.62/1092.93 c 1036s| 2160k| 1300k| 0 | 0.0 | 978M| 408 | - | 639 |1848 | 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | -- | Inf
1097.12/1097.41 c 1041s| 2170k| 1307k| 0 | 0.0 | 982M| 408 | - | 639 |1880 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | -- | Inf
1101.62/1101.96 c 1045s| 2180k| 1313k| 0 | 0.0 | 987M| 408 | - | 639 |1883 | 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | -- | Inf
1106.22/1106.50 c 1049s| 2190k| 1320k| 0 | 0.0 | 992M| 408 | - | 639 |1792 | 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | -- | Inf
1110.62/1110.90 c 1053s| 2200k| 1326k| 0 | 0.0 | 996M| 408 | - | 639 |1766 | 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | -- | Inf
1114.71/1115.03 c 1057s| 2210k| 1333k| 0 | 0.0 |1001M| 408 | - | 639 |1730 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | -- | Inf
1118.61/1118.91 c 1061s| 2220k| 1340k| 0 | 0.0 |1006M| 408 | - | 639 |1655 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | -- | Inf
1122.31/1122.69 c 1064s| 2230k| 1347k| 0 | 0.0 |1011M| 408 | - | 639 |1441 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | -- | Inf
1126.21/1126.56 c 1068s| 2240k| 1354k| 0 | 0.0 |1016M| 408 | - | 639 |1528 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | -- | Inf
1130.31/1130.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.31/1130.69 c 1072s| 2250k| 1361k| 0 | 0.0 |1021M| 408 | - | 639 |1435 | 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | -- | Inf
1134.31/1134.65 c 1076s| 2260k| 1368k| 0 | 0.0 |1026M| 408 | - | 639 |1294 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | -- | Inf
1138.31/1138.60 c 1079s| 2270k| 1375k| 0 | 0.0 |1031M| 408 | - | 639 |1267 | 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | -- | Inf
1142.30/1142.68 c 1083s| 2280k| 1381k| 0 | 0.0 |1035M| 408 | - | 639 |1289 | 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | -- | Inf
1146.71/1147.01 c 1087s| 2290k| 1388k| 0 | 0.0 |1040M| 408 | - | 639 |1532 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | -- | Inf
1150.81/1151.16 c 1091s| 2300k| 1394k| 0 | 0.0 |1045M| 408 | - | 639 |1445 | 0 | 0 | 0 | 753k| 0 | 1.000000e+00 | -- | Inf
1155.00/1155.35 c 1095s| 2310k| 1401k| 0 | 0.0 |1049M| 408 | - | 639 |1466 | 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | -- | Inf
1159.40/1159.70 c 1099s| 2320k| 1408k| 0 | 0.0 |1054M| 408 | - | 639 |1300 | 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | -- | Inf
1163.80/1164.16 c 1103s| 2330k| 1414k| 0 | 0.0 |1059M| 408 | - | 639 |1258 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | -- | Inf
1168.09/1168.43 c 1107s| 2340k| 1421k| 0 | 0.0 |1063M| 408 | - | 639 |1213 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | -- | Inf
1172.60/1172.94 c 1112s| 2350k| 1427k| 0 | 0.0 |1068M| 408 | - | 639 |1500 | 0 | 0 | 0 | 771k| 0 | 1.000000e+00 | -- | Inf
1177.40/1177.70 c 1116s| 2360k| 1433k| 0 | 0.0 |1072M| 408 | - | 639 |1446 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | -- | Inf
1181.90/1182.23 c 1120s| 2370k| 1439k| 0 | 0.0 |1077M| 408 | - | 639 |1434 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | -- | Inf
1186.50/1186.81 c 1125s| 2380k| 1446k| 0 | 0.0 |1081M| 408 | - | 639 |1228 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | -- | Inf
1190.69/1191.08 c 1129s| 2390k| 1452k| 0 | 0.0 |1086M| 408 | - | 639 |1258 | 0 | 0 | 0 | 786k| 0 | 1.000000e+00 | -- | Inf
1195.19/1195.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.19/1195.51 c 1133s| 2400k| 1458k| 0 | 0.0 |1090M| 408 | - | 639 |1386 | 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | -- | Inf
1199.59/1200.00 c 1137s| 2410k| 1465k| 0 | 0.0 |1095M| 408 | - | 639 |1375 | 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | -- | Inf
1204.10/1204.48 c 1141s| 2420k| 1471k| 0 | 0.0 |1100M| 408 | - | 639 |1343 | 0 | 0 | 0 | 798k| 0 | 1.000000e+00 | -- | Inf
1208.60/1208.92 c 1146s| 2430k| 1477k| 0 | 0.0 |1104M| 408 | - | 639 |1326 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | -- | Inf
1213.19/1213.52 c 1150s| 2440k| 1484k| 0 | 0.0 |1109M| 408 | - | 639 |1306 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | -- | Inf
1217.68/1218.03 c 1154s| 2450k| 1490k| 0 | 0.0 |1114M| 408 | - | 639 |1389 | 0 | 0 | 0 | 810k| 0 | 1.000000e+00 | -- | Inf
1222.19/1222.58 c 1158s| 2460k| 1496k| 0 | 0.0 |1118M| 408 | - | 639 |1240 | 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | -- | Inf
1226.98/1227.37 c 1163s| 2470k| 1502k| 0 | 0.0 |1123M| 408 | - | 639 |1355 | 0 | 0 | 0 | 818k| 0 | 1.000000e+00 | -- | Inf
1231.48/1231.87 c 1167s| 2480k| 1508k| 0 | 0.0 |1127M| 408 | - | 639 |1269 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | -- | Inf
1235.99/1236.33 c 1171s| 2490k| 1514k| 0 | 0.0 |1132M| 408 | - | 639 |1245 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | -- | Inf
1240.68/1241.01 c 1176s| 2500k| 1520k| 0 | 0.0 |1137M| 408 | - | 639 |1436 | 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | -- | Inf
1245.18/1245.51 c 1180s| 2510k| 1526k| 0 | 0.0 |1142M| 408 | - | 639 |1339 | 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | -- | Inf
1250.48/1250.82 c 1185s| 2520k| 1531k| 0 | 0.0 |1146M| 408 | - | 639 |1456 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | -- | Inf
1255.38/1255.73 c 1190s| 2530k| 1536k| 0 | 0.0 |1150M| 408 | - | 639 |1299 | 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | -- | Inf
1259.47/1259.81 c 1194s| 2540k| 1543k| 0 | 0.0 |1156M| 408 | - | 639 |1608 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | -- | Inf
1263.48/1263.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.48/1263.89 c 1197s| 2550k| 1551k| 0 | 0.0 |1161M| 408 | - | 639 |1893 | 0 | 0 | 0 | 845k| 0 | 1.000000e+00 | -- | Inf
1267.17/1267.59 c 1201s| 2560k| 1557k| 0 | 0.0 |1166M| 408 | - | 639 |1423 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | -- | Inf
1270.97/1271.39 c 1204s| 2570k| 1564k| 0 | 0.0 |1170M| 408 | - | 639 |1494 | 0 | 0 | 0 | 850k| 0 | 1.000000e+00 | -- | Inf
1275.78/1276.12 c 1209s| 2580k| 1571k| 0 | 0.0 |1175M| 408 | - | 639 |2006 | 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | -- | Inf
1280.66/1281.08 c 1214s| 2590k| 1577k| 0 | 0.0 |1179M| 408 | - | 639 |2202 | 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | -- | Inf
1285.87/1286.23 c 1219s| 2600k| 1583k| 0 | 0.0 |1184M| 408 | - | 639 |2608 | 0 | 0 | 0 | 858k| 0 | 1.000000e+00 | -- | Inf
1291.57/1291.91 c 1224s| 2610k| 1589k| 0 | 0.0 |1188M| 408 | - | 639 |2844 | 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | -- | Inf
1297.17/1297.50 c 1229s| 2620k| 1595k| 0 | 0.0 |1192M| 408 | - | 639 |2852 | 0 | 0 | 0 | 864k| 0 | 1.000000e+00 | -- | Inf
1303.07/1303.45 c 1235s| 2630k| 1601k| 0 | 0.0 |1197M| 408 | - | 639 |2882 | 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | -- | Inf
1309.37/1309.77 c 1241s| 2640k| 1606k| 0 | 0.0 |1200M| 408 | - | 639 |3326 | 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | -- | Inf
1315.67/1316.02 c 1247s| 2650k| 1612k| 0 | 0.0 |1204M| 408 | - | 639 |2858 | 0 | 0 | 0 | 874k| 0 | 1.000000e+00 | -- | Inf
1322.56/1322.94 c 1254s| 2660k| 1617k| 0 | 0.0 |1208M| 408 | - | 639 |3679 | 0 | 0 | 0 | 878k| 0 | 1.000000e+00 | -- | Inf
1329.26/1329.66 c 1260s| 2670k| 1622k| 0 | 0.0 |1212M| 408 | - | 639 |3290 | 0 | 0 | 0 | 881k| 0 | 1.000000e+00 | -- | Inf
1336.76/1337.11 c 1267s| 2680k| 1627k| 0 | 0.0 |1216M| 408 | - | 639 |4177 | 0 | 0 | 0 | 885k| 0 | 1.000000e+00 | -- | Inf
1343.76/1344.20 c 1274s| 2690k| 1633k| 0 | 0.0 |1220M| 408 | - | 639 |3493 | 0 | 0 | 0 | 889k| 0 | 1.000000e+00 | -- | Inf
1351.25/1351.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.25/1351.62 c 1281s| 2700k| 1638k| 0 | 0.0 |1224M| 408 | - | 639 |4361 | 0 | 0 | 0 | 892k| 0 | 1.000000e+00 | -- | Inf
1358.95/1359.38 c 1289s| 2710k| 1643k| 0 | 0.0 |1227M| 408 | - | 639 |4155 | 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | -- | Inf
1366.35/1366.78 c 1296s| 2720k| 1648k| 0 | 0.0 |1231M| 408 | - | 639 |3788 | 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | -- | Inf
1373.65/1374.06 c 1303s| 2730k| 1654k| 0 | 0.0 |1235M| 408 | - | 639 |4690 | 0 | 0 | 0 | 903k| 0 | 1.000000e+00 | -- | Inf
1381.94/1382.30 c 1311s| 2740k| 1659k| 0 | 0.0 |1239M| 408 | - | 639 |4620 | 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | -- | Inf
1389.44/1389.86 c 1318s| 2750k| 1664k| 0 | 0.0 |1243M| 408 | - | 639 |4427 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | -- | Inf
1397.13/1397.54 c 1326s| 2760k| 1669k| 0 | 0.0 |1247M| 408 | - | 639 |5281 | 0 | 0 | 0 | 914k| 0 | 1.000000e+00 | -- | Inf
1406.54/1406.96 c 1335s| 2770k| 1675k| 0 | 0.0 |1251M| 408 | - | 639 |5242 | 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | -- | Inf
1415.34/1415.74 c 1343s| 2780k| 1680k| 0 | 0.0 |1255M| 408 | - | 639 |4942 | 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | -- | Inf
1422.83/1423.20 c 1351s| 2790k| 1686k| 0 | 0.0 |1259M| 408 | - | 639 |5131 | 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | -- | Inf
1431.73/1432.18 c 1359s| 2800k| 1691k| 0 | 0.0 |1263M| 408 | - | 639 |5465 | 0 | 0 | 0 | 928k| 0 | 1.000000e+00 | -- | Inf
1439.92/1440.36 c 1367s| 2810k| 1696k| 0 | 0.0 |1267M| 408 | - | 639 |4399 | 0 | 0 | 0 | 932k| 0 | 1.000000e+00 | -- | Inf
1447.23/1447.69 c 1374s| 2820k| 1702k| 0 | 0.0 |1271M| 408 | - | 639 |5228 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | -- | Inf
1455.12/1455.55 c 1382s| 2830k| 1708k| 0 | 0.0 |1275M| 408 | - | 639 |5549 | 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | -- | Inf
1463.22/1463.61 c 1390s| 2840k| 1713k| 0 | 0.0 |1279M| 408 | - | 639 |5593 | 0 | 0 | 0 | 942k| 0 | 1.000000e+00 | -- | Inf
1471.02/1471.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.02/1471.45 c 1397s| 2850k| 1719k| 0 | 0.0 |1283M| 408 | - | 639 |4848 | 0 | 0 | 0 | 945k| 0 | 1.000000e+00 | -- | Inf
1477.62/1478.06 c 1404s| 2860k| 1725k| 0 | 0.0 |1288M| 408 | - | 639 |5456 | 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | -- | Inf
1486.01/1486.47 c 1412s| 2870k| 1731k| 0 | 0.0 |1292M| 408 | - | 639 |6025 | 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | -- | Inf
1493.91/1494.33 c 1419s| 2880k| 1737k| 0 | 0.0 |1297M| 408 | - | 639 |5824 | 0 | 0 | 0 | 954k| 0 | 1.000000e+00 | -- | Inf
1501.71/1502.13 c 1427s| 2890k| 1742k| 0 | 0.0 |1300M| 408 | - | 639 |4984 | 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | -- | Inf
1508.50/1508.92 c 1433s| 2900k| 1749k| 0 | 0.0 |1305M| 408 | - | 639 |5389 | 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | -- | Inf
1516.20/1516.60 c 1441s| 2910k| 1755k| 0 | 0.0 |1310M| 408 | - | 639 |5958 | 0 | 0 | 0 | 963k| 0 | 1.000000e+00 | -- | Inf
1524.21/1524.63 c 1449s| 2920k| 1761k| 0 | 0.0 |1314M| 408 | - | 639 |5764 | 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | -- | Inf
1531.40/1531.88 c 1456s| 2930k| 1767k| 0 | 0.0 |1318M| 408 | - | 639 |5270 | 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | -- | Inf
1539.29/1539.79 c 1463s| 2940k| 1773k| 0 | 0.0 |1322M| 408 | - | 639 |5958 | 0 | 0 | 0 | 973k| 0 | 1.000000e+00 | -- | Inf
1546.59/1547.06 c 1470s| 2950k| 1779k| 0 | 0.0 |1327M| 408 | - | 639 |6004 | 0 | 0 | 0 | 976k| 0 | 1.000000e+00 | -- | Inf
1554.00/1554.46 c 1477s| 2960k| 1785k| 0 | 0.0 |1331M| 408 | - | 639 |5618 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | -- | Inf
1561.29/1561.71 c 1484s| 2970k| 1792k| 0 | 0.0 |1336M| 408 | - | 639 |5258 | 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | -- | Inf
1568.99/1569.44 c 1492s| 2980k| 1797k| 0 | 0.0 |1340M| 408 | - | 639 |5195 | 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | -- | Inf
1576.09/1576.56 c 1499s| 2990k| 1804k| 0 | 0.0 |1344M| 408 | - | 639 |5649 | 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | -- | Inf
1583.09/1583.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.09/1583.59 c 1505s| 3000k| 1810k| 0 | 0.0 |1349M| 408 | - | 639 |5449 | 0 | 0 | 0 | 991k| 0 | 1.000000e+00 | -- | Inf
1590.29/1590.79 c 1512s| 3010k| 1816k| 0 | 0.0 |1354M| 408 | - | 639 |5386 | 0 | 0 | 0 | 994k| 0 | 1.000000e+00 | -- | Inf
1596.48/1596.98 c 1518s| 3020k| 1823k| 0 | 0.0 |1358M| 408 | - | 639 |4457 | 0 | 0 | 0 | 996k| 0 | 1.000000e+00 | -- | Inf
1596.79/1597.22 c (node 3020352) switching to memory saving mode (mem: 1296.0M/1620.0M)
1600.88/1601.37 o 121
1600.88/1601.37 c *1522s| 3026k| 1823k| 0 | 0.0 |1359M| 408 | - | 639 |6214 | 0 | 0 | 0 |1002k| 0 | 1.000000e+00 | 1.210000e+02 | Large
1601.20/1601.68 o 9
1601.20/1601.68 c *1523s| 3026k| 1822k| 0 | 0.0 |1359M| 408 | - | 639 |6478 | 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1604.08/1604.55 c 1526s| 3030k| 1822k| 0 | 0.0 |1359M| 408 | - | 639 |5594 | 0 | 0 | 0 |1005k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1613.98/1614.48 o 5
1613.98/1614.48 c *1535s| 3034k| 1798k| 0 | 0.0 |1343M| 408 | - | 639 |8969 | 0 | 0 | 0 |1009k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1616.78/1617.27 c 1538s| 3040k| 1797k| 0 | 0.0 |1342M| 408 | - | 639 |7369 | 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1624.48/1624.97 c 1545s| 3050k| 1797k| 0 | 0.0 |1344M| 408 | - | 639 | 11k| 0 | 0 | 0 |1022k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1637.38/1637.82 c 1558s| 3060k| 1797k| 0 | 0.0 |1345M| 408 | - | 639 |9846 | 0 | 0 | 0 |1032k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1644.67/1645.17 c 1565s| 3070k| 1797k| 0 | 0.0 |1346M| 408 | - | 639 | 11k| 0 | 0 | 0 |1041k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1648.27/1648.74 o 3
1648.27/1648.74 c *1568s| 3071k| 1445k| 0 | 0.0 |1085M| 408 | - | 639 |7963 | 0 | 0 | 0 |1042k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1656.18/1656.66 c (node 3071728) switching to standard mode (mem: 648.0M/1620.0M)
1671.07/1671.59 c
1671.07/1671.59 c SCIP Status : problem is solved [optimal solution found]
1671.07/1671.59 c Solving Time (sec) : 1589.36
1671.07/1671.59 c Solving Nodes : 3071728
1671.07/1671.59 c Primal Bound : +3.00000000000000e+00 (4 solutions)
1671.07/1671.59 c Dual Bound : +3.00000000000000e+00
1671.07/1671.59 c Gap : 0.00 %
1671.07/1671.59 s OPTIMUM FOUND
1671.07/1671.59 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x144 -x143 -x142 -x141 -x140 -x139
1671.07/1671.59 v -x138 x137 -x200 -x199 -x198 x197 -x196 x195 x194 x193 -x136 -x135 x134 x133 x132 -x131 -x130 x129 -x192 -x191 -x190 -x189
1671.07/1671.59 v x188 -x187 -x186 -x185 x128 -x127 -x126 x125 -x124 -x123 -x122 x121 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x120 -x119
1671.07/1671.59 v -x118 x117 -x116 -x115 -x114 x113 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1671.07/1671.59 v x105 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x104 -x103 -x102 -x101 -x100 -x99 x98 x97 -x160 -x159 -x158 x157 x156
1671.07/1671.59 v x155 -x154 -x153 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x88 x87 -x86 -x85 -x84
1671.07/1671.59 v -x83 x82 x81 -x80 -x79 x78 -x77 -x76 -x75 x74 x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 x65 -x64 -x63 x62 -x61 x60 -x59 -x58
1671.07/1671.59 v x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 x41 x40 -x39 x38 -x37 x36 -x35 x34 x33 -x32 -x31
1671.07/1671.59 v -x30 -x29 -x28 -x27 x26 x25 -x24 x23 x22 -x21 x20 -x19 x18 x17 x16 x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2
1671.07/1671.59 v x1
1671.07/1671.59 c SCIP Status : problem is solved [optimal solution found]
1671.07/1671.59 c Solving Time : 1589.36
1671.07/1671.59 c Original Problem :
1671.07/1671.59 c Problem name : HOME/instance-2663635-1276648669.opb
1671.07/1671.59 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
1671.07/1671.59 c Constraints : 595 initial, 595 maximal
1671.07/1671.59 c Presolved Problem :
1671.07/1671.59 c Problem name : t_HOME/instance-2663635-1276648669.opb
1671.07/1671.59 c Variables : 639 (639 binary, 0 integer, 0 implicit integer, 0 continuous)
1671.07/1671.59 c Constraints : 460 initial, 17989 maximal
1671.07/1671.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1671.07/1671.59 c trivial : 0.01 0 0 0 0 0 0 0 0
1671.07/1671.59 c dualfix : 0.00 0 0 0 0 0 0 0 0
1671.07/1671.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
1671.07/1671.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1671.07/1671.59 c implics : 0.00 0 0 0 0 0 0 0 0
1671.07/1671.59 c probing : 0.03 0 0 0 0 0 0 0 0
1671.07/1671.59 c and : 0.07 18 126 0 0 0 126 0 126
1671.07/1671.59 c linear : 0.02 1 8 0 0 0 0 0 60
1671.07/1671.59 c logicor : 0.00 0 0 0 0 0 0 0 0
1671.07/1671.59 c root node : - 55 - - 55 - - - -
1671.07/1671.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1671.07/1671.59 c integral : 0 0 0 0 0 0 0 0 0 0
1671.07/1671.59 c and : 441 0 7433716 0 2630010 115341 12753630 0 0 0
1671.07/1671.59 c linear : 9 0 7318372 0 2630010 599744 5747593 0 0 0
1671.07/1671.59 c logicor : 10+ 0 3155090 0 2629960 25845 853007 0 0 0
1671.07/1671.59 c countsols : 0 0 0 0 2630014 0 0 0 0 0
1671.07/1671.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1671.07/1671.59 c integral : 0.00 0.00 0.00 0.00 0.00
1671.07/1671.59 c and : 205.06 0.00 133.61 0.00 71.45
1671.07/1671.59 c linear : 358.29 0.00 354.79 0.00 3.50
1671.07/1671.59 c logicor : 233.65 0.00 227.13 0.00 6.52
1671.07/1671.59 c countsols : 1.08 0.00 0.00 0.00 1.08
1671.07/1671.59 c Propagators : Time Calls Cutoffs DomReds
1671.07/1671.59 c vbounds : 3.94 2 0 0
1671.07/1671.59 c rootredcost : 3.23 0 0 0
1671.07/1671.59 c pseudoobj : 9.66 7433272 11 124
1671.07/1671.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1671.07/1671.59 c propagation : 222.94 740924 737121 9564442 61.5 60059 52.3 -
1671.07/1671.59 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1671.07/1671.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1671.07/1671.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1671.07/1671.59 c pseudo solution : 0.00 1 1 1 0.0 0 0.0 -
1671.07/1671.59 c applied globally : - - - 1023977 32.4 - - -
1671.07/1671.59 c applied locally : - - - 18735 75.3 - - -
1671.07/1671.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1671.07/1671.59 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1671.07/1671.59 c redcost : 0.00 0 0 0 0 0
1671.07/1671.59 c impliedbounds : 0.00 0 0 0 0 0
1671.07/1671.59 c intobj : 0.00 0 0 0 0 0
1671.07/1671.59 c cgmip : 0.00 0 0 0 0 0
1671.07/1671.59 c gomory : 0.00 0 0 0 0 0
1671.07/1671.59 c strongcg : 0.00 0 0 0 0 0
1671.07/1671.59 c cmir : 0.00 0 0 0 0 0
1671.07/1671.59 c flowcover : 0.00 0 0 0 0 0
1671.07/1671.59 c clique : 0.00 0 0 0 0 0
1671.07/1671.59 c zerohalf : 0.00 0 0 0 0 0
1671.07/1671.59 c mcf : 0.00 0 0 0 0 0
1671.07/1671.59 c rapidlearning : 0.00 0 0 0 0 0
1671.07/1671.59 c Pricers : Time Calls Vars
1671.07/1671.59 c problem variables: 0.00 0 0
1671.07/1671.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1671.07/1671.59 c relpscost : 0.00 0 0 0 0 0 0
1671.07/1671.59 c pscost : 0.00 0 0 0 0 0 0
1671.07/1671.59 c inference : 216.16 2630010 0 0 0 0 5260020
1671.07/1671.59 c mostinf : 0.00 0 0 0 0 0 0
1671.07/1671.59 c leastinf : 0.00 0 0 0 0 0 0
1671.07/1671.59 c fullstrong : 0.00 0 0 0 0 0 0
1671.07/1671.59 c allfullstrong : 0.00 0 0 0 0 0 0
1671.07/1671.59 c random : 0.00 0 0 0 0 0 0
1671.07/1671.59 c Primal Heuristics : Time Calls Found
1671.07/1671.59 c LP solutions : 0.00 - 0
1671.07/1671.59 c pseudo solutions : 2.22 - 4
1671.07/1671.59 c oneopt : 1.75 0 0
1671.07/1671.59 c trivial : 0.00 2 0
1671.07/1671.59 c simplerounding : 0.00 0 0
1671.07/1671.59 c zirounding : 0.00 0 0
1671.07/1671.59 c rounding : 0.00 0 0
1671.07/1671.59 c shifting : 0.00 0 0
1671.07/1671.59 c intshifting : 0.00 0 0
1671.07/1671.59 c twoopt : 0.00 0 0
1671.07/1671.59 c fixandinfer : 0.00 0 0
1671.07/1671.59 c feaspump : 0.00 0 0
1671.07/1671.59 c coefdiving : 0.00 0 0
1671.07/1671.59 c pscostdiving : 0.00 0 0
1671.07/1671.59 c fracdiving : 0.00 0 0
1671.07/1671.59 c veclendiving : 0.00 0 0
1671.07/1671.59 c intdiving : 0.00 0 0
1671.07/1671.59 c actconsdiving : 0.00 0 0
1671.07/1671.59 c objpscostdiving : 0.00 0 0
1671.07/1671.59 c rootsoldiving : 0.00 0 0
1671.07/1671.59 c linesearchdiving : 0.00 0 0
1671.07/1671.59 c guideddiving : 0.00 0 0
1671.07/1671.59 c octane : 0.00 0 0
1671.07/1671.59 c rens : 0.00 0 0
1671.07/1671.59 c rins : 0.00 0 0
1671.07/1671.59 c localbranching : 0.00 0 0
1671.07/1671.59 c mutation : 0.00 0 0
1671.07/1671.59 c crossover : 0.00 0 0
1671.07/1671.59 c dins : 0.00 0 0
1671.07/1671.59 c undercover : 0.00 0 0
1671.07/1671.59 c nlp : 1.85 0 0
1671.07/1671.59 c trysol : 1.46 0 0
1671.07/1671.59 c LP : Time Calls Iterations Iter/call Iter/sec
1671.07/1671.59 c primal LP : 0.00 0 0 0.00 -
1671.07/1671.59 c dual LP : 0.00 0 0 0.00 -
1671.07/1671.59 c lex dual LP : 0.00 0 0 0.00 -
1671.07/1671.59 c barrier LP : 0.00 0 0 0.00 -
1671.07/1671.59 c diving/probing LP: 0.00 0 0 0.00 -
1671.07/1671.59 c strong branching : 0.00 0 0 0.00 -
1671.07/1671.59 c (at root node) : - 0 0 0.00 -
1671.07/1671.59 c conflict analysis: 0.00 0 0 0.00 -
1671.07/1671.59 c B&B Tree :
1671.07/1671.59 c number of runs : 1
1671.07/1671.59 c nodes : 3071728
1671.07/1671.59 c nodes (total) : 3071728
1671.07/1671.59 c nodes left : 0
1671.07/1671.59 c max depth : 408
1671.07/1671.59 c max depth (total): 408
1671.07/1671.59 c backtracks : 323708 (10.5%)
1671.07/1671.59 c delayed cutoffs : 1810658
1671.07/1671.59 c repropagations : 711915 (3098194 domain reductions, 299228 cutoffs)
1671.07/1671.59 c avg switch length: 8.98
1671.07/1671.59 c switching time : 394.93
1671.07/1671.59 c Solution :
1671.07/1671.59 c Solutions found : 4 (4 improvements)
1671.07/1671.59 c First Solution : +1.21000000000000e+02 (in run 1, after 3026448 nodes, 1522.38 seconds, depth 288, found by <relaxation>)
1671.07/1671.59 c Primal Bound : +3.00000000000000e+00 (in run 1, after 3071727 nodes, 1566.39 seconds, depth 286, found by <relaxation>)
1671.07/1671.59 c Dual Bound : +3.00000000000000e+00
1671.07/1671.59 c Gap : 0.00 %
1671.07/1671.59 c Root Dual Bound : +1.00000000000000e+00
1671.07/1671.59 c Root Iterations : 0
1671.26/1671.71 c Time complete: 1671.28.