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-2694095-1277905085.wbo>
0.00/0.02 c original problem has 2043 variables (1137 bin, 0 int, 0 impl, 906 cont) and 3614 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.03/0.04 c presolving:
0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.03/0.07 c (round 2) 0 del vars, 115 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1118 impls, 12 clqs
0.03/0.09 c (round 3) 55 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.10 c (round 4) 110 del vars, 170 del conss, 906 chg bounds, 55 chg sides, 0 chg coeffs, 1742 upgd conss, 1118 impls, 12 clqs
0.09/0.14 c (0.1s) probing: 101/1082 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 110 deleted vars, 170 deleted constraints, 906 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.09/0.14 c 1118 implications, 12 cliques
0.09/0.14 c presolved problem has 1933 variables (1082 bin, 0 int, 0 impl, 851 cont) and 3444 constraints
0.09/0.14 c 851 constraints of type <indicator>
0.09/0.14 c 12 constraints of type <setppc>
0.09/0.14 c 851 constraints of type <linear>
0.09/0.14 c 1730 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.08
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |7504k| 0 | - |1933 |3444 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.77 o 199
0.69/0.77 c * 0.7s| 2949 | 2625 | 0 | 0.0 |9391k|1044 | - |1933 |3749 | 0 | 0 | 0 | 354 | 0 | 0.000000e+00 | 1.990000e+02 | Inf
0.79/0.81 o 174
0.79/0.81 c * 0.7s| 3123 | 2746 | 0 | 0.0 |9594k|1044 | - |1933 |3754 | 0 | 0 | 0 | 365 | 0 | 0.000000e+00 | 1.740000e+02 | Inf
2.39/2.42 c 2.1s| 10000 | 8692 | 0 | 0.0 | 14M|1044 | - |1933 |4880 | 0 | 0 | 0 |2901 | 0 | 0.000000e+00 | 1.740000e+02 | Inf
4.89/4.94 o 98
4.89/4.94 c * 4.4s| 18729 | 14291 | 0 | 0.0 | 20M|1044 | - |1933 |6410 | 0 | 0 | 0 |7995 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
4.89/4.96 o 89
4.89/4.96 c * 4.4s| 18811 | 14289 | 0 | 0.0 | 20M|1044 | - |1933 |6378 | 0 | 0 | 0 |7998 | 0 | 0.000000e+00 | 8.900000e+01 | Inf
5.29/5.37 c 4.8s| 20000 | 15393 | 0 | 0.0 | 20M|1044 | - |1933 |5314 | 0 | 0 | 0 |8211 | 0 | 0.000000e+00 | 8.900000e+01 | Inf
5.60/5.64 o 55
5.60/5.64 c * 5.0s| 20777 | 15664 | 0 | 0.0 | 21M|1044 | - |1933 |5331 | 0 | 0 | 0 |8508 | 0 | 0.000000e+00 | 5.500000e+01 | Inf
5.60/5.66 o 47
5.60/5.66 c * 5.0s| 20815 | 15595 | 0 | 0.0 | 21M|1044 | - |1933 |5371 | 0 | 0 | 0 |8549 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
5.60/5.68 o 44
5.60/5.68 c * 5.0s| 20876 | 15583 | 0 | 0.0 | 21M|1044 | - |1933 |5487 | 0 | 0 | 0 |8676 | 0 | 0.000000e+00 | 4.400000e+01 | Inf
5.60/5.69 o 31
5.60/5.69 c * 5.1s| 20913 | 15423 | 0 | 0.0 | 21M|1044 | - |1933 |5525 | 0 | 0 | 0 |8715 | 0 | 0.000000e+00 | 3.100000e+01 | Inf
5.60/5.69 o 18
5.60/5.69 c * 5.1s| 20918 | 15217 | 0 | 0.0 | 21M|1044 | - |1933 |5525 | 0 | 0 | 0 |8715 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
5.69/5.70 o 14
5.69/5.70 c * 5.1s| 20924 | 15061 | 0 | 0.0 | 21M|1044 | - |1933 |5532 | 0 | 0 | 0 |8722 | 0 | 0.000000e+00 | 1.400000e+01 | Inf
6.09/6.15 o 7
6.09/6.15 c * 5.5s| 22498 | 16014 | 0 | 0.0 | 23M|1044 | - |1933 |4801 | 0 | 0 | 0 |9134 | 0 | 0.000000e+00 | 7.000000e+00 | Inf
8.29/8.31 c 7.4s| 30000 | 22206 | 0 | 0.0 | 37M|1044 | - |1933 |5387 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
11.00/11.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.00/11.05 c 9.8s| 40000 | 30145 | 0 | 0.0 | 44M|1044 | - |1933 |6875 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
13.89/13.99 c 12.5s| 50000 | 37807 | 0 | 0.0 | 51M|1044 | - |1933 |7890 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
17.09/17.19 c 15.3s| 60000 | 45053 | 0 | 0.0 | 58M|1044 | - |1933 |8073 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
20.49/20.57 c 18.4s| 70000 | 52048 | 0 | 0.0 | 64M|1044 | - |1933 |8608 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
24.19/24.29 c 21.8s| 80000 | 58601 | 0 | 0.0 | 71M|1044 | - |1933 |9370 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
28.29/28.38 c 25.5s| 90000 | 64864 | 0 | 0.0 | 78M|1044 | - |1933 | 10k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
32.89/32.98 c 29.8s|100000 | 70534 | 0 | 0.0 | 85M|1044 | - |1933 | 10k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
38.09/38.16 c 34.6s|110000 | 75233 | 0 | 0.0 | 92M|1044 | - |1933 | 11k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
44.39/44.49 c 40.6s|120000 | 78379 | 0 | 0.0 | 99M|1044 | - |1933 | 12k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
49.19/49.20 c 45.0s|130000 | 84710 | 0 | 0.0 | 114M|1044 | - |1933 |5538 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
53.29/53.30 c 48.8s|140000 | 91188 | 0 | 0.0 | 122M|1044 | - |1933 |7156 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
56.49/56.58 c 51.8s|150000 | 99521 | 0 | 0.0 | 131M|1044 | - |1933 |7773 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
60.59/60.60 c 55.5s|160000 |106971 | 0 | 0.0 | 139M|1044 | - |1933 | 10k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
64.49/64.58 c 59.2s|170000 |114291 | 0 | 0.0 | 144M|1044 | - |1933 |6250 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
67.39/67.41 c 61.8s|180000 |122501 | 0 | 0.0 | 150M|1044 | - |1933 |7250 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
67.79/67.80 o 6
67.79/67.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.79/67.80 c *62.1s|181279 |123290 | 0 | 0.0 | 151M|1044 | - |1933 |7485 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
71.29/71.33 c 65.4s|190000 |128694 | 0 | 0.0 | 157M|1044 | - |1933 |9626 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
74.39/74.43 c 68.2s|200000 |136463 | 0 | 0.0 | 162M|1044 | - |1933 |7289 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
77.69/77.75 c 71.3s|210000 |143729 | 0 | 0.0 | 168M|1044 | - |1933 |6781 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
80.98/81.08 c 74.3s|220000 |150838 | 0 | 0.0 | 174M|1044 | - |1933 |6791 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
84.09/84.14 c 77.1s|230000 |158636 | 0 | 0.0 | 179M|1044 | - |1933 |4329 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
86.99/87.04 c 79.8s|240000 |166565 | 0 | 0.0 | 185M|1044 | - |1933 |4272 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
90.69/90.73 c 83.2s|250000 |173051 | 0 | 0.0 | 191M|1044 | - |1933 |5265 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
94.49/94.55 c 86.7s|260000 |179354 | 0 | 0.0 | 198M|1044 | - |1933 |6121 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
98.29/98.38 c 90.3s|270000 |185680 | 0 | 0.0 | 204M|1044 | - |1933 |6359 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
102.09/102.15 c 93.8s|280000 |192130 | 0 | 0.0 | 210M|1044 | - |1933 |6816 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
105.99/106.06 c 97.4s|290000 |198430 | 0 | 0.0 | 216M|1044 | - |1933 |7347 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
110.19/110.24 c 101s|300000 |204236 | 0 | 0.0 | 222M|1044 | - |1933 |8146 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
114.59/114.60 c 105s|310000 |209850 | 0 | 0.0 | 228M|1044 | - |1933 |8309 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
119.00/119.07 c 110s|320000 |215339 | 0 | 0.0 | 235M|1044 | - |1933 |8897 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
123.79/123.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.79/123.83 c 114s|330000 |220480 | 0 | 0.0 | 241M|1044 | - |1933 |9314 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
128.70/128.77 c 119s|340000 |225433 | 0 | 0.0 | 247M|1044 | - |1933 |9621 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
133.69/133.77 c 123s|350000 |230372 | 0 | 0.0 | 253M|1044 | - |1933 | 10k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
139.00/139.07 c 128s|360000 |235001 | 0 | 0.0 | 259M|1044 | - |1933 | 10k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
144.80/144.81 c 134s|370000 |239303 | 0 | 0.0 | 264M|1044 | - |1933 | 11k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
150.89/150.92 c 140s|380000 |243179 | 0 | 0.0 | 270M|1044 | - |1933 | 11k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
156.99/157.00 c 145s|390000 |247147 | 0 | 0.0 | 276M|1044 | - |1933 | 11k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
163.50/163.56 c 152s|400000 |250496 | 0 | 0.0 | 281M|1044 | - |1933 | 12k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
170.50/170.58 c 158s|410000 |253452 | 0 | 0.0 | 287M|1044 | - |1933 | 13k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
177.69/177.78 c 165s|420000 |256463 | 0 | 0.0 | 292M|1044 | - |1933 | 13k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
185.69/185.76 c 173s|430000 |258405 | 0 | 0.0 | 297M|1044 | - |1933 | 13k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
193.80/193.85 c 181s|440000 |260381 | 0 | 0.0 | 302M|1044 | - |1933 | 13k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
202.60/202.60 c 189s|450000 |261606 | 0 | 0.0 | 306M|1044 | - |1933 | 14k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
212.39/212.49 c 199s|460000 |261761 | 0 | 0.0 | 310M|1044 | - |1933 | 15k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
222.80/222.87 c 209s|470000 |261393 | 0 | 0.0 | 314M|1044 | - |1933 | 16k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
234.49/234.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.49/234.56 c 220s|480000 |260048 | 0 | 0.0 | 316M|1044 | - |1933 | 17k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
242.39/242.43 c 227s|490000 |262997 | 0 | 0.0 | 313M|1044 | - |1933 |4121 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
245.39/245.40 c 230s|500000 |271006 | 0 | 0.0 | 320M|1044 | - |1933 |4758 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
248.60/248.64 c 233s|510000 |278610 | 0 | 0.0 | 326M|1044 | - |1933 |5582 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
252.10/252.16 c 236s|520000 |285842 | 0 | 0.0 | 333M|1044 | - |1933 |6297 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
256.10/256.10 c 240s|530000 |292588 | 0 | 0.0 | 340M|1044 | - |1933 |7397 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
260.50/260.51 c 244s|540000 |298738 | 0 | 0.0 | 347M|1044 | - |1933 |8752 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
265.60/265.65 c 249s|550000 |304056 | 0 | 0.0 | 354M|1044 | - |1933 | 10k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
271.49/271.55 c 254s|560000 |308550 | 0 | 0.0 | 361M|1044 | - |1933 | 12k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
279.40/279.47 c 262s|570000 |311216 | 0 | 0.0 | 364M|1044 | - |1933 |8455 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
282.50/282.52 c 265s|580000 |319247 | 0 | 0.0 | 369M|1044 | - |1933 |5646 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
285.70/285.76 c 268s|590000 |326935 | 0 | 0.0 | 376M|1044 | - |1933 |6178 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
289.30/289.30 c 271s|600000 |334242 | 0 | 0.0 | 382M|1044 | - |1933 |6536 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
292.99/293.06 c 274s|610000 |341286 | 0 | 0.0 | 389M|1044 | - |1933 |7073 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
296.90/296.95 c 278s|620000 |348149 | 0 | 0.0 | 395M|1044 | - |1933 |7291 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
301.10/301.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.10/301.10 c 282s|630000 |354666 | 0 | 0.0 | 402M|1044 | - |1933 |7904 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
305.49/305.58 c 286s|640000 |360817 | 0 | 0.0 | 409M|1044 | - |1933 |8360 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
310.20/310.24 c 290s|650000 |366753 | 0 | 0.0 | 415M|1044 | - |1933 |9030 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
315.30/315.38 c 295s|660000 |372242 | 0 | 0.0 | 422M|1044 | - |1933 | 10k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
320.99/321.07 c 300s|670000 |377265 | 0 | 0.0 | 429M|1044 | - |1933 | 11k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
327.29/327.31 c 306s|680000 |381876 | 0 | 0.0 | 435M|1044 | - |1933 | 12k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
334.09/334.11 c 313s|690000 |386083 | 0 | 0.0 | 441M|1044 | - |1933 | 15k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
342.69/342.70 c 321s|700000 |388962 | 0 | 0.0 | 448M|1044 | - |1933 | 19k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
348.40/348.48 c 326s|710000 |395327 | 0 | 0.0 | 451M|1044 | - |1933 | 11k| 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
352.50/352.51 c 330s|720000 |402720 | 0 | 0.0 | 458M|1044 | - |1933 | 10k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
356.49/356.59 c 334s|730000 |409871 | 0 | 0.0 | 465M|1044 | - |1933 | 11k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
360.80/360.83 c 338s|740000 |416805 | 0 | 0.0 | 472M|1044 | - |1933 | 12k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
365.20/365.29 c 342s|750000 |423552 | 0 | 0.0 | 479M|1044 | - |1933 | 12k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
370.10/370.11 c 347s|760000 |429993 | 0 | 0.0 | 486M|1044 | - |1933 | 13k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
375.20/375.22 c 351s|770000 |436206 | 0 | 0.0 | 493M|1044 | - |1933 | 14k| 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
380.50/380.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
380.50/380.60 c 356s|780000 |442214 | 0 | 0.0 | 500M|1044 | - |1933 | 15k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
386.30/386.34 c 362s|790000 |447995 | 0 | 0.0 | 506M|1044 | - |1933 | 17k| 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
392.80/392.87 c 368s|800000 |453174 | 0 | 0.0 | 513M|1044 | - |1933 | 18k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
400.70/400.72 c 376s|810000 |457363 | 0 | 0.0 | 520M|1044 | - |1933 | 19k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
409.89/409.91 c 384s|820000 |460628 | 0 | 0.0 | 526M|1044 | - |1933 | 21k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
421.60/421.61 c 396s|830000 |462246 | 0 | 0.0 | 532M|1044 | - |1933 | 25k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
429.50/429.54 c 403s|840000 |467674 | 0 | 0.0 | 534M|1044 | - |1933 | 16k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
433.70/433.78 c 407s|850000 |475111 | 0 | 0.0 | 540M|1044 | - |1933 | 14k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
438.00/438.08 c 411s|860000 |482222 | 0 | 0.0 | 546M|1044 | - |1933 | 14k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
442.70/442.72 c 416s|870000 |488904 | 0 | 0.0 | 553M|1044 | - |1933 | 15k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
448.00/448.01 c 421s|880000 |494943 | 0 | 0.0 | 560M|1044 | - |1933 | 17k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
454.40/454.44 c 427s|890000 |499998 | 0 | 0.0 | 566M|1044 | - |1933 | 18k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
461.91/461.95 c 434s|900000 |504006 | 0 | 0.0 | 572M|1044 | - |1933 | 21k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
471.40/471.46 c 443s|910000 |507022 | 0 | 0.0 | 577M|1044 | - |1933 | 21k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
476.20/476.29 c 447s|920000 |514413 | 0 | 0.0 | 582M|1044 | - |1933 | 16k| 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
480.80/480.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.80/480.89 c 452s|930000 |521507 | 0 | 0.0 | 588M|1044 | - |1933 | 16k| 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
486.11/486.20 c 457s|940000 |527884 | 0 | 0.0 | 595M|1044 | - |1933 | 17k| 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
492.50/492.51 c 463s|950000 |533335 | 0 | 0.0 | 601M|1044 | - |1933 | 18k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
500.10/500.10 c 470s|960000 |537598 | 0 | 0.0 | 607M|1044 | - |1933 | 20k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
509.81/509.85 c 479s|970000 |540428 | 0 | 0.0 | 611M|1044 | - |1933 | 21k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
514.81/514.82 c 484s|980000 |547702 | 0 | 0.0 | 615M|1044 | - |1933 | 15k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
519.90/519.92 c 489s|990000 |554112 | 0 | 0.0 | 622M|1044 | - |1933 | 15k| 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
525.71/525.78 c 494s| 1000k|559703 | 0 | 0.0 | 628M|1044 | - |1933 | 18k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
533.30/533.30 c 501s| 1010k|564082 | 0 | 0.0 | 635M|1044 | - |1933 | 21k| 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
542.00/542.06 c 510s| 1020k|568055 | 0 | 0.0 | 637M|1044 | - |1933 | 13k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
546.50/546.51 c 514s| 1030k|574687 | 0 | 0.0 | 641M|1044 | - |1933 |7814 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
550.01/550.06 c 517s| 1040k|582129 | 0 | 0.0 | 647M|1044 | - |1933 |6559 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
553.80/553.87 c 521s| 1050k|589093 | 0 | 0.0 | 654M|1044 | - |1933 |6586 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
557.61/557.66 c 524s| 1060k|595963 | 0 | 0.0 | 660M|1044 | - |1933 |7287 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
561.10/561.13 c 527s| 1070k|603461 | 0 | 0.0 | 666M|1044 | - |1933 |7513 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
565.10/565.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.10/565.12 c 531s| 1080k|610193 | 0 | 0.0 | 672M|1044 | - |1933 |7111 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
568.71/568.72 c 534s| 1090k|617350 | 0 | 0.0 | 678M|1044 | - |1933 |6719 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
572.41/572.48 c 538s| 1100k|624219 | 0 | 0.0 | 685M|1044 | - |1933 |7997 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
576.41/576.43 c 541s| 1110k|630764 | 0 | 0.0 | 690M|1044 | - |1933 |5616 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
580.71/580.74 c 545s| 1120k|636276 | 0 | 0.0 | 696M|1044 | - |1933 |7180 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
588.20/588.22 c 552s| 1130k|638763 | 0 | 0.0 | 702M|1044 | - |1933 | 11k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
597.11/597.13 c 561s| 1140k|640979 | 0 | 0.0 | 708M|1044 | - |1933 | 14k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
606.20/606.25 c 570s| 1150k|643683 | 0 | 0.0 | 714M|1044 | - |1933 | 16k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
616.70/616.75 c 580s| 1160k|645922 | 0 | 0.0 | 720M|1044 | - |1933 | 19k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
628.01/628.02 c 591s| 1170k|648228 | 0 | 0.0 | 725M|1044 | - |1933 | 21k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
640.80/640.83 c 603s| 1180k|650000 | 0 | 0.0 | 731M|1044 | - |1933 | 22k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
654.80/654.88 c 617s| 1190k|651240 | 0 | 0.0 | 736M|1044 | - |1933 | 24k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
671.20/671.29 c 633s| 1200k|651880 | 0 | 0.0 | 741M|1044 | - |1933 | 26k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
688.41/688.45 c 649s| 1210k|652474 | 0 | 0.0 | 745M|1044 | - |1933 | 28k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
705.31/705.34 c 666s| 1220k|653358 | 0 | 0.0 | 750M|1044 | - |1933 | 29k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
723.81/723.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.81/723.84 c 684s| 1230k|653916 | 0 | 0.0 | 755M|1044 | - |1933 | 30k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
743.30/743.31 c 703s| 1240k|654177 | 0 | 0.0 | 759M|1044 | - |1933 | 33k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
764.20/764.28 c 724s| 1250k|653956 | 0 | 0.0 | 762M|1044 | - |1933 | 34k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
784.21/784.23 c 743s| 1260k|654542 | 0 | 0.0 | 767M|1044 | - |1933 | 34k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
806.71/806.73 c 765s| 1270k|654127 | 0 | 0.0 | 771M|1044 | - |1933 | 36k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
829.91/829.92 c 788s| 1280k|653416 | 0 | 0.0 | 774M|1044 | - |1933 | 38k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
855.71/855.80 c 814s| 1290k|652033 | 0 | 0.0 | 777M|1044 | - |1933 | 40k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
882.21/882.24 c 840s| 1300k|650766 | 0 | 0.0 | 780M|1044 | - |1933 | 41k| 0 | 0 | 0 |1179k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
909.31/909.30 c 866s| 1310k|649667 | 0 | 0.0 | 784M|1044 | - |1933 | 41k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
938.81/938.81 c 895s| 1320k|647508 | 0 | 0.0 | 786M|1044 | - |1933 | 43k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
969.21/969.20 c 925s| 1330k|645074 | 0 | 0.0 | 788M|1044 | - |1933 | 44k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1000.52/1000.59 c 956s| 1340k|642549 | 0 | 0.0 | 789M|1044 | - |1933 | 45k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1031.32/1031.33 c 987s| 1350k|640313 | 0 | 0.0 | 790M|1044 | - |1933 | 45k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1063.52/1063.57 c 1018s| 1360k|637696 | 0 | 0.0 | 791M|1044 | - |1933 | 46k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1095.62/1095.66 c 1050s| 1370k|635207 | 0 | 0.0 | 791M|1044 | - |1933 | 47k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1129.73/1129.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.73/1129.77 c 1084s| 1380k|631771 | 0 | 0.0 | 790M|1044 | - |1933 | 51k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1166.02/1166.07 c 1120s| 1390k|628336 | 0 | 0.0 | 789M|1044 | - |1933 | 52k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1203.32/1203.31 c 1156s| 1400k|624471 | 0 | 0.0 | 787M|1044 | - |1933 | 54k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1243.42/1243.46 c 1196s| 1410k|619667 | 0 | 0.0 | 781M|1044 | - |1933 | 57k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1273.62/1273.66 c 1226s| 1420k|618949 | 0 | 0.0 | 769M|1044 | - |1933 | 33k| 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1282.22/1282.20 c 1234s| 1430k|625486 | 0 | 0.0 | 769M|1044 | - |1933 | 16k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1288.82/1288.88 c 1240s| 1440k|631708 | 0 | 0.0 | 775M|1044 | - |1933 | 14k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1292.12/1292.11 o 5
1292.12/1292.11 c *1243s| 1444k|622525 | 0 | 0.0 | 761M|1044 | - |1933 | 13k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1295.83/1295.83 c 1247s| 1450k|625418 | 0 | 0.0 | 765M|1044 | - |1933 | 13k| 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1303.72/1303.78 c 1254s| 1460k|630611 | 0 | 0.0 | 773M|1044 | - |1933 | 14k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1312.42/1312.41 c 1263s| 1470k|635496 | 0 | 0.0 | 780M|1044 | - |1933 | 15k| 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1322.23/1322.22 c 1272s| 1480k|639784 | 0 | 0.0 | 788M|1044 | - |1933 | 17k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1332.52/1332.54 c 1282s| 1490k|643928 | 0 | 0.0 | 796M|1044 | - |1933 | 18k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1344.03/1344.02 c 1293s| 1500k|647564 | 0 | 0.0 | 803M|1044 | - |1933 | 19k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1356.52/1356.50 c 1305s| 1510k|650569 | 0 | 0.0 | 810M|1044 | - |1933 | 20k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1369.62/1369.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.62/1369.62 c 1318s| 1520k|653335 | 0 | 0.0 | 817M|1044 | - |1933 | 21k| 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1383.52/1383.52 c 1331s| 1530k|655764 | 0 | 0.0 | 823M|1044 | - |1933 | 22k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1398.72/1398.70 c 1346s| 1540k|657442 | 0 | 0.0 | 829M|1044 | - |1933 | 23k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1413.92/1413.97 c 1361s| 1550k|659056 | 0 | 0.0 | 835M|1044 | - |1933 | 24k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1430.22/1430.23 c 1376s| 1560k|660132 | 0 | 0.0 | 840M|1044 | - |1933 | 25k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1447.63/1447.66 c 1393s| 1570k|660903 | 0 | 0.0 | 845M|1044 | - |1933 | 28k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1466.13/1466.20 c 1411s| 1580k|661326 | 0 | 0.0 | 850M|1044 | - |1933 | 30k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1485.62/1485.61 c 1430s| 1590k|661605 | 0 | 0.0 | 855M|1044 | - |1933 | 33k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1508.93/1508.96 c 1453s| 1600k|660365 | 0 | 0.0 | 858M|1044 | - |1933 | 37k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1532.53/1532.51 c 1476s| 1610k|659851 | 0 | 0.0 | 858M|1044 | - |1933 | 36k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1542.73/1542.74 c 1486s| 1620k|666060 | 0 | 0.0 | 860M|1044 | - |1933 | 20k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1551.03/1551.09 c 1494s| 1630k|671569 | 0 | 0.0 | 867M|1044 | - |1933 | 18k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1560.03/1560.01 c 1502s| 1640k|676490 | 0 | 0.0 | 874M|1044 | - |1933 | 18k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1569.13/1569.14 c 1511s| 1650k|681290 | 0 | 0.0 | 882M|1044 | - |1933 | 19k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1578.62/1578.64 c 1520s| 1660k|685711 | 0 | 0.0 | 889M|1044 | - |1933 | 19k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1589.02/1589.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.02/1589.08 c 1530s| 1670k|689558 | 0 | 0.0 | 897M|1044 | - |1933 | 19k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1599.72/1599.73 c 1540s| 1680k|693339 | 0 | 0.0 | 904M|1044 | - |1933 | 21k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1610.93/1610.94 c 1551s| 1690k|696885 | 0 | 0.0 | 911M|1044 | - |1933 | 21k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1622.54/1622.58 c 1562s| 1700k|700190 | 0 | 0.0 | 919M|1044 | - |1933 | 22k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1634.72/1634.75 c 1574s| 1710k|703302 | 0 | 0.0 | 926M|1044 | - |1933 | 22k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1647.74/1647.80 c 1586s| 1720k|705986 | 0 | 0.0 | 933M|1044 | - |1933 | 24k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1660.93/1660.99 c 1599s| 1730k|708704 | 0 | 0.0 | 940M|1044 | - |1933 | 25k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1674.53/1674.50 c 1612s| 1740k|711389 | 0 | 0.0 | 947M|1044 | - |1933 | 25k| 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1688.54/1688.58 c 1626s| 1750k|713765 | 0 | 0.0 | 953M|1044 | - |1933 | 25k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1702.73/1702.73 c 1639s| 1760k|716186 | 0 | 0.0 | 960M|1044 | - |1933 | 26k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1717.63/1717.66 c 1654s| 1770k|718235 | 0 | 0.0 | 967M|1044 | - |1933 | 26k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1733.43/1733.45 c 1669s| 1780k|719968 | 0 | 0.0 | 973M|1044 | - |1933 | 27k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1749.43/1749.49 c 1685s| 1790k|721787 | 0 | 0.0 | 979M|1044 | - |1933 | 28k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1765.83/1765.86 c 1700s| 1800k|723645 | 0 | 0.0 | 986M|1044 | - |1933 | 29k| 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1784.43/1784.44 c 1718s| 1810k|724405 | 0 | 0.0 | 991M|1044 | - |1933 | 30k| 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1733.57
1800.04/1800.00 c Solving Nodes : 1818290
1800.04/1800.00 c Primal Bound : +5.00000000000000e+00 (13 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.04/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.01 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.04/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.01 v -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.01 v -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.01 v -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.01 v -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54
1800.04/1800.01 v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29
1800.04/1800.01 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.01 v -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1733.57
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2694095-1277905085.wbo
1800.04/1800.01 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.04/1800.01 c Constraints : 3614 initial, 3614 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2694095-1277905085.wbo
1800.04/1800.01 c Variables : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.04/1800.01 c Constraints : 3444 initial, 61102 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 55 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 55 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 55 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.04 0 0 0 906 0 115 55 0
1800.04/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 790 - - 1580 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 851 0 3697834 0 935574 12 921430 0 0 0
1800.04/1800.01 c setppc : 12 0 6380405 0 1419269 127039 3274950 0 0 0
1800.04/1800.01 c linear : 851 0 6254693 0 1419525 175850 27650573 0 0 0
1800.04/1800.01 c logicor : 1730+ 0 4574155 0 1419529 296439 11896361 0 0 0
1800.04/1800.01 c bounddisjunction : 0+ 0 21175 0 0 0 4 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 1419522 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 3.36 0.00 1.46 0.00 1.90
1800.04/1800.01 c setppc : 23.92 0.00 22.06 0.00 1.86
1800.04/1800.01 c linear : 144.37 0.00 142.82 0.00 1.55
1800.04/1800.01 c logicor : 722.73 0.00 656.52 0.00 66.21
1800.04/1800.01 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.00 2 0 0
1800.04/1800.01 c rootredcost : 0.00 0 0 0
1800.04/1800.01 c pseudoobj : 103.82 6381828 279 906320
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 35.49 599607 599276 3582499 25.7 57390 9.9 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 8 8 24 28.0 8 4.0 -
1800.04/1800.01 c applied globally : - - - 1911004 21.8 - - -
1800.04/1800.01 c applied locally : - - - 2 110.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 18.93 1419509 0 0 0 0 2839018
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.03 - 13
1800.04/1800.01 c oneopt : 0.05 0 0
1800.04/1800.01 c trivial : 0.01 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.01 0 0
1800.04/1800.01 c trysol : 0.00 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 1818290
1800.04/1800.01 c nodes (total) : 1818290
1800.04/1800.01 c nodes left : 725276
1800.04/1800.01 c max depth : 1044
1800.04/1800.01 c max depth (total): 1044
1800.04/1800.01 c backtracks : 423775 (23.3%)
1800.04/1800.01 c delayed cutoffs : 281306
1800.04/1800.01 c repropagations : 1480068 (12352703 domain reductions, 200859 cutoffs)
1800.04/1800.01 c avg switch length: 28.09
1800.04/1800.01 c switching time : 545.28
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 13 (13 improvements)
1800.04/1800.01 c First Solution : +1.99000000000000e+02 (in run 1, after 2949 nodes, 0.66 seconds, depth 153, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +5.00000000000000e+00 (in run 1, after 1444871 nodes, 1243.38 seconds, depth 91, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
1801.74/1801.77 c Time complete: 1801.81.