Trace number 3290512

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
jMiniSat 2011SAT 817.515 815.448

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

0.00/0.14	c This is jMiniSat version 1.0.
817.10/815.18	s SATISFIABLE
817.10/815.18	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 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290512-1303774326/watcher-3290512-1303774326 -o /tmp/evaluation-result-3290512-1303774326/solver-3290512-1303774326 -C 2400 -W 1300 -M 7680 ./jMiniSat -sc-mode HOME/instance-3290512-1303774326.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.95 4.03 3.88 5/220 23641
/proc/meminfo: memFree=12766176/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0

[startup+0.0205041 s]
/proc/loadavg: 3.95 4.03 3.88 5/220 23641
/proc/meminfo: memFree=12766176/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10049 s]
/proc/loadavg: 3.95 4.03 3.88 5/220 23641
/proc/meminfo: memFree=12766176/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300396 s]
/proc/loadavg: 3.95 4.03 3.88 5/220 23641
/proc/meminfo: memFree=12766176/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70032 s]
/proc/loadavg: 3.95 4.03 3.88 5/220 23641
/proc/meminfo: memFree=12766176/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5012 s]
/proc/loadavg: 3.95 4.03 3.88 4/239 23661
/proc/meminfo: memFree=12666204/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
[pid=23643] ppid=23641 vsize=7470816 CPUtime=1.96 cores=0,2
/proc/23643/stat : 23643 (java) S 23641 23641 22591 0 -1 4202496 33018 0 1 0 191 5 0 0 22 0 18 0 469848310 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23643/statm: 1867704 29433 2207 9 0 1858183 0
[pid=23643/tid=23645] ppid=23641 vsize=7470816 CPUtime=1.41 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23641 23641 22591 0 -1 4202560 28204 0 1 0 137 4 0 0 19 0 18 0 469848311 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 46912505580666 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23643/tid=23646] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23646/stat : 23646 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 469848318 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23647] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23647/stat : 23647 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23648] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23648/stat : 23648 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23649] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23649/stat : 23649 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23650] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23650/stat : 23650 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23651] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23651/stat : 23651 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23652] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23652/stat : 23652 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23653] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23653/stat : 23653 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23654] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (java) S 23641 23641 22591 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 469848319 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 0 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23655] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23655/stat : 23655 (java) S 23641 23641 22591 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 469848320 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23656] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23656/stat : 23656 (java) S 23641 23641 22591 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 469848320 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23657] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23657/stat : 23657 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738228657 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23658] ppid=23641 vsize=7470816 CPUtime=0.27 cores=0,2
/proc/23643/task/23658/stat : 23658 (java) S 23641 23641 22591 0 -1 4202560 1104 0 0 0 27 0 0 0 16 0 18 0 469848322 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23659] ppid=23641 vsize=7470816 CPUtime=0.26 cores=0,2
/proc/23643/task/23659/stat : 23659 (java) S 23641 23641 22591 0 -1 4202560 2567 0 0 0 26 0 0 0 20 0 18 0 469848322 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23660] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23660/stat : 23660 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23661] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (java) S 23641 23641 22591 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 469848322 7650115584 29433 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 7479516

