0.00/0.00	c MoUsSaka with meat
5.99/6.06	
5.99/6.06	s UNSATISFIABLE
1668.76/1668.71	c Core is minimal
1668.76/1668.71	
1668.76/1668.71	v 1233 11390 31227 32626 31228 31226 32625 34024 34022 34023 32624 25634 24236 27032 22840 27034 29830 22839 25636 28431 29828 24237 28430 25635 24238 29829 28432 27033 22838 21442 20044 18646 17247 20042 21440 18644 15849 20043 15850 14450 14451 14452 15848 17246 21441 18645 17248 13052 11654 10256 13053 13054 3004 8858 11655 11656 10257 10258 8860 8859 7460 7461 7462 600 615 6062 1864 1841 3103 3254 3260 4638 6063 6064 1865 1863 1866 3262 3240 2202 4660 1832 2115 3259 1474 1473 1475 1270 1269 1268 1472 4664 1701 1700 4666 4665 3267 3268 3265 1869 3266 1870 616 3102 1702 1580 1590 1583 1589 1582 1591 1587 3258 2992 2996 3000 3255 2991 2098 1471 1619 1600 1711 1736 1624 1862 1727 1603 1665 1599 1743 1605 1779 1596 1608 1775 1790 1831 1713 1789 1124 1657 1602 1633 1839 1829 1595 1724 1618 1748 1765 1747 1664 1626 1607 1856 1678 1791 1819 1693 1656 1764 1846 1750 1690 1645 1755 1627 1818 1699 1680 1698 1735 1709 1710 1855 1726 1759 1623 1778 1840 1714 1138 1676 1756 1799 1742 1737 1751 1636 1644 1675 1776 1844 1758 1065 3089 3263 3257 3264 3261 2990 3256 696 2999 2997 2146 2135 2199 2189 2192 2092 2188 2134 2132 2139 2190 2137 2187 2133 2144 2145 2191 2138 2143 2186 2142 2198 2141 2140 2136 612 603 608 602 611 607 614 613 601 561 681 682 680 692 691 687 690 683 693 685 686 684 610 605 604 606 609 1868 1867 539 688 1594 1592 1586 689 1192 336 1193 1861 1838 1830 1593 1584 584 1848 1652 1631 1720 1769 1753 1745 1805 2993 2995 4398 4402 4487 4654 2131 4640 4650 4636 4637 2984 2985 544 2988 2987 2982 4642 4628 4641 4657 4658 4652 2075 4651 3246 3241 2969 2965 2699 2970 2968 2201 2200 3153 2900 3544 4501 4500 3038 2705 1685 1686 10252 10230 9121 7283 7434 7456 7450 7723 7738 7794 7707 8855 8856 8853 10253 10251 10254 8695 8832 8854 7667 8694 10246 8838 10079 8681 8848 4376 4374 4375 4377 4373 4378 4372 4371 2978 2980 4653 4655 4656 3473 4662 4661 4659 2631 3003 3001 3002 3529 3513 4394 3496 8696 8826 4389 4390 3145 3205 3169 4388 8823 10236 3600 3599 4663 4635 3234 3231 3104 3057 4502 3540 3596 3534 3597 3589 3590 3591 3594 3585 3584 3537 3588 3530 3533 3543 3536 3542 3490 3532 3535 3595 3541 3587 3531 3586 3539 3593 3538 3468 3592 4359 4354 4350 4352 4353 4347 4349 4360 4356 4361 4365 4364 4629 4632 2942 4207 4321 4341 4306 2930 4329 4334 4346 4308 4342 4331 4289 4305 4320 4313 4345 4333 4332 4300 4325 4315 4336 4323 4301 4355 4351 4322 4344 4330 4314 4299 4307 4324 4337 4335 4309 4326 4293 4288 4292 4290 4291 4310 2950 4294 3122 4194 2914 2960 2906 4195 4286 4283 4284 4285 2921 4343 4631 4618 4435 4434 4436 3545 4433 3064 2147 3679 2281 3418 3420 3419 3874 3875 3876 2461 2446 2471 2468 2474 2460 3853 2022 3858 3860 2021 3850 3872 2463 2452 2470 2472 2476 3859 3319 3862 3871 1926 2462 2448 2469 3316 3318 3315 3314 1928 3869 2477 3851 3844 1923 1930 3857 2478 1916 3868 2020 3861 3856 3870 3846 1925 1924 1920 3854 3866 3867 3873 1921 2464 2456 2473 2475 4363 5759 5757 5730 5728 5745 5739 5735 5762 5734 5747 4358 5732 5746 5743 4348 5763 5752 5748 5740 5750 5758 5724 5731 5729 5744 5727 5742 5754 5501 5753 4340 2966 2963 1267 2967 2979 2981 5764 5766 5765 4124 4237 4156 4151 4263 4146 4135 4122 4250 4369 4117 4227 4112 4242 4379 4107 4222 4045 3986 3955 4063 3934 3997 3960 4055 3886 3901 3906 3965 3992 4050 3877 3891 3977 4007 3911 3950 4002 3896 3939 2708 4029 2674 2700 2701 2706 2676 2702 2707 4097 1562 1572 2567 2508 2647 2865 2673 2829 2852 2844 2719 2758 2737 2753 2726 2714 2748 2709 2839 2513 2588 2657 2557 2609 2604 2479 2493 2536 2488 2652 2579 2665 2541 2552 2599 2562 2594 2498 3168 3204 3074 3065 3433 3432 1011 1312 1150 1033 1322 1003 1403 984 1276 1058 1286 1017 1020 1008 1144 1016 1271 978 1109 1048 1160 1317 1445 1009 1038 1119 1299 1219 1227 1114 1133 1432 980 1090 1281 988 1408 1019 1155 1235 3421 1424 1104 3427 1214 1419 1209 1043 1165 1014 992 999 1053 1085 2824 2971 997 2503 3144 2724 4071 7297 6325 6286 6381 6337 6338 6329 6334 6326 6335 6333 6328 6387 6331 6383 6384 8846 6340 8857 4894 6050 6055 6057 6059 6056 6060 4871 5885 4911 6058 6036 5899 7455 7458 7457 5898 7347 7428 7251 7298 7425 7232 5703 5699 5692 5704 5698 4298 4103 5697 5688 4304 5712 5681 4328 5691 5705 5680 4312 5741 5615 5751 5605 5733 5749 5592 5711 5713 5719 5678 5723 5679 5686 5721 4319 5708 5593 5718 5707 5706 5689 5684 5690 5683 5677 5722 5682 5720 5687 5696 5756 7440 6052 6309 7448 7438 7447 7446 7454 7453 7690 4998 4997 5428 8568 8569 8567 8566 7168 5761 5726 5738 8825 7435 8835 8836 8831 8830 8822 8844 8845 7793 8812 7792 7459 7167 4069 4070 4066 4067 4065 6863 5463 5464 5465 5468 5467 5466 6866 6864 6862 6865 6861 7160 7157 7163 7162 7164 7145 7130 7117 7128 7122 7127 7137 7155 7129 7116 7156 7125 7131 7075 7077 7109 6990 7095 7088 7110 7090 7089 7105 7102 7081 6991 7101 7078 7076 7084 7086 5717 7082 7085 5702 7142 7161 7143 7148 7149 7138 7133 7140 7111 7151 7119 7126 7121 7141 7150 7152 7132 7097 5710 7096 7079 7080 7120 7146 7139 7104 7003 7103 7087 4287 4096 4996 7083 4520 3090 4455 4488 4551 5685 4471 4472 4550 6061 5777 5767 4927 4942 4644 6042 6049 6040 6048 6030 5853 7433 7437 7443 7436 7445 7444 8824 8828 8827 6392 6380 6385 6386 6339 8834 8829 7316 6391 6382 6336 6327 6330 6332 6390 4368 4366 4367 5833 5949 5948 5834 5918 6913 6952 6903 6947 6931 7033 6942 6908 6918 7046 7165 7018 7059 7023 7175 7038 6920 9122 9028 6045 6047 6046 9136 10093 7124 10092 1483 7197 7196 7195 10231 9180 9179 9181 9123 9134 9124 9082 9127 9132 9188 9182 9126 9183 9187 9133 9135 9129 9186 9128 9178 9177 9189 5077 5769 6867 9114 9048 9112 9113 9119 9117 9118 9110 9131 9130 9120 9087 9125 9105 9111 9115 9116 10080 9192 9065 9088 10212 10184 9042 9102 9103 9043 9044 9045 9104 9101 9046 9041 9097 9047 9038 9040 9037 9027 9030 9033 9029 9039 9032 9031 9100 9059 9074 9176 7194 7198 6395 6396 8852 8851 8592 8596 8850 8847 7451 7452 7191 7193 7449 6341 9659 5774 5775 5776 4603 5771 5773 5770 4543 4567 5772 8849 7339 8591 8589 7281 7261 4463 4462 7296 7200 7338 4602 7332 7313 7363 7399 4465 4485 5940 5802 5861 6000 5941 6001 5964 5963 5965 6269 5883 5863 4483 4484 4464 4542 5533 5549 5520 5505 5515 5522 5661 5544 5510 5640 5625 5635 5554 5648 5620 3037 10159 4566 9079 9109 9036 9081 9086 9083 9084 9085 10250 10244 10242 10234 10243 10249 10156 8833 5242 5248 5267 5266 4817 5268 5271 4715 5252 4818 5274 5259 5272 5258 5265 5264 5882 5881 5860 8598 5251 4717 5249 5247 4943 4830 4831 4825 4819 5495 5469 5395 5337 5309 5405 5363 5289 5304 5375 5448 5275 5443 5353 5453 5461 5348 5358 5384 5390 5299 5294 5254 5269 5245 5257 5244 5273 5270 5255 5256 3317 4816 5332 5284 5400 6029 6016 5862 4217 10229 10233 10232 10220 10228 10208 10219 10181 10209 10188 10189 10227 9191 11630 11641 11627 11618 10224 11578 11587 11567 11586 11579 11606 11631 11626 11632 11652 11605 11649 11651 11642 11647 11585 11648 9190 11577 11547 11553 11552 11563 11564 11566 10176 10210 10211 10207 8814 10174 10183 10187 8813 10218 11650 11628 10223 9964 9962 9966 9965 9967 9969 9970 9968 9963 10217 10182 10215 10185 10186 10216 10534 10519 10589 10590 11644 11477 13046 13040 13039 10486 13030 11491 13045 10503 13051 13038 13025 13005 13029 12976 13014 13016 13024 12962 12984 12977 13015 13004 11609 11608 13023 11460 11478 2483 2819 6044 6041 6043 1539 1522 1528 1491 1540 1523 1511 1549 1476 1486 1569 1558 3881 1482 1266 1568 1559 2975 1517 1561 1515 1571 1547 1498 2974 1543 1526 1502 1494 1525 1535 1566 1553 1565 1537 2977 1518 1505 1479 1545 1554 1530 1492 7094 10240 10241 10239 10238 10237 6899 4536 10130 11543 11539 11525 11536 11504 11544 11500 11538 11483 11501 11535 11514 11489 11531 11515 11503 11524 11530 11488 11546 10158 7154 7144 9809 7100 7108 7115 7136 8541 8543 7159 8544 8547 8548 8554 8550 8546 8553 8560 8559 8561 8555 8558 8492 8562 8499 8487 8476 8527 8501 8475 8539 8514 8480 8535 8474 8531 8507 8494 8540 8495 8520 8488 8525 8549 8515 8389 8530 8297 8524 8485 8479 8477 8519 8473 8482 8503 8493 8509 8538 8508 8504 8537 8517 8526 8486 8484 8502 8523 8500 8529 8528 8478 8483 8401 8481 10129 8411 9994 10248 10245 9990 8536 8518 8565 1485 2976 2972 1563 1478 7170 7172 7173 7171 8572 8571 8570 7174 7169 12939 11550 11549 11625 11640 7284 5492 6892 4102 5886 7315 4454 4519 6893 10062 8761 11540 11541 10247 10463 11621 11629 13049 13028 11622 11492 11490 11619 13047 13050 10588 8737 11861 11884 11917 11901 11932 14449 8732 8620 8659 8745 13008 8630 13020 13042 12875 13017 8797 8259 8262 8264 8260 8263 8261 10235 11453 13027 13026 13048 12889 12888 11987 11057 10143 8557 5494 8552 8542 8291 14373 14412 12980 14375 14382 14374 14363 12890 14428 14443 14437 14423 14427 14438 14444 13006 14436 14381 14413 14403 11988 14383 14414 14421 14401 14402 14422 13019 14447 14445 14448 9996 10255 7739 10142 9622 10094 11607 10221 11617 8658 8657 8744 10077 8714 8713 8682 11469 8628 8648 11471 11472 11482 8629 10028 10027 8736 8627 8760 8796 8666 8759 10005 9999 10031 10070 10059 10020 10051 10052 10023 9998 10001 10060 10180 10021 10030 10074 10138 10154 10105 10146 10145 10106 10137 10071 10168 10116 10016 9995 10041 10024 10165 10169 10117 10073 10167 10072 9997 10058 10050 10022 10139 10104 10153 10019 10083 8724 10115 10131 10086 9986 8665 8609 8730 10057 11457 11439 11397 11458 11450 11438 11412 10043 11437 11399 11403 11421 11414 11393 11449 11422 11419 10018 11429 11468 11402 11400 11428 11413 11418 11396 11388 11392 11398 6826 10136 10076 10000 10164 10175 10056 8656 8679 10039 10125 10069 10144 10179 10101 13032 14426 12955 12954 11986 11616 11637 11639 11425 11426 10095 11481 10064 10054 10157 11467 10171 11562 11551 10122 11513 11487 11499 10119 10066 11534 11523 11542 10098 10097 10053 10055 10170 7873 11565 11417 10047 11395 11502 11448 11427 11529 10135 10195 10134 10128 10109 10194 8655 8677 8678 10204 11638 10112 11545 11537 11470 11456 11420 10152 8637 10151 10141 10085 10133 8645 10147 10040 10015 8638 10003 10029 10002 10084 10127 10102 8649 10090 10155 10126 10089 10088 10087 10132 10149 10148 8712 8721 10091 10103 10140 10014 10004 10166 9982 10075 11445 11394 10036 11634 11401 11602 12945 11569 12965 12949 11568 12951 12964 11572 11464 11555 12950 11610 11557 13003 12983 11574 11573 12985 11554 12961 14425 12991 14349 12972 12931 14358 14359 14348 14360 14362 12967 14343 14347 12853 15844 17243 17214 18568 18576 18607 18597 17211 18557 18577 18596 18569 16180 17083 17084 18616 18608 17236 17242 17202 18595 18621 18631 18642 18638 18639 18634 18384 17524 16182 18615 16126 12876 16123 16117 16113 16171 16178 16168 16072 16176 16050 16124 16112 16121 16173 16118 16119 16175 16120 16114 16125 16170 16169 16174 16172 16167 16177 16115 16116 16122 16166 16179 17226 18567 16095 16078 17213 17200 17069 18575 14657 14680 17082 17220 18630 18622 18467 18640 13386 16181 18641 17578 17579 18618 17493 17580 17232 17223 17210 17233 17219 17217 17218 17224 17239 17222 15751 18606 18632 17509 16111 18643 15828 15685 15823 15684 18620 18609 18612 15655 17234 14713 15822 14697 14784 14782 14783 15671 15838 18617 18637 17241 17244 17240 14288 14418 14415 14273 14440 13385 15845 15843 15846 14430 15824 15819 15825 14287 15820 15821 15812 13299 14424 15834 15841 15835 15826 15842 15836 15813 15686 15802 15816 14446 13315 14286 15776 15775 17198 17179 17208 17209 17199 17197 15803 15804 14351 12948 15810 15773 14406 15811 15801 15800 15781 15780 15779 15799 15772 14365 15771 15759 15757 15760 15747 14378 15761 15758 14370 11984 11921 11972 11980 11858 11860 11859 11982 11922 11978 11923 11981 11977 11928 12843 12953 12926 14342 14340 14335 14334 14332 14339 12862 14327 14326 14331 14321 14330 14325 18518 14271 14251 14361 13259 14364 14338 13000 14189 14209 14245 14224 14214 14244 14199 14196 14278 14265 14268 14233 14193 14246 14295 14264 14254 14225 14311 14309 14299 14267 14285 14297 12918 14252 14319 14208 12814 12915 14213 14320 14296 14279 14284 14310 14300 14234 14217 14192 14253 14210 14195 14218 12839 14215 14198 14235 12894 14283 13384 12908 14341 14333 12824 12873 12832 14277 12891 14263 14223 14197 14298 14191 14216 14194 12893 14190 14266 11593 11592 11920 11929 11878 11857 11976 11975 11931 11985 11973 11979 11926 11918 11924 11983 11919 11930 11927 11925 11974 11556 12979 10063 11933 12930 12859 12946 12860 12990 12851 12924 12905 12999 12849 12822 12821 12852 12842 12831 12861 12830 12803 11548 11462 14404 14417 10535 11623 11624 11620 10026 10046 11646 11643 11636 11635 11645 11633 11510 11444 11424 11601 10065 10111 11463 10203 11604 11600 10121 10035 11461 11576 11571 11603 14405 11575 11509 11361 18482 18611 13282 11508 12767 13007 11493 11416 12898 12870 11452 11451 12952 12970 11532 11533 11526 11496 11495 11507 11405 11527 11528 12868 12960 12975 11582 12963 11581 12912 12933 12922 12929 12928 12899 12902 12901 12934 12936 12923 12913 12927 11520 12921 12900 12911 11519 12932 12942 12941 12937 12944 12940 12943 10118 11474 11475 11455 11473 11454 13044 12885 12881 12886 11517 11516 12867 12887 12880 12897 12869 12879 13043 13041 12819 12825 11441 12810 12816 12855 12854 12847 12848 12826 12820 12866 12856 12812 12865 12947 11486 11485 11384 11380 11423 11434 12835 12837 12836 12817 12815 12846 12811 12938 11433 12971 12935 12798 12800 12801 12795 12797 12791 12794 11432 12818 12966 12799 12858 13013 13012 13011 8636 8711 12823 12907 12906 12067 12872 12850 12247 12257 12259 12261 12260 12254 12248 12255 12258 12256 12249 12250 12262 12264 12263 12871 12757 12610 12630 12638 12651 12625 12615 12510 12539 12500 12512 12544 12459 12505 12523 12534 12495 12443 12438 12451 12433 17476 18480 18481 12348 12289 12284 12294 12299 12395 12274 12322 12279 12365 12338 12374 12353 12343 12390 12385 12265 12327 12380 12790 12786 12783 12785 12770 12774 12777 12778 12782 12781 12779 12775 12773 11653 12793 12796 12974 12969 12973 12763 12765 12764 12762 12761 12760 12792 13034 13033 13031 13037 13036 13035 13022 13018 13021 9662 9658 9657 9661 9660 9978 9972 9974 10877 9727 9716 9748 9738 9814 9842 9709 9855 9743 9699 9714 9834 9704 9829 9971 9961 9819 9663 9271 6475 6666 6665 6671 6668 6672 6669 6670 6667 6664 9503 9483 9589 9498 9526 9584 9542 9594 9599 9647 9547 9578 9552 9642 9655 9557 9493 9531 9569 9488 9637 11391 11389 10110 10007 10025 11484 11058 11060 11055 11059 11056 11377 11379 12784 8664 8758 11387 11385 6115 6640 6652 6216 6214 6646 6656 6650 6662 6647 10865 10861 10862 10866 10864 10863 9453 8063 8066 9438 6663 8054 8060 9436 6653 6657 6215 6642 6643 6658 6654 6645 6655 6113 6649 9011 7398 7346 7231 7362 12978 12981 12982 9786 9957 9956 9953 9960 9959 9958 9799 8522 8534 8513 8506 9936 9941 9882 9897 9922 9892 9893 9923 9899 9900 9945 9905 9924 9885 9886 9906 9912 9901 9898 9883 9933 9952 9937 9881 9907 9934 9891 9913 9929 9902 9927 9944 9884 9935 9925 9928 9942 9951 9938 9880 8498 9918 9946 9921 9926 9915 9948 9916 9917 9939 9947 9787 18559 18564 18540 18445 7260 7280 9478 9469 12417 18619 18531 18406 18416 19757 19615 20041 19605 19600 19620 19628 19641 19747 18624 20312 22813 20266 20244 20289 22675 24213 24229 21710 7427 7250 10410 10408 10409 12232 10318 12242 10316 10309 10304 10313 12237 10314 10306 10305 11808 11807 12244 10307 10308 12234 10312 11705 12238 11806 12245 10311 11707 12241 12239 12246 12235 10669 8907 8906 8916 8918 8910 8911 8908 8914 8915 8913 8920 9450 8044 9452 7614 9446 8068 9442 8040 8067 8062 9466 8056 7612 10858 10859 10834 10857 8055 8064 9465 9462 8061 9459 9467 8070 9463 9010 8038 9454 9451 10850 10836 10844 10852 10856 10840 8052 9461 8053 9458 10848 10849 10851 10860 9464 8065 7613 8069 9468 8048 9012 9460 9607 9612 9615 9619 9611 9610 9609 9620 9616 9613 9618 9636 9635 9623 9617 8209 5415 6821 5421 5417 5413 6823 6817 5422 6820 6822 5418 5419 6814 4044 5423 4031 6811 6819 5425 6813 6824 5416 4030 4043 5424 9602 9606 9605 8238 8224 8237 8225 9603 9601 8211 8220 8219 8218 8212 8215 8213 8221 8214 8222 8217 5426 14714 14674 14721 14656 14773 14653 14715 14720 14771 14725 14780 14772 14716 14719 14722 14776 14726 17170 17144 17177 17171 17178 17158 17145 17156 17154 17159 17169 17157 15763 15762 14654 14774 14778 14775 14718 14723 14777 14779 14640 14781 14727 14724 14655 14620 14717 7259 7268 21393 21403 21392 21329 21364 21322 21411 19921 19500 19485 19502 19490 19495 19524 19449 19534 19513 19529 15768 15646 15720 15645 15727 15647 15701 15726 15722 15648 15649 15721 15669 15668 22815 21337 21278 19981 21408 21405 21414 20363 20370 20313 20366 20372 20367 21323 19970 21331 19843 21371 20317 21321 19990 21771 21363 21328 21372 21413 20311 19863 21770 21338 21276 21430 21263 20305 21333 21713 21351 20320 21277 21350 21352 20375 21703 22734 20272 21718 21330 21412 21404 21317 21417 21396 21708 20361 21240 20017 20376 21241 21349 21324 21264 21339 19957 22806 21353 21436 24200 21767 21717 21332 22674 24208 24209 21707 21764 24222 21325 18907 19833 24223 21715 20373 21766 20010 20315 20364 21373 21320 21365 22725 21402 21714 19880 20022 21415 24212 22610 21311 21268 21205 21258 21257 21286 21267 21287 21273 21274 19908 21224 21204 21215 21200 19884 21243 21275 21290 21315 21235 21214 21206 21301 21288 19905 21242 21244 21203 6840 8207 8204 6839 8203 6827 8205 8208 5442 5441 5429 19916 21213 21300 21310 21269 21289 21255 21195 21314 21188 21199 21189 21253 21309 21223 21207 19804 21181 21299 21760 20309 21416 21769 20038 18976 21435 18922 21438 19866 7230 18891 21418 21434 21426 19865 21439 18978 19879 20016 21348 21437 18977 20032 21343 21420 21427 21428 21433 19945 21236 21187 21184 21254 21208 21225 21256 21182 21185 21316 21186 21198 21234 21183 19829 21285 21179 20308 20362 20368 19852 20314 20307 20318 20007 20319 20360 19998 20365 21391 8081 8083 8084 8082 3167 7106 3152 1288 1096 1798 6393 1646 22793 21180 29743 29748 29694 29691 28700 28695 28758 28699 28696 28703 28698 28697 28761 28757 28752 28756 28755 28694 28750 28702 28753 28748 28749 28759 28632 28654 28707 28760 28751 28701 28706 28420 28397 28253 28398 20371 20310 20306 20316 20369 22717 21250 20374 21261 20249 22724 21220 21306 22646 21303 22662 22694 22710 21296 22733 21647 22693 22635 22691 22766 22765 22792 22805 22752 22716 22834 22812 24233 24224 24231 24234 21687 24207 24097 24144 24124 24145 24187 24112 24135 24160 24149 24148 24189 21772 24161 24134 24159 24146 24121 24199 24198 24125 24106 24169 24188 24127 24119 22753 24118 24113 24128 24126 24117 22661 22828 21773 21670 21774 24168 24111 22758 24147 22756 24167 22757 22739 24085 24064 24083 24095 24051 24069 24082 22659 24039 24038 24081 24054 24049 22600 22777 24096 22786 24040 22677 24071 24063 24050 24032 24065 24086 24070 24053 22704 24116 23996 24133 24011 24003 24021 24000 24010 23985 24001 24004 24031 24020 22645 23995 24019 24030 22700 24002 22647 23994 22680 24052 24084 22599 22639 22657 22658 22624 22616 22589 22607 21212 22629 24210 23116 23101 24138 24139 24073 24027 23085 24235 24105 22712 23171 23172 24211 23981 23978 24009 23979 23984 23977 23980 23982 23983 22593 23170 22618 24108 23976 31113 31112 30091 30106 31036 31200 33931 33911 33974 33760 34017 33756 33973 32592 32572 33934 31557 33932 31503 31490 31495 31500 31497 32589 34020 33946 32614 31146 31548 34010 33892 33947 33912 31499 31545 33995 33905 33984 33975 34009 33996 32902 33913 31498 31546 32434 33993 33954 32498 34000 33955 33953 33986 31554 31544 33930 31552 33945 34018 33910 31492 33907 34008 33915 34016 34019 31547 32552 33902 31551 33897 32887 33906 33935 31556 31496 33933 31182 32595 31140 32506 31206 32556 32535 32500 31141 32575 30075 32517 32532 32520 32600 32533 32507 31064 31049 31063 32511 32598 31504 34021 32903 31129 32496 31489 32503 32620 32623 32527 32596 32509 32611 33883 31450 34015 32580 33891 33914 32447 33899 31428 33898 32462 33904 31501 33919 33920 31549 33903 32577 32536 32522 32618 31191 32548 32513 32534 32549 32586 32505 32576 32557 32504 32539 32555 33921 32599 32619 32621 32622 31559 22628 22608 22609 31491 33998 31473 28268 28395 33999 31550 31553 31555 31493 32544 33893 31494 31222 29724 31181 31194 22625 31502 33994 33985 28704 19896 22591 21342 21407 21249 21313 21432 18874 21429 21431 19878 21174 21178 11337 9877 9871 11342 11340 11290 11351 11298 11355 11346 11333 9940 9932 11354 11269 11344 11349 11278 11336 11280 11272 11357 11335 11303 9896 11327 11185 11332 9890 11300 11275 11184 11319 11276 11299 11358 11283 11334 11281 11321 11305 11087 11273 11310 11350 11364 11331 9920 11296 11339 11315 11311 9904 11323 11356 11343 11093 9878 9873 9876 9874 9875 11295 11271 11326 11291 11274 11322 11320 9872 9955 11282 11289 11314 11297 11304 11325 11284 9695 11367 11363 11368 11365 11366 11362 11324 11345 11316 11313 9950 9911 12959 12957 12958 10417 10411 10423 10422 12882 12883 12884 12772 15756 13380 13329 13321 13374 13382 13376 13322 13320 13319 13378 13379 13326 13325 13383 13381 13316 13323 13377 13375 13324 13317 13318 13276 13373 13328 13254 13327 13330 15766 15749 15748 15815 15847 13331 14188 15739 14184 14353 14346 14177 14180 14179 12771 12768 15740 15746 15741 15738 14352 15767 14329 15724 15719 15729 15730 15723 15732 15731 15733 15725 15737 9694 14324 15683 15696 14313 15709 15707 15681 15693 14316 21170 21167 21169 19883 18923 15667 18359 14433 14431 14435 14429 14432 14434 19881 19822 19904 14162 14164 14159 14160 14163 14158 14161 15560 15559 15561 15557 15558 15556 15562 19907 17143 18379 18380 18381 18104 18102 18092 18243 18207 18217 18051 18097 18136 18202 18230 18349 18126 18131 18222 18115 18087 18920 18965 18915 18972 18912 18975 18868 18964 18911 18968 18973 18971 18966 18921 18919 18917 18967 18909 18962 18963 18918 18970 18914 18974 18846 18913 18916 18910 18908 18969 15702 15795 15796 17127 17107 17116 17095 15658 17126 17061 17105 17121 15687 17115 17136 17138 17134 17135 17092 17079 15714 17063 15690 17106 15711 17091 17117 17122 17074 17073 17130 17128 17081 17123 17094 15742 17062 17137 17129 18849 18844 18848 18814 18847 12455 18851 16960 16959 16958 16955 16956 16954 16957 21194 17571 17448 17470 17576 17512 17513 17569 17570 17522 17567 17574 17514 17517 17511 17510 17523 17518 17572 17519 17568 17573 17516 17521 17520 17577 17515 17575 18598 20037 20030 20035 20036 20039 20040 14350 20020 20013 20019 20015 20014 20018 20006 20028 20029 13903 13857 13910 14008 14049 14028 14036 13937 14023 14013 14155 14165 13921 13908 13898 13942 13893 13932 11306 11092 11307 11308 11287 11352 11328 11301 11338 11348 11294 11347 11080 11292 11329 11317 11086 11084 11285 11309 11353 11330 11318 11302 11288 21173 19851 18834 18882 18880 18838 18840 18835 18842 18881 18883 18841 18878 18836 18837 18879 18813 12453 12454 12456 12457 12458 21219 14377 14368 11197 11207 12776 11372 11376 11370 14291 14292 21171 15710 15689 14185 14187 14186 18850 15563 15296 15291 15340 15426 15306 15308 15335 15301 15447 15319 15411 15434 15406 15255 15553 15421 15330 17155 17139 17093 17096 17064 17080 17075 18523 17221 17174 18435 14369 19782 15672 15704 15734 15744 15735 15656 15743 18478 18505 18513 17118 18461 17070 16986 18458 18440 17045 18477 17085 18525 18479 18504 18490 18514 18457 18448 18471 17088 18491 17056 18521 18473 17120 18447 17142 18462 18520 18494 17067 17112 18493 18459 18552 18526 18553 17161 18542 18528 18537 18541 18535 18534 18536 17018 18527 18554 18529 17026 18533 18555 18532 18489 18472 18515 17109 18503 18439 18428 17047 17033 18412 18418 18429 18419 18438 18427 17037 17133 18556 17194 18543 16055 17043 17102 18392 18382 18388 18391 18460 18390 18393 17087 18524 18410 18411 18402 18492 18404 18408 18387 18403 18386 18409 18519 18389 18446 17008 18383 19803 19944 19943 20009 19814 19996 19969 19929 19850 19832 19980 15750 15654 15661 15657 14344 14345 15662 15665 15663 15651 15666 15675 14274 14289 14388 15703 14257 15587 15596 15632 15616 15613 15644 15607 15633 15676 14212 15608 15593 15622 15597 15594 15612 15652 15643 15606 15615 15591 15631 19898 15623 15621 14230 14256 19812 19828 18500 17149 17052 17185 17125 17031 17050 17020 17004 17010 16994 17030 17006 14728 17013 16991 15610 17011 15588 17021 16989 15786 15787 17029 17019 17012 16993 17049 17059 16988 17041 17040 17124 17009 16995 16992 17048 17042 17014 15635 16985 17005 17060 19938 19962 19797 18547 17245 16951 16738 16689 16733 16819 16961 16706 16694 16824 16809 15620 19995 19974 19975 19994 20005 19967 18572 18600 19953 19965 19952 19955 19993 19973 19966 20004 19941 19951 19954 18583 16127 19935 19940 19950 19997 19956 16653 19928 19841 19939 18592 18454 19825 19816 19857 19815 18431 19808 19838 19860 19877 19859 18483 19870 18507 19809 19912 19931 18510 18424 19922 18465 19892 19889 19926 19901 19845 19844 19876 19810 19869 19855 19890 19930 19837 19875 19858 19826 19887 19888 19846 19807 19871 19856 19836 19817 19827 19913 19903 19917 19891 19911 19927 19919 19933 19934 19932 19918 19924 19902 19923 19925 19780 19914 19915 18468 19936 19920 19848 19942 19960 19849 19989 21406 21409 21410 21197 21196 21190 19813 19842 19840 21172 15713 15603 18890 19793 19811 19821 19820 18843 21295 21347 21345 21346 21758 21709 21704 22810 21765 22811 21705 21716 21759 21762 21642 22802 21763 21664 21761 21768 21711 21394 22814 21719 22833 22836 22826 22832 22816 21312 22825 22809 22835 22837 19795 21211 22831 22824 22578 19839 19895 22401 22330 22286 22281 22309 22298 22245 22416 22291 22396 22424 22437 22320 22325 22543 22411 22296 22553 21018 21026 21003 20998 21013 21039 21145 20893 21155 20847 20888 20932 32461 21706 22794 32460 21712 21395 22648 22676 23975 23999 22701 24120 32521 32514 32495 22803 32587 20911 20927 20922 20898 20883 20900 24143 24026 22818 24214 24107 24129 31201 32537 32523 32516 32604 28754 22636 22732 24230 22741 31505 32617 32612 32588 32601 32501 32602 19937 19961 20843 12766 9682 11369 12759 18049 18048 18047 18050 18045 18046 19445 11277 11279 9879 19753 18351 19756 19755 19754 15555 16953 18353 18357 18356 19752 18355 18358 18354 19751 18352 19750 14157 15252 16647 15254 16648 13854 13856 16649 15251 15250 13853 16650 19749 13855 15253 15249 16652 16651 13852 13851 11359 9137 14419 9013 9025 14420 9019 14416 9024 11019 6687 6746 6846 6707 6782 6751 6673 6859 6682 6756 6735 6773 6788 6851 6798 6692 6793 6730 6697 6841 6761 6803 6702 11020 8573 8306 8421 8329 8316 8431 8457 8301 8444 8436 8345 8311 8416 8318 8563 8340 8350 11253 10976 10945 10891 11232 11125 10901 10982 10880 11107 10886 11146 11212 10881 10997 11040 10940 11227 11141 11045 11114 10878 10992 11035 11102 11112 10955 11240 10967 10950 11217 10879 10924 11097 11061 10929 11136 10987 10896 11053 8186 8180 8085 8265 8080 8105 8249 8239 8159 8257 8095 8196 8071 8244 8100 8133 8128 8149 8154 8191 8090 8171 8201 8144 17131 8388 11270 10034 4068 15590 5260 12827 23969 23970 24036 24037 24204 24183 24184 23991 24045 24074 23974 24046 24201 24203 24035 24110 24109 24059 24226 32432 32510 32431 29707 32526 32502 32863 32883 32944 32888 32886 32810 31144 31145 31433 31456 33859 33867 33870 33869 33868 33872 33881 33860 33882 33871 33857 32448 32563 32480 32423 32562 32487 32490 32422 33818 33838 33840 33849 33835 33839 33836 33855 33850 33856 33826 33837 32445 32466 32379 32396 32415 31216 33816 33824 33817 33807 32610 31023 32956 32957 31079 32411 33769 33785 33780 33761 33788 33768 33771 33763 33765 33762 33770 33764 33795 33767 33789 33781 33782 33766 33787 33805 33797 33806 33796 33790 32953 32812 32900 32948 32868 32895 32893 32814 32947 32945 32794 32831 32884 32952 32811 32885 32949 32854 32946 32881 32880 32943 32808 32898 32848 32869 32866 32894 32867 32809 32892 32954 32899 32882 32870 32901 32890 32955 32889 32875 32942 33752 33749 33751 32813 32871 29795 29782 29796 29664 31091 31050 31092 31027 32438 32472 30997 32399 32465 31150 31111 31081 31139 32368 32363 31159 31558 32370 32373 32367 32372 32366 31136 32383 32369 31124 31158 31080 32418 31082 32398 32391 32428 31177 32483 31115 31164 32453 32427 31135 32426 32392 32420 32459 32389 32474 32484 32470 32440 30035 31125 31138 31134 29638 30998 32494 31151 32485 31178 31117 31116 32409 32390 31137 31118 32408 32441 31119 32471 33896 31098 29776 29731 32547 31154 31153 29756 29784 32362 31149 31062 31180 31193 31128 31126 31032 31127 31105 31104 31034 29783 30107 29746 31025 31120 32512 31173 31174 31047 31046 32437 32451 32371 31122 31121 30980 32515 31045 31033 32499 31100 31099 32397 31006 32469 32457 32407 32382 32493 30996 31016 30995 31026 31024 30008 30102 30071 30159 30060 30009 30029 30074 30150 30067 30096 30152 30099 30098 30052 30095 30149 30158 30101 30156 30010 30073 29998 30093 29997 30007 30092 30100 30066 30151 30065 30070 30045 30072 30104 30018 30017 30059 30094 30105 30097 30103 30153 30157 29636 29635 29715 29615 29667 29649 31157 29684 31110 31123 31109 31108 31114 31102 31097 31103 31225 31101 31107 31106 29714 28426 28404 28267 27295 29600 28309 27279 28384 23990 28266 29822 29804 29780 29781 29816 29815 29761 29805 29792 29801 29821 28386 28385 29806 29779 29791 29800 29759 29753 28764 29760 28316 28317 29665 29666 29803 29802 29651 29790 32364 28677 28693 29824 29793 31220 31213 31198 31212 31179 31189 31203 31197 31219 31190 31214 31199 31204 29742 28345 29740 29738 29741 28358 29752 29814 29751 27366 29737 29727 29726 29720 29718 29721 29736 27365 29710 29713 29712 29717 28708 29590 29747 29826 29825 29693 29598 29723 31223 31202 29808 31188 31224 31221 28660 29618 29739 29708 29704 29705 29709 29699 29599 29683 28296 29675 29674 29678 29698 29646 29689 29663 29643 29657 29688 29662 29645 29656 29677 28284 29687 28350 29673 29676 29589 29581 32473 31012 31088 31013 31089 32359 32360 32361 31165 31065 30981 31067 30987 30988 33825 33786 33851 32419 32463 32425 32439 32387 32388 32384 31068 30979 32386 32452 32458 30992 31009 31010 30990 30989 30986 30994 31029 31022 30993 30991 31020 31021 31011 31028 31076 31061 31086 31073 31071 31042 31085 31053 31043 31072 31040 31059 31041 31039 31074 29767 31095 31096 31087 31060 31054 31075 31055 31044 29629 31030 31000 31001 30999 29608 29614 29648 29647 31035 31005 31004 32353 32358 32351 29583 30984 30967 30973 30985 30975 32356 32357 30974 30972 30965 30968 30971 30969 29982 29981 29879 29980 29582 32354 33254 33621 33514 33737 33608 32082 31952 32111 33297 33308 33509 33429 33235 33335 33249 33493 33421 32095 32010 31846 31946 33595 33259 33482 33475 33244 33318 33600 33413 33292 33344 33403 33727 33465 33313 33365 33580 33585 33504 33323 33264 33480 33470 31851 31962 31861 32067 32106 32182 31910 31915 32084 31967 32202 31937 32005 32031 32197 31639 33355 33408 33269 33360 33350 33037 31894 32023 32116 32187 32223 32072 31856 32210 31925 31866 31899 31837 32339 32329 31920 31871 31957 32785 32791 32790 32077 32015 25472 31381 31392 31387 31393 33230 33218 33229 33227 33231 33211 33216 33215 31807 31814 31813 31828 31836 33202 32777 32776 33209 25473 25599 31806 25457 31810 31811 33226 33232 32404 32779 33225 33234 33228 25406 25624 25405 27027 27026 27010 27019 25521 27018 27029 27030 27020 27025 25608 25520 26960 28361 28383 28328 28341 28323 28392 28355 27000 28393 25912 28354 28362 28353 26952 25897 28342 26997 28329 28339 28343 28340 28338 26935 28394 28406 26934 28402 27028 27006 27022 25881 28428 28425 28427 28424 25967 28418 25968 28417 28416 28407 28403 28408 28363 28381 28382 26988 26980 26842 28318 28314 28312 28320 28319 28322 28306 28301 28310 28311 28307 28401 28305 26888 28321 28327 26869 26919 26855 26823 27012 26911 26971 27007 26822 28313 26987 26870 26918 28315 27031 26833 25562 25630 25602 24483 24499 24514 25458 25561 25513 25512 26906 25601 25425 28290 26856 28279 28278 28289 28300 26898 28291 28277 28280 28299 25537 25573 25572 24569 24570 25404 25424 26804 26802 26970 25433 25508 25471 25609 25507 25470 25432 25598 25605 25607 25621 25611 25606 25612 25632 25629 25628 25627 25622 25483 25480 25544 25481 25469 25532 25515 25524 25484 25495 25494 25504 25523 25565 25546 25586 25567 25543 25527 25566 25547 25526 25516 25597 25559 25587 25511 25505 25510 25519 25518 23117 25533 25452 25451 25463 25462 25558 25468 25633 25449 25394 25398 25429 25428 25437 25430 25448 25438 25402 25408 25418 25409 25399 25482 25401 25509 25419 24092 24091 25376 25631 25393 25383 25545 25377 25372 25380 25610 25373 25382 25379 25368 25522 25596 25378 25381 25620 24075 25461 24192 24191 24232 25557 24190 24057 25447 25407 25493 25450 24101 25517 24150 24102 24044 25542 24151 24123 24122 25585 25400 25467 25436 24008 24007 24006 24216 23045 24043 24072 24005 23068 24137 24164 24163 24154 25364 24136 24042 24034 24055 24016 24033 24015 24014 24022 24023 24142 24141 24090 30977 30160 25864 26928 30941 30713 30784 30607 30679 30686 30669 30789 30718 30697 30825 30708 30804 30633 30812 30617 30799 30612 30931 30674 30625 30684 30162 30161 30966 30970 25442 28357 28308 28302 28348 32677 33233 33214 33220 33224 33217 32778 33204 33212 33208 33219 31832 31827 31820 31821 31822 31826 31817 31819 31818 31831 31835 31830 31834 31833 31378 31380 31379 31829 31809 32350 32347 29642 29632 29631 29630 29624 29623 28344 29622 29711 28762 29755 29775 29682 29644 30411 30412 30419 30416 30409 30408 30420 30415 30413 29827 28324 28429 25913 26959 25841 32349 27837 28008 28003 28029 27829 27922 27821 28016 27912 27901 27873 27993 27888 27988 28135 27811 27883 27816 27890 27917 28145 27878 27640 27642 30978 29799 27743 27652 27768 27773 27700 27716 27763 27662 27643 27705 27721 27758 27672 27677 27726 27667 27657 27731 27752 28405 27310 28286 28285 29716 29119 29310 29070 29543 29235 29286 29299 29156 29414 29227 29060 29386 29114 29281 29401 29075 29320 29271 29288 29124 29171 29219 29406 29041 29161 29055 29391 29214 29050 29209 29129 29276 29098 29141 29103 29065 29315 29533 29166 29427 29150 29725 28709 27304 27303 27356 27234 27357 27350 27302 27297 27296 27256 27363 27360 27300 27299 27305 27359 27361 27355 27306 27298 27308 27301 27307 27351 27362 27309 28254 28202 28304 26794 26819 30241 28170 29706 28251 28217 28269 28410 29766 29729 29730 28221 30554 30453 30539 30468 30458 30501 30473 30512 30463 30569 30439 30564 30559 30496 30448 30522 30548 30527 30517 29626 28231 28201 29593 29595 29603 29613 29596 29612 29602 29611 29661 29592 29588 29641 29703 28330 29594 28331 31804 29697 28369 28349 29601 28238 28236 29881 30406 30418 28210 28481 31277 31816 31279 28582 28584 28583 32616 32613 32615 28333 28332 29040 29039 29038 28229 28240 30422 30433 30429 30428 30430 30435 30423 30434 30424 30432 30431 30421 30436 30437 30438 28283 28378 28200 28220 28230 28293 28326 29719 28325 28368 28377 28295 30964 30960 30959 31217 31215 31218 29587 29574 29575 29586 29577 29567 29571 29573 29570 29572 29566 29820 29819 29817 29568 29569 30953 30955 30956 30952 30945 30947 30948 29722 29637 29690 29607 29628 27364 28183 26947 26946 26933 28423 25804 25836 25899 25957 25903 25900 25902 25898 25955 25858 25901 25956 25904 25958 25963 25964 25907 25962 25908 25909 25906 25905 25839 25959 25910 25911 25837 25840 25960 25838 25965 25961 25824 26871 26927 26895 29555 29558 29557 29562 26853 26812 28276 28265 28245 28258 28259 28248 28247 28264 28263 28257 28275 28246 28194 28193 28224 28203 28234 28190 28244 28233 28243 28232 28225 28198 28215 28214 28226 28205 28204 28197 28195 28213 28196 28179 28189 28172 28178 28188 28176 28164 28169 28175 28173 28168 28171 28177 28292 28249 26894 26787 29580 28163 28227 25835 25843 25842 25818 26803 26874 26897 26873 25850 25849 25863 28185 28184 28180 28187 28186 28272 28250 28160 28252 28256 28255 28157 28159 27239 28199 28271 28273 28270 28274 28228 28181 28156 28155 28335 28337 28336 28364 28366 28373 28375 28371 28374 28367 28370 28365 28376 28380 28379 27261 27202 27280 27233 27249 27248 27225 27238 27228 27224 27283 27282 27311 29655 28303 28174 28209 28211 28207 28212 28216 28208 28347 28351 28352 28359 28360 28356 28162 27294 28414 28413 28411 28415 28412 28409 28260 28261 28262 30951 30949 30958 28166 28165 28167 28241 28235 28242 28389 28391 28390 28223 28222 28219 28151 28152 28297 28298 28294 26818 26793 28182 29564 29565 29563 29554 29547 29549 29550 27237 29553 29551 29794 29798 29797 29653 29650 29654 27260 27259 27253 27252 27251 27250 29610 29609 29605 27258 27222 27254 27257 27255 29560 29561 29735 29734 29733 29627 29669 28705 28637 29818 29670 29591 28237 27352 27230 28239 27354 27201 27358 28192 27229 29576 29619 27353 29823 28763 29702 28191 27262 29652 26243 26810 26244 26242 26840 25966 26910 26831 25786 25788 26868 26904 26932 27445 26830 27638 27637 27639 27619 27620 27624 27616 27617 27628 27625 27627 27633 27635 27634 27636 25503 25589 25590 24156 25397 25514 24130 24056 25359 25360 25536 26236 26235 26241 26230 26226 26238 26229 26222 26218 26227 26239 25421 25420 26985 26995 24089 24515 25435 26984 26964 26957 26965 26983 26941 26942 26931 26925 26917 26945 26921 26909 26914 26916 26944 26956 26913 26922 26924 26930 26940 25414 25614 25444 25497 25549 25588 25496 27005 26996 27004 27009 27008 27003 25453 23989 25500 22692 26994 25582 25581 25548 23987 25396 25434 25395 25554 25443 26850 26908 26849 26867 26891 26847 26902 26879 26893 26878 26892 26903 26860 26882 26866 26861 26881 25488 26848 26907 25535 25387 25525 24132 24131 23997 23998 25388 25389 25417 25499 25553 24114 24115 25413 24155 22679 23597 24099 24098 24175 24174 24060 25479 26836 26835 26828 26846 24078 24077 25392 24228 24104 24227 24225 24100 24103 25953 23988 26929 26865 26886 26955 25490 26771 26775 26777 26774 26796 26799 26797 26800 26806 26792 26791 26780 26778 26781 26817 26816 26807 26827 26901 26880 26770 25455 26943 26845 25233 25082 25077 25192 25092 25207 25197 25220 25126 25041 25033 25087 25094 25116 25454 25349 25339 25105 25121 25212 24568 25506 26798 25412 25552 26773 24466 25534 25487 25403 26790 24846 24844 26963 26766 24845 24866 25020 24956 24947 24930 24861 25015 24920 24962 24925 24904 24909 24876 25025 24977 24871 24881 24967 24972 24935 25528 25441 26832 26815 25489 26986 26950 26795 26805 24559 24557 24556 24560 24565 24558 24501 24567 24561 24502 24500 24566 24555 24564 24513 24509 24510 24438 24506 24460 24508 24503 24504 24563 24505 24562 24507 24511 24554 26826 26776 24512 26851 25386 28161 26923 26779 26915 26834 25880 25870 25869 25873 25868 25872 25871 26912 26920 26859 26877 26047 25530 25529 25475 25476 25474 25477 25375 25478 24859 24858 24860 25431 25374 23169 23075 23166 23074 23039 23028 23076 23103 23105 23067 23165 23108 23073 23114 23062 23053 23113 23168 23112 23163 23115 23046 23102 23072 23109 23047 23107 23040 23104 23106 23077 23111 23164 25834 25828 25803 25825 25826 25833 27626 26772 27632 26839 27612 27615 26237 26228 25694 25687 25696 25952 25954 26737 26747 26485 26370 26302 26269 26514 26423 26413 26254 26631 26245 26524 26279 26475 26345 26590 26354 26610 26431 26360 26307 26595 26519 26439 26503 26605 26264 26274 26259 26480 26618 26490 26328 26365 26375 26318 26418 26492 26323 26333 26240 25832 26926 27021 27024 27023 32605 32607 32608 32606 32603 32609 26979 26905 26811 25800 25795 25801 26841 25440 26887 26999 26785 26801 26783 26852 27599 27577 26885 27609 27582 27589 26829 26951 27532 27060 27057 27531 27533 27063 27062 27061 27192 27191 27534 26761 26762 26759 26900 26896 25789 26784 26899 24857 26769 26768 26767 26857 26858 26854 26953 26954 26949 26998 27002 27001 26757 26875 26872 26876 26821 26824 26825 26758 27441 27516 27519 27507 27503 27511 27521 27515 27508 27449 27450 27451 27526 27501 27530 26135 25793 26133 26134 25794 24443 25385 27528 27500 27513 27510 27428 27527 27520 27517 27504 27453 27514 27497 27502 27498 27499 27509 27512 27518 26838 26786 26991 26993 26863 26862 26864 26992 26814 26809 26813 26961 26962 26958 26939 26937 26938 26755 28149 28153 29750 29749 29745 25564 25560 25563 25423 25426 25427 27641 25370 25371 26234 26765 23162 23054 23008 23167 23110 25686 25684 25682 25683 25787 25415 25416 25556 25555 25411 25551 25358 25541 25540 25539 26763 25391 25390 25604 25600 25603 25363 25466 25464 25465 23468 23564 24856 24847 23814 23558 23684 23951 23569 25384 25369 25616 25615 25618 25617 25619 25613 26211 26191 26136 26184 26179 26201 25367 25501 25498 25502 25578 25574 25579 25571 25569 25580 25568 25577 25575 25570 25584 25583 27461 27529 27459 27460 27083 26789 26788 26782 25357 25594 25595 25593 27198 27193 27199 27085 27623 27187 24206 24205 24202 23459 23986 23993 23992 23968 21148 21151 21154 21150 21146 21153 21149 21152 19443 22241 19447 19444 19446 19448 23527 23461 23809 23483 23822 23574 23462 23537 23799 23835 23473 23643 23522 23511 23478 23694 23794 23463 23506 23718 23679 23617 23689 23723 23941 23627 23532 23622 23696 23549 24736 26123 26100 26106 26116 24737 25790 25656 24261 25654 25652 26097 25653 26093 26091 25655 26092 24267 24395 26129 26122 26114 26105 26103 26104 24735 26102 26101 26132 26113 26130 26119 26110 24396 26120 26111 26117 23707 23579 23460 23635 23728 26061 26062 26131 26063 26099 27189 27053 27051 24266 25792 25657 24264 27054 27188 24265 27190 25791 27050 27055 26118 26052 26036 26112 26030 26043 26121 19748 24793 26128 26053 24786 24813 24781 24738 26055 24803 26109 26115 32421 32430 33864 32518 32579 32571 32578 32525 32543 32524 32591 32424 33866 33862 32542 32551 32477 32479 33865 33861 32486 33863 32497 32478 32489 32443 32593 32590 32433 32519 32538 32594 24066 24068 24067 32444 28396 28400 28399 29015 29017 29018 29014 29023 29025 29022 29026 29031 28843 29030 29024 29032 29034 29033 27613 27610 27184 27185 27186 27622 28591 28597 28596 29035 29037 29036 29021 29010 29008 29728 28478 28482 28483 29634 29700 29625 29013 29701 29681 26764 33811 25366 29011 29672 29668 29671 30410 33814 33813 33815 33809 28422 28419 28421 33823 29994 29995 29989 29983 28585 24388 24389 24390 29579 29597 29606 28987 28975 29007 28980 28997 28589 28451 28588 28448 28590 28452 28450 28453 28587 28932 28908 28899 28907 28901 28898 28897 28902 28832 28914 28839 28851 28848 28924 28849 28911 28930 28926 28916 28893 28895 28887 28889 28912 28900 28909 28888 28913 28826 28905 28906 28929 28918 28925 28919 28917 28928 28931 28915 28586 28896 28910 28449 30405 30395 30378 30373 30385 28847 30330 30286 30314 30237 30313 30303 30309 30230 30308 29986 30299 30324 30315 29984 30249 30280 30326 29985 30317 30246 30322 30224 30305 30298 30247 30285 30323 29987 30293 30290 30304 30279 30283 30282 30306 30294 30316 30300 29988 30291 30329 30288 30296 30311 30328 30287 30327 30312 30277 30295 30307 30297 30310 30255 30256 30325 30257 30245 32394 32414 32395 32377 32385 31776 31771 31803 31783 31793 33201 33181 33191 33174 33169 31728 31647 31654 31714 31653 31715 31698 31622 31708 31710 31244 31696 31683 31684 31693 31685 31709 31706 31689 31697 31257 31635 31695 31256 31703 31705 31702 31701 31694 31723 31720 31724 31645 31655 31712 31722 31644 31721 31713 31704 31707 31725 31726 31727 31248 31249 31245 31383 31385 31382 31386 31384 31247 31251 31711 31628 33100 33093 32647 33082 33091 32781 32642 32783 33087 32643 33089 32784 33081 33083 33020 33102 32644 33099 33103 33096 32645 33095 33109 33108 33033 33104 33106 33107 33105 33113 33121 33125 33123 33126 33124 33111 33051 33110 33043 33052 33112 33120 33042 33053 33122 33118 33045 33119 33090 32782 32780 33041 31643 29578 29585 29584 29633 29639 29640 29695 29692 29696 24157 24158 26212 26214 28858 28857 28927 28859 29789 29788 29787 29660 29659 29658 26051 33094 32646 33092 33101 33026 27434 31192 31196 31195 32554 32550 32553 32585 32583 32584 29812 29810 29811 29807 29813 29809 31208 31205 31207 31209 31210 31211 25361 25623 25626 25625 23966 23967 23961 23962 23959 28484 32529 32531 32530 23965 23963 32378 32381 32374 32380 23022 23084 20842 20846 20841 20844 20845 22243 22239 22240 22244 22242 24153 29019 28490 28492 30407 32403 29012 32401 32405 32406 21260 21210 23089 22576 22572 21368 21327 21360 21336 21355 22789 22769 22751 22770 22763 22790 22771 22762 22801 22800 22791 22749 22723 22722 22731 22748 22720 22747 22737 22750 22727 22736 22728 22730 22746 21231 21354 22761 22721 22729 21359 20839 20831 20672 20783 20682 20736 20731 20773 20726 20768 20741 20677 20667 20762 20821 20710 20778 20826 20753 20715 20687 22726 21388 22735 21358 21367 21326 22151 22229 22139 22075 22085 22166 22124 22065 22070 22108 22113 22171 22237 22224 22129 22080 22160 22176 22181 22219 22134 21335 22703 22064 22062 22063 21341 22061 21230 21247 21387 21334 20664 20663 20665 20666 22571 22602 22598 22587 22586 22597 22601 22584 22577 22583 22580 22581 21319 21379 22621 22613 22612 22632 22606 22605 22653 22634 21281 22683 22671 22656 22622 22633 22623 22652 22641 22655 22666 22642 22714 22708 22709 22715 22719 22699 22688 22673 22687 22684 22685 22667 22672 22651 22686 22665 22603 21282 22697 21227 22611 22713 22640 22707 22604 22654 22718 21202 21318 22596 22585 21378 21239 22579 21293 21305 21237 21302 21294 21226 21201 22582 22768 22799 22797 22798 22570 22767 22764 23971 23973 23972 21400 21401 21193 21238 21399 21259 19861 19862 21361 21362 21357 21279 21366 21370 21369 21248 21218 22738 22740 22644 24837 24838 24830 24186 22638 22711 24179 24836 24829 24840 24831 24832 24839 24172 24182 24185 24173 24171 24177 24181 24180 24170 24176 24649 22776 22785 22637 24842 24843 24841 22617 19796 21209 21340 21271 21272 21270 21246 24706 24714 24731 24725 24712 24713 24719 24708 24717 24732 24734 24724 24722 24718 24663 24664 24665 24730 24655 24653 24733 24654 24657 24632 24720 24645 24711 24723 24704 24703 24705 24701 24721 24715 24638 24707 24702 24716 22998 22592 21385 21381 21384 21386 21374 21383 21375 21376 21390 21377 21389 24162 24166 24165 21380 21165 21166 22997 31147 31148 31143 21853 21191 21162 21164 21157 21158 32410 22567 22568 22565 22573 22574 22575 29768 29778 29772 29765 29773 29764 29771 29777 29763 29774 29769 29762 32545 32541 32546 24195 24197 24196 21592 21593 21491 21594 22049 22048 22050 22033 22042 22041 22044 22047 22036 22045 22035 22034 22043 22040 22990 22992 24820 24828 22991 24816 24814 19266 19267 19265 19268 22051 22060 20653 20662 23458 23449 23446 23447 23448 21177 21175 21176 31019 31015 31018 31066 31069 31070 32567 32561 32564 32565 32573 32559 32574 32570 21192 20652 20650 20651 26981 26966 26967 26982 26977 26978 33890 19897 26968 26969 26976 26973 26972 26975 31133 31131 31132 33889 33885 33888 33886 21421 21422 21425 21424 21423 21419 19719 18299 19671 19679 19684 19686 19692 19717 19695 19716 19705 19673 19694 19696 19468 19480 19689 19681 19680 19668 18292 19723 19688 19664 19659 19708 19573 19669 19724 19720 19699 19698 19715 19661 19712 19704 19713 19687 19663 19472 19740 18076 19709 19711 18284 19691 19701 19718 18308 19670 18338 19666 19657 19677 19730 19725 19732 18342 19731 18082 19746 19726 19728 18083 19475 19738 19745 19675 18343 19676 19743 19739 19735 19727 18074 19474 19734 19736 19737 19744 19742 18070 20993 19481 19690 19741 19660 19665 19667 19678 19707 19721 19685 19706 19672 18328 19662 18320 19733 19682 19710 19714 19693 19722 19658 19703 19572 19697 19683 18077 19702 15634 15639 15619 15628 14711 14679 14672 14677 14708 14678 14668 14709 14710 14666 20321 15618 15638 15627 15626 15617 15599 31090 31093 32560 32568 31094 32558 32569 22025 20195 20092 20091 20097 20095 20104 22023 20196 22018 20102 22020 20194 22024 20090 22021 20098 22031 20100 20093 22027 21493 20094 20099 22028 22030 22032 29887 29882 33784 31152 31155 31156 22564 23338 23337 23339 23340 23383 23405 23415 23388 23395 31186 31187 31185 31176 31163 31172 31175 31166 31162 31170 31160 31167 31169 31171 31161 23100 30417 31052 31051 31048 26178 26177 26176 33794 27165 27086 27091 27621 27611 27614 27128 27129 22698 19802 19800 19801 19791 19785 19781 19787 19790 19788 19784 19806 18399 19786 18546 14675 14676 14712 18417 18407 18378 9689 16990 18385 18486 18430 18562 18558 18506 18509 17453 18544 18571 18599 12605 9894 9908 9919 9949 9895 11286 9686 9903 9688 9909 9910 9954 9887 9931 9930 17166 17164 17160 16984 17235 16980 17238 16979 17146 17237 17001 15592 15611 15642 15650 15595 16987 15614 14205 14270 15589 15664 16977 17165 14380 14379 14328 14259 14222 14258 14337 15694 15052 15030 15028 15059 14602 14604 14603 15058 15060 14503 15045 13205 13642 13658 13657 13653 13633 13630 15037 13659 15050 13370 13371 13372 17184 14240 13639 15035 15055 14729 13660 15041 15031 13656 13648 13103 13647 13644 13204 15057 15033 13640 15840 15582 14250 14336 14249 14260 14241 15736 15728 15745 14306 15682 15717 15718 15695 14237 15677 15697 15708 14389 15698 15054 14247 13645 13635 15040 13637 13643 13654 13662 15051 15038 15046 15581 15837 15579 14220 15839 14305 15586 14221 17193 17147 17053 17054 17148 17132 17659 17201 17173 17015 16997 17025 17024 17119 17016 18613 18610 17036 18614 17046 17099 17055 17140 18370 18373 18369 18367 18371 18374 19772 19776 18539 18377 18517 18444 18463 18499 18498 18414 18545 18434 18636 18633 18635 18442 18451 16976 16973 16975 16967 16968 16972 16971 16964 16969 16978 14769 14770 14768 17017 14304 16983 16981 16982 14673 14671 17167 17168 17163 18522 18530 18415 18405 18582 18443 18452 18453 17141 17100 17066 17111 17044 17065 17108 17032 18485 17525 17101 19769 19771 16440 15901 16444 16453 16457 16432 15900 15904 16452 16442 16001 16456 16441 16455 15897 16448 15910 15908 16443 16000 16451 15906 16426 16450 15898 15903 16436 15905 16002 15896 16449 16428 16458 17398 17854 17856 17826 17846 17839 17849 17842 17848 17841 17838 17840 17824 17851 17400 17399 17855 17852 17834 17853 17850 17847 17830 29757 29754 29758 27564 27575 27574 27567 27573 27565 27566 27572 27569 27576 27571 27570 27568 17957 17945 17914 17876 18025 18035 18030 17919 17881 17987 17977 17891 17972 17871 17930 17935 17966 18043 17982 17940 17886 17857 17866 18538 18591 18464 21601 21606 21595 21607 20455 18009 17406 17405 18796 18798 18797 20648 20636 20649 20646 20638 20637 20643 20634 20626 20622 20644 20620 20645 20630 20635 20647 30363 17231 17230 24824 25531 30058 32365 32442 31017 32597 32508 19057 18563 18423 18422 18395 18413 19236 19250 19228 19245 19237 19239 19232 19254 19240 19252 19253 19248 19224 19247 19249 19244 19238 19222 19246 19251 18516 18497 18441 18450 20025 20026 20027 20021 20024 20023 18551 18549 18550 18376 17212 17215 17216 17229 17228 17227 17225 17027 17028 14439 14442 17023 17077 17078 17076 16970 17867 16966 16963 18375 15134 15191 15085 15095 15176 15181 15247 15161 15139 15123 15075 15090 15239 15118 15080 15186 15144 15149 15229 15234 15170 17175 17176 17172 14410 14411 17186 17180 17192 17181 17190 17196 17191 17183 17182 17187 17195 17189 14409 14322 17153 17152 17151 14303 14357 14355 14356 17207 17206 17205 14376 15817 15818 15814 14441 14183 14181 14398 14175 14176 14171 14168 14166 14169 14172 16277 16275 16276 15577 15575 15578 15580 15584 15571 15574 15573 15585 15583 14219 14201 14248 14269 14397 15755 15754 15753 14229 14228 15770 15769 15765 18628 18627 18629 18623 18625 18626 16454 13849 13841 13831 13836 13720 13697 13687 13736 13746 13783 13793 13682 13741 13772 13788 13725 13692 13778 13763 13751 13677 13672 13663 13105 16348 16347 16349 17813 17823 17803 17796 17791 17748 19805 19783 21836 21842 19789 19778 19779 19777 19794 17745 17747 17746 22889 23418 22891 23416 23428 23426 23421 23425 23422 23423 23430 23419 23256 21911 21907 21906 21910 21909 21905 24823 24821 24819 24826 23332 23304 23315 23305 23314 23336 23323 23325 23306 23259 23257 23255 23307 23333 23316 23240 24287 23303 23327 23309 23324 23317 23334 23308 23326 23310 23320 23321 23318 24289 24817 24827 23251 23439 23438 23434 23431 23432 23433 23442 23444 23443 23445 23322 23441 23247 23440 21921 21917 21916 21919 21912 21920 21922 30266 30261 30271 30276 19765 15034 14501 15043 13206 15042 13636 13661 13632 16832 16845 16699 16704 16261 16717 16728 16804 23429 26225 26221 26219 26217 26215 21908 21867 21859 21857 23265 23335 23267 23266 19130 19145 19143 19142 19139 19132 19144 19140 19133 12694 12721 12676 12679 12695 12718 12681 12722 12725 12731 12748 12738 12673 12708 12670 12672 12741 12583 12687 12728 12675 12677 12674 12709 12717 12714 12733 12737 12719 12701 12724 12744 12747 12720 12696 12742 12732 20438 20444 20463 20459 18675 18674 18669 18673 18672 18804 18803 19111 19110 19114 19121 19116 19123 19120 19124 19109 19129 19113 19115 19127 19126 19112 20507 20511 20512 22861 22994 22857 22856 21903 21897 21899 22858 23295 22996 21898 23297 23296 23301 22859 22860 22995 20510 20501 20505 20500 20513 20508 20509 20499 21997 21990 14099 14096 14146 14080 14127 14085 12692 13981 13980 14091 14079 14131 14112 14119 14151 14150 14115 14122 15287 15491 14134 15490 15540 15539 15538 15494 15534 15548 15531 15543 15498 15507 14090 15514 15510 15484 15536 15537 15508 15281 15552 15517 15533 15378 15483 15478 15513 15529 15475 15516 15492 15477 14126 15519 14144 15527 15391 15489 15550 15476 14154 14153 14110 15463 15470 15472 15466 15465 15464 15474 14145 12736 14129 14087 15493 15545 15520 15505 15526 15497 15515 14105 14098 15485 23427 23420 13993 14071 14068 14074 14070 12700 12735 12729 12686 14086 14092 12697 12734 12712 12698 12723 12693 12582 12754 14130 14117 14128 14093 12682 12688 12668 14135 14101 14106 12751 12752 12730 14078 14152 14121 12669 12756 12755 14084 13889 14067 14076 14066 14072 12595 12702 12713 12680 12671 12753 12678 12667 14133 14107 12746 14141 14142 14109 14069 14065 14140 14132 14111 14139 14138 12716 12689 12491 14077 12749 14095 14147 14094 12740 12711 12703 14118 14123 14120 14136 12707 14100 14116 12743 14073 14075 14003 19775 19768 19767 20642 22046 15065 15473 15521 15551 15528 15467 15469 15509 15549 14114 15504 14149 15499 15544 15379 15468 15518 15525 15530 23005 22999 23004 22993 20806 15547 20203 20197 20209 20208 30250 30242 30243 30244 30253 30259 30254 30260 30258 30240 30234 30238 30236 30235 30233 30231 30232 30239 20460 21861 20451 20461 19046 21858 21869 22017 21868 21985 21942 22007 21849 23313 23319 21918 23234 21923 21924 21925 25032 25031 21934 21936 20536 20528 20530 20531 20537 21941 20529 21939 21927 20519 20526 20522 20517 20524 20527 20514 20521 20518 20520 20525 20523 25030 21926 21937 21928 21935 21938 21929 21940 29191 29185 29192 29195 29178 29181 29177 29184 29190 29182 29189 29174 29187 14113 14104 13883 28800 28802 28801 28803 28873 28868 28799 27784 27789 27793 27794 27791 27809 27810 27797 27796 27790 27792 27787 29175 27783 28805 28804 29207 28878 28863 29194 29208 29188 29183 28806 32402 32375 32393 31760 31765 31767 31758 31764 31762 31763 31761 31766 31759 31991 31990 32004 32003 31770 31768 31769 31664 31985 31979 31980 31978 31987 31986 31981 31984 31977 31983 31988 31974 31973 31970 31659 31669 31674 31598 31596 31589 31590 30605 30593 30606 30592 30586 30572 30582 30580 30579 30576 30589 31602 31601 31599 30581 30202 30201 30203 30204 30191 30192 30199 30200 30198 30197 30583 30585 30588 30587 30575 30590 29173 30573 31971 30571 31600 31597 32417 32413 32416 32429 32436 32435 24403 24397 24391 24402 26387 26388 26389 26385 26386 26399 26393 26391 26396 26412 26394 26398 26411 26392 26395 26383 30577 24985 31969 31975 32488 32492 32491 28509 29961 31352 27111 27106 27785 27786 27776 26381 26382 27779 27780 26378 24994 24987 24991 24988 24998 24996 25001 25000 25013 25014 31305 31300 28388 24983 24984 24980 26376 29180 27782 24978 27774 23602 26379 23587 23591 23595 23596 23615 23600 23599 23590 23616 23603 23598 23592 23589 23593 27475 27465 27480 27408 27405 27402 27403 27407 27404 27406 27401 27470 31331 27778 27114 29907 27158 31332 31350 31658 31373 31641 31640 31657 31656 31366 31365 31353 31648 31642 31651 31652 33389 33402 33384 33383 33378 33000 33167 33166 33168 33160 33164 33158 33162 33165 33161 33156 33163 33157 33159 33056 33057 32999 32995 32988 32996 33039 33040 33055 32998 33067 32750 33062 32997 33375 33072 33385 32764 33369 33049 27013 27015 27011 27014 27016 27017 32748 32449 32450 32446 27138 24995 24997 24990 24993 24989 22917 22912 27113 25716 25715 32751 32771 32730 33388 33038 33381 32994 33377 33046 33371 33054 33372 33368 33382 33379 33050 28504 32763 33376 32987 33401 33386 27775 27781 31308 29179 31333 31292 31306 31290 31291 28797 31309 28798 31293 31330 25028 25029 25026 22204 22205 22218 22217 22198 22189 22197 22192 22195 22191 22202 22200 20807 20819 20820 20609 20592 20619 20544 20599 20587 20543 20542 20541 22201 22199 27777 25731 25730 26231 26233 25752 26232 24029 24025 24028 15401 12485 15524 16873 16887 16883 16876 16896 16931 16882 16907 16929 16932 16928 16912 16903 16923 16919 16916 16908 16911 16914 16927 16924 16913 16947 16934 16902 16941 16942 16936 16938 16918 16926 16915 15512 15532 16895 16889 16897 16888 16875 16905 16891 16925 16892 15503 16946 16937 16943 16874 16935 16950 16906 16890 16948 16881 16917 16949 16679 16685 19595 16521 16542 16478 16627 16547 16574 16589 16483 16568 16493 16537 16473 16632 16579 16559 16516 16584 16532 16637 16468 16488 16459 16645 16922 18274 18268 18333 18315 18272 18293 18301 18309 18295 18294 18312 18305 18325 18324 18326 16930 18332 18339 18317 18316 18303 18313 18310 18290 16901 16910 18323 18271 18273 18279 18262 18260 18287 16940 16945 16894 18175 16886 18174 18289 18285 18286 16398 16393 16415 16350 16425 16405 12690 12705 12484 12685 12706 12750 12727 12726 12704 12715 12699 12683 12745 12482 12478 18335 18278 18321 16776 16777 16862 16863 16866 16864 16867 16861 16870 16865 16872 16868 26377 23833 25231 25230 25232 25224 25229 23834 23826 22425 23831 23832 14102 14103 28794 14124 14125 14081 14083 14082 28793 13880 14097 14143 14088 14148 13876 28964 28973 28972 28969 28970 28965 28968 28974 28963 28966 28967 28962 28971 12490 12684 12691 19125 19122 16871 16869 16880 17870 17869 17868 18810 18805 18811 15274 15482 32376 15286 21062 21067 21096 21118 21132 21085 21077 20878 21082 21100 20873 21076 21144 21140 21107 21121 21070 21120 21137 21108 21089 21141 21086 21102 21064 21061 21128 21056 21069 21142 21101 21135 21105 21109 21125 21103 21113 21068 21110 21099 21055 21081 21090 21111 21112 21123 20879 21126 21104 21083 21059 21091 21075 21117 21143 21058 21057 21129 21131 21130 21122 21084 21106 21097 21066 21060 21136 16920 16672 16884 16921 16879 16900 16678 16939 16885 16877 16899 16898 16909 16893 16676 16944 21065 18283 18298 18318 18275 18282 18307 18291 18337 18296 18276 18297 18319 18277 16684 18566 18565 25688 25693 18561 19963 19873 18396 18397 19131 18197 19959 19964 19874 25221 19872 19774 20001 20003 20002 19364 19355 19338 19289 19269 19423 19433 19441 19428 19333 19328 19274 19312 19380 19343 19279 19317 19375 19284 19264 19255 18692 18704 18706 18702 18700 18694 18701 18699 18696 18697 18693 18799 19370 19385 19773 20034 20031 20033 19949 19948 19947 20012 20008 20011 19799 19792 19798 19992 19986 19982 19987 19978 19979 19983 19977 19988 19985 19991 19976 21163 32467 32468 32464 22563 22561 22435 22433 22436 22434 22428 21027 21035 21037 21038 21030 21036 19639 19637 19638 19640 19632 19674 29946 32454 32455 32456 29924 29925 24981 25713 21522 21521 22188 22187 23585 23586 22182 22185 22184 33367 32703 32707 32690 30195 32728 32731 32688 32689 32691 32706 30196 21915 25592 23824 23454 22971 23583 23582 23088 23086 22943 23580 29172 30570 24852 26622 26250 23823 21545 25222 26628 26620 26627 26630 26629 25365 29176 30574 25767 28535 31968 31972 33965 33967 33968 33971 33972 33966 33964 32704 32698 33373 24220 24218 24217 24221 24215 24219 18187 15479 15480 15546 28512 28511 28556 28536 28555 33832 24318 18010 18264 15481 15278 15542 18263 18270 15496 16789 16799 29617 29620 29621 20952 20951 20950 20990 20985 20972 20989 20981 20991 20969 20978 20976 20982 20974 20977 20956 20986 20957 20984 20987 20968 20992 20975 20983 20971 20970 26364 26363 26362 21519 15809 15808 15807 15679 15680 19968 19971 19972 20201 20202 17565 17564 17566 24295 24290 20540 20538 20539 20471 15832 15831 15829 15830 15833 15827 19071 19053 19063 19062 19072 19061 19065 19073 19040 19141 19119 19128 19138 22829 22830 22827 15471 22808 22807 22804 21873 21878 21888 21883 21973 21980 21978 21976 21981 21977 21979 21972 21974 21975 24780 24773 24772 24779 26169 26168 24768 24776 24775 24774 26171 26173 26170 26175 24769 24777 26172 26174 26166 24770 24771 26167 24778 23375 23379 23382 23376 23380 23373 21984 21982 23372 23377 23378 23370 21983 23371 23381 23374 29910 29909 25708 22817 22821 22820 22819 22822 22823 21872 21871 21865 21855 21870 21866 21862 21854 21856 21844 21845 21852 21843 21846 21848 21847 21850 22569 15541 15280 15523 15500 15522 16463 15501 20955 18341 18348 18344 18345 20938 20943 20942 20939 15502 15495 15486 19201 19189 19221 19211 19146 19194 21851 29934 29952 29955 20994 27150 27629 27631 27630 20997 19585 13882 18330 18304 20658 21028 19559 19553 19558 19592 19576 22426 22234 22236 22235 22056 23634 23633 23632 19599 19586 19580 19584 14089 13888 23630 23628 23631 26067 27396 26077 26008 26072 26004 26009 27395 26003 26005 26007 26006 26010 26082 24310 24315 24965 24966 24964 24362 22230 22233 22232 28862 28852 28846 28845 28844 28861 28855 28570 28856 28569 28577 28860 19438 20836 20837 20838 19439 19440 22892 22897 29954 19260 19630 21063 19557 19570 19552 19589 19554 19591 19593 19598 19596 19594 19574 19571 19583 19577 19578 19588 19587 19579 21573 21499 22037 22039 22038 21558 28496 26001 28534 28497 26002 28510 28495 28537 28513 28494 28554 28557 17861 16878 27399 29935 29902 27400 29892 29893 29894 29911 29932 29895 20996 20814 20810 20815 20817 20813 20818 20811 18311 18280 18336 18314 18340 29967 29975 29968 18300 18306 18281 18266 18322 18329 18261 18259 15488 21494 29908 18327 18346 18347 18334 18288 18265 30364 30367 30372 30361 30371 30366 30370 30368 30362 30360 30365 30369 23437 22934 22935 23436 23435 22956 15053 15044 14863 15056 15061 15070 18269 18267 18603 18573 18574 18570 18605 18604 15777 15778 15774 20000 15678 17743 17733 17735 17665 17732 17663 17742 17741 17744 17734 17740 17722 17729 17723 17655 17730 17718 17642 17664 17673 17721 17731 17674 17725 17675 17667 17728 17726 17648 17724 17727 16344 16346 17711 17714 16008 17717 17716 17715 17713 17712 16007 16345 21536 21537 19409 19408 19422 19421 22759 20790 22193 22760 22755 22194 20789 20787 20786 23581 20793 20796 20803 20799 22183 20795 20801 20802 22186 24979 20791 20794 20800 20797 20804 19407 19419 19420 19417 19544 19416 19412 19415 19540 19541 19545 19413 24194 13465 13646 13652 13655 11815 11820 11809 11821 12418 14616 14605 14611 14617 17407 17295 17298 17306 17302 17413 17296 17303 17412 17301 17299 17304 17294 17401 17308 19393 14609 14610 12406 12419 12414 12416 12405 12409 12412 12408 12431 12411 12432 11033 12415 11034 11021 12403 12413 12407 11011 11008 11009 11005 11016 11007 11010 11013 11014 11018 11015 11017 12402 14371 14372 14367 13815 13816 6890 8290 8284 8288 13829 13817 13830 13801 13807 13812 13804 13810 13803 13814 15798 15794 15797 15870 16005 15868 15869 15866 15871 16006 15213 16343 16334 16336 16337 16330 16328 16333 16331 17403 17697 17404 17695 17402 17704 17701 17269 17698 17700 17709 17703 17705 16315 16313 16319 16327 16324 16320 16325 16314 16342 16265 16266 16269 16267 16318 16317 16316 15867 16307 16311 16004 16306 16305 15205 15202 15208 15201 15204 15203 15207 16607 15199 16605 16602 16601 16606 16599 16608 16603 16597 16610 16609 16600 17995 18006 18007 17997 18003 18000 17998 18004 18008 17999 18001 18005 18023 18011 18024 15384 15399 15360 15365 15380 15400 15402 15386 15376 15364 15385 15383 15382 15397 15390 15389 15404 15394 15393 15363 15392 15405 15395 15398 15377 22920 19405 19395 19406 19401 19402 19396 19404 19399 19403 15358 15359 9810 9813 9812 18726 9798 9808 9806 9794 9797 9802 9800 9793 9803 9792 9791 12401 11003 11001 12399 12397 12398 10999 14396 14400 11000 16014 16009 16003 16015 14399 24605 24679 24669 24684 24674 24610 24606 24611 25997 25998 24609 24612 24608 24607 27463 27464 27446 27457 27462 27179 22964 22944 27171 27172 27458 27447 27454 27448 19389 22590 13809 13813 13805 13811 13806 18590 18588 18587 18579 18584 18585 18581 18580 18594 18589 18593 18578 23566 23568 23567 18201 18200 18191 18179 18159 18156 18180 18193 18155 18194 18190 18178 18173 18186 18195 18198 18196 18172 18154 18182 18176 18161 18188 18160 18181 18185 18189 14173 27159 27156 26361 11189 11191 11203 11186 11204 11200 11190 11182 11171 11199 11198 11188 11183 11195 11205 11206 11196 11192 11165 11210 11208 11201 11169 11170 11211 11166 13988 13992 13978 13996 14002 13962 13965 13985 14004 13979 13997 13991 13967 13961 13960 13999 13986 13984 14000 14001 14007 13995 13966 13994 13987 14006 13982 10867 10876 25760 16625 16613 16626 16612 13218 13213 13207 13219 15211 15212 15210 15215 15227 15228 15214 15209 21398 24604 27136 27098 27115 27096 24603 27112 27099 27097 27139 23565 24963 11004 16335 14952 15000 15027 15017 15007 14995 13602 13629 13597 13554 13609 13490 13619 13500 13495 13485 20124 16329 14950 14951 14949 16257 16323 16326 16332 16250 16244 22169 22168 22170 19392 19388 20832 20834 20835 19391 19397 19398 14908 14918 14913 13080 14926 14927 14948 14946 14935 14936 14920 13083 14907 14919 14909 14945 13082 14933 14917 14929 14932 14921 14915 14922 13081 13070 14939 14916 14938 13077 14930 13551 13552 13553 13519 12154 14852 14925 14934 14869 13517 14871 12155 14859 14868 14937 13518 11813 14931 14867 14846 14928 11814 13521 13522 13523 14944 12153 14947 13527 13448 13549 13540 13550 13529 13541 13535 13532 13547 13537 13548 13534 13538 13531 13469 13454 13461 13471 13470 13536 13473 13546 13539 13530 13533 14879 13520 13481 13524 13528 13212 13211 13474 13484 13482 13466 13467 13477 13468 13478 13483 20785 17991 17994 17993 17990 23209 24600 23207 23208 24599 23210 10756 10416 10757 10755 10677 10673 10750 10753 10665 10652 10658 10737 10734 10685 10731 10675 10740 10674 9018 10739 10744 10754 10738 10751 10745 10735 10736 10752 10743 10741 10742 10732 9359 10733 9357 9358 10728 10727 10415 10723 10722 10721 9017 10724 10725 10726 12152 12121 12125 12126 12143 12137 12149 12150 12131 12119 12139 12140 12130 12133 12134 12083 12151 12120 12136 12142 12122 12123 12124 5209 5221 5241 5231 5214 21546 5916 6471 5082 6483 5852 5917 5083 5081 3683 5073 6480 3036 3121 7888 7889 7856 7878 7881 3687 7869 6491 3056 5093 5092 3685 6464 5091 6481 6458 3662 5832 5060 6479 3684 3233 3693 5066 5085 3695 3694 3668 7862 7879 7877 7887 3120 3675 3746 7943 7937 3760 7957 7938 7956 7939 7935 2363 2368 5145 7949 3426 2351 7941 5135 2369 2344 9356 5160 6557 5162 5140 5149 3742 6559 7955 6542 7954 6563 3749 7940 5161 7945 3763 2364 6540 2366 5150 5142 6543 2357 5147 5164 7947 7942 5163 6538 2367 2339 5159 5158 3737 3748 2353 3754 3765 6534 6558 2348 7931 9337 6556 6537 3738 6551 9355 3762 6544 6545 6539 5144 7932 6562 6561 7946 7948 7958 7936 7944 5152 3766 9354 9343 9333 9342 2345 9329 9340 7960 9334 5136 5148 3743 5141 2354 9346 3745 2347 9336 9260 5151 9345 6550 2356 5153 9341 3767 6548 3755 9335 9338 9347 9353 9330 9344 9352 6547 6541 3744 3764 5146 7961 3750 6546 2340 3753 7959 9339 4824 3761 2350 9279 9287 9276 9275 5143 6533 3747 5139 9254 9267 9277 3741 3751 6560 2349 6549 3752 5165 5089 5080 5070 5096 5068 5076 5072 5090 5086 5061 5074 5078 5067 5069 5071 5065 5064 5094 5079 5075 5095 5129 5130 6527 3425 5131 4823 6529 6528 7927 9323 9325 9324 7925 7926 9327 7930 9328 9326 7928 7929 880 2352 2346 5133 5132 3735 3734 3736 6532 2277 876 2295 2296 877 6530 2337 871 879 887 889 2297 867 874 870 861 2270 868 890 2343 2264 6531 873 862 860 2355 2365 2336 892 886 2338 5134 863 891 14607 14608 21565 21566 24317 18749 12156 12231 12204 12211 12199 12221 24178 13456 13463 13460 13457 13462 13455 13464 13458 13459 13453 13452 13449 14606 14910 13071 13073 14472 14899 14473 14912 14901 14905 5166 20770 20121 20147 23281 23214 23211 23212 23276 23271 23286 23213 18723 16621 20123 21514 18019 18021 18022 26059 25699 25738 26056 26050 25698 12071 12075 12072 12073 12063 12050 12138 12148 12129 12056 12135 12132 12141 25714 25741 26048 25781 25761 22773 22782 22783 22781 22788 22772 22778 22784 22787 22775 22774 22779 26060 23205 25774 25758 23206 25773 26066 26049 26065 25740 25701 25717 26064 25700 19387 2333 2334 2335 3731 3733 858 3732 857 856 3035 4415 22743 22745 22744 16623 16624 19014 19013 19016 16592 16596 16595 16593 16281 16291 16286 16296 13594 13587 13591 13590 13585 13596 13593 13584 13588 13586 13589 13595 13592 22595 22588 22594 17679 19082 17694 17684 19092 17689 19077 19087 19069 19058 19070 19059 19066 19060 19020 19019 19018 19074 19075 19076 16264 16274 16262 16270 16273 16279 16263 16280 16278 14893 14883 14888 14898 20475 20480 20485 20490 20417 20415 20413 20412 20411 20418 20414 20416 16255 16252 16256 16251 16245 16254 16248 16259 16260 16249 16253 16258 17678 17661 17676 17677 17668 17671 17662 17660 17672 17626 20424 13436 16237 17635 20435 13056 19024 16228 14843 17638 19028 13432 19036 19033 14844 20431 14834 10264 14830 17639 20429 13063 17640 20437 13057 16232 14839 17630 12038 20426 20422 16240 20428 13065 13066 19037 20425 14842 16242 20434 20433 16241 20436 13068 19038 13064 12034 20432 13058 6463 10636 6459 6472 6469 5044 5046 13441 6452 6462 6493 6465 6453 5047 5051 6442 6473 6484 6466 6478 9247 5059 5054 6467 6470 6474 6487 5053 6488 6476 2271 2263 2257 3672 3696 2259 3671 3661 6445 6444 3657 3656 3678 3682 3649 3648 2255 2274 3698 3680 3666 3655 6449 3674 3676 2258 2250 3673 17654 17657 17650 17658 17652 17646 17643 17649 17656 17651 17647 17653 20456 20472 20474 20464 20457 20458 20473 20467 20468 17629 20443 16238 10639 16243 16239 16235 16234 17636 20449 17641 20452 17633 10646 10643 10638 10647 20439 17637 17628 19041 20454 17632 19034 20442 20446 19026 20448 19049 19048 19039 19027 19051 16231 19035 19054 19055 19045 20447 19031 20445 19052 19050 19047 19030 19044 20450 16230 20453 19056 14847 14864 14860 14862 14856 14837 6639 6607 6619 6612 6629 2268 3646 7840 3692 6492 5055 3697 2269 2275 3688 3677 2251 3663 3691 14851 14833 14841 14858 14866 14876 14872 14840 14882 14880 14845 14836 14855 14832 14853 14881 2265 3669 9238 3670 6451 3653 2276 2248 7849 12043 6477 6494 10645 6468 6457 2273 3681 3667 13434 13443 12036 12040 12064 12085 12084 10668 10666 5112 10686 12059 13435 13447 13439 12070 12062 12049 12060 12037 12076 12066 12041 12044 10678 10687 5102 6564 5107 5097 10659 10657 12068 13438 12086 12045 10667 12051 13442 10651 10656 12055 10670 10661 10672 12057 10653 10664 10682 10681 10662 12080 10688 19015 19017 20405 20406 17325 17351 17372 17320 14532 14531 16591 17989 13796 13795 13800 13799 13797 10833 10813 10806 10801 10823 14865 14850 14861 14857 14854 14875 10660 10663 10671 15198 15194 15195 15197 12069 12102 12054 12079 12092 12097 12065 12087 12061 12058 15193 18041 18040 18042 16642 16643 16644 31636 31633 31637 31638 31632 31634 18146 31280 31344 31285 18017 18014 18142 31631 31630 18143 18015 18018 31629 18147 16617 16619 16616 15930 16620 10758 12594 12602 12584 12562 12603 12597 12560 12608 12564 11164 12598 12568 12590 12606 12567 12580 12596 12581 12589 12563 12593 12587 12569 12599 12601 12604 12588 12609 13958 12586 15356 11162 9403 9425 9415 9408 9435 9360 21813 21814 21816 21810 21815 21812 21811 21809 17974 8005 8010 8017 17975 17976 8037 7962 8027 9286 9285 19372 21564 21504 21505 21547 21579 21506 21587 21580 19011 21507 19012 21567 21544 21804 21803 21520 21523 20771 20772 12492 12494 12493 19374 19373 3823 3768 3843 3811 3816 3833 6810 6806 6805 6807 6809 5915 5868 5962 4213 4216 4211 4214 4215 13134 5813 5831 18750 18036 18038 18039 16640 16638 16641 24254 23254 23269 23260 23268 23270 23253 23263 23252 23264 18770 19437 19434 19436 18718 23202 23201 14524 14529 13828 13825 13827 6815 6816 4218 4220 4221 18802 18801 16756 16754 16763 16791 16775 16798 18152 16795 16778 16803 16780 16800 16793 16787 16783 16782 16797 16774 16788 16790 16796 16802 16758 16784 16792 16757 16761 16781 16762 5616 5618 5619 11728 11733 8404 8386 8400 8403 8407 8393 18665 18663 18667 18800 18666 18662 20168 20148 20116 15346 15350 15351 15347 5577 5612 5611 5574 4192 4180 5598 5591 5613 5596 5614 5609 4172 4175 5590 4196 6997 6970 6972 6996 7012 6977 7006 6994 6989 6975 7002 6968 7010 6992 8366 8399 8392 8375 8409 8370 8369 8410 7014 7017 6971 7007 7011 6995 6976 7016 8402 8396 8394 8368 8395 8390 5572 5573 4210 4200 4179 8387 8374 8408 8405 8373 2822 5603 5578 5599 4201 9772 9766 9784 9768 9771 9773 9785 9767 9764 2823 2820 2821 7001 7004 7009 6998 7005 6988 5570 5606 4199 5597 5594 5600 4176 8415 8412 8414 4181 4193 5608 4174 4198 4206 5604 4209 4205 5607 5579 4208 4038 4034 4039 4042 2805 4033 5409 5407 4037 4035 4041 5411 5408 5412 19550 28840 28836 28837 28842 28841 28838 13948 13949 13953 13952 13824 13820 13823 13821 22780 15223 15219 4204 11157 11156 9790 9801 9805 9807 9788 4202 18602 24879 24878 26278 29072 30470 27676 24880 26276 29073 22942 22978 22985 20409 22962 22903 22921 22918 22945 23482 22977 22905 27439 27438 27440 27443 27442 27435 27436 22904 27675 21382 30471 27444 30472 22965 29074 23481 23480 27674 26277 27437 20410 22902 21807 24342 24376 24360 24363 24303 24302 24316 24301 24343 24300 24652 24667 24661 24668 24666 21808 24340 24383 24319 24375 24658 24662 28834 28833 28835 24651 24650 21830 21841 21829 21827 21835 21823 21822 21826 21820 21837 21840 21824 21831 19984 13422 13427 13426 13428 13421 13425 13423 13424 21833 21832 21834 7855 9241 9253 9248 9249 7875 7890 9240 9245 7874 7861 7857 7876 7891 7892 7851 2280 2284 2294 2290 2282 2278 9264 9272 9284 9288 9269 9268 9263 9258 9283 9255 9259 9289 9266 9290 9280 9265 9262 9274 9291 9301 9306 9296 9273 7886 7865 7863 7870 7860 7871 7866 7864 7872 7868 7847 7867 7885 7882 7843 7850 7842 9261 9270 6495 6500 6505 6510 2298 7903 7898 7893 7908 2299 2300 2283 2272 10704 10689 10699 10694 20948 22215 22213 22216 6838 6837 6835 13131 13126 13178 8932 8937 12017 13116 12025 13119 12026 10630 13158 12024 13132 12018 12027 13191 13135 10627 13192 13416 10632 3699 3704 3714 3709 2279 13117 13156 13179 13199 10628 12030 12029 10631 13159 10629 13118 13415 10626 13176 10625 12028 5859 10623 10624 2293 2311 2670 750 757 2287 1234 783 829 1182 2669 751 839 770 824 416 2362 2370 834 2418 967 1183 442 2301 2289 1181 977 1230 957 780 2413 950 1170 821 799 801 1176 1208 411 2306 813 763 1188 1195 785 2286 2672 1184 1232 794 774 1172 1229 748 2445 823 2667 2435 809 2316 2425 759 893 945 1171 2668 792 1190 758 778 2671 755 2195 1762 1781 1671 3243 3082 3100 3239 3155 3112 3127 3115 3228 3198 1706 3253 3083 3093 3148 3230 3142 3176 3147 1703 3159 3190 3219 3156 3136 3158 3164 3137 3218 3094 3126 3081 3143 3095 3191 3084 3199 3175 1705 3244 3113 3116 3178 3150 3238 3229 3179 3151 3099 3101 3165 3149 3135 3242 1732 1729 1794 3146 1786 3141 3189 3157 3177 3217 1740 3174 3237 3197 3111 1835 1822 3154 3114 3125 1842 3163 1814 3014 3080 3062 3015 3033 3061 3181 2070 2193 2194 2196 2197 4993 4995 4988 4992 4994 3180 4989 4987 4986 4397 3162 1777 3034 3070 3026 3007 3050 3041 3005 3009 3011 3010 3008 3025 3040 3051 3030 3012 3069 3031 3039 1662 3060 3013 3049 1614 1621 1648 3029 3068 3024 3032 3079 1641 1683 4393 4391 4401 4385 4382 4380 4395 2989 3220 3028 3053 3161 3067 3066 3085 3140 1576 1578 3105 3107 3108 3132 3129 1579 3252 1858 1186 4406 4403 4407 4412 4409 4410 4411 2998 4991 4866 4990 4931 4940 4932 4982 4933 4938 4928 4930 4941 4984 4929 4985 4934 4888 4939 4983 4935 4936 4937 4468 4597 4534 4557 4510 4545 4617 4499 4479 4482 4548 3194 4574 4481 4616 4573 4514 3045 3044 3087 4387 3086 4544 4459 4428 4438 4423 4413 4448 4429 4449 4439 4424 4431 4432 4460 4467 4498 4627 4588 4596 4589 4408 3214 4533 4552 4509 4587 4477 4447 4422 4466 3222 4626 4595 4547 4458 4615 4491 4549 4535 4540 4577 4478 4493 4541 4553 4555 4525 4575 4546 4492 4576 4524 4556 4511 4562 4513 4563 4554 5800 5796 7190 7186 7185 7189 7187 7734 7728 7737 7779 7780 7736 7790 7727 7665 7783 7782 7730 7778 7781 7785 7663 7786 7664 7735 7684 7787 7733 7789 7784 7726 7729 7791 3598 6388 6389 6264 5792 5789 5791 1509 2938 2932 2923 2935 2901 2943 2944 2912 2936 2927 2922 1489 2893 1520 2939 1460 1500 2895 2962 2951 1455 2887 1453 2952 1464 2915 2908 2888 2902 2947 2961 2948 1467 2925 1541 2928 2881 2907 1533 2957 1258 2892 2911 1551 2949 2954 2890 2931 1556 2882 1456 2797 2933 2916 1470 2909 1261 2884 2934 2956 2946 2896 2917 1260 1463 2796 2903 2910 1461 2958 2883 2885 2945 2937 2894 2926 2955 5768 5279 917 1632 1173 1175 4400 4383 3046 4399 4386 5866 5938 5821 5972 5971 5961 5830 5827 5880 5951 5837 5954 5959 5955 5960 5952 5909 5804 5807 5939 5946 5811 5911 5897 5805 5974 5810 5846 5847 5877 5857 5876 5825 5865 5826 5858 5801 5943 5896 5908 5942 5856 5910 5933 5932 5922 5836 5912 5890 5923 5809 5879 5829 5891 5822 5808 5947 5944 5973 5993 6038 5803 6035 6014 6025 6026 5975 6015 5986 5994 6039 6034 5995 5987 4444 4579 5931 5835 4538 5907 5845 4530 4527 5921 5970 4451 4437 6027 5900 5788 6013 4620 6033 5985 4639 4592 7179 7182 7181 7176 7178 7184 4405 4396 5878 4505 5895 4506 7274 7278 7359 7330 7289 7227 7306 7208 7277 7244 7344 7294 7349 7220 7307 7372 7309 7370 7295 7219 7341 7369 7321 7350 7331 7310 7235 7353 7288 7352 7337 7275 7256 7224 7245 7336 7345 7225 7263 7264 7342 7234 7209 7320 7255 7358 7228 7392 7373 7385 7393 7384 7412 7207 7371 5977 5976 6037 4578 5806 5820 4426 5937 5828 7308 5849 7254 7243 7383 5990 5824 7319 7218 7329 7391 7273 5928 7411 6018 7305 5925 7287 5901 7413 7423 7424 7432 7431 5787 5869 7199 7201 7202 7206 7203 7205 7340 5934 5958 5957 4565 7335 7223 7357 7233 7368 5903 5904 7293 7262 4430 4572 4512 4480 4523 7348 7204 7226 6010 7422 7276 7351 7343 5936 7183 5956 5785 4518 4427 4561 6051 6053 6054 5427 4105 4106 4104 4473 4474 4539 4497 4560 4357 5950 5953 5875 5864 5945 4612 2891 4370 2704 4297 2898 2897 2899 2964 2696 2692 5870 5795 5797 5786 5799 5778 5781 5783 5784 5798 5780 5793 7375 7240 7270 7356 6292 6394 7314 8692 7222 8703 8691 8790 7302 8660 7301 8791 8622 8768 8770 8718 8821 8739 8811 8600 8687 8820 7334 8789 7299 8727 8643 7323 8809 7416 7388 7326 7247 8661 8675 8782 8693 8673 8729 8705 8708 8747 8743 8735 8603 8748 8810 8617 8662 8625 8626 8757 8633 8607 8601 8606 8676 8740 8750 8653 8597 8756 8742 8719 8672 8686 8618 8751 8783 8704 8604 8728 8707 8734 8642 8632 8623 8767 8771 8654 8755 8746 8621 8738 8631 8674 8602 8605 7408 7380 5842 7215 7239 7269 7258 7229 7279 7192 7211 7374 7355 7267 7414 7361 7238 6223 6228 6229 6217 5872 4443 8588 8584 8595 8593 8579 8577 8580 8594 8585 8587 8583 6024 8841 8842 8843 8840 8837 8839 8576 8574 5794 5871 5841 5840 7666 7725 7788 7731 7724 7732 8754 8668 8773 4559 8753 8667 8581 8786 8772 8590 5889 4503 3076 3075 4442 8733 8766 8706 8749 8717 8741 8652 8599 8685 8671 8769 8616 8641 8781 8624 9983 9985 9989 4100 4099 4098 8697 4279 4281 4280 4282 2889 3017 4339 6677 7166 8564 8075 9473 6825 5760 5500 8752 5737 5725 5715 5736 5714 5695 5693 5488 9991 9993 9992 5503 5504 5502 5496 5498 5497 9988 8806 9981 9987 7158 6898 8223 7093 8556 7123 8551 6902 6901 6900 8296 4072 4074 10871 11360 9889 8489 8510 8532 8533 7153 6886 8505 8496 7114 7112 7113 5694 7091 5470 5472 8299 8298 8300 4027 2620 2617 2630 2623 4019 2625 4025 4023 4018 4028 4015 2619 2626 2628 2624 4024 4017 4020 2633 2646 4021 4026 2632 2645 9696 9698 9697 12269 12758 16952 14156 26384 28387 24393 24394 23362 23351 21966 20082 28943 28936 28948 28951 28954 28961 28960 28956 26149 24751 24756 26154 26151 27547 26137 27552 28955 28952 28938 28939 27555 27550 27545 26160 27541 27556 27558 27562 27563 27554 22872 27553 27557 22880 22884 27540 27538 28953 24741 23347 20469 28935 21970 27535 23353 21955 21957 21965 24753 20573 20572 20568 28945 28933 28947 23363 21963 20556 23364 24766 26143 24760 26165 20470 23369 23368 24759 26158 24742 26142 22874 24757 26140 26156 26159 24754 24744 22876 24761 24758 26157 26147 24749 24745 26164 20577 20576 26155 24767 20582 20574 20583 20575 20580 20579 20581 20578 26152 22875 24762 23344 20079 20080 20078 23346 21946 21948 22878 22873 26139 27537 27549 28950 22881 23360 23356 21971 21949 21962 24739 21958 21953 21964 23355 23361 9691 9692 9690 13667 15554 11383 11381 30334 30359 30348 30336 30337 30354 30358 30351 30352 30353 30346 30350 31739 31747 31734 31749 31748 31744 30349 31735 31750 31757 31751 31752 30341 31732 31756 31731 16392 16387 16386 16389 16383 16388 16382 16391 16390 16385 16380 30345 20135 20086 20076 20084 20134 20077 20545 20547 20564 20560 20565 20567 20551 20566 20555 33150 33148 33147 33136 33137 33129 33142 33155 33133 31740 33149 33132 33154 33146 33145 33141 33138 33134 31376 31375 31377 31746 31743 31374 31741 31729 33130 33144 32772 33139 32775 32774 32773 33127 21961 23359 26223 18350 20585 20584 20586 26216 23588 15511 24986 26380 24982 20947 20936 20934 20945 20933 20944 20935 20946 13890 13891 13892 19259 13479 13480 23584 12082 12081 6490 6489 16225 20421 17623 14827 20419 20206 20204 20207 20205 14829 30578 19021 14877 14878 16227 17625 19023 27137 17790 17788 17789 17786 17785 17781 17779 17784 17787 17780 17778 17783 22190 20657 19187 19179 19181 19185 19183 19186 19188 19176 19178 17755 17772 17759 19174 19175 17770 17776 19168 17769 17771 17764 17777 17751 17749 17768 19169 19147 19170 19149 19157 19153 19162 19166 19167 16351 11096 11094 11095 11089 11088 11090 27157 19177 19180 19182 19184 20949 20941 18086 18084 18085 16361 16373 16371 16366 16357 16379 16353 16370 16374 16372 14994 14992 14993 4815 5198 5169 5201 3775 5173 3810 4812 5200 5190 5187 5205 5186 3417 3803 5207 3792 3779 3415 3784 3769 5206 3802 4813 3771 3416 5208 5189 5204 3805 3801 5202 3800 5167 3414 3791 5203 3789 5196 3808 5177 5195 3809 3797 5188 3807 3798 5197 5199 10778 10791 7965 6595 6605 6585 6597 8003 6211 7990 6600 7609 7610 7608 6602 6592 6567 10782 10759 10769 9392 10799 12179 9384 9402 7983 8002 7994 7984 7982 6571 6604 9393 6599 6584 9390 9389 12177 12193 12189 12157 12176 12163 12186 9009 9395 10798 9361 10797 14953 13577 13570 13561 13575 13557 11805 13578 13583 13574 13555 13565 12198 11803 11804 12197 11802 12196 13201 13202 13203 13200 6594 6575 6212 6603 6593 6587 6213 6210 10781 10405 10788 7969 7985 7963 7978 7991 10404 7986 7998 10407 9371 7997 6565 6588 6586 10774 10793 10787 10790 7973 12167 12159 7611 8004 6601 10406 9006 10800 9367 6580 9400 10779 12195 9397 6606 6596 7999 8000 7993 8001 7992 7996 7995 6598 9363 9401 12191 10795 10761 10765 12188 12172 12185 9381 9383 12180 9376 9380 9399 9008 9007 10796 10794 10792 24834 24833 24369 24835 24354 24333 24332 16686 16687 16688 14982 14968 14963 14976 14985 14974 14959 14955 14984 14981 13582 13576 14991 14973 14972 14989 14986 14975 14987 16381 16384 15954 10789 10780 10786 10683 10684 16378 17782 19543 19551 15998 15996 15999 15997 21600 21599 14600 14601 14599 14598 11064 22919 9666 18153 18145 17395 17394 17396 17397 17616 14983 14980 14988 14990 17617 17618 20792 15196 13798 24818 24825 19394 8228 8232 8229 8231 8227 6999 8235 8236 18725 15192 24361 13794 16590 2627 2629 17620 17621 17619 17622 16221 16224 16223 16220 16219 16218 16222 15927 15922 16217 17609 17610 16211 14821 14823 14824 14820 16212 14825 14826 14819 14822 12190 12178 9398 9396 9382 9394 9391 9388 12184 12194 12187 12192 19007 19008 17328 12427 12429 12430 7015 16594 12422 12426 17352 12425 8233 17615 17386 17370 17385 17311 17353 17393 17312 17350 17326 17310 17329 14817 17373 14818 17313 21602 21603 21604 21817 21605 21819 18586 20106 20108 20166 20181 20107 20146 17613 20169 20189 20122 20109 20182 17614 20125 20149 20159 20569 20083 20570 20571 3788 5194 4814 5182 3790 4362 8511 8521 7092 9621 9888 8490 8512 8491 9979 9073 9067 9066 11062 24255 14576 5601 31976 28578 28581 28580 28944 28579 14575 20788 26414 26417 26416 25023 25021 25018 25019 26421 26419 25024 25016 26422 15349 9664 19390 20808 30982 30983 30976 25591 17188 14556 17992 10531 10442 10498 10581 10525 10533 10462 10527 10448 10454 10578 10436 10577 10443 10435 10449 10445 10584 10438 10487 10499 10524 10493 10437 10580 10530 10532 10453 10473 10587 10444 10526 10522 10500 10501 10488 10426 10441 10579 10440 10586 10439 10495 10502 10585 10494 10447 15225 15221 15226 15218 15222 25576 24193 2027 2028 22796 22225 22220 20822 22227 22223 22222 22228 20830 20829 20167 18601 19424 19429 19432 20825 20824 19427 19431 20827 19426 2411 2412 2410 2018 2019 2402 3799 2393 2394 2391 3806 3796 2407 2403 2406 2409 2400 2377 2381 2398 2016 2408 2404 2017 3804 2371 2392 2399 2405 2390 2373 2401 2386 20784 27182 27181 27183 27180 27546 27544 26146 27542 27551 22795 19386 23623 23626 23621 23625 23620 23618 17988 19999 27536 21397 24748 23350 28942 28941 28949 27543 26153 26145 28934 24747 24755 26138 23357 23349 24740 27123 27126 27164 27122 28471 28550 28489 28551 28547 28548 21557 21481 28549 28469 28553 20408 29933 28524 28521 28562 28565 21805 28520 21806 28946 28527 28563 28568 28564 28937 25422 28526 28567 28566 15216 28940 24258 24259 24257 24392 26148 25785 25784 25783 25782 18769 20407 27548 27167 25766 24024 25724 25728 27170 27166 27168 27539 27169 21969 21968 21967 13818 11160 11158 11150 11148 11159 11149 11161 11147 12424 12420 25725 27154 27152 27073 27071 19010 28552 9774 9789 11155 27149 27153 21959 27151 27155 13951 13959 11209 29863 29868 29865 29864 29866 29976 29979 29977 29978 29862 29870 29872 29920 29921 18783 18711 18751 18784 18708 18727 18748 18710 18768 18791 18724 18771 16215 18709 16216 11032 11031 32718 32721 32758 33140 32757 33206 32756 32720 32675 32715 32762 26000 25999 31008 31007 32761 11029 32714 33131 29616 31317 31316 31808 31320 31358 32749 33030 33032 33366 33374 33207 33143 33213 33128 33036 33034 33031 33035 31003 32759 33028 33027 32760 33029 9811 31351 31815 14555 5440 5436 4203 5435 5433 5431 6222 6221 5432 31738 30340 30342 30338 30347 30344 31805 31730 31737 31745 29919 29918 30339 32683 32678 33135 32742 32741 33203 32665 32663 33205 32744 32745 32743 32746 33370 32747 32729 29922 29960 15341 15352 15354 15353 15355 15344 15343 15342 29953 31056 31057 31058 23204 24353 16614 24277 24763 24765 24764 31345 31343 31265 31348 31346 31347 31349 31037 31038 15357 31031 26820 23203 29962 29966 29965 29964 29963 31267 22963 31364 31323 31362 28218 31363 31736 19410 26162 26163 26161 25675 24601 7619 7620 31360 31742 31359 31733 31361 25751 31322 18012 24602 29951 29950 23365 22955 29947 29948 22879 29867 29869 29949 23367 29945 23366 15914 14813 15995 15988 15913 15987 13420 15974 14814 15915 15972 15952 15928 15955 15912 15975 13419 15931 5617 6829 6831 6834 6830 6833 734 1015 1843 1763 1746 764 922 1013 798 996 797 675 9633 8413 9631 1741 1557 1567 1524 9634 1774 1757 1625 1527 1560 339 1854 1516 1529 1514 736 998 309 332 333 1845 1797 802 789 788 337 335 334 1598 1570 937 936 935 921 916 915 287 288 289 290 1754 1828 1817 647 674 790 1542 1601 1604 1635 1552 1622 1544 803 814 795 796 1510 276 307 1094 296 1001 704 733 993 765 766 767 768 775 776 338 1028 1027 1018 815 816 1521 152 1546 1548 1617 1749 1178 291 286 1185 1010 1012 1723 1712 1697 1692 1691 1689 1679 1677 1504 292 782 781 995 656 1007 1002 1538 1536 205 150 151 1534 1655 1663 1674 1349 1364 245 228 1490 1493 1497 261 1484 1477 1398 1397 1390 1384 1383 1374 1366 1365 1501 295 294 1469 157 1466 1465 894 896 900 904 919 920 277 282 923 158 160 872 149 148 147 888 910 914 927 928 942 800 804 805 806 808 812 817 818 875 161 878 885 1388 1462 329 331 929 930 1194 784 1231 1189 1187 791 820 931 932 933 934 283 284 285 938 939 940 779 777 941 293 163 162 918 146 79 1207 869 866 793 859 822 769 773 944 943  0
1668.76/1668.71	
1668.76/1668.71	c Core has size 15249

