0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705525-1278572955.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 1863 impl, 0 cont) and 4571 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.04/0.08 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.04/0.09 c (round 3) 51 del vars, 149 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.04/0.10 c (round 4) 128 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.09/0.10 c (round 5) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 138 impls, 5 clqs
0.09/0.11 c (round 6) 132 del vars, 166 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 138 impls, 5 clqs
0.09/0.15 c (0.1s) probing: 101/2028 (5.0%) - 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 (7 rounds):
0.09/0.15 c 132 deleted vars, 166 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.15 c 3714 implications, 5 cliques
0.09/0.15 c presolved problem has 3825 variables (2028 bin, 0 int, 1797 impl, 0 cont) and 4405 constraints
0.09/0.15 c 55 constraints of type <setppc>
0.09/0.15 c 1797 constraints of type <linear>
0.09/0.15 c 1797 constraints of type <indicator>
0.09/0.15 c 756 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.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
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 = 1789.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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = 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 | 6 | - | 14M| 0 | 0 |3825 |4405 |3825 | 811 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 47 | - | 14M| 0 | 36 |3825 |4405 |3825 | 829 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 79 | - | 14M| 0 | 45 |3825 |4405 |3825 | 865 | 54 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 175 | - | 14M| 0 | 32 |3825 |4405 |3825 | 880 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 285 | - | 15M| 0 | 50 |3825 |4405 |3825 | 903 | 92 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.4s| 1 | 0 | 437 | - | 15M| 0 | 66 |3825 |4405 |3825 | 925 | 114 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.57 c 0.5s| 1 | 0 | 545 | - | 15M| 0 | 65 |3825 |4405 |3825 | 951 | 140 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.13 c 1.1s| 1 | 2 | 545 | - | 15M| 0 | 65 |3825 |4405 |3825 | 951 | 140 | 0 | 17 | 0.000000e+00 | -- | Inf
5.19/5.20 o 90811
5.19/5.20 c y 5.2s| 34 | 33 | 2732 | 66.3 | 15M| 18 | - |3825 |4405 | 0 | 0 | 214 | 0 | 399 | 0.000000e+00 | 9.081100e+04 | Inf
12.49/12.51 o 866
12.49/12.51 c *12.5s| 4299 | 4259 | 8176 | 1.8 | 27M|1498 | - |3825 |4415 |3825 |1003 | 811 | 10 | 863 | 0.000000e+00 | 8.660000e+02 | Inf
19.19/19.27 c 19.2s| 10000 | 9960 | 10087 | 1.0 | 37M|1498 | 0 |3825 |4415 |3825 | 999 |1101 | 10 | 923 | 0.000000e+00 | 8.660000e+02 | Inf
29.60/29.64 o 204
29.60/29.64 c *29.6s| 18593 | 8463 | 12922 | 0.7 | 37M|1498 | - |3825 |4426 |3825 |1006 |1525 | 21 | 970 | 0.000000e+00 | 2.040000e+02 | Inf
33.09/33.13 c 33.1s| 20000 | 9208 | 19781 | 1.0 | 41M|1498 | 0 |3825 |5346 |3825 | 986 |2174 | 996 |1110 | 0.000000e+00 | 2.040000e+02 | Inf
33.59/33.61 o 194
33.59/33.61 c *33.6s| 20184 | 8532 | 20875 | 1.0 | 41M|1498 | - |3825 |5476 |3825 | 996 |2322 |1143 |1121 | 0.000000e+00 | 1.940000e+02 | Inf
34.69/34.72 o 192
34.69/34.72 c *34.7s| 20525 | 8512 | 24057 | 1.1 | 42M|1498 | - |3825 |5696 |3825 |1004 |2513 |1437 |1185 | 0.000000e+00 | 1.920000e+02 | Inf
34.89/34.90 o 185
34.89/34.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.89/34.90 c *34.9s| 20561 | 8012 | 24825 | 1.2 | 41M|1498 | - |3825 |5721 |3825 | 993 |2570 |1468 |1201 | 0.000000e+00 | 1.850000e+02 | Inf
37.59/37.68 o 181
37.59/37.68 c *37.7s| 21591 | 8191 | 30935 | 1.4 | 42M|1498 | - |3825 |6282 |3825 | 986 |3078 |2251 |1252 | 0.000000e+00 | 1.810000e+02 | Inf
37.59/37.69 o 173
37.59/37.69 c *37.7s| 21593 | 7610 | 30963 | 1.4 | 42M|1498 | - |3825 |6282 |3825 | 986 |3078 |2251 |1253 | 0.000000e+00 | 1.730000e+02 | Inf
52.19/52.20 o 157
52.19/52.20 c *52.2s| 27156 | 8561 | 60729 | 2.2 | 54M|1498 | - |3825 |8236 |3825 |1001 |5664 |6386 |1401 | 0.000000e+00 | 1.570000e+02 | Inf
52.19/52.22 o 156
52.19/52.22 c *52.2s| 27158 | 8483 | 60808 | 2.2 | 54M|1498 | - |3825 |8236 |3825 |1010 |5673 |6386 |1401 | 0.000000e+00 | 1.560000e+02 | Inf
53.90/53.95 o 154
53.90/53.95 c *53.9s| 27697 | 8534 | 65467 | 2.3 | 55M|1498 | - |3825 |8214 |3825 |1004 |6110 |6876 |1435 | 0.000000e+00 | 1.540000e+02 | Inf
53.90/53.95 o 144
53.90/53.95 c *53.9s| 27698 | 7838 | 65471 | 2.3 | 53M|1498 | - |3825 |8213 |3825 |1004 |6110 |6876 |1435 | 0.000000e+00 | 1.440000e+02 | Inf
54.59/54.64 o 138
54.59/54.64 c *54.6s| 27951 | 7539 | 67097 | 2.4 | 53M|1498 | - |3825 |8228 |3825 | 985 |6167 |7090 |1457 | 0.000000e+00 | 1.380000e+02 | Inf
55.00/55.02 o 130
55.00/55.02 c *55.0s| 28104 | 7125 | 68110 | 2.4 | 51M|1498 | - |3825 |8140 |3825 |1001 |6296 |7168 |1462 | 0.000000e+00 | 1.300000e+02 | Inf
57.79/57.87 o 122
57.79/57.87 c *57.8s| 29000 | 7005 | 75942 | 2.6 | 52M|1498 | - |3825 |7889 |3825 | 980 |7078 |7964 |1522 | 0.000000e+00 | 1.220000e+02 | Inf
59.09/59.13 o 114
59.09/59.13 c *59.1s| 29413 | 6594 | 79669 | 2.7 | 52M|1498 | - |3825 |7668 |3825 |1005 |7377 |8399 |1535 | 0.000000e+00 | 1.140000e+02 | Inf
60.49/60.51 o 102
60.49/60.51 c *60.5s| 29794 | 6069 | 85625 | 2.9 | 50M|1498 | - |3825 |6930 |3825 | 982 |7641 |8664 |1553 | 0.000000e+00 | 1.020000e+02 | Inf
60.49/60.54 o 91
60.49/60.54 c *60.5s| 29802 | 5332 | 85703 | 2.9 | 46M|1498 | - |3825 |6930 |3825 | 981 |7641 |8665 |1554 | 0.000000e+00 | 9.100000e+01 | Inf
60.59/60.67 o 90
60.59/60.67 c *60.6s| 29840 | 5295 | 86282 | 2.9 | 46M|1498 | - |3825 |6720 |3825 | 977 |7682 |8688 |1556 | 0.000000e+00 | 9.000000e+01 | Inf
60.79/60.81 o 78
60.79/60.81 c *60.8s| 29885 | 4502 | 86845 | 2.9 | 42M|1498 | - |3825 |6583 |3825 | 967 |7728 |8722 |1558 | 0.000000e+00 | 7.800000e+01 | Inf
61.19/61.21 o 73
61.19/61.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.19/61.21 c *61.2s| 29995 | 4233 | 88893 | 2.9 | 41M|1498 | - |3825 |6175 |3825 |1010 |7797 |8821 |1566 | 0.000000e+00 | 7.300000e+01 | Inf
61.19/61.22 o 63
61.19/61.22 c *61.2s| 29996 | 3481 | 88893 | 2.9 | 38M|1498 | - |3825 |6175 |3825 |1010 |7797 |8821 |1566 | 0.000000e+00 | 6.300000e+01 | Inf
61.19/61.26 c 61.2s| 30000 | 3481 | 89040 | 2.9 | 38M|1498 | 12 |3825 |5735 |3825 | 994 |7797 |8832 |1566 | 0.000000e+00 | 6.300000e+01 | Inf
61.50/61.59 o 62
61.50/61.59 c *61.6s| 30098 | 3429 | 90043 | 3.0 | 38M|1498 | - |3825 |5561 |3825 | 984 |7865 |8968 |1566 | 0.000000e+00 | 6.200000e+01 | Inf
63.10/63.19 o 58
63.10/63.19 c *63.2s| 30766 | 3239 | 94083 | 3.0 | 38M|1498 | - |3825 |5533 |3825 | 999 |8146 |9771 |1572 | 0.000000e+00 | 5.800000e+01 | Inf
63.20/63.20 o 54
63.20/63.20 c *63.2s| 30767 | 3053 | 94083 | 3.0 | 37M|1498 | - |3825 |5533 |3825 | 999 |8146 |9771 |1572 | 0.000000e+00 | 5.400000e+01 | Inf
63.20/63.22 o 52
63.20/63.22 c *63.2s| 30776 | 2951 | 94104 | 3.0 | 36M|1498 | - |3825 |5270 |3825 | 996 |8146 |9771 |1572 | 0.000000e+00 | 5.200000e+01 | Inf
63.20/63.23 o 48
63.20/63.23 c *63.2s| 30777 | 2383 | 94110 | 3.0 | 33M|1498 | - |3825 |5270 |3825 | 996 |8146 |9771 |1572 | 0.000000e+00 | 4.800000e+01 | Inf
77.19/77.25 o 44
77.19/77.25 c *77.2s| 38141 | 2172 |129493 | 3.4 | 38M|1498 | - |3825 |7110 |3825 | 945 |9967 | 18k|1577 | 0.000000e+00 | 4.400000e+01 | Inf
79.09/79.11 o 36
79.09/79.11 c *79.1s| 39219 | 1903 |132611 | 3.4 | 36M|1498 | - |3825 |7332 |3825 | 957 | 10k| 20k|1577 | 0.000000e+00 | 3.600000e+01 | Inf
79.09/79.12 o 27
79.09/79.12 c *79.1s| 39220 | 1704 |132611 | 3.4 | 35M|1498 | - |3825 |7332 |3825 | 957 | 10k| 20k|1577 | 0.000000e+00 | 2.700000e+01 | Inf
80.49/80.55 c 80.5s| 40000 | 1656 |136944 | 3.4 | 35M|1498 | 2 |3825 |5866 |3825 | 948 | 10k| 21k|1577 | 0.000000e+00 | 2.700000e+01 | Inf
84.40/84.40 o 22
84.40/84.40 c *84.4s| 42460 | 1472 |145431 | 3.4 | 35M|1498 | - |3825 |6845 |3825 | 945 | 10k| 24k|1577 | 0.000000e+00 | 2.200000e+01 | Inf
95.99/96.09 c 96.1s| 50000 | 1607 |173799 | 3.5 | 38M|1498 | - |3825 |7653 | 0 | 0 | 12k| 33k|1577 | 0.000000e+00 | 2.200000e+01 | Inf
112.00/112.03 c 112s| 60000 | 1679 |210602 | 3.5 | 41M|1498 | - |3825 | 10k| 0 | 0 | 14k| 46k|1577 | 0.000000e+00 | 2.200000e+01 | Inf
129.59/129.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.59/129.64 c 130s| 70000 | 1789 |255026 | 3.6 | 45M|1498 | 1 |3825 | 12k|3825 | 985 | 16k| 58k|1577 | 0.000000e+00 | 2.200000e+01 | Inf
147.30/147.33 c 147s| 80000 | 1942 |296347 | 3.7 | 47M|1498 | 8 |3825 | 11k|3825 | 981 | 18k| 71k|1577 | 0.000000e+00 | 2.200000e+01 | Inf
164.79/164.85 c 165s| 90000 | 1994 |337654 | 3.7 | 50M|1498 | 1 |3825 |9604 |3825 | 988 | 20k| 84k|1618 | 0.000000e+00 | 2.200000e+01 | Inf
181.80/181.84 c 182s|100000 | 2030 |377564 | 3.8 | 53M|1498 | 13 |3825 | 10k|3825 | 992 | 22k| 97k|1668 | 0.000000e+00 | 2.200000e+01 | Inf
190.60/190.66 o 19
190.60/190.66 c * 191s|105146 | 1832 |397366 | 3.8 | 50M|1498 | - |3825 | 10k|3825 | 954 | 23k| 103k|1709 | 0.000000e+00 | 1.900000e+01 | Inf
198.29/198.36 c 198s|110000 | 1825 |415524 | 3.8 | 51M|1498 | - |3825 | 11k| 0 | 0 | 25k| 110k|1752 | 0.000000e+00 | 1.900000e+01 | Inf
215.29/215.39 c 215s|120000 | 1889 |454350 | 3.8 | 53M|1498 | - |3825 | 13k| 0 | 0 | 27k| 122k|1827 | 0.000000e+00 | 1.900000e+01 | Inf
232.80/232.83 c 233s|130000 | 1990 |490880 | 3.8 | 55M|1498 | 17 |3825 | 15k|3825 | 945 | 29k| 135k|1920 | 0.000000e+00 | 1.900000e+01 | Inf
239.20/239.25 o 18
239.20/239.25 c * 239s|133598 | 1939 |505489 | 3.8 | 54M|1498 | - |3825 | 12k|3825 | 968 | 30k| 140k|1959 | 0.000000e+00 | 1.800000e+01 | Inf
249.90/249.96 c 250s|140000 | 2008 |531176 | 3.8 | 55M|1498 | - |3825 | 10k| 0 | 0 | 31k| 148k|2033 | 0.000000e+00 | 1.800000e+01 | Inf
267.00/267.01 c 267s|150000 | 2134 |573854 | 3.8 | 58M|1498 | - |3825 | 13k| 0 | 0 | 33k| 161k|2090 | 0.000000e+00 | 1.800000e+01 | Inf
284.70/284.75 c 285s|160000 | 2259 |615688 | 3.8 | 60M|1498 | 24 |3825 | 13k|3825 | 976 | 35k| 174k|2197 | 0.000000e+00 | 1.800000e+01 | Inf
303.09/303.14 c 303s|170000 | 2242 |661624 | 3.9 | 60M|1498 | - |3825 | 12k| 0 | 0 | 37k| 188k|2304 | 0.000000e+00 | 1.800000e+01 | Inf
320.60/320.68 c 321s|180000 | 2180 |706919 | 3.9 | 60M|1498 | 21 |3825 | 10k|3825 | 970 | 40k| 201k|2418 | 0.000000e+00 | 1.800000e+01 | Inf
337.30/337.39 c 337s|190000 | 2160 |749231 | 3.9 | 60M|1498 | 1 |3825 | 11k|3825 | 963 | 42k| 214k|2492 | 0.000000e+00 | 1.800000e+01 | Inf
354.70/354.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.70/354.71 c 355s|200000 | 2299 |790292 | 3.9 | 63M|1498 | - |3825 | 13k| 0 | 0 | 44k| 226k|2589 | 0.000000e+00 | 1.800000e+01 | Inf
371.90/371.93 c 372s|210000 | 2382 |828951 | 3.9 | 65M|1498 | - |3825 | 13k| 0 | 0 | 46k| 239k|2651 | 0.000000e+00 | 1.800000e+01 | Inf
389.00/389.00 c 389s|220000 | 2436 |867268 | 3.9 | 67M|1498 | 1 |3825 | 14k|3825 | 985 | 48k| 253k|2721 | 0.000000e+00 | 1.800000e+01 | Inf
406.40/406.48 c 406s|230000 | 2558 |907035 | 3.9 | 69M|1498 | - |3825 | 16k| 0 | 0 | 50k| 266k|2806 | 0.000000e+00 | 1.800000e+01 | Inf
424.20/424.29 c 424s|240000 | 2649 |944695 | 3.9 | 71M|1498 | 1 |3825 | 16k|3825 | 964 | 52k| 279k|2878 | 0.000000e+00 | 1.800000e+01 | Inf
442.11/442.18 c 442s|250000 | 2718 |981658 | 3.9 | 72M|1498 | - |3825 | 15k| 0 | 0 | 54k| 293k|2939 | 0.000000e+00 | 1.800000e+01 | Inf
454.70/454.74 o 15
454.70/454.74 c * 455s|257176 | 2405 | 1009k| 3.9 | 66M|1498 | - |3825 | 15k|3825 | 965 | 56k| 303k|3013 | 0.000000e+00 | 1.500000e+01 | Inf
459.20/459.28 c 459s|260000 | 2437 | 1019k| 3.9 | 66M|1498 | 1 |3825 | 14k|3825 | 973 | 56k| 307k|3016 | 0.000000e+00 | 1.500000e+01 | Inf
476.21/476.23 c 476s|270000 | 2479 | 1057k| 3.9 | 66M|1498 | 1 |3825 | 12k|3825 | 977 | 58k| 321k|3087 | 0.000000e+00 | 1.500000e+01 | Inf
492.71/492.80 c 493s|280000 | 2510 | 1094k| 3.9 | 68M|1498 | - |3825 | 14k| 0 | 0 | 60k| 334k|3167 | 0.000000e+00 | 1.500000e+01 | Inf
509.40/509.42 c 509s|290000 | 2394 | 1130k| 3.9 | 65M|1498 | 7 |3825 | 10k|3825 | 965 | 63k| 347k|3319 | 0.000000e+00 | 1.500000e+01 | Inf
525.10/525.18 c 525s|300000 | 2454 | 1165k| 3.9 | 67M|1498 | 6 |3825 | 12k|3825 | 957 | 65k| 360k|3371 | 0.000000e+00 | 1.500000e+01 | Inf
541.60/541.60 c 542s|310000 | 2434 | 1204k| 3.9 | 68M|1498 | - |3825 | 14k| 0 | 0 | 66k| 373k|3431 | 0.000000e+00 | 1.500000e+01 | Inf
559.41/559.40 c 559s|320000 | 2505 | 1245k| 3.9 | 70M|1498 | 17 |3825 | 17k|3825 | 962 | 68k| 386k|3488 | 0.000000e+00 | 1.500000e+01 | Inf
576.50/576.59 c 577s|330000 | 2428 | 1284k| 3.9 | 69M|1498 | - |3825 | 13k| 0 | 0 | 70k| 400k|3549 | 0.000000e+00 | 1.500000e+01 | Inf
592.91/592.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.91/592.98 c 593s|340000 | 2369 | 1322k| 3.9 | 68M|1498 | 16 |3825 | 12k|3825 | 964 | 72k| 413k|3630 | 0.000000e+00 | 1.500000e+01 | Inf
610.01/610.02 c 610s|350000 | 2562 | 1366k| 3.9 | 70M|1498 | 14 |3825 | 14k|3825 | 948 | 74k| 426k|3718 | 0.000000e+00 | 1.500000e+01 | Inf
627.20/627.20 c 627s|360000 | 2631 | 1406k| 3.9 | 72M|1498 | - |3825 | 14k| 0 | 0 | 77k| 440k|3778 | 0.000000e+00 | 1.500000e+01 | Inf
644.71/644.75 c 645s|370000 | 2688 | 1452k| 3.9 | 73M|1498 | 1 |3825 | 13k|3825 | 972 | 79k| 453k|3843 | 0.000000e+00 | 1.500000e+01 | Inf
662.41/662.47 c 662s|380000 | 2687 | 1503k| 4.0 | 74M|1498 | 1 |3825 | 14k|3825 | 976 | 82k| 467k|3924 | 0.000000e+00 | 1.500000e+01 | Inf
680.00/680.06 c 680s|390000 | 2664 | 1552k| 4.0 | 75M|1498 | 14 |3825 | 15k|3825 | 980 | 84k| 480k|4024 | 0.000000e+00 | 1.500000e+01 | Inf
696.81/696.88 c 697s|400000 | 2552 | 1590k| 4.0 | 74M|1498 | 1 |3825 | 16k|3825 | 980 | 86k| 493k|4107 | 0.000000e+00 | 1.500000e+01 | Inf
714.21/714.22 c 714s|410000 | 2513 | 1634k| 4.0 | 73M|1498 | 1 |3825 | 12k|3825 | 993 | 88k| 506k|4177 | 0.000000e+00 | 1.500000e+01 | Inf
731.12/731.19 c 731s|420000 | 2614 | 1676k| 4.0 | 75M|1498 | - |3825 | 14k| 0 | 0 | 90k| 519k|4246 | 0.000000e+00 | 1.500000e+01 | Inf
748.81/748.82 c 749s|430000 | 2818 | 1719k| 4.0 | 78M|1498 | 1 |3825 | 16k|3825 | 984 | 93k| 532k|4305 | 0.000000e+00 | 1.500000e+01 | Inf
767.41/767.49 c 767s|440000 | 2909 | 1765k| 4.0 | 80M|1498 | 14 |3825 | 16k|3825 | 963 | 95k| 545k|4373 | 0.000000e+00 | 1.500000e+01 | Inf
782.21/782.29 o 14
782.21/782.29 c * 782s|448028 | 2844 | 1802k| 4.0 | 78M|1498 | - |3825 | 16k|3825 | 945 | 97k| 556k|4436 | 0.000000e+00 | 1.400000e+01 | Inf
785.91/785.98 c 786s|450000 | 2875 | 1813k| 4.0 | 78M|1498 | - |3825 | 15k| 0 | 0 | 97k| 559k|4436 | 0.000000e+00 | 1.400000e+01 | Inf
804.31/804.35 c 804s|460000 | 2947 | 1859k| 4.0 | 80M|1498 | 20 |3825 | 16k|3825 | 945 | 100k| 573k|4504 | 0.000000e+00 | 1.400000e+01 | Inf
822.82/822.85 c 823s|470000 | 3071 | 1905k| 4.1 | 81M|1498 | 8 |3825 | 16k|3825 | 956 | 102k| 587k|4570 | 0.000000e+00 | 1.400000e+01 | Inf
840.32/840.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.32/840.39 c 840s|480000 | 3189 | 1947k| 4.1 | 82M|1498 | 1 |3825 | 14k|3825 | 979 | 104k| 601k|4645 | 0.000000e+00 | 1.400000e+01 | Inf
856.92/856.94 c 857s|490000 | 3298 | 1988k| 4.1 | 83M|1498 | - |3825 | 12k| 0 | 0 | 106k| 615k|4730 | 0.000000e+00 | 1.400000e+01 | Inf
873.51/873.56 c 874s|500000 | 3322 | 2032k| 4.1 | 85M|1498 | 19 |3825 | 12k|3825 | 988 | 107k| 628k|4776 | 0.000000e+00 | 1.400000e+01 | Inf
890.92/890.99 c 891s|510000 | 3427 | 2079k| 4.1 | 86M|1498 | - |3825 | 13k| 0 | 0 | 110k| 641k|4830 | 0.000000e+00 | 1.400000e+01 | Inf
908.22/908.23 c 908s|520000 | 3484 | 2120k| 4.1 | 87M|1498 | - |3825 | 12k| 0 | 0 | 112k| 654k|4888 | 0.000000e+00 | 1.400000e+01 | Inf
925.92/925.96 c 926s|530000 | 3578 | 2163k| 4.1 | 88M|1498 | 22 |3825 | 13k|3825 | 945 | 115k| 668k|4950 | 0.000000e+00 | 1.400000e+01 | Inf
943.32/943.38 c 943s|540000 | 3685 | 2207k| 4.1 | 90M|1498 | - |3825 | 14k| 0 | 0 | 117k| 681k|5015 | 0.000000e+00 | 1.400000e+01 | Inf
961.32/961.34 c 961s|550000 | 3762 | 2250k| 4.1 | 92M|1498 | 13 |3825 | 15k|3825 | 945 | 120k| 695k|5074 | 0.000000e+00 | 1.400000e+01 | Inf
979.82/979.86 c 980s|560000 | 3719 | 2292k| 4.1 | 93M|1498 | - |3825 | 17k| 0 | 0 | 123k| 709k|5114 | 0.000000e+00 | 1.400000e+01 | Inf
999.11/999.14 c 999s|570000 | 3914 | 2335k| 4.1 | 95M|1498 | 1 |3825 | 17k|3825 | 965 | 125k| 722k|5152 | 0.000000e+00 | 1.400000e+01 | Inf
1017.02/1017.03 c 1017s|580000 | 3998 | 2381k| 4.1 | 96M|1498 | 24 |3825 | 14k|3825 | 983 | 127k| 736k|5227 | 0.000000e+00 | 1.400000e+01 | Inf
1034.42/1034.40 c 1034s|590000 | 4053 | 2431k| 4.1 | 96M|1498 | - |3825 | 11k| 0 | 0 | 129k| 749k|5335 | 0.000000e+00 | 1.400000e+01 | Inf
1051.42/1051.45 c 1051s|600000 | 4037 | 2473k| 4.1 | 97M|1498 | - |3825 | 13k| 0 | 0 | 132k| 763k|5378 | 0.000000e+00 | 1.400000e+01 | Inf
1068.22/1068.29 c 1068s|610000 | 4121 | 2515k| 4.1 | 99M|1498 | - |3825 | 14k| 0 | 0 | 134k| 776k|5458 | 0.000000e+00 | 1.400000e+01 | Inf
1085.63/1085.66 c 1086s|620000 | 4236 | 2555k| 4.1 | 102M|1498 | - |3825 | 15k| 0 | 0 | 137k| 789k|5509 | 0.000000e+00 | 1.400000e+01 | Inf
1103.02/1103.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.02/1103.01 c 1103s|630000 | 4348 | 2592k| 4.1 | 104M|1498 | 1 |3825 | 17k|3825 | 976 | 139k| 803k|5526 | 0.000000e+00 | 1.400000e+01 | Inf
1121.52/1121.54 c 1122s|640000 | 4357 | 2633k| 4.1 | 106M|1498 | - |3825 | 19k|3825 |1000 | 142k| 817k|5570 | 0.000000e+00 | 1.400000e+01 | Inf
1140.53/1140.59 c 1141s|650000 | 4417 | 2687k| 4.1 | 106M|1498 | 1 |3825 | 14k|3825 | 958 | 144k| 831k|5656 | 0.000000e+00 | 1.400000e+01 | Inf
1159.12/1159.11 c 1159s|660000 | 4539 | 2735k| 4.1 | 107M|1498 | - |3825 | 16k| 0 | 0 | 146k| 843k|5719 | 0.000000e+00 | 1.400000e+01 | Inf
1177.13/1177.16 c 1177s|670000 | 4694 | 2777k| 4.1 | 110M|1498 | 1 |3825 | 17k|3825 | 983 | 148k| 856k|5753 | 0.000000e+00 | 1.400000e+01 | Inf
1194.93/1194.96 c 1195s|680000 | 4766 | 2817k| 4.1 | 112M|1498 | 15 |3825 | 19k|3825 | 973 | 150k| 869k|5784 | 0.000000e+00 | 1.400000e+01 | Inf
1214.02/1214.03 c 1214s|690000 | 4778 | 2861k| 4.1 | 112M|1498 | - |3825 | 18k| 0 | 0 | 152k| 882k|5846 | 0.000000e+00 | 1.400000e+01 | Inf
1232.83/1232.88 c 1233s|700000 | 4891 | 2908k| 4.2 | 114M|1498 | - |3825 | 19k| 0 | 0 | 154k| 896k|5907 | 0.000000e+00 | 1.400000e+01 | Inf
1250.93/1250.94 c 1251s|710000 | 4996 | 2949k| 4.2 | 115M|1498 | 21 |3825 | 20k|3825 | 958 | 156k| 909k|5940 | 0.000000e+00 | 1.400000e+01 | Inf
1269.82/1269.86 c 1270s|720000 | 4994 | 2992k| 4.2 | 116M|1498 | 1 |3825 | 19k|3825 | 969 | 158k| 923k|5964 | 0.000000e+00 | 1.400000e+01 | Inf
1289.33/1289.35 c 1289s|730000 | 5069 | 3035k| 4.2 | 117M|1498 | 14 |3825 | 21k|3825 | 965 | 161k| 937k|6022 | 0.000000e+00 | 1.400000e+01 | Inf
1309.23/1309.21 c 1309s|740000 | 5028 | 3078k| 4.2 | 117M|1498 | - |3825 | 20k| 0 | 0 | 163k| 951k|6074 | 0.000000e+00 | 1.400000e+01 | Inf
1328.93/1328.98 c 1329s|750000 | 4842 | 3120k| 4.2 | 116M|1498 | 11 |3825 | 19k|3825 | 956 | 164k| 965k|6111 | 0.000000e+00 | 1.400000e+01 | Inf
1349.03/1349.08 c 1349s|760000 | 4867 | 3165k| 4.2 | 116M|1498 | - |3825 | 19k| 0 | 0 | 166k| 979k|6135 | 0.000000e+00 | 1.400000e+01 | Inf
1367.93/1367.96 c 1368s|770000 | 4841 | 3206k| 4.2 | 116M|1498 | 18 |3825 | 18k|3825 | 958 | 168k| 993k|6202 | 0.000000e+00 | 1.400000e+01 | Inf
1386.63/1386.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.63/1386.60 c 1387s|780000 | 4870 | 3249k| 4.2 | 117M|1498 | - |3825 | 18k| 0 | 0 | 171k|1006k|6248 | 0.000000e+00 | 1.400000e+01 | Inf
1406.03/1406.04 c 1406s|790000 | 4904 | 3290k| 4.2 | 119M|1498 | 13 |3825 | 21k|3825 | 956 | 173k|1020k|6259 | 0.000000e+00 | 1.400000e+01 | Inf
1426.43/1426.48 c 1426s|800000 | 4904 | 3337k| 4.2 | 119M|1498 | - |3825 | 20k| 0 | 0 | 175k|1034k|6350 | 0.000000e+00 | 1.400000e+01 | Inf
1447.33/1447.39 c 1447s|810000 | 4936 | 3381k| 4.2 | 121M|1498 | - |3825 | 21k| 0 | 0 | 178k|1048k|6391 | 0.000000e+00 | 1.400000e+01 | Inf
1467.43/1467.43 c 1467s|820000 | 4672 | 3422k| 4.2 | 118M|1498 | - |3825 | 19k| 0 | 0 | 180k|1062k|6433 | 0.000000e+00 | 1.400000e+01 | Inf
1486.93/1486.90 c 1487s|830000 | 4794 | 3473k| 4.2 | 118M|1498 | - |3825 | 15k| 0 | 0 | 182k|1075k|6529 | 0.000000e+00 | 1.400000e+01 | Inf
1504.84/1504.89 c 1505s|840000 | 4913 | 3517k| 4.2 | 120M|1498 | - |3825 | 18k| 0 | 0 | 185k|1088k|6551 | 0.000000e+00 | 1.400000e+01 | Inf
1523.44/1523.40 c 1523s|850000 | 5116 | 3566k| 4.2 | 122M|1498 | 13 |3825 | 18k|3825 | 945 | 187k|1101k|6590 | 0.000000e+00 | 1.400000e+01 | Inf
1542.14/1542.12 c 1542s|860000 | 5205 | 3611k| 4.2 | 124M|1498 | 1 |3825 | 19k|3825 | 953 | 189k|1114k|6645 | 0.000000e+00 | 1.400000e+01 | Inf
1561.43/1561.43 c 1561s|870000 | 5370 | 3661k| 4.2 | 126M|1498 | 1 |3825 | 19k|3825 | 945 | 192k|1127k|6705 | 0.000000e+00 | 1.400000e+01 | Inf
1580.43/1580.44 c 1580s|880000 | 5482 | 3708k| 4.2 | 128M|1498 | 1 |3825 | 19k|3825 | 954 | 194k|1140k|6731 | 0.000000e+00 | 1.400000e+01 | Inf
1599.34/1599.30 c 1599s|890000 | 5674 | 3756k| 4.2 | 130M|1498 | - |3825 | 18k| 0 | 0 | 197k|1154k|6772 | 0.000000e+00 | 1.400000e+01 | Inf
1617.84/1617.86 c 1618s|900000 | 5837 | 3804k| 4.2 | 132M|1498 | - |3825 | 20k| 0 | 0 | 199k|1167k|6829 | 0.000000e+00 | 1.400000e+01 | Inf
1636.04/1636.04 c 1636s|910000 | 5943 | 3848k| 4.2 | 134M|1498 | 17 |3825 | 21k|3825 | 957 | 202k|1181k|6864 | 0.000000e+00 | 1.400000e+01 | Inf
1655.14/1655.11 c 1655s|920000 | 6036 | 3894k| 4.2 | 135M|1498 | - |3825 | 20k|3825 | 977 | 204k|1195k|6888 | 0.000000e+00 | 1.400000e+01 | Inf
1675.14/1675.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.14/1675.10 c 1675s|930000 | 6135 | 3945k| 4.2 | 137M|1498 | - |3825 | 21k| 0 | 0 | 207k|1208k|6945 | 0.000000e+00 | 1.400000e+01 | Inf
1694.63/1694.66 c 1695s|940000 | 6180 | 3990k| 4.2 | 139M|1498 | 14 |3825 | 22k|3825 | 960 | 209k|1222k|7001 | 0.000000e+00 | 1.400000e+01 | Inf
1715.24/1715.22 c 1715s|950000 | 6436 | 4044k| 4.3 | 141M|1498 | 13 |3825 | 20k|3825 | 977 | 212k|1235k|7040 | 0.000000e+00 | 1.400000e+01 | Inf
1735.44/1735.43 c 1735s|960000 | 6542 | 4098k| 4.3 | 144M|1498 | - |3825 | 21k| 0 | 0 | 215k|1249k|7069 | 0.000000e+00 | 1.400000e+01 | Inf
1755.04/1755.03 c 1755s|970000 | 6649 | 4143k| 4.3 | 145M|1498 | 1 |3825 | 22k|3825 | 957 | 218k|1262k|7122 | 0.000000e+00 | 1.400000e+01 | Inf
1775.44/1775.46 c 1775s|980000 | 6792 | 4193k| 4.3 | 146M|1498 | - |3825 | 20k| 0 | 0 | 220k|1276k|7175 | 0.000000e+00 | 1.400000e+01 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 987124
1790.04/1790.01 c Primal Bound : +1.40000000000000e+01 (157 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.04 s SATISFIABLE
1790.04/1790.04 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.04/1790.04 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.04/1790.04 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1790.04/1790.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.04/1790.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1790.04/1790.04 v -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1790.04/1790.04 v -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1790.04/1790.04 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
1790.04/1790.04 v -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1790.04/1790.04 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
1790.04/1790.04 v -x1
1790.04/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.04 c Solving Time : 1789.98
1790.04/1790.04 c Original Problem :
1790.04/1790.04 c Problem name : HOME/instance-2705525-1278572955.wbo
1790.04/1790.04 c Variables : 3957 (2094 binary, 0 integer, 1863 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4571 initial, 4571 maximal
1790.04/1790.04 c Presolved Problem :
1790.04/1790.04 c Problem name : t_HOME/instance-2705525-1278572955.wbo
1790.04/1790.04 c Variables : 3825 (2028 binary, 0 integer, 1797 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4405 initial, 24106 maximal
1790.04/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.04 c trivial : 0.00 66 0 0 0 0 0 0 0
1790.04/1790.04 c dualfix : 0.00 66 0 0 0 0 0 0 0
1790.04/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.04 c setppc : 0.00 0 0 0 0 0 13 0 0
1790.04/1790.04 c linear : 0.06 0 0 0 1878 0 87 72 0
1790.04/1790.04 c indicator : 0.00 0 0 0 0 0 66 0 0
1790.04/1790.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c root node : - 3170 - - 3170 - - - -
1790.04/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c integral : 0 0 0 574118 0 36 611 0 0 1035876
1790.04/1790.04 c setppc : 55 6 5902218 53507 0 4151 766030 0 0 0
1790.04/1790.04 c linear : 1797 6 5941524 55634 0 271248 24548952 223123 0 0
1790.04/1790.04 c indicator : 1797 0 5650396 55581 0 1654 5570446 0 0 0
1790.04/1790.04 c logicor : 756+ 6 1779133 23531 0 185749 3942708 0 0 0
1790.04/1790.04 c bounddisjunction : 0+ 0 276390 0 0 400 4983 0 0 0
1790.04/1790.04 c countsols : 0 0 0 23531 0 0 0 0 0 0
1790.04/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.04 c integral : 19.39 0.00 0.00 19.39 0.00
1790.04/1790.04 c setppc : 6.71 0.00 6.67 0.04 0.00
1790.04/1790.04 c linear : 162.19 0.00 159.61 2.58 0.00
1790.04/1790.04 c indicator : 56.34 0.02 52.52 3.79 0.00
1790.04/1790.04 c logicor : 232.04 0.00 231.85 0.19 0.00
1790.04/1790.04 c bounddisjunction : 1.29 0.00 1.29 0.00 0.00
1790.04/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.04/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.04 c vbounds : 1.00 54095 1 5259
1790.04/1790.04 c rootredcost : 0.81 35 0 1585
1790.04/1790.04 c pseudoobj : 172.17 5963902 18178 5540290
1790.04/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.04 c propagation : 23.13 479726 479584 2853383 26.1 12829 25.3 -
1790.04/1790.04 c infeasible LP : 6.92 26281 26281 209074 40.5 275 22.1 0
1790.04/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.04 c applied globally : - - - 1285858 21.7 - - -
1790.04/1790.04 c applied locally : - - - 0 0.0 - - -
1790.04/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.04 c cut pool : 0.00 4 - - 33 - (maximal pool size: 341)
1790.04/1790.04 c redcost : 41.28 579562 0 314098 0 0
1790.04/1790.04 c impliedbounds : 0.00 5 0 0 0 0
1790.04/1790.04 c intobj : 0.00 0 0 0 0 0
1790.04/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.04 c gomory : 0.10 5 0 0 1161 0
1790.04/1790.04 c strongcg : 0.09 5 0 0 1553 0
1790.04/1790.04 c cmir : 0.03 5 0 0 3 0
1790.04/1790.04 c flowcover : 0.05 5 0 0 5 0
1790.04/1790.04 c clique : 0.00 5 0 0 0 0
1790.04/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.04 c mcf : 0.00 1 0 0 0 0
1790.04/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.04 c Pricers : Time Calls Vars
1790.04/1790.04 c problem variables: 0.00 0 0
1790.04/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c relpscost : 18.91 518432 36 611 0 0 1035876
1790.04/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.04 c inference : 5.44 23497 0 0 0 0 47132
1790.04/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c random : 0.00 0 0 0 0 0 0
1790.04/1790.04 c Primal Heuristics : Time Calls Found
1790.04/1790.04 c LP solutions : 0.05 - 34
1790.04/1790.04 c pseudo solutions : 0.00 - 0
1790.04/1790.04 c intshifting : 0.01 0 0
1790.04/1790.04 c feaspump : 0.02 1 0
1790.04/1790.04 c oneopt : 0.37 30 0
1790.04/1790.04 c pscostdiving : 0.11 94 0
1790.04/1790.04 c fracdiving : 0.12 94 0
1790.04/1790.04 c veclendiving : 0.11 94 0
1790.04/1790.04 c linesearchdiving : 0.12 94 0
1790.04/1790.04 c guideddiving : 0.16 94 0
1790.04/1790.04 c coefdiving : 0.15 95 0
1790.04/1790.04 c crossover : 1.50 43 0
1790.04/1790.04 c objpscostdiving : 0.13 87 0
1790.04/1790.04 c rootsoldiving : 0.15 87 0
1790.04/1790.04 c trivial : 0.00 2 0
1790.04/1790.04 c simplerounding : 0.75 519412 0
1790.04/1790.04 c zirounding : 0.30 1000 0
1790.04/1790.04 c rounding : 1.13 10199 0
1790.04/1790.04 c shifting : 0.67 3088 0
1790.04/1790.04 c twoopt : 0.00 0 0
1790.04/1790.04 c fixandinfer : 0.00 0 0
1790.04/1790.04 c intdiving : 0.00 0 0
1790.04/1790.04 c actconsdiving : 0.00 0 0
1790.04/1790.04 c octane : 0.00 0 0
1790.04/1790.04 c rens : 0.03 1 0
1790.04/1790.04 c rins : 0.00 0 0
1790.04/1790.04 c localbranching : 0.00 0 0
1790.04/1790.04 c mutation : 0.00 0 0
1790.04/1790.04 c dins : 0.00 0 0
1790.04/1790.04 c undercover : 0.00 0 0
1790.04/1790.04 c nlp : 0.16 0 0
1790.04/1790.04 c trysol : 0.35 251 123
1790.04/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.04 c dual LP : 582.93 578596 4227049 7.31 7251.34
1790.04/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.04 c diving/probing LP: 0.20 122 1673 13.71 8557.33
1790.04/1790.04 c strong branching : 15.26 7176 155914 21.73 10214.73
1790.04/1790.04 c (at root node) : - 17 5767 339.24 -
1790.04/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.04 c B&B Tree :
1790.04/1790.04 c number of runs : 1
1790.04/1790.04 c nodes : 987124
1790.04/1790.04 c nodes (total) : 987124
1790.04/1790.04 c nodes left : 6926
1790.04/1790.04 c max depth : 1498
1790.04/1790.04 c max depth (total): 1498
1790.04/1790.04 c backtracks : 79361 (8.0%)
1790.04/1790.04 c delayed cutoffs : 66525
1790.04/1790.04 c repropagations : 3019341 (7566816 domain reductions, 61908 cutoffs)
1790.04/1790.04 c avg switch length: 7.68
1790.04/1790.04 c switching time : 258.10
1790.04/1790.04 c Solution :
1790.04/1790.04 c Solutions found : 157 (35 improvements)
1790.04/1790.04 c First Solution : +9.08110000000000e+04 (in run 1, after 33 nodes, 5.16 seconds, depth 19, found by <trysol>)
1790.04/1790.04 c Primal Bound : +1.40000000000000e+01 (in run 1, after 448028 nodes, 782.27 seconds, depth 31, found by <relaxation>)
1790.04/1790.04 c Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Gap : infinite
1790.04/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Root Iterations : 545
1790.24/1790.20 c Time complete: 1790.24.