0.32/0.37 c +------------------------------+
0.32/0.37 c | gNovelty+, version 1.0 |
0.32/0.37 c +------------------------------+
0.32/0.37 c gnovelty+ -h for help
0.32/0.37 c
2550.47/670.50 s SATISFIABLE
2550.47/670.50 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 0
2550.47/670.50 c Done in 1767.200000 seconds
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777564-1243448980/watcher-1777564-1243448980 -o /tmp/evaluation-result-1777564-1243448980/solver-1777564-1243448980 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777564-1243448980.cnf 1506058420 4
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.16 4.22 4.14 3/96 3392
/proc/meminfo: memFree=217824/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=509232 CPUtime=0
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 1138 0 0 0 0 0 0 0 18 0 1 0 1109562049 521453568 1095 4294967295 134512640 135680988 3212917600 3212916864 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/3392/statm: 127308 1105 99 286 0 127020 0
[startup+0.087986 s]
/proc/loadavg: 4.16 4.22 4.14 3/96 3392
/proc/meminfo: memFree=217824/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=517048 CPUtime=0.09
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 10137 0 0 0 6 3 0 0 18 0 1 0 1109562049 529457152 10094 4294967295 134512640 135680988 3212917600 3212915708 134958286 0 0 0 0 0 0 0 17 2 0 0 0
/proc/3392/statm: 129262 10094 99 286 0 128974 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 517048
[startup+0.118013 s]
/proc/loadavg: 4.16 4.22 4.14 3/96 3392
/proc/meminfo: memFree=217824/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=517044 CPUtime=0.12
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 14220 0 0 0 6 6 0 0 18 0 1 0 1109562049 529453056 14177 4294967295 134512640 135680988 3212917600 3212916864 134537905 0 0 0 0 0 0 0 17 2 0 0 0
/proc/3392/statm: 129261 14187 99 286 0 128973 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 517044
[startup+0.317966 s]
/proc/loadavg: 4.16 4.22 4.14 3/96 3392
/proc/meminfo: memFree=217824/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=517044 CPUtime=0.32
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 20328 0 0 0 23 9 0 0 18 0 1 0 1109562049 529453056 20284 4294967295 134512640 135680988 3212917600 3212916864 134538724 0 0 0 0 0 0 0 17 2 0 0 0
/proc/3392/statm: 129261 20284 99 286 0 128973 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 517044
[startup+0.717938 s]
/proc/loadavg: 4.16 4.22 4.14 3/96 3392
/proc/meminfo: memFree=217824/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=1.64
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 131 33 0 0 17 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 554012
[startup+1.51789 s]
/proc/loadavg: 4.16 4.22 4.14 2/100 3396
/proc/meminfo: memFree=132432/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=4.76
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 399 77 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=1.09
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 92 17 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592492 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=1.06
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 89 17 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=1.1
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 93 17 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 554012
[startup+3.11779 s]
/proc/loadavg: 4.16 4.22 4.14 5/100 3396
/proc/meminfo: memFree=132232/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=11.02
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 888 214 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=2.62
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 214 48 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592492 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=2.63
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 217 46 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=2.66
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 211 55 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (KiB) 554012
[startup+6.31748 s]
/proc/loadavg: 4.15 4.22 4.13 3/100 3397
/proc/meminfo: memFree=132060/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=23.2
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 1845 475 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=5.68
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 458 110 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=5.76
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 456 120 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=5.75
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 453 122 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.2
Current children cumulated vsize (KiB) 554012
[startup+12.7169 s]
/proc/loadavg: 4.22 4.23 4.14 4/100 3397
/proc/meminfo: memFree=131844/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=47.83
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 3678 1105 0 0 16 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=11.92
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 931 261 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=11.99
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 912 287 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=11.87
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 909 278 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.83
Current children cumulated vsize (KiB) 554012
[startup+25.5157 s]
/proc/loadavg: 4.39 4.27 4.15 5/100 3399
/proc/meminfo: memFree=131908/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=96.95
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 7350 2345 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=24.2
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 1860 560 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=24.37
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 1850 587 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=24.2
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 1825 595 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121972 134533321 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 96.95
Current children cumulated vsize (KiB) 554012
[startup+51.1136 s]
/proc/loadavg: 4.12 4.21 4.14 5/100 3607
/proc/meminfo: memFree=131388/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=194.52
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 14490 4962 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=48.69
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 3676 1193 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=48.87
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 3650 1237 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=48.28
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 3563 1265 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 194.52
Current children cumulated vsize (KiB) 554012
[startup+102.319 s]
/proc/loadavg: 4.14 4.20 4.13 5/100 3798
/proc/meminfo: memFree=131084/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=390.08
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 28533 10475 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=97.53
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 7157 2596 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592492 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=97.95
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 7122 2673 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=97.06
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 7073 2633 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 390.08
Current children cumulated vsize (KiB) 554012
[startup+162.315 s]
/proc/loadavg: 4.21 4.19 4.13 5/100 3985
/proc/meminfo: memFree=130712/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=619.42
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 44590 17352 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916796 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=155.05
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 11235 4270 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=155.33
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 11150 4383 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=154.39
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 10997 4442 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 619.42
Current children cumulated vsize (KiB) 554012
[startup+222.31 s]
/proc/loadavg: 4.33 4.20 4.14 5/100 4172
/proc/meminfo: memFree=130620/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=848.33
/proc/3392/stat : 3392 (gnovelty+) S 3390 3392 10015 0 -1 4202496 22080 0 0 0 60449 24384 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=212.36
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 15272 5964 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=212.92
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 15237 6055 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=211.25
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 14828 6297 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 848.33
Current children cumulated vsize (KiB) 554012
[startup+282.305 s]
/proc/loadavg: 4.16 4.17 4.12 5/100 4362
/proc/meminfo: memFree=130852/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=1076.2
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 75821 31799 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=269.81
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 19231 7750 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=269.86
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 19033 7953 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 29950 13802 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1759.47
Current children cumulated vsize (KiB) 554012
[startup+522.314 s]
/proc/loadavg: 3.78 4.00 4.06 5/100 5118
/proc/meminfo: memFree=130984/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=1987.81
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 137958 60823 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=497.95
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 34952 14843 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=498.08
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 34774 15034 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=493.96
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 33676 15720 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1987.81
Current children cumulated vsize (KiB) 554012
[startup+582.31 s]
/proc/loadavg: 4.04 4.03 4.07 5/100 5307
/proc/meminfo: memFree=130992/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2217.11
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 153930 67781 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=554.77
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 38877 16600 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592492 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=555.46
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 38852 16694 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=551.63
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 37654 17509 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2217.11
Current children cumulated vsize (KiB) 554012
[startup+642.315 s]
/proc/loadavg: 4.04 4.02 4.06 5/100 5496
/proc/meminfo: memFree=130760/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2443.52
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 169593 74759 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=611.61
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 42855 18306 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=612.52
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 42796 18456 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=608.01
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 41466 19335 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2443.52
Current children cumulated vsize (KiB) 554012
Solver just ended. Dumping a history of the last processes samples
[startup+652.714 s]
/proc/loadavg: 4.03 4.02 4.06 5/100 5496
/proc/meminfo: memFree=130768/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2483.13
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 172229 76084 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=621.57
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 43544 18613 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592492 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=622.48
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 43450 18798 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=617.85
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 42085 19700 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2483.13
Current children cumulated vsize (KiB) 554012
[startup+659.113 s]
/proc/loadavg: 4.03 4.02 4.06 7/100 5496
/proc/meminfo: memFree=130816/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2507.66
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 173874 76892 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=627.74
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 43983 18791 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957426 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=628.47
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 43836 19011 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=624
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 42505 19895 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2507.66
Current children cumulated vsize (KiB) 554012
[startup+665.513 s]
/proc/loadavg: 4.02 4.02 4.06 5/100 5496
/proc/meminfo: memFree=130816/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2531.83
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 175508 77675 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=633.73
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 44384 18989 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=634.52
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 44273 19179 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=630.04
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 42877 20127 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2531.83
Current children cumulated vsize (KiB) 554012
[startup+668.712 s]
/proc/loadavg: 4.02 4.02 4.06 5/100 5496
/proc/meminfo: memFree=130816/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2544.05
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 176305 78100 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=636.77
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 44592 19085 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=637.59
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 44468 19291 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=633.1
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 43067 20243 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121836 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2544.05
Current children cumulated vsize (KiB) 554012
[startup+669.512 s]
/proc/loadavg: 4.02 4.02 4.06 5/100 5496
/proc/meminfo: memFree=130816/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2547.03
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 176514 78189 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=637.52
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 44640 19112 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=638.33
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 44522 19311 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=633.86
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 43122 20264 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2547.03
Current children cumulated vsize (KiB) 554012
[startup+669.912 s]
/proc/loadavg: 4.02 4.02 4.06 5/100 5496
/proc/meminfo: memFree=130816/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2548.53
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 176611 78242 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=637.89
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 44665 19124 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=638.73
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 44546 19327 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=634.2
/proc/3392/task/3396/stat : 3396 (gnovelty+) S 3390 3392 10015 0 -1 4202560 399 0 0 0 43144 20276 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2548.53
Current children cumulated vsize (KiB) 554012
[startup+670.312 s]
/proc/loadavg: 4.02 4.02 4.06 5/100 5496
/proc/meminfo: memFree=130816/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2550.1
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 176712 78298 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=638.29
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 44692 19137 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=639.12
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 44572 19340 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=634.6
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 43168 20292 0 0 15 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2550.1
Current children cumulated vsize (KiB) 554012
[startup+670.412 s]
/proc/loadavg: 4.02 4.02 4.06 5/100 5496
/proc/meminfo: memFree=130816/3368532 swapFree=1953788/1959888
[pid=3392] ppid=3390 vsize=554012 CPUtime=2550.47
/proc/3392/stat : 3392 (gnovelty+) R 3390 3392 10015 0 -1 4202496 22080 0 0 0 176733 78314 0 0 15 0 4 0 1109562049 567308288 22036 4294967295 134512640 135680988 3212917600 3212916844 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/3392/statm: 138503 22036 103 286 0 138215 0
[pid=3392/tid=3394] ppid=3390 vsize=554012 CPUtime=638.39
/proc/3392/task/3394/stat : 3394 (gnovelty+) R 3390 3392 10015 0 -1 4202560 387 0 0 0 44699 19140 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3075592540 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3392/tid=3395] ppid=3390 vsize=554012 CPUtime=639.21
/proc/3392/task/3395/stat : 3395 (gnovelty+) R 3390 3392 10015 0 -1 4202560 401 0 0 0 44576 19345 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3064357212 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3392/tid=3396] ppid=3390 vsize=554012 CPUtime=634.69
/proc/3392/task/3396/stat : 3396 (gnovelty+) R 3390 3392 10015 0 -1 4202560 399 0 0 0 43173 20296 0 0 16 0 4 0 1109562087 567308288 22036 4294967295 134512640 135680988 3212917600 3053121884 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2550.47
Current children cumulated vsize (KiB) 554012
Child status: 10
Real time (s): 670.506
CPU time (s): 2550.81
CPU user time (s): 1767.53
CPU system time (s): 783.28
CPU usage (%): 380.43
Max. virtual memory (cumulated for all children) (KiB): 554012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.53
system time used= 783.28
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38627967
involuntary context switches= 84687
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-27 20:29:40
IDJOB=1777564
IDBENCH=70370
IDSOLVER=617
FILE ID=/1777564-1243448980
PBS_JOBID=
Free space on /tmp= 6476 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777564-1243448980/watcher-1777564-1243448980 -o /tmp/evaluation-result-1777564-1243448980/solver-1777564-1243448980 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777564-1243448980.cnf 1506058420 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= c210a2e606daadbb1d4386048a71e2b1
RANDOM SEED= 1506058420
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.41
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.12
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 217824 kB
Buffers: 47064 kB
Cached: 2932264 kB
SwapCached: 2256 kB
Active: 1722520 kB
Inactive: 1266176 kB
HighTotal: 2489216 kB
HighFree: 87092 kB
LowTotal: 879316 kB
LowFree: 130732 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 2240 kB
Writeback: 0 kB
AnonPages: 8388 kB
Mapped: 3184 kB
Slab: 150936 kB
SReclaimable: 137484 kB
SUnreclaim: 13452 kB
PageTables: 484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88472 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6476 MiB
End job on at 2009-05-27 20:40:50