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-2693882-1277896365.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.23 c 1.0s| 10000 | 6750 | 0 | 0.0 |7061k| 166 | - | 305 |4369 | 0 | 0 | 0 |8308 | 0 | 0.000000e+00 | -- | Inf
3.20/3.23 c 2.8s| 20000 | 12155 | 0 | 0.0 | 12M| 166 | - | 305 |7195 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
6.19/6.29 c 5.6s| 30000 | 16149 | 0 | 0.0 | 18M| 166 | - | 305 | 11k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
10.19/10.26 c 9.3s| 40000 | 18862 | 0 | 0.0 | 23M| 166 | - | 305 | 15k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
13.89/13.90 c 12.7s| 50000 | 23055 | 0 | 0.0 | 24M| 166 | - | 305 |6964 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
15.19/15.27 c 13.8s| 60000 | 31190 | 0 | 0.0 | 26M| 166 | - | 305 |1872 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
18.49/18.57 c 16.9s| 70000 | 34141 | 0 | 0.0 | 34M| 166 | - | 305 | 12k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
24.39/24.43 c 22.5s| 80000 | 35516 | 0 | 0.0 | 39M| 166 | - | 305 | 18k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
32.40/32.41 c 30.1s| 90000 | 35689 | 0 | 0.0 | 43M| 166 | - | 305 | 23k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
41.90/41.96 c 39.3s|100000 | 34879 | 0 | 0.0 | 46M| 166 | - | 305 | 30k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
50.50/50.59 c 47.7s|110000 | 36769 | 0 | 0.0 | 43M| 166 | - | 305 | 14k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
53.60/53.63 c 50.5s|120000 | 43231 | 0 | 0.0 | 46M| 166 | - | 305 | 11k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
56.99/57.08 c 53.6s|130000 | 48592 | 0 | 0.0 | 50M| 166 | - | 305 | 12k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
60.99/61.06 c 57.4s|140000 | 53384 | 0 | 0.0 | 53M| 166 | - | 305 | 10k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
61.40/61.50 o 613
61.40/61.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.40/61.50 c *57.7s|146990 | 60352 | 0 | 0.0 | 53M| 166 | - | 305 |1039 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 6.130000e+02 | Inf
61.40/61.50 o 530
61.40/61.50 c *57.7s|146991 | 60351 | 0 | 0.0 | 53M| 166 | - | 305 |1039 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 5.300000e+02 | Inf
61.50/61.51 o 483
61.50/61.51 c *57.7s|147079 | 60433 | 0 | 0.0 | 53M| 166 | - | 305 |1033 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 4.830000e+02 | Inf
61.50/61.57 o 154
61.50/61.57 c *57.7s|148068 | 60149 | 0 | 0.0 | 52M| 166 | - | 305 | 941 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
61.60/61.69 c 57.8s|150000 | 62003 | 0 | 0.0 | 53M| 166 | - | 305 | 861 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
62.20/62.21 o 139
62.20/62.21 c *58.2s|156060 | 67064 | 0 | 0.0 | 56M| 166 | - | 305 |1417 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
62.30/62.37 o 131
62.30/62.37 c *58.4s|157714 | 68265 | 0 | 0.0 | 56M| 166 | - | 305 |1624 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
62.49/62.59 c 58.5s|160000 | 70232 | 0 | 0.0 | 57M| 166 | - | 305 |1911 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
62.60/62.65 o 126
62.60/62.65 c *58.6s|160606 | 70541 | 0 | 0.0 | 57M| 166 | - | 305 |1956 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
62.60/62.65 o 125
62.60/62.65 c *58.6s|160608 | 70525 | 0 | 0.0 | 57M| 166 | - | 305 |1956 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
63.19/63.28 o 121
63.19/63.28 c *59.1s|166910 | 75798 | 0 | 0.0 | 60M| 166 | - | 305 |2514 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
63.59/63.61 c 59.3s|170000 | 78399 | 0 | 0.0 | 61M| 166 | - | 305 |2818 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
64.29/64.31 o 110
64.29/64.31 c *59.9s|176192 | 82586 | 0 | 0.0 | 64M| 166 | - | 305 |3639 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
64.69/64.72 o 101
64.69/64.72 c *60.2s|179101 | 84382 | 0 | 0.0 | 65M| 166 | - | 305 |4247 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
64.69/64.75 o 93
64.69/64.75 c *60.2s|179272 | 81525 | 0 | 0.0 | 63M| 166 | - | 305 |4280 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
64.80/64.85 o 88
64.80/64.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.80/64.85 c *60.3s|179791 | 81432 | 0 | 0.0 | 63M| 166 | - | 305 |4351 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
64.80/64.89 o 73
64.80/64.89 c *60.4s|179921 | 78183 | 0 | 0.0 | 62M| 166 | - | 305 |4307 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
64.90/64.90 c 60.4s|180000 | 78226 | 0 | 0.0 | 62M| 166 | - | 305 |4329 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
69.99/70.06 c 65.2s|190000 | 77787 | 0 | 0.0 | 67M| 166 | - | 305 | 14k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
82.09/82.16 c 77.1s|200000 | 74211 | 0 | 0.0 | 69M| 166 | - | 305 | 26k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
98.91/98.92 c 93.5s|210000 | 68418 | 0 | 0.0 | 63M| 166 | - | 305 | 32k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
106.60/106.65 c 101s|220000 | 72202 | 0 | 0.0 | 61M| 166 | - | 305 | 16k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
113.60/113.60 c 108s|230000 | 75063 | 0 | 0.0 | 65M| 166 | - | 305 | 19k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
121.60/121.69 c 115s|240000 | 77311 | 0 | 0.0 | 70M| 166 | - | 305 | 22k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
130.69/130.79 c 124s|250000 | 79366 | 0 | 0.0 | 74M| 166 | - | 305 | 26k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
140.29/140.34 c 133s|260000 | 81591 | 0 | 0.0 | 77M| 166 | - | 305 | 28k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
150.71/150.78 c 143s|270000 | 83132 | 0 | 0.0 | 81M| 166 | - | 305 | 31k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
157.90/157.93 c 150s|280000 | 87810 | 0 | 0.0 | 76M| 166 | - | 305 |5198 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
159.30/159.35 c 152s|290000 | 95623 | 0 | 0.0 | 79M| 166 | - | 305 |1967 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
160.80/160.88 c 153s|300000 |102919 | 0 | 0.0 | 84M| 166 | - | 305 |2634 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
162.40/162.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.40/162.45 c 154s|310000 |110217 | 0 | 0.0 | 89M| 166 | - | 305 |3228 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
164.10/164.12 c 155s|320000 |117251 | 0 | 0.0 | 93M| 166 | - | 305 |3750 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
165.80/165.81 c 157s|330000 |124265 | 0 | 0.0 | 97M| 166 | - | 305 |3930 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
167.40/167.45 c 158s|340000 |131422 | 0 | 0.0 | 102M| 166 | - | 305 |4183 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
169.30/169.32 c 160s|350000 |138075 | 0 | 0.0 | 106M| 166 | - | 305 |4687 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
171.29/171.33 c 162s|360000 |144458 | 0 | 0.0 | 111M| 166 | - | 305 |4708 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
173.50/173.51 c 164s|370000 |150528 | 0 | 0.0 | 115M| 166 | - | 305 |4681 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
175.70/175.75 c 166s|380000 |156437 | 0 | 0.0 | 120M| 166 | - | 305 |4941 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
178.10/178.14 c 168s|390000 |161990 | 0 | 0.0 | 125M| 166 | - | 305 |5292 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
180.60/180.67 c 170s|400000 |167246 | 0 | 0.0 | 129M| 166 | - | 305 |5390 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
183.10/183.19 c 172s|410000 |172497 | 0 | 0.0 | 134M| 166 | - | 305 |5752 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
186.20/186.21 c 175s|420000 |176846 | 0 | 0.0 | 138M| 166 | - | 305 |6427 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
190.00/190.09 c 178s|430000 |179657 | 0 | 0.0 | 142M| 166 | - | 305 |7735 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
194.41/194.45 c 182s|440000 |181405 | 0 | 0.0 | 144M| 166 | - | 305 |3843 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
199.11/199.13 c 187s|450000 |180758 | 0 | 0.0 | 142M| 166 | - | 305 |8201 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
205.70/205.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.70/205.71 c 193s|460000 |180729 | 0 | 0.0 | 146M| 166 | - | 305 | 13k| 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
214.90/214.95 c 202s|470000 |179790 | 0 | 0.0 | 149M| 166 | - | 305 | 19k| 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
226.00/226.09 c 213s|480000 |178682 | 0 | 0.0 | 151M| 166 | - | 305 | 24k| 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
238.40/238.46 c 225s|490000 |177375 | 0 | 0.0 | 153M| 166 | - | 305 | 28k| 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
252.91/252.96 c 239s|500000 |175272 | 0 | 0.0 | 154M| 166 | - | 305 | 34k| 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
260.71/260.75 c 246s|510000 |179333 | 0 | 0.0 | 150M| 166 | - | 305 | 10k| 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
263.30/263.39 c 249s|520000 |185903 | 0 | 0.0 | 154M| 166 | - | 305 |6590 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
265.81/265.87 c 251s|530000 |192238 | 0 | 0.0 | 158M| 166 | - | 305 |6632 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
268.31/268.32 c 253s|540000 |198607 | 0 | 0.0 | 163M| 166 | - | 305 |6846 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
271.10/271.12 c 255s|550000 |204366 | 0 | 0.0 | 168M| 166 | - | 305 |7868 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
273.91/273.99 c 258s|560000 |210329 | 0 | 0.0 | 172M| 166 | - | 305 |8330 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
277.11/277.14 c 261s|570000 |215906 | 0 | 0.0 | 177M| 166 | - | 305 |8636 | 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
280.51/280.58 c 264s|580000 |221124 | 0 | 0.0 | 182M| 166 | - | 305 |9239 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
284.11/284.17 c 267s|590000 |226188 | 0 | 0.0 | 186M| 166 | - | 305 |9839 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
287.90/287.97 c 271s|600000 |231031 | 0 | 0.0 | 191M| 166 | - | 305 | 10k| 0 | 0 | 0 | 655k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
291.91/291.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.91/291.98 c 275s|610000 |235707 | 0 | 0.0 | 196M| 166 | - | 305 | 11k| 0 | 0 | 0 | 663k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
296.00/296.08 c 279s|620000 |240392 | 0 | 0.0 | 201M| 166 | - | 305 | 12k| 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
300.50/300.55 c 283s|630000 |244773 | 0 | 0.0 | 205M| 166 | - | 305 | 12k| 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
305.01/305.06 c 287s|640000 |249220 | 0 | 0.0 | 209M| 166 | - | 305 | 12k| 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
309.70/309.77 c 291s|650000 |253355 | 0 | 0.0 | 214M| 166 | - | 305 | 13k| 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
314.31/314.33 c 296s|660000 |257721 | 0 | 0.0 | 218M| 166 | - | 305 | 13k| 0 | 0 | 0 | 703k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
319.10/319.18 c 300s|670000 |261760 | 0 | 0.0 | 223M| 166 | - | 305 | 13k| 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
324.00/324.03 c 305s|680000 |265865 | 0 | 0.0 | 227M| 166 | - | 305 | 14k| 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
328.91/328.92 c 309s|690000 |269978 | 0 | 0.0 | 232M| 166 | - | 305 | 14k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
334.11/334.16 c 314s|700000 |273711 | 0 | 0.0 | 236M| 166 | - | 305 | 14k| 0 | 0 | 0 | 737k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
339.20/339.28 c 319s|710000 |277536 | 0 | 0.0 | 241M| 166 | - | 305 | 14k| 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
344.31/344.35 c 324s|720000 |281357 | 0 | 0.0 | 245M| 166 | - | 305 | 15k| 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
349.90/349.94 c 329s|730000 |284768 | 0 | 0.0 | 250M| 166 | - | 305 | 15k| 0 | 0 | 0 | 764k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
355.51/355.59 c 334s|740000 |287988 | 0 | 0.0 | 254M| 166 | - | 305 | 15k| 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
361.21/361.20 c 340s|750000 |291278 | 0 | 0.0 | 259M| 166 | - | 305 | 16k| 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
366.90/366.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.90/366.99 c 345s|760000 |294316 | 0 | 0.0 | 263M| 166 | - | 305 | 17k| 0 | 0 | 0 | 793k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
373.01/373.08 c 351s|770000 |297232 | 0 | 0.0 | 268M| 166 | - | 305 | 17k| 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
379.51/379.58 c 357s|780000 |299755 | 0 | 0.0 | 272M| 166 | - | 305 | 17k| 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
386.11/386.11 c 363s|790000 |302299 | 0 | 0.0 | 277M| 166 | - | 305 | 18k| 0 | 0 | 0 | 824k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
392.72/392.73 c 369s|800000 |304941 | 0 | 0.0 | 281M| 166 | - | 305 | 19k| 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
399.71/399.71 c 376s|810000 |307308 | 0 | 0.0 | 285M| 166 | - | 305 | 20k| 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
406.81/406.89 c 383s|820000 |309489 | 0 | 0.0 | 289M| 166 | - | 305 | 20k| 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
414.01/414.04 c 389s|830000 |311711 | 0 | 0.0 | 294M| 166 | - | 305 | 21k| 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
421.22/421.23 c 396s|840000 |314074 | 0 | 0.0 | 298M| 166 | - | 305 | 22k| 0 | 0 | 0 | 875k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
428.81/428.84 c 403s|850000 |316082 | 0 | 0.0 | 302M| 166 | - | 305 | 23k| 0 | 0 | 0 | 886k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
436.42/436.45 c 411s|860000 |317855 | 0 | 0.0 | 306M| 166 | - | 305 | 25k| 0 | 0 | 0 | 897k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
445.11/445.15 c 419s|870000 |319373 | 0 | 0.0 | 307M| 166 | - | 305 | 18k| 0 | 0 | 0 | 908k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
448.72/448.77 c 422s|880000 |325580 | 0 | 0.0 | 308M| 166 | - | 305 |8455 | 0 | 0 | 0 | 914k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
454.32/454.39 c 427s|890000 |325197 | 0 | 0.0 | 308M| 166 | - | 305 | 13k| 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
461.71/461.70 c 434s|900000 |326406 | 0 | 0.0 | 307M| 166 | - | 305 | 11k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
466.92/466.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.92/466.92 c 439s|910000 |330686 | 0 | 0.0 | 311M| 166 | - | 305 | 11k| 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
471.62/471.63 c 444s|920000 |335338 | 0 | 0.0 | 315M| 166 | - | 305 | 11k| 0 | 0 | 0 | 961k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
476.41/476.42 c 448s|930000 |339834 | 0 | 0.0 | 319M| 166 | - | 305 | 11k| 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
481.41/481.46 c 453s|940000 |344307 | 0 | 0.0 | 324M| 166 | - | 305 | 12k| 0 | 0 | 0 | 978k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
486.11/486.17 c 457s|950000 |349067 | 0 | 0.0 | 328M| 166 | - | 305 | 12k| 0 | 0 | 0 | 986k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
491.31/491.36 c 462s|960000 |353369 | 0 | 0.0 | 333M| 166 | - | 305 | 13k| 0 | 0 | 0 | 994k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
496.62/496.66 c 467s|970000 |357603 | 0 | 0.0 | 338M| 166 | - | 305 | 13k| 0 | 0 | 0 |1003k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
501.82/501.85 c 472s|980000 |361918 | 0 | 0.0 | 342M| 166 | - | 305 | 14k| 0 | 0 | 0 |1011k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
507.62/507.66 c 478s|990000 |365840 | 0 | 0.0 | 347M| 166 | - | 305 | 14k| 0 | 0 | 0 |1020k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
514.22/514.20 c 484s| 1000k|369034 | 0 | 0.0 | 351M| 166 | - | 305 | 14k| 0 | 0 | 0 |1030k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
520.32/520.38 c 490s| 1010k|372393 | 0 | 0.0 | 356M| 166 | - | 305 | 16k| 0 | 0 | 0 |1040k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
527.02/527.09 c 497s| 1020k|375798 | 0 | 0.0 | 360M| 166 | - | 305 | 16k| 0 | 0 | 0 |1049k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
534.42/534.49 c 504s| 1030k|378600 | 0 | 0.0 | 364M| 166 | - | 305 | 17k| 0 | 0 | 0 |1060k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
540.92/540.98 c 510s| 1040k|382156 | 0 | 0.0 | 369M| 166 | - | 305 | 19k| 0 | 0 | 0 |1069k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
548.93/548.94 c 518s| 1050k|384955 | 0 | 0.0 | 373M| 166 | - | 305 | 18k| 0 | 0 | 0 |1079k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
556.52/556.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.52/556.52 c 525s| 1060k|387737 | 0 | 0.0 | 378M| 166 | - | 305 | 22k| 0 | 0 | 0 |1089k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
564.92/564.98 c 533s| 1070k|390432 | 0 | 0.0 | 381M| 166 | - | 305 | 21k| 0 | 0 | 0 |1099k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
573.32/573.34 c 541s| 1080k|393284 | 0 | 0.0 | 386M| 166 | - | 305 | 22k| 0 | 0 | 0 |1109k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
581.72/581.73 c 549s| 1090k|396199 | 0 | 0.0 | 390M| 166 | - | 305 | 23k| 0 | 0 | 0 |1120k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
590.82/590.89 c 558s| 1100k|398897 | 0 | 0.0 | 395M| 166 | - | 305 | 24k| 0 | 0 | 0 |1130k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
600.12/600.17 c 567s| 1110k|401364 | 0 | 0.0 | 399M| 166 | - | 305 | 24k| 0 | 0 | 0 |1140k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
610.12/610.14 c 577s| 1120k|403643 | 0 | 0.0 | 403M| 166 | - | 305 | 25k| 0 | 0 | 0 |1151k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
619.92/619.93 c 587s| 1130k|406032 | 0 | 0.0 | 407M| 166 | - | 305 | 26k| 0 | 0 | 0 |1162k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
630.22/630.26 c 597s| 1140k|408318 | 0 | 0.0 | 411M| 166 | - | 305 | 27k| 0 | 0 | 0 |1172k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
640.62/640.69 c 607s| 1150k|410579 | 0 | 0.0 | 415M| 166 | - | 305 | 27k| 0 | 0 | 0 |1183k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
652.52/652.59 c 618s| 1160k|412115 | 0 | 0.0 | 418M| 166 | - | 305 | 28k| 0 | 0 | 0 |1194k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
662.92/662.95 c 629s| 1170k|414384 | 0 | 0.0 | 423M| 166 | - | 305 | 29k| 0 | 0 | 0 |1205k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
675.43/675.49 c 641s| 1180k|415712 | 0 | 0.0 | 426M| 166 | - | 305 | 30k| 0 | 0 | 0 |1216k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
686.83/686.81 c 652s| 1190k|417727 | 0 | 0.0 | 431M| 166 | - | 305 | 32k| 0 | 0 | 0 |1227k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
700.63/700.69 c 665s| 1200k|418671 | 0 | 0.0 | 434M| 166 | - | 305 | 32k| 0 | 0 | 0 |1239k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
714.93/714.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.93/714.96 c 679s| 1210k|419445 | 0 | 0.0 | 437M| 166 | - | 305 | 33k| 0 | 0 | 0 |1251k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
727.83/727.85 c 692s| 1220k|420961 | 0 | 0.0 | 442M| 166 | - | 305 | 35k| 0 | 0 | 0 |1263k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
742.83/742.88 c 707s| 1230k|421420 | 0 | 0.0 | 445M| 166 | - | 305 | 34k| 0 | 0 | 0 |1275k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
757.93/757.92 c 722s| 1240k|421960 | 0 | 0.0 | 448M| 166 | - | 305 | 35k| 0 | 0 | 0 |1287k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
773.03/773.00 c 736s| 1250k|422591 | 0 | 0.0 | 452M| 166 | - | 305 | 36k| 0 | 0 | 0 |1299k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
787.54/787.53 c 751s| 1260k|423589 | 0 | 0.0 | 456M| 166 | - | 305 | 38k| 0 | 0 | 0 |1311k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
789.13/789.11 o 45
789.13/789.11 c * 752s| 1260k|372044 | 0 | 0.0 | 386M| 166 | - | 305 | 38k| 0 | 0 | 0 |1312k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
808.93/808.94 c 772s| 1270k|369481 | 0 | 0.0 | 391M| 166 | - | 305 | 32k| 0 | 0 | 0 |1328k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
827.43/827.43 c 790s| 1280k|367394 | 0 | 0.0 | 395M| 166 | - | 305 | 34k| 0 | 0 | 0 |1343k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
847.14/847.18 c 809s| 1290k|364622 | 0 | 0.0 | 398M| 166 | - | 305 | 36k| 0 | 0 | 0 |1360k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
867.53/867.56 c 829s| 1300k|361872 | 0 | 0.0 | 400M| 166 | - | 305 | 37k| 0 | 0 | 0 |1376k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
888.54/888.58 c 850s| 1310k|358987 | 0 | 0.0 | 403M| 166 | - | 305 | 41k| 0 | 0 | 0 |1393k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
912.04/912.09 c 873s| 1320k|354850 | 0 | 0.0 | 405M| 166 | - | 305 | 45k| 0 | 0 | 0 |1411k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
938.44/938.40 c 899s| 1330k|350499 | 0 | 0.0 | 400M| 166 | - | 305 | 29k| 0 | 0 | 0 |1429k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
948.03/948.10 c 908s| 1340k|354324 | 0 | 0.0 | 401M| 166 | - | 305 | 25k| 0 | 0 | 0 |1439k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
954.64/954.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.64/954.62 c 914s| 1350k|359764 | 0 | 0.0 | 403M| 166 | - | 305 | 20k| 0 | 0 | 0 |1447k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
959.63/959.62 c 919s| 1360k|365618 | 0 | 0.0 | 406M| 166 | - | 305 | 17k| 0 | 0 | 0 |1454k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
966.34/966.39 c 926s| 1370k|369239 | 0 | 0.0 | 411M| 166 | - | 305 | 18k| 0 | 0 | 0 |1466k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
975.74/975.75 c 935s| 1380k|370505 | 0 | 0.0 | 415M| 166 | - | 305 | 20k| 0 | 0 | 0 |1481k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
979.94/979.92 c 939s| 1390k|375789 | 0 | 0.0 | 415M| 166 | - | 305 | 10k| 0 | 0 | 0 |1490k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
991.04/991.10 c 950s| 1400k|371737 | 0 | 0.0 | 418M| 166 | - | 305 | 13k| 0 | 0 | 0 |1509k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1009.74/1009.74 c 968s| 1410k|365813 | 0 | 0.0 | 422M| 166 | - | 305 | 18k| 0 | 0 | 0 |1530k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1033.14/1033.10 c 991s| 1420k|358967 | 0 | 0.0 | 424M| 166 | - | 305 | 21k| 0 | 0 | 0 |1553k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1059.04/1059.09 c 1016s| 1430k|351461 | 0 | 0.0 | 425M| 166 | - | 305 | 23k| 0 | 0 | 0 |1576k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1087.25/1087.25 c 1044s| 1440k|343567 | 0 | 0.0 | 425M| 166 | - | 305 | 27k| 0 | 0 | 0 |1601k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1119.94/1119.97 c 1076s| 1450k|334806 | 0 | 0.0 | 424M| 166 | - | 305 | 31k| 0 | 0 | 0 |1626k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1155.14/1155.19 c 1111s| 1460k|326078 | 0 | 0.0 | 423M| 166 | - | 305 | 35k| 0 | 0 | 0 |1651k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1193.95/1193.97 c 1149s| 1470k|317075 | 0 | 0.0 | 422M| 166 | - | 305 | 39k| 0 | 0 | 0 |1675k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1237.95/1237.91 c 1193s| 1480k|307543 | 0 | 0.0 | 419M| 166 | - | 305 | 43k| 0 | 0 | 0 |1700k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1283.15/1283.19 c 1237s| 1490k|298449 | 0 | 0.0 | 416M| 166 | - | 305 | 48k| 0 | 0 | 0 |1724k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1332.76/1332.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1332.76/1332.71 c 1286s| 1500k|288528 | 0 | 0.0 | 412M| 166 | - | 305 | 52k| 0 | 0 | 0 |1748k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1349.06/1349.05 o 39
1349.06/1349.05 c *1302s| 1503k|216490 | 0 | 0.0 | 303M| 166 | - | 305 | 53k| 0 | 0 | 0 |1756k| 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1383.86/1383.84 c 1337s| 1510k|206398 | 0 | 0.0 | 293M| 166 | - | 305 | 44k| 0 | 0 | 0 |1777k| 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1424.66/1424.60 c 1377s| 1520k|193836 | 0 | 0.0 | 283M| 166 | - | 305 | 54k| 0 | 0 | 0 |1803k| 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1469.76/1469.72 c 1421s| 1530k|183265 | 0 | 0.0 | 268M| 166 | - | 305 | 43k| 0 | 0 | 0 |1827k| 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1490.36/1490.33 c 1442s| 1540k|183104 | 0 | 0.0 | 262M| 166 | - | 305 | 33k| 0 | 0 | 0 |1843k| 0 | 2.000000e+00 | 3.900000e+01 |1850.00%
1499.56/1499.59 o 38
1499.56/1499.59 c *1451s| 1547k|185935 | 0 | 0.0 | 262M| 166 | - | 305 | 31k| 0 | 0 | 0 |1852k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1501.96/1501.92 c 1453s| 1550k|186634 | 0 | 0.0 | 262M| 166 | - | 305 | 31k| 0 | 0 | 0 |1854k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1512.47/1512.42 c 1463s| 1560k|190430 | 0 | 0.0 | 263M| 166 | - | 305 | 28k| 0 | 0 | 0 |1866k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1522.26/1522.26 c 1473s| 1570k|194334 | 0 | 0.0 | 266M| 166 | - | 305 | 28k| 0 | 0 | 0 |1877k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1532.76/1532.78 c 1483s| 1580k|197787 | 0 | 0.0 | 270M| 166 | - | 305 | 28k| 0 | 0 | 0 |1889k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1544.06/1544.00 c 1494s| 1590k|200754 | 0 | 0.0 | 273M| 166 | - | 305 | 29k| 0 | 0 | 0 |1902k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1556.07/1556.01 c 1505s| 1600k|203308 | 0 | 0.0 | 276M| 166 | - | 305 | 30k| 0 | 0 | 0 |1914k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1570.36/1570.31 c 1519s| 1610k|204328 | 0 | 0.0 | 279M| 166 | - | 305 | 32k| 0 | 0 | 0 |1930k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1588.77/1588.79 c 1537s| 1620k|202974 | 0 | 0.0 | 281M| 166 | - | 305 | 35k| 0 | 0 | 0 |1947k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1605.27/1605.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1605.27/1605.22 c 1553s| 1630k|203647 | 0 | 0.0 | 276M| 166 | - | 305 | 17k| 0 | 0 | 0 |1962k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1609.67/1609.61 c 1557s| 1640k|209514 | 0 | 0.0 | 278M| 166 | - | 305 | 12k| 0 | 0 | 0 |1970k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1615.57/1615.53 c 1563s| 1650k|213125 | 0 | 0.0 | 283M| 166 | - | 305 | 15k| 0 | 0 | 0 |1984k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1625.66/1625.60 c 1573s| 1660k|212378 | 0 | 0.0 | 284M| 166 | - | 305 | 15k| 0 | 0 | 0 |2001k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1629.97/1629.91 c 1577s| 1670k|216817 | 0 | 0.0 | 284M| 166 | - | 305 |5236 | 0 | 0 | 0 |2012k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1642.67/1642.64 c 1589s| 1680k|206726 | 0 | 0.0 | 276M| 166 | - | 305 | 19k| 0 | 0 | 0 |2041k| 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
1650.57/1650.53 o 12
1650.57/1650.53 c *1597s| 1682k|115935 | 0 | 0.0 | 155M| 166 | - | 305 | 24k| 0 | 0 | 0 |2049k| 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
1673.97/1673.93 c 1620s| 1690k|101454 | 0 | 0.0 | 124M| 166 | - | 305 | 22k| 0 | 0 | 0 |2071k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1693.87/1693.81 c 1639s| 1700k| 96854 | 0 | 0.0 | 124M| 166 | - | 305 | 26k| 0 | 0 | 0 |2094k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1718.28/1718.20 c 1663s| 1710k| 91716 | 0 | 0.0 | 126M| 166 | - | 305 | 33k| 0 | 0 | 0 |2118k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1749.08/1749.01 c 1694s| 1720k| 84890 | 0 | 0.0 | 125M| 166 | - | 305 | 40k| 0 | 0 | 0 |2142k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1788.98/1788.90 c 1733s| 1730k| 74855 | 0 | 0.0 | 119M| 166 | - | 305 | 50k| 0 | 0 | 0 |2169k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.01 c
1800.08/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.01 c Solving Time (sec) : 1744.03
1800.08/1800.01 c Solving Nodes : 1733706
1800.08/1800.01 c Primal Bound : +1.20000000000000e+01 (18 solutions)
1800.08/1800.01 c Dual Bound : +4.00000000000000e+00
1800.08/1800.01 c Gap : 200.00 %
1800.08/1800.01 s SATISFIABLE
1800.08/1800.01 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148
1800.08/1800.01 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.08/1800.01 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106
1800.08/1800.01 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
1800.08/1800.01 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
1800.08/1800.01 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
1800.08/1800.01 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
1800.08/1800.01 v -x4 -x3 x2 -x1
1800.08/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.01 c Solving Time : 1744.03
1800.08/1800.01 c Original Problem :
1800.08/1800.01 c Problem name : HOME/instance-2693882-1277896365.wbo
1800.08/1800.01 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.08/1800.01 c Constraints : 171 initial, 171 maximal
1800.08/1800.01 c Presolved Problem :
1800.08/1800.01 c Problem name : t_HOME/instance-2693882-1277896365.wbo
1800.08/1800.01 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.08/1800.01 c Constraints : 166 initial, 62457 maximal
1800.08/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.08/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.01 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.08/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c linear : 0.00 0 0 0 68 0 4 1 0
1800.08/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c root node : - 14 - - 28 - - - -
1800.08/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.01 c indicator : 68 0 5011944 0 1138832 16169 2848031 0 0 0
1800.08/1800.01 c setppc : 20 0 5399584 0 1215204 29358 4240771 0 0 0
1800.08/1800.01 c linear : 68 0 5370270 0 1215215 532392 25605887 0 0 0
1800.08/1800.01 c logicor : 10+ 0 2490969 0 1215180 150625 1644608 0 0 0
1800.08/1800.01 c bounddisjunction : 0+ 0 200768 0 0 0 8810 0 0 0
1800.08/1800.01 c countsols : 0 0 0 0 1215231 0 0 0 0 0
1800.08/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.01 c indicator : 4.37 0.00 3.01 0.00 1.36
1800.08/1800.01 c setppc : 11.49 0.00 8.88 0.00 2.61
1800.08/1800.01 c linear : 121.35 0.00 121.28 0.00 0.07
1800.08/1800.01 c logicor : 816.12 0.00 815.39 0.00 0.73
1800.08/1800.01 c bounddisjunction : 1.37 0.00 1.37 0.00 0.00
1800.08/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.01 c vbounds : 0.02 2 0 0
1800.08/1800.01 c rootredcost : 0.00 0 0 0
1800.08/1800.01 c pseudoobj : 14.04 5424209 8586 2593915
1800.08/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.01 c propagation : 41.75 720960 720538 3953727 23.8 190529 14.0 -
1800.08/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c pseudo solution : 0.00 141 141 445 13.3 29 14.3 -
1800.08/1800.01 c applied globally : - - - 2133105 17.7 - - -
1800.08/1800.01 c applied locally : - - - 42282 36.5 - - -
1800.08/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.01 c redcost : 0.00 0 0 0 0 0
1800.08/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.01 c intobj : 0.00 0 0 0 0 0
1800.08/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.01 c gomory : 0.00 0 0 0 0 0
1800.08/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.01 c cmir : 0.00 0 0 0 0 0
1800.08/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.01 c clique : 0.00 0 0 0 0 0
1800.08/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.01 c mcf : 0.00 0 0 0 0 0
1800.08/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.01 c Pricers : Time Calls Vars
1800.08/1800.01 c problem variables: 0.00 0 0
1800.08/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.01 c inference : 9.43 1215213 0 0 0 0 2430426
1800.08/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.01 c random : 0.00 0 0 0 0 0 0
1800.08/1800.01 c Primal Heuristics : Time Calls Found
1800.08/1800.01 c LP solutions : 0.00 - 0
1800.08/1800.01 c pseudo solutions : 0.55 - 18
1800.08/1800.01 c oneopt : 0.15 0 0
1800.08/1800.01 c trivial : 0.00 2 0
1800.08/1800.01 c simplerounding : 0.00 0 0
1800.08/1800.01 c zirounding : 0.00 0 0
1800.08/1800.01 c rounding : 0.00 0 0
1800.08/1800.01 c shifting : 0.00 0 0
1800.08/1800.01 c intshifting : 0.00 0 0
1800.08/1800.01 c twoopt : 0.00 0 0
1800.08/1800.01 c fixandinfer : 0.00 0 0
1800.08/1800.01 c feaspump : 0.00 0 0
1800.08/1800.01 c coefdiving : 0.00 0 0
1800.08/1800.01 c pscostdiving : 0.00 0 0
1800.08/1800.01 c fracdiving : 0.00 0 0
1800.08/1800.01 c veclendiving : 0.00 0 0
1800.08/1800.01 c intdiving : 0.00 0 0
1800.08/1800.01 c actconsdiving : 0.00 0 0
1800.08/1800.01 c objpscostdiving : 0.00 0 0
1800.08/1800.01 c rootsoldiving : 0.00 0 0
1800.08/1800.01 c linesearchdiving : 0.00 0 0
1800.08/1800.01 c guideddiving : 0.00 0 0
1800.08/1800.01 c octane : 0.00 0 0
1800.08/1800.01 c rens : 0.00 0 0
1800.08/1800.01 c rins : 0.00 0 0
1800.08/1800.01 c localbranching : 0.00 0 0
1800.08/1800.01 c mutation : 0.00 0 0
1800.08/1800.01 c crossover : 0.00 0 0
1800.08/1800.01 c dins : 0.00 0 0
1800.08/1800.01 c undercover : 0.00 0 0
1800.08/1800.01 c nlp : 0.01 0 0
1800.08/1800.01 c trysol : 0.01 1 0
1800.08/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.01 c (at root node) : - 0 0 0.00 -
1800.08/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.01 c B&B Tree :
1800.08/1800.01 c number of runs : 1
1800.08/1800.01 c nodes : 1733706
1800.08/1800.01 c nodes (total) : 1733706
1800.08/1800.01 c nodes left : 74435
1800.08/1800.01 c max depth : 166
1800.08/1800.01 c max depth (total): 166
1800.08/1800.01 c backtracks : 588064 (33.9%)
1800.08/1800.01 c delayed cutoffs : 406090
1800.08/1800.01 c repropagations : 2190459 (9129128 domain reductions, 218796 cutoffs)
1800.08/1800.01 c avg switch length: 24.83
1800.08/1800.01 c switching time : 566.22
1800.08/1800.01 c Solution :
1800.08/1800.01 c Solutions found : 18 (18 improvements)
1800.08/1800.01 c First Solution : +6.13000000000000e+02 (in run 1, after 146990 nodes, 57.68 seconds, depth 109, found by <relaxation>)
1800.08/1800.01 c Primal Bound : +1.20000000000000e+01 (in run 1, after 1682514 nodes, 1596.36 seconds, depth 72, found by <relaxation>)
1800.08/1800.01 c Dual Bound : +4.00000000000000e+00
1800.08/1800.01 c Gap : 200.00 %
1800.08/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.01 c Root Iterations : 0
1800.27/1800.29 c Time complete: 1800.37.