0.00/0.00	c MoUsSaka with meat
8.69/8.79	
8.69/8.79	s UNSATISFIABLE
684.18/684.27	c Core is minimal
684.18/684.27	
684.18/684.27	v 1538 1530 1535 1536 1539 12344 12320 12345 12346 12343 12319 12342 12317 12318 4615 40164 39812 39585 39811 40162 47308 40163 40160 39813 46838 40159 39810 39583 46148 46109 46136 46093 46138 46124 46105 46098 46104 46094 46095 46097 23009 40172 51389 51392 23012 46106 46107 36968 38399 34250 34254 40165 40161 47309 34240 34241 34242 34188 34189 34200 34198 34199 34186 34187 23015 17505 51403 34244 17506 51401 34245 51402 34246 17508 34247 51404 17507 17511 17514 17515 23016 46149 46150 46123 46137 40169 46108 46151 40173 19929 23207 23208 22230 23008 34243 34237 51397 51394 51398 51399 51400 28993 28967 28966 28991 28992 30151 23007 46140 46118 46121 46147 46146 46122 46145 46144 46119 46120 37378 37374 46096 37376 37377 46103 37379 46143 46141 46142 37375 38693 39336 47023 47024 47307 47026 47303 47306 47304 46881 47302 47022 46882 47305 47025 39721 39720 39520 39584 34253 34192 34197 34193 34195 34194 34196 28999 30153 28998 39387 30152 29681 34235 34232 17451 17450 17462 17461 17460 13486 17459 46582 46837 51355 51346 51345 51356 51388 51387 40157 40158 37161 39669 46099 46101 46102 46100 39842 38349 38348 51357 28870 46506 37260 38244 37668 37669 22178 22179 21087 21242 21241 20221 20630 20629 20628 21536 27003 37258 37172 37259 37457 37456 46503 46253 46252 46505 46504 37667 37458 37459 46507 46836 46581 46580 51358 46547 46548 38350 46579 46835 38351 39334 38398 39335 38397 46549 38352 38353 37225 39579 38393 39018 38385 38391 37256 37255 39016 37227 37257 39017 39581 39580 39582 39547 39019 38390 37254 38962 38392 38344 39327 46834 37664 46831 46833 46653 46830 46832 46654 40153 38342 38343 40154 39191 37663 39326 39807 39806 38395 39021 46577 38382 39330 39020 38902 37665 39332 39329 39328 39333 39809 39808 37666 39331 46578 38394 38396 39022 46493 46543 46544 46545 51348 40174 51351 46154 46028 51349 46152 51354 51353 46155 46156 40166 47310 51350 46153 46546 46576 46575 46574 47301 47021 47019 46880 47020 46879 46878 46250 46827 46502 46829 46828 46651 46501 46650 46251 46249 46500 1533 1537 1534 1532 1531 1341 1343 1342 1348 1347 17503 17499 17504 17501 17502 4030 49190 51341 51310 51314 51339 51309 51315 51308 51340 50563 51332 49194 51313 34251 40170 34252 51342 40167 40168 34249 40171 51343 51344 49189 34248 50768 46957 51306 39517 50904 51307 51324 51331 50562 49891 49406 49730 49483 49728 49628 49627 49482 49407 49890 49731 37171 37169 37170 49729 49889 50561 48564 48316 49187 49193 51330 48488 51320 51321 49188 48934 49185 48485 48932 48486 48659 48760 49184 49403 48757 47885 49887 47857 47887 47738 47891 48315 47890 48312 48314 49172 38899 50557 50556 49176 38900 49030 47839 38901 5348 5350 1337 1336 51312 51334 51337 51335 51311 51336 51338 50767 51011 51326 51327 51328 49191 49192 51329 51352 46652 49626 49404 49625 49405 50162 46401 46404 46403 46402 46756 51302 49727 50258 50555 49885 49825 49481 48386 51316 51318 51317 48930 51319 48484 47811 47837 49180 48563 47826 51323 48756 47860 51322 46958 51015 47298 49866 39194 38379 47296 47295 46755 51118 38381 40033 49175 47827 47886 48313 47862 47830 47888 47829 50699 50260 46758 48933 48565 47390 50559 51295 46537 51014 49886 50769 51012 49814 49863 49183 47889 49186 49182 47838 51294 48758 47863 46960 51297 49847 51298 50478 50703 51304 46538 50560 51303 40156 39519 50163 38277 38345 49865 50907 49827 49817 50259 50701 46539 50477 39193 51305 46959 28952 49801 51013 49888 46757 50700 38278 51296 50479 39518 38380 50621 39718 50164 50558 40034 50161 49826 49816 50906 46540 39192 49867 49815 50905 50476 50908 40155 49181 49818 50702 49864 39719 47297 50832 47864 48931 47861 47828 48487 49174 49173 48759 55 1541 1714 351 1311 1318 1327 1324 1308 1319 1317 1316 1314 1332 1322 1310 1325 1323 1328 1330 1326 1331 1312 1315 1313 1321 1540 5349 1335 419 1345 2839 2837 2838 1320 1329 1278 1283 1282 350 270 349 878 879 1090 317 348 347 337 346 345 338 344 169 342 343 217 194 237 196 250 238 251 269 216 263 267 268 264 266 265 262 236 261 235 1333 1334 54 6962 13213 13483 13210 13209 13212 13211 13068 13484 13069 1716 4036 4033 1221 17458 13485 4037 12352 28990 28965 13025 12769 13024 12771 13482 13022 13023 2845 2844 2841 2853 2852 2851 2840 353 352 1281 5351 22227 22226 5515 5510 105 271 601 591 590 603 602 592 2843 2849 2850 2842 2836 1279 1280 2848 2846 2847 5509 1717 1720 1718 1719 90 91 65 76 83 89 82 77 66 81 80 78 79 64 6182 6179 6180 420 418 149 102 96 75 88 95 94 92 93 74 87 84 72 86 73 85 71 2834 58 63 57 62 59 61 416 417 3095 413 414 415 383 373 380 376 369 375 382 371 381 370 374 384 372 378 388 385 387 386 389 379 377 132 70 68 399 22228 22229 22225 69 1138 1163 1110 1139 1112 1164 735 768 741 820 808 769 821 805 811 847 848 857 850 874 760 849 860 859 872 815 817 758 764 757 873 853 802 861 810 867 868 803 761 851 762 855 864 819 801 740 795 869 852 765 846 799 733 798 845 828 858 856 818 771 759 876 866 865 806 814 767 1140 1152 1141 1167 1130 1168 1165 1171 1166 1170 1169 1151 1131 829 862 827 813 870 825 871 877 875 742 730 826 734 816 854 750 804 812 863 770 800 809 807 763 766 748 739 151 732 747 756 844 797 749 751 704 703 752 1219 1172 1220 1187 1205 1204 1203 1186 1188 1202 1198 1189 1206 1197 1180 1181 1217 1207 1218 1099 1213 1214 1101 1212 1211 1215 1216 1097 1098 1100 1089 1088 574 2876 2875 147 148 146 368 366 596 595 604 584 594 615 612 616 585 614 613 593 617 605 583 606 1086 1087 641 618 597 589 611 610 640 588 609 600 608 586 598 599 587 619 607 38 35 37 145 36 34 2093 103 6178 150 699 1092 152 835 701 1129 1126 840 721 794 786 836 837 789 725 706 833 705 724 723 700 1127 787 790 728 842 727 783 707 781 722 729 67 726 1128 1118 822 834 678 1119 841 791 838 785 780 823 719 211 249 247 202 214 212 201 248 246 2920 2921 2919 2986 2923 2982 2983 2985 2925 2984 2922 2924 5508 5346 5347 203 213 5514 782 788 793 824 839 792 720 784 6181 5513 1726 23004 22426 22177 21239 28868 28869 21196 21240 21195 21186 25087 25121 21238 25086 22427 22656 22655 22428 22653 23006 23005 22654 22363 30150 27002 27001 30149 23003 23002 21194 22652 1795 1787 1789 1788 1786 1794 2873 2874 1346 28227 28228 28225 28226 5512 1767 2832 2830 2831 2833 1793 1760 1761 1792 1713 6170 6171 6177 6172 1770 1769 6168 6166 6169 6167 2186 6162 4434 6159 6158 6157 5334 5321 5320 5335 5345 5315 5343 5319 5275 5342 5314 5277 5307 5306 5276 5318 5316 5317 5274 5305 5313 5260 5271 5272 5263 5266 5268 5269 5273 2957 5333 5344 5265 5262 5270 1864 1890 1855 1863 1854 1891 1885 1889 1884 1888 2917 2918 2226 2225 39384 39386 4034 4035 6965 6966 1765 1762 1763 1764 1755 1754 1776 1775 21532 1711 1612 1653 1611 1651 1712 1635 1650 1652 1649 1618 1558 39385 27718 27719 3219 3218 3234 3217 3233 3216 6161 6160 1987 1355 6156 6154 5304 5332 6155 6164 6163 6165 6151 3212 3211 3215 3214 3210 3213 1771 1780 1772 1796 1779 2410 2409 2408 1886 2407 1862 1861 1887 1835 1834 1797 2102 2103 2228 2227 2367 2405 2371 2229 2406 2359 2356 2404 2366 2343 2368 2370 2355 2289 2365 2230 2369 2372 2403 2288 1757 1751 1756 1752 1766 1758 1759 1750 12336 12314 21529 21533 21534 21535 21524 38243 28988 38692 38691 38690 28981 28986 38689 34177 12334 12305 12304 12333 4004 4003 3096 7157 7158 7156 7155 23014 8682 8681 8139 7159 7160 10475 8686 8140 8685 10476 8683 8684 7094 6959 28963 21225 28989 28984 28987 28961 28983 28985 28962 28964 20220 21237 20219 21084 25051 25050 23161 23209 25119 23210 23162 25118 25120 25117 25116 21085 21083 21086 34160 30147 30148 30146 22997 28994 23001 27004 17448 17449 17500 6963 6964 6958 6183 5504 6957 23158 25114 23152 25115 28864 28865 28867 28866 34230 34231 23157 23151 34159 23197 23198 23195 23196 17513 17512 28951 28980 28950 28949 22360 22362 22361 28947 28945 28944 22685 28946 28941 20122 28948 28936 28979 20388 28942 22512 28943 28937 20338 28939 28940 20337 20336 28938 20339 20335 20340 22564 22999 22563 22562 22561 21222 21224 21223 20420 21188 48309 48176 48175 48109 48262 48263 47736 48311 48310 48106 47485 47486 47644 50475 47643 47484 47483 49624 48108 48265 47735 47537 47646 47645 48264 47538 47737 49402 50160 48107 49552 49300 49997 50360 49298 49551 49299 50359 49996 39103 37349 39102 37350 48308 48105 47482 48261 47990 47597 47598 48224 47392 47391 48225 47991 47642 47734 47536 48174 21121 21187 20419 20418 34150 33858 33857 33611 33612 31159 32030 34151 34152 32029 23013 34182 34183 33856 34175 34184 33855 34185 34158 30233 33545 33546 33406 33751 33750 33749 34149 34157 34153 34156 34236 4080 4078 4068 4079 4067 13481 13480 12738 12768 12766 12770 13479 12767 7147 7148 12221 7145 7146 12222 12219 12220 12217 12218 2166 2165 2087 2088 2342 2358 4064 4063 4066 4065 34179 34180 34181 25048 25049 25047 25046 12289 12332 4014 4013 4015 4001 4002 4012 11601 11600 11599 11142 11141 12330 7161 1271 1292 1339 1277 1304 1529 1340 1306 3455 1349 1527 1526 1528 1258 1307 1293 1305 1590 1272 21521 21522 21523 21082 20948 21519 4027 4025 4028 4026 4024 4023 4022 23011 17509 17510 32033 32037 34167 32036 34173 34174 32246 33748 33544 33543 23142 23010 23149 23143 34166 32035 32034 34170 34171 34172 34169 23136 23137 23147 23146 23145 23156 23155 23144 4631 4630 4465 46114 46115 46139 46112 46113 46117 46116 25075 25074 34154 34178 34155 4061 4062 17439 34165 32031 34162 34161 34164 34163 32734 33405 33404 32732 32573 32571 32572 32574 32471 32326 32325 32250 32733 34201 46037 46042 46091 46038 46052 46125 46043 46040 46051 46135 46092 46044 46035 46041 46050 46039 46036 46031 46030 46032 37226 37224 38961 38384 38383 38960 36970 38779 36969 38780 46048 46047 46049 21220 22176 25085 22036 22035 22175 20311 20627 28862 28863 23205 21192 21193 20625 20516 20218 20626 23206 21236 46034 46046 46045 49995 50358 32032 32027 31777 32028 33610 33854 4075 4076 4077 21526 21528 21525 46332 46333 46709 46708 24416 24415 21531 39383 12303 12316 12341 21530 1269 1270 1229 204 215 23141 23148 23133 23139 23132 23134 23138 23140 12302 12315 12340 1261 12301 2835 12337 12338 12339 4006 1721 1715 4988 12291 12299 6464 12293 6635 12295 12297 12294 12298 12292 4793 4990 4985 4987 4986 4989 12300 12296 12290 24229 24230 24735 24736 13474 1300 1301 1259 2916 2872 1238 1299 24734 24733 24228 24227 24624 24625 23900 23899 38681 11602 12223 32730 34147 34148 15310 14453 6956 6953 6952 6606 6954 6955 17447 17446 17420 32670 32644 32468 32467 32249 32143 32245 32247 33403 32395 32708 32469 32248 32470 32669 32706 32657 32658 32661 32660 32709 32729 32731 32659 32707 32690 32710 17445 17444 17437 17443 29679 29350 21864 24623 23898 23897 23896 17442 17441 29096 29095 29346 29348 29349 29347 20215 20216 20624 20132 19931 12347 32026 6961 20131 21221 21234 30730 30707 21191 30729 30706 3414 13146 13145 13144 4031 4032 13021 21235 20186 20217 30145 13147 29423 21190 20416 20623 3103 29680 29425 29424 20133 38242 38241 30705 30704 29247 17419 17415 17418 38679 38680 12695 12694 12696 12445 12446 12842 12843 13019 13020 13018 20050 20051 20049 20048 4074 4073 4070 4072 6951 4071 17422 18157 14452 18156 17987 18155 17986 30325 30485 21745 29678 29422 4518 29390 29391 21946 29392 12943 12944 22037 21865 22172 22173 22174 12946 13017 12945 29382 29381 29244 29380 29245 30327 12288 30489 29383 29601 30328 30486 12331 30682 30732 30581 30733 30734 1338 30673 30731 31158 30580 30326 29600 30487 31156 30381 30488 30329 30578 30380 32025 32024 29599 29598 30579 29246 29421 29674 29675 16675 17413 17414 21119 21741 21623 21743 21742 20129 20417 22034 21120 20130 21744 22033 1291 1276 1275 31157 13471 30671 1709 1708 30672 30670 30681 17945 29497 29677 1710 29676 13472 29496 13473 29420 29673 25084 17497 17494 17416 17440 17417 23827 4011 2859 20079 21520 21081 1559 4054 4058 4060 4059 4053 4069 4055 4056 4057 12229 17492 17493 4016 4029 4017 5511 2688 154 245 4626 1266 1268 1267 18154 12335 12313 4759 4635 17734 697 1117 1125 691 698 696 695 1561 1560 12287 3991 1725 1724 10473 10474 4020 6949 6947 2590 2669 2668 2670 2587 2542 2588 2589 2541 2529 2528 2543 2663 2665 2585 2552 2551 2550 1790 2685 2687 2686 2628 2627 1543 2656 2657 2586 2666 2664 2671 2667 2546 1564 1563 1562 1572 2629 3088 3093 3025 3089 2904 2994 2993 3026 2992 3024 2915 3094 2996 3030 3031 3023 3091 3090 3092 3029 3027 2995 3028 1294 3020 3021 3022 1228 1231 3018 3019 1230 1297 1227 1295 1296 1298 1574 4019 1671 2822 2828 2823 2820 2819 2821 2829 2817 2818 2527 2816 2811 2812 2903 2902 2867 2901 2866 1791 3082 3083 3084 3011 3012 3010 3013 6176 569 3081 1753 1723 1722 2854 2946 2978 2968 2967 2969 2981 2970 2980 2979 38676 18104 6960 3087 13312 2900 2899 2914 2898 2945 2956 2884 2885 2965 2887 2886 2966 2955 2888 2881 2863 2880 2862 3006 3007 3005 3004 3009 1774 3008 29345 29094 30577 30379 30235 30441 29343 29344 29093 29092 2545 2544 2547 1773 25044 25045 7111 7112 32668 32728 23790 15312 15316 23823 15313 12312 29286 29049 15317 13478 7108 7107 7109 7110 12308 7080 7081 7104 7103 13109 13108 12321 12897 12896 12693 12593 12594 12692 12522 12523 12722 12721 12737 12736 12729 12728 12727 12591 12592 13311 12726 12765 12730 12731 12757 7102 7101 12756 12735 4517 5461 5507 5453 5459 5506 5460 6149 5516 5451 5505 6604 6603 6381 6605 6516 6380 6316 6602 15309 17463 32570 32324 5503 5490 6379 5502 12734 13476 13477 12733 4857 6148 5352 6147 6146 5450 17496 17485 17487 17491 17486 17498 17490 17489 17482 17480 18273 25043 25042 5258 5257 4891 4804 4892 5259 5070 5256 6946 6945 4890 12764 12763 13475 17985 12310 12311 17484 17483 20078 34220 34239 34224 34218 34223 34238 34225 34208 34219 34234 34229 34228 34227 23826 14041 2786 1274 17481 17470 17474 17478 17479 21518 21517 21511 8756 8755 8754 8753 8710 8750 8722 8721 8752 8720 23819 23825 17475 17476 17477 8748 8751 5153 4889 5255 4888 12309 7089 7088 7095 7084 7091 7099 7093 7083 7090 7098 7097 7096 7105 7106 7082 7086 7087 7092 572 3772 1631 1289 1634 3967 1692 3773 3774 1589 1633 1557 1586 1588 3456 1691 1290 1422 1256 1223 1488 1524 1491 3966 1420 1489 3535 3509 1254 3507 1632 1419 3478 1587 3537 3459 3458 3477 3536 1421 3508 1705 1457 1704 1222 1255 1525 1091 3476 3534 1257 3457 1490 3510 3272 1458 1523 3540 3176 3538 3174 3434 3271 3491 3432 15959 15415 14451 15979 14450 15939 16674 12238 12239 12240 15927 4802 6513 15929 6515 12247 12231 12246 12236 13989 14036 5386 14012 14014 14038 5068 5067 4803 14039 14011 6315 13988 14013 13979 14037 13978 13977 4961 13980 5452 5069 14449 6420 5721 5385 4960 5841 6421 6233 6827 6005 6826 6948 4616 5603 5722 5719 6313 4617 6314 6007 6006 6145 5916 6143 6144 5842 5917 6008 15515 5489 5488 6234 5484 5485 5720 5602 5487 4801 6514 13559 15998 15930 15912 15928 16673 16672 15976 16671 15958 16003 16000 15938 15999 15977 15913 15975 16001 15926 15978 3118 5915 3128 4800 3119 3116 3117 3127 6312 6232 6419 6142 6512 4614 5449 5601 4959 5384 5718 6825 6004 5066 5483 5486 3454 3506 3105 3150 3149 3152 3172 3151 3173 3136 5840 3171 32 1094 1095 1093 12248 1096 3175 3539 8708 8749 8707 8747 8709 8719 23828 12306 37087 37088 7085 4051 4052 4048 4050 4049 37090 38346 37089 37576 37572 38347 38684 38686 38685 23135 12307 7593 37568 38683 20205 2882 2883 21514 21516 21515 2948 2949 2947 3425 3424 3480 3487 3481 3431 3433 3430 3488 3422 3479 3427 3426 3423 3489 3490 3428 3429 2879 2878 18026 18103 12244 12245 12242 12243 17944 17791 18025 17731 17790 17998 12241 1784 1732 1729 1728 1741 1744 1736 1737 1743 1783 1731 1748 1738 1782 1781 1785 1749 1740 1742 1739 1747 1746 1730 1745 1727 1734 1733 568 1578 24731 24225 24730 24718 24719 24732 24729 32146 30272 32413 32444 29204 29239 22410 32145 30475 22409 32149 30994 32147 20053 20529 20052 32411 30271 32412 32443 32144 32148 24226 12212 12211 32647 20334 20341 20342 32151 32150 32653 32691 20387 32703 32655 32651 32704 32445 32649 32654 32650 32656 32652 24220 24668 24669 24728 24222 24727 24221 24717 24223 24224 29199 32415 32243 32414 32646 32705 20386 30476 30458 30323 30276 3097 3098 30275 30273 30274 5443 5442 5438 5446 5441 4600 5458 5500 5501 6950 6378 6377 6600 6546 5254 5457 5456 5455 12326 12249 12323 12328 12327 12329 12258 12257 12322 6376 6599 5499 4887 5253 5252 6598 1735 3130 3131 17646 6601 19835 19834 2931 2927 2928 2932 2933 2929 2930 20385 15957 15911 4000 1239 1237 1240 1235 18100 18102 18101 1234 14007 14035 14005 14006 15937 15997 3999 15315 1236 15314 3973 13987 13961 13960 3418 13959 3971 3968 3972 578 582 580 575 23837 23831 23830 23832 23835 23834 23791 23829 23836 23833 23793 23824 23838 579 581 576 577 23794 23792 23795 3419 17436 17429 3421 3420 3417 3969 17467 17469 17468 17466 17465 17464 12237 17943 17942 17772 17992 17789 17788 17997 17991 17771 18027 17749 17990 32417 32440 32464 32462 32448 32180 32447 32446 32152 32465 32416 32463 32466 32181 32441 32225 32439 32226 32442 32244 17941 34205 34207 34206 34204 34203 34202 23821 23788 23789 23822 3416 17996 17787 17770 5433 3135 3104 4610 29200 29202 29201 7022 4606 4607 4603 4608 4605 4609 7023 7029 29205 29203 6979 6978 6980 7026 6975 7025 7024 6983 6976 7030 6982 6981 6977 4597 5424 5481 5435 5436 5434 5482 17428 20056 20389 20390 20414 20415 20117 20411 20412 20118 20413 20119 20128 24413 24414 38675 38674 38673 30461 30324 30481 30321 30471 30474 30484 30279 30483 30480 30472 30482 30473 30322 30479 30320 30470 29242 29237 29243 29238 38672 30459 29208 29207 20059 20058 20060 20057 20063 20116 30477 30277 30278 30460 30478 30270 30457 29206 3102 3101 3133 3134 24622 5448 5437 5447 20062 38670 38671 20061 12234 12232 12233 12235 23855 23841 23840 23854 23839 23857 24621 23856 17743 17747 17740 17989 17742 17746 17748 17738 17735 17736 17739 17737 17733 17988 17745 4598 15371 15372 15888 4599 4602 4604 4601 8745 8702 8705 8706 8704 8744 8700 8699 8741 8703 8742 8701 8746 8743 8740 25041 24915 24916 25040 25038 25039 20410 20127 20044 2926 5493 33 3529 3970 4467 8425 8426 3771 3770 2827 3650 3684 3683 3769 3651 3649 21513 29336 5492 20525 29342 29340 29341 20621 20622 29335 29091 29090 29339 29066 20214 29300 12717 12720 12718 12719 21078 21061 21080 21043 21041 21042 21060 21079 21037 22224 22216 22203 22215 22217 22223 22198 12788 12792 12790 12787 12789 12786 12791 12799 12798 12893 12895 12793 12894 7021 5541 21036 21077 21035 12797 12874 12892 12873 12494 12360 12359 4043 12492 12356 12355 12493 6222 6224 21040 21029 21028 21023 21039 21027 12785 12784 24408 24411 24409 24410 24925 24407 24412 24923 24924 5491 6223 5740 5739 5738 5737 5741 5912 5730 5732 5746 5733 5914 5905 5728 5542 5777 5745 5729 5778 5734 5731 5913 5727 5735 7020 2090 2092 2080 2079 2091 2089 2095 2094 2413 2526 2525 2524 2523 1565 1567 1641 1642 1644 1646 1643 1639 1645 1566 1638 1637 1640 1647 1648 2625 2680 2678 2682 2623 2681 2675 2615 2679 2826 2677 2676 2624 2684 2626 2683 2581 2531 2540 2785 2662 2661 2553 2566 2815 2536 2658 2584 2582 2539 2567 2660 2537 2538 2532 2530 2535 2433 2783 2534 2434 2784 2781 2533 2782 2437 2814 2565 2659 2583 31773 31406 29868 29867 29869 33322 31331 33402 33400 33102 33399 31408 31603 31407 33401 33007 33103 31775 31774 31776 29725 29803 29724 21863 29865 29866 31154 31018 31019 31017 31155 30728 30680 20074 50903 39715 50900 50901 50902 46955 50697 39717 46956 39714 50879 50881 39690 27286 33101 33398 20065 39689 50698 50880 39716 37091 48743 49570 39655 48688 48753 48755 49601 50850 48689 37092 50851 39702 39566 23811 17438 49303 39567 49600 48742 39703 49306 50894 46361 48752 48724 50893 46938 39656 50662 48151 49568 49569 49301 48723 37244 47632 49305 48754 46937 49304 48722 49302 50663 21527 3413 23748 3882 3881 46925 3883 3865 3866 3884 3864 3863 3850 3862 22338 26998 26999 27000 34176 26997 26379 26380 4021 37104 49384 27284 19777 27285 27289 27288 27283 27287 3322 3359 3358 3321 3357 3356 3412 3964 3963 3965 1630 1627 1628 1629 1623 1626 1247 3344 3343 3311 3411 3309 3310 3342 1610 3441 13208 13206 13207 3857 3851 3856 3855 3809 3854 3852 3860 3861 3858 7143 7144 12228 12230 13045 13067 13066 12216 13163 12215 13065 13164 13046 11894 11893 12213 12214 3115 14405 14446 14447 14404 14448 14364 14365 3648 12226 3341 3308 3410 1456 1464 1690 1555 1487 1418 1463 1378 1707 1522 1379 1703 1616 1617 1701 1380 1462 1702 1556 17119 17015 17014 16941 17016 3320 3355 17118 17117 17017 17757 17756 17760 17759 4747 7966 7965 12443 12444 12690 12442 12689 12691 7154 12398 12399 12631 12632 34212 23885 34217 23886 23887 34216 32023 23776 23799 1302 1150 779 1149 1142 14040 14252 13885 13705 14251 13887 13886 14320 13706 14402 14250 14403 13888 14319 14253 3269 3956 7227 3961 3962 3953 3955 3954 3768 3737 3735 3734 3270 3245 3268 3266 3248 3246 3267 3247 3265 3058 7229 3767 3736 1672 1673 1677 3080 3079 3060 3059 3055 17755 1706 7280 7296 7295 7680 7681 3148 3057 1654 3048 3064 3063 3069 3054 3047 3066 3062 3070 3078 3049 3053 3077 3061 3065 3068 2889 3001 2961 2962 2960 2959 2958 2963 2964 3682 3766 3193 3184 3185 3191 3240 3239 3238 3192 8320 7963 8424 7695 7696 8423 8321 7964 7694 7693 7692 8319 3186 3236 3190 3183 3187 3189 3235 3188 3237 3182 7961 8417 8421 8359 8422 7956 8409 8419 7959 8408 8360 8420 8407 7960 7957 7962 7958 8418 3859 3241 3242 3197 3243 3244 3209 3194 2892 2893 8138 8679 8137 8680 8550 8094 8549 8095 22194 22195 22192 1303 3409 3402 3403 3408 3400 3401 2107 1860 1882 1883 1853 2997 2998 1260 3992 4722 5035 5065 5040 5064 5039 5037 5036 4984 4991 4992 4724 4723 5038 3000 2999 3952 3917 3574 3647 2774 2780 2773 2674 2620 2622 2621 3442 2779 4738 23871 23870 23873 23874 23872 27667 20534 4540 1262 4081 1577 4464 7868 3017 3016 6417 6230 38682 6986 6992 6993 6987 6988 23903 11226 11225 6973 6972 6971 4430 6968 6969 11224 11223 7079 6970 18024 20396 20071 23910 24109 27385 24105 20101 20106 24108 24104 23904 23909 20011 19956 19950 19957 4737 11891 11889 11890 6661 17946 17951 17952 11222 10650 11242 11217 11229 11218 10651 11241 10652 11220 11238 10649 11233 11228 11237 11240 11239 11234 11267 11219 11221 11268 11236 11235 11718 11719 11888 11721 11887 11213 11720 11892 2050 2045 2314 2344 2180 2117 2182 2209 2178 2207 2351 2313 2047 2315 2347 2349 2322 2325 2312 2352 2183 2206 27298 27296 2348 2208 2046 2320 2327 23848 2324 27297 2251 2192 2181 2345 2350 2326 2301 2252 2049 2179 2193 2177 2353 2321 2319 2328 2048 2323 2346 2354 2020 23867 23864 23865 23866 2990 3014 3015 2989 2415 2416 2613 2672 2673 2614 3975 3319 3318 3353 3354 3317 3352 5409 4040 27387 27389 27388 27383 27380 27381 27386 27382 2619 27384 27379 17454 17455 17456 6989 12324 12325 23986 10830 7864 13205 13204 13202 13197 13203 12350 12349 12348 2616 2618 1608 1607 1609 2991 6545 2987 2988 1606 1600 1895 13193 13194 13195 13201 13196 7596 7671 7673 7670 7683 7672 6291 10733 10732 10734 10735 10731 10736 10737 12732 12682 1484 1482 1471 1485 1483 1486 1472 1473 11596 27895 11595 27894 29305 11139 11598 11140 19979 11597 11138 11137 23465 13309 13308 13310 20397 19972 17421 22509 4777 22337 22306 20012 22304 22303 22305 23782 23807 23808 23781 25675 7867 10824 7706 10831 10832 10834 11594 10825 10829 7863 10827 10828 6577 10833 10826 23882 23881 23880 23879 23883 19940 5046 7699 31313 31312 31311 20064 20102 25690 25686 25682 25691 25688 25687 25689 17473 17472 17471 4750 5193 4038 7225 4752 7226 4751 1621 1622 29315 29309 24640 25005 23588 25021 25019 25020 20551 24641 23466 27532 25729 25725 25728 25727 25726 25707 25712 25705 25713 25711 25710 25708 25706 25709 25698 25703 25701 25700 25697 25699 25696 25702 25719 25721 25720 25722 25717 25718 23888 29316 31231 22339 31230 31232 31235 31233 22310 31234 22309 22308 22307 19769 6342 6343 6341 5152 4886 17959 18111 18113 17969 17984 18112 17968 18152 18153 26339 33468 33466 33467 33469 25792 25793 25781 25830 26105 25780 25785 25787 26340 25791 25790 26338 26106 25789 25788 25786 11854 11853 11776 11766 6339 6416 6338 6337 29056 22692 29055 24999 6336 6335 29191 29054 20530 22693 25000 25022 6226 6225 11777 11775 13287 11778 11765 11531 11528 11527 8135 8136 8678 11529 5174 5171 5173 25860 25861 11309 11310 4772 39701 50891 39654 48686 39653 46936 48740 50892 46935 48687 50661 39700 48741 50849 50660 50848 11416 11415 7000 10932 10934 10933 10935 10870 7930 10931 10930 11414 11413 11387 11412 11388 11315 11316 11411 11409 11410 1542 31272 11262 11264 11266 11263 11265 11261 12209 12210 3918 3948 3928 3922 3939 3938 3919 3926 3951 3923 3927 3931 3949 3950 3930 6642 1575 1573 3291 3290 3288 3289 1571 1585 3702 3340 3339 3335 3333 3142 3338 3337 3334 3336 3107 3332 3331 3292 3110 3960 9687 9688 1584 1570 1233 8561 8562 8551 8096 8108 8107 4957 3396 3388 3390 3398 3399 3397 3393 3392 3391 4760 1569 8097 11591 8109 11526 8677 5172 5454 11593 11592 11532 2591 5170 11314 11313 11311 11312 4721 11289 11292 11293 11291 11290 11296 11294 11295 7213 7274 7217 3435 3252 7667 7679 7290 7665 7666 7678 2579 2580 2578 2577 3733 1625 1582 1579 1248 1624 1580 1583 1581 3086 3085 2564 2562 2568 2556 2563 2555 2569 2554 2570 2612 5406 3043 3044 3041 3042 3040 2609 2604 2610 2605 2611 12205 12208 11971 12206 11964 11963 11972 12207 12125 12124 13396 13429 13468 13470 13353 13430 12261 12271 12264 12270 12260 12266 8269 7359 8270 8268 12265 5410 12263 4590 12267 12262 6511 6450 2053 2068 2304 2306 2303 2054 2071 2294 3264 2067 2302 2055 2076 2057 3232 2074 2307 2296 2056 2070 2305 2072 2058 2075 2066 2073 2077 2069 2297 2295 6752 13357 13358 13359 6692 6761 6751 6750 6690 1914 3997 3998 3990 3996 3995 3994 13366 13395 13368 13362 13367 3993 6428 4754 4970 6482 6483 6462 12268 39751 37555 39249 37554 39546 39752 39545 39250 8267 8303 8266 8304 23000 21228 11385 11364 10976 10971 11363 29672 29389 29419 29495 23160 23159 29864 28224 28223 30144 29636 29456 11361 11346 11360 11362 11345 11342 8628 11344 11343 8627 47300 46977 46976 4632 4646 10869 12538 10880 11340 8629 11337 8630 11338 9580 11339 11318 11317 7337 10970 11386 11408 10928 11367 10927 2576 11365 10926 10972 11407 10975 10973 11341 11366 10292 10249 10294 10295 10248 10293 47299 19951 17572 17583 17582 17581 17573 4466 27713 27712 28220 28218 28217 7613 7612 7163 10487 10489 10490 10488 10491 7265 10492 7162 10493 10494 27705 27699 27710 27711 28140 27709 27701 28137 27698 27702 28136 22650 22651 22595 27700 27704 27706 27707 28138 27703 22390 22425 29723 27716 27717 28221 27714 27715 29863 28222 29722 27697 28141 27708 28219 28135 28133 12630 4858 12628 12520 17967 17966 31405 17580 17609 17607 4859 29702 17579 17632 17634 17570 17571 12518 12519 12495 12497 12496 12375 8343 6362 6460 6288 13364 6429 6451 6430 6449 6461 6466 6484 6485 6510 13469 13428 13365 13467 6465 6431 12586 6463 7923 1689 1688 1659 1670 1687 1669 1658 1662 1661 17608 29820 31404 33609 31378 33853 18109 17635 28134 18110 17962 12629 17606 17636 17633 3974 34215 34214 34213 20188 13427 22171 21862 22170 21805 12539 12529 12530 12528 12531 13111 13143 13110 13124 13112 12540 12541 10144 10179 12537 10202 10203 10143 10180 9581 7542 13121 13123 13334 13114 13122 13327 13361 13352 13335 13325 13336 13351 6697 13324 13337 13355 13360 13354 13321 13328 13326 13317 13316 13356 22093 21233 46567 46568 21860 22169 12655 12651 13130 13131 13126 13128 13127 13141 13140 21861 28996 28995 28997 29388 29387 21859 29386 20536 20537 20533 20535 21189 29671 29670 22649 29862 12536 12551 12534 12535 12941 12942 13431 13437 13433 13382 6629 13383 13384 13466 13434 13432 13439 13452 13435 13436 13438 13451 29849 6637 6638 6824 6639 6823 6628 37113 20364 4876 22424 46542 46205 46541 46612 46793 46792 46443 46442 46206 46613 29494 29493 29417 29721 29418 27673 27662 27675 22423 27674 22422 28128 28127 28116 27661 22648 46858 46859 13107 13083 13082 13106 13105 13090 13104 28126 28125 17457 12351 28124 28123 28121 28120 28122 27663 27672 27671 27669 27670 27668 27666 27664 27665 39798 39796 47003 46996 39789 47004 47002 39797 47012 39803 47018 39800 39801 39802 39799 39805 39804 47017 47005 47011 47016 47001 39795 39788 39794 46999 39786 39785 37610 37609 37611 39783 39787 37608 39784 37592 46485 46469 46997 37646 37640 37631 37638 37645 46467 39791 39790 37633 46472 37607 37634 46463 37605 46466 39792 46468 37639 13102 13103 7179 13081 13041 13304 4470 4469 13298 4468 13246 13305 13299 4431 13306 13307 4627 37018 36979 37641 37145 37593 37590 46464 46481 37591 39793 37635 46484 37615 46465 37594 46482 37606 46998 37632 46462 39301 46995 47000 29859 29860 29861 26996 26995 26377 26378 26376 26994 26302 26879 12367 12365 13089 13028 13030 13029 13027 13086 13084 12369 13088 12366 13026 12368 13087 4819 26993 26878 26307 26308 26375 26309 22168 13044 13043 13162 13161 13032 13160 13031 12373 13085 12370 13159 13101 13096 13095 13092 4647 4633 7768 26306 26877 26876 5980 6426 6425 6427 13411 13426 13407 13410 13333 13408 13406 5938 5925 5952 5953 5924 5978 5939 5979 6003 5923 6002 5951 12558 13120 13117 12562 13119 12559 12561 13118 12556 13403 13412 13330 13397 13398 13400 6619 13409 13332 13404 13425 4619 13405 13331 13402 11960 11962 11961 12121 12123 12093 12122 12094 11959 5940 12120 4511 13094 13093 12505 13100 11272 11271 8308 3111 8307 3114 3112 3106 6382 12502 12501 12499 12503 13073 12470 13070 13079 12474 13075 13080 4510 12473 12471 13074 4509 12475 13071 27683 27677 27678 27696 27682 27679 27695 27680 27681 27685 27684 27676 34222 34221 26875 26874 24910 17964 24909 17965 18107 17963 17983 18108 12500 13091 17773 4868 5498 13064 13180 13181 13052 13168 13179 13063 2857 2855 2856 2858 4010 23985 19976 19977 23975 23978 23973 23976 19978 23974 23977 29306 19933 17637 23461 23459 23463 23460 23462 23464 20606 11090 7684 7674 29840 3305 6375 11098 11097 11085 11096 11518 1395 1397 1416 1396 1417 9256 17982 17981 18151 20980 20977 12401 12400 13183 13184 12658 13192 13178 13060 13173 12661 13185 13199 13055 32567 32323 32322 32321 32568 32569 13190 12420 13056 13061 13176 13187 13175 13171 13189 13062 13198 12417 12421 13059 13191 5604 13172 12657 13177 13188 12637 12635 20981 21020 21059 20979 21021 10118 21022 10117 21018 21058 21057 21019 26304 26305 26303 3287 8822 8805 8823 7298 7281 7279 7283 7282 7284 17565 17564 11270 11269 7297 14363 14249 14401 8799 8808 8807 8824 8806 8802 8804 8820 8821 8803 7299 7285 10991 9288 9298 9287 9285 1680 1675 1682 1681 1683 1679 1686 8305 8306 14336 14287 14335 14286 14254 14362 14090 14084 14085 17949 17950 17684 17948 17676 17947 20953 8774 1678 1685 3304 37110 22212 22211 22196 22214 22213 9423 6407 6418 6405 6406 5440 5439 26301 26300 26872 21038 21026 11212 12385 3350 3316 13038 13037 13039 3349 3314 3347 3351 12386 11210 12388 12392 11208 3313 13040 3348 11209 1594 4856 11211 12389 9634 9615 10279 10280 9636 9621 10282 10246 10221 10226 9620 9632 10223 10247 9638 10281 10228 9628 9627 10219 10225 9355 10229 10284 9480 9442 9619 9630 10222 9422 10159 9633 10240 10290 10220 9616 10291 10241 10227 9635 9639 9441 9354 9426 9357 9604 9629 9622 10283 9631 9626 9596 10218 10217 10213 10214 9595 10216 9593 10215 9594 5743 5744 9349 4457 9873 14088 14083 14089 14087 10049 10048 8968 8967 10276 9601 10275 9600 9599 10277 12490 12521 12489 20598 8769 8776 8777 8770 8778 8779 8775 12940 12909 12925 12932 12910 12907 12924 12922 12923 12908 12939 12931 12823 10212 10211 10209 9597 10210 10115 10116 8986 20956 13125 13116 13115 13113 13142 10297 10296 1592 1544 1591 1593 9690 9915 2573 2575 2574 12405 12404 12406 9914 9689 10471 10299 10298 10470 10469 10472 6458 6457 6456 6453 6289 6459 6455 6454 6452 21512 38669 24180 6544 5151 11506 11505 11083 11082 28171 28175 22647 22606 28215 28212 22636 28208 28156 7980 7968 7979 8427 7967 7978 28162 28185 28165 28132 28213 28169 28168 28164 28174 28210 24960 8438 8437 28195 28193 28201 28184 28198 28159 28194 28173 28167 28158 28196 28186 28192 28206 28204 28197 28188 24956 24957 28203 22638 24938 22632 22642 22625 22645 28216 28214 22644 28176 28211 28189 28202 22639 22646 22643 22641 24939 24941 28166 28172 28129 28130 28163 28170 28157 28131 28209 28205 28187 22616 22640 22637 28207 6446 6447 6448 6445 12418 13186 13057 9356 10224 9637 12010 12073 12009 11957 11958 12074 12378 12363 30926 8674 8568 8132 8134 8133 8131 8676 8576 8577 8673 8567 8575 24652 24203 11084 11507 5047 6260 6261 6262 6259 4685 6257 6256 6258 6263 10273 5169 5176 5162 4871 4874 5250 5248 5175 5155 5161 5154 5251 5177 4872 5249 4873 4885 13167 13050 13051 13165 12409 13166 12408 13047 13048 13049 12407 11519 9507 9506 10251 9412 10257 9413 9546 9545 10274 10252 9686 9685 11976 11974 11973 11977 11975 10256 21624 11260 11259 7388 11258 11255 11256 11257 6208 8221 11197 11202 8199 8222 11200 11201 8200 8228 11196 6395 6385 11204 6387 11205 6403 6397 11195 6388 11199 11203 11206 11194 6389 11198 6386 6396 6401 11207 6402 6404 17430 26085 25873 25857 25923 25872 25853 21663 26079 26088 26084 13450 13465 6662 6665 6663 6664 13394 6660 4684 7705 7700 17953 17958 5150 5149 4612 11136 11135 11525 11524 13200 11501 6543 6542 11054 11053 11081 11055 11052 11056 11051 11504 11080 6340 6595 6597 6596 6567 6560 6563 6562 6566 6564 6561 11168 11174 11500 11498 11464 11497 11460 11499 11465 11469 11461 11467 11466 11468 4773 11493 11496 11494 11492 11495 11491 6559 6558 8675 11502 11503 11308 11307 11517 11513 11512 11511 11516 11515 11514 6423 6424 6422 12203 6634 12204 12179 6633 6636 12178 13036 13042 13034 13035 13033 12382 12379 10999 11429 10998 10997 10986 11428 10993 11424 11421 11423 11422 10992 11426 10995 11425 10990 10987 10996 10994 11427 7668 7293 7277 20072 20107 32167 32170 32168 32169 30238 29972 10985 4972 4967 4971 4968 4966 4969 11108 11118 11522 11523 6557 11107 11119 11521 11520 11475 11476 11490 11488 11489 14393 14237 14248 14390 14245 14400 14247 14244 14238 14392 14391 14239 14246 33780 33576 31690 31771 31772 20554 24953 24936 24950 24981 25007 24937 24980 24951 24955 20555 20553 29328 22626 29325 29327 22144 20552 29324 24952 25006 24948 24954 24912 24913 20614 25037 25034 24110 25028 25010 20608 24982 20615 24993 20607 20611 20603 20616 24984 24983 20584 20610 24966 24967 24965 24959 20548 20612 20613 25027 24911 29334 25036 29333 25009 25029 24992 20609 20602 24968 29330 20619 24914 24942 24958 24943 24962 29310 24963 29322 29323 29312 29311 29317 29321 29320 29319 29318 29314 20605 29313 29331 29332 20618 29329 29326 25030 24985 25011 25031 24996 24995 25032 25033 24994 25008 20617 25035 20604 20596 29308 29307 24964 24961 11717 11886 7065 20206 29848 29855 29847 29854 28155 28154 24906 24904 24907 24905 24908 24903 7697 7698 8560 8558 8556 8559 8557 20550 20549 8105 8106 8555 8104 8103 8102 11093 11095 11094 11092 11091 29652 9286 21671 7068 7066 19959 19958 11417 11089 8101 8099 11086 8553 8554 20213 20208 20207 20204 20212 32563 32559 32560 32552 32555 32562 32554 32551 32553 32565 32556 32558 32542 32564 32557 32566 32561 8100 28182 28199 28190 28183 29838 29844 29843 29845 29839 28200 29846 28191 8434 8436 8433 8431 8432 8435 7970 7974 7976 7973 7977 7975 7972 8430 8429 7971 32518 29089 29077 29068 32318 32312 32319 32315 29067 32313 32320 32314 29051 29050 29079 29070 29071 29072 29069 29073 29078 29088 32317 11177 11178 11179 6443 6441 6442 6444 29841 29842 11170 11173 11169 11176 11175 18105 32534 32311 20540 32509 32303 20620 19993 31292 19994 19995 31294 21665 20000 19999 31549 31293 11306 4648 49846 49800 23153 23154 17761 17762 17758 14702 14701 15054 15057 15308 15055 15056 17412 17120 46396 46922 50620 47127 51117 50831 46921 39437 39626 38376 38377 39438 39625 47128 33675 33464 22877 22998 34139 46533 22876 46532 33961 34140 34141 34146 33006 26777 26778 26147 26148 33005 33321 33320 32840 33203 31601 31602 31329 31330 33747 33542 32017 30703 48317 32018 48385 47856 47810 49029 48658 32019 48657 30669 31153 31873 30952 30951 31151 30700 31107 31152 30834 31108 30654 30950 31106 31068 17732 49400 13884 13704 22469 22281 28858 28859 29802 22875 30141 30140 23293 22996 22995 29971 21621 21945 21944 21622 29765 23740 24612 31502 31229 28002 27558 27559 28003 22560 22359 34145 27857 28861 28860 17013 21227 48384 21226 4520 307 306 281 280 313 316 292 290 315 293 291 314 1344 312 126 130 119 131 411 121 114 118 405 120 410 406 412 124 129 117 396 125 122 128 397 394 393 395 398 408 407 404 409 401 403 402 123 116 127 305 297 300 277 274 311 279 115 283 294 285 276 278 303 272 286 273 275 302 310 308 289 284 298 304 301 309 163 104 287 288 299 282 296 3835 3815 3814 3812 3813 3836 136 3789 3811 20563 3880 15053 14700 20561 20562 6650 6643 17751 17753 17750 17752 111 112 110 107 108 106 113 2097 1939 2096 1943 1940 2099 2098 2101 2813 2100 2870 2869 2868 2865 2864 3879 3877 3873 3874 3875 3876 3878 3791 3794 3792 3793 37575 37574 37573 48397 50632 39634 48665 48666 39475 39516 48439 48440 39515 48483 47429 39474 48482 47428 50833 48726 48394 48725 39635 46928 48728 39472 50836 50834 50629 48667 39636 48398 39470 50883 46929 39633 50882 48668 50885 39471 50886 50631 50835 48395 39473 48729 50630 46926 23280 23284 12286 12462 12468 17660 17659 17664 18003 17644 17645 17650 17641 17654 17689 17651 17639 17663 17638 18004 17662 17642 17688 17666 17655 17649 17656 17665 17657 18022 17648 18023 18021 17999 17640 18020 17653 17661 18006 17652 17647 17643 17658 18005 16732 16814 16812 16811 16813 16878 16879 16810 17116 16940 15664 15663 16731 15416 15417 15841 15842 15738 15517 15516 15840 15737 15518 15519 15739 16002 17411 15594 15740 15843 15595 17409 16669 17408 17403 16276 16589 16588 16471 17222 17223 16472 16109 17401 17400 16591 16273 16590 17410 17402 16108 16275 16670 16274 16371 16668 16372 15514 15736 17399 16272 16587 49799 49845 49550 50830 51116 49297 50619 1242 1241 977 1019 952 984 1023 1072 1043 1083 1073 1082 1081 1077 1071 1079 1210 1075 1074 1078 1025 1011 1021 1009 978 985 1084 1026 956 1012 1190 1024 982 983 981 979 30139 33004 33319 33318 33003 1080 1020 1196 955 957 980 1195 954 1022 1018 1010 953 1085 16107 1076 16470 1194 14793 14523 14140 47809 14141 48223 47596 14624 47989 47389 14893 14625 14894 49028 47855 15662 15414 13976 14010 16877 16939 17221 16730 15307 14890 15153 15306 15304 15297 15296 14622 14623 15298 15305 16667 16370 15299 14891 14892 14522 14454 14792 1253 3810 3797 3798 17407 20983 15839 15593 1244 1243 12227 15152 3452 3453 3443 3444 3834 3046 14621 3492 3494 3493 14791 15295 3929 15151 3293 3307 3306 3294 13654 13652 13561 13653 13811 13812 13810 13764 3573 3286 3330 13651 3384 3379 3385 3378 3380 3381 10983 10984 13809 10982 11286 11287 10981 3788 3849 10719 10720 13560 13763 11280 11279 10124 49385 37159 37162 49389 3109 3108 10771 10741 10742 10772 10499 10528 10498 10529 11157 11156 11946 11947 11945 11150 11149 11944 3831 3871 3830 3872 3832 3826 3828 3122 3870 3833 3869 3829 3825 15311 11943 11942 10126 34138 34137 31600 31328 31599 31327 20123 29801 29800 30138 32016 32015 30948 28001 28000 27556 27557 27872 27871 27323 27324 27293 27864 27865 27294 23150 27870 27999 28856 28857 27337 27986 27997 27397 27398 27996 27985 27555 27554 27901 27900 27975 27974 27998 26145 26776 26775 26146 28585 28586 27873 27322 28570 28571 33744 22559 22558 22532 22533 27869 27321 22557 22531 22556 22357 22358 33745 33724 33743 33722 33746 33723 32228 33720 33741 22334 22555 20120 22356 32227 27552 27553 22529 22530 22554 32232 33721 33742 27973 27995 27994 27972 27898 27899 27992 27993 27423 27969 27422 27971 27970 20066 28584 28583 29377 29378 29379 27868 27299 27867 27300 28569 28568 27863 27862 27282 27281 27861 27983 27984 27378 27377 31105 30949 31104 48679 39459 48730 39458 39457 48438 46932 39644 46933 39645 50651 50840 50839 50652 50888 50887 50878 50676 50670 50674 50868 37403 46945 39484 46951 46946 50696 46947 50671 50897 39491 39513 39674 39713 39685 39489 39686 39488 39514 39688 39711 39675 39487 39677 39676 39687 39712 39490 39710 39486 39673 46952 46375 50869 46953 50876 50677 50675 50898 46377 39485 50673 37404 39666 46954 37041 39672 46376 50899 50672 50877 48425 48731 48437 39456 48678 48426 37040 14521 20976 20982 17741 7617 7614 7615 27280 27278 27277 27279 27292 27291 27290 26596 25739 25766 25767 26601 25738 26595 26602 25681 25680 26593 26594 17435 31567 31532 31566 31598 31326 31283 31325 31596 31597 31586 31324 31301 31595 31565 31323 31548 31564 31593 31594 31563 31531 31585 31282 31241 31572 31511 22499 22318 22546 33541 33540 33538 33539 29799 29798 29797 29796 22497 22498 31281 33506 33694 33737 22317 33520 22545 22544 22316 22302 33710 27954 22479 10486 10485 11148 11147 10480 10478 10479 11144 11145 11146 29781 29780 26014 20320 20081 29184 29183 29768 29766 29767 29182 29181 31584 31530 31573 31265 31520 31517 31515 31514 22300 20343 31262 29209 22488 29215 29214 19974 29778 33505 33736 29992 33693 30701 30702 31256 23785 23784 23809 23787 23810 23813 23777 23800 23783 23786 23812 29776 29774 29775 33465 30662 30664 30666 30663 30668 30660 30667 30661 30665 31258 31260 29794 29795 33518 32014 31896 31895 31992 31570 32012 32013 31897 31905 31994 31993 31963 31906 31891 31245 31244 31254 31251 31243 31253 31247 29080 29081 29219 29790 29220 29789 29218 29788 24016 20054 29212 31266 31268 31267 31252 31516 31261 31522 31574 31513 31255 19965 31519 19973 31521 31246 31264 31263 31518 31257 27319 27320 28552 28554 28553 28558 28559 28560 28551 28549 28557 28556 28555 28548 28547 15303 1660 27338 27339 27896 27897 27982 27981 20103 29772 29769 29771 25677 21116 27968 27991 27410 27990 27411 28582 28581 27859 27273 27274 27860 27276 27858 27275 27967 27987 27966 27989 27988 25765 25764 29777 27295 27866 14790 14766 14765 14764 21118 21117 21097 21098 25679 22289 22288 22286 22287 29791 29792 29230 29229 29793 31278 31290 20032 31286 33511 27965 33509 33507 33510 31287 31284 31288 20030 31285 20031 31289 22285 22283 20019 31271 31273 22284 22282 31277 31270 31275 31276 27980 27979 27977 27334 27978 27336 27335 27976 33502 33501 33499 33498 33500 33690 33732 33733 33689 31581 31527 33496 33497 27326 27331 27333 27327 27332 27328 27329 27330 23920 14789 11143 7230 14786 14785 4489 14773 14777 14776 14787 14788 14784 14772 14652 14783 14667 14778 14651 10477 14747 14709 14713 14748 14715 14754 14746 14714 14472 14711 14756 14710 14755 14758 14757 14712 31274 20018 33508 29228 22874 22873 28613 28852 28854 28612 22689 30136 30137 30135 30134 22872 28855 22871 30020 28561 28562 28567 1245 3141 27881 27396 27880 27393 27392 27879 27395 27874 27878 27875 27876 27877 27391 27390 1232 17995 17786 22678 3170 22688 22335 22340 22351 22347 22346 22348 22336 22352 22349 31503 22354 22350 22353 22355 22510 22514 22505 22508 22507 22506 22511 22504 22502 29193 22345 29786 29783 29782 29787 29784 22801 29194 22513 22344 22503 31538 31539 31537 22742 7233 22811 30051 22696 30049 30050 29192 22747 14139 13762 13558 14445 14318 17768 17754 17769 17763 17767 13808 13650 28539 28537 28540 28535 28536 28541 28534 28538 25695 25694 29575 29576 29558 29559 29570 29571 25736 29596 29597 25737 17994 17775 28579 28578 25748 27312 27317 25744 25745 25753 25755 25757 27318 28574 28572 28573 28575 27303 27316 27315 27310 25750 27302 25762 25763 27306 25747 26599 27313 25742 25749 27301 27309 28576 25751 27307 25743 25746 26600 27304 27314 25752 25754 27308 27305 25756 27311 31542 31541 31546 31317 31533 31543 31547 31545 31316 31309 31318 31308 31322 31320 31319 31544 31540 31314 31315 31321 33697 33696 33524 33525 33702 33531 33530 33703 33529 33701 33704 33706 33707 33533 33537 33708 33535 33534 33532 33536 33705 33709 33523 27550 27950 27547 27548 27952 27551 27545 27497 27496 27927 27926 27951 27546 27953 27498 27424 33528 33700 33521 33695 33527 33699 28610 22315 22314 22477 22478 22471 22472 22473 22311 22312 22474 22476 22313 22470 22475 21092 31569 31240 31236 31238 31571 31508 31237 31505 31504 31568 31507 31510 31506 31509 31239 22740 32238 33522 30025 30024 21115 22799 30097 27499 22802 22800 21111 26771 26772 26143 26773 26144 26774 26655 26654 26677 26678 26731 26730 25993 25954 25844 25843 25994 25955 26735 26614 26752 26615 26736 26728 28597 28598 26753 26727 20055 27432 27428 27431 28607 28608 28606 28615 28611 28609 30117 30106 30103 30098 30099 30119 30105 28814 28850 30104 28825 30133 28826 30100 28815 28851 30132 30101 30102 30118 28816 8152 8150 8151 21096 33983 34133 34135 34136 33982 34134 33981 22022 21982 22032 22009 21740 21690 22008 22031 22030 22007 21739 22029 23504 30033 7590 7589 9247 9248 26607 25821 25826 22687 28648 28619 11642 11657 11643 11658 7310 7311 7309 8870 9926 9927 8869 33975 33974 31890 31962 31889 31961 34084 34083 33962 11154 11155 8867 11656 9925 9924 11655 8868 22665 31883 31888 31887 31920 33679 30267 33470 33989 33990 33475 33726 33472 33677 30657 33725 33988 33676 31922 33985 33984 33986 31919 31921 33474 31925 30266 33678 30265 31924 33729 33473 33728 33987 31923 22702 22690 22701 22691 22699 22698 22704 22695 22706 22694 22703 22705 26608 25834 25840 22723 25837 26605 26729 26613 28623 28614 25804 22716 30030 22676 25769 25816 22677 25768 25771 22760 25776 25824 25777 25801 26612 25828 28621 22666 22709 22722 22726 22707 22725 22668 30061 22667 22728 25817 22759 30095 25823 22798 22797 26604 26606 25838 22761 28620 22727 26609 25842 22724 28649 25836 25832 25839 25835 25819 25814 25810 25831 25799 25773 25811 25827 25800 25798 25803 28716 30096 28617 28603 28651 28650 28618 30034 30026 30031 25796 30063 28768 30032 28767 28604 28717 30029 30062 30035 25770 25774 25772 25815 26603 25794 25778 25822 25797 25833 25820 25818 25829 46399 49622 37453 46400 49598 49623 49399 46397 37160 37455 37166 37163 49394 37167 37428 49401 37164 49392 37452 49599 49386 49621 37454 37427 37429 49393 37168 46398 37165 30249 30248 30252 30250 30251 30253 29187 29188 29189 29190 20318 20317 20321 20322 20319 20316 30445 28616 25809 25802 24106 28622 25812 26610 25825 26611 25813 25808 25795 25807 25775 21099 21114 33471 20080 7308 7307 10527 11285 11284 23942 23941 31884 33969 34053 20016 10497 10496 7304 7288 7305 7286 7300 7303 7278 7301 7287 7302 7306 17766 10526 10495 10769 10770 46394 47434 37153 49382 47627 37109 49335 37157 49574 49567 47436 37156 46341 37451 37154 47628 47477 47630 37353 47635 37051 49605 47613 46354 46395 47425 49337 47641 47421 47618 37380 47435 37450 37372 49396 37352 46338 49336 49397 47614 49383 39849 47427 47424 47395 47631 49338 47426 49555 49620 47634 47612 47481 47479 37426 49314 49313 49311 46336 37351 47616 46365 46343 47617 46364 46355 37381 49315 37155 47422 49619 37053 49566 37373 49604 49573 47636 47638 47478 37425 49596 47629 47640 49363 46337 37052 49395 46339 49597 46335 47423 37108 46342 46340 47637 47639 37158 37105 49554 37057 37106 44443 37107 49312 49553 48427 37059 49310 37063 48428 37058 20558 29302 29301 20560 20083 29304 29303 20082 20559 20557 17425 17427 17424 17423 17426 32461 11278 10729 10730 11277 10727 10728 10726 10483 10484 10482 11640 11641 11653 11654 11152 11153 11151 19963 19964 19961 30469 30296 30468 30319 30659 33968 33964 33967 28765 28766 28601 9921 8834 8833 8764 9919 9918 32438 32224 9920 19962 19960 28602 8765 31886 33970 34054 31885 22746 30245 30246 34007 24649 30255 34052 32011 30254 31904 20332 20327 29195 20325 20328 20076 29197 20314 20331 20333 29198 32177 32179 32402 32405 32159 32178 32408 32404 20330 29196 20329 20324 32171 32165 32176 32406 32175 32173 32158 32401 32409 32407 32410 32174 20323 20315 20326 20073 32398 32400 32160 32403 32172 33316 33314 33271 33273 33317 33315 33001 33002 33272 23803 24015 25901 24014 24011 23672 24013 24009 24012 24010 24008 32953 33251 32880 31089 30852 30866 33233 30914 31083 30912 33276 31085 31098 31099 32952 31096 33232 32879 33213 30910 32922 31088 31084 33277 31102 32921 21687 21689 22021 21969 21968 21662 21954 21661 21953 21688 21981 31103 31090 33282 30913 31101 30865 30867 33214 33301 30911 33302 31100 30947 33283 33252 31095 31310 30658 29991 30023 29983 29984 29979 29990 29989 30027 30022 29988 30002 29980 30028 34019 34020 30001 30019 31536 31535 31534 8832 8831 8787 8780 8788 8789 3126 12225 29779 22290 9336 10122 9309 10123 9310 9307 10127 31300 33734 31279 33691 33735 31529 33503 3827 9308 33504 19975 29211 29773 31291 33519 33512 33692 31280 31528 4636 7616 22543 22496 31583 22301 22495 31582 31269 9335 10129 9261 10125 9262 9334 9333 10131 10128 10130 2217 2215 2363 2364 2219 2213 2222 2224 2220 2361 2169 2173 2168 2194 2171 2170 2172 2199 2175 2174 2211 2204 2184 2205 2190 2360 2198 2218 2214 2196 2362 2223 2191 2195 2185 2200 2202 2203 2189 2216 2210 2221 2197 2201 2176 2212 13245 13244 13243 22333 33718 33740 33719 33739 22553 22528 11399 11398 10785 10842 10980 10843 10979 12285 4082 22542 12272 16988 16990 17012 14887 14889 17003 17011 17002 14858 14888 18007 16960 17010 16989 17009 16959 14876 14877 14863 14886 4451 18001 18018 18019 18000 18002 22332 22520 21088 21095 33712 31562 31591 31561 31592 6857 6211 13251 13267 13250 13261 13254 13268 13285 13248 6868 13255 13262 13269 13266 6856 13247 6855 13252 6828 13270 13257 13253 13264 8216 13263 13249 13265 13258 13260 13259 13256 13286 2772 2653 2520 2519 1552 1554 2636 1615 2652 1550 2637 2488 2516 2521 2522 2654 2417 2655 2444 2418 2445 10740 10738 10739 2696 2695 2690 2703 2701 2771 2702 2700 2824 2825 11932 11931 7149 6984 6974 12259 7142 7118 7117 11050 10639 11930 9275 9305 9306 9276 10721 11273 10724 11276 10723 11275 10722 11274 7218 1597 2517 2511 2689 10617 19753 19747 19752 19754 19761 11929 27402 27404 27407 23948 27400 27408 27406 27409 27405 22522 22523 22524 22526 22525 22527 33713 22552 22547 22325 22550 33715 33716 22548 33717 33738 22549 22324 22551 33714 10633 10636 7321 10635 10634 10637 10632 10607 10606 10638 10609 11048 11227 10648 11049 10640 10608 11045 11046 11047 11044 17677 17679 17678 6228 6229 7150 6227 7027 7115 7113 7114 7116 7031 10530 10548 10610 11031 11032 11030 10545 2512 1613 2513 1614 2518 2515 1553 22494 22541 20034 22320 22322 20033 22321 22323 2757 2765 2767 2723 2756 2755 11033 2769 10546 11029 10547 10544 4907 6831 11767 6830 11722 6845 6846 6852 6944 6829 6943 6853 20975 20960 20952 20955 20965 20973 20958 20974 20959 20961 20957 1700 2766 2770 2768 10977 10978 20954 20962 20964 20972 6991 6990 6985 10717 10655 10718 10656 10643 10653 10654 10642 10644 10641 7063 7078 7062 7077 6231 6210 14481 14482 7032 7481 7028 7588 8263 8262 8264 8265 7587 7480 7033 14483 14486 14484 14520 14485 13993 14519 14763 14762 14761 7040 7061 7056 7060 7057 7038 7037 7039 7035 7036 13940 5426 7055 7048 5429 7052 7053 5425 5427 7044 7051 5432 5428 7043 7054 7049 5430 7041 7050 5431 7047 14075 8876 14079 14080 14082 14086 14078 14077 14091 14138 14135 14360 14136 14137 14361 14081 14076 8875 17881 17874 15496 15501 15497 14074 7221 7865 25676 25678 4637 4634 4638 14866 4744 13401 16958 17001 16956 16998 17000 16951 16999 16955 16953 16952 16950 16954 16957 11393 11392 11394 11391 11395 11390 11397 11396 11389 6509 4672 6798 17877 17880 17876 14822 14857 6498 6497 13798 14802 14823 4774 14875 14821 14525 6493 14820 6494 14873 6496 14818 14819 14872 14874 6495 14870 14871 14813 6487 14814 14868 6486 6491 6490 14815 14867 14865 6492 14816 14817 6488 6489 14869 10823 10822 4791 15682 6363 15712 14856 15419 15418 15681 15420 15680 15713 14295 5166 4725 4726 4611 5148 4587 5147 14698 14672 14979 15051 15052 15050 14697 14699 14978 14671 4553 4555 4547 4556 4554 4550 6517 4557 4551 4548 4552 1684 13152 13157 13153 13158 13151 7046 7034 14753 13148 12614 12613 25806 6541 6540 17041 17114 17042 17045 17040 16701 16911 16910 16909 16937 16908 17115 17043 17044 16700 13149 14977 14976 3395 3394 14669 14670 14650 15048 15049 14696 14681 14987 14989 14988 14695 14981 11558 11552 11557 11559 6583 6582 11556 11555 6591 6580 6581 6590 15040 15037 15046 15042 11590 11586 15043 11584 11589 15045 15032 11583 11588 11587 15047 15041 11585 15044 6593 6592 6594 6538 6530 6539 6537 6531 6524 6532 4652 14688 14694 14658 14693 14657 14682 8505 14653 14668 14683 6536 14687 14684 14686 14656 14995 15003 6522 6523 11471 11487 6521 11486 6520 15038 15039 14606 6576 14607 14605 27401 8835 8836 9922 9923 3848 8318 7656 7657 7641 8317 7642 7655 7658 7640 7239 7238 7257 7242 8148 7260 7259 7243 7258 8149 7241 3787 1372 1459 1369 1460 1377 1368 1374 1373 1461 1376 1370 1362 1371 1375 4733 4731 4730 4732 4734 3532 4735 4798 4728 4429 4452 13289 13293 13291 13294 13303 4455 13297 13292 4453 13288 13296 4041 13295 7554 4450 13290 6847 4454 15421 15422 15423 8548 8092 8057 8056 7240 7235 7232 7234 7228 7231 10481 3415 7689 7677 7686 7669 7690 7675 7687 7676 7685 7688 7691 31551 31295 31296 31299 31555 31550 31297 31554 31298 31553 31552 8547 11639 11633 11634 7637 10725 7638 7639 8093 19980 30299 30298 20345 20352 20353 20354 20351 20348 20347 20356 20350 20349 20346 19982 20344 29210 30301 23998 23999 24001 24022 23997 23996 17432 17433 17431 24000 19968 24023 22291 19941 22481 22482 22485 22483 22486 22480 22292 27374 27893 22484 27888 27886 24679 27890 24678 27885 24676 27887 27884 23988 24673 31512 24674 27889 23992 22295 22294 24971 22297 22296 27370 27369 22299 22293 30066 31259 27365 27342 24021 33488 24143 33495 19967 33489 32695 21101 24020 33490 33493 25147 24065 32694 33680 33731 27367 33491 33683 24017 33492 21100 33730 33494 27364 27363 22298 27368 27891 27892 27883 23987 24675 27366 24680 24677 27375 27376 30300 27372 27373 27371 17434 19986 20357 20371 20373 20384 20372 20363 20358 20362 20361 20360 34057 31967 34055 28600 28599 28764 28737 28736 28763 31972 7237 7236 31971 22763 22796 22777 31973 31893 31989 22772 34080 34079 22795 22764 31991 33973 31988 33972 22770 22769 31894 22771 31969 31966 22793 31892 31990 22774 22773 34082 22794 34081 34058 34056 22778 22767 22776 31970 31968 22775 22768 7069 7067 7070 33515 27421 33517 33516 27420 27964 33711 27963 33513 24090 33514 20365 24693 24089 29235 29236 29213 29223 29217 30304 30305 30303 30302 30318 30317 19970 19990 20010 19992 19988 19989 20394 20392 19984 19983 20395 20409 20393 20043 19991 20009 20383 11928 11923 11922 20042 20408 30316 20391 20008 24075 24076 23932 32423 32424 32422 3389 23931 24100 24074 24077 24101 23928 32420 32421 32418 26035 27461 24153 27464 27481 27460 27463 27462 26682 32437 24024 32450 24102 32186 32452 32451 32430 32436 32193 32223 32428 24025 32194 32191 32419 32196 32190 32460 32192 19969 32188 32205 32453 32187 32204 19943 19947 24103 32189 19946 32449 32429 14674 14673 6345 6346 6347 6344 14678 14677 14675 6349 14676 14980 6348 14679 29224 32195 29216 19944 24019 24018 21668 19981 21102 19985 20355 20359 22487 14680 33682 32693 33681 19942 28542 28543 28545 28544 28577 28550 28546 23889 23894 23890 23891 23895 23892 23893 25741 25740 13597 13598 30094 30067 30064 30073 30093 30076 30078 30075 30071 30077 30079 30074 30065 30069 30068 30072 30070 30092 32222 32203 32459 28853 20077 25841 12284 28114 21218 21219 25113 22594 25112 23131 23130 28533 22279 22593 21185 20309 27660 27856 27659 23204 28532 20310 19928 21184 19930 28115 25072 25073 27272 27271 23194 23193 22467 22468 22280 27574 27572 27573 29764 27733 27057 27734 27026 27727 27056 27027 27726 29970 32141 33463 33674 33462 33673 23291 29384 29385 25083 29411 29410 22092 21804 22091 29635 29048 29285 29455 29701 22389 28016 28015 18275 22465 28530 23050 23092 28528 28529 22277 23435 23488 27850 27851 27852 22255 27853 28526 28347 12252 12251 12250 12256 12254 12255 12253 23087 19932 23426 23430 23429 23427 23428 23425 32394 32142 32643 32689 33202 32839 33960 27561 23127 23129 23128 25109 25110 25111 33779 33575 27637 27635 27636 27638 23203 27754 27845 27828 27831 27834 27847 24575 24500 24447 24499 24443 27830 27846 27842 27832 27829 23411 27848 27844 24445 20224 24446 27841 27849 27833 27843 27840 21144 24370 24748 24747 27657 27655 26786 26785 27658 26871 26870 24897 24898 27656 28527 28350 28348 24371 28349 27013 27724 27014 27725 10840 10837 10841 10835 10838 10836 18278 22454 27269 27270 27854 22455 27855 27811 22453 22466 27810 22451 27798 27797 22452 18276 27267 27268 29176 29175 23192 29120 29114 18282 23229 24511 23072 23028 28531 22902 22903 28969 22993 22994 21152 27178 24252 21172 21183 23113 23112 1872 1870 1868 1881 1867 1871 1865 1869 1873 1859 1856 25108 25107 23109 23084 23085 23111 23099 23103 23094 23097 23096 23098 23108 23107 23104 23093 23110 23089 23086 23091 23101 23102 23106 23105 23090 23100 23088 23095 23033 23026 23025 23029 23030 23027 23032 23031 21177 21173 21181 21176 21182 21178 21175 21174 27176 3438 3439 3440 3437 3436 3499 3500 1880 27055 27732 27054 27731 27730 27729 27033 27032 2311 2317 2316 1851 1852 712 755 744 716 28268 28269 28283 28284 28282 28281 2299 2300 2011 2063 2031 2013 23212 23213 23329 27022 27017 27021 27018 27016 27015 28004 27560 28266 28267 28279 28280 25143 25135 25141 25139 25144 25140 25134 25142 26298 26151 26158 26157 26299 27006 26779 26149 26150 27728 27008 27028 27007 27723 27722 27721 27005 27720 27757 25402 27750 24451 22443 22440 22433 22435 27793 27775 24460 24461 27789 22434 24476 22448 27777 27226 22444 22447 27751 27794 22450 13238 13237 24475 22446 24532 27788 27761 22449 27791 27756 27781 27752 22437 27759 22432 27776 27796 24444 23175 23170 27219 23376 27208 27209 27210 27216 27211 27215 27225 27218 27755 27778 24512 27221 27217 27786 24448 27758 27784 22442 27792 24450 27753 27780 22436 27783 22441 24449 22429 27785 27782 27223 27224 27212 27227 27214 27222 27779 2030 2246 2105 743 754 753 731 718 677 717 745 56 746 666 715 2038 2007 2052 2040 2021 2037 2064 2023 2022 2065 2018 2009 1996 1906 2318 13242 1982 1980 1981 1983 2239 2242 2241 2308 2240 1985 1950 1976 1979 2017 2235 2309 1986 2243 2236 2310 2016 2012 1850 2249 2290 2036 2060 2059 2061 2250 1994 1995 2028 2291 2051 1993 2039 1992 2293 2010 2298 2062 2292 1849 1984 1877 26155 26156 2429 2441 2440 2443 2428 2442 3045 27019 27020 1878 1876 3179 3180 3181 29968 29969 18283 29967 29950 29964 28346 29951 29966 28517 29955 29949 29962 22900 19782 28494 29947 29953 28518 28525 19763 19765 19764 19766 19767 19780 19781 23704 29963 29965 22901 19741 29948 29952 29954 22899 29957 22897 29956 29958 19742 19743 19762 29959 28519 29961 28524 28523 17703 17692 17699 17714 17707 17691 17704 17700 17693 17710 17702 17697 17695 17694 17698 17708 17696 17706 17705 17709 17701 17713 17828 18087 17827 17826 17830 17831 17843 18089 18088 18086 17821 17842 17829 17819 18098 17820 17825 17824 17822 18099 17832 17823 18097 30143 30142 23117 23115 23116 23118 23119 23122 23120 23362 23360 23359 24426 23372 23371 23739 23375 24611 23374 24428 24427 23373 23346 23347 23345 23348 23344 23343 23290 23289 23261 23260 23262 29375 29376 29552 29551 23272 28935 28978 28934 28895 23168 23167 28276 28277 27052 27053 28257 28258 28894 28968 28893 28887 27024 27025 31872 31871 31067 30833 30653 28886 28878 28885 30698 30699 30440 30234 33201 32642 32688 32838 31501 31227 31228 31500 32393 32140 6271 6270 6266 6268 6310 6269 6267 6311 6508 6265 26589 4521 7203 7202 7631 7624 7622 22278 22257 22464 25185 25186 25189 25187 25188 20307 19926 19870 18482 19740 18792 18679 18793 19370 18680 19371 18483 20187 20294 24607 24608 19571 18481 19465 19570 28112 28113 19466 19467 19738 19739 26784 26783 28957 28956 28960 28955 28958 28982 23674 23675 7294 17780 17781 17779 17776 17778 17777 10760 10765 10764 10756 10767 10768 10755 10762 10759 10761 10766 10758 10757 29023 29018 29019 33461 33460 33670 33672 33671 28493 22896 28492 22895 25666 25667 26588 25198 25199 25234 25232 25233 25235 19801 19854 17765 17764 6684 25170 25172 25173 25164 25167 25171 25169 25168 28977 11902 11921 11920 11901 11895 30170 29020 11896 29014 31334 31174 31336 29015 29152 29013 31335 29017 29012 29016 28976 7625 29760 29738 29762 31226 31473 29739 31474 31498 31497 31496 31475 31467 31499 29761 31481 29763 29746 33646 33639 28933 28932 28975 28974 28970 33647 33669 25129 25200 25201 25130 4729 6264 19569 19567 19568 20514 20515 29960 2015 28959 29819 4650 7591 7595 27266 27258 27259 27265 3701 11918 11919 1948 1949 22248 22253 27264 27263 22254 22247 22251 22249 22243 22256 27262 27261 27260 27254 27648 27257 23679 23712 27650 23680 27253 24349 27649 24348 23678 27652 23711 27654 27255 27653 27651 27647 27256 27646 22372 22370 22369 22462 22367 22463 22244 27249 27250 27252 27645 27644 22373 21129 27251 22250 23710 23649 23677 23121 23123 23708 23190 23124 23191 23169 23648 23676 23709 23412 22252 21136 32139 29142 29143 29171 20297 20298 20308 19927 20306 32390 29172 32391 32392 32372 32373 32364 29174 29173 32138 20296 19820 32389 32371 32110 29150 32382 18677 18413 18341 18605 18414 18340 18604 18678 18550 18551 18342 7592 18602 18412 18411 18603 7205 7208 7204 7207 7206 1360 1361 1358 1357 1359 1356 1912 1913 3572 3700 19783 7634 7635 7636 22987 7632 7633 22978 22981 22989 22979 22972 22980 22991 22974 22973 22977 22971 22970 22975 22976 32130 32137 32359 32362 32363 32360 32361 32124 32125 32129 32123 49398 29040 29043 29036 29170 29044 29041 17730 16773 16774 16809 16994 16742 16995 16944 16741 16991 7628 29699 29700 29817 29688 29816 29818 16737 16736 16738 16739 16735 16734 29039 32388 32116 32118 32383 29037 32119 31204 31203 32115 32122 29038 32358 32120 19772 32114 32121 32357 32136 29141 19786 27229 32117 32128 23018 29035 23019 29169 32387 31201 29042 32113 32112 25316 32111 22517 22328 22519 22331 22329 22516 22330 16772 17728 19785 19789 19818 19787 20289 19771 19790 19768 19784 18281 19798 19770 19788 19795 19794 19792 19791 19773 20290 20304 20292 20295 20299 19799 19800 20293 19819 20291 19793 20305 17715 17729 22518 16943 16992 16942 16945 16740 16743 26391 26392 34209 34211 34210 33959 26386 26385 22990 22992 22988 22968 22969 31160 10763 23080 10751 10752 10753 10750 23079 10749 23075 10754 23076 23074 23081 23077 23039 23073 23078 23082 21168 23083 3512 3533 3511 27049 27050 27051 28272 28274 28271 28273 27046 27043 27042 27045 27047 27044 25217 25209 25212 25215 26390 25231 25230 25216 26389 25213 25211 25214 25210 27048 7682 23297 3329 3328 3285 3324 3323 3281 3282 3278 3280 3284 3276 3274 3327 3326 3325 3277 3283 3275 22258 19914 22878 22881 22879 28399 28412 23163 28411 23166 23165 23164 27138 33650 22275 22267 33565 29740 29741 27201 27202 27195 27196 22382 27197 27199 33649 29744 29745 27808 27809 27807 22271 29742 22273 22270 22272 22259 22276 22381 22268 22383 22376 29743 19912 19920 33564 33563 33655 22385 22274 33654 22386 33657 22384 33559 33562 33548 33558 22908 33560 33561 33557 32746 33407 22261 22905 22906 22907 27190 27189 27198 31478 31472 31347 31477 31470 31352 31471 31480 31188 31167 31183 31479 31469 31343 31332 31346 31333 31345 31344 33554 33551 33556 33552 33412 33550 33555 33549 33553 31182 31170 31168 31169 31175 31171 31173 31179 31172 31180 22262 31177 31176 22377 22260 31187 31351 24567 24566 22744 33526 21720 21708 22814 22815 22816 22813 22807 22803 22806 22808 22809 22840 22817 22818 22820 22839 22870 22822 22821 22869 22838 21705 21707 22810 22686 22681 22683 22684 22682 34089 27169 31342 27166 27185 27155 27184 27167 27074 27183 27181 27075 27156 27180 27154 27186 31338 31341 27168 31339 31340 27164 27165 31337 27179 28376 28397 28351 28381 28396 28395 28398 28377 28378 28380 28371 28410 28390 28405 28393 28391 28387 28370 23692 28362 28400 28394 28389 28366 28365 28367 28368 28403 28360 28364 28401 28409 28375 28406 28374 28402 28407 28363 28369 28361 28408 24514 27145 28392 28388 28404 34099 34111 34110 23737 23620 24609 24610 23738 24568 23619 24569 27205 27206 27203 27204 33653 28229 22819 34096 34095 21993 21991 21992 22000 21723 22005 21999 21990 22812 21715 21714 34094 34092 34093 27192 27193 27194 27023 28230 28236 28232 28235 28233 28231 28234 33642 33645 32619 32593 33644 33643 31348 31184 31185 33431 33430 33427 33428 33435 33429 33436 33433 33432 33434 33648 27802 27805 31468 31476 33408 22918 33420 33425 33423 33424 33419 19915 31186 31190 31192 31191 31189 32282 27803 27804 28890 28892 28888 28889 28883 28891 23292 23296 23295 23298 23304 23299 23294 23303 23300 23301 23302 28880 28259 28884 28260 28265 28881 28882 28879 23273 23285 23283 33409 27188 33652 33426 27153 27191 33656 27806 27200 21900 22880 28372 28382 28379 22269 22380 27182 23393 31181 31178 27187 27011 27012 27010 14534 14577 14576 14535 14620 14532 14531 14800 14862 14860 14859 14799 14801 34100 34090 34098 34132 34097 21719 22028 21738 21737 21736 21706 21725 22343 20098 20097 20096 22500 22501 20095 22342 33698 20086 22341 20087 20094 20093 20085 20091 25692 25693 29561 29565 30047 30048 29563 29560 29564 25732 25731 25730 25735 25734 25733 31880 33976 33977 33978 33979 34091 33980 21735 21704 22027 21717 21721 21722 21716 23969 21987 21955 32957 21674 20088 20089 20090 20092 21989 21988 21994 22006 21724 21995 22001 33486 33487 33482 33485 33481 33483 33476 33480 33484 32692 33479 27362 27350 27357 27356 27358 27351 27355 27349 24064 3312 3346 3279 3345 5667 6000 5665 5641 5640 5991 5642 5992 5993 4727 5663 6001 25165 5619 5716 25166 5664 14529 14533 5666 5717 14861 14798 14530 14575 14797 13964 24063 23991 23990 24054 27345 24006 31242 31248 27341 27343 27344 31249 27354 33478 23970 24060 27353 23982 23983 24002 24151 24004 27348 23984 33477 24059 24052 23989 24670 24005 24053 24051 24003 24058 23971 27347 24061 24671 26383 26384 27360 27346 27359 23972 24672 27361 31250 27340 27352 21956 21984 21986 21985 26022 26023 26021 26056 26073 26122 26141 26025 26099 25999 26121 26101 26058 26057 26024 26100 26098 21983 29649 26094 26758 26770 26763 26756 26762 26754 26769 26761 26052 26760 26053 26755 26759 29577 29579 29586 29587 29594 29580 29595 29578 32988 32975 32989 32974 33000 32960 32959 26072 26074 26075 32962 32961 32970 33313 33307 33304 33306 33259 33266 33270 33254 33260 33253 26017 26018 26019 26020 26054 26055 26051 25919 26757 26097 26071 26070 25918 25920 26095 26096 32973 33257 33258 32972 21711 32971 32967 33303 32966 32968 32965 26702 26704 26696 26697 21712 21713 21670 21718 33256 26016 28905 28896 27030 26059 26634 26078 26061 25997 25998 26028 26700 26720 26699 26708 26726 26694 26689 26688 26091 26693 26049 26705 26707 26050 26692 26703 26086 26087 26695 26090 26093 26048 26691 26690 26092 26089 26077 26030 26027 26725 26719 26701 26698 26706 25996 26076 26026 26029 26060 33305 30890 21676 33265 32958 21710 26010 33255 27031 27495 27437 27925 27544 27949 27542 27543 27436 27500 27506 27429 27435 27505 27433 27502 27504 27507 27430 27503 27434 27426 27494 24972 27425 27513 24987 24986 27538 27931 27537 27929 27940 27520 27524 27536 27535 27944 27938 27523 27518 27930 27519 27539 27928 27533 27937 27945 27521 27541 27941 27924 24136 27427 27501 27441 27510 27512 27442 25012 27439 27440 24976 27438 26683 27923 27446 27919 27920 27488 27492 24989 27469 27921 27903 27933 27932 27467 27468 27935 27466 27916 27482 27483 27487 27908 27458 27909 27465 27454 27911 27486 24140 27459 27455 27902 27485 27906 27905 27910 27907 27457 27904 27447 27443 27922 27918 27913 27493 27491 27914 27450 27489 27912 24988 27470 27444 27490 27915 24975 23281 23282 23286 27943 27516 27511 27946 27514 27515 27540 27947 27939 27936 27942 27948 27517 27917 27484 27508 27480 27479 27934 27456 27534 26586 26587 26585 25303 25298 25302 25301 25613 25664 25614 25396 25395 25665 26584 26497 26498 26518 26536 26489 26490 26552 25297 26537 26517 26520 26553 26519 25375 26181 25373 26183 25374 25371 26182 26528 26527 26523 26172 25269 25304 25267 25300 25299 25280 25279 25277 25276 25278 25337 25376 25378 25377 25379 26486 26526 26488 26484 26525 26487 26485 26524 25295 25296 26532 26491 26533 25392 26495 25382 26531 25381 25305 26481 26483 26521 26482 26522 26169 26170 26171 26168 25268 25236 19918 19919 19923 19913 19916 19917 21170 21169 21217 19924 25262 25264 25261 25260 21584 21567 21562 21570 21574 21572 21573 21568 21566 21585 19824 19823 21581 21583 21559 21582 21586 21590 21589 21565 21563 21620 21942 21943 21934 21933 25197 25196 19921 19922 25309 19901 20182 25310 20183 19925 21216 25351 25306 25352 25354 25311 25312 25336 25353 25307 25367 25356 25368 25355 25370 25335 25369 25348 25372 25334 26176 25332 25333 25153 25331 25366 26177 25152 26180 25347 25154 25145 26165 21617 21618 21619 21591 21932 25388 25386 25387 19746 25716 25715 25714 25704 21553 21564 10969 10936 10939 10938 10885 10884 10967 10968 10937 10940 10966 10924 10922 10890 10889 10923 10925 10879 1676 17785 17782 17784 17783 11631 11646 11650 11647 11645 10521 11603 10522 10520 11604 11651 10519 10516 10525 10518 10514 10515 10524 10523 10517 11648 11632 11610 11609 11628 11630 11627 11629 11937 11936 11939 11940 17690 17687 17675 17683 17681 17680 17673 17674 17671 17669 17672 17668 17682 17686 17670 30059 22661 22657 30057 28820 28819 28821 30058 30045 30054 30056 30060 30046 30053 28822 28824 28823 28817 28659 28715 28712 28818 28596 28714 28595 28713 30052 30055 30044 22658 22664 22659 22662 7939 11607 11608 23387 11933 11934 11935 9283 8815 9284 9322 9278 9295 9323 9319 9317 8795 9332 9315 9326 9314 9277 8814 8794 9281 9311 9318 9321 9324 9320 9312 9280 9292 9279 9313 9316 8793 9294 9293 9331 9325 11897 11898 11899 11900 9258 23384 25391 27177 25293 26530 21571 1879 2008 2014 2041 1848 25390 27787 1354 24459 27795 27790 25265 26493 26535 25266 25292 25294 25385 25393 26534 25263 23572 2029 26496 26529 26492 26164 25384 25394 26494 25380 25389 25383 23386 23691 23388 27213 22445 24706 27220 27207 11623 11624 11626 11625 8850 8848 8847 8844 8846 8849 8845 11915 11917 11916 11913 11910 11912 11909 11914 11908 22745 22758 22748 22756 22753 22755 22750 22739 22754 22751 22741 22757 22752 22743 22738 22749 1576 4649 25069 25070 25071 27009 23263 23267 23265 23264 23266 32674 21171 19864 19867 19865 19866 19871 19868 19861 19869 19862 28489 28488 22883 22886 22884 22882 22891 22892 22894 28490 22887 22885 28491 22893 28254 28275 28250 28252 28251 28256 28253 28249 28255 28243 25063 25065 23326 28239 28241 28238 28240 28242 27566 28246 28247 28245 28237 28244 25062 25066 21159 25101 25052 25061 25103 25100 25104 25054 29942 29939 29941 29943 29935 29934 29933 24520 29944 29908 29932 29940 29946 29911 29929 29907 29909 29906 29931 30232 30832 31066 28875 28877 28873 28874 30652 29937 29930 25064 25060 29936 29945 29910 29938 29912 25102 25059 25067 25057 25068 25055 25056 24424 23306 23322 23307 23323 23321 23305 23324 24425 25106 25105 25058 28413 28455 28454 28452 28450 28453 28451 28449 28448 32082 32275 32381 32277 32276 32274 20174 32268 20176 32271 32267 32273 32272 20179 20178 20177 20180 32090 32089 19814 19897 19898 19900 19899 32109 32086 32083 32084 32088 32087 19895 19856 19893 19894 19896 32079 28486 28487 19860 28485 19802 32067 32061 32108 32369 32065 32380 32260 32370 31629 32265 31625 32262 32263 31624 31627 32264 31628 31626 32261 22890 28456 22889 22888 1674 29022 29149 29025 29148 29024 23363 31613 32091 20175 20173 32066 32092 32269 20172 19872 32270 32085 24062 26142 1843 1841 1842 2412 2411 2414 1947 16808 2420 2422 2697 2426 2423 2421 2425 2699 1944 1937 1941 1934 1945 1935 1942 1936 1946 28009 28013 28014 28008 28010 28011 28012 27569 27568 27567 27562 27571 27570 27565 22388 20181 27640 27634 27642 27639 27641 20185 21803 24893 24896 24895 24894 26781 26782 24745 24741 24746 24744 24742 24743 26154 26153 26152 2419 2424 2698 2436 2435 2430 2438 2431 2432 6292 14527 6290 14528 14794 14524 14795 14796 14526 16976 16966 16801 6296 16975 16965 6301 16793 16800 16971 16797 16963 6305 16798 6298 16803 6302 16964 16972 16967 16970 16792 16987 6507 16795 16804 16973 6308 16806 6303 16969 6299 16794 16799 6309 16961 16968 16802 6307 6300 17008 6297 16962 16807 16805 16796 16789 16974 6304 1926 1927 1931 1929 1932 1916 1930 1933 1928 1915 12007 12008 14619 18072 18073 17940 6646 13363 11982 11980 11981 11978 11979 6295 6294 12001 11988 11987 12002 11999 12005 11986 12006 12000 12003 12004 17927 17923 17926 17924 18059 17928 18070 18064 17938 17925 17936 18065 17939 18096 17929 17937 17921 18095 18071 17917 17919 17918 17920 17922 29683 29685 29686 29687 29684 29682 33641 33640 28906 33651 21587 21588 5062 4790 4799 5063 28111 28110 22591 22592 22590 22589 22387 32365 32098 27139 33778 33568 33574 33566 33567 31686 31687 31353 31356 31685 31688 31375 31377 31355 10944 11350 11351 11352 10945 10946 10949 11354 11357 11358 10965 10964 11356 10962 10947 11353 11355 10954 10955 10956 10942 8616 8650 10958 10941 10960 10929 8649 10959 8617 10883 10943 8651 10882 11326 10911 11330 11336 11328 10906 10908 10910 10919 10886 11334 11335 10918 11333 10901 10875 10953 10951 10952 11324 10903 10902 10871 10874 10887 11332 7899 10905 10921 11325 10917 24803 24806 24800 24802 24804 24805 24801 24859 24310 24308 24309 24307 24306 24768 24769 20425 20427 20426 20428 20421 24767 24770 24766 24765 24847 31350 31376 31689 31354 24590 24604 24606 24589 24605 24603 23626 24836 24837 24833 24830 24835 24834 24832 24585 24858 24861 24857 24863 24892 24890 24873 24872 24891 24889 24838 24586 24871 24587 23489 24869 24870 24588 23517 24831 24868 24864 24866 24855 24867 24865 24856 24818 23487 24580 23518 24576 24581 24578 24579 20513 20512 20496 20510 20506 20508 20497 24852 24369 24368 20471 20444 20473 20472 20447 20476 20445 20475 20474 20429 20446 20477 24850 20184 24828 10963 10872 11359 10961 10907 8657 10873 10893 10920 10909 10876 10877 10957 10950 11329 7895 10881 11327 10878 8656 10904 24583 20507 20509 24577 24584 20498 24829 23519 24582 20511 24851 24312 24854 24853 24503 24860 24311 24808 24780 24811 24487 24807 24796 24798 24815 24782 24773 24809 24799 24781 24817 24783 24813 24814 24795 24816 24810 24779 24334 24761 24465 24366 24771 24336 24367 24335 24343 24772 24342 24812 18480 19464 13703 13883 19566 18456 13677 13678 18455 13842 19450 19451 13841 24305 24862 24849 12465 12463 12464 12609 4558 12607 12608 12612 12610 12606 17961 17960 28099 28109 22581 28087 28084 22585 28092 28052 22569 28102 28095 22586 22568 28104 22565 22573 28090 28094 28086 28096 28088 28049 28054 28103 22570 28051 22580 28089 22571 28055 28053 22588 28105 28107 22572 28101 22578 22587 22579 28050 28091 28093 28056 28106 28100 28098 22576 28097 28057 22577 28085 28059 28108 9684 9663 9429 9603 9641 9683 10278 9618 9617 9430 9606 9642 9570 9605 9643 9640 9602 9664 14236 14398 14399 33569 12469 12466 12467 25127 25124 25128 25125 13702 13881 13882 13701 17846 17848 18042 17852 17851 18057 17892 17863 18028 17850 17889 18040 17891 18033 17853 18058 17890 18032 18041 17893 17864 10807 16758 16759 10819 10817 10818 10820 10805 10804 10806 4767 4769 4768 4766 6632 12168 12169 6631 6630 25193 25190 25192 25194 25195 25191 23368 23369 23365 23366 23367 23364 23370 25176 25175 12167 16757 11305 16948 16946 16949 16947 13576 13577 13575 13574 13578 13579 13768 16771 16760 16762 16763 16761 16756 13625 13626 25174 25163 8170 11323 10900 11331 10916 11348 11347 11349 10897 10895 10912 10898 11322 11319 11320 10896 10914 10913 10915 11321 10899 11989 11990 11993 11992 11991 8801 8800 8866 8865 8851 8852 11619 11620 11621 19463 19462 19565 19564 4717 4788 4736 5060 5061 4786 4789 4787 10821 18479 18478 30439 22804 22805 8947 8974 8988 8987 9720 9246 9195 9245 9015 9016 10081 10065 10066 10114 10027 10047 10046 10026 10082 10113 9194 8990 8994 8976 8989 8991 8995 8993 8959 9717 9723 9722 9721 8998 8999 10056 10057 10016 10017 10015 10055 8996 8961 10013 10054 10053 8997 8960 10014 10064 10062 9012 10021 10023 10024 10025 10022 10063 10061 9013 9014 9005 8975 9009 9011 8946 8973 8971 8958 9010 9007 9008 8944 8942 8941 8992 9006 8972 8945 30037 30036 28658 30040 30041 28657 30039 30042 30043 30038 9716 31952 31946 31951 31881 31954 31955 31959 31958 31956 31957 31960 31953 31882 31948 31949 31947 31875 31874 31876 31950 31877 31878 31879 34045 34044 34051 30559 34040 30562 33963 30560 30561 34050 34049 31942 33837 33836 34041 34042 34048 34047 34043 31945 31944 31943 34046 11605 11606 11855 11878 11879 27416 27417 27415 27418 27419 27413 27414 27961 27960 27957 27962 27956 27958 27959 27955 22327 22515 20002 20001 7594  0
684.18/684.27	
684.18/684.27	c Core has size 13284

