Trace number 3349790

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
minisat hack: LR_NOGL_NOSHR 2011-03-02SAT 57.6312 57.6297

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data

57.59/57.62	c WARNING: for repeatability, setting FPU to use double precision
57.59/57.62	s SATISFIABLE
57.59/57.62	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: 961)

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-3349790-1304973431/watcher-3349790-1304973431 -o /tmp/evaluation-result-3349790-1304973431/solver-3349790-1304973431 -C 2400 -W 1300 -M 7680 HOME/lr_gl_shr HOME/instance-3349790-1304973431.cnf -verb=0 -model -no-shrinking -no-glucose 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.84 3.99 3.94 4/294 23310
/proc/meminfo: memFree=31213900/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=20028 CPUtime=0 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 637 0 0 0 0 0 0 0 21 0 1 0 608941143 20508672 571 33554432000 4194304 4300056 140736827089088 18446744073709551615 4286249 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 5007 571 218 26 0 1639 0

[startup+0.033947 s]
/proc/loadavg: 3.84 3.99 3.94 4/294 23310
/proc/meminfo: memFree=31213900/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=21920 CPUtime=0.03 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 1379 0 0 0 3 0 0 0 21 0 1 0 608941143 22446080 1308 33554432000 4194304 4300056 140736827089088 18446744073709551615 4286249 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 5480 1308 218 26 0 2112 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21920

[startup+0.100938 s]
/proc/loadavg: 3.84 3.99 3.94 4/294 23310
/proc/meminfo: memFree=31213900/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=31688 CPUtime=0.09 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 4158 0 0 0 9 0 0 0 21 0 1 0 608941143 32448512 3829 33554432000 4194304 4300056 140736827089088 18446744073709551615 228122374853 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 7922 3830 222 26 0 4554 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31688

[startup+0.300899 s]
/proc/loadavg: 3.84 3.99 3.94 4/294 23310
/proc/meminfo: memFree=31213900/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=61472 CPUtime=0.29 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 11428 0 0 0 27 2 0 0 22 0 1 0 608941143 62947328 10338 33554432000 4194304 4300056 140736827089088 18446744073709551615 228122713856 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 15368 10339 222 26 0 12000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61472

[startup+0.700828 s]
/proc/loadavg: 3.84 3.99 3.94 4/294 23310
/proc/meminfo: memFree=31213900/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=82144 CPUtime=0.69 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 15598 0 0 0 67 2 0 0 24 0 1 0 608941143 84115456 13976 33554432000 4194304 4300056 140736827089088 18446744073709551615 4230355 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 20536 13976 226 26 0 17168 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82144

[startup+1.50068 s]
/proc/loadavg: 3.84 3.99 3.94 5/298 23317
/proc/meminfo: memFree=31055256/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=82144 CPUtime=1.49 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 15598 0 0 0 147 2 0 0 25 0 1 0 608941143 84115456 13976 33554432000 4194304 4300056 140736827089088 18446744073709551615 4230560 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 20536 13976 226 26 0 17168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82144

[startup+3.10039 s]
/proc/loadavg: 3.85 3.99 3.94 5/298 23317
/proc/meminfo: memFree=31008488/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=82144 CPUtime=3.09 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 15598 0 0 0 307 2 0 0 25 0 1 0 608941143 84115456 13976 33554432000 4194304 4300056 140736827089088 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 20536 13976 226 26 0 17168 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82144

[startup+6.30083 s]
/proc/loadavg: 3.85 3.99 3.94 5/301 23323
/proc/meminfo: memFree=30736948/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=82144 CPUtime=6.29 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 15598 0 0 0 627 2 0 0 25 0 1 0 608941143 84115456 13976 33554432000 4194304 4300056 140736827089088 18446744073709551615 4230328 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 20536 13976 226 26 0 17168 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82144

[startup+12.7007 s]
/proc/loadavg: 3.87 3.99 3.94 5/301 23323
/proc/meminfo: memFree=30709148/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=82144 CPUtime=12.69 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 15598 0 0 0 1267 2 0 0 25 0 1 0 608941143 84115456 13976 33554432000 4194304 4300056 140736827089088 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 20536 13976 226 26 0 17168 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82144

[startup+25.5003 s]
/proc/loadavg: 3.89 3.99 3.94 5/301 23324
/proc/meminfo: memFree=30619644/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=82144 CPUtime=25.49 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 15598 0 0 0 2547 2 0 0 25 0 1 0 608941143 84115456 13976 33554432000 4194304 4300056 140736827089088 18446744073709551615 4230339 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 20536 13976 226 26 0 17168 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82144

[startup+51.1007 s]
/proc/loadavg: 3.93 3.99 3.94 5/301 23351
/proc/meminfo: memFree=30708164/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=98204 CPUtime=51.09 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 27896 0 0 0 5105 4 0 0 25 0 1 0 608941143 100560896 20286 33554432000 4194304 4300056 140736827089088 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 24551 20286 246 26 0 21183 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98204

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

