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-2693499-1277907347.wbo>
0.00/0.03 c original problem has 3905 variables (2068 bin, 0 int, 0 impl, 1837 cont) and 4545 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.00/0.08 c (round 2) 0 del vars, 61 del conss, 1837 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.08/0.09 c (round 3) 45 del vars, 131 del conss, 1851 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.09/0.10 c (round 4) 104 del vars, 146 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 0 upgd conss, 1967 impls, 5 clqs
0.09/0.11 c (round 5) 119 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 1967 impls, 5 clqs
0.09/0.12 c (round 6) 120 del vars, 147 del conss, 1852 chg bounds, 71 chg sides, 0 chg coeffs, 844 upgd conss, 1967 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2008 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 120 deleted vars, 147 deleted constraints, 1852 tightened bounds, 0 added holes, 71 changed sides, 0 changed coefficients
0.09/0.17 c 1967 implications, 5 cliques
0.09/0.17 c presolved problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4398 constraints
0.09/0.17 c 1777 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1777 constraints of type <linear>
0.09/0.17 c 839 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 9 | - | 13M| 0 | 3 |3785 |4398 |3785 | 844 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 90383
0.09/0.19 c y 0.1s| 1 | 0 | 9 | - | 14M| 0 | 3 |3785 |4398 |3785 | 844 | 0 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.19/0.21 c 0.1s| 1 | 0 | 52 | - | 14M| 0 | 36 |3785 |4398 |3785 | 867 | 23 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 239 | - | 14M| 0 | 18 |3785 |4398 |3785 | 895 | 51 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.29/0.39 c 0.3s| 1 | 0 | 1074 | - | 14M| 0 | 69 |3785 |4398 |3785 | 915 | 71 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.49/0.56 c 0.5s| 1 | 0 | 2005 | - | 15M| 0 | 73 |3785 |4398 |3785 | 999 | 155 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.59/0.69 c 0.6s| 1 | 0 | 2453 | - | 16M| 0 | 121 |3785 |4398 |3785 |1059 | 215 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.79/0.85 c 0.8s| 1 | 0 | 3026 | - | 16M| 0 | 127 |3785 |4398 |3785 |1104 | 260 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
0.89/0.98 c 0.9s| 1 | 0 | 3278 | - | 16M| 0 | 149 |3785 |4398 |3785 |1137 | 293 | 0 | 0 | 0.000000e+00 | 9.038300e+04 | Inf
5.19/5.27 c 5.1s| 1 | 2 | 3278 | - | 16M| 0 | 149 |3785 |4398 |3785 |1137 | 293 | 0 | 33 | 0.000000e+00 | 9.038300e+04 | Inf
63.60/63.70 c 62.2s| 10000 | 9973 |250821 | 24.8 | 41M| 147 | 0 |3785 |4416 |3785 |1209 | 14k| 19 | 563 | 0.000000e+00 | 9.038300e+04 | Inf
86.09/86.17 c 84.0s| 20000 | 19965 |337580 | 16.7 | 59M| 147 | 0 |3785 |4421 |3785 |1221 | 22k| 28 | 711 | 0.000000e+00 | 9.038300e+04 | Inf
111.79/111.86 c 109s| 30000 | 29951 |450509 | 14.9 | 78M| 147 | 0 |3785 |4426 |3785 |1202 | 30k| 36 | 862 | 0.000000e+00 | 9.038300e+04 | Inf
137.70/137.73 c 134s| 40000 | 39937 |568269 | 14.1 | 96M| 147 | 0 |3785 |4435 |3785 |1166 | 38k| 55 | 999 | 0.000000e+00 | 9.038300e+04 | Inf
160.69/160.79 c 156s| 50000 | 49929 |664424 | 13.2 | 115M| 161 | 0 |3785 |4426 |3785 |1223 | 47k| 60 |1148 | 0.000000e+00 | 9.038300e+04 | Inf
176.69/176.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.69/176.71 c 172s| 60000 | 59917 |701927 | 11.6 | 133M| 165 | 0 |3785 |4431 |3785 |1203 | 50k| 68 |1159 | 0.000000e+00 | 9.038300e+04 | Inf
190.40/190.40 o 887
190.40/190.40 c * 185s| 67308 | 47334 |749382 | 11.1 | 112M| 167 | - |3785 |4429 |3785 |1165 | 54k| 73 |1187 | 0.000000e+00 | 8.870000e+02 | Inf
198.90/198.93 o 883
198.90/198.93 c * 193s| 69090 | 48720 |802215 | 11.6 | 116M| 167 | - |3785 |4933 |3785 |1200 | 60k| 647 |1261 | 0.000000e+00 | 8.830000e+02 | Inf
198.90/198.98 o 843
198.90/198.98 c * 193s| 69106 | 46736 |802344 | 11.6 | 113M| 167 | - |3785 |4943 |3785 |1208 | 60k| 659 |1261 | 0.000000e+00 | 8.430000e+02 | Inf
199.30/199.31 o 816
199.30/199.31 c * 194s| 69236 | 45185 |802892 | 11.5 | 111M| 167 | - |3785 |5040 |3785 |1210 | 60k| 783 |1261 | 0.000000e+00 | 8.160000e+02 | Inf
199.30/199.37 o 786
199.30/199.37 c * 194s| 69252 | 43179 |803039 | 11.5 | 107M| 167 | - |3785 |5055 |3785 |1208 | 60k| 806 |1261 | 0.000000e+00 | 7.860000e+02 | Inf
199.30/199.38 o 752
199.30/199.38 c * 194s| 69253 | 40892 |803039 | 11.5 | 103M| 167 | - |3785 |5054 |3785 |1208 | 60k| 806 |1261 | 0.000000e+00 | 7.520000e+02 | Inf
199.60/199.61 o 713
199.60/199.61 c * 194s| 69332 | 38050 |803848 | 11.5 | 98M| 167 | - |3785 |5118 |3785 |1204 | 60k| 888 |1261 | 0.000000e+00 | 7.130000e+02 | Inf
199.89/199.94 o 686
199.89/199.94 c * 194s| 69488 | 35920 |804282 | 11.5 | 95M| 167 | - |3785 |5264 |3785 |1202 | 60k|1081 |1261 | 0.000000e+00 | 6.860000e+02 | Inf
200.00/200.03 o 663
200.00/200.03 c * 194s| 69517 | 34058 |804366 | 11.5 | 91M| 167 | - |3785 |5299 |3785 |1202 | 60k|1134 |1261 | 0.000000e+00 | 6.630000e+02 | Inf
200.69/200.72 o 632
200.69/200.72 c * 195s| 69854 | 31683 |805683 | 11.5 | 87M| 167 | - |3785 |5537 |3785 |1208 | 60k|1479 |1261 | 0.000000e+00 | 6.320000e+02 | Inf
200.89/200.98 c 195s| 70000 | 31715 |806033 | 11.5 | 87M| 167 | - |3785 |5543 | 0 | 0 | 60k|1631 |1261 | 0.000000e+00 | 6.320000e+02 | Inf
203.41/203.41 o 631
203.41/203.41 c * 198s| 70597 | 31998 |820067 | 11.6 | 88M| 167 | - |3785 |5420 |3785 |1209 | 61k|1963 |1261 | 0.000000e+00 | 6.310000e+02 | Inf
203.70/203.79 o 608
203.70/203.79 c * 198s| 70705 | 30367 |822423 | 11.6 | 85M| 167 | - |3785 |5480 |3785 |1207 | 61k|2046 |1261 | 0.000000e+00 | 6.080000e+02 | Inf
203.79/203.82 o 582
203.79/203.82 c * 198s| 70709 | 28496 |822445 | 11.6 | 82M| 167 | - |3785 |5488 |3785 |1209 | 61k|2054 |1261 | 0.000000e+00 | 5.820000e+02 | Inf
230.39/230.46 o 561
230.39/230.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.39/230.46 c * 224s| 76872 | 31822 |983835 | 12.8 | 91M| 167 | - |3785 |5404 |3785 |1205 | 71k|4666 |1263 | 0.000000e+00 | 5.610000e+02 | Inf
230.50/230.53 o 529
230.50/230.53 c * 224s| 76891 | 29691 |983918 | 12.8 | 87M| 167 | - |3785 |5406 |3785 |1208 | 71k|4679 |1263 | 0.000000e+00 | 5.290000e+02 | Inf
235.40/235.48 o 504
235.40/235.48 c * 229s| 77754 | 28570 | 1019k| 13.1 | 85M| 167 | - |3785 |5479 |3785 |1200 | 73k|5107 |1263 | 0.000000e+00 | 5.040000e+02 | Inf
245.21/245.20 c 238s| 80000 | 29876 | 1078k| 13.4 | 88M| 167 | 0 |3785 |5634 |3785 |1248 | 76k|6591 |1263 | 0.000000e+00 | 5.040000e+02 | Inf
251.30/251.37 o 503
251.30/251.37 c * 244s| 81132 | 30557 | 1119k| 13.8 | 90M| 167 | - |3785 |5613 |3785 |1194 | 78k|7236 |1263 | 0.000000e+00 | 5.030000e+02 | Inf
251.91/251.97 o 490
251.91/251.97 c * 245s| 81176 | 29602 | 1122k| 13.8 | 88M| 167 | - |3785 |5603 |3785 |1193 | 78k|7266 |1272 | 0.000000e+00 | 4.900000e+02 | Inf
266.29/266.35 o 474
266.29/266.35 c * 259s| 83638 | 29983 | 1216k| 14.5 | 90M| 167 | - |3785 |5723 |3785 |1201 | 84k|8797 |1297 | 0.000000e+00 | 4.740000e+02 | Inf
269.10/269.17 o 440
269.10/269.17 c * 261s| 84239 | 27926 | 1231k| 14.6 | 85M| 167 | - |3785 |5762 |3785 |1201 | 85k|9227 |1318 | 0.000000e+00 | 4.400000e+02 | Inf
277.10/277.17 o 417
277.10/277.17 c * 269s| 86285 | 27997 | 1275k| 14.7 | 85M| 167 | - |3785 |5673 |3785 |1200 | 88k| 10k|1327 | 0.000000e+00 | 4.170000e+02 | Inf
277.20/277.23 o 400
277.20/277.23 c * 269s| 86312 | 26713 | 1275k| 14.7 | 82M| 167 | - |3785 |5692 |3785 |1200 | 88k| 10k|1327 | 0.000000e+00 | 4.000000e+02 | Inf
277.20/277.27 o 377
277.20/277.27 c * 269s| 86325 | 24934 | 1275k| 14.7 | 78M| 167 | - |3785 |5699 |3785 |1201 | 88k| 10k|1327 | 0.000000e+00 | 3.770000e+02 | Inf
277.80/277.80 o 370
277.80/277.80 c * 270s| 86614 | 24676 | 1276k| 14.7 | 78M| 167 | - |3785 |5786 |3785 |1192 | 88k| 10k|1327 | 0.000000e+00 | 3.700000e+02 | Inf
278.99/279.00 o 368
278.99/279.00 c * 271s| 86908 | 24709 | 1282k| 14.7 | 78M| 167 | - |3785 |5817 |3785 |1213 | 88k| 10k|1327 | 0.000000e+00 | 3.680000e+02 | Inf
291.29/291.31 c 283s| 90000 | 26929 | 1348k| 14.9 | 84M| 167 | 0 |3785 |5759 |3785 |1194 | 92k| 12k|1371 | 0.000000e+00 | 3.680000e+02 | Inf
291.79/291.85 o 365
291.79/291.85 c * 283s| 90138 | 26825 | 1351k| 15.0 | 84M| 167 | - |3785 |5783 |3785 |1168 | 92k| 12k|1371 | 0.000000e+00 | 3.650000e+02 | Inf
295.49/295.58 o 362
295.49/295.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.49/295.58 c * 287s| 91100 | 27071 | 1372k| 15.0 | 86M| 167 | - |3785 |5792 |3785 |1218 | 94k| 12k|1371 | 0.000000e+00 | 3.620000e+02 | Inf
299.00/299.06 o 359
299.00/299.06 c * 290s| 91926 | 27541 | 1391k| 15.1 | 87M| 167 | - |3785 |5612 |3785 |1218 | 95k| 13k|1372 | 0.000000e+00 | 3.590000e+02 | Inf
299.50/299.58 o 341
299.50/299.58 c * 291s| 92149 | 26156 | 1393k| 15.1 | 84M| 167 | - |3785 |5707 |3785 |1208 | 95k| 13k|1372 | 0.000000e+00 | 3.410000e+02 | Inf
300.89/301.00 o 338
300.89/301.00 c * 292s| 92491 | 26115 | 1401k| 15.1 | 84M| 167 | - |3785 |5667 |3785 |1184 | 96k| 13k|1372 | 0.000000e+00 | 3.380000e+02 | Inf
305.71/305.74 o 336
305.71/305.74 c * 297s| 93574 | 26616 | 1427k| 15.2 | 86M| 167 | - |3785 |5547 |3785 |1165 | 97k| 14k|1387 | 0.000000e+00 | 3.360000e+02 | Inf
307.10/307.14 o 322
307.10/307.14 c * 298s| 94086 | 25742 | 1432k| 15.2 | 84M| 167 | - |3785 |5629 |3785 |1179 | 97k| 14k|1399 | 0.000000e+00 | 3.220000e+02 | Inf
307.10/307.15 o 304
307.10/307.15 c * 298s| 94087 | 24337 | 1432k| 15.2 | 80M| 167 | - |3785 |5629 |3785 |1179 | 97k| 14k|1399 | 0.000000e+00 | 3.040000e+02 | Inf
315.50/315.52 o 299
315.50/315.52 c * 306s| 96314 | 25279 | 1475k| 15.3 | 85M| 167 | - |3785 |5880 |3785 |1204 | 100k| 16k|1422 | 0.000000e+00 | 2.990000e+02 | Inf
315.50/315.53 o 297
315.50/315.53 c * 306s| 96315 | 25148 | 1475k| 15.3 | 84M| 167 | - |3785 |5880 |3785 |1204 | 100k| 16k|1422 | 0.000000e+00 | 2.970000e+02 | Inf
319.80/319.82 o 291
319.80/319.82 c * 310s| 97241 | 25239 | 1500k| 15.4 | 85M| 167 | - |3785 |5966 |3785 |1194 | 101k| 16k|1422 | 0.000000e+00 | 2.910000e+02 | Inf
333.10/333.13 o 287
333.10/333.13 c * 323s| 99528 | 26235 | 1584k| 15.9 | 90M| 167 | - |3785 |6017 |3785 |1204 | 105k| 18k|1472 | 0.000000e+00 | 2.870000e+02 | Inf
333.21/333.23 o 284
333.21/333.23 c * 323s| 99576 | 26007 | 1584k| 15.9 | 90M| 167 | - |3785 |6032 |3785 |1186 | 105k| 18k|1472 | 0.000000e+00 | 2.840000e+02 | Inf
333.21/333.23 o 276
333.21/333.23 c * 323s| 99577 | 25278 | 1584k| 15.9 | 87M| 167 | - |3785 |6032 |3785 |1186 | 105k| 18k|1472 | 0.000000e+00 | 2.760000e+02 | Inf
334.10/334.14 o 269
334.10/334.14 c * 324s| 99822 | 24834 | 1589k| 15.9 | 86M| 167 | - |3785 |6011 |3785 |1197 | 105k| 18k|1472 | 0.000000e+00 | 2.690000e+02 | Inf
334.10/334.17 o 263
334.10/334.17 c * 324s| 99832 | 24313 | 1589k| 15.9 | 84M| 167 | - |3785 |6011 |3785 |1196 | 105k| 18k|1472 | 0.000000e+00 | 2.630000e+02 | Inf
334.10/334.18 o 262
334.10/334.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.10/334.18 c * 324s| 99837 | 24230 | 1589k| 15.9 | 84M| 167 | - |3785 |6011 |3785 |1196 | 105k| 18k|1472 | 0.000000e+00 | 2.620000e+02 | Inf
334.10/334.19 o 254
334.10/334.19 c * 324s| 99838 | 23531 | 1589k| 15.9 | 82M| 167 | - |3785 |6011 |3785 |1196 | 105k| 18k|1472 | 0.000000e+00 | 2.540000e+02 | Inf
334.80/334.84 c 325s|100000 | 23616 | 1592k| 15.9 | 82M| 167 | 0 |3785 |6076 |3785 |1194 | 105k| 18k|1472 | 0.000000e+00 | 2.540000e+02 | Inf
335.80/335.89 o 251
335.80/335.89 c * 326s|100158 | 23455 | 1599k| 15.9 | 82M| 167 | - |3785 |6026 |3785 |1119 | 106k| 18k|1472 | 0.000000e+00 | 2.510000e+02 | Inf
336.80/336.84 o 245
336.80/336.84 c * 327s|100513 | 23214 | 1603k| 15.9 | 82M| 167 | - |3785 |6038 |3785 |1200 | 106k| 18k|1472 | 0.000000e+00 | 2.450000e+02 | Inf
336.80/336.85 o 244
336.80/336.85 c * 327s|100517 | 23118 | 1603k| 15.9 | 82M| 167 | - |3785 |6038 |3785 |1200 | 106k| 18k|1472 | 0.000000e+00 | 2.440000e+02 | Inf
336.80/336.86 o 236
336.80/336.86 c * 327s|100518 | 22423 | 1603k| 15.9 | 80M| 167 | - |3785 |6038 |3785 |1200 | 106k| 18k|1472 | 0.000000e+00 | 2.360000e+02 | Inf
344.10/344.15 o 232
344.10/344.15 c * 334s|101687 | 22730 | 1652k| 16.2 | 82M| 167 | - |3785 |5756 |3785 |1201 | 108k| 19k|1481 | 0.000000e+00 | 2.320000e+02 | Inf
344.60/344.64 o 231
344.60/344.64 c * 334s|101764 | 22662 | 1655k| 16.2 | 82M| 167 | - |3785 |5741 |3785 |1196 | 108k| 19k|1490 | 0.000000e+00 | 2.310000e+02 | Inf
344.60/344.64 o 222
344.60/344.64 c * 334s|101765 | 21888 | 1655k| 16.2 | 79M| 167 | - |3785 |5741 |3785 |1196 | 108k| 19k|1490 | 0.000000e+00 | 2.220000e+02 | Inf
350.50/350.59 o 216
350.50/350.59 c * 340s|102945 | 21941 | 1689k| 16.4 | 81M| 167 | - |3785 |5923 |3785 |1138 | 110k| 20k|1521 | 0.000000e+00 | 2.160000e+02 | Inf
351.00/351.08 o 215
351.00/351.08 c * 341s|103049 | 21882 | 1692k| 16.4 | 81M| 167 | - |3785 |5924 |3785 |1174 | 110k| 20k|1521 | 0.000000e+00 | 2.150000e+02 | Inf
366.40/366.41 o 214
366.40/366.41 c * 356s|105817 | 23104 | 1789k| 16.9 | 88M| 167 | - |3785 |6268 |3785 |1160 | 116k| 23k|1564 | 0.000000e+00 | 2.140000e+02 | Inf
367.60/367.69 o 209
367.60/367.69 c * 357s|106082 | 22693 | 1796k| 16.9 | 88M| 167 | - |3785 |6261 |3785 |1150 | 117k| 23k|1576 | 0.000000e+00 | 2.090000e+02 | Inf
369.20/369.22 o 200
369.20/369.22 c * 358s|106429 | 21864 | 1805k| 16.9 | 85M| 167 | - |3785 |6357 |3785 |1215 | 118k| 23k|1577 | 0.000000e+00 | 2.000000e+02 | Inf
369.20/369.22 o 184
369.20/369.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.20/369.22 c * 358s|106430 | 19861 | 1805k| 16.9 | 78M| 167 | - |3785 |6357 |3785 |1215 | 118k| 23k|1577 | 0.000000e+00 | 1.840000e+02 | Inf
369.51/369.53 o 176
369.51/369.53 c * 359s|106491 | 18919 | 1808k| 16.9 | 75M| 167 | - |3785 |6339 |3785 |1234 | 118k| 23k|1578 | 0.000000e+00 | 1.760000e+02 | Inf
369.51/369.58 o 175
369.51/369.58 c * 359s|106505 | 18817 | 1808k| 16.9 | 75M| 167 | - |3785 |6343 |3785 |1237 | 118k| 23k|1578 | 0.000000e+00 | 1.750000e+02 | Inf
369.70/369.71 o 169
369.70/369.71 c * 359s|106537 | 18119 | 1808k| 16.9 | 73M| 167 | - |3785 |6343 |3785 |1209 | 118k| 23k|1578 | 0.000000e+00 | 1.690000e+02 | Inf
369.80/369.87 o 166
369.80/369.87 c * 359s|106583 | 17893 | 1809k| 16.9 | 72M| 167 | - |3785 |6370 |3785 |1218 | 118k| 23k|1578 | 0.000000e+00 | 1.660000e+02 | Inf
370.10/370.17 o 162
370.10/370.17 c * 359s|106644 | 17466 | 1810k| 17.0 | 71M| 167 | - |3785 |6334 |3785 |1213 | 118k| 23k|1579 | 0.000000e+00 | 1.620000e+02 | Inf
370.10/370.18 o 161
370.10/370.18 c * 359s|106645 | 17354 | 1810k| 17.0 | 71M| 167 | - |3785 |6334 |3785 |1213 | 118k| 23k|1579 | 0.000000e+00 | 1.610000e+02 | Inf
372.60/372.68 o 157
372.60/372.68 c * 362s|107096 | 17068 | 1827k| 17.0 | 72M| 167 | - |3785 |6206 |3785 |1163 | 118k| 24k|1581 | 0.000000e+00 | 1.570000e+02 | Inf
372.60/372.69 o 149
372.60/372.69 c * 362s|107097 | 16183 | 1827k| 17.0 | 69M| 167 | - |3785 |6204 |3785 |1163 | 118k| 24k|1581 | 0.000000e+00 | 1.490000e+02 | Inf
373.50/373.54 o 146
373.50/373.54 c * 362s|107264 | 16001 | 1832k| 17.0 | 68M| 167 | - |3785 |6209 |3785 |1203 | 119k| 24k|1581 | 0.000000e+00 | 1.460000e+02 | Inf
374.00/374.08 o 144
374.00/374.08 c * 363s|107369 | 15794 | 1835k| 17.1 | 68M| 167 | - |3785 |6257 |3785 |1209 | 119k| 24k|1581 | 0.000000e+00 | 1.440000e+02 | Inf
374.40/374.41 o 142
374.40/374.41 c * 363s|107426 | 15664 | 1837k| 17.1 | 68M| 167 | - |3785 |6284 |3785 |1171 | 119k| 24k|1581 | 0.000000e+00 | 1.420000e+02 | Inf
375.01/375.06 o 141
375.01/375.06 c * 364s|107548 | 15623 | 1841k| 17.1 | 69M| 167 | - |3785 |6323 |3785 |1165 | 119k| 24k|1581 | 0.000000e+00 | 1.410000e+02 | Inf
375.10/375.12 o 135
375.10/375.12 c * 364s|107566 | 14940 | 1842k| 17.1 | 66M| 167 | - |3785 |6333 |3785 |1157 | 119k| 24k|1581 | 0.000000e+00 | 1.350000e+02 | Inf
375.40/375.47 o 132
375.40/375.47 c * 364s|107644 | 14535 | 1844k| 17.1 | 65M| 167 | - |3785 |6343 |3785 |1171 | 119k| 24k|1581 | 0.000000e+00 | 1.320000e+02 | Inf
375.40/375.47 o 131
375.40/375.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.40/375.47 c * 364s|107645 | 14434 | 1844k| 17.1 | 64M| 167 | - |3785 |6343 |3785 |1171 | 119k| 24k|1581 | 0.000000e+00 | 1.310000e+02 | Inf
375.50/375.56 o 122
375.50/375.56 c * 364s|107663 | 13416 | 1845k| 17.1 | 60M| 167 | - |3785 |6343 |3785 |1214 | 119k| 24k|1581 | 0.000000e+00 | 1.220000e+02 | Inf
375.80/375.84 o 121
375.80/375.84 c * 365s|107742 | 13379 | 1846k| 17.1 | 61M| 167 | - |3785 |6361 |3785 |1194 | 119k| 24k|1581 | 0.000000e+00 | 1.210000e+02 | Inf
375.80/375.84 o 119
375.80/375.84 c * 365s|107743 | 13076 | 1846k| 17.1 | 60M| 167 | - |3785 |6361 |3785 |1194 | 119k| 24k|1581 | 0.000000e+00 | 1.190000e+02 | Inf
376.00/376.00 o 116
376.00/376.00 c * 365s|107752 | 12763 | 1847k| 17.1 | 59M| 167 | - |3785 |6335 |3785 |1150 | 119k| 24k|1581 | 0.000000e+00 | 1.160000e+02 | Inf
376.30/376.39 o 113
376.30/376.39 c * 365s|107835 | 12463 | 1850k| 17.1 | 59M| 167 | - |3785 |6301 |3785 |1196 | 120k| 24k|1581 | 0.000000e+00 | 1.130000e+02 | Inf
378.20/378.21 o 108
378.20/378.21 c * 367s|108210 | 11971 | 1861k| 17.2 | 58M| 167 | - |3785 |6190 |3785 |1146 | 120k| 25k|1581 | 0.000000e+00 | 1.080000e+02 | Inf
378.41/378.44 o 97
378.41/378.44 c * 367s|108271 | 10403 | 1862k| 17.2 | 54M| 167 | - |3785 |6213 |3785 |1207 | 120k| 25k|1581 | 0.000000e+00 | 9.700000e+01 | Inf
378.70/378.79 o 93
378.70/378.79 c * 368s|108345 | 9634 | 1864k| 17.2 | 52M| 167 | - |3785 |5974 |3785 |1219 | 120k| 25k|1581 | 0.000000e+00 | 9.300000e+01 | Inf
380.30/380.32 o 89
380.30/380.32 c * 369s|108641 | 9236 | 1873k| 17.2 | 52M| 167 | - |3785 |5669 |3785 |1201 | 121k| 25k|1581 | 0.000000e+00 | 8.900000e+01 | Inf
380.30/380.32 o 76
380.30/380.32 c * 369s|108642 | 7784 | 1873k| 17.2 | 47M| 167 | - |3785 |5669 |3785 |1201 | 121k| 25k|1581 | 0.000000e+00 | 7.600000e+01 | Inf
380.90/380.97 o 68
380.90/380.97 c * 370s|108729 | 7200 | 1877k| 17.2 | 46M| 167 | - |3785 |5219 |3785 |1208 | 121k| 25k|1581 | 0.000000e+00 | 6.800000e+01 | Inf
381.00/381.01 o 67
381.00/381.01 c * 370s|108734 | 7160 | 1877k| 17.2 | 46M| 167 | - |3785 |5048 |3785 |1207 | 121k| 25k|1581 | 0.000000e+00 | 6.700000e+01 | Inf
381.00/381.04 o 63
381.00/381.04 c * 370s|108739 | 6884 | 1877k| 17.2 | 45M| 167 | - |3785 |4992 |3785 |1207 | 121k| 25k|1581 | 0.000000e+00 | 6.300000e+01 | Inf
381.00/381.07 o 52
381.00/381.07 c * 370s|108741 | 5930 | 1877k| 17.2 | 42M| 167 | - |3785 |4867 |3785 |1208 | 121k| 25k|1581 | 0.000000e+00 | 5.200000e+01 | Inf
381.10/381.10 o 50
381.10/381.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.10/381.10 c * 370s|108744 | 5818 | 1877k| 17.2 | 42M| 167 | - |3785 |4646 |3785 |1208 | 121k| 25k|1581 | 0.000000e+00 | 5.000000e+01 | Inf
381.10/381.11 o 31
381.10/381.11 c * 370s|108745 | 4720 | 1877k| 17.2 | 38M| 167 | - |3785 |4646 |3785 |1208 | 121k| 25k|1581 | 0.000000e+00 | 3.100000e+01 | Inf
381.30/381.34 o 17
381.30/381.34 c * 370s|108755 | 3499 | 1878k| 17.2 | 35M| 167 | - |3785 |4061 |3785 |1187 | 121k| 25k|1581 | 0.000000e+00 | 1.700000e+01 | Inf
381.50/381.51 o 12
381.50/381.51 c * 370s|108765 | 3012 | 1880k| 17.3 | 33M| 167 | - |3785 |3793 |3785 |1128 | 121k| 25k|1581 | 0.000000e+00 | 1.200000e+01 | Inf
381.71/381.74 o 8
381.71/381.74 c * 370s|108808 | 916 | 1881k| 17.3 | 27M| 167 | - |3785 |3642 |3785 |1131 | 121k| 25k|1590 | 0.000000e+00 | 8.000000e+00 | Inf
385.00/385.03 c 374s|110000 | 913 | 1900k| 17.2 | 28M| 167 | 12 |3785 |4358 |3785 |1118 | 121k| 27k|1633 | 0.000000e+00 | 8.000000e+00 | Inf
404.31/404.38 c 392s|120000 | 1144 | 1998k| 16.6 | 32M| 167 | 22 |3785 |7964 |3785 |1124 | 123k| 40k|1674 | 0.000000e+00 | 8.000000e+00 | Inf
423.90/423.91 c 411s|130000 | 1228 | 2094k| 16.1 | 34M| 167 | 1 |3785 |8896 |3785 |1118 | 125k| 54k|1702 | 0.000000e+00 | 8.000000e+00 | Inf
444.80/444.86 c 431s|140000 | 1279 | 2200k| 15.7 | 36M| 167 | - |3785 | 10k| 0 | 0 | 126k| 68k|1762 | 0.000000e+00 | 8.000000e+00 | Inf
467.41/467.43 c 452s|150000 | 1279 | 2322k| 15.5 | 37M| 167 | 24 |3785 |8276 |3785 |1147 | 128k| 81k|1849 | 0.000000e+00 | 8.000000e+00 | Inf
487.40/487.44 c 471s|160000 | 1151 | 2414k| 15.1 | 37M| 167 | 12 |3785 | 10k|3785 |1148 | 130k| 94k|1883 | 0.000000e+00 | 8.000000e+00 | Inf
508.60/508.62 c 491s|170000 | 1247 | 2520k| 14.8 | 39M| 167 | - |3785 |9782 | 0 | 0 | 132k| 108k|1943 | 0.000000e+00 | 8.000000e+00 | Inf
528.71/528.74 c 511s|180000 | 1551 | 2608k| 14.5 | 42M| 167 | - |3785 | 12k|3785 |1153 | 134k| 122k|1994 | 0.000000e+00 | 8.000000e+00 | Inf
550.31/550.30 c 531s|190000 | 1803 | 2710k| 14.3 | 45M| 167 | - |3785 | 12k| 0 | 0 | 135k| 136k|2055 | 0.000000e+00 | 8.000000e+00 | Inf
571.10/571.16 c 551s|200000 | 2031 | 2806k| 14.0 | 47M| 167 | 22 |3785 | 11k|3785 |1118 | 137k| 150k|2108 | 0.000000e+00 | 8.000000e+00 | Inf
592.20/592.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.20/592.28 c 571s|210000 | 2207 | 2903k| 13.8 | 50M| 167 | 7 |3785 | 12k|3785 |1138 | 139k| 165k|2162 | 0.000000e+00 | 8.000000e+00 | Inf
612.50/612.56 c 591s|220000 | 2266 | 2992k| 13.6 | 51M| 167 | - |3785 | 11k| 0 | 0 | 140k| 179k|2179 | 0.000000e+00 | 8.000000e+00 | Inf
633.81/633.84 c 611s|230000 | 2320 | 3089k| 13.4 | 53M| 167 | 14 |3785 | 12k|3785 |1128 | 142k| 193k|2216 | 0.000000e+00 | 8.000000e+00 | Inf
655.10/655.13 c 631s|240000 | 2179 | 3182k| 13.2 | 52M| 167 | 34 |3785 | 12k|3785 |1131 | 144k| 206k|2341 | 0.000000e+00 | 8.000000e+00 | Inf
676.80/676.86 c 652s|250000 | 1803 | 3283k| 13.1 | 49M| 167 | - |3785 | 12k| 0 | 0 | 146k| 220k|2394 | 0.000000e+00 | 8.000000e+00 | Inf
697.81/697.82 c 672s|260000 | 1785 | 3377k| 13.0 | 49M| 167 | 1 |3785 | 12k|3785 |1129 | 148k| 233k|2444 | 0.000000e+00 | 8.000000e+00 | Inf
719.61/719.62 c 693s|270000 | 866 | 3473k| 12.9 | 39M| 167 | 14 |3785 |9110 |3785 |1138 | 150k| 247k|2487 | 0.000000e+00 | 8.000000e+00 | Inf
739.61/739.68 c 712s|280000 | 1117 | 3565k| 12.7 | 42M| 167 | - |3785 | 10k| 0 | 0 | 151k| 259k|2537 | 0.000000e+00 | 8.000000e+00 | Inf
759.21/759.22 c 730s|290000 | 1285 | 3645k| 12.6 | 45M| 167 | - |3785 | 13k| 0 | 0 | 153k| 272k|2573 | 0.000000e+00 | 8.000000e+00 | Inf
779.92/779.92 c 750s|300000 | 1541 | 3733k| 12.4 | 48M| 167 | 22 |3785 | 14k|3785 |1151 | 155k| 286k|2620 | 0.000000e+00 | 8.000000e+00 | Inf
801.21/801.26 c 771s|310000 | 1749 | 3828k| 12.3 | 49M| 167 | - |3785 | 12k| 0 | 0 | 156k| 298k|2657 | 0.000000e+00 | 8.000000e+00 | Inf
822.91/822.97 c 791s|320000 | 2044 | 3930k| 12.3 | 52M| 167 | - |3785 | 12k| 0 | 0 | 158k| 312k|2718 | 0.000000e+00 | 8.000000e+00 | Inf
842.91/842.95 c 810s|330000 | 2351 | 4015k| 12.2 | 55M| 167 | 1 |3785 | 13k|3785 |1135 | 160k| 325k|2771 | 0.000000e+00 | 8.000000e+00 | Inf
862.61/862.62 c 829s|340000 | 2636 | 4096k| 12.0 | 59M| 167 | - |3785 | 16k|3785 |1139 | 162k| 338k|2779 | 0.000000e+00 | 8.000000e+00 | Inf
883.11/883.13 c 849s|350000 | 2840 | 4183k| 11.9 | 61M| 167 | - |3785 | 17k| 0 | 0 | 164k| 352k|2815 | 0.000000e+00 | 8.000000e+00 | Inf
904.61/904.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.61/904.61 c 869s|360000 | 3107 | 4270k| 11.9 | 64M| 167 | 25 |3785 | 17k|3785 |1118 | 167k| 364k|2861 | 0.000000e+00 | 8.000000e+00 | Inf
928.02/928.02 c 892s|370000 | 3501 | 4381k| 11.8 | 67M| 167 | - |3785 | 19k| 0 | 0 | 170k| 377k|2909 | 0.000000e+00 | 8.000000e+00 | Inf
949.62/949.63 c 913s|380000 | 3681 | 4471k| 11.8 | 69M| 167 | 8 |3785 | 17k|3785 |1118 | 172k| 391k|2949 | 0.000000e+00 | 8.000000e+00 | Inf
971.11/971.18 c 933s|390000 | 3916 | 4561k| 11.7 | 71M| 167 | 1 |3785 | 18k|3785 |1139 | 174k| 404k|2951 | 0.000000e+00 | 8.000000e+00 | Inf
994.11/994.12 c 955s|400000 | 4213 | 4663k| 11.6 | 74M| 167 | - |3785 | 18k| 0 | 0 | 176k| 418k|3010 | 0.000000e+00 | 8.000000e+00 | Inf
1016.52/1016.54 c 977s|410000 | 4454 | 4762k| 11.6 | 77M| 167 | 23 |3785 | 18k|3785 |1146 | 178k| 432k|3059 | 0.000000e+00 | 8.000000e+00 | Inf
1037.62/1037.70 c 997s|420000 | 4658 | 4848k| 11.5 | 79M| 167 | 1 |3785 | 19k|3785 |1139 | 180k| 446k|3098 | 0.000000e+00 | 8.000000e+00 | Inf
1059.02/1059.01 c 1017s|430000 | 4849 | 4933k| 11.5 | 81M| 167 | 17 |3785 | 18k|3785 |1140 | 182k| 460k|3111 | 0.000000e+00 | 8.000000e+00 | Inf
1080.62/1080.62 c 1038s|440000 | 4979 | 5019k| 11.4 | 83M| 167 | 15 |3785 | 18k|3785 |1141 | 184k| 474k|3156 | 0.000000e+00 | 8.000000e+00 | Inf
1101.71/1101.80 c 1058s|450000 | 5113 | 5100k| 11.3 | 84M| 167 | 1 |3785 | 20k|3785 |1137 | 186k| 487k|3191 | 0.000000e+00 | 8.000000e+00 | Inf
1124.12/1124.20 c 1080s|460000 | 5277 | 5191k| 11.3 | 88M| 167 | - |3785 | 23k| 0 | 0 | 189k| 500k|3197 | 0.000000e+00 | 8.000000e+00 | Inf
1147.42/1147.45 c 1102s|470000 | 5404 | 5285k| 11.2 | 88M| 167 | 11 |3785 | 20k|3785 |1118 | 191k| 514k|3254 | 0.000000e+00 | 8.000000e+00 | Inf
1169.82/1169.81 c 1124s|480000 | 5709 | 5375k| 11.2 | 91M| 167 | 21 |3785 | 22k|3785 |1146 | 193k| 527k|3296 | 0.000000e+00 | 8.000000e+00 | Inf
1194.12/1194.12 c 1147s|490000 | 5902 | 5484k| 11.2 | 93M| 167 | - |3785 | 21k| 0 | 0 | 195k| 541k|3333 | 0.000000e+00 | 8.000000e+00 | Inf
1217.32/1217.38 c 1169s|500000 | 6072 | 5580k| 11.2 | 93M| 167 | 18 |3785 | 16k|3785 |1136 | 197k| 554k|3353 | 0.000000e+00 | 8.000000e+00 | Inf
1238.82/1238.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.82/1238.80 c 1190s|510000 | 6356 | 5664k| 11.1 | 96M| 167 | - |3785 | 18k| 0 | 0 | 199k| 567k|3417 | 0.000000e+00 | 8.000000e+00 | Inf
1260.72/1260.78 c 1211s|520000 | 6530 | 5749k| 11.1 | 99M| 167 | 21 |3785 | 19k|3785 |1158 | 201k| 581k|3430 | 0.000000e+00 | 8.000000e+00 | Inf
1282.72/1282.76 c 1232s|530000 | 6600 | 5830k| 11.0 | 100M| 167 | - |3785 | 18k| 0 | 0 | 203k| 594k|3508 | 0.000000e+00 | 8.000000e+00 | Inf
1304.12/1304.14 c 1252s|540000 | 6763 | 5909k| 10.9 | 102M| 167 | 6 |3785 | 19k|3785 |1143 | 205k| 608k|3529 | 0.000000e+00 | 8.000000e+00 | Inf
1325.73/1325.71 c 1273s|550000 | 6864 | 5992k| 10.9 | 103M| 167 | - |3785 | 19k| 0 | 0 | 207k| 621k|3562 | 0.000000e+00 | 8.000000e+00 | Inf
1348.82/1348.87 c 1295s|560000 | 6967 | 6087k| 10.9 | 105M| 167 | 14 |3785 | 19k|3785 |1138 | 209k| 634k|3626 | 0.000000e+00 | 8.000000e+00 | Inf
1370.82/1370.89 c 1316s|570000 | 7079 | 6177k| 10.8 | 106M| 167 | 18 |3785 | 17k|3785 |1118 | 212k| 648k|3642 | 0.000000e+00 | 8.000000e+00 | Inf
1391.92/1391.99 c 1336s|580000 | 7300 | 6256k| 10.8 | 109M| 167 | - |3785 | 20k| 0 | 0 | 213k| 661k|3695 | 0.000000e+00 | 8.000000e+00 | Inf
1413.63/1413.68 c 1357s|590000 | 7473 | 6335k| 10.7 | 112M| 167 | 1 |3785 | 22k|3785 |1125 | 216k| 675k|3731 | 0.000000e+00 | 8.000000e+00 | Inf
1436.02/1436.02 c 1378s|600000 | 7495 | 6424k| 10.7 | 111M| 167 | - |3785 | 16k| 0 | 0 | 218k| 689k|3784 | 0.000000e+00 | 8.000000e+00 | Inf
1458.73/1458.72 c 1400s|610000 | 7684 | 6522k| 10.7 | 113M| 167 | - |3785 | 15k| 0 | 0 | 220k| 702k|3832 | 0.000000e+00 | 8.000000e+00 | Inf
1479.63/1479.64 c 1420s|620000 | 7363 | 6601k| 10.6 | 111M| 167 | 19 |3785 | 13k|3785 |1147 | 222k| 716k|3845 | 0.000000e+00 | 8.000000e+00 | Inf
1501.53/1501.54 c 1441s|630000 | 5695 | 6685k| 10.6 | 99M| 167 | 10 |3785 | 12k|3785 |1154 | 223k| 731k|3907 | 0.000000e+00 | 8.000000e+00 | Inf
1523.23/1523.29 c 1462s|640000 | 3890 | 6772k| 10.6 | 82M| 167 | - |3785 | 12k| 0 | 0 | 225k| 747k|3941 | 0.000000e+00 | 8.000000e+00 | Inf
1544.93/1544.94 c 1482s|650000 | 1627 | 6853k| 10.5 | 54M| 167 | - |3785 | 11k| 0 | 0 | 227k| 763k|3975 | 0.000000e+00 | 8.000000e+00 | Inf
1564.73/1564.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.73/1564.75 c 1501s|660000 | 1964 | 6940k| 10.5 | 58M| 167 | 25 |3785 | 15k|3785 |1136 | 229k| 776k|4013 | 0.000000e+00 | 8.000000e+00 | Inf
1584.63/1584.68 c 1520s|670000 | 2067 | 7024k| 10.5 | 60M| 167 | - |3785 | 14k| 0 | 0 | 231k| 789k|4013 | 0.000000e+00 | 8.000000e+00 | Inf
1606.53/1606.58 c 1541s|680000 | 1071 | 7113k| 10.5 | 45M| 167 | 15 |3785 | 12k|3785 |1118 | 233k| 803k|4176 | 0.000000e+00 | 8.000000e+00 | Inf
1629.93/1629.93 c 1564s|690000 | 1465 | 7229k| 10.5 | 49M| 167 | 21 |3785 | 12k|3785 |1118 | 234k| 815k|4188 | 0.000000e+00 | 8.000000e+00 | Inf
1652.24/1652.20 c 1585s|700000 | 1818 | 7326k| 10.5 | 53M| 167 | 1 |3785 | 15k|3785 |1127 | 236k| 829k|4246 | 0.000000e+00 | 8.000000e+00 | Inf
1675.43/1675.46 c 1607s|710000 | 2211 | 7438k| 10.5 | 56M| 167 | 1 |3785 | 14k|3785 |1118 | 238k| 843k|4297 | 0.000000e+00 | 8.000000e+00 | Inf
1699.54/1699.55 c 1631s|720000 | 2631 | 7560k| 10.5 | 60M| 167 | 38 |3785 | 15k|3785 |1118 | 240k| 856k|4322 | 0.000000e+00 | 8.000000e+00 | Inf
1724.84/1724.82 c 1655s|730000 | 3143 | 7683k| 10.5 | 64M| 167 | - |3785 | 17k|3785 |1127 | 241k| 869k|4353 | 0.000000e+00 | 8.000000e+00 | Inf
1749.43/1749.47 c 1679s|740000 | 3423 | 7798k| 10.5 | 67M| 167 | - |3785 | 16k|3785 |1136 | 243k| 883k|4406 | 0.000000e+00 | 8.000000e+00 | Inf
1773.54/1773.54 c 1702s|750000 | 3384 | 7908k| 10.5 | 68M| 167 | - |3785 | 13k| 0 | 0 | 245k| 897k|4457 | 0.000000e+00 | 8.000000e+00 | Inf
1796.24/1796.25 c 1723s|760000 | 1920 | 8002k| 10.5 | 57M| 167 | 16 |3785 | 13k|3785 |1128 | 246k| 912k|4463 | 0.000000e+00 | 8.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1726.85
1800.04/1800.01 c Solving Nodes : 761586
1800.04/1800.01 c Primal Bound : +8.00000000000000e+00 (196 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.05 s SATISFIABLE
1800.04/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.05 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 x168
1800.04/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 -x147 -x146
1800.04/1800.05 v -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.04/1800.05 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
1800.04/1800.05 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80
1800.04/1800.05 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.05 v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 -x31 -x30 -x29
1800.04/1800.05 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2
1800.04/1800.05 v -x1
1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.05 c Solving Time : 1726.85
1800.04/1800.05 c Original Problem :
1800.04/1800.05 c Problem name : HOME/instance-2693499-1277907347.wbo
1800.04/1800.05 c Variables : 3905 (2068 binary, 0 integer, 0 implicit integer, 1837 continuous)
1800.04/1800.05 c Constraints : 4545 initial, 4545 maximal
1800.04/1800.05 c Presolved Problem :
1800.04/1800.05 c Problem name : t_HOME/instance-2693499-1277907347.wbo
1800.04/1800.05 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.04/1800.05 c Constraints : 4398 initial, 24236 maximal
1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.05 c trivial : 0.00 60 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 60 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 60 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.04 0 0 0 1852 0 87 71 0
1800.04/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 1650 - - 3300 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 482436 0 60 606 0 0 751548
1800.04/1800.05 c indicator : 1777 0 3611516 106024 0 314 3181275 0 0 0
1800.04/1800.05 c setppc : 5 7 3533331 61221 0 15109 635618 0 0 0
1800.04/1800.05 c linear : 1777 7 3608071 106069 0 151051 15836217 247042 0 0
1800.04/1800.05 c logicor : 839+ 7 1338711 77645 0 132722 3059477 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 118217 0 0 0 185 0 0 0
1800.04/1800.05 c countsols : 0 0 0 77645 0 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 46.57 0.00 0.00 46.57 0.00
1800.04/1800.05 c indicator : 25.05 0.00 12.80 12.25 0.00
1800.04/1800.05 c setppc : 4.31 0.00 4.30 0.01 0.00
1800.04/1800.05 c linear : 114.71 0.00 111.84 2.87 0.00
1800.04/1800.05 c logicor : 150.83 0.00 150.23 0.60 0.00
1800.04/1800.05 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.04/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.00 2 0 0
1800.04/1800.05 c rootredcost : 0.02 91 0 1650
1800.04/1800.05 c pseudoobj : 122.13 3629315 5849 1944807
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 13.68 304731 304613 1773559 26.8 12569 20.7 -
1800.04/1800.05 c infeasible LP : 11.34 43485 43485 350434 44.2 613 17.2 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.04 241 241 1358 21.2 117 5.7 -
1800.04/1800.05 c applied globally : - - - 914780 23.8 - - -
1800.04/1800.05 c applied locally : - - - 0 0.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 6 - - 4 - (maximal pool size: 667)
1800.04/1800.05 c redcost : 27.53 486790 0 1120141 0 0
1800.04/1800.05 c impliedbounds : 0.00 7 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.16 7 0 0 1644 0
1800.04/1800.05 c strongcg : 0.10 7 0 0 362 0
1800.04/1800.05 c cmir : 0.03 7 0 0 0 0
1800.04/1800.05 c flowcover : 0.08 7 0 0 0 0
1800.04/1800.05 c clique : 0.00 7 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 1 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 46.54 376339 60 606 0 0 751548
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 11.87 77555 0 0 0 0 155110
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.22 - 90
1800.04/1800.05 c pseudo solutions : 0.00 - 0
1800.04/1800.05 c feaspump : 0.01 1 0
1800.04/1800.05 c oneopt : 0.72 77 0
1800.04/1800.05 c intshifting : 0.00 20 0
1800.04/1800.05 c crossover : 1.10 47 0
1800.04/1800.05 c fracdiving : 2.13 1796 0
1800.04/1800.05 c veclendiving : 1.92 1796 0
1800.04/1800.05 c linesearchdiving : 2.10 1796 0
1800.04/1800.05 c guideddiving : 1.91 1796 0
1800.04/1800.05 c coefdiving : 2.24 1797 0
1800.04/1800.05 c pscostdiving : 2.06 1797 0
1800.04/1800.05 c objpscostdiving : 2.19 1528 0
1800.04/1800.05 c rootsoldiving : 1.78 1692 0
1800.04/1800.05 c trivial : 0.01 2 0
1800.04/1800.05 c simplerounding : 0.31 377536 0
1800.04/1800.05 c zirounding : 0.04 1000 0
1800.04/1800.05 c rounding : 1.09 8660 0
1800.04/1800.05 c shifting : 1.54 2738 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.03 1 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.00 0 0
1800.04/1800.05 c trysol : 1.66 6897 106
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.05 c dual LP : 854.99 455781 7987894 17.53 9342.68
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 3.08 1264 30785 24.36 9995.13
1800.04/1800.05 c strong branching : 43.84 4463 411609 92.23 9388.89
1800.04/1800.05 c (at root node) : - 33 32067 971.73 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 761586
1800.04/1800.05 c nodes (total) : 761586
1800.04/1800.05 c nodes left : 1658
1800.04/1800.05 c max depth : 167
1800.04/1800.05 c max depth (total): 167
1800.04/1800.05 c backtracks : 72664 (9.5%)
1800.04/1800.05 c delayed cutoffs : 50335
1800.04/1800.05 c repropagations : 1723530 (3482690 domain reductions, 40174 cutoffs)
1800.04/1800.05 c avg switch length: 6.52
1800.04/1800.05 c switching time : 169.51
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 196 (91 improvements)
1800.04/1800.05 c First Solution : +9.03830000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.05 c Primal Bound : +8.00000000000000e+00 (in run 1, after 108808 nodes, 370.41 seconds, depth 45, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 3278
1800.14/1800.12 c Time complete: 1800.15.