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-2694040-1277901988.wbo>
0.00/0.02 c original problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3619 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.03 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, 1117 impls, 11 clqs
0.03/0.07 c (round 2) 0 del vars, 104 del conss, 911 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.03/0.09 c (round 3) 50 del vars, 246 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10 c (round 4) 120 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.11 c (round 5) 140 del vars, 266 del conss, 931 chg bounds, 142 chg sides, 0 chg coeffs, 1671 upgd conss, 1117 impls, 11 clqs
0.09/0.15 c (0.1s) probing: 101/1072 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 140 deleted vars, 266 deleted constraints, 931 tightened bounds, 0 added holes, 142 changed sides, 0 changed coefficients
0.09/0.15 c 1117 implications, 11 cliques
0.09/0.15 c presolved problem has 1913 variables (1072 bin, 0 int, 0 impl, 841 cont) and 3353 constraints
0.09/0.15 c 841 constraints of type <indicator>
0.09/0.15 c 11 constraints of type <setppc>
0.09/0.15 c 841 constraints of type <linear>
0.09/0.15 c 1660 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.09
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |7503k| 0 | - |1913 |3353 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.45 c 2.1s| 10000 | 8940 | 0 | 0.0 | 13M|1000 | - |1913 |4368 | 0 | 0 | 0 |2412 | 0 | 0.000000e+00 | -- | Inf
5.30/5.33 c 4.7s| 20000 | 16563 | 0 | 0.0 | 20M|1000 | - |1913 |5325 | 0 | 0 | 0 |8370 | 0 | 0.000000e+00 | -- | Inf
8.20/8.24 o 799
8.20/8.24 c * 7.4s| 27223 | 20506 | 0 | 0.0 | 26M|1000 | - |1913 |6739 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 7.990000e+02 | Inf
8.20/8.24 o 731
8.20/8.24 c * 7.4s| 27224 | 20258 | 0 | 0.0 | 26M|1000 | - |1913 |6739 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 7.310000e+02 | Inf
8.29/8.31 o 407
8.29/8.31 c * 7.5s| 27479 | 19140 | 0 | 0.0 | 26M|1000 | - |1913 |6639 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 4.070000e+02 | Inf
8.29/8.32 o 397
8.29/8.32 c * 7.5s| 27480 | 18996 | 0 | 0.0 | 26M|1000 | - |1913 |6639 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
8.29/8.35 o 266
8.29/8.35 c * 7.5s| 27587 | 18641 | 0 | 0.0 | 26M|1000 | - |1913 |6604 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.660000e+02 | Inf
8.29/8.35 o 100
8.29/8.35 c * 7.5s| 27592 | 18487 | 0 | 0.0 | 26M|1000 | - |1913 |6604 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.000000e+02 | Inf
8.70/8.74 o 99
8.70/8.74 c * 7.9s| 28794 | 19593 | 0 | 0.0 | 26M|1000 | - |1913 |5914 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
8.99/9.05 o 96
8.99/9.05 c * 8.1s| 29738 | 20420 | 0 | 0.0 | 27M|1000 | - |1913 |5894 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
9.10/9.14 c 8.2s| 30000 | 20647 | 0 | 0.0 | 28M|1000 | - |1913 |5918 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
9.69/9.77 o 26
9.69/9.77 c * 8.8s| 31791 | 20824 | 0 | 0.0 | 28M|1000 | - |1913 |5539 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
9.80/9.82 o 9
9.80/9.82 c * 8.8s| 32004 | 20529 | 0 | 0.0 | 27M|1000 | - |1913 |5472 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
12.39/12.48 c 11.2s| 40000 | 27010 | 0 | 0.0 | 51M|1000 | - |1913 |5715 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
15.29/15.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.29/15.32 c 13.7s| 50000 | 34893 | 0 | 0.0 | 58M|1000 | - |1913 |6681 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
18.50/18.50 c 16.6s| 60000 | 42436 | 0 | 0.0 | 66M|1000 | - |1913 |7843 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
21.90/21.91 c 19.6s| 70000 | 49636 | 0 | 0.0 | 73M|1000 | - |1913 |8451 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
25.49/25.50 c 22.9s| 80000 | 56596 | 0 | 0.0 | 80M|1000 | - |1913 |9063 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
29.70/29.72 c 26.8s| 90000 | 62800 | 0 | 0.0 | 88M|1000 | - |1913 |9773 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
34.29/34.36 c 31.1s|100000 | 68555 | 0 | 0.0 | 95M|1000 | - |1913 | 10k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
39.50/39.51 c 35.9s|110000 | 73556 | 0 | 0.0 | 103M|1000 | - |1913 | 11k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
45.10/45.10 c 41.2s|120000 | 78189 | 0 | 0.0 | 112M|1000 | - |1913 | 11k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
51.09/51.17 c 46.9s|130000 | 82365 | 0 | 0.0 | 119M|1000 | - |1913 | 12k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
57.69/57.75 c 53.1s|140000 | 85942 | 0 | 0.0 | 128M|1000 | - |1913 | 14k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
66.00/66.08 c 61.0s|150000 | 87717 | 0 | 0.0 | 133M|1000 | - |1913 | 10k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
69.20/69.25 c 63.9s|160000 | 96008 | 0 | 0.0 | 143M|1000 | - |1913 |6778 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
74.30/74.32 c 68.5s|170000 |101709 | 0 | 0.0 | 151M|1000 | - |1913 |8493 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
74.39/74.49 o 4
74.39/74.49 c *68.7s|170404 | 99094 | 0 | 0.0 | 147M|1000 | - |1913 |8357 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
79.10/79.14 c 73.0s|180000 |105183 | 0 | 0.0 | 157M|1000 | - |1913 | 10k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
84.59/84.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.59/84.70 c 78.1s|190000 |111363 | 0 | 0.0 | 166M|1000 | - |1913 | 11k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
89.59/89.63 c 82.7s|200000 |118235 | 0 | 0.0 | 175M|1000 | - |1913 | 11k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
94.59/94.69 c 87.3s|210000 |124674 | 0 | 0.0 | 183M|1000 | - |1913 | 11k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
99.59/99.60 c 91.9s|220000 |131099 | 0 | 0.0 | 191M|1000 | - |1913 | 12k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
104.40/104.43 c 96.4s|230000 |137623 | 0 | 0.0 | 200M|1000 | - |1913 | 14k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
108.89/108.97 c 101s|240000 |144335 | 0 | 0.0 | 208M|1000 | - |1913 | 15k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
113.30/113.36 c 105s|250000 |151312 | 0 | 0.0 | 215M|1000 | - |1913 | 15k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
117.49/117.55 c 108s|260000 |158502 | 0 | 0.0 | 220M|1000 | - |1913 | 11k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
121.00/121.02 c 112s|270000 |166415 | 0 | 0.0 | 227M|1000 | - |1913 |8086 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
124.89/124.95 c 115s|280000 |173177 | 0 | 0.0 | 235M|1000 | - |1913 | 11k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
129.09/129.19 c 119s|290000 |179915 | 0 | 0.0 | 242M|1000 | - |1913 | 12k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
133.89/133.98 c 124s|300000 |186183 | 0 | 0.0 | 249M|1000 | - |1913 | 13k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
139.50/139.56 c 129s|310000 |191714 | 0 | 0.0 | 256M|1000 | - |1913 | 14k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
145.59/145.62 c 134s|320000 |196852 | 0 | 0.0 | 264M|1000 | - |1913 | 14k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
151.90/151.96 c 141s|330000 |201735 | 0 | 0.0 | 271M|1000 | - |1913 | 15k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
158.59/158.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.59/158.60 c 147s|340000 |206317 | 0 | 0.0 | 279M|1000 | - |1913 | 15k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
165.50/165.58 c 153s|350000 |210661 | 0 | 0.0 | 286M|1000 | - |1913 | 15k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
173.00/173.02 c 161s|360000 |214659 | 0 | 0.0 | 294M|1000 | - |1913 | 16k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
180.89/180.90 c 168s|370000 |218440 | 0 | 0.0 | 301M|1000 | - |1913 | 17k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
189.39/189.49 c 176s|380000 |221924 | 0 | 0.0 | 309M|1000 | - |1913 | 18k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
197.90/197.99 c 184s|390000 |225474 | 0 | 0.0 | 316M|1000 | - |1913 | 18k| 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
206.40/206.47 c 193s|400000 |229230 | 0 | 0.0 | 323M|1000 | - |1913 | 19k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
215.19/215.23 c 201s|410000 |232782 | 0 | 0.0 | 330M|1000 | - |1913 | 20k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
224.40/224.47 c 210s|420000 |236150 | 0 | 0.0 | 337M|1000 | - |1913 | 21k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
234.30/234.30 c 219s|430000 |239233 | 0 | 0.0 | 343M|1000 | - |1913 | 21k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
244.30/244.38 c 229s|440000 |242148 | 0 | 0.0 | 350M|1000 | - |1913 | 21k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
254.69/254.78 c 239s|450000 |245009 | 0 | 0.0 | 357M|1000 | - |1913 | 23k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
265.50/265.52 c 249s|460000 |247788 | 0 | 0.0 | 363M|1000 | - |1913 | 23k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
276.30/276.39 c 260s|470000 |250479 | 0 | 0.0 | 369M|1000 | - |1913 | 24k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
288.30/288.31 c 271s|480000 |252682 | 0 | 0.0 | 375M|1000 | - |1913 | 25k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
300.31/300.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.31/300.31 c 283s|490000 |254937 | 0 | 0.0 | 381M|1000 | - |1913 | 25k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
312.90/312.96 c 295s|500000 |256396 | 0 | 0.0 | 386M|1000 | - |1913 | 25k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
325.79/325.89 c 308s|510000 |257780 | 0 | 0.0 | 392M|1000 | - |1913 | 27k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
339.69/339.80 c 321s|520000 |258836 | 0 | 0.0 | 396M|1000 | - |1913 | 27k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
354.30/354.34 c 335s|530000 |259322 | 0 | 0.0 | 400M|1000 | - |1913 | 29k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
371.40/371.43 c 352s|540000 |258784 | 0 | 0.0 | 404M|1000 | - |1913 | 29k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
388.00/388.01 c 368s|550000 |259112 | 0 | 0.0 | 401M|1000 | - |1913 | 21k| 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
392.71/392.74 c 373s|560000 |266976 | 0 | 0.0 | 405M|1000 | - |1913 |9917 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
396.89/397.00 c 376s|570000 |274467 | 0 | 0.0 | 414M|1000 | - |1913 |9669 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
401.51/401.53 c 381s|580000 |281565 | 0 | 0.0 | 424M|1000 | - |1913 | 10k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
407.20/407.29 c 386s|590000 |287647 | 0 | 0.0 | 436M|1000 | - |1913 | 12k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
413.70/413.75 c 392s|600000 |293357 | 0 | 0.0 | 448M|1000 | - |1913 | 14k| 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
421.49/421.54 c 399s|610000 |298312 | 0 | 0.0 | 460M|1000 | - |1913 | 16k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
430.90/431.00 c 408s|620000 |302060 | 0 | 0.0 | 472M|1000 | - |1913 | 18k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
442.90/442.98 c 420s|630000 |304270 | 0 | 0.0 | 482M|1000 | - |1913 | 21k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
457.60/457.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.60/457.69 c 434s|640000 |305478 | 0 | 0.0 | 490M|1000 | - |1913 | 23k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
463.50/463.57 c 440s|650000 |312982 | 0 | 0.0 | 496M|1000 | - |1913 | 18k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
469.10/469.10 c 445s|660000 |320068 | 0 | 0.0 | 504M|1000 | - |1913 | 19k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
475.70/475.77 c 451s|670000 |326246 | 0 | 0.0 | 512M|1000 | - |1913 | 22k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
484.90/484.99 c 460s|680000 |330941 | 0 | 0.0 | 521M|1000 | - |1913 | 27k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
497.40/497.42 c 472s|690000 |334276 | 0 | 0.0 | 529M|1000 | - |1913 | 31k| 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
510.80/510.81 c 485s|700000 |338442 | 0 | 0.0 | 533M|1000 | - |1913 | 28k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
518.80/518.84 c 493s|710000 |345660 | 0 | 0.0 | 539M|1000 | - |1913 | 26k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
526.90/527.00 c 500s|720000 |352424 | 0 | 0.0 | 545M|1000 | - |1913 | 26k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
535.71/535.77 c 509s|730000 |358681 | 0 | 0.0 | 552M|1000 | - |1913 | 28k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
547.10/547.14 c 520s|740000 |363574 | 0 | 0.0 | 559M|1000 | - |1913 | 31k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
564.11/564.12 c 536s|750000 |366069 | 0 | 0.0 | 566M|1000 | - |1913 | 38k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
573.00/573.02 c 545s|760000 |373551 | 0 | 0.0 | 571M|1000 | - |1913 | 32k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
581.50/581.59 c 553s|770000 |380660 | 0 | 0.0 | 577M|1000 | - |1913 | 31k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
589.90/589.96 c 561s|780000 |387439 | 0 | 0.0 | 583M|1000 | - |1913 | 30k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
599.30/599.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.30/599.35 c 570s|790000 |393363 | 0 | 0.0 | 590M|1000 | - |1913 | 30k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
613.50/613.54 c 584s|800000 |397031 | 0 | 0.0 | 598M|1000 | - |1913 | 33k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
631.20/631.27 c 601s|810000 |399225 | 0 | 0.0 | 604M|1000 | - |1913 | 37k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
639.31/639.34 c 609s|820000 |406781 | 0 | 0.0 | 609M|1000 | - |1913 | 34k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
647.60/647.69 c 617s|830000 |413752 | 0 | 0.0 | 616M|1000 | - |1913 | 34k| 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
657.30/657.32 c 626s|840000 |419827 | 0 | 0.0 | 623M|1000 | - |1913 | 36k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
669.60/669.61 c 638s|850000 |424658 | 0 | 0.0 | 631M|1000 | - |1913 | 38k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
685.10/685.17 c 653s|860000 |428037 | 0 | 0.0 | 638M|1000 | - |1913 | 42k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
701.41/701.49 c 669s|870000 |431727 | 0 | 0.0 | 644M|1000 | - |1913 | 42k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
710.51/710.53 c 678s|880000 |439134 | 0 | 0.0 | 650M|1000 | - |1913 | 39k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
720.31/720.34 c 687s|890000 |445691 | 0 | 0.0 | 656M|1000 | - |1913 | 38k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
731.51/731.51 c 698s|900000 |451442 | 0 | 0.0 | 664M|1000 | - |1913 | 39k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
744.41/744.47 c 711s|910000 |456169 | 0 | 0.0 | 672M|1000 | - |1913 | 42k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
760.60/760.60 c 726s|920000 |459387 | 0 | 0.0 | 680M|1000 | - |1913 | 46k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
776.11/776.13 c 742s|930000 |463592 | 0 | 0.0 | 685M|1000 | - |1913 | 44k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
784.71/784.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.71/784.76 c 750s|940000 |470888 | 0 | 0.0 | 690M|1000 | - |1913 | 41k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
794.51/794.51 c 759s|950000 |477217 | 0 | 0.0 | 697M|1000 | - |1913 | 41k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
805.60/805.69 c 770s|960000 |482712 | 0 | 0.0 | 705M|1000 | - |1913 | 43k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
818.71/818.77 c 783s|970000 |487289 | 0 | 0.0 | 713M|1000 | - |1913 | 46k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
835.20/835.29 c 799s|980000 |490224 | 0 | 0.0 | 720M|1000 | - |1913 | 50k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
848.81/848.86 c 812s|990000 |495478 | 0 | 0.0 | 725M|1000 | - |1913 | 49k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
857.91/857.97 c 821s| 1000k|502762 | 0 | 0.0 | 730M|1000 | - |1913 | 46k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
867.01/867.03 c 830s| 1010k|509550 | 0 | 0.0 | 737M|1000 | - |1913 | 46k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
876.41/876.47 c 839s| 1020k|515774 | 0 | 0.0 | 743M|1000 | - |1913 | 48k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
887.90/887.93 c 850s| 1030k|520870 | 0 | 0.0 | 751M|1000 | - |1913 | 51k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
902.81/902.86 c 864s| 1040k|524721 | 0 | 0.0 | 757M|1000 | - |1913 | 54k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
912.71/912.78 c 874s| 1050k|532145 | 0 | 0.0 | 761M|1000 | - |1913 | 46k| 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
922.31/922.30 c 883s| 1060k|538811 | 0 | 0.0 | 766M|1000 | - |1913 | 44k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
932.81/932.89 c 893s| 1070k|544505 | 0 | 0.0 | 773M|1000 | - |1913 | 45k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
944.91/944.94 c 905s| 1080k|549354 | 0 | 0.0 | 781M|1000 | - |1913 | 47k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
959.31/959.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.31/959.35 c 919s| 1090k|552956 | 0 | 0.0 | 788M|1000 | - |1913 | 51k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
974.91/974.90 c 934s| 1100k|556935 | 0 | 0.0 | 786M|1000 | - |1913 | 28k| 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
982.71/982.75 c 942s| 1110k|563437 | 0 | 0.0 | 790M|1000 | - |1913 | 18k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
989.81/989.81 c 948s| 1120k|569472 | 0 | 0.0 | 797M|1000 | - |1913 | 18k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
994.71/994.77 c 953s| 1130k|577399 | 0 | 0.0 | 802M|1000 | - |1913 | 15k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1001.51/1001.57 c 959s| 1140k|583989 | 0 | 0.0 | 810M|1000 | - |1913 | 18k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1009.31/1009.33 c 967s| 1150k|589960 | 0 | 0.0 | 818M|1000 | - |1913 | 20k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1015.02/1015.04 c 972s| 1160k|597014 | 0 | 0.0 | 824M|1000 | - |1913 | 19k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1020.82/1020.87 c 978s| 1170k|603923 | 0 | 0.0 | 831M|1000 | - |1913 | 20k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1026.91/1026.92 c 983s| 1180k|610877 | 0 | 0.0 | 837M|1000 | - |1913 | 21k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1032.91/1032.98 c 989s| 1190k|617841 | 0 | 0.0 | 844M|1000 | - |1913 | 22k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1039.61/1039.69 c 995s| 1200k|624441 | 0 | 0.0 | 850M|1000 | - |1913 | 23k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1045.81/1045.81 c 1001s| 1210k|631412 | 0 | 0.0 | 856M|1000 | - |1913 | 20k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1052.62/1052.61 c 1008s| 1220k|637273 | 0 | 0.0 | 864M|1000 | - |1913 | 24k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1064.31/1064.32 c 1019s| 1230k|640646 | 0 | 0.0 | 873M|1000 | - |1913 | 29k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1078.91/1078.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.91/1078.97 c 1033s| 1240k|643411 | 0 | 0.0 | 880M|1000 | - |1913 | 32k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1094.42/1094.41 c 1048s| 1250k|646077 | 0 | 0.0 | 887M|1000 | - |1913 | 33k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1110.81/1110.81 c 1064s| 1260k|648375 | 0 | 0.0 | 895M|1000 | - |1913 | 36k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1128.22/1128.29 c 1081s| 1270k|650635 | 0 | 0.0 | 901M|1000 | - |1913 | 35k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1145.22/1145.27 c 1098s| 1280k|652925 | 0 | 0.0 | 907M|1000 | - |1913 | 36k| 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1164.71/1164.79 c 1117s| 1290k|654213 | 0 | 0.0 | 914M|1000 | - |1913 | 38k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1185.22/1185.24 c 1137s| 1300k|655229 | 0 | 0.0 | 919M|1000 | - |1913 | 39k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1205.32/1205.35 c 1157s| 1310k|656535 | 0 | 0.0 | 924M|1000 | - |1913 | 39k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1225.82/1225.89 c 1177s| 1320k|657812 | 0 | 0.0 | 931M|1000 | - |1913 | 41k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1248.71/1248.71 c 1199s| 1330k|658127 | 0 | 0.0 | 935M|1000 | - |1913 | 40k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1270.62/1270.60 c 1221s| 1340k|658748 | 0 | 0.0 | 939M|1000 | - |1913 | 41k| 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1292.11/1292.19 c 1242s| 1350k|659892 | 0 | 0.0 | 945M|1000 | - |1913 | 42k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1316.81/1316.82 c 1266s| 1360k|659450 | 0 | 0.0 | 948M|1000 | - |1913 | 41k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1341.11/1341.12 c 1290s| 1370k|659344 | 0 | 0.0 | 951M|1000 | - |1913 | 43k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1363.02/1363.07 c 1312s| 1380k|660443 | 0 | 0.0 | 958M|1000 | - |1913 | 44k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1389.52/1389.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.52/1389.57 c 1338s| 1390k|659597 | 0 | 0.0 | 961M|1000 | - |1913 | 44k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1414.22/1414.28 c 1362s| 1400k|659399 | 0 | 0.0 | 964M|1000 | - |1913 | 45k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1436.42/1436.40 c 1384s| 1410k|660578 | 0 | 0.0 | 970M|1000 | - |1913 | 46k| 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1463.12/1463.10 c 1410s| 1420k|660119 | 0 | 0.0 | 973M|1000 | - |1913 | 45k| 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1489.83/1489.85 c 1436s| 1430k|659483 | 0 | 0.0 | 977M|1000 | - |1913 | 48k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1515.62/1515.67 c 1462s| 1440k|659542 | 0 | 0.0 | 980M|1000 | - |1913 | 49k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1541.42/1541.48 c 1487s| 1450k|659895 | 0 | 0.0 | 985M|1000 | - |1913 | 51k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1570.43/1570.41 c 1516s| 1460k|659003 | 0 | 0.0 | 987M|1000 | - |1913 | 51k| 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1599.82/1599.86 c 1545s| 1470k|658155 | 0 | 0.0 | 989M|1000 | - |1913 | 52k| 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1629.52/1629.54 c 1574s| 1480k|657300 | 0 | 0.0 | 992M|1000 | - |1913 | 55k| 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1660.32/1660.36 c 1604s| 1490k|656335 | 0 | 0.0 | 996M|1000 | - |1913 | 57k| 0 | 0 | 0 |2038k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1693.63/1693.61 c 1637s| 1500k|654905 | 0 | 0.0 | 998M|1000 | - |1913 | 59k| 0 | 0 | 0 |2065k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1727.12/1727.17 c 1670s| 1510k|653612 | 0 | 0.0 |1000M|1000 | - |1913 | 60k| 0 | 0 | 0 |2092k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1760.83/1760.81 c 1703s| 1520k|652444 | 0 | 0.0 |1003M|1000 | - |1913 | 62k| 0 | 0 | 0 |2119k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1797.03/1797.01 c 1739s| 1530k|650609 | 0 | 0.0 |1002M|1000 | - |1913 | 61k| 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1742.08
1800.03/1800.00 c Solving Nodes : 1530667
1800.03/1800.00 c Primal Bound : +4.00000000000000e+00 (11 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.02 s SATISFIABLE
1800.03/1800.02 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.02 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1800.03/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168
1800.03/1800.02 v -x167 -x166 -x165 x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.02 v x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1800.03/1800.02 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.03/1800.02 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.03/1800.02 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.03/1800.02 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.03/1800.02 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.03/1800.02 v -x1
1800.03/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.02 c Solving Time : 1742.08
1800.03/1800.02 c Original Problem :
1800.03/1800.02 c Problem name : HOME/instance-2694040-1277901988.wbo
1800.03/1800.02 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.03/1800.02 c Constraints : 3619 initial, 3619 maximal
1800.03/1800.02 c Presolved Problem :
1800.03/1800.02 c Problem name : t_HOME/instance-2694040-1277901988.wbo
1800.03/1800.02 c Variables : 1913 (1072 binary, 0 integer, 0 implicit integer, 841 continuous)
1800.03/1800.02 c Constraints : 3353 initial, 63885 maximal
1800.03/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.02 c trivial : 0.00 70 0 0 0 0 0 0 0
1800.03/1800.02 c dualfix : 0.00 70 0 0 0 0 0 0 0
1800.03/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.02 c indicator : 0.00 0 0 0 0 0 70 0 0
1800.03/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c linear : 0.05 0 0 0 931 0 196 142 0
1800.03/1800.02 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.02 c root node : - 0 - - 0 - - - -
1800.03/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.02 c indicator : 841 0 2240262 0 674989 11 975249 0 0 0
1800.03/1800.02 c setppc : 11 0 4919563 0 1204058 22727 4493175 0 0 0
1800.03/1800.02 c linear : 841 0 4897499 0 1204193 219656 20862504 0 0 0
1800.03/1800.02 c logicor : 1660+ 0 3701083 0 1204197 272974 11210954 0 0 0
1800.03/1800.02 c bounddisjunction : 0+ 0 6874 0 0 0 2 0 0 0
1800.03/1800.02 c countsols : 0 0 0 0 1204189 0 0 0 0 0
1800.03/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.02 c indicator : 1.89 0.00 1.07 0.00 0.82
1800.03/1800.02 c setppc : 19.64 0.00 18.37 0.00 1.27
1800.03/1800.02 c linear : 134.68 0.00 134.24 0.00 0.44
1800.03/1800.02 c logicor : 770.69 0.00 712.09 0.00 58.60
1800.03/1800.02 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.03/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.02 c vbounds : 0.01 2 0 0
1800.03/1800.02 c rootredcost : 0.01 0 0 0
1800.03/1800.02 c pseudoobj : 78.31 4920261 195 969640
1800.03/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.02 c propagation : 34.72 515552 515451 2507205 26.5 377839 10.0 -
1800.03/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.02 c pseudo solution : 0.00 4 4 6 2.7 4 9.2 -
1800.03/1800.02 c applied globally : - - - 2150189 22.0 - - -
1800.03/1800.02 c applied locally : - - - 88 120.0 - - -
1800.03/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.02 c redcost : 0.00 0 0 0 0 0
1800.03/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.02 c intobj : 0.00 0 0 0 0 0
1800.03/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.02 c gomory : 0.00 0 0 0 0 0
1800.03/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.02 c cmir : 0.00 0 0 0 0 0
1800.03/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.02 c clique : 0.00 0 0 0 0 0
1800.03/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.02 c mcf : 0.00 0 0 0 0 0
1800.03/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.02 c Pricers : Time Calls Vars
1800.03/1800.02 c problem variables: 0.00 0 0
1800.03/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.02 c inference : 15.63 1204178 0 0 0 0 2408356
1800.03/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.02 c random : 0.00 0 0 0 0 0 0
1800.03/1800.02 c Primal Heuristics : Time Calls Found
1800.03/1800.02 c LP solutions : 0.00 - 0
1800.03/1800.02 c pseudo solutions : 0.03 - 11
1800.03/1800.02 c oneopt : 0.04 0 0
1800.03/1800.02 c trivial : 0.00 2 0
1800.03/1800.02 c simplerounding : 0.00 0 0
1800.03/1800.02 c zirounding : 0.00 0 0
1800.03/1800.02 c rounding : 0.00 0 0
1800.03/1800.02 c shifting : 0.00 0 0
1800.03/1800.02 c intshifting : 0.00 0 0
1800.03/1800.02 c twoopt : 0.00 0 0
1800.03/1800.02 c fixandinfer : 0.00 0 0
1800.03/1800.02 c feaspump : 0.00 0 0
1800.03/1800.02 c coefdiving : 0.00 0 0
1800.03/1800.02 c pscostdiving : 0.00 0 0
1800.03/1800.02 c fracdiving : 0.00 0 0
1800.03/1800.02 c veclendiving : 0.00 0 0
1800.03/1800.02 c intdiving : 0.00 0 0
1800.03/1800.02 c actconsdiving : 0.00 0 0
1800.03/1800.02 c objpscostdiving : 0.00 0 0
1800.03/1800.02 c rootsoldiving : 0.00 0 0
1800.03/1800.02 c linesearchdiving : 0.00 0 0
1800.03/1800.02 c guideddiving : 0.00 0 0
1800.03/1800.02 c octane : 0.00 0 0
1800.03/1800.02 c rens : 0.00 0 0
1800.03/1800.02 c rins : 0.00 0 0
1800.03/1800.02 c localbranching : 0.00 0 0
1800.03/1800.02 c mutation : 0.00 0 0
1800.03/1800.02 c crossover : 0.00 0 0
1800.03/1800.02 c dins : 0.00 0 0
1800.03/1800.02 c undercover : 0.00 0 0
1800.03/1800.02 c nlp : 0.01 0 0
1800.03/1800.02 c trysol : 0.00 1 0
1800.03/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.02 c (at root node) : - 0 0 0.00 -
1800.03/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.02 c B&B Tree :
1800.03/1800.02 c number of runs : 1
1800.03/1800.02 c nodes : 1530667
1800.03/1800.02 c nodes (total) : 1530667
1800.03/1800.02 c nodes left : 650243
1800.03/1800.02 c max depth : 1000
1800.03/1800.02 c max depth (total): 1000
1800.03/1800.02 c backtracks : 310268 (20.3%)
1800.03/1800.02 c delayed cutoffs : 220214
1800.03/1800.02 c repropagations : 941108 (11142926 domain reductions, 189089 cutoffs)
1800.03/1800.02 c avg switch length: 17.78
1800.03/1800.02 c switching time : 538.57
1800.03/1800.02 c Solution :
1800.03/1800.02 c Solutions found : 11 (11 improvements)
1800.03/1800.02 c First Solution : +7.99000000000000e+02 (in run 1, after 27223 nodes, 7.39 seconds, depth 134, found by <relaxation>)
1800.03/1800.02 c Primal Bound : +4.00000000000000e+00 (in run 1, after 170404 nodes, 68.68 seconds, depth 95, found by <relaxation>)
1800.03/1800.02 c Dual Bound : +0.00000000000000e+00
1800.03/1800.02 c Gap : infinite
1800.03/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.02 c Root Iterations : 0
1801.63/1801.65 c Time complete: 1801.68.