Trace number 3349491

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_GL_SHR 2011-03-02SAT 339.792 339.786

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data

339.70/339.77	c WARNING: for repeatability, setting FPU to use double precision
339.70/339.77	s SATISFIABLE
339.70/339.77	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-3349491-1304973709/watcher-3349491-1304973709 -o /tmp/evaluation-result-3349491-1304973709/solver-3349491-1304973709 -C 2400 -W 1300 -M 7680 HOME/lr_gl_shr HOME/instance-3349491-1304973709.cnf -verb=0 -model 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 4.14 4.01 3.92 4/361 21367
/proc/meminfo: memFree=28760912/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=20032 CPUtime=0 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 614 0 0 0 0 0 0 0 24 0 1 0 608973557 20512768 550 33554432000 4194304 4300056 140735578644896 18446744073709551615 4286249 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 5008 550 218 26 0 1640 0

[startup+0.033383 s]
/proc/loadavg: 4.14 4.01 3.92 4/361 21367
/proc/meminfo: memFree=28760912/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=21248 CPUtime=0.03 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 1163 0 0 0 3 0 0 0 24 0 1 0 608973557 21757952 1094 33554432000 4194304 4300056 140735578644896 18446744073709551615 4200766 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 5312 1094 218 26 0 1944 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21248

[startup+0.100387 s]
/proc/loadavg: 4.14 4.01 3.92 4/361 21367
/proc/meminfo: memFree=28760912/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=27264 CPUtime=0.09 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 3445 0 0 0 9 0 0 0 24 0 1 0 608973557 27918336 3218 33554432000 4194304 4300056 140735578644896 18446744073709551615 216634515200 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 6816 3220 222 26 0 3448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27264

[startup+0.30034 s]
/proc/loadavg: 4.14 4.01 3.92 4/361 21367
/proc/meminfo: memFree=28760912/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=56804 CPUtime=0.29 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 9714 0 0 0 28 1 0 0 25 0 1 0 608973557 58167296 8959 33554432000 4194304 4300056 140735578644896 18446744073709551615 216634515200 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 14201 8977 222 26 0 10833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56804

[startup+0.70027 s]
/proc/loadavg: 4.14 4.01 3.92 4/361 21367
/proc/meminfo: memFree=28760912/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=81672 CPUtime=0.69 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 15947 0 0 0 67 2 0 0 25 0 1 0 608973557 83632128 14329 33554432000 4194304 4300056 140735578644896 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 20418 14329 226 26 0 17050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81672

[startup+1.50115 s]
/proc/loadavg: 4.14 4.01 3.92 5/362 21368
/proc/meminfo: memFree=28703500/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=81672 CPUtime=1.49 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 15948 0 0 0 147 2 0 0 25 0 1 0 608973557 83632128 14330 33554432000 4194304 4300056 140735578644896 18446744073709551615 4230380 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 20418 14330 227 26 0 17050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81672

[startup+3.10082 s]
/proc/loadavg: 4.14 4.01 3.92 5/362 21368
/proc/meminfo: memFree=28702756/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=81672 CPUtime=3.09 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 15948 0 0 0 307 2 0 0 25 0 1 0 608973557 83632128 14330 33554432000 4194304 4300056 140735578644896 18446744073709551615 4230355 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 20418 14330 227 26 0 17050 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81672

[startup+6.30028 s]
/proc/loadavg: 4.13 4.01 3.92 5/362 21368
/proc/meminfo: memFree=28702260/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=81672 CPUtime=6.29 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 15948 0 0 0 627 2 0 0 25 0 1 0 608973557 83632128 14330 33554432000 4194304 4300056 140735578644896 18446744073709551615 4230361 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 20418 14330 227 26 0 17050 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81672

[startup+12.7011 s]
/proc/loadavg: 4.12 4.01 3.92 5/362 21369
/proc/meminfo: memFree=28702240/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=81672 CPUtime=12.69 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 15948 0 0 0 1267 2 0 0 25 0 1 0 608973557 83632128 14330 33554432000 4194304 4300056 140735578644896 18446744073709551615 4230656 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 20418 14330 227 26 0 17050 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81672

[startup+25.5009 s]
/proc/loadavg: 4.09 4.01 3.92 5/362 21369
/proc/meminfo: memFree=28702600/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=81672 CPUtime=25.49 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 15948 0 0 0 2547 2 0 0 25 0 1 0 608973557 83632128 14330 33554432000 4194304 4300056 140735578644896 18446744073709551615 4230328 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 20418 14330 227 26 0 17050 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81672

[startup+51.1004 s]
/proc/loadavg: 4.13 4.03 3.93 5/362 21370
/proc/meminfo: memFree=28702520/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=81672 CPUtime=51.09 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 15954 0 0 0 5107 2 0 0 25 0 1 0 608973557 83632128 14336 33554432000 4194304 4300056 140735578644896 18446744073709551615 4230455 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 20418 14336 228 26 0 17050 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81672

[startup+102.313 s]
/proc/loadavg: 4.13 4.04 3.93 5/362 21371
/proc/meminfo: memFree=28667108/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=132964 CPUtime=102.31 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 31123 0 0 0 10225 6 0 0 25 0 1 0 608973557 136155136 23199 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 33241 23199 248 26 0 29873 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 132964

[startup+162.301 s]
/proc/loadavg: 4.05 4.03 3.93 5/362 21373
/proc/meminfo: memFree=28622564/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=192312 CPUtime=162.29 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 42099 0 0 0 16219 10 0 0 25 0 1 0 608973557 196927488 34025 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 48078 34025 248 26 0 44710 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 192312

