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-2694173-1277909159.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.00/0.04 c presolving:
0.00/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.00/0.08 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.00/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.09
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.88/0.97 o 525
0.88/0.97 c * 0.9s| 3592 | 3121 | 0 | 0.0 |9937k|1044 | - |1933 |3951 | 0 | 0 | 0 | 651 | 0 | 0.000000e+00 | 5.250000e+02 | Inf
0.88/0.97 o 508
0.88/0.97 c * 0.9s| 3593 | 3119 | 0 | 0.0 | 10M|1044 | - |1933 |3951 | 0 | 0 | 0 | 651 | 0 | 0.000000e+00 | 5.080000e+02 | Inf
1.08/1.11 o 319
1.08/1.11 c * 1.0s| 4085 | 3585 | 0 | 0.0 | 10M|1044 | - |1933 |3990 | 0 | 0 | 0 | 707 | 0 | 0.000000e+00 | 3.190000e+02 | Inf
1.08/1.11 o 281
1.08/1.11 c * 1.0s| 4086 | 3566 | 0 | 0.0 | 10M|1044 | - |1933 |3990 | 0 | 0 | 0 | 707 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
2.48/2.53 c 2.4s| 10000 | 8576 | 0 | 0.0 | 14M|1044 | - |1933 |4474 | 0 | 0 | 0 |2557 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
5.17/5.22 c 5.0s| 20000 | 16253 | 0 | 0.0 | 20M|1044 | - |1933 |5406 | 0 | 0 | 0 |7084 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
6.87/6.96 o 220
6.87/6.96 c * 6.7s| 24799 | 18821 | 0 | 0.0 | 23M|1044 | - |1933 |6378 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.200000e+02 | Inf
6.87/6.96 o 127
6.87/6.96 c * 6.7s| 24800 | 18648 | 0 | 0.0 | 23M|1044 | - |1933 |6378 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
6.97/7.07 o 110
6.97/7.07 c * 6.8s| 25101 | 18890 | 0 | 0.0 | 24M|1044 | - |1933 |6196 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
6.97/7.09 o 101
6.97/7.09 c * 6.8s| 25150 | 18899 | 0 | 0.0 | 24M|1044 | - |1933 |6182 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
7.27/7.35 o 97
7.27/7.35 c * 7.0s| 25878 | 19505 | 0 | 0.0 | 24M|1044 | - |1933 |5876 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
8.67/8.76 c 8.4s| 30000 | 23150 | 0 | 0.0 | 28M|1044 | - |1933 |5044 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
8.87/8.98 o 37
8.87/8.98 c * 8.6s| 30596 | 22582 | 0 | 0.0 | 27M|1044 | - |1933 |5245 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
8.87/8.98 o 25
8.87/8.98 c * 8.6s| 30615 | 22206 | 0 | 0.0 | 27M|1044 | - |1933 |5248 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
8.96/9.00 o 10
8.96/9.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.96/9.00 c * 8.6s| 30649 | 21785 | 0 | 0.0 | 26M|1044 | - |1933 |5264 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
8.96/9.01 o 7
8.96/9.01 c * 8.6s| 30673 | 21489 | 0 | 0.0 | 26M|1044 | - |1933 |5264 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
11.87/11.95 c 11.5s| 40000 | 28744 | 0 | 0.0 | 41M|1044 | - |1933 |5806 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
14.97/15.06 c 14.5s| 50000 | 36241 | 0 | 0.0 | 48M|1044 | - |1933 |6818 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
18.26/18.30 c 17.6s| 60000 | 43603 | 0 | 0.0 | 55M|1044 | - |1933 |6634 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
21.66/21.74 c 21.0s| 70000 | 50492 | 0 | 0.0 | 61M|1044 | - |1933 |6809 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
25.37/25.48 c 24.6s| 80000 | 57010 | 0 | 0.0 | 68M|1044 | - |1933 |7402 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
29.35/29.42 c 28.4s| 90000 | 63377 | 0 | 0.0 | 75M|1044 | - |1933 |7680 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
33.56/33.64 c 32.5s|100000 | 69383 | 0 | 0.0 | 83M|1044 | - |1933 |8475 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
38.25/38.39 c 37.2s|110000 | 75078 | 0 | 0.0 | 90M|1044 | - |1933 |8624 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
43.25/43.37 c 42.1s|120000 | 80510 | 0 | 0.0 | 98M|1044 | - |1933 |8962 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
48.85/48.92 c 47.5s|130000 | 83733 | 0 | 0.0 | 105M|1044 | - |1933 |9337 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
54.45/54.56 c 53.0s|140000 | 88026 | 0 | 0.0 | 126M|1044 | - |1933 |5504 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
59.55/59.69 c 58.0s|150000 | 93842 | 0 | 0.0 | 146M|1044 | - |1933 |7716 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
63.75/63.85 c 62.0s|160000 |101961 | 0 | 0.0 | 182M|1044 | - |1933 |6974 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
68.75/68.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.75/68.87 c 67.0s|170000 |108852 | 0 | 0.0 | 204M|1044 | - |1933 |9136 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
74.45/74.51 c 72.5s|180000 |114815 | 0 | 0.0 | 211M|1044 | - |1933 |8831 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
78.55/78.61 c 76.3s|190000 |122373 | 0 | 0.0 | 219M|1044 | - |1933 | 10k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
84.35/84.49 c 81.9s|200000 |128352 | 0 | 0.0 | 228M|1044 | - |1933 | 11k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
88.35/88.43 c 85.5s|210000 |135447 | 0 | 0.0 | 234M|1044 | - |1933 |8776 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
91.85/91.97 c 88.7s|220000 |142559 | 0 | 0.0 | 241M|1044 | - |1933 | 10k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
95.25/95.39 c 91.8s|230000 |150109 | 0 | 0.0 | 246M|1044 | - |1933 |5715 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
98.45/98.52 c 94.7s|240000 |157777 | 0 | 0.0 | 251M|1044 | - |1933 |4469 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
102.55/102.63 c 98.5s|250000 |163613 | 0 | 0.0 | 258M|1044 | - |1933 |4758 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
106.86/106.91 c 102s|260000 |169223 | 0 | 0.0 | 265M|1044 | - |1933 |5185 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
111.46/111.52 c 107s|270000 |174286 | 0 | 0.0 | 272M|1044 | - |1933 |5399 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
116.25/116.32 c 111s|280000 |179069 | 0 | 0.0 | 279M|1044 | - |1933 |5890 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
121.06/121.17 c 116s|290000 |183857 | 0 | 0.0 | 286M|1044 | - |1933 |5537 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
126.15/126.29 c 120s|300000 |188032 | 0 | 0.0 | 294M|1044 | - |1933 |6103 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
131.45/131.58 c 125s|310000 |192046 | 0 | 0.0 | 301M|1044 | - |1933 |6509 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
136.95/137.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.95/137.05 c 130s|320000 |195676 | 0 | 0.0 | 308M|1044 | - |1933 |6508 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
142.65/142.71 c 136s|330000 |198947 | 0 | 0.0 | 315M|1044 | - |1933 |6611 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
148.25/148.33 c 141s|340000 |202321 | 0 | 0.0 | 322M|1044 | - |1933 |6652 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
153.75/153.82 c 146s|350000 |205890 | 0 | 0.0 | 329M|1044 | - |1933 |6738 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
159.35/159.48 c 151s|360000 |209140 | 0 | 0.0 | 336M|1044 | - |1933 |6854 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
165.25/165.33 c 157s|370000 |212025 | 0 | 0.0 | 343M|1044 | - |1933 |6919 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
171.36/171.42 c 162s|380000 |214510 | 0 | 0.0 | 350M|1044 | - |1933 |7303 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
177.45/177.53 c 168s|390000 |216883 | 0 | 0.0 | 356M|1044 | - |1933 |7519 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
183.76/183.88 c 174s|400000 |218712 | 0 | 0.0 | 362M|1044 | - |1933 |7586 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
190.45/190.52 c 180s|410000 |219942 | 0 | 0.0 | 368M|1044 | - |1933 |7750 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
197.35/197.46 c 187s|420000 |220300 | 0 | 0.0 | 373M|1044 | - |1933 |7932 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
204.86/204.95 c 194s|430000 |219644 | 0 | 0.0 | 377M|1044 | - |1933 |8116 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
212.36/212.43 c 201s|440000 |219586 | 0 | 0.0 | 381M|1044 | - |1933 |8816 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
220.86/220.97 c 209s|450000 |218482 | 0 | 0.0 | 384M|1044 | - |1933 | 10k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
228.65/228.79 c 217s|460000 |219536 | 0 | 0.0 | 383M|1044 | - |1933 |5001 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
231.76/231.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.76/231.85 c 219s|470000 |227480 | 0 | 0.0 | 389M|1044 | - |1933 |4275 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
235.05/235.16 c 222s|480000 |234912 | 0 | 0.0 | 396M|1044 | - |1933 |4843 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
238.86/238.92 c 226s|490000 |241707 | 0 | 0.0 | 403M|1044 | - |1933 |5536 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
242.95/243.07 c 229s|500000 |247950 | 0 | 0.0 | 411M|1044 | - |1933 |6464 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
247.46/247.52 c 233s|510000 |253764 | 0 | 0.0 | 418M|1044 | - |1933 |7028 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
252.55/252.63 c 238s|520000 |258571 | 0 | 0.0 | 426M|1044 | - |1933 |7775 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
258.76/258.88 c 244s|530000 |261964 | 0 | 0.0 | 433M|1044 | - |1933 |9190 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
264.75/264.81 c 249s|540000 |266130 | 0 | 0.0 | 437M|1044 | - |1933 |6052 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
267.95/268.06 c 252s|550000 |273712 | 0 | 0.0 | 444M|1044 | - |1933 |5605 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
271.55/271.60 c 256s|560000 |280869 | 0 | 0.0 | 451M|1044 | - |1933 |5971 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
275.15/275.27 c 259s|570000 |287820 | 0 | 0.0 | 458M|1044 | - |1933 |6338 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
279.36/279.47 c 263s|580000 |294053 | 0 | 0.0 | 465M|1044 | - |1933 |6843 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
283.86/283.94 c 267s|590000 |299932 | 0 | 0.0 | 472M|1044 | - |1933 |7405 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
288.46/288.57 c 271s|600000 |305684 | 0 | 0.0 | 479M|1044 | - |1933 |8066 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
293.36/293.43 c 276s|610000 |311182 | 0 | 0.0 | 485M|1044 | - |1933 |8682 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
298.66/298.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.66/298.77 c 280s|620000 |316137 | 0 | 0.0 | 492M|1044 | - |1933 |9968 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
304.76/304.83 c 286s|630000 |320489 | 0 | 0.0 | 499M|1044 | - |1933 | 11k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
311.85/311.98 c 293s|640000 |323872 | 0 | 0.0 | 506M|1044 | - |1933 | 13k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
319.45/319.54 c 300s|650000 |327156 | 0 | 0.0 | 509M|1044 | - |1933 |8043 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
322.66/322.74 c 303s|660000 |335012 | 0 | 0.0 | 514M|1044 | - |1933 |6215 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
326.15/326.20 c 306s|670000 |342401 | 0 | 0.0 | 521M|1044 | - |1933 |6751 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
329.85/329.95 c 309s|680000 |349257 | 0 | 0.0 | 528M|1044 | - |1933 |7478 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
334.05/334.16 c 313s|690000 |355587 | 0 | 0.0 | 535M|1044 | - |1933 |8514 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
338.76/338.85 c 317s|700000 |361332 | 0 | 0.0 | 542M|1044 | - |1933 |9586 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
344.16/344.29 c 322s|710000 |366293 | 0 | 0.0 | 550M|1044 | - |1933 | 11k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
350.25/350.36 c 328s|720000 |370844 | 0 | 0.0 | 557M|1044 | - |1933 | 12k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
357.46/357.51 c 335s|730000 |374295 | 0 | 0.0 | 564M|1044 | - |1933 | 13k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
365.46/365.54 c 342s|740000 |377235 | 0 | 0.0 | 570M|1044 | - |1933 | 16k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
373.06/373.14 c 350s|750000 |381221 | 0 | 0.0 | 573M|1044 | - |1933 | 11k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
376.86/376.98 c 353s|760000 |388616 | 0 | 0.0 | 579M|1044 | - |1933 |9532 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
381.15/381.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.15/381.22 c 357s|770000 |395229 | 0 | 0.0 | 586M|1044 | - |1933 | 10k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
386.26/386.38 c 362s|780000 |400728 | 0 | 0.0 | 593M|1044 | - |1933 | 12k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
392.67/392.74 c 368s|790000 |405221 | 0 | 0.0 | 601M|1044 | - |1933 | 16k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
400.55/400.61 c 375s|800000 |408803 | 0 | 0.0 | 606M|1044 | - |1933 | 16k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
404.56/404.64 c 379s|810000 |416403 | 0 | 0.0 | 611M|1044 | - |1933 | 10k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
408.65/408.80 c 383s|820000 |423175 | 0 | 0.0 | 618M|1044 | - |1933 | 11k| 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
413.35/413.45 c 387s|830000 |429420 | 0 | 0.0 | 625M|1044 | - |1933 | 12k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
418.76/418.87 c 392s|840000 |434931 | 0 | 0.0 | 633M|1044 | - |1933 | 13k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
425.15/425.20 c 398s|850000 |439434 | 0 | 0.0 | 639M|1044 | - |1933 | 15k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
433.26/433.31 c 405s|860000 |442190 | 0 | 0.0 | 645M|1044 | - |1933 | 18k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
437.36/437.46 c 409s|870000 |449693 | 0 | 0.0 | 649M|1044 | - |1933 | 10k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
441.65/441.72 c 413s|880000 |456300 | 0 | 0.0 | 655M|1044 | - |1933 | 10k| 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
446.86/446.95 c 418s|890000 |461759 | 0 | 0.0 | 663M|1044 | - |1933 | 11k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
453.27/453.39 c 424s|900000 |465993 | 0 | 0.0 | 670M|1044 | - |1933 | 13k| 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
461.06/461.13 c 431s|910000 |469276 | 0 | 0.0 | 674M|1044 | - |1933 |8038 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
464.66/464.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.66/464.77 c 435s|920000 |476503 | 0 | 0.0 | 679M|1044 | - |1933 |4439 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
468.26/468.33 c 438s|930000 |483641 | 0 | 0.0 | 686M|1044 | - |1933 |5454 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
471.36/471.41 c 441s|940000 |491581 | 0 | 0.0 | 692M|1044 | - |1933 |4081 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
474.25/474.33 c 443s|950000 |499484 | 0 | 0.0 | 699M|1044 | - |1933 |5422 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
477.47/477.59 c 446s|960000 |506853 | 0 | 0.0 | 705M|1044 | - |1933 |6005 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.56/480.70 c 449s|970000 |514599 | 0 | 0.0 | 711M|1044 | - |1933 |4791 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
483.76/483.86 c 452s|980000 |522244 | 0 | 0.0 | 717M|1044 | - |1933 |4091 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
487.96/488.02 c 456s|990000 |527968 | 0 | 0.0 | 723M|1044 | - |1933 |5666 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
494.85/494.91 c 462s| 1000k|530086 | 0 | 0.0 | 730M|1044 | - |1933 |7236 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
502.46/502.55 c 470s| 1010k|531625 | 0 | 0.0 | 737M|1044 | - |1933 |8242 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
511.26/511.31 c 478s| 1020k|532088 | 0 | 0.0 | 743M|1044 | - |1933 |8409 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
520.26/520.31 c 486s| 1030k|531992 | 0 | 0.0 | 747M|1044 | - |1933 |9079 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
529.25/529.39 c 495s| 1040k|531984 | 0 | 0.0 | 753M|1044 | - |1933 |9512 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
538.65/538.76 c 504s| 1050k|531874 | 0 | 0.0 | 758M|1044 | - |1933 |9802 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
548.16/548.21 c 513s| 1060k|531819 | 0 | 0.0 | 762M|1044 | - |1933 |9735 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
557.96/558.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.96/558.01 c 522s| 1070k|531371 | 0 | 0.0 | 766M|1044 | - |1933 |9937 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
568.16/568.27 c 532s| 1080k|530684 | 0 | 0.0 | 769M|1044 | - |1933 |9964 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
578.36/578.40 c 542s| 1090k|530108 | 0 | 0.0 | 773M|1044 | - |1933 | 10k| 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
588.57/588.67 c 552s| 1100k|529410 | 0 | 0.0 | 776M|1044 | - |1933 | 10k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
598.86/598.98 c 562s| 1110k|528523 | 0 | 0.0 | 778M|1044 | - |1933 | 10k| 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
609.46/609.57 c 572s| 1120k|527453 | 0 | 0.0 | 781M|1044 | - |1933 | 10k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
620.26/620.37 c 582s| 1130k|526261 | 0 | 0.0 | 783M|1044 | - |1933 | 11k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
631.47/631.59 c 593s| 1140k|524510 | 0 | 0.0 | 784M|1044 | - |1933 | 11k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
642.66/642.70 c 604s| 1150k|522948 | 0 | 0.0 | 786M|1044 | - |1933 | 11k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
653.56/653.69 c 614s| 1160k|520994 | 0 | 0.0 | 786M|1044 | - |1933 | 11k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
665.46/665.56 c 626s| 1170k|518154 | 0 | 0.0 | 785M|1044 | - |1933 | 12k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
677.57/677.67 c 637s| 1180k|515507 | 0 | 0.0 | 784M|1044 | - |1933 | 12k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
690.46/690.52 c 650s| 1190k|511840 | 0 | 0.0 | 781M|1044 | - |1933 | 12k| 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
703.76/703.85 c 663s| 1200k|507668 | 0 | 0.0 | 776M|1044 | - |1933 | 13k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
718.37/718.45 c 677s| 1210k|503137 | 0 | 0.0 | 769M|1044 | - |1933 | 15k| 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
733.56/733.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.56/733.62 c 691s| 1220k|499773 | 0 | 0.0 | 759M|1044 | - |1933 | 12k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
738.17/738.29 c 696s| 1230k|506516 | 0 | 0.0 | 764M|1044 | - |1933 |7302 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
742.56/742.68 c 700s| 1240k|513006 | 0 | 0.0 | 771M|1044 | - |1933 |7294 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
747.27/747.34 c 704s| 1250k|519175 | 0 | 0.0 | 778M|1044 | - |1933 |7888 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
752.06/752.14 c 708s| 1260k|525223 | 0 | 0.0 | 785M|1044 | - |1933 |8330 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
757.16/757.25 c 713s| 1270k|530971 | 0 | 0.0 | 792M|1044 | - |1933 |8824 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
762.47/762.51 c 718s| 1280k|536620 | 0 | 0.0 | 799M|1044 | - |1933 |9561 | 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
767.96/768.01 c 723s| 1290k|542040 | 0 | 0.0 | 806M|1044 | - |1933 | 10k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
773.57/773.62 c 728s| 1300k|547335 | 0 | 0.0 | 813M|1044 | - |1933 | 10k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
779.26/779.38 c 734s| 1310k|552383 | 0 | 0.0 | 819M|1044 | - |1933 | 10k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
785.26/785.30 c 739s| 1320k|557324 | 0 | 0.0 | 826M|1044 | - |1933 | 10k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
791.27/791.33 c 745s| 1330k|562198 | 0 | 0.0 | 833M|1044 | - |1933 | 10k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
797.86/797.96 c 751s| 1340k|566415 | 0 | 0.0 | 839M|1044 | - |1933 | 11k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
804.96/805.03 c 758s| 1350k|570258 | 0 | 0.0 | 846M|1044 | - |1933 | 11k| 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
812.37/812.42 c 765s| 1360k|573676 | 0 | 0.0 | 852M|1044 | - |1933 | 11k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
820.57/820.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.57/820.63 c 773s| 1370k|576175 | 0 | 0.0 | 858M|1044 | - |1933 | 11k| 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
829.56/829.63 c 781s| 1380k|578127 | 0 | 0.0 | 863M|1044 | - |1933 | 12k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
838.66/838.74 c 790s| 1390k|580192 | 0 | 0.0 | 869M|1044 | - |1933 | 13k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
848.67/848.72 c 799s| 1400k|581349 | 0 | 0.0 | 873M|1044 | - |1933 | 13k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
858.56/858.61 c 809s| 1410k|582956 | 0 | 0.0 | 879M|1044 | - |1933 | 14k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
869.37/869.46 c 819s| 1420k|583462 | 0 | 0.0 | 883M|1044 | - |1933 | 14k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
881.37/881.46 c 831s| 1430k|583239 | 0 | 0.0 | 886M|1044 | - |1933 | 15k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
894.37/894.48 c 843s| 1440k|582449 | 0 | 0.0 | 888M|1044 | - |1933 | 17k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
903.76/903.80 c 852s| 1450k|585804 | 0 | 0.0 | 891M|1044 | - |1933 | 12k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
909.27/909.39 c 857s| 1460k|592058 | 0 | 0.0 | 897M|1044 | - |1933 | 11k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
914.87/914.99 c 862s| 1470k|597963 | 0 | 0.0 | 903M|1044 | - |1933 | 10k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
920.67/920.75 c 868s| 1480k|603595 | 0 | 0.0 | 910M|1044 | - |1933 | 11k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
926.37/926.48 c 873s| 1490k|609262 | 0 | 0.0 | 917M|1044 | - |1933 | 11k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
932.36/932.48 c 879s| 1500k|614633 | 0 | 0.0 | 923M|1044 | - |1933 | 11k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
938.67/938.75 c 884s| 1510k|619829 | 0 | 0.0 | 930M|1044 | - |1933 | 12k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
944.87/944.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.87/944.99 c 890s| 1520k|625046 | 0 | 0.0 | 936M|1044 | - |1933 | 12k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
951.17/951.29 c 896s| 1530k|630301 | 0 | 0.0 | 942M|1044 | - |1933 | 13k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
957.77/957.84 c 902s| 1540k|635373 | 0 | 0.0 | 948M|1044 | - |1933 | 13k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
964.07/964.19 c 908s| 1550k|640660 | 0 | 0.0 | 954M|1044 | - |1933 | 13k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
970.18/970.23 c 914s| 1560k|646294 | 0 | 0.0 | 960M|1044 | - |1933 | 13k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
976.88/976.96 c 920s| 1570k|651309 | 0 | 0.0 | 966M|1044 | - |1933 | 14k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
983.67/983.79 c 927s| 1580k|656242 | 0 | 0.0 | 972M|1044 | - |1933 | 14k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
990.77/990.82 c 933s| 1590k|661045 | 0 | 0.0 | 977M|1044 | - |1933 | 15k| 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
997.68/997.73 c 940s| 1600k|666041 | 0 | 0.0 | 983M|1044 | - |1933 | 15k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1004.67/1004.79 c 947s| 1610k|670903 | 0 | 0.0 | 988M|1044 | - |1933 | 15k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1012.27/1012.32 c 954s| 1620k|675431 | 0 | 0.0 | 994M|1044 | - |1933 | 16k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1019.87/1019.93 c 961s| 1630k|679992 | 0 | 0.0 | 999M|1044 | - |1933 | 16k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1027.27/1027.37 c 968s| 1640k|684959 | 0 | 0.0 |1005M|1044 | - |1933 | 17k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1035.57/1035.60 c 976s| 1650k|689252 | 0 | 0.0 |1011M|1044 | - |1933 | 17k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1044.07/1044.15 c 984s| 1660k|693366 | 0 | 0.0 |1016M|1044 | - |1933 | 18k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1052.87/1052.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.87/1052.91 c 992s| 1670k|697343 | 0 | 0.0 |1021M|1044 | - |1933 | 18k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1061.57/1061.68 c 1001s| 1680k|701399 | 0 | 0.0 |1026M|1044 | - |1933 | 19k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1070.98/1071.01 c 1010s| 1690k|705180 | 0 | 0.0 |1031M|1044 | - |1933 | 19k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1080.47/1080.54 c 1019s| 1700k|708968 | 0 | 0.0 |1036M|1044 | - |1933 | 20k| 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1090.37/1090.46 c 1028s| 1710k|712638 | 0 | 0.0 |1041M|1044 | - |1933 | 21k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1100.67/1100.77 c 1038s| 1720k|716208 | 0 | 0.0 |1046M|1044 | - |1933 | 22k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1110.98/1111.07 c 1048s| 1730k|719942 | 0 | 0.0 |1051M|1044 | - |1933 | 22k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1123.08/1123.16 c 1060s| 1740k|722449 | 0 | 0.0 |1055M|1044 | - |1933 | 24k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1134.37/1134.48 c 1071s| 1750k|725942 | 0 | 0.0 |1060M|1044 | - |1933 | 24k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1148.18/1148.26 c 1084s| 1760k|727774 | 0 | 0.0 |1063M|1044 | - |1933 | 26k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1163.68/1163.71 c 1099s| 1770k|728990 | 0 | 0.0 |1067M|1044 | - |1933 | 28k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1181.98/1182.02 c 1117s| 1780k|728956 | 0 | 0.0 |1070M|1044 | - |1933 | 31k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1196.78/1196.90 c 1131s| 1790k|731324 | 0 | 0.0 |1069M|1044 | - |1933 | 19k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1203.28/1203.34 c 1137s| 1800k|737827 | 0 | 0.0 |1073M|1044 | - |1933 | 14k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1209.27/1209.32 c 1143s| 1810k|744039 | 0 | 0.0 |1079M|1044 | - |1933 | 13k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1215.68/1215.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1215.68/1215.71 c 1149s| 1820k|749842 | 0 | 0.0 |1086M|1044 | - |1933 | 14k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1221.87/1221.99 c 1155s| 1830k|755740 | 0 | 0.0 |1092M|1044 | - |1933 | 14k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1228.37/1228.40 c 1161s| 1840k|761599 | 0 | 0.0 |1099M|1044 | - |1933 | 15k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1234.78/1234.89 c 1167s| 1850k|767382 | 0 | 0.0 |1105M|1044 | - |1933 | 15k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1241.47/1241.51 c 1173s| 1860k|773031 | 0 | 0.0 |1111M|1044 | - |1933 | 15k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1247.98/1248.07 c 1179s| 1870k|778836 | 0 | 0.0 |1118M|1044 | - |1933 | 16k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1254.78/1254.83 c 1186s| 1880k|784479 | 0 | 0.0 |1124M|1044 | - |1933 | 16k| 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1262.38/1262.43 c 1193s| 1890k|789486 | 0 | 0.0 |1129M|1044 | - |1933 | 16k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1268.98/1269.01 c 1199s| 1900k|795259 | 0 | 0.0 |1135M|1044 | - |1933 | 17k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1276.58/1276.61 c 1206s| 1910k|800279 | 0 | 0.0 |1141M|1044 | - |1933 | 18k| 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1284.48/1284.52 c 1214s| 1920k|804986 | 0 | 0.0 |1147M|1044 | - |1933 | 18k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1292.18/1292.22 c 1221s| 1930k|809994 | 0 | 0.0 |1152M|1044 | - |1933 | 18k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1299.78/1299.81 c 1228s| 1940k|815061 | 0 | 0.0 |1158M|1044 | - |1933 | 19k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1308.28/1308.35 c 1236s| 1950k|819453 | 0 | 0.0 |1163M|1044 | - |1933 | 19k| 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1316.97/1317.02 c 1245s| 1960k|823870 | 0 | 0.0 |1168M|1044 | - |1933 | 20k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1325.18/1325.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1325.18/1325.21 c 1252s| 1970k|828651 | 0 | 0.0 |1174M|1044 | - |1933 | 21k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1333.98/1334.03 c 1261s| 1980k|833012 | 0 | 0.0 |1179M|1044 | - |1933 | 21k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1344.18/1344.23 c 1271s| 1990k|836414 | 0 | 0.0 |1184M|1044 | - |1933 | 23k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1354.98/1355.08 c 1281s| 2000k|839697 | 0 | 0.0 |1189M|1044 | - |1933 | 23k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1366.78/1366.84 c 1292s| 2010k|842470 | 0 | 0.0 |1194M|1044 | - |1933 | 24k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1378.78/1378.82 c 1304s| 2020k|845322 | 0 | 0.0 |1199M|1044 | - |1933 | 25k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1392.78/1392.85 c 1317s| 2030k|846923 | 0 | 0.0 |1202M|1044 | - |1933 | 26k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1406.18/1406.28 c 1330s| 2040k|849251 | 0 | 0.0 |1207M|1044 | - |1933 | 27k| 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1421.39/1421.41 c 1345s| 2050k|850714 | 0 | 0.0 |1211M|1044 | - |1933 | 29k| 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1438.18/1438.23 c 1361s| 2060k|851443 | 0 | 0.0 |1214M|1044 | - |1933 | 30k| 0 | 0 | 0 |1890k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1456.09/1456.14 c 1379s| 2070k|851586 | 0 | 0.0 |1216M|1044 | - |1933 | 31k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1476.59/1476.61 c 1399s| 2080k|850287 | 0 | 0.0 |1215M|1044 | - |1933 | 30k| 0 | 0 | 0 |1928k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1484.59/1484.65 c 1406s| 2090k|856947 | 0 | 0.0 |1218M|1044 | - |1933 | 21k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1490.99/1491.06 c 1412s| 2100k|863688 | 0 | 0.0 |1223M|1044 | - |1933 | 18k| 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1497.09/1497.16 c 1418s| 2110k|870258 | 0 | 0.0 |1229M|1044 | - |1933 | 17k| 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1503.28/1503.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.28/1503.39 c 1424s| 2120k|876552 | 0 | 0.0 |1235M|1044 | - |1933 | 17k| 0 | 0 | 0 |1953k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1510.09/1510.10 c 1430s| 2130k|882491 | 0 | 0.0 |1241M|1044 | - |1933 | 18k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1517.38/1517.42 c 1437s| 2140k|887999 | 0 | 0.0 |1247M|1044 | - |1933 | 19k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1524.89/1524.95 c 1444s| 2150k|893422 | 0 | 0.0 |1253M|1044 | - |1933 | 19k| 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1532.58/1532.64 c 1452s| 2160k|898748 | 0 | 0.0 |1259M|1044 | - |1933 | 20k| 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1540.69/1540.78 c 1460s| 2170k|903804 | 0 | 0.0 |1265M|1044 | - |1933 | 21k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1549.68/1549.70 c 1468s| 2180k|908456 | 0 | 0.0 |1270M|1044 | - |1933 | 23k| 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1559.69/1559.80 c 1478s| 2190k|912531 | 0 | 0.0 |1276M|1044 | - |1933 | 24k| 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1569.09/1569.14 c 1487s| 2200k|916989 | 0 | 0.0 |1281M|1044 | - |1933 | 25k| 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1579.49/1579.56 c 1497s| 2210k|920813 | 0 | 0.0 |1286M|1044 | - |1933 | 26k| 0 | 0 | 0 |2035k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1589.78/1589.82 c 1507s| 2220k|924958 | 0 | 0.0 |1291M|1044 | - |1933 | 28k| 0 | 0 | 0 |2046k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1601.29/1601.33 c 1518s| 2230k|928500 | 0 | 0.0 |1296M|1044 | - |1933 | 30k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1615.09/1615.15 c 1531s| 2240k|931068 | 0 | 0.0 |1300M|1044 | - |1933 | 32k| 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1629.99/1630.01 c 1545s| 2250k|933153 | 0 | 0.0 |1304M|1044 | - |1933 | 34k| 0 | 0 | 0 |2087k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1647.79/1647.82 c 1563s| 2260k|933574 | 0 | 0.0 |1305M|1044 | - |1933 | 34k| 0 | 0 | 0 |2104k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1655.60/1655.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.60/1655.63 c 1570s| 2270k|940508 | 0 | 0.0 |1308M|1044 | - |1933 | 22k| 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1661.89/1661.90 c 1576s| 2280k|947244 | 0 | 0.0 |1313M|1044 | - |1933 | 20k| 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1668.09/1668.10 c 1582s| 2290k|953752 | 0 | 0.0 |1319M|1044 | - |1933 | 18k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1674.08/1674.12 c 1588s| 2300k|960236 | 0 | 0.0 |1325M|1044 | - |1933 | 18k| 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1680.29/1680.34 c 1594s| 2310k|966417 | 0 | 0.0 |1331M|1044 | - |1933 | 18k| 0 | 0 | 0 |2133k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1686.69/1686.78 c 1600s| 2320k|972376 | 0 | 0.0 |1337M|1044 | - |1933 | 18k| 0 | 0 | 0 |2140k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1693.29/1693.37 c 1606s| 2330k|978055 | 0 | 0.0 |1343M|1044 | - |1933 | 18k| 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1700.29/1700.33 c 1613s| 2340k|983544 | 0 | 0.0 |1349M|1044 | - |1933 | 19k| 0 | 0 | 0 |2154k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1707.30/1707.35 c 1619s| 2350k|988989 | 0 | 0.0 |1355M|1044 | - |1933 | 19k| 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1714.79/1714.84 c 1626s| 2360k|994142 | 0 | 0.0 |1361M|1044 | - |1933 | 20k| 0 | 0 | 0 |2169k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1722.49/1722.57 c 1634s| 2370k|999118 | 0 | 0.0 |1366M|1044 | - |1933 | 20k| 0 | 0 | 0 |2177k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1730.69/1730.70 c 1641s| 2380k| 1003k| 0 | 0.0 |1372M|1044 | - |1933 | 21k| 0 | 0 | 0 |2185k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1740.99/1741.05 c 1651s| 2390k| 1006k| 0 | 0.0 |1377M|1044 | - |1933 | 21k| 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1752.59/1752.64 c 1662s| 2400k| 1009k| 0 | 0.0 |1382M|1044 | - |1933 | 22k| 0 | 0 | 0 |2206k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1765.39/1765.45 c 1675s| 2410k| 1010k| 0 | 0.0 |1387M|1044 | - |1933 | 24k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1779.29/1779.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.29/1779.30 c 1688s| 2420k| 1011k| 0 | 0.0 |1391M|1044 | - |1933 | 25k| 0 | 0 | 0 |2232k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1794.30/1794.39 c 1703s| 2430k| 1012k| 0 | 0.0 |1395M|1044 | - |1933 | 26k| 0 | 0 | 0 |2246k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1708.39
1800.09/1800.10 c Solving Nodes : 2433614
1800.09/1800.10 c Primal Bound : +7.00000000000000e+00 (13 solutions)
1800.09/1800.10 c Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Gap : infinite
1800.09/1800.12 s SATISFIABLE
1800.09/1800.12 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.09/1800.12 v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.09/1800.12 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.09/1800.12 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.09/1800.12 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.09/1800.12 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.09/1800.12 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.09/1800.12 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.09/1800.12 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.09/1800.12 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.09/1800.12 v x1
1800.09/1800.12 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.12 c Solving Time : 1708.39
1800.09/1800.12 c Original Problem :
1800.09/1800.12 c Problem name : HOME/instance-2694173-1277909159.wbo
1800.09/1800.12 c Variables : 2043 (1137 binary, 0 integer, 0 implicit integer, 906 continuous)
1800.09/1800.12 c Constraints : 3614 initial, 3614 maximal
1800.09/1800.12 c Presolved Problem :
1800.09/1800.12 c Problem name : t_HOME/instance-2694173-1277909159.wbo
1800.09/1800.12 c Variables : 1933 (1082 binary, 0 integer, 0 implicit integer, 851 continuous)
1800.09/1800.12 c Constraints : 3444 initial, 37792 maximal
1800.09/1800.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.12 c trivial : 0.00 55 0 0 0 0 0 0 0
1800.09/1800.12 c dualfix : 0.01 55 0 0 0 0 0 0 0
1800.09/1800.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c probing : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 0.00 0 0 0 0 0 55 0 0
1800.09/1800.12 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c linear : 0.05 0 0 0 906 0 115 55 0
1800.09/1800.12 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.12 c root node : - 790 - - 1580 - - - -
1800.09/1800.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.12 c indicator : 851 0 5480608 0 1486581 48 1429329 0 0 0
1800.09/1800.12 c setppc : 12 0 7778808 0 1917478 177862 4608958 0 0 0
1800.09/1800.12 c linear : 851 0 7602002 0 1917583 285219 37881187 0 0 0
1800.09/1800.12 c logicor : 1730+ 0 5525445 0 1917584 328923 15044143 0 0 0
1800.09/1800.12 c bounddisjunction : 0+ 0 30202 0 0 0 12 0 0 0
1800.09/1800.12 c countsols : 0 0 0 0 1917573 0 0 0 0 0
1800.09/1800.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.12 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.12 c indicator : 5.06 0.00 2.06 0.00 3.00
1800.09/1800.12 c setppc : 29.53 0.00 27.33 0.00 2.20
1800.09/1800.12 c linear : 187.81 0.00 186.44 0.00 1.37
1800.09/1800.12 c logicor : 623.44 0.00 529.34 0.00 94.10
1800.09/1800.12 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.09/1800.12 c countsols : 0.04 0.00 0.00 0.00 0.04
1800.09/1800.12 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.12 c vbounds : 0.08 2 0 0
1800.09/1800.12 c rootredcost : 0.08 0 0 0
1800.09/1800.12 c pseudoobj : 126.70 7780252 539 1402716
1800.09/1800.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.12 c propagation : 40.23 792543 791169 4003921 21.2 48038 11.9 -
1800.09/1800.12 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.12 c pseudo solution : 0.00 11 11 43 21.4 11 6.7 -
1800.09/1800.12 c applied globally : - - - 2251630 18.5 - - -
1800.09/1800.12 c applied locally : - - - 13 127.2 - - -
1800.09/1800.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.12 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.12 c redcost : 0.00 0 0 0 0 0
1800.09/1800.12 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.12 c intobj : 0.00 0 0 0 0 0
1800.09/1800.12 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.12 c gomory : 0.00 0 0 0 0 0
1800.09/1800.12 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.12 c cmir : 0.00 0 0 0 0 0
1800.09/1800.12 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.12 c clique : 0.00 0 0 0 0 0
1800.09/1800.12 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.12 c mcf : 0.00 0 0 0 0 0
1800.09/1800.12 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.12 c Pricers : Time Calls Vars
1800.09/1800.12 c problem variables: 0.00 0 0
1800.09/1800.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.12 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.12 c inference : 27.23 1917560 0 0 0 0 3835120
1800.09/1800.12 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.12 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.12 c random : 0.00 0 0 0 0 0 0
1800.09/1800.12 c Primal Heuristics : Time Calls Found
1800.09/1800.12 c LP solutions : 0.00 - 0
1800.09/1800.12 c pseudo solutions : 0.00 - 13
1800.09/1800.12 c oneopt : 0.10 0 0
1800.09/1800.12 c trivial : 0.00 2 0
1800.09/1800.12 c simplerounding : 0.00 0 0
1800.09/1800.12 c zirounding : 0.00 0 0
1800.09/1800.12 c rounding : 0.00 0 0
1800.09/1800.12 c shifting : 0.00 0 0
1800.09/1800.12 c intshifting : 0.00 0 0
1800.09/1800.12 c twoopt : 0.00 0 0
1800.09/1800.12 c fixandinfer : 0.00 0 0
1800.09/1800.12 c feaspump : 0.00 0 0
1800.09/1800.12 c coefdiving : 0.00 0 0
1800.09/1800.12 c pscostdiving : 0.00 0 0
1800.09/1800.12 c fracdiving : 0.00 0 0
1800.09/1800.12 c veclendiving : 0.00 0 0
1800.09/1800.12 c intdiving : 0.00 0 0
1800.09/1800.12 c actconsdiving : 0.00 0 0
1800.09/1800.12 c objpscostdiving : 0.00 0 0
1800.09/1800.12 c rootsoldiving : 0.00 0 0
1800.09/1800.12 c linesearchdiving : 0.00 0 0
1800.09/1800.12 c guideddiving : 0.00 0 0
1800.09/1800.12 c octane : 0.00 0 0
1800.09/1800.12 c rens : 0.00 0 0
1800.09/1800.12 c rins : 0.00 0 0
1800.09/1800.12 c localbranching : 0.00 0 0
1800.09/1800.12 c mutation : 0.00 0 0
1800.09/1800.12 c crossover : 0.00 0 0
1800.09/1800.12 c dins : 0.00 0 0
1800.09/1800.12 c undercover : 0.00 0 0
1800.09/1800.12 c nlp : 0.07 0 0
1800.09/1800.12 c trysol : 0.03 1 0
1800.09/1800.12 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.12 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.12 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.12 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.12 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.12 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.12 c (at root node) : - 0 0 0.00 -
1800.09/1800.12 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.12 c B&B Tree :
1800.09/1800.12 c number of runs : 1
1800.09/1800.12 c nodes : 2433614
1800.09/1800.12 c nodes (total) : 2433614
1800.09/1800.12 c nodes left : 1012049
1800.09/1800.12 c max depth : 1044
1800.09/1800.12 c max depth (total): 1044
1800.09/1800.12 c backtracks : 519908 (21.4%)
1800.09/1800.12 c delayed cutoffs : 386897
1800.09/1800.12 c repropagations : 1773096 (16806014 domain reductions, 276561 cutoffs)
1800.09/1800.12 c avg switch length: 27.70
1800.09/1800.12 c switching time : 550.13
1800.09/1800.12 c Solution :
1800.09/1800.12 c Solutions found : 13 (13 improvements)
1800.09/1800.12 c First Solution : +5.25000000000000e+02 (in run 1, after 3592 nodes, 0.90 seconds, depth 181, found by <relaxation>)
1800.09/1800.12 c Primal Bound : +7.00000000000000e+00 (in run 1, after 30673 nodes, 8.64 seconds, depth 242, found by <relaxation>)
1800.09/1800.12 c Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Gap : infinite
1800.09/1800.12 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.12 c Root Iterations : 0