[startup+3.10092 s]
/proc/loadavg: 3.95 4.03 3.88 7/262 23690
/proc/meminfo: memFree=12606756/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
[pid=23643] ppid=23641 vsize=7470816 CPUtime=3.63 cores=0,2
/proc/23643/stat : 23643 (java) S 23641 23641 22591 0 -1 4202496 40894 0 1 0 356 7 0 0 22 0 18 0 469848310 7650115584 37309 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23643/statm: 1867704 37309 2211 9 0 1858183 0
[pid=23643/tid=23645] ppid=23641 vsize=7470816 CPUtime=3.01 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23641 23641 22591 0 -1 4202560 36069 0 1 0 295 6 0 0 24 0 18 0 469848311 7650115584 37309 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23643/tid=23646] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23646/stat : 23646 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 469848318 7650115584 37309 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23647] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23647/stat : 23647 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 37309 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23648] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23648/stat : 23648 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 37309 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23649] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23649/stat : 23649 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23650] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23650/stat : 23650 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23651] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23651/stat : 23651 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23652] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23652/stat : 23652 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23653] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23653/stat : 23653 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23654] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (java) S 23641 23641 22591 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 469848319 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 0 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23655] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23655/stat : 23655 (java) S 23641 23641 22591 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 469848320 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23656] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23656/stat : 23656 (java) S 23641 23641 22591 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 469848320 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23657] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23657/stat : 23657 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738228657 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23658] ppid=23641 vsize=7470816 CPUtime=0.28 cores=0,2
/proc/23643/task/23658/stat : 23658 (java) S 23641 23641 22591 0 -1 4202560 1104 0 0 0 28 0 0 0 15 0 18 0 469848322 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23659] ppid=23641 vsize=7470816 CPUtime=0.32 cores=0,2
/proc/23643/task/23659/stat : 23659 (java) S 23641 23641 22591 0 -1 4202560 2578 0 0 0 32 0 0 0 15 0 18 0 469848322 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23660] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23660/stat : 23660 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23661] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (java) S 23641 23641 22591 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 469848322 7650115584 37310 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 7479516

[startup+6.30131 s]
/proc/loadavg: 3.95 4.03 3.88 5/262 23690
/proc/meminfo: memFree=12492624/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
[pid=23643] ppid=23641 vsize=7470816 CPUtime=6.83 cores=0,2
/proc/23643/stat : 23643 (java) S 23641 23641 22591 0 -1 4202496 53840 0 1 0 674 9 0 0 22 0 18 0 469848310 7650115584 50255 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23643/statm: 1867704 50255 2211 9 0 1858183 0
[pid=23643/tid=23645] ppid=23641 vsize=7470816 CPUtime=6.22 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23641 23641 22591 0 -1 4202560 49015 0 1 0 613 9 0 0 25 0 18 0 469848311 7650115584 50255 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 46912505582654 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23643/tid=23646] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23646/stat : 23646 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 469848318 7650115584 50255 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23647] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23647/stat : 23647 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 50255 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23648] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23648/stat : 23648 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 50255 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23649] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23649/stat : 23649 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 50255 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23650] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23650/stat : 23650 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 50255 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23651] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23651/stat : 23651 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 50255 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23652] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23652/stat : 23652 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23653] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23653/stat : 23653 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848318 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23654] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (java) S 23641 23641 22591 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 469848319 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 0 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23655] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23655/stat : 23655 (java) S 23641 23641 22591 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 469848320 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23656] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23656/stat : 23656 (java) S 23641 23641 22591 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 469848320 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23657] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23657/stat : 23657 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738228657 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23658] ppid=23641 vsize=7470816 CPUtime=0.29 cores=0,2
/proc/23643/task/23658/stat : 23658 (java) S 23641 23641 22591 0 -1 4202560 1104 0 0 0 29 0 0 0 15 0 18 0 469848322 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23659] ppid=23641 vsize=7470816 CPUtime=0.32 cores=0,2
/proc/23643/task/23659/stat : 23659 (java) S 23641 23641 22591 0 -1 4202560 2578 0 0 0 32 0 0 0 15 0 18 0 469848322 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23660] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23660/stat : 23660 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23661] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (java) S 23641 23641 22591 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 469848322 7650115584 50259 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.83

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

[pid=23643/tid=23657] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23657/stat : 23657 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738228657 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23658] ppid=23641 vsize=7470816 CPUtime=0.29 cores=0,2
/proc/23643/task/23658/stat : 23658 (java) S 23641 23641 22591 0 -1 4202560 1109 0 0 0 29 0 0 0 15 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23659] ppid=23641 vsize=7470816 CPUtime=0.35 cores=0,2
/proc/23643/task/23659/stat : 23659 (java) S 23641 23641 22591 0 -1 4202560 2580 0 0 0 35 0 0 0 15 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23660] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23660/stat : 23660 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23661] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (java) S 23641 23641 22591 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 814.7
Current children cumulated vsize (KiB) 7479516

