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-2693952-1277898326.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.02
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.16 c 1.1s| 10000 | 7034 | 0 | 0.0 |6622k| 176 | - | 293 |3135 | 0 | 0 | 0 |7708 | 0 | 0.000000e+00 | -- | Inf
3.09/3.10 c 2.9s| 20000 | 12059 | 0 | 0.0 | 11M| 176 | - | 293 |4489 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
5.59/5.67 c 5.4s| 30000 | 16337 | 0 | 0.0 | 16M| 176 | - | 293 |7106 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
8.79/8.87 c 8.5s| 40000 | 19575 | 0 | 0.0 | 21M| 176 | - | 293 |9429 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
12.39/12.43 c 12.0s| 50000 | 21963 | 0 | 0.0 | 26M| 176 | - | 293 | 11k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
15.59/15.66 c 15.1s| 60000 | 26087 | 0 | 0.0 | 27M| 176 | - | 293 |4695 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
16.68/16.77 o 552
16.68/16.77 c *16.2s| 64332 | 27923 | 0 | 0.0 | 30M| 176 | - | 293 |5495 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 5.520000e+02 | Inf
16.79/16.88 o 439
16.79/16.88 c *16.3s| 65463 | 28933 | 0 | 0.0 | 30M| 176 | - | 293 |4180 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
18.09/18.18 c 17.5s| 70000 | 30260 | 0 | 0.0 | 32M| 176 | - | 293 |6313 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
22.29/22.39 c 21.6s| 80000 | 31631 | 0 | 0.0 | 37M| 176 | - | 293 | 11k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
27.68/27.71 c 26.8s| 90000 | 32318 | 0 | 0.0 | 41M| 176 | - | 293 | 15k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
33.99/34.05 c 33.1s|100000 | 32565 | 0 | 0.0 | 45M| 176 | - | 293 | 19k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
41.99/42.07 c 41.0s|110000 | 31396 | 0 | 0.0 | 47M| 176 | - | 293 | 23k| 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
49.79/49.82 c 48.6s|120000 | 32218 | 0 | 0.0 | 45M| 176 | - | 293 | 12k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
53.08/53.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.08/53.17 c 51.9s|130000 | 37267 | 0 | 0.0 | 49M| 176 | - | 293 |9385 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
57.09/57.20 c 55.8s|140000 | 40591 | 0 | 0.0 | 53M| 176 | - | 293 | 10k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 4.390000e+02 | Inf
60.79/60.82 o 421
60.79/60.82 c *59.4s|148261 | 43033 | 0 | 0.0 | 54M| 176 | - | 293 |6542 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 4.210000e+02 | Inf
60.79/60.85 o 372
60.79/60.85 c *59.4s|148491 | 43241 | 0 | 0.0 | 54M| 176 | - | 293 |6180 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 3.720000e+02 | Inf
60.99/61.05 c 59.6s|150000 | 44489 | 0 | 0.0 | 54M| 176 | - | 293 |4148 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 3.720000e+02 | Inf
61.60/61.69 o 322
61.60/61.69 c *60.2s|155281 | 48719 | 0 | 0.0 | 56M| 176 | - | 293 |4102 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.220000e+02 | Inf
62.29/62.36 c 60.8s|160000 | 52144 | 0 | 0.0 | 58M| 176 | - | 293 |5754 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 3.220000e+02 | Inf
62.49/62.53 o 247
62.49/62.53 c *61.0s|161041 | 52839 | 0 | 0.0 | 59M| 176 | - | 293 |6102 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
64.98/65.09 c 63.5s|170000 | 56251 | 0 | 0.0 | 62M| 176 | - | 293 |8152 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
73.09/73.19 c 71.5s|180000 | 52686 | 0 | 0.0 | 63M| 176 | - | 293 | 19k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
85.98/86.01 c 84.2s|190000 | 47110 | 0 | 0.0 | 59M| 176 | - | 293 | 26k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
96.99/97.05 c 95.1s|200000 | 45959 | 0 | 0.0 | 52M| 176 | - | 293 | 13k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
103.48/103.59 c 102s|210000 | 47759 | 0 | 0.0 | 56M| 176 | - | 293 | 14k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
111.69/111.74 c 110s|220000 | 47631 | 0 | 0.0 | 58M| 176 | - | 293 | 17k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
120.79/120.80 c 119s|230000 | 46915 | 0 | 0.0 | 60M| 176 | - | 293 | 19k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
130.79/130.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.79/130.83 c 128s|240000 | 45356 | 0 | 0.0 | 58M| 176 | - | 293 | 19k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
132.68/132.78 c 130s|250000 | 53509 | 0 | 0.0 | 57M| 176 | - | 293 |5673 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
134.28/134.36 c 132s|260000 | 61044 | 0 | 0.0 | 61M| 176 | - | 293 |5370 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
135.99/136.00 c 133s|270000 | 68343 | 0 | 0.0 | 65M| 176 | - | 293 |5746 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
137.69/137.74 c 135s|280000 | 75471 | 0 | 0.0 | 69M| 176 | - | 293 |6385 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
139.59/139.67 c 137s|290000 | 82266 | 0 | 0.0 | 73M| 176 | - | 293 |7060 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
141.58/141.60 c 139s|300000 | 89037 | 0 | 0.0 | 78M| 176 | - | 293 |8199 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
143.58/143.65 c 141s|310000 | 95729 | 0 | 0.0 | 82M| 176 | - | 293 |9726 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
145.99/146.04 c 143s|320000 |102031 | 0 | 0.0 | 86M| 176 | - | 293 | 11k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
148.78/148.86 c 146s|330000 |107828 | 0 | 0.0 | 91M| 176 | - | 293 | 13k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 2.470000e+02 | Inf
150.09/150.14 o 218
150.09/150.14 c * 147s|334307 |110251 | 0 | 0.0 | 93M| 176 | - | 293 | 13k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
151.99/152.06 c 149s|340000 |113339 | 0 | 0.0 | 95M| 176 | - | 293 | 14k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
154.89/154.90 o 190
154.89/154.90 c * 152s|346859 |116354 | 0 | 0.0 | 99M| 176 | - | 293 | 17k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
155.99/156.03 c 153s|350000 |118374 | 0 | 0.0 | 99M| 176 | - | 293 | 10k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
160.19/160.25 c 157s|360000 |119639 | 0 | 0.0 | 94M| 176 | - | 293 | 10k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
168.29/168.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.29/168.36 c 165s|370000 |117472 | 0 | 0.0 | 95M| 176 | - | 293 | 15k| 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.900000e+02 | Large
180.59/180.66 c 177s|380000 |113601 | 0 | 0.0 | 96M| 176 | - | 293 | 23k| 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 1.900000e+02 | Large
196.89/196.91 c 193s|390000 |108745 | 0 | 0.0 | 93M| 176 | - | 293 | 29k| 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 1.900000e+02 | Large
204.18/204.20 c 200s|400000 |113473 | 0 | 0.0 | 89M| 176 | - | 293 | 13k| 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 1.900000e+02 | Large
206.59/206.61 c 203s|410000 |120747 | 0 | 0.0 | 91M| 176 | - | 293 |8670 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 1.900000e+02 | Large
208.89/208.94 c 205s|420000 |127682 | 0 | 0.0 | 95M| 176 | - | 293 |8411 | 0 | 0 | 0 | 533k| 0 | 1.000000e+00 | 1.900000e+02 | Large
211.20/211.26 c 207s|430000 |134499 | 0 | 0.0 | 99M| 176 | - | 293 |8417 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 1.900000e+02 | Large
213.59/213.61 c 209s|440000 |141143 | 0 | 0.0 | 103M| 176 | - | 293 |8559 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 1.900000e+02 | Large
215.99/216.06 c 212s|450000 |147641 | 0 | 0.0 | 107M| 176 | - | 293 |8737 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 1.900000e+02 | Large
218.49/218.51 c 214s|460000 |154149 | 0 | 0.0 | 111M| 176 | - | 293 |8894 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 1.900000e+02 | Large
220.88/220.92 c 216s|470000 |160665 | 0 | 0.0 | 115M| 176 | - | 293 |9274 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 1.900000e+02 | Large
223.38/223.43 c 219s|480000 |167078 | 0 | 0.0 | 119M| 176 | - | 293 |9677 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 1.900000e+02 | Large
225.89/225.98 c 221s|490000 |173383 | 0 | 0.0 | 123M| 176 | - | 293 |9927 | 0 | 0 | 0 | 568k| 0 | 1.000000e+00 | 1.900000e+02 | Large
228.59/228.64 c 224s|500000 |179656 | 0 | 0.0 | 128M| 176 | - | 293 | 10k| 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 1.900000e+02 | Large
231.38/231.46 c 227s|510000 |185530 | 0 | 0.0 | 132M| 176 | - | 293 | 10k| 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 1.900000e+02 | Large
234.20/234.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.20/234.27 c 229s|520000 |191439 | 0 | 0.0 | 136M| 176 | - | 293 | 10k| 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 1.900000e+02 | Large
237.09/237.18 c 232s|530000 |197205 | 0 | 0.0 | 140M| 176 | - | 293 | 10k| 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 1.900000e+02 | Large
240.09/240.13 c 235s|540000 |203008 | 0 | 0.0 | 144M| 176 | - | 293 | 11k| 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 1.900000e+02 | Large
243.09/243.17 c 238s|550000 |208737 | 0 | 0.0 | 148M| 176 | - | 293 | 11k| 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 1.900000e+02 | Large
246.19/246.22 c 241s|560000 |214360 | 0 | 0.0 | 152M| 176 | - | 293 | 11k| 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 1.900000e+02 | Large
249.29/249.33 c 244s|570000 |219918 | 0 | 0.0 | 156M| 176 | - | 293 | 12k| 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 1.900000e+02 | Large
252.49/252.58 c 247s|580000 |225460 | 0 | 0.0 | 160M| 176 | - | 293 | 13k| 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 1.900000e+02 | Large
256.09/256.19 c 251s|590000 |230629 | 0 | 0.0 | 164M| 176 | - | 293 | 14k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 1.900000e+02 | Large
259.69/259.77 c 254s|600000 |235858 | 0 | 0.0 | 168M| 176 | - | 293 | 14k| 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 1.900000e+02 | Large
263.39/263.43 c 258s|610000 |241100 | 0 | 0.0 | 172M| 176 | - | 293 | 15k| 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 1.900000e+02 | Large
267.09/267.16 c 261s|620000 |246363 | 0 | 0.0 | 176M| 176 | - | 293 | 16k| 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 1.900000e+02 | Large
271.09/271.11 c 265s|630000 |251465 | 0 | 0.0 | 180M| 176 | - | 293 | 17k| 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 1.900000e+02 | Large
275.00/275.09 c 269s|640000 |256624 | 0 | 0.0 | 184M| 176 | - | 293 | 18k| 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 1.900000e+02 | Large
278.59/278.68 o 180
278.59/278.68 c * 273s|648415 |260310 | 0 | 0.0 | 187M| 176 | - | 293 | 18k| 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 1.800000e+02 | Large
279.40/279.42 c 273s|650000 |261072 | 0 | 0.0 | 188M| 176 | - | 293 | 18k| 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 1.800000e+02 | Large
283.88/283.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.88/283.90 c 278s|660000 |265890 | 0 | 0.0 | 192M| 176 | - | 293 | 19k| 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 1.800000e+02 | Large
288.59/288.64 c 282s|670000 |270697 | 0 | 0.0 | 196M| 176 | - | 293 | 20k| 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 1.800000e+02 | Large
293.70/293.77 c 287s|680000 |275155 | 0 | 0.0 | 199M| 176 | - | 293 | 21k| 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 1.800000e+02 | Large
299.09/299.19 c 293s|690000 |279411 | 0 | 0.0 | 203M| 176 | - | 293 | 22k| 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 1.800000e+02 | Large
300.20/300.29 o 170
300.20/300.29 c * 294s|691882 |279590 | 0 | 0.0 | 203M| 176 | - | 293 | 22k| 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 1.700000e+02 | Large
304.28/304.31 o 158
304.28/304.31 c * 298s|698990 |281893 | 0 | 0.0 | 205M| 176 | - | 293 | 22k| 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 1.580000e+02 | Large
304.99/305.02 c 298s|700000 |282186 | 0 | 0.0 | 205M| 176 | - | 293 | 22k| 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 1.580000e+02 | Large
306.09/306.17 o 121
306.09/306.17 c * 300s|702046 |276616 | 0 | 0.0 | 201M| 176 | - | 293 | 22k| 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 1.210000e+02 | Large
311.99/312.01 c 305s|710000 |278672 | 0 | 0.0 | 204M| 176 | - | 293 | 23k| 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 1.210000e+02 | Large
320.39/320.42 c 314s|720000 |279853 | 0 | 0.0 | 207M| 176 | - | 293 | 23k| 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 1.210000e+02 | Large
325.59/325.67 c 319s|730000 |285071 | 0 | 0.0 | 207M| 176 | - | 293 | 11k| 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 1.210000e+02 | Large
329.38/329.48 c 323s|740000 |290093 | 0 | 0.0 | 211M| 176 | - | 293 | 10k| 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | 1.210000e+02 | Large
333.79/333.87 c 327s|750000 |293898 | 0 | 0.0 | 215M| 176 | - | 293 | 13k| 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 1.210000e+02 | Large
340.39/340.44 c 333s|760000 |294998 | 0 | 0.0 | 214M| 176 | - | 293 | 11k| 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 1.210000e+02 | Large
343.69/343.72 c 337s|770000 |300797 | 0 | 0.0 | 217M| 176 | - | 293 |9164 | 0 | 0 | 0 | 780k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
347.19/347.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.19/347.24 c 340s|780000 |305903 | 0 | 0.0 | 222M| 176 | - | 293 |9989 | 0 | 0 | 0 | 788k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
350.59/350.68 c 343s|790000 |311309 | 0 | 0.0 | 227M| 176 | - | 293 | 10k| 0 | 0 | 0 | 796k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
354.39/354.40 c 347s|800000 |316431 | 0 | 0.0 | 232M| 176 | - | 293 | 11k| 0 | 0 | 0 | 803k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
358.19/358.23 c 351s|810000 |321482 | 0 | 0.0 | 237M| 176 | - | 293 | 12k| 0 | 0 | 0 | 811k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
362.09/362.12 c 354s|820000 |326515 | 0 | 0.0 | 242M| 176 | - | 293 | 13k| 0 | 0 | 0 | 819k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
366.29/366.39 c 359s|830000 |331267 | 0 | 0.0 | 247M| 176 | - | 293 | 14k| 0 | 0 | 0 | 827k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
370.89/370.90 c 363s|840000 |335776 | 0 | 0.0 | 252M| 176 | - | 293 | 15k| 0 | 0 | 0 | 836k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
375.49/375.59 c 368s|850000 |340237 | 0 | 0.0 | 257M| 176 | - | 293 | 16k| 0 | 0 | 0 | 844k| 0 | 2.000000e+00 | 1.210000e+02 |5950.00%
377.49/377.53 o 120
377.49/377.53 c * 370s|854057 |342055 | 0 | 0.0 | 259M| 176 | - | 293 | 16k| 0 | 0 | 0 | 848k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
380.39/380.45 c 372s|860000 |344638 | 0 | 0.0 | 262M| 176 | - | 293 | 16k| 0 | 0 | 0 | 853k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
385.59/385.62 c 377s|870000 |348923 | 0 | 0.0 | 267M| 176 | - | 293 | 17k| 0 | 0 | 0 | 862k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
390.69/390.76 c 383s|880000 |353352 | 0 | 0.0 | 271M| 176 | - | 293 | 18k| 0 | 0 | 0 | 870k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
395.89/395.94 c 388s|890000 |357803 | 0 | 0.0 | 277M| 176 | - | 293 | 19k| 0 | 0 | 0 | 879k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
401.69/401.72 c 393s|900000 |361768 | 0 | 0.0 | 281M| 176 | - | 293 | 19k| 0 | 0 | 0 | 888k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
407.79/407.84 c 399s|910000 |365538 | 0 | 0.0 | 286M| 176 | - | 293 | 19k| 0 | 0 | 0 | 897k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
413.89/413.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.89/413.96 c 405s|920000 |369443 | 0 | 0.0 | 290M| 176 | - | 293 | 21k| 0 | 0 | 0 | 906k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
420.29/420.37 c 412s|930000 |373269 | 0 | 0.0 | 295M| 176 | - | 293 | 22k| 0 | 0 | 0 | 915k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
426.29/426.37 c 418s|940000 |377625 | 0 | 0.0 | 300M| 176 | - | 293 | 23k| 0 | 0 | 0 | 923k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
433.19/433.26 c 424s|950000 |381389 | 0 | 0.0 | 304M| 176 | - | 293 | 23k| 0 | 0 | 0 | 932k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
440.19/440.26 c 431s|960000 |385222 | 0 | 0.0 | 308M| 176 | - | 293 | 23k| 0 | 0 | 0 | 941k| 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
443.09/443.11 o 107
443.09/443.11 c * 434s|964344 |379352 | 0 | 0.0 | 303M| 176 | - | 293 | 24k| 0 | 0 | 0 | 945k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
447.59/447.66 c 439s|970000 |381214 | 0 | 0.0 | 306M| 176 | - | 293 | 25k| 0 | 0 | 0 | 950k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
455.69/455.76 c 447s|980000 |384528 | 0 | 0.0 | 311M| 176 | - | 293 | 27k| 0 | 0 | 0 | 960k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
463.59/463.69 c 454s|990000 |388207 | 0 | 0.0 | 316M| 176 | - | 293 | 28k| 0 | 0 | 0 | 969k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
473.00/473.00 c 464s| 1000k|390940 | 0 | 0.0 | 320M| 176 | - | 293 | 28k| 0 | 0 | 0 | 979k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
481.80/481.83 c 472s| 1010k|394123 | 0 | 0.0 | 324M| 176 | - | 293 | 28k| 0 | 0 | 0 | 989k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
490.39/490.46 c 481s| 1020k|397419 | 0 | 0.0 | 329M| 176 | - | 293 | 29k| 0 | 0 | 0 | 998k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
499.09/499.18 c 489s| 1030k|400722 | 0 | 0.0 | 334M| 176 | - | 293 | 30k| 0 | 0 | 0 |1008k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
507.79/507.84 c 498s| 1040k|404246 | 0 | 0.0 | 340M| 176 | - | 293 | 32k| 0 | 0 | 0 |1017k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
518.10/518.12 c 508s| 1050k|407088 | 0 | 0.0 | 345M| 176 | - | 293 | 34k| 0 | 0 | 0 |1027k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
529.10/529.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.10/529.16 c 519s| 1060k|409832 | 0 | 0.0 | 349M| 176 | - | 293 | 34k| 0 | 0 | 0 |1037k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
540.00/540.10 c 530s| 1070k|412797 | 0 | 0.0 | 354M| 176 | - | 293 | 35k| 0 | 0 | 0 |1047k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
551.79/551.88 c 542s| 1080k|415409 | 0 | 0.0 | 359M| 176 | - | 293 | 37k| 0 | 0 | 0 |1057k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
564.79/564.85 c 554s| 1090k|417659 | 0 | 0.0 | 365M| 176 | - | 293 | 39k| 0 | 0 | 0 |1068k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
579.19/579.28 c 569s| 1100k|419432 | 0 | 0.0 | 369M| 176 | - | 293 | 40k| 0 | 0 | 0 |1079k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
594.49/594.58 c 584s| 1110k|421042 | 0 | 0.0 | 374M| 176 | - | 293 | 42k| 0 | 0 | 0 |1090k| 0 | 2.000000e+00 | 1.070000e+02 |5250.00%
601.79/601.85 o 101
601.79/601.85 c * 591s| 1114k|420322 | 0 | 0.0 | 376M| 176 | - | 293 | 43k| 0 | 0 | 0 |1096k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
610.69/610.74 c 600s| 1120k|420917 | 0 | 0.0 | 378M| 176 | - | 293 | 44k| 0 | 0 | 0 |1102k| 0 | 2.000000e+00 | 1.010000e+02 |4950.00%
614.19/614.24 o 97
614.19/614.24 c * 603s| 1122k|418265 | 0 | 0.0 | 377M| 176 | - | 293 | 45k| 0 | 0 | 0 |1104k| 0 | 2.000000e+00 | 9.700000e+01 |4750.00%
614.39/614.42 o 62
614.39/614.42 c * 604s| 1122k|322294 | 0 | 0.0 | 291M| 176 | - | 293 | 45k| 0 | 0 | 0 |1104k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
620.40/620.44 o 61
620.40/620.44 c * 609s| 1127k|319548 | 0 | 0.0 | 280M| 176 | - | 293 |6898 | 0 | 0 | 0 |1110k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
622.20/622.22 c 611s| 1130k|318703 | 0 | 0.0 | 280M| 176 | - | 293 |5447 | 0 | 0 | 0 |1114k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
628.70/628.75 c 618s| 1140k|315651 | 0 | 0.0 | 282M| 176 | - | 293 | 10k| 0 | 0 | 0 |1127k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
638.39/638.44 c 627s| 1150k|310981 | 0 | 0.0 | 283M| 176 | - | 293 | 13k| 0 | 0 | 0 |1141k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
647.59/647.69 c 636s| 1160k|307305 | 0 | 0.0 | 281M| 176 | - | 293 |3937 | 0 | 0 | 0 |1155k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
651.39/651.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.39/651.43 c 640s| 1170k|309829 | 0 | 0.0 | 285M| 176 | - | 293 |5489 | 0 | 0 | 0 |1166k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
656.40/656.41 c 645s| 1180k|310797 | 0 | 0.0 | 289M| 176 | - | 293 |7633 | 0 | 0 | 0 |1180k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
662.10/662.12 c 650s| 1190k|311040 | 0 | 0.0 | 292M| 176 | - | 293 |8473 | 0 | 0 | 0 |1195k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
667.90/667.94 c 656s| 1200k|311384 | 0 | 0.0 | 294M| 176 | - | 293 | 10k| 0 | 0 | 0 |1209k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
674.69/674.72 c 663s| 1210k|311244 | 0 | 0.0 | 297M| 176 | - | 293 | 12k| 0 | 0 | 0 |1224k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
682.09/682.11 c 670s| 1220k|310388 | 0 | 0.0 | 296M| 176 | - | 293 |8843 | 0 | 0 | 0 |1239k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
687.40/687.46 c 675s| 1230k|309712 | 0 | 0.0 | 298M| 176 | - | 293 |7059 | 0 | 0 | 0 |1250k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
695.20/695.26 c 683s| 1240k|306499 | 0 | 0.0 | 300M| 176 | - | 293 |9994 | 0 | 0 | 0 |1263k| 0 | 2.000000e+00 | 6.100000e+01 |2950.00%
696.19/696.26 o 55
696.19/696.26 c * 684s| 1241k|278480 | 0 | 0.0 | 265M| 176 | - | 293 | 10k| 0 | 0 | 0 |1265k| 0 | 2.000000e+00 | 5.500000e+01 |2650.00%
703.30/703.39 c 691s| 1250k|273865 | 0 | 0.0 | 265M| 176 | - | 293 |8612 | 0 | 0 | 0 |1280k| 0 | 2.000000e+00 | 5.500000e+01 |2650.00%
714.59/714.69 c 702s| 1260k|266627 | 0 | 0.0 | 264M| 176 | - | 293 | 13k| 0 | 0 | 0 |1298k| 0 | 2.000000e+00 | 5.500000e+01 |2650.00%
728.49/728.59 c 715s| 1270k|259058 | 0 | 0.0 | 263M| 176 | - | 293 | 15k| 0 | 0 | 0 |1316k| 0 | 2.000000e+00 | 5.500000e+01 |2650.00%
732.99/733.05 o 52
732.99/733.05 c * 720s| 1272k|256385 | 0 | 0.0 | 262M| 176 | - | 293 | 16k| 0 | 0 | 0 |1321k| 0 | 2.000000e+00 | 5.200000e+01 |2500.00%
732.99/733.07 o 36
732.99/733.07 c * 720s| 1272k|250739 | 0 | 0.0 | 256M| 176 | - | 293 | 16k| 0 | 0 | 0 |1321k| 0 | 2.000000e+00 | 3.600000e+01 |1700.00%
738.69/738.77 o 31
738.69/738.77 c * 725s| 1275k|187604 | 0 | 0.0 | 216M| 176 | - | 293 | 18k| 0 | 0 | 0 |1327k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
748.09/748.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.09/748.13 c 735s| 1280k|182760 | 0 | 0.0 | 216M| 176 | - | 293 | 20k| 0 | 0 | 0 |1336k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
773.89/773.90 c 760s| 1290k|169875 | 0 | 0.0 | 212M| 176 | - | 293 | 27k| 0 | 0 | 0 |1358k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
803.59/803.66 c 790s| 1300k|157623 | 0 | 0.0 | 207M| 176 | - | 293 | 32k| 0 | 0 | 0 |1378k| 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
834.09/834.11 o 24
834.09/834.11 c * 820s| 1308k|141556 | 0 | 0.0 | 197M| 176 | - | 293 | 37k| 0 | 0 | 0 |1397k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
839.09/839.17 c 825s| 1310k|139018 | 0 | 0.0 | 188M| 176 | - | 293 | 12k| 0 | 0 | 0 |1401k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
859.00/859.04 c 845s| 1320k|121985 | 0 | 0.0 | 172M| 176 | - | 293 | 23k| 0 | 0 | 0 |1429k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
874.19/874.22 c 860s| 1330k|113840 | 0 | 0.0 | 158M| 176 | - | 293 | 11k| 0 | 0 | 0 |1453k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
884.90/884.99 c 870s| 1340k|110012 | 0 | 0.0 | 159M| 176 | - | 293 | 17k| 0 | 0 | 0 |1474k| 0 | 2.000000e+00 | 2.400000e+01 |1100.00%
888.10/888.19 o 8
888.10/888.19 c * 873s| 1342k| 52024 | 0 | 0.0 | 104M| 176 | - | 293 | 18k| 0 | 0 | 0 |1479k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
900.00/900.06 c 885s| 1350k| 48137 | 0 | 0.0 | 104M| 176 | - | 293 | 21k| 0 | 0 | 0 |1496k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
917.50/917.53 c 903s| 1360k| 43233 | 0 | 0.0 | 103M| 176 | - | 293 | 27k| 0 | 0 | 0 |1518k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
940.29/940.38 c 925s| 1370k| 37330 | 0 | 0.0 | 99M| 176 | - | 293 | 29k| 0 | 0 | 0 |1540k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
947.29/947.32 o 2
947.29/947.32 c * 932s| 1379k| 0 | 0 | 0.0 | 12M| 176 | - | 293 | 11k| 0 | 0 | 0 |1548k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
947.29/947.32 c
947.29/947.32 c SCIP Status : problem is solved [optimal solution found]
947.29/947.32 c Solving Time (sec) : 932.09
947.29/947.32 c Solving Nodes : 1379492
947.29/947.32 c Primal Bound : +2.00000000000000e+00 (25 solutions)
947.29/947.32 c Dual Bound : +2.00000000000000e+00
947.29/947.32 c Gap : 0.00 %
947.29/947.32 s OPTIMUM FOUND
947.29/947.32 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
947.29/947.32 v x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127
947.29/947.32 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106
947.29/947.32 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
947.29/947.32 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
947.29/947.32 v -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31
947.29/947.32 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
947.29/947.32 v -x4 -x3 -x2 -x1
947.29/947.32 c SCIP Status : problem is solved [optimal solution found]
947.29/947.32 c Solving Time : 932.09
947.29/947.32 c Original Problem :
947.29/947.32 c Problem name : HOME/instance-2693952-1277898326.wbo
947.29/947.32 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
947.29/947.32 c Constraints : 166 initial, 166 maximal
947.29/947.32 c Presolved Problem :
947.29/947.32 c Problem name : t_HOME/instance-2693952-1277898326.wbo
947.29/947.32 c Variables : 293 (231 binary, 0 integer, 0 implicit integer, 62 continuous)
947.29/947.32 c Constraints : 158 initial, 45739 maximal
947.29/947.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
947.29/947.32 c trivial : 0.00 0 0 0 0 0 0 0 0
947.29/947.32 c dualfix : 0.00 4 0 0 0 0 0 0 0
947.29/947.32 c boundshift : 0.00 0 0 0 0 0 0 0 0
947.29/947.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0
947.29/947.32 c implics : 0.00 0 0 0 0 0 0 0 0
947.29/947.32 c probing : 0.01 0 0 0 0 0 0 0 0
947.29/947.32 c indicator : 0.00 0 0 0 0 0 2 0 0
947.29/947.32 c setppc : 0.00 0 0 0 0 0 0 0 0
947.29/947.32 c linear : 0.00 0 0 0 62 0 6 2 0
947.29/947.32 c logicor : 0.00 0 0 0 0 0 0 0 0
947.29/947.32 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
947.29/947.32 c root node : - 21 - - 42 - - - -
947.29/947.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
947.29/947.32 c integral : 0 0 0 0 0 0 0 0 0 0
947.29/947.32 c indicator : 62 0 3731727 0 909148 9532 1874806 0 0 0
947.29/947.32 c setppc : 30 0 4166690 0 995801 37429 4111586 0 0 0
947.29/947.32 c linear : 62 0 4129533 0 995884 346744 15999092 0 0 0
947.29/947.32 c logicor : 4+ 0 1986659 0 812267 139377 1668046 0 0 0
947.29/947.32 c bounddisjunction : 0+ 0 101333 0 0 0 3467 0 0 0
947.29/947.32 c countsols : 0 0 0 0 995909 0 0 0 0 0
947.29/947.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
947.29/947.32 c integral : 0.00 0.00 0.00 0.00 0.00
947.29/947.32 c indicator : 4.61 0.00 3.13 0.00 1.48
947.29/947.32 c setppc : 13.84 0.00 10.74 0.00 3.10
947.29/947.32 c linear : 85.31 0.00 84.77 0.00 0.54
947.29/947.32 c logicor : 382.73 0.00 382.26 0.00 0.47
947.29/947.32 c bounddisjunction : 0.16 0.00 0.16 0.00 0.00
947.29/947.32 c countsols : 0.16 0.00 0.00 0.00 0.16
947.29/947.32 c Propagators : Time Calls Cutoffs DomReds
947.29/947.32 c vbounds : 0.84 2 0 0
947.29/947.32 c rootredcost : 0.83 0 0 0
947.29/947.32 c pseudoobj : 15.66 4213230 36855 1636242
947.29/947.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
947.29/947.32 c propagation : 35.75 560403 560300 3048647 27.8 204066 14.6 -
947.29/947.32 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
947.29/947.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
947.29/947.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
947.29/947.32 c pseudo solution : 0.00 89 89 464 26.4 44 13.8 -
947.29/947.32 c applied globally : - - - 1479516 18.4 - - -
947.29/947.32 c applied locally : - - - 68704 38.0 - - -
947.29/947.32 c Separators : Time Calls Cutoffs DomReds Cuts Conss
947.29/947.32 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
947.29/947.32 c redcost : 0.00 0 0 0 0 0
947.29/947.32 c impliedbounds : 0.00 0 0 0 0 0
947.29/947.32 c intobj : 0.00 0 0 0 0 0
947.29/947.32 c cgmip : 0.00 0 0 0 0 0
947.29/947.32 c gomory : 0.00 0 0 0 0 0
947.29/947.32 c strongcg : 0.00 0 0 0 0 0
947.29/947.32 c cmir : 0.00 0 0 0 0 0
947.29/947.32 c flowcover : 0.00 0 0 0 0 0
947.29/947.32 c clique : 0.00 0 0 0 0 0
947.29/947.32 c zerohalf : 0.00 0 0 0 0 0
947.29/947.32 c mcf : 0.00 0 0 0 0 0
947.29/947.32 c rapidlearning : 0.00 0 0 0 0 0
947.29/947.32 c Pricers : Time Calls Vars
947.29/947.32 c problem variables: 0.00 0 0
947.29/947.32 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
947.29/947.32 c relpscost : 0.00 0 0 0 0 0 0
947.29/947.32 c pscost : 0.00 0 0 0 0 0 0
947.29/947.32 c inference : 7.72 995884 0 0 0 0 1991768
947.29/947.32 c mostinf : 0.00 0 0 0 0 0 0
947.29/947.32 c leastinf : 0.00 0 0 0 0 0 0
947.29/947.32 c fullstrong : 0.00 0 0 0 0 0 0
947.29/947.32 c allfullstrong : 0.00 0 0 0 0 0 0
947.29/947.32 c random : 0.00 0 0 0 0 0 0
947.29/947.32 c Primal Heuristics : Time Calls Found
947.29/947.32 c LP solutions : 0.00 - 0
947.29/947.32 c pseudo solutions : 0.77 - 25
947.29/947.32 c oneopt : 0.50 0 0
947.29/947.32 c trivial : 0.00 2 0
947.29/947.32 c simplerounding : 0.00 0 0
947.29/947.32 c zirounding : 0.00 0 0
947.29/947.32 c rounding : 0.00 0 0
947.29/947.32 c shifting : 0.00 0 0
947.29/947.32 c intshifting : 0.00 0 0
947.29/947.32 c twoopt : 0.00 0 0
947.29/947.32 c fixandinfer : 0.00 0 0
947.29/947.32 c feaspump : 0.00 0 0
947.29/947.32 c coefdiving : 0.00 0 0
947.29/947.32 c pscostdiving : 0.00 0 0
947.29/947.32 c fracdiving : 0.00 0 0
947.29/947.32 c veclendiving : 0.00 0 0
947.29/947.32 c intdiving : 0.00 0 0
947.29/947.32 c actconsdiving : 0.00 0 0
947.29/947.32 c objpscostdiving : 0.00 0 0
947.29/947.32 c rootsoldiving : 0.00 0 0
947.29/947.32 c linesearchdiving : 0.00 0 0
947.29/947.32 c guideddiving : 0.00 0 0
947.29/947.32 c octane : 0.00 0 0
947.29/947.32 c rens : 0.00 0 0
947.29/947.32 c rins : 0.00 0 0
947.29/947.32 c localbranching : 0.00 0 0
947.29/947.32 c mutation : 0.00 0 0
947.29/947.32 c crossover : 0.00 0 0
947.29/947.32 c dins : 0.00 0 0
947.29/947.32 c undercover : 0.00 0 0
947.29/947.32 c nlp : 0.35 0 0
947.29/947.32 c trysol : 0.32 1 0
947.29/947.32 c LP : Time Calls Iterations Iter/call Iter/sec
947.29/947.32 c primal LP : 0.00 0 0 0.00 -
947.29/947.32 c dual LP : 0.00 0 0 0.00 -
947.29/947.32 c lex dual LP : 0.00 0 0 0.00 -
947.29/947.32 c barrier LP : 0.00 0 0 0.00 -
947.29/947.32 c diving/probing LP: 0.00 0 0 0.00 -
947.29/947.32 c strong branching : 0.00 0 0 0.00 -
947.29/947.32 c (at root node) : - 0 0 0.00 -
947.29/947.32 c conflict analysis: 0.00 0 0 0.00 -
947.29/947.32 c B&B Tree :
947.29/947.32 c number of runs : 1
947.29/947.32 c nodes : 1379492
947.29/947.32 c nodes (total) : 1379492
947.29/947.32 c nodes left : 0
947.29/947.32 c max depth : 176
947.29/947.32 c max depth (total): 176
947.29/947.32 c backtracks : 421507 (30.6%)
947.29/947.32 c delayed cutoffs : 298020
947.29/947.32 c repropagations : 1642645 (7049202 domain reductions, 186443 cutoffs)
947.29/947.32 c avg switch length: 20.78
947.29/947.32 c switching time : 302.35
947.29/947.32 c Solution :
947.29/947.32 c Solutions found : 25 (25 improvements)
947.29/947.32 c First Solution : +5.52000000000000e+02 (in run 1, after 64332 nodes, 16.17 seconds, depth 102, found by <relaxation>)
947.29/947.32 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1379492 nodes, 931.89 seconds, depth 54, found by <relaxation>)
947.29/947.32 c Dual Bound : +2.00000000000000e+00
947.29/947.32 c Gap : 0.00 %
947.29/947.32 c Root Dual Bound : +0.00000000000000e+00
947.29/947.32 c Root Iterations : 0
947.29/947.36 c Time complete: 947.36.