OK	15249

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-3501487-1308042051/watcher-3501487-1308042051 -o /tmp/evaluation-result-3501487-1308042051/solver-3501487-1308042051 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501487-1308042051.gcnf 

running on 2 cores: 1,3

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.36 4.00 1.94 4/189 346
/proc/meminfo: memFree=30862976/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=13632 CPUtime=0 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 367 0 0 0 0 0 0 0 25 0 1 0 915804753 13959168 305 33554432000 4194304 4365125 140733912066896 18446744073709551615 4292364 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 3408 317 245 42 0 556 0

[startup+0.0979621 s]
/proc/loadavg: 4.36 4.00 1.94 4/189 346
/proc/meminfo: memFree=30862976/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=19936 CPUtime=0.09 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 4436 0 0 0 8 1 0 0 25 0 1 0 915804753 20414464 1989 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 4984 1989 262 42 0 2132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19936

[startup+0.100957 s]
/proc/loadavg: 4.36 4.00 1.94 4/189 346
/proc/meminfo: memFree=30862976/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=19936 CPUtime=0.09 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 4439 0 0 0 8 1 0 0 25 0 1 0 915804753 20414464 1991 33554432000 4194304 4365125 140733912066896 18446744073709551615 4258352 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 4984 1991 262 42 0 2132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19936

