133.95/131.52	s SATISFIABLE
133.95/131.53	v 65 192 194 195 198 199 202 206 229 230 233 234 237 241 268 278 279 282 315 318 328 356 -255 -2 -4 -5 -8 -9 -12 -16 -39 -40 -43 -44 -47 -51 -78 -88 -89 -92 -125 -128 -138 -166 -6280 -6279 -6278 -6277 -6276 -6275 -6274 -6273 -6272 -6271 -6270 -6269 -6268 -6267 -6266 -6265 -6264 -6263 -6262 -6261 -1220 -1219 -1218 -1217 -1216 -1215 -1214 -1213 -1212 -1211 -1210 -1209 -1208 -1207 -1206 -1205 -1204 -1203 -1202 -1201 -1260 -1259 -1258 -1257 -1256 -1255 -1254 -1253 -1252 -1251 -1250 -1249 -1248 -1247 -1246 -1245 -1244 -1243 -1242 -1241 -1280 -1279 -1278 -1277 -1276 -1275 -1274 -1273 -1272 -1271 -1270 -1269 -1268 -1267 -1266 -1265 -1264 -1263 -1262 -1261 -1340 -1339 -1338 -1337 -1336 -1335 -1334 -1333 -1332 -1331 -1330 -1329 -1328 -1327 -1326 -1325 -1324 -1323 -1322 -1321 -1360 -1359 -1358 -1357 -1356 -1355 -1354 -1353 -1352 -1351 -1350 -1349 -1348 -1347 -1346 -1345 -1344 -1343 -1342 -1341 -1420 -1419 -1418 -1417 -1416 -1415 -1414 -1413 -1412 -1411 -1410 -1409 -1408 -1407 -1406 -1405 -1404 -1403 -1402 -1401 -1500 -1499 -1498 -1497 -1496 -1495 -1494 -1493 -1492 -1491 -1490 -1489 -1488 -1487 -1486 -1485 -1484 -1483 -1482 -1481 -1960 -1959 -1958 -1957 -1956 -1955 -1954 -1953 -1952 -1951 -1950 -1949 -1948 -1947 -1946 -1945 -1944 -1943 -1942 -1941 -1980 -1979 -1978 -1977 -1976 -1975 -1974 -1973 -1972 -1971 -1970 -1969 -1968 -1967 -1966 -1965 -1964 -1963 -1962 -1961 -2040 -2039 -2038 -2037 -2036 -2035 -2034 -2033 -2032 -2031 -2030 -2029 -2028 -2027 -2026 -2025 -2024 -2023 -2022 -2021 -2060 -2059 -2058 -2057 -2056 -2055 -2054 -2053 -2052 -2051 -2050 -2049 -2048 -2047 -2046 -2045 -2044 -2043 -2042 -2041 -2120 -2119 -2118 -2117 -2116 -2115 -2114 -2113 -2112 -2111 -2110 -2109 -2108 -2107 -2106 -2105 -2104 -2103 -2102 -2101 -2200 -2199 -2198 -2197 -2196 -2195 -2194 -2193 -2192 -2191 -2190 -2189 -2188 -2187 -2186 -2185 -2184 -2183 -2182 -2181 -2740 -2739 -2738 -2737 -2736 -2735 -2734 -2733 -2732 -2731 -2730 -2729 -2728 -2727 -2726 -2725 -2724 -2723 -2722 -2721 -2940 -2939 -2938 -2937 -2936 -2935 -2934 -2933 -2932 -2931 -2930 -2929 -2928 -2927 -2926 -2925 -2924 -2923 -2922 -2921 -2960 -2959 -2958 -2957 -2956 -2955 -2954 -2953 -2952 -2951 -2950 -2949 -2948 -2947 -2946 -2945 -2944 -2943 -2942 -2941 -3020 -3019 -3018 -3017 -3016 -3015 -3014 -3013 -3012 -3011 -3010 -3009 -3008 -3007 -3006 -3005 -3004 -3003 -3002 -3001 -3680 -3679 -3678 -3677 -3676 -3675 -3674 -3673 -3672 -3671 -3670 -3669 -3668 -3667 -3666 -3665 -3664 -3663 -3662 -3661 -3740 -3739 -3738 -3737 -3736 -3735 -3734 -3733 -3732 -3731 -3730 -3729 -3728 -3727 -3726 -3725 -3724 -3723 -3722 -3721 -3940 -3939 -3938 -3937 -3936 -3935 -3934 -3933 -3932 -3931 -3930 -3929 -3928 -3927 -3926 -3925 -3924 -3923 -3922 -3921 -4500 -4499 -4498 -4497 -4496 -4495 -4494 -4493 -4492 -4491 -4490 -4489 -4488 -4487 -4486 -4485 -4484 -4483 -4482 -4481 -860 -10060 -9260 -6380 -6360 -6340 -6320 -6300 -6260 -6240 -6220 -6200 -6180 -6160 -6140 -6120 -6100 -6080 -5740 -5400 -5040 -10161 -10061 -1361 -1421 -1301 -1521 445 -10385 -9644 -8846 -3085 -4425 -1444 -1382 -2245 -2645 -3505 -1441 -4005 -3805 -1302 -4525 -1364 -1541 -2585 -1362 -1422 -2125 -4265 -10384 -10383 -10382 -10381 -2665 -9642 -1305 -8847 -1522 -1524 -1542 -1384 -1385 2586 71 466 486 -526 -666 -766 -586 -446 -646 -746 -606 -406 -726 -506 -2583 -2581 -261 -10386 -9665 -8867 -626 -426 -386 -1686 -2286 -3946 -3766 -3966 -9661 -3706 -2346 -3046 -3086 -3906 -2366 -9685 -8887 -566 -546 -2584 -9682 -2582 -9683 -706 -686 -9726 -8926 -3646 -3626 -3606 -3586 -3566 -3546 -3526 -3506 -3486 -3466 -3446 -3426 -3166 -2906 -2626 -2326 -2006 -1666 -1306 -9866 -9066 -4766 -4746 -4726 -4706 -4686 -4566 -4446 -4306 -4146 -3306 -2766 -2466 -2146 -1806 -1446 -9966 -9166 -4966 -4946 -4906 -4846 -4666 -4546 -4406 -4246 -4066 -3866 -3406 -3146 -2866 -2566 -2246 -1906 -1546 -9786 -8986 -4226 -4206 -4186 -4166 -4126 -4106 -4086 -3886 -3686 -3226 -2966 -2686 -2386 -2066 -1726 -1366 -9646 -2546 -2526 -2506 -2486 -2446 -2426 -2406 -2306 -2266 -1926 -1586 -1226 -454 -455 -449 -458 -456 -460 -459 -457 -453 -450 -451 -452 -448 -447 9645 -9846 -9046 -4646 -4626 -4606 -4586 -4426 -4286 -3746 -3286 -3026 -2746 -2126 -1786 -1426 -9946 -9146 -4926 -4886 -4826 -4526 -4386 -4046 -3846 -3386 -3126 -2846 -2226 -1886 -1526 -9806 -9006 -4366 -4346 -4326 -4266 -3246 -2986 -2706 -2086 -1746 -1386 -9606 -8806 -1866 -1846 -1826 -1766 -1706 -1646 -1626 -1606 -1566 -1186 -9926 -9126 -4866 -4806 -4506 -4026 -3826 -3366 -3106 -2826 -2206 -1506 -9706 -8906 -3346 -3326 -3266 -3206 -3186 -2886 -2606 -1986 -1286 -6400 -6399 -6398 -6397 -6396 -6395 -6394 -6393 -6392 -6391 -6390 -6389 -6388 -6387 -6386 -6385 -6384 -6383 -6382 -6381 -9826 -9026 -4466 -9626 -8826 -2166 -9586 -8786 -1466 -9766 -8966 -4006 -3986 -2666 -9746 -8946 -3806 -3786 -2646 -9906 -9106 -4786 -2806 -9886 -9086 -3066 -2786 -2587 -9654 -8854 -2574 -2554 -2534 -2514 -2494 -2474 -2454 -2434 -2414 -2394 -2374 -2354 -2334 -2314 -2294 -2274 -1934 -1594 -1234 -9655 -8855 -2575 -2555 -2535 -2515 -2495 -2475 -2455 -2435 -2415 -2395 -2375 -2355 -2335 -2315 -2295 -2275 -1935 -1595 -1235 -9649 -8849 -2569 -2549 -2529 -2509 -2489 -2469 -2449 -2429 -2409 -2389 -2369 -2349 -2329 -2309 -2289 -2269 -1929 -1589 -1229 -9658 -8858 -2578 -2558 -2538 -2518 -2498 -2478 -2458 -2438 -2418 -2398 -2378 -2358 -2338 -2318 -2298 -2278 -1938 -1598 -1238 -9656 -8856 -2576 -2556 -2536 -2516 -2496 -2476 -2456 -2436 -2416 -2396 -2376 -2356 -2336 -2316 -2296 -2276 -1936 -1596 -1236 -9660 -8860 -2580 -2560 -2540 -2520 -2500 -2480 -2460 -2440 -2420 -2400 -2380 -2360 -2340 -2320 -2300 -2280 -1940 -1600 -1240 -9659 -8859 -2579 -2559 -2539 -2519 -2499 -2479 -2459 -2439 -2419 -2399 -2379 -2359 -2339 -2319 -2299 -2279 -1939 -1599 -1239 -9657 -8857 -2577 -2557 -2537 -2517 -2497 -2477 -2457 -2437 -2417 -2397 -2377 -2357 -2337 -2317 -2297 -2277 -1937 -1597 -1237 -9653 -8853 -2573 -2553 -2533 -2513 -2493 -2473 -2453 -2433 -2413 -2393 -2373 -2353 -2333 -2313 -2293 -2273 -1933 -1593 -1233 -9650 -8850 -2570 -2550 -2530 -2510 -2490 -2470 -2450 -2430 -2410 -2390 -2370 -2350 -2330 -2310 -2290 -2270 -1930 -1590 -1230 -9651 -8851 -2571 -2551 -2531 -2511 -2491 -2471 -2451 -2431 -2411 -2391 -2371 -2351 -2331 -2311 -2291 -2271 -1931 -1591 -1231 -9652 -8852 -2572 -2552 -2532 -2512 -2492 -2472 -2452 -2432 -2412 -2392 -2372 -2352 -2332 -2312 -2292 -2272 -1932 -1592 -1232 -9648 -8848 -2568 -2548 -2528 -2508 -2488 -2468 -2448 -2428 -2408 -2388 -2368 -2348 -2328 -2308 -2288 -2268 -1928 -1588 -1228 -9647 -2567 -2547 -2527 -2507 -2487 -2467 -2447 -2427 -2407 -2387 -2367 -2347 -2327 -2307 -2287 -2267 -1927 -1587 -1227 -2594 -2588 -2589 -2591 -2596 -2593 -2595 -2590 -2592 -1442 1387 11 387 607 -647 -201 -10387 -8788 -707 -627 -567 -547 -487 -467 -427 -727 8787 -385 -747 -9008 -9802 -9805 -605 9007 -604 -527 -407 -603 -602 -9847 -9047 -4667 -4647 -4627 -4607 -4587 -4567 -4427 -4287 -4127 -3947 -3747 -3527 -3287 -3027 -2747 -2127 -1787 -1427 -5200 -5199 -5198 -5197 -5196 -5195 -5194 -5193 -5192 -5191 -5190 -5189 -5188 -5187 -5186 -5185 -5184 -5183 -5182 -5181 -9907 -9107 -4907 -4887 -4867 -4787 -4707 -4347 -4187 -4007 -3807 -3587 -3347 -3087 -2807 -1847 -9827 -9027 -4547 -4527 -4507 -4467 -4447 -4267 -4107 -3507 -3267 -1767 -9767 -8967 -4067 -4047 -4027 -3987 -3967 -3907 -3887 -3447 -3207 -2667 -1707 -9747 -8947 -3867 -3847 -3827 -3787 -3767 -3707 -3687 -3427 -3187 -2647 -1687 -9687 -3147 -3127 -3107 -3067 -3047 -2987 -2967 -2907 -2887 -1627 -490 -492 -488 -499 -491 -500 -494 -496 9686 -498 -493 -497 -489 -495 -9667 -2867 -2847 -2827 -2787 -2767 -2707 -2687 -2627 -2607 -1607 9666 -469 -473 -471 -479 -477 -480 -478 -475 -476 -474 -472 -470 -468 -9627 -8827 -2247 -2227 -2207 -2167 -2147 -2087 -2067 -2007 -1987 -1567 -9927 -9127 -4947 -4927 -4807 -4727 -4367 -4207 -3607 -3367 -1867 -1507 -9585 -8785 -1545 -1525 -1505 -1465 -1445 -1425 -1365 -1285 -1225 -1185 -384 -9947 -9147 -4967 -4827 -4747 -4387 -4227 -3627 -3387 -1887 -1527 -9005 -4405 -4385 -4365 -4345 -4325 -4305 -4285 -4085 -3905 -3705 -3485 -3245 -2985 -2705 -2405 -2085 -1745 -9804 -9004 -4404 -4384 -4364 -4344 -4324 -4304 -4284 -4264 -4084 -3904 -3704 -3484 -3244 -2984 -2704 -2404 -2084 -1744 -9727 -8927 -3647 -3567 -3547 -3487 -3467 -3167 -1667 -1307 -9607 -8807 -1907 -1827 -1807 -1747 -1727 -1647 -1187 -9803 -9003 -4403 -4383 -4363 -4343 -4323 -4303 -4283 -4263 -4083 -3903 -3703 -3483 -3243 -2983 -2703 -2403 -2083 -1743 -1383 -9002 -4402 -4382 -4362 -4342 -4322 -4302 -4282 -4262 -4082 -3902 -3702 -3482 -3242 -2982 -2702 -2402 -2082 -1742 -601 -9690 -8890 -3150 -3130 -3110 -3090 -3070 -3050 -3030 -2990 -2970 -2910 -2890 -1630 -9692 -8892 -3152 -3132 -3112 -3092 -3072 -3052 -3032 -2992 -2972 -2912 -2892 -1632 -9688 -8888 -3148 -3128 -3108 -3088 -3068 -3048 -3028 -2988 -2968 -2908 -2888 -1628 -9699 -8899 -3159 -3139 -3119 -3099 -3079 -3059 -3039 -2999 -2979 -2919 -2899 -2599 -1639 -9691 -8891 -3151 -3131 -3111 -3091 -3071 -3051 -3031 -2991 -2971 -2911 -2891 -1631 -9700 -8900 -3160 -3140 -3120 -3100 -3080 -3060 -3040 -3000 -2980 -2920 -2900 -2600 -1640 -9694 -8894 -3154 -3134 -3114 -3094 -3074 -3054 -3034 -2994 -2974 -2914 -2894 -1634 -9696 -8896 -3156 -3136 -3116 -3096 -3076 -3056 -3036 -2996 -2976 -2916 -2896 -1636 -9698 -8898 -3158 -3138 -3118 -3098 -3078 -3058 -3038 -2998 -2978 -2918 -2898 -2598 -1638 -9693 -8893 -3153 -3133 -3113 -3093 -3073 -3053 -3033 -2993 -2973 -2913 -2893 -1633 -9697 -8897 -3157 -3137 -3117 -3097 -3077 -3057 -3037 -2997 -2977 -2917 -2897 -2597 -1637 -9689 -8889 -3149 -3129 -3109 -3089 -3069 -3049 -3029 -2989 -2969 -2909 -2889 -1629 -9695 -8895 -3155 -3135 -3115 -3095 -3075 -3055 -3035 -2995 -2975 -2915 -2895 -1635 -9669 -8869 -2869 -2849 -2829 -2809 -2789 -2769 -2749 -2709 -2689 -2669 -2649 -2629 -2609 -1609 -9673 -8873 -2873 -2853 -2833 -2813 -2793 -2773 -2753 -2713 -2693 -2673 -2653 -2633 -2613 -1613 -9671 -8871 -2871 -2851 -2831 -2811 -2791 -2771 -2751 -2711 -2691 -2671 -2651 -2631 -2611 -1611 -9679 -8879 -2879 -2859 -2839 -2819 -2799 -2779 -2759 -2719 -2699 -2679 -2659 -2639 -2619 -1619 -9677 -8877 -2877 -2857 -2837 -2817 -2797 -2777 -2757 -2717 -2697 -2677 -2657 -2637 -2617 -1617 -9680 -8880 -2880 -2860 -2840 -2820 -2800 -2780 -2760 -2720 -2700 -2680 -2660 -2640 -2620 -1620 -9678 -8878 -2878 -2858 -2838 -2818 -2798 -2778 -2758 -2718 -2698 -2678 -2658 -2638 -2618 -1618 -9675 -8875 -2875 -2855 -2835 -2815 -2795 -2775 -2755 -2715 -2695 -2675 -2655 -2635 -2615 -1615 -9676 -8876 -2876 -2856 -2836 -2816 -2796 -2776 -2756 -2716 -2696 -2676 -2656 -2636 -2616 -1616 -9674 -8874 -2874 -2854 -2834 -2814 -2794 -2774 -2754 -2714 -2694 -2674 -2654 -2634 -2614 -1614 -9672 -8872 -2872 -2852 -2832 -2812 -2792 -2772 -2752 -2712 -2692 -2672 -2652 -2632 -2612 -1612 -9670 -8870 -2870 -2850 -2830 -2810 -2790 -2770 -2750 -2710 -2690 -2670 -2650 -2630 -2610 -1610 -9668 -8868 -2868 -2848 -2828 -2808 -2788 -2768 -2748 -2708 -2688 -2668 -2648 -2628 -2608 -1608 -9584 -8784 -1544 -1504 -1464 -1424 -1304 -1284 -1224 -1184 -383 -9801 -9001 -4401 -4381 -4361 -4341 -4321 -4301 -4281 -4261 -4081 -3901 -3701 -3481 -3241 -2981 -2701 -2401 -2081 -1741 -1381 -91 -77 -9583 -8783 -1543 -1523 -1503 -1463 -1443 -1423 -1363 -1303 -1283 -1223 -1183 -382 -62 -9582 -8782 -1502 -1462 -1282 -1222 -1182 -381 -9581 -8781 -1501 -1461 -1281 -1221 -1181 -3 80 -270 -6580 -6579 -6578 -6577 -6576 -6575 -6574 -6573 -6572 -6571 -6570 -6569 -6568 -6567 -6566 -6565 -6564 -6563 -6562 -6561 284 -94 -3045 -3044 -3043 -3042 -3041 -485 -8885 -3145 -3125 -3105 -3065 -3025 -2965 -2905 -2885 -2285 -1625 -96 -56 8886 -484 -481 -3084 -3083 -3082 -3081 -2284 -2283 -2282 -2281 -9684 -8884 -3144 -3124 -3104 -3064 -3024 -2964 -2904 -2884 -1624 -483 -9681 -8881 -3141 -3121 -3101 -3061 -3021 -2961 -2901 -2881 -1621 -8883 -3143 -3123 -3103 -3063 -3023 -2963 -2903 -2883 -1623 -482 -23 -8882 -3142 -3122 -3102 -3062 -3022 -2962 -2902 -2882 -1622 -99 -98 -97 -95 -93 -90 -87 -86 -168 -4540 -4539 -4538 -4537 -4536 -4535 -4534 -4533 -4532 -4531 -4530 -4529 -4528 -4524 -4523 -4522 -4521 -132 -3820 -3819 -3818 -3817 -3816 -3815 -3814 -3813 -3812 -3811 -3810 -3809 -3808 -3804 -3803 -3802 -3801 20 -210 -5380 -5379 -5378 -5377 -5376 -5375 -5374 -5373 -5372 -5371 -5370 -5369 -5368 -5367 -5366 -5365 -5364 -5363 -5362 -5361 -4274 665 -9864 -9863 -2761 -676 -4045 -425 -3845 465 -4105 -3745 -4545 -3945 2465 -9071 9865 -4645 -705 -3525 -669 -667 -680 -672 2765 -674 -671 -673 -675 -677 -678 -679 -668 -670 -9876 -9076 -4776 -4756 -4736 -4716 -4696 -4576 -4456 -4316 -4156 -3976 -3776 -3556 -3316 -2156 -1816 -1456 -9625 -8825 -2225 -2205 -2165 -2145 -2065 -2005 -1985 -1925 -1565 -9664 -8866 -625 -2345 -9662 -3865 -3425 -545 -4185 -565 2265 -4605 -9905 -9105 -4905 -4885 -4865 -4785 -4705 -3585 -3345 -2805 -2505 -1845 -9869 -9069 -4769 -4749 -4729 -4709 -4689 -4569 -4449 -4309 -4149 -3969 -3769 -3549 -3309 -2149 -1809 -1449 -9867 -9067 -4767 -4687 -4307 -4147 -3307 -1447 -9880 -9080 -4780 -4760 -4740 -4720 -4700 -4580 -4460 -4320 -4160 -3980 -3780 -3560 -3320 -2160 -1820 -1460 -9872 -9072 -4772 -4752 -4732 -4712 -4692 -4572 -4452 -4312 -4152 -3972 -3772 -3552 -3312 -2152 -1812 -1452 -9874 -9074 -4774 -4754 -4734 -4714 -4694 -4574 -4454 -4314 -4154 -3974 -3774 -3554 -3314 -2154 -1814 -1454 -9871 -4771 -4751 -4731 -4711 -4691 -4571 -4451 -4311 -4151 -3971 -3771 -3551 -3311 -2151 -1811 -1451 -9873 -9073 -4773 -4753 -4733 -4713 -4693 -4573 -4453 -4313 -4153 -3973 -3773 -3553 -3313 -2153 -1813 -1453 -9875 -9075 -4775 -4755 -4735 -4715 -4695 -4575 -4455 -4315 -4155 -3975 -3775 -3555 -3315 -2155 -1815 -1455 -9877 -9077 -4777 -4757 -4737 -4717 -4697 -4577 -4457 -4317 -4157 -3977 -3777 -3557 -3317 -2157 -1817 -1457 -9878 -9078 -4778 -4758 -4738 -4718 -4698 -4578 -4458 -4318 -4158 -3978 -3778 -3558 -3318 -2158 -1818 -1458 -9879 -9079 -4779 -4759 -4739 -4719 -4699 -4579 -4459 -4319 -4159 -3979 -3779 -3559 -3319 -2159 -1819 -1459 -9868 -9068 -4768 -4748 -4728 -4708 -4688 -4568 -4448 -4308 -4148 -3968 -3768 -3548 -3308 -2148 -1808 -1448 -9870 -9070 -4770 -4750 -4730 -4710 -4690 -4570 -4450 -4310 -4150 -3970 -3770 -3550 -3310 -2150 -1810 -1450 -157 -9825 -9025 -4505 -4465 -4445 -3265 -2425 -1765 -9745 -8945 -3825 -3785 -3765 -3685 -3185 -1685 -9765 -8965 -4065 -4025 -3985 -3965 -3885 -3445 -3205 -2365 -1705 55 -14 119 -245 170 -309 -6079 -6078 -6077 -6076 -6075 -6074 -6073 -6072 -6071 -6070 -6069 -6068 -6067 -6066 -6065 -6064 -6063 -6062 -6061 246 -360 -655 -7360 -7359 -7358 -7357 -7356 -7355 -7354 -7353 -7352 -7351 -7350 -7349 -7348 -7347 -7346 -7345 -7344 -7343 -7342 -7341 -5041 -8380 -8379 -8378 -8377 -8376 -8375 -8374 -8373 -8372 -8371 -8370 -8369 -8368 -8367 -8366 -8365 -8364 -8363 -8362 -8361 -9855 -9055 -4675 -4655 -4635 -4615 -4595 -4435 -4295 -4135 -3955 -3755 -3535 -3295 -2135 -1795 -1435 -657 -9857 -9057 -4677 -4657 -4637 -4617 -4597 -4437 -4297 -4137 -3957 -3757 -3537 -3297 -2137 -1797 -1437 -659 -9859 -9059 -4679 -4659 -4639 -4619 -4599 -4439 -4299 -4139 -3959 -3759 -3539 -3299 -2139 -1799 -1439 663 -9862 -9064 -2643 -2663 664 -2223 -2123 -1923 -9065 -2664 -2644 -2124 -1924 -2224 -644 -9844 -9044 -4664 -4644 -4624 -4604 -4584 -4564 -4424 -4124 -3944 -3744 -3524 -3284 -2744 -2444 -1784 -562 -9762 -8962 -4062 -4042 -4022 -4002 -3982 -3962 -3942 -3882 -3442 -3202 -2662 -2362 -1702 -643 -9843 -9043 -4663 -4643 -4623 -4603 -4583 -4563 -4423 -4123 -3943 -3743 -3523 -3283 -2743 -2443 -1783 -443 -9643 -8843 -2563 -2543 -2523 -2503 -2483 -2463 -2423 -2383 -2363 -2343 -2323 -2303 -2263 -1583 -442 -441 -38 -2462 -8842 -2562 -2542 -2522 -2502 -2482 -2442 -2422 -2382 -2342 -2322 -2302 -2262 -1922 -1582 -2461 -2261 -2421 -9641 -8841 -2561 -2541 -2521 -2501 -2481 -2441 -2381 -2361 -2341 -2321 -2301 -1921 -1581 444 -464 -704 -8845 -2004 -424 -2144 -3844 2464 -2804 -4104 -4544 8844 -8864 -2864 -2844 -2824 -2784 -2764 -2684 -2624 -2604 -2264 -1604 -463 -462 -75 8865 -82 -9904 -9104 -4904 -4884 -4864 -4784 -4704 -4184 -4004 -3584 -3344 -2504 -1844 -9624 -8824 -2244 -2204 -2164 -2064 -1984 -1564 -9663 -8863 -2863 -2843 -2823 -2803 -2783 -2763 -2683 -2623 -2603 -1603 -8862 -2862 -2842 -2822 -2802 -2782 -2762 -2742 -2682 -2642 -2622 -2602 -1602 -2681 -461 -74 -2661 -2801 142 -67 -2641 -8861 -2861 -2841 -2821 -2781 -2741 -2621 -2601 -1601 -332 -7820 -7819 -7818 -7817 -7816 -7815 -7814 -7813 -7812 -7811 -7810 -7809 -7808 -7807 -7806 -7805 -7804 -7803 -7802 -7801 -564 -9764 -8964 -4064 -4044 -4024 -3984 -3964 -3884 -3444 -3204 -2364 -1704 -60 -525 -9725 -8925 -3645 -3625 -3605 -3565 -3545 -3465 -3165 -2625 -2325 -1665 -535 -529 -528 -532 -73 -9735 -8935 -3655 -3635 -3615 -3595 -3575 -3515 -3495 -3475 -3455 -3435 -3175 -2015 -1675 -1315 -536 -538 -9729 -8929 -3649 -3629 -3609 -3589 -3569 -3529 -3509 -3489 -3469 -3449 -3429 -3169 -2009 -1669 -1309 -531 -530 -9728 -8928 -3648 -3628 -3608 -3588 -3568 -3528 -3508 -3488 -3468 -3448 -3428 -3168 -2008 -1668 -1308 -9732 -8932 -3652 -3632 -3612 -3592 -3572 -3532 -3512 -3492 -3472 -3452 -3432 -3172 -2012 -1672 -1312 -533 -9736 -8936 -3656 -3636 -3616 -3596 -3576 -3536 -3516 -3496 -3476 -3456 -3436 -3176 -2016 -1676 -1316 -537 -9738 -8938 -3658 -3638 -3618 -3598 -3578 -3538 -3518 -3498 -3478 -3458 -3438 -3178 -2018 -1678 -1318 -9731 -8931 -3651 -3631 -3611 -3591 -3571 -3531 -3511 -3491 -3471 -3451 -3431 -3171 -2011 -1671 -1311 -9730 -8930 -3650 -3630 -3610 -3590 -3570 -3530 -3510 -3490 -3470 -3450 -3430 -3170 -2010 -1670 -1310 -9733 -8933 -3653 -3633 -3613 -3593 -3573 -3533 -3513 -3493 -3473 -3453 -3433 -3173 -2013 -1673 -1313 -534 -9737 -8937 -3657 -3637 -3617 -3597 -3577 -3517 -3497 -3477 -3457 -3437 -3177 -2017 -1677 -1317 -9734 -8934 -3654 -3634 -3614 -3594 -3574 -3534 -3514 -3494 -3474 -3454 -3434 -3174 -2014 -1674 -1314 -642 -9842 -9042 -4662 -4642 -4622 -4602 -4582 -4562 -4422 -4122 -3742 -3522 -3282 -2122 -1782 -139 -3960 -3958 -3956 -3954 -3953 -3952 -3951 -3950 -3949 -3948 -3941 -561 -9761 -8961 -4061 -4041 -4021 -4001 -3981 -3961 -3881 -3441 -3201 -1701 -421 -9621 -8821 -2241 -2221 -2201 -2161 -2141 -2121 -2061 -2001 -1981 -1561 -48 -2140 -2138 -2136 -2134 -2133 -2132 -2131 -2130 -2129 -2128 64 -254 -641 -648 -658 2445 -6259 -6258 -6257 -6256 -6255 -6254 -6253 -6252 -6251 -6250 -6249 -6248 -6247 -6246 -6245 -6244 -6243 -6242 -6241 -9841 -9041 -4661 -4641 -4621 -4601 -4581 -4561 -4421 -4121 -3741 -3521 -3281 -1781 -9848 -9048 -4668 -4648 -4628 -4608 -4588 -4428 -4288 -4128 -3748 -3288 -1788 -1428 -649 -9858 -9058 -4678 -4658 -4638 -4618 -4598 -4438 -4298 -4138 -3758 -3298 -1798 -1438 645 -163 4565 -660 -9849 -9049 -4669 -4649 -4629 -4609 -4589 -4429 -4289 -4129 -3749 -3289 -1789 -1429 -653 -745 2745 -4225 9845 -654 -651 -656 -650 -652 -405 -13 9045 -725 -4440 -4436 -4434 -4433 -4432 -4431 -4430 79 -9860 -9060 -4680 -4660 -4640 -4620 -4600 -4300 -4140 -3760 -3540 -3300 -1800 -1440 -129 -9853 -9053 -4673 -4653 -4633 -4613 -4593 -4293 -4133 -3753 -3293 -1793 -1433 -9945 -9145 -4965 -4925 -4825 -4745 -3385 -2845 -2545 -1885 -9854 -9054 -4674 -4654 -4634 -4614 -4594 -4294 -4134 -3754 -3294 -1794 -1434 -9851 -9051 -4671 -4651 -4631 -4611 -4591 -4291 -4131 -3751 -3291 -1791 -1431 -9856 -9056 -4676 -4656 -4636 -4616 -4596 -4296 -4136 -3756 -3296 -1796 -1436 -9850 -9050 -4670 -4650 -4630 -4610 -4590 -4290 -4130 -3750 -3290 -1790 -1430 -9852 -9052 -4672 -4652 -4632 -4612 -4592 -4292 -4132 -3752 -3292 -1792 -1432 -9605 -8805 -1905 -1865 -1825 -1805 -1785 -1725 -1645 -1605 -1585 -9925 -9125 -4945 -4805 -4725 -4625 -4205 -3365 -2825 -2525 -269 -174 -118 -84 -156 -173 -172 -31 -22 -83 -6560 -6559 -6558 -6557 -6556 -6555 -6554 -6553 -6552 -6551 -6550 -6549 -6548 -6547 -6546 -6545 -6544 -6543 -6542 -6541 283 422 -8823 -702 -622 -542 -436 -437 -435 -439 -429 -431 -428 -430 -432 -434 -433 8822 -440 -438 -9902 -9102 -4902 -4882 -4862 -4782 -4702 -4182 -3582 -3342 -1842 -9822 -9022 -4542 -4502 -4462 -4442 -4102 -3502 -3262 -1762 -9742 -8942 -3862 -3842 -3822 -3782 -3762 -3682 -3422 -3182 -1682 -9636 -8836 -2256 -2236 -2216 -2176 -2096 -2076 -1996 -1576 -9637 -8837 -2257 -2237 -2217 -2177 -2097 -2077 -1997 -1577 -9635 -8835 -2255 -2235 -2215 -2175 -2095 -2075 -1995 -1575 -9639 -8839 -2259 -2239 -2219 -2179 -2099 -2079 -2019 -1999 -1579 -9629 -8829 -2249 -2229 -2209 -2169 -2089 -2069 -1989 -1569 -9631 -8831 -2251 -2231 -2211 -2171 -2091 -2071 -1991 -1571 -9628 -8828 -2248 -2228 -2208 -2168 -2088 -2068 -1988 -1568 -9630 -8830 -2250 -2230 -2210 -2170 -2090 -2070 -1990 -1570 -9632 -8832 -2252 -2232 -2212 -2172 -2092 -2072 -1992 -1572 -9634 -8834 -2254 -2234 -2214 -2174 -2094 -2074 -1994 -1574 -9633 -8833 -2253 -2233 -2213 -2173 -2093 -2073 -1993 -1573 -9640 -8840 -2260 -2240 -2220 -2180 -2100 -2080 -2020 -2000 -1580 -9638 -8838 -2258 -2238 -2218 -2178 -2098 -2078 -1998 -1578 -412 -46 -408 -9612 -8812 -1912 -1892 -1872 -1852 -1832 -1772 -1752 -1732 -1712 -1692 -1652 -1192 -9608 -8808 -1908 -1888 -1868 -1848 -1828 -1768 -1748 -1728 -1708 -1688 -1648 -1188 -563 -9763 -8963 -4063 -4043 -4023 -4003 -3983 -3963 -3883 -3443 -3203 -1703 -703 -140 -114 -9903 -9103 -4903 -4883 -4863 -4783 -4703 -4183 -3583 -3343 -1843 49 238 264 130 164 137 -3460 -3459 -239 -320 -551 -549 -354 -633 -640 -327 -5960 -5959 -5958 -5957 -5956 -5955 -5954 -5953 -5952 -5951 -5950 -5949 -5948 -5947 -5946 -5945 -5944 -5943 -5942 -5941 228 -7580 -7579 -7578 -7577 -7576 -7575 -7574 -7573 -7572 -7571 -7570 -7569 -7568 -7567 -7566 -7565 -7564 -7563 -7562 -7561 -9751 -8951 -3871 -3851 -3831 -3791 -3711 -3691 -3191 -1691 -9749 -8949 -3869 -3849 -3829 -3789 -3709 -3689 -3189 -1689 -8260 -8259 -8258 -8257 -8256 -8255 -8254 -8253 -8252 -8251 -8250 -8249 -8248 -8247 -8246 -8245 -8244 -8243 -8242 -8241 -9833 -9033 -4553 -4513 -4473 -4273 -4113 -3273 -1773 -9840 -9040 -4560 -4520 -4480 -4280 -4120 -3520 -3280 -1780 -7720 -7719 -7718 -7717 -7716 -7715 -7714 -7713 -7712 -7711 -7710 -7709 -7708 -7707 -7706 -7705 -7704 -7703 -7702 -7701 349 -159 -4360 -4359 -4358 -4357 -4356 -4355 -4354 -4353 -4352 -4351 -4350 -4349 -4348 -523 -9723 -8923 -3643 -3623 -3603 -3563 -3543 -3503 -3463 -3423 -3163 -2003 -1663 522 -9721 -7 -116 -2222 -742 9722 -540 2002 -402 -722 662 -58 42 -524 -539 -1320 -1319 117 -3500 -3499 -53 -9942 -9142 -4962 -4922 -4822 -4742 -4222 -3622 -3382 -1882 -9740 -8940 -3660 -3640 -3620 -3600 -3580 -3480 -3440 -3180 -1680 -762 -9602 -8802 -1902 -1862 -1822 -1802 -1722 -1662 -1642 -1562 -9922 -9122 -4942 -4802 -4722 -4202 -3602 -3362 -2202 -9861 -9063 2142 -682 -502 3542 -582 -2324 -232 -9724 -8924 -3644 -3624 -3604 -3564 -3544 -3504 -3464 -3424 -3164 -1664 -9739 -8939 -3659 -3639 -3619 -3599 -3579 -3519 -3479 -3439 -3179 -1679 -307 3501 -624 4441 -623 -9962 -9162 -4842 -4762 -4242 -3642 -3402 -2242 1563 -9882 -9082 -4682 -4162 -3562 -3322 -2162 -9702 -8902 -3302 -3222 -3162 -1982 -9782 -8982 -4142 -3462 -2062 -5820 -5819 -5818 -5817 -5816 -5815 -5814 -5813 -5812 -5811 -5810 -5809 -5808 -5807 -5806 -5805 -5804 -5803 -5802 -5801 215 -636 -7320 -7319 -7318 -7317 -7316 -7315 -7314 -7313 -7312 -7311 -7310 -7309 -7308 -7307 -7306 -7305 -7304 -7303 -7302 -7301 521 621 -9824 -9024 -4504 -4464 -4444 -3264 -2424 -1764 -634 -635 661 -9823 -9023 -4543 -4503 -4463 -4443 -4103 -3263 -1763 403 423 -25 -9836 -9036 -4556 -4516 -4476 -4276 -4116 -3276 -1776 -8922 8921 -4101 -501 -761 -721 -581 -681 3541 -401 -701 -541 9021 -3621 -628 -631 -639 -63 -637 9821 -632 -629 -630 -638 -741 -147 2344 59 -9834 -9034 -4554 -4514 -4474 -4114 -3274 -1774 -9835 -9035 -4555 -4515 -4475 -4275 -4115 -3275 -1775 -9062 9061 -8804 -583 -743 1803 -723 -503 -683 -763 -414 -418 -409 -420 8803 -419 -415 -417 -413 -410 -411 -416 -9622 -543 2143 9623 -1661 -4110 -9701 -8901 -3401 -3381 -3361 -3341 -3321 -3301 -3261 -3221 -3181 -3161 -1641 -9961 -9161 -4961 -4941 -4901 -4841 -4761 -4541 -4241 -3861 -3641 -1901 -9921 -9121 -4921 -4861 -4801 -4721 -4501 -4201 -3821 -3601 -1861 -9781 -8981 -4221 -4181 -4161 -4141 -3681 -3461 -1721 -9881 -9081 -4821 -4781 -4681 -4461 -3781 -3561 -1821 -9601 -8801 -1881 -1841 -1801 -1761 -1681 -9901 -9101 -4881 -4701 -3581 -9741 -8941 -3841 -3761 -3421 -123 -9828 -9028 -4548 -4508 -4468 -4268 -4108 -3268 -9831 -9031 -4551 -4511 -4471 -4271 -4111 -3271 -1771 -9839 -9039 -4559 -4519 -4479 -4279 -4119 -3279 -1779 -9837 -9037 -4557 -4517 -4477 -4277 -4117 -3277 -1777 -9832 -9032 -4552 -4512 -4472 -4272 -4112 -3272 -9829 -9029 -4549 -4509 -4469 -4269 -4109 -3269 -1769 -9830 -9030 -4550 -4510 -4470 -4270 -3270 -1770 -9838 -9038 -4558 -4518 -4478 -4278 -4118 -3278 -1778 -9941 -9141 -4741 544 -249 -554 -30 -9783 -8983 -4243 -4223 -4203 -4163 -4143 -3683 -3223 -2063 -1723 -9943 -9143 -4963 -4923 -4823 -4743 -3843 -3383 -1883 32 -9923 -9123 -4943 -4803 -4723 -3823 -3363 -2203 -1863 -9703 -8903 -3403 -3323 -3303 -3183 -1983 -1643 -9883 -9083 -4843 -4683 -3783 -2163 -1823 -9963 -9163 -4763 -3863 -2243 -1903 -9614 -8814 -1914 -1894 -1874 -1854 -1834 -1754 -1734 -1714 -1694 -1654 -1194 -9618 -8818 -1918 -1898 -1878 -1858 -1838 -1758 -1738 -1718 -1698 -1658 -1198 -9609 -8809 -1909 -1889 -1869 -1849 -1829 -1749 -1729 -1709 -1649 -1189 -9620 -8820 -1920 -1900 -1880 -1860 -1840 -1760 -1740 -1720 -1700 -1660 -1200 -9619 -8819 -1919 -1899 -1879 -1859 -1839 -1759 -1739 -1719 -1699 -1659 -1199 -9615 -8815 -1915 -1895 -1875 -1855 -1835 -1755 -1735 -1715 -1695 -1655 -1195 -9617 -8817 -1917 -1897 -1877 -1857 -1837 -1757 -1737 -1717 -1697 -1657 -1197 -9613 -8813 -1913 -1893 -1873 -1853 -1833 -1753 -1733 -1713 -1693 -1653 -1193 -9610 -8810 -1910 -1890 -1870 -1850 -1830 -1750 -1730 -1710 -1690 -1650 -1190 -9611 -8811 -1911 -1891 -1871 -1851 -1831 -1751 -1731 -1711 -1651 -1191 -9616 -8816 -1916 -1896 -1876 -1856 -1836 -1756 -1736 -1716 -1696 -1656 -1196 -27 -9743 -8943 -3763 -1683 -550 -105 -100 -169 -124 -122 -115 -165 -120 -177 -121 -113 -557 -548 -553 3764 -155 -167 -744 -552 -560 -556 -559 9744 -558 -555 8944 -134 -6159 -6158 -6157 -6156 -6155 -6154 -6153 -6152 -6151 -6150 -6149 -6148 -6147 -6146 -6145 -6144 -6143 -6142 -6141 319 -9754 -8954 -3874 -3854 -3834 -3794 -3714 -3694 -3194 -45 -222 -52 -41 -50 -54 -1 -29 -34 21 26 -9750 -8950 -3870 -3850 -3830 -3790 -3710 -3690 -3190 61 -9757 -8957 -3877 -3857 -3837 -3797 -3717 -3697 -3197 -9748 -8948 -3868 -3848 -3828 -3788 -3708 -3688 -3188 -9753 -8953 -3873 -3853 -3833 -3793 -3713 -3693 -3193 -9944 -9144 -4964 -4924 -4824 -4744 -4224 -3384 -2544 -1884 -9752 -8952 -3872 -3852 -3832 -3792 -3712 -3692 -3192 -9760 -8960 -3880 -3860 -3840 -3800 -3720 -3700 -3200 -9756 -8956 -3876 -3856 -3836 -3796 -3716 -3696 -3196 -9759 -8959 -3879 -3859 -3839 -3799 -3719 -3699 -3199 -9758 -8958 -3878 -3858 -3838 -3798 -3718 -3698 -3198 -9755 -8955 -3875 -3855 -3835 -3795 -3715 -3695 -3195 144 -5620 -5619 -5618 -5617 -5616 -5615 -5614 -5613 -5612 -5611 -5610 -5609 -5608 -5607 -5606 -5605 -5604 -5603 -5602 -5601 -211 1584 404 -216 1684 -251 -588 -587 -127 -179 -69 -36 -334 -5399 -5398 -5397 -5396 -5395 -5394 -5393 -5392 -5391 -5390 -5389 -5388 -5387 -5386 -5385 -5384 -5383 -5382 -5381 -9603 1804 -724 -764 -584 -684 -504 9604 -5500 -5499 -5498 -5497 -5496 -5495 -5494 -5493 -5492 -5491 -5490 -5489 -5488 -5487 -5486 -5485 -5484 -5483 -5482 -5481 -6199 -6198 -6197 -6196 -6195 -6194 -6193 -6192 -6191 -6190 -6189 -6188 -6187 -6186 -6185 -6184 -6183 -6182 -6181 -9788 -8988 -4248 -4228 -4208 -4188 -4168 -4088 -3888 -3228 -1368 -9787 -8987 -4247 -4167 -4087 -3227 -1367 -598 -7860 -7859 -7858 -7857 -7856 -7855 -7854 -7853 -7852 -7851 -7850 -7849 -7848 -7847 -7846 -7845 -7844 -7843 -7842 -7841 376 -9924 -9124 -4944 -4804 -4724 -4204 -3824 -3364 -2524 -1864 -9964 -9164 -4844 -4764 -4244 -3864 -3404 -2564 -1904 -9784 -8984 -4164 -4144 -3684 -3224 -2384 -1724 -9884 -9084 -4684 -3784 -3324 -2484 -1824 -9704 -8904 -3304 -3184 -2304 -1644 -9798 -8998 -4258 -4238 -4218 -4198 -4178 -4098 -3898 -3238 -1378 -599 -186 -178 -133 -68 -35 -135 -37 -126 2385 -590 -28 -131 -33 -101 -24 -9799 -8999 -4259 -4239 -4219 -4199 -4179 -4099 -3899 -3239 -1379 -4900 -4899 -4898 -4897 -4896 -4895 -4894 -4893 -4892 -4891 -4890 -4889 -4888 161 76 148 585 -9790 -8990 -4250 -4230 -4210 -4190 -4170 -4090 -3890 -3230 -1370 -591 -351 -266 -589 -593 -596 -597 -592 2685 -594 -338 -600 4125 4145 -505 -685 -765 9785 8985 -136 -595 -9791 -8991 -4251 -4231 -4211 -4191 -4171 -4091 -3891 -3231 -1371 -8200 -8199 -8198 -8197 -8196 -8195 -8194 -8193 -8192 -8191 -8190 -8189 -8188 -8187 -8186 -8185 -8184 -8183 -8182 -8181 208 -6500 -6499 -6498 -6497 -6496 -6495 -6494 -6493 -6492 -6491 -6490 -6489 -6488 -6487 -6486 -6485 -6484 -6483 -6482 -6481 280 -9789 -8989 -4249 -4229 -4209 -4189 -4169 -4089 -3889 -3229 -1369 -9793 -8993 -4253 -4233 -4213 -4193 -4173 -4093 -3893 -3233 -1373 -9796 -8996 -4256 -4236 -4216 -4196 -4176 -4096 -3896 -3236 -1376 -9797 -8997 -4257 -4237 -4217 -4197 -4177 -4097 -3897 -3237 -1377 -9792 -8992 -4252 -4232 -4212 -4192 -4172 -4092 -3892 -3232 -1372 -9794 -8994 -4254 -4234 -4214 -4194 -4174 -4094 -3894 -3234 -1374 -7940 -7939 -7938 -7937 -7936 -7935 -7934 -7933 -7932 -7931 -7930 -7929 -7928 -7927 -7926 -7925 -7924 -7923 -7922 -7921 -9800 -9000 -4260 -4240 -4220 -4200 -4180 -4100 -3900 -3240 -1380 149 -9705 -8905 -3405 -3325 -3305 -3285 -3225 -2605 -2305 -9885 -9085 -4845 -4685 -4585 -4165 -2785 -2485 -9965 -9165 -4765 -4665 -4245 -2865 -2565 -3895 -9795 -8995 -4255 -4235 -4215 -4195 -4175 -4095 -3235 -1375 -152 -151 -10 -18 -146 -153 -154 -339 -107 -106 -103 -72 -57 -176 -171 -150 -81 -66 -180 -175 -85 -70 -1540 -1539 -1538 -1537 -1536 -1535 -1534 -1533 -1532 -1531 -1530 -1529 -1528 145 162 190 -7960 -7959 -7958 -7957 -7956 -7955 -7954 -7953 -7952 -7951 -7950 -7949 -7948 -7947 -7946 -7945 -7944 -7943 -7942 -7941 -335 -9967 -352 -380 -7880 -7879 -7878 -7877 -7876 -7875 -7874 -7873 -7872 -7871 -7870 -7869 -7868 -7867 -7866 -7865 -7864 -7863 -7862 -7861 -8220 -8219 -8218 -8217 -8216 -8215 -8214 -8213 -8212 -8211 -8210 -8209 -8208 -8207 -8206 -8205 -8204 -8203 -8202 -8201 -8780 -8779 -8778 -8777 -8776 -8775 -8774 -8773 -8772 -8771 -8770 -8769 -8768 -8767 -8766 -8765 -8764 -8763 -8762 -8761 570 -10390 -9769 -8971 -390 -10389 -9590 -8790 -1550 -1510 -1470 -1390 -1290 -394 -395 -393 -10388 -9594 -8794 -1554 -1514 -1474 -1394 -1294 -9595 -8795 -1555 -1515 -1475 -1395 -1295 -9593 -8793 -1553 -1513 -1473 -1393 -1293 568 -8969 -388 569 8968 -9588 -1548 -1508 -1468 -1388 -1288 9587 -396 -397 -391 -392 -398 -389 -399 -400 -9768 -8970 -9596 -8796 -1556 -1516 -1476 -1396 -1296 -9597 -8797 -1557 -1517 -1477 -1397 -1297 -9591 -8791 -1551 -1511 -1471 -1391 -1291 -9592 -8792 -1552 -1512 -1472 -1392 -1292 -9598 -8798 -1558 -1518 -1478 -1398 -1298 -9589 -8789 -1549 -1509 -1469 -1389 -1289 -9599 -8799 -1559 -1519 -1479 -1399 -1299 -9600 -8800 -1560 -1520 -1480 -1400 -1300 -17 143 -333 -7840 -7839 -7838 -7837 -7836 -7835 -7834 -7833 -7832 -7831 -7830 -7829 -7828 -7827 -7826 -7825 -7824 -7823 -7822 -7821 375 -185 -4880 -4879 -4878 -4877 -4876 -4875 -4874 -4873 -4872 -4871 -4870 -4869 -4868 4010 710 -610 -9909 -9111 -730 -9112 -750 -9810 -9010 -4410 -4390 -4370 -4330 -3910 -3250 -611 -620 -619 -9930 -9130 -4950 -4930 -4810 -4030 -3370 -9950 -9150 -4970 -4830 -4050 -3390 -9811 -9011 -4411 -4391 -4371 -4331 -3911 -3251 -614 -613 -616 -615 -612 -9820 -9020 -4420 -4400 -4380 -4340 -3920 -3260 -9819 -9019 -4419 -4399 -4379 -4339 -3919 -3259 -9814 -9014 -4414 -4394 -4374 -4334 -3914 -3254 -617 -9813 -9013 -4413 -4393 -4373 -4333 -3913 -3253 -9816 -9016 -4416 -4396 -4376 -4336 -3916 -3256 -9815 -9015 -4415 -4395 -4375 -4335 -3915 -3255 -618 -9812 -9012 -4412 -4392 -4372 -4332 -3912 -3252 -9817 -9017 -4417 -4397 -4377 -4337 -3917 -3257 608 -9818 -9018 -4418 -4398 -4378 -4338 -3918 -3258 -9807 -9009 3908 -708 -9908 -9108 -4908 -4788 -4008 -3348 571 -10391 -9770 -8972 -4014 -772 -9972 -9172 -4972 -4952 -4912 -4852 -4072 -3412 729 -9928 -9134 -709 4029 -733 -731 -734 -732 -740 -735 -739 -738 -736 -737 9929 -9109 -4909 -4789 -4009 -3349 9110 -9933 -9133 -4953 -4933 -4813 -4033 -3373 -9931 -9131 -4951 -4931 -4811 -4031 -3371 -9934 -4954 -4934 -4814 -4034 -3374 -9932 -9132 -4932 -4812 -4032 -3372 -9940 -9140 -4960 -4940 -4820 -4040 -3380 -9935 -9135 -4955 -4935 -4815 -4035 -3375 -9939 -9139 -4959 -4939 -4819 -4039 -3379 -9938 -9138 -4958 -4938 -4818 -4038 -3378 -9936 -9136 -4956 -4936 -4816 -4036 -3376 -9937 -9137 -4957 -4937 -4817 -4037 -3377 -749 -9949 -9149 -4969 -4929 -4829 -4389 -4049 -3389 4968 4388 748 768 -755 -760 -756 -758 -751 -728 -759 -754 4048 -757 9148 -752 -753 9948 -9169 -774 -776 -775 -9173 -779 4408 4068 -777 -773 -688 -508 -9955 -9155 -4975 -4835 -4055 -3395 -9960 -9160 -4980 -4840 -4060 -3400 -9956 -9156 -4976 -4836 -4056 -3396 -9958 -9158 -4978 -4838 -4058 -3398 -9951 -9151 -4971 -4831 -4051 -3391 -9128 -4948 -4928 -4808 -4368 -4028 -3368 9129 -9959 -9159 -4979 -4839 -4059 -3399 -9954 -9154 -4974 -4834 -4054 -3394 -9957 -9157 -4977 -4837 -4057 -3397 -9952 -9152 -4832 -4052 -3392 -9953 -9153 -4973 -4833 -4053 -3393 -9974 -9174 -4914 -4854 -4074 -3414 -9976 -9176 -4916 -4856 -4076 -3416 -9975 -9175 -4915 -4855 -4075 -3415 -9979 -9179 -4919 -4859 -4079 -3419 -9977 -9177 -4917 -4857 -4077 -3417 -9973 -4913 -4853 -4073 -3413 -9888 -9088 -4848 -4828 -4328 -3988 -3328 -9708 -8908 -3408 -3388 -3248 -3208 -188 -183 -111 510 -9709 -8911 3210 3350 -507 -690 -687 -770 102 109 -9707 -8907 -3407 -3327 -3247 -1287 -9890 -9090 -4850 -4790 -3990 -3330 -9887 -9087 -4847 -4327 -1467 -9970 -9170 -4910 -4070 -3410 -771 -292 -299 -6 -15 -9971 -9171 -4911 -4851 -4071 -3411 -7020 -7019 -7018 -7017 -7016 -7015 -7014 -7013 -7012 -7011 -7010 -7009 -7008 -7007 -7006 -7005 -7004 -7003 -7002 -7001 -7160 -7159 -7158 -7157 -7156 -7155 -7154 -7153 -7152 -7151 -7150 -7149 -7148 -7147 -7146 -7145 -7144 -7143 -7142 -7141 141 9091 -187 -331 691 -4920 -4918 189 19 -7800 -7799 -7798 -7797 -7796 -7795 -7794 -7793 -7792 -7791 -7790 -7789 -7788 -7787 -7786 -7785 -7784 -7783 -7782 -7781 -9092 -9093 -689 3991 10392 1547 -379 4949 -209 -9889 -9089 -4849 -4809 -4329 -3989 -3329 -712 -692 -572 -512 10393 767 -8760 -8759 -8758 -8757 -8756 -8755 -8754 -8753 -8752 -8751 -8750 -8749 -8748 -8747 -8746 -8745 -8744 -8743 -8742 -8741 769 -5360 -5359 -5358 -5357 -5356 -5355 -5354 -5353 -5352 -5351 -5350 -5349 -5348 -5347 -5346 -5345 -5344 -5343 -5342 -5341 -182 -158 -9912 -4792 -4012 -3352 -714 -715 -713 -717 -719 -9892 -3992 -3332 -693 9891 -695 -699 -700 -697 -694 -696 -698 -9772 -3212 -578 9771 -576 -575 -574 -577 -579 -580 -573 -9712 -8912 -514 -513 -515 -519 -517 -516 -520 -518 10394 -9168 9167 4407 -780 -778 -9968 4069 9969 181 -9914 -9114 -4794 -3354 -716 -9915 -9115 -4795 -4015 -3355 10395 -9913 -9113 -4793 -4013 -3353 -718 -720 -9917 -9117 -4797 -4017 -3357 -9919 -9119 -4799 -4019 -3359 -9893 -3993 -3333 -9895 -9095 -3995 -3335 -9899 -9099 -3999 -3339 -9900 -9100 -4860 -4800 -4000 -3340 -9897 -9097 -3997 -3337 -9894 -9094 -3994 -3334 -9896 -9096 -4796 -3996 -3336 -9898 -9098 -4858 -4798 -3998 -3338 -9778 -8978 -4078 -4018 -3218 10398 -9776 -8976 -4016 -3216 10396 -9775 -8975 -3215 -9774 -8974 -3214 -9777 -8977 -3217 10397 -9779 -8979 -3219 10399 -9780 -8980 -4080 -4020 -3220 10400 -9773 -8973 -3213 -9714 -8914 -9713 -8913 -9715 -8915 -9719 -8919 -9717 -8917 -9716 -8916 -3356 -9720 -8920 -3420 -3360 -9718 -8918 -3418 -3358 -9980 -9180 -9978 -9178 -371 4791 -9916 -9116 -9918 -9118 -9920 -9120 -184 -8600 -8599 -8598 -8597 -8596 -8595 -8594 -8593 -8592 -8591 -8590 -8589 -8588 -8587 -8586 -8585 -8584 -8583 -8582 -8581 298 711 -108 -9910 4011 9911 -511 -3331 112 110 9710 -9711 -3351 -3211 -302 3409 -300 3369 -7220 -7219 -7218 -7217 -7216 -7215 -7214 -7213 -7212 -7211 -7210 -7209 -7208 -7207 -7206 -7205 -7204 -7203 -7202 -7201 377 509 -7180 -7179 -7178 -7177 -7176 -7175 -7174 -7173 -7172 -7171 -7170 -7169 -7168 -7167 -7166 -7165 -7164 -7163 -7162 -7161 -8910 3209 -609 8909 -9809 -4409 -4369 -3909 -3249 9808 -160 -104 -350 -8180 -8179 -8178 -8177 -8176 -8175 -8174 -8173 -8172 -8171 -8170 -8169 -8168 -8167 -8166 -8165 -8164 -8163 -8162 -8161 378 207 294 265 236 -367 -8520 -8519 -8518 -8517 -8516 -8515 -8514 -8513 -8512 -8511 -8510 -8509 -8508 -8507 -8506 -8505 -8504 -8503 -8502 -8501 345 -272 -6620 -6619 -6618 -6617 -6616 -6615 -6614 -6613 -6612 -6611 -6610 -6609 -6608 -6607 -6606 -6605 -6604 -6603 -6602 -6601 362 257 286 -902 -10102 -9302 -7182 -7122 -7102 -7082 -7062 -7042 -7022 -6982 -6962 -6682 -6402 -6102 -5782 -5442 -5082 -903 -10103 -9303 -7183 -7123 -7103 -7083 -7063 -7043 -7023 -6983 -6963 -6683 -6403 -6103 -5783 -5443 -5083 1102 -10402 -10301 -9503 -1062 -862 -962 -1082 -10401 -10262 -9462 -8562 -8542 -8522 -8482 -8102 -7762 -6842 -5242 -10062 -9262 -6662 -6642 -6622 -6582 -6522 -6502 -6462 -6442 -6422 -5742 -5402 -5042 -6521 -861 -10162 -9362 -7742 -7722 -7682 -7462 -7242 -6742 -6162 -5842 -5502 -5142 -961 -10082 -7761 -10282 -9482 -8642 -8622 -8602 -8382 -8262 -8122 -7962 -7582 -7362 -6862 -6282 -5962 -5622 -5262 -1083 -10222 -9261 -6661 -6641 -6621 -6581 -6501 -6461 -6441 -6421 -6401 -5741 -5401 -9361 -7741 -7721 -7681 -7461 -7241 -6741 -6161 -5841 -5501 -5141 -10283 -9483 -8643 -8623 -8603 -8483 -8383 -8263 -8123 -7963 -7583 -7363 -6863 -6583 -6283 -5963 -5623 -5263 -10142 -10021 -10022 -10221 -10081 -9981 -9982 1103 -10403 -10302 -9504 -9510 -863 -1063 -963 -10063 -9263 -6663 -6643 -6623 -6523 -6503 -6463 -6443 -6423 -5743 -5403 -5043 -10263 -9463 -8563 -8543 -8523 -8103 -7763 -6843 -5243 -10163 -9363 -7743 -7723 -7683 -7463 -7243 -6743 -6163 -5843 -5503 -5143 -10141 -10223 -10023 -9983 -8561 -802 -10002 -9202 -5702 -5682 -5662 -5642 -5582 -5562 -5542 -5522 -5462 -5422 -4982 -803 -10003 -9203 -5703 -5683 -5663 -5643 -5583 -5563 -5543 -5523 -5463 -5423 -4983 -1162 -10362 -9562 -8702 -8462 -8342 -8042 -7662 -7442 -6942 -6362 -6042 -983 -10183 -9383 -8043 -8023 -8003 -7983 -7903 -7883 -7483 -7263 -6763 -5863 -5163 842 -10041 -9243 843 -942 -982 -1042 6302 -10042 -9244 -1043 -5221 -943 6303 -9342 -7642 -7622 -7602 -7542 -7522 -7502 -7482 -7222 -6722 -5822 -5122 -941 -10182 -9382 -8022 -8002 -7982 -7902 -7882 -7262 -6762 -5862 -5162 -10242 -9442 -8442 -8422 -8402 -8222 -8082 -7322 -6822 -5922 -5222 -10243 -9443 -8463 -8443 -8423 -8403 -8223 -8083 -7543 -7323 -6823 -5923 -5223 -10143 -9343 -7663 -7643 -7623 -7603 -7523 -7503 -7223 -6723 -5823 -5123 -9341 -7661 -7641 -7621 -7601 -7581 -7541 -7521 -7501 -7481 -7221 -6981 -6721 -5821 -5121 -850 -10050 -9250 -6370 -6350 -6330 -6310 -6290 -6230 -6210 -6170 -6130 -6110 -6090 -5730 -5030 -1101 -856 -857 -858 -859 -855 -851 -852 -9501 -8701 -8681 -8661 -8401 -8281 -8141 -7981 -7381 -6881 -6301 -5981 -5641 -5281 9502 -10056 -9256 -6376 -6356 -6336 -6316 -6296 -6236 -6216 -6176 -6136 -6116 -6096 -5736 -5036 -10057 -9257 -6377 -6357 -6337 -6317 -6297 -6237 -6217 -6177 -6137 -6117 -6097 -5737 -5037 -10058 -9258 -6378 -6358 -6338 -6318 -6298 -6238 -6218 -6178 -6138 -6118 -6098 -5738 -5038 -10059 -9259 -6379 -6359 -6339 -6319 -6299 -6239 -6219 -6179 -6139 -6119 -6099 -5739 -5039 -10055 -9255 -6375 -6355 -6335 -6315 -6295 -6235 -6215 -6175 -6135 -6115 -6095 -5735 -5035 -10051 -9251 -6371 -6351 -6331 -6311 -6291 -6231 -6211 -6171 -6131 -6111 -6091 -5731 -5031 -10052 -9252 -6372 -6352 -6332 -6312 -6292 -6232 -6212 -6172 -6132 -6112 -6092 -5732 -5032 -10361 -10001 -1161 -801 -9561 -8641 -8461 -8341 -8041 -7441 -6941 -6361 -6041 -5701 -9201 -5681 -5661 -5621 -5581 -5561 -5541 -5521 -5461 -5441 -5421 -4981 -10241 -10181 -1041 -981 -9441 -8441 -8421 -8381 -8221 -8081 -7321 -7081 -6821 -5921 -9381 -8021 -8001 -7961 -7901 -7881 -7261 -7021 -6761 -5861 -5161 -1003 -10203 -9403 -8143 -8063 -7283 -6783 -6203 -5883 1002 -10201 -1004 -1014 -1005 6202 -1006 -1019 -1122 -782 -1142 8142 -1017 -1018 -1016 -1009 -267 -1008 -1011 -1010 10202 -1012 -1015 -1007 -1013 -1020 -10204 -9404 -8144 -8124 -8104 -8084 -8064 -7884 -7504 -7284 -7044 -6784 -6504 -6204 -5884 -5544 -10214 -9414 -8154 -8134 -8114 -8094 -8074 -7894 -7514 -7294 -7054 -6794 -6514 -6214 -5894 -5554 -10205 -9405 -8145 -8125 -8105 -8085 -8065 -7885 -7505 -7285 -7045 -6785 -6505 -6205 -5885 -5545 252 -10206 -9406 -8146 -8126 -8106 -8086 -8066 -7886 -7506 -7286 -7046 -6786 -6506 -6206 -5886 -5546 -10219 -9419 -8159 -8139 -8119 -8099 -8079 -7899 -7519 -7299 -7059 -6799 -6519 -5899 -5559 -10322 -9522 -8722 -8662 -8302 -7402 -6902 -6322 -6002 -5302 -9182 -5322 -5282 -5202 -5102 -5062 -5022 -5002 -5201 -781 -10342 -9542 -8682 -8322 -7422 -6922 -6342 -6022 -10217 -9417 -8157 -8137 -8117 -8097 -8077 -7897 -7517 -7297 -7057 -6797 -6517 -5897 -5557 -10218 -9418 -8158 -8138 -8118 -8098 -8078 -7898 -7518 -7298 -7058 -6798 -6518 -5898 -5558 -10216 -9416 -8156 -8136 -8116 -8096 -8076 -7896 -7516 -7296 -7056 -6796 -6516 -5896 -5556 -10209 -9409 -8149 -8129 -8109 -8089 -8069 -7889 -7509 -7289 -7049 -6789 -6509 -6209 -5889 -5549 -6520 -6515 -6513 -6512 -6511 -6510 -6508 -6507 281 -10208 -9408 -8148 -8128 -8108 -8088 -8068 -7888 -7508 -7288 -7048 -6788 -6208 -5888 -5548 -10211 -9411 -8151 -8131 -8111 -8091 -8071 -7891 -7511 -7291 -7051 -6791 -5891 -5551 -10210 -9410 -8150 -8130 -8110 -8090 -8070 -7890 -7510 -7290 -7050 -6790 -5890 -5550 -317 7041 -10212 -9412 -8152 -8132 -8112 -8092 -8072 -7892 -7512 -7292 -7052 -6792 -5892 -5552 -10215 -9415 -8155 -8135 -8115 -8095 -8075 -7895 -7515 -7295 -7055 -6795 -5895 -5555 -10207 -9407 -8147 -8127 -8107 -8087 -8067 -7887 -7507 -7287 -7047 -6787 -6207 -5887 -5547 -10213 -9413 -8153 -8133 -8113 -8093 -8073 -7893 -7513 -7293 -7053 -6793 -6213 -5893 -5553 -10220 -9420 -8160 -8140 -8120 -8100 -8080 -7900 -7520 -7300 -7060 -6800 -5900 -5560 -346 -336 -9181 -5321 -5301 -5261 -5241 -5101 -5081 -5061 -5021 -5001 882 901 1001 -219 203 -10341 -9283 6882 883 884 6082 6782 9301 10101 -1121 -913 -909 -911 -905 -910 -920 -914 -904 -906 -918 -916 -912 -908 -907 -919 -917 -915 -262 -9402 9401 -1141 191 6883 -9284 6083 -10404 -10083 -9285 -864 -10321 -9521 -8721 -8601 -8521 -8301 -7401 -6901 -6321 -6001 -10113 -9313 -7193 -7133 -7113 -7093 -7073 -7033 -6993 -6973 -6693 -6413 -6113 -5793 -5453 -5093 -10109 -9309 -7189 -7129 -7109 -7089 -7069 -7029 -6989 -6969 -6689 -6409 -6109 -5789 -5449 -5089 -10111 -9311 -7191 -7131 -7111 -7091 -7071 -7031 -6991 -6971 -6691 -6411 -5791 -5451 -5091 -10105 -9305 -7185 -7125 -7105 -7085 -7065 -7025 -6985 -6965 -6685 -6405 -6105 -5785 -5445 -5085 -10110 -9310 -7190 -7130 -7110 -7090 -7070 -7030 -6990 -6970 -6690 -6410 -5790 -5450 -5090 -10120 -9320 -7200 -7140 -7120 -7100 -7080 -7040 -7000 -6980 -6700 -6420 -5800 -5460 -5100 -10114 -9314 -7194 -7134 -7114 -7094 -7074 -7034 -6994 -6974 -6694 -6414 -6114 -5794 -5454 -5094 -10104 -9304 -7184 -7124 -7104 -7084 -7064 -7024 -6984 -6964 -6684 -6404 -6104 -5784 -5444 -5084 -10106 -9306 -7186 -7126 -7106 -7086 -7066 -7026 -6986 -6966 -6686 -6406 -6106 -5786 -5446 -5086 -10118 -9318 -7198 -7138 -7118 -7098 -7078 -7038 -6998 -6978 -6698 -6418 -5798 -5458 -5098 -10116 -9316 -7196 -7136 -7116 -7096 -7076 -7036 -6996 -6976 -6696 -6416 -5796 -5456 -5096 -10112 -9312 -7192 -7132 -7112 -7092 -7072 -7032 -6992 -6972 -6692 -6412 -5792 -5452 -5092 -10108 -9308 -7188 -7128 -7108 -7088 -7068 -7028 -6988 -6968 -6688 -6408 -6108 -5788 -5448 -5088 -10107 -9307 -7187 -7127 -7107 -7087 -7067 -7027 -6987 -6967 -6687 -6407 -6107 -5787 -5447 -5087 -10119 -9319 -7199 -7139 -7119 -7099 -7079 -7039 -6999 -6979 -6699 -6419 -5799 -5459 -5099 -10117 -9317 -7197 -7137 -7117 -7097 -7077 -7037 -6997 -6977 -6697 -6417 -5797 -5457 -5097 -10115 -9315 -7195 -7135 -7115 -7095 -7075 -7035 -6995 -6975 -6695 -6415 -5795 -5455 -5095 276 -9541 -8621 -8541 -8321 -7421 -7181 -6921 -6341 -6021 -10064 -9264 -6664 -6644 -6624 -6584 -6524 -6464 -6444 -6424 -5744 -5404 -5044 -301 -214 -196 6681 7121 -296 -291 -9488 -293 -10224 -10164 -10024 -1065 881 1081 -10265 -9465 -8565 -8545 -8525 -8485 -7765 -6845 -5245 -9282 9281 6781 9481 10281 8121 -1091 -1099 -1087 -1085 -1086 -1093 -1100 -1095 -1088 -1090 -1097 -1096 -1094 -1098 -1089 -1084 -1092 6861 -223 -373 348 -10291 -9491 -8651 -8631 -8611 -8491 -8391 -8271 -7971 -7591 -7371 -6871 -6591 -5971 -5631 -5271 -10299 -9499 -8659 -8639 -8619 -8499 -8399 -8279 -7979 -7599 -7379 -6879 -6599 -5979 -5639 -5279 -10287 -9487 -8647 -8627 -8607 -8487 -8387 -8267 -7967 -7587 -7367 -6867 -6587 -6287 -5967 -5627 -5267 -10285 -9485 -8645 -8625 -8605 -8385 -8265 -7965 -7585 -7365 -6865 -6585 -6285 -5965 -5625 -5265 -10286 -9486 -8646 -8626 -8606 -8486 -8386 -8266 -7966 -7586 -7366 -6866 -6586 -6286 -5966 -5626 -5266 -10293 -9493 -8653 -8633 -8613 -8493 -8393 -8273 -7973 -7593 -7373 -6873 -6593 -6293 -5973 -5633 -5273 -10300 -9500 -8660 -8640 -8620 -8500 -8400 -8280 -7980 -7600 -7380 -6880 -6600 -5980 -5640 -5280 -10295 -9495 -8655 -8635 -8615 -8495 -8395 -8275 -7975 -7595 -7375 -6875 -6595 -5975 -5635 -5275 -10288 -8648 -8628 -8608 -8488 -8388 -8268 -7968 -7588 -7368 -6868 -6588 -6288 -5968 -5628 -5268 -10290 -9490 -8650 -8630 -8610 -8490 -8390 -8270 -7970 -7590 -7370 -6870 -6590 -5970 -5630 -5270 -10297 -9497 -8657 -8637 -8617 -8497 -8397 -8277 -7977 -7597 -7377 -6877 -6597 -5977 -5637 -5277 -10296 -9496 -8656 -8636 -8616 -8496 -8396 -8276 -7976 -7596 -7376 -6876 -6596 -5976 -5636 -5276 -10294 -9494 -8654 -8634 -8614 -8494 -8394 -8274 -7974 -7594 -7374 -6874 -6594 -6294 -5974 -5634 -5274 -10298 -9498 -8658 -8638 -8618 -8498 -8398 -8278 -7978 -7598 -7378 -6878 -6598 -5978 -5638 -5278 -10289 -9489 -8649 -8629 -8609 -8489 -8389 -8269 -7969 -7589 -7369 -6869 -6589 -6289 -5969 -5629 -5269 -10284 -9484 -8644 -8624 -8604 -8484 -8384 -8264 -7964 -7584 -7364 -6864 -6284 -5964 -5624 -5264 -10292 -9492 -8652 -8632 -8612 -8492 -8392 -8272 -7972 -7592 -7372 -6872 -6592 -5972 -5632 -5272 285 -374 -372 -361 -340 -321 -205 -271 1104 -10303 -9505 -9508 -1064 -964 6884 -10264 -9464 -8564 -8544 -8524 -7764 -6844 -5244 -841 -9364 -7744 -7724 -7684 -7464 -7244 -6744 -6164 -5844 -5504 -5144 -10084 885 -9241 -6281 -6221 -6201 -6121 -6101 -6081 -5721 9242 -10405 -9286 -9292 -9290 -9291 -865 193 -256 -247 -10065 -9265 -6665 -6645 -6625 -6525 -6465 -6445 -6425 -5745 -5405 -5045 366 297 -10144 8481 7101 1061 9461 -921 -821 -1021 -1070 6841 -204 -1066 -1067 -1069 -1068 -1072 -1071 -1080 -1078 -1077 -1074 -1075 -1076 -1073 -1079 10261 8101 -10121 -9321 -7361 -7281 -6961 -6701 -9221 -5961 -5901 -5881 -5781 -5761 -9421 -8261 -8061 -7061 -6801 -10270 -9470 -8570 -8550 -8530 -7770 -6850 -5250 -5260 -5259 -5258 -5257 -5256 -5255 -5254 -5253 -5252 -5251 -5249 -5248 -5247 -5246 -10266 -9466 -8566 -8546 -8526 -7766 -6846 -10267 -9467 -8567 -8547 -8527 -7767 -6847 -10269 -9469 -8569 -8549 -8529 -7769 -6849 -10268 -9468 -8568 -8548 -8528 -7768 -6848 -10272 -9472 -8572 -8552 -8532 -7772 -6852 -10271 -9471 -8571 -8551 -8531 -7771 -6851 -10280 -9480 -8580 -8560 -8540 -7780 -6860 -10278 -9478 -8578 -8558 -8538 -7778 -6858 -10277 -9477 -8577 -8557 -8537 -7777 -6857 -10274 -9474 -8574 -8554 -8534 -7774 -6854 -10275 -9475 -8575 -8555 -8535 -7775 -6855 -10276 -9476 -8576 -8556 -8536 -7776 -6856 -10273 -9473 -8573 -8553 -8533 -7773 -6853 -10279 -9479 -8579 -8559 -8539 -7779 -6859 -330 347 -310 -290 -240 5882 -231 -355 8062 -295 -370 -369 -368 243 822 1022 -9223 823 -922 5722 5982 9222 5762 824 -9423 9422 6802 1024 1023 8282 6222 5902 -9224 -923 5983 5723 825 5763 -10122 -9322 -7382 -7282 -6702 -6122 -9225 -924 -804 5984 5764 826 -9425 5904 1025 8284 6804 1026 -9424 6223 6803 8283 5903 253 -10123 -9323 -7443 -7423 -7403 -7383 -6703 -6123 -5103 -9226 -805 -925 5765 -306 -10124 -9324 -7444 -7424 -7404 -7384 -7324 -7264 -7224 -6704 -6124 -5464 -5104 -10004 -9204 -5704 -5684 -5664 -5644 -5584 -5564 -5524 -5424 -4984 -10406 -10025 -9227 -806 -926 -9426 -9432 -9431 6805 5905 -10225 -9427 5906 -10005 -9205 -5705 -5685 -5665 -5645 -5585 -5565 -5525 -5505 -5465 -5425 -4985 -10125 -9325 -7445 -7425 -7405 -7385 -7325 -7265 -7245 -7225 -6705 -6125 -5105 197 -10006 -9206 -5706 -5686 -5666 -5646 -5586 -5566 -5526 -5506 -5466 -5426 -5406 -4986 -10126 -9326 -7446 -7426 -7406 -7386 -7326 -7266 -7246 -7226 -6706 -6426 -6126 -5106 1145 -10344 -9546 -10343 6925 -1165 -965 8325 6025 288 -10365 -9565 -8705 -8465 -8345 -8045 -7665 -6945 -6365 -6045 -10165 -9365 -7745 -7725 -7685 -7465 -6745 -6165 -5845 -5145 358 -10085 886 -9984 -9287 -866 5766 6806 -10066 -9266 -6666 -6646 -6626 -6526 -6466 -6446 -5746 -5046 1027 -10226 -10146 827 -10407 -9428 -927 5907 -10026 -9228 -807 -10127 -9327 -7447 -7427 -7407 -7387 -7327 -7267 -7247 -7227 -6707 -6427 -6127 -5467 -5107 -10007 -9207 -5707 -5687 -5667 -5647 -5587 -5567 -5527 -5507 -5427 -5407 -4987 1144 -9545 -1164 8684 6924 6024 8324 -10364 -9564 -8704 -8464 -8344 -8044 -7664 -6944 -6364 -6044 844 -10043 -9245 -1044 -984 -944 -853 -854 6224 6304 5724 6084 6344 259 -10244 -9444 -8444 -8424 -8404 -8224 -7544 -6824 -5924 -5224 -10184 -9384 -8024 -8004 -7984 -7904 -7484 -6764 -5864 -5164 -9344 -7644 -7624 -7604 -7524 -6724 -5824 -5124 -10053 -9253 -6373 -6353 -6333 -6313 -6233 -6173 -6133 -6093 -5733 -5033 -10054 -9254 -6374 -6354 -6334 -6314 -6234 -6174 -6134 -6094 -5734 -5034 1124 -10323 -9525 8664 8304 6004 6904 6324 8724 10363 357 242 287 258 1163 -1166 -227 -783 -1123 -1143 6943 8703 9563 8343 6363 6043 -1174 -1168 -1169 -1180 -1171 -1167 -1170 -1173 -1179 -1176 -1172 -1175 -1178 -1177 -314 -10366 -9566 -8706 -8466 -8346 -8046 -7666 -6946 -6366 -6046 -5720 -5719 -5718 -5717 -5716 -5715 -5714 -5713 -5712 -5711 -5710 -5709 -5708 244 -9183 -5323 -5303 -5283 -5203 -5063 -5023 -5003 -9523 -8723 -8663 -8303 -6903 -6323 -6003 9524 -9543 -8683 -8323 -6923 -6343 -6023 9544 289 359 260 -10374 -9574 -8714 -8474 -8354 -8054 -7674 -7454 -6954 -6674 -6054 -10368 -9568 -8708 -8468 -8348 -8048 -7668 -7448 -6948 -6668 -6368 -6048 -10369 -9569 -8709 -8469 -8349 -8049 -7669 -7449 -6949 -6669 -6369 -6049 -10380 -9580 -8720 -8480 -8360 -8060 -7680 -7460 -6960 -6680 -6060 -10371 -9571 -8711 -8471 -8351 -8051 -7671 -7451 -6951 -6671 -6051 -10367 -9567 -8707 -8467 -8347 -8047 -7667 -6947 -6667 -6367 -6047 -10370 -9570 -8710 -8470 -8350 -8050 -7670 -7450 -6950 -6670 -6050 -10373 -9573 -8713 -8473 -8353 -8053 -7673 -7453 -6953 -6673 -6053 -10379 -9579 -8719 -8479 -8359 -8059 -7679 -7459 -6959 -6679 -6059 -10376 -9576 -8716 -8476 -8356 -8056 -7676 -7456 -6956 -6676 -6056 -10372 -9572 -8712 -8472 -8352 -8052 -7672 -7452 -6952 -6672 -6052 -10375 -9575 -8715 -8475 -8355 -8055 -7675 -7455 -6955 -6675 -6055 -10378 -9578 -8718 -8478 -8358 -8058 -7678 -7458 -6958 -6678 -6058 -10377 -9577 -8717 -8477 -8357 -8057 -7677 -7457 -6957 -6677 -6057 -344 -325 -365 -275 200 -1107 -10307 -9507 -8687 -8667 -8407 -8287 -7987 -7607 -6887 -6307 -5987 -5287 -1108 -1117 -1112 -10308 -8688 -8668 -8408 -8288 -7988 -7608 -7388 -6888 -6308 -5988 -5648 -5288 -1111 -1109 -10317 -9517 -8697 -8677 -8417 -8297 -7997 -7617 -7397 -6897 -5997 -5657 -5297 -1120 -10312 -9512 -8692 -8672 -8412 -8292 -7992 -7612 -7392 -6892 -5992 -5652 -5292 -1113 -10311 -9511 -8691 -8671 -8411 -8291 -7991 -7611 -7391 -6891 -5991 -5651 -5291 -1119 -10309 -9509 -8689 -8669 -8409 -8289 -7989 -7609 -7389 -6889 -6309 -5989 -5649 -5289 -1110 -10320 -9520 -8700 -8680 -8420 -8300 -8000 -7620 -7400 -6900 -6000 -5660 -5300 -10313 -9513 -8693 -8673 -8413 -8293 -7993 -7613 -7393 -6893 -5993 -5653 -5293 -10319 -9519 -8699 -8679 -8419 -8299 -7999 -7619 -7399 -6899 -5999 -5659 -5299 -10310 -8690 -8670 -8410 -8290 -7990 -7610 -7390 -6890 -5990 -5650 -5290 1105 -10304 -9506 6885 8685 5985 8285 -1115 -1114 -845 -10315 -9515 -8695 -8675 -8415 -8295 -7995 -7615 -7395 -6895 -5995 -5655 -5295 -1116 -10314 -9514 -8694 -8674 -8414 -8294 -7994 -7614 -7394 -6894 -5994 -5654 -5294 -10045 -6345 -6325 -6305 -6225 -6085 -5725 -5025 -847 -846 -849 10044 -848 -250 5024 -10316 -9516 -8696 -8676 -8416 -8296 -7996 -7616 -7396 -6896 -5996 -5656 -5296 -1118 -311 -10047 -9247 -6347 -6327 -6227 -6167 -6087 -5727 -5027 -10046 -9246 -6346 -6326 -6306 -6226 -6166 -6086 -5726 -5026 -10049 -9249 -6349 -6329 -6229 -6169 -6129 -6089 -5729 -5029 -10048 -9248 -6348 -6328 -6228 -6168 -6128 -6088 -5728 -5028 329 784 -10318 -9518 -8698 -8678 -8418 -8298 -7998 -7618 -7398 -6898 -5998 -5658 -5298 304 -248 -9185 5324 5204 5004 5284 785 5064 787 5304 9184 -224 -10166 -9186 -9192 5205 786 5005 5065 5325 5285 -9986 -9188 5007 5207 322 217 -9985 -9187 -9190 5006 5206 5066 -867 -10067 -9267 -6647 -6627 -6527 -6467 -6447 -5747 -5047 828 1028 -10147 788 -10408 -10027 -9229 -9232 -9231 -928 -808 -10227 -9429 5908 -9987 -9189 5208 5008 -10128 -9328 -7428 -7408 -7328 -7268 -7248 -7228 -6708 -6428 -5468 -5108 -10008 -9208 -5688 -5668 -5588 -5568 -5528 -5508 -5428 -5408 -4988 -10167 789 -10409 -9988 -9193 985 -9386 -1045 6765 9385 5165 8025 5865 7905 7985 -10245 -9445 -8445 -8425 -8405 -8225 -7545 -6825 -5925 -5225 343 235 337 341 8406 1046 1106 -9447 9446 6826 -986 8226 5226 5926 -10305 -966 8286 5286 5986 6886 10306 -10186 -8026 -8006 -7986 -7906 -7686 -7486 -6766 -5866 -5166 -1000 -999 10185 -988 -326 -991 -990 -989 -993 -996 -994 -997 -995 -992 -998 -987 353 -9366 -7746 -7726 -7466 -6746 -5846 -5146 887 -10200 -9400 -8040 -8020 -7920 -7700 -7500 -7280 -6780 -5880 -5540 -5180 -10199 -9399 -8039 -8019 -7919 -7699 -7499 -7279 -6779 -5879 -5539 -5179 -10188 -9388 -8028 -8008 -7908 -7688 -7488 -6768 -5868 -5168 -7698 -7697 -7696 -7695 -7694 -7693 -7692 -7691 -7690 -7689 -7687 342 -10191 -9391 -8031 -8011 -7911 -7491 -7271 -6771 -5871 -5531 -5171 -10190 -9390 -8030 -8010 -7910 -7490 -7270 -6770 -5870 -5530 -5170 -10189 -9389 -8029 -8009 -7909 -7489 -7269 -6769 -5869 -5529 -5169 -305 -10193 -9393 -8033 -8013 -7913 -7493 -7273 -6773 -5873 -5533 -5173 -10196 -9396 -8036 -8016 -7916 -7496 -7276 -6776 -5876 -5536 -5176 -10194 -9394 -8034 -8014 -7914 -7494 -7274 -6774 -5874 -5534 -5174 -10197 -9397 -8037 -8017 -7917 -7497 -7277 -6777 -5877 -5537 -5177 -10195 -9395 -8035 -8015 -7915 -7495 -7275 -6775 -5875 -5535 -5175 -10192 -9392 -8032 -8012 -7912 -7492 -7272 -6772 -5872 -5532 -5172 -10198 -9398 -8038 -8018 -7918 -7498 -7278 -6778 -5878 -5538 -5178 -10187 -9387 -8027 -8007 -7907 -7487 -6767 -5867 -5167 -10246 1047 -10086 -9288 -9289 5767 6807 5067 -218 8005 -9448 5227 6827 5927 8227 316 1125 7485 -10324 -9526 -9534 -9530 -9528 -9527 8725 8665 6905 5305 6005 8305 945 -9346 -9347 946 6725 7625 7645 5125 9345 7605 5825 7525 948 -10145 947 6727 7606 7546 5126 6726 7526 5826 323 324 -9349 -9351 5828 7528 5128 -9348 7547 7527 5127 5827 -1155 -10355 -9555 -8735 -8455 -8335 -7655 -7435 -6935 -6655 -6035 -5695 -5335 -1156 -1157 -1158 -1159 -1160 -10356 -9556 -8736 -8456 -8336 -7656 -7436 -6936 -6656 -6036 -5696 -5336 -10357 -9557 -8737 -8457 -8337 -7657 -7437 -6937 -6657 -6037 -5697 -5337 -6658 -10358 -9558 -8738 -8458 -8338 -7658 -7438 -6938 -6038 -5698 -5338 -10359 -9559 -8739 -8459 -8339 -7659 -7439 -6939 -6659 -6039 -5699 -5339 -10360 -9560 -8740 -8460 -8340 -7660 -7440 -6940 -6660 -6040 -5700 -5340 969 -10168 -9370 -1149 -1129 5149 -10349 -9549 -8729 -8449 -8329 -7649 -7429 -6929 -6649 -6029 -5689 -5329 -1154 -1150 -10329 -9529 -8429 -8309 -7629 -7409 -6909 -6629 -6009 -5669 -5309 -1130 -1136 -1131 -10354 -9554 -8734 -8454 -8334 -7654 -7434 -6934 -6654 -6034 -5694 -5334 -10350 -9550 -8730 -8450 -8330 -7650 -7430 -6930 -6650 -6030 -5690 -5330 -1151 -10330 -8430 -8310 -7630 -7410 -6910 -6630 -6010 -5670 -5310 -10336 -9536 -8436 -8316 -7636 -7416 -6916 -6636 -6016 -5676 -5316 -1137 -1139 -10331 -9531 -8731 -8431 -8311 -7631 -7411 -6911 -6631 -6011 -5671 -5311 -1132 -10351 -9551 -8451 -8331 -7651 -7431 -6931 -6651 -6031 -5691 -5331 -1153 -1152 -10337 -9537 -8437 -8317 -7637 -7417 -6917 -6637 -6017 -5677 -5317 -10339 -9539 -8439 -8319 -7639 -7419 -6919 -6639 -6019 -5679 -5319 -10332 -9532 -8732 -8432 -8312 -7632 -7412 -6912 -6632 -6012 -5672 -5312 -1140 -1138 -1133 -1135 -10353 -9553 -8733 -8453 -8333 -7653 -7433 -6933 -6653 -6033 -5693 -5333 -10352 -9552 -8452 -8332 -7652 -7432 -6932 -6652 -6032 -5692 -5332 -10340 -9540 -8440 -8320 -7640 -7420 -6920 -6640 -6020 -5680 -5320 -10338 -9538 -8438 -8318 -7638 -7418 -6918 -6638 -6018 -5678 -5318 -10333 -9533 -8433 -8313 -7633 -7413 -6913 -6633 -6013 -5673 -5313 -1134 -10335 -9535 -8435 -8315 -7635 -7415 -6915 -6635 -6015 -5675 -5315 -313 -226 -10334 -8434 -8314 -7634 -7414 -6914 -6634 -6014 -5674 -5314 -225 -312 968 -9369 -1128 -1148 7468 5148 7728 5848 -10328 -8728 -8428 -8308 -7628 -6908 -6628 -6008 -5308 -10348 -9548 -8448 -8328 -7648 -6928 -6648 -6028 -5328 -273 -274 364 6747 967 -9368 9367 5147 7467 5847 -1127 -1147 -8447 7747 7727 9268 -10327 -8727 -8427 -8307 -7627 -6907 -6007 -5307 -10347 -9547 -8327 -7647 -6927 -6027 -5327 8446 868 1146 -9269 6468 -888 -1048 -6728 6448 5048 6528 5748 -10345 8686 6926 6026 8326 5326 7646 10346 -10088 -6828 -6808 -6748 -5768 -5068 -889 10087 -893 -898 -899 -890 -897 -891 -894 -895 -896 -892 -900 -10248 -8228 -7748 -7548 -5928 -5228 -308 10247 -1057 -1049 -1055 -1050 -1058 -1054 -1051 -1059 -1053 -1052 -1060 -1056 -10089 -6829 -6809 -6749 -6729 -6709 -5769 -5429 -5069 -10093 -9293 -6833 -6813 -6753 -6733 -6713 -5773 -5433 -5073 -10098 -9298 -6838 -6818 -6758 -6738 -6718 -5778 -5438 -5078 -10099 -9299 -6839 -6819 -6759 -6739 -6719 -5779 -5439 -5079 -10090 -6830 -6810 -6750 -6730 -6710 -5770 -5430 -5070 -10097 -9297 -6837 -6817 -6757 -6737 -6717 -5777 -5437 -5077 -10091 -6831 -6811 -6751 -6731 -6711 -5771 -5431 -5071 -10094 -9294 -6834 -6814 -6754 -6734 -6714 -5774 -5434 -5074 -10095 -9295 -6835 -6815 -6755 -6735 -6715 -5775 -5435 -5075 -10096 -9296 -6836 -6816 -6756 -6736 -6716 -5776 -5436 -5076 -10092 -6832 -6812 -6752 -6732 -6712 -5772 -5432 -5072 -277 -10100 -9300 -6840 -6820 -6760 -6740 -6720 -5780 -5440 -5080 -7340 -7339 -7338 -7337 -7336 -7335 -7334 -7333 -7332 -7331 -7330 -7329 263 -10257 -9457 -8237 -7757 -7557 -5937 -5597 -5237 -10249 -9449 -8229 -7749 -7549 -5929 -5589 -5229 -10255 -9455 -8235 -7755 -7555 -5935 -5595 -5235 -10250 -9450 -8230 -7750 -7550 -5930 -5590 -5230 -10258 -9458 -8238 -7758 -7558 -5938 -5598 -5238 -10254 -9454 -8234 -7754 -7554 -5934 -5594 -5234 -10251 -9451 -8231 -7751 -7551 -5931 -5591 -5231 -10259 -9459 -8239 -7759 -7559 -5939 -5599 -5239 -10253 -9453 -8233 -7753 -7553 -5933 -5593 -5233 -10252 -9452 -8232 -7752 -7552 -5932 -5592 -5232 -10260 -9460 -8240 -7760 -7560 -5940 -5600 -5240 -10256 -9456 -8236 -7756 -7556 -5936 -5596 -5236 -213 869 -221 212 -10068 -9270 6469 5049 970 -10410 -10169 -9371 5109 929 -9330 -829 -1029 6429 9329 7249 -10029 -5909 -5849 -5829 -5749 -5009 10028 -838 -839 -837 -836 -834 -830 -835 -833 -832 -840 -831 -10229 -7729 -7529 -6529 -5569 -5209 -1031 -1030 10228 -1033 -1032 -1039 -1040 -1034 -1035 -1038 -1037 -1036 -5010 -10038 -9238 -5918 -5858 -5838 -5758 -5018 -10039 -9239 -5919 -5859 -5839 -5759 -5019 -10037 -9237 -5917 -5857 -5837 -5757 -5017 -10036 -9236 -5916 -5856 -5836 -5756 -5016 -10034 -9234 -5914 -5854 -5834 -5754 -5014 -10030 -9230 -5910 -5850 -5830 -5750 -10035 -9235 -5915 -5855 -5835 -5755 -5015 -10033 -9233 -5913 -5853 -5833 -5753 -5013 -10032 -5912 -5852 -5832 -5752 -5012 -10040 -9240 -5920 -5860 -5840 -5760 -5020 -10031 -5911 -5851 -5831 -5751 -5011 -6530 -10231 -7731 -7531 -6531 -5571 -5211 -10230 -9430 -7730 -7530 -5570 -5210 -10233 -9433 -7733 -7533 -6533 -5573 -5213 -10232 -7732 -7532 -6532 -5572 -5212 -10239 -9439 -7739 -7539 -6539 -5579 -5219 -10240 -9440 -7740 -7540 -6540 -5580 -5220 -10234 -9434 -7734 -7534 -6534 -5574 -5214 -10235 -9435 -7735 -7535 -6535 -5575 -5215 -10238 -9438 -7738 -7538 -6538 -5578 -5218 -10237 -9437 -7737 -7537 -6537 -5577 -5217 -10236 -9436 -7736 -7536 -6536 -5576 -5216 -220 1126 -10325 10326 6906 8666 7626 8426 8726 5306 6006 8306 363 5110 790 930 -9989 -9191 5150 -10129 -9331 7250 -792 -9992 -5152 -5132 -5112 -5052 -4992 -797 -798 -793 -796 -795 -799 -794 -9997 -9197 -5157 -5137 -5117 -5057 -4997 -9998 -9198 -5158 -5138 -5118 -5058 -4998 -9993 -5153 -5133 -5113 -5053 -4993 -9996 -9196 -5156 -5136 -5116 -5056 -4996 -800 -9995 -9195 -5155 -5135 -5115 -5055 -4995 -9999 -9199 -5159 -5139 -5119 -5059 -4999 -9994 -9194 -5154 -5134 -5114 -5054 -4994 -10000 -9200 -5160 -5140 -5120 -5060 -5000 -791 -9991 -5151 -5131 -5111 -5051 -4991 9990 -9211 870 -10069 -9271 6430 6470 5050 10411 -971 -951 -931 -871 -811 10412 -10171 -7471 -7251 -6471 -5511 10170 -978 -977 -979 -972 -973 -976 -975 -980 -974 -10151 -7231 -6451 -959 -953 -10131 -6431 -5471 -932 -935 -938 -936 -933 -934 -937 10130 -940 -939 -10071 -5411 -876 -875 10070 -880 -877 -878 -873 -872 -874 -879 -10011 -952 -812 10413 -6472 -10178 -9378 -7478 -7258 -6478 -5518 -10177 -9377 -7477 -7257 -6477 -5517 -10179 -9379 -7479 -7259 -6479 -5519 -10172 -9372 -7472 -7252 -5512 -10173 -9373 -7473 -7253 -6473 -5513 -10176 -9376 -7476 -7256 -6476 -5516 -10175 -9375 -7475 -7255 -6475 -5515 -10180 -9380 -7480 -7260 -6480 -5520 -10174 -9374 -7474 -7254 -6474 -5514 -10159 -9359 -7239 -6459 -10153 -9353 -7233 -6453 -957 -954 -960 -955 -958 -956 -10132 -9332 -7232 -6432 -5472 -10135 -9335 -7235 -6435 -5475 -10138 -9338 -7238 -6438 -5478 -10136 -9336 -7236 -6436 -5476 -10133 -9333 -6433 -5473 -10134 -9334 -7234 -6434 -5474 -10137 -9337 -7237 -6437 -5477 -10140 -9340 -7240 -6440 -5480 -10139 -9339 -6439 -5479 -10076 -9276 -6456 -5416 -10075 -9275 -6455 -5415 -10080 -9280 -6460 -5420 -10077 -9277 -6457 -5417 -10078 -9278 -6458 -5418 -10073 -9273 -5413 -10072 -9272 -6452 -5412 -10074 -9274 -6454 -5414 -10079 -9279 -5419 -10152 -9352 -10012 -9212 -813 10414 -10157 -9357 -10154 -9354 -10160 -9360 -10155 -9355 -10158 -9358 -10156 -9356 -10013 -9213 -814 10415 -10014 -9214 -815 10416 -10015 -9215 -817 -816 10417 -10017 -9217 -10016 -9216 10418 -818 10419 -10018 -9218 -819 10420 -10019 -9219 -820 -10020 -9220 810 -10009 -950 4990 5410 5470 5510 10010 10149 -10150 -9350 -7470 -7230 -6450 -5130 949 9210 -10148 -809 5129 7229 6449 7469 -9209 -5509 -5469 -5409 -4989 303  0

