0.00/0.00	c MoUsSaka with meat
6.69/6.75	
6.69/6.75	s UNSATISFIABLE
1132.92/1132.98	c Core is minimal
1132.92/1132.98	
1132.92/1132.98	v 28030 29411 29413 28032 30793 30792 30794 32173 32174 32175 33555 33556 22506 23888 23889 23887 25270 25268 25269 26650 26651 26649 29412 28031 33554 21125 22507 22508 21126 21127 19744 19746 19745 18363 18365 18364 14220 2798 2796 2797 12839 2787 2789 2790 2794 2791 3986 10051 5771 5770 4689 4695 4754 4697 4748 4752 4749 4691 4698 4648 4688 4699 4750 4753 4692 4694 4690 4757 4626 4758 4760 4759 4751 4755 4701 4696 4693 4700 4756 4761 7303 5930 5908 4631 10073 4255 4257 4256 4266 4265 4267 3992 8670 8692 7289 4254 4253 4250 4252 4198 4236 4189 4249 4225 4231 4212 4215 4223 4222 4214 4195 4199 4239 4233 4203 4245 4196 4180 4182 4235 4241 4226 4220 4243 4219 4183 4190 4210 4204 4232 4234 4218 4209 4202 4188 4179 4177 4230 4194 4238 4248 2871 2848 2820 2866 2836 4244 2812 2856 4084 4197 2827 4221 4083 1995 8381 8388 8391 8384 8386 8392 8382 8379 8364 8377 8373 8361 8368 8366 8374 8363 8378 8369 8355 8357 8347 8353 8358 8362 8376 8365 6999 6991 7009 6979 7014 8387 8375 8135 8352 1866 1992 1867 1996 1938 1935 1930 1991 1993 1990 1997 1929 1933 1937 1934 1998 1936 4172 4175 4169 4170 4171 4291 4287 3008 3009 1869 4548 4551 4546 3146 3168 4541 4547 5629 5630 5626 5624 5619 5622 5620 5579 5593 5617 5635 5631 5634 5596 5600 5606 5603 5623 5580 5595 5584 5571 5570 5564 5585 5576 5591 5563 5577 5607 5604 5569 5578 5561 5601 4550 4106 3250 4390 4389 3167 3169 3170 1932 1928 1939 1931 1927 1886 1926 1986 4527 4549 4286 5637 5636 5638 4278 4275 4279 4282 4280 4274 4272 4271 4269 4283 4542 4552 4553 4544 4545 14194 14057 14216 11294 10155 11454 11432 11295 12838 1987 1989 1988 1868 1865 1999 1994 4543 4284 4376 455 456 140 143 144 454 71 59 136 93 134 135 146 142 77 145 138 139 137 84 85 78 70 141 459 133 39 462 460 457 53 453 1406 2725 1190 5625 2795 3172 4277 2612 2613 2614 2887 2625 2664 2877 2735 2654 4290 2730 2758 2750 2643 3171 4289 2771 3918 2745 2630 4288 2620 2632 2615 2659 5299 3995 3993 3994 3987 3988 3961 3963 3989 5560 5614 5558 5599 5594 5575 5583 5615 5612 5616 1390 1393 1396 1387 1398 2611 4242 1446 1417 1401 1445 1466 1448 1414 1399 1415 1470 4213 4224 4187 4201 5464 5465 4229 4193 4247 5487 5549 5550 5551 4217 5590 5605 5611 5554 5553 5613 4237 5602 5552 5555 4208 5556 4173 4168 4174 4178 5562 5559 2883 2882 2886 2885 2884 2390 1489 1492 1494 272 2880 278 274 1486 951 1495 1493 273 1488 1491 2881 1490 1790 1321 1791 952 1320 2878 458 463 461 1397 1475 1288 1444 1407 269 275 1424 276 1272 271 1457 1307 1483 1395 1385 1459 1289 1453 1447 76 1420 1306 1427 1287 1460 1441 1472 1449 1413 1437 1480 1388 1439 1438 1313 99 1416 1428 1384 1482 1434 1467 1477 98 1458 1468 1461 1297 1386 1408 1409 1402 1451 1400 1450 1394 1452 277 1425 1481 1485 1440 1389 1463 1484 1465 1421 1476 1471 1469 1462 1433 1392 1311 4176 3318 3213 3263 3262 3212 3269 3370 3373 3372 3310 3316 3315 3272 3259 3271 3307 3367 3308 3320 3312 3267 3313 3264 3311 3369 3270 3314 3309 3317 3266 5152 3991 5477 5367 5646 5648 5645 5644 5647 5633 5757 5924 5668 5672 5667 4142 5928 5927 5922 5925 5926 5923 4687 5914 5656 5661 5663 5659 5655 5653 5664 5660 5669 5652 5671 5650 5670 4671 7279 7288 7301 7293 7302 7287 7291 5909 7286 7292 3268 3319 3260 3371 3303 5665 5658 3379 3300 3305 3302 3301 3304 3368 3380 3296 8367 7311 7308 7309 4181 8693 8694 8691 8405 8407 8404 8406 5931 5932 5929 8385 8409 8410 8408 7313 7312 7310 8239 7152 6012 7151 7138 7305 6754 6949 8397 8396 8393 8356 8346 8326 8332 8322 8320 8337 8325 8323 8345 8339 8342 8341 8338 8333 8340 8321 8311 8324 8317 8318 8315 8313 8314 6970 8227 8312 6955 8226 6963 8331 9630 8316 8399 8398 8400 8249 7011 6952 6972 6941 6942 6951 6960 6939 6988 6993 6995 6985 6971 6976 6974 6964 6965 6944 6958 6966 6945 6998 6980 7010 6982 6961 6977 6997 7007 7003 7001 6987 6981 6984 6983 6957 7000 7005 6940 6975 6943 7004 8360 5373 5628 5618 5610 5582 5589 5598 5574 7016 7015 7012 6934 6931 6933 6932 6959 6937 6996 6956 6845 6950 7006 6992 6994 6846 7018 7017 6748 7019 6936 6935 6986 6930 6868 8380 8351 8390 7029 7027 7028 7026 7023 7049 7053 7048 8690 7025 7024 8686 8689 8684 8519 8403 5568 9789 9790 9788 9787 9786 9785 9791 9914 9913 8774 7022 11446 11452 11451 8330 8319 8129 6938 5523 6904 4186 5531 5524 5532 5153 5529 5530 5632 5627 5366 5360 9784 6716 5372 8099 6858 7307 7304 7306 7046 5642 6680 5643 4211 5557 5641 8292 8294 8293 7915 8291 8286 7914 9295 9783 8674 8683 6052 6533 5640 4262 4261 4259 4264 3979 4184 4251 4185 3983 4263 3771 2806 2610 2805 6912 6911 6913 6910 6905 6534 8402 3383 3382 5567 5364 3321 3306 8682 4151 3772 4150 4148 7021 4149 4143 8681 4240 4096 8680 7013 6990 6747 7008 6745 6741 6968 6978 6967 6989 6035 6946 6947 6948 7280 7153 7283 8389 8128 8285 8359 8349 8348 8350 6753 4293 5337 5338 5339 5340 5336 5335 4702 4533 5735 5755 5481 5483 2000 2001 1892 3381 3273 4294 4295 4292 4299 4320 4301 4312 4298 4318 4302 4319 4313 4317 4296 3046 3011 3010 3035 4401 4368 4403 4444 4357 4414 4371 4485 4367 4445 4465 4316 4443 4412 4477 2973 4355 4452 4326 3140 2952 4462 4451 4430 4478 4438 4399 4328 4349 4434 4337 4382 4450 4464 4347 4437 2906 4297 4424 4400 4486 3075 4463 4387 4422 4505 3014 4476 4402 4366 4321 4370 4423 4413 4436 4466 4429 4311 4338 4356 4336 4504 4435 3013 4398 2963 4327 2982 4442 4461 4428 4380 3100 4484 4381 4446 4386 4433 4441 4388 3120 4348 2905 2904 4516 4524 4517 4540 3137 4525 4526 4515 4506 4529 4530 4531 2002 2915 2911 2916 2917 2910 2914 4369 4539 2946 2986 2940 2968 2975 2937 2939 2956 2957 2976 2936 2967 2947 2931 2932 2921 2920 3082 2990 3022 3061 3001 3033 3043 2913 395 411 426 3070 3062 3064 3057 3048 3065 3166 3105 3000 3144 3125 3150 3071 3084 2987 3007 3160 3054 3032 3135 3019 3081 3018 1513 1512 1501 1499 1496 1502 1514 1506 1510 1498 1604 1606 1582 1605 2919 1536 1534 1535 8327 8328 8329 3021 3006 3145 3159 3085 3056 2989 3124 3096 3049 3097 3042 3053 3136 3104 3149 1518 1523 1524 1519 1522 1525 1503 1505 1716 3095 3031 1675 1743 2938 1609 1703 1643 1676 1704 3063 1771 3143 3165 1764 1781 1654 1628 1543 1642 1584 3020 1758 3103 1652 3005 3080 1629 2930 1544 1571 1745 1608 3123 1744 1585 3158 2955 1583 1570 1553 1554 3055 2988 1651 2918 1685 1717 1624 1626 1623 2999 1625 1621 1598 1546 1579 1559 1580 1599 1698 1541 1687 1650 1660 1679 1568 1688 1531 1528 1673 1549 1613 1603 1700 1681 1699 1659 1622 1526 1550 1647 1547 1674 1569 1587 1588 1682 1671 1616 1666 1556 1634 1542 1670 1701 1637 1665 1633 1678 1635 1636 1601 1661 3041 1640 1662 1709 1708 3083 1689 1707 1590 1509 1507 1664 4409 4354 4521 4333 4456 4363 4427 4391 4518 1575 1727 1728 1691 1594 1692 3069 2974 2935 3052 3152 591 1521 1722 1720 147 1788 1721 1766 932 1702 1578 1752 808 1102 1754 1714 1785 521 1686 1669 1769 1762 132 1545 639 1789 1786 1741 116 5772 5657 4308 4300 1668 1667 4285 1562 1551 1533 1563 1564 1591 1683 7298 7300 7299 7297 7294 7296 5490 5488 5491 6823 6827 6830 6860 6862 6831 6851 6847 6852 6853 6844 6859 6832 6856 6865 6825 6867 6866 6864 6857 6872 6869 6861 6849 6826 6843 6871 6850 5451 5475 5485 5450 5480 5442 5463 5466 4107 5445 5468 5471 5444 5478 5479 5446 4109 5469 4110 5472 5462 5470 5484 5476 5486 5449 2816 1677 1737 3060 1736 2823 1680 1464 492 4013 247 2850 1672 4152 2800 1222 1612 609 1383 2843 2858 2807 2860 1479 1620 1235 1740 1240 4111 2862 2842 1204 2821 1558 1777 2859 2832 1456 1432 653 2845 2874 2841 1768 1474 1614 2854 2579 2844 1331 799 1658 4040 1423 1602 4126 2818 2828 1181 2849 1412 1048 631 2834 2802 4045 2864 2863 2831 989 2813 4131 545 2801 1199 2822 4139 2799 2857 2867 2808 1548 1245 1555 1116 601 1443 2851 1342 1567 1784 2833 2869 2876 548 249 2839 1347 1761 2861 654 907 235 828 2829 1194 1379 1751 2873 1646 1368 2837 1378 1109 1326 1527 1712 1183 1530 2814 2815 4035 2840 2702 1540 652 4116 1753 4024 1211 1586 2852 2838 2855 2809 4006 2830 1209 1355 3996 1115 4268 236 1778 1615 1742 2872 2703 2853 1062 473 4011 1697 2966 1641 1552 1184 1581 1755 3148 2875 1632 1158 1376 916 4001 1593 2985 1713 1020 1592 1663 3134 1757 2868 610 1690 1767 622 1655 3047 1787 2817 1684 1763 1765 1649 1600 3017 2945 1574 464 1779 4258 2715 1597 1537 5565 5566 8675 8678 8679 8677 15598 14219 13935 15599 15596 9480 8372 3290 5673 5675 5677 5679 5808 5837 5725 5882 5912 5833 5793 5708 5769 5719 5781 5682 5794 5748 5823 5887 5859 5803 5805 5911 5827 5811 5810 5795 5846 5832 5866 5804 5818 5826 5709 5921 5847 5738 5886 5783 5843 5898 5824 5762 5698 5815 5897 5906 5844 5907 5819 5683 5816 5867 5858 5728 4340 5782 4392 5747 4374 4481 5681 4473 4315 2893 3111 2897 3028 2993 2901 2995 3092 2959 3128 3068 2891 2888 2899 2902 2895 3147 3087 3162 3038 2996 3059 3051 2894 2890 2898 4416 4440 4395 2927 5842 4509 4468 4528 5692 4325 2934 4276 4449 5779 5717 2944 8336 8344 5831 4377 5825 5700 5809 4344 4432 8126 8122 8371 8370 8134 5768 5697 5707 5680 5736 5718 5744 5702 5666 5905 5730 5817 5822 5678 5693 5749 4501 4394 5920 5767 5865 5814 5763 5896 5845 5750 5694 5784 5701 5761 5910 5857 5737 5899 5752 5885 5729 5780 5676 5902 5714 5699 5751 5689 5790 5754 5734 2793 3960 2788 8533 7039 7031 7044 7040 7033 7052 7051 7050 7037 7045 7034 7042 7036 7041 11455 11456 11453 8898 8901 8838 8902 8839 8900 8894 8831 8897 8836 8832 8843 8891 8893 8791 8892 8904 8840 8899 8835 8844 8842 8833 8841 8896 8834 8903 8837 8769 8895 6136 6140 6135 6141 6139 6009 6010 6138 6070 6011 6071 6069 6081 6072 6074 6075 6073 6078 6132 6077 6137 6082 6134 6129 6130 6131 6133 8395 9607 9608 8532 5374 5376 5375 7393 6720 6719 6721 6718 6717 8434 8430 8429 8427 8685 8688 8687 8061 6142 6076 6079 6080 6008 6029 8414 8415 8418 8417 8426 8420 8422 8421 8425 8423 8412 9718 9693 9714 9722 9719 9704 9768 9754 9757 9755 9758 9749 9746 9759 9739 9766 9737 9697 9698 9692 9696 9721 9713 9706 9694 9707 9699 9695 9712 9701 9720 9703 9769 9760 9773 9765 9763 9767 9762 9772 9723 9726 9777 9774 9756 9744 9738 9747 9778 9745 9727 9734 9728 9743 9750 9736 9742 9733 5369 5370 5342 5344 5368 9702 9780 9705 9779 9748 9781 9620 8432 8431 8433 6068 7295 8906 8676 9516 11011 7459 7516 7462 7517 7455 7463 7515 7523 7514 7510 7511 7452 7388 7520 7458 7521 7519 7522 7461 7512 7513 7457 7454 7453 7451 7410 7518 7456 7460 7450 7433 7449 8673 8669 8672 7416 8668 8667 8660 8661 5522 6903 6756 6757 6755 8797 9811 9815 9900 10067 11445 11436 9807 9803 11444 9802 9799 9796 9804 9798 9795 9793 9806 9812 9814 9813 8814 8671 10195 11281 10211 11259 11448 7464 11435 11431 11429 11430 11422 11434 11423 11296 11426 10057 9915 10045 10042 8534 8664 11170 11172 11171 9776 9771 9753 9711 10226 9741 9732 9761 9725 6723 6725 6751 6750 6749 10287 12832 12827 12833 11167 11169 11166 11168 9717 11155 11159 11158 14218 14215 14217 11196 11192 11447 11450 11189 11191 11449 11165 13049 15595 15589 15594 12836 12837 12834 16984 16983 10075 10072 10074 15592 15590 15593 9808 9810 10069 10068 10066 10065 10071 10070 16982 11258 11425 15602 15603 15601 10052 15438 15437 15575 15597 14419 14415 14417 14298 14424 14355 14358 14368 14422 14367 14296 14423 14357 14421 14315 14366 14364 14425 14359 14294 14297 14360 14295 14362 14361 14365 14420 14416 14426 14356 14418 14428 14427 14363 9700 11599 11555 11594 11575 11605 11551 11658 11602 11665 11601 11519 11576 11592 11654 11552 11530 11553 11572 11574 11556 11596 11655 11597 11666 11593 11660 11659 11657 11554 11558 11656 11664 11557 11595 11603 11573 11663 11600 11606 11653 11598 11604 11669 11668 12829 9510 14056 14222 14221 12841 12840 12813 12835 12676 12675 14354 8284 12987 12986 12980 12981 12985 12979 12976 12984 12977 13046 12934 12974 13035 13040 13036 13037 12975 13047 13034 13038 12982 12983 12978 13039 8830 10064 10063 10055 10061 10062 7290 11458 12817 12826 11433 12825 11438 10676 11164 10077 8696 8695 9509 9775 9770 9503 9708 9507 9752 9515 8394 14195 15576 12811 12812 12816 12803 12810 12815 8411 11173 11457 9710 10076 9709 9792 8401 9731 9751 9729 9740 9724 9715 9730 8295 9782 11460 11459 8698 10078 10079 7314 8697 7315 6083 9667 9672 9675 9296 9674 9673 8845 9665 8097 8102 8100 8098 8101 11046 4141 11054 11048 10677 11055 11056 11053 19734 19567 18497 16978 16975 16980 16977 16979 16956 14430 16976 16970 16981 18512 8455 8445 8438 8481 8435 8480 8471 8491 8439 8499 9801 10053 10054 7102 8479 8454 7116 7136 7095 8444 8469 8510 8464 8463 8607 8579 8585 8573 8566 8580 8567 8572 8530 8513 8594 8589 8542 8557 8581 10050 10041 10048 10049 10047 10043 10046 10044 10031 8462 8627 8565 8629 7243 8628 7181 8659 8648 8649 8523 8529 8584 7263 7178 7156 7218 7157 7154 8609 8620 7271 8647 8586 8459 8576 8544 7189 8543 8470 8525 8588 8605 8577 8500 8606 8524 8492 8511 8541 8443 8555 8556 8514 8442 8512 8441 8545 8456 8587 7077 8437 8490 8509 7075 7054 7059 7090 7118 7063 7098 7240 7196 7224 5800 7238 7200 7143 5873 7266 5830 4419 4492 5849 7165 5862 7191 7225 7074 7099 7208 5775 7206 7079 7058 7130 7062 7148 7246 7277 7199 7128 7163 7186 7057 7073 7198 7212 7203 5758 7174 7223 7164 7129 7131 7160 7078 7082 7248 7089 7161 5773 7100 7185 7247 7214 7110 7226 7133 7162 7176 9442 7125 7106 7113 7114 7134 7115 7135 11047 9666 5776 7047 7109 7175 7061 7228 7080 5797 7060 5821 7204 7267 7149 7195 7119 7239 7064 7083 7268 7132 5854 7207 5890 7150 7111 7205 7088 7227 7197 7081 7056 5813 7230 8498 8604 8619 8460 8593 8546 8461 8658 8531 8608 8621 8595 8578 8571 10009 10008 10029 10002 10001 8652 10028 9990 10000 8624 10039 10040 10030 10010 7254 7194 3957 3955 3954 6773 6873 6807 7030 6888 7020 6797 6768 6901 6802 6893 6786 6878 6775 6914 6758 2574 1154 1152 2573 2577 1157 1156 2576 2578 1155 3956 3958 1153 2575 6763 3959 8274 8188 8167 8254 8154 8178 8183 8149 8139 8144 8259 8269 8282 8156 430 3324 5394 3173 4554 5377 1943 5492 429 1941 153 431 5936 5935 1793 149 3327 3322 3323 4708 5416 3326 5497 5421 3325 5533 5392 1944 5649 1946 4709 148 1792 6722 4703 4707 4704 5426 5405 151 4705 279 5507 1945 4555 428 5639 1947 5520 4706 3174 5934 3328 154 7316 150 152 5382 5341 433 432 5512 7317 427 1942 5933 5387 7190 11607 10056 10060 10058 10059 4108 6695 6682 6681 6694 6678 6677 5307 6662 5304 6673 6665 5303 6676 6670 5309 6672 6663 6669 6666 6674 4092 5308 6661 5311 5314 5301 6667 5300 5313 5305 6675 6671 5312 6679 8103 5320 6714 5333 6696 6701 5325 6706 5315 8846 8847 8850 8851 8848 8849 8852 7465 6085 6087 6084 6089 6088 6086 6090 7469 7468 7471 7466 7467 7470 8440 7192 7142 7184 7117 7278 7213 7144 10232 10229 10230 10233 10227 10231 10228 12677 12804 12807 11161 11160 11162 10218 10284 10214 10272 10273 10222 10216 10219 10223 10283 10279 10213 10278 10276 10285 10221 10282 10280 10215 10220 10281 10151 10217 10274 10224 10153 10225 10277 10275 10172 10212 10152 11157 15679 16819 16818 10891 11001 18574 18573 18481 19718 19580 19740 19581 18441 18560 18508 18568 18564 18566 18458 18504 18510 18511 18567 18559 18506 18509 18498 18569 18438 18562 18563 18440 18502 18507 18499 18561 18439 18565 18570 18437 10989 10988 11130 11140 11099 11123 11100 11115 11103 11120 11095 11108 11135 11109 11117 11114 11125 11137 11139 11126 11131 11144 11127 11124 11153 11119 11107 11143 11129 11102 10178 11093 11077 11075 11074 11087 11083 11076 11080 11078 11073 11118 11147 11079 11088 11085 11094 11082 11279 11256 11257 11278 11277 12662 14372 14370 14376 14373 14375 14374 14371 14369 11146 11149 11101 11154 12551 11138 11148 11141 11150 11086 11104 11084 11136 11128 18362 19737 19741 17192 19739 19738 19732 19742 17193 18337 18359 18358 18361 18357 18351 18356 18360 12772 12801 12792 12802 12791 12764 12770 12771 11421 11411 11391 11383 11390 11410 11412 11230 11282 11229 11536 11443 11442 11441 11188 11184 11243 11382 11261 11276 11218 11287 11232 11340 11272 11201 11225 11200 11262 11335 11351 11305 11329 11334 11339 11226 11371 11343 11307 11308 9916 11285 11222 11370 11273 11293 11206 11197 11356 11242 11223 11357 11286 11350 11233 11319 11275 11347 11254 11207 11292 11217 11342 11253 11348 11328 11368 11204 11203 11304 11367 11318 11338 11183 11176 11179 11180 11177 11174 11193 11195 11194 12577 12573 11199 12565 12569 11185 11187 12828 12831 12830 10154 11268 9878 11364 11366 11349 11205 11288 11290 11291 11346 10005 11216 10033 11409 11303 11327 9940 9951 11252 11381 9839 11241 11274 9864 11198 11341 11306 11365 11224 11369 9980 11355 11221 11260 11289 11333 11420 12566 12568 11317 11389 11271 11231 9956 9887 11547 11545 11550 14208 14214 14213 11361 10286 11363 11360 11202 11359 11228 11358 11418 11419 11413 11414 12790 11267 11386 11385 11376 11312 11417 11499 11332 12716 12721 12715 12634 12708 12606 12728 12689 12667 12623 12613 12673 12624 12604 12709 12643 12668 12635 12674 12656 12657 12653 12724 12685 12642 12723 12654 12699 12688 12614 12720 12710 12727 11238 12612 12652 12666 11297 12752 12763 12732 12737 12748 12738 12731 12749 12751 12729 12762 11373 12747 11337 11336 11571 12750 11372 12581 12580 12599 11220 12598 12587 12603 12588 12586 11330 11264 12714 11396 11323 11244 11245 12605 11300 12722 12698 12622 12641 12655 11209 11236 12602 12597 12578 11249 12585 12582 12584 12583 12736 12687 12730 11406 11321 12684 11299 11320 12672 12686 12607 12633 11324 12719 12700 11397 10823 9443 10897 12547 12548 12549 12553 12552 12550 11081 21124 12512 12511 12490 12498 12489 11106 12483 12484 12516 11142 11152 12476 12485 12488 12480 11113 12525 12534 12531 12529 12527 12518 11122 12540 12495 12539 12536 12535 12507 12520 12504 11134 12501 12517 12369 11098 12370 12530 12521 12522 12500 12496 12509 12505 12519 12508 12506 12524 12481 12482 12917 12464 12465 12458 12459 12510 12272 12467 12499 12392 12528 12468 12454 12457 12460 12456 12455 12461 12463 12462 12466 12474 12469 12475 15600 21121 21099 12278 15339 15335 15334 15332 15059 15054 15044 15083 15174 15061 15179 15164 15088 15072 15049 15093 15187 15159 15316 15200 15306 22329 22496 21122 21119 21120 21113 21118 21123 21259 19954 19953 19955 20962 12533 12538 12523 19951 19892 19884 19888 19885 19882 19887 19889 19949 19941 19950 19886 19946 19942 19883 19839 19947 19890 19939 19948 19817 19940 19891 19943 19952 19880 19879 19945 19822 20961 8136 8137 8138 13923 13876 13899 13864 13897 13861 13917 13920 13921 13924 13922 13880 13891 13909 13882 13900 13885 13892 13871 13898 13901 13886 13888 13866 13910 13912 13908 13906 13916 13915 13879 13905 13911 12494 13848 13869 13889 13890 13865 13857 13863 13862 13877 13881 13870 13893 13887 13902 13855 13849 13856 13847 13850 13653 12515 13903 12487 13750 13751 12503 13763 16696 16694 16695 16692 16693 16691 16690 15314 15313 15315 15040 15298 15301 15302 15251 15284 15238 15242 15131 15246 15247 15250 15290 15287 15297 15286 15296 15243 15132 15245 13875 15272 15231 15229 15261 15292 15034 13896 13914 13919 13659 13884 15257 15267 15274 15252 13904 15283 15278 15280 15260 15258 15262 15273 15268 15270 15293 15289 15291 15236 15228 15230 13868 15244 15237 15263 15282 15279 15269 15271 15266 15281 16668 16672 16678 16683 16665 16667 16677 16674 16679 16670 16682 15300 16631 16649 16664 16662 16644 16660 16651 16647 16650 16648 16655 16623 16663 16626 15285 15265 15256 16625 16619 16627 15249 16661 16624 15277 15295 16628 16632 16673 16652 16654 16639 16638 16641 16659 16671 16525 16512 16513 16415 16617 16609 16611 16612 16618 16642 15235 16653 8132 8104 8130 8106 8131 18505 18500 19881 20948 21115 18558 19862 18571 18501 18503 19845 15223 15220 15227 13860 15225 15222 12473 16610 13841 13835 13842 13846 13837 13839 13838 13844 13836 13845 12479 16606 16608 13840 13925 15154 12542 12541 12543 13773 16607 16601 16603 15241 16604 16602 14966 15221 15218 15219 15216 15217 15226 15299 11612 11611 11609 11614 11608 11613 11610 15033 15039 15294 15276 14210 14043 12434 12429 12058 12436 12437 12435 15309 15311 15312 15310 13927 13934 13930 13932 13933 13929 13931 13928 15027 15031 15253 15255 15254 15308 15264 13627 13680 13783 13707 13673 13806 13798 13678 13793 13778 13663 13691 13702 13712 13668 13819 14338 15424 15591 15581 12957 11559 15239 15248 15275 14200 12973 12819 12814 15232 15234 15233 16633 16643 16684 16686 16685 15304 15305 15303 16972 16805 15144 12793 12806 12809 12808 12805 15008 12554 12271 13658 12269 12265 11133 10890 11151 11132 11105 10888 13646 13650 13918 13652 13895 8905 11156 10896 11096 11667 13843 8497 8517 12754 12579 11568 9481 9482 9483 9479 9478 12382 11437 11439 11440 10861 11428 11427 11424 11255 10032 12759 9898 9876 9875 9877 9896 9897 5706 8458 8570 8562 8559 8483 8538 8537 8535 5696 11311 8506 8644 8487 8476 8599 11331 5721 11388 11387 11384 12760 12761 12756 11190 9817 9517 9518 9519 12274 9513 9511 10898 9487 10894 10868 9512 9485 10892 12275 10900 12273 12249 12279 12280 12281 10866 10893 10899 9868 12823 12824 12822 11227 10864 12243 12244 10863 10859 11182 10860 10862 12242 12245 12241 12240 11097 11092 12795 12798 12800 11405 12794 11237 12799 12753 12235 12237 12236 10855 10854 9473 9474 9475 10856 11416 12546 10813 10818 10816 10817 10822 10825 10837 10820 10824 10819 10821 11111 11121 11112 10884 11110 11091 11090 13585 8575 8635 10810 10812 12787 9444 9456 10815 10806 10814 10808 10809 12187 12194 12191 12200 12203 12195 12196 12189 12190 12201 12198 12199 12197 12202 12757 12733 9434 9440 9433 9435 9432 9438 9441 9436 8496 9437 8516 9439 8075 8062 8076 8515 8053 8051 8060 8054 8057 8052 8058 8055 8059 9874 10805 10804 9425 8046 10099 8044 8047 10098 9423 8043 8042 8050 8048 9429 9424 12785 12789 8611 12788 12758 13851 11089 12205 12219 12218 12206 12564 12563 5489 6692 6693 5473 6690 6689 6686 6685 6684 6688 12821 12820 12818 12193 12797 12786 12277 10080 10103 10100 10106 10105 11479 12185 11480 12186 11487 11486 11461 11484 11485 11481 10104 9427 9428 9457 10838 8494 8495 8063 8056 9431 15579 15588 15587 15582 15585 15586 15583 15584 15580 12572 14193 14196 14184 14192 14191 14197 14207 14198 14206 14321 15439 15569 15566 12988 15577 15574 15578 13048 13894 14967 15568 15572 15565 15573 14185 14058 14188 14187 12940 15552 15509 14176 15510 14148 15513 14123 15524 15494 15525 15489 14174 14168 15512 15492 14175 14167 15533 15491 14135 15490 15499 15532 15486 15500 15511 15526 15514 15493 15564 15554 15563 15553 15534 15498 13044 13045 13041 15555 12990 12993 12989 12995 12992 12994 12991 13854 15224 14981 14968 14980 15000 14987 14982 14992 15570 15567 15571 13600 13599 13587 13043 13042 12912 13619 14964 14963 14965 14959 14961 14956 14955 14953 14960 14235 14140 14139 13579 13580 13574 13572 13575 13578 12640 12660 12659 13582 13584 13583 13581 12658 16605 13872 12544 13873 13883 13867 13874 14021 14020 14041 14040 14962 14134 14147 14027 14138 14120 14116 14115 14114 13601 13606 13611 13818 13816 13817 13439 13815 13810 14107 14106 13776 13777 13774 9623 9615 9594 9614 9589 9626 9634 9618 9633 9631 9612 9613 9605 8253 9606 8250 9611 9629 8252 9624 9622 9621 9588 9592 9593 9628 9627 9619 9609 10995 11010 11003 11005 11009 11002 11008 12381 12375 12386 12393 12396 12395 11004 10996 10999 10990 10993 10992 12355 12351 12350 10994 11000 12354 11007 11015 11012 11014 12389 12380 12356 12383 12374 12385 12391 12373 12384 12371 12388 12367 12390 12368 12376 12377 13752 13749 13755 13737 13754 13748 13766 13756 13765 13758 13761 13757 13762 13764 13767 13769 13770 13772 13771 12349 12427 13808 12575 13958 13955 13957 13956 14212 14209 14211 14951 14952 14948 12057 14957 14958 14949 13598 13597 13595 12341 12342 13732 13736 13735 13731 13577 12639 13576 13571 13570 13568 12339 14186 14189 14190 12347 10974 10973 10970 10975 10969 10986 10987 9632 9585 9587 10966 10968 12287 12292 12282 12297 12321 12417 12438 10991 10976 12340 11013 10961 9577 10960 9580 9579 10958 8235 9616 10997 8251 13730 13728 9893 9923 9987 9938 9823 9841 9891 9969 9962 9818 9922 9910 9965 9836 9970 9852 9851 9861 9871 9948 9925 9826 9850 9820 9825 9905 9958 9890 9860 9966 9960 9974 9989 9937 9936 9953 9835 9975 9946 9957 9985 9845 9895 9873 9892 9926 9988 9924 9862 9954 9986 9927 9840 9952 9880 9843 9822 9819 9879 9906 9844 9816 9881 9947 9968 9959 9961 9872 9912 9842 9911 9967 9824 9894 9904 9837 9976 9821 9919 9918 11181 10016 10025 13950 13946 13954 13939 13942 13941 13936 13938 13945 13947 13949 9943 13926 13438 12576 12574 12558 12561 12557 12560 12555 12713 14152 14129 14133 14132 14119 14144 14145 14130 14172 14153 14112 14113 14109 14118 14105 14110 14173 14183 14117 14151 12742 14171 12619 12571 14128 12741 12649 14182 12766 12767 14143 12740 14131 12705 12630 12778 12678 14111 14108 12735 12734 13951 13953 12570 14205 14204 14203 12702 12718 12601 12681 12680 12768 12765 12769 12626 12739 12645 12636 12646 14201 14199 14202 13944 12545 12471 12537 12472 12204 13586 12470 12348 12225 12230 12220 12212 12210 12213 12217 12638 12637 10836 9455 9450 9448 9451 10832 10829 10831 12238 10911 10906 11016 10940 9537 10929 9530 11031 9525 9663 9484 9650 10950 9655 10901 9569 9635 11057 10916 9548 11036 9476 9564 9640 9520 11044 11163 10865 9559 10918 11021 9535 9676 10945 10857 9463 8082 9468 8095 8087 9458 8077 10839 10849 10844 13591 13593 13594 6854 8074 8071 8073 14166 14170 14169 13913 13858 8246 8238 8243 8212 8224 8241 8234 8245 8207 8232 8225 8242 8230 8237 8248 8231 8211 8233 8247 8208 8228 8240 8213 8206 8204 14179 14181 14180 6870 8070 8067 8069 5434 5437 5436 8196 6817 6815 6818 8199 8198 12326 12397 12412 12310 12402 12299 12246 12425 12331 12852 14947 12851 12853 13617 13618 13616 14999 14997 14998 14241 10835 12214 10833 12216 14178 12860 12861 12532 12491 12492 12514 12502 12513 12486 12477 12493 18464 20864 20866 20867 14819 15307 16681 13853 13852 16688 16200 13626 13622 13624 13625 13623 13621 15547 15551 15550 13960 12868 12862 12867 12866 12428 14867 14847 14924 14849 14869 14872 14930 14877 14893 14898 14871 14945 14888 14868 14845 14250 14848 14866 14528 14246 14243 14223 14249 14240 14248 14247 14238 13592 14870 14935 14903 14940 14915 12842 14242 12847 12848 12865 19482 19478 19477 19735 19475 19733 19736 16421 16712 16711 16709 16703 16700 16704 16708 16701 16698 16715 16720 16716 16717 16719 16718 21112 21103 18200 18075 18076 18077 17060 18199 17117 17077 17130 17122 17124 17059 17127 17182 17181 17178 17185 17129 17126 17118 17058 17121 17179 17187 17177 17184 17190 17180 17188 17189 17183 17128 17120 17186 17057 17125 17056 17123 17119 20851 20859 20863 20850 20855 20846 20847 20852 20844 20858 20843 20854 20841 20849 21117 21114 21116 20860 20862 20861 20856 22484 22492 22493 21111 19719 19724 21093 20963 21090 21100 19474 19470 19473 19463 19466 19462 19460 19465 18160 19471 19469 19479 19481 19468 19480 15740 15747 15741 15696 15808 15749 15806 15805 15802 15800 15799 15736 15807 15742 15737 15739 15801 15674 15745 15804 15744 15748 15798 15738 15803 15327 15323 15319 15338 15337 15326 15322 15328 15320 15336 15330 15317 15325 15331 16697 16689 15743 15809 15746 15797 17116 15735 18350 18341 18349 15750 18338 15812 15811 12247 19722 19731 19730 16969 16968 16960 15719 16962 15810 16957 18339 18336 18340 15751 15754 15755 15752 15757 15753 15756 19893 16961 17131 16965 16967 16964 16963 15702 17766 17137 17132 17134 17133 17136 17135 17138 16966 14100 13988 14068 14081 14069 13966 14067 14070 14095 14047 14038 14102 13983 13969 14104 14023 14103 13964 14096 13978 14079 13984 14055 13962 14036 14066 13965 13980 14091 14101 13994 13995 13959 14049 14003 13979 14080 13961 13985 14089 14033 14005 13967 14016 14015 14022 14034 14048 13986 13993 14054 14065 14004 14014 14037 14024 14090 14035 13968 14053 13987 13963 14097 18355 18352 18354 19110 15796 18081 18090 18089 18084 18101 18085 18096 18082 18093 18092 18079 18088 18097 19878 17191 18094 18343 17100 18186 18353 19721 19717 19720 21105 19458 19456 19457 19451 19455 19452 19454 19453 18045 18059 18019 18013 18020 18009 18014 18033 18012 18051 18043 18049 18022 18046 18048 18036 18024 18035 18023 18041 18058 18055 18030 18053 18029 18054 18032 18025 18052 16646 16666 16658 16676 18064 18063 18060 18040 18044 18028 18042 18031 18034 16637 17906 18066 18065 18067 22499 22494 22500 19743 22501 22504 17802 22503 18062 21274 22244 22240 20491 17991 17998 17993 17992 17999 18007 17990 18000 18008 16630 18005 18004 18006 17985 17893 17894 17978 17984 17983 17982 17981 17987 16622 17988 17980 17989 17979 19297 17997 19444 19448 19445 19446 19441 19447 18011 18039 18057 18027 18047 19183 19274 18003 19275 19387 19363 19362 19412 19386 19414 19380 18018 19374 19394 19413 19422 19403 19395 19440 19421 19401 19359 19423 19410 19370 19415 19365 19361 19364 19404 19373 19405 19424 19425 19381 19385 22495 22498 22497 19944 22479 22483 22482 22480 22481 22502 21243 19287 21203 25264 24094 24024 24026 24082 24093 24088 23982 24083 24023 24095 24032 24029 24087 24033 24084 24027 24086 24028 24089 24085 24092 24022 24035 24034 25258 22486 28026 28004 28029 27853 26623 28023 28022 28019 28021 26645 28025 28027 28028 27745 27867 26798 26783 26860 26796 26794 26857 26852 26787 26791 26744 26855 26854 26850 26847 26846 26849 26851 26790 26848 26853 26844 26795 26785 26786 26722 26784 26788 26845 26789 26856 26797 26648 27629 27735 27608 27603 27522 27490 27478 27483 27512 27473 27501 27488 27517 27593 27616 27588 19417 19430 19390 19409 19379 19406 19360 19371 19416 19411 19436 19426 19393 19400 19366 19368 19372 19439 19435 19434 19427 19389 19388 19433 19432 22505 19369 26792 26793 26859 28005 25479 25478 27995 26647 26646 27868 26767 28016 26639 19429 19443 21331 21320 21267 21324 21321 21260 21327 21271 21200 21220 21201 21326 21199 21264 21322 21332 21328 21268 21202 21266 21270 21265 21272 21325 21323 21261 21262 21333 21273 21330 21263 21269 21226 20837 20839 20836 20833 20834 20831 20838 20832 20835 21335 21336 22343 22342 25267 23861 23883 26486 25105 24021 29553 28148 28179 29559 30780 28241 30790 30785 30768 30765 30764 30763 30769 30756 30786 29545 28164 30791 29560 29529 30782 29234 29401 30787 30789 29385 29407 29386 29391 29558 29548 29506 29472 29497 29498 29617 29550 29551 29546 29610 29618 29547 29484 29491 29609 29556 28236 28234 28225 28235 28176 28167 28226 28169 28168 28171 28125 28177 28103 28166 28170 28178 28230 28174 28172 28228 28232 30615 28237 29248 30778 28231 28240 29512 28233 30770 30779 28165 28238 28173 28175 28229 25242 22640 24036 22478 22477 22470 26727 27866 30766 29410 29145 29149 30788 29144 28131 29382 29397 29398 29389 29247 29409 29405 29408 29406 29404 29399 29375 29383 22462 24098 22655 29403 29402 29400 29126 29116 25262 25256 25261 25266 25263 25265 24097 21945 22717 25104 23965 25243 25402 25386 25417 26642 28017 26643 28008 26644 26637 25477 28227 29490 28108 24040 24037 24041 24043 24039 24038 24042 22474 22471 22344 21329 21110 22233 22236 22235 19378 19384 19420 19392 19438 20655 22214 22215 22216 22217 22220 22218 22219 22213 23882 23885 23884 23875 23881 22584 23724 23880 22642 22654 22709 22713 22648 22704 22601 22581 22582 22711 22710 22645 22701 22652 22708 22644 22653 22641 22646 22703 22706 22580 22643 22649 22707 22712 22583 22702 22705 22650 22651 22647 22714 20813 20794 20798 19408 20815 20762 20825 20826 20822 20803 20776 20816 20792 20808 20805 20820 20768 20782 20767 19399 19428 20775 20770 20791 20787 20811 20564 20795 20797 20810 20784 20786 20821 20804 20558 20796 20806 20793 20766 20774 20781 20814 20785 20760 20753 20754 20752 20755 20761 20745 20749 20744 20740 20742 20746 20743 20747 20741 20751 20750 24005 20759 20771 20817 20656 20802 20807 20769 20790 16597 16600 16599 16598 20827 20829 20828 22221 22059 18071 18072 18078 18073 18074 20840 20678 22239 19109 21108 18099 18087 18100 18098 16974 16973 16971 22237 16713 16707 16706 18068 20748 23723 28003 26635 27994 26624 26629 28006 28002 28007 28001 26627 26636 20946 20926 23859 23860 23863 23864 23851 23858 23874 23865 23873 23862 23855 23852 23877 22716 23725 23854 20824 20819 20801 23621 23625 20789 23620 20773 20809 20780 20765 20830 22460 19459 18070 17921 17936 17949 17926 17962 17941 19449 20724 19307 19322 19330 19302 19343 19317 16947 16820 16950 19111 19123 19124 19565 19564 22473 18334 18327 18335 16803 16783 16782 16802 18294 18288 18325 18326 18316 16938 18295 18275 18273 18287 18286 18271 18272 18276 16910 16897 18262 18255 18261 18248 18252 18253 18256 16930 18314 18315 18296 18260 18251 16885 16958 16955 16959 18519 18517 18514 18516 18513 18518 18515 16869 18274 18254 16909 16896 18245 18247 16900 16780 16801 18246 16937 16781 16868 18103 18102 18106 18108 18105 18107 16792 18234 18239 18244 18240 18181 18198 18197 18208 18232 18190 18196 18224 18233 18213 18209 16821 18192 16848 18222 18212 16845 18243 18191 16856 18210 18223 16824 16823 18131 18109 18167 18112 18111 18136 18126 18180 18148 16773 18137 16769 18178 18147 16744 16789 16876 16762 18128 18127 18130 18158 18159 18123 18177 18121 18138 18176 18146 18122 18166 18157 18104 23853 23856 23857 16861 18238 18165 16921 18211 18179 18129 18110 16806 16790 16860 16791 16854 16929 16878 16902 16877 16754 16737 16838 16901 19187 19202 19226 19215 19197 19192 19236 19231 19204 21081 22468 22459 22469 21053 21012 21045 21028 21040 21021 21073 21097 21102 21096 21098 21101 21089 21092 19103 19104 19106 19108 19102 19099 18378 19095 19094 18373 17721 17718 17723 17722 17727 17725 17726 21079 19107 17811 17823 17816 17834 17845 17850 17806 17855 17821 17770 18388 18387 19545 19582 19709 21078 21087 21088 19712 18572 21080 19700 21076 21077 21058 21044 21043 21020 21011 21033 21018 19692 21056 21048 21014 21057 21049 21010 19647 21035 21017 21050 21034 21023 21022 21015 21037 21038 21024 21013 19672 21036 21016 19664 19699 21052 21039 21027 21026 20922 23879 23618 23876 23878 22461 20935 21724 20981 21064 20999 20966 20991 20988 20967 20964 21004 20949 21009 21007 22490 22489 22491 20996 20972 20986 20974 20995 20975 21006 19618 20960 20985 20971 21005 21001 19623 21000 20994 21002 19607 20883 19586 19506 20970 20870 20984 21008 20973 20490 18348 20997 20978 20998 21003 20990 16535 21109 20758 20563 19182 19170 20818 20823 20555 20551 20800 20799 19093 19606 19563 19671 19645 19550 19644 19638 19646 19691 20772 20763 20788 20778 20777 19617 19616 20943 20938 20921 20941 20884 20890 20865 20900 20908 20889 20909 19535 20874 20953 20919 20952 20869 19683 20898 20892 19524 20872 20899 20939 20873 20940 20942 20891 20885 19531 20910 20954 20929 19583 20959 20927 20888 20868 19585 20920 20958 20893 20928 20871 21279 19895 21281 21278 21276 19898 19897 19894 21280 21277 19899 19896 21275 19900 20945 20925 20923 20924 20944 22485 22487 22488 20557 20756 20779 20979 20980 16953 16954 16946 16340 16342 16341 16337 16344 16346 16687 22475 22472 22476 14429 16616 19367 17916 17986 18962 19450 16581 16464 16540 16453 16474 16435 16425 16469 16442 16430 16555 16545 16568 16389 16560 16440 22168 22184 22202 22186 22174 22191 22196 22176 22194 22172 22173 22165 22195 22188 22171 22183 22189 22178 22198 22175 22163 22187 22192 22157 22179 22167 22126 22155 22156 22201 22152 22185 22036 22128 22130 17581 18069 15422 21104 18328 18331 15402 15549 15557 15488 21106 21107 15411 15504 15516 15529 15497 15442 15440 15363 15480 15464 15467 15443 15475 21072 18201 20932 21019 19708 19716 19715 21025 20931 15540 15388 15381 15392 19707 19706 19697 20934 20933 18319 19675 19677 19696 19695 19669 19676 17728 18346 20916 20905 20912 20880 20887 20897 17083 18318 15421 15420 15556 15487 15399 15548 15495 15401 15398 15521 15520 15515 15519 15528 15496 15400 18332 18329 18333 16347 15425 19698 15006 15007 15004 15005 15373 15474 15457 15356 15454 15473 15466 19711 15561 15562 15560 15435 15448 15451 15470 15450 15471 15482 15436 15477 15478 15461 15472 15446 15476 15447 15462 15460 15430 15484 15485 15483 15415 15405 15419 15416 15428 15418 15429 15503 15502 15501 15409 15410 15479 15481 15434 15414 15413 15412 15406 15449 15417 13660 13628 13656 13630 13662 13655 13661 13654 13809 15359 15384 15403 15346 15385 15361 15348 15367 15366 15376 15375 15396 15343 15342 15324 15333 15432 15431 15433 15341 15345 15368 15386 15360 15404 15395 15344 15369 15350 15340 15349 15365 15397 15347 15374 15364 18330 21095 21094 21091 20857 13943 18317 14044 14018 14039 15408 14026 14028 15463 14083 14059 14086 14099 14082 14098 14085 14159 14007 13982 14061 14030 14094 14062 14011 14092 14029 14093 14000 21047 21042 21046 14121 14122 21085 15407 14019 17007 21075 21071 21070 21069 21068 21074 21030 20982 21032 20983 21031 20977 19663 21086 21084 21871 19662 20965 20969 20968 19597 19622 16727 16784 16742 16766 16749 16830 16785 16748 16729 16777 16765 16740 16722 16890 16841 16798 16796 16786 16795 16852 16864 16866 16858 16827 16815 16810 16842 16829 16934 16945 16935 16933 16894 16870 16879 16906 16875 16891 16867 16873 16895 16874 16831 16799 16817 16871 16893 16880 16872 16892 16905 16881 16809 16778 16721 16776 16728 16757 16730 16755 16745 16723 16741 16747 16725 16731 16746 16724 16767 16750 16756 16863 16914 16944 16913 16907 16859 16857 16800 16797 16832 16816 16828 16843 16915 16865 16862 16853 16851 16811 16726 22222 22232 22225 22231 22227 22224 22228 16949 16948 16951 16952 15043 15041 15042 16883 16884 22212 16936 16787 16793 16794 16943 16941 16942 22467 22466 22465 16420 16615 15011 15009 15036 15037 15035 16714 16645 16634 16635 16613 16614 19177 16422 16392 16417 16423 16418 16424 16416 16390 17796 17804 17803 17805 19185 19180 19178 19152 19154 19184 19179 19186 16680 20343 16414 16412 16636 16408 16675 16620 16656 16657 16629 15002 15003 19340 19334 19341 19342 19339 19333 19335 19331 17958 17582 17960 17961 17959 17953 14017 20721 20720 20715 20344 20723 20722 16384 16388 16385 16386 16387 14073 14245 17006 16345 16343 18347 16997 17724 17743 17730 16348 16362 16349 16361 17742 17713 17714 16992 17729 15616 16333 16332 15626 15611 17712 15625 16331 14244 14230 18342 18345 18344 16383 17996 17801 19442 19375 20757 19174 19377 19376 17795 17793 15198 15197 15199 15196 15191 14820 20714 16579 16578 16572 16577 16580 16201 16517 16499 16516 16514 16511 16527 16523 16533 16532 16534 16524 16518 16531 16520 16529 16536 16538 16519 16539 16526 16528 15189 16570 17720 17719 17879 17875 17915 17913 17912 17910 17914 17919 17917 17878 17899 17920 17909 17905 17897 17901 17892 17904 17908 17898 17900 17880 17907 17895 17891 19122 16510 19118 17866 17874 17717 17715 15138 15136 15133 15151 15150 15142 15145 15153 15137 15130 15152 15146 15135 15139 15147 15148 15129 15118 15143 16494 16498 16493 16339 16338 19098 19097 19705 19704 19703 15157 15155 15158 18382 16360 15113 15117 15112 16497 16485 16882 16788 19090 19091 17711 16779 16835 17749 17754 17744 17762 19115 19117 16330 17710 16995 16994 16991 16996 19096 16928 16932 16931 18311 18237 18242 18241 18259 18250 15116 15613 15609 15615 15614 18257 18170 18310 18258 18249 15610 16492 16490 17741 17740 17738 16329 18385 16336 16335 18384 16334 19125 19130 19135 14976 14978 14979 13723 16327 18392 15111 15109 16368 16363 16373 16381 15190 18366 15104 17708 16484 17734 17737 17736 18389 12378 12394 17863 15101 17865 16356 16355 16353 15103 16985 15630 15629 15619 17005 15624 17000 15623 17004 17009 15622 17002 17003 13720 13722 16379 16380 16378 16571 15621 18383 18381 18386 15627 18390 19092 19089 19143 17011 17010 19140 19141 17760 16482 19151 18391 15628 17761 16990 19142 17759 17008 15604 25248 18184 18183 18182 25244 23867 25241 25245 25232 25239 25240 22624 25254 25255 25246 21334 23603 23614 23606 23605 23616 23608 23609 23613 23612 23617 22607 19293 19286 19282 19289 19281 19296 19290 19288 19272 19273 19280 19291 19261 19276 19279 19294 19285 19295 20568 20703 20617 20578 20607 20711 20585 20698 20688 20668 26625 26622 26626 30507 29387 29388 29384 28010 29379 29376 20596 20612 20683 22211 20573 20583 20532 29511 29615 29554 29466 29614 29612 29616 29619 29483 29552 29557 29549 29611 29613 29452 29555 30772 30767 30760 30757 25222 25236 25235 27986 25411 25405 25466 25409 25408 25469 25407 25406 25468 25476 25341 25475 25403 25412 25414 25413 25404 25415 25363 25467 25369 26485 29138 29141 29140 25416 25410 23988 23761 23688 25224 25161 25167 25193 25191 25158 25192 23815 25180 25166 25165 25221 25231 25181 25160 23802 25219 25220 23843 25230 25177 25201 25138 25129 25143 25179 25152 25150 25145 25149 23766 25148 25144 25139 25157 25153 25156 25199 23697 25176 25200 25178 25137 26605 30717 30690 30681 30725 30716 30744 29359 29339 30701 30723 30682 30677 30724 30689 30683 30715 30685 30684 30704 29367 30700 30705 30703 29307 30680 29314 29326 30702 30743 29274 29267 30627 30621 30596 30637 30651 30668 30663 30653 30625 30662 30642 30674 30673 30638 29298 30640 30608 29253 28239 29235 29290 29221 29331 30691 29232 29212 29250 30639 30667 30661 30626 30619 30605 30607 30652 30610 30672 30669 30676 29277 30675 30620 30641 30606 29285 30609 30755 29249 30745 30754 30583 30670 30671 28903 28984 28882 28864 29010 28859 28989 28871 28974 28818 28869 28854 28898 28893 28997 28969 30602 29374 29364 29373 29363 29344 29362 27984 27985 26750 30554 30579 30629 30630 30634 30631 30633 29620 25068 30748 30664 30665 30666 30593 29621 30616 30613 29622 30679 30655 30628 29489 32011 32015 32141 32138 32140 32160 32159 32151 30947 30944 32010 32052 32039 32038 32069 30893 31945 32291 32307 32322 32167 32161 32166 32168 32171 32172 32170 33421 33447 31979 33292 33466 32087 33288 33463 31981 33435 33486 33469 33439 33430 32068 33431 33478 33485 33464 32093 33444 33446 33445 33479 33517 33516 33425 32127 33471 33437 33507 32009 33506 33420 33422 31970 33487 33438 33443 33452 33451 33462 33423 33553 32328 32329 32326 32323 32325 32327 32324 31980 32128 33418 32129 33403 33389 32029 33414 32027 33400 33417 33357 33356 33367 33382 33388 33372 33348 33350 33381 33355 32028 33369 33413 33349 33319 33317 33322 33318 31992 33541 33532 33540 33549 33552 33551 31003 31002 33528 33531 31001 33543 33545 33525 33546 33544 33526 33530 33518 32148 33523 30870 33520 33519 33505 33524 33522 33391 33392 33399 33529 27831 31944 33377 33550 33548 33527 33401 33371 33383 32014 31997 33368 33358 33402 33476 33474 30926 33477 30945 30948 33428 33429 33338 33328 33329 33321 33415 31960 31994 33424 33314 33475 33327 33404 33320 32036 23783 25159 23835 23790 25118 25127 25095 25072 25082 25064 25085 25070 25114 25128 25062 23750 25043 25042 32060 32059 32074 33467 31996 32147 32163 32169 32088 32067 30910 30941 30943 33542 30942 33547 30946 23753 23807 24096 25134 25131 29567 29565 29561 29563 29564 29566 29562 25034 33326 26858 27998 27997 29121 29120 29122 29124 29125 29123 27741 27739 27738 27742 27743 27740 27744 25465 25463 25473 25470 29119 25474 29323 27838 29258 29310 29320 27945 29257 29319 29246 27958 29229 29300 29239 29343 29335 29272 29261 29281 27933 29324 29240 29256 29296 29282 27895 27944 27957 29271 29238 29299 29342 29303 29309 29270 29321 29287 29292 29293 29295 29260 29245 29301 29308 29304 29334 29288 27869 27896 29336 27839 27827 27908 27837 27977 27978 27909 27840 27892 27924 29286 27902 29280 27850 27851 27849 29291 29225 29228 27893 27904 29215 29226 27903 28181 28186 28180 28185 28182 28184 28183 30530 30526 30522 30783 30781 30784 27917 30521 30519 27872 29244 27854 29322 27886 27950 29259 29224 27926 29302 29294 29227 33378 33380 33376 33379 33316 33387 33370 33339 31959 33465 33436 33297 32384 33293 33295 33303 33300 33296 31928 33312 33301 33283 33281 33284 32382 32383 33299 33313 33302 30688 30739 30686 30740 32126 32055 32057 32136 32135 32065 30695 32105 32066 32083 32124 32081 32053 30658 30719 30564 32145 32149 30712 32062 32097 30707 32082 32144 32071 32104 32086 32137 32146 32106 32072 32084 32125 32061 32070 30720 32063 32085 32064 32150 32098 32058 32096 32050 32054 32056 32035 30571 30570 30572 30687 30589 30759 30706 30693 30746 30598 30710 30692 30645 30601 30694 30599 30711 32012 30592 30612 30611 30590 30657 30646 32049 32044 32048 32042 31989 32007 31977 31987 31986 32023 32006 32019 32032 32020 31988 32018 32002 32001 31991 32022 31990 32034 32000 32033 32021 32043 30648 32008 31969 31958 31967 31976 31968 31975 31937 31956 31933 31941 31957 31948 31947 31938 31939 31940 31931 31922 31932 31946 30240 30274 30355 30263 30497 30245 30235 30279 30284 30350 30370 30250 30378 30252 30391 30365 30591 30654 30647 30730 30731 27949 32091 31993 31974 31973 31913 30678 30600 30183 30178 30191 30199 30173 33442 33441 33434 33433 28792 28797 28802 28810 33397 33398 33395 33394 33393 33396 31914 31902 31911 31920 32153 32051 31907 31900 31903 31972 31935 31921 31919 31912 31916 31918 31915 30547 31936 31917 33341 32026 31934 33343 33345 33347 31926 31925 33298 33453 33337 33450 25471 25472 25464 27765 27767 27766 26450 27948 27916 27925 30578 29350 30594 30588 30577 30595 30586 30587 29202 30567 30552 30559 29191 30565 30560 30557 30576 30555 30566 30575 30556 29198 30543 30562 30561 32092 33346 31971 30582 29137 29136 29148 29129 29133 29130 29127 29147 29146 29132 26523 26536 26515 26512 26621 26620 23726 25113 25103 25071 23774 23667 25032 25051 23743 25151 25069 29166 25036 29252 25089 25081 23728 23659 25031 25101 25102 25116 23708 23729 23826 25096 25052 25035 23649 25027 25011 25016 25012 25013 25007 25026 25010 23642 25014 25009 25015 25083 30540 30534 30531 25115 25028 25041 23674 25084 25017 25063 25086 23678 30537 25097 25033 30539 30541 30550 30551 29173 30538 30535 25117 25053 29205 29206 29196 33294 27871 29214 29213 29207 27969 29152 29158 29153 29156 29155 29150 29157 29154 29159 27821 29184 27817 29194 27810 29195 29186 29174 29178 29176 29179 27802 29177 29185 29171 29151 29170 29160 27792 29169 29175 27992 26613 25223 25067 27993 27983 26487 26614 27963 27981 27982 25055 27915 27940 27939 27920 27912 27922 27928 27929 27919 26577 27943 25030 27954 27953 25040 27914 27942 27923 26470 25155 25164 27901 27906 27911 27905 27907 26617 27865 26552 27955 26459 27880 27877 27961 27889 26535 27962 27879 27859 27876 27864 27890 27927 26564 27891 27900 27913 27899 27938 27910 26597 27918 27863 27875 26491 27941 26569 25106 25233 25147 27389 27393 27394 27385 27388 27392 27390 25142 25216 25078 25023 25146 25206 25207 26616 30553 26545 26411 27847 27833 27844 27845 26436 27843 27834 27826 27858 27848 27815 27832 27824 26588 26603 27805 27814 27794 27797 27813 27790 27795 27798 27804 27803 27921 26029 26016 26384 26386 26385 25088 27785 27437 30558 30536 29183 26488 30533 26505 27857 27846 26421 27796 25423 25422 25419 25420 25418 25421 25424 25346 26420 27768 27763 27764 27759 27760 27757 26455 26469 26468 26446 26457 26456 26604 26504 27791 27783 30131 30115 30106 30136 30089 30094 30121 30079 30084 30126 32111 32112 31906 31898 31895 31899 31892 31894 30525 27968 30563 27800 27801 27820 30063 30068 27799 27781 27808 27816 27809 32073 31905 31896 30524 30527 30528 30529 30510 30508 30513 30517 30511 30518 30514 27793 27788 27771 27772 27878 27769 27789 27779 27776 27778 27775 27773 26404 26440 27777 26596 26449 26544 26543 26551 26563 26550 26549 26503 26458 26514 26490 26587 27770 27774 26576 26567 26382 26528 26612 26611 26602 26601 26600 26582 26367 26374 26375 26371 26447 26448 26419 27874 27873 27870 26389 26439 30515 27421 27416 27411 27429 30040 30035 30025 30030 30544 30545 27322 27359 27327 27353 27332 27344 27364 27317 27369 27374 28713 28745 28750 28734 28740 28755 28725 28708 28698 28703 28687 28682 27301 27306 27278 27263 27268 27273 28659 28649 28654 28644 26370 27932 27931 27884 27829 27830 27885 29325 29378 29312 29338 29313 29358 29365 29230 29220 29366 29231 27883 26400 26418 29305 29218 29219 29297 29306 31942 31924 26429 30936 30930 30934 30999 30938 30932 30994 30940 30939 25065 26608 26610 26580 26581 26574 26609 26548 26558 26538 25183 26539 26562 25196 26561 26534 26573 26542 26541 26559 26533 26557 26531 26547 26572 26525 26546 25171 26524 26520 26519 26526 26529 26510 26530 26518 26537 26509 26466 26445 26483 26464 26478 26498 26499 26484 26496 26462 26477 26494 26508 26467 26476 25107 26482 25110 25109 26463 26452 26453 26495 26433 26432 25048 26416 26451 26424 26444 26443 26434 25029 26423 26409 26413 26414 26412 26422 26417 26395 26407 26397 26408 26398 26392 26388 26391 26394 26390 26560 26497 25054 26396 26393 26540 26532 26415 26465 25154 25163 25039 25133 25130 25195 25182 25188 25124 25077 26502 26521 25140 25141 26527 26568 26619 26618 26615 26402 26410 26522 25170 26511 26427 26435 26428 26401 26403 32121 32120 31982 31983 31951 31943 32045 32047 31952 32046 31953 30937 30990 30996 30928 30931 30929 30992 30995 30865 30989 30933 30887 30993 30988 30998 30927 30987 30991 30499 30500 30504 30506 30501 30505 30502 30503 25059 31888 22154 22205 22161 22146 22140 22170 22190 26595 26599 26598 25215 32315 32310 32313 32301 32290 32302 32381 32371 32288 32297 32283 32289 32162 32268 32308 32234 32368 32299 32370 26592 26594 26593 26590 26584 26585 26586 26589 26583 26507 26506 26501 26406 26405 26431 26426 26430 25047 26383 26387 25123 26379 26378 26372 32373 32306 32165 32164 32372 32380 32309 32374 32286 32304 32369 32321 32245 32312 32300 32296 32303 32214 26438 26441 26442 17764 17768 17767 17769 17765 19725 19728 19729 19726 19723 19727 19710 19713 19714 26399 26513 26517 26516 25187 25022 32305 32319 32314 32287 27999 27996 28000 26492 26489 26493 27409 27410 27397 22230 27396 22243 22242 22241 27761 27395 22204 26381 27381 26659 26664 27375 27377 24025 24090 23960 24031 24091 26028 27391 26630 26633 26634 26631 26632 24030 26628 26641 26640 26015 22715 23886 22662 23602 25250 25251 25253 25247 25249 25006 25002 24999 25001 25259 25260 25257 22658 22659 22657 22661 22660 22656 25278 25283 25066 25293 25292 26805 26799 26801 26800 26804 26802 26803 26674 26673 27384 27380 27379 27383 26359 26360 26361 26357 26362 26363 26358 21886 21873 21885 21872 23841 20488 19759 20480 20485 20484 20489 20483 20487 20504 20492 20505 20476 20479 20475 21146 22445 22316 22297 22380 22369 22385 22454 22393 22402 22335 22375 22340 22321 22382 22429 22377 22388 22386 22419 22430 22416 22353 22387 22414 22366 22351 22352 22399 22365 22391 22404 22341 22396 22395 22403 22415 22405 22381 22355 22356 22310 22390 22437 22458 22438 22439 22333 22334 22383 22324 22367 22319 22323 22322 22418 22398 22339 22376 22320 22457 22431 22368 22315 22378 22379 22314 22453 22400 22313 22389 22354 22397 22394 22417 22300 22245 22274 22251 22266 22252 22302 22308 22291 22309 22301 22269 22272 22248 22290 22273 22249 22247 22264 22255 22270 22279 22271 22265 22254 22280 22250 22246 22281 22253 22289 22327 22326 22307 22306 22158 23784 23810 22434 23819 23840 23838 23849 23818 23812 23747 23820 23839 23714 23681 22293 23737 23702 22261 22268 23633 23651 23646 23647 23683 23650 23690 22347 22426 23769 23771 23772 23811 23778 23800 23734 22409 23779 23628 22421 23799 23785 23797 23776 23780 23762 23720 23721 23795 23796 23786 23777 23775 23798 23636 23653 23671 23655 23654 23661 23626 23629 23682 23672 22362 22286 23652 23689 22278 23670 23746 23715 23716 23691 23763 23768 23701 22348 22345 23732 23735 23634 23703 23660 23635 23757 23748 23758 23645 23632 22330 23700 23764 23705 23767 23733 22372 23662 23722 23756 23736 22304 23627 22305 23631 22276 22296 22312 22275 22408 22407 22285 22284 22406 22199 22180 22137 22144 22209 22122 22207 22181 22124 22123 23600 23599 23596 23595 23601 23598 23597 22127 22121 22049 21932 22131 22129 22203 22210 22208 22166 22177 22132 22125 22162 22444 22384 22277 22229 22420 22424 22392 20482 19544 20481 21866 21865 21870 21868 21864 21869 21861 21140 21862 21863 21867 21857 21860 21853 21135 20477 14950 22425 18161 18164 18163 18162 19769 19768 19542 19543 22451 22456 17952 32318 33535 33536 33534 33537 33539 33533 31880 31883 31884 31881 33538 31887 31885 31882 22447 22443 22449 22452 32295 32298 32320 29211 29210 29289 29273 29209 29276 29396 29118 29395 29394 29201 29197 29181 29172 29349 30532 31772 31878 29182 29143 33269 29134 27836 29393 29390 29222 29223 29216 29217 29329 29392 29330 27782 30171 30158 27828 29284 29283 29208 29266 29265 29190 29189 29380 29381 29377 29372 29371 29237 29236 29242 29254 29275 29279 29188 29192 29161 29168 29167 29251 29241 29164 29255 29243 29278 29233 29193 29370 20473 22442 22441 22440 22450 19568 22455 22446 23788 23787 23693 23814 23789 23695 23696 22325 23759 23760 23842 22433 22303 22401 22328 22331 22332 22436 22435 22432 22359 22371 22360 22361 22292 28775 28773 28045 28769 28771 28766 27382 27378 27737 28759 22412 22374 22373 22370 22337 22338 22336 22411 22413 28764 28790 28778 28791 28054 28758 28756 27930 28763 30147 28760 30152 30150 30139 28768 28767 30155 30154 31538 30153 29434 29437 28776 29180 29431 29429 29436 30146 30140 30141 30145 30148 30149 31524 31528 30821 30818 30819 31527 29430 31520 31537 31536 31532 31533 31539 31552 31540 30144 31626 31580 31731 31616 31621 31644 31746 31759 31751 31660 30812 29264 31564 31554 31519 31525 31521 30810 30188 30190 30189 30807 31526 31522 30802 31518 30811 33007 33153 32909 33046 33014 32183 32921 32905 32913 32940 32920 32916 32934 33259 32917 32935 33002 32191 32202 32188 33112 32912 32997 33127 32200 32193 32199 32176 33025 33041 32201 32933 32945 32196 33140 33012 32918 32914 33036 32953 33132 32952 32192 32950 32186 32187 32185 32190 32181 32189 31569 31570 30808 30809 32901 32899 30816 30817 30156 28762 29426 31572 31523 31631 31559 28777 31531 28040 30137 31665 31655 32961 31571 30143 32951 33117 32182 31553 29421 30795 31633 28055 30172 28765 28761 30159 28770 31736 30142 28774 29311 30151 29435 31535 30815 30820 30618 30614 30617 22139 21936 22153 21938 21944 22160 22159 22169 22206 22133 23440 21939 22037 22149 22143 22148 22147 22150 22151 22200 22182 22197 22141 22142 22136 22134 22135 19419 19437 19418 19407 19397 19396 19398 19391 19176 22138 22238 23105 23593 22257 19382 19553 19631 19516 19610 19554 19640 19600 19499 19659 19609 19630 19551 19658 19552 19639 17716 14975 14972 14974 14946 14971 19541 25087 23677 29162 13719 23290 14954 27860 27861 27862 13590 17798 23623 23624 23611 23622 26373 26376 25076 25038 25252 26368 26365 24707 25168 25169 25074 25186 28013 28015 28014 32907 32198 32197 32904 32903 32908 25122 25046 25058 25121 25019 25037 25162 25075 28011 28009 28012 23594 24969 20848 19301 19298 19300 19278 17797 17773 17799 17771 26657 26662 26663 26661 26658 28757 25284 25285 30138 25276 25282 25280 25281 26665 26666 25288 25287 25286 29438 29440 29439 29414 24963 23326 24821 24917 24947 24945 24938 24911 24905 24894 24897 24927 24928 24913 24895 24918 24919 24914 24910 24898 24930 24929 24953 27387 27386 25277 24941 24954 24811 24939 24937 24951 24948 24933 23527 24903 24924 24957 24965 24960 24958 24701 24949 23551 23563 23586 23571 23581 24936 24940 24909 24934 24912 24970 24972 26202 24952 24967 24962 24932 24944 24916 24908 24923 26310 26279 26285 26290 26311 26330 26306 26319 26341 26320 26300 26334 26317 26316 26337 26338 26321 26278 26298 26082 26088 26345 26315 26329 26293 26318 26335 26299 26331 26276 26339 26277 26344 26284 26286 26328 26340 26292 26294 26308 26327 26346 26350 26349 26322 26179 26326 26291 26295 26353 26351 30935 30997 32156 32155 32158 32157 32152 32154 30157 31530 31529 31534 29428 29427 24971 24950 24956 24935 24883 24890 24884 24892 24887 24888 24885 24968 24964 24946 24896 24904 26014 24977 24979 24978 24980 24982 24981 23866 23869 23872 23871 23870 23868 26283 27583 26267 26268 26271 26265 26270 26266 26275 26264 26273 24867 24973 24983 18056 18010 18061 18001 24976 24975 26354 26364 26212 26235 26207 26227 26222 26248 24726 24716 24750 24826 24854 24755 24760 24841 24675 24831 24739 24728 24711 24721 24846 22064 22105 22079 22084 22092 22069 29263 29269 29268 23335 21998 23486 23592 21959 21954 21977 21964 21993 21988 21966 21949 23460 23465 23450 23347 23369 23358 23330 23473 23379 23345 23374 23445 23340 23294 21913 26356 29200 29203 29204 28772 23846 23848 23847 23827 23828 23831 23832 23833 23830 23837 23836 25008 23687 23686 23825 23749 25057 25061 25060 23698 23692 25238 25234 25237 23656 23742 23739 23745 23744 23741 23657 24997 24998 24995 24987 24990 24989 24994 24986 24984 24993 25000 25202 25203 25205 25204 25211 25209 25213 25208 25212 25003 25004 25005 25217 25214 25218 23755 23751 23666 25126 25120 25125 25174 25173 25175 23638 25018 25025 25024 21854 21858 25228 25227 25229 21905 21887 21897 21892 23822 23824 23823 23821 23808 23804 23809 25132 25136 25135 23754 23610 23699 23583 23589 23502 23531 23552 23558 23554 24902 23532 23582 23564 23587 23557 23524 23536 23504 23505 23584 23569 23588 23591 23515 23555 23560 23538 23556 23576 23566 23543 23568 23572 23508 23528 23418 23565 23503 23537 23548 23570 23430 23511 23549 23547 23509 23578 23575 23530 23417 23573 23529 23579 23577 23546 23544 23553 23523 23516 23510 23512 23517 23252 23514 23522 26136 26109 26107 26092 26131 26141 26102 26097 26056 26120 24992 24633 26274 26272 26009 26007 26004 26008 26012 26011 26013 24634 26000 25999 27433 24667 26048 26010 26040 26030 26035 26003 31985 31984 31978 32846 32824 32868 32822 32830 32888 32841 32877 32898 32883 32893 32851 32825 32823 32856 32499 32501 32500 26005 26006 25290 26192 32194 32195 32906 30813 30814 32902 25291 25294 25289 29432 29433 24635 24648 24649 24659 24654 24647 27428 27427 27426 23806 23805 23801 23684 23685 23740 23834 23782 23781 23706 23707 23752 23673 23765 23694 23773 23665 25996 23248 23250 23251 23246 23245 23247 23242 23249 23238 23640 23648 22516 22521 23232 23234 23658 24627 24628 24631 24630 24619 24623 24632 24626 24618 23286 23902 23912 23897 24615 23273 23268 23278 23266 23253 23254 23267 24613 24616 23235 24622 23237 23639 31000 24966 19629 19634 19637 19656 19633 19636 19643 19654 19642 19653 19657 19668 19626 19628 19615 19620 19621 19605 19614 19625 19655 19613 19635 19627 19589 19604 18202 19562 19579 18226 19572 19573 19590 19593 19561 19578 19591 19559 19571 19594 19548 19558 19592 19557 19560 18291 19667 18278 19652 19619 18229 19603 18205 19577 18204 19641 19624 19632 18187 18290 18277 18283 18266 18265 18236 18235 18173 18171 18225 18172 18169 18281 18282 18263 18219 19555 19556 19147 19145 19148 19150 19149 18228 19549 19486 19503 19509 19529 19512 18143 18154 18302 18135 19476 19484 18125 19528 19508 19547 19492 19511 19483 19488 19485 19527 19517 19507 19546 19504 19539 19540 19493 18150 19491 19518 19487 19489 19490 19519 19502 19510 19538 24901 24899 24961 19146 24706 24700 18118 18264 21150 21149 21856 20486 20472 23619 23241 22520 22518 22514 22519 22515 19119 19121 24943 24942 20670 20654 20672 20662 20642 20675 20653 20660 20667 20636 20676 20640 20677 20641 20674 20669 20666 20659 20657 20682 20681 20661 20637 20679 20663 23239 20671 22042 22051 22018 22048 22055 22043 22035 22050 22053 22057 22044 22017 22040 22022 22041 22038 22060 22063 22047 22023 22021 22034 22056 22052 23265 26001 25997 22058 20628 20531 20529 20527 20530 20526 20528 27248 28808 28809 28807 22062 23313 24907 23325 24920 24921 24931 24922 24906 24698 24915 24694 24925 24886 23292 23293 23288 23291 21910 23289 21907 21912 21909 21908 21911 25021 25020 26333 26313 26297 26289 26325 26343 27708 27680 27733 27755 27752 27751 27746 27749 27756 27748 30777 30771 29142 30774 30775 30773 30776 28813 28817 28814 28815 28816 26348 27726 27679 27666 27690 27702 27653 28057 28053 28048 28059 28033 28058 28056 28050 28049 28051 28052 27658 27720 27646 27732 27734 27675 27692 27695 27722 27710 27676 27697 27707 27672 27689 27691 27647 27721 27463 27560 27703 27687 27654 27712 27659 27645 27649 27671 27716 27656 27573 27686 27701 27657 27673 27698 27652 27674 27681 26304 27469 27713 27655 27730 27727 27561 27660 27719 27718 27711 27699 27667 27665 27725 27648 27696 27715 27709 27731 27700 27651 20471 32820 32819 32821 32910 32915 32911 19105 32481 19754 22009 21855 20474 19101 19100 21777 21835 21845 21850 21808 21754 21803 21793 21798 21829 21782 21820 21840 23179 23221 23201 23231 23189 23210 23184 23158 23226 23216 23174 23163 23135 32805 32804 32817 32818 32807 32813 32815 32814 32461 32806 32810 32809 32812 32808 32811 32816 26668 26670 26671 32143 33513 33514 24621 33515 33511 33510 32142 33512 32139 27753 27762 26238 26245 26244 25868 26246 26239 26247 29036 29077 29083 29084 29079 29073 29078 29080 29076 29081 29034 29093 29092 29103 29090 29101 29096 29099 29089 29097 29060 29067 29068 29082 29061 29107 29106 29094 29091 29088 29062 29071 29070 29100 29057 29072 29030 29056 29041 29028 29040 29027 29048 29047 29035 29053 29039 29055 29052 29033 27670 27678 27685 28942 29038 29054 29037 29029 29046 29045 29026 27724 27694 29032 27706 27664 27729 27714 29031 28941 29115 29113 29114 29102 29069 29112 29108 28954 29098 29111 28964 28629 30010 30345 28850 29110 28844 30389 30387 30011 30388 30382 29001 29000 29007 29008 28630 29006 29009 30390 30381 30460 31769 30418 30429 30475 30471 30419 30426 30469 30415 30421 31763 31762 30442 31392 30473 30416 30323 30463 31770 30411 29087 30478 30464 30459 30448 30453 30412 30454 30420 30483 30481 30413 30436 30441 30435 30422 30450 30427 30479 29075 30494 29051 29066 29059 30472 30470 30335 30434 30428 30474 30480 30461 30457 30443 30488 30322 30465 31768 30414 31391 30452 30417 31771 30484 30462 30433 30438 30437 30451 30482 30477 30487 30458 30496 30493 30489 30492 30495 29105 30449 27627 27625 27620 27628 27249 27626 29117 27436 27434 27432 27435 32123 32122 32119 30758 24486 24669 24671 24674 23320 23507 24620 23911 33504 31995 32133 33503 31999 31998 32131 32134 32132 33500 24614 21725 22096 22101 22103 22102 22104 23484 23485 23106 23482 23477 23483 24863 24866 24487 24865 24864 24858 19260 19255 19256 19259 24665 24664 24666 20633 20625 20635 22095 28789 28785 23436 23434 27559 27542 27582 27546 27565 27564 27581 27558 27562 27541 27568 27575 27580 27571 27584 27587 27586 27566 27574 27577 27567 27572 27579 27576 27533 27545 27547 24824 24822 24825 23550 22014 22016 27540 27538 20627 21884 21880 23476 18026 18038 17789 18037 28781 28779 31964 31963 32117 32108 32107 32110 32118 32109 32115 32116 32114 32113 24857 18016 18015 19088 19031 19073 19083 18992 19036 19046 19078 19020 19058 19041 19067 19015 22530 22531 23580 23518 23534 23539 23540 23561 21879 21877 29135 30498 27736 22527 22528 20500 20498 20496 20502 20499 20503 18188 18189 18185 23317 23319 23520 23519 23590 24799 24889 24798 24893 26309 26332 23559 23567 23506 24959 26352 23513 23533 23562 23525 23541 26180 26305 23542 23521 23535 23585 20478 21859 19254 19252 20470 22525 22526 22524 22523 22522 23240 23236 22532 22529 12357 12338 12336 12372 17871 17873 24673 24670 24672 28788 27530 28784 28786 28782 26047 26046 26045 26675 27532 26677 26676 26652 26678 23909 23908 23903 23904 27408 26205 26206 26203 26190 26196 24803 24817 24809 24813 24805 26199 26187 23439 26164 26177 24771 24779 26195 26161 26186 26165 26194 26184 26183 23423 26193 24820 23431 23433 23419 23415 23437 26198 23428 26166 26191 27404 24812 24797 24802 24785 24814 24780 24818 24796 24804 24815 24800 24806 24783 24784 24810 26200 26160 23432 26185 23425 23422 23424 26152 23438 23429 23421 23404 26178 23416 24819 26181 26201 23399 23398 23403 23402 23390 29369 24768 24776 26157 23387 26149 23395 23441 23444 23443 22008 22006 23389 26159 24770 24778 23397 27619 27400 29360 29361 29357 27754 29351 29352 29346 29355 29345 29347 29354 29356 29348 27529 27527 26146 24765 24767 26148 14969 26027 26023 30751 30752 30753 26024 26026 26020 26022 33502 30750 20516 20524 20506 20511 25946 25951 25988 25963 25941 25993 25983 25972 25920 25925 26151 29163 25892 25882 25897 25936 25978 25887 24625 24624 24629 23244 23243 21852 26019 27407 27405 27403 27401 19612 19608 19611 24786 23414 23410 23413 24791 24792 24793 23420 23406 24795 23411 23412 24787 24794 23405 24801 26638 29739 26380 30061 30060 30062 30762 30761 25297 25295 25271 25296 26437 20464 20422 20396 20454 20439 20469 20412 20459 20427 20448 20401 26672 27822 27819 27823 27818 27980 27976 27979 30058 30057 30059 26607 29719 24646 24642 30036 30038 29441 30039 24638 24636 20373 24643 24645 24639 24641 20417 22005 23386 20624 26051 26054 26053 25867 24900 20495 31904 30468 30486 30225 31726 30432 30440 30447 31879 30491 31897 27786 27787 27780 27811 27812 27807 7038 24597 24607 24544 24565 24555 24516 24612 24582 24602 24560 24591 24570 24539 24807 27398 26017 30548 30549 30542 30574 30573 30569 26055 26050 30476 33364 33498 33499 33497 31460 31465 31444 31441 31470 31475 31496 31517 31502 31487 31507 31512 31442 31449 31443 31120 31118 31119 33495 33491 33494 33493 33496 33488 33489 33490 32130 29353 24891 26314 30456 26052 29095 25994 19247 26667 26669 19246 19244 19766 19765 16357 16359 17994 21147 21851 21902 21904 21903 20523 20521 20522 21144 21142 21141 21143 21145 13717 13759 23261 23255 23257 23258 23260 31421 30729 30737 30736 30735 30733 30734 30738 30742 30741 30727 30726 30732 30728 31411 31416 31406 24617 23284 23285 23283 21883 21881 21876 27991 27989 27990 27988 32040 32037 32041 32798 32801 32802 32800 32203 31100 31438 31440 31439 31965 31966 31962 31420 31417 31419 32013 32017 32016 30822 13744 13753 13745 13747 13746 13743 13739 17995 30584 30636 30635 30632 30585 30660 30656 30581 30659 25998 22448 21874 12366 12363 12364 12358 12365 15098 12362 13738 15100 21083 21067 22464 21151 21148 17860 17862 23384 19243 20622 19241 22003 27856 27855 27852 16479 16481 28047 28046 25919 25918 25917 26002 25596 28358 28679 28680 28676 28677 28678 28681 23910 23913 23915 23914 23916 23905 23906 23907 30054 30052 30056 30053 30051 30055 28357 28356 33309 33311 33310 33304 28338 29738 28673 28672 28671 25210 17733 30049 30048 30047 30046 30045 30050 31436 31435 31434 31432 31433 31437 31428 31430 31429 31426 31427 31431 30042 31423 31424 30044 28668 28667 28666 28665 28664 28661 28662 30043 28318 29699 28669 28674 28675 28670 29737 28663 31080 24214 24215 24213 24536 24537 24538 23890 23845 22533 22535 31425 22534 22509 23262 23264 25226 29368 19702 13775 25594 25595 22832 22833 23844 22834 23155 23157 23156 27298 27300 27299 27898 27894 27897 27292 27283 27285 30073 30077 30075 30078 30076 30074 27288 27287 27284 27289 27293 27294 27291 27286 26957 27296 27297 27295 19761 19763 19760 13596 13588 24529 24527 24526 24525 24524 24518 24528 24532 24530 24523 24521 24531 24522 24534 24533 24519 24535 18313 18309 18312 21152 19772 21128 19771 21153 19770 19747 19773 19767 21154 19764 19762 21451 21774 21775 21776 21452 21453 18690 19701 18689 21082 20393 20072 20394 20071 26977 26976 26975 26606 19013 19014 18691 20395 24195 27281 27280 28067 28066 28640 28642 28643 27290 30072 28068 30604 30597 30603 19012 20070 22024 20658 22039 27987 32211 32792 31929 32785 32786 31930 32787 31923 32797 32783 31452 27282 31455 30827 31453 31456 31450 31454 31457 31459 30088 31458 30826 30087 32209 32210 32828 33331 33335 33336 31961 33330 33334 32826 32829 26188 23829 30622 30624 25915 25914 25916 23152 23154 23153 22814 25909 25911 25910 25913 25912 25908 25899 25903 25901 25905 25907 25906 25902 25900 29445 29446 30069 30071 21773 21433 21772 21771 28697 28695 28694 28691 28692 28688 28696 28690 20390 20052 20391 20392 28707 28705 28706 25056 27324 28065 28064 27325 27326 25576 28699 28701 28702 28647 28645 26684 25943 26683 26682 28648 27312 27310 27315 27316 27309 27313 27311 27314 27307 25945 27321 27320 25944 26686 26687 28063 25881 25924 25304 25923 25880 25921 25878 25305 26425 25306 27318 24515 24514 23917 24512 25904 28693 30623 28812 21948 21947 21946 31803 31801 31833 33260 31865 31838 31704 31802 31806 31845 32772 31853 31797 33107 31874 31859 31846 31809 31795 31834 31855 31822 33267 31842 31793 31794 31824 31823 31810 33263 31818 31703 31792 31844 31808 31851 31860 31798 31868 31863 31856 33262 31850 31877 31815 31830 31819 31873 31870 31831 31864 31876 31861 31816 31807 31875 31852 31611 31835 31817 33266 31839 31843 31854 31612 33264 31840 31829 31869 31862 31800 31858 33268 33265 31841 31799 31832 31716 31814 24974 21941 21942 21940 21914 21916 26355 27431 24710 24708 24709 20559 20561 20560 20566 20567 20565 26089 26084 26083 26090 26057 26059 26085 26091 20533 20535 27472 27470 30232 30233 26269 24704 24676 24703 24702 24678 27438 27440 27464 23327 23329 23295 23323 23322 23321 23328 23297 27650 27471 27465 27466 30234 30516 30523 30228 30226 30202 30227 30200 8428 8419 9800 28851 28845 19694 19693 19690 16940 28853 28821 14046 14045 14042 28846 28852 28847 28819 22031 22030 22025 22033 22032 22029 30749 27964 27971 27966 27973 27974 27967 27975 27970 27965 17707 17677 17692 17697 17634 17639 17650 17655 17686 17611 17665 17702 16352 16350 32207 32208 32835 32836 32834 32838 32840 32837 32833 32839 32831 27276 27274 27277 26679 25896 25895 25893 25298 16521 19114 19277 19262 20652 20648 20650 20649 20643 18017 20644 20651 19112 17660 22536 23134 23133 23131 19268 19269 19263 19270 19267 19271 26591 18671 19010 19011 19009 23630 23770 23704 31886 28018 28024 27825 24991 28020 23850 9452 9454 15559 18322 18324 19467 18095 18086 28657 28060 28655 28658 16326 16253 16305 16279 16258 16284 16321 16269 16311 16230 16274 16316 16296 18321 18323 16515 16506 16509 16505 16500 16501 16507 16508 32842 32845 32844 32849 31467 31468 33384 33385 33359 33366 33365 31469 32206 33386 32850 32848 30024 30023 29448 29447 30021 29449 32791 32788 30066 30064 32790 30829 30828 27972 31954 31950 31955 31404 31405 31402 30830 18988 18991 18990 27262 27259 28683 28686 28685 32005 32003 32004 31461 29187 31410 15134 15119 15127 15128 15124 15125 15126 15120 30086 17731 31463 31407 31464 30825 31409 18393 30580 31949 31448 31445 31447 17631 17607 17628 17632 17629 17610 17012 29199 30568 25225 17896 17881 19283 17609 17290 17630 17633 30082 29444 30083 30080 27261 27305 27806 27302 26685 27304 30029 30026 20369 20372 20371 19774 22463 17918 17902 19299 30028 15156 17889 17888 17887 17882 17890 20493 17886 22061 22045 23442 23426 26204 24823 21753 21752 21750 21155 16250 16252 16247 16249 15909 16226 16248 15631 16228 16229 16251 30067 20680 20664 16537 15140  0
1132.92/1132.98	
1132.92/1132.98	c Core has size 12079