[startup+222.301 s]
/proc/loadavg: 4.02 4.02 3.93 5/362 21374
/proc/meminfo: memFree=28587904/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=198932 CPUtime=222.29 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 50155 0 0 0 22215 14 0 0 25 0 1 0 608973557 203706368 41994 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256545 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 49733 41994 248 26 0 46365 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 198932

[startup+282.301 s]
/proc/loadavg: 4.00 4.02 3.93 5/362 21376
/proc/meminfo: memFree=28561568/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=285692 CPUtime=282.3 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 56943 0 0 0 28213 17 0 0 25 0 1 0 608973557 292548608 48707 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 71423 48707 248 26 0 68055 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 285692

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

[startup+307.101 s]
/proc/loadavg: 4.00 4.01 3.93 5/362 21376
/proc/meminfo: memFree=28550868/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=287464 CPUtime=307.1 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 59252 0 0 0 30692 18 0 0 25 0 1 0 608973557 294363136 50991 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256071 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 71866 50991 248 26 0 68498 0
Current children cumulated CPU time (s) 307.1
Current children cumulated vsize (KiB) 287464

[startup+319.901 s]
/proc/loadavg: 4.00 4.01 3.93 5/362 21377
/proc/meminfo: memFree=28546136/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=288368 CPUtime=319.89 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 60435 0 0 0 31971 18 0 0 25 0 1 0 608973557 295288832 52157 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 72092 52157 248 26 0 68724 0
Current children cumulated CPU time (s) 319.89
Current children cumulated vsize (KiB) 288368

[startup+332.701 s]
/proc/loadavg: 4.00 4.01 3.93 5/362 21377
/proc/meminfo: memFree=28542160/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=289424 CPUtime=332.7 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 61484 0 0 0 33251 19 0 0 25 0 1 0 608973557 296370176 53197 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 72356 53197 248 26 0 68988 0
Current children cumulated CPU time (s) 332.7
Current children cumulated vsize (KiB) 289424

[startup+335.901 s]
/proc/loadavg: 4.00 4.01 3.93 5/362 21377
/proc/meminfo: memFree=28540424/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=290076 CPUtime=335.9 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 61858 0 0 0 33571 19 0 0 25 0 1 0 608973557 297037824 53567 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256231 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 72519 53567 248 26 0 69151 0
Current children cumulated CPU time (s) 335.9
Current children cumulated vsize (KiB) 290076

[startup+337.501 s]
/proc/loadavg: 4.00 4.01 3.93 5/362 21377
/proc/meminfo: memFree=28540176/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=290076 CPUtime=337.5 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 61969 0 0 0 33731 19 0 0 25 0 1 0 608973557 297037824 53676 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 72519 53676 248 26 0 69151 0
Current children cumulated CPU time (s) 337.5
Current children cumulated vsize (KiB) 290076

[startup+339.101 s]
/proc/loadavg: 4.00 4.01 3.93 5/362 21377
/proc/meminfo: memFree=28539432/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=290076 CPUtime=339.1 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 62064 0 0 0 33891 19 0 0 25 0 1 0 608973557 297037824 53770 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 72519 53770 248 26 0 69151 0
Current children cumulated CPU time (s) 339.1
Current children cumulated vsize (KiB) 290076

[startup+339.5 s]
/proc/loadavg: 4.00 4.01 3.93 5/362 21377
/proc/meminfo: memFree=28539432/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=290076 CPUtime=339.5 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 62091 0 0 0 33931 19 0 0 25 0 1 0 608973557 297037824 53797 33554432000 4194304 4300056 140735578644896 18446744073709551615 4256096 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 72519 53797 248 26 0 69151 0
Current children cumulated CPU time (s) 339.5
Current children cumulated vsize (KiB) 290076

[startup+339.7 s]
/proc/loadavg: 4.00 4.01 3.93 5/362 21377
/proc/meminfo: memFree=28539432/32951124 swapFree=53501176/67111528
[pid=21367] ppid=21365 vsize=290076 CPUtime=339.7 cores=0,2
/proc/21367/stat : 21367 (lr_gl_shr) R 21365 21367 20502 0 -1 4202496 62125 0 0 0 33951 19 0 0 25 0 1 0 608973557 297037824 53831 33554432000 4194304 4300056 140735578644896 18446744073709551615 4264407 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/21367/statm: 72519 53831 248 26 0 69151 0
Current children cumulated CPU time (s) 339.7
Current children cumulated vsize (KiB) 290076

Child status: 10
Real time (s): 339.786
CPU time (s): 339.792
CPU user time (s): 339.587
CPU system time (s): 0.204968
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 290076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 339.587
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62150
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= 10
involuntary context switches= 482

runsolver used 1.24581 second user time and 2.48062 second system time

The end

Launcher Data

Begin job on node103 at 2011-05-09 22:41:49
IDJOB=3349491
IDBENCH=83450
IDSOLVER=1813
FILE ID=node103/3349491-1304973709
RUNJOBID= node103-1304973409-21236
PBS_JOBID= 13285647
Free space on /tmp= 48844 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=844473283

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.858
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.83
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.858
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:      28761192 kB
Buffers:        190012 kB
Cached:        1471624 kB
SwapCached:     339736 kB
Active:         700740 kB
Inactive:      3251772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28761192 kB
SwapTotal:    67111528 kB
SwapFree:     53501176 kB
Dirty:           22152 kB
Writeback:           0 kB
AnonPages:     1961532 kB
Mapped:          11064 kB
Slab:           119252 kB
PageTables:      53428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78385168 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= 48844 MiB
End job on node103 at 2011-05-09 22:47:29