OK	13284

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-3501506-1308042125/watcher-3501506-1308042125 -o /tmp/evaluation-result-3501506-1308042125/solver-3501506-1308042125 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501506-1308042125.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.50 4.79 2.52 6/187 18402
/proc/meminfo: memFree=29001528/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=17600 CPUtime=0 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 1651 0 0 0 0 0 0 0 25 0 1 0 915811178 18022400 1179 33554432000 4194304 4365125 140736441550976 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 4400 1179 253 42 0 1548 0

[startup+0.0265929 s]
/proc/loadavg: 4.50 4.79 2.52 6/187 18402
/proc/meminfo: memFree=29001528/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=18392 CPUtime=0.02 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 2534 0 0 0 2 0 0 0 25 0 1 0 915811178 18833408 1638 33554432000 4194304 4365125 140736441550976 18446744073709551615 242970550016 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 4598 1638 253 42 0 1746 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18392

[startup+0.100578 s]
/proc/loadavg: 4.50 4.79 2.52 6/187 18402
/proc/meminfo: memFree=29001528/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=28344 CPUtime=0.08 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 6421 0 0 0 8 0 0 0 25 0 1 0 915811178 29024256 3806 33554432000 4194304 4365125 140736441550976 18446744073709551615 242970247637 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 7086 3822 264 42 0 4234 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28344

