| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 4031 | 3600.06 | 3609.22 |
| 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.40/0.41 c bounds - >= -828 @ 0.009685 0.40/0.41 c bounds 237314 >= -828 @ 0.138535 0.40/0.41 c bounds 237314 >= -827 @ 0.138537 0.40/0.41 c bounds 237314 >= -826 @ 0.138595 0.40/0.41 c bounds 237314 >= -825 @ 0.139218 0.40/0.41 c bounds 237314 >= -824 @ 0.139536 0.40/0.41 c bounds 237314 >= -823 @ 0.139536 0.40/0.41 c bounds 237314 >= -822 @ 0.140074 0.40/0.41 c bounds 237314 >= -821 @ 0.140659 0.40/0.41 c bounds 237314 >= -820 @ 0.141297 0.40/0.41 c bounds 237314 >= -819 @ 0.141978 0.40/0.41 c bounds 237314 >= -818 @ 0.14264 0.40/0.41 c bounds 237314 >= -817 @ 0.143326 0.40/0.41 c bounds 237314 >= -816 @ 0.143527 0.40/0.41 c bounds 237314 >= -815 @ 0.143706 0.40/0.41 c bounds 237314 >= -814 @ 0.14442 0.40/0.41 c bounds 237314 >= -813 @ 0.145136 0.40/0.41 c bounds 237314 >= -812 @ 0.145524 0.40/0.41 c bounds 237314 >= -811 @ 0.145524 0.40/0.41 c bounds 237314 >= -810 @ 0.145524 0.40/0.41 c bounds 237314 >= -809 @ 0.145524 0.40/0.41 c bounds 237314 >= -808 @ 0.145527 0.40/0.41 c bounds 237314 >= -807 @ 0.145527 0.40/0.41 c bounds 237314 >= -806 @ 0.146247 0.40/0.41 c bounds 237314 >= -805 @ 0.146526 0.40/0.41 c bounds 237314 >= -804 @ 0.1467 0.40/0.41 c bounds 237314 >= -803 @ 0.147444 0.40/0.41 c bounds 237314 >= -802 @ 0.148154 0.40/0.41 c bounds 237314 >= -801 @ 0.148522 0.40/0.41 c bounds 237314 >= -800 @ 0.148698 0.40/0.41 c bounds 237314 >= -799 @ 0.14937 0.40/0.41 c bounds 237314 >= -798 @ 0.150108 0.40/0.41 c bounds 237314 >= -797 @ 0.150519 0.40/0.41 c bounds 237314 >= -796 @ 0.150609 0.40/0.41 c bounds 237314 >= -795 @ 0.151351 0.40/0.41 c bounds 237314 >= -794 @ 0.151504 0.40/0.41 c bounds 237314 >= -793 @ 0.151518 0.40/0.41 c bounds 237314 >= -792 @ 0.151706 0.40/0.41 c bounds 237314 >= -791 @ 0.152364 0.40/0.41 c bounds 237314 >= -790 @ 0.1531 0.40/0.41 c bounds 237314 >= -789 @ 0.153512 0.40/0.41 c bounds 237314 >= -788 @ 0.153687 0.40/0.41 c bounds 237314 >= -787 @ 0.154287 0.40/0.41 c bounds 237314 >= -786 @ 0.15451 0.40/0.41 c bounds 237314 >= -785 @ 0.155273 0.40/0.41 c bounds 237314 >= -784 @ 0.155511 0.40/0.41 c bounds 237314 >= -783 @ 0.155511 0.40/0.41 c bounds 237314 >= -782 @ 0.155695 0.40/0.41 c bounds 237314 >= -781 @ 0.15646 0.40/0.41 c bounds 237314 >= -780 @ 0.157241 0.40/0.41 c bounds 237314 >= -779 @ 0.157508 0.40/0.41 c bounds 237314 >= -778 @ 0.157509 0.40/0.41 c bounds 237314 >= -777 @ 0.158508 0.40/0.41 c bounds 237314 >= -776 @ 0.15851 0.40/0.41 c bounds 237314 >= -775 @ 0.159509 0.40/0.41 c bounds 237314 >= -774 @ 0.159511 0.40/0.41 c bounds 237314 >= -773 @ 0.160349 0.40/0.41 c bounds 237314 >= -772 @ 0.16051 0.40/0.41 c bounds 237314 >= -771 @ 0.161563 0.40/0.41 c bounds 237314 >= -770 @ 0.163604 0.40/0.41 c bounds 237314 >= -769 @ 0.164683 0.40/0.41 c bounds 237314 >= -768 @ 0.165502 0.40/0.41 c bounds 237314 >= -767 @ 0.165503 0.40/0.41 c bounds 237314 >= -766 @ 0.165505 0.40/0.41 c bounds 237314 >= -765 @ 0.165506 0.40/0.41 c bounds 237314 >= -764 @ 0.166142 0.40/0.41 c bounds 237314 >= -763 @ 0.167502 0.40/0.41 c bounds 237314 >= -762 @ 0.167503 0.40/0.41 c bounds 237314 >= -761 @ 0.168501 0.40/0.41 c bounds 237314 >= -760 @ 0.169553 0.40/0.41 c bounds 237314 >= -759 @ 0.170671 0.40/0.41 c bounds 237314 >= -758 @ 0.172627 0.40/0.41 c bounds 237314 >= 242 @ 0.173696 0.40/0.41 c bounds 237314 >= 243 @ 0.175678 0.40/0.41 c bounds 237314 >= 244 @ 0.176476 0.40/0.41 c bounds 237314 >= 1244 @ 0.176477 0.40/0.41 c bounds 237314 >= 1245 @ 0.177476 0.40/0.41 c bounds 237314 >= 1246 @ 0.177477 0.40/0.41 c bounds 237314 >= 1247 @ 0.178475 0.40/0.41 c bounds 237314 >= 1248 @ 0.178476 0.40/0.41 c bounds 236314 >= 1248 @ 0.259865 0.40/0.41 c bounds 236314 >= 1249 @ 0.260255 0.40/0.41 c bounds 236314 >= 1250 @ 0.261253 0.40/0.41 c bounds 236314 >= 1251 @ 0.262251 0.40/0.41 c bounds 236314 >= 1252 @ 0.263249 0.40/0.41 c bounds 236314 >= 1253 @ 0.26325 0.40/0.41 c bounds 236314 >= 1254 @ 0.263251 0.40/0.41 c bounds 236314 >= 1255 @ 0.263252 0.40/0.41 c bounds 236314 >= 1256 @ 0.263252 0.40/0.41 c bounds 236314 >= 1257 @ 0.263253 0.40/0.41 c bounds 236314 >= 1258 @ 0.263254 0.40/0.41 c bounds 236314 >= 1259 @ 0.265078 0.40/0.41 c bounds 236314 >= 1260 @ 0.265242 0.40/0.41 c bounds 236314 >= 1261 @ 0.266244 0.40/0.41 c bounds 236314 >= 1262 @ 0.267295 0.40/0.41 c bounds 236314 >= 2262 @ 0.269323 0.40/0.41 c bounds 236314 >= 2263 @ 0.271372 0.40/0.41 c bounds 236314 >= 2264 @ 0.272447 0.40/0.41 c bounds 236314 >= 2265 @ 0.27346 0.40/0.41 c bounds 236314 >= 2266 @ 0.275209 0.40/0.41 c bounds 236314 >= 2267 @ 0.275215 0.40/0.41 c bounds 236314 >= 2268 @ 0.275216 0.40/0.41 c bounds 236314 >= 2269 @ 0.275217 0.40/0.41 c bounds 236314 >= 2270 @ 0.275217 0.40/0.41 c bounds 236314 >= 2271 @ 0.276658 0.40/0.41 c bounds 236314 >= 2272 @ 0.27721 0.40/0.41 c bounds 236314 >= 2273 @ 0.277211 0.40/0.41 c bounds 236314 >= 2274 @ 0.278208 0.40/0.41 c bounds 236314 >= 2275 @ 0.278209 0.40/0.41 c bounds 236314 >= 2276 @ 0.278835 0.40/0.41 c bounds 236314 >= 2277 @ 0.279208 0.40/0.41 c bounds 236314 >= 2278 @ 0.279209 0.40/0.41 c bounds 236314 >= 2279 @ 0.27921 0.40/0.41 c bounds 236314 >= 2280 @ 0.27921 0.40/0.41 c bounds 236314 >= 2281 @ 0.279211 0.40/0.41 c bounds 236314 >= 2282 @ 0.279212 0.40/0.41 c bounds 236314 >= 2283 @ 0.281073 0.40/0.41 c bounds 236314 >= 2284 @ 0.282193 0.59/0.67 c bounds 236314 >= 2285 @ 0.284152 0.59/0.67 c bounds 236314 >= 2286 @ 0.285364 0.59/0.67 c bounds 236314 >= 2287 @ 0.286375 0.59/0.67 c bounds 236314 >= 2288 @ 0.287181 0.59/0.67 c bounds 236314 >= 2289 @ 0.287181 0.59/0.67 c bounds 236314 >= 2290 @ 0.287182 0.59/0.67 c bounds 236314 >= 2291 @ 0.288813 0.59/0.67 c bounds 236314 >= 2292 @ 0.289177 0.59/0.67 c bounds 236314 >= 2293 @ 0.291006 0.59/0.67 c bounds 236314 >= 2294 @ 0.291173 0.59/0.67 c bounds 236314 >= 2295 @ 0.293266 0.59/0.67 c bounds 236314 >= 2296 @ 0.294348 0.59/0.67 c bounds 236314 >= 2297 @ 0.29543 0.59/0.67 c bounds 236314 >= 2298 @ 0.296161 0.59/0.67 c bounds 236314 >= 2299 @ 0.296935 0.59/0.67 c bounds 236314 >= 2300 @ 0.29832 0.59/0.67 c bounds 236314 >= 2301 @ 0.299624 0.59/0.67 c bounds 236314 >= 2302 @ 0.300149 0.59/0.67 c bounds 236314 >= 2303 @ 0.30015 0.59/0.67 c bounds 236314 >= 2304 @ 0.300419 0.59/0.67 c bounds 236314 >= 2305 @ 0.301672 0.59/0.67 c bounds 236314 >= 2306 @ 0.303143 0.59/0.67 c bounds 236314 >= 2307 @ 0.303144 0.59/0.67 c bounds 236314 >= 2308 @ 0.304409 0.59/0.67 c bounds 236314 >= 2310 @ 0.30514 0.59/0.67 c bounds 236314 >= 2311 @ 0.306137 0.59/0.67 c bounds 236314 >= 2312 @ 0.30621 0.59/0.67 c bounds 236314 >= 2313 @ 0.307408 0.59/0.67 c bounds 236314 >= 2314 @ 0.308134 0.59/0.67 c bounds 236314 >= 2315 @ 0.308135 0.59/0.67 c bounds 236314 >= 2316 @ 0.309132 0.59/0.67 c bounds 236314 >= 2317 @ 0.311392 0.59/0.67 c bounds 236314 >= 2318 @ 0.312126 0.59/0.67 c bounds 236314 >= 2319 @ 0.312127 0.59/0.67 c bounds 236314 >= 2320 @ 0.313124 0.59/0.67 c bounds 236314 >= 2322 @ 0.314387 0.59/0.67 c bounds 236314 >= 2323 @ 0.315615 0.59/0.67 c bounds 236314 >= 2324 @ 0.317115 0.59/0.67 c bounds 236314 >= 2325 @ 0.318112 0.59/0.67 c bounds 236314 >= 2327 @ 0.31817 0.59/0.67 c bounds 236314 >= 2329 @ 0.319382 0.59/0.67 c bounds 236314 >= 2330 @ 0.32011 0.59/0.67 c bounds 236314 >= 2331 @ 0.320768 0.59/0.67 c bounds 236314 >= 2332 @ 0.321108 0.59/0.67 c bounds 236314 >= 2334 @ 0.323238 0.59/0.67 c bounds 236314 >= 2335 @ 0.325098 0.59/0.67 c bounds 236314 >= 2337 @ 0.325721 0.59/0.67 c bounds 236314 >= 2338 @ 0.326096 0.59/0.67 c bounds 236314 >= 2340 @ 0.326278 0.59/0.67 c bounds 236314 >= 2342 @ 0.327096 0.59/0.67 c bounds 236314 >= 2344 @ 0.327096 0.59/0.67 c bounds 236314 >= 2346 @ 0.328094 0.59/0.67 c bounds 236314 >= 2347 @ 0.328265 0.59/0.67 c bounds 236314 >= 2348 @ 0.329391 0.59/0.67 c bounds 236314 >= 2349 @ 0.330091 0.59/0.67 c bounds 236314 >= 2350 @ 0.330092 0.59/0.67 c bounds 236314 >= 2351 @ 0.331089 0.59/0.67 c bounds 236314 >= 2352 @ 0.333316 0.59/0.67 c bounds 236314 >= 2353 @ 0.334083 0.59/0.67 c bounds 236314 >= 2354 @ 0.334083 0.59/0.67 c bounds 236314 >= 2355 @ 0.335082 0.59/0.67 c bounds 236314 >= 2356 @ 0.335082 0.59/0.67 c bounds 236314 >= 2357 @ 0.335405 0.59/0.67 c bounds 236314 >= 2358 @ 0.336635 0.59/0.67 c bounds 236314 >= 2359 @ 0.338075 0.59/0.67 c bounds 236314 >= 2360 @ 0.33815 0.59/0.67 c bounds 236314 >= 2361 @ 0.339074 0.59/0.67 c bounds 236314 >= 2362 @ 0.340072 0.59/0.67 c bounds 236314 >= 2363 @ 0.340073 0.59/0.67 c bounds 236314 >= 2364 @ 0.341144 0.59/0.67 c bounds 236314 >= 2365 @ 0.342519 0.59/0.67 c bounds 236314 >= 2366 @ 0.343066 0.59/0.67 c bounds 236314 >= 2367 @ 0.343066 0.59/0.67 c bounds 236314 >= 2368 @ 0.345154 0.59/0.67 c bounds 236314 >= 2369 @ 0.347361 0.59/0.67 c bounds 236314 >= 2371 @ 0.348564 0.59/0.67 c bounds 236314 >= 2372 @ 0.350051 0.59/0.67 c bounds 236314 >= 2374 @ 0.351049 0.59/0.67 c bounds 236314 >= 2375 @ 0.352326 0.59/0.67 c bounds 236314 >= 2376 @ 0.353487 0.59/0.67 c bounds 236314 >= 2377 @ 0.355041 0.59/0.67 c bounds 236314 >= 2378 @ 0.355041 0.59/0.67 c bounds 236314 >= 2379 @ 0.357037 0.59/0.67 c bounds 236314 >= 2380 @ 0.357037 0.59/0.67 c bounds 236314 >= 2381 @ 0.357038 0.59/0.67 c bounds 236314 >= 2382 @ 0.357738 0.59/0.67 c bounds 236314 >= 2383 @ 0.358036 0.59/0.67 c bounds 236314 >= 2384 @ 0.360207 0.59/0.67 c bounds 236314 >= 2385 @ 0.361527 0.59/0.67 c bounds 236314 >= 2386 @ 0.362027 0.59/0.67 c bounds 236314 >= 2387 @ 0.362988 0.59/0.67 c bounds 236314 >= 2388 @ 0.365157 0.59/0.67 c bounds 236314 >= 2390 @ 0.367355 0.59/0.67 c bounds 236314 >= 2391 @ 0.36901 0.59/0.67 c bounds 236314 >= 2392 @ 0.370009 0.59/0.67 c bounds 236314 >= 2393 @ 0.371007 0.59/0.67 c bounds 236314 >= 2394 @ 0.372195 0.59/0.67 c bounds 236314 >= 2395 @ 0.373298 0.59/0.67 c bounds 236314 >= 2396 @ 0.374468 0.59/0.67 c bounds 236314 >= 2397 @ 0.374998 0.59/0.67 c bounds 236314 >= 2398 @ 0.375876 0.59/0.67 c bounds 236314 >= 2399 @ 0.377167 0.59/0.67 c bounds 236314 >= 2400 @ 0.378255 0.59/0.67 c bounds 236314 >= 2401 @ 0.379453 0.59/0.67 c bounds 236314 >= 2402 @ 0.379988 0.59/0.67 c bounds 236314 >= 2403 @ 0.380986 0.59/0.67 c bounds 236314 >= 2404 @ 0.382041 0.59/0.67 c bounds 236314 >= 2405 @ 0.383263 0.59/0.67 c bounds 236314 >= 2406 @ 0.383981 0.59/0.67 c bounds 236314 >= 2407 @ 0.385038 0.59/0.67 c bounds 236314 >= 2408 @ 0.386232 0.59/0.67 c bounds 236314 >= 2409 @ 0.387973 0.59/0.67 c bounds 236314 >= 2410 @ 0.389697 0.59/0.67 c bounds 236314 >= 2411 @ 0.389967 0.59/0.67 c bounds 236314 >= 2412 @ 0.391234 0.59/0.67 c bounds 236314 >= 2413 @ 0.391963 0.59/0.67 c bounds 236314 >= 2414 @ 0.392651 0.88/0.95 c bounds 236314 >= 2415 @ 0.394862 0.88/0.95 c bounds 236314 >= 2416 @ 0.397127 0.88/0.95 c bounds 236314 >= 2417 @ 0.398378 0.88/0.95 c bounds 236314 >= 2418 @ 0.398941 0.88/0.95 c bounds 236314 >= 2419 @ 0.398942 0.88/0.95 c bounds 236314 >= 2421 @ 0.40012 0.88/0.95 c bounds 236314 >= 2422 @ 0.400938 0.88/0.95 c bounds 236314 >= 2423 @ 0.400938 0.88/0.95 c bounds 236314 >= 2424 @ 0.400939 0.88/0.95 c bounds 236314 >= 2425 @ 0.401936 0.88/0.95 c bounds 236314 >= 2426 @ 0.403096 0.88/0.95 c bounds 236314 >= 2427 @ 0.404179 0.88/0.95 c bounds 236314 >= 2428 @ 0.405383 0.88/0.95 c bounds 236314 >= 2429 @ 0.405928 0.88/0.95 c bounds 236314 >= 2430 @ 0.405928 0.88/0.95 c bounds 236314 >= 2431 @ 0.407107 0.88/0.95 c bounds 236314 >= 2432 @ 0.408341 0.88/0.95 c bounds 236314 >= 2433 @ 0.408923 0.88/0.95 c bounds 236314 >= 2434 @ 0.409921 0.88/0.95 c bounds 236314 >= 2435 @ 0.4111 0.88/0.95 c bounds 236314 >= 2436 @ 0.4123 0.88/0.95 c bounds 236314 >= 2437 @ 0.412915 0.88/0.95 c bounds 236314 >= 2438 @ 0.413912 0.88/0.95 c bounds 236314 >= 2439 @ 0.414845 0.88/0.95 c bounds 236314 >= 2440 @ 0.417002 0.88/0.95 c bounds 236314 >= 2441 @ 0.418156 0.88/0.95 c bounds 236314 >= 2442 @ 0.41931 0.88/0.95 c bounds 236314 >= 2443 @ 0.419898 0.88/0.95 c bounds 236314 >= 2444 @ 0.419898 0.88/0.95 c bounds 236314 >= 2445 @ 0.419898 0.88/0.95 c bounds 236314 >= 2446 @ 0.420952 0.88/0.95 c bounds 236314 >= 2447 @ 0.422163 0.88/0.95 c bounds 236314 >= 2448 @ 0.422891 0.88/0.95 c bounds 236314 >= 2449 @ 0.423667 0.88/0.95 c bounds 236314 >= 2450 @ 0.423961 0.88/0.95 c bounds 236314 >= 2451 @ 0.425157 0.88/0.95 c bounds 236314 >= 2452 @ 0.425885 0.88/0.95 c bounds 236314 >= 2453 @ 0.425885 0.88/0.95 c bounds 236314 >= 2454 @ 0.425942 0.88/0.95 c bounds 236314 >= 2455 @ 0.427134 0.88/0.95 c bounds 236314 >= 2456 @ 0.428416 0.88/0.95 c bounds 236314 >= 2457 @ 0.428874 0.88/0.95 c bounds 236314 >= 2458 @ 0.42904 0.88/0.95 c bounds 236314 >= 2459 @ 0.431271 0.88/0.95 c bounds 236314 >= 2460 @ 0.431848 0.88/0.95 c bounds 236314 >= 2461 @ 0.431848 0.88/0.95 c bounds 236314 >= 2462 @ 0.433027 0.88/0.95 c bounds 236314 >= 2463 @ 0.433844 0.88/0.95 c bounds 236314 >= 2464 @ 0.433844 0.88/0.95 c bounds 236314 >= 2465 @ 0.433845 0.88/0.95 c bounds 236314 >= 2466 @ 0.433845 0.88/0.95 c bounds 236314 >= 2467 @ 0.435111 0.88/0.95 c bounds 236314 >= 2468 @ 0.43584 0.88/0.95 c bounds 236314 >= 2469 @ 0.436586 0.88/0.95 c bounds 236314 >= 2470 @ 0.437819 0.88/0.95 c bounds 236314 >= 2471 @ 0.439103 0.88/0.95 c bounds 236314 >= 2472 @ 0.440829 0.88/0.95 c bounds 236314 >= 2473 @ 0.44083 0.88/0.95 c bounds 236314 >= 2474 @ 0.44083 0.88/0.95 c bounds 236314 >= 2475 @ 0.442095 0.88/0.95 c bounds 236314 >= 2476 @ 0.442824 0.88/0.95 c bounds 236314 >= 2477 @ 0.442824 0.88/0.95 c bounds 236314 >= 2478 @ 0.443822 0.88/0.95 c bounds 236314 >= 2479 @ 0.446068 0.88/0.95 c bounds 236314 >= 2480 @ 0.447813 0.88/0.95 c bounds 236314 >= 2481 @ 0.448547 0.88/0.95 c bounds 236314 >= 2482 @ 0.448811 0.88/0.95 c bounds 236314 >= 2483 @ 0.44997 0.88/0.95 c bounds 236314 >= 2484 @ 0.450807 0.88/0.95 c bounds 236314 >= 2485 @ 0.451256 0.88/0.95 c bounds 236314 >= 2486 @ 0.451805 0.88/0.95 c bounds 236314 >= 2487 @ 0.451806 0.88/0.95 c bounds 236314 >= 2488 @ 0.451806 0.88/0.95 c bounds 236314 >= 2489 @ 0.452966 0.88/0.95 c bounds 236314 >= 2490 @ 0.45405 0.88/0.95 c bounds 236314 >= 2491 @ 0.456202 0.88/0.95 c bounds 236314 >= 2492 @ 0.456797 0.88/0.95 c bounds 236314 >= 2493 @ 0.457794 0.88/0.95 c bounds 236314 >= 2494 @ 0.457795 0.88/0.95 c bounds 236314 >= 2495 @ 0.459827 0.88/0.95 c bounds 236314 >= 2496 @ 0.461036 0.88/0.95 c bounds 236314 >= 2497 @ 0.462133 0.88/0.95 c bounds 236314 >= 2498 @ 0.462785 0.88/0.95 c bounds 236314 >= 2499 @ 0.463523 0.88/0.95 c bounds 236314 >= 2500 @ 0.464781 0.88/0.95 c bounds 236314 >= 2501 @ 0.467008 0.88/0.95 c bounds 236314 >= 2502 @ 0.469265 0.88/0.95 c bounds 236314 >= 2503 @ 0.469769 0.88/0.95 c bounds 235314 >= 2503 @ 0.480344 0.88/0.95 c bounds 235314 >= 2504 @ 0.480787 0.88/0.95 c bounds 235314 >= 2505 @ 0.482049 0.88/0.95 c bounds 235314 >= 2506 @ 0.482707 0.88/0.95 c bounds 235314 >= 2507 @ 0.483632 0.88/0.95 c bounds 235314 >= 2508 @ 0.484988 0.88/0.95 c bounds 235314 >= 2509 @ 0.485696 0.88/0.95 c bounds 235314 >= 2510 @ 0.485697 0.88/0.95 c bounds 235314 >= 2511 @ 0.486843 0.88/0.95 c bounds 235314 >= 2512 @ 0.488116 0.88/0.95 c bounds 235314 >= 2513 @ 0.489403 0.88/0.95 c bounds 235314 >= 2514 @ 0.490682 0.88/0.95 c bounds 235314 >= 2515 @ 0.491966 0.88/0.95 c bounds 235314 >= 2516 @ 0.493335 0.88/0.95 c bounds 235314 >= 2517 @ 0.493619 0.88/0.95 c bounds 235314 >= 2518 @ 0.494886 0.88/0.95 c bounds 235314 >= 2519 @ 0.496587 0.88/0.95 c bounds 235314 >= 2520 @ 0.497393 0.88/0.95 c bounds 235314 >= 2521 @ 0.497585 0.88/0.95 c bounds 235314 >= 2522 @ 0.497585 0.88/0.95 c bounds 235314 >= 2523 @ 0.497585 0.88/0.95 c bounds 235314 >= 2524 @ 0.497586 0.88/0.95 c bounds 235314 >= 2525 @ 0.497778 0.88/0.95 c bounds 235314 >= 2526 @ 0.499033 0.88/0.95 c bounds 235313 >= 2526 @ 0.506738 0.88/0.95 c bounds 235313 >= 2527 @ 0.507555 0.88/0.95 c bounds 235313 >= 2528 @ 0.507556 0.88/0.95 c bounds 235313 >= 2529 @ 0.508854 0.88/0.95 c bounds 235313 >= 2530 @ 0.510548 0.88/0.95 c bounds 235313 >= 2531 @ 0.511546 1.38/1.43 c bounds 235313 >= 2532 @ 0.511723 1.38/1.43 c bounds 235313 >= 2533 @ 0.513897 1.38/1.43 c bounds 235313 >= 2534 @ 0.515174 1.38/1.43 c bounds 235313 >= 2535 @ 0.516482 1.38/1.43 c bounds 235313 >= 2536 @ 0.518771 1.38/1.43 c bounds 235313 >= 2537 @ 0.520522 1.38/1.43 c bounds 235313 >= 2538 @ 0.520522 1.38/1.43 c bounds 235313 >= 2539 @ 0.520714 1.38/1.43 c bounds 235313 >= 2540 @ 0.521934 1.38/1.43 c bounds 235313 >= 2541 @ 0.522516 1.38/1.43 c bounds 235313 >= 2542 @ 0.522591 1.38/1.43 c bounds 235313 >= 2543 @ 0.523889 1.38/1.43 c bounds 235313 >= 2544 @ 0.52451 1.38/1.43 c bounds 235313 >= 2545 @ 0.52451 1.38/1.43 c bounds 235313 >= 2546 @ 0.525508 1.38/1.43 c bounds 234313 >= 2546 @ 0.560226 1.38/1.43 c bounds 234313 >= 2547 @ 0.560824 1.38/1.43 c bounds 234313 >= 2548 @ 0.562387 1.38/1.43 c bounds 234313 >= 2549 @ 0.563525 1.38/1.43 c bounds 234313 >= 2550 @ 0.56488 1.38/1.43 c bounds 234313 >= 2551 @ 0.56538 1.38/1.43 c bounds 234313 >= 2552 @ 0.565665 1.38/1.43 c bounds 234313 >= 2553 @ 0.566378 1.38/1.43 c bounds 234313 >= 2554 @ 0.566379 1.38/1.43 c bounds 234313 >= 2555 @ 0.567577 1.38/1.43 c bounds 234313 >= 2556 @ 0.568374 1.38/1.43 c bounds 234313 >= 2557 @ 0.568374 1.38/1.43 c bounds 234313 >= 2558 @ 0.56969 1.38/1.43 c bounds 234313 >= 2559 @ 0.571366 1.38/1.43 c bounds 234313 >= 2560 @ 0.572337 1.38/1.43 c bounds 234313 >= 2562 @ 0.574709 1.38/1.43 c bounds 234313 >= 2563 @ 0.576353 1.38/1.43 c bounds 234313 >= 2564 @ 0.577351 1.38/1.43 c bounds 234313 >= 2565 @ 0.578674 1.38/1.43 c bounds 234313 >= 2566 @ 0.579346 1.38/1.43 c bounds 234313 >= 2567 @ 0.581391 1.38/1.43 c bounds 234313 >= 2568 @ 0.582741 1.38/1.43 c bounds 234313 >= 2569 @ 0.583336 1.38/1.43 c bounds 234313 >= 2570 @ 0.583517 1.38/1.43 c bounds 234313 >= 2571 @ 0.584722 1.38/1.43 c bounds 234313 >= 2572 @ 0.586329 1.38/1.43 c bounds 234313 >= 2573 @ 0.587399 1.38/1.43 c bounds 234313 >= 2574 @ 0.588719 1.38/1.43 c bounds 234313 >= 2575 @ 0.589322 1.38/1.43 c bounds 234313 >= 2576 @ 0.590394 1.38/1.43 c bounds 234313 >= 2577 @ 0.592748 1.38/1.43 c bounds 234313 >= 2578 @ 0.594063 1.38/1.43 c bounds 234313 >= 2579 @ 0.595453 1.38/1.43 c bounds 234313 >= 2580 @ 0.596304 1.38/1.43 c bounds 234313 >= 2581 @ 0.596304 1.38/1.43 c bounds 234313 >= 2582 @ 0.596484 1.38/1.43 c bounds 234313 >= 2583 @ 0.597302 1.38/1.43 c bounds 234313 >= 2584 @ 0.597302 1.38/1.43 c bounds 234313 >= 2585 @ 0.597582 1.38/1.43 c bounds 234313 >= 2586 @ 0.5983 1.38/1.43 c bounds 234313 >= 2587 @ 0.5983 1.38/1.43 c bounds 234313 >= 2588 @ 0.598601 1.38/1.43 c bounds 234313 >= 2590 @ 0.599866 1.38/1.43 c bounds 234313 >= 2591 @ 0.600296 1.38/1.43 c bounds 234313 >= 2592 @ 0.601598 1.38/1.43 c bounds 234313 >= 2594 @ 0.603899 1.38/1.43 c bounds 234313 >= 2598 @ 0.604287 1.38/1.43 c bounds 234313 >= 2599 @ 0.604459 1.38/1.43 c bounds 234313 >= 2603 @ 0.606794 1.38/1.43 c bounds 234313 >= 2608 @ 0.60728 1.38/1.43 c bounds 234313 >= 2609 @ 0.60858 1.38/1.43 c bounds 234313 >= 2611 @ 0.609822 1.38/1.43 c bounds 234313 >= 2614 @ 0.611272 1.38/1.43 c bounds 234313 >= 2615 @ 0.612572 1.38/1.43 c bounds 234313 >= 2617 @ 0.613267 1.38/1.43 c bounds 234313 >= 2620 @ 0.613268 1.38/1.43 c bounds 234313 >= 2623 @ 0.614545 1.38/1.43 c bounds 234313 >= 2624 @ 0.616261 1.38/1.43 c bounds 234313 >= 2627 @ 0.616261 1.38/1.43 c bounds 234312 >= 2627 @ 0.76328 1.38/1.43 c bounds 234312 >= 2628 @ 0.765389 1.38/1.43 c bounds 234312 >= 2631 @ 0.767258 1.38/1.43 c bounds 234312 >= 2632 @ 0.767826 1.38/1.43 c bounds 234312 >= 2636 @ 0.768824 1.38/1.43 c bounds 234312 >= 2637 @ 0.771048 1.38/1.43 c bounds 234312 >= 2638 @ 0.771818 1.38/1.43 c bounds 234312 >= 2639 @ 0.77345 1.38/1.43 c bounds 234312 >= 2640 @ 0.775239 1.38/1.43 c bounds 234312 >= 2641 @ 0.775809 1.38/1.43 c bounds 234312 >= 2642 @ 0.777428 1.38/1.43 c bounds 234312 >= 2645 @ 0.780181 1.38/1.43 c bounds 234312 >= 2646 @ 0.781937 1.38/1.43 c bounds 234312 >= 2647 @ 0.782794 1.38/1.43 c bounds 234312 >= 2648 @ 0.782794 1.38/1.43 c bounds 234312 >= 2649 @ 0.784216 1.38/1.43 c bounds 234312 >= 2652 @ 0.784789 1.38/1.43 c bounds 234312 >= 2656 @ 0.785484 1.38/1.43 c bounds 234312 >= 2657 @ 0.787215 1.38/1.43 c bounds 234312 >= 2658 @ 0.787973 1.38/1.43 c bounds 234312 >= 2659 @ 0.789584 1.38/1.43 c bounds 234312 >= 2660 @ 0.790777 1.38/1.43 c bounds 234312 >= 2661 @ 0.79288 1.38/1.43 c bounds 234312 >= 2662 @ 0.794578 1.38/1.43 c bounds 234312 >= 2663 @ 0.795265 1.38/1.43 c bounds 234312 >= 2664 @ 0.797214 1.38/1.43 c bounds 234312 >= 2665 @ 0.797761 1.38/1.43 c bounds 234312 >= 2666 @ 0.799446 1.38/1.43 c bounds 234312 >= 2667 @ 0.801226 1.38/1.43 c bounds 234312 >= 2668 @ 0.801945 1.38/1.43 c bounds 234312 >= 2669 @ 0.802751 1.38/1.43 c bounds 234312 >= 2670 @ 0.805436 1.38/1.43 c bounds 234312 >= 2671 @ 0.807589 1.38/1.43 c bounds 234312 >= 2672 @ 0.808363 1.38/1.43 c bounds 234312 >= 2673 @ 0.809155 1.38/1.43 c bounds 234312 >= 2674 @ 0.811766 1.38/1.43 c bounds 234312 >= 2675 @ 0.813479 1.38/1.43 c bounds 234312 >= 2676 @ 0.814195 1.38/1.43 c bounds 234312 >= 2677 @ 0.815902 1.38/1.43 c bounds 234312 >= 2678 @ 0.81672 1.38/1.43 c bounds 234312 >= 2681 @ 0.818265 1.38/1.43 c bounds 234312 >= 2682 @ 0.820155 1.38/1.43 c bounds 234312 >= 2683 @ 0.820711 1.88/1.90 c bounds 234312 >= 2684 @ 0.822389 1.88/1.90 c bounds 234312 >= 2685 @ 0.823158 1.88/1.90 c bounds 234312 >= 2686 @ 0.824696 1.88/1.90 c bounds 234312 >= 2687 @ 0.826387 1.88/1.90 c bounds 234312 >= 2688 @ 0.828117 1.88/1.90 c bounds 234312 >= 2689 @ 0.829757 1.88/1.90 c bounds 234312 >= 2690 @ 0.831475 1.88/1.90 c bounds 234312 >= 2691 @ 0.832215 1.88/1.90 c bounds 234312 >= 2692 @ 0.834138 1.88/1.90 c bounds 234312 >= 2696 @ 0.83475 1.88/1.90 c bounds 234312 >= 2697 @ 0.83647 1.88/1.90 c bounds 234312 >= 2698 @ 0.838211 1.88/1.90 c bounds 234312 >= 2699 @ 0.840087 1.88/1.90 c bounds 234312 >= 2700 @ 0.840664 1.88/1.90 c bounds 234312 >= 2701 @ 0.841196 1.88/1.90 c bounds 234312 >= 2702 @ 0.842077 1.88/1.90 c bounds 234312 >= 2703 @ 0.84266 1.88/1.90 c bounds 234312 >= 2704 @ 0.845291 1.88/1.90 c bounds 234312 >= 2705 @ 0.846107 1.88/1.90 c bounds 234312 >= 2706 @ 0.847704 1.88/1.90 c bounds 234312 >= 2707 @ 0.84935 1.88/1.90 c bounds 234312 >= 2710 @ 0.850058 1.88/1.90 c bounds 234312 >= 2711 @ 0.851756 1.88/1.90 c bounds 234312 >= 2712 @ 0.852637 1.88/1.90 c bounds 234312 >= 2713 @ 0.854227 1.88/1.90 c bounds 234312 >= 2714 @ 0.856084 1.88/1.90 c bounds 234312 >= 2715 @ 0.856807 1.88/1.90 c bounds 234312 >= 2716 @ 0.858467 1.88/1.90 c bounds 234312 >= 2717 @ 0.858623 1.88/1.90 c bounds 234312 >= 2718 @ 0.859868 1.88/1.90 c bounds 234312 >= 2719 @ 0.860618 1.88/1.90 c bounds 234312 >= 2720 @ 0.861616 1.88/1.90 c bounds 234312 >= 2721 @ 0.862069 1.88/1.90 c bounds 234312 >= 2722 @ 0.863667 1.88/1.90 c bounds 234312 >= 2724 @ 0.865606 1.88/1.90 c bounds 233312 >= 2724 @ 0.986658 1.88/1.90 c bounds 233312 >= 2725 @ 0.987919 1.88/1.90 c bounds 233312 >= 2726 @ 0.989805 1.88/1.90 c bounds 233312 >= 2727 @ 0.990772 1.88/1.90 c bounds 233312 >= 2728 @ 0.992729 1.88/1.90 c bounds 233312 >= 2729 @ 0.99441 1.88/1.90 c bounds 233312 >= 2730 @ 0.996161 1.88/1.90 c bounds 233312 >= 2731 @ 0.998024 1.88/1.90 c bounds 233312 >= 2732 @ 0.998923 1.88/1.90 c bounds 233312 >= 2733 @ 1.00084 1.88/1.90 c bounds 233312 >= 2736 @ 1.00269 1.88/1.90 c bounds 233312 >= 2738 @ 1.00474 1.88/1.90 c bounds 233312 >= 2739 @ 1.00637 1.88/1.90 c bounds 233312 >= 2740 @ 1.00928 1.88/1.90 c bounds 233312 >= 2741 @ 1.01117 1.88/1.90 c bounds 233312 >= 2743 @ 1.0132 1.88/1.90 c bounds 233312 >= 2744 @ 1.0132 1.88/1.90 c bounds 233312 >= 2745 @ 1.01382 1.88/1.90 c bounds 233312 >= 2746 @ 1.01571 1.88/1.90 c bounds 233312 >= 2747 @ 1.01767 1.88/1.90 c bounds 233312 >= 2748 @ 1.01867 1.88/1.90 c bounds 233312 >= 2750 @ 1.02019 1.88/1.90 c bounds 233312 >= 2751 @ 1.02218 1.88/1.90 c bounds 233312 >= 2752 @ 1.02218 1.88/1.90 c bounds 233312 >= 2753 @ 1.02234 1.88/1.90 c bounds 233312 >= 2754 @ 1.02406 1.88/1.90 c bounds 233312 >= 2755 @ 1.02491 1.88/1.90 c bounds 233312 >= 2758 @ 1.02577 1.88/1.90 c bounds 233312 >= 2760 @ 1.02669 1.88/1.90 c bounds 233312 >= 2761 @ 1.02867 1.88/1.90 c bounds 233312 >= 2762 @ 1.02933 1.88/1.90 c bounds 233312 >= 2763 @ 1.03115 1.88/1.90 c bounds 233312 >= 2764 @ 1.03307 1.88/1.90 c bounds 233312 >= 2767 @ 1.03501 1.88/1.90 c bounds 233312 >= 2768 @ 1.03687 1.88/1.90 c bounds 233312 >= 2770 @ 1.03875 1.88/1.90 c bounds 233312 >= 2773 @ 1.03963 1.88/1.90 c bounds 233312 >= 2775 @ 1.04162 1.88/1.90 c bounds 233312 >= 2776 @ 1.0433 1.88/1.90 c bounds 233312 >= 2778 @ 1.04508 1.88/1.90 c bounds 233312 >= 2779 @ 1.04694 1.88/1.90 c bounds 233312 >= 2780 @ 1.04782 1.88/1.90 c bounds 233312 >= 2781 @ 1.0497 1.88/1.90 c bounds 233312 >= 2782 @ 1.05151 1.88/1.90 c bounds 233312 >= 2783 @ 1.05434 1.88/1.90 c bounds 233312 >= 2784 @ 1.05527 1.88/1.90 c bounds 233312 >= 2785 @ 1.05807 1.88/1.90 c bounds 233312 >= 2787 @ 1.0591 1.88/1.90 c bounds 233312 >= 2788 @ 1.05984 1.88/1.90 c bounds 233312 >= 2789 @ 1.0611 1.88/1.90 c bounds 233312 >= 2790 @ 1.06166 1.88/1.90 c bounds 233312 >= 2791 @ 1.06361 1.88/1.90 c bounds 233312 >= 2795 @ 1.06649 1.88/1.90 c bounds 233312 >= 2797 @ 1.0676 1.88/1.90 c bounds 233312 >= 2798 @ 1.06931 1.88/1.90 c bounds 233312 >= 2800 @ 1.07119 1.88/1.90 c bounds 233312 >= 2801 @ 1.07316 1.88/1.90 c bounds 233312 >= 2802 @ 1.07603 1.88/1.90 c bounds 233312 >= 2803 @ 1.07789 1.88/1.90 c bounds 233312 >= 2804 @ 1.07975 1.88/1.90 c bounds 233312 >= 2805 @ 1.08105 1.88/1.90 c bounds 233312 >= 2806 @ 1.08341 1.88/1.90 c bounds 233312 >= 2807 @ 1.08452 1.88/1.90 c bounds 233312 >= 2808 @ 1.0852 1.88/1.90 c bounds 233312 >= 2809 @ 1.08697 1.88/1.90 c bounds 233312 >= 2811 @ 1.08885 1.88/1.90 c bounds 233312 >= 2812 @ 1.08977 1.88/1.90 c bounds 233312 >= 2813 @ 1.09003 1.88/1.90 c bounds 233312 >= 2814 @ 1.09163 1.88/1.90 c bounds 233312 >= 2815 @ 1.09454 1.88/1.90 c bounds 233312 >= 2816 @ 1.09649 1.88/1.90 c bounds 233312 >= 2817 @ 1.09823 1.88/1.90 c bounds 233312 >= 2818 @ 1.09901 1.88/1.90 c bounds 233312 >= 2819 @ 1.09906 1.88/1.90 c bounds 233312 >= 2820 @ 1.10088 1.88/1.90 c bounds 233312 >= 2821 @ 1.10167 1.88/1.90 c bounds 233312 >= 2822 @ 1.10356 1.88/1.90 c bounds 233312 >= 2824 @ 1.10549 1.88/1.90 c bounds 233312 >= 2825 @ 1.10832 1.88/1.90 c bounds 233312 >= 2826 @ 1.10947 1.88/1.90 c bounds 233312 >= 2827 @ 1.11113 1.88/1.90 c bounds 233312 >= 2829 @ 1.11294 1.88/1.90 c bounds 233312 >= 2830 @ 1.11474 1.88/1.90 c bounds 233312 >= 2832 @ 1.11567 1.88/1.90 c bounds 233312 >= 2833 @ 1.1166 2.38/2.45 c bounds 233312 >= 2834 @ 1.1195 2.38/2.45 c bounds 233312 >= 2835 @ 1.12046 2.38/2.45 c bounds 233312 >= 2836 @ 1.12323 2.38/2.45 c bounds 233312 >= 2837 @ 1.12504 2.38/2.45 c bounds 233312 >= 2838 @ 1.1269 2.38/2.45 c bounds 233312 >= 2839 @ 1.12873 2.38/2.45 c bounds 233312 >= 2840 @ 1.12966 2.38/2.45 c bounds 233312 >= 2842 @ 1.13149 2.38/2.45 c bounds 233312 >= 2843 @ 1.13329 2.38/2.45 c bounds 233312 >= 2844 @ 1.13439 2.38/2.45 c bounds 233312 >= 2845 @ 1.13598 2.38/2.45 c bounds 233312 >= 2846 @ 1.13782 2.38/2.45 c bounds 233312 >= 2847 @ 1.14069 2.38/2.45 c bounds 233312 >= 2850 @ 1.14254 2.38/2.45 c bounds 233312 >= 2851 @ 1.14436 2.38/2.45 c bounds 233312 >= 2852 @ 1.14541 2.38/2.45 c bounds 233312 >= 2853 @ 1.14638 2.38/2.45 c bounds 233312 >= 2854 @ 1.14707 2.38/2.45 c bounds 233312 >= 2855 @ 1.14982 2.38/2.45 c bounds 233312 >= 2856 @ 1.15171 2.38/2.45 c bounds 233312 >= 2857 @ 1.15354 2.38/2.45 c bounds 233312 >= 2858 @ 1.15438 2.38/2.45 c bounds 233312 >= 2859 @ 1.15621 2.38/2.45 c bounds 233312 >= 2861 @ 1.15735 2.38/2.45 c bounds 233312 >= 2863 @ 1.15802 2.38/2.45 c bounds 233312 >= 2865 @ 1.15986 2.38/2.45 c bounds 233312 >= 2867 @ 1.16082 2.38/2.45 c bounds 233312 >= 2870 @ 1.16278 2.38/2.45 c bounds 233312 >= 2871 @ 1.16467 2.38/2.45 c bounds 233312 >= 2872 @ 1.16663 2.38/2.45 c bounds 233312 >= 2880 @ 1.16877 2.38/2.45 c bounds 233312 >= 2882 @ 1.17066 2.38/2.45 c bounds 233312 >= 2884 @ 1.17359 2.38/2.45 c bounds 233312 >= 2885 @ 1.17549 2.38/2.45 c bounds 233312 >= 2886 @ 1.17643 2.38/2.45 c bounds 233312 >= 2887 @ 1.17839 2.38/2.45 c bounds 233312 >= 2888 @ 1.18069 2.38/2.45 c bounds 233312 >= 2889 @ 1.18263 2.38/2.45 c bounds 233312 >= 2890 @ 1.18559 2.38/2.45 c bounds 233312 >= 2891 @ 1.18653 2.38/2.45 c bounds 233312 >= 2892 @ 1.18679 2.38/2.45 c bounds 233312 >= 2893 @ 1.18845 2.38/2.45 c bounds 233312 >= 2894 @ 1.18935 2.38/2.45 c bounds 233312 >= 2895 @ 1.19132 2.38/2.45 c bounds 233312 >= 2896 @ 1.19426 2.38/2.45 c bounds 233312 >= 2897 @ 1.19617 2.38/2.45 c bounds 233312 >= 2898 @ 1.19727 2.38/2.45 c bounds 233312 >= 2900 @ 1.19827 2.38/2.45 c bounds 233312 >= 2902 @ 1.20027 2.38/2.45 c bounds 233312 >= 2904 @ 1.20192 2.38/2.45 c bounds 233312 >= 2905 @ 1.20398 2.38/2.45 c bounds 233312 >= 2906 @ 1.20531 2.38/2.45 c bounds 233312 >= 2907 @ 1.20732 2.38/2.45 c bounds 233312 >= 2908 @ 1.20925 2.38/2.45 c bounds 233312 >= 2909 @ 1.21038 2.38/2.45 c bounds 233312 >= 2910 @ 1.21174 2.38/2.45 c bounds 233312 >= 2911 @ 1.21264 2.38/2.45 c bounds 233312 >= 2912 @ 1.21484 2.38/2.45 c bounds 233312 >= 2913 @ 1.21811 2.38/2.45 c bounds 233312 >= 2914 @ 1.21972 2.38/2.45 c bounds 233312 >= 2915 @ 1.22176 2.38/2.45 c bounds 233312 >= 2916 @ 1.22507 2.38/2.45 c bounds 232312 >= 2916 @ 1.2841 2.38/2.45 c bounds 232312 >= 2917 @ 1.28729 2.38/2.45 c bounds 232312 >= 2918 @ 1.28976 2.38/2.45 c bounds 232312 >= 2919 @ 1.29052 2.38/2.45 c bounds 232312 >= 2920 @ 1.29306 2.38/2.45 c bounds 232312 >= 2921 @ 1.29452 2.38/2.45 c bounds 232312 >= 2922 @ 1.29591 2.38/2.45 c bounds 232312 >= 2923 @ 1.29963 2.38/2.45 c bounds 232312 >= 2924 @ 1.30136 2.38/2.45 c bounds 232312 >= 2925 @ 1.30409 2.38/2.45 c bounds 232312 >= 2926 @ 1.30693 2.38/2.45 c bounds 232312 >= 2927 @ 1.30877 2.38/2.45 c bounds 232312 >= 2928 @ 1.30948 2.38/2.45 c bounds 232312 >= 2929 @ 1.31229 2.38/2.45 c bounds 232312 >= 2930 @ 1.31499 2.38/2.45 c bounds 232312 >= 2931 @ 1.31702 2.38/2.45 c bounds 232312 >= 2932 @ 1.31901 2.38/2.45 c bounds 232312 >= 2933 @ 1.32101 2.38/2.45 c bounds 232312 >= 2934 @ 1.323 2.38/2.45 c bounds 232312 >= 2935 @ 1.32415 2.38/2.45 c bounds 232312 >= 2936 @ 1.32812 2.38/2.45 c bounds 232312 >= 2937 @ 1.32899 2.38/2.45 c bounds 232312 >= 2938 @ 1.32999 2.38/2.45 c bounds 232312 >= 2939 @ 1.33149 2.38/2.45 c bounds 232312 >= 2940 @ 1.3356 2.38/2.45 c bounds 232312 >= 2941 @ 1.33847 2.38/2.45 c bounds 232312 >= 2942 @ 1.34046 2.38/2.45 c bounds 232312 >= 2943 @ 1.343 2.38/2.45 c bounds 232312 >= 2944 @ 1.34493 2.38/2.45 c bounds 232312 >= 2945 @ 1.3472 2.38/2.45 c bounds 232312 >= 2946 @ 1.35051 2.38/2.45 c bounds 232312 >= 2947 @ 1.35311 2.38/2.45 c bounds 232312 >= 2948 @ 1.35662 2.38/2.45 c bounds 232312 >= 2949 @ 1.35737 2.38/2.45 c bounds 232312 >= 2950 @ 1.35985 2.38/2.45 c bounds 232311 >= 2950 @ 1.39177 2.38/2.45 c bounds 232311 >= 2951 @ 1.39445 2.38/2.45 c bounds 232311 >= 2952 @ 1.39721 2.38/2.45 c bounds 232311 >= 2953 @ 1.40203 2.38/2.45 c bounds 232311 >= 2954 @ 1.40597 2.38/2.45 c bounds 232311 >= 2955 @ 1.40781 2.38/2.45 c bounds 232311 >= 2956 @ 1.41079 2.38/2.45 c bounds 232311 >= 2957 @ 1.41361 2.38/2.45 c bounds 232311 >= 2958 @ 1.41578 2.38/2.45 c bounds 232311 >= 2959 @ 1.41747 2.38/2.45 c bounds 232311 >= 2960 @ 1.42094 2.38/2.45 c bounds 232311 >= 2961 @ 1.42517 2.38/2.45 c bounds 232311 >= 2962 @ 1.42662 2.38/2.45 c bounds 232311 >= 2963 @ 1.43001 2.38/2.45 c bounds 232310 >= 2963 @ 1.45789 2.38/2.45 c bounds 232310 >= 2964 @ 1.46071 2.38/2.45 c bounds 232310 >= 2965 @ 1.46259 2.38/2.45 c bounds 232310 >= 2966 @ 1.46426 2.38/2.45 c bounds 232310 >= 2967 @ 1.46626 2.38/2.45 c bounds 232310 >= 2968 @ 1.46807 2.38/2.45 c bounds 232310 >= 2969 @ 1.47156 2.38/2.45 c bounds 232310 >= 2970 @ 1.47436 2.38/2.45 c bounds 232310 >= 2971 @ 1.47808 2.38/2.45 c bounds 232310 >= 2972 @ 1.48004 4.08/4.18 c bounds 232310 >= 2973 @ 1.48601 4.08/4.18 c bounds 232309 >= 2973 @ 1.50403 4.08/4.18 c bounds 232309 >= 2974 @ 1.51039 4.08/4.18 c bounds 232309 >= 2975 @ 1.52192 4.08/4.18 c bounds 232308 >= 2975 @ 1.53764 4.08/4.18 c bounds 232308 >= 2976 @ 1.54284 4.08/4.18 c bounds 232308 >= 2977 @ 1.54764 4.08/4.18 c #Conflicts: 1000 | #Constraints: 5952 4.08/4.18 c bounds 232308 >= 2978 @ 1.55761 4.08/4.18 c bounds 231308 >= 2978 @ 1.57477 4.08/4.18 c bounds 231308 >= 2979 @ 1.58186 4.08/4.18 c bounds 231308 >= 2980 @ 1.59686 4.08/4.18 c bounds 231307 >= 2980 @ 1.61287 4.08/4.18 c bounds 231307 >= 2981 @ 1.62286 4.08/4.18 c bounds 230307 >= 2981 @ 1.63852 4.08/4.18 c bounds 230307 >= 2982 @ 1.64349 4.08/4.18 c bounds 230307 >= 2983 @ 1.66244 4.08/4.18 c bounds 229307 >= 2983 @ 1.6806 4.08/4.18 c bounds 229307 >= 2984 @ 1.72008 4.08/4.18 c bounds 228306 >= 2984 @ 1.74037 4.08/4.18 c bounds 228305 >= 2984 @ 1.75855 4.08/4.18 c bounds 228304 >= 2984 @ 1.77441 4.08/4.18 c bounds 228304 >= 2985 @ 1.78556 4.08/4.18 c bounds 228303 >= 2985 @ 1.80451 4.08/4.18 c bounds 228303 >= 2986 @ 1.84099 4.08/4.18 c bounds 227303 >= 2986 @ 1.85731 4.08/4.18 c bounds 226303 >= 2986 @ 1.87458 4.08/4.18 c bounds 225303 >= 2986 @ 1.89152 4.08/4.18 c bounds 225303 >= 2987 @ 1.89695 4.08/4.18 c bounds 225303 >= 2988 @ 1.90586 4.08/4.18 c bounds 224303 >= 2988 @ 1.92288 4.08/4.18 c bounds 224303 >= 2989 @ 1.96101 4.08/4.18 c bounds 224302 >= 2989 @ 1.98037 4.08/4.18 c bounds 224301 >= 2989 @ 2.01478 4.08/4.18 c bounds 224301 >= 2990 @ 2.01719 4.08/4.18 c bounds 224301 >= 2991 @ 2.01992 4.08/4.18 c bounds 224301 >= 2992 @ 2.02271 4.08/4.18 c bounds 224301 >= 2993 @ 2.02471 4.08/4.18 c bounds 224301 >= 2994 @ 2.02777 4.08/4.18 c bounds 224301 >= 2995 @ 2.03557 4.08/4.18 c bounds 224301 >= 2996 @ 2.0375 4.08/4.18 c bounds 224300 >= 2996 @ 2.06479 4.08/4.18 c bounds 224300 >= 2997 @ 2.11217 4.08/4.18 c bounds 223300 >= 2997 @ 2.16223 4.08/4.18 c bounds 223300 >= 2998 @ 2.25103 4.08/4.18 c bounds 223299 >= 2998 @ 2.30695 4.08/4.18 c bounds 223298 >= 2998 @ 2.32867 4.08/4.18 c bounds 223297 >= 2998 @ 2.34852 4.08/4.18 c bounds 222297 >= 2998 @ 2.37167 4.08/4.18 c bounds 222297 >= 2999 @ 2.37583 4.08/4.18 c bounds 222297 >= 3000 @ 2.56743 4.08/4.18 c bounds 221297 >= 3000 @ 2.59295 4.08/4.18 c bounds 221296 >= 3000 @ 2.61326 4.08/4.18 c bounds 221295 >= 3000 @ 2.63446 4.08/4.18 c bounds 220295 >= 3000 @ 2.65584 4.08/4.18 c bounds 220294 >= 3000 @ 2.678 4.08/4.18 c bounds 220293 >= 3000 @ 2.70047 4.08/4.18 c bounds 220292 >= 3000 @ 2.72605 4.08/4.18 c bounds 220291 >= 3000 @ 2.75084 4.08/4.18 c bounds 220290 >= 3000 @ 2.77357 4.08/4.18 c bounds 219289 >= 3000 @ 2.79819 4.08/4.18 c bounds 218288 >= 3000 @ 2.82074 4.08/4.18 c bounds 218287 >= 3000 @ 2.84208 4.08/4.18 c #Conflicts: 2000 | #Constraints: 7201 4.08/4.18 c INPROCESSING 4.08/4.18 c GARBAGE COLLECT 4.08/4.18 c rational objective 3000 6.37/6.49 c bounds 218286 >= 3000 @ 3.05009 6.37/6.49 c bounds 218285 >= 3000 @ 3.06981 6.37/6.49 c bounds 218284 >= 3000 @ 3.07433 6.37/6.49 c bounds 218283 >= 3000 @ 3.07889 6.37/6.49 c bounds 217283 >= 3000 @ 3.08219 6.37/6.49 c bounds 216283 >= 3000 @ 3.08487 6.37/6.49 c bounds 215283 >= 3000 @ 3.08856 6.37/6.49 c bounds 214283 >= 3000 @ 3.09138 6.37/6.49 c bounds 213283 >= 3000 @ 3.09313 6.37/6.49 c bounds 213282 >= 3000 @ 3.09658 6.37/6.49 c bounds 212282 >= 3000 @ 3.09882 6.37/6.49 c bounds 211282 >= 3000 @ 3.15767 6.37/6.49 c bounds 211282 >= 3001 @ 3.17861 6.37/6.49 c bounds 211281 >= 3001 @ 3.18284 6.37/6.49 c bounds 211280 >= 3001 @ 3.1882 6.37/6.49 c bounds 211279 >= 3001 @ 3.19242 6.37/6.49 c bounds 211278 >= 3001 @ 3.1982 6.37/6.49 c bounds 211278 >= 3002 @ 3.32071 6.37/6.49 c bounds 211277 >= 3002 @ 3.3293 6.37/6.49 c bounds 211276 >= 3002 @ 3.33403 6.37/6.49 c bounds 211275 >= 3002 @ 3.34271 6.37/6.49 c bounds 211274 >= 3002 @ 3.34828 6.37/6.49 c bounds 211273 >= 3002 @ 3.3531 6.37/6.49 c bounds 211272 >= 3002 @ 3.35751 6.37/6.49 c bounds 211271 >= 3002 @ 3.36217 6.37/6.49 c bounds 210271 >= 3002 @ 3.36774 6.37/6.49 c bounds 210270 >= 3002 @ 3.38795 6.37/6.49 c bounds 209270 >= 3002 @ 3.39425 6.37/6.49 c bounds 208269 >= 3002 @ 3.40528 6.37/6.49 c bounds 207269 >= 3002 @ 3.41819 6.37/6.49 c bounds 206269 >= 3002 @ 3.43044 6.37/6.49 c bounds 205269 >= 3002 @ 3.43982 6.37/6.49 c bounds 204268 >= 3002 @ 3.44939 6.37/6.49 c bounds 204267 >= 3002 @ 3.45718 6.37/6.49 c bounds 204266 >= 3002 @ 3.46479 6.37/6.49 c bounds 204265 >= 3002 @ 3.47565 6.37/6.49 c bounds 203265 >= 3002 @ 3.48369 6.37/6.49 c bounds 202265 >= 3002 @ 3.49028 6.37/6.49 c bounds 202264 >= 3002 @ 3.51016 6.37/6.49 c bounds 202264 >= 3003 @ 3.6389 6.37/6.49 c bounds 201263 >= 3003 @ 3.6523 6.37/6.49 c bounds 201262 >= 3003 @ 3.6636 6.37/6.49 c bounds 201261 >= 3003 @ 3.67805 6.37/6.49 c bounds 200260 >= 3003 @ 3.69578 6.37/6.49 c bounds 199259 >= 3003 @ 3.77085 6.37/6.49 c #Conflicts: 3000 | #Constraints: 6554 6.37/6.49 c bounds 199258 >= 3003 @ 4.00726 6.37/6.49 c bounds 199258 >= 3004 @ 4.2391 6.37/6.49 c bounds 198257 >= 3004 @ 4.28146 6.37/6.49 c #Conflicts: 4000 | #Constraints: 7580 6.37/6.49 c bounds 198257 >= 3005 @ 4.82978 6.37/6.49 c bounds 198256 >= 3005 @ 4.86317 6.37/6.49 c bounds 197256 >= 3005 @ 4.88859 6.37/6.49 c bounds 197255 >= 3005 @ 4.91573 6.37/6.49 c bounds 196255 >= 3005 @ 4.94709 6.37/6.49 c INPROCESSING 6.37/6.49 c GARBAGE COLLECT 6.37/6.49 c rational objective 3005 9.56/9.64 c bounds 195255 >= 3005 @ 5.43582 9.56/9.64 c bounds 195254 >= 3005 @ 5.51298 9.56/9.64 c bounds 195253 >= 3005 @ 5.77053 9.56/9.64 c #Conflicts: 5000 | #Constraints: 6914 9.56/9.64 c bounds 195253 >= 3006 @ 6.29146 9.56/9.64 c bounds 194253 >= 3006 @ 6.68102 9.56/9.64 c #Conflicts: 6000 | #Constraints: 7943 9.56/9.64 c bounds 194253 >= 3007 @ 7.6159 9.56/9.64 c bounds 193252 >= 3007 @ 7.69943 9.56/9.64 c bounds 192253 >= 3007 @ 7.7405 9.56/9.64 c bounds 192252 >= 3007 @ 7.78189 9.56/9.64 c bounds 192251 >= 3007 @ 7.83007 9.56/9.64 c bounds 192250 >= 3007 @ 7.94067 9.56/9.64 c INPROCESSING 9.56/9.64 c GARBAGE COLLECT 9.56/9.64 c rational objective 3007 12.85/12.90 c #Conflicts: 7000 | #Constraints: 6931 12.85/12.90 c #Conflicts: 8000 | #Constraints: 7931 12.85/12.90 c bounds 192250 >= 3008 @ 9.87639 12.85/12.90 c bounds 192249 >= 3008 @ 9.99073 12.85/12.90 c bounds 192248 >= 3008 @ 10.1101 12.85/12.90 c bounds 191247 >= 3008 @ 10.3189 12.85/12.90 c bounds 190246 >= 3008 @ 10.4212 12.85/12.90 c #Conflicts: 9000 | #Constraints: 8953 12.85/12.90 c bounds 189246 >= 3008 @ 10.8589 12.85/12.90 c bounds 189245 >= 3008 @ 10.9219 12.85/12.90 c bounds 189244 >= 3008 @ 10.9628 12.85/12.90 c bounds 189243 >= 3008 @ 11.003 12.85/12.90 c bounds 189242 >= 3008 @ 11.0593 12.85/12.90 c bounds 189241 >= 3008 @ 11.1017 12.85/12.90 c INPROCESSING 12.85/12.90 c GARBAGE COLLECT 12.85/12.90 c rational objective 3008 16.24/16.37 c bounds 189240 >= 3008 @ 11.55 16.24/16.37 c bounds 189239 >= 3008 @ 11.563 16.24/16.37 c bounds 188239 >= 3008 @ 11.5752 16.24/16.37 c bounds 188238 >= 3008 @ 11.5827 16.24/16.37 c bounds 188237 >= 3008 @ 11.6231 16.24/16.37 c #Conflicts: 10000 | #Constraints: 7716 16.24/16.37 c bounds 188237 >= 3009 @ 12.4868 16.24/16.37 c bounds 187237 >= 3009 @ 12.5107 16.24/16.37 c #Conflicts: 11000 | #Constraints: 8735 16.24/16.37 c bounds 187236 >= 3009 @ 13.5205 16.24/16.37 c #Conflicts: 12000 | #Constraints: 9736 16.24/16.37 c INPROCESSING 16.24/16.37 c GARBAGE COLLECT 16.24/16.37 c rational objective 3009 20.42/20.55 c bounds 186236 >= 3009 @ 14.8749 20.42/20.55 c bounds 185235 >= 3009 @ 14.9414 20.42/20.55 c bounds 184235 >= 3009 @ 14.9861 20.42/20.55 c bounds 183235 >= 3009 @ 15.0489 20.42/20.55 c bounds 182235 >= 3009 @ 15.1225 20.42/20.55 c bounds 181235 >= 3009 @ 15.148 20.42/20.55 c bounds 181234 >= 3009 @ 15.723 20.42/20.55 c #Conflicts: 13000 | #Constraints: 8232 20.42/20.55 c bounds 181234 >= 3010 @ 16.4661 20.42/20.55 c bounds 181233 >= 3010 @ 16.5079 20.42/20.55 c bounds 181232 >= 3010 @ 16.5408 20.42/20.55 c bounds 181231 >= 3010 @ 16.573 20.42/20.55 c bounds 181230 >= 3010 @ 16.605 20.42/20.55 c bounds 180229 >= 3010 @ 16.6432 20.42/20.55 c bounds 179228 >= 3010 @ 16.7668 20.42/20.55 c bounds 178227 >= 3010 @ 16.8475 20.42/20.55 c #Conflicts: 14000 | #Constraints: 9257 20.42/20.55 c #Conflicts: 15000 | #Constraints: 10257 20.42/20.55 c INPROCESSING 20.42/20.55 c GARBAGE COLLECT 20.42/20.55 c rational objective 3010 27.61/27.77 c bounds 177227 >= 3010 @ 18.873 27.61/27.77 c bounds 176226 >= 3010 @ 18.9008 27.61/27.77 c bounds 175225 >= 3010 @ 19.5292 27.61/27.77 c bounds 175224 >= 3010 @ 19.8826 27.61/27.77 c #Conflicts: 16000 | #Constraints: 8479 27.61/27.77 c #Conflicts: 17000 | #Constraints: 9479 27.61/27.77 c bounds 175224 >= 3011 @ 21.5025 27.61/27.77 c bounds 175223 >= 3011 @ 21.563 27.61/27.77 c bounds 174223 >= 3011 @ 21.8001 27.61/27.77 c bounds 174222 >= 3011 @ 22.3915 27.61/27.77 c bounds 173221 >= 3011 @ 24.4441 27.61/27.77 c #Conflicts: 18000 | #Constraints: 10517 27.61/27.77 c INPROCESSING 27.61/27.77 c GARBAGE COLLECT 27.61/27.77 c rational objective 3011 32.89/33.04 c #Conflicts: 19000 | #Constraints: 8520 32.89/33.04 c #Conflicts: 20000 | #Constraints: 9520 32.89/33.04 c bounds 173221 >= 3012 @ 27.9699 32.89/33.04 c bounds 172221 >= 3012 @ 28.0434 32.89/33.04 c bounds 171220 >= 3012 @ 28.2111 32.89/33.04 c bounds 171219 >= 3012 @ 28.3936 32.89/33.04 c bounds 171218 >= 3012 @ 28.4801 32.89/33.04 c bounds 171217 >= 3012 @ 28.5212 32.89/33.04 c bounds 170217 >= 3012 @ 28.554 32.89/33.04 c bounds 169217 >= 3012 @ 28.5879 32.89/33.04 c bounds 168217 >= 3012 @ 28.6209 32.89/33.04 c bounds 168215 >= 3012 @ 28.6712 32.89/33.04 c bounds 167214 >= 3012 @ 28.7117 32.89/33.04 c #Conflicts: 21000 | #Constraints: 10554 32.89/33.04 c bounds 166214 >= 3012 @ 29.1591 32.89/33.04 c bounds 166213 >= 3012 @ 29.2415 32.89/33.04 c bounds 165213 >= 3012 @ 29.4538 32.89/33.04 c bounds 164212 >= 3012 @ 30.5928 32.89/33.04 c INPROCESSING 32.89/33.04 c GARBAGE COLLECT 32.89/33.04 c rational objective 3012 39.27/39.46 c bounds 164211 >= 3012 @ 31.0371 39.27/39.46 c bounds 163211 >= 3012 @ 31.3207 39.27/39.46 c #Conflicts: 22000 | #Constraints: 8356 39.27/39.46 c #Conflicts: 23000 | #Constraints: 9356 39.27/39.46 c #Conflicts: 24000 | #Constraints: 10356 39.27/39.46 c #Conflicts: 25000 | #Constraints: 11356 39.27/39.46 c INPROCESSING 39.27/39.46 c GARBAGE COLLECT 39.27/39.46 c rational objective 3012 49.34/49.54 c bounds 162211 >= 3012 @ 37.261 49.34/49.54 c bounds 162210 >= 3012 @ 37.2868 49.34/49.54 c bounds 162209 >= 3012 @ 37.2956 49.34/49.54 c bounds 161208 >= 3012 @ 37.3073 49.34/49.54 c bounds 161207 >= 3012 @ 37.5441 49.34/49.54 c bounds 161206 >= 3012 @ 37.5879 49.34/49.54 c bounds 161205 >= 3012 @ 37.6062 49.34/49.54 c bounds 161204 >= 3012 @ 37.6263 49.34/49.54 c bounds 161203 >= 3012 @ 37.6535 49.34/49.54 c #Conflicts: 26000 | #Constraints: 8993 49.34/49.54 c bounds 160202 >= 3012 @ 38.1136 49.34/49.54 c bounds 159201 >= 3012 @ 38.5111 49.34/49.54 c #Conflicts: 27000 | #Constraints: 10000 49.34/49.54 c bounds 158200 >= 3012 @ 38.8199 49.34/49.54 c bounds 157199 >= 3012 @ 39.0968 49.34/49.54 c bounds 157198 >= 3012 @ 39.7781 49.34/49.54 c bounds 157197 >= 3012 @ 40.1557 49.34/49.54 c bounds 156196 >= 3012 @ 40.6224 49.34/49.54 c bounds 155196 >= 3012 @ 40.8897 49.34/49.54 c bounds 155195 >= 3012 @ 41.0739 49.34/49.54 c #Conflicts: 28000 | #Constraints: 11035 49.34/49.54 c bounds 154195 >= 3012 @ 41.8582 49.34/49.54 c bounds 153195 >= 3012 @ 42.8927 49.34/49.54 c bounds 152195 >= 3012 @ 43.6221 49.34/49.54 c bounds 152194 >= 3012 @ 44.3998 49.34/49.54 c bounds 151194 >= 3012 @ 44.5938 49.34/49.54 c bounds 150194 >= 3012 @ 44.7969 49.34/49.54 c bounds 150193 >= 3012 @ 45.0065 49.34/49.54 c bounds 150192 >= 3012 @ 45.1842 49.34/49.54 c #Conflicts: 29000 | #Constraints: 12047 49.34/49.54 c INPROCESSING 49.34/49.54 c GARBAGE COLLECT 49.34/49.54 c rational objective 3012 56.22/56.47 c bounds 150191 >= 3012 @ 47.0679 56.22/56.47 c bounds 149190 >= 3012 @ 47.1551 56.22/56.47 c bounds 149189 >= 3012 @ 47.6986 56.22/56.47 c #Conflicts: 30000 | #Constraints: 9402 56.22/56.47 c bounds 149189 >= 3013 @ 49.0803 56.22/56.47 c bounds 149188 >= 3013 @ 49.2925 56.22/56.47 c bounds 149187 >= 3013 @ 49.3395 56.22/56.47 c bounds 148187 >= 3013 @ 49.3803 56.22/56.47 c bounds 148186 >= 3013 @ 49.4154 56.22/56.47 c bounds 148185 >= 3013 @ 49.4495 56.22/56.47 c bounds 148184 >= 3013 @ 49.4864 56.22/56.47 c bounds 148183 >= 3013 @ 49.5221 56.22/56.47 c bounds 148182 >= 3013 @ 49.5549 56.22/56.47 c bounds 147181 >= 3013 @ 49.5894 56.22/56.47 c bounds 146180 >= 3013 @ 49.6251 56.22/56.47 c bounds 145180 >= 3013 @ 49.9901 56.22/56.47 c #Conflicts: 31000 | #Constraints: 10440 56.22/56.47 c bounds 144179 >= 3013 @ 50.748 56.22/56.47 c #Conflicts: 32000 | #Constraints: 11441 56.22/56.47 c #Conflicts: 33000 | #Constraints: 12441 56.22/56.47 c INPROCESSING 56.22/56.47 c GARBAGE COLLECT 56.22/56.47 c rational objective 3013 65.49/65.77 c bounds 143178 >= 3013 @ 53.9904 65.49/65.77 c bounds 142178 >= 3013 @ 54.5664 65.49/65.77 c bounds 141178 >= 3013 @ 55.5265 65.49/65.77 c #Conflicts: 34000 | #Constraints: 9621 65.49/65.77 c #Conflicts: 35000 | #Constraints: 10621 65.49/65.77 c #Conflicts: 36000 | #Constraints: 11621 65.49/65.77 c bounds 141178 >= 3014 @ 60.9336 65.49/65.77 c bounds 140178 >= 3014 @ 61.3094 65.49/65.77 c #Conflicts: 37000 | #Constraints: 12649 65.49/65.77 c bounds 139177 >= 3014 @ 61.7071 65.49/65.77 c bounds 139176 >= 3014 @ 62.3882 65.49/65.77 c bounds 138176 >= 3014 @ 62.4843 65.49/65.77 c INPROCESSING 65.49/65.77 c GARBAGE COLLECT 65.49/65.77 c rational objective 3014 74.77/75.01 c bounds 137176 >= 3014 @ 63.337 74.77/75.01 c bounds 137175 >= 3014 @ 63.36 74.77/75.01 c bounds 137174 >= 3014 @ 63.3928 74.77/75.01 c #Conflicts: 38000 | #Constraints: 9564 74.77/75.01 c bounds 137173 >= 3014 @ 64.8822 74.77/75.01 c #Conflicts: 39000 | #Constraints: 10566 74.77/75.01 c #Conflicts: 40000 | #Constraints: 11566 74.77/75.01 c #Conflicts: 41000 | #Constraints: 12566 74.77/75.01 c INPROCESSING 74.77/75.01 c GARBAGE COLLECT 74.77/75.01 c rational objective 3014 88.33/88.64 c bounds 137172 >= 3014 @ 71.9115 88.33/88.64 c bounds 136171 >= 3014 @ 71.9225 88.33/88.64 c bounds 135170 >= 3014 @ 71.9338 88.33/88.64 c bounds 134169 >= 3014 @ 72.0494 88.33/88.64 c #Conflicts: 42000 | #Constraints: 9433 88.33/88.64 c #Conflicts: 43000 | #Constraints: 10433 88.33/88.64 c bounds 133169 >= 3014 @ 76.3284 88.33/88.64 c #Conflicts: 44000 | #Constraints: 11442 88.33/88.64 c #Conflicts: 45000 | #Constraints: 12442 88.33/88.64 c #Conflicts: 46000 | #Constraints: 13442 88.33/88.64 c INPROCESSING 88.33/88.64 c GARBAGE COLLECT 88.33/88.64 c rational objective 3014 96.11/96.46 c #Conflicts: 47000 | #Constraints: 10049 96.11/96.46 c #Conflicts: 48000 | #Constraints: 11049 96.11/96.46 c #Conflicts: 49000 | #Constraints: 12049 96.11/96.46 c bounds 133169 >= 3015 @ 90.3286 96.11/96.46 c bounds 133168 >= 3015 @ 90.577 96.11/96.46 c bounds 132168 >= 3015 @ 90.7499 96.11/96.46 c #Conflicts: 50000 | #Constraints: 13084 96.11/96.46 c bounds 132167 >= 3015 @ 91.053 96.11/96.46 c bounds 132166 >= 3015 @ 91.6512 96.11/96.46 c bounds 131166 >= 3015 @ 92.0875 96.11/96.46 c #Conflicts: 51000 | #Constraints: 14087 96.11/96.46 c INPROCESSING 96.11/96.46 c GARBAGE COLLECT 96.11/96.46 c rational objective 3021.83 106.57/107.00 c bounds 131165 >= 3015 @ 92.8768 106.57/107.00 c bounds 130164 >= 3015 @ 93.1064 106.57/107.00 c bounds 129164 >= 3015 @ 93.2913 106.57/107.00 c bounds 128164 >= 3015 @ 93.881 106.57/107.00 c #Conflicts: 52000 | #Constraints: 10421 106.57/107.00 c bounds 128163 >= 3015 @ 95.1114 106.57/107.00 c #Conflicts: 53000 | #Constraints: 11422 106.57/107.00 c #Conflicts: 54000 | #Constraints: 12422 106.57/107.00 c #Conflicts: 55000 | #Constraints: 13422 106.57/107.00 c #Conflicts: 56000 | #Constraints: 14422 106.57/107.00 c INPROCESSING 106.57/107.00 c GARBAGE COLLECT 106.57/107.00 c rational objective 3022.83 120.64/121.10 c bounds 127163 >= 3015 @ 103.197 120.64/121.10 c bounds 126163 >= 3015 @ 103.272 120.64/121.10 c bounds 126162 >= 3015 @ 103.621 120.64/121.10 c bounds 126161 >= 3015 @ 103.705 120.64/121.10 c bounds 125161 >= 3015 @ 103.79 120.64/121.10 c bounds 125160 >= 3015 @ 103.813 120.64/121.10 c bounds 124160 >= 3015 @ 103.876 120.64/121.10 c bounds 124159 >= 3015 @ 103.902 120.64/121.10 c bounds 123159 >= 3015 @ 103.933 120.64/121.10 c bounds 122159 >= 3015 @ 104.054 120.64/121.10 c bounds 121158 >= 3015 @ 104.198 120.64/121.10 c bounds 120158 >= 3015 @ 104.399 120.64/121.10 c bounds 119157 >= 3015 @ 104.896 120.64/121.10 c bounds 119156 >= 3015 @ 104.993 120.64/121.10 c bounds 118155 >= 3015 @ 105.029 120.64/121.10 c #Conflicts: 57000 | #Constraints: 10697 120.64/121.10 c bounds 117154 >= 3015 @ 105.669 120.64/121.10 c bounds 116154 >= 3015 @ 106.628 120.64/121.10 c #Conflicts: 58000 | #Constraints: 11712 120.64/121.10 c bounds 115153 >= 3015 @ 107.304 120.64/121.10 c bounds 115152 >= 3015 @ 107.959 120.64/121.10 c bounds 115151 >= 3015 @ 108.408 120.64/121.10 c bounds 115150 >= 3015 @ 109.038 120.64/121.10 c bounds 115149 >= 3015 @ 110.283 120.64/121.10 c #Conflicts: 59000 | #Constraints: 12748 120.64/121.10 c bounds 114148 >= 3015 @ 110.888 120.64/121.10 c #Conflicts: 60000 | #Constraints: 13752 120.64/121.10 c #Conflicts: 61000 | #Constraints: 14752 120.64/121.10 c INPROCESSING 120.64/121.10 c GARBAGE COLLECT 120.64/121.10 c rational objective 3025.5 148.87/149.32 c bounds 113148 >= 3015 @ 117.782 148.87/149.32 c #Conflicts: 62000 | #Constraints: 10716 148.87/149.32 c #Conflicts: 63000 | #Constraints: 11716 148.87/149.32 c #Conflicts: 64000 | #Constraints: 12716 148.87/149.32 c bounds 112148 >= 3015 @ 136.497 148.87/149.32 c #Conflicts: 65000 | #Constraints: 13717 148.87/149.32 c #Conflicts: 66000 | #Constraints: 14717 148.87/149.32 c bounds 112148 >= 3016 @ 144.336 148.87/149.32 c INPROCESSING 148.87/149.32 c GARBAGE COLLECT 148.87/149.32 c rational objective 3027.33 206.52/207.14 c #Conflicts: 67000 | #Constraints: 10516 206.52/207.14 c #Conflicts: 68000 | #Constraints: 11516 206.52/207.14 c #Conflicts: 69000 | #Constraints: 12516 206.52/207.14 c #Conflicts: 70000 | #Constraints: 13517 206.52/207.14 c #Conflicts: 71000 | #Constraints: 14517 206.52/207.14 c #Conflicts: 72000 | #Constraints: 15517 206.52/207.14 c INPROCESSING 206.52/207.14 c GARBAGE COLLECT 206.52/207.14 c #Conflicts: 73000 | #Constraints: 11111 206.52/207.14 c #Conflicts: 74000 | #Constraints: 12111 206.52/207.14 c #Conflicts: 75000 | #Constraints: 13695 206.52/207.14 c #Conflicts: 76000 | #Constraints: 15471 206.52/207.14 c #Conflicts: 77000 | #Constraints: 17247 206.52/207.14 c #Conflicts: 78000 | #Constraints: 19044 206.52/207.14 c INPROCESSING 206.52/207.14 c GARBAGE COLLECT 206.52/207.14 c #Conflicts: 79000 | #Constraints: 13789 206.52/207.14 c #Conflicts: 80000 | #Constraints: 15602 206.52/207.14 c #Conflicts: 81000 | #Constraints: 17438 206.52/207.14 c #Conflicts: 82000 | #Constraints: 19269 206.52/207.14 c #Conflicts: 83000 | #Constraints: 21065 206.52/207.14 c #Conflicts: 84000 | #Constraints: 22845 206.52/207.14 c INPROCESSING 206.52/207.14 c GARBAGE COLLECT 206.52/207.14 c bounds 112147 >= 3016 @ 195.848 206.52/207.14 c bounds 111147 >= 3016 @ 196.55 206.52/207.14 c bounds 110147 >= 3016 @ 196.906 206.52/207.14 c bounds 109147 >= 3016 @ 196.943 206.52/207.14 c bounds 108146 >= 3016 @ 196.995 206.52/207.14 c bounds 107147 >= 3016 @ 197.101 206.52/207.14 c #Conflicts: 85000 | #Constraints: 15229 206.52/207.14 c #Conflicts: 86000 | #Constraints: 16229 206.52/207.14 c #Conflicts: 87000 | #Constraints: 17229 206.52/207.14 c #Conflicts: 88000 | #Constraints: 18229 206.52/207.14 c #Conflicts: 89000 | #Constraints: 19229 206.52/207.14 c bounds 106147 >= 3016 @ 200.653 206.52/207.14 c #Conflicts: 90000 | #Constraints: 20378 206.52/207.14 c INPROCESSING 206.52/207.14 c GARBAGE COLLECT 206.52/207.14 c rational objective 3027.33 229.15/229.84 c bounds 105147 >= 3016 @ 201.834 229.15/229.84 c bounds 104147 >= 3016 @ 201.931 229.15/229.84 c bounds 103147 >= 3016 @ 202.095 229.15/229.84 c bounds 103146 >= 3016 @ 202.468 229.15/229.84 c #Conflicts: 91000 | #Constraints: 13470 229.15/229.84 c bounds 103145 >= 3016 @ 206.147 229.15/229.84 c #Conflicts: 92000 | #Constraints: 14471 229.15/229.84 c #Conflicts: 93000 | #Constraints: 15471 229.15/229.84 c #Conflicts: 94000 | #Constraints: 16471 229.15/229.84 c #Conflicts: 95000 | #Constraints: 17471 229.15/229.84 c #Conflicts: 96000 | #Constraints: 18471 229.15/229.84 c INPROCESSING 229.15/229.84 c GARBAGE COLLECT 229.15/229.84 c rational objective 3028 244.72/245.47 c #Conflicts: 97000 | #Constraints: 12399 244.72/245.47 c bounds 103144 >= 3016 @ 225.117 244.72/245.47 c bounds 103143 >= 3016 @ 225.579 244.72/245.47 c bounds 103142 >= 3016 @ 225.745 244.72/245.47 c bounds 102142 >= 3016 @ 225.807 244.72/245.47 c bounds 101142 >= 3016 @ 225.87 244.72/245.47 c bounds 101141 >= 3016 @ 226.204 244.72/245.47 c #Conflicts: 98000 | #Constraints: 13405 244.72/245.47 c #Conflicts: 99000 | #Constraints: 14405 244.72/245.47 c #Conflicts: 100000 | #Constraints: 15405 244.72/245.47 c #Conflicts: 101000 | #Constraints: 16405 244.72/245.47 c #Conflicts: 102000 | #Constraints: 17406 244.72/245.47 c bounds 100140 >= 3016 @ 230.249 244.72/245.47 c bounds 99140 >= 3016 @ 230.804 244.72/245.47 c bounds 99139 >= 3016 @ 231.022 244.72/245.47 c bounds 98139 >= 3016 @ 231.455 244.72/245.47 c bounds 97139 >= 3016 @ 233.276 244.72/245.47 c bounds 96139 >= 3016 @ 234.064 244.72/245.47 c #Conflicts: 103000 | #Constraints: 18424 244.72/245.47 c bounds 95140 >= 3016 @ 238.928 244.72/245.47 c INPROCESSING 244.72/245.47 c GARBAGE COLLECT 244.72/245.47 c rational objective 3028 266.26/267.03 c bounds 95139 >= 3016 @ 239.65 266.26/267.03 c bounds 94138 >= 3016 @ 240.486 266.26/267.03 c bounds 94137 >= 3016 @ 240.644 266.26/267.03 c bounds 93137 >= 3016 @ 240.773 266.26/267.03 c #Conflicts: 104000 | #Constraints: 12510 266.26/267.03 c bounds 93136 >= 3016 @ 240.911 266.26/267.03 c bounds 92136 >= 3016 @ 241.122 266.26/267.03 c bounds 92135 >= 3016 @ 241.449 266.26/267.03 c bounds 91134 >= 3016 @ 241.644 266.26/267.03 c #Conflicts: 105000 | #Constraints: 13553 266.26/267.03 c bounds 91133 >= 3016 @ 242.324 266.26/267.03 c #Conflicts: 106000 | #Constraints: 14560 266.26/267.03 c #Conflicts: 107000 | #Constraints: 15560 266.26/267.03 c #Conflicts: 108000 | #Constraints: 16560 266.26/267.03 c #Conflicts: 109000 | #Constraints: 17560 266.26/267.03 c #Conflicts: 110000 | #Constraints: 18560 266.26/267.03 c INPROCESSING 266.26/267.03 c GARBAGE COLLECT 266.26/267.03 c rational objective 3028 290.20/291.00 c bounds 90133 >= 3016 @ 261.344 290.20/291.00 c bounds 90132 >= 3016 @ 261.483 290.20/291.00 c bounds 89132 >= 3016 @ 261.586 290.20/291.00 c bounds 89131 >= 3016 @ 261.793 290.20/291.00 c bounds 88131 >= 3016 @ 261.913 290.20/291.00 c bounds 87131 >= 3016 @ 261.955 290.20/291.00 c bounds 86131 >= 3016 @ 262 290.20/291.00 c bounds 86130 >= 3016 @ 262.045 290.20/291.00 c bounds 86129 >= 3016 @ 262.14 290.20/291.00 c bounds 85129 >= 3016 @ 262.224 290.20/291.00 c bounds 84128 >= 3016 @ 262.375 290.20/291.00 c bounds 84127 >= 3016 @ 262.637 290.20/291.00 c #Conflicts: 111000 | #Constraints: 12749 290.20/291.00 c bounds 83127 >= 3016 @ 262.882 290.20/291.00 c bounds 83126 >= 3016 @ 263.116 290.20/291.00 c bounds 82126 >= 3016 @ 263.179 290.20/291.00 c bounds 81126 >= 3016 @ 263.269 290.20/291.00 c bounds 80126 >= 3016 @ 263.55 290.20/291.00 c bounds 80125 >= 3016 @ 263.931 290.20/291.00 c bounds 79125 >= 3016 @ 264.882 290.20/291.00 c #Conflicts: 112000 | #Constraints: 13756 290.20/291.00 c bounds 79124 >= 3016 @ 265.464 290.20/291.00 c bounds 78123 >= 3016 @ 265.962 290.20/291.00 c bounds 78122 >= 3016 @ 267.477 290.20/291.00 c #Conflicts: 113000 | #Constraints: 14759 290.20/291.00 c bounds 78121 >= 3016 @ 268.407 290.20/291.00 c #Conflicts: 114000 | #Constraints: 15760 290.20/291.00 c bounds 78120 >= 3016 @ 270.722 290.20/291.00 c bounds 77119 >= 3016 @ 272.69 290.20/291.00 c bounds 77118 >= 3016 @ 275.013 290.20/291.00 c #Conflicts: 115000 | #Constraints: 16765 290.20/291.00 c bounds 76117 >= 3016 @ 277.225 290.20/291.00 c #Conflicts: 116000 | #Constraints: 17773 290.20/291.00 c #Conflicts: 117000 | #Constraints: 18773 290.20/291.00 c INPROCESSING 290.20/291.00 c GARBAGE COLLECT 290.20/291.00 c rational objective 3028 314.94/315.80 c bounds 76116 >= 3016 @ 284.799 314.94/315.80 c #Conflicts: 118000 | #Constraints: 12843 314.94/315.80 c bounds 75115 >= 3016 @ 285.057 314.94/315.80 c bounds 75114 >= 3016 @ 285.624 314.94/315.80 c bounds 75113 >= 3016 @ 285.883 314.94/315.80 c bounds 75112 >= 3016 @ 286.939 314.94/315.80 c bounds 75111 >= 3016 @ 287.006 314.94/315.80 c bounds 75110 >= 3016 @ 287.065 314.94/315.80 c #Conflicts: 119000 | #Constraints: 13856 314.94/315.80 c bounds 74109 >= 3016 @ 287.689 314.94/315.80 c bounds 73108 >= 3016 @ 287.885 314.94/315.80 c bounds 72107 >= 3016 @ 288.085 314.94/315.80 c bounds 72106 >= 3016 @ 288.386 314.94/315.80 c #Conflicts: 120000 | #Constraints: 14893 314.94/315.80 c bounds 71106 >= 3016 @ 288.735 314.94/315.80 c bounds 71105 >= 3016 @ 289.428 314.94/315.80 c bounds 70104 >= 3016 @ 289.903 314.94/315.80 c bounds 70103 >= 3016 @ 290.691 314.94/315.80 c #Conflicts: 121000 | #Constraints: 15933 314.94/315.80 c #Conflicts: 122000 | #Constraints: 16933 314.94/315.80 c #Conflicts: 123000 | #Constraints: 17933 314.94/315.80 c #Conflicts: 124000 | #Constraints: 18933 314.94/315.80 c INPROCESSING 314.94/315.80 c GARBAGE COLLECT 314.94/315.80 c rational objective 3028 355.43/356.46 c bounds 69103 >= 3016 @ 308.977 355.43/356.46 c bounds 68102 >= 3016 @ 310.9 355.43/356.46 c #Conflicts: 125000 | #Constraints: 12848 355.43/356.46 c bounds 67102 >= 3016 @ 311.27 355.43/356.46 c bounds 67101 >= 3016 @ 311.892 355.43/356.46 c bounds 67100 >= 3016 @ 312.453 355.43/356.46 c bounds 67099 >= 3016 @ 313.092 355.43/356.46 c bounds 66100 >= 3016 @ 313.645 355.43/356.46 c bounds 66099 >= 3016 @ 313.714 355.43/356.46 c bounds 66098 >= 3016 @ 316.301 355.43/356.46 c bounds 65098 >= 3016 @ 316.894 355.43/356.46 c #Conflicts: 126000 | #Constraints: 13865 355.43/356.46 c bounds 65097 >= 3016 @ 316.98 355.43/356.46 c bounds 64097 >= 3016 @ 317.084 355.43/356.46 c bounds 64096 >= 3016 @ 317.168 355.43/356.46 c bounds 63096 >= 3016 @ 317.377 355.43/356.46 c bounds 62097 >= 3016 @ 317.563 355.43/356.46 c bounds 62096 >= 3016 @ 317.668 355.43/356.46 c bounds 61096 >= 3016 @ 318.023 355.43/356.46 c bounds 61095 >= 3016 @ 318.124 355.43/356.46 c bounds 60095 >= 3016 @ 318.741 355.43/356.46 c bounds 59096 >= 3016 @ 319.529 355.43/356.46 c bounds 59095 >= 3016 @ 320.506 355.43/356.46 c bounds 59094 >= 3016 @ 320.725 355.43/356.46 c bounds 59093 >= 3016 @ 321.317 355.43/356.46 c bounds 59092 >= 3016 @ 321.536 355.43/356.46 c bounds 59091 >= 3016 @ 321.639 355.43/356.46 c bounds 59090 >= 3016 @ 321.732 355.43/356.46 c bounds 58089 >= 3016 @ 321.951 355.43/356.46 c bounds 57088 >= 3016 @ 322.061 355.43/356.46 c bounds 56088 >= 3016 @ 322.411 355.43/356.46 c bounds 56087 >= 3016 @ 322.52 355.43/356.46 c #Conflicts: 127000 | #Constraints: 14888 355.43/356.46 c bounds 55088 >= 3016 @ 322.961 355.43/356.46 c bounds 55087 >= 3016 @ 324.935 355.43/356.46 c bounds 54087 >= 3016 @ 326.505 355.43/356.46 c bounds 54086 >= 3016 @ 327.008 355.43/356.46 c #Conflicts: 128000 | #Constraints: 15904 355.43/356.46 c bounds 53086 >= 3016 @ 328.435 355.43/356.46 c #Conflicts: 129000 | #Constraints: 16905 355.43/356.46 c #Conflicts: 130000 | #Constraints: 17905 355.43/356.46 c #Conflicts: 131000 | #Constraints: 18905 355.43/356.46 c INPROCESSING 355.43/356.46 c GARBAGE COLLECT 355.43/356.46 c rational objective 3028 407.40/408.58 c bounds 52086 >= 3016 @ 349.119 407.40/408.58 c #Conflicts: 132000 | #Constraints: 12607 407.40/408.58 c bounds 52085 >= 3016 @ 350.044 407.40/408.58 c bounds 51086 >= 3016 @ 350.505 407.40/408.58 c bounds 51085 >= 3016 @ 350.544 407.40/408.58 c bounds 50085 >= 3016 @ 350.914 407.40/408.58 c bounds 49084 >= 3016 @ 351.171 407.40/408.58 c bounds 49083 >= 3016 @ 351.322 407.40/408.58 c bounds 48083 >= 3016 @ 351.481 407.40/408.58 c bounds 47082 >= 3016 @ 351.584 407.40/408.58 c bounds 46081 >= 3016 @ 351.615 407.40/408.58 c bounds 45081 >= 3016 @ 351.654 407.40/408.58 c bounds 44081 >= 3016 @ 351.687 407.40/408.58 c bounds 44080 >= 3016 @ 351.912 407.40/408.58 c bounds 44079 >= 3016 @ 352.143 407.40/408.58 c bounds 44078 >= 3016 @ 352.507 407.40/408.58 c bounds 43078 >= 3016 @ 352.552 407.40/408.58 c bounds 43077 >= 3016 @ 352.712 407.40/408.58 c bounds 43076 >= 3016 @ 353.088 407.40/408.58 c bounds 42077 >= 3016 @ 353.155 407.40/408.58 c bounds 42076 >= 3016 @ 353.218 407.40/408.58 c bounds 41076 >= 3016 @ 353.482 407.40/408.58 c bounds 41075 >= 3016 @ 353.575 407.40/408.58 c bounds 41074 >= 3016 @ 353.641 407.40/408.58 c bounds 41073 >= 3016 @ 353.755 407.40/408.58 c bounds 41072 >= 3016 @ 353.896 407.40/408.58 c bounds 41071 >= 3016 @ 354.408 407.40/408.58 c bounds 41070 >= 3016 @ 354.861 407.40/408.58 c #Conflicts: 133000 | #Constraints: 13633 407.40/408.58 c bounds 41069 >= 3016 @ 355.877 407.40/408.58 c #Conflicts: 134000 | #Constraints: 14634 407.40/408.58 c bounds 41068 >= 3016 @ 363.942 407.40/408.58 c #Conflicts: 135000 | #Constraints: 15636 407.40/408.58 c #Conflicts: 136000 | #Constraints: 16636 407.40/408.58 c #Conflicts: 137000 | #Constraints: 17636 407.40/408.58 c bounds 41068 >= 3017 @ 371.754 407.40/408.58 c bounds 40067 >= 3017 @ 392.069 407.40/408.58 c #Conflicts: 138000 | #Constraints: 18664 407.40/408.58 c #Conflicts: 139000 | #Constraints: 19664 407.40/408.58 c INPROCESSING 407.40/408.58 c GARBAGE COLLECT 407.40/408.58 c rational objective 3028 442.62/443.87 c #Conflicts: 140000 | #Constraints: 13191 442.62/443.87 c #Conflicts: 141000 | #Constraints: 14191 442.62/443.87 c #Conflicts: 142000 | #Constraints: 15191 442.62/443.87 c #Conflicts: 143000 | #Constraints: 16191 442.62/443.87 c #Conflicts: 144000 | #Constraints: 17191 442.62/443.87 c #Conflicts: 145000 | #Constraints: 18191 442.62/443.87 c #Conflicts: 146000 | #Constraints: 19191 442.62/443.87 c #Conflicts: 147000 | #Constraints: 20191 442.62/443.87 c INPROCESSING 442.62/443.87 c GARBAGE COLLECT 442.62/443.87 c rational objective 3028 495.38/496.74 c bounds 39066 >= 3017 @ 435.852 495.38/496.74 c bounds 39065 >= 3017 @ 437.551 495.38/496.74 c bounds 39064 >= 3017 @ 438.337 495.38/496.74 c #Conflicts: 148000 | #Constraints: 13584 495.38/496.74 c bounds 38063 >= 3017 @ 438.837 495.38/496.74 c bounds 37062 >= 3017 @ 439.14 495.38/496.74 c bounds 36062 >= 3017 @ 439.988 495.38/496.74 c bounds 35061 >= 3017 @ 441.151 495.38/496.74 c #Conflicts: 149000 | #Constraints: 14588 495.38/496.74 c bounds 34061 >= 3017 @ 442.146 495.38/496.74 c #Conflicts: 150000 | #Constraints: 15589 495.38/496.74 c bounds 34060 >= 3017 @ 447.565 495.38/496.74 c bounds 33059 >= 3017 @ 451.658 495.38/496.74 c #Conflicts: 151000 | #Constraints: 16591 495.38/496.74 c bounds 33058 >= 3017 @ 454.254 495.38/496.74 c bounds 33057 >= 3017 @ 467.561 495.38/496.74 c #Conflicts: 152000 | #Constraints: 17594 495.38/496.74 c #Conflicts: 153000 | #Constraints: 18594 495.38/496.74 c #Conflicts: 154000 | #Constraints: 19594 495.38/496.74 c #Conflicts: 155000 | #Constraints: 20594 495.38/496.74 c INPROCESSING 495.38/496.74 c GARBAGE COLLECT 495.38/496.74 c rational objective 3028 532.28/533.72 c bounds 32056 >= 3017 @ 487.598 532.28/533.72 c bounds 31055 >= 3017 @ 488.246 532.28/533.72 c #Conflicts: 156000 | #Constraints: 13780 532.28/533.72 c bounds 30056 >= 3017 @ 489.056 532.28/533.72 c bounds 29056 >= 3017 @ 492.406 532.28/533.72 c #Conflicts: 157000 | #Constraints: 14782 532.28/533.72 c bounds 29055 >= 3017 @ 495.928 532.28/533.72 c #Conflicts: 158000 | #Constraints: 15783 532.28/533.72 c #Conflicts: 159000 | #Constraints: 16783 532.28/533.72 c #Conflicts: 160000 | #Constraints: 17783 532.28/533.72 c #Conflicts: 161000 | #Constraints: 18783 532.28/533.72 c #Conflicts: 162000 | #Constraints: 19783 532.28/533.72 c #Conflicts: 163000 | #Constraints: 20783 532.28/533.72 c INPROCESSING 532.28/533.72 c GARBAGE COLLECT 532.28/533.72 c rational objective 3028 585.36/586.93 c bounds 29054 >= 3017 @ 523.942 585.36/586.93 c #Conflicts: 164000 | #Constraints: 13781 585.36/586.93 c #Conflicts: 165000 | #Constraints: 14781 585.36/586.93 c #Conflicts: 166000 | #Constraints: 15781 585.36/586.93 c bounds 29053 >= 3017 @ 533.542 585.36/586.93 c #Conflicts: 167000 | #Constraints: 16782 585.36/586.93 c bounds 28053 >= 3017 @ 537.108 585.36/586.93 c bounds 28052 >= 3017 @ 550.053 585.36/586.93 c #Conflicts: 168000 | #Constraints: 17786 585.36/586.93 c #Conflicts: 169000 | #Constraints: 18786 585.36/586.93 c #Conflicts: 170000 | #Constraints: 19786 585.36/586.93 c #Conflicts: 171000 | #Constraints: 20786 585.36/586.93 c INPROCESSING 585.36/586.93 c GARBAGE COLLECT 585.36/586.93 c rational objective 3028 630.84/632.58 c #Conflicts: 172000 | #Constraints: 13585 630.84/632.58 c bounds 28051 >= 3017 @ 577.79 630.84/632.58 c #Conflicts: 173000 | #Constraints: 14595 630.84/632.58 c bounds 28050 >= 3017 @ 582.43 630.84/632.58 c bounds 27050 >= 3017 @ 583.823 630.84/632.58 c #Conflicts: 174000 | #Constraints: 15597 630.84/632.58 c #Conflicts: 175000 | #Constraints: 16597 630.84/632.58 c #Conflicts: 176000 | #Constraints: 17597 630.84/632.58 c #Conflicts: 177000 | #Constraints: 18597 630.84/632.58 c #Conflicts: 178000 | #Constraints: 19597 630.84/632.58 c #Conflicts: 179000 | #Constraints: 20597 630.84/632.58 c #Conflicts: 180000 | #Constraints: 21597 630.84/632.58 c INPROCESSING 630.84/632.58 c GARBAGE COLLECT 630.84/632.58 c rational objective 3028 690.28/692.13 c bounds 26049 >= 3017 @ 621.799 690.28/692.13 c bounds 26048 >= 3017 @ 621.825 690.28/692.13 c #Conflicts: 181000 | #Constraints: 14187 690.28/692.13 c bounds 25048 >= 3017 @ 625.839 690.28/692.13 c #Conflicts: 182000 | #Constraints: 15188 690.28/692.13 c bounds 25047 >= 3017 @ 634.583 690.28/692.13 c bounds 24046 >= 3017 @ 640.851 690.28/692.13 c #Conflicts: 183000 | #Constraints: 16190 690.28/692.13 c #Conflicts: 184000 | #Constraints: 17190 690.28/692.13 c bounds 23046 >= 3017 @ 646.776 690.28/692.13 c #Conflicts: 185000 | #Constraints: 18203 690.28/692.13 c #Conflicts: 186000 | #Constraints: 19203 690.28/692.13 c #Conflicts: 187000 | #Constraints: 20203 690.28/692.13 c #Conflicts: 188000 | #Constraints: 21203 690.28/692.13 c #Conflicts: 189000 | #Constraints: 22203 690.28/692.13 c INPROCESSING 690.28/692.13 c GARBAGE COLLECT 690.28/692.13 c rational objective 3028 725.99/727.93 c #Conflicts: 190000 | #Constraints: 14586 725.99/727.93 c #Conflicts: 191000 | #Constraints: 15586 725.99/727.93 c #Conflicts: 192000 | #Constraints: 16586 725.99/727.93 c #Conflicts: 193000 | #Constraints: 17590 725.99/727.93 c bounds 23045 >= 3017 @ 686.971 725.99/727.93 c #Conflicts: 194000 | #Constraints: 18597 725.99/727.93 c bounds 23044 >= 3017 @ 696.134 725.99/727.93 c #Conflicts: 195000 | #Constraints: 19604 725.99/727.93 c #Conflicts: 196000 | #Constraints: 20604 725.99/727.93 c #Conflicts: 197000 | #Constraints: 21604 725.99/727.93 c #Conflicts: 198000 | #Constraints: 22604 725.99/727.93 c INPROCESSING 725.99/727.93 c GARBAGE COLLECT 725.99/727.93 c rational objective 3028 806.79/808.92 c #Conflicts: 199000 | #Constraints: 14779 806.79/808.92 c #Conflicts: 200000 | #Constraints: 15779 806.79/808.92 c #Conflicts: 201000 | #Constraints: 16779 806.79/808.92 c bounds 22043 >= 3017 @ 750.576 806.79/808.92 c #Conflicts: 202000 | #Constraints: 17781 806.79/808.92 c #Conflicts: 203000 | #Constraints: 18781 806.79/808.92 c #Conflicts: 204000 | #Constraints: 19781 806.79/808.92 c #Conflicts: 205000 | #Constraints: 20781 806.79/808.92 c #Conflicts: 206000 | #Constraints: 21781 806.79/808.92 c #Conflicts: 207000 | #Constraints: 22781 806.79/808.92 c INPROCESSING 806.79/808.92 c GARBAGE COLLECT 806.79/808.92 c rational objective 3028 858.36/860.67 c #Conflicts: 208000 | #Constraints: 14778 858.36/860.67 c #Conflicts: 209000 | #Constraints: 15778 858.36/860.67 c #Conflicts: 210000 | #Constraints: 16778 858.36/860.67 c #Conflicts: 211000 | #Constraints: 17778 858.36/860.67 c #Conflicts: 212000 | #Constraints: 18778 858.36/860.67 c #Conflicts: 213000 | #Constraints: 19778 858.36/860.67 c bounds 22043 >= 3018 @ 830.414 858.36/860.67 c #Conflicts: 214000 | #Constraints: 20811 858.36/860.67 c #Conflicts: 215000 | #Constraints: 21811 858.36/860.67 c #Conflicts: 216000 | #Constraints: 22811 858.36/860.67 c INPROCESSING 858.36/860.67 c GARBAGE COLLECT 858.36/860.67 c rational objective 3028 911.42/913.85 c #Conflicts: 217000 | #Constraints: 14591 911.42/913.85 c #Conflicts: 218000 | #Constraints: 15591 911.42/913.85 c #Conflicts: 219000 | #Constraints: 16591 911.42/913.85 c #Conflicts: 220000 | #Constraints: 17591 911.42/913.85 c #Conflicts: 221000 | #Constraints: 18591 911.42/913.85 c #Conflicts: 222000 | #Constraints: 19591 911.42/913.85 c #Conflicts: 223000 | #Constraints: 20591 911.42/913.85 c #Conflicts: 224000 | #Constraints: 21591 911.42/913.85 c #Conflicts: 225000 | #Constraints: 22591 911.42/913.85 c #Conflicts: 226000 | #Constraints: 23591 911.42/913.85 c INPROCESSING 911.42/913.85 c GARBAGE COLLECT 911.42/913.85 c rational objective 3028 1007.87/1010.53 c #Conflicts: 227000 | #Constraints: 15198 1007.87/1010.53 c #Conflicts: 228000 | #Constraints: 16198 1007.87/1010.53 c #Conflicts: 229000 | #Constraints: 17198 1007.87/1010.53 c #Conflicts: 230000 | #Constraints: 18198 1007.87/1010.53 c bounds 21042 >= 3018 @ 941.428 1007.87/1010.53 c #Conflicts: 231000 | #Constraints: 19201 1007.87/1010.53 c #Conflicts: 232000 | #Constraints: 20201 1007.87/1010.53 c #Conflicts: 233000 | #Constraints: 21201 1007.87/1010.53 c #Conflicts: 234000 | #Constraints: 22201 1007.87/1010.53 c #Conflicts: 235000 | #Constraints: 23201 1007.87/1010.53 c #Conflicts: 236000 | #Constraints: 24201 1007.87/1010.53 c INPROCESSING 1007.87/1010.53 c GARBAGE COLLECT 1007.87/1010.53 c rational objective 3028 1067.93/1070.73 c #Conflicts: 237000 | #Constraints: 15596 1067.93/1070.73 c #Conflicts: 238000 | #Constraints: 16596 1067.93/1070.73 c #Conflicts: 239000 | #Constraints: 17596 1067.93/1070.73 c #Conflicts: 240000 | #Constraints: 18596 1067.93/1070.73 c #Conflicts: 241000 | #Constraints: 19596 1067.93/1070.73 c #Conflicts: 242000 | #Constraints: 20596 1067.93/1070.73 c #Conflicts: 243000 | #Constraints: 21596 1067.93/1070.73 c #Conflicts: 244000 | #Constraints: 22596 1067.93/1070.73 c #Conflicts: 245000 | #Constraints: 23596 1067.93/1070.73 c #Conflicts: 246000 | #Constraints: 24596 1067.93/1070.73 c INPROCESSING 1067.93/1070.73 c GARBAGE COLLECT 1067.93/1070.73 c rational objective 3028 1134.36/1137.34 c #Conflicts: 247000 | #Constraints: 15800 1134.36/1137.34 c #Conflicts: 248000 | #Constraints: 16800 1134.36/1137.34 c #Conflicts: 249000 | #Constraints: 17800 1134.36/1137.34 c #Conflicts: 250000 | #Constraints: 18800 1134.36/1137.34 c #Conflicts: 251000 | #Constraints: 19800 1134.36/1137.34 c #Conflicts: 252000 | #Constraints: 20800 1134.36/1137.34 c #Conflicts: 253000 | #Constraints: 21800 1134.36/1137.34 c #Conflicts: 254000 | #Constraints: 22800 1134.36/1137.34 c #Conflicts: 255000 | #Constraints: 23800 1134.36/1137.34 c #Conflicts: 256000 | #Constraints: 24800 1134.36/1137.34 c INPROCESSING 1134.36/1137.34 c GARBAGE COLLECT 1134.36/1137.34 c rational objective 3028 1204.77/1207.94 c #Conflicts: 257000 | #Constraints: 15793 1204.77/1207.94 c bounds 20042 >= 3018 @ 1128.32 1204.77/1207.94 c bounds 20041 >= 3018 @ 1128.48 1204.77/1207.94 c #Conflicts: 258000 | #Constraints: 16795 1204.77/1207.94 c bounds 19041 >= 3018 @ 1130.55 1204.77/1207.94 c #Conflicts: 259000 | #Constraints: 17796 1204.77/1207.94 c bounds 19040 >= 3018 @ 1134.21 1204.77/1207.94 c #Conflicts: 260000 | #Constraints: 18797 1204.77/1207.94 c #Conflicts: 261000 | #Constraints: 19797 1204.77/1207.94 c #Conflicts: 262000 | #Constraints: 20797 1204.77/1207.94 c #Conflicts: 263000 | #Constraints: 21797 1204.77/1207.94 c #Conflicts: 264000 | #Constraints: 22797 1204.77/1207.94 c #Conflicts: 265000 | #Constraints: 23797 1204.77/1207.94 c #Conflicts: 266000 | #Constraints: 24797 1204.77/1207.94 c INPROCESSING 1204.77/1207.94 c GARBAGE COLLECT 1204.77/1207.94 c rational objective 3028 1277.31/1280.64 c #Conflicts: 267000 | #Constraints: 15598 1277.31/1280.64 c #Conflicts: 268000 | #Constraints: 16598 1277.31/1280.64 c bounds 18039 >= 3018 @ 1199.25 1277.31/1280.64 c #Conflicts: 269000 | #Constraints: 17599 1277.31/1280.64 c #Conflicts: 270000 | #Constraints: 18599 1277.31/1280.64 c bounds 17038 >= 3018 @ 1202.78 1277.31/1280.64 c bounds 16039 >= 3018 @ 1203.17 1277.31/1280.64 c #Conflicts: 271000 | #Constraints: 19601 1277.31/1280.64 c bounds 16038 >= 3018 @ 1212.21 1277.31/1280.64 c #Conflicts: 272000 | #Constraints: 20604 1277.31/1280.64 c #Conflicts: 273000 | #Constraints: 21612 1277.31/1280.64 c bounds 15038 >= 3018 @ 1237.66 1277.31/1280.64 c #Conflicts: 274000 | #Constraints: 22620 1277.31/1280.64 c #Conflicts: 275000 | #Constraints: 23620 1277.31/1280.64 c #Conflicts: 276000 | #Constraints: 24620 1277.31/1280.64 c #Conflicts: 277000 | #Constraints: 25620 1277.31/1280.64 c INPROCESSING 1277.31/1280.64 c GARBAGE COLLECT 1277.31/1280.64 c rational objective 3028 1358.60/1362.19 c #Conflicts: 278000 | #Constraints: 16218 1358.60/1362.19 c #Conflicts: 279000 | #Constraints: 17218 1358.60/1362.19 c #Conflicts: 280000 | #Constraints: 18218 1358.60/1362.19 c #Conflicts: 281000 | #Constraints: 19218 1358.60/1362.19 c #Conflicts: 282000 | #Constraints: 20218 1358.60/1362.19 c #Conflicts: 283000 | #Constraints: 21218 1358.60/1362.19 c #Conflicts: 284000 | #Constraints: 22218 1358.60/1362.19 c #Conflicts: 285000 | #Constraints: 23218 1358.60/1362.19 c #Conflicts: 286000 | #Constraints: 24218 1358.60/1362.19 c #Conflicts: 287000 | #Constraints: 25218 1358.60/1362.19 c #Conflicts: 288000 | #Constraints: 26218 1358.60/1362.19 c INPROCESSING 1358.60/1362.19 c GARBAGE COLLECT 1358.60/1362.19 c rational objective 3028 1447.97/1451.74 c bounds 14037 >= 3018 @ 1346.37 1447.97/1451.74 c #Conflicts: 289000 | #Constraints: 16620 1447.97/1451.74 c #Conflicts: 290000 | #Constraints: 17620 1447.97/1451.74 c bounds 14036 >= 3018 @ 1349.64 1447.97/1451.74 c #Conflicts: 291000 | #Constraints: 18621 1447.97/1451.74 c #Conflicts: 292000 | #Constraints: 19622 1447.97/1451.74 c bounds 13037 >= 3018 @ 1366.34 1447.97/1451.74 c bounds 13036 >= 3018 @ 1367.78 1447.97/1451.74 c #Conflicts: 293000 | #Constraints: 20626 1447.97/1451.74 c bounds 13035 >= 3018 @ 1370.89 1447.97/1451.74 c bounds 12036 >= 3018 @ 1372.77 1447.97/1451.74 c bounds 12035 >= 3018 @ 1376.53 1447.97/1451.74 c #Conflicts: 294000 | #Constraints: 21631 1447.97/1451.74 c bounds 11035 >= 3018 @ 1385.52 1447.97/1451.74 c bounds 10036 >= 3018 @ 1402.48 1447.97/1451.74 c #Conflicts: 295000 | #Constraints: 22636 1447.97/1451.74 c #Conflicts: 296000 | #Constraints: 23636 1447.97/1451.74 c #Conflicts: 297000 | #Constraints: 24636 1447.97/1451.74 c #Conflicts: 298000 | #Constraints: 25636 1447.97/1451.74 c #Conflicts: 299000 | #Constraints: 26636 1447.97/1451.74 c INPROCESSING 1447.97/1451.74 c GARBAGE COLLECT 1447.97/1451.74 c rational objective 3028 1551.40/1555.41 c bounds 10035 >= 3018 @ 1433.96 1551.40/1555.41 c #Conflicts: 300000 | #Constraints: 16821 1551.40/1555.41 c #Conflicts: 301000 | #Constraints: 17821 1551.40/1555.41 c #Conflicts: 302000 | #Constraints: 18821 1551.40/1555.41 c bounds 9035 >= 3018 @ 1475.16 1551.40/1555.41 c #Conflicts: 303000 | #Constraints: 19822 1551.40/1555.41 c #Conflicts: 304000 | #Constraints: 20822 1551.40/1555.41 c #Conflicts: 305000 | #Constraints: 21822 1551.40/1555.41 c #Conflicts: 306000 | #Constraints: 22822 1551.40/1555.41 c #Conflicts: 307000 | #Constraints: 23822 1551.40/1555.41 c #Conflicts: 308000 | #Constraints: 24822 1551.40/1555.41 c #Conflicts: 309000 | #Constraints: 25822 1551.40/1555.41 c #Conflicts: 310000 | #Constraints: 26822 1551.40/1555.41 c INPROCESSING 1551.40/1555.41 c GARBAGE COLLECT 1551.40/1555.41 c rational objective 3028 1636.79/1641.02 c #Conflicts: 311000 | #Constraints: 16812 1636.79/1641.02 c #Conflicts: 312000 | #Constraints: 17812 1636.79/1641.02 c #Conflicts: 313000 | #Constraints: 18812 1636.79/1641.02 c #Conflicts: 314000 | #Constraints: 19812 1636.79/1641.02 c #Conflicts: 315000 | #Constraints: 20812 1636.79/1641.02 c #Conflicts: 316000 | #Constraints: 21812 1636.79/1641.02 c #Conflicts: 317000 | #Constraints: 22812 1636.79/1641.02 c #Conflicts: 318000 | #Constraints: 23812 1636.79/1641.02 c #Conflicts: 319000 | #Constraints: 24812 1636.79/1641.02 c #Conflicts: 320000 | #Constraints: 25812 1636.79/1641.02 c #Conflicts: 321000 | #Constraints: 26812 1636.79/1641.02 c INPROCESSING 1636.79/1641.02 c GARBAGE COLLECT 1636.79/1641.02 c rational objective 3028 1833.70/1838.49 c #Conflicts: 322000 | #Constraints: 16610 1833.70/1838.49 c #Conflicts: 323000 | #Constraints: 17610 1833.70/1838.49 c bounds 9034 >= 3018 @ 1637.05 1833.70/1838.49 c #Conflicts: 324000 | #Constraints: 18611 1833.70/1838.49 c #Conflicts: 325000 | #Constraints: 19611 1833.70/1838.49 c #Conflicts: 326000 | #Constraints: 20611 1833.70/1838.49 c #Conflicts: 327000 | #Constraints: 21611 1833.70/1838.49 c #Conflicts: 328000 | #Constraints: 22611 1833.70/1838.49 c #Conflicts: 329000 | #Constraints: 23611 1833.70/1838.49 c #Conflicts: 330000 | #Constraints: 24612 1833.70/1838.49 c #Conflicts: 331000 | #Constraints: 25617 1833.70/1838.49 c #Conflicts: 332000 | #Constraints: 26630 1833.70/1838.49 c #Conflicts: 333000 | #Constraints: 27637 1833.70/1838.49 c INPROCESSING 1833.70/1838.49 c GARBAGE COLLECT 1833.70/1838.49 c rational objective 3028 1932.64/1937.63 c #Conflicts: 334000 | #Constraints: 17178 1932.64/1937.63 c #Conflicts: 335000 | #Constraints: 18178 1932.64/1937.63 c #Conflicts: 336000 | #Constraints: 19178 1932.64/1937.63 c #Conflicts: 337000 | #Constraints: 20178 1932.64/1937.63 c #Conflicts: 338000 | #Constraints: 21178 1932.64/1937.63 c #Conflicts: 339000 | #Constraints: 22178 1932.64/1937.63 c #Conflicts: 340000 | #Constraints: 23178 1932.64/1937.63 c #Conflicts: 341000 | #Constraints: 24178 1932.64/1937.63 c #Conflicts: 342000 | #Constraints: 25178 1932.64/1937.63 c #Conflicts: 343000 | #Constraints: 26178 1932.64/1937.63 c #Conflicts: 344000 | #Constraints: 27178 1932.64/1937.63 c #Conflicts: 345000 | #Constraints: 28178 1932.64/1937.63 c INPROCESSING 1932.64/1937.63 c GARBAGE COLLECT 1932.64/1937.63 c rational objective 3028 2031.80/2037.08 c #Conflicts: 346000 | #Constraints: 17606 2031.80/2037.08 c #Conflicts: 347000 | #Constraints: 18606 2031.80/2037.08 c #Conflicts: 348000 | #Constraints: 19606 2031.80/2037.08 c #Conflicts: 349000 | #Constraints: 20606 2031.80/2037.08 c #Conflicts: 350000 | #Constraints: 21606 2031.80/2037.08 c #Conflicts: 351000 | #Constraints: 22606 2031.80/2037.08 c #Conflicts: 352000 | #Constraints: 23606 2031.80/2037.08 c #Conflicts: 353000 | #Constraints: 24606 2031.80/2037.08 c #Conflicts: 354000 | #Constraints: 25606 2031.80/2037.08 c #Conflicts: 355000 | #Constraints: 26606 2031.80/2037.08 c #Conflicts: 356000 | #Constraints: 27606 2031.80/2037.08 c #Conflicts: 357000 | #Constraints: 28606 2031.80/2037.08 c INPROCESSING 2031.80/2037.08 c GARBAGE COLLECT 2031.80/2037.08 c rational objective 3028 2138.63/2144.17 c #Conflicts: 358000 | #Constraints: 17807 2138.63/2144.17 c #Conflicts: 359000 | #Constraints: 18807 2138.63/2144.17 c #Conflicts: 360000 | #Constraints: 19807 2138.63/2144.17 c #Conflicts: 361000 | #Constraints: 20807 2138.63/2144.17 c #Conflicts: 362000 | #Constraints: 21807 2138.63/2144.17 c #Conflicts: 363000 | #Constraints: 22807 2138.63/2144.17 c #Conflicts: 364000 | #Constraints: 23807 2138.63/2144.17 c #Conflicts: 365000 | #Constraints: 24807 2138.63/2144.17 c #Conflicts: 366000 | #Constraints: 25807 2138.63/2144.17 c #Conflicts: 367000 | #Constraints: 26807 2138.63/2144.17 c #Conflicts: 368000 | #Constraints: 27807 2138.63/2144.17 c #Conflicts: 369000 | #Constraints: 28807 2138.63/2144.17 c INPROCESSING 2138.63/2144.17 c GARBAGE COLLECT 2138.63/2144.17 c rational objective 3028 2247.74/2253.53 c #Conflicts: 370000 | #Constraints: 17818 2247.74/2253.53 c #Conflicts: 371000 | #Constraints: 18818 2247.74/2253.53 c #Conflicts: 372000 | #Constraints: 19818 2247.74/2253.53 c #Conflicts: 373000 | #Constraints: 20818 2247.74/2253.53 c #Conflicts: 374000 | #Constraints: 21818 2247.74/2253.53 c #Conflicts: 375000 | #Constraints: 22818 2247.74/2253.53 c #Conflicts: 376000 | #Constraints: 23818 2247.74/2253.53 c #Conflicts: 377000 | #Constraints: 24818 2247.74/2253.53 c #Conflicts: 378000 | #Constraints: 25818 2247.74/2253.53 c #Conflicts: 379000 | #Constraints: 26818 2247.74/2253.53 c #Conflicts: 380000 | #Constraints: 27818 2247.74/2253.53 c #Conflicts: 381000 | #Constraints: 28818 2247.74/2253.53 c INPROCESSING 2247.74/2253.53 c GARBAGE COLLECT 2247.74/2253.53 c rational objective 3028 2366.33/2372.43 c #Conflicts: 382000 | #Constraints: 17628 2366.33/2372.43 c #Conflicts: 383000 | #Constraints: 18628 2366.33/2372.43 c #Conflicts: 384000 | #Constraints: 19628 2366.33/2372.43 c #Conflicts: 385000 | #Constraints: 20628 2366.33/2372.43 c #Conflicts: 386000 | #Constraints: 21628 2366.33/2372.43 c #Conflicts: 387000 | #Constraints: 22628 2366.33/2372.43 c #Conflicts: 388000 | #Constraints: 23628 2366.33/2372.43 c #Conflicts: 389000 | #Constraints: 24628 2366.33/2372.43 c #Conflicts: 390000 | #Constraints: 25628 2366.33/2372.43 c #Conflicts: 391000 | #Constraints: 26628 2366.33/2372.43 c #Conflicts: 392000 | #Constraints: 27628 2366.33/2372.43 c #Conflicts: 393000 | #Constraints: 28628 2366.33/2372.43 c #Conflicts: 394000 | #Constraints: 29628 2366.33/2372.43 c INPROCESSING 2366.33/2372.43 c GARBAGE COLLECT 2366.33/2372.43 c rational objective 3028 2496.71/2503.19 c #Conflicts: 395000 | #Constraints: 18230 2496.71/2503.19 c #Conflicts: 396000 | #Constraints: 19230 2496.71/2503.19 c #Conflicts: 397000 | #Constraints: 20230 2496.71/2503.19 c #Conflicts: 398000 | #Constraints: 21230 2496.71/2503.19 c #Conflicts: 399000 | #Constraints: 22230 2496.71/2503.19 c #Conflicts: 400000 | #Constraints: 23230 2496.71/2503.19 c #Conflicts: 401000 | #Constraints: 24230 2496.71/2503.19 c #Conflicts: 402000 | #Constraints: 25230 2496.71/2503.19 c #Conflicts: 403000 | #Constraints: 26230 2496.71/2503.19 c #Conflicts: 404000 | #Constraints: 27230 2496.71/2503.19 c #Conflicts: 405000 | #Constraints: 28230 2496.71/2503.19 c #Conflicts: 406000 | #Constraints: 29230 2496.71/2503.19 c #Conflicts: 407000 | #Constraints: 30230 2496.71/2503.19 c INPROCESSING 2496.71/2503.19 c GARBAGE COLLECT 2496.71/2503.19 c rational objective 3028 2623.69/2630.44 c bounds 8033 >= 3018 @ 2479.03 2623.69/2630.44 c bounds 7033 >= 3018 @ 2484.09 2623.69/2630.44 c bounds 7032 >= 3018 @ 2484.13 2623.69/2630.44 c bounds 6032 >= 3018 @ 2485.35 2623.69/2630.44 c #Conflicts: 408000 | #Constraints: 18628 2623.69/2630.44 c bounds 5033 >= 3018 @ 2490.04 2623.69/2630.44 c bounds 5032 >= 3018 @ 2490.29 2623.69/2630.44 c bounds 5031 >= 3018 @ 2493.58 2623.69/2630.44 c #Conflicts: 409000 | #Constraints: 19631 2623.69/2630.44 c bounds 4031 >= 3018 @ 2497.31 2623.69/2630.44 c #Conflicts: 410000 | #Constraints: 20632 2623.69/2630.44 c #Conflicts: 411000 | #Constraints: 21632 2623.69/2630.44 c #Conflicts: 412000 | #Constraints: 22632 2623.69/2630.44 c #Conflicts: 413000 | #Constraints: 23632 2623.69/2630.44 c #Conflicts: 414000 | #Constraints: 24632 2623.69/2630.44 c #Conflicts: 415000 | #Constraints: 25632 2623.69/2630.44 c #Conflicts: 416000 | #Constraints: 26632 2623.69/2630.44 c #Conflicts: 417000 | #Constraints: 27632 2623.69/2630.44 c #Conflicts: 418000 | #Constraints: 28632 2623.69/2630.44 c #Conflicts: 419000 | #Constraints: 29632 2623.69/2630.44 c #Conflicts: 420000 | #Constraints: 30632 2623.69/2630.44 c INPROCESSING 2623.69/2630.44 c GARBAGE COLLECT 2623.69/2630.44 c rational objective 3028 2962.37/2969.97 c #Conflicts: 421000 | #Constraints: 18830 2962.37/2969.97 c #Conflicts: 422000 | #Constraints: 19830 2962.37/2969.97 c #Conflicts: 423000 | #Constraints: 20830 2962.37/2969.97 c #Conflicts: 424000 | #Constraints: 21830 2962.37/2969.97 c #Conflicts: 425000 | #Constraints: 22830 2962.37/2969.97 c #Conflicts: 426000 | #Constraints: 23830 2962.37/2969.97 c #Conflicts: 427000 | #Constraints: 24830 2962.37/2969.97 c #Conflicts: 428000 | #Constraints: 25830 2962.37/2969.97 c #Conflicts: 429000 | #Constraints: 26830 2962.37/2969.97 c #Conflicts: 430000 | #Constraints: 27830 2962.37/2969.97 c #Conflicts: 431000 | #Constraints: 28830 2962.37/2969.97 c #Conflicts: 432000 | #Constraints: 29830 2962.37/2969.97 c #Conflicts: 433000 | #Constraints: 30830 2962.37/2969.97 c INPROCESSING 2962.37/2969.97 c GARBAGE COLLECT 2962.37/2969.97 c rational objective 3028 3105.81/3113.73 c #Conflicts: 434000 | #Constraints: 18808 3105.81/3113.73 c #Conflicts: 435000 | #Constraints: 19808 3105.81/3113.73 c #Conflicts: 436000 | #Constraints: 20808 3105.81/3113.73 c #Conflicts: 437000 | #Constraints: 21809 3105.81/3113.73 c #Conflicts: 438000 | #Constraints: 22812 3105.81/3113.73 c #Conflicts: 439000 | #Constraints: 23813 3105.81/3113.73 c #Conflicts: 440000 | #Constraints: 24818 3105.81/3113.73 c #Conflicts: 441000 | #Constraints: 25825 3105.81/3113.73 c #Conflicts: 442000 | #Constraints: 26830 3105.81/3113.73 c #Conflicts: 443000 | #Constraints: 27838 3105.81/3113.73 c #Conflicts: 444000 | #Constraints: 28842 3105.81/3113.73 c #Conflicts: 445000 | #Constraints: 29847 3105.81/3113.73 c #Conflicts: 446000 | #Constraints: 30850 3105.81/3113.73 c INPROCESSING 3105.81/3113.73 c GARBAGE COLLECT 3105.81/3113.73 c rational objective 3028.5 3264.90/3273.22 c #Conflicts: 447000 | #Constraints: 18627 3264.90/3273.22 c #Conflicts: 448000 | #Constraints: 19627 3264.90/3273.22 c #Conflicts: 449000 | #Constraints: 20664 3264.90/3273.22 c #Conflicts: 450000 | #Constraints: 21664 3264.90/3273.22 c #Conflicts: 451000 | #Constraints: 22664 3264.90/3273.22 c #Conflicts: 452000 | #Constraints: 23664 3264.90/3273.22 c #Conflicts: 453000 | #Constraints: 24664 3264.90/3273.22 c #Conflicts: 454000 | #Constraints: 25664 3264.90/3273.22 c #Conflicts: 455000 | #Constraints: 26664 3264.90/3273.22 c #Conflicts: 456000 | #Constraints: 27664 3264.90/3273.22 c #Conflicts: 457000 | #Constraints: 28664 3264.90/3273.22 c #Conflicts: 458000 | #Constraints: 29664 3264.90/3273.22 c #Conflicts: 459000 | #Constraints: 30664 3264.90/3273.22 c #Conflicts: 460000 | #Constraints: 31664 3264.90/3273.22 c INPROCESSING 3264.90/3273.22 c GARBAGE COLLECT 3264.90/3273.22 c rational objective 3026.5 3430.97/3439.74 c #Conflicts: 461000 | #Constraints: 19234 3430.97/3439.74 c #Conflicts: 462000 | #Constraints: 20234 3430.97/3439.74 c #Conflicts: 463000 | #Constraints: 21234 3430.97/3439.74 c #Conflicts: 464000 | #Constraints: 22234 3430.97/3439.74 c #Conflicts: 465000 | #Constraints: 23234 3430.97/3439.74 c #Conflicts: 466000 | #Constraints: 24234 3430.97/3439.74 c #Conflicts: 467000 | #Constraints: 25234 3430.97/3439.74 c #Conflicts: 468000 | #Constraints: 26234 3430.97/3439.74 c #Conflicts: 469000 | #Constraints: 27234 3430.97/3439.74 c #Conflicts: 470000 | #Constraints: 28234 3430.97/3439.74 c #Conflicts: 471000 | #Constraints: 29234 3430.97/3439.74 c #Conflicts: 472000 | #Constraints: 30234 3430.97/3439.74 c #Conflicts: 473000 | #Constraints: 31234 3430.97/3439.74 c #Conflicts: 474000 | #Constraints: 32234 3430.97/3439.74 c INPROCESSING 3430.97/3439.74 c GARBAGE COLLECT 3430.97/3439.74 c rational objective 3027 3592.64/3601.89 c #Conflicts: 475000 | #Constraints: 19628 3592.64/3601.89 c #Conflicts: 476000 | #Constraints: 20628 3592.64/3601.89 c #Conflicts: 477000 | #Constraints: 21628 3592.64/3601.89 c #Conflicts: 478000 | #Constraints: 22628 3592.64/3601.89 c #Conflicts: 479000 | #Constraints: 23628 3592.64/3601.89 c #Conflicts: 480000 | #Constraints: 24628 3592.64/3601.89 c #Conflicts: 481000 | #Constraints: 25628 3592.64/3601.89 c #Conflicts: 482000 | #Constraints: 26628 3592.64/3601.89 c #Conflicts: 483000 | #Constraints: 27628 3592.64/3601.89 c #Conflicts: 484000 | #Constraints: 28628 3592.64/3601.89 c #Conflicts: 485000 | #Constraints: 29628 3592.64/3601.89 c #Conflicts: 486000 | #Constraints: 30628 3592.64/3601.89 c #Conflicts: 487000 | #Constraints: 31628 3592.64/3601.89 c #Conflicts: 488000 | #Constraints: 32628 3592.64/3601.89 c INPROCESSING 3592.64/3601.89 c GARBAGE COLLECT 3592.64/3601.89 c rational objective 3027 3600.02/3609.20 c Program interrupted by user. 3600.02/3609.20 c cpu time 3578.14 s 3600.02/3609.20 c deterministic time 423850929919 4.24e+11 3600.02/3609.20 c optimization time 7.60247 s 3600.02/3609.20 c total solve time 3570.53 s 3600.02/3609.20 c core-guided solve time 2494.38 s 3600.02/3609.20 c propagation time 3138.04 s 3600.02/3609.20 c conflict analysis time 374.189 s 3600.02/3609.20 c propagations 122853404 3600.02/3609.20 c resolve steps 4975898 3600.02/3609.20 c decisions 13627542 3600.02/3609.20 c conflicts 488972 3600.02/3609.20 c restarts 1022 3600.02/3609.20 c inprocessing phases 61 3600.02/3609.20 c input clauses 2784 3600.02/3609.20 c input cardinalities 1366 3600.02/3609.20 c input general constraints 1716 3600.02/3609.20 c input average constraint length 591.75 3600.02/3609.20 c input average constraint degree 97549.99 3600.02/3609.20 c learned clauses 135750 3600.02/3609.20 c learned cardinalities 3123 3600.02/3609.20 c learned general constraints 359673 3600.02/3609.20 c learned average constraint length 902.55 3600.02/3609.20 c learned average constraint degree 4762359067.05 3600.02/3609.20 c watched constraints 63486 3600.02/3609.20 c counting constraints 297903 3600.02/3609.20 c gcd simplifications 11421 3600.02/3609.20 c detected cardinalities 274 3600.02/3609.20 c weakened non-implied lits 73239598 3600.02/3609.20 c weakened non-implying lits 181460 3600.02/3609.20 c original variables 3300 3600.02/3609.20 c clausal propagations 18670114 3600.02/3609.20 c cardinality propagations 32549276 3600.02/3609.20 c watched propagations 3695168 3600.02/3609.20 c counting propagations 65947789 3600.02/3609.20 c watch lookups 63810456340 3600.02/3609.20 c watch backjump lookups 63351901624 3600.02/3609.20 c watch checks 46918000654 3600.02/3609.20 c propagation checks 247560865901 3600.02/3609.20 c constraint additions 1935735110 3600.02/3609.20 c trail pops 136967310 3600.02/3609.20 c formula constraints 2573 3600.02/3609.20 c learned constraints 488730 3600.02/3609.20 c bound constraints 1198 3600.02/3609.20 c core-guided constraints 2095 3600.02/3609.20 c encountered formula constraints 267104 3600.02/3609.20 c encountered learned constraints 3676167 3600.02/3609.20 c encountered bound constraints 3219 3600.02/3609.20 c encountered core-guided constraints 1504068 3600.02/3609.20 c LP total time 159.481 s 3600.02/3609.20 c LP solve time 141.49 s 3600.02/3609.20 c LP constraints added 3778 3600.02/3609.20 c LP constraints removed 1165 3600.02/3609.20 c LP pivots internal 493766 3600.02/3609.20 c LP pivots root 28267 3600.02/3609.20 c LP calls 104637 3600.02/3609.20 c LP optimalities 95810 3600.02/3609.20 c LP no pivot count 87670 3600.02/3609.20 c LP infeasibilities 8823 3600.02/3609.20 c LP valid Farkas constraints 8821 3600.02/3609.20 c LP learned Farkas constraints 409 3600.02/3609.20 c LP basis resets 2 3600.02/3609.20 c LP cycling count 0 3600.02/3609.20 c LP singular count 0 3600.02/3609.20 c LP no primal count 0 3600.02/3609.20 c LP no farkas count 2 3600.02/3609.20 c LP other issue count 0 3600.02/3609.20 c LP Gomory cuts 586 3600.02/3609.20 c LP learned cuts 619 3600.02/3609.20 c LP deleted cuts 1165 3600.02/3609.20 c LP encountered Gomory constraints 4541 3600.02/3609.20 c LP encountered Farkas constraints 7425 3600.02/3609.20 c LP encountered learned Farkas constraints 1937 3600.02/3609.20 c CG auxiliary variables introduced 947 3600.02/3609.20 c CG solutions found 452 3600.02/3609.20 c CG cores constructed 746 3600.02/3609.20 c CG core cardinality constraints returned 67 3600.02/3609.20 c CG unit cores 0 3600.02/3609.20 c CG single cores 655 3600.02/3609.20 c CG blocks removed during cardinality reduction 0 3600.02/3609.20 c CG first core best 1 3600.02/3609.20 c CG decision core best 2 3600.02/3609.20 c CG core reduction tie 88 3600.02/3609.20 c CG core degree average 1.14 3600.02/3609.20 c CG core slack average 13.57 3600.02/3609.20 s SATISFIABLE 3600.02/3609.20 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
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 (62587 MiB free)
memory of node 1: 64510 MiB (63273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455200-1721455861/watcher-4455200-1721455861 -o /tmp/evaluation-result-4455200-1721455861/solver-4455200-1721455861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042522 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455200-1721455861.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1042564, runsolver pid=1042555
Current StackSize limit: 8192 KiB
[startup+0.100384 s]*
/proc/loadavg: 3.62 4.01 4.06 4/253 1042585
/proc/meminfo: memFree=128867696/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=42648 memory=12436 CPUtime=0.09 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 1784 0 0 0 9 0 0 0 20 0 1 0 197750984 43671552 3109 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 10662 3109 1736 922 0 2614 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42648 KiB
Current children cumulated memory: 12436 KiB
[startup+0.20477 s]*
/proc/loadavg: 3.62 4.01 4.06 3/247 1042601
/proc/meminfo: memFree=128861772/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=43392 memory=16712 CPUtime=0.2 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 2290 0 0 0 16 4 0 0 20 0 1 0 197750984 44433408 4178 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 10848 4178 1767 922 0 2800 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43392 KiB
Current children cumulated memory: 16712 KiB
[startup+0.305444 s]*
/proc/loadavg: 3.62 4.01 4.06 3/251 1042613
/proc/meminfo: memFree=128856928/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=45140 memory=18820 CPUtime=0.29 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 2833 0 0 0 23 6 0 0 20 0 1 0 197750984 46223360 4705 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 11285 4705 1767 922 0 3237 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45140 KiB
Current children cumulated memory: 18820 KiB
[startup+0.700164 s]
/proc/loadavg: 3.62 4.01 4.06 5/257 1042677
/proc/meminfo: memFree=128836076/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=53244 memory=25392 CPUtime=0.68 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 3435 0 0 0 40 28 0 0 20 0 1 0 197750984 54521856 6348 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 13311 6348 1767 922 0 5263 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53244 KiB
Current children cumulated memory: 25392 KiB
[startup+1.50018 s]
/proc/loadavg: 3.65 4.01 4.06 4/254 1042737
/proc/meminfo: memFree=128830356/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=81188 memory=46356 CPUtime=1.48 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 6654 0 0 0 85 63 0 0 20 0 1 0 197750984 83136512 11589 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 20297 11589 1767 922 0 12249 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81188 KiB
Current children cumulated memory: 46356 KiB
[startup+3.10522 s]
/proc/loadavg: 3.65 4.01 4.06 5/257 1042769
/proc/meminfo: memFree=128649980/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=112004 memory=70840 CPUtime=3.08 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 10140 0 0 0 203 105 0 0 20 0 1 0 197750984 114692096 17710 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 28001 17710 1844 922 0 19953 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 112004 KiB
Current children cumulated memory: 70840 KiB
[startup+6.3002 s]
/proc/loadavg: 3.68 4.01 4.06 5/257 1042769
/proc/meminfo: memFree=128501996/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=148716 memory=108580 CPUtime=6.27 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 18609 0 0 0 497 130 0 0 20 0 1 0 197750984 152285184 27145 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 37179 27145 1860 922 0 29131 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 148716 KiB
Current children cumulated memory: 108580 KiB
[startup+12.7002 s]
/proc/loadavg: 3.70 4.01 4.06 5/257 1042771
/proc/meminfo: memFree=128321916/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=156188 memory=117788 CPUtime=12.65 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 20905 0 0 0 1113 152 0 0 20 0 1 0 197750984 159936512 29447 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 39047 29447 1860 922 0 30999 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 156188 KiB
Current children cumulated memory: 117788 KiB
[startup+25.5002 s]
/proc/loadavg: 3.75 4.01 4.06 5/257 1042772
/proc/meminfo: memFree=127994572/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=170212 memory=130596 CPUtime=25.41 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 23593 0 0 0 2351 190 0 0 20 0 1 0 197750984 174297088 32649 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 42553 32649 1860 922 0 34505 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 170212 KiB
Current children cumulated memory: 130596 KiB
[startup+51.1053 s]
/proc/loadavg: 3.91 4.02 4.06 5/257 1042777
/proc/meminfo: memFree=127819584/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=272480 memory=221432 CPUtime=50.94 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 38657 0 0 0 4843 251 0 0 20 0 1 0 197750984 279019520 55358 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 68120 55358 1860 922 0 60072 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 272480 KiB
Current children cumulated memory: 221432 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 4.02 4.06 5/257 1042831
/proc/meminfo: memFree=127663628/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=273736 memory=224556 CPUtime=101.98 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 39630 0 0 0 9849 349 0 0 20 0 1 0 197750984 280305664 56139 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 68434 56139 1860 922 0 60386 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 273736 KiB
Current children cumulated memory: 224556 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.03 4.06 5/257 1042842
/proc/meminfo: memFree=127273000/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=279620 memory=246516 CPUtime=161.83 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 42129 0 0 0 15750 433 0 0 20 0 1 0 197750984 286330880 61629 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 69905 61629 1860 922 0 61857 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 279620 KiB
Current children cumulated memory: 246516 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.03 4.06 5/257 1042854
/proc/meminfo: memFree=127036516/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=565920 memory=417116 CPUtime=221.67 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 70309 0 0 0 21671 496 0 0 20 0 1 0 197750984 579502080 104279 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 141480 104279 1860 922 0 133432 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 565920 KiB
Current children cumulated memory: 417116 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.04 4.06 5/255 1042865
/proc/meminfo: memFree=126959672/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=565700 memory=417016 CPUtime=281.52 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 70664 0 0 0 27571 581 0 0 20 0 1 0 197750984 579276800 104254 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 141425 104254 1860 922 0 133377 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 565700 KiB
Current children cumulated memory: 417016 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.06 4.06 5/255 1042875
/proc/meminfo: memFree=126308612/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=565716 memory=417316 CPUtime=341.38 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 70995 0 0 0 33473 665 0 0 20 0 1 0 197750984 579293184 104329 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 141429 104329 1860 922 0 133381 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 565716 KiB
Current children cumulated memory: 417316 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.06 4.06 5/255 1042886
/proc/meminfo: memFree=125827576/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=565716 memory=417324 CPUtime=401.23 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 71087 0 0 0 39383 740 0 0 20 0 1 0 197750984 579293184 104331 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 141429 104331 1860 922 0 133381 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 565716 KiB
Current children cumulated memory: 417324 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.05 4.06 5/255 1042896
/proc/meminfo: memFree=125825372/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=565716 memory=417540 CPUtime=461.07 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 71230 0 0 0 45303 804 0 0 20 0 1 0 197750984 579293184 104385 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 141429 104385 1860 922 0 133381 0
################
# More data... #
################
Current children cumulated memory: 681220 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/257 1044495
/proc/meminfo: memFree=121410484/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=869020 memory=687852 CPUtime=2855.03 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 116366 0 0 0 283486 2017 0 0 20 0 1 0 197750984 889876480 171963 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 217255 171963 1860 922 0 209207 0
Current children cumulated CPU time: 2855.03 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 687852 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/257 1044505
/proc/meminfo: memFree=121375140/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=913432 memory=720008 CPUtime=2914.88 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 124533 0 0 0 289453 2035 0 0 20 0 1 0 197750984 935354368 180002 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 228358 180002 1860 922 0 220310 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 913432 KiB
Current children cumulated memory: 720008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/256 1044519
/proc/meminfo: memFree=121318352/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776192 CPUtime=2974.74 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 137151 0 0 0 295419 2055 0 0 20 0 1 0 197750984 1013272576 194048 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194048 1860 922 0 239333 0
Current children cumulated CPU time: 2974.74 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776192 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/256 1044540
/proc/meminfo: memFree=121314232/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776192 CPUtime=3034.59 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 137240 0 0 0 301390 2069 0 0 20 0 1 0 197750984 1013272576 194048 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194048 1860 922 0 239333 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776192 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.17 4.17 5/256 1044550
/proc/meminfo: memFree=121304452/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776192 CPUtime=3094.44 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 137330 0 0 0 307364 2080 0 0 20 0 1 0 197750984 1013272576 194048 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194048 1860 922 0 239333 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776192 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/255 1044561
/proc/meminfo: memFree=121123592/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776212 CPUtime=3154.28 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 137512 0 0 0 313334 2094 0 0 20 0 1 0 197750984 1013272576 194053 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194053 1860 922 0 239333 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776212 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/255 1044572
/proc/meminfo: memFree=120950708/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776212 CPUtime=3214.13 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 137601 0 0 0 319303 2110 0 0 20 0 1 0 197750984 1013272576 194053 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194053 1860 922 0 239333 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/254 1044582
/proc/meminfo: memFree=120770744/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776324 CPUtime=3273.97 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 137807 0 0 0 325274 2123 0 0 20 0 1 0 197750984 1013272576 194081 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194081 1860 922 0 239333 0
Current children cumulated CPU time: 3273.97 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776324 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/254 1044592
/proc/meminfo: memFree=120621764/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776324 CPUtime=3333.81 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 137896 0 0 0 331246 2135 0 0 20 0 1 0 197750984 1013272576 194081 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194081 1860 922 0 239333 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776324 KiB
[startup+3402.3 s]
/proc/loadavg: 4.29 4.18 4.17 6/254 1044603
/proc/meminfo: memFree=120280780/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776324 CPUtime=3393.66 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 138074 0 0 0 337221 2145 0 0 20 0 1 0 197750984 1013272576 194081 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194081 1860 922 0 239333 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/254 1044614
/proc/meminfo: memFree=119022348/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776336 CPUtime=3453.51 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 138170 0 0 0 343191 2160 0 0 20 0 1 0 197750984 1013272576 194084 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194084 1860 922 0 239333 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776336 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/254 1044624
/proc/meminfo: memFree=118344756/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776352 CPUtime=3513.35 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 138348 0 0 0 349165 2170 0 0 20 0 1 0 197750984 1013272576 194088 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194088 1860 922 0 239333 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/257 1044641
/proc/meminfo: memFree=117812716/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776352 CPUtime=3573.2 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 138437 0 0 0 355138 2182 0 0 20 0 1 0 197750984 1013272576 194088 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194088 1860 922 0 239333 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.10 4.14 4.16 5/257 1044645
/proc/meminfo: memFree=117471940/131524600 swapFree=131071996/131071996
[pid=1042564] ppid=1042555 vsize=989524 memory=776360 CPUtime=3600.02 cores=4,6
/proc/1042564/stat : 1042564 (roundingsat) R 1042555 1042564 1042511 0 -1 4194304 138738 0 0 0 357813 2189 0 0 20 0 1 0 197750984 1013272576 194090 134679101440 4194304 7968373 140736531088912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 30670848 140736531096508 140736531096672 140736531096672 140736531103689 0
/proc/1042564/statm: 247381 194090 1860 922 0 239333 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 989524 KiB
Current children cumulated memory: 776360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.22 s]
# the end of solver process 1042564 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.14 s, system=21.9153 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.22
CPU time (s): 3600.06
CPU user time (s): 3578.14
CPU system time (s): 21.9153
CPU usage (%): 99.7461
Max. virtual memory (cumulated for all children) (KiB): 990316
Max. memory (cumulated for all children) (KiB): 776912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.14
system time used= 21.9153
maximum resident set size= 776912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138755
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= 66
involuntary context switches= 2056
# summary of solver processes directly reported to runsolver:
# pid: 1042564
# total CPU time (s): 3600.06
# total CPU user time (s): 3578.14
# total CPU system time (s): 21.9153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8756 second user time and 16.7565 second system time
The end
Begin job on nodeC024 at 2024-07-20 08:11:14 IDJOB=4455200 IDBENCH=146649 IDSOLVER=3084 FILE ID=nodeC024/4455200-1721455861 RUNJOBID= nodeC024-1721455874-1042522 SLURM_JOB_ID= 7545689 Free space on /tmp= 890084 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-4455200-1721455861/watcher-4455200-1721455861 -o /tmp/evaluation-result-4455200-1721455861/solver-4455200-1721455861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721455874-1042522 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455200-1721455861.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1c26e44dc48355aad6827be56d900020 RANDOM SEED=881162047 nodeC024.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 : 3764.649 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.60 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 : 3844.299 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.08 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 : 3623.520 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.60 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 : 3738.061 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.08 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 : 3607.664 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.60 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 : 3824.032 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.08 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 : 3845.234 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.60 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 : 3735.635 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.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128892060 kB MemAvailable: 129708276 kB Buffers: 546948 kB Cached: 1114016 kB SwapCached: 0 kB Active: 1042788 kB Inactive: 975892 kB Active(anon): 1444 kB Inactive(anon): 402824 kB Active(file): 1041344 kB Inactive(file): 573068 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10584 kB Writeback: 4 kB AnonPages: 358752 kB Mapped: 107252 kB Shmem: 45912 kB KReclaimable: 82904 kB Slab: 194528 kB SReclaimable: 82904 kB SUnreclaim: 111624 kB KernelStack: 3872 kB PageTables: 8544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 700776 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71744 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 299732 kB DirectMap2M: 36173824 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890060 MiB End job on nodeC024 at 2024-07-20 09:11:23