OK	12079

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

running on 2 cores: 0,2

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.00 3.98 2.41 5/189 9603
/proc/meminfo: memFree=30970788/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=15704 CPUtime=0 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 1315 0 0 0 0 0 0 0 25 0 1 0 915830545 16080896 953 33554432000 4194304 4365125 140735723470640 18446744073709551615 248089316987 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 3926 953 253 42 0 1074 0

[startup+0.0153851 s]
/proc/loadavg: 4.00 3.98 2.41 5/189 9603
/proc/meminfo: memFree=30970788/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=15860 CPUtime=0.01 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 1535 0 0 0 1 0 0 0 25 0 1 0 915830545 16240640 1126 33554432000 4194304 4365125 140735723470640 18446744073709551615 248089698048 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 3965 1127 253 42 0 1113 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15860

[startup+0.10031 s]
/proc/loadavg: 4.00 3.98 2.41 5/189 9603
/proc/meminfo: memFree=30970788/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=19828 CPUtime=0.09 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 4383 0 0 0 9 0 0 0 25 0 1 0 915830545 20303872 1969 33554432000 4194304 4365125 140735723470640 18446744073709551615 4257430 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 4957 1969 262 42 0 2105 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19828

[startup+0.300224 s]
/proc/loadavg: 4.00 3.98 2.41 5/189 9603
/proc/meminfo: memFree=30970788/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=24268 CPUtime=0.29 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 5626 0 0 0 29 0 0 0 25 0 1 0 915830545 24850432 2970 33554432000 4194304 4365125 140735723470640 18446744073709551615 4272028 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 6067 2970 262 42 0 3215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24268