[startup+0.300545 s]
/proc/loadavg: 4.50 4.79 2.52 6/187 18402
/proc/meminfo: memFree=29001528/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=26944 CPUtime=0.29 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 7224 0 0 0 28 1 0 0 25 0 1 0 915811178 27590656 3463 33554432000 4194304 4365125 140736441550976 18446744073709551615 4257412 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 6736 3463 262 42 0 3884 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26944

[startup+0.700476 s]
/proc/loadavg: 4.50 4.79 2.52 6/187 18402
/proc/meminfo: memFree=29001528/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=31020 CPUtime=0.69 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 8768 0 0 0 68 1 0 0 25 0 1 0 915811178 31764480 4582 33554432000 4194304 4365125 140736441550976 18446744073709551615 4275306 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 7755 4582 262 42 0 4903 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31020

[startup+1.50034 s]
/proc/loadavg: 4.46 4.77 2.53 5/188 18403
/proc/meminfo: memFree=28979252/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=44828 CPUtime=1.49 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 16670 0 0 0 147 2 0 0 25 0 1 0 915811178 45903872 7150 33554432000 4194304 4365125 140736441550976 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 11207 7150 262 42 0 8355 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44828

[startup+3.10107 s]
/proc/loadavg: 4.46 4.77 2.53 5/188 18403
/proc/meminfo: memFree=28960652/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=77760 CPUtime=3.09 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 50215 0 0 0 303 6 0 0 25 0 1 0 915811178 79626240 15729 33554432000 4194304 4365125 140736441550976 18446744073709551615 4247605 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 19440 15729 262 42 0 16588 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77760

