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-2692748-1277900679.wbo>
0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.04/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.04/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 | 13 | - | 13M| 0 | 8 |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 | 24 | - | 14M| 0 | 8 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 60 | - | 14M| 0 | 29 |3771 |4373 |3771 | 850 | 17 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 113 | - | 14M| 0 | 43 |3771 |4373 |3771 | 872 | 39 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.29/0.31 c 0.2s| 1 | 0 | 138 | - | 14M| 0 | 46 |3771 |4373 |3771 | 883 | 50 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 147 | - | 14M| 0 | 47 |3771 |4373 |3771 | 885 | 52 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 153 | - | 14M| 0 | 50 |3771 |4373 |3771 | 891 | 58 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.89/0.91 c 0.8s| 1 | 2 | 153 | - | 14M| 0 | 50 |3771 |4373 |3771 | 891 | 58 | 0 | 33 | 0.000000e+00 | 8.806400e+04 | Inf
4.10/4.10 o 825
4.10/4.10 c * 3.9s| 1669 | 1535 | 1062 | 0.5 | 18M|1668 | - |3771 |4373 |3771 | 913 | 85 | 0 | 197 | 0.000000e+00 | 8.250000e+02 | Inf
7.89/7.96 o 766
7.89/7.96 c * 7.6s| 3151 | 2886 | 5327 | 1.6 | 22M|1668 | - |3771 |4423 |3771 | 909 | 406 | 50 | 767 | 0.000000e+00 | 7.660000e+02 | Inf
11.29/11.38 o 748
11.29/11.38 c *10.9s| 5469 | 5044 | 7182 | 1.3 | 27M|1668 | - |3771 |4453 |3771 | 912 | 614 | 80 | 978 | 0.000000e+00 | 7.480000e+02 | Inf
13.39/13.48 o 742
13.39/13.48 c *12.9s| 6921 | 6409 | 8673 | 1.2 | 30M|1668 | - |3771 |4473 |3771 | 923 | 750 | 100 |1058 | 0.000000e+00 | 7.420000e+02 | Inf
17.19/17.28 c 16.6s| 10000 | 9482 | 10085 | 1.0 | 36M|1668 | 0 |3771 |4486 |3771 | 894 | 837 | 113 |1104 | 0.000000e+00 | 7.420000e+02 | Inf
17.49/17.50 o 688
17.49/17.50 c *16.8s| 10142 | 8562 | 10428 | 1.0 | 35M|1668 | - |3771 |4495 |3771 | 927 | 875 | 122 |1108 | 0.000000e+00 | 6.880000e+02 | Inf
17.89/17.93 o 675
17.89/17.93 c *17.2s| 10388 | 8646 | 11530 | 1.1 | 36M|1668 | - |3771 |4544 |3771 | 904 | 952 | 171 |1116 | 0.000000e+00 | 6.750000e+02 | Inf
18.09/18.13 o 642
18.09/18.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.09/18.13 c *17.4s| 10479 | 8360 | 12150 | 1.1 | 35M|1668 | - |3771 |4570 |3771 | 919 |1007 | 197 |1128 | 0.000000e+00 | 6.420000e+02 | Inf
18.39/18.45 o 624
18.39/18.45 c *17.7s| 10674 | 8398 | 12645 | 1.2 | 35M|1668 | - |3771 |4578 |3771 | 917 |1056 | 205 |1147 | 0.000000e+00 | 6.240000e+02 | Inf
18.50/18.56 o 602
18.50/18.56 c *17.8s| 10713 | 8317 | 13070 | 1.2 | 35M|1668 | - |3771 |4600 |3771 | 906 |1102 | 227 |1151 | 0.000000e+00 | 6.020000e+02 | Inf
18.79/18.82 o 572
18.79/18.82 c *18.1s| 10918 | 8265 | 13136 | 1.2 | 35M|1668 | - |3771 |4600 |3771 | 908 |1108 | 227 |1157 | 0.000000e+00 | 5.720000e+02 | Inf
18.99/19.01 o 564
18.99/19.01 c *18.2s| 10965 | 8217 | 13469 | 1.2 | 35M|1668 | - |3771 |4611 |3771 | 900 |1134 | 238 |1179 | 0.000000e+00 | 5.640000e+02 | Inf
18.99/19.06 o 562
18.99/19.06 c *18.3s| 10987 | 8213 | 13519 | 1.2 | 35M|1668 | - |3771 |4615 |3771 | 908 |1142 | 242 |1179 | 0.000000e+00 | 5.620000e+02 | Inf
19.20/19.22 o 540
19.20/19.22 c *18.4s| 11057 | 8058 | 13711 | 1.2 | 34M|1668 | - |3771 |4631 |3771 | 902 |1154 | 258 |1186 | 0.000000e+00 | 5.400000e+02 | Inf
19.39/19.44 o 539
19.39/19.44 c *18.6s| 11198 | 8175 | 13996 | 1.2 | 35M|1668 | - |3771 |4669 |3771 | 903 |1174 | 296 |1186 | 0.000000e+00 | 5.390000e+02 | Inf
19.39/19.49 o 531
19.39/19.49 c *18.7s| 11207 | 8072 | 14136 | 1.2 | 35M|1668 | - |3771 |4674 |3771 | 909 |1193 | 301 |1188 | 0.000000e+00 | 5.310000e+02 | Inf
19.69/19.79 o 502
19.69/19.79 c *19.0s| 11303 | 7666 | 14722 | 1.3 | 34M|1668 | - |3771 |4835 |3771 | 909 |1286 | 465 |1229 | 0.000000e+00 | 5.020000e+02 | Inf
21.59/21.68 o 498
21.59/21.68 c *20.8s| 12269 | 8264 | 17849 | 1.4 | 36M|1668 | - |3771 |5659 |3771 | 929 |1771 |1437 |1319 | 0.000000e+00 | 4.980000e+02 | Inf
22.00/22.01 o 475
22.00/22.01 c *21.1s| 12512 | 8045 | 18232 | 1.4 | 36M|1668 | - |3771 |5664 |3771 | 921 |1802 |1454 |1321 | 0.000000e+00 | 4.750000e+02 | Inf
22.19/22.20 o 466
22.19/22.20 c *21.3s| 12611 | 7946 | 18670 | 1.5 | 36M|1668 | - |3771 |5668 |3771 | 906 |1867 |1495 |1324 | 0.000000e+00 | 4.660000e+02 | Inf
22.69/22.71 o 464
22.69/22.71 c *21.8s| 12912 | 8141 | 19288 | 1.5 | 36M|1668 | - |3771 |5727 |3771 | 921 |1972 |1636 |1343 | 0.000000e+00 | 4.640000e+02 | Inf
22.69/22.72 o 445
22.69/22.72 c *21.8s| 12913 | 7675 | 19288 | 1.5 | 35M|1668 | - |3771 |5727 |3771 | 921 |1972 |1636 |1343 | 0.000000e+00 | 4.450000e+02 | Inf
23.09/23.11 o 376
23.09/23.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.09/23.11 c *22.2s| 13115 | 6203 | 19917 | 1.5 | 33M|1668 | - |3771 |5786 |3771 | 913 |2075 |1784 |1349 | 0.000000e+00 | 3.760000e+02 | Inf
23.09/23.15 o 348
23.09/23.15 c *22.2s| 13135 | 5639 | 19945 | 1.5 | 32M|1668 | - |3771 |5780 |3771 | 908 |2078 |1784 |1350 | 0.000000e+00 | 3.480000e+02 | Inf
23.09/23.16 o 300
23.09/23.16 c *22.2s| 13140 | 4749 | 19947 | 1.5 | 30M|1668 | - |3771 |5779 |3771 | 908 |2078 |1784 |1350 | 0.000000e+00 | 3.000000e+02 | Inf
23.19/23.29 o 285
23.19/23.29 c *22.4s| 13196 | 4525 | 20160 | 1.5 | 30M|1668 | - |3771 |5774 |3771 | 920 |2122 |1812 |1357 | 0.000000e+00 | 2.850000e+02 | Inf
23.29/23.37 o 254
23.29/23.37 c *22.4s| 13242 | 3895 | 20294 | 1.5 | 29M|1668 | - |3771 |5766 |3771 | 909 |2139 |1816 |1357 | 0.000000e+00 | 2.540000e+02 | Inf
23.39/23.47 o 251
23.39/23.47 c *22.5s| 13289 | 3833 | 20521 | 1.5 | 29M|1668 | - |3771 |5748 |3771 | 908 |2190 |1835 |1358 | 0.000000e+00 | 2.510000e+02 | Inf
23.50/23.57 o 247
23.50/23.57 c *22.6s| 13336 | 3758 | 20728 | 1.5 | 29M|1668 | - |3771 |5743 |3771 | 932 |2222 |1842 |1362 | 0.000000e+00 | 2.470000e+02 | Inf
23.50/23.57 o 188
23.50/23.57 c *22.6s| 13337 | 2175 | 20729 | 1.5 | 26M|1668 | - |3771 |5742 |3771 | 932 |2222 |1842 |1362 | 0.000000e+00 | 1.880000e+02 | Inf
23.99/24.05 o 173
23.99/24.05 c *23.1s| 13550 | 2002 | 21317 | 1.6 | 26M|1668 | - |3771 |5700 |3771 | 892 |2276 |1903 |1394 | 0.000000e+00 | 1.730000e+02 | Inf
24.20/24.20 o 138
24.20/24.20 c *23.2s| 13605 | 1592 | 21709 | 1.6 | 25M|1668 | - |3771 |5691 |3771 | 907 |2341 |1945 |1398 | 0.000000e+00 | 1.380000e+02 | Inf
24.49/24.54 o 137
24.49/24.54 c *23.6s| 13707 | 1614 | 22418 | 1.6 | 25M|1668 | - |3771 |5625 |3771 | 909 |2416 |2074 |1410 | 0.000000e+00 | 1.370000e+02 | Inf
24.49/24.54 o 131
24.49/24.54 c *23.6s| 13708 | 1575 | 22420 | 1.6 | 25M|1668 | - |3771 |5624 |3771 | 909 |2416 |2074 |1410 | 0.000000e+00 | 1.310000e+02 | Inf
24.89/24.96 o 125
24.89/24.96 c *24.0s| 13827 | 1585 | 23281 | 1.7 | 25M|1668 | - |3771 |5599 |3771 | 917 |2522 |2224 |1436 | 0.000000e+00 | 1.250000e+02 | Inf
24.99/25.05 o 66
24.99/25.05 c *24.1s| 13899 | 999 | 23312 | 1.7 | 23M|1668 | - |3771 |5598 |3771 | 917 |2522 |2224 |1436 | 0.000000e+00 | 6.600000e+01 | Inf
25.19/25.22 o 45
25.19/25.22 c *24.2s| 13940 | 624 | 23560 | 1.7 | 22M|1668 | - |3771 |4929 |3771 | 905 |2535 |2246 |1449 | 0.000000e+00 | 4.500000e+01 | Inf
38.29/38.38 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.38 c 36.8s| 20000 | 1073 | 50297 | 2.5 | 30M|1668 | 1 |3771 |6654 |3771 | 895 |3897 |9322 |1801 | 0.000000e+00 | 4.500000e+01 | Inf
48.19/48.20 o 39
48.19/48.20 c *46.2s| 25109 | 1094 | 68002 | 2.7 | 30M|1668 | - |3771 |8287 |3771 | 906 |5316 | 15k|1811 | 0.000000e+00 | 3.900000e+01 | Inf
52.69/52.71 o 37
52.69/52.71 c *50.5s| 27773 | 1122 | 74000 | 2.7 | 31M|1668 | - |3771 |8958 |3771 | 895 |5688 | 18k|1812 | 0.000000e+00 | 3.700000e+01 | Inf
56.59/56.66 c 54.3s| 30000 | 1132 | 80174 | 2.7 | 32M|1668 | - |3771 |8475 | 0 | 0 |6008 | 21k|1813 | 0.000000e+00 | 3.700000e+01 | Inf
62.49/62.54 o 23
62.49/62.54 c *59.9s| 33397 | 1076 | 90732 | 2.7 | 32M|1668 | - |3771 |9210 |3771 | 891 |6545 | 25k|1813 | 0.000000e+00 | 2.300000e+01 | Inf
73.19/73.29 c 70.2s| 40000 | 1143 |110329 | 2.8 | 33M|1668 | 19 |3771 |8307 |3771 | 891 |7159 | 34k|1813 | 0.000000e+00 | 2.300000e+01 | Inf
89.99/90.00 c 86.2s| 50000 | 1226 |142511 | 2.8 | 36M|1668 | 15 |3771 | 12k|3771 | 895 |8207 | 46k|1813 | 0.000000e+00 | 2.300000e+01 | Inf
107.29/107.31 c 103s| 60000 | 1236 |173618 | 2.9 | 38M|1668 | 8 |3771 | 12k|3771 | 895 |9832 | 59k|1838 | 0.000000e+00 | 2.300000e+01 | Inf
124.99/125.00 c 120s| 70000 | 1308 |202971 | 2.9 | 40M|1668 | - |3771 | 14k| 0 | 0 | 11k| 72k|1960 | 0.000000e+00 | 2.300000e+01 | Inf
143.69/143.74 c 138s| 80000 | 1326 |237840 | 3.0 | 42M|1668 | 4 |3771 | 12k|3771 | 891 | 12k| 86k|2135 | 0.000000e+00 | 2.300000e+01 | Inf
162.20/162.28 c 155s| 90000 | 1341 |269103 | 3.0 | 44M|1668 | - |3771 | 14k| 0 | 0 | 13k| 99k|2313 | 0.000000e+00 | 2.300000e+01 | Inf
181.19/181.29 c 173s|100000 | 1394 |302386 | 3.0 | 46M|1668 | - |3771 | 15k| 0 | 0 | 14k| 112k|2473 | 0.000000e+00 | 2.300000e+01 | Inf
200.79/200.80 c 192s|110000 | 1478 |338509 | 3.1 | 48M|1668 | 1 |3771 | 14k|3771 | 891 | 15k| 126k|2622 | 0.000000e+00 | 2.300000e+01 | Inf
219.89/219.95 c 211s|120000 | 1510 |373957 | 3.1 | 50M|1668 | 12 |3771 | 14k|3771 | 891 | 17k| 139k|2744 | 0.000000e+00 | 2.300000e+01 | Inf
222.30/222.34 o 22
222.30/222.34 c * 213s|121410 | 1499 |377253 | 3.1 | 50M|1668 | - |3771 | 14k|3771 | 891 | 17k| 141k|2771 | 0.000000e+00 | 2.200000e+01 | Inf
227.49/227.52 o 21
227.49/227.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.49/227.52 c * 218s|124232 | 1483 |386374 | 3.1 | 49M|1668 | - |3771 | 11k|3771 | 887 | 17k| 145k|2838 | 0.000000e+00 | 2.100000e+01 | Inf
237.70/237.75 c 228s|130000 | 1460 |404354 | 3.1 | 49M|1668 | - |3771 | 10k| 0 | 0 | 18k| 153k|2928 | 0.000000e+00 | 2.100000e+01 | Inf
255.90/255.93 c 245s|140000 | 1583 |438165 | 3.1 | 52M|1668 | 1 |3771 | 13k|3771 | 904 | 19k| 166k|3044 | 0.000000e+00 | 2.100000e+01 | Inf
269.90/269.96 o 17
269.90/269.96 c * 258s|147370 | 1559 |465264 | 3.2 | 52M|1668 | - |3771 | 11k|3771 | 891 | 20k| 176k|3146 | 0.000000e+00 | 1.700000e+01 | Inf
274.49/274.57 c 263s|150000 | 1577 |474977 | 3.2 | 52M|1668 | - |3771 | 10k|3771 | 891 | 20k| 179k|3202 | 0.000000e+00 | 1.700000e+01 | Inf
292.89/292.93 c 280s|160000 | 1673 |512219 | 3.2 | 54M|1668 | 18 |3771 | 11k|3771 | 891 | 22k| 193k|3326 | 0.000000e+00 | 1.700000e+01 | Inf
311.00/311.07 c 298s|170000 | 1718 |548926 | 3.2 | 55M|1668 | - |3771 |9942 | 0 | 0 | 24k| 206k|3476 | 0.000000e+00 | 1.700000e+01 | Inf
328.69/328.73 c 315s|180000 | 1762 |582397 | 3.2 | 57M|1668 | - |3771 | 12k| 0 | 0 | 26k| 219k|3585 | 0.000000e+00 | 1.700000e+01 | Inf
340.49/340.50 o 14
340.49/340.50 c * 326s|186774 | 1512 |602638 | 3.2 | 49M|1668 | - |3771 | 12k|3771 | 895 | 27k| 228k|3672 | 0.000000e+00 | 1.400000e+01 | Inf
345.89/345.93 c 331s|190000 | 1529 |612530 | 3.2 | 49M|1668 | - |3771 | 13k| 0 | 0 | 28k| 232k|3672 | 0.000000e+00 | 1.400000e+01 | Inf
363.30/363.38 c 348s|200000 | 1598 |642769 | 3.2 | 51M|1668 | - |3771 | 14k| 0 | 0 | 29k| 245k|3767 | 0.000000e+00 | 1.400000e+01 | Inf
380.50/380.52 c 364s|210000 | 1661 |669672 | 3.2 | 53M|1668 | - |3771 | 18k| 0 | 0 | 30k| 257k|3851 | 0.000000e+00 | 1.400000e+01 | Inf
398.90/398.96 c 382s|220000 | 1665 |698851 | 3.2 | 54M|1668 | - |3771 | 18k| 0 | 0 | 31k| 271k|3941 | 0.000000e+00 | 1.400000e+01 | Inf
417.20/417.27 c 399s|230000 | 1766 |727570 | 3.2 | 56M|1668 | 18 |3771 | 20k|3771 | 895 | 32k| 284k|4023 | 0.000000e+00 | 1.400000e+01 | Inf
435.50/435.59 c 417s|240000 | 1853 |755048 | 3.1 | 57M|1668 | - |3771 | 18k| 0 | 0 | 33k| 298k|4120 | 0.000000e+00 | 1.400000e+01 | Inf
453.21/453.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.21/453.24 c 434s|250000 | 1988 |784024 | 3.1 | 58M|1668 | 20 |3771 | 17k|3771 | 895 | 34k| 312k|4205 | 0.000000e+00 | 1.400000e+01 | Inf
471.10/471.12 c 451s|260000 | 1927 |815197 | 3.1 | 58M|1668 | - |3771 | 15k| 0 | 0 | 35k| 326k|4290 | 0.000000e+00 | 1.400000e+01 | Inf
489.10/489.13 c 468s|270000 | 1960 |848366 | 3.1 | 59M|1668 | - |3771 | 17k| 0 | 0 | 36k| 339k|4394 | 0.000000e+00 | 1.400000e+01 | Inf
507.10/507.12 c 486s|280000 | 1996 |877758 | 3.1 | 61M|1668 | 1 |3771 | 18k|3771 | 895 | 38k| 352k|4487 | 0.000000e+00 | 1.400000e+01 | Inf
525.40/525.46 c 503s|290000 | 2038 |908284 | 3.1 | 61M|1668 | - |3771 | 16k| 0 | 0 | 39k| 366k|4570 | 0.000000e+00 | 1.400000e+01 | Inf
544.10/544.17 c 521s|300000 | 2074 |942188 | 3.1 | 61M|1668 | - |3771 | 15k| 0 | 0 | 40k| 379k|4673 | 0.000000e+00 | 1.400000e+01 | Inf
562.30/562.31 c 539s|310000 | 2229 |974797 | 3.1 | 63M|1668 | - |3771 | 16k| 0 | 0 | 41k| 392k|4759 | 0.000000e+00 | 1.400000e+01 | Inf
580.20/580.28 c 556s|320000 | 2339 | 1004k| 3.1 | 65M|1668 | 19 |3771 | 19k|3771 | 905 | 43k| 405k|4836 | 0.000000e+00 | 1.400000e+01 | Inf
598.91/598.90 c 574s|330000 | 2376 | 1037k| 3.1 | 66M|1668 | - |3771 | 18k| 0 | 0 | 44k| 419k|4933 | 0.000000e+00 | 1.400000e+01 | Inf
617.20/617.23 c 591s|340000 | 2467 | 1068k| 3.1 | 68M|1668 | - |3771 | 20k|3771 | 895 | 45k| 432k|5008 | 0.000000e+00 | 1.400000e+01 | Inf
635.71/635.74 c 609s|350000 | 2501 | 1098k| 3.1 | 69M|1668 | - |3771 | 18k| 0 | 0 | 46k| 446k|5075 | 0.000000e+00 | 1.400000e+01 | Inf
641.31/641.35 o 5
641.31/641.35 c * 614s|353121 | 1740 | 1107k| 3.1 | 51M|1668 | - |3771 | 19k|3771 | 895 | 47k| 450k|5090 | 0.000000e+00 | 5.000000e+00 | Inf
653.70/653.78 c 626s|360000 | 1783 | 1130k| 3.1 | 50M|1668 | - |3771 | 16k| 0 | 0 | 48k| 460k|5155 | 0.000000e+00 | 5.000000e+00 | Inf
670.91/670.98 c 643s|370000 | 1833 | 1164k| 3.1 | 51M|1668 | - |3771 | 15k| 0 | 0 | 48k| 474k|5229 | 0.000000e+00 | 5.000000e+00 | Inf
688.40/688.49 c 659s|380000 | 1843 | 1195k| 3.1 | 52M|1668 | 13 |3771 | 18k|3771 | 895 | 49k| 488k|5304 | 0.000000e+00 | 5.000000e+00 | Inf
706.50/706.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.50/706.57 c 677s|390000 | 1803 | 1227k| 3.1 | 53M|1668 | 9 |3771 | 18k|3771 | 895 | 51k| 503k|5373 | 0.000000e+00 | 5.000000e+00 | Inf
724.61/724.67 c 694s|400000 | 1786 | 1260k| 3.2 | 53M|1668 | - |3771 | 18k| 0 | 0 | 52k| 517k|5453 | 0.000000e+00 | 5.000000e+00 | Inf
742.91/742.98 c 712s|410000 | 1769 | 1291k| 3.1 | 53M|1668 | 11 |3771 | 19k|3771 | 895 | 53k| 531k|5523 | 0.000000e+00 | 5.000000e+00 | Inf
760.71/760.71 c 729s|420000 | 1675 | 1323k| 3.1 | 52M|1668 | 18 |3771 | 17k|3771 | 895 | 54k| 545k|5641 | 0.000000e+00 | 5.000000e+00 | Inf
778.11/778.13 c 745s|430000 | 1572 | 1355k| 3.2 | 50M|1668 | - |3771 | 14k| 0 | 0 | 55k| 559k|5703 | 0.000000e+00 | 5.000000e+00 | Inf
795.51/795.56 c 762s|440000 | 1581 | 1386k| 3.2 | 51M|1668 | 1 |3771 | 18k|3771 | 895 | 56k| 572k|5786 | 0.000000e+00 | 5.000000e+00 | Inf
814.11/814.13 c 780s|450000 | 1545 | 1418k| 3.2 | 50M|1668 | - |3771 | 16k| 0 | 0 | 57k| 586k|5890 | 0.000000e+00 | 5.000000e+00 | Inf
832.51/832.52 c 797s|460000 | 1621 | 1449k| 3.2 | 52M|1668 | - |3771 | 19k| 0 | 0 | 58k| 600k|5966 | 0.000000e+00 | 5.000000e+00 | Inf
850.71/850.76 c 815s|470000 | 1547 | 1482k| 3.2 | 51M|1668 | 10 |3771 | 16k|3771 | 895 | 59k| 613k|6023 | 0.000000e+00 | 5.000000e+00 | Inf
868.81/868.84 c 832s|480000 | 1549 | 1514k| 3.2 | 52M|1668 | 12 |3771 | 19k|3771 | 891 | 60k| 627k|6082 | 0.000000e+00 | 5.000000e+00 | Inf
888.52/888.55 c 851s|490000 | 1550 | 1553k| 3.2 | 53M|1668 | 20 |3771 | 23k|3771 | 900 | 61k| 641k|6170 | 0.000000e+00 | 5.000000e+00 | Inf
908.62/908.65 c 870s|500000 | 1553 | 1589k| 3.2 | 54M|1668 | 1 |3771 | 24k|3771 | 895 | 62k| 655k|6253 | 0.000000e+00 | 5.000000e+00 | Inf
928.61/928.65 c 890s|510000 | 1544 | 1622k| 3.2 | 55M|1668 | - |3771 | 26k| 0 | 0 | 63k| 669k|6324 | 0.000000e+00 | 5.000000e+00 | Inf
948.21/948.22 c 909s|520000 | 1523 | 1653k| 3.2 | 54M|1668 | 15 |3771 | 24k|3771 | 902 | 64k| 684k|6408 | 0.000000e+00 | 5.000000e+00 | Inf
967.81/967.84 c 927s|530000 | 1515 | 1686k| 3.2 | 53M|1668 | - |3771 | 21k| 0 | 0 | 65k| 698k|6460 | 0.000000e+00 | 5.000000e+00 | Inf
986.52/986.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.52/986.54 c 945s|540000 | 1478 | 1721k| 3.2 | 52M|1668 | - |3771 | 21k| 0 | 0 | 67k| 711k|6521 | 0.000000e+00 | 5.000000e+00 | Inf
1006.01/1006.00 c 964s|550000 | 1481 | 1757k| 3.2 | 54M|1668 | 17 |3771 | 23k|3771 | 901 | 68k| 726k|6597 | 0.000000e+00 | 5.000000e+00 | Inf
1026.62/1026.62 c 984s|560000 | 1446 | 1794k| 3.2 | 54M|1668 | - |3771 | 24k| 0 | 0 | 69k| 739k|6686 | 0.000000e+00 | 5.000000e+00 | Inf
1047.32/1047.34 c 1004s|570000 | 1332 | 1830k| 3.2 | 51M|1668 | - |3771 | 21k| 0 | 0 | 70k| 753k|6770 | 0.000000e+00 | 5.000000e+00 | Inf
1067.22/1067.24 c 1023s|580000 | 1268 | 1865k| 3.2 | 50M|1668 | 10 |3771 | 18k|3771 | 895 | 71k| 766k|6882 | 0.000000e+00 | 5.000000e+00 | Inf
1088.02/1088.05 c 1043s|590000 | 1269 | 1912k| 3.2 | 49M|1668 | 11 |3771 | 15k|3771 | 900 | 72k| 779k|6964 | 0.000000e+00 | 5.000000e+00 | Inf
1106.92/1106.98 c 1061s|600000 | 1271 | 1955k| 3.3 | 49M|1668 | 14 |3771 | 15k|3771 | 891 | 74k| 793k|7050 | 0.000000e+00 | 5.000000e+00 | Inf
1126.32/1126.37 c 1080s|610000 | 1243 | 1995k| 3.3 | 49M|1668 | 13 |3771 | 17k|3771 | 891 | 75k| 805k|7131 | 0.000000e+00 | 5.000000e+00 | Inf
1146.42/1146.48 c 1099s|620000 | 1266 | 2038k| 3.3 | 50M|1668 | 21 |3771 | 19k|3771 | 891 | 77k| 818k|7206 | 0.000000e+00 | 5.000000e+00 | Inf
1165.93/1165.93 c 1118s|630000 | 1285 | 2078k| 3.3 | 51M|1668 | - |3771 | 21k| 0 | 0 | 78k| 831k|7255 | 0.000000e+00 | 5.000000e+00 | Inf
1186.32/1186.32 c 1137s|640000 | 1308 | 2115k| 3.3 | 53M|1668 | 14 |3771 | 26k|3771 | 891 | 80k| 844k|7294 | 0.000000e+00 | 5.000000e+00 | Inf
1207.83/1207.84 c 1158s|650000 | 1311 | 2157k| 3.3 | 53M|1668 | 1 |3771 | 26k|3771 | 895 | 81k| 857k|7385 | 0.000000e+00 | 5.000000e+00 | Inf
1231.82/1231.85 c 1181s|660000 | 1303 | 2199k| 3.3 | 54M|1668 | - |3771 | 28k| 0 | 0 | 82k| 871k|7465 | 0.000000e+00 | 5.000000e+00 | Inf
1256.42/1256.43 c 1205s|670000 | 1339 | 2237k| 3.3 | 56M|1668 | - |3771 | 30k|3771 | 897 | 83k| 885k|7539 | 0.000000e+00 | 5.000000e+00 | Inf
1277.72/1277.74 c 1225s|680000 | 1358 | 2272k| 3.3 | 55M|1668 | - |3771 | 27k| 0 | 0 | 84k| 899k|7579 | 0.000000e+00 | 5.000000e+00 | Inf
1299.22/1299.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.22/1299.24 c 1246s|690000 | 1364 | 2310k| 3.3 | 56M|1668 | 9 |3771 | 30k|3771 | 891 | 85k| 913k|7637 | 0.000000e+00 | 5.000000e+00 | Inf
1321.42/1321.45 c 1268s|700000 | 1334 | 2349k| 3.4 | 56M|1668 | 11 |3771 | 29k|3771 | 891 | 86k| 926k|7725 | 0.000000e+00 | 5.000000e+00 | Inf
1344.23/1344.26 c 1290s|710000 | 1313 | 2391k| 3.4 | 56M|1668 | - |3771 | 30k| 0 | 0 | 88k| 940k|7808 | 0.000000e+00 | 5.000000e+00 | Inf
1365.62/1365.67 c 1310s|720000 | 1293 | 2425k| 3.4 | 55M|1668 | 14 |3771 | 29k|3771 | 891 | 89k| 954k|7832 | 0.000000e+00 | 5.000000e+00 | Inf
1386.42/1386.49 c 1330s|730000 | 1321 | 2458k| 3.4 | 57M|1668 | - |3771 | 32k|3771 | 891 | 91k| 967k|7877 | 0.000000e+00 | 5.000000e+00 | Inf
1409.22/1409.26 c 1352s|740000 | 1326 | 2494k| 3.4 | 58M|1668 | - |3771 | 36k| 0 | 0 | 92k| 981k|7937 | 0.000000e+00 | 5.000000e+00 | Inf
1432.63/1432.61 c 1375s|750000 | 1285 | 2528k| 3.4 | 58M|1668 | - |3771 | 34k| 0 | 0 | 93k| 995k|8016 | 0.000000e+00 | 5.000000e+00 | Inf
1454.62/1454.64 c 1396s|760000 | 1205 | 2565k| 3.4 | 52M|1668 | 11 |3771 | 22k|3771 | 895 | 94k|1008k|8063 | 0.000000e+00 | 5.000000e+00 | Inf
1474.12/1474.19 c 1415s|770000 | 1172 | 2601k| 3.4 | 52M|1668 | - |3771 | 22k| 0 | 0 | 96k|1022k|8147 | 0.000000e+00 | 5.000000e+00 | Inf
1494.13/1494.17 c 1434s|780000 | 1211 | 2636k| 3.4 | 54M|1668 | 1 |3771 | 26k|3771 | 891 | 97k|1035k|8191 | 0.000000e+00 | 5.000000e+00 | Inf
1516.23/1516.23 c 1455s|790000 | 1205 | 2669k| 3.4 | 55M|1668 | - |3771 | 28k| 0 | 0 | 98k|1049k|8204 | 0.000000e+00 | 5.000000e+00 | Inf
1537.02/1537.04 c 1475s|800000 | 1183 | 2701k| 3.4 | 54M|1668 | - |3771 | 27k| 0 | 0 | 99k|1061k|8307 | 0.000000e+00 | 5.000000e+00 | Inf
1556.73/1556.76 c 1494s|810000 | 1209 | 2733k| 3.4 | 55M|1668 | 10 |3771 | 29k|3771 | 891 | 100k|1074k|8332 | 0.000000e+00 | 5.000000e+00 | Inf
1576.93/1576.93 c 1513s|820000 | 1216 | 2765k| 3.4 | 56M|1668 | - |3771 | 31k| 0 | 0 | 101k|1088k|8377 | 0.000000e+00 | 5.000000e+00 | Inf
1598.23/1598.21 c 1534s|830000 | 1135 | 2805k| 3.4 | 52M|1668 | 2 |3771 | 24k|3771 | 891 | 102k|1102k|8474 | 0.000000e+00 | 5.000000e+00 | Inf
1621.43/1621.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.43/1621.41 c 1556s|840000 | 1155 | 2858k| 3.4 | 54M|1668 | - |3771 | 28k| 0 | 0 | 106k|1114k|8538 | 0.000000e+00 | 5.000000e+00 | Inf
1648.03/1648.02 c 1582s|850000 | 1167 | 2919k| 3.4 | 55M|1668 | - |3771 | 32k| 0 | 0 | 113k|1127k|8606 | 0.000000e+00 | 5.000000e+00 | Inf
1674.93/1674.93 c 1608s|860000 | 1139 | 2975k| 3.5 | 53M|1668 | - |3771 | 26k| 0 | 0 | 120k|1141k|8743 | 0.000000e+00 | 5.000000e+00 | Inf
1697.14/1697.10 c 1629s|870000 | 1324 | 3025k| 3.5 | 55M|1668 | - |3771 | 27k| 0 | 0 | 123k|1153k|8774 | 0.000000e+00 | 5.000000e+00 | Inf
1718.73/1718.70 c 1650s|880000 | 1379 | 3071k| 3.5 | 57M|1668 | 1 |3771 | 31k|3771 | 897 | 127k|1165k|8841 | 0.000000e+00 | 5.000000e+00 | Inf
1741.63/1741.64 c 1672s|890000 | 1397 | 3118k| 3.5 | 57M|1668 | 1 |3771 | 31k|3771 | 894 | 131k|1178k|8912 | 0.000000e+00 | 5.000000e+00 | Inf
1765.54/1765.54 c 1695s|900000 | 1442 | 3172k| 3.5 | 59M|1668 | 5 |3771 | 33k|3771 | 886 | 137k|1191k|8989 | 0.000000e+00 | 5.000000e+00 | Inf
1788.73/1788.76 c 1717s|910000 | 1478 | 3218k| 3.5 | 59M|1668 | 10 |3771 | 32k|3771 | 894 | 141k|1205k|9065 | 0.000000e+00 | 5.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1728.17
1800.04/1800.00 c Solving Nodes : 915337
1800.04/1800.00 c Primal Bound : +5.00000000000000e+00 (161 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.05 s SATISFIABLE
1800.04/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.04/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.05 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.05 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 -x80
1800.04/1800.05 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
1800.04/1800.05 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 -x29
1800.04/1800.05 v -x28 -x27 -x26 -x25 -x24 x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2
1800.04/1800.05 v -x1
1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.05 c Solving Time : 1728.17
1800.04/1800.05 c Original Problem :
1800.04/1800.05 c Problem name : HOME/instance-2692748-1277900679.wbo
1800.04/1800.05 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.04/1800.05 c Constraints : 4547 initial, 4547 maximal
1800.04/1800.05 c Presolved Problem :
1800.04/1800.05 c Problem name : t_HOME/instance-2692748-1277900679.wbo
1800.04/1800.05 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.04/1800.05 c Constraints : 4373 initial, 37742 maximal
1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.05 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.06 0 0 0 1861 0 105 91 0
1800.04/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 1705 - - 3410 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 524420 0 18 596 0 0 985742
1800.04/1800.05 c indicator : 1770 0 4694718 30865 0 307 2666958 0 0 0
1800.04/1800.05 c setppc : 9 6 4707984 23021 0 27203 1448286 0 0 0
1800.04/1800.05 c linear : 1770 6 4692360 30204 0 251130 22494768 141924 0 0
1800.04/1800.05 c logicor : 824+ 6 1694760 12760 0 184689 4009570 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 1591 0 0 0 2 0 0 0
1800.04/1800.05 c countsols : 0 0 0 12760 0 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 22.96 0.00 0.00 22.96 0.00
1800.04/1800.05 c indicator : 11.92 0.00 10.56 1.36 0.00
1800.04/1800.05 c setppc : 9.33 0.00 9.32 0.01 0.00
1800.04/1800.05 c linear : 149.37 0.00 148.29 1.08 0.00
1800.04/1800.05 c logicor : 280.97 0.00 280.90 0.07 0.00
1800.04/1800.05 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.00 2 0 0
1800.04/1800.05 c rootredcost : 0.02 45 0 1705
1800.04/1800.05 c pseudoobj : 161.50 4725902 5110 2096347
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 22.38 468132 467688 2937556 25.9 16653 22.4 -
1800.04/1800.05 c infeasible LP : 5.15 19121 19121 153763 39.7 230 17.4 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.00 81 81 588 20.1 77 5.6 -
1800.04/1800.05 c applied globally : - - - 1212403 20.6 - - -
1800.04/1800.05 c applied locally : - - - 0 0.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 5 - - 19 - (maximal pool size: 145)
1800.04/1800.05 c redcost : 26.73 532769 0 502391 0 0
1800.04/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.11 6 0 0 718 0
1800.04/1800.05 c strongcg : 0.06 6 0 0 108 0
1800.04/1800.05 c cmir : 0.01 6 0 0 0 0
1800.04/1800.05 c flowcover : 0.08 6 0 0 0 0
1800.04/1800.05 c clique : 0.00 6 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 1 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 22.85 493371 18 596 0 0 985742
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 1.12 12716 0 0 0 0 25432
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.04 - 44
1800.04/1800.05 c pseudo solutions : 0.00 - 0
1800.04/1800.05 c feaspump : 0.01 1 0
1800.04/1800.05 c oneopt : 0.26 42 0
1800.04/1800.05 c intshifting : 0.00 6 0
1800.04/1800.05 c veclendiving : 0.04 49 0
1800.04/1800.05 c guideddiving : 0.08 50 0
1800.04/1800.05 c coefdiving : 0.05 50 0
1800.04/1800.05 c pscostdiving : 0.02 50 0
1800.04/1800.05 c fracdiving : 0.03 50 0
1800.04/1800.05 c linesearchdiving : 0.12 50 0
1800.04/1800.05 c objpscostdiving : 0.06 47 0
1800.04/1800.05 c rootsoldiving : 0.05 47 0
1800.04/1800.05 c crossover : 0.81 34 1
1800.04/1800.05 c trivial : 0.01 2 0
1800.04/1800.05 c simplerounding : 0.48 494643 0
1800.04/1800.05 c zirounding : 0.15 1000 0
1800.04/1800.05 c rounding : 2.21 9912 0
1800.04/1800.05 c shifting : 1.23 3096 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.02 1 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.00 0 0
1800.04/1800.05 c trysol : 2.50 7602 116
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.05 c dual LP : 509.69 531474 3235100 6.09 6347.19
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 0.10 80 1540 19.25 15400.00
1800.04/1800.05 c strong branching : 19.19 9068 117076 12.91 6100.89
1800.04/1800.05 c (at root node) : - 33 3451 104.58 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 915337
1800.04/1800.05 c nodes (total) : 915337
1800.04/1800.05 c nodes left : 1510
1800.04/1800.05 c max depth : 1668
1800.04/1800.05 c max depth (total): 1668
1800.04/1800.05 c backtracks : 89990 (9.8%)
1800.04/1800.05 c delayed cutoffs : 80422
1800.04/1800.05 c repropagations : 2217778 (6399204 domain reductions, 77904 cutoffs)
1800.04/1800.05 c avg switch length: 6.38
1800.04/1800.05 c switching time : 280.13
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 161 (45 improvements)
1800.04/1800.05 c First Solution : +8.80640000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.05 c Primal Bound : +5.00000000000000e+00 (in run 1, after 353121 nodes, 614.24 seconds, depth 52, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 153
1800.14/1800.13 c Time complete: 1800.16.