[startup+0.700152 s]
/proc/loadavg: 4.00 3.98 2.41 5/189 9603
/proc/meminfo: memFree=30970788/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=30664 CPUtime=0.69 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 11709 0 0 0 68 1 0 0 25 0 1 0 915830545 31399936 4436 33554432000 4194304 4365125 140735723470640 18446744073709551615 4275309 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 7666 4436 262 42 0 4814 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30664

[startup+1.50101 s]
/proc/loadavg: 4.00 3.98 2.41 6/190 9604
/proc/meminfo: memFree=30939444/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=52300 CPUtime=1.49 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 31081 0 0 0 146 3 0 0 25 0 1 0 915830545 53555200 8740 33554432000 4194304 4365125 140735723470640 18446744073709551615 4245064 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 13075 8740 262 42 0 10223 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52300

[startup+3.10079 s]
/proc/loadavg: 4.00 3.98 2.41 6/190 9604
/proc/meminfo: memFree=30912908/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=139756 CPUtime=3.09 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 67957 0 0 0 302 7 0 0 25 0 1 0 915830545 143110144 20795 33554432000 4194304 4365125 140735723470640 18446744073709551615 4272002 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 34939 20795 262 42 0 32087 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 139756

[startup+6.30022 s]
/proc/loadavg: 4.00 3.98 2.41 6/190 9604
/proc/meminfo: memFree=30847896/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=176440 CPUtime=6.29 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 110555 0 0 0 617 12 0 0 25 0 1 0 915830545 180674560 33649 33554432000 4194304 4365125 140735723470640 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 44110 33649 262 42 0 41258 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 176440