[startup+6.30051 s]
/proc/loadavg: 4.46 4.77 2.53 5/188 18403
/proc/meminfo: memFree=28876688/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=371940 CPUtime=6.29 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 161248 0 0 0 612 17 0 0 25 0 1 0 915811178 380866560 54935 33554432000 4194304 4365125 140736441550976 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 92985 54935 262 42 0 90133 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 371940

[startup+12.7004 s]
/proc/loadavg: 4.39 4.75 2.54 5/188 18403
/proc/meminfo: memFree=28811732/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=217284 CPUtime=12.68 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 210854 0 0 0 1246 22 0 0 25 0 1 0 915811178 222498816 46937 33554432000 4194304 4365125 140736441550976 18446744073709551615 4311296 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 54321 46937 264 42 0 51469 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 217284

[startup+25.5002 s]
/proc/loadavg: 4.33 4.72 2.56 5/188 18403
/proc/meminfo: memFree=28790772/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=277056 CPUtime=25.49 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 264262 0 0 0 2521 28 0 0 25 0 1 0 915811178 283705344 54298 33554432000 4194304 4365125 140736441550976 18446744073709551615 4267865 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 69264 54298 264 42 0 66412 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 277056

[startup+51.1008 s]
/proc/loadavg: 4.29 4.68 2.60 5/188 18405
/proc/meminfo: memFree=28798728/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=283536 CPUtime=51.09 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 384991 0 0 0 5067 42 0 0 25 0 1 0 915811178 290340864 58159 33554432000 4194304 4365125 140736441550976 18446744073709551615 4262087 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 70884 58159 264 42 0 68032 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 283536

