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-2693842-1277895375.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.14 c 0.9s| 10000 | 7128 | 0 | 0.0 |6836k| 166 | - | 305 |3690 | 0 | 0 | 0 |7783 | 0 | 0.000000e+00 | -- | Inf
2.89/2.97 c 2.4s| 20000 | 12706 | 0 | 0.0 | 11M| 166 | - | 305 |4860 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
5.40/5.46 c 4.7s| 30000 | 17396 | 0 | 0.0 | 17M| 166 | - | 305 |9325 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
8.99/9.08 c 8.0s| 40000 | 20650 | 0 | 0.0 | 23M| 166 | - | 305 | 13k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
13.39/13.47 c 12.0s| 50000 | 22500 | 0 | 0.0 | 28M| 166 | - | 305 | 17k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
16.89/16.92 c 15.2s| 60000 | 27202 | 0 | 0.0 | 28M| 166 | - | 305 |5746 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
18.19/18.23 c 16.3s| 70000 | 35015 | 0 | 0.0 | 31M| 166 | - | 305 |3014 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
21.79/21.81 c 19.6s| 80000 | 37595 | 0 | 0.0 | 38M| 166 | - | 305 | 12k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
27.19/27.20 c 24.7s| 90000 | 39411 | 0 | 0.0 | 43M| 166 | - | 305 | 18k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
34.49/34.51 c 31.6s|100000 | 40046 | 0 | 0.0 | 47M| 166 | - | 305 | 22k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
43.19/43.21 c 40.0s|110000 | 39300 | 0 | 0.0 | 50M| 166 | - | 305 | 26k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
52.19/52.24 c 48.6s|120000 | 37731 | 0 | 0.0 | 53M| 166 | - | 305 | 33k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
58.39/58.42 c 54.5s|130000 | 42427 | 0 | 0.0 | 49M| 166 | - | 305 |9508 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
61.19/61.29 c 57.1s|140000 | 48282 | 0 | 0.0 | 53M| 166 | - | 305 | 10k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
64.89/64.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.89/64.90 c 60.4s|150000 | 52928 | 0 | 0.0 | 58M| 166 | - | 305 | 12k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
69.69/69.72 c 64.9s|160000 | 56181 | 0 | 0.0 | 62M| 166 | - | 305 | 13k| 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
70.30/70.40 c 65.3s|170000 | 66147 | 0 | 0.0 | 61M| 166 | - | 305 |1025 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
70.89/70.90 c 65.6s|180000 | 76114 | 0 | 0.0 | 64M| 166 | - | 305 | 628 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
71.29/71.39 c 65.9s|190000 | 86069 | 0 | 0.0 | 67M| 166 | - | 305 | 587 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
71.70/71.77 o 436
71.70/71.77 c *66.2s|197728 | 93749 | 0 | 0.0 | 69M| 166 | - | 305 | 618 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 4.360000e+02 | Inf
71.70/71.78 o 327
71.70/71.78 c *66.2s|197729 | 93688 | 0 | 0.0 | 69M| 166 | - | 305 | 618 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.270000e+02 | Inf
71.89/71.91 c 66.2s|200000 | 95890 | 0 | 0.0 | 70M| 166 | - | 305 | 717 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.270000e+02 | Inf
72.29/72.33 o 92
72.29/72.33 c *66.5s|206830 | 87611 | 0 | 0.0 | 68M| 166 | - | 305 | 955 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
72.29/72.34 o 73
72.29/72.34 c *66.5s|206919 | 79923 | 0 | 0.0 | 65M| 166 | - | 305 | 950 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
72.60/72.69 c 66.8s|210000 | 82401 | 0 | 0.0 | 66M| 166 | - | 305 | 943 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
73.89/73.95 o 70
73.89/73.95 c *67.8s|219858 | 89367 | 0 | 0.0 | 71M| 166 | - | 305 |2253 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
73.89/73.97 c 67.8s|220000 | 89476 | 0 | 0.0 | 71M| 166 | - | 305 |2265 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
75.59/75.65 c 69.2s|230000 | 96175 | 0 | 0.0 | 77M| 166 | - | 305 |3415 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
79.79/79.87 c 73.0s|240000 | 96707 | 0 | 0.0 | 83M| 166 | - | 305 | 10k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
88.29/88.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.29/88.32 c 81.1s|250000 | 93884 | 0 | 0.0 | 84M| 166 | - | 305 | 17k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
100.10/100.12 c 92.4s|260000 | 88828 | 0 | 0.0 | 81M| 166 | - | 305 | 20k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
108.20/108.25 c 100s|270000 | 86893 | 0 | 0.0 | 71M| 166 | - | 305 |4746 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
110.99/111.08 c 103s|280000 | 91147 | 0 | 0.0 | 75M| 166 | - | 305 |6664 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
114.40/114.47 c 106s|290000 | 94855 | 0 | 0.0 | 79M| 166 | - | 305 |7966 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
118.09/118.11 c 109s|300000 | 98055 | 0 | 0.0 | 82M| 166 | - | 305 |7986 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
122.19/122.27 c 113s|310000 |100444 | 0 | 0.0 | 86M| 166 | - | 305 |9117 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
126.80/126.85 c 117s|320000 |102327 | 0 | 0.0 | 88M| 166 | - | 305 | 10k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
132.20/132.29 c 122s|330000 |102564 | 0 | 0.0 | 88M| 166 | - | 305 |7590 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
133.49/133.52 c 123s|340000 |110581 | 0 | 0.0 | 91M| 166 | - | 305 |1961 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
134.69/134.75 c 124s|350000 |118462 | 0 | 0.0 | 96M| 166 | - | 305 |2605 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
135.89/135.95 c 125s|360000 |126453 | 0 | 0.0 | 100M| 166 | - | 305 |2936 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
137.09/137.19 c 126s|370000 |134349 | 0 | 0.0 | 105M| 166 | - | 305 |3158 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
138.40/138.42 c 127s|380000 |142303 | 0 | 0.0 | 109M| 166 | - | 305 |3428 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
139.70/139.77 c 128s|390000 |150027 | 0 | 0.0 | 114M| 166 | - | 305 |3652 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
141.09/141.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.09/141.15 c 129s|400000 |157649 | 0 | 0.0 | 118M| 166 | - | 305 |3908 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
142.49/142.57 c 130s|410000 |165194 | 0 | 0.0 | 122M| 166 | - | 305 |4335 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
144.00/144.10 c 131s|420000 |172531 | 0 | 0.0 | 127M| 166 | - | 305 |4482 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
145.60/145.68 c 133s|430000 |179710 | 0 | 0.0 | 131M| 166 | - | 305 |4757 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
147.30/147.32 c 134s|440000 |186841 | 0 | 0.0 | 136M| 166 | - | 305 |5331 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
148.99/149.03 c 136s|450000 |193900 | 0 | 0.0 | 141M| 166 | - | 305 |5786 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
150.79/150.87 c 137s|460000 |200754 | 0 | 0.0 | 146M| 166 | - | 305 |6143 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
152.69/152.77 c 139s|470000 |207546 | 0 | 0.0 | 151M| 166 | - | 305 |6400 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
154.69/154.77 c 140s|480000 |214147 | 0 | 0.0 | 155M| 166 | - | 305 |6681 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
155.49/155.51 o 34
155.49/155.51 c * 141s|483518 |179600 | 0 | 0.0 | 126M| 166 | - | 305 |6941 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
157.59/157.63 c 143s|490000 |182398 | 0 | 0.0 | 133M| 166 | - | 305 |8616 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
161.39/161.40 c 146s|500000 |185841 | 0 | 0.0 | 137M| 166 | - | 305 |9078 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
165.59/165.67 c 150s|510000 |188450 | 0 | 0.0 | 142M| 166 | - | 305 | 10k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
170.59/170.70 c 155s|520000 |189768 | 0 | 0.0 | 146M| 166 | - | 305 | 11k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
175.80/175.88 o 27
175.80/175.88 c * 160s|529113 |186547 | 0 | 0.0 | 148M| 166 | - | 305 | 12k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
176.39/176.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.39/176.44 c 160s|530000 |186343 | 0 | 0.0 | 148M| 166 | - | 305 | 13k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
181.80/181.87 c 165s|540000 |184767 | 0 | 0.0 | 147M| 166 | - | 305 |8434 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
185.80/185.89 o 18
185.80/185.89 c * 169s|545024 |173847 | 0 | 0.0 | 134M| 166 | - | 305 | 10k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
189.10/189.19 c 172s|550000 |173684 | 0 | 0.0 | 135M| 166 | - | 305 | 13k| 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
198.59/198.67 c 181s|560000 |172471 | 0 | 0.0 | 141M| 166 | - | 305 | 20k| 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
212.20/212.29 c 194s|570000 |169621 | 0 | 0.0 | 144M| 166 | - | 305 | 25k| 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
225.99/226.09 c 208s|580000 |166000 | 0 | 0.0 | 142M| 166 | - | 305 | 14k| 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
237.29/237.39 c 219s|590000 |161669 | 0 | 0.0 | 140M| 166 | - | 305 | 19k| 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
243.29/243.35 c 224s|600000 |164210 | 0 | 0.0 | 139M| 166 | - | 305 |6821 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
246.60/246.69 c 227s|610000 |169176 | 0 | 0.0 | 145M| 166 | - | 305 |7587 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
250.20/250.28 c 231s|620000 |174074 | 0 | 0.0 | 150M| 166 | - | 305 |8793 | 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
254.10/254.11 c 234s|630000 |178910 | 0 | 0.0 | 156M| 166 | - | 305 |9707 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
258.20/258.21 c 238s|640000 |183505 | 0 | 0.0 | 161M| 166 | - | 305 | 10k| 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
262.40/262.48 c 242s|650000 |187758 | 0 | 0.0 | 166M| 166 | - | 305 | 10k| 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
266.80/266.84 c 246s|660000 |191802 | 0 | 0.0 | 171M| 166 | - | 305 | 10k| 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
271.49/271.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.49/271.54 c 250s|670000 |195370 | 0 | 0.0 | 176M| 166 | - | 305 | 10k| 0 | 0 | 0 | 737k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
276.39/276.47 c 255s|680000 |198411 | 0 | 0.0 | 181M| 166 | - | 305 | 11k| 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
281.61/281.67 c 260s|690000 |201125 | 0 | 0.0 | 185M| 166 | - | 305 | 11k| 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
287.40/287.46 c 265s|700000 |203209 | 0 | 0.0 | 189M| 166 | - | 305 | 11k| 0 | 0 | 0 | 776k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
293.60/293.61 c 271s|710000 |204570 | 0 | 0.0 | 194M| 166 | - | 305 | 12k| 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
300.40/300.48 c 277s|720000 |205108 | 0 | 0.0 | 198M| 166 | - | 305 | 12k| 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
307.39/307.44 c 284s|730000 |205554 | 0 | 0.0 | 202M| 166 | - | 305 | 12k| 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
314.70/314.72 c 291s|740000 |205602 | 0 | 0.0 | 206M| 166 | - | 305 | 13k| 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
322.20/322.21 c 298s|750000 |205449 | 0 | 0.0 | 209M| 166 | - | 305 | 14k| 0 | 0 | 0 | 846k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
330.49/330.50 c 306s|760000 |204706 | 0 | 0.0 | 212M| 166 | - | 305 | 15k| 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
338.59/338.68 c 314s|770000 |204091 | 0 | 0.0 | 215M| 166 | - | 305 | 15k| 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
347.19/347.23 c 322s|780000 |203466 | 0 | 0.0 | 218M| 166 | - | 305 | 17k| 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
356.50/356.60 c 331s|790000 |202481 | 0 | 0.0 | 220M| 166 | - | 305 | 19k| 0 | 0 | 0 | 910k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
366.89/366.93 c 341s|800000 |201091 | 0 | 0.0 | 222M| 166 | - | 305 | 20k| 0 | 0 | 0 | 927k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
377.69/377.77 c 351s|810000 |199647 | 0 | 0.0 | 223M| 166 | - | 305 | 22k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
389.30/389.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.30/389.31 c 362s|820000 |197547 | 0 | 0.0 | 223M| 166 | - | 305 | 24k| 0 | 0 | 0 | 962k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
400.60/400.66 c 373s|830000 |195926 | 0 | 0.0 | 224M| 166 | - | 305 | 25k| 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
407.70/407.70 c 380s|840000 |198925 | 0 | 0.0 | 221M| 166 | - | 305 | 13k| 0 | 0 | 0 | 990k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
411.20/411.21 c 383s|850000 |203863 | 0 | 0.0 | 222M| 166 | - | 305 |8705 | 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
419.49/419.58 c 391s|860000 |199689 | 0 | 0.0 | 215M| 166 | - | 305 | 17k| 0 | 0 | 0 |1022k| 0 | 1.000000e+00 | 1.800000e+01 |1700.00%
421.80/421.87 o 17
421.80/421.87 c * 393s|863078 |200521 | 0 | 0.0 | 215M| 166 | - | 305 | 14k| 0 | 0 | 0 |1027k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
427.00/427.05 c 398s|870000 |201955 | 0 | 0.0 | 216M| 166 | - | 305 | 15k| 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
435.61/435.62 c 406s|880000 |203677 | 0 | 0.0 | 220M| 166 | - | 305 | 17k| 0 | 0 | 0 |1057k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
444.60/444.65 c 415s|890000 |205869 | 0 | 0.0 | 223M| 166 | - | 305 | 20k| 0 | 0 | 0 |1074k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
455.41/455.45 c 425s|900000 |207391 | 0 | 0.0 | 225M| 166 | - | 305 | 23k| 0 | 0 | 0 |1092k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
466.31/466.37 c 436s|910000 |209306 | 0 | 0.0 | 228M| 166 | - | 305 | 25k| 0 | 0 | 0 |1109k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
478.30/478.38 c 448s|920000 |210732 | 0 | 0.0 | 231M| 166 | - | 305 | 25k| 0 | 0 | 0 |1127k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
480.00/480.01 o 12
480.00/480.01 c * 449s|921127 |182366 | 0 | 0.0 | 203M| 166 | - | 305 | 26k| 0 | 0 | 0 |1129k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
486.11/486.12 o 8
486.11/486.12 c * 455s|924652 |157482 | 0 | 0.0 | 187M| 166 | - | 305 | 25k| 0 | 0 | 0 |1136k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
496.70/496.74 c 466s|930000 |155445 | 0 | 0.0 | 189M| 166 | - | 305 | 24k| 0 | 0 | 0 |1148k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
511.80/511.82 o 2
511.80/511.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.80/511.82 c * 480s|937115 | 0 | 0 | 0.0 | 13M| 166 | - | 305 | 24k| 0 | 0 | 0 |1165k| 0 | 2.000000e+00 | 2.000000e+00 | 0.00%
511.80/511.82 c
511.80/511.82 c SCIP Status : problem is solved [optimal solution found]
511.80/511.82 c Solving Time (sec) : 480.25
511.80/511.82 c Solving Nodes : 937115
511.80/511.82 c Primal Bound : +2.00000000000000e+00 (12 solutions)
511.80/511.82 c Dual Bound : +2.00000000000000e+00
511.80/511.82 c Gap : 0.00 %
511.80/511.82 s OPTIMUM FOUND
511.80/511.82 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
511.80/511.82 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
511.80/511.82 v -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
511.80/511.82 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
511.80/511.82 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
511.80/511.82 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
511.80/511.82 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
511.80/511.82 v -x4 -x3 -x2 -x1
511.80/511.82 c SCIP Status : problem is solved [optimal solution found]
511.80/511.82 c Solving Time : 480.25
511.80/511.82 c Original Problem :
511.80/511.82 c Problem name : HOME/instance-2693842-1277895375.wbo
511.80/511.82 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
511.80/511.82 c Constraints : 171 initial, 171 maximal
511.80/511.82 c Presolved Problem :
511.80/511.82 c Problem name : t_HOME/instance-2693842-1277895375.wbo
511.80/511.82 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
511.80/511.82 c Constraints : 166 initial, 34407 maximal
511.80/511.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
511.80/511.82 c trivial : 0.00 0 0 0 0 0 0 0 0
511.80/511.82 c dualfix : 0.00 2 0 0 0 0 0 0 0
511.80/511.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
511.80/511.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
511.80/511.82 c implics : 0.00 0 0 0 0 0 0 0 0
511.80/511.82 c probing : 0.01 0 0 0 0 0 0 0 0
511.80/511.82 c indicator : 0.00 0 0 0 0 0 1 0 0
511.80/511.82 c setppc : 0.00 0 0 0 0 0 0 0 0
511.80/511.82 c linear : 0.00 0 0 0 68 0 4 1 0
511.80/511.82 c logicor : 0.00 0 0 0 0 0 0 0 0
511.80/511.82 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
511.80/511.82 c root node : - 15 - - 30 - - - -
511.80/511.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
511.80/511.82 c integral : 0 0 0 0 0 0 0 0 0 0
511.80/511.82 c indicator : 68 0 2161607 0 608887 2100 662197 0 0 0
511.80/511.82 c setppc : 20 0 2666238 0 700876 24771 2033148 0 0 0
511.80/511.82 c linear : 68 0 2641499 0 700885 265907 11289997 0 0 0
511.80/511.82 c logicor : 10+ 0 1319914 0 700881 63462 743245 0 0 0
511.80/511.82 c bounddisjunction : 0+ 0 159237 0 0 0 1365 0 0 0
511.80/511.82 c countsols : 0 0 0 0 700896 0 0 0 0 0
511.80/511.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
511.80/511.82 c integral : 0.00 0.00 0.00 0.00 0.00
511.80/511.82 c indicator : 0.82 0.00 0.38 0.00 0.44
511.80/511.82 c setppc : 5.82 0.00 4.56 0.00 1.26
511.80/511.82 c linear : 56.70 0.00 56.67 0.00 0.03
511.80/511.82 c logicor : 188.41 0.00 187.98 0.00 0.43
511.80/511.82 c bounddisjunction : 0.21 0.00 0.21 0.00 0.00
511.80/511.82 c countsols : 0.00 0.00 0.00 0.00 0.00
511.80/511.82 c Propagators : Time Calls Cutoffs DomReds
511.80/511.82 c vbounds : 0.00 2 0 0
511.80/511.82 c rootredcost : 0.00 0 0 0
511.80/511.82 c pseudoobj : 4.64 2669766 1570 600245
511.80/511.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
511.80/511.82 c propagation : 19.85 355705 355685 1967054 26.2 187555 14.0 -
511.80/511.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
511.80/511.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
511.80/511.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
511.80/511.82 c pseudo solution : 0.00 35 35 70 8.0 20 13.2 -
511.80/511.82 c applied globally : - - - 1131158 17.7 - - -
511.80/511.82 c applied locally : - - - 34260 38.2 - - -
511.80/511.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
511.80/511.82 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
511.80/511.82 c redcost : 0.00 0 0 0 0 0
511.80/511.82 c impliedbounds : 0.00 0 0 0 0 0
511.80/511.82 c intobj : 0.00 0 0 0 0 0
511.80/511.82 c cgmip : 0.00 0 0 0 0 0
511.80/511.82 c gomory : 0.00 0 0 0 0 0
511.80/511.82 c strongcg : 0.00 0 0 0 0 0
511.80/511.82 c cmir : 0.00 0 0 0 0 0
511.80/511.82 c flowcover : 0.00 0 0 0 0 0
511.80/511.82 c clique : 0.00 0 0 0 0 0
511.80/511.82 c zerohalf : 0.00 0 0 0 0 0
511.80/511.82 c mcf : 0.00 0 0 0 0 0
511.80/511.82 c rapidlearning : 0.00 0 0 0 0 0
511.80/511.82 c Pricers : Time Calls Vars
511.80/511.82 c problem variables: 0.00 0 0
511.80/511.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
511.80/511.82 c relpscost : 0.00 0 0 0 0 0 0
511.80/511.82 c pscost : 0.00 0 0 0 0 0 0
511.80/511.82 c inference : 4.83 700884 0 0 0 0 1401768
511.80/511.82 c mostinf : 0.00 0 0 0 0 0 0
511.80/511.82 c leastinf : 0.00 0 0 0 0 0 0
511.80/511.82 c fullstrong : 0.00 0 0 0 0 0 0
511.80/511.82 c allfullstrong : 0.00 0 0 0 0 0 0
511.80/511.82 c random : 0.00 0 0 0 0 0 0
511.80/511.82 c Primal Heuristics : Time Calls Found
511.80/511.82 c LP solutions : 0.00 - 0
511.80/511.82 c pseudo solutions : 0.53 - 12
511.80/511.82 c oneopt : 0.01 0 0
511.80/511.82 c trivial : 0.00 2 0
511.80/511.82 c simplerounding : 0.00 0 0
511.80/511.82 c zirounding : 0.00 0 0
511.80/511.82 c rounding : 0.00 0 0
511.80/511.82 c shifting : 0.00 0 0
511.80/511.82 c intshifting : 0.00 0 0
511.80/511.82 c twoopt : 0.00 0 0
511.80/511.82 c fixandinfer : 0.00 0 0
511.80/511.82 c feaspump : 0.00 0 0
511.80/511.82 c coefdiving : 0.00 0 0
511.80/511.82 c pscostdiving : 0.00 0 0
511.80/511.82 c fracdiving : 0.00 0 0
511.80/511.82 c veclendiving : 0.00 0 0
511.80/511.82 c intdiving : 0.00 0 0
511.80/511.82 c actconsdiving : 0.00 0 0
511.80/511.82 c objpscostdiving : 0.00 0 0
511.80/511.82 c rootsoldiving : 0.00 0 0
511.80/511.82 c linesearchdiving : 0.00 0 0
511.80/511.82 c guideddiving : 0.00 0 0
511.80/511.82 c octane : 0.00 0 0
511.80/511.82 c rens : 0.00 0 0
511.80/511.82 c rins : 0.00 0 0
511.80/511.82 c localbranching : 0.00 0 0
511.80/511.82 c mutation : 0.00 0 0
511.80/511.82 c crossover : 0.00 0 0
511.80/511.82 c dins : 0.00 0 0
511.80/511.82 c undercover : 0.00 0 0
511.80/511.82 c nlp : 0.00 0 0
511.80/511.82 c trysol : 0.00 1 0
511.80/511.82 c LP : Time Calls Iterations Iter/call Iter/sec
511.80/511.82 c primal LP : 0.00 0 0 0.00 -
511.80/511.83 c dual LP : 0.00 0 0 0.00 -
511.80/511.83 c lex dual LP : 0.00 0 0 0.00 -
511.80/511.83 c barrier LP : 0.00 0 0 0.00 -
511.80/511.83 c diving/probing LP: 0.00 0 0 0.00 -
511.80/511.83 c strong branching : 0.00 0 0 0.00 -
511.80/511.83 c (at root node) : - 0 0 0.00 -
511.80/511.83 c conflict analysis: 0.00 0 0 0.00 -
511.80/511.83 c B&B Tree :
511.80/511.83 c number of runs : 1
511.80/511.83 c nodes : 937115
511.80/511.83 c nodes (total) : 937115
511.80/511.83 c nodes left : 0
511.80/511.83 c max depth : 166
511.80/511.83 c max depth (total): 166
511.80/511.83 c backtracks : 260133 (27.8%)
511.80/511.83 c delayed cutoffs : 188794
511.80/511.83 c repropagations : 914172 (4583830 domain reductions, 121626 cutoffs)
511.80/511.83 c avg switch length: 18.43
511.80/511.83 c switching time : 162.11
511.80/511.83 c Solution :
511.80/511.83 c Solutions found : 12 (12 improvements)
511.80/511.83 c First Solution : +4.36000000000000e+02 (in run 1, after 197728 nodes, 66.15 seconds, depth 127, found by <relaxation>)
511.80/511.83 c Primal Bound : +2.00000000000000e+00 (in run 1, after 937115 nodes, 479.91 seconds, depth 52, found by <relaxation>)
511.80/511.83 c Dual Bound : +2.00000000000000e+00
511.80/511.83 c Gap : 0.00 %
511.80/511.83 c Root Dual Bound : +0.00000000000000e+00
511.80/511.83 c Root Iterations : 0
511.80/511.86 c Time complete: 511.87.