[startup+0.300921 s]
/proc/loadavg: 4.36 4.00 1.94 4/189 346
/proc/meminfo: memFree=30862976/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=24444 CPUtime=0.29 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 5665 0 0 0 28 1 0 0 25 0 1 0 915804753 25030656 2988 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 6111 2988 262 42 0 3259 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24444

[startup+0.700844 s]
/proc/loadavg: 4.36 4.00 1.94 4/189 346
/proc/meminfo: memFree=30862976/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=30900 CPUtime=0.69 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 10939 0 0 0 68 1 0 0 25 0 1 0 915804753 31641600 4028 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257412 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 7725 4028 262 42 0 4873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30900

[startup+1.50069 s]
/proc/loadavg: 4.33 4.00 1.95 5/190 347
/proc/meminfo: memFree=30759564/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=42388 CPUtime=1.49 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 22922 0 0 0 146 3 0 0 25 0 1 0 915804753 43405312 7173 33554432000 4194304 4365125 140733912066896 18446744073709551615 4246924 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 10597 7173 262 42 0 7745 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42388

[startup+3.10039 s]
/proc/loadavg: 4.33 4.00 1.95 5/190 347
/proc/meminfo: memFree=30715420/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=89048 CPUtime=3.09 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 46661 0 0 0 304 5 0 0 25 0 1 0 915804753 91185152 13920 33554432000 4194304 4365125 140733912066896 18446744073709551615 4316944 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 22262 13920 262 42 0 19410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89048

