0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665649-1276457510.opb>
0.39/0.42 c original problem has 3204 variables (3204 bin, 0 int, 0 impl, 0 cont) and 24883 constraints
0.39/0.42 c problem read
0.39/0.42 c presolving settings loaded
0.49/0.51 c presolving:
0.59/0.68 c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 98196 impls, 0 clqs
0.79/0.89 c (round 2) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23461 upgd conss, 98196 impls, 0 clqs
0.89/0.97 c (round 3) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24871 upgd conss, 98196 impls, 0 clqs
2.99/3.05 c (2.5s) probing: 1000/3192 (31.3%) - 0 fixings, 0 aggregations, 25570 implications, 0 bound changes
4.49/4.50 c (3.9s) probing: 1799/3192 (56.4%) - 0 fixings, 0 aggregations, 30541 implications, 0 bound changes
4.49/4.50 c (3.9s) probing aborted: 100/100 successive totally useless probings
4.49/4.50 c presolving (4 rounds):
4.49/4.50 c 12 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.49/4.50 c 181560 implications, 0 cliques
4.49/4.50 c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 24871 constraints
4.49/4.50 c 24871 constraints of type <logicor>
4.49/4.50 c transformed objective value is always integral (scale: 1)
4.49/4.50 c Presolving Time: 3.87
4.49/4.50 c - non default parameters ----------------------------------------------------------------------
4.49/4.50 c # SCIP version 1.2.1.2
4.49/4.50 c
4.49/4.50 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.49/4.50 c # [type: int, range: [-1,2147483647], default: -1]
4.49/4.50 c conflict/interconss = 0
4.49/4.50 c
4.49/4.50 c # should binary conflicts be preferred?
4.49/4.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.50 c conflict/preferbinary = TRUE
4.49/4.50 c
4.49/4.50 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.49/4.50 c # [type: int, range: [-1,2147483647], default: 0]
4.49/4.50 c constraints/agelimit = 1
4.49/4.50 c
4.49/4.50 c # should enforcement of pseudo solution be disabled?
4.49/4.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.50 c constraints/disableenfops = TRUE
4.49/4.50 c
4.49/4.50 c # frequency for displaying node information lines
4.49/4.50 c # [type: int, range: [-1,2147483647], default: 100]
4.49/4.50 c display/freq = 10000
4.49/4.50 c
4.49/4.50 c # maximal time in seconds to run
4.49/4.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.50 c limits/time = 1799.59
4.49/4.50 c
4.49/4.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.49/4.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.50 c limits/memory = 1620
4.49/4.50 c
4.49/4.50 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.49/4.50 c # [type: int, range: [-1,2147483647], default: 1]
4.49/4.50 c lp/solvefreq = 0
4.49/4.50 c
4.49/4.50 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
4.49/4.50 c # [type: char, range: {lafpsqd}, default: l]
4.49/4.50 c lp/pricing = a
4.49/4.50 c
4.49/4.50 c # should presolving try to simplify inequalities
4.49/4.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.50 c constraints/linear/simplifyinequalities = TRUE
4.49/4.50 c
4.49/4.50 c # should presolving try to simplify knapsacks
4.49/4.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.50 c constraints/knapsack/simplifyinequalities = TRUE
4.49/4.50 c
4.49/4.50 c # priority of node selection rule <dfs> in standard mode
4.49/4.50 c # [type: int, range: [-536870912,536870911], default: 0]
4.49/4.50 c nodeselection/dfs/stdpriority = 1000000
4.49/4.50 c
4.49/4.50 c -----------------------------------------------------------------------------------------------
4.49/4.50 c start solving
4.49/4.50 c
6.99/7.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.99/7.02 c 6.4s| 1 | 0 | 3578 | - | 39M| 0 |2252 |3192 | 24k|3192 | 24k| 0 | 0 | 0 | 5.143750e+02 | -- | Inf
14.08/14.12 c 13.3s| 1 | 0 | 5431 | - | 40M| 0 |2256 |3192 | 24k|3192 | 25k| 876 | 0 | 0 | 5.863008e+02 | -- | Inf
17.39/17.44 c 16.6s| 1 | 0 | 5809 | - | 40M| 0 |2254 |3192 | 24k|3192 | 25k| 887 | 0 | 0 | 5.908474e+02 | -- | Inf
20.18/20.29 c 19.4s| 1 | 0 | 6090 | - | 40M| 0 |2253 |3192 | 24k|3192 | 25k| 899 | 0 | 0 | 5.939486e+02 | -- | Inf
22.88/22.90 c 22.0s| 1 | 0 | 6325 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k| 911 | 0 | 0 | 5.955818e+02 | -- | Inf
25.78/25.85 c 25.0s| 1 | 0 | 6624 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k| 921 | 0 | 0 | 5.977058e+02 | -- | Inf
28.78/28.83 c 27.9s| 1 | 0 | 6993 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k| 936 | 0 | 0 | 5.997213e+02 | -- | Inf
32.17/32.26 c 31.3s| 1 | 0 | 7432 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k| 948 | 0 | 0 | 6.014488e+02 | -- | Inf
35.47/35.55 c 34.6s| 1 | 0 | 7945 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k| 962 | 0 | 0 | 6.031696e+02 | -- | Inf
38.78/38.90 c 37.9s| 1 | 0 | 8467 | - | 42M| 0 |2249 |3192 | 24k|3192 | 25k| 974 | 0 | 0 | 6.051728e+02 | -- | Inf
42.78/42.81 c 41.8s| 1 | 0 | 9163 | - | 42M| 0 |2240 |3192 | 24k|3192 | 25k| 991 | 0 | 0 | 6.068619e+02 | -- | Inf
45.09/45.18 c 44.1s| 1 | 0 | 9929 | - | 42M| 0 |2241 |3192 | 24k|3192 | 25k|1006 | 0 | 0 | 6.082198e+02 | -- | Inf
47.58/47.63 c 46.6s| 1 | 0 | 10610 | - | 42M| 0 |2237 |3192 | 24k|3192 | 25k|1022 | 0 | 0 | 6.092845e+02 | -- | Inf
50.67/50.72 c 49.6s| 1 | 0 | 11312 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|1038 | 0 | 0 | 6.101889e+02 | -- | Inf
53.66/53.79 c 52.7s| 1 | 0 | 11949 | - | 43M| 0 |2234 |3192 | 24k|3192 | 25k|1055 | 0 | 0 | 6.109538e+02 | -- | Inf
57.27/57.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.27/57.32 c 56.2s| 1 | 0 | 12600 | - | 43M| 0 |2233 |3192 | 24k|3192 | 25k|1066 | 0 | 0 | 6.115803e+02 | -- | Inf
60.47/60.51 c 59.4s| 1 | 0 | 13151 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1075 | 0 | 0 | 6.121188e+02 | -- | Inf
64.37/64.40 c 63.2s| 1 | 0 | 13868 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|1094 | 0 | 0 | 6.128457e+02 | -- | Inf
70.47/70.51 c 69.3s| 1 | 0 | 14471 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1109 | 0 | 0 | 6.136162e+02 | -- | Inf
75.87/75.98 c 74.7s| 1 | 0 | 14984 | - | 44M| 0 |2230 |3192 | 24k|3192 | 25k|1121 | 0 | 0 | 6.139752e+02 | -- | Inf
79.17/79.20 c 77.9s| 1 | 0 | 15637 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1129 | 0 | 0 | 6.145166e+02 | -- | Inf
86.25/86.35 c 85.0s| 1 | 0 | 16093 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|1142 | 0 | 0 | 6.148560e+02 | -- | Inf
92.45/92.55 c 91.1s| 1 | 0 | 16495 | - | 45M| 0 |2242 |3192 | 24k|3192 | 25k|1150 | 0 | 0 | 6.151007e+02 | -- | Inf
95.56/95.67 c 94.2s| 1 | 0 | 17011 | - | 45M| 0 |2236 |3192 | 24k|3192 | 25k|1161 | 0 | 0 | 6.157627e+02 | -- | Inf
99.45/99.57 c 98.1s| 1 | 0 | 17364 | - | 45M| 0 |2242 |3192 | 24k|3192 | 25k|1169 | 0 | 0 | 6.161047e+02 | -- | Inf
105.65/105.76 c 104s| 1 | 0 | 17661 | - | 45M| 0 |2238 |3192 | 24k|3192 | 25k|1176 | 0 | 0 | 6.163888e+02 | -- | Inf
110.05/110.14 c 109s| 1 | 0 | 18056 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1184 | 0 | 0 | 6.168318e+02 | -- | Inf
117.35/117.45 c 116s| 1 | 0 | 18407 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1194 | 0 | 0 | 6.172077e+02 | -- | Inf
124.04/124.13 c 122s| 1 | 0 | 18829 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1203 | 0 | 0 | 6.176456e+02 | -- | Inf
130.84/130.96 c 129s| 1 | 0 | 19138 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|1209 | 0 | 0 | 6.178893e+02 | -- | Inf
137.84/137.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.84/137.91 c 136s| 1 | 0 | 19420 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1217 | 0 | 0 | 6.180867e+02 | -- | Inf
144.43/144.58 c 143s| 1 | 0 | 19622 | - | 45M| 0 |2240 |3192 | 24k|3192 | 25k|1223 | 0 | 0 | 6.182023e+02 | -- | Inf
150.63/150.79 c 149s| 1 | 0 | 19758 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1230 | 0 | 0 | 6.184080e+02 | -- | Inf
157.33/157.40 c 156s| 1 | 0 | 19909 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|1236 | 0 | 0 | 6.186676e+02 | -- | Inf
163.83/163.97 c 162s| 1 | 0 | 20076 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1240 | 0 | 0 | 6.188734e+02 | -- | Inf
170.52/170.68 c 169s| 1 | 0 | 20248 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1242 | 0 | 0 | 6.190356e+02 | -- | Inf
177.03/177.15 c 175s| 1 | 0 | 20377 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1245 | 0 | 0 | 6.191619e+02 | -- | Inf
183.22/183.38 c 181s| 1 | 0 | 20537 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1250 | 0 | 0 | 6.193836e+02 | -- | Inf
189.31/189.45 c 187s| 1 | 0 | 20631 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1253 | 0 | 0 | 6.194497e+02 | -- | Inf
195.41/195.58 c 193s| 1 | 0 | 20773 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1258 | 0 | 0 | 6.195946e+02 | -- | Inf
201.80/201.91 c 200s| 1 | 0 | 20881 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1262 | 0 | 0 | 6.196729e+02 | -- | Inf
208.11/208.24 c 206s| 1 | 0 | 21051 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1266 | 0 | 0 | 6.197851e+02 | -- | Inf
209.91/210.01 c 208s| 1 | 0 | 21259 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1270 | 0 | 0 | 6.199808e+02 | -- | Inf
216.61/216.76 c 215s| 1 | 0 | 21465 | - | 45M| 0 |2240 |3192 | 24k|3192 | 25k|1274 | 0 | 0 | 6.201272e+02 | -- | Inf
223.40/223.53 c 221s| 1 | 0 | 21672 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1280 | 0 | 0 | 6.202943e+02 | -- | Inf
230.10/230.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.10/230.25 c 228s| 1 | 0 | 21844 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1284 | 0 | 0 | 6.204823e+02 | -- | Inf
237.09/237.20 c 235s| 1 | 0 | 22122 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1291 | 0 | 0 | 6.208238e+02 | -- | Inf
243.49/243.67 c 241s| 1 | 0 | 22248 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1297 | 0 | 0 | 6.210167e+02 | -- | Inf
249.99/250.11 c 248s| 1 | 0 | 22394 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1301 | 0 | 0 | 6.211767e+02 | -- | Inf
256.49/256.64 c 254s| 1 | 0 | 22519 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1304 | 0 | 0 | 6.213571e+02 | -- | Inf
262.70/262.86 c 260s| 1 | 0 | 22610 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1307 | 0 | 0 | 6.214564e+02 | -- | Inf
268.88/269.05 c 267s| 1 | 0 | 22678 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1310 | 0 | 0 | 6.215632e+02 | -- | Inf
275.38/275.57 c 273s| 1 | 0 | 22768 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1313 | 0 | 0 | 6.216768e+02 | -- | Inf
282.28/282.44 c 280s| 1 | 0 | 22896 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1318 | 0 | 0 | 6.218296e+02 | -- | Inf
288.48/288.68 c 286s| 1 | 0 | 22976 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1320 | 0 | 0 | 6.219910e+02 | -- | Inf
294.87/295.02 c 292s| 1 | 0 | 23068 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1322 | 0 | 0 | 6.221289e+02 | -- | Inf
301.37/301.55 c 299s| 1 | 0 | 23244 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1327 | 0 | 0 | 6.224730e+02 | -- | Inf
307.57/307.78 c 305s| 1 | 0 | 23355 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1330 | 0 | 0 | 6.225842e+02 | -- | Inf
313.86/314.04 c 311s| 1 | 0 | 23478 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1334 | 0 | 0 | 6.226929e+02 | -- | Inf
320.16/320.39 c 318s| 1 | 0 | 23560 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1337 | 0 | 0 | 6.228509e+02 | -- | Inf
326.57/326.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.57/326.70 c 324s| 1 | 0 | 23682 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1341 | 0 | 0 | 6.230268e+02 | -- | Inf
332.86/333.01 c 330s| 1 | 0 | 23811 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1349 | 0 | 0 | 6.232808e+02 | -- | Inf
339.06/339.22 c 336s| 1 | 0 | 23928 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1354 | 0 | 0 | 6.235530e+02 | -- | Inf
345.16/345.37 c 342s| 1 | 0 | 23972 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1357 | 0 | 0 | 6.235987e+02 | -- | Inf
351.55/351.75 c 349s| 1 | 0 | 24077 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1361 | 0 | 0 | 6.237962e+02 | -- | Inf
357.74/357.94 c 355s| 1 | 0 | 24136 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1363 | 0 | 0 | 6.238774e+02 | -- | Inf
364.04/364.27 c 361s| 1 | 0 | 24243 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1365 | 0 | 0 | 6.240763e+02 | -- | Inf
370.55/370.79 c 368s| 1 | 0 | 24376 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1367 | 0 | 0 | 6.242006e+02 | -- | Inf
377.24/377.42 c 374s| 1 | 0 | 24639 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1372 | 0 | 0 | 6.246355e+02 | -- | Inf
381.84/382.09 c 379s| 1 | 0 | 25027 | - | 45M| 0 |2237 |3192 | 24k|3192 | 25k|1379 | 0 | 0 | 6.249647e+02 | -- | Inf
385.23/385.40 c 382s| 1 | 0 | 25459 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1390 | 0 | 0 | 6.252464e+02 | -- | Inf
392.44/392.68 c 389s| 1 | 0 | 25854 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1397 | 0 | 0 | 6.256070e+02 | -- | Inf
399.43/399.64 c 396s| 1 | 0 | 26096 | - | 45M| 0 |2238 |3192 | 24k|3192 | 25k|1402 | 0 | 0 | 6.257316e+02 | -- | Inf
406.42/406.69 c 403s| 1 | 0 | 26383 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1409 | 0 | 0 | 6.258387e+02 | -- | Inf
410.23/410.42 c 407s| 1 | 0 | 26659 | - | 45M| 0 |2242 |3192 | 24k|3192 | 25k|1417 | 0 | 0 | 6.259857e+02 | -- | Inf
416.82/417.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.82/417.01 c 414s| 1 | 0 | 26987 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1424 | 0 | 0 | 6.263508e+02 | -- | Inf
423.52/423.77 c 420s| 1 | 0 | 27197 | - | 45M| 0 |2239 |3192 | 24k|3192 | 25k|1431 | 0 | 0 | 6.264853e+02 | -- | Inf
430.31/430.51 c 427s| 1 | 0 | 27353 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1435 | 0 | 0 | 6.265561e+02 | -- | Inf
436.71/436.90 c 433s| 1 | 0 | 27504 | - | 45M| 0 |2239 |3192 | 24k|3192 | 25k|1443 | 0 | 0 | 6.267095e+02 | -- | Inf
443.31/443.56 c 440s| 1 | 0 | 27639 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|1445 | 0 | 0 | 6.268535e+02 | -- | Inf
449.81/450.03 c 446s| 1 | 0 | 27780 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1448 | 0 | 0 | 6.270063e+02 | -- | Inf
456.41/456.61 c 453s| 1 | 0 | 27911 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1451 | 0 | 0 | 6.271272e+02 | -- | Inf
462.82/463.06 c 459s| 1 | 0 | 28058 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1453 | 0 | 0 | 6.272579e+02 | -- | Inf
469.60/469.89 c 466s| 1 | 0 | 28252 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1459 | 0 | 0 | 6.274216e+02 | -- | Inf
476.10/476.31 c 472s| 1 | 0 | 28316 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1461 | 0 | 0 | 6.274703e+02 | -- | Inf
482.60/482.85 c 479s| 1 | 0 | 28430 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1463 | 0 | 0 | 6.276060e+02 | -- | Inf
484.30/484.55 c 481s| 1 | 0 | 28573 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1467 | 0 | 0 | 6.278102e+02 | -- | Inf
490.89/491.16 c 487s| 1 | 0 | 28725 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1472 | 0 | 0 | 6.279736e+02 | -- | Inf
497.29/497.59 c 494s| 1 | 0 | 28850 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1475 | 0 | 0 | 6.280757e+02 | -- | Inf
503.59/503.83 c 500s| 1 | 0 | 28942 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1477 | 0 | 0 | 6.281565e+02 | -- | Inf
510.09/510.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.09/510.39 c 506s| 1 | 0 | 29079 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1480 | 0 | 0 | 6.283226e+02 | -- | Inf
516.78/517.01 c 513s| 1 | 0 | 29200 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1483 | 0 | 0 | 6.284814e+02 | -- | Inf
523.18/523.47 c 519s| 1 | 0 | 29347 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|1488 | 0 | 0 | 6.286400e+02 | -- | Inf
529.88/530.11 c 526s| 1 | 0 | 29513 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1492 | 0 | 0 | 6.287652e+02 | -- | Inf
536.48/536.78 c 533s| 1 | 0 | 29697 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1499 | 0 | 0 | 6.289812e+02 | -- | Inf
543.57/543.89 c 540s| 1 | 0 | 29879 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1503 | 0 | 0 | 6.291585e+02 | -- | Inf
550.27/550.54 c 546s| 1 | 0 | 30040 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1506 | 0 | 0 | 6.292770e+02 | -- | Inf
556.77/557.06 c 553s| 1 | 0 | 30206 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1513 | 0 | 0 | 6.294321e+02 | -- | Inf
563.06/563.39 c 559s| 1 | 0 | 30326 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1518 | 0 | 0 | 6.295746e+02 | -- | Inf
569.47/569.74 c 565s| 1 | 0 | 30431 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1524 | 0 | 0 | 6.298413e+02 | -- | Inf
576.56/576.89 c 572s| 1 | 0 | 30631 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1527 | 0 | 0 | 6.299600e+02 | -- | Inf
583.35/583.68 c 579s| 1 | 0 | 30819 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1537 | 0 | 0 | 6.300710e+02 | -- | Inf
589.85/590.17 c 586s| 1 | 0 | 30936 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1545 | 0 | 0 | 6.301699e+02 | -- | Inf
596.75/597.06 c 592s| 1 | 0 | 31128 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1550 | 0 | 0 | 6.303751e+02 | -- | Inf
603.65/603.99 c 599s| 1 | 0 | 31347 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1557 | 0 | 0 | 6.305075e+02 | -- | Inf
610.55/610.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.55/610.82 c 606s| 1 | 0 | 31447 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|1560 | 0 | 0 | 6.306071e+02 | -- | Inf
617.85/618.17 c 613s| 1 | 0 | 31713 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1570 | 0 | 0 | 6.308826e+02 | -- | Inf
624.64/624.96 c 620s| 1 | 0 | 31947 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|1575 | 0 | 0 | 6.310824e+02 | -- | Inf
631.54/631.83 c 627s| 1 | 0 | 32168 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1585 | 0 | 0 | 6.312395e+02 | -- | Inf
638.53/638.83 c 634s| 1 | 0 | 32413 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|1594 | 0 | 0 | 6.314136e+02 | -- | Inf
645.34/645.66 c 641s| 1 | 0 | 32568 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1599 | 0 | 0 | 6.316291e+02 | -- | Inf
651.94/652.26 c 647s| 1 | 0 | 32669 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1607 | 0 | 0 | 6.317369e+02 | -- | Inf
658.63/658.94 c 654s| 1 | 0 | 32776 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|1613 | 0 | 0 | 6.318761e+02 | -- | Inf
665.32/665.62 c 661s| 1 | 0 | 32920 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1619 | 0 | 0 | 6.319805e+02 | -- | Inf
671.42/671.73 c 667s| 1 | 0 | 32974 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1621 | 0 | 0 | 6.320104e+02 | -- | Inf
677.62/677.97 c 673s| 1 | 0 | 32976 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1623 | 0 | 0 | 6.320104e+02 | -- | Inf
684.01/684.36 c 679s| 1 | 0 | 33060 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|1625 | 0 | 0 | 6.321152e+02 | -- | Inf
690.41/690.75 c 686s| 1 | 0 | 33150 | - | 42M| 0 |2247 |3192 | 24k|3192 | 25k|1628 | 0 | 0 | 6.322527e+02 | -- | Inf
696.71/697.03 c 692s| 1 | 0 | 33204 | - | 42M| 0 |2249 |3192 | 24k|3192 | 25k|1631 | 0 | 0 | 6.323279e+02 | -- | Inf
703.10/703.44 c 698s| 1 | 0 | 33270 | - | 42M| 0 |2251 |3192 | 24k|3192 | 25k|1634 | 0 | 0 | 6.323882e+02 | -- | Inf
709.30/709.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.30/709.66 c 704s| 1 | 0 | 33290 | - | 42M| 0 |2248 |3192 | 24k|3192 | 25k|1638 | 0 | 0 | 6.323909e+02 | -- | Inf
715.60/715.93 c 711s| 1 | 0 | 33383 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|1641 | 0 | 0 | 6.324849e+02 | -- | Inf
722.00/722.33 c 717s| 1 | 0 | 33491 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1643 | 0 | 0 | 6.325805e+02 | -- | Inf
728.39/728.78 c 723s| 1 | 0 | 33611 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1647 | 0 | 0 | 6.327198e+02 | -- | Inf
734.60/734.93 c 730s| 1 | 0 | 33653 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|1651 | 0 | 0 | 6.327426e+02 | -- | Inf
740.80/741.17 c 736s| 1 | 0 | 33695 | - | 41M| 0 |2247 |3192 | 24k|3192 | 25k|1653 | 0 | 0 | 6.328144e+02 | -- | Inf
746.39/746.78 c 741s| 1 | 0 | 33889 | - | 41M| 0 |2243 |3192 | 24k|3192 | 25k|1657 | 0 | 0 | 6.330215e+02 | -- | Inf
752.49/752.82 c 747s| 1 | 0 | 33935 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1660 | 0 | 0 | 6.330724e+02 | -- | Inf
759.18/759.51 c 754s| 1 | 0 | 34060 | - | 41M| 0 |2247 |3192 | 24k|3192 | 25k|1665 | 0 | 0 | 6.331567e+02 | -- | Inf
765.19/765.58 c 760s| 1 | 0 | 34113 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1667 | 0 | 0 | 6.331924e+02 | -- | Inf
771.79/772.14 c 766s| 1 | 0 | 34241 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1669 | 0 | 0 | 6.332396e+02 | -- | Inf
777.58/777.94 c 772s| 1 | 0 | 34375 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|1682 | 0 | 0 | 6.333534e+02 | -- | Inf
783.47/783.83 c 778s| 1 | 0 | 34490 | - | 41M| 0 |2247 |3192 | 24k|3192 | 25k|1686 | 0 | 0 | 6.334639e+02 | -- | Inf
789.27/789.67 c 784s| 1 | 0 | 34621 | - | 41M| 0 |2247 |3192 | 24k|3192 | 25k|1690 | 0 | 0 | 6.335955e+02 | -- | Inf
795.26/795.61 c 790s| 1 | 0 | 34771 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1699 | 0 | 0 | 6.337375e+02 | -- | Inf
801.16/801.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.16/801.58 c 796s| 1 | 0 | 34916 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1703 | 0 | 0 | 6.338830e+02 | -- | Inf
807.66/808.02 c 802s| 1 | 0 | 35133 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1713 | 0 | 0 | 6.342584e+02 | -- | Inf
814.06/814.47 c 809s| 1 | 0 | 35268 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1719 | 0 | 0 | 6.343947e+02 | -- | Inf
820.96/821.31 c 815s| 1 | 0 | 35448 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1727 | 0 | 0 | 6.346023e+02 | -- | Inf
827.36/827.73 c 822s| 1 | 0 | 35533 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1731 | 0 | 0 | 6.347391e+02 | -- | Inf
833.75/834.19 c 828s| 1 | 0 | 35699 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1736 | 0 | 0 | 6.349606e+02 | -- | Inf
835.56/835.91 c 830s| 1 | 0 | 35897 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|1741 | 0 | 0 | 6.352418e+02 | -- | Inf
841.85/842.29 c 836s| 1 | 0 | 36028 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1745 | 0 | 0 | 6.353889e+02 | -- | Inf
848.15/848.59 c 842s| 1 | 0 | 36136 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|1751 | 0 | 0 | 6.354369e+02 | -- | Inf
855.04/855.48 c 849s| 1 | 0 | 36299 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1756 | 0 | 0 | 6.356144e+02 | -- | Inf
861.34/861.77 c 856s| 1 | 0 | 36300 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1757 | 0 | 0 | 6.356144e+02 | -- | Inf
867.64/868.03 c 862s| 1 | 0 | 36378 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1758 | 0 | 0 | 6.356910e+02 | -- | Inf
873.93/874.38 c 868s| 1 | 0 | 36480 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1759 | 0 | 0 | 6.357675e+02 | -- | Inf
880.03/880.48 c 874s| 1 | 0 | 36481 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1760 | 0 | 0 | 6.357675e+02 | -- | Inf
886.33/886.74 c 880s| 1 | 0 | 36482 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1761 | 0 | 0 | 6.357675e+02 | -- | Inf
892.73/893.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.73/893.16 c 887s| 1 | 0 | 36530 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1762 | 0 | 0 | 6.358256e+02 | -- | Inf
899.02/899.49 c 893s| 1 | 0 | 36617 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|1765 | 0 | 0 | 6.359695e+02 | -- | Inf
906.12/906.58 c 900s| 1 | 0 | 36802 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1769 | 0 | 0 | 6.362483e+02 | -- | Inf
912.32/912.75 c 906s| 1 | 0 | 36925 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1774 | 0 | 0 | 6.363637e+02 | -- | Inf
918.61/919.07 c 912s| 1 | 0 | 37012 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1780 | 0 | 0 | 6.364932e+02 | -- | Inf
925.21/925.62 c 919s| 1 | 0 | 37103 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1785 | 0 | 0 | 6.365551e+02 | -- | Inf
931.81/932.24 c 926s| 1 | 0 | 37180 | - | 41M| 0 |2246 |3192 | 24k|3192 | 25k|1793 | 0 | 0 | 6.366941e+02 | -- | Inf
933.61/934.01 c 927s| 1 | 0 | 37355 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k|1799 | 0 | 0 | 6.370359e+02 | -- | Inf
939.91/940.31 c 934s| 1 | 0 | 37421 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1805 | 0 | 0 | 6.370945e+02 | -- | Inf
946.00/946.41 c 940s| 1 | 0 | 37515 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1810 | 0 | 0 | 6.371773e+02 | -- | Inf
952.30/952.71 c 946s| 1 | 0 | 37624 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1813 | 0 | 0 | 6.372956e+02 | -- | Inf
958.50/958.93 c 952s| 1 | 0 | 37694 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1816 | 0 | 0 | 6.374335e+02 | -- | Inf
964.70/965.13 c 958s| 1 | 0 | 37698 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1820 | 0 | 0 | 6.374335e+02 | -- | Inf
971.19/971.60 c 965s| 1 | 0 | 37811 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1824 | 0 | 0 | 6.375633e+02 | -- | Inf
977.30/977.79 c 971s| 1 | 0 | 37857 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1826 | 0 | 0 | 6.376232e+02 | -- | Inf
984.29/984.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.29/984.75 c 978s| 1 | 0 | 38071 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1830 | 0 | 0 | 6.380013e+02 | -- | Inf
990.29/990.77 c 984s| 1 | 0 | 38111 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1836 | 0 | 0 | 6.380171e+02 | -- | Inf
996.68/997.15 c 990s| 1 | 0 | 38190 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1839 | 0 | 0 | 6.381341e+02 | -- | Inf
1002.98/1003.41 c 996s| 1 | 0 | 38236 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1842 | 0 | 0 | 6.382134e+02 | -- | Inf
1009.48/1009.92 c 1003s| 1 | 0 | 38339 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1845 | 0 | 0 | 6.383386e+02 | -- | Inf
1015.48/1015.96 c 1009s| 1 | 0 | 38402 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1847 | 0 | 0 | 6.384069e+02 | -- | Inf
1021.77/1022.26 c 1015s| 1 | 0 | 38466 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1849 | 0 | 0 | 6.384906e+02 | -- | Inf
1028.27/1028.71 c 1021s| 1 | 0 | 38588 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k|1852 | 0 | 0 | 6.386164e+02 | -- | Inf
1034.17/1034.63 c 1027s| 1 | 0 | 38647 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1854 | 0 | 0 | 6.386543e+02 | -- | Inf
1040.56/1041.07 c 1034s| 1 | 0 | 38755 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k|1858 | 0 | 0 | 6.387428e+02 | -- | Inf
1046.78/1047.25 c 1040s| 1 | 0 | 38829 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1862 | 0 | 0 | 6.387743e+02 | -- | Inf
1052.96/1053.44 c 1046s| 1 | 0 | 38912 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1865 | 0 | 0 | 6.388702e+02 | -- | Inf
1060.16/1060.69 c 1053s| 1 | 0 | 39198 | - | 41M| 0 |2247 |3192 | 24k|3192 | 25k|1871 | 0 | 0 | 6.392108e+02 | -- | Inf
1062.46/1062.93 c 1055s| 1 | 0 | 39511 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1877 | 0 | 0 | 6.395170e+02 | -- | Inf
1069.35/1069.82 c 1062s| 1 | 0 | 39712 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1881 | 0 | 0 | 6.397265e+02 | -- | Inf
1077.05/1077.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1077.05/1077.59 c 1070s| 1 | 0 | 39962 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1887 | 0 | 0 | 6.400166e+02 | -- | Inf
1084.06/1084.52 c 1077s| 1 | 0 | 40027 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1896 | 0 | 0 | 6.400385e+02 | -- | Inf
1091.34/1091.82 c 1084s| 1 | 0 | 40292 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1903 | 0 | 0 | 6.404380e+02 | -- | Inf
1098.74/1099.29 c 1092s| 1 | 0 | 40556 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1909 | 0 | 0 | 6.407485e+02 | -- | Inf
1105.84/1106.34 c 1099s| 1 | 0 | 40688 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k|1916 | 0 | 0 | 6.408859e+02 | -- | Inf
1113.74/1114.24 c 1106s| 1 | 0 | 40930 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k|1921 | 0 | 0 | 6.412036e+02 | -- | Inf
1120.34/1120.80 c 1113s| 1 | 0 | 41118 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1929 | 0 | 0 | 6.413284e+02 | -- | Inf
1126.54/1127.02 c 1119s| 1 | 0 | 41363 | - | 41M| 0 |2246 |3192 | 24k|3192 | 25k|1934 | 0 | 0 | 6.416750e+02 | -- | Inf
1133.23/1133.73 c 1126s| 1 | 0 | 41526 | - | 41M| 0 |2246 |3192 | 24k|3192 | 25k|1941 | 0 | 0 | 6.417889e+02 | -- | Inf
1138.63/1139.19 c 1131s| 1 | 0 | 41716 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1944 | 0 | 0 | 6.419463e+02 | -- | Inf
1145.53/1146.08 c 1138s| 1 | 0 | 41877 | - | 41M| 0 |2241 |3192 | 24k|3192 | 25k|1946 | 0 | 0 | 6.419918e+02 | -- | Inf
1152.52/1153.04 c 1145s| 1 | 0 | 42015 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1952 | 0 | 0 | 6.420751e+02 | -- | Inf
1154.72/1155.28 c 1147s| 1 | 0 | 42266 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1959 | 0 | 0 | 6.422919e+02 | -- | Inf
1157.32/1157.80 c 1150s| 1 | 0 | 42599 | - | 41M| 0 |2241 |3192 | 24k|3192 | 25k|1966 | 0 | 0 | 6.426032e+02 | -- | Inf
1159.81/1160.32 c 1152s| 1 | 0 | 42997 | - | 41M| 0 |2246 |3192 | 24k|3192 | 25k|1972 | 0 | 0 | 6.429278e+02 | -- | Inf
1167.11/1167.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.11/1167.68 c 1160s| 1 | 0 | 43250 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1976 | 0 | 0 | 6.430796e+02 | -- | Inf
1174.01/1174.59 c 1166s| 1 | 0 | 43372 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k|1984 | 0 | 0 | 6.431659e+02 | -- | Inf
1181.01/1181.53 c 1173s| 1 | 0 | 43496 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k|1989 | 0 | 0 | 6.432577e+02 | -- | Inf
1187.91/1188.47 c 1180s| 1 | 0 | 43637 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|1991 | 0 | 0 | 6.434090e+02 | -- | Inf
1195.00/1195.54 c 1187s| 1 | 0 | 43853 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1995 | 0 | 0 | 6.435938e+02 | -- | Inf
1201.50/1202.06 c 1194s| 1 | 0 | 43967 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|1999 | 0 | 0 | 6.438043e+02 | -- | Inf
1208.20/1208.78 c 1200s| 1 | 0 | 44108 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|2001 | 0 | 0 | 6.439402e+02 | -- | Inf
1215.00/1215.52 c 1207s| 1 | 0 | 44234 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2003 | 0 | 0 | 6.440517e+02 | -- | Inf
1221.69/1222.26 c 1214s| 1 | 0 | 44369 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2006 | 0 | 0 | 6.441806e+02 | -- | Inf
1228.10/1228.66 c 1220s| 1 | 0 | 44462 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|2008 | 0 | 0 | 6.442922e+02 | -- | Inf
1234.69/1235.21 c 1227s| 1 | 0 | 44566 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2011 | 0 | 0 | 6.444172e+02 | -- | Inf
1241.18/1241.71 c 1233s| 1 | 0 | 44654 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2014 | 0 | 0 | 6.444673e+02 | -- | Inf
1247.98/1248.56 c 1240s| 1 | 0 | 44826 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|2018 | 0 | 0 | 6.446469e+02 | -- | Inf
1254.68/1255.23 c 1247s| 1 | 0 | 44939 | - | 41M| 0 |2247 |3192 | 24k|3192 | 25k|2021 | 0 | 0 | 6.447068e+02 | -- | Inf
1261.47/1262.00 c 1253s| 1 | 0 | 45093 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|2028 | 0 | 0 | 6.448488e+02 | -- | Inf
1268.67/1269.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.67/1269.20 c 1260s| 1 | 0 | 45270 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2032 | 0 | 0 | 6.450474e+02 | -- | Inf
1275.77/1276.32 c 1268s| 1 | 0 | 45480 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2037 | 0 | 0 | 6.452853e+02 | -- | Inf
1282.56/1283.13 c 1274s| 1 | 0 | 45642 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2040 | 0 | 0 | 6.454434e+02 | -- | Inf
1289.47/1290.03 c 1281s| 1 | 0 | 45788 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|2043 | 0 | 0 | 6.455464e+02 | -- | Inf
1295.96/1296.59 c 1288s| 1 | 0 | 45873 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2048 | 0 | 0 | 6.456497e+02 | -- | Inf
1302.46/1303.00 c 1294s| 1 | 0 | 45913 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2049 | 0 | 0 | 6.457364e+02 | -- | Inf
1309.15/1309.70 c 1301s| 1 | 0 | 46003 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|2051 | 0 | 0 | 6.458190e+02 | -- | Inf
1316.15/1316.72 c 1308s| 1 | 0 | 46114 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2053 | 0 | 0 | 6.458779e+02 | -- | Inf
1322.85/1323.49 c 1314s| 1 | 0 | 46306 | - | 41M| 0 |2244 |3192 | 24k|3192 | 25k|2061 | 0 | 0 | 6.460256e+02 | -- | Inf
1324.86/1325.45 c 1316s| 1 | 0 | 46545 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2064 | 0 | 0 | 6.463270e+02 | -- | Inf
1331.95/1332.52 c 1323s| 1 | 0 | 46785 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|2070 | 0 | 0 | 6.464989e+02 | -- | Inf
1339.15/1339.79 c 1331s| 1 | 0 | 47032 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|2081 | 0 | 0 | 6.466961e+02 | -- | Inf
1346.64/1347.25 c 1338s| 1 | 0 | 47298 | - | 41M| 0 |2257 |3192 | 24k|3192 | 25k|2094 | 0 | 0 | 6.469432e+02 | -- | Inf
1354.14/1354.77 c 1345s| 1 | 0 | 47651 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2100 | 0 | 0 | 6.473440e+02 | -- | Inf
1361.64/1362.28 c 1353s| 1 | 0 | 47936 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|2111 | 0 | 0 | 6.474906e+02 | -- | Inf
1368.84/1369.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.84/1369.40 c 1360s| 1 | 0 | 48123 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|2116 | 0 | 0 | 6.476109e+02 | -- | Inf
1376.03/1376.65 c 1367s| 1 | 0 | 48319 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2121 | 0 | 0 | 6.477339e+02 | -- | Inf
1383.03/1383.60 c 1374s| 1 | 0 | 48438 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2127 | 0 | 0 | 6.477909e+02 | -- | Inf
1390.22/1390.86 c 1381s| 1 | 0 | 48554 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|2131 | 0 | 0 | 6.479005e+02 | -- | Inf
1397.62/1398.26 c 1389s| 1 | 0 | 48778 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|2136 | 0 | 0 | 6.481591e+02 | -- | Inf
1404.42/1405.08 c 1395s| 1 | 0 | 48877 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|2139 | 0 | 0 | 6.482349e+02 | -- | Inf
1411.51/1412.16 c 1402s| 1 | 0 | 49043 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|2144 | 0 | 0 | 6.484027e+02 | -- | Inf
1418.51/1419.17 c 1409s| 1 | 0 | 49149 | - | 41M| 0 |2246 |3192 | 24k|3192 | 25k|2147 | 0 | 0 | 6.484332e+02 | -- | Inf
1420.52/1421.13 c 1411s| 1 | 0 | 49390 | - | 41M| 0 |2246 |3192 | 24k|3192 | 25k|2153 | 0 | 0 | 6.488125e+02 | -- | Inf
1428.21/1428.90 c 1419s| 1 | 0 | 49654 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|2160 | 0 | 0 | 6.490043e+02 | -- | Inf
1430.51/1431.11 c 1421s| 1 | 0 | 49969 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2170 | 0 | 0 | 6.493036e+02 | -- | Inf
1437.50/1438.15 c 1428s| 1 | 0 | 50105 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2177 | 0 | 0 | 6.495747e+02 | -- | Inf
1444.80/1445.43 c 1436s| 1 | 0 | 50328 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2185 | 0 | 0 | 6.498035e+02 | -- | Inf
1451.50/1452.17 c 1442s| 1 | 0 | 50429 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|2191 | 0 | 0 | 6.499510e+02 | -- | Inf
1458.60/1459.24 c 1449s| 1 | 0 | 50516 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2194 | 0 | 0 | 6.499949e+02 | -- | Inf
1466.09/1466.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.09/1466.75 c 1457s| 1 | 0 | 50686 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|2198 | 0 | 0 | 6.500821e+02 | -- | Inf
1473.09/1473.79 c 1464s| 1 | 0 | 50825 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|2203 | 0 | 0 | 6.501952e+02 | -- | Inf
1480.48/1481.16 c 1471s| 1 | 0 | 51043 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2208 | 0 | 0 | 6.503548e+02 | -- | Inf
1487.38/1488.01 c 1478s| 1 | 0 | 51190 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2212 | 0 | 0 | 6.504185e+02 | -- | Inf
1494.78/1495.41 c 1485s| 1 | 0 | 51322 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2218 | 0 | 0 | 6.505647e+02 | -- | Inf
1501.48/1502.14 c 1492s| 1 | 0 | 51403 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2220 | 0 | 0 | 6.506148e+02 | -- | Inf
1508.37/1509.06 c 1499s| 1 | 0 | 51546 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2223 | 0 | 0 | 6.506782e+02 | -- | Inf
1515.87/1516.53 c 1506s| 1 | 0 | 51745 | - | 41M| 0 |2240 |3192 | 24k|3192 | 25k|2230 | 0 | 0 | 6.508846e+02 | -- | Inf
1521.36/1522.08 c 1512s| 1 | 0 | 51914 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2234 | 0 | 0 | 6.510745e+02 | -- | Inf
1528.87/1529.55 c 1519s| 1 | 0 | 52002 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2238 | 0 | 0 | 6.512170e+02 | -- | Inf
1536.86/1537.56 c 1527s| 1 | 0 | 52166 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|2241 | 0 | 0 | 6.513539e+02 | -- | Inf
1544.56/1545.24 c 1535s| 1 | 0 | 52274 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|2245 | 0 | 0 | 6.513971e+02 | -- | Inf
1551.96/1552.67 c 1542s| 1 | 0 | 52406 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|2251 | 0 | 0 | 6.514811e+02 | -- | Inf
1559.35/1560.01 c 1549s| 1 | 0 | 52496 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|2256 | 0 | 0 | 6.516041e+02 | -- | Inf
1566.76/1567.48 c 1557s| 1 | 0 | 52618 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|2258 | 0 | 0 | 6.517475e+02 | -- | Inf
1574.25/1574.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.25/1574.99 c 1564s| 1 | 0 | 52767 | - | 41M| 0 |2238 |3192 | 24k|3192 | 25k|2262 | 0 | 0 | 6.519788e+02 | -- | Inf
1581.94/1582.62 c 1572s| 1 | 0 | 52886 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2264 | 0 | 0 | 6.521311e+02 | -- | Inf
1589.54/1590.21 c 1579s| 1 | 0 | 53088 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2269 | 0 | 0 | 6.524053e+02 | -- | Inf
1597.04/1597.80 c 1587s| 1 | 0 | 53188 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|2274 | 0 | 0 | 6.525457e+02 | -- | Inf
1604.94/1605.68 c 1595s| 1 | 0 | 53330 | - | 41M| 0 |2236 |3192 | 24k|3192 | 25k|2279 | 0 | 0 | 6.526790e+02 | -- | Inf
1607.04/1607.70 c 1597s| 1 | 0 | 53535 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k|2282 | 0 | 0 | 6.530122e+02 | -- | Inf
1614.83/1615.51 c 1605s| 1 | 0 | 53654 | - | 41M| 0 |2248 |3192 | 24k|3192 | 25k|2288 | 0 | 0 | 6.531561e+02 | -- | Inf
1622.84/1623.55 c 1613s| 1 | 0 | 53805 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|2295 | 0 | 0 | 6.533767e+02 | -- | Inf
1624.83/1625.55 c 1615s| 1 | 0 | 53990 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2300 | 0 | 0 | 6.536132e+02 | -- | Inf
1633.12/1633.81 c 1623s| 1 | 0 | 54239 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2305 | 0 | 0 | 6.538520e+02 | -- | Inf
1641.22/1641.92 c 1631s| 1 | 0 | 54402 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|2310 | 0 | 0 | 6.540969e+02 | -- | Inf
1648.81/1649.52 c 1638s| 1 | 0 | 54525 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2315 | 0 | 0 | 6.542527e+02 | -- | Inf
1656.21/1656.97 c 1646s| 1 | 0 | 54613 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2320 | 0 | 0 | 6.545358e+02 | -- | Inf
1663.71/1664.41 c 1653s| 1 | 0 | 54713 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2323 | 0 | 0 | 6.546041e+02 | -- | Inf
1670.81/1671.52 c 1660s| 1 | 0 | 54805 | - | 41M| 0 |2246 |3192 | 24k|3192 | 25k|2328 | 0 | 0 | 6.546669e+02 | -- | Inf
1678.80/1679.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.80/1679.50 c 1668s| 1 | 0 | 55044 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|2336 | 0 | 0 | 6.548576e+02 | -- | Inf
1686.81/1687.54 c 1676s| 1 | 0 | 55352 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2342 | 0 | 0 | 6.551788e+02 | -- | Inf
1694.59/1695.32 c 1684s| 1 | 0 | 55518 | - | 41M| 0 |2247 |3192 | 24k|3192 | 25k|2347 | 0 | 0 | 6.553024e+02 | -- | Inf
1696.89/1697.65 c 1686s| 1 | 0 | 55738 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|2351 | 0 | 0 | 6.555379e+02 | -- | Inf
1705.10/1705.84 c 1694s| 1 | 0 | 55983 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2357 | 0 | 0 | 6.556968e+02 | -- | Inf
1713.39/1714.19 c 1703s| 1 | 0 | 56274 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2370 | 0 | 0 | 6.559952e+02 | -- | Inf
1721.19/1721.99 c 1710s| 1 | 0 | 56498 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|2374 | 0 | 0 | 6.561087e+02 | -- | Inf
1728.89/1729.61 c 1718s| 1 | 0 | 56797 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|2380 | 0 | 0 | 6.563605e+02 | -- | Inf
1736.78/1737.50 c 1726s| 1 | 0 | 56939 | - | 41M| 0 |2253 |3192 | 24k|3192 | 25k|2390 | 0 | 0 | 6.563990e+02 | -- | Inf
1744.58/1745.34 c 1734s| 1 | 0 | 57148 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2399 | 0 | 0 | 6.566194e+02 | -- | Inf
1752.06/1752.89 c 1741s| 1 | 0 | 57337 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2408 | 0 | 0 | 6.568512e+02 | -- | Inf
1760.37/1761.14 c 1749s| 1 | 0 | 57483 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2416 | 0 | 0 | 6.570487e+02 | -- | Inf
1768.16/1768.90 c 1757s| 1 | 0 | 57671 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2422 | 0 | 0 | 6.572447e+02 | -- | Inf
1775.76/1776.52 c 1765s| 1 | 0 | 57832 | - | 41M| 0 |2256 |3192 | 24k|3192 | 25k|2430 | 0 | 0 | 6.574407e+02 | -- | Inf
1783.05/1783.80 c 1772s| 1 | 0 | 57903 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2432 | 0 | 0 | 6.574895e+02 | -- | Inf
1785.66/1786.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1785.66/1786.45 c 1774s| 1 | 0 | 58125 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2437 | 0 | 0 | 6.577777e+02 | -- | Inf
1793.36/1794.11 c 1782s| 1 | 0 | 58219 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2440 | 0 | 0 | 6.578065e+02 | -- | Inf
1800.05/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.54/1801.31 c 1789s| 1 | 0 | 58331 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2442 | 0 | 0 | 6.578395e+02 | -- | Inf
1800.54/1801.32 c 1789s| 1 | 2 | 58331 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k|2442 | 0 | 0 | 6.578395e+02 | -- | Inf
1800.54/1801.32 c
1800.54/1801.32 c SCIP Status : solving was interrupted [user interrupt]
1800.54/1801.32 c Solving Time (sec) : 1789.26
1800.54/1801.32 c Solving Nodes : 1
1800.54/1801.32 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.54/1801.32 c Dual Bound : +6.57839453335818e+02
1800.54/1801.32 c Gap : infinite
1800.54/1801.32 s UNKNOWN
1800.54/1801.32 c SCIP Status : solving was interrupted [user interrupt]
1800.54/1801.32 c Solving Time : 1789.26
1800.54/1801.32 c Original Problem :
1800.54/1801.32 c Problem name : HOME/instance-2665649-1276457510.opb
1800.54/1801.32 c Variables : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.54/1801.32 c Constraints : 24883 initial, 24883 maximal
1800.54/1801.32 c Presolved Problem :
1800.54/1801.32 c Problem name : t_HOME/instance-2665649-1276457510.opb
1800.54/1801.32 c Variables : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.54/1801.32 c Constraints : 24871 initial, 24871 maximal
1800.54/1801.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.54/1801.32 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.54/1801.32 c dualfix : 0.00 12 0 0 0 0 0 0 0
1800.54/1801.32 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.54/1801.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.54/1801.32 c implics : 0.00 0 0 0 0 0 0 0 0
1800.54/1801.32 c probing : 3.43 0 0 0 0 0 0 0 0
1800.54/1801.32 c linear : 0.25 0 0 0 0 0 12 0 0
1800.54/1801.32 c logicor : 0.12 0 0 0 0 0 0 0 0
1800.54/1801.32 c root node : - 0 - - 0 - - - -
1800.54/1801.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.54/1801.32 c integral : 0 0 0 1 0 0 0 0 0 2
1800.54/1801.32 c logicor : 24871 287 5179 0 0 0 0 0 0 0
1800.54/1801.32 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.54/1801.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.54/1801.32 c integral : 0.01 0.00 0.00 0.01 0.00
1800.54/1801.32 c logicor : 3.28 1.86 1.42 0.00 0.00
1800.54/1801.32 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.54/1801.32 c Propagators : Time Calls Cutoffs DomReds
1800.54/1801.32 c vbounds : 0.00 2 0 0
1800.54/1801.32 c rootredcost : 0.00 0 0 0
1800.54/1801.32 c pseudoobj : 0.06 283 0 0
1800.54/1801.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.54/1801.32 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.54/1801.32 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.54/1801.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.54/1801.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.54/1801.32 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.54/1801.32 c applied globally : - - - 0 0.0 - - -
1800.54/1801.32 c applied locally : - - - 0 0.0 - - -
1800.54/1801.32 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.54/1801.32 c cut pool : 0.35 286 - - 2758 - (maximal pool size: 2966)
1800.54/1801.32 c redcost : 0.09 287 0 0 0 0
1800.54/1801.32 c impliedbounds : 2.15 287 0 0 1756 0
1800.54/1801.32 c intobj : 0.00 0 0 0 0 0
1800.54/1801.32 c cgmip : 0.00 0 0 0 0 0
1800.54/1801.32 c gomory : 1550.17 287 0 0 29549 0
1800.54/1801.32 c strongcg : 8.54 20 0 0 10000 0
1800.54/1801.32 c cmir : 6.06 10 0 0 0 0
1800.54/1801.32 c flowcover : 5.79 10 0 0 0 0
1800.54/1801.32 c clique : 4.62 286 0 0 1747 0
1800.54/1801.32 c zerohalf : 0.00 0 0 0 0 0
1800.54/1801.32 c mcf : 0.39 1 0 0 0 0
1800.54/1801.32 c rapidlearning : 0.00 0 0 0 0 0
1800.54/1801.32 c Pricers : Time Calls Vars
1800.54/1801.32 c problem variables: 0.00 0 0
1800.54/1801.32 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.54/1801.32 c relpscost : 0.01 1 0 0 0 0 2
1800.54/1801.32 c pscost : 0.00 0 0 0 0 0 0
1800.54/1801.32 c inference : 0.00 0 0 0 0 0 0
1800.54/1801.32 c mostinf : 0.00 0 0 0 0 0 0
1800.54/1801.32 c leastinf : 0.00 0 0 0 0 0 0
1800.54/1801.32 c fullstrong : 0.00 0 0 0 0 0 0
1800.54/1801.32 c allfullstrong : 0.00 0 0 0 0 0 0
1800.54/1801.32 c random : 0.00 0 0 0 0 0 0
1800.54/1801.32 c Primal Heuristics : Time Calls Found
1800.54/1801.32 c LP solutions : 0.00 - 0
1800.54/1801.32 c pseudo solutions : 0.00 - 0
1800.54/1801.32 c oneopt : 0.00 0 0
1800.54/1801.32 c crossover : 0.00 0 0
1800.54/1801.32 c trivial : 0.03 2 0
1800.54/1801.32 c simplerounding : 0.00 0 0
1800.54/1801.32 c zirounding : 0.00 1 0
1800.54/1801.32 c rounding : 1.41 100 0
1800.54/1801.32 c shifting : 10.23 100 0
1800.54/1801.32 c intshifting : 0.00 0 0
1800.54/1801.32 c twoopt : 0.00 0 0
1800.54/1801.32 c fixandinfer : 0.00 0 0
1800.54/1801.32 c feaspump : 0.20 1 0
1800.54/1801.32 c coefdiving : 0.00 0 0
1800.54/1801.32 c pscostdiving : 0.00 0 0
1800.54/1801.32 c fracdiving : 0.00 0 0
1800.54/1801.32 c veclendiving : 0.00 0 0
1800.54/1801.32 c intdiving : 0.00 0 0
1800.54/1801.32 c actconsdiving : 0.00 0 0
1800.54/1801.32 c objpscostdiving : 0.00 0 0
1800.54/1801.32 c rootsoldiving : 0.00 0 0
1800.54/1801.32 c linesearchdiving : 0.00 0 0
1800.54/1801.32 c guideddiving : 0.00 0 0
1800.54/1801.32 c octane : 0.00 0 0
1800.54/1801.32 c rens : 0.00 0 0
1800.54/1801.32 c rins : 0.00 0 0
1800.54/1801.32 c localbranching : 0.00 0 0
1800.54/1801.32 c mutation : 0.00 0 0
1800.54/1801.32 c dins : 0.00 0 0
1800.54/1801.32 c undercover : 0.00 0 0
1800.54/1801.32 c nlp : 0.00 0 0
1800.54/1801.32 c trysol : 0.00 0 0
1800.54/1801.32 c LP : Time Calls Iterations Iter/call Iter/sec
1800.54/1801.32 c primal LP : 1.65 0 0 0.00 0.00
1800.54/1801.32 c dual LP : 187.95 288 58331 202.54 310.35
1800.54/1801.32 c lex dual LP : 0.00 0 0 0.00 -
1800.54/1801.32 c barrier LP : 0.00 0 0 0.00 -
1800.54/1801.32 c diving/probing LP: 0.10 0 0 0.00 0.00
1800.54/1801.32 c strong branching : 0.00 0 0 0.00 -
1800.54/1801.32 c (at root node) : - 0 0 0.00 -
1800.54/1801.32 c conflict analysis: 0.00 0 0 0.00 -
1800.54/1801.32 c B&B Tree :
1800.54/1801.32 c number of runs : 1
1800.54/1801.32 c nodes : 1
1800.54/1801.32 c nodes (total) : 1
1800.54/1801.32 c nodes left : 2
1800.54/1801.32 c max depth : 0
1800.54/1801.32 c max depth (total): 0
1800.54/1801.32 c backtracks : 0 (0.0%)
1800.54/1801.32 c delayed cutoffs : 0
1800.54/1801.32 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.54/1801.32 c avg switch length: 1.00
1800.54/1801.32 c switching time : 0.00
1800.54/1801.32 c Solution :
1800.54/1801.32 c Solutions found : 0 (0 improvements)
1800.54/1801.32 c Primal Bound : -
1800.54/1801.32 c Dual Bound : +6.57839453335818e+02
1800.54/1801.32 c Gap : infinite
1800.54/1801.32 c Root Dual Bound : +6.57839453335818e+02
1800.54/1801.32 c Root Iterations : 58331
1800.75/1801.50 c Time complete: 1800.75.