[startup+814.302 s]
/proc/loadavg: 3.00 3.07 3.36 5/238 23961
/proc/meminfo: memFree=12803172/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
[pid=23643] ppid=23641 vsize=7470816 CPUtime=816.3 cores=0,2
/proc/23643/stat : 23643 (java) S 23641 23641 22591 0 -1 4202496 286802 0 1 0 81587 43 0 0 22 0 18 0 469848310 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23643/statm: 1867704 269047 2230 9 0 1858183 0
[pid=23643/tid=23645] ppid=23641 vsize=7470816 CPUtime=812.66 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23641 23641 22591 0 -1 4202560 74547 0 1 0 81250 16 0 0 25 0 18 0 469848311 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 46912505580666 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23643/tid=23646] ppid=23641 vsize=7470816 CPUtime=0.35 cores=0,2
/proc/23643/task/23646/stat : 23646 (java) S 23641 23641 22591 0 -1 4202560 24830 0 0 0 32 3 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23647] ppid=23641 vsize=7470816 CPUtime=0.23 cores=0,2
/proc/23643/task/23647/stat : 23647 (java) S 23641 23641 22591 0 -1 4202560 14379 0 0 0 22 1 0 0 16 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23648] ppid=23641 vsize=7470816 CPUtime=0.33 cores=0,2
/proc/23643/task/23648/stat : 23648 (java) S 23641 23641 22591 0 -1 4202560 28883 0 0 0 30 3 0 0 16 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23649] ppid=23641 vsize=7470816 CPUtime=0.4 cores=0,2
/proc/23643/task/23649/stat : 23649 (java) S 23641 23641 22591 0 -1 4202560 34852 0 0 0 37 3 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23650] ppid=23641 vsize=7470816 CPUtime=0.27 cores=0,2
/proc/23643/task/23650/stat : 23650 (java) S 23641 23641 22591 0 -1 4202560 14540 0 0 0 26 1 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23651] ppid=23641 vsize=7470816 CPUtime=0.31 cores=0,2
/proc/23643/task/23651/stat : 23651 (java) S 23641 23641 22591 0 -1 4202560 16784 0 0 0 29 2 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23652] ppid=23641 vsize=7470816 CPUtime=0.6 cores=0,2
/proc/23643/task/23652/stat : 23652 (java) S 23641 23641 22591 0 -1 4202560 36099 0 0 0 56 4 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23653] ppid=23641 vsize=7470816 CPUtime=0.4 cores=0,2
/proc/23643/task/23653/stat : 23653 (java) S 23641 23641 22591 0 -1 4202560 36823 0 0 0 35 5 0 0 16 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23654] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (java) S 23641 23641 22591 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 18 0 469848319 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 0 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23655] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23655/stat : 23655 (java) S 23641 23641 22591 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 469848320 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23656] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23656/stat : 23656 (java) S 23641 23641 22591 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 469848320 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23657] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23657/stat : 23657 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738228657 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23658] ppid=23641 vsize=7470816 CPUtime=0.29 cores=0,2
/proc/23643/task/23658/stat : 23658 (java) S 23641 23641 22591 0 -1 4202560 1109 0 0 0 29 0 0 0 15 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23659] ppid=23641 vsize=7470816 CPUtime=0.35 cores=0,2
/proc/23643/task/23659/stat : 23659 (java) S 23641 23641 22591 0 -1 4202560 2580 0 0 0 35 0 0 0 15 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23660] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23660/stat : 23660 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23661] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (java) S 23641 23641 22591 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 816.3
Current children cumulated vsize (KiB) 7479516

