| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.09 | 3626.91 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb |
| MD5SUM | 95d9c8e5d82ddbf9273186de2f795996 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 1.52268 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4624 |
| Total number of constraints | 5263 |
| Number of constraints which are clauses | 4404 |
| Number of constraints which are cardinality constraints (but not clauses) | 859 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 4624 |
| Biggest coefficient in the objective function | 2577 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 13335 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 2577 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 13335 |
| Number of bits of the biggest sum of numbers | 14 |
| 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 RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.02 c #variables 4624 #constraints 5263 0.69/0.75 c bounds - >= -2577 @ 0.014384 0.69/0.75 c bounds 346 >= -2577 @ 0.180094 0.69/0.75 c bounds 346 >= -2569 @ 0.181223 0.69/0.75 c bounds 346 >= -2561 @ 0.183364 0.69/0.75 c bounds 346 >= -2557 @ 0.185584 0.69/0.75 c bounds 346 >= -2553 @ 0.187832 0.69/0.75 c bounds 346 >= -2549 @ 0.190169 0.69/0.75 c bounds 346 >= -2545 @ 0.191623 0.69/0.75 c bounds 346 >= -2541 @ 0.193591 0.69/0.75 c bounds 346 >= -2537 @ 0.195996 0.69/0.75 c bounds 345 >= -2537 @ 0.23809 0.69/0.75 c bounds 295 >= -2537 @ 0.243688 0.69/0.75 c bounds 295 >= -2534 @ 0.245783 0.69/0.75 c bounds 295 >= -2528 @ 0.247051 0.69/0.75 c bounds 295 >= -2525 @ 0.248901 0.69/0.75 c bounds 295 >= -2522 @ 0.2517 0.69/0.75 c bounds 295 >= -2519 @ 0.253823 0.69/0.75 c bounds 295 >= -2516 @ 0.255865 0.69/0.75 c bounds 295 >= -2513 @ 0.258915 0.69/0.75 c bounds 295 >= -2507 @ 0.260053 0.69/0.75 c bounds 295 >= -2504 @ 0.261148 0.69/0.75 c bounds 295 >= -2501 @ 0.263264 0.69/0.75 c bounds 295 >= -2498 @ 0.264456 0.69/0.75 c bounds 295 >= -2492 @ 0.267541 0.69/0.75 c bounds 295 >= -2489 @ 0.269748 0.69/0.75 c bounds 295 >= -2486 @ 0.270965 0.69/0.75 c bounds 295 >= -2483 @ 0.272281 0.69/0.75 c bounds 295 >= -2477 @ 0.274678 0.69/0.75 c bounds 295 >= -2474 @ 0.276968 0.69/0.75 c bounds 295 >= -2471 @ 0.278463 0.69/0.75 c bounds 295 >= -2468 @ 0.280731 0.69/0.75 c bounds 295 >= -2465 @ 0.281552 0.69/0.75 c bounds 295 >= -2462 @ 0.282827 0.69/0.75 c bounds 295 >= -2459 @ 0.286128 0.69/0.75 c bounds 295 >= -2456 @ 0.288611 0.69/0.75 c bounds 295 >= -2453 @ 0.290892 0.69/0.75 c bounds 295 >= -2450 @ 0.292441 0.69/0.75 c bounds 295 >= -2447 @ 0.294781 0.69/0.75 c bounds 295 >= -2444 @ 0.295206 0.69/0.75 c bounds 295 >= -2441 @ 0.298594 0.69/0.75 c bounds 295 >= -2438 @ 0.300117 0.69/0.75 c bounds 295 >= -2435 @ 0.302589 0.69/0.75 c bounds 295 >= -2432 @ 0.304013 0.69/0.75 c bounds 295 >= -2429 @ 0.307572 0.69/0.75 c bounds 295 >= -2426 @ 0.309123 0.69/0.75 c bounds 295 >= -2423 @ 0.312675 0.69/0.75 c bounds 295 >= -2420 @ 0.314345 0.69/0.75 c bounds 295 >= -2417 @ 0.317668 0.69/0.75 c bounds 295 >= -2414 @ 0.319419 0.69/0.75 c bounds 295 >= -2411 @ 0.320935 0.69/0.75 c bounds 295 >= -2408 @ 0.322536 0.69/0.75 c bounds 295 >= -2402 @ 0.324353 0.69/0.75 c bounds 295 >= -2399 @ 0.326848 0.69/0.75 c bounds 295 >= -2396 @ 0.328559 0.69/0.75 c bounds 295 >= -2393 @ 0.330446 0.69/0.75 c bounds 295 >= -2390 @ 0.333123 0.69/0.75 c bounds 295 >= -2387 @ 0.334928 0.69/0.75 c bounds 295 >= -2384 @ 0.338639 0.69/0.75 c bounds 295 >= -2381 @ 0.341557 0.69/0.75 c bounds 294 >= -2381 @ 0.35596 0.69/0.75 c bounds 294 >= -2378 @ 0.357894 0.69/0.75 c bounds 294 >= -2375 @ 0.36092 0.69/0.75 c bounds 294 >= -2372 @ 0.362911 0.69/0.75 c bounds 294 >= -2369 @ 0.366033 0.69/0.75 c bounds 294 >= -2366 @ 0.368347 0.69/0.75 c bounds 294 >= -2363 @ 0.370815 0.69/0.75 c bounds 294 >= -2360 @ 0.376418 0.69/0.75 c bounds 294 >= -2357 @ 0.37846 0.69/0.75 c bounds 294 >= -2354 @ 0.381926 0.69/0.75 c bounds 294 >= -2351 @ 0.384969 0.69/0.75 c bounds 294 >= -2348 @ 0.387291 0.69/0.75 c bounds 291 >= -2348 @ 0.392698 0.69/0.75 c bounds 291 >= -2345 @ 0.39735 0.69/0.75 c bounds 290 >= -2345 @ 0.400298 0.69/0.75 c bounds 290 >= -2342 @ 0.406016 0.69/0.75 c bounds 287 >= -2342 @ 0.408531 0.69/0.75 c bounds 287 >= -2339 @ 0.413649 0.69/0.75 c bounds 284 >= -2339 @ 0.416752 0.69/0.75 c bounds 281 >= -2339 @ 0.418592 0.69/0.75 c bounds 280 >= -2339 @ 0.424277 0.69/0.75 c bounds 280 >= -2336 @ 0.43083 0.69/0.75 c bounds 277 >= -2336 @ 0.433101 0.69/0.75 c bounds 275 >= -2336 @ 0.436288 0.69/0.75 c bounds 274 >= -2336 @ 0.441251 0.69/0.75 c bounds 273 >= -2336 @ 0.445165 0.69/0.75 c bounds 271 >= -2336 @ 0.447489 0.69/0.75 c bounds 269 >= -2336 @ 0.452063 0.69/0.75 c bounds 267 >= -2336 @ 0.455653 0.69/0.75 c bounds 267 >= -2334 @ 0.457742 0.69/0.75 c bounds 267 >= -2332 @ 0.459665 0.69/0.75 c bounds 267 >= -2328 @ 0.46164 0.69/0.75 c bounds 267 >= -2326 @ 0.463567 0.69/0.75 c bounds 267 >= -2324 @ 0.465567 0.69/0.75 c bounds 267 >= -2320 @ 0.467309 0.69/0.75 c bounds 267 >= -2318 @ 0.470242 0.69/0.75 c bounds 267 >= -2316 @ 0.472418 0.69/0.75 c bounds 267 >= -2312 @ 0.473548 0.69/0.75 c bounds 267 >= -2310 @ 0.47575 0.69/0.75 c bounds 267 >= -2308 @ 0.478243 0.69/0.75 c bounds 267 >= -2304 @ 0.479442 0.69/0.75 c bounds 265 >= -2304 @ 0.482157 0.69/0.75 c bounds 265 >= -2298 @ 0.484409 0.69/0.75 c bounds 265 >= -2296 @ 0.485997 0.69/0.75 c bounds 265 >= -2290 @ 0.489033 0.69/0.75 c bounds 265 >= -2288 @ 0.492287 0.69/0.75 c bounds 265 >= -2286 @ 0.493586 0.69/0.75 c bounds 265 >= -2284 @ 0.496128 0.69/0.75 c bounds 265 >= -2278 @ 0.497403 0.69/0.75 c bounds 265 >= -2274 @ 0.49897 0.69/0.75 c bounds 265 >= -2272 @ 0.501234 0.69/0.75 c bounds 265 >= -2270 @ 0.502576 0.69/0.75 c bounds 265 >= -2268 @ 0.505219 0.69/0.75 c bounds 265 >= -2264 @ 0.506545 0.69/0.75 c bounds 265 >= -2260 @ 0.50921 0.69/0.75 c bounds 265 >= -2258 @ 0.511575 0.69/0.75 c bounds 265 >= -2256 @ 0.514133 0.69/0.75 c bounds 265 >= -2254 @ 0.515559 0.69/0.75 c bounds 265 >= -2252 @ 0.518082 0.69/0.75 c bounds 265 >= -2250 @ 0.5204 0.69/0.75 c bounds 263 >= -2250 @ 0.522502 0.69/0.75 c bounds 263 >= -2248 @ 0.524167 0.69/0.75 c bounds 263 >= -2246 @ 0.525474 0.69/0.75 c bounds 263 >= -2242 @ 0.5281 0.69/0.75 c bounds 263 >= -2238 @ 0.529511 0.69/0.75 c bounds 263 >= -2236 @ 0.532157 1.18/1.23 c bounds 263 >= -2230 @ 0.533971 1.18/1.23 c bounds 263 >= -2228 @ 0.53535 1.18/1.23 c bounds 263 >= -2226 @ 0.537067 1.18/1.23 c bounds 263 >= -2224 @ 0.538511 1.18/1.23 c bounds 263 >= -2222 @ 0.541297 1.18/1.23 c bounds 263 >= -2220 @ 0.542977 1.18/1.23 c bounds 263 >= -2216 @ 0.544354 1.18/1.23 c bounds 263 >= -2214 @ 0.547028 1.18/1.23 c bounds 261 >= -2214 @ 0.551135 1.18/1.23 c bounds 261 >= -2212 @ 0.553548 1.18/1.23 c bounds 261 >= -2210 @ 0.556197 1.18/1.23 c bounds 261 >= -2208 @ 0.558804 1.18/1.23 c bounds 261 >= -2206 @ 0.561411 1.18/1.23 c bounds 261 >= -2204 @ 0.564067 1.18/1.23 c bounds 261 >= -2200 @ 0.565897 1.18/1.23 c bounds 261 >= -2198 @ 0.568294 1.18/1.23 c bounds 261 >= -2196 @ 0.569065 1.18/1.23 c bounds 261 >= -2194 @ 0.57054 1.18/1.23 c bounds 261 >= -2190 @ 0.573013 1.18/1.23 c bounds 261 >= -2188 @ 0.574517 1.18/1.23 c bounds 261 >= -2186 @ 0.578077 1.18/1.23 c bounds 259 >= -2186 @ 0.583803 1.18/1.23 c bounds 259 >= -2184 @ 0.5865 1.18/1.23 c bounds 259 >= -2180 @ 0.589109 1.18/1.23 c bounds 259 >= -2178 @ 0.591719 1.18/1.23 c bounds 259 >= -2176 @ 0.593263 1.18/1.23 c bounds 259 >= -2174 @ 0.594952 1.18/1.23 c bounds 259 >= -2172 @ 0.598328 1.18/1.23 c bounds 259 >= -2168 @ 0.601055 1.18/1.23 c bounds 259 >= -2166 @ 0.603462 1.18/1.23 c bounds 259 >= -2164 @ 0.607028 1.18/1.23 c bounds 259 >= -2160 @ 0.609832 1.18/1.23 c bounds 259 >= -2158 @ 0.611175 1.18/1.23 c bounds 259 >= -2154 @ 0.61288 1.18/1.23 c bounds 259 >= -2152 @ 0.614268 1.18/1.23 c bounds 259 >= -2150 @ 0.616962 1.18/1.23 c bounds 259 >= -2146 @ 0.61775 1.18/1.23 c bounds 258 >= -2146 @ 0.623418 1.18/1.23 c bounds 258 >= -2140 @ 0.626029 1.18/1.23 c bounds 258 >= -2138 @ 0.627855 1.18/1.23 c bounds 258 >= -2134 @ 0.630273 1.18/1.23 c bounds 258 >= -2130 @ 0.632932 1.18/1.23 c bounds 258 >= -2128 @ 0.635742 1.18/1.23 c bounds 258 >= -2126 @ 0.639043 1.18/1.23 c bounds 258 >= -2124 @ 0.64083 1.18/1.23 c bounds 258 >= -2122 @ 0.642189 1.18/1.23 c bounds 258 >= -2120 @ 0.644712 1.18/1.23 c bounds 258 >= -2118 @ 0.648203 1.18/1.23 c bounds 258 >= -2114 @ 0.651747 1.18/1.23 c bounds 258 >= -2112 @ 0.65322 1.18/1.23 c bounds 257 >= -2112 @ 0.656037 1.18/1.23 c bounds 257 >= -2106 @ 0.657748 1.18/1.23 c bounds 257 >= -2100 @ 0.660077 1.18/1.23 c bounds 257 >= -2098 @ 0.66274 1.18/1.23 c bounds 257 >= -2096 @ 0.664115 1.18/1.23 c bounds 257 >= -2092 @ 0.665782 1.18/1.23 c bounds 257 >= -2090 @ 0.667848 1.18/1.23 c bounds 257 >= -2088 @ 0.669614 1.18/1.23 c bounds 257 >= -2086 @ 0.671062 1.18/1.23 c bounds 257 >= -2082 @ 0.672849 1.18/1.23 c bounds 257 >= -2080 @ 0.676263 1.18/1.23 c bounds 257 >= -2078 @ 0.678877 1.18/1.23 c bounds 257 >= -2076 @ 0.680688 1.18/1.23 c bounds 257 >= -2074 @ 0.682113 1.18/1.23 c bounds 256 >= -2074 @ 0.684867 1.18/1.23 c bounds 256 >= -2072 @ 0.686563 1.18/1.23 c bounds 256 >= -2070 @ 0.689879 1.18/1.23 c bounds 256 >= -2068 @ 0.692441 1.18/1.23 c bounds 256 >= -2066 @ 0.694063 1.18/1.23 c bounds 256 >= -2060 @ 0.696653 1.18/1.23 c bounds 256 >= -2058 @ 0.698542 1.18/1.23 c bounds 256 >= -2056 @ 0.701842 1.18/1.23 c bounds 256 >= -2052 @ 0.704632 1.18/1.23 c bounds 256 >= -2050 @ 0.707949 1.18/1.23 c bounds 256 >= -2044 @ 0.709727 1.18/1.23 c bounds 256 >= -2040 @ 0.711158 1.18/1.23 c bounds 256 >= -2038 @ 0.713839 1.18/1.23 c bounds 254 >= -2038 @ 0.722909 1.18/1.23 c bounds 254 >= -2036 @ 0.725644 1.18/1.23 c bounds 254 >= -2032 @ 0.727344 1.18/1.23 c bounds 254 >= -2030 @ 0.72968 1.18/1.23 c bounds 254 >= -2028 @ 0.732139 1.18/1.23 c bounds 254 >= -2026 @ 0.734636 1.18/1.23 c bounds 254 >= -2024 @ 0.7374 1.18/1.23 c bounds 254 >= -2022 @ 0.739609 1.18/1.23 c bounds 254 >= -2020 @ 0.742067 1.18/1.23 c bounds 254 >= -2016 @ 0.744595 1.18/1.23 c bounds 254 >= -2012 @ 0.747174 1.18/1.23 c bounds 254 >= -2010 @ 0.748674 1.18/1.23 c bounds 254 >= -2008 @ 0.751293 1.18/1.23 c bounds 254 >= -2006 @ 0.753572 1.18/1.23 c bounds 254 >= -2004 @ 0.755283 1.18/1.23 c bounds 254 >= -2002 @ 0.757566 1.18/1.23 c bounds 254 >= -2000 @ 0.760127 1.18/1.23 c bounds 254 >= -1998 @ 0.763593 1.18/1.23 c bounds 254 >= -1996 @ 0.766112 1.18/1.23 c bounds 253 >= -1996 @ 0.771661 1.18/1.23 c bounds 253 >= -1994 @ 0.774317 1.18/1.23 c bounds 253 >= -1992 @ 0.776724 1.18/1.23 c bounds 253 >= -1990 @ 0.779328 1.18/1.23 c bounds 253 >= -1988 @ 0.782 1.18/1.23 c bounds 253 >= -1986 @ 0.784243 1.18/1.23 c bounds 253 >= -1984 @ 0.787685 1.18/1.23 c bounds 253 >= -1982 @ 0.790206 1.18/1.23 c bounds 253 >= -1980 @ 0.792595 1.18/1.23 c bounds 253 >= -1978 @ 0.795097 1.18/1.23 c bounds 253 >= -1976 @ 0.797484 1.18/1.23 c bounds 253 >= -1974 @ 0.800079 1.18/1.23 c bounds 253 >= -1972 @ 0.803488 1.18/1.23 c bounds 253 >= -1966 @ 0.80702 1.18/1.23 c bounds 253 >= -1964 @ 0.810558 1.18/1.23 c bounds 252 >= -1964 @ 0.818235 1.18/1.23 c bounds 252 >= -1962 @ 0.819936 1.18/1.23 c bounds 252 >= -1960 @ 0.821306 1.18/1.23 c bounds 252 >= -1956 @ 0.824003 1.18/1.23 c bounds 252 >= -1954 @ 0.827333 1.18/1.23 c bounds 252 >= -1952 @ 0.829994 1.18/1.23 c bounds 252 >= -1950 @ 0.83232 1.18/1.23 c bounds 252 >= -1948 @ 0.835832 1.18/1.23 c bounds 252 >= -1944 @ 0.838308 1.18/1.23 c bounds 252 >= -1942 @ 0.840926 1.18/1.23 c bounds 252 >= -1940 @ 0.842677 1.18/1.23 c bounds 252 >= -1938 @ 0.844969 1.18/1.23 c bounds 252 >= -1934 @ 0.846684 1.18/1.23 c bounds 252 >= -1932 @ 0.849796 1.98/2.07 c bounds 252 >= -1930 @ 0.851312 1.98/2.07 c bounds 252 >= -1928 @ 0.853821 1.98/2.07 c bounds 252 >= -1926 @ 0.855143 1.98/2.07 c bounds 252 >= -1924 @ 0.856763 1.98/2.07 c bounds 252 >= -1920 @ 0.858036 1.98/2.07 c bounds 252 >= -1918 @ 0.861397 1.98/2.07 c bounds 251 >= -1918 @ 0.874484 1.98/2.07 c bounds 251 >= -1916 @ 0.876925 1.98/2.07 c bounds 251 >= -1914 @ 0.879452 1.98/2.07 c bounds 251 >= -1910 @ 0.880983 1.98/2.07 c bounds 251 >= -1908 @ 0.882608 1.98/2.07 c bounds 251 >= -1906 @ 0.884864 1.98/2.07 c bounds 251 >= -1904 @ 0.886511 1.98/2.07 c bounds 251 >= -1902 @ 0.888743 1.98/2.07 c bounds 251 >= -1900 @ 0.891178 1.98/2.07 c bounds 251 >= -1898 @ 0.893639 1.98/2.07 c bounds 251 >= -1896 @ 0.896394 1.98/2.07 c bounds 251 >= -1894 @ 0.898608 1.98/2.07 c bounds 251 >= -1892 @ 0.900051 1.98/2.07 c bounds 251 >= -1890 @ 0.903437 1.98/2.07 c bounds 251 >= -1888 @ 0.904856 1.98/2.07 c bounds 251 >= -1886 @ 0.907199 1.98/2.07 c bounds 251 >= -1884 @ 0.910611 1.98/2.07 c bounds 251 >= -1882 @ 0.912297 1.98/2.07 c bounds 251 >= -1880 @ 0.915444 1.98/2.07 c bounds 251 >= -1878 @ 0.917431 1.98/2.07 c bounds 251 >= -1876 @ 0.919666 1.98/2.07 c bounds 251 >= -1874 @ 0.922989 1.98/2.07 c bounds 251 >= -1872 @ 0.925473 1.98/2.07 c bounds 251 >= -1870 @ 0.927742 1.98/2.07 c bounds 251 >= -1868 @ 0.929313 1.98/2.07 c bounds 251 >= -1866 @ 0.931421 1.98/2.07 c bounds 250 >= -1866 @ 0.954838 1.98/2.07 c bounds 250 >= -1864 @ 0.957379 1.98/2.07 c bounds 250 >= -1862 @ 0.958656 1.98/2.07 c bounds 250 >= -1860 @ 0.960306 1.98/2.07 c bounds 250 >= -1858 @ 0.962456 1.98/2.07 c bounds 250 >= -1856 @ 0.964704 1.98/2.07 c bounds 250 >= -1854 @ 0.96818 1.98/2.07 c bounds 250 >= -1852 @ 0.969635 1.98/2.07 c bounds 250 >= -1850 @ 0.971285 1.98/2.07 c bounds 250 >= -1848 @ 0.973512 1.98/2.07 c bounds 250 >= -1846 @ 0.976154 1.98/2.07 c bounds 250 >= -1844 @ 0.978444 1.98/2.07 c bounds 250 >= -1842 @ 0.980071 1.98/2.07 c bounds 250 >= -1840 @ 0.982218 1.98/2.07 c bounds 250 >= -1838 @ 0.984597 1.98/2.07 c bounds 250 >= -1836 @ 0.987982 1.98/2.07 c bounds 250 >= -1834 @ 0.991397 1.98/2.07 c bounds 250 >= -1832 @ 0.993093 1.98/2.07 c bounds 250 >= -1830 @ 0.995366 1.98/2.07 c bounds 250 >= -1828 @ 0.997048 1.98/2.07 c bounds 250 >= -1826 @ 0.999311 1.98/2.07 c bounds 250 >= -1824 @ 1.00174 1.98/2.07 c bounds 250 >= -1822 @ 1.00528 1.98/2.07 c bounds 250 >= -1820 @ 1.00699 1.98/2.07 c bounds 250 >= -1818 @ 1.01029 1.98/2.07 c bounds 250 >= -1816 @ 1.01277 1.98/2.07 c bounds 250 >= -1814 @ 1.01549 1.98/2.07 c bounds 249 >= -1814 @ 1.02627 1.98/2.07 c bounds 249 >= -1812 @ 1.02815 1.98/2.07 c bounds 249 >= -1810 @ 1.03102 1.98/2.07 c bounds 249 >= -1808 @ 1.03288 1.98/2.07 c bounds 249 >= -1806 @ 1.03518 1.98/2.07 c bounds 249 >= -1804 @ 1.03777 1.98/2.07 c bounds 249 >= -1802 @ 1.03943 1.98/2.07 c bounds 249 >= -1800 @ 1.04204 1.98/2.07 c bounds 249 >= -1798 @ 1.04488 1.98/2.07 c bounds 249 >= -1796 @ 1.04733 1.98/2.07 c bounds 249 >= -1794 @ 1.04905 1.98/2.07 c bounds 249 >= -1792 @ 1.05102 1.98/2.07 c bounds 249 >= -1790 @ 1.05336 1.98/2.07 c bounds 249 >= -1788 @ 1.05433 1.98/2.07 c bounds 249 >= -1786 @ 1.05638 1.98/2.07 c bounds 249 >= -1784 @ 1.06017 1.98/2.07 c bounds 248 >= -1784 @ 1.06582 1.98/2.07 c bounds 248 >= -1782 @ 1.06824 1.98/2.07 c bounds 248 >= -1780 @ 1.07127 1.98/2.07 c bounds 248 >= -1778 @ 1.07299 1.98/2.07 c bounds 248 >= -1776 @ 1.07625 1.98/2.07 c bounds 248 >= -1774 @ 1.07698 1.98/2.07 c bounds 248 >= -1772 @ 1.08024 1.98/2.07 c bounds 248 >= -1770 @ 1.08234 1.98/2.07 c bounds 247 >= -1770 @ 1.08822 1.98/2.07 c bounds 247 >= -1768 @ 1.09197 1.98/2.07 c bounds 247 >= -1766 @ 1.09521 1.98/2.07 c bounds 247 >= -1764 @ 1.09884 1.98/2.07 c bounds 247 >= -1762 @ 1.10572 1.98/2.07 c bounds 246 >= -1762 @ 1.10958 1.98/2.07 c bounds 246 >= -1760 @ 1.11204 1.98/2.07 c bounds 246 >= -1758 @ 1.1137 1.98/2.07 c bounds 246 >= -1756 @ 1.11734 1.98/2.07 c bounds 245 >= -1756 @ 1.12026 1.98/2.07 c bounds 245 >= -1754 @ 1.12914 1.98/2.07 c bounds 244 >= -1754 @ 1.13951 1.98/2.07 c bounds 244 >= -1752 @ 1.14114 1.98/2.07 c bounds 244 >= -1750 @ 1.14373 1.98/2.07 c bounds 244 >= -1748 @ 1.14584 1.98/2.07 c bounds 244 >= -1746 @ 1.14969 1.98/2.07 c bounds 243 >= -1746 @ 1.15389 1.98/2.07 c bounds 243 >= -1744 @ 1.15977 1.98/2.07 c bounds 243 >= -1742 @ 1.16465 1.98/2.07 c bounds 242 >= -1742 @ 1.17101 1.98/2.07 c #Conflicts: 1000 | #Constraints: 7904 1.98/2.07 c bounds 242 >= -1740 @ 1.17617 1.98/2.07 c bounds 241 >= -1740 @ 1.21881 1.98/2.07 c bounds 241 >= -1738 @ 1.22174 1.98/2.07 c bounds 241 >= -1736 @ 1.22486 1.98/2.07 c bounds 241 >= -1734 @ 1.22838 1.98/2.07 c bounds 241 >= -1732 @ 1.23372 1.98/2.07 c bounds 241 >= -1730 @ 1.27214 1.98/2.07 c bounds 240 >= -1730 @ 1.27948 1.98/2.07 c bounds 239 >= -1730 @ 1.31776 1.98/2.07 c bounds 238 >= -1730 @ 1.33868 1.98/2.07 c bounds 238 >= -1728 @ 1.33995 1.98/2.07 c bounds 238 >= -1726 @ 1.34346 1.98/2.07 c bounds 238 >= -1724 @ 1.34646 1.98/2.07 c bounds 238 >= -1722 @ 1.34827 1.98/2.07 c bounds 238 >= -1720 @ 1.35185 1.98/2.07 c bounds 238 >= -1718 @ 1.36912 1.98/2.07 c bounds 237 >= -1718 @ 1.38715 1.98/2.07 c bounds 236 >= -1718 @ 1.44128 1.98/2.07 c bounds 236 >= -1716 @ 1.44412 1.98/2.07 c bounds 236 >= -1714 @ 1.44616 1.98/2.07 c bounds 236 >= -1712 @ 1.45136 1.98/2.07 c #Conflicts: 2000 | #Constraints: 9145 4.08/4.14 c INPROCESSING 4.08/4.14 c GARBAGE COLLECT 4.08/4.14 c bounds 236 >= -1710 @ 2.33964 4.08/4.14 c bounds 235 >= -1710 @ 2.40895 4.08/4.14 c bounds 235 >= -1708 @ 2.41262 4.08/4.14 c bounds 235 >= -1706 @ 2.41455 4.08/4.14 c bounds 235 >= -1704 @ 2.41527 4.08/4.14 c bounds 235 >= -1702 @ 2.41742 4.08/4.14 c bounds 235 >= -1700 @ 2.42024 4.08/4.14 c bounds 235 >= -1698 @ 2.42362 4.08/4.14 c bounds 234 >= -1698 @ 2.44758 4.08/4.14 c bounds 234 >= -1696 @ 2.45354 4.08/4.14 c bounds 234 >= -1694 @ 2.45613 4.08/4.14 c bounds 234 >= -1692 @ 2.47021 4.08/4.14 c bounds 234 >= -1690 @ 2.48015 4.08/4.14 c #Conflicts: 3000 | #Constraints: 8885 4.08/4.14 c bounds 233 >= -1690 @ 2.81876 4.08/4.14 c bounds 233 >= -1688 @ 2.86905 4.08/4.14 c #Conflicts: 4000 | #Constraints: 9920 4.08/4.14 c INPROCESSING 4.08/4.14 c GARBAGE COLLECT 4.08/4.14 c bounds 232 >= -1688 @ 3.05977 4.08/4.14 c bounds 231 >= -1688 @ 3.09095 4.08/4.14 c bounds 231 >= -1685 @ 3.09335 4.08/4.14 c bounds 231 >= -1684 @ 3.09551 4.08/4.14 c bounds 231 >= -1683 @ 3.09795 4.08/4.14 c bounds 231 >= -1682 @ 3.10066 4.08/4.14 c bounds 231 >= -1679 @ 3.1034 4.08/4.14 c bounds 231 >= -1676 @ 3.10513 4.08/4.14 c bounds 231 >= -1673 @ 3.10786 4.08/4.14 c bounds 231 >= -1670 @ 3.10965 4.08/4.14 c bounds 231 >= -1668 @ 3.1115 4.08/4.14 c bounds 231 >= -1665 @ 3.11312 4.08/4.14 c bounds 231 >= -1662 @ 3.11486 4.08/4.14 c bounds 231 >= -1661 @ 3.1166 4.08/4.14 c bounds 231 >= -1658 @ 3.11846 4.08/4.14 c bounds 231 >= -1655 @ 3.1201 4.08/4.14 c bounds 231 >= -1652 @ 3.12188 4.08/4.14 c bounds 231 >= -1649 @ 3.12463 4.08/4.14 c bounds 231 >= -1646 @ 3.12591 4.08/4.14 c bounds 231 >= -1643 @ 3.12799 4.08/4.14 c bounds 231 >= -1642 @ 3.13109 4.08/4.14 c bounds 231 >= -1641 @ 3.13423 4.08/4.14 c bounds 231 >= -1640 @ 3.13748 4.08/4.14 c bounds 231 >= -1638 @ 3.13975 4.08/4.14 c bounds 231 >= -1635 @ 3.14094 4.08/4.14 c bounds 231 >= -1634 @ 3.14334 4.08/4.14 c bounds 231 >= -1633 @ 3.1455 4.08/4.14 c bounds 231 >= -1630 @ 3.14675 4.08/4.14 c bounds 231 >= -1629 @ 3.14791 4.08/4.14 c bounds 231 >= -1628 @ 3.15112 4.08/4.14 c bounds 231 >= -1627 @ 3.15343 4.08/4.14 c bounds 231 >= -1625 @ 3.1556 4.08/4.14 c bounds 231 >= -1622 @ 3.15683 4.08/4.14 c bounds 231 >= -1621 @ 3.15901 4.08/4.14 c bounds 231 >= -1620 @ 3.16126 4.08/4.14 c bounds 231 >= -1619 @ 3.16348 4.08/4.14 c bounds 231 >= -1618 @ 3.16575 4.08/4.14 c bounds 231 >= -1617 @ 3.16829 4.08/4.14 c bounds 231 >= -1616 @ 3.17054 4.08/4.14 c bounds 231 >= -1615 @ 3.17277 4.08/4.14 c bounds 231 >= -1614 @ 3.17527 4.08/4.14 c bounds 231 >= -1611 @ 3.17751 4.08/4.14 c bounds 231 >= -1610 @ 3.17874 4.08/4.14 c bounds 231 >= -1609 @ 3.18099 4.08/4.14 c bounds 231 >= -1607 @ 3.18337 4.08/4.14 c bounds 231 >= -1605 @ 3.1866 4.08/4.14 c bounds 231 >= -1604 @ 3.18793 4.08/4.14 c bounds 231 >= -1603 @ 3.19138 4.08/4.14 c bounds 231 >= -1602 @ 3.19272 4.08/4.14 c bounds 231 >= -1601 @ 3.19512 4.08/4.14 c bounds 231 >= -1600 @ 3.19837 4.08/4.14 c bounds 231 >= -1599 @ 3.20074 4.08/4.14 c bounds 231 >= -1598 @ 3.20322 4.08/4.14 c bounds 231 >= -1597 @ 3.20547 4.08/4.14 c bounds 231 >= -1596 @ 3.20679 4.08/4.14 c bounds 231 >= -1595 @ 3.20948 4.08/4.14 c bounds 231 >= -1593 @ 3.21179 4.08/4.14 c bounds 231 >= -1592 @ 3.2143 4.08/4.14 c bounds 231 >= -1590 @ 3.21652 4.08/4.14 c bounds 231 >= -1588 @ 3.21877 4.08/4.14 c bounds 231 >= -1587 @ 3.2221 4.08/4.14 c bounds 231 >= -1586 @ 3.22462 4.08/4.14 c bounds 231 >= -1583 @ 3.22606 4.08/4.14 c bounds 231 >= -1582 @ 3.22834 4.08/4.14 c bounds 231 >= -1581 @ 3.2296 4.08/4.14 c bounds 231 >= -1578 @ 3.23108 4.08/4.14 c bounds 231 >= -1577 @ 3.23341 4.08/4.14 c bounds 231 >= -1574 @ 3.23681 4.08/4.14 c bounds 231 >= -1573 @ 3.23932 4.08/4.14 c bounds 231 >= -1572 @ 3.24066 4.08/4.14 c bounds 231 >= -1571 @ 3.24411 4.08/4.14 c bounds 231 >= -1570 @ 3.24707 4.08/4.14 c bounds 231 >= -1569 @ 3.24936 4.08/4.14 c bounds 231 >= -1567 @ 3.25109 4.08/4.14 c bounds 231 >= -1566 @ 3.2534 4.08/4.14 c bounds 231 >= -1565 @ 3.25508 4.08/4.14 c bounds 231 >= -1564 @ 3.25734 4.08/4.14 c bounds 231 >= -1561 @ 3.25875 4.08/4.14 c bounds 231 >= -1560 @ 3.26128 4.08/4.14 c bounds 231 >= -1559 @ 3.26328 4.08/4.14 c bounds 231 >= -1558 @ 3.26461 4.08/4.14 c bounds 231 >= -1557 @ 3.26723 4.08/4.14 c bounds 231 >= -1555 @ 3.2686 4.08/4.14 c bounds 231 >= -1554 @ 3.27116 4.08/4.14 c bounds 231 >= -1553 @ 3.27449 4.08/4.14 c bounds 231 >= -1552 @ 3.27794 4.08/4.14 c bounds 231 >= -1551 @ 3.28046 4.08/4.14 c bounds 231 >= -1550 @ 3.28293 4.08/4.14 c bounds 231 >= -1547 @ 3.28445 4.08/4.14 c bounds 231 >= -1546 @ 3.28689 4.08/4.14 c bounds 231 >= -1544 @ 3.2904 4.08/4.14 c bounds 231 >= -1541 @ 3.29308 4.08/4.14 c bounds 231 >= -1540 @ 3.29551 4.08/4.14 c bounds 231 >= -1539 @ 3.2981 4.08/4.14 c bounds 231 >= -1538 @ 3.29946 4.08/4.14 c bounds 231 >= -1537 @ 3.30216 4.08/4.14 c bounds 231 >= -1535 @ 3.30365 4.08/4.14 c bounds 231 >= -1534 @ 3.30641 4.08/4.14 c bounds 231 >= -1533 @ 3.30808 4.08/4.14 c bounds 231 >= -1532 @ 3.30957 4.08/4.14 c bounds 231 >= -1531 @ 3.31317 4.08/4.14 c bounds 231 >= -1530 @ 3.31505 4.08/4.14 c bounds 231 >= -1529 @ 3.31652 4.08/4.14 c bounds 231 >= -1527 @ 3.31917 4.08/4.14 c bounds 231 >= -1526 @ 3.32187 4.08/4.14 c bounds 231 >= -1525 @ 3.32533 4.08/4.14 c bounds 231 >= -1524 @ 3.32795 4.57/4.66 c bounds 231 >= -1523 @ 3.32956 4.57/4.66 c bounds 231 >= -1520 @ 3.33222 4.57/4.66 c bounds 231 >= -1519 @ 3.33471 4.57/4.66 c bounds 231 >= -1518 @ 3.33735 4.57/4.66 c bounds 231 >= -1517 @ 3.33905 4.57/4.66 c bounds 231 >= -1515 @ 3.34156 4.57/4.66 c bounds 231 >= -1513 @ 3.3442 4.57/4.66 c bounds 231 >= -1512 @ 3.34697 4.57/4.66 c bounds 231 >= -1511 @ 3.34946 4.57/4.66 c bounds 231 >= -1510 @ 3.35298 4.57/4.66 c bounds 231 >= -1509 @ 3.35482 4.57/4.66 c bounds 231 >= -1508 @ 3.35729 4.57/4.66 c bounds 231 >= -1507 @ 3.36095 4.57/4.66 c bounds 231 >= -1506 @ 3.36276 4.57/4.66 c bounds 231 >= -1505 @ 3.36476 4.57/4.66 c bounds 231 >= -1504 @ 3.36634 4.57/4.66 c bounds 231 >= -1503 @ 3.37014 4.57/4.66 c bounds 231 >= -1502 @ 3.37394 4.57/4.66 c bounds 231 >= -1500 @ 3.37586 4.57/4.66 c bounds 231 >= -1499 @ 3.37751 4.57/4.66 c bounds 231 >= -1496 @ 3.37933 4.57/4.66 c bounds 231 >= -1493 @ 3.3822 4.57/4.66 c bounds 231 >= -1492 @ 3.38499 4.57/4.66 c bounds 231 >= -1491 @ 3.38757 4.57/4.66 c bounds 231 >= -1488 @ 3.3912 4.57/4.66 c bounds 231 >= -1485 @ 3.39302 4.57/4.66 c bounds 231 >= -1483 @ 3.39478 4.57/4.66 c bounds 231 >= -1480 @ 3.39735 4.57/4.66 c bounds 231 >= -1479 @ 3.40005 4.57/4.66 c bounds 231 >= -1478 @ 3.40207 4.57/4.66 c bounds 231 >= -1475 @ 3.40388 4.57/4.66 c bounds 231 >= -1472 @ 3.40567 4.57/4.66 c bounds 231 >= -1470 @ 3.40818 4.57/4.66 c bounds 231 >= -1468 @ 3.409 4.57/4.66 c bounds 231 >= -1467 @ 3.41266 4.57/4.66 c bounds 231 >= -1466 @ 3.41434 4.57/4.66 c bounds 231 >= -1464 @ 3.41715 4.57/4.66 c bounds 231 >= -1461 @ 3.41987 4.57/4.66 c bounds 231 >= -1460 @ 3.4207 4.57/4.66 c bounds 231 >= -1459 @ 3.42279 4.57/4.66 c bounds 229 >= -1459 @ 3.45675 4.57/4.66 c bounds 229 >= -1457 @ 3.45985 4.57/4.66 c bounds 229 >= -1454 @ 3.46177 4.57/4.66 c bounds 229 >= -1453 @ 3.46535 4.57/4.66 c bounds 229 >= -1451 @ 3.46809 4.57/4.66 c bounds 229 >= -1449 @ 3.46975 4.57/4.66 c bounds 229 >= -1446 @ 3.47254 4.57/4.66 c bounds 229 >= -1444 @ 3.47425 4.57/4.66 c bounds 229 >= -1443 @ 3.47697 4.57/4.66 c bounds 229 >= -1442 @ 3.47976 4.57/4.66 c bounds 229 >= -1441 @ 3.48154 4.57/4.66 c bounds 229 >= -1440 @ 3.48317 4.57/4.66 c bounds 229 >= -1438 @ 3.48604 4.57/4.66 c bounds 229 >= -1436 @ 3.48772 4.57/4.66 c bounds 229 >= -1435 @ 3.48956 4.57/4.66 c bounds 229 >= -1434 @ 3.49123 4.57/4.66 c bounds 229 >= -1433 @ 3.49394 4.57/4.66 c bounds 229 >= -1432 @ 3.49671 4.57/4.66 c bounds 229 >= -1431 @ 3.4985 4.57/4.66 c bounds 229 >= -1428 @ 3.50111 4.57/4.66 c bounds 229 >= -1427 @ 3.50396 4.57/4.66 c bounds 229 >= -1426 @ 3.50588 4.57/4.66 c bounds 229 >= -1423 @ 3.50774 4.57/4.66 c bounds 229 >= -1422 @ 3.50957 4.57/4.66 c bounds 229 >= -1421 @ 3.51144 4.57/4.66 c bounds 229 >= -1420 @ 3.51309 4.57/4.66 c bounds 229 >= -1419 @ 3.51679 4.57/4.66 c bounds 229 >= -1417 @ 3.51966 4.57/4.66 c bounds 229 >= -1414 @ 3.52144 4.57/4.66 c bounds 229 >= -1412 @ 3.525 4.57/4.66 c bounds 229 >= -1409 @ 3.52871 4.57/4.66 c bounds 229 >= -1406 @ 3.5316 4.57/4.66 c bounds 229 >= -1404 @ 3.53424 4.57/4.66 c bounds 229 >= -1403 @ 3.53599 4.57/4.66 c bounds 229 >= -1402 @ 3.53879 4.57/4.66 c bounds 229 >= -1400 @ 3.5416 4.57/4.66 c bounds 229 >= -1399 @ 3.5435 4.57/4.66 c bounds 229 >= -1398 @ 3.5455 4.57/4.66 c bounds 229 >= -1396 @ 3.54711 4.57/4.66 c bounds 229 >= -1395 @ 3.54987 4.57/4.66 c bounds 229 >= -1392 @ 3.55266 4.57/4.66 c bounds 229 >= -1389 @ 3.55639 4.57/4.66 c bounds 229 >= -1388 @ 3.55843 4.57/4.66 c bounds 229 >= -1386 @ 3.56005 4.57/4.66 c bounds 229 >= -1385 @ 3.56286 4.57/4.66 c bounds 229 >= -1384 @ 3.56562 4.57/4.66 c bounds 229 >= -1383 @ 3.56858 4.57/4.66 c bounds 229 >= -1382 @ 3.56961 4.57/4.66 c bounds 229 >= -1381 @ 3.57154 4.57/4.66 c bounds 229 >= -1380 @ 3.57454 4.57/4.66 c bounds 229 >= -1379 @ 3.57734 4.57/4.66 c bounds 229 >= -1378 @ 3.58042 4.57/4.66 c bounds 229 >= -1377 @ 3.58284 4.57/4.66 c bounds 229 >= -1376 @ 3.58482 4.57/4.66 c bounds 229 >= -1374 @ 3.58672 4.57/4.66 c bounds 229 >= -1373 @ 3.5886 4.57/4.66 c bounds 229 >= -1372 @ 3.59054 4.57/4.66 c bounds 229 >= -1371 @ 3.59343 4.57/4.66 c bounds 229 >= -1370 @ 3.59626 4.57/4.66 c bounds 229 >= -1369 @ 3.59892 4.57/4.66 c bounds 229 >= -1368 @ 3.60192 4.57/4.66 c bounds 229 >= -1367 @ 3.60471 4.57/4.66 c bounds 229 >= -1365 @ 3.60747 4.57/4.66 c bounds 229 >= -1364 @ 3.61124 4.57/4.66 c bounds 229 >= -1363 @ 3.61396 4.57/4.66 c bounds 229 >= -1362 @ 3.6168 4.57/4.66 c bounds 229 >= -1361 @ 3.6205 4.57/4.66 c bounds 229 >= -1360 @ 3.62336 4.57/4.66 c bounds 229 >= -1358 @ 3.62626 4.57/4.66 c bounds 229 >= -1357 @ 3.62894 4.57/4.66 c bounds 229 >= -1356 @ 3.63067 4.57/4.66 c bounds 229 >= -1354 @ 3.63244 4.57/4.66 c bounds 229 >= -1352 @ 3.63534 4.57/4.66 c bounds 229 >= -1351 @ 3.63723 4.57/4.66 c bounds 229 >= -1348 @ 3.63993 4.57/4.66 c bounds 229 >= -1346 @ 3.64269 4.57/4.66 c bounds 229 >= -1345 @ 3.64456 4.57/4.66 c bounds 229 >= -1343 @ 3.64736 4.57/4.66 c bounds 229 >= -1342 @ 3.64812 4.57/4.66 c bounds 229 >= -1341 @ 3.64971 4.57/4.66 c bounds 229 >= -1339 @ 3.65242 4.57/4.66 c bounds 229 >= -1338 @ 3.65503 4.57/4.66 c bounds 229 >= -1337 @ 3.65774 4.57/4.66 c bounds 229 >= -1336 @ 3.66032 4.57/4.66 c bounds 229 >= -1335 @ 3.66322 4.57/4.66 c bounds 229 >= -1334 @ 3.66471 4.57/4.66 c bounds 229 >= -1333 @ 3.6684 4.57/4.66 c bounds 229 >= -1332 @ 3.6711 4.57/4.66 c bounds 229 >= -1331 @ 3.67382 5.08/5.15 c bounds 229 >= -1330 @ 3.67556 5.08/5.15 c bounds 229 >= -1329 @ 3.67729 5.08/5.15 c bounds 229 >= -1328 @ 3.67915 5.08/5.15 c bounds 229 >= -1327 @ 3.68066 5.08/5.15 c bounds 229 >= -1326 @ 3.68437 5.08/5.15 c bounds 229 >= -1324 @ 3.68715 5.08/5.15 c bounds 229 >= -1323 @ 3.68977 5.08/5.15 c bounds 229 >= -1322 @ 3.69151 5.08/5.15 c bounds 229 >= -1321 @ 3.69332 5.08/5.15 c bounds 229 >= -1320 @ 3.69501 5.08/5.15 c bounds 229 >= -1318 @ 3.69758 5.08/5.15 c bounds 229 >= -1317 @ 3.69946 5.08/5.15 c bounds 229 >= -1316 @ 3.7013 5.08/5.15 c bounds 229 >= -1315 @ 3.70316 5.08/5.15 c bounds 229 >= -1313 @ 3.70578 5.08/5.15 c bounds 229 >= -1310 @ 3.70752 5.08/5.15 c bounds 229 >= -1309 @ 3.70928 5.08/5.15 c bounds 229 >= -1308 @ 3.71118 5.08/5.15 c bounds 229 >= -1307 @ 3.71371 5.08/5.15 c bounds 229 >= -1306 @ 3.71743 5.08/5.15 c bounds 229 >= -1304 @ 3.71922 5.08/5.15 c bounds 229 >= -1303 @ 3.72179 5.08/5.15 c bounds 229 >= -1302 @ 3.72403 5.08/5.15 c bounds 229 >= -1300 @ 3.72656 5.08/5.15 c bounds 229 >= -1299 @ 3.7292 5.08/5.15 c bounds 229 >= -1298 @ 3.732 5.08/5.15 c bounds 229 >= -1297 @ 3.73395 5.08/5.15 c bounds 229 >= -1296 @ 3.73643 5.08/5.15 c bounds 229 >= -1294 @ 3.74009 5.08/5.15 c bounds 229 >= -1293 @ 3.74268 5.08/5.15 c bounds 229 >= -1292 @ 3.74537 5.08/5.15 c bounds 229 >= -1291 @ 3.74708 5.08/5.15 c bounds 229 >= -1288 @ 3.74761 5.08/5.15 c bounds 229 >= -1287 @ 3.75032 5.08/5.15 c bounds 229 >= -1286 @ 3.75207 5.08/5.15 c bounds 229 >= -1285 @ 3.75457 5.08/5.15 c bounds 229 >= -1284 @ 3.75714 5.08/5.15 c bounds 229 >= -1283 @ 3.7608 5.08/5.15 c bounds 229 >= -1281 @ 3.76446 5.08/5.15 c bounds 229 >= -1280 @ 3.76713 5.08/5.15 c bounds 229 >= -1278 @ 3.76895 5.08/5.15 c bounds 229 >= -1277 @ 3.77138 5.08/5.15 c bounds 229 >= -1276 @ 3.77398 5.08/5.15 c bounds 229 >= -1275 @ 3.77652 5.08/5.15 c bounds 229 >= -1274 @ 3.77959 5.08/5.15 c bounds 229 >= -1272 @ 3.78215 5.08/5.15 c bounds 229 >= -1270 @ 3.7839 5.08/5.15 c bounds 229 >= -1269 @ 3.78625 5.08/5.15 c bounds 229 >= -1267 @ 3.78989 5.08/5.15 c bounds 229 >= -1266 @ 3.79138 5.08/5.15 c bounds 229 >= -1265 @ 3.79309 5.08/5.15 c bounds 227 >= -1265 @ 3.834 5.08/5.15 c bounds 227 >= -1264 @ 3.83621 5.08/5.15 c bounds 227 >= -1263 @ 3.83877 5.08/5.15 c bounds 227 >= -1262 @ 3.84021 5.08/5.15 c bounds 227 >= -1261 @ 3.84208 5.08/5.15 c bounds 227 >= -1260 @ 3.84405 5.08/5.15 c bounds 227 >= -1257 @ 3.84588 5.08/5.15 c bounds 227 >= -1255 @ 3.84853 5.08/5.15 c bounds 227 >= -1254 @ 3.85125 5.08/5.15 c bounds 227 >= -1253 @ 3.85297 5.08/5.15 c bounds 227 >= -1252 @ 3.85444 5.08/5.15 c bounds 227 >= -1250 @ 3.85687 5.08/5.15 c bounds 227 >= -1249 @ 3.85846 5.08/5.15 c bounds 227 >= -1248 @ 3.86105 5.08/5.15 c bounds 227 >= -1247 @ 3.86279 5.08/5.15 c bounds 227 >= -1245 @ 3.8642 5.08/5.15 c bounds 227 >= -1244 @ 3.86677 5.08/5.15 c bounds 227 >= -1243 @ 3.86923 5.08/5.15 c bounds 227 >= -1242 @ 3.87184 5.08/5.15 c bounds 227 >= -1240 @ 3.8733 5.08/5.15 c bounds 227 >= -1239 @ 3.87582 5.08/5.15 c bounds 227 >= -1238 @ 3.87728 5.08/5.15 c bounds 227 >= -1235 @ 3.87981 5.08/5.15 c bounds 227 >= -1234 @ 3.88125 5.08/5.15 c bounds 227 >= -1233 @ 3.8838 5.08/5.15 c bounds 227 >= -1231 @ 3.8872 5.08/5.15 c bounds 227 >= -1229 @ 3.88888 5.08/5.15 c bounds 227 >= -1228 @ 3.8902 5.08/5.15 c bounds 227 >= -1227 @ 3.89183 5.08/5.15 c bounds 227 >= -1225 @ 3.89314 5.08/5.15 c bounds 227 >= -1224 @ 3.89469 5.08/5.15 c bounds 227 >= -1221 @ 3.89607 5.08/5.15 c bounds 227 >= -1220 @ 3.89772 5.08/5.15 c bounds 227 >= -1219 @ 3.89916 5.08/5.15 c bounds 227 >= -1218 @ 3.9017 5.08/5.15 c bounds 227 >= -1217 @ 3.90525 5.08/5.15 c bounds 227 >= -1216 @ 3.90783 5.08/5.15 c bounds 227 >= -1215 @ 3.91068 5.08/5.15 c bounds 227 >= -1214 @ 3.91328 5.08/5.15 c bounds 227 >= -1211 @ 3.91587 5.08/5.15 c bounds 227 >= -1210 @ 3.91723 5.08/5.15 c bounds 227 >= -1207 @ 3.92062 5.08/5.15 c bounds 227 >= -1206 @ 3.92205 5.08/5.15 c bounds 227 >= -1205 @ 3.92392 5.08/5.15 c bounds 227 >= -1204 @ 3.92637 5.08/5.15 c bounds 227 >= -1203 @ 3.92873 5.08/5.15 c bounds 227 >= -1202 @ 3.93127 5.08/5.15 c bounds 227 >= -1200 @ 3.93373 5.08/5.15 c bounds 227 >= -1199 @ 3.93512 5.08/5.15 c bounds 227 >= -1197 @ 3.93768 5.08/5.15 c bounds 227 >= -1195 @ 3.93898 5.08/5.15 c bounds 227 >= -1194 @ 3.94137 5.08/5.15 c bounds 227 >= -1193 @ 3.9439 5.08/5.15 c bounds 227 >= -1192 @ 3.94548 5.08/5.15 c bounds 227 >= -1191 @ 3.9477 5.08/5.15 c bounds 227 >= -1190 @ 3.95017 5.08/5.15 c bounds 227 >= -1189 @ 3.95355 5.08/5.15 c bounds 227 >= -1188 @ 3.95501 5.08/5.15 c bounds 227 >= -1187 @ 3.95749 5.08/5.15 c bounds 227 >= -1186 @ 3.96001 5.08/5.15 c bounds 227 >= -1185 @ 3.96234 5.08/5.15 c bounds 227 >= -1184 @ 3.96376 5.08/5.15 c bounds 227 >= -1183 @ 3.96568 5.08/5.15 c bounds 227 >= -1182 @ 3.96805 5.08/5.15 c bounds 227 >= -1181 @ 3.96944 5.08/5.15 c bounds 227 >= -1180 @ 3.9718 5.08/5.15 c bounds 227 >= -1179 @ 3.9742 5.08/5.15 c bounds 227 >= -1178 @ 3.97669 5.08/5.15 c bounds 227 >= -1177 @ 3.9784 5.08/5.15 c bounds 227 >= -1176 @ 3.98059 5.08/5.15 c bounds 227 >= -1175 @ 3.982 5.08/5.15 c bounds 227 >= -1174 @ 3.98528 5.08/5.15 c bounds 227 >= -1173 @ 3.9886 5.08/5.15 c bounds 227 >= -1172 @ 3.99099 5.08/5.15 c bounds 227 >= -1170 @ 3.99353 5.08/5.15 c bounds 227 >= -1169 @ 3.9967 5.08/5.15 c bounds 227 >= -1167 @ 3.999 7.87/8.00 c bounds 227 >= -1166 @ 4.00157 7.87/8.00 c bounds 227 >= -1165 @ 4.00277 7.87/8.00 c bounds 227 >= -1164 @ 4.00408 7.87/8.00 c bounds 227 >= -1163 @ 4.00745 7.87/8.00 c bounds 227 >= -1162 @ 4.0098 7.87/8.00 c bounds 227 >= -1161 @ 4.01243 7.87/8.00 c bounds 227 >= -1160 @ 4.01561 7.87/8.00 c bounds 227 >= -1159 @ 4.01799 7.87/8.00 c bounds 227 >= -1158 @ 4.02045 7.87/8.00 c bounds 227 >= -1157 @ 4.02273 7.87/8.00 c bounds 227 >= -1156 @ 4.02518 7.87/8.00 c bounds 227 >= -1155 @ 4.02752 7.87/8.00 c bounds 227 >= -1154 @ 4.02897 7.87/8.00 c bounds 227 >= -1153 @ 4.03063 7.87/8.00 c bounds 227 >= -1152 @ 4.03312 7.87/8.00 c bounds 227 >= -1151 @ 4.03684 7.87/8.00 c bounds 227 >= -1150 @ 4.03964 7.87/8.00 c bounds 227 >= -1149 @ 4.0423 7.87/8.00 c bounds 227 >= -1148 @ 4.04393 7.87/8.00 c bounds 227 >= -1147 @ 4.04664 7.87/8.00 c bounds 227 >= -1146 @ 4.04931 7.87/8.00 c bounds 227 >= -1145 @ 4.05226 7.87/8.00 c bounds 227 >= -1144 @ 4.05476 7.87/8.00 c bounds 227 >= -1143 @ 4.05759 7.87/8.00 c bounds 227 >= -1142 @ 4.06059 7.87/8.00 c bounds 227 >= -1141 @ 4.06477 7.87/8.00 c bounds 227 >= -1140 @ 4.06664 7.87/8.00 c bounds 227 >= -1139 @ 4.06876 7.87/8.00 c bounds 227 >= -1138 @ 4.06972 7.87/8.00 c bounds 226 >= -1138 @ 4.08531 7.87/8.00 c bounds 226 >= -1137 @ 4.08859 7.87/8.00 c bounds 226 >= -1136 @ 4.09248 7.87/8.00 c bounds 226 >= -1135 @ 4.09553 7.87/8.00 c bounds 226 >= -1134 @ 4.09792 7.87/8.00 c bounds 226 >= -1133 @ 4.09976 7.87/8.00 c bounds 226 >= -1132 @ 4.10557 7.87/8.00 c bounds 226 >= -1131 @ 4.10851 7.87/8.00 c bounds 226 >= -1130 @ 4.11105 7.87/8.00 c bounds 226 >= -1129 @ 4.114 7.87/8.00 c bounds 226 >= -1128 @ 4.11923 7.87/8.00 c bounds 226 >= -1127 @ 4.12211 7.87/8.00 c bounds 226 >= -1126 @ 4.12452 7.87/8.00 c bounds 226 >= -1125 @ 4.12653 7.87/8.00 c bounds 226 >= -1124 @ 4.12782 7.87/8.00 c bounds 226 >= -1123 @ 4.12975 7.87/8.00 c bounds 226 >= -1122 @ 4.13221 7.87/8.00 c bounds 226 >= -1121 @ 4.13612 7.87/8.00 c bounds 226 >= -1120 @ 4.13937 7.87/8.00 c bounds 222 >= -1120 @ 4.14823 7.87/8.00 c bounds 222 >= -1119 @ 4.15157 7.87/8.00 c bounds 222 >= -1118 @ 4.15762 7.87/8.00 c bounds 222 >= -1117 @ 4.16153 7.87/8.00 c bounds 222 >= -1116 @ 4.16344 7.87/8.00 c bounds 222 >= -1115 @ 4.16522 7.87/8.00 c bounds 222 >= -1114 @ 4.17107 7.87/8.00 c bounds 221 >= -1114 @ 4.17897 7.87/8.00 c bounds 221 >= -1113 @ 4.18211 7.87/8.00 c bounds 221 >= -1112 @ 4.18533 7.87/8.00 c bounds 221 >= -1111 @ 4.18903 7.87/8.00 c bounds 221 >= -1110 @ 4.1933 7.87/8.00 c bounds 221 >= -1109 @ 4.19626 7.87/8.00 c bounds 221 >= -1108 @ 4.20035 7.87/8.00 c bounds 221 >= -1107 @ 4.20418 7.87/8.00 c bounds 221 >= -1106 @ 4.20663 7.87/8.00 c bounds 221 >= -1105 @ 4.21024 7.87/8.00 c bounds 221 >= -1104 @ 4.21095 7.87/8.00 c bounds 221 >= -1103 @ 4.2133 7.87/8.00 c bounds 221 >= -1102 @ 4.21704 7.87/8.00 c bounds 220 >= -1102 @ 4.24562 7.87/8.00 c bounds 220 >= -1101 @ 4.24899 7.87/8.00 c bounds 220 >= -1100 @ 4.25151 7.87/8.00 c bounds 220 >= -1099 @ 4.25674 7.87/8.00 c bounds 220 >= -1098 @ 4.26018 7.87/8.00 c bounds 220 >= -1097 @ 4.26302 7.87/8.00 c bounds 220 >= -1096 @ 4.26515 7.87/8.00 c bounds 220 >= -1095 @ 4.26892 7.87/8.00 c bounds 220 >= -1094 @ 4.26999 7.87/8.00 c bounds 220 >= -1093 @ 4.27222 7.87/8.00 c bounds 220 >= -1092 @ 4.27499 7.87/8.00 c bounds 220 >= -1091 @ 4.27788 7.87/8.00 c bounds 220 >= -1090 @ 4.28032 7.87/8.00 c bounds 220 >= -1089 @ 4.28391 7.87/8.00 c bounds 220 >= -1088 @ 4.28582 7.87/8.00 c bounds 220 >= -1087 @ 4.28879 7.87/8.00 c bounds 220 >= -1086 @ 4.29085 7.87/8.00 c bounds 220 >= -1085 @ 4.29313 7.87/8.00 c #Conflicts: 5000 | #Constraints: 11712 7.87/8.00 c bounds 220 >= -1084 @ 4.29764 7.87/8.00 c bounds 220 >= -1083 @ 4.30369 7.87/8.00 c bounds 220 >= -1082 @ 4.30673 7.87/8.00 c bounds 220 >= -1081 @ 4.30868 7.87/8.00 c bounds 220 >= -1080 @ 4.31142 7.87/8.00 c bounds 220 >= -1079 @ 4.31957 7.87/8.00 c bounds 220 >= -1078 @ 4.32174 7.87/8.00 c bounds 219 >= -1078 @ 4.79497 7.87/8.00 c bounds 219 >= -1077 @ 4.79946 7.87/8.00 c bounds 219 >= -1076 @ 4.8057 7.87/8.00 c bounds 219 >= -1075 @ 4.8113 7.87/8.00 c bounds 219 >= -1074 @ 4.81591 7.87/8.00 c bounds 219 >= -1073 @ 4.81858 7.87/8.00 c bounds 219 >= -1072 @ 4.82326 7.87/8.00 c bounds 219 >= -1071 @ 4.83255 7.87/8.00 c bounds 219 >= -1070 @ 4.83862 7.87/8.00 c bounds 219 >= -1069 @ 4.84678 7.87/8.00 c bounds 219 >= -1068 @ 4.85024 7.87/8.00 c bounds 219 >= -1067 @ 4.85418 7.87/8.00 c bounds 219 >= -1066 @ 4.85741 7.87/8.00 c bounds 219 >= -1065 @ 4.8647 7.87/8.00 c bounds 219 >= -1064 @ 4.87866 7.87/8.00 c #Conflicts: 6000 | #Constraints: 13000 7.87/8.00 c bounds 219 >= -1063 @ 6.15332 7.87/8.00 c bounds 219 >= -1062 @ 6.21 7.87/8.00 c bounds 219 >= -1061 @ 6.21776 7.87/8.00 c bounds 219 >= -1060 @ 6.22315 7.87/8.00 c bounds 219 >= -1059 @ 6.23063 7.87/8.00 c INPROCESSING 7.87/8.00 c GARBAGE COLLECT 7.87/8.00 c bounds 219 >= -1058 @ 6.26007 7.87/8.00 c #Conflicts: 7000 | #Constraints: 11504 7.87/8.00 c bounds 219 >= -1057 @ 6.27819 7.87/8.00 c bounds 219 >= -1056 @ 6.30134 7.87/8.00 c bounds 219 >= -1055 @ 6.31301 7.87/8.00 c bounds 219 >= -1054 @ 6.34715 7.87/8.00 c #Conflicts: 8000 | #Constraints: 12598 7.87/8.00 c #Conflicts: 9000 | #Constraints: 13598 7.87/8.00 c bounds 219 >= -1053 @ 6.46494 7.87/8.00 c bounds 218 >= -1053 @ 6.51365 11.76/11.81 c bounds 217 >= -1053 @ 6.51933 11.76/11.81 c bounds 216 >= -1053 @ 6.53 11.76/11.81 c bounds 215 >= -1053 @ 6.62197 11.76/11.81 c bounds 215 >= -1052 @ 6.62309 11.76/11.81 c bounds 215 >= -1051 @ 6.62641 11.76/11.81 c bounds 215 >= -1050 @ 6.62802 11.76/11.81 c bounds 215 >= -1049 @ 6.62973 11.76/11.81 c bounds 215 >= -1048 @ 6.63336 11.76/11.81 c bounds 215 >= -1047 @ 6.63504 11.76/11.81 c bounds 215 >= -1046 @ 6.6386 11.76/11.81 c bounds 215 >= -1045 @ 6.6421 11.76/11.81 c bounds 215 >= -1044 @ 6.64475 11.76/11.81 c bounds 215 >= -1043 @ 6.64734 11.76/11.81 c bounds 215 >= -1042 @ 6.6495 11.76/11.81 c bounds 215 >= -1041 @ 6.65268 11.76/11.81 c bounds 215 >= -1040 @ 6.65764 11.76/11.81 c bounds 215 >= -1039 @ 6.66029 11.76/11.81 c bounds 215 >= -1038 @ 6.66172 11.76/11.81 c bounds 215 >= -1037 @ 6.66368 11.76/11.81 c bounds 215 >= -1036 @ 6.66658 11.76/11.81 c bounds 215 >= -1035 @ 6.67009 11.76/11.81 c bounds 215 >= -1034 @ 6.67229 11.76/11.81 c bounds 215 >= -1033 @ 6.67652 11.76/11.81 c bounds 214 >= -1033 @ 6.95451 11.76/11.81 c bounds 214 >= -1032 @ 6.95943 11.76/11.81 c bounds 214 >= -1031 @ 6.96122 11.76/11.81 c bounds 214 >= -1030 @ 6.96382 11.76/11.81 c bounds 214 >= -1029 @ 6.96661 11.76/11.81 c bounds 214 >= -1028 @ 6.96998 11.76/11.81 c bounds 214 >= -1027 @ 6.97778 11.76/11.81 c bounds 214 >= -1026 @ 6.99047 11.76/11.81 c bounds 214 >= -1025 @ 6.99216 11.76/11.81 c bounds 214 >= -1024 @ 6.99467 11.76/11.81 c bounds 214 >= -1023 @ 6.99772 11.76/11.81 c bounds 214 >= -1022 @ 6.99948 11.76/11.81 c bounds 214 >= -1021 @ 7.00277 11.76/11.81 c bounds 214 >= -1020 @ 7.00833 11.76/11.81 c bounds 214 >= -1019 @ 7.01201 11.76/11.81 c bounds 214 >= -1018 @ 7.01773 11.76/11.81 c bounds 214 >= -1017 @ 7.02842 11.76/11.81 c bounds 214 >= -1016 @ 7.03702 11.76/11.81 c bounds 214 >= -1015 @ 7.04378 11.76/11.81 c bounds 214 >= -1014 @ 7.04595 11.76/11.81 c bounds 214 >= -1013 @ 7.04899 11.76/11.81 c #Conflicts: 10000 | #Constraints: 15115 11.76/11.81 c bounds 214 >= -1012 @ 7.05163 11.76/11.81 c bounds 214 >= -1011 @ 7.05586 11.76/11.81 c bounds 214 >= -1010 @ 7.05918 11.76/11.81 c bounds 214 >= -1009 @ 7.06352 11.76/11.81 c bounds 214 >= -1008 @ 7.06738 11.76/11.81 c bounds 214 >= -1007 @ 7.06893 11.76/11.81 c bounds 214 >= -1006 @ 7.07136 11.76/11.81 c bounds 214 >= -1005 @ 7.07544 11.76/11.81 c bounds 214 >= -1004 @ 7.07913 11.76/11.81 c bounds 214 >= -1003 @ 7.08384 11.76/11.81 c bounds 214 >= -1002 @ 7.08869 11.76/11.81 c bounds 214 >= -1001 @ 7.10466 11.76/11.81 c bounds 214 >= -1000 @ 7.12982 11.76/11.81 c bounds 214 >= -999 @ 7.13156 11.76/11.81 c bounds 214 >= -998 @ 7.13432 11.76/11.81 c bounds 214 >= -997 @ 7.13567 11.76/11.81 c bounds 214 >= -996 @ 7.13868 11.76/11.81 c bounds 214 >= -995 @ 7.14043 11.76/11.81 c bounds 214 >= -994 @ 7.14335 11.76/11.81 c bounds 214 >= -993 @ 7.14777 11.76/11.81 c bounds 214 >= -992 @ 7.14966 11.76/11.81 c bounds 214 >= -991 @ 7.15206 11.76/11.81 c bounds 214 >= -990 @ 7.15521 11.76/11.81 c bounds 214 >= -989 @ 7.15797 11.76/11.81 c bounds 214 >= -988 @ 7.16284 11.76/11.81 c bounds 214 >= -987 @ 7.1676 11.76/11.81 c bounds 214 >= -986 @ 7.1745 11.76/11.81 c bounds 214 >= -985 @ 7.181 11.76/11.81 c bounds 214 >= -984 @ 7.20091 11.76/11.81 c bounds 214 >= -983 @ 7.20736 11.76/11.81 c bounds 214 >= -982 @ 7.21726 11.76/11.81 c #Conflicts: 11000 | #Constraints: 16526 11.76/11.81 c bounds 213 >= -982 @ 7.448 11.76/11.81 c bounds 213 >= -981 @ 7.4509 11.76/11.81 c bounds 213 >= -980 @ 7.45956 11.76/11.81 c bounds 213 >= -979 @ 7.46222 11.76/11.81 c bounds 213 >= -978 @ 7.47347 11.76/11.81 c bounds 213 >= -977 @ 7.47962 11.76/11.81 c bounds 213 >= -976 @ 7.49464 11.76/11.81 c bounds 213 >= -975 @ 7.52117 11.76/11.81 c bounds 213 >= -974 @ 7.56304 11.76/11.81 c #Conflicts: 12000 | #Constraints: 17675 11.76/11.81 c bounds 213 >= -973 @ 7.61676 11.76/11.81 c bounds 213 >= -972 @ 7.62258 11.76/11.81 c bounds 212 >= -972 @ 7.98843 11.76/11.81 c bounds 212 >= -971 @ 7.99377 11.76/11.81 c bounds 212 >= -970 @ 8.00518 11.76/11.81 c bounds 212 >= -969 @ 8.01525 11.76/11.81 c bounds 212 >= -968 @ 8.02883 11.76/11.81 c bounds 212 >= -967 @ 8.04568 11.76/11.81 c INPROCESSING 11.76/11.81 c GARBAGE COLLECT 11.76/11.81 c rational objective 4 24.23/24.33 c bounds 212 >= -966 @ 9.97702 24.23/24.33 c #Conflicts: 13000 | #Constraints: 14544 24.23/24.33 c bounds 212 >= -965 @ 9.99523 24.23/24.33 c bounds 212 >= -964 @ 10.0472 24.23/24.33 c #Conflicts: 14000 | #Constraints: 15595 24.23/24.33 c bounds 212 >= -963 @ 10.182 24.23/24.33 c #Conflicts: 15000 | #Constraints: 16625 24.23/24.33 c bounds 211 >= -963 @ 12.4425 24.23/24.33 c #Conflicts: 16000 | #Constraints: 17626 24.23/24.33 c bounds 211 >= -962 @ 12.4504 24.23/24.33 c bounds 211 >= -961 @ 12.4568 24.23/24.33 c bounds 211 >= -960 @ 12.462 24.23/24.33 c bounds 211 >= -959 @ 12.4709 24.23/24.33 c bounds 211 >= -958 @ 12.4938 24.23/24.33 c bounds 211 >= -957 @ 12.4961 24.23/24.33 c bounds 211 >= -956 @ 12.4981 24.23/24.33 c bounds 211 >= -955 @ 12.5015 24.23/24.33 c bounds 211 >= -954 @ 12.505 24.23/24.33 c bounds 211 >= -953 @ 12.509 24.23/24.33 c bounds 211 >= -952 @ 12.5154 24.23/24.33 c bounds 211 >= -951 @ 12.52 24.23/24.33 c bounds 211 >= -950 @ 12.525 24.23/24.33 c bounds 211 >= -949 @ 12.5291 24.23/24.33 c bounds 211 >= -948 @ 12.533 24.23/24.33 c bounds 211 >= -947 @ 12.5361 24.23/24.33 c bounds 211 >= -946 @ 12.5394 24.23/24.33 c bounds 211 >= -945 @ 12.5441 24.23/24.33 c bounds 211 >= -944 @ 12.5488 24.23/24.33 c bounds 211 >= -943 @ 12.5569 24.23/24.33 c bounds 211 >= -942 @ 12.5688 24.23/24.33 c bounds 211 >= -941 @ 12.5821 24.23/24.33 c bounds 211 >= -940 @ 12.5886 24.23/24.33 c bounds 211 >= -939 @ 12.5954 24.23/24.33 c bounds 211 >= -938 @ 12.6054 24.23/24.33 c bounds 211 >= -937 @ 12.6185 24.23/24.33 c bounds 211 >= -936 @ 12.6927 24.23/24.33 c #Conflicts: 17000 | #Constraints: 18982 24.23/24.33 c bounds 211 >= -935 @ 12.7782 24.23/24.33 c bounds 211 >= -934 @ 12.8402 24.23/24.33 c bounds 211 >= -933 @ 12.8483 24.23/24.33 c bounds 211 >= -932 @ 12.8521 24.23/24.33 c bounds 211 >= -931 @ 12.8564 24.23/24.33 c bounds 211 >= -930 @ 12.8593 24.23/24.33 c bounds 211 >= -929 @ 12.8645 24.23/24.33 c bounds 211 >= -928 @ 12.8698 24.23/24.33 c bounds 211 >= -927 @ 12.8847 24.23/24.33 c bounds 211 >= -926 @ 12.9091 24.23/24.33 c bounds 211 >= -925 @ 12.94 24.23/24.33 c bounds 211 >= -924 @ 12.9501 24.23/24.33 c bounds 211 >= -923 @ 12.9573 24.23/24.33 c bounds 211 >= -922 @ 12.9624 24.23/24.33 c bounds 211 >= -921 @ 12.9838 24.23/24.33 c bounds 211 >= -920 @ 12.9962 24.23/24.33 c #Conflicts: 18000 | #Constraints: 20266 24.23/24.33 c bounds 211 >= -919 @ 13.0059 24.23/24.33 c bounds 211 >= -918 @ 13.0147 24.23/24.33 c bounds 211 >= -917 @ 13.0413 24.23/24.33 c bounds 211 >= -916 @ 13.0619 24.23/24.33 c bounds 211 >= -915 @ 13.1336 24.23/24.33 c bounds 211 >= -914 @ 13.2508 24.23/24.33 c #Conflicts: 19000 | #Constraints: 21402 24.23/24.33 c bounds 211 >= -913 @ 15.0192 24.23/24.33 c #Conflicts: 20000 | #Constraints: 22429 24.23/24.33 c #Conflicts: 21000 | #Constraints: 23429 24.23/24.33 c INPROCESSING 24.23/24.33 c GARBAGE COLLECT 24.23/24.33 c bounds 211 >= -912 @ 15.6695 24.23/24.33 c #Conflicts: 22000 | #Constraints: 18212 24.23/24.33 c #Conflicts: 23000 | #Constraints: 19212 24.23/24.33 c bounds 211 >= -911 @ 15.9762 24.23/24.33 c #Conflicts: 24000 | #Constraints: 20230 24.23/24.33 c #Conflicts: 25000 | #Constraints: 21230 24.23/24.33 c #Conflicts: 26000 | #Constraints: 22230 24.23/24.33 c #Conflicts: 27000 | #Constraints: 23230 24.23/24.33 c bounds 211 >= -910 @ 16.881 24.23/24.33 c bounds 210 >= -910 @ 17.0585 24.23/24.33 c bounds 209 >= -910 @ 17.1333 24.23/24.33 c bounds 208 >= -910 @ 17.1803 24.23/24.33 c bounds 207 >= -910 @ 17.2855 24.23/24.33 c bounds 206 >= -910 @ 17.3527 24.23/24.33 c bounds 205 >= -910 @ 17.4196 24.23/24.33 c bounds 204 >= -910 @ 17.4826 24.23/24.33 c bounds 203 >= -910 @ 17.5331 24.23/24.33 c bounds 202 >= -910 @ 17.5943 24.23/24.33 c bounds 201 >= -910 @ 17.7323 24.23/24.33 c bounds 200 >= -910 @ 18.017 24.23/24.33 c bounds 200 >= -909 @ 18.0214 24.23/24.33 c bounds 200 >= -908 @ 18.0335 24.23/24.33 c #Conflicts: 28000 | #Constraints: 24299 24.23/24.33 c bounds 200 >= -907 @ 18.0781 24.23/24.33 c bounds 199 >= -907 @ 18.6451 24.23/24.33 c bounds 199 >= -906 @ 18.6485 24.23/24.33 c bounds 199 >= -905 @ 18.6505 24.23/24.33 c bounds 199 >= -904 @ 18.6993 24.23/24.33 c bounds 199 >= -903 @ 18.7034 24.23/24.33 c bounds 199 >= -902 @ 18.7425 24.23/24.33 c bounds 199 >= -901 @ 18.7681 24.23/24.33 c #Conflicts: 29000 | #Constraints: 25433 24.23/24.33 c bounds 199 >= -900 @ 18.8562 24.23/24.33 c bounds 199 >= -899 @ 18.8952 24.23/24.33 c #Conflicts: 30000 | #Constraints: 26490 24.23/24.33 c bounds 199 >= -898 @ 19.0844 24.23/24.33 c bounds 198 >= -898 @ 19.596 24.23/24.33 c bounds 198 >= -897 @ 19.6099 24.23/24.33 c bounds 198 >= -896 @ 19.6182 24.23/24.33 c bounds 198 >= -895 @ 19.6323 24.23/24.33 c bounds 198 >= -894 @ 19.646 24.23/24.33 c bounds 198 >= -893 @ 19.6654 24.23/24.33 c bounds 198 >= -892 @ 19.7002 24.23/24.33 c bounds 198 >= -891 @ 19.7251 24.23/24.33 c bounds 198 >= -890 @ 19.7404 24.23/24.33 c bounds 198 >= -889 @ 19.749 24.23/24.33 c #Conflicts: 31000 | #Constraints: 27701 24.23/24.33 c bounds 198 >= -888 @ 19.7735 24.23/24.33 c INPROCESSING 24.23/24.33 c GARBAGE COLLECT 24.23/24.33 c rational objective 4 43.99/44.16 c bounds 198 >= -887 @ 21.7262 43.99/44.16 c bounds 198 >= -886 @ 21.7328 43.99/44.16 c bounds 198 >= -885 @ 21.7405 43.99/44.16 c bounds 198 >= -884 @ 21.746 43.99/44.16 c bounds 198 >= -883 @ 21.7484 43.99/44.16 c bounds 198 >= -882 @ 21.7513 43.99/44.16 c bounds 198 >= -881 @ 21.7742 43.99/44.16 c #Conflicts: 32000 | #Constraints: 20628 43.99/44.16 c bounds 198 >= -880 @ 21.787 43.99/44.16 c bounds 198 >= -879 @ 21.8653 43.99/44.16 c #Conflicts: 33000 | #Constraints: 21685 43.99/44.16 c bounds 197 >= -879 @ 22.3132 43.99/44.16 c bounds 197 >= -878 @ 22.4074 43.99/44.16 c bounds 197 >= -877 @ 22.4221 43.99/44.16 c bounds 197 >= -876 @ 22.4555 43.99/44.16 c bounds 197 >= -875 @ 22.4718 43.99/44.16 c #Conflicts: 34000 | #Constraints: 22770 43.99/44.16 c bounds 197 >= -874 @ 22.4747 43.99/44.16 c bounds 197 >= -873 @ 22.4787 43.99/44.16 c bounds 197 >= -872 @ 22.4838 43.99/44.16 c bounds 197 >= -871 @ 22.4922 43.99/44.16 c bounds 197 >= -870 @ 22.5037 43.99/44.16 c bounds 197 >= -869 @ 22.5251 43.99/44.16 c bounds 197 >= -868 @ 22.5356 43.99/44.16 c bounds 197 >= -867 @ 22.5436 43.99/44.16 c #Conflicts: 35000 | #Constraints: 23937 43.99/44.16 c bounds 197 >= -866 @ 22.578 43.99/44.16 c bounds 196 >= -866 @ 22.7809 43.99/44.16 c #Conflicts: 36000 | #Constraints: 24956 43.99/44.16 c bounds 196 >= -865 @ 24.4829 43.99/44.16 c bounds 195 >= -865 @ 24.5562 43.99/44.16 c bounds 195 >= -864 @ 24.572 43.99/44.16 c bounds 195 >= -863 @ 24.5792 43.99/44.16 c bounds 195 >= -862 @ 24.5845 43.99/44.16 c bounds 195 >= -861 @ 24.5994 43.99/44.16 c bounds 195 >= -860 @ 24.6139 43.99/44.16 c bounds 194 >= -860 @ 24.6997 43.99/44.16 c bounds 194 >= -859 @ 24.7292 43.99/44.16 c #Conflicts: 37000 | #Constraints: 26128 43.99/44.16 c bounds 194 >= -858 @ 24.7633 43.99/44.16 c bounds 193 >= -858 @ 25.1995 43.99/44.16 c bounds 193 >= -857 @ 25.2338 43.99/44.16 c bounds 193 >= -856 @ 25.2924 43.99/44.16 c #Conflicts: 38000 | #Constraints: 27198 43.99/44.16 c bounds 193 >= -855 @ 25.3936 43.99/44.16 c bounds 193 >= -854 @ 25.4253 43.99/44.16 c bounds 193 >= -853 @ 25.4355 43.99/44.16 c bounds 193 >= -852 @ 25.4587 43.99/44.16 c #Conflicts: 39000 | #Constraints: 28313 43.99/44.16 c bounds 193 >= -851 @ 25.4983 43.99/44.16 c #Conflicts: 40000 | #Constraints: 29343 43.99/44.16 c #Conflicts: 41000 | #Constraints: 30343 43.99/44.16 c #Conflicts: 42000 | #Constraints: 31343 43.99/44.16 c #Conflicts: 43000 | #Constraints: 32343 43.99/44.16 c INPROCESSING 43.99/44.16 c GARBAGE COLLECT 43.99/44.16 c rational objective 4 50.97/51.16 c #Conflicts: 44000 | #Constraints: 23086 50.97/51.16 c #Conflicts: 45000 | #Constraints: 24086 50.97/51.16 c bounds 193 >= -850 @ 40.8888 50.97/51.16 c bounds 193 >= -849 @ 40.8986 50.97/51.16 c bounds 193 >= -848 @ 40.9118 50.97/51.16 c bounds 193 >= -847 @ 40.9389 50.97/51.16 c #Conflicts: 46000 | #Constraints: 25173 50.97/51.16 c bounds 193 >= -846 @ 40.9904 50.97/51.16 c bounds 193 >= -845 @ 41.029 50.97/51.16 c #Conflicts: 47000 | #Constraints: 26239 50.97/51.16 c #Conflicts: 48000 | #Constraints: 27239 50.97/51.16 c bounds 193 >= -844 @ 41.2432 50.97/51.16 c bounds 193 >= -843 @ 41.3695 50.97/51.16 c #Conflicts: 49000 | #Constraints: 28302 50.97/51.16 c bounds 193 >= -842 @ 41.4032 50.97/51.16 c #Conflicts: 50000 | #Constraints: 29344 50.97/51.16 c bounds 193 >= -841 @ 43.2351 50.97/51.16 c #Conflicts: 51000 | #Constraints: 30377 50.97/51.16 c bounds 193 >= -840 @ 43.3988 50.97/51.16 c #Conflicts: 52000 | #Constraints: 31398 50.97/51.16 c bounds 193 >= -839 @ 43.72 50.97/51.16 c #Conflicts: 53000 | #Constraints: 32437 50.97/51.16 c #Conflicts: 54000 | #Constraints: 33437 50.97/51.16 c #Conflicts: 55000 | #Constraints: 34437 50.97/51.16 c #Conflicts: 56000 | #Constraints: 35437 50.97/51.16 c bounds 193 >= -838 @ 44.7582 50.97/51.16 c #Conflicts: 57000 | #Constraints: 36473 50.97/51.16 c INPROCESSING 50.97/51.16 c GARBAGE COLLECT 50.97/51.16 c rational objective 4 62.24/62.42 c #Conflicts: 58000 | #Constraints: 25380 62.24/62.42 c bounds 193 >= -837 @ 47.2316 62.24/62.42 c #Conflicts: 59000 | #Constraints: 26422 62.24/62.42 c bounds 193 >= -836 @ 47.2893 62.24/62.42 c #Conflicts: 60000 | #Constraints: 27452 62.24/62.42 c bounds 193 >= -835 @ 47.3402 62.24/62.42 c #Conflicts: 61000 | #Constraints: 28485 62.24/62.42 c #Conflicts: 62000 | #Constraints: 29485 62.24/62.42 c bounds 193 >= -834 @ 47.8428 62.24/62.42 c #Conflicts: 63000 | #Constraints: 30518 62.24/62.42 c #Conflicts: 64000 | #Constraints: 31518 62.24/62.42 c #Conflicts: 65000 | #Constraints: 32518 62.24/62.42 c #Conflicts: 66000 | #Constraints: 33518 62.24/62.42 c #Conflicts: 67000 | #Constraints: 34518 62.24/62.42 c bounds 193 >= -833 @ 51.7231 62.24/62.42 c #Conflicts: 68000 | #Constraints: 35542 62.24/62.42 c #Conflicts: 69000 | #Constraints: 36542 62.24/62.42 c #Conflicts: 70000 | #Constraints: 37542 62.24/62.42 c #Conflicts: 71000 | #Constraints: 38542 62.24/62.42 c #Conflicts: 72000 | #Constraints: 39542 62.24/62.42 c #Conflicts: 73000 | #Constraints: 40542 62.24/62.42 c INPROCESSING 62.24/62.42 c GARBAGE COLLECT 62.24/62.42 c rational objective 4 71.82/72.00 c #Conflicts: 74000 | #Constraints: 27449 71.82/72.00 c #Conflicts: 75000 | #Constraints: 28449 71.82/72.00 c bounds 193 >= -832 @ 58.4023 71.82/72.00 c #Conflicts: 76000 | #Constraints: 29477 71.82/72.00 c #Conflicts: 77000 | #Constraints: 30477 71.82/72.00 c #Conflicts: 78000 | #Constraints: 31477 71.82/72.00 c #Conflicts: 79000 | #Constraints: 32477 71.82/72.00 c #Conflicts: 80000 | #Constraints: 33477 71.82/72.00 c #Conflicts: 81000 | #Constraints: 34477 71.82/72.00 c bounds 193 >= -831 @ 61.6354 71.82/72.00 c #Conflicts: 82000 | #Constraints: 35513 71.82/72.00 c #Conflicts: 83000 | #Constraints: 36513 71.82/72.00 c bounds 193 >= -830 @ 62.4502 71.82/72.00 c #Conflicts: 84000 | #Constraints: 37519 71.82/72.00 c bounds 193 >= -829 @ 62.7906 71.82/72.00 c bounds 193 >= -828 @ 62.8089 71.82/72.00 c #Conflicts: 85000 | #Constraints: 38582 71.82/72.00 c bounds 193 >= -827 @ 62.8274 71.82/72.00 c #Conflicts: 86000 | #Constraints: 39606 71.82/72.00 c bounds 193 >= -826 @ 63.1241 71.82/72.00 c #Conflicts: 87000 | #Constraints: 40669 71.82/72.00 c #Conflicts: 88000 | #Constraints: 41669 71.82/72.00 c #Conflicts: 89000 | #Constraints: 42669 71.82/72.00 c #Conflicts: 90000 | #Constraints: 43669 71.82/72.00 c #Conflicts: 91000 | #Constraints: 44669 71.82/72.00 c bounds 193 >= -825 @ 64.8685 71.82/72.00 c #Conflicts: 92000 | #Constraints: 45717 71.82/72.00 c INPROCESSING 71.82/72.00 c GARBAGE COLLECT 71.82/72.00 c rational objective 4 134.26/134.62 c #Conflicts: 93000 | #Constraints: 31110 134.26/134.62 c #Conflicts: 94000 | #Constraints: 32110 134.26/134.62 c #Conflicts: 95000 | #Constraints: 33121 134.26/134.62 c #Conflicts: 96000 | #Constraints: 34144 134.26/134.62 c #Conflicts: 97000 | #Constraints: 35156 134.26/134.62 c #Conflicts: 98000 | #Constraints: 36169 134.26/134.62 c #Conflicts: 99000 | #Constraints: 37179 134.26/134.62 c #Conflicts: 100000 | #Constraints: 38187 134.26/134.62 c #Conflicts: 101000 | #Constraints: 39200 134.26/134.62 c #Conflicts: 102000 | #Constraints: 40209 134.26/134.62 c bounds 191 >= -825 @ 109.158 134.26/134.62 c #Conflicts: 103000 | #Constraints: 41214 134.26/134.62 c #Conflicts: 104000 | #Constraints: 42214 134.26/134.62 c bounds 191 >= -824 @ 112.595 134.26/134.62 c #Conflicts: 105000 | #Constraints: 43259 134.26/134.62 c #Conflicts: 106000 | #Constraints: 44259 134.26/134.62 c bounds 191 >= -823 @ 117.903 134.26/134.62 c #Conflicts: 107000 | #Constraints: 45292 134.26/134.62 c #Conflicts: 108000 | #Constraints: 46292 134.26/134.62 c #Conflicts: 109000 | #Constraints: 47292 134.26/134.62 c #Conflicts: 110000 | #Constraints: 48292 134.26/134.62 c #Conflicts: 111000 | #Constraints: 49292 134.26/134.62 c bounds 191 >= -822 @ 124.532 134.26/134.62 c #Conflicts: 112000 | #Constraints: 50328 134.26/134.62 c INPROCESSING 134.26/134.62 c GARBAGE COLLECT 134.26/134.62 c rational objective 4 153.71/154.14 c #Conflicts: 113000 | #Constraints: 32738 153.71/154.14 c #Conflicts: 114000 | #Constraints: 33738 153.71/154.14 c #Conflicts: 115000 | #Constraints: 34738 153.71/154.14 c #Conflicts: 116000 | #Constraints: 35738 153.71/154.14 c bounds 191 >= -821 @ 129.799 153.71/154.14 c #Conflicts: 117000 | #Constraints: 36768 153.71/154.14 c #Conflicts: 118000 | #Constraints: 37768 153.71/154.14 c #Conflicts: 119000 | #Constraints: 38768 153.71/154.14 c #Conflicts: 120000 | #Constraints: 39768 153.71/154.14 c #Conflicts: 121000 | #Constraints: 40768 153.71/154.14 c #Conflicts: 122000 | #Constraints: 41768 153.71/154.14 c bounds 191 >= -820 @ 134.454 153.71/154.14 c #Conflicts: 123000 | #Constraints: 42804 153.71/154.14 c #Conflicts: 124000 | #Constraints: 43804 153.71/154.14 c #Conflicts: 125000 | #Constraints: 44804 153.71/154.14 c #Conflicts: 126000 | #Constraints: 45804 153.71/154.14 c #Conflicts: 127000 | #Constraints: 46804 153.71/154.14 c #Conflicts: 128000 | #Constraints: 47804 153.71/154.14 c bounds 191 >= -819 @ 139.944 153.71/154.14 c #Conflicts: 129000 | #Constraints: 48843 153.71/154.14 c #Conflicts: 130000 | #Constraints: 49843 153.71/154.14 c #Conflicts: 131000 | #Constraints: 50843 153.71/154.14 c #Conflicts: 132000 | #Constraints: 51843 153.71/154.14 c #Conflicts: 133000 | #Constraints: 52843 153.71/154.14 c #Conflicts: 134000 | #Constraints: 53843 153.71/154.14 c INPROCESSING 153.71/154.14 c GARBAGE COLLECT 153.71/154.14 c rational objective 4 194.38/194.98 c #Conflicts: 135000 | #Constraints: 34468 194.38/194.98 c #Conflicts: 136000 | #Constraints: 35468 194.38/194.98 c #Conflicts: 137000 | #Constraints: 36468 194.38/194.98 c #Conflicts: 138000 | #Constraints: 37468 194.38/194.98 c #Conflicts: 139000 | #Constraints: 38468 194.38/194.98 c #Conflicts: 140000 | #Constraints: 39468 194.38/194.98 c #Conflicts: 141000 | #Constraints: 40468 194.38/194.98 c bounds 191 >= -818 @ 153.147 194.38/194.98 c #Conflicts: 142000 | #Constraints: 41507 194.38/194.98 c #Conflicts: 143000 | #Constraints: 42507 194.38/194.98 c #Conflicts: 144000 | #Constraints: 43507 194.38/194.98 c #Conflicts: 145000 | #Constraints: 44507 194.38/194.98 c #Conflicts: 146000 | #Constraints: 45507 194.38/194.98 c #Conflicts: 147000 | #Constraints: 46507 194.38/194.98 c #Conflicts: 148000 | #Constraints: 47507 194.38/194.98 c #Conflicts: 149000 | #Constraints: 48507 194.38/194.98 c #Conflicts: 150000 | #Constraints: 49507 194.38/194.98 c #Conflicts: 151000 | #Constraints: 50507 194.38/194.98 c #Conflicts: 152000 | #Constraints: 51507 194.38/194.98 c #Conflicts: 153000 | #Constraints: 52507 194.38/194.98 c bounds 191 >= -817 @ 164.97 194.38/194.98 c bounds 190 >= -817 @ 165.248 194.38/194.98 c bounds 189 >= -817 @ 165.517 194.38/194.98 c bounds 188 >= -817 @ 165.615 194.38/194.98 c bounds 186 >= -817 @ 165.698 194.38/194.98 c bounds 185 >= -817 @ 165.801 194.38/194.98 c bounds 184 >= -817 @ 165.939 194.38/194.98 c bounds 182 >= -817 @ 166.031 194.38/194.98 c bounds 180 >= -817 @ 166.105 194.38/194.98 c bounds 179 >= -817 @ 166.171 194.38/194.98 c bounds 178 >= -817 @ 166.238 194.38/194.98 c bounds 177 >= -817 @ 166.382 194.38/194.98 c bounds 176 >= -817 @ 166.814 194.38/194.98 c #Conflicts: 154000 | #Constraints: 53546 194.38/194.98 c #Conflicts: 155000 | #Constraints: 54546 194.38/194.98 c bounds 174 >= -817 @ 169.625 194.38/194.98 c #Conflicts: 156000 | #Constraints: 55547 194.38/194.98 c bounds 173 >= -817 @ 174.793 194.38/194.98 c bounds 172 >= -817 @ 175.542 194.38/194.98 c bounds 171 >= -817 @ 176.569 194.38/194.98 c bounds 169 >= -817 @ 177.426 194.38/194.98 c #Conflicts: 157000 | #Constraints: 56610 194.38/194.98 c bounds 168 >= -817 @ 179.187 194.38/194.98 c bounds 167 >= -817 @ 180.311 194.38/194.98 c bounds 166 >= -817 @ 181.617 194.38/194.98 c bounds 165 >= -817 @ 182.603 194.38/194.98 c #Conflicts: 158000 | #Constraints: 57735 194.38/194.98 c bounds 164 >= -817 @ 183.468 194.38/194.98 c bounds 164 >= -816 @ 183.831 194.38/194.98 c INPROCESSING 194.38/194.98 c GARBAGE COLLECT 194.38/194.98 c rational objective 4 205.25/205.87 c #Conflicts: 159000 | #Constraints: 36317 205.25/205.87 c #Conflicts: 160000 | #Constraints: 37317 205.25/205.87 c #Conflicts: 161000 | #Constraints: 38317 205.25/205.87 c #Conflicts: 162000 | #Constraints: 39317 205.25/205.87 c #Conflicts: 163000 | #Constraints: 40317 205.25/205.87 c #Conflicts: 164000 | #Constraints: 41317 205.25/205.87 c #Conflicts: 165000 | #Constraints: 42317 205.25/205.87 c #Conflicts: 166000 | #Constraints: 43317 205.25/205.87 c #Conflicts: 167000 | #Constraints: 44317 205.25/205.87 c #Conflicts: 168000 | #Constraints: 45317 205.25/205.87 c #Conflicts: 169000 | #Constraints: 46317 205.25/205.87 c #Conflicts: 170000 | #Constraints: 47317 205.25/205.87 c #Conflicts: 171000 | #Constraints: 48317 205.25/205.87 c #Conflicts: 172000 | #Constraints: 49317 205.25/205.87 c INPROCESSING 205.25/205.87 c GARBAGE COLLECT 205.25/205.87 c rational objective 4 262.95/263.70 c bounds 163 >= -816 @ 199.102 262.95/263.70 c #Conflicts: 173000 | #Constraints: 36836 262.95/263.70 c bounds 162 >= -816 @ 199.91 262.95/263.70 c bounds 161 >= -816 @ 200.324 262.95/263.70 c bounds 160 >= -816 @ 201.076 262.95/263.70 c bounds 159 >= -816 @ 201.629 262.95/263.70 c #Conflicts: 174000 | #Constraints: 37963 262.95/263.70 c bounds 158 >= -816 @ 202.248 262.95/263.70 c bounds 157 >= -816 @ 202.908 262.95/263.70 c #Conflicts: 175000 | #Constraints: 39005 262.95/263.70 c bounds 156 >= -816 @ 208.049 262.95/263.70 c #Conflicts: 176000 | #Constraints: 40006 262.95/263.70 c #Conflicts: 177000 | #Constraints: 41011 262.95/263.70 c bounds 155 >= -816 @ 213.572 262.95/263.70 c #Conflicts: 178000 | #Constraints: 42013 262.95/263.70 c bounds 155 >= -815 @ 214.81 262.95/263.70 c #Conflicts: 179000 | #Constraints: 43043 262.95/263.70 c #Conflicts: 180000 | #Constraints: 44043 262.95/263.70 c bounds 155 >= -814 @ 218.364 262.95/263.70 c #Conflicts: 181000 | #Constraints: 45070 262.95/263.70 c #Conflicts: 182000 | #Constraints: 46070 262.95/263.70 c bounds 155 >= -813 @ 220.78 262.95/263.70 c #Conflicts: 183000 | #Constraints: 47103 262.95/263.70 c #Conflicts: 184000 | #Constraints: 48103 262.95/263.70 c #Conflicts: 185000 | #Constraints: 49103 262.95/263.70 c #Conflicts: 186000 | #Constraints: 50103 262.95/263.70 c bounds 155 >= -812 @ 225.177 262.95/263.70 c #Conflicts: 187000 | #Constraints: 51127 262.95/263.70 c #Conflicts: 188000 | #Constraints: 52127 262.95/263.70 c #Conflicts: 189000 | #Constraints: 53127 262.95/263.70 c #Conflicts: 190000 | #Constraints: 54127 262.95/263.70 c #Conflicts: 191000 | #Constraints: 55127 262.95/263.70 c #Conflicts: 192000 | #Constraints: 56127 262.95/263.70 c bounds 155 >= -811 @ 233.626 262.95/263.70 c #Conflicts: 193000 | #Constraints: 57157 262.95/263.70 c bounds 154 >= -811 @ 234.297 262.95/263.70 c #Conflicts: 194000 | #Constraints: 58158 262.95/263.70 c bounds 152 >= -811 @ 238.789 262.95/263.70 c #Conflicts: 195000 | #Constraints: 59213 262.95/263.70 c bounds 151 >= -811 @ 239.916 262.95/263.70 c bounds 150 >= -811 @ 240.971 262.95/263.70 c bounds 149 >= -811 @ 242.58 262.95/263.70 c bounds 148 >= -811 @ 243.799 262.95/263.70 c #Conflicts: 196000 | #Constraints: 60313 262.95/263.70 c bounds 147 >= -811 @ 245.524 262.95/263.70 c bounds 147 >= -810 @ 245.793 262.95/263.70 c bounds 147 >= -809 @ 246.142 262.95/263.70 c #Conflicts: 197000 | #Constraints: 61391 262.95/263.70 c #Conflicts: 198000 | #Constraints: 62391 262.95/263.70 c #Conflicts: 199000 | #Constraints: 63391 262.95/263.70 c bounds 146 >= -809 @ 251.804 262.95/263.70 c bounds 146 >= -808 @ 251.867 262.95/263.70 c bounds 146 >= -807 @ 252.053 262.95/263.70 c bounds 146 >= -806 @ 252.115 262.95/263.70 c INPROCESSING 262.95/263.70 c GARBAGE COLLECT 262.95/263.70 c rational objective 4 291.57/292.49 c bounds 146 >= -805 @ 254.534 291.57/292.49 c bounds 146 >= -804 @ 254.54 291.57/292.49 c bounds 146 >= -803 @ 254.547 291.57/292.49 c bounds 146 >= -802 @ 254.554 291.57/292.49 c bounds 146 >= -801 @ 254.56 291.57/292.49 c #Conflicts: 200000 | #Constraints: 39430 291.57/292.49 c bounds 146 >= -800 @ 254.569 291.57/292.49 c bounds 146 >= -799 @ 254.582 291.57/292.49 c bounds 146 >= -798 @ 254.617 291.57/292.49 c #Conflicts: 201000 | #Constraints: 40514 291.57/292.49 c #Conflicts: 202000 | #Constraints: 41514 291.57/292.49 c bounds 146 >= -797 @ 256.469 291.57/292.49 c bounds 146 >= -796 @ 256.509 291.57/292.49 c #Conflicts: 203000 | #Constraints: 42571 291.57/292.49 c bounds 146 >= -795 @ 256.564 291.57/292.49 c #Conflicts: 204000 | #Constraints: 43595 291.57/292.49 c #Conflicts: 205000 | #Constraints: 44595 291.57/292.49 c bounds 146 >= -794 @ 256.813 291.57/292.49 c #Conflicts: 206000 | #Constraints: 45625 291.57/292.49 c #Conflicts: 207000 | #Constraints: 46625 291.57/292.49 c #Conflicts: 208000 | #Constraints: 47625 291.57/292.49 c #Conflicts: 209000 | #Constraints: 48625 291.57/292.49 c bounds 146 >= -793 @ 257.562 291.57/292.49 c #Conflicts: 210000 | #Constraints: 49655 291.57/292.49 c #Conflicts: 211000 | #Constraints: 50655 291.57/292.49 c #Conflicts: 212000 | #Constraints: 51655 291.57/292.49 c #Conflicts: 213000 | #Constraints: 52655 291.57/292.49 c bounds 146 >= -792 @ 258.817 291.57/292.49 c #Conflicts: 214000 | #Constraints: 53688 291.57/292.49 c #Conflicts: 215000 | #Constraints: 54688 291.57/292.49 c #Conflicts: 216000 | #Constraints: 55688 291.57/292.49 c #Conflicts: 217000 | #Constraints: 56688 291.57/292.49 c #Conflicts: 218000 | #Constraints: 57688 291.57/292.49 c #Conflicts: 219000 | #Constraints: 58688 291.57/292.49 c #Conflicts: 220000 | #Constraints: 59688 291.57/292.49 c #Conflicts: 221000 | #Constraints: 60688 291.57/292.49 c #Conflicts: 222000 | #Constraints: 61688 291.57/292.49 c bounds 146 >= -791 @ 264.298 291.57/292.49 c #Conflicts: 223000 | #Constraints: 62724 291.57/292.49 c #Conflicts: 224000 | #Constraints: 63724 291.57/292.49 c #Conflicts: 225000 | #Constraints: 64724 291.57/292.49 c #Conflicts: 226000 | #Constraints: 65724 291.57/292.49 c #Conflicts: 227000 | #Constraints: 66724 291.57/292.49 c #Conflicts: 228000 | #Constraints: 67724 291.57/292.49 c INPROCESSING 291.57/292.49 c GARBAGE COLLECT 291.57/292.49 c rational objective 4 308.52/309.42 c bounds 146 >= -790 @ 282.692 308.52/309.42 c #Conflicts: 229000 | #Constraints: 41594 308.52/309.42 c bounds 146 >= -789 @ 282.71 308.52/309.42 c bounds 146 >= -788 @ 282.742 308.52/309.42 c #Conflicts: 230000 | #Constraints: 42648 308.52/309.42 c bounds 146 >= -787 @ 282.809 308.52/309.42 c bounds 146 >= -786 @ 282.845 308.52/309.42 c bounds 146 >= -785 @ 282.903 308.52/309.42 c #Conflicts: 231000 | #Constraints: 43735 308.52/309.42 c bounds 146 >= -784 @ 284.682 308.52/309.42 c #Conflicts: 232000 | #Constraints: 44759 308.52/309.42 c #Conflicts: 233000 | #Constraints: 45759 308.52/309.42 c bounds 146 >= -783 @ 284.88 308.52/309.42 c #Conflicts: 234000 | #Constraints: 46780 308.52/309.42 c bounds 146 >= -782 @ 285.008 308.52/309.42 c #Conflicts: 235000 | #Constraints: 47825 308.52/309.42 c bounds 146 >= -781 @ 285.271 308.52/309.42 c #Conflicts: 236000 | #Constraints: 48864 308.52/309.42 c #Conflicts: 237000 | #Constraints: 49864 308.52/309.42 c bounds 146 >= -780 @ 285.724 308.52/309.42 c #Conflicts: 238000 | #Constraints: 50915 308.52/309.42 c #Conflicts: 239000 | #Constraints: 51915 308.52/309.42 c bounds 146 >= -779 @ 286.081 308.52/309.42 c #Conflicts: 240000 | #Constraints: 52933 308.52/309.42 c bounds 146 >= -778 @ 286.169 308.52/309.42 c #Conflicts: 241000 | #Constraints: 53963 308.52/309.42 c bounds 146 >= -777 @ 286.323 308.52/309.42 c #Conflicts: 242000 | #Constraints: 54993 308.52/309.42 c bounds 146 >= -776 @ 286.705 308.52/309.42 c #Conflicts: 243000 | #Constraints: 56017 308.52/309.42 c #Conflicts: 244000 | #Constraints: 57017 308.52/309.42 c #Conflicts: 245000 | #Constraints: 58017 308.52/309.42 c #Conflicts: 246000 | #Constraints: 59017 308.52/309.42 c #Conflicts: 247000 | #Constraints: 60017 308.52/309.42 c #Conflicts: 248000 | #Constraints: 61017 308.52/309.42 c bounds 146 >= -775 @ 290.097 308.52/309.42 c #Conflicts: 249000 | #Constraints: 62053 308.52/309.42 c #Conflicts: 250000 | #Constraints: 63053 308.52/309.42 c #Conflicts: 251000 | #Constraints: 64053 308.52/309.42 c #Conflicts: 252000 | #Constraints: 65053 308.52/309.42 c #Conflicts: 253000 | #Constraints: 66053 308.52/309.42 c #Conflicts: 254000 | #Constraints: 67053 308.52/309.42 c #Conflicts: 255000 | #Constraints: 68053 308.52/309.42 c #Conflicts: 256000 | #Constraints: 69053 308.52/309.42 c bounds 146 >= -774 @ 295.369 308.52/309.42 c #Conflicts: 257000 | #Constraints: 70080 308.52/309.42 c #Conflicts: 258000 | #Constraints: 71080 308.52/309.42 c #Conflicts: 259000 | #Constraints: 72080 308.52/309.42 c #Conflicts: 260000 | #Constraints: 73080 308.52/309.42 c INPROCESSING 308.52/309.42 c GARBAGE COLLECT 308.52/309.42 c rational objective 4 388.50/389.65 c #Conflicts: 261000 | #Constraints: 47241 388.50/389.65 c #Conflicts: 262000 | #Constraints: 48241 388.50/389.65 c #Conflicts: 263000 | #Constraints: 49241 388.50/389.65 c #Conflicts: 264000 | #Constraints: 50241 388.50/389.65 c #Conflicts: 265000 | #Constraints: 51241 388.50/389.65 c #Conflicts: 266000 | #Constraints: 52241 388.50/389.65 c #Conflicts: 267000 | #Constraints: 53241 388.50/389.65 c #Conflicts: 268000 | #Constraints: 54241 388.50/389.65 c #Conflicts: 269000 | #Constraints: 55241 388.50/389.65 c #Conflicts: 270000 | #Constraints: 56241 388.50/389.65 c #Conflicts: 271000 | #Constraints: 57241 388.50/389.65 c #Conflicts: 272000 | #Constraints: 58241 388.50/389.65 c #Conflicts: 273000 | #Constraints: 59241 388.50/389.65 c bounds 146 >= -773 @ 307.749 388.50/389.65 c bounds 145 >= -773 @ 308.617 388.50/389.65 c bounds 144 >= -773 @ 308.967 388.50/389.65 c #Conflicts: 274000 | #Constraints: 60297 388.50/389.65 c bounds 143 >= -773 @ 309.7 388.50/389.65 c bounds 142 >= -773 @ 310.728 388.50/389.65 c #Conflicts: 275000 | #Constraints: 61299 388.50/389.65 c #Conflicts: 276000 | #Constraints: 62299 388.50/389.65 c bounds 141 >= -773 @ 315.667 388.50/389.65 c #Conflicts: 277000 | #Constraints: 63301 388.50/389.65 c #Conflicts: 278000 | #Constraints: 64301 388.50/389.65 c #Conflicts: 279000 | #Constraints: 65301 388.50/389.65 c #Conflicts: 280000 | #Constraints: 66301 388.50/389.65 c #Conflicts: 281000 | #Constraints: 67301 388.50/389.65 c #Conflicts: 282000 | #Constraints: 68301 388.50/389.65 c bounds 141 >= -772 @ 329.376 388.50/389.65 c #Conflicts: 283000 | #Constraints: 69366 388.50/389.65 c bounds 140 >= -772 @ 330.446 388.50/389.65 c bounds 139 >= -772 @ 331.825 388.50/389.65 c bounds 137 >= -772 @ 333.008 388.50/389.65 c bounds 136 >= -772 @ 334.967 388.50/389.65 c #Conflicts: 284000 | #Constraints: 70477 388.50/389.65 c bounds 134 >= -772 @ 337.154 388.50/389.65 c bounds 133 >= -772 @ 338.249 388.50/389.65 c #Conflicts: 285000 | #Constraints: 71537 388.50/389.65 c bounds 133 >= -771 @ 339.821 388.50/389.65 c bounds 131 >= -771 @ 341.12 388.50/389.65 c #Conflicts: 286000 | #Constraints: 72562 388.50/389.65 c bounds 130 >= -771 @ 343.322 388.50/389.65 c bounds 130 >= -770 @ 343.398 388.50/389.65 c bounds 130 >= -769 @ 343.48 388.50/389.65 c #Conflicts: 287000 | #Constraints: 73597 388.50/389.65 c #Conflicts: 288000 | #Constraints: 74597 388.50/389.65 c bounds 130 >= -768 @ 347.572 388.50/389.65 c #Conflicts: 289000 | #Constraints: 75621 388.50/389.65 c #Conflicts: 290000 | #Constraints: 76621 388.50/389.65 c #Conflicts: 291000 | #Constraints: 77621 388.50/389.65 c #Conflicts: 292000 | #Constraints: 78621 388.50/389.65 c #Conflicts: 293000 | #Constraints: 79621 388.50/389.65 c INPROCESSING 388.50/389.65 c GARBAGE COLLECT 388.50/389.65 c rational objective 4 435.89/437.13 c #Conflicts: 294000 | #Constraints: 49002 435.89/437.13 c #Conflicts: 295000 | #Constraints: 50002 435.89/437.13 c #Conflicts: 296000 | #Constraints: 51002 435.89/437.13 c #Conflicts: 297000 | #Constraints: 52002 435.89/437.13 c #Conflicts: 298000 | #Constraints: 53002 435.89/437.13 c #Conflicts: 299000 | #Constraints: 54002 435.89/437.13 c #Conflicts: 300000 | #Constraints: 55002 435.89/437.13 c #Conflicts: 301000 | #Constraints: 56002 435.89/437.13 c #Conflicts: 302000 | #Constraints: 57002 435.89/437.13 c #Conflicts: 303000 | #Constraints: 58002 435.89/437.13 c #Conflicts: 304000 | #Constraints: 59002 435.89/437.13 c #Conflicts: 305000 | #Constraints: 60002 435.89/437.13 c #Conflicts: 306000 | #Constraints: 61002 435.89/437.13 c #Conflicts: 307000 | #Constraints: 62002 435.89/437.13 c #Conflicts: 308000 | #Constraints: 63002 435.89/437.13 c #Conflicts: 309000 | #Constraints: 64002 435.89/437.13 c #Conflicts: 310000 | #Constraints: 65002 435.89/437.13 c #Conflicts: 311000 | #Constraints: 66002 435.89/437.13 c #Conflicts: 312000 | #Constraints: 67002 435.89/437.13 c #Conflicts: 313000 | #Constraints: 68002 435.89/437.13 c #Conflicts: 314000 | #Constraints: 69002 435.89/437.13 c #Conflicts: 315000 | #Constraints: 70002 435.89/437.13 c #Conflicts: 316000 | #Constraints: 71002 435.89/437.13 c #Conflicts: 317000 | #Constraints: 72002 435.89/437.13 c #Conflicts: 318000 | #Constraints: 73002 435.89/437.13 c #Conflicts: 319000 | #Constraints: 74002 435.89/437.13 c #Conflicts: 320000 | #Constraints: 75002 435.89/437.13 c #Conflicts: 321000 | #Constraints: 76002 435.89/437.13 c #Conflicts: 322000 | #Constraints: 77002 435.89/437.13 c bounds 130 >= -767 @ 411.145 435.89/437.13 c #Conflicts: 323000 | #Constraints: 78029 435.89/437.13 c #Conflicts: 324000 | #Constraints: 79029 435.89/437.13 c #Conflicts: 325000 | #Constraints: 80029 435.89/437.13 c #Conflicts: 326000 | #Constraints: 81029 435.89/437.13 c #Conflicts: 327000 | #Constraints: 82029 435.89/437.13 c #Conflicts: 328000 | #Constraints: 83029 435.89/437.13 c INPROCESSING 435.89/437.13 c GARBAGE COLLECT 435.89/437.13 c rational objective 4 517.97/519.40 c bounds 128 >= -767 @ 424.172 517.97/519.40 c #Conflicts: 329000 | #Constraints: 50500 517.97/519.40 c #Conflicts: 330000 | #Constraints: 51500 517.97/519.40 c #Conflicts: 331000 | #Constraints: 52500 517.97/519.40 c #Conflicts: 332000 | #Constraints: 53500 517.97/519.40 c #Conflicts: 333000 | #Constraints: 54500 517.97/519.40 c bounds 127 >= -767 @ 439.577 517.97/519.40 c #Conflicts: 334000 | #Constraints: 55501 517.97/519.40 c #Conflicts: 335000 | #Constraints: 56501 517.97/519.40 c #Conflicts: 336000 | #Constraints: 57501 517.97/519.40 c #Conflicts: 337000 | #Constraints: 58501 517.97/519.40 c #Conflicts: 338000 | #Constraints: 59501 517.97/519.40 c #Conflicts: 339000 | #Constraints: 60501 517.97/519.40 c #Conflicts: 340000 | #Constraints: 61501 517.97/519.40 c #Conflicts: 341000 | #Constraints: 62501 517.97/519.40 c #Conflicts: 342000 | #Constraints: 63501 517.97/519.40 c #Conflicts: 343000 | #Constraints: 64501 517.97/519.40 c #Conflicts: 344000 | #Constraints: 65501 517.97/519.40 c #Conflicts: 345000 | #Constraints: 66501 517.97/519.40 c #Conflicts: 346000 | #Constraints: 67501 517.97/519.40 c #Conflicts: 347000 | #Constraints: 68501 517.97/519.40 c #Conflicts: 348000 | #Constraints: 69501 517.97/519.40 c #Conflicts: 349000 | #Constraints: 70501 517.97/519.40 c #Conflicts: 350000 | #Constraints: 71501 517.97/519.40 c #Conflicts: 351000 | #Constraints: 72501 517.97/519.40 c #Conflicts: 352000 | #Constraints: 73501 517.97/519.40 c #Conflicts: 353000 | #Constraints: 74501 517.97/519.40 c #Conflicts: 354000 | #Constraints: 75501 517.97/519.40 c #Conflicts: 355000 | #Constraints: 76501 517.97/519.40 c #Conflicts: 356000 | #Constraints: 77501 517.97/519.40 c #Conflicts: 357000 | #Constraints: 78501 517.97/519.40 c #Conflicts: 358000 | #Constraints: 79501 517.97/519.40 c #Conflicts: 359000 | #Constraints: 80501 517.97/519.40 c #Conflicts: 360000 | #Constraints: 81501 517.97/519.40 c #Conflicts: 361000 | #Constraints: 82501 517.97/519.40 c #Conflicts: 362000 | #Constraints: 83501 517.97/519.40 c #Conflicts: 363000 | #Constraints: 84501 517.97/519.40 c #Conflicts: 364000 | #Constraints: 85501 517.97/519.40 c #Conflicts: 365000 | #Constraints: 86501 517.97/519.40 c #Conflicts: 366000 | #Constraints: 87501 517.97/519.40 c INPROCESSING 517.97/519.40 c GARBAGE COLLECT 517.97/519.40 c rational objective 4 806.51/808.72 c #Conflicts: 367000 | #Constraints: 52433 806.51/808.72 c #Conflicts: 368000 | #Constraints: 53433 806.51/808.72 c #Conflicts: 369000 | #Constraints: 54433 806.51/808.72 c bounds 126 >= -767 @ 515.283 806.51/808.72 c #Conflicts: 370000 | #Constraints: 55434 806.51/808.72 c #Conflicts: 371000 | #Constraints: 56434 806.51/808.72 c #Conflicts: 372000 | #Constraints: 57434 806.51/808.72 c #Conflicts: 373000 | #Constraints: 58434 806.51/808.72 c bounds 125 >= -767 @ 530.321 806.51/808.72 c bounds 124 >= -767 @ 531.747 806.51/808.72 c #Conflicts: 374000 | #Constraints: 59499 806.51/808.72 c bounds 123 >= -767 @ 533.35 806.51/808.72 c bounds 122 >= -767 @ 534.946 806.51/808.72 c #Conflicts: 375000 | #Constraints: 60586 806.51/808.72 c bounds 121 >= -767 @ 539.001 806.51/808.72 c bounds 120 >= -767 @ 540.776 806.51/808.72 c #Conflicts: 376000 | #Constraints: 61647 806.51/808.72 c bounds 119 >= -767 @ 544.951 806.51/808.72 c bounds 118 >= -767 @ 546.606 806.51/808.72 c #Conflicts: 377000 | #Constraints: 62748 806.51/808.72 c bounds 117 >= -767 @ 553.684 806.51/808.72 c #Conflicts: 378000 | #Constraints: 63806 806.51/808.72 c bounds 116 >= -767 @ 558.38 806.51/808.72 c bounds 114 >= -767 @ 562.731 806.51/808.72 c #Conflicts: 379000 | #Constraints: 64929 806.51/808.72 c bounds 113 >= -767 @ 565.846 806.51/808.72 c bounds 112 >= -767 @ 571.196 806.51/808.72 c bounds 111 >= -767 @ 575.558 806.51/808.72 c #Conflicts: 380000 | #Constraints: 66031 806.51/808.72 c #Conflicts: 381000 | #Constraints: 67031 806.51/808.72 c #Conflicts: 382000 | #Constraints: 68031 806.51/808.72 c bounds 111 >= -766 @ 588.919 806.51/808.72 c bounds 110 >= -766 @ 590.825 806.51/808.72 c bounds 109 >= -766 @ 591.731 806.51/808.72 c #Conflicts: 383000 | #Constraints: 69082 806.51/808.72 c bounds 108 >= -766 @ 605.062 806.51/808.72 c #Conflicts: 384000 | #Constraints: 70145 806.51/808.72 c #Conflicts: 385000 | #Constraints: 71145 806.51/808.72 c #Conflicts: 386000 | #Constraints: 72145 806.51/808.72 c #Conflicts: 387000 | #Constraints: 73145 806.51/808.72 c #Conflicts: 388000 | #Constraints: 74145 806.51/808.72 c #Conflicts: 389000 | #Constraints: 75145 806.51/808.72 c bounds 108 >= -765 @ 624.815 806.51/808.72 c bounds 106 >= -765 @ 626.814 806.51/808.72 c bounds 105 >= -765 @ 627.852 806.51/808.72 c bounds 104 >= -765 @ 637.15 806.51/808.72 c #Conflicts: 390000 | #Constraints: 76246 806.51/808.72 c bounds 103 >= -765 @ 641.118 806.51/808.72 c #Conflicts: 391000 | #Constraints: 77330 806.51/808.72 c bounds 102 >= -765 @ 654.707 806.51/808.72 c #Conflicts: 392000 | #Constraints: 78343 806.51/808.72 c #Conflicts: 393000 | #Constraints: 79343 806.51/808.72 c #Conflicts: 394000 | #Constraints: 80343 806.51/808.72 c bounds 102 >= -764 @ 670.944 806.51/808.72 c #Conflicts: 395000 | #Constraints: 81385 806.51/808.72 c bounds 101 >= -764 @ 674.096 806.51/808.72 c bounds 100 >= -764 @ 679.484 806.51/808.72 c #Conflicts: 396000 | #Constraints: 82453 806.51/808.72 c bounds 100 >= -763 @ 680.523 806.51/808.72 c bounds 100 >= -762 @ 682.439 806.51/808.72 c #Conflicts: 397000 | #Constraints: 83504 806.51/808.72 c bounds 100 >= -761 @ 686.095 806.51/808.72 c #Conflicts: 398000 | #Constraints: 84531 806.51/808.72 c #Conflicts: 399000 | #Constraints: 85549 806.51/808.72 c #Conflicts: 400000 | #Constraints: 86581 806.51/808.72 c #Conflicts: 401000 | #Constraints: 87617 806.51/808.72 c #Conflicts: 402000 | #Constraints: 88644 806.51/808.72 c #Conflicts: 403000 | #Constraints: 89669 806.51/808.72 c bounds 99 >= -761 @ 773.879 806.51/808.72 c #Conflicts: 404000 | #Constraints: 90691 806.51/808.72 c #Conflicts: 405000 | #Constraints: 91691 806.51/808.72 c INPROCESSING 806.51/808.72 c GARBAGE COLLECT 806.51/808.72 c rational objective 4 835.93/838.22 c bounds 99 >= -760 @ 791.428 835.93/838.22 c #Conflicts: 406000 | #Constraints: 54296 835.93/838.22 c #Conflicts: 407000 | #Constraints: 55296 835.93/838.22 c bounds 99 >= -759 @ 793.278 835.93/838.22 c #Conflicts: 408000 | #Constraints: 56329 835.93/838.22 c #Conflicts: 409000 | #Constraints: 57329 835.93/838.22 c #Conflicts: 410000 | #Constraints: 58329 835.93/838.22 c bounds 99 >= -758 @ 794.076 835.93/838.22 c #Conflicts: 411000 | #Constraints: 59359 835.93/838.22 c #Conflicts: 412000 | #Constraints: 60359 835.93/838.22 c #Conflicts: 413000 | #Constraints: 61359 835.93/838.22 c #Conflicts: 414000 | #Constraints: 62359 835.93/838.22 c #Conflicts: 415000 | #Constraints: 63359 835.93/838.22 c #Conflicts: 416000 | #Constraints: 64359 835.93/838.22 c #Conflicts: 417000 | #Constraints: 65359 835.93/838.22 c #Conflicts: 418000 | #Constraints: 66359 835.93/838.22 c bounds 99 >= -757 @ 797.952 835.93/838.22 c #Conflicts: 419000 | #Constraints: 67407 835.93/838.22 c #Conflicts: 420000 | #Constraints: 68407 835.93/838.22 c #Conflicts: 421000 | #Constraints: 69407 835.93/838.22 c #Conflicts: 422000 | #Constraints: 70407 835.93/838.22 c #Conflicts: 423000 | #Constraints: 71407 835.93/838.22 c #Conflicts: 424000 | #Constraints: 72407 835.93/838.22 c #Conflicts: 425000 | #Constraints: 73407 835.93/838.22 c #Conflicts: 426000 | #Constraints: 74407 835.93/838.22 c #Conflicts: 427000 | #Constraints: 75407 835.93/838.22 c #Conflicts: 428000 | #Constraints: 76407 835.93/838.22 c #Conflicts: 429000 | #Constraints: 77407 835.93/838.22 c bounds 99 >= -756 @ 808.375 835.93/838.22 c bounds 99 >= -755 @ 808.414 835.93/838.22 c #Conflicts: 430000 | #Constraints: 78479 835.93/838.22 c bounds 99 >= -754 @ 808.495 835.93/838.22 c #Conflicts: 431000 | #Constraints: 79491 835.93/838.22 c bounds 99 >= -753 @ 808.67 835.93/838.22 c #Conflicts: 432000 | #Constraints: 80521 835.93/838.22 c #Conflicts: 433000 | #Constraints: 81521 835.93/838.22 c #Conflicts: 434000 | #Constraints: 82521 835.93/838.22 c bounds 99 >= -752 @ 809.249 835.93/838.22 c #Conflicts: 435000 | #Constraints: 83548 835.93/838.22 c #Conflicts: 436000 | #Constraints: 84548 835.93/838.22 c #Conflicts: 437000 | #Constraints: 85548 835.93/838.22 c #Conflicts: 438000 | #Constraints: 86548 835.93/838.22 c #Conflicts: 439000 | #Constraints: 87548 835.93/838.22 c #Conflicts: 440000 | #Constraints: 88548 835.93/838.22 c bounds 99 >= -751 @ 813.558 835.93/838.22 c #Conflicts: 441000 | #Constraints: 89572 835.93/838.22 c #Conflicts: 442000 | #Constraints: 90572 835.93/838.22 c #Conflicts: 443000 | #Constraints: 91572 835.93/838.22 c #Conflicts: 444000 | #Constraints: 92572 835.93/838.22 c #Conflicts: 445000 | #Constraints: 93572 835.93/838.22 c #Conflicts: 446000 | #Constraints: 94572 835.93/838.22 c INPROCESSING 835.93/838.22 c GARBAGE COLLECT 835.93/838.22 c rational objective 4 960.09/962.76 c #Conflicts: 447000 | #Constraints: 58439 960.09/962.76 c #Conflicts: 448000 | #Constraints: 59439 960.09/962.76 c #Conflicts: 449000 | #Constraints: 60439 960.09/962.76 c #Conflicts: 450000 | #Constraints: 61439 960.09/962.76 c #Conflicts: 451000 | #Constraints: 62439 960.09/962.76 c #Conflicts: 452000 | #Constraints: 63439 960.09/962.76 c #Conflicts: 453000 | #Constraints: 64439 960.09/962.76 c #Conflicts: 454000 | #Constraints: 65439 960.09/962.76 c #Conflicts: 455000 | #Constraints: 66439 960.09/962.76 c #Conflicts: 456000 | #Constraints: 67439 960.09/962.76 c #Conflicts: 457000 | #Constraints: 68439 960.09/962.76 c #Conflicts: 458000 | #Constraints: 69439 960.09/962.76 c bounds 99 >= -750 @ 828.83 960.09/962.76 c #Conflicts: 459000 | #Constraints: 70487 960.09/962.76 c #Conflicts: 460000 | #Constraints: 71487 960.09/962.76 c #Conflicts: 461000 | #Constraints: 72487 960.09/962.76 c #Conflicts: 462000 | #Constraints: 73487 960.09/962.76 c #Conflicts: 463000 | #Constraints: 74487 960.09/962.76 c #Conflicts: 464000 | #Constraints: 75487 960.09/962.76 c bounds 99 >= -749 @ 832.953 960.09/962.76 c #Conflicts: 465000 | #Constraints: 76532 960.09/962.76 c #Conflicts: 466000 | #Constraints: 77532 960.09/962.76 c #Conflicts: 467000 | #Constraints: 78532 960.09/962.76 c bounds 99 >= -748 @ 833.913 960.09/962.76 c #Conflicts: 468000 | #Constraints: 79574 960.09/962.76 c #Conflicts: 469000 | #Constraints: 80574 960.09/962.76 c #Conflicts: 470000 | #Constraints: 81574 960.09/962.76 c #Conflicts: 471000 | #Constraints: 82574 960.09/962.76 c #Conflicts: 472000 | #Constraints: 83574 960.09/962.76 c #Conflicts: 473000 | #Constraints: 84574 960.09/962.76 c #Conflicts: 474000 | #Constraints: 85574 960.09/962.76 c #Conflicts: 475000 | #Constraints: 86598 960.09/962.76 c #Conflicts: 476000 | #Constraints: 87612 960.09/962.76 c #Conflicts: 477000 | #Constraints: 88627 960.09/962.76 c #Conflicts: 478000 | #Constraints: 89638 960.09/962.76 c #Conflicts: 479000 | #Constraints: 90652 960.09/962.76 c #Conflicts: 480000 | #Constraints: 91672 960.09/962.76 c #Conflicts: 481000 | #Constraints: 92688 960.09/962.76 c #Conflicts: 482000 | #Constraints: 93713 960.09/962.76 c #Conflicts: 483000 | #Constraints: 94724 960.09/962.76 c #Conflicts: 484000 | #Constraints: 95746 960.09/962.76 c bounds 98 >= -748 @ 912.3 960.09/962.76 c #Conflicts: 485000 | #Constraints: 96754 960.09/962.76 c bounds 98 >= -747 @ 916.539 960.09/962.76 c #Conflicts: 486000 | #Constraints: 97787 960.09/962.76 c bounds 98 >= -746 @ 920.798 960.09/962.76 c #Conflicts: 487000 | #Constraints: 98808 960.09/962.76 c bounds 98 >= -745 @ 928.226 960.09/962.76 c #Conflicts: 488000 | #Constraints: 99832 960.09/962.76 c #Conflicts: 489000 | #Constraints: 100832 960.09/962.76 c bounds 98 >= -744 @ 938.647 960.09/962.76 c INPROCESSING 960.09/962.76 c GARBAGE COLLECT 960.09/962.76 c rational objective 4 1005.87/1008.64 c #Conflicts: 490000 | #Constraints: 60677 1005.87/1008.64 c #Conflicts: 491000 | #Constraints: 61677 1005.87/1008.64 c #Conflicts: 492000 | #Constraints: 62677 1005.87/1008.64 c #Conflicts: 493000 | #Constraints: 63677 1005.87/1008.64 c #Conflicts: 494000 | #Constraints: 64677 1005.87/1008.64 c bounds 98 >= -743 @ 943.79 1005.87/1008.64 c #Conflicts: 495000 | #Constraints: 65701 1005.87/1008.64 c #Conflicts: 496000 | #Constraints: 66701 1005.87/1008.64 c #Conflicts: 497000 | #Constraints: 67701 1005.87/1008.64 c #Conflicts: 498000 | #Constraints: 68701 1005.87/1008.64 c #Conflicts: 499000 | #Constraints: 69701 1005.87/1008.64 c #Conflicts: 500000 | #Constraints: 70701 1005.87/1008.64 c #Conflicts: 501000 | #Constraints: 71701 1005.87/1008.64 c #Conflicts: 502000 | #Constraints: 72701 1005.87/1008.64 c bounds 98 >= -742 @ 948.525 1005.87/1008.64 c #Conflicts: 503000 | #Constraints: 73737 1005.87/1008.64 c #Conflicts: 504000 | #Constraints: 74737 1005.87/1008.64 c #Conflicts: 505000 | #Constraints: 75737 1005.87/1008.64 c #Conflicts: 506000 | #Constraints: 76737 1005.87/1008.64 c #Conflicts: 507000 | #Constraints: 77737 1005.87/1008.64 c #Conflicts: 508000 | #Constraints: 78737 1005.87/1008.64 c #Conflicts: 509000 | #Constraints: 79737 1005.87/1008.64 c #Conflicts: 510000 | #Constraints: 80737 1005.87/1008.64 c #Conflicts: 511000 | #Constraints: 81737 1005.87/1008.64 c #Conflicts: 512000 | #Constraints: 82737 1005.87/1008.64 c #Conflicts: 513000 | #Constraints: 83737 1005.87/1008.64 c #Conflicts: 514000 | #Constraints: 84737 1005.87/1008.64 c #Conflicts: 515000 | #Constraints: 85737 1005.87/1008.64 c #Conflicts: 516000 | #Constraints: 86737 1005.87/1008.64 c #Conflicts: 517000 | #Constraints: 87737 1005.87/1008.64 c #Conflicts: 518000 | #Constraints: 88737 1005.87/1008.64 c #Conflicts: 519000 | #Constraints: 89737 1005.87/1008.64 c #Conflicts: 520000 | #Constraints: 90737 1005.87/1008.64 c #Conflicts: 521000 | #Constraints: 91737 1005.87/1008.64 c bounds 98 >= -741 @ 966.122 1005.87/1008.64 c #Conflicts: 522000 | #Constraints: 92776 1005.87/1008.64 c #Conflicts: 523000 | #Constraints: 93776 1005.87/1008.64 c #Conflicts: 524000 | #Constraints: 94776 1005.87/1008.64 c #Conflicts: 525000 | #Constraints: 95776 1005.87/1008.64 c #Conflicts: 526000 | #Constraints: 96776 1005.87/1008.64 c #Conflicts: 527000 | #Constraints: 97776 1005.87/1008.64 c #Conflicts: 528000 | #Constraints: 98776 1005.87/1008.64 c #Conflicts: 529000 | #Constraints: 99776 1005.87/1008.64 c #Conflicts: 530000 | #Constraints: 100776 1005.87/1008.64 c #Conflicts: 531000 | #Constraints: 101776 1005.87/1008.64 c #Conflicts: 532000 | #Constraints: 102776 1005.87/1008.64 c #Conflicts: 533000 | #Constraints: 103776 1005.87/1008.64 c #Conflicts: 534000 | #Constraints: 104776 1005.87/1008.64 c #Conflicts: 535000 | #Constraints: 105776 1005.87/1008.64 c INPROCESSING 1005.87/1008.64 c GARBAGE COLLECT 1005.87/1008.64 c rational objective 4 1094.75/1097.75 c #Conflicts: 536000 | #Constraints: 63861 1094.75/1097.75 c #Conflicts: 537000 | #Constraints: 64861 1094.75/1097.75 c #Conflicts: 538000 | #Constraints: 65861 1094.75/1097.75 c #Conflicts: 539000 | #Constraints: 66861 1094.75/1097.75 c #Conflicts: 540000 | #Constraints: 67861 1094.75/1097.75 c #Conflicts: 541000 | #Constraints: 68861 1094.75/1097.75 c #Conflicts: 542000 | #Constraints: 69861 1094.75/1097.75 c #Conflicts: 543000 | #Constraints: 70861 1094.75/1097.75 c #Conflicts: 544000 | #Constraints: 71861 1094.75/1097.75 c #Conflicts: 545000 | #Constraints: 72861 1094.75/1097.75 c #Conflicts: 546000 | #Constraints: 73861 1094.75/1097.75 c #Conflicts: 547000 | #Constraints: 74861 1094.75/1097.75 c #Conflicts: 548000 | #Constraints: 75861 1094.75/1097.75 c #Conflicts: 549000 | #Constraints: 76861 1094.75/1097.75 c #Conflicts: 550000 | #Constraints: 77861 1094.75/1097.75 c #Conflicts: 551000 | #Constraints: 78861 1094.75/1097.75 c #Conflicts: 552000 | #Constraints: 79861 1094.75/1097.75 c #Conflicts: 553000 | #Constraints: 80861 1094.75/1097.75 c #Conflicts: 554000 | #Constraints: 81861 1094.75/1097.75 c #Conflicts: 555000 | #Constraints: 82861 1094.75/1097.75 c #Conflicts: 556000 | #Constraints: 83861 1094.75/1097.75 c #Conflicts: 557000 | #Constraints: 84861 1094.75/1097.75 c #Conflicts: 558000 | #Constraints: 85861 1094.75/1097.75 c #Conflicts: 559000 | #Constraints: 86861 1094.75/1097.75 c #Conflicts: 560000 | #Constraints: 87861 1094.75/1097.75 c #Conflicts: 561000 | #Constraints: 88861 1094.75/1097.75 c #Conflicts: 562000 | #Constraints: 89861 1094.75/1097.75 c #Conflicts: 563000 | #Constraints: 90861 1094.75/1097.75 c #Conflicts: 564000 | #Constraints: 91861 1094.75/1097.75 c #Conflicts: 565000 | #Constraints: 92861 1094.75/1097.75 c #Conflicts: 566000 | #Constraints: 93861 1094.75/1097.75 c #Conflicts: 567000 | #Constraints: 94861 1094.75/1097.75 c #Conflicts: 568000 | #Constraints: 95861 1094.75/1097.75 c #Conflicts: 569000 | #Constraints: 96861 1094.75/1097.75 c #Conflicts: 570000 | #Constraints: 97861 1094.75/1097.75 c #Conflicts: 571000 | #Constraints: 98861 1094.75/1097.75 c #Conflicts: 572000 | #Constraints: 99861 1094.75/1097.75 c #Conflicts: 573000 | #Constraints: 100861 1094.75/1097.75 c #Conflicts: 574000 | #Constraints: 101861 1094.75/1097.75 c #Conflicts: 575000 | #Constraints: 102861 1094.75/1097.75 c #Conflicts: 576000 | #Constraints: 103861 1094.75/1097.75 c #Conflicts: 577000 | #Constraints: 104861 1094.75/1097.75 c #Conflicts: 578000 | #Constraints: 105861 1094.75/1097.75 c #Conflicts: 579000 | #Constraints: 106861 1094.75/1097.75 c #Conflicts: 580000 | #Constraints: 107861 1094.75/1097.75 c #Conflicts: 581000 | #Constraints: 108861 1094.75/1097.75 c #Conflicts: 582000 | #Constraints: 109861 1094.75/1097.75 c INPROCESSING 1094.75/1097.75 c GARBAGE COLLECT 1094.75/1097.75 c rational objective 4 1448.96/1453.03 c #Conflicts: 583000 | #Constraints: 65043 1448.96/1453.03 c #Conflicts: 584000 | #Constraints: 66043 1448.96/1453.03 c #Conflicts: 585000 | #Constraints: 67043 1448.96/1453.03 c #Conflicts: 586000 | #Constraints: 68051 1448.96/1453.03 c #Conflicts: 587000 | #Constraints: 69068 1448.96/1453.03 c #Conflicts: 588000 | #Constraints: 70087 1448.96/1453.03 c #Conflicts: 589000 | #Constraints: 71101 1448.96/1453.03 c #Conflicts: 590000 | #Constraints: 72117 1448.96/1453.03 c #Conflicts: 591000 | #Constraints: 73126 1448.96/1453.03 c #Conflicts: 592000 | #Constraints: 74139 1448.96/1453.03 c #Conflicts: 593000 | #Constraints: 75153 1448.96/1453.03 c #Conflicts: 594000 | #Constraints: 76164 1448.96/1453.03 c #Conflicts: 595000 | #Constraints: 77170 1448.96/1453.03 c #Conflicts: 596000 | #Constraints: 78181 1448.96/1453.03 c #Conflicts: 597000 | #Constraints: 79221 1448.96/1453.03 c #Conflicts: 598000 | #Constraints: 80256 1448.96/1453.03 c #Conflicts: 599000 | #Constraints: 81275 1448.96/1453.03 c #Conflicts: 600000 | #Constraints: 82304 1448.96/1453.03 c #Conflicts: 601000 | #Constraints: 83341 1448.96/1453.03 c #Conflicts: 602000 | #Constraints: 84373 1448.96/1453.03 c bounds 97 >= -741 @ 1205.91 1448.96/1453.03 c #Conflicts: 603000 | #Constraints: 85385 1448.96/1453.03 c #Conflicts: 604000 | #Constraints: 86385 1448.96/1453.03 c #Conflicts: 605000 | #Constraints: 87385 1448.96/1453.03 c #Conflicts: 606000 | #Constraints: 88385 1448.96/1453.03 c bounds 97 >= -740 @ 1233.11 1448.96/1453.03 c #Conflicts: 607000 | #Constraints: 89415 1448.96/1453.03 c #Conflicts: 608000 | #Constraints: 90415 1448.96/1453.03 c #Conflicts: 609000 | #Constraints: 91415 1448.96/1453.03 c #Conflicts: 610000 | #Constraints: 92415 1448.96/1453.03 c #Conflicts: 611000 | #Constraints: 93415 1448.96/1453.03 c #Conflicts: 612000 | #Constraints: 94415 1448.96/1453.03 c bounds 97 >= -739 @ 1271.3 1448.96/1453.03 c #Conflicts: 613000 | #Constraints: 95457 1448.96/1453.03 c #Conflicts: 614000 | #Constraints: 96457 1448.96/1453.03 c #Conflicts: 615000 | #Constraints: 97457 1448.96/1453.03 c bounds 96 >= -739 @ 1307.45 1448.96/1453.03 c #Conflicts: 616000 | #Constraints: 98458 1448.96/1453.03 c #Conflicts: 617000 | #Constraints: 99458 1448.96/1453.03 c #Conflicts: 618000 | #Constraints: 100458 1448.96/1453.03 c #Conflicts: 619000 | #Constraints: 101458 1448.96/1453.03 c #Conflicts: 620000 | #Constraints: 102458 1448.96/1453.03 c #Conflicts: 621000 | #Constraints: 103458 1448.96/1453.03 c #Conflicts: 622000 | #Constraints: 104458 1448.96/1453.03 c #Conflicts: 623000 | #Constraints: 105458 1448.96/1453.03 c #Conflicts: 624000 | #Constraints: 106458 1448.96/1453.03 c #Conflicts: 625000 | #Constraints: 107458 1448.96/1453.03 c #Conflicts: 626000 | #Constraints: 108458 1448.96/1453.03 c #Conflicts: 627000 | #Constraints: 109458 1448.96/1453.03 c #Conflicts: 628000 | #Constraints: 110458 1448.96/1453.03 c #Conflicts: 629000 | #Constraints: 111458 1448.96/1453.03 c #Conflicts: 630000 | #Constraints: 112458 1448.96/1453.03 c #Conflicts: 631000 | #Constraints: 113458 1448.96/1453.03 c INPROCESSING 1448.96/1453.03 c GARBAGE COLLECT 1448.96/1453.03 c rational objective 4 1853.31/1858.67 c #Conflicts: 632000 | #Constraints: 67601 1853.31/1858.67 c #Conflicts: 633000 | #Constraints: 68601 1853.31/1858.67 c #Conflicts: 634000 | #Constraints: 69601 1853.31/1858.67 c bounds 95 >= -739 @ 1434.23 1853.31/1858.67 c bounds 94 >= -739 @ 1435.14 1853.31/1858.67 c #Conflicts: 635000 | #Constraints: 70603 1853.31/1858.67 c #Conflicts: 636000 | #Constraints: 71603 1853.31/1858.67 c bounds 93 >= -739 @ 1445.19 1853.31/1858.67 c #Conflicts: 637000 | #Constraints: 72658 1853.31/1858.67 c #Conflicts: 638000 | #Constraints: 73686 1853.31/1858.67 c bounds 92 >= -739 @ 1457.43 1853.31/1858.67 c #Conflicts: 639000 | #Constraints: 74749 1853.31/1858.67 c bounds 91 >= -739 @ 1464.55 1853.31/1858.67 c #Conflicts: 640000 | #Constraints: 75786 1853.31/1858.67 c #Conflicts: 641000 | #Constraints: 76786 1853.31/1858.67 c #Conflicts: 642000 | #Constraints: 77786 1853.31/1858.67 c #Conflicts: 643000 | #Constraints: 78786 1853.31/1858.67 c #Conflicts: 644000 | #Constraints: 79786 1853.31/1858.67 c #Conflicts: 645000 | #Constraints: 80786 1853.31/1858.67 c #Conflicts: 646000 | #Constraints: 81786 1853.31/1858.67 c #Conflicts: 647000 | #Constraints: 82786 1853.31/1858.67 c #Conflicts: 648000 | #Constraints: 83786 1853.31/1858.67 c #Conflicts: 649000 | #Constraints: 84786 1853.31/1858.67 c #Conflicts: 650000 | #Constraints: 85786 1853.31/1858.67 c #Conflicts: 651000 | #Constraints: 86786 1853.31/1858.67 c #Conflicts: 652000 | #Constraints: 87786 1853.31/1858.67 c #Conflicts: 653000 | #Constraints: 88786 1853.31/1858.67 c bounds 91 >= -738 @ 1535.4 1853.31/1858.67 c bounds 90 >= -738 @ 1537.45 1853.31/1858.67 c #Conflicts: 654000 | #Constraints: 89921 1853.31/1858.67 c bounds 89 >= -738 @ 1544.33 1853.31/1858.67 c #Conflicts: 655000 | #Constraints: 90975 1853.31/1858.67 c bounds 88 >= -738 @ 1547.36 1853.31/1858.67 c bounds 87 >= -738 @ 1550.76 1853.31/1858.67 c #Conflicts: 656000 | #Constraints: 92072 1853.31/1858.67 c bounds 86 >= -738 @ 1553.03 1853.31/1858.67 c bounds 85 >= -738 @ 1555.5 1853.31/1858.67 c #Conflicts: 657000 | #Constraints: 93179 1853.31/1858.67 c bounds 84 >= -738 @ 1558.03 1853.31/1858.67 c bounds 83 >= -738 @ 1561.87 1853.31/1858.67 c #Conflicts: 658000 | #Constraints: 94270 1853.31/1858.67 c bounds 82 >= -738 @ 1565.31 1853.31/1858.67 c bounds 81 >= -738 @ 1568.37 1853.31/1858.67 c #Conflicts: 659000 | #Constraints: 95367 1853.31/1858.67 c bounds 80 >= -738 @ 1572.13 1853.31/1858.67 c #Conflicts: 660000 | #Constraints: 96432 1853.31/1858.67 c bounds 79 >= -738 @ 1584.94 1853.31/1858.67 c bounds 78 >= -738 @ 1589 1853.31/1858.67 c #Conflicts: 661000 | #Constraints: 97544 1853.31/1858.67 c bounds 77 >= -738 @ 1602.58 1853.31/1858.67 c #Conflicts: 662000 | #Constraints: 98624 1853.31/1858.67 c bounds 76 >= -738 @ 1607.21 1853.31/1858.67 c bounds 75 >= -738 @ 1615.74 1853.31/1858.67 c #Conflicts: 663000 | #Constraints: 99720 1853.31/1858.67 c bounds 74 >= -738 @ 1621.09 1853.31/1858.67 c #Conflicts: 664000 | #Constraints: 100747 1853.31/1858.67 c #Conflicts: 665000 | #Constraints: 101747 1853.31/1858.67 c #Conflicts: 666000 | #Constraints: 102747 1853.31/1858.67 c #Conflicts: 667000 | #Constraints: 103747 1853.31/1858.67 c bounds 74 >= -737 @ 1660.11 1853.31/1858.67 c bounds 73 >= -737 @ 1663.51 1853.31/1858.67 c #Conflicts: 668000 | #Constraints: 104871 1853.31/1858.67 c bounds 72 >= -737 @ 1680.58 1853.31/1858.67 c #Conflicts: 669000 | #Constraints: 105950 1853.31/1858.67 c bounds 71 >= -737 @ 1708.76 1853.31/1858.67 c #Conflicts: 670000 | #Constraints: 106974 1853.31/1858.67 c #Conflicts: 671000 | #Constraints: 107974 1853.31/1858.67 c #Conflicts: 672000 | #Constraints: 108974 1853.31/1858.67 c bounds 71 >= -736 @ 1729.36 1853.31/1858.67 c #Conflicts: 673000 | #Constraints: 110016 1853.31/1858.67 c bounds 70 >= -736 @ 1733.54 1853.31/1858.67 c #Conflicts: 674000 | #Constraints: 111087 1853.31/1858.67 c #Conflicts: 675000 | #Constraints: 112126 1853.31/1858.67 c bounds 69 >= -736 @ 1757.87 1853.31/1858.67 c #Conflicts: 676000 | #Constraints: 113134 1853.31/1858.67 c #Conflicts: 677000 | #Constraints: 114134 1853.31/1858.67 c #Conflicts: 678000 | #Constraints: 115134 1853.31/1858.67 c #Conflicts: 679000 | #Constraints: 116134 1853.31/1858.67 c #Conflicts: 680000 | #Constraints: 117134 1853.31/1858.67 c #Conflicts: 681000 | #Constraints: 118134 1853.31/1858.67 c #Conflicts: 682000 | #Constraints: 119134 1853.31/1858.67 c #Conflicts: 683000 | #Constraints: 120134 1853.31/1858.67 c INPROCESSING 1853.31/1858.67 c GARBAGE COLLECT 1853.31/1858.67 c rational objective 4 2109.12/2115.24 c #Conflicts: 684000 | #Constraints: 71110 2109.12/2115.24 c #Conflicts: 685000 | #Constraints: 72131 2109.12/2115.24 c #Conflicts: 686000 | #Constraints: 73146 2109.12/2115.24 c #Conflicts: 687000 | #Constraints: 74150 2109.12/2115.24 c #Conflicts: 688000 | #Constraints: 75152 2109.12/2115.24 c #Conflicts: 689000 | #Constraints: 76187 2109.12/2115.24 c #Conflicts: 690000 | #Constraints: 77221 2109.12/2115.24 c #Conflicts: 691000 | #Constraints: 78237 2109.12/2115.24 c #Conflicts: 692000 | #Constraints: 79268 2109.12/2115.24 c #Conflicts: 693000 | #Constraints: 80291 2109.12/2115.24 c #Conflicts: 694000 | #Constraints: 81312 2109.12/2115.24 c bounds 68 >= -736 @ 1883.81 2109.12/2115.24 c #Conflicts: 695000 | #Constraints: 82343 2109.12/2115.24 c bounds 68 >= -735 @ 1885.62 2109.12/2115.24 c bounds 68 >= -734 @ 1886.58 2109.12/2115.24 c #Conflicts: 696000 | #Constraints: 83403 2109.12/2115.24 c bounds 68 >= -733 @ 1888.29 2109.12/2115.24 c #Conflicts: 697000 | #Constraints: 84421 2109.12/2115.24 c #Conflicts: 698000 | #Constraints: 85421 2109.12/2115.24 c bounds 68 >= -732 @ 1892.08 2109.12/2115.24 c #Conflicts: 699000 | #Constraints: 86451 2109.12/2115.24 c bounds 68 >= -731 @ 1894.78 2109.12/2115.24 c #Conflicts: 700000 | #Constraints: 87481 2109.12/2115.24 c #Conflicts: 701000 | #Constraints: 88481 2109.12/2115.24 c #Conflicts: 702000 | #Constraints: 89481 2109.12/2115.24 c bounds 68 >= -730 @ 1900.04 2109.12/2115.24 c #Conflicts: 703000 | #Constraints: 90511 2109.12/2115.24 c #Conflicts: 704000 | #Constraints: 91511 2109.12/2115.24 c #Conflicts: 705000 | #Constraints: 92511 2109.12/2115.24 c #Conflicts: 706000 | #Constraints: 93511 2109.12/2115.24 c bounds 68 >= -729 @ 1909.2 2109.12/2115.24 c #Conflicts: 707000 | #Constraints: 94538 2109.12/2115.24 c #Conflicts: 708000 | #Constraints: 95538 2109.12/2115.24 c #Conflicts: 709000 | #Constraints: 96538 2109.12/2115.24 c #Conflicts: 710000 | #Constraints: 97538 2109.12/2115.24 c #Conflicts: 711000 | #Constraints: 98538 2109.12/2115.24 c #Conflicts: 712000 | #Constraints: 99538 2109.12/2115.24 c #Conflicts: 713000 | #Constraints: 100538 2109.12/2115.24 c #Conflicts: 714000 | #Constraints: 101538 2109.12/2115.24 c #Conflicts: 715000 | #Constraints: 102538 2109.12/2115.24 c #Conflicts: 716000 | #Constraints: 103538 2109.12/2115.24 c bounds 68 >= -728 @ 1935.45 2109.12/2115.24 c #Conflicts: 717000 | #Constraints: 104574 2109.12/2115.24 c #Conflicts: 718000 | #Constraints: 105574 2109.12/2115.24 c #Conflicts: 719000 | #Constraints: 106574 2109.12/2115.24 c #Conflicts: 720000 | #Constraints: 107574 2109.12/2115.24 c #Conflicts: 721000 | #Constraints: 108574 2109.12/2115.24 c #Conflicts: 722000 | #Constraints: 109574 2109.12/2115.24 c #Conflicts: 723000 | #Constraints: 110574 2109.12/2115.24 c #Conflicts: 724000 | #Constraints: 111574 2109.12/2115.24 c #Conflicts: 725000 | #Constraints: 112574 2109.12/2115.24 c #Conflicts: 726000 | #Constraints: 113574 2109.12/2115.24 c #Conflicts: 727000 | #Constraints: 114594 2109.12/2115.24 c bounds 67 >= -728 @ 2006.06 2109.12/2115.24 c #Conflicts: 728000 | #Constraints: 115606 2109.12/2115.24 c #Conflicts: 729000 | #Constraints: 116606 2109.12/2115.24 c #Conflicts: 730000 | #Constraints: 117606 2109.12/2115.24 c #Conflicts: 731000 | #Constraints: 118606 2109.12/2115.24 c #Conflicts: 732000 | #Constraints: 119606 2109.12/2115.24 c #Conflicts: 733000 | #Constraints: 120606 2109.12/2115.24 c #Conflicts: 734000 | #Constraints: 121606 2109.12/2115.24 c #Conflicts: 735000 | #Constraints: 122606 2109.12/2115.24 c #Conflicts: 736000 | #Constraints: 123606 2109.12/2115.24 c INPROCESSING 2109.12/2115.24 c GARBAGE COLLECT 2109.12/2115.24 c rational objective 4 2252.79/2259.32 c #Conflicts: 737000 | #Constraints: 73924 2252.79/2259.32 c #Conflicts: 738000 | #Constraints: 74924 2252.79/2259.32 c #Conflicts: 739000 | #Constraints: 75924 2252.79/2259.32 c #Conflicts: 740000 | #Constraints: 76924 2252.79/2259.32 c #Conflicts: 741000 | #Constraints: 77924 2252.79/2259.32 c #Conflicts: 742000 | #Constraints: 78924 2252.79/2259.32 c #Conflicts: 743000 | #Constraints: 79924 2252.79/2259.32 c #Conflicts: 744000 | #Constraints: 80924 2252.79/2259.32 c #Conflicts: 745000 | #Constraints: 81924 2252.79/2259.32 c #Conflicts: 746000 | #Constraints: 82924 2252.79/2259.32 c #Conflicts: 747000 | #Constraints: 83924 2252.79/2259.32 c #Conflicts: 748000 | #Constraints: 84924 2252.79/2259.32 c #Conflicts: 749000 | #Constraints: 85924 2252.79/2259.32 c bounds 67 >= -727 @ 2101.18 2252.79/2259.32 c #Conflicts: 750000 | #Constraints: 86975 2252.79/2259.32 c #Conflicts: 751000 | #Constraints: 87975 2252.79/2259.32 c #Conflicts: 752000 | #Constraints: 88975 2252.79/2259.32 c #Conflicts: 753000 | #Constraints: 89975 2252.79/2259.32 c #Conflicts: 754000 | #Constraints: 90975 2252.79/2259.32 c #Conflicts: 755000 | #Constraints: 91975 2252.79/2259.32 c #Conflicts: 756000 | #Constraints: 92975 2252.79/2259.32 c #Conflicts: 757000 | #Constraints: 93975 2252.79/2259.32 c #Conflicts: 758000 | #Constraints: 94975 2252.79/2259.32 c #Conflicts: 759000 | #Constraints: 95975 2252.79/2259.32 c #Conflicts: 760000 | #Constraints: 96975 2252.79/2259.32 c #Conflicts: 761000 | #Constraints: 97975 2252.79/2259.32 c #Conflicts: 762000 | #Constraints: 98975 2252.79/2259.32 c #Conflicts: 763000 | #Constraints: 99975 2252.79/2259.32 c #Conflicts: 764000 | #Constraints: 100975 2252.79/2259.32 c #Conflicts: 765000 | #Constraints: 101975 2252.79/2259.32 c #Conflicts: 766000 | #Constraints: 102975 2252.79/2259.32 c #Conflicts: 767000 | #Constraints: 103975 2252.79/2259.32 c #Conflicts: 768000 | #Constraints: 104975 2252.79/2259.32 c #Conflicts: 769000 | #Constraints: 105975 2252.79/2259.32 c #Conflicts: 770000 | #Constraints: 106975 2252.79/2259.32 c #Conflicts: 771000 | #Constraints: 107975 2252.79/2259.32 c #Conflicts: 772000 | #Constraints: 108975 2252.79/2259.32 c #Conflicts: 773000 | #Constraints: 109975 2252.79/2259.32 c #Conflicts: 774000 | #Constraints: 110975 2252.79/2259.32 c #Conflicts: 775000 | #Constraints: 111975 2252.79/2259.32 c #Conflicts: 776000 | #Constraints: 112975 2252.79/2259.32 c #Conflicts: 777000 | #Constraints: 113975 2252.79/2259.32 c #Conflicts: 778000 | #Constraints: 114975 2252.79/2259.32 c #Conflicts: 779000 | #Constraints: 115975 2252.79/2259.32 c #Conflicts: 780000 | #Constraints: 116975 2252.79/2259.32 c #Conflicts: 781000 | #Constraints: 117975 2252.79/2259.32 c #Conflicts: 782000 | #Constraints: 118975 2252.79/2259.32 c #Conflicts: 783000 | #Constraints: 119975 2252.79/2259.32 c #Conflicts: 784000 | #Constraints: 120975 2252.79/2259.32 c #Conflicts: 785000 | #Constraints: 121975 2252.79/2259.32 c #Conflicts: 786000 | #Constraints: 122975 2252.79/2259.32 c #Conflicts: 787000 | #Constraints: 123975 2252.79/2259.32 c #Conflicts: 788000 | #Constraints: 124975 2252.79/2259.32 c #Conflicts: 789000 | #Constraints: 125975 2252.79/2259.32 c #Conflicts: 790000 | #Constraints: 126975 2252.79/2259.32 c #Conflicts: 791000 | #Constraints: 127975 2252.79/2259.32 c INPROCESSING 2252.79/2259.32 c GARBAGE COLLECT 2252.79/2259.32 c rational objective 4 2742.91/2750.88 c bounds 66 >= -727 @ 2225.28 2742.91/2750.88 c #Conflicts: 792000 | #Constraints: 77282 2742.91/2750.88 c bounds 65 >= -727 @ 2225.89 2742.91/2750.88 c bounds 64 >= -727 @ 2226.21 2742.91/2750.88 c bounds 63 >= -727 @ 2227.15 2742.91/2750.88 c bounds 62 >= -727 @ 2227.69 2742.91/2750.88 c bounds 61 >= -727 @ 2228.59 2742.91/2750.88 c #Conflicts: 793000 | #Constraints: 78405 2742.91/2750.88 c bounds 59 >= -727 @ 2230.08 2742.91/2750.88 c #Conflicts: 794000 | #Constraints: 79484 2742.91/2750.88 c bounds 58 >= -727 @ 2236.8 2742.91/2750.88 c #Conflicts: 795000 | #Constraints: 80549 2742.91/2750.88 c #Conflicts: 796000 | #Constraints: 81599 2742.91/2750.88 c #Conflicts: 797000 | #Constraints: 82637 2742.91/2750.88 c bounds 57 >= -727 @ 2249.89 2742.91/2750.88 c #Conflicts: 798000 | #Constraints: 83701 2742.91/2750.88 c bounds 56 >= -727 @ 2253.21 2742.91/2750.88 c #Conflicts: 799000 | #Constraints: 84777 2742.91/2750.88 c #Conflicts: 800000 | #Constraints: 85812 2742.91/2750.88 c #Conflicts: 801000 | #Constraints: 86843 2742.91/2750.88 c #Conflicts: 802000 | #Constraints: 87877 2742.91/2750.88 c bounds 55 >= -727 @ 2282.64 2742.91/2750.88 c #Conflicts: 803000 | #Constraints: 88951 2742.91/2750.88 c #Conflicts: 804000 | #Constraints: 89985 2742.91/2750.88 c #Conflicts: 805000 | #Constraints: 91003 2742.91/2750.88 c #Conflicts: 806000 | #Constraints: 92068 2742.91/2750.88 c #Conflicts: 807000 | #Constraints: 93108 2742.91/2750.88 c #Conflicts: 808000 | #Constraints: 94127 2742.91/2750.88 c #Conflicts: 809000 | #Constraints: 95144 2742.91/2750.88 c bounds 54 >= -727 @ 2342.31 2742.91/2750.88 c #Conflicts: 810000 | #Constraints: 96209 2742.91/2750.88 c #Conflicts: 811000 | #Constraints: 97256 2742.91/2750.88 c #Conflicts: 812000 | #Constraints: 98288 2742.91/2750.88 c #Conflicts: 813000 | #Constraints: 99320 2742.91/2750.88 c #Conflicts: 814000 | #Constraints: 100369 2742.91/2750.88 c bounds 53 >= -727 @ 2396.85 2742.91/2750.88 c #Conflicts: 815000 | #Constraints: 101378 2742.91/2750.88 c #Conflicts: 816000 | #Constraints: 102378 2742.91/2750.88 c #Conflicts: 817000 | #Constraints: 103378 2742.91/2750.88 c #Conflicts: 818000 | #Constraints: 104378 2742.91/2750.88 c #Conflicts: 819000 | #Constraints: 105378 2742.91/2750.88 c #Conflicts: 820000 | #Constraints: 106378 2742.91/2750.88 c #Conflicts: 821000 | #Constraints: 107378 2742.91/2750.88 c #Conflicts: 822000 | #Constraints: 108378 2742.91/2750.88 c #Conflicts: 823000 | #Constraints: 109378 2742.91/2750.88 c #Conflicts: 824000 | #Constraints: 110378 2742.91/2750.88 c #Conflicts: 825000 | #Constraints: 111378 2742.91/2750.88 c #Conflicts: 826000 | #Constraints: 112378 2742.91/2750.88 c #Conflicts: 827000 | #Constraints: 113378 2742.91/2750.88 c #Conflicts: 828000 | #Constraints: 114378 2742.91/2750.88 c #Conflicts: 829000 | #Constraints: 115378 2742.91/2750.88 c #Conflicts: 830000 | #Constraints: 116378 2742.91/2750.88 c #Conflicts: 831000 | #Constraints: 117378 2742.91/2750.88 c #Conflicts: 832000 | #Constraints: 118378 2742.91/2750.88 c #Conflicts: 833000 | #Constraints: 119378 2742.91/2750.88 c #Conflicts: 834000 | #Constraints: 120378 2742.91/2750.88 c #Conflicts: 835000 | #Constraints: 121378 2742.91/2750.88 c #Conflicts: 836000 | #Constraints: 122378 2742.91/2750.88 c #Conflicts: 837000 | #Constraints: 123378 2742.91/2750.88 c #Conflicts: 838000 | #Constraints: 124378 2742.91/2750.88 c #Conflicts: 839000 | #Constraints: 125378 2742.91/2750.88 c #Conflicts: 840000 | #Constraints: 126378 2742.91/2750.88 c #Conflicts: 841000 | #Constraints: 127378 2742.91/2750.88 c #Conflicts: 842000 | #Constraints: 128378 2742.91/2750.88 c #Conflicts: 843000 | #Constraints: 129378 2742.91/2750.88 c #Conflicts: 844000 | #Constraints: 130378 2742.91/2750.88 c #Conflicts: 845000 | #Constraints: 131378 2742.91/2750.88 c #Conflicts: 846000 | #Constraints: 132378 2742.91/2750.88 c #Conflicts: 847000 | #Constraints: 133378 2742.91/2750.88 c #Conflicts: 848000 | #Constraints: 134378 2742.91/2750.88 c #Conflicts: 849000 | #Constraints: 135378 2742.91/2750.88 c INPROCESSING 2742.91/2750.88 c GARBAGE COLLECT 2742.91/2750.88 c rational objective 4 3503.70/3514.06 c bounds 52 >= -727 @ 2714.61 3503.70/3514.06 c #Conflicts: 850000 | #Constraints: 78864 3503.70/3514.06 c #Conflicts: 851000 | #Constraints: 79864 3503.70/3514.06 c #Conflicts: 852000 | #Constraints: 80907 3503.70/3514.06 c bounds 51 >= -727 @ 2727.04 3503.70/3514.06 c #Conflicts: 853000 | #Constraints: 81963 3503.70/3514.06 c bounds 50 >= -727 @ 2731.54 3503.70/3514.06 c bounds 49 >= -727 @ 2734.17 3503.70/3514.06 c #Conflicts: 854000 | #Constraints: 83052 3503.70/3514.06 c bounds 48 >= -727 @ 2736.98 3503.70/3514.06 c #Conflicts: 855000 | #Constraints: 84135 3503.70/3514.06 c bounds 47 >= -727 @ 2742.14 3503.70/3514.06 c #Conflicts: 856000 | #Constraints: 85219 3503.70/3514.06 c bounds 46 >= -727 @ 2751.5 3503.70/3514.06 c #Conflicts: 857000 | #Constraints: 86298 3503.70/3514.06 c bounds 45 >= -727 @ 2763.27 3503.70/3514.06 c #Conflicts: 858000 | #Constraints: 87357 3503.70/3514.06 c bounds 44 >= -727 @ 2766.16 3503.70/3514.06 c #Conflicts: 859000 | #Constraints: 88445 3503.70/3514.06 c bounds 43 >= -727 @ 2775.69 3503.70/3514.06 c #Conflicts: 860000 | #Constraints: 89540 3503.70/3514.06 c bounds 42 >= -727 @ 2786.36 3503.70/3514.06 c #Conflicts: 861000 | #Constraints: 90618 3503.70/3514.06 c #Conflicts: 862000 | #Constraints: 91638 3503.70/3514.06 c #Conflicts: 863000 | #Constraints: 92662 3503.70/3514.06 c bounds 41 >= -727 @ 2810.96 3503.70/3514.06 c #Conflicts: 864000 | #Constraints: 93716 3503.70/3514.06 c #Conflicts: 865000 | #Constraints: 94769 3503.70/3514.06 c bounds 40 >= -727 @ 2829.02 3503.70/3514.06 c bounds 39 >= -727 @ 2833.57 3503.70/3514.06 c #Conflicts: 866000 | #Constraints: 95856 3503.70/3514.06 c #Conflicts: 867000 | #Constraints: 96894 3503.70/3514.06 c #Conflicts: 868000 | #Constraints: 97914 3503.70/3514.06 c #Conflicts: 869000 | #Constraints: 98931 3503.70/3514.06 c #Conflicts: 870000 | #Constraints: 99952 3503.70/3514.06 c #Conflicts: 871000 | #Constraints: 100965 3503.70/3514.06 c #Conflicts: 872000 | #Constraints: 101988 3503.70/3514.06 c #Conflicts: 873000 | #Constraints: 103002 3503.70/3514.06 c #Conflicts: 874000 | #Constraints: 104010 3503.70/3514.06 c #Conflicts: 875000 | #Constraints: 105029 3503.70/3514.06 c #Conflicts: 876000 | #Constraints: 106040 3503.70/3514.06 c #Conflicts: 877000 | #Constraints: 107056 3503.70/3514.06 c bounds 38 >= -727 @ 3010.05 3503.70/3514.06 c #Conflicts: 878000 | #Constraints: 108059 3503.70/3514.06 c bounds 38 >= -726 @ 3018 3503.70/3514.06 c #Conflicts: 879000 | #Constraints: 109083 3503.70/3514.06 c #Conflicts: 880000 | #Constraints: 110083 3503.70/3514.06 c bounds 38 >= -725 @ 3033.14 3503.70/3514.06 c #Conflicts: 881000 | #Constraints: 111116 3503.70/3514.06 c #Conflicts: 882000 | #Constraints: 112116 3503.70/3514.06 c #Conflicts: 883000 | #Constraints: 113116 3503.70/3514.06 c #Conflicts: 884000 | #Constraints: 114116 3503.70/3514.06 c #Conflicts: 885000 | #Constraints: 115116 3503.70/3514.06 c #Conflicts: 886000 | #Constraints: 116116 3503.70/3514.06 c bounds 38 >= -724 @ 3065.66 3503.70/3514.06 c #Conflicts: 887000 | #Constraints: 117143 3503.70/3514.06 c #Conflicts: 888000 | #Constraints: 118143 3503.70/3514.06 c #Conflicts: 889000 | #Constraints: 119143 3503.70/3514.06 c #Conflicts: 890000 | #Constraints: 120143 3503.70/3514.06 c #Conflicts: 891000 | #Constraints: 121143 3503.70/3514.06 c #Conflicts: 892000 | #Constraints: 122143 3503.70/3514.06 c #Conflicts: 893000 | #Constraints: 123143 3503.70/3514.06 c #Conflicts: 894000 | #Constraints: 124143 3503.70/3514.06 c #Conflicts: 895000 | #Constraints: 125144 3503.70/3514.06 c #Conflicts: 896000 | #Constraints: 126201 3503.70/3514.06 c #Conflicts: 897000 | #Constraints: 127230 3503.70/3514.06 c bounds 37 >= -724 @ 3216.4 3503.70/3514.06 c #Conflicts: 898000 | #Constraints: 128239 3503.70/3514.06 c #Conflicts: 899000 | #Constraints: 129239 3503.70/3514.06 c #Conflicts: 900000 | #Constraints: 130239 3503.70/3514.06 c #Conflicts: 901000 | #Constraints: 131239 3503.70/3514.06 c #Conflicts: 902000 | #Constraints: 132239 3503.70/3514.06 c bounds 37 >= -723 @ 3288.06 3503.70/3514.06 c #Conflicts: 903000 | #Constraints: 133266 3503.70/3514.06 c #Conflicts: 904000 | #Constraints: 134266 3503.70/3514.06 c #Conflicts: 905000 | #Constraints: 135266 3503.70/3514.06 c #Conflicts: 906000 | #Constraints: 136266 3503.70/3514.06 c #Conflicts: 907000 | #Constraints: 137266 3503.70/3514.06 c #Conflicts: 908000 | #Constraints: 138266 3503.70/3514.06 c INPROCESSING 3503.70/3514.06 c GARBAGE COLLECT 3503.70/3514.06 c rational objective 4 3600.01/3610.61 c #Conflicts: 909000 | #Constraints: 80660 3600.01/3610.61 c #Conflicts: 910000 | #Constraints: 81660 3600.01/3610.61 c #Conflicts: 911000 | #Constraints: 82660 3600.01/3610.61 c #Conflicts: 912000 | #Constraints: 83660 3600.01/3610.61 c #Conflicts: 913000 | #Constraints: 84660 3600.01/3610.61 c #Conflicts: 914000 | #Constraints: 85660 3600.01/3610.61 c #Conflicts: 915000 | #Constraints: 86660 3600.01/3610.61 c #Conflicts: 916000 | #Constraints: 87660 3600.01/3610.61 c #Conflicts: 917000 | #Constraints: 88660 3600.01/3610.61 c #Conflicts: 918000 | #Constraints: 89660 3600.01/3610.61 c #Conflicts: 919000 | #Constraints: 90660 3600.01/3610.61 c #Conflicts: 920000 | #Constraints: 91660 3600.01/3610.61 c #Conflicts: 921000 | #Constraints: 92660 3600.01/3610.61 c #Conflicts: 922000 | #Constraints: 93660 3600.01/3610.61 c #Conflicts: 923000 | #Constraints: 94660 3600.01/3610.61 c #Conflicts: 924000 | #Constraints: 95660 3600.01/3610.61 c #Conflicts: 925000 | #Constraints: 96660 3600.01/3610.61 c #Conflicts: 926000 | #Constraints: 97660 3600.01/3610.61 c #Conflicts: 927000 | #Constraints: 98660 3600.01/3610.61 c #Conflicts: 928000 | #Constraints: 99660 3600.01/3610.61 c #Conflicts: 929000 | #Constraints: 100660 3600.01/3610.61 c #Conflicts: 930000 | #Constraints: 101660 3600.01/3610.61 c #Conflicts: 931000 | #Constraints: 102660 3600.01/3610.61 c #Conflicts: 932000 | #Constraints: 103660 3600.01/3610.61 c #Conflicts: 933000 | #Constraints: 104660 3600.01/3610.61 c #Conflicts: 934000 | #Constraints: 105660 3600.01/3610.61 c #Conflicts: 935000 | #Constraints: 106660 3600.01/3610.61 c bounds 37 >= -722 @ 3511 3600.01/3610.61 c #Conflicts: 936000 | #Constraints: 107744 3600.01/3610.61 c #Conflicts: 937000 | #Constraints: 108816 3600.01/3610.61 c bounds 36 >= -722 @ 3514.05 3600.01/3610.61 c #Conflicts: 938000 | #Constraints: 109903 3600.01/3610.61 c bounds 35 >= -722 @ 3518.21 3600.01/3610.61 c #Conflicts: 939000 | #Constraints: 110948 3600.01/3610.61 c #Conflicts: 940000 | #Constraints: 112020 3600.01/3610.61 c bounds 34 >= -722 @ 3522.12 3600.01/3610.61 c #Conflicts: 941000 | #Constraints: 113104 3600.01/3610.61 c #Conflicts: 942000 | #Constraints: 114140 3600.01/3610.61 c #Conflicts: 943000 | #Constraints: 115163 3600.01/3610.61 c #Conflicts: 944000 | #Constraints: 116178 3600.01/3610.61 c bounds 33 >= -722 @ 3540.1 3600.01/3610.61 c #Conflicts: 945000 | #Constraints: 117233 3600.01/3610.61 c #Conflicts: 946000 | #Constraints: 118282 3600.01/3610.61 c #Conflicts: 947000 | #Constraints: 119285 3600.01/3610.61 c Program interrupted by user. 3600.01/3610.61 c cpu time 3564.94 s 3600.01/3610.61 c deterministic time 217670759083 2.18e+11 3600.01/3610.61 c optimization time 26.8873 s 3600.01/3610.61 c total solve time 3538.04 s 3600.01/3610.61 c core-guided solve time 1899.98 s 3600.01/3610.61 c propagation time 2686.47 s 3600.01/3610.61 c conflict analysis time 618.186 s 3600.01/3610.61 c propagations 165080682 3600.01/3610.61 c resolve steps 9224714 3600.01/3610.61 c decisions 14870708 3600.01/3610.61 c conflicts 947710 3600.01/3610.61 c restarts 2043 3600.01/3610.61 c inprocessing phases 31 3600.01/3610.61 c input clauses 7505 3600.01/3610.61 c input cardinalities 2005 3600.01/3610.61 c input general constraints 7731 3600.01/3610.61 c input average constraint length 375.26 3600.01/3610.61 c input average constraint degree 185.29 3600.01/3610.61 c learned clauses 402485 3600.01/3610.61 c learned cardinalities 499 3600.01/3610.61 c learned general constraints 552388 3600.01/3610.61 c learned average constraint length 882.73 3600.01/3610.61 c learned average constraint degree 19837794482.92 3600.01/3610.61 c watched constraints 313442 3600.01/3610.61 c counting constraints 246677 3600.01/3610.61 c gcd simplifications 31916 3600.01/3610.61 c detected cardinalities 13 3600.01/3610.61 c weakened non-implied lits 104517864 3600.01/3610.61 c weakened non-implying lits 88484 3600.01/3610.61 c original variables 4624 3600.01/3610.61 c clausal propagations 27144687 3600.01/3610.61 c cardinality propagations 7426101 3600.01/3610.61 c watched propagations 12977665 3600.01/3610.61 c counting propagations 113276036 3600.01/3610.61 c watch lookups 56918371752 3600.01/3610.61 c watch backjump lookups 54225122870 3600.01/3610.61 c watch checks 63800239371 3600.01/3610.61 c propagation checks 40694570150 3600.01/3610.61 c constraint additions 1670428099 3600.01/3610.61 c trail pops 180888054 3600.01/3610.61 c formula constraints 5263 3600.01/3610.61 c learned constraints 941320 3600.01/3610.61 c bound constraints 1374 3600.01/3610.61 c core-guided constraints 10604 3600.01/3610.61 c encountered formula constraints 2077059 3600.01/3610.61 c encountered learned constraints 5982645 3600.01/3610.61 c encountered bound constraints 598 3600.01/3610.61 c encountered core-guided constraints 2015181 3600.01/3610.61 c LP total time 206.939 s 3600.01/3610.61 c LP solve time 193.04 s 3600.01/3610.61 c LP constraints added 5263 3600.01/3610.61 c LP constraints removed 0 3600.01/3610.61 c LP pivots internal 947842 3600.01/3610.61 c LP pivots root 239554 3600.01/3610.61 c LP calls 9531 3600.01/3610.61 c LP optimalities 2501 3600.01/3610.61 c LP no pivot count 795 3600.01/3610.61 c LP infeasibilities 7026 3600.01/3610.61 c LP valid Farkas constraints 7026 3600.01/3610.61 c LP learned Farkas constraints 7026 3600.01/3610.61 c LP basis resets 0 3600.01/3610.61 c LP cycling count 0 3600.01/3610.61 c LP singular count 0 3600.01/3610.61 c LP no primal count 0 3600.01/3610.61 c LP no farkas count 0 3600.01/3610.61 c LP other issue count 0 3600.01/3610.61 c LP Gomory cuts 0 3600.01/3610.61 c LP learned cuts 0 3600.01/3610.61 c LP deleted cuts 0 3600.01/3610.61 c LP encountered Gomory constraints 0 3600.01/3610.61 c LP encountered Farkas constraints 64260 3600.01/3610.61 c LP encountered learned Farkas constraints 25655 3600.01/3610.61 c CG auxiliary variables introduced 3917 3600.01/3610.61 c CG solutions found 227 3600.01/3610.61 c CG cores constructed 1147 3600.01/3610.61 c CG core cardinality constraints returned 160 3600.01/3610.61 c CG unit cores 0 3600.01/3610.61 c CG single cores 806 3600.01/3610.61 c CG blocks removed during cardinality reduction 3 3600.01/3610.61 c CG first core best 3 3600.01/3610.61 c CG decision core best 98 3600.01/3610.61 c CG core reduction tie 240 3600.01/3610.61 c CG core degree average 1.19 3600.01/3610.61 c CG core slack average 8.28 3600.01/3610.61 s SATISFIABLE 3600.01/3610.61 v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 x25 x26 x27 x28 x29 -x30 -x31 x32 x33 -x34 -x35 -x36 -x37 x38 x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 x121 -x122 -x123 x124 x125 x126 -x127 -x128 -x129 x130 x131 -x132 x133 x134 -x135 -x136 x137 x138 -x139 -x140 x141 x142 -x143 -x144 x145 x146 -x147 -x148 -x149 x150 x151 -x152 -x153 x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 x177 -x178 x179 x180 x181 -x182 x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 x197 x198 x199 -x200 x201 x202 -x203 -x204 x205 x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 x220 x221 x222 x223 x224 -x225 x226 x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 -x251 x252 -x253 -x254 x255 x256 -x257 -x258 x259 x260 -x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 -x270 x271 x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 x292 x293 -x294 -x295 x296 x297 x298 -x299 -x300 x301 x302 -x303 -x304 -x305 -x306 x307 -x308 x309 x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 x348 -x349 -x350 -x351 x352 x353 -x354 x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 x372 x373 -x374 -x375 x376 x377 -x378 -x379 -x380 x381 -x382 -x383 x384 x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 x397 x398 x399 -x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 x484 x485 x486 -x487 -x488 -x489 x490 -x491 -x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 -x503 -x504 x505 x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 x523 -x524 -x525 x526 x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 x535 x536 -x537 -x538 -x539 -x540 x541 -x542 x543 x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 x594 x595 -x596 -x597 -x598 x599 x600 x601 x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 x620 x621 -x622 x623 x624 -x625 -x626 x627 x628 -x629 -x630 -x631 x632 x633 x634 x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 x649 -x650 -x651 x652 x653 -x654 -x655 -x656 x657 x658 x659 -x660 -x661 -x662 -x663 x664 x665 -x666 -x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 -x679 -x680 x681 x682 -x683 -x684 x685 x686 x687 x688 x689 x690 -x691 -x692 x693 x694 x695 -x696 x697 x698 x699 -x700 -x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 x713 x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 x727 x728 -x729 x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 x743 x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 x753 x754 x755 x756 x757 -x758 x759 x760 -x761 -x762 x763 x764 -x765 -x766 x767 x768 -x769 -x770 x771 x772 -x773 -x774 x775 x776 -x777 -x778 x779 x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 x803 x804 x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 x824 -x825 x826 x827 -x828 -x829 -x830 x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 x843 x844 -x845 -x846 -x847 x848 -x849 -x850 x851 x852 -x853 -x854 x855 x856 x857 x858 -x859 x860 x861 x862 -x863 -x864 x865 x866 -x867 -x868 -x869 -x870 x871 -x872 x873 x874 -x875 -x876 x877 x878 x879 -x880 -x881 x882 x883 -x884 -x885 x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 x903 x904 -x905 -x906 -x907 x908 -x909 -x910 x911 x912 x913 x914 x915 x916 -x917 -x918 x919 x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 x929 x930 x931 x932 x933 x934 x935 x936 x937 -x938 -x939 -x940 x941 -x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 x953 -x954 -x955 x956 x957 x958 x959 x960 x961 x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 x980 x981 x982 x983 -x984 -x985 x986 x987 x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 x1012 x1013 -x1014 -x1015 -x1016 x1017 x1018 -x1019 x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 x1052 x1053 -x1054 -x1055 x1056 x1057 -x1058 -x1059 -x1060 x1061 x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 x1073 x1074 -x1075 -x1076 x1077 x1078 x1079 -x1080 x1081 x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 -x1104 -x1105 -x1106 x1107 x1108 -x1109 x1110 x1111 x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 x1119 x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 x1127 x1128 x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 x1154 -x1155 -x1156 -x1157 x1158 x1159 -x1160 x1161 x1162 -x1163 -x1164 x1165 x1166 -x1167 -x1168 x1169 x1170 -x1171 -x1172 -x1173 x1174 x1175 -x1176 x1177 x1178 x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 x1317 x1318 x1319 -x1320 -x1321 x1322 x1323 -x1324 -x1325 x1326 x1327 x1328 -x1329 x1330 x1331 -x1332 -x1333 -x1334 x1335 x1336 x1337 x1338 x1339 x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 x1352 x1353 x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 x1383 x1384 x1385 x1386 x1387 x1388 -x1389 x1390 x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 x1459 x1460 x1461 x1462 x1463 x1464 -x1465 x1466 x1467 -x1468 -x1469 x1470 x1471 -x1472 -x1473 -x1474 x1475 x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 x1487 x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 x1501 -x1502 -x1503 x1504 x1505 -x1506 -x1507 x1508 x1509 -x1510 -x1511 x1512 x1513 -x1514 -x1515 x1516 x1517 x1518 -x1519 -x1520 x1521 x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 x1529 x1530 -x1531 -x1532 x1533 x1534 -x1535 -x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 x1554 x1555 x1556 -x1557 x1558 x1559 -x1560 -x1561 x1562 x1563 -x1564 -x1565 -x1566 x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 x1579 x1580 -x1581 -x1582 x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 x1617 x1618 -x1619 -x1620 x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 x1641 x1642 x1643 x1644 -x1645 x1646 x1647 x1648 -x1649 x1650 x1651 -x1652 -x1653 x1654 x1655 x1656 -x1657 x1658 x1659 x1660 -x1661 x1662 x1663 -x1664 -x1665 x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 x1691 x1692 x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 x1704 x1705 x1706 x1707 x1708 x1709 x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 -x1719 -x1720 -x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 x1737 x1738 -x1739 -x1740 x1741 x1742 x1743 x1744 -x1745 x1746 x1747 x1748 -x1749 x1750 x1751 -x1752 -x1753 x1754 x1755 -x1756 -x1757 x1758 x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 x1779 x1780 -x1781 -x1782 x1783 x1784 x1785 -x1786 -x1787 x1788 x1789 -x1790 -x1791 x1792 x1793 -x1794 -x1795 x1796 x1797 x1798 -x1799 x1800 x1801 x1802 -x1803 x1804 x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 x1817 x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 x1838 x1839 -x1840 -x1841 -x1842 x1843 x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 x1859 x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 x1883 x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 x1892 x1893 -x1894 -x1895 x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 x1905 x1906 -x1907 x1908 x1909 x1910 -x1911 -x1912 x1913 x1914 -x1915 -x1916 -x1917 -x1918 x1919 x1920 x1921 -x1922 x1923 x1924 -x1925 -x1926 x1927 x1928 -x1929 -x1930 x1931 x1932 x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 x1944 x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 x1952 x1953 -x1954 -x1955 -x1956 -x1957 x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 x1981 x1982 x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 x1998 x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 x2031 x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 x2081 -x2082 -x2083 x2084 x2085 x2086 -x2087 x2088 x2089 x2090 -x2091 -x2092 x2093 x2094 -x2095 -x2096 -x2097 -x2098 x2099 x2100 x2101 x2102 -x2103 -x2104 -x2105 x2106 -x2107 -x2108 x2109 x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 x2118 x2119 -x2120 -x2121 x2122 x2123 -x2124 -x2125 x2126 x2127 -x2128 -x2129 x2130 x2131 -x2132 -x2133 -x2134 x2135 x2136 -x2137 x2138 x2139 x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 x2147 x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 x2155 x2156 x2157 x2158 x2159 -x2160 -x2161 x2162 x2163 x2164 -x2165 -x2166 -x2167 x2168 x2169 x2170 x2171 x2172 x2173 x2174 x2175 x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 x2183 x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 x2209 -x2210 -x2211 -x2212 x2213 x2214 -x2215 -x2216 x2217 x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 x2242 x2243 -x2244 -x2245 x2246 x2247 x2248 x2249 x2250 x2251 x2252 x2253 x2254 x2255 x2256 x2257 x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 x2294 x2295 -x2296 -x2297 x2298 x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 x2311 x2312 -x2313 -x2314 x2315 x2316 -x2317 -x2318 x2319 x2320 x2321 -x2322 x2323 x2324 x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 x2348 x2349 x2350 x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 x2358 x2359 x2360 x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 x2387 -x2388 -x2389 x2390 x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 x2411 x2412 -x2413 -x2414 x2415 x2416 -x2417 -x2418 x2419 x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 x2432 x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 x2450 -x2451 -x2452 x2453 x2454 x2455 x2456 x2457 x2458 x2459 -x2460 x2461 x2462 x2463 -x2464 x2465 x2466 -x2467 -x2468 x2469 x2470 -x2471 -x2472 -x2473 x2474 x2475 -x2476 -x2477 x2478 x2479 x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 x2496 x2497 -x2498 -x2499 x2500 x2501 x2502 x2503 x2504 x2505 x2506 -x2507 x2508 x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 x2516 x2517 -x2518 -x2519 -x2520 x2521 x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 x2534 x2535 -x2536 -x2537 -x2538 x2539 x2540 -x2541 -x2542 x2543 x2544 x2545 x2546 x2547 x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 x2588 x2589 -x2590 -x2591 x2592 x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 x2600 x2601 -x2602 -x2603 x2604 x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 x2634 -x2635 -x2636 x2637 x2638 -x2639 -x2640 -x2641 x2642 x2643 -x2644 x2645 x2646 x2647 x2648 x2649 x2650 -x2651 -x2652 x2653 x2654 -x2655 -x2656 x2657 x2658 x2659 -x2660 -x2661 x2662 x2663 -x2664 -x2665 x2666 x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 x2678 x2679 -x2680 -x2681 -x2682 x2683 x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 x2691 x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 x2701 x2702 x2703 x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 x2713 x2714 x2715 x2716 x2717 -x2718 -x2719 x2720 x2721 -x2722 -x2723 x2724 x2725 -x2726 -x2727 -x2728 x2729 -x2730 -x2731 -x2732 x2733 x2734 -x2735 -x2736 x2737 x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 x2758 x2759 -x2760 -x2761 x2762 x2763 x2764 x2765 x2766 x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 x2782 x2783 x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 x2803 x2804 -x2805 -x2806 x2807 x2808 x2809 x2810 -x2811 x2812 x2813 -x2814 -x2815 x2816 x2817 -x2818 -x2819 x2820 x2821 -x2822 -x2823 x2824 x2825 -x2826 -x2827 x2828 x2829 -x2830 -x2831 x2832 x2833 x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 x2854 x2855 -x2856 x2857 x2858 x2859 x2860 -x2861 x2862 x2863 -x2864 -x2865 x2866 x2867 -x2868 -x2869 x2870 x2871 x2872 x2873 x2874 x2875 x2876 x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 x2888 x2889 -x2890 -x2891 x2892 x2893 -x2894 -x2895 x2896 x2897 -x2898 -x2899 -x2900 x2901 x2902 x2903 x2904 x2905 x2906 -x2907 -x2908 x2909 x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 x2926 x2927 -x2928 -x2929 -x2930 x2931 x2932 -x2933 x2934 x2935 x2936 x2937 x2938 x2939 -x2940 -x2941 -x2942 x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 x2967 x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 x2977 -x2978 -x2979 x2980 x2981 -x2982 -x2983 x2984 x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999 -x3000 x3001 x3002 -x3003 -x3004 -x3005 -x3006 x3007 x3008 x3009 x3010 -x3011 -x3012 -x3013 x3014 x3015 -x3016 x3017 x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 x3033 x3034 -x3035 -x3036 x3037 x3038 -x3039 -x3040 -x3041 -x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 x3067 x3068 x3069 -x3070 x3071 x3072 -x3073 -x3074 x3075 x3076 x3077 x3078 x3079 x3080 -x3081 x3082 x3083 -x3084 -x3085 x3086 x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 x3095 x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 x3115 x3116 x3117 x3118 -x3119 x3120 x3121 x3122 x3123 x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 x3133 x3134 x3135 -x3136 -x3137 -x3138 x3139 x3140 -x3141 x3142 x3143 x3144 -x3145 x3146 x3147 -x3148 -x3149 -x3150 x3151 x3152 -x3153 -x3154 x3155 x3156 -x3157 -x3158 x3159 x3160 -x3161 -x3162 -x3163 x3164 x3165 x3166 x3167 x3168 x3169 x3170 x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 x3186 x3187 x3188 -x3189 x3190 x3191 x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 x3199 x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 x3207 -x3208 -x3209 x3210 x3211 x3212 -x3213 -x3214 -x3215 x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 x3233 -x3234 x3235 x3236 x3237 -x3238 -x3239 -x3240 x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 x3254 x3255 x3256 x3257 x3258 -x3259 x3260 x3261 x3262 x3263 -x3264 -x3265 x3266 x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 x3284 -x3285 -x3286 -x3287 x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 x3295 x3296 -x3297 -x3298 -x3299 x3300 -x3301 -x3302 x3303 x3304 x3305 -x3306 x3307 x3308 x3309 x3310 x3311 x3312 x3313 x3314 -x3315 x3316 x3317 -x3318 -x3319 x3320 x3321 x3322 -x3323 x3324 x3325 -x3326 -x3327 -x3328 x3329 -x3330 -x3331 x3332 x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 x3342 x3343 x3344 x3345 x3346 x3347 -x3348 -x3349 -x3350 x3351 -x3352 -x3353 x3354 x3355 x3356 -x3357 -x3358 x3359 x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 -x3378 x3379 x3380 x3381 -x3382 -x3383 -x3384 x3385 -x3386 -x3387 x3388 x3389 -x3390 -x3391 x3392 x3393 -x3394 -x3395 x3396 x3397 -x3398 -x3399 x3400 x3401 x3402 -x3403 x3404 x3405 x3406 -x3407 -x3408 x3409 x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 x3442 x3443 x3444 x3445 -x3446 x3447 -x3448 x3449 x3450 x3451 -x3452 -x3453 x3454 x3455 -x3456 -x3457 x3458 x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 x3466 x3467 -x3468 -x3469 x3470 x3471 x3472 -x3473 x3474 x3475 x3476 x3477 -x3478 x3479 x3480 -x3481 -x3482 -x3483 x3484 -x3485 -x3486 -x3487 x3488 -x3489 -x3490 -x3491 -x3492 x3493 -x3494 x3495 x3496 -x3497 -x3498 x3499 x3500 x3501 -x3502 -x3503 x3504 x3505 -x3506 -x3507 x3508 x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 x3516 x3517 -x3518 -x3519 x3520 x3521 -x3522 -x3523 -x3524 -x3525 x3526 -x3527 -x3528 -x3529 x3530 -x3531 -x3532 -x3533 x3534 -x3535 -x3536 x3537 x3538 -x3539 -x3540 x3541 x3542 x3543 x3544 x3545 x3546 -x3547 -x3548 x3549 x3550 x3551 -x3552 -x3553 x3554 x3555 x3556 -x3557 x3558 x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 x3566 x3567 -x3568 -x3569 x3570 x3571 x3572 -x3573 x3574 x3575 -x3576 -x3577 x3578 x3579 -x3580 -x3581 x3582 x3583 -x3584 -x3585 -x3586 x3587 x3588 x3589 -x3590 x3591 x3592 x3593 -x3594 x3595 x3596 x3597 x3598 x3599 x3600 x3601 -x3602 -x3603 x3604 x3605 x3606 x3607 x3608 x3609 x3610 x3611 x3612 -x3613 -x3614 x3615 x3616 -x3617 -x3618 -x3619 x3620 x3621 -x3622 x3623 x3624 -x3625 -x3626 x3627 x3628 -x3629 -x3630 x3631 x3632 x3633 -x3634 -x3635 x3636 x3637 -x3638 -x3639 x3640 x3641 -x3642 -x3643 -x3644 -x3645 x3646 x3647 -x3648 -x3649 -x3650 x3651 x3652 x3653 x3654 x3655 x3656 x3657 x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 x3666 -x3667 -x3668 x3669 x3670 x3671 -x3672 x3673 x3674 -x3675 -x3676 -x3677 x3678 x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 x3690 -x3691 -x3692 -x3693 x3694 -x3695 -x3696 x3697 x3698 x3699 -x3700 x3701 x3702 x3703 -x3704 -x3705 -x3706 x3707 -x3708 -x3709 x3710 x3711 -x3712 -x3713 -x3714 x3715 x3716 -x3717 x3718 x3719 x3720 -x3721 x3722 x3723 -x3724 -x3725 -x3726 -x3727 x3728 x3729 x3730 -x3731 x3732 x3733 -x3734 -x3735 x3736 x3737 -x3738 -x3739 x3740 x3741 -x3742 -x3743 -x3744 x3745 x3746 -x3747 -x3748 x3749 x3750 -x3751 -x3752 x3753 x3754 -x3755 -x3756 x3757 x3758 -x3759 -x3760 x3761 x3762 -x3763 -x3764 x3765 x3766 x3767 x3768 x3769 x3770 -x3771 -x3772 x3773 x3774 x3775 x3776 x3777 x3778 x3779 -x3780 -x3781 x3782 x3783 x3784 x3785 x3786 x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 x3794 x3795 -x3796 -x3797 x3798 x3799 x3800 -x3801 -x3802 x3803 x3804 -x3805 -x3806 x3807 x3808 x3809 x3810 x3811 x3812 x3813 x3814 -x3815 -x3816 x3817 x3818 x3819 x3820 x3821 x3822 x3823 x3824 -x3825 -x3826 x3827 x3828 -x3829 -x3830 x3831 x3832 -x3833 -x3834 x3835 x3836 x3837 -x3838 x3839 x3840 -x3841 -x3842 -x3843 x3844 x3845 x3846 -x3847 x3848 x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 x3856 x3857 -x3858 -x3859 -x3860 x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 x3868 x3869 x3870 -x3871 -x3872 -x3873 x3874 x3875 x3876 x3877 x3878 x3879 -x3880 x3881 x3882 x3883 x3884 x3885 -x3886 -x3887 x3888 x3889 -x3890 -x3891 x3892 x3893 x3894 -x3895 -x3896 x3897 x3898 -x3899 -x3900 -x3901 x3902 -x3903 -x3904 x3905 x3906 -x3907 -x3908 -x3909 x3910 -x3911 -x3912 x3913 x3914 -x3915 -x3916 x3917 x3918 x3919 -x3920 -x3921 x3922 x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 x3930 x3931 -x3932 -x3933 x3934 x3935 -x3936 -x3937 -x3938 x3939 x3940 x3941 x3942 x3943 x3944 x3945 -x3946 -x3947 x3948 x3949 -x3950 -x3951 x3952 x3953 x3954 x3955 x3956 x3957 x3958 x3959 x3960 x3961 x3962 x3963 -x3964 x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 x3975 -x3976 -x3977 -x3978 x3979 x3980 -x3981 -x3982 x3983 x3984 -x3985 -x3986 x3987 x3988 -x3989 -x3990 x3991 x3992 -x3993 -x3994 x3995 x3996 -x3997 -x3998 x3999 x4000 -x4001 -x4002 -x4003 x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 x4012 x4013 -x4014 -x4015 x4016 x4017 -x4018 -x4019 x4020 x4021 x4022 x4023 x4024 x4025 -x4026 -x4027 x4028 x4029 x4030 x4031 x4032 x4033 -x4034 -x4035 x4036 x4037 -x4038 -x4039 x4040 x4041 -x4042 -x4043 x4044 x4045 x4046 x4047 x4048 x4049 x4050 x4051 -x4052 x4053 x4054 x4055 -x4056 x4057 x4058 -x4059 -x4060 -x4061 x4062 x4063 x4064 x4065 x4066 -x4067 -x4068 x4069 x4070 -x4071 -x4072 x4073 x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 x4082 x4083 -x4084 -x4085 x4086 x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 x4094 x4095 -x4096 -x4097 -x4098 x4099 x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x412
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (55375 MiB free)
memory of node 1: 64473 MiB (61530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460252-1722064836/watcher-4460252-1722064836 -o /tmp/evaluation-result-4460252-1722064836/solver-4460252-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722064836-364613 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460252-1722064836 --lp-cut-gomory=0 HOME/instance-4460252-1722064836.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=364663, runsolver pid=364657
[startup+0.100271 s]*
/proc/loadavg: 0.13 0.11 0.09 5/256 364676
/proc/meminfo: memFree=119672880/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=46916 memory=16020 CPUtime=0.09 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 2938 0 0 0 8 1 0 0 20 0 1 0 43011867 48041984 4005 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 11729 4005 1762 992 0 3587 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 16020 KiB
[startup+0.205546 s]*
/proc/loadavg: 0.13 0.11 0.09 5/256 364676
/proc/meminfo: memFree=119662112/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=47300 memory=16932 CPUtime=0.19 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 3154 0 0 0 18 1 0 0 20 0 1 0 43011867 48435200 4233 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 11825 4233 1794 992 0 3683 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47300 KiB
Current children cumulated memory: 16932 KiB
[startup+0.305117 s]*
/proc/loadavg: 0.13 0.11 0.09 5/256 364676
/proc/meminfo: memFree=119650476/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=47848 memory=18576 CPUtime=0.29 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 3517 0 0 0 26 3 0 0 20 0 1 0 43011867 48996352 4644 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 11962 4644 1810 992 0 3820 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47848 KiB
Current children cumulated memory: 18576 KiB
[startup+0.700178 s]
/proc/loadavg: 0.13 0.11 0.09 5/256 364676
/proc/meminfo: memFree=119625348/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=52700 memory=25848 CPUtime=0.69 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 4350 0 0 0 50 19 0 0 20 0 1 0 43011867 53964800 6462 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 13175 6462 1810 992 0 5033 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52700 KiB
Current children cumulated memory: 25848 KiB
[startup+1.50022 s]
/proc/loadavg: 0.13 0.11 0.09 4/254 364676
/proc/meminfo: memFree=119576384/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=67360 memory=38372 CPUtime=1.48 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 5943 0 0 0 103 45 0 0 20 0 1 0 43011867 68976640 9593 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 16840 9593 1810 992 0 8698 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67360 KiB
Current children cumulated memory: 38372 KiB
[startup+3.10574 s]
/proc/loadavg: 0.44 0.18 0.11 4/250 364710
/proc/meminfo: memFree=119371392/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=87548 memory=52392 CPUtime=3.08 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 8422 0 0 0 244 64 0 0 20 0 1 0 43011867 89649152 13098 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 21887 13098 1810 992 0 13745 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 87548 KiB
Current children cumulated memory: 52392 KiB
[startup+6.30021 s]
/proc/loadavg: 0.44 0.18 0.11 5/256 364725
/proc/meminfo: memFree=119032412/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=118692 memory=78880 CPUtime=6.27 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 11919 0 0 0 491 136 0 0 20 0 1 0 43011867 121540608 19720 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 29673 19720 1873 992 0 21531 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118692 KiB
Current children cumulated memory: 78880 KiB
[startup+12.7002 s]
/proc/loadavg: 0.72 0.24 0.13 5/256 364726
/proc/meminfo: memFree=118833596/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=139212 memory=99980 CPUtime=12.65 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 17205 0 0 0 1080 185 0 0 20 0 1 0 43011867 142553088 24995 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 34803 24995 1873 992 0 26661 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 139212 KiB
Current children cumulated memory: 99980 KiB
[startup+25.5002 s]
/proc/loadavg: 1.45 0.42 0.20 5/256 364728
/proc/meminfo: memFree=118391556/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=179608 memory=149040 CPUtime=25.43 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 26717 0 0 0 2271 272 0 0 20 0 1 0 43011867 183918592 37260 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 44902 37260 1873 992 0 36760 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 179608 KiB
Current children cumulated memory: 149040 KiB
[startup+51.1057 s]
/proc/loadavg: 2.38 0.73 0.30 6/259 364734
/proc/meminfo: memFree=117652056/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=479672 memory=371012 CPUtime=50.97 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 58712 0 0 0 4699 398 0 0 20 0 1 0 43011867 491184128 92753 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 119918 92753 1889 992 0 111776 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 479672 KiB
Current children cumulated memory: 371012 KiB
[startup+102.3 s]
/proc/loadavg: 3.35 1.25 0.51 5/259 364745
/proc/meminfo: memFree=116540872/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=567564 memory=501488 CPUtime=102.04 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 77679 0 0 0 9679 525 0 0 20 0 1 0 43011867 581185536 125372 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 141891 125372 1889 992 0 133749 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 567564 KiB
Current children cumulated memory: 501488 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 1.78 0.74 5/260 364756
/proc/meminfo: memFree=115906576/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=763948 memory=599844 CPUtime=161.88 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 94607 0 0 0 15554 634 0 0 20 0 1 0 43011867 782282752 149961 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 190987 149961 1889 992 0 182845 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 763948 KiB
Current children cumulated memory: 599844 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.22 0.95 5/260 364767
/proc/meminfo: memFree=114731036/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=766580 memory=604900 CPUtime=221.69 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 95760 0 0 0 21397 772 0 0 20 0 1 0 43011867 784977920 151225 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 191645 151225 1889 992 0 183503 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 766580 KiB
Current children cumulated memory: 604900 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 2.58 1.16 5/260 364777
/proc/meminfo: memFree=113260536/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=895448 memory=778976 CPUtime=281.5 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 120976 0 0 0 27262 888 0 0 20 0 1 0 43011867 916938752 194744 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 223862 194744 1889 992 0 215720 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 895448 KiB
Current children cumulated memory: 778976 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 2.87 1.35 5/258 365172
/proc/meminfo: memFree=112499548/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=896252 memory=779584 CPUtime=341.33 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 121547 0 0 0 33090 1043 0 0 20 0 1 0 43011867 917762048 194896 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 224063 194896 1889 992 0 215921 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 896252 KiB
Current children cumulated memory: 779584 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.11 1.53 5/259 365184
/proc/meminfo: memFree=111842980/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=917756 memory=799672 CPUtime=401.18 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 125636 0 0 0 38976 1142 0 0 20 0 1 0 43011867 939782144 199918 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 229439 199918 1889 992 0 221297 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 917756 KiB
Current children cumulated memory: 799672 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 3.32 1.70 5/258 365194
/proc/meminfo: memFree=110633772/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=918104 memory=800184 CPUtime=461.02 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 126509 0 0 0 44883 1219 0 0 20 0 1 0 43011867 940138496 200046 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 229526 200046 1889 992 0 221384 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/264 366508
/proc/meminfo: memFree=87911668/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4102648 memory=3384052 CPUtime=3153.14 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 556194 0 0 0 312028 3286 0 0 20 0 1 0 43011867 4201111552 846013 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1025662 846013 1889 992 0 1017520 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 4102648 KiB
Current children cumulated memory: 3384052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/260 366519
/proc/meminfo: memFree=87334788/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4361968 memory=3636752 CPUtime=3212.97 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 596818 0 0 0 317979 3318 0 0 20 0 1 0 43011867 4466655232 909188 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1090492 909188 1889 992 0 1082350 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 4361968 KiB
Current children cumulated memory: 3636752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/261 366531
/proc/meminfo: memFree=87005608/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4440628 memory=3727448 CPUtime=3272.79 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 611878 0 0 0 323941 3338 0 0 20 0 1 0 43011867 4547203072 931862 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110157 931862 1889 992 0 1102015 0
Current children cumulated CPU time: 3272.79 s
Current children cumulated vsize: 4440628 KiB
Current children cumulated memory: 3727448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.43 4.19 4.05 5/258 366542
/proc/meminfo: memFree=86674296/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4442764 memory=3731060 CPUtime=3332.6 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 613231 0 0 0 329903 3357 0 0 20 0 1 0 43011867 4549390336 932765 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110691 932765 1889 992 0 1102549 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 4442764 KiB
Current children cumulated memory: 3731060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.77 4.33 4.11 5/258 366554
/proc/meminfo: memFree=86251404/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4442764 memory=3731216 CPUtime=3392.39 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 614294 0 0 0 335875 3364 0 0 20 0 1 0 43011867 4549390336 932804 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110691 932804 1889 992 0 1102549 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 4442764 KiB
Current children cumulated memory: 3731216 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.29 4.10 5/260 366566
/proc/meminfo: memFree=85672912/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4442764 memory=3733308 CPUtime=3452.18 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 615095 0 0 0 341846 3372 0 0 20 0 1 0 43011867 4549390336 933327 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110691 933327 1889 992 0 1102549 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 4442764 KiB
Current children cumulated memory: 3733308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.48 4.35 4.14 5/260 366576
/proc/meminfo: memFree=85480296/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4443940 memory=3734460 CPUtime=3511.96 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 617094 0 0 0 347794 3402 0 0 20 0 1 0 43011867 4550594560 933615 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110985 933615 1889 992 0 1102843 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 4443940 KiB
Current children cumulated memory: 3734460 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.30 4.13 5/260 366589
/proc/meminfo: memFree=85102468/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4443940 memory=3734460 CPUtime=3571.8 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 618137 0 0 0 353695 3485 0 0 20 0 1 0 43011867 4550594560 933615 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110985 933615 1889 992 0 1102843 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 4443940 KiB
Current children cumulated memory: 3734460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.20 4.29 4.13 6/258 366593
/proc/meminfo: memFree=84950660/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4443940 memory=3734460 CPUtime=3600.01 cores=4,6
/proc/364663/stat : 364663 (roundingsat) R 364657 364663 364597 0 -1 4194304 618878 0 0 0 356492 3509 0 0 20 0 1 0 43011867 4550594560 933615 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110985 933615 1889 992 0 1102843 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4443940 KiB
Current children cumulated memory: 3734460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.20 4.29 4.13 3/252 366621
/proc/meminfo: memFree=88958912/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4443940 memory=3734460 CPUtime=3600.04 cores=4,6
/proc/364663/stat : 364663 (roundingsat) D 364657 364663 364597 0 -1 4194304 618900 0 0 0 356494 3510 0 0 20 0 1 0 43011867 4550594560 933615 134679101440 4194304 8254357 140732828954800 0 0 256 0 0 25182210 0 0 0 17 6 0 0 226 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110985 933615 1889 992 0 1102843 0
??? kill 364663 sig 9
??? end of watcher thread
[startup+3626.91 s]
# the end of solver process 364663 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3564.94 s, system=35.1451 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.20 4.29 4.13 3/252 366619
/proc/meminfo: memFree=88960876/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4443940 memory=3734460 CPUtime=3600.04 cores=4,6
/proc/364663/stat : 364663 (roundingsat) D 364657 364663 364597 0 -1 4194304 618900 0 0 0 356494 3510 0 0 20 0 1 0 43011867 4550594560 933615 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 47 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110985 933615 1889 992 0 1102843 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4443940 KiB
Current children cumulated memory: 3734460 KiB
[startup+3612 s]*
/proc/loadavg: 4.20 4.29 4.13 3/252 366621
/proc/meminfo: memFree=88958744/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4443940 memory=3734460 CPUtime=3600.04 cores=4,6
/proc/364663/stat : 364663 (roundingsat) D 364657 364663 364597 0 -1 4194304 618900 0 0 0 356494 3510 0 0 20 0 1 0 43011867 4550594560 933615 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 6 0 0 226 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110985 933615 1889 992 0 1102843 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4443940 KiB
Current children cumulated memory: 3734460 KiB
[startup+3612.4 s]
/proc/loadavg: 4.20 4.29 4.13 3/252 366621
/proc/meminfo: memFree=88958744/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4443940 memory=3734460 CPUtime=3600.04 cores=4,6
/proc/364663/stat : 364663 (roundingsat) D 364657 364663 364597 0 -1 4194304 618900 0 0 0 356494 3510 0 0 20 0 1 0 43011867 4550594560 933615 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 6 0 0 226 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110985 933615 1889 992 0 1102843 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4443940 KiB
Current children cumulated memory: 3734460 KiB
[startup+3612.6 s]
/proc/loadavg: 4.20 4.29 4.13 3/252 366621
/proc/meminfo: memFree=88958744/131524600 swapFree=131068388/131071996
[pid=364663] ppid=364657 vsize=4443940 memory=3734460 CPUtime=3600.04 cores=4,6
/proc/364663/stat : 364663 (roundingsat) D 364657 364663 364597 0 -1 4194304 618900 0 0 0 356494 3510 0 0 20 0 1 0 43011867 4550594560 933615 134679101440 4194304 8254357 140732828954800 0 0 0 0 0 25182210 0 0 0 17 6 0 0 226 0 0 9037040 9046032 41828352 140732828963679 140732828963941 140732828963941 140732828970953 0
/proc/364663/statm: 1110985 933615 1889 992 0 1102843 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 4443940 KiB
Current children cumulated memory: 3734460 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3626.91
CPU time (s): 3600.09
CPU user time (s): 3564.94
CPU system time (s): 35.1451
CPU usage (%): 99.2604
Max. virtual memory (cumulated for all children) (KiB): 4443940
Max. memory (cumulated for all children) (KiB): 3734460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.94
system time used= 35.1451
maximum resident set size= 3734800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14981880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1623
involuntary context switches= 6143
# summary of solver processes directly reported to runsolver:
# pid: 364663
# total CPU time (s): 3600.09
# total CPU user time (s): 3564.94
# total CPU system time (s): 35.1451
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43142 second user time and 18.2303 second system time
The end
Begin job on nodeC018 at 2024-07-27 09:20:36 IDJOB=4460252 IDBENCH=146654 IDSOLVER=3086 FILE ID=nodeC018/4460252-1722064836 RUNJOBID= nodeC018-1722064836-364613 SLURM_JOB_ID= 8248088 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460252-1722064836/watcher-4460252-1722064836 -o /tmp/evaluation-result-4460252-1722064836/solver-4460252-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722064836-364613 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460252-1722064836 --lp-cut-gomory=0 HOME/instance-4460252-1722064836.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 95d9c8e5d82ddbf9273186de2f795996 RANDOM SEED=425005107 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.075 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3570.456 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3636.284 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3316.947 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3633.787 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3583.868 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3610.517 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.43 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3614.620 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 119722100 kB MemAvailable: 129770508 kB Buffers: 363444 kB Cached: 10458592 kB SwapCached: 608 kB Active: 2375268 kB Inactive: 8715112 kB Active(anon): 1840 kB Inactive(anon): 319944 kB Active(file): 2373428 kB Inactive(file): 8395168 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131068388 kB Dirty: 17280 kB Writeback: 0 kB AnonPages: 267812 kB Mapped: 104164 kB Shmem: 53728 kB KReclaimable: 239272 kB Slab: 361912 kB SReclaimable: 239272 kB SUnreclaim: 122640 kB KernelStack: 3816 kB PageTables: 8904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 670220 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17408 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 375508 kB DirectMap2M: 43438080 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890028 MiB End job on nodeC018 at 2024-07-27 10:21:03