OK

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290498-1303789148/watcher-3290498-1303789148 -o /tmp/evaluation-result-3290498-1303789148/solver-3290498-1303789148 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3290498-1303789148.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.98 4.19 3.62 5/213 21234
/proc/meminfo: memFree=14375280/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=11800 CPUtime=0 cores=1,3
/proc/21234/stat : 21234 (runsolver) R 21232 21234 20968 0 -1 4202560 42 0 0 0 0 0 0 0 21 0 1 0 471330503 12083200 51 33554432000 4194304 5434984 140736941681312 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/21234/statm: 2950 51 31 303 0 2644 0

[startup+0.00673004 s]
/proc/loadavg: 3.98 4.19 3.62 5/213 21234
/proc/meminfo: memFree=14375280/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=11800 CPUtime=0 cores=1,3
/proc/21234/stat : 21234 (runsolver) S 21232 21234 20968 0 -1 4202560 45 0 0 0 0 0 0 0 21 0 1 0 471330503 12083200 54 33554432000 4194304 5434984 140736941681312 18446744073709551615 5055495 0 2147483391 4096 24578 18446744071699199166 0 0 17 3 0 0 0
/proc/21234/statm: 2950 54 34 303 0 2644 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11800

[startup+0.100717 s]
/proc/loadavg: 3.98 4.19 3.62 5/213 21234
/proc/meminfo: memFree=14375280/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=111904 CPUtime=0.06 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 2987 0 0 0 6 0 0 0 19 0 9 0 471330503 114589696 2893 33554432000 4194304 7232020 140733688886512 18446744073709551615 6182610 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 27976 2893 975 742 0 20547 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 111904

