Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.05 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-czprob.opb |
MD5SUM | c15e03ab07153a4c6592115aff440072 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 7.14391 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 98820 |
Total number of constraints | 927 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 927 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 11190 |
Number of terms in the objective function | 98250 |
Biggest coefficient in the objective function | 259 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 608626 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 608626 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 1.10/1.12 c ...done 1.10/1.12 c #vars=98820 #constraints=1818 hasObjective=yes 2.29/2.33 c res. mode=mod 2.29/2.33 c VSIDS like heuristics 2.29/2.33 c complete search running 4.69/4.74 c restart after 401 decisions 4.79/4.89 c nbDecision=500 #constraints=1920 5.29/5.33 c restart after 801 decisions 5.59/5.62 c nbDecision=1000 #constraints=1921 6.39/6.40 c nbDecision=1500 #constraints=1924 6.50/6.56 c restart after 1601 decisions 7.09/7.16 c nbDecision=2000 #constraints=1926 7.89/7.96 c nbDecision=2500 #constraints=1930 8.70/8.75 c nbDecision=3000 #constraints=1934 8.99/9.07 c restart after 3201 decisions 9.49/9.50 c nbDecision=3500 #constraints=1936 10.19/10.29 c nbDecision=4000 #constraints=1940 11.00/11.08 c nbDecision=4500 #constraints=1944 11.79/11.89 c nbDecision=5000 #constraints=1949 12.59/12.69 c nbDecision=5500 #constraints=1953 13.39/13.49 c nbDecision=6000 #constraints=1957 14.09/14.13 c restart after 6401 decisions 14.19/14.28 c nbDecision=6500 #constraints=1960 14.99/15.06 c nbDecision=7000 #constraints=1963 15.79/15.86 c nbDecision=7500 #constraints=1967 16.59/16.66 c nbDecision=8000 #constraints=1971 17.39/17.46 c nbDecision=8500 #constraints=1975 18.19/18.21 c nbDecision=9000 #constraints=1976 18.89/18.93 c nbDecision=9500 #constraints=1977 19.59/19.68 c nbDecision=10000 #constraints=1978 20.39/20.42 c nbDecision=10500 #constraints=1979 21.09/21.16 c nbDecision=11000 #constraints=1980 21.79/21.90 c nbDecision=11500 #constraints=1981 22.59/22.64 c nbDecision=12000 #constraints=1982 23.29/23.37 c nbDecision=12500 #constraints=1983 23.79/23.82 c restart after 12801 decisions 24.09/24.11 c nbDecision=13000 #constraints=1984 24.79/24.83 c nbDecision=13500 #constraints=1984 25.49/25.57 c nbDecision=14000 #constraints=1985 26.29/26.31 c nbDecision=14500 #constraints=1986 26.98/27.04 c nbDecision=15000 #constraints=1987 27.68/27.78 c nbDecision=15500 #constraints=1988 28.49/28.52 c nbDecision=16000 #constraints=1989 29.18/29.25 c nbDecision=16500 #constraints=1990 29.88/29.98 c nbDecision=17000 #constraints=1991 30.69/30.71 c nbDecision=17500 #constraints=1992 31.38/31.46 c nbDecision=18000 #constraints=1993 32.18/32.20 c nbDecision=18500 #constraints=1994 32.89/32.94 c nbDecision=19000 #constraints=1995 33.58/33.69 c nbDecision=19500 #constraints=1996 34.38/34.43 c nbDecision=20000 #constraints=1997 35.09/35.18 c nbDecision=20500 #constraints=1998 35.88/35.92 c nbDecision=21000 #constraints=1999 36.58/36.66 c nbDecision=21500 #constraints=2000 37.39/37.41 c nbDecision=22000 #constraints=2001 38.08/38.15 c nbDecision=22500 #constraints=2002 38.78/38.88 c nbDecision=23000 #constraints=2003 39.58/39.61 c nbDecision=23500 #constraints=2004 40.28/40.36 c nbDecision=24000 #constraints=2005 41.08/41.10 c nbDecision=24500 #constraints=2006 41.78/41.82 c nbDecision=25000 #constraints=2007 42.48/42.56 c nbDecision=25500 #constraints=2008 42.68/42.70 c restart after 25601 decisions 43.18/43.29 c nbDecision=26000 #constraints=2008 43.98/44.03 c nbDecision=26500 #constraints=2009 44.68/44.77 c nbDecision=27000 #constraints=2010 45.38/45.50 c nbDecision=27500 #constraints=2011 46.18/46.23 c nbDecision=28000 #constraints=2012 46.88/46.97 c nbDecision=28500 #constraints=2013 47.68/47.71 c nbDecision=29000 #constraints=2014 48.38/48.44 c nbDecision=29500 #constraints=2015 49.08/49.18 c nbDecision=30000 #constraints=2016 49.88/49.91 c nbDecision=30500 #constraints=2017 50.58/50.65 c nbDecision=31000 #constraints=2018 51.28/51.38 c nbDecision=31500 #constraints=2018 52.08/52.12 c nbDecision=32000 #constraints=2019 52.78/52.86 c nbDecision=32500 #constraints=2020 53.58/53.61 c nbDecision=33000 #constraints=2021 54.27/54.35 c nbDecision=33500 #constraints=2022 54.98/55.10 c nbDecision=34000 #constraints=2023 55.77/55.84 c nbDecision=34500 #constraints=2024 56.47/56.58 c nbDecision=35000 #constraints=2025 57.27/57.32 c nbDecision=35500 #constraints=2026 57.97/58.06 c nbDecision=36000 #constraints=2027 58.77/58.81 c nbDecision=36500 #constraints=2028 59.47/59.55 c nbDecision=37000 #constraints=2029 60.17/60.29 c nbDecision=37500 #constraints=2030 60.97/61.03 c nbDecision=38000 #constraints=2031 61.67/61.77 c nbDecision=38500 #constraints=2032 62.47/62.51 c nbDecision=39000 #constraints=2033 63.17/63.24 c nbDecision=39500 #constraints=2034 63.87/63.96 c nbDecision=40000 #constraints=2034 64.67/64.70 c nbDecision=40500 #constraints=2035 65.37/65.43 c nbDecision=41000 #constraints=2036 66.07/66.17 c nbDecision=41500 #constraints=2037 66.87/66.91 c nbDecision=42000 #constraints=2038 67.57/67.65 c nbDecision=42500 #constraints=2039 68.27/68.38 c nbDecision=43000 #constraints=2040 69.07/69.12 c nbDecision=43500 #constraints=2041 69.77/69.85 c nbDecision=44000 #constraints=2042 70.47/70.58 c nbDecision=44500 #constraints=2043 71.27/71.32 c nbDecision=45000 #constraints=2044 71.97/72.06 c nbDecision=45500 #constraints=2045 72.67/72.78 c nbDecision=46000 #constraints=2045 73.47/73.51 c nbDecision=46500 #constraints=2046 74.17/74.26 c nbDecision=47000 #constraints=2047 74.97/75.00 c nbDecision=47500 #constraints=2048 75.67/75.74 c nbDecision=48000 #constraints=2049 76.37/76.48 c nbDecision=48500 #constraints=2050 77.17/77.23 c nbDecision=49000 #constraints=2051 77.87/77.97 c nbDecision=49500 #constraints=2052 78.67/78.72 c nbDecision=50000 #constraints=2053 79.37/79.46 c nbDecision=50500 #constraints=2054 80.17/80.20 c nbDecision=51000 #constraints=2055 80.37/80.50 c restart after 51201 decisions 80.87/80.94 c nbDecision=51500 #constraints=2055 81.57/81.68 c nbDecision=52000 #constraints=2056 82.27/82.40 c nbDecision=52500 #constraints=2056 83.07/83.14 c nbDecision=53000 #constraints=2057 83.77/83.87 c nbDecision=53500 #constraints=2058 84.57/84.61 c nbDecision=54000 #constraints=2059 85.27/85.35 c nbDecision=54500 #constraints=2060 85.97/86.08 c nbDecision=55000 #constraints=2061 86.77/86.82 c nbDecision=55500 #constraints=2062 87.46/87.54 c nbDecision=56000 #constraints=2062 88.16/88.27 c nbDecision=56500 #constraints=2063 88.97/89.01 c nbDecision=57000 #constraints=2064 89.66/89.75 c nbDecision=57500 #constraints=2065 90.36/90.48 c nbDecision=58000 #constraints=2066 91.06/91.20 c nbDecision=58500 #constraints=2066 91.86/91.94 c nbDecision=59000 #constraints=2067 92.56/92.69 c nbDecision=59500 #constraints=2068 93.37/93.42 c nbDecision=60000 #constraints=2069 94.06/94.15 c nbDecision=60500 #constraints=2069 94.76/94.89 c nbDecision=61000 #constraints=2070 95.57/95.64 c nbDecision=61500 #constraints=2071 96.26/96.38 c nbDecision=62000 #constraints=2072 97.06/97.12 c nbDecision=62500 #constraints=2073 97.77/97.85 c nbDecision=63000 #constraints=2073 98.46/98.59 c nbDecision=63500 #constraints=2074 99.26/99.34 c nbDecision=64000 #constraints=2075 99.97/100.08 c nbDecision=64500 #constraints=2076 100.76/100.80 c nbDecision=65000 #constraints=2076 101.46/101.55 c nbDecision=65500 #constraints=2077 102.17/102.28 c nbDecision=66000 #constraints=2078 102.96/103.01 c nbDecision=66500 #constraints=2079 103.66/103.73 c nbDecision=67000 #constraints=2080 104.36/104.45 c nbDecision=67500 #constraints=2080 105.06/105.19 c nbDecision=68000 #constraints=2081 105.86/105.93 c nbDecision=68500 #constraints=2082 106.56/106.66 c nbDecision=69000 #constraints=2083 107.36/107.40 c nbDecision=69500 #constraints=2084 108.06/108.12 c nbDecision=70000 #constraints=2084 108.76/108.85 c nbDecision=70500 #constraints=2085 109.46/109.60 c nbDecision=71000 #constraints=2086 110.26/110.32 c nbDecision=71500 #constraints=2087 110.97/111.04 c nbDecision=72000 #constraints=2087 111.67/111.78 c nbDecision=72500 #constraints=2088 112.46/112.52 c nbDecision=73000 #constraints=2089 113.17/113.27 c nbDecision=73500 #constraints=2090 113.96/114.01 c nbDecision=74000 #constraints=2091 114.66/114.73 c nbDecision=74500 #constraints=2091 115.37/115.48 c nbDecision=75000 #constraints=2092 116.16/116.22 c nbDecision=75500 #constraints=2093 116.86/116.96 c nbDecision=76000 #constraints=2094 117.57/117.69 c nbDecision=76500 #constraints=2094 118.36/118.43 c nbDecision=77000 #constraints=2095 119.06/119.18 c nbDecision=77500 #constraints=2096 119.87/119.90 c nbDecision=78000 #constraints=2096 120.56/120.65 c nbDecision=78500 #constraints=2097 121.26/121.39 c nbDecision=79000 #constraints=2098 122.06/122.12 c nbDecision=79500 #constraints=2099 122.76/122.84 c nbDecision=80000 #constraints=2099 123.46/123.58 c nbDecision=80500 #constraints=2100 124.26/124.31 c nbDecision=81000 #constraints=2101 124.96/125.04 c nbDecision=81500 #constraints=2102 125.66/125.76 c nbDecision=82000 #constraints=2102 126.36/126.50 c nbDecision=82500 #constraints=2103 127.16/127.23 c nbDecision=83000 #constraints=2104 127.86/127.95 c nbDecision=83500 #constraints=2104 128.56/128.69 c nbDecision=84000 #constraints=2105 129.36/129.42 c nbDecision=84500 #constraints=2106 130.06/130.16 c nbDecision=85000 #constraints=2107 130.76/130.88 c nbDecision=85500 #constraints=2107 131.56/131.62 c nbDecision=86000 #constraints=2108 132.25/132.36 c nbDecision=86500 #constraints=2109 132.96/133.08 c nbDecision=87000 #constraints=2109 133.75/133.83 c nbDecision=87500 #constraints=2110 134.45/134.57 c nbDecision=88000 #constraints=2111 135.26/135.31 c nbDecision=88500 #constraints=2112 135.95/136.04 c nbDecision=89000 #constraints=2112 136.65/136.78 c nbDecision=89500 #constraints=2113 137.46/137.52 c nbDecision=90000 #constraints=2114 138.15/138.25 c nbDecision=90500 #constraints=2114 138.85/138.98 c nbDecision=91000 #constraints=2115 139.65/139.72 c nbDecision=91500 #constraints=2116 140.35/140.46 c nbDecision=92000 #constraints=2117 141.05/141.19 c nbDecision=92500 #constraints=2117 141.85/141.93 c nbDecision=93000 #constraints=2118 142.55/142.66 c nbDecision=93500 #constraints=2119 143.25/143.38 c nbDecision=94000 #constraints=2119 144.05/144.12 c nbDecision=94500 #constraints=2120 144.75/144.86 c nbDecision=95000 #constraints=2121 145.45/145.59 c nbDecision=95500 #constraints=2122 146.25/146.31 c nbDecision=96000 #constraints=2122 146.94/147.04 c nbDecision=96500 #constraints=2123 147.65/147.78 c nbDecision=97000 #constraints=2124 148.35/148.50 c nbDecision=97500 #constraints=2124 149.14/149.22 c nbDecision=98000 #constraints=2125 149.84/149.96 c nbDecision=98500 #constraints=2126 150.55/150.69 c nbDecision=99000 #constraints=2127 151.34/151.41 c nbDecision=99500 #constraints=2127 152.04/152.16 c nbDecision=100000 #constraints=2128 152.75/152.90 c nbDecision=100500 #constraints=2129 153.54/153.62 c nbDecision=101000 #constraints=2129 154.24/154.37 c nbDecision=101500 #constraints=2130 155.05/155.11 c nbDecision=102000 #constraints=2131 155.54/155.69 c restart after 102401 decisions 155.74/155.85 c nbDecision=102500 #constraints=2131 156.44/156.58 c nbDecision=103000 #constraints=2131 157.24/157.32 c nbDecision=103500 #constraints=2132 157.94/158.05 c nbDecision=104000 #constraints=2132 158.64/158.79 c nbDecision=104500 #constraints=2133 159.44/159.53 c nbDecision=105000 #constraints=2134 160.14/160.27 c nbDecision=105500 #constraints=2135 160.94/161.00 c nbDecision=106000 #constraints=2135 161.64/161.74 c nbDecision=106500 #constraints=2136 162.34/162.47 c nbDecision=107000 #constraints=2137 163.04/163.19 c nbDecision=107500 #constraints=2137 163.84/163.93 c nbDecision=108000 #constraints=2138 164.54/164.66 c nbDecision=108500 #constraints=2139 165.24/165.38 c nbDecision=109000 #constraints=2139 166.05/166.12 c nbDecision=109500 #constraints=2140 166.74/166.85 c nbDecision=110000 #constraints=2141 167.44/167.57 c nbDecision=110500 #constraints=2141 168.25/168.30 c nbDecision=111000 #constraints=2142 168.94/169.04 c nbDecision=111500 #constraints=2143 169.64/169.76 c nbDecision=112000 #constraints=2143 170.35/170.49 c nbDecision=112500 #constraints=2144 171.14/171.23 c nbDecision=113000 #constraints=2145 171.84/171.95 c nbDecision=113500 #constraints=2145 172.54/172.70 c nbDecision=114000 #constraints=2146 173.34/173.44 c nbDecision=114500 #constraints=2147 174.04/174.16 c nbDecision=115000 #constraints=2147 174.84/174.91 c nbDecision=115500 #constraints=2148 175.54/175.65 c nbDecision=116000 #constraints=2149 176.24/176.37 c nbDecision=116500 #constraints=2149 177.04/177.12 c nbDecision=117000 #constraints=2150 177.74/177.85 c nbDecision=117500 #constraints=2151 178.44/178.58 c nbDecision=118000 #constraints=2151 179.24/179.32 c nbDecision=118500 #constraints=2152 179.94/180.03 c nbDecision=119000 #constraints=2152 180.64/180.77 c nbDecision=119500 #constraints=2153 181.44/181.51 c nbDecision=120000 #constraints=2154 182.14/182.21 c nbDecision=120500 #constraints=2154 182.84/182.95 c nbDecision=121000 #constraints=2155 183.54/183.69 c nbDecision=121500 #constraints=2156 184.33/184.40 c nbDecision=122000 #constraints=2156 185.03/185.14 c nbDecision=122500 #constraints=2157 185.74/185.87 c nbDecision=123000 #constraints=2158 186.43/186.59 c nbDecision=123500 #constraints=2158 187.23/187.33 c nbDecision=124000 #constraints=2159 187.94/188.06 c nbDecision=124500 #constraints=2160 188.63/188.78 c nbDecision=125000 #constraints=2160 189.43/189.52 c nbDecision=125500 #constraints=2161 190.14/190.23 c nbDecision=126000 #constraints=2161 190.83/190.97 c nbDecision=126500 #constraints=2162 191.63/191.71 c nbDecision=127000 #constraints=2163 192.33/192.43 c nbDecision=127500 #constraints=2163 193.03/193.18 c nbDecision=128000 #constraints=2164 193.83/193.92 c nbDecision=128500 #constraints=2165 194.53/194.64 c nbDecision=129000 #constraints=2165 195.23/195.39 c nbDecision=129500 #constraints=2166 196.03/196.13 c nbDecision=130000 #constraints=2167 196.73/196.86 c nbDecision=130500 #constraints=2167 197.53/197.60 c nbDecision=131000 #constraints=2168 198.23/198.34 c nbDecision=131500 #constraints=2169 198.93/199.06 c nbDecision=132000 #constraints=2169 199.63/199.79 c nbDecision=132500 #constraints=2170 200.43/200.53 c nbDecision=133000 #constraints=2171 201.13/201.25 c nbDecision=133500 #constraints=2171 201.83/201.99 c nbDecision=134000 #constraints=2172 202.63/202.70 c nbDecision=134500 #constraints=2172 203.33/203.44 c nbDecision=135000 #constraints=2173 204.03/204.17 c nbDecision=135500 #constraints=2174 204.73/204.89 c nbDecision=136000 #constraints=2174 205.53/205.63 c nbDecision=136500 #constraints=2175 206.23/206.36 c nbDecision=137000 #constraints=2176 206.92/207.06 c nbDecision=137500 #constraints=2176 207.62/207.80 c nbDecision=138000 #constraints=2177 208.42/208.51 c nbDecision=138500 #constraints=2177 209.12/209.25 c nbDecision=139000 #constraints=2178 209.82/209.98 c nbDecision=139500 #constraints=2179 210.62/210.70 c nbDecision=140000 #constraints=2179 211.32/211.44 c nbDecision=140500 #constraints=2180 212.02/212.18 c nbDecision=141000 #constraints=2181 212.82/212.91 c nbDecision=141500 #constraints=2181 213.52/213.65 c nbDecision=142000 #constraints=2182 214.22/214.37 c nbDecision=142500 #constraints=2182 215.02/215.11 c nbDecision=143000 #constraints=2183 215.72/215.85 c nbDecision=143500 #constraints=2184 216.42/216.58 c nbDecision=144000 #constraints=2184 217.22/217.32 c nbDecision=144500 #constraints=2185 217.92/218.06 c nbDecision=145000 #constraints=2186 218.62/218.79 c nbDecision=145500 #constraints=2186 219.42/219.53 c nbDecision=146000 #constraints=2187 220.12/220.25 c nbDecision=146500 #constraints=2187 220.82/221.00 c nbDecision=147000 #constraints=2188 221.62/221.73 c nbDecision=147500 #constraints=2189 222.32/222.44 c nbDecision=148000 #constraints=2189 223.02/223.18 c nbDecision=148500 #constraints=2190 223.72/223.89 c nbDecision=149000 #constraints=2190 224.52/224.63 c nbDecision=149500 #constraints=2191 225.22/225.36 c nbDecision=150000 #constraints=2192 225.92/226.08 c nbDecision=150500 #constraints=2192 226.72/226.82 c nbDecision=151000 #constraints=2193 227.42/227.54 c nbDecision=151500 #constraints=2193 228.12/228.27 c nbDecision=152000 #constraints=2194 228.82/228.99 c nbDecision=152500 #constraints=2194 229.62/229.72 c nbDecision=153000 #constraints=2195 230.32/230.46 c nbDecision=153500 #constraints=2196 231.01/231.18 c nbDecision=154000 #constraints=2196 231.81/231.92 c nbDecision=154500 #constraints=2197 232.51/232.63 c nbDecision=155000 #constraints=2197 233.21/233.37 c nbDecision=155500 #constraints=2198 234.01/234.11 c nbDecision=156000 #constraints=2199 234.71/234.84 c nbDecision=156500 #constraints=2199 235.41/235.58 c nbDecision=157000 #constraints=2200 236.21/236.30 c nbDecision=157500 #constraints=2200 236.91/237.05 c nbDecision=158000 #constraints=2201 237.61/237.77 c nbDecision=158500 #constraints=2201 238.41/238.51 c nbDecision=159000 #constraints=2202 239.11/239.25 c nbDecision=159500 #constraints=2203 239.81/239.98 c nbDecision=160000 #constraints=2203 240.62/240.72 c nbDecision=160500 #constraints=2204 241.32/241.44 c nbDecision=161000 #constraints=2204 242.02/242.18 c nbDecision=161500 #constraints=2205 242.72/242.89 c nbDecision=162000 #constraints=2205 243.52/243.63 c nbDecision=162500 #constraints=2206 244.22/244.36 c nbDecision=163000 #constraints=2207 244.92/245.08 c nbDecision=163500 #constraints=2207 245.72/245.82 c nbDecision=164000 #constraints=2208 246.42/246.53 c nbDecision=164500 #constraints=2208 247.12/247.27 c nbDecision=165000 #constraints=2209 247.82/247.99 c nbDecision=165500 #constraints=2209 248.62/248.72 c nbDecision=166000 #constraints=2210 249.32/249.44 c nbDecision=166500 #constraints=2210 250.02/250.18 c nbDecision=167000 #constraints=2211 250.82/250.90 c nbDecision=167500 #constraints=2212 251.52/251.62 c nbDecision=168000 #constraints=2212 252.22/252.37 c nbDecision=168500 #constraints=2213 252.92/253.09 c nbDecision=169000 #constraints=2213 253.72/253.83 c nbDecision=169500 #constraints=2214 254.42/254.55 c nbDecision=170000 #constraints=2214 255.22/255.30 c nbDecision=170500 #constraints=2215 255.92/256.04 c nbDecision=171000 #constraints=2216 256.61/256.76 c nbDecision=171500 #constraints=2216 257.41/257.50 c nbDecision=172000 #constraints=2217 258.11/258.23 c nbDecision=172500 #constraints=2217 258.81/258.97 c nbDecision=173000 #constraints=2218 259.52/259.69 c nbDecision=173500 #constraints=2218 260.31/260.44 c nbDecision=174000 #constraints=2219 261.01/261.16 c nbDecision=174500 #constraints=2219 261.81/261.90 c nbDecision=175000 #constraints=2220 262.51/262.63 c nbDecision=175500 #constraints=2221 263.21/263.35 c nbDecision=176000 #constraints=2221 263.92/264.08 c nbDecision=176500 #constraints=2222 264.71/264.80 c nbDecision=177000 #constraints=2222 265.41/265.54 c nbDecision=177500 #constraints=2223 266.11/266.25 c nbDecision=178000 #constraints=2223 266.81/266.99 c nbDecision=178500 #constraints=2224 267.61/267.70 c nbDecision=179000 #constraints=2224 268.31/268.44 c nbDecision=179500 #constraints=2225 269.01/269.18 c nbDecision=180000 #constraints=2226 269.71/269.89 c nbDecision=180500 #constraints=2226 270.51/270.63 c nbDecision=181000 #constraints=2227 271.21/271.34 c nbDecision=181500 #constraints=2227 271.91/272.09 c nbDecision=182000 #constraints=2228 272.61/272.80 c nbDecision=182500 #constraints=2228 273.41/273.54 c nbDecision=183000 #constraints=2229 274.11/274.28 c nbDecision=183500 #constraints=2230 274.91/275.01 c nbDecision=184000 #constraints=2230 275.60/275.75 c nbDecision=184500 #constraints=2231 276.30/276.47 c nbDecision=185000 #constraints=2231 277.11/277.22 c nbDecision=185500 #constraints=2232 277.80/277.94 c nbDecision=186000 #constraints=2232 278.50/278.68 c nbDecision=186500 #constraints=2233 279.31/279.40 c nbDecision=187000 #constraints=2233 280.00/280.15 c nbDecision=187500 #constraints=2234 280.70/280.88 c nbDecision=188000 #constraints=2235 281.51/281.60 c nbDecision=188500 #constraints=2235 282.20/282.33 c nbDecision=189000 #constraints=2236 282.90/283.05 c nbDecision=189500 #constraints=2236 283.60/283.79 c nbDecision=190000 #constraints=2237 284.40/284.50 c nbDecision=190500 #constraints=2237 285.10/285.24 c nbDecision=191000 #constraints=2238 285.80/285.95 c nbDecision=191500 #constraints=2238 286.50/286.69 c nbDecision=192000 #constraints=2239 287.30/287.41 c nbDecision=192500 #constraints=2239 288.00/288.14 c nbDecision=193000 #constraints=2240 288.70/288.88 c nbDecision=193500 #constraints=2241 289.40/289.60 c nbDecision=194000 #constraints=2241 290.20/290.33 c nbDecision=194500 #constraints=2242 290.90/291.05 c nbDecision=195000 #constraints=2242 291.60/291.79 c nbDecision=195500 #constraints=2243 292.40/292.51 c nbDecision=196000 #constraints=2243 293.10/293.26 c nbDecision=196500 #constraints=2244 293.80/293.96 c nbDecision=197000 #constraints=2244 294.60/294.70 c nbDecision=197500 #constraints=2245 295.30/295.42 c nbDecision=198000 #constraints=2245 296.00/296.17 c nbDecision=198500 #constraints=2246 296.69/296.89 c nbDecision=199000 #constraints=2246 297.49/297.63 c nbDecision=199500 #constraints=2247 298.19/298.37 c nbDecision=200000 #constraints=2248 298.89/299.10 c nbDecision=200500 #constraints=2248 299.69/299.84 c nbDecision=201000 #constraints=2249 300.39/300.56 c nbDecision=201500 #constraints=2249 301.09/301.30 c nbDecision=202000 #constraints=2250 301.90/302.02 c nbDecision=202500 #constraints=2250 302.59/302.75 c nbDecision=203000 #constraints=2251 303.29/303.47 c nbDecision=203500 #constraints=2251 304.09/304.20 c nbDecision=204000 #constraints=2252 304.79/304.92 c nbDecision=204500 #constraints=2252 305.19/305.37 c restart after 204801 decisions 305.49/305.68 c nbDecision=205000 #constraints=2253 306.29/306.40 c nbDecision=205500 #constraints=2253 306.99/307.13 c nbDecision=206000 #constraints=2254 307.69/307.85 c nbDecision=206500 #constraints=2254 308.39/308.59 c nbDecision=207000 #constraints=2255 309.19/309.30 c nbDecision=207500 #constraints=2255 309.90/310.04 c nbDecision=208000 #constraints=2256 310.60/310.74 c nbDecision=208500 #constraints=2256 311.30/311.48 c nbDecision=209000 #constraints=2257 312.10/312.20 c nbDecision=209500 #constraints=2257 312.80/312.95 c nbDecision=210000 #constraints=2258 313.50/313.67 c nbDecision=210500 #constraints=2258 314.30/314.41 c nbDecision=211000 #constraints=2259 315.00/315.13 c nbDecision=211500 #constraints=2259 315.70/315.87 c nbDecision=212000 #constraints=2260 316.50/316.61 c nbDecision=212500 #constraints=2261 317.20/317.34 c nbDecision=213000 #constraints=2261 317.90/318.08 c nbDecision=213500 #constraints=2262 318.70/318.81 c nbDecision=214000 #constraints=2262 319.40/319.55 c nbDecision=214500 #constraints=2263 320.10/320.27 c nbDecision=215000 #constraints=2263 320.90/321.01 c nbDecision=215500 #constraints=2264 321.60/321.73 c nbDecision=216000 #constraints=2264 322.30/322.47 c nbDecision=216500 #constraints=2265 322.99/323.18 c nbDecision=217000 #constraints=2265 323.79/323.92 c nbDecision=217500 #constraints=2266 324.49/324.65 c nbDecision=218000 #constraints=2267 325.19/325.37 c nbDecision=218500 #constraints=2267 325.99/326.11 c nbDecision=219000 #constraints=2268 326.69/326.82 c nbDecision=219500 #constraints=2268 327.39/327.56 c nbDecision=220000 #constraints=2269 328.09/328.27 c nbDecision=220500 #constraints=2269 328.89/329.01 c nbDecision=221000 #constraints=2270 329.59/329.73 c nbDecision=221500 #constraints=2270 330.29/330.46 c nbDecision=222000 #constraints=2271 330.99/331.18 c nbDecision=222500 #constraints=2271 331.79/331.92 c nbDecision=223000 #constraints=2272 332.49/332.64 c nbDecision=223500 #constraints=2272 333.19/333.39 c nbDecision=224000 #constraints=2273 333.99/334.13 c nbDecision=224500 #constraints=2274 334.69/334.85 c nbDecision=225000 #constraints=2274 335.39/335.59 c nbDecision=225500 #constraints=2275 336.19/336.31 c nbDecision=226000 #constraints=2275 336.89/337.06 c nbDecision=226500 #constraints=2276 337.59/337.78 c nbDecision=227000 #constraints=2276 338.39/338.52 c nbDecision=227500 #constraints=2277 339.09/339.24 c nbDecision=228000 #constraints=2277 339.79/339.99 c nbDecision=228500 #constraints=2278 340.59/340.71 c nbDecision=229000 #constraints=2278 341.29/341.45 c nbDecision=229500 #constraints=2279 341.99/342.18 c nbDecision=230000 #constraints=2280 342.69/342.89 c nbDecision=230500 #constraints=2280 343.49/343.62 c nbDecision=231000 #constraints=2281 344.19/344.34 c nbDecision=231500 #constraints=2281 344.88/345.06 c nbDecision=232000 #constraints=2282 345.58/345.78 c nbDecision=232500 #constraints=2282 346.39/346.51 c nbDecision=233000 #constraints=2283 347.08/347.23 c nbDecision=233500 #constraints=2283 347.78/347.96 c nbDecision=234000 #constraints=2284 348.49/348.68 c nbDecision=234500 #constraints=2284 349.28/349.42 c nbDecision=235000 #constraints=2285 349.98/350.13 c nbDecision=235500 #constraints=2285 350.69/350.85 c nbDecision=236000 #constraints=2286 351.38/351.59 c nbDecision=236500 #constraints=2287 352.18/352.32 c nbDecision=237000 #constraints=2287 352.89/353.06 c nbDecision=237500 #constraints=2288 353.58/353.78 c nbDecision=238000 #constraints=2288 354.38/354.53 c nbDecision=238500 #constraints=2289 355.09/355.25 c nbDecision=239000 #constraints=2289 355.78/355.99 c nbDecision=239500 #constraints=2290 356.58/356.71 c nbDecision=240000 #constraints=2290 357.29/357.45 c nbDecision=240500 #constraints=2291 357.98/358.17 c nbDecision=241000 #constraints=2291 358.78/358.91 c nbDecision=241500 #constraints=2292 359.49/359.65 c nbDecision=242000 #constraints=2293 360.18/360.38 c nbDecision=242500 #constraints=2293 360.98/361.12 c nbDecision=243000 #constraints=2294 361.69/361.84 c nbDecision=243500 #constraints=2294 362.38/362.57 c nbDecision=244000 #constraints=2295 363.08/363.28 c nbDecision=244500 #constraints=2295 363.88/364.02 c nbDecision=245000 #constraints=2296 364.58/364.74 c nbDecision=245500 #constraints=2296 365.28/365.47 c nbDecision=246000 #constraints=2297 365.98/366.18 c nbDecision=246500 #constraints=2297 366.78/366.92 c nbDecision=247000 #constraints=2298 367.48/367.62 c nbDecision=247500 #constraints=2298 368.18/368.35 c nbDecision=248000 #constraints=2299 368.88/369.09 c nbDecision=248500 #constraints=2300 369.58/369.80 c nbDecision=249000 #constraints=2300 370.38/370.53 c nbDecision=249500 #constraints=2301 371.08/371.25 c nbDecision=250000 #constraints=2301 371.78/371.99 c nbDecision=250500 #constraints=2302 372.58/372.71 c nbDecision=251000 #constraints=2302 373.28/373.45 c nbDecision=251500 #constraints=2303 373.98/374.17 c nbDecision=252000 #constraints=2303 374.78/374.92 c nbDecision=252500 #constraints=2304 375.47/375.64 c nbDecision=253000 #constraints=2304 376.17/376.38 c nbDecision=253500 #constraints=2305 376.97/377.10 c nbDecision=254000 #constraints=2305 377.67/377.85 c nbDecision=254500 #constraints=2306 378.37/378.57 c nbDecision=255000 #constraints=2306 379.17/379.31 c nbDecision=255500 #constraints=2307 379.87/380.03 c nbDecision=256000 #constraints=2307 380.57/380.78 c nbDecision=256500 #constraints=2308 381.37/381.51 c nbDecision=257000 #constraints=2309 382.07/382.23 c nbDecision=257500 #constraints=2309 382.77/382.97 c nbDecision=258000 #constraints=2310 383.47/383.68 c nbDecision=258500 #constraints=2310 384.27/384.41 c nbDecision=259000 #constraints=2311 384.97/385.13 c nbDecision=259500 #constraints=2311 385.67/385.85 c nbDecision=260000 #constraints=2312 386.37/386.57 c nbDecision=260500 #constraints=2312 387.17/387.30 c nbDecision=261000 #constraints=2313 387.87/388.02 c nbDecision=261500 #constraints=2313 388.57/388.75 c nbDecision=262000 #constraints=2314 389.27/389.47 c nbDecision=262500 #constraints=2314 390.07/390.21 c nbDecision=263000 #constraints=2315 390.77/390.92 c nbDecision=263500 #constraints=2315 391.47/391.66 c nbDecision=264000 #constraints=2316 392.17/392.40 c nbDecision=264500 #constraints=2317 392.97/393.12 c nbDecision=265000 #constraints=2317 393.67/393.86 c nbDecision=265500 #constraints=2318 394.37/394.59 c nbDecision=266000 #constraints=2318 395.17/395.33 c nbDecision=266500 #constraints=2319 395.87/396.06 c nbDecision=267000 #constraints=2319 396.67/396.80 c nbDecision=267500 #constraints=2320 397.37/397.51 c nbDecision=268000 #constraints=2320 398.07/398.25 c nbDecision=268500 #constraints=2321 398.77/398.98 c nbDecision=269000 #constraints=2321 399.57/399.72 c nbDecision=269500 #constraints=2322 400.27/400.44 c nbDecision=270000 #constraints=2322 400.97/401.19 c nbDecision=270500 #constraints=2323 401.77/401.90 c nbDecision=271000 #constraints=2323 402.47/402.64 c nbDecision=271500 #constraints=2324 403.17/403.35 c nbDecision=272000 #constraints=2324 403.87/404.09 c nbDecision=272500 #constraints=2325 404.67/404.82 c nbDecision=273000 #constraints=2326 405.36/405.54 c nbDecision=273500 #constraints=2326 406.06/406.28 c nbDecision=274000 #constraints=2327 406.77/406.99 c nbDecision=274500 #constraints=2327 407.56/407.72 c nbDecision=275000 #constraints=2328 408.26/408.44 c nbDecision=275500 #constraints=2328 408.97/409.17 c nbDecision=276000 #constraints=2329 409.66/409.89 c nbDecision=276500 #constraints=2329 410.46/410.62 c nbDecision=277000 #constraints=2330 411.16/411.34 c nbDecision=277500 #constraints=2330 411.86/412.08 c nbDecision=278000 #constraints=2331 412.66/412.81 c nbDecision=278500 #constraints=2331 413.36/413.53 c nbDecision=279000 #constraints=2331 414.06/414.27 c nbDecision=279500 #constraints=2332 414.76/414.99 c nbDecision=280000 #constraints=2332 415.56/415.74 c nbDecision=280500 #constraints=2333 416.26/416.46 c nbDecision=281000 #constraints=2333 417.06/417.20 c nbDecision=281500 #constraints=2334 417.76/417.92 c nbDecision=282000 #constraints=2334 418.46/418.66 c nbDecision=282500 #constraints=2335 419.16/419.38 c nbDecision=283000 #constraints=2335 419.96/420.13 c nbDecision=283500 #constraints=2336 420.66/420.85 c nbDecision=284000 #constraints=2336 421.36/421.59 c nbDecision=284500 #constraints=2337 422.06/422.29 c nbDecision=285000 #constraints=2337 422.86/423.02 c nbDecision=285500 #constraints=2338 423.56/423.74 c nbDecision=286000 #constraints=2338 424.26/424.48 c nbDecision=286500 #constraints=2339 424.96/425.19 c nbDecision=287000 #constraints=2339 425.76/425.93 c nbDecision=287500 #constraints=2340 426.46/426.64 c nbDecision=288000 #constraints=2340 427.16/427.37 c nbDecision=288500 #constraints=2341 427.86/428.09 c nbDecision=289000 #constraints=2341 428.66/428.80 c nbDecision=289500 #constraints=2341 429.36/429.54 c nbDecision=290000 #constraints=2342 430.06/430.25 c nbDecision=290500 #constraints=2342 430.76/430.99 c nbDecision=291000 #constraints=2343 431.56/431.71 c nbDecision=291500 #constraints=2343 432.26/432.45 c nbDecision=292000 #constraints=2344 432.96/433.17 c nbDecision=292500 #constraints=2344 433.76/433.91 c nbDecision=293000 #constraints=2345 434.46/434.64 c nbDecision=293500 #constraints=2345 435.16/435.38 c nbDecision=294000 #constraints=2346 435.96/436.10 c nbDecision=294500 #constraints=2346 436.66/436.84 c nbDecision=295000 #constraints=2347 437.36/437.55 c nbDecision=295500 #constraints=2347 438.06/438.29 c nbDecision=296000 #constraints=2348 438.86/439.02 c nbDecision=296500 #constraints=2348 439.56/439.74 c nbDecision=297000 #constraints=2348 440.26/440.48 c nbDecision=297500 #constraints=2349 441.06/441.20 c nbDecision=298000 #constraints=2349 441.76/441.94 c nbDecision=298500 #constraints=2350 442.46/442.65 c nbDecision=299000 #constraints=2350 443.16/443.39 c nbDecision=299500 #constraints=2351 443.96/444.10 c nbDecision=300000 #constraints=2351 444.66/444.84 c nbDecision=300500 #constraints=2352 445.36/445.55 c nbDecision=301000 #constraints=2352 446.06/446.29 c nbDecision=301500 #constraints=2353 446.86/447.00 c nbDecision=302000 #constraints=2353 447.56/447.72 c nbDecision=302500 #constraints=2354 448.25/448.44 c nbDecision=303000 #constraints=2354 448.95/449.15 c nbDecision=303500 #constraints=2354 449.66/449.89 c nbDecision=304000 #constraints=2355 450.45/450.61 c nbDecision=304500 #constraints=2355 451.15/451.34 c nbDecision=305000 #constraints=2356 451.86/452.06 c nbDecision=305500 #constraints=2356 452.65/452.81 c nbDecision=306000 #constraints=2357 453.35/453.53 c nbDecision=306500 #constraints=2357 454.06/454.27 c nbDecision=307000 #constraints=2358 454.75/454.99 c nbDecision=307500 #constraints=2358 455.55/455.73 c nbDecision=308000 #constraints=2359 456.26/456.46 c nbDecision=308500 #constraints=2359 456.95/457.17 c nbDecision=309000 #constraints=2359 457.75/457.91 c nbDecision=309500 #constraints=2360 458.45/458.64 c nbDecision=310000 #constraints=2360 459.15/459.37 c nbDecision=310500 #constraints=2361 459.95/460.10 c nbDecision=311000 #constraints=2361 460.65/460.82 c nbDecision=311500 #constraints=2361 461.35/461.56 c nbDecision=312000 #constraints=2362 462.05/462.27 c nbDecision=312500 #constraints=2362 462.85/463.00 c nbDecision=313000 #constraints=2363 463.55/463.72 c nbDecision=313500 #constraints=2363 464.25/464.45 c nbDecision=314000 #constraints=2364 464.95/465.17 c nbDecision=314500 #constraints=2364 465.65/465.88 c nbDecision=315000 #constraints=2364 466.45/466.61 c nbDecision=315500 #constraints=2365 467.15/467.32 c nbDecision=316000 #constraints=2365 467.85/468.05 c nbDecision=316500 #constraints=2366 468.55/468.77 c nbDecision=317000 #constraints=2366 469.24/469.48 c nbDecision=317500 #constraints=2366 470.04/470.22 c nbDecision=318000 #constraints=2367 470.74/470.93 c nbDecision=318500 #constraints=2367 471.44/471.67 c nbDecision=319000 #constraints=2368 472.14/472.39 c nbDecision=319500 #constraints=2368 472.94/473.13 c nbDecision=320000 #constraints=2369 473.64/473.85 c nbDecision=320500 #constraints=2369 474.34/474.57 c nbDecision=321000 #constraints=2369 475.14/475.31 c nbDecision=321500 #constraints=2370 475.84/476.03 c nbDecision=322000 #constraints=2370 476.54/476.77 c nbDecision=322500 #constraints=2371 477.24/477.48 c nbDecision=323000 #constraints=2371 478.04/478.20 c nbDecision=323500 #constraints=2371 478.74/478.93 c nbDecision=324000 #constraints=2372 479.44/479.65 c nbDecision=324500 #constraints=2372 480.14/480.39 c nbDecision=325000 #constraints=2373 480.94/481.12 c nbDecision=325500 #constraints=2373 481.64/481.85 c nbDecision=326000 #constraints=2374 482.34/482.56 c nbDecision=326500 #constraints=2374 483.04/483.28 c nbDecision=327000 #constraints=2374 483.84/484.01 c nbDecision=327500 #constraints=2375 484.54/484.72 c nbDecision=328000 #constraints=2375 485.24/485.46 c nbDecision=328500 #constraints=2376 485.94/486.17 c nbDecision=329000 #constraints=2376 486.64/486.89 c nbDecision=329500 #constraints=2376 487.44/487.61 c nbDecision=330000 #constraints=2377 488.14/488.32 c nbDecision=330500 #constraints=2377 488.84/489.05 c nbDecision=331000 #constraints=2378 489.54/489.77 c nbDecision=331500 #constraints=2378 490.34/490.50 c nbDecision=332000 #constraints=2379 491.03/491.22 c nbDecision=332500 #constraints=2379 491.73/491.94 c nbDecision=333000 #constraints=2379 492.43/492.68 c nbDecision=333500 #constraints=2380 493.23/493.40 c nbDecision=334000 #constraints=2380 493.93/494.14 c nbDecision=334500 #constraints=2381 494.63/494.86 c nbDecision=335000 #constraints=2381 495.43/495.60 c nbDecision=335500 #constraints=2382 496.13/496.33 c nbDecision=336000 #constraints=2382 496.83/497.05 c nbDecision=336500 #constraints=2382 497.53/497.78 c nbDecision=337000 #constraints=2383 498.33/498.50 c nbDecision=337500 #constraints=2383 499.03/499.24 c nbDecision=338000 #constraints=2384 499.73/499.96 c nbDecision=338500 #constraints=2384 500.43/500.68 c nbDecision=339000 #constraints=2384 501.23/501.42 c nbDecision=339500 #constraints=2385 501.93/502.14 c nbDecision=340000 #constraints=2385 502.63/502.87 c nbDecision=340500 #constraints=2386 503.33/503.58 c nbDecision=341000 #constraints=2386 504.13/504.31 c nbDecision=341500 #constraints=2387 504.83/505.03 c nbDecision=342000 #constraints=2387 505.53/505.75 c nbDecision=342500 #constraints=2387 506.23/506.48 c nbDecision=343000 #constraints=2388 506.94/507.19 c nbDecision=343500 #constraints=2388 507.73/507.92 c nbDecision=344000 #constraints=2389 508.43/508.64 c nbDecision=344500 #constraints=2389 509.14/509.35 c nbDecision=345000 #constraints=2389 509.83/510.09 c nbDecision=345500 #constraints=2390 510.53/510.79 c nbDecision=346000 #constraints=2390 511.34/511.53 c nbDecision=346500 #constraints=2391 512.03/512.25 c nbDecision=347000 #constraints=2391 512.73/512.98 c nbDecision=347500 #constraints=2392 513.53/513.71 c nbDecision=348000 #constraints=2392 514.23/514.43 c nbDecision=348500 #constraints=2392 514.93/515.17 c nbDecision=349000 #constraints=2393 515.63/515.89 c nbDecision=349500 #constraints=2393 516.43/516.63 c nbDecision=350000 #constraints=2394 517.13/517.35 c nbDecision=350500 #constraints=2394 517.83/518.07 c nbDecision=351000 #constraints=2394 518.63/518.81 c nbDecision=351500 #constraints=2395 519.33/519.53 c nbDecision=352000 #constraints=2395 520.03/520.27 c nbDecision=352500 #constraints=2396 520.73/520.99 c nbDecision=353000 #constraints=2396 521.53/521.72 c nbDecision=353500 #constraints=2397 522.23/522.44 c nbDecision=354000 #constraints=2397 522.93/523.15 c nbDecision=354500 #constraints=2397 523.63/523.88 c nbDecision=355000 #constraints=2398 524.33/524.59 c nbDecision=355500 #constraints=2398 525.13/525.32 c nbDecision=356000 #constraints=2399 525.83/526.04 c nbDecision=356500 #constraints=2399 526.52/526.75 c nbDecision=357000 #constraints=2399 527.22/527.48 c nbDecision=357500 #constraints=2400 527.92/528.19 c nbDecision=358000 #constraints=2400 528.72/528.92 c nbDecision=358500 #constraints=2401 529.42/529.64 c nbDecision=359000 #constraints=2401 530.12/530.37 c nbDecision=359500 #constraints=2402 530.82/531.08 c nbDecision=360000 #constraints=2402 531.62/531.80 c nbDecision=360500 #constraints=2402 532.32/532.54 c nbDecision=361000 #constraints=2403 533.02/533.26 c nbDecision=361500 #constraints=2403 533.82/534.00 c nbDecision=362000 #constraints=2404 534.52/534.72 c nbDecision=362500 #constraints=2404 535.22/535.44 c nbDecision=363000 #constraints=2404 535.92/536.18 c nbDecision=363500 #constraints=2405 536.72/536.90 c nbDecision=364000 #constraints=2405 537.42/537.60 c nbDecision=364500 #constraints=2405 538.12/538.34 c nbDecision=365000 #constraints=2406 538.82/539.06 c nbDecision=365500 #constraints=2406 539.52/539.78 c nbDecision=366000 #constraints=2406 540.32/540.52 c nbDecision=366500 #constraints=2407 541.02/541.24 c nbDecision=367000 #constraints=2407 541.72/541.97 c nbDecision=367500 #constraints=2408 542.42/542.69 c nbDecision=368000 #constraints=2408 543.12/543.40 c nbDecision=368500 #constraints=2408 543.92/544.13 c nbDecision=369000 #constraints=2409 544.62/544.84 c nbDecision=369500 #constraints=2409 545.32/545.56 c nbDecision=370000 #constraints=2409 546.02/546.29 c nbDecision=370500 #constraints=2410 546.81/547.00 c nbDecision=371000 #constraints=2410 547.41/547.70 c nbDecision=371500 #constraints=2410 548.21/548.43 c nbDecision=372000 #constraints=2411 548.91/549.15 c nbDecision=372500 #constraints=2411 549.61/549.86 c nbDecision=373000 #constraints=2411 550.31/550.59 c nbDecision=373500 #constraints=2412 551.11/551.30 c nbDecision=374000 #constraints=2412 551.81/552.04 c nbDecision=374500 #constraints=2413 552.51/552.76 c nbDecision=375000 #constraints=2413 553.21/553.48 c nbDecision=375500 #constraints=2413 554.01/554.21 c nbDecision=376000 #constraints=2414 554.71/554.94 c nbDecision=376500 #constraints=2414 555.41/555.66 c nbDecision=377000 #constraints=2414 556.11/556.39 c nbDecision=377500 #constraints=2415 556.91/557.11 c nbDecision=378000 #constraints=2415 557.61/557.83 c nbDecision=378500 #constraints=2415 558.31/558.57 c nbDecision=379000 #constraints=2416 559.01/559.29 c nbDecision=379500 #constraints=2416 559.81/560.02 c nbDecision=380000 #constraints=2417 560.51/560.75 c nbDecision=380500 #constraints=2417 561.21/561.47 c nbDecision=381000 #constraints=2417 561.91/562.19 c nbDecision=381500 #constraints=2418 562.71/562.91 c nbDecision=382000 #constraints=2418 563.41/563.62 c nbDecision=382500 #constraints=2418 564.11/564.36 c nbDecision=383000 #constraints=2419 564.81/565.07 c nbDecision=383500 #constraints=2419 565.51/565.78 c nbDecision=384000 #constraints=2419 566.31/566.52 c nbDecision=384500 #constraints=2420 567.01/567.23 c nbDecision=385000 #constraints=2420 567.71/567.94 c nbDecision=385500 #constraints=2420 568.41/568.67 c nbDecision=386000 #constraints=2421 569.11/569.38 c nbDecision=386500 #constraints=2421 569.91/570.11 c nbDecision=387000 #constraints=2422 570.61/570.83 c nbDecision=387500 #constraints=2422 571.31/571.54 c nbDecision=388000 #constraints=2422 572.01/572.28 c nbDecision=388500 #constraints=2423 572.71/573.00 c nbDecision=389000 #constraints=2423 573.51/573.72 c nbDecision=389500 #constraints=2423 574.21/574.46 c nbDecision=390000 #constraints=2424 574.91/575.18 c nbDecision=390500 #constraints=2424 575.71/575.90 c nbDecision=391000 #constraints=2424 576.40/576.64 c nbDecision=391500 #constraints=2425 577.10/577.35 c nbDecision=392000 #constraints=2425 577.80/578.07 c nbDecision=392500 #constraints=2425 578.60/578.81 c nbDecision=393000 #constraints=2426 579.30/579.53 c nbDecision=393500 #constraints=2426 580.00/580.26 c nbDecision=394000 #constraints=2427 580.70/580.99 c nbDecision=394500 #constraints=2427 581.50/581.71 c nbDecision=395000 #constraints=2427 582.20/582.43 c nbDecision=395500 #constraints=2428 582.90/583.15 c nbDecision=396000 #constraints=2428 583.60/583.86 c nbDecision=396500 #constraints=2428 584.30/584.59 c nbDecision=397000 #constraints=2429 585.10/585.31 c nbDecision=397500 #constraints=2429 585.80/586.02 c nbDecision=398000 #constraints=2429 586.50/586.75 c nbDecision=398500 #constraints=2430 587.20/587.46 c nbDecision=399000 #constraints=2430 587.90/588.18 c nbDecision=399500 #constraints=2430 588.70/588.91 c nbDecision=400000 #constraints=2431 589.40/589.62 c nbDecision=400500 #constraints=2431 590.10/590.35 c nbDecision=401000 #constraints=2432 590.80/591.07 c nbDecision=401500 #constraints=2432 591.50/591.78 c nbDecision=402000 #constraints=2432 592.30/592.52 c nbDecision=402500 #constraints=2433 593.00/593.24 c nbDecision=403000 #constraints=2433 593.70/593.96 c nbDecision=403500 #constraints=2433 594.50/594.70 c nbDecision=404000 #constraints=2434 595.20/595.42 c nbDecision=404500 #constraints=2434 595.90/596.14 c nbDecision=405000 #constraints=2434 596.60/596.86 c nbDecision=405500 #constraints=2435 597.30/597.57 c nbDecision=406000 #constraints=2435 597.99/598.29 c nbDecision=406500 #constraints=2435 598.79/599.03 c nbDecision=407000 #constraints=2436 599.49/599.75 c nbDecision=407500 #constraints=2436 600.19/600.48 c nbDecision=408000 #constraints=2437 600.99/601.21 c nbDecision=408500 #constraints=2437 601.69/601.92 c nbDecision=409000 #constraints=2437 602.39/602.65 c nbDecision=409500 #constraints=2438 602.50/602.79 c restart after 409601 decisions 603.09/603.39 c nbDecision=410000 #constraints=2438 603.89/604.11 c nbDecision=410500 #constraints=2438 604.59/604.82 c nbDecision=411000 #constraints=2438 605.29/605.55 c nbDecision=411500 #constraints=2439 605.99/606.27 c nbDecision=412000 #constraints=2439 606.69/606.98 c nbDecision=412500 #constraints=2439 607.49/607.70 c nbDecision=413000 #constraints=2440 608.20/608.42 c nbDecision=413500 #constraints=2440 608.90/609.13 c nbDecision=414000 #constraints=2440 609.60/609.87 c nbDecision=414500 #constraints=2441 610.30/610.58 c nbDecision=415000 #constraints=2441 611.10/611.30 c nbDecision=415500 #constraints=2442 611.80/612.03 c nbDecision=416000 #constraints=2442 612.50/612.75 c nbDecision=416500 #constraints=2442 613.20/613.48 c nbDecision=417000 #constraints=2443 614.00/614.21 c nbDecision=417500 #constraints=2443 614.70/614.93 c nbDecision=418000 #constraints=2443 615.40/615.66 c nbDecision=418500 #constraints=2444 616.10/616.39 c nbDecision=419000 #constraints=2444 616.90/617.11 c nbDecision=419500 #constraints=2444 617.60/617.84 c nbDecision=420000 #constraints=2445 618.30/618.57 c nbDecision=420500 #constraints=2445 619.00/619.28 c nbDecision=421000 #constraints=2445 619.80/620.02 c nbDecision=421500 #constraints=2446 620.50/620.74 c nbDecision=422000 #constraints=2446 621.20/621.46 c nbDecision=422500 #constraints=2446 621.90/622.19 c nbDecision=423000 #constraints=2447 622.70/622.91 c nbDecision=423500 #constraints=2447 623.40/623.63 c nbDecision=424000 #constraints=2448 624.09/624.35 c nbDecision=424500 #constraints=2448 624.79/625.06 c nbDecision=425000 #constraints=2448 625.49/625.79 c nbDecision=425500 #constraints=2449 626.29/626.51 c nbDecision=426000 #constraints=2449 626.99/627.22 c nbDecision=426500 #constraints=2449 627.69/627.95 c nbDecision=427000 #constraints=2450 628.39/628.66 c nbDecision=427500 #constraints=2450 629.09/629.37 c nbDecision=428000 #constraints=2450 629.89/630.11 c nbDecision=428500 #constraints=2451 630.59/630.82 c nbDecision=429000 #constraints=2451 631.29/631.53 c nbDecision=429500 #constraints=2451 631.99/632.27 c nbDecision=430000 #constraints=2452 632.69/632.99 c nbDecision=430500 #constraints=2452 633.49/633.71 c nbDecision=431000 #constraints=2452 634.19/634.45 c nbDecision=431500 #constraints=2453 634.89/635.15 c nbDecision=432000 #constraints=2453 635.60/635.88 c nbDecision=432500 #constraints=2454 636.39/636.61 c nbDecision=433000 #constraints=2454 637.09/637.33 c nbDecision=433500 #constraints=2454 637.79/638.06 c nbDecision=434000 #constraints=2455 638.49/638.79 c nbDecision=434500 #constraints=2455 639.29/639.51 c nbDecision=435000 #constraints=2455 639.99/640.24 c nbDecision=435500 #constraints=2456 640.69/640.97 c nbDecision=436000 #constraints=2456 641.39/641.68 c nbDecision=436500 #constraints=2456 642.19/642.41 c nbDecision=437000 #constraints=2457 642.89/643.13 c nbDecision=437500 #constraints=2457 643.59/643.84 c nbDecision=438000 #constraints=2457 644.29/644.57 c nbDecision=438500 #constraints=2458 644.99/645.28 c nbDecision=439000 #constraints=2458 645.69/645.99 c nbDecision=439500 #constraints=2458 646.49/646.72 c nbDecision=440000 #constraints=2459 647.19/647.43 c nbDecision=440500 #constraints=2459 647.89/648.16 c nbDecision=441000 #constraints=2460 648.58/648.87 c nbDecision=441500 #constraints=2460 649.28/649.58 c nbDecision=442000 #constraints=2460 650.08/650.31 c nbDecision=442500 #constraints=2461 650.78/651.03 c nbDecision=443000 #constraints=2461 651.48/651.75 c nbDecision=443500 #constraints=2461 652.18/652.48 c nbDecision=444000 #constraints=2462 652.98/653.20 c nbDecision=444500 #constraints=2462 653.68/653.92 c nbDecision=445000 #constraints=2462 654.38/654.66 c nbDecision=445500 #constraints=2463 655.08/655.38 c nbDecision=446000 #constraints=2463 655.78/656.10 c nbDecision=446500 #constraints=2463 656.58/656.83 c nbDecision=447000 #constraints=2464 657.28/657.56 c nbDecision=447500 #constraints=2464 657.98/658.27 c nbDecision=448000 #constraints=2464 658.78/659.01 c nbDecision=448500 #constraints=2465 659.48/659.74 c nbDecision=449000 #constraints=2465 660.18/660.47 c nbDecision=449500 #constraints=2466 660.88/661.19 c nbDecision=450000 #constraints=2466 661.68/661.91 c nbDecision=450500 #constraints=2466 662.38/662.64 c nbDecision=451000 #constraints=2467 663.08/663.35 c nbDecision=451500 #constraints=2467 663.78/664.05 c nbDecision=452000 #constraints=2467 664.48/664.78 c nbDecision=452500 #constraints=2468 665.18/665.50 c nbDecision=453000 #constraints=2468 665.98/666.21 c nbDecision=453500 #constraints=2468 666.68/666.94 c nbDecision=454000 #constraints=2469 667.38/667.66 c nbDecision=454500 #constraints=2469 668.08/668.37 c nbDecision=455000 #constraints=2469 668.88/669.10 c nbDecision=455500 #constraints=2470 669.58/669.81 c nbDecision=456000 #constraints=2470 670.28/670.52 c nbDecision=456500 #constraints=2470 670.98/671.24 c nbDecision=457000 #constraints=2471 671.67/671.96 c nbDecision=457500 #constraints=2471 672.37/672.69 c nbDecision=458000 #constraints=2472 673.17/673.42 c nbDecision=458500 #constraints=2472 673.87/674.14 c nbDecision=459000 #constraints=2472 674.57/674.87 c nbDecision=459500 #constraints=2473 675.37/675.60 c nbDecision=460000 #constraints=2473 676.07/676.32 c nbDecision=460500 #constraints=2473 676.77/677.05 c nbDecision=461000 #constraints=2474 677.47/677.78 c nbDecision=461500 #constraints=2474 678.17/678.50 c nbDecision=462000 #constraints=2474 678.97/679.23 c nbDecision=462500 #constraints=2475 679.67/679.96 c nbDecision=463000 #constraints=2475 680.37/680.67 c nbDecision=463500 #constraints=2475 681.17/681.41 c nbDecision=464000 #constraints=2476 681.87/682.13 c nbDecision=464500 #constraints=2476 682.57/682.83 c nbDecision=465000 #constraints=2476 683.27/683.56 c nbDecision=465500 #constraints=2477 683.97/684.27 c nbDecision=466000 #constraints=2477 684.77/685.00 c nbDecision=466500 #constraints=2478 685.47/685.72 c nbDecision=467000 #constraints=2478 686.17/686.43 c nbDecision=467500 #constraints=2478 686.87/687.15 c nbDecision=468000 #constraints=2479 687.57/687.87 c nbDecision=468500 #constraints=2479 688.27/688.58 c nbDecision=469000 #constraints=2479 689.07/689.31 c nbDecision=469500 #constraints=2480 689.77/690.03 c nbDecision=470000 #constraints=2480 690.47/690.74 c nbDecision=470500 #constraints=2480 691.17/691.47 c nbDecision=471000 #constraints=2481 691.87/692.18 c nbDecision=471500 #constraints=2481 692.67/692.90 c nbDecision=472000 #constraints=2481 693.36/693.63 c nbDecision=472500 #constraints=2482 694.06/694.35 c nbDecision=473000 #constraints=2482 694.76/695.06 c nbDecision=473500 #constraints=2482 695.56/695.80 c nbDecision=474000 #constraints=2483 696.26/696.53 c nbDecision=474500 #constraints=2483 696.96/697.24 c nbDecision=475000 #constraints=2483 699.37/699.62 c nbDecision=475500 #constraints=2587 700.16/700.44 c nbDecision=476000 #constraints=2592 700.96/701.24 c nbDecision=476500 #constraints=2596 701.76/702.03 c nbDecision=477000 #constraints=2600 702.57/702.83 c nbDecision=477500 #constraints=2604 703.36/703.62 c nbDecision=478000 #constraints=2608 704.16/704.41 c nbDecision=478500 #constraints=2612 704.96/705.22 c nbDecision=479000 #constraints=2617 705.76/706.01 c nbDecision=479500 #constraints=2621 706.56/706.81 c nbDecision=480000 #constraints=2625 707.36/707.60 c nbDecision=480500 #constraints=2629 708.06/708.40 c nbDecision=481000 #constraints=2633 708.86/709.19 c nbDecision=481500 #constraints=2637 709.76/710.00 c nbDecision=482000 #constraints=2642 710.46/710.72 c nbDecision=482500 #constraints=2642 711.16/711.46 c nbDecision=483000 #constraints=2643 711.96/712.20 c nbDecision=483500 #constraints=2644 712.66/712.94 c nbDecision=484000 #constraints=2645 713.36/713.68 c nbDecision=484500 #constraints=2646 714.16/714.43 c nbDecision=485000 #constraints=2647 714.86/715.16 c nbDecision=485500 #constraints=2648 715.66/715.90 c nbDecision=486000 #constraints=2649 716.36/716.64 c nbDecision=486500 #constraints=2650 717.06/717.38 c nbDecision=487000 #constraints=2651 717.86/718.13 c nbDecision=487500 #constraints=2652 718.56/718.87 c nbDecision=488000 #constraints=2653 719.36/719.62 c nbDecision=488500 #constraints=2654 720.05/720.36 c nbDecision=489000 #constraints=2655 720.86/721.11 c nbDecision=489500 #constraints=2656 721.55/721.84 c nbDecision=490000 #constraints=2657 722.26/722.58 c nbDecision=490500 #constraints=2658 723.06/723.32 c nbDecision=491000 #constraints=2659 723.76/724.06 c nbDecision=491500 #constraints=2660 724.46/724.80 c nbDecision=492000 #constraints=2661 725.26/725.53 c nbDecision=492500 #constraints=2662 725.96/726.27 c nbDecision=493000 #constraints=2663 726.77/727.01 c nbDecision=493500 #constraints=2664 727.46/727.74 c nbDecision=494000 #constraints=2665 728.16/728.48 c nbDecision=494500 #constraints=2666 728.96/729.22 c nbDecision=495000 #constraints=2667 729.66/729.95 c nbDecision=495500 #constraints=2668 730.36/730.69 c nbDecision=496000 #constraints=2669 731.16/731.43 c nbDecision=496500 #constraints=2670 731.86/732.17 c nbDecision=497000 #constraints=2671 732.66/732.91 c nbDecision=497500 #constraints=2672 733.36/733.65 c nbDecision=498000 #constraints=2673 734.16/734.40 c nbDecision=498500 #constraints=2674 734.86/735.14 c nbDecision=499000 #constraints=2675 735.56/735.87 c nbDecision=499500 #constraints=2675 736.36/736.62 c nbDecision=500000 #constraints=2676 737.06/737.36 c nbDecision=500500 #constraints=2677 737.86/738.10 c nbDecision=501000 #constraints=2678 738.56/738.85 c nbDecision=501500 #constraints=2679 739.26/739.59 c nbDecision=502000 #constraints=2680 740.06/740.34 c nbDecision=502500 #constraints=2681 740.76/741.08 c nbDecision=503000 #constraints=2682 741.56/741.82 c nbDecision=503500 #constraints=2683 742.26/742.56 c nbDecision=504000 #constraints=2684 742.96/743.29 c nbDecision=504500 #constraints=2685 743.75/744.03 c nbDecision=505000 #constraints=2686 744.46/744.77 c nbDecision=505500 #constraints=2687 745.25/745.51 c nbDecision=506000 #constraints=2688 745.95/746.24 c nbDecision=506500 #constraints=2689 746.66/746.98 c nbDecision=507000 #constraints=2690 747.45/747.72 c nbDecision=507500 #constraints=2691 748.15/748.46 c nbDecision=508000 #constraints=2692 748.86/749.19 c nbDecision=508500 #constraints=2693 749.65/749.93 c nbDecision=509000 #constraints=2694 750.35/750.67 c nbDecision=509500 #constraints=2695 751.15/751.41 c nbDecision=510000 #constraints=2696 751.85/752.13 c nbDecision=510500 #constraints=2697 752.55/752.86 c nbDecision=511000 #constraints=2697 753.35/753.60 c nbDecision=511500 #constraints=2698 754.05/754.35 c nbDecision=512000 #constraints=2699 754.75/755.08 c nbDecision=512500 #constraints=2700 755.55/755.82 c nbDecision=513000 #constraints=2701 756.25/756.57 c nbDecision=513500 #constraints=2702 757.05/757.31 c nbDecision=514000 #constraints=2703 757.75/758.06 c nbDecision=514500 #constraints=2704 758.55/758.80 c nbDecision=515000 #constraints=2705 759.25/759.54 c nbDecision=515500 #constraints=2706 759.95/760.29 c nbDecision=516000 #constraints=2707 760.75/761.03 c nbDecision=516500 #constraints=2708 761.45/761.76 c nbDecision=517000 #constraints=2708 762.15/762.49 c nbDecision=517500 #constraints=2709 762.95/763.23 c nbDecision=518000 #constraints=2710 763.65/763.97 c nbDecision=518500 #constraints=2711 764.44/764.71 c nbDecision=519000 #constraints=2712 765.14/765.44 c nbDecision=519500 #constraints=2713 765.84/766.18 c nbDecision=520000 #constraints=2714 766.64/766.91 c nbDecision=520500 #constraints=2715 767.34/767.65 c nbDecision=521000 #constraints=2716 768.04/768.39 c nbDecision=521500 #constraints=2717 768.84/769.13 c nbDecision=522000 #constraints=2718 769.54/769.86 c nbDecision=522500 #constraints=2719 770.24/770.58 c nbDecision=523000 #constraints=2719 771.04/771.32 c nbDecision=523500 #constraints=2720 771.74/772.06 c nbDecision=524000 #constraints=2721 772.54/772.81 c nbDecision=524500 #constraints=2722 773.24/773.55 c nbDecision=525000 #constraints=2723 773.94/774.30 c nbDecision=525500 #constraints=2724 774.74/775.03 c nbDecision=526000 #constraints=2725 775.44/775.76 c nbDecision=526500 #constraints=2726 776.24/776.51 c nbDecision=527000 #constraints=2727 776.94/777.22 c nbDecision=527500 #constraints=2727 777.64/777.97 c nbDecision=528000 #constraints=2728 778.44/778.71 c nbDecision=528500 #constraints=2729 779.14/779.46 c nbDecision=529000 #constraints=2730 779.94/780.20 c nbDecision=529500 #constraints=2731 780.64/780.92 c nbDecision=530000 #constraints=2731 781.34/781.67 c nbDecision=530500 #constraints=2732 782.14/782.40 c nbDecision=531000 #constraints=2733 782.84/783.14 c nbDecision=531500 #constraints=2734 783.53/783.85 c nbDecision=532000 #constraints=2734 784.23/784.59 c nbDecision=532500 #constraints=2735 785.04/785.33 c nbDecision=533000 #constraints=2736 785.73/786.06 c nbDecision=533500 #constraints=2737 786.53/786.80 c nbDecision=534000 #constraints=2738 787.24/787.52 c nbDecision=534500 #constraints=2738 787.93/788.25 c nbDecision=535000 #constraints=2739 788.63/788.99 c nbDecision=535500 #constraints=2740 789.44/789.72 c nbDecision=536000 #constraints=2741 790.13/790.44 c nbDecision=536500 #constraints=2741 790.83/791.17 c nbDecision=537000 #constraints=2742 791.64/791.91 c nbDecision=537500 #constraints=2743 792.33/792.65 c nbDecision=538000 #constraints=2744 793.03/793.39 c nbDecision=538500 #constraints=2745 793.84/794.11 c nbDecision=539000 #constraints=2745 794.53/794.86 c nbDecision=539500 #constraints=2746 795.33/795.60 c nbDecision=540000 #constraints=2747 796.04/796.35 c nbDecision=540500 #constraints=2748 796.73/797.09 c nbDecision=541000 #constraints=2749 797.53/797.81 c nbDecision=541500 #constraints=2749 798.23/798.56 c nbDecision=542000 #constraints=2750 799.03/799.30 c nbDecision=542500 #constraints=2751 799.73/800.04 c nbDecision=543000 #constraints=2752 800.43/800.77 c nbDecision=543500 #constraints=2752 801.23/801.51 c nbDecision=544000 #constraints=2753 801.93/802.24 c nbDecision=544500 #constraints=2754 802.63/802.98 c nbDecision=545000 #constraints=2755 803.43/803.72 c nbDecision=545500 #constraints=2756 804.13/804.43 c nbDecision=546000 #constraints=2756 804.83/805.17 c nbDecision=546500 #constraints=2757 805.63/805.90 c nbDecision=547000 #constraints=2758 806.33/806.64 c nbDecision=547500 #constraints=2759 807.03/807.35 c nbDecision=548000 #constraints=2759 807.73/808.08 c nbDecision=548500 #constraints=2760 808.53/808.81 c nbDecision=549000 #constraints=2761 809.23/809.55 c nbDecision=549500 #constraints=2762 809.93/810.27 c nbDecision=550000 #constraints=2762 810.73/811.00 c nbDecision=550500 #constraints=2763 811.43/811.74 c nbDecision=551000 #constraints=2764 812.13/812.46 c nbDecision=551500 #constraints=2764 812.93/813.21 c nbDecision=552000 #constraints=2765 813.63/813.95 c nbDecision=552500 #constraints=2766 814.32/814.70 c nbDecision=553000 #constraints=2767 815.12/815.41 c nbDecision=553500 #constraints=2767 815.83/816.15 c nbDecision=554000 #constraints=2768 816.52/816.89 c nbDecision=554500 #constraints=2769 817.32/817.62 c nbDecision=555000 #constraints=2769 818.03/818.36 c nbDecision=555500 #constraints=2770 818.82/819.10 c nbDecision=556000 #constraints=2771 819.52/819.84 c nbDecision=556500 #constraints=2772 820.23/820.57 c nbDecision=557000 #constraints=2772 821.02/821.31 c nbDecision=557500 #constraints=2773 821.72/822.05 c nbDecision=558000 #constraints=2774 822.42/822.77 c nbDecision=558500 #constraints=2774 823.22/823.51 c nbDecision=559000 #constraints=2775 823.92/824.24 c nbDecision=559500 #constraints=2776 824.63/824.98 c nbDecision=560000 #constraints=2777 825.43/825.70 c nbDecision=560500 #constraints=2777 826.13/826.43 c nbDecision=561000 #constraints=2778 826.83/827.17 c nbDecision=561500 #constraints=2779 827.53/827.89 c nbDecision=562000 #constraints=2779 828.33/828.63 c nbDecision=562500 #constraints=2780 829.03/829.36 c nbDecision=563000 #constraints=2781 829.83/830.10 c nbDecision=563500 #constraints=2782 830.53/830.81 c nbDecision=564000 #constraints=2782 831.23/831.55 c nbDecision=564500 #constraints=2783 831.93/832.29 c nbDecision=565000 #constraints=2784 832.73/833.01 c nbDecision=565500 #constraints=2784 833.43/833.75 c nbDecision=566000 #constraints=2785 834.13/834.50 c nbDecision=566500 #constraints=2786 834.92/835.24 c nbDecision=567000 #constraints=2787 835.63/835.96 c nbDecision=567500 #constraints=2787 836.42/836.71 c nbDecision=568000 #constraints=2788 837.12/837.45 c nbDecision=568500 #constraints=2789 837.83/838.19 c nbDecision=569000 #constraints=2790 838.62/838.92 c nbDecision=569500 #constraints=2790 839.32/839.66 c nbDecision=570000 #constraints=2791 840.13/840.41 c nbDecision=570500 #constraints=2792 840.82/841.13 c nbDecision=571000 #constraints=2792 841.52/841.87 c nbDecision=571500 #constraints=2793 842.32/842.60 c nbDecision=572000 #constraints=2794 843.02/843.32 c nbDecision=572500 #constraints=2794 843.72/844.06 c nbDecision=573000 #constraints=2795 844.42/844.79 c nbDecision=573500 #constraints=2796 845.22/845.53 c nbDecision=574000 #constraints=2797 845.92/846.25 c nbDecision=574500 #constraints=2797 846.62/846.99 c nbDecision=575000 #constraints=2798 847.42/847.72 c nbDecision=575500 #constraints=2799 848.12/848.44 c nbDecision=576000 #constraints=2799 848.82/849.17 c nbDecision=576500 #constraints=2800 849.62/849.91 c nbDecision=577000 #constraints=2801 850.32/850.62 c nbDecision=577500 #constraints=2801 851.02/851.36 c nbDecision=578000 #constraints=2802 851.82/852.11 c nbDecision=578500 #constraints=2803 852.52/852.85 c nbDecision=579000 #constraints=2804 853.22/853.57 c nbDecision=579500 #constraints=2804 854.02/854.32 c nbDecision=580000 #constraints=2805 854.72/855.06 c nbDecision=580500 #constraints=2806 855.42/855.78 c nbDecision=581000 #constraints=2806 856.22/856.53 c nbDecision=581500 #constraints=2807 856.91/857.27 c nbDecision=582000 #constraints=2808 857.62/858.00 c nbDecision=582500 #constraints=2808 858.41/858.74 c nbDecision=583000 #constraints=2809 859.11/859.48 c nbDecision=583500 #constraints=2810 859.92/860.21 c nbDecision=584000 #constraints=2810 860.61/860.95 c nbDecision=584500 #constraints=2811 861.31/861.69 c nbDecision=585000 #constraints=2812 862.12/862.41 c nbDecision=585500 #constraints=2812 862.81/863.15 c nbDecision=586000 #constraints=2813 863.51/863.86 c nbDecision=586500 #constraints=2813 864.21/864.60 c nbDecision=587000 #constraints=2814 865.01/865.33 c nbDecision=587500 #constraints=2815 865.71/866.05 c nbDecision=588000 #constraints=2815 866.41/866.79 c nbDecision=588500 #constraints=2816 867.21/867.52 c nbDecision=589000 #constraints=2817 867.91/868.24 c nbDecision=589500 #constraints=2817 868.61/868.98 c nbDecision=590000 #constraints=2818 869.41/869.71 c nbDecision=590500 #constraints=2819 870.11/870.43 c nbDecision=591000 #constraints=2819 870.81/871.17 c nbDecision=591500 #constraints=2820 871.61/871.90 c nbDecision=592000 #constraints=2821 872.31/872.63 c nbDecision=592500 #constraints=2821 873.01/873.37 c nbDecision=593000 #constraints=2822 873.81/874.11 c nbDecision=593500 #constraints=2823 874.51/874.83 c nbDecision=594000 #constraints=2823 875.21/875.58 c nbDecision=594500 #constraints=2824 876.00/876.30 c nbDecision=595000 #constraints=2824 876.70/877.04 c nbDecision=595500 #constraints=2825 877.41/877.79 c nbDecision=596000 #constraints=2826 878.20/878.51 c nbDecision=596500 #constraints=2826 878.90/879.26 c nbDecision=597000 #constraints=2827 879.61/880.00 c nbDecision=597500 #constraints=2828 880.40/880.72 c nbDecision=598000 #constraints=2828 881.10/881.46 c nbDecision=598500 #constraints=2829 881.81/882.20 c nbDecision=599000 #constraints=2830 882.60/882.92 c nbDecision=599500 #constraints=2830 883.30/883.65 c nbDecision=600000 #constraints=2831 884.01/884.39 c nbDecision=600500 #constraints=2832 884.80/885.11 c nbDecision=601000 #constraints=2832 885.50/885.84 c nbDecision=601500 #constraints=2833 886.20/886.58 c nbDecision=602000 #constraints=2834 886.90/887.29 c nbDecision=602500 #constraints=2834 887.70/888.03 c nbDecision=603000 #constraints=2835 888.40/888.75 c nbDecision=603500 #constraints=2835 889.10/889.48 c nbDecision=604000 #constraints=2836 889.90/890.22 c nbDecision=604500 #constraints=2837 890.60/890.93 c nbDecision=605000 #constraints=2837 891.30/891.68 c nbDecision=605500 #constraints=2838 892.10/892.41 c nbDecision=606000 #constraints=2839 892.80/893.14 c nbDecision=606500 #constraints=2839 893.50/893.88 c nbDecision=607000 #constraints=2840 894.30/894.62 c nbDecision=607500 #constraints=2841 895.01/895.35 c nbDecision=608000 #constraints=2841 895.70/896.09 c nbDecision=608500 #constraints=2842 896.50/896.82 c nbDecision=609000 #constraints=2842 897.21/897.55 c nbDecision=609500 #constraints=2843 897.90/898.29 c nbDecision=610000 #constraints=2844 898.70/899.01 c nbDecision=610500 #constraints=2844 899.41/899.76 c nbDecision=611000 #constraints=2845 900.20/900.50 c nbDecision=611500 #constraints=2846 900.90/901.23 c nbDecision=612000 #constraints=2846 901.60/901.96 c nbDecision=612500 #constraints=2847 902.30/902.68 c nbDecision=613000 #constraints=2847 903.10/903.41 c nbDecision=613500 #constraints=2848 903.80/904.15 c nbDecision=614000 #constraints=2849 904.50/904.87 c nbDecision=614500 #constraints=2849 905.30/905.60 c nbDecision=615000 #constraints=2850 906.00/906.32 c nbDecision=615500 #constraints=2850 906.70/907.06 c nbDecision=616000 #constraints=2851 907.40/907.79 c nbDecision=616500 #constraints=2852 908.20/908.51 c nbDecision=617000 #constraints=2852 908.90/909.25 c nbDecision=617500 #constraints=2853 909.60/909.98 c nbDecision=618000 #constraints=2854 910.29/910.70 c nbDecision=618500 #constraints=2854 911.09/911.44 c nbDecision=619000 #constraints=2855 911.79/912.16 c nbDecision=619500 #constraints=2855 912.49/912.90 c nbDecision=620000 #constraints=2856 913.29/913.64 c nbDecision=620500 #constraints=2857 913.99/914.37 c nbDecision=621000 #constraints=2857 914.80/915.10 c nbDecision=621500 #constraints=2858 915.49/915.83 c nbDecision=622000 #constraints=2858 916.19/916.57 c nbDecision=622500 #constraints=2859 916.89/917.29 c nbDecision=623000 #constraints=2859 917.69/918.03 c nbDecision=623500 #constraints=2860 918.39/918.77 c nbDecision=624000 #constraints=2861 919.09/919.50 c nbDecision=624500 #constraints=2861 919.89/920.24 c nbDecision=625000 #constraints=2862 920.59/920.96 c nbDecision=625500 #constraints=2862 921.40/921.71 c nbDecision=626000 #constraints=2863 922.09/922.43 c nbDecision=626500 #constraints=2864 922.79/923.15 c nbDecision=627000 #constraints=2864 923.49/923.89 c nbDecision=627500 #constraints=2865 924.29/924.60 c nbDecision=628000 #constraints=2865 924.99/925.34 c nbDecision=628500 #constraints=2866 925.69/926.06 c nbDecision=629000 #constraints=2866 926.39/926.79 c nbDecision=629500 #constraints=2867 927.19/927.52 c nbDecision=630000 #constraints=2868 927.89/928.24 c nbDecision=630500 #constraints=2868 928.59/928.97 c nbDecision=631000 #constraints=2869 929.29/929.69 c nbDecision=631500 #constraints=2869 930.09/930.42 c nbDecision=632000 #constraints=2870 930.79/931.12 c nbDecision=632500 #constraints=2870 931.49/931.86 c nbDecision=633000 #constraints=2871 932.19/932.60 c nbDecision=633500 #constraints=2872 932.99/933.32 c nbDecision=634000 #constraints=2872 933.69/934.06 c nbDecision=634500 #constraints=2873 934.39/934.78 c nbDecision=635000 #constraints=2873 935.19/935.52 c nbDecision=635500 #constraints=2874 935.89/936.24 c nbDecision=636000 #constraints=2874 936.59/936.99 c nbDecision=636500 #constraints=2875 937.39/937.71 c nbDecision=637000 #constraints=2876 938.09/938.44 c nbDecision=637500 #constraints=2876 938.79/939.18 c nbDecision=638000 #constraints=2877 939.59/939.91 c nbDecision=638500 #constraints=2877 940.29/940.65 c nbDecision=639000 #constraints=2878 940.99/941.37 c nbDecision=639500 #constraints=2878 941.79/942.11 c nbDecision=640000 #constraints=2879 942.48/942.82 c nbDecision=640500 #constraints=2879 943.19/943.56 c nbDecision=641000 #constraints=2880 943.88/944.30 c nbDecision=641500 #constraints=2881 944.68/945.01 c nbDecision=642000 #constraints=2881 945.38/945.75 c nbDecision=642500 #constraints=2882 946.08/946.47 c nbDecision=643000 #constraints=2882 946.88/947.20 c nbDecision=643500 #constraints=2883 947.58/947.92 c nbDecision=644000 #constraints=2883 948.28/948.65 c nbDecision=644500 #constraints=2884 948.99/949.37 c nbDecision=645000 #constraints=2884 949.78/950.11 c nbDecision=645500 #constraints=2885 950.48/950.84 c nbDecision=646000 #constraints=2886 951.19/951.56 c nbDecision=646500 #constraints=2886 951.88/952.30 c nbDecision=647000 #constraints=2887 952.68/953.02 c nbDecision=647500 #constraints=2887 953.38/953.76 c nbDecision=648000 #constraints=2888 954.08/954.48 c nbDecision=648500 #constraints=2888 954.88/955.23 c nbDecision=649000 #constraints=2889 955.58/955.97 c nbDecision=649500 #constraints=2890 956.28/956.70 c nbDecision=650000 #constraints=2890 957.08/957.44 c nbDecision=650500 #constraints=2891 957.78/958.16 c nbDecision=651000 #constraints=2891 958.58/958.90 c nbDecision=651500 #constraints=2892 959.28/959.63 c nbDecision=652000 #constraints=2892 959.98/960.37 c nbDecision=652500 #constraints=2893 960.68/961.08 c nbDecision=653000 #constraints=2893 961.48/961.82 c nbDecision=653500 #constraints=2894 962.18/962.55 c nbDecision=654000 #constraints=2895 962.88/963.27 c nbDecision=654500 #constraints=2895 963.68/964.00 c nbDecision=655000 #constraints=2896 964.38/964.72 c nbDecision=655500 #constraints=2896 965.08/965.45 c nbDecision=656000 #constraints=2897 965.78/966.17 c nbDecision=656500 #constraints=2897 966.58/966.91 c nbDecision=657000 #constraints=2898 967.27/967.62 c nbDecision=657500 #constraints=2898 967.97/968.36 c nbDecision=658000 #constraints=2899 968.68/969.08 c nbDecision=658500 #constraints=2900 969.47/969.80 c nbDecision=659000 #constraints=2900 970.17/970.53 c nbDecision=659500 #constraints=2901 970.88/971.25 c nbDecision=660000 #constraints=2901 971.57/971.99 c nbDecision=660500 #constraints=2902 972.37/972.71 c nbDecision=661000 #constraints=2902 973.08/973.45 c nbDecision=661500 #constraints=2903 973.77/974.18 c nbDecision=662000 #constraints=2903 974.57/974.92 c nbDecision=662500 #constraints=2904 975.27/975.66 c nbDecision=663000 #constraints=2905 975.97/976.39 c nbDecision=663500 #constraints=2905 976.77/977.13 c nbDecision=664000 #constraints=2906 977.48/977.85 c nbDecision=664500 #constraints=2906 978.17/978.59 c nbDecision=665000 #constraints=2907 978.97/979.31 c nbDecision=665500 #constraints=2907 979.67/980.06 c nbDecision=666000 #constraints=2908 980.37/980.78 c nbDecision=666500 #constraints=2908 981.17/981.52 c nbDecision=667000 #constraints=2909 981.87/982.23 c nbDecision=667500 #constraints=2909 982.57/982.97 c nbDecision=668000 #constraints=2910 983.27/983.68 c nbDecision=668500 #constraints=2910 984.07/984.42 c nbDecision=669000 #constraints=2911 984.77/985.15 c nbDecision=669500 #constraints=2912 985.47/985.87 c nbDecision=670000 #constraints=2912 986.27/986.61 c nbDecision=670500 #constraints=2913 986.97/987.33 c nbDecision=671000 #constraints=2913 987.67/988.06 c nbDecision=671500 #constraints=2914 988.37/988.78 c nbDecision=672000 #constraints=2914 989.16/989.51 c nbDecision=672500 #constraints=2915 989.86/990.23 c nbDecision=673000 #constraints=2915 990.56/990.97 c nbDecision=673500 #constraints=2916 991.26/991.68 c nbDecision=674000 #constraints=2916 992.06/992.43 c nbDecision=674500 #constraints=2917 992.76/993.15 c nbDecision=675000 #constraints=2917 993.46/993.89 c nbDecision=675500 #constraints=2918 994.26/994.63 c nbDecision=676000 #constraints=2919 994.96/995.36 c nbDecision=676500 #constraints=2919 995.66/996.10 c nbDecision=677000 #constraints=2920 996.46/996.82 c nbDecision=677500 #constraints=2920 997.16/997.56 c nbDecision=678000 #constraints=2921 997.86/998.28 c nbDecision=678500 #constraints=2921 998.66/999.03 c nbDecision=679000 #constraints=2922 999.36/999.75 c nbDecision=679500 #constraints=2922 1000.06/1000.49 c nbDecision=680000 #constraints=2923 1000.86/1001.21 c nbDecision=680500 #constraints=2923 1001.56/1001.95 c nbDecision=681000 #constraints=2924 1002.26/1002.67 c nbDecision=681500 #constraints=2925 1002.97/1003.39 c nbDecision=682000 #constraints=2925 1003.77/1004.12 c nbDecision=682500 #constraints=2926 1004.47/1004.84 c nbDecision=683000 #constraints=2926 1005.17/1005.58 c nbDecision=683500 #constraints=2927 1005.87/1006.29 c nbDecision=684000 #constraints=2927 1006.67/1007.03 c nbDecision=684500 #constraints=2928 1007.37/1007.72 c nbDecision=685000 #constraints=2928 1008.07/1008.46 c nbDecision=685500 #constraints=2929 1008.77/1009.18 c nbDecision=686000 #constraints=2929 1009.57/1009.91 c nbDecision=686500 #constraints=2930 1010.26/1010.62 c nbDecision=687000 #constraints=2930 1010.96/1011.36 c nbDecision=687500 #constraints=2931 1011.77/1012.10 c nbDecision=688000 #constraints=2932 1012.46/1012.83 c nbDecision=688500 #constraints=2932 1013.16/1013.57 c nbDecision=689000 #constraints=2933 1013.87/1014.29 c nbDecision=689500 #constraints=2933 1014.66/1015.03 c nbDecision=690000 #constraints=2934 1015.36/1015.76 c nbDecision=690500 #constraints=2934 1016.16/1016.50 c nbDecision=691000 #constraints=2935 1016.86/1017.22 c nbDecision=691500 #constraints=2935 1017.56/1017.96 c nbDecision=692000 #constraints=2936 1018.26/1018.69 c nbDecision=692500 #constraints=2936 1019.06/1019.43 c nbDecision=693000 #constraints=2937 1019.76/1020.17 c nbDecision=693500 #constraints=2938 1020.56/1020.90 c nbDecision=694000 #constraints=2938 1021.26/1021.64 c nbDecision=694500 #constraints=2939 1021.96/1022.35 c nbDecision=695000 #constraints=2939 1022.66/1023.09 c nbDecision=695500 #constraints=2940 1023.46/1023.81 c nbDecision=696000 #constraints=2940 1024.16/1024.54 c nbDecision=696500 #constraints=2941 1024.86/1025.26 c nbDecision=697000 #constraints=2941 1025.56/1025.99 c nbDecision=697500 #constraints=2942 1026.36/1026.71 c nbDecision=698000 #constraints=2942 1027.06/1027.44 c nbDecision=698500 #constraints=2943 1027.76/1028.15 c nbDecision=699000 #constraints=2943 1028.46/1028.89 c nbDecision=699500 #constraints=2944 1029.26/1029.62 c nbDecision=700000 #constraints=2945 1029.96/1030.34 c nbDecision=700500 #constraints=2945 1030.66/1031.07 c nbDecision=701000 #constraints=2946 1031.36/1031.79 c nbDecision=701500 #constraints=2946 1032.16/1032.53 c nbDecision=702000 #constraints=2947 1032.86/1033.25 c nbDecision=702500 #constraints=2947 1033.56/1034.00 c nbDecision=703000 #constraints=2948 1034.36/1034.72 c nbDecision=703500 #constraints=2948 1035.06/1035.47 c nbDecision=704000 #constraints=2949 1035.76/1036.19 c nbDecision=704500 #constraints=2949 1036.56/1036.94 c nbDecision=705000 #constraints=2950 1037.26/1037.67 c nbDecision=705500 #constraints=2951 1037.96/1038.40 c nbDecision=706000 #constraints=2951 1038.75/1039.14 c nbDecision=706500 #constraints=2952 1039.45/1039.86 c nbDecision=707000 #constraints=2952 1040.26/1040.60 c nbDecision=707500 #constraints=2953 1040.95/1041.33 c nbDecision=708000 #constraints=2953 1041.65/1042.07 c nbDecision=708500 #constraints=2954 1042.36/1042.78 c nbDecision=709000 #constraints=2954 1043.15/1043.52 c nbDecision=709500 #constraints=2955 1043.85/1044.23 c nbDecision=710000 #constraints=2955 1044.56/1044.97 c nbDecision=710500 #constraints=2956 1045.25/1045.69 c nbDecision=711000 #constraints=2956 1046.05/1046.42 c nbDecision=711500 #constraints=2957 1046.75/1047.15 c nbDecision=712000 #constraints=2958 1047.45/1047.87 c nbDecision=712500 #constraints=2958 1048.25/1048.61 c nbDecision=713000 #constraints=2959 1048.95/1049.33 c nbDecision=713500 #constraints=2959 1049.65/1050.06 c nbDecision=714000 #constraints=2960 1050.35/1050.78 c nbDecision=714500 #constraints=2960 1051.15/1051.51 c nbDecision=715000 #constraints=2961 1051.85/1052.24 c nbDecision=715500 #constraints=2961 1052.55/1052.98 c nbDecision=716000 #constraints=2962 1053.25/1053.69 c nbDecision=716500 #constraints=2962 1054.05/1054.44 c nbDecision=717000 #constraints=2963 1054.75/1055.16 c nbDecision=717500 #constraints=2963 1055.45/1055.90 c nbDecision=718000 #constraints=2964 1056.25/1056.64 c nbDecision=718500 #constraints=2965 1056.95/1057.36 c nbDecision=719000 #constraints=2965 1057.65/1058.10 c nbDecision=719500 #constraints=2966 1058.45/1058.82 c nbDecision=720000 #constraints=2966 1059.15/1059.57 c nbDecision=720500 #constraints=2967 1059.85/1060.29 c nbDecision=721000 #constraints=2967 1060.65/1061.04 c nbDecision=721500 #constraints=2968 1061.34/1061.76 c nbDecision=722000 #constraints=2968 1062.04/1062.49 c nbDecision=722500 #constraints=2969 1062.74/1063.19 c nbDecision=723000 #constraints=2969 1063.54/1063.92 c nbDecision=723500 #constraints=2970 1064.24/1064.64 c nbDecision=724000 #constraints=2970 1064.94/1065.38 c nbDecision=724500 #constraints=2971 1065.64/1066.09 c nbDecision=725000 #constraints=2971 1066.44/1066.83 c nbDecision=725500 #constraints=2972 1067.14/1067.56 c nbDecision=726000 #constraints=2973 1067.84/1068.26 c nbDecision=726500 #constraints=2973 1068.54/1068.99 c nbDecision=727000 #constraints=2974 1069.34/1069.71 c nbDecision=727500 #constraints=2974 1070.04/1070.44 c nbDecision=728000 #constraints=2975 1070.74/1071.16 c nbDecision=728500 #constraints=2975 1071.54/1071.90 c nbDecision=729000 #constraints=2976 1072.24/1072.61 c nbDecision=729500 #constraints=2976 1072.94/1073.35 c nbDecision=730000 #constraints=2977 1073.64/1074.08 c nbDecision=730500 #constraints=2977 1074.44/1074.82 c nbDecision=731000 #constraints=2978 1075.14/1075.54 c nbDecision=731500 #constraints=2978 1075.84/1076.28 c nbDecision=732000 #constraints=2979 1076.64/1077.01 c nbDecision=732500 #constraints=2979 1077.34/1077.75 c nbDecision=733000 #constraints=2980 1078.04/1078.47 c nbDecision=733500 #constraints=2980 1078.84/1079.22 c nbDecision=734000 #constraints=2981 1079.54/1079.96 c nbDecision=734500 #constraints=2982 1080.24/1080.67 c nbDecision=735000 #constraints=2982 1081.04/1081.41 c nbDecision=735500 #constraints=2983 1081.74/1082.13 c nbDecision=736000 #constraints=2983 1082.44/1082.86 c nbDecision=736500 #constraints=2984 1083.15/1083.58 c nbDecision=737000 #constraints=2984 1083.94/1084.31 c nbDecision=737500 #constraints=2985 1084.64/1085.03 c nbDecision=738000 #constraints=2985 1085.35/1085.77 c nbDecision=738500 #constraints=2986 1086.04/1086.48 c nbDecision=739000 #constraints=2986 1086.84/1087.22 c nbDecision=739500 #constraints=2987 1087.55/1087.93 c nbDecision=740000 #constraints=2987 1088.24/1088.67 c nbDecision=740500 #constraints=2988 1088.94/1089.39 c nbDecision=741000 #constraints=2988 1089.75/1090.13 c nbDecision=741500 #constraints=2989 1090.44/1090.86 c nbDecision=742000 #constraints=2990 1091.14/1091.58 c nbDecision=742500 #constraints=2990 1091.95/1092.32 c nbDecision=743000 #constraints=2991 1092.64/1093.03 c nbDecision=743500 #constraints=2991 1093.34/1093.78 c nbDecision=744000 #constraints=2992 1094.04/1094.50 c nbDecision=744500 #constraints=2992 1094.84/1095.24 c nbDecision=745000 #constraints=2993 1095.54/1095.97 c nbDecision=745500 #constraints=2993 1096.34/1096.71 c nbDecision=746000 #constraints=2994 1097.04/1097.42 c nbDecision=746500 #constraints=2994 1097.74/1098.16 c nbDecision=747000 #constraints=2995 1098.44/1098.89 c nbDecision=747500 #constraints=2995 1099.24/1099.63 c nbDecision=748000 #constraints=2996 1099.94/1100.35 c nbDecision=748500 #constraints=2996 1100.64/1101.09 c nbDecision=749000 #constraints=2997 1101.44/1101.82 c nbDecision=749500 #constraints=2997 1102.14/1102.54 c nbDecision=750000 #constraints=2998 1102.84/1103.26 c nbDecision=750500 #constraints=2998 1103.54/1103.99 c nbDecision=751000 #constraints=2999 1104.34/1104.71 c nbDecision=751500 #constraints=2999 1105.04/1105.42 c nbDecision=752000 #constraints=2999 1105.74/1106.16 c nbDecision=752500 #constraints=3000 1106.43/1106.86 c nbDecision=753000 #constraints=3000 1107.13/1107.59 c nbDecision=753500 #constraints=3001 1107.93/1108.30 c nbDecision=754000 #constraints=3001 1108.63/1109.04 c nbDecision=754500 #constraints=3002 1109.33/1109.75 c nbDecision=755000 #constraints=3002 1110.03/1110.49 c nbDecision=755500 #constraints=3003 1110.83/1111.21 c nbDecision=756000 #constraints=3003 1111.53/1111.95 c nbDecision=756500 #constraints=3004 1112.23/1112.66 c nbDecision=757000 #constraints=3004 1113.03/1113.40 c nbDecision=757500 #constraints=3005 1113.73/1114.12 c nbDecision=758000 #constraints=3005 1114.43/1114.86 c nbDecision=758500 #constraints=3006 1115.13/1115.59 c nbDecision=759000 #constraints=3006 1115.93/1116.33 c nbDecision=759500 #constraints=3007 1116.63/1117.04 c nbDecision=760000 #constraints=3007 1117.33/1117.78 c nbDecision=760500 #constraints=3008 1118.13/1118.50 c nbDecision=761000 #constraints=3008 1118.83/1119.24 c nbDecision=761500 #constraints=3009 1119.53/1119.97 c nbDecision=762000 #constraints=3009 1120.23/1120.69 c nbDecision=762500 #constraints=3009 1121.03/1121.44 c nbDecision=763000 #constraints=3010 1121.73/1122.15 c nbDecision=763500 #constraints=3010 1122.43/1122.89 c nbDecision=764000 #constraints=3011 1123.23/1123.60 c nbDecision=764500 #constraints=3011 1123.93/1124.34 c nbDecision=765000 #constraints=3012 1124.63/1125.04 c nbDecision=765500 #constraints=3012 1125.33/1125.77 c nbDecision=766000 #constraints=3013 1126.03/1126.47 c nbDecision=766500 #constraints=3013 1126.82/1127.20 c nbDecision=767000 #constraints=3014 1127.52/1127.92 c nbDecision=767500 #constraints=3014 1128.23/1128.65 c nbDecision=768000 #constraints=3015 1128.92/1129.37 c nbDecision=768500 #constraints=3015 1129.62/1130.08 c nbDecision=769000 #constraints=3015 1130.43/1130.82 c nbDecision=769500 #constraints=3016 1131.12/1131.53 c nbDecision=770000 #constraints=3016 1131.82/1132.27 c nbDecision=770500 #constraints=3017 1132.53/1132.99 c nbDecision=771000 #constraints=3017 1133.32/1133.74 c nbDecision=771500 #constraints=3018 1134.02/1134.46 c nbDecision=772000 #constraints=3018 1134.82/1135.20 c nbDecision=772500 #constraints=3019 1135.52/1135.90 c nbDecision=773000 #constraints=3019 1136.22/1136.65 c nbDecision=773500 #constraints=3020 1136.92/1137.36 c nbDecision=774000 #constraints=3020 1137.72/1138.10 c nbDecision=774500 #constraints=3021 1138.42/1138.83 c nbDecision=775000 #constraints=3021 1139.12/1139.55 c nbDecision=775500 #constraints=3021 1139.82/1140.29 c nbDecision=776000 #constraints=3022 1140.62/1141.01 c nbDecision=776500 #constraints=3022 1141.32/1141.75 c nbDecision=777000 #constraints=3023 1142.02/1142.47 c nbDecision=777500 #constraints=3023 1142.82/1143.20 c nbDecision=778000 #constraints=3024 1143.52/1143.92 c nbDecision=778500 #constraints=3024 1144.22/1144.65 c nbDecision=779000 #constraints=3025 1144.92/1145.37 c nbDecision=779500 #constraints=3025 1145.62/1146.08 c nbDecision=780000 #constraints=3025 1146.42/1146.82 c nbDecision=780500 #constraints=3026 1147.11/1147.52 c nbDecision=781000 #constraints=3026 1147.81/1148.25 c nbDecision=781500 #constraints=3027 1148.51/1148.96 c nbDecision=782000 #constraints=3027 1149.21/1149.69 c nbDecision=782500 #constraints=3028 1150.01/1150.41 c nbDecision=783000 #constraints=3028 1150.71/1151.13 c nbDecision=783500 #constraints=3028 1151.41/1151.87 c nbDecision=784000 #constraints=3029 1152.11/1152.58 c nbDecision=784500 #constraints=3029 1152.91/1153.32 c nbDecision=785000 #constraints=3030 1153.61/1154.04 c nbDecision=785500 #constraints=3030 1154.31/1154.76 c nbDecision=786000 #constraints=3030 1155.11/1155.51 c nbDecision=786500 #constraints=3031 1155.81/1156.23 c nbDecision=787000 #constraints=3031 1156.51/1156.97 c nbDecision=787500 #constraints=3032 1157.21/1157.67 c nbDecision=788000 #constraints=3032 1158.01/1158.41 c nbDecision=788500 #constraints=3033 1158.71/1159.13 c nbDecision=789000 #constraints=3033 1159.41/1159.85 c nbDecision=789500 #constraints=3033 1160.11/1160.59 c nbDecision=790000 #constraints=3034 1160.91/1161.32 c nbDecision=790500 #constraints=3034 1161.61/1162.05 c nbDecision=791000 #constraints=3035 1162.31/1162.77 c nbDecision=791500 #constraints=3035 1163.01/1163.48 c nbDecision=792000 #constraints=3035 1163.81/1164.22 c nbDecision=792500 #constraints=3036 1164.51/1164.93 c nbDecision=793000 #constraints=3036 1165.21/1165.66 c nbDecision=793500 #constraints=3037 1165.91/1166.38 c nbDecision=794000 #constraints=3037 1166.71/1167.11 c nbDecision=794500 #constraints=3038 1167.41/1167.83 c nbDecision=795000 #constraints=3038 1168.11/1168.54 c nbDecision=795500 #constraints=3038 1168.81/1169.28 c nbDecision=796000 #constraints=3039 1169.51/1169.99 c nbDecision=796500 #constraints=3039 1170.31/1170.72 c nbDecision=797000 #constraints=3040 1171.01/1171.44 c nbDecision=797500 #constraints=3040 1171.70/1172.16 c nbDecision=798000 #constraints=3040 1172.40/1172.89 c nbDecision=798500 #constraints=3041 1173.21/1173.61 c nbDecision=799000 #constraints=3041 1173.90/1174.35 c nbDecision=799500 #constraints=3042 1174.60/1175.07 c nbDecision=800000 #constraints=3042 1175.41/1175.81 c nbDecision=800500 #constraints=3043 1176.10/1176.54 c nbDecision=801000 #constraints=3043 1176.80/1177.25 c nbDecision=801500 #constraints=3043 1177.50/1177.99 c nbDecision=802000 #constraints=3044 1178.30/1178.71 c nbDecision=802500 #constraints=3044 1179.00/1179.45 c nbDecision=803000 #constraints=3045 1179.70/1180.18 c nbDecision=803500 #constraints=3045 1180.50/1180.91 c nbDecision=804000 #constraints=3046 1181.20/1181.63 c nbDecision=804500 #constraints=3046 1181.90/1182.33 c nbDecision=805000 #constraints=3046 1182.60/1183.07 c nbDecision=805500 #constraints=3047 1183.31/1183.77 c nbDecision=806000 #constraints=3047 1184.11/1184.50 c nbDecision=806500 #constraints=3048 1184.81/1185.22 c nbDecision=807000 #constraints=3048 1185.50/1185.93 c nbDecision=807500 #constraints=3048 1186.20/1186.67 c nbDecision=808000 #constraints=3049 1186.90/1187.38 c nbDecision=808500 #constraints=3049 1187.70/1188.12 c nbDecision=809000 #constraints=3050 1188.40/1188.83 c nbDecision=809500 #constraints=3050 1189.10/1189.56 c nbDecision=810000 #constraints=3051 1189.81/1190.28 c nbDecision=810500 #constraints=3051 1190.50/1190.99 c nbDecision=811000 #constraints=3051 1191.30/1191.73 c nbDecision=811500 #constraints=3052 1192.00/1192.44 c nbDecision=812000 #constraints=3052 1192.70/1193.18 c nbDecision=812500 #constraints=3053 1193.50/1193.90 c nbDecision=813000 #constraints=3053 1194.20/1194.62 c nbDecision=813500 #constraints=3053 1194.90/1195.36 c nbDecision=814000 #constraints=3054 1195.60/1196.08 c nbDecision=814500 #constraints=3054 1196.40/1196.82 c nbDecision=815000 #constraints=3055 1197.10/1197.52 c nbDecision=815500 #constraints=3055 1197.80/1198.26 c nbDecision=816000 #constraints=3056 1198.50/1198.98 c nbDecision=816500 #constraints=3056 1199.30/1199.70 c nbDecision=817000 #constraints=3056 1200.00/1200.43 c nbDecision=817500 #constraints=3057 1200.70/1201.14 c nbDecision=818000 #constraints=3057 1201.40/1201.87 c nbDecision=818500 #constraints=3058 1202.10/1202.58 c nbDecision=819000 #constraints=3058 1202.40/1202.86 c restart after 819201 decisions 1202.90/1203.33 c nbDecision=819500 #constraints=3058 1203.60/1204.05 c nbDecision=820000 #constraints=3058 1204.30/1204.76 c nbDecision=820500 #constraints=3058 1205.00/1205.49 c nbDecision=821000 #constraints=3059 1205.80/1206.21 c nbDecision=821500 #constraints=3059 1206.50/1206.93 c nbDecision=822000 #constraints=3060 1207.20/1207.64 c nbDecision=822500 #constraints=3060 1207.90/1208.35 c nbDecision=823000 #constraints=3060 1208.60/1209.08 c nbDecision=823500 #constraints=3061 1209.40/1209.80 c nbDecision=824000 #constraints=3061 1210.10/1210.53 c nbDecision=824500 #constraints=3062 1210.79/1211.25 c nbDecision=825000 #constraints=3062 1211.49/1211.98 c nbDecision=825500 #constraints=3063 1212.29/1212.71 c nbDecision=826000 #constraints=3063 1212.99/1213.43 c nbDecision=826500 #constraints=3063 1213.69/1214.17 c nbDecision=827000 #constraints=3064 1214.39/1214.89 c nbDecision=827500 #constraints=3064 1215.19/1215.63 c nbDecision=828000 #constraints=3065 1215.89/1216.35 c nbDecision=828500 #constraints=3065 1216.59/1217.07 c nbDecision=829000 #constraints=3065 1217.39/1217.81 c nbDecision=829500 #constraints=3066 1218.09/1218.53 c nbDecision=830000 #constraints=3066 1218.79/1219.27 c nbDecision=830500 #constraints=3067 1219.50/1219.99 c nbDecision=831000 #constraints=3067 1220.29/1220.73 c nbDecision=831500 #constraints=3068 1220.99/1221.45 c nbDecision=832000 #constraints=3068 1221.70/1222.16 c nbDecision=832500 #constraints=3068 1222.39/1222.89 c nbDecision=833000 #constraints=3069 1223.19/1223.60 c nbDecision=833500 #constraints=3069 1223.89/1224.34 c nbDecision=834000 #constraints=3070 1224.59/1225.04 c nbDecision=834500 #constraints=3070 1225.29/1225.75 c nbDecision=835000 #constraints=3070 1225.99/1226.48 c nbDecision=835500 #constraints=3071 1226.69/1227.18 c nbDecision=836000 #constraints=3071 1227.39/1227.89 c nbDecision=836500 #constraints=3071 1228.19/1228.62 c nbDecision=837000 #constraints=3072 1228.89/1229.33 c nbDecision=837500 #constraints=3072 1229.59/1230.06 c nbDecision=838000 #constraints=3073 1230.29/1230.77 c nbDecision=838500 #constraints=3073 1230.99/1231.49 c nbDecision=839000 #constraints=3073 1231.79/1232.22 c nbDecision=839500 #constraints=3074 1232.49/1232.94 c nbDecision=840000 #constraints=3074 1233.19/1233.66 c nbDecision=840500 #constraints=3074 1233.99/1234.40 c nbDecision=841000 #constraints=3075 1234.69/1235.11 c nbDecision=841500 #constraints=3075 1235.39/1235.83 c nbDecision=842000 #constraints=3075 1236.09/1236.56 c nbDecision=842500 #constraints=3076 1236.79/1237.28 c nbDecision=843000 #constraints=3076 1237.49/1238.00 c nbDecision=843500 #constraints=3076 1238.29/1238.74 c nbDecision=844000 #constraints=3077 1238.99/1239.46 c nbDecision=844500 #constraints=3077 1239.69/1240.19 c nbDecision=845000 #constraints=3078 1240.49/1240.92 c nbDecision=845500 #constraints=3078 1241.19/1241.62 c nbDecision=846000 #constraints=3078 1241.89/1242.35 c nbDecision=846500 #constraints=3079 1242.59/1243.05 c nbDecision=847000 #constraints=3079 1243.29/1243.76 c nbDecision=847500 #constraints=3079 1243.98/1244.49 c nbDecision=848000 #constraints=3080 1244.79/1245.20 c nbDecision=848500 #constraints=3080 1245.48/1245.92 c nbDecision=849000 #constraints=3080 1246.18/1246.65 c nbDecision=849500 #constraints=3081 1246.89/1247.36 c nbDecision=850000 #constraints=3081 1247.58/1248.07 c nbDecision=850500 #constraints=3081 1248.38/1248.80 c nbDecision=851000 #constraints=3082 1249.09/1249.51 c nbDecision=851500 #constraints=3082 1249.78/1250.24 c nbDecision=852000 #constraints=3083 1250.49/1250.96 c nbDecision=852500 #constraints=3083 1251.19/1251.67 c nbDecision=853000 #constraints=3083 1251.99/1252.40 c nbDecision=853500 #constraints=3084 1252.69/1253.12 c nbDecision=854000 #constraints=3084 1253.39/1253.84 c nbDecision=854500 #constraints=3084 1254.09/1254.58 c nbDecision=855000 #constraints=3085 1254.89/1255.30 c nbDecision=855500 #constraints=3085 1255.59/1256.02 c nbDecision=856000 #constraints=3085 1256.29/1256.76 c nbDecision=856500 #constraints=3086 1256.99/1257.47 c nbDecision=857000 #constraints=3086 1257.69/1258.19 c nbDecision=857500 #constraints=3086 1258.49/1258.93 c nbDecision=858000 #constraints=3087 1259.19/1259.65 c nbDecision=858500 #constraints=3087 1259.89/1260.38 c nbDecision=859000 #constraints=3088 1260.69/1261.10 c nbDecision=859500 #constraints=3088 1261.39/1261.81 c nbDecision=860000 #constraints=3088 1262.09/1262.54 c nbDecision=860500 #constraints=3089 1262.79/1263.25 c nbDecision=861000 #constraints=3089 1263.49/1263.97 c nbDecision=861500 #constraints=3089 1264.19/1264.69 c nbDecision=862000 #constraints=3090 1264.89/1265.39 c nbDecision=862500 #constraints=3090 1265.69/1266.11 c nbDecision=863000 #constraints=3090 1266.38/1266.84 c nbDecision=863500 #constraints=3091 1267.08/1267.55 c nbDecision=864000 #constraints=3091 1267.79/1268.26 c nbDecision=864500 #constraints=3091 1268.48/1268.98 c nbDecision=865000 #constraints=3092 1269.18/1269.69 c nbDecision=865500 #constraints=3092 1269.99/1270.42 c nbDecision=866000 #constraints=3093 1270.68/1271.13 c nbDecision=866500 #constraints=3093 1271.38/1271.84 c nbDecision=867000 #constraints=3093 1272.08/1272.57 c nbDecision=867500 #constraints=3094 1272.78/1273.30 c nbDecision=868000 #constraints=3094 1273.58/1274.01 c nbDecision=868500 #constraints=3094 1274.28/1274.75 c nbDecision=869000 #constraints=3095 1274.98/1275.47 c nbDecision=869500 #constraints=3095 1275.68/1276.19 c nbDecision=870000 #constraints=3095 1276.48/1276.93 c nbDecision=870500 #constraints=3096 1277.18/1277.63 c nbDecision=871000 #constraints=3096 1277.88/1278.33 c nbDecision=871500 #constraints=3096 1278.58/1279.07 c nbDecision=872000 #constraints=3097 1279.28/1279.79 c nbDecision=872500 #constraints=3097 1280.08/1280.53 c nbDecision=873000 #constraints=3098 1280.78/1281.25 c nbDecision=873500 #constraints=3098 1281.48/1281.97 c nbDecision=874000 #constraints=3098 1282.18/1282.68 c nbDecision=874500 #constraints=3099 1282.98/1283.40 c nbDecision=875000 #constraints=3099 1283.68/1284.11 c nbDecision=875500 #constraints=3099 1284.38/1284.84 c nbDecision=876000 #constraints=3100 1285.08/1285.55 c nbDecision=876500 #constraints=3100 1285.78/1286.26 c nbDecision=877000 #constraints=3100 1286.48/1286.99 c nbDecision=877500 #constraints=3101 1287.18/1287.68 c nbDecision=878000 #constraints=3101 1287.87/1288.39 c nbDecision=878500 #constraints=3101 1288.68/1289.13 c nbDecision=879000 #constraints=3102 1289.37/1289.84 c nbDecision=879500 #constraints=3102 1290.07/1290.57 c nbDecision=880000 #constraints=3103 1290.77/1291.28 c nbDecision=880500 #constraints=3103 1291.57/1292.00 c nbDecision=881000 #constraints=3103 1292.27/1292.73 c nbDecision=881500 #constraints=3104 1292.97/1293.45 c nbDecision=882000 #constraints=3104 1293.67/1294.17 c nbDecision=882500 #constraints=3104 1294.47/1294.91 c nbDecision=883000 #constraints=3105 1295.17/1295.63 c nbDecision=883500 #constraints=3105 1295.87/1296.35 c nbDecision=884000 #constraints=3105 1296.57/1297.09 c nbDecision=884500 #constraints=3106 1297.37/1297.80 c nbDecision=885000 #constraints=3106 1298.07/1298.52 c nbDecision=885500 #constraints=3106 1298.77/1299.26 c nbDecision=886000 #constraints=3107 1299.47/1299.98 c nbDecision=886500 #constraints=3107 1300.27/1300.72 c nbDecision=887000 #constraints=3108 1300.97/1301.44 c nbDecision=887500 #constraints=3108 1301.67/1302.15 c nbDecision=888000 #constraints=3108 1302.37/1302.87 c nbDecision=888500 #constraints=3109 1303.07/1303.58 c nbDecision=889000 #constraints=3109 1303.77/1304.30 c nbDecision=889500 #constraints=3109 1304.57/1305.01 c nbDecision=890000 #constraints=3110 1305.27/1305.73 c nbDecision=890500 #constraints=3110 1305.97/1306.44 c nbDecision=891000 #constraints=3110 1306.67/1307.17 c nbDecision=891500 #constraints=3111 1307.37/1307.88 c nbDecision=892000 #constraints=3111 1308.07/1308.59 c nbDecision=892500 #constraints=3111 1308.87/1309.32 c nbDecision=893000 #constraints=3112 1309.57/1310.01 c nbDecision=893500 #constraints=3112 1310.27/1310.71 c nbDecision=894000 #constraints=3112 1310.97/1311.45 c nbDecision=894500 #constraints=3113 1311.67/1312.16 c nbDecision=895000 #constraints=3113 1312.37/1312.90 c nbDecision=895500 #constraints=3114 1313.17/1313.62 c nbDecision=896000 #constraints=3114 1313.87/1314.34 c nbDecision=896500 #constraints=3114 1314.57/1315.07 c nbDecision=897000 #constraints=3115 1315.27/1315.77 c nbDecision=897500 #constraints=3115 1315.96/1316.49 c nbDecision=898000 #constraints=3115 1316.76/1317.23 c nbDecision=898500 #constraints=3116 1317.46/1317.95 c nbDecision=899000 #constraints=3116 1318.16/1318.67 c nbDecision=899500 #constraints=3116 1318.96/1319.41 c nbDecision=900000 #constraints=3117 1319.66/1320.11 c nbDecision=900500 #constraints=3117 1320.36/1320.82 c nbDecision=901000 #constraints=3117 1321.06/1321.56 c nbDecision=901500 #constraints=3118 1321.78/1322.26 c nbDecision=902000 #constraints=3118 1322.47/1322.97 c nbDecision=902500 #constraints=3118 1323.27/1323.70 c nbDecision=903000 #constraints=3119 1323.98/1324.42 c nbDecision=903500 #constraints=3119 1324.67/1325.14 c nbDecision=904000 #constraints=3120 1325.37/1325.86 c nbDecision=904500 #constraints=3120 1326.08/1326.57 c nbDecision=905000 #constraints=3120 1326.87/1327.30 c nbDecision=905500 #constraints=3121 1327.57/1328.02 c nbDecision=906000 #constraints=3121 1328.28/1328.73 c nbDecision=906500 #constraints=3121 1328.97/1329.46 c nbDecision=907000 #constraints=3122 1329.67/1330.17 c nbDecision=907500 #constraints=3122 1330.37/1330.89 c nbDecision=908000 #constraints=3122 1331.17/1331.62 c nbDecision=908500 #constraints=3123 1331.87/1332.33 c nbDecision=909000 #constraints=3123 1332.57/1333.05 c nbDecision=909500 #constraints=3123 1333.27/1333.79 c nbDecision=910000 #constraints=3124 1334.07/1334.51 c nbDecision=910500 #constraints=3124 1334.77/1335.23 c nbDecision=911000 #constraints=3124 1335.47/1335.97 c nbDecision=911500 #constraints=3125 1336.17/1336.69 c nbDecision=912000 #constraints=3125 1336.97/1337.41 c nbDecision=912500 #constraints=3126 1337.67/1338.14 c nbDecision=913000 #constraints=3126 1338.37/1338.86 c nbDecision=913500 #constraints=3126 1339.07/1339.59 c nbDecision=914000 #constraints=3127 1339.87/1340.31 c nbDecision=914500 #constraints=3127 1340.57/1341.03 c nbDecision=915000 #constraints=3127 1341.27/1341.76 c nbDecision=915500 #constraints=3128 1341.97/1342.47 c nbDecision=916000 #constraints=3128 1342.67/1343.17 c nbDecision=916500 #constraints=3128 1343.37/1343.89 c nbDecision=917000 #constraints=3129 1344.17/1344.61 c nbDecision=917500 #constraints=3129 1344.87/1345.32 c nbDecision=918000 #constraints=3129 1345.57/1346.05 c nbDecision=918500 #constraints=3130 1346.26/1346.76 c nbDecision=919000 #constraints=3130 1346.97/1347.46 c nbDecision=919500 #constraints=3130 1347.66/1348.20 c nbDecision=920000 #constraints=3131 1348.46/1348.90 c nbDecision=920500 #constraints=3131 1349.17/1349.62 c nbDecision=921000 #constraints=3132 1349.86/1350.34 c nbDecision=921500 #constraints=3132 1350.56/1351.06 c nbDecision=922000 #constraints=3132 1351.26/1351.78 c nbDecision=922500 #constraints=3133 1352.06/1352.50 c nbDecision=923000 #constraints=3133 1352.76/1353.22 c nbDecision=923500 #constraints=3133 1353.46/1353.95 c nbDecision=924000 #constraints=3134 1354.16/1354.67 c nbDecision=924500 #constraints=3134 1354.86/1355.39 c nbDecision=925000 #constraints=3134 1355.66/1356.13 c nbDecision=925500 #constraints=3135 1356.36/1356.85 c nbDecision=926000 #constraints=3135 1357.06/1357.56 c nbDecision=926500 #constraints=3135 1357.76/1358.29 c nbDecision=927000 #constraints=3136 1358.56/1359.00 c nbDecision=927500 #constraints=3136 1359.26/1359.72 c nbDecision=928000 #constraints=3136 1359.96/1360.47 c nbDecision=928500 #constraints=3137 1360.66/1361.19 c nbDecision=929000 #constraints=3137 1361.46/1361.91 c nbDecision=929500 #constraints=3138 1362.16/1362.62 c nbDecision=930000 #constraints=3138 1362.86/1363.33 c nbDecision=930500 #constraints=3138 1363.56/1364.06 c nbDecision=931000 #constraints=3139 1364.26/1364.78 c nbDecision=931500 #constraints=3139 1364.96/1365.49 c nbDecision=932000 #constraints=3139 1365.76/1366.22 c nbDecision=932500 #constraints=3140 1366.46/1366.92 c nbDecision=933000 #constraints=3140 1367.16/1367.63 c nbDecision=933500 #constraints=3140 1367.86/1368.36 c nbDecision=934000 #constraints=3141 1368.56/1369.08 c nbDecision=934500 #constraints=3141 1369.26/1369.78 c nbDecision=935000 #constraints=3141 1369.95/1370.50 c nbDecision=935500 #constraints=3142 1370.76/1371.22 c nbDecision=936000 #constraints=3142 1371.45/1371.93 c nbDecision=936500 #constraints=3142 1372.15/1372.66 c nbDecision=937000 #constraints=3143 1372.85/1373.38 c nbDecision=937500 #constraints=3143 1373.65/1374.12 c nbDecision=938000 #constraints=3144 1374.35/1374.84 c nbDecision=938500 #constraints=3144 1375.05/1375.56 c nbDecision=939000 #constraints=3144 1375.85/1376.30 c nbDecision=939500 #constraints=3145 1376.55/1377.02 c nbDecision=940000 #constraints=3145 1377.25/1377.72 c nbDecision=940500 #constraints=3145 1377.95/1378.46 c nbDecision=941000 #constraints=3146 1378.65/1379.18 c nbDecision=941500 #constraints=3146 1379.45/1379.90 c nbDecision=942000 #constraints=3146 1380.15/1380.64 c nbDecision=942500 #constraints=3147 1380.85/1381.34 c nbDecision=943000 #constraints=3147 1381.55/1382.06 c nbDecision=943500 #constraints=3147 1382.25/1382.78 c nbDecision=944000 #constraints=3148 1383.05/1383.50 c nbDecision=944500 #constraints=3148 1383.75/1384.21 c nbDecision=945000 #constraints=3148 1384.45/1384.94 c nbDecision=945500 #constraints=3149 1385.15/1385.66 c nbDecision=946000 #constraints=3149 1385.85/1386.37 c nbDecision=946500 #constraints=3149 1388.24/1388.73 c nbDecision=947000 #constraints=3252 1389.04/1389.54 c nbDecision=947500 #constraints=3257 1389.85/1390.33 c nbDecision=948000 #constraints=3261 1390.64/1391.12 c nbDecision=948500 #constraints=3265 1391.44/1391.92 c nbDecision=949000 #constraints=3269 1392.24/1392.72 c nbDecision=949500 #constraints=3273 1393.04/1393.52 c nbDecision=950000 #constraints=3277 1393.84/1394.33 c nbDecision=950500 #constraints=3282 1394.65/1395.13 c nbDecision=951000 #constraints=3286 1395.45/1395.94 c nbDecision=951500 #constraints=3290 1396.25/1396.74 c nbDecision=952000 #constraints=3294 1397.05/1397.54 c nbDecision=952500 #constraints=3298 1397.85/1398.33 c nbDecision=953000 #constraints=3302 1398.65/1399.15 c nbDecision=953500 #constraints=3307 1399.35/1399.88 c nbDecision=954000 #constraints=3307 1400.15/1400.63 c nbDecision=954500 #constraints=3308 1400.85/1401.36 c nbDecision=955000 #constraints=3309 1401.65/1402.10 c nbDecision=955500 #constraints=3310 1402.35/1402.84 c nbDecision=956000 #constraints=3311 1403.05/1403.57 c nbDecision=956500 #constraints=3312 1403.85/1404.31 c nbDecision=957000 #constraints=3313 1404.55/1405.05 c nbDecision=957500 #constraints=3314 1405.25/1405.78 c nbDecision=958000 #constraints=3315 1406.04/1406.52 c nbDecision=958500 #constraints=3316 1406.74/1407.25 c nbDecision=959000 #constraints=3317 1407.45/1407.99 c nbDecision=959500 #constraints=3318 1408.24/1408.72 c nbDecision=960000 #constraints=3319 1408.94/1409.46 c nbDecision=960500 #constraints=3320 1409.65/1410.20 c nbDecision=961000 #constraints=3321 1410.44/1410.94 c nbDecision=961500 #constraints=3322 1411.14/1411.68 c nbDecision=962000 #constraints=3323 1411.95/1412.41 c nbDecision=962500 #constraints=3324 1412.64/1413.16 c nbDecision=963000 #constraints=3325 1413.44/1413.90 c nbDecision=963500 #constraints=3326 1414.15/1414.65 c nbDecision=964000 #constraints=3327 1414.84/1415.39 c nbDecision=964500 #constraints=3328 1415.64/1416.13 c nbDecision=965000 #constraints=3329 1416.34/1416.88 c nbDecision=965500 #constraints=3330 1417.14/1417.62 c nbDecision=966000 #constraints=3331 1417.84/1418.36 c nbDecision=966500 #constraints=3332 1418.64/1419.11 c nbDecision=967000 #constraints=3333 1419.34/1419.85 c nbDecision=967500 #constraints=3334 1420.14/1420.60 c nbDecision=968000 #constraints=3335 1420.84/1421.34 c nbDecision=968500 #constraints=3336 1421.54/1422.08 c nbDecision=969000 #constraints=3337 1422.34/1422.82 c nbDecision=969500 #constraints=3338 1423.04/1423.56 c nbDecision=970000 #constraints=3339 1423.74/1424.30 c nbDecision=970500 #constraints=3340 1424.54/1425.02 c nbDecision=971000 #constraints=3340 1425.24/1425.75 c nbDecision=971500 #constraints=3341 1425.94/1426.49 c nbDecision=972000 #constraints=3342 1426.74/1427.23 c nbDecision=972500 #constraints=3343 1427.44/1427.96 c nbDecision=973000 #constraints=3344 1428.24/1428.70 c nbDecision=973500 #constraints=3345 1428.94/1429.44 c nbDecision=974000 #constraints=3346 1429.64/1430.18 c nbDecision=974500 #constraints=3347 1430.44/1430.91 c nbDecision=975000 #constraints=3348 1431.14/1431.65 c nbDecision=975500 #constraints=3349 1431.84/1432.39 c nbDecision=976000 #constraints=3350 1432.63/1433.13 c nbDecision=976500 #constraints=3351 1433.33/1433.88 c nbDecision=977000 #constraints=3352 1434.13/1434.62 c nbDecision=977500 #constraints=3353 1434.83/1435.37 c nbDecision=978000 #constraints=3354 1435.63/1436.11 c nbDecision=978500 #constraints=3355 1436.33/1436.86 c nbDecision=979000 #constraints=3356 1437.03/1437.60 c nbDecision=979500 #constraints=3357 1437.83/1438.35 c nbDecision=980000 #constraints=3358 1438.53/1439.09 c nbDecision=980500 #constraints=3359 1439.34/1439.83 c nbDecision=981000 #constraints=3360 1440.03/1440.58 c nbDecision=981500 #constraints=3361 1440.83/1441.32 c nbDecision=982000 #constraints=3362 1441.53/1442.04 c nbDecision=982500 #constraints=3362 1442.23/1442.78 c nbDecision=983000 #constraints=3363 1443.03/1443.52 c nbDecision=983500 #constraints=3364 1443.73/1444.25 c nbDecision=984000 #constraints=3365 1444.43/1444.99 c nbDecision=984500 #constraints=3366 1445.23/1445.73 c nbDecision=985000 #constraints=3367 1445.93/1446.47 c nbDecision=985500 #constraints=3368 1446.73/1447.20 c nbDecision=986000 #constraints=3369 1447.43/1447.94 c nbDecision=986500 #constraints=3370 1448.13/1448.68 c nbDecision=987000 #constraints=3371 1448.92/1449.41 c nbDecision=987500 #constraints=3372 1449.62/1450.15 c nbDecision=988000 #constraints=3373 1450.33/1450.87 c nbDecision=988500 #constraints=3373 1451.12/1451.61 c nbDecision=989000 #constraints=3374 1451.82/1452.34 c nbDecision=989500 #constraints=3375 1452.53/1453.09 c nbDecision=990000 #constraints=3376 1453.32/1453.83 c nbDecision=990500 #constraints=3377 1454.02/1454.58 c nbDecision=991000 #constraints=3378 1454.83/1455.32 c nbDecision=991500 #constraints=3379 1455.52/1456.06 c nbDecision=992000 #constraints=3380 1456.32/1456.81 c nbDecision=992500 #constraints=3381 1457.03/1457.54 c nbDecision=993000 #constraints=3382 1457.72/1458.29 c nbDecision=993500 #constraints=3383 1458.52/1459.03 c nbDecision=994000 #constraints=3384 1459.22/1459.76 c nbDecision=994500 #constraints=3384 1459.92/1460.49 c nbDecision=995000 #constraints=3385 1460.72/1461.23 c nbDecision=995500 #constraints=3386 1461.42/1461.98 c nbDecision=996000 #constraints=3387 1462.22/1462.71 c nbDecision=996500 #constraints=3388 1462.92/1463.45 c nbDecision=997000 #constraints=3389 1463.62/1464.19 c nbDecision=997500 #constraints=3390 1464.42/1464.92 c nbDecision=998000 #constraints=3391 1465.12/1465.66 c nbDecision=998500 #constraints=3392 1465.82/1466.38 c nbDecision=999000 #constraints=3392 1466.62/1467.11 c nbDecision=999500 #constraints=3393 1467.32/1467.85 c nbDecision=1000000 #constraints=3394 1468.03/1468.58 c nbDecision=1000500 #constraints=3395 1468.83/1469.32 c nbDecision=1001000 #constraints=3396 1469.53/1470.04 c nbDecision=1001500 #constraints=3396 1470.23/1470.78 c nbDecision=1002000 #constraints=3397 1471.02/1471.51 c nbDecision=1002500 #constraints=3398 1471.72/1472.26 c nbDecision=1003000 #constraints=3399 1472.43/1472.98 c nbDecision=1003500 #constraints=3399 1473.23/1473.73 c nbDecision=1004000 #constraints=3400 1473.92/1474.47 c nbDecision=1004500 #constraints=3401 1474.72/1475.21 c nbDecision=1005000 #constraints=3402 1475.42/1475.96 c nbDecision=1005500 #constraints=3403 1476.12/1476.68 c nbDecision=1006000 #constraints=3403 1476.92/1477.42 c nbDecision=1006500 #constraints=3404 1477.62/1478.16 c nbDecision=1007000 #constraints=3405 1478.42/1478.91 c nbDecision=1007500 #constraints=3406 1479.12/1479.63 c nbDecision=1008000 #constraints=3406 1479.82/1480.38 c nbDecision=1008500 #constraints=3407 1480.62/1481.12 c nbDecision=1009000 #constraints=3408 1481.32/1481.86 c nbDecision=1009500 #constraints=3409 1482.02/1482.59 c nbDecision=1010000 #constraints=3410 1482.82/1483.31 c nbDecision=1010500 #constraints=3410 1483.52/1484.05 c nbDecision=1011000 #constraints=3411 1484.22/1484.79 c nbDecision=1011500 #constraints=3412 1485.02/1485.52 c nbDecision=1012000 #constraints=3413 1485.72/1486.26 c nbDecision=1012500 #constraints=3414 1486.42/1486.98 c nbDecision=1013000 #constraints=3414 1487.22/1487.71 c nbDecision=1013500 #constraints=3415 1487.92/1488.44 c nbDecision=1014000 #constraints=3416 1488.62/1489.18 c nbDecision=1014500 #constraints=3417 1489.42/1489.90 c nbDecision=1015000 #constraints=3417 1490.12/1490.63 c nbDecision=1015500 #constraints=3418 1490.82/1491.37 c nbDecision=1016000 #constraints=3419 1491.62/1492.11 c nbDecision=1016500 #constraints=3420 1492.32/1492.86 c nbDecision=1017000 #constraints=3421 1493.02/1493.58 c nbDecision=1017500 #constraints=3421 1493.81/1494.33 c nbDecision=1018000 #constraints=3422 1494.51/1495.07 c nbDecision=1018500 #constraints=3423 1495.31/1495.81 c nbDecision=1019000 #constraints=3424 1496.01/1496.54 c nbDecision=1019500 #constraints=3424 1496.71/1497.28 c nbDecision=1020000 #constraints=3425 1497.51/1498.02 c nbDecision=1020500 #constraints=3426 1498.21/1498.76 c nbDecision=1021000 #constraints=3427 1498.92/1499.49 c nbDecision=1021500 #constraints=3427 1499.71/1500.23 c nbDecision=1022000 #constraints=3428 1500.41/1500.97 c nbDecision=1022500 #constraints=3429 1501.21/1501.70 c nbDecision=1023000 #constraints=3429 1501.91/1502.44 c nbDecision=1023500 #constraints=3430 1502.61/1503.17 c nbDecision=1024000 #constraints=3431 1503.41/1503.90 c nbDecision=1024500 #constraints=3432 1504.11/1504.62 c nbDecision=1025000 #constraints=3432 1504.81/1505.36 c nbDecision=1025500 #constraints=3433 1505.51/1506.09 c nbDecision=1026000 #constraints=3434 1506.31/1506.81 c nbDecision=1026500 #constraints=3434 1507.01/1507.54 c nbDecision=1027000 #constraints=3435 1507.71/1508.27 c nbDecision=1027500 #constraints=3436 1508.51/1509.00 c nbDecision=1028000 #constraints=3437 1509.21/1509.72 c nbDecision=1028500 #constraints=3437 1509.91/1510.46 c nbDecision=1029000 #constraints=3438 1510.61/1511.19 c nbDecision=1029500 #constraints=3439 1511.41/1511.91 c nbDecision=1030000 #constraints=3439 1512.11/1512.64 c nbDecision=1030500 #constraints=3440 1512.81/1513.39 c nbDecision=1031000 #constraints=3441 1513.61/1514.13 c nbDecision=1031500 #constraints=3442 1514.31/1514.85 c nbDecision=1032000 #constraints=3442 1515.11/1515.60 c nbDecision=1032500 #constraints=3443 1515.81/1516.34 c nbDecision=1033000 #constraints=3444 1516.51/1517.07 c nbDecision=1033500 #constraints=3444 1517.30/1517.81 c nbDecision=1034000 #constraints=3445 1518.00/1518.55 c nbDecision=1034500 #constraints=3446 1518.80/1519.30 c nbDecision=1035000 #constraints=3447 1519.50/1520.02 c nbDecision=1035500 #constraints=3447 1520.20/1520.77 c nbDecision=1036000 #constraints=3448 1521.00/1521.51 c nbDecision=1036500 #constraints=3449 1521.70/1522.22 c nbDecision=1037000 #constraints=3449 1522.40/1522.96 c nbDecision=1037500 #constraints=3450 1523.10/1523.69 c nbDecision=1038000 #constraints=3451 1523.90/1524.43 c nbDecision=1038500 #constraints=3452 1524.60/1525.15 c nbDecision=1039000 #constraints=3452 1525.30/1525.87 c nbDecision=1039500 #constraints=3453 1526.10/1526.61 c nbDecision=1040000 #constraints=3454 1526.80/1527.34 c nbDecision=1040500 #constraints=3455 1527.50/1528.06 c nbDecision=1041000 #constraints=3455 1528.20/1528.79 c nbDecision=1041500 #constraints=3456 1529.00/1529.53 c nbDecision=1042000 #constraints=3457 1529.70/1530.25 c nbDecision=1042500 #constraints=3457 1530.40/1530.98 c nbDecision=1043000 #constraints=3458 1531.20/1531.72 c nbDecision=1043500 #constraints=3459 1531.90/1532.43 c nbDecision=1044000 #constraints=3459 1532.60/1533.18 c nbDecision=1044500 #constraints=3460 1533.40/1533.92 c nbDecision=1045000 #constraints=3461 1534.10/1534.66 c nbDecision=1045500 #constraints=3462 1534.80/1535.39 c nbDecision=1046000 #constraints=3462 1535.60/1536.13 c nbDecision=1046500 #constraints=3463 1536.30/1536.87 c nbDecision=1047000 #constraints=3464 1537.00/1537.58 c nbDecision=1047500 #constraints=3464 1537.80/1538.33 c nbDecision=1048000 #constraints=3465 1538.50/1539.07 c nbDecision=1048500 #constraints=3466 1539.20/1539.80 c nbDecision=1049000 #constraints=3466 1539.99/1540.54 c nbDecision=1049500 #constraints=3467 1540.69/1541.28 c nbDecision=1050000 #constraints=3468 1541.49/1542.02 c nbDecision=1050500 #constraints=3469 1542.19/1542.73 c nbDecision=1051000 #constraints=3469 1542.89/1543.46 c nbDecision=1051500 #constraints=3470 1543.69/1544.20 c nbDecision=1052000 #constraints=3471 1544.39/1544.92 c nbDecision=1052500 #constraints=3471 1545.09/1545.65 c nbDecision=1053000 #constraints=3472 1545.79/1546.39 c nbDecision=1053500 #constraints=3473 1546.59/1547.11 c nbDecision=1054000 #constraints=3473 1547.29/1547.84 c nbDecision=1054500 #constraints=3474 1547.99/1548.58 c nbDecision=1055000 #constraints=3475 1548.79/1549.30 c nbDecision=1055500 #constraints=3475 1549.49/1550.03 c nbDecision=1056000 #constraints=3476 1550.20/1550.76 c nbDecision=1056500 #constraints=3477 1550.90/1551.48 c nbDecision=1057000 #constraints=3477 1551.70/1552.22 c nbDecision=1057500 #constraints=3478 1552.40/1552.94 c nbDecision=1058000 #constraints=3478 1553.10/1553.68 c nbDecision=1058500 #constraints=3479 1553.90/1554.42 c nbDecision=1059000 #constraints=3480 1554.60/1555.14 c nbDecision=1059500 #constraints=3480 1555.30/1555.89 c nbDecision=1060000 #constraints=3481 1556.10/1556.63 c nbDecision=1060500 #constraints=3482 1556.80/1557.35 c nbDecision=1061000 #constraints=3482 1557.50/1558.09 c nbDecision=1061500 #constraints=3483 1558.30/1558.84 c nbDecision=1062000 #constraints=3484 1559.00/1559.56 c nbDecision=1062500 #constraints=3484 1559.80/1560.30 c nbDecision=1063000 #constraints=3485 1560.50/1561.05 c nbDecision=1063500 #constraints=3486 1561.20/1561.77 c nbDecision=1064000 #constraints=3486 1561.99/1562.51 c nbDecision=1064500 #constraints=3487 1562.69/1563.24 c nbDecision=1065000 #constraints=3488 1563.39/1563.96 c nbDecision=1065500 #constraints=3488 1564.09/1564.70 c nbDecision=1066000 #constraints=3489 1564.89/1565.41 c nbDecision=1066500 #constraints=3489 1565.59/1566.15 c nbDecision=1067000 #constraints=3490 1566.29/1566.89 c nbDecision=1067500 #constraints=3491 1566.99/1567.59 c nbDecision=1068000 #constraints=3491 1567.79/1568.33 c nbDecision=1068500 #constraints=3492 1568.49/1569.06 c nbDecision=1069000 #constraints=3493 1569.19/1569.77 c nbDecision=1069500 #constraints=3493 1569.99/1570.51 c nbDecision=1070000 #constraints=3494 1570.69/1571.24 c nbDecision=1070500 #constraints=3495 1571.39/1571.96 c nbDecision=1071000 #constraints=3495 1572.19/1572.70 c nbDecision=1071500 #constraints=3496 1572.89/1573.44 c nbDecision=1072000 #constraints=3497 1573.59/1574.17 c nbDecision=1072500 #constraints=3497 1574.39/1574.91 c nbDecision=1073000 #constraints=3498 1575.09/1575.65 c nbDecision=1073500 #constraints=3499 1575.79/1576.38 c nbDecision=1074000 #constraints=3499 1576.59/1577.12 c nbDecision=1074500 #constraints=3500 1577.29/1577.84 c nbDecision=1075000 #constraints=3500 1577.99/1578.59 c nbDecision=1075500 #constraints=3501 1578.79/1579.33 c nbDecision=1076000 #constraints=3502 1579.49/1580.05 c nbDecision=1076500 #constraints=3502 1580.29/1580.80 c nbDecision=1077000 #constraints=3503 1580.99/1581.54 c nbDecision=1077500 #constraints=3504 1581.69/1582.26 c nbDecision=1078000 #constraints=3504 1582.39/1582.99 c nbDecision=1078500 #constraints=3505 1583.19/1583.73 c nbDecision=1079000 #constraints=3506 1583.89/1584.45 c nbDecision=1079500 #constraints=3506 1584.59/1585.18 c nbDecision=1080000 #constraints=3507 1585.29/1585.89 c nbDecision=1080500 #constraints=3507 1586.08/1586.63 c nbDecision=1081000 #constraints=3508 1586.79/1587.36 c nbDecision=1081500 #constraints=3509 1587.48/1588.07 c nbDecision=1082000 #constraints=3509 1588.28/1588.81 c nbDecision=1082500 #constraints=3510 1588.99/1589.54 c nbDecision=1083000 #constraints=3511 1589.68/1590.26 c nbDecision=1083500 #constraints=3511 1590.48/1591.00 c nbDecision=1084000 #constraints=3512 1591.19/1591.72 c nbDecision=1084500 #constraints=3512 1591.88/1592.45 c nbDecision=1085000 #constraints=3513 1592.58/1593.19 c nbDecision=1085500 #constraints=3514 1593.39/1593.92 c nbDecision=1086000 #constraints=3514 1594.08/1594.66 c nbDecision=1086500 #constraints=3515 1594.78/1595.38 c nbDecision=1087000 #constraints=3515 1595.58/1596.13 c nbDecision=1087500 #constraints=3516 1596.28/1596.87 c nbDecision=1088000 #constraints=3517 1596.98/1597.59 c nbDecision=1088500 #constraints=3517 1597.78/1598.33 c nbDecision=1089000 #constraints=3518 1598.48/1599.08 c nbDecision=1089500 #constraints=3519 1599.27/1599.80 c nbDecision=1090000 #constraints=3519 1599.98/1600.54 c nbDecision=1090500 #constraints=3520 1600.67/1601.27 c nbDecision=1091000 #constraints=3520 1601.47/1602.01 c nbDecision=1091500 #constraints=3521 1602.18/1602.73 c nbDecision=1092000 #constraints=3522 1602.87/1603.45 c nbDecision=1092500 #constraints=3522 1603.57/1604.18 c nbDecision=1093000 #constraints=3523 1604.28/1604.90 c nbDecision=1093500 #constraints=3523 1605.07/1605.63 c nbDecision=1094000 #constraints=3524 1605.77/1606.35 c nbDecision=1094500 #constraints=3524 1606.48/1607.09 c nbDecision=1095000 #constraints=3525 1607.27/1607.82 c nbDecision=1095500 #constraints=3526 1607.97/1608.54 c nbDecision=1096000 #constraints=3526 1608.68/1609.28 c nbDecision=1096500 #constraints=3527 1609.37/1609.99 c nbDecision=1097000 #constraints=3527 1610.17/1610.73 c nbDecision=1097500 #constraints=3528 1610.87/1611.46 c nbDecision=1098000 #constraints=3529 1611.57/1612.18 c nbDecision=1098500 #constraints=3529 1612.37/1612.93 c nbDecision=1099000 #constraints=3530 1613.07/1613.65 c nbDecision=1099500 #constraints=3530 1613.77/1614.39 c nbDecision=1100000 #constraints=3531 1614.57/1615.12 c nbDecision=1100500 #constraints=3531 1615.27/1615.86 c nbDecision=1101000 #constraints=3532 1616.07/1616.60 c nbDecision=1101500 #constraints=3533 1616.77/1617.33 c nbDecision=1102000 #constraints=3533 1617.47/1618.07 c nbDecision=1102500 #constraints=3534 1618.17/1618.80 c nbDecision=1103000 #constraints=3534 1618.97/1619.54 c nbDecision=1103500 #constraints=3535 1619.67/1620.27 c nbDecision=1104000 #constraints=3535 1620.47/1621.01 c nbDecision=1104500 #constraints=3536 1621.17/1621.75 c nbDecision=1105000 #constraints=3537 1621.87/1622.47 c nbDecision=1105500 #constraints=3537 1622.67/1623.20 c nbDecision=1106000 #constraints=3538 1623.37/1623.92 c nbDecision=1106500 #constraints=3538 1624.07/1624.65 c nbDecision=1107000 #constraints=3539 1624.77/1625.37 c nbDecision=1107500 #constraints=3539 1625.57/1626.10 c nbDecision=1108000 #constraints=3540 1626.27/1626.84 c nbDecision=1108500 #constraints=3541 1626.97/1627.54 c nbDecision=1109000 #constraints=3541 1627.67/1628.28 c nbDecision=1109500 #constraints=3542 1628.36/1629.00 c nbDecision=1110000 #constraints=3542 1629.16/1629.73 c nbDecision=1110500 #constraints=3543 1629.86/1630.45 c nbDecision=1111000 #constraints=3543 1630.56/1631.18 c nbDecision=1111500 #constraints=3544 1631.36/1631.90 c nbDecision=1112000 #constraints=3544 1632.06/1632.65 c nbDecision=1112500 #constraints=3545 1632.76/1633.39 c nbDecision=1113000 #constraints=3546 1633.56/1634.11 c nbDecision=1113500 #constraints=3546 1634.26/1634.85 c nbDecision=1114000 #constraints=3547 1634.96/1635.58 c nbDecision=1114500 #constraints=3547 1635.76/1636.31 c nbDecision=1115000 #constraints=3548 1636.46/1637.04 c nbDecision=1115500 #constraints=3548 1637.16/1637.78 c nbDecision=1116000 #constraints=3549 1637.96/1638.50 c nbDecision=1116500 #constraints=3549 1638.66/1639.24 c nbDecision=1117000 #constraints=3550 1639.36/1639.98 c nbDecision=1117500 #constraints=3551 1640.16/1640.71 c nbDecision=1118000 #constraints=3551 1640.86/1641.45 c nbDecision=1118500 #constraints=3552 1641.56/1642.17 c nbDecision=1119000 #constraints=3552 1642.36/1642.90 c nbDecision=1119500 #constraints=3553 1643.06/1643.62 c nbDecision=1120000 #constraints=3553 1643.76/1644.36 c nbDecision=1120500 #constraints=3554 1644.46/1645.09 c nbDecision=1121000 #constraints=3555 1645.26/1645.81 c nbDecision=1121500 #constraints=3555 1645.96/1646.55 c nbDecision=1122000 #constraints=3556 1646.66/1647.26 c nbDecision=1122500 #constraints=3556 1647.46/1648.00 c nbDecision=1123000 #constraints=3557 1648.16/1648.71 c nbDecision=1123500 #constraints=3557 1648.86/1649.45 c nbDecision=1124000 #constraints=3558 1649.56/1650.17 c nbDecision=1124500 #constraints=3558 1650.36/1650.90 c nbDecision=1125000 #constraints=3559 1651.06/1651.64 c nbDecision=1125500 #constraints=3560 1651.76/1652.36 c nbDecision=1126000 #constraints=3560 1652.56/1653.11 c nbDecision=1126500 #constraints=3561 1653.26/1653.83 c nbDecision=1127000 #constraints=3561 1653.95/1654.57 c nbDecision=1127500 #constraints=3562 1654.65/1655.29 c nbDecision=1128000 #constraints=3562 1655.45/1656.03 c nbDecision=1128500 #constraints=3563 1656.15/1656.75 c nbDecision=1129000 #constraints=3563 1656.95/1657.50 c nbDecision=1129500 #constraints=3564 1657.65/1658.24 c nbDecision=1130000 #constraints=3565 1658.35/1658.97 c nbDecision=1130500 #constraints=3565 1659.15/1659.71 c nbDecision=1131000 #constraints=3566 1659.85/1660.43 c nbDecision=1131500 #constraints=3566 1660.55/1661.18 c nbDecision=1132000 #constraints=3567 1661.25/1661.90 c nbDecision=1132500 #constraints=3567 1662.05/1662.63 c nbDecision=1133000 #constraints=3568 1662.75/1663.35 c nbDecision=1133500 #constraints=3568 1663.45/1664.09 c nbDecision=1134000 #constraints=3569 1664.25/1664.81 c nbDecision=1134500 #constraints=3570 1664.95/1665.53 c nbDecision=1135000 #constraints=3570 1665.65/1666.25 c nbDecision=1135500 #constraints=3571 1666.35/1666.97 c nbDecision=1136000 #constraints=3571 1667.05/1667.70 c nbDecision=1136500 #constraints=3572 1667.85/1668.41 c nbDecision=1137000 #constraints=3572 1668.55/1669.15 c nbDecision=1137500 #constraints=3573 1669.25/1669.86 c nbDecision=1138000 #constraints=3573 1670.06/1670.60 c nbDecision=1138500 #constraints=3574 1670.76/1671.32 c nbDecision=1139000 #constraints=3574 1671.46/1672.06 c nbDecision=1139500 #constraints=3575 1672.16/1672.78 c nbDecision=1140000 #constraints=3575 1672.96/1673.52 c nbDecision=1140500 #constraints=3576 1673.66/1674.26 c nbDecision=1141000 #constraints=3577 1674.36/1674.99 c nbDecision=1141500 #constraints=3577 1675.15/1675.73 c nbDecision=1142000 #constraints=3578 1675.86/1676.46 c nbDecision=1142500 #constraints=3578 1676.55/1677.20 c nbDecision=1143000 #constraints=3579 1677.35/1677.92 c nbDecision=1143500 #constraints=3579 1678.06/1678.66 c nbDecision=1144000 #constraints=3580 1678.75/1679.39 c nbDecision=1144500 #constraints=3580 1679.55/1680.13 c nbDecision=1145000 #constraints=3581 1680.26/1680.85 c nbDecision=1145500 #constraints=3581 1680.95/1681.60 c nbDecision=1146000 #constraints=3582 1681.75/1682.30 c nbDecision=1146500 #constraints=3582 1682.46/1683.04 c nbDecision=1147000 #constraints=3583 1683.15/1683.78 c nbDecision=1147500 #constraints=3584 1683.85/1684.50 c nbDecision=1148000 #constraints=3584 1684.65/1685.23 c nbDecision=1148500 #constraints=3585 1685.35/1685.95 c nbDecision=1149000 #constraints=3585 1686.05/1686.68 c nbDecision=1149500 #constraints=3586 1686.75/1687.39 c nbDecision=1150000 #constraints=3586 1687.55/1688.13 c nbDecision=1150500 #constraints=3587 1688.25/1688.84 c nbDecision=1151000 #constraints=3587 1688.95/1689.58 c nbDecision=1151500 #constraints=3588 1689.65/1690.30 c nbDecision=1152000 #constraints=3588 1690.45/1691.03 c nbDecision=1152500 #constraints=3589 1691.15/1691.77 c nbDecision=1153000 #constraints=3590 1691.85/1692.48 c nbDecision=1153500 #constraints=3590 1692.65/1693.22 c nbDecision=1154000 #constraints=3591 1693.35/1693.94 c nbDecision=1154500 #constraints=3591 1694.05/1694.68 c nbDecision=1155000 #constraints=3592 1694.75/1695.40 c nbDecision=1155500 #constraints=3592 1695.55/1696.14 c nbDecision=1156000 #constraints=3593 1696.25/1696.86 c nbDecision=1156500 #constraints=3593 1696.95/1697.59 c nbDecision=1157000 #constraints=3594 1697.75/1698.31 c nbDecision=1157500 #constraints=3594 1698.44/1699.06 c nbDecision=1158000 #constraints=3595 1699.14/1699.78 c nbDecision=1158500 #constraints=3595 1699.95/1700.52 c nbDecision=1159000 #constraints=3596 1700.64/1701.26 c nbDecision=1159500 #constraints=3597 1701.34/1701.99 c nbDecision=1160000 #constraints=3597 1702.15/1702.72 c nbDecision=1160500 #constraints=3598 1702.84/1703.43 c nbDecision=1161000 #constraints=3598 1703.54/1704.17 c nbDecision=1161500 #constraints=3599 1704.24/1704.89 c nbDecision=1162000 #constraints=3599 1705.04/1705.62 c nbDecision=1162500 #constraints=3600 1705.74/1706.34 c nbDecision=1163000 #constraints=3600 1706.44/1707.08 c nbDecision=1163500 #constraints=3601 1707.14/1707.79 c nbDecision=1164000 #constraints=3601 1707.94/1708.53 c nbDecision=1164500 #constraints=3602 1708.64/1709.26 c nbDecision=1165000 #constraints=3603 1709.34/1709.98 c nbDecision=1165500 #constraints=3603 1710.14/1710.72 c nbDecision=1166000 #constraints=3604 1710.84/1711.43 c nbDecision=1166500 #constraints=3604 1711.54/1712.17 c nbDecision=1167000 #constraints=3605 1712.24/1712.90 c nbDecision=1167500 #constraints=3605 1713.04/1713.64 c nbDecision=1168000 #constraints=3606 1713.74/1714.36 c nbDecision=1168500 #constraints=3606 1714.54/1715.11 c nbDecision=1169000 #constraints=3607 1715.24/1715.83 c nbDecision=1169500 #constraints=3607 1715.94/1716.57 c nbDecision=1170000 #constraints=3608 1716.64/1717.29 c nbDecision=1170500 #constraints=3608 1717.44/1718.03 c nbDecision=1171000 #constraints=3609 1718.14/1718.77 c nbDecision=1171500 #constraints=3610 1718.93/1719.50 c nbDecision=1172000 #constraints=3610 1719.63/1720.24 c nbDecision=1172500 #constraints=3611 1720.33/1720.96 c nbDecision=1173000 #constraints=3611 1721.13/1721.71 c nbDecision=1173500 #constraints=3612 1721.83/1722.41 c nbDecision=1174000 #constraints=3612 1722.53/1723.15 c nbDecision=1174500 #constraints=3613 1723.23/1723.87 c nbDecision=1175000 #constraints=3613 1724.03/1724.60 c nbDecision=1175500 #constraints=3614 1724.73/1725.32 c nbDecision=1176000 #constraints=3614 1725.43/1726.06 c nbDecision=1176500 #constraints=3615 1726.13/1726.79 c nbDecision=1177000 #constraints=3616 1726.83/1727.50 c nbDecision=1177500 #constraints=3616 1727.63/1728.23 c nbDecision=1178000 #constraints=3617 1728.33/1728.95 c nbDecision=1178500 #constraints=3617 1729.03/1729.69 c nbDecision=1179000 #constraints=3618 1729.83/1730.40 c nbDecision=1179500 #constraints=3618 1730.53/1731.14 c nbDecision=1180000 #constraints=3619 1731.23/1731.86 c nbDecision=1180500 #constraints=3619 1732.03/1732.60 c nbDecision=1181000 #constraints=3620 1732.73/1733.32 c nbDecision=1181500 #constraints=3620 1733.43/1734.07 c nbDecision=1182000 #constraints=3621 1734.13/1734.79 c nbDecision=1182500 #constraints=3621 1734.93/1735.53 c nbDecision=1183000 #constraints=3622 1735.63/1736.27 c nbDecision=1183500 #constraints=3623 1736.43/1737.00 c nbDecision=1184000 #constraints=3623 1737.13/1737.73 c nbDecision=1184500 #constraints=3624 1737.83/1738.45 c nbDecision=1185000 #constraints=3624 1738.53/1739.19 c nbDecision=1185500 #constraints=3625 1739.32/1739.91 c nbDecision=1186000 #constraints=3625 1740.02/1740.66 c nbDecision=1186500 #constraints=3626 1740.73/1741.38 c nbDecision=1187000 #constraints=3626 1741.52/1742.12 c nbDecision=1187500 #constraints=3627 1742.22/1742.83 c nbDecision=1188000 #constraints=3627 1742.93/1743.57 c nbDecision=1188500 #constraints=3628 1743.62/1744.29 c nbDecision=1189000 #constraints=3628 1744.42/1745.02 c nbDecision=1189500 #constraints=3629 1745.13/1745.76 c nbDecision=1190000 #constraints=3630 1745.82/1746.48 c nbDecision=1190500 #constraints=3630 1746.62/1747.21 c nbDecision=1191000 #constraints=3631 1747.33/1747.93 c nbDecision=1191500 #constraints=3631 1748.02/1748.66 c nbDecision=1192000 #constraints=3632 1748.72/1749.38 c nbDecision=1192500 #constraints=3632 1749.53/1750.12 c nbDecision=1193000 #constraints=3633 1750.22/1750.83 c nbDecision=1193500 #constraints=3633 1750.92/1751.57 c nbDecision=1194000 #constraints=3634 1751.63/1752.28 c nbDecision=1194500 #constraints=3634 1752.42/1753.02 c nbDecision=1195000 #constraints=3635 1753.12/1753.75 c nbDecision=1195500 #constraints=3635 1753.83/1754.49 c nbDecision=1196000 #constraints=3636 1754.62/1755.21 c nbDecision=1196500 #constraints=3636 1755.32/1755.96 c nbDecision=1197000 #constraints=3637 1756.03/1756.70 c nbDecision=1197500 #constraints=3638 1756.82/1757.41 c nbDecision=1198000 #constraints=3638 1757.52/1758.15 c nbDecision=1198500 #constraints=3639 1758.22/1758.88 c nbDecision=1199000 #constraints=3639 1759.02/1759.62 c nbDecision=1199500 #constraints=3640 1759.72/1760.34 c nbDecision=1200000 #constraints=3640 1760.42/1761.09 c nbDecision=1200500 #constraints=3641 1761.22/1761.81 c nbDecision=1201000 #constraints=3641 1761.92/1762.54 c nbDecision=1201500 #constraints=3642 1762.62/1763.26 c nbDecision=1202000 #constraints=3642 1763.42/1764.00 c nbDecision=1202500 #constraints=3643 1764.12/1764.71 c nbDecision=1203000 #constraints=3643 1764.82/1765.45 c nbDecision=1203500 #constraints=3644 1765.52/1766.16 c nbDecision=1204000 #constraints=3644 1766.33/1766.90 c nbDecision=1204500 #constraints=3645 1767.03/1767.62 c nbDecision=1205000 #constraints=3645 1767.73/1768.35 c nbDecision=1205500 #constraints=3646 1768.43/1769.09 c nbDecision=1206000 #constraints=3647 1769.23/1769.81 c nbDecision=1206500 #constraints=3647 1769.92/1770.54 c nbDecision=1207000 #constraints=3648 1770.62/1771.26 c nbDecision=1207500 #constraints=3648 1771.32/1772.00 c nbDecision=1208000 #constraints=3649 1772.12/1772.70 c nbDecision=1208500 #constraints=3649 1772.82/1773.45 c nbDecision=1209000 #constraints=3650 1773.52/1774.17 c nbDecision=1209500 #constraints=3650 1774.32/1774.91 c nbDecision=1210000 #constraints=3651 1775.02/1775.63 c nbDecision=1210500 #constraints=3651 1775.72/1776.38 c nbDecision=1211000 #constraints=3652 1776.52/1777.10 c nbDecision=1211500 #constraints=3652 1777.22/1777.84 c nbDecision=1212000 #constraints=3653 1777.92/1778.57 c nbDecision=1212500 #constraints=3653 1778.72/1779.31 c nbDecision=1213000 #constraints=3654 1779.42/1780.05 c nbDecision=1213500 #constraints=3655 1780.12/1780.78 c nbDecision=1214000 #constraints=3655 1780.92/1781.52 c nbDecision=1214500 #constraints=3656 1781.62/1782.24 c nbDecision=1215000 #constraints=3656 1782.32/1782.98 c nbDecision=1215500 #constraints=3657 1783.02/1783.69 c nbDecision=1216000 #constraints=3657 1783.82/1784.43 c nbDecision=1216500 #constraints=3658 1784.52/1785.14 c nbDecision=1217000 #constraints=3658 1785.22/1785.88 c nbDecision=1217500 #constraints=3659 1786.02/1786.60 c nbDecision=1218000 #constraints=3659 1786.72/1787.33 c nbDecision=1218500 #constraints=3660 1787.42/1788.05 c nbDecision=1219000 #constraints=3660 1788.12/1788.78 c nbDecision=1219500 #constraints=3661 1788.92/1789.50 c nbDecision=1220000 #constraints=3661 1789.62/1790.23 c nbDecision=1220500 #constraints=3662 1790.32/1790.95 c nbDecision=1221000 #constraints=3662 1791.02/1791.68 c nbDecision=1221500 #constraints=3663 1791.82/1792.40 c nbDecision=1222000 #constraints=3663 1792.52/1793.14 c nbDecision=1222500 #constraints=3664 1793.22/1793.87 c nbDecision=1223000 #constraints=3664 1793.92/1794.59 c nbDecision=1223500 #constraints=3664 1794.72/1795.32 c nbDecision=1224000 #constraints=3665 1795.42/1796.04 c nbDecision=1224500 #constraints=3665 1796.12/1796.79 c nbDecision=1225000 #constraints=3666 1796.92/1797.50 c nbDecision=1225500 #constraints=3666 1797.62/1798.24 c nbDecision=1226000 #constraints=3667 1798.32/1798.96 c nbDecision=1226500 #constraints=3667 1799.11/1799.71 c nbDecision=1227000 #constraints=3668 1799.81/1800.43 c nbDecision=1227500 #constraints=3668 1800.02/1800.61 Received signal 15 1800.02/1800.61 1800.02/1800.61 s UNKNOWN 1800.02/1800.61 1800.02/1800.61 c user time= 1799.79 s 1800.02/1800.61 c system time= 0.242963 s 1800.02/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-362860-1176849050 -o ROOT/results/node26/solver-362860-1176849050 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362860-1176849050/instance-362860-1176849050.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.99 3/77 11972 /proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=1620 CPUtime=0 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 132821793 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 405 174 126 317 0 84 0 [startup+0.0934741 s] /proc/loadavg: 1.00 1.00 0.99 3/77 11972 /proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=3440 CPUtime=0.08 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 855 0 0 0 8 0 0 0 18 0 1 0 132821793 3522560 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 860 610 126 317 0 539 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3440 [startup+0.101475 s] /proc/loadavg: 1.00 1.00 0.99 3/77 11972 /proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=3440 CPUtime=0.09 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 877 0 0 0 9 0 0 0 18 0 1 0 132821793 3522560 632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 860 632 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301493 s] /proc/loadavg: 1.00 1.00 0.99 3/77 11972 /proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=5652 CPUtime=0.29 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 1581 0 0 0 29 0 0 0 19 0 1 0 132821793 5787648 1079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 1413 1079 131 317 0 1092 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5652 [startup+0.70153 s] /proc/loadavg: 1.00 1.00 0.99 3/77 11972 /proc/meminfo: memFree=1792984/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=15132 CPUtime=0.69 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 3734 0 0 0 68 1 0 0 22 0 1 0 132821793 15495168 3034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 3783 3034 131 317 0 3462 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15132 [startup+1.50161 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1774928/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=34732 CPUtime=1.49 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 8588 0 0 0 146 3 0 0 25 0 1 0 132821793 35565568 7855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 8683 7855 137 317 0 8362 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34732 [startup+3.10176 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1759760/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=37952 CPUtime=3.09 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9389 0 0 0 306 3 0 0 25 0 1 0 132821793 38862848 8656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9488 8656 139 317 0 9167 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37952 [startup+6.30105 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1758352/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=38084 CPUtime=6.29 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9436 0 0 0 625 4 0 0 25 0 1 0 132821793 38998016 8703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9521 8703 139 317 0 9200 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38084 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1758224/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=38212 CPUtime=12.69 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9466 0 0 0 1265 4 0 0 25 0 1 0 132821793 39129088 8733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9553 8733 139 317 0 9232 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38212 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1758224/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=38344 CPUtime=25.49 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9485 0 0 0 2545 4 0 0 25 0 1 0 132821793 39264256 8752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9586 8752 139 317 0 9265 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38344 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1758224/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=38344 CPUtime=51.08 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9504 0 0 0 5104 4 0 0 25 0 1 0 132821793 39264256 8771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9586 8771 139 317 0 9265 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38344 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1757968/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=38608 CPUtime=102.27 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9569 0 0 0 10223 4 0 0 25 0 1 0 132821793 39534592 8836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9652 8836 139 317 0 9331 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 38608 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1757776/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=38740 CPUtime=162.24 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9601 0 0 0 16219 5 0 0 25 0 1 0 132821793 39669760 8868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9685 8868 139 317 0 9364 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 38740 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1757648/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=38872 CPUtime=222.22 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9631 0 0 0 22216 6 0 0 25 0 1 0 132821793 39804928 8898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9718 8898 139 317 0 9397 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 38872 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1757520/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=39000 CPUtime=282.2 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9657 0 0 0 28213 7 0 0 25 0 1 0 132821793 39936000 8924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9750 8924 139 317 0 9429 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 39000 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1757392/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=39132 CPUtime=342.19 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9681 0 0 0 34211 8 0 0 25 0 1 0 132821793 40071168 8948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9783 8948 139 317 0 9462 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 39132 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11973 /proc/meminfo: memFree=1757328/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=39264 CPUtime=402.17 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9705 0 0 0 40209 8 0 0 25 0 1 0 132821793 40206336 8972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9816 8972 139 317 0 9495 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 39264 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1757008/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=39528 CPUtime=462.15 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9784 0 0 0 46206 9 0 0 25 0 1 0 132821793 40476672 9051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9882 9051 139 317 0 9561 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 39528 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1756944/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=39528 CPUtime=522.13 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9803 0 0 0 52203 10 0 0 25 0 1 0 132821793 40476672 9070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9882 9070 139 317 0 9561 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 39528 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1756816/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=39660 CPUtime=582.1 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9820 0 0 0 58200 10 0 0 25 0 1 0 132821793 40611840 9087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9915 9087 139 317 0 9594 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 39660 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1756752/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=39660 CPUtime=642.09 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 9836 0 0 0 64198 11 0 0 25 0 1 0 132821793 40611840 9103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 9915 9103 139 317 0 9594 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 39660 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1756048/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=40448 CPUtime=822.02 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10015 0 0 0 82190 12 0 0 25 0 1 0 132821793 41418752 9282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10112 9282 139 317 0 9791 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 40448 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1755920/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=40580 CPUtime=882 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10047 0 0 0 88187 13 0 0 25 0 1 0 132821793 41553920 9314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10145 9314 139 317 0 9824 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 40580 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1755280/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=41136 CPUtime=941.99 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10187 0 0 0 94185 14 0 0 25 0 1 0 132821793 42123264 9454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10284 9454 139 317 0 9963 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 41136 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1755216/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=41264 CPUtime=1001.96 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10212 0 0 0 100182 14 0 0 25 0 1 0 132821793 42254336 9479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10316 9479 139 317 0 9995 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 41264 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1755088/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=41264 CPUtime=1061.94 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10238 0 0 0 106179 15 0 0 25 0 1 0 132821793 42254336 9505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10316 9505 139 317 0 9995 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 41264 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1754960/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=41396 CPUtime=1121.93 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10262 0 0 0 112177 16 0 0 25 0 1 0 132821793 42389504 9529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10349 9529 139 317 0 10028 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 41396 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1754960/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=41524 CPUtime=1181.9 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10282 0 0 0 118174 16 0 0 25 0 1 0 132821793 42520576 9549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10381 9549 139 317 0 10060 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 41524 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11975 /proc/meminfo: memFree=1754832/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=41524 CPUtime=1241.89 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10300 0 0 0 124172 17 0 0 25 0 1 0 132821793 42520576 9567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10381 9567 139 317 0 10060 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 41524 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 11975 /proc/meminfo: memFree=1754704/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=41652 CPUtime=1301.88 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10318 0 0 0 130170 18 0 0 25 0 1 0 132821793 42651648 9585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10413 9585 139 317 0 10092 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 41652 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 11975 /proc/meminfo: memFree=1754640/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=41652 CPUtime=1361.86 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10335 0 0 0 136167 19 0 0 25 0 1 0 132821793 42651648 9602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10413 9602 139 317 0 10092 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 41652 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11975 /proc/meminfo: memFree=1754256/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=42180 CPUtime=1421.84 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10444 0 0 0 142164 20 0 0 25 0 1 0 132821793 43192320 9711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10545 9711 139 317 0 10224 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 42180 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11975 /proc/meminfo: memFree=1754064/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=42312 CPUtime=1481.82 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10486 0 0 0 148161 21 0 0 25 0 1 0 132821793 43327488 9753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10578 9753 139 317 0 10257 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 42312 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 11975 /proc/meminfo: memFree=1753936/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=42440 CPUtime=1541.8 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10519 0 0 0 154159 21 0 0 25 0 1 0 132821793 43458560 9786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10610 9786 139 317 0 10289 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 42440 [startup+1602.3 s] /proc/loadavg: 1.08 1.02 1.01 2/78 11975 /proc/meminfo: memFree=1753872/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=42568 CPUtime=1601.77 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10548 0 0 0 160155 22 0 0 25 0 1 0 132821793 43589632 9815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10642 9815 139 317 0 10321 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 42568 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 11975 /proc/meminfo: memFree=1753680/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=42700 CPUtime=1661.75 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10574 0 0 0 166153 22 0 0 25 0 1 0 132821793 43724800 9841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10675 9841 139 317 0 10354 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 42700 [startup+1722.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 11975 /proc/meminfo: memFree=1753616/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=42700 CPUtime=1721.74 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10598 0 0 0 172151 23 0 0 25 0 1 0 132821793 43724800 9865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10675 9865 139 317 0 10354 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 42700 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11975 /proc/meminfo: memFree=1753424/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=43032 CPUtime=1781.72 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10654 0 0 0 178148 24 0 0 25 0 1 0 132821793 44064768 9921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10758 9921 139 317 0 10437 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 43032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11975 /proc/meminfo: memFree=1753360/2055920 swapFree=4170240/4192956 [pid=11972] ppid=11970 vsize=43032 CPUtime=1800.02 /proc/11972/stat : 11972 (oree) R 11970 11972 11216 0 -1 4194304 10654 0 0 0 179978 24 0 0 25 0 1 0 132821793 44064768 9921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11972/statm: 10758 9921 139 317 0 10437 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 43032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.05 CPU user time (s): 1799.8 CPU system time (s): 0.249962 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 43032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.249962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10670 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 4289 runsolver used 1.9607 second user time and 4.75028 second system time The end
Begin job on node26 on Tue Apr 17 22:30:50 UTC 2007 IDJOB= 362860 IDBENCH= 1673 IDSOLVER= 172 FILE ID= node26/362860-1176849050 PBS_JOBID= 4590180 Free space on /tmp= 66472 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-czprob.opb COMMAND LINE= oree /tmp/evaluation/362860-1176849050/instance-362860-1176849050.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-362860-1176849050 -o ROOT/results/node26/solver-362860-1176849050 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362860-1176849050/instance-362860-1176849050.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c15e03ab07153a4c6592115aff440072 RANDOM SEED= 947985931 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1793392 kB Buffers: 34296 kB Cached: 150720 kB SwapCached: 3208 kB Active: 100356 kB Inactive: 107640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1793392 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 4924 kB Writeback: 0 kB Mapped: 30448 kB Slab: 40084 kB Committed_AS: 963568 kB PageTables: 1716 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66472 MiB End job on node26 on Tue Apr 17 23:00:53 UTC 2007