0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2693391-1277901049.wbo>
0.01/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.01/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.10 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.12 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.17 c 1965 implications, 9 cliques
0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.17 c 1770 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1770 constraints of type <linear>
0.09/0.17 c 824 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 0 | 10 | - | 13M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 88064
0.09/0.19 c y 0.1s| 1 | 0 | 10 | - | 14M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 68 | - | 14M| 0 | 26 |3771 |4373 |3771 | 849 | 16 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 129 | - | 14M| 0 | 33 |3771 |4373 |3771 | 872 | 39 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 176 | - | 14M| 0 | 42 |3771 |4373 |3771 | 882 | 49 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 477 | - | 14M| 0 | 47 |3771 |4373 |3771 | 896 | 63 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.39/0.45 c 0.4s| 1 | 0 | 764 | - | 15M| 0 | 50 |3771 |4373 |3771 | 926 | 93 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.52 c 0.5s| 1 | 0 | 874 | - | 15M| 0 | 0 |3771 |4373 |3771 | 935 | 102 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.52 c 0.5s| 1 | 2 | 874 | - | 15M| 0 | 0 |3771 |4373 |3771 | 935 | 102 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
14.89/14.96 o 816
14.89/14.96 c *14.3s| 8154 | 5991 | 9181 | 1.0 | 29M| 727 | - |3771 |4408 |3771 | 985 |1308 | 35 |1271 | 0.000000e+00 | 8.160000e+02 | Inf
14.99/15.01 o 781
14.99/15.01 c *14.3s| 8171 | 5822 | 9332 | 1.0 | 29M| 727 | - |3771 |4408 |3771 | 996 |1329 | 35 |1272 | 0.000000e+00 | 7.810000e+02 | Inf
14.99/15.02 o 632
14.99/15.02 c *14.3s| 8176 | 5259 | 9335 | 1.0 | 28M| 727 | - |3771 |4408 |3771 | 996 |1329 | 35 |1272 | 0.000000e+00 | 6.320000e+02 | Inf
16.09/16.15 o 623
16.09/16.15 c *15.4s| 8890 | 5916 | 10131 | 1.0 | 30M| 727 | - |3771 |4429 |3771 | 986 |1445 | 56 |1318 | 0.000000e+00 | 6.230000e+02 | Inf
16.09/16.15 o 591
16.09/16.15 c *15.4s| 8891 | 5628 | 10132 | 1.0 | 30M| 727 | - |3771 |4429 |3771 | 986 |1445 | 56 |1318 | 0.000000e+00 | 5.910000e+02 | Inf
17.50/17.56 c 16.8s| 10000 | 6710 | 10918 | 1.0 | 32M| 727 | 0 |3771 |4517 |3771 | 980 |1599 | 144 |1323 | 0.000000e+00 | 5.910000e+02 | Inf
17.99/18.09 o 489
17.99/18.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.99/18.09 c *17.3s| 10385 | 5378 | 11427 | 1.0 | 30M| 727 | - |3771 |4557 |3771 | 987 |1691 | 184 |1328 | 0.000000e+00 | 4.890000e+02 | Inf
19.49/19.59 o 469
19.49/19.59 c *18.7s| 10957 | 5556 | 15114 | 1.3 | 31M| 727 | - |3771 |4726 |3771 | 984 |2169 | 356 |1494 | 0.000000e+00 | 4.690000e+02 | Inf
19.59/19.60 o 466
19.59/19.60 c *18.7s| 10958 | 5515 | 15117 | 1.3 | 31M| 727 | - |3771 |4726 |3771 | 984 |2169 | 356 |1494 | 0.000000e+00 | 4.660000e+02 | Inf
20.59/20.61 o 463
20.59/20.61 c *19.6s| 11306 | 5753 | 18399 | 1.6 | 32M| 727 | - |3771 |4864 |3771 | 997 |2538 | 507 |1572 | 0.000000e+00 | 4.630000e+02 | Inf
20.69/20.71 o 397
20.69/20.71 c *19.8s| 11377 | 4595 | 18537 | 1.6 | 30M| 727 | - |3771 |4870 |3771 | 987 |2557 | 515 |1572 | 0.000000e+00 | 3.970000e+02 | Inf
20.69/20.72 o 394
20.69/20.72 c *19.8s| 11378 | 4547 | 18537 | 1.6 | 30M| 727 | - |3771 |4870 |3771 | 987 |2557 | 515 |1572 | 0.000000e+00 | 3.940000e+02 | Inf
20.80/20.86 o 383
20.80/20.86 c *19.9s| 11470 | 4336 | 18828 | 1.6 | 30M| 727 | - |3771 |4894 |3771 | 996 |2611 | 545 |1572 | 0.000000e+00 | 3.830000e+02 | Inf
20.99/21.05 o 380
20.99/21.05 c *20.1s| 11566 | 4309 | 19265 | 1.6 | 30M| 727 | - |3771 |4954 |3771 | 985 |2676 | 622 |1572 | 0.000000e+00 | 3.800000e+02 | Inf
21.89/21.90 o 326
21.89/21.90 c *20.9s| 12030 | 3529 | 21290 | 1.7 | 28M| 727 | - |3771 |5131 |3771 | 962 |2951 | 858 |1582 | 0.000000e+00 | 3.260000e+02 | Inf
24.99/25.00 o 318
24.99/25.00 c *23.8s| 13392 | 4333 | 32026 | 2.3 | 31M| 727 | - |3771 |5580 |3771 | 974 |4354 |1587 |1635 | 0.000000e+00 | 3.180000e+02 | Inf
25.09/25.12 o 317
25.09/25.12 c *24.0s| 13439 | 4346 | 32432 | 2.3 | 32M| 727 | - |3771 |5587 |3771 | 966 |4392 |1607 |1638 | 0.000000e+00 | 3.170000e+02 | Inf
25.09/25.14 o 302
25.09/25.14 c *24.0s| 13442 | 4085 | 32435 | 2.3 | 31M| 727 | - |3771 |5586 |3771 | 966 |4392 |1607 |1638 | 0.000000e+00 | 3.020000e+02 | Inf
25.09/25.14 o 290
25.09/25.14 c *24.0s| 13443 | 3819 | 32435 | 2.3 | 30M| 727 | - |3771 |5586 |3771 | 966 |4392 |1607 |1638 | 0.000000e+00 | 2.900000e+02 | Inf
26.40/26.42 o 261
26.40/26.42 c *25.2s| 14036 | 3722 | 36105 | 2.5 | 30M| 727 | - |3771 |5735 |3771 | 978 |4913 |1937 |1654 | 0.000000e+00 | 2.610000e+02 | Inf
27.59/27.68 o 251
27.59/27.68 c *26.4s| 14568 | 3871 | 40640 | 2.7 | 31M| 727 | - |3771 |5889 |3771 | 987 |5522 |2337 |1671 | 0.000000e+00 | 2.510000e+02 | Inf
32.59/32.63 o 250
32.59/32.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.59/32.63 c *31.2s| 16287 | 4723 | 62549 | 3.8 | 35M| 727 | - |3771 |5856 |3771 | 980 |8100 |3965 |1726 | 0.000000e+00 | 2.500000e+02 | Inf
32.59/32.65 o 247
32.59/32.65 c *31.2s| 16295 | 4691 | 62624 | 3.8 | 35M| 727 | - |3771 |5855 |3771 | 978 |8102 |3965 |1727 | 0.000000e+00 | 2.470000e+02 | Inf
32.59/32.66 o 223
32.59/32.66 c *31.2s| 16296 | 4243 | 62624 | 3.8 | 33M| 727 | - |3771 |5855 |3771 | 978 |8102 |3965 |1727 | 0.000000e+00 | 2.230000e+02 | Inf
32.69/32.76 o 214
32.69/32.76 c *31.3s| 16313 | 4052 | 63183 | 3.8 | 33M| 727 | - |3771 |5844 |3771 |1003 |8170 |3977 |1732 | 0.000000e+00 | 2.140000e+02 | Inf
34.69/34.72 o 195
34.69/34.72 c *33.2s| 17013 | 3895 | 72768 | 4.2 | 33M| 727 | - |3771 |5694 |3771 | 986 |9046 |4662 |1736 | 0.000000e+00 | 1.950000e+02 | Inf
35.49/35.53 o 174
35.49/35.53 c *34.0s| 17214 | 3446 | 77675 | 4.5 | 32M| 727 | - |3771 |5517 |3771 | 965 |9279 |4818 |1742 | 0.000000e+00 | 1.740000e+02 | Inf
36.19/36.23 o 172
36.19/36.23 c *34.6s| 17399 | 3488 | 81495 | 4.6 | 32M| 727 | - |3771 |5508 |3771 | 989 |9644 |4993 |1742 | 0.000000e+00 | 1.720000e+02 | Inf
36.19/36.25 o 159
36.19/36.25 c *34.7s| 17410 | 3237 | 81514 | 4.6 | 31M| 727 | - |3771 |5508 |3771 | 989 |9644 |4993 |1742 | 0.000000e+00 | 1.590000e+02 | Inf
37.59/37.65 o 157
37.59/37.65 c *36.0s| 17886 | 3327 | 87377 | 4.8 | 32M| 727 | - |3771 |5628 |3771 | 997 | 10k|5516 |1743 | 0.000000e+00 | 1.570000e+02 | Inf
37.79/37.81 o 125
37.79/37.81 c *36.2s| 17942 | 2557 | 87985 | 4.9 | 30M| 727 | - |3771 |5622 |3771 | 964 | 10k|5540 |1743 | 0.000000e+00 | 1.250000e+02 | Inf
37.79/37.81 o 113
37.79/37.81 c *36.2s| 17943 | 2257 | 87986 | 4.9 | 29M| 727 | - |3771 |5622 |3771 | 964 | 10k|5540 |1743 | 0.000000e+00 | 1.130000e+02 | Inf
38.50/38.51 o 111
38.50/38.51 c *36.8s| 18162 | 2310 | 91680 | 5.0 | 29M| 727 | - |3771 |5721 |3771 | 959 | 10k|5828 |1744 | 0.000000e+00 | 1.110000e+02 | Inf
40.70/40.72 o 110
40.70/40.72 c *39.0s| 18917 | 2492 |101043 | 5.3 | 31M| 727 | - |3771 |5798 |3771 | 987 | 11k|6664 |1749 | 0.000000e+00 | 1.100000e+02 | Inf
40.70/40.72 o 97
40.70/40.72 c *39.0s| 18918 | 2088 |101045 | 5.3 | 30M| 727 | - |3771 |5798 |3771 | 987 | 11k|6664 |1749 | 0.000000e+00 | 9.700000e+01 | Inf
41.49/41.51 o 53
41.49/41.51 c *39.7s| 19225 | 1284 |103304 | 5.3 | 27M| 727 | - |3771 |5495 |3771 | 949 | 11k|6907 |1749 | 0.000000e+00 | 5.300000e+01 | Inf
42.09/42.12 o 45
42.09/42.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.09/42.12 c *40.3s| 19440 | 803 |105984 | 5.4 | 26M| 727 | - |3771 |4713 |3771 | 987 | 12k|7222 |1749 | 0.000000e+00 | 4.500000e+01 | Inf
43.69/43.74 c 41.8s| 20000 | 840 |114877 | 5.7 | 26M| 727 | 17 |3771 |4630 |3771 | 943 | 12k|7985 |1751 | 0.000000e+00 | 4.500000e+01 | Inf
49.79/49.88 o 40
49.79/49.88 c *47.6s| 23233 | 924 |134270 | 5.7 | 29M| 727 | - |3771 |6113 |3771 | 942 | 13k| 12k|1751 | 0.000000e+00 | 4.000000e+01 | Inf
60.59/60.65 o 32
60.59/60.65 c *57.9s| 29151 | 1049 |166660 | 5.7 | 32M| 727 | - |3771 |8258 |3771 | 949 | 14k| 19k|1753 | 0.000000e+00 | 3.200000e+01 | Inf
62.39/62.43 c 59.6s| 30000 | 1084 |172760 | 5.7 | 32M| 727 | 9 |3771 |6172 |3771 | 935 | 14k| 21k|1753 | 0.000000e+00 | 3.200000e+01 | Inf
71.79/71.82 o 31
71.79/71.82 c *68.5s| 35055 | 1199 |206092 | 5.9 | 34M| 727 | - |3771 |6592 |3771 | 949 | 16k| 28k|1756 | 0.000000e+00 | 3.100000e+01 | Inf
80.20/80.29 c 76.5s| 40000 | 1271 |230320 | 5.7 | 35M| 727 | - |3771 |7939 | 0 | 0 | 17k| 35k|1756 | 0.000000e+00 | 3.100000e+01 | Inf
96.79/96.80 o 29
96.79/96.80 c *92.1s| 49167 | 1342 |281915 | 5.7 | 37M| 727 | - |3771 |8228 |3771 | 962 | 19k| 47k|1764 | 0.000000e+00 | 2.900000e+01 | Inf
98.30/98.39 c 93.7s| 50000 | 1368 |287756 | 5.7 | 37M| 727 | 16 |3771 |8584 |3771 | 976 | 19k| 49k|1766 | 0.000000e+00 | 2.900000e+01 | Inf
101.50/101.52 o 25
101.50/101.52 c *96.6s| 51639 | 1349 |298517 | 5.8 | 37M| 727 | - |3771 |8971 |3771 | 968 | 20k| 51k|1767 | 0.000000e+00 | 2.500000e+01 | Inf
103.70/103.76 o 21
103.70/103.76 c *98.8s| 52822 | 1285 |305101 | 5.8 | 37M| 727 | - |3771 |8069 |3771 | 937 | 20k| 52k|1799 | 0.000000e+00 | 2.100000e+01 | Inf
116.19/116.22 c 111s| 60000 | 1385 |344202 | 5.7 | 39M| 727 | 8 |3771 | 10k|3771 | 949 | 21k| 63k|1843 | 0.000000e+00 | 2.100000e+01 | Inf
134.89/134.97 c 128s| 70000 | 1404 |407862 | 5.8 | 40M| 727 | - |3771 | 10k| 0 | 0 | 25k| 77k|2011 | 0.000000e+00 | 2.100000e+01 | Inf
152.39/152.41 c 145s| 80000 | 1500 |452537 | 5.6 | 42M| 727 | 13 |3771 | 11k|3771 | 937 | 26k| 91k|2073 | 0.000000e+00 | 2.100000e+01 | Inf
169.79/169.80 c 161s| 90000 | 1570 |498154 | 5.5 | 44M| 727 | - |3771 | 11k| 0 | 0 | 28k| 105k|2164 | 0.000000e+00 | 2.100000e+01 | Inf
188.00/188.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.00/188.08 c 179s|100000 | 1632 |555806 | 5.5 | 44M| 727 | - |3771 | 10k| 0 | 0 | 31k| 119k|2323 | 0.000000e+00 | 2.100000e+01 | Inf
193.80/193.87 o 7
193.80/193.87 c * 184s|103146 | 1256 |576527 | 5.6 | 39M| 727 | - |3771 | 10k|3771 | 970 | 32k| 123k|2335 | 0.000000e+00 | 7.000000e+00 | Inf
205.00/205.01 c 195s|110000 | 1298 |611905 | 5.6 | 40M| 727 | 1 |3771 |9777 |3771 | 960 | 33k| 132k|2406 | 0.000000e+00 | 7.000000e+00 | Inf
222.30/222.33 c 211s|120000 | 1430 |673191 | 5.6 | 41M| 727 | 1 |3771 |9364 |3771 | 923 | 35k| 146k|2534 | 0.000000e+00 | 7.000000e+00 | Inf
240.20/240.22 c 228s|130000 | 1462 |739833 | 5.7 | 43M| 727 | 1 |3771 | 11k|3771 | 951 | 37k| 160k|2649 | 0.000000e+00 | 7.000000e+00 | Inf
244.40/244.41 o 2
244.40/244.41 c * 232s|132214 | 1262 |757608 | 5.7 | 41M| 727 | - |3771 | 10k|3771 | 939 | 38k| 163k|2696 | 0.000000e+00 | 2.000000e+00 | Inf
257.80/257.81 c 245s|140000 | 1304 |809364 | 5.8 | 41M| 727 | 7 |3771 | 10k|3771 | 943 | 40k| 174k|2810 | 0.000000e+00 | 2.000000e+00 | Inf
274.91/274.92 c 261s|150000 | 1388 |868835 | 5.8 | 43M| 727 | 16 |3771 | 13k|3771 | 956 | 42k| 187k|2893 | 0.000000e+00 | 2.000000e+00 | Inf
292.90/292.91 c 278s|160000 | 1422 |930832 | 5.8 | 44M| 727 | - |3771 | 13k|3771 | 955 | 45k| 200k|3013 | 0.000000e+00 | 2.000000e+00 | Inf
312.20/312.29 c 296s|170000 | 1488 |992117 | 5.8 | 47M| 727 | 27 |3771 | 17k|3771 | 955 | 47k| 214k|3115 | 0.000000e+00 | 2.000000e+00 | Inf
332.60/332.67 c 316s|180000 | 1586 | 1054k| 5.9 | 49M| 727 | - |3771 | 20k| 0 | 0 | 49k| 228k|3172 | 0.000000e+00 | 2.000000e+00 | Inf
353.80/353.83 c 336s|190000 | 1653 | 1125k| 5.9 | 49M| 727 | - |3771 | 19k| 0 | 0 | 52k| 242k|3334 | 0.000000e+00 | 2.000000e+00 | Inf
374.70/374.79 c 356s|200000 | 1575 | 1202k| 6.0 | 48M| 727 | 13 |3771 | 16k|3771 | 952 | 55k| 256k|3441 | 0.000000e+00 | 2.000000e+00 | Inf
394.91/394.95 c 375s|210000 | 1553 | 1281k| 6.1 | 48M| 727 | 14 |3771 | 14k|3771 | 952 | 57k| 270k|3617 | 0.000000e+00 | 2.000000e+00 | Inf
413.61/413.67 c 393s|220000 | 1468 | 1357k| 6.2 | 46M| 727 | 1 |3771 | 11k|3771 | 974 | 60k| 283k|3816 | 0.000000e+00 | 2.000000e+00 | Inf
432.21/432.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.21/432.29 c 411s|230000 | 1559 | 1427k| 6.2 | 48M| 727 | - |3771 | 15k| 0 | 0 | 62k| 296k|3911 | 0.000000e+00 | 2.000000e+00 | Inf
452.60/452.65 c 430s|240000 | 1643 | 1497k| 6.2 | 51M| 727 | 19 |3771 | 18k|3771 | 973 | 64k| 310k|3984 | 0.000000e+00 | 2.000000e+00 | Inf
472.31/472.37 c 449s|250000 | 1646 | 1565k| 6.3 | 50M| 727 | 17 |3771 | 14k|3771 | 965 | 67k| 324k|4103 | 0.000000e+00 | 2.000000e+00 | Inf
491.71/491.76 c 467s|260000 | 1725 | 1634k| 6.3 | 52M| 727 | 22 |3771 | 16k|3771 | 967 | 69k| 339k|4178 | 0.000000e+00 | 2.000000e+00 | Inf
511.60/511.66 c 486s|270000 | 1819 | 1698k| 6.3 | 54M| 727 | - |3771 | 18k| 0 | 0 | 71k| 352k|4234 | 0.000000e+00 | 2.000000e+00 | Inf
532.21/532.27 c 506s|280000 | 1881 | 1760k| 6.3 | 55M| 727 | - |3771 | 20k| 0 | 0 | 73k| 365k|4312 | 0.000000e+00 | 2.000000e+00 | Inf
553.11/553.13 c 526s|290000 | 1836 | 1827k| 6.3 | 54M| 727 | 16 |3771 | 17k|3771 | 998 | 75k| 380k|4407 | 0.000000e+00 | 2.000000e+00 | Inf
572.91/572.93 c 545s|300000 | 1649 | 1899k| 6.3 | 50M| 727 | - |3771 | 11k| 0 | 0 | 78k| 393k|4534 | 0.000000e+00 | 2.000000e+00 | Inf
592.61/592.61 c 564s|310000 | 1801 | 1980k| 6.4 | 52M| 727 | - |3771 | 12k| 0 | 0 | 81k| 406k|4792 | 0.000000e+00 | 2.000000e+00 | Inf
613.41/613.47 c 584s|320000 | 1869 | 2061k| 6.4 | 54M| 727 | 1 |3771 | 14k|3771 | 956 | 83k| 419k|4857 | 0.000000e+00 | 2.000000e+00 | Inf
634.41/634.48 c 604s|330000 | 1843 | 2150k| 6.5 | 54M| 727 | 18 |3771 | 12k|3771 | 952 | 85k| 432k|4971 | 0.000000e+00 | 2.000000e+00 | Inf
653.01/653.03 c 621s|340000 | 1984 | 2216k| 6.5 | 56M| 727 | 1 |3771 | 14k|3771 | 923 | 88k| 445k|5044 | 0.000000e+00 | 2.000000e+00 | Inf
671.11/671.19 c 638s|350000 | 2077 | 2273k| 6.5 | 59M| 727 | - |3771 | 18k| 0 | 0 | 90k| 458k|5102 | 0.000000e+00 | 2.000000e+00 | Inf
690.72/690.78 c 657s|360000 | 1972 | 2342k| 6.5 | 58M| 727 | - |3771 | 16k|3771 | 951 | 93k| 472k|5191 | 0.000000e+00 | 2.000000e+00 | Inf
709.81/709.88 c 675s|370000 | 1832 | 2409k| 6.5 | 55M| 727 | 12 |3771 | 11k|3771 | 923 | 95k| 485k|5299 | 0.000000e+00 | 2.000000e+00 | Inf
728.51/728.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.51/728.57 c 693s|380000 | 1958 | 2482k| 6.5 | 58M| 727 | 16 |3771 | 14k|3771 | 936 | 96k| 498k|5374 | 0.000000e+00 | 2.000000e+00 | Inf
748.81/748.84 c 712s|390000 | 2002 | 2551k| 6.5 | 60M| 727 | 1 |3771 | 17k|3771 | 936 | 98k| 511k|5436 | 0.000000e+00 | 2.000000e+00 | Inf
769.11/769.11 c 732s|400000 | 2044 | 2622k| 6.6 | 60M| 727 | - |3771 | 15k| 0 | 0 | 100k| 524k|5529 | 0.000000e+00 | 2.000000e+00 | Inf
791.02/791.01 c 753s|410000 | 1994 | 2700k| 6.6 | 60M| 727 | 10 |3771 | 14k|3771 | 941 | 103k| 537k|5602 | 0.000000e+00 | 2.000000e+00 | Inf
811.62/811.61 c 772s|420000 | 2248 | 2772k| 6.6 | 63M| 727 | 5 |3771 | 16k|3771 | 923 | 107k| 550k|5654 | 0.000000e+00 | 2.000000e+00 | Inf
831.71/831.70 c 792s|430000 | 2342 | 2834k| 6.6 | 65M| 727 | - |3771 | 18k| 0 | 0 | 110k| 564k|5712 | 0.000000e+00 | 2.000000e+00 | Inf
851.81/851.88 c 811s|440000 | 2372 | 2893k| 6.6 | 67M| 727 | - |3771 | 20k| 0 | 0 | 112k| 578k|5768 | 0.000000e+00 | 2.000000e+00 | Inf
872.72/872.76 c 831s|450000 | 2587 | 2965k| 6.6 | 69M| 727 | - |3771 | 22k| 0 | 0 | 115k| 591k|5839 | 0.000000e+00 | 2.000000e+00 | Inf
894.91/894.95 c 852s|460000 | 2712 | 3038k| 6.6 | 71M| 727 | - |3771 | 24k|3771 | 974 | 118k| 606k|5903 | 0.000000e+00 | 2.000000e+00 | Inf
919.01/919.07 c 875s|470000 | 2928 | 3116k| 6.6 | 74M| 727 | 13 |3771 | 25k|3771 | 941 | 121k| 619k|5976 | 0.000000e+00 | 2.000000e+00 | Inf
943.31/943.40 c 899s|480000 | 3132 | 3187k| 6.6 | 76M| 727 | - |3771 | 26k| 0 | 0 | 123k| 633k|6027 | 0.000000e+00 | 2.000000e+00 | Inf
969.03/969.02 c 923s|490000 | 3339 | 3274k| 6.7 | 78M| 727 | - |3771 | 25k| 0 | 0 | 127k| 646k|6107 | 0.000000e+00 | 2.000000e+00 | Inf
993.92/993.94 c 947s|500000 | 3479 | 3351k| 6.7 | 80M| 727 | 32 |3771 | 25k|3771 | 936 | 129k| 661k|6157 | 0.000000e+00 | 2.000000e+00 | Inf
1017.42/1017.48 c 970s|510000 | 3626 | 3421k| 6.7 | 83M| 727 | 7 |3771 | 28k|3771 | 945 | 132k| 675k|6211 | 0.000000e+00 | 2.000000e+00 | Inf
1042.42/1042.40 c 994s|520000 | 3846 | 3491k| 6.7 | 85M| 727 | - |3771 | 30k| 0 | 0 | 135k| 689k|6267 | 0.000000e+00 | 2.000000e+00 | Inf
1070.12/1070.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1070.12/1070.20 c 1021s|530000 | 4028 | 3574k| 6.7 | 88M| 727 | 1 |3771 | 34k|3771 | 967 | 138k| 703k|6343 | 0.000000e+00 | 2.000000e+00 | Inf
1095.62/1095.66 c 1045s|540000 | 4162 | 3647k| 6.8 | 88M| 727 | 1 |3771 | 26k|3771 | 935 | 141k| 717k|6394 | 0.000000e+00 | 2.000000e+00 | Inf
1120.22/1120.21 c 1069s|550000 | 4332 | 3722k| 6.8 | 91M| 727 | - |3771 | 30k| 0 | 0 | 144k| 731k|6457 | 0.000000e+00 | 2.000000e+00 | Inf
1146.02/1146.07 c 1094s|560000 | 4498 | 3811k| 6.8 | 93M| 727 | 32 |3771 | 31k|3771 |1012 | 148k| 745k|6532 | 0.000000e+00 | 2.000000e+00 | Inf
1171.53/1171.58 c 1118s|570000 | 4481 | 3894k| 6.8 | 92M| 727 | - |3771 | 27k| 0 | 0 | 152k| 759k|6595 | 0.000000e+00 | 2.000000e+00 | Inf
1195.42/1195.49 c 1141s|580000 | 4568 | 3971k| 6.8 | 94M| 727 | 26 |3771 | 27k|3771 | 964 | 154k| 773k|6645 | 0.000000e+00 | 2.000000e+00 | Inf
1219.62/1219.66 c 1164s|590000 | 4653 | 4040k| 6.8 | 96M| 727 | - |3771 | 30k| 0 | 0 | 157k| 787k|6683 | 0.000000e+00 | 2.000000e+00 | Inf
1245.23/1245.25 c 1189s|600000 | 4813 | 4113k| 6.9 | 98M| 727 | - |3771 | 30k|3771 | 966 | 160k| 801k|6733 | 0.000000e+00 | 2.000000e+00 | Inf
1270.02/1270.04 c 1213s|610000 | 5032 | 4185k| 6.9 | 100M| 727 | 1 |3771 | 31k|3771 | 961 | 163k| 815k|6778 | 0.000000e+00 | 2.000000e+00 | Inf
1295.22/1295.24 c 1237s|620000 | 5143 | 4257k| 6.9 | 102M| 727 | - |3771 | 32k| 0 | 0 | 166k| 828k|6834 | 0.000000e+00 | 2.000000e+00 | Inf
1321.43/1321.42 c 1262s|630000 | 4865 | 4332k| 6.9 | 99M| 727 | 24 |3771 | 24k|3771 | 967 | 168k| 843k|6896 | 0.000000e+00 | 2.000000e+00 | Inf
1344.93/1344.94 c 1285s|640000 | 4596 | 4413k| 6.9 | 98M| 727 | 6 |3771 | 24k|3771 | 947 | 172k| 857k|6949 | 0.000000e+00 | 2.000000e+00 | Inf
1368.73/1368.70 c 1308s|650000 | 4321 | 4491k| 6.9 | 95M| 727 | - |3771 | 23k| 0 | 0 | 175k| 872k|7015 | 0.000000e+00 | 2.000000e+00 | Inf
1392.53/1392.59 c 1330s|660000 | 4093 | 4564k| 6.9 | 93M| 727 | 23 |3771 | 22k|3771 | 937 | 178k| 885k|7242 | 0.000000e+00 | 2.000000e+00 | Inf
1415.13/1415.14 c 1352s|670000 | 4252 | 4621k| 6.9 | 96M| 727 | 18 |3771 | 26k|3771 | 932 | 179k| 899k|7250 | 0.000000e+00 | 2.000000e+00 | Inf
1439.43/1439.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.43/1439.46 c 1376s|680000 | 4367 | 4680k| 6.9 | 97M| 727 | - |3771 | 26k| 0 | 0 | 181k| 912k|7260 | 0.000000e+00 | 2.000000e+00 | Inf
1462.13/1462.14 c 1397s|690000 | 4504 | 4743k| 6.9 | 99M| 727 | 19 |3771 | 28k|3771 | 938 | 184k| 926k|7293 | 0.000000e+00 | 2.000000e+00 | Inf
1486.03/1486.04 c 1420s|700000 | 4562 | 4804k| 6.9 | 101M| 727 | 1 |3771 | 29k|3771 | 923 | 186k| 940k|7308 | 0.000000e+00 | 2.000000e+00 | Inf
1509.43/1509.45 c 1443s|710000 | 4894 | 4866k| 6.9 | 104M| 727 | 9 |3771 | 31k|3771 | 942 | 189k| 954k|7358 | 0.000000e+00 | 2.000000e+00 | Inf
1532.63/1532.69 c 1465s|720000 | 4953 | 4924k| 6.8 | 105M| 727 | 20 |3771 | 31k|3771 | 986 | 191k| 969k|7407 | 0.000000e+00 | 2.000000e+00 | Inf
1556.63/1556.63 c 1488s|730000 | 5057 | 4988k| 6.8 | 106M| 727 | 1 |3771 | 31k|3771 | 936 | 193k| 982k|7451 | 0.000000e+00 | 2.000000e+00 | Inf
1581.94/1581.99 c 1513s|740000 | 5190 | 5045k| 6.8 | 109M| 727 | - |3771 | 34k| 0 | 0 | 195k| 996k|7462 | 0.000000e+00 | 2.000000e+00 | Inf
1608.63/1608.68 c 1538s|750000 | 5309 | 5112k| 6.8 | 110M| 727 | 1 |3771 | 34k|3771 | 942 | 198k|1010k|7520 | 0.000000e+00 | 2.000000e+00 | Inf
1636.85/1636.81 c 1566s|760000 | 5538 | 5171k| 6.8 | 113M| 727 | 1 |3771 | 36k|3771 | 943 | 200k|1025k|7572 | 0.000000e+00 | 2.000000e+00 | Inf
1663.34/1663.36 c 1591s|770000 | 5776 | 5216k| 6.8 | 115M| 727 | 1 |3771 | 38k|3771 | 932 | 202k|1039k|7576 | 0.000000e+00 | 2.000000e+00 | Inf
1690.43/1690.43 c 1617s|780000 | 5919 | 5261k| 6.7 | 116M| 727 | 24 |3771 | 35k|3771 | 944 | 204k|1053k|7647 | 0.000000e+00 | 2.000000e+00 | Inf
1714.53/1714.59 c 1640s|790000 | 5988 | 5308k| 6.7 | 117M| 727 | 1 |3771 | 35k|3771 | 939 | 207k|1068k|7650 | 0.000000e+00 | 2.000000e+00 | Inf
1739.64/1739.63 c 1665s|800000 | 6081 | 5354k| 6.7 | 119M| 727 | - |3771 | 36k| 0 | 0 | 209k|1082k|7698 | 0.000000e+00 | 2.000000e+00 | Inf
1765.84/1765.87 c 1690s|810000 | 6095 | 5408k| 6.7 | 119M| 727 | - |3771 | 35k| 0 | 0 | 211k|1096k|7715 | 0.000000e+00 | 2.000000e+00 | Inf
1792.05/1792.01 c 1715s|820000 | 6081 | 5471k| 6.7 | 120M| 727 | 1 |3771 | 36k|3771 | 946 | 214k|1110k|7753 | 0.000000e+00 | 2.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) : 1722.80
1800.05/1800.00 c Solving Nodes : 822871
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (179 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.03 s SATISFIABLE
1800.05/1800.03 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.03 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.03 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.03 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.03 v -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.05/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1800.05/1800.03 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.05/1800.03 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.05/1800.03 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.05/1800.03 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.05/1800.03 v -x1
1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.03 c Solving Time : 1722.80
1800.05/1800.03 c Original Problem :
1800.05/1800.03 c Problem name : HOME/instance-2693391-1277901049.wbo
1800.05/1800.03 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.05/1800.03 c Constraints : 4547 initial, 4547 maximal
1800.05/1800.03 c Presolved Problem :
1800.05/1800.03 c Problem name : t_HOME/instance-2693391-1277901049.wbo
1800.05/1800.03 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.05/1800.03 c Constraints : 4373 initial, 39218 maximal
1800.05/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.03 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.03 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.03 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.05/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c linear : 0.06 0 0 0 1861 0 105 91 0
1800.05/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.03 c root node : - 1754 - - 3508 - - - -
1800.05/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c integral : 0 0 0 478242 0 30 560 0 0 874308
1800.05/1800.03 c indicator : 1770 0 4150656 39919 0 185 1349436 0 0 0
1800.05/1800.03 c setppc : 9 7 4297982 34374 0 20839 1105036 0 0 0
1800.05/1800.03 c linear : 1770 7 4285905 40628 0 197494 18708083 214608 0 0
1800.05/1800.03 c logicor : 824+ 7 1471539 14123 0 168454 3423103 0 0 0
1800.05/1800.03 c bounddisjunction : 0+ 0 39496 0 0 0 2 0 0 0
1800.05/1800.03 c countsols : 0 0 0 14123 0 0 0 0 0 0
1800.05/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.03 c integral : 20.93 0.00 0.00 20.93 0.00
1800.05/1800.03 c indicator : 5.26 0.00 3.64 1.62 0.00
1800.05/1800.03 c setppc : 7.08 0.00 7.07 0.01 0.00
1800.05/1800.03 c linear : 138.58 0.01 136.48 2.09 0.00
1800.05/1800.03 c logicor : 294.52 0.00 294.37 0.15 0.00
1800.05/1800.03 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1800.05/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.03 c vbounds : 0.00 2 0 0
1800.05/1800.03 c rootredcost : 0.01 45 0 1754
1800.05/1800.03 c pseudoobj : 139.05 4310513 3662 637223
1800.05/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.03 c propagation : 17.88 390449 390427 2258297 26.9 13406 23.5 -
1800.05/1800.03 c infeasible LP : 9.58 33813 33813 263013 44.6 566 15.8 0
1800.05/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c pseudo solution : 0.02 103 103 522 15.9 73 6.1 -
1800.05/1800.03 c applied globally : - - - 1115080 22.5 - - -
1800.05/1800.03 c applied locally : - - - 0 0.0 - - -
1800.05/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.03 c cut pool : 0.00 6 - - 21 - (maximal pool size: 269)
1800.05/1800.03 c redcost : 22.75 483822 0 674530 0 0
1800.05/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.03 c intobj : 0.00 0 0 0 0 0
1800.05/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.03 c gomory : 0.08 6 0 0 1243 0
1800.05/1800.03 c strongcg : 0.05 6 0 0 67 0
1800.05/1800.03 c cmir : 0.04 6 0 0 0 0
1800.05/1800.03 c flowcover : 0.05 6 0 0 0 0
1800.05/1800.03 c clique : 0.00 6 0 0 0 0
1800.05/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.03 c mcf : 0.00 1 0 0 0 0
1800.05/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.03 c Pricers : Time Calls Vars
1800.05/1800.03 c problem variables: 0.00 0 0
1800.05/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c relpscost : 20.76 437593 30 560 0 0 874308
1800.05/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c inference : 1.72 14079 0 0 0 0 28158
1800.05/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c random : 0.00 0 0 0 0 0 0
1800.05/1800.03 c Primal Heuristics : Time Calls Found
1800.05/1800.03 c LP solutions : 0.03 - 44
1800.05/1800.03 c pseudo solutions : 0.00 - 0
1800.05/1800.03 c feaspump : 0.01 1 0
1800.05/1800.03 c oneopt : 0.19 38 0
1800.05/1800.03 c intshifting : 0.00 5 0
1800.05/1800.03 c coefdiving : 0.06 73 0
1800.05/1800.03 c pscostdiving : 0.11 73 0
1800.05/1800.03 c veclendiving : 0.11 73 0
1800.05/1800.03 c linesearchdiving : 0.08 74 0
1800.05/1800.03 c fracdiving : 0.10 74 0
1800.05/1800.03 c guideddiving : 0.11 74 0
1800.05/1800.03 c crossover : 0.91 40 0
1800.05/1800.03 c rootsoldiving : 0.06 69 0
1800.05/1800.03 c objpscostdiving : 0.01 70 0
1800.05/1800.03 c trivial : 0.01 2 0
1800.05/1800.03 c simplerounding : 0.56 439067 0
1800.05/1800.03 c zirounding : 0.12 1000 0
1800.05/1800.03 c rounding : 1.54 9210 0
1800.05/1800.03 c shifting : 1.12 2893 0
1800.05/1800.03 c twoopt : 0.00 0 0
1800.05/1800.03 c fixandinfer : 0.00 0 0
1800.05/1800.03 c intdiving : 0.00 0 0
1800.05/1800.03 c actconsdiving : 0.00 0 0
1800.05/1800.03 c octane : 0.00 0 0
1800.05/1800.03 c rens : 0.00 0 0
1800.05/1800.03 c rins : 0.00 0 0
1800.05/1800.03 c localbranching : 0.00 0 0
1800.05/1800.03 c mutation : 0.00 0 0
1800.05/1800.03 c dins : 0.00 0 0
1800.05/1800.03 c undercover : 0.00 0 0
1800.05/1800.03 c nlp : 0.00 0 0
1800.05/1800.03 c trysol : 1.74 6109 135
1800.05/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.03 c dual LP : 611.11 499763 5488729 10.98 8981.57
1800.05/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.03 c diving/probing LP: 0.22 79 2220 28.10 10090.91
1800.05/1800.03 c strong branching : 17.23 7768 196147 25.25 11384.04
1800.05/1800.03 c (at root node) : - 0 0 0.00 -
1800.05/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.03 c B&B Tree :
1800.05/1800.03 c number of runs : 1
1800.05/1800.03 c nodes : 822871
1800.05/1800.03 c nodes (total) : 822871
1800.05/1800.03 c nodes left : 6110
1800.05/1800.03 c max depth : 727
1800.05/1800.03 c max depth (total): 727
1800.05/1800.03 c backtracks : 73968 (9.0%)
1800.05/1800.03 c delayed cutoffs : 58107
1800.05/1800.03 c repropagations : 2244354 (3874287 domain reductions, 52914 cutoffs)
1800.05/1800.03 c avg switch length: 6.87
1800.05/1800.03 c switching time : 260.02
1800.05/1800.03 c Solution :
1800.05/1800.03 c Solutions found : 179 (45 improvements)
1800.05/1800.03 c First Solution : +8.80640000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.05/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 132214 nodes, 231.92 seconds, depth 389, found by <relaxation>)
1800.05/1800.03 c Dual Bound : +0.00000000000000e+00
1800.05/1800.03 c Gap : infinite
1800.05/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.03 c Root Iterations : 874
1800.15/1800.19 c Time complete: 1800.24.