0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692789-1277903693.wbo>
0.00/0.03 c original problem has 3863 variables (2047 bin, 0 int, 0 impl, 1816 cont) and 4524 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.00/0.09 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.11 c (round 3) 53 del vars, 157 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.11 c (round 4) 125 del vars, 177 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.13 c (round 5) 145 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.14 c (round 6) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.19 c (0.1s) probing: 101/1974 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (7 rounds):
0.09/0.19 c 146 deleted vars, 178 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.19 c 1958 implications, 6 cliques
0.09/0.19 c presolved problem has 3717 variables (1974 bin, 0 int, 0 impl, 1743 cont) and 4346 constraints
0.09/0.19 c 1743 constraints of type <indicator>
0.09/0.19 c 6 constraints of type <setppc>
0.09/0.19 c 1743 constraints of type <linear>
0.09/0.19 c 854 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.14
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.98
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.18/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.18/0.20 c 0.2s| 1 | 0 | 27 | - | 13M| 0 | 16 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.21 o 88690
0.18/0.21 c y 0.2s| 1 | 0 | 38 | - | 13M| 0 | 16 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.18/0.24 c 0.2s| 1 | 0 | 71 | - | 13M| 0 | 21 |3717 |4346 |3717 | 878 | 18 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.18/0.29 c 0.2s| 1 | 0 | 129 | - | 14M| 0 | 33 |3717 |4346 |3717 | 904 | 44 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 148 | - | 14M| 0 | 50 |3717 |4346 |3717 | 913 | 53 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 164 | - | 14M| 0 | 48 |3717 |4346 |3717 | 918 | 58 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.49/0.51 c 0.5s| 1 | 0 | 172 | - | 14M| 0 | 49 |3717 |4346 |3717 | 923 | 63 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.59/0.60 c 0.6s| 1 | 0 | 181 | - | 14M| 0 | 47 |3717 |4346 |3717 | 926 | 66 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.89/0.91 c 0.8s| 1 | 2 | 181 | - | 14M| 0 | 47 |3717 |4346 |3717 | 926 | 66 | 0 | 33 | 0.000000e+00 | 8.869000e+04 | Inf
5.89/5.95 o 738
5.89/5.95 c * 5.8s| 2186 | 1333 | 829 | 0.3 | 18M|1633 | - |3717 |4346 |3717 | 960 | 114 | 0 | 266 | 0.000000e+00 | 7.380000e+02 | Inf
7.29/7.33 o 696
7.29/7.33 c * 7.2s| 2520 | 1250 | 1530 | 0.5 | 18M|1633 | - |3717 |4388 |3717 | 959 | 174 | 42 | 454 | 0.000000e+00 | 6.960000e+02 | Inf
10.19/10.29 o 539
10.19/10.29 c *10.1s| 3354 | 1316 | 4252 | 1.2 | 19M|1633 | - |3717 |4490 |3717 | 956 | 506 | 144 | 937 | 0.000000e+00 | 5.390000e+02 | Inf
21.99/22.09 c 21.7s| 10000 | 7913 | 14468 | 1.4 | 34M|1633 | 0 |3717 |4588 |3717 | 930 |1256 | 242 |1286 | 0.000000e+00 | 5.390000e+02 | Inf
23.09/23.14 o 526
23.09/23.14 c *22.8s| 10597 | 8139 | 15016 | 1.4 | 35M|1633 | - |3717 |4591 |3717 | 943 |1324 | 245 |1324 | 0.000000e+00 | 5.260000e+02 | Inf
23.29/23.32 o 515
23.29/23.32 c *22.9s| 10633 | 7899 | 15293 | 1.4 | 35M|1633 | - |3717 |4607 |3717 | 960 |1361 | 261 |1353 | 0.000000e+00 | 5.150000e+02 | Inf
23.89/23.96 o 511
23.89/23.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.89/23.96 c *23.6s| 10970 | 8111 | 16292 | 1.5 | 35M|1633 | - |3717 |4622 |3717 | 939 |1419 | 277 |1353 | 0.000000e+00 | 5.110000e+02 | Inf
25.89/25.93 o 502
25.89/25.93 c *25.5s| 11800 | 8582 | 19048 | 1.6 | 36M|1633 | - |3717 |4757 |3717 | 958 |1748 | 448 |1466 | 0.000000e+00 | 5.020000e+02 | Inf
28.09/28.14 o 499
28.09/28.14 c *27.7s| 12389 | 8846 | 25461 | 2.0 | 37M|1633 | - |3717 |5086 |3717 | 945 |2374 | 861 |1560 | 0.000000e+00 | 4.990000e+02 | Inf
28.19/28.27 o 495
28.19/28.27 c *27.8s| 12437 | 8775 | 25802 | 2.1 | 37M|1633 | - |3717 |5082 |3717 | 938 |2389 | 861 |1562 | 0.000000e+00 | 4.950000e+02 | Inf
31.19/31.26 o 484
31.19/31.26 c *30.8s| 13749 | 9555 | 30974 | 2.2 | 40M|1633 | - |3717 |5288 |3717 | 952 |3089 |1157 |1667 | 0.000000e+00 | 4.840000e+02 | Inf
32.79/32.81 o 481
32.79/32.81 c *32.3s| 14361 | 9924 | 34216 | 2.4 | 41M|1633 | - |3717 |5412 |3717 | 960 |3443 |1361 |1692 | 0.000000e+00 | 4.810000e+02 | Inf
34.59/34.61 o 467
34.59/34.61 c *34.0s| 14853 | 9794 | 40630 | 2.7 | 41M|1633 | - |3717 |5571 |3717 | 942 |4049 |1703 |1726 | 0.000000e+00 | 4.670000e+02 | Inf
34.59/34.69 o 461
34.59/34.69 c *34.1s| 14901 | 9668 | 40635 | 2.7 | 41M|1633 | - |3717 |5577 |3717 | 942 |4049 |1709 |1726 | 0.000000e+00 | 4.610000e+02 | Inf
35.20/35.23 o 455
35.20/35.23 c *34.6s| 15155 | 9738 | 41551 | 2.7 | 41M|1633 | - |3717 |5603 |3717 | 953 |4214 |1763 |1739 | 0.000000e+00 | 4.550000e+02 | Inf
35.29/35.34 o 441
35.29/35.34 c *34.8s| 15212 | 9344 | 41669 | 2.7 | 40M|1633 | - |3717 |5604 |3717 | 939 |4230 |1771 |1739 | 0.000000e+00 | 4.410000e+02 | Inf
35.29/35.36 o 415
35.29/35.36 c *34.8s| 15224 | 8568 | 41671 | 2.7 | 38M|1633 | - |3717 |5604 |3717 | 939 |4230 |1771 |1739 | 0.000000e+00 | 4.150000e+02 | Inf
35.39/35.44 o 412
35.39/35.44 c *34.9s| 15245 | 8499 | 41839 | 2.7 | 38M|1633 | - |3717 |5604 |3717 | 952 |4259 |1777 |1739 | 0.000000e+00 | 4.120000e+02 | Inf
35.39/35.46 o 390
35.39/35.46 c *34.9s| 15256 | 7767 | 41857 | 2.7 | 36M|1633 | - |3717 |5604 |3717 | 952 |4259 |1777 |1739 | 0.000000e+00 | 3.900000e+02 | Inf
35.49/35.56 o 377
35.49/35.56 c *35.0s| 15299 | 7425 | 42002 | 2.7 | 35M|1633 | - |3717 |5615 |3717 | 953 |4289 |1793 |1739 | 0.000000e+00 | 3.770000e+02 | Inf
35.70/35.74 o 373
35.70/35.74 c *35.1s| 15382 | 7408 | 42278 | 2.7 | 35M|1633 | - |3717 |5627 |3717 | 950 |4346 |1817 |1739 | 0.000000e+00 | 3.730000e+02 | Inf
35.79/35.80 o 349
35.79/35.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.79/35.80 c *35.2s| 15405 | 6773 | 42301 | 2.7 | 34M|1633 | - |3717 |5624 |3717 | 952 |4348 |1817 |1739 | 0.000000e+00 | 3.490000e+02 | Inf
36.19/36.21 o 312
36.19/36.21 c *35.6s| 15606 | 5964 | 42897 | 2.7 | 32M|1633 | - |3717 |5614 |3717 | 936 |4452 |1873 |1741 | 0.000000e+00 | 3.120000e+02 | Inf
36.39/36.48 o 309
36.39/36.48 c *35.9s| 15694 | 5976 | 43552 | 2.8 | 33M|1633 | - |3717 |5622 |3717 | 941 |4531 |1921 |1742 | 0.000000e+00 | 3.090000e+02 | Inf
36.49/36.52 o 306
36.49/36.52 c *35.9s| 15700 | 5869 | 43721 | 2.8 | 33M|1633 | - |3717 |5616 |3717 | 936 |4544 |1921 |1742 | 0.000000e+00 | 3.060000e+02 | Inf
36.79/36.82 o 300
36.79/36.82 c *36.2s| 15807 | 5793 | 44374 | 2.8 | 33M|1633 | - |3717 |5635 |3717 | 943 |4658 |1992 |1746 | 0.000000e+00 | 3.000000e+02 | Inf
36.89/36.91 o 298
36.89/36.91 c *36.3s| 15836 | 5744 | 44575 | 2.8 | 33M|1633 | - |3717 |5640 |3717 | 960 |4695 |2010 |1746 | 0.000000e+00 | 2.980000e+02 | Inf
36.89/36.99 o 284
36.89/36.99 c *36.4s| 15901 | 5435 | 44580 | 2.8 | 32M|1633 | - |3717 |5638 |3717 | 960 |4695 |2010 |1746 | 0.000000e+00 | 2.840000e+02 | Inf
37.30/37.33 o 281
37.30/37.33 c *36.7s| 16093 | 5515 | 44880 | 2.8 | 33M|1633 | - |3717 |5615 |3717 | 929 |4717 |2025 |1752 | 0.000000e+00 | 2.810000e+02 | Inf
37.30/37.35 o 278
37.30/37.35 c *36.7s| 16100 | 5437 | 44881 | 2.8 | 32M|1633 | - |3717 |5619 |3717 | 929 |4717 |2029 |1752 | 0.000000e+00 | 2.780000e+02 | Inf
37.30/37.36 o 269
37.30/37.36 c *36.7s| 16101 | 5230 | 44881 | 2.8 | 32M|1633 | - |3717 |5619 |3717 | 929 |4717 |2029 |1752 | 0.000000e+00 | 2.690000e+02 | Inf
37.59/37.69 o 255
37.59/37.69 c *37.1s| 16215 | 4831 | 45780 | 2.8 | 31M|1633 | - |3717 |5632 |3717 | 953 |4815 |2096 |1753 | 0.000000e+00 | 2.550000e+02 | Inf
37.99/38.01 o 245
37.99/38.01 c *37.4s| 16313 | 4655 | 47030 | 2.9 | 31M|1633 | - |3717 |5642 |3717 | 935 |4918 |2157 |1753 | 0.000000e+00 | 2.450000e+02 | Inf
38.09/38.10 o 244
38.09/38.10 c *37.5s| 16331 | 4630 | 47339 | 2.9 | 31M|1633 | - |3717 |5633 |3717 | 956 |4951 |2164 |1753 | 0.000000e+00 | 2.440000e+02 | Inf
38.09/38.19 o 235
38.09/38.19 c *37.6s| 16417 | 4406 | 47357 | 2.9 | 31M|1633 | - |3717 |5633 |3717 | 956 |4951 |2164 |1753 | 0.000000e+00 | 2.350000e+02 | Inf
38.19/38.29 o 222
38.19/38.29 c *37.7s| 16453 | 4148 | 47515 | 2.9 | 30M|1633 | - |3717 |5635 |3717 | 956 |4984 |2187 |1754 | 0.000000e+00 | 2.220000e+02 | Inf
38.29/38.32 o 212
38.29/38.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.29/38.32 c *37.7s| 16460 | 3928 | 47604 | 2.9 | 29M|1633 | - |3717 |5633 |3717 | 925 |4986 |2190 |1754 | 0.000000e+00 | 2.120000e+02 | Inf
38.29/38.35 o 209
38.29/38.35 c *37.7s| 16469 | 3859 | 47644 | 2.9 | 29M|1633 | - |3717 |5632 |3717 | 925 |4988 |2199 |1754 | 0.000000e+00 | 2.090000e+02 | Inf
38.40/38.45 o 208
38.40/38.45 c *37.8s| 16495 | 3854 | 47935 | 2.9 | 29M|1633 | - |3717 |5615 |3717 | 968 |5033 |2206 |1754 | 0.000000e+00 | 2.080000e+02 | Inf
38.50/38.58 o 197
38.50/38.58 c *38.0s| 16621 | 3486 | 47936 | 2.9 | 29M|1633 | - |3717 |5614 |3717 | 968 |5033 |2206 |1754 | 0.000000e+00 | 1.970000e+02 | Inf
38.59/38.68 o 181
38.59/38.68 c *38.0s| 16649 | 3010 | 48088 | 2.9 | 28M|1633 | - |3717 |5603 |3717 | 963 |5073 |2208 |1756 | 0.000000e+00 | 1.810000e+02 | Inf
38.59/38.68 o 167
38.59/38.68 c *38.0s| 16650 | 2644 | 48088 | 2.9 | 27M|1633 | - |3717 |5603 |3717 | 963 |5073 |2208 |1756 | 0.000000e+00 | 1.670000e+02 | Inf
38.69/38.78 o 166
38.69/38.78 c *38.1s| 16688 | 2654 | 48224 | 2.9 | 27M|1633 | - |3717 |5637 |3717 | 958 |5108 |2246 |1756 | 0.000000e+00 | 1.660000e+02 | Inf
38.79/38.87 o 164
38.79/38.87 c *38.2s| 16716 | 2597 | 48304 | 2.9 | 27M|1633 | - |3717 |5631 |3717 | 950 |5135 |2262 |1758 | 0.000000e+00 | 1.640000e+02 | Inf
38.89/38.97 o 152
38.89/38.97 c *38.3s| 16747 | 2452 | 48399 | 2.9 | 27M|1633 | - |3717 |5626 |3717 | 941 |5164 |2292 |1758 | 0.000000e+00 | 1.520000e+02 | Inf
38.89/38.97 o 138
38.89/38.97 c *38.3s| 16748 | 2289 | 48399 | 2.9 | 26M|1633 | - |3717 |5626 |3717 | 941 |5164 |2292 |1758 | 0.000000e+00 | 1.380000e+02 | Inf
38.99/39.05 o 134
38.99/39.05 c *38.4s| 16781 | 2248 | 48492 | 2.9 | 26M|1633 | - |3717 |5638 |3717 | 929 |5170 |2314 |1759 | 0.000000e+00 | 1.340000e+02 | Inf
39.09/39.11 o 133
39.09/39.11 c *38.5s| 16797 | 2226 | 48590 | 2.9 | 26M|1633 | - |3717 |5629 |3717 | 944 |5191 |2317 |1759 | 0.000000e+00 | 1.330000e+02 | Inf
39.09/39.15 o 119
39.09/39.15 c *38.5s| 16811 | 2059 | 48619 | 2.9 | 26M|1633 | - |3717 |5645 |3717 | 944 |5191 |2335 |1759 | 0.000000e+00 | 1.190000e+02 | Inf
39.19/39.21 o 116
39.19/39.21 c *38.6s| 16833 | 2012 | 48698 | 2.9 | 26M|1633 | - |3717 |5648 |3717 | 940 |5208 |2341 |1759 | 0.000000e+00 | 1.160000e+02 | Inf
39.19/39.23 o 98
39.19/39.23 c *38.6s| 16841 | 1581 | 48703 | 2.9 | 25M|1633 | - |3717 |5654 |3717 | 942 |5210 |2347 |1759 | 0.000000e+00 | 9.800000e+01 | Inf
39.29/39.30 o 86
39.29/39.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.29/39.30 c *38.7s| 16857 | 1370 | 48776 | 2.9 | 24M|1633 | - |3717 |5584 |3717 | 923 |5210 |2357 |1759 | 0.000000e+00 | 8.600000e+01 | Inf
40.09/40.11 o 71
40.09/40.11 c *39.5s| 17105 | 752 | 50237 | 2.9 | 23M|1633 | - |3717 |5262 |3717 | 935 |5396 |2535 |1759 | 0.000000e+00 | 7.100000e+01 | Inf
47.30/47.34 c 46.6s| 20000 | 951 | 63305 | 3.2 | 26M|1633 | 13 |3717 |5701 |3717 | 932 |6005 |5206 |1791 | 0.000000e+00 | 7.100000e+01 | Inf
69.89/69.91 c 68.8s| 30000 | 1451 |102314 | 3.4 | 37M|1633 | - |3717 |6782 | 0 | 0 |7878 | 15k|1796 | 0.000000e+00 | 7.100000e+01 | Inf
90.10/90.16 c 88.8s| 40000 | 1692 |131926 | 3.3 | 44M|1633 | 14 |3717 |7234 |3717 | 923 |9574 | 27k|1796 | 0.000000e+00 | 7.100000e+01 | Inf
110.00/110.05 c 108s| 50000 | 1831 |160042 | 3.2 | 49M|1633 | - |3717 |7334 | 0 | 0 | 11k| 38k|1796 | 0.000000e+00 | 7.100000e+01 | Inf
130.89/130.92 c 129s| 60000 | 2180 |186906 | 3.1 | 58M|1633 | 11 |3717 |9111 |3717 | 923 | 12k| 48k|1796 | 0.000000e+00 | 7.100000e+01 | Inf
151.19/151.29 c 149s| 70000 | 2465 |210315 | 3.0 | 65M|1633 | - |3717 |9738 | 0 | 0 | 14k| 60k|1835 | 0.000000e+00 | 7.100000e+01 | Inf
172.50/172.52 c 170s| 80000 | 2598 |236971 | 3.0 | 70M|1633 | - |3717 |8169 | 0 | 0 | 15k| 72k|1899 | 0.000000e+00 | 7.100000e+01 | Inf
193.30/193.34 c 190s| 90000 | 2810 |263058 | 2.9 | 77M|1633 | - |3717 |9042 | 0 | 0 | 17k| 84k|1990 | 0.000000e+00 | 7.100000e+01 | Inf
214.20/214.26 c 211s|100000 | 3014 |289138 | 2.9 | 84M|1633 | - |3717 |9575 | 0 | 0 | 19k| 96k|2075 | 0.000000e+00 | 7.100000e+01 | Inf
226.30/226.36 o 65
226.30/226.36 c * 223s|105754 | 3211 |303126 | 2.9 | 88M|1633 | - |3717 |8825 |3717 | 941 | 20k| 102k|2089 | 0.000000e+00 | 6.500000e+01 | Inf
235.00/235.08 c 232s|110000 | 3261 |315310 | 2.9 | 90M|1633 | - |3717 |8819 | 0 | 0 | 21k| 107k|2133 | 0.000000e+00 | 6.500000e+01 | Inf
236.19/236.28 o 64
236.19/236.28 c * 233s|110584 | 3252 |316532 | 2.9 | 90M|1633 | - |3717 |8861 |3717 | 947 | 21k| 108k|2135 | 0.000000e+00 | 6.400000e+01 | Inf
237.40/237.47 o 52
237.40/237.47 c * 234s|111176 | 3023 |317890 | 2.9 | 86M|1633 | - |3717 |8786 |3717 | 940 | 21k| 109k|2135 | 0.000000e+00 | 5.200000e+01 | Inf
256.00/256.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.00/256.06 c 252s|120000 | 3153 |346823 | 2.9 | 92M|1633 | - |3717 |7283 | 0 | 0 | 23k| 120k|2246 | 0.000000e+00 | 5.200000e+01 | Inf
258.70/258.71 o 50
258.70/258.71 c * 255s|121331 | 3158 |350655 | 2.9 | 92M|1633 | - |3717 |8301 |3717 | 928 | 23k| 121k|2246 | 0.000000e+00 | 5.000000e+01 | Inf
268.40/268.41 o 49
268.40/268.41 c * 264s|125779 | 3196 |368170 | 2.9 | 94M|1633 | - |3717 |6797 |3717 | 927 | 24k| 127k|2308 | 0.000000e+00 | 4.900000e+01 | Inf
268.40/268.42 o 41
268.40/268.42 c * 264s|125780 | 3061 |368178 | 2.9 | 91M|1633 | - |3717 |6797 |3717 | 927 | 24k| 127k|2308 | 0.000000e+00 | 4.100000e+01 | Inf
270.70/270.76 o 36
270.70/270.76 c * 267s|127003 | 2940 |372709 | 2.9 | 87M|1633 | - |3717 |7135 |3717 | 930 | 24k| 129k|2308 | 0.000000e+00 | 3.600000e+01 | Inf
276.90/276.90 c 273s|130000 | 2964 |385418 | 3.0 | 88M|1633 | 1 |3717 |7135 |3717 | 923 | 25k| 132k|2352 | 0.000000e+00 | 3.600000e+01 | Inf
295.70/295.72 c 291s|140000 | 3046 |416087 | 3.0 | 92M|1633 | - |3717 |8887 | 0 | 0 | 26k| 145k|2425 | 0.000000e+00 | 3.600000e+01 | Inf
303.20/303.23 o 32
303.20/303.23 c * 299s|143746 | 2960 |431201 | 3.0 | 91M|1633 | - |3717 |9612 |3717 | 923 | 26k| 150k|2475 | 0.000000e+00 | 3.200000e+01 | Inf
307.10/307.16 o 29
307.10/307.16 c * 303s|145929 | 2906 |437305 | 3.0 | 90M|1633 | - |3717 | 10k|3717 | 932 | 27k| 153k|2483 | 0.000000e+00 | 2.900000e+01 | Inf
314.69/314.73 c 310s|150000 | 2957 |451111 | 3.0 | 90M|1633 | 12 |3717 |8376 |3717 | 923 | 27k| 159k|2517 | 0.000000e+00 | 2.900000e+01 | Inf
324.90/324.98 o 26
324.90/324.98 c * 320s|155295 | 2846 |472168 | 3.0 | 89M|1633 | - |3717 |7807 |3717 | 929 | 28k| 165k|2598 | 0.000000e+00 | 2.600000e+01 | Inf
333.21/333.30 c 328s|160000 | 2874 |488066 | 3.0 | 91M|1633 | - |3717 |8540 | 0 | 0 | 29k| 171k|2652 | 0.000000e+00 | 2.600000e+01 | Inf
334.31/334.39 o 25
334.31/334.39 c * 329s|160532 | 2842 |490309 | 3.1 | 90M|1633 | - |3717 |7792 |3717 | 923 | 29k| 172k|2659 | 0.000000e+00 | 2.500000e+01 | Inf
349.30/349.33 o 17
349.30/349.33 c * 344s|169104 | 2604 |518102 | 3.1 | 83M|1633 | - |3717 | 10k|3717 | 923 | 30k| 184k|2718 | 0.000000e+00 | 1.700000e+01 | Inf
350.80/350.86 c 345s|170000 | 2618 |520520 | 3.1 | 83M|1633 | - |3717 |9526 | 0 | 0 | 30k| 185k|2718 | 0.000000e+00 | 1.700000e+01 | Inf
357.10/357.19 o 14
357.10/357.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.10/357.19 c * 352s|173446 | 2591 |531062 | 3.1 | 82M|1633 | - |3717 | 10k|3717 | 923 | 30k| 189k|2767 | 0.000000e+00 | 1.400000e+01 | Inf
370.10/370.14 c 364s|180000 | 2641 |559370 | 3.1 | 83M|1633 | 18 |3717 |9920 |3717 | 923 | 31k| 198k|2861 | 0.000000e+00 | 1.400000e+01 | Inf
389.30/389.36 c 383s|190000 | 2783 |593067 | 3.1 | 86M|1633 | - |3717 | 13k| 0 | 0 | 32k| 211k|2918 | 0.000000e+00 | 1.400000e+01 | Inf
408.50/408.51 o 13
408.50/408.51 c * 402s|199430 | 2836 |625774 | 3.1 | 87M|1633 | - |3717 | 17k|3717 | 933 | 34k| 224k|3024 | 0.000000e+00 | 1.300000e+01 | Inf
409.60/409.66 c 403s|200000 | 2850 |627552 | 3.1 | 87M|1633 | 20 |3717 | 17k|3717 | 933 | 34k| 225k|3027 | 0.000000e+00 | 1.300000e+01 | Inf
430.20/430.22 c 424s|210000 | 3003 |661307 | 3.1 | 90M|1633 | 18 |3717 | 19k|3717 | 923 | 35k| 239k|3089 | 0.000000e+00 | 1.300000e+01 | Inf
441.30/441.35 o 9
441.30/441.35 c * 435s|215291 | 1839 |680192 | 3.2 | 62M|1633 | - |3717 | 20k|3717 | 923 | 36k| 246k|3156 | 0.000000e+00 | 9.000000e+00 | Inf
451.20/451.29 c 445s|220000 | 1872 |699708 | 3.2 | 62M|1633 | 22 |3717 | 17k|3717 | 923 | 36k| 253k|3218 | 0.000000e+00 | 9.000000e+00 | Inf
471.40/471.42 c 464s|230000 | 1976 |738623 | 3.2 | 64M|1633 | 9 |3717 | 20k|3717 | 934 | 38k| 266k|3292 | 0.000000e+00 | 9.000000e+00 | Inf
491.79/491.86 c 485s|240000 | 2035 |774813 | 3.2 | 66M|1633 | - |3717 | 22k| 0 | 0 | 39k| 280k|3382 | 0.000000e+00 | 9.000000e+00 | Inf
513.40/513.49 c 506s|250000 | 2046 |810926 | 3.2 | 67M|1633 | 18 |3717 | 23k|3717 | 923 | 40k| 294k|3475 | 0.000000e+00 | 9.000000e+00 | Inf
536.40/536.45 c 529s|260000 | 2020 |850437 | 3.3 | 67M|1633 | - |3717 | 21k| 0 | 0 | 42k| 308k|3542 | 0.000000e+00 | 9.000000e+00 | Inf
558.71/558.70 c 551s|270000 | 2079 |887500 | 3.3 | 69M|1633 | 12 |3717 | 25k|3717 | 932 | 43k| 322k|3637 | 0.000000e+00 | 9.000000e+00 | Inf
580.90/580.99 c 573s|280000 | 2094 |925101 | 3.3 | 69M|1633 | 18 |3717 | 23k|3717 | 923 | 44k| 336k|3731 | 0.000000e+00 | 9.000000e+00 | Inf
603.50/603.57 c 595s|290000 | 2128 |962565 | 3.3 | 70M|1633 | - |3717 | 24k| 0 | 0 | 45k| 349k|3810 | 0.000000e+00 | 9.000000e+00 | Inf
626.40/626.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.40/626.42 c 618s|300000 | 2200 |999546 | 3.3 | 72M|1633 | - |3717 | 26k| 0 | 0 | 47k| 364k|3878 | 0.000000e+00 | 9.000000e+00 | Inf
649.31/649.35 c 640s|310000 | 2261 | 1036k| 3.3 | 73M|1633 | - |3717 | 26k| 0 | 0 | 48k| 378k|3955 | 0.000000e+00 | 9.000000e+00 | Inf
671.70/671.74 c 662s|320000 | 2316 | 1073k| 3.4 | 74M|1633 | 25 |3717 | 28k|3717 | 923 | 49k| 393k|4059 | 0.000000e+00 | 9.000000e+00 | Inf
695.21/695.29 c 686s|330000 | 2401 | 1111k| 3.4 | 76M|1633 | - |3717 | 28k| 0 | 0 | 51k| 407k|4140 | 0.000000e+00 | 9.000000e+00 | Inf
718.91/718.90 c 709s|340000 | 2333 | 1147k| 3.4 | 75M|1633 | - |3717 | 28k| 0 | 0 | 52k| 421k|4205 | 0.000000e+00 | 9.000000e+00 | Inf
744.30/744.32 c 734s|350000 | 2367 | 1186k| 3.4 | 77M|1633 | 1 |3717 | 31k|3717 | 923 | 53k| 435k|4279 | 0.000000e+00 | 9.000000e+00 | Inf
769.41/769.44 c 759s|360000 | 2429 | 1225k| 3.4 | 78M|1633 | 1 |3717 | 29k|3717 | 923 | 54k| 449k|4346 | 0.000000e+00 | 9.000000e+00 | Inf
794.22/794.26 c 784s|370000 | 2431 | 1265k| 3.4 | 78M|1633 | 27 |3717 | 29k|3717 | 933 | 55k| 463k|4446 | 0.000000e+00 | 9.000000e+00 | Inf
816.91/816.98 c 806s|380000 | 2094 | 1304k| 3.4 | 72M|1633 | - |3717 | 21k| 0 | 0 | 56k| 477k|4531 | 0.000000e+00 | 9.000000e+00 | Inf
838.51/838.55 c 828s|390000 | 1975 | 1343k| 3.4 | 70M|1633 | - |3717 | 20k| 0 | 0 | 58k| 491k|4639 | 0.000000e+00 | 9.000000e+00 | Inf
860.61/860.61 c 849s|400000 | 1832 | 1382k| 3.5 | 67M|1633 | - |3717 | 18k| 0 | 0 | 59k| 505k|4887 | 0.000000e+00 | 9.000000e+00 | Inf
883.11/883.15 c 872s|410000 | 1627 | 1420k| 3.5 | 64M|1633 | 2 |3717 | 18k|3717 | 923 | 60k| 518k|4939 | 0.000000e+00 | 9.000000e+00 | Inf
906.01/906.04 c 894s|420000 | 1521 | 1461k| 3.5 | 64M|1633 | - |3717 | 21k| 0 | 0 | 61k| 532k|5019 | 0.000000e+00 | 9.000000e+00 | Inf
929.31/929.37 c 917s|430000 | 1572 | 1500k| 3.5 | 65M|1633 | - |3717 | 25k|3717 | 923 | 63k| 546k|5096 | 0.000000e+00 | 9.000000e+00 | Inf
952.41/952.41 c 940s|440000 | 1057 | 1542k| 3.5 | 54M|1633 | - |3717 | 14k| 0 | 0 | 64k| 559k|5258 | 0.000000e+00 | 9.000000e+00 | Inf
972.42/972.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.42/972.45 c 960s|450000 | 1017 | 1582k| 3.5 | 54M|1633 | 13 |3717 | 17k|3717 | 923 | 65k| 573k|5340 | 0.000000e+00 | 9.000000e+00 | Inf
994.32/994.32 c 982s|460000 | 1019 | 1619k| 3.5 | 56M|1633 | - |3717 | 21k| 0 | 0 | 66k| 587k|5399 | 0.000000e+00 | 9.000000e+00 | Inf
1015.71/1015.75 c 1003s|470000 | 586 | 1658k| 3.5 | 45M|1633 | - |3717 | 16k| 0 | 0 | 67k| 599k|5513 | 0.000000e+00 | 9.000000e+00 | Inf
1036.91/1036.91 c 1024s|480000 | 677 | 1694k| 3.5 | 48M|1633 | 18 |3717 | 19k|3717 | 923 | 68k| 612k|5568 | 0.000000e+00 | 9.000000e+00 | Inf
1057.81/1057.87 c 1044s|490000 | 714 | 1731k| 3.5 | 49M|1633 | 17 |3717 | 22k|3717 | 923 | 69k| 625k|5663 | 0.000000e+00 | 9.000000e+00 | Inf
1080.51/1080.56 c 1067s|500000 | 747 | 1768k| 3.5 | 50M|1633 | - |3717 | 23k| 0 | 0 | 71k| 637k|5718 | 0.000000e+00 | 9.000000e+00 | Inf
1103.51/1103.52 c 1089s|510000 | 784 | 1804k| 3.5 | 52M|1633 | 13 |3717 | 27k|3717 | 923 | 72k| 651k|5767 | 0.000000e+00 | 9.000000e+00 | Inf
1127.22/1127.20 c 1113s|520000 | 831 | 1835k| 3.5 | 53M|1633 | - |3717 | 27k| 0 | 0 | 73k| 664k|5796 | 0.000000e+00 | 9.000000e+00 | Inf
1151.72/1151.78 c 1137s|530000 | 925 | 1873k| 3.5 | 54M|1633 | 11 |3717 | 26k|3717 | 923 | 74k| 678k|5864 | 0.000000e+00 | 9.000000e+00 | Inf
1175.22/1175.25 c 1160s|540000 | 959 | 1910k| 3.5 | 55M|1633 | 12 |3717 | 27k|3717 | 939 | 75k| 691k|5931 | 0.000000e+00 | 9.000000e+00 | Inf
1198.82/1198.84 c 1184s|550000 | 981 | 1949k| 3.5 | 56M|1633 | 10 |3717 | 28k|3717 | 923 | 76k| 704k|6022 | 0.000000e+00 | 9.000000e+00 | Inf
1222.92/1222.91 c 1207s|560000 | 903 | 1988k| 3.6 | 55M|1633 | - |3717 | 26k|3717 | 929 | 77k| 718k|6083 | 0.000000e+00 | 9.000000e+00 | Inf
1247.43/1247.45 c 1232s|570000 | 1033 | 2028k| 3.6 | 58M|1633 | 21 |3717 | 29k|3717 | 923 | 78k| 731k|6144 | 0.000000e+00 | 9.000000e+00 | Inf
1272.63/1272.64 c 1257s|580000 | 948 | 2069k| 3.6 | 57M|1633 | 22 |3717 | 27k|3717 | 923 | 79k| 745k|6197 | 0.000000e+00 | 9.000000e+00 | Inf
1295.62/1295.60 c 1279s|590000 | 779 | 2107k| 3.6 | 54M|1633 | 1 |3717 | 25k|3717 | 923 | 81k| 759k|6233 | 0.000000e+00 | 9.000000e+00 | Inf
1317.73/1317.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.73/1317.70 c 1301s|600000 | 822 | 2145k| 3.6 | 55M|1633 | 23 |3717 | 26k|3717 | 923 | 82k| 772k|6281 | 0.000000e+00 | 9.000000e+00 | Inf
1338.52/1338.57 c 1322s|610000 | 889 | 2183k| 3.6 | 55M|1633 | - |3717 | 23k| 0 | 0 | 83k| 787k|6358 | 0.000000e+00 | 9.000000e+00 | Inf
1359.32/1359.36 c 1342s|620000 | 951 | 2222k| 3.6 | 55M|1633 | - |3717 | 22k| 0 | 0 | 85k| 801k|6424 | 0.000000e+00 | 9.000000e+00 | Inf
1379.72/1379.75 c 1362s|630000 | 992 | 2259k| 3.6 | 56M|1633 | 11 |3717 | 21k|3717 | 923 | 86k| 814k|6488 | 0.000000e+00 | 9.000000e+00 | Inf
1400.92/1400.99 c 1383s|640000 | 1006 | 2296k| 3.6 | 57M|1633 | 13 |3717 | 23k|3717 | 923 | 87k| 828k|6528 | 0.000000e+00 | 9.000000e+00 | Inf
1423.23/1423.20 c 1405s|650000 | 994 | 2333k| 3.6 | 56M|1633 | 16 |3717 | 22k|3717 | 923 | 88k| 842k|6572 | 0.000000e+00 | 9.000000e+00 | Inf
1443.93/1443.90 c 1426s|660000 | 1095 | 2370k| 3.6 | 58M|1633 | 14 |3717 | 24k|3717 | 923 | 89k| 857k|6637 | 0.000000e+00 | 9.000000e+00 | Inf
1465.73/1465.71 c 1447s|670000 | 1154 | 2406k| 3.6 | 59M|1633 | - |3717 | 23k| 0 | 0 | 90k| 871k|6704 | 0.000000e+00 | 9.000000e+00 | Inf
1486.73/1486.70 c 1468s|680000 | 1149 | 2442k| 3.6 | 60M|1633 | - |3717 | 24k| 0 | 0 | 92k| 886k|6747 | 0.000000e+00 | 9.000000e+00 | Inf
1509.03/1509.03 c 1490s|690000 | 1163 | 2483k| 3.6 | 59M|1633 | - |3717 | 21k| 0 | 0 | 93k| 900k|6913 | 0.000000e+00 | 9.000000e+00 | Inf
1529.13/1529.11 c 1510s|700000 | 1299 | 2521k| 3.6 | 61M|1633 | 9 |3717 | 22k|3717 | 935 | 94k| 913k|6934 | 0.000000e+00 | 9.000000e+00 | Inf
1550.54/1550.55 c 1531s|710000 | 1396 | 2561k| 3.6 | 62M|1633 | 7 |3717 | 22k|3717 | 923 | 95k| 926k|7002 | 0.000000e+00 | 9.000000e+00 | Inf
1571.74/1571.79 c 1552s|720000 | 1480 | 2599k| 3.6 | 64M|1633 | 17 |3717 | 25k|3717 | 923 | 96k| 939k|7056 | 0.000000e+00 | 9.000000e+00 | Inf
1593.84/1593.81 c 1574s|730000 | 1532 | 2634k| 3.6 | 65M|1633 | 8 |3717 | 26k|3717 | 923 | 97k| 952k|7078 | 0.000000e+00 | 9.000000e+00 | Inf
1615.84/1615.86 c 1596s|740000 | 1634 | 2669k| 3.6 | 66M|1633 | - |3717 | 26k| 0 | 0 | 98k| 966k|7141 | 0.000000e+00 | 9.000000e+00 | Inf
1637.84/1637.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.84/1637.86 c 1618s|750000 | 1798 | 2705k| 3.6 | 68M|1633 | - |3717 | 26k| 0 | 0 | 99k| 979k|7214 | 0.000000e+00 | 9.000000e+00 | Inf
1658.84/1658.89 c 1638s|760000 | 1873 | 2739k| 3.6 | 70M|1633 | 11 |3717 | 28k|3717 | 923 | 100k| 992k|7230 | 0.000000e+00 | 9.000000e+00 | Inf
1681.14/1681.17 c 1660s|770000 | 1948 | 2774k| 3.6 | 71M|1633 | 1 |3717 | 28k|3717 | 935 | 101k|1006k|7303 | 0.000000e+00 | 9.000000e+00 | Inf
1703.74/1703.79 c 1683s|780000 | 1990 | 2810k| 3.6 | 72M|1633 | 7 |3717 | 28k|3717 | 929 | 102k|1019k|7355 | 0.000000e+00 | 9.000000e+00 | Inf
1725.94/1725.97 c 1705s|790000 | 2124 | 2847k| 3.6 | 74M|1633 | 9 |3717 | 31k|3717 | 923 | 104k|1033k|7377 | 0.000000e+00 | 9.000000e+00 | Inf
1748.64/1748.68 c 1727s|800000 | 2145 | 2883k| 3.6 | 75M|1633 | 1 |3717 | 29k|3717 | 923 | 105k|1047k|7436 | 0.000000e+00 | 9.000000e+00 | Inf
1772.44/1772.46 c 1751s|810000 | 2161 | 2920k| 3.6 | 75M|1633 | 15 |3717 | 30k|3717 | 923 | 106k|1060k|7500 | 0.000000e+00 | 9.000000e+00 | Inf
1794.44/1794.43 c 1772s|820000 | 2175 | 2953k| 3.6 | 77M|1633 | - |3717 | 33k| 0 | 0 | 107k|1075k|7530 | 0.000000e+00 | 9.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1777.91
1800.05/1800.00 c Solving Nodes : 822395
1800.05/1800.00 c Primal Bound : +9.00000000000000e+00 (264 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.04 s SATISFIABLE
1800.05/1800.04 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.05/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
1800.05/1800.04 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.04 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126
1800.05/1800.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.05/1800.04 v -x104 -x103 -x102 -x101 x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.05/1800.04 v -x80 x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.05/1800.04 v -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.05/1800.04 v -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 x6 -x5 -x4 -x3
1800.05/1800.04 v -x2 -x1
1800.05/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.04 c Solving Time : 1777.91
1800.05/1800.04 c Original Problem :
1800.05/1800.04 c Problem name : HOME/instance-2692789-1277903693.wbo
1800.05/1800.04 c Variables : 3863 (2047 binary, 0 integer, 0 implicit integer, 1816 continuous)
1800.05/1800.04 c Constraints : 4524 initial, 4524 maximal
1800.05/1800.04 c Presolved Problem :
1800.05/1800.04 c Problem name : t_HOME/instance-2692789-1277903693.wbo
1800.05/1800.04 c Variables : 3717 (1974 binary, 0 integer, 0 implicit integer, 1743 continuous)
1800.05/1800.04 c Constraints : 4346 initial, 34260 maximal
1800.05/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.04 c trivial : 0.00 73 0 0 0 0 0 0 0
1800.05/1800.04 c dualfix : 0.00 73 0 0 0 0 0 0 0
1800.05/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 0.00 0 0 0 0 0 73 0 0
1800.05/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c linear : 0.07 0 0 0 1836 0 105 87 0
1800.05/1800.04 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c root node : - 1615 - - 3230 - - - -
1800.05/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c integral : 0 0 0 473647 0 10 337 0 0 891930
1800.05/1800.04 c indicator : 1743 0 4265893 27373 0 1122 7916775 0 0 0
1800.05/1800.04 c setppc : 6 6 4210640 17582 0 22075 853187 0 0 0
1800.05/1800.04 c linear : 1743 6 4246980 26430 0 187401 21288450 107931 0 0
1800.05/1800.04 c logicor : 854+ 6 1662279 15646 0 185170 4020986 0 0 0
1800.05/1800.04 c bounddisjunction : 0+ 0 42417 0 0 0 395 0 0 0
1800.05/1800.04 c countsols : 0 0 0 15646 0 0 0 0 0 0
1800.05/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.04 c integral : 23.00 0.00 0.00 23.00 0.00
1800.05/1800.04 c indicator : 28.11 0.00 25.69 2.42 0.00
1800.05/1800.04 c setppc : 7.59 0.00 7.58 0.01 0.00
1800.05/1800.04 c linear : 147.53 0.01 146.40 1.12 0.00
1800.05/1800.04 c logicor : 301.70 0.00 301.55 0.15 0.00
1800.05/1800.04 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.05/1800.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.05/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.04 c vbounds : 0.98 2 0 0
1800.05/1800.04 c rootredcost : 0.86 68 0 1615
1800.05/1800.04 c pseudoobj : 156.81 4297481 26355 6346493
1800.05/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.04 c propagation : 18.78 421001 420734 2551401 24.4 20361 18.9 -
1800.05/1800.04 c infeasible LP : 2.99 11390 11390 96371 37.9 133 14.5 0
1800.05/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c pseudo solution : 0.05 181 181 849 14.2 67 8.6 -
1800.05/1800.04 c applied globally : - - - 1078896 19.0 - - -
1800.05/1800.04 c applied locally : - - - 0 0.0 - - -
1800.05/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.04 c cut pool : 0.00 5 - - 46 - (maximal pool size: 103)
1800.05/1800.04 c redcost : 26.63 489034 0 1454037 0 0
1800.05/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.04 c intobj : 0.00 0 0 0 0 0
1800.05/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.04 c gomory : 0.14 6 0 0 625 0
1800.05/1800.04 c strongcg : 0.09 6 0 0 225 0
1800.05/1800.04 c cmir : 0.03 6 0 0 1 0
1800.05/1800.04 c flowcover : 0.08 6 0 0 1 0
1800.05/1800.04 c clique : 0.00 6 0 0 0 0
1800.05/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.04 c mcf : 0.00 1 0 0 0 0
1800.05/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.04 c Pricers : Time Calls Vars
1800.05/1800.04 c problem variables: 0.00 0 0
1800.05/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c relpscost : 22.50 446247 10 337 0 0 891930
1800.05/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c inference : 1.87 15579 0 0 0 0 31158
1800.05/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c random : 0.00 0 0 0 0 0 0
1800.05/1800.04 c Primal Heuristics : Time Calls Found
1800.05/1800.04 c LP solutions : 0.08 - 67
1800.05/1800.04 c pseudo solutions : 0.00 - 0
1800.05/1800.04 c feaspump : 0.00 1 0
1800.05/1800.04 c intshifting : 0.00 3 0
1800.05/1800.04 c oneopt : 0.79 64 0
1800.05/1800.04 c guideddiving : 0.10 58 0
1800.05/1800.04 c coefdiving : 0.07 58 0
1800.05/1800.04 c pscostdiving : 0.03 58 0
1800.05/1800.04 c fracdiving : 0.08 59 0
1800.05/1800.04 c veclendiving : 0.06 59 0
1800.05/1800.04 c linesearchdiving : 0.06 59 0
1800.05/1800.04 c objpscostdiving : 0.06 57 0
1800.05/1800.04 c rootsoldiving : 0.08 57 0
1800.05/1800.04 c crossover : 1.78 69 0
1800.05/1800.04 c trivial : 0.01 2 0
1800.05/1800.04 c simplerounding : 0.71 449010 0
1800.05/1800.04 c zirounding : 0.34 1000 0
1800.05/1800.04 c rounding : 2.90 9484 0
1800.05/1800.04 c shifting : 1.83 2922 0
1800.05/1800.04 c twoopt : 0.00 0 0
1800.05/1800.04 c fixandinfer : 0.00 0 0
1800.05/1800.04 c intdiving : 0.00 0 0
1800.05/1800.04 c actconsdiving : 0.00 0 0
1800.05/1800.04 c octane : 0.00 0 0
1800.05/1800.04 c rens : 0.03 1 0
1800.05/1800.04 c rins : 0.00 0 0
1800.05/1800.04 c localbranching : 0.00 0 0
1800.05/1800.04 c mutation : 0.00 0 0
1800.05/1800.04 c dins : 0.00 0 0
1800.05/1800.04 c undercover : 0.00 0 0
1800.05/1800.04 c nlp : 0.22 0 0
1800.05/1800.04 c trysol : 2.42 7290 197
1800.05/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.04 c dual LP : 507.19 472543 2961286 6.27 5838.61
1800.05/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.04 c diving/probing LP: 0.24 73 1913 26.21 7970.83
1800.05/1800.04 c strong branching : 19.02 7557 113877 15.07 5987.22
1800.05/1800.04 c (at root node) : - 33 2173 65.85 -
1800.05/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.04 c B&B Tree :
1800.05/1800.04 c number of runs : 1
1800.05/1800.04 c nodes : 822395
1800.05/1800.04 c nodes (total) : 822395
1800.05/1800.04 c nodes left : 2188
1800.05/1800.04 c max depth : 1633
1800.05/1800.04 c max depth (total): 1633
1800.05/1800.04 c backtracks : 82326 (10.0%)
1800.05/1800.04 c delayed cutoffs : 80755
1800.05/1800.04 c repropagations : 1912361 (8260077 domain reductions, 72887 cutoffs)
1800.05/1800.04 c avg switch length: 6.08
1800.05/1800.04 c switching time : 293.02
1800.05/1800.04 c Solution :
1800.05/1800.04 c Solutions found : 264 (68 improvements)
1800.05/1800.04 c First Solution : +8.86900000000000e+04 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.05/1800.04 c Primal Bound : +9.00000000000000e+00 (in run 1, after 215291 nodes, 434.68 seconds, depth 46, found by <relaxation>)
1800.05/1800.04 c Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Gap : infinite
1800.05/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Root Iterations : 181
1800.15/1800.15 c Time complete: 1800.2.