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-2663524-1276646210.opb>
0.00/0.01 c original problem has 864 variables (864 bin, 0 int, 0 impl, 0 cont) and 665 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.20 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 63 chg coeffs, 0 upgd conss, 3712 impls, 0 clqs
0.19/0.20 c (round 2) 26 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 79 chg coeffs, 9 upgd conss, 5728 impls, 0 clqs
0.19/0.21 c (round 3) 44 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 9 upgd conss, 7456 impls, 0 clqs
0.19/0.21 c (round 4) 62 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 9 upgd conss, 8896 impls, 0 clqs
0.19/0.22 c (round 5) 80 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 9 upgd conss, 10048 impls, 0 clqs
0.19/0.23 c (round 6) 98 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 143 chg coeffs, 9 upgd conss, 10912 impls, 0 clqs
0.19/0.23 c (round 7) 116 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 159 chg coeffs, 9 upgd conss, 11488 impls, 0 clqs
0.19/0.24 c (round 8) 134 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 175 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.19/0.24 c (round 9) 152 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 191 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.29/0.31 c (0.1s) probing: 222/712 (31.2%) - 0 fixings, 0 aggregations, 16 implications, 0 bound changes
0.29/0.31 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.29/0.31 c presolving (10 rounds):
0.29/0.31 c 152 deleted vars, 128 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 191 changed coefficients
0.29/0.31 c 11808 implications, 0 cliques
0.29/0.31 c presolved problem has 712 variables (712 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.29/0.31 c 512 constraints of type <and>
0.29/0.31 c 8 constraints of type <linear>
0.29/0.31 c 9 constraints of type <logicor>
0.29/0.31 c transformed objective value is always integral (scale: 2)
0.29/0.31 c Presolving Time: 0.15
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 1.2.1.2
0.29/0.31 c
0.29/0.31 c # frequency for displaying node information lines
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.31 c display/freq = 10000
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = 1799.99
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = 1620
0.29/0.31 c
0.29/0.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c lp/solvefreq = -1
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify inequalities
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/linear/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify knapsacks
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c heuristics/undercover/freq = 0
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c separating/rapidlearning/freq = 0
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.31 c
0.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c 0.2s| 1 | 2 | 0 | - |2268k| 0 | - | 712 | 529 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.49/3.51 c 3.1s| 10000 | 8278 | 0 | 0.0 |8731k| 480 | - | 712 | 802 | 0 | 0 | 0 |1333 | 0 | 1.000000e+00 | -- | Inf
6.89/6.94 c 6.3s| 20000 | 16093 | 0 | 0.0 | 14M| 480 | - | 712 | 935 | 0 | 0 | 0 |2843 | 0 | 1.000000e+00 | -- | Inf
10.38/10.49 c 9.6s| 30000 | 23332 | 0 | 0.0 | 19M| 480 | - | 712 | 863 | 0 | 0 | 0 |4764 | 0 | 1.000000e+00 | -- | Inf
13.68/13.78 c 12.6s| 40000 | 31416 | 0 | 0.0 | 25M| 480 | - | 712 |1065 | 0 | 0 | 0 |6179 | 0 | 1.000000e+00 | -- | Inf
17.19/17.21 c 15.8s| 50000 | 39265 | 0 | 0.0 | 31M| 480 | - | 712 |1229 | 0 | 0 | 0 |7797 | 0 | 1.000000e+00 | -- | Inf
20.58/20.61 c 19.0s| 60000 | 47067 | 0 | 0.0 | 36M| 480 | - | 712 |1360 | 0 | 0 | 0 |9249 | 0 | 1.000000e+00 | -- | Inf
23.88/23.98 c 22.1s| 70000 | 54792 | 0 | 0.0 | 42M| 480 | - | 712 |1327 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
27.49/27.58 c 25.4s| 80000 | 62180 | 0 | 0.0 | 47M| 480 | - | 712 |1242 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
30.98/31.03 c 28.6s| 90000 | 69725 | 0 | 0.0 | 53M| 480 | - | 712 |1287 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
34.58/34.67 c 31.9s|100000 | 77203 | 0 | 0.0 | 58M| 480 | - | 712 |1369 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
38.38/38.44 c 35.4s|110000 | 84383 | 0 | 0.0 | 64M| 480 | - | 712 |1455 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
42.37/42.40 c 39.1s|120000 | 91138 | 0 | 0.0 | 69M| 480 | - | 712 | 781 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
45.77/45.86 c 42.4s|130000 | 98938 | 0 | 0.0 | 75M| 480 | - | 712 | 908 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
49.26/49.39 c 45.6s|140000 |106731 | 0 | 0.0 | 81M| 480 | - | 712 |1077 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
53.06/53.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.06/53.11 c 49.1s|150000 |114128 | 0 | 0.0 | 86M| 480 | - | 712 |1131 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
56.96/57.03 c 52.8s|160000 |120953 | 0 | 0.0 | 91M| 480 | - | 712 |1267 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
61.06/61.18 c 56.7s|170000 |127422 | 0 | 0.0 | 95M| 480 | - | 712 |1383 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
65.47/65.54 c 60.8s|180000 |133682 | 0 | 0.0 | 100M| 480 | - | 712 |1405 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
69.86/69.93 c 64.9s|190000 |139950 | 0 | 0.0 | 104M| 480 | - | 712 |1419 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
73.76/73.85 c 68.6s|200000 |147006 | 0 | 0.0 | 110M| 480 | - | 712 |1434 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
77.85/77.96 c 72.4s|210000 |153897 | 0 | 0.0 | 115M| 480 | - | 712 |1367 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
82.06/82.13 c 76.3s|220000 |160753 | 0 | 0.0 | 120M| 480 | - | 712 |1416 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
85.85/85.91 c 79.9s|230000 |168177 | 0 | 0.0 | 125M| 480 | - | 712 |1226 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | -- | Inf
89.35/89.45 c 83.2s|240000 |175833 | 0 | 0.0 | 131M| 480 | - | 712 |1024 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | -- | Inf
93.15/93.26 c 86.8s|250000 |183176 | 0 | 0.0 | 136M| 480 | - | 712 |1140 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | -- | Inf
96.85/96.99 c 90.2s|260000 |190400 | 0 | 0.0 | 141M| 480 | - | 712 |1030 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
100.84/100.94 c 93.9s|270000 |197150 | 0 | 0.0 | 147M| 480 | - | 712 |1003 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
104.95/105.03 c 97.8s|280000 |203704 | 0 | 0.0 | 152M| 480 | - | 712 |1072 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
108.65/108.78 c 101s|290000 |211105 | 0 | 0.0 | 157M| 480 | - | 712 |1075 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
112.34/112.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.34/112.45 c 105s|300000 |218672 | 0 | 0.0 | 163M| 480 | - | 712 |1159 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | -- | Inf
116.04/116.14 c 108s|310000 |226157 | 0 | 0.0 | 169M| 480 | - | 712 |1084 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
119.64/119.72 c 111s|320000 |233916 | 0 | 0.0 | 175M| 480 | - | 712 |1123 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
123.44/123.52 c 115s|330000 |241273 | 0 | 0.0 | 180M| 480 | - | 712 |1237 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
127.14/127.22 c 118s|340000 |248856 | 0 | 0.0 | 186M| 480 | - | 712 |1277 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
130.94/131.05 c 122s|350000 |256236 | 0 | 0.0 | 191M| 480 | - | 712 |1402 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
134.74/134.82 c 126s|360000 |263777 | 0 | 0.0 | 197M| 480 | - | 712 |1379 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | -- | Inf
138.64/138.72 c 129s|370000 |271039 | 0 | 0.0 | 202M| 480 | - | 712 |1463 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
142.54/142.69 c 133s|380000 |278164 | 0 | 0.0 | 208M| 480 | - | 712 |1618 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
146.63/146.76 c 137s|390000 |285180 | 0 | 0.0 | 213M| 480 | - | 712 |1805 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
150.83/150.95 c 141s|400000 |292290 | 0 | 0.0 | 219M| 480 | - | 712 |1658 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
155.04/155.15 c 145s|410000 |299391 | 0 | 0.0 | 224M| 480 | - | 712 |1655 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | -- | Inf
159.23/159.30 c 149s|420000 |306544 | 0 | 0.0 | 230M| 480 | - | 712 |1732 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
163.43/163.59 c 153s|430000 |313596 | 0 | 0.0 | 235M| 480 | - | 712 |1870 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
167.93/168.02 c 157s|440000 |320426 | 0 | 0.0 | 241M| 480 | - | 712 |2004 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
172.43/172.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.43/172.53 c 161s|450000 |327139 | 0 | 0.0 | 246M| 480 | - | 712 |2127 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
177.13/177.21 c 165s|460000 |333744 | 0 | 0.0 | 251M| 480 | - | 712 |2242 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
181.82/181.98 c 170s|470000 |340315 | 0 | 0.0 | 257M| 480 | - | 712 |2525 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
186.83/186.90 c 175s|480000 |346743 | 0 | 0.0 | 262M| 480 | - | 712 |2702 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | -- | Inf
191.71/191.82 c 179s|490000 |353199 | 0 | 0.0 | 267M| 480 | - | 712 |2762 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
196.83/196.95 c 184s|500000 |359342 | 0 | 0.0 | 273M| 480 | - | 712 |2778 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
202.02/202.10 c 189s|510000 |365489 | 0 | 0.0 | 278M| 480 | - | 712 |2761 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
207.02/207.15 c 194s|520000 |371724 | 0 | 0.0 | 283M| 480 | - | 712 |2729 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
211.92/212.09 c 198s|530000 |377943 | 0 | 0.0 | 288M| 480 | - | 712 |2705 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
217.11/217.20 c 203s|540000 |383990 | 0 | 0.0 | 293M| 480 | - | 712 |2708 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | -- | Inf
222.12/222.26 c 208s|550000 |390068 | 0 | 0.0 | 298M| 480 | - | 712 |2830 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
226.91/227.08 c 213s|560000 |396402 | 0 | 0.0 | 303M| 480 | - | 712 |2929 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
231.70/231.89 c 217s|570000 |402744 | 0 | 0.0 | 307M| 480 | - | 712 |2933 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
236.50/236.69 c 222s|580000 |409169 | 0 | 0.0 | 312M| 480 | - | 712 |2970 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | -- | Inf
241.41/241.56 c 226s|590000 |415450 | 0 | 0.0 | 317M| 480 | - | 712 |3076 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | -- | Inf
246.40/246.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.40/246.50 c 231s|600000 |421582 | 0 | 0.0 | 322M| 480 | - | 712 |3066 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
251.29/251.48 c 236s|610000 |427719 | 0 | 0.0 | 327M| 480 | - | 712 |3048 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
256.39/256.52 c 241s|620000 |433808 | 0 | 0.0 | 332M| 480 | - | 712 |3039 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | -- | Inf
261.48/261.63 c 245s|630000 |439730 | 0 | 0.0 | 337M| 480 | - | 712 |3083 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | -- | Inf
266.68/266.80 c 250s|640000 |445633 | 0 | 0.0 | 342M| 480 | - | 712 |3057 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | -- | Inf
271.78/271.99 c 255s|650000 |451578 | 0 | 0.0 | 347M| 480 | - | 712 |3186 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | -- | Inf
276.98/277.15 c 260s|660000 |457463 | 0 | 0.0 | 352M| 480 | - | 712 |3192 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | -- | Inf
282.38/282.52 c 265s|670000 |463390 | 0 | 0.0 | 357M| 480 | - | 712 |3080 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | -- | Inf
287.67/287.80 c 270s|680000 |469236 | 0 | 0.0 | 362M| 480 | - | 712 |3238 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
292.98/293.14 c 275s|690000 |475066 | 0 | 0.0 | 367M| 480 | - | 712 |3260 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
298.07/298.26 c 280s|700000 |481167 | 0 | 0.0 | 373M| 480 | - | 712 |3287 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | -- | Inf
303.17/303.37 c 285s|710000 |487305 | 0 | 0.0 | 378M| 480 | - | 712 |3312 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
308.17/308.37 c 290s|720000 |493648 | 0 | 0.0 | 383M| 480 | - | 712 |3330 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | -- | Inf
313.38/313.58 c 295s|730000 |499892 | 0 | 0.0 | 389M| 480 | - | 712 |3322 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | -- | Inf
318.77/318.94 c 300s|740000 |505916 | 0 | 0.0 | 394M| 480 | - | 712 |3261 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
323.87/324.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.87/324.09 c 305s|750000 |512090 | 0 | 0.0 | 399M| 480 | - | 712 |3321 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | -- | Inf
329.26/329.47 c 310s|760000 |517916 | 0 | 0.0 | 405M| 480 | - | 712 |3295 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | -- | Inf
334.56/334.75 c 315s|770000 |523889 | 0 | 0.0 | 410M| 480 | - | 712 |3282 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | -- | Inf
340.25/340.43 c 320s|780000 |529610 | 0 | 0.0 | 415M| 480 | - | 712 |3195 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | -- | Inf
346.55/346.76 c 326s|790000 |534664 | 0 | 0.0 | 421M| 480 | - | 712 |3156 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | -- | Inf
353.15/353.30 c 332s|800000 |539430 | 0 | 0.0 | 426M| 480 | - | 712 |3196 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | -- | Inf
359.05/359.28 c 338s|810000 |544663 | 0 | 0.0 | 431M| 480 | - | 712 |3152 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | -- | Inf
364.04/364.26 c 343s|820000 |550668 | 0 | 0.0 | 436M| 480 | - | 712 |3169 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | -- | Inf
369.04/369.20 c 347s|830000 |556995 | 0 | 0.0 | 441M| 480 | - | 712 |3192 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | -- | Inf
374.24/374.41 c 352s|840000 |562896 | 0 | 0.0 | 446M| 480 | - | 712 |3194 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | -- | Inf
379.35/379.53 c 357s|850000 |568796 | 0 | 0.0 | 452M| 480 | - | 712 |3218 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | -- | Inf
384.74/384.99 c 363s|860000 |574359 | 0 | 0.0 | 456M| 480 | - | 712 |3206 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | -- | Inf
390.34/390.54 c 368s|870000 |579985 | 0 | 0.0 | 461M| 480 | - | 712 |3229 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | -- | Inf
395.73/395.98 c 373s|880000 |585657 | 0 | 0.0 | 466M| 480 | - | 712 |3298 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | -- | Inf
401.24/401.50 c 378s|890000 |591299 | 0 | 0.0 | 471M| 480 | - | 712 |3299 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | -- | Inf
406.43/406.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.43/406.64 c 383s|900000 |597239 | 0 | 0.0 | 476M| 480 | - | 712 |3345 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | -- | Inf
411.93/412.15 c 388s|910000 |602844 | 0 | 0.0 | 481M| 480 | - | 712 |3317 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | -- | Inf
417.32/417.58 c 393s|920000 |608427 | 0 | 0.0 | 486M| 480 | - | 712 |3359 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | -- | Inf
422.92/423.16 c 399s|930000 |613947 | 0 | 0.0 | 491M| 480 | - | 712 |3332 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | -- | Inf
428.61/428.83 c 404s|940000 |618843 | 0 | 0.0 | 495M| 480 | - | 712 |3389 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
435.12/435.39 c 410s|950000 |622746 | 0 | 0.0 | 499M| 480 | - | 712 |3564 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
436.12/436.36 o 131
436.12/436.36 c * 411s|951146 |623016 | 0 | 0.0 | 500M| 480 | - | 712 |3595 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 1.310000e+02 | Large
439.82/440.06 c 415s|960000 |629780 | 0 | 0.0 | 504M| 480 | - | 712 | 940 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 1.310000e+02 | Large
443.42/443.64 c 418s|970000 |637729 | 0 | 0.0 | 509M| 480 | - | 712 | 954 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 1.310000e+02 | Large
447.11/447.33 c 422s|980000 |645053 | 0 | 0.0 | 515M| 480 | - | 712 |1033 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 1.310000e+02 | Large
450.91/451.15 c 425s|990000 |652136 | 0 | 0.0 | 521M| 480 | - | 712 |1110 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 1.310000e+02 | Large
455.12/455.30 c 429s| 1000k|658871 | 0 | 0.0 | 526M| 480 | - | 712 |1119 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | 1.310000e+02 | Large
459.41/459.64 c 433s| 1010k|665246 | 0 | 0.0 | 531M| 480 | - | 712 |1062 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 1.310000e+02 | Large
464.01/464.22 c 437s| 1020k|671463 | 0 | 0.0 | 536M| 480 | - | 712 |1273 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 1.310000e+02 | Large
467.51/467.73 c 441s| 1030k|679683 | 0 | 0.0 | 542M| 480 | - | 712 | 885 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 1.310000e+02 | Large
471.11/471.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.11/471.31 c 444s| 1040k|687542 | 0 | 0.0 | 548M| 480 | - | 712 |1057 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 1.310000e+02 | Large
474.70/474.93 c 448s| 1050k|695377 | 0 | 0.0 | 553M| 480 | - | 712 |1096 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 1.310000e+02 | Large
478.41/478.60 c 451s| 1060k|703256 | 0 | 0.0 | 559M| 480 | - | 712 |1209 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 1.310000e+02 | Large
482.10/482.31 c 454s| 1070k|711010 | 0 | 0.0 | 565M| 480 | - | 712 |1231 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 1.310000e+02 | Large
485.80/486.04 c 458s| 1080k|718815 | 0 | 0.0 | 571M| 480 | - | 712 |1164 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 1.310000e+02 | Large
489.80/490.07 c 462s| 1090k|726120 | 0 | 0.0 | 576M| 480 | - | 712 |1344 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 1.310000e+02 | Large
493.80/494.03 c 465s| 1100k|733401 | 0 | 0.0 | 582M| 480 | - | 712 |1401 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 1.310000e+02 | Large
497.90/498.17 c 469s| 1110k|740485 | 0 | 0.0 | 587M| 480 | - | 712 |1432 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 1.310000e+02 | Large
502.00/502.23 c 473s| 1120k|747716 | 0 | 0.0 | 593M| 480 | - | 712 |1354 | 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | 1.310000e+02 | Large
506.09/506.39 c 477s| 1130k|754696 | 0 | 0.0 | 598M| 480 | - | 712 |1504 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 1.310000e+02 | Large
510.39/510.67 c 481s| 1140k|761572 | 0 | 0.0 | 603M| 480 | - | 712 |1572 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 1.310000e+02 | Large
514.79/515.08 c 485s| 1150k|768440 | 0 | 0.0 | 608M| 480 | - | 712 |1395 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 1.310000e+02 | Large
519.39/519.64 c 489s| 1160k|774968 | 0 | 0.0 | 613M| 480 | - | 712 |1603 | 0 | 0 | 0 | 260k| 0 | 1.000000e+00 | 1.310000e+02 | Large
523.69/523.93 c 493s| 1170k|781888 | 0 | 0.0 | 618M| 480 | - | 712 |1381 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 1.310000e+02 | Large
527.98/528.27 c 498s| 1180k|788743 | 0 | 0.0 | 623M| 480 | - | 712 |1570 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 1.310000e+02 | Large
532.48/532.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.48/532.71 c 502s| 1190k|795341 | 0 | 0.0 | 628M| 480 | - | 712 |1493 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 1.310000e+02 | Large
537.18/537.42 c 506s| 1200k|801680 | 0 | 0.0 | 633M| 480 | - | 712 |1731 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 1.310000e+02 | Large
541.78/542.02 c 510s| 1210k|808205 | 0 | 0.0 | 638M| 480 | - | 712 |1519 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 1.310000e+02 | Large
546.89/547.12 c 515s| 1220k|814189 | 0 | 0.0 | 643M| 480 | - | 712 |1999 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 1.310000e+02 | Large
551.68/551.91 c 520s| 1230k|820511 | 0 | 0.0 | 647M| 480 | - | 712 |1757 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 1.310000e+02 | Large
556.68/556.97 c 525s| 1240k|826643 | 0 | 0.0 | 652M| 480 | - | 712 |2185 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 1.310000e+02 | Large
561.78/562.04 c 529s| 1250k|832774 | 0 | 0.0 | 657M| 480 | - | 712 |1801 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | 1.310000e+02 | Large
566.97/567.28 c 534s| 1260k|838637 | 0 | 0.0 | 661M| 480 | - | 712 |2339 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 1.310000e+02 | Large
572.37/572.70 c 540s| 1270k|844665 | 0 | 0.0 | 666M| 480 | - | 712 |2025 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 1.310000e+02 | Large
577.67/577.95 c 545s| 1280k|850931 | 0 | 0.0 | 671M| 480 | - | 712 |2161 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 1.310000e+02 | Large
583.07/583.35 c 550s| 1290k|856974 | 0 | 0.0 | 675M| 480 | - | 712 |2056 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 1.310000e+02 | Large
587.97/588.28 c 554s| 1300k|863109 | 0 | 0.0 | 680M| 480 | - | 712 |2031 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 1.310000e+02 | Large
593.06/593.31 c 559s| 1310k|869393 | 0 | 0.0 | 685M| 480 | - | 712 |2281 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 1.310000e+02 | Large
598.36/598.65 c 564s| 1320k|875375 | 0 | 0.0 | 689M| 480 | - | 712 |2164 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 1.310000e+02 | Large
603.76/604.01 c 569s| 1330k|881385 | 0 | 0.0 | 694M| 480 | - | 712 |2490 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 1.310000e+02 | Large
609.07/609.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.07/609.34 c 574s| 1340k|887480 | 0 | 0.0 | 699M| 480 | - | 712 |2261 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 1.310000e+02 | Large
614.16/614.47 c 579s| 1350k|893649 | 0 | 0.0 | 703M| 480 | - | 712 |2327 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 1.310000e+02 | Large
619.46/619.77 c 584s| 1360k|899879 | 0 | 0.0 | 708M| 480 | - | 712 |2327 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 1.310000e+02 | Large
624.36/624.69 c 589s| 1370k|906218 | 0 | 0.0 | 713M| 480 | - | 712 |1992 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 1.310000e+02 | Large
629.06/629.30 c 593s| 1380k|913075 | 0 | 0.0 | 718M| 480 | - | 712 |2300 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 1.310000e+02 | Large
634.25/634.58 c 598s| 1390k|919142 | 0 | 0.0 | 723M| 480 | - | 712 |2370 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 1.310000e+02 | Large
639.24/639.55 c 603s| 1400k|925499 | 0 | 0.0 | 728M| 480 | - | 712 |1935 | 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | 1.310000e+02 | Large
644.35/644.64 c 608s| 1410k|931887 | 0 | 0.0 | 733M| 480 | - | 712 |2291 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 1.310000e+02 | Large
649.44/649.71 c 613s| 1420k|938171 | 0 | 0.0 | 737M| 480 | - | 712 |1822 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | 1.310000e+02 | Large
653.75/654.08 c 617s| 1430k|945415 | 0 | 0.0 | 743M| 480 | - | 712 |2151 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | 1.310000e+02 | Large
659.04/659.35 c 622s| 1440k|951567 | 0 | 0.0 | 747M| 480 | - | 712 |1977 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | 1.310000e+02 | Large
663.84/664.17 c 626s| 1450k|958082 | 0 | 0.0 | 752M| 480 | - | 712 |1982 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | 1.310000e+02 | Large
668.84/669.15 c 631s| 1460k|964794 | 0 | 0.0 | 758M| 480 | - | 712 |2271 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 1.310000e+02 | Large
673.93/674.20 c 636s| 1470k|971194 | 0 | 0.0 | 762M| 480 | - | 712 |2002 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 1.310000e+02 | Large
678.62/678.98 c 641s| 1480k|977814 | 0 | 0.0 | 767M| 480 | - | 712 |2343 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 1.310000e+02 | Large
683.83/684.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.83/684.19 c 645s| 1490k|984370 | 0 | 0.0 | 772M| 480 | - | 712 |2133 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 1.310000e+02 | Large
688.82/689.19 c 650s| 1500k|990895 | 0 | 0.0 | 777M| 480 | - | 712 |1995 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 1.310000e+02 | Large
693.62/693.95 c 655s| 1510k|997714 | 0 | 0.0 | 782M| 480 | - | 712 |2261 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 1.310000e+02 | Large
698.62/698.94 c 659s| 1520k| 1004k| 0 | 0.0 | 787M| 480 | - | 712 |2244 | 0 | 0 | 0 | 351k| 0 | 1.000000e+00 | 1.310000e+02 | Large
702.72/703.07 c 663s| 1530k| 1011k| 0 | 0.0 | 792M| 480 | - | 712 |1722 | 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 1.310000e+02 | Large
707.72/708.01 c 668s| 1540k| 1018k| 0 | 0.0 | 798M| 480 | - | 712 |1924 | 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | 1.310000e+02 | Large
712.41/712.76 c 673s| 1550k| 1025k| 0 | 0.0 | 803M| 480 | - | 712 |1943 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 1.310000e+02 | Large
716.41/716.71 c 676s| 1560k| 1032k| 0 | 0.0 | 808M| 480 | - | 712 |1273 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | 1.310000e+02 | Large
721.01/721.34 c 681s| 1570k| 1039k| 0 | 0.0 | 813M| 480 | - | 712 |1732 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 1.310000e+02 | Large
725.81/726.18 c 685s| 1580k| 1046k| 0 | 0.0 | 819M| 480 | - | 712 |2115 | 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 1.310000e+02 | Large
730.41/730.75 c 690s| 1590k| 1053k| 0 | 0.0 | 824M| 480 | - | 712 |1631 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 1.310000e+02 | Large
735.70/736.03 c 695s| 1600k| 1059k| 0 | 0.0 | 828M| 480 | - | 712 |1815 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | 1.310000e+02 | Large
740.71/741.07 c 699s| 1610k| 1066k| 0 | 0.0 | 833M| 480 | - | 712 |2105 | 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 1.310000e+02 | Large
745.30/745.67 c 704s| 1620k| 1073k| 0 | 0.0 | 838M| 480 | - | 712 |1522 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 1.310000e+02 | Large
750.20/750.59 c 708s| 1630k| 1079k| 0 | 0.0 | 843M| 480 | - | 712 |2003 | 0 | 0 | 0 | 377k| 0 | 1.000000e+00 | 1.310000e+02 | Large
755.10/755.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.10/755.40 c 713s| 1640k| 1086k| 0 | 0.0 | 848M| 480 | - | 712 |2098 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | 1.310000e+02 | Large
759.71/760.02 c 717s| 1650k| 1093k| 0 | 0.0 | 853M| 480 | - | 712 |1394 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 1.310000e+02 | Large
764.49/764.82 c 722s| 1660k| 1099k| 0 | 0.0 | 858M| 480 | - | 712 |1800 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 1.310000e+02 | Large
769.29/769.64 c 726s| 1670k| 1106k| 0 | 0.0 | 863M| 480 | - | 712 |1868 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | 1.310000e+02 | Large
773.69/774.06 c 731s| 1680k| 1113k| 0 | 0.0 | 868M| 480 | - | 712 |1349 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 1.310000e+02 | Large
778.69/779.01 c 735s| 1690k| 1119k| 0 | 0.0 | 873M| 480 | - | 712 |1757 | 0 | 0 | 0 | 391k| 0 | 1.000000e+00 | 1.310000e+02 | Large
783.39/783.70 c 740s| 1700k| 1126k| 0 | 0.0 | 878M| 480 | - | 712 |1480 | 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 1.310000e+02 | Large
787.69/788.08 c 744s| 1710k| 1133k| 0 | 0.0 | 883M| 480 | - | 712 |1078 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 1.310000e+02 | Large
792.69/793.03 c 748s| 1720k| 1139k| 0 | 0.0 | 888M| 480 | - | 712 |1670 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 1.310000e+02 | Large
797.28/797.62 c 753s| 1730k| 1146k| 0 | 0.0 | 893M| 480 | - | 712 |1093 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 1.310000e+02 | Large
801.59/801.99 c 757s| 1740k| 1154k| 0 | 0.0 | 898M| 480 | - | 712 |1188 | 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 1.310000e+02 | Large
806.48/806.89 c 762s| 1750k| 1160k| 0 | 0.0 | 903M| 480 | - | 712 |1641 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 1.310000e+02 | Large
811.18/811.55 c 766s| 1760k| 1167k| 0 | 0.0 | 908M| 480 | - | 712 |1520 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 1.310000e+02 | Large
815.38/815.76 c 770s| 1770k| 1174k| 0 | 0.0 | 914M| 480 | - | 712 |1106 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 1.310000e+02 | Large
819.88/820.28 c 774s| 1780k| 1181k| 0 | 0.0 | 919M| 480 | - | 712 |1379 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 1.310000e+02 | Large
824.68/825.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.68/825.02 c 779s| 1790k| 1188k| 0 | 0.0 | 924M| 480 | - | 712 |1545 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 1.310000e+02 | Large
829.37/829.76 c 783s| 1800k| 1194k| 0 | 0.0 | 929M| 480 | - | 712 |1192 | 0 | 0 | 0 | 416k| 0 | 1.000000e+00 | 1.310000e+02 | Large
834.27/834.60 c 788s| 1810k| 1201k| 0 | 0.0 | 934M| 480 | - | 712 |1341 | 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | 1.310000e+02 | Large
838.98/839.36 c 792s| 1820k| 1207k| 0 | 0.0 | 938M| 480 | - | 712 |1419 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 1.310000e+02 | Large
843.47/843.83 c 796s| 1830k| 1214k| 0 | 0.0 | 944M| 480 | - | 712 |1221 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 1.310000e+02 | Large
848.07/848.44 c 801s| 1840k| 1221k| 0 | 0.0 | 949M| 480 | - | 712 |1180 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 1.310000e+02 | Large
852.57/853.00 c 805s| 1850k| 1227k| 0 | 0.0 | 954M| 480 | - | 712 |1332 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 1.310000e+02 | Large
857.27/857.65 c 809s| 1860k| 1234k| 0 | 0.0 | 959M| 480 | - | 712 |1312 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 1.310000e+02 | Large
862.07/862.47 c 814s| 1870k| 1240k| 0 | 0.0 | 964M| 480 | - | 712 |1182 | 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | 1.310000e+02 | Large
866.66/867.05 c 818s| 1880k| 1247k| 0 | 0.0 | 969M| 480 | - | 712 |1310 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 1.310000e+02 | Large
871.26/871.64 c 823s| 1890k| 1254k| 0 | 0.0 | 974M| 480 | - | 712 |1301 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | 1.310000e+02 | Large
875.66/876.08 c 827s| 1900k| 1260k| 0 | 0.0 | 979M| 480 | - | 712 |1263 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 1.310000e+02 | Large
880.16/880.57 c 831s| 1910k| 1267k| 0 | 0.0 | 984M| 480 | - | 712 |1353 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 1.310000e+02 | Large
884.65/885.01 c 835s| 1920k| 1274k| 0 | 0.0 | 989M| 480 | - | 712 |1177 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 1.310000e+02 | Large
889.26/889.68 c 840s| 1930k| 1280k| 0 | 0.0 | 994M| 480 | - | 712 |1127 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 1.310000e+02 | Large
893.75/894.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.75/894.13 c 844s| 1940k| 1287k| 0 | 0.0 | 999M| 480 | - | 712 |1402 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 1.310000e+02 | Large
898.36/898.77 c 848s| 1950k| 1293k| 0 | 0.0 |1004M| 480 | - | 712 |1068 | 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | 1.310000e+02 | Large
902.76/903.19 c 852s| 1960k| 1300k| 0 | 0.0 |1009M| 480 | - | 712 |1271 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 1.310000e+02 | Large
907.35/907.75 c 857s| 1970k| 1307k| 0 | 0.0 |1015M| 480 | - | 712 |1276 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | 1.310000e+02 | Large
911.95/912.39 c 861s| 1980k| 1313k| 0 | 0.0 |1019M| 480 | - | 712 |1374 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 1.310000e+02 | Large
916.74/917.16 c 866s| 1990k| 1320k| 0 | 0.0 |1024M| 480 | - | 712 |1345 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | 1.310000e+02 | Large
921.46/921.86 c 870s| 2000k| 1326k| 0 | 0.0 |1029M| 480 | - | 712 |1253 | 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | 1.310000e+02 | Large
926.25/926.60 c 875s| 2010k| 1333k| 0 | 0.0 |1035M| 480 | - | 712 |1382 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 1.310000e+02 | Large
930.94/931.36 c 879s| 2020k| 1339k| 0 | 0.0 |1039M| 480 | - | 712 |1280 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.310000e+02 | Large
935.65/936.09 c 884s| 2030k| 1345k| 0 | 0.0 |1044M| 480 | - | 712 |1416 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 1.310000e+02 | Large
940.24/940.61 c 888s| 2040k| 1352k| 0 | 0.0 |1050M| 480 | - | 712 |1300 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 1.310000e+02 | Large
945.14/945.52 c 893s| 2050k| 1359k| 0 | 0.0 |1055M| 480 | - | 712 |1567 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 1.310000e+02 | Large
949.83/950.28 c 897s| 2060k| 1366k| 0 | 0.0 |1060M| 480 | - | 712 |1263 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 1.310000e+02 | Large
954.53/954.90 c 901s| 2070k| 1372k| 0 | 0.0 |1065M| 480 | - | 712 |1508 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | 1.310000e+02 | Large
959.13/959.54 c 906s| 2080k| 1379k| 0 | 0.0 |1070M| 480 | - | 712 |1198 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 1.310000e+02 | Large
963.52/963.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.52/963.97 c 910s| 2090k| 1386k| 0 | 0.0 |1075M| 480 | - | 712 |1289 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 1.310000e+02 | Large
968.02/968.40 c 914s| 2100k| 1393k| 0 | 0.0 |1080M| 480 | - | 712 |1302 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 1.310000e+02 | Large
972.82/973.28 c 919s| 2110k| 1399k| 0 | 0.0 |1085M| 480 | - | 712 |1508 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 1.310000e+02 | Large
977.62/978.00 c 923s| 2120k| 1406k| 0 | 0.0 |1090M| 480 | - | 712 |1300 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 1.310000e+02 | Large
982.51/982.96 c 928s| 2130k| 1413k| 0 | 0.0 |1095M| 480 | - | 712 |1213 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 1.310000e+02 | Large
987.02/987.48 c 932s| 2140k| 1420k| 0 | 0.0 |1100M| 480 | - | 712 |1321 | 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 1.310000e+02 | Large
991.81/992.25 c 937s| 2150k| 1426k| 0 | 0.0 |1105M| 480 | - | 712 |1235 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 1.310000e+02 | Large
996.11/996.60 c 941s| 2160k| 1434k| 0 | 0.0 |1111M| 480 | - | 712 |1244 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1000.90/1001.31 c 945s| 2170k| 1440k| 0 | 0.0 |1116M| 480 | - | 712 |1208 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1005.21/1005.66 c 949s| 2180k| 1448k| 0 | 0.0 |1121M| 480 | - | 712 |1221 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1010.00/1010.42 c 954s| 2190k| 1454k| 0 | 0.0 |1126M| 480 | - | 712 |1321 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1014.30/1014.79 c 958s| 2200k| 1461k| 0 | 0.0 |1131M| 480 | - | 712 |1360 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1019.21/1019.61 c 963s| 2210k| 1468k| 0 | 0.0 |1136M| 480 | - | 712 |1216 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1023.71/1024.11 c 967s| 2220k| 1475k| 0 | 0.0 |1141M| 480 | - | 712 |1339 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1028.30/1028.75 c 971s| 2230k| 1482k| 0 | 0.0 |1146M| 480 | - | 712 |1280 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1032.50/1032.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.50/1032.96 c 975s| 2240k| 1490k| 0 | 0.0 |1152M| 480 | - | 712 |1440 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1037.49/1037.98 c 980s| 2250k| 1496k| 0 | 0.0 |1156M| 480 | - | 712 |1410 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1042.40/1042.82 c 985s| 2260k| 1502k| 0 | 0.0 |1161M| 480 | - | 712 |1610 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1046.69/1047.17 c 989s| 2270k| 1509k| 0 | 0.0 |1166M| 480 | - | 712 |1295 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1051.20/1051.67 c 993s| 2280k| 1516k| 0 | 0.0 |1171M| 480 | - | 712 |1502 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1055.50/1055.99 c 997s| 2290k| 1524k| 0 | 0.0 |1177M| 480 | - | 712 |1238 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1060.09/1060.50 c 1001s| 2300k| 1531k| 0 | 0.0 |1182M| 480 | - | 712 |1442 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1064.58/1065.03 c 1005s| 2310k| 1538k| 0 | 0.0 |1187M| 480 | - | 712 |1356 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1068.58/1069.03 c 1009s| 2320k| 1545k| 0 | 0.0 |1193M| 480 | - | 712 |1296 | 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1073.38/1073.81 c 1014s| 2330k| 1552k| 0 | 0.0 |1198M| 480 | - | 712 |1476 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1077.37/1077.81 c 1017s| 2340k| 1560k| 0 | 0.0 |1204M| 480 | - | 712 |1352 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1081.88/1082.34 c 1022s| 2350k| 1567k| 0 | 0.0 |1209M| 480 | - | 712 |1440 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1086.28/1086.71 c 1026s| 2360k| 1574k| 0 | 0.0 |1214M| 480 | - | 712 |1324 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1090.18/1090.61 c 1030s| 2370k| 1582k| 0 | 0.0 |1220M| 480 | - | 712 |1147 | 0 | 0 | 0 | 549k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1094.78/1095.20 c 1034s| 2380k| 1589k| 0 | 0.0 |1225M| 480 | - | 712 |1401 | 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1098.67/1099.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.67/1099.16 c 1038s| 2390k| 1596k| 0 | 0.0 |1230M| 480 | - | 712 |1249 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1103.27/1103.75 c 1042s| 2400k| 1603k| 0 | 0.0 |1235M| 480 | - | 712 |1423 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1107.67/1108.16 c 1046s| 2410k| 1610k| 0 | 0.0 |1241M| 480 | - | 712 |1481 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1111.76/1112.28 c 1050s| 2420k| 1618k| 0 | 0.0 |1246M| 480 | - | 712 |1423 | 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1116.66/1117.12 c 1055s| 2430k| 1625k| 0 | 0.0 |1251M| 480 | - | 712 |1482 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1120.97/1121.43 c 1059s| 2440k| 1632k| 0 | 0.0 |1256M| 480 | - | 712 |1309 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1125.36/1125.81 c 1063s| 2450k| 1639k| 0 | 0.0 |1262M| 480 | - | 712 |1499 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1129.96/1130.42 c 1067s| 2460k| 1646k| 0 | 0.0 |1267M| 480 | - | 712 |1619 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1133.86/1134.38 c 1071s| 2470k| 1654k| 0 | 0.0 |1272M| 480 | - | 712 |1576 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1138.46/1138.91 c 1075s| 2480k| 1661k| 0 | 0.0 |1277M| 480 | - | 712 |1691 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1142.76/1143.22 c 1079s| 2490k| 1668k| 0 | 0.0 |1283M| 480 | - | 712 |1440 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1147.36/1147.87 c 1084s| 2500k| 1675k| 0 | 0.0 |1288M| 480 | - | 712 |1701 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1151.85/1152.37 c 1088s| 2510k| 1682k| 0 | 0.0 |1293M| 480 | - | 712 |1506 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1156.35/1156.80 c 1092s| 2520k| 1689k| 0 | 0.0 |1298M| 480 | - | 712 |1398 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1160.75/1161.26 c 1096s| 2530k| 1696k| 0 | 0.0 |1303M| 480 | - | 712 |1661 | 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1165.75/1166.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.75/1166.26 c 1101s| 2540k| 1703k| 0 | 0.0 |1308M| 480 | - | 712 |1703 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1170.34/1170.81 c 1105s| 2550k| 1710k| 0 | 0.0 |1313M| 480 | - | 712 |1409 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1175.05/1175.52 c 1110s| 2560k| 1717k| 0 | 0.0 |1319M| 480 | - | 712 |1846 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1179.76/1180.30 c 1114s| 2570k| 1723k| 0 | 0.0 |1323M| 480 | - | 712 |1550 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1184.45/1184.96 c 1119s| 2580k| 1730k| 0 | 0.0 |1328M| 480 | - | 712 |1582 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1189.34/1189.85 c 1123s| 2590k| 1737k| 0 | 0.0 |1333M| 480 | - | 712 |1908 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1194.04/1194.58 c 1128s| 2600k| 1744k| 0 | 0.0 |1339M| 480 | - | 712 |1691 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1199.04/1199.55 c 1132s| 2610k| 1751k| 0 | 0.0 |1344M| 480 | - | 712 |1842 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1203.64/1204.15 c 1137s| 2620k| 1757k| 0 | 0.0 |1348M| 480 | - | 712 |1885 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1208.44/1208.99 c 1141s| 2630k| 1764k| 0 | 0.0 |1353M| 480 | - | 712 |2023 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 1.310000e+02 | Large
1212.64/1213.14 c (node 2639330) switching to memory saving mode (mem: 1296.0M/1620.0M)
1213.84/1214.31 o 41
1213.84/1214.31 c *1146s| 2639k| 1771k| 0 | 0.0 |1359M| 480 | - | 712 |2040 | 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
1214.83/1215.30 o 25
1214.83/1215.30 c *1147s| 2639k| 1770k| 0 | 0.0 |1359M| 480 | - | 712 |2628 | 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
1214.83/1215.33 c 1147s| 2640k| 1770k| 0 | 0.0 |1359M| 480 | - | 712 |2653 | 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 2.500000e+01 |2400.00%
1216.33/1216.85 o 17
1216.33/1216.85 c *1149s| 2640k| 1770k| 0 | 0.0 |1359M| 480 | - | 712 |2404 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
1219.63/1220.19 o 9
1219.63/1220.19 c *1152s| 2641k| 1770k| 0 | 0.0 |1359M| 480 | - | 712 |2349 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1220.03/1220.59 o 5
1220.03/1220.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.03/1220.59 c *1153s| 2641k| 1768k| 0 | 0.0 |1357M| 480 | - | 712 |2355 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1236.63/1237.10 o 3
1236.63/1237.10 c *1169s| 2648k| 1717k| 0 | 0.0 |1318M| 480 | - | 712 |1900 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1248.92/1249.49 c (node 2648554) switching to standard mode (mem: 648.0M/1620.0M)
1263.62/1264.20 c
1263.62/1264.20 c SCIP Status : problem is solved [optimal solution found]
1263.62/1264.20 c Solving Time (sec) : 1193.69
1263.62/1264.20 c Solving Nodes : 2648554
1263.62/1264.20 c Primal Bound : +3.00000000000000e+00 (7 solutions)
1263.62/1264.20 c Dual Bound : +3.00000000000000e+00
1263.62/1264.20 c Gap : 0.00 %
1263.72/1264.20 s OPTIMUM FOUND
1263.72/1264.20 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x144 -x143 -x142 -x141
1263.72/1264.20 v -x140 -x139 -x138 -x137 x136 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x135 -x134 -x133 x132 x131 x130 -x129
1263.72/1264.20 v -x128 x127 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x180 -x179
1263.72/1264.20 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x171 -x170 -x169 -x168 x167
1263.72/1264.20 v -x166 x165 -x164 -x163 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x162 -x161 -x160 -x159 -x158 x157 x156 x155 -x154
1263.72/1264.20 v -x99 -x98 x97 -x96 -x95 x94 x93 -x92 x91 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x90 x89 x88 x87 -x86 -x85
1263.72/1264.20 v -x84 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 -x57
1263.72/1264.20 v -x56 x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 x35 -x34 -x33 -x32 -x31
1263.72/1264.20 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
1263.72/1264.20 v x2 x1
1263.72/1264.20 c SCIP Status : problem is solved [optimal solution found]
1263.72/1264.20 c Solving Time : 1193.69
1263.72/1264.20 c Original Problem :
1263.72/1264.20 c Problem name : HOME/instance-2663524-1276646210.opb
1263.72/1264.20 c Variables : 864 (864 binary, 0 integer, 0 implicit integer, 0 continuous)
1263.72/1264.20 c Constraints : 665 initial, 665 maximal
1263.72/1264.20 c Presolved Problem :
1263.72/1264.20 c Problem name : t_HOME/instance-2663524-1276646210.opb
1263.72/1264.20 c Variables : 712 (712 binary, 0 integer, 0 implicit integer, 0 continuous)
1263.72/1264.20 c Constraints : 529 initial, 3695 maximal
1263.72/1264.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1263.72/1264.20 c trivial : 0.00 0 0 0 0 0 0 0 0
1263.72/1264.20 c dualfix : 0.00 0 0 0 0 0 0 0 0
1263.72/1264.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
1263.72/1264.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1263.72/1264.20 c implics : 0.00 0 0 0 0 0 0 0 0
1263.72/1264.20 c probing : 0.03 0 0 0 0 0 0 0 0
1263.72/1264.20 c and : 0.11 16 128 0 0 0 128 0 128
1263.72/1264.20 c linear : 0.00 1 7 0 0 0 0 0 63
1263.72/1264.20 c logicor : 0.00 0 0 0 0 0 0 0 0
1263.72/1264.20 c root node : - 81 - - 81 - - - -
1263.72/1264.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1263.72/1264.20 c integral : 0 0 0 0 0 0 0 0 0 0
1263.72/1264.20 c and : 512 0 6273750 0 2332127 78660 12743816 0 0 0
1263.72/1264.20 c linear : 8 0 6195084 0 2332127 427004 4773584 0 0 0
1263.72/1264.20 c logicor : 9+ 0 2469982 0 2331235 19111 694072 0 0 0
1263.72/1264.20 c countsols : 0 0 0 0 2332134 0 0 0 0 0
1263.72/1264.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1263.72/1264.20 c integral : 0.00 0.00 0.00 0.00 0.00
1263.72/1264.20 c and : 181.73 0.00 115.43 0.00 66.30
1263.72/1264.20 c linear : 340.45 0.00 338.10 0.00 2.35
1263.72/1264.20 c logicor : 80.20 0.00 74.47 0.00 5.73
1263.72/1264.20 c countsols : 1.28 0.00 0.00 0.00 1.28
1263.72/1264.20 c Propagators : Time Calls Cutoffs DomReds
1263.72/1264.20 c vbounds : 3.39 2 0 0
1263.72/1264.20 c rootredcost : 2.79 0 0 0
1263.72/1264.20 c pseudoobj : 8.25 6273311 5 14638
1263.72/1264.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1263.72/1264.20 c propagation : 213.75 524779 522350 7025915 80.2 41791 68.5 -
1263.72/1264.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1263.72/1264.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1263.72/1264.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1263.72/1264.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1263.72/1264.20 c applied globally : - - - 551751 32.9 - - -
1263.72/1264.20 c applied locally : - - - 63426 86.4 - - -
1263.72/1264.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1263.72/1264.20 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1263.72/1264.20 c redcost : 0.00 0 0 0 0 0
1263.72/1264.20 c impliedbounds : 0.00 0 0 0 0 0
1263.72/1264.20 c intobj : 0.00 0 0 0 0 0
1263.72/1264.20 c cgmip : 0.00 0 0 0 0 0
1263.72/1264.20 c gomory : 0.00 0 0 0 0 0
1263.72/1264.20 c strongcg : 0.00 0 0 0 0 0
1263.72/1264.20 c cmir : 0.00 0 0 0 0 0
1263.72/1264.20 c flowcover : 0.00 0 0 0 0 0
1263.72/1264.20 c clique : 0.00 0 0 0 0 0
1263.72/1264.20 c zerohalf : 0.00 0 0 0 0 0
1263.72/1264.20 c mcf : 0.00 0 0 0 0 0
1263.72/1264.20 c rapidlearning : 0.00 0 0 0 0 0
1263.72/1264.20 c Pricers : Time Calls Vars
1263.72/1264.20 c problem variables: 0.00 0 0
1263.72/1264.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1263.72/1264.20 c relpscost : 0.00 0 0 0 0 0 0
1263.72/1264.20 c pscost : 0.00 0 0 0 0 0 0
1263.72/1264.20 c inference : 194.37 2332127 0 0 0 0 4664254
1263.72/1264.20 c mostinf : 0.00 0 0 0 0 0 0
1263.72/1264.20 c leastinf : 0.00 0 0 0 0 0 0
1263.72/1264.20 c fullstrong : 0.00 0 0 0 0 0 0
1263.72/1264.20 c allfullstrong : 0.00 0 0 0 0 0 0
1263.72/1264.20 c random : 0.00 0 0 0 0 0 0
1263.72/1264.20 c Primal Heuristics : Time Calls Found
1263.72/1264.20 c LP solutions : 0.00 - 0
1263.72/1264.20 c pseudo solutions : 0.57 - 7
1263.72/1264.20 c oneopt : 2.11 0 0
1263.72/1264.20 c trivial : 0.01 2 0
1263.72/1264.20 c simplerounding : 0.00 0 0
1263.72/1264.20 c zirounding : 0.00 0 0
1263.72/1264.20 c rounding : 0.00 0 0
1263.72/1264.20 c shifting : 0.00 0 0
1263.72/1264.20 c intshifting : 0.00 0 0
1263.72/1264.20 c twoopt : 0.00 0 0
1263.72/1264.20 c fixandinfer : 0.00 0 0
1263.72/1264.20 c feaspump : 0.00 0 0
1263.72/1264.20 c coefdiving : 0.00 0 0
1263.72/1264.20 c pscostdiving : 0.00 0 0
1263.72/1264.20 c fracdiving : 0.00 0 0
1263.72/1264.20 c veclendiving : 0.00 0 0
1263.72/1264.20 c intdiving : 0.00 0 0
1263.72/1264.20 c actconsdiving : 0.00 0 0
1263.72/1264.20 c objpscostdiving : 0.00 0 0
1263.72/1264.20 c rootsoldiving : 0.00 0 0
1263.72/1264.20 c linesearchdiving : 0.00 0 0
1263.72/1264.20 c guideddiving : 0.00 0 0
1263.72/1264.20 c octane : 0.00 0 0
1263.72/1264.20 c rens : 0.00 0 0
1263.72/1264.20 c rins : 0.00 0 0
1263.72/1264.20 c localbranching : 0.00 0 0
1263.72/1264.20 c mutation : 0.00 0 0
1263.72/1264.20 c crossover : 0.00 0 0
1263.72/1264.20 c dins : 0.00 0 0
1263.72/1264.20 c undercover : 0.00 0 0
1263.72/1264.20 c nlp : 1.35 0 0
1263.72/1264.20 c trysol : 1.13 0 0
1263.72/1264.20 c LP : Time Calls Iterations Iter/call Iter/sec
1263.72/1264.20 c primal LP : 0.00 0 0 0.00 -
1263.72/1264.20 c dual LP : 0.00 0 0 0.00 -
1263.72/1264.20 c lex dual LP : 0.00 0 0 0.00 -
1263.72/1264.20 c barrier LP : 0.00 0 0 0.00 -
1263.72/1264.20 c diving/probing LP: 0.00 0 0 0.00 -
1263.72/1264.20 c strong branching : 0.00 0 0 0.00 -
1263.72/1264.20 c (at root node) : - 0 0 0.00 -
1263.72/1264.20 c conflict analysis: 0.00 0 0 0.00 -
1263.72/1264.20 c B&B Tree :
1263.72/1264.20 c number of runs : 1
1263.72/1264.20 c nodes : 2648554
1263.72/1264.20 c nodes (total) : 2648554
1263.72/1264.20 c nodes left : 0
1263.72/1264.20 c max depth : 480
1263.72/1264.20 c max depth (total): 480
1263.72/1264.20 c backtracks : 221186 (8.4%)
1263.72/1264.20 c delayed cutoffs : 1961503
1263.72/1264.20 c repropagations : 498584 (2241493 domain reductions, 208360 cutoffs)
1263.72/1264.20 c avg switch length: 6.61
1263.72/1264.20 c switching time : 264.10
1263.72/1264.20 c Solution :
1263.72/1264.20 c Solutions found : 7 (7 improvements)
1263.72/1264.20 c First Solution : +1.31000000000000e+02 (in run 1, after 951146 nodes, 411.37 seconds, depth 407, found by <relaxation>)
1263.72/1264.20 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2648554 nodes, 1168.64 seconds, depth 413, found by <relaxation>)
1263.72/1264.20 c Dual Bound : +3.00000000000000e+00
1263.72/1264.20 c Gap : 0.00 %
1263.72/1264.20 c Root Dual Bound : +1.00000000000000e+00
1263.72/1264.20 c Root Iterations : 0
1263.72/1264.29 c Time complete: 1263.81.