[startup+102.307 s]
/proc/loadavg: 4.11 4.56 2.68 5/188 18405
/proc/meminfo: memFree=28650272/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=532292 CPUtime=102.29 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 834105 0 0 0 10135 94 0 0 25 0 1 0 915811178 545067008 83053 33554432000 4194304 4365125 140736441550976 18446744073709551615 4267696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 133073 83053 264 42 0 130221 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 532292

[startup+162.301 s]
/proc/loadavg: 4.23 4.51 2.77 5/188 18444
/proc/meminfo: memFree=28615880/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=435120 CPUtime=162.29 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 1325713 0 0 0 16077 152 0 0 25 0 1 0 915811178 445562880 78562 33554432000 4194304 4365125 140736441550976 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 108780 78562 264 42 0 105928 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 435120

[startup+222.3 s]
/proc/loadavg: 4.14 4.43 2.85 5/188 18446
/proc/meminfo: memFree=28171928/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=414336 CPUtime=222.28 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 1789862 0 0 0 22025 203 0 0 25 0 1 0 915811178 424280064 89634 33554432000 4194304 4365125 140736441550976 18446744073709551615 4317013 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 103584 89634 264 42 0 100732 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 414336

[startup+282.301 s]
/proc/loadavg: 4.05 4.35 2.92 5/188 18450
/proc/meminfo: memFree=28026580/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=571448 CPUtime=282.28 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 2384114 0 0 0 27959 269 0 0 25 0 1 0 915811178 585162752 106538 33554432000 4194304 4365125 140736441550976 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 142862 106538 264 42 0 140010 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 571448

