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-2693905-1277896892.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.25 c 1.1s| 10000 | 7522 | 0 | 0.0 |6429k| 183 | - | 295 |3149 | 0 | 0 | 0 |5908 | 0 | 0.000000e+00 | -- | Inf
3.20/3.21 o 393
3.20/3.21 c * 2.8s| 18359 | 11863 | 0 | 0.0 | 10M| 183 | - | 295 |3478 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.930000e+02 | Inf
3.20/3.23 o 375
3.20/3.23 c * 2.8s| 18523 | 12003 | 0 | 0.0 | 10M| 183 | - | 295 |3268 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.750000e+02 | Inf
3.29/3.37 c 3.0s| 20000 | 13322 | 0 | 0.0 | 10M| 183 | - | 295 |1996 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.750000e+02 | Inf
5.29/5.36 c 4.7s| 30000 | 19420 | 0 | 0.0 | 15M| 183 | - | 295 |5180 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.750000e+02 | Inf
7.99/8.05 c 7.2s| 40000 | 24501 | 0 | 0.0 | 20M| 183 | - | 295 |6380 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.750000e+02 | Inf
11.49/11.57 c 10.4s| 50000 | 28170 | 0 | 0.0 | 25M| 183 | - | 295 |7870 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.750000e+02 | Inf
15.89/15.97 c 14.6s| 60000 | 30401 | 0 | 0.0 | 29M| 183 | - | 295 | 11k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 3.750000e+02 | Inf
18.39/18.41 o 300
18.39/18.41 c *16.9s| 65216 | 31704 | 0 | 0.0 | 29M| 183 | - | 295 |7050 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 3.000000e+02 | Inf
18.39/18.41 o 258
18.39/18.41 c *16.9s| 65217 | 31699 | 0 | 0.0 | 29M| 183 | - | 295 |7049 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
18.89/18.93 c 17.3s| 70000 | 35908 | 0 | 0.0 | 29M| 183 | - | 295 |1987 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
19.89/19.94 c 18.1s| 80000 | 44557 | 0 | 0.0 | 33M| 183 | - | 295 |2304 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
20.99/21.06 c 19.0s| 90000 | 52853 | 0 | 0.0 | 36M| 183 | - | 295 |1771 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
22.29/22.32 c 20.1s|100000 | 60621 | 0 | 0.0 | 40M| 183 | - | 295 |1805 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
23.69/23.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.69/23.72 c 21.3s|110000 | 67992 | 0 | 0.0 | 44M| 183 | - | 295 |2654 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
25.49/25.51 c 22.8s|120000 | 74739 | 0 | 0.0 | 49M| 183 | - | 295 |3980 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
26.49/26.52 o 238
26.49/26.52 c *23.7s|124010 | 76883 | 0 | 0.0 | 51M| 183 | - | 295 |4935 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
28.50/28.60 c 25.6s|130000 | 78997 | 0 | 0.0 | 54M| 183 | - | 295 |7854 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
33.49/33.53 c 30.3s|140000 | 80719 | 0 | 0.0 | 58M| 183 | - | 295 | 10k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
39.49/39.55 c 36.1s|150000 | 81134 | 0 | 0.0 | 62M| 183 | - | 295 | 11k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
46.39/46.47 c 42.7s|160000 | 80318 | 0 | 0.0 | 64M| 183 | - | 295 | 11k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
53.70/53.76 c 49.7s|170000 | 79034 | 0 | 0.0 | 66M| 183 | - | 295 | 13k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
62.59/62.64 c 58.3s|180000 | 76507 | 0 | 0.0 | 68M| 183 | - | 295 | 19k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
66.09/66.17 c 61.6s|190000 | 82529 | 0 | 0.0 | 64M| 183 | - | 295 |1911 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
67.39/67.49 c 62.6s|200000 | 90386 | 0 | 0.0 | 68M| 183 | - | 295 |2159 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
68.79/68.90 c 63.9s|210000 | 98046 | 0 | 0.0 | 72M| 183 | - | 295 |2577 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
70.19/70.29 c 65.0s|220000 |105793 | 0 | 0.0 | 76M| 183 | - | 295 |2921 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
71.39/71.49 o 230
71.39/71.49 c *66.1s|228378 |112244 | 0 | 0.0 | 79M| 183 | - | 295 |3152 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
71.69/71.74 c 66.3s|230000 |113432 | 0 | 0.0 | 80M| 183 | - | 295 |3119 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
73.09/73.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.09/73.16 c 67.5s|240000 |121204 | 0 | 0.0 | 84M| 183 | - | 295 |3318 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
74.49/74.57 c 68.7s|250000 |128981 | 0 | 0.0 | 88M| 183 | - | 295 |3560 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
74.59/74.60 o 226
74.59/74.60 c *68.7s|250109 |129040 | 0 | 0.0 | 88M| 183 | - | 295 |3534 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 2.260000e+02 | Inf
74.59/74.68 o 121
74.59/74.68 c *68.8s|250596 |127879 | 0 | 0.0 | 87M| 183 | - | 295 |3530 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
76.10/76.16 c 70.1s|260000 |134897 | 0 | 0.0 | 91M| 183 | - | 295 |3860 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
77.80/77.83 c 71.5s|270000 |142203 | 0 | 0.0 | 96M| 183 | - | 295 |4089 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
79.40/79.47 c 72.9s|280000 |149638 | 0 | 0.0 | 100M| 183 | - | 295 |4260 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
81.19/81.22 c 74.4s|290000 |156820 | 0 | 0.0 | 105M| 183 | - | 295 |4283 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
82.89/82.96 c 75.8s|300000 |164005 | 0 | 0.0 | 109M| 183 | - | 295 |4005 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
84.70/84.72 c 77.3s|310000 |171006 | 0 | 0.0 | 113M| 183 | - | 295 |3866 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
86.39/86.44 c 78.7s|320000 |178101 | 0 | 0.0 | 118M| 183 | - | 295 |3613 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
88.19/88.28 c 80.3s|330000 |184907 | 0 | 0.0 | 123M| 183 | - | 295 |3600 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
89.99/90.10 c 81.8s|340000 |191759 | 0 | 0.0 | 127M| 183 | - | 295 |3461 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
91.89/91.97 c 83.3s|350000 |198391 | 0 | 0.0 | 132M| 183 | - | 295 |3283 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
93.90/93.92 c 85.0s|360000 |204790 | 0 | 0.0 | 137M| 183 | - | 295 |3571 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
95.60/95.69 o 95
95.60/95.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.60/95.69 c *86.5s|369189 |206197 | 0 | 0.0 | 138M| 183 | - | 295 |3464 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
95.60/95.69 o 94
95.60/95.69 c *86.5s|369190 |206092 | 0 | 0.0 | 138M| 183 | - | 295 |3464 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
95.79/95.86 c 86.6s|370000 |206607 | 0 | 0.0 | 138M| 183 | - | 295 |3153 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
96.29/96.34 o 58
96.29/96.34 c *87.0s|372003 |193354 | 0 | 0.0 | 126M| 183 | - | 295 |2445 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
98.29/98.37 c 88.8s|380000 |197406 | 0 | 0.0 | 132M| 183 | - | 295 |3543 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
101.10/101.15 c 91.2s|390000 |202150 | 0 | 0.0 | 137M| 183 | - | 295 |4487 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
103.89/103.98 c 93.7s|400000 |207077 | 0 | 0.0 | 142M| 183 | - | 295 |5319 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
106.99/107.00 c 96.4s|410000 |211657 | 0 | 0.0 | 146M| 183 | - | 295 |6320 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
110.08/110.17 c 99.2s|420000 |216279 | 0 | 0.0 | 151M| 183 | - | 295 |7425 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
113.69/113.78 c 102s|430000 |220409 | 0 | 0.0 | 155M| 183 | - | 295 |8354 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
117.79/117.80 c 106s|440000 |224125 | 0 | 0.0 | 160M| 183 | - | 295 |9392 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
122.10/122.11 c 110s|450000 |227469 | 0 | 0.0 | 164M| 183 | - | 295 | 10k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
126.79/126.83 c 114s|460000 |230472 | 0 | 0.0 | 168M| 183 | - | 295 | 11k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
132.18/132.20 c 119s|470000 |232898 | 0 | 0.0 | 172M| 183 | - | 295 | 14k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
138.78/138.86 c 126s|480000 |234211 | 0 | 0.0 | 176M| 183 | - | 295 | 17k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
149.60/149.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.60/149.61 c 136s|490000 |231050 | 0 | 0.0 | 175M| 183 | - | 295 | 22k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
167.39/167.44 c 153s|500000 |223149 | 0 | 0.0 | 165M| 183 | - | 295 | 25k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
171.79/171.84 c 157s|510000 |228772 | 0 | 0.0 | 163M| 183 | - | 295 |5303 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
174.59/174.64 c 160s|520000 |234546 | 0 | 0.0 | 167M| 183 | - | 295 |5317 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
177.49/177.51 c 162s|530000 |240231 | 0 | 0.0 | 172M| 183 | - | 295 |6104 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
180.48/180.57 c 165s|540000 |245802 | 0 | 0.0 | 177M| 183 | - | 295 |6933 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
183.88/183.91 c 168s|550000 |250941 | 0 | 0.0 | 181M| 183 | - | 295 |7690 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
187.39/187.49 c 171s|560000 |255804 | 0 | 0.0 | 185M| 183 | - | 295 |8022 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
191.19/191.28 c 175s|570000 |260534 | 0 | 0.0 | 189M| 183 | - | 295 |8568 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
195.09/195.17 c 178s|580000 |265109 | 0 | 0.0 | 193M| 183 | - | 295 |9327 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
199.19/199.26 c 182s|590000 |269507 | 0 | 0.0 | 197M| 183 | - | 295 |9697 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
203.49/203.53 c 186s|600000 |273794 | 0 | 0.0 | 201M| 183 | - | 295 | 10k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
207.90/207.95 c 190s|610000 |277878 | 0 | 0.0 | 205M| 183 | - | 295 | 10k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
212.58/212.65 c 194s|620000 |281577 | 0 | 0.0 | 209M| 183 | - | 295 | 10k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
217.79/217.85 c 199s|630000 |284616 | 0 | 0.0 | 213M| 183 | - | 295 | 11k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
223.09/223.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.09/223.13 c 204s|640000 |287497 | 0 | 0.0 | 217M| 183 | - | 295 | 11k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
228.49/228.53 c 209s|650000 |290196 | 0 | 0.0 | 221M| 183 | - | 295 | 11k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
233.89/233.98 c 214s|660000 |292651 | 0 | 0.0 | 224M| 183 | - | 295 | 11k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
239.49/239.57 c 220s|670000 |294909 | 0 | 0.0 | 228M| 183 | - | 295 | 11k| 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
245.29/245.38 c 225s|680000 |296679 | 0 | 0.0 | 230M| 183 | - | 295 | 10k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
250.88/250.93 c 230s|690000 |298552 | 0 | 0.0 | 234M| 183 | - | 295 | 10k| 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
256.30/256.37 c 235s|700000 |300282 | 0 | 0.0 | 238M| 183 | - | 295 |9916 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
261.89/261.93 c 240s|710000 |301787 | 0 | 0.0 | 243M| 183 | - | 295 |9429 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
267.39/267.44 c 245s|720000 |303254 | 0 | 0.0 | 247M| 183 | - | 295 |9292 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
272.69/272.72 c 250s|730000 |305118 | 0 | 0.0 | 251M| 183 | - | 295 |9218 | 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
278.09/278.10 c 255s|740000 |306707 | 0 | 0.0 | 255M| 183 | - | 295 |9353 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
279.59/279.60 o 55
279.59/279.60 c * 257s|742937 |303808 | 0 | 0.0 | 253M| 183 | - | 295 |9773 | 0 | 0 | 0 | 645k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
283.19/283.21 c 260s|750000 |305043 | 0 | 0.0 | 256M| 183 | - | 295 |7847 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
288.39/288.44 c 265s|760000 |306506 | 0 | 0.0 | 259M| 183 | - | 295 |7639 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 5.500000e+01 |5400.00%
290.49/290.51 o 16
290.49/290.51 c * 267s|763427 |230532 | 0 | 0.0 | 193M| 183 | - | 295 |8041 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
295.69/295.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.69/295.74 c 272s|770000 |228639 | 0 | 0.0 | 196M| 183 | - | 295 |8588 | 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
303.99/304.06 c 279s|780000 |226091 | 0 | 0.0 | 199M| 183 | - | 295 | 10k| 0 | 0 | 0 | 703k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
312.99/313.03 c 288s|790000 |224036 | 0 | 0.0 | 200M| 183 | - | 295 | 12k| 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
322.09/322.15 c 297s|800000 |222637 | 0 | 0.0 | 203M| 183 | - | 295 | 14k| 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
332.79/332.85 c 307s|810000 |220181 | 0 | 0.0 | 204M| 183 | - | 295 | 15k| 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
343.39/343.42 c 317s|820000 |218582 | 0 | 0.0 | 206M| 183 | - | 295 | 17k| 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
355.09/355.19 c 328s|830000 |216255 | 0 | 0.0 | 208M| 183 | - | 295 | 18k| 0 | 0 | 0 | 798k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
367.89/367.95 c 340s|840000 |213561 | 0 | 0.0 | 209M| 183 | - | 295 | 20k| 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
380.29/380.36 c 352s|850000 |211515 | 0 | 0.0 | 211M| 183 | - | 295 | 21k| 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
392.59/392.64 c 364s|860000 |210112 | 0 | 0.0 | 213M| 183 | - | 295 | 23k| 0 | 0 | 0 | 859k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
405.39/405.42 c 376s|870000 |209156 | 0 | 0.0 | 215M| 183 | - | 295 | 26k| 0 | 0 | 0 | 879k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
420.19/420.29 c 391s|880000 |207157 | 0 | 0.0 | 217M| 183 | - | 295 | 31k| 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
434.89/434.95 c 405s|890000 |206850 | 0 | 0.0 | 213M| 183 | - | 295 | 17k| 0 | 0 | 0 | 917k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
441.80/441.80 c 411s|900000 |208609 | 0 | 0.0 | 215M| 183 | - | 295 | 10k| 0 | 0 | 0 | 931k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
456.80/456.87 c 426s|910000 |201803 | 0 | 0.0 | 217M| 183 | - | 295 | 15k| 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
478.39/478.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.39/478.46 c 447s|920000 |192297 | 0 | 0.0 | 217M| 183 | - | 295 | 20k| 0 | 0 | 0 | 983k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
505.39/505.47 c 473s|930000 |181015 | 0 | 0.0 | 215M| 183 | - | 295 | 26k| 0 | 0 | 0 |1011k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
538.00/538.01 c 505s|940000 |167526 | 0 | 0.0 | 211M| 183 | - | 295 | 30k| 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
573.10/573.17 c 540s|950000 |153921 | 0 | 0.0 | 204M| 183 | - | 295 | 32k| 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
589.60/589.69 o 6
589.60/589.69 c * 556s|954840 | 94040 | 0 | 0.0 | 151M| 183 | - | 295 | 32k| 0 | 0 | 0 |1082k| 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
594.59/594.65 o 4
594.59/594.65 c * 561s|955824 | 90862 | 0 | 0.0 | 149M| 183 | - | 295 | 27k| 0 | 0 | 0 |1086k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
610.29/610.39 c 576s|960000 | 83410 | 0 | 0.0 | 143M| 183 | - | 295 | 25k| 0 | 0 | 0 |1098k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
642.60/642.60 c 608s|970000 | 70119 | 0 | 0.0 | 132M| 183 | - | 295 | 30k| 0 | 0 | 0 |1128k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
679.50/679.51 c 644s|980000 | 58114 | 0 | 0.0 | 122M| 183 | - | 295 | 38k| 0 | 0 | 0 |1158k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
716.60/716.69 c 680s|990000 | 48564 | 0 | 0.0 | 111M| 183 | - | 295 | 43k| 0 | 0 | 0 |1187k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
753.60/753.69 c 717s| 1000k| 39839 | 0 | 0.0 | 103M| 183 | - | 295 | 48k| 0 | 0 | 0 |1214k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
772.70/772.79 c 735s| 1010k| 41356 | 0 | 0.0 | 94M| 183 | - | 295 | 32k| 0 | 0 | 0 |1228k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
784.70/784.74 c 747s| 1020k| 44670 | 0 | 0.0 | 97M| 183 | - | 295 | 28k| 0 | 0 | 0 |1241k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
799.50/799.57 o 2
799.50/799.57 c * 762s| 1026k| 24054 | 0 | 0.0 | 77M| 183 | - | 295 | 30k| 0 | 0 | 0 |1255k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
818.31/818.37 c 780s| 1030k| 11038 | 0 | 0.0 | 50M| 183 | - | 295 | 33k| 0 | 0 | 0 |1270k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
842.40/842.41 c
842.40/842.41 c SCIP Status : problem is solved [optimal solution found]
842.40/842.41 c Solving Time (sec) : 803.62
842.40/842.41 c Solving Nodes : 1035545
842.40/842.41 c Primal Bound : +2.00000000000000e+00 (16 solutions)
842.40/842.41 c Dual Bound : +2.00000000000000e+00
842.40/842.41 c Gap : 0.00 %
842.40/842.41 s OPTIMUM FOUND
842.40/842.41 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
842.40/842.41 v -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
842.40/842.41 v -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
842.40/842.41 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
842.40/842.41 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
842.40/842.41 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
842.40/842.41 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
842.40/842.41 v -x4 -x3 -x2 -x1
842.40/842.41 c SCIP Status : problem is solved [optimal solution found]
842.40/842.41 c Solving Time : 803.62
842.40/842.41 c Original Problem :
842.40/842.41 c Problem name : HOME/instance-2693905-1277896892.wbo
842.40/842.41 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
842.40/842.41 c Constraints : 166 initial, 166 maximal
842.40/842.41 c Presolved Problem :
842.40/842.41 c Problem name : t_HOME/instance-2693905-1277896892.wbo
842.40/842.41 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
842.40/842.41 c Constraints : 159 initial, 48492 maximal
842.40/842.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
842.40/842.41 c trivial : 0.00 0 0 0 0 0 0 0 0
842.40/842.41 c dualfix : 0.00 2 0 0 0 0 0 0 0
842.40/842.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
842.40/842.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
842.40/842.41 c implics : 0.00 0 0 0 0 0 0 0 0
842.40/842.41 c probing : 0.00 0 0 0 0 0 0 0 0
842.40/842.41 c indicator : 0.00 0 0 0 0 0 1 0 0
842.40/842.41 c knapsack : 0.00 0 0 0 0 0 0 0 0
842.40/842.41 c setppc : 0.00 0 0 0 0 0 0 0 0
842.40/842.41 c linear : 0.01 0 0 0 63 0 6 1 0
842.40/842.41 c logicor : 0.00 0 0 0 0 0 0 0 0
842.40/842.41 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
842.40/842.41 c root node : - 0 - - 0 - - - -
842.40/842.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
842.40/842.41 c integral : 0 0 0 0 0 0 0 0 0 0
842.40/842.41 c indicator : 63 0 2735761 0 657935 5191 1003808 0 0 0
842.40/842.41 c knapsack : 1 0 3197484 0 745041 61957 11930570 0 0 0
842.40/842.41 c setppc : 23 0 3135394 0 745012 100783 1914218 0 0 0
842.40/842.41 c linear : 63 0 3034735 0 745037 214713 3533692 0 0 0
842.40/842.41 c logicor : 9+ 0 1380781 0 745021 43464 744012 0 0 0
842.40/842.41 c bounddisjunction : 0+ 0 101301 0 0 0 8731 0 0 0
842.40/842.41 c countsols : 0 0 0 0 745053 0 0 0 0 0
842.40/842.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
842.40/842.41 c integral : 0.00 0.00 0.00 0.00 0.00
842.40/842.41 c indicator : 1.77 0.00 0.83 0.00 0.94
842.40/842.41 c knapsack : 87.66 0.00 85.91 0.00 1.75
842.40/842.41 c setppc : 8.14 0.00 6.47 0.00 1.67
842.40/842.41 c linear : 32.12 0.00 32.08 0.00 0.04
842.40/842.41 c logicor : 323.21 0.00 322.70 0.00 0.51
842.40/842.41 c bounddisjunction : 0.12 0.00 0.12 0.00 0.00
842.40/842.41 c countsols : 0.00 0.00 0.00 0.00 0.00
842.40/842.41 c Propagators : Time Calls Cutoffs DomReds
842.40/842.41 c vbounds : 0.00 2 0 0
842.40/842.41 c rootredcost : 0.00 0 0 0
842.40/842.41 c pseudoobj : 5.49 3205081 2562 974368
842.40/842.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
842.40/842.41 c propagation : 13.13 423476 423387 2093542 22.6 130245 13.5 -
842.40/842.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
842.40/842.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
842.40/842.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
842.40/842.41 c pseudo solution : 0.00 84 84 300 19.7 15 14.0 -
842.40/842.41 c applied globally : - - - 1267382 16.6 - - -
842.40/842.41 c applied locally : - - - 22105 37.2 - - -
842.40/842.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
842.40/842.41 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
842.40/842.41 c redcost : 0.00 0 0 0 0 0
842.40/842.41 c impliedbounds : 0.00 0 0 0 0 0
842.40/842.41 c intobj : 0.00 0 0 0 0 0
842.40/842.41 c cgmip : 0.00 0 0 0 0 0
842.40/842.41 c gomory : 0.00 0 0 0 0 0
842.40/842.41 c strongcg : 0.00 0 0 0 0 0
842.40/842.41 c cmir : 0.00 0 0 0 0 0
842.40/842.41 c flowcover : 0.00 0 0 0 0 0
842.40/842.41 c clique : 0.00 0 0 0 0 0
842.40/842.41 c zerohalf : 0.00 0 0 0 0 0
842.40/842.41 c mcf : 0.00 0 0 0 0 0
842.40/842.41 c rapidlearning : 0.00 0 0 0 0 0
842.40/842.41 c Pricers : Time Calls Vars
842.40/842.41 c problem variables: 0.00 0 0
842.40/842.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
842.40/842.41 c relpscost : 0.00 0 0 0 0 0 0
842.40/842.41 c pscost : 0.00 0 0 0 0 0 0
842.40/842.41 c inference : 6.51 745037 0 0 0 0 1490074
842.40/842.41 c mostinf : 0.00 0 0 0 0 0 0
842.40/842.41 c leastinf : 0.00 0 0 0 0 0 0
842.40/842.41 c fullstrong : 0.00 0 0 0 0 0 0
842.40/842.41 c allfullstrong : 0.00 0 0 0 0 0 0
842.40/842.41 c random : 0.00 0 0 0 0 0 0
842.40/842.41 c Primal Heuristics : Time Calls Found
842.40/842.41 c LP solutions : 0.00 - 0
842.40/842.41 c pseudo solutions : 0.31 - 16
842.40/842.41 c oneopt : 0.05 0 0
842.40/842.41 c trivial : 0.00 2 0
842.40/842.41 c simplerounding : 0.00 0 0
842.40/842.41 c zirounding : 0.00 0 0
842.40/842.41 c rounding : 0.00 0 0
842.40/842.41 c shifting : 0.00 0 0
842.40/842.41 c intshifting : 0.00 0 0
842.40/842.41 c twoopt : 0.00 0 0
842.40/842.41 c fixandinfer : 0.00 0 0
842.40/842.41 c feaspump : 0.00 0 0
842.40/842.41 c coefdiving : 0.00 0 0
842.40/842.41 c pscostdiving : 0.00 0 0
842.40/842.41 c fracdiving : 0.00 0 0
842.40/842.41 c veclendiving : 0.00 0 0
842.40/842.41 c intdiving : 0.00 0 0
842.40/842.41 c actconsdiving : 0.00 0 0
842.40/842.41 c objpscostdiving : 0.00 0 0
842.40/842.41 c rootsoldiving : 0.00 0 0
842.40/842.41 c linesearchdiving : 0.00 0 0
842.40/842.41 c guideddiving : 0.00 0 0
842.40/842.41 c octane : 0.00 0 0
842.40/842.41 c rens : 0.00 0 0
842.40/842.41 c rins : 0.00 0 0
842.40/842.41 c localbranching : 0.00 0 0
842.40/842.41 c mutation : 0.00 0 0
842.40/842.41 c crossover : 0.00 0 0
842.40/842.41 c dins : 0.00 0 0
842.40/842.41 c undercover : 0.00 0 0
842.40/842.41 c nlp : 0.01 0 0
842.40/842.41 c trysol : 0.00 1 0
842.40/842.41 c LP : Time Calls Iterations Iter/call Iter/sec
842.40/842.41 c primal LP : 0.00 0 0 0.00 -
842.40/842.41 c dual LP : 0.00 0 0 0.00 -
842.40/842.41 c lex dual LP : 0.00 0 0 0.00 -
842.40/842.41 c barrier LP : 0.00 0 0 0.00 -
842.40/842.41 c diving/probing LP: 0.00 0 0 0.00 -
842.40/842.41 c strong branching : 0.00 0 0 0.00 -
842.40/842.41 c (at root node) : - 0 0 0.00 -
842.40/842.41 c conflict analysis: 0.00 0 0 0.00 -
842.40/842.41 c B&B Tree :
842.40/842.41 c number of runs : 1
842.40/842.41 c nodes : 1035545
842.40/842.41 c nodes (total) : 1035545
842.40/842.41 c nodes left : 0
842.40/842.41 c max depth : 183
842.40/842.41 c max depth (total): 183
842.40/842.41 c backtracks : 357984 (34.6%)
842.40/842.41 c delayed cutoffs : 282539
842.40/842.41 c repropagations : 1284175 (5715782 domain reductions, 138262 cutoffs)
842.40/842.41 c avg switch length: 25.81
842.40/842.41 c switching time : 250.53
842.40/842.41 c Solution :
842.40/842.41 c Solutions found : 16 (16 improvements)
842.40/842.41 c First Solution : +3.93000000000000e+02 (in run 1, after 18359 nodes, 2.82 seconds, depth 78, found by <relaxation>)
842.40/842.41 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1026452 nodes, 761.50 seconds, depth 36, found by <relaxation>)
842.40/842.41 c Dual Bound : +2.00000000000000e+00
842.40/842.41 c Gap : 0.00 %
842.40/842.41 c Root Dual Bound : +0.00000000000000e+00
842.40/842.41 c Root Iterations : 0
842.40/842.47 c Time complete: 842.47.