[startup+0.304722 s]
/proc/loadavg: 3.98 4.19 3.62 5/213 21234
/proc/meminfo: memFree=14375280/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=116876 CPUtime=0.28 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 4183 0 0 0 28 0 0 0 18 0 9 0 471330503 119681024 4089 33554432000 4194304 7232020 140733688886512 18446744073709551615 270338076368 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 29219 4089 975 742 0 21790 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 116876

[startup+0.700558 s]
/proc/loadavg: 3.98 4.19 3.62 5/213 21234
/proc/meminfo: memFree=14375280/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=125628 CPUtime=0.72 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 6413 0 0 0 72 0 0 0 18 0 9 0 471330503 128643072 6319 33554432000 4194304 7232020 140733688886512 18446744073709551615 1083068688 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 31407 6319 975 742 0 23978 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 125628

[startup+1.5004 s]
/proc/loadavg: 3.98 4.19 3.62 5/222 21243
/proc/meminfo: memFree=14259268/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=148932 CPUtime=1.63 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 10695 0 0 0 161 2 0 0 18 0 9 0 471330503 152506368 10601 33554432000 4194304 7232020 140733688886512 18446744073709551615 6182426 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/21234/statm: 37233 10601 975 742 0 29804 0
[pid=21234/tid=21236] ppid=21232 vsize=148932 CPUtime=0.03 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 471330505 152506368 10601 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=148932 CPUtime=0.04 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471330505 152506368 10601 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=148932 CPUtime=0.02 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471330505 152506368 10601 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=148932 CPUtime=0.06 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471330505 152506368 10601 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=148932 CPUtime=0.02 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 471330505 152506368 10601 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=148932 CPUtime=0.05 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 471330505 152506368 10601 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=148932 CPUtime=0.02 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 471330505 152506368 10601 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=148932 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 152506368 10601 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 148932