[startup+815.107 s]
/proc/loadavg: 3.00 3.07 3.36 4/238 23961
/proc/meminfo: memFree=12803172/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
[pid=23643] ppid=23641 vsize=7470816 CPUtime=817.1 cores=0,2
/proc/23643/stat : 23643 (java) S 23641 23641 22591 0 -1 4202496 286802 0 1 0 81667 43 0 0 22 0 18 0 469848310 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23643/statm: 1867704 269047 2230 9 0 1858183 0
[pid=23643/tid=23645] ppid=23641 vsize=7470816 CPUtime=813.47 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23641 23641 22591 0 -1 4202560 74547 0 1 0 81331 16 0 0 25 0 18 0 469848311 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 46912505580666 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23643/tid=23646] ppid=23641 vsize=7470816 CPUtime=0.35 cores=0,2
/proc/23643/task/23646/stat : 23646 (java) S 23641 23641 22591 0 -1 4202560 24830 0 0 0 32 3 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23647] ppid=23641 vsize=7470816 CPUtime=0.23 cores=0,2
/proc/23643/task/23647/stat : 23647 (java) S 23641 23641 22591 0 -1 4202560 14379 0 0 0 22 1 0 0 16 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23648] ppid=23641 vsize=7470816 CPUtime=0.33 cores=0,2
/proc/23643/task/23648/stat : 23648 (java) S 23641 23641 22591 0 -1 4202560 28883 0 0 0 30 3 0 0 16 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23649] ppid=23641 vsize=7470816 CPUtime=0.4 cores=0,2
/proc/23643/task/23649/stat : 23649 (java) S 23641 23641 22591 0 -1 4202560 34852 0 0 0 37 3 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23650] ppid=23641 vsize=7470816 CPUtime=0.27 cores=0,2
/proc/23643/task/23650/stat : 23650 (java) S 23641 23641 22591 0 -1 4202560 14540 0 0 0 26 1 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23651] ppid=23641 vsize=7470816 CPUtime=0.31 cores=0,2
/proc/23643/task/23651/stat : 23651 (java) S 23641 23641 22591 0 -1 4202560 16784 0 0 0 29 2 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23652] ppid=23641 vsize=7470816 CPUtime=0.6 cores=0,2
/proc/23643/task/23652/stat : 23652 (java) S 23641 23641 22591 0 -1 4202560 36099 0 0 0 56 4 0 0 15 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23653] ppid=23641 vsize=7470816 CPUtime=0.4 cores=0,2
/proc/23643/task/23653/stat : 23653 (java) S 23641 23641 22591 0 -1 4202560 36823 0 0 0 35 5 0 0 16 0 18 0 469848318 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23654] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (java) S 23641 23641 22591 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 18 0 469848319 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 0 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23655] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23655/stat : 23655 (java) S 23641 23641 22591 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 469848320 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23656] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23656/stat : 23656 (java) S 23641 23641 22591 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 469848320 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23657] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23657/stat : 23657 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738228657 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23658] ppid=23641 vsize=7470816 CPUtime=0.29 cores=0,2
/proc/23643/task/23658/stat : 23658 (java) S 23641 23641 22591 0 -1 4202560 1109 0 0 0 29 0 0 0 15 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23659] ppid=23641 vsize=7470816 CPUtime=0.35 cores=0,2
/proc/23643/task/23659/stat : 23659 (java) S 23641 23641 22591 0 -1 4202560 2580 0 0 0 35 0 0 0 15 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23660] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23660/stat : 23660 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23661] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (java) S 23641 23641 22591 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 469848322 7650115584 269047 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 817.1
Current children cumulated vsize (KiB) 7479516

