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-2693932-1277897845.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.29/1.34 c 1.1s| 10000 | 7302 | 0 | 0.0 |6775k| 183 | - | 295 |4034 | 0 | 0 | 0 |7149 | 0 | 0.000000e+00 | -- | Inf
2.59/2.63 o 401
2.59/2.63 c * 2.2s| 15285 | 9981 | 0 | 0.0 |9884k| 183 | - | 295 |6487 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 4.010000e+02 | Inf
2.89/2.93 o 281
2.89/2.93 c * 2.5s| 18358 | 12812 | 0 | 0.0 |9882k| 183 | - | 295 |2531 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
2.89/2.93 o 272
2.89/2.93 c * 2.5s| 18359 | 12811 | 0 | 0.0 |9887k| 183 | - | 295 |2531 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.720000e+02 | Inf
2.99/3.08 c 2.6s| 20000 | 14266 | 0 | 0.0 | 10M| 183 | - | 295 |1609 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.720000e+02 | Inf
5.29/5.35 c 4.6s| 30000 | 19655 | 0 | 0.0 | 16M| 183 | - | 295 |6905 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.720000e+02 | Inf
9.29/9.30 c 8.2s| 40000 | 22921 | 0 | 0.0 | 21M| 183 | - | 295 | 11k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 2.720000e+02 | Inf
14.39/14.49 c 13.1s| 50000 | 24970 | 0 | 0.0 | 27M| 183 | - | 295 | 15k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 2.720000e+02 | Inf
19.29/19.38 c 17.7s| 60000 | 28313 | 0 | 0.0 | 27M| 183 | - | 295 |5276 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 2.720000e+02 | Inf
20.39/20.40 c 18.5s| 70000 | 37015 | 0 | 0.0 | 29M| 183 | - | 295 |1575 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.720000e+02 | Inf
21.39/21.44 o 255
21.39/21.44 c *19.3s| 79839 | 45459 | 0 | 0.0 | 33M| 183 | - | 295 |1633 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
21.39/21.44 o 226
21.39/21.44 c *19.3s| 79840 | 45438 | 0 | 0.0 | 33M| 183 | - | 295 |1633 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
21.39/21.46 c 19.3s| 80000 | 45571 | 0 | 0.0 | 33M| 183 | - | 295 |1624 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
22.49/22.59 c 20.2s| 90000 | 53890 | 0 | 0.0 | 37M| 183 | - | 295 |1558 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
23.70/23.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.70/23.79 c 21.1s|100000 | 62022 | 0 | 0.0 | 41M| 183 | - | 295 |1989 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
24.99/25.09 c 22.1s|110000 | 69945 | 0 | 0.0 | 45M| 183 | - | 295 |2663 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
26.40/26.47 c 23.3s|120000 | 77804 | 0 | 0.0 | 50M| 183 | - | 295 |3331 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
28.19/28.23 c 24.8s|130000 | 84947 | 0 | 0.0 | 54M| 183 | - | 295 |4358 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
30.69/30.71 c 26.9s|140000 | 90681 | 0 | 0.0 | 59M| 183 | - | 295 |6268 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
36.10/36.15 c 32.2s|150000 | 92220 | 0 | 0.0 | 64M| 183 | - | 295 | 12k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
46.00/46.06 c 42.0s|160000 | 91165 | 0 | 0.0 | 68M| 183 | - | 295 | 19k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
59.50/59.55 c 55.3s|170000 | 88867 | 0 | 0.0 | 70M| 183 | - | 295 | 24k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
72.49/72.56 c 68.2s|180000 | 88535 | 0 | 0.0 | 63M| 183 | - | 295 |3901 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
73.99/74.09 c 69.6s|190000 | 96352 | 0 | 0.0 | 66M| 183 | - | 295 |1559 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
74.70/74.74 o 182
74.70/74.74 c *70.2s|194322 | 99285 | 0 | 0.0 | 68M| 183 | - | 295 |1833 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.820000e+02 | Inf
75.59/75.62 c 71.0s|200000 |103743 | 0 | 0.0 | 70M| 183 | - | 295 |2109 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.820000e+02 | Inf
76.39/76.41 o 140
76.39/76.41 c *71.8s|205239 |106169 | 0 | 0.0 | 71M| 183 | - | 295 |2271 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
77.10/77.13 c 72.5s|210000 |109923 | 0 | 0.0 | 74M| 183 | - | 295 |2558 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
78.70/78.75 c 74.0s|220000 |117738 | 0 | 0.0 | 78M| 183 | - | 295 |2811 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
80.40/80.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.40/80.40 c 75.6s|230000 |125531 | 0 | 0.0 | 83M| 183 | - | 295 |3025 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
82.10/82.10 c 77.2s|240000 |133243 | 0 | 0.0 | 87M| 183 | - | 295 |3229 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
83.79/83.81 c 78.8s|250000 |140831 | 0 | 0.0 | 92M| 183 | - | 295 |3348 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
85.49/85.59 c 80.5s|260000 |148414 | 0 | 0.0 | 97M| 183 | - | 295 |3543 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
87.39/87.44 c 82.2s|270000 |155886 | 0 | 0.0 | 101M| 183 | - | 295 |3678 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
89.29/89.31 c 84.0s|280000 |163362 | 0 | 0.0 | 106M| 183 | - | 295 |3612 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
91.09/91.20 c 85.8s|290000 |170704 | 0 | 0.0 | 110M| 183 | - | 295 |3602 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
92.99/93.09 c 87.6s|300000 |178092 | 0 | 0.0 | 115M| 183 | - | 295 |3474 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
94.89/94.99 c 89.4s|310000 |185451 | 0 | 0.0 | 119M| 183 | - | 295 |3306 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
96.80/96.81 c 90.9s|320000 |192569 | 0 | 0.0 | 124M| 183 | - | 295 |3521 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
98.60/98.63 c 92.4s|330000 |199687 | 0 | 0.0 | 129M| 183 | - | 295 |3366 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
100.52/100.62 c 94.1s|340000 |206732 | 0 | 0.0 | 134M| 183 | - | 295 |3229 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
100.91/101.05 o 104
100.91/101.05 c *94.5s|341967 |202398 | 0 | 0.0 | 130M| 183 | - | 295 |3274 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
102.61/102.75 c 96.0s|350000 |207635 | 0 | 0.0 | 134M| 183 | - | 295 |3296 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
103.90/104.06 o 103
103.90/104.06 c *97.2s|356359 |211410 | 0 | 0.0 | 136M| 183 | - | 295 |3389 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
104.70/104.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.70/104.81 c 98.0s|360000 |213818 | 0 | 0.0 | 138M| 183 | - | 295 |3386 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
105.30/105.42 o 101
105.30/105.42 c *98.5s|362939 |215407 | 0 | 0.0 | 139M| 183 | - | 295 |3402 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
106.70/106.88 c 99.9s|370000 |219990 | 0 | 0.0 | 143M| 183 | - | 295 |3446 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
109.00/109.13 c 102s|380000 |226169 | 0 | 0.0 | 148M| 183 | - | 295 |3843 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
109.70/109.84 o 98
109.70/109.84 c * 103s|383135 |227762 | 0 | 0.0 | 149M| 183 | - | 295 |3831 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
111.30/111.42 c 104s|390000 |232045 | 0 | 0.0 | 152M| 183 | - | 295 |4079 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
112.11/112.22 o 93
112.11/112.22 c * 105s|393601 |229107 | 0 | 0.0 | 150M| 183 | - | 295 |4225 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
113.70/113.85 c 107s|400000 |232936 | 0 | 0.0 | 152M| 183 | - | 295 |1500 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
116.00/116.11 c 109s|410000 |238622 | 0 | 0.0 | 158M| 183 | - | 295 |2181 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
118.20/118.39 c 111s|420000 |244404 | 0 | 0.0 | 163M| 183 | - | 295 |2626 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
120.50/120.69 c 113s|430000 |250151 | 0 | 0.0 | 168M| 183 | - | 295 |2831 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
123.00/123.20 c 115s|440000 |255463 | 0 | 0.0 | 172M| 183 | - | 295 |3020 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
124.80/124.90 o 66
124.80/124.90 c * 117s|446603 |230038 | 0 | 0.0 | 151M| 183 | - | 295 |3216 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
125.90/126.00 c 118s|450000 |231464 | 0 | 0.0 | 154M| 183 | - | 295 |3269 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
129.09/129.28 c 121s|460000 |235425 | 0 | 0.0 | 159M| 183 | - | 295 |4076 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
132.69/132.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.69/132.84 c 125s|470000 |239095 | 0 | 0.0 | 163M| 183 | - | 295 |4910 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
136.50/136.67 c 128s|480000 |242328 | 0 | 0.0 | 167M| 183 | - | 295 |5064 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
140.40/140.57 c 132s|490000 |245464 | 0 | 0.0 | 171M| 183 | - | 295 |5563 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
144.50/144.66 c 136s|500000 |248280 | 0 | 0.0 | 175M| 183 | - | 295 |6277 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
148.89/149.03 c 140s|510000 |250730 | 0 | 0.0 | 179M| 183 | - | 295 |7162 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
153.90/154.09 c 145s|520000 |251638 | 0 | 0.0 | 180M| 183 | - | 295 |4896 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
159.59/159.77 c 151s|530000 |250350 | 0 | 0.0 | 178M| 183 | - | 295 |9126 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
164.90/165.03 c 156s|540000 |250712 | 0 | 0.0 | 173M| 183 | - | 295 |1611 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
167.79/167.91 c 159s|550000 |254493 | 0 | 0.0 | 177M| 183 | - | 295 |1765 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
170.69/170.89 c 162s|560000 |258052 | 0 | 0.0 | 181M| 183 | - | 295 |2153 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
173.58/173.80 c 164s|570000 |261946 | 0 | 0.0 | 184M| 183 | - | 295 |2708 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
176.48/176.68 c 167s|580000 |266027 | 0 | 0.0 | 188M| 183 | - | 295 |2919 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
179.38/179.59 c 170s|590000 |270075 | 0 | 0.0 | 192M| 183 | - | 295 |2787 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
182.29/182.43 c 173s|600000 |274345 | 0 | 0.0 | 195M| 183 | - | 295 |3034 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
185.18/185.35 c 176s|610000 |278294 | 0 | 0.0 | 199M| 183 | - | 295 |3148 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
188.19/188.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.19/188.31 c 178s|620000 |282017 | 0 | 0.0 | 202M| 183 | - | 295 |3237 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
191.19/191.37 c 181s|630000 |285609 | 0 | 0.0 | 206M| 183 | - | 295 |3367 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
194.18/194.39 c 184s|640000 |289359 | 0 | 0.0 | 209M| 183 | - | 295 |3544 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
194.29/194.42 o 65
194.29/194.42 c * 184s|640082 |288841 | 0 | 0.0 | 209M| 183 | - | 295 |3518 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
197.39/197.51 c 187s|650000 |292401 | 0 | 0.0 | 213M| 183 | - | 295 |3562 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
200.49/200.63 c 190s|660000 |295858 | 0 | 0.0 | 216M| 183 | - | 295 |3483 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
203.69/203.87 c 193s|670000 |298985 | 0 | 0.0 | 220M| 183 | - | 295 |3331 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
204.19/204.38 o 60
204.19/204.38 c * 194s|671404 |290508 | 0 | 0.0 | 212M| 183 | - | 295 |2721 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
206.98/207.14 c 197s|680000 |292412 | 0 | 0.0 | 215M| 183 | - | 295 |1266 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
210.29/210.44 c 200s|690000 |294202 | 0 | 0.0 | 219M| 183 | - | 295 |1650 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
213.49/213.62 c 203s|700000 |296393 | 0 | 0.0 | 223M| 183 | - | 295 |2003 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
216.78/216.98 c 206s|710000 |298159 | 0 | 0.0 | 226M| 183 | - | 295 |1977 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
220.18/220.35 c 209s|720000 |299862 | 0 | 0.0 | 230M| 183 | - | 295 |2107 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
223.49/223.68 c 213s|730000 |301649 | 0 | 0.0 | 234M| 183 | - | 295 |2311 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
226.98/227.16 c 216s|740000 |303291 | 0 | 0.0 | 237M| 183 | - | 295 |2544 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
227.28/227.42 o 57
227.28/227.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.28/227.42 c * 216s|740708 |299293 | 0 | 0.0 | 233M| 183 | - | 295 |2507 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
231.00/231.17 c 220s|750000 |300239 | 0 | 0.0 | 236M| 183 | - | 295 |1343 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
234.78/234.99 c 223s|760000 |301105 | 0 | 0.0 | 241M| 183 | - | 295 |2872 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
238.89/239.01 c 227s|770000 |301902 | 0 | 0.0 | 244M| 183 | - | 295 |3184 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
242.99/243.11 c 231s|780000 |302614 | 0 | 0.0 | 248M| 183 | - | 295 |3401 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
247.09/247.26 c 235s|790000 |303427 | 0 | 0.0 | 251M| 183 | - | 295 |3553 | 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
251.28/251.43 c 239s|800000 |304406 | 0 | 0.0 | 255M| 183 | - | 295 |4088 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
255.69/255.86 c 244s|810000 |305080 | 0 | 0.0 | 258M| 183 | - | 295 |4432 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
260.19/260.36 c 248s|820000 |305881 | 0 | 0.0 | 261M| 183 | - | 295 |4974 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
262.38/262.50 o 54
262.38/262.50 c * 250s|824943 |303008 | 0 | 0.0 | 259M| 183 | - | 295 |4831 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
262.38/262.51 o 51
262.38/262.51 c * 250s|824944 |301512 | 0 | 0.0 | 257M| 183 | - | 295 |4831 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 5.100000e+01 |5000.00%
264.99/265.18 c 253s|830000 |301573 | 0 | 0.0 | 259M| 183 | - | 295 |5068 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 5.100000e+01 |5000.00%
270.18/270.34 c 258s|840000 |301724 | 0 | 0.0 | 262M| 183 | - | 295 |4936 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 5.100000e+01 |5000.00%
274.99/275.17 o 34
274.99/275.17 c * 262s|848809 |264569 | 0 | 0.0 | 224M| 183 | - | 295 |5571 | 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
275.88/276.05 c 263s|850000 |264095 | 0 | 0.0 | 224M| 183 | - | 295 |5644 | 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
282.48/282.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.48/282.68 c 270s|860000 |261944 | 0 | 0.0 | 226M| 183 | - | 295 |6254 | 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
289.09/289.22 c 276s|870000 |259818 | 0 | 0.0 | 227M| 183 | - | 295 |6912 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
295.99/296.19 c 283s|880000 |257615 | 0 | 0.0 | 227M| 183 | - | 295 |7995 | 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
302.98/303.11 c 290s|890000 |256187 | 0 | 0.0 | 228M| 183 | - | 295 |7762 | 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
306.68/306.89 o 15
306.68/306.89 c * 293s|894922 |220148 | 0 | 0.0 | 199M| 183 | - | 295 |7978 | 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
311.19/311.32 c 298s|900000 |218030 | 0 | 0.0 | 200M| 183 | - | 295 |7982 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
319.78/319.91 c 306s|910000 |214143 | 0 | 0.0 | 199M| 183 | - | 295 |9629 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
328.38/328.59 c 315s|920000 |211828 | 0 | 0.0 | 200M| 183 | - | 295 | 12k| 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
339.18/339.30 c 325s|930000 |208516 | 0 | 0.0 | 201M| 183 | - | 295 | 14k| 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
350.68/350.86 c 337s|940000 |204082 | 0 | 0.0 | 197M| 183 | - | 295 |7680 | 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
354.09/354.23 c 340s|950000 |207831 | 0 | 0.0 | 200M| 183 | - | 295 |3649 | 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
365.38/365.52 c 351s|960000 |199589 | 0 | 0.0 | 201M| 183 | - | 295 |9650 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
380.59/380.71 o 4
380.59/380.71 c * 366s|969378 |164478 | 0 | 0.0 | 180M| 183 | - | 295 | 12k| 0 | 0 | 0 | 847k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
382.48/382.63 c 368s|970000 |162610 | 0 | 0.0 | 181M| 183 | - | 295 | 12k| 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
407.68/407.88 c 393s|980000 |131030 | 0 | 0.0 | 172M| 183 | - | 295 | 13k| 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
427.68/427.84 o 2
427.68/427.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.68/427.84 c * 412s|988448 | 95711 | 0 | 0.0 | 146M| 183 | - | 295 | 12k| 0 | 0 | 0 | 913k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
431.38/431.59 c 416s|990000 | 91395 | 0 | 0.0 | 143M| 183 | - | 295 | 11k| 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
452.58/452.75 c 437s| 1000k| 68527 | 0 | 0.0 | 124M| 183 | - | 295 | 15k| 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
476.07/476.27 c 460s| 1010k| 51457 | 0 | 0.0 | 108M| 183 | - | 295 | 21k| 0 | 0 | 0 | 980k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
502.77/502.96 c 487s| 1020k| 37506 | 0 | 0.0 | 91M| 183 | - | 295 | 25k| 0 | 0 | 0 |1008k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
528.67/528.87 c 512s| 1030k| 28862 | 0 | 0.0 | 82M| 183 | - | 295 | 30k| 0 | 0 | 0 |1033k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
567.38/567.51 c 551s| 1040k| 3205 | 0 | 0.0 | 27M| 183 | - | 295 | 29k| 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
571.98/572.19 c
571.98/572.19 c SCIP Status : problem is solved [optimal solution found]
571.98/572.19 c Solving Time (sec) : 555.55
571.98/572.19 c Solving Nodes : 1041240
571.98/572.19 c Primal Bound : +2.00000000000000e+00 (22 solutions)
571.98/572.19 c Dual Bound : +2.00000000000000e+00
571.98/572.19 c Gap : 0.00 %
571.98/572.19 s OPTIMUM FOUND
571.98/572.19 v -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
571.98/572.19 v -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127
571.98/572.19 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106
571.98/572.19 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
571.98/572.19 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
571.98/572.19 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
571.98/572.19 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
571.98/572.19 v -x4 -x3 -x2 -x1
571.98/572.19 c SCIP Status : problem is solved [optimal solution found]
571.98/572.19 c Solving Time : 555.55
571.98/572.19 c Original Problem :
571.98/572.19 c Problem name : HOME/instance-2693932-1277897845.wbo
571.98/572.19 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
571.98/572.19 c Constraints : 166 initial, 166 maximal
571.98/572.19 c Presolved Problem :
571.98/572.19 c Problem name : t_HOME/instance-2693932-1277897845.wbo
571.98/572.19 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
571.98/572.19 c Constraints : 159 initial, 31585 maximal
571.98/572.19 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
571.98/572.19 c trivial : 0.00 0 0 0 0 0 0 0 0
571.98/572.19 c dualfix : 0.00 2 0 0 0 0 0 0 0
571.98/572.19 c boundshift : 0.00 0 0 0 0 0 0 0 0
571.98/572.19 c inttobinary : 0.00 0 0 0 0 0 0 0 0
571.98/572.19 c implics : 0.00 0 0 0 0 0 0 0 0
571.98/572.19 c probing : 0.01 0 0 0 0 0 0 0 0
571.98/572.19 c indicator : 0.00 0 0 0 0 0 1 0 0
571.98/572.19 c knapsack : 0.00 0 0 0 0 0 0 0 0
571.98/572.19 c setppc : 0.00 0 0 0 0 0 0 0 0
571.98/572.19 c linear : 0.00 0 0 0 63 0 6 1 0
571.98/572.19 c logicor : 0.00 0 0 0 0 0 0 0 0
571.98/572.19 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
571.98/572.19 c root node : - 23 - - 46 - - - -
571.98/572.19 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
571.98/572.19 c integral : 0 0 0 0 0 0 0 0 0 0
571.98/572.19 c indicator : 63 0 2903559 0 696286 7574 1498752 0 0 0
571.98/572.19 c knapsack : 1 0 3262237 0 760202 65475 12012945 0 0 0
571.98/572.19 c setppc : 23 0 3196519 0 760137 92372 1962514 0 0 0
571.98/572.19 c linear : 63 0 3104368 0 760192 216552 3563867 0 0 0
571.98/572.19 c logicor : 9+ 0 1478252 0 760179 39074 822486 0 0 0
571.98/572.19 c bounddisjunction : 0+ 0 153700 0 0 1 2331 0 0 0
571.98/572.19 c countsols : 0 0 0 0 760214 0 0 0 0 0
571.98/572.19 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
571.98/572.19 c integral : 0.00 0.00 0.00 0.00 0.00
571.98/572.19 c indicator : 3.15 0.00 1.97 0.00 1.18
571.98/572.19 c knapsack : 95.32 0.00 93.29 0.00 2.03
571.98/572.19 c setppc : 8.46 0.00 6.55 0.00 1.91
571.98/572.19 c linear : 35.84 0.00 35.52 0.00 0.32
571.98/572.19 c logicor : 167.57 0.00 166.53 0.00 1.04
571.98/572.19 c bounddisjunction : 0.45 0.00 0.45 0.00 0.00
571.98/572.19 c countsols : 0.08 0.00 0.00 0.00 0.08
571.98/572.19 c Propagators : Time Calls Cutoffs DomReds
571.98/572.19 c vbounds : 0.66 2 0 0
571.98/572.19 c rootredcost : 0.52 0 0 0
571.98/572.19 c pseudoobj : 8.63 3273942 4300 1379050
571.98/572.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
571.98/572.19 c propagation : 13.55 417773 417762 1992058 21.7 110685 14.0 -
571.98/572.19 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
571.98/572.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
571.98/572.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
571.98/572.19 c pseudo solution : 0.00 115 115 419 17.8 37 14.6 -
571.98/572.19 c applied globally : - - - 1050752 16.0 - - -
571.98/572.19 c applied locally : - - - 20820 37.0 - - -
571.98/572.19 c Separators : Time Calls Cutoffs DomReds Cuts Conss
571.98/572.19 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
571.98/572.19 c redcost : 0.00 0 0 0 0 0
571.98/572.19 c impliedbounds : 0.00 0 0 0 0 0
571.98/572.19 c intobj : 0.00 0 0 0 0 0
571.98/572.19 c cgmip : 0.00 0 0 0 0 0
571.98/572.19 c gomory : 0.00 0 0 0 0 0
571.98/572.19 c strongcg : 0.00 0 0 0 0 0
571.98/572.19 c cmir : 0.00 0 0 0 0 0
571.98/572.19 c flowcover : 0.00 0 0 0 0 0
571.98/572.19 c clique : 0.00 0 0 0 0 0
571.98/572.19 c zerohalf : 0.00 0 0 0 0 0
571.98/572.19 c mcf : 0.00 0 0 0 0 0
571.98/572.19 c rapidlearning : 0.00 0 0 0 0 0
571.98/572.19 c Pricers : Time Calls Vars
571.98/572.19 c problem variables: 0.00 0 0
571.98/572.19 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
571.98/572.19 c relpscost : 0.00 0 0 0 0 0 0
571.98/572.19 c pscost : 0.00 0 0 0 0 0 0
571.98/572.19 c inference : 6.94 760192 0 0 0 0 1520384
571.98/572.19 c mostinf : 0.00 0 0 0 0 0 0
571.98/572.19 c leastinf : 0.00 0 0 0 0 0 0
571.98/572.19 c fullstrong : 0.00 0 0 0 0 0 0
571.98/572.19 c allfullstrong : 0.00 0 0 0 0 0 0
571.98/572.19 c random : 0.00 0 0 0 0 0 0
571.98/572.19 c Primal Heuristics : Time Calls Found
571.98/572.19 c LP solutions : 0.00 - 0
571.98/572.19 c pseudo solutions : 0.36 - 22
571.98/572.19 c oneopt : 0.27 0 0
571.98/572.19 c trivial : 0.00 2 0
571.98/572.19 c simplerounding : 0.00 0 0
571.98/572.19 c zirounding : 0.00 0 0
571.98/572.19 c rounding : 0.00 0 0
571.98/572.19 c shifting : 0.00 0 0
571.98/572.19 c intshifting : 0.00 0 0
571.98/572.19 c twoopt : 0.00 0 0
571.98/572.19 c fixandinfer : 0.00 0 0
571.98/572.19 c feaspump : 0.00 0 0
571.98/572.19 c coefdiving : 0.00 0 0
571.98/572.19 c pscostdiving : 0.00 0 0
571.98/572.19 c fracdiving : 0.00 0 0
571.98/572.19 c veclendiving : 0.00 0 0
571.98/572.19 c intdiving : 0.00 0 0
571.98/572.19 c actconsdiving : 0.00 0 0
571.98/572.19 c objpscostdiving : 0.00 0 0
571.98/572.19 c rootsoldiving : 0.00 0 0
571.98/572.19 c linesearchdiving : 0.00 0 0
571.98/572.19 c guideddiving : 0.00 0 0
571.98/572.19 c octane : 0.00 0 0
571.98/572.19 c rens : 0.00 0 0
571.98/572.19 c rins : 0.00 0 0
571.98/572.19 c localbranching : 0.00 0 0
571.98/572.19 c mutation : 0.00 0 0
571.98/572.19 c crossover : 0.00 0 0
571.98/572.19 c dins : 0.00 0 0
571.98/572.19 c undercover : 0.00 0 0
571.98/572.19 c nlp : 0.19 0 0
571.98/572.19 c trysol : 0.15 1 0
571.98/572.19 c LP : Time Calls Iterations Iter/call Iter/sec
571.98/572.19 c primal LP : 0.00 0 0 0.00 -
571.98/572.19 c dual LP : 0.00 0 0 0.00 -
571.98/572.19 c lex dual LP : 0.00 0 0 0.00 -
571.98/572.19 c barrier LP : 0.00 0 0 0.00 -
571.98/572.19 c diving/probing LP: 0.00 0 0 0.00 -
571.98/572.19 c strong branching : 0.00 0 0 0.00 -
571.98/572.19 c (at root node) : - 0 0 0.00 -
571.98/572.19 c conflict analysis: 0.00 0 0 0.00 -
571.98/572.19 c B&B Tree :
571.98/572.19 c number of runs : 1
571.98/572.19 c nodes : 1041240
571.98/572.19 c nodes (total) : 1041240
571.98/572.19 c nodes left : 0
571.98/572.19 c max depth : 183
571.98/572.19 c max depth (total): 183
571.98/572.19 c backtracks : 354464 (34.0%)
571.98/572.19 c delayed cutoffs : 310327
571.98/572.19 c repropagations : 1294949 (6280782 domain reductions, 144437 cutoffs)
571.98/572.19 c avg switch length: 27.37
571.98/572.19 c switching time : 166.43
571.98/572.19 c Solution :
571.98/572.19 c Solutions found : 22 (22 improvements)
571.98/572.19 c First Solution : +4.01000000000000e+02 (in run 1, after 15285 nodes, 2.25 seconds, depth 98, found by <relaxation>)
571.98/572.19 c Primal Bound : +2.00000000000000e+00 (in run 1, after 988448 nodes, 412.35 seconds, depth 56, found by <relaxation>)
571.98/572.19 c Dual Bound : +2.00000000000000e+00
571.98/572.19 c Gap : 0.00 %
571.98/572.19 c Root Dual Bound : +0.00000000000000e+00
571.98/572.19 c Root Iterations : 0
572.07/572.24 c Time complete: 572.12.