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-2693942-1277898042.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.01 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.20/1.26 c 1.2s| 10000 | 7772 | 0 | 0.0 |6323k| 183 | - | 295 |3026 | 0 | 0 | 0 |5683 | 0 | 0.000000e+00 | -- | Inf
3.19/3.30 o 472
3.19/3.30 c * 3.1s| 17853 | 11650 | 0 | 0.0 | 10M| 183 | - | 295 |5332 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.720000e+02 | Inf
3.39/3.41 o 442
3.39/3.41 c * 3.2s| 18903 | 12617 | 0 | 0.0 | 10M| 183 | - | 295 |4348 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.420000e+02 | Inf
3.49/3.52 c 3.3s| 20000 | 13628 | 0 | 0.0 | 10M| 183 | - | 295 |3077 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.420000e+02 | Inf
5.19/5.24 c 5.0s| 30000 | 20734 | 0 | 0.0 | 15M| 183 | - | 295 |4773 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.420000e+02 | Inf
7.69/7.74 c 7.3s| 40000 | 26677 | 0 | 0.0 | 20M| 183 | - | 295 |6061 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 4.420000e+02 | Inf
10.59/10.63 c 10.2s| 50000 | 32004 | 0 | 0.0 | 24M| 183 | - | 295 |7003 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 4.420000e+02 | Inf
14.30/14.37 c 13.8s| 60000 | 35905 | 0 | 0.0 | 29M| 183 | - | 295 |9198 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 4.420000e+02 | Inf
19.89/19.92 c 19.2s| 70000 | 37239 | 0 | 0.0 | 33M| 183 | - | 295 | 11k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 4.420000e+02 | Inf
23.79/23.85 o 322
23.79/23.85 c *23.0s| 78782 | 40362 | 0 | 0.0 | 33M| 183 | - | 295 |2368 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 3.220000e+02 | Inf
23.89/23.98 c 23.2s| 80000 | 41415 | 0 | 0.0 | 33M| 183 | - | 295 |1703 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 3.220000e+02 | Inf
24.49/24.55 o 316
24.49/24.55 c *23.7s| 85171 | 45886 | 0 | 0.0 | 35M| 183 | - | 295 |1636 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 3.160000e+02 | Inf
24.49/24.55 o 278
24.49/24.55 c *23.7s| 85172 | 45878 | 0 | 0.0 | 35M| 183 | - | 295 |1636 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 2.780000e+02 | Inf
24.59/24.68 o 197
24.59/24.68 c *23.8s| 86334 | 46877 | 0 | 0.0 | 35M| 183 | - | 295 |1683 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
24.99/25.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.99/25.09 c 24.2s| 90000 | 50047 | 0 | 0.0 | 36M| 183 | - | 295 |1890 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
26.29/26.35 c 25.4s|100000 | 58351 | 0 | 0.0 | 40M| 183 | - | 295 |1735 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
27.59/27.65 c 26.6s|110000 | 66451 | 0 | 0.0 | 44M| 183 | - | 295 |1824 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
28.49/28.56 o 175
28.49/28.56 c *27.4s|116554 | 71578 | 0 | 0.0 | 47M| 183 | - | 295 |1917 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
28.99/29.06 c 27.9s|120000 | 74230 | 0 | 0.0 | 48M| 183 | - | 295 |2138 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
30.49/30.55 c 29.3s|130000 | 81931 | 0 | 0.0 | 52M| 183 | - | 295 |2531 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
32.29/32.34 c 31.0s|140000 | 89094 | 0 | 0.0 | 57M| 183 | - | 295 |3325 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
34.69/34.70 c 33.2s|150000 | 95123 | 0 | 0.0 | 61M| 183 | - | 295 |4985 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
38.99/39.08 c 37.5s|160000 | 98116 | 0 | 0.0 | 66M| 183 | - | 295 |9331 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
44.60/44.65 c 42.9s|170000 |100388 | 0 | 0.0 | 70M| 183 | - | 295 | 11k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
50.79/50.87 c 49.0s|180000 |101788 | 0 | 0.0 | 74M| 183 | - | 295 | 11k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
57.39/57.43 c 55.5s|190000 |102739 | 0 | 0.0 | 77M| 183 | - | 295 | 12k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
64.79/64.84 c 62.8s|200000 |102475 | 0 | 0.0 | 80M| 183 | - | 295 | 12k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
72.50/72.58 c 70.4s|210000 |101856 | 0 | 0.0 | 82M| 183 | - | 295 | 12k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
81.09/81.15 c 78.8s|220000 |100075 | 0 | 0.0 | 84M| 183 | - | 295 | 14k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
88.59/88.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.59/88.60 c 86.1s|230000 |100898 | 0 | 0.0 | 79M| 183 | - | 295 |3477 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
90.10/90.13 c 87.6s|240000 |108726 | 0 | 0.0 | 83M| 183 | - | 295 |2012 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
91.69/91.70 c 89.1s|250000 |116403 | 0 | 0.0 | 87M| 183 | - | 295 |2366 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
93.19/93.21 c 90.5s|260000 |124227 | 0 | 0.0 | 91M| 183 | - | 295 |2688 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
94.79/94.81 c 92.0s|270000 |131873 | 0 | 0.0 | 95M| 183 | - | 295 |3065 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
96.39/96.41 c 93.5s|280000 |139622 | 0 | 0.0 | 99M| 183 | - | 295 |3268 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
98.09/98.10 c 95.1s|290000 |147172 | 0 | 0.0 | 103M| 183 | - | 295 |3602 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
99.79/99.81 c 96.7s|300000 |154716 | 0 | 0.0 | 107M| 183 | - | 295 |3990 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
101.39/101.45 c 98.3s|310000 |162402 | 0 | 0.0 | 111M| 183 | - | 295 |4172 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
102.30/102.37 o 152
102.30/102.37 c *99.2s|315075 |165806 | 0 | 0.0 | 113M| 183 | - | 295 |4278 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
103.19/103.25 c 100s|320000 |169473 | 0 | 0.0 | 115M| 183 | - | 295 |4341 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
104.99/105.07 c 102s|330000 |176928 | 0 | 0.0 | 119M| 183 | - | 295 |4757 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
106.50/106.56 o 128
106.50/106.56 c * 103s|337734 |181557 | 0 | 0.0 | 122M| 183 | - | 295 |4818 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
106.99/107.08 c 104s|340000 |182998 | 0 | 0.0 | 123M| 183 | - | 295 |5059 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
109.19/109.20 c 106s|350000 |190018 | 0 | 0.0 | 128M| 183 | - | 295 |5172 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
110.89/110.95 o 124
110.89/110.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.89/110.95 c * 107s|357637 |195050 | 0 | 0.0 | 131M| 183 | - | 295 |5185 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
110.89/110.96 o 79
110.89/110.96 c * 107s|357638 |184455 | 0 | 0.0 | 124M| 183 | - | 295 |5185 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
111.59/111.61 c 108s|360000 |185862 | 0 | 0.0 | 125M| 183 | - | 295 |5168 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
114.20/114.22 c 110s|370000 |191877 | 0 | 0.0 | 130M| 183 | - | 295 |4738 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
116.79/116.88 c 113s|380000 |197588 | 0 | 0.0 | 134M| 183 | - | 295 |1280 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
119.09/119.14 c 115s|390000 |203177 | 0 | 0.0 | 139M| 183 | - | 295 |1951 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
121.59/121.62 c 118s|400000 |208575 | 0 | 0.0 | 143M| 183 | - | 295 | 930 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
123.89/123.92 c 120s|410000 |214067 | 0 | 0.0 | 148M| 183 | - | 295 |2100 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
126.19/126.28 c 122s|420000 |219644 | 0 | 0.0 | 152M| 183 | - | 295 | 859 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
128.39/128.49 c 124s|430000 |225411 | 0 | 0.0 | 156M| 183 | - | 295 |1939 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
130.59/130.68 c 126s|440000 |231307 | 0 | 0.0 | 160M| 183 | - | 295 |2071 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
132.90/132.93 c 128s|450000 |237097 | 0 | 0.0 | 165M| 183 | - | 295 |2378 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
133.20/133.26 o 61
133.20/133.26 c * 129s|451660 |221788 | 0 | 0.0 | 154M| 183 | - | 295 |2187 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
135.19/135.26 c 130s|460000 |226120 | 0 | 0.0 | 157M| 183 | - | 295 |1337 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
136.49/136.52 o 60
136.49/136.52 c * 132s|465584 |228935 | 0 | 0.0 | 159M| 183 | - | 295 |1769 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
136.49/136.55 o 23
136.49/136.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.49/136.55 c * 132s|465585 |203962 | 0 | 0.0 | 144M| 183 | - | 295 |1769 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
137.79/137.82 c 133s|470000 |206019 | 0 | 0.0 | 147M| 183 | - | 295 |2644 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
140.89/140.95 c 136s|480000 |210174 | 0 | 0.0 | 152M| 183 | - | 295 |3632 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
144.29/144.31 c 139s|490000 |214254 | 0 | 0.0 | 156M| 183 | - | 295 |3986 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
147.79/147.86 c 143s|500000 |218051 | 0 | 0.0 | 160M| 183 | - | 295 |4877 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
151.69/151.74 c 146s|510000 |221263 | 0 | 0.0 | 164M| 183 | - | 295 |5669 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
155.89/155.94 c 150s|520000 |224091 | 0 | 0.0 | 168M| 183 | - | 295 |6127 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
160.39/160.50 c 155s|530000 |226370 | 0 | 0.0 | 172M| 183 | - | 295 |6735 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
165.39/165.40 c 160s|540000 |228284 | 0 | 0.0 | 175M| 183 | - | 295 |7230 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
170.89/170.92 c 165s|550000 |229317 | 0 | 0.0 | 178M| 183 | - | 295 |9738 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
172.60/172.66 o 13
172.60/172.66 c * 167s|552627 |210311 | 0 | 0.0 | 165M| 183 | - | 295 |9328 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
177.49/177.55 c 171s|560000 |209518 | 0 | 0.0 | 165M| 183 | - | 295 | 11k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
188.09/188.18 c 182s|570000 |204909 | 0 | 0.0 | 164M| 183 | - | 295 | 12k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
200.09/200.15 c 194s|580000 |198709 | 0 | 0.0 | 158M| 183 | - | 295 | 13k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
209.89/209.93 c 203s|590000 |194299 | 0 | 0.0 | 147M| 183 | - | 295 |3986 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
214.79/214.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.79/214.89 c 208s|600000 |195337 | 0 | 0.0 | 151M| 183 | - | 295 |6078 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
219.78/219.85 c 213s|610000 |197171 | 0 | 0.0 | 156M| 183 | - | 295 |7263 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
223.89/223.97 o 8
223.89/223.97 c * 217s|618001 |190511 | 0 | 0.0 | 153M| 183 | - | 295 |8295 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
225.29/225.40 c 218s|620000 |190445 | 0 | 0.0 | 154M| 183 | - | 295 |8696 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
233.48/233.51 c 226s|630000 |189552 | 0 | 0.0 | 158M| 183 | - | 295 | 10k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
241.99/242.00 c 235s|640000 |187985 | 0 | 0.0 | 162M| 183 | - | 295 | 12k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
251.39/251.46 c 244s|650000 |185070 | 0 | 0.0 | 165M| 183 | - | 295 | 13k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
261.28/261.31 o 7
261.28/261.31 c * 254s|659205 |178327 | 0 | 0.0 | 164M| 183 | - | 295 | 14k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
262.49/262.54 c 255s|660000 |177729 | 0 | 0.0 | 164M| 183 | - | 295 | 13k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
275.19/275.26 c 267s|670000 |171106 | 0 | 0.0 | 165M| 183 | - | 295 | 15k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
276.89/276.95 o 2
276.89/276.95 c * 269s|671428 |164430 | 0 | 0.0 | 161M| 183 | - | 295 | 15k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
290.40/290.46 c 282s|680000 |152847 | 0 | 0.0 | 158M| 183 | - | 295 | 11k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
303.99/304.08 c 296s|690000 |141728 | 0 | 0.0 | 154M| 183 | - | 295 | 11k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
315.59/315.61 c 307s|700000 |135104 | 0 | 0.0 | 152M| 183 | - | 295 | 11k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
325.99/326.03 c 317s|710000 |130155 | 0 | 0.0 | 152M| 183 | - | 295 | 13k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
336.59/336.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.59/336.62 c 328s|720000 |125942 | 0 | 0.0 | 151M| 183 | - | 295 | 14k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
347.60/347.64 c 339s|730000 |122423 | 0 | 0.0 | 152M| 183 | - | 295 | 16k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
359.69/359.79 c 351s|740000 |118469 | 0 | 0.0 | 151M| 183 | - | 295 | 17k| 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
371.80/371.88 c 363s|750000 |115267 | 0 | 0.0 | 150M| 183 | - | 295 | 17k| 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
384.70/384.73 c 375s|760000 |112098 | 0 | 0.0 | 152M| 183 | - | 295 | 20k| 0 | 0 | 0 | 835k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
398.59/398.66 c 389s|770000 |109129 | 0 | 0.0 | 152M| 183 | - | 295 | 22k| 0 | 0 | 0 | 856k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
413.99/414.00 c 404s|780000 |105708 | 0 | 0.0 | 153M| 183 | - | 295 | 25k| 0 | 0 | 0 | 878k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
430.59/430.65 c 421s|790000 |101940 | 0 | 0.0 | 152M| 183 | - | 295 | 26k| 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
446.99/447.01 c 437s|800000 | 98952 | 0 | 0.0 | 152M| 183 | - | 295 | 29k| 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
465.20/465.24 c 455s|810000 | 94741 | 0 | 0.0 | 151M| 183 | - | 295 | 33k| 0 | 0 | 0 | 945k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
487.20/487.29 c 477s|820000 | 88390 | 0 | 0.0 | 146M| 183 | - | 295 | 24k| 0 | 0 | 0 | 973k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
510.20/510.29 c 500s|830000 | 80940 | 0 | 0.0 | 145M| 183 | - | 295 | 30k| 0 | 0 | 0 |1001k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
538.09/538.19 c 528s|840000 | 71921 | 0 | 0.0 | 140M| 183 | - | 295 | 37k| 0 | 0 | 0 |1030k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
571.60/571.68 c 561s|850000 | 59906 | 0 | 0.0 | 126M| 183 | - | 295 | 39k| 0 | 0 | 0 |1059k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
604.79/604.83 c 594s|860000 | 51683 | 0 | 0.0 | 114M| 183 | - | 295 | 39k| 0 | 0 | 0 |1087k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
639.19/639.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.19/639.29 c 628s|870000 | 44459 | 0 | 0.0 | 108M| 183 | - | 295 | 46k| 0 | 0 | 0 |1115k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
685.40/685.47 c 674s|880000 | 36879 | 0 | 0.0 | 100M| 183 | - | 295 | 51k| 0 | 0 | 0 |1143k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
721.70/721.75 o 1
721.70/721.75 c * 710s|887321 | 0 | 0 | 0.0 | 23M| 183 | - | 295 | 55k| 0 | 0 | 0 |1163k| 0 | 1.000000e+00 | 1.000000e+00 | 0.00%
721.70/721.76 c
721.70/721.76 c SCIP Status : problem is solved [optimal solution found]
721.70/721.76 c Solving Time (sec) : 709.55
721.70/721.76 c Solving Nodes : 887321
721.70/721.76 c Primal Bound : +1.00000000000000e+00 (19 solutions)
721.70/721.76 c Dual Bound : +1.00000000000000e+00
721.70/721.76 c Gap : 0.00 %
721.70/721.76 s OPTIMUM FOUND
721.70/721.76 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
721.70/721.76 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127
721.70/721.76 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
721.70/721.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
721.70/721.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
721.70/721.76 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
721.70/721.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
721.70/721.76 v -x4 x3 -x2 -x1
721.70/721.76 c SCIP Status : problem is solved [optimal solution found]
721.70/721.76 c Solving Time : 709.55
721.70/721.76 c Original Problem :
721.70/721.76 c Problem name : HOME/instance-2693942-1277898042.wbo
721.70/721.76 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
721.70/721.76 c Constraints : 166 initial, 166 maximal
721.70/721.76 c Presolved Problem :
721.70/721.76 c Problem name : t_HOME/instance-2693942-1277898042.wbo
721.70/721.76 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
721.70/721.76 c Constraints : 159 initial, 55871 maximal
721.70/721.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
721.70/721.76 c trivial : 0.00 0 0 0 0 0 0 0 0
721.70/721.76 c dualfix : 0.00 2 0 0 0 0 0 0 0
721.70/721.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
721.70/721.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
721.70/721.76 c implics : 0.00 0 0 0 0 0 0 0 0
721.70/721.76 c probing : 0.01 0 0 0 0 0 0 0 0
721.70/721.76 c indicator : 0.00 0 0 0 0 0 1 0 0
721.70/721.76 c knapsack : 0.00 0 0 0 0 0 0 0 0
721.70/721.76 c setppc : 0.00 0 0 0 0 0 0 0 0
721.70/721.76 c linear : 0.00 0 0 0 63 0 6 1 0
721.70/721.76 c logicor : 0.00 0 0 0 0 0 0 0 0
721.70/721.76 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
721.70/721.76 c root node : - 13 - - 26 - - - -
721.70/721.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
721.70/721.76 c integral : 0 0 0 0 0 0 0 0 0 0
721.70/721.76 c indicator : 63 0 2215726 0 503526 1774 442550 0 0 0
721.70/721.76 c knapsack : 1 0 2848938 0 619117 69685 8920886 0 0 0
721.70/721.76 c setppc : 23 0 2778955 0 619066 91743 1875027 0 0 0
721.70/721.76 c linear : 63 0 2687497 0 619109 198544 3576211 0 0 0
721.70/721.76 c logicor : 9+ 0 1272393 0 619042 31220 637093 0 0 0
721.70/721.76 c bounddisjunction : 0+ 0 87311 0 0 0 1566 0 0 0
721.70/721.76 c countsols : 0 0 0 0 619127 0 0 0 0 0
721.70/721.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
721.70/721.76 c integral : 0.00 0.00 0.00 0.00 0.00
721.70/721.76 c indicator : 1.78 0.00 1.06 0.00 0.72
721.70/721.76 c knapsack : 92.54 0.00 90.62 0.00 1.92
721.70/721.76 c setppc : 9.33 0.00 7.61 0.00 1.72
721.70/721.76 c linear : 33.44 0.00 33.13 0.00 0.31
721.70/721.76 c logicor : 270.25 0.00 269.46 0.00 0.79
721.70/721.76 c bounddisjunction : 0.78 0.00 0.78 0.00 0.00
721.70/721.76 c countsols : 0.12 0.00 0.00 0.00 0.12
721.70/721.76 c Propagators : Time Calls Cutoffs DomReds
721.70/721.76 c vbounds : 0.63 2 0 0
721.70/721.76 c rootredcost : 0.66 0 0 0
721.70/721.76 c pseudoobj : 6.61 2852208 1635 415771
721.70/721.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
721.70/721.76 c propagation : 14.09 392827 392825 1973108 23.5 105979 13.5 -
721.70/721.76 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
721.70/721.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
721.70/721.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
721.70/721.76 c pseudo solution : 0.00 65 65 298 27.7 24 15.0 -
721.70/721.76 c applied globally : - - - 1140009 16.9 - - -
721.70/721.76 c applied locally : - - - 23773 36.6 - - -
721.70/721.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
721.70/721.76 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
721.70/721.76 c redcost : 0.00 0 0 0 0 0
721.70/721.76 c impliedbounds : 0.00 0 0 0 0 0
721.70/721.76 c intobj : 0.00 0 0 0 0 0
721.70/721.76 c cgmip : 0.00 0 0 0 0 0
721.70/721.76 c gomory : 0.00 0 0 0 0 0
721.70/721.76 c strongcg : 0.00 0 0 0 0 0
721.70/721.76 c cmir : 0.00 0 0 0 0 0
721.70/721.76 c flowcover : 0.00 0 0 0 0 0
721.70/721.76 c clique : 0.00 0 0 0 0 0
721.70/721.76 c zerohalf : 0.00 0 0 0 0 0
721.70/721.76 c mcf : 0.00 0 0 0 0 0
721.70/721.76 c rapidlearning : 0.00 0 0 0 0 0
721.70/721.76 c Pricers : Time Calls Vars
721.70/721.76 c problem variables: 0.00 0 0
721.70/721.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
721.70/721.76 c relpscost : 0.00 0 0 0 0 0 0
721.70/721.76 c pscost : 0.00 0 0 0 0 0 0
721.70/721.76 c inference : 5.64 619108 0 0 0 0 1238216
721.70/721.76 c mostinf : 0.00 0 0 0 0 0 0
721.70/721.76 c leastinf : 0.00 0 0 0 0 0 0
721.70/721.76 c fullstrong : 0.00 0 0 0 0 0 0
721.70/721.76 c allfullstrong : 0.00 0 0 0 0 0 0
721.70/721.76 c random : 0.00 0 0 0 0 0 0
721.70/721.76 c Primal Heuristics : Time Calls Found
721.70/721.76 c LP solutions : 0.00 - 0
721.70/721.76 c pseudo solutions : 0.30 - 19
721.70/721.76 c oneopt : 0.33 0 0
721.70/721.76 c trivial : 0.01 2 0
721.70/721.76 c simplerounding : 0.00 0 0
721.70/721.76 c zirounding : 0.00 0 0
721.70/721.76 c rounding : 0.00 0 0
721.70/721.76 c shifting : 0.00 0 0
721.70/721.76 c intshifting : 0.00 0 0
721.70/721.76 c twoopt : 0.00 0 0
721.70/721.76 c fixandinfer : 0.00 0 0
721.70/721.76 c feaspump : 0.00 0 0
721.70/721.76 c coefdiving : 0.00 0 0
721.70/721.76 c pscostdiving : 0.00 0 0
721.70/721.76 c fracdiving : 0.00 0 0
721.70/721.76 c veclendiving : 0.00 0 0
721.70/721.76 c intdiving : 0.00 0 0
721.70/721.76 c actconsdiving : 0.00 0 0
721.70/721.76 c objpscostdiving : 0.00 0 0
721.70/721.76 c rootsoldiving : 0.00 0 0
721.70/721.76 c linesearchdiving : 0.00 0 0
721.70/721.76 c guideddiving : 0.00 0 0
721.70/721.76 c octane : 0.00 0 0
721.70/721.76 c rens : 0.00 0 0
721.70/721.76 c rins : 0.00 0 0
721.70/721.76 c localbranching : 0.00 0 0
721.70/721.76 c mutation : 0.00 0 0
721.70/721.76 c crossover : 0.00 0 0
721.70/721.76 c dins : 0.00 0 0
721.70/721.76 c undercover : 0.00 0 0
721.70/721.76 c nlp : 0.30 0 0
721.70/721.76 c trysol : 0.12 1 0
721.70/721.76 c LP : Time Calls Iterations Iter/call Iter/sec
721.70/721.76 c primal LP : 0.00 0 0 0.00 -
721.70/721.76 c dual LP : 0.00 0 0 0.00 -
721.70/721.76 c lex dual LP : 0.00 0 0 0.00 -
721.70/721.76 c barrier LP : 0.00 0 0 0.00 -
721.70/721.76 c diving/probing LP: 0.00 0 0 0.00 -
721.70/721.76 c strong branching : 0.00 0 0 0.00 -
721.70/721.76 c (at root node) : - 0 0 0.00 -
721.70/721.76 c conflict analysis: 0.00 0 0 0.00 -
721.70/721.76 c B&B Tree :
721.70/721.76 c number of runs : 1
721.70/721.76 c nodes : 887321
721.70/721.76 c nodes (total) : 887321
721.70/721.76 c nodes left : 0
721.70/721.76 c max depth : 183
721.70/721.76 c max depth (total): 183
721.70/721.76 c backtracks : 315470 (35.6%)
721.70/721.76 c delayed cutoffs : 229672
721.70/721.76 c repropagations : 1114251 (4687737 domain reductions, 126472 cutoffs)
721.70/721.76 c avg switch length: 25.01
721.70/721.76 c switching time : 202.83
721.70/721.76 c Solution :
721.70/721.76 c Solutions found : 19 (19 improvements)
721.70/721.76 c First Solution : +4.72000000000000e+02 (in run 1, after 17853 nodes, 3.10 seconds, depth 95, found by <relaxation>)
721.70/721.76 c Primal Bound : +1.00000000000000e+00 (in run 1, after 887321 nodes, 709.38 seconds, depth 81, found by <relaxation>)
721.70/721.76 c Dual Bound : +1.00000000000000e+00
721.70/721.76 c Gap : 0.00 %
721.70/721.76 c Root Dual Bound : +0.00000000000000e+00
721.70/721.76 c Root Iterations : 0
721.80/721.85 c Time complete: 721.86.