[startup+815.302 s]
/proc/loadavg: 3.00 3.07 3.36 4/238 23961
/proc/meminfo: memFree=12803172/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
[pid=23643] ppid=23641 vsize=7470816 CPUtime=817.33 cores=0,2
/proc/23643/stat : 23643 (java) S 23641 23641 22591 0 -1 4202496 286829 0 1 0 81688 45 0 0 22 0 18 0 469848310 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23643/statm: 1867704 269073 2244 9 0 1858183 0
[pid=23643/tid=23645] ppid=23641 vsize=7470816 CPUtime=813.64 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23641 23641 22591 0 -1 4202560 74554 0 1 0 81347 17 0 0 18 0 18 0 469848311 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 46912505329139 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23643/tid=23646] ppid=23641 vsize=7470816 CPUtime=0.35 cores=0,2
/proc/23643/task/23646/stat : 23646 (java) S 23641 23641 22591 0 -1 4202560 24830 0 0 0 32 3 0 0 15 0 18 0 469848318 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23647] ppid=23641 vsize=7470816 CPUtime=0.23 cores=0,2
/proc/23643/task/23647/stat : 23647 (java) S 23641 23641 22591 0 -1 4202560 14379 0 0 0 22 1 0 0 16 0 18 0 469848318 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23648] ppid=23641 vsize=7470816 CPUtime=0.33 cores=0,2
/proc/23643/task/23648/stat : 23648 (java) S 23641 23641 22591 0 -1 4202560 28883 0 0 0 30 3 0 0 16 0 18 0 469848318 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23649] ppid=23641 vsize=7470816 CPUtime=0.4 cores=0,2
/proc/23643/task/23649/stat : 23649 (java) S 23641 23641 22591 0 -1 4202560 34852 0 0 0 37 3 0 0 15 0 18 0 469848318 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23650] ppid=23641 vsize=7470816 CPUtime=0.27 cores=0,2
/proc/23643/task/23650/stat : 23650 (java) S 23641 23641 22591 0 -1 4202560 14540 0 0 0 26 1 0 0 15 0 18 0 469848318 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23651] ppid=23641 vsize=7470816 CPUtime=0.31 cores=0,2
/proc/23643/task/23651/stat : 23651 (java) S 23641 23641 22591 0 -1 4202560 16784 0 0 0 29 2 0 0 15 0 18 0 469848318 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23652] ppid=23641 vsize=7470816 CPUtime=0.6 cores=0,2
/proc/23643/task/23652/stat : 23652 (java) S 23641 23641 22591 0 -1 4202560 36099 0 0 0 56 4 0 0 15 0 18 0 469848318 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23653] ppid=23641 vsize=7470816 CPUtime=0.4 cores=0,2
/proc/23643/task/23653/stat : 23653 (java) S 23641 23641 22591 0 -1 4202560 36823 0 0 0 35 5 0 0 16 0 18 0 469848318 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23654] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23654/stat : 23654 (java) S 23641 23641 22591 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 18 0 469848319 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 0 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23655] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23655/stat : 23655 (java) S 23641 23641 22591 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 469848320 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23656] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23656/stat : 23656 (java) S 23641 23641 22591 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 469848320 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23657] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23657/stat : 23657 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738228657 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23658] ppid=23641 vsize=7470816 CPUtime=0.31 cores=0,2
/proc/23643/task/23658/stat : 23658 (java) R 23641 23641 22591 0 -1 4202560 1124 0 0 0 31 0 0 0 16 0 18 0 469848322 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738223843 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23643/tid=23659] ppid=23641 vsize=7470816 CPUtime=0.37 cores=0,2
/proc/23643/task/23659/stat : 23659 (java) S 23641 23641 22591 0 -1 4202560 2585 0 0 0 37 0 0 0 15 0 18 0 469848322 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
[pid=23643/tid=23660] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23660/stat : 23660 (java) S 23641 23641 22591 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469848322 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 0 4 0 16800975 18446604453928470720 0 0 -1 0 0 0 0
[pid=23643/tid=23661] ppid=23641 vsize=7470816 CPUtime=0 cores=0,2
/proc/23643/task/23661/stat : 23661 (java) S 23641 23641 22591 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 469848322 7650115584 269073 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738221568 0 4 0 16800975 18446604453928470720 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 817.33
Current children cumulated vsize (KiB) 7479516

