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-2693835-1277895156.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.01 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.01/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.02 c presolving (5 rounds):
0.01/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.01/0.02 c 75 implications, 20 cliques
0.01/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.01/0.02 c 68 constraints of type <indicator>
0.01/0.02 c 20 constraints of type <setppc>
0.01/0.02 c 68 constraints of type <linear>
0.01/0.02 c 10 constraints of type <logicor>
0.01/0.02 c transformed objective value is always integral (scale: 1)
0.01/0.02 c Presolving Time: 0.01
0.01/0.02 c - non default parameters ----------------------------------------------------------------------
0.01/0.02 c # SCIP version 1.2.1.2
0.01/0.02 c
0.01/0.02 c # frequency for displaying node information lines
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.02 c display/freq = 10000
0.01/0.02 c
0.01/0.02 c # maximal time in seconds to run
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/time = 1800
0.01/0.02 c
0.01/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/memory = 3420
0.01/0.02 c
0.01/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.02 c lp/solvefreq = -1
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify inequalities
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/linear/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify knapsacks
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.02 c separating/rapidlearning/freq = 0
0.01/0.02 c
0.01/0.02 c -----------------------------------------------------------------------------------------------
0.01/0.02 c start solving
0.01/0.02 c
0.01/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.01/0.02 c 0.0s| 1 | 2 | 0 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.28/1.37 c 1.3s| 10000 | 6818 | 0 | 0.0 |7164k| 159 | - | 305 |4287 | 0 | 0 | 0 |7725 | 0 | 0.000000e+00 | -- | Inf
3.49/3.53 c 3.4s| 20000 | 12353 | 0 | 0.0 | 12M| 159 | - | 305 |6523 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
6.39/6.46 c 6.2s| 30000 | 17264 | 0 | 0.0 | 18M| 159 | - | 305 | 11k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
10.59/10.62 c 10.2s| 40000 | 20793 | 0 | 0.0 | 24M| 159 | - | 305 | 15k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
16.09/16.11 c 15.6s| 50000 | 22679 | 0 | 0.0 | 28M| 159 | - | 305 | 17k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
17.99/18.06 c 17.4s| 60000 | 30272 | 0 | 0.0 | 29M| 159 | - | 305 |6459 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
18.69/18.72 o 242
18.69/18.72 c *18.1s| 64091 | 33430 | 0 | 0.0 | 30M| 159 | - | 305 |4021 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
20.09/20.17 c 19.5s| 70000 | 36181 | 0 | 0.0 | 33M| 159 | - | 305 |6485 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
25.99/26.04 c 25.2s| 80000 | 36877 | 0 | 0.0 | 38M| 159 | - | 305 | 14k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
33.39/33.41 c 32.5s| 90000 | 37690 | 0 | 0.0 | 43M| 159 | - | 305 | 20k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
42.29/42.36 c 41.3s|100000 | 38080 | 0 | 0.0 | 48M| 159 | - | 305 | 25k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
53.80/53.82 c 52.7s|110000 | 37254 | 0 | 0.0 | 51M| 159 | - | 305 | 29k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
66.79/66.87 c 65.6s|120000 | 36674 | 0 | 0.0 | 49M| 159 | - | 305 | 20k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
69.79/69.89 c 68.5s|130000 | 43213 | 0 | 0.0 | 49M| 159 | - | 305 |6871 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
72.79/72.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.79/72.81 c 71.3s|140000 | 49191 | 0 | 0.0 | 54M| 159 | - | 305 |9529 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
75.99/76.05 c 74.5s|150000 | 54954 | 0 | 0.0 | 59M| 159 | - | 305 | 10k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
79.69/79.78 c 78.1s|160000 | 59793 | 0 | 0.0 | 63M| 159 | - | 305 | 11k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
84.09/84.11 c 82.3s|170000 | 63926 | 0 | 0.0 | 67M| 159 | - | 305 | 12k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
84.89/84.97 c 83.1s|180000 | 73512 | 0 | 0.0 | 67M| 159 | - | 305 | 965 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
85.80/85.83 c 83.9s|190000 | 82725 | 0 | 0.0 | 71M| 159 | - | 305 |1398 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.420000e+02 | Inf
85.80/85.86 o 234
85.80/85.86 c *83.9s|190408 | 83108 | 0 | 0.0 | 71M| 159 | - | 305 |1384 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.340000e+02 | Inf
86.59/86.67 c 84.7s|200000 | 92096 | 0 | 0.0 | 75M| 159 | - | 305 |1485 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 2.340000e+02 | Inf
87.59/87.65 c 85.6s|210000 |101025 | 0 | 0.0 | 79M| 159 | - | 305 |2015 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 2.340000e+02 | Inf
88.09/88.18 o 221
88.09/88.18 c *86.1s|215098 |105503 | 0 | 0.0 | 81M| 159 | - | 305 |2208 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
88.20/88.28 o 215
88.20/88.28 c *86.2s|215858 |106117 | 0 | 0.0 | 81M| 159 | - | 305 |2314 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
88.69/88.79 c 86.6s|220000 |109582 | 0 | 0.0 | 83M| 159 | - | 305 |2659 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
89.39/89.41 o 179
89.39/89.41 c *87.2s|224353 |112545 | 0 | 0.0 | 85M| 159 | - | 305 |3254 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
89.39/89.49 o 163
89.39/89.49 c *87.3s|224775 |112074 | 0 | 0.0 | 85M| 159 | - | 305 |3326 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
90.10/90.12 o 162
90.10/90.12 c *87.9s|228230 |114497 | 0 | 0.0 | 87M| 159 | - | 305 |3947 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
90.10/90.13 o 135
90.10/90.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.10/90.13 c *87.9s|228247 |113263 | 0 | 0.0 | 86M| 159 | - | 305 |3951 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
90.10/90.13 o 132
90.10/90.13 c *87.9s|228277 |113013 | 0 | 0.0 | 86M| 159 | - | 305 |3957 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.320000e+02 | Inf
90.10/90.14 o 113
90.10/90.14 c *87.9s|228281 |110294 | 0 | 0.0 | 85M| 159 | - | 305 |3957 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
90.39/90.40 o 98
90.39/90.40 c *88.2s|229498 |108970 | 0 | 0.0 | 85M| 159 | - | 305 |4256 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
90.49/90.50 o 92
90.49/90.50 c *88.2s|229941 |107485 | 0 | 0.0 | 84M| 159 | - | 305 |4339 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
90.49/90.52 c 88.3s|230000 |107508 | 0 | 0.0 | 84M| 159 | - | 305 |4372 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
90.49/90.53 o 88
90.49/90.53 c *88.3s|230055 |106700 | 0 | 0.0 | 84M| 159 | - | 305 |4384 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
90.49/90.54 o 83
90.49/90.54 c *88.3s|230098 |103262 | 0 | 0.0 | 82M| 159 | - | 305 |4407 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
90.49/90.58 o 73
90.49/90.58 c *88.3s|230247 | 97242 | 0 | 0.0 | 80M| 159 | - | 305 |4432 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
98.79/98.83 c 96.5s|240000 | 93552 | 0 | 0.0 | 81M| 159 | - | 305 | 16k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
113.09/113.14 c 111s|250000 | 88378 | 0 | 0.0 | 79M| 159 | - | 305 | 25k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
125.59/125.69 c 123s|260000 | 87250 | 0 | 0.0 | 69M| 159 | - | 305 |7457 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
130.20/130.23 c 127s|270000 | 90739 | 0 | 0.0 | 74M| 159 | - | 305 | 10k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
134.80/134.80 c 132s|280000 | 94674 | 0 | 0.0 | 79M| 159 | - | 305 | 12k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
140.19/140.27 c 137s|290000 | 98362 | 0 | 0.0 | 83M| 159 | - | 305 | 15k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
146.89/146.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.89/146.90 c 143s|300000 |101304 | 0 | 0.0 | 87M| 159 | - | 305 | 18k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
154.30/154.37 c 150s|310000 |104013 | 0 | 0.0 | 92M| 159 | - | 305 | 20k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
162.39/162.48 c 158s|320000 |106440 | 0 | 0.0 | 95M| 159 | - | 305 | 22k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
170.90/170.98 c 166s|330000 |108703 | 0 | 0.0 | 99M| 159 | - | 305 | 21k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
173.50/173.52 o 72
173.50/173.52 c * 168s|333965 |107777 | 0 | 0.0 | 97M| 159 | - | 305 | 15k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
176.01/176.09 c 171s|340000 |109156 | 0 | 0.0 | 96M| 159 | - | 305 |6446 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
180.19/180.30 c 175s|350000 |110106 | 0 | 0.0 | 98M| 159 | - | 305 |6478 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
183.20/183.29 c 177s|360000 |114537 | 0 | 0.0 | 98M| 159 | - | 305 |1934 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
184.49/184.55 c 178s|370000 |122643 | 0 | 0.0 | 103M| 159 | - | 305 |2597 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
185.80/185.84 c 179s|380000 |130688 | 0 | 0.0 | 107M| 159 | - | 305 |3045 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
187.20/187.21 c 180s|390000 |138641 | 0 | 0.0 | 111M| 159 | - | 305 |3277 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
188.60/188.68 c 182s|400000 |146436 | 0 | 0.0 | 116M| 159 | - | 305 |3838 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
190.20/190.23 c 183s|410000 |154131 | 0 | 0.0 | 121M| 159 | - | 305 |4917 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
191.90/191.95 c 184s|420000 |161542 | 0 | 0.0 | 125M| 159 | - | 305 |4782 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
193.60/193.69 c 186s|430000 |168939 | 0 | 0.0 | 130M| 159 | - | 305 |4913 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
195.40/195.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.40/195.45 c 187s|440000 |176234 | 0 | 0.0 | 134M| 159 | - | 305 |5432 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
197.39/197.42 c 189s|450000 |183245 | 0 | 0.0 | 139M| 159 | - | 305 |6400 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
199.49/199.56 c 191s|460000 |190095 | 0 | 0.0 | 144M| 159 | - | 305 |6231 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
201.70/201.75 c 193s|470000 |196708 | 0 | 0.0 | 148M| 159 | - | 305 |6442 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
203.90/203.96 c 195s|480000 |203353 | 0 | 0.0 | 153M| 159 | - | 305 |6846 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
206.30/206.31 c 197s|490000 |209719 | 0 | 0.0 | 158M| 159 | - | 305 |6932 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
208.79/208.86 c 199s|500000 |215711 | 0 | 0.0 | 163M| 159 | - | 305 |7075 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
211.40/211.44 c 201s|510000 |221677 | 0 | 0.0 | 168M| 159 | - | 305 |7685 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
214.10/214.14 c 204s|520000 |227473 | 0 | 0.0 | 173M| 159 | - | 305 |8179 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
216.89/216.94 c 206s|530000 |233094 | 0 | 0.0 | 177M| 159 | - | 305 |8112 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
219.90/219.99 c 209s|540000 |238261 | 0 | 0.0 | 182M| 159 | - | 305 |8561 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
223.20/223.27 c 212s|550000 |242901 | 0 | 0.0 | 187M| 159 | - | 305 |8983 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
226.90/226.94 c 215s|560000 |247118 | 0 | 0.0 | 192M| 159 | - | 305 |9301 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
231.09/231.14 c 219s|570000 |250239 | 0 | 0.0 | 197M| 159 | - | 305 |9577 | 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
235.40/235.47 c 223s|580000 |253315 | 0 | 0.0 | 203M| 159 | - | 305 | 10k| 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
239.40/239.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.40/239.44 c 226s|590000 |256381 | 0 | 0.0 | 206M| 159 | - | 305 |8101 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
245.10/245.13 c 232s|600000 |256761 | 0 | 0.0 | 209M| 159 | - | 305 | 10k| 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
250.80/250.81 c 237s|610000 |257874 | 0 | 0.0 | 213M| 159 | - | 305 | 14k| 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
258.89/258.94 c 245s|620000 |258264 | 0 | 0.0 | 218M| 159 | - | 305 | 20k| 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
270.00/270.07 c 256s|630000 |257964 | 0 | 0.0 | 221M| 159 | - | 305 | 25k| 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
273.09/273.17 o 28
273.09/273.17 c * 259s|632675 |194315 | 0 | 0.0 | 161M| 159 | - | 305 | 26k| 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
280.00/280.08 c 265s|640000 |191086 | 0 | 0.0 | 156M| 159 | - | 305 | 11k| 0 | 0 | 0 | 719k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
291.41/291.41 c 276s|650000 |185554 | 0 | 0.0 | 155M| 159 | - | 305 | 15k| 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
305.80/305.85 c 290s|660000 |177957 | 0 | 0.0 | 151M| 159 | - | 305 | 20k| 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
309.90/309.92 c 293s|670000 |182852 | 0 | 0.0 | 151M| 159 | - | 305 |5307 | 0 | 0 | 0 | 784k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
313.20/313.23 c 296s|680000 |187457 | 0 | 0.0 | 156M| 159 | - | 305 |6412 | 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
316.71/316.77 c 300s|690000 |192179 | 0 | 0.0 | 161M| 159 | - | 305 |7488 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
320.70/320.73 c 303s|700000 |196540 | 0 | 0.0 | 166M| 159 | - | 305 |8375 | 0 | 0 | 0 | 818k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
325.09/325.19 c 307s|710000 |200357 | 0 | 0.0 | 171M| 159 | - | 305 |8667 | 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
328.50/328.56 o 17
328.50/328.56 c * 311s|717348 |191472 | 0 | 0.0 | 164M| 159 | - | 305 |9099 | 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
329.80/329.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.80/329.87 c 312s|720000 |192408 | 0 | 0.0 | 166M| 159 | - | 305 |9044 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
335.20/335.28 c 317s|730000 |194965 | 0 | 0.0 | 170M| 159 | - | 305 |9438 | 0 | 0 | 0 | 858k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
341.10/341.18 c 322s|740000 |197275 | 0 | 0.0 | 174M| 159 | - | 305 |9721 | 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
347.10/347.15 c 328s|750000 |199427 | 0 | 0.0 | 178M| 159 | - | 305 | 10k| 0 | 0 | 0 | 889k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
353.60/353.69 c 334s|760000 |201091 | 0 | 0.0 | 182M| 159 | - | 305 | 10k| 0 | 0 | 0 | 905k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
360.50/360.58 c 341s|770000 |202367 | 0 | 0.0 | 186M| 159 | - | 305 | 11k| 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
367.80/367.81 c 347s|780000 |203064 | 0 | 0.0 | 189M| 159 | - | 305 | 11k| 0 | 0 | 0 | 939k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
375.40/375.49 c 355s|790000 |203537 | 0 | 0.0 | 192M| 159 | - | 305 | 11k| 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
383.70/383.72 c 362s|800000 |203361 | 0 | 0.0 | 196M| 159 | - | 305 | 12k| 0 | 0 | 0 | 974k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
393.10/393.19 c 371s|810000 |202258 | 0 | 0.0 | 199M| 159 | - | 305 | 12k| 0 | 0 | 0 | 993k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
403.30/403.36 c 381s|820000 |200201 | 0 | 0.0 | 202M| 159 | - | 305 | 13k| 0 | 0 | 0 |1012k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
414.30/414.31 c 392s|830000 |197052 | 0 | 0.0 | 204M| 159 | - | 305 | 14k| 0 | 0 | 0 |1033k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
426.40/426.41 c 403s|840000 |192687 | 0 | 0.0 | 205M| 159 | - | 305 | 14k| 0 | 0 | 0 |1054k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
439.51/439.54 c 416s|850000 |186871 | 0 | 0.0 | 205M| 159 | - | 305 | 15k| 0 | 0 | 0 |1077k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
454.21/454.23 c 430s|860000 |179574 | 0 | 0.0 | 205M| 159 | - | 305 | 17k| 0 | 0 | 0 |1100k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
470.90/470.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.90/470.90 c 446s|870000 |169062 | 0 | 0.0 | 199M| 159 | - | 305 | 20k| 0 | 0 | 0 |1124k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
478.41/478.45 c 453s|880000 |170509 | 0 | 0.0 | 197M| 159 | - | 305 | 10k| 0 | 0 | 0 |1139k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
482.30/482.39 c 457s|890000 |174304 | 0 | 0.0 | 197M| 159 | - | 305 |7932 | 0 | 0 | 0 |1150k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
491.60/491.64 c 466s|900000 |168373 | 0 | 0.0 | 186M| 159 | - | 305 | 12k| 0 | 0 | 0 |1174k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
500.70/500.71 c 474s|910000 |169370 | 0 | 0.0 | 187M| 159 | - | 305 | 13k| 0 | 0 | 0 |1194k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
511.90/511.97 c 485s|920000 |169491 | 0 | 0.0 | 191M| 159 | - | 305 | 17k| 0 | 0 | 0 |1215k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
525.31/525.36 c 498s|930000 |169229 | 0 | 0.0 | 194M| 159 | - | 305 | 19k| 0 | 0 | 0 |1237k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
541.01/541.03 c 514s|940000 |168272 | 0 | 0.0 | 197M| 159 | - | 305 | 21k| 0 | 0 | 0 |1259k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
557.00/557.07 c 529s|950000 |167375 | 0 | 0.0 | 200M| 159 | - | 305 | 22k| 0 | 0 | 0 |1280k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
564.00/564.03 o 12
564.00/564.03 c * 536s|953949 |153883 | 0 | 0.0 | 189M| 159 | - | 305 | 24k| 0 | 0 | 0 |1290k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
576.10/576.15 c 548s|960000 |152100 | 0 | 0.0 | 190M| 159 | - | 305 | 22k| 0 | 0 | 0 |1304k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
596.21/596.21 c 567s|970000 |148320 | 0 | 0.0 | 192M| 159 | - | 305 | 24k| 0 | 0 | 0 |1328k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
618.61/618.62 c 589s|980000 |144084 | 0 | 0.0 | 193M| 159 | - | 305 | 26k| 0 | 0 | 0 |1352k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
642.51/642.53 c 613s|990000 |139430 | 0 | 0.0 | 193M| 159 | - | 305 | 27k| 0 | 0 | 0 |1377k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
668.30/668.39 c 638s| 1000k|133669 | 0 | 0.0 | 192M| 159 | - | 305 | 31k| 0 | 0 | 0 |1404k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
697.61/697.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.61/697.68 c 667s| 1010k|126911 | 0 | 0.0 | 190M| 159 | - | 305 | 34k| 0 | 0 | 0 |1431k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
730.51/730.60 c 699s| 1020k|117949 | 0 | 0.0 | 184M| 159 | - | 305 | 36k| 0 | 0 | 0 |1461k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
759.02/759.03 c 727s| 1030k|110999 | 0 | 0.0 | 176M| 159 | - | 305 | 29k| 0 | 0 | 0 |1487k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
772.81/772.89 c 741s| 1040k|112546 | 0 | 0.0 | 174M| 159 | - | 305 | 20k| 0 | 0 | 0 |1505k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
781.02/781.01 c 748s| 1050k|116516 | 0 | 0.0 | 176M| 159 | - | 305 | 19k| 0 | 0 | 0 |1519k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
790.11/790.19 c 757s| 1060k|119070 | 0 | 0.0 | 178M| 159 | - | 305 | 21k| 0 | 0 | 0 |1536k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
800.31/800.38 c 767s| 1070k|120856 | 0 | 0.0 | 179M| 159 | - | 305 | 23k| 0 | 0 | 0 |1553k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
811.61/811.60 c 778s| 1080k|122073 | 0 | 0.0 | 177M| 159 | - | 305 | 24k| 0 | 0 | 0 |1570k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
820.41/820.46 c 786s| 1090k|125413 | 0 | 0.0 | 174M| 159 | - | 305 | 18k| 0 | 0 | 0 |1583k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
825.91/825.96 c 792s| 1100k|130479 | 0 | 0.0 | 175M| 159 | - | 305 | 14k| 0 | 0 | 0 |1593k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
832.62/832.60 c 798s| 1110k|133537 | 0 | 0.0 | 179M| 159 | - | 305 | 16k| 0 | 0 | 0 |1607k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
839.81/839.84 c 805s| 1120k|136625 | 0 | 0.0 | 179M| 159 | - | 305 | 10k| 0 | 0 | 0 |1621k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
849.61/849.61 o 8
849.61/849.61 c * 814s| 1129k| 93258 | 0 | 0.0 | 144M| 159 | - | 305 | 15k| 0 | 0 | 0 |1642k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
849.92/849.98 c 815s| 1130k| 93058 | 0 | 0.0 | 144M| 159 | - | 305 | 16k| 0 | 0 | 0 |1642k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
879.01/879.06 c 843s| 1140k| 80184 | 0 | 0.0 | 131M| 159 | - | 305 | 27k| 0 | 0 | 0 |1674k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
918.21/918.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.21/918.29 c 882s| 1150k| 67829 | 0 | 0.0 | 112M| 159 | - | 305 | 35k| 0 | 0 | 0 |1704k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
939.81/939.83 c 903s| 1160k| 67290 | 0 | 0.0 | 108M| 159 | - | 305 | 23k| 0 | 0 | 0 |1724k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
962.31/962.37 c 925s| 1170k| 64580 | 0 | 0.0 | 108M| 159 | - | 305 | 29k| 0 | 0 | 0 |1747k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
987.91/987.96 c 950s| 1180k| 61183 | 0 | 0.0 | 104M| 159 | - | 305 | 34k| 0 | 0 | 0 |1769k| 0 | 2.000000e+00 | 8.000000e+00 | 300.00%
1016.42/1016.40 c 978s| 1190k| 57387 | 0 | 0.0 | 100M| 159 | - | 305 | 39k| 0 | 0 | 0 |1792k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
1044.72/1044.74 c 1006s| 1200k| 55178 | 0 | 0.0 | 96M| 159 | - | 305 | 41k| 0 | 0 | 0 |1813k| 0 | 3.000000e+00 | 8.000000e+00 | 166.67%
1067.52/1067.55 c 1028s| 1210k| 55361 | 0 | 0.0 | 95M| 159 | - | 305 | 35k| 0 | 0 | 0 |1832k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1088.92/1088.96 c 1049s| 1220k| 54742 | 0 | 0.0 | 98M| 159 | - | 305 | 36k| 0 | 0 | 0 |1851k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1111.92/1111.93 c 1072s| 1230k| 53124 | 0 | 0.0 | 100M| 159 | - | 305 | 37k| 0 | 0 | 0 |1872k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1135.52/1135.54 c 1095s| 1240k| 51552 | 0 | 0.0 | 97M| 159 | - | 305 | 31k| 0 | 0 | 0 |1890k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1146.62/1146.64 c 1106s| 1250k| 55603 | 0 | 0.0 | 98M| 159 | - | 305 | 23k| 0 | 0 | 0 |1902k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1157.72/1157.76 c 1117s| 1260k| 57892 | 0 | 0.0 | 102M| 159 | - | 305 | 25k| 0 | 0 | 0 |1918k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1164.72/1164.76 c 1123s| 1270k| 63023 | 0 | 0.0 | 101M| 159 | - | 305 | 11k| 0 | 0 | 0 |1929k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1175.72/1175.74 c 1134s| 1280k| 55513 | 0 | 0.0 | 91M| 159 | - | 305 | 13k| 0 | 0 | 0 |1955k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1195.33/1195.34 c 1153s| 1290k| 48913 | 0 | 0.0 | 87M| 159 | - | 305 | 27k| 0 | 0 | 0 |1982k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1224.62/1224.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.62/1224.69 c 1182s| 1300k| 42938 | 0 | 0.0 | 83M| 159 | - | 305 | 40k| 0 | 0 | 0 |2008k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1258.63/1258.60 c 1215s| 1310k| 38742 | 0 | 0.0 | 81M| 159 | - | 305 | 45k| 0 | 0 | 0 |2032k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1292.43/1292.43 c 1249s| 1320k| 35092 | 0 | 0.0 | 70M| 159 | - | 305 | 37k| 0 | 0 | 0 |2053k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1311.42/1311.41 c 1267s| 1330k| 36726 | 0 | 0.0 | 72M| 159 | - | 305 | 36k| 0 | 0 | 0 |2071k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1331.23/1331.22 c 1287s| 1340k| 37515 | 0 | 0.0 | 74M| 159 | - | 305 | 39k| 0 | 0 | 0 |2089k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1354.72/1354.71 c 1310s| 1350k| 36793 | 0 | 0.0 | 76M| 159 | - | 305 | 41k| 0 | 0 | 0 |2109k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1376.14/1376.12 c 1331s| 1360k| 37163 | 0 | 0.0 | 76M| 159 | - | 305 | 39k| 0 | 0 | 0 |2127k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1384.22/1384.21 c 1339s| 1370k| 43133 | 0 | 0.0 | 74M| 159 | - | 305 | 21k| 0 | 0 | 0 |2137k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1391.22/1391.23 c 1345s| 1380k| 48003 | 0 | 0.0 | 79M| 159 | - | 305 | 23k| 0 | 0 | 0 |2150k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1404.52/1404.52 c 1358s| 1390k| 48655 | 0 | 0.0 | 79M| 159 | - | 305 | 16k| 0 | 0 | 0 |2169k| 0 | 4.000000e+00 | 8.000000e+00 | 100.00%
1419.53/1419.59 c 1373s| 1400k| 40811 | 0 | 0.0 | 59M| 159 | - | 305 | 22k| 0 | 0 | 0 |2196k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1438.63/1438.60 c 1391s| 1410k| 38286 | 0 | 0.0 | 62M| 159 | - | 305 | 33k| 0 | 0 | 0 |2219k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1465.23/1465.24 c 1418s| 1420k| 34424 | 0 | 0.0 | 62M| 159 | - | 305 | 44k| 0 | 0 | 0 |2243k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1496.93/1496.99 c 1449s| 1430k| 30746 | 0 | 0.0 | 60M| 159 | - | 305 | 45k| 0 | 0 | 0 |2265k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1514.53/1514.57 c 1466s| 1440k| 33281 | 0 | 0.0 | 55M| 159 | - | 305 | 23k| 0 | 0 | 0 |2281k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1526.33/1526.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.33/1526.38 c 1477s| 1450k| 35609 | 0 | 0.0 | 59M| 159 | - | 305 | 23k| 0 | 0 | 0 |2298k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1540.13/1540.14 c 1491s| 1460k| 36792 | 0 | 0.0 | 63M| 159 | - | 305 | 27k| 0 | 0 | 0 |2318k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1555.73/1555.70 c 1506s| 1470k| 37357 | 0 | 0.0 | 67M| 159 | - | 305 | 29k| 0 | 0 | 0 |2337k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1572.43/1572.40 c 1522s| 1480k| 37421 | 0 | 0.0 | 70M| 159 | - | 305 | 32k| 0 | 0 | 0 |2357k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1596.23/1596.26 c 1546s| 1490k| 32867 | 0 | 0.0 | 62M| 159 | - | 305 | 26k| 0 | 0 | 0 |2382k| 0 | 5.000000e+00 | 8.000000e+00 | 60.00%
1618.23/1618.24 c 1567s| 1500k| 28045 | 0 | 0.0 | 51M| 159 | - | 305 | 23k| 0 | 0 | 0 |2406k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1635.33/1635.37 c 1584s| 1510k| 26336 | 0 | 0.0 | 53M| 159 | - | 305 | 25k| 0 | 0 | 0 |2428k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1657.33/1657.39 c 1606s| 1520k| 22610 | 0 | 0.0 | 54M| 159 | - | 305 | 31k| 0 | 0 | 0 |2452k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1684.14/1684.18 c 1632s| 1530k| 17906 | 0 | 0.0 | 54M| 159 | - | 305 | 38k| 0 | 0 | 0 |2477k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1722.13/1722.13 c 1669s| 1540k| 9817 | 0 | 0.0 | 44M| 159 | - | 305 | 40k| 0 | 0 | 0 |2504k| 0 | 6.000000e+00 | 8.000000e+00 | 33.33%
1753.34/1753.35 c
1753.34/1753.35 c SCIP Status : problem is solved [optimal solution found]
1753.34/1753.35 c Solving Time (sec) : 1700.22
1753.34/1753.35 c Solving Nodes : 1546706
1753.34/1753.35 c Primal Bound : +8.00000000000000e+00 (20 solutions)
1753.34/1753.35 c Dual Bound : +8.00000000000000e+00
1753.34/1753.35 c Gap : 0.00 %
1753.34/1753.35 s OPTIMUM FOUND
1753.34/1753.35 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1753.34/1753.35 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127
1753.34/1753.35 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106
1753.34/1753.35 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
1753.34/1753.35 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
1753.34/1753.35 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
1753.34/1753.35 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
1753.34/1753.35 v -x4 -x3 -x2 x1
1753.34/1753.35 c SCIP Status : problem is solved [optimal solution found]
1753.34/1753.35 c Solving Time : 1700.22
1753.34/1753.35 c Original Problem :
1753.34/1753.35 c Problem name : HOME/instance-2693835-1277895156.wbo
1753.34/1753.35 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1753.34/1753.35 c Constraints : 171 initial, 171 maximal
1753.34/1753.35 c Presolved Problem :
1753.34/1753.35 c Problem name : t_HOME/instance-2693835-1277895156.wbo
1753.34/1753.35 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1753.34/1753.35 c Constraints : 166 initial, 52412 maximal
1753.34/1753.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1753.34/1753.35 c trivial : 0.00 0 0 0 0 0 0 0 0
1753.34/1753.35 c dualfix : 0.00 2 0 0 0 0 0 0 0
1753.34/1753.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
1753.34/1753.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1753.34/1753.35 c implics : 0.00 0 0 0 0 0 0 0 0
1753.34/1753.35 c probing : 0.01 0 0 0 0 0 0 0 0
1753.34/1753.35 c indicator : 0.00 0 0 0 0 0 1 0 0
1753.34/1753.35 c setppc : 0.00 0 0 0 0 0 0 0 0
1753.34/1753.35 c linear : 0.00 0 0 0 68 0 4 1 0
1753.34/1753.35 c logicor : 0.00 0 0 0 0 0 0 0 0
1753.34/1753.35 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1753.34/1753.35 c root node : - 0 - - 0 - - - -
1753.34/1753.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1753.34/1753.35 c integral : 0 0 0 0 0 0 0 0 0 0
1753.34/1753.35 c indicator : 68 0 4293779 0 948599 1620 749469 0 0 0
1753.34/1753.35 c setppc : 20 0 4844908 0 1054949 35343 4192907 0 0 0
1753.34/1753.35 c linear : 68 0 4809602 0 1054957 562063 20790670 0 0 0
1753.34/1753.35 c logicor : 10+ 0 2469984 0 1054914 137049 1510068 0 0 0
1753.34/1753.35 c bounddisjunction : 0+ 0 242404 0 0 3 1040 0 0 0
1753.34/1753.35 c countsols : 0 0 0 0 1054977 0 0 0 0 0
1753.34/1753.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1753.34/1753.35 c integral : 0.00 0.00 0.00 0.00 0.00
1753.34/1753.35 c indicator : 1.51 0.00 0.79 0.00 0.72
1753.34/1753.35 c setppc : 12.08 0.00 9.88 0.00 2.20
1753.34/1753.35 c linear : 125.82 0.00 125.64 0.00 0.18
1753.34/1753.35 c logicor : 803.92 0.00 803.23 0.00 0.69
1753.34/1753.35 c bounddisjunction : 1.48 0.00 1.48 0.00 0.00
1753.34/1753.35 c countsols : 0.03 0.00 0.00 0.00 0.03
1753.34/1753.35 c Propagators : Time Calls Cutoffs DomReds
1753.34/1753.35 c vbounds : 0.19 2 0 0
1753.34/1753.35 c rootredcost : 0.12 0 0 0
1753.34/1753.35 c pseudoobj : 7.92 4847808 1415 650890
1753.34/1753.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1753.34/1753.35 c propagation : 46.84 735871 735672 4151901 28.2 371339 14.0 -
1753.34/1753.35 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1753.34/1753.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1753.34/1753.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1753.34/1753.35 c pseudo solution : 0.00 42 42 160 17.8 24 13.8 -
1753.34/1753.35 c applied globally : - - - 2439487 18.4 - - -
1753.34/1753.35 c applied locally : - - - 84368 37.7 - - -
1753.34/1753.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1753.34/1753.35 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1753.34/1753.35 c redcost : 0.00 0 0 0 0 0
1753.34/1753.35 c impliedbounds : 0.00 0 0 0 0 0
1753.34/1753.35 c intobj : 0.00 0 0 0 0 0
1753.34/1753.35 c cgmip : 0.00 0 0 0 0 0
1753.34/1753.35 c gomory : 0.00 0 0 0 0 0
1753.34/1753.35 c strongcg : 0.00 0 0 0 0 0
1753.34/1753.35 c cmir : 0.00 0 0 0 0 0
1753.34/1753.35 c flowcover : 0.00 0 0 0 0 0
1753.34/1753.35 c clique : 0.00 0 0 0 0 0
1753.34/1753.35 c zerohalf : 0.00 0 0 0 0 0
1753.34/1753.35 c mcf : 0.00 0 0 0 0 0
1753.34/1753.35 c rapidlearning : 0.00 0 0 0 0 0
1753.34/1753.35 c Pricers : Time Calls Vars
1753.34/1753.35 c problem variables: 0.00 0 0
1753.34/1753.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1753.34/1753.35 c relpscost : 0.00 0 0 0 0 0 0
1753.34/1753.35 c pscost : 0.00 0 0 0 0 0 0
1753.34/1753.35 c inference : 7.44 1054957 0 0 0 0 2109914
1753.34/1753.35 c mostinf : 0.00 0 0 0 0 0 0
1753.34/1753.35 c leastinf : 0.00 0 0 0 0 0 0
1753.34/1753.35 c fullstrong : 0.00 0 0 0 0 0 0
1753.34/1753.35 c allfullstrong : 0.00 0 0 0 0 0 0
1753.34/1753.35 c random : 0.00 0 0 0 0 0 0
1753.34/1753.35 c Primal Heuristics : Time Calls Found
1753.34/1753.35 c LP solutions : 0.00 - 0
1753.34/1753.35 c pseudo solutions : 0.28 - 20
1753.34/1753.35 c oneopt : 0.17 0 0
1753.34/1753.35 c trivial : 0.00 2 0
1753.34/1753.35 c simplerounding : 0.00 0 0
1753.34/1753.35 c zirounding : 0.00 0 0
1753.34/1753.35 c rounding : 0.00 0 0
1753.34/1753.35 c shifting : 0.00 0 0
1753.34/1753.35 c intshifting : 0.00 0 0
1753.34/1753.35 c twoopt : 0.00 0 0
1753.34/1753.35 c fixandinfer : 0.00 0 0
1753.34/1753.35 c feaspump : 0.00 0 0
1753.34/1753.35 c coefdiving : 0.00 0 0
1753.34/1753.35 c pscostdiving : 0.00 0 0
1753.34/1753.35 c fracdiving : 0.00 0 0
1753.34/1753.35 c veclendiving : 0.00 0 0
1753.34/1753.35 c intdiving : 0.00 0 0
1753.34/1753.35 c actconsdiving : 0.00 0 0
1753.34/1753.35 c objpscostdiving : 0.00 0 0
1753.34/1753.35 c rootsoldiving : 0.00 0 0
1753.34/1753.35 c linesearchdiving : 0.00 0 0
1753.34/1753.35 c guideddiving : 0.00 0 0
1753.34/1753.35 c octane : 0.00 0 0
1753.34/1753.35 c rens : 0.00 0 0
1753.34/1753.35 c rins : 0.00 0 0
1753.34/1753.35 c localbranching : 0.00 0 0
1753.34/1753.35 c mutation : 0.00 0 0
1753.34/1753.35 c crossover : 0.00 0 0
1753.34/1753.35 c dins : 0.00 0 0
1753.34/1753.35 c undercover : 0.00 0 0
1753.34/1753.35 c nlp : 0.04 0 0
1753.34/1753.35 c trysol : 0.03 1 0
1753.34/1753.35 c LP : Time Calls Iterations Iter/call Iter/sec
1753.34/1753.35 c primal LP : 0.00 0 0 0.00 -
1753.34/1753.35 c dual LP : 0.00 0 0 0.00 -
1753.34/1753.35 c lex dual LP : 0.00 0 0 0.00 -
1753.34/1753.35 c barrier LP : 0.00 0 0 0.00 -
1753.34/1753.35 c diving/probing LP: 0.00 0 0 0.00 -
1753.34/1753.35 c strong branching : 0.00 0 0 0.00 -
1753.34/1753.35 c (at root node) : - 0 0 0.00 -
1753.34/1753.35 c conflict analysis: 0.00 0 0 0.00 -
1753.34/1753.35 c B&B Tree :
1753.34/1753.35 c number of runs : 1
1753.34/1753.35 c nodes : 1546706
1753.34/1753.35 c nodes (total) : 1546706
1753.34/1753.35 c nodes left : 0
1753.34/1753.35 c max depth : 159
1753.34/1753.35 c max depth (total): 159
1753.34/1753.35 c backtracks : 556950 (36.0%)
1753.34/1753.35 c delayed cutoffs : 412289
1753.34/1753.35 c repropagations : 1778193 (8194348 domain reductions, 245806 cutoffs)
1753.34/1753.35 c avg switch length: 22.83
1753.34/1753.35 c switching time : 550.44
1753.34/1753.35 c Solution :
1753.34/1753.35 c Solutions found : 20 (20 improvements)
1753.34/1753.35 c First Solution : +2.42000000000000e+02 (in run 1, after 64091 nodes, 18.08 seconds, depth 112, found by <relaxation>)
1753.34/1753.35 c Primal Bound : +8.00000000000000e+00 (in run 1, after 1129873 nodes, 814.15 seconds, depth 48, found by <relaxation>)
1753.34/1753.35 c Dual Bound : +8.00000000000000e+00
1753.34/1753.35 c Gap : 0.00 %
1753.34/1753.35 c Root Dual Bound : +0.00000000000000e+00
1753.34/1753.35 c Root Iterations : 0
1753.44/1753.41 c Time complete: 1753.45.