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-2693834-1277895085.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 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, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 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 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 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 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.98/1.05 c 0.9s| 10000 | 7325 | 0 | 0.0 |6670k| 166 | - | 305 |3520 | 0 | 0 | 0 |6463 | 0 | 0.000000e+00 | -- | Inf
2.79/2.87 c 2.7s| 20000 | 13021 | 0 | 0.0 | 11M| 166 | - | 305 |5261 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
5.09/5.12 c 4.9s| 30000 | 18519 | 0 | 0.0 | 17M| 166 | - | 305 |8963 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
8.29/8.31 c 8.0s| 40000 | 23066 | 0 | 0.0 | 22M| 166 | - | 305 | 11k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
12.29/12.37 c 11.9s| 50000 | 26167 | 0 | 0.0 | 27M| 166 | - | 305 | 13k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
17.49/17.58 c 17.0s| 60000 | 28246 | 0 | 0.0 | 29M| 166 | - | 305 | 11k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
19.69/19.74 c 19.1s| 70000 | 34519 | 0 | 0.0 | 32M| 166 | - | 305 |7052 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
20.19/20.20 o 535
20.19/20.20 c *19.5s| 76738 | 41229 | 0 | 0.0 | 33M| 166 | - | 305 |2545 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 5.350000e+02 | Inf
20.19/20.20 o 434
20.19/20.20 c *19.5s| 76739 | 41218 | 0 | 0.0 | 33M| 166 | - | 305 |2545 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 4.340000e+02 | Inf
20.19/20.21 o 360
20.19/20.21 c *19.5s| 76932 | 41398 | 0 | 0.0 | 33M| 166 | - | 305 |2524 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.600000e+02 | Inf
20.19/20.21 o 316
20.19/20.21 c *19.5s| 76933 | 41385 | 0 | 0.0 | 33M| 166 | - | 305 |2524 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
20.89/20.93 c 20.2s| 80000 | 42752 | 0 | 0.0 | 35M| 166 | - | 305 |5300 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
25.69/25.76 c 24.9s| 90000 | 45046 | 0 | 0.0 | 42M| 166 | - | 305 | 14k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
32.99/33.04 c 32.1s|100000 | 46143 | 0 | 0.0 | 47M| 166 | - | 305 | 18k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
41.69/41.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.69/41.79 c 40.8s|110000 | 46620 | 0 | 0.0 | 51M| 166 | - | 305 | 21k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
51.29/51.30 c 50.1s|120000 | 46466 | 0 | 0.0 | 55M| 166 | - | 305 | 23k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
61.70/61.70 c 60.4s|130000 | 45976 | 0 | 0.0 | 58M| 166 | - | 305 | 28k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
75.19/75.21 c 73.8s|140000 | 43291 | 0 | 0.0 | 60M| 166 | - | 305 | 35k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
80.99/81.06 c 79.5s|150000 | 48974 | 0 | 0.0 | 55M| 166 | - | 305 |8474 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
84.59/84.62 c 83.0s|160000 | 53999 | 0 | 0.0 | 60M| 166 | - | 305 | 10k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
89.10/89.16 c 87.5s|170000 | 58155 | 0 | 0.0 | 65M| 166 | - | 305 | 13k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
93.99/94.07 c 92.3s|180000 | 62008 | 0 | 0.0 | 68M| 166 | - | 305 | 14k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
95.09/95.11 c 93.2s|190000 | 71589 | 0 | 0.0 | 68M| 166 | - | 305 |1686 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
95.09/95.18 o 161
95.09/95.18 c *93.3s|190909 | 71883 | 0 | 0.0 | 68M| 166 | - | 305 |1637 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.610000e+02 | Inf
95.39/95.40 o 144
95.39/95.40 c *93.5s|193292 | 73653 | 0 | 0.0 | 69M| 166 | - | 305 |1826 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
95.50/95.53 o 135
95.50/95.53 c *93.6s|194567 | 74554 | 0 | 0.0 | 70M| 166 | - | 305 |2011 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
95.99/96.08 o 103
95.99/96.08 c *94.1s|199569 | 77818 | 0 | 0.0 | 71M| 166 | - | 305 |2547 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
96.09/96.12 c 94.2s|200000 | 78186 | 0 | 0.0 | 71M| 166 | - | 305 |2571 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
96.19/96.25 o 101
96.19/96.25 c *94.3s|201255 | 78640 | 0 | 0.0 | 72M| 166 | - | 305 |2699 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
97.19/97.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.19/97.24 c 95.2s|210000 | 85884 | 0 | 0.0 | 76M| 166 | - | 305 |3515 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
97.80/97.85 o 88
97.80/97.85 c *95.8s|214126 | 88319 | 0 | 0.0 | 77M| 166 | - | 305 |4264 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
98.09/98.11 o 73
98.09/98.11 c *96.0s|215646 | 84346 | 0 | 0.0 | 76M| 166 | - | 305 |4388 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
98.89/98.93 c 96.8s|220000 | 87246 | 0 | 0.0 | 78M| 166 | - | 305 |4119 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
102.09/102.18 c 99.9s|230000 | 91476 | 0 | 0.0 | 84M| 166 | - | 305 |7151 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
111.89/111.97 c 110s|240000 | 88697 | 0 | 0.0 | 88M| 166 | - | 305 | 20k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
129.59/129.63 c 127s|250000 | 83880 | 0 | 0.0 | 87M| 166 | - | 305 | 29k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
150.90/150.94 c 148s|260000 | 76542 | 0 | 0.0 | 82M| 166 | - | 305 | 38k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
165.99/166.06 c 163s|270000 | 76281 | 0 | 0.0 | 72M| 166 | - | 305 | 17k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
174.79/174.90 c 172s|280000 | 78395 | 0 | 0.0 | 76M| 166 | - | 305 | 18k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
184.40/184.44 c 181s|290000 | 79872 | 0 | 0.0 | 80M| 166 | - | 305 | 22k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
195.10/195.17 c 192s|300000 | 81142 | 0 | 0.0 | 83M| 166 | - | 305 | 25k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
205.80/205.86 c 203s|310000 | 82168 | 0 | 0.0 | 87M| 166 | - | 305 | 29k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
217.60/217.67 c 214s|320000 | 82835 | 0 | 0.0 | 90M| 166 | - | 305 | 33k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
222.00/222.08 c 219s|330000 | 90200 | 0 | 0.0 | 85M| 166 | - | 305 |3777 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
223.49/223.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.49/223.56 c 220s|340000 | 98631 | 0 | 0.0 | 90M| 166 | - | 305 |4037 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
225.09/225.19 c 221s|350000 |106740 | 0 | 0.0 | 94M| 166 | - | 305 |4578 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
227.00/227.01 c 223s|360000 |114599 | 0 | 0.0 | 99M| 166 | - | 305 |5134 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
228.69/228.77 c 225s|370000 |122242 | 0 | 0.0 | 103M| 166 | - | 305 |5694 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
230.80/230.80 c 227s|380000 |129773 | 0 | 0.0 | 107M| 166 | - | 305 |6367 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
233.00/233.01 c 229s|390000 |137119 | 0 | 0.0 | 112M| 166 | - | 305 |6682 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
235.19/235.21 c 231s|400000 |144255 | 0 | 0.0 | 116M| 166 | - | 305 |6988 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
237.49/237.54 c 233s|410000 |151353 | 0 | 0.0 | 121M| 166 | - | 305 |7449 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
240.20/240.24 c 236s|420000 |158051 | 0 | 0.0 | 125M| 166 | - | 305 |8037 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
242.89/242.90 c 239s|430000 |164549 | 0 | 0.0 | 130M| 166 | - | 305 |8907 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
245.99/246.02 c 242s|440000 |170745 | 0 | 0.0 | 136M| 166 | - | 305 |9552 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
248.99/249.06 c 244s|450000 |176805 | 0 | 0.0 | 140M| 166 | - | 305 | 10k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
252.49/252.53 c 248s|460000 |182710 | 0 | 0.0 | 145M| 166 | - | 305 | 10k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
255.99/256.01 c 251s|470000 |188364 | 0 | 0.0 | 150M| 166 | - | 305 | 10k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
259.79/259.87 c 255s|480000 |193697 | 0 | 0.0 | 154M| 166 | - | 305 | 11k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
263.90/263.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.90/263.91 c 259s|490000 |198813 | 0 | 0.0 | 159M| 166 | - | 305 | 12k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
268.60/268.60 c 264s|500000 |203366 | 0 | 0.0 | 163M| 166 | - | 305 | 13k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
273.91/273.99 c 269s|510000 |207271 | 0 | 0.0 | 167M| 166 | - | 305 | 14k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
280.00/280.09 c 275s|520000 |210404 | 0 | 0.0 | 171M| 166 | - | 305 | 16k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
286.40/286.46 c 281s|530000 |213532 | 0 | 0.0 | 172M| 166 | - | 305 | 10k| 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
294.30/294.30 c 289s|540000 |212682 | 0 | 0.0 | 170M| 166 | - | 305 | 16k| 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
307.69/307.71 c 302s|550000 |211592 | 0 | 0.0 | 174M| 166 | - | 305 | 26k| 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
324.80/324.88 c 319s|560000 |209714 | 0 | 0.0 | 176M| 166 | - | 305 | 34k| 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
340.30/340.32 o 41
340.30/340.32 c * 334s|568307 |175455 | 0 | 0.0 | 147M| 166 | - | 305 | 40k| 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
344.10/344.12 c 338s|570000 |174992 | 0 | 0.0 | 142M| 166 | - | 305 | 22k| 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
354.79/354.88 c 349s|580000 |173882 | 0 | 0.0 | 136M| 166 | - | 305 |4581 | 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
358.09/358.18 c 352s|590000 |179239 | 0 | 0.0 | 141M| 166 | - | 305 |5976 | 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
361.40/361.44 c 355s|600000 |184609 | 0 | 0.0 | 146M| 166 | - | 305 |6490 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
363.40/363.49 o 30
363.40/363.49 c * 357s|605340 |176652 | 0 | 0.0 | 140M| 166 | - | 305 |6843 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
365.09/365.20 c 359s|610000 |178769 | 0 | 0.0 | 141M| 166 | - | 305 |5073 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
368.89/368.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.89/368.90 c 362s|620000 |183146 | 0 | 0.0 | 146M| 166 | - | 305 |6281 | 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
372.69/372.78 c 366s|630000 |187412 | 0 | 0.0 | 150M| 166 | - | 305 |6188 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
376.79/376.87 c 370s|640000 |191648 | 0 | 0.0 | 155M| 166 | - | 305 |7065 | 0 | 0 | 0 | 776k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
381.49/381.54 c 375s|650000 |195079 | 0 | 0.0 | 159M| 166 | - | 305 |7714 | 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
386.09/386.20 c 379s|660000 |198781 | 0 | 0.0 | 163M| 166 | - | 305 |8402 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
390.99/391.09 c 384s|670000 |202518 | 0 | 0.0 | 167M| 166 | - | 305 |8058 | 0 | 0 | 0 | 820k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
396.30/396.39 c 389s|680000 |205446 | 0 | 0.0 | 171M| 166 | - | 305 |8907 | 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
401.90/401.93 c 395s|690000 |208153 | 0 | 0.0 | 175M| 166 | - | 305 |9263 | 0 | 0 | 0 | 851k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
407.49/407.51 c 400s|700000 |210938 | 0 | 0.0 | 179M| 166 | - | 305 | 10k| 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
412.99/413.04 c 406s|710000 |213419 | 0 | 0.0 | 182M| 166 | - | 305 | 10k| 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
418.69/418.79 c 411s|720000 |215894 | 0 | 0.0 | 186M| 166 | - | 305 | 10k| 0 | 0 | 0 | 897k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
425.09/425.10 c 417s|730000 |218231 | 0 | 0.0 | 190M| 166 | - | 305 | 11k| 0 | 0 | 0 | 913k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
431.20/431.21 c 423s|740000 |220815 | 0 | 0.0 | 194M| 166 | - | 305 | 12k| 0 | 0 | 0 | 928k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
438.19/438.22 c 430s|750000 |222530 | 0 | 0.0 | 197M| 166 | - | 305 | 13k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
445.69/445.71 c 438s|760000 |224025 | 0 | 0.0 | 200M| 166 | - | 305 | 13k| 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
454.20/454.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.20/454.25 c 446s|770000 |224712 | 0 | 0.0 | 203M| 166 | - | 305 | 13k| 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
462.79/462.82 c 454s|780000 |225398 | 0 | 0.0 | 205M| 166 | - | 305 | 13k| 0 | 0 | 0 | 995k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
471.29/471.38 c 463s|790000 |226017 | 0 | 0.0 | 208M| 166 | - | 305 | 14k| 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
481.00/481.01 c 472s|800000 |226099 | 0 | 0.0 | 210M| 166 | - | 305 | 15k| 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
491.20/491.23 c 482s|810000 |225692 | 0 | 0.0 | 212M| 166 | - | 305 | 16k| 0 | 0 | 0 |1049k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
502.49/502.51 c 494s|820000 |224928 | 0 | 0.0 | 214M| 166 | - | 305 | 18k| 0 | 0 | 0 |1068k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
515.10/515.18 c 506s|830000 |223663 | 0 | 0.0 | 216M| 166 | - | 305 | 20k| 0 | 0 | 0 |1087k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
529.10/529.17 c 520s|840000 |221702 | 0 | 0.0 | 217M| 166 | - | 305 | 22k| 0 | 0 | 0 |1107k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
544.29/544.36 c 535s|850000 |219134 | 0 | 0.0 | 218M| 166 | - | 305 | 24k| 0 | 0 | 0 |1127k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
561.11/561.18 c 551s|860000 |216371 | 0 | 0.0 | 215M| 166 | - | 305 | 14k| 0 | 0 | 0 |1146k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
565.50/565.58 c 556s|870000 |221278 | 0 | 0.0 | 214M| 166 | - | 305 |7916 | 0 | 0 | 0 |1157k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
568.90/568.95 c 559s|880000 |225864 | 0 | 0.0 | 218M| 166 | - | 305 |6893 | 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
575.00/575.06 c 565s|890000 |227408 | 0 | 0.0 | 220M| 166 | - | 305 | 12k| 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
583.70/583.75 c 573s|900000 |229777 | 0 | 0.0 | 224M| 166 | - | 305 | 15k| 0 | 0 | 0 |1203k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
592.50/592.56 c 582s|910000 |232518 | 0 | 0.0 | 227M| 166 | - | 305 | 15k| 0 | 0 | 0 |1220k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
600.79/600.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.79/600.89 c 590s|920000 |235715 | 0 | 0.0 | 230M| 166 | - | 305 | 16k| 0 | 0 | 0 |1236k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
610.60/610.60 c 599s|930000 |237960 | 0 | 0.0 | 234M| 166 | - | 305 | 17k| 0 | 0 | 0 |1254k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
620.80/620.83 c 609s|940000 |239852 | 0 | 0.0 | 237M| 166 | - | 305 | 18k| 0 | 0 | 0 |1274k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
628.80/628.89 o 27
628.80/628.89 c * 617s|947124 |230949 | 0 | 0.0 | 228M| 166 | - | 305 | 19k| 0 | 0 | 0 |1288k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
632.10/632.19 c 620s|950000 |231393 | 0 | 0.0 | 230M| 166 | - | 305 | 19k| 0 | 0 | 0 |1294k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
644.50/644.58 c 632s|960000 |232297 | 0 | 0.0 | 233M| 166 | - | 305 | 18k| 0 | 0 | 0 |1315k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
657.50/657.50 c 645s|970000 |232789 | 0 | 0.0 | 237M| 166 | - | 305 | 19k| 0 | 0 | 0 |1336k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
670.80/670.83 c 658s|980000 |233216 | 0 | 0.0 | 240M| 166 | - | 305 | 21k| 0 | 0 | 0 |1357k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
684.90/684.90 c 671s|990000 |233239 | 0 | 0.0 | 243M| 166 | - | 305 | 21k| 0 | 0 | 0 |1379k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
699.10/699.19 c 685s| 1000k|233043 | 0 | 0.0 | 246M| 166 | - | 305 | 22k| 0 | 0 | 0 |1401k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
714.40/714.45 c 700s| 1010k|232668 | 0 | 0.0 | 249M| 166 | - | 305 | 24k| 0 | 0 | 0 |1424k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
729.70/729.74 c 715s| 1020k|232119 | 0 | 0.0 | 251M| 166 | - | 305 | 24k| 0 | 0 | 0 |1446k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
746.80/746.83 c 732s| 1030k|230787 | 0 | 0.0 | 253M| 166 | - | 305 | 25k| 0 | 0 | 0 |1469k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
764.81/764.84 c 750s| 1040k|229157 | 0 | 0.0 | 254M| 166 | - | 305 | 25k| 0 | 0 | 0 |1493k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
783.70/783.78 c 768s| 1050k|227367 | 0 | 0.0 | 256M| 166 | - | 305 | 26k| 0 | 0 | 0 |1517k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
785.00/785.04 o 17
785.00/785.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.00/785.04 c * 769s| 1050k|213233 | 0 | 0.0 | 242M| 166 | - | 305 | 26k| 0 | 0 | 0 |1519k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
804.60/804.66 c 789s| 1060k|210244 | 0 | 0.0 | 243M| 166 | - | 305 | 26k| 0 | 0 | 0 |1542k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
827.50/827.52 c 811s| 1070k|206380 | 0 | 0.0 | 244M| 166 | - | 305 | 28k| 0 | 0 | 0 |1567k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
852.80/852.84 c 836s| 1080k|202018 | 0 | 0.0 | 245M| 166 | - | 305 | 31k| 0 | 0 | 0 |1593k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
881.30/881.32 c 864s| 1090k|197026 | 0 | 0.0 | 245M| 166 | - | 305 | 34k| 0 | 0 | 0 |1619k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
913.50/913.52 c 896s| 1100k|191336 | 0 | 0.0 | 245M| 166 | - | 305 | 38k| 0 | 0 | 0 |1644k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
948.90/948.95 c 931s| 1110k|184755 | 0 | 0.0 | 244M| 166 | - | 305 | 42k| 0 | 0 | 0 |1670k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
979.01/979.05 c 960s| 1120k|180105 | 0 | 0.0 | 237M| 166 | - | 305 | 23k| 0 | 0 | 0 |1693k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
988.91/988.93 c 970s| 1130k|183542 | 0 | 0.0 | 238M| 166 | - | 305 | 19k| 0 | 0 | 0 |1707k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
996.71/996.71 c 977s| 1140k|187485 | 0 | 0.0 | 241M| 166 | - | 305 | 17k| 0 | 0 | 0 |1722k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1004.81/1004.80 c 985s| 1150k|190643 | 0 | 0.0 | 243M| 166 | - | 305 | 18k| 0 | 0 | 0 |1738k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1012.91/1012.95 c 993s| 1160k|193245 | 0 | 0.0 | 242M| 166 | - | 305 | 14k| 0 | 0 | 0 |1755k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1019.60/1019.63 c 999s| 1170k|196534 | 0 | 0.0 | 243M| 166 | - | 305 | 16k| 0 | 0 | 0 |1770k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1026.32/1026.35 c 1006s| 1180k|200474 | 0 | 0.0 | 244M| 166 | - | 305 | 14k| 0 | 0 | 0 |1783k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1032.81/1032.81 c 1012s| 1190k|204436 | 0 | 0.0 | 246M| 166 | - | 305 | 12k| 0 | 0 | 0 |1796k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1038.81/1038.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.81/1038.81 c 1017s| 1200k|208060 | 0 | 0.0 | 248M| 166 | - | 305 | 10k| 0 | 0 | 0 |1809k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1044.51/1044.53 c 1023s| 1210k|210955 | 0 | 0.0 | 252M| 166 | - | 305 | 10k| 0 | 0 | 0 |1823k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1051.30/1051.30 c 1029s| 1220k|211946 | 0 | 0.0 | 256M| 166 | - | 305 | 12k| 0 | 0 | 0 |1839k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1054.91/1054.97 c 1032s| 1230k|217164 | 0 | 0.0 | 258M| 166 | - | 305 |6113 | 0 | 0 | 0 |1849k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1065.91/1065.96 c 1043s| 1240k|213749 | 0 | 0.0 | 260M| 166 | - | 305 | 15k| 0 | 0 | 0 |1874k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1087.01/1087.10 c 1064s| 1250k|208173 | 0 | 0.0 | 260M| 166 | - | 305 | 20k| 0 | 0 | 0 |1903k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1113.01/1113.05 c 1089s| 1260k|201124 | 0 | 0.0 | 258M| 166 | - | 305 | 22k| 0 | 0 | 0 |1932k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1141.21/1141.29 c 1117s| 1270k|193131 | 0 | 0.0 | 253M| 166 | - | 305 | 24k| 0 | 0 | 0 |1963k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1173.52/1173.53 c 1149s| 1280k|183536 | 0 | 0.0 | 246M| 166 | - | 305 | 27k| 0 | 0 | 0 |1995k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1208.81/1208.89 c 1184s| 1290k|172925 | 0 | 0.0 | 236M| 166 | - | 305 | 34k| 0 | 0 | 0 |2027k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1245.81/1245.81 c 1220s| 1300k|163689 | 0 | 0.0 | 222M| 166 | - | 305 | 24k| 0 | 0 | 0 |2055k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1258.52/1258.59 c 1233s| 1310k|165630 | 0 | 0.0 | 222M| 166 | - | 305 | 20k| 0 | 0 | 0 |2073k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1270.02/1270.01 c 1244s| 1320k|167815 | 0 | 0.0 | 223M| 166 | - | 305 | 20k| 0 | 0 | 0 |2089k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1281.92/1281.90 c 1255s| 1330k|169018 | 0 | 0.0 | 224M| 166 | - | 305 | 19k| 0 | 0 | 0 |2108k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1294.51/1294.58 c 1268s| 1340k|169303 | 0 | 0.0 | 225M| 166 | - | 305 | 20k| 0 | 0 | 0 |2128k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1308.81/1308.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.81/1308.85 c 1282s| 1350k|168626 | 0 | 0.0 | 225M| 166 | - | 305 | 22k| 0 | 0 | 0 |2149k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1325.02/1325.06 c 1297s| 1360k|166965 | 0 | 0.0 | 223M| 166 | - | 305 | 25k| 0 | 0 | 0 |2171k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1341.51/1341.51 c 1313s| 1370k|166577 | 0 | 0.0 | 223M| 166 | - | 305 | 26k| 0 | 0 | 0 |2191k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1345.72/1345.76 o 2
1345.72/1345.76 c *1318s| 1372k| 0 | 0 | 0.0 | 16M| 166 | - | 305 | 26k| 0 | 0 | 0 |2195k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
1345.72/1345.76 c
1345.72/1345.76 c SCIP Status : problem is solved [optimal solution found]
1345.72/1345.76 c Solving Time (sec) : 1317.66
1345.72/1345.76 c Solving Nodes : 1372393
1345.72/1345.76 c Primal Bound : +2.00000000000000e+00 (16 solutions)
1345.72/1345.76 c Dual Bound : +2.00000000000000e+00
1345.72/1345.76 c Gap : 0.00 %
1345.72/1345.76 s OPTIMUM FOUND
1345.72/1345.76 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148
1345.72/1345.76 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1345.72/1345.76 v -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1345.72/1345.76 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
1345.72/1345.76 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
1345.72/1345.76 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
1345.72/1345.76 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
1345.72/1345.76 v -x4 -x3 -x2 -x1
1345.72/1345.76 c SCIP Status : problem is solved [optimal solution found]
1345.72/1345.76 c Solving Time : 1317.66
1345.72/1345.76 c Original Problem :
1345.72/1345.76 c Problem name : HOME/instance-2693834-1277895085.wbo
1345.72/1345.76 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1345.72/1345.76 c Constraints : 171 initial, 171 maximal
1345.72/1345.76 c Presolved Problem :
1345.72/1345.76 c Problem name : t_HOME/instance-2693834-1277895085.wbo
1345.72/1345.76 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1345.72/1345.76 c Constraints : 166 initial, 42686 maximal
1345.72/1345.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1345.72/1345.76 c trivial : 0.00 0 0 0 0 0 0 0 0
1345.72/1345.76 c dualfix : 0.00 2 0 0 0 0 0 0 0
1345.72/1345.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
1345.72/1345.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1345.72/1345.76 c implics : 0.00 0 0 0 0 0 0 0 0
1345.72/1345.76 c probing : 0.01 0 0 0 0 0 0 0 0
1345.72/1345.76 c indicator : 0.00 0 0 0 0 0 1 0 0
1345.72/1345.76 c setppc : 0.00 0 0 0 0 0 0 0 0
1345.72/1345.76 c linear : 0.00 0 0 0 68 0 4 1 0
1345.72/1345.76 c logicor : 0.00 0 0 0 0 0 0 0 0
1345.72/1345.76 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1345.72/1345.76 c root node : - 0 - - 0 - - - -
1345.72/1345.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1345.72/1345.76 c integral : 0 0 0 0 0 0 0 0 0 0
1345.72/1345.76 c indicator : 68 0 3515270 0 859428 2541 703992 0 0 0
1345.72/1345.76 c setppc : 20 0 4032538 0 959534 25584 3223252 0 0 0
1345.72/1345.76 c linear : 68 0 4007012 0 959560 437423 18676816 0 0 0
1345.72/1345.76 c logicor : 10+ 0 2011571 0 958869 137127 1166211 0 0 0
1345.72/1345.76 c bounddisjunction : 0+ 0 396799 0 0 17 1367 0 0 0
1345.72/1345.76 c countsols : 0 0 0 0 959574 0 0 0 0 0
1345.72/1345.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1345.72/1345.76 c integral : 0.00 0.00 0.00 0.00 0.00
1345.72/1345.76 c indicator : 2.49 0.00 1.51 0.00 0.98
1345.72/1345.76 c setppc : 10.45 0.00 7.89 0.00 2.56
1345.72/1345.76 c linear : 102.91 0.00 102.50 0.00 0.41
1345.72/1345.76 c logicor : 594.58 0.00 593.64 0.00 0.94
1345.72/1345.76 c bounddisjunction : 6.66 0.00 6.66 0.00 0.00
1345.72/1345.76 c countsols : 0.11 0.00 0.00 0.00 0.11
1345.72/1345.76 c Propagators : Time Calls Cutoffs DomReds
1345.72/1345.76 c vbounds : 0.47 2 0 0
1345.72/1345.76 c rootredcost : 0.54 0 0 0
1345.72/1345.76 c pseudoobj : 9.16 4036610 1646 581330
1345.72/1345.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1345.72/1345.76 c propagation : 36.32 601796 601741 3444780 25.1 245221 13.5 -
1345.72/1345.76 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1345.72/1345.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1345.72/1345.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1345.72/1345.76 c pseudo solution : 0.00 62 62 142 14.8 20 15.4 -
1345.72/1345.76 c applied globally : - - - 2150930 17.6 - - -
1345.72/1345.76 c applied locally : - - - 44735 37.9 - - -
1345.72/1345.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1345.72/1345.76 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1345.72/1345.76 c redcost : 0.00 0 0 0 0 0
1345.72/1345.76 c impliedbounds : 0.00 0 0 0 0 0
1345.72/1345.76 c intobj : 0.00 0 0 0 0 0
1345.72/1345.76 c cgmip : 0.00 0 0 0 0 0
1345.72/1345.76 c gomory : 0.00 0 0 0 0 0
1345.72/1345.76 c strongcg : 0.00 0 0 0 0 0
1345.72/1345.76 c cmir : 0.00 0 0 0 0 0
1345.72/1345.76 c flowcover : 0.00 0 0 0 0 0
1345.72/1345.76 c clique : 0.00 0 0 0 0 0
1345.72/1345.76 c zerohalf : 0.00 0 0 0 0 0
1345.72/1345.76 c mcf : 0.00 0 0 0 0 0
1345.72/1345.76 c rapidlearning : 0.00 0 0 0 0 0
1345.72/1345.76 c Pricers : Time Calls Vars
1345.72/1345.76 c problem variables: 0.00 0 0
1345.72/1345.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1345.72/1345.76 c relpscost : 0.00 0 0 0 0 0 0
1345.72/1345.76 c pscost : 0.00 0 0 0 0 0 0
1345.72/1345.76 c inference : 7.50 959558 0 0 0 0 1919116
1345.72/1345.76 c mostinf : 0.00 0 0 0 0 0 0
1345.72/1345.76 c leastinf : 0.00 0 0 0 0 0 0
1345.72/1345.76 c fullstrong : 0.00 0 0 0 0 0 0
1345.72/1345.76 c allfullstrong : 0.00 0 0 0 0 0 0
1345.72/1345.76 c random : 0.00 0 0 0 0 0 0
1345.72/1345.76 c Primal Heuristics : Time Calls Found
1345.72/1345.76 c LP solutions : 0.00 - 0
1345.72/1345.76 c pseudo solutions : 0.70 - 16
1345.72/1345.76 c oneopt : 0.31 0 0
1345.72/1345.76 c trivial : 0.00 2 0
1345.72/1345.76 c simplerounding : 0.00 0 0
1345.72/1345.76 c zirounding : 0.00 0 0
1345.72/1345.76 c rounding : 0.00 0 0
1345.72/1345.76 c shifting : 0.00 0 0
1345.72/1345.76 c intshifting : 0.00 0 0
1345.72/1345.76 c twoopt : 0.00 0 0
1345.72/1345.76 c fixandinfer : 0.00 0 0
1345.72/1345.76 c feaspump : 0.00 0 0
1345.72/1345.76 c coefdiving : 0.00 0 0
1345.72/1345.76 c pscostdiving : 0.00 0 0
1345.72/1345.76 c fracdiving : 0.00 0 0
1345.72/1345.76 c veclendiving : 0.00 0 0
1345.72/1345.76 c intdiving : 0.00 0 0
1345.72/1345.76 c actconsdiving : 0.00 0 0
1345.72/1345.76 c objpscostdiving : 0.00 0 0
1345.72/1345.76 c rootsoldiving : 0.00 0 0
1345.72/1345.76 c linesearchdiving : 0.00 0 0
1345.72/1345.76 c guideddiving : 0.00 0 0
1345.72/1345.76 c octane : 0.00 0 0
1345.72/1345.76 c rens : 0.00 0 0
1345.72/1345.76 c rins : 0.00 0 0
1345.72/1345.76 c localbranching : 0.00 0 0
1345.72/1345.76 c mutation : 0.00 0 0
1345.72/1345.76 c crossover : 0.00 0 0
1345.72/1345.76 c dins : 0.00 0 0
1345.72/1345.76 c undercover : 0.00 0 0
1345.72/1345.76 c nlp : 0.16 0 0
1345.72/1345.76 c trysol : 0.18 1 0
1345.72/1345.76 c LP : Time Calls Iterations Iter/call Iter/sec
1345.72/1345.76 c primal LP : 0.00 0 0 0.00 -
1345.72/1345.76 c dual LP : 0.00 0 0 0.00 -
1345.72/1345.76 c lex dual LP : 0.00 0 0 0.00 -
1345.72/1345.76 c barrier LP : 0.00 0 0 0.00 -
1345.72/1345.76 c diving/probing LP: 0.00 0 0 0.00 -
1345.72/1345.76 c strong branching : 0.00 0 0 0.00 -
1345.72/1345.76 c (at root node) : - 0 0 0.00 -
1345.72/1345.76 c conflict analysis: 0.00 0 0 0.00 -
1345.72/1345.76 c B&B Tree :
1345.72/1345.76 c number of runs : 1
1345.72/1345.76 c nodes : 1372393
1345.72/1345.76 c nodes (total) : 1372393
1345.72/1345.76 c nodes left : 0
1345.72/1345.76 c max depth : 166
1345.72/1345.76 c max depth (total): 166
1345.72/1345.76 c backtracks : 454522 (33.1%)
1345.72/1345.76 c delayed cutoffs : 303365
1345.72/1345.76 c repropagations : 1489739 (6838411 domain reductions, 191581 cutoffs)
1345.72/1345.76 c avg switch length: 23.51
1345.72/1345.76 c switching time : 432.37
1345.72/1345.76 c Solution :
1345.72/1345.76 c Solutions found : 16 (16 improvements)
1345.72/1345.76 c First Solution : +5.35000000000000e+02 (in run 1, after 76738 nodes, 19.51 seconds, depth 125, found by <relaxation>)
1345.72/1345.76 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1372393 nodes, 1317.11 seconds, depth 58, found by <relaxation>)
1345.72/1345.76 c Dual Bound : +2.00000000000000e+00
1345.72/1345.76 c Gap : 0.00 %
1345.72/1345.76 c Root Dual Bound : +0.00000000000000e+00
1345.72/1345.76 c Root Iterations : 0
1345.82/1345.82 c Time complete: 1345.84.