[startup+3.10113 s]
/proc/loadavg: 3.98 4.19 3.62 5/222 21243
/proc/meminfo: memFree=14240544/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=344948 CPUtime=3.3 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 60897 0 0 0 322 8 0 0 18 0 9 0 471330503 353226752 60803 33554432000 4194304 7232020 140733688886512 18446744073709551615 1082795888 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 86237 60803 999 742 0 78808 0
[pid=21234/tid=21236] ppid=21232 vsize=344948 CPUtime=0.05 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 5 0 0 0 16 0 9 0 471330505 353226752 60803 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=344948 CPUtime=0.06 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471330505 353226752 60803 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=344948 CPUtime=0.04 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471330505 353226752 60803 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=344948 CPUtime=0.07 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471330505 353226752 60803 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=344948 CPUtime=0.04 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 471330505 353226752 60803 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=344948 CPUtime=0.08 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 8 0 0 0 16 0 9 0 471330505 353226752 60803 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=344948 CPUtime=0.03 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 471330505 353226752 60803 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=344948 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 353226752 60803 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 344948

[startup+6.30049 s]
/proc/loadavg: 3.98 4.18 3.62 5/222 21243
/proc/meminfo: memFree=13972828/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=420056 CPUtime=6.58 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 80092 0 0 0 648 10 0 0 18 0 9 0 471330503 430137344 79997 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160340731 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 105014 79997 1023 742 0 97585 0
[pid=21234/tid=21236] ppid=21232 vsize=420056 CPUtime=0.06 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 6 0 0 0 15 0 9 0 471330505 430137344 79997 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=420056 CPUtime=0.09 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 471330505 430137344 79997 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=420056 CPUtime=0.07 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471330505 430137344 79997 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=420056 CPUtime=0.07 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471330505 430137344 79997 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=420056 CPUtime=0.07 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 7 0 0 0 15 0 9 0 471330505 430137344 79997 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=420056 CPUtime=0.11 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 471330505 430137344 79997 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=420056 CPUtime=0.06 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 6 0 0 0 16 0 9 0 471330505 430137344 79997 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=420056 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 430137344 79997 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 420056