[startup+12.701 s]
/proc/loadavg: 4.00 3.98 2.43 6/190 9604
/proc/meminfo: memFree=30796464/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=228384 CPUtime=12.69 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 163207 0 0 0 1251 18 0 0 25 0 1 0 915830545 233865216 47048 33554432000 4194304 4365125 140735723470640 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 57096 47048 263 42 0 54244 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 228384

[startup+25.5008 s]
/proc/loadavg: 4.00 3.98 2.45 6/190 9605
/proc/meminfo: memFree=30719300/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=252960 CPUtime=25.49 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 167630 0 0 0 2531 18 0 0 25 0 1 0 915830545 259031040 51471 33554432000 4194304 4365125 140735723470640 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 63240 51471 263 42 0 60388 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 252960

[startup+51.1002 s]
/proc/loadavg: 4.00 3.98 2.49 6/190 9605
/proc/meminfo: memFree=30694848/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=234612 CPUtime=51.09 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 239825 0 0 0 5082 27 0 0 25 0 1 0 915830545 240242688 48428 33554432000 4194304 4365125 140735723470640 18446744073709551615 4247612 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 58653 48428 264 42 0 55801 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 234612

[startup+102.307 s]
/proc/loadavg: 4.00 3.98 2.57 6/190 9644
/proc/meminfo: memFree=30529776/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=238708 CPUtime=102.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 349796 0 0 0 10188 42 0 0 25 0 1 0 915830545 244436992 48942 33554432000 4194304 4365125 140735723470640 18446744073709551615 4250109 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 59677 48942 264 42 0 56825 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 238708