[startup+54.3011 s]
/proc/loadavg: 3.93 3.99 3.94 5/301 23351
/proc/meminfo: memFree=30695524/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=129024 CPUtime=54.29 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 29657 0 0 0 5424 5 0 0 25 0 1 0 608941143 132120576 22024 33554432000 4194304 4300056 140736827089088 18446744073709551615 4252370 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 32256 22024 246 26 0 28888 0
Current children cumulated CPU time (s) 54.29
Current children cumulated vsize (KiB) 129024

[startup+55.9008 s]
/proc/loadavg: 3.93 3.99 3.94 5/301 23351
/proc/meminfo: memFree=30690936/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=129024 CPUtime=55.89 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 30644 0 0 0 5584 5 0 0 25 0 1 0 608941143 132120576 22999 33554432000 4194304 4300056 140736827089088 18446744073709551615 4255948 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 32256 22999 246 26 0 28888 0
Current children cumulated CPU time (s) 55.89
Current children cumulated vsize (KiB) 129024

[startup+56.7007 s]
/proc/loadavg: 3.93 3.99 3.94 5/301 23351
/proc/meminfo: memFree=30686596/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=129024 CPUtime=56.69 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 31051 0 0 0 5664 5 0 0 25 0 1 0 608941143 132120576 23399 33554432000 4194304 4300056 140736827089088 18446744073709551615 4256504 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 32256 23399 246 26 0 28888 0
Current children cumulated CPU time (s) 56.69
Current children cumulated vsize (KiB) 129024

[startup+57.1006 s]
/proc/loadavg: 3.94 3.99 3.94 5/301 23351
/proc/meminfo: memFree=30681644/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=129024 CPUtime=57.1 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 31355 0 0 0 5705 5 0 0 25 0 1 0 608941143 132120576 23700 33554432000 4194304 4300056 140736827089088 18446744073709551615 4256327 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 32256 23700 246 26 0 28888 0
Current children cumulated CPU time (s) 57.1
Current children cumulated vsize (KiB) 129024

[startup+57.5005 s]
/proc/loadavg: 3.94 3.99 3.94 5/301 23351
/proc/meminfo: memFree=30681644/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=129024 CPUtime=57.49 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 31657 0 0 0 5744 5 0 0 25 0 1 0 608941143 132120576 23995 33554432000 4194304 4300056 140736827089088 18446744073709551615 4256040 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 32256 23995 246 26 0 28888 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 129024

[startup+57.6005 s]
/proc/loadavg: 3.94 3.99 3.94 5/301 23351
/proc/meminfo: memFree=30681644/32951124 swapFree=54427412/67111528
[pid=23310] ppid=23307 vsize=129024 CPUtime=57.59 cores=5,7
/proc/23310/stat : 23310 (lr_gl_shr) R 23307 23310 22352 0 -1 4202496 31714 0 0 0 5754 5 0 0 25 0 1 0 608941143 132120576 24049 33554432000 4194304 4300056 140736827089088 18446744073709551615 4256322 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23310/statm: 32256 24049 246 26 0 28888 0
Current children cumulated CPU time (s) 57.59
Current children cumulated vsize (KiB) 129024

Child status: 10
Real time (s): 57.6297
CPU time (s): 57.6312
CPU user time (s): 57.5682
CPU system time (s): 0.06299
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 129024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.5682
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 88

runsolver used 0.145977 second user time and 0.383941 second system time

The end

Launcher Data

Begin job on node138 at 2011-05-09 22:37:12
IDJOB=3349790
IDBENCH=83475
IDSOLVER=1814
FILE ID=node138/3349790-1304973431
RUNJOBID= node138-1304973431-23229
PBS_JOBID= 13285612
Free space on /tmp= 47612 MiB

SOLVER NAME= minisat hack: LR_NOGL_NOSHR 2011-03-02
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= HOME/lr_gl_shr BENCHNAME -verb=0 -model -no-shrinking -no-glucose
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3349790-1304973431/watcher-3349790-1304973431 -o /tmp/evaluation-result-3349790-1304973431/solver-3349790-1304973431 -C 2400 -W 1300 -M 7680  HOME/lr_gl_shr HOME/instance-3349790-1304973431.cnf -verb=0 -model -no-shrinking -no-glucose

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1669704925

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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:      31214808 kB
Buffers:        143768 kB
Cached:        1387916 kB
SwapCached:      17996 kB
Active:         298072 kB
Inactive:      1265600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31214808 kB
SwapTotal:    67111528 kB
SwapFree:     54427412 kB
Dirty:           48944 kB
Writeback:           0 kB
AnonPages:       25284 kB
Mapped:           8928 kB
Slab:            70060 kB
PageTables:      40912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 39500316 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= 47524 MiB
End job on node138 at 2011-05-09 22:38:09