[startup+342.301 s]
/proc/loadavg: 4.02 4.28 2.99 5/188 18489
/proc/meminfo: memFree=28731848/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=571416 CPUtime=342.28 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 2754410 0 0 0 33917 311 0 0 25 0 1 0 915811178 585129984 106530 33554432000 4194304 4365125 140736441550976 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 142854 106530 264 42 0 140002 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 571416

[startup+402.3 s]
/proc/loadavg: 4.00 4.23 3.05 5/188 18490
/proc/meminfo: memFree=28680360/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=675860 CPUtime=402.28 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3175300 0 0 0 39867 361 0 0 25 0 1 0 915811178 692080640 119637 33554432000 4194304 4365125 140736441550976 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 168965 119637 264 42 0 166113 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 675860

[startup+462.301 s]
/proc/loadavg: 4.00 4.18 3.10 5/188 18492
/proc/meminfo: memFree=28663468/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=582032 CPUtime=462.28 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3532505 0 0 0 45823 405 0 0 25 0 1 0 915811178 596000768 111810 33554432000 4194304 4365125 140736441550976 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 145508 111810 264 42 0 142656 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 582032

[startup+522.301 s]
/proc/loadavg: 3.92 4.13 3.15 4/182 18518
/proc/meminfo: memFree=29255084/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=611652 CPUtime=522.29 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3573915 0 0 0 51817 412 0 0 25 0 1 0 915811178 626331648 119035 33554432000 4194304 4365125 140736441550976 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 152913 119035 264 42 0 150061 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 611652

