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-2693856-1277895854.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.10/1.16 c 1.0s| 10000 | 7831 | 0 | 0.0 |6391k| 183 | - | 295 |3104 | 0 | 0 | 0 |5867 | 0 | 0.000000e+00 | -- | Inf
2.99/3.00 o 715
2.99/3.00 c * 2.8s| 17800 | 11878 | 0 | 0.0 | 10M| 183 | - | 295 |5772 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 7.150000e+02 | Inf
3.19/3.21 c 3.0s| 20000 | 13912 | 0 | 0.0 | 10M| 183 | - | 295 |3066 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 7.150000e+02 | Inf
3.30/3.37 o 491
3.30/3.37 c * 3.1s| 21700 | 15408 | 0 | 0.0 | 11M| 183 | - | 295 |1731 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.910000e+02 | Inf
4.49/4.60 c 4.2s| 30000 | 21388 | 0 | 0.0 | 15M| 183 | - | 295 |4244 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 4.910000e+02 | Inf
7.09/7.13 c 6.7s| 40000 | 26971 | 0 | 0.0 | 20M| 183 | - | 295 |7489 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 4.910000e+02 | Inf
10.29/10.35 c 9.8s| 50000 | 31762 | 0 | 0.0 | 25M| 183 | - | 295 |9719 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 4.910000e+02 | Inf
14.29/14.38 c 13.7s| 60000 | 35377 | 0 | 0.0 | 30M| 183 | - | 295 | 12k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 4.910000e+02 | Inf
19.09/19.19 c 18.4s| 70000 | 37859 | 0 | 0.0 | 35M| 183 | - | 295 | 14k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 4.910000e+02 | Inf
24.69/24.74 o 433
24.69/24.74 c *23.8s| 79053 | 38653 | 0 | 0.0 | 38M| 183 | - | 295 | 16k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
24.90/24.90 c 23.9s| 80000 | 39544 | 0 | 0.0 | 37M| 183 | - | 295 | 10k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
25.89/25.98 c 24.9s| 90000 | 48045 | 0 | 0.0 | 38M| 183 | - | 295 |1425 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 4.330000e+02 | Inf
26.30/26.37 o 326
26.30/26.37 c *25.2s| 93496 | 50918 | 0 | 0.0 | 39M| 183 | - | 295 |1651 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 3.260000e+02 | Inf
27.09/27.15 c 25.9s|100000 | 56159 | 0 | 0.0 | 42M| 183 | - | 295 |1714 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 3.260000e+02 | Inf
28.29/28.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.29/28.38 c 27.0s|110000 | 64074 | 0 | 0.0 | 45M| 183 | - | 295 |1753 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.260000e+02 | Inf
29.59/29.67 c 28.2s|120000 | 71801 | 0 | 0.0 | 49M| 183 | - | 295 |2073 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 3.260000e+02 | Inf
30.39/30.41 o 311
30.39/30.41 c *28.9s|125351 | 75875 | 0 | 0.0 | 52M| 183 | - | 295 |2359 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
31.09/31.10 c 29.6s|130000 | 79307 | 0 | 0.0 | 53M| 183 | - | 295 |2718 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
32.59/32.63 c 31.1s|140000 | 86715 | 0 | 0.0 | 58M| 183 | - | 295 |3018 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
34.29/34.38 c 32.6s|150000 | 93570 | 0 | 0.0 | 62M| 183 | - | 295 |3821 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
36.59/36.62 c 34.8s|160000 | 99586 | 0 | 0.0 | 67M| 183 | - | 295 |5078 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
40.30/40.32 c 38.4s|170000 |103326 | 0 | 0.0 | 72M| 183 | - | 295 | 10k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
45.69/45.73 c 43.7s|180000 |105718 | 0 | 0.0 | 77M| 183 | - | 295 | 13k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
52.50/52.59 c 50.4s|190000 |106851 | 0 | 0.0 | 80M| 183 | - | 295 | 15k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
60.59/60.69 c 58.3s|200000 |106826 | 0 | 0.0 | 84M| 183 | - | 295 | 17k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
69.79/69.82 c 67.3s|210000 |106213 | 0 | 0.0 | 87M| 183 | - | 295 | 20k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
79.89/79.94 c 77.3s|220000 |104974 | 0 | 0.0 | 89M| 183 | - | 295 | 23k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
91.69/91.79 c 89.0s|230000 |102824 | 0 | 0.0 | 91M| 183 | - | 295 | 25k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
101.40/101.42 c 98.5s|240000 |103533 | 0 | 0.0 | 83M| 183 | - | 295 |1536 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
102.70/102.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.70/102.78 c 99.7s|250000 |111212 | 0 | 0.0 | 87M| 183 | - | 295 |1843 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
104.30/104.32 c 101s|260000 |118505 | 0 | 0.0 | 90M| 183 | - | 295 |2337 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
105.79/105.84 c 103s|270000 |125924 | 0 | 0.0 | 94M| 183 | - | 295 |2662 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
107.29/107.39 c 104s|280000 |133300 | 0 | 0.0 | 98M| 183 | - | 295 |3006 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 3.110000e+02 | Inf
107.40/107.42 o 296
107.40/107.42 c * 104s|280223 |133472 | 0 | 0.0 | 98M| 183 | - | 295 |3008 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.960000e+02 | Inf
107.90/107.97 o 245
107.90/107.97 c * 105s|283627 |135933 | 0 | 0.0 | 100M| 183 | - | 295 |3166 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
108.90/108.96 c 105s|290000 |140686 | 0 | 0.0 | 102M| 183 | - | 295 |3464 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
110.39/110.45 o 219
110.39/110.45 c * 107s|298955 |147147 | 0 | 0.0 | 105M| 183 | - | 295 |3650 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
110.59/110.63 c 107s|300000 |147925 | 0 | 0.0 | 106M| 183 | - | 295 |3701 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
112.29/112.38 c 109s|310000 |155043 | 0 | 0.0 | 110M| 183 | - | 295 |3884 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
114.20/114.22 c 110s|320000 |161976 | 0 | 0.0 | 114M| 183 | - | 295 |3973 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
115.90/115.97 c 112s|330000 |169110 | 0 | 0.0 | 118M| 183 | - | 295 |3992 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
117.79/117.84 c 114s|340000 |175970 | 0 | 0.0 | 122M| 183 | - | 295 |3808 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
119.70/119.76 c 116s|350000 |182633 | 0 | 0.0 | 125M| 183 | - | 295 |3734 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
121.59/121.68 c 117s|360000 |189307 | 0 | 0.0 | 129M| 183 | - | 295 |3491 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
123.49/123.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.49/123.58 c 119s|370000 |195993 | 0 | 0.0 | 133M| 183 | - | 295 |3235 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
125.40/125.46 c 121s|380000 |202569 | 0 | 0.0 | 137M| 183 | - | 295 |3311 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
126.30/126.36 o 179
126.30/126.36 c * 122s|385100 |205870 | 0 | 0.0 | 139M| 183 | - | 295 |3213 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
127.20/127.25 c 123s|390000 |209236 | 0 | 0.0 | 141M| 183 | - | 295 |2947 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
128.99/129.06 c 124s|400000 |216029 | 0 | 0.0 | 145M| 183 | - | 295 |3263 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
130.90/130.97 c 126s|410000 |222605 | 0 | 0.0 | 149M| 183 | - | 295 |3143 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
132.69/132.79 c 128s|420000 |229351 | 0 | 0.0 | 152M| 183 | - | 295 |3105 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
134.59/134.63 c 130s|430000 |236104 | 0 | 0.0 | 156M| 183 | - | 295 |3355 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
136.50/136.56 c 131s|440000 |242672 | 0 | 0.0 | 160M| 183 | - | 295 |3785 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
138.50/138.57 c 133s|450000 |249120 | 0 | 0.0 | 164M| 183 | - | 295 |3688 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
140.49/140.59 c 135s|460000 |255557 | 0 | 0.0 | 168M| 183 | - | 295 |3935 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
142.59/142.67 c 137s|470000 |261952 | 0 | 0.0 | 172M| 183 | - | 295 |4258 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
144.70/144.74 c 139s|480000 |268445 | 0 | 0.0 | 176M| 183 | - | 295 |4441 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
146.89/146.97 c 141s|490000 |274604 | 0 | 0.0 | 180M| 183 | - | 295 |4709 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
149.19/149.26 c 143s|500000 |280737 | 0 | 0.0 | 184M| 183 | - | 295 |5037 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
151.49/151.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.49/151.54 c 146s|510000 |286932 | 0 | 0.0 | 188M| 183 | - | 295 |5349 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
153.80/153.80 c 148s|520000 |293272 | 0 | 0.0 | 192M| 183 | - | 295 |5709 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
156.20/156.25 c 150s|530000 |299184 | 0 | 0.0 | 196M| 183 | - | 295 |5821 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
158.59/158.68 c 152s|540000 |305263 | 0 | 0.0 | 200M| 183 | - | 295 |6179 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
161.09/161.12 c 155s|550000 |311346 | 0 | 0.0 | 204M| 183 | - | 295 |6299 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
163.69/163.77 c 157s|560000 |316990 | 0 | 0.0 | 208M| 183 | - | 295 |6478 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
166.30/166.38 c 160s|570000 |322833 | 0 | 0.0 | 212M| 183 | - | 295 |6263 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
169.09/169.16 c 162s|580000 |328260 | 0 | 0.0 | 216M| 183 | - | 295 |6844 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
171.99/172.05 c 165s|590000 |333571 | 0 | 0.0 | 220M| 183 | - | 295 |6677 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
175.00/175.06 c 168s|600000 |338646 | 0 | 0.0 | 224M| 183 | - | 295 |7149 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
177.70/177.78 o 165
177.70/177.78 c * 171s|608542 |342341 | 0 | 0.0 | 227M| 183 | - | 295 |7521 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
178.20/178.24 c 171s|610000 |343033 | 0 | 0.0 | 228M| 183 | - | 295 |7696 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
181.70/181.72 c 174s|620000 |347489 | 0 | 0.0 | 232M| 183 | - | 295 |8195 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
185.29/185.36 c 178s|630000 |351723 | 0 | 0.0 | 236M| 183 | - | 295 |8734 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
189.11/189.18 c 182s|640000 |355727 | 0 | 0.0 | 240M| 183 | - | 295 |8807 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
193.09/193.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.09/193.16 c 185s|650000 |359609 | 0 | 0.0 | 244M| 183 | - | 295 | 10k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
197.50/197.53 c 190s|660000 |363218 | 0 | 0.0 | 246M| 183 | - | 295 |6875 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
207.50/207.57 c 200s|670000 |359793 | 0 | 0.0 | 249M| 183 | - | 295 | 19k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
225.80/225.81 c 218s|680000 |353233 | 0 | 0.0 | 246M| 183 | - | 295 | 27k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
246.19/246.28 c 238s|690000 |346947 | 0 | 0.0 | 229M| 183 | - | 295 | 12k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
248.30/248.33 c 240s|700000 |353731 | 0 | 0.0 | 230M| 183 | - | 295 |2245 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
250.30/250.39 c 242s|710000 |360039 | 0 | 0.0 | 234M| 183 | - | 295 |2772 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
252.49/252.56 c 244s|720000 |366164 | 0 | 0.0 | 237M| 183 | - | 295 |3063 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
253.60/253.64 o 145
253.60/253.64 c * 245s|724676 |367439 | 0 | 0.0 | 238M| 183 | - | 295 |3204 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
254.90/254.90 c 246s|730000 |370553 | 0 | 0.0 | 240M| 183 | - | 295 |3309 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
257.30/257.33 c 248s|740000 |376267 | 0 | 0.0 | 244M| 183 | - | 295 |3359 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
259.60/259.64 c 250s|750000 |382226 | 0 | 0.0 | 248M| 183 | - | 295 |3636 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
262.00/262.01 c 252s|760000 |388160 | 0 | 0.0 | 252M| 183 | - | 295 |3889 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
264.29/264.31 c 254s|770000 |394221 | 0 | 0.0 | 256M| 183 | - | 295 |4027 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
264.29/264.33 o 128
264.29/264.33 c * 254s|770064 |392330 | 0 | 0.0 | 254M| 183 | - | 295 |4032 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
266.70/266.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.70/266.73 c 256s|780000 |398211 | 0 | 0.0 | 259M| 183 | - | 295 |4406 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
269.10/269.13 c 258s|790000 |404218 | 0 | 0.0 | 263M| 183 | - | 295 |4392 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
271.50/271.51 c 260s|800000 |410272 | 0 | 0.0 | 267M| 183 | - | 295 |4653 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
273.80/273.83 c 263s|810000 |416527 | 0 | 0.0 | 272M| 183 | - | 295 |4902 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
276.19/276.28 c 265s|820000 |422499 | 0 | 0.0 | 276M| 183 | - | 295 |4957 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
278.69/278.76 c 267s|830000 |428466 | 0 | 0.0 | 280M| 183 | - | 295 |4983 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
281.19/281.23 c 269s|840000 |434506 | 0 | 0.0 | 284M| 183 | - | 295 |5166 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
283.59/283.65 c 271s|850000 |440677 | 0 | 0.0 | 289M| 183 | - | 295 |5380 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
284.40/284.45 o 102
284.40/284.45 c * 272s|853012 |437359 | 0 | 0.0 | 286M| 183 | - | 295 |5506 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
286.30/286.35 c 273s|860000 |441380 | 0 | 0.0 | 289M| 183 | - | 295 |5625 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
288.99/289.09 c 276s|870000 |447027 | 0 | 0.0 | 294M| 183 | - | 295 |5652 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
291.51/291.59 c 278s|880000 |453117 | 0 | 0.0 | 299M| 183 | - | 295 |5930 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
294.39/294.45 c 281s|890000 |458545 | 0 | 0.0 | 303M| 183 | - | 295 |6009 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
297.29/297.37 c 283s|900000 |463937 | 0 | 0.0 | 308M| 183 | - | 295 |6283 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
299.99/300.09 c 286s|910000 |469754 | 0 | 0.0 | 313M| 183 | - | 295 |6442 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
302.99/303.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.99/303.02 c 288s|920000 |475251 | 0 | 0.0 | 317M| 183 | - | 295 |6295 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
305.90/305.99 c 291s|930000 |480641 | 0 | 0.0 | 321M| 183 | - | 295 |6535 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
308.60/308.70 c 293s|940000 |486554 | 0 | 0.0 | 326M| 183 | - | 295 |6832 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
311.79/311.85 c 296s|950000 |491727 | 0 | 0.0 | 330M| 183 | - | 295 |6710 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
314.80/314.80 c 299s|960000 |497232 | 0 | 0.0 | 334M| 183 | - | 295 |6961 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
317.69/317.76 c 301s|970000 |502819 | 0 | 0.0 | 339M| 183 | - | 295 |6977 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
321.00/321.02 c 304s|980000 |507814 | 0 | 0.0 | 342M| 183 | - | 295 |6978 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
323.90/323.95 c 307s|990000 |513504 | 0 | 0.0 | 347M| 183 | - | 295 |7237 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
327.00/327.01 c 310s| 1000k|518969 | 0 | 0.0 | 351M| 183 | - | 295 |7064 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
330.20/330.22 c 313s| 1010k|524163 | 0 | 0.0 | 355M| 183 | - | 295 |7007 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
333.10/333.19 c 315s| 1020k|529889 | 0 | 0.0 | 359M| 183 | - | 295 |7271 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
336.60/336.67 c 318s| 1030k|534662 | 0 | 0.0 | 363M| 183 | - | 295 |7101 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
339.80/339.82 c 321s| 1040k|540027 | 0 | 0.0 | 366M| 183 | - | 295 |7225 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
342.40/342.43 o 88
342.40/342.43 c * 324s| 1048k|525493 | 0 | 0.0 | 353M| 183 | - | 295 |7183 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 8.800000e+01 |8700.00%
342.49/342.58 o 82
342.49/342.58 c * 324s| 1048k|511413 | 0 | 0.0 | 342M| 183 | - | 295 |7125 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
343.00/343.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.00/343.04 c 324s| 1050k|512033 | 0 | 0.0 | 342M| 183 | - | 295 |5743 | 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
346.29/346.30 c 327s| 1060k|516281 | 0 | 0.0 | 346M| 183 | - | 295 |1539 | 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
348.89/348.99 c 329s| 1070k|520829 | 0 | 0.0 | 351M| 183 | - | 295 |2674 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
350.90/350.98 o 59
350.90/350.98 c * 331s| 1076k|470695 | 0 | 0.0 | 312M| 183 | - | 295 |3066 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
352.09/352.11 c 332s| 1080k|471671 | 0 | 0.0 | 314M| 183 | - | 295 |2743 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
355.80/355.81 c 335s| 1090k|474854 | 0 | 0.0 | 319M| 183 | - | 295 |3684 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
359.39/359.47 c 338s| 1100k|478153 | 0 | 0.0 | 323M| 183 | - | 295 |3786 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
363.20/363.20 c 342s| 1110k|481358 | 0 | 0.0 | 326M| 183 | - | 295 |1466 | 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
366.49/366.51 c 345s| 1120k|484719 | 0 | 0.0 | 331M| 183 | - | 295 |2906 | 0 | 0 | 0 | 753k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
370.09/370.11 c 348s| 1130k|487802 | 0 | 0.0 | 335M| 183 | - | 295 |4584 | 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
374.09/374.15 c 351s| 1140k|490563 | 0 | 0.0 | 339M| 183 | - | 295 |5295 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
378.20/378.24 c 355s| 1150k|493483 | 0 | 0.0 | 343M| 183 | - | 295 |5554 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
382.50/382.51 c 359s| 1160k|496254 | 0 | 0.0 | 346M| 183 | - | 295 |6019 | 0 | 0 | 0 | 781k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
386.90/386.97 c 363s| 1170k|498976 | 0 | 0.0 | 350M| 183 | - | 295 |6586 | 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
391.61/391.65 c 367s| 1180k|501591 | 0 | 0.0 | 354M| 183 | - | 295 |6636 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
396.30/396.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.30/396.35 c 372s| 1190k|504521 | 0 | 0.0 | 357M| 183 | - | 295 |6185 | 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
400.99/401.04 c 376s| 1200k|507091 | 0 | 0.0 | 361M| 183 | - | 295 |7836 | 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
405.80/405.86 c 380s| 1210k|509611 | 0 | 0.0 | 365M| 183 | - | 295 |7540 | 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
410.60/410.66 c 385s| 1220k|512216 | 0 | 0.0 | 368M| 183 | - | 295 |7584 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
415.60/415.61 c 389s| 1230k|514700 | 0 | 0.0 | 372M| 183 | - | 295 |7593 | 0 | 0 | 0 | 835k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
420.60/420.67 c 394s| 1240k|517211 | 0 | 0.0 | 376M| 183 | - | 295 |7863 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
425.49/425.60 c 399s| 1250k|519537 | 0 | 0.0 | 379M| 183 | - | 295 |8538 | 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
430.80/430.83 c 403s| 1260k|521649 | 0 | 0.0 | 383M| 183 | - | 295 |8811 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
436.10/436.18 c 408s| 1270k|523522 | 0 | 0.0 | 386M| 183 | - | 295 |8824 | 0 | 0 | 0 | 870k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
441.70/441.70 c 413s| 1280k|525374 | 0 | 0.0 | 389M| 183 | - | 295 |9077 | 0 | 0 | 0 | 879k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
447.30/447.33 c 419s| 1290k|527169 | 0 | 0.0 | 393M| 183 | - | 295 |9172 | 0 | 0 | 0 | 889k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
453.10/453.12 c 424s| 1300k|528853 | 0 | 0.0 | 396M| 183 | - | 295 |8871 | 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
455.30/455.34 o 43
455.30/455.34 c * 426s| 1303k|497932 | 0 | 0.0 | 372M| 183 | - | 295 |9657 | 0 | 0 | 0 | 903k| 0 | 1.000000e+00 | 4.300000e+01 |4200.00%
459.90/459.95 c 430s| 1310k|497819 | 0 | 0.0 | 376M| 183 | - | 295 | 10k| 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 4.300000e+01 |4200.00%
467.41/467.48 c 437s| 1320k|497725 | 0 | 0.0 | 380M| 183 | - | 295 | 10k| 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 4.300000e+01 |4200.00%
474.90/474.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.90/474.92 c 444s| 1330k|497783 | 0 | 0.0 | 382M| 183 | - | 295 | 11k| 0 | 0 | 0 | 939k| 0 | 1.000000e+00 | 4.300000e+01 |4200.00%
482.91/482.92 c 452s| 1340k|497109 | 0 | 0.0 | 384M| 183 | - | 295 | 10k| 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 4.300000e+01 |4200.00%
490.90/490.92 c 460s| 1350k|496504 | 0 | 0.0 | 386M| 183 | - | 295 | 12k| 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | 4.300000e+01 |4200.00%
499.31/499.31 c 468s| 1360k|496043 | 0 | 0.0 | 388M| 183 | - | 295 | 12k| 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 4.300000e+01 |4200.00%
501.20/501.29 o 23
501.20/501.29 c * 469s| 1362k|420274 | 0 | 0.0 | 330M| 183 | - | 295 | 13k| 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
509.00/509.06 c 477s| 1370k|418817 | 0 | 0.0 | 332M| 183 | - | 295 | 12k| 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
519.30/519.38 c 487s| 1380k|416150 | 0 | 0.0 | 333M| 183 | - | 295 | 13k| 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
529.80/529.83 c 496s| 1390k|413804 | 0 | 0.0 | 334M| 183 | - | 295 | 13k| 0 | 0 | 0 |1030k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
541.11/541.18 c 507s| 1400k|410629 | 0 | 0.0 | 334M| 183 | - | 295 | 14k| 0 | 0 | 0 |1047k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
554.01/554.08 c 520s| 1410k|405392 | 0 | 0.0 | 333M| 183 | - | 295 | 14k| 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
561.01/561.06 c 526s| 1420k|406085 | 0 | 0.0 | 331M| 183 | - | 295 |3474 | 0 | 0 | 0 |1078k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
565.80/565.83 c 530s| 1430k|407119 | 0 | 0.0 | 334M| 183 | - | 295 |4577 | 0 | 0 | 0 |1090k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
575.31/575.39 c 539s| 1440k|401763 | 0 | 0.0 | 336M| 183 | - | 295 |7915 | 0 | 0 | 0 |1106k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
587.90/587.99 c 552s| 1450k|394042 | 0 | 0.0 | 337M| 183 | - | 295 | 10k| 0 | 0 | 0 |1124k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
588.81/588.82 o 22
588.81/588.82 c * 552s| 1450k|393181 | 0 | 0.0 | 337M| 183 | - | 295 | 10k| 0 | 0 | 0 |1125k| 0 | 1.000000e+00 | 2.200000e+01 |2100.00%
593.20/593.29 o 7
593.20/593.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.20/593.29 c * 557s| 1453k|305050 | 0 | 0.0 | 273M| 183 | - | 295 | 11k| 0 | 0 | 0 |1131k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
610.41/610.48 c 573s| 1460k|291059 | 0 | 0.0 | 273M| 183 | - | 295 | 14k| 0 | 0 | 0 |1153k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
644.91/644.94 c 607s| 1470k|264958 | 0 | 0.0 | 267M| 183 | - | 295 | 19k| 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
688.10/688.12 c 649s| 1480k|234723 | 0 | 0.0 | 258M| 183 | - | 295 | 19k| 0 | 0 | 0 |1219k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
727.41/727.47 c 687s| 1490k|207797 | 0 | 0.0 | 247M| 183 | - | 295 | 20k| 0 | 0 | 0 |1248k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
765.10/765.15 c 724s| 1500k|188222 | 0 | 0.0 | 238M| 183 | - | 295 | 22k| 0 | 0 | 0 |1276k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
803.01/803.01 c 761s| 1510k|171348 | 0 | 0.0 | 230M| 183 | - | 295 | 24k| 0 | 0 | 0 |1304k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
843.01/843.06 c 801s| 1520k|155314 | 0 | 0.0 | 222M| 183 | - | 295 | 26k| 0 | 0 | 0 |1332k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
887.81/887.87 c 845s| 1530k|137968 | 0 | 0.0 | 213M| 183 | - | 295 | 27k| 0 | 0 | 0 |1361k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
935.21/935.29 c 891s| 1540k|119313 | 0 | 0.0 | 202M| 183 | - | 295 | 32k| 0 | 0 | 0 |1390k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
983.82/983.87 c 939s| 1550k|102268 | 0 | 0.0 | 186M| 183 | - | 295 | 33k| 0 | 0 | 0 |1419k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1032.01/1032.03 c 987s| 1560k| 87544 | 0 | 0.0 | 172M| 183 | - | 295 | 34k| 0 | 0 | 0 |1448k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1076.72/1076.70 c 1031s| 1570k| 74703 | 0 | 0.0 | 158M| 183 | - | 295 | 37k| 0 | 0 | 0 |1475k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1108.51/1108.51 c 1062s| 1580k| 66538 | 0 | 0.0 | 139M| 183 | - | 295 | 20k| 0 | 0 | 0 |1494k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1116.72/1116.74 c 1070s| 1590k| 70891 | 0 | 0.0 | 143M| 183 | - | 295 | 17k| 0 | 0 | 0 |1506k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1128.02/1128.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.02/1128.06 c 1081s| 1600k| 72028 | 0 | 0.0 | 147M| 183 | - | 295 | 20k| 0 | 0 | 0 |1521k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1139.41/1139.42 c 1092s| 1610k| 72088 | 0 | 0.0 | 144M| 183 | - | 295 | 15k| 0 | 0 | 0 |1536k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1149.82/1149.87 o 4
1149.82/1149.87 c *1102s| 1613k| 59541 | 0 | 0.0 | 131M| 183 | - | 295 | 20k| 0 | 0 | 0 |1550k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1151.42/1151.47 o 2
1151.42/1151.47 c *1104s| 1613k| 40028 | 0 | 0.0 | 108M| 183 | - | 295 | 21k| 0 | 0 | 0 |1551k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
1178.52/1178.59 c 1130s| 1620k| 24944 | 0 | 0.0 | 83M| 183 | - | 295 | 29k| 0 | 0 | 0 |1574k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
1236.92/1236.90 c
1236.92/1236.90 c SCIP Status : problem is solved [optimal solution found]
1236.92/1236.90 c Solving Time (sec) : 1187.74
1236.92/1236.90 c Solving Nodes : 1629766
1236.92/1236.90 c Primal Bound : +2.00000000000000e+00 (22 solutions)
1236.92/1236.90 c Dual Bound : +2.00000000000000e+00
1236.92/1236.90 c Gap : 0.00 %
1236.92/1236.90 s OPTIMUM FOUND
1236.92/1236.90 v -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1236.92/1236.90 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1236.92/1236.90 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1236.92/1236.90 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
1236.92/1236.90 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
1236.92/1236.90 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
1236.92/1236.90 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
1236.92/1236.90 v -x4 -x3 -x2 -x1
1236.92/1236.90 c SCIP Status : problem is solved [optimal solution found]
1236.92/1236.90 c Solving Time : 1187.74
1236.92/1236.90 c Original Problem :
1236.92/1236.90 c Problem name : HOME/instance-2693856-1277895854.wbo
1236.92/1236.90 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1236.92/1236.90 c Constraints : 166 initial, 166 maximal
1236.92/1236.90 c Presolved Problem :
1236.92/1236.90 c Problem name : t_HOME/instance-2693856-1277895854.wbo
1236.92/1236.90 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1236.92/1236.90 c Constraints : 159 initial, 38658 maximal
1236.92/1236.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1236.92/1236.90 c trivial : 0.00 0 0 0 0 0 0 0 0
1236.92/1236.90 c dualfix : 0.00 2 0 0 0 0 0 0 0
1236.92/1236.90 c boundshift : 0.00 0 0 0 0 0 0 0 0
1236.92/1236.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1236.92/1236.90 c implics : 0.00 0 0 0 0 0 0 0 0
1236.92/1236.90 c probing : 0.01 0 0 0 0 0 0 0 0
1236.92/1236.90 c indicator : 0.00 0 0 0 0 0 1 0 0
1236.92/1236.90 c knapsack : 0.00 0 0 0 0 0 0 0 0
1236.92/1236.90 c setppc : 0.00 0 0 0 0 0 0 0 0
1236.92/1236.90 c linear : 0.00 0 0 0 63 0 6 1 0
1236.92/1236.90 c logicor : 0.00 0 0 0 0 0 0 0 0
1236.92/1236.90 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1236.92/1236.90 c root node : - 22 - - 44 - - - -
1236.92/1236.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1236.92/1236.90 c integral : 0 0 0 0 0 0 0 0 0 0
1236.92/1236.90 c indicator : 63 0 4306263 0 1104022 4132 1335772 0 0 0
1236.92/1236.90 c knapsack : 1 0 4909451 0 1219107 100354 17397407 0 0 0
1236.92/1236.90 c setppc : 23 0 4808516 0 1219036 195763 2767626 0 0 0
1236.92/1236.90 c linear : 63 0 4613322 0 1219101 228635 4784808 0 0 0
1236.92/1236.90 c logicor : 9+ 0 2192135 0 1219024 96859 1043319 0 0 0
1236.92/1236.90 c bounddisjunction : 0+ 0 191037 0 0 0 11320 0 0 0
1236.92/1236.90 c countsols : 0 0 0 0 1219123 0 0 0 0 0
1236.92/1236.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1236.92/1236.90 c integral : 0.00 0.00 0.00 0.00 0.00
1236.92/1236.90 c indicator : 3.45 0.00 1.68 0.00 1.77
1236.92/1236.90 c knapsack : 142.77 0.00 140.06 0.00 2.71
1236.92/1236.90 c setppc : 13.71 0.00 10.63 0.00 3.08
1236.92/1236.90 c linear : 46.53 0.00 46.22 0.00 0.31
1236.92/1236.90 c logicor : 467.44 0.00 466.48 0.00 0.96
1236.92/1236.90 c bounddisjunction : 0.48 0.00 0.48 0.00 0.00
1236.92/1236.90 c countsols : 0.09 0.00 0.00 0.00 0.09
1236.92/1236.90 c Propagators : Time Calls Cutoffs DomReds
1236.92/1236.90 c vbounds : 0.28 2 0 0
1236.92/1236.90 c rootredcost : 0.19 0 0 0
1236.92/1236.90 c pseudoobj : 9.57 4916567 3105 1192716
1236.92/1236.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1236.92/1236.90 c propagation : 19.81 624710 624642 3029316 22.3 142068 13.7 -
1236.92/1236.90 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1236.92/1236.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1236.92/1236.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1236.92/1236.90 c pseudo solution : 0.00 221 221 1057 23.4 47 13.8 -
1236.92/1236.90 c applied globally : - - - 1575040 16.5 - - -
1236.92/1236.90 c applied locally : - - - 35466 38.0 - - -
1236.92/1236.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1236.92/1236.90 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1236.92/1236.90 c redcost : 0.00 0 0 0 0 0
1236.92/1236.90 c impliedbounds : 0.00 0 0 0 0 0
1236.92/1236.90 c intobj : 0.00 0 0 0 0 0
1236.92/1236.90 c cgmip : 0.00 0 0 0 0 0
1236.92/1236.90 c gomory : 0.00 0 0 0 0 0
1236.92/1236.90 c strongcg : 0.00 0 0 0 0 0
1236.92/1236.90 c cmir : 0.00 0 0 0 0 0
1236.92/1236.90 c flowcover : 0.00 0 0 0 0 0
1236.92/1236.90 c clique : 0.00 0 0 0 0 0
1236.92/1236.90 c zerohalf : 0.00 0 0 0 0 0
1236.92/1236.90 c mcf : 0.00 0 0 0 0 0
1236.92/1236.90 c rapidlearning : 0.00 0 0 0 0 0
1236.92/1236.90 c Pricers : Time Calls Vars
1236.92/1236.90 c problem variables: 0.00 0 0
1236.92/1236.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1236.92/1236.90 c relpscost : 0.00 0 0 0 0 0 0
1236.92/1236.90 c pscost : 0.00 0 0 0 0 0 0
1236.92/1236.90 c inference : 10.47 1219101 0 0 0 0 2438202
1236.92/1236.90 c mostinf : 0.00 0 0 0 0 0 0
1236.92/1236.90 c leastinf : 0.00 0 0 0 0 0 0
1236.92/1236.90 c fullstrong : 0.00 0 0 0 0 0 0
1236.92/1236.90 c allfullstrong : 0.00 0 0 0 0 0 0
1236.92/1236.90 c random : 0.00 0 0 0 0 0 0
1236.92/1236.90 c Primal Heuristics : Time Calls Found
1236.92/1236.90 c LP solutions : 0.00 - 0
1236.92/1236.90 c pseudo solutions : 0.77 - 22
1236.92/1236.90 c oneopt : 0.25 0 0
1236.92/1236.90 c trivial : 0.00 2 0
1236.92/1236.90 c simplerounding : 0.00 0 0
1236.92/1236.90 c zirounding : 0.00 0 0
1236.92/1236.90 c rounding : 0.00 0 0
1236.92/1236.90 c shifting : 0.00 0 0
1236.92/1236.90 c intshifting : 0.00 0 0
1236.92/1236.90 c twoopt : 0.00 0 0
1236.92/1236.90 c fixandinfer : 0.00 0 0
1236.92/1236.90 c feaspump : 0.00 0 0
1236.92/1236.90 c coefdiving : 0.00 0 0
1236.92/1236.90 c pscostdiving : 0.00 0 0
1236.92/1236.90 c fracdiving : 0.00 0 0
1236.92/1236.90 c veclendiving : 0.00 0 0
1236.92/1236.90 c intdiving : 0.00 0 0
1236.92/1236.90 c actconsdiving : 0.00 0 0
1236.92/1236.90 c objpscostdiving : 0.00 0 0
1236.92/1236.90 c rootsoldiving : 0.00 0 0
1236.92/1236.90 c linesearchdiving : 0.00 0 0
1236.92/1236.90 c guideddiving : 0.00 0 0
1236.92/1236.90 c octane : 0.00 0 0
1236.92/1236.90 c rens : 0.00 0 0
1236.92/1236.90 c rins : 0.00 0 0
1236.92/1236.90 c localbranching : 0.00 0 0
1236.92/1236.90 c mutation : 0.00 0 0
1236.92/1236.90 c crossover : 0.00 0 0
1236.92/1236.90 c dins : 0.00 0 0
1236.92/1236.90 c undercover : 0.00 0 0
1236.92/1236.90 c nlp : 0.18 0 0
1236.92/1236.90 c trysol : 0.13 1 0
1236.92/1236.90 c LP : Time Calls Iterations Iter/call Iter/sec
1236.92/1236.90 c primal LP : 0.00 0 0 0.00 -
1236.92/1236.90 c dual LP : 0.00 0 0 0.00 -
1236.92/1236.90 c lex dual LP : 0.00 0 0 0.00 -
1236.92/1236.90 c barrier LP : 0.00 0 0 0.00 -
1236.92/1236.90 c diving/probing LP: 0.00 0 0 0.00 -
1236.92/1236.90 c strong branching : 0.00 0 0 0.00 -
1236.92/1236.90 c (at root node) : - 0 0 0.00 -
1236.92/1236.90 c conflict analysis: 0.00 0 0 0.00 -
1236.92/1236.90 c B&B Tree :
1236.92/1236.90 c number of runs : 1
1236.92/1236.90 c nodes : 1629766
1236.92/1236.90 c nodes (total) : 1629766
1236.92/1236.90 c nodes left : 0
1236.92/1236.90 c max depth : 183
1236.92/1236.90 c max depth (total): 183
1236.92/1236.90 c backtracks : 533239 (32.7%)
1236.92/1236.90 c delayed cutoffs : 494414
1236.92/1236.90 c repropagations : 1900898 (8720401 domain reductions, 218426 cutoffs)
1236.92/1236.90 c avg switch length: 28.86
1236.92/1236.90 c switching time : 374.32
1236.92/1236.90 c Solution :
1236.92/1236.90 c Solutions found : 22 (22 improvements)
1236.92/1236.90 c First Solution : +7.15000000000000e+02 (in run 1, after 17800 nodes, 2.77 seconds, depth 108, found by <relaxation>)
1236.92/1236.90 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1613783 nodes, 1103.46 seconds, depth 47, found by <relaxation>)
1236.92/1236.90 c Dual Bound : +2.00000000000000e+00
1236.92/1236.90 c Gap : 0.00 %
1236.92/1236.90 c Root Dual Bound : +0.00000000000000e+00
1236.92/1236.90 c Root Iterations : 0
1236.92/1236.97 c Time complete: 1237.