[startup+162.301 s]
/proc/loadavg: 4.00 3.98 2.66 6/190 9645
/proc/meminfo: memFree=30246388/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=350624 CPUtime=162.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 642847 0 0 0 16151 79 0 0 25 0 1 0 915830545 359038976 64163 33554432000 4194304 4365125 140735723470640 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 87656 64163 264 42 0 84804 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 350624

[startup+222.301 s]
/proc/loadavg: 4.09 4.01 2.75 6/190 9647
/proc/meminfo: memFree=30179520/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=262652 CPUtime=222.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 810650 0 0 0 22128 102 0 0 25 0 1 0 915830545 268955648 51408 33554432000 4194304 4365125 140735723470640 18446744073709551615 4264062 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 65663 51408 264 42 0 62811 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 262652

[startup+282.3 s]
/proc/loadavg: 4.06 4.02 2.83 6/190 9648
/proc/meminfo: memFree=30044560/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=305864 CPUtime=282.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 918293 0 0 0 28112 118 0 0 25 0 1 0 915830545 313204736 64513 33554432000 4194304 4365125 140735723470640 18446744073709551615 4262602 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 76466 64513 264 42 0 73614 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 305864

[startup+342.301 s]
/proc/loadavg: 4.02 4.02 2.90 6/190 9650
/proc/meminfo: memFree=29899304/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=431648 CPUtime=342.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 1120044 0 0 0 34087 143 0 0 25 0 1 0 915830545 442007552 69868 33554432000 4194304 4365125 140735723470640 18446744073709551615 4250342 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 107912 69868 264 42 0 105060 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 431648