[startup+6.30078 s]
/proc/loadavg: 4.33 4.00 1.95 5/190 348
/proc/meminfo: memFree=30681128/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=202056 CPUtime=6.29 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 141097 0 0 0 614 15 0 0 25 0 1 0 915804753 206905344 33785 33554432000 4194304 4365125 140733912066896 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 50514 33785 263 42 0 47662 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 202056

[startup+12.7006 s]
/proc/loadavg: 4.28 4.00 1.97 5/190 357
/proc/meminfo: memFree=30535320/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=202056 CPUtime=12.69 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 176655 0 0 0 1250 19 0 0 25 0 1 0 915804753 206905344 43862 33554432000 4194304 4365125 140733912066896 18446744073709551615 4250123 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 50514 43862 264 42 0 47662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 202056

[startup+25.5001 s]
/proc/loadavg: 4.24 4.00 1.99 5/190 357
/proc/meminfo: memFree=30513856/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=342296 CPUtime=25.49 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 247858 0 0 0 2524 25 0 0 25 0 1 0 915804753 350511104 60391 33554432000 4194304 4365125 140733912066896 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 85574 60391 264 42 0 82722 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 342296

[startup+51.1002 s]
/proc/loadavg: 4.16 4.00 2.04 5/190 358
/proc/meminfo: memFree=30431604/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=427732 CPUtime=51.09 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 374465 0 0 0 5068 41 0 0 25 0 1 0 915804753 437997568 72421 33554432000 4194304 4365125 140733912066896 18446744073709551615 4262602 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 106933 72421 264 42 0 104081 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 427732