[startup+12.7012 s]
/proc/loadavg: 3.99 4.18 3.62 5/222 21243
/proc/meminfo: memFree=14008192/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=420120 CPUtime=13.14 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 80290 0 0 0 1304 10 0 0 20 0 9 0 471330503 430202880 65702 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160343306 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 105030 65702 1023 742 0 97601 0
[pid=21234/tid=21236] ppid=21232 vsize=420120 CPUtime=0.09 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 9 0 0 0 16 0 9 0 471330505 430202880 65702 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=420120 CPUtime=0.12 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 471330505 430202880 65702 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=420120 CPUtime=0.1 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 471330505 430202880 65702 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=420120 CPUtime=0.12 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 471330505 430202880 65702 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=420120 CPUtime=0.1 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 471330505 430202880 65702 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=420120 CPUtime=0.17 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 471330505 430202880 65702 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=420120 CPUtime=0.09 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 471330505 430202880 65702 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=420120 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 430202880 65702 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.14
Current children cumulated vsize (KiB) 420120

[startup+25.5007 s]
/proc/loadavg: 3.99 4.17 3.63 5/222 21243
/proc/meminfo: memFree=13955132/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=420504 CPUtime=26.23 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 82676 0 0 0 2612 11 0 0 19 0 9 0 471330503 430596096 68088 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160343973 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 105126 68088 1023 742 0 97697 0
[pid=21234/tid=21236] ppid=21232 vsize=420504 CPUtime=0.17 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 17 0 0 0 15 0 9 0 471330505 430596096 68088 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=420504 CPUtime=0.18 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 471330505 430596096 68088 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=420504 CPUtime=0.15 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 471330505 430596096 68088 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=420504 CPUtime=0.2 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 471330505 430596096 68088 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=420504 CPUtime=0.17 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 471330505 430596096 68088 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=420504 CPUtime=0.22 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 22 0 0 0 15 0 9 0 471330505 430596096 68088 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=420504 CPUtime=0.17 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 471330505 430596096 68088 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=420504 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 430596096 68088 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 26.23
Current children cumulated vsize (KiB) 420504

