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-2693954-1277898404.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, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 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, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 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 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.26 c 1.1s| 10000 | 7564 | 0 | 0.0 |6482k| 183 | - | 295 |3195 | 0 | 0 | 0 |6480 | 0 | 0.000000e+00 | -- | Inf
3.19/3.22 o 423
3.19/3.22 c * 2.8s| 18617 | 12241 | 0 | 0.0 | 11M| 183 | - | 295 |6345 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.230000e+02 | Inf
3.30/3.36 c 2.9s| 20000 | 13518 | 0 | 0.0 | 11M| 183 | - | 295 |3789 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.230000e+02 | Inf
3.30/3.38 o 402
3.30/3.38 c * 3.0s| 20162 | 13667 | 0 | 0.0 | 11M| 183 | - | 295 |3550 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.020000e+02 | Inf
3.30/3.38 o 355
3.30/3.38 c * 3.0s| 20164 | 13667 | 0 | 0.0 | 11M| 183 | - | 295 |3550 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.550000e+02 | Inf
3.30/3.38 o 284
3.30/3.38 c * 3.0s| 20167 | 13662 | 0 | 0.0 | 11M| 183 | - | 295 |3550 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
4.70/4.78 c 4.1s| 30000 | 20910 | 0 | 0.0 | 15M| 183 | - | 295 |3927 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
7.19/7.25 c 6.3s| 40000 | 26374 | 0 | 0.0 | 20M| 183 | - | 295 |6163 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
10.09/10.16 c 9.0s| 50000 | 31250 | 0 | 0.0 | 24M| 183 | - | 295 |7590 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
13.69/13.72 c 12.3s| 60000 | 35017 | 0 | 0.0 | 29M| 183 | - | 295 | 10k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
18.70/18.76 c 17.1s| 70000 | 36770 | 0 | 0.0 | 34M| 183 | - | 295 | 14k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
22.49/22.54 c 20.7s| 80000 | 41228 | 0 | 0.0 | 33M| 183 | - | 295 |1534 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
23.49/23.56 c 21.5s| 90000 | 49815 | 0 | 0.0 | 36M| 183 | - | 295 |1606 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
23.89/23.96 o 274
23.89/23.96 c *21.9s| 93512 | 52709 | 0 | 0.0 | 38M| 183 | - | 295 |1472 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.740000e+02 | Inf
24.69/24.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.69/24.71 c 22.5s|100000 | 57984 | 0 | 0.0 | 40M| 183 | - | 295 |1299 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 2.740000e+02 | Inf
25.79/25.88 c 23.5s|110000 | 66062 | 0 | 0.0 | 44M| 183 | - | 295 |1447 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.740000e+02 | Inf
27.09/27.15 c 24.5s|120000 | 73928 | 0 | 0.0 | 48M| 183 | - | 295 |1778 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.740000e+02 | Inf
27.19/27.28 o 262
27.19/27.28 c *24.6s|121030 | 74748 | 0 | 0.0 | 49M| 183 | - | 295 |1816 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
28.39/28.50 c 25.7s|130000 | 81609 | 0 | 0.0 | 52M| 183 | - | 295 |2171 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
29.89/29.97 c 26.9s|140000 | 89080 | 0 | 0.0 | 57M| 183 | - | 295 |2798 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
30.29/30.33 o 256
30.29/30.33 c *27.2s|142262 | 90707 | 0 | 0.0 | 58M| 183 | - | 295 |2802 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
31.49/31.56 c 28.3s|150000 | 96325 | 0 | 0.0 | 61M| 183 | - | 295 |3378 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
33.39/33.44 c 29.9s|160000 |103002 | 0 | 0.0 | 65M| 183 | - | 295 |4333 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
36.49/36.58 c 32.8s|170000 |107113 | 0 | 0.0 | 70M| 183 | - | 295 |5429 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
41.19/41.22 c 37.2s|180000 |108903 | 0 | 0.0 | 74M| 183 | - | 295 |9915 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
46.69/46.78 c 42.5s|190000 |110142 | 0 | 0.0 | 78M| 183 | - | 295 | 11k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
53.59/53.68 c 49.1s|200000 |109888 | 0 | 0.0 | 81M| 183 | - | 295 | 13k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
61.50/61.58 c 56.7s|210000 |108785 | 0 | 0.0 | 83M| 183 | - | 295 | 15k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
70.80/70.82 c 65.7s|220000 |106746 | 0 | 0.0 | 85M| 183 | - | 295 | 19k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
82.09/82.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.09/82.17 c 76.7s|230000 |103604 | 0 | 0.0 | 83M| 183 | - | 295 | 21k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
83.80/83.85 c 78.2s|240000 |111634 | 0 | 0.0 | 81M| 183 | - | 295 |1656 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
85.09/85.19 o 241
85.09/85.19 c *79.3s|249925 |119316 | 0 | 0.0 | 85M| 183 | - | 295 |2018 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.410000e+02 | Inf
85.19/85.20 c 79.3s|250000 |119370 | 0 | 0.0 | 85M| 183 | - | 295 |2016 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.410000e+02 | Inf
86.49/86.54 c 80.5s|260000 |127165 | 0 | 0.0 | 89M| 183 | - | 295 |2208 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 2.410000e+02 | Inf
87.80/87.88 c 81.6s|270000 |135005 | 0 | 0.0 | 93M| 183 | - | 295 |2498 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 2.410000e+02 | Inf
88.59/88.60 o 186
88.59/88.60 c *82.2s|275167 |138725 | 0 | 0.0 | 95M| 183 | - | 295 |2530 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
89.20/89.25 c 82.7s|280000 |142531 | 0 | 0.0 | 97M| 183 | - | 295 |2713 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
90.49/90.58 c 83.9s|290000 |150417 | 0 | 0.0 | 101M| 183 | - | 295 |2802 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
91.89/91.99 c 85.1s|300000 |158137 | 0 | 0.0 | 105M| 183 | - | 295 |3077 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
93.40/93.47 c 86.3s|310000 |165720 | 0 | 0.0 | 109M| 183 | - | 295 |3204 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
94.79/94.87 c 87.5s|320000 |173524 | 0 | 0.0 | 113M| 183 | - | 295 |3221 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
96.19/96.29 o 180
96.19/96.29 c *88.8s|329110 |180113 | 0 | 0.0 | 117M| 183 | - | 295 |3216 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
96.39/96.43 c 88.9s|330000 |180767 | 0 | 0.0 | 117M| 183 | - | 295 |3188 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
97.90/97.96 c 90.2s|340000 |188248 | 0 | 0.0 | 121M| 183 | - | 295 |2963 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
99.50/99.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.50/99.59 c 91.6s|350000 |195422 | 0 | 0.0 | 125M| 183 | - | 295 |2801 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
101.10/101.16 c 93.0s|360000 |202739 | 0 | 0.0 | 129M| 183 | - | 295 |2687 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
102.69/102.73 c 94.3s|370000 |210046 | 0 | 0.0 | 134M| 183 | - | 295 |2575 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
104.39/104.41 c 95.8s|380000 |216973 | 0 | 0.0 | 138M| 183 | - | 295 |2646 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
106.09/106.12 c 97.3s|390000 |223888 | 0 | 0.0 | 143M| 183 | - | 295 |2537 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
107.69/107.73 c 98.7s|400000 |231005 | 0 | 0.0 | 147M| 183 | - | 295 |2437 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
109.29/109.40 c 100s|410000 |238001 | 0 | 0.0 | 151M| 183 | - | 295 |2528 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
111.19/111.25 c 102s|420000 |244507 | 0 | 0.0 | 156M| 183 | - | 295 |2717 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
112.99/113.05 c 103s|430000 |251161 | 0 | 0.0 | 160M| 183 | - | 295 |2804 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
114.89/114.92 c 105s|440000 |257630 | 0 | 0.0 | 165M| 183 | - | 295 |2592 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
116.70/116.73 c 107s|450000 |264222 | 0 | 0.0 | 169M| 183 | - | 295 |2782 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
117.89/117.95 o 173
117.89/117.95 c * 108s|456945 |268609 | 0 | 0.0 | 172M| 183 | - | 295 |2901 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
118.50/118.52 c 108s|460000 |270578 | 0 | 0.0 | 174M| 183 | - | 295 |2871 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
120.30/120.37 c 110s|470000 |277131 | 0 | 0.0 | 178M| 183 | - | 295 |2956 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
122.29/122.31 c 111s|480000 |283600 | 0 | 0.0 | 183M| 183 | - | 295 |3240 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
124.20/124.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.20/124.27 c 113s|490000 |289919 | 0 | 0.0 | 187M| 183 | - | 295 |3061 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
126.20/126.26 c 115s|500000 |296237 | 0 | 0.0 | 192M| 183 | - | 295 |3378 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
128.29/128.30 c 117s|510000 |302440 | 0 | 0.0 | 196M| 183 | - | 295 |3561 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
128.49/128.57 o 136
128.49/128.57 c * 117s|511413 |300156 | 0 | 0.0 | 193M| 183 | - | 295 |3824 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
130.29/130.38 c 119s|520000 |305512 | 0 | 0.0 | 197M| 183 | - | 295 |4167 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
132.49/132.59 c 121s|530000 |311575 | 0 | 0.0 | 202M| 183 | - | 295 |4375 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
134.80/134.84 c 123s|540000 |317650 | 0 | 0.0 | 207M| 183 | - | 295 |4670 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
137.00/137.09 c 125s|550000 |323783 | 0 | 0.0 | 212M| 183 | - | 295 |4994 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
139.30/139.37 c 127s|560000 |329853 | 0 | 0.0 | 216M| 183 | - | 295 |5223 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
139.99/140.08 o 125
139.99/140.08 c * 127s|563231 |330088 | 0 | 0.0 | 216M| 183 | - | 295 |5439 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
140.09/140.13 o 74
140.09/140.13 c * 127s|563233 |294101 | 0 | 0.0 | 190M| 183 | - | 295 |5439 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
141.99/142.08 c 129s|570000 |297370 | 0 | 0.0 | 192M| 183 | - | 295 |1100 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
144.59/144.65 c 131s|580000 |301922 | 0 | 0.0 | 197M| 183 | - | 295 |2531 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
147.29/147.33 c 134s|590000 |306530 | 0 | 0.0 | 201M| 183 | - | 295 |3185 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
150.19/150.25 c 136s|600000 |310721 | 0 | 0.0 | 205M| 183 | - | 295 |3308 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
153.30/153.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.30/153.34 c 139s|610000 |314626 | 0 | 0.0 | 209M| 183 | - | 295 |3681 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
156.39/156.43 c 142s|620000 |318620 | 0 | 0.0 | 213M| 183 | - | 295 |3765 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
159.69/159.77 c 145s|630000 |322047 | 0 | 0.0 | 217M| 183 | - | 295 |4142 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
163.19/163.23 c 148s|640000 |325297 | 0 | 0.0 | 221M| 183 | - | 295 |4817 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
163.79/163.88 o 73
163.79/163.88 c * 149s|641712 |325579 | 0 | 0.0 | 221M| 183 | - | 295 |4963 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
167.10/167.12 c 152s|650000 |327561 | 0 | 0.0 | 224M| 183 | - | 295 |5203 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
171.79/171.83 c 156s|660000 |328348 | 0 | 0.0 | 227M| 183 | - | 295 |6391 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
176.70/176.73 c 161s|670000 |328523 | 0 | 0.0 | 228M| 183 | - | 295 |8235 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
186.59/186.62 c 170s|680000 |323184 | 0 | 0.0 | 226M| 183 | - | 295 | 13k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
199.19/199.30 c 183s|690000 |314682 | 0 | 0.0 | 212M| 183 | - | 295 | 12k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
201.50/201.58 c 185s|700000 |320316 | 0 | 0.0 | 212M| 183 | - | 295 |1878 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
203.99/204.08 c 187s|710000 |325022 | 0 | 0.0 | 216M| 183 | - | 295 |1781 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
206.60/206.66 c 189s|720000 |329692 | 0 | 0.0 | 221M| 183 | - | 295 |2199 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
209.20/209.27 c 191s|730000 |334390 | 0 | 0.0 | 225M| 183 | - | 295 |2325 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
211.79/211.85 c 194s|740000 |339029 | 0 | 0.0 | 229M| 183 | - | 295 |2669 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
214.60/214.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.60/214.60 c 196s|750000 |343390 | 0 | 0.0 | 233M| 183 | - | 295 |2688 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
217.20/217.24 c 199s|760000 |347998 | 0 | 0.0 | 237M| 183 | - | 295 |2730 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
219.90/220.00 c 201s|770000 |352256 | 0 | 0.0 | 241M| 183 | - | 295 |3127 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
222.79/222.81 c 204s|780000 |356522 | 0 | 0.0 | 245M| 183 | - | 295 |3350 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
225.50/225.56 c 206s|790000 |361012 | 0 | 0.0 | 248M| 183 | - | 295 |3353 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
228.39/228.43 c 209s|800000 |365238 | 0 | 0.0 | 252M| 183 | - | 295 |3315 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
231.19/231.26 c 211s|810000 |369468 | 0 | 0.0 | 255M| 183 | - | 295 |3451 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
234.09/234.18 c 214s|820000 |373492 | 0 | 0.0 | 259M| 183 | - | 295 |3265 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
237.10/237.12 c 217s|830000 |377291 | 0 | 0.0 | 264M| 183 | - | 295 |3441 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
240.09/240.10 c 219s|840000 |381032 | 0 | 0.0 | 268M| 183 | - | 295 |3250 | 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
242.59/242.68 o 54
242.59/242.68 c * 222s|848833 |357897 | 0 | 0.0 | 247M| 183 | - | 295 |3191 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
243.10/243.14 c 222s|850000 |358159 | 0 | 0.0 | 248M| 183 | - | 295 |1436 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
246.19/246.25 c 225s|860000 |360889 | 0 | 0.0 | 253M| 183 | - | 295 |1959 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
249.39/249.46 c 228s|870000 |363327 | 0 | 0.0 | 257M| 183 | - | 295 |2108 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
252.70/252.73 c 231s|880000 |365644 | 0 | 0.0 | 261M| 183 | - | 295 |2182 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
256.09/256.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.09/256.17 c 234s|890000 |367601 | 0 | 0.0 | 265M| 183 | - | 295 |2681 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
259.70/259.73 c 237s|900000 |369340 | 0 | 0.0 | 269M| 183 | - | 295 |3053 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
263.39/263.42 c 240s|910000 |370818 | 0 | 0.0 | 272M| 183 | - | 295 |2800 | 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
263.69/263.76 o 40
263.69/263.76 c * 241s|910829 |315459 | 0 | 0.0 | 231M| 183 | - | 295 |2780 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
267.40/267.42 c 244s|920000 |315561 | 0 | 0.0 | 234M| 183 | - | 295 |2405 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
271.60/271.61 c 248s|930000 |314813 | 0 | 0.0 | 237M| 183 | - | 295 |2848 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
275.70/275.79 c 252s|940000 |314303 | 0 | 0.0 | 239M| 183 | - | 295 |3204 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
279.90/279.90 c 256s|950000 |314170 | 0 | 0.0 | 242M| 183 | - | 295 |3236 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
284.30/284.37 c 260s|960000 |313219 | 0 | 0.0 | 244M| 183 | - | 295 |3363 | 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 4.000000e+01 |3900.00%
284.40/284.44 o 28
284.40/284.44 c * 260s|960137 |305750 | 0 | 0.0 | 238M| 183 | - | 295 |3408 | 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
287.60/287.66 o 23
287.60/287.66 c * 263s|965577 |299051 | 0 | 0.0 | 236M| 183 | - | 295 |3975 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
289.99/290.05 c 265s|970000 |298273 | 0 | 0.0 | 238M| 183 | - | 295 |5414 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
296.30/296.34 c 271s|980000 |295697 | 0 | 0.0 | 239M| 183 | - | 295 |6607 | 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
302.70/302.78 c 277s|990000 |293920 | 0 | 0.0 | 241M| 183 | - | 295 |7162 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
309.30/309.37 c 283s| 1000k|292385 | 0 | 0.0 | 244M| 183 | - | 295 |8676 | 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
316.30/316.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.30/316.36 c 290s| 1010k|290786 | 0 | 0.0 | 246M| 183 | - | 295 |9654 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
323.80/323.81 c 297s| 1020k|288913 | 0 | 0.0 | 247M| 183 | - | 295 |9935 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
331.00/331.09 c 304s| 1030k|287782 | 0 | 0.0 | 250M| 183 | - | 295 | 10k| 0 | 0 | 0 | 786k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
335.69/335.72 o 16
335.69/335.72 c * 308s| 1035k|269447 | 0 | 0.0 | 237M| 183 | - | 295 | 10k| 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
339.20/339.25 c 312s| 1040k|268378 | 0 | 0.0 | 239M| 183 | - | 295 | 10k| 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
347.61/347.64 c 320s| 1050k|266082 | 0 | 0.0 | 241M| 183 | - | 295 | 12k| 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
356.40/356.43 c 328s| 1060k|263763 | 0 | 0.0 | 242M| 183 | - | 295 | 13k| 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
366.20/366.25 c 338s| 1070k|260529 | 0 | 0.0 | 243M| 183 | - | 295 | 14k| 0 | 0 | 0 | 850k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
374.30/374.33 o 12
374.30/374.33 c * 345s| 1077k|240277 | 0 | 0.0 | 229M| 183 | - | 295 | 15k| 0 | 0 | 0 | 864k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
376.60/376.64 c 348s| 1080k|239544 | 0 | 0.0 | 229M| 183 | - | 295 | 13k| 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
386.90/386.97 c 357s| 1090k|235581 | 0 | 0.0 | 228M| 183 | - | 295 | 14k| 0 | 0 | 0 | 887k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
398.00/398.00 c 368s| 1100k|231305 | 0 | 0.0 | 228M| 183 | - | 295 | 15k| 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
409.21/409.25 c 379s| 1110k|226688 | 0 | 0.0 | 227M| 183 | - | 295 | 16k| 0 | 0 | 0 | 926k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
421.60/421.60 c 391s| 1120k|221115 | 0 | 0.0 | 224M| 183 | - | 295 | 18k| 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
428.70/428.77 c 398s| 1130k|221901 | 0 | 0.0 | 222M| 183 | - | 295 |5438 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
434.51/434.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.51/434.57 c 403s| 1140k|220833 | 0 | 0.0 | 223M| 183 | - | 295 |8371 | 0 | 0 | 0 | 973k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
442.00/442.02 o 11
442.00/442.02 c * 410s| 1146k|215109 | 0 | 0.0 | 224M| 183 | - | 295 | 11k| 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
447.61/447.64 c 416s| 1150k|211035 | 0 | 0.0 | 224M| 183 | - | 295 | 13k| 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
466.31/466.37 c 434s| 1160k|199633 | 0 | 0.0 | 223M| 183 | - | 295 | 19k| 0 | 0 | 0 |1023k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
488.41/488.46 c 455s| 1170k|187124 | 0 | 0.0 | 222M| 183 | - | 295 | 22k| 0 | 0 | 0 |1049k| 0 | 1.000000e+00 | 1.100000e+01 |1000.00%
499.00/499.01 o 8
499.00/499.01 c * 466s| 1174k|158337 | 0 | 0.0 | 200M| 183 | - | 295 | 23k| 0 | 0 | 0 |1060k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
511.60/511.68 c 478s| 1180k|149001 | 0 | 0.0 | 195M| 183 | - | 295 | 20k| 0 | 0 | 0 |1077k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
539.50/539.53 c 505s| 1190k|130374 | 0 | 0.0 | 186M| 183 | - | 295 | 24k| 0 | 0 | 0 |1107k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
543.11/543.15 o 6
543.11/543.15 c * 509s| 1191k|124940 | 0 | 0.0 | 181M| 183 | - | 295 | 24k| 0 | 0 | 0 |1111k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
566.81/566.83 c 532s| 1200k|109810 | 0 | 0.0 | 168M| 183 | - | 295 | 22k| 0 | 0 | 0 |1137k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
593.61/593.65 c 558s| 1210k| 97203 | 0 | 0.0 | 157M| 183 | - | 295 | 26k| 0 | 0 | 0 |1163k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
621.20/621.28 c 586s| 1220k| 87247 | 0 | 0.0 | 151M| 183 | - | 295 | 32k| 0 | 0 | 0 |1188k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
650.60/650.66 c 615s| 1230k| 78874 | 0 | 0.0 | 146M| 183 | - | 295 | 38k| 0 | 0 | 0 |1212k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
684.31/684.39 c 648s| 1240k| 70846 | 0 | 0.0 | 139M| 183 | - | 295 | 42k| 0 | 0 | 0 |1237k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
718.60/718.68 c 682s| 1250k| 63377 | 0 | 0.0 | 133M| 183 | - | 295 | 48k| 0 | 0 | 0 |1261k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
757.41/757.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.41/757.40 c 720s| 1260k| 53926 | 0 | 0.0 | 120M| 183 | - | 295 | 36k| 0 | 0 | 0 |1286k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
770.21/770.20 c 733s| 1270k| 57110 | 0 | 0.0 | 116M| 183 | - | 295 | 24k| 0 | 0 | 0 |1297k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
779.61/779.62 c 742s| 1280k| 60372 | 0 | 0.0 | 120M| 183 | - | 295 | 23k| 0 | 0 | 0 |1310k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
790.31/790.36 c 752s| 1290k| 62305 | 0 | 0.0 | 121M| 183 | - | 295 | 18k| 0 | 0 | 0 |1323k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
809.62/809.69 c 771s| 1300k| 50328 | 0 | 0.0 | 103M| 183 | - | 295 | 26k| 0 | 0 | 0 |1350k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
846.61/846.61 c 808s| 1310k| 32550 | 0 | 0.0 | 73M| 183 | - | 295 | 40k| 0 | 0 | 0 |1383k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
878.01/878.06 c 839s| 1320k| 25529 | 0 | 0.0 | 53M| 183 | - | 295 | 38k| 0 | 0 | 0 |1406k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
895.01/895.00 c 855s| 1330k| 27180 | 0 | 0.0 | 52M| 183 | - | 295 | 33k| 0 | 0 | 0 |1423k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
912.31/912.39 c 872s| 1340k| 27514 | 0 | 0.0 | 52M| 183 | - | 295 | 36k| 0 | 0 | 0 |1440k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
933.21/933.23 c 893s| 1350k| 25785 | 0 | 0.0 | 48M| 183 | - | 295 | 40k| 0 | 0 | 0 |1461k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
951.61/951.66 c 911s| 1360k| 27116 | 0 | 0.0 | 47M| 183 | - | 295 | 33k| 0 | 0 | 0 |1476k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
961.91/961.98 c 921s| 1370k| 31191 | 0 | 0.0 | 49M| 183 | - | 295 | 28k| 0 | 0 | 0 |1487k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
975.72/975.74 c 934s| 1380k| 31698 | 0 | 0.0 | 50M| 183 | - | 295 | 33k| 0 | 0 | 0 |1505k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
997.62/997.66 c 956s| 1390k| 28869 | 0 | 0.0 | 54M| 183 | - | 295 | 45k| 0 | 0 | 0 |1530k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1027.21/1027.29 c 985s| 1400k| 24353 | 0 | 0.0 | 55M| 183 | - | 295 | 56k| 0 | 0 | 0 |1556k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1058.91/1058.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.91/1058.91 c 1017s| 1410k| 22313 | 0 | 0.0 | 48M| 183 | - | 295 | 40k| 0 | 0 | 0 |1577k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1080.12/1080.18 c 1038s| 1420k| 21779 | 0 | 0.0 | 49M| 183 | - | 295 | 38k| 0 | 0 | 0 |1596k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1103.02/1103.09 c 1060s| 1430k| 20291 | 0 | 0.0 | 51M| 183 | - | 295 | 45k| 0 | 0 | 0 |1616k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1133.81/1133.81 c 1090s| 1440k| 13975 | 0 | 0.0 | 43M| 183 | - | 295 | 56k| 0 | 0 | 0 |1643k| 0 | 3.000000e+00 | 6.000000e+00 | 100.00%
1141.02/1141.07 o 5
1141.02/1141.07 c *1098s| 1441k| 12836 | 0 | 0.0 | 41M| 183 | - | 295 | 54k| 0 | 0 | 0 |1647k| 0 | 3.000000e+00 | 5.000000e+00 | 66.67%
1173.42/1173.49 c 1130s| 1450k| 8352 | 0 | 0.0 | 36M| 183 | - | 295 | 47k| 0 | 0 | 0 |1667k| 0 | 4.000000e+00 | 5.000000e+00 | 25.00%
1210.82/1210.88 c
1210.82/1210.88 c SCIP Status : problem is solved [optimal solution found]
1210.82/1210.88 c Solving Time (sec) : 1166.65
1210.82/1210.88 c Solving Nodes : 1458779
1210.82/1210.88 c Primal Bound : +5.00000000000000e+00 (25 solutions)
1210.82/1210.88 c Dual Bound : +5.00000000000000e+00
1210.82/1210.88 c Gap : 0.00 %
1210.82/1210.88 s OPTIMUM FOUND
1210.82/1210.88 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
1210.82/1210.88 v -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127
1210.82/1210.88 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1210.82/1210.88 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
1210.82/1210.88 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
1210.82/1210.88 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
1210.82/1210.88 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
1210.82/1210.88 v -x4 -x3 -x2 -x1
1210.82/1210.88 c SCIP Status : problem is solved [optimal solution found]
1210.82/1210.88 c Solving Time : 1166.65
1210.82/1210.88 c Original Problem :
1210.82/1210.88 c Problem name : HOME/instance-2693954-1277898404.wbo
1210.82/1210.88 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1210.82/1210.88 c Constraints : 166 initial, 166 maximal
1210.82/1210.88 c Presolved Problem :
1210.82/1210.88 c Problem name : t_HOME/instance-2693954-1277898404.wbo
1210.82/1210.88 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1210.82/1210.88 c Constraints : 159 initial, 60615 maximal
1210.82/1210.88 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1210.82/1210.88 c trivial : 0.00 0 0 0 0 0 0 0 0
1210.82/1210.88 c dualfix : 0.00 2 0 0 0 0 0 0 0
1210.82/1210.88 c boundshift : 0.00 0 0 0 0 0 0 0 0
1210.82/1210.88 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1210.82/1210.88 c implics : 0.00 0 0 0 0 0 0 0 0
1210.82/1210.88 c probing : 0.01 0 0 0 0 0 0 0 0
1210.82/1210.88 c indicator : 0.00 0 0 0 0 0 1 0 0
1210.82/1210.88 c knapsack : 0.00 0 0 0 0 0 0 0 0
1210.82/1210.88 c setppc : 0.00 0 0 0 0 0 0 0 0
1210.82/1210.88 c linear : 0.00 0 0 0 63 0 6 1 0
1210.82/1210.88 c logicor : 0.00 0 0 0 0 0 0 0 0
1210.82/1210.88 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1210.82/1210.88 c root node : - 16 - - 32 - - - -
1210.82/1210.88 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1210.82/1210.88 c integral : 0 0 0 0 0 0 0 0 0 0
1210.82/1210.88 c indicator : 63 0 4071738 0 933988 4607 983425 0 0 0
1210.82/1210.88 c knapsack : 1 0 4622264 0 1034026 96316 16617920 0 0 0
1210.82/1210.88 c setppc : 23 0 4525641 0 1033961 142600 2669869 0 0 0
1210.82/1210.88 c linear : 63 0 4383310 0 1034014 318073 4905550 0 0 0
1210.82/1210.88 c logicor : 9+ 0 2055702 0 1033785 54247 1013717 0 0 0
1210.82/1210.88 c bounddisjunction : 0+ 0 154241 0 0 0 4611 0 0 0
1210.82/1210.88 c countsols : 0 0 0 0 1034039 0 0 0 0 0
1210.82/1210.88 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1210.82/1210.88 c integral : 0.00 0.00 0.00 0.00 0.00
1210.82/1210.88 c indicator : 2.22 0.00 0.98 0.00 1.24
1210.82/1210.88 c knapsack : 136.95 0.00 134.71 0.00 2.24
1210.82/1210.88 c setppc : 12.24 0.00 9.87 0.00 2.37
1210.82/1210.88 c linear : 49.02 0.00 48.74 0.00 0.28
1210.82/1210.88 c logicor : 463.38 0.00 462.58 0.00 0.80
1210.82/1210.88 c bounddisjunction : 3.48 0.00 3.48 0.00 0.00
1210.82/1210.88 c countsols : 0.00 0.00 0.00 0.00 0.00
1210.82/1210.88 c Propagators : Time Calls Cutoffs DomReds
1210.82/1210.88 c vbounds : 0.06 2 0 0
1210.82/1210.88 c rootredcost : 0.03 0 0 0
1210.82/1210.88 c pseudoobj : 9.99 4634339 7621 912895
1210.82/1210.88 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1210.82/1210.88 c propagation : 20.13 618856 618846 3146382 22.4 104873 13.3 -
1210.82/1210.88 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1210.82/1210.88 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1210.82/1210.88 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1210.82/1210.88 c pseudo solution : 0.00 143 143 721 25.5 32 17.3 -
1210.82/1210.88 c applied globally : - - - 1661270 16.5 - - -
1210.82/1210.88 c applied locally : - - - 31038 37.0 - - -
1210.82/1210.88 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1210.82/1210.88 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1210.82/1210.88 c redcost : 0.00 0 0 0 0 0
1210.82/1210.88 c impliedbounds : 0.00 0 0 0 0 0
1210.82/1210.88 c intobj : 0.00 0 0 0 0 0
1210.82/1210.88 c cgmip : 0.00 0 0 0 0 0
1210.82/1210.88 c gomory : 0.00 0 0 0 0 0
1210.82/1210.88 c strongcg : 0.00 0 0 0 0 0
1210.82/1210.88 c cmir : 0.00 0 0 0 0 0
1210.82/1210.88 c flowcover : 0.00 0 0 0 0 0
1210.82/1210.88 c clique : 0.00 0 0 0 0 0
1210.82/1210.88 c zerohalf : 0.00 0 0 0 0 0
1210.82/1210.88 c mcf : 0.00 0 0 0 0 0
1210.82/1210.88 c rapidlearning : 0.00 0 0 0 0 0
1210.82/1210.88 c Pricers : Time Calls Vars
1210.82/1210.88 c problem variables: 0.00 0 0
1210.82/1210.88 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1210.82/1210.88 c relpscost : 0.00 0 0 0 0 0 0
1210.82/1210.88 c pscost : 0.00 0 0 0 0 0 0
1210.82/1210.88 c inference : 9.07 1034014 0 0 0 0 2068028
1210.82/1210.88 c mostinf : 0.00 0 0 0 0 0 0
1210.82/1210.88 c leastinf : 0.00 0 0 0 0 0 0
1210.82/1210.88 c fullstrong : 0.00 0 0 0 0 0 0
1210.82/1210.88 c allfullstrong : 0.00 0 0 0 0 0 0
1210.82/1210.88 c random : 0.00 0 0 0 0 0 0
1210.82/1210.88 c Primal Heuristics : Time Calls Found
1210.82/1210.88 c LP solutions : 0.00 - 0
1210.82/1210.88 c pseudo solutions : 0.37 - 25
1210.82/1210.88 c oneopt : 0.17 0 0
1210.82/1210.88 c trivial : 0.00 2 0
1210.82/1210.88 c simplerounding : 0.00 0 0
1210.82/1210.88 c zirounding : 0.00 0 0
1210.82/1210.88 c rounding : 0.00 0 0
1210.82/1210.88 c shifting : 0.00 0 0
1210.82/1210.88 c intshifting : 0.00 0 0
1210.82/1210.88 c twoopt : 0.00 0 0
1210.82/1210.89 c fixandinfer : 0.00 0 0
1210.82/1210.89 c feaspump : 0.00 0 0
1210.82/1210.89 c coefdiving : 0.00 0 0
1210.82/1210.89 c pscostdiving : 0.00 0 0
1210.82/1210.89 c fracdiving : 0.00 0 0
1210.82/1210.89 c veclendiving : 0.00 0 0
1210.82/1210.89 c intdiving : 0.00 0 0
1210.82/1210.89 c actconsdiving : 0.00 0 0
1210.82/1210.89 c objpscostdiving : 0.00 0 0
1210.82/1210.89 c rootsoldiving : 0.00 0 0
1210.82/1210.89 c linesearchdiving : 0.00 0 0
1210.82/1210.89 c guideddiving : 0.00 0 0
1210.82/1210.89 c octane : 0.00 0 0
1210.82/1210.89 c rens : 0.00 0 0
1210.82/1210.89 c rins : 0.00 0 0
1210.82/1210.89 c localbranching : 0.00 0 0
1210.82/1210.89 c mutation : 0.00 0 0
1210.82/1210.89 c crossover : 0.00 0 0
1210.82/1210.89 c dins : 0.00 0 0
1210.82/1210.89 c undercover : 0.00 0 0
1210.82/1210.89 c nlp : 0.02 0 0
1210.82/1210.89 c trysol : 0.00 1 0
1210.82/1210.89 c LP : Time Calls Iterations Iter/call Iter/sec
1210.82/1210.89 c primal LP : 0.00 0 0 0.00 -
1210.82/1210.89 c dual LP : 0.00 0 0 0.00 -
1210.82/1210.89 c lex dual LP : 0.00 0 0 0.00 -
1210.82/1210.89 c barrier LP : 0.00 0 0 0.00 -
1210.82/1210.89 c diving/probing LP: 0.00 0 0 0.00 -
1210.82/1210.89 c strong branching : 0.00 0 0 0.00 -
1210.82/1210.89 c (at root node) : - 0 0 0.00 -
1210.82/1210.89 c conflict analysis: 0.00 0 0 0.00 -
1210.82/1210.89 c B&B Tree :
1210.82/1210.89 c number of runs : 1
1210.82/1210.89 c nodes : 1458779
1210.82/1210.89 c nodes (total) : 1458779
1210.82/1210.89 c nodes left : 0
1210.82/1210.89 c max depth : 183
1210.82/1210.89 c max depth (total): 183
1210.82/1210.89 c backtracks : 528273 (36.2%)
1210.82/1210.89 c delayed cutoffs : 409481
1210.82/1210.89 c repropagations : 1854213 (7782597 domain reductions, 198867 cutoffs)
1210.82/1210.89 c avg switch length: 27.69
1210.82/1210.89 c switching time : 350.39
1210.82/1210.89 c Solution :
1210.82/1210.89 c Solutions found : 25 (25 improvements)
1210.82/1210.89 c First Solution : +4.23000000000000e+02 (in run 1, after 18617 nodes, 2.83 seconds, depth 100, found by <relaxation>)
1210.82/1210.89 c Primal Bound : +5.00000000000000e+00 (in run 1, after 1441817 nodes, 1097.59 seconds, depth 29, found by <relaxation>)
1210.82/1210.89 c Dual Bound : +5.00000000000000e+00
1210.82/1210.89 c Gap : 0.00 %
1210.82/1210.89 c Root Dual Bound : +0.00000000000000e+00
1210.82/1210.89 c Root Iterations : 0
1210.92/1210.96 c Time complete: 1210.98.