[startup+402.3 s]
/proc/loadavg: 4.01 4.01 2.97 6/190 9652
/proc/meminfo: memFree=29976880/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=429036 CPUtime=402.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 1270469 0 0 0 40067 163 0 0 25 0 1 0 915830545 439332864 78627 33554432000 4194304 4365125 140735723470640 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 107259 78627 264 42 0 104407 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 429036

[startup+462.301 s]
/proc/loadavg: 4.00 4.01 3.03 6/190 9653
/proc/meminfo: memFree=29961324/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=390684 CPUtime=462.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 1396601 0 0 0 46051 179 0 0 25 0 1 0 915830545 400060416 80371 33554432000 4194304 4365125 140735723470640 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 97671 80371 264 42 0 94819 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 390684

[startup+522.301 s]
/proc/loadavg: 3.85 3.97 3.08 5/184 9679
/proc/meminfo: memFree=30205396/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=429672 CPUtime=522.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 1541559 0 0 0 52033 197 0 0 25 0 1 0 915830545 439984128 84593 33554432000 4194304 4365125 140735723470640 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 107418 84593 264 42 0 104566 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 429672

[startup+582.3 s]
/proc/loadavg: 3.31 3.79 3.07 5/184 9680
/proc/meminfo: memFree=30206100/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=373700 CPUtime=582.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 1675345 0 0 0 58015 215 0 0 25 0 1 0 915830545 382668800 83194 33554432000 4194304 4365125 140735723470640 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 93425 83194 264 42 0 90573 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 373700

