Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
jMiniSat 2011 | SAT | 551.154 | 549.21 |
Name | application/leberre/ 2dimensionalstrippacking/E02F22.cnf |
MD5SUM | 0b29cb9f2e17f3e05b66912497d8cb84 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 45.6781 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 13574 |
Number of clauses | 1301188 |
Sum of the clauses size | 11462079 |
Maximum clause length | 78 |
Minimum clause length | 1 |
Number of clauses of size 1 | 33 |
Number of clauses of size 2 | 36373 |
Number of clauses of size 3 | 29573 |
Number of clauses of size 4 | 22594 |
Number of clauses of size 5 | 73414 |
Number of clauses of size over 5 | 1139201 |
0.00/0.21 c This is jMiniSat version 1.0. 550.70/548.84 s SATISFIABLE 550.70/548.84 v 1 -2 -3 4 -5 -6 -7 8 -9 -10 -11 -12 -13 -14 -15 -16 -17 18 19 20 21 22 23 24 -25 -26 27 28 29 -30 31 32 33 34 35 36 37 38 39 40 41 -42 43 -44 -45 -46 47 -48 -49 -50 -51 -52 -53 -54 55 -56 -57 -58 -59 60 -61 -62 -63 64 65 -66 -67 68 69 70 71 -72 -73 -74 -75 -76 -77 -78 -79 80 -81 82 83 -84 -85 -86 -87 -88 -89 90 -91 92 93 94 95 -96 -97 -98 -99 -100 101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 127 -128 -129 -130 -131 132 133 134 135 136 -137 -138 -139 -140 141 142 143 144 145 146 147 148 149 150 151 152 153 -154 -155 -156 -157 -158 -159 160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 177 178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 226 -227 228 -229 230 -231 -232 233 -234 -235 236 237 238 -239 240 241 242 243 244 245 246 -247 -248 -249 -250 -251 -252 -253 -254 -255 256 257 -258 -259 -260 261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 275 276 277 -278 279 280 281 282 283 284 285 -286 -287 288 289 -290 -291 292 293 294 -295 -296 -297 298 -299 -300 -301 -302 -303 304 305 -306 -307 308 309 310 -311 -312 -313 -314 315 -316 -317 -318 -319 -320 -321 322 -323 -324 -325 -326 327 -328 329 330 331 -332 333 334 335 336 337 338 -339 -340 341 342 343 -344 345 346 347 348 349 350 351 352 353 354 355 356 357 -358 359 360 361 -362 -363 -364 -365 -366 -367 368 369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 385 386 387 388 389 390 -391 -392 393 394 -395 -396 397 398 399 400 401 402 403 404 405 406 407 -408 -409 410 411 -412 -413 414 415 -416 -417 418 419 420 -421 -422 -423 -424 -425 -426 427 428 -429 -430 -431 -432 -433 -434 435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 448 -449 -450 451 452 -453 -454 455 456 -457 -458 -459 -460 -461 462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 473 474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 486 487 488 489 490 491 492 493 494 495 496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 515 516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 530 531 532 533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 558 559 560 561 562 563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 620 621 622 623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 640 641 642 643 644 645 646 647 648 649 650 651 652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 696 -697 -698 -699 -700 -701 -702 -703 -704 705 706 707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 751 752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 821 822 823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 934 935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 951 952 953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 995 996 997 998 999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 1014 1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 1057 1058 1059 1060 1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 1081 1082 1083 1084 1085 1086 1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 1107 1108 1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 1149 1150 1151 1152 1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 1168 1169 1170 1171 1172 1173 1174 1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 1194 1195 1196 1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 1259 1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 1281 1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 1322 1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 1441 1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 1507 1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 1595 1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 1901 1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 1916 1917 1918 1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 1944 1945 1946 1947 1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 2006 2007 2008 2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 2092 2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 2137 2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 2207 2208 2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 2320 2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 2363 2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 2451 2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 2820 2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 2840 2841 2842 2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 2906 2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 2951 2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 3220 3221 3222 3223 3224 3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 3396 3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 3508 3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 4206 4207 4208 4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 4556 4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 4601 4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 4671 4672 4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 4784 4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 6479 -6480 -6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 6539 6540 6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604 6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 6627 6628 6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 6693 6694 6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 6715 6716 6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 6738 6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 6803 6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 -6824 6825 6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462 7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 7485 7486 7487 7488 7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 7509 7510 7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 7551 7552 7553 7554 7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 7573 7574 7575 7576 7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 7596 7597 7598 7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 7661 7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 7683 7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 7775 -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 7856 7857 -7858 -7859 -7860 -7861 -7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 7879 -7880 -7881 -7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 -7964 -7965 7966 7967 -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 8099 -8100 -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 8120 8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 -8186 8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 8340 -8341 -8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 8605 8606 8607 -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 8692 8693 8694 8695 -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 -8782 8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 -8802 -8803 -8804 8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 8825 -8826 -8827 -8828 -8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 -8842 -8843 -8844 -8845 8846 8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880 -8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934 8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 8961 8962 8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 -9001 -9002 9003 9004 9005 9006 9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 -9022 9023 9024 9025 9026 9027 9028 9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 -9043 -9044 -9045 -9046 -9047 9048 9049 9050 9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063 -9064 -9065 -9066 -9067 -9068 9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090 9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103 -9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111 -9112 9113 9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 -9131 -9132 -9133 -9134 9135 9136 -9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 9155 -9156 -9157 -9158 -9159 -9160 -9161 -9162 -9163 -9164 -9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 9177 -9178 -9179 -9180 -9181 -9182 -9183 -9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 -9201 -9202 -9203 9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 -9221 -9222 -9223 -9224 -9225 -9226 9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 -9242 9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 -9261 -9262 -9263 -9264 9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 -9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310 -9311 -9312 9313 9314 9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 -9324 -9325 -9326 -9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 9335 9336 9337 -9338 -9339 -9340 -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 9357 9358 9359 -9360 -9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 -9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 -9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 -9421 -9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 -9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584 -9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 -9761 -9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 -9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 -9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 -9843 -9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 -9882 9883 9884 9885 9886 9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 -9904 -9905 9906 9907 9908 9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 -9923 -9924 -9925 -9926 9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 -9964 -9965 -9966 -9967 -9968 -9969 -9970 9971 9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 -9985 -9986 -9987 -9988 -9989 -9990 -9991 -9992 9993 9994 -9995 -9996 -9997 -9998 -9999 -10000 -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 -10024 -10025 -10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040 -10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 10062 -10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 10085 -10086 -10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 -10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 -10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 -10144 -10145 -10146 -10147 10148 10149 10150 10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 -10163 -10164 -10165 -10166 -10167 -10168 10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190 10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 -10201 -10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 -10210 -10211 -10212 10213 10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231 -10232 -10233 -10234 10235 10236 -10237 -10238 -10239 -10240 -10241 -10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 -10264 -10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 10276 10277 -10278 -10279 -10280 -10281 -10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 -10303 10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 -10325 -10326 10327 -10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 10343 -10344 -10345 -10346 -10347 -10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 -10363 -10364 10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 -10392 -10393 -10394 -10395 -10396 -10397 -10398 -10399 -10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410 -10411 -10412 -10413 -10414 -10415 -10416 -10417 -10418 -10419 -10420 -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429 -10430 -10431 -10432 -10433 10434 -10435 -10436 -10437 -10438 -10439 -10440 -10441 -10442 -10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450 -10451 -10452 -10453 -10454 -10455 10456 -10457 -10458 -10459 -10460 -10461 -10462 -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470 -10471 -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479 -10480 -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 -10490 -10491 -10492 -10493 -10494 -10495 -10496 -10497 -10498 -10499 -10500 -10501 -10502 -10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510 -10511 -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519 -10520 -10521 -10522 -10523 10524 -10525 -10526 -10527 -10528 -10529 -10530 -10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540 -10541 -10542 -10543 -10544 -10545 -10546 10547 -10548 -10549 -10550 -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560 -10561 -10562 -10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570 -10571 -10572 -10573 -10574 -10575 -10576 -10577 -10578 -10579 -10580 -10581 -10582 -10583 -10584 -10585 -10586 -10587 -10588 -10589 -10590 -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600 -10601 -10602 -10603 -10604 -10605 -10606 -10607 -10608 10609 -10610 -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 -10619 -10620 -10621 -10622 -10623 -10624 -10625 -10626 -10627 -10628 -10629 -10630 10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640 -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649 -10650 -10651 -10652 10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660 -10661 -10662 -10663 -10664 -10665 -10666 -10667 -10668 -10669 -10670 -10671 -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680 -10681 -10682 -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690 -10691 -10692 -10693 -10694 -10695 -10696 -10697 -10698 -10699 -10700 -10701 -10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710 -10711 -10712 -10713 -10714 -10715 -10716 -10717 -10718 -10719 -10720 -10721 -10722 -10723 -10724 -10725 -10726 -10727 -10728 -10729 -10730 -10731 -10732 -10733 -10734 -10735 -10736 -10737 -10738 -10739 -10740 -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 -10750 -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 -10760 -10761 -10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770 -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780 -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790 -10791 -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800 -10801 -10802 -10803 -10804 -10805 -10806 10807 -10808 -10809 -10810 -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820 -10821 -10822 -10823 -10824 -10825 -10826 -10827 -10828 10829 -10830 -10831 -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839 -10840 -10841 -10842 -10843 -10844 -10845 -10846 -10847 -10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855 -10856 -10857 -10858 -10859 -10860 -10861 -10862 -10863 -10864 -10865 -10866 -10867 -10868 -10869 -10870 -10871 -10872 -10873 -10874 -10875 -10876 -10877 -10878 -10879 -10880 -10881 -10882 -10883 -10884 -10885 -10886 -10887 -10888 -10889 -10890 -10891 -10892 -10893 -10894 -10895 -10896 -10897 -10898 -10899 -10900 -10901 -10902 -10903 -10904 -10905 -10906 -10907 -10908 -10909 -10910 -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920 -10921 -10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930 -10931 -10932 -10933 -10934 -10935 -10936 -10937 -10938 -10939 -10940 -10941 -10942 -10943 -10944 -10945 -10946 -10947 -10948 -10949 -10950 -10951 -10952 -10953 -10954 -10955 -10956 -10957 -10958 -10959 -10960 -10961 -10962 -10963 -10964 -10965 -10966 -10967 -10968 -10969 -10970 -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 -10979 -10980 -10981 -10982 10983 10984 -10985 -10986 -10987 -10988 -10989 -10990 -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000 -11001 -11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010 -11011 -11012 -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020 -11021 -11022 -11023 -11024 -11025 -11026 -11027 -11028 -11029 -11030 -11031 -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040 -11041 -11042 -11043 -11044 -11045 -11046 -11047 -11048 -11049 -11050 -11051 -11052 -11053 -11054 -11055 -11056 -11057 -11058 -11059 -11060 -11061 -11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070 -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079 -11080 -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089 -11090 -11091 -11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100 -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 -11110 -11111 -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120 -11121 -11122 -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130 -11131 -11132 -11133 -11134 -11135 -11136 -11137 -11138 -11139 -11140 -11141 -11142 -11143 -11144 -11145 -11146 -11147 -11148 -11149 -11150 -11151 -11152 -11153 -11154 -11155 -11156 -11157 -11158 -11159 -11160 -11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170 -11171 -11172 -11173 -11174 -11175 -11176 -11177 -11178 -11179 -11180 -11181 -11182 -11183 -11184 -11185 -11186 -11187 -11188 -11189 -11190 -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 -11200 -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 -11210 -11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220 -11221 -11222 -11223 -11224 -11225 -11226 -11227 -11228 -11229 -11230 -11231 -11232 -11233 -11234 -11235 -11236 -11237 -11238 -11239 -11240 -11241 -11242 -11243 -11244 -11245 -11246 -11247 -11248 -11249 -11250 -11251 -11252 -11253 -11254 -11255 -11256 -11257 -11258 -11259 -11260 -11261 -11262 -11263 -11264 -11265 -11266 11267 -11268 -11269 -11270 -11271 -11272 -11273 -11274 -11275 -11276 -11277 -11278 -11279 -11280 -11281 -11282 -11283 -11284 -11285 -11286 -11287 -11288 -11289 -11290 -11291 -11292 -11293 -11294 -11295 -11296 -11297 -11298 -11299 -11300 -11301 -11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309 -11310 -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 -11320 -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330 -11331 -11332 11333 -11334 -11335 -11336 -11337 -11338 -11339 -11340 -11341 -11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351 -11352 -11353 -11354 11355 -11356 -11357 -11358 -11359 -11360 -11361 -11362 -11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370 -11371 -11372 -11373 -11374 -11375 -11376 -11377 -11378 -11379 -11380 -11381 -11382 -11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390 -11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399 -11400 -11401 -11402 -11403 -11404 -11405 -11406 -11407 -11408 -11409 -11410 -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419 -11420 11421 -11422 -11423 -11424 -11425 -11426 -11427 -11428 -11429 -11430 -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440 -11441 -11442 11443 -11444 -11445 -11446 -11447 -11448 -11449 -11450 -11451 -11452 -11453 -11454 -11455 -11456 -11457 -11458 -11459 -11460 -11461 -11462 -11463 -11464 -11465 -11466 -11467 -11468 -11469 -11470 -11471 -11472 -11473 -11474 -11475 -11476 -11477 -11478 -11479 -11480 -11481 -11482 -11483 -11484 -11485 -11486 -11487 -11488 -11489 -11490 -11491 -11492 -11493 -11494 -11495 -11496 -11497 -11498 -11499 -11500 -11501 -11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510 -11511 -11512 -11513 -11514 -11515 -11516 -11517 -11518 -11519 -11520 -11521 -11522 -11523 -11524 -11525 -11526 -11527 -11528 -11529 -11530 -11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 -11539 -11540 -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550 -11551 -11552 -11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560 -11561 -11562 -11563 -11564 -11565 -11566 -11567 -11568 -11569 -11570 -11571 -11572 -11573 -11574 11575 -11576 -11577 -11578 -11579 -11580 -11581 -11582 -11583 -11584 -11585 -11586 -11587 -11588 -11589 -11590 -11591 -11592 -11593 -11594 -11595 -11596 -11597 -11598 -11599 -11600 -11601 -11602 -11603 -11604 11605 -11606 -11607 -11608 -11609 -11610 -11611 -11612 -11613 -11614 -11615 -11616 -11617 11618 -11619 -11620 -11621 -11622 -11623 -11624 -11625 -11626 -11627 -11628 -11629 -11630 -11631 -11632 -11633 -11634 -11635 -11636 -11637 -11638 -11639 -11640 -11641 -11642 -11643 -11644 -11645 -11646 11647 -11648 -11649 -11650 -11651 -11652 -11653 -11654 -11655 -11656 -11657 -11658 -11659 -11660 -11661 11662 -11663 -11664 -11665 -11666 -11667 -11668 -11669 -11670 -11671 -11672 -11673 -11674 -11675 -11676 -11677 -11678 -11679 -11680 -11681 -11682 -11683 -11684 -11685 -11686 -11687 -11688 -11689 11690 -11691 -11692 -11693 -11694 -11695 -11696 -11697 -11698 -11699 -11700 -11701 -11702 -11703 -11704 11705 -11706 -11707 -11708 -11709 -11710 -11711 -11712 -11713 -11714 -11715 -11716 -11717 -11718 -11719 -11720 -11721 -11722 -11723 -11724 -11725 -11726 -11727 -11728 -11729 -11730 -11731 -11732 -11733 -11734 -11735 -11736 -11737 -11738 11739 -11740 -11741 -11742 -11743 -11744 -11745 -11746 -11747 -11748 -11749 -11750 -11751 11752 -11753 -11754 -11755 -11756 -11757 -11758 -11759 -11760 -11761 -11762 -11763 -11764 -11765 -11766 -11767 -11768 -11769 -11770 -11771 11772 -11773 -11774 -11775 -11776 -11777 -11778 -11779 -11780 -11781 -11782 -11783 -11784 -11785 -11786 -11787 -11788 -11789 -11790 -11791 -11792 -11793 -11794 -11795 -11796 -11797 -11798 -11799 11800 -11801 -11802 -11803 -11804 -11805 -11806 -11807 -11808 -11809 -11810 -11811 -11812 -11813 -11814 -11815 -11816 -11817 -11818 -11819 -11820 -11821 -11822 -11823 -11824 -11825 -11826 -11827 11828 -11829 -11830 -11831 -11832 -11833 -11834 -11835 -11836 11837 -11838 -11839 -11840 -11841 -11842 -11843 -11844 -11845 -11846 -11847 -11848 -11849 -11850 -11851 -11852 -11853 -11854 -11855 -11856 -11857 -11858 -11859 11860 -11861 -11862 -11863 -11864 -11865 -11866 -11867 -11868 -11869 -11870 -11871 -11872 -11873 -11874 -11875 -11876 -11877 -11878 -11879 -11880 -11881 -11882 11883 -11884 -11885 -11886 -11887 -11888 -11889 -11890 -11891 -11892 -11893 -11894 -11895 -11896 -11897 -11898 -11899 -11900 -11901 -11902 -11903 -11904 -11905 -11906 11907 -11908 -11909 -11910 -11911 -11912 -11913 -11914 -11915 -11916 -11917 -11918 -11919 -11920 -11921 -11922 -11923 -11924 -11925 -11926 -11927 -11928 -11929 11930 -11931 -11932 -11933 -11934 -11935 -11936 -11937 -11938 -11939 -11940 -11941 -11942 -11943 -11944 -11945 -11946 -11947 -11948 -11949 -11950 -11951 -11952 11953 -11954 -11955 -11956 -11957 -11958 -11959 -11960 -11961 -11962 -11963 -11964 -11965 -11966 -11967 -11968 -11969 -11970 -11971 -11972 -11973 11974 -11975 -11976 -11977 -11978 -11979 -11980 -11981 -11982 -11983 -11984 -11985 -11986 -11987 -11988 -11989 -11990 -11991 -11992 -11993 -11994 -11995 -11996 -11997 -11998 -11999 -12000 12001 -12002 -12003 -12004 -12005 -12006 -12007 -12008 -12009 -12010 -12011 -12012 -12013 -12014 -12015 -12016 -12017 -12018 -12019 -12020 -12021 -12022 12023 -12024 -12025 -12026 -12027 -12028 -12029 -12030 -12031 -12032 -12033 -12034 -12035 -12036 -12037 -12038 -12039 -12040 -12041 -12042 -12043 -12044 -12045 12046 -12047 -12048 -12049 -12050 -12051 -12052 -12053 -12054 -12055 -12056 -12057 -12058 -12059 -12060 -12061 -12062 -12063 -12064 -12065 12066 -12067 -12068 -12069 -12070 -12071 -12072 -12073 -12074 -12075 -12076 -12077 -12078 -12079 -12080 -12081 -12082 12083 -12084 -12085 -12086 -12087 -12088 -12089 -12090 -12091 -12092 -12093 -12094 -12095 -12096 -12097 -12098 -12099 -12100 -12101 -12102 -12103 12104 -12105 -12106 -12107 -12108 -12109 -12110 -12111 -12112 -12113 -12114 -12115 -12116 -12117 -12118 -12119 -12120 -12121 -12122 -12123 -12124 -12125 -12126 12127 -12128 -12129 -12130 -12131 -12132 -12133 -12134 -12135 -12136 -12137 -12138 -12139 -12140 -12141 -12142 -12143 -12144 -12145 12146 -12147 -12148 -12149 -12150 -12151 -12152 -12153 -12154 -12155 -12156 -12157 -12158 -12159 -12160 -12161 -12162 -12163 -12164 -12165 -12166 -12167 12168 -12169 -12170 -12171 -12172 -12173 -12174 -12175 -12176 -12177 -12178 -12179 -12180 -12181 -12182 -12183 -12184 -12185 -12186 -12187 -12188 12189 -12190 -12191 -12192 -12193 -12194 -12195 -12196 -12197 -12198 -12199 -12200 -12201 -12202 -12203 -12204 -12205 -12206 -12207 -12208 -12209 -12210 -12211 -12212 12213 -12214 -12215 -12216 -12217 -12218 -12219 -12220 -12221 -12222 -12223 -12224 -12225 -12226 -12227 -12228 -12229 -12230 -12231 -12232 -12233 -12234 -12235 -12236 -12237 -12238 12239 -12240 -12241 -12242 -12243 -12244 -12245 -12246 -12247 -12248 -12249 -12250 -12251 -12252 -12253 -12254 12255 -12256 -12257 -12258 -12259 -12260 -12261 -12262 -12263 -12264 -12265 -12266 -12267 -12268 -12269 -12270 -12271 -12272 -12273 -12274 -12275 -12276 -12277 -12278 -12279 -12280 12281 -12282 -12283 -12284 -12285 -12286 -12287 -12288 -12289 -12290 -12291 -12292 -12293 -12294 -12295 -12296 -12297 -12298 -12299 12300 -12301 -12302 -12303 -12304 -12305 -12306 -12307 -12308 -12309 -12310 -12311 -12312 -12313 -12314 -12315 -12316 -12317 -12318 -12319 -12320 -12321 -12322 -12323 -12324 -12325 12326 -12327 -12328 -12329 -12330 -12331 -12332 -12333 -12334 -12335 -12336 -12337 -12338 -12339 -12340 -12341 -12342 -12343 -12344 -12345 -12346 12347 -12348 -12349 -12350 -12351 -12352 -12353 -12354 -12355 -12356 -12357 -12358 -12359 -12360 -12361 -12362 -12363 -12364 -12365 -12366 -12367 -12368 12369 -12370 -12371 -12372 -12373 -12374 -12375 -12376 -12377 -12378 -12379 -12380 -12381 -12382 -12383 -12384 -12385 -12386 -12387 -12388 -12389 -12390 12391 -12392 -12393 -12394 -12395 -12396 -12397 -12398 -12399 -12400 -12401 -12402 -12403 -12404 -12405 -12406 -12407 -12408 -12409 -12410 -12411 -12412 12413 -12414 -12415 -12416 -12417 -12418 -12419 -12420 -12421 -12422 -12423 -12424 -12425 -12426 -12427 -12428 -12429 -12430 -12431 -12432 12433 -12434 -12435 -12436 -12437 -12438 -12439 -12440 -12441 -12442 -12443 -12444 -12445 -12446 -12447 -12448 -12449 -12450 -12451 -12452 -12453 12454 -12455 -12456 -12457 -12458 -12459 -12460 -12461 -12462 -12463 -12464 -12465 -12466 -12467 -12468 -12469 -12470 -12471 -12472 -12473 -12474 -12475 -12476 -12477 -12478 -12479 -12480 -12481 12482 -12483 -12484 -12485 -12486 -12487 -12488 -12489 -12490 -12491 -12492 -12493 -12494 -12495 -12496 -12497 -12498 -12499 -12500 -12501 -12502 -12503 -12504 12505 -12506 -12507 -12508 -12509 -12510 -12511 -12512 -12513 -12514 -12515 -12516 -12517 -12518 -12519 -12520 12521 -12522 -12523 -12524 -12525 -12526 -12527 -12528 -12529 -12530 -12531 -12532 -12533 -12534 -12535 -12536 -12537 -12538 -12539 -12540 -12541 -12542 12543 -12544 -12545 -12546 -12547 -12548 -12549 -12550 -12551 -12552 -12553 -12554 -12555 -12556 -12557 -12558 -12559 -12560 -12561 -12562 -12563 -12564 -12565 -12566 -12567 -12568 -12569 -12570 -12571 -12572 -12573 12574 -12575 -12576 -12577 -12578 -12579 -12580 -12581 -12582 -12583 -12584 -12585 -12586 -12587 -12588 -12589 -12590 -12591 -12592 -12593 -12594 -12595 12596 -12597 -12598 -12599 -12600 -12601 -12602 -12603 -12604 -12605 -12606 -12607 -12608 -12609 -12610 -12611 -12612 -12613 -12614 -12615 12616 -12617 -12618 -12619 -12620 -12621 -12622 -12623 -12624 -12625 -12626 -12627 -12628 -12629 -12630 -12631 -12632 12633 -12634 -12635 -12636 -12637 -12638 -12639 -12640 -12641 -12642 -12643 -12644 -12645 -12646 -12647 -12648 -12649 -12650 -12651 -12652 -12653 -12654 -12655 -12656 -12657 -12658 -12659 -12660 -12661 -12662 12663 -12664 -12665 -12666 -12667 -12668 -12669 -12670 -12671 -12672 12673 -12674 -12675 -12676 -12677 -12678 -12679 -12680 -12681 -12682 -12683 -12684 -12685 -12686 -12687 -12688 -12689 -12690 -12691 -12692 -12693 -12694 -12695 -12696 -12697 -12698 -12699 -12700 -12701 -12702 -12703 -12704 -12705 -12706 12707 -12708 -12709 -12710 -12711 -12712 -12713 -12714 -12715 -12716 -12717 -12718 -12719 -12720 -12721 -12722 12723 -12724 -12725 -12726 -12727 -12728 -12729 -12730 -12731 -12732 -12733 -12734 -12735 -12736 -12737 -12738 -12739 -12740 -12741 -12742 -12743 -12744 -12745 -12746 -12747 -12748 -12749 -12750 -12751 12752 -12753 -12754 -12755 -12756 -12757 -12758 -12759 -12760 -12761 -12762 -12763 -12764 -12765 -12766 -12767 12768 -12769 -12770 -12771 -12772 -12773 -12774 -12775 -12776 -12777 -12778 -12779 -12780 -12781 -12782 -12783 -12784 -12785 -12786 -12787 -12788 -12789 -12790 -12791 -12792 -12793 -12794 -12795 12796 -12797 -12798 -12799 -12800 -12801 -12802 -12803 -12804 -12805 -12806 12807 -12808 -12809 -12810 -12811 -12812 -12813 -12814 -12815 -12816 -12817 -12818 -12819 -12820 -12821 -12822 -12823 -12824 -12825 -12826 -12827 12828 -12829 -12830 -12831 -12832 -12833 -12834 -12835 -12836 -12837 -12838 -12839 -12840 -12841 -12842 -12843 -12844 -12845 -12846 -12847 -12848 -12849 -12850 -12851 12852 -12853 -12854 -12855 -12856 -12857 -12858 -12859 -12860 -12861 -12862 -12863 -12864 -12865 -12866 -12867 -12868 -12869 -12870 -12871 -12872 -12873 -12874 12875 -12876 -12877 -12878 -12879 -12880 -12881 -12882 -12883 -12884 -12885 -12886 -12887 -12888 -12889 -12890 -12891 -12892 -12893 -12894 -12895 -12896 -12897 12898 -12899 -12900 -12901 -12902 -12903 -12904 -12905 -12906 -12907 -12908 -12909 -12910 -12911 -12912 -12913 -12914 -12915 -12916 -12917 -12918 -12919 -12920 -12921 -12922 12923 -12924 -12925 -12926 -12927 -12928 -12929 -12930 -12931 -12932 -12933 -12934 -12935 -12936 -12937 -12938 -12939 -12940 -12941 12942 -12943 -12944 -12945 -12946 -12947 -12948 -12949 -12950 -12951 -12952 -12953 -12954 -12955 -12956 -12957 -12958 -12959 -12960 -12961 -12962 -12963 -12964 -12965 -12966 -12967 -12968 12969 -12970 -12971 -12972 -12973 -12974 -12975 -12976 -12977 -12978 -12979 -12980 -12981 -12982 -12983 -12984 -12985 -12986 -12987 -12988 -12989 -12990 12991 -12992 -12993 -12994 -12995 -12996 -12997 -12998 -12999 -13000 -13001 -13002 -13003 -13004 -13005 -13006 -13007 -13008 -13009 -13010 -13011 -13012 -13013 13014 -13015 -13016 -13017 -13018 -13019 -13020 -13021 -13022 -13023 -13024 -13025 -13026 -13027 -13028 -13029 -13030 -13031 -13032 -13033 -13034 13035 -13036 -13037 -13038 -13039 -13040 -13041 -13042 -13043 -13044 -13045 -13046 -13047 -13048 -13049 -13050 -13051 -13052 13053 -13054 -13055 -13056 -13057 -13058 -13059 -13060 -13061 -13062 -13063 -13064 -13065 -13066 -13067 -13068 -13069 -13070 -13071 13072 -13073 -13074 -13075 -13076 -13077 -13078 -13079 -13080 -13081 -13082 -13083 -13084 -13085 -13086 -13087 -13088 -13089 -13090 -13091 -13092 -13093 -13094 -13095 -13096 -13097 -13098 13099 -13100 -13101 -13102 -13103 -13104 -13105 -13106 -13107 -13108 -13109 -13110 -13111 -13112 -13113 -13114 13115 -13116 -13117 -13118 -13119 -13120 -13121 -13122 -13123 -13124 -13125 -13126 -13127 -13128 -13129 -13130 -13131 -13132 -13133 -13134 -13135 13136 -13137 -13138 -13139 -13140 -13141 -13142 -13143 -13144 -13145 -13146 -13147 -13148 -13149 -13150 -13151 -13152 -13153 -13154 -13155 -13156 -13157 -13158 -13159 -13160 13161 -13162 -13163 -13164 -13165 -13166 -13167 -13168 -13169 -13170 -13171 -13172 -13173 -13174 -13175 -13176 -13177 -13178 -13179 -13180 -13181 -13182 -13183 -13184 -13185 -13186 13187 -13188 -13189 -13190 -13191 -13192 -13193 -13194 -13195 -13196 -13197 -13198 -13199 -13200 -13201 -13202 -13203 -13204 -13205 -13206 -13207 -13208 13209 -13210 -13211 -13212 -13213 -13214 -13215 -13216 -13217 -13218 -13219 -13220 -13221 -13222 13223 -13224 -13225 -13226 -13227 -13228 -13229 -13230 -13231 -13232 -13233 -13234 -13235 -13236 -13237 -13238 -13239 -13240 -13241 -13242 -13243 -13244 -13245 -13246 -13247 -13248 -13249 -13250 -13251 -13252 13253 -13254 -13255 -13256 -13257 -13258 -13259 -13260 -13261 -13262 -13263 -13264 -13265 -13266 -13267 -13268 -13269 -13270 -13271 -13272 -13273 -13274 13275 -13276 -13277 -13278 -13279 -13280 -13281 -13282 -13283 -13284 -13285 -13286 -13287 -13288 -13289 -13290 -13291 -13292 -13293 -13294 -13295 -13296 13297 -13298 -13299 -13300 -13301 -13302 -13303 -13304 -13305 -13306 -13307 -13308 -13309 -13310 -13311 -13312 -13313 -13314 13315 -13316 -13317 -13318 -13319 -13320 -13321 -13322 -13323 -13324 -13325 -13326 -13327 -13328 -13329 -13330 -13331 -13332 -13333 -13334 -13335 -13336 13337 -13338 -13339 -13340 -13341 -13342 -13343 -13344 -13345 -13346 -13347 -13348 -13349 -13350 -13351 -13352 -13353 -13354 -13355 -13356 -13357 -13358 -13359 13360 -13361 -13362 -13363 -13364 -13365 -13366 -13367 -13368 -13369 -13370 -13371 -13372 -13373 -13374 -13375 -13376 -13377 -13378 -13379 -13380 -13381 13382 -13383 -13384 -13385 -13386 -13387 -13388 -13389 -13390 -13391 -13392 -13393 -13394 -13395 -13396 -13397 -13398 -13399 -13400 13401 -13402 -13403 -13404 -13405 -13406 -13407 -13408 -13409 -13410 -13411 -13412 -13413 -13414 -13415 -13416 -13417 -13418 -13419 -13420 -13421 -13422 13423 -13424 -13425 -13426 -13427 -13428 -13429 -13430 -13431 -13432 -13433 -13434 -13435 -13436 -13437 -13438 -13439 -13440 -13441 -13442 -13443 -13444 -13445 -13446 -13447 -13448 -13449 13450 -13451 -13452 -13453 -13454 -13455 -13456 -13457 -13458 -13459 -13460 -13461 -13462 -13463 -13464 -13465 -13466 -13467 -13468 -13469 -13470 -13471 -13472 13473 -13474 -13475 -13476 -13477 -13478 -13479 -13480 -13481 -13482 -13483 -13484 -13485 -13486 -13487 -13488 13489 -13490 -13491 -13492 -13493 -13494 -13495 -13496 -13497 -13498 -13499 -13500 -13501 -13502 -13503 -13504 -13505 -13506 -13507 -13508 -13509 -13510 13511 -13512 -13513 -13514 -13515 -13516 -13517 -13518 -13519 -13520 -13521 -13522 -13523 -13524 -13525 -13526 -13527 -13528 -13529 -13530 -13531 -13532 -13533 -13534 -13535 -13536 -13537 -13538 -13539 -13540 -13541 -13542 -13543 -13544 13545 13546 13547 13548 13549 13550 13551 13552 -13553 -13554 -13555 -13556 -13557 -13558 -13559 -13560 -13561 13562 13563 13564 13565 13566 13567 13568 13569 13570 13571 13572 13573 13574 0
OK
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) 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-3290788-1303774382/watcher-3290788-1303774382 -o /tmp/evaluation-result-3290788-1303774382/solver-3290788-1303774382 -C 2400 -W 1300 -M 7680 ./jMiniSat -sc-mode HOME/instance-3290788-1303774382.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 2.97 2.99 3.11 3/219 1915 /proc/meminfo: memFree=17813032/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 [startup+0.101479 s] /proc/loadavg: 2.97 2.99 3.11 3/219 1915 /proc/meminfo: memFree=17813032/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.200461 s] /proc/loadavg: 2.97 2.99 3.11 3/219 1915 /proc/meminfo: memFree=17813032/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300445 s] /proc/loadavg: 2.97 2.99 3.11 3/219 1915 /proc/meminfo: memFree=17813032/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700377 s] /proc/loadavg: 2.97 2.99 3.11 3/219 1915 /proc/meminfo: memFree=17813032/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50124 s] /proc/loadavg: 2.97 2.99 3.11 4/238 1935 /proc/meminfo: memFree=17638056/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 [pid=1917] ppid=1915 vsize=7467564 CPUtime=1.77 cores=5,7 /proc/1917/stat : 1917 (java) S 1915 1915 452 0 -1 4202496 94320 0 1 0 165 12 0 0 24 0 18 0 567669181 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/1917/statm: 1866891 79553 2198 9 0 1857370 0 [pid=1917/tid=1918] ppid=1915 vsize=7467564 CPUtime=1.1 cores=5,7 /proc/1917/task/1918/stat : 1918 (java) R 1915 1915 452 0 -1 4202560 59646 0 1 0 102 8 0 0 25 0 18 0 567669181 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 46912505500704 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1917/tid=1920] ppid=1915 vsize=7467564 CPUtime=0.11 cores=5,7 /proc/1917/task/1920/stat : 1920 (java) S 1915 1915 452 0 -1 4202560 8796 0 0 0 10 1 0 0 18 0 18 0 567669196 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1921] ppid=1915 vsize=7467564 CPUtime=0.11 cores=5,7 /proc/1917/task/1921/stat : 1921 (java) S 1915 1915 452 0 -1 4202560 13098 0 0 0 10 1 0 0 18 0 18 0 567669196 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1922] ppid=1915 vsize=7467564 CPUtime=0.03 cores=5,7 /proc/1917/task/1922/stat : 1922 (java) S 1915 1915 452 0 -1 4202560 4890 0 0 0 3 0 0 0 18 0 18 0 567669196 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1923] ppid=1915 vsize=7467564 CPUtime=0.02 cores=5,7 /proc/1917/task/1923/stat : 1923 (java) S 1915 1915 452 0 -1 4202560 2155 0 0 0 2 0 0 0 18 0 18 0 567669196 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1924] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1924/stat : 1924 (java) S 1915 1915 452 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 18 0 567669196 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1925] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1925/stat : 1925 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 567669196 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1926] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1926/stat : 1926 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 567669196 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1927] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1927/stat : 1927 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 567669196 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1928] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1928/stat : 1928 (java) S 1915 1915 452 0 -1 4202560 91 0 0 0 0 0 0 0 16 0 18 0 567669197 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 0 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1929] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1929/stat : 1929 (java) S 1915 1915 452 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 567669197 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1930] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1930/stat : 1930 (java) S 1915 1915 452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 567669197 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1931] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1931/stat : 1931 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000416177 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1932] ppid=1915 vsize=7467564 CPUtime=0.16 cores=5,7 /proc/1917/task/1932/stat : 1932 (java) S 1915 1915 452 0 -1 4202560 2114 0 0 0 16 0 0 0 24 0 18 0 567669199 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1933] ppid=1915 vsize=7467564 CPUtime=0.19 cores=5,7 /proc/1917/task/1933/stat : 1933 (java) S 1915 1915 452 0 -1 4202560 2311 0 0 0 19 0 0 0 24 0 18 0 567669199 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1934] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1934/stat : 1934 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1935] ppid=1915 vsize=7467564 CPUtime=0 cores=5,7 /proc/1917/task/1935/stat : 1935 (java) S 1915 1915 452 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 567669199 7646785536 79553 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.77 Current children cumulated vsize (KiB) 7476264 [startup+3.10096 s] /proc/loadavg: 2.97 2.99 3.11 4/238 1935 /proc/meminfo: memFree=17485536/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 [pid=1917] ppid=1915 vsize=7466632 CPUtime=3.57 cores=5,7 /proc/1917/stat : 1917 (java) S 1915 1915 452 0 -1 4202496 95564 0 1 0 345 12 0 0 24 0 18 0 567669181 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/1917/statm: 1866658 79586 2226 9 0 1857137 0 [pid=1917/tid=1918] ppid=1915 vsize=7466632 CPUtime=2.64 cores=5,7 /proc/1917/task/1918/stat : 1918 (java) R 1915 1915 452 0 -1 4202560 59957 0 1 0 256 8 0 0 25 0 18 0 567669181 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 46912505556530 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=1917/tid=1920] ppid=1915 vsize=7466632 CPUtime=0.11 cores=5,7 /proc/1917/task/1920/stat : 1920 (java) S 1915 1915 452 0 -1 4202560 8796 0 0 0 10 1 0 0 18 0 18 0 567669196 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1921] ppid=1915 vsize=7466632 CPUtime=0.11 cores=5,7 /proc/1917/task/1921/stat : 1921 (java) S 1915 1915 452 0 -1 4202560 13098 0 0 0 10 1 0 0 18 0 18 0 567669196 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1922] ppid=1915 vsize=7466632 CPUtime=0.03 cores=5,7 /proc/1917/task/1922/stat : 1922 (java) S 1915 1915 452 0 -1 4202560 4890 0 0 0 3 0 0 0 18 0 18 0 567669196 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1923] ppid=1915 vsize=7466632 CPUtime=0.02 cores=5,7 /proc/1917/task/1923/stat : 1923 (java) S 1915 1915 452 0 -1 4202560 2155 0 0 0 2 0 0 0 18 0 18 0 567669196 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1924] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1924/stat : 1924 (java) S 1915 1915 452 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 18 0 567669196 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1925] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1925/stat : 1925 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 567669196 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1926] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1926/stat : 1926 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 567669196 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1927] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1927/stat : 1927 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 567669196 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1928] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1928/stat : 1928 (java) S 1915 1915 452 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 18 0 567669197 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 0 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1929] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1929/stat : 1929 (java) S 1915 1915 452 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1930] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1930/stat : 1930 (java) S 1915 1915 452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1931] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1931/stat : 1931 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000416177 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1932] ppid=1915 vsize=7466632 CPUtime=0.24 cores=5,7 /proc/1917/task/1932/stat : 1932 (java) S 1915 1915 452 0 -1 4202560 2148 0 0 0 24 0 0 0 15 0 18 0 567669199 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1933] ppid=1915 vsize=7466632 CPUtime=0.36 cores=5,7 /proc/1917/task/1933/stat : 1933 (java) S 1915 1915 452 0 -1 4202560 3210 0 0 0 36 0 0 0 15 0 18 0 567669199 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1934] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1934/stat : 1934 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1935] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1935/stat : 1935 (java) S 1915 1915 452 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 567669199 7645831168 79586 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.57 Current children cumulated vsize (KiB) 7475332 [startup+6.30146 s] /proc/loadavg: 2.97 2.99 3.11 4/238 1935 /proc/meminfo: memFree=17485664/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 [pid=1917] ppid=1915 vsize=7466632 CPUtime=6.77 cores=5,7 /proc/1917/stat : 1917 (java) S 1915 1915 452 0 -1 4202496 95587 0 1 0 665 12 0 0 24 0 18 0 567669181 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/1917/statm: 1866658 79598 2226 9 0 1857137 0 [pid=1917/tid=1918] ppid=1915 vsize=7466632 CPUtime=5.83 cores=5,7 /proc/1917/task/1918/stat : 1918 (java) R 1915 1915 452 0 -1 4202560 59980 0 1 0 575 8 0 0 25 0 18 0 567669181 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 46912505556525 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1917/tid=1920] ppid=1915 vsize=7466632 CPUtime=0.11 cores=5,7 /proc/1917/task/1920/stat : 1920 (java) S 1915 1915 452 0 -1 4202560 8796 0 0 0 10 1 0 0 18 0 18 0 567669196 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1921] ppid=1915 vsize=7466632 CPUtime=0.11 cores=5,7 /proc/1917/task/1921/stat : 1921 (java) S 1915 1915 452 0 -1 4202560 13098 0 0 0 10 1 0 0 18 0 18 0 567669196 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1922] ppid=1915 vsize=7466632 CPUtime=0.03 cores=5,7 /proc/1917/task/1922/stat : 1922 (java) S 1915 1915 452 0 -1 4202560 4890 0 0 0 3 0 0 0 18 0 18 0 567669196 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1923] ppid=1915 vsize=7466632 CPUtime=0.02 cores=5,7 /proc/1917/task/1923/stat : 1923 (java) S 1915 1915 452 0 -1 4202560 2155 0 0 0 2 0 0 0 18 0 18 0 567669196 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1924] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1924/stat : 1924 (java) S 1915 1915 452 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 18 0 567669196 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1925] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1925/stat : 1925 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 567669196 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1926] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1926/stat : 1926 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 567669196 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1927] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1927/stat : 1927 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 567669196 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1928] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1928/stat : 1928 (java) S 1915 1915 452 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 18 0 567669197 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 0 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1929] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1929/stat : 1929 (java) S 1915 1915 452 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1930] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1930/stat : 1930 (java) S 1915 1915 452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1931] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1931/stat : 1931 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000416177 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1932] ppid=1915 vsize=7466632 CPUtime=0.25 cores=5,7 /proc/1917/task/1932/stat : 1932 (java) S 1915 1915 452 0 -1 4202560 2148 0 0 0 25 0 0 0 15 0 18 0 567669199 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1933] ppid=1915 vsize=7466632 CPUtime=0.37 cores=5,7 /proc/1917/task/1933/stat : 1933 (java) S 1915 1915 452 0 -1 4202560 3210 0 0 0 37 0 0 0 16 0 18 0 567669199 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1934] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1934/stat : 1934 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1935] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1935/stat : 1935 (java) S 1915 1915 452 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 567669199 7645831168 79598 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.77 ################ # More data... # ################ [pid=1917/tid=1927] ppid=1915 vsize=7466632 CPUtime=0.52 cores=5,7 /proc/1917/task/1927/stat : 1927 (java) S 1915 1915 452 0 -1 4202560 48026 0 0 0 47 5 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1928] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1928/stat : 1928 (java) S 1915 1915 452 0 -1 4202560 1017 0 0 0 0 0 0 0 15 0 18 0 567669197 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 0 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1929] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1929/stat : 1929 (java) S 1915 1915 452 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1930] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1930/stat : 1930 (java) S 1915 1915 452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1931] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1931/stat : 1931 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000416177 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1932] ppid=1915 vsize=7466632 CPUtime=0.28 cores=5,7 /proc/1917/task/1932/stat : 1932 (java) S 1915 1915 452 0 -1 4202560 2155 0 0 0 28 0 0 0 15 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1933] ppid=1915 vsize=7466632 CPUtime=0.38 cores=5,7 /proc/1917/task/1933/stat : 1933 (java) S 1915 1915 452 0 -1 4202560 3211 0 0 0 38 0 0 0 16 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1934] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1934/stat : 1934 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1935] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1935/stat : 1935 (java) S 1915 1915 452 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 549.4 Current children cumulated vsize (KiB) 7475332 [startup+548.301 s] /proc/loadavg: 2.29 2.79 2.98 3/214 1973 /proc/meminfo: memFree=15958904/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 [pid=1917] ppid=1915 vsize=7466632 CPUtime=550.2 cores=5,7 /proc/1917/stat : 1917 (java) S 1915 1915 452 0 -1 4202496 567241 0 1 0 54934 86 0 0 24 0 18 0 567669181 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/1917/statm: 1866658 549728 2231 9 0 1857137 0 [pid=1917/tid=1918] ppid=1915 vsize=7466632 CPUtime=546.4 cores=5,7 /proc/1917/task/1918/stat : 1918 (java) R 1915 1915 452 0 -1 4202560 251326 0 1 0 54593 47 0 0 25 0 18 0 567669181 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 46912505556182 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1917/tid=1920] ppid=1915 vsize=7466632 CPUtime=0.87 cores=5,7 /proc/1917/task/1920/stat : 1920 (java) S 1915 1915 452 0 -1 4202560 78176 0 0 0 76 11 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1921] ppid=1915 vsize=7466632 CPUtime=0.32 cores=5,7 /proc/1917/task/1921/stat : 1921 (java) S 1915 1915 452 0 -1 4202560 32819 0 0 0 30 2 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1922] ppid=1915 vsize=7466632 CPUtime=0.21 cores=5,7 /proc/1917/task/1922/stat : 1922 (java) S 1915 1915 452 0 -1 4202560 23408 0 0 0 19 2 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1923] ppid=1915 vsize=7466632 CPUtime=0.51 cores=5,7 /proc/1917/task/1923/stat : 1923 (java) S 1915 1915 452 0 -1 4202560 58564 0 0 0 45 6 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1924] ppid=1915 vsize=7466632 CPUtime=0.11 cores=5,7 /proc/1917/task/1924/stat : 1924 (java) S 1915 1915 452 0 -1 4202560 11911 0 0 0 9 2 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1925] ppid=1915 vsize=7466632 CPUtime=0.31 cores=5,7 /proc/1917/task/1925/stat : 1925 (java) S 1915 1915 452 0 -1 4202560 38979 0 0 0 27 4 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1926] ppid=1915 vsize=7466632 CPUtime=0.19 cores=5,7 /proc/1917/task/1926/stat : 1926 (java) S 1915 1915 452 0 -1 4202560 16481 0 0 0 17 2 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1927] ppid=1915 vsize=7466632 CPUtime=0.52 cores=5,7 /proc/1917/task/1927/stat : 1927 (java) S 1915 1915 452 0 -1 4202560 48026 0 0 0 47 5 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1928] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1928/stat : 1928 (java) S 1915 1915 452 0 -1 4202560 1017 0 0 0 0 0 0 0 15 0 18 0 567669197 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 0 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1929] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1929/stat : 1929 (java) S 1915 1915 452 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1930] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1930/stat : 1930 (java) S 1915 1915 452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1931] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1931/stat : 1931 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000416177 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1932] ppid=1915 vsize=7466632 CPUtime=0.28 cores=5,7 /proc/1917/task/1932/stat : 1932 (java) S 1915 1915 452 0 -1 4202560 2155 0 0 0 28 0 0 0 15 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1933] ppid=1915 vsize=7466632 CPUtime=0.38 cores=5,7 /proc/1917/task/1933/stat : 1933 (java) S 1915 1915 452 0 -1 4202560 3211 0 0 0 38 0 0 0 16 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1934] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1934/stat : 1934 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1935] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1935/stat : 1935 (java) S 1915 1915 452 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 550.2 Current children cumulated vsize (KiB) 7475332 [startup+548.701 s] /proc/loadavg: 2.29 2.79 2.98 3/214 1973 /proc/meminfo: memFree=15958904/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 [pid=1917] ppid=1915 vsize=7466632 CPUtime=550.6 cores=5,7 /proc/1917/stat : 1917 (java) S 1915 1915 452 0 -1 4202496 567241 0 1 0 54974 86 0 0 24 0 18 0 567669181 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/1917/statm: 1866658 549728 2231 9 0 1857137 0 [pid=1917/tid=1918] ppid=1915 vsize=7466632 CPUtime=546.8 cores=5,7 /proc/1917/task/1918/stat : 1918 (java) R 1915 1915 452 0 -1 4202560 251326 0 1 0 54633 47 0 0 25 0 18 0 567669181 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 46912505556060 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1917/tid=1920] ppid=1915 vsize=7466632 CPUtime=0.87 cores=5,7 /proc/1917/task/1920/stat : 1920 (java) S 1915 1915 452 0 -1 4202560 78176 0 0 0 76 11 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1921] ppid=1915 vsize=7466632 CPUtime=0.32 cores=5,7 /proc/1917/task/1921/stat : 1921 (java) S 1915 1915 452 0 -1 4202560 32819 0 0 0 30 2 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1922] ppid=1915 vsize=7466632 CPUtime=0.21 cores=5,7 /proc/1917/task/1922/stat : 1922 (java) S 1915 1915 452 0 -1 4202560 23408 0 0 0 19 2 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1923] ppid=1915 vsize=7466632 CPUtime=0.51 cores=5,7 /proc/1917/task/1923/stat : 1923 (java) S 1915 1915 452 0 -1 4202560 58564 0 0 0 45 6 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1924] ppid=1915 vsize=7466632 CPUtime=0.11 cores=5,7 /proc/1917/task/1924/stat : 1924 (java) S 1915 1915 452 0 -1 4202560 11911 0 0 0 9 2 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1925] ppid=1915 vsize=7466632 CPUtime=0.31 cores=5,7 /proc/1917/task/1925/stat : 1925 (java) S 1915 1915 452 0 -1 4202560 38979 0 0 0 27 4 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1926] ppid=1915 vsize=7466632 CPUtime=0.19 cores=5,7 /proc/1917/task/1926/stat : 1926 (java) S 1915 1915 452 0 -1 4202560 16481 0 0 0 17 2 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1927] ppid=1915 vsize=7466632 CPUtime=0.52 cores=5,7 /proc/1917/task/1927/stat : 1927 (java) S 1915 1915 452 0 -1 4202560 48026 0 0 0 47 5 0 0 16 0 18 0 567669196 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1928] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1928/stat : 1928 (java) S 1915 1915 452 0 -1 4202560 1017 0 0 0 0 0 0 0 15 0 18 0 567669197 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 0 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1929] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1929/stat : 1929 (java) S 1915 1915 452 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1930] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1930/stat : 1930 (java) S 1915 1915 452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1931] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1931/stat : 1931 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000416177 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1932] ppid=1915 vsize=7466632 CPUtime=0.28 cores=5,7 /proc/1917/task/1932/stat : 1932 (java) S 1915 1915 452 0 -1 4202560 2155 0 0 0 28 0 0 0 15 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1933] ppid=1915 vsize=7466632 CPUtime=0.38 cores=5,7 /proc/1917/task/1933/stat : 1933 (java) S 1915 1915 452 0 -1 4202560 3211 0 0 0 38 0 0 0 16 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1934] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1934/stat : 1934 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1935] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1935/stat : 1935 (java) S 1915 1915 452 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 18 0 567669199 7645831168 549728 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 550.6 Current children cumulated vsize (KiB) 7475332 [startup+549.101 s] /proc/loadavg: 2.29 2.79 2.98 3/214 1973 /proc/meminfo: memFree=15958904/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 [pid=1917] ppid=1915 vsize=7466632 CPUtime=551.04 cores=5,7 /proc/1917/stat : 1917 (java) S 1915 1915 452 0 -1 4202496 567293 0 1 0 55013 91 0 0 24 0 18 0 567669181 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/1917/statm: 1866658 549777 2245 9 0 1857137 0 [pid=1917/tid=1918] ppid=1915 vsize=7466632 CPUtime=547.08 cores=5,7 /proc/1917/task/1918/stat : 1918 (java) R 1915 1915 452 0 -1 4202560 251333 0 1 0 54657 51 0 0 18 0 18 0 567669181 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000419147 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1917/tid=1920] ppid=1915 vsize=7466632 CPUtime=0.87 cores=5,7 /proc/1917/task/1920/stat : 1920 (java) S 1915 1915 452 0 -1 4202560 78176 0 0 0 76 11 0 0 16 0 18 0 567669196 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1921] ppid=1915 vsize=7466632 CPUtime=0.32 cores=5,7 /proc/1917/task/1921/stat : 1921 (java) S 1915 1915 452 0 -1 4202560 32819 0 0 0 30 2 0 0 16 0 18 0 567669196 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1922] ppid=1915 vsize=7466632 CPUtime=0.21 cores=5,7 /proc/1917/task/1922/stat : 1922 (java) S 1915 1915 452 0 -1 4202560 23408 0 0 0 19 2 0 0 16 0 18 0 567669196 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1923] ppid=1915 vsize=7466632 CPUtime=0.51 cores=5,7 /proc/1917/task/1923/stat : 1923 (java) S 1915 1915 452 0 -1 4202560 58564 0 0 0 45 6 0 0 16 0 18 0 567669196 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1924] ppid=1915 vsize=7466632 CPUtime=0.11 cores=5,7 /proc/1917/task/1924/stat : 1924 (java) S 1915 1915 452 0 -1 4202560 11911 0 0 0 9 2 0 0 16 0 18 0 567669196 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1925] ppid=1915 vsize=7466632 CPUtime=0.31 cores=5,7 /proc/1917/task/1925/stat : 1925 (java) S 1915 1915 452 0 -1 4202560 38979 0 0 0 27 4 0 0 16 0 18 0 567669196 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1926] ppid=1915 vsize=7466632 CPUtime=0.19 cores=5,7 /proc/1917/task/1926/stat : 1926 (java) S 1915 1915 452 0 -1 4202560 16481 0 0 0 17 2 0 0 16 0 18 0 567669196 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1927] ppid=1915 vsize=7466632 CPUtime=0.52 cores=5,7 /proc/1917/task/1927/stat : 1927 (java) S 1915 1915 452 0 -1 4202560 48026 0 0 0 47 5 0 0 16 0 18 0 567669196 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1928] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1928/stat : 1928 (java) S 1915 1915 452 0 -1 4202560 1017 0 0 0 0 0 0 0 15 0 18 0 567669197 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 0 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1929] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1929/stat : 1929 (java) S 1915 1915 452 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1930] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1930/stat : 1930 (java) S 1915 1915 452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 567669197 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1931] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1931/stat : 1931 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000416177 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1932] ppid=1915 vsize=7466632 CPUtime=0.34 cores=5,7 /proc/1917/task/1932/stat : 1932 (java) S 1915 1915 452 0 -1 4202560 2178 0 0 0 34 0 0 0 16 0 18 0 567669199 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 5 0 0 0 [pid=1917/tid=1933] ppid=1915 vsize=7466632 CPUtime=0.47 cores=5,7 /proc/1917/task/1933/stat : 1933 (java) S 1915 1915 452 0 -1 4202560 3233 0 0 0 47 0 0 0 15 0 18 0 567669199 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1934] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1934/stat : 1934 (java) S 1915 1915 452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 567669199 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000408473 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 [pid=1917/tid=1935] ppid=1915 vsize=7466632 CPUtime=0 cores=5,7 /proc/1917/task/1935/stat : 1935 (java) S 1915 1915 452 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 18 0 567669199 7645831168 549777 33554432000 1073741824 1073778376 140737081881040 18446744073709551615 216000409088 0 4 0 16800975 18446604455800318784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 551.04 Current children cumulated vsize (KiB) 7475332 [startup+549.201 s] /proc/loadavg: 2.26 2.77 2.98 3/197 1973 /proc/meminfo: memFree=17954888/32950940 swapFree=67111528/67111528 [pid=1915] ppid=1913 vsize=8700 CPUtime=0 cores=5,7 /proc/1915/stat : 1915 (jMiniSat) S 1913 1915 452 0 -1 4202496 348 233 0 0 0 0 0 0 21 0 1 0 567669180 8908800 249 33554432000 4194304 4922060 140735120163312 18446744073709551615 215988411525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1915/statm: 2175 249 209 178 0 68 0 [pid=1917] ppid=1915 vsize=0 CPUtime=551.14 cores=5,7 /proc/1917/stat : 1917 (java) R 1915 1915 452 0 -1 4203524 567301 0 1 0 55013 101 0 0 18 0 1 0 567669181 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/1917/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 551.14 Current children cumulated vsize (KiB) 8700 Child status: 10 Real time (s): 549.21 CPU time (s): 551.154 CPU user time (s): 550.136 CPU system time (s): 1.01784 CPU usage (%): 100.354 Max. virtual memory (cumulated for all children) (KiB): 7478440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 550.136 system time used= 1.01784 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 567889 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12724 involuntary context switches= 10339 runsolver used 0.989849 second user time and 2.14167 second system time The end
Begin job on node117 at 2011-04-26 01:33:04 IDJOB=3290788 IDBENCH=83447 IDSOLVER=1680 FILE ID=node117/3290788-1303774382 RUNJOBID= node117-1303771859-1257 PBS_JOBID= 13157164 Free space on /tmp= 71472 MiB SOLVER NAME= jMiniSat 2011 BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf COMMAND LINE= ./jMiniSat -sc-mode BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290788-1303774382/watcher-3290788-1303774382 -o /tmp/evaluation-result-3290788-1303774382/solver-3290788-1303774382 -C 2400 -W 1300 -M 7680 ./jMiniSat -sc-mode HOME/instance-3290788-1303774382.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84 RANDOM SEED=84253486 node117.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.849 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.69 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.74 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.849 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.75 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.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 17813312 kB Buffers: 2331308 kB Cached: 11281468 kB SwapCached: 0 kB Active: 7260892 kB Inactive: 7311120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 17813312 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 63840 kB Writeback: 0 kB AnonPages: 958412 kB Mapped: 23300 kB Slab: 498832 kB PageTables: 7164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 2425800 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= 71472 MiB End job on node117 at 2011-04-26 01:42:13