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-2694004-1277899667.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.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.49/1.53 c 1.4s| 10000 | 6259 | 0 | 0.0 |7315k| 159 | - | 305 |4987 | 0 | 0 | 0 |8049 | 0 | 0.000000e+00 | -- | Inf
3.69/3.72 c 3.5s| 20000 | 11912 | 0 | 0.0 | 12M| 159 | - | 305 |7288 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
7.09/7.17 c 6.9s| 30000 | 15634 | 0 | 0.0 | 18M| 159 | - | 305 | 11k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
11.89/11.93 c 11.5s| 40000 | 17193 | 0 | 0.0 | 23M| 159 | - | 305 | 16k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
14.19/14.28 c 13.8s| 50000 | 23645 | 0 | 0.0 | 24M| 159 | - | 305 |6288 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
15.40/15.46 c 14.9s| 60000 | 31937 | 0 | 0.0 | 27M| 159 | - | 305 |4447 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
19.89/19.98 c 19.3s| 70000 | 33739 | 0 | 0.0 | 33M| 159 | - | 305 | 12k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
27.50/27.51 c 26.7s| 80000 | 33485 | 0 | 0.0 | 39M| 159 | - | 305 | 20k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
37.40/37.48 c 36.6s| 90000 | 32400 | 0 | 0.0 | 42M| 159 | - | 305 | 25k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
46.29/46.34 c 45.3s|100000 | 33378 | 0 | 0.0 | 37M| 159 | - | 305 |6245 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
49.39/49.43 c 48.3s|110000 | 38702 | 0 | 0.0 | 42M| 159 | - | 305 |8172 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
53.19/53.23 c 52.0s|120000 | 42948 | 0 | 0.0 | 47M| 159 | - | 305 | 11k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
57.79/57.85 o 659
57.79/57.85 c *56.5s|128698 | 44947 | 0 | 0.0 | 51M| 159 | - | 305 | 14k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 6.590000e+02 | Inf
57.89/57.90 o 616
57.89/57.90 c *56.6s|129135 | 45373 | 0 | 0.0 | 51M| 159 | - | 305 | 14k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 6.160000e+02 | Inf
57.89/57.95 o 608
57.89/57.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.89/57.95 c *56.6s|129574 | 45806 | 0 | 0.0 | 51M| 159 | - | 305 | 13k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 6.080000e+02 | Inf
57.89/57.95 o 455
57.89/57.95 c *56.6s|129575 | 45803 | 0 | 0.0 | 51M| 159 | - | 305 | 13k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 4.550000e+02 | Inf
57.99/58.01 c 56.6s|130000 | 46212 | 0 | 0.0 | 51M| 159 | - | 305 | 12k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 4.550000e+02 | Inf
58.59/58.62 o 153
58.59/58.62 c *57.2s|136860 | 51757 | 0 | 0.0 | 49M| 159 | - | 305 | 754 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
58.79/58.89 c 57.5s|140000 | 54595 | 0 | 0.0 | 50M| 159 | - | 305 | 959 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.530000e+02 | Inf
59.40/59.41 o 150
59.40/59.41 c *58.0s|145291 | 58861 | 0 | 0.0 | 53M| 159 | - | 305 |1407 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
59.79/59.88 o 140
59.79/59.88 c *58.4s|149570 | 62285 | 0 | 0.0 | 54M| 159 | - | 305 |1708 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
59.89/59.90 o 136
59.89/59.90 c *58.4s|149772 | 62367 | 0 | 0.0 | 54M| 159 | - | 305 |1720 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
59.89/59.93 c 58.4s|150000 | 62551 | 0 | 0.0 | 54M| 159 | - | 305 |1762 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
60.49/60.54 o 131
60.49/60.54 c *59.0s|155368 | 66972 | 0 | 0.0 | 57M| 159 | - | 305 |2245 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
61.09/61.13 c 59.5s|160000 | 70766 | 0 | 0.0 | 59M| 159 | - | 305 |2789 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
61.29/61.36 o 124
61.29/61.36 c *59.8s|161617 | 71916 | 0 | 0.0 | 60M| 159 | - | 305 |2972 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
61.79/61.87 o 123
61.79/61.87 c *60.2s|164923 | 74444 | 0 | 0.0 | 61M| 159 | - | 305 |3468 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
61.79/61.87 o 118
61.79/61.87 c *60.2s|164924 | 73315 | 0 | 0.0 | 61M| 159 | - | 305 |3468 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
62.10/62.15 o 115
62.10/62.15 c *60.5s|166516 | 74185 | 0 | 0.0 | 62M| 159 | - | 305 |3748 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
62.29/62.36 o 100
62.29/62.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.29/62.36 c *60.7s|167643 | 74448 | 0 | 0.0 | 62M| 159 | - | 305 |3934 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
62.39/62.43 o 73
62.39/62.43 c *60.8s|167928 | 65930 | 0 | 0.0 | 58M| 159 | - | 305 |3918 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
62.89/62.91 c 61.2s|170000 | 67034 | 0 | 0.0 | 59M| 159 | - | 305 |3907 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
69.60/69.65 c 67.8s|180000 | 65244 | 0 | 0.0 | 64M| 159 | - | 305 | 15k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
84.49/84.57 c 82.6s|190000 | 59567 | 0 | 0.0 | 61M| 159 | - | 305 | 28k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
95.10/95.18 c 93.1s|200000 | 60406 | 0 | 0.0 | 55M| 159 | - | 305 | 12k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
102.39/102.44 c 100s|210000 | 62056 | 0 | 0.0 | 59M| 159 | - | 305 | 16k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
111.10/111.17 c 109s|220000 | 63271 | 0 | 0.0 | 64M| 159 | - | 305 | 21k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
121.69/121.70 c 119s|230000 | 63743 | 0 | 0.0 | 67M| 159 | - | 305 | 25k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
134.10/134.13 c 132s|240000 | 63148 | 0 | 0.0 | 69M| 159 | - | 305 | 30k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
138.30/138.30 c 136s|250000 | 70367 | 0 | 0.0 | 66M| 159 | - | 305 |5477 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
140.39/140.47 c 138s|260000 | 77872 | 0 | 0.0 | 71M| 159 | - | 305 |6457 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
142.90/142.98 c 140s|270000 | 85148 | 0 | 0.0 | 76M| 159 | - | 305 |8547 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
146.10/146.19 c 143s|280000 | 92171 | 0 | 0.0 | 81M| 159 | - | 305 |9875 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
149.50/149.51 c 146s|290000 | 99194 | 0 | 0.0 | 85M| 159 | - | 305 | 10k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
153.09/153.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.09/153.15 c 150s|300000 |106059 | 0 | 0.0 | 89M| 159 | - | 305 | 11k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
156.79/156.82 c 154s|310000 |112712 | 0 | 0.0 | 94M| 159 | - | 305 | 11k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
160.79/160.80 c 157s|320000 |119067 | 0 | 0.0 | 98M| 159 | - | 305 | 11k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
164.60/164.69 c 161s|330000 |125213 | 0 | 0.0 | 102M| 159 | - | 305 | 11k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
168.69/168.75 c 165s|340000 |131064 | 0 | 0.0 | 106M| 159 | - | 305 | 11k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
173.29/173.36 c 170s|350000 |136327 | 0 | 0.0 | 110M| 159 | - | 305 | 12k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
178.20/178.22 c 174s|360000 |141077 | 0 | 0.0 | 114M| 159 | - | 305 | 12k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
183.89/183.95 c 180s|370000 |144842 | 0 | 0.0 | 118M| 159 | - | 305 | 13k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
191.19/191.21 c 187s|380000 |146859 | 0 | 0.0 | 121M| 159 | - | 305 | 14k| 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
198.70/198.77 c 195s|390000 |148339 | 0 | 0.0 | 124M| 159 | - | 305 | 12k| 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
210.29/210.35 c 206s|400000 |146799 | 0 | 0.0 | 128M| 159 | - | 305 | 23k| 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
227.10/227.16 c 223s|410000 |144155 | 0 | 0.0 | 129M| 159 | - | 305 | 32k| 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
247.60/247.65 c 243s|420000 |140986 | 0 | 0.0 | 130M| 159 | - | 305 | 41k| 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
260.39/260.49 c 256s|430000 |144607 | 0 | 0.0 | 124M| 159 | - | 305 | 15k| 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
265.01/265.02 c 260s|440000 |151002 | 0 | 0.0 | 128M| 159 | - | 305 | 12k| 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
269.59/269.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.59/269.68 c 265s|450000 |157044 | 0 | 0.0 | 132M| 159 | - | 305 | 12k| 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
274.20/274.30 c 269s|460000 |163154 | 0 | 0.0 | 137M| 159 | - | 305 | 12k| 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
279.10/279.12 c 274s|470000 |168969 | 0 | 0.0 | 141M| 159 | - | 305 | 13k| 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
284.10/284.17 c 279s|480000 |174382 | 0 | 0.0 | 145M| 159 | - | 305 | 11k| 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
288.39/288.40 c 283s|490000 |179895 | 0 | 0.0 | 149M| 159 | - | 305 | 10k| 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
292.51/292.57 c 287s|500000 |185221 | 0 | 0.0 | 153M| 159 | - | 305 | 10k| 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
296.60/296.67 c 291s|510000 |190551 | 0 | 0.0 | 158M| 159 | - | 305 | 10k| 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
300.80/300.83 c 295s|520000 |195705 | 0 | 0.0 | 162M| 159 | - | 305 | 11k| 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
305.20/305.24 c 300s|530000 |200619 | 0 | 0.0 | 166M| 159 | - | 305 | 11k| 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
309.40/309.45 c 304s|540000 |205659 | 0 | 0.0 | 171M| 159 | - | 305 | 11k| 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
314.10/314.15 c 308s|550000 |210129 | 0 | 0.0 | 175M| 159 | - | 305 | 11k| 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
318.71/318.76 c 313s|560000 |214839 | 0 | 0.0 | 179M| 159 | - | 305 | 11k| 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
323.20/323.21 c 317s|570000 |219338 | 0 | 0.0 | 184M| 159 | - | 305 | 11k| 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
327.60/327.63 c 321s|580000 |223729 | 0 | 0.0 | 188M| 159 | - | 305 | 12k| 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
332.00/332.02 c 326s|590000 |228480 | 0 | 0.0 | 193M| 159 | - | 305 | 12k| 0 | 0 | 0 | 663k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
336.80/336.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.80/336.84 c 330s|600000 |232702 | 0 | 0.0 | 197M| 159 | - | 305 | 12k| 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
341.50/341.51 c 335s|610000 |237097 | 0 | 0.0 | 201M| 159 | - | 305 | 12k| 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
346.20/346.20 c 340s|620000 |241630 | 0 | 0.0 | 205M| 159 | - | 305 | 13k| 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
350.91/350.98 c 344s|630000 |246137 | 0 | 0.0 | 209M| 159 | - | 305 | 14k| 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
356.10/356.12 c 349s|640000 |250272 | 0 | 0.0 | 213M| 159 | - | 305 | 13k| 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
361.60/361.68 c 355s|650000 |253980 | 0 | 0.0 | 217M| 159 | - | 305 | 13k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
367.41/367.41 c 360s|660000 |257629 | 0 | 0.0 | 221M| 159 | - | 305 | 13k| 0 | 0 | 0 | 740k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
373.20/373.26 c 366s|670000 |261170 | 0 | 0.0 | 225M| 159 | - | 305 | 14k| 0 | 0 | 0 | 752k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
378.80/378.88 c 372s|680000 |264529 | 0 | 0.0 | 225M| 159 | - | 305 |3816 | 0 | 0 | 0 | 764k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
382.60/382.60 c 375s|690000 |267588 | 0 | 0.0 | 229M| 159 | - | 305 |5116 | 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
386.60/386.62 c 379s|700000 |270241 | 0 | 0.0 | 233M| 159 | - | 305 |6897 | 0 | 0 | 0 | 784k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
391.10/391.13 c 384s|710000 |272283 | 0 | 0.0 | 236M| 159 | - | 305 |7000 | 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
396.00/396.05 c 388s|720000 |274306 | 0 | 0.0 | 239M| 159 | - | 305 |7773 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
401.51/401.57 c 394s|730000 |275632 | 0 | 0.0 | 242M| 159 | - | 305 |8719 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
407.60/407.68 c 400s|740000 |276140 | 0 | 0.0 | 245M| 159 | - | 305 |8942 | 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
414.40/414.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.40/414.41 c 406s|750000 |275558 | 0 | 0.0 | 248M| 159 | - | 305 | 10k| 0 | 0 | 0 | 842k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
420.00/420.03 c 412s|760000 |276764 | 0 | 0.0 | 248M| 159 | - | 305 |3258 | 0 | 0 | 0 | 853k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
422.10/422.14 c 414s|770000 |282774 | 0 | 0.0 | 251M| 159 | - | 305 |2693 | 0 | 0 | 0 | 859k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
424.50/424.57 c 416s|780000 |287943 | 0 | 0.0 | 256M| 159 | - | 305 |3744 | 0 | 0 | 0 | 867k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
427.61/427.62 c 419s|790000 |292800 | 0 | 0.0 | 260M| 159 | - | 305 |5057 | 0 | 0 | 0 | 876k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
431.00/431.06 c 422s|800000 |297213 | 0 | 0.0 | 265M| 159 | - | 305 |6575 | 0 | 0 | 0 | 886k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
434.91/434.93 c 426s|810000 |301107 | 0 | 0.0 | 269M| 159 | - | 305 |7033 | 0 | 0 | 0 | 896k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
438.71/438.78 c 430s|820000 |305087 | 0 | 0.0 | 274M| 159 | - | 305 |7944 | 0 | 0 | 0 | 905k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
443.00/443.07 c 434s|830000 |308794 | 0 | 0.0 | 278M| 159 | - | 305 |8749 | 0 | 0 | 0 | 915k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
447.31/447.30 c 438s|840000 |312459 | 0 | 0.0 | 282M| 159 | - | 305 |9012 | 0 | 0 | 0 | 925k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
451.70/451.75 c 443s|850000 |315843 | 0 | 0.0 | 286M| 159 | - | 305 |9151 | 0 | 0 | 0 | 935k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
456.31/456.34 c 447s|860000 |319027 | 0 | 0.0 | 289M| 159 | - | 305 |9157 | 0 | 0 | 0 | 945k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
460.50/460.55 c 451s|870000 |322721 | 0 | 0.0 | 293M| 159 | - | 305 |8945 | 0 | 0 | 0 | 955k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
465.11/465.20 c 456s|880000 |326089 | 0 | 0.0 | 297M| 159 | - | 305 |9097 | 0 | 0 | 0 | 964k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
470.21/470.28 c 461s|890000 |328693 | 0 | 0.0 | 301M| 159 | - | 305 | 10k| 0 | 0 | 0 | 975k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
475.31/475.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.31/475.38 c 466s|900000 |331399 | 0 | 0.0 | 304M| 159 | - | 305 | 10k| 0 | 0 | 0 | 985k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
480.41/480.43 c 471s|910000 |334456 | 0 | 0.0 | 308M| 159 | - | 305 | 10k| 0 | 0 | 0 | 995k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
485.50/485.52 c 476s|920000 |337363 | 0 | 0.0 | 312M| 159 | - | 305 | 11k| 0 | 0 | 0 |1006k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
490.70/490.71 c 481s|930000 |339996 | 0 | 0.0 | 315M| 159 | - | 305 | 11k| 0 | 0 | 0 |1016k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
496.21/496.26 c 486s|940000 |342702 | 0 | 0.0 | 318M| 159 | - | 305 | 11k| 0 | 0 | 0 |1027k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
501.80/501.84 c 492s|950000 |345526 | 0 | 0.0 | 322M| 159 | - | 305 | 12k| 0 | 0 | 0 |1037k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
507.90/507.99 c 498s|960000 |347522 | 0 | 0.0 | 325M| 159 | - | 305 | 12k| 0 | 0 | 0 |1048k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
513.50/513.57 c 503s|970000 |350372 | 0 | 0.0 | 329M| 159 | - | 305 | 12k| 0 | 0 | 0 |1058k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
519.71/519.73 c 509s|980000 |352626 | 0 | 0.0 | 333M| 159 | - | 305 | 14k| 0 | 0 | 0 |1069k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
526.31/526.31 c 516s|990000 |354546 | 0 | 0.0 | 336M| 159 | - | 305 | 14k| 0 | 0 | 0 |1081k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
532.31/532.39 c 522s| 1000k|357430 | 0 | 0.0 | 340M| 159 | - | 305 | 13k| 0 | 0 | 0 |1091k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
539.71/539.73 c 529s| 1010k|358569 | 0 | 0.0 | 343M| 159 | - | 305 | 14k| 0 | 0 | 0 |1102k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
546.71/546.72 c 536s| 1020k|360326 | 0 | 0.0 | 346M| 159 | - | 305 | 15k| 0 | 0 | 0 |1114k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
553.81/553.84 c 543s| 1030k|362386 | 0 | 0.0 | 350M| 159 | - | 305 | 14k| 0 | 0 | 0 |1125k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
562.41/562.46 c 551s| 1040k|363332 | 0 | 0.0 | 353M| 159 | - | 305 | 16k| 0 | 0 | 0 |1137k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
567.81/567.89 o 60
567.81/567.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.81/567.89 c * 556s| 1046k|348710 | 0 | 0.0 | 333M| 159 | - | 305 | 16k| 0 | 0 | 0 |1144k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
571.60/571.62 c 560s| 1050k|348265 | 0 | 0.0 | 333M| 159 | - | 305 | 12k| 0 | 0 | 0 |1151k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
580.91/580.90 c 569s| 1060k|346747 | 0 | 0.0 | 335M| 159 | - | 305 | 11k| 0 | 0 | 0 |1167k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
589.31/589.32 c 577s| 1070k|345199 | 0 | 0.0 | 337M| 159 | - | 305 | 10k| 0 | 0 | 0 |1184k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
599.31/599.32 c 586s| 1080k|341623 | 0 | 0.0 | 338M| 159 | - | 305 | 10k| 0 | 0 | 0 |1203k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
610.20/610.27 c 597s| 1090k|338391 | 0 | 0.0 | 339M| 159 | - | 305 | 12k| 0 | 0 | 0 |1221k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
622.71/622.78 c 609s| 1100k|334969 | 0 | 0.0 | 341M| 159 | - | 305 | 13k| 0 | 0 | 0 |1240k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
637.21/637.23 c 623s| 1110k|330607 | 0 | 0.0 | 342M| 159 | - | 305 | 16k| 0 | 0 | 0 |1258k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
654.91/654.95 c 640s| 1120k|324375 | 0 | 0.0 | 340M| 159 | - | 305 | 17k| 0 | 0 | 0 |1277k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
668.41/668.46 c 653s| 1130k|321443 | 0 | 0.0 | 337M| 159 | - | 305 | 10k| 0 | 0 | 0 |1293k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
673.41/673.45 c 658s| 1140k|324457 | 0 | 0.0 | 339M| 159 | - | 305 |9811 | 0 | 0 | 0 |1305k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
678.52/678.58 c 662s| 1150k|327572 | 0 | 0.0 | 340M| 159 | - | 305 |9326 | 0 | 0 | 0 |1316k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
682.61/682.64 c 666s| 1160k|332034 | 0 | 0.0 | 343M| 159 | - | 305 |8795 | 0 | 0 | 0 |1325k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
686.51/686.53 c 670s| 1170k|336983 | 0 | 0.0 | 346M| 159 | - | 305 |9117 | 0 | 0 | 0 |1334k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
690.82/690.89 c 674s| 1180k|341470 | 0 | 0.0 | 350M| 159 | - | 305 | 10k| 0 | 0 | 0 |1344k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
697.11/697.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.11/697.14 c 680s| 1190k|343438 | 0 | 0.0 | 354M| 159 | - | 305 | 11k| 0 | 0 | 0 |1357k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
700.42/700.40 c 683s| 1200k|349076 | 0 | 0.0 | 356M| 159 | - | 305 |5934 | 0 | 0 | 0 |1365k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
705.31/705.38 c 687s| 1210k|349887 | 0 | 0.0 | 360M| 159 | - | 305 |8557 | 0 | 0 | 0 |1379k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
713.41/713.40 c 695s| 1220k|350289 | 0 | 0.0 | 365M| 159 | - | 305 | 12k| 0 | 0 | 0 |1396k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
725.02/725.03 c 706s| 1230k|349463 | 0 | 0.0 | 369M| 159 | - | 305 | 16k| 0 | 0 | 0 |1414k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
739.41/739.42 c 720s| 1240k|347902 | 0 | 0.0 | 371M| 159 | - | 305 | 17k| 0 | 0 | 0 |1432k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
755.72/755.75 c 736s| 1250k|345823 | 0 | 0.0 | 374M| 159 | - | 305 | 19k| 0 | 0 | 0 |1451k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
774.02/774.03 c 754s| 1260k|343103 | 0 | 0.0 | 376M| 159 | - | 305 | 21k| 0 | 0 | 0 |1470k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
793.72/793.73 c 773s| 1270k|340005 | 0 | 0.0 | 378M| 159 | - | 305 | 22k| 0 | 0 | 0 |1490k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
814.81/814.85 c 794s| 1280k|336410 | 0 | 0.0 | 379M| 159 | - | 305 | 23k| 0 | 0 | 0 |1509k| 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
818.72/818.75 o 56
818.72/818.75 c * 797s| 1281k|333947 | 0 | 0.0 | 376M| 159 | - | 305 | 23k| 0 | 0 | 0 |1513k| 0 | 2.000000e+00 | 5.600000e+01 |2700.00%
836.91/836.91 c 815s| 1290k|330714 | 0 | 0.0 | 377M| 159 | - | 305 | 23k| 0 | 0 | 0 |1528k| 0 | 2.000000e+00 | 5.600000e+01 |2700.00%
861.23/861.20 c 839s| 1300k|325940 | 0 | 0.0 | 378M| 159 | - | 305 | 24k| 0 | 0 | 0 |1549k| 0 | 2.000000e+00 | 5.600000e+01 |2700.00%
887.81/887.85 c 865s| 1310k|319904 | 0 | 0.0 | 377M| 159 | - | 305 | 26k| 0 | 0 | 0 |1570k| 0 | 2.000000e+00 | 5.600000e+01 |2700.00%
917.72/917.79 c 895s| 1320k|312894 | 0 | 0.0 | 376M| 159 | - | 305 | 28k| 0 | 0 | 0 |1592k| 0 | 2.000000e+00 | 5.600000e+01 |2700.00%
949.72/949.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.72/949.73 c 926s| 1330k|305859 | 0 | 0.0 | 373M| 159 | - | 305 | 29k| 0 | 0 | 0 |1613k| 0 | 2.000000e+00 | 5.600000e+01 |2700.00%
983.32/983.33 c 959s| 1340k|298238 | 0 | 0.0 | 368M| 159 | - | 305 | 31k| 0 | 0 | 0 |1634k| 0 | 2.000000e+00 | 5.600000e+01 |2700.00%
1022.52/1022.52 c 998s| 1350k|288987 | 0 | 0.0 | 363M| 159 | - | 305 | 37k| 0 | 0 | 0 |1655k| 0 | 2.000000e+00 | 5.600000e+01 |2700.00%
1029.53/1029.56 o 45
1029.53/1029.56 c *1004s| 1351k|274406 | 0 | 0.0 | 343M| 159 | - | 305 | 38k| 0 | 0 | 0 |1658k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1056.72/1056.79 c 1031s| 1360k|270257 | 0 | 0.0 | 336M| 159 | - | 305 | 19k| 0 | 0 | 0 |1675k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1073.92/1073.96 c 1048s| 1370k|268460 | 0 | 0.0 | 336M| 159 | - | 305 | 21k| 0 | 0 | 0 |1693k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1085.52/1085.58 c 1059s| 1380k|270347 | 0 | 0.0 | 335M| 159 | - | 305 | 16k| 0 | 0 | 0 |1706k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1093.12/1093.13 c 1066s| 1390k|274217 | 0 | 0.0 | 338M| 159 | - | 305 | 16k| 0 | 0 | 0 |1716k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1101.32/1101.34 c 1074s| 1400k|277639 | 0 | 0.0 | 342M| 159 | - | 305 | 17k| 0 | 0 | 0 |1728k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1110.32/1110.36 c 1083s| 1410k|280401 | 0 | 0.0 | 345M| 159 | - | 305 | 17k| 0 | 0 | 0 |1741k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1120.42/1120.49 c 1093s| 1420k|282382 | 0 | 0.0 | 349M| 159 | - | 305 | 18k| 0 | 0 | 0 |1755k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1132.22/1132.24 c 1104s| 1430k|283447 | 0 | 0.0 | 352M| 159 | - | 305 | 19k| 0 | 0 | 0 |1770k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1146.32/1146.37 c 1118s| 1440k|282702 | 0 | 0.0 | 355M| 159 | - | 305 | 22k| 0 | 0 | 0 |1787k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1160.92/1160.98 c 1132s| 1450k|282701 | 0 | 0.0 | 351M| 159 | - | 305 |9082 | 0 | 0 | 0 |1801k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1163.92/1163.95 c 1135s| 1460k|288906 | 0 | 0.0 | 354M| 159 | - | 305 |7293 | 0 | 0 | 0 |1809k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1167.72/1167.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.72/1167.79 c 1138s| 1470k|293042 | 0 | 0.0 | 359M| 159 | - | 305 |7917 | 0 | 0 | 0 |1820k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1174.52/1174.51 c 1145s| 1480k|293068 | 0 | 0.0 | 362M| 159 | - | 305 | 12k| 0 | 0 | 0 |1836k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1177.92/1177.98 c 1148s| 1490k|298689 | 0 | 0.0 | 364M| 159 | - | 305 |4341 | 0 | 0 | 0 |1844k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1187.32/1187.35 c 1157s| 1500k|293388 | 0 | 0.0 | 362M| 159 | - | 305 | 13k| 0 | 0 | 0 |1864k| 0 | 2.000000e+00 | 4.500000e+01 |2150.00%
1190.63/1190.68 o 17
1190.63/1190.68 c *1160s| 1501k|158567 | 0 | 0.0 | 194M| 159 | - | 305 | 15k| 0 | 0 | 0 |1868k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1217.03/1217.06 c 1186s| 1510k|136102 | 0 | 0.0 | 161M| 159 | - | 305 | 16k| 0 | 0 | 0 |1895k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1238.64/1238.68 c 1207s| 1520k|131097 | 0 | 0.0 | 162M| 159 | - | 305 | 24k| 0 | 0 | 0 |1918k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1271.92/1271.91 c 1240s| 1530k|122895 | 0 | 0.0 | 160M| 159 | - | 305 | 31k| 0 | 0 | 0 |1943k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1297.83/1297.83 c 1265s| 1540k|113870 | 0 | 0.0 | 144M| 159 | - | 305 | 13k| 0 | 0 | 0 |1968k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1305.83/1305.83 c 1273s| 1550k|115540 | 0 | 0.0 | 148M| 159 | - | 305 | 13k| 0 | 0 | 0 |1983k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1317.13/1317.11 c 1284s| 1560k|115004 | 0 | 0.0 | 150M| 159 | - | 305 | 18k| 0 | 0 | 0 |2000k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1331.13/1331.12 c 1297s| 1570k|112701 | 0 | 0.0 | 150M| 159 | - | 305 | 18k| 0 | 0 | 0 |2020k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1341.13/1341.15 c 1307s| 1580k|114486 | 0 | 0.0 | 148M| 159 | - | 305 | 13k| 0 | 0 | 0 |2034k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1345.73/1345.78 c 1311s| 1590k|119748 | 0 | 0.0 | 151M| 159 | - | 305 | 13k| 0 | 0 | 0 |2043k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1353.33/1353.35 c 1319s| 1600k|121888 | 0 | 0.0 | 154M| 159 | - | 305 | 15k| 0 | 0 | 0 |2057k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1362.63/1362.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.63/1362.69 c 1328s| 1610k|120863 | 0 | 0.0 | 152M| 159 | - | 305 | 10k| 0 | 0 | 0 |2074k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1367.53/1367.56 c 1332s| 1620k|121307 | 0 | 0.0 | 153M| 159 | - | 305 |5173 | 0 | 0 | 0 |2088k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1378.03/1378.08 c 1342s| 1630k|110288 | 0 | 0.0 | 150M| 159 | - | 305 |8322 | 0 | 0 | 0 |2110k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1394.23/1394.28 c 1358s| 1640k| 91301 | 0 | 0.0 | 130M| 159 | - | 305 | 12k| 0 | 0 | 0 |2133k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1409.14/1409.19 c 1372s| 1650k| 89136 | 0 | 0.0 | 132M| 159 | - | 305 | 24k| 0 | 0 | 0 |2158k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1435.54/1435.53 c 1398s| 1660k| 84813 | 0 | 0.0 | 133M| 159 | - | 305 | 36k| 0 | 0 | 0 |2183k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1461.03/1461.04 c 1423s| 1670k| 83908 | 0 | 0.0 | 129M| 159 | - | 305 | 30k| 0 | 0 | 0 |2202k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1474.13/1474.19 c 1436s| 1680k| 87193 | 0 | 0.0 | 130M| 159 | - | 305 | 22k| 0 | 0 | 0 |2215k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1487.33/1487.37 c 1449s| 1690k| 89038 | 0 | 0.0 | 133M| 159 | - | 305 | 24k| 0 | 0 | 0 |2230k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1503.83/1503.88 c 1465s| 1700k| 89112 | 0 | 0.0 | 136M| 159 | - | 305 | 27k| 0 | 0 | 0 |2247k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1525.23/1525.21 c 1486s| 1710k| 86654 | 0 | 0.0 | 136M| 159 | - | 305 | 29k| 0 | 0 | 0 |2267k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1546.43/1546.49 c 1507s| 1720k| 83887 | 0 | 0.0 | 128M| 159 | - | 305 | 13k| 0 | 0 | 0 |2286k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1549.43/1549.43 c 1510s| 1730k| 90398 | 0 | 0.0 | 129M| 159 | - | 305 |5301 | 0 | 0 | 0 |2294k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1553.94/1553.97 c 1514s| 1740k| 93161 | 0 | 0.0 | 132M| 159 | - | 305 |6546 | 0 | 0 | 0 |2308k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1560.13/1560.17 c 1520s| 1750k| 92783 | 0 | 0.0 | 133M| 159 | - | 305 |9067 | 0 | 0 | 0 |2324k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1567.93/1567.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.93/1567.97 c 1527s| 1760k| 90067 | 0 | 0.0 | 123M| 159 | - | 305 |7954 | 0 | 0 | 0 |2341k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1580.03/1580.08 c 1539s| 1770k| 87114 | 0 | 0.0 | 123M| 159 | - | 305 | 18k| 0 | 0 | 0 |2364k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1602.53/1602.51 c 1561s| 1780k| 81859 | 0 | 0.0 | 124M| 159 | - | 305 | 24k| 0 | 0 | 0 |2388k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1634.14/1634.10 c 1592s| 1790k| 73038 | 0 | 0.0 | 119M| 159 | - | 305 | 31k| 0 | 0 | 0 |2412k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1651.04/1651.08 c 1609s| 1800k| 73648 | 0 | 0.0 | 108M| 159 | - | 305 | 12k| 0 | 0 | 0 |2426k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1655.14/1655.10 c 1612s| 1810k| 79927 | 0 | 0.0 | 111M| 159 | - | 305 | 10k| 0 | 0 | 0 |2435k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1659.43/1659.48 c 1616s| 1820k| 85555 | 0 | 0.0 | 115M| 159 | - | 305 | 11k| 0 | 0 | 0 |2446k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1664.64/1664.62 c 1621s| 1830k| 90304 | 0 | 0.0 | 118M| 159 | - | 305 | 12k| 0 | 0 | 0 |2458k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1671.44/1671.40 c 1628s| 1840k| 93606 | 0 | 0.0 | 122M| 159 | - | 305 | 13k| 0 | 0 | 0 |2473k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1680.94/1680.90 c 1637s| 1850k| 94289 | 0 | 0.0 | 125M| 159 | - | 305 | 14k| 0 | 0 | 0 |2490k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1691.94/1691.98 c 1648s| 1860k| 91757 | 0 | 0.0 | 124M| 159 | - | 305 | 13k| 0 | 0 | 0 |2509k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1699.24/1699.26 c 1654s| 1870k| 93063 | 0 | 0.0 | 123M| 159 | - | 305 |7676 | 0 | 0 | 0 |2522k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1703.84/1703.89 c 1659s| 1880k| 95638 | 0 | 0.0 | 123M| 159 | - | 305 |7469 | 0 | 0 | 0 |2534k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1710.54/1710.51 c 1665s| 1890k| 95309 | 0 | 0.0 | 123M| 159 | - | 305 | 10k| 0 | 0 | 0 |2550k| 0 | 6.000000e+00 | 1.700000e+01 | 183.33%
1722.04/1722.09 c 1676s| 1900k| 91751 | 0 | 0.0 | 113M| 159 | - | 305 | 12k| 0 | 0 | 0 |2570k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1728.05/1728.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.05/1728.04 c 1682s| 1910k| 96264 | 0 | 0.0 | 117M| 159 | - | 305 | 13k| 0 | 0 | 0 |2582k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1735.24/1735.23 c 1689s| 1920k| 99853 | 0 | 0.0 | 121M| 159 | - | 305 | 15k| 0 | 0 | 0 |2596k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1744.15/1744.12 c 1697s| 1930k|102715 | 0 | 0.0 | 125M| 159 | - | 305 | 17k| 0 | 0 | 0 |2611k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1754.74/1754.74 c 1708s| 1940k|104784 | 0 | 0.0 | 129M| 159 | - | 305 | 19k| 0 | 0 | 0 |2627k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1766.64/1766.66 c 1719s| 1950k|106437 | 0 | 0.0 | 133M| 159 | - | 305 | 21k| 0 | 0 | 0 |2644k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1779.94/1779.95 c 1732s| 1960k|107601 | 0 | 0.0 | 137M| 159 | - | 305 | 23k| 0 | 0 | 0 |2662k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1795.05/1795.07 c 1747s| 1970k|108084 | 0 | 0.0 | 140M| 159 | - | 305 | 24k| 0 | 0 | 0 |2680k| 0 | 8.000000e+00 | 1.700000e+01 | 112.50%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1751.68
1800.05/1800.00 c Solving Nodes : 1973152
1800.05/1800.00 c Primal Bound : +1.70000000000000e+01 (19 solutions)
1800.05/1800.00 c Dual Bound : +8.00000000000000e+00
1800.05/1800.00 c Gap : 112.50 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
1800.05/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.05/1800.00 v x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.05/1800.00 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.05/1800.00 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
1800.05/1800.00 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
1800.05/1800.00 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.05/1800.00 v -x4 -x3 x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1751.68
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2694004-1277899667.wbo
1800.05/1800.00 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.05/1800.00 c Constraints : 171 initial, 171 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2694004-1277899667.wbo
1800.05/1800.00 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.05/1800.00 c Constraints : 166 initial, 43991 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 68 0 4 1 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 14 - - 28 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 68 0 5686875 0 1276684 9600 2487376 0 0 0
1800.05/1800.00 c setppc : 20 0 6075810 0 1354212 23763 4624968 0 0 0
1800.05/1800.00 c linear : 68 0 6052118 0 1354245 579768 29840918 0 0 0
1800.05/1800.00 c logicor : 10+ 0 2939978 0 1354010 252155 1590800 0 0 0
1800.05/1800.00 c bounddisjunction : 0+ 0 593883 0 0 121 10248 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1354263 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 5.17 0.00 3.64 0.00 1.53
1800.05/1800.00 c setppc : 13.03 0.00 10.19 0.00 2.84
1800.05/1800.00 c linear : 147.60 0.00 147.14 0.00 0.46
1800.05/1800.00 c logicor : 762.38 0.00 761.24 0.00 1.14
1800.05/1800.00 c bounddisjunction : 25.43 0.00 25.43 0.00 0.00
1800.05/1800.00 c countsols : 0.13 0.00 0.00 0.00 0.13
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.70 2 0 0
1800.05/1800.00 c rootredcost : 0.56 0 0 0
1800.05/1800.00 c pseudoobj : 17.12 6096676 11362 2371795
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 51.10 867167 867045 4613973 23.1 266654 14.1 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.01 98 98 278 12.2 31 16.1 -
1800.05/1800.00 c applied globally : - - - 2639521 17.3 - - -
1800.05/1800.00 c applied locally : - - - 46852 36.5 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 11.88 1354244 0 0 0 0 2708488
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.54 - 19
1800.05/1800.00 c oneopt : 0.36 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.29 0 0
1800.05/1800.00 c trysol : 0.20 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 1973152
1800.05/1800.00 c nodes (total) : 1973152
1800.05/1800.00 c nodes left : 108124
1800.05/1800.00 c max depth : 159
1800.05/1800.00 c max depth (total): 159
1800.05/1800.00 c backtracks : 673614 (34.1%)
1800.05/1800.00 c delayed cutoffs : 450239
1800.05/1800.00 c repropagations : 2485419 (10441449 domain reductions, 257978 cutoffs)
1800.05/1800.00 c avg switch length: 22.78
1800.05/1800.00 c switching time : 576.95
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 19 (19 improvements)
1800.05/1800.00 c First Solution : +6.59000000000000e+02 (in run 1, after 128698 nodes, 56.51 seconds, depth 107, found by <relaxation>)
1800.05/1800.00 c Primal Bound : +1.70000000000000e+01 (in run 1, after 1501392 nodes, 1159.64 seconds, depth 59, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +8.00000000000000e+00
1800.05/1800.00 c Gap : 112.50 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.35/1800.39 c Time complete: 1800.44.