[startup+582.3 s]
/proc/loadavg: 3.34 3.92 3.14 4/182 18520
/proc/meminfo: memFree=29259188/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=619844 CPUtime=582.28 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3574943 0 0 0 57816 412 0 0 25 0 1 0 915811178 634720256 120063 33554432000 4194304 4365125 140736441550976 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154961 120063 264 42 0 152109 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 619844

[startup+642.301 s]
/proc/loadavg: 3.12 3.75 3.13 4/182 18521
/proc/meminfo: memFree=29231132/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=617796 CPUtime=642.28 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3585418 0 0 0 63815 413 0 0 25 0 1 0 915811178 632623104 118744 33554432000 4194304 4365125 140736441550976 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154449 118744 264 42 0 151597 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 617796

Solver just ended. Dumping a history of the last processes samples

[startup+665.506 s]
/proc/loadavg: 3.09 3.70 3.12 4/182 18522
/proc/meminfo: memFree=29238816/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=617796 CPUtime=665.49 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3585418 0 0 0 66136 413 0 0 25 0 1 0 915811178 632623104 118744 33554432000 4194304 4365125 140736441550976 18446744073709551615 4258044 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154449 118744 264 42 0 151597 0
Current children cumulated CPU time (s) 665.49
Current children cumulated vsize (KiB) 617796

