| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 4031 | 3600.09 | 3610.62 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb |
| MD5SUM | 1c26e44dc48355aad6827be56d900020 |
| 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 | 3031 |
| Best CPU time to get the best result obtained on this benchmark | 0.416291 |
| 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 | 3300 |
| Total number of constraints | 1985 |
| Number of constraints which are clauses | 1364 |
| Number of constraints which are cardinality constraints (but not clauses) | 621 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 220 |
| Number of terms in the objective function | 2792 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 1385986 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 1385986 |
| Number of bits of the biggest sum of numbers | 21 |
| 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.01 c #variables 3300 #constraints 2573 0.30/0.40 c bounds 1385987 >= -828 @ 0.007698 0.30/0.40 c bounds 237314 >= -828 @ 0.13507 0.30/0.40 c bounds 237314 >= -827 @ 0.135899 0.30/0.40 c bounds 237314 >= -826 @ 0.136464 0.30/0.40 c bounds 237314 >= -825 @ 0.137072 0.30/0.40 c bounds 237314 >= -824 @ 0.137648 0.30/0.40 c bounds 237314 >= -823 @ 0.138233 0.30/0.40 c bounds 237314 >= -822 @ 0.138848 0.30/0.40 c bounds 237314 >= -821 @ 0.139429 0.30/0.40 c bounds 237314 >= -820 @ 0.140062 0.30/0.40 c bounds 237314 >= -819 @ 0.140691 0.30/0.40 c bounds 237314 >= -818 @ 0.141364 0.30/0.40 c bounds 237314 >= -817 @ 0.142015 0.30/0.40 c bounds 237314 >= -816 @ 0.142726 0.30/0.40 c bounds 237314 >= -815 @ 0.143411 0.30/0.40 c bounds 237314 >= -814 @ 0.144104 0.30/0.40 c bounds 237314 >= -813 @ 0.144513 0.30/0.40 c bounds 237314 >= -812 @ 0.144513 0.30/0.40 c bounds 237314 >= -811 @ 0.145186 0.30/0.40 c bounds 237314 >= -810 @ 0.145841 0.30/0.40 c bounds 237314 >= -809 @ 0.146531 0.30/0.40 c bounds 237314 >= -808 @ 0.147225 0.30/0.40 c bounds 237314 >= -807 @ 0.147506 0.30/0.40 c bounds 237314 >= -806 @ 0.147697 0.30/0.40 c bounds 237314 >= -805 @ 0.14837 0.30/0.40 c bounds 237314 >= -804 @ 0.148506 0.30/0.40 c bounds 237314 >= -803 @ 0.148508 0.30/0.40 c bounds 237314 >= -802 @ 0.148508 0.30/0.40 c bounds 237314 >= -801 @ 0.149233 0.30/0.40 c bounds 237314 >= -800 @ 0.149507 0.30/0.40 c bounds 237314 >= -799 @ 0.149701 0.30/0.40 c bounds 237314 >= -798 @ 0.150381 0.30/0.40 c bounds 237314 >= -797 @ 0.151091 0.30/0.40 c bounds 237314 >= -796 @ 0.15181 0.30/0.40 c bounds 237314 >= -795 @ 0.152493 0.30/0.40 c bounds 237314 >= -794 @ 0.153476 0.30/0.40 c bounds 237314 >= -793 @ 0.154195 0.30/0.40 c bounds 237314 >= -792 @ 0.154494 0.30/0.40 c bounds 237314 >= -791 @ 0.154677 0.30/0.40 c bounds 237314 >= -790 @ 0.155349 0.30/0.40 c bounds 237314 >= -789 @ 0.155493 0.30/0.40 c bounds 237314 >= -788 @ 0.15582 0.30/0.40 c bounds 237314 >= -787 @ 0.156547 0.30/0.40 c bounds 237314 >= -786 @ 0.157285 0.30/0.40 c bounds 237314 >= -785 @ 0.15749 0.30/0.40 c bounds 237314 >= -784 @ 0.157492 0.30/0.40 c bounds 237314 >= -783 @ 0.157565 0.30/0.40 c bounds 237314 >= -782 @ 0.158316 0.30/0.40 c bounds 237314 >= -781 @ 0.15849 0.30/0.40 c bounds 237314 >= -780 @ 0.158493 0.30/0.40 c bounds 237314 >= -779 @ 0.158675 0.30/0.40 c bounds 237314 >= -778 @ 0.159672 0.30/0.40 c bounds 237314 >= -777 @ 0.16049 0.30/0.40 c bounds 237314 >= -776 @ 0.162279 0.30/0.40 c bounds 237314 >= -775 @ 0.162488 0.30/0.40 c bounds 237314 >= -774 @ 0.162491 0.30/0.40 c bounds 237314 >= -773 @ 0.162494 0.30/0.40 c bounds 237314 >= -772 @ 0.162498 0.30/0.40 c bounds 237314 >= -771 @ 0.163114 0.30/0.40 c bounds 237314 >= -770 @ 0.163499 0.30/0.40 c bounds 237314 >= -769 @ 0.163503 0.30/0.40 c bounds 237314 >= -768 @ 0.164985 0.30/0.40 c bounds 237314 >= -767 @ 0.166954 0.30/0.40 c bounds 237314 >= -766 @ 0.168491 0.30/0.40 c bounds 237314 >= -765 @ 0.169901 0.30/0.40 c bounds 237314 >= -764 @ 0.171484 0.30/0.40 c bounds 237314 >= -763 @ 0.171487 0.30/0.40 c bounds 237314 >= -762 @ 0.172486 0.30/0.40 c bounds 237314 >= -761 @ 0.172488 0.30/0.40 c bounds 237314 >= -760 @ 0.173488 0.30/0.40 c bounds 237314 >= -759 @ 0.173893 0.30/0.40 c bounds 237314 >= -758 @ 0.174489 0.30/0.40 c bounds 237314 >= 242 @ 0.174808 0.30/0.40 c bounds 237314 >= 243 @ 0.17549 0.30/0.40 c bounds 237314 >= 244 @ 0.175493 0.30/0.40 c bounds 237314 >= 1244 @ 0.175718 0.30/0.40 c bounds 237314 >= 1245 @ 0.176709 0.30/0.40 c bounds 237314 >= 1246 @ 0.177654 0.30/0.40 c bounds 237314 >= 1247 @ 0.178654 0.30/0.40 c bounds 237314 >= 1248 @ 0.179651 0.30/0.40 c bounds 236314 >= 1248 @ 0.261988 0.30/0.40 c bounds 236314 >= 1249 @ 0.262321 0.30/0.40 c bounds 236314 >= 1250 @ 0.263246 0.30/0.40 c bounds 236314 >= 1251 @ 0.264244 0.30/0.40 c bounds 236314 >= 1252 @ 0.264246 0.30/0.40 c bounds 236314 >= 1253 @ 0.264248 0.30/0.40 c bounds 236314 >= 1254 @ 0.264249 0.30/0.40 c bounds 236314 >= 1255 @ 0.264251 0.30/0.40 c bounds 236314 >= 1256 @ 0.265247 0.30/0.40 c bounds 236314 >= 1257 @ 0.26595 0.30/0.40 c bounds 236314 >= 1258 @ 0.267246 0.30/0.40 c bounds 236314 >= 1259 @ 0.268079 0.30/0.40 c bounds 236314 >= 1260 @ 0.269151 0.30/0.40 c bounds 236314 >= 1261 @ 0.270335 0.30/0.40 c bounds 236314 >= 1262 @ 0.272392 0.30/0.40 c bounds 236314 >= 2262 @ 0.274478 0.30/0.40 c bounds 236314 >= 2263 @ 0.276223 0.30/0.40 c bounds 236314 >= 2264 @ 0.277222 0.30/0.40 c bounds 236314 >= 2265 @ 0.277677 0.30/0.40 c bounds 236314 >= 2266 @ 0.278771 0.30/0.40 c bounds 236314 >= 2267 @ 0.279219 0.30/0.40 c bounds 236314 >= 2268 @ 0.280218 0.30/0.40 c bounds 236314 >= 2269 @ 0.28022 0.30/0.40 c bounds 236314 >= 2270 @ 0.281215 0.30/0.40 c bounds 236314 >= 2271 @ 0.282214 0.30/0.40 c bounds 236314 >= 2272 @ 0.283212 0.30/0.40 c bounds 236314 >= 2273 @ 0.285231 0.30/0.40 c bounds 236314 >= 2274 @ 0.286393 0.30/0.40 c bounds 236314 >= 2275 @ 0.288431 0.30/0.40 c bounds 236314 >= 2276 @ 0.289197 0.30/0.40 c bounds 236314 >= 2277 @ 0.290196 0.30/0.40 c bounds 236314 >= 2278 @ 0.290197 0.30/0.40 c bounds 236314 >= 2279 @ 0.290198 0.30/0.40 c bounds 236314 >= 2280 @ 0.290755 0.30/0.40 c bounds 236314 >= 2281 @ 0.291197 0.30/0.40 c bounds 236314 >= 2282 @ 0.292868 0.30/0.40 c bounds 236314 >= 2283 @ 0.293194 0.30/0.40 c bounds 236314 >= 2284 @ 0.293959 0.59/0.66 c bounds 236314 >= 2285 @ 0.295993 0.59/0.66 c bounds 236314 >= 2286 @ 0.297128 0.59/0.66 c bounds 236314 >= 2287 @ 0.298166 0.59/0.66 c bounds 236314 >= 2288 @ 0.299286 0.59/0.66 c bounds 236314 >= 2289 @ 0.299972 0.59/0.66 c bounds 236314 >= 2290 @ 0.299974 0.59/0.66 c bounds 236314 >= 2291 @ 0.299976 0.59/0.66 c bounds 236314 >= 2292 @ 0.300693 0.59/0.66 c bounds 236314 >= 2293 @ 0.301789 0.59/0.66 c bounds 236314 >= 2294 @ 0.301975 0.59/0.66 c bounds 236314 >= 2295 @ 0.303998 0.59/0.66 c bounds 236314 >= 2296 @ 0.305158 0.59/0.66 c bounds 236314 >= 2297 @ 0.306236 0.59/0.66 c bounds 236314 >= 2298 @ 0.307458 0.59/0.66 c bounds 236314 >= 2299 @ 0.307961 0.59/0.66 c bounds 236314 >= 2300 @ 0.309846 0.59/0.66 c bounds 236314 >= 2301 @ 0.311149 0.59/0.66 c bounds 236314 >= 2302 @ 0.311954 0.59/0.66 c bounds 236314 >= 2303 @ 0.311956 0.59/0.66 c bounds 236314 >= 2304 @ 0.311958 0.59/0.66 c bounds 236314 >= 2305 @ 0.31313 0.59/0.66 c bounds 236314 >= 2306 @ 0.313957 0.59/0.66 c bounds 236314 >= 2307 @ 0.313959 0.59/0.66 c bounds 236314 >= 2308 @ 0.313961 0.59/0.66 c bounds 236314 >= 2310 @ 0.313963 0.59/0.66 c bounds 236314 >= 2311 @ 0.31522 0.59/0.66 c bounds 236314 >= 2312 @ 0.316957 0.59/0.66 c bounds 236314 >= 2313 @ 0.316959 0.59/0.66 c bounds 236314 >= 2314 @ 0.317958 0.59/0.66 c bounds 236314 >= 2315 @ 0.319147 0.59/0.66 c bounds 236314 >= 2316 @ 0.319956 0.59/0.66 c bounds 236314 >= 2317 @ 0.319958 0.59/0.66 c bounds 236314 >= 2318 @ 0.31996 0.59/0.66 c bounds 236314 >= 2319 @ 0.320036 0.59/0.66 c bounds 236314 >= 2320 @ 0.320961 0.59/0.66 c bounds 236314 >= 2322 @ 0.320963 0.59/0.66 c bounds 236314 >= 2323 @ 0.320965 0.59/0.66 c bounds 236314 >= 2324 @ 0.321937 0.59/0.66 c bounds 236314 >= 2325 @ 0.323183 0.59/0.66 c bounds 236314 >= 2327 @ 0.323958 0.59/0.66 c bounds 236314 >= 2329 @ 0.324957 0.59/0.66 c bounds 236314 >= 2330 @ 0.325032 0.59/0.66 c bounds 236314 >= 2331 @ 0.327239 0.59/0.66 c bounds 236314 >= 2332 @ 0.328513 0.59/0.66 c bounds 236314 >= 2334 @ 0.328951 0.59/0.66 c bounds 236314 >= 2335 @ 0.328954 0.59/0.66 c bounds 236314 >= 2337 @ 0.330247 0.59/0.66 c bounds 236314 >= 2338 @ 0.330948 0.59/0.66 c bounds 236314 >= 2340 @ 0.332776 0.59/0.66 c bounds 236314 >= 2342 @ 0.333136 0.59/0.66 c bounds 236314 >= 2344 @ 0.334324 0.59/0.66 c bounds 236314 >= 2346 @ 0.335576 0.59/0.66 c bounds 236314 >= 2347 @ 0.335941 0.59/0.66 c bounds 236314 >= 2348 @ 0.337131 0.59/0.66 c bounds 236314 >= 2349 @ 0.337939 0.59/0.66 c bounds 236314 >= 2350 @ 0.338937 0.59/0.66 c bounds 236314 >= 2351 @ 0.338939 0.59/0.66 c bounds 236314 >= 2352 @ 0.33894 0.59/0.66 c bounds 236314 >= 2353 @ 0.341029 0.59/0.66 c bounds 236314 >= 2354 @ 0.342205 0.59/0.66 c bounds 236314 >= 2355 @ 0.343383 0.59/0.66 c bounds 236314 >= 2356 @ 0.343929 0.59/0.66 c bounds 236314 >= 2357 @ 0.344928 0.59/0.66 c bounds 236314 >= 2358 @ 0.344929 0.59/0.66 c bounds 236314 >= 2359 @ 0.346099 0.59/0.66 c bounds 236314 >= 2360 @ 0.347268 0.59/0.66 c bounds 236314 >= 2361 @ 0.34844 0.59/0.66 c bounds 236314 >= 2362 @ 0.34961 0.59/0.66 c bounds 236314 >= 2363 @ 0.350918 0.59/0.66 c bounds 236314 >= 2364 @ 0.350976 0.59/0.66 c bounds 236314 >= 2365 @ 0.352335 0.59/0.66 c bounds 236314 >= 2366 @ 0.352916 0.59/0.66 c bounds 236314 >= 2367 @ 0.352917 0.59/0.66 c bounds 236314 >= 2368 @ 0.353823 0.59/0.66 c bounds 236314 >= 2369 @ 0.355083 0.59/0.66 c bounds 236314 >= 2371 @ 0.356171 0.59/0.66 c bounds 236314 >= 2372 @ 0.357339 0.59/0.66 c bounds 236314 >= 2374 @ 0.357908 0.59/0.66 c bounds 236314 >= 2375 @ 0.35791 0.59/0.66 c bounds 236314 >= 2376 @ 0.358852 0.59/0.66 c bounds 236314 >= 2377 @ 0.360116 0.59/0.66 c bounds 236314 >= 2378 @ 0.360904 0.59/0.66 c bounds 236314 >= 2379 @ 0.360906 0.59/0.66 c bounds 236314 >= 2380 @ 0.361903 0.59/0.66 c bounds 236314 >= 2381 @ 0.361965 0.59/0.66 c bounds 236314 >= 2382 @ 0.363189 0.59/0.66 c bounds 236314 >= 2383 @ 0.3649 0.59/0.66 c bounds 236314 >= 2384 @ 0.365898 0.59/0.66 c bounds 236314 >= 2385 @ 0.366971 0.59/0.66 c bounds 236314 >= 2386 @ 0.367894 0.59/0.66 c bounds 236314 >= 2387 @ 0.367896 0.59/0.66 c bounds 236314 >= 2388 @ 0.368736 0.59/0.66 c bounds 236314 >= 2390 @ 0.37008 0.59/0.66 c bounds 236314 >= 2391 @ 0.372271 0.59/0.66 c bounds 236314 >= 2392 @ 0.37388 0.59/0.66 c bounds 236314 >= 2393 @ 0.373881 0.59/0.66 c bounds 236314 >= 2394 @ 0.37505 0.59/0.66 c bounds 236314 >= 2395 @ 0.376136 0.59/0.66 c bounds 236314 >= 2396 @ 0.378283 0.59/0.66 c bounds 236314 >= 2397 @ 0.37887 0.59/0.66 c bounds 236314 >= 2398 @ 0.378872 0.59/0.66 c bounds 236314 >= 2399 @ 0.379632 0.59/0.66 c bounds 236314 >= 2400 @ 0.37987 0.59/0.66 c bounds 236314 >= 2401 @ 0.381518 0.59/0.66 c bounds 236314 >= 2402 @ 0.383683 0.59/0.66 c bounds 236314 >= 2403 @ 0.384914 0.59/0.66 c bounds 236314 >= 2404 @ 0.386102 0.59/0.66 c bounds 236314 >= 2405 @ 0.387246 0.59/0.66 c bounds 236314 >= 2406 @ 0.387852 0.59/0.66 c bounds 236314 >= 2407 @ 0.387853 0.59/0.66 c bounds 236314 >= 2408 @ 0.38885 0.59/0.66 c bounds 236314 >= 2409 @ 0.390988 0.59/0.66 c bounds 236314 >= 2410 @ 0.392188 0.59/0.66 c bounds 236314 >= 2411 @ 0.392842 0.59/0.66 c bounds 236314 >= 2412 @ 0.394543 0.59/0.66 c bounds 236314 >= 2413 @ 0.395742 0.59/0.66 c bounds 236314 >= 2414 @ 0.397015 0.89/0.94 c bounds 236314 >= 2415 @ 0.398828 0.89/0.94 c bounds 236314 >= 2416 @ 0.398829 0.89/0.94 c bounds 236314 >= 2417 @ 0.39883 0.89/0.94 c bounds 236314 >= 2418 @ 0.400677 0.89/0.94 c bounds 236314 >= 2419 @ 0.401837 0.89/0.94 c bounds 236314 >= 2421 @ 0.402993 0.89/0.94 c bounds 236314 >= 2422 @ 0.404815 0.89/0.94 c bounds 236314 >= 2423 @ 0.405308 0.89/0.94 c bounds 236314 >= 2424 @ 0.407502 0.89/0.94 c bounds 236314 >= 2425 @ 0.407808 0.89/0.94 c bounds 236314 >= 2426 @ 0.407885 0.89/0.94 c bounds 236314 >= 2427 @ 0.409803 0.89/0.94 c bounds 236314 >= 2428 @ 0.41129 0.89/0.94 c bounds 236314 >= 2429 @ 0.411799 0.89/0.94 c bounds 236314 >= 2430 @ 0.412721 0.89/0.94 c bounds 236314 >= 2431 @ 0.413977 0.89/0.94 c bounds 236314 >= 2432 @ 0.414792 0.89/0.94 c bounds 236314 >= 2433 @ 0.414794 0.89/0.94 c bounds 236314 >= 2434 @ 0.414795 0.89/0.94 c bounds 236314 >= 2435 @ 0.416969 0.89/0.94 c bounds 236314 >= 2436 @ 0.418223 0.89/0.94 c bounds 236314 >= 2437 @ 0.418786 0.89/0.94 c bounds 236314 >= 2438 @ 0.419703 0.89/0.94 c bounds 236314 >= 2439 @ 0.420942 0.89/0.94 c bounds 236314 >= 2440 @ 0.421779 0.89/0.94 c bounds 236314 >= 2441 @ 0.423301 0.89/0.94 c bounds 236314 >= 2442 @ 0.423774 0.89/0.94 c bounds 236314 >= 2443 @ 0.424772 0.89/0.94 c bounds 236314 >= 2444 @ 0.425931 0.89/0.94 c bounds 236314 >= 2445 @ 0.426769 0.89/0.94 c bounds 236314 >= 2446 @ 0.42677 0.89/0.94 c bounds 236314 >= 2447 @ 0.427767 0.89/0.94 c bounds 236314 >= 2448 @ 0.427768 0.89/0.94 c bounds 236314 >= 2449 @ 0.429873 0.89/0.94 c bounds 236314 >= 2450 @ 0.43107 0.89/0.94 c bounds 236314 >= 2451 @ 0.431759 0.89/0.94 c bounds 236314 >= 2452 @ 0.432757 0.89/0.94 c bounds 236314 >= 2453 @ 0.432758 0.89/0.94 c bounds 236314 >= 2454 @ 0.434825 0.89/0.94 c bounds 236314 >= 2455 @ 0.435751 0.89/0.94 c bounds 236314 >= 2456 @ 0.43624 0.89/0.94 c bounds 236314 >= 2457 @ 0.437396 0.89/0.94 c bounds 236314 >= 2458 @ 0.437747 0.89/0.94 c bounds 236314 >= 2459 @ 0.437804 0.89/0.94 c bounds 236314 >= 2460 @ 0.438994 0.89/0.94 c bounds 236314 >= 2461 @ 0.440742 0.89/0.94 c bounds 236314 >= 2462 @ 0.440743 0.89/0.94 c bounds 236314 >= 2463 @ 0.440743 0.89/0.94 c bounds 236314 >= 2464 @ 0.441742 0.89/0.94 c bounds 236314 >= 2465 @ 0.442902 0.89/0.94 c bounds 236314 >= 2466 @ 0.444975 0.89/0.94 c bounds 236314 >= 2467 @ 0.446134 0.89/0.94 c bounds 236314 >= 2468 @ 0.446732 0.89/0.94 c bounds 236314 >= 2469 @ 0.44773 0.89/0.94 c bounds 236314 >= 2470 @ 0.447731 0.89/0.94 c bounds 236314 >= 2471 @ 0.449726 0.89/0.94 c bounds 236314 >= 2472 @ 0.449976 0.89/0.94 c bounds 236314 >= 2473 @ 0.450725 0.89/0.94 c bounds 236314 >= 2474 @ 0.450726 0.89/0.94 c bounds 236314 >= 2475 @ 0.451723 0.89/0.94 c bounds 236314 >= 2476 @ 0.452903 0.89/0.94 c bounds 236314 >= 2477 @ 0.45411 0.89/0.94 c bounds 236314 >= 2478 @ 0.454719 0.89/0.94 c bounds 236314 >= 2479 @ 0.455608 0.89/0.94 c bounds 236314 >= 2480 @ 0.457875 0.89/0.94 c bounds 236314 >= 2481 @ 0.459704 0.89/0.94 c bounds 236314 >= 2482 @ 0.459706 0.89/0.94 c bounds 236314 >= 2483 @ 0.460703 0.89/0.94 c bounds 236314 >= 2484 @ 0.461884 0.89/0.94 c bounds 236314 >= 2485 @ 0.464099 0.89/0.94 c bounds 236314 >= 2486 @ 0.464694 0.89/0.94 c bounds 236314 >= 2487 @ 0.465692 0.89/0.94 c bounds 236314 >= 2488 @ 0.465693 0.89/0.94 c bounds 236314 >= 2489 @ 0.466851 0.89/0.94 c bounds 236314 >= 2490 @ 0.468917 0.89/0.94 c bounds 236314 >= 2491 @ 0.469682 0.89/0.94 c bounds 236314 >= 2492 @ 0.469684 0.89/0.94 c bounds 236314 >= 2493 @ 0.470679 0.89/0.94 c bounds 236314 >= 2494 @ 0.470683 0.89/0.94 c bounds 236314 >= 2495 @ 0.471852 0.89/0.94 c bounds 236314 >= 2496 @ 0.473053 0.89/0.94 c bounds 236314 >= 2497 @ 0.474261 0.89/0.94 c bounds 236314 >= 2498 @ 0.474674 0.89/0.94 c bounds 236314 >= 2499 @ 0.47568 0.89/0.94 c bounds 236314 >= 2500 @ 0.476853 0.89/0.94 c bounds 236314 >= 2501 @ 0.477667 0.89/0.94 c bounds 236314 >= 2502 @ 0.477668 0.89/0.94 c bounds 236314 >= 2503 @ 0.477668 0.89/0.94 c bounds 235314 >= 2503 @ 0.486946 0.89/0.94 c bounds 235314 >= 2504 @ 0.488632 0.89/0.94 c bounds 235314 >= 2505 @ 0.488634 0.89/0.94 c bounds 235314 >= 2506 @ 0.490775 0.89/0.94 c bounds 235314 >= 2507 @ 0.491627 0.89/0.94 c bounds 235314 >= 2508 @ 0.491628 0.89/0.94 c bounds 235314 >= 2509 @ 0.492512 0.89/0.94 c bounds 235314 >= 2510 @ 0.49379 0.89/0.94 c bounds 235314 >= 2511 @ 0.495615 0.89/0.94 c bounds 235314 >= 2512 @ 0.496614 0.89/0.94 c bounds 235314 >= 2513 @ 0.496615 0.89/0.94 c bounds 235314 >= 2514 @ 0.4977 0.89/0.94 c bounds 235314 >= 2515 @ 0.49998 0.89/0.94 c bounds 235314 >= 2516 @ 0.500605 0.89/0.94 c bounds 235314 >= 2517 @ 0.500606 0.89/0.94 c bounds 235314 >= 2518 @ 0.501798 0.89/0.94 c bounds 235314 >= 2519 @ 0.502603 0.89/0.94 c bounds 235314 >= 2520 @ 0.504379 0.89/0.94 c bounds 235314 >= 2521 @ 0.505596 0.89/0.94 c bounds 235314 >= 2522 @ 0.50586 0.89/0.94 c bounds 235314 >= 2523 @ 0.508039 0.89/0.94 c bounds 235314 >= 2524 @ 0.508589 0.89/0.94 c bounds 235314 >= 2525 @ 0.50859 0.89/0.94 c bounds 235314 >= 2526 @ 0.509759 0.89/0.94 c bounds 235313 >= 2526 @ 0.51824 0.89/0.94 c bounds 235313 >= 2527 @ 0.518728 0.89/0.94 c bounds 235313 >= 2528 @ 0.519943 0.89/0.94 c bounds 235313 >= 2529 @ 0.521547 0.89/0.94 c bounds 235313 >= 2530 @ 0.52242 0.89/0.94 c bounds 235313 >= 2531 @ 0.523719 1.39/1.42 c bounds 235313 >= 2532 @ 0.525991 1.39/1.42 c bounds 235313 >= 2533 @ 0.526534 1.39/1.42 c bounds 235313 >= 2534 @ 0.527532 1.39/1.42 c bounds 235313 >= 2535 @ 0.528732 1.39/1.42 c bounds 235313 >= 2536 @ 0.529528 1.39/1.42 c bounds 235313 >= 2537 @ 0.529529 1.39/1.42 c bounds 235313 >= 2538 @ 0.530525 1.39/1.42 c bounds 235313 >= 2539 @ 0.532721 1.39/1.42 c bounds 235313 >= 2540 @ 0.533518 1.39/1.42 c bounds 235313 >= 2541 @ 0.534516 1.39/1.42 c bounds 235313 >= 2542 @ 0.535514 1.39/1.42 c bounds 235313 >= 2543 @ 0.536703 1.39/1.42 c bounds 235313 >= 2544 @ 0.537868 1.39/1.42 c bounds 235313 >= 2545 @ 0.540136 1.39/1.42 c bounds 235313 >= 2546 @ 0.540501 1.39/1.42 c bounds 234313 >= 2546 @ 0.575093 1.39/1.42 c bounds 234313 >= 2547 @ 0.57644 1.39/1.42 c bounds 234313 >= 2548 @ 0.578379 1.39/1.42 c bounds 234313 >= 2549 @ 0.578382 1.39/1.42 c bounds 234313 >= 2550 @ 0.578383 1.39/1.42 c bounds 234313 >= 2551 @ 0.579659 1.39/1.42 c bounds 234313 >= 2552 @ 0.580378 1.39/1.42 c bounds 234313 >= 2553 @ 0.581376 1.39/1.42 c bounds 234313 >= 2554 @ 0.581539 1.39/1.42 c bounds 234313 >= 2555 @ 0.582375 1.39/1.42 c bounds 234313 >= 2556 @ 0.582376 1.39/1.42 c bounds 234313 >= 2557 @ 0.584341 1.39/1.42 c bounds 234313 >= 2558 @ 0.585666 1.39/1.42 c bounds 234313 >= 2559 @ 0.586364 1.39/1.42 c bounds 234313 >= 2560 @ 0.586364 1.39/1.42 c bounds 234313 >= 2562 @ 0.586546 1.39/1.42 c bounds 234313 >= 2563 @ 0.587363 1.39/1.42 c bounds 234313 >= 2564 @ 0.588037 1.39/1.42 c bounds 234313 >= 2565 @ 0.589359 1.39/1.42 c bounds 234313 >= 2566 @ 0.590657 1.39/1.42 c bounds 234313 >= 2567 @ 0.591355 1.39/1.42 c bounds 234313 >= 2568 @ 0.591355 1.39/1.42 c bounds 234313 >= 2569 @ 0.592524 1.39/1.42 c bounds 234313 >= 2570 @ 0.593855 1.39/1.42 c bounds 234313 >= 2571 @ 0.595346 1.39/1.42 c bounds 234313 >= 2572 @ 0.596483 1.39/1.42 c bounds 234313 >= 2573 @ 0.597342 1.39/1.42 c bounds 234313 >= 2574 @ 0.598071 1.39/1.42 c bounds 234313 >= 2575 @ 0.599497 1.39/1.42 c bounds 234313 >= 2576 @ 0.600693 1.39/1.42 c bounds 234313 >= 2577 @ 0.602328 1.39/1.42 c bounds 234313 >= 2578 @ 0.602329 1.39/1.42 c bounds 234313 >= 2579 @ 0.603668 1.39/1.42 c bounds 234313 >= 2580 @ 0.604324 1.39/1.42 c bounds 234313 >= 2581 @ 0.604398 1.39/1.42 c bounds 234313 >= 2582 @ 0.606699 1.39/1.42 c bounds 234313 >= 2583 @ 0.607318 1.39/1.42 c bounds 234313 >= 2584 @ 0.609354 1.39/1.42 c bounds 234313 >= 2585 @ 0.611309 1.39/1.42 c bounds 234313 >= 2586 @ 0.613016 1.39/1.42 c bounds 234313 >= 2587 @ 0.614375 1.39/1.42 c bounds 234313 >= 2588 @ 0.616671 1.39/1.42 c bounds 234313 >= 2590 @ 0.617294 1.39/1.42 c bounds 234313 >= 2591 @ 0.617294 1.39/1.42 c bounds 234313 >= 2592 @ 0.619517 1.39/1.42 c bounds 234313 >= 2594 @ 0.621764 1.39/1.42 c bounds 234313 >= 2598 @ 0.623279 1.39/1.42 c bounds 234313 >= 2599 @ 0.623336 1.39/1.42 c bounds 234313 >= 2603 @ 0.624558 1.39/1.42 c bounds 234313 >= 2608 @ 0.625273 1.39/1.42 c bounds 234313 >= 2609 @ 0.625273 1.39/1.42 c bounds 234313 >= 2611 @ 0.62533 1.39/1.42 c bounds 234313 >= 2614 @ 0.626586 1.39/1.42 c bounds 234313 >= 2615 @ 0.627844 1.39/1.42 c bounds 234313 >= 2617 @ 0.628266 1.39/1.42 c bounds 234313 >= 2620 @ 0.628266 1.39/1.42 c bounds 234313 >= 2623 @ 0.628267 1.39/1.42 c bounds 234313 >= 2624 @ 0.629381 1.39/1.42 c bounds 234313 >= 2627 @ 0.630632 1.39/1.42 c bounds 234312 >= 2627 @ 0.779119 1.39/1.42 c bounds 234312 >= 2628 @ 0.781302 1.39/1.42 c bounds 234312 >= 2631 @ 0.783994 1.39/1.42 c bounds 234312 >= 2632 @ 0.784791 1.39/1.42 c bounds 234312 >= 2636 @ 0.786443 1.39/1.42 c bounds 234312 >= 2637 @ 0.787212 1.39/1.42 c bounds 234312 >= 2638 @ 0.788735 1.39/1.42 c bounds 234312 >= 2639 @ 0.790399 1.39/1.42 c bounds 234312 >= 2640 @ 0.792051 1.39/1.42 c bounds 234312 >= 2641 @ 0.792774 1.39/1.42 c bounds 234312 >= 2642 @ 0.794361 1.39/1.42 c bounds 234312 >= 2645 @ 0.796009 1.39/1.42 c bounds 234312 >= 2646 @ 0.796766 1.39/1.42 c bounds 234312 >= 2647 @ 0.799314 1.39/1.42 c bounds 234312 >= 2648 @ 0.801004 1.39/1.42 c bounds 234312 >= 2649 @ 0.80275 1.39/1.42 c bounds 234312 >= 2652 @ 0.804398 1.39/1.42 c bounds 234312 >= 2656 @ 0.806172 1.39/1.42 c bounds 234312 >= 2657 @ 0.807795 1.39/1.42 c bounds 234312 >= 2658 @ 0.810437 1.39/1.42 c bounds 234312 >= 2659 @ 0.812156 1.39/1.42 c bounds 234312 >= 2660 @ 0.812726 1.39/1.42 c bounds 234312 >= 2661 @ 0.812727 1.39/1.42 c bounds 234312 >= 2662 @ 0.813179 1.39/1.42 c bounds 234312 >= 2663 @ 0.815869 1.39/1.42 c bounds 234312 >= 2664 @ 0.818384 1.39/1.42 c bounds 234312 >= 2665 @ 0.819585 1.39/1.42 c bounds 234312 >= 2666 @ 0.819711 1.39/1.42 c bounds 234312 >= 2667 @ 0.821128 1.39/1.42 c bounds 234312 >= 2668 @ 0.822632 1.39/1.42 c bounds 234312 >= 2669 @ 0.824348 1.39/1.42 c bounds 234312 >= 2670 @ 0.826082 1.39/1.42 c bounds 234312 >= 2671 @ 0.828826 1.39/1.42 c bounds 234312 >= 2672 @ 0.829685 1.39/1.42 c bounds 234312 >= 2673 @ 0.83236 1.39/1.42 c bounds 234312 >= 2674 @ 0.833131 1.39/1.42 c bounds 234312 >= 2675 @ 0.834114 1.39/1.42 c bounds 234312 >= 2676 @ 0.834674 1.39/1.42 c bounds 234312 >= 2677 @ 0.836383 1.39/1.42 c bounds 234312 >= 2678 @ 0.837126 1.39/1.42 c bounds 234312 >= 2681 @ 0.838829 1.39/1.42 c bounds 234312 >= 2682 @ 0.841424 1.39/1.42 c bounds 234312 >= 2683 @ 0.843089 1.79/1.88 c bounds 234312 >= 2684 @ 0.844814 1.79/1.88 c bounds 234312 >= 2685 @ 0.84643 1.79/1.88 c bounds 234312 >= 2686 @ 0.848074 1.79/1.88 c bounds 234312 >= 2687 @ 0.849736 1.79/1.88 c bounds 234312 >= 2688 @ 0.850638 1.79/1.88 c bounds 234312 >= 2689 @ 0.851054 1.79/1.88 c bounds 234312 >= 2690 @ 0.851637 1.79/1.88 c bounds 234312 >= 2691 @ 0.853262 1.79/1.88 c bounds 234312 >= 2692 @ 0.854055 1.79/1.88 c bounds 234312 >= 2696 @ 0.854631 1.79/1.88 c bounds 234312 >= 2697 @ 0.856269 1.79/1.88 c bounds 234312 >= 2698 @ 0.857041 1.79/1.88 c bounds 234312 >= 2699 @ 0.857625 1.79/1.88 c bounds 234312 >= 2700 @ 0.860268 1.79/1.88 c bounds 234312 >= 2701 @ 0.862032 1.79/1.88 c bounds 234312 >= 2702 @ 0.86455 1.79/1.88 c bounds 234312 >= 2703 @ 0.867239 1.79/1.88 c bounds 234312 >= 2704 @ 0.869012 1.79/1.88 c bounds 234312 >= 2705 @ 0.869595 1.79/1.88 c bounds 234312 >= 2706 @ 0.872197 1.79/1.88 c bounds 234312 >= 2707 @ 0.873003 1.79/1.88 c bounds 234312 >= 2710 @ 0.873586 1.79/1.88 c bounds 234312 >= 2711 @ 0.875207 1.79/1.88 c bounds 234312 >= 2712 @ 0.876997 1.79/1.88 c bounds 234312 >= 2713 @ 0.877577 1.79/1.88 c bounds 234312 >= 2714 @ 0.879266 1.79/1.88 c bounds 234312 >= 2715 @ 0.880028 1.79/1.88 c bounds 234312 >= 2716 @ 0.882768 1.79/1.88 c bounds 234312 >= 2717 @ 0.883564 1.79/1.88 c bounds 234312 >= 2718 @ 0.885263 1.79/1.88 c bounds 234312 >= 2719 @ 0.887028 1.79/1.88 c bounds 234312 >= 2720 @ 0.88878 1.79/1.88 c bounds 234312 >= 2721 @ 0.89051 1.79/1.88 c bounds 234312 >= 2722 @ 0.892265 1.79/1.88 c bounds 234312 >= 2724 @ 0.892544 1.79/1.88 c bounds 233312 >= 2724 @ 1.01119 1.79/1.88 c bounds 233312 >= 2725 @ 1.0125 1.79/1.88 c bounds 233312 >= 2726 @ 1.01335 1.79/1.88 c bounds 233312 >= 2727 @ 1.0151 1.79/1.88 c bounds 233312 >= 2728 @ 1.01789 1.79/1.88 c bounds 233312 >= 2729 @ 1.02069 1.79/1.88 c bounds 233312 >= 2730 @ 1.02264 1.79/1.88 c bounds 233312 >= 2731 @ 1.02316 1.79/1.88 c bounds 233312 >= 2732 @ 1.02332 1.79/1.88 c bounds 233312 >= 2733 @ 1.02416 1.79/1.88 c bounds 233312 >= 2736 @ 1.02691 1.79/1.88 c bounds 233312 >= 2738 @ 1.02772 1.79/1.88 c bounds 233312 >= 2739 @ 1.02956 1.79/1.88 c bounds 233312 >= 2740 @ 1.03063 1.79/1.88 c bounds 233312 >= 2741 @ 1.0322 1.79/1.88 c bounds 233312 >= 2743 @ 1.03385 1.79/1.88 c bounds 233312 >= 2744 @ 1.03535 1.79/1.88 c bounds 233312 >= 2745 @ 1.03722 1.79/1.88 c bounds 233312 >= 2746 @ 1.04007 1.79/1.88 c bounds 233312 >= 2747 @ 1.04191 1.79/1.88 c bounds 233312 >= 2748 @ 1.04285 1.79/1.88 c bounds 233312 >= 2750 @ 1.04312 1.79/1.88 c bounds 233312 >= 2751 @ 1.0447 1.79/1.88 c bounds 233312 >= 2752 @ 1.04566 1.79/1.88 c bounds 233312 >= 2753 @ 1.04762 1.79/1.88 c bounds 233312 >= 2754 @ 1.04958 1.79/1.88 c bounds 233312 >= 2755 @ 1.05026 1.79/1.88 c bounds 233312 >= 2758 @ 1.0511 1.79/1.88 c bounds 233312 >= 2760 @ 1.05287 1.79/1.88 c bounds 233312 >= 2761 @ 1.05367 1.79/1.88 c bounds 233312 >= 2762 @ 1.05457 1.79/1.88 c bounds 233312 >= 2763 @ 1.05556 1.79/1.88 c bounds 233312 >= 2764 @ 1.05709 1.79/1.88 c bounds 233312 >= 2767 @ 1.05989 1.79/1.88 c bounds 233312 >= 2768 @ 1.06173 1.79/1.88 c bounds 233312 >= 2770 @ 1.06357 1.79/1.88 c bounds 233312 >= 2773 @ 1.06555 1.79/1.88 c bounds 233312 >= 2775 @ 1.06654 1.79/1.88 c bounds 233312 >= 2776 @ 1.06712 1.79/1.88 c bounds 233312 >= 2778 @ 1.06806 1.79/1.88 c bounds 233312 >= 2779 @ 1.06806 1.79/1.88 c bounds 233312 >= 2780 @ 1.06858 1.79/1.88 c bounds 233312 >= 2781 @ 1.07039 1.79/1.88 c bounds 233312 >= 2782 @ 1.07322 1.79/1.88 c bounds 233312 >= 2783 @ 1.0741 1.79/1.88 c bounds 233312 >= 2784 @ 1.07591 1.79/1.88 c bounds 233312 >= 2785 @ 1.07804 1.79/1.88 c bounds 233312 >= 2787 @ 1.07957 1.79/1.88 c bounds 233312 >= 2788 @ 1.08051 1.79/1.88 c bounds 233312 >= 2789 @ 1.08121 1.79/1.88 c bounds 233312 >= 2790 @ 1.0821 1.79/1.88 c bounds 233312 >= 2791 @ 1.08399 1.79/1.88 c bounds 233312 >= 2795 @ 1.08694 1.79/1.88 c bounds 233312 >= 2797 @ 1.08887 1.79/1.88 c bounds 233312 >= 2798 @ 1.09079 1.79/1.88 c bounds 233312 >= 2800 @ 1.093 1.79/1.88 c bounds 233312 >= 2801 @ 1.09374 1.79/1.88 c bounds 233312 >= 2802 @ 1.09469 1.79/1.88 c bounds 233312 >= 2803 @ 1.09699 1.79/1.88 c bounds 233312 >= 2804 @ 1.09848 1.79/1.88 c bounds 233312 >= 2805 @ 1.10029 1.79/1.88 c bounds 233312 >= 2806 @ 1.10115 1.79/1.88 c bounds 233312 >= 2807 @ 1.10292 1.79/1.88 c bounds 233312 >= 2808 @ 1.10475 1.79/1.88 c bounds 233312 >= 2809 @ 1.10555 1.79/1.88 c bounds 233312 >= 2811 @ 1.1074 1.79/1.88 c bounds 233312 >= 2812 @ 1.10922 1.79/1.88 c bounds 233312 >= 2813 @ 1.11102 1.79/1.88 c bounds 233312 >= 2814 @ 1.11296 1.79/1.88 c bounds 233312 >= 2815 @ 1.11296 1.79/1.88 c bounds 233312 >= 2816 @ 1.11296 1.79/1.88 c bounds 233312 >= 2817 @ 1.11429 1.79/1.88 c bounds 233312 >= 2818 @ 1.11512 1.79/1.88 c bounds 233312 >= 2819 @ 1.11595 1.79/1.88 c bounds 233312 >= 2820 @ 1.11776 1.79/1.88 c bounds 233312 >= 2821 @ 1.11895 1.79/1.88 c bounds 233312 >= 2822 @ 1.12042 1.79/1.88 c bounds 233312 >= 2824 @ 1.12242 1.79/1.88 c bounds 233312 >= 2825 @ 1.12399 1.79/1.88 c bounds 233312 >= 2826 @ 1.12582 1.79/1.88 c bounds 233312 >= 2827 @ 1.12593 1.79/1.88 c bounds 233312 >= 2829 @ 1.12593 1.79/1.88 c bounds 233312 >= 2830 @ 1.1274 1.79/1.88 c bounds 233312 >= 2832 @ 1.12909 1.79/1.88 c bounds 233312 >= 2833 @ 1.12992 2.38/2.43 c bounds 233312 >= 2834 @ 1.13175 2.38/2.43 c bounds 233312 >= 2835 @ 1.13266 2.38/2.43 c bounds 233312 >= 2836 @ 1.13356 2.38/2.43 c bounds 233312 >= 2837 @ 1.13542 2.38/2.43 c bounds 233312 >= 2838 @ 1.13738 2.38/2.43 c bounds 233312 >= 2839 @ 1.1384 2.38/2.43 c bounds 233312 >= 2840 @ 1.14008 2.38/2.43 c bounds 233312 >= 2842 @ 1.14196 2.38/2.43 c bounds 233312 >= 2843 @ 1.14389 2.38/2.43 c bounds 233312 >= 2844 @ 1.14579 2.38/2.43 c bounds 233312 >= 2845 @ 1.14764 2.38/2.43 c bounds 233312 >= 2846 @ 1.15044 2.38/2.43 c bounds 233312 >= 2847 @ 1.15235 2.38/2.43 c bounds 233312 >= 2850 @ 1.15335 2.38/2.43 c bounds 233312 >= 2851 @ 1.15487 2.38/2.43 c bounds 233312 >= 2852 @ 1.15686 2.38/2.43 c bounds 233312 >= 2853 @ 1.15686 2.38/2.43 c bounds 233312 >= 2854 @ 1.15924 2.38/2.43 c bounds 233312 >= 2855 @ 1.15986 2.38/2.43 c bounds 233312 >= 2856 @ 1.16091 2.38/2.43 c bounds 233312 >= 2857 @ 1.16368 2.38/2.43 c bounds 233312 >= 2858 @ 1.16453 2.38/2.43 c bounds 233312 >= 2859 @ 1.16641 2.38/2.43 c bounds 233312 >= 2861 @ 1.16871 2.38/2.43 c bounds 233312 >= 2863 @ 1.1695 2.38/2.43 c bounds 233312 >= 2865 @ 1.17045 2.38/2.43 c bounds 233312 >= 2867 @ 1.17231 2.38/2.43 c bounds 233312 >= 2870 @ 1.1742 2.38/2.43 c bounds 233312 >= 2871 @ 1.17631 2.38/2.43 c bounds 233312 >= 2872 @ 1.17804 2.38/2.43 c bounds 233312 >= 2880 @ 1.1817 2.38/2.43 c bounds 233312 >= 2882 @ 1.18355 2.38/2.43 c bounds 233312 >= 2884 @ 1.18443 2.38/2.43 c bounds 233312 >= 2885 @ 1.18528 2.38/2.43 c bounds 233312 >= 2886 @ 1.18632 2.38/2.43 c bounds 233312 >= 2887 @ 1.18732 2.38/2.43 c bounds 233312 >= 2888 @ 1.18932 2.38/2.43 c bounds 233312 >= 2889 @ 1.19203 2.38/2.43 c bounds 233312 >= 2890 @ 1.19329 2.38/2.43 c bounds 233312 >= 2891 @ 1.19394 2.38/2.43 c bounds 233312 >= 2892 @ 1.19585 2.38/2.43 c bounds 233312 >= 2893 @ 1.19816 2.38/2.43 c bounds 233312 >= 2894 @ 1.20029 2.38/2.43 c bounds 233312 >= 2895 @ 1.20214 2.38/2.43 c bounds 233312 >= 2896 @ 1.20329 2.38/2.43 c bounds 233312 >= 2897 @ 1.2053 2.38/2.43 c bounds 233312 >= 2898 @ 1.20729 2.38/2.43 c bounds 233312 >= 2900 @ 1.20829 2.38/2.43 c bounds 233312 >= 2902 @ 1.21009 2.38/2.43 c bounds 233312 >= 2904 @ 1.21125 2.38/2.43 c bounds 233312 >= 2905 @ 1.21225 2.38/2.43 c bounds 233312 >= 2906 @ 1.2129 2.38/2.43 c bounds 233312 >= 2907 @ 1.21492 2.38/2.43 c bounds 233312 >= 2908 @ 1.21727 2.38/2.43 c bounds 233312 >= 2909 @ 1.21828 2.38/2.43 c bounds 233312 >= 2910 @ 1.22119 2.38/2.43 c bounds 233312 >= 2911 @ 1.22171 2.38/2.43 c bounds 233312 >= 2912 @ 1.22363 2.38/2.43 c bounds 233312 >= 2913 @ 1.22692 2.38/2.43 c bounds 233312 >= 2914 @ 1.22925 2.38/2.43 c bounds 233312 >= 2915 @ 1.23069 2.38/2.43 c bounds 233312 >= 2916 @ 1.23181 2.38/2.43 c bounds 232312 >= 2916 @ 1.29089 2.38/2.43 c bounds 232312 >= 2917 @ 1.29383 2.38/2.43 c bounds 232312 >= 2918 @ 1.29551 2.38/2.43 c bounds 232312 >= 2919 @ 1.29857 2.38/2.43 c bounds 232312 >= 2920 @ 1.30095 2.38/2.43 c bounds 232312 >= 2921 @ 1.30333 2.38/2.43 c bounds 232312 >= 2922 @ 1.30403 2.38/2.43 c bounds 232312 >= 2923 @ 1.30661 2.38/2.43 c bounds 232312 >= 2924 @ 1.3084 2.38/2.43 c bounds 232312 >= 2925 @ 1.31039 2.38/2.43 c bounds 232312 >= 2926 @ 1.31286 2.38/2.43 c bounds 232312 >= 2927 @ 1.31469 2.38/2.43 c bounds 232312 >= 2928 @ 1.31538 2.38/2.43 c bounds 232312 >= 2929 @ 1.31717 2.38/2.43 c bounds 232312 >= 2930 @ 1.31875 2.38/2.43 c bounds 232312 >= 2931 @ 1.32093 2.38/2.43 c bounds 232312 >= 2932 @ 1.32196 2.38/2.43 c bounds 232312 >= 2933 @ 1.32292 2.38/2.43 c bounds 232312 >= 2934 @ 1.32591 2.38/2.43 c bounds 232312 >= 2935 @ 1.3292 2.38/2.43 c bounds 232312 >= 2936 @ 1.33049 2.38/2.43 c bounds 232312 >= 2937 @ 1.33134 2.38/2.43 c bounds 232312 >= 2938 @ 1.33394 2.38/2.43 c bounds 232312 >= 2939 @ 1.33439 2.38/2.43 c bounds 232312 >= 2940 @ 1.33649 2.38/2.43 c bounds 232312 >= 2941 @ 1.33932 2.38/2.43 c bounds 232312 >= 2942 @ 1.34211 2.38/2.43 c bounds 232312 >= 2943 @ 1.34447 2.38/2.43 c bounds 232312 >= 2944 @ 1.34708 2.38/2.43 c bounds 232312 >= 2945 @ 1.34953 2.38/2.43 c bounds 232312 >= 2946 @ 1.35297 2.38/2.43 c bounds 232312 >= 2947 @ 1.35458 2.38/2.43 c bounds 232312 >= 2948 @ 1.35615 2.38/2.43 c bounds 232312 >= 2949 @ 1.3587 2.38/2.43 c bounds 232312 >= 2950 @ 1.36181 2.38/2.43 c bounds 232311 >= 2950 @ 1.39629 2.38/2.43 c bounds 232311 >= 2951 @ 1.39916 2.38/2.43 c bounds 232311 >= 2952 @ 1.40132 2.38/2.43 c bounds 232311 >= 2953 @ 1.40546 2.38/2.43 c bounds 232311 >= 2954 @ 1.40918 2.38/2.43 c bounds 232311 >= 2955 @ 1.41113 2.38/2.43 c bounds 232311 >= 2956 @ 1.41618 2.38/2.43 c bounds 232311 >= 2957 @ 1.41811 2.38/2.43 c bounds 232311 >= 2958 @ 1.42239 2.38/2.43 c bounds 232311 >= 2959 @ 1.42415 2.38/2.43 c bounds 232311 >= 2960 @ 1.42761 2.38/2.43 c bounds 232311 >= 2961 @ 1.4323 2.38/2.43 c bounds 232311 >= 2962 @ 1.43461 2.38/2.43 c bounds 232311 >= 2963 @ 1.43719 2.38/2.43 c bounds 232310 >= 2963 @ 1.46127 2.38/2.43 c bounds 232310 >= 2964 @ 1.46466 2.38/2.43 c bounds 232310 >= 2965 @ 1.46752 2.38/2.43 c bounds 232310 >= 2966 @ 1.4695 2.38/2.43 c bounds 232310 >= 2967 @ 1.47054 2.38/2.43 c bounds 232310 >= 2968 @ 1.47247 2.38/2.43 c bounds 232310 >= 2969 @ 1.47471 2.38/2.43 c bounds 232310 >= 2970 @ 1.47721 2.38/2.43 c bounds 232310 >= 2971 @ 1.47972 2.38/2.43 c bounds 232310 >= 2972 @ 1.48219 4.08/4.13 c bounds 232310 >= 2973 @ 1.48748 4.08/4.13 c bounds 232309 >= 2973 @ 1.50553 4.08/4.13 c bounds 232309 >= 2974 @ 1.5119 4.08/4.13 c bounds 232309 >= 2975 @ 1.52041 4.08/4.13 c bounds 232308 >= 2975 @ 1.5367 4.08/4.13 c bounds 232308 >= 2976 @ 1.54229 4.08/4.13 c bounds 232308 >= 2977 @ 1.54643 4.08/4.13 c #Conflicts: 1000 | #Constraints: 5952 4.08/4.13 c bounds 232308 >= 2978 @ 1.55523 4.08/4.13 c bounds 231308 >= 2978 @ 1.5721 4.08/4.13 c bounds 231308 >= 2979 @ 1.58009 4.08/4.13 c bounds 231308 >= 2980 @ 1.59413 4.08/4.13 c bounds 231307 >= 2980 @ 1.61064 4.08/4.13 c bounds 231307 >= 2981 @ 1.62068 4.08/4.13 c bounds 230307 >= 2981 @ 1.63726 4.08/4.13 c bounds 230307 >= 2982 @ 1.64015 4.08/4.13 c bounds 230307 >= 2983 @ 1.65828 4.08/4.13 c bounds 229307 >= 2983 @ 1.67687 4.08/4.13 c bounds 229307 >= 2984 @ 1.71917 4.08/4.13 c bounds 228306 >= 2984 @ 1.73661 4.08/4.13 c bounds 228305 >= 2984 @ 1.75252 4.08/4.13 c bounds 228304 >= 2984 @ 1.76891 4.08/4.13 c bounds 228304 >= 2985 @ 1.77682 4.08/4.13 c bounds 228303 >= 2985 @ 1.79342 4.08/4.13 c bounds 228303 >= 2986 @ 1.83035 4.08/4.13 c bounds 227303 >= 2986 @ 1.84404 4.08/4.13 c bounds 226303 >= 2986 @ 1.86128 4.08/4.13 c bounds 225303 >= 2986 @ 1.87783 4.08/4.13 c bounds 225303 >= 2987 @ 1.88482 4.08/4.13 c bounds 225303 >= 2988 @ 1.89352 4.08/4.13 c bounds 224303 >= 2988 @ 1.90826 4.08/4.13 c bounds 224303 >= 2989 @ 1.94838 4.08/4.13 c bounds 224302 >= 2989 @ 1.96749 4.08/4.13 c bounds 224301 >= 2989 @ 2.00266 4.08/4.13 c bounds 224301 >= 2990 @ 2.00607 4.08/4.13 c bounds 224301 >= 2991 @ 2.00875 4.08/4.13 c bounds 224301 >= 2992 @ 2.01064 4.08/4.13 c bounds 224301 >= 2993 @ 2.01437 4.08/4.13 c bounds 224301 >= 2994 @ 2.01751 4.08/4.13 c bounds 224301 >= 2995 @ 2.0251 4.08/4.13 c bounds 224301 >= 2996 @ 2.02831 4.08/4.13 c bounds 224300 >= 2996 @ 2.05684 4.08/4.13 c bounds 224300 >= 2997 @ 2.10376 4.08/4.13 c bounds 223300 >= 2997 @ 2.15207 4.08/4.13 c bounds 223300 >= 2998 @ 2.24337 4.08/4.13 c bounds 223299 >= 2998 @ 2.29395 4.08/4.13 c bounds 223298 >= 2998 @ 2.31388 4.08/4.13 c bounds 223297 >= 2998 @ 2.3364 4.08/4.13 c bounds 222297 >= 2998 @ 2.35866 4.08/4.13 c bounds 222297 >= 2999 @ 2.36363 4.08/4.13 c bounds 222297 >= 3000 @ 2.55549 4.08/4.13 c bounds 221297 >= 3000 @ 2.5817 4.08/4.13 c bounds 221296 >= 3000 @ 2.60046 4.08/4.13 c bounds 221295 >= 3000 @ 2.62143 4.08/4.13 c bounds 220295 >= 3000 @ 2.644 4.08/4.13 c bounds 220294 >= 3000 @ 2.66927 4.08/4.13 c bounds 220293 >= 3000 @ 2.69244 4.08/4.13 c bounds 220292 >= 3000 @ 2.71524 4.08/4.13 c bounds 220291 >= 3000 @ 2.73615 4.08/4.13 c bounds 220290 >= 3000 @ 2.75577 4.08/4.13 c bounds 219289 >= 3000 @ 2.77726 4.08/4.13 c bounds 218288 >= 3000 @ 2.80034 4.08/4.13 c bounds 218287 >= 3000 @ 2.82007 4.08/4.13 c #Conflicts: 2000 | #Constraints: 7201 4.08/4.13 c INPROCESSING 4.08/4.13 c GARBAGE COLLECT 4.08/4.13 c rational objective 3000 6.37/6.42 c bounds 218286 >= 3000 @ 3.02377 6.37/6.42 c bounds 218285 >= 3000 @ 3.04315 6.37/6.42 c bounds 218284 >= 3000 @ 3.04957 6.37/6.42 c bounds 218283 >= 3000 @ 3.05496 6.37/6.42 c bounds 217283 >= 3000 @ 3.05843 6.37/6.42 c bounds 216283 >= 3000 @ 3.06127 6.37/6.42 c bounds 215283 >= 3000 @ 3.06414 6.37/6.42 c bounds 214283 >= 3000 @ 3.06789 6.37/6.42 c bounds 213283 >= 3000 @ 3.0707 6.37/6.42 c bounds 213282 >= 3000 @ 3.07536 6.37/6.42 c bounds 212282 >= 3000 @ 3.07856 6.37/6.42 c bounds 211282 >= 3000 @ 3.13721 6.37/6.42 c bounds 211282 >= 3001 @ 3.15628 6.37/6.42 c bounds 211281 >= 3001 @ 3.16342 6.37/6.42 c bounds 211280 >= 3001 @ 3.17089 6.37/6.42 c bounds 211279 >= 3001 @ 3.17704 6.37/6.42 c bounds 211278 >= 3001 @ 3.18468 6.37/6.42 c bounds 211278 >= 3002 @ 3.30708 6.37/6.42 c bounds 211277 >= 3002 @ 3.31579 6.37/6.42 c bounds 211276 >= 3002 @ 3.32249 6.37/6.42 c bounds 211275 >= 3002 @ 3.33026 6.37/6.42 c bounds 211274 >= 3002 @ 3.33573 6.37/6.42 c bounds 211273 >= 3002 @ 3.3407 6.37/6.42 c bounds 211272 >= 3002 @ 3.34505 6.37/6.42 c bounds 211271 >= 3002 @ 3.34869 6.37/6.42 c bounds 210271 >= 3002 @ 3.35518 6.37/6.42 c bounds 210270 >= 3002 @ 3.37291 6.37/6.42 c bounds 209270 >= 3002 @ 3.37916 6.37/6.42 c bounds 208269 >= 3002 @ 3.3908 6.37/6.42 c bounds 207269 >= 3002 @ 3.40446 6.37/6.42 c bounds 206269 >= 3002 @ 3.4151 6.37/6.42 c bounds 205269 >= 3002 @ 3.42372 6.37/6.42 c bounds 204268 >= 3002 @ 3.43022 6.37/6.42 c bounds 204267 >= 3002 @ 3.4391 6.37/6.42 c bounds 204266 >= 3002 @ 3.44674 6.37/6.42 c bounds 204265 >= 3002 @ 3.45513 6.37/6.42 c bounds 203265 >= 3002 @ 3.46294 6.37/6.42 c bounds 202265 >= 3002 @ 3.47421 6.37/6.42 c bounds 202264 >= 3002 @ 3.49363 6.37/6.42 c bounds 202264 >= 3003 @ 3.62682 6.37/6.42 c bounds 201263 >= 3003 @ 3.6389 6.37/6.42 c bounds 201262 >= 3003 @ 3.64906 6.37/6.42 c bounds 201261 >= 3003 @ 3.66436 6.37/6.42 c bounds 200260 >= 3003 @ 3.68187 6.37/6.42 c bounds 199259 >= 3003 @ 3.75534 6.37/6.42 c #Conflicts: 3000 | #Constraints: 6554 6.37/6.42 c bounds 199258 >= 3003 @ 4.00272 6.37/6.42 c bounds 199258 >= 3004 @ 4.22886 6.37/6.42 c bounds 198257 >= 3004 @ 4.27225 6.37/6.42 c #Conflicts: 4000 | #Constraints: 7580 6.37/6.42 c bounds 198257 >= 3005 @ 4.81908 6.37/6.42 c bounds 198256 >= 3005 @ 4.85013 6.37/6.42 c bounds 197256 >= 3005 @ 4.87245 6.37/6.42 c bounds 197255 >= 3005 @ 4.89585 6.37/6.42 c bounds 196255 >= 3005 @ 4.9272 6.37/6.42 c INPROCESSING 6.37/6.42 c GARBAGE COLLECT 6.37/6.42 c rational objective 3005 9.46/9.53 c bounds 195255 >= 3005 @ 5.41931 9.46/9.53 c bounds 195254 >= 3005 @ 5.49539 9.46/9.53 c bounds 195253 >= 3005 @ 5.75409 9.46/9.53 c #Conflicts: 5000 | #Constraints: 6914 9.46/9.53 c bounds 195253 >= 3006 @ 6.27101 9.46/9.53 c bounds 194253 >= 3006 @ 6.65141 9.46/9.53 c #Conflicts: 6000 | #Constraints: 7943 9.46/9.53 c bounds 194253 >= 3007 @ 7.5543 9.46/9.53 c bounds 193252 >= 3007 @ 7.6398 9.46/9.53 c bounds 192253 >= 3007 @ 7.68138 9.46/9.53 c bounds 192252 >= 3007 @ 7.72434 9.46/9.53 c bounds 192251 >= 3007 @ 7.76902 9.46/9.53 c bounds 192250 >= 3007 @ 7.87553 9.46/9.53 c INPROCESSING 9.46/9.53 c GARBAGE COLLECT 9.46/9.53 c rational objective 3007 12.65/12.77 c #Conflicts: 7000 | #Constraints: 6931 12.65/12.77 c #Conflicts: 8000 | #Constraints: 7931 12.65/12.77 c bounds 192250 >= 3008 @ 9.79881 12.65/12.77 c bounds 192249 >= 3008 @ 9.91004 12.65/12.77 c bounds 192248 >= 3008 @ 10.028 12.65/12.77 c bounds 191247 >= 3008 @ 10.2314 12.65/12.77 c bounds 190246 >= 3008 @ 10.3329 12.65/12.77 c #Conflicts: 9000 | #Constraints: 8953 12.65/12.77 c bounds 189246 >= 3008 @ 10.7736 12.65/12.77 c bounds 189245 >= 3008 @ 10.83 12.65/12.77 c bounds 189244 >= 3008 @ 10.8686 12.65/12.77 c bounds 189243 >= 3008 @ 10.9103 12.65/12.77 c bounds 189242 >= 3008 @ 10.9619 12.65/12.77 c bounds 189241 >= 3008 @ 11.0057 12.65/12.77 c INPROCESSING 12.65/12.77 c GARBAGE COLLECT 12.65/12.77 c rational objective 3008 16.14/16.21 c bounds 189240 >= 3008 @ 11.4514 16.14/16.21 c bounds 189239 >= 3008 @ 11.4657 16.14/16.21 c bounds 188239 >= 3008 @ 11.4759 16.14/16.21 c bounds 188238 >= 3008 @ 11.4864 16.14/16.21 c bounds 188237 >= 3008 @ 11.5265 16.14/16.21 c #Conflicts: 10000 | #Constraints: 7716 16.14/16.21 c bounds 188237 >= 3009 @ 12.3876 16.14/16.21 c bounds 187237 >= 3009 @ 12.4095 16.14/16.21 c #Conflicts: 11000 | #Constraints: 8735 16.14/16.21 c bounds 187236 >= 3009 @ 13.3957 16.14/16.21 c #Conflicts: 12000 | #Constraints: 9736 16.14/16.21 c INPROCESSING 16.14/16.21 c GARBAGE COLLECT 16.14/16.21 c rational objective 3009 20.23/20.35 c bounds 186236 >= 3009 @ 14.742 20.23/20.35 c bounds 185235 >= 3009 @ 14.8063 20.23/20.35 c bounds 184235 >= 3009 @ 14.8526 20.23/20.35 c bounds 183235 >= 3009 @ 14.9142 20.23/20.35 c bounds 182235 >= 3009 @ 14.9884 20.23/20.35 c bounds 181235 >= 3009 @ 15.0145 20.23/20.35 c bounds 181234 >= 3009 @ 15.5749 20.23/20.35 c #Conflicts: 13000 | #Constraints: 8232 20.23/20.35 c bounds 181234 >= 3010 @ 16.317 20.23/20.35 c bounds 181233 >= 3010 @ 16.3577 20.23/20.35 c bounds 181232 >= 3010 @ 16.3902 20.23/20.35 c bounds 181231 >= 3010 @ 16.424 20.23/20.35 c bounds 181230 >= 3010 @ 16.4555 20.23/20.35 c bounds 180229 >= 3010 @ 16.4945 20.23/20.35 c bounds 179228 >= 3010 @ 16.6102 20.23/20.35 c bounds 178227 >= 3010 @ 16.6917 20.23/20.35 c #Conflicts: 14000 | #Constraints: 9257 20.23/20.35 c #Conflicts: 15000 | #Constraints: 10257 20.23/20.35 c INPROCESSING 20.23/20.35 c GARBAGE COLLECT 20.23/20.35 c rational objective 3010 27.40/27.52 c bounds 177227 >= 3010 @ 18.7114 27.40/27.52 c bounds 176226 >= 3010 @ 18.7405 27.40/27.52 c bounds 175225 >= 3010 @ 19.354 27.40/27.52 c bounds 175224 >= 3010 @ 19.7145 27.40/27.52 c #Conflicts: 16000 | #Constraints: 8479 27.40/27.52 c #Conflicts: 17000 | #Constraints: 9479 27.40/27.52 c bounds 175224 >= 3011 @ 21.3148 27.40/27.52 c bounds 175223 >= 3011 @ 21.3749 27.40/27.52 c bounds 174223 >= 3011 @ 21.601 27.40/27.52 c bounds 174222 >= 3011 @ 22.14 27.40/27.52 c bounds 173221 >= 3011 @ 24.2272 27.40/27.52 c #Conflicts: 18000 | #Constraints: 10517 27.40/27.52 c INPROCESSING 27.40/27.52 c GARBAGE COLLECT 27.40/27.52 c rational objective 3011 32.39/32.59 c #Conflicts: 19000 | #Constraints: 8520 32.39/32.59 c #Conflicts: 20000 | #Constraints: 9520 32.39/32.59 c bounds 173221 >= 3012 @ 27.7216 32.39/32.59 c bounds 172221 >= 3012 @ 27.7965 32.39/32.59 c bounds 171220 >= 3012 @ 27.9631 32.39/32.59 c bounds 171219 >= 3012 @ 28.1406 32.39/32.59 c bounds 171218 >= 3012 @ 28.2174 32.39/32.59 c bounds 171217 >= 3012 @ 28.2572 32.39/32.59 c bounds 170217 >= 3012 @ 28.2899 32.39/32.59 c bounds 169217 >= 3012 @ 28.32 32.39/32.59 c bounds 168217 >= 3012 @ 28.3498 32.39/32.59 c bounds 168215 >= 3012 @ 28.3965 32.39/32.59 c bounds 167214 >= 3012 @ 28.4366 32.39/32.59 c #Conflicts: 21000 | #Constraints: 10554 32.39/32.59 c bounds 166214 >= 3012 @ 28.867 32.39/32.59 c bounds 166213 >= 3012 @ 28.9499 32.39/32.59 c bounds 165213 >= 3012 @ 29.1338 32.39/32.59 c bounds 164212 >= 3012 @ 30.1911 32.39/32.59 c INPROCESSING 32.39/32.59 c GARBAGE COLLECT 32.39/32.59 c rational objective 3012 38.67/38.89 c bounds 164211 >= 3012 @ 30.6288 38.67/38.89 c bounds 163211 >= 3012 @ 30.9057 38.67/38.89 c #Conflicts: 22000 | #Constraints: 8356 38.67/38.89 c #Conflicts: 23000 | #Constraints: 9356 38.67/38.89 c #Conflicts: 24000 | #Constraints: 10356 38.67/38.89 c #Conflicts: 25000 | #Constraints: 11356 38.67/38.89 c INPROCESSING 38.67/38.89 c GARBAGE COLLECT 38.67/38.89 c rational objective 3012 48.64/48.87 c bounds 162211 >= 3012 @ 36.7376 48.64/48.87 c bounds 162210 >= 3012 @ 36.7662 48.64/48.87 c bounds 162209 >= 3012 @ 36.778 48.64/48.87 c bounds 161208 >= 3012 @ 36.7878 48.64/48.87 c bounds 161207 >= 3012 @ 37.0211 48.64/48.87 c bounds 161206 >= 3012 @ 37.0628 48.64/48.87 c bounds 161205 >= 3012 @ 37.0797 48.64/48.87 c bounds 161204 >= 3012 @ 37.0983 48.64/48.87 c bounds 161203 >= 3012 @ 37.1259 48.64/48.87 c #Conflicts: 26000 | #Constraints: 8993 48.64/48.87 c bounds 160202 >= 3012 @ 37.5763 48.64/48.87 c bounds 159201 >= 3012 @ 37.9644 48.64/48.87 c #Conflicts: 27000 | #Constraints: 10000 48.64/48.87 c bounds 158200 >= 3012 @ 38.2706 48.64/48.87 c bounds 157199 >= 3012 @ 38.5418 48.64/48.87 c bounds 157198 >= 3012 @ 39.2147 48.64/48.87 c bounds 157197 >= 3012 @ 39.591 48.64/48.87 c bounds 156196 >= 3012 @ 40.0559 48.64/48.87 c bounds 155196 >= 3012 @ 40.3223 48.64/48.87 c bounds 155195 >= 3012 @ 40.5077 48.64/48.87 c #Conflicts: 28000 | #Constraints: 11035 48.64/48.87 c bounds 154195 >= 3012 @ 41.2832 48.64/48.87 c bounds 153195 >= 3012 @ 42.3148 48.64/48.87 c bounds 152195 >= 3012 @ 43.0456 48.64/48.87 c bounds 152194 >= 3012 @ 43.8102 48.64/48.87 c bounds 151194 >= 3012 @ 43.9952 48.64/48.87 c bounds 150194 >= 3012 @ 44.2002 48.64/48.87 c bounds 150193 >= 3012 @ 44.4086 48.64/48.87 c bounds 150192 >= 3012 @ 44.5882 48.64/48.87 c #Conflicts: 29000 | #Constraints: 12047 48.64/48.87 c INPROCESSING 48.64/48.87 c GARBAGE COLLECT 48.64/48.87 c rational objective 3012 55.53/55.70 c bounds 150191 >= 3012 @ 46.4497 55.53/55.70 c bounds 149190 >= 3012 @ 46.5366 55.53/55.70 c bounds 149189 >= 3012 @ 47.0714 55.53/55.70 c #Conflicts: 30000 | #Constraints: 9402 55.53/55.70 c bounds 149189 >= 3013 @ 48.4291 55.53/55.70 c bounds 149188 >= 3013 @ 48.6434 55.53/55.70 c bounds 149187 >= 3013 @ 48.6912 55.53/55.70 c bounds 148187 >= 3013 @ 48.7293 55.53/55.70 c bounds 148186 >= 3013 @ 48.7636 55.53/55.70 c bounds 148185 >= 3013 @ 48.7945 55.53/55.70 c bounds 148184 >= 3013 @ 48.8276 55.53/55.70 c bounds 148183 >= 3013 @ 48.8563 55.53/55.70 c bounds 148182 >= 3013 @ 48.89 55.53/55.70 c bounds 147181 >= 3013 @ 48.9244 55.53/55.70 c bounds 146180 >= 3013 @ 48.9583 55.53/55.70 c bounds 145180 >= 3013 @ 49.3188 55.53/55.70 c #Conflicts: 31000 | #Constraints: 10440 55.53/55.70 c bounds 144179 >= 3013 @ 50.0682 55.53/55.70 c #Conflicts: 32000 | #Constraints: 11441 55.53/55.70 c #Conflicts: 33000 | #Constraints: 12441 55.53/55.70 c INPROCESSING 55.53/55.70 c GARBAGE COLLECT 55.53/55.70 c rational objective 3013 64.20/64.45 c bounds 143178 >= 3013 @ 53.2807 64.20/64.45 c bounds 142178 >= 3013 @ 53.8334 64.20/64.45 c bounds 141178 >= 3013 @ 54.8093 64.20/64.45 c #Conflicts: 34000 | #Constraints: 9621 64.20/64.45 c #Conflicts: 35000 | #Constraints: 10621 64.20/64.45 c #Conflicts: 36000 | #Constraints: 11621 64.20/64.45 c bounds 141178 >= 3014 @ 59.9101 64.20/64.45 c bounds 140178 >= 3014 @ 60.2798 64.20/64.45 c #Conflicts: 37000 | #Constraints: 12649 64.20/64.45 c bounds 139177 >= 3014 @ 60.637 64.20/64.45 c bounds 139176 >= 3014 @ 61.1576 64.20/64.45 c bounds 138176 >= 3014 @ 61.2448 64.20/64.45 c INPROCESSING 64.20/64.45 c GARBAGE COLLECT 64.20/64.45 c rational objective 3014 72.78/73.05 c bounds 137176 >= 3014 @ 62.0646 72.78/73.05 c bounds 137175 >= 3014 @ 62.0807 72.78/73.05 c bounds 137174 >= 3014 @ 62.1106 72.78/73.05 c #Conflicts: 38000 | #Constraints: 9564 72.78/73.05 c bounds 137173 >= 3014 @ 63.3875 72.78/73.05 c #Conflicts: 39000 | #Constraints: 10566 72.78/73.05 c #Conflicts: 40000 | #Constraints: 11566 72.78/73.05 c #Conflicts: 41000 | #Constraints: 12566 72.78/73.05 c INPROCESSING 72.78/73.05 c GARBAGE COLLECT 72.78/73.05 c rational objective 3014 85.15/85.41 c bounds 137172 >= 3014 @ 70.0481 85.15/85.41 c bounds 136171 >= 3014 @ 70.0574 85.15/85.41 c bounds 135170 >= 3014 @ 70.0677 85.15/85.41 c bounds 134169 >= 3014 @ 70.1779 85.15/85.41 c #Conflicts: 42000 | #Constraints: 9433 85.15/85.41 c #Conflicts: 43000 | #Constraints: 10433 85.15/85.41 c bounds 133169 >= 3014 @ 73.947 85.15/85.41 c #Conflicts: 44000 | #Constraints: 11442 85.15/85.41 c #Conflicts: 45000 | #Constraints: 12442 85.15/85.41 c #Conflicts: 46000 | #Constraints: 13442 85.15/85.41 c INPROCESSING 85.15/85.41 c GARBAGE COLLECT 85.15/85.41 c rational objective 3014 92.33/92.60 c #Conflicts: 47000 | #Constraints: 10049 92.33/92.60 c #Conflicts: 48000 | #Constraints: 11049 92.33/92.60 c #Conflicts: 49000 | #Constraints: 12049 92.33/92.60 c bounds 133169 >= 3015 @ 86.8667 92.33/92.60 c bounds 133168 >= 3015 @ 87.1165 92.33/92.60 c bounds 132168 >= 3015 @ 87.2693 92.33/92.60 c #Conflicts: 50000 | #Constraints: 13084 92.33/92.60 c bounds 132167 >= 3015 @ 87.5183 92.33/92.60 c bounds 132166 >= 3015 @ 88.0405 92.33/92.60 c bounds 131166 >= 3015 @ 88.4284 92.33/92.60 c #Conflicts: 51000 | #Constraints: 14087 92.33/92.60 c INPROCESSING 92.33/92.60 c GARBAGE COLLECT 92.33/92.60 c rational objective 3021.83 102.20/102.50 c bounds 131165 >= 3015 @ 89.1158 102.20/102.50 c bounds 130164 >= 3015 @ 89.3245 102.20/102.50 c bounds 129164 >= 3015 @ 89.5002 102.20/102.50 c bounds 128164 >= 3015 @ 90.0825 102.20/102.50 c #Conflicts: 52000 | #Constraints: 10421 102.20/102.50 c bounds 128163 >= 3015 @ 91.0825 102.20/102.50 c #Conflicts: 53000 | #Constraints: 11422 102.20/102.50 c #Conflicts: 54000 | #Constraints: 12422 102.20/102.50 c #Conflicts: 55000 | #Constraints: 13422 102.20/102.50 c #Conflicts: 56000 | #Constraints: 14422 102.20/102.50 c INPROCESSING 102.20/102.50 c GARBAGE COLLECT 102.20/102.50 c rational objective 3022.83 115.07/115.49 c bounds 127163 >= 3015 @ 98.8078 115.07/115.49 c bounds 126163 >= 3015 @ 98.8803 115.07/115.49 c bounds 126162 >= 3015 @ 99.2096 115.07/115.49 c bounds 126161 >= 3015 @ 99.2783 115.07/115.49 c bounds 125161 >= 3015 @ 99.3606 115.07/115.49 c bounds 125160 >= 3015 @ 99.3858 115.07/115.49 c bounds 124160 >= 3015 @ 99.4471 115.07/115.49 c bounds 124159 >= 3015 @ 99.4741 115.07/115.49 c bounds 123159 >= 3015 @ 99.5043 115.07/115.49 c bounds 122159 >= 3015 @ 99.6171 115.07/115.49 c bounds 121158 >= 3015 @ 99.7474 115.07/115.49 c bounds 120158 >= 3015 @ 99.9742 115.07/115.49 c bounds 119157 >= 3015 @ 100.48 115.07/115.49 c bounds 119156 >= 3015 @ 100.579 115.07/115.49 c bounds 118155 >= 3015 @ 100.621 115.07/115.49 c #Conflicts: 57000 | #Constraints: 10697 115.07/115.49 c bounds 117154 >= 3015 @ 101.267 115.07/115.49 c bounds 116154 >= 3015 @ 102.102 115.07/115.49 c #Conflicts: 58000 | #Constraints: 11712 115.07/115.49 c bounds 115153 >= 3015 @ 102.638 115.07/115.49 c bounds 115152 >= 3015 @ 103.229 115.07/115.49 c bounds 115151 >= 3015 @ 103.667 115.07/115.49 c bounds 115150 >= 3015 @ 104.315 115.07/115.49 c bounds 115149 >= 3015 @ 105.435 115.07/115.49 c #Conflicts: 59000 | #Constraints: 12748 115.07/115.49 c bounds 114148 >= 3015 @ 105.966 115.07/115.49 c #Conflicts: 60000 | #Constraints: 13752 115.07/115.49 c #Conflicts: 61000 | #Constraints: 14752 115.07/115.49 c INPROCESSING 115.07/115.49 c GARBAGE COLLECT 115.07/115.49 c rational objective 3025.5 140.71/141.16 c bounds 113148 >= 3015 @ 112.303 140.71/141.16 c #Conflicts: 62000 | #Constraints: 10716 140.71/141.16 c #Conflicts: 63000 | #Constraints: 11716 140.71/141.16 c #Conflicts: 64000 | #Constraints: 12716 140.71/141.16 c bounds 112148 >= 3015 @ 129.688 140.71/141.16 c #Conflicts: 65000 | #Constraints: 13717 140.71/141.16 c #Conflicts: 66000 | #Constraints: 14717 140.71/141.16 c bounds 112148 >= 3016 @ 136.364 140.71/141.16 c INPROCESSING 140.71/141.16 c GARBAGE COLLECT 140.71/141.16 c rational objective 3027.33 189.98/190.50 c #Conflicts: 67000 | #Constraints: 10516 189.98/190.50 c #Conflicts: 68000 | #Constraints: 11516 189.98/190.50 c #Conflicts: 69000 | #Constraints: 12516 189.98/190.50 c #Conflicts: 70000 | #Constraints: 13517 189.98/190.50 c #Conflicts: 71000 | #Constraints: 14517 189.98/190.50 c #Conflicts: 72000 | #Constraints: 15517 189.98/190.50 c INPROCESSING 189.98/190.50 c GARBAGE COLLECT 189.98/190.50 c #Conflicts: 73000 | #Constraints: 11111 189.98/190.50 c #Conflicts: 74000 | #Constraints: 12111 189.98/190.50 c #Conflicts: 75000 | #Constraints: 13695 189.98/190.50 c #Conflicts: 76000 | #Constraints: 15471 189.98/190.50 c #Conflicts: 77000 | #Constraints: 17247 189.98/190.50 c #Conflicts: 78000 | #Constraints: 19044 189.98/190.50 c INPROCESSING 189.98/190.50 c GARBAGE COLLECT 189.98/190.50 c #Conflicts: 79000 | #Constraints: 13789 189.98/190.50 c #Conflicts: 80000 | #Constraints: 15602 189.98/190.50 c #Conflicts: 81000 | #Constraints: 17438 189.98/190.50 c #Conflicts: 82000 | #Constraints: 19269 189.98/190.50 c #Conflicts: 83000 | #Constraints: 21065 189.98/190.50 c #Conflicts: 84000 | #Constraints: 22845 189.98/190.50 c INPROCESSING 189.98/190.50 c GARBAGE COLLECT 189.98/190.50 c bounds 112147 >= 3016 @ 179.808 189.98/190.50 c bounds 111147 >= 3016 @ 180.443 189.98/190.50 c bounds 110147 >= 3016 @ 180.794 189.98/190.50 c bounds 109147 >= 3016 @ 180.829 189.98/190.50 c bounds 108146 >= 3016 @ 180.876 189.98/190.50 c bounds 107147 >= 3016 @ 180.976 189.98/190.50 c #Conflicts: 85000 | #Constraints: 15229 189.98/190.50 c #Conflicts: 86000 | #Constraints: 16229 189.98/190.50 c #Conflicts: 87000 | #Constraints: 17229 189.98/190.50 c #Conflicts: 88000 | #Constraints: 18229 189.98/190.50 c #Conflicts: 89000 | #Constraints: 19229 189.98/190.50 c bounds 106147 >= 3016 @ 184.296 189.98/190.50 c #Conflicts: 90000 | #Constraints: 20378 189.98/190.50 c INPROCESSING 189.98/190.50 c GARBAGE COLLECT 189.98/190.50 c rational objective 3027.33 211.83/212.41 c bounds 105147 >= 3016 @ 185.419 211.83/212.41 c bounds 104147 >= 3016 @ 185.517 211.83/212.41 c bounds 103147 >= 3016 @ 185.669 211.83/212.41 c bounds 103146 >= 3016 @ 186.039 211.83/212.41 c #Conflicts: 91000 | #Constraints: 13470 211.83/212.41 c bounds 103145 >= 3016 @ 189.468 211.83/212.41 c #Conflicts: 92000 | #Constraints: 14471 211.83/212.41 c #Conflicts: 93000 | #Constraints: 15471 211.83/212.41 c #Conflicts: 94000 | #Constraints: 16471 211.83/212.41 c #Conflicts: 95000 | #Constraints: 17471 211.83/212.41 c #Conflicts: 96000 | #Constraints: 18471 211.83/212.41 c INPROCESSING 211.83/212.41 c GARBAGE COLLECT 211.83/212.41 c rational objective 3028 226.19/226.89 c #Conflicts: 97000 | #Constraints: 12399 226.19/226.89 c bounds 103144 >= 3016 @ 207.85 226.19/226.89 c bounds 103143 >= 3016 @ 208.27 226.19/226.89 c bounds 103142 >= 3016 @ 208.412 226.19/226.89 c bounds 102142 >= 3016 @ 208.465 226.19/226.89 c bounds 101142 >= 3016 @ 208.527 226.19/226.89 c bounds 101141 >= 3016 @ 208.829 226.19/226.89 c #Conflicts: 98000 | #Constraints: 13405 226.19/226.89 c #Conflicts: 99000 | #Constraints: 14405 226.19/226.89 c #Conflicts: 100000 | #Constraints: 15405 226.19/226.89 c #Conflicts: 101000 | #Constraints: 16405 226.19/226.89 c #Conflicts: 102000 | #Constraints: 17406 226.19/226.89 c bounds 100140 >= 3016 @ 212.606 226.19/226.89 c bounds 99140 >= 3016 @ 213.136 226.19/226.89 c bounds 99139 >= 3016 @ 213.353 226.19/226.89 c bounds 98139 >= 3016 @ 213.765 226.19/226.89 c bounds 97139 >= 3016 @ 215.433 226.19/226.89 c bounds 96139 >= 3016 @ 216.193 226.19/226.89 c #Conflicts: 103000 | #Constraints: 18424 226.19/226.89 c bounds 95140 >= 3016 @ 220.613 226.19/226.89 c INPROCESSING 226.19/226.89 c GARBAGE COLLECT 226.19/226.89 c rational objective 3028 245.94/246.66 c bounds 95139 >= 3016 @ 221.319 245.94/246.66 c bounds 94138 >= 3016 @ 222.102 245.94/246.66 c bounds 94137 >= 3016 @ 222.251 245.94/246.66 c bounds 93137 >= 3016 @ 222.368 245.94/246.66 c #Conflicts: 104000 | #Constraints: 12510 245.94/246.66 c bounds 93136 >= 3016 @ 222.487 245.94/246.66 c bounds 92136 >= 3016 @ 222.679 245.94/246.66 c bounds 92135 >= 3016 @ 222.992 245.94/246.66 c bounds 91134 >= 3016 @ 223.181 245.94/246.66 c #Conflicts: 105000 | #Constraints: 13553 245.94/246.66 c bounds 91133 >= 3016 @ 223.839 245.94/246.66 c #Conflicts: 106000 | #Constraints: 14560 245.94/246.66 c #Conflicts: 107000 | #Constraints: 15560 245.94/246.66 c #Conflicts: 108000 | #Constraints: 16560 245.94/246.66 c #Conflicts: 109000 | #Constraints: 17560 245.94/246.66 c #Conflicts: 110000 | #Constraints: 18560 245.94/246.66 c INPROCESSING 245.94/246.66 c GARBAGE COLLECT 245.94/246.66 c rational objective 3028 270.09/270.86 c bounds 90133 >= 3016 @ 241.241 270.09/270.86 c bounds 90132 >= 3016 @ 241.362 270.09/270.86 c bounds 89132 >= 3016 @ 241.457 270.09/270.86 c bounds 89131 >= 3016 @ 241.656 270.09/270.86 c bounds 88131 >= 3016 @ 241.78 270.09/270.86 c bounds 87131 >= 3016 @ 241.82 270.09/270.86 c bounds 86131 >= 3016 @ 241.859 270.09/270.86 c bounds 86130 >= 3016 @ 241.898 270.09/270.86 c bounds 86129 >= 3016 @ 241.993 270.09/270.86 c bounds 85129 >= 3016 @ 242.084 270.09/270.86 c bounds 84128 >= 3016 @ 242.224 270.09/270.86 c bounds 84127 >= 3016 @ 242.483 270.09/270.86 c #Conflicts: 111000 | #Constraints: 12749 270.09/270.86 c bounds 83127 >= 3016 @ 242.727 270.09/270.86 c bounds 83126 >= 3016 @ 242.955 270.09/270.86 c bounds 82126 >= 3016 @ 243.017 270.09/270.86 c bounds 81126 >= 3016 @ 243.106 270.09/270.86 c bounds 80126 >= 3016 @ 243.381 270.09/270.86 c bounds 80125 >= 3016 @ 243.741 270.09/270.86 c bounds 79125 >= 3016 @ 244.692 270.09/270.86 c #Conflicts: 112000 | #Constraints: 13756 270.09/270.86 c bounds 79124 >= 3016 @ 245.253 270.09/270.86 c bounds 78123 >= 3016 @ 245.703 270.09/270.86 c bounds 78122 >= 3016 @ 247.146 270.09/270.86 c #Conflicts: 113000 | #Constraints: 14759 270.09/270.86 c bounds 78121 >= 3016 @ 248.105 270.09/270.86 c #Conflicts: 114000 | #Constraints: 15760 270.09/270.86 c bounds 78120 >= 3016 @ 250.46 270.09/270.86 c bounds 77119 >= 3016 @ 252.425 270.09/270.86 c bounds 77118 >= 3016 @ 254.85 270.09/270.86 c #Conflicts: 115000 | #Constraints: 16765 270.09/270.86 c bounds 76117 >= 3016 @ 257.096 270.09/270.86 c #Conflicts: 116000 | #Constraints: 17773 270.09/270.86 c #Conflicts: 117000 | #Constraints: 18773 270.09/270.86 c INPROCESSING 270.09/270.86 c GARBAGE COLLECT 270.09/270.86 c rational objective 3028 295.82/296.62 c bounds 76116 >= 3016 @ 264.914 295.82/296.62 c #Conflicts: 118000 | #Constraints: 12843 295.82/296.62 c bounds 75115 >= 3016 @ 265.177 295.82/296.62 c bounds 75114 >= 3016 @ 265.769 295.82/296.62 c bounds 75113 >= 3016 @ 266.089 295.82/296.62 c bounds 75112 >= 3016 @ 267.363 295.82/296.62 c bounds 75111 >= 3016 @ 267.436 295.82/296.62 c bounds 75110 >= 3016 @ 267.504 295.82/296.62 c #Conflicts: 119000 | #Constraints: 13856 295.82/296.62 c bounds 74109 >= 3016 @ 268.142 295.82/296.62 c bounds 73108 >= 3016 @ 268.343 295.82/296.62 c bounds 72107 >= 3016 @ 268.543 295.82/296.62 c bounds 72106 >= 3016 @ 268.842 295.82/296.62 c #Conflicts: 120000 | #Constraints: 14893 295.82/296.62 c bounds 71106 >= 3016 @ 269.201 295.82/296.62 c bounds 71105 >= 3016 @ 269.936 295.82/296.62 c bounds 70104 >= 3016 @ 270.421 295.82/296.62 c bounds 70103 >= 3016 @ 271.213 295.82/296.62 c #Conflicts: 121000 | #Constraints: 15933 295.82/296.62 c #Conflicts: 122000 | #Constraints: 16933 295.82/296.62 c #Conflicts: 123000 | #Constraints: 17933 295.82/296.62 c #Conflicts: 124000 | #Constraints: 18933 295.82/296.62 c INPROCESSING 295.82/296.62 c GARBAGE COLLECT 295.82/296.62 c rational objective 3028 335.32/336.26 c bounds 69103 >= 3016 @ 290.011 335.32/336.26 c bounds 68102 >= 3016 @ 291.887 335.32/336.26 c #Conflicts: 125000 | #Constraints: 12848 335.32/336.26 c bounds 67102 >= 3016 @ 292.254 335.32/336.26 c bounds 67101 >= 3016 @ 292.93 335.32/336.26 c bounds 67100 >= 3016 @ 293.515 335.32/336.26 c bounds 67099 >= 3016 @ 294.196 335.32/336.26 c bounds 66100 >= 3016 @ 294.801 335.32/336.26 c bounds 66099 >= 3016 @ 294.878 335.32/336.26 c bounds 66098 >= 3016 @ 297.627 335.32/336.26 c bounds 65098 >= 3016 @ 298.269 335.32/336.26 c #Conflicts: 126000 | #Constraints: 13865 335.32/336.26 c bounds 65097 >= 3016 @ 298.356 335.32/336.26 c bounds 64097 >= 3016 @ 298.466 335.32/336.26 c bounds 64096 >= 3016 @ 298.556 335.32/336.26 c bounds 63096 >= 3016 @ 298.759 335.32/336.26 c bounds 62097 >= 3016 @ 298.943 335.32/336.26 c bounds 62096 >= 3016 @ 299.047 335.32/336.26 c bounds 61096 >= 3016 @ 299.401 335.32/336.26 c bounds 61095 >= 3016 @ 299.493 335.32/336.26 c bounds 60095 >= 3016 @ 300.138 335.32/336.26 c bounds 59096 >= 3016 @ 300.895 335.32/336.26 c bounds 59095 >= 3016 @ 301.876 335.32/336.26 c bounds 59094 >= 3016 @ 302.098 335.32/336.26 c bounds 59093 >= 3016 @ 302.7 335.32/336.26 c bounds 59092 >= 3016 @ 302.924 335.32/336.26 c bounds 59091 >= 3016 @ 303.025 335.32/336.26 c bounds 59090 >= 3016 @ 303.122 335.32/336.26 c bounds 58089 >= 3016 @ 303.347 335.32/336.26 c bounds 57088 >= 3016 @ 303.453 335.32/336.26 c bounds 56088 >= 3016 @ 303.817 335.32/336.26 c bounds 56087 >= 3016 @ 303.928 335.32/336.26 c #Conflicts: 127000 | #Constraints: 14888 335.32/336.26 c bounds 55088 >= 3016 @ 304.389 335.32/336.26 c bounds 55087 >= 3016 @ 306.475 335.32/336.26 c bounds 54087 >= 3016 @ 308.033 335.32/336.26 c bounds 54086 >= 3016 @ 308.525 335.32/336.26 c #Conflicts: 128000 | #Constraints: 15904 335.32/336.26 c bounds 53086 >= 3016 @ 310.046 335.32/336.26 c #Conflicts: 129000 | #Constraints: 16905 335.32/336.26 c #Conflicts: 130000 | #Constraints: 17905 335.32/336.26 c #Conflicts: 131000 | #Constraints: 18905 335.32/336.26 c INPROCESSING 335.32/336.26 c GARBAGE COLLECT 335.32/336.26 c rational objective 3028 383.70/384.77 c bounds 52086 >= 3016 @ 329.208 383.70/384.77 c #Conflicts: 132000 | #Constraints: 12607 383.70/384.77 c bounds 52085 >= 3016 @ 330.015 383.70/384.77 c bounds 51086 >= 3016 @ 330.391 383.70/384.77 c bounds 51085 >= 3016 @ 330.422 383.70/384.77 c bounds 50085 >= 3016 @ 330.688 383.70/384.77 c bounds 49084 >= 3016 @ 330.888 383.70/384.77 c bounds 49083 >= 3016 @ 331.002 383.70/384.77 c bounds 48083 >= 3016 @ 331.118 383.70/384.77 c bounds 47082 >= 3016 @ 331.203 383.70/384.77 c bounds 46081 >= 3016 @ 331.24 383.70/384.77 c bounds 45081 >= 3016 @ 331.285 383.70/384.77 c bounds 44081 >= 3016 @ 331.324 383.70/384.77 c bounds 44080 >= 3016 @ 331.583 383.70/384.77 c bounds 44079 >= 3016 @ 331.821 383.70/384.77 c bounds 44078 >= 3016 @ 332.179 383.70/384.77 c bounds 43078 >= 3016 @ 332.222 383.70/384.77 c bounds 43077 >= 3016 @ 332.378 383.70/384.77 c bounds 43076 >= 3016 @ 332.736 383.70/384.77 c bounds 42077 >= 3016 @ 332.799 383.70/384.77 c bounds 42076 >= 3016 @ 332.858 383.70/384.77 c bounds 41076 >= 3016 @ 333.111 383.70/384.77 c bounds 41075 >= 3016 @ 333.2 383.70/384.77 c bounds 41074 >= 3016 @ 333.261 383.70/384.77 c bounds 41073 >= 3016 @ 333.371 383.70/384.77 c bounds 41072 >= 3016 @ 333.511 383.70/384.77 c bounds 41071 >= 3016 @ 334.014 383.70/384.77 c bounds 41070 >= 3016 @ 334.414 383.70/384.77 c #Conflicts: 133000 | #Constraints: 13633 383.70/384.77 c bounds 41069 >= 3016 @ 335.322 383.70/384.77 c #Conflicts: 134000 | #Constraints: 14634 383.70/384.77 c bounds 41068 >= 3016 @ 342.53 383.70/384.77 c #Conflicts: 135000 | #Constraints: 15636 383.70/384.77 c #Conflicts: 136000 | #Constraints: 16636 383.70/384.77 c #Conflicts: 137000 | #Constraints: 17636 383.70/384.77 c bounds 41068 >= 3017 @ 349.721 383.70/384.77 c bounds 40067 >= 3017 @ 368.75 383.70/384.77 c #Conflicts: 138000 | #Constraints: 18664 383.70/384.77 c #Conflicts: 139000 | #Constraints: 19664 383.70/384.77 c INPROCESSING 383.70/384.77 c GARBAGE COLLECT 383.70/384.77 c rational objective 3028 416.22/417.31 c #Conflicts: 140000 | #Constraints: 13191 416.22/417.31 c #Conflicts: 141000 | #Constraints: 14191 416.22/417.31 c #Conflicts: 142000 | #Constraints: 15191 416.22/417.31 c #Conflicts: 143000 | #Constraints: 16191 416.22/417.31 c #Conflicts: 144000 | #Constraints: 17191 416.22/417.31 c #Conflicts: 145000 | #Constraints: 18191 416.22/417.31 c #Conflicts: 146000 | #Constraints: 19191 416.22/417.31 c #Conflicts: 147000 | #Constraints: 20191 416.22/417.31 c INPROCESSING 416.22/417.31 c GARBAGE COLLECT 416.22/417.31 c rational objective 3028 467.28/468.55 c bounds 39066 >= 3017 @ 409.526 467.28/468.55 c bounds 39065 >= 3017 @ 410.948 467.28/468.55 c bounds 39064 >= 3017 @ 411.592 467.28/468.55 c #Conflicts: 148000 | #Constraints: 13584 467.28/468.55 c bounds 38063 >= 3017 @ 412.016 467.28/468.55 c bounds 37062 >= 3017 @ 412.273 467.28/468.55 c bounds 36062 >= 3017 @ 413.008 467.28/468.55 c bounds 35061 >= 3017 @ 414.121 467.28/468.55 c #Conflicts: 149000 | #Constraints: 14588 467.28/468.55 c bounds 34061 >= 3017 @ 415.061 467.28/468.55 c #Conflicts: 150000 | #Constraints: 15589 467.28/468.55 c bounds 34060 >= 3017 @ 420.323 467.28/468.55 c bounds 33059 >= 3017 @ 424.346 467.28/468.55 c #Conflicts: 151000 | #Constraints: 16591 467.28/468.55 c bounds 33058 >= 3017 @ 426.834 467.28/468.55 c bounds 33057 >= 3017 @ 439.834 467.28/468.55 c #Conflicts: 152000 | #Constraints: 17594 467.28/468.55 c #Conflicts: 153000 | #Constraints: 18594 467.28/468.55 c #Conflicts: 154000 | #Constraints: 19594 467.28/468.55 c #Conflicts: 155000 | #Constraints: 20594 467.28/468.55 c INPROCESSING 467.28/468.55 c GARBAGE COLLECT 467.28/468.55 c rational objective 3028 501.40/502.76 c bounds 32056 >= 3017 @ 459.702 501.40/502.76 c bounds 31055 >= 3017 @ 460.368 501.40/502.76 c #Conflicts: 156000 | #Constraints: 13780 501.40/502.76 c bounds 30056 >= 3017 @ 461.172 501.40/502.76 c bounds 29056 >= 3017 @ 463.978 501.40/502.76 c #Conflicts: 157000 | #Constraints: 14782 501.40/502.76 c bounds 29055 >= 3017 @ 467.114 501.40/502.76 c #Conflicts: 158000 | #Constraints: 15783 501.40/502.76 c #Conflicts: 159000 | #Constraints: 16783 501.40/502.76 c #Conflicts: 160000 | #Constraints: 17783 501.40/502.76 c #Conflicts: 161000 | #Constraints: 18783 501.40/502.76 c #Conflicts: 162000 | #Constraints: 19783 501.40/502.76 c #Conflicts: 163000 | #Constraints: 20783 501.40/502.76 c INPROCESSING 501.40/502.76 c GARBAGE COLLECT 501.40/502.76 c rational objective 3028 553.36/554.87 c bounds 29054 >= 3017 @ 493.275 553.36/554.87 c #Conflicts: 164000 | #Constraints: 13781 553.36/554.87 c #Conflicts: 165000 | #Constraints: 14781 553.36/554.87 c #Conflicts: 166000 | #Constraints: 15781 553.36/554.87 c bounds 29053 >= 3017 @ 502.455 553.36/554.87 c #Conflicts: 167000 | #Constraints: 16782 553.36/554.87 c bounds 28053 >= 3017 @ 505.755 553.36/554.87 c bounds 28052 >= 3017 @ 518.447 553.36/554.87 c #Conflicts: 168000 | #Constraints: 17786 553.36/554.87 c #Conflicts: 169000 | #Constraints: 18786 553.36/554.87 c #Conflicts: 170000 | #Constraints: 19786 553.36/554.87 c #Conflicts: 171000 | #Constraints: 20786 553.36/554.87 c INPROCESSING 553.36/554.87 c GARBAGE COLLECT 553.36/554.87 c rational objective 3028 597.56/599.10 c #Conflicts: 172000 | #Constraints: 13585 597.56/599.10 c bounds 28051 >= 3017 @ 546.023 597.56/599.10 c #Conflicts: 173000 | #Constraints: 14595 597.56/599.10 c bounds 28050 >= 3017 @ 550.459 597.56/599.10 c bounds 27050 >= 3017 @ 551.666 597.56/599.10 c #Conflicts: 174000 | #Constraints: 15597 597.56/599.10 c #Conflicts: 175000 | #Constraints: 16597 597.56/599.10 c #Conflicts: 176000 | #Constraints: 17597 597.56/599.10 c #Conflicts: 177000 | #Constraints: 18597 597.56/599.10 c #Conflicts: 178000 | #Constraints: 19597 597.56/599.10 c #Conflicts: 179000 | #Constraints: 20597 597.56/599.10 c #Conflicts: 180000 | #Constraints: 21597 597.56/599.10 c INPROCESSING 597.56/599.10 c GARBAGE COLLECT 597.56/599.10 c rational objective 3028 656.00/657.70 c bounds 26049 >= 3017 @ 588.599 656.00/657.70 c bounds 26048 >= 3017 @ 588.619 656.00/657.70 c #Conflicts: 181000 | #Constraints: 14187 656.00/657.70 c bounds 25048 >= 3017 @ 592.385 656.00/657.70 c #Conflicts: 182000 | #Constraints: 15188 656.00/657.70 c bounds 25047 >= 3017 @ 601.079 656.00/657.70 c bounds 24046 >= 3017 @ 607.194 656.00/657.70 c #Conflicts: 183000 | #Constraints: 16190 656.00/657.70 c #Conflicts: 184000 | #Constraints: 17190 656.00/657.70 c bounds 23046 >= 3017 @ 613.069 656.00/657.70 c #Conflicts: 185000 | #Constraints: 18203 656.00/657.70 c #Conflicts: 186000 | #Constraints: 19203 656.00/657.70 c #Conflicts: 187000 | #Constraints: 20203 656.00/657.70 c #Conflicts: 188000 | #Constraints: 21203 656.00/657.70 c #Conflicts: 189000 | #Constraints: 22203 656.00/657.70 c INPROCESSING 656.00/657.70 c GARBAGE COLLECT 656.00/657.70 c rational objective 3028 691.70/693.50 c #Conflicts: 190000 | #Constraints: 14586 691.70/693.50 c #Conflicts: 191000 | #Constraints: 15586 691.70/693.50 c #Conflicts: 192000 | #Constraints: 16586 691.70/693.50 c #Conflicts: 193000 | #Constraints: 17590 691.70/693.50 c bounds 23045 >= 3017 @ 652.763 691.70/693.50 c #Conflicts: 194000 | #Constraints: 18597 691.70/693.50 c bounds 23044 >= 3017 @ 661.881 691.70/693.50 c #Conflicts: 195000 | #Constraints: 19604 691.70/693.50 c #Conflicts: 196000 | #Constraints: 20604 691.70/693.50 c #Conflicts: 197000 | #Constraints: 21604 691.70/693.50 c #Conflicts: 198000 | #Constraints: 22604 691.70/693.50 c INPROCESSING 691.70/693.50 c GARBAGE COLLECT 691.70/693.50 c rational objective 3028 766.31/768.36 c #Conflicts: 199000 | #Constraints: 14779 766.31/768.36 c #Conflicts: 200000 | #Constraints: 15779 766.31/768.36 c #Conflicts: 201000 | #Constraints: 16779 766.31/768.36 c bounds 22043 >= 3017 @ 715.559 766.31/768.36 c #Conflicts: 202000 | #Constraints: 17781 766.31/768.36 c #Conflicts: 203000 | #Constraints: 18781 766.31/768.36 c #Conflicts: 204000 | #Constraints: 19781 766.31/768.36 c #Conflicts: 205000 | #Constraints: 20781 766.31/768.36 c #Conflicts: 206000 | #Constraints: 21781 766.31/768.36 c #Conflicts: 207000 | #Constraints: 22781 766.31/768.36 c INPROCESSING 766.31/768.36 c GARBAGE COLLECT 766.31/768.36 c rational objective 3028 816.68/818.84 c #Conflicts: 208000 | #Constraints: 14778 816.68/818.84 c #Conflicts: 209000 | #Constraints: 15778 816.68/818.84 c #Conflicts: 210000 | #Constraints: 16778 816.68/818.84 c #Conflicts: 211000 | #Constraints: 17778 816.68/818.84 c #Conflicts: 212000 | #Constraints: 18778 816.68/818.84 c #Conflicts: 213000 | #Constraints: 19778 816.68/818.84 c bounds 22043 >= 3018 @ 790.402 816.68/818.84 c #Conflicts: 214000 | #Constraints: 20811 816.68/818.84 c #Conflicts: 215000 | #Constraints: 21811 816.68/818.84 c #Conflicts: 216000 | #Constraints: 22811 816.68/818.84 c INPROCESSING 816.68/818.84 c GARBAGE COLLECT 816.68/818.84 c rational objective 3028 865.56/867.84 c #Conflicts: 217000 | #Constraints: 14591 865.56/867.84 c #Conflicts: 218000 | #Constraints: 15591 865.56/867.84 c #Conflicts: 219000 | #Constraints: 16591 865.56/867.84 c #Conflicts: 220000 | #Constraints: 17591 865.56/867.84 c #Conflicts: 221000 | #Constraints: 18591 865.56/867.84 c #Conflicts: 222000 | #Constraints: 19591 865.56/867.84 c #Conflicts: 223000 | #Constraints: 20591 865.56/867.84 c #Conflicts: 224000 | #Constraints: 21591 865.56/867.84 c #Conflicts: 225000 | #Constraints: 22591 865.56/867.84 c #Conflicts: 226000 | #Constraints: 23591 865.56/867.84 c INPROCESSING 865.56/867.84 c GARBAGE COLLECT 865.56/867.84 c rational objective 3028 961.30/963.84 c #Conflicts: 227000 | #Constraints: 15198 961.30/963.84 c #Conflicts: 228000 | #Constraints: 16198 961.30/963.84 c #Conflicts: 229000 | #Constraints: 17198 961.30/963.84 c #Conflicts: 230000 | #Constraints: 18198 961.30/963.84 c bounds 21042 >= 3018 @ 895.736 961.30/963.84 c #Conflicts: 231000 | #Constraints: 19201 961.30/963.84 c #Conflicts: 232000 | #Constraints: 20201 961.30/963.84 c #Conflicts: 233000 | #Constraints: 21201 961.30/963.84 c #Conflicts: 234000 | #Constraints: 22201 961.30/963.84 c #Conflicts: 235000 | #Constraints: 23201 961.30/963.84 c #Conflicts: 236000 | #Constraints: 24201 961.30/963.84 c INPROCESSING 961.30/963.84 c GARBAGE COLLECT 961.30/963.84 c rational objective 3028 1020.05/1022.75 c #Conflicts: 237000 | #Constraints: 15596 1020.05/1022.75 c #Conflicts: 238000 | #Constraints: 16596 1020.05/1022.75 c #Conflicts: 239000 | #Constraints: 17596 1020.05/1022.75 c #Conflicts: 240000 | #Constraints: 18596 1020.05/1022.75 c #Conflicts: 241000 | #Constraints: 19596 1020.05/1022.75 c #Conflicts: 242000 | #Constraints: 20596 1020.05/1022.75 c #Conflicts: 243000 | #Constraints: 21596 1020.05/1022.75 c #Conflicts: 244000 | #Constraints: 22596 1020.05/1022.75 c #Conflicts: 245000 | #Constraints: 23596 1020.05/1022.75 c #Conflicts: 246000 | #Constraints: 24596 1020.05/1022.75 c INPROCESSING 1020.05/1022.75 c GARBAGE COLLECT 1020.05/1022.75 c rational objective 3028 1086.37/1089.29 c #Conflicts: 247000 | #Constraints: 15800 1086.37/1089.29 c #Conflicts: 248000 | #Constraints: 16800 1086.37/1089.29 c #Conflicts: 249000 | #Constraints: 17800 1086.37/1089.29 c #Conflicts: 250000 | #Constraints: 18800 1086.37/1089.29 c #Conflicts: 251000 | #Constraints: 19800 1086.37/1089.29 c #Conflicts: 252000 | #Constraints: 20800 1086.37/1089.29 c #Conflicts: 253000 | #Constraints: 21800 1086.37/1089.29 c #Conflicts: 254000 | #Constraints: 22800 1086.37/1089.29 c #Conflicts: 255000 | #Constraints: 23800 1086.37/1089.29 c #Conflicts: 256000 | #Constraints: 24800 1086.37/1089.29 c INPROCESSING 1086.37/1089.29 c GARBAGE COLLECT 1086.37/1089.29 c rational objective 3028 1158.48/1161.57 c #Conflicts: 257000 | #Constraints: 15793 1158.48/1161.57 c bounds 20042 >= 3018 @ 1080.5 1158.48/1161.57 c bounds 20041 >= 3018 @ 1080.67 1158.48/1161.57 c #Conflicts: 258000 | #Constraints: 16795 1158.48/1161.57 c bounds 19041 >= 3018 @ 1082.89 1158.48/1161.57 c #Conflicts: 259000 | #Constraints: 17796 1158.48/1161.57 c bounds 19040 >= 3018 @ 1086.1 1158.48/1161.57 c #Conflicts: 260000 | #Constraints: 18797 1158.48/1161.57 c #Conflicts: 261000 | #Constraints: 19797 1158.48/1161.57 c #Conflicts: 262000 | #Constraints: 20797 1158.48/1161.57 c #Conflicts: 263000 | #Constraints: 21797 1158.48/1161.57 c #Conflicts: 264000 | #Constraints: 22797 1158.48/1161.57 c #Conflicts: 265000 | #Constraints: 23797 1158.48/1161.57 c #Conflicts: 266000 | #Constraints: 24797 1158.48/1161.57 c INPROCESSING 1158.48/1161.57 c GARBAGE COLLECT 1158.48/1161.57 c rational objective 3028 1230.80/1234.09 c #Conflicts: 267000 | #Constraints: 15598 1230.80/1234.09 c #Conflicts: 268000 | #Constraints: 16598 1230.80/1234.09 c bounds 18039 >= 3018 @ 1153.13 1230.80/1234.09 c #Conflicts: 269000 | #Constraints: 17599 1230.80/1234.09 c #Conflicts: 270000 | #Constraints: 18599 1230.80/1234.09 c bounds 17038 >= 3018 @ 1156.83 1230.80/1234.09 c bounds 16039 >= 3018 @ 1157.24 1230.80/1234.09 c #Conflicts: 271000 | #Constraints: 19601 1230.80/1234.09 c bounds 16038 >= 3018 @ 1166.41 1230.80/1234.09 c #Conflicts: 272000 | #Constraints: 20604 1230.80/1234.09 c #Conflicts: 273000 | #Constraints: 21612 1230.80/1234.09 c bounds 15038 >= 3018 @ 1192.01 1230.80/1234.09 c #Conflicts: 274000 | #Constraints: 22620 1230.80/1234.09 c #Conflicts: 275000 | #Constraints: 23620 1230.80/1234.09 c #Conflicts: 276000 | #Constraints: 24620 1230.80/1234.09 c #Conflicts: 277000 | #Constraints: 25620 1230.80/1234.09 c INPROCESSING 1230.80/1234.09 c GARBAGE COLLECT 1230.80/1234.09 c rational objective 3028 1310.87/1314.35 c #Conflicts: 278000 | #Constraints: 16218 1310.87/1314.35 c #Conflicts: 279000 | #Constraints: 17218 1310.87/1314.35 c #Conflicts: 280000 | #Constraints: 18218 1310.87/1314.35 c #Conflicts: 281000 | #Constraints: 19218 1310.87/1314.35 c #Conflicts: 282000 | #Constraints: 20218 1310.87/1314.35 c #Conflicts: 283000 | #Constraints: 21218 1310.87/1314.35 c #Conflicts: 284000 | #Constraints: 22218 1310.87/1314.35 c #Conflicts: 285000 | #Constraints: 23218 1310.87/1314.35 c #Conflicts: 286000 | #Constraints: 24218 1310.87/1314.35 c #Conflicts: 287000 | #Constraints: 25218 1310.87/1314.35 c #Conflicts: 288000 | #Constraints: 26218 1310.87/1314.35 c INPROCESSING 1310.87/1314.35 c GARBAGE COLLECT 1310.87/1314.35 c rational objective 3028 1401.82/1405.54 c bounds 14037 >= 3018 @ 1298.66 1401.82/1405.54 c #Conflicts: 289000 | #Constraints: 16620 1401.82/1405.54 c #Conflicts: 290000 | #Constraints: 17620 1401.82/1405.54 c bounds 14036 >= 3018 @ 1301.93 1401.82/1405.54 c #Conflicts: 291000 | #Constraints: 18621 1401.82/1405.54 c #Conflicts: 292000 | #Constraints: 19622 1401.82/1405.54 c bounds 13037 >= 3018 @ 1318.83 1401.82/1405.54 c bounds 13036 >= 3018 @ 1320.28 1401.82/1405.54 c #Conflicts: 293000 | #Constraints: 20626 1401.82/1405.54 c bounds 13035 >= 3018 @ 1323.39 1401.82/1405.54 c bounds 12036 >= 3018 @ 1325.3 1401.82/1405.54 c bounds 12035 >= 3018 @ 1329.02 1401.82/1405.54 c #Conflicts: 294000 | #Constraints: 21631 1401.82/1405.54 c bounds 11035 >= 3018 @ 1338.1 1401.82/1405.54 c bounds 10036 >= 3018 @ 1355.1 1401.82/1405.54 c #Conflicts: 295000 | #Constraints: 22636 1401.82/1405.54 c #Conflicts: 296000 | #Constraints: 23636 1401.82/1405.54 c #Conflicts: 297000 | #Constraints: 24636 1401.82/1405.54 c #Conflicts: 298000 | #Constraints: 25636 1401.82/1405.54 c #Conflicts: 299000 | #Constraints: 26636 1401.82/1405.54 c INPROCESSING 1401.82/1405.54 c GARBAGE COLLECT 1401.82/1405.54 c rational objective 3028 1503.25/1507.25 c bounds 10035 >= 3018 @ 1387.8 1503.25/1507.25 c #Conflicts: 300000 | #Constraints: 16821 1503.25/1507.25 c #Conflicts: 301000 | #Constraints: 17821 1503.25/1507.25 c #Conflicts: 302000 | #Constraints: 18821 1503.25/1507.25 c bounds 9035 >= 3018 @ 1428.16 1503.25/1507.25 c #Conflicts: 303000 | #Constraints: 19822 1503.25/1507.25 c #Conflicts: 304000 | #Constraints: 20822 1503.25/1507.25 c #Conflicts: 305000 | #Constraints: 21822 1503.25/1507.25 c #Conflicts: 306000 | #Constraints: 22822 1503.25/1507.25 c #Conflicts: 307000 | #Constraints: 23822 1503.25/1507.25 c #Conflicts: 308000 | #Constraints: 24822 1503.25/1507.25 c #Conflicts: 309000 | #Constraints: 25822 1503.25/1507.25 c #Conflicts: 310000 | #Constraints: 26822 1503.25/1507.25 c INPROCESSING 1503.25/1507.25 c GARBAGE COLLECT 1503.25/1507.25 c rational objective 3028 1592.31/1596.52 c #Conflicts: 311000 | #Constraints: 16812 1592.31/1596.52 c #Conflicts: 312000 | #Constraints: 17812 1592.31/1596.52 c #Conflicts: 313000 | #Constraints: 18812 1592.31/1596.52 c #Conflicts: 314000 | #Constraints: 19812 1592.31/1596.52 c #Conflicts: 315000 | #Constraints: 20812 1592.31/1596.52 c #Conflicts: 316000 | #Constraints: 21812 1592.31/1596.52 c #Conflicts: 317000 | #Constraints: 22812 1592.31/1596.52 c #Conflicts: 318000 | #Constraints: 23812 1592.31/1596.52 c #Conflicts: 319000 | #Constraints: 24812 1592.31/1596.52 c #Conflicts: 320000 | #Constraints: 25812 1592.31/1596.52 c #Conflicts: 321000 | #Constraints: 26812 1592.31/1596.52 c INPROCESSING 1592.31/1596.52 c GARBAGE COLLECT 1592.31/1596.52 c rational objective 3028 1785.68/1790.43 c #Conflicts: 322000 | #Constraints: 16610 1785.68/1790.43 c #Conflicts: 323000 | #Constraints: 17610 1785.68/1790.43 c bounds 9034 >= 3018 @ 1590.83 1785.68/1790.43 c #Conflicts: 324000 | #Constraints: 18611 1785.68/1790.43 c #Conflicts: 325000 | #Constraints: 19611 1785.68/1790.43 c #Conflicts: 326000 | #Constraints: 20611 1785.68/1790.43 c #Conflicts: 327000 | #Constraints: 21611 1785.68/1790.43 c #Conflicts: 328000 | #Constraints: 22611 1785.68/1790.43 c #Conflicts: 329000 | #Constraints: 23611 1785.68/1790.43 c #Conflicts: 330000 | #Constraints: 24612 1785.68/1790.43 c #Conflicts: 331000 | #Constraints: 25617 1785.68/1790.43 c #Conflicts: 332000 | #Constraints: 26630 1785.68/1790.43 c #Conflicts: 333000 | #Constraints: 27637 1785.68/1790.43 c INPROCESSING 1785.68/1790.43 c GARBAGE COLLECT 1785.68/1790.43 c rational objective 3028 1884.37/1889.41 c #Conflicts: 334000 | #Constraints: 17178 1884.37/1889.41 c #Conflicts: 335000 | #Constraints: 18178 1884.37/1889.41 c #Conflicts: 336000 | #Constraints: 19178 1884.37/1889.41 c #Conflicts: 337000 | #Constraints: 20178 1884.37/1889.41 c #Conflicts: 338000 | #Constraints: 21178 1884.37/1889.41 c #Conflicts: 339000 | #Constraints: 22178 1884.37/1889.41 c #Conflicts: 340000 | #Constraints: 23178 1884.37/1889.41 c #Conflicts: 341000 | #Constraints: 24178 1884.37/1889.41 c #Conflicts: 342000 | #Constraints: 25178 1884.37/1889.41 c #Conflicts: 343000 | #Constraints: 26178 1884.37/1889.41 c #Conflicts: 344000 | #Constraints: 27178 1884.37/1889.41 c #Conflicts: 345000 | #Constraints: 28178 1884.37/1889.41 c INPROCESSING 1884.37/1889.41 c GARBAGE COLLECT 1884.37/1889.41 c rational objective 3028 1980.27/1985.64 c #Conflicts: 346000 | #Constraints: 17606 1980.27/1985.64 c #Conflicts: 347000 | #Constraints: 18606 1980.27/1985.64 c #Conflicts: 348000 | #Constraints: 19606 1980.27/1985.64 c #Conflicts: 349000 | #Constraints: 20606 1980.27/1985.64 c #Conflicts: 350000 | #Constraints: 21606 1980.27/1985.64 c #Conflicts: 351000 | #Constraints: 22606 1980.27/1985.64 c #Conflicts: 352000 | #Constraints: 23606 1980.27/1985.64 c #Conflicts: 353000 | #Constraints: 24606 1980.27/1985.64 c #Conflicts: 354000 | #Constraints: 25606 1980.27/1985.64 c #Conflicts: 355000 | #Constraints: 26606 1980.27/1985.64 c #Conflicts: 356000 | #Constraints: 27606 1980.27/1985.64 c #Conflicts: 357000 | #Constraints: 28606 1980.27/1985.64 c INPROCESSING 1980.27/1985.64 c GARBAGE COLLECT 1980.27/1985.64 c rational objective 3028 2082.25/2087.93 c #Conflicts: 358000 | #Constraints: 17807 2082.25/2087.93 c #Conflicts: 359000 | #Constraints: 18807 2082.25/2087.93 c #Conflicts: 360000 | #Constraints: 19807 2082.25/2087.93 c #Conflicts: 361000 | #Constraints: 20807 2082.25/2087.93 c #Conflicts: 362000 | #Constraints: 21807 2082.25/2087.93 c #Conflicts: 363000 | #Constraints: 22807 2082.25/2087.93 c #Conflicts: 364000 | #Constraints: 23807 2082.25/2087.93 c #Conflicts: 365000 | #Constraints: 24807 2082.25/2087.93 c #Conflicts: 366000 | #Constraints: 25807 2082.25/2087.93 c #Conflicts: 367000 | #Constraints: 26807 2082.25/2087.93 c #Conflicts: 368000 | #Constraints: 27807 2082.25/2087.93 c #Conflicts: 369000 | #Constraints: 28807 2082.25/2087.93 c INPROCESSING 2082.25/2087.93 c GARBAGE COLLECT 2082.25/2087.93 c rational objective 3028 2182.55/2188.56 c #Conflicts: 370000 | #Constraints: 17818 2182.55/2188.56 c #Conflicts: 371000 | #Constraints: 18818 2182.55/2188.56 c #Conflicts: 372000 | #Constraints: 19818 2182.55/2188.56 c #Conflicts: 373000 | #Constraints: 20818 2182.55/2188.56 c #Conflicts: 374000 | #Constraints: 21818 2182.55/2188.56 c #Conflicts: 375000 | #Constraints: 22818 2182.55/2188.56 c #Conflicts: 376000 | #Constraints: 23818 2182.55/2188.56 c #Conflicts: 377000 | #Constraints: 24818 2182.55/2188.56 c #Conflicts: 378000 | #Constraints: 25818 2182.55/2188.56 c #Conflicts: 379000 | #Constraints: 26818 2182.55/2188.56 c #Conflicts: 380000 | #Constraints: 27818 2182.55/2188.56 c #Conflicts: 381000 | #Constraints: 28818 2182.55/2188.56 c INPROCESSING 2182.55/2188.56 c GARBAGE COLLECT 2182.55/2188.56 c rational objective 3028 2304.26/2310.64 c #Conflicts: 382000 | #Constraints: 17628 2304.26/2310.64 c #Conflicts: 383000 | #Constraints: 18628 2304.26/2310.64 c #Conflicts: 384000 | #Constraints: 19628 2304.26/2310.64 c #Conflicts: 385000 | #Constraints: 20628 2304.26/2310.64 c #Conflicts: 386000 | #Constraints: 21628 2304.26/2310.64 c #Conflicts: 387000 | #Constraints: 22628 2304.26/2310.64 c #Conflicts: 388000 | #Constraints: 23628 2304.26/2310.64 c #Conflicts: 389000 | #Constraints: 24628 2304.26/2310.64 c #Conflicts: 390000 | #Constraints: 25628 2304.26/2310.64 c #Conflicts: 391000 | #Constraints: 26628 2304.26/2310.64 c #Conflicts: 392000 | #Constraints: 27628 2304.26/2310.64 c #Conflicts: 393000 | #Constraints: 28628 2304.26/2310.64 c #Conflicts: 394000 | #Constraints: 29628 2304.26/2310.64 c INPROCESSING 2304.26/2310.64 c GARBAGE COLLECT 2304.26/2310.64 c rational objective 3028 2440.20/2447.04 c #Conflicts: 395000 | #Constraints: 18230 2440.20/2447.04 c #Conflicts: 396000 | #Constraints: 19230 2440.20/2447.04 c #Conflicts: 397000 | #Constraints: 20230 2440.20/2447.04 c #Conflicts: 398000 | #Constraints: 21230 2440.20/2447.04 c #Conflicts: 399000 | #Constraints: 22230 2440.20/2447.04 c #Conflicts: 400000 | #Constraints: 23230 2440.20/2447.04 c #Conflicts: 401000 | #Constraints: 24230 2440.20/2447.04 c #Conflicts: 402000 | #Constraints: 25230 2440.20/2447.04 c #Conflicts: 403000 | #Constraints: 26230 2440.20/2447.04 c #Conflicts: 404000 | #Constraints: 27230 2440.20/2447.04 c #Conflicts: 405000 | #Constraints: 28230 2440.20/2447.04 c #Conflicts: 406000 | #Constraints: 29230 2440.20/2447.04 c #Conflicts: 407000 | #Constraints: 30230 2440.20/2447.04 c INPROCESSING 2440.20/2447.04 c GARBAGE COLLECT 2440.20/2447.04 c rational objective 3028 2564.59/2571.88 c bounds 8033 >= 3018 @ 2422.08 2564.59/2571.88 c bounds 7033 >= 3018 @ 2427.05 2564.59/2571.88 c bounds 7032 >= 3018 @ 2427.08 2564.59/2571.88 c bounds 6032 >= 3018 @ 2428.04 2564.59/2571.88 c #Conflicts: 408000 | #Constraints: 18628 2564.59/2571.88 c bounds 5033 >= 3018 @ 2432.17 2564.59/2571.88 c bounds 5032 >= 3018 @ 2432.41 2564.59/2571.88 c bounds 5031 >= 3018 @ 2435.4 2564.59/2571.88 c #Conflicts: 409000 | #Constraints: 19631 2564.59/2571.88 c bounds 4031 >= 3018 @ 2438.78 2564.59/2571.88 c #Conflicts: 410000 | #Constraints: 20632 2564.59/2571.88 c #Conflicts: 411000 | #Constraints: 21632 2564.59/2571.88 c #Conflicts: 412000 | #Constraints: 22632 2564.59/2571.88 c #Conflicts: 413000 | #Constraints: 23632 2564.59/2571.88 c #Conflicts: 414000 | #Constraints: 24632 2564.59/2571.88 c #Conflicts: 415000 | #Constraints: 25632 2564.59/2571.88 c #Conflicts: 416000 | #Constraints: 26632 2564.59/2571.88 c #Conflicts: 417000 | #Constraints: 27632 2564.59/2571.88 c #Conflicts: 418000 | #Constraints: 28632 2564.59/2571.88 c #Conflicts: 419000 | #Constraints: 29632 2564.59/2571.88 c #Conflicts: 420000 | #Constraints: 30632 2564.59/2571.88 c INPROCESSING 2564.59/2571.88 c GARBAGE COLLECT 2564.59/2571.88 c rational objective 3028 2900.86/2909.24 c #Conflicts: 421000 | #Constraints: 18830 2900.86/2909.24 c #Conflicts: 422000 | #Constraints: 19830 2900.86/2909.24 c #Conflicts: 423000 | #Constraints: 20830 2900.86/2909.24 c #Conflicts: 424000 | #Constraints: 21830 2900.86/2909.24 c #Conflicts: 425000 | #Constraints: 22830 2900.86/2909.24 c #Conflicts: 426000 | #Constraints: 23830 2900.86/2909.24 c #Conflicts: 427000 | #Constraints: 24830 2900.86/2909.24 c #Conflicts: 428000 | #Constraints: 25830 2900.86/2909.24 c #Conflicts: 429000 | #Constraints: 26830 2900.86/2909.24 c #Conflicts: 430000 | #Constraints: 27830 2900.86/2909.24 c #Conflicts: 431000 | #Constraints: 28830 2900.86/2909.24 c #Conflicts: 432000 | #Constraints: 29830 2900.86/2909.24 c #Conflicts: 433000 | #Constraints: 30830 2900.86/2909.24 c INPROCESSING 2900.86/2909.24 c GARBAGE COLLECT 2900.86/2909.24 c rational objective 3028 3049.17/3058.04 c #Conflicts: 434000 | #Constraints: 18808 3049.17/3058.04 c #Conflicts: 435000 | #Constraints: 19808 3049.17/3058.04 c #Conflicts: 436000 | #Constraints: 20808 3049.17/3058.04 c #Conflicts: 437000 | #Constraints: 21809 3049.17/3058.04 c #Conflicts: 438000 | #Constraints: 22812 3049.17/3058.04 c #Conflicts: 439000 | #Constraints: 23813 3049.17/3058.04 c #Conflicts: 440000 | #Constraints: 24818 3049.17/3058.04 c #Conflicts: 441000 | #Constraints: 25825 3049.17/3058.04 c #Conflicts: 442000 | #Constraints: 26830 3049.17/3058.04 c #Conflicts: 443000 | #Constraints: 27838 3049.17/3058.04 c #Conflicts: 444000 | #Constraints: 28842 3049.17/3058.04 c #Conflicts: 445000 | #Constraints: 29847 3049.17/3058.04 c #Conflicts: 446000 | #Constraints: 30850 3049.17/3058.04 c INPROCESSING 3049.17/3058.04 c GARBAGE COLLECT 3049.17/3058.04 c rational objective 3028.5 3184.77/3194.02 c #Conflicts: 447000 | #Constraints: 18627 3184.77/3194.02 c #Conflicts: 448000 | #Constraints: 19627 3184.77/3194.02 c #Conflicts: 449000 | #Constraints: 20664 3184.77/3194.02 c #Conflicts: 450000 | #Constraints: 21664 3184.77/3194.02 c #Conflicts: 451000 | #Constraints: 22664 3184.77/3194.02 c #Conflicts: 452000 | #Constraints: 23664 3184.77/3194.02 c #Conflicts: 453000 | #Constraints: 24664 3184.77/3194.02 c #Conflicts: 454000 | #Constraints: 25664 3184.77/3194.02 c #Conflicts: 455000 | #Constraints: 26664 3184.77/3194.02 c #Conflicts: 456000 | #Constraints: 27664 3184.77/3194.02 c #Conflicts: 457000 | #Constraints: 28664 3184.77/3194.02 c #Conflicts: 458000 | #Constraints: 29664 3184.77/3194.02 c #Conflicts: 459000 | #Constraints: 30664 3184.77/3194.02 c #Conflicts: 460000 | #Constraints: 31664 3184.77/3194.02 c INPROCESSING 3184.77/3194.02 c GARBAGE COLLECT 3184.77/3194.02 c rational objective 3026.5 3338.40/3348.15 c #Conflicts: 461000 | #Constraints: 19234 3338.40/3348.15 c #Conflicts: 462000 | #Constraints: 20234 3338.40/3348.15 c #Conflicts: 463000 | #Constraints: 21234 3338.40/3348.15 c #Conflicts: 464000 | #Constraints: 22234 3338.40/3348.15 c #Conflicts: 465000 | #Constraints: 23234 3338.40/3348.15 c #Conflicts: 466000 | #Constraints: 24234 3338.40/3348.15 c #Conflicts: 467000 | #Constraints: 25234 3338.40/3348.15 c #Conflicts: 468000 | #Constraints: 26234 3338.40/3348.15 c #Conflicts: 469000 | #Constraints: 27234 3338.40/3348.15 c #Conflicts: 470000 | #Constraints: 28234 3338.40/3348.15 c #Conflicts: 471000 | #Constraints: 29234 3338.40/3348.15 c #Conflicts: 472000 | #Constraints: 30234 3338.40/3348.15 c #Conflicts: 473000 | #Constraints: 31234 3338.40/3348.15 c #Conflicts: 474000 | #Constraints: 32234 3338.40/3348.15 c INPROCESSING 3338.40/3348.15 c GARBAGE COLLECT 3338.40/3348.15 c rational objective 3027 3501.18/3511.46 c #Conflicts: 475000 | #Constraints: 19628 3501.18/3511.46 c #Conflicts: 476000 | #Constraints: 20628 3501.18/3511.46 c #Conflicts: 477000 | #Constraints: 21628 3501.18/3511.46 c #Conflicts: 478000 | #Constraints: 22628 3501.18/3511.46 c #Conflicts: 479000 | #Constraints: 23628 3501.18/3511.46 c #Conflicts: 480000 | #Constraints: 24628 3501.18/3511.46 c #Conflicts: 481000 | #Constraints: 25628 3501.18/3511.46 c #Conflicts: 482000 | #Constraints: 26628 3501.18/3511.46 c #Conflicts: 483000 | #Constraints: 27628 3501.18/3511.46 c #Conflicts: 484000 | #Constraints: 28628 3501.18/3511.46 c #Conflicts: 485000 | #Constraints: 29628 3501.18/3511.46 c #Conflicts: 486000 | #Constraints: 30628 3501.18/3511.46 c #Conflicts: 487000 | #Constraints: 31628 3501.18/3511.46 c #Conflicts: 488000 | #Constraints: 32628 3501.18/3511.46 c INPROCESSING 3501.18/3511.46 c GARBAGE COLLECT 3501.18/3511.46 c rational objective 3027 3600.06/3610.60 c 3600.06/3610.60 s SATISFIABLE 3600.06/3610.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 3600.06/3610.60 c #Conflicts: 489000 | #Constraints: 19829 3600.06/3610.60 c #Conflicts: 490000 | #Constraints: 20829 3600.06/3610.60 c #Conflicts: 491000 | #Constraints: 21829 3600.06/3610.60 c #Conflicts: 492000 | #Constraints: 22829 3600.06/3610.60 c #Conflicts: 493000 | #Constraints: 23829 3600.06/3610.60 c #Conflicts: 494000 | #Constraints: 24829 3600.06/3610.60 c #Conflicts: 495000 | #Constraints: 25829 3600.06/3610.60 c #Conflicts: 496000 | #Constraints: 26829 3600.06/3610.60 c #Conflicts: 497000 | #Constraints: 27829 3600.06/3610.60 c #Conflicts: 498000 | #Constraints: 28829
OK 4031
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: 63931 MiB (60734 MiB free)
memory of node 1: 64510 MiB (62748 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429484-1721040095/watcher-4429484-1721040095 -o /tmp/evaluation-result-4429484-1721040095/solver-4429484-1721040095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721040108-805621 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429484-1721040095.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=805680, runsolver pid=805677
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 2.79 3.80 3.98 7/255 805681
/proc/meminfo: memFree=126435608/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=42652 memory=12484 CPUtime=0.09 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 1782 0 0 0 9 0 0 0 20 0 1 0 156174860 43675648 3121 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 10663 3121 1748 922 0 2615 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 12484 KiB
[startup+0.204821 s]*
/proc/loadavg: 2.79 3.80 3.98 4/253 805709
/proc/meminfo: memFree=126430132/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=43396 memory=16496 CPUtime=0.19 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 2248 0 0 0 16 3 0 0 20 0 1 0 156174860 44437504 4124 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 10849 4124 1779 922 0 2801 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43396 KiB
Current children cumulated memory: 16496 KiB
[startup+0.305345 s]*
/proc/loadavg: 2.79 3.80 3.98 6/249 805741
/proc/meminfo: memFree=126428320/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=45144 memory=19132 CPUtime=0.3 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 2866 0 0 0 24 6 0 0 20 0 1 0 156174860 46227456 4783 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 11286 4783 1779 922 0 3238 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45144 KiB
Current children cumulated memory: 19132 KiB
[startup+0.700163 s]
/proc/loadavg: 2.79 3.80 3.98 5/259 805773
/proc/meminfo: memFree=126401056/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=53260 memory=25188 CPUtime=0.69 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 3907 0 0 0 41 28 0 0 20 0 1 0 156174860 54538240 6297 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 13315 6297 1779 922 0 5267 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53260 KiB
Current children cumulated memory: 25188 KiB
[startup+1.50017 s]
/proc/loadavg: 2.79 3.80 3.98 5/255 805854
/proc/meminfo: memFree=126394048/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=81208 memory=46420 CPUtime=1.49 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 7122 0 0 0 88 61 0 0 20 0 1 0 156174860 83156992 11605 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 20302 11605 1779 922 0 12254 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81208 KiB
Current children cumulated memory: 46420 KiB
[startup+3.10581 s]
/proc/loadavg: 2.79 3.80 3.98 5/259 805865
/proc/meminfo: memFree=126218976/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=112020 memory=70628 CPUtime=3.09 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 10611 0 0 0 206 103 0 0 20 0 1 0 156174860 114708480 17657 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 28005 17657 1853 922 0 19957 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 112020 KiB
Current children cumulated memory: 70628 KiB
[startup+6.30022 s]
/proc/loadavg: 2.88 3.80 3.98 5/259 805865
/proc/meminfo: memFree=126070828/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=149472 memory=108948 CPUtime=6.27 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 19184 0 0 0 501 126 0 0 20 0 1 0 156174860 153059328 27237 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 37368 27237 1869 922 0 29320 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 149472 KiB
Current children cumulated memory: 108948 KiB
[startup+12.7002 s]
/proc/loadavg: 2.97 3.80 3.98 5/259 805867
/proc/meminfo: memFree=125891060/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=156320 memory=117876 CPUtime=12.65 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 21391 0 0 0 1116 149 0 0 20 0 1 0 156174860 160071680 29469 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 39080 29469 1869 922 0 31032 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 156320 KiB
Current children cumulated memory: 117876 KiB
[startup+25.5002 s]
/proc/loadavg: 3.27 3.83 3.99 5/259 805869
/proc/meminfo: memFree=125563604/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=170712 memory=133532 CPUtime=25.41 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 24232 0 0 0 2355 186 0 0 20 0 1 0 156174860 174809088 33383 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 42678 33383 1869 922 0 34630 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 170712 KiB
Current children cumulated memory: 133532 KiB
[startup+51.1056 s]
/proc/loadavg: 3.52 3.84 3.99 5/259 805873
/proc/meminfo: memFree=125389164/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=272884 memory=222132 CPUtime=50.94 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 39363 0 0 0 4846 248 0 0 20 0 1 0 156174860 279433216 55533 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 68221 55533 1869 922 0 60173 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 272884 KiB
Current children cumulated memory: 222132 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 3.89 4.00 5/259 805928
/proc/meminfo: memFree=125205024/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=274928 memory=237164 CPUtime=102.01 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 40292 0 0 0 9855 346 0 0 20 0 1 0 156174860 281526272 59291 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 68732 59291 1869 922 0 60684 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 274928 KiB
Current children cumulated memory: 237164 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 3.94 4.01 5/259 805940
/proc/meminfo: memFree=124641728/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=296668 memory=267896 CPUtime=161.85 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 46014 0 0 0 15755 430 0 0 20 0 1 0 156174860 303788032 66974 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 74167 66974 1869 922 0 66119 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 296668 KiB
Current children cumulated memory: 267896 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.97 4.01 5/257 805950
/proc/meminfo: memFree=124301060/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=564008 memory=414908 CPUtime=221.71 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 71161 0 0 0 21664 507 0 0 20 0 1 0 156174860 577544192 103727 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 141002 103727 1869 922 0 132954 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 564008 KiB
Current children cumulated memory: 414908 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.01 4.01 5/256 805960
/proc/meminfo: memFree=124197704/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=564008 memory=415172 CPUtime=281.56 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 71223 0 0 0 27570 586 0 0 20 0 1 0 156174860 577544192 103793 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 141002 103793 1869 922 0 132954 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 564008 KiB
Current children cumulated memory: 415172 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.02 4.01 5/255 805971
/proc/meminfo: memFree=123195516/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=564024 memory=415412 CPUtime=341.4 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 71647 0 0 0 33463 677 0 0 20 0 1 0 156174860 577560576 103853 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 141006 103853 1869 922 0 132958 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 564024 KiB
Current children cumulated memory: 415412 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.04 4.02 5/256 805983
/proc/meminfo: memFree=122697272/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=564024 memory=415460 CPUtime=401.25 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 71765 0 0 0 39390 735 0 0 20 0 1 0 156174860 577560576 103865 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 141006 103865 1869 922 0 132958 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 564024 KiB
Current children cumulated memory: 415460 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.05 4.02 5/256 805993
/proc/meminfo: memFree=122537368/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=564024 memory=415832 CPUtime=461.1 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 71923 0 0 0 45304 806 0 0 20 0 1 0 156174860 577560576 103958 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 141006 103958 1869 922 0 132958 0
################
# More data... #
################
Current children cumulated memory: 684452 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.14 4.15 5/257 807560
/proc/meminfo: memFree=117439704/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=909160 memory=715828 CPUtime=2854.12 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 123023 0 0 0 283318 2094 0 0 20 0 1 0 156174860 930979840 178957 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 227290 178957 1869 922 0 219242 0
Current children cumulated CPU time: 2854.12 s
Current children cumulated vsize: 909160 KiB
Current children cumulated memory: 715828 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.14 4.15 5/258 807627
/proc/meminfo: memFree=117379232/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=984572 memory=773300 CPUtime=2913.92 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 135442 0 0 0 289280 2112 0 0 20 0 1 0 156174860 1008201728 193325 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246143 193325 1869 922 0 238095 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 984572 KiB
Current children cumulated memory: 773300 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/258 807638
/proc/meminfo: memFree=117275728/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=984572 memory=773428 CPUtime=2973.72 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 135521 0 0 0 295247 2125 0 0 20 0 1 0 156174860 1008201728 193357 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246143 193357 1869 922 0 238095 0
Current children cumulated CPU time: 2973.72 s
Current children cumulated vsize: 984572 KiB
Current children cumulated memory: 773428 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/264 807703
/proc/meminfo: memFree=117199016/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=984572 memory=773428 CPUtime=3033.53 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 135680 0 0 0 301215 2138 0 0 20 0 1 0 156174860 1008201728 193357 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246143 193357 1869 922 0 238095 0
Current children cumulated CPU time: 3033.53 s
Current children cumulated vsize: 984572 KiB
Current children cumulated memory: 773428 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/263 807715
/proc/meminfo: memFree=117185768/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=984572 memory=773444 CPUtime=3093.34 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 135762 0 0 0 307178 2156 0 0 20 0 1 0 156174860 1008201728 193361 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246143 193361 1869 922 0 238095 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 984572 KiB
Current children cumulated memory: 773444 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.14 4.15 5/263 807727
/proc/meminfo: memFree=117004520/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=984572 memory=773444 CPUtime=3153.16 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 135920 0 0 0 313141 2175 0 0 20 0 1 0 156174860 1008201728 193361 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246143 193361 1869 922 0 238095 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 984572 KiB
Current children cumulated memory: 773444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/265 807789
/proc/meminfo: memFree=116829480/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=985364 memory=774256 CPUtime=3212.98 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 136224 0 0 0 319106 2192 0 0 20 0 1 0 156174860 1009012736 193564 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246341 193564 1869 922 0 238293 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 985364 KiB
Current children cumulated memory: 774256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/265 807799
/proc/meminfo: memFree=116654832/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=985364 memory=774344 CPUtime=3272.81 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 136382 0 0 0 325074 2207 0 0 20 0 1 0 156174860 1009012736 193586 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246341 193586 1869 922 0 238293 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 985364 KiB
Current children cumulated memory: 774344 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/263 807861
/proc/meminfo: memFree=116492164/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=985364 memory=774344 CPUtime=3332.62 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 136464 0 0 0 331042 2220 0 0 20 0 1 0 156174860 1009012736 193586 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246341 193586 1869 922 0 238293 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 985364 KiB
Current children cumulated memory: 774344 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.15 4.14 5/261 807872
/proc/meminfo: memFree=116325308/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=985452 memory=774368 CPUtime=3392.43 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 136823 0 0 0 337008 2235 0 0 20 0 1 0 156174860 1009102848 193592 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246363 193592 1869 922 0 238315 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 985452 KiB
Current children cumulated memory: 774368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.15 4.14 5/261 807883
/proc/meminfo: memFree=116101276/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=985452 memory=774368 CPUtime=3452.24 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 136902 0 0 0 342978 2246 0 0 20 0 1 0 156174860 1009102848 193592 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246363 193592 1869 922 0 238315 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 985452 KiB
Current children cumulated memory: 774368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/261 807898
/proc/meminfo: memFree=114813812/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=985192 memory=774112 CPUtime=3512.05 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 137359 0 0 0 348946 2259 0 0 20 0 1 0 156174860 1008836608 193528 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246298 193528 1869 922 0 238250 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 985192 KiB
Current children cumulated memory: 774112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/261 807910
/proc/meminfo: memFree=114091504/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=985192 memory=774112 CPUtime=3571.85 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 137438 0 0 0 354914 2271 0 0 20 0 1 0 156174860 1008836608 193528 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246298 193528 1869 922 0 238250 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 985192 KiB
Current children cumulated memory: 774112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.11 4.13 4.13 5/260 807916
/proc/meminfo: memFree=113749160/131524600 swapFree=131071996/131071996
[pid=805680] ppid=805677 vsize=985192 memory=774112 CPUtime=3600.06 cores=5,7
/proc/805680/stat : 805680 (roundingsat) R 805677 805680 805608 0 -1 4194304 137517 0 0 0 357728 2278 0 0 20 0 1 0 156174860 1008836608 193528 134679101440 4194304 7968869 140737233160160 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28340224 140737233167294 140737233167458 140737233167458 140737233174473 0
/proc/805680/statm: 246298 193528 1869 922 0 238250 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 985192 KiB
Current children cumulated memory: 774112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.62 s]
# the end of solver process 805680 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3577.29 s, system=22.8007 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3610.62
CPU time (s): 3600.09
CPU user time (s): 3577.29
CPU system time (s): 22.8007
CPU usage (%): 99.7084
Max. virtual memory (cumulated for all children) (KiB): 985452
Max. memory (cumulated for all children) (KiB): 774368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.29
system time used= 22.8007
maximum resident set size= 774368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 3384
# summary of solver processes directly reported to runsolver:
# pid: 805680
# total CPU time (s): 3600.09
# total CPU user time (s): 3577.29
# total CPU system time (s): 22.8007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04755 second user time and 17.2554 second system time
The end
Begin job on nodeC025 at 2024-07-15 12:41:48 IDJOB=4429484 IDBENCH=146649 IDSOLVER=3051 FILE ID=nodeC025/4429484-1721040095 RUNJOBID= nodeC025-1721040108-805621 SLURM_JOB_ID= 7505453 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429484-1721040095/watcher-4429484-1721040095 -o /tmp/evaluation-result-4429484-1721040095/solver-4429484-1721040095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721040108-805621 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429484-1721040095.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1c26e44dc48355aad6827be56d900020 RANDOM SEED=1740508008 nodeC025.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 : 3555.195 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.72 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 : 3511.858 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 : 7007.09 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 : 3632.315 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.72 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 : 3896.257 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 : 7007.09 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 : 3591.081 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.72 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 : 3563.497 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 : 7007.09 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 : 3606.485 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.72 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 : 3599.150 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 : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126448864 kB MemAvailable: 129679400 kB Buffers: 363360 kB Cached: 3668424 kB SwapCached: 0 kB Active: 585144 kB Inactive: 3819836 kB Active(anon): 1448 kB Inactive(anon): 409796 kB Active(file): 583696 kB Inactive(file): 3410040 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20684 kB Writeback: 4 kB AnonPages: 373588 kB Mapped: 102936 kB Shmem: 37720 kB KReclaimable: 152896 kB Slab: 264772 kB SReclaimable: 152896 kB SUnreclaim: 111876 kB KernelStack: 3988 kB PageTables: 10048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 692012 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60800 kB HardwareCorrupted: 0 kB AnonHugePages: 323584 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: 221908 kB DirectMap2M: 25765888 kB DirectMap1G: 110100480 kB Free space on /tmp at the end= 890060 MiB End job on nodeC025 at 2024-07-15 13:41:58