0.00/0.00 c MoUsSaka with meat
8.69/8.80
8.69/8.80 s UNSATISFIABLE
475.50/475.51 c Core is minimal
475.50/475.51
475.50/475.51 v 1222 1220 1225 1226 1221 986 1113 1112 1118 1111 1117 3836 989 995 988 987 994 991 993 990 3834 3835 3830 3833 3831 3838 3832 5234 3828 5236 3829 3837 1223 1224 5235 5239 5240 5238 5237 3827 5241 5457 5460 5462 5456 5458 5461 5459 566 3492 3493 3494 3495 2347 2349 2350 2348 2351 2352 531 2593 2612 2341 2343 2342 2346 2345 2344 926 2591 2589 2590 2604 2601 2600 2586 2587 2588 2610 2608 2609 2611 2607 2603 2606 2605 2599 2602 2592 2613 2598 2597 2553 2552 2554 2556 2363 2364 3110 3112 3113 3111 1995 2624 2700 2680 2681 2699 2682 2721 2679 2692 2683 2691 2720 2719 2678 2618 2596 2595 2594 2643 2698 2636 2743 2729 2627 2732 2730 2625 2731 2621 2733 2622 2623 2629 2628 2734 2626 2735 2739 2741 2738 2740 2742 2538 2727 2722 2728 2536 2535 2737 2736 2619 2620 2466 2481 2490 2482 2501 2503 2467 2468 2489 2488 10056 10057 2407 2632 2635 2630 2634 10053 10098 10096 10097 9222 10014 23496 23495 23266 18266 23267 10015 23268 23269 10095 23261 10094 10018 9198 9194 9195 9197 9196 10016 1768 3496 10074 3739 10050 10077 10092 10093 10089 10091 10090 2539 23497 18254 2485 2465 2462 2463 2486 2449 2464 2443 2483 2487 2450 2452 9202 9200 9199 9201 2506 2367 2505 2508 2451 2507 2444 2504 2461 2484 2502 2442 18244 2441 2440 18247 18243 18248 18245 18246 15744 2406 2404 2402 2403 2405 2401 18253 23491 23492 23493 18251 23258 23259 23260 18249 10017 10019 10105 3599 10104 10103 3598 2376 2387 2366 2375 2385 2365 2386 2537 2394 2396 2390 2395 2392 2393 2391 2524 2514 2517 2512 2526 2510 2521 2528 2515 2522 2511 2513 2533 2527 2523 2534 2520 2525 2516 2519 2509 18252 43486 46556 43485 3597 3596 3594 3595 10106 16939 16935 16938 16937 16940 10102 10054 10055 10058 36862 24134 2555 10075 10073 10072 10078 10079 10080 10076 18269 10051 10052 10084 10083 10087 10082 10086 10085 10088 10081 3588 3586 46545 46555 46557 44124 3587 3585 3593 9223 1469 33770 33784 33785 33371 33787 33775 33776 33759 33769 33768 33786 46538 46537 35422 35424 16943 55414 35421 16942 55412 55413 35423 55411 16944 16936 3657 16941 46554 18268 1436 36861 46544 46542 46543 27305 46524 46455 46456 46523 45173 46522 46454 46541 46453 46432 46540 46452 46539 46442 46445 46428 46444 46451 46430 46443 46429 46449 46447 46431 46450 46446 46426 46448 46440 45172 26375 7106 28148 40182 44467 18267 18262 15093 15092 28137 46424 46406 46405 46433 46434 46435 46438 46439 46407 46425 29353 43484 3227 3181 3210 3186 3402 3211 3183 3202 3182 3228 3153 3403 3229 3230 3203 3154 3185 3184 2726 46536 3430 3433 3416 3421 3424 3564 3422 3569 3415 3413 3434 3419 3431 3568 3566 3147 3145 3435 3417 3420 3432 3567 3414 3491 3485 3490 3486 3144 3146 3209 3208 3563 3418 3425 46404 46393 46392 46403 46379 46378 46441 46427 46371 46372 46377 46391 46368 44747 44743 44477 44746 44469 44748 46416 46436 44744 44745 44468 46412 46415 46411 46413 46414 45171 3427 3428 3426 3429 46402 46400 46410 46401 46422 46437 46408 46409 46382 46383 46380 46381 46398 46376 46375 46374 46399 46373 46389 44471 46369 46367 46370 40011 46423 46421 46418 46419 46417 46420 46546 46553 46534 46535 44959 46550 46533 46551 46552 33761 33762 46549 46547 33760 46548 27300 27301 27302 28171 10059 10060 15449 15448 15450 18265 15451 15452 460 28220 28219 28202 28216 28212 28218 28217 18264 18263 15065 15463 15464 15481 15462 15453 15480 28173 28213 28214 28201 28172 28215 15478 15479 15470 15469 28170 43487 43259 43483 2070 2062 2530 2370 2371 2518 2368 2373 2369 2372 2087 2075 2073 2074 2061 2071 2085 2084 2068 2066 2069 2082 2095 2088 2096 2097 2083 2077 2921 3060 3090 3056 3034 3065 3036 2929 2922 3064 3063 3091 3059 2931 2930 3042 3043 3062 2933 2072 2086 2050 2065 2064 2063 2059 2051 2048 2056 2043 2053 1766 2039 2052 2044 2045 2042 2041 2040 2046 1767 3082 3107 2089 2076 2067 3061 3039 2923 3058 3109 3035 3040 3108 2047 2054 2058 2057 2060 2049 2055 3083 2932 3041 3057 27297 27299 27298 28169 28210 28211 28168 28166 28209 28198 28194 28200 28167 28199 28174 28196 28195 28197 10164 10129 11223 11224 28163 28164 17026 17029 17030 17032 17027 17028 17031 11222 11225 11221 11182 11214 10196 10200 11215 10193 11211 11212 11219 11213 11220 11195 11209 11194 11193 11208 11206 11207 11210 48103 48120 48121 35525 48104 46575 47294 53452 47961 53774 53758 53770 53755 53773 53772 53768 53771 48123 53757 36869 36868 44355 48202 44354 48207 48203 48205 44353 44352 48204 47295 48055 53776 53777 53759 53760 53766 53775 53749 46558 46364 48208 48210 48209 48206 49350 46365 49352 49362 48201 53358 53764 49360 53359 53360 47203 49339 49345 53763 53765 53334 49363 47299 36867 47301 49355 47284 45147 48214 49353 48105 48213 49361 47298 49365 49343 46559 53361 49344 49340 48268 53357 53754 53751 47302 43925 53356 48211 53750 53753 48122 53355 47287 48156 48199 48198 48155 48154 47288 35524 48118 35506 46655 35508 35511 35507 48153 35509 35510 35512 53501 47289 47292 48157 53389 47285 47300 53761 53762 49364 49357 49354 48200 47291 48162 46361 53747 53748 53746 53745 46075 46076 46362 46363 53388 47317 47316 48159 48158 11168 11178 11179 11167 11175 28206 28208 28165 28191 28193 28207 28192 28190 11160 10189 10183 11192 11181 11176 10192 11180 11166 11161 10194 10195 11165 11177 10182 3033 2992 3031 2920 2993 3032 43258 10268 8494 9110 10001 47290 47398 26548 26534 26547 26565 26567 26533 26566 26532 26555 26554 26552 26466 26553 26465 26551 26464 26564 15446 15445 15447 46520 46521 46519 43257 44348 48102 11216 11218 11217 48119 26579 26546 46074 45947 46072 45948 45949 46071 46355 46354 46358 46092 46360 46359 46093 46090 46091 46353 46352 46518 46088 46273 46272 46089 44369 46357 44370 46356 53741 53744 53743 53742 48100 48095 48094 48101 48099 45827 46073 46015 53502 46016 53500 53498 53497 53499 53496 46574 43924 48233 40614 46572 46573 46570 46571 46569 48299 48298 48297 48304 48300 48287 40615 48293 48296 48294 48295 44349 49274 49273 49338 49337 43852 49265 49262 49272 49263 49227 43923 43854 43853 49261 49271 49260 49269 49270 53458 53459 53470 53471 53473 53469 53472 47031 47155 47032 47194 47192 47106 47193 47154 47105 47191 47202 47201 47196 49264 47195 46617 46616 47152 47029 47153 47030 49327 49333 49326 49275 49335 49328 49329 49334 49336 45288 45246 45245 45287 45348 45295 45296 45347 45325 45345 45346 45324 49191 45280 45279 53457 43605 43606 43611 43631 43630 43612 49041 49188 49190 49040 49125 49124 49123 49007 49008 49126 49189 49006 49005 49122 49004 53736 53737 47121 46752 46753 47122 46017 46018 43850 43774 43845 43844 43771 45824 43773 43843 45990 43772 43842 45991 43691 43840 45825 43837 43851 43849 43836 45461 45460 45826 43839 43690 53455 53456 53453 53366 43629 43624 43623 43628 43604 43622 43621 43603 43601 43599 43600 43602 48054 48044 48043 48052 49259 49256 49258 49257 48042 48050 48051 48046 48041 48045 48053 43556 48019 48020 46674 49296 48517 49100 46673 46668 46669 49325 53481 53482 43922 49308 49306 49323 49322 49321 49324 49309 49320 49307 47200 53365 46615 53479 53480 53478 53477 53735 53734 48092 48093 43555 46661 45278 46660 45277 45323 45322 48516 49099 53605 53604 47393 47396 47395 46621 47394 47397 46614 47987 47990 47979 47985 47989 47988 47986 47972 43488 2183 43291 1751 2430 2194 2431 2408 2415 43295 2422 43293 2195 2419 43294 2168 2435 2426 2423 2438 2201 2165 2429 2425 1568 2420 2202 2193 2414 2167 2417 2436 2170 2413 2203 2200 2416 2427 2184 2169 2424 2434 1565 2410 2166 2411 2409 43292 2433 2181 2421 2204 2432 2182 2199 2437 2412 2205 1753 2418 2439 1752 35568 43921 43920 43914 46597 43913 46603 46596 43915 46599 47197 47198 46598 43919 47199 43290 8476 8475 8456 8474 8464 8457 8463 8375 8462 8443 8442 43617 8374 43912 8461 47983 47984 48197 48196 43889 43890 43888 46560 46564 47297 47305 47283 47281 46563 47280 47304 46561 48212 47296 46366 47282 47303 43616 46565 49351 47286 47204 46508 43911 47973 47978 47974 35518 35523 35522 43289 23935 28114 28115 47971 46667 47966 47965 46666 15156 26086 43482 18250 2018 2026 2025 2016 2017 2560 3756 3751 3757 3758 3755 3750 3753 3754 3752 48181 5884 15037 8511 43251 9923 9953 9949 9954 9946 9922 9947 9955 9956 9948 27304 10000 27326 28128 28133 28131 28130 27213 28129 33757 33758 28132 31571 31572 31573 31574 27303 9957 9890 9944 9876 9878 9896 9894 9871 9945 9893 9872 9895 9877 9888 9884 9892 9885 9870 9889 9891 9879 9958 9880 26568 33462 29349 33437 33460 33458 33455 33456 33424 33461 33426 33436 33457 33459 53778 33788 48375 53399 53412 53416 53413 53450 53398 53410 53451 53411 53414 15036 15035 33365 29362 33366 29375 33774 29373 29367 29371 33772 33368 29370 28221 28224 28223 29360 29363 29354 29372 29350 33344 29355 33370 33369 29364 29365 33771 33367 33773 29374 33343 3582 3571 3584 3574 3570 3575 3583 28113 48111 48107 29348 29347 29343 29346 29344 29345 53448 53391 53415 53445 53427 53449 53426 53444 53446 53447 28204 28205 28188 26582 26583 26584 28189 26581 28187 26585 26580 26592 26598 26374 26593 10034 26372 26371 26373 25157 13306 26085 25358 25355 25297 25356 25289 25298 25290 25357 25334 48192 25255 25305 25306 43481 26084 53354 53350 48124 53353 49348 48151 49349 48152 35521 48149 53349 53348 48150 48137 48136 53340 48132 53341 53335 53338 53339 53342 48125 48131 48130 48135 48126 53337 53336 48128 48133 48134 48129 48127 35577 43918 48195 48178 48161 48193 48170 48171 48194 48172 3123 2850 13304 13303 13305 25335 25256 26368 26102 26101 26369 26370 26283 26365 26362 26282 26103 26363 26099 25332 24358 25288 25333 25287 24365 26098 26100 24359 26364 33409 33422 33435 33423 33408 33421 33407 24969 25254 25304 2860 2902 26001 2898 2899 2897 3088 2900 2894 2895 2903 2901 25837 2896 25835 26027 25958 26028 25836 26000 25834 25959 26082 26083 26081 2854 2858 2856 2855 2861 3084 3085 2857 3089 3086 3087 2859 26026 25833 25999 25296 26080 25354 26367 27212 27211 23934 27210 27207 27209 26626 33512 33755 33756 49295 48286 23933 49226 26684 15034 26677 26670 26676 26683 26679 26678 26671 15031 15032 15033 2142 2138 2150 9108 2278 2141 8491 2147 2148 2149 2143 2140 8496 9107 8492 9109 8493 2152 8489 8488 2153 2286 2284 2279 2144 2285 2154 9106 8518 9105 8521 8522 2136 8517 2137 2151 2139 8490 9999 5883 9997 9996 9995 9998 8529 8530 9104 8535 1276 1284 1262 1393 1287 1286 1271 1269 1392 1294 1293 1270 1288 1295 1277 1263 1289 1285 1268 1434 1296 1435 5882 27208 26613 26609 26608 36865 36866 33341 33342 32919 29394 29400 33340 33339 29395 29396 26621 29398 29399 14616 11276 8477 14615 2398 2893 2400 23932 8283 7080 29397 15530 9303 9299 9975 9275 9991 9976 9300 9989 9302 9276 9990 9304 9301 9988 11265 11267 11262 11257 11264 11258 11263 11268 11269 11252 2036 1728 6077 35409 55407 35419 35420 35418 55410 55408 55404 35414 35417 35412 55402 55409 55399 15477 15461 43256 43255 55398 55397 33767 33783 2035 35437 35438 35408 35407 46583 46582 3030 8441 23931 23930 36854 48191 48163 48190 48189 2164 8282 10023 11229 2034 26461 26455 26441 26454 26462 26457 26456 26453 26463 26442 26460 26439 26440 26550 20599 26549 26459 1976 1819 1780 1820 1794 1975 1793 1786 1821 1779 1787 2033 25183 8284 1778 1785 1974 8281 8012 8008 8009 8278 8277 8274 6296 8272 8276 7995 8280 8273 8279 8007 8010 8191 8011 8190 8440 8438 8455 2644 2650 8192 26436 26450 1670 35520 49225 47369 47370 48080 48079 33398 33399 35519 1726 1724 1727 1688 1671 1669 1722 1689 1723 1725 1668 43841 11271 11272 46517 46577 46576 46611 46610 35567 35516 35514 35517 35513 35515 43848 43770 36864 43835 28121 48091 48164 27165 27041 27164 27203 27202 27042 27115 26586 1777 8473 1798 1807 1797 1806 1796 1818 2032 1989 2030 2027 2031 8460 3629 3656 3630 8354 8370 8363 8352 8362 8365 8458 16933 16930 8353 8369 8371 8358 8364 8366 8368 8359 8459 3643 3634 3642 3636 3632 3635 3644 3645 3646 3649 3633 3631 3637 16928 16929 3647 3641 3638 3640 3639 3648 1721 1694 1693 1704 1703 8373 8357 8367 8361 8372 8350 8351 8349 8343 8347 8344 8326 8324 8348 8345 8325 3611 3626 3617 3616 3627 3610 3524 3625 3609 3624 3600 3628 1667 1516 1641 1642 1635 1665 1636 1666 3654 3652 3655 3650 3653 3651 1692 1663 1644 1652 1649 1650 1690 1776 1515 1775 1774 1772 1773 1517 2001 2000 2014 1999 2015 1651 1662 1691 1640 1664 1645 49358 1795 49359 49332 3873 3875 3879 3877 3872 3874 3878 3880 3876 3615 3522 3614 3920 3921 3919 2098 2764 8439 8360 8355 2756 2384 2460 2448 1750 15021 15020 47334 35496 46588 47355 47354 47356 46612 46593 46594 47353 47387 47385 47388 47386 47389 28065 15482 33752 33754 33753 33751 28109 28110 28111 28112 27132 53397 8427 3518 16923 16934 16926 16932 3519 16927 16925 8426 535 8437 1227 3523 3497 3520 3521 1182 1205 1178 1176 1183 1208 1206 1192 1194 1195 16922 16921 16238 16919 16920 1214 8436 1175 1181 1184 1217 1209 1216 1213 1218 1215 1193 1177 1185 1201 1207 1200 1219 9815 9861 9860 9779 9859 26458 15468 9866 9865 9867 9863 9864 9727 9384 9385 9862 9765 9726 9764 27971 15064 26438 26452 15063 9780 9781 15467 15038 9814 9816 33406 33405 28179 28178 28177 28176 28175 43620 43598 43610 43627 49223 49222 49224 53425 53424 53423 28162 29359 33360 33347 33359 33351 33352 33350 33348 28135 33345 33349 33346 33358 33363 28134 29358 33364 28161 48040 8420 23864 23498 47982 48108 48115 53352 53351 48110 48113 48114 48116 49346 48106 48112 49347 48117 47275 47208 47277 47279 47278 47206 47205 35500 33433 33434 36863 26426 26446 24477 44751 3561 3565 3562 3560 26627 26631 27116 27201 27039 27040 27206 27205 27204 26587 26620 27131 26763 26762 9974 9987 23878 23894 23897 23877 23895 23867 23881 23893 23896 23929 23885 23886 23880 23866 23892 23879 47331 24487 24753 24478 26425 24756 24754 26423 26424 24479 26422 26421 24757 24755 24758 26420 572 536 1771 26577 1283 2023 571 570 2024 569 567 29391 29384 29379 29378 53756 47293 48160 53752 53769 45946 45945 53495 53493 45943 45901 53494 46067 46069 46070 46068 45944 49039 49187 53422 9813 9723 9725 9724 25957 9994 45223 49003 48889 45243 45244 49002 48888 45224 47104 45333 46591 46590 48098 48292 47392 23305 9812 9763 9383 9308 9306 26603 26604 48165 48168 48167 48166 48169 24379 26366 24380 24364 24363 24378 28385 28308 29337 29285 29339 29338 29284 28309 28314 28310 45146 48374 47960 26665 26664 33491 33492 33508 33509 33507 33482 33481 33510 28384 33483 33511 27327 33468 33469 33480 29280 29273 29305 29306 29271 29279 29236 29281 29272 29237 29274 28296 33490 33467 29275 43253 28297 29283 29282 25156 24973 25066 47400 47402 25067 11238 23622 23621 23639 23638 23633 23616 23634 23640 26624 26625 26607 26606 23641 23863 33425 28104 28105 28090 28000 28064 27995 27998 27989 27984 27983 27996 27999 27988 27997 26097 25471 26281 24357 26361 26024 25470 26025 25469 25286 25331 29387 28089 27993 27975 27994 27976 28278 27408 28103 46507 27406 27405 27407 48078 24385 27380 24376 24361 24366 24375 27313 24386 28102 27404 24388 24374 24383 24377 24367 24360 27403 27379 23862 23861 23784 23855 23924 55390 23900 55391 23925 54574 23846 23860 23847 23783 23854 47368 26531 26530 28307 29336 29018 29017 29199 29200 29051 29050 29198 29016 29015 29134 29135 29133 29136 29014 29270 29335 28303 29201 28526 29109 29110 28305 28527 28243 28053 28055 28061 28062 28306 28060 28051 28054 28052 28056 28063 29269 28304 29132 33420 17088 33454 17042 17038 17044 17045 17043 33506 33479 24337 33615 33614 21031 21032 48018 11246 27982 27981 33401 23566 23627 23565 28030 28029 17087 23610 23611 23632 23612 23613 23631 23614 23609 48305 47359 44350 47399 47377 44367 44376 44375 44351 44374 44373 47376 44327 44326 44357 47358 44361 47372 44356 44362 47371 44366 23626 33466 33465 33376 33463 23899 28295 29304 33489 33488 23898 23853 23782 23781 23852 26619 26570 26573 29361 27314 27310 27292 27295 27308 27309 27294 27311 27296 28222 26575 26569 27306 27315 27290 27293 27307 27291 26376 26574 27312 26571 27214 26618 47964 29393 29386 47375 31570 31488 31441 30730 31342 3517 3513 3516 29316 29331 29330 29333 29319 33747 33746 33745 44378 44377 47401 48306 48307 33744 32917 32918 31904 31956 32061 31992 31991 32060 31720 31721 17039 17040 32058 32059 32006 32007 31955 31903 17041 49219 49217 23302 23304 23301 23300 32005 32004 29268 55405 55403 55406 29317 55401 55394 29334 29332 49220 49218 31753 46567 55395 55396 55392 27162 27163 49203 49216 29267 29266 32003 28027 31902 32002 28028 31901 31754 29318 49221 49294 27992 27974 31229 31195 31228 31338 30723 31465 46500 46501 46472 46485 25068 25065 24922 25150 25019 25018 24455 25152 25154 24975 25153 24925 24974 25151 25155 24923 24454 24924 24387 24384 31398 31435 31396 30688 30687 31460 36843 33338 33337 26543 26542 26544 15456 26561 26563 26562 33327 33326 36845 30729 31490 30718 31568 31425 30690 30745 31397 30689 31426 31339 47977 29342 47959 47958 29341 11174 11164 23922 23923 46120 46121 29376 46271 46270 46122 46141 46140 46595 6302 43899 26545 43900 31443 31442 30746 31343 31569 31432 30744 31341 31491 31424 31423 31483 31197 30724 31246 31335 23921 31256 31258 31486 31484 31455 23299 31487 31466 36847 24336 36848 24372 36846 30743 31433 31489 31459 31259 30719 31257 31194 31449 31457 31434 31344 31230 31456 31450 31247 31337 31340 33324 31196 33325 31464 31482 31336 31444 31436 31467 33119 33105 33111 33122 33106 53407 53408 53740 31485 33090 33089 33120 33121 33112 54572 54573 54037 54036 54035 53834 23850 23701 23849 23700 32767 32913 32765 32916 32915 32852 32914 32851 32766 32665 32664 48000 44394 44393 46678 46679 39826 55388 55156 55389 39758 46676 43310 46677 39760 39759 39453 39456 44398 44396 44397 46681 46684 46683 44401 44400 44395 46495 46496 46506 46497 46505 44399 46680 39727 39729 39728 39649 44392 46682 23490 48074 46568 48061 48076 48062 48075 48077 43887 46315 46275 46313 46347 46318 46329 46312 43868 46314 49288 43489 46323 49276 43871 46346 49286 46345 43882 46328 46350 49278 46327 49279 43876 46324 49289 43884 49290 49280 46319 46320 43883 49292 46349 43867 49285 46322 43885 48309 49277 48226 39648 39647 44429 44424 43870 43856 46290 46274 46291 43857 43875 46351 46317 49281 46348 46326 49291 49287 47308 46316 46325 49283 43869 44402 43886 11241 15465 11240 11226 11243 11249 11248 11231 11236 15466 11250 11251 10107 11230 11239 10110 11247 35444 35484 35469 35481 35480 35483 35482 35488 35464 35465 35466 35468 35463 35462 35467 35451 43944 53826 53809 53828 53829 53827 53833 53820 53825 53821 53824 53832 44301 43945 47970 46532 53791 53807 53804 53808 53805 53806 53803 32000 31751 15062 15061 15060 53786 53784 53785 53787 15059 53781 53788 53792 31752 32001 53789 53783 53790 53782 53779 53739 53738 35454 39455 39449 33765 33782 33764 33763 33781 43897 26417 26445 26449 26435 29382 53406 44368 43896 26529 26518 26517 26528 3865 3862 3861 23919 23918 23908 23917 23909 35491 23920 26578 23910 3871 3869 3863 3864 3870 3868 3867 3866 31750 31749 28108 15057 15054 15058 35477 47957 10003 48009 48049 47955 47858 47857 47953 47479 47875 47859 47906 47817 47820 47910 47956 47819 47908 47821 47909 47818 47907 47954 43268 44318 43267 46086 47391 46613 44323 43287 43288 47390 46087 44320 44319 44321 44322 15439 15440 15308 15438 15441 15206 15309 29381 29761 29768 29735 29769 29760 29736 2545 26576 35497 27318 15118 15153 15130 15154 15155 15120 15131 15150 15148 15152 15149 15127 15128 15151 15129 49366 28101 27402 43252 27378 33076 33075 32973 32972 32971 32963 32962 32960 32961 32974 10225 10265 10259 10255 10254 10252 10222 10253 10257 10263 10223 10266 10258 10224 10256 10267 10221 10220 10264 5463 25182 25181 44317 28525 29108 27377 10109 18242 23257 22171 43249 43247 41785 43248 43250 36849 26510 26511 29493 18973 29467 18941 18942 18967 18972 19222 20457 18966 18931 19221 18930 18974 19220 29497 29496 26495 26434 26448 39638 39645 39644 39646 39642 39637 39641 39643 39640 39639 44358 29356 33362 33361 28124 28127 28120 28116 29357 28126 28118 28123 28125 46486 46498 46499 27385 28122 29479 29478 47384 47380 47351 47352 47383 27987 10020 11235 10047 11234 10048 29377 29380 28313 33087 33088 32813 32370 32811 32662 32801 32355 32663 32794 32373 32802 32849 32795 32810 32363 32354 32364 32339 32812 32372 32850 32804 32371 32338 32805 32336 32337 10007 8416 8415 8425 8414 18976 19215 19218 19217 19219 19216 33006 33072 33058 33030 33068 32997 33007 33049 33056 33070 32996 33005 33031 32989 32990 33073 33010 33050 33057 33071 33074 32975 33069 33011 33009 32995 32988 33008 33067 29670 3581 17097 26560 32987 32945 19858 28088 28086 28087 28084 28085 28072 28071 53377 53405 53404 46531 23915 19862 19861 23906 19859 19863 19860 23916 23907 32977 33766 32946 33028 19864 19865 29289 29299 29290 29291 29301 29292 29300 29302 29303 19866 46118 15112 46119 33029 32986 46529 46528 46530 46527 26556 15111 15444 24362 28070 16734 20031 20067 20029 20066 20107 20065 20026 20022 20038 20039 20032 20108 20092 20093 20069 20087 20088 20068 20146 20013 20036 20037 20030 20025 20024 19917 20023 20028 20109 20145 24633 20468 20459 20467 20465 19872 23320 19875 19874 19868 18781 18784 18814 18785 18783 18782 18681 18680 18724 18817 18861 18679 18862 18815 18860 18816 18725 18400 18760 18747 18401 18737 18419 18394 18748 18738 18740 18367 18731 18420 18749 18384 18730 18741 18368 18393 18402 4355 18777 3881 18775 18766 18773 18774 18772 18767 18765 18462 18776 4364 18761 18859 18813 3840 3911 18746 18385 18403 31668 31719 31718 31717 31716 3733 3729 16958 16957 26437 26451 46094 32948 55386 55387 55188 39726 17016 26605 28100 27344 28099 28098 4564 3922 35413 9210 11584 11583 13461 4377 3891 3890 11592 11571 11572 11585 35406 35404 35415 35402 35416 35411 35405 18481 18498 18496 18497 18678 18490 18464 18480 18499 18677 18495 18479 10516 9285 9253 8413 29494 29495 29469 29458 23321 29734 29756 18294 29755 29752 29753 29751 29754 29759 29758 29749 15511 29748 29757 18293 30604 18439 18455 29569 18451 30605 30606 18358 18454 18359 10514 18452 30603 8486 32277 32788 32273 32275 32272 32265 32263 32274 32266 32264 32276 32789 29385 29288 29298 23499 39603 43260 46654 46622 43480 26507 26516 26505 26515 43254 11254 27980 27977 27979 28293 28294 28292 29235 29234 29232 29233 28291 28050 27370 26669 39636 18443 18463 18489 18488 6992 6991 7074 6943 13075 13222 6899 6848 7075 6847 6849 12323 12371 12357 12355 6900 13074 13157 12444 13073 12443 12473 12474 12437 12436 12501 13220 6898 7073 6944 12376 7076 7078 7079 7077 12374 13168 13173 13128 13176 13164 13167 13174 26666 26667 26668 43594 43596 43582 48887 47981 46662 46664 47963 47336 49116 46665 48886 47962 43619 49119 49118 49120 45294 43597 49121 45292 45290 49000 45222 48999 46663 49001 49117 47333 45293 43595 43584 45291 47980 47335 43592 43583 3721 48666 31900 23625 23564 31708 31707 39635 19900 19899 19877 19876 32246 32247 31687 31686 43618 27324 8419 18366 18365 18461 15495 18460 18444 6942 31731 31999 31998 31732 20012 16918 16766 16755 16917 16764 16762 16760 16765 16761 14778 14814 14777 14799 14781 14782 14805 15019 14806 14800 14784 14783 14815 14813 15018 14816 12438 12483 12380 13166 13156 12379 12479 13069 12994 12982 12992 13068 13215 13199 13189 13218 13219 13196 13181 13070 12932 13182 13198 12965 13187 12981 13071 13191 12963 12930 12976 12636 12979 12977 12318 12321 12320 12319 12316 6735 6917 6696 6927 6916 6938 6926 6844 6937 6843 6755 6250 6906 6733 6779 6915 6940 6734 6695 6925 6939 6941 6919 6905 6562 6636 6635 6753 6781 13153 13076 13216 13192 13301 13175 13188 12637 12356 12204 13151 12354 12895 13152 12372 13072 13214 12933 12500 6846 13217 6782 13129 6747 12480 274 12498 29231 28021 28010 6924 12482 6746 12373 12485 13300 13155 12980 12441 6842 12499 13302 6841 13130 6920 12445 12931 6752 12317 13067 12322 12439 12307 12442 6561 6845 12964 12991 13197 13158 6850 12896 6780 6754 12993 12440 23848 23699 48188 20035 43285 3967 43283 43286 3966 44302 43284 44312 2853 2852 2838 2837 2851 20091 20009 20106 20086 20110 2759 2754 2758 2757 3612 3613 2755 45566 20144 5813 53539 53591 53551 47461 53594 53549 47410 53507 53592 53598 53545 53601 53555 53552 53524 53503 53540 53557 53556 53599 53523 53554 53546 53541 53597 53508 53550 53542 53578 53544 53579 53563 53558 53602 53562 53504 47466 47403 47405 53593 53595 53553 53513 53547 53596 53548 53600 53543 8435 8428 8430 8431 30570 30571 20143 47721 47722 44470 47739 47720 47636 45577 47716 47637 47510 44472 47738 47719 45573 45559 47742 47718 44749 47741 47717 35586 35527 35582 35592 35579 35591 36870 35578 35569 35526 35587 35570 35593 45557 45538 45558 45576 35581 45564 40813 40025 47723 47744 44473 47740 45555 47743 45544 45556 27247 2769 2749 44364 44365 46984 47027 47028 45715 46958 45782 45785 47000 43758 45758 45714 47025 46957 43766 45955 45987 45820 43768 45984 36860 46956 47136 47137 47149 47138 47148 45537 45730 46924 45953 45570 46994 46926 45543 46925 46799 45569 45642 47125 45641 45952 46783 45717 46800 45967 46798 46923 27289 27283 27288 27284 27255 27285 27287 36859 27215 27222 45976 45965 45973 45964 45975 45989 45818 45974 43769 46999 43761 45783 46983 46623 46624 8404 46785 46759 45640 45643 45639 46985 46784 27248 45565 48017 47126 46801 45560 5268 47128 47127 47139 45969 45784 47026 45823 45819 45821 43759 45759 45968 45954 45966 45986 47151 47140 45465 47150 45985 45675 45676 43767 45822 48037 48038 45716 43760 48039 45988 2649 5871 5870 5247 5261 5265 5249 5262 5264 5245 5266 5250 5267 5248 5263 5872 26601 26600 5881 5522 5551 3727 43282 43266 3730 7261 26617 36855 36857 48035 48036 45635 43755 43765 45756 45636 43757 43763 45757 43764 46955 43756 33156 33322 33192 33168 33290 33155 33191 33157 33267 33288 33279 33291 33196 33194 33249 33250 33269 33316 33281 33317 33289 33166 33321 33318 33319 33320 33167 33193 33268 33280 33195 33323 20442 27341 34584 35401 27323 30285 33817 33801 35398 35400 35399 35166 28097 28096 11343 11351 11344 11345 11334 23374 24407 11352 26151 26213 26256 24760 24673 24699 24672 26133 26276 26232 26149 26245 26233 26214 23314 26131 26285 26336 26323 26359 26324 26337 26335 26360 26338 24412 26300 26339 24697 26135 26279 26148 33696 26274 26254 26134 26150 33669 26280 26246 26275 33711 26231 33743 26130 33670 26146 33742 26132 33710 33695 26257 26255 26147 26136 26277 26278 33741 35397 35196 35192 35194 35197 35187 35396 35193 24698 26175 24688 35198 24701 24700 26244 24761 26113 24687 24671 26104 45169 45170 27412 27970 27410 27386 27382 27409 27381 27387 27369 31957 31988 31989 31990 31666 31667 31987 5273 5274 5272 3801 36852 36853 36851 27411 47211 47273 53345 53344 47274 53346 48148 48147 47245 48145 48140 47190 47238 27368 3710 2753 2583 2584 32169 32171 32768 32158 32785 32782 32170 19944 19957 20089 19949 19945 19955 19956 19948 19937 20090 19958 19938 19946 19947 26301 26333 24439 24434 26334 26322 17075 27244 27246 32168 32781 32780 43580 45220 48885 43581 48985 47332 48884 43591 48986 40007 47330 43590 45221 48674 31898 31807 31895 31896 31806 31897 31879 31802 31801 31878 34558 23624 23563 23562 27242 5277 27127 26700 27128 26750 5275 26760 27123 26751 26761 26758 26742 25468 25443 25467 2117 5879 32131 32132 32133 32134 32068 32067 26738 26697 27129 26759 27130 20142 20141 20140 20138 20139 5276 27124 16916 16893 16839 16841 45240 45242 48187 48182 48183 48184 48185 48180 48186 48179 8573 8571 8563 8551 8570 8550 8564 8574 8572 8569 8565 8562 23561 23559 23540 23541 23560 35148 35163 35155 35147 35161 35156 35141 35020 35142 35151 35162 35146 34699 34917 34918 35164 35165 35140 34910 34893 34904 35160 34891 34892 34908 34915 35154 34887 34909 34886 34916 34885 34914 53893 34983 35149 25399 25398 25396 25397 25400 25441 25442 29062 29063 29107 29106 29105 28524 34902 24373 45241 5271 34655 27240 46954 27241 27238 32157 32156 26642 26641 28373 27827 28374 27489 28372 28338 23489 27885 46920 45501 46919 46921 46922 46918 34884 34907 34883 34906 34881 34857 35125 35139 35138 35153 35152 45575 46792 45574 32787 27243 48139 32777 32160 47212 32069 32172 48142 32784 27245 53343 47237 47209 48143 32148 53347 32783 32775 36858 47124 8271 6295 6294 8270 18759 10515 18739 18729 26527 5284 11255 32167 48138 48146 32786 32776 32159 48144 27867 27963 3968 19898 27488 36850 27883 27487 28369 27884 28371 28370 28375 28382 28383 28339 28381 27828 27917 26655 26661 36842 27918 27967 27969 27968 27965 27964 27916 26662 26653 26654 26660 26663 27920 26656 28380 27831 28376 27919 27830 27966 27868 27869 27829 33534 33589 27415 33602 27471 33601 33588 27413 33610 33523 33612 33608 33560 33613 33550 33518 33533 33609 33558 33562 33561 33573 33611 33549 35186 35176 35185 27754 27736 27756 27757 27735 27737 27758 27755 27759 27673 27745 27747 27650 27645 27675 27746 27661 27649 33639 27642 27671 33709 27651 27672 27662 27644 27648 27674 27676 27643 27663 16456 16892 16836 16847 16754 16740 16741 16742 27751 27750 27728 27520 27748 27727 26399 27738 30379 30382 24481 30391 30381 27732 35190 30389 27739 27752 30390 30387 27753 24759 30286 27734 33559 27743 26299 24480 27730 27742 24482 27646 27729 35191 27733 24483 30380 27744 27749 27647 27726 27740 5878 5873 15503 16453 15504 5880 5874 5848 5849 16895 16896 16894 55252 55365 39721 39722 55385 39724 39725 55384 39723 27741 27731 2118 2146 8495 2116 1575 2115 16915 18342 15522 15523 3799 3800 5847 5877 7165 7166 6249 6251 26526 26521 47623 47766 47815 47715 47814 47892 47813 47905 47764 47904 47672 47673 47890 47713 47889 47765 47903 47881 47880 47714 47816 47893 47888 47902 26522 26519 33109 33110 33081 33082 32958 29390 32959 24921 25017 30620 31420 31419 30621 35485 47622 47763 47621 47762 30618 30601 30602 30568 30567 30617 30600 30599 30619 30616 16739 16744 16743 16753 16738 16832 16850 16848 16840 16851 16849 24453 5856 5853 5861 5865 5864 5862 5869 5866 5858 5868 5867 5850 5863 5854 5852 5855 5860 5857 5859 5851 32230 32229 32220 32226 32227 32224 30421 30422 30426 30424 30423 30425 30733 30734 24902 30735 30692 30732 30731 30695 30697 30694 30693 30696 30698 30552 5876 8467 8470 8471 8468 8472 8469 2571 15055 15056 11232 5452 5439 8561 5454 8560 8559 5449 5445 5444 5451 5437 5431 5430 5440 5436 5450 5455 5326 5453 5325 5429 5428 5442 5443 5441 5417 534 8557 8558 8556 8555 8465 8466 3602 6315 6317 6316 15110 273 272 270 271 8275 31722 31723 26509 26496 26508 6990 7072 6988 6389 6390 6391 6989 23478 23464 23477 23480 23466 23472 23485 23487 23465 23479 23484 23486 23488 23471 23463 31679 31683 31684 31674 31685 31680 31681 31682 31678 31743 31742 31744 31745 31747 31746 31748 6325 6323 9528 9795 9672 9722 9669 9576 9665 9784 9620 9671 9660 9664 9799 9787 9782 9663 9798 9621 9785 9786 9478 9666 9670 9577 9529 9811 9579 9578 9797 9477 9661 9659 9796 9720 9809 9808 9619 34424 34425 23460 23462 23461 23698 23696 23697 17074 23694 23693 5401 5409 5413 5415 5410 5411 5403 5406 5412 5416 5400 5404 5405 5402 5399 5414 30686 30685 30683 30684 23459 23458 16209 16233 16231 16211 16208 16223 30563 30562 30431 30566 30561 30565 30564 8507 16216 16195 16187 16206 16194 16182 16207 16196 16221 9719 19920 20015 20016 20017 8417 8405 8418 3515 18458 18459 18453 2750 18450 18364 18362 10916 18361 18363 3717 19292 19291 19297 19298 16226 16237 18456 16230 16030 19878 16234 16210 15917 15727 16218 16232 3514 16236 16203 16222 20014 18360 16205 9284 16224 16235 16193 16192 8346 18457 16217 16204 16225 8335 7104 30556 30558 30557 30553 30560 30555 30554 30559 26186 26211 26116 33154 33153 26212 33668 26129 26128 33650 33247 33667 33248 9721 9810 9794 13165 12375 12484 7105 13221 13223 33335 33336 46526 33417 33418 33750 53483 53484 33748 33749 33334 29340 15029 15030 13177 13179 13180 30720 46790 46788 46791 45563 46787 46789 45533 46786 6743 6744 6901 6694 6739 6738 6693 6918 6741 6904 13190 6903 11270 9993 16831 16771 16785 16830 16784 16772 16783 16786 31993 31995 16759 16758 16212 3788 10219 14768 14769 14770 18745 18736 14670 14660 14657 14659 14637 14658 14669 14668 14671 14643 14642 48531 48575 48832 48833 48619 48847 48587 48839 48552 48546 48845 48836 48604 48530 48834 48576 48574 48555 48827 48598 48556 48848 48616 48837 48586 48617 48842 48852 48620 48573 48582 48850 48527 48618 48835 48547 48825 48853 48838 48846 48854 48841 48824 48607 48828 48826 48840 48831 48851 48599 48855 48606 48849 48984 48982 48983 48981 48830 48581 48579 48844 48580 48605 48843 48554 48829 48525 48585 48529 47382 45219 46589 47329 45218 48882 48881 48883 48856 48700 48577 48521 48518 48584 48523 48519 48691 48692 48528 48520 48522 48526 48524 48693 48694 2135 48977 48974 48910 48911 48603 48548 48980 48909 48553 48979 48602 48912 48978 48551 48601 48976 48973 48549 48550 48975 48578 48600 43281 45239 45238 15625 16026 15991 16025 16220 15987 16028 15992 15982 15996 15990 16027 15995 15993 16029 15514 16219 15994 12313 12315 12309 12314 12312 12308 12311 12310 47350 23539 23558 15458 15460 15475 15476 15457 43265 44316 44308 44309 27319 27320 27322 27321 15459 2134 2132 2133 32956 45951 32957 26539 26540 26538 33330 33332 26537 26541 26536 8520 8519 33331 33333 2129 2131 2130 46336 49293 31808 43593 32225 43898 43910 23303 49282 47348 46335 53603 8540 8536 5246 30721 23615 31899 23859 3741 23265 521 523 524 519 526 522 514 529 518 516 520 525 515 528 530 517 527 10062 10066 10063 10064 10067 10068 10049 10061 10065 333 357 343 362 320 364 332 349 345 322 361 344 350 356 358 346 359 360 458 459 363 365 3742 3745 3744 3740 3743 10099 10101 10100 10071 10069 10070 461 1191 1174 462 464 463 512 276 275 1173 1180 255 1189 1190 1188 1186 1172 1155 1154 1156 1137 1140 1141 1138 1169 1170 1144 1171 1146 1142 1145 1139 1136 1134 568 23494 2283 2282 2280 2145 2112 2114 2120 2121 2119 2281 2124 2123 2122 2113 10207 10206 10218 9268 10214 10217 10212 10210 10213 10209 5464 10205 5286 9214 10204 10216 10208 15176 15177 15162 15163 15205 15184 15201 15202 15185 15159 15157 15160 15069 15070 15203 15174 15161 15175 15173 15186 15204 15200 765 758 992 561 551 563 549 550 560 556 557 1116 542 547 562 565 548 543 1115 1114 558 559 564 770 759 760 761 764 767 867 772 922 769 737 768 923 866 757 924 731 766 771 730 762 736 763 3151 3177 3179 3169 3152 3178 3180 3168 23264 23263 23262 3167 251 177 253 187 191 178 180 234 189 170 182 252 192 254 186 233 183 181 232 188 190 11078 11015 11014 11077 11079 11013 10897 10408 11159 10896 11011 10987 10407 10988 10989 10409 11080 11012 10898 10933 10932 10899 10900 2723 541 553 540 554 539 552 537 538 545 546 544 555 3136 3205 3206 1433 927 928 1432 929 1431 2695 2694 2693 2640 2696 2642 2697 2641 3204 3135 3207 378 456 377 438 457 389 388 387 375 390 386 380 376 373 1265 1266 1264 1267 2389 2388 381 385 440 439 372 9237 9985 9983 9240 9986 9873 9220 9219 9984 2037 971 4639 6679 6678 6681 6408 6407 6417 6682 6683 6680 6409 8318 8293 8320 8319 8321 8294 8292 8296 8295 8317 8323 8322 4482 8290 8298 8310 8287 8297 8289 8311 8312 8288 8286 8334 8333 8332 8291 1261 947 930 931 970 962 494 504 511 505 502 506 496 498 500 503 497 509 470 467 495 501 507 508 499 468 510 1438 1437 466 1514 3856 3855 3854 3853 3852 3857 3850 3859 3858 3860 3849 3848 3844 3845 3847 1430 1424 1426 1425 1423 3437 3484 3442 3479 3478 3440 3468 3483 3480 3436 3443 3481 3441 3444 3475 3341 3471 3482 3477 3466 3467 3469 3470 3476 3410 3461 3411 3451 3409 3407 3406 3460 3458 3457 3412 3456 3452 3408 3450 3449 3459 465 532 513 3851 925 1983 1984 1784 1805 1783 1803 1804 7991 7937 7753 7936 7751 7866 11158 3165 3166 11157 11155 11115 11148 11145 11150 11156 11146 11151 11149 11147 11116 7215 7208 7216 7207 7275 7387 7388 7935 7222 7177 7933 7386 7908 8502 8501 8504 11076 10931 8500 8506 8510 8509 8512 8513 8505 8503 48303 49341 47379 49342 47347 46592 46764 46766 46775 46773 44626 46772 18261 23927 10944 11010 10895 10985 10406 10945 10984 10986 24371 29392 44666 44640 44678 44735 44708 44737 44659 44662 44689 44677 47597 47583 47580 47640 47736 47724 47725 47584 47588 47633 47575 47602 44740 44661 44687 44724 44674 44705 44707 44706 44723 44736 44638 44672 47634 47608 47577 47578 47611 47589 47737 47638 44679 47639 47747 47727 44739 44683 44722 44673 44657 44668 44667 44676 44685 44664 44684 44738 28181 28182 47652 28203 28185 28186 28184 9972 9973 9959 9242 9868 9869 9241 9238 9971 9887 9875 9239 49211 49268 46126 46265 53731 48090 46268 46267 46245 46244 53701 53733 46136 46137 46138 48088 46139 46269 46235 43907 46246 53700 48089 46266 46264 43909 43908 46124 53732 46125 46236 46247 53697 46231 46232 46230 46123 46096 46234 46153 53699 46204 46222 46203 46223 53660 53659 53685 53686 46221 46103 53615 46151 53629 53616 46097 46152 46164 46142 46150 46102 53628 46165 53614 53606 26379 26382 26408 5390 5387 5389 19907 19903 19908 19897 8515 8514 8516 8487 19905 19904 5391 5385 5386 5346 5388 5344 3672 3682 5345 5034 43838 28316 28317 28315 19906 19901 19902 26386 26377 20428 26389 26415 26416 26444 33487 33375 33404 43554 26403 26381 3747 3749 3746 3748 26414 26384 26409 26383 26413 26410 30276 29401 30275 43615 26378 26411 26385 26387 26402 26412 26380 48087 48086 44304 47745 47726 47748 53687 53698 53695 46233 53696 46095 47749 44680 44686 44663 44690 44691 44688 47600 44630 47585 47651 47662 47641 47579 47635 47607 47586 47632 46769 47605 44656 44750 44682 47746 44681 46511 46509 46516 46512 40230 40215 54229 54228 40246 46762 39674 39675 39690 39689 40214 39621 39612 39620 39613 39619 39614 39611 39618 54240 54238 54242 54241 54243 54239 44625 44628 44629 44624 54260 54244 44623 40104 40102 40042 40103 40050 26401 26388 26443 27973 26673 26672 26674 47664 47661 44652 26675 23630 23608 26623 26622 44653 44639 46767 46777 46768 46761 44643 44642 44665 44637 44634 44654 44635 44631 44627 47610 47665 47576 47590 47595 47609 47653 33432 23928 28180 27343 27345 27991 27972 27346 44651 47573 47596 47587 44655 44675 44644 44641 44660 46776 46763 46765 44633 44648 46760 47606 47663 47666 47598 44636 44649 44632 47574 47601 44670 44658 44669 9209 9208 9191 9205 9206 9207 27389 44911 45003 27357 44989 44991 44990 44985 44984 45002 44799 43462 45006 45141 45007 43460 44618 44701 44303 43428 43429 43430 43431 43439 43440 9192 8478 45009 45057 45140 45058 43455 43461 43476 43454 43474 44760 43467 44981 44971 44970 44910 44982 44909 43442 43466 43441 43438 44992 45004 45005 43347 44798 44800 43452 43475 43453 43456 43470 43468 43469 44980 44761 44913 44912 45008 19881 8424 3659 3658 48515 49098 27364 27399 27366 27396 27363 27365 27398 27395 27397 11237 19896 19916 29197 29049 17020 27400 27401 23926 40219 55154 55155 54908 44752 44753 44755 44759 44758 44805 44741 44983 44742 44803 44968 44806 44969 44756 44754 44757 44693 44801 44802 44966 44692 43996 43994 43995 43993 39693 39670 39691 39650 39669 39651 48278 48538 48541 48609 40231 40234 48564 40238 40237 48639 48559 48646 48558 48568 48571 48651 48539 48647 47314 54601 48563 48533 48535 48532 48594 48665 48570 48608 48649 48534 48562 40239 40236 40252 40240 40235 48542 48611 48536 48565 48643 48596 48544 48638 48664 48644 48543 48663 49115 48591 48640 48641 48537 48566 49114 48648 48569 48650 48540 48613 48614 48589 48612 48590 48592 48662 48645 48642 48561 48567 48595 48610 49051 54881 54890 54906 45317 48514 54883 54904 54589 54590 54687 49048 54598 54625 48378 48395 48383 48377 48398 45299 49047 49095 54882 49093 54891 54689 49053 48394 40233 53838 54624 48379 48385 54607 49049 47969 54629 48376 54645 54616 49092 54907 54630 54580 46658 47967 45275 48380 48396 48384 54606 54615 48393 54626 54579 53839 54617 53837 43614 45318 45274 48382 40232 54627 43553 54894 45316 48381 43549 49096 54900 46659 48444 49097 45321 45276 49091 54600 49050 45273 54644 45298 54898 54899 53836 45319 48513 54599 43551 45320 49094 46656 43550 43552 53835 39807 48397 49090 54877 49052 54688 54892 48443 54876 54643 54893 54905 54628 54875 1187 2747 612 691 704 692 707 688 617 618 615 698 633 708 702 632 613 711 614 697 700 703 699 705 701 709 687 693 695 706 689 611 696 690 616 694 710 1204 1119 996 20019 20018 20020 20027 20021 20223 20222 19915 1422 6343 8600 8601 8599 8602 8598 8597 8596 8595 35505 40812 16964 16989 28049 28048 28047 3170 17086 40048 43478 43479 8423 43269 8481 35585 35590 43297 43272 43275 43270 35580 40051 43477 43271 43296 43274 43273 28139 28142 28136 28141 28159 28140 28145 28143 28138 28146 28147 28144 28160 43359 43369 43357 35436 43368 43370 43401 46581 43400 46585 35427 46586 43586 35426 43354 44446 43366 43398 43411 43397 43356 44454 43367 43399 43410 35448 35435 35447 46584 43416 43402 43371 43412 43365 35425 43355 46833 43415 35439 35449 43414 43413 43358 35494 46587 43557 13786 13681 13628 13629 13784 13732 13680 13783 13785 13731 13625 13479 13727 13627 13730 13626 13624 13726 13478 13622 13623 13533 13621 13534 1179 1633 1634 1632 8582 5804 5808 5809 5795 5796 5588 5736 5802 5565 5564 5596 5595 5594 5570 5810 5738 5567 8586 9103 9102 8585 8592 8588 8587 8593 8531 8584 8583 5521 5655 5656 5798 5799 5585 5563 5575 5520 5581 5582 1258 1259 1253 1260 1252 1631 44489 44486 46871 44458 44534 44533 46829 44455 44453 44484 46841 46838 46839 44505 46876 46837 46870 44535 46866 44457 46830 46835 44506 46877 44485 44456 46834 46867 44503 44460 46836 44504 43380 46875 44532 46869 46840 43378 46865 44487 46872 43379 39608 27342 1249 27340 45162 45176 48998 48997 45167 48962 48967 48965 45174 45289 45166 48970 48987 48971 48969 48963 48960 48988 45157 45161 45150 45154 45153 45151 45152 45155 45160 45168 45148 45156 40223 40224 40227 40218 40225 40222 40221 40226 45149 48964 43997 48968 48992 45158 45159 45177 48961 48959 48993 48991 48966 40217 39805 40212 39806 40216 40213 40220 1245 1248 1246 1237 1250 1244 1251 1247 1243 11261 11260 3176 5827 5829 5828 5841 5816 5842 5826 5843 5846 5815 5845 5830 5835 5373 5378 5377 3660 5336 5376 3668 5337 5332 5374 5335 5334 3669 26506 9203 9193 10108 9211 9212 9204 8482 9188 8483 9187 8479 9189 8285 8484 9111 26602 9190 8480 1421 1414 5834 5844 39602 39600 39609 39601 39610 39462 53970 39692 1413 1412 1415 20224 39673 39668 39688 39591 17083 17079 17003 24354 24352 31665 31664 31984 31986 31985 31663 31618 25330 25308 25329 25309 25328 31983 31982 31617 31615 31616 17001 17000 17002 17008 17004 25284 25283 25326 25285 25327 1135 48177 54342 55032 54345 54343 54344 55033 16971 32779 32075 32077 32078 32166 32773 32164 32079 32165 32076 30284 32774 32778 32161 30388 32074 32162 32163 29294 17085 17084 39617 9483 8754 24183 9480 9372 9495 9451 9412 9388 9570 8692 9504 9387 9515 9540 9311 9431 9485 9508 8693 9392 9547 9654 8755 9309 9513 9544 9460 9655 9472 9415 9482 9568 9512 8756 8745 9432 9452 9471 9642 8680 9455 9493 8757 9438 9507 9410 9473 8685 9427 9492 9545 9501 8681 9426 9514 9367 9653 9454 8790 9567 8682 9470 9429 9496 8782 8689 9571 8691 9494 9484 9479 9516 9458 9408 9437 9491 9393 9411 9546 9541 9481 9486 9436 9433 9652 9559 9434 9389 9643 9428 9316 9391 8779 9413 8785 9569 8789 9457 9538 9651 9453 9631 8746 9409 8784 9558 9390 9469 9539 9517 9511 8683 9489 9406 9502 8780 9459 9503 9630 9456 6394 9439 9394 8750 9386 9572 9490 9557 9414 8751 9407 3465 5519 5580 4365 3924 1236 1282 1391 46474 30648 30638 46471 31735 46473 46481 46480 46484 46483 31733 30636 46476 15053 15052 30628 46478 46479 46477 46482 46475 23620 30637 30665 30633 30658 30676 30634 23637 30647 30660 30663 30677 30659 17036 30656 30654 30649 17035 17037 17034 30635 30661 30678 30664 33084 29389 2879 2882 2880 2878 2874 2875 2884 2873 2881 2877 2883 2918 3148 3150 2919 2876 1410 2888 2890 2892 2886 2891 2885 2099 2359 2357 2358 2356 2360 2767 2766 2761 2765 2768 2338 2355 2339 946 12262 12257 12259 12263 12256 12260 12261 12258 54232 54233 54231 54230 30569 30546 30548 30528 30549 30547 30524 30551 30550 55132 55140 55139 54973 55008 55137 55152 55138 55141 55010 55151 55144 55009 55150 55153 55130 55146 55145 55131 55136 15528 15529 15524 20056 20057 20064 20053 20046 20045 5794 5807 5735 5800 35584 8391 16496 16472 16489 16494 16466 16495 16488 16465 16464 16471 16487 16483 16353 16497 16733 16732 20044 20055 20040 20047 20061 20062 20058 20060 20054 20041 20059 20063 55224 55220 55208 55225 55247 54235 55253 55249 54261 55229 55243 55231 55239 55248 55240 55223 55222 35559 35555 55246 55238 55219 23270 55251 55221 55227 55363 55254 55364 54245 55244 55228 55241 54262 54234 55250 55230 55242 55211 55209 55210 32950 32949 31670 30506 30507 30488 30504 30505 30490 30484 30487 30489 30503 31696 31695 32947 4567 8678 4566 8679 30509 30512 31671 31669 30519 30536 30513 30541 30516 30518 30535 30515 30510 30508 30540 30514 30520 30511 30537 30538 30539 30517 30500 30493 30534 30497 30499 30495 30498 30494 30496 30492 30533 30491 30501 35583 3503 3511 2558 3504 3501 3500 3502 3498 3499 3512 3505 48174 48173 32939 32940 30483 29472 29471 30502 29388 10046 10045 10033 10024 10025 10031 10032 10028 10027 10029 10030 10026 10022 26488 26493 26487 26484 26481 26486 26490 26482 26483 26491 26485 26494 26489 26492 12270 12271 12265 12266 12269 12264 32217 32216 30486 30485 44448 44451 44450 44452 44447 30626 15042 12267 12268 33083 30639 15045 15039 15044 43689 30650 30652 30653 15046 30627 15040 10021 35566 15041 48175 48176 30651 30655 30629 30657 30662 30640 8749 17033 15043 28183 1988 1986 1987 1985 1530 2654 2653 2677 14614 13717 48285 32953 32951 32952 20111 46995 45674 45646 45540 45644 45645 45552 45673 46795 46780 46997 46796 45539 45572 46782 45571 46797 45567 46802 45551 45568 45550 46779 46781 46794 45950 46825 45562 45561 46824 46793 46778 46770 45531 45530 55044 55011 55045 55043 55129 55099 55113 55051 55015 55103 55067 55013 55115 55070 55014 55102 55143 55142 55064 55065 55105 55058 55057 55111 55054 55109 55055 55069 55100 55101 55068 55114 55012 45430 46741 45429 54921 54947 54944 54938 46740 46698 46699 46749 45383 45384 46746 43687 54910 54917 54909 46010 46687 46009 45442 45432 43683 45388 45387 45385 45390 45389 35551 35554 45386 35552 55050 45447 46690 46695 46006 45456 45453 46008 43684 45433 45431 54929 54914 54972 54967 47114 46013 45434 54931 43686 46012 54968 54960 47120 45399 54961 45993 46000 46742 46745 46694 45455 46004 46007 54925 46011 45397 45458 43688 54920 54953 54912 54941 54943 54939 54955 54948 54952 54915 54942 54940 54918 54954 54945 54919 54930 55098 55052 54911 54946 46743 45448 54959 47112 45994 47119 45450 54962 45554 46732 54926 46747 46014 45732 46998 45736 45738 45731 46001 45441 45446 46697 54963 54971 46744 47111 55104 45445 45541 47115 47113 46005 45992 46728 46685 45418 46748 45459 54927 46686 54970 54956 45419 45449 46751 55108 46696 45398 46003 45417 45457 47117 45454 54969 55128 47116 45739 47123 45553 45532 45542 45452 46750 45400 55066 45451 45396 47118 55056 55112 55110 55063 46002 45995 27216 27218 26595 26594 26591 24391 26616 31736 31737 26885 26886 23422 23377 23421 23420 23375 23376 30434 23424 23423 23426 23378 23425 23380 23379 16967 16969 16968 23381 16959 30631 30709 30704 30630 30708 23596 17014 23567 44611 44569 44483 44589 47565 47483 43383 44598 44493 47531 44513 47551 44595 44512 44593 44491 44498 44537 47526 47502 47501 47484 47486 44558 47553 47505 44568 44494 44492 47487 47520 44459 44538 44526 44600 44576 47485 47508 47482 47481 44507 44574 44590 44592 40148 43384 44495 47521 44525 44463 47500 47499 44613 44594 47550 44482 44510 47507 47480 43381 47554 44612 44596 44609 44575 44561 47532 43382 44464 44579 44508 44490 47488 44599 47533 44465 44462 44588 47530 47564 47503 47506 44488 44587 47567 47566 44509 44559 44466 44610 44542 47546 44570 44497 44496 47528 44597 47563 47523 44541 44536 44577 47547 44511 47545 44560 47522 47527 44591 44539 47509 44578 44567 44540 44461 47525 44566 47549 47504 47552 47548 44562 23412 23411 23410 23390 23409 23408 23388 23389 23407 16955 23369 16946 23365 23368 16945 16947 16956 23367 23364 23366 39483 39487 39607 39595 39486 39490 39488 39479 39497 23392 23394 23391 23393 23903 23912 23902 23905 23901 30707 23904 23914 23913 39478 39484 39499 39485 39498 39489 23911 46201 43892 43904 46175 46104 46166 43902 43906 43901 46202 43891 46174 43903 46176 43893 43894 43905 43895 46105 46106 31672 31673 47732 47735 47733 47728 47734 47730 47729 47731 31698 31699 30583 31700 55024 55040 55037 55022 55025 54386 54394 52440 54396 54395 54393 54387 1643 55041 55042 55021 55023 55038 55039 55031 32954 8942 9101 8945 9059 9099 8578 13782 45525 45522 45521 45524 45526 45523 45527 45528 45520 45529 9098 8943 8944 9013 9028 8671 8575 8579 8577 9062 9100 9012 9061 8670 9060 8580 9029 8581 33060 33059 33063 33012 33051 33066 33065 33053 33055 33054 33064 18557 37460 47360 18648 18625 23278 37024 37413 18551 18553 39720 18517 18863 18558 18787 18644 18518 18647 18552 23277 23297 23298 33278 33205 33204 33133 18661 18788 18559 18798 18799 15484 18632 18789 18554 37361 18752 37417 37415 37461 37281 37324 37279 37020 37280 37027 37381 18520 18535 18756 18753 18370 4722 18811 18806 18427 18555 33277 18519 33216 33125 33163 33134 33126 33162 33276 18807 18791 33215 18560 37459 18556 18812 18800 18805 18810 18809 18790 18797 18796 18516 37462 37325 20703 20702 4724 37416 20701 20663 18508 33165 33164 37385 37025 37022 10917 18755 18757 18751 18758 18754 18808 18650 18424 18425 18651 18422 18271 18786 4723 37414 23858 23845 30361 30356 30362 31595 30355 30325 30360 33078 33108 33077 33107 30624 31241 30725 31240 31244 31242 30728 31458 31158 30680 31159 30623 30727 30625 30681 30682 31160 31245 31421 1585 1593 1566 1594 1578 1595 1579 1590 1573 1581 1584 1580 1583 1592 1571 1576 1589 1588 1587 1574 1572 32976 33018 33019 1591 1586 1577 43261 43262 31734 37033 37082 37382 37026 37372 37383 37365 37373 37042 37034 37083 37029 37036 37032 37047 37366 37377 37037 37028 37035 37367 37376 37030 37041 37375 37362 37364 37046 37374 37084 37021 37062 37384 37031 37363 8688 9633 8684 9506 9632 8783 9405 8753 3681 5349 3671 5348 5375 5343 3670 5333 3680 5347 8525 5584 16482 16352 48373 46653 48372 46652 45144 45145 13447 13716 13715 13393 12075 31730 31729 16481 16351 16309 17107 17111 17098 17106 17113 17099 17090 17089 17112 17105 17104 18270 21230 17102 17047 17101 17046 48291 48288 48289 48290 29368 29369 26634 26632 26633 8485 48743 48802 48801 48777 43558 48823 43577 48751 48821 48951 48760 43579 48822 48803 43589 43578 43585 48685 48686 43588 48680 45208 45211 48683 45209 48758 48759 48678 48931 48949 48948 48946 48930 45207 43576 43575 48721 48780 48781 48724 48722 48784 48783 48720 48719 48799 48723 48725 48727 48740 48726 48782 43566 48937 48938 48905 43574 48928 48944 48929 48895 45187 45180 45189 45198 48900 48896 48675 45200 45186 45199 45184 43571 43572 48668 45197 45178 48670 45190 48669 45182 48676 43563 48673 45185 43570 43564 48899 45202 45195 45191 45201 48893 48901 48894 45206 45181 48672 43562 40008 48897 48667 40026 48902 48904 43573 43565 48917 48916 48925 48926 48920 48922 48921 48923 48927 48717 48710 48715 48711 48713 48716 48712 48776 48742 48903 48778 48785 48950 48677 48947 48945 45205 48752 48714 48800 45203 48681 48761 48708 48741 43569 48898 48779 48906 48679 43587 48918 48798 45210 48919 48943 45188 48709 43561 48718 45204 48671 45179 48684 48707 48750 45183 45196 48749 48682 45192 48924 45194 54765 54801 54790 54825 54773 54784 54873 54780 54832 54767 54796 54804 54895 54842 54734 54769 54761 54779 54759 53972 53964 54710 54896 54874 54847 54800 54828 54776 54720 54738 54763 54727 54732 54792 54797 54817 54733 54777 54802 54735 54841 54714 54837 54709 54762 54760 54806 54794 54846 54819 53965 54805 54716 54724 53973 54844 54807 54774 54824 54757 54722 54739 54827 54786 54726 54764 54736 54821 53974 54749 54775 54756 54766 54771 54185 54758 54708 54791 54803 54839 54707 54737 54871 54787 54731 54840 31706 31705 31694 31693 31692 54770 54833 54768 54834 54785 53971 54823 54826 54717 54897 54772 54835 54793 54778 54845 54715 54721 54838 54831 54795 54829 54830 54836 54808 54822 54843 54725 54723 54138 17072 17071 2744 2614 2748 2617 2616 48371 23474 23475 23357 23356 23476 23452 23355 23473 46650 46646 46645 46651 45142 44965 45143 46643 46644 45055 45056 48362 48361 43346 48329 44915 44914 48359 44964 48363 48365 48370 48366 44444 44445 43451 43450 48364 48360 31157 31009 31156 31155 46632 46642 8548 8549 46631 44963 47478 48328 43465 47874 44820 44819 44844 44906 47891 47879 44845 44908 44907 44847 47671 47758 44846 46640 46641 44441 43464 44430 44411 44809 47755 44403 44405 44432 44407 47757 44438 44436 44423 47754 47878 47876 44804 47753 44437 44433 44412 44428 44431 47670 44440 44414 44404 44415 44427 44425 44422 44808 44442 44443 44426 44413 44434 44439 44435 47477 48327 48324 48326 48325 46630 47873 12478 12378 43345 43342 43343 43344 5324 5438 5316 5322 5323 5321 5317 46629 47877 47669 47667 47750 47756 47751 47752 47668 47464 47468 47467 47463 47462 47470 47469 48323 9313 9368 9575 9324 9363 9310 9543 9381 9656 9366 9326 9369 9566 9382 9574 9322 8690 9380 9774 9370 9650 9771 9325 9365 9376 9378 9556 9641 9769 9537 9377 9657 9364 9375 9379 9777 9776 9321 9773 9778 9312 9658 9318 9770 9323 9327 9373 9371 9317 9374 9315 8687 9629 9573 9772 9775 47475 45053 45011 47476 45054 5425 5427 5426 45050 47459 45013 45043 48314 45049 48317 47869 47474 48320 47868 48322 47419 45051 47406 47417 43463 47418 45010 47412 48310 47407 45048 45044 47870 45046 47867 47865 48311 45040 47866 47473 47458 47871 47411 47416 48321 47472 47421 48316 48313 47362 47872 45041 48318 30679 45045 47864 45042 48312 3716 3715 3792 3714 9505 4763 12336 12352 12345 12347 12335 12344 12337 12353 12346 12331 11802 12343 4478 17103 17025 17100 47471 13299 13150 12193 12351 23457 23456 23455 23453 12330 31008 43337 43338 45052 45012 45047 48308 47420 18418 18416 18412 18417 18415 18413 18414 31805 31894 31893 31804 18663 18653 18671 18643 18675 18669 18673 18676 18649 18654 18662 18672 18674 18652 18670 6328 31965 31612 31645 31966 31610 31575 31611 31661 31609 31597 31967 31608 31662 31646 31596 31644 37099 37277 37278 12228 12370 31619 5360 13446 43447 43444 43445 43446 47378 46874 43437 43434 43435 8544 8546 44700 44811 44818 44622 44812 44621 47572 47759 47760 46635 46638 46637 46633 46634 47570 46828 8552 8554 43409 43408 43363 43392 43349 40367 43396 46826 40387 43391 40366 43395 43376 46827 43389 40053 43353 43390 43348 43377 33140 33139 33225 40364 43352 40109 46853 43375 43351 35434 43443 46873 47571 8553 8545 43473 8547 40108 40365 35446 43360 46636 43373 43448 43449 43364 28337 43436 44817 46852 46639 33224 23780 23851 19820 19821 28046 23778 23779 19703 19700 19814 19816 19817 19819 19818 19810 19811 19636 19815 19794 19795 11245 11244 23594 23607 23605 23593 23602 23629 23592 23604 23603 23606 28896 29011 29010 29009 28898 29012 29130 29013 29129 29128 28899 29131 29127 28897 29126 25234 25233 25301 25303 25302 25253 25300 25232 20638 25164 25187 24005 25160 20654 25169 24004 25161 25166 25184 25165 24006 20652 25162 25172 25179 25299 25170 25180 25158 25168 20643 28974 28973 20642 20640 20635 28981 28997 28972 28978 28977 20639 20644 28980 28969 28975 28976 28970 28979 28971 20641 29001 28998 28580 28602 28652 28569 28618 28657 28672 28605 28601 28604 28656 29002 29003 29007 29008 28673 31888 31889 28675 29125 29124 28676 25159 25167 24003 25186 25177 25163 25178 25176 25171 20648 24007 28573 28571 28554 28624 28568 28623 28599 28546 28548 20669 28581 28655 16462 16463 16452 16486 16451 16461 16450 33117 33118 5797 25231 5558 5552 5553 5592 5654 32221 9783 9475 9476 9474 9662 30882 30880 31445 31448 9527 9668 30881 31447 23419 33103 33104 23483 23454 23470 28302 28300 28298 34571 34554 34572 34563 34564 34581 34580 34582 34579 34557 34583 34578 34555 34570 34577 34569 34556 23307 33092 33116 33114 33115 33113 33096 33095 33091 34553 34550 34552 34551 28299 28301 8397 8400 8390 8392 8403 8393 8401 8399 8394 8398 8395 8396 13729 13728 13480 15525 2887 2889 3139 3137 8527 8576 9294 9292 9286 9295 9290 9254 8526 9262 9258 9261 9293 9260 9259 9291 28544 28542 28578 7224 7272 7214 7909 7910 7754 7993 7989 7752 7990 7868 7867 7223 7179 7992 7178 28654 28661 28575 28622 5589 5737 28545 28579 5739 5811 28600 28572 28577 28549 28674 28660 28649 20653 28658 28620 28651 28552 20651 28553 20656 28606 28619 28659 7251 7206 7204 20647 7252 7253 7276 7994 7273 5568 5569 5576 5812 5577 5593 5571 5803 5035 5586 5801 7750 7274 5566 7934 28648 28543 28650 20655 28621 28653 20657 28576 28550 28574 28547 28551 7249 7205 7250 11266 14613 13445 13444 5587 23776 23777 13394 13443 54686 54683 54658 54668 54659 54669 54667 54657 54295 54656 54670 53911 54294 39590 39672 55334 55347 54483 55313 54728 55302 54369 54479 55281 55280 55348 55284 54371 55295 55308 55273 54374 55306 55357 55283 55362 54370 54353 54352 55297 55290 54363 54372 55329 54490 55300 55343 54354 20226 55016 55017 54358 54368 54351 54347 54346 39461 25028 39460 54359 54482 55331 55342 55305 54487 55355 55256 55276 55274 55335 55361 54373 54375 54484 55312 55354 55278 55359 55360 55358 54485 54478 54362 54486 55279 54488 54365 54480 55303 55304 54360 55332 54364 55287 55298 55286 54489 55301 55296 55356 55333 55282 55309 55277 55288 55293 55307 54361 55294 55344 55292 55353 55289 54491 54376 55341 55275 54481 55299 54355 54348 55285 55330 55291 19879 4296 19880 39517 39540 39518 39531 39530 39539 39520 39537 39527 39538 39510 39519 39507 39526 39514 39509 39513 39512 39515 39516 39528 39529 39594 18426 18428 18434 18432 18442 18762 18437 18447 18436 18435 18764 18421 18483 18441 18446 18485 18487 18723 54684 18431 18430 18429 37360 28633 37019 4684 18346 18351 18348 18347 18350 18323 18352 4687 18325 37159 37156 37244 37157 37120 37160 37155 37397 37400 37409 37158 37116 37117 37407 37398 37248 37410 37153 37247 37151 37406 37119 37108 37411 37152 37405 37399 37412 37118 37408 37154 37274 37262 37273 37253 37243 37249 37275 37276 37254 37270 54996 54993 54994 55006 55004 54979 54982 54995 54976 54984 55007 54992 54998 54975 54978 37232 37225 37135 18287 18386 35563 46608 44347 35565 37263 37269 34903 34697 34698 31715 31712 31714 31713 37261 20649 47367 48283 48282 48281 44346 48280 44345 44344 35564 48284 48279 46609 18272 37386 37391 37251 37389 37388 37250 37390 37396 35459 32108 32109 32111 32110 32106 32107 28045 37387 37252 18344 24403 20243 54983 54977 55003 54981 54997 52166 18433 18484 18482 18349 18391 18292 18726 18286 18354 18388 18728 18389 18291 18392 55005 36887 36891 37339 37341 37337 37346 37348 37347 37329 37349 37340 36886 37328 36988 36986 37331 37330 37338 37326 36954 55019 55059 55035 55018 55036 55062 55034 55020 55060 55061 32969 32970 32301 32300 15126 30470 30461 30456 30457 30462 30464 29470 30465 30471 30463 29468 30458 30460 30459 32214 32210 32211 32209 32206 32212 32205 32204 32199 32203 32213 32207 32198 32208 32200 32201 32202 5549 5528 5530 5539 5544 5550 5526 5535 5527 5534 5536 5523 5529 5543 5548 5545 9886 9289 9982 9257 13620 13532 13463 13462 13476 13475 18301 18296 18295 18297 16096 16395 16088 16094 16092 16095 16093 16394 13604 13603 13583 13513 13528 13527 13514 14548 14361 14612 14486 16724 16716 14610 14611 14549 14463 13981 13982 14485 13973 13972 13971 14362 14462 14464 13984 13980 13985 13983 13974 18255 18258 18260 18257 8801 14507 14546 16652 14009 14081 14079 14080 14001 14063 14044 14501 14359 14008 14078 14499 14047 14072 14502 14510 14045 14509 14071 14360 14062 14547 14508 14492 16625 16654 16651 16701 14498 14000 14491 13725 13477 24402 24404 24408 24411 24405 24410 24409 24406 26689 26687 20177 26686 13613 13531 13619 13614 13530 13618 13723 13456 13457 13458 13724 13455 13442 13998 13999 18259 13584 26358 26357 26326 26330 26328 26325 26332 26329 26327 26284 14487 13933 14500 14070 14067 14066 13986 14489 13989 13993 13994 26345 26355 26346 20175 20176 26688 26356 20521 20519 20520 20631 20632 26774 26770 26771 26773 14490 27138 27137 27159 27161 27160 27158 27149 27150 27147 27146 27035 27038 26993 26968 27009 27037 26994 26967 27010 27036 18584 18586 18616 18595 18588 18621 18614 18593 18590 18596 18598 18597 18622 18660 18583 18615 18592 18599 18591 18589 18587 18585 18594 18582 18600 18795 18804 2912 2913 2916 2914 2917 2911 2915 2906 2904 2905 2910 12408 12411 12406 12405 12404 12409 12407 12410 27221 27219 23768 23771 23769 23770 29227 29228 29226 29222 29213 29229 29230 29296 29295 29297 28236 29287 28319 29293 29286 28288 28290 28289 24355 24356 34653 13929 13997 13996 13928 33845 25998 25832 25726 25964 25792 25997 25686 25829 25985 25995 25795 25828 25831 25986 25996 54682 13932 25994 25976 25984 20650 25983 54679 33848 54681 25974 25725 25978 25975 25768 25830 25769 53895 34609 34639 34610 16707 16695 16705 16721 5538 5561 5559 34599 34608 53908 53909 53901 16704 16703 16696 16706 16655 16694 16653 16708 16700 16731 34640 34901 34589 34900 34590 33847 33849 16729 13934 5560 5546 5554 5541 5542 5547 5531 5556 5555 5557 5562 5540 5537 34600 34611 34638 53910 53902 53900 19695 19637 19621 19694 19701 19620 19702 16710 16709 16730 16722 16715 34654 54680 33846 53894 37354 37018 37010 37351 37358 37014 37015 28634 37009 37017 36970 37353 37352 37004 37355 37016 37357 29035 37012 37356 37359 37013 33003 33013 32999 32994 33002 32991 32992 33001 33016 33017 33004 32993 32998 47147 25439 39589 39576 39671 39584 39586 39570 39573 39585 39578 39569 39583 39566 39567 28454 28523 39541 29100 29059 29060 29102 29057 29058 29101 29104 28408 28407 28453 28405 28394 28386 28391 28388 29061 29103 25395 25440 25394 28393 28404 28387 39580 39563 39588 39572 28390 28395 39542 39568 28392 39564 39582 39581 39577 39561 39574 46982 47024 47135 46823 46993 46996 10640 13991 13992 53657 53658 53640 53639 53638 53630 8533 8534 2762 2763 11173 11170 11163 11171 11169 11162 11172 10122 33790 1990 1993 9236 1991 1992 25979 16723 25794 25724 25965 25685 25793 16089 26596 26597 15498 15520 15501 15516 15521 15519 15518 15517 15500 15499 32287 32288 32289 32290 32292 32291 32293 32286 32285 39628 39629 39627 39622 39623 39626 12142 13327 25343 34418 34422 34420 34421 34423 27223 34419 34426 27226 32938 32937 32931 32935 32936 32930 14636 15028 26114 26115 15023 15027 15026 18298 26772 6392 18763 18486 16091 16090 26898 13397 8402 27007 26935 26936 26934 26835 26834 26794 26795 26809 27005 26807 27008 27004 26812 26808 26810 26811 27148 26792 26802 26769 26933 26995 26793 26786 26779 26776 26783 26782 26775 26787 26778 26777 26785 26789 26803 26780 27136 27135 27133 26788 26790 26791 26806 26804 26805 26693 26694 26692 26691 26690 24634 26105 26242 26106 26107 26163 26240 26112 26241 26243 24636 24647 24658 24663 24641 24646 24649 24640 24642 24645 24661 24662 24643 24659 24644 24637 24638 24635 24639 24664 24678 24653 24686 24692 24669 24674 24654 24668 24680 24650 24685 24683 24693 24648 24666 24676 24665 24691 24679 24670 24652 24667 24689 24682 24695 24694 24651 24696 24677 24684 24675 24690 26096 24333 34767 34195 33802 34731 34778 34788 34726 34786 34768 34742 34743 34769 34783 34780 34775 33799 34787 34737 33795 34773 34719 34745 33797 34854 33796 34777 34732 34772 34759 34774 34779 34733 34749 34856 33974 34770 34724 34781 34905 34727 34747 34148 33975 34730 33798 34720 34725 34744 34855 33792 33794 33789 33800 34717 34741 34748 34784 34776 34853 33791 34785 34735 34782 34734 33793 34736 34771 34718 34766 34746 23296 23293 23295 23294 35021 35025 25741 35124 35079 35111 35074 35110 25577 25654 25585 25562 25581 35023 25578 35121 25742 35067 25587 25584 25653 35022 25740 25579 25586 25655 25569 25560 35064 35077 35061 25553 25567 25727 35080 35073 35078 35066 35065 25550 25564 25977 25552 25582 35060 25580 25748 25566 35120 25746 25549 25565 25684 25651 25583 35118 12431 12432 12416 12420 12413 12414 12417 12433 13459 12418 12415 12412 12419 17080 17081 24346 24350 24351 26558 26557 26559 26612 26610 45900 35076 25652 25649 35055 35112 35109 25650 35062 25554 35053 25568 25960 35119 35068 25749 35122 35115 25963 35113 35024 25551 25570 35108 25563 25683 25561 35075 35114 25656 35123 25962 35054 26754 26753 26706 26704 27122 26756 27125 26695 26707 33416 33415 15455 26752 26708 27126 26696 26757 27121 26709 26705 26755 15022 28107 28106 33102 33097 33098 33101 15454 26611 39718 24328 24330 24329 24331 24332 18341 18317 18314 18302 18333 18318 18311 18332 18299 18316 10636 18312 18315 18313 32282 18300 18340 18310 32284 32283 18303 12381 12383 12403 12402 12382 16098 16737 15502 16356 13990 13995 16100 16355 16099 16736 16735 45477 45474 45479 45467 45487 45483 45517 45464 45470 45740 45488 45518 45480 45466 45469 45485 45481 45475 45744 45482 45484 45476 45489 45478 45486 45745 45473 46886 45462 46881 45471 46845 46887 45472 46849 46883 46880 46879 46846 46915 46884 46916 46882 46847 45463 46843 46844 46850 46885 43742 43692 43749 43740 43750 43748 43709 43717 43741 43698 43743 43728 43706 43746 43736 43747 43745 43731 43726 43730 43739 43703 43696 43738 43714 43744 43733 43707 43727 43737 43715 43734 43732 43716 43708 43699 43719 43720 43753 43711 43754 43705 43704 43721 43725 43694 43723 43724 43751 43752 43712 43762 43697 43718 43713 43722 43710 43700 43693 43702 46842 46855 46848 46858 46832 46857 46856 46914 46831 46878 13955 24456 26843 24464 26850 26879 24516 26875 24463 26846 26839 24494 24468 26880 26851 24544 24495 24497 24543 26849 24496 24466 26881 26887 24513 26847 24470 24515 26845 26877 26882 26848 24499 26844 26876 26840 24542 24465 24467 24514 24545 12296 13395 12273 12272 12230 12229 12232 12235 12233 12236 12237 12234 12244 12231 12238 12243 39707 39715 39719 39717 39708 39716 32250 32256 32252 32255 32262 32253 32248 32254 32251 32261 8267 8268 8269 8266 8254 32450 12293 12276 12292 12289 12291 12275 12295 12294 12277 13441 13440 8788 20637 20630 20634 20636 20633 2651 2675 2674 2652 2676 16349 16348 16347 16350 18977 13433 13434 13988 14069 14064 14014 16460 16436 16485 16458 16459 13413 18978 18975 18396 16345 18743 18744 32921 18382 18734 18395 16346 32966 15595 16493 18735 18742 18399 32964 32968 18383 18372 16470 18371 15596 16343 32965 18398 18733 16344 18397 32967 32920 32922 32929 32928 32923 1770 13431 13419 13432 13420 13418 18466 18778 18478 18769 18477 18780 18494 18771 18493 18467 18768 18465 18770 18468 18492 18491 18779 20011 13679 34949 34950 34951 34970 34924 34981 34936 34979 34965 34958 34971 34964 34957 35150 34982 34937 34973 34963 35019 34956 34978 34966 34972 34922 34925 34980 34952 34962 34977 35018 34969 34948 34921 25406 34953 34940 34954 34928 34929 34931 34935 34955 34941 34939 25407 25455 26021 25410 25444 26011 25429 25462 25464 26022 26017 25409 26015 26023 25457 25428 26013 26003 25427 26014 25465 26016 25463 26005 25408 25451 26012 25456 26020 25466 26010 25458 26018 26002 25452 25461 25460 26004 25459 26019 14013 14012 25393 16443 16398 16442 16449 16397 16396 13956 13959 13958 13935 13926 13927 13969 13964 13963 13970 13960 13962 13938 13961 13937 24184 14046 28406 34930 39553 28403 28389 39571 39587 20629 3541 13682 13713 13712 13714 13392 13510 12703 12712 12707 12706 12702 13511 13512 12705 13438 13439 13344 13691 13307 13343 13692 13690 13390 13391 13711 13710 13709 13389 13342 26572 13388 21229 20008 13689 13688 13707 13346 13345 13347 13708 13348 12704 19985 19988 20005 19986 19990 20002 19999 20003 19981 20004 19971 20001 19998 20006 19992 19989 20007 19991 19960 19996 19995 19982 19959 19987 19984 19994 20000 19979 11009 10780 11008 10894 11007 10781 7157 7219 7220 7156 7176 7221 16333 16334 19930 19931 19936 19933 19932 19928 19925 19934 19935 19927 16319 16318 17110 16598 16599 16594 16596 16718 16562 16717 16595 16719 16720 16699 16702 16693 16580 16579 16597 16728 16714 23568 23591 31859 23579 31858 23586 23601 23595 23599 23588 23583 23597 23589 31788 23590 23585 23582 23600 31787 23581 23580 23587 23584 23598 7218 7155 7087 7101 7093 7088 7102 5954 7107 7099 5955 7092 7081 7083 5956 5953 7095 7100 7085 7084 7091 7109 7103 7082 7089 7090 7086 5952 7094 7110 7217 10893 10891 10892 16263 16308 16480 16294 16479 16307 16243 23578 7227 16254 16253 7246 16265 16244 16293 7248 7244 15541 16292 7226 15539 16264 7202 16262 7201 7245 3684 5904 5903 6248 3692 3693 4605 3665 7163 7167 6305 7164 2639 2637 2638 3690 3695 3689 3688 5259 1281 3677 3698 3694 3142 3143 3141 3140 5258 7175 7174 7170 7173 7169 7172 7171 5905 7168 5583 3685 5260 3704 3702 3700 5243 3703 5244 3699 3705 3697 3691 3686 3701 3696 16357 16359 16455 16354 16457 16454 16358 7128 7133 7141 7131 7121 7143 7122 7139 7144 7142 7135 7130 7136 7118 7114 7154 7117 7120 7112 7127 7124 7134 6264 7123 6265 7125 7116 7115 7137 7129 7132 7140 7119 7113 5496 5516 5514 5495 5517 5518 5579 5515 10943 10405 10983 10982 10884 10890 10885 10889 13687 10779 11006 11005 10778 10558 10830 26895 26896 26891 26865 26893 26867 26868 26866 26894 26892 26842 26860 26856 26855 26853 26852 26859 26857 26854 26841 26888 26890 26889 26965 26966 1235 10838 10829 13954 13920 13922 13919 13921 13924 13925 25483 25493 25487 25484 25486 25645 25489 25646 25495 26858 25482 25485 25755 26926 26925 26897 25481 25527 25488 25528 25494 25499 25498 25480 25767 25492 25750 25766 25496 25754 25497 10842 10715 10878 10695 10839 10713 10776 10841 10877 10843 10777 10694 10792 10795 10840 10635 10634 10672 10668 10563 10785 10613 10652 10615 10608 10605 10794 10798 10822 10797 10600 10574 10796 10599 10577 10578 10601 10836 10673 10676 10650 10611 10561 10788 10642 10791 10567 10810 10569 10675 10603 10818 10566 10674 10562 10670 10602 10560 10575 10814 10811 10571 10572 10570 10573 10693 10821 10820 10835 10576 10808 10618 10614 10644 10651 10641 10653 10809 10617 10565 10812 10610 10604 10671 4497 10669 10568 10793 10815 10612 10816 10690 10790 10819 10786 4479 4496 10606 10609 10789 10677 10817 10535 10541 10540 10458 10501 10463 10539 10462 10505 10506 10532 10538 10504 10503 10457 10459 10451 10428 10454 10425 10450 10482 10453 10426 10456 10433 10536 10543 10481 10488 10556 10432 10537 10530 10487 10484 11003 11004 10555 4676 10429 4565 4675 4679 4678 10883 10879 10863 10854 10857 10855 10858 4672 10856 10859 10853 10852 4671 10851 10557 10430 10431 10461 10434 10486 10435 10861 10424 10460 10880 10860 10531 4669 4670 10502 10554 10862 10500 10533 10534 10436 10455 10427 4690 10542 4677 16290 16279 16291 10188 10288 10981 16280 10276 10940 10272 10942 10335 10289 10285 16281 10269 10273 10274 10939 10941 16288 10287 10275 10336 10290 10286 16289 10271 10270 16441 16448 10980 10277 7203 7247 10979 7138 10643 10691 10559 10787 10616 10633 10564 10837 10714 18668 10632 7153 10813 10692 10823 10607 10619 7111 13399 13398 13412 13915 13918 13917 13914 23576 23572 23573 23571 23574 23575 23774 23775 23773 23772 28948 28955 28956 28940 28941 28916 13916 28794 28793 28731 28939 28957 28954 28691 28690 28689 28732 28730 28791 28908 28907 28909 28810 28753 28831 28696 28894 28770 28812 28718 28961 28735 28786 28752 28833 28832 28809 28912 28947 28895 28959 28694 28960 28695 28915 28751 28769 28914 28811 28996 28795 28995 28808 28787 28771 28717 28958 28913 28750 28813 28789 28790 28693 28678 28683 28906 28788 28682 28733 28692 28687 28729 28910 28734 28768 28688 28760 28911 28723 28686 28759 28728 28727 28725 28792 28724 28721 28677 28720 25204 25202 25221 25208 28904 25192 28680 28934 28726 28927 28722 20443 25190 25215 25213 25217 25193 25189 25188 25212 25214 28932 28905 25200 25199 25219 28681 28938 25205 25211 25210 28937 25220 28929 28685 25201 28684 25230 28935 25209 25191 28903 28926 28931 25195 25196 25206 28930 25207 25216 25194 25218 20424 28933 28719 28928 28953 25197 28936 25198 13913 28737 28761 28736 28762 28679 20425 13373 13328 13349 13329 13372 13341 13374 13340 13387 1552 1550 1564 13911 13912 13910 13909 23714 23715 23733 23734 23732 23757 23758 23723 23707 23753 23710 23766 25476 25472 23725 23735 23748 23729 23712 25479 23759 23756 25490 23726 23765 25473 25474 23727 23760 23761 23743 23764 23713 23749 23763 23755 23767 23746 23724 23762 23731 25491 25477 23747 23728 23703 23741 23717 23752 23737 23738 23721 23719 23716 23720 23750 23704 23740 23722 23718 23751 23744 23708 23730 23706 23702 23709 23754 48369 10483 14847 14982 14974 14963 14985 14944 15012 14850 14888 14885 14889 14943 15016 14833 14862 14851 14919 15013 14887 14890 14961 15014 14975 14848 14941 14962 14984 15015 14886 14918 15011 14834 14983 15010 14861 14860 14849 15017 14942 12300 12435 5359 5358 5357 5354 5356 5355 12332 12298 12299 12333 12334 16982 16988 16984 16986 16985 16983 16987 23955 23954 2192 1600 5342 12392 12395 12393 12389 26640 26652 1700 1563 1701 1562 1702 26650 26651 26639 5423 5418 5424 5419 5420 5421 5422 44616 43386 43433 43424 44617 43425 43426 44810 43419 43418 43372 43420 43417 43388 43421 47568 44620 43432 35472 35470 35461 35460 35471 35453 35456 35457 35455 35458 26647 26645 30544 30545 28336 28334 28335 9468 9450 26637 26638 23348 23347 23354 23353 27479 27480 23352 24417 24421 24423 24451 24416 24452 27478 28332 28328 24415 28325 28333 27600 33616 27620 33638 33624 27608 27593 27615 27610 33625 27616 27598 27597 33706 27605 27594 27599 27621 33697 27617 27584 27590 27588 33705 33626 27585 27618 27595 27612 27589 27583 27619 27586 27606 33707 27607 27596 27587 27611 33708 24748 24718 24746 24732 24715 24716 26152 26161 24747 26162 24717 24734 24749 26174 24733 26160 24745 24750 43387 44499 26643 26636 26646 26635 26648 35452 26649 35432 26644 44614 47569 44619 43423 43385 28330 24422 28331 12390 12394 12384 12388 16837 3810 16838 2585 26094 26093 24311 24322 26095 24314 24312 33554 33513 33607 33552 27476 33563 33555 33604 33557 33565 33517 33553 33514 33572 33551 33606 33603 33564 33566 33556 33605 33567 27420 33568 34403 34402 34413 34706 34409 34713 34396 34412 34411 34406 34399 34408 34407 35178 35182 35184 34400 34404 34401 35181 34410 34709 34398 35179 34405 35180 34708 35183 34397 34707 34652 34650 34651 35189 34647 35188 34646 34645 34649 5242 5279 5448 5435 27875 27876 27878 27422 27879 27481 27482 27469 27874 27427 27430 27428 27429 27468 27880 27881 27485 27483 27484 27877 27882 24420 27431 5384 27486 12391 1409 14705 14763 14751 14764 14706 14745 14744 14694 14766 14725 14686 14707 14765 14762 14726 14692 14752 14708 14761 14767 14693 14687 14703 14704 14672 14685 14702 8185 8155 8165 8184 8183 8166 8164 8186 8142 8122 8163 8123 8154 8141 8059 8041 8060 8188 8187 8189 8045 8057 8056 8055 8039 8043 8044 8265 8255 8209 8243 8239 8233 8244 8246 6375 8231 6348 8238 8245 8210 8234 8236 8242 8232 8193 8247 8235 6370 8241 8194 8237 8248 8264 6675 6602 6601 6610 6603 6609 6611 8021 8022 8042 8016 8061 6591 6657 6673 6672 6659 6643 8069 8153 8071 8083 8084 8070 6593 6569 6605 6686 6573 6621 6577 8014 6620 5339 6641 6570 5340 6670 6600 6567 6616 6575 6640 6572 6607 6618 6583 6588 6565 6594 6576 6685 4514 6587 6592 8015 6599 8013 4515 6574 6568 6617 6579 6566 6615 6642 6584 6586 6571 6595 6671 6619 6578 6517 6518 6509 6533 6538 6539 8038 6453 6436 6476 6532 6536 6405 6482 6552 8094 6475 6432 6498 8037 6428 6478 6480 6430 6426 6435 6514 6528 8093 6437 6549 6466 6397 6481 6502 6452 6473 6519 6537 8085 6531 6527 6425 6444 6433 6451 6429 6422 6534 6396 6423 8121 6551 6450 6395 6398 6424 6540 6515 6447 6427 6550 6402 6404 6508 6400 6446 6506 8023 6535 6401 6465 6443 6479 6406 8095 6399 6477 6507 6445 6449 8024 6500 6501 6434 6431 8025 6510 6529 6474 6403 6438 8120 6393 6553 6499 6472 6448 6625 8150 6623 6624 6612 6613 8072 8152 8149 8151 6626 6596 6598 6608 6516 6564 6658 6614 8040 6530 6563 6589 6674 6604 8140 8058 6590 6622 6597 23448 14684 14674 14673 23447 14724 14714 14723 27536 27531 27530 27497 27514 27517 27561 27573 27492 27541 27543 27557 27495 27509 27513 27515 27516 27511 27491 27494 27555 27563 27540 27576 27575 27519 27490 27564 27532 27559 27496 27574 27498 27535 27558 27577 27537 27560 27562 27556 27510 27533 27538 27542 27512 27518 27493 24472 24589 24572 24498 24501 24601 24600 24503 24605 24606 24587 24469 24518 24623 24621 24584 24578 24473 24577 24523 24500 24552 24609 24608 24569 24599 24588 24507 24579 24536 24607 24586 24619 24522 24604 24504 24547 24505 24506 24571 24603 24549 24622 24550 24471 24492 24475 24568 24570 24535 24546 24502 24576 24580 24610 24585 24597 24620 24520 24519 24517 24474 24493 24476 24508 24548 24551 24521 24602 24598 23431 23396 23430 23398 23429 23397 23427 23382 23395 23428 23442 23272 23271 23443 23445 23446 20565 23444 14683 14713 27900 27915 27914 27776 27683 27899 27913 27890 27902 27725 27903 27824 27682 27891 27775 27825 27826 27724 27632 27769 27581 27582 27770 27773 27633 27774 27580 27579 27901 27768 27889 27681 23441 23451 23450 23440 23449 23438 23439 24992 25015 24810 24770 24771 24809 24920 24919 24829 24918 24857 24917 24916 25001 24980 24981 25014 24999 25013 25002 24991 24995 25000 25012 24628 34427 23433 34471 34434 34483 24632 24631 24711 24710 27763 27764 27767 27761 27762 24630 16981 16980 16972 24313 24769 25016 24830 24990 24808 24855 24994 24856 24854 27766 33414 33387 33649 33648 33640 26185 26176 26184 24624 16976 16990 16992 34481 34476 34474 34479 23432 16978 16979 34478 34524 34473 34510 24627 24509 24625 24629 16973 16991 34528 34568 34523 34509 34511 27772 24828 24827 24822 23435 24821 23434 23436 27631 23437 16975 24820 24626 34432 34480 34518 34433 34517 34527 34526 34512 15298 15207 15245 15211 15228 15295 15250 15297 15253 15255 15260 15246 15259 15217 15283 15244 15305 15307 15306 15256 15296 15304 15252 15302 15249 15300 15267 15262 15299 15301 15248 15261 15227 15212 15251 15254 15247 15266 15257 15258 15243 15208 15303 15282 15435 15364 15404 15390 15363 15436 15389 15405 15437 15362 15343 15361 15344 15334 15342 8752 8778 15400 15402 15320 15401 15391 15403 15310 15333 15318 15399 15332 15319 24768 27723 27823 27898 27912 24767 27888 27886 27680 27765 24819 24818 24814 24976 24979 24993 24978 24813 24816 24812 24815 27388 34531 34529 34530 34541 34533 34532 6340 6341 6344 6342 6347 6346 6345 30417 30416 31416 31414 30376 31407 31411 30420 31399 31417 31406 30377 30378 31418 31415 30418 30419 31413 31412 31408 30415 5394 5361 5392 5395 5363 5362 5393 5364 5398 5350 5397 5408 5396 27578 34482 16977 16952 34525 34472 34475 30543 2564 2570 2566 2563 2561 2567 2562 2582 2568 2565 2569 3687 3724 43427 44615 43422 34542 27887 24766 27678 27679 2557 3718 2752 8787 9435 8781 8744 9404 9430 9425 5305 3780 5307 3779 5313 3768 5320 5315 5306 5312 5291 5309 5311 5289 3778 5314 5308 5310 5288 5290 5287 30374 30366 30375 30367 5319 3531 3532 3529 3554 3558 3533 3534 3530 3555 2108 2109 2110 2106 2111 2107 2428 3559 3546 3545 3544 3557 3543 3542 3556 961 960 1429 1536 3081 2718 2690 1687 1720 1792 1817 2029 2081 2094 2500 2480 1212 1199 3592 469 969 1292 1275 0
475.50/475.51
475.50/475.51 c Core has size 13550
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3501499-1308042092/watcher-3501499-1308042092 -o /tmp/evaluation-result-3501499-1308042092/solver-3501499-1308042092 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501499-1308042092.gcnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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: 4.20 4.19 2.16 4/189 2513
/proc/meminfo: memFree=31089048/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=17608 CPUtime=0 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1220 0 0 0 0 0 0 0 18 0 1 0 915811859 18030592 1050 33554432000 4194304 4365125 140735640091136 18446744073709551615 4303479 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 4402 1060 246 42 0 1550 0
[startup+0.0477239 s]
/proc/loadavg: 4.20 4.19 2.16 4/189 2513
/proc/meminfo: memFree=31089048/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=19840 CPUtime=0.03 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 3649 0 0 0 3 0 0 0 18 0 1 0 915811859 20316160 2097 33554432000 4194304 4365125 140735640091136 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 4960 2097 253 42 0 2108 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19840
[startup+0.100666 s]
/proc/loadavg: 4.20 4.19 2.16 4/189 2513
/proc/meminfo: memFree=31089048/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=22844 CPUtime=0.08 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 5741 0 0 0 8 0 0 0 18 0 1 0 915811859 23392256 2944 33554432000 4194304 4365125 140735640091136 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 5711 2944 262 42 0 2859 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22844
[startup+0.300634 s]
/proc/loadavg: 4.20 4.19 2.16 4/189 2513
/proc/meminfo: memFree=31089048/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=25036 CPUtime=0.29 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 7047 0 0 0 28 1 0 0 18 0 1 0 915811859 25636864 3118 33554432000 4194304 4365125 140735640091136 18446744073709551615 4248618 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 6259 3118 262 42 0 3407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25036
[startup+0.700557 s]
/proc/loadavg: 4.20 4.19 2.16 4/189 2513
/proc/meminfo: memFree=31089048/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=32356 CPUtime=0.69 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 8844 0 0 0 68 1 0 0 18 0 1 0 915811859 33132544 4637 33554432000 4194304 4365125 140735640091136 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 8089 4637 262 42 0 5237 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32356
[startup+1.50042 s]
/proc/loadavg: 4.20 4.19 2.16 5/190 2514
/proc/meminfo: memFree=31001520/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=37896 CPUtime=1.49 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 14422 0 0 0 147 2 0 0 20 0 1 0 915811859 38805504 6063 33554432000 4194304 4365125 140735640091136 18446744073709551615 4257316 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 9474 6063 262 42 0 6622 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37896
[startup+3.10114 s]
/proc/loadavg: 4.20 4.19 2.16 5/190 2515
/proc/meminfo: memFree=31046736/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=50344 CPUtime=3.09 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 26866 0 0 0 305 4 0 0 25 0 1 0 915811859 51552256 9195 33554432000 4194304 4365125 140735640091136 18446744073709551615 4264089 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 12586 9195 262 42 0 9734 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50344
[startup+6.30057 s]
/proc/loadavg: 4.18 4.18 2.17 5/190 2515
/proc/meminfo: memFree=31004772/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=103616 CPUtime=6.29 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 77516 0 0 0 622 7 0 0 25 0 1 0 915811859 106102784 21248 33554432000 4194304 4365125 140735640091136 18446744073709551615 4258228 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 25904 21248 262 42 0 23052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103616
[startup+12.7004 s]
/proc/loadavg: 4.17 4.18 2.18 5/190 2515
/proc/meminfo: memFree=30876616/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=211856 CPUtime=12.69 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 193690 0 0 0 1249 20 0 0 25 0 1 0 915811859 216940544 48312 33554432000 4194304 4365125 140735640091136 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 52964 48312 264 42 0 50112 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 211856
[startup+25.5002 s]
/proc/loadavg: 4.13 4.17 2.21 5/190 2515
/proc/meminfo: memFree=30800860/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=289224 CPUtime=25.49 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 327064 0 0 0 2515 34 0 0 25 0 1 0 915811859 296165376 62173 33554432000 4194304 4365125 140735640091136 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 72306 62173 264 42 0 69454 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 289224
[startup+51.1007 s]
/proc/loadavg: 4.08 4.15 2.25 5/190 2553
/proc/meminfo: memFree=30868364/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=326088 CPUtime=51.09 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 365518 0 0 0 5070 39 0 0 25 0 1 0 915811859 333914112 66831 33554432000 4194304 4365125 140735640091136 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 81522 66831 264 42 0 78670 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 326088
[startup+102.307 s]
/proc/loadavg: 4.04 4.13 2.34 5/190 2554
/proc/meminfo: memFree=30856472/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=309704 CPUtime=102.3 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 539692 0 0 0 10169 61 0 0 25 0 1 0 915811859 317136896 64775 33554432000 4194304 4365125 140735640091136 18446744073709551615 4245169 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 77426 64775 264 42 0 74574 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 309704
[startup+162.301 s]
/proc/loadavg: 4.01 4.10 2.44 5/190 2597
/proc/meminfo: memFree=30859320/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=385476 CPUtime=162.29 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 866706 0 0 0 16131 98 0 0 25 0 1 0 915811859 394727424 74252 33554432000 4194304 4365125 140735640091136 18446744073709551615 4267708 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 96369 74252 264 42 0 93517 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 385476
[startup+222.3 s]
/proc/loadavg: 4.00 4.08 2.54 5/190 2635
/proc/meminfo: memFree=30749800/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=352708 CPUtime=222.3 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1125474 0 0 0 22099 131 0 0 25 0 1 0 915811859 361172992 70140 33554432000 4194304 4365125 140735640091136 18446744073709551615 4306828 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 88177 70140 264 42 0 85325 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 352708
[startup+282.301 s]
/proc/loadavg: 4.00 4.06 2.63 5/190 2674
/proc/meminfo: memFree=30625040/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=291272 CPUtime=282.29 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1397928 0 0 0 28066 163 0 0 25 0 1 0 915811859 298262528 62462 33554432000 4194304 4365125 140735640091136 18446744073709551615 4262087 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 72818 62462 264 42 0 69966 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 291272
[startup+342.3 s]
/proc/loadavg: 4.00 4.05 2.71 5/190 2676
/proc/meminfo: memFree=30609980/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=317896 CPUtime=342.3 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1654455 0 0 0 34035 195 0 0 25 0 1 0 915811859 325525504 65803 33554432000 4194304 4365125 140735640091136 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 79474 65803 264 42 0 76622 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 317896
[startup+402.301 s]
/proc/loadavg: 4.06 4.05 2.79 5/190 2677
/proc/meminfo: memFree=30601500/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=303560 CPUtime=402.29 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1736743 0 0 0 40024 205 0 0 25 0 1 0 915811859 310845440 63972 33554432000 4194304 4365125 140735640091136 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 75890 63972 264 42 0 73038 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 303560
[startup+462.301 s]
/proc/loadavg: 4.02 4.04 2.87 5/190 2716
/proc/meminfo: memFree=30555444/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=317896 CPUtime=462.3 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1751528 0 0 0 46022 208 0 0 25 0 1 0 915811859 325525504 65771 33554432000 4194304 4365125 140735640091136 18446744073709551615 4315656 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 79474 65771 264 42 0 76622 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 317896
Solver just ended. Dumping a history of the last processes samples
[startup+467.1 s]
/proc/loadavg: 4.02 4.04 2.87 5/190 2716
/proc/meminfo: memFree=30598964/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=317896 CPUtime=467.1 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1751529 0 0 0 46502 208 0 0 25 0 1 0 915811859 325525504 65772 33554432000 4194304 4365125 140735640091136 18446744073709551615 4257799 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 79474 65772 264 42 0 76622 0
Current children cumulated CPU time (s) 467.1
Current children cumulated vsize (KiB) 317896
[startup+470.301 s]
/proc/loadavg: 4.02 4.04 2.88 5/190 2716
/proc/meminfo: memFree=30587556/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=317896 CPUtime=470.3 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1751529 0 0 0 46822 208 0 0 25 0 1 0 915811859 325525504 65772 33554432000 4194304 4365125 140735640091136 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 79474 65772 264 42 0 76622 0
Current children cumulated CPU time (s) 470.3
Current children cumulated vsize (KiB) 317896
[startup+473.501 s]
/proc/loadavg: 4.02 4.04 2.88 5/190 2716
/proc/meminfo: memFree=30637772/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=317896 CPUtime=473.5 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1751533 0 0 0 47142 208 0 0 25 0 1 0 915811859 325525504 65776 33554432000 4194304 4365125 140735640091136 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 79474 65776 264 42 0 76622 0
Current children cumulated CPU time (s) 473.5
Current children cumulated vsize (KiB) 317896
[startup+474.301 s]
/proc/loadavg: 4.02 4.04 2.88 5/190 2716
/proc/meminfo: memFree=30625000/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=317896 CPUtime=474.3 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1751533 0 0 0 47222 208 0 0 25 0 1 0 915811859 325525504 65776 33554432000 4194304 4365125 140735640091136 18446744073709551615 4277941 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 79474 65776 264 42 0 76622 0
Current children cumulated CPU time (s) 474.3
Current children cumulated vsize (KiB) 317896
[startup+475.101 s]
/proc/loadavg: 4.01 4.04 2.88 5/190 2716
/proc/meminfo: memFree=30537456/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=317896 CPUtime=475.11 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1751541 0 0 0 47303 208 0 0 25 0 1 0 915811859 325525504 65784 33554432000 4194304 4365125 140735640091136 18446744073709551615 4315956 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 79474 65784 264 42 0 76622 0
Current children cumulated CPU time (s) 475.11
Current children cumulated vsize (KiB) 317896
[startup+475.501 s]
/proc/loadavg: 4.01 4.04 2.88 5/190 2716
/proc/meminfo: memFree=30537456/32951124 swapFree=67052812/67111528
[pid=2513] ppid=2511 vsize=317896 CPUtime=475.5 cores=5,7
/proc/2513/stat : 2513 (MoUsSaka) R 2511 2513 2316 0 -1 4202496 1751542 0 0 0 47342 208 0 0 25 0 1 0 915811859 325525504 65785 33554432000 4194304 4365125 140735640091136 18446744073709551615 4258228 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2513/statm: 79474 65785 264 42 0 76622 0
Current children cumulated CPU time (s) 475.5
Current children cumulated vsize (KiB) 317896
Child status: 20
Real time (s): 475.529
CPU time (s): 475.537
CPU user time (s): 473.444
CPU system time (s): 2.09268
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 467428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 473.444
system time used= 2.09268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1751547
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= 8
involuntary context switches= 731
runsolver used 0.760884 second user time and 1.83772 second system time
The end
Begin job on node103 at 2011-06-14 11:01:32
IDJOB=3501499
IDBENCH=90045
IDSOLVER=2000
FILE ID=node103/3501499-1308042092
RUNJOBID= node103-1308041937-2337
PBS_JOBID= 13564710
Free space on /tmp= 74056 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/bjrb07amba5andenv.aig.k10.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501499-1308042092/watcher-3501499-1308042092 -o /tmp/evaluation-result-3501499-1308042092/solver-3501499-1308042092 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501499-1308042092.gcnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 2642560c98e6f14cfc9bcdd106f558a2
RANDOM SEED=72542047
node103.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.858
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.71
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.858
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 : 5332.75
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.858
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.75
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.858
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.77
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.858
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.858
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.75
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.858
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.83
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.858
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31089716 kB
Buffers: 226256 kB
Cached: 434236 kB
SwapCached: 22656 kB
Active: 1269436 kB
Inactive: 387912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31089716 kB
SwapTotal: 67111528 kB
SwapFree: 67052812 kB
Dirty: 3900 kB
Writeback: 0 kB
AnonPages: 994212 kB
Mapped: 9764 kB
Slab: 136712 kB
PageTables: 7140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1478876 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= 74056 MiB
End job on node103 at 2011-06-14 11:09:28