[startup+102.306 s]
/proc/loadavg: 4.12 4.01 2.16 5/190 359
/proc/meminfo: memFree=30257920/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=439308 CPUtime=102.3 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 475779 0 0 0 10176 54 0 0 25 0 1 0 915804753 449851392 73033 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 109827 73033 264 42 0 106975 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 439308

[startup+162.301 s]
/proc/loadavg: 4.04 4.01 2.27 5/190 398
/proc/meminfo: memFree=30327812/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=453648 CPUtime=162.29 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 676676 0 0 0 16150 79 0 0 25 0 1 0 915804753 464535552 74759 33554432000 4194304 4365125 140733912066896 18446744073709551615 4262049 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 113412 74759 264 42 0 110560 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 453648

[startup+222.301 s]
/proc/loadavg: 4.01 4.00 2.38 5/190 402
/proc/meminfo: memFree=30146640/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=391128 CPUtime=222.3 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 827708 0 0 0 22133 97 0 0 25 0 1 0 915804753 400515072 74313 33554432000 4194304 4365125 140733912066896 18446744073709551615 4262559 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 97782 74313 264 42 0 94930 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 391128

[startup+282.3 s]
/proc/loadavg: 4.04 4.01 2.48 5/190 404
/proc/meminfo: memFree=30085996/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=399296 CPUtime=282.31 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 884845 0 0 0 28128 103 0 0 25 0 1 0 915804753 408879104 76703 33554432000 4194304 4365125 140733912066896 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 99824 76703 264 42 0 96972 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 399296