[startup+51.1006 s]
/proc/loadavg: 3.99 4.16 3.64 5/222 21349
/proc/meminfo: memFree=13689288/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=421336 CPUtime=52.35 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 87052 0 0 0 5223 12 0 0 19 0 9 0 471330503 431448064 72173 33554432000 4194304 7232020 140733688886512 18446744073709551615 6155095 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 105334 72179 1024 742 0 97905 0
[pid=21234/tid=21236] ppid=21232 vsize=421336 CPUtime=0.28 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 28 0 0 0 15 0 9 0 471330505 431448064 72179 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=421336 CPUtime=0.27 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 27 0 0 0 15 0 9 0 471330505 431448064 72183 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=421336 CPUtime=0.3 cores=1,3

################
# More data... #
################

/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 106254 0 0 0 11730 16 0 0 25 0 9 0 471330503 457408512 85792 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160343423 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 111672 85792 1035 742 0 104243 0
[pid=21234/tid=21236] ppid=21232 vsize=446688 CPUtime=0.44 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 44 0 0 0 15 0 9 0 471330505 457408512 85792 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=446688 CPUtime=0.66 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 66 0 0 0 16 0 9 0 471330505 457408512 85792 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=446688 CPUtime=0.52 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 52 0 0 0 15 0 9 0 471330505 457408512 85792 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=446688 CPUtime=0.61 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 61 0 0 0 16 0 9 0 471330505 457408512 85792 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=446688 CPUtime=0.62 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 62 0 0 0 16 0 9 0 471330505 457408512 85792 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=446688 CPUtime=0.63 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 63 0 0 0 16 0 9 0 471330505 457408512 85792 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=446688 CPUtime=0.6 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 60 0 0 0 15 0 9 0 471330505 457408512 85792 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=446688 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 457408512 85792 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 117.46
Current children cumulated vsize (KiB) 446688

