| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.12 | 3619.95 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb |
| MD5SUM | ef7e1a396aea94ad22e53d7673ab3bc9 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1.93485 |
| 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 | 4617 |
| Total number of constraints | 5280 |
| Number of constraints which are clauses | 4395 |
| Number of constraints which are cardinality constraints (but not clauses) | 885 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 23 |
| Number of terms in the objective function | 4617 |
| Biggest coefficient in the objective function | 2642 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 13340 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 2642 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 13340 |
| 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 4617 #constraints 5280 1.38/1.45 c bounds - >= -2642 @ 0.016803 1.38/1.45 c bounds 271 >= -2642 @ 0.205515 1.38/1.45 c bounds 271 >= -2638 @ 0.207562 1.38/1.45 c bounds 271 >= -2634 @ 0.209633 1.38/1.45 c bounds 271 >= -2630 @ 0.211782 1.38/1.45 c bounds 271 >= -2626 @ 0.213458 1.38/1.45 c bounds 271 >= -2622 @ 0.216093 1.38/1.45 c bounds 271 >= -2618 @ 0.218068 1.38/1.45 c bounds 271 >= -2614 @ 0.220147 1.38/1.45 c bounds 270 >= -2614 @ 0.332869 1.38/1.45 c bounds 224 >= -2614 @ 0.335022 1.38/1.45 c bounds 224 >= -2608 @ 0.337414 1.38/1.45 c bounds 224 >= -2605 @ 0.338962 1.38/1.45 c bounds 224 >= -2599 @ 0.339665 1.38/1.45 c bounds 224 >= -2596 @ 0.341198 1.38/1.45 c bounds 224 >= -2593 @ 0.34298 1.38/1.45 c bounds 224 >= -2590 @ 0.345794 1.38/1.45 c bounds 224 >= -2584 @ 0.347767 1.38/1.45 c bounds 224 >= -2581 @ 0.349728 1.38/1.45 c bounds 224 >= -2578 @ 0.351692 1.38/1.45 c bounds 224 >= -2575 @ 0.352665 1.38/1.45 c bounds 224 >= -2572 @ 0.354604 1.38/1.45 c bounds 224 >= -2566 @ 0.356537 1.38/1.45 c bounds 224 >= -2563 @ 0.358483 1.38/1.45 c bounds 224 >= -2557 @ 0.360275 1.38/1.45 c bounds 224 >= -2551 @ 0.362201 1.38/1.45 c bounds 224 >= -2548 @ 0.364095 1.38/1.45 c bounds 224 >= -2545 @ 0.366041 1.38/1.45 c bounds 224 >= -2542 @ 0.367964 1.38/1.45 c bounds 224 >= -2539 @ 0.369007 1.38/1.45 c bounds 224 >= -2536 @ 0.369995 1.38/1.45 c bounds 224 >= -2533 @ 0.372007 1.38/1.45 c bounds 224 >= -2530 @ 0.373035 1.38/1.45 c bounds 224 >= -2527 @ 0.37437 1.38/1.45 c bounds 224 >= -2524 @ 0.377421 1.38/1.45 c bounds 224 >= -2521 @ 0.379572 1.38/1.45 c bounds 224 >= -2512 @ 0.380854 1.38/1.45 c bounds 224 >= -2509 @ 0.38298 1.38/1.45 c bounds 224 >= -2506 @ 0.385367 1.38/1.45 c bounds 224 >= -2500 @ 0.388568 1.38/1.45 c bounds 224 >= -2497 @ 0.389891 1.38/1.45 c bounds 224 >= -2494 @ 0.39311 1.38/1.45 c bounds 224 >= -2488 @ 0.395425 1.38/1.45 c bounds 224 >= -2485 @ 0.397532 1.38/1.45 c bounds 224 >= -2482 @ 0.398836 1.38/1.45 c bounds 224 >= -2479 @ 0.40115 1.38/1.45 c bounds 224 >= -2473 @ 0.403634 1.38/1.45 c bounds 224 >= -2470 @ 0.406258 1.38/1.45 c bounds 224 >= -2467 @ 0.408633 1.38/1.45 c bounds 224 >= -2464 @ 0.411279 1.38/1.45 c bounds 224 >= -2461 @ 0.412957 1.38/1.45 c bounds 224 >= -2455 @ 0.415442 1.38/1.45 c bounds 224 >= -2449 @ 0.416912 1.38/1.45 c bounds 224 >= -2446 @ 0.420518 1.38/1.45 c bounds 224 >= -2443 @ 0.422235 1.38/1.45 c bounds 224 >= -2440 @ 0.425524 1.38/1.45 c bounds 224 >= -2437 @ 0.428173 1.38/1.45 c bounds 224 >= -2434 @ 0.430562 1.38/1.45 c bounds 224 >= -2431 @ 0.432196 1.38/1.45 c bounds 224 >= -2428 @ 0.434546 1.38/1.45 c bounds 224 >= -2425 @ 0.437961 1.38/1.45 c bounds 224 >= -2422 @ 0.440554 1.38/1.45 c bounds 224 >= -2419 @ 0.444123 1.38/1.45 c bounds 224 >= -2416 @ 0.446722 1.38/1.45 c bounds 224 >= -2413 @ 0.448375 1.38/1.45 c bounds 224 >= -2410 @ 0.450852 1.38/1.45 c bounds 224 >= -2407 @ 0.45256 1.38/1.45 c bounds 224 >= -2404 @ 0.454285 1.38/1.45 c bounds 224 >= -2401 @ 0.455833 1.38/1.45 c bounds 224 >= -2398 @ 0.459643 1.38/1.45 c bounds 224 >= -2395 @ 0.460483 1.38/1.45 c bounds 224 >= -2392 @ 0.462332 1.38/1.45 c bounds 224 >= -2389 @ 0.463917 1.38/1.45 c bounds 224 >= -2386 @ 0.467644 1.38/1.45 c bounds 224 >= -2383 @ 0.470494 1.38/1.45 c bounds 224 >= -2380 @ 0.473186 1.38/1.45 c bounds 224 >= -2377 @ 0.476619 1.38/1.45 c bounds 224 >= -2374 @ 0.479481 1.38/1.45 c bounds 224 >= -2371 @ 0.484495 1.38/1.45 c bounds 224 >= -2368 @ 0.48673 1.38/1.45 c bounds 224 >= -2365 @ 0.489998 1.38/1.45 c bounds 224 >= -2362 @ 0.494335 1.38/1.45 c bounds 224 >= -2359 @ 0.50372 1.38/1.45 c bounds 221 >= -2359 @ 0.595093 1.38/1.45 c bounds 221 >= -2356 @ 0.634437 1.38/1.45 c bounds 221 >= -2353 @ 0.641567 1.38/1.45 c bounds 221 >= -2350 @ 0.646486 1.38/1.45 c #Conflicts: 1000 | #Constraints: 6754 1.38/1.45 c bounds 221 >= -2347 @ 0.74689 1.38/1.45 c bounds 219 >= -2347 @ 0.776776 1.38/1.45 c bounds 218 >= -2347 @ 0.884416 1.38/1.45 c bounds 217 >= -2347 @ 0.931263 1.38/1.45 c bounds 215 >= -2347 @ 0.982183 1.38/1.45 c bounds 215 >= -2344 @ 0.985176 1.38/1.45 c bounds 215 >= -2341 @ 1.01003 1.38/1.45 c #Conflicts: 2000 | #Constraints: 7815 1.38/1.45 c INPROCESSING 1.38/1.45 c GARBAGE COLLECT 1.38/1.45 c rational objective 2 3.97/4.02 c bounds 215 >= -2338 @ 1.36088 3.97/4.02 c bounds 165 >= -2338 @ 1.3829 3.97/4.02 c bounds 165 >= -2332 @ 1.38586 3.97/4.02 c bounds 165 >= -2330 @ 1.38774 3.97/4.02 c bounds 165 >= -2328 @ 1.39072 3.97/4.02 c bounds 165 >= -2324 @ 1.39195 3.97/4.02 c bounds 165 >= -2320 @ 1.39313 3.97/4.02 c bounds 165 >= -2318 @ 1.39431 3.97/4.02 c bounds 165 >= -2316 @ 1.39667 3.97/4.02 c bounds 165 >= -2312 @ 1.39894 3.97/4.02 c bounds 165 >= -2308 @ 1.40022 3.97/4.02 c bounds 165 >= -2304 @ 1.40256 3.97/4.02 c bounds 165 >= -2302 @ 1.40491 3.97/4.02 c bounds 165 >= -2298 @ 1.40631 3.97/4.02 c bounds 165 >= -2294 @ 1.40783 3.97/4.02 c bounds 165 >= -2290 @ 1.41017 3.97/4.02 c bounds 165 >= -2286 @ 1.41363 3.97/4.02 c bounds 165 >= -2284 @ 1.41521 3.97/4.02 c bounds 165 >= -2282 @ 1.41873 3.97/4.02 c bounds 165 >= -2280 @ 1.42224 3.97/4.02 c bounds 165 >= -2278 @ 1.42482 3.97/4.02 c bounds 165 >= -2274 @ 1.42758 3.97/4.02 c bounds 165 >= -2272 @ 1.43029 3.97/4.02 c bounds 165 >= -2268 @ 1.43278 3.97/4.02 c bounds 165 >= -2266 @ 1.4345 3.97/4.02 c bounds 164 >= -2266 @ 1.44003 3.97/4.02 c bounds 164 >= -2264 @ 1.44172 3.97/4.02 c bounds 164 >= -2262 @ 1.44432 3.97/4.02 c bounds 164 >= -2260 @ 1.44588 3.97/4.02 c bounds 164 >= -2254 @ 1.44855 3.97/4.02 c bounds 164 >= -2250 @ 1.45004 3.97/4.02 c bounds 164 >= -2248 @ 1.45167 3.97/4.02 c bounds 164 >= -2246 @ 1.4533 3.97/4.02 c bounds 164 >= -2240 @ 1.4557 3.97/4.02 c bounds 164 >= -2238 @ 1.4574 3.97/4.02 c bounds 164 >= -2234 @ 1.45987 3.97/4.02 c bounds 162 >= -2234 @ 1.46556 3.97/4.02 c bounds 162 >= -2232 @ 1.46727 3.97/4.02 c bounds 162 >= -2226 @ 1.46878 3.97/4.02 c bounds 162 >= -2222 @ 1.47142 3.97/4.02 c bounds 162 >= -2216 @ 1.47287 3.97/4.02 c bounds 162 >= -2214 @ 1.47637 3.97/4.02 c bounds 162 >= -2210 @ 1.47898 3.97/4.02 c bounds 162 >= -2208 @ 1.48161 3.97/4.02 c bounds 162 >= -2202 @ 1.4843 3.97/4.02 c bounds 162 >= -2200 @ 1.48579 3.97/4.02 c bounds 162 >= -2198 @ 1.48939 3.97/4.02 c bounds 162 >= -2196 @ 1.49115 3.97/4.02 c bounds 161 >= -2196 @ 1.49491 3.97/4.02 c bounds 161 >= -2192 @ 1.49661 3.97/4.02 c bounds 161 >= -2188 @ 1.49933 3.97/4.02 c bounds 161 >= -2186 @ 1.50101 3.97/4.02 c bounds 161 >= -2184 @ 1.5035 3.97/4.02 c bounds 161 >= -2182 @ 1.50705 3.97/4.02 c bounds 161 >= -2180 @ 1.50954 3.97/4.02 c bounds 161 >= -2176 @ 1.51217 3.97/4.02 c bounds 161 >= -2174 @ 1.51362 3.97/4.02 c bounds 161 >= -2172 @ 1.51531 3.97/4.02 c #Conflicts: 3000 | #Constraints: 7929 3.97/4.02 c bounds 160 >= -2172 @ 3.36138 3.97/4.02 c bounds 160 >= -2170 @ 3.36383 3.97/4.02 c bounds 160 >= -2166 @ 3.36686 3.97/4.02 c bounds 160 >= -2162 @ 3.37003 3.97/4.02 c bounds 160 >= -2160 @ 3.37413 3.97/4.02 c bounds 160 >= -2158 @ 3.37725 3.97/4.02 c bounds 160 >= -2156 @ 3.37928 3.97/4.02 c bounds 160 >= -2154 @ 3.38135 3.97/4.02 c bounds 160 >= -2150 @ 3.38534 3.97/4.02 c bounds 160 >= -2148 @ 3.38754 3.97/4.02 c bounds 160 >= -2146 @ 3.38959 3.97/4.02 c bounds 160 >= -2144 @ 3.39365 3.97/4.02 c bounds 160 >= -2142 @ 3.39701 3.97/4.02 c bounds 160 >= -2140 @ 3.40024 3.97/4.02 c bounds 160 >= -2138 @ 3.40257 3.97/4.02 c bounds 160 >= -2136 @ 3.406 3.97/4.02 c bounds 160 >= -2134 @ 3.40831 3.97/4.02 c bounds 160 >= -2132 @ 3.41075 3.97/4.02 c bounds 160 >= -2128 @ 3.41293 3.97/4.02 c bounds 160 >= -2126 @ 3.41506 3.97/4.02 c bounds 160 >= -2124 @ 3.41736 3.97/4.02 c bounds 160 >= -2122 @ 3.42052 3.97/4.02 c bounds 160 >= -2120 @ 3.42259 3.97/4.02 c bounds 160 >= -2118 @ 3.42463 3.97/4.02 c bounds 160 >= -2116 @ 3.42769 3.97/4.02 c bounds 160 >= -2112 @ 3.43083 3.97/4.02 c bounds 160 >= -2108 @ 3.435 3.97/4.02 c bounds 160 >= -2106 @ 3.43813 3.97/4.02 c bounds 160 >= -2104 @ 3.44021 3.97/4.02 c bounds 160 >= -2102 @ 3.44327 3.97/4.02 c bounds 160 >= -2100 @ 3.44548 3.97/4.02 c bounds 160 >= -2098 @ 3.45076 3.97/4.02 c bounds 160 >= -2096 @ 3.45391 3.97/4.02 c bounds 160 >= -2094 @ 3.45783 3.97/4.02 c bounds 160 >= -2090 @ 3.46091 3.97/4.02 c bounds 160 >= -2088 @ 3.46376 3.97/4.02 c bounds 160 >= -2086 @ 3.46703 3.97/4.02 c bounds 160 >= -2084 @ 3.46925 3.97/4.02 c bounds 160 >= -2082 @ 3.47236 3.97/4.02 c bounds 160 >= -2080 @ 3.47637 3.97/4.02 c bounds 160 >= -2078 @ 3.48038 3.97/4.02 c bounds 160 >= -2076 @ 3.48326 3.97/4.02 c bounds 160 >= -2072 @ 3.48523 3.97/4.02 c bounds 160 >= -2070 @ 3.48748 3.97/4.02 c bounds 160 >= -2068 @ 3.49144 3.97/4.02 c bounds 160 >= -2066 @ 3.49327 3.97/4.02 c bounds 160 >= -2064 @ 3.49609 3.97/4.02 c bounds 160 >= -2062 @ 3.49982 3.97/4.02 c bounds 160 >= -2060 @ 3.50372 3.97/4.02 c bounds 160 >= -2056 @ 3.50562 3.97/4.02 c bounds 160 >= -2054 @ 3.50928 3.97/4.02 c bounds 160 >= -2052 @ 3.51205 3.97/4.02 c bounds 160 >= -2050 @ 3.51426 3.97/4.02 c bounds 160 >= -2048 @ 3.51817 3.97/4.02 c bounds 160 >= -2046 @ 3.5201 3.97/4.02 c bounds 160 >= -2042 @ 3.52302 3.97/4.02 c bounds 160 >= -2040 @ 3.52691 3.97/4.02 c bounds 160 >= -2038 @ 3.52886 3.97/4.02 c bounds 160 >= -2036 @ 3.53078 3.97/4.02 c bounds 160 >= -2034 @ 3.53383 3.97/4.02 c bounds 160 >= -2030 @ 3.5369 3.97/4.02 c bounds 160 >= -2028 @ 3.53883 3.97/4.02 c bounds 160 >= -2026 @ 3.54292 3.97/4.02 c bounds 160 >= -2024 @ 3.5459 3.97/4.02 c bounds 160 >= -2022 @ 3.54904 3.97/4.02 c bounds 160 >= -2020 @ 3.55309 3.97/4.02 c bounds 160 >= -2018 @ 3.55609 3.97/4.02 c bounds 160 >= -2016 @ 3.55938 3.97/4.02 c bounds 160 >= -2012 @ 3.5615 5.56/5.62 c bounds 160 >= -2010 @ 3.56268 5.56/5.62 c bounds 160 >= -2008 @ 3.56459 5.56/5.62 c bounds 160 >= -2006 @ 3.56748 5.56/5.62 c bounds 160 >= -2004 @ 3.57079 5.56/5.62 c bounds 160 >= -2002 @ 3.57292 5.56/5.62 c bounds 160 >= -2000 @ 3.577 5.56/5.62 c bounds 160 >= -1998 @ 3.58017 5.56/5.62 c bounds 160 >= -1996 @ 3.58456 5.56/5.62 c bounds 160 >= -1994 @ 3.58661 5.56/5.62 c bounds 160 >= -1992 @ 3.58954 5.56/5.62 c bounds 160 >= -1990 @ 3.59054 5.56/5.62 c bounds 160 >= -1988 @ 3.59259 5.56/5.62 c bounds 160 >= -1986 @ 3.59571 5.56/5.62 c bounds 160 >= -1984 @ 3.5988 5.56/5.62 c bounds 160 >= -1982 @ 3.60176 5.56/5.62 c bounds 160 >= -1980 @ 3.60391 5.56/5.62 c bounds 160 >= -1976 @ 3.60812 5.56/5.62 c bounds 160 >= -1974 @ 3.61281 5.56/5.62 c bounds 160 >= -1972 @ 3.61582 5.56/5.62 c bounds 160 >= -1970 @ 3.61864 5.56/5.62 c bounds 160 >= -1968 @ 3.62233 5.56/5.62 c bounds 160 >= -1964 @ 3.62601 5.56/5.62 c bounds 160 >= -1962 @ 3.6299 5.56/5.62 c bounds 160 >= -1960 @ 3.63451 5.56/5.62 c bounds 160 >= -1958 @ 3.63718 5.56/5.62 c bounds 160 >= -1956 @ 3.63998 5.56/5.62 c bounds 160 >= -1954 @ 3.64256 5.56/5.62 c bounds 160 >= -1952 @ 3.64527 5.56/5.62 c bounds 160 >= -1950 @ 3.65015 5.56/5.62 c bounds 160 >= -1946 @ 3.65358 5.56/5.62 c bounds 160 >= -1944 @ 3.65619 5.56/5.62 c bounds 160 >= -1942 @ 3.65971 5.56/5.62 c bounds 160 >= -1940 @ 3.66312 5.56/5.62 c bounds 160 >= -1938 @ 3.66768 5.56/5.62 c bounds 160 >= -1936 @ 3.67234 5.56/5.62 c bounds 160 >= -1932 @ 3.67524 5.56/5.62 c bounds 160 >= -1928 @ 3.67975 5.56/5.62 c bounds 160 >= -1924 @ 3.68415 5.56/5.62 c bounds 160 >= -1922 @ 3.6887 5.56/5.62 c bounds 160 >= -1920 @ 3.6932 5.56/5.62 c bounds 160 >= -1918 @ 3.69695 5.56/5.62 c bounds 160 >= -1916 @ 3.70045 5.56/5.62 c bounds 160 >= -1912 @ 3.7055 5.56/5.62 c bounds 160 >= -1910 @ 3.70961 5.56/5.62 c bounds 160 >= -1908 @ 3.71354 5.56/5.62 c bounds 160 >= -1904 @ 3.71834 5.56/5.62 c bounds 160 >= -1900 @ 3.7211 5.56/5.62 c bounds 160 >= -1898 @ 3.72501 5.56/5.62 c bounds 160 >= -1896 @ 3.7297 5.56/5.62 c bounds 160 >= -1894 @ 3.73362 5.56/5.62 c bounds 160 >= -1892 @ 3.73744 5.56/5.62 c bounds 160 >= -1890 @ 3.74255 5.56/5.62 c bounds 160 >= -1888 @ 3.74641 5.56/5.62 c bounds 160 >= -1886 @ 3.75028 5.56/5.62 c bounds 160 >= -1882 @ 3.75405 5.56/5.62 c bounds 160 >= -1880 @ 3.75698 5.56/5.62 c bounds 160 >= -1878 @ 3.75983 5.56/5.62 c bounds 160 >= -1876 @ 3.76394 5.56/5.62 c bounds 160 >= -1874 @ 3.76782 5.56/5.62 c bounds 160 >= -1872 @ 3.77233 5.56/5.62 c bounds 160 >= -1870 @ 3.77479 5.56/5.62 c bounds 160 >= -1866 @ 3.7771 5.56/5.62 c bounds 160 >= -1864 @ 3.78089 5.56/5.62 c bounds 160 >= -1862 @ 3.78478 5.56/5.62 c bounds 160 >= -1860 @ 3.78838 5.56/5.62 c bounds 160 >= -1858 @ 3.79303 5.56/5.62 c bounds 160 >= -1856 @ 3.79682 5.56/5.62 c bounds 160 >= -1854 @ 3.80075 5.56/5.62 c bounds 160 >= -1852 @ 3.80342 5.56/5.62 c bounds 160 >= -1850 @ 3.80787 5.56/5.62 c bounds 160 >= -1848 @ 3.81046 5.56/5.62 c bounds 160 >= -1846 @ 3.81336 5.56/5.62 c bounds 160 >= -1844 @ 3.81775 5.56/5.62 c bounds 160 >= -1842 @ 3.82138 5.56/5.62 c bounds 160 >= -1840 @ 3.82393 5.56/5.62 c bounds 160 >= -1838 @ 3.82695 5.56/5.62 c bounds 160 >= -1836 @ 3.82914 5.56/5.62 c bounds 160 >= -1834 @ 3.83236 5.56/5.62 c bounds 160 >= -1832 @ 3.83568 5.56/5.62 c bounds 160 >= -1830 @ 3.8391 5.56/5.62 c bounds 160 >= -1828 @ 3.84228 5.56/5.62 c bounds 160 >= -1826 @ 3.84647 5.56/5.62 c bounds 160 >= -1824 @ 3.85018 5.56/5.62 c bounds 160 >= -1822 @ 3.85473 5.56/5.62 c bounds 160 >= -1820 @ 3.86061 5.56/5.62 c bounds 160 >= -1818 @ 3.86601 5.56/5.62 c bounds 160 >= -1816 @ 3.87322 5.56/5.62 c bounds 160 >= -1814 @ 3.89492 5.56/5.62 c bounds 160 >= -1812 @ 3.90594 5.56/5.62 c bounds 160 >= -1810 @ 3.91801 5.56/5.62 c bounds 160 >= -1808 @ 3.92364 5.56/5.62 c bounds 160 >= -1806 @ 3.93032 5.56/5.62 c bounds 160 >= -1804 @ 3.93536 5.56/5.62 c bounds 160 >= -1802 @ 3.94006 5.56/5.62 c bounds 160 >= -1800 @ 3.95464 5.56/5.62 c bounds 160 >= -1798 @ 3.96264 5.56/5.62 c bounds 160 >= -1796 @ 3.97434 5.56/5.62 c bounds 160 >= -1794 @ 4.13379 5.56/5.62 c bounds 160 >= -1792 @ 4.14603 5.56/5.62 c #Conflicts: 4000 | #Constraints: 9846 5.56/5.62 c INPROCESSING 5.56/5.62 c GARBAGE COLLECT 5.56/5.62 c bounds 160 >= -1790 @ 4.81277 5.56/5.62 c bounds 160 >= -1788 @ 4.82162 5.56/5.62 c bounds 160 >= -1786 @ 4.82499 5.56/5.62 c bounds 160 >= -1784 @ 4.82652 5.56/5.62 c bounds 160 >= -1782 @ 4.82996 5.56/5.62 c bounds 160 >= -1780 @ 4.83208 5.56/5.62 c bounds 160 >= -1778 @ 4.83402 5.56/5.62 c bounds 160 >= -1776 @ 4.83696 5.56/5.62 c bounds 160 >= -1774 @ 4.84228 5.56/5.62 c bounds 160 >= -1772 @ 4.84532 5.56/5.62 c bounds 160 >= -1770 @ 4.85196 5.56/5.62 c bounds 160 >= -1768 @ 4.86751 5.56/5.62 c bounds 160 >= -1766 @ 4.86989 5.56/5.62 c bounds 160 >= -1764 @ 4.87131 5.56/5.62 c bounds 160 >= -1762 @ 4.87432 5.56/5.62 c bounds 160 >= -1760 @ 4.87751 5.56/5.62 c bounds 160 >= -1758 @ 4.8833 5.56/5.62 c bounds 160 >= -1756 @ 4.88783 5.56/5.62 c bounds 160 >= -1754 @ 4.89091 5.56/5.62 c bounds 160 >= -1752 @ 4.89602 5.56/5.62 c bounds 160 >= -1750 @ 4.90039 5.56/5.62 c #Conflicts: 5000 | #Constraints: 9265 5.56/5.62 c bounds 160 >= -1748 @ 4.91277 5.56/5.62 c bounds 160 >= -1746 @ 4.92177 5.56/5.62 c bounds 160 >= -1744 @ 4.927 5.56/5.62 c bounds 160 >= -1742 @ 4.92812 13.13/13.28 c bounds 160 >= -1740 @ 4.93086 13.13/13.28 c bounds 160 >= -1738 @ 4.93215 13.13/13.28 c bounds 160 >= -1736 @ 4.93466 13.13/13.28 c bounds 160 >= -1734 @ 4.94706 13.13/13.28 c bounds 160 >= -1732 @ 4.95147 13.13/13.28 c #Conflicts: 6000 | #Constraints: 10391 13.13/13.28 c bounds 160 >= -1730 @ 4.99427 13.13/13.28 c INPROCESSING 13.13/13.28 c GARBAGE COLLECT 13.13/13.28 c bounds 160 >= -1728 @ 5.1032 13.13/13.28 c #Conflicts: 7000 | #Constraints: 9472 13.13/13.28 c bounds 160 >= -1726 @ 5.17252 13.13/13.28 c bounds 160 >= -1724 @ 5.19864 13.13/13.28 c bounds 160 >= -1722 @ 5.22143 13.13/13.28 c #Conflicts: 8000 | #Constraints: 10518 13.13/13.28 c #Conflicts: 9000 | #Constraints: 11518 13.13/13.28 c INPROCESSING 13.13/13.28 c GARBAGE COLLECT 13.13/13.28 c #Conflicts: 10000 | #Constraints: 10246 13.13/13.28 c #Conflicts: 11000 | #Constraints: 11246 13.13/13.28 c bounds 160 >= -1720 @ 6.83086 13.13/13.28 c #Conflicts: 12000 | #Constraints: 12273 13.13/13.28 c bounds 160 >= -1718 @ 7.30042 13.13/13.28 c #Conflicts: 13000 | #Constraints: 13280 13.13/13.28 c #Conflicts: 14000 | #Constraints: 14280 13.13/13.28 c bounds 160 >= -1716 @ 8.24198 13.13/13.28 c #Conflicts: 15000 | #Constraints: 15316 13.13/13.28 c #Conflicts: 16000 | #Constraints: 16316 13.13/13.28 c INPROCESSING 13.13/13.28 c GARBAGE COLLECT 13.13/13.28 c rational objective 2 26.18/26.39 c bounds 159 >= -1716 @ 12.2912 26.18/26.39 c bounds 158 >= -1716 @ 12.7435 26.18/26.39 c bounds 158 >= -1714 @ 12.7472 26.18/26.39 c bounds 158 >= -1712 @ 12.7492 26.18/26.39 c bounds 158 >= -1710 @ 12.7536 26.18/26.39 c bounds 158 >= -1708 @ 12.7605 26.18/26.39 c bounds 158 >= -1706 @ 12.771 26.18/26.39 c #Conflicts: 17000 | #Constraints: 12478 26.18/26.39 c bounds 158 >= -1704 @ 12.8114 26.18/26.39 c bounds 158 >= -1702 @ 12.8649 26.18/26.39 c bounds 158 >= -1700 @ 12.9027 26.18/26.39 c bounds 155 >= -1700 @ 12.9191 26.18/26.39 c #Conflicts: 18000 | #Constraints: 13554 26.18/26.39 c bounds 155 >= -1698 @ 12.9659 26.18/26.39 c bounds 154 >= -1698 @ 13.0204 26.18/26.39 c bounds 153 >= -1698 @ 13.0697 26.18/26.39 c bounds 153 >= -1696 @ 13.0726 26.18/26.39 c bounds 153 >= -1694 @ 13.077 26.18/26.39 c bounds 153 >= -1692 @ 13.0832 26.18/26.39 c bounds 153 >= -1690 @ 13.1 26.18/26.39 c #Conflicts: 19000 | #Constraints: 14623 26.18/26.39 c bounds 152 >= -1690 @ 14.3354 26.18/26.39 c bounds 152 >= -1688 @ 15.7522 26.18/26.39 c #Conflicts: 20000 | #Constraints: 15642 26.18/26.39 c bounds 152 >= -1686 @ 15.8971 26.18/26.39 c INPROCESSING 26.18/26.39 c GARBAGE COLLECT 26.18/26.39 c #Conflicts: 21000 | #Constraints: 12297 26.18/26.39 c bounds 152 >= -1684 @ 16.0373 26.18/26.39 c #Conflicts: 22000 | #Constraints: 13325 26.18/26.39 c bounds 152 >= -1682 @ 16.142 26.18/26.39 c bounds 151 >= -1682 @ 16.4455 26.18/26.39 c bounds 151 >= -1680 @ 16.5267 26.18/26.39 c bounds 150 >= -1680 @ 16.5702 26.18/26.39 c #Conflicts: 23000 | #Constraints: 14376 26.18/26.39 c bounds 149 >= -1680 @ 18.129 26.18/26.39 c bounds 149 >= -1678 @ 18.1391 26.18/26.39 c #Conflicts: 24000 | #Constraints: 15389 26.18/26.39 c bounds 149 >= -1676 @ 18.2889 26.18/26.39 c #Conflicts: 25000 | #Constraints: 16422 26.18/26.39 c bounds 149 >= -1674 @ 18.4938 26.18/26.39 c #Conflicts: 26000 | #Constraints: 17444 26.18/26.39 c bounds 149 >= -1672 @ 18.9712 26.18/26.39 c #Conflicts: 27000 | #Constraints: 18474 26.18/26.39 c bounds 149 >= -1670 @ 19.2113 26.18/26.39 c bounds 148 >= -1670 @ 19.5047 26.18/26.39 c bounds 148 >= -1668 @ 19.5087 26.18/26.39 c bounds 148 >= -1666 @ 19.5167 26.18/26.39 c #Conflicts: 28000 | #Constraints: 19524 26.18/26.39 c #Conflicts: 29000 | #Constraints: 20524 26.18/26.39 c bounds 148 >= -1664 @ 20.0868 26.18/26.39 c bounds 147 >= -1664 @ 20.4131 26.18/26.39 c bounds 146 >= -1664 @ 20.6677 26.18/26.39 c bounds 145 >= -1664 @ 20.8204 26.18/26.39 c #Conflicts: 30000 | #Constraints: 21551 26.18/26.39 c bounds 144 >= -1664 @ 22.6555 26.18/26.39 c bounds 144 >= -1662 @ 22.6623 26.18/26.39 c INPROCESSING 26.18/26.39 c GARBAGE COLLECT 26.18/26.39 c rational objective 2 28.87/29.10 c #Conflicts: 31000 | #Constraints: 15151 28.87/29.10 c bounds 144 >= -1660 @ 24.9003 28.87/29.10 c #Conflicts: 32000 | #Constraints: 16184 28.87/29.10 c #Conflicts: 33000 | #Constraints: 17184 28.87/29.10 c #Conflicts: 34000 | #Constraints: 18184 28.87/29.10 c #Conflicts: 35000 | #Constraints: 19184 28.87/29.10 c #Conflicts: 36000 | #Constraints: 20184 28.87/29.10 c INPROCESSING 28.87/29.10 c GARBAGE COLLECT 28.87/29.10 c bounds 143 >= -1660 @ 26.8133 28.87/29.10 c bounds 141 >= -1660 @ 26.8983 28.87/29.10 c bounds 140 >= -1660 @ 27.003 28.87/29.10 c bounds 140 >= -1657 @ 27.0057 28.87/29.10 c bounds 140 >= -1656 @ 27.0082 28.87/29.10 c bounds 140 >= -1655 @ 27.0109 28.87/29.10 c bounds 140 >= -1654 @ 27.0128 28.87/29.10 c bounds 140 >= -1653 @ 27.0147 28.87/29.10 c bounds 140 >= -1652 @ 27.0166 28.87/29.10 c bounds 140 >= -1651 @ 27.0196 28.87/29.10 c bounds 140 >= -1650 @ 27.0206 28.87/29.10 c bounds 140 >= -1649 @ 27.0226 28.87/29.10 c bounds 140 >= -1648 @ 27.0245 28.87/29.10 c bounds 140 >= -1647 @ 27.0265 28.87/29.10 c bounds 140 >= -1646 @ 27.0287 28.87/29.10 c bounds 140 >= -1644 @ 27.0319 28.87/29.10 c bounds 140 >= -1643 @ 27.033 28.87/29.10 c bounds 140 >= -1642 @ 27.036 28.87/29.10 c bounds 140 >= -1641 @ 27.0383 28.87/29.10 c bounds 140 >= -1640 @ 27.0404 28.87/29.10 c bounds 140 >= -1639 @ 27.0424 28.87/29.10 c bounds 140 >= -1638 @ 27.0445 28.87/29.10 c bounds 140 >= -1637 @ 27.0465 28.87/29.10 c bounds 140 >= -1636 @ 27.0476 28.87/29.10 c bounds 140 >= -1635 @ 27.0507 28.87/29.10 c bounds 140 >= -1633 @ 27.0531 28.87/29.10 c bounds 140 >= -1632 @ 27.0551 28.87/29.10 c bounds 140 >= -1631 @ 27.0573 28.87/29.10 c bounds 140 >= -1630 @ 27.0597 28.87/29.10 c bounds 140 >= -1629 @ 27.0619 28.87/29.10 c bounds 140 >= -1627 @ 27.0642 28.87/29.10 c bounds 140 >= -1626 @ 27.0663 28.87/29.10 c bounds 140 >= -1625 @ 27.0676 28.87/29.10 c bounds 140 >= -1624 @ 27.0697 28.87/29.10 c bounds 140 >= -1621 @ 27.0709 28.87/29.10 c bounds 140 >= -1619 @ 27.0741 28.87/29.10 c bounds 140 >= -1618 @ 27.0763 28.87/29.10 c bounds 140 >= -1617 @ 27.0782 28.87/29.10 c bounds 140 >= -1614 @ 27.0805 28.87/29.10 c bounds 140 >= -1611 @ 27.0817 28.87/29.10 c bounds 140 >= -1609 @ 27.084 28.87/29.10 c bounds 140 >= -1608 @ 27.0872 28.87/29.10 c bounds 140 >= -1607 @ 27.0885 28.87/29.10 c bounds 140 >= -1606 @ 27.0906 28.87/29.10 c bounds 140 >= -1604 @ 27.0938 28.87/29.10 c bounds 140 >= -1603 @ 27.096 28.87/29.10 c bounds 140 >= -1600 @ 27.0983 28.87/29.10 c bounds 140 >= -1597 @ 27.1005 28.87/29.10 c bounds 140 >= -1596 @ 27.1027 28.87/29.10 c bounds 140 >= -1595 @ 27.1048 28.87/29.10 c bounds 140 >= -1594 @ 27.1081 28.87/29.10 c bounds 140 >= -1593 @ 27.1096 28.87/29.10 c bounds 140 >= -1592 @ 27.1119 28.87/29.10 c bounds 140 >= -1591 @ 27.1141 28.87/29.10 c bounds 140 >= -1590 @ 27.116 28.87/29.10 c bounds 140 >= -1589 @ 27.1183 28.87/29.10 c bounds 140 >= -1588 @ 27.1205 28.87/29.10 c bounds 140 >= -1587 @ 27.1228 28.87/29.10 c bounds 140 >= -1584 @ 27.1251 28.87/29.10 c bounds 140 >= -1582 @ 27.1274 28.87/29.10 c bounds 140 >= -1581 @ 27.1299 28.87/29.10 c bounds 140 >= -1579 @ 27.1324 28.87/29.10 c bounds 140 >= -1578 @ 27.1359 28.87/29.10 c bounds 140 >= -1577 @ 27.1383 28.87/29.10 c bounds 140 >= -1576 @ 27.1417 28.87/29.10 c bounds 140 >= -1574 @ 27.1442 28.87/29.10 c bounds 140 >= -1573 @ 27.1467 28.87/29.10 c bounds 140 >= -1572 @ 27.149 28.87/29.10 c bounds 140 >= -1571 @ 27.1516 28.87/29.10 c bounds 140 >= -1570 @ 27.1542 28.87/29.10 c bounds 140 >= -1567 @ 27.1576 28.87/29.10 c bounds 140 >= -1566 @ 27.1591 28.87/29.10 c bounds 140 >= -1565 @ 27.1614 28.87/29.10 c bounds 140 >= -1564 @ 27.164 28.87/29.10 c bounds 140 >= -1561 @ 27.1673 28.87/29.10 c bounds 140 >= -1560 @ 27.1698 28.87/29.10 c bounds 140 >= -1558 @ 27.1722 28.87/29.10 c bounds 140 >= -1556 @ 27.1747 28.87/29.10 c bounds 140 >= -1555 @ 27.1772 28.87/29.10 c bounds 140 >= -1553 @ 27.1799 28.87/29.10 c bounds 140 >= -1551 @ 27.1814 28.87/29.10 c bounds 140 >= -1550 @ 27.1849 28.87/29.10 c bounds 140 >= -1549 @ 27.1874 28.87/29.10 c bounds 140 >= -1548 @ 27.1897 28.87/29.10 c bounds 140 >= -1547 @ 27.1933 28.87/29.10 c bounds 140 >= -1546 @ 27.1958 28.87/29.10 c bounds 140 >= -1545 @ 27.1984 28.87/29.10 c bounds 140 >= -1544 @ 27.2009 28.87/29.10 c bounds 140 >= -1541 @ 27.2027 28.87/29.10 c bounds 140 >= -1539 @ 27.2055 28.87/29.10 c bounds 140 >= -1538 @ 27.2082 28.87/29.10 c bounds 140 >= -1537 @ 27.2109 28.87/29.10 c bounds 140 >= -1536 @ 27.2139 28.87/29.10 c bounds 140 >= -1534 @ 27.2168 28.87/29.10 c bounds 140 >= -1533 @ 27.2203 28.87/29.10 c bounds 140 >= -1532 @ 27.2229 28.87/29.10 c bounds 140 >= -1531 @ 27.2247 28.87/29.10 c bounds 140 >= -1528 @ 27.2263 28.87/29.10 c bounds 140 >= -1525 @ 27.2299 28.87/29.10 c bounds 140 >= -1524 @ 27.2325 28.87/29.10 c bounds 140 >= -1523 @ 27.2342 28.87/29.10 c bounds 140 >= -1522 @ 27.2381 28.87/29.10 c bounds 140 >= -1521 @ 27.2407 28.87/29.10 c bounds 140 >= -1519 @ 27.2424 28.87/29.10 c bounds 140 >= -1518 @ 27.244 28.87/29.10 c bounds 140 >= -1517 @ 27.2456 28.87/29.10 c bounds 140 >= -1516 @ 27.2483 28.87/29.10 c bounds 140 >= -1515 @ 27.25 28.87/29.10 c bounds 140 >= -1514 @ 27.2536 28.87/29.10 c bounds 140 >= -1513 @ 27.2565 28.87/29.10 c bounds 140 >= -1512 @ 27.2587 28.87/29.10 c bounds 140 >= -1511 @ 27.2625 28.87/29.10 c bounds 140 >= -1509 @ 27.2661 28.87/29.10 c bounds 140 >= -1508 @ 27.2688 28.87/29.10 c bounds 140 >= -1507 @ 27.2715 28.87/29.10 c bounds 140 >= -1504 @ 27.2732 28.87/29.10 c bounds 140 >= -1503 @ 27.2759 29.57/29.76 c bounds 140 >= -1502 @ 27.2786 29.57/29.76 c bounds 140 >= -1501 @ 27.2809 29.57/29.76 c bounds 140 >= -1500 @ 27.2836 29.57/29.76 c bounds 140 >= -1498 @ 27.2854 29.57/29.76 c bounds 140 >= -1497 @ 27.288 29.57/29.76 c bounds 140 >= -1496 @ 27.2896 29.57/29.76 c bounds 140 >= -1494 @ 27.2932 29.57/29.76 c bounds 140 >= -1491 @ 27.2959 29.57/29.76 c bounds 140 >= -1489 @ 27.2996 29.57/29.76 c bounds 140 >= -1486 @ 27.3012 29.57/29.76 c bounds 140 >= -1484 @ 27.3038 29.57/29.76 c bounds 140 >= -1483 @ 27.3068 29.57/29.76 c bounds 140 >= -1481 @ 27.3085 29.57/29.76 c bounds 140 >= -1480 @ 27.3111 29.57/29.76 c bounds 140 >= -1479 @ 27.313 29.57/29.76 c bounds 140 >= -1477 @ 27.3166 29.57/29.76 c bounds 140 >= -1476 @ 27.3184 29.57/29.76 c bounds 140 >= -1475 @ 27.3212 29.57/29.76 c bounds 140 >= -1473 @ 27.324 29.57/29.76 c bounds 140 >= -1472 @ 27.3277 29.57/29.76 c bounds 140 >= -1470 @ 27.3303 29.57/29.76 c bounds 140 >= -1467 @ 27.332 29.57/29.76 c bounds 140 >= -1466 @ 27.3347 29.57/29.76 c bounds 140 >= -1465 @ 27.3375 29.57/29.76 c bounds 140 >= -1464 @ 27.3404 29.57/29.76 c bounds 140 >= -1463 @ 27.3442 29.57/29.76 c bounds 140 >= -1462 @ 27.3472 29.57/29.76 c bounds 140 >= -1460 @ 27.3501 29.57/29.76 c bounds 140 >= -1458 @ 27.3528 29.57/29.76 c bounds 140 >= -1457 @ 27.3556 29.57/29.76 c bounds 140 >= -1455 @ 27.3593 29.57/29.76 c bounds 140 >= -1454 @ 27.3623 29.57/29.76 c bounds 140 >= -1453 @ 27.3641 29.57/29.76 c bounds 140 >= -1452 @ 27.3657 29.57/29.76 c bounds 140 >= -1451 @ 27.3684 29.57/29.76 c bounds 140 >= -1450 @ 27.3711 29.57/29.76 c bounds 140 >= -1447 @ 27.3729 29.57/29.76 c bounds 140 >= -1445 @ 27.3755 29.57/29.76 c bounds 140 >= -1444 @ 27.3784 29.57/29.76 c bounds 140 >= -1443 @ 27.3802 29.57/29.76 c bounds 140 >= -1442 @ 27.3819 29.57/29.76 c bounds 140 >= -1441 @ 27.3843 29.57/29.76 c bounds 140 >= -1440 @ 27.3861 29.57/29.76 c bounds 140 >= -1437 @ 27.3899 29.57/29.76 c bounds 140 >= -1436 @ 27.3936 29.57/29.76 c bounds 140 >= -1435 @ 27.3965 29.57/29.76 c bounds 140 >= -1434 @ 27.3995 29.57/29.76 c bounds 140 >= -1433 @ 27.4026 29.57/29.76 c bounds 140 >= -1431 @ 27.4054 29.57/29.76 c bounds 140 >= -1428 @ 27.4082 29.57/29.76 c bounds 140 >= -1425 @ 27.411 29.57/29.76 c bounds 140 >= -1422 @ 27.414 29.57/29.76 c bounds 140 >= -1421 @ 27.417 29.57/29.76 c bounds 140 >= -1420 @ 27.4191 29.57/29.76 c bounds 140 >= -1417 @ 27.4201 29.57/29.76 c bounds 140 >= -1416 @ 27.4232 29.57/29.76 c bounds 140 >= -1415 @ 27.4257 29.57/29.76 c bounds 140 >= -1414 @ 27.4275 29.57/29.76 c bounds 140 >= -1413 @ 27.4304 29.57/29.76 c bounds 140 >= -1411 @ 27.4324 29.57/29.76 c bounds 140 >= -1410 @ 27.4369 29.57/29.76 c bounds 140 >= -1409 @ 27.4388 29.57/29.76 c bounds 140 >= -1407 @ 27.4416 29.57/29.76 c bounds 139 >= -1407 @ 27.5881 29.57/29.76 c bounds 139 >= -1406 @ 27.592 29.57/29.76 c bounds 139 >= -1405 @ 27.5942 29.57/29.76 c bounds 139 >= -1402 @ 27.5972 29.57/29.76 c bounds 139 >= -1401 @ 27.6 29.57/29.76 c bounds 139 >= -1400 @ 27.6046 29.57/29.76 c bounds 139 >= -1399 @ 27.6071 29.57/29.76 c bounds 139 >= -1398 @ 27.6101 29.57/29.76 c bounds 139 >= -1396 @ 27.6132 29.57/29.76 c bounds 139 >= -1395 @ 27.6153 29.57/29.76 c bounds 139 >= -1393 @ 27.6163 29.57/29.76 c bounds 139 >= -1392 @ 27.6182 29.57/29.76 c bounds 139 >= -1391 @ 27.6222 29.57/29.76 c bounds 139 >= -1388 @ 27.6242 29.57/29.76 c bounds 139 >= -1387 @ 27.626 29.57/29.76 c bounds 139 >= -1386 @ 27.6279 29.57/29.76 c bounds 139 >= -1385 @ 27.6307 29.57/29.76 c bounds 139 >= -1384 @ 27.6327 29.57/29.76 c bounds 139 >= -1383 @ 27.6357 29.57/29.76 c bounds 139 >= -1382 @ 27.6386 29.57/29.76 c bounds 139 >= -1381 @ 27.6406 29.57/29.76 c bounds 139 >= -1380 @ 27.6428 29.57/29.76 c bounds 139 >= -1379 @ 27.6458 29.57/29.76 c bounds 139 >= -1378 @ 27.6487 29.57/29.76 c bounds 139 >= -1377 @ 27.6507 29.57/29.76 c bounds 139 >= -1376 @ 27.6541 29.57/29.76 c bounds 139 >= -1375 @ 27.6574 29.57/29.76 c bounds 139 >= -1374 @ 27.6607 29.57/29.76 c bounds 139 >= -1372 @ 27.6638 29.57/29.76 c bounds 139 >= -1371 @ 27.6668 29.57/29.76 c bounds 139 >= -1370 @ 27.6689 29.57/29.76 c bounds 139 >= -1369 @ 27.6723 29.57/29.76 c bounds 139 >= -1368 @ 27.6753 29.57/29.76 c bounds 139 >= -1367 @ 27.6774 29.57/29.76 c bounds 139 >= -1366 @ 27.6793 29.57/29.76 c bounds 139 >= -1365 @ 27.6811 29.57/29.76 c bounds 139 >= -1363 @ 27.6832 29.57/29.76 c bounds 139 >= -1362 @ 27.6851 29.57/29.76 c bounds 139 >= -1361 @ 27.6871 29.57/29.76 c bounds 139 >= -1358 @ 27.6904 29.57/29.76 c bounds 139 >= -1356 @ 27.6934 29.57/29.76 c bounds 139 >= -1354 @ 27.6975 29.57/29.76 c bounds 139 >= -1353 @ 27.7005 29.57/29.76 c bounds 139 >= -1352 @ 27.7028 29.57/29.76 c bounds 139 >= -1350 @ 27.7049 29.57/29.76 c bounds 139 >= -1349 @ 27.7079 29.57/29.76 c bounds 139 >= -1348 @ 27.711 29.57/29.76 c bounds 139 >= -1347 @ 27.713 29.57/29.76 c bounds 139 >= -1346 @ 27.715 29.57/29.76 c bounds 139 >= -1344 @ 27.7171 29.57/29.76 c bounds 139 >= -1343 @ 27.7203 29.57/29.76 c bounds 139 >= -1341 @ 27.7224 29.57/29.76 c bounds 139 >= -1340 @ 27.7248 29.57/29.76 c bounds 139 >= -1339 @ 27.7277 29.57/29.76 c bounds 139 >= -1338 @ 27.7299 29.57/29.76 c bounds 139 >= -1337 @ 27.7328 29.57/29.76 c bounds 139 >= -1336 @ 27.7357 29.57/29.76 c bounds 139 >= -1335 @ 27.7386 29.57/29.76 c bounds 139 >= -1334 @ 27.7412 29.57/29.76 c bounds 139 >= -1333 @ 27.7451 29.57/29.76 c bounds 139 >= -1332 @ 27.7471 29.57/29.76 c bounds 139 >= -1331 @ 27.7491 29.57/29.76 c bounds 139 >= -1330 @ 27.751 29.57/29.76 c bounds 139 >= -1329 @ 27.7532 29.57/29.76 c bounds 139 >= -1328 @ 27.7561 29.57/29.76 c bounds 139 >= -1327 @ 27.7581 34.35/34.55 c bounds 139 >= -1326 @ 27.7603 34.35/34.55 c bounds 139 >= -1324 @ 27.7632 34.35/34.55 c bounds 139 >= -1323 @ 27.7659 34.35/34.55 c bounds 139 >= -1321 @ 27.769 34.35/34.55 c bounds 139 >= -1320 @ 27.7707 34.35/34.55 c bounds 139 >= -1319 @ 27.7735 34.35/34.55 c bounds 139 >= -1318 @ 27.7765 34.35/34.55 c bounds 139 >= -1316 @ 27.7792 34.35/34.55 c bounds 139 >= -1315 @ 27.7825 34.35/34.55 c bounds 139 >= -1314 @ 27.7863 34.35/34.55 c bounds 139 >= -1313 @ 27.7891 34.35/34.55 c bounds 139 >= -1311 @ 27.792 34.35/34.55 c bounds 139 >= -1310 @ 27.7951 34.35/34.55 c bounds 139 >= -1309 @ 27.7979 34.35/34.55 c bounds 139 >= -1308 @ 27.7997 34.35/34.55 c bounds 139 >= -1307 @ 27.8025 34.35/34.55 c bounds 139 >= -1306 @ 27.8043 34.35/34.55 c bounds 139 >= -1305 @ 27.8063 34.35/34.55 c bounds 139 >= -1304 @ 27.8089 34.35/34.55 c bounds 139 >= -1303 @ 27.8127 34.35/34.55 c bounds 139 >= -1302 @ 27.8157 34.35/34.55 c bounds 139 >= -1301 @ 27.8178 34.35/34.55 c bounds 139 >= -1299 @ 27.8195 34.35/34.55 c bounds 139 >= -1298 @ 27.8227 34.35/34.55 c bounds 139 >= -1297 @ 27.8255 34.35/34.55 c bounds 139 >= -1296 @ 27.8281 34.35/34.55 c bounds 139 >= -1295 @ 27.8317 34.35/34.55 c bounds 139 >= -1294 @ 27.8345 34.35/34.55 c bounds 139 >= -1292 @ 27.8363 34.35/34.55 c bounds 139 >= -1291 @ 27.8378 34.35/34.55 c bounds 139 >= -1290 @ 27.8396 34.35/34.55 c bounds 139 >= -1289 @ 27.8413 34.35/34.55 c bounds 139 >= -1288 @ 27.8429 34.35/34.55 c bounds 139 >= -1286 @ 27.8455 34.35/34.55 c bounds 139 >= -1285 @ 27.8492 34.35/34.55 c bounds 139 >= -1284 @ 27.8519 34.35/34.55 c bounds 139 >= -1283 @ 27.8558 34.35/34.55 c bounds 139 >= -1282 @ 27.8585 34.35/34.55 c bounds 139 >= -1281 @ 27.8603 34.35/34.55 c bounds 139 >= -1280 @ 27.862 34.35/34.55 c bounds 139 >= -1279 @ 27.865 34.35/34.55 c bounds 139 >= -1278 @ 27.8676 34.35/34.55 c bounds 139 >= -1277 @ 27.8693 34.35/34.55 c bounds 139 >= -1276 @ 27.8709 34.35/34.55 c bounds 139 >= -1275 @ 27.8738 34.35/34.55 c bounds 139 >= -1274 @ 27.8776 34.35/34.55 c bounds 139 >= -1273 @ 27.8802 34.35/34.55 c bounds 139 >= -1272 @ 27.8828 34.35/34.55 c bounds 139 >= -1271 @ 27.8872 34.35/34.55 c bounds 139 >= -1270 @ 27.8907 34.35/34.55 c bounds 139 >= -1269 @ 27.8944 34.35/34.55 c bounds 139 >= -1268 @ 27.8979 34.35/34.55 c bounds 139 >= -1267 @ 27.9019 34.35/34.55 c bounds 139 >= -1266 @ 27.9045 34.35/34.55 c bounds 139 >= -1264 @ 27.9052 34.35/34.55 c bounds 139 >= -1263 @ 27.907 34.35/34.55 c bounds 139 >= -1262 @ 27.9096 34.35/34.55 c bounds 139 >= -1261 @ 27.9114 34.35/34.55 c bounds 139 >= -1260 @ 27.914 34.35/34.55 c bounds 139 >= -1259 @ 27.9159 34.35/34.55 c bounds 139 >= -1258 @ 27.9176 34.35/34.55 c bounds 139 >= -1257 @ 27.9216 34.35/34.55 c bounds 139 >= -1256 @ 27.9255 34.35/34.55 c bounds 139 >= -1255 @ 27.9285 34.35/34.55 c bounds 139 >= -1254 @ 27.9321 34.35/34.55 c bounds 139 >= -1253 @ 27.9353 34.35/34.55 c bounds 139 >= -1252 @ 27.9373 34.35/34.55 c bounds 139 >= -1251 @ 27.9402 34.35/34.55 c bounds 139 >= -1250 @ 27.9417 34.35/34.55 c bounds 139 >= -1249 @ 27.9447 34.35/34.55 c bounds 139 >= -1248 @ 27.9477 34.35/34.55 c bounds 139 >= -1247 @ 27.9517 34.35/34.55 c bounds 139 >= -1246 @ 27.9543 34.35/34.55 c bounds 139 >= -1245 @ 27.9562 34.35/34.55 c bounds 139 >= -1244 @ 27.9572 34.35/34.55 c bounds 139 >= -1243 @ 27.9592 34.35/34.55 c bounds 139 >= -1242 @ 27.9603 34.35/34.55 c bounds 139 >= -1241 @ 27.9634 34.35/34.55 c bounds 139 >= -1240 @ 27.9668 34.35/34.55 c bounds 139 >= -1239 @ 27.9708 34.35/34.55 c bounds 139 >= -1238 @ 27.9738 34.35/34.55 c bounds 139 >= -1237 @ 27.9768 34.35/34.55 c bounds 139 >= -1236 @ 27.98 34.35/34.55 c bounds 139 >= -1235 @ 27.982 34.35/34.55 c bounds 139 >= -1234 @ 27.9842 34.35/34.55 c bounds 139 >= -1233 @ 27.9867 34.35/34.55 c bounds 139 >= -1232 @ 27.9899 34.35/34.55 c bounds 139 >= -1231 @ 27.9935 34.35/34.55 c bounds 139 >= -1230 @ 27.9967 34.35/34.55 c bounds 139 >= -1229 @ 27.9997 34.35/34.55 c bounds 139 >= -1228 @ 28.0027 34.35/34.55 c bounds 139 >= -1227 @ 28.0069 34.35/34.55 c bounds 139 >= -1226 @ 28.0107 34.35/34.55 c bounds 139 >= -1225 @ 28.0129 34.35/34.55 c bounds 139 >= -1224 @ 28.0207 34.35/34.55 c bounds 139 >= -1223 @ 28.0278 34.35/34.55 c #Conflicts: 37000 | #Constraints: 16624 34.35/34.55 c #Conflicts: 38000 | #Constraints: 17624 34.35/34.55 c bounds 138 >= -1223 @ 31.577 34.35/34.55 c bounds 138 >= -1222 @ 31.58 34.35/34.55 c bounds 138 >= -1221 @ 31.5876 34.35/34.55 c bounds 138 >= -1220 @ 31.5928 34.35/34.55 c bounds 138 >= -1219 @ 31.6001 34.35/34.55 c bounds 138 >= -1218 @ 31.6077 34.35/34.55 c bounds 138 >= -1217 @ 31.6175 34.35/34.55 c bounds 138 >= -1216 @ 31.6224 34.35/34.55 c bounds 138 >= -1215 @ 31.6379 34.35/34.55 c bounds 138 >= -1214 @ 31.644 34.35/34.55 c bounds 138 >= -1213 @ 31.6597 34.35/34.55 c bounds 138 >= -1212 @ 31.6709 34.35/34.55 c bounds 138 >= -1211 @ 31.6857 34.35/34.55 c bounds 138 >= -1210 @ 31.6947 34.35/34.55 c bounds 138 >= -1209 @ 31.6987 34.35/34.55 c bounds 138 >= -1208 @ 31.7119 34.35/34.55 c bounds 138 >= -1207 @ 31.7578 34.35/34.55 c #Conflicts: 39000 | #Constraints: 18900 34.35/34.55 c bounds 138 >= -1206 @ 31.8507 34.35/34.55 c bounds 138 >= -1205 @ 31.9139 34.35/34.55 c bounds 138 >= -1204 @ 32.0421 34.35/34.55 c bounds 138 >= -1203 @ 32.0661 34.35/34.55 c #Conflicts: 40000 | #Constraints: 19985 34.35/34.55 c bounds 138 >= -1202 @ 32.2322 34.35/34.55 c bounds 138 >= -1201 @ 32.2379 34.35/34.55 c bounds 138 >= -1200 @ 32.2408 34.35/34.55 c bounds 138 >= -1199 @ 32.25 34.35/34.55 c bounds 138 >= -1198 @ 32.2554 42.21/42.41 c bounds 138 >= -1197 @ 32.271 42.21/42.41 c bounds 138 >= -1196 @ 32.3054 42.21/42.41 c bounds 138 >= -1195 @ 32.3134 42.21/42.41 c bounds 138 >= -1194 @ 32.3178 42.21/42.41 c bounds 138 >= -1193 @ 32.3242 42.21/42.41 c bounds 138 >= -1192 @ 32.3323 42.21/42.41 c bounds 138 >= -1191 @ 32.3398 42.21/42.41 c bounds 138 >= -1190 @ 32.3475 42.21/42.41 c bounds 138 >= -1189 @ 32.3515 42.21/42.41 c bounds 138 >= -1188 @ 32.3569 42.21/42.41 c bounds 138 >= -1187 @ 32.3663 42.21/42.41 c bounds 138 >= -1186 @ 32.3766 42.21/42.41 c bounds 138 >= -1185 @ 32.3934 42.21/42.41 c bounds 138 >= -1184 @ 32.4473 42.21/42.41 c bounds 138 >= -1183 @ 32.4569 42.21/42.41 c bounds 138 >= -1182 @ 32.4726 42.21/42.41 c bounds 138 >= -1181 @ 32.4814 42.21/42.41 c bounds 138 >= -1180 @ 32.4966 42.21/42.41 c bounds 138 >= -1179 @ 32.5071 42.21/42.41 c #Conflicts: 41000 | #Constraints: 21352 42.21/42.41 c bounds 138 >= -1178 @ 32.535 42.21/42.41 c bounds 138 >= -1177 @ 32.5704 42.21/42.41 c bounds 138 >= -1176 @ 32.6337 42.21/42.41 c bounds 138 >= -1175 @ 32.6388 42.21/42.41 c bounds 138 >= -1174 @ 32.6453 42.21/42.41 c bounds 138 >= -1173 @ 32.6909 42.21/42.41 c bounds 138 >= -1172 @ 32.7308 42.21/42.41 c bounds 138 >= -1171 @ 32.7368 42.21/42.41 c bounds 138 >= -1170 @ 32.7408 42.21/42.41 c bounds 138 >= -1169 @ 32.7458 42.21/42.41 c bounds 138 >= -1168 @ 32.7515 42.21/42.41 c bounds 138 >= -1167 @ 32.7561 42.21/42.41 c bounds 138 >= -1166 @ 32.7649 42.21/42.41 c bounds 138 >= -1165 @ 32.7702 42.21/42.41 c bounds 138 >= -1164 @ 32.7721 42.21/42.41 c bounds 138 >= -1163 @ 32.7762 42.21/42.41 c bounds 138 >= -1162 @ 32.7804 42.21/42.41 c bounds 138 >= -1161 @ 32.7867 42.21/42.41 c bounds 138 >= -1160 @ 32.7927 42.21/42.41 c bounds 138 >= -1159 @ 32.7975 42.21/42.41 c bounds 138 >= -1158 @ 32.8053 42.21/42.41 c bounds 138 >= -1157 @ 32.8107 42.21/42.41 c bounds 138 >= -1156 @ 32.8218 42.21/42.41 c bounds 138 >= -1155 @ 32.8358 42.21/42.41 c bounds 138 >= -1154 @ 32.8507 42.21/42.41 c bounds 138 >= -1153 @ 32.8548 42.21/42.41 c bounds 138 >= -1152 @ 32.859 42.21/42.41 c bounds 138 >= -1151 @ 32.8622 42.21/42.41 c bounds 138 >= -1150 @ 32.8683 42.21/42.41 c bounds 138 >= -1149 @ 32.8743 42.21/42.41 c bounds 138 >= -1148 @ 32.8794 42.21/42.41 c bounds 138 >= -1147 @ 32.8816 42.21/42.41 c bounds 138 >= -1146 @ 32.8861 42.21/42.41 c bounds 138 >= -1145 @ 32.8905 42.21/42.41 c bounds 138 >= -1144 @ 32.8976 42.21/42.41 c bounds 138 >= -1143 @ 32.9115 42.21/42.41 c bounds 138 >= -1142 @ 32.9274 42.21/42.41 c bounds 138 >= -1141 @ 32.9341 42.21/42.41 c bounds 138 >= -1140 @ 32.9363 42.21/42.41 c bounds 138 >= -1139 @ 32.9414 42.21/42.41 c bounds 138 >= -1138 @ 32.946 42.21/42.41 c bounds 138 >= -1137 @ 32.9492 42.21/42.41 c bounds 138 >= -1136 @ 32.9535 42.21/42.41 c bounds 138 >= -1135 @ 32.9605 42.21/42.41 c #Conflicts: 42000 | #Constraints: 22865 42.21/42.41 c bounds 138 >= -1134 @ 32.9674 42.21/42.41 c bounds 138 >= -1133 @ 32.9745 42.21/42.41 c bounds 138 >= -1132 @ 32.9821 42.21/42.41 c bounds 138 >= -1131 @ 32.9891 42.21/42.41 c bounds 138 >= -1130 @ 32.9943 42.21/42.41 c bounds 138 >= -1129 @ 33.0054 42.21/42.41 c bounds 138 >= -1128 @ 33.0192 42.21/42.41 c bounds 138 >= -1127 @ 33.0332 42.21/42.41 c bounds 138 >= -1126 @ 33.0666 42.21/42.41 c bounds 138 >= -1125 @ 33.1112 42.21/42.41 c #Conflicts: 43000 | #Constraints: 24017 42.21/42.41 c bounds 138 >= -1124 @ 33.2171 42.21/42.41 c #Conflicts: 44000 | #Constraints: 25041 42.21/42.41 c bounds 138 >= -1123 @ 34.8909 42.21/42.41 c bounds 138 >= -1122 @ 34.9552 42.21/42.41 c bounds 138 >= -1121 @ 34.9581 42.21/42.41 c bounds 138 >= -1120 @ 34.9734 42.21/42.41 c bounds 138 >= -1119 @ 34.9943 42.21/42.41 c bounds 138 >= -1118 @ 35.0352 42.21/42.41 c bounds 138 >= -1117 @ 35.0647 42.21/42.41 c bounds 138 >= -1116 @ 35.0812 42.21/42.41 c bounds 138 >= -1115 @ 35.0971 42.21/42.41 c bounds 138 >= -1114 @ 35.1102 42.21/42.41 c bounds 138 >= -1113 @ 35.1184 42.21/42.41 c bounds 138 >= -1112 @ 35.1815 42.21/42.41 c bounds 138 >= -1111 @ 35.1927 42.21/42.41 c bounds 138 >= -1110 @ 35.2084 42.21/42.41 c #Conflicts: 45000 | #Constraints: 26348 42.21/42.41 c bounds 138 >= -1109 @ 35.232 42.21/42.41 c bounds 138 >= -1108 @ 35.2619 42.21/42.41 c bounds 138 >= -1107 @ 35.3131 42.21/42.41 c bounds 138 >= -1106 @ 35.4447 42.21/42.41 c #Conflicts: 46000 | #Constraints: 27448 42.21/42.41 c bounds 138 >= -1105 @ 35.508 42.21/42.41 c bounds 138 >= -1104 @ 35.5263 42.21/42.41 c bounds 138 >= -1103 @ 35.5652 42.21/42.41 c bounds 138 >= -1102 @ 35.6839 42.21/42.41 c #Conflicts: 47000 | #Constraints: 28532 42.21/42.41 c bounds 138 >= -1101 @ 35.9773 42.21/42.41 c #Conflicts: 48000 | #Constraints: 29568 42.21/42.41 c #Conflicts: 49000 | #Constraints: 30568 42.21/42.41 c bounds 138 >= -1100 @ 36.7987 42.21/42.41 c INPROCESSING 42.21/42.41 c GARBAGE COLLECT 42.21/42.41 c rational objective 2 56.07/56.36 c #Conflicts: 50000 | #Constraints: 21078 56.07/56.36 c bounds 138 >= -1099 @ 39.7351 56.07/56.36 c #Conflicts: 51000 | #Constraints: 22105 56.07/56.36 c bounds 138 >= -1098 @ 39.8272 56.07/56.36 c #Conflicts: 52000 | #Constraints: 23135 56.07/56.36 c bounds 138 >= -1097 @ 39.9997 56.07/56.36 c bounds 136 >= -1097 @ 40.344 56.07/56.36 c bounds 136 >= -1096 @ 40.3469 56.07/56.36 c bounds 136 >= -1095 @ 40.3503 56.07/56.36 c bounds 136 >= -1094 @ 40.3527 56.07/56.36 c bounds 136 >= -1093 @ 40.3558 56.07/56.36 c bounds 136 >= -1092 @ 40.3606 56.07/56.36 c bounds 136 >= -1091 @ 40.3625 56.07/56.36 c bounds 136 >= -1090 @ 40.3654 56.07/56.36 c bounds 136 >= -1089 @ 40.3676 56.07/56.36 c bounds 136 >= -1088 @ 40.3693 56.07/56.36 c bounds 136 >= -1087 @ 40.3713 56.07/56.36 c bounds 136 >= -1086 @ 40.3728 56.07/56.36 c bounds 136 >= -1085 @ 40.3753 56.07/56.36 c bounds 136 >= -1084 @ 40.3777 56.07/56.36 c bounds 136 >= -1083 @ 40.3831 56.07/56.36 c bounds 136 >= -1082 @ 40.3873 56.07/56.36 c #Conflicts: 53000 | #Constraints: 24343 56.07/56.36 c bounds 134 >= -1082 @ 40.7302 56.07/56.36 c bounds 134 >= -1081 @ 40.7342 56.07/56.36 c bounds 134 >= -1080 @ 40.7355 56.07/56.36 c bounds 134 >= -1079 @ 40.739 56.07/56.36 c bounds 134 >= -1078 @ 40.741 56.07/56.36 c bounds 134 >= -1077 @ 40.743 56.07/56.36 c bounds 134 >= -1076 @ 40.7442 56.07/56.36 c bounds 134 >= -1075 @ 40.7479 56.07/56.36 c bounds 134 >= -1074 @ 40.7499 56.07/56.36 c bounds 134 >= -1073 @ 40.7521 56.07/56.36 c bounds 134 >= -1072 @ 40.7556 56.07/56.36 c bounds 134 >= -1071 @ 40.7621 56.07/56.36 c bounds 134 >= -1070 @ 40.7674 56.07/56.36 c bounds 134 >= -1069 @ 40.7726 56.07/56.36 c bounds 134 >= -1068 @ 40.7806 56.07/56.36 c bounds 134 >= -1067 @ 40.7872 56.07/56.36 c bounds 134 >= -1066 @ 40.7939 56.07/56.36 c bounds 134 >= -1065 @ 40.8077 56.07/56.36 c bounds 134 >= -1064 @ 40.8139 56.07/56.36 c bounds 134 >= -1063 @ 40.8209 56.07/56.36 c bounds 134 >= -1062 @ 40.8241 56.07/56.36 c bounds 134 >= -1061 @ 40.8268 56.07/56.36 c bounds 134 >= -1060 @ 40.8307 56.07/56.36 c bounds 134 >= -1059 @ 40.8345 56.07/56.36 c bounds 134 >= -1058 @ 40.8382 56.07/56.36 c bounds 134 >= -1057 @ 40.8407 56.07/56.36 c bounds 134 >= -1056 @ 40.8426 56.07/56.36 c bounds 134 >= -1055 @ 40.8469 56.07/56.36 c bounds 134 >= -1054 @ 40.85 56.07/56.36 c bounds 134 >= -1053 @ 40.8555 56.07/56.36 c bounds 134 >= -1052 @ 40.8588 56.07/56.36 c bounds 134 >= -1051 @ 40.874 56.07/56.36 c #Conflicts: 54000 | #Constraints: 25780 56.07/56.36 c bounds 134 >= -1050 @ 40.9041 56.07/56.36 c bounds 134 >= -1049 @ 40.9223 56.07/56.36 c bounds 134 >= -1048 @ 40.9415 56.07/56.36 c bounds 134 >= -1047 @ 41.0327 56.07/56.36 c #Conflicts: 55000 | #Constraints: 26852 56.07/56.36 c bounds 134 >= -1046 @ 41.271 56.07/56.36 c #Conflicts: 56000 | #Constraints: 27876 56.07/56.36 c bounds 133 >= -1046 @ 41.8445 56.07/56.36 c bounds 133 >= -1045 @ 41.8536 56.07/56.36 c bounds 133 >= -1044 @ 41.8583 56.07/56.36 c bounds 133 >= -1043 @ 41.8636 56.07/56.36 c bounds 133 >= -1042 @ 41.8668 56.07/56.36 c bounds 133 >= -1041 @ 41.8725 56.07/56.36 c bounds 133 >= -1040 @ 41.8781 56.07/56.36 c bounds 133 >= -1039 @ 41.9 56.07/56.36 c bounds 132 >= -1039 @ 42.2098 56.07/56.36 c bounds 132 >= -1038 @ 42.232 56.07/56.36 c bounds 132 >= -1037 @ 42.2527 56.07/56.36 c bounds 132 >= -1036 @ 42.2618 56.07/56.36 c bounds 132 >= -1035 @ 42.2787 56.07/56.36 c #Conflicts: 57000 | #Constraints: 29052 56.07/56.36 c bounds 132 >= -1034 @ 44.0207 56.07/56.36 c bounds 132 >= -1033 @ 44.0329 56.07/56.36 c bounds 132 >= -1032 @ 44.0355 56.07/56.36 c bounds 132 >= -1031 @ 44.0488 56.07/56.36 c bounds 132 >= -1030 @ 44.0744 56.07/56.36 c bounds 132 >= -1029 @ 44.2435 56.07/56.36 c #Conflicts: 58000 | #Constraints: 30175 56.07/56.36 c bounds 131 >= -1029 @ 45.4694 56.07/56.36 c bounds 131 >= -1028 @ 45.5106 56.07/56.36 c #Conflicts: 59000 | #Constraints: 31194 56.07/56.36 c bounds 131 >= -1027 @ 45.5676 56.07/56.36 c bounds 131 >= -1026 @ 45.6373 56.07/56.36 c bounds 131 >= -1025 @ 45.6931 56.07/56.36 c bounds 131 >= -1024 @ 45.7981 56.07/56.36 c #Conflicts: 60000 | #Constraints: 32290 56.07/56.36 c bounds 131 >= -1023 @ 45.9583 56.07/56.36 c #Conflicts: 61000 | #Constraints: 33317 56.07/56.36 c bounds 131 >= -1022 @ 46.1552 56.07/56.36 c #Conflicts: 62000 | #Constraints: 34350 56.07/56.36 c bounds 130 >= -1022 @ 47.6813 56.07/56.36 c bounds 130 >= -1021 @ 47.7083 56.07/56.36 c bounds 130 >= -1020 @ 47.7744 56.07/56.36 c bounds 130 >= -1019 @ 47.7977 56.07/56.36 c bounds 130 >= -1018 @ 47.8174 56.07/56.36 c bounds 130 >= -1017 @ 47.8664 56.07/56.36 c bounds 130 >= -1016 @ 47.9629 56.07/56.36 c bounds 130 >= -1015 @ 48.0862 56.07/56.36 c #Conflicts: 63000 | #Constraints: 35490 56.07/56.36 c bounds 130 >= -1014 @ 48.4077 56.07/56.36 c bounds 130 >= -1013 @ 48.8224 56.07/56.36 c #Conflicts: 64000 | #Constraints: 36569 56.07/56.36 c bounds 129 >= -1013 @ 49.6334 56.07/56.36 c bounds 129 >= -1012 @ 49.7393 56.07/56.36 c bounds 129 >= -1011 @ 49.9491 56.07/56.36 c #Conflicts: 65000 | #Constraints: 37642 56.07/56.36 c INPROCESSING 56.07/56.36 c GARBAGE COLLECT 56.07/56.36 c rational objective 2 80.48/80.80 c bounds 129 >= -1010 @ 52.8057 80.48/80.80 c bounds 129 >= -1009 @ 52.8381 80.48/80.80 c #Conflicts: 66000 | #Constraints: 25837 80.48/80.80 c bounds 129 >= -1008 @ 52.921 80.48/80.80 c bounds 128 >= -1008 @ 52.9691 80.48/80.80 c bounds 127 >= -1008 @ 53.3669 80.48/80.80 c #Conflicts: 67000 | #Constraints: 26866 80.48/80.80 c #Conflicts: 68000 | #Constraints: 27866 80.48/80.80 c bounds 127 >= -1007 @ 53.6147 80.48/80.80 c bounds 125 >= -1007 @ 53.9278 80.48/80.80 c bounds 125 >= -1006 @ 54.0188 80.48/80.80 c bounds 125 >= -1005 @ 54.0635 80.48/80.80 c #Conflicts: 69000 | #Constraints: 28961 80.48/80.80 c bounds 123 >= -1005 @ 54.2761 80.48/80.80 c bounds 123 >= -1004 @ 54.3131 80.48/80.80 c bounds 123 >= -1003 @ 54.4092 80.48/80.80 c #Conflicts: 70000 | #Constraints: 30028 80.48/80.80 c bounds 123 >= -1002 @ 54.6592 80.48/80.80 c #Conflicts: 71000 | #Constraints: 31052 80.48/80.80 c bounds 122 >= -1002 @ 57.2266 80.48/80.80 c #Conflicts: 72000 | #Constraints: 32058 80.48/80.80 c bounds 122 >= -1001 @ 58.4111 80.48/80.80 c #Conflicts: 73000 | #Constraints: 33115 80.48/80.80 c #Conflicts: 74000 | #Constraints: 34115 80.48/80.80 c bounds 122 >= -1000 @ 61.8251 80.48/80.80 c #Conflicts: 75000 | #Constraints: 35146 80.48/80.80 c bounds 122 >= -999 @ 62.1279 80.48/80.80 c #Conflicts: 76000 | #Constraints: 36174 80.48/80.80 c #Conflicts: 77000 | #Constraints: 37174 80.48/80.80 c #Conflicts: 78000 | #Constraints: 38174 80.48/80.80 c bounds 122 >= -998 @ 64.0742 80.48/80.80 c bounds 121 >= -998 @ 64.6952 80.48/80.80 c bounds 120 >= -998 @ 64.9493 80.48/80.80 c bounds 119 >= -998 @ 65.331 80.48/80.80 c #Conflicts: 79000 | #Constraints: 39228 80.48/80.80 c #Conflicts: 80000 | #Constraints: 40228 80.48/80.80 c bounds 118 >= -998 @ 70.5412 80.48/80.80 c bounds 118 >= -997 @ 71.5304 80.48/80.80 c #Conflicts: 81000 | #Constraints: 41256 80.48/80.80 c #Conflicts: 82000 | #Constraints: 42256 80.48/80.80 c bounds 118 >= -996 @ 73.5962 80.48/80.80 c INPROCESSING 80.48/80.80 c GARBAGE COLLECT 80.48/80.80 c rational objective 2 104.59/105.04 c #Conflicts: 83000 | #Constraints: 28144 104.59/105.04 c bounds 118 >= -995 @ 76.3917 104.59/105.04 c #Conflicts: 84000 | #Constraints: 29186 104.59/105.04 c #Conflicts: 85000 | #Constraints: 30186 104.59/105.04 c bounds 118 >= -994 @ 76.5945 104.59/105.04 c #Conflicts: 86000 | #Constraints: 31213 104.59/105.04 c #Conflicts: 87000 | #Constraints: 32213 104.59/105.04 c #Conflicts: 88000 | #Constraints: 33213 104.59/105.04 c bounds 118 >= -993 @ 77.4068 104.59/105.04 c #Conflicts: 89000 | #Constraints: 34240 104.59/105.04 c #Conflicts: 90000 | #Constraints: 35240 104.59/105.04 c #Conflicts: 91000 | #Constraints: 36240 104.59/105.04 c #Conflicts: 92000 | #Constraints: 37240 104.59/105.04 c #Conflicts: 93000 | #Constraints: 38240 104.59/105.04 c #Conflicts: 94000 | #Constraints: 39240 104.59/105.04 c #Conflicts: 95000 | #Constraints: 40240 104.59/105.04 c bounds 118 >= -992 @ 82.0149 104.59/105.04 c #Conflicts: 96000 | #Constraints: 41306 104.59/105.04 c #Conflicts: 97000 | #Constraints: 42306 104.59/105.04 c #Conflicts: 98000 | #Constraints: 43306 104.59/105.04 c #Conflicts: 99000 | #Constraints: 44306 104.59/105.04 c #Conflicts: 100000 | #Constraints: 45306 104.59/105.04 c #Conflicts: 101000 | #Constraints: 46306 104.59/105.04 c #Conflicts: 102000 | #Constraints: 47306 104.59/105.04 c INPROCESSING 104.59/105.04 c GARBAGE COLLECT 104.59/105.04 c rational objective 2 121.02/121.55 c #Conflicts: 103000 | #Constraints: 31024 121.02/121.55 c #Conflicts: 104000 | #Constraints: 32024 121.02/121.55 c #Conflicts: 105000 | #Constraints: 33024 121.02/121.55 c bounds 118 >= -991 @ 101.559 121.02/121.55 c #Conflicts: 106000 | #Constraints: 34057 121.02/121.55 c #Conflicts: 107000 | #Constraints: 35057 121.02/121.55 c #Conflicts: 108000 | #Constraints: 36057 121.02/121.55 c #Conflicts: 109000 | #Constraints: 37057 121.02/121.55 c #Conflicts: 110000 | #Constraints: 38057 121.02/121.55 c #Conflicts: 111000 | #Constraints: 39057 121.02/121.55 c #Conflicts: 112000 | #Constraints: 40057 121.02/121.55 c bounds 118 >= -990 @ 108.636 121.02/121.55 c #Conflicts: 113000 | #Constraints: 41099 121.02/121.55 c bounds 118 >= -989 @ 108.824 121.02/121.55 c #Conflicts: 114000 | #Constraints: 42124 121.02/121.55 c bounds 118 >= -988 @ 108.962 121.02/121.55 c #Conflicts: 115000 | #Constraints: 43154 121.02/121.55 c #Conflicts: 116000 | #Constraints: 44154 121.02/121.55 c bounds 118 >= -987 @ 109.496 121.02/121.55 c #Conflicts: 117000 | #Constraints: 45203 121.02/121.55 c #Conflicts: 118000 | #Constraints: 46203 121.02/121.55 c #Conflicts: 119000 | #Constraints: 47203 121.02/121.55 c bounds 118 >= -986 @ 110.175 121.02/121.55 c #Conflicts: 120000 | #Constraints: 48242 121.02/121.55 c #Conflicts: 121000 | #Constraints: 49242 121.02/121.55 c #Conflicts: 122000 | #Constraints: 50242 121.02/121.55 c bounds 118 >= -985 @ 113.168 121.02/121.55 c #Conflicts: 123000 | #Constraints: 51269 121.02/121.55 c INPROCESSING 121.02/121.55 c GARBAGE COLLECT 121.02/121.55 c rational objective 2 136.95/137.50 c #Conflicts: 124000 | #Constraints: 32998 136.95/137.50 c #Conflicts: 125000 | #Constraints: 33998 136.95/137.50 c #Conflicts: 126000 | #Constraints: 34998 136.95/137.50 c bounds 118 >= -984 @ 116.345 136.95/137.50 c #Conflicts: 127000 | #Constraints: 36040 136.95/137.50 c #Conflicts: 128000 | #Constraints: 37040 136.95/137.50 c #Conflicts: 129000 | #Constraints: 38040 136.95/137.50 c #Conflicts: 130000 | #Constraints: 39040 136.95/137.50 c #Conflicts: 131000 | #Constraints: 40040 136.95/137.50 c bounds 118 >= -983 @ 117.701 136.95/137.50 c #Conflicts: 132000 | #Constraints: 41085 136.95/137.50 c #Conflicts: 133000 | #Constraints: 42085 136.95/137.50 c #Conflicts: 134000 | #Constraints: 43085 136.95/137.50 c #Conflicts: 135000 | #Constraints: 44085 136.95/137.50 c #Conflicts: 136000 | #Constraints: 45085 136.95/137.50 c #Conflicts: 137000 | #Constraints: 46085 136.95/137.50 c #Conflicts: 138000 | #Constraints: 47085 136.95/137.50 c bounds 118 >= -982 @ 123.281 136.95/137.50 c #Conflicts: 139000 | #Constraints: 48124 136.95/137.50 c #Conflicts: 140000 | #Constraints: 49124 136.95/137.50 c #Conflicts: 141000 | #Constraints: 50124 136.95/137.50 c #Conflicts: 142000 | #Constraints: 51124 136.95/137.50 c #Conflicts: 143000 | #Constraints: 52124 136.95/137.50 c #Conflicts: 144000 | #Constraints: 53124 136.95/137.50 c #Conflicts: 145000 | #Constraints: 54124 136.95/137.50 c #Conflicts: 146000 | #Constraints: 55124 136.95/137.50 c bounds 118 >= -981 @ 128.915 136.95/137.50 c #Conflicts: 147000 | #Constraints: 56152 136.95/137.50 c INPROCESSING 136.95/137.50 c GARBAGE COLLECT 136.95/137.50 c rational objective 2 215.25/216.15 c bounds 117 >= -981 @ 132.13 215.25/216.15 c bounds 116 >= -981 @ 132.432 215.25/216.15 c #Conflicts: 148000 | #Constraints: 35782 215.25/216.15 c #Conflicts: 149000 | #Constraints: 36782 215.25/216.15 c #Conflicts: 150000 | #Constraints: 37782 215.25/216.15 c #Conflicts: 151000 | #Constraints: 38782 215.25/216.15 c bounds 115 >= -981 @ 141.965 215.25/216.15 c bounds 115 >= -980 @ 141.984 215.25/216.15 c bounds 115 >= -979 @ 142.059 215.25/216.15 c bounds 115 >= -978 @ 142.106 215.25/216.15 c bounds 115 >= -977 @ 142.219 215.25/216.15 c #Conflicts: 152000 | #Constraints: 39879 215.25/216.15 c bounds 115 >= -976 @ 145.089 215.25/216.15 c #Conflicts: 153000 | #Constraints: 40912 215.25/216.15 c #Conflicts: 154000 | #Constraints: 41912 215.25/216.15 c bounds 115 >= -975 @ 146.975 215.25/216.15 c #Conflicts: 155000 | #Constraints: 42951 215.25/216.15 c #Conflicts: 156000 | #Constraints: 43951 215.25/216.15 c #Conflicts: 157000 | #Constraints: 44951 215.25/216.15 c #Conflicts: 158000 | #Constraints: 45951 215.25/216.15 c bounds 115 >= -974 @ 153.195 215.25/216.15 c #Conflicts: 159000 | #Constraints: 47005 215.25/216.15 c bounds 114 >= -974 @ 156.7 215.25/216.15 c bounds 113 >= -974 @ 157.937 215.25/216.15 c #Conflicts: 160000 | #Constraints: 48007 215.25/216.15 c bounds 113 >= -973 @ 159.006 215.25/216.15 c bounds 111 >= -973 @ 159.693 215.25/216.15 c bounds 109 >= -973 @ 160.028 215.25/216.15 c bounds 108 >= -973 @ 160.376 215.25/216.15 c #Conflicts: 161000 | #Constraints: 49037 215.25/216.15 c #Conflicts: 162000 | #Constraints: 50037 215.25/216.15 c bounds 108 >= -972 @ 162.85 215.25/216.15 c bounds 107 >= -972 @ 164.467 215.25/216.15 c #Conflicts: 163000 | #Constraints: 51074 215.25/216.15 c #Conflicts: 164000 | #Constraints: 52074 215.25/216.15 c #Conflicts: 165000 | #Constraints: 53074 215.25/216.15 c #Conflicts: 166000 | #Constraints: 54074 215.25/216.15 c #Conflicts: 167000 | #Constraints: 55074 215.25/216.15 c #Conflicts: 168000 | #Constraints: 56075 215.25/216.15 c bounds 106 >= -972 @ 188.023 215.25/216.15 c #Conflicts: 169000 | #Constraints: 57077 215.25/216.15 c #Conflicts: 170000 | #Constraints: 58077 215.25/216.15 c #Conflicts: 171000 | #Constraints: 59077 215.25/216.15 c #Conflicts: 172000 | #Constraints: 60077 215.25/216.15 c INPROCESSING 215.25/216.15 c GARBAGE COLLECT 215.25/216.15 c rational objective 2 248.52/249.50 c #Conflicts: 173000 | #Constraints: 37527 248.52/249.50 c #Conflicts: 174000 | #Constraints: 38527 248.52/249.50 c #Conflicts: 175000 | #Constraints: 39527 248.52/249.50 c #Conflicts: 176000 | #Constraints: 40527 248.52/249.50 c #Conflicts: 177000 | #Constraints: 41527 248.52/249.50 c bounds 106 >= -971 @ 211.329 248.52/249.50 c #Conflicts: 178000 | #Constraints: 42602 248.52/249.50 c #Conflicts: 179000 | #Constraints: 43602 248.52/249.50 c #Conflicts: 180000 | #Constraints: 44602 248.52/249.50 c #Conflicts: 181000 | #Constraints: 45602 248.52/249.50 c #Conflicts: 182000 | #Constraints: 46602 248.52/249.50 c #Conflicts: 183000 | #Constraints: 47602 248.52/249.50 c #Conflicts: 184000 | #Constraints: 48602 248.52/249.50 c #Conflicts: 185000 | #Constraints: 49602 248.52/249.50 c #Conflicts: 186000 | #Constraints: 50602 248.52/249.50 c #Conflicts: 187000 | #Constraints: 51602 248.52/249.50 c bounds 106 >= -970 @ 219.118 248.52/249.50 c #Conflicts: 188000 | #Constraints: 52662 248.52/249.50 c #Conflicts: 189000 | #Constraints: 53662 248.52/249.50 c #Conflicts: 190000 | #Constraints: 54662 248.52/249.50 c #Conflicts: 191000 | #Constraints: 55662 248.52/249.50 c #Conflicts: 192000 | #Constraints: 56662 248.52/249.50 c bounds 105 >= -970 @ 230.178 248.52/249.50 c #Conflicts: 193000 | #Constraints: 57663 248.52/249.50 c bounds 105 >= -969 @ 230.524 248.52/249.50 c #Conflicts: 194000 | #Constraints: 58684 248.52/249.50 c bounds 105 >= -968 @ 233.236 248.52/249.50 c bounds 105 >= -967 @ 233.444 248.52/249.50 c #Conflicts: 195000 | #Constraints: 59729 248.52/249.50 c #Conflicts: 196000 | #Constraints: 60729 248.52/249.50 c #Conflicts: 197000 | #Constraints: 61729 248.52/249.50 c #Conflicts: 198000 | #Constraints: 62729 248.52/249.50 c #Conflicts: 199000 | #Constraints: 63729 248.52/249.50 c #Conflicts: 200000 | #Constraints: 64729 248.52/249.50 c INPROCESSING 248.52/249.50 c GARBAGE COLLECT 248.52/249.50 c rational objective 2 296.14/297.30 c #Conflicts: 201000 | #Constraints: 40282 296.14/297.30 c #Conflicts: 202000 | #Constraints: 41282 296.14/297.30 c #Conflicts: 203000 | #Constraints: 42282 296.14/297.30 c #Conflicts: 204000 | #Constraints: 43282 296.14/297.30 c #Conflicts: 205000 | #Constraints: 44282 296.14/297.30 c #Conflicts: 206000 | #Constraints: 45282 296.14/297.30 c #Conflicts: 207000 | #Constraints: 46282 296.14/297.30 c #Conflicts: 208000 | #Constraints: 47282 296.14/297.30 c #Conflicts: 209000 | #Constraints: 48282 296.14/297.30 c #Conflicts: 210000 | #Constraints: 49282 296.14/297.30 c #Conflicts: 211000 | #Constraints: 50282 296.14/297.30 c #Conflicts: 212000 | #Constraints: 51282 296.14/297.30 c #Conflicts: 213000 | #Constraints: 52282 296.14/297.30 c #Conflicts: 214000 | #Constraints: 53282 296.14/297.30 c #Conflicts: 215000 | #Constraints: 54282 296.14/297.30 c #Conflicts: 216000 | #Constraints: 55282 296.14/297.30 c #Conflicts: 217000 | #Constraints: 56282 296.14/297.30 c #Conflicts: 218000 | #Constraints: 57282 296.14/297.30 c bounds 105 >= -966 @ 254.323 296.14/297.30 c bounds 104 >= -966 @ 255.26 296.14/297.30 c #Conflicts: 219000 | #Constraints: 58341 296.14/297.30 c bounds 103 >= -966 @ 255.667 296.14/297.30 c bounds 101 >= -966 @ 255.955 296.14/297.30 c bounds 100 >= -966 @ 256.309 296.14/297.30 c bounds 99 >= -966 @ 257.268 296.14/297.30 c #Conflicts: 220000 | #Constraints: 59459 296.14/297.30 c bounds 98 >= -966 @ 257.966 296.14/297.30 c bounds 97 >= -966 @ 258.726 296.14/297.30 c bounds 96 >= -966 @ 260.052 296.14/297.30 c #Conflicts: 221000 | #Constraints: 60560 296.14/297.30 c bounds 95 >= -966 @ 262.411 296.14/297.30 c #Conflicts: 222000 | #Constraints: 61650 296.14/297.30 c bounds 94 >= -966 @ 263.441 296.14/297.30 c bounds 93 >= -966 @ 264.723 296.14/297.30 c bounds 92 >= -966 @ 266.454 296.14/297.30 c #Conflicts: 223000 | #Constraints: 62773 296.14/297.30 c bounds 91 >= -966 @ 267.74 296.14/297.30 c bounds 90 >= -966 @ 269.328 296.14/297.30 c #Conflicts: 224000 | #Constraints: 63878 296.14/297.30 c #Conflicts: 225000 | #Constraints: 64930 296.14/297.30 c bounds 89 >= -966 @ 274.431 296.14/297.30 c bounds 88 >= -966 @ 276.854 296.14/297.30 c bounds 88 >= -965 @ 277.019 296.14/297.30 c bounds 88 >= -964 @ 277.096 296.14/297.30 c bounds 88 >= -963 @ 277.195 296.14/297.30 c #Conflicts: 226000 | #Constraints: 66066 296.14/297.30 c #Conflicts: 227000 | #Constraints: 67066 296.14/297.30 c #Conflicts: 228000 | #Constraints: 68070 296.14/297.30 c bounds 86 >= -963 @ 284.165 296.14/297.30 c #Conflicts: 229000 | #Constraints: 69131 296.14/297.30 c INPROCESSING 296.14/297.30 c GARBAGE COLLECT 296.14/297.30 c rational objective 2 311.48/312.72 c #Conflicts: 230000 | #Constraints: 42211 311.48/312.72 c #Conflicts: 231000 | #Constraints: 43211 311.48/312.72 c #Conflicts: 232000 | #Constraints: 44211 311.48/312.72 c bounds 86 >= -962 @ 288.124 311.48/312.72 c #Conflicts: 233000 | #Constraints: 45253 311.48/312.72 c #Conflicts: 234000 | #Constraints: 46253 311.48/312.72 c #Conflicts: 235000 | #Constraints: 47253 311.48/312.72 c bounds 86 >= -961 @ 291.359 311.48/312.72 c #Conflicts: 236000 | #Constraints: 48295 311.48/312.72 c #Conflicts: 237000 | #Constraints: 49295 311.48/312.72 c #Conflicts: 238000 | #Constraints: 50295 311.48/312.72 c #Conflicts: 239000 | #Constraints: 51295 311.48/312.72 c #Conflicts: 240000 | #Constraints: 52295 311.48/312.72 c #Conflicts: 241000 | #Constraints: 53295 311.48/312.72 c #Conflicts: 242000 | #Constraints: 54295 311.48/312.72 c bounds 86 >= -960 @ 296.016 311.48/312.72 c #Conflicts: 243000 | #Constraints: 55328 311.48/312.72 c #Conflicts: 244000 | #Constraints: 56328 311.48/312.72 c INPROCESSING 311.48/312.72 c GARBAGE COLLECT 311.48/312.72 c rational objective 2 394.69/396.29 c #Conflicts: 245000 | #Constraints: 41536 394.69/396.29 c bounds 85 >= -960 @ 302.604 394.69/396.29 c bounds 84 >= -960 @ 303.362 394.69/396.29 c #Conflicts: 246000 | #Constraints: 42538 394.69/396.29 c #Conflicts: 247000 | #Constraints: 43538 394.69/396.29 c #Conflicts: 248000 | #Constraints: 44539 394.69/396.29 c #Conflicts: 249000 | #Constraints: 45565 394.69/396.29 c bounds 83 >= -960 @ 311.189 394.69/396.29 c #Conflicts: 250000 | #Constraints: 46579 394.69/396.29 c #Conflicts: 251000 | #Constraints: 47579 394.69/396.29 c #Conflicts: 252000 | #Constraints: 48579 394.69/396.29 c #Conflicts: 253000 | #Constraints: 49579 394.69/396.29 c #Conflicts: 254000 | #Constraints: 50579 394.69/396.29 c #Conflicts: 255000 | #Constraints: 51579 394.69/396.29 c #Conflicts: 256000 | #Constraints: 52579 394.69/396.29 c #Conflicts: 257000 | #Constraints: 53579 394.69/396.29 c #Conflicts: 258000 | #Constraints: 54579 394.69/396.29 c #Conflicts: 259000 | #Constraints: 55579 394.69/396.29 c #Conflicts: 260000 | #Constraints: 56579 394.69/396.29 c #Conflicts: 261000 | #Constraints: 57579 394.69/396.29 c #Conflicts: 262000 | #Constraints: 58579 394.69/396.29 c #Conflicts: 263000 | #Constraints: 59579 394.69/396.29 c #Conflicts: 264000 | #Constraints: 60579 394.69/396.29 c #Conflicts: 265000 | #Constraints: 61579 394.69/396.29 c #Conflicts: 266000 | #Constraints: 62579 394.69/396.29 c #Conflicts: 267000 | #Constraints: 63579 394.69/396.29 c #Conflicts: 268000 | #Constraints: 64579 394.69/396.29 c #Conflicts: 269000 | #Constraints: 65579 394.69/396.29 c #Conflicts: 270000 | #Constraints: 66579 394.69/396.29 c #Conflicts: 271000 | #Constraints: 67579 394.69/396.29 c #Conflicts: 272000 | #Constraints: 68579 394.69/396.29 c #Conflicts: 273000 | #Constraints: 69579 394.69/396.29 c bounds 83 >= -959 @ 367.006 394.69/396.29 c #Conflicts: 274000 | #Constraints: 70650 394.69/396.29 c #Conflicts: 275000 | #Constraints: 71656 394.69/396.29 c bounds 82 >= -959 @ 376.276 394.69/396.29 c #Conflicts: 276000 | #Constraints: 72691 394.69/396.29 c bounds 81 >= -959 @ 380.173 394.69/396.29 c #Conflicts: 277000 | #Constraints: 73804 394.69/396.29 c bounds 80 >= -959 @ 382.07 394.69/396.29 c INPROCESSING 394.69/396.29 c GARBAGE COLLECT 394.69/396.29 c rational objective 2 534.56/536.64 c #Conflicts: 278000 | #Constraints: 44725 534.56/536.64 c #Conflicts: 279000 | #Constraints: 45729 534.56/536.64 c #Conflicts: 280000 | #Constraints: 46734 534.56/536.64 c bounds 79 >= -959 @ 392.33 534.56/536.64 c #Conflicts: 281000 | #Constraints: 47739 534.56/536.64 c bounds 78 >= -959 @ 393.899 534.56/536.64 c #Conflicts: 282000 | #Constraints: 48855 534.56/536.64 c #Conflicts: 283000 | #Constraints: 49914 534.56/536.64 c bounds 77 >= -959 @ 401.482 534.56/536.64 c bounds 76 >= -959 @ 403.688 534.56/536.64 c #Conflicts: 284000 | #Constraints: 51004 534.56/536.64 c bounds 75 >= -959 @ 405.506 534.56/536.64 c #Conflicts: 285000 | #Constraints: 52087 534.56/536.64 c bounds 74 >= -959 @ 411.294 534.56/536.64 c bounds 73 >= -959 @ 414.104 534.56/536.64 c #Conflicts: 286000 | #Constraints: 53198 534.56/536.64 c bounds 72 >= -959 @ 416.252 534.56/536.64 c #Conflicts: 287000 | #Constraints: 54280 534.56/536.64 c bounds 71 >= -959 @ 425.182 534.56/536.64 c bounds 70 >= -959 @ 427.182 534.56/536.64 c #Conflicts: 288000 | #Constraints: 55387 534.56/536.64 c bounds 69 >= -959 @ 432.636 534.56/536.64 c bounds 68 >= -959 @ 435.419 534.56/536.64 c #Conflicts: 289000 | #Constraints: 56504 534.56/536.64 c bounds 67 >= -959 @ 439.35 534.56/536.64 c #Conflicts: 290000 | #Constraints: 57510 534.56/536.64 c #Conflicts: 291000 | #Constraints: 58510 534.56/536.64 c #Conflicts: 292000 | #Constraints: 59510 534.56/536.64 c #Conflicts: 293000 | #Constraints: 60510 534.56/536.64 c #Conflicts: 294000 | #Constraints: 61510 534.56/536.64 c #Conflicts: 295000 | #Constraints: 62510 534.56/536.64 c #Conflicts: 296000 | #Constraints: 63510 534.56/536.64 c #Conflicts: 297000 | #Constraints: 64510 534.56/536.64 c #Conflicts: 298000 | #Constraints: 65510 534.56/536.64 c #Conflicts: 299000 | #Constraints: 66510 534.56/536.64 c #Conflicts: 300000 | #Constraints: 67510 534.56/536.64 c #Conflicts: 301000 | #Constraints: 68510 534.56/536.64 c #Conflicts: 302000 | #Constraints: 69510 534.56/536.64 c #Conflicts: 303000 | #Constraints: 70510 534.56/536.64 c #Conflicts: 304000 | #Constraints: 71510 534.56/536.64 c #Conflicts: 305000 | #Constraints: 72510 534.56/536.64 c #Conflicts: 306000 | #Constraints: 73510 534.56/536.64 c #Conflicts: 307000 | #Constraints: 74510 534.56/536.64 c #Conflicts: 308000 | #Constraints: 75510 534.56/536.64 c bounds 67 >= -958 @ 500.971 534.56/536.64 c #Conflicts: 309000 | #Constraints: 76597 534.56/536.64 c bounds 66 >= -958 @ 504.132 534.56/536.64 c #Conflicts: 310000 | #Constraints: 77679 534.56/536.64 c bounds 65 >= -958 @ 510.472 534.56/536.64 c #Conflicts: 311000 | #Constraints: 78756 534.56/536.64 c bounds 64 >= -958 @ 517.727 534.56/536.64 c bounds 63 >= -958 @ 520.318 534.56/536.64 c #Conflicts: 312000 | #Constraints: 79895 534.56/536.64 c INPROCESSING 534.56/536.64 c GARBAGE COLLECT 534.56/536.64 c rational objective 2 604.09/606.41 c #Conflicts: 313000 | #Constraints: 47952 604.09/606.41 c #Conflicts: 314000 | #Constraints: 48959 604.09/606.41 c #Conflicts: 315000 | #Constraints: 49979 604.09/606.41 c #Conflicts: 316000 | #Constraints: 50991 604.09/606.41 c #Conflicts: 317000 | #Constraints: 51996 604.09/606.41 c #Conflicts: 318000 | #Constraints: 53003 604.09/606.41 c #Conflicts: 319000 | #Constraints: 54007 604.09/606.41 c #Conflicts: 320000 | #Constraints: 55010 604.09/606.41 c #Conflicts: 321000 | #Constraints: 56016 604.09/606.41 c #Conflicts: 322000 | #Constraints: 57022 604.09/606.41 c #Conflicts: 323000 | #Constraints: 58036 604.09/606.41 c #Conflicts: 324000 | #Constraints: 59043 604.09/606.41 c #Conflicts: 325000 | #Constraints: 60048 604.09/606.41 c #Conflicts: 326000 | #Constraints: 61057 604.09/606.41 c #Conflicts: 327000 | #Constraints: 62066 604.09/606.41 c #Conflicts: 328000 | #Constraints: 63075 604.09/606.41 c #Conflicts: 329000 | #Constraints: 64091 604.09/606.41 c INPROCESSING 604.09/606.41 c GARBAGE COLLECT 604.09/606.41 c rational objective 2 659.07/661.60 c bounds 63 >= -957 @ 591.363 659.07/661.60 c #Conflicts: 330000 | #Constraints: 44897 659.07/661.60 c #Conflicts: 331000 | #Constraints: 45897 659.07/661.60 c bounds 63 >= -956 @ 593.715 659.07/661.60 c #Conflicts: 332000 | #Constraints: 46942 659.07/661.60 c #Conflicts: 333000 | #Constraints: 47942 659.07/661.60 c bounds 63 >= -955 @ 594.099 659.07/661.60 c #Conflicts: 334000 | #Constraints: 48972 659.07/661.60 c #Conflicts: 335000 | #Constraints: 49972 659.07/661.60 c #Conflicts: 336000 | #Constraints: 50972 659.07/661.60 c #Conflicts: 337000 | #Constraints: 51972 659.07/661.60 c bounds 63 >= -954 @ 596.028 659.07/661.60 c #Conflicts: 338000 | #Constraints: 53008 659.07/661.60 c #Conflicts: 339000 | #Constraints: 54008 659.07/661.60 c #Conflicts: 340000 | #Constraints: 55008 659.07/661.60 c #Conflicts: 341000 | #Constraints: 56008 659.07/661.60 c #Conflicts: 342000 | #Constraints: 57008 659.07/661.60 c #Conflicts: 343000 | #Constraints: 58008 659.07/661.60 c #Conflicts: 344000 | #Constraints: 59008 659.07/661.60 c #Conflicts: 345000 | #Constraints: 60008 659.07/661.60 c #Conflicts: 346000 | #Constraints: 61008 659.07/661.60 c #Conflicts: 347000 | #Constraints: 62008 659.07/661.60 c bounds 63 >= -953 @ 606.543 659.07/661.60 c #Conflicts: 348000 | #Constraints: 63047 659.07/661.60 c #Conflicts: 349000 | #Constraints: 64047 659.07/661.60 c #Conflicts: 350000 | #Constraints: 65047 659.07/661.60 c #Conflicts: 351000 | #Constraints: 66047 659.07/661.60 c #Conflicts: 352000 | #Constraints: 67047 659.07/661.60 c #Conflicts: 353000 | #Constraints: 68047 659.07/661.60 c #Conflicts: 354000 | #Constraints: 69047 659.07/661.60 c #Conflicts: 355000 | #Constraints: 70047 659.07/661.60 c #Conflicts: 356000 | #Constraints: 71047 659.07/661.60 c #Conflicts: 357000 | #Constraints: 72047 659.07/661.60 c #Conflicts: 358000 | #Constraints: 73047 659.07/661.60 c #Conflicts: 359000 | #Constraints: 74047 659.07/661.60 c bounds 63 >= -952 @ 625.11 659.07/661.60 c #Conflicts: 360000 | #Constraints: 75110 659.07/661.60 c #Conflicts: 361000 | #Constraints: 76110 659.07/661.60 c #Conflicts: 362000 | #Constraints: 77110 659.07/661.60 c #Conflicts: 363000 | #Constraints: 78110 659.07/661.60 c #Conflicts: 364000 | #Constraints: 79110 659.07/661.60 c #Conflicts: 365000 | #Constraints: 80110 659.07/661.60 c #Conflicts: 366000 | #Constraints: 81110 659.07/661.60 c #Conflicts: 367000 | #Constraints: 82110 659.07/661.60 c INPROCESSING 659.07/661.60 c GARBAGE COLLECT 659.07/661.60 c rational objective 2 697.13/699.87 c #Conflicts: 368000 | #Constraints: 49062 697.13/699.87 c #Conflicts: 369000 | #Constraints: 50062 697.13/699.87 c #Conflicts: 370000 | #Constraints: 51062 697.13/699.87 c #Conflicts: 371000 | #Constraints: 52062 697.13/699.87 c #Conflicts: 372000 | #Constraints: 53062 697.13/699.87 c #Conflicts: 373000 | #Constraints: 54062 697.13/699.87 c #Conflicts: 374000 | #Constraints: 55062 697.13/699.87 c #Conflicts: 375000 | #Constraints: 56062 697.13/699.87 c #Conflicts: 376000 | #Constraints: 57062 697.13/699.87 c #Conflicts: 377000 | #Constraints: 58062 697.13/699.87 c #Conflicts: 378000 | #Constraints: 59062 697.13/699.87 c bounds 63 >= -951 @ 655.938 697.13/699.87 c #Conflicts: 379000 | #Constraints: 60101 697.13/699.87 c #Conflicts: 380000 | #Constraints: 61101 697.13/699.87 c #Conflicts: 381000 | #Constraints: 62101 697.13/699.87 c #Conflicts: 382000 | #Constraints: 63101 697.13/699.87 c #Conflicts: 383000 | #Constraints: 64101 697.13/699.87 c #Conflicts: 384000 | #Constraints: 65101 697.13/699.87 c #Conflicts: 385000 | #Constraints: 66101 697.13/699.87 c #Conflicts: 386000 | #Constraints: 67101 697.13/699.87 c #Conflicts: 387000 | #Constraints: 68101 697.13/699.87 c #Conflicts: 388000 | #Constraints: 69101 697.13/699.87 c #Conflicts: 389000 | #Constraints: 70101 697.13/699.87 c #Conflicts: 390000 | #Constraints: 71101 697.13/699.87 c #Conflicts: 391000 | #Constraints: 72101 697.13/699.87 c #Conflicts: 392000 | #Constraints: 73101 697.13/699.87 c #Conflicts: 393000 | #Constraints: 74101 697.13/699.87 c #Conflicts: 394000 | #Constraints: 75101 697.13/699.87 c #Conflicts: 395000 | #Constraints: 76101 697.13/699.87 c #Conflicts: 396000 | #Constraints: 77101 697.13/699.87 c #Conflicts: 397000 | #Constraints: 78101 697.13/699.87 c #Conflicts: 398000 | #Constraints: 79101 697.13/699.87 c #Conflicts: 399000 | #Constraints: 80101 697.13/699.87 c #Conflicts: 400000 | #Constraints: 81101 697.13/699.87 c #Conflicts: 401000 | #Constraints: 82101 697.13/699.87 c #Conflicts: 402000 | #Constraints: 83101 697.13/699.87 c #Conflicts: 403000 | #Constraints: 84101 697.13/699.87 c #Conflicts: 404000 | #Constraints: 85101 697.13/699.87 c #Conflicts: 405000 | #Constraints: 86101 697.13/699.87 c #Conflicts: 406000 | #Constraints: 87101 697.13/699.87 c #Conflicts: 407000 | #Constraints: 88101 697.13/699.87 c INPROCESSING 697.13/699.87 c GARBAGE COLLECT 697.13/699.87 c rational objective 2 954.56/958.21 c bounds 62 >= -951 @ 683.66 954.56/958.21 c #Conflicts: 408000 | #Constraints: 52361 954.56/958.21 c #Conflicts: 409000 | #Constraints: 53361 954.56/958.21 c bounds 61 >= -951 @ 687.141 954.56/958.21 c #Conflicts: 410000 | #Constraints: 54408 954.56/958.21 c bounds 60 >= -951 @ 692.389 954.56/958.21 c bounds 59 >= -951 @ 694.218 954.56/958.21 c #Conflicts: 411000 | #Constraints: 55518 954.56/958.21 c bounds 58 >= -951 @ 695.964 954.56/958.21 c bounds 57 >= -951 @ 698.458 954.56/958.21 c #Conflicts: 412000 | #Constraints: 56646 954.56/958.21 c bounds 56 >= -951 @ 702.076 954.56/958.21 c #Conflicts: 413000 | #Constraints: 57726 954.56/958.21 c bounds 55 >= -951 @ 706.726 954.56/958.21 c #Conflicts: 414000 | #Constraints: 58831 954.56/958.21 c bounds 54 >= -951 @ 709.35 954.56/958.21 c #Conflicts: 415000 | #Constraints: 59957 954.56/958.21 c bounds 53 >= -951 @ 714.194 954.56/958.21 c #Conflicts: 416000 | #Constraints: 61070 954.56/958.21 c bounds 52 >= -951 @ 717.874 954.56/958.21 c bounds 51 >= -951 @ 719.592 954.56/958.21 c #Conflicts: 417000 | #Constraints: 62210 954.56/958.21 c bounds 50 >= -951 @ 723.371 954.56/958.21 c #Conflicts: 418000 | #Constraints: 63321 954.56/958.21 c bounds 49 >= -951 @ 726.26 954.56/958.21 c #Conflicts: 419000 | #Constraints: 64422 954.56/958.21 c bounds 48 >= -951 @ 734.625 954.56/958.21 c #Conflicts: 420000 | #Constraints: 65483 954.56/958.21 c bounds 47 >= -951 @ 741.917 954.56/958.21 c #Conflicts: 421000 | #Constraints: 66517 954.56/958.21 c #Conflicts: 422000 | #Constraints: 67517 954.56/958.21 c #Conflicts: 423000 | #Constraints: 68517 954.56/958.21 c #Conflicts: 424000 | #Constraints: 69517 954.56/958.21 c #Conflicts: 425000 | #Constraints: 70517 954.56/958.21 c #Conflicts: 426000 | #Constraints: 71517 954.56/958.21 c #Conflicts: 427000 | #Constraints: 72517 954.56/958.21 c bounds 47 >= -950 @ 792.869 954.56/958.21 c #Conflicts: 428000 | #Constraints: 73571 954.56/958.21 c #Conflicts: 429000 | #Constraints: 74571 954.56/958.21 c #Conflicts: 430000 | #Constraints: 75571 954.56/958.21 c #Conflicts: 431000 | #Constraints: 76571 954.56/958.21 c #Conflicts: 432000 | #Constraints: 77571 954.56/958.21 c #Conflicts: 433000 | #Constraints: 78571 954.56/958.21 c #Conflicts: 434000 | #Constraints: 79571 954.56/958.21 c #Conflicts: 435000 | #Constraints: 80571 954.56/958.21 c #Conflicts: 436000 | #Constraints: 81571 954.56/958.21 c #Conflicts: 437000 | #Constraints: 82571 954.56/958.21 c #Conflicts: 438000 | #Constraints: 83571 954.56/958.21 c #Conflicts: 439000 | #Constraints: 84571 954.56/958.21 c #Conflicts: 440000 | #Constraints: 85571 954.56/958.21 c #Conflicts: 441000 | #Constraints: 86571 954.56/958.21 c #Conflicts: 442000 | #Constraints: 87571 954.56/958.21 c #Conflicts: 443000 | #Constraints: 88571 954.56/958.21 c #Conflicts: 444000 | #Constraints: 89571 954.56/958.21 c #Conflicts: 445000 | #Constraints: 90572 954.56/958.21 c #Conflicts: 446000 | #Constraints: 91574 954.56/958.21 c #Conflicts: 447000 | #Constraints: 92579 954.56/958.21 c #Conflicts: 448000 | #Constraints: 93582 954.56/958.21 c INPROCESSING 954.56/958.21 c GARBAGE COLLECT 954.56/958.21 c rational objective 2 972.40/976.18 c #Conflicts: 449000 | #Constraints: 54575 972.40/976.18 c #Conflicts: 450000 | #Constraints: 55575 972.40/976.18 c #Conflicts: 451000 | #Constraints: 56575 972.40/976.18 c #Conflicts: 452000 | #Constraints: 57575 972.40/976.18 c #Conflicts: 453000 | #Constraints: 58575 972.40/976.18 c #Conflicts: 454000 | #Constraints: 59575 972.40/976.18 c bounds 47 >= -949 @ 940.828 972.40/976.18 c #Conflicts: 455000 | #Constraints: 60638 972.40/976.18 c #Conflicts: 456000 | #Constraints: 61638 972.40/976.18 c #Conflicts: 457000 | #Constraints: 62638 972.40/976.18 c #Conflicts: 458000 | #Constraints: 63638 972.40/976.18 c #Conflicts: 459000 | #Constraints: 64638 972.40/976.18 c #Conflicts: 460000 | #Constraints: 65638 972.40/976.18 c #Conflicts: 461000 | #Constraints: 66638 972.40/976.18 c #Conflicts: 462000 | #Constraints: 67638 972.40/976.18 c #Conflicts: 463000 | #Constraints: 68638 972.40/976.18 c bounds 47 >= -948 @ 947.833 972.40/976.18 c #Conflicts: 464000 | #Constraints: 69671 972.40/976.18 c #Conflicts: 465000 | #Constraints: 70671 972.40/976.18 c #Conflicts: 466000 | #Constraints: 71671 972.40/976.18 c #Conflicts: 467000 | #Constraints: 72671 972.40/976.18 c #Conflicts: 468000 | #Constraints: 73671 972.40/976.18 c #Conflicts: 469000 | #Constraints: 74671 972.40/976.18 c #Conflicts: 470000 | #Constraints: 75671 972.40/976.18 c INPROCESSING 972.40/976.18 c GARBAGE COLLECT 972.40/976.18 c rational objective 2 1031.19/1035.13 c #Conflicts: 471000 | #Constraints: 54158 1031.19/1035.13 c #Conflicts: 472000 | #Constraints: 55158 1031.19/1035.13 c #Conflicts: 473000 | #Constraints: 56158 1031.19/1035.13 c #Conflicts: 474000 | #Constraints: 57158 1031.19/1035.13 c #Conflicts: 475000 | #Constraints: 58158 1031.19/1035.13 c #Conflicts: 476000 | #Constraints: 59158 1031.19/1035.13 c bounds 47 >= -947 @ 960.375 1031.19/1035.13 c #Conflicts: 477000 | #Constraints: 60201 1031.19/1035.13 c #Conflicts: 478000 | #Constraints: 61201 1031.19/1035.13 c #Conflicts: 479000 | #Constraints: 62201 1031.19/1035.13 c #Conflicts: 480000 | #Constraints: 63201 1031.19/1035.13 c #Conflicts: 481000 | #Constraints: 64201 1031.19/1035.13 c #Conflicts: 482000 | #Constraints: 65201 1031.19/1035.13 c #Conflicts: 483000 | #Constraints: 66201 1031.19/1035.13 c #Conflicts: 484000 | #Constraints: 67201 1031.19/1035.13 c #Conflicts: 485000 | #Constraints: 68201 1031.19/1035.13 c #Conflicts: 486000 | #Constraints: 69201 1031.19/1035.13 c #Conflicts: 487000 | #Constraints: 70201 1031.19/1035.13 c #Conflicts: 488000 | #Constraints: 71201 1031.19/1035.13 c #Conflicts: 489000 | #Constraints: 72201 1031.19/1035.13 c bounds 47 >= -946 @ 973.386 1031.19/1035.13 c #Conflicts: 490000 | #Constraints: 73243 1031.19/1035.13 c #Conflicts: 491000 | #Constraints: 74243 1031.19/1035.13 c #Conflicts: 492000 | #Constraints: 75243 1031.19/1035.13 c #Conflicts: 493000 | #Constraints: 76243 1031.19/1035.13 c #Conflicts: 494000 | #Constraints: 77243 1031.19/1035.13 c #Conflicts: 495000 | #Constraints: 78243 1031.19/1035.13 c #Conflicts: 496000 | #Constraints: 79243 1031.19/1035.13 c #Conflicts: 497000 | #Constraints: 80243 1031.19/1035.13 c #Conflicts: 498000 | #Constraints: 81243 1031.19/1035.13 c #Conflicts: 499000 | #Constraints: 82243 1031.19/1035.13 c #Conflicts: 500000 | #Constraints: 83243 1031.19/1035.13 c #Conflicts: 501000 | #Constraints: 84243 1031.19/1035.13 c #Conflicts: 502000 | #Constraints: 85243 1031.19/1035.13 c #Conflicts: 503000 | #Constraints: 86243 1031.19/1035.13 c bounds 47 >= -945 @ 992.872 1031.19/1035.13 c #Conflicts: 504000 | #Constraints: 87270 1031.19/1035.13 c #Conflicts: 505000 | #Constraints: 88270 1031.19/1035.13 c #Conflicts: 506000 | #Constraints: 89270 1031.19/1035.13 c #Conflicts: 507000 | #Constraints: 90270 1031.19/1035.13 c #Conflicts: 508000 | #Constraints: 91270 1031.19/1035.13 c #Conflicts: 509000 | #Constraints: 92270 1031.19/1035.13 c #Conflicts: 510000 | #Constraints: 93270 1031.19/1035.13 c #Conflicts: 511000 | #Constraints: 94270 1031.19/1035.13 c #Conflicts: 512000 | #Constraints: 95270 1031.19/1035.13 c #Conflicts: 513000 | #Constraints: 96270 1031.19/1035.13 c #Conflicts: 514000 | #Constraints: 97270 1031.19/1035.13 c INPROCESSING 1031.19/1035.13 c GARBAGE COLLECT 1031.19/1035.13 c rational objective 2 1111.71/1115.98 c #Conflicts: 515000 | #Constraints: 56608 1111.71/1115.98 c #Conflicts: 516000 | #Constraints: 57608 1111.71/1115.98 c #Conflicts: 517000 | #Constraints: 58608 1111.71/1115.98 c #Conflicts: 518000 | #Constraints: 59608 1111.71/1115.98 c #Conflicts: 519000 | #Constraints: 60608 1111.71/1115.98 c #Conflicts: 520000 | #Constraints: 61608 1111.71/1115.98 c #Conflicts: 521000 | #Constraints: 62608 1111.71/1115.98 c #Conflicts: 522000 | #Constraints: 63608 1111.71/1115.98 c #Conflicts: 523000 | #Constraints: 64608 1111.71/1115.98 c #Conflicts: 524000 | #Constraints: 65608 1111.71/1115.98 c #Conflicts: 525000 | #Constraints: 66608 1111.71/1115.98 c #Conflicts: 526000 | #Constraints: 67608 1111.71/1115.98 c #Conflicts: 527000 | #Constraints: 68608 1111.71/1115.98 c bounds 47 >= -944 @ 1023.92 1111.71/1115.98 c #Conflicts: 528000 | #Constraints: 69635 1111.71/1115.98 c #Conflicts: 529000 | #Constraints: 70635 1111.71/1115.98 c #Conflicts: 530000 | #Constraints: 71635 1111.71/1115.98 c #Conflicts: 531000 | #Constraints: 72635 1111.71/1115.98 c #Conflicts: 532000 | #Constraints: 73635 1111.71/1115.98 c #Conflicts: 533000 | #Constraints: 74635 1111.71/1115.98 c #Conflicts: 534000 | #Constraints: 75635 1111.71/1115.98 c #Conflicts: 535000 | #Constraints: 76635 1111.71/1115.98 c #Conflicts: 536000 | #Constraints: 77635 1111.71/1115.98 c #Conflicts: 537000 | #Constraints: 78635 1111.71/1115.98 c #Conflicts: 538000 | #Constraints: 79635 1111.71/1115.98 c #Conflicts: 539000 | #Constraints: 80635 1111.71/1115.98 c #Conflicts: 540000 | #Constraints: 81635 1111.71/1115.98 c #Conflicts: 541000 | #Constraints: 82635 1111.71/1115.98 c #Conflicts: 542000 | #Constraints: 83635 1111.71/1115.98 c #Conflicts: 543000 | #Constraints: 84635 1111.71/1115.98 c #Conflicts: 544000 | #Constraints: 85635 1111.71/1115.98 c #Conflicts: 545000 | #Constraints: 86635 1111.71/1115.98 c #Conflicts: 546000 | #Constraints: 87635 1111.71/1115.98 c #Conflicts: 547000 | #Constraints: 88635 1111.71/1115.98 c #Conflicts: 548000 | #Constraints: 89635 1111.71/1115.98 c #Conflicts: 549000 | #Constraints: 90635 1111.71/1115.98 c #Conflicts: 550000 | #Constraints: 91635 1111.71/1115.98 c #Conflicts: 551000 | #Constraints: 92635 1111.71/1115.98 c #Conflicts: 552000 | #Constraints: 93635 1111.71/1115.98 c #Conflicts: 553000 | #Constraints: 94635 1111.71/1115.98 c #Conflicts: 554000 | #Constraints: 95635 1111.71/1115.98 c #Conflicts: 555000 | #Constraints: 96635 1111.71/1115.98 c bounds 47 >= -943 @ 1076.37 1111.71/1115.98 c #Conflicts: 556000 | #Constraints: 97683 1111.71/1115.98 c #Conflicts: 557000 | #Constraints: 98683 1111.71/1115.98 c #Conflicts: 558000 | #Constraints: 99683 1111.71/1115.98 c #Conflicts: 559000 | #Constraints: 100683 1111.71/1115.98 c #Conflicts: 560000 | #Constraints: 101683 1111.71/1115.98 c #Conflicts: 561000 | #Constraints: 102683 1111.71/1115.98 c INPROCESSING 1111.71/1115.98 c GARBAGE COLLECT 1111.71/1115.98 c rational objective 2 1278.09/1282.96 c #Conflicts: 562000 | #Constraints: 59478 1278.09/1282.96 c #Conflicts: 563000 | #Constraints: 60478 1278.09/1282.96 c #Conflicts: 564000 | #Constraints: 61478 1278.09/1282.96 c #Conflicts: 565000 | #Constraints: 62478 1278.09/1282.96 c #Conflicts: 566000 | #Constraints: 63478 1278.09/1282.96 c #Conflicts: 567000 | #Constraints: 64478 1278.09/1282.96 c #Conflicts: 568000 | #Constraints: 65478 1278.09/1282.96 c #Conflicts: 569000 | #Constraints: 66478 1278.09/1282.96 c #Conflicts: 570000 | #Constraints: 67478 1278.09/1282.96 c #Conflicts: 571000 | #Constraints: 68478 1278.09/1282.96 c #Conflicts: 572000 | #Constraints: 69478 1278.09/1282.96 c #Conflicts: 573000 | #Constraints: 70478 1278.09/1282.96 c #Conflicts: 574000 | #Constraints: 71478 1278.09/1282.96 c #Conflicts: 575000 | #Constraints: 72478 1278.09/1282.96 c #Conflicts: 576000 | #Constraints: 73478 1278.09/1282.96 c #Conflicts: 577000 | #Constraints: 74478 1278.09/1282.96 c #Conflicts: 578000 | #Constraints: 75478 1278.09/1282.96 c bounds 47 >= -942 @ 1112.41 1278.09/1282.96 c #Conflicts: 579000 | #Constraints: 76532 1278.09/1282.96 c bounds 46 >= -942 @ 1114.6 1278.09/1282.96 c #Conflicts: 580000 | #Constraints: 77629 1278.09/1282.96 c bounds 45 >= -942 @ 1117.99 1278.09/1282.96 c #Conflicts: 581000 | #Constraints: 78716 1278.09/1282.96 c #Conflicts: 582000 | #Constraints: 79778 1278.09/1282.96 c bounds 44 >= -942 @ 1124.08 1278.09/1282.96 c #Conflicts: 583000 | #Constraints: 80866 1278.09/1282.96 c bounds 43 >= -942 @ 1128.35 1278.09/1282.96 c #Conflicts: 584000 | #Constraints: 81875 1278.09/1282.96 c #Conflicts: 585000 | #Constraints: 82875 1278.09/1282.96 c #Conflicts: 586000 | #Constraints: 83875 1278.09/1282.96 c #Conflicts: 587000 | #Constraints: 84875 1278.09/1282.96 c #Conflicts: 588000 | #Constraints: 85875 1278.09/1282.96 c #Conflicts: 589000 | #Constraints: 86875 1278.09/1282.96 c bounds 43 >= -941 @ 1143.7 1278.09/1282.96 c bounds 42 >= -941 @ 1144.83 1278.09/1282.96 c #Conflicts: 590000 | #Constraints: 87943 1278.09/1282.96 c bounds 41 >= -941 @ 1145.53 1278.09/1282.96 c bounds 40 >= -941 @ 1147.47 1278.09/1282.96 c bounds 39 >= -941 @ 1149.74 1278.09/1282.96 c #Conflicts: 591000 | #Constraints: 89063 1278.09/1282.96 c bounds 38 >= -941 @ 1153.17 1278.09/1282.96 c #Conflicts: 592000 | #Constraints: 90176 1278.09/1282.96 c #Conflicts: 593000 | #Constraints: 91196 1278.09/1282.96 c bounds 37 >= -941 @ 1165.82 1278.09/1282.96 c #Conflicts: 594000 | #Constraints: 92206 1278.09/1282.96 c #Conflicts: 595000 | #Constraints: 93206 1278.09/1282.96 c #Conflicts: 596000 | #Constraints: 94206 1278.09/1282.96 c #Conflicts: 597000 | #Constraints: 95206 1278.09/1282.96 c #Conflicts: 598000 | #Constraints: 96206 1278.09/1282.96 c #Conflicts: 599000 | #Constraints: 97206 1278.09/1282.96 c #Conflicts: 600000 | #Constraints: 98206 1278.09/1282.96 c #Conflicts: 601000 | #Constraints: 99206 1278.09/1282.96 c #Conflicts: 602000 | #Constraints: 100206 1278.09/1282.96 c bounds 37 >= -940 @ 1202.69 1278.09/1282.96 c #Conflicts: 603000 | #Constraints: 101328 1278.09/1282.96 c bounds 36 >= -940 @ 1209.41 1278.09/1282.96 c #Conflicts: 604000 | #Constraints: 102404 1278.09/1282.96 c bounds 35 >= -940 @ 1216.42 1278.09/1282.96 c #Conflicts: 605000 | #Constraints: 103457 1278.09/1282.96 c #Conflicts: 606000 | #Constraints: 104524 1278.09/1282.96 c bounds 34 >= -940 @ 1229.88 1278.09/1282.96 c #Conflicts: 607000 | #Constraints: 105537 1278.09/1282.96 c #Conflicts: 608000 | #Constraints: 106624 1278.09/1282.96 c #Conflicts: 609000 | #Constraints: 107645 1278.09/1282.96 c #Conflicts: 610000 | #Constraints: 108651 1278.09/1282.96 c bounds 33 >= -940 @ 1253.23 1278.09/1282.96 c INPROCESSING 1278.09/1282.96 c GARBAGE COLLECT 1278.09/1282.96 c rational objective 2 1404.75/1410.10 c #Conflicts: 611000 | #Constraints: 62596 1404.75/1410.10 c #Conflicts: 612000 | #Constraints: 63596 1404.75/1410.10 c #Conflicts: 613000 | #Constraints: 64596 1404.75/1410.10 c #Conflicts: 614000 | #Constraints: 65596 1404.75/1410.10 c #Conflicts: 615000 | #Constraints: 66596 1404.75/1410.10 c #Conflicts: 616000 | #Constraints: 67596 1404.75/1410.10 c #Conflicts: 617000 | #Constraints: 68596 1404.75/1410.10 c #Conflicts: 618000 | #Constraints: 69596 1404.75/1410.10 c #Conflicts: 619000 | #Constraints: 70596 1404.75/1410.10 c #Conflicts: 620000 | #Constraints: 71596 1404.75/1410.10 c #Conflicts: 621000 | #Constraints: 72596 1404.75/1410.10 c #Conflicts: 622000 | #Constraints: 73596 1404.75/1410.10 c #Conflicts: 623000 | #Constraints: 74596 1404.75/1410.10 c #Conflicts: 624000 | #Constraints: 75596 1404.75/1410.10 c #Conflicts: 625000 | #Constraints: 76596 1404.75/1410.10 c #Conflicts: 626000 | #Constraints: 77596 1404.75/1410.10 c bounds 33 >= -939 @ 1272.89 1404.75/1410.10 c #Conflicts: 627000 | #Constraints: 78656 1404.75/1410.10 c #Conflicts: 628000 | #Constraints: 79735 1404.75/1410.10 c bounds 32 >= -939 @ 1276.71 1404.75/1410.10 c bounds 31 >= -939 @ 1279.11 1404.75/1410.10 c #Conflicts: 629000 | #Constraints: 80817 1404.75/1410.10 c bounds 30 >= -939 @ 1281.41 1404.75/1410.10 c #Conflicts: 630000 | #Constraints: 81927 1404.75/1410.10 c #Conflicts: 631000 | #Constraints: 82979 1404.75/1410.10 c bounds 29 >= -939 @ 1289.08 1404.75/1410.10 c #Conflicts: 632000 | #Constraints: 84013 1404.75/1410.10 c #Conflicts: 633000 | #Constraints: 85013 1404.75/1410.10 c bounds 29 >= -938 @ 1290.62 1404.75/1410.10 c #Conflicts: 634000 | #Constraints: 86067 1404.75/1410.10 c #Conflicts: 635000 | #Constraints: 87101 1404.75/1410.10 c #Conflicts: 636000 | #Constraints: 88153 1404.75/1410.10 c bounds 28 >= -938 @ 1305.16 1404.75/1410.10 c #Conflicts: 637000 | #Constraints: 89160 1404.75/1410.10 c #Conflicts: 638000 | #Constraints: 90160 1404.75/1410.10 c #Conflicts: 639000 | #Constraints: 91160 1404.75/1410.10 c #Conflicts: 640000 | #Constraints: 92160 1404.75/1410.10 c #Conflicts: 641000 | #Constraints: 93160 1404.75/1410.10 c bounds 28 >= -937 @ 1318.5 1404.75/1410.10 c #Conflicts: 642000 | #Constraints: 94235 1404.75/1410.10 c bounds 27 >= -937 @ 1322.97 1404.75/1410.10 c #Conflicts: 643000 | #Constraints: 95246 1404.75/1410.10 c #Conflicts: 644000 | #Constraints: 96246 1404.75/1410.10 c #Conflicts: 645000 | #Constraints: 97246 1404.75/1410.10 c #Conflicts: 646000 | #Constraints: 98246 1404.75/1410.10 c #Conflicts: 647000 | #Constraints: 99246 1404.75/1410.10 c #Conflicts: 648000 | #Constraints: 100246 1404.75/1410.10 c #Conflicts: 649000 | #Constraints: 101246 1404.75/1410.10 c #Conflicts: 650000 | #Constraints: 102246 1404.75/1410.10 c #Conflicts: 651000 | #Constraints: 103246 1404.75/1410.10 c #Conflicts: 652000 | #Constraints: 104246 1404.75/1410.10 c #Conflicts: 653000 | #Constraints: 105246 1404.75/1410.10 c #Conflicts: 654000 | #Constraints: 106246 1404.75/1410.10 c #Conflicts: 655000 | #Constraints: 107246 1404.75/1410.10 c #Conflicts: 656000 | #Constraints: 108246 1404.75/1410.10 c #Conflicts: 657000 | #Constraints: 109246 1404.75/1410.10 c #Conflicts: 658000 | #Constraints: 110246 1404.75/1410.10 c #Conflicts: 659000 | #Constraints: 111246 1404.75/1410.10 c #Conflicts: 660000 | #Constraints: 112246 1404.75/1410.10 c #Conflicts: 661000 | #Constraints: 113246 1404.75/1410.10 c INPROCESSING 1404.75/1410.10 c GARBAGE COLLECT 1404.75/1410.10 c rational objective 2 1638.03/1644.13 c #Conflicts: 662000 | #Constraints: 65048 1638.03/1644.13 c #Conflicts: 663000 | #Constraints: 66050 1638.03/1644.13 c #Conflicts: 664000 | #Constraints: 67053 1638.03/1644.13 c #Conflicts: 665000 | #Constraints: 68055 1638.03/1644.13 c #Conflicts: 666000 | #Constraints: 69059 1638.03/1644.13 c #Conflicts: 667000 | #Constraints: 70062 1638.03/1644.13 c #Conflicts: 668000 | #Constraints: 71066 1638.03/1644.13 c #Conflicts: 669000 | #Constraints: 72070 1638.03/1644.13 c #Conflicts: 670000 | #Constraints: 73080 1638.03/1644.13 c #Conflicts: 671000 | #Constraints: 74085 1638.03/1644.13 c #Conflicts: 672000 | #Constraints: 75091 1638.03/1644.13 c #Conflicts: 673000 | #Constraints: 76100 1638.03/1644.13 c #Conflicts: 674000 | #Constraints: 77124 1638.03/1644.13 c #Conflicts: 675000 | #Constraints: 78138 1638.03/1644.13 c bounds 26 >= -937 @ 1463.46 1638.03/1644.13 c #Conflicts: 676000 | #Constraints: 79148 1638.03/1644.13 c #Conflicts: 677000 | #Constraints: 80148 1638.03/1644.13 c #Conflicts: 678000 | #Constraints: 81148 1638.03/1644.13 c #Conflicts: 679000 | #Constraints: 82148 1638.03/1644.13 c #Conflicts: 680000 | #Constraints: 83148 1638.03/1644.13 c bounds 26 >= -936 @ 1470.98 1638.03/1644.13 c #Conflicts: 681000 | #Constraints: 84190 1638.03/1644.13 c #Conflicts: 682000 | #Constraints: 85190 1638.03/1644.13 c #Conflicts: 683000 | #Constraints: 86190 1638.03/1644.13 c #Conflicts: 684000 | #Constraints: 87190 1638.03/1644.13 c #Conflicts: 685000 | #Constraints: 88190 1638.03/1644.13 c bounds 26 >= -935 @ 1479.57 1638.03/1644.13 c #Conflicts: 686000 | #Constraints: 89223 1638.03/1644.13 c #Conflicts: 687000 | #Constraints: 90223 1638.03/1644.13 c #Conflicts: 688000 | #Constraints: 91223 1638.03/1644.13 c #Conflicts: 689000 | #Constraints: 92223 1638.03/1644.13 c #Conflicts: 690000 | #Constraints: 93223 1638.03/1644.13 c #Conflicts: 691000 | #Constraints: 94223 1638.03/1644.13 c #Conflicts: 692000 | #Constraints: 95223 1638.03/1644.13 c bounds 26 >= -934 @ 1490.42 1638.03/1644.13 c #Conflicts: 693000 | #Constraints: 96250 1638.03/1644.13 c #Conflicts: 694000 | #Constraints: 97250 1638.03/1644.13 c #Conflicts: 695000 | #Constraints: 98250 1638.03/1644.13 c #Conflicts: 696000 | #Constraints: 99250 1638.03/1644.13 c #Conflicts: 697000 | #Constraints: 100250 1638.03/1644.13 c #Conflicts: 698000 | #Constraints: 101250 1638.03/1644.13 c #Conflicts: 699000 | #Constraints: 102250 1638.03/1644.13 c #Conflicts: 700000 | #Constraints: 103250 1638.03/1644.13 c #Conflicts: 701000 | #Constraints: 104250 1638.03/1644.13 c #Conflicts: 702000 | #Constraints: 105250 1638.03/1644.13 c #Conflicts: 703000 | #Constraints: 106250 1638.03/1644.13 c #Conflicts: 704000 | #Constraints: 107250 1638.03/1644.13 c bounds 26 >= -933 @ 1520.16 1638.03/1644.13 c #Conflicts: 705000 | #Constraints: 108286 1638.03/1644.13 c #Conflicts: 706000 | #Constraints: 109286 1638.03/1644.13 c #Conflicts: 707000 | #Constraints: 110286 1638.03/1644.13 c #Conflicts: 708000 | #Constraints: 111286 1638.03/1644.13 c #Conflicts: 709000 | #Constraints: 112286 1638.03/1644.13 c #Conflicts: 710000 | #Constraints: 113286 1638.03/1644.13 c #Conflicts: 711000 | #Constraints: 114286 1638.03/1644.13 c #Conflicts: 712000 | #Constraints: 115286 1638.03/1644.13 c #Conflicts: 713000 | #Constraints: 116287 1638.03/1644.13 c #Conflicts: 714000 | #Constraints: 117291 1638.03/1644.13 c INPROCESSING 1638.03/1644.13 c GARBAGE COLLECT 1638.03/1644.13 c rational objective 2 1773.33/1779.95 c #Conflicts: 715000 | #Constraints: 67660 1773.33/1779.95 c #Conflicts: 716000 | #Constraints: 68660 1773.33/1779.95 c #Conflicts: 717000 | #Constraints: 69660 1773.33/1779.95 c #Conflicts: 718000 | #Constraints: 70660 1773.33/1779.95 c #Conflicts: 719000 | #Constraints: 71660 1773.33/1779.95 c #Conflicts: 720000 | #Constraints: 72660 1773.33/1779.95 c #Conflicts: 721000 | #Constraints: 73660 1773.33/1779.95 c #Conflicts: 722000 | #Constraints: 74660 1773.33/1779.95 c #Conflicts: 723000 | #Constraints: 75660 1773.33/1779.95 c #Conflicts: 724000 | #Constraints: 76660 1773.33/1779.95 c #Conflicts: 725000 | #Constraints: 77660 1773.33/1779.95 c #Conflicts: 726000 | #Constraints: 78660 1773.33/1779.95 c #Conflicts: 727000 | #Constraints: 79660 1773.33/1779.95 c #Conflicts: 728000 | #Constraints: 80660 1773.33/1779.95 c #Conflicts: 729000 | #Constraints: 81660 1773.33/1779.95 c #Conflicts: 730000 | #Constraints: 82660 1773.33/1779.95 c #Conflicts: 731000 | #Constraints: 83660 1773.33/1779.95 c #Conflicts: 732000 | #Constraints: 84660 1773.33/1779.95 c #Conflicts: 733000 | #Constraints: 85660 1773.33/1779.95 c bounds 26 >= -932 @ 1642.8 1773.33/1779.95 c #Conflicts: 734000 | #Constraints: 86705 1773.33/1779.95 c #Conflicts: 735000 | #Constraints: 87705 1773.33/1779.95 c #Conflicts: 736000 | #Constraints: 88705 1773.33/1779.95 c #Conflicts: 737000 | #Constraints: 89705 1773.33/1779.95 c #Conflicts: 738000 | #Constraints: 90705 1773.33/1779.95 c #Conflicts: 739000 | #Constraints: 91705 1773.33/1779.95 c #Conflicts: 740000 | #Constraints: 92705 1773.33/1779.95 c #Conflicts: 741000 | #Constraints: 93705 1773.33/1779.95 c #Conflicts: 742000 | #Constraints: 94705 1773.33/1779.95 c #Conflicts: 743000 | #Constraints: 95705 1773.33/1779.95 c #Conflicts: 744000 | #Constraints: 96705 1773.33/1779.95 c #Conflicts: 745000 | #Constraints: 97705 1773.33/1779.95 c #Conflicts: 746000 | #Constraints: 98705 1773.33/1779.95 c #Conflicts: 747000 | #Constraints: 99705 1773.33/1779.95 c #Conflicts: 748000 | #Constraints: 100705 1773.33/1779.95 c #Conflicts: 749000 | #Constraints: 101705 1773.33/1779.95 c #Conflicts: 750000 | #Constraints: 102705 1773.33/1779.95 c #Conflicts: 751000 | #Constraints: 103705 1773.33/1779.95 c #Conflicts: 752000 | #Constraints: 104705 1773.33/1779.95 c #Conflicts: 753000 | #Constraints: 105705 1773.33/1779.95 c #Conflicts: 754000 | #Constraints: 106705 1773.33/1779.95 c #Conflicts: 755000 | #Constraints: 107705 1773.33/1779.95 c #Conflicts: 756000 | #Constraints: 108705 1773.33/1779.95 c #Conflicts: 757000 | #Constraints: 109705 1773.33/1779.95 c #Conflicts: 758000 | #Constraints: 110705 1773.33/1779.95 c #Conflicts: 759000 | #Constraints: 111705 1773.33/1779.95 c #Conflicts: 760000 | #Constraints: 112705 1773.33/1779.95 c #Conflicts: 761000 | #Constraints: 113705 1773.33/1779.95 c bounds 26 >= -931 @ 1716.4 1773.33/1779.95 c #Conflicts: 762000 | #Constraints: 114765 1773.33/1779.95 c #Conflicts: 763000 | #Constraints: 115765 1773.33/1779.95 c #Conflicts: 764000 | #Constraints: 116765 1773.33/1779.95 c #Conflicts: 765000 | #Constraints: 117765 1773.33/1779.95 c #Conflicts: 766000 | #Constraints: 118765 1773.33/1779.95 c #Conflicts: 767000 | #Constraints: 119765 1773.33/1779.95 c #Conflicts: 768000 | #Constraints: 120765 1773.33/1779.95 c INPROCESSING 1773.33/1779.95 c GARBAGE COLLECT 1773.33/1779.95 c rational objective 2 2266.19/2274.69 c #Conflicts: 769000 | #Constraints: 68839 2266.19/2274.69 c #Conflicts: 770000 | #Constraints: 69839 2266.19/2274.69 c #Conflicts: 771000 | #Constraints: 70839 2266.19/2274.69 c #Conflicts: 772000 | #Constraints: 71839 2266.19/2274.69 c #Conflicts: 773000 | #Constraints: 72839 2266.19/2274.69 c #Conflicts: 774000 | #Constraints: 73839 2266.19/2274.69 c #Conflicts: 775000 | #Constraints: 74839 2266.19/2274.69 c #Conflicts: 776000 | #Constraints: 75839 2266.19/2274.69 c #Conflicts: 777000 | #Constraints: 76840 2266.19/2274.69 c #Conflicts: 778000 | #Constraints: 77840 2266.19/2274.69 c #Conflicts: 779000 | #Constraints: 78848 2266.19/2274.69 c #Conflicts: 780000 | #Constraints: 79858 2266.19/2274.69 c #Conflicts: 781000 | #Constraints: 80870 2266.19/2274.69 c #Conflicts: 782000 | #Constraints: 81896 2266.19/2274.69 c #Conflicts: 783000 | #Constraints: 82946 2266.19/2274.69 c #Conflicts: 784000 | #Constraints: 83990 2266.19/2274.69 c #Conflicts: 785000 | #Constraints: 85025 2266.19/2274.69 c #Conflicts: 786000 | #Constraints: 86076 2266.19/2274.69 c #Conflicts: 787000 | #Constraints: 87090 2266.19/2274.69 c #Conflicts: 788000 | #Constraints: 88097 2266.19/2274.69 c #Conflicts: 789000 | #Constraints: 89126 2266.19/2274.69 c #Conflicts: 790000 | #Constraints: 90144 2266.19/2274.69 c #Conflicts: 791000 | #Constraints: 91174 2266.19/2274.69 c #Conflicts: 792000 | #Constraints: 92184 2266.19/2274.69 c #Conflicts: 793000 | #Constraints: 93191 2266.19/2274.69 c #Conflicts: 794000 | #Constraints: 94198 2266.19/2274.69 c #Conflicts: 795000 | #Constraints: 95205 2266.19/2274.69 c #Conflicts: 796000 | #Constraints: 96216 2266.19/2274.69 c #Conflicts: 797000 | #Constraints: 97223 2266.19/2274.69 c #Conflicts: 798000 | #Constraints: 98237 2266.19/2274.69 c #Conflicts: 799000 | #Constraints: 99255 2266.19/2274.69 c bounds 25 >= -931 @ 2052.19 2266.19/2274.69 c #Conflicts: 800000 | #Constraints: 100282 2266.19/2274.69 c #Conflicts: 801000 | #Constraints: 101282 2266.19/2274.69 c #Conflicts: 802000 | #Constraints: 102282 2266.19/2274.69 c #Conflicts: 803000 | #Constraints: 103282 2266.19/2274.69 c #Conflicts: 804000 | #Constraints: 104282 2266.19/2274.69 c #Conflicts: 805000 | #Constraints: 105282 2266.19/2274.69 c #Conflicts: 806000 | #Constraints: 106282 2266.19/2274.69 c #Conflicts: 807000 | #Constraints: 107282 2266.19/2274.69 c #Conflicts: 808000 | #Constraints: 108282 2266.19/2274.69 c #Conflicts: 809000 | #Constraints: 109282 2266.19/2274.69 c #Conflicts: 810000 | #Constraints: 110282 2266.19/2274.69 c #Conflicts: 811000 | #Constraints: 111282 2266.19/2274.69 c #Conflicts: 812000 | #Constraints: 112282 2266.19/2274.69 c #Conflicts: 813000 | #Constraints: 113282 2266.19/2274.69 c #Conflicts: 814000 | #Constraints: 114282 2266.19/2274.69 c #Conflicts: 815000 | #Constraints: 115282 2266.19/2274.69 c #Conflicts: 816000 | #Constraints: 116282 2266.19/2274.69 c #Conflicts: 817000 | #Constraints: 117282 2266.19/2274.69 c #Conflicts: 818000 | #Constraints: 118282 2266.19/2274.69 c #Conflicts: 819000 | #Constraints: 119282 2266.19/2274.69 c #Conflicts: 820000 | #Constraints: 120282 2266.19/2274.69 c #Conflicts: 821000 | #Constraints: 121282 2266.19/2274.69 c #Conflicts: 822000 | #Constraints: 122282 2266.19/2274.69 c #Conflicts: 823000 | #Constraints: 123282 2266.19/2274.69 c #Conflicts: 824000 | #Constraints: 124282 2266.19/2274.69 c #Conflicts: 825000 | #Constraints: 125282 2266.19/2274.69 c INPROCESSING 2266.19/2274.69 c GARBAGE COLLECT 2266.19/2274.69 c rational objective 2 2378.58/2387.48 c #Conflicts: 826000 | #Constraints: 71234 2378.58/2387.48 c #Conflicts: 827000 | #Constraints: 72234 2378.58/2387.48 c #Conflicts: 828000 | #Constraints: 73234 2378.58/2387.48 c #Conflicts: 829000 | #Constraints: 74234 2378.58/2387.48 c #Conflicts: 830000 | #Constraints: 75234 2378.58/2387.48 c #Conflicts: 831000 | #Constraints: 76234 2378.58/2387.48 c #Conflicts: 832000 | #Constraints: 77234 2378.58/2387.48 c #Conflicts: 833000 | #Constraints: 78234 2378.58/2387.48 c #Conflicts: 834000 | #Constraints: 79234 2378.58/2387.48 c #Conflicts: 835000 | #Constraints: 80234 2378.58/2387.48 c #Conflicts: 836000 | #Constraints: 81234 2378.58/2387.48 c #Conflicts: 837000 | #Constraints: 82234 2378.58/2387.48 c #Conflicts: 838000 | #Constraints: 83234 2378.58/2387.48 c #Conflicts: 839000 | #Constraints: 84234 2378.58/2387.48 c #Conflicts: 840000 | #Constraints: 85234 2378.58/2387.48 c #Conflicts: 841000 | #Constraints: 86234 2378.58/2387.48 c #Conflicts: 842000 | #Constraints: 87234 2378.58/2387.48 c #Conflicts: 843000 | #Constraints: 88234 2378.58/2387.48 c #Conflicts: 844000 | #Constraints: 89234 2378.58/2387.48 c #Conflicts: 845000 | #Constraints: 90234 2378.58/2387.48 c #Conflicts: 846000 | #Constraints: 91234 2378.58/2387.48 c #Conflicts: 847000 | #Constraints: 92234 2378.58/2387.48 c #Conflicts: 848000 | #Constraints: 93234 2378.58/2387.48 c #Conflicts: 849000 | #Constraints: 94234 2378.58/2387.48 c #Conflicts: 850000 | #Constraints: 95234 2378.58/2387.48 c #Conflicts: 851000 | #Constraints: 96234 2378.58/2387.48 c bounds 25 >= -930 @ 2268.89 2378.58/2387.48 c #Conflicts: 852000 | #Constraints: 97282 2378.58/2387.48 c #Conflicts: 853000 | #Constraints: 98282 2378.58/2387.48 c #Conflicts: 854000 | #Constraints: 99282 2378.58/2387.48 c #Conflicts: 855000 | #Constraints: 100282 2378.58/2387.48 c #Conflicts: 856000 | #Constraints: 101282 2378.58/2387.48 c #Conflicts: 857000 | #Constraints: 102282 2378.58/2387.48 c #Conflicts: 858000 | #Constraints: 103282 2378.58/2387.48 c #Conflicts: 859000 | #Constraints: 104282 2378.58/2387.48 c #Conflicts: 860000 | #Constraints: 105282 2378.58/2387.48 c #Conflicts: 861000 | #Constraints: 106282 2378.58/2387.48 c #Conflicts: 862000 | #Constraints: 107282 2378.58/2387.48 c #Conflicts: 863000 | #Constraints: 108282 2378.58/2387.48 c #Conflicts: 864000 | #Constraints: 109282 2378.58/2387.48 c #Conflicts: 865000 | #Constraints: 110282 2378.58/2387.48 c #Conflicts: 866000 | #Constraints: 111282 2378.58/2387.48 c #Conflicts: 867000 | #Constraints: 112282 2378.58/2387.48 c #Conflicts: 868000 | #Constraints: 113282 2378.58/2387.48 c #Conflicts: 869000 | #Constraints: 114282 2378.58/2387.48 c #Conflicts: 870000 | #Constraints: 115282 2378.58/2387.48 c #Conflicts: 871000 | #Constraints: 116282 2378.58/2387.48 c #Conflicts: 872000 | #Constraints: 117282 2378.58/2387.48 c #Conflicts: 873000 | #Constraints: 118282 2378.58/2387.48 c #Conflicts: 874000 | #Constraints: 119282 2378.58/2387.48 c #Conflicts: 875000 | #Constraints: 120282 2378.58/2387.48 c #Conflicts: 876000 | #Constraints: 121282 2378.58/2387.48 c #Conflicts: 877000 | #Constraints: 122282 2378.58/2387.48 c #Conflicts: 878000 | #Constraints: 123282 2378.58/2387.48 c #Conflicts: 879000 | #Constraints: 124282 2378.58/2387.48 c #Conflicts: 880000 | #Constraints: 125282 2378.58/2387.48 c #Conflicts: 881000 | #Constraints: 126282 2378.58/2387.48 c #Conflicts: 882000 | #Constraints: 127282 2378.58/2387.48 c #Conflicts: 883000 | #Constraints: 128282 2378.58/2387.48 c #Conflicts: 884000 | #Constraints: 129282 2378.58/2387.48 c INPROCESSING 2378.58/2387.48 c GARBAGE COLLECT 2378.58/2387.48 c rational objective 2 2565.11/2574.65 c #Conflicts: 885000 | #Constraints: 73283 2565.11/2574.65 c #Conflicts: 886000 | #Constraints: 74283 2565.11/2574.65 c #Conflicts: 887000 | #Constraints: 75283 2565.11/2574.65 c #Conflicts: 888000 | #Constraints: 76283 2565.11/2574.65 c #Conflicts: 889000 | #Constraints: 77283 2565.11/2574.65 c #Conflicts: 890000 | #Constraints: 78283 2565.11/2574.65 c #Conflicts: 891000 | #Constraints: 79283 2565.11/2574.65 c #Conflicts: 892000 | #Constraints: 80283 2565.11/2574.65 c #Conflicts: 893000 | #Constraints: 81283 2565.11/2574.65 c #Conflicts: 894000 | #Constraints: 82283 2565.11/2574.65 c #Conflicts: 895000 | #Constraints: 83283 2565.11/2574.65 c #Conflicts: 896000 | #Constraints: 84283 2565.11/2574.65 c #Conflicts: 897000 | #Constraints: 85283 2565.11/2574.65 c #Conflicts: 898000 | #Constraints: 86283 2565.11/2574.65 c #Conflicts: 899000 | #Constraints: 87283 2565.11/2574.65 c #Conflicts: 900000 | #Constraints: 88283 2565.11/2574.65 c #Conflicts: 901000 | #Constraints: 89283 2565.11/2574.65 c #Conflicts: 902000 | #Constraints: 90283 2565.11/2574.65 c #Conflicts: 903000 | #Constraints: 91283 2565.11/2574.65 c #Conflicts: 904000 | #Constraints: 92283 2565.11/2574.65 c #Conflicts: 905000 | #Constraints: 93283 2565.11/2574.65 c #Conflicts: 906000 | #Constraints: 94283 2565.11/2574.65 c #Conflicts: 907000 | #Constraints: 95283 2565.11/2574.65 c #Conflicts: 908000 | #Constraints: 96283 2565.11/2574.65 c #Conflicts: 909000 | #Constraints: 97283 2565.11/2574.65 c #Conflicts: 910000 | #Constraints: 98283 2565.11/2574.65 c #Conflicts: 911000 | #Constraints: 99283 2565.11/2574.65 c #Conflicts: 912000 | #Constraints: 100283 2565.11/2574.65 c #Conflicts: 913000 | #Constraints: 101283 2565.11/2574.65 c #Conflicts: 914000 | #Constraints: 102283 2565.11/2574.65 c #Conflicts: 915000 | #Constraints: 103283 2565.11/2574.65 c #Conflicts: 916000 | #Constraints: 104283 2565.11/2574.65 c #Conflicts: 917000 | #Constraints: 105283 2565.11/2574.65 c #Conflicts: 918000 | #Constraints: 106283 2565.11/2574.65 c #Conflicts: 919000 | #Constraints: 107283 2565.11/2574.65 c #Conflicts: 920000 | #Constraints: 108283 2565.11/2574.65 c #Conflicts: 921000 | #Constraints: 109283 2565.11/2574.65 c #Conflicts: 922000 | #Constraints: 110283 2565.11/2574.65 c #Conflicts: 923000 | #Constraints: 111283 2565.11/2574.65 c #Conflicts: 924000 | #Constraints: 112283 2565.11/2574.65 c #Conflicts: 925000 | #Constraints: 113283 2565.11/2574.65 c #Conflicts: 926000 | #Constraints: 114283 2565.11/2574.65 c #Conflicts: 927000 | #Constraints: 115283 2565.11/2574.65 c #Conflicts: 928000 | #Constraints: 116283 2565.11/2574.65 c #Conflicts: 929000 | #Constraints: 117283 2565.11/2574.65 c #Conflicts: 930000 | #Constraints: 118283 2565.11/2574.65 c #Conflicts: 931000 | #Constraints: 119283 2565.11/2574.65 c #Conflicts: 932000 | #Constraints: 120283 2565.11/2574.65 c #Conflicts: 933000 | #Constraints: 121283 2565.11/2574.65 c #Conflicts: 934000 | #Constraints: 122283 2565.11/2574.65 c #Conflicts: 935000 | #Constraints: 123283 2565.11/2574.65 c #Conflicts: 936000 | #Constraints: 124283 2565.11/2574.65 c #Conflicts: 937000 | #Constraints: 125283 2565.11/2574.65 c #Conflicts: 938000 | #Constraints: 126283 2565.11/2574.65 c #Conflicts: 939000 | #Constraints: 127283 2565.11/2574.65 c #Conflicts: 940000 | #Constraints: 128283 2565.11/2574.65 c #Conflicts: 941000 | #Constraints: 129283 2565.11/2574.65 c #Conflicts: 942000 | #Constraints: 130283 2565.11/2574.65 c #Conflicts: 943000 | #Constraints: 131283 2565.11/2574.65 c #Conflicts: 944000 | #Constraints: 132283 2565.11/2574.65 c bounds 25 >= -929 @ 2531.16 2565.11/2574.65 c #Conflicts: 945000 | #Constraints: 133367 2565.11/2574.65 c INPROCESSING 2565.11/2574.65 c GARBAGE COLLECT 2565.11/2574.65 c rational objective 2 3029.84/3041.14 c #Conflicts: 946000 | #Constraints: 75287 3029.84/3041.14 c #Conflicts: 947000 | #Constraints: 76321 3029.84/3041.14 c #Conflicts: 948000 | #Constraints: 77343 3029.84/3041.14 c #Conflicts: 949000 | #Constraints: 78349 3029.84/3041.14 c #Conflicts: 950000 | #Constraints: 79353 3029.84/3041.14 c #Conflicts: 951000 | #Constraints: 80358 3029.84/3041.14 c #Conflicts: 952000 | #Constraints: 81364 3029.84/3041.14 c #Conflicts: 953000 | #Constraints: 82368 3029.84/3041.14 c #Conflicts: 954000 | #Constraints: 83373 3029.84/3041.14 c #Conflicts: 955000 | #Constraints: 84377 3029.84/3041.14 c #Conflicts: 956000 | #Constraints: 85382 3029.84/3041.14 c #Conflicts: 957000 | #Constraints: 86388 3029.84/3041.14 c #Conflicts: 958000 | #Constraints: 87394 3029.84/3041.14 c #Conflicts: 959000 | #Constraints: 88404 3029.84/3041.14 c #Conflicts: 960000 | #Constraints: 89414 3029.84/3041.14 c #Conflicts: 961000 | #Constraints: 90424 3029.84/3041.14 c #Conflicts: 962000 | #Constraints: 91436 3029.84/3041.14 c #Conflicts: 963000 | #Constraints: 92443 3029.84/3041.14 c #Conflicts: 964000 | #Constraints: 93451 3029.84/3041.14 c #Conflicts: 965000 | #Constraints: 94461 3029.84/3041.14 c #Conflicts: 966000 | #Constraints: 95476 3029.84/3041.14 c #Conflicts: 967000 | #Constraints: 96494 3029.84/3041.14 c #Conflicts: 968000 | #Constraints: 97502 3029.84/3041.14 c #Conflicts: 969000 | #Constraints: 98514 3029.84/3041.14 c #Conflicts: 970000 | #Constraints: 99531 3029.84/3041.14 c #Conflicts: 971000 | #Constraints: 100543 3029.84/3041.14 c #Conflicts: 972000 | #Constraints: 101552 3029.84/3041.14 c #Conflicts: 973000 | #Constraints: 102566 3029.84/3041.14 c #Conflicts: 974000 | #Constraints: 103579 3029.84/3041.14 c #Conflicts: 975000 | #Constraints: 104608 3029.84/3041.14 c #Conflicts: 976000 | #Constraints: 105654 3029.84/3041.14 c #Conflicts: 977000 | #Constraints: 106688 3029.84/3041.14 c #Conflicts: 978000 | #Constraints: 107730 3029.84/3041.14 c bounds 24 >= -929 @ 2762.54 3029.84/3041.14 c #Conflicts: 979000 | #Constraints: 108739 3029.84/3041.14 c #Conflicts: 980000 | #Constraints: 109739 3029.84/3041.14 c #Conflicts: 981000 | #Constraints: 110739 3029.84/3041.14 c #Conflicts: 982000 | #Constraints: 111739 3029.84/3041.14 c #Conflicts: 983000 | #Constraints: 112739 3029.84/3041.14 c #Conflicts: 984000 | #Constraints: 113739 3029.84/3041.14 c bounds 24 >= -928 @ 2809.17 3029.84/3041.14 c #Conflicts: 985000 | #Constraints: 114811 3029.84/3041.14 c #Conflicts: 986000 | #Constraints: 115811 3029.84/3041.14 c #Conflicts: 987000 | #Constraints: 116811 3029.84/3041.14 c #Conflicts: 988000 | #Constraints: 117811 3029.84/3041.14 c #Conflicts: 989000 | #Constraints: 118811 3029.84/3041.14 c #Conflicts: 990000 | #Constraints: 119811 3029.84/3041.14 c #Conflicts: 991000 | #Constraints: 120811 3029.84/3041.14 c #Conflicts: 992000 | #Constraints: 121811 3029.84/3041.14 c #Conflicts: 993000 | #Constraints: 122811 3029.84/3041.14 c #Conflicts: 994000 | #Constraints: 123811 3029.84/3041.14 c #Conflicts: 995000 | #Constraints: 124811 3029.84/3041.14 c #Conflicts: 996000 | #Constraints: 125811 3029.84/3041.14 c #Conflicts: 997000 | #Constraints: 126811 3029.84/3041.14 c #Conflicts: 998000 | #Constraints: 127811 3029.84/3041.14 c #Conflicts: 999000 | #Constraints: 128811 3029.84/3041.14 c #Conflicts: 1000000 | #Constraints: 129811 3029.84/3041.14 c #Conflicts: 1001000 | #Constraints: 130811 3029.84/3041.14 c #Conflicts: 1002000 | #Constraints: 131811 3029.84/3041.14 c #Conflicts: 1003000 | #Constraints: 132811 3029.84/3041.14 c #Conflicts: 1004000 | #Constraints: 133811 3029.84/3041.14 c #Conflicts: 1005000 | #Constraints: 134811 3029.84/3041.14 c #Conflicts: 1006000 | #Constraints: 135811 3029.84/3041.14 c #Conflicts: 1007000 | #Constraints: 136811 3029.84/3041.14 c #Conflicts: 1008000 | #Constraints: 137811 3029.84/3041.14 c INPROCESSING 3029.84/3041.14 c GARBAGE COLLECT 3029.84/3041.14 c rational objective 2 3121.29/3132.92 c #Conflicts: 1009000 | #Constraints: 77756 3121.29/3132.92 c #Conflicts: 1010000 | #Constraints: 78756 3121.29/3132.92 c #Conflicts: 1011000 | #Constraints: 79756 3121.29/3132.92 c #Conflicts: 1012000 | #Constraints: 80756 3121.29/3132.92 c #Conflicts: 1013000 | #Constraints: 81756 3121.29/3132.92 c #Conflicts: 1014000 | #Constraints: 82756 3121.29/3132.92 c #Conflicts: 1015000 | #Constraints: 83756 3121.29/3132.92 c #Conflicts: 1016000 | #Constraints: 84756 3121.29/3132.92 c #Conflicts: 1017000 | #Constraints: 85756 3121.29/3132.92 c #Conflicts: 1018000 | #Constraints: 86756 3121.29/3132.92 c #Conflicts: 1019000 | #Constraints: 87756 3121.29/3132.92 c #Conflicts: 1020000 | #Constraints: 88756 3121.29/3132.92 c #Conflicts: 1021000 | #Constraints: 89756 3121.29/3132.92 c #Conflicts: 1022000 | #Constraints: 90756 3121.29/3132.92 c #Conflicts: 1023000 | #Constraints: 91756 3121.29/3132.92 c #Conflicts: 1024000 | #Constraints: 92756 3121.29/3132.92 c #Conflicts: 1025000 | #Constraints: 93756 3121.29/3132.92 c #Conflicts: 1026000 | #Constraints: 94756 3121.29/3132.92 c #Conflicts: 1027000 | #Constraints: 95756 3121.29/3132.92 c #Conflicts: 1028000 | #Constraints: 96756 3121.29/3132.92 c bounds 24 >= -927 @ 3027.04 3121.29/3132.92 c bounds 23 >= -927 @ 3028.92 3121.29/3132.92 c #Conflicts: 1029000 | #Constraints: 97868 3121.29/3132.92 c bounds 22 >= -927 @ 3032.67 3121.29/3132.92 c #Conflicts: 1030000 | #Constraints: 98964 3121.29/3132.92 c #Conflicts: 1031000 | #Constraints: 100012 3121.29/3132.92 c bounds 21 >= -927 @ 3039.68 3121.29/3132.92 c #Conflicts: 1032000 | #Constraints: 101103 3121.29/3132.92 c bounds 20 >= -927 @ 3046.21 3121.29/3132.92 c #Conflicts: 1033000 | #Constraints: 102157 3121.29/3132.92 c #Conflicts: 1034000 | #Constraints: 103237 3121.29/3132.92 c #Conflicts: 1035000 | #Constraints: 104263 3121.29/3132.92 c #Conflicts: 1036000 | #Constraints: 105296 3121.29/3132.92 c #Conflicts: 1037000 | #Constraints: 106307 3121.29/3132.92 c #Conflicts: 1038000 | #Constraints: 107327 3121.29/3132.92 c #Conflicts: 1039000 | #Constraints: 108341 3121.29/3132.92 c #Conflicts: 1040000 | #Constraints: 109353 3121.29/3132.92 c INPROCESSING 3121.29/3132.92 c GARBAGE COLLECT 3121.29/3132.92 c rational objective 2 3285.57/3297.86 c #Conflicts: 1041000 | #Constraints: 76944 3285.57/3297.86 c #Conflicts: 1042000 | #Constraints: 77944 3285.57/3297.86 c #Conflicts: 1043000 | #Constraints: 78944 3285.57/3297.86 c #Conflicts: 1044000 | #Constraints: 79944 3285.57/3297.86 c #Conflicts: 1045000 | #Constraints: 80944 3285.57/3297.86 c #Conflicts: 1046000 | #Constraints: 81944 3285.57/3297.86 c #Conflicts: 1047000 | #Constraints: 82944 3285.57/3297.86 c #Conflicts: 1048000 | #Constraints: 83944 3285.57/3297.86 c #Conflicts: 1049000 | #Constraints: 84944 3285.57/3297.86 c #Conflicts: 1050000 | #Constraints: 85944 3285.57/3297.86 c #Conflicts: 1051000 | #Constraints: 86944 3285.57/3297.86 c #Conflicts: 1052000 | #Constraints: 87944 3285.57/3297.86 c #Conflicts: 1053000 | #Constraints: 88944 3285.57/3297.86 c #Conflicts: 1054000 | #Constraints: 89944 3285.57/3297.86 c #Conflicts: 1055000 | #Constraints: 90944 3285.57/3297.86 c #Conflicts: 1056000 | #Constraints: 91944 3285.57/3297.86 c #Conflicts: 1057000 | #Constraints: 92944 3285.57/3297.86 c #Conflicts: 1058000 | #Constraints: 93944 3285.57/3297.86 c #Conflicts: 1059000 | #Constraints: 94944 3285.57/3297.86 c #Conflicts: 1060000 | #Constraints: 95944 3285.57/3297.86 c #Conflicts: 1061000 | #Constraints: 96944 3285.57/3297.86 c #Conflicts: 1062000 | #Constraints: 97944 3285.57/3297.86 c #Conflicts: 1063000 | #Constraints: 98944 3285.57/3297.86 c #Conflicts: 1064000 | #Constraints: 99944 3285.57/3297.86 c #Conflicts: 1065000 | #Constraints: 100944 3285.57/3297.86 c #Conflicts: 1066000 | #Constraints: 101944 3285.57/3297.86 c #Conflicts: 1067000 | #Constraints: 102944 3285.57/3297.86 c #Conflicts: 1068000 | #Constraints: 103944 3285.57/3297.86 c #Conflicts: 1069000 | #Constraints: 104944 3285.57/3297.86 c #Conflicts: 1070000 | #Constraints: 105944 3285.57/3297.86 c #Conflicts: 1071000 | #Constraints: 106944 3285.57/3297.86 c #Conflicts: 1072000 | #Constraints: 107944 3285.57/3297.86 c #Conflicts: 1073000 | #Constraints: 108944 3285.57/3297.86 c #Conflicts: 1074000 | #Constraints: 109944 3285.57/3297.86 c #Conflicts: 1075000 | #Constraints: 110944 3285.57/3297.86 c #Conflicts: 1076000 | #Constraints: 111944 3285.57/3297.86 c #Conflicts: 1077000 | #Constraints: 112944 3285.57/3297.86 c #Conflicts: 1078000 | #Constraints: 113944 3285.57/3297.86 c #Conflicts: 1079000 | #Constraints: 114944 3285.57/3297.86 c #Conflicts: 1080000 | #Constraints: 115944 3285.57/3297.86 c #Conflicts: 1081000 | #Constraints: 116944 3285.57/3297.86 c #Conflicts: 1082000 | #Constraints: 117944 3285.57/3297.86 c #Conflicts: 1083000 | #Constraints: 118944 3285.57/3297.86 c #Conflicts: 1084000 | #Constraints: 119944 3285.57/3297.86 c #Conflicts: 1085000 | #Constraints: 120944 3285.57/3297.86 c #Conflicts: 1086000 | #Constraints: 121944 3285.57/3297.86 c #Conflicts: 1087000 | #Constraints: 122944 3285.57/3297.86 c #Conflicts: 1088000 | #Constraints: 123944 3285.57/3297.86 c #Conflicts: 1089000 | #Constraints: 124944 3285.57/3297.86 c #Conflicts: 1090000 | #Constraints: 125944 3285.57/3297.86 c #Conflicts: 1091000 | #Constraints: 126944 3285.57/3297.86 c #Conflicts: 1092000 | #Constraints: 127944 3285.57/3297.86 c #Conflicts: 1093000 | #Constraints: 128944 3285.57/3297.86 c #Conflicts: 1094000 | #Constraints: 129944 3285.57/3297.86 c #Conflicts: 1095000 | #Constraints: 130944 3285.57/3297.86 c #Conflicts: 1096000 | #Constraints: 131944 3285.57/3297.86 c #Conflicts: 1097000 | #Constraints: 132944 3285.57/3297.86 c #Conflicts: 1098000 | #Constraints: 133944 3285.57/3297.86 c #Conflicts: 1099000 | #Constraints: 134944 3285.57/3297.86 c #Conflicts: 1100000 | #Constraints: 135944 3285.57/3297.86 c #Conflicts: 1101000 | #Constraints: 136944 3285.57/3297.86 c #Conflicts: 1102000 | #Constraints: 137944 3285.57/3297.86 c #Conflicts: 1103000 | #Constraints: 138944 3285.57/3297.86 c #Conflicts: 1104000 | #Constraints: 139944 3285.57/3297.86 c #Conflicts: 1105000 | #Constraints: 140944 3285.57/3297.86 c #Conflicts: 1106000 | #Constraints: 141944 3285.57/3297.86 c INPROCESSING 3285.57/3297.86 c GARBAGE COLLECT 3285.57/3297.86 c rational objective 2 3600.07/3613.60 c #Conflicts: 1107000 | #Constraints: 79628 3600.07/3613.60 c #Conflicts: 1108000 | #Constraints: 80629 3600.07/3613.60 c #Conflicts: 1109000 | #Constraints: 81634 3600.07/3613.60 c #Conflicts: 1110000 | #Constraints: 82646 3600.07/3613.60 c #Conflicts: 1111000 | #Constraints: 83656 3600.07/3613.60 c #Conflicts: 1112000 | #Constraints: 84671 3600.07/3613.60 c #Conflicts: 1113000 | #Constraints: 85686 3600.07/3613.60 c #Conflicts: 1114000 | #Constraints: 86695 3600.07/3613.60 c #Conflicts: 1115000 | #Constraints: 87700 3600.07/3613.60 c #Conflicts: 1116000 | #Constraints: 88719 3600.07/3613.60 c #Conflicts: 1117000 | #Constraints: 89743 3600.07/3613.60 c #Conflicts: 1118000 | #Constraints: 90780 3600.07/3613.60 c #Conflicts: 1119000 | #Constraints: 91805 3600.07/3613.60 c #Conflicts: 1120000 | #Constraints: 92823 3600.07/3613.60 c #Conflicts: 1121000 | #Constraints: 93848 3600.07/3613.60 c #Conflicts: 1122000 | #Constraints: 94874 3600.07/3613.60 c #Conflicts: 1123000 | #Constraints: 95900 3600.07/3613.60 c #Conflicts: 1124000 | #Constraints: 96911 3600.07/3613.60 c #Conflicts: 1125000 | #Constraints: 97932 3600.07/3613.60 c #Conflicts: 1126000 | #Constraints: 98976 3600.07/3613.60 c #Conflicts: 1127000 | #Constraints: 100011 3600.07/3613.60 c #Conflicts: 1128000 | #Constraints: 101029 3600.07/3613.60 c #Conflicts: 1129000 | #Constraints: 102039 3600.07/3613.60 c #Conflicts: 1130000 | #Constraints: 103052 3600.07/3613.60 c #Conflicts: 1131000 | #Constraints: 104059 3600.07/3613.60 c #Conflicts: 1132000 | #Constraints: 105077 3600.07/3613.60 c #Conflicts: 1133000 | #Constraints: 106090 3600.07/3613.60 c #Conflicts: 1134000 | #Constraints: 107106 3600.07/3613.60 c #Conflicts: 1135000 | #Constraints: 108114 3600.07/3613.60 c #Conflicts: 1136000 | #Constraints: 109118 3600.07/3613.60 c #Conflicts: 1137000 | #Constraints: 110125 3600.07/3613.60 c #Conflicts: 1138000 | #Constraints: 111134 3600.07/3613.60 c #Conflicts: 1139000 | #Constraints: 112143 3600.07/3613.60 c #Conflicts: 1140000 | #Constraints: 113157 3600.07/3613.60 c Program interrupted by user. 3600.07/3613.60 c cpu time 3561.71 s 3600.07/3613.60 c deterministic time 285380182406 2.85e+11 3600.07/3613.60 c optimization time 314.232 s 3600.07/3613.60 c total solve time 3247.46 s 3600.07/3613.60 c core-guided solve time 1800.34 s 3600.07/3613.60 c propagation time 2838.4 s 3600.07/3613.60 c conflict analysis time 538.351 s 3600.07/3613.60 c propagations 210455827 3600.07/3613.60 c resolve steps 11505348 3600.07/3613.60 c decisions 15459295 3600.07/3613.60 c conflicts 1140238 3600.07/3613.60 c restarts 2105 3600.07/3613.60 c inprocessing phases 37 3600.07/3613.60 c input clauses 7189 3600.07/3613.60 c input cardinalities 1890 3600.07/3613.60 c input general constraints 6873 3600.07/3613.60 c input average constraint length 339.45 3600.07/3613.60 c input average constraint degree 142.05 3600.07/3613.60 c learned clauses 480546 3600.07/3613.60 c learned cardinalities 533 3600.07/3613.60 c learned general constraints 666918 3600.07/3613.60 c learned average constraint length 792.37 3600.07/3613.60 c learned average constraint degree 14316061348.93 3600.07/3613.60 c watched constraints 408953 3600.07/3613.60 c counting constraints 264838 3600.07/3613.60 c gcd simplifications 48363 3600.07/3613.60 c detected cardinalities 6 3600.07/3613.60 c weakened non-implied lits 112433931 3600.07/3613.60 c weakened non-implying lits 155132 3600.07/3613.60 c original variables 4617 3600.07/3613.60 c clausal propagations 38993578 3600.07/3613.60 c cardinality propagations 6978854 3600.07/3613.60 c watched propagations 24909709 3600.07/3613.60 c counting propagations 134444090 3600.07/3613.60 c watch lookups 52798629176 3600.07/3613.60 c watch backjump lookups 48327761636 3600.07/3613.60 c watch checks 143622010800 3600.07/3613.60 c propagation checks 38392719320 3600.07/3613.60 c constraint additions 1784766562 3600.07/3613.60 c trail pops 227044658 3600.07/3613.60 c formula constraints 5280 3600.07/3613.60 c learned constraints 1133725 3600.07/3613.60 c bound constraints 1148 3600.07/3613.60 c core-guided constraints 9524 3600.07/3613.60 c encountered formula constraints 2327686 3600.07/3613.60 c encountered learned constraints 7891321 3600.07/3613.60 c encountered bound constraints 549 3600.07/3613.60 c encountered core-guided constraints 2315772 3600.07/3613.60 c LP total time 279.8 s 3600.07/3613.60 c LP solve time 265.26 s 3600.07/3613.60 c LP constraints added 5280 3600.07/3613.60 c LP constraints removed 0 3600.07/3613.60 c LP pivots internal 1140424 3600.07/3613.60 c LP pivots root 194707 3600.07/3613.60 c LP calls 10243 3600.07/3613.60 c LP optimalities 3102 3600.07/3613.60 c LP no pivot count 1279 3600.07/3613.60 c LP infeasibilities 7136 3600.07/3613.60 c LP valid Farkas constraints 7136 3600.07/3613.60 c LP learned Farkas constraints 7136 3600.07/3613.60 c LP basis resets 0 3600.07/3613.60 c LP cycling count 0 3600.07/3613.60 c LP singular count 0 3600.07/3613.60 c LP no primal count 0 3600.07/3613.60 c LP no farkas count 0 3600.07/3613.60 c LP other issue count 0 3600.07/3613.60 c LP Gomory cuts 0 3600.07/3613.60 c LP learned cuts 0 3600.07/3613.60 c LP deleted cuts 0 3600.07/3613.60 c LP encountered Gomory constraints 0 3600.07/3613.60 c LP encountered Farkas constraints 71096 3600.07/3613.60 c LP encountered learned Farkas constraints 32026 3600.07/3613.60 c CG auxiliary variables introduced 3510 3600.07/3613.60 c CG solutions found 142 3600.07/3613.60 c CG cores constructed 1006 3600.07/3613.60 c CG core cardinality constraints returned 133 3600.07/3613.60 c CG unit cores 0 3600.07/3613.60 c CG single cores 712 3600.07/3613.60 c CG blocks removed during cardinality reduction 0 3600.07/3613.60 c CG first core best 1 3600.07/3613.60 c CG decision core best 77 3600.07/3613.60 c CG core reduction tie 216 3600.07/3613.60 c CG core degree average 1.16 3600.07/3613.60 c CG core slack average 8.82 3600.07/3613.60 s SATISFIABLE 3600.07/3613.60 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 -x4123 -x4124 -x4125 -x4126 -x4127
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 (61529 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460251-1722064836/watcher-4460251-1722064836 -o /tmp/evaluation-result-4460251-1722064836/solver-4460251-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722064836-364612 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460251-1722064836 --lp-cut-gomory=0 HOME/instance-4460251-1722064836.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=364669, runsolver pid=364666
Current StackSize limit: 8192 KiB
[startup+0.100319 s]*
/proc/loadavg: 0.13 0.11 0.09 5/256 364676
/proc/meminfo: memFree=119672544/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=46964 memory=16068 CPUtime=0.09 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 2972 0 0 0 8 1 0 0 20 0 1 0 43011867 48091136 4017 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 11741 4017 1779 992 0 3599 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46964 KiB
Current children cumulated memory: 16068 KiB
[startup+0.205304 s]*
/proc/loadavg: 0.13 0.11 0.09 5/256 364676
/proc/meminfo: memFree=119661440/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=47332 memory=16596 CPUtime=0.19 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 3050 0 0 0 17 2 0 0 20 0 1 0 43011867 48467968 4149 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 11833 4149 1779 992 0 3691 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47332 KiB
Current children cumulated memory: 16596 KiB
[startup+0.304419 s]*
/proc/loadavg: 0.13 0.11 0.09 5/256 364676
/proc/meminfo: memFree=119647540/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=47604 memory=19616 CPUtime=0.29 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 3303 0 0 0 26 3 0 0 20 0 1 0 43011867 48746496 4904 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 11901 4904 1827 992 0 3759 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47604 KiB
Current children cumulated memory: 19616 KiB
[startup+0.700164 s]
/proc/loadavg: 0.13 0.11 0.09 5/256 364676
/proc/meminfo: memFree=119624676/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=54076 memory=26488 CPUtime=0.68 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 4975 0 0 0 55 13 0 0 20 0 1 0 43011867 55373824 6622 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 13519 6622 1827 992 0 5377 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 26488 KiB
[startup+1.50018 s]
/proc/loadavg: 0.13 0.11 0.09 4/254 364676
/proc/meminfo: memFree=119573700/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=82892 memory=53316 CPUtime=1.48 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 10091 0 0 0 126 22 0 0 20 0 1 0 43011867 84881408 13329 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 20723 13329 1906 992 0 12581 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 82892 KiB
Current children cumulated memory: 53316 KiB
[startup+3.10481 s]
/proc/loadavg: 0.44 0.18 0.11 4/250 364710
/proc/meminfo: memFree=119371392/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=112568 memory=81148 CPUtime=3.07 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 15003 0 0 0 274 33 0 0 20 0 1 0 43011867 115269632 20287 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 28142 20287 1906 992 0 20000 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 81148 KiB
[startup+6.30016 s]
/proc/loadavg: 0.44 0.18 0.11 5/256 364725
/proc/meminfo: memFree=119032076/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=136064 memory=100012 CPUtime=6.25 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 16636 0 0 0 554 71 0 0 20 0 1 0 43011867 139329536 25003 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 34016 25003 1906 992 0 25874 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 136064 KiB
Current children cumulated memory: 100012 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=364669] ppid=364666 vsize=148608 memory=111592 CPUtime=12.63 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 19544 0 0 0 1169 94 0 0 20 0 1 0 43011867 152174592 27898 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 37152 27898 1906 992 0 29010 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 148608 KiB
Current children cumulated memory: 111592 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=364669] ppid=364666 vsize=224888 memory=187480 CPUtime=25.38 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 30870 0 0 0 2392 146 0 0 20 0 1 0 43011867 230285312 46870 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 56222 46870 1906 992 0 48080 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 224888 KiB
Current children cumulated memory: 187480 KiB
[startup+51.1049 s]
/proc/loadavg: 2.38 0.73 0.30 5/259 364734
/proc/meminfo: memFree=117651720/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=281560 memory=207780 CPUtime=50.89 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 32951 0 0 0 4771 318 0 0 20 0 1 0 43011867 288317440 51945 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 70390 51945 1906 992 0 62248 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 281560 KiB
Current children cumulated memory: 207780 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=364669] ppid=364666 vsize=433492 memory=323572 CPUtime=101.89 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 50246 0 0 0 9705 484 0 0 20 0 1 0 43011867 443895808 80893 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 108373 80893 1906 992 0 100231 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 433492 KiB
Current children cumulated memory: 323572 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=364669] ppid=364666 vsize=444596 memory=333072 CPUtime=161.66 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 52635 0 0 0 15525 641 0 0 20 0 1 0 43011867 455266304 83268 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 111149 83268 1906 992 0 103007 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 444596 KiB
Current children cumulated memory: 333072 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=364669] ppid=364666 vsize=792248 memory=681260 CPUtime=221.42 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 100463 0 0 0 21402 740 0 0 20 0 1 0 43011867 811261952 170315 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 198062 170315 1906 992 0 189920 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 792248 KiB
Current children cumulated memory: 681260 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=364669] ppid=364666 vsize=796720 memory=685764 CPUtime=281.19 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 103999 0 0 0 27256 863 0 0 20 0 1 0 43011867 815841280 171441 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 199180 171441 1906 992 0 191038 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 796720 KiB
Current children cumulated memory: 685764 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=364669] ppid=364666 vsize=972396 memory=823064 CPUtime=340.98 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 132822 0 0 0 33111 987 0 0 20 0 1 0 43011867 995733504 205766 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 243099 205766 1906 992 0 234957 0
Current children cumulated CPU time: 340.98 s
Current children cumulated vsize: 972396 KiB
Current children cumulated memory: 823064 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.11 1.53 5/259 365184
/proc/meminfo: memFree=111842644/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=972548 memory=823420 CPUtime=400.76 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 133029 0 0 0 39014 1062 0 0 20 0 1 0 43011867 995889152 205855 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 243137 205855 1906 992 0 234995 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 972548 KiB
Current children cumulated memory: 823420 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=364669] ppid=364666 vsize=1011544 memory=872024 CPUtime=460.53 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 143356 0 0 0 44922 1131 0 0 20 0 1 0 43011867 1035821056 218006 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 252886 218006 1906 992 0 244744 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.05 4.10 4.01 5/263 366497
/proc/meminfo: memFree=88647384/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=2941084 memory=2276324 CPUtime=3090.81 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 348337 0 0 0 305599 3482 0 0 20 0 1 0 43011867 3011670016 569081 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 735271 569081 1906 992 0 727129 0
Current children cumulated CPU time: 3090.81 s
Current children cumulated vsize: 2941084 KiB
Current children cumulated memory: 2276324 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/264 366508
/proc/meminfo: memFree=87911668/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=2941396 memory=2276508 CPUtime=3150.59 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 349006 0 0 0 311514 3545 0 0 20 0 1 0 43011867 3011989504 569127 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 735349 569127 1906 992 0 727207 0
Current children cumulated CPU time: 3150.59 s
Current children cumulated vsize: 2941396 KiB
Current children cumulated memory: 2276508 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=364669] ppid=364666 vsize=2941396 memory=2276508 CPUtime=3210.36 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 349548 0 0 0 317445 3591 0 0 20 0 1 0 43011867 3011989504 569127 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 735349 569127 1906 992 0 727207 0
Current children cumulated CPU time: 3210.36 s
Current children cumulated vsize: 2941396 KiB
Current children cumulated memory: 2276508 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=364669] ppid=364666 vsize=2941396 memory=2276512 CPUtime=3270.13 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 350031 0 0 0 323383 3630 0 0 20 0 1 0 43011867 3011989504 569128 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 735349 569128 1906 992 0 727207 0
Current children cumulated CPU time: 3270.13 s
Current children cumulated vsize: 2941396 KiB
Current children cumulated memory: 2276512 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=364669] ppid=364666 vsize=2943320 memory=2278548 CPUtime=3329.89 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 351123 0 0 0 329300 3689 0 0 20 0 1 0 43011867 3013959680 569637 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 735830 569637 1906 992 0 727688 0
Current children cumulated CPU time: 3329.89 s
Current children cumulated vsize: 2943320 KiB
Current children cumulated memory: 2278548 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=364669] ppid=364666 vsize=2952088 memory=2286584 CPUtime=3389.62 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 353902 0 0 0 335222 3740 0 0 20 0 1 0 43011867 3022938112 571646 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 738022 571646 1906 992 0 729880 0
Current children cumulated CPU time: 3389.62 s
Current children cumulated vsize: 2952088 KiB
Current children cumulated memory: 2286584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.29 4.10 5/260 366566
/proc/meminfo: memFree=85672576/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=2959156 memory=2292644 CPUtime=3449.36 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 356059 0 0 0 341164 3772 0 0 20 0 1 0 43011867 3030175744 573161 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 739789 573161 1906 992 0 731647 0
Current children cumulated CPU time: 3449.36 s
Current children cumulated vsize: 2959156 KiB
Current children cumulated memory: 2292644 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=364669] ppid=364666 vsize=2964440 memory=2297828 CPUtime=3509.09 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 357972 0 0 0 347106 3803 0 0 20 0 1 0 43011867 3035586560 574457 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 741110 574457 1906 992 0 732968 0
Current children cumulated CPU time: 3509.09 s
Current children cumulated vsize: 2964440 KiB
Current children cumulated memory: 2297828 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=364669] ppid=364666 vsize=2966872 memory=2301356 CPUtime=3568.89 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 359469 0 0 0 353064 3825 0 0 20 0 1 0 43011867 3038076928 575339 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 741718 575339 1906 992 0 733576 0
Current children cumulated CPU time: 3568.89 s
Current children cumulated vsize: 2966872 KiB
Current children cumulated memory: 2301356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.20 4.29 4.13 3/251 366621
/proc/meminfo: memFree=88958240/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=2975940 memory=2308212 CPUtime=3600.07 cores=0,2
/proc/364669/stat : 364669 (roundingsat) R 364666 364669 364597 0 -1 4194304 361265 0 0 0 356170 3837 0 0 20 0 1 0 43011867 3047362560 577053 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 743985 577053 1906 992 0 735843 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2975940 KiB
Current children cumulated memory: 2308212 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.18 4.28 4.13 1/251 366621
/proc/meminfo: memFree=88956144/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=2975940 memory=2308956 CPUtime=3600.08 cores=0,2
/proc/364669/stat : 364669 (roundingsat) D 364666 364669 364597 0 -1 4194304 361271 0 0 0 356171 3837 0 0 20 0 1 0 43011867 3047362560 577239 134679101440 4194304 8254357 140727781857040 0 0 256 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 743985 577239 1906 992 0 735843 0
??? kill 364669 sig 9
??? end of watcher thread
[startup+3619.95 s]
# the end of solver process 364669 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3561.71 s, system=38.41 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.18 4.28 4.13 2/251 366621
/proc/meminfo: memFree=88956228/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=2975940 memory=2308956 CPUtime=3600.08 cores=0,2
/proc/364669/stat : 364669 (roundingsat) D 364666 364669 364597 0 -1 4194304 361271 0 0 0 356171 3837 0 0 20 0 1 0 43011867 3047362560 577239 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 743985 577239 1906 992 0 735843 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2975940 KiB
Current children cumulated memory: 2308956 KiB
[startup+3615.2 s]
/proc/loadavg: 4.18 4.28 4.13 2/251 366621
/proc/meminfo: memFree=88956200/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=2975940 memory=2308956 CPUtime=3600.08 cores=0,2
/proc/364669/stat : 364669 (roundingsat) D 364666 364669 364597 0 -1 4194304 361271 0 0 0 356171 3837 0 0 20 0 1 0 43011867 3047362560 577239 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 743985 577239 1906 992 0 735843 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2975940 KiB
Current children cumulated memory: 2308956 KiB
[startup+3615.6 s]
/proc/loadavg: 4.18 4.28 4.13 2/251 366621
/proc/meminfo: memFree=88956200/131524600 swapFree=131068388/131071996
[pid=364669] ppid=364666 vsize=2975940 memory=2308956 CPUtime=3600.08 cores=0,2
/proc/364669/stat : 364669 (roundingsat) D 364666 364669 364597 0 -1 4194304 361271 0 0 0 356171 3837 0 0 20 0 1 0 43011867 3047362560 577239 134679101440 4194304 8254357 140727781857040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 21381120 140727781860191 140727781860453 140727781860453 140727781867465 0
/proc/364669/statm: 743985 577239 1906 992 0 735843 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2975940 KiB
Current children cumulated memory: 2308956 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3619.95
CPU time (s): 3600.12
CPU user time (s): 3561.71
CPU system time (s): 38.41
CPU usage (%): 99.4524
Max. virtual memory (cumulated for all children) (KiB): 2975940
Max. memory (cumulated for all children) (KiB): 2308956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.71
system time used= 38.41
maximum resident set size= 2309440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361271
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16436008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 514
involuntary context switches= 25503
# summary of solver processes directly reported to runsolver:
# pid: 364669
# total CPU time (s): 3600.12
# total CPU user time (s): 3561.71
# total CPU system time (s): 38.41
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.84808 second user time and 14.8594 second system time
The end
Begin job on nodeC018 at 2024-07-27 09:20:36 IDJOB=4460251 IDBENCH=146656 IDSOLVER=3086 FILE ID=nodeC018/4460251-1722064836 RUNJOBID= nodeC018-1722064836-364612 SLURM_JOB_ID= 8248088 Free space on /tmp= 890044 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:100.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-4460251-1722064836/watcher-4460251-1722064836 -o /tmp/evaluation-result-4460251-1722064836/solver-4460251-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722064836-364612 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460251-1722064836 --lp-cut-gomory=0 HOME/instance-4460251-1722064836.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ef7e1a396aea94ad22e53d7673ab3bc9 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: 119716396 kB MemAvailable: 129770312 kB Buffers: 363444 kB Cached: 10464100 kB SwapCached: 608 kB Active: 2375268 kB Inactive: 8720684 kB Active(anon): 1840 kB Inactive(anon): 320008 kB Active(file): 2373428 kB Inactive(file): 8400676 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131068388 kB Dirty: 22788 kB Writeback: 0 kB AnonPages: 267920 kB Mapped: 104164 kB Shmem: 53728 kB KReclaimable: 239272 kB Slab: 361912 kB SReclaimable: 239272 kB SUnreclaim: 122640 kB KernelStack: 3816 kB PageTables: 9388 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:20:56