[startup+342.301 s]
/proc/loadavg: 4.01 4.01 2.57 5/190 443
/proc/meminfo: memFree=30081472/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=389720 CPUtime=342.31 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 1098781 0 0 0 34102 129 0 0 25 0 1 0 915804753 399073280 91607 33554432000 4194304 4365125 140733912066896 18446744073709551615 4250109 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 97430 91607 264 42 0 94578 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 389720

[startup+402.3 s]
/proc/loadavg: 4.04 4.02 2.66 5/190 444
/proc/meminfo: memFree=29987028/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=606484 CPUtime=402.31 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 1346029 0 0 0 40072 159 0 0 25 0 1 0 915804753 621039616 105423 33554432000 4194304 4365125 140733912066896 18446744073709551615 4275970 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 151621 105423 264 42 0 148769 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 606484

[startup+462.301 s]
/proc/loadavg: 4.01 4.01 2.75 5/190 493
/proc/meminfo: memFree=29811672/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=602384 CPUtime=462.31 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 1480397 0 0 0 46057 174 0 0 25 0 1 0 915804753 616841216 104870 33554432000 4194304 4365125 140733912066896 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 150596 104870 264 42 0 147744 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 602384

[startup+522.3 s]
/proc/loadavg: 4.00 4.01 2.82 5/190 494
/proc/meminfo: memFree=29672060/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=577808 CPUtime=522.31 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 1566796 0 0 0 52046 185 0 0 25 0 1 0 915804753 591675392 101827 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 144452 101827 264 42 0 141600 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 577808