[startup+671.901 s]
/proc/loadavg: 3.07 3.68 3.12 4/182 18522
/proc/meminfo: memFree=29230132/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=617796 CPUtime=671.88 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3585418 0 0 0 66775 413 0 0 25 0 1 0 915811178 632623104 118744 33554432000 4194304 4365125 140736441550976 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154449 118744 264 42 0 151597 0
Current children cumulated CPU time (s) 671.88
Current children cumulated vsize (KiB) 617796

[startup+678.301 s]
/proc/loadavg: 3.07 3.67 3.12 4/182 18522
/proc/meminfo: memFree=29228752/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=617796 CPUtime=678.28 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3585418 0 0 0 67415 413 0 0 25 0 1 0 915811178 632623104 118744 33554432000 4194304 4365125 140736441550976 18446744073709551615 4257990 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154449 118744 264 42 0 151597 0
Current children cumulated CPU time (s) 678.28
Current children cumulated vsize (KiB) 617796

[startup+681.5 s]
/proc/loadavg: 3.06 3.66 3.12 4/182 18522
/proc/meminfo: memFree=29233216/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=617796 CPUtime=681.48 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3585418 0 0 0 67735 413 0 0 25 0 1 0 915811178 632623104 118744 33554432000 4194304 4365125 140736441550976 18446744073709551615 4258252 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154449 118744 264 42 0 151597 0
Current children cumulated CPU time (s) 681.48
Current children cumulated vsize (KiB) 617796

[startup+683.106 s]
/proc/loadavg: 3.06 3.66 3.12 4/182 18522
/proc/meminfo: memFree=29199860/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=617796 CPUtime=683.08 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3585418 0 0 0 67895 413 0 0 25 0 1 0 915811178 632623104 118744 33554432000 4194304 4365125 140736441550976 18446744073709551615 4258454 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154449 118744 264 42 0 151597 0
Current children cumulated CPU time (s) 683.08
Current children cumulated vsize (KiB) 617796

[startup+683.901 s]
/proc/loadavg: 3.06 3.66 3.12 4/182 18522
/proc/meminfo: memFree=29199860/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=617796 CPUtime=683.88 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3585418 0 0 0 67975 413 0 0 25 0 1 0 915811178 632623104 118744 33554432000 4194304 4365125 140736441550976 18446744073709551615 4242747 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154449 118744 264 42 0 151597 0
Current children cumulated CPU time (s) 683.88
Current children cumulated vsize (KiB) 617796

[startup+684.101 s]
/proc/loadavg: 3.06 3.66 3.12 4/182 18522
/proc/meminfo: memFree=29230116/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=617796 CPUtime=684.08 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3585418 0 0 0 67995 413 0 0 25 0 1 0 915811178 632623104 118744 33554432000 4194304 4365125 140736441550976 18446744073709551615 4260882 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154449 118744 264 42 0 151597 0
Current children cumulated CPU time (s) 684.08
Current children cumulated vsize (KiB) 617796

[startup+684.207 s]
/proc/loadavg: 3.06 3.66 3.12 4/182 18522
/proc/meminfo: memFree=29230116/32951132 swapFree=67052544/67111528
[pid=18402] ppid=18400 vsize=617796 CPUtime=684.18 cores=5,7
/proc/18402/stat : 18402 (MoUsSaka) R 18400 18402 18130 0 -1 4202496 3585418 0 0 0 68005 413 0 0 25 0 1 0 915811178 632623104 118744 33554432000 4194304 4365125 140736441550976 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18402/statm: 154449 118744 264 42 0 151597 0
Current children cumulated CPU time (s) 684.18
Current children cumulated vsize (KiB) 617796

Child status: 20
Real time (s): 684.297
CPU time (s): 684.283
CPU user time (s): 680.131
CPU system time (s): 4.15237
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 956500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 680.131
system time used= 4.15237
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3585423
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= 10
involuntary context switches= 1750

runsolver used 1.12583 second user time and 2.58661 second system time

The end

Begin job on node128 at 2011-06-14 11:02:05
IDJOB=3501506
IDBENCH=90052
IDSOLVER=2000
FILE ID=node128/3501506-1308042125
RUNJOBID= node128-1308041932-18151
PBS_JOBID= 13564699
Free space on /tmp= 73984 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/bjrb07amba4andenv.aig.k10.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501506-1308042125/watcher-3501506-1308042125 -o /tmp/evaluation-result-3501506-1308042125/solver-3501506-1308042125 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3501506-1308042125.gcnf

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

MD5SUM BENCH= cb0e1af26bf4b51ef7edd8a5c36df6f8
RANDOM SEED=43848595

node128.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.852
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.70
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.852
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.852
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.82
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.852
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.75
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.852
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.82
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.852
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29002320 kB
Buffers:        337516 kB
Cached:        1658464 kB
SwapCached:      11368 kB
Active:        2338392 kB
Inactive:      1375536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29002320 kB
SwapTotal:    67111528 kB
SwapFree:     67052544 kB
Dirty:            3920 kB
Writeback:           0 kB
AnonPages:     1715728 kB
Mapped:          10732 kB
Slab:           166112 kB
PageTables:       8632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  2566968 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73984 MiB
End job on node128 at 2011-06-14 11:13:30