[startup+121.501 s]
/proc/loadavg: 4.15 4.17 3.68 6/222 21421
/proc/meminfo: memFree=12771600/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=455136 CPUtime=123.92 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 108225 0 0 0 12376 16 0 0 25 0 9 0 471330503 466059264 87763 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160343973 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 113784 87763 1035 742 0 106355 0
[pid=21234/tid=21236] ppid=21232 vsize=455136 CPUtime=0.44 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 44 0 0 0 15 0 9 0 471330505 466059264 87763 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=455136 CPUtime=0.68 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 68 0 0 0 15 0 9 0 471330505 466059264 87763 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=455136 CPUtime=0.54 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 54 0 0 0 15 0 9 0 471330505 466059264 87763 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=455136 CPUtime=0.71 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 71 0 0 0 16 0 9 0 471330505 466059264 87763 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=455136 CPUtime=0.63 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 63 0 0 0 15 0 9 0 471330505 466059264 87763 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=455136 CPUtime=0.64 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 64 0 0 0 15 0 9 0 471330505 466059264 87763 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=455136 CPUtime=0.63 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 63 0 0 0 15 0 9 0 471330505 466059264 87763 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=455136 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 466059264 87763 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 123.92
Current children cumulated vsize (KiB) 455136

[startup+127.901 s]
/proc/loadavg: 4.14 4.16 3.68 6/222 21421
/proc/meminfo: memFree=12749776/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=463456 CPUtime=130.32 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 111165 0 0 0 13015 17 0 0 25 0 9 0 471330503 474578944 90703 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160343973 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 115864 90703 1035 742 0 108435 0
[pid=21234/tid=21236] ppid=21232 vsize=463456 CPUtime=0.44 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 44 0 0 0 15 0 9 0 471330505 474578944 90703 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=463456 CPUtime=0.74 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 74 0 0 0 16 0 9 0 471330505 474578944 90703 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=463456 CPUtime=0.54 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 54 0 0 0 15 0 9 0 471330505 474578944 90703 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=463456 CPUtime=0.71 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 71 0 0 0 15 0 9 0 471330505 474578944 90703 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=463456 CPUtime=0.68 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 68 0 0 0 15 0 9 0 471330505 474578944 90703 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=463456 CPUtime=0.64 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 64 0 0 0 15 0 9 0 471330505 474578944 90703 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=463456 CPUtime=0.68 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 68 0 0 0 15 0 9 0 471330505 474578944 90703 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=463456 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 474578944 90703 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 130.32
Current children cumulated vsize (KiB) 463456