[startup+582.301 s]
/proc/loadavg: 4.00 4.00 2.89 5/190 496
/proc/meminfo: memFree=29782476/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=602384 CPUtime=582.31 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 1725540 0 0 0 58025 206 0 0 25 0 1 0 915804753 616841216 104925 33554432000 4194304 4365125 140733912066896 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 150596 104925 264 42 0 147744 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 602384

[startup+642.301 s]

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

/proc/meminfo: memFree=30119088/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=568080 CPUtime=882.32 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 2295625 0 0 0 87957 275 0 0 25 0 1 0 915804753 581713920 100425 33554432000 4194304 4365125 140733912066896 18446744073709551615 4316995 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 142020 100425 264 42 0 139168 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 568080

[startup+942.3 s]
/proc/loadavg: 2.87 3.30 2.92 3/178 553
/proc/meminfo: memFree=30356416/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=568080 CPUtime=942.32 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 2385602 0 0 0 93945 287 0 0 25 0 1 0 915804753 581713920 100442 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 142020 100442 264 42 0 139168 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 568080

[startup+1002.3 s]
/proc/loadavg: 1.83 2.94 2.82 2/172 579
/proc/meminfo: memFree=31201556/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=602352 CPUtime=1002.33 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 2575984 0 0 0 99921 312 0 0 25 0 1 0 915804753 616808448 105328 33554432000 4194304 4365125 140733912066896 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 150588 105328 264 42 0 147736 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 602352