[startup+642.301 s]
/proc/loadavg: 3.11 3.64 3.06 5/184 9682
/proc/meminfo: memFree=30143672/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=437076 CPUtime=642.3 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 1815700 0 0 0 63999 231 0 0 25 0 1 0 915830545 447565824 95550 33554432000 4194304 4365125 140735723470640 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 109269 95550 264 42 0 106417 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 437076

[startup+702.3 s]
/proc/loadavg: 2.44 3.36 3.00 3/178 9708
/proc/meminfo: memFree=30506008/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=408404 CPUtime=702.31 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2004323 0 0 0 69977 254 0 0 25 0 1 0 915830545 418205696 91958 33554432000 4194304 4365125 140735723470640 18446744073709551615 4242918 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 102101 91958 264 42 0 99249 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 408404

[startup+762.307 s]
/proc/loadavg: 2.22 3.12 2.94 3/178 9709
/proc/meminfo: memFree=30508084/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=424788 CPUtime=762.31 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2134268 0 0 0 75961 270 0 0 25 0 1 0 915830545 434982912 94014 33554432000 4194304 4365125 140735723470640 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106197 94014 264 42 0 103345 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 424788

[startup+822.301 s]
/proc/loadavg: 2.08 2.91 2.88 3/178 9711
/proc/meminfo: memFree=30491540/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=430932 CPUtime=822.31 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2207063 0 0 0 81950 281 0 0 25 0 1 0 915830545 441274368 94786 33554432000 4194304 4365125 140735723470640 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 107733 94786 264 42 0 104881 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 430932

