0.00/0.00 c MoUsSaka vegetarian
1.89/1.97
1.89/1.97 s UNSATISFIABLE
283.89/283.99 c Core is minimal
283.89/283.99
283.89/283.99 v 14 8176 22 2 2158 2162 2165 481 578 8513 2166 9 5 579 674 2164 2416 2169 2163 675 2161 2159 2570 1995 2013 1971 2425 2271 2273 2280 2267 2426 2403 2417 2418 2398 2274 2263 2399 2168 2400 2402 2278 2567 2160 2270 2449 2439 2433 2450 2436 2447 2256 2268 2252 2248 2279 2443 2277 2445 2440 2368 2442 2444 2283 480 2446 7437 2414 2275 2282 21 37 2631 2363 2628 2634 2157 67 5328 5277 5273 5281 8515 5327 2151 2087 2360 36 676 157 5308 35 29 39 82 1953 673 677 957 942 936 952 938 127 2356 2154 1006 1121 8509 8173 8178 1147 576 959 1003 1000 1011 1014 16 1016 25 91 1109 133 5290 5292 5297 18 20 573 1102 156 4 31 8179 1948 1999 2037 8175 2040 2032 1959 1965 1955 1954 501 504 498 2053 2054 2079 2083 4607 8182 8171 8184 64 2051 2073 2075 2042 2041 2065 2068 2044 2137 2092 4715 2143 2625 2614 2573 4775 8240 2576 2147 2134 2621 2618 4631 1920 4611 2009 26 13 23 2035 2038 2034 2030 2039 2036 17 2063 2059 2062 4676 4678 4673 4668 4677 2001 621 4704 4687 3892 1782 1184 1166 597 594 587 1088 68 8174 3844 4709 4711 3941 3962 3938 3944 3928 3965 3968 4680 4551 3976 4684 3955 3953 3949 1138 1133 1220 1171 1199 1177 1217 10 103 1165 1226 5293 119 1099 1090 1163 1776 1766 1769 1772 1779 1803 1784 8514 1796 1809 1800 1793 1806 1791 1484 1487 1491 1497 1481 1494 1511 1506 1515 1521 1508 1518 8511 4596 4597 1957 8183 8185 4595 1962 1921 590 1970 3736 5285 5289 7434 5286 4561 7430 7433 1335 1305 1295 1302 1298 7436 1317 1332 1308 1338 1329 1289 1322 1319 1326 3925 3811 3878 3875 581 1967 2069 4683 2045 4674 1208 1183 1244 1961 1960 1139 4586 4588 8516 1118 15 1205 7540 7535 1439 1436 1103 1721 1724 1730 1442 1727 1132 1091 1751 1761 3917 3913 3883 3889 1787 1502 4621 1979 1977 4658 4664 4681 4563 4589 4584 4705 4701 4603 1986 1990 4552 4692 3881 3833 3830 3817 3827 3742 3805 3772 4450 4114 4508 3869 4466 4471 4102 4469 4480 1634 1662 4253 4210 4207 4220 4202 4168 4174 4165 4178 4205 4686 4399 4405 4244 3735 3872 4384 4418 4366 4387 4378 4545 3778 3781 3797 3787 3794 3791 4415 1377 1668 4235 7914 3718 3719 3721 1082 7913 1532 1535 1542 1563 1081 1595 1601 1614 1608 1611 1599 2074 3934 1085 4710 7912 3757 3851 3730 3767 3764 3761 3847 3748 7 47 1987 1983 1975 2022 1985 1992 1973 2028 2015 1980 2017 2004 1997 1949 85 1936 1947 1 4699 4698 4703 4695 4690 4689 2031 2033 1937 1996 3823 4566 3799 3841 3820 3802 8180 1929 4564 1993 4216 1938 4573 4541 4463 4484 1952 1974 4490 4505 4543 4538 4549 4498 3753 3783 4572 4078 4130 1925 1982 1926 4501 2638 4106 4532 4529 4520 4474 4495 4477 4099 4093 1945 4492 4535 1978 1958 1431 4511 1956 1930 4649 4651 1951 1950 3907 1908 1713 1716 1719 1086 4546 4487 3862 2048 1340 1915 4593 4592 4613 4610 4662 4622 4671 4615 4594 3801 4637 4639 4666 4675 4672 4587 4679 4626 4598 4614 4604 4600 4670 4618 2662 2435 2451 2438 2448 2269 2412 2407 1574 1590 1584 1880 1833 1580 1814 1820 1859 1862 1899 1875 1872 1869 1893 1865 2415 1896 1884 1587 1577 1817 1886 2222 2409 2220 2411 2413 2238 2234 384 381 7698 1928 7708 7705 7701 7721 7697 7711 3958 2281 7688 7717 7723 7551 7541 7546 7720 7710 7542 7550 5340 5309 7223 8522 7228 7230 7712 7273 7250 7258 7298 7222 7224 7262 7275 7246 7254 7267 7249 7251 7243 7202 2066 1162 8187 7560 7563 7562 7507 7558 7555 5310 1239 1236 1233 1245 8535 8518 8507 7234 1215 1229 1112 1125 1128 1145 1223 1161 1136 1155 8533 8531 8529 7270 7274 8524 8186 3737 4516 4647 4643 1998 1673 1385 1225 1313 1148 1679 8177 1211 1310 1187 1191 1197 1169 1194 1175 1181 1592 1202 4702 1207 1499 1877 7532 8527 3838 8188 1924 1994 1927 1932 1976 1972 1100 5405 3769 8190 5399 3819 1940 1944 1946 4423 4231 7288 7292 3835 2011 2007 4138 3754 3745 1931 1114 2650 2642 1097 1933 3813 3750 3725 2661 2006 2008 4582 4580 4576 4642 4644 4157 4133 4117 4123 4154 1083 2144 2078 2076 4085 4120 4081 7911 4127 2140 4456 4427 4453 1388 4357 1707 4363 4459 1665 4420 4402 4513 1676 4171 1968 1413 4199 4667 4226 4256 1409 1362 4072 1359 1356 1394 1391 1349 4258 4250 4213 2060 4186 4181 1626 4195 4184 1964 3717 1694 1698 4436 1637 1644 4408 1691 1710 1670 1647 1422 1425 4223 4151 1428 4142 1434 1352 2043 1619 4069 1526 1904 4354 1337 1811 3814 3808 1460 1470 1466 1838 3724 4525 1108 2659 1172 1571 1856 1478 1763 1096 1219 1178 1922 1969 8520 7203 1098 1216 8576 7345 7411 7351 7347 1101 58 49 24 3865 5298 1115 2061 2056 2064 2055 2026 2057 1941 1943 2003 1942 2005 2014 2018 2000 1703 4574 2010 2012 1418 4240 4147 4432 7210 7217 2660 3734 1198 2639 2023 2637 2641 1939 8526 7330 7205 7216 7212 7218 7211 7266 7236 7240 7334 7339 7335 7331 7325 7326 7332 7235 4606 7242 1988 1984 7293 7291 7285 7281 7278 7280 7284 7282 4665 4656 4652 2024 1966 7283 7279 7297 7299 7201 7265 7197 7191 7196 7195 7241 7190 7277 1281 1284 1274 1277 1287 1271 1268 1263 1260 1256 1247 1266 4565 4629 1253 1250 1292 4259 4067 4355 4550 4070 4322 4058 4064 4061 4349 4540 4037 4162 4544 4040 4447 4255 3973 3977 2651 4634 4638 4024 4262 4352 4346 4547 4325 4343 4685 4706 4688 1140 1104 1110 7310 7307 7311 4599 4306 4273 4006 4013 3988 4045 4315 4021 4000 4030 4009 4034 3985 4049 4042 4027 4003 4319 4016 3995 4280 3998 4283 4019 4334 3982 4267 4304 4277 4270 3992 4264 3979 4330 1087 1270 1267 8106 1427 1712 1200 3800 3803 7962 8090 3809 1291 7978 3929 3926 3770 3905 1288 4578 3807 4555 4554 3856 3853 4648 4646 4581 3732 3859 3727 4051 4569 4567 3738 3775 3798 4560 4605 4559 4661 4663 4641 4645 1204 1243 3972 4630 4568 3969 4522 3834 4144 4429 4612 4608 1415 1700 4237 6 1116 1089 3861 3843 1093 1092 1120 1119 3723 8118 2027 8154 1249 1246 1683 1686 1623 1689 4412 4192 2072 4439 4260 4585 4697 4691 8172 4609 1383 4247 4700 4601 8181 4391 4583 1380 4548 3886 3923 3902 4160 2019 2021 4632 4636 3899 4112 4091 4109 3971 1917 3974 4397 4394 4633 4376 4640 4623 4616 4373 1364 1373 1649 1346 1370 1655 1631 1658 1628 1343 4088 4381 4261 1652 4096 1367 4189 4257 4075 4542 4360 4445 4163 4448 3920 4693 2058 1406 4135 1641 2029 1398 2002 1401 4442 2049 3946 1911 2020 4577 4619 2016 4653 4669 4591 4635 2067 1341 2046 4370 3931 3896 2071 3910 1963 3904 2052 4650 1404 4228 4579 4590 4628 2070 1914 3855 3726 4159 4252 4537 3863 4444 4298 4294 4301 4285 1127 1130 3922 3728 7337 3901 8170 3900 4288 4291 4327 4309 4336 4312 8119 1918 7238 8508 1919 7192 8517 1241 4351 3739 3970 3967 8026 8042 3740 3887 3897 3956 3857 1318 3854 3964 3961 3959 1321 3966 3942 3943 3960 3939 3921 3884 2640 8022 8189 3840 4156 7313 7317 7341 3744 1832 8151 8143 1923 8153 4558 8147 4347 1196 1237 1193 1519 8134 8130 8040 8032 8036 3885 8136 8150 4562 4557 4153 8028 8030 1709 1424 1901 1808 1616 4066 1334 4348 1523 7974 1201 1222 4620 4624 4324 1330 1804 1874 1781 1589 1897 1612 1778 4321 1304 1586 1871 4036 1307 4039 4062 7942 7938 1493 1496 8034 8038 2572 7970 8107 7990 4249 7986 8019 4441 4246 8025 8018 7979 4534 8023 4438 4531 4353 1810 1525 1336 1739 1736 3997 1454 1451 8111 1829 1618 1262 4068 1265 8114 1547 1903 8121 8115 1544 3994 8109 4282 4279 8139 8141 8146 8011 8015 1238 1235 1234 1802 1895 4345 1805 1898 4063 1613 1331 1520 4060 1328 1517 1610 7981 1801 1894 1609 4059 4344 1516 1327 3751 3746 1123 1113 3733 2025 1227 4660 3752 1228 1704 4338 8033 1888 1419 1168 1603 1510 3836 3837 1213 1203 4659 4043 4047 1789 1878 1785 1882 4332 4134 4512 1500 1597 4227 1311 3945 1315 4428 1218 3954 4143 1221 3877 3874 3880 4435 4243 4150 4433 4241 8037 4528 4526 4053 4148 3871 8024 7992 1588 1706 7975 1190 1188 1195 1170 3804 1421 8039 1230 3864 1232 1581 4215 1299 7933 1301 4500 1866 3822 1583 1678 4316 1773 1775 4407 4318 1393 7943 7931 1488 4122 7945 3933 1490 1868 7967 4206 1857 4022 1873 1495 1780 1479 1290 7963 1572 4038 4307 7971 4113 7965 1669 4491 1764 4398 1306 1384 4323 1593 1405 1690 4170 1254 1447 1536 4455 1825 1540 4077 1732 1728 1348 3990 1821 4271 1443 3986 1633 1258 4362 3888 4056 4052 1414 1224 1231 1509 1513 4337 1699 1887 1798 1794 7976 4033 7935 4031 7939 1606 1320 1891 4341 1602 4521 1795 3870 1126 3741 1107 4278 4452 1261 1725 1533 1345 1450 4268 4359 3983 1543 4074 3993 1251 1630 1828 1735 1440 1818 1324 8167 1095 3729 1129 1824 3755 4458 8125 3879 1453 1210 1206 1209 4515 3842 7997 3891 8137 3845 1214 8007 3846 3991 1259 4274 1541 8131 3758 4173 1122 3766 1731 3763 4080 8127 1351 1448 1733 3989 3760 1826 8135 1257 1446 1636 4276 4365 1539 8123 1124 7995 1505 1596 4422 4046 1883 4333 1693 1408 7999 1790 4137 1316 8009 4331 4230 8006 8002 8008 3948 1314 1788 3848 3850 1503 8003 1881 1598 8168 3765 3731 4449 8166 8163 4265 8169 4071 1264 4356 1627 4164 3980 3882 1738 1248 1342 3996 1530 1546 1722 1815 4281 8159 8157 1831 8155 8162 1212 1437 4048 3756 1607 1323 8029 8027 4431 8035 4146 1325 4055 3957 1417 4057 1514 8031 1799 1892 4524 4342 4239 1797 1890 1512 8041 1605 4694 1702 4340 3866 3868 4696 1242 1473 1529 1742 1548 1823 7229 1907 1538 1734 1622 1545 1755 1569 1527 1476 1556 1841 1524 1906 1566 1621 1910 1827 1455 1740 1830 1625 1812 1835 1445 1452 1617 1737 1449 1718 1912 2357 8510 7977 1185 1167 3924 1164 3774 1715 2658 1430 154 1151 1902 1550 2240 2232 2244 7991 7993 7983 7987 2261 2242 3 8512 2354 1909 2050 1913 1624 1433 1916 1559 1463 1457 1142 1553 1131 1745 1094 1158 1844 1620 1748 1758 1851 1106 2138 1848 1854 1905 1117 38 155 5288 5303 176 84 12 4721 4718 33 55 104 1604 1889 6694 6937 6410 6666 6961 6700 6988 6706 6676 6670 6948 6663 6945 6618 6924 6940 6906 6645 6657 6982 6615 6934 6903 6639 6621 6979 6900 6930 6655 6624 6649 6919 6631 6909 6975 6921 6916 6652 6942 6636 6690 6697 7186 6703 6951 6958 6991 7183 6660 6895 6985 6673 7180 6955 6898 6913 6927 6642 6628 6634 6405 5276 6419 5307 5305 5294 6375 7176 6798 6891 7083 6436 6888 6443 6795 7080 7173 7915 4778 1077 1078 4781 1072 1070 8242 3712 1074 4713 1069 1079 2141 3710 2146 4784 3716 7909 2645 5369 5363 5331 5322 5441 5390 8261 8257 5355 8256 3784 8260 1240 4350 1522 1900 1615 1807 1333 4065 4654 5300 1708 1423 6884 6791 7076 7169 6455 2236 2257 7539 7543 8252 7146 6765 6970 6966 6685 6681 6492 6972 6687 6678 6963 476 6360 7958 8254 2691 5275 5287 27 6370 6387 6435 6450 7046 6850 7139 6947 6368 1768 1392 159 3768 1160 1157 2643 1565 1472 1850 1757 1286 4303 1475 1853 4300 1760 4018 4015 1568 1283 2693 69 97 1149 1134 1276 1255 5278 8 1312 105 8070 8102 66 5358 5376 59 50 5301 83 2404 333 2081 2084 7636 7624 7633 7620 7840 6137 7440 309 306 312 8043 8050 564 7342 8086 7627 6609 30 618 7321 7344 615 6602 7324 8045 2663 8047 8541 7630 7348 611 6606 5311 557 7350 6439 8057 567 570 175 169 163 6364 6391 237 288 291 224 6478 6499 6481 6457 8410 8442 6558 5296 6605 6421 6557 6550 6541 527 540 543 546 6406 6576 434 6552 6579 6555 230 234 240 6388 6608 8506 548 6537 8474 227 6531 6534 6361 6529 6536 6373 6520 647 650 653 623 632 644 636 639 642 7438 7745 7666 7640 7431 7638 7641 2194 2199 864 792 786 789 900 32 2192 5584 2308 1024 2310 134 2262 170 5656 2359 7822 7816 7810 7835 276 279 248 242 285 330 258 261 255 263 7819 128 7843 164 7616 6332 266 272 282 251 245 269 40 118 98 8539 5295 8537 1062 8552 8549 8547 2086 8545 2362 875 8544 1050 6320 874 6321 6381 6363 92 209 5475 200 5568 5653 56 5581 5356 5574 5578 206 5279 203 221 219 216 213 602 867 6376 6382 870 28 6444 5329 8501 8469 6390 6412 19 5299 863 121 139 6043 5965 5971 5968 5955 5877 5952 5749 5698 5692 5695 5746 5799 5808 5812 5818 5815 290 5842 5826 5839 5836 5435 5802 5805 5823 575 5820 5833 5753 7747 5851 5938 5674 5658 5688 6449 5932 5664 5856 5671 5667 5935 5908 5911 5914 5685 5533 5514 5554 5530 5527 5916 5895 5781 5929 5679 5677 5557 5784 5548 5520 5535 5661 5485 5791 5872 5848 5502 5496 5506 5481 5493 5845 5778 5727 5509 5512 5709 5724 5740 5700 5743 5703 5716 5706 5713 5560 5947 5563 5853 5787 5944 5737 5734 5721 5719 5883 5766 5893 5499 5874 5890 5859 5551 5901 5904 5922 5538 5517 5523 5541 5898 5919 5488 5491 5763 5472 5682 5760 5757 5794 5478 5776 5770 5773 5862 5797 5866 5869 1432 1429 8465 1358 1361 6374 6479 6456 6438 6497 1667 1643 1714 1646 1717 1664 6411 6726 6723 6797 6816 7008 6890 8476 7175 7101 6819 7082 7104 7011 8420 8414 8417 8416 8421 1379 1382 6491 6434 6470 8480 6805 7097 7000 1816 1531 1438 8449 1723 1819 8478 6808 8452 8485 8481 6617 6902 6815 8453 6715 6812 6712 6905 7007 8446 8448 8484 7100 1726 1635 1350 7004 6620 8444 1441 7093 1347 6997 1534 6722 1632 7090 6719 7172 6794 8412 6837 6744 7122 7029 7032 6840 8380 1656 1555 1840 1747 1462 1371 6826 7121 1837 1653 6733 1744 6836 6923 7111 6743 6404 6372 6887 1368 6747 6420 6488 1552 1459 6638 7079 7125 7018 7028 8405 8401 8437 6480 6757 1677 6389 1179 7050 6437 7135 7042 6662 6768 1483 6451 6861 6761 7143 7053 6858 6854 6471 1576 6498 1861 2649 8051 8378 6578 6597 8346 6573 6595 6562 6600 8314 8282 6588 6586 6571 1297 6599 6603 6121 6133 6136 6124 5586 5599 6130 6127 5602 5595 5605 8266 6028 8543 6040 6037 6031 6034 6516 5650 5644 5641 5647 1681 6962 8321 7167 7077 5607 5616 5620 5626 5623 1403 8350 6493 6477 1400 1711 1685 7159 7170 8325 1396 1173 6881 6776 6677 6788 7073 6490 7166 7316 7340 6869 7322 1498 7154 8320 8318 8324 1876 8316 7150 7061 1591 6772 1783 1411 6472 6865 1692 1688 7163 1426 7057 6380 1885 6371 1407 6885 6362 1696 6489 6792 7926 1378 1639 8369 1174 1354 1663 1357 6445 1660 1642 1375 8373 5610 5613 5628 6021 6018 5565 5592 6108 6010 6003 6013 6007 6087 5994 6096 6103 6106 6100 6015 6090 6111 5997 6061 6058 6066 6054 6064 6075 6079 6082 6085 6045 5961 5989 5992 5982 5973 5986 5976 5979 6072 6069 5631 6051 6048 5634 5950 7524 8298 8426 1252 5392 6526 5291 6530 8458 6523 5320 6533 8490 5407 6547 6551 8394 5304 5302 34 1294 6572 1273 6568 6544 6554 6592 6596 8362 8330 1309 6565 6583 6587 6575 5332 5365 8277 1018 897 8341 6114 7668 2427 1023 2453 1025 6138 554 2431 2478 551 7836 7834 7798 7792 7801 7817 7449 6740 7025 7114 6736 8382 6833 7021 8389 8388 6926 7118 6641 8384 6829 8385 1032 1034 8286 8284 1420 8289 1416 1792 1701 1600 1507 1705 8293 8348 1674 1684 1389 8292 1480 1858 1765 8288 1573 1399 7074 6789 6882 6944 6857 6847 6764 6659 6754 6781 7066 7039 6874 7070 8352 8356 7132 6785 8357 6971 8353 6686 7142 6878 7049 8309 876 6513 6507 8360 6503 6496 6510 5941 5887 5880 671 2366 678 1019 2201 2218 2241 7499 2216 2223 5306 2224 2225 2369 2230 2295 2291 2235 2286 2290 2228 2247 2287 2237 2258 2288 2243 950 2410 2219 2215 893 7528 7530 2467 889 1020 2200 898 2459 7753 2457 479 2401 2198 2196 2206 5334 2211 7749 7746 7675 896 894 2304 2309 2212 7533 2226 7669 8540 2405 2292 2250 2245 7670 2259 2254 2289 2285 2294 2246 2284 2429 2293 2307 7471 2213 5849 2306 899 2202 7582 2203 2297 2300 2311 2316 2210 2208 1037 1044 1046 7464 2463 7619 7610 478 2214 8534 2394 2393 2391 5353 5316 5325 5350 5347 5470 2313 2314 2305 8538 577 882 2303 2298 2302 2301 5343 5948 892 890 993 995 7549 2477 2475 5458 5383 5389 5433 5467 5425 5464 5397 5419 5361 5403 5409 5439 5455 5367 5379 5415 5422 5445 5461 5386 5373 7459 7454 7461 7446 7442 7609 7611 888 2315 1001 983 981 999 7588 884 2474 1010 946 980 7452 392 402 405 399 7472 963 426 462 7495 444 447 449 7487 431 468 455 420 7513 423 413 452 441 7491 7572 7576 7569 7519 7567 7579 395 7515 7559 7583 386 428 458 416 407 437 985 7830 7828 7484 7657 7781 7785 7788 7794 7497 7509 7514 7490 7488 771 7473 768 699 696 693 717 720 7651 7653 7603 7605 5945 1039 197 5949 1036 2566 5571 383 5428 976 268 7589 7600 7597 7604 5443 1053 1065 1067 7592 5589 465 477 471 669 660 666 672 663 509 605 474 5750 536 561 522 410 512 515 494 485 525 626 519 608 506 657 530 600 354 351 488 348 362 389 327 320 369 375 378 584 372 338 7474 302 293 317 356 296 5946 8337 2047 5323 7432 735 41 686 765 738 741 680 689 8433 683 6042 158 6159 6152 629 6157 533 8305 7308 7315 7354 7318 6336 7306 7357 7189 7343 7360 6613 7302 7301 6158 7470 6224 6310 6319 1033 1029 6232 6222 6274 6227 6218 6144 6307 6314 714 707 725 86 6150 6289 977 6171 6193 6212 6169 6181 6170 6183 6205 6298 6293 6194 6252 6234 6269 6250 6256 6245 6284 6211 6244 7661 746 756 759 749 762 701 722 710 731 728 743 752 704 7659 6038 5991 6294 6292 5401 7496 2389 2387 8302 5958 7466 2460 2455 770 767 491 299 198 111 101 153 147 150 95 117 114 179 192 189 186 195 71 143 107 89 44 167 78 173 75 62 125 183 53 81 8270 6476 6359 140 122 8340 8280 8344 8276 8336 137 8272 7581 8504 2406 7580 7468 8312 8308 6029 2462 2441 2437 2434 2430 2432 8500 8304 2671 2669 2664 8496 6509 6468 483 8497 6465 2672 2667 8472 8440 6429 6399 6402 6515 6432 8494 6512 65 8408 11 46 8376 5988 8366 8368 8372 8364 685 8328 6485 8468 8464 6396 8462 8264 6454 1180 6039 8436 8398 5437 8492 6461 5963 703 5987 6035 6012 727 6005 6001 6009 682 5956 5966 5959 2670 1141 8488 1111 1105 6385 6395 748 8456 6379 724 8400 8432 8430 8396 8404 6033 6036 6398 745 6428 6415 6019 8424 1144 6425 6418 5371 8392 706 5980 5984 2665 1558 1374 1750 1465 6424 6426 1650 6409 1135 1659 1150 6358 6355 8246 8247 8273 6006 6016 6032 6644 6929 7024 7026 1549 1834 6730 6839 6025 6920 751 7015 1365 6823 1697 1360 6467 6442 1355 1661 1666 1645 5990 5985 679 5953 5964 5962 1376 742 1843 1682 1640 7031 1456 6834 6741 6635 1412 7119 6832 1402 6431 7108 6746 1381 8250 7117 5431 7124 6027 1741 1397 2353 1687 5449 6739 6811 7145 1771 6665 1477 1762 6004 721 6394 7003 6448 6464 7103 6030 5413 6401 6367 5995 6026 1501 1879 5274 6994 7138 1720 1537 1353 1813 1638 1729 6802 1528 7096 1395 6941 6877 6786 6369 6725 730 6011 6008 6853 709 1855 5284 6818 1594 7036 5280 6762 7052 5341 8334 6813 6899 6623 700 5998 5395 6022 7155 6784 8460 6908 1671 6767 7060 7164 6751 7069 7071 7153 1680 1579 6965 688 6041 6506 6462 6502 5977 5359 6486 6720 7087 6614 7010 7098 7005 8428 1444 1822 1629 1344 5967 6860 6760 6879 5377 5314 5970 5969 5974 6475 5983 6709 6484 6460 1186 6504 6386 1570 6950 7140 8296 8268 7162 5338 1486 6680 7062 6718 7047 6777 8300 1786 1695 1410 1386 6868 7045 1864 6775 7129 1435 6855 6844 6689 8332 6974 6870 6656 2481 2395 2251 2249 2239 2468 7740 7730 2424 2454 2419 2464 2472 2465 2476 2221 7690 2217 7689 7545 7552 7699 7703 7707 7722 2428 7716 7714 7719 7715 2420 7547 7671 2272 2266 7725 7735 7738 7752 7742 2229 2233 2329 2340 2327 2349 2324 2334 2336 2480 7750 2351 7737 7744 2396 2322 7751 2569 2565 2561 2559 2554 8548 8546 7644 8542 8550 2552 2372 7748 2520 2522 2529 2545 2526 2549 8551 2516 2513 2337 2346 2331 2333 2350 2342 2174 2339 6000 6093 2260 8530 8532 8536 8528 7534 7754 7759 7761 7765 7799 861 7780 7771 7783 855 849 852 6139 828 842 834 858 831 7645 7815 7818 7813 2527 2511 2544 2560 2382 2508 7763 7782 2499 2538 2500 2547 2548 7777 7779 7769 821 7655 2510 7772 2482 2487 2505 7811 2507 839 776 341 4714 4682 4707 4712 4553 845 807 810 813 836 782 815 773 818 7643 7664 7660 4724 3704 3700 797 824 779 800 794 803 3512 1031 7768 2539 7814 2530 2533 7807 2378 2383 2491 2494 7770 7804 7809 2504 7808 2374 3696 8213 359 1049 1048 2338 6322 365 1047 7617 7612 7615 7608 7606 6333 2341 7601 3511 7732 7741 2509 2385 7734 3533 7667 2543 7766 7776 7648 7652 2536 2498 2532 2546 2542 2537 2541 2535 7805 7802 2496 7743 2264 3510 1066 1059 1051 1055 335 3311 3215 344 3211 3307 2926 3699 314 323 3116 3019 3118 3112 4054 4339 2655 3693 8216 2807 2792 2906 4980 8211 7586 7594 7599 7596 2320 2180 244 8209 2657 2720 2652 2756 2765 2684 2882 2922 2875 2648 2644 2702 2888 250 2879 241 2759 2777 2878 2872 202 205 223 247 2861 2729 2653 2654 2656 2925 2675 2851 2854 2840 2795 2813 2909 271 199 2696 2687 2843 2723 2705 208 2846 2848 2874 229 2867 226 2735 265 2864 2858 220 2850 6221 860 287 194 5393 2896 2923 5429 380 473 572 668 2757 3722 470 569 284 5562 5447 6132 5748 5652 5655 281 6135 566 467 5847 5943 2920 2919 2892 2914 2917 2847 2890 2893 2911 2871 2741 2910 2868 2177 2189 2187 2182 7803 7812 7806 6303 6335 6323 7775 6300 6329 6324 7800 7795 7791 7786 7796 7797 7789 7790 6146 6140 6195 6302 6299 872 1043 6313 6315 6237 6239 1041 2231 2227 2312 3639 3647 951 8054 8082 5426 1008 2167 3117 5427 913 922 1026 2473 2866 2466 2470 1007 2207 943 948 2296 2299 2204 914 7439 7520 7503 926 921 917 972 923 997 1017 933 1021 911 1013 984 967 962 956 954 973 978 965 960 1002 1012 939 904 909 949 7637 5354 5312 5357 6277 6259 6285 6268 6270 6263 6200 6207 915 919 6260 7435 7639 7642 3673 920 918 6282 930 6280 887 878 880 885 2367 2370 2365 2397 2497 2493 941 940 935 928 5637 7682 120 763 7663 7665 7733 2469 664 568 190 2471 916 2456 947 945 472 283 152 446 469 7728 7577 7585 7477 7481 2188 7739 7486 2408 766 2190 865 2170 7482 7480 7511 7498 7494 7492 7677 7729 7731 7676 7512 7554 7544 7553 7538 7566 7564 7691 7686 7700 7561 7556 7692 7718 7726 7696 7570 7574 7575 7573 7736 7441 7504 7506 7565 7517 7557 7578 7587 2461 2423 2452 2421 2422 2276 5469 2253 2255 376 7476 7483 7478 856 7687 7693 7713 7684 7679 7571 7727 7678 7568 7680 7704 7502 7695 7529 7508 7709 7724 7500 7527 7525 7702 7706 2193 2197 7694 7475 7479 7485 7548 161 7531 7537 3549 2265 934 3557 3642 131 881 895 891 3513 7672 7674 7681 7683 5751 7685 7518 7516 7510 866 7658 6201 6199 5755 7522 7526 7536 6147 475 869 2739 1022 955 7673 929 927 902 996 998 988 991 992 1005 987 1009 2373 7757 7656 7767 7773 2205 907 482 912 906 925 908 932 924 931 903 937 958 1004 944 953 1015 2209 2328 2332 2325 2317 971 969 982 975 5745 6165 5844 5940 6408 5752 5466 6161 966 970 149 3644 8201 3545 3641 7450 6172 3648 2833 5850 886 2489 2503 2479 2540 2375 2531 2534 8200 3650 3637 3629 3631 3607 8202 3619 3613 3635 3599 3617 3515 3593 3692 3694 3659 3661 3574 3654 8194 8192 8196 8198 3572 3506 3621 3503 3588 3636 3595 3652 3689 3578 979 3697 8204 8208 3680 8215 961 3509 3519 3682 3536 3665 3527 3669 3605 3618 3611 3681 3531 3675 1028 3314 868 8212 1027 1030 8214 8206 3686 3660 3520 3670 8210 3668 1052 1054 3672 1038 3524 1042 3518 1035 968 3655 3602 964 974 3612 3606 2321 2869 7501 7489 7505 7493 6275 7521 6229 7523 6208 6286 6272 6231 6283 6214 6278 3495 3551 3448 3499 3406 3355 905 901 2790 2794 2719 2647 3586 4798 5004 6230 910 989 4840 3539 3640 4797 4802 4844 5040 5038 3573 3580 3594 3544 3548 3584 3587 4848 4846 4801 4794 5034 3542 4849 5041 4800 5039 4850 3543 5036 4847 4842 4804 5005 5002 5096 5091 5103 5104 5093 5095 353 833 740 350 260 6213 6206 257 545 641 5559 5553 5556 542 2551 6174 6176 6281 6141 7593 6228 6226 6233 6251 7584 6148 6149 6143 6164 5754 6297 6162 6153 873 879 883 1045 5411 239 422 425 571 286 5375 719 5391 5319 524 5436 617 620 667 329 332 379 812 859 6163 6167 6142 6151 3207 3061 3015 116 193 3256 3108 3402 3160 2968 2829 8016 2752 7984 3303 443 3616 3667 5105 6126 6129 3528 3526 8203 3656 3502 3678 3671 3683 3677 3663 3679 3674 3505 3662 3658 3507 3517 3687 3501 3521 3534 8207 3504 3523 7465 5339 8117 5313 3309 3576 2506 3538 7469 2377 3157 2965 3058 3253 8116 3304 3208 2830 3205 7448 2458 7467 7463 871 877 2386 2390 2371 3553 2191 2195 2388 2490 2492 2392 2517 2518 2384 2485 2501 2495 2524 2528 2525 2514 2519 2523 3568 3566 3567 3560 3561 3589 3579 3554 3556 3622 6220 6223 6216 6209 6225 7988 7989 7985 737 2701 2740 3514 4861 4860 4858 4856 3313 4875 4852 4877 4859 4854 4913 8148 8149 4878 4876 5065 4931 5062 4919 5081 5084 4899 5071 5074 4925 4910 3204 3181 3213 2737 5069 4874 4924 5076 4893 5072 4926 4871 5075 3119 3214 5087 4911 4922 4929 5085 4873 4883 4905 4872 4914 4897 4906 3016 3109 3300 3277 4795 2176 4799 4851 2673 2685 2839 2842 2769 2884 2695 2860 2805 2905 2887 2881 2775 2318 8010 7998 177 8020 8021 8017 3535 3666 3114 2178 8197 3596 3638 3312 3582 3591 3634 3627 3632 3624 8195 3608 3592 3614 3633 3620 3590 3603 3601 3598 3609 2758 2755 5412 5394 5448 5430 3310 3558 3571 3575 3115 2674 4907 4916 5063 4909 4903 4862 3577 2181 2185 1040 3522 3646 3653 3540 3559 3563 3565 3649 3546 3564 3645 3569 3547 8205 8199 3657 3623 2722 2754 2682 2733 2727 2799 2703 4994 3407 3401 3404 3398 3014 2845 3017 3020 3011 7662 7778 7793 7787 2326 7760 7590 2488 7764 7762 2502 2521 2515 2512 2555 7784 7460 7774 764 761 5460 5463 8049 665 7453 404 6117 5829 5925 5730 289 218 5544 5451 6024 6177 6186 6188 6182 6279 5370 6427 6378 6495 6423 6430 6397 6433 6393 6487 6441 6384 6474 6514 6501 6403 6466 6192 6190 8279 6180 6276 6178 6288 6253 6271 6265 6273 6255 6235 6267 6249 3630 3626 5336 5282 5330 135 57 5555 5532 6316 6306 6304 6311 6318 6308 6160 6400 4575 51 6417 5741 6366 6508 246 5051 129 453 48 99 5047 5045 5048 5053 4866 4882 4880 2677 2763 4988 4997 2776 4895 2749 2912 2902 2891 2857 2870 2873 2915 2876 2894 2921 2908 2836 2852 2927 2897 2918 2924 3286 2725 2959 2963 2969 2950 2953 2966 3113 3070 3107 3110 3080 3067 3083 3077 3064 3031 3052 3022 3038 3056 3059 3043 3049 3046 3062 3041 3035 3104 3305 3308 3302 3275 3268 3272 3265 3278 3262 2990 2938 3073 2932 3254 3257 3236 3217 3238 3353 2935 3346 3340 3350 2987 2942 2984 2948 2974 3356 3244 3241 2929 3226 3233 3251 3220 3247 3223 3343 3230 3337 2945 4983 3259 2971 3091 3088 3098 3101 3094 3299 3008 2998 3001 3289 2995 3296 3293 3283 3500 3497 2980 3329 3319 3322 3392 3388 3382 3395 3377 3358 3385 3325 3316 3335 3332 3364 3374 3371 3361 3206 3209 3212 3176 3182 3166 3169 3179 5089 3203 5030 5025 3367 3172 3200 3193 3187 3190 3197 5059 3443 3439 3449 3422 3418 3409 4952 8193 4947 4896 4902 5060 5055 5090 5086 5054 5056 5082 4920 661 5049 5061 3127 3158 3130 3155 3145 3161 3134 3124 3137 3121 3140 3163 3142 3151 4836 4828 4835 5080 5078 5083 5079 141 4937 2812 4941 4942 123 87 4832 4838 4939 4938 4837 2899 2865 2856 222 2721 238 3154 514 3152 4329 8001 7969 5318 5337 4975 4968 4973 4964 4957 4810 4825 4823 4818 4816 4813 3508 3628 3676 4956 4953 4961 4901 3664 5718 165 463 8407 5406 552 5822 5442 534 3436 5174 5186 5109 2811 3415 2956 2863 5852 582 3148 5110 2849 2855 3379 236 113 3445 2788 2826 8144 8112 3012 3105 521 8145 8113 4161 4539 4446 4254 3184 3280 990 994 3541 3537 986 8122 513 3555 3562 4803 5001 4805 8067 3651 3530 3532 3643 6198 6295 6257 3040 6254 6317 6241 3111 6291 3018 6290 2947 6247 6243 2319 2323 6236 6246 6166 6168 6219 6217 6173 6184 6202 6196 6179 6204 6191 6187 6175 6287 489 588 7829 7825 6128 5462 5424 3906 8089 1366 1839 1756 4380 4299 1272 4095 1156 8083 8077 1554 1282 1651 4289 4004 174 5444 1143 8367 5372 5438 4014 3777 1849 5321 171 8079 4946 2731 2689 2707 2803 4945 2809 8097 3516 2750 2747 2714 3491 3481 2831 3451 252 2789 254 3485 2753 3488 2786 2743 144 2778 3430 3475 3478 4900 259 537 3457 3454 438 539 3366 4979 732 4976 4965 4970 4972 4981 4960 4958 4944 4951 4949 4864 2680 3570 8091 6145 5892 5939 5697 5558 5511 5744 5843 6131 6084 5651 5604 5388 5465 412 820 6122 6098 6102 838 3050 6112 319 3054 6325 6154 6238 6248 6242 7462 7457 7598 6296 7591 7595 492 3026 7946 2943 510 6459 136 388 5474 421 729 8343 5440 747 757 166 8395 750 726 6215 6312 3082 3202 3492 3496 3403 3399 2989 8138 3469 8142 8110 3199 3298 3301 3295 3013 3007 3103 3010 3100 3106 8108 4375 4090 4468 4183 8132 8140 8126 3898 3376 8124 8098 8128 3785 2827 2824 2821 191 857 4087 4180 4372 4465 5649 8100 5646 6123 5643 256 377 5937 5742 5835 371 5739 851 4536 4251 4158 4443 8058 8048 8052 8423 262 2916 448 8056 3086 8096 2900 3009 2993 355 373 2991 357 3281 3297 643 3102 2823 160 8095 8099 3487 3490 3493 4201 4108 4111 4204 8046 4486 4393 4489 3919 4396 430 337 529 841 5404 130 3177 148 5702 8471 817 5540 5635 454 3153 511 3149 3287 3291 3191 3195 553 649 8467 6110 8397 840 850 625 2975 442 432 627 5897 531 637 5801 3465 3455 4361 4371 4464 4086 4179 648 658 651 5714 5803 3714 2784 2768 8466 5899 5909 363 655 5630 460 5825 5498 555 456 559 8429 8375 3245 3249 466 280 264 450 3362 4266 5421 5417 6469 168 132 8431 6511 3036 6463 2933 7188 411 6517 6505 8403 5410 562 6483 6091 6101 8435 5516 6328 5936 5913 370 6155 6447 5918 1746 5817 277 5723 5840 5648 5625 1471 4473 1564 60 5495 7944 5364 6350 8013 184 181 5921 349 109 3167 93 6210 6301 6305 4454 7916 6105 6309 5999 733 6156 1461 6330 5400 6094 6115 4169 267 5537 6119 716 6453 5785 550 5930 358 5690 5725 5735 5508 5500 5694 609 5879 5686 5789 451 646 8374 5793 3786 1154 1152 8071 8064 8068 2895 3180 622 526 3164 3260 3276 624 3239 3143 601 3255 3159 3248 3250 544 528 429 6414 1278 1467 1847 8066 8161 4263 3600 3610 4460 8129 4272 830 734 3274 3271 3269 535 3175 3178 8133 4082 4084 3987 4177 4175 4367 3583 3581 4812 4826 3978 8165 4467 4166 4374 8160 4358 8164 4182 3246 638 635 633 4517 3529 3525 518 324 326 110 2742 3552 3550 507 523 603 3625 3438 8156 3895 3464 4010 4451 4089 4073 8158 3460 3467 4950 549 3425 2783 3950 4462 2828 804 2711 3005 5100 5112 5108 2992 3085 231 4936 5050 4881 4934 4912 2977 5008 8191 3470 3494 4933 612 614 4963 4830 516 3433 3446 3412 3472 3428 5000 233 2834 3597 3615 619 3604 4948 3053 3055 415 331 315 3585 2815 2797 2779 440 2825 2822 2767 2819 2773 2717 2698 4834 5207 5204 4915 5098 5114 4991 4708 3173 2761 108 809 8370 5889 8473 8014 8012 3963 8000 8004 4530 4245 7996 4437 4152 6134 769 862 5654 5468 698 695 5747 5352 5349 5942 5561 382 5846 574 670 311 308 215 791 788 5583 5580 6060 6063 401 5871 5772 5775 5868 4248 4155 7966 7964 7972 7968 500 599 503 596 5673 5676 5490 5487 8251 3210 7954 3139 3235 3306 7956 7952 2716 2832 2713 3136 3232 7950 3037 2944 3424 3498 3427 196 8263 80 77 3334 3405 3331 7948 3252 5366 5711 5906 628 8498 583 5910 5902 3231 3135 7940 3221 3125 5857 5867 7922 8275 5759 5855 8271 342 630 5529 532 490 3128 3132 5824 5834 5420 736 3372 5996 3273 3263 8409 360 829 819 8461 5374 5381 5385 403 8361 5324 433 4225 8339 5715 3242 3156 8335 5780 5525 5876 3146 4234 4424 3952 8005 4141 598 387 5657 5756 8258 5854 580 502 486 217 201 4232 4044 2738 5601 6413 3092 2999 367 805 2745 5453 2810 2817 843 6113 5446 3003 361 847 3096 172 8104 2732 2748 2690 2712 5765 5861 8291 591 3793 1469 4297 1657 8059 8073 3796 1754 4101 1845 1560 4295 4012 1372 1562 1280 3788 4386 8063 3876 8072 8377 5591 6261 3131 3133 3227 3229 5528 8470 5518 4479 8259 4194 8103 8093 8105 5283 4076 3912 1752 8061 5471 8069 3201 5810 5814 2985 5920 8402 339 3078 3981 3068 5813 8075 4188 8087 5609 3852 7961 3927 6780 1182 1578 1296 6750 4404 7917 4317 6759 6769 6774 6771 4028 7184 6735 6748 6714 6745 1390 3816 3930 6753 6793 6783 1485 6727 1867 6897 4212 6742 6893 6721 6796 6790 4497 7919 4313 1770 6717 6787 1774 6763 1582 6778 6755 6708 6732 1300 6729 6711 7927 6724 1189 1863 6766 7923 1675 7929 1489 4032 6799 6452 6738 7980 7994 7982 316 8333 6068 705 808 798 796 6080 6070 2964 2954 409 3047 3057 604 508 5878 8338 5888 5368 5384 96 112 7957 616 3434 3444 318 328 5480 408 424 3025 3028 3893 854 374 5838 5841 5934 4369 8094 4519 278 662 188 659 185 4843 4839 4426 3352 4139 464 5457 563 391 8503 6092 8493 822 5622 5618 340 5614 61 138 145 5900 634 298 7949 7947 4132 4430 5519 249 253 397 393 3029 100 613 5612 346 8505 687 321 5333 8303 5881 5885 784 2961 5796 607 5504 2957 5704 325 345 146 2979 3072 3171 2877 3357 739 723 3290 3292 8084 3194 3196 702 3336 718 5924 8419 5828 5543 2785 151 126 2760 825 3459 827 436 8152 3079 3074 3076 3162 2970 3063 343 2986 2983 2981 8120 3065 3081 427 3375 3359 2972 334 2988 3185 3468 3452 814 2762 2787 124 8499 5804 5408 8495 8307 5858 5477 592 5762 300 73 63 304 5133 5116 5009 5146 5198 5200 5129 5156 5162 5181 5165 4806 3237 115 2724 793 3141 3431 3044 406 3060 2951 313 2967 3429 795 811 2949 90 3042 711 713 4855 4867 4863 606 520 5497 5507 8342 5792 94 5782 780 778 3228 3224 2699 2709 8463 6017 3747 8399 102 7936 4236 4328 4419 4167 4514 4518 4425 4326 4140 3951 4136 4229 4233 4041 3947 2751 2726 88 3033 3416 3420 2936 2940 8502 5806 5707 8274 3323 775 52 3345 5736 2958 3051 806 3442 3440 802 3150 3183 294 5564 310 8265 5044 2798 5180 3258 565 4921 4870 4868 4917 5183 5144 5147 5163 4796 5057 5107 3267 417 419 5088 4930 352 336 3450 816 640 832 4943 4932 4935 4940 4984 4904 42 610 2962 2960 322 505 3279 645 5052 243 4928 4918 4927 4894 5033 4892 5115 4898 4888 5106 4884 4879 4923 5102 2886 5067 5023 347 445 4908 541 4275 5402 1504 5783 8371 3858 493 5767 5675 5489 8294 5482 785 8285 783 6053 5870 8262 5473 5865 5769 5484 5668 5670 394 8295 5666 398 5029 5027 5032 5031 5111 3347 3349 210 385 5758 484 5659 5774 4885 4886 4890 4887 5931 5550 652 457 556 5928 8418 5926 5545 5832 5830 8422 5547 3400 5006 5007 5003 8329 5585 5094 5863 5731 5733 4305 7973 4493 8283 690 5960 692 4509 45 212 8255 4131 5315 79 4400 4115 4020 4416 4224 4208 3463 2782 3373 3370 3368 823 2780 142 631 3466 3461 3447 3354 3338 292 5582 6046 6062 5951 681 5351 43 5317 835 5450 180 8415 6023 755 8411 753 758 3903 772 5566 593 5594 4833 4829 4962 4814 4817 4821 4955 4959 1285 8092 3397 3394 844 5729 459 5192 5194 5149 5152 5118 5125 5143 5123 5158 5141 305 5573 303 8297 5346 5344 70 5042 106 2744 2746 5058 5043 5077 5073 5066 5070 5068 364 6057 6055 781 301 5577 5575 8287 5342 74 72 396 497 495 6044 790 774 8253 8290 589 3771 1137 1159 1474 1458 4377 4017 1759 1551 4302 1269 4185 1836 4470 1363 1743 1567 1648 4286 4092 4001 1852 3482 8078 3484 3473 3489 3004 3002 5636 368 8425 366 6120 6118 5638 5640 846 6116 848 8413 182 4395 4472 4488 4110 4094 4203 8101 4187 3999 4284 4379 558 656 654 560 461 273 275 3389 3391 8076 5452 5454 178 8088 3097 3095 2816 2818 8080 4889 5606 8457 5615 8489 187 837 853 2796 162 3471 4105 8065 4196 4483 3378 744 760 3914 4198 4103 8062 4390 4481 4388 8074 8060 697 5064 5099 4869 4865 3034 3032 7960 2941 2939 2710 2708 6458 5117 8393 5199 5019 5169 5175 5166 5136 5627 4853 5113 5016 5012 5127 5140 5130 5135 5097 5015 5017 5139 5022 5026 4857 5046 5101 5035 5037 3916 4008 6340 4533 4440 4891 7932 7934 4510 4417 7953 4118 4149 4145 4128 4434 4527 4050 4238 4335 4523 4242 8406 5549 5539 6081 8044 8053 8055 270 8439 4172 5726 418 232 414 5684 3915 4385 4482 4079 4176 3890 4083 274 6071 801 708 8365 5978 8363 4191 4383 1842 3909 1846 1749 1468 4292 4007 1279 4098 1753 228 5728 5827 5732 517 8434 5923 5927 2090 2093 3483 3479 3386 3390 3441 6077 799 3437 5831 6073 4011 4296 1654 1369 754 8427 5542 5546 8438 2080 6020 4100 3911 4457 1146 1153 3780 4005 4478 4193 3894 4389 3984 4461 4368 4104 4269 4290 4364 3348 3344 1275 1464 4476 1557 1561 499 295 3327 826 5456 585 487 4421 8491 3351 3341 5521 547 3084 3810 7959 1192 3320 3330 1176 4221 4496 4211 4403 4413 4506 4023 3423 3413 712 6089 4197 8459 54 5348 5326 2898 4845 4841 204 5335 5345 214 538 5672 5662 5567 297 8281 225 235 400 390 5660 5681 76 595 307 5771 7951 5588 8345 5693 5683 6049 6059 5569 5590 5600 5665 435 5705 8269 777 6047 787 5761 5476 5486 8278 5579 4116 1860 1575 1482 4025 1492 439 8313 3396 3380 8301 496 8311 5663 6050 211 207 6052 6056 5572 5576 5768 8310 8306 5764 5860 586 5864 5669 5483 5479 5570 6264 6189 6185 6240 1293 1870 4209 7955 1303 5092 5954 8267 684 694 5142 5189 5157 5151 5193 5138 5148 5124 3326 3328 3421 3419 1777 4401 1767 4494 1672 1585 4035 4320 1387 4310 8299 691 5957 6197 6258 6266 8331 5975 715 6203 6262 4293 3790 5632 5642 1084 1071 3709 3705 3713 7910 2077 3706 1080 3715 1075 1076 3720 3708 5216 5219 5225 5228 5222 5237 5240 5234 5231 2123 2603 2126 5210 5255 2133 2620 5252 5258 5213 2111 2114 2099 2108 2117 2120 2102 2105 8221 4749 4768 8223 4766 2613 5226 5227 8235 5235 8229 4759 4755 2118 5232 2129 2124 2601 5224 2592 5218 2605 2109 2580 8239 2595 2097 5214 2617 5220 8219 8225 4731 2125 4758 5238 8231 8233 2615 5236 2583 2586 4753 5233 4750 5248 4756 2106 4740 4738 5223 5215 5217 4735 5230 5246 5239 4744 4747 8217 8227 4737 8237 2103 5229 4732 2609 8243 5221 2598 4734 2112 2115 2121 2589 2604 4746 2100 4752 4741 4743 2095 4760 4757 4754 4751 4748 4763 4733 8244 4767 4739 5247 5243 4736 3711 4730 3707 4772 2089 2135 4727 8441 5639 5633 5593 5597 5621 5611 4308 2575 1073 4742 8218 4745 2128 8230 2098 8228 2101 2096 8226 2104 2107 8224 8222 2110 8220 2600 2606 8238 8236 2116 2113 2597 2119 2122 8234 8232 2599 2602 2596 2593 2591 2590 2588 2587 2585 2584 2582 2581 2579 2578 2594 2608 7425 7427 7428 7898 7901 7902 7904 7905 7907 8582 8584 8586 4791 4792 4789 5271 5269 5268 5266 5265 5263 5262 5260 5259 4788 4786 4785 2636 7421 0
283.89/283.99
283.89/283.99 c Core has size 7344
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3495782-1307808044/watcher-3495782-1307808044 -o /tmp/evaluation-result-3495782-1307808044/solver-3495782-1307808044 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495782-1307808044.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.35 2.40 6/188 25732
/proc/meminfo: memFree=31706492/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=12704 CPUtime=0 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 653 0 0 0 0 0 0 0 25 0 1 0 892403126 13008896 532 33554432000 4194304 4365125 140736622982944 18446744073709551615 4260240 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 3176 532 256 42 0 324 0
[startup+0.0783959 s]
/proc/loadavg: 1.00 1.35 2.40 6/188 25732
/proc/meminfo: memFree=31706492/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=15716 CPUtime=0.07 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 3072 0 0 0 7 0 0 0 25 0 1 0 892403126 16093184 1194 33554432000 4194304 4365125 140736622982944 18446744073709551615 4257533 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 3929 1194 263 42 0 1077 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15716
[startup+0.100391 s]
/proc/loadavg: 1.00 1.35 2.40 6/188 25732
/proc/meminfo: memFree=31706492/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=17056 CPUtime=0.09 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 4043 0 0 0 9 0 0 0 25 0 1 0 892403126 17465344 1347 33554432000 4194304 4365125 140736622982944 18446744073709551615 4257808 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 4264 1347 263 42 0 1412 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17056
[startup+0.300358 s]
/proc/loadavg: 1.00 1.35 2.40 6/188 25732
/proc/meminfo: memFree=31706492/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=27100 CPUtime=0.29 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 12646 0 0 0 28 1 0 0 25 0 1 0 892403126 27750400 3233 33554432000 4194304 4365125 140736622982944 18446744073709551615 4244626 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 6775 3233 263 42 0 3923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27100
[startup+0.700287 s]
/proc/loadavg: 1.00 1.35 2.40 6/188 25732
/proc/meminfo: memFree=31706492/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=44692 CPUtime=0.69 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 30148 0 0 0 66 3 0 0 25 0 1 0 892403126 45764608 7795 33554432000 4194304 4365125 140736622982944 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 11173 7795 263 42 0 8321 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44692
[startup+1.50015 s]
/proc/loadavg: 1.24 1.39 2.41 6/190 25734
/proc/meminfo: memFree=31537436/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=138444 CPUtime=1.48 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 51051 0 0 0 144 4 0 0 25 0 1 0 892403126 141766656 19494 33554432000 4194304 4365125 140736622982944 18446744073709551615 4244731 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 34611 19494 263 42 0 31759 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 138444
[startup+3.10086 s]
/proc/loadavg: 1.24 1.39 2.41 6/190 25734
/proc/meminfo: memFree=31301836/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=134668 CPUtime=3.09 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 111107 0 0 0 299 10 0 0 25 0 1 0 892403126 137900032 27578 33554432000 4194304 4365125 140736622982944 18446744073709551615 4250159 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 33667 27578 264 42 0 30815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134668
[startup+6.3003 s]
/proc/loadavg: 1.24 1.39 2.41 6/190 25735
/proc/meminfo: memFree=30868672/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=137656 CPUtime=6.29 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 146949 0 0 0 615 14 0 0 25 0 1 0 892403126 140959744 30950 33554432000 4194304 4365125 140736622982944 18446744073709551615 4262107 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 34414 30950 264 42 0 31562 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137656
[startup+12.7002 s]
/proc/loadavg: 1.66 1.48 2.43 5/190 25735
/proc/meminfo: memFree=30570432/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=141752 CPUtime=12.69 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 170541 0 0 0 1252 17 0 0 25 0 1 0 892403126 145154048 31464 33554432000 4194304 4365125 140736622982944 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 35438 31464 264 42 0 32586 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 141752
[startup+25.5009 s]
/proc/loadavg: 2.02 1.56 2.44 6/190 25744
/proc/meminfo: memFree=29839536/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=175540 CPUtime=25.49 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 236713 0 0 0 2524 25 0 0 25 0 1 0 892403126 179752960 34656 33554432000 4194304 4365125 140736622982944 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 43885 34656 264 42 0 41033 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175540
[startup+51.1004 s]
/proc/loadavg: 2.70 1.75 2.48 6/190 25745
/proc/meminfo: memFree=30214308/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=136632 CPUtime=51.09 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 403473 0 0 0 5066 43 0 0 25 0 1 0 892403126 139911168 29773 33554432000 4194304 4365125 140736622982944 18446744073709551615 4262092 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 34158 29773 264 42 0 31306 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 136632
[startup+102.306 s]
/proc/loadavg: 3.48 2.13 2.57 6/190 25746
/proc/meminfo: memFree=30177696/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=167352 CPUtime=102.3 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 871622 0 0 0 10129 101 0 0 25 0 1 0 892403126 171368448 33596 33554432000 4194304 4365125 140736622982944 18446744073709551615 4262125 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 41838 33596 264 42 0 38986 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 167352
[startup+162.301 s]
/proc/loadavg: 3.81 2.47 2.66 5/190 25786
/proc/meminfo: memFree=30182528/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=178312 CPUtime=162.29 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 1192382 0 0 0 16092 137 0 0 25 0 1 0 892403126 182591488 35094 33554432000 4194304 4365125 140736622982944 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 44578 35094 264 42 0 41726 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 178312
[startup+222.3 s]
/proc/loadavg: 3.96 2.76 2.74 5/190 25789
/proc/meminfo: memFree=30103748/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=193268 CPUtime=222.3 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 1650083 0 0 0 22040 190 0 0 25 0 1 0 892403126 197906432 44943 33554432000 4194304 4365125 140736622982944 18446744073709551615 4258092 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 48317 44943 264 42 0 45465 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 193268
[startup+282.301 s]
/proc/loadavg: 3.98 2.98 2.82 5/190 25792
/proc/meminfo: memFree=30047972/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=301992 CPUtime=282.29 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 1983216 0 0 0 28002 227 0 0 25 0 1 0 892403126 309239808 49076 33554432000 4194304 4365125 140736622982944 18446744073709551615 4262087 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 75498 49076 264 42 0 72646 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 301992
Solver just ended. Dumping a history of the last processes samples
[startup+283.101 s]
/proc/loadavg: 3.98 2.98 2.82 5/190 25792
/proc/meminfo: memFree=30032224/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=301992 CPUtime=283.09 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 1983216 0 0 0 28082 227 0 0 25 0 1 0 892403126 309239808 49076 33554432000 4194304 4365125 140736622982944 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 75498 49076 264 42 0 72646 0
Current children cumulated CPU time (s) 283.09
Current children cumulated vsize (KiB) 301992
[startup+283.501 s]
/proc/loadavg: 3.98 2.98 2.82 5/190 25792
/proc/meminfo: memFree=30032224/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=301992 CPUtime=283.49 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 1983216 0 0 0 28122 227 0 0 25 0 1 0 892403126 309239808 49076 33554432000 4194304 4365125 140736622982944 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 75498 49076 264 42 0 72646 0
Current children cumulated CPU time (s) 283.49
Current children cumulated vsize (KiB) 301992
[startup+283.9 s]
/proc/loadavg: 3.98 2.98 2.82 5/190 25792
/proc/meminfo: memFree=30032224/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=301992 CPUtime=283.89 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202496 1983216 0 0 0 28162 227 0 0 25 0 1 0 892403126 309239808 49076 33554432000 4194304 4365125 140736622982944 18446744073709551615 4275337 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25732/statm: 75498 49076 264 42 0 72646 0
Current children cumulated CPU time (s) 283.89
Current children cumulated vsize (KiB) 301992
[startup+284 s]
/proc/loadavg: 3.98 2.98 2.82 5/190 25792
/proc/meminfo: memFree=30032224/32950928 swapFree=67052112/67111528
[pid=25732] ppid=25730 vsize=0 CPUtime=283.99 cores=5,7
/proc/25732/stat : 25732 (MoUsSaka) R 25730 25732 23695 0 -1 4202500 1983221 0 0 0 28171 228 0 0 25 0 1 0 892403126 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25732/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 283.99
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 284.001
CPU time (s): 284.006
CPU user time (s): 281.719
CPU system time (s): 2.28665
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 484472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 281.719
system time used= 2.28665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1983221
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= 44
involuntary context switches= 276
runsolver used 0.439933 second user time and 1.11583 second system time
The end
Begin job on node120 at 2011-06-11 18:00:44
IDJOB=3495782
IDBENCH=88986
IDSOLVER=1989
FILE ID=node120/3495782-1307808044
RUNJOBID= node120-1307808043-25678
PBS_JOBID= 13551076
Free space on /tmp= 73892 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/chen/fdmus_v100/fdmus_b17_420.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495782-1307808044/watcher-3495782-1307808044 -o /tmp/evaluation-result-3495782-1307808044/solver-3495782-1307808044 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495782-1307808044.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 4a8f43529b33e0ec26b81dda34eaeaab
RANDOM SEED=1210224031
node120.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.809
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.61
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.809
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.07
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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
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.78
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.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31707696 kB
Buffers: 162032 kB
Cached: 892872 kB
SwapCached: 11524 kB
Active: 393352 kB
Inactive: 690940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31707696 kB
SwapTotal: 67111528 kB
SwapFree: 67052112 kB
Dirty: 788 kB
Writeback: 0 kB
AnonPages: 26116 kB
Mapped: 9364 kB
Slab: 93784 kB
PageTables: 4548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 247248 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= 73892 MiB
End job on node120 at 2011-06-11 18:05:28