[startup+815.401 s]
/proc/loadavg: 3.00 3.07 3.36 4/238 23961
/proc/meminfo: memFree=12803172/32951124 swapFree=67111528/67111528
[pid=23641] ppid=23639 vsize=8700 CPUtime=0 cores=0,2
/proc/23641/stat : 23641 (jMiniSat) S 23639 23641 22591 0 -1 4202496 349 233 0 0 0 0 0 0 21 0 1 0 469848310 8908800 249 33554432000 4194304 4922060 140737032118288 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23641/statm: 2175 249 209 178 0 68 0
[pid=23643] ppid=23641 vsize=7470816 CPUtime=817.45 cores=0,2
/proc/23643/stat : 23643 (java) R 23641 23641 22591 0 -1 4202496 286995 0 1 0 81700 45 0 0 18 0 16 0 469848310 7650115584 269146 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738207717 256 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23643/statm: 1867704 269146 2247 9 0 1858183 0
[pid=23643/tid=23645] ppid=23641 vsize=7470816 CPUtime=813.67 cores=0,2
/proc/23643/task/23645/stat : 23645 (java) R 23641 23641 22591 0 -1 4202560 74558 0 1 0 81349 18 0 0 17 0 10 0 469848311 7650115584 269146 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 256 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23643/tid=23647] ppid=23641 vsize=7470816 CPUtime=0.23 cores=0,2
/proc/23643/task/23647/stat : 23647 (java) R 23641 23641 22591 0 -1 4202560 14379 0 0 0 22 1 0 0 15 0 5 0 469848318 7650115584 269146 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 256 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23643/tid=23653] ppid=23641 vsize=7470816 CPUtime=0.4 cores=0,2
/proc/23643/task/23653/stat : 23653 (java) R 23641 23641 22591 0 -1 4202560 36823 0 0 0 35 5 0 0 15 0 4 0 469848318 7650115584 269146 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 256 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23643/tid=23659] ppid=23641 vsize=7470816 CPUtime=0.42 cores=0,2
/proc/23643/task/23659/stat : 23659 (java) R 23641 23641 22591 0 -1 4202560 2734 0 0 0 42 0 0 0 15 0 4 0 469848322 7650115584 269146 33554432000 1073741824 1073778376 140735111979712 18446744073709551615 264738220953 256 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 817.45
Current children cumulated vsize (KiB) 7479516

Child status: 10
Real time (s): 815.448
CPU time (s): 817.515
CPU user time (s): 817.01
CPU system time (s): 0.504923
CPU usage (%): 100.253
Max. virtual memory (cumulated for all children) (KiB): 7479516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 817.01
system time used= 0.504923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287584
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17726
involuntary context switches= 5208

runsolver used 1.45478 second user time and 3.00554 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-26 01:32:07
IDJOB=3290512
IDBENCH=83436
IDSOLVER=1680
FILE ID=node141/3290512-1303774326
RUNJOBID= node141-1303773018-23159
PBS_JOBID= 13157176
Free space on /tmp= 71260 MiB

SOLVER NAME= jMiniSat 2011
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= ./jMiniSat -sc-mode BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290512-1303774326/watcher-3290512-1303774326 -o /tmp/evaluation-result-3290512-1303774326/solver-3290512-1303774326 -C 2400 -W 1300 -M 7680  ./jMiniSat -sc-mode HOME/instance-3290512-1303774326.cnf

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1149556764

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12766456 kB
Buffers:       1595328 kB
Cached:       14359548 kB
SwapCached:          0 kB
Active:        9795172 kB
Inactive:      9806300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12766456 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14960 kB
Writeback:           0 kB
AnonPages:     3646500 kB
Mapped:          23300 kB
Slab:           510648 kB
PageTables:      13024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4276748 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71276 MiB
End job on node141 at 2011-04-26 01:45:43