[startup+1062.3 s]
/proc/loadavg: 1.30 2.58 2.70 2/172 581
/proc/meminfo: memFree=31220096/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=592112 CPUtime=1062.33 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 2753973 0 0 0 105900 333 0 0 25 0 1 0 915804753 606322688 103925 33554432000 4194304 4365125 140733912066896 18446744073709551615 4249135 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 148028 103925 264 42 0 145176 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 592112

[startup+1122.3 s]
/proc/loadavg: 1.11 2.29 2.59 2/172 582
/proc/meminfo: memFree=31214624/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=577776 CPUtime=1122.33 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 2788518 0 0 0 111895 338 0 0 25 0 1 0 915804753 591642624 102158 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257412 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 144444 102158 264 42 0 141592 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 577776

[startup+1182.3 s]
/proc/loadavg: 1.04 2.05 2.49 2/172 584
/proc/meminfo: memFree=31196956/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=614640 CPUtime=1182.34 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 2851151 0 0 0 117888 346 0 0 25 0 1 0 915804753 629391360 106752 33554432000 4194304 4365125 140733912066896 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 153660 106752 264 42 0 150808 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 614640

[startup+1242.3 s]
/proc/loadavg: 1.01 1.86 2.39 2/172 585
/proc/meminfo: memFree=31220484/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=570100 CPUtime=1242.34 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 2953599 0 0 0 123874 360 0 0 25 0 1 0 915804753 583782400 100971 33554432000 4194304 4365125 140733912066896 18446744073709551615 4262098 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 142525 100971 264 42 0 139673 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 570100

[startup+1302.3 s]
/proc/loadavg: 1.00 1.70 2.30 2/172 587
/proc/meminfo: memFree=31206696/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=594160 CPUtime=1302.35 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3019534 0 0 0 129866 369 0 0 25 0 1 0 915804753 608419840 104214 33554432000 4194304 4365125 140733912066896 18446744073709551615 4258095 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 148540 104214 264 42 0 145688 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 594160

[startup+1362.3 s]
/proc/loadavg: 1.00 1.57 2.22 2/172 589
/proc/meminfo: memFree=31206760/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=594160 CPUtime=1362.35 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3019534 0 0 0 135866 369 0 0 25 0 1 0 915804753 608419840 104214 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 148540 104214 264 42 0 145688 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 594160

[startup+1422.31 s]
/proc/loadavg: 1.00 1.46 2.14 2/172 590
/proc/meminfo: memFree=31208964/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=590064 CPUtime=1422.35 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3161741 0 0 0 141848 387 0 0 25 0 1 0 915804753 604225536 103700 33554432000 4194304 4365125 140733912066896 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 147516 103700 264 42 0 144664 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 590064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.38 2.07 2/172 592
/proc/meminfo: memFree=31201596/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=606448 CPUtime=1482.35 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3272444 0 0 0 147833 402 0 0 25 0 1 0 915804753 621002752 105724 33554432000 4194304 4365125 140733912066896 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 151612 105724 264 42 0 148760 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 606448

[startup+1542.3 s]
/proc/loadavg: 1.00 1.31 2.00 2/172 604
/proc/meminfo: memFree=31196848/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=614640 CPUtime=1542.35 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3306759 0 0 0 153829 406 0 0 25 0 1 0 915804753 629391360 106784 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 153660 106784 264 42 0 150808 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 614640

[startup+1602.3 s]
/proc/loadavg: 1.03 1.26 1.94 2/172 605
/proc/meminfo: memFree=31203888/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=602352 CPUtime=1602.36 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3333048 0 0 0 159826 410 0 0 25 0 1 0 915804753 616808448 105210 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257808 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 150588 105210 264 42 0 147736 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 602352

[startup+1662.3 s]
/proc/loadavg: 1.01 1.21 1.87 2/172 607
/proc/meminfo: memFree=31202956/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=604400 CPUtime=1662.35 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3333305 0 0 0 165825 410 0 0 25 0 1 0 915804753 618905600 105467 33554432000 4194304 4365125 140733912066896 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 151100 105467 264 42 0 148248 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 604400

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

[startup+1663.9 s]
/proc/loadavg: 1.01 1.21 1.87 2/172 607
/proc/meminfo: memFree=31202832/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=604400 CPUtime=1663.95 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3333305 0 0 0 165985 410 0 0 25 0 1 0 915804753 618905600 105467 33554432000 4194304 4365125 140733912066896 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 151100 105467 264 42 0 148248 0
Current children cumulated CPU time (s) 1663.95
Current children cumulated vsize (KiB) 604400

[startup+1667.1 s]
/proc/loadavg: 1.01 1.21 1.87 2/172 607
/proc/meminfo: memFree=31202952/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=604400 CPUtime=1667.15 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3333305 0 0 0 166305 410 0 0 25 0 1 0 915804753 618905600 105467 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 151100 105467 264 42 0 148248 0
Current children cumulated CPU time (s) 1667.15
Current children cumulated vsize (KiB) 604400

[startup+1667.9 s]
/proc/loadavg: 1.01 1.21 1.87 2/172 607
/proc/meminfo: memFree=31202828/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=604400 CPUtime=1667.95 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3333305 0 0 0 166385 410 0 0 25 0 1 0 915804753 618905600 105467 33554432000 4194304 4365125 140733912066896 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 151100 105467 264 42 0 148248 0
Current children cumulated CPU time (s) 1667.95
Current children cumulated vsize (KiB) 604400

[startup+1668.3 s]
/proc/loadavg: 1.01 1.21 1.87 2/172 607
/proc/meminfo: memFree=31202828/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=604400 CPUtime=1668.35 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3333305 0 0 0 166425 410 0 0 25 0 1 0 915804753 618905600 105467 33554432000 4194304 4365125 140733912066896 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 151100 105467 264 42 0 148248 0
Current children cumulated CPU time (s) 1668.35
Current children cumulated vsize (KiB) 604400

[startup+1668.71 s]
/proc/loadavg: 1.01 1.21 1.87 2/172 607
/proc/meminfo: memFree=31202944/32950928 swapFree=67055948/67111528
[pid=346] ppid=344 vsize=604400 CPUtime=1668.76 cores=1,3
/proc/346/stat : 346 (MoUsSaka) R 344 346 32471 0 -1 4202496 3333305 0 0 0 166466 410 0 0 25 0 1 0 915804753 618905600 105467 33554432000 4194304 4365125 140733912066896 18446744073709551615 4257491 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/346/statm: 151100 105467 264 42 0 148248 0
Current children cumulated CPU time (s) 1668.76
Current children cumulated vsize (KiB) 604400

Child status: 20
Real time (s): 1668.73
CPU time (s): 1668.8
CPU user time (s): 1664.67
CPU system time (s): 4.12337
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 950048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1664.67
system time used= 4.12337
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3333310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 3844

runsolver used 2.40363 second user time and 5.8981 second system time

The end

Begin job on node127 at 2011-06-14 11:00:51
IDJOB=3501487
IDBENCH=90033
IDSOLVER=2000
FILE ID=node127/3501487-1308042051
RUNJOBID= node127-1308041932-32491
PBS_JOBID= 13564700
Free space on /tmp= 74024 MiB

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

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

MD5SUM BENCH= 24652164fb0467a6748f9a3da493f55a
RANDOM SEED=43848595

node127.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.823
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.64
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.823
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.83
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.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30863024 kB
Buffers:        192720 kB
Cached:         888160 kB
SwapCached:       9120 kB
Active:        1057644 kB
Inactive:       805552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30863024 kB
SwapTotal:    67111528 kB
SwapFree:     67055948 kB
Dirty:            4024 kB
Writeback:           0 kB
AnonPages:      779880 kB
Mapped:          13752 kB
Slab:           156964 kB
PageTables:       6824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1210948 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74032 MiB
End job on node127 at 2011-06-14 11:28:40