[startup+882.3 s]
/proc/loadavg: 2.03 2.75 2.82 3/178 9712
/proc/meminfo: memFree=30497684/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=430932 CPUtime=882.31 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2288359 0 0 0 87942 289 0 0 25 0 1 0 915830545 441274368 94807 33554432000 4194304 4365125 140735723470640 18446744073709551615 4244660 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 107733 94807 264 42 0 104881 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 430932

[startup+942.301 s]
/proc/loadavg: 2.01 2.61 2.77 3/178 9714
/proc/meminfo: memFree=30502956/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=942.31 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313667 0 0 0 93938 293 0 0 25 0 1 0 915830545 437080064 94293 33554432000 4194304 4365125 140735723470640 18446744073709551615 4244669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94293 264 42 0 103857 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 426836

[startup+1002.3 s]
/proc/loadavg: 2.00 2.49 2.72 3/178 9716
/proc/meminfo: memFree=30508356/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=1002.31 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313670 0 0 0 99938 293 0 0 25 0 1 0 915830545 437080064 94296 33554432000 4194304 4365125 140735723470640 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94296 264 42 0 103857 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 426836

[startup+1062.3 s]
/proc/loadavg: 2.00 2.40 2.67 3/178 9717
/proc/meminfo: memFree=30500244/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=1062.31 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313670 0 0 0 105937 294 0 0 25 0 1 0 915830545 437080064 94296 33554432000 4194304 4365125 140735723470640 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94296 264 42 0 103857 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 426836

[startup+1122.3 s]
/proc/loadavg: 2.00 2.33 2.62 3/178 9719
/proc/meminfo: memFree=30504292/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=1122.31 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313670 0 0 0 111937 294 0 0 25 0 1 0 915830545 437080064 94296 33554432000 4194304 4365125 140735723470640 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94296 264 42 0 103857 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 426836

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

[startup+1126.3 s]
/proc/loadavg: 2.00 2.32 2.62 3/178 9719
/proc/meminfo: memFree=30504044/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=1126.32 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313670 0 0 0 112338 294 0 0 25 0 1 0 915830545 437080064 94296 33554432000 4194304 4365125 140735723470640 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94296 264 42 0 103857 0
Current children cumulated CPU time (s) 1126.32
Current children cumulated vsize (KiB) 426836

[startup+1129.5 s]
/proc/loadavg: 2.00 2.32 2.62 3/178 9719
/proc/meminfo: memFree=30504272/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=1129.51 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313670 0 0 0 112657 294 0 0 25 0 1 0 915830545 437080064 94296 33554432000 4194304 4365125 140735723470640 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94296 264 42 0 103857 0
Current children cumulated CPU time (s) 1129.51
Current children cumulated vsize (KiB) 426836

[startup+1131.1 s]
/proc/loadavg: 2.00 2.31 2.62 3/178 9719
/proc/meminfo: memFree=30504272/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=1131.11 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313670 0 0 0 112817 294 0 0 25 0 1 0 915830545 437080064 94296 33554432000 4194304 4365125 140735723470640 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94296 264 42 0 103857 0
Current children cumulated CPU time (s) 1131.11
Current children cumulated vsize (KiB) 426836

[startup+1131.91 s]
/proc/loadavg: 2.00 2.31 2.62 3/178 9719
/proc/meminfo: memFree=30504272/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=1131.92 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313670 0 0 0 112898 294 0 0 25 0 1 0 915830545 437080064 94296 33554432000 4194304 4365125 140735723470640 18446744073709551615 4264002 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94296 264 42 0 103857 0
Current children cumulated CPU time (s) 1131.92
Current children cumulated vsize (KiB) 426836

[startup+1132.7 s]
/proc/loadavg: 2.00 2.31 2.62 3/178 9719
/proc/meminfo: memFree=30504272/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=1132.71 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313670 0 0 0 112977 294 0 0 25 0 1 0 915830545 437080064 94296 33554432000 4194304 4365125 140735723470640 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94296 264 42 0 103857 0
Current children cumulated CPU time (s) 1132.71
Current children cumulated vsize (KiB) 426836

[startup+1132.9 s]
/proc/loadavg: 2.00 2.31 2.62 3/178 9719
/proc/meminfo: memFree=30504272/32950928 swapFree=67055160/67111528
[pid=9603] ppid=9601 vsize=426836 CPUtime=1132.92 cores=0,2
/proc/9603/stat : 9603 (MoUsSaka) R 9601 9603 9028 0 -1 4202496 2313670 0 0 0 112998 294 0 0 25 0 1 0 915830545 437080064 94296 33554432000 4194304 4365125 140735723470640 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9603/statm: 106709 94296 264 42 0 103857 0
Current children cumulated CPU time (s) 1132.92
Current children cumulated vsize (KiB) 426836

Child status: 20
Real time (s): 1133
CPU time (s): 1133.03
CPU user time (s): 1130.06
CPU system time (s): 2.96255
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 644044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1130.06
system time used= 2.96255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2313675
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= 3820

runsolver used 1.71874 second user time and 3.9584 second system time

The end

Begin job on node123 at 2011-06-14 11:05:07
IDJOB=3501528
IDBENCH=90074
IDSOLVER=2000
FILE ID=node123/3501528-1308042307
RUNJOBID= node123-1308041932-9046
PBS_JOBID= 13564703
Free space on /tmp= 74104 MiB

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

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

MD5SUM BENCH= 3b4471e013bfc75092309164fa607509
RANDOM SEED=1476787851

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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:      30971100 kB
Buffers:        199856 kB
Cached:         952372 kB
SwapCached:      10116 kB
Active:         926116 kB
Inactive:       823472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30971100 kB
SwapTotal:    67111528 kB
SwapFree:     67055160 kB
Dirty:           26724 kB
Writeback:           0 kB
AnonPages:      595184 kB
Mapped:          13428 kB
Slab:           162144 kB
PageTables:       6404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   951188 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= 74132 MiB
End job on node123 at 2011-06-14 11:24:01