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-2693959-1277898542.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 3) 2 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 64 impls, 30 clqs
0.00/0.01 c (round 4) 4 del vars, 8 del conss, 62 chg bounds, 2 chg sides, 0 chg coeffs, 34 upgd conss, 64 impls, 30 clqs
0.00/0.02 c (0.0s) probing: 101/231 (43.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 4 deleted vars, 8 deleted constraints, 62 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 64 implications, 30 cliques
0.00/0.02 c presolved problem has 293 variables (231 bin, 0 int, 0 impl, 62 cont) and 158 constraints
0.00/0.02 c 62 constraints of type <indicator>
0.00/0.02 c 30 constraints of type <setppc>
0.00/0.02 c 62 constraints of type <linear>
0.00/0.02 c 4 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 926k| 0 | - | 293 | 158 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.19 c 1.0s| 10000 | 6913 | 0 | 0.0 |6879k| 176 | - | 293 |3396 | 0 | 0 | 0 |8623 | 0 | 0.000000e+00 | -- | Inf
2.99/3.09 c 2.7s| 20000 | 12301 | 0 | 0.0 | 11M| 176 | - | 293 |4841 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
5.40/5.41 c 4.8s| 30000 | 17279 | 0 | 0.0 | 17M| 176 | - | 293 |8110 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
8.69/8.72 c 7.9s| 40000 | 20769 | 0 | 0.0 | 22M| 176 | - | 293 | 11k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
12.49/12.58 c 11.5s| 50000 | 23300 | 0 | 0.0 | 27M| 176 | - | 293 | 14k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
16.59/16.61 c 15.3s| 60000 | 26597 | 0 | 0.0 | 28M| 176 | - | 293 |6188 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
18.79/18.86 c 17.3s| 70000 | 32005 | 0 | 0.0 | 32M| 176 | - | 293 |6410 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
23.19/23.20 c 21.4s| 80000 | 33989 | 0 | 0.0 | 37M| 176 | - | 293 | 11k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
27.98/28.09 c 26.1s| 90000 | 36128 | 0 | 0.0 | 42M| 176 | - | 293 | 15k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
34.79/34.84 c 32.5s|100000 | 36761 | 0 | 0.0 | 46M| 176 | - | 293 | 19k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
42.99/43.06 c 40.5s|110000 | 35930 | 0 | 0.0 | 49M| 176 | - | 293 | 22k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
51.70/51.73 c 48.9s|120000 | 34556 | 0 | 0.0 | 51M| 176 | - | 293 | 26k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
58.08/58.15 c 55.0s|130000 | 37818 | 0 | 0.0 | 48M| 176 | - | 293 |9103 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
61.99/62.08 c 58.5s|140000 | 41652 | 0 | 0.0 | 52M| 176 | - | 293 | 10k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
66.09/66.14 o 621
66.09/66.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.09/66.14 c *62.3s|147893 | 43054 | 0 | 0.0 | 56M| 176 | - | 293 | 13k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 6.210000e+02 | Inf
66.19/66.27 o 377
66.19/66.27 c *62.4s|149222 | 44356 | 0 | 0.0 | 55M| 176 | - | 293 | 10k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.770000e+02 | Inf
66.29/66.32 o 336
66.29/66.32 c *62.5s|149736 | 44846 | 0 | 0.0 | 55M| 176 | - | 293 |9714 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.360000e+02 | Inf
66.29/66.35 c 62.5s|150000 | 45096 | 0 | 0.0 | 55M| 176 | - | 293 |8941 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.360000e+02 | Inf
66.59/66.61 o 267
66.59/66.61 c *62.7s|152172 | 46976 | 0 | 0.0 | 54M| 176 | - | 293 |3291 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 2.670000e+02 | Inf
66.69/66.70 o 242
66.69/66.70 c *62.8s|153054 | 47702 | 0 | 0.0 | 54M| 176 | - | 293 |2609 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
67.18/67.25 o 220
67.18/67.25 c *63.2s|158902 | 52712 | 0 | 0.0 | 56M| 176 | - | 293 |2334 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
67.29/67.35 c 63.3s|160000 | 53640 | 0 | 0.0 | 57M| 176 | - | 293 |2395 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
68.29/68.33 c 64.0s|170000 | 62040 | 0 | 0.0 | 61M| 176 | - | 293 |3001 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
69.29/69.34 c 64.8s|180000 | 70437 | 0 | 0.0 | 65M| 176 | - | 293 |3523 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
72.19/72.28 c 67.5s|190000 | 74079 | 0 | 0.0 | 70M| 176 | - | 293 |9936 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
81.39/81.41 c 76.2s|200000 | 71097 | 0 | 0.0 | 72M| 176 | - | 293 | 17k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
94.39/94.40 c 88.8s|210000 | 66157 | 0 | 0.0 | 70M| 176 | - | 293 | 24k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
109.59/109.66 c 104s|220000 | 60426 | 0 | 0.0 | 60M| 176 | - | 293 | 19k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
116.29/116.35 c 110s|230000 | 62312 | 0 | 0.0 | 60M| 176 | - | 293 | 13k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
123.89/123.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.89/123.98 c 117s|240000 | 62210 | 0 | 0.0 | 63M| 176 | - | 293 | 16k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
132.78/132.82 c 126s|250000 | 61434 | 0 | 0.0 | 65M| 176 | - | 293 | 20k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
139.49/139.53 c 132s|260000 | 64884 | 0 | 0.0 | 63M| 176 | - | 293 |9773 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
140.59/140.69 c 133s|270000 | 73519 | 0 | 0.0 | 65M| 176 | - | 293 |2388 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
141.09/141.10 o 204
141.09/141.10 c * 134s|273512 | 76256 | 0 | 0.0 | 66M| 176 | - | 293 |2354 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.040000e+02 | Inf
141.59/141.62 o 155
141.59/141.62 c * 134s|278077 | 79284 | 0 | 0.0 | 67M| 176 | - | 293 |2360 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
141.79/141.85 c 134s|280000 | 80847 | 0 | 0.0 | 68M| 176 | - | 293 |2330 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
142.89/142.98 c 135s|290000 | 88931 | 0 | 0.0 | 72M| 176 | - | 293 |2507 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
144.09/144.12 c 136s|300000 | 96981 | 0 | 0.0 | 77M| 176 | - | 293 |2627 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
145.29/145.30 c 137s|310000 |104984 | 0 | 0.0 | 81M| 176 | - | 293 |2880 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
146.48/146.51 c 138s|320000 |112867 | 0 | 0.0 | 85M| 176 | - | 293 |3212 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
147.69/147.77 c 139s|330000 |120630 | 0 | 0.0 | 89M| 176 | - | 293 |3498 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
148.99/149.06 c 140s|340000 |128363 | 0 | 0.0 | 93M| 176 | - | 293 |3753 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
149.79/149.88 o 128
149.79/149.88 c * 141s|346327 |131811 | 0 | 0.0 | 95M| 176 | - | 293 |3960 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
150.29/150.34 c 141s|350000 |134707 | 0 | 0.0 | 97M| 176 | - | 293 |4143 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
151.69/151.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.69/151.71 c 142s|360000 |142313 | 0 | 0.0 | 101M| 176 | - | 293 |4176 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
152.99/153.03 c 143s|370000 |150076 | 0 | 0.0 | 105M| 176 | - | 293 |4578 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
154.39/154.43 c 144s|380000 |157660 | 0 | 0.0 | 110M| 176 | - | 293 |4662 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
155.78/155.80 c 146s|390000 |165296 | 0 | 0.0 | 114M| 176 | - | 293 |5108 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
157.19/157.27 c 147s|400000 |172766 | 0 | 0.0 | 119M| 176 | - | 293 |5172 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
158.58/158.65 o 109
158.58/158.65 c * 148s|409230 |177418 | 0 | 0.0 | 121M| 176 | - | 293 |5567 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
158.68/158.76 c 148s|410000 |177989 | 0 | 0.0 | 121M| 176 | - | 293 |5613 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
160.38/160.46 c 150s|420000 |184978 | 0 | 0.0 | 126M| 176 | - | 293 |5878 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
162.09/162.18 c 151s|430000 |191897 | 0 | 0.0 | 131M| 176 | - | 293 |6030 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
163.99/164.06 c 153s|440000 |198440 | 0 | 0.0 | 136M| 176 | - | 293 |6260 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
165.99/166.05 c 155s|450000 |204710 | 0 | 0.0 | 142M| 176 | - | 293 |6526 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
168.09/168.17 c 156s|460000 |210710 | 0 | 0.0 | 147M| 176 | - | 293 |6754 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
170.40/170.47 c 158s|470000 |216299 | 0 | 0.0 | 153M| 176 | - | 293 |6994 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
171.89/171.96 o 101
171.89/171.96 c * 160s|475836 |218436 | 0 | 0.0 | 155M| 176 | - | 293 |7142 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
172.99/173.00 c 161s|480000 |220549 | 0 | 0.0 | 158M| 176 | - | 293 |7213 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
175.79/175.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.79/175.89 c 163s|490000 |224580 | 0 | 0.0 | 164M| 176 | - | 293 |7469 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
178.29/178.30 c 166s|500000 |230141 | 0 | 0.0 | 168M| 176 | - | 293 |4453 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
181.88/181.92 c 169s|510000 |231999 | 0 | 0.0 | 167M| 176 | - | 293 |9012 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
189.89/189.92 c 177s|520000 |228690 | 0 | 0.0 | 162M| 176 | - | 293 | 15k| 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
201.19/201.23 c 188s|530000 |225491 | 0 | 0.0 | 163M| 176 | - | 293 | 23k| 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 1.010000e+02 | Large
215.49/215.50 c 202s|540000 |222740 | 0 | 0.0 | 160M| 176 | - | 293 | 24k| 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 1.010000e+02 | Large
218.39/218.42 c 204s|550000 |230328 | 0 | 0.0 | 160M| 176 | - | 293 |6106 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 1.010000e+02 | Large
220.38/220.46 c 206s|560000 |237194 | 0 | 0.0 | 164M| 176 | - | 293 |4316 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 1.010000e+02 | Large
222.29/222.32 c 208s|570000 |244098 | 0 | 0.0 | 169M| 176 | - | 293 |3939 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 1.010000e+02 | Large
224.19/224.21 c 209s|580000 |250873 | 0 | 0.0 | 175M| 176 | - | 293 |4272 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 1.010000e+02 | Large
225.99/226.02 c 211s|590000 |257764 | 0 | 0.0 | 180M| 176 | - | 293 |4183 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 1.010000e+02 | Large
227.88/227.92 c 213s|600000 |264437 | 0 | 0.0 | 185M| 176 | - | 293 |4373 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 1.010000e+02 | Large
229.79/229.81 c 214s|610000 |271142 | 0 | 0.0 | 189M| 176 | - | 293 |4335 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 1.010000e+02 | Large
231.69/231.73 c 216s|620000 |277739 | 0 | 0.0 | 194M| 176 | - | 293 |4281 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 1.010000e+02 | Large
233.49/233.58 c 218s|630000 |284452 | 0 | 0.0 | 199M| 176 | - | 293 |4515 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 1.010000e+02 | Large
233.68/233.74 o 40
233.68/233.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.68/233.74 c * 218s|630255 |205441 | 0 | 0.0 | 132M| 176 | - | 293 |4532 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
236.88/236.94 c 221s|640000 |209282 | 0 | 0.0 | 138M| 176 | - | 293 |5953 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
240.38/240.44 c 224s|650000 |212973 | 0 | 0.0 | 143M| 176 | - | 293 |6797 | 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
243.99/244.05 c 227s|660000 |216633 | 0 | 0.0 | 148M| 176 | - | 293 |7487 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
247.89/247.97 c 231s|670000 |219991 | 0 | 0.0 | 152M| 176 | - | 293 |8202 | 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
251.99/252.08 c 235s|680000 |222934 | 0 | 0.0 | 156M| 176 | - | 293 |8049 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
256.49/256.55 c 239s|690000 |225415 | 0 | 0.0 | 161M| 176 | - | 293 |9293 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
261.19/261.26 c 244s|700000 |227607 | 0 | 0.0 | 166M| 176 | - | 293 |9949 | 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
266.28/266.31 c 248s|710000 |229254 | 0 | 0.0 | 169M| 176 | - | 293 | 10k| 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
271.70/271.79 c 254s|720000 |230239 | 0 | 0.0 | 173M| 176 | - | 293 | 10k| 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
277.79/277.86 c 259s|730000 |230592 | 0 | 0.0 | 177M| 176 | - | 293 | 11k| 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
284.09/284.13 c 265s|740000 |230711 | 0 | 0.0 | 180M| 176 | - | 293 | 11k| 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
291.09/291.18 c 272s|750000 |229712 | 0 | 0.0 | 184M| 176 | - | 293 | 12k| 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
298.49/298.59 c 279s|760000 |228191 | 0 | 0.0 | 187M| 176 | - | 293 | 13k| 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
306.89/306.96 c 287s|770000 |225386 | 0 | 0.0 | 189M| 176 | - | 293 | 14k| 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
316.38/316.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.38/316.40 c 296s|780000 |220614 | 0 | 0.0 | 190M| 176 | - | 293 | 14k| 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
326.19/326.28 c 306s|790000 |214897 | 0 | 0.0 | 191M| 176 | - | 293 | 15k| 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
336.98/337.04 c 316s|800000 |207850 | 0 | 0.0 | 190M| 176 | - | 293 | 15k| 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
337.09/337.15 o 24
337.09/337.15 c * 316s|800076 |176406 | 0 | 0.0 | 165M| 176 | - | 293 | 15k| 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
349.29/349.37 c 328s|810000 |165972 | 0 | 0.0 | 162M| 176 | - | 293 | 17k| 0 | 0 | 0 | 861k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
361.80/361.84 c 340s|820000 |156620 | 0 | 0.0 | 157M| 176 | - | 293 | 16k| 0 | 0 | 0 | 879k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
365.99/366.03 c 344s|830000 |161731 | 0 | 0.0 | 160M| 176 | - | 293 | 10k| 0 | 0 | 0 | 889k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
370.49/370.56 c 348s|840000 |165624 | 0 | 0.0 | 166M| 176 | - | 293 | 12k| 0 | 0 | 0 | 903k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
376.10/376.12 c 353s|850000 |168052 | 0 | 0.0 | 172M| 176 | - | 293 | 15k| 0 | 0 | 0 | 918k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
383.89/383.93 c 361s|860000 |167422 | 0 | 0.0 | 175M| 176 | - | 293 | 11k| 0 | 0 | 0 | 935k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
391.49/391.59 c 368s|870000 |168204 | 0 | 0.0 | 179M| 176 | - | 293 | 13k| 0 | 0 | 0 | 954k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
400.40/400.45 c 377s|880000 |167745 | 0 | 0.0 | 183M| 176 | - | 293 | 15k| 0 | 0 | 0 | 972k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
410.99/411.01 c 387s|890000 |166168 | 0 | 0.0 | 186M| 176 | - | 293 | 17k| 0 | 0 | 0 | 992k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
421.78/421.81 c 397s|900000 |165091 | 0 | 0.0 | 189M| 176 | - | 293 | 20k| 0 | 0 | 0 |1012k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
434.39/434.49 c 410s|910000 |163705 | 0 | 0.0 | 192M| 176 | - | 293 | 24k| 0 | 0 | 0 |1031k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
447.99/448.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.99/448.04 c 423s|920000 |162559 | 0 | 0.0 | 195M| 176 | - | 293 | 26k| 0 | 0 | 0 |1051k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
463.88/463.91 c 438s|930000 |160807 | 0 | 0.0 | 197M| 176 | - | 293 | 28k| 0 | 0 | 0 |1072k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
480.69/480.72 c 455s|940000 |158587 | 0 | 0.0 | 198M| 176 | - | 293 | 30k| 0 | 0 | 0 |1092k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
488.39/488.43 o 22
488.39/488.43 c * 462s|944526 |151068 | 0 | 0.0 | 189M| 176 | - | 293 | 30k| 0 | 0 | 0 |1101k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
496.68/496.73 c 470s|950000 |149441 | 0 | 0.0 | 184M| 176 | - | 293 |9502 | 0 | 0 | 0 |1113k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
505.58/505.66 c 478s|960000 |145770 | 0 | 0.0 | 185M| 176 | - | 293 | 14k| 0 | 0 | 0 |1136k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
516.48/516.59 c 489s|970000 |142043 | 0 | 0.0 | 186M| 176 | - | 293 | 18k| 0 | 0 | 0 |1159k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
529.48/529.53 c 501s|980000 |137496 | 0 | 0.0 | 185M| 176 | - | 293 | 20k| 0 | 0 | 0 |1181k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
543.29/543.40 c 515s|990000 |132470 | 0 | 0.0 | 184M| 176 | - | 293 | 22k| 0 | 0 | 0 |1204k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
558.39/558.45 c 530s| 1000k|127096 | 0 | 0.0 | 182M| 176 | - | 293 | 25k| 0 | 0 | 0 |1226k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
575.30/575.36 c 546s| 1010k|120198 | 0 | 0.0 | 177M| 176 | - | 293 | 26k| 0 | 0 | 0 |1249k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
592.39/592.47 c 563s| 1020k|112836 | 0 | 0.0 | 166M| 176 | - | 293 | 22k| 0 | 0 | 0 |1271k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
599.09/599.16 c 569s| 1030k|115682 | 0 | 0.0 | 166M| 176 | - | 293 | 11k| 0 | 0 | 0 |1287k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
606.09/606.16 c 576s| 1040k|116589 | 0 | 0.0 | 170M| 176 | - | 293 | 13k| 0 | 0 | 0 |1305k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
614.39/614.40 c 584s| 1050k|116219 | 0 | 0.0 | 172M| 176 | - | 293 | 15k| 0 | 0 | 0 |1325k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
623.59/623.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.59/623.65 c 593s| 1060k|113996 | 0 | 0.0 | 173M| 176 | - | 293 | 15k| 0 | 0 | 0 |1347k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
633.59/633.61 c 602s| 1070k|109933 | 0 | 0.0 | 169M| 176 | - | 293 | 11k| 0 | 0 | 0 |1368k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
642.69/642.79 c 611s| 1080k|107274 | 0 | 0.0 | 170M| 176 | - | 293 | 15k| 0 | 0 | 0 |1394k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
657.49/657.58 c 625s| 1090k|101375 | 0 | 0.0 | 168M| 176 | - | 293 | 20k| 0 | 0 | 0 |1423k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
675.08/675.14 c 643s| 1100k| 94750 | 0 | 0.0 | 164M| 176 | - | 293 | 24k| 0 | 0 | 0 |1450k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
693.69/693.77 c 661s| 1110k| 88067 | 0 | 0.0 | 159M| 176 | - | 293 | 29k| 0 | 0 | 0 |1476k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
715.48/715.50 c 682s| 1120k| 79601 | 0 | 0.0 | 149M| 176 | - | 293 | 29k| 0 | 0 | 0 |1502k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
737.49/737.57 c 704s| 1130k| 69966 | 0 | 0.0 | 134M| 176 | - | 293 | 26k| 0 | 0 | 0 |1527k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
755.39/755.48 c 721s| 1140k| 65992 | 0 | 0.0 | 133M| 176 | - | 293 | 27k| 0 | 0 | 0 |1551k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
776.60/776.69 c 742s| 1150k| 61191 | 0 | 0.0 | 132M| 176 | - | 293 | 32k| 0 | 0 | 0 |1576k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
800.29/800.39 c 765s| 1160k| 55597 | 0 | 0.0 | 128M| 176 | - | 293 | 39k| 0 | 0 | 0 |1600k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
814.09/814.13 c 779s| 1170k| 56783 | 0 | 0.0 | 116M| 176 | - | 293 | 10k| 0 | 0 | 0 |1615k| 0 | 2.000000e+00 | 2.200000e+01 |1000.00%
821.09/821.12 o 9
821.09/821.12 c * 785s| 1176k| 26176 | 0 | 0.0 | 65M| 176 | - | 293 | 17k| 0 | 0 | 0 |1633k| 0 | 2.000000e+00 | 9.000000e+00 | 350.00%
829.79/829.80 c 794s| 1180k| 18029 | 0 | 0.0 | 45M| 176 | - | 293 | 18k| 0 | 0 | 0 |1646k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
840.89/840.93 c 804s| 1190k| 12725 | 0 | 0.0 | 28M| 176 | - | 293 |9784 | 0 | 0 | 0 |1668k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
845.29/845.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.29/845.33 c 809s| 1200k| 17004 | 0 | 0.0 | 31M| 176 | - | 293 | 11k| 0 | 0 | 0 |1683k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
851.79/851.80 c 815s| 1210k| 18171 | 0 | 0.0 | 33M| 176 | - | 293 | 17k| 0 | 0 | 0 |1703k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
857.19/857.23 c 820s| 1220k| 20096 | 0 | 0.0 | 31M| 176 | - | 293 | 11k| 0 | 0 | 0 |1716k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
863.89/863.91 c 826s| 1230k| 21675 | 0 | 0.0 | 35M| 176 | - | 293 | 14k| 0 | 0 | 0 |1737k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
872.99/873.00 c 835s| 1240k| 21399 | 0 | 0.0 | 39M| 176 | - | 293 | 21k| 0 | 0 | 0 |1761k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
884.19/884.25 c 846s| 1250k| 20519 | 0 | 0.0 | 43M| 176 | - | 293 | 27k| 0 | 0 | 0 |1785k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
895.59/895.63 c 857s| 1260k| 22042 | 0 | 0.0 | 42M| 176 | - | 293 | 19k| 0 | 0 | 0 |1803k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
901.79/901.83 c 863s| 1270k| 26159 | 0 | 0.0 | 45M| 176 | - | 293 | 16k| 0 | 0 | 0 |1818k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
910.99/911.02 c 871s| 1280k| 26085 | 0 | 0.0 | 47M| 176 | - | 293 | 19k| 0 | 0 | 0 |1838k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
925.79/925.81 c 886s| 1290k| 22413 | 0 | 0.0 | 47M| 176 | - | 293 | 29k| 0 | 0 | 0 |1866k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
944.29/944.37 c 904s| 1300k| 19351 | 0 | 0.0 | 43M| 176 | - | 293 | 28k| 0 | 0 | 0 |1892k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
956.19/956.27 c 916s| 1310k| 20096 | 0 | 0.0 | 43M| 176 | - | 293 | 21k| 0 | 0 | 0 |1911k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
968.89/968.95 c 928s| 1320k| 18990 | 0 | 0.0 | 46M| 176 | - | 293 | 27k| 0 | 0 | 0 |1933k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
985.38/985.48 c 944s| 1330k| 16077 | 0 | 0.0 | 44M| 176 | - | 293 | 32k| 0 | 0 | 0 |1957k| 0 | 6.000000e+00 | 9.000000e+00 | 50.00%
1007.98/1008.02 c 966s| 1340k| 9953 | 0 | 0.0 | 32M| 176 | - | 293 | 26k| 0 | 0 | 0 |1984k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1025.49/1025.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.49/1025.54 c 983s| 1350k| 5557 | 0 | 0.0 | 31M| 176 | - | 293 | 35k| 0 | 0 | 0 |2008k| 0 | 7.000000e+00 | 9.000000e+00 | 28.57%
1039.40/1039.45 c
1039.40/1039.45 c SCIP Status : problem is solved [optimal solution found]
1039.40/1039.45 c Solving Time (sec) : 997.10
1039.40/1039.45 c Solving Nodes : 1354967
1039.40/1039.45 c Primal Bound : +9.00000000000000e+00 (15 solutions)
1039.40/1039.45 c Dual Bound : +9.00000000000000e+00
1039.40/1039.45 c Gap : 0.00 %
1039.40/1039.45 s OPTIMUM FOUND
1039.40/1039.45 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1039.40/1039.45 v -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127
1039.40/1039.45 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1039.40/1039.45 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82
1039.40/1039.45 v -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 -x56
1039.40/1039.45 v -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
1039.40/1039.45 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
1039.40/1039.45 v -x4 -x3 -x2 -x1
1039.40/1039.45 c SCIP Status : problem is solved [optimal solution found]
1039.40/1039.45 c Solving Time : 997.10
1039.40/1039.45 c Original Problem :
1039.40/1039.45 c Problem name : HOME/instance-2693959-1277898542.wbo
1039.40/1039.45 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1039.40/1039.45 c Constraints : 166 initial, 166 maximal
1039.40/1039.45 c Presolved Problem :
1039.40/1039.45 c Problem name : t_HOME/instance-2693959-1277898542.wbo
1039.40/1039.45 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
1039.40/1039.45 c Constraints : 158 initial, 41015 maximal
1039.40/1039.45 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1039.40/1039.45 c trivial : 0.00 0 0 0 0 0 0 0 0
1039.40/1039.45 c dualfix : 0.00 4 0 0 0 0 0 0 0
1039.40/1039.45 c boundshift : 0.00 0 0 0 0 0 0 0 0
1039.40/1039.45 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1039.40/1039.45 c implics : 0.00 0 0 0 0 0 0 0 0
1039.40/1039.45 c probing : 0.01 0 0 0 0 0 0 0 0
1039.40/1039.45 c indicator : 0.00 0 0 0 0 0 2 0 0
1039.40/1039.45 c setppc : 0.00 0 0 0 0 0 0 0 0
1039.40/1039.45 c linear : 0.00 0 0 0 62 0 6 2 0
1039.40/1039.45 c logicor : 0.00 0 0 0 0 0 0 0 0
1039.40/1039.45 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1039.40/1039.45 c root node : - 0 - - 0 - - - -
1039.40/1039.45 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1039.40/1039.45 c integral : 0 0 0 0 0 0 0 0 0 0
1039.40/1039.45 c indicator : 62 0 3760567 0 831715 6421 1185729 0 0 0
1039.40/1039.45 c setppc : 30 0 4253590 0 928680 31952 4586906 0 0 0
1039.40/1039.45 c linear : 62 0 4221696 0 928697 496285 15990151 0 0 0
1039.40/1039.45 c logicor : 4+ 0 2051170 0 899248 80347 1261906 0 0 0
1039.40/1039.45 c bounddisjunction : 0+ 0 95503 0 0 0 995 0 0 0
1039.40/1039.45 c countsols : 0 0 0 0 928712 0 0 0 0 0
1039.40/1039.45 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1039.40/1039.45 c integral : 0.00 0.00 0.00 0.00 0.00
1039.40/1039.45 c indicator : 1.59 0.00 0.93 0.00 0.66
1039.40/1039.45 c setppc : 11.70 0.00 9.10 0.00 2.60
1039.40/1039.45 c linear : 92.12 0.00 92.03 0.00 0.09
1039.40/1039.45 c logicor : 423.53 0.00 423.30 0.00 0.23
1039.40/1039.45 c bounddisjunction : 0.07 0.00 0.07 0.00 0.00
1039.40/1039.45 c countsols : 0.00 0.00 0.00 0.00 0.00
1039.40/1039.45 c Propagators : Time Calls Cutoffs DomReds
1039.40/1039.45 c vbounds : 0.02 2 0 0
1039.40/1039.45 c rootredcost : 0.01 0 0 0
1039.40/1039.45 c pseudoobj : 8.13 4267324 7428 1047050
1039.40/1039.45 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1039.40/1039.45 c propagation : 34.74 616009 615947 3324822 28.1 290298 14.5 -
1039.40/1039.45 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1039.40/1039.45 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1039.40/1039.45 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1039.40/1039.45 c pseudo solution : 0.01 44 44 149 18.2 29 12.3 -
1039.40/1039.45 c applied globally : - - - 1944186 18.4 - - -
1039.40/1039.45 c applied locally : - - - 78083 38.1 - - -
1039.40/1039.45 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1039.40/1039.45 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1039.40/1039.45 c redcost : 0.00 0 0 0 0 0
1039.40/1039.45 c impliedbounds : 0.00 0 0 0 0 0
1039.40/1039.45 c intobj : 0.00 0 0 0 0 0
1039.40/1039.45 c cgmip : 0.00 0 0 0 0 0
1039.40/1039.45 c gomory : 0.00 0 0 0 0 0
1039.40/1039.45 c strongcg : 0.00 0 0 0 0 0
1039.40/1039.45 c cmir : 0.00 0 0 0 0 0
1039.40/1039.45 c flowcover : 0.00 0 0 0 0 0
1039.40/1039.45 c clique : 0.00 0 0 0 0 0
1039.40/1039.45 c zerohalf : 0.00 0 0 0 0 0
1039.40/1039.45 c mcf : 0.00 0 0 0 0 0
1039.40/1039.45 c rapidlearning : 0.00 0 0 0 0 0
1039.40/1039.45 c Pricers : Time Calls Vars
1039.40/1039.45 c problem variables: 0.00 0 0
1039.40/1039.45 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1039.40/1039.45 c relpscost : 0.00 0 0 0 0 0 0
1039.40/1039.45 c pscost : 0.00 0 0 0 0 0 0
1039.40/1039.45 c inference : 6.01 928697 0 0 0 0 1857394
1039.40/1039.45 c mostinf : 0.00 0 0 0 0 0 0
1039.40/1039.45 c leastinf : 0.00 0 0 0 0 0 0
1039.40/1039.45 c fullstrong : 0.00 0 0 0 0 0 0
1039.40/1039.45 c allfullstrong : 0.00 0 0 0 0 0 0
1039.40/1039.45 c random : 0.00 0 0 0 0 0 0
1039.40/1039.45 c Primal Heuristics : Time Calls Found
1039.40/1039.45 c LP solutions : 0.00 - 0
1039.40/1039.45 c pseudo solutions : 0.27 - 15
1039.40/1039.45 c oneopt : 0.11 0 0
1039.40/1039.45 c trivial : 0.00 2 0
1039.40/1039.45 c simplerounding : 0.00 0 0
1039.40/1039.45 c zirounding : 0.00 0 0
1039.40/1039.45 c rounding : 0.00 0 0
1039.40/1039.45 c shifting : 0.00 0 0
1039.40/1039.45 c intshifting : 0.00 0 0
1039.40/1039.45 c twoopt : 0.00 0 0
1039.40/1039.45 c fixandinfer : 0.00 0 0
1039.40/1039.45 c feaspump : 0.00 0 0
1039.40/1039.45 c coefdiving : 0.00 0 0
1039.40/1039.45 c pscostdiving : 0.00 0 0
1039.40/1039.45 c fracdiving : 0.00 0 0
1039.40/1039.45 c veclendiving : 0.00 0 0
1039.40/1039.45 c intdiving : 0.00 0 0
1039.40/1039.45 c actconsdiving : 0.00 0 0
1039.40/1039.45 c objpscostdiving : 0.00 0 0
1039.40/1039.45 c rootsoldiving : 0.00 0 0
1039.40/1039.45 c linesearchdiving : 0.00 0 0
1039.40/1039.45 c guideddiving : 0.00 0 0
1039.40/1039.45 c octane : 0.00 0 0
1039.40/1039.45 c rens : 0.00 0 0
1039.40/1039.45 c rins : 0.00 0 0
1039.40/1039.45 c localbranching : 0.00 0 0
1039.40/1039.45 c mutation : 0.00 0 0
1039.40/1039.45 c crossover : 0.00 0 0
1039.40/1039.45 c dins : 0.00 0 0
1039.40/1039.45 c undercover : 0.00 0 0
1039.40/1039.45 c nlp : 0.01 0 0
1039.40/1039.45 c trysol : 0.01 1 0
1039.40/1039.45 c LP : Time Calls Iterations Iter/call Iter/sec
1039.40/1039.45 c primal LP : 0.00 0 0 0.00 -
1039.40/1039.45 c dual LP : 0.00 0 0 0.00 -
1039.40/1039.45 c lex dual LP : 0.00 0 0 0.00 -
1039.40/1039.45 c barrier LP : 0.00 0 0 0.00 -
1039.40/1039.45 c diving/probing LP: 0.00 0 0 0.00 -
1039.40/1039.45 c strong branching : 0.00 0 0 0.00 -
1039.40/1039.45 c (at root node) : - 0 0 0.00 -
1039.40/1039.45 c conflict analysis: 0.00 0 0 0.00 -
1039.40/1039.45 c B&B Tree :
1039.40/1039.45 c number of runs : 1
1039.40/1039.45 c nodes : 1354967
1039.40/1039.45 c nodes (total) : 1354967
1039.40/1039.45 c nodes left : 0
1039.40/1039.45 c max depth : 176
1039.40/1039.45 c max depth (total): 176
1039.40/1039.45 c backtracks : 490092 (36.2%)
1039.40/1039.45 c delayed cutoffs : 353615
1039.40/1039.45 c repropagations : 1667227 (6670802 domain reductions, 196222 cutoffs)
1039.40/1039.45 c avg switch length: 22.21
1039.40/1039.45 c switching time : 333.25
1039.40/1039.45 c Solution :
1039.40/1039.45 c Solutions found : 15 (15 improvements)
1039.40/1039.45 c First Solution : +6.21000000000000e+02 (in run 1, after 147893 nodes, 62.33 seconds, depth 125, found by <relaxation>)
1039.40/1039.45 c Primal Bound : +9.00000000000000e+00 (in run 1, after 1176883 nodes, 785.20 seconds, depth 65, found by <relaxation>)
1039.40/1039.45 c Dual Bound : +9.00000000000000e+00
1039.40/1039.45 c Gap : 0.00 %
1039.40/1039.45 c Root Dual Bound : +0.00000000000000e+00
1039.40/1039.45 c Root Iterations : 0
1039.40/1039.50 c Time complete: 1039.49.