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-2692901-1277909596.wbo>
0.00/0.02 c original problem has 2029 variables (1130 bin, 0 int, 0 impl, 899 cont) and 3607 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.00/0.07 c (round 2) 0 del vars, 110 del conss, 899 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.00/0.08 c (round 3) 51 del vars, 242 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 0 upgd conss, 1117 impls, 11 clqs
0.09/0.10 c (round 4) 118 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.11 c (round 5) 134 del vars, 258 del conss, 915 chg bounds, 132 chg sides, 0 chg coeffs, 1685 upgd conss, 1117 impls, 11 clqs
0.09/0.15 c (0.1s) probing: 101/1063 (9.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 134 deleted vars, 258 deleted constraints, 915 tightened bounds, 0 added holes, 132 changed sides, 0 changed coefficients
0.09/0.15 c 1117 implications, 11 cliques
0.09/0.15 c presolved problem has 1895 variables (1063 bin, 0 int, 0 impl, 832 cont) and 3349 constraints
0.09/0.15 c 832 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 11 constraints of type <setppc>
0.09/0.15 c 832 constraints of type <linear>
0.09/0.15 c 1673 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 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.16 c 0.1s| 1 | 0 | 51 | - |8646k| 0 | 34 |1895 |3349 |1895 |1685 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 42674
0.09/0.18 c y 0.1s| 1 | 0 | 196 | - |8678k| 0 | 34 |1895 |3349 |1895 |1685 | 0 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 244 | - |8989k| 0 | 51 |1895 |3349 |1895 |1704 | 19 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 317 | - |9022k| 0 | 52 |1895 |3349 |1895 |1715 | 30 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf
0.49/0.50 c 0.4s| 1 | 0 | 363 | - |9049k| 0 | 56 |1895 |3349 |1895 |1723 | 38 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf
0.59/0.64 c 0.6s| 1 | 0 | 379 | - |9053k| 0 | 59 |1895 |3349 |1895 |1725 | 40 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf
0.69/0.78 c 0.7s| 1 | 0 | 413 | - |9057k| 0 | 54 |1895 |3349 |1895 |1728 | 43 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf
0.89/0.91 c 0.8s| 1 | 0 | 460 | - |9086k| 0 | 62 |1895 |3349 |1895 |1742 | 57 | 0 | 0 | 0.000000e+00 | 4.267400e+04 | Inf
1.29/1.33 c 1.2s| 1 | 2 | 460 | - |9090k| 0 | 62 |1895 |3349 |1895 |1742 | 57 | 0 | 33 | 0.000000e+00 | 4.267400e+04 | Inf
6.49/6.56 o 573
6.49/6.56 c * 6.2s| 149 | 133 | 2412 | 13.2 | 10M| 24 | - |1895 |3360 |1895 |1729 | 130 | 11 | 782 | 0.000000e+00 | 5.730000e+02 | Inf
6.60/6.61 o 572
6.60/6.61 c * 6.3s| 151 | 133 | 2446 | 13.2 | 10M| 24 | - |1895 |3360 |1895 |1729 | 130 | 11 | 790 | 0.000000e+00 | 5.720000e+02 | Inf
6.60/6.62 o 507
6.60/6.62 c * 6.3s| 153 | 120 | 2479 | 13.3 | 10M| 24 | - |1895 |3360 |1895 |1729 | 130 | 11 | 790 | 0.000000e+00 | 5.070000e+02 | Inf
6.60/6.64 o 441
6.60/6.64 c * 6.3s| 159 | 112 | 2534 | 13.1 | 10M| 24 | - |1895 |3366 |1895 |1729 | 130 | 17 | 790 | 0.000000e+00 | 4.410000e+02 | Inf
6.79/6.84 o 358
6.79/6.84 c * 6.5s| 178 | 105 | 2714 | 12.7 | 10M| 24 | - |1895 |3377 |1895 |1732 | 133 | 28 | 830 | 0.000000e+00 | 3.580000e+02 | Inf
6.89/6.98 o 356
6.89/6.98 c * 6.6s| 185 | 106 | 2844 | 13.0 | 10M| 24 | - |1895 |3388 |1895 |1735 | 139 | 39 | 857 | 0.000000e+00 | 3.560000e+02 | Inf
8.59/8.64 o 348
8.59/8.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.59/8.64 c * 8.2s| 267 | 127 | 3783 | 12.5 | 11M| 25 | - |1895 |3482 |1895 |1729 | 144 | 133 |1200 | 0.000000e+00 | 3.480000e+02 | Inf
9.09/9.12 o 325
9.09/9.12 c * 8.7s| 393 | 134 | 4410 | 10.1 | 11M| 25 | - |1895 |3719 |1895 |1733 | 174 | 370 |1291 | 0.000000e+00 | 3.250000e+02 | Inf
9.09/9.17 o 306
9.09/9.17 c * 8.7s| 403 | 128 | 4473 | 10.0 | 11M| 25 | - |1895 |3727 |1895 |1730 | 175 | 378 |1300 | 0.000000e+00 | 3.060000e+02 | Inf
9.30/9.33 o 294
9.30/9.33 c * 8.9s| 417 | 128 | 4666 | 10.1 | 11M| 25 | - |1895 |3741 |1895 |1735 | 181 | 392 |1331 | 0.000000e+00 | 2.940000e+02 | Inf
9.59/9.69 o 224
9.59/9.69 c * 9.2s| 462 | 110 | 5121 | 10.1 | 11M| 25 | - |1895 |3789 |1895 |1734 | 192 | 441 |1398 | 0.000000e+00 | 2.240000e+02 | Inf
9.69/9.79 o 215
9.69/9.79 c * 9.3s| 473 | 113 | 5232 | 10.1 | 11M| 25 | - |1895 |3789 |1895 |1735 | 198 | 443 |1417 | 0.000000e+00 | 2.150000e+02 | Inf
10.79/10.89 o 186
10.79/10.89 c *10.4s| 719 | 135 | 6740 | 8.7 | 12M| 31 | - |1895 |4034 |1895 |1731 | 240 | 773 |1595 | 0.000000e+00 | 1.860000e+02 | Inf
11.90/11.91 o 178
11.90/11.91 c *11.3s| 984 | 184 | 8524 | 8.2 | 13M| 39 | - |1895 |4235 |1895 |1733 | 259 |1054 |1727 | 0.000000e+00 | 1.780000e+02 | Inf
12.29/12.37 o 173
12.29/12.37 c *11.8s| 1213 | 196 | 9366 | 7.3 | 13M| 52 | - |1895 |4482 |1895 |1729 | 303 |1364 |1759 | 0.000000e+00 | 1.730000e+02 | Inf
15.79/15.86 o 170
15.79/15.86 c *15.1s| 2836 | 412 | 19781 | 6.8 | 14M| 58 | - |1895 |4955 |1895 |1740 | 645 |3091 |1911 | 0.000000e+00 | 1.700000e+02 | Inf
17.69/17.73 o 156
17.69/17.73 c *16.8s| 3904 | 538 | 25768 | 6.5 | 15M| 58 | - |1895 |5073 |1895 |1729 | 828 |4171 |1934 | 0.000000e+00 | 1.560000e+02 | Inf
17.69/17.76 o 154
17.69/17.76 c *16.9s| 3921 | 537 | 25843 | 6.5 | 15M| 58 | - |1895 |5078 |1895 |1729 | 828 |4186 |1934 | 0.000000e+00 | 1.540000e+02 | Inf
22.80/22.84 o 144
22.80/22.84 c *21.6s| 6552 | 1042 | 42640 | 6.4 | 18M| 58 | - |1895 |5444 |1895 |1739 |1144 |6950 |1991 | 0.000000e+00 | 1.440000e+02 | Inf
23.00/23.00 o 122
23.00/23.00 c f21.8s| 6656 | 1051 | 42985 | 6.4 | 18M| 58 | - |1895 |5497 |1895 |1730 |1145 |7042 |1991 | 0.000000e+00 | 1.220000e+02 | Inf
23.00/23.00 o 116
23.00/23.00 c v21.8s| 6656 | 1049 | 42986 | 6.4 | 18M| 58 | - |1895 |5502 |1895 |1730 |1145 |7047 |1991 | 0.000000e+00 | 1.160000e+02 | Inf
29.09/29.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.09/29.18 c 27.6s| 10000 | 1420 | 61776 | 6.1 | 21M| 58 | 19 |1895 |5449 |1895 |1729 |1614 | 10k|1995 | 0.000000e+00 | 1.160000e+02 | Inf
30.69/30.75 o 109
30.69/30.75 c *29.1s| 10701 | 1482 | 66709 | 6.2 | 22M| 58 | - |1895 |5283 |1895 |1738 |1691 | 11k|1995 | 0.000000e+00 | 1.090000e+02 | Inf
37.09/37.10 o 98
37.09/37.10 c *35.1s| 14027 | 1757 | 87157 | 6.2 | 25M| 58 | - |1895 |6185 |1895 |1729 |2012 | 14k|1995 | 0.000000e+00 | 9.800000e+01 | Inf
37.09/37.15 o 97
37.09/37.15 c *35.1s| 14055 | 1757 | 87292 | 6.2 | 25M| 58 | - |1895 |6145 |1895 |1729 |2012 | 14k|1995 | 0.000000e+00 | 9.700000e+01 | Inf
38.40/38.44 o 89
38.40/38.44 c *36.3s| 14663 | 1773 | 91224 | 6.2 | 25M| 58 | - |1895 |5639 |1895 |1729 |2075 | 15k|1995 | 0.000000e+00 | 8.900000e+01 | Inf
38.40/38.47 o 75
38.40/38.47 c *36.4s| 14670 | 1711 | 91268 | 6.2 | 24M| 58 | - |1895 |5521 |1895 |1733 |2079 | 15k|1995 | 0.000000e+00 | 7.500000e+01 | Inf
40.30/40.36 o 69
40.30/40.36 c *38.1s| 15474 | 1710 | 98149 | 6.3 | 24M| 58 | - |1895 |4860 |1895 |1734 |2171 | 16k|1995 | 0.000000e+00 | 6.900000e+01 | Inf
43.09/43.18 o 68
43.09/43.18 c v40.8s| 16823 | 1777 |108188 | 6.4 | 25M| 58 | - |1895 |4937 |1895 |1733 |2218 | 18k|1995 | 0.000000e+00 | 6.800000e+01 | Inf
43.09/43.19 o 65
43.09/43.19 c l40.8s| 16823 | 1762 |108195 | 6.4 | 25M| 58 | - |1895 |4949 |1895 |1733 |2218 | 18k|1995 | 0.000000e+00 | 6.500000e+01 | Inf
44.59/44.63 o 62
44.59/44.63 c *42.2s| 17523 | 1762 |113082 | 6.4 | 25M| 58 | - |1895 |4874 |1895 |1731 |2287 | 19k|1995 | 0.000000e+00 | 6.200000e+01 | Inf
50.00/50.06 c 47.3s| 20000 | 1827 |132430 | 6.6 | 27M| 58 | 25 |1895 |5335 |1895 |1729 |2521 | 22k|1995 | 0.000000e+00 | 6.200000e+01 | Inf
56.39/56.43 o 61
56.39/56.43 c *53.3s| 23121 | 1830 |154099 | 6.6 | 28M| 58 | - |1895 |6446 |1895 |1737 |2756 | 26k|1995 | 0.000000e+00 | 6.100000e+01 | Inf
66.69/66.71 o 57
66.69/66.71 c *63.0s| 28296 | 2107 |187667 | 6.6 | 31M| 58 | - |1895 |6760 |1895 |1729 |3328 | 32k|1995 | 0.000000e+00 | 5.700000e+01 | Inf
70.09/70.16 c 66.2s| 30000 | 2274 |199506 | 6.6 | 33M| 58 | 12 |1895 |7561 |1895 |1729 |3537 | 34k|1995 | 0.000000e+00 | 5.700000e+01 | Inf
79.79/79.88 o 49
79.79/79.88 c *75.4s| 34841 | 2433 |229812 | 6.6 | 35M| 58 | - |1895 |7965 |1895 |1733 |4147 | 41k|1995 | 0.000000e+00 | 4.900000e+01 | Inf
89.79/89.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.79/89.88 c 84.9s| 40000 | 2582 |261501 | 6.5 | 37M| 58 | - |1895 |6461 | 0 | 0 |4804 | 48k|1995 | 0.000000e+00 | 4.900000e+01 | Inf
99.59/99.61 o 35
99.59/99.61 c *94.1s| 44988 | 2569 |292853 | 6.5 | 38M| 58 | - |1895 |8746 |1895 |1729 |5356 | 55k|2061 | 0.000000e+00 | 3.500000e+01 | Inf
109.40/109.48 c 103s| 50000 | 2563 |325342 | 6.5 | 38M| 58 | - |1895 |7142 | 0 | 0 |5776 | 62k|2154 | 0.000000e+00 | 3.500000e+01 | Inf
128.99/129.03 c 122s| 60000 | 2648 |391160 | 6.5 | 41M| 72 | - |1895 |7781 |1895 |1729 |7009 | 77k|2340 | 0.000000e+00 | 3.500000e+01 | Inf
148.29/148.32 c 140s| 70000 | 2729 |451212 | 6.4 | 43M| 72 | 12 |1895 | 10k|1895 |1729 |8107 | 90k|2514 | 0.000000e+00 | 3.500000e+01 | Inf
169.70/169.77 c 160s| 80000 | 2943 |527305 | 6.6 | 46M| 72 | 13 |1895 |9030 |1895 |1729 |8709 | 104k|2711 | 0.000000e+00 | 3.500000e+01 | Inf
189.90/189.95 c 179s| 90000 | 3010 |595174 | 6.6 | 48M| 72 | - |1895 |9798 | 0 | 0 |9575 | 117k|2890 | 0.000000e+00 | 3.500000e+01 | Inf
195.80/195.85 o 33
195.80/195.85 c * 185s| 92680 | 2915 |616282 | 6.6 | 47M| 72 | - |1895 |9715 |1895 |1729 |9892 | 121k|2974 | 0.000000e+00 | 3.300000e+01 | Inf
211.21/211.22 c 200s|100000 | 2961 |672614 | 6.7 | 49M| 72 | 21 |1895 | 10k|1895 |1729 | 10k| 132k|3082 | 0.000000e+00 | 3.300000e+01 | Inf
231.51/231.56 c 219s|110000 | 3045 |739462 | 6.7 | 51M| 72 | 19 |1895 | 12k|1895 |1729 | 10k| 147k|3294 | 0.000000e+00 | 3.300000e+01 | Inf
252.50/252.54 c 239s|120000 | 3121 |812329 | 6.8 | 53M| 72 | 1 |1895 | 13k|1895 |1729 | 12k| 160k|3435 | 0.000000e+00 | 3.300000e+01 | Inf
272.71/272.75 c 258s|130000 | 3160 |878516 | 6.8 | 54M| 72 | 25 |1895 | 13k|1895 |1729 | 13k| 174k|3612 | 0.000000e+00 | 3.300000e+01 | Inf
293.90/293.90 c 278s|140000 | 3160 |950829 | 6.8 | 55M| 72 | - |1895 | 11k|1895 |1735 | 14k| 188k|3744 | 0.000000e+00 | 3.300000e+01 | Inf
315.30/315.32 c 298s|150000 | 3165 | 1023k| 6.8 | 57M| 72 | 12 |1895 | 13k|1895 |1729 | 14k| 201k|3925 | 0.000000e+00 | 3.300000e+01 | Inf
323.61/323.60 o 21
323.61/323.60 c * 306s|153469 | 2847 | 1053k| 6.9 | 51M| 72 | - |1895 | 13k|1895 |1735 | 15k| 206k|3948 | 0.000000e+00 | 2.100000e+01 | Inf
337.11/337.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.11/337.13 c 319s|160000 | 2886 | 1099k| 6.9 | 52M| 72 | 7 |1895 | 14k|1895 |1729 | 16k| 215k|4049 | 0.000000e+00 | 2.100000e+01 | Inf
357.80/357.81 c 338s|170000 | 2962 | 1171k| 6.9 | 54M| 72 | 9 |1895 | 14k|1895 |1729 | 16k| 229k|4195 | 0.000000e+00 | 2.100000e+01 | Inf
379.41/379.43 c 359s|180000 | 3008 | 1246k| 6.9 | 54M| 72 | 16 |1895 | 12k|1895 |1729 | 17k| 243k|4384 | 0.000000e+00 | 2.100000e+01 | Inf
400.11/400.11 c 379s|190000 | 3064 | 1318k| 6.9 | 56M| 72 | 21 |1895 | 15k|1895 |1729 | 18k| 256k|4529 | 0.000000e+00 | 2.100000e+01 | Inf
420.71/420.78 c 398s|200000 | 3124 | 1387k| 6.9 | 57M| 72 | - |1895 | 14k| 0 | 0 | 19k| 269k|4650 | 0.000000e+00 | 2.100000e+01 | Inf
442.02/442.06 c 418s|210000 | 3260 | 1462k| 7.0 | 59M| 72 | - |1895 | 13k| 0 | 0 | 19k| 282k|4771 | 0.000000e+00 | 2.100000e+01 | Inf
462.82/462.88 c 438s|220000 | 3336 | 1536k| 7.0 | 59M| 72 | 14 |1895 | 11k|1895 |1729 | 20k| 296k|4900 | 0.000000e+00 | 2.100000e+01 | Inf
484.12/484.18 c 458s|230000 | 3591 | 1615k| 7.0 | 62M| 72 | 18 |1895 | 12k|1895 |1729 | 20k| 308k|5017 | 0.000000e+00 | 2.100000e+01 | Inf
505.01/505.08 c 478s|240000 | 3774 | 1691k| 7.0 | 64M| 72 | - |1895 | 11k| 0 | 0 | 21k| 322k|5148 | 0.000000e+00 | 2.100000e+01 | Inf
525.51/525.58 c 497s|250000 | 3837 | 1767k| 7.1 | 66M| 72 | 17 |1895 | 11k|1895 |1729 | 22k| 335k|5281 | 0.000000e+00 | 2.100000e+01 | Inf
545.21/545.24 c 516s|260000 | 3964 | 1833k| 7.1 | 67M| 72 | 9 |1895 | 11k|1895 |1729 | 22k| 349k|5377 | 0.000000e+00 | 2.100000e+01 | Inf
563.72/563.74 c 533s|270000 | 4053 | 1895k| 7.0 | 69M| 72 | - |1895 | 12k| 0 | 0 | 23k| 362k|5462 | 0.000000e+00 | 2.100000e+01 | Inf
583.42/583.42 c 552s|280000 | 4112 | 1965k| 7.0 | 70M| 72 | 18 |1895 | 13k|1895 |1729 | 24k| 375k|5579 | 0.000000e+00 | 2.100000e+01 | Inf
604.72/604.74 c 572s|290000 | 4269 | 2039k| 7.0 | 73M| 72 | 23 |1895 | 14k|1895 |1729 | 24k| 389k|5679 | 0.000000e+00 | 2.100000e+01 | Inf
627.22/627.28 c 594s|300000 | 4393 | 2123k| 7.1 | 76M| 72 | 21 |1895 | 16k|1895 |1729 | 25k| 403k|5790 | 0.000000e+00 | 2.100000e+01 | Inf
648.42/648.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.42/648.45 c 614s|310000 | 4442 | 2195k| 7.1 | 76M| 72 | - |1895 | 15k| 0 | 0 | 25k| 416k|5889 | 0.000000e+00 | 2.100000e+01 | Inf
670.42/670.49 c 635s|320000 | 4553 | 2271k| 7.1 | 78M| 72 | - |1895 | 17k| 0 | 0 | 26k| 429k|6009 | 0.000000e+00 | 2.100000e+01 | Inf
691.93/691.97 c 655s|330000 | 4689 | 2340k| 7.1 | 80M| 72 | 19 |1895 | 18k|1895 |1729 | 27k| 442k|6116 | 0.000000e+00 | 2.100000e+01 | Inf
712.93/712.90 c 675s|340000 | 4880 | 2404k| 7.1 | 83M| 72 | - |1895 | 19k| 0 | 0 | 28k| 456k|6209 | 0.000000e+00 | 2.100000e+01 | Inf
733.93/733.91 c 695s|350000 | 4998 | 2467k| 7.0 | 85M| 72 | 17 |1895 | 21k|1895 |1729 | 28k| 470k|6299 | 0.000000e+00 | 2.100000e+01 | Inf
755.53/755.57 c 716s|360000 | 5039 | 2531k| 7.0 | 86M| 72 | 23 |1895 | 19k|1895 |1729 | 29k| 483k|6360 | 0.000000e+00 | 2.100000e+01 | Inf
776.43/776.44 c 735s|370000 | 5094 | 2595k| 7.0 | 88M| 72 | - |1895 | 22k| 0 | 0 | 30k| 496k|6418 | 0.000000e+00 | 2.100000e+01 | Inf
799.13/799.18 c 757s|380000 | 5196 | 2666k| 7.0 | 89M| 77 | 9 |1895 | 21k|1895 |1729 | 30k| 509k|6512 | 0.000000e+00 | 2.100000e+01 | Inf
820.64/820.68 c 778s|390000 | 5271 | 2730k| 7.0 | 92M| 77 | 1 |1895 | 24k|1895 |1729 | 31k| 523k|6596 | 0.000000e+00 | 2.100000e+01 | Inf
841.63/841.65 c 797s|400000 | 5375 | 2791k| 7.0 | 93M| 77 | 29 |1895 | 22k|1895 |1729 | 32k| 537k|6682 | 0.000000e+00 | 2.100000e+01 | Inf
865.43/865.47 c 820s|410000 | 5621 | 2870k| 7.0 | 95M| 77 | - |1895 | 22k| 0 | 0 | 32k| 551k|6801 | 0.000000e+00 | 2.100000e+01 | Inf
886.54/886.55 c 840s|420000 | 5777 | 2935k| 7.0 | 98M| 77 | 19 |1895 | 24k|1895 |1729 | 32k| 565k|6847 | 0.000000e+00 | 2.100000e+01 | Inf
907.54/907.53 c 860s|430000 | 5834 | 2999k| 7.0 | 100M| 77 | 20 |1895 | 25k|1895 |1729 | 33k| 579k|6906 | 0.000000e+00 | 2.100000e+01 | Inf
929.04/929.08 c 881s|440000 | 5884 | 3059k| 7.0 | 100M| 80 | - |1895 | 21k|1895 |1734 | 33k| 594k|7003 | 0.000000e+00 | 2.100000e+01 | Inf
950.74/950.71 c 901s|450000 | 5978 | 3125k| 6.9 | 101M| 80 | - |1895 | 21k| 0 | 0 | 34k| 607k|7105 | 0.000000e+00 | 2.100000e+01 | Inf
972.35/972.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.35/972.34 c 922s|460000 | 6010 | 3189k| 6.9 | 102M| 80 | - |1895 | 22k| 0 | 0 | 34k| 621k|7149 | 0.000000e+00 | 2.100000e+01 | Inf
993.74/993.78 c 942s|470000 | 6051 | 3250k| 6.9 | 103M| 80 | - |1895 | 23k| 0 | 0 | 34k| 634k|7203 | 0.000000e+00 | 2.100000e+01 | Inf
1015.64/1015.66 c 963s|480000 | 6170 | 3312k| 6.9 | 105M| 80 | 22 |1895 | 24k|1895 |1729 | 35k| 648k|7289 | 0.000000e+00 | 2.100000e+01 | Inf
1039.14/1039.17 c 986s|490000 | 6351 | 3384k| 6.9 | 109M| 80 | - |1895 | 27k| 0 | 0 | 35k| 662k|7373 | 0.000000e+00 | 2.100000e+01 | Inf
1064.44/1064.40 c 1010s|500000 | 6483 | 3460k| 6.9 | 110M| 80 | - |1895 | 23k| 0 | 0 | 36k| 675k|7463 | 0.000000e+00 | 2.100000e+01 | Inf
1088.34/1088.35 c 1032s|510000 | 6649 | 3533k| 6.9 | 112M| 80 | - |1895 | 24k| 0 | 0 | 37k| 688k|7559 | 0.000000e+00 | 2.100000e+01 | Inf
1112.15/1112.19 c 1055s|520000 | 6742 | 3602k| 6.9 | 114M| 80 | - |1895 | 27k| 0 | 0 | 37k| 702k|7653 | 0.000000e+00 | 2.100000e+01 | Inf
1135.64/1135.68 c 1078s|530000 | 6813 | 3673k| 6.9 | 115M| 80 | - |1895 | 23k| 0 | 0 | 38k| 716k|7695 | 0.000000e+00 | 2.100000e+01 | Inf
1158.94/1158.93 c 1100s|540000 | 6960 | 3746k| 6.9 | 114M| 80 | 10 |1895 | 19k|1895 |1729 | 39k| 729k|7801 | 0.000000e+00 | 2.100000e+01 | Inf
1180.55/1180.58 c 1120s|550000 | 7145 | 3815k| 6.9 | 116M| 80 | 25 |1895 | 18k|1895 |1729 | 40k| 742k|7890 | 0.000000e+00 | 2.100000e+01 | Inf
1201.15/1201.12 c 1140s|560000 | 7307 | 3880k| 6.9 | 118M| 80 | - |1895 | 16k| 0 | 0 | 40k| 756k|7913 | 0.000000e+00 | 2.100000e+01 | Inf
1223.05/1223.10 c 1161s|570000 | 7457 | 3954k| 6.9 | 119M| 80 | - |1895 | 15k| 0 | 0 | 41k| 770k|8016 | 0.000000e+00 | 2.100000e+01 | Inf
1243.55/1243.52 c 1180s|580000 | 7508 | 4019k| 6.9 | 121M| 80 | - |1895 | 17k| 0 | 0 | 42k| 784k|8098 | 0.000000e+00 | 2.100000e+01 | Inf
1264.55/1264.59 c 1200s|590000 | 7592 | 4090k| 6.9 | 122M| 80 | 12 |1895 | 14k|1895 |1729 | 43k| 797k|8133 | 0.000000e+00 | 2.100000e+01 | Inf
1285.75/1285.70 c 1220s|600000 | 7671 | 4162k| 6.9 | 123M| 80 | - |1895 | 15k|1895 |1729 | 43k| 811k|8201 | 0.000000e+00 | 2.100000e+01 | Inf
1305.55/1305.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.55/1305.54 c 1239s|610000 | 7824 | 4226k| 6.9 | 125M| 80 | 11 |1895 | 14k|1895 |1729 | 44k| 825k|8289 | 0.000000e+00 | 2.100000e+01 | Inf
1327.66/1327.63 c 1260s|620000 | 7975 | 4310k| 7.0 | 126M| 80 | - |1895 | 13k| 0 | 0 | 45k| 838k|8365 | 0.000000e+00 | 2.100000e+01 | Inf
1349.15/1349.10 c 1280s|630000 | 8030 | 4387k| 7.0 | 126M| 80 | 15 |1895 | 12k|1895 |1729 | 45k| 851k|8413 | 0.000000e+00 | 2.100000e+01 | Inf
1368.96/1368.98 c 1299s|640000 | 8102 | 4452k| 7.0 | 128M| 80 | 25 |1895 | 15k|1895 |1729 | 46k| 865k|8513 | 0.000000e+00 | 2.100000e+01 | Inf
1389.36/1389.40 c 1318s|650000 | 8209 | 4518k| 7.0 | 129M| 80 | 1 |1895 | 15k|1895 |1729 | 47k| 879k|8572 | 0.000000e+00 | 2.100000e+01 | Inf
1411.16/1411.15 c 1339s|660000 | 8236 | 4593k| 7.0 | 130M| 80 | 16 |1895 | 15k|1895 |1729 | 48k| 892k|8627 | 0.000000e+00 | 2.100000e+01 | Inf
1431.96/1431.94 c 1359s|670000 | 8326 | 4658k| 7.0 | 132M| 80 | 25 |1895 | 17k|1895 |1729 | 48k| 906k|8725 | 0.000000e+00 | 2.100000e+01 | Inf
1453.07/1453.01 c 1379s|680000 | 8421 | 4728k| 7.0 | 134M| 80 | 24 |1895 | 16k|1895 |1729 | 49k| 920k|8758 | 0.000000e+00 | 2.100000e+01 | Inf
1475.56/1475.52 c 1400s|690000 | 8488 | 4805k| 7.0 | 136M| 80 | 18 |1895 | 18k|1895 |1729 | 50k| 933k|8838 | 0.000000e+00 | 2.100000e+01 | Inf
1496.96/1496.93 c 1421s|700000 | 8580 | 4874k| 7.0 | 138M| 80 | - |1895 | 22k| 0 | 0 | 51k| 947k|8925 | 0.000000e+00 | 2.100000e+01 | Inf
1518.66/1518.65 c 1441s|710000 | 8604 | 4941k| 7.0 | 139M| 81 | 6 |1895 | 23k|1895 |1729 | 52k| 961k|8962 | 0.000000e+00 | 2.100000e+01 | Inf
1540.57/1540.52 c 1462s|720000 | 8708 | 5003k| 6.9 | 141M| 81 | 20 |1895 | 23k|1895 |1729 | 52k| 975k|9048 | 0.000000e+00 | 2.100000e+01 | Inf
1561.57/1561.53 c 1482s|730000 | 8846 | 5061k| 6.9 | 143M| 81 | - |1895 | 23k| 0 | 0 | 53k| 990k|9071 | 0.000000e+00 | 2.100000e+01 | Inf
1582.26/1582.28 c 1502s|740000 | 8955 | 5116k| 6.9 | 145M| 81 | 11 |1895 | 24k|1895 |1729 | 53k|1004k|9139 | 0.000000e+00 | 2.100000e+01 | Inf
1604.57/1604.58 c 1523s|750000 | 9016 | 5182k| 6.9 | 147M| 81 | - |1895 | 26k| 0 | 0 | 54k|1019k|9187 | 0.000000e+00 | 2.100000e+01 | Inf
1627.37/1627.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.37/1627.30 c 1545s|760000 | 9092 | 5251k| 6.9 | 147M| 81 | 11 |1895 | 24k|1895 |1729 | 55k|1032k|9243 | 0.000000e+00 | 2.100000e+01 | Inf
1649.87/1649.89 c 1566s|770000 | 9190 | 5317k| 6.9 | 149M| 81 | 10 |1895 | 27k|1895 |1729 | 56k|1045k|9335 | 0.000000e+00 | 2.100000e+01 | Inf
1672.87/1672.80 c 1588s|780000 | 9285 | 5385k| 6.9 | 151M| 81 | 20 |1895 | 28k|1895 |1729 | 56k|1059k|9350 | 0.000000e+00 | 2.100000e+01 | Inf
1695.77/1695.75 c 1610s|790000 | 9375 | 5451k| 6.9 | 152M| 81 | - |1895 | 29k| 0 | 0 | 57k|1073k|9434 | 0.000000e+00 | 2.100000e+01 | Inf
1719.37/1719.33 c 1633s|800000 | 9422 | 5520k| 6.9 | 154M| 81 | - |1895 | 30k|1895 |1729 | 58k|1086k|9486 | 0.000000e+00 | 2.100000e+01 | Inf
1742.58/1742.55 c 1655s|810000 | 9486 | 5585k| 6.9 | 154M| 81 | 8 |1895 | 30k|1895 |1729 | 59k|1100k|9527 | 0.000000e+00 | 2.100000e+01 | Inf
1765.88/1765.80 c 1677s|820000 | 9554 | 5650k| 6.9 | 155M| 81 | - |1895 | 29k| 0 | 0 | 60k|1114k|9613 | 0.000000e+00 | 2.100000e+01 | Inf
1788.17/1788.17 c 1698s|830000 | 9588 | 5710k| 6.9 | 157M| 81 | 9 |1895 | 30k|1895 |1729 | 61k|1128k|9614 | 0.000000e+00 | 2.100000e+01 | Inf
1800.08/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.00 c
1800.08/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.00 c Solving Time (sec) : 1709.62
1800.08/1800.00 c Solving Nodes : 834838
1800.08/1800.00 c Primal Bound : +2.10000000000000e+01 (213 solutions)
1800.08/1800.00 c Dual Bound : +0.00000000000000e+00
1800.08/1800.00 c Gap : infinite
1800.08/1800.01 s SATISFIABLE
1800.08/1800.01 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.08/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.08/1800.01 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.08/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147
1800.08/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.08/1800.01 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105
1800.08/1800.01 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.08/1800.01 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.08/1800.01 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.08/1800.01 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.08/1800.01 v -x2 x1
1800.08/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.01 c Solving Time : 1709.62
1800.08/1800.01 c Original Problem :
1800.08/1800.01 c Problem name : HOME/instance-2692901-1277909596.wbo
1800.08/1800.01 c Variables : 2029 (1130 binary, 0 integer, 0 implicit integer, 899 continuous)
1800.08/1800.01 c Constraints : 3607 initial, 3607 maximal
1800.08/1800.01 c Presolved Problem :
1800.08/1800.01 c Problem name : t_HOME/instance-2692901-1277909596.wbo
1800.08/1800.01 c Variables : 1895 (1063 binary, 0 integer, 0 implicit integer, 832 continuous)
1800.08/1800.01 c Constraints : 3349 initial, 31831 maximal
1800.08/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.01 c trivial : 0.00 67 0 0 0 0 0 0 0
1800.08/1800.01 c dualfix : 0.00 67 0 0 0 0 0 0 0
1800.08/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.01 c indicator : 0.00 0 0 0 0 0 67 0 0
1800.08/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c linear : 0.04 0 0 0 915 0 191 132 0
1800.08/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.08/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.01 c root node : - 669 - - 1338 - - - -
1800.08/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.01 c integral : 0 0 0 465537 0 103 1496 0 0 907060
1800.08/1800.01 c indicator : 832 0 4139169 10651 0 1599 6887413 0 0 0
1800.08/1800.01 c knapsack : 1 6 4173564 10709 0 60696 11216587 5 0 0
1800.08/1800.01 c setppc : 11 6 4123395 10734 0 43656 1985451 0 0 0
1800.08/1800.01 c linear : 832 6 4082027 10822 0 80811 4563495 61499 0 0
1800.08/1800.01 c logicor : 1673+ 6 2012689 777 0 168575 7415767 0 0 0
1800.08/1800.01 c bounddisjunction : 0+ 0 6457 0 0 0 4 0 0 0
1800.08/1800.01 c countsols : 0 0 0 777 0 0 0 0 0 0
1800.08/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.01 c integral : 38.17 0.00 0.00 38.17 0.00
1800.08/1800.01 c indicator : 15.20 0.00 15.03 0.17 0.00
1800.08/1800.01 c knapsack : 43.62 0.00 43.62 0.00 0.00
1800.08/1800.01 c setppc : 9.34 0.00 9.34 0.00 0.00
1800.08/1800.01 c linear : 49.01 0.00 48.70 0.31 0.00
1800.08/1800.01 c logicor : 211.12 0.00 211.11 0.01 0.00
1800.08/1800.01 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.01 c vbounds : 0.00 2 0 0
1800.08/1800.01 c rootredcost : 0.00 37 0 658
1800.08/1800.01 c pseudoobj : 82.29 4203365 15334 6195365
1800.08/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.01 c propagation : 15.42 369072 368809 2489968 28.0 15904 20.1 -
1800.08/1800.01 c infeasible LP : 13.51 71803 71801 631173 38.7 848 15.3 0
1800.08/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.01 c pseudo solution : 0.00 73 73 369 16.4 11 13.5 -
1800.08/1800.01 c applied globally : - - - 1135172 23.4 - - -
1800.08/1800.01 c applied locally : - - - 0 0.0 - - -
1800.08/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.01 c cut pool : 0.00 5 - - 3 - (maximal pool size: 172)
1800.08/1800.01 c redcost : 13.91 472612 0 559292 0 0
1800.08/1800.01 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.01 c intobj : 0.00 0 0 0 0 0
1800.08/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.01 c gomory : 0.32 6 0 0 891 0
1800.08/1800.01 c strongcg : 0.24 6 0 0 654 0
1800.08/1800.01 c cmir : 0.03 6 0 0 1 0
1800.08/1800.01 c flowcover : 0.05 6 0 0 2 0
1800.08/1800.01 c clique : 0.01 6 0 0 0 0
1800.08/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.01 c mcf : 0.00 1 0 0 0 0
1800.08/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.01 c Pricers : Time Calls Vars
1800.08/1800.01 c problem variables: 0.00 0 0
1800.08/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.01 c relpscost : 38.11 454679 103 1496 0 0 907060
1800.08/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.01 c inference : 0.03 745 0 0 0 0 1490
1800.08/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.01 c random : 0.00 0 0 0 0 0 0
1800.08/1800.01 c Primal Heuristics : Time Calls Found
1800.08/1800.01 c LP solutions : 0.01 - 32
1800.08/1800.01 c pseudo solutions : 0.00 - 0
1800.08/1800.01 c feaspump : 0.02 1 0
1800.08/1800.01 c oneopt : 0.17 35 0
1800.08/1800.02 c intshifting : 0.01 22 0
1800.08/1800.02 c crossover : 0.54 33 0
1800.08/1800.02 c coefdiving : 0.50 112 0
1800.08/1800.02 c pscostdiving : 0.30 112 0
1800.08/1800.02 c fracdiving : 0.49 112 1
1800.08/1800.02 c veclendiving : 0.33 112 2
1800.08/1800.02 c linesearchdiving : 0.26 112 1
1800.08/1800.02 c guideddiving : 0.30 112 0
1800.08/1800.02 c objpscostdiving : 0.37 57 0
1800.08/1800.02 c rootsoldiving : 3.40 57 0
1800.08/1800.02 c trivial : 0.00 2 0
1800.08/1800.02 c simplerounding : 0.30 457729 0
1800.08/1800.02 c zirounding : 0.08 1000 0
1800.08/1800.02 c rounding : 1.36 9544 0
1800.08/1800.02 c shifting : 1.06 2992 0
1800.08/1800.02 c twoopt : 0.00 0 0
1800.08/1800.02 c fixandinfer : 0.00 0 0
1800.08/1800.02 c intdiving : 0.00 0 0
1800.08/1800.02 c actconsdiving : 0.00 0 0
1800.08/1800.02 c octane : 0.00 0 0
1800.08/1800.02 c rens : 0.02 1 0
1800.08/1800.02 c rins : 0.00 0 0
1800.08/1800.02 c localbranching : 0.00 0 0
1800.08/1800.02 c mutation : 0.00 0 0
1800.08/1800.02 c dins : 0.00 0 0
1800.08/1800.02 c undercover : 0.00 0 0
1800.08/1800.02 c nlp : 0.00 0 0
1800.08/1800.02 c trysol : 0.69 3431 177
1800.08/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.02 c dual LP : 828.36 538271 5725364 10.64 6911.69
1800.08/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.02 c diving/probing LP: 3.47 2769 18199 6.57 5244.67
1800.08/1800.02 c strong branching : 33.95 9680 227695 23.52 6706.77
1800.08/1800.02 c (at root node) : - 33 2736 82.91 -
1800.08/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.02 c B&B Tree :
1800.08/1800.02 c number of runs : 1
1800.08/1800.02 c nodes : 834838
1800.08/1800.02 c nodes (total) : 834838
1800.08/1800.02 c nodes left : 9626
1800.08/1800.02 c max depth : 81
1800.08/1800.02 c max depth (total): 81
1800.08/1800.02 c backtracks : 97545 (11.7%)
1800.08/1800.02 c delayed cutoffs : 62888
1800.08/1800.02 c repropagations : 1605513 (6792420 domain reductions, 60411 cutoffs)
1800.08/1800.02 c avg switch length: 5.56
1800.08/1800.02 c switching time : 205.73
1800.08/1800.02 c Solution :
1800.08/1800.02 c Solutions found : 213 (37 improvements)
1800.08/1800.02 c First Solution : +4.26740000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.08/1800.02 c Primal Bound : +2.10000000000000e+01 (in run 1, after 153469 nodes, 306.11 seconds, depth 52, found by <relaxation>)
1800.08/1800.02 c Dual Bound : +0.00000000000000e+00
1800.08/1800.02 c Gap : infinite
1800.08/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.02 c Root Iterations : 460
1800.19/1800.17 c Time complete: 1800.25.