[startup+129.501 s]
/proc/loadavg: 4.14 4.16 3.68 6/222 21421
/proc/meminfo: memFree=12748288/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=463584 CPUtime=131.95 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 111196 0 0 0 13178 17 0 0 25 0 9 0 471330503 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160343885 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 115896 90734 1035 742 0 108467 0
[pid=21234/tid=21236] ppid=21232 vsize=463584 CPUtime=0.46 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 46 0 0 0 16 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=463584 CPUtime=0.74 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 74 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=463584 CPUtime=0.57 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 57 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=463584 CPUtime=0.71 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 71 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=463584 CPUtime=0.69 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 69 0 0 0 16 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=463584 CPUtime=0.64 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 64 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=463584 CPUtime=0.68 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 68 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=463584 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 131.95
Current children cumulated vsize (KiB) 463584

[startup+130.301 s]
/proc/loadavg: 4.13 4.16 3.68 6/222 21421
/proc/meminfo: memFree=12747296/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=463584 CPUtime=132.75 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 111196 0 0 0 13258 17 0 0 25 0 9 0 471330503 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160343871 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 115896 90734 1035 742 0 108467 0
[pid=21234/tid=21236] ppid=21232 vsize=463584 CPUtime=0.46 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 46 0 0 0 16 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=463584 CPUtime=0.74 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 74 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=463584 CPUtime=0.57 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 57 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=463584 CPUtime=0.71 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 71 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=463584 CPUtime=0.69 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 69 0 0 0 16 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=463584 CPUtime=0.64 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 64 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=463584 CPUtime=0.68 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 68 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=463584 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 132.75
Current children cumulated vsize (KiB) 463584

[startup+131.101 s]
/proc/loadavg: 4.13 4.16 3.68 6/222 21421
/proc/meminfo: memFree=12744940/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=463584 CPUtime=133.55 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 111196 0 0 0 13338 17 0 0 25 0 9 0 471330503 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160354969 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 115896 90734 1035 742 0 108467 0
[pid=21234/tid=21236] ppid=21232 vsize=463584 CPUtime=0.46 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 46 0 0 0 16 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=463584 CPUtime=0.74 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 74 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=463584 CPUtime=0.57 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 57 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=463584 CPUtime=0.71 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 71 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=463584 CPUtime=0.69 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 69 0 0 0 16 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=463584 CPUtime=0.64 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 64 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=463584 CPUtime=0.68 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 68 0 0 0 15 0 9 0 471330505 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=463584 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 474710016 90734 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 133.55
Current children cumulated vsize (KiB) 463584

[startup+131.501 s]
/proc/loadavg: 4.13 4.16 3.68 6/222 21421
/proc/meminfo: memFree=12744940/32951124 swapFree=67111528/67111528
[pid=21234] ppid=21232 vsize=463584 CPUtime=133.95 cores=1,3
/proc/21234/stat : 21234 (mono) R 21232 21234 20968 0 -1 4202496 111209 0 0 0 13378 17 0 0 25 0 9 0 471330503 474710016 90747 33554432000 4194304 7232020 140733688886512 18446744073709551615 1160344494 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/21234/statm: 115896 90747 1035 742 0 108467 0
[pid=21234/tid=21236] ppid=21232 vsize=463584 CPUtime=0.46 cores=1,3
/proc/21234/task/21236/stat : 21236 (mono) S 21232 21234 20968 0 -1 4202560 4 0 0 0 46 0 0 0 16 0 9 0 471330505 474710016 90747 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21237] ppid=21232 vsize=463584 CPUtime=0.74 cores=1,3
/proc/21234/task/21237/stat : 21237 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 74 0 0 0 15 0 9 0 471330505 474710016 90747 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21238] ppid=21232 vsize=463584 CPUtime=0.57 cores=1,3
/proc/21234/task/21238/stat : 21238 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 57 0 0 0 15 0 9 0 471330505 474710016 90747 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
[pid=21234/tid=21239] ppid=21232 vsize=463584 CPUtime=0.71 cores=1,3
/proc/21234/task/21239/stat : 21239 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 71 0 0 0 15 0 9 0 471330505 474710016 90747 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21240] ppid=21232 vsize=463584 CPUtime=0.69 cores=1,3
/proc/21234/task/21240/stat : 21240 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 69 0 0 0 16 0 9 0 471330505 474710016 90747 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21241] ppid=21232 vsize=463584 CPUtime=0.64 cores=1,3
/proc/21234/task/21241/stat : 21241 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 64 0 0 0 15 0 9 0 471330505 474710016 90747 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21242] ppid=21232 vsize=463584 CPUtime=0.68 cores=1,3
/proc/21234/task/21242/stat : 21242 (mono) S 21232 21234 20968 0 -1 4202560 2 0 0 0 68 0 0 0 15 0 9 0 471330505 474710016 90747 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350199705 0 0 4096 545260780 18446604471134431168 0 0 -1 3 0 0 0
[pid=21234/tid=21243] ppid=21232 vsize=463584 CPUtime=0 cores=1,3
/proc/21234/task/21243/stat : 21243 (mono) S 21232 21234 20968 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 471330506 474710016 90747 33554432000 4194304 7232020 140733688886512 18446744073709551615 270350207409 0 0 4096 545260780 18446604471134431168 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 133.95
Current children cumulated vsize (KiB) 463584

Child status: 0
Real time (s): 131.568
CPU time (s): 134.023
CPU user time (s): 133.829
CPU system time (s): 0.19397
CPU usage (%): 101.866
Max. virtual memory (cumulated for all children) (KiB): 463584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 133.829
system time used= 0.19397
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111478
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= 8025
involuntary context switches= 2093

runsolver used 0.227965 second user time and 0.500923 second system time

The end

Begin job on node143 at 2011-04-26 05:39:09
IDJOB=3290498
IDBENCH=83436
IDSOLVER=1608
FILE ID=node143/3290498-1303789148
RUNJOBID= node143-1303787846-20988
PBS_JOBID= 13157255
Free space on /tmp= 72944 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290498-1303789148/watcher-3290498-1303789148 -o /tmp/evaluation-result-3290498-1303789148/solver-3290498-1303789148 -C 2400 -W 1300 -M 7680  mono Main.exe HOME/instance-3290498-1303789148.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=243636784

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14376544 kB
Buffers:       2286792 kB
Cached:       15618972 kB
SwapCached:          0 kB
Active:        6749420 kB
Inactive:     11264084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14376544 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           17908 kB
Writeback:           0 kB
AnonPages:      106924 kB
Mapped:          17848 kB
Slab:           496556 kB
PageTables:       5300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   518596 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72876 MiB
End job on node143 at 2011-04-26 05:41:21