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-2693909-1277896961.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.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.31 c 1.2s| 10000 | 7388 | 0 | 0.0 |6464k| 183 | - | 295 |3490 | 0 | 0 | 0 |6543 | 0 | 0.000000e+00 | -- | Inf
3.09/3.13 o 335
3.09/3.13 c * 3.0s| 16908 | 10462 | 0 | 0.0 | 10M| 183 | - | 295 |6714 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.350000e+02 | Inf
3.39/3.43 c 3.3s| 20000 | 13319 | 0 | 0.0 | 10M| 183 | - | 295 |3446 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.350000e+02 | Inf
5.19/5.29 c 5.1s| 30000 | 19703 | 0 | 0.0 | 15M| 183 | - | 295 |6400 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.350000e+02 | Inf
8.49/8.59 c 8.2s| 40000 | 24170 | 0 | 0.0 | 21M| 183 | - | 295 |9908 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 3.350000e+02 | Inf
12.99/13.09 c 12.7s| 50000 | 26898 | 0 | 0.0 | 25M| 183 | - | 295 | 10k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 3.350000e+02 | Inf
17.99/18.03 c 17.5s| 60000 | 28663 | 0 | 0.0 | 30M| 183 | - | 295 | 14k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.350000e+02 | Inf
20.59/20.62 c 20.0s| 70000 | 35162 | 0 | 0.0 | 29M| 183 | - | 295 |1862 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 3.350000e+02 | Inf
20.99/21.03 o 332
20.99/21.03 c *20.4s| 73981 | 38580 | 0 | 0.0 | 31M| 183 | - | 295 |1982 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
21.69/21.70 c 21.0s| 80000 | 43647 | 0 | 0.0 | 33M| 183 | - | 295 |2143 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
21.79/21.80 o 307
21.79/21.80 c *21.1s| 80884 | 44393 | 0 | 0.0 | 33M| 183 | - | 295 |2081 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 3.070000e+02 | Inf
22.79/22.86 c 22.1s| 90000 | 51922 | 0 | 0.0 | 36M| 183 | - | 295 |1661 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 3.070000e+02 | Inf
23.99/24.01 c 23.1s|100000 | 60097 | 0 | 0.0 | 40M| 183 | - | 295 |1538 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 3.070000e+02 | Inf
24.39/24.49 o 301
24.39/24.49 c *23.6s|104114 | 63410 | 0 | 0.0 | 42M| 183 | - | 295 |1679 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 3.010000e+02 | Inf
24.79/24.85 o 263
24.79/24.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.79/24.85 c *23.9s|107036 | 65755 | 0 | 0.0 | 43M| 183 | - | 295 |1767 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.630000e+02 | Inf
24.79/24.85 o 246
24.79/24.85 c *23.9s|107037 | 65750 | 0 | 0.0 | 43M| 183 | - | 295 |1767 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.460000e+02 | Inf
25.19/25.23 c 24.3s|110000 | 68045 | 0 | 0.0 | 44M| 183 | - | 295 |1868 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.460000e+02 | Inf
25.79/25.83 o 168
25.79/25.83 c *24.8s|114554 | 71392 | 0 | 0.0 | 46M| 183 | - | 295 |2169 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
26.50/26.57 c 25.5s|120000 | 75562 | 0 | 0.0 | 48M| 183 | - | 295 |2554 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
28.09/28.11 c 27.0s|130000 | 82890 | 0 | 0.0 | 52M| 183 | - | 295 |3454 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
30.09/30.11 c 28.9s|140000 | 89401 | 0 | 0.0 | 57M| 183 | - | 295 |4862 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
33.79/33.82 c 32.5s|150000 | 92726 | 0 | 0.0 | 62M| 183 | - | 295 | 10k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
39.99/40.03 c 38.6s|160000 | 94195 | 0 | 0.0 | 68M| 183 | - | 295 | 18k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
48.40/48.43 c 46.9s|170000 | 94792 | 0 | 0.0 | 72M| 183 | - | 295 | 21k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
58.69/58.79 c 57.1s|180000 | 93640 | 0 | 0.0 | 73M| 183 | - | 295 | 20k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
69.79/69.84 c 68.0s|190000 | 91396 | 0 | 0.0 | 75M| 183 | - | 295 | 24k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
74.70/74.80 c 72.9s|200000 | 96623 | 0 | 0.0 | 70M| 183 | - | 295 |2090 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
76.20/76.29 c 74.3s|210000 |104154 | 0 | 0.0 | 74M| 183 | - | 295 |2417 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
77.80/77.81 c 75.7s|220000 |111672 | 0 | 0.0 | 79M| 183 | - | 295 |2780 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
79.40/79.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.40/79.41 c 77.2s|230000 |119027 | 0 | 0.0 | 83M| 183 | - | 295 |3227 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
80.89/80.97 c 78.7s|240000 |126562 | 0 | 0.0 | 87M| 183 | - | 295 |3596 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
82.50/82.56 c 80.2s|250000 |134046 | 0 | 0.0 | 92M| 183 | - | 295 |3930 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
84.09/84.16 c 81.7s|260000 |141588 | 0 | 0.0 | 96M| 183 | - | 295 |4337 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
85.80/85.82 c 83.3s|270000 |149037 | 0 | 0.0 | 100M| 183 | - | 295 |4625 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
87.39/87.44 c 84.8s|280000 |156611 | 0 | 0.0 | 104M| 183 | - | 295 |4764 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
89.10/89.17 c 86.5s|290000 |163963 | 0 | 0.0 | 109M| 183 | - | 295 |4730 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
90.80/90.83 c 88.0s|300000 |171442 | 0 | 0.0 | 113M| 183 | - | 295 |4519 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
92.50/92.54 c 89.6s|310000 |178725 | 0 | 0.0 | 117M| 183 | - | 295 |4196 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
94.19/94.21 c 91.2s|320000 |186076 | 0 | 0.0 | 121M| 183 | - | 295 |3918 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
95.59/95.62 o 160
95.59/95.62 c *92.6s|328623 |192244 | 0 | 0.0 | 124M| 183 | - | 295 |3479 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
95.80/95.84 c 92.8s|330000 |193266 | 0 | 0.0 | 125M| 183 | - | 295 |3413 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
97.40/97.48 c 94.3s|340000 |200570 | 0 | 0.0 | 129M| 183 | - | 295 |3322 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
99.09/99.15 c 95.9s|350000 |207824 | 0 | 0.0 | 133M| 183 | - | 295 |3450 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
100.80/100.86 c 97.5s|360000 |214954 | 0 | 0.0 | 137M| 183 | - | 295 |3197 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
102.49/102.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.49/102.57 c 99.1s|370000 |222086 | 0 | 0.0 | 141M| 183 | - | 295 |2874 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
104.19/104.22 c 101s|380000 |229275 | 0 | 0.0 | 145M| 183 | - | 295 |3083 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
105.90/105.90 c 102s|390000 |236350 | 0 | 0.0 | 149M| 183 | - | 295 |3339 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
107.59/107.64 c 104s|400000 |243366 | 0 | 0.0 | 154M| 183 | - | 295 |3329 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
109.40/109.41 c 106s|410000 |250318 | 0 | 0.0 | 158M| 183 | - | 295 |3297 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
111.10/111.14 c 107s|420000 |257368 | 0 | 0.0 | 162M| 183 | - | 295 |3506 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
112.79/112.88 c 109s|430000 |264421 | 0 | 0.0 | 166M| 183 | - | 295 |3390 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
114.59/114.67 c 111s|440000 |271350 | 0 | 0.0 | 170M| 183 | - | 295 |3396 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
116.09/116.11 o 127
116.09/116.11 c * 112s|448100 |275408 | 0 | 0.0 | 172M| 183 | - | 295 |3757 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
116.39/116.46 c 112s|450000 |276721 | 0 | 0.0 | 173M| 183 | - | 295 |3586 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
118.29/118.36 c 114s|460000 |283465 | 0 | 0.0 | 177M| 183 | - | 295 |3832 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
120.20/120.29 c 116s|470000 |290165 | 0 | 0.0 | 182M| 183 | - | 295 |3927 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
122.20/122.27 c 118s|480000 |296796 | 0 | 0.0 | 186M| 183 | - | 295 |4140 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
124.31/124.34 c 120s|490000 |303223 | 0 | 0.0 | 190M| 183 | - | 295 |4216 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
126.40/126.49 c 122s|500000 |309508 | 0 | 0.0 | 195M| 183 | - | 295 |4407 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
128.70/128.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.70/128.73 c 124s|510000 |315641 | 0 | 0.0 | 199M| 183 | - | 295 |4634 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
130.80/130.90 c 126s|520000 |321945 | 0 | 0.0 | 204M| 183 | - | 295 |4980 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
133.10/133.14 c 128s|530000 |328157 | 0 | 0.0 | 208M| 183 | - | 295 |5357 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
135.40/135.48 c 131s|540000 |334158 | 0 | 0.0 | 213M| 183 | - | 295 |5491 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
137.80/137.81 c 133s|550000 |340265 | 0 | 0.0 | 217M| 183 | - | 295 |5849 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
140.20/140.24 c 135s|560000 |346222 | 0 | 0.0 | 221M| 183 | - | 295 |5953 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
142.70/142.76 c 138s|570000 |352059 | 0 | 0.0 | 226M| 183 | - | 295 |6492 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
145.40/145.49 c 140s|580000 |357547 | 0 | 0.0 | 230M| 183 | - | 295 |6810 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
148.29/148.34 c 143s|590000 |362947 | 0 | 0.0 | 235M| 183 | - | 295 |7675 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
150.30/150.38 o 96
150.30/150.38 c * 145s|596437 |355824 | 0 | 0.0 | 229M| 183 | - | 295 |7840 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
151.59/151.62 c 146s|600000 |357328 | 0 | 0.0 | 230M| 183 | - | 295 |6858 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
155.00/155.06 c 149s|610000 |361712 | 0 | 0.0 | 235M| 183 | - | 295 |7414 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
158.80/158.82 c 153s|620000 |365606 | 0 | 0.0 | 239M| 183 | - | 295 |7907 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
163.00/163.07 c 157s|630000 |368803 | 0 | 0.0 | 244M| 183 | - | 295 |9615 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
168.09/168.10 c 162s|640000 |371230 | 0 | 0.0 | 248M| 183 | - | 295 | 12k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
173.60/173.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.60/173.61 c 167s|650000 |372889 | 0 | 0.0 | 250M| 183 | - | 295 | 10k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
183.80/183.88 c 178s|660000 |370234 | 0 | 0.0 | 252M| 183 | - | 295 | 24k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
201.00/201.01 c 195s|670000 |365662 | 0 | 0.0 | 241M| 183 | - | 295 | 12k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
203.80/203.83 c 197s|680000 |371337 | 0 | 0.0 | 244M| 183 | - | 295 |3080 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
206.29/206.31 c 200s|690000 |377065 | 0 | 0.0 | 249M| 183 | - | 295 |3516 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
208.69/208.72 c 202s|700000 |383015 | 0 | 0.0 | 254M| 183 | - | 295 |3977 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
211.10/211.14 c 204s|710000 |388994 | 0 | 0.0 | 259M| 183 | - | 295 |4251 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
213.50/213.56 c 207s|720000 |394947 | 0 | 0.0 | 264M| 183 | - | 295 |4586 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
216.00/216.08 c 209s|730000 |400811 | 0 | 0.0 | 269M| 183 | - | 295 |4944 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
218.50/218.54 c 211s|740000 |406890 | 0 | 0.0 | 274M| 183 | - | 295 |4791 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
220.90/220.93 c 214s|750000 |413043 | 0 | 0.0 | 279M| 183 | - | 295 |5116 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
223.40/223.41 c 216s|760000 |419029 | 0 | 0.0 | 283M| 183 | - | 295 |5608 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
225.80/225.89 c 218s|770000 |425161 | 0 | 0.0 | 287M| 183 | - | 295 |2215 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
228.10/228.12 c 221s|780000 |431007 | 0 | 0.0 | 292M| 183 | - | 295 |2534 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
230.30/230.36 c 223s|790000 |436847 | 0 | 0.0 | 297M| 183 | - | 295 |3006 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
232.50/232.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.50/232.56 c 225s|800000 |442855 | 0 | 0.0 | 301M| 183 | - | 295 |3219 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
234.70/234.75 c 227s|810000 |448891 | 0 | 0.0 | 306M| 183 | - | 295 |3722 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
237.00/237.01 c 229s|820000 |454950 | 0 | 0.0 | 311M| 183 | - | 295 |3655 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
239.29/239.35 c 231s|830000 |460821 | 0 | 0.0 | 315M| 183 | - | 295 |3762 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
241.59/241.64 c 233s|840000 |466766 | 0 | 0.0 | 320M| 183 | - | 295 |4203 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
243.90/243.99 c 236s|850000 |472708 | 0 | 0.0 | 325M| 183 | - | 295 |4292 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
246.31/246.32 c 238s|860000 |478675 | 0 | 0.0 | 329M| 183 | - | 295 |4009 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
248.70/248.75 c 240s|870000 |484351 | 0 | 0.0 | 334M| 183 | - | 295 |4253 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
251.00/251.09 c 243s|880000 |490278 | 0 | 0.0 | 338M| 183 | - | 295 |3716 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
253.40/253.47 c 245s|890000 |495988 | 0 | 0.0 | 343M| 183 | - | 295 |4338 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
255.89/255.92 c 247s|900000 |501689 | 0 | 0.0 | 348M| 183 | - | 295 |4055 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
258.30/258.33 c 249s|910000 |507374 | 0 | 0.0 | 352M| 183 | - | 295 |4369 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
260.90/260.92 c 252s|920000 |512764 | 0 | 0.0 | 356M| 183 | - | 295 |4045 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
263.40/263.43 c 254s|930000 |518282 | 0 | 0.0 | 361M| 183 | - | 295 |4387 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
265.90/265.98 c 257s|940000 |523623 | 0 | 0.0 | 365M| 183 | - | 295 |4195 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
268.30/268.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.30/268.36 c 259s|950000 |529422 | 0 | 0.0 | 370M| 183 | - | 295 |4238 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
270.90/270.97 c 262s|960000 |534637 | 0 | 0.0 | 374M| 183 | - | 295 |4041 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
273.40/273.44 c 264s|970000 |540184 | 0 | 0.0 | 378M| 183 | - | 295 |4134 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
276.00/276.05 c 266s|980000 |545333 | 0 | 0.0 | 382M| 183 | - | 295 |4022 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
278.70/278.70 c 269s|990000 |550483 | 0 | 0.0 | 387M| 183 | - | 295 |3808 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
281.19/281.26 c 272s| 1000k|555614 | 0 | 0.0 | 391M| 183 | - | 295 |3826 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
283.80/283.80 c 274s| 1010k|561008 | 0 | 0.0 | 395M| 183 | - | 295 |3504 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
286.30/286.36 c 276s| 1020k|566092 | 0 | 0.0 | 399M| 183 | - | 295 |4114 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
288.90/288.96 c 279s| 1030k|571402 | 0 | 0.0 | 403M| 183 | - | 295 |3552 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
291.70/291.74 c 282s| 1040k|575987 | 0 | 0.0 | 407M| 183 | - | 295 |4003 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
294.40/294.43 c 284s| 1050k|581082 | 0 | 0.0 | 411M| 183 | - | 295 |3271 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
297.10/297.19 c 287s| 1060k|585804 | 0 | 0.0 | 416M| 183 | - | 295 |3988 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
299.90/299.97 c 289s| 1070k|590556 | 0 | 0.0 | 419M| 183 | - | 295 |3616 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
302.80/302.87 c 292s| 1080k|595072 | 0 | 0.0 | 423M| 183 | - | 295 |3891 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
305.50/305.59 c 295s| 1090k|599981 | 0 | 0.0 | 427M| 183 | - | 295 |3941 | 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
308.30/308.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.30/308.31 c 297s| 1100k|604855 | 0 | 0.0 | 432M| 183 | - | 295 |3740 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
310.90/310.95 c 300s| 1110k|609699 | 0 | 0.0 | 437M| 183 | - | 295 |3818 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
313.51/313.57 c 303s| 1120k|614695 | 0 | 0.0 | 441M| 183 | - | 295 |3791 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
316.20/316.28 c 305s| 1130k|619379 | 0 | 0.0 | 446M| 183 | - | 295 |4123 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
318.40/318.47 o 95
318.40/318.47 c * 307s| 1137k|622513 | 0 | 0.0 | 450M| 183 | - | 295 |3864 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 9.500000e+01 |9400.00%
319.01/319.04 c 308s| 1140k|623721 | 0 | 0.0 | 451M| 183 | - | 295 |3939 | 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 9.500000e+01 |9400.00%
321.70/321.79 c 310s| 1150k|628460 | 0 | 0.0 | 455M| 183 | - | 295 |4286 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 9.500000e+01 |9400.00%
324.40/324.44 c 313s| 1160k|633468 | 0 | 0.0 | 460M| 183 | - | 295 |4093 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | 9.500000e+01 |9400.00%
324.60/324.70 o 91
324.60/324.70 c * 313s| 1161k|626392 | 0 | 0.0 | 451M| 183 | - | 295 |4155 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
327.40/327.42 c 316s| 1170k|630376 | 0 | 0.0 | 455M| 183 | - | 295 |1142 | 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 9.100000e+01 |9000.00%
328.51/328.59 o 71
328.51/328.59 c * 317s| 1174k|612473 | 0 | 0.0 | 436M| 183 | - | 295 |1259 | 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
330.30/330.32 c 319s| 1180k|614973 | 0 | 0.0 | 440M| 183 | - | 295 |1905 | 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
333.60/333.61 c 322s| 1190k|618672 | 0 | 0.0 | 446M| 183 | - | 295 |3298 | 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
336.80/336.88 c 325s| 1200k|622731 | 0 | 0.0 | 451M| 183 | - | 295 |4173 | 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
340.40/340.48 c 328s| 1210k|626089 | 0 | 0.0 | 456M| 183 | - | 295 |4148 | 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
343.61/343.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.61/343.65 c 331s| 1220k|630348 | 0 | 0.0 | 460M| 183 | - | 295 |4682 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
347.20/347.20 c 335s| 1230k|633788 | 0 | 0.0 | 464M| 183 | - | 295 |4654 | 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
350.40/350.40 c 338s| 1240k|637997 | 0 | 0.0 | 469M| 183 | - | 295 |4684 | 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
353.91/353.92 c 341s| 1250k|641465 | 0 | 0.0 | 473M| 183 | - | 295 |4918 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
357.20/357.29 c 345s| 1260k|645536 | 0 | 0.0 | 477M| 183 | - | 295 |4446 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
360.90/360.97 c 348s| 1270k|648679 | 0 | 0.0 | 482M| 183 | - | 295 |5263 | 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
364.40/364.45 c 352s| 1280k|652452 | 0 | 0.0 | 486M| 183 | - | 295 |5042 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
368.00/368.00 c 355s| 1290k|656148 | 0 | 0.0 | 490M| 183 | - | 295 |5738 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
371.60/371.66 c 359s| 1300k|659756 | 0 | 0.0 | 494M| 183 | - | 295 |5483 | 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
375.40/375.44 c 362s| 1310k|663107 | 0 | 0.0 | 499M| 183 | - | 295 |5959 | 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
379.20/379.21 c 366s| 1320k|666568 | 0 | 0.0 | 503M| 183 | - | 295 |5780 | 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
382.81/382.86 c 369s| 1330k|670251 | 0 | 0.0 | 507M| 183 | - | 295 |6221 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
386.80/386.85 c 373s| 1340k|673367 | 0 | 0.0 | 511M| 183 | - | 295 |6203 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
388.80/388.89 o 62
388.80/388.89 c * 375s| 1345k|655658 | 0 | 0.0 | 493M| 183 | - | 295 |6523 | 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
390.80/390.85 c 377s| 1350k|657176 | 0 | 0.0 | 494M| 183 | - | 295 |3733 | 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
394.70/394.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.70/394.73 c 381s| 1360k|659708 | 0 | 0.0 | 498M| 183 | - | 295 |2345 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
398.30/398.37 c 384s| 1370k|662164 | 0 | 0.0 | 502M| 183 | - | 295 |3832 | 0 | 0 | 0 | 856k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
402.20/402.22 c 388s| 1380k|664962 | 0 | 0.0 | 506M| 183 | - | 295 |4565 | 0 | 0 | 0 | 864k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
406.20/406.27 c 392s| 1390k|667200 | 0 | 0.0 | 510M| 183 | - | 295 |5055 | 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
410.40/410.47 c 396s| 1400k|669429 | 0 | 0.0 | 514M| 183 | - | 295 |5225 | 0 | 0 | 0 | 881k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
414.40/414.47 c 400s| 1410k|672351 | 0 | 0.0 | 518M| 183 | - | 295 |4730 | 0 | 0 | 0 | 889k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
418.80/418.85 c 404s| 1420k|673910 | 0 | 0.0 | 521M| 183 | - | 295 |5955 | 0 | 0 | 0 | 898k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
423.10/423.14 c 408s| 1430k|675907 | 0 | 0.0 | 525M| 183 | - | 295 |5816 | 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
427.40/427.40 c 412s| 1440k|677820 | 0 | 0.0 | 528M| 183 | - | 295 |5743 | 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
428.60/428.68 o 58
428.60/428.68 c * 414s| 1442k|646836 | 0 | 0.0 | 499M| 183 | - | 295 |6119 | 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
432.21/432.24 c 417s| 1450k|647664 | 0 | 0.0 | 502M| 183 | - | 295 |5991 | 0 | 0 | 0 | 926k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
437.60/437.69 c 423s| 1460k|648574 | 0 | 0.0 | 505M| 183 | - | 295 |7080 | 0 | 0 | 0 | 937k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
443.50/443.54 c 428s| 1470k|649303 | 0 | 0.0 | 508M| 183 | - | 295 |7772 | 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
449.60/449.62 c 434s| 1480k|649923 | 0 | 0.0 | 512M| 183 | - | 295 |9336 | 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
455.90/455.97 c 440s| 1490k|650349 | 0 | 0.0 | 515M| 183 | - | 295 |9763 | 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
462.51/462.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.51/462.51 c 447s| 1500k|650511 | 0 | 0.0 | 518M| 183 | - | 295 | 11k| 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
469.61/469.60 c 454s| 1510k|650595 | 0 | 0.0 | 520M| 183 | - | 295 | 11k| 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
477.41/477.47 c 461s| 1520k|649782 | 0 | 0.0 | 523M| 183 | - | 295 | 13k| 0 | 0 | 0 |1012k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
485.80/485.87 c 470s| 1530k|648852 | 0 | 0.0 | 525M| 183 | - | 295 | 14k| 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
494.50/494.57 c 478s| 1540k|648182 | 0 | 0.0 | 527M| 183 | - | 295 | 15k| 0 | 0 | 0 |1041k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
504.00/504.02 c 488s| 1550k|647158 | 0 | 0.0 | 529M| 183 | - | 295 | 17k| 0 | 0 | 0 |1056k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
514.51/514.55 c 498s| 1560k|645637 | 0 | 0.0 | 530M| 183 | - | 295 | 20k| 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
518.41/518.46 o 23
518.41/518.46 c * 502s| 1563k|548367 | 0 | 0.0 | 441M| 183 | - | 295 | 21k| 0 | 0 | 0 |1078k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
522.81/522.88 c 506s| 1570k|550334 | 0 | 0.0 | 438M| 183 | - | 295 |1385 | 0 | 0 | 0 |1083k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
526.21/526.21 c 509s| 1580k|552886 | 0 | 0.0 | 441M| 183 | - | 295 |2275 | 0 | 0 | 0 |1090k| 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
532.20/532.29 o 16
532.20/532.29 c * 515s| 1589k|506009 | 0 | 0.0 | 412M| 183 | - | 295 |4560 | 0 | 0 | 0 |1100k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
532.50/532.59 c 516s| 1590k|505786 | 0 | 0.0 | 413M| 183 | - | 295 |4608 | 0 | 0 | 0 |1100k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
539.71/539.70 o 9
539.71/539.70 c * 522s| 1597k|463014 | 0 | 0.0 | 386M| 183 | - | 295 |6152 | 0 | 0 | 0 |1111k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
542.31/542.39 c 525s| 1600k|460846 | 0 | 0.0 | 387M| 183 | - | 295 |4475 | 0 | 0 | 0 |1115k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
555.42/555.47 c 538s| 1610k|449217 | 0 | 0.0 | 387M| 183 | - | 295 |9304 | 0 | 0 | 0 |1137k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
566.70/566.72 o 2
566.70/566.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.70/566.72 c * 549s| 1617k|332557 | 0 | 0.0 | 315M| 183 | - | 295 | 11k| 0 | 0 | 0 |1152k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
573.50/573.57 c 556s| 1620k|324297 | 0 | 0.0 | 314M| 183 | - | 295 |8532 | 0 | 0 | 0 |1163k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
597.61/597.63 c 579s| 1630k|293689 | 0 | 0.0 | 307M| 183 | - | 295 | 11k| 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
624.82/624.89 c 606s| 1640k|258790 | 0 | 0.0 | 294M| 183 | - | 295 | 13k| 0 | 0 | 0 |1229k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
653.91/653.99 c 635s| 1650k|216164 | 0 | 0.0 | 271M| 183 | - | 295 | 11k| 0 | 0 | 0 |1263k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
682.02/682.03 c 663s| 1660k|176925 | 0 | 0.0 | 246M| 183 | - | 295 | 12k| 0 | 0 | 0 |1293k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
709.42/709.46 c 690s| 1670k|146919 | 0 | 0.0 | 225M| 183 | - | 295 | 16k| 0 | 0 | 0 |1320k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
737.61/737.65 c 718s| 1680k|123530 | 0 | 0.0 | 208M| 183 | - | 295 | 19k| 0 | 0 | 0 |1345k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
766.51/766.54 c 746s| 1690k|103640 | 0 | 0.0 | 192M| 183 | - | 295 | 22k| 0 | 0 | 0 |1370k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
794.22/794.22 c 774s| 1700k| 87504 | 0 | 0.0 | 177M| 183 | - | 295 | 23k| 0 | 0 | 0 |1395k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
822.01/822.06 c 801s| 1710k| 73229 | 0 | 0.0 | 162M| 183 | - | 295 | 27k| 0 | 0 | 0 |1419k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
850.11/850.20 c 829s| 1720k| 60343 | 0 | 0.0 | 146M| 183 | - | 295 | 29k| 0 | 0 | 0 |1444k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
889.92/889.91 c 869s| 1730k| 39153 | 0 | 0.0 | 115M| 183 | - | 295 | 35k| 0 | 0 | 0 |1473k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
938.42/938.42 c 917s| 1740k| 9551 | 0 | 0.0 | 53M| 183 | - | 295 | 39k| 0 | 0 | 0 |1503k| 0 | 1.000000e+00 | 2.000000e+00 | 100.00%
958.52/958.53 c
958.52/958.53 c SCIP Status : problem is solved [optimal solution found]
958.52/958.53 c Solving Time (sec) : 937.05
958.52/958.53 c Solving Nodes : 1743918
958.52/958.53 c Primal Bound : +2.00000000000000e+00 (19 solutions)
958.52/958.53 c Dual Bound : +2.00000000000000e+00
958.52/958.53 c Gap : 0.00 %
958.52/958.53 s OPTIMUM FOUND
958.52/958.53 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
958.52/958.53 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 x128 -x127
958.52/958.53 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106
958.52/958.53 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
958.52/958.53 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
958.52/958.53 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
958.52/958.53 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
958.52/958.53 v -x4 -x3 -x2 -x1
958.52/958.53 c SCIP Status : problem is solved [optimal solution found]
958.52/958.53 c Solving Time : 937.05
958.52/958.53 c Original Problem :
958.52/958.53 c Problem name : HOME/instance-2693909-1277896961.wbo
958.52/958.53 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
958.52/958.53 c Constraints : 166 initial, 166 maximal
958.52/958.53 c Presolved Problem :
958.52/958.53 c Problem name : t_HOME/instance-2693909-1277896961.wbo
958.52/958.53 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
958.52/958.53 c Constraints : 159 initial, 44728 maximal
958.52/958.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
958.52/958.53 c trivial : 0.00 0 0 0 0 0 0 0 0
958.52/958.53 c dualfix : 0.00 2 0 0 0 0 0 0 0
958.52/958.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
958.52/958.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
958.52/958.53 c implics : 0.00 0 0 0 0 0 0 0 0
958.52/958.53 c probing : 0.01 0 0 0 0 0 0 0 0
958.52/958.53 c indicator : 0.00 0 0 0 0 0 1 0 0
958.52/958.53 c knapsack : 0.00 0 0 0 0 0 0 0 0
958.52/958.53 c setppc : 0.00 0 0 0 0 0 0 0 0
958.52/958.53 c linear : 0.00 0 0 0 63 0 6 1 0
958.52/958.53 c logicor : 0.00 0 0 0 0 0 0 0 0
958.52/958.53 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
958.52/958.53 c root node : - 44 - - 88 - - - -
958.52/958.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
958.52/958.53 c integral : 0 0 0 0 0 0 0 0 0 0
958.52/958.53 c indicator : 63 0 4742637 0 1233439 10564 2497403 0 0 0
958.52/958.53 c knapsack : 1 0 5254455 0 1321277 98251 18439285 0 0 0
958.52/958.53 c setppc : 23 0 5155946 0 1321226 150473 3212425 0 0 0
958.52/958.53 c linear : 63 0 5005713 0 1321272 279233 5064672 0 0 0
958.52/958.53 c logicor : 9+ 0 2394802 0 1321220 92939 1138945 0 0 0
958.52/958.53 c bounddisjunction : 0+ 0 236525 0 0 2 18923 0 0 0
958.52/958.53 c countsols : 0 0 0 0 1321290 0 0 0 0 0
958.52/958.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
958.52/958.53 c integral : 0.00 0.00 0.00 0.00 0.00
958.52/958.53 c indicator : 6.01 0.00 3.57 0.00 2.44
958.52/958.53 c knapsack : 147.19 0.00 143.64 0.00 3.55
958.52/958.53 c setppc : 14.65 0.00 11.11 0.00 3.54
958.52/958.53 c linear : 52.54 0.00 51.96 0.00 0.58
958.52/958.53 c logicor : 298.75 0.00 297.28 0.00 1.47
958.52/958.53 c bounddisjunction : 0.63 0.00 0.63 0.00 0.00
958.52/958.53 c countsols : 0.22 0.00 0.00 0.00 0.22
958.52/958.53 c Propagators : Time Calls Cutoffs DomReds
958.52/958.53 c vbounds : 1.29 2 0 0
958.52/958.53 c rootredcost : 0.99 0 0 0
958.52/958.53 c pseudoobj : 13.66 5273637 8771 2399623
958.52/958.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
958.52/958.53 c propagation : 18.94 629669 629637 2994118 21.5 130082 13.3 -
958.52/958.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
958.52/958.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
958.52/958.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
958.52/958.53 c pseudo solution : 0.00 211 211 778 17.6 32 14.9 -
958.52/958.53 c applied globally : - - - 1487622 16.4 - - -
958.52/958.53 c applied locally : - - - 27385 36.4 - - -
958.52/958.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
958.52/958.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
958.52/958.53 c redcost : 0.00 0 0 0 0 0
958.52/958.53 c impliedbounds : 0.00 0 0 0 0 0
958.52/958.53 c intobj : 0.00 0 0 0 0 0
958.52/958.53 c cgmip : 0.00 0 0 0 0 0
958.52/958.53 c gomory : 0.00 0 0 0 0 0
958.52/958.53 c strongcg : 0.00 0 0 0 0 0
958.52/958.53 c cmir : 0.00 0 0 0 0 0
958.52/958.53 c flowcover : 0.00 0 0 0 0 0
958.52/958.53 c clique : 0.00 0 0 0 0 0
958.52/958.53 c zerohalf : 0.00 0 0 0 0 0
958.52/958.53 c mcf : 0.00 0 0 0 0 0
958.52/958.53 c rapidlearning : 0.00 0 0 0 0 0
958.52/958.53 c Pricers : Time Calls Vars
958.52/958.53 c problem variables: 0.00 0 0
958.52/958.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
958.52/958.53 c relpscost : 0.00 0 0 0 0 0 0
958.52/958.53 c pscost : 0.00 0 0 0 0 0 0
958.52/958.53 c inference : 12.61 1321271 0 0 0 0 2642542
958.52/958.53 c mostinf : 0.00 0 0 0 0 0 0
958.52/958.53 c leastinf : 0.00 0 0 0 0 0 0
958.52/958.53 c fullstrong : 0.00 0 0 0 0 0 0
958.52/958.53 c allfullstrong : 0.00 0 0 0 0 0 0
958.52/958.53 c random : 0.00 0 0 0 0 0 0
958.52/958.53 c Primal Heuristics : Time Calls Found
958.52/958.53 c LP solutions : 0.00 - 0
958.52/958.53 c pseudo solutions : 0.73 - 19
958.52/958.53 c oneopt : 0.64 0 0
958.52/958.53 c trivial : 0.00 2 0
958.52/958.53 c simplerounding : 0.00 0 0
958.52/958.53 c zirounding : 0.00 0 0
958.52/958.53 c rounding : 0.00 0 0
958.52/958.53 c shifting : 0.00 0 0
958.52/958.53 c intshifting : 0.00 0 0
958.52/958.53 c twoopt : 0.00 0 0
958.52/958.53 c fixandinfer : 0.00 0 0
958.52/958.53 c feaspump : 0.00 0 0
958.52/958.53 c coefdiving : 0.00 0 0
958.52/958.53 c pscostdiving : 0.00 0 0
958.52/958.53 c fracdiving : 0.00 0 0
958.52/958.53 c veclendiving : 0.00 0 0
958.52/958.53 c intdiving : 0.00 0 0
958.52/958.53 c actconsdiving : 0.00 0 0
958.52/958.53 c objpscostdiving : 0.00 0 0
958.52/958.53 c rootsoldiving : 0.00 0 0
958.52/958.53 c linesearchdiving : 0.00 0 0
958.52/958.53 c guideddiving : 0.00 0 0
958.52/958.53 c octane : 0.00 0 0
958.52/958.53 c rens : 0.00 0 0
958.52/958.53 c rins : 0.00 0 0
958.52/958.53 c localbranching : 0.00 0 0
958.52/958.53 c mutation : 0.00 0 0
958.52/958.53 c crossover : 0.00 0 0
958.52/958.53 c dins : 0.00 0 0
958.52/958.53 c undercover : 0.00 0 0
958.52/958.53 c nlp : 0.46 0 0
958.52/958.53 c trysol : 0.22 1 0
958.52/958.53 c LP : Time Calls Iterations Iter/call Iter/sec
958.52/958.53 c primal LP : 0.00 0 0 0.00 -
958.52/958.53 c dual LP : 0.00 0 0 0.00 -
958.52/958.53 c lex dual LP : 0.00 0 0 0.00 -
958.52/958.53 c barrier LP : 0.00 0 0 0.00 -
958.52/958.53 c diving/probing LP: 0.00 0 0 0.00 -
958.52/958.53 c strong branching : 0.00 0 0 0.00 -
958.52/958.53 c (at root node) : - 0 0 0.00 -
958.52/958.53 c conflict analysis: 0.00 0 0 0.00 -
958.52/958.53 c B&B Tree :
958.52/958.53 c number of runs : 1
958.52/958.53 c nodes : 1743918
958.52/958.53 c nodes (total) : 1743918
958.52/958.53 c nodes left : 0
958.52/958.53 c max depth : 183
958.52/958.53 c max depth (total): 183
958.52/958.53 c backtracks : 534202 (30.6%)
958.52/958.53 c delayed cutoffs : 520131
958.52/958.53 c repropagations : 2078689 (9494612 domain reductions, 217816 cutoffs)
958.52/958.53 c avg switch length: 26.37
958.52/958.53 c switching time : 277.01
958.52/958.53 c Solution :
958.52/958.53 c Solutions found : 19 (19 improvements)
958.52/958.53 c First Solution : +3.35000000000000e+02 (in run 1, after 16908 nodes, 2.98 seconds, depth 121, found by <relaxation>)
958.52/958.53 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1617116 nodes, 548.83 seconds, depth 45, found by <relaxation>)
958.52/958.53 c Dual Bound : +2.00000000000000e+00
958.52/958.53 c Gap : 0.00 %
958.52/958.53 c Root Dual Bound : +0.00000000000000e+00
958.52/958.53 c Root Iterations : 0
958.62/958.62 c Time complete: 958.64.