Trace number 3349490

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 562.293 562.278

General information on the benchmark

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

Solver Data 

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 2.30 2.64 3.09 4/370 2734
/proc/meminfo: memFree=26606996/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=19476 CPUtime=0 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 1 0 687608055 19943424 348 33554432000 4194304 4300056 140734507098400 18446744073709551615 251367207621 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 4869 348 218 26 0 1501 0

[startup+0.0773291 s]
/proc/loadavg: 2.30 2.64 3.09 4/370 2734
/proc/meminfo: memFree=26606996/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=26244 CPUtime=0.07 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 3018 0 0 0 7 0 0 0 25 0 1 0 687608055 26873856 2796 33554432000 4194304 4300056 140734507098400 18446744073709551615 251367207621 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 6561 2796 222 26 0 3193 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26244

[startup+0.100328 s]
/proc/loadavg: 2.30 2.64 3.09 4/370 2734
/proc/meminfo: memFree=26606996/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=31420 CPUtime=0.09 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 4035 0 0 0 9 0 0 0 25 0 1 0 687608055 32174080 3707 33554432000 4194304 4300056 140734507098400 18446744073709551615 251367207621 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 7855 3711 222 26 0 4487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31420

[startup+0.300303 s]
/proc/loadavg: 2.30 2.64 3.09 4/370 2734
/proc/meminfo: memFree=26606996/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=61472 CPUtime=0.29 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 11364 0 0 0 28 1 0 0 25 0 1 0 687608055 62947328 10277 33554432000 4194304 4300056 140734507098400 18446744073709551615 4220951 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 15368 10278 222 26 0 12000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61472

[startup+0.70022 s]
/proc/loadavg: 2.30 2.64 3.09 4/370 2734
/proc/meminfo: memFree=26606996/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=82144 CPUtime=0.69 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 15596 0 0 0 67 2 0 0 25 0 1 0 687608055 84115456 13975 33554432000 4194304 4300056 140734507098400 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 20536 13975 226 26 0 17168 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82144

[startup+1.50106 s]
/proc/loadavg: 2.30 2.64 3.09 5/371 2735
/proc/meminfo: memFree=26550732/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=82144 CPUtime=1.49 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 15596 0 0 0 147 2 0 0 25 0 1 0 687608055 84115456 13975 33554432000 4194304 4300056 140734507098400 18446744073709551615 4230352 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 20536 13975 226 26 0 17168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82144

[startup+3.10077 s]
/proc/loadavg: 2.43 2.67 3.10 5/371 2735
/proc/meminfo: memFree=26548632/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=82144 CPUtime=3.09 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 15596 0 0 0 307 2 0 0 25 0 1 0 687608055 84115456 13975 33554432000 4194304 4300056 140734507098400 18446744073709551615 4230361 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 20536 13975 226 26 0 17168 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82144

[startup+6.30118 s]
/proc/loadavg: 2.43 2.67 3.10 5/371 2735
/proc/meminfo: memFree=26546156/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=82144 CPUtime=6.29 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 15596 0 0 0 627 2 0 0 25 0 1 0 687608055 84115456 13975 33554432000 4194304 4300056 140734507098400 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 20536 13975 226 26 0 17168 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82144

[startup+12.701 s]
/proc/loadavg: 2.67 2.71 3.10 5/371 2736
/proc/meminfo: memFree=26541700/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=82144 CPUtime=12.69 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 15596 0 0 0 1267 2 0 0 25 0 1 0 687608055 84115456 13975 33554432000 4194304 4300056 140734507098400 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 20536 13975 226 26 0 17168 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82144

[startup+25.5006 s]
/proc/loadavg: 2.88 2.75 3.11 5/371 2736
/proc/meminfo: memFree=26547304/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=82144 CPUtime=25.49 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 15596 0 0 0 2547 2 0 0 25 0 1 0 687608055 84115456 13975 33554432000 4194304 4300056 140734507098400 18446744073709551615 4230496 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 20536 13975 226 26 0 17168 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82144

[startup+51.1009 s]
/proc/loadavg: 3.26 2.85 3.13 5/371 2737
/proc/meminfo: memFree=26514924/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=79236 CPUtime=51.09 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 22347 0 0 0 5105 4 0 0 25 0 1 0 687608055 81137664 14801 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 19809 14801 248 26 0 16441 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79236

[startup+102.314 s]
/proc/loadavg: 3.70 3.04 3.18 5/371 2738
/proc/meminfo: memFree=26467484/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=132044 CPUtime=102.3 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 32677 0 0 0 10220 10 0 0 25 0 1 0 687608055 135213056 24962 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 33011 24962 248 26 0 29643 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 132044

[startup+162.3 s]
/proc/loadavg: 3.89 3.21 3.23 5/371 2740
/proc/meminfo: memFree=26426476/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=190300 CPUtime=162.3 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 42308 0 0 0 16212 18 0 0 25 0 1 0 687608055 194867200 34473 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256008 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 47575 34473 248 26 0 44207 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 190300

[startup+222.301 s]
/proc/loadavg: 4.10 3.40 3.29 5/371 2741
/proc/meminfo: memFree=26396696/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=196888 CPUtime=222.3 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 49921 0 0 0 22208 22 0 0 25 0 1 0 687608055 201613312 41995 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256078 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 49222 41995 248 26 0 45854 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 196888

[startup+282.301 s]
/proc/loadavg: 4.04 3.51 3.33 5/371 2743
/proc/meminfo: memFree=26373484/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=282192 CPUtime=282.3 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 55848 0 0 0 28205 25 0 0 25 0 1 0 687608055 288964608 47837 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 70548 47837 248 26 0 67180 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 282192

[startup+342.301 s]
/proc/loadavg: 4.09 3.62 3.38 5/371 2745
/proc/meminfo: memFree=26308972/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=285884 CPUtime=342.3 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 60972 0 0 0 34202 28 0 0 25 0 1 0 687608055 292745216 52894 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256241 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 71471 52894 248 26 0 68103 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 285884

[startup+402.301 s]
/proc/loadavg: 4.06 3.70 3.42 5/371 2749
/proc/meminfo: memFree=26241100/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=292472 CPUtime=402.3 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 67925 0 0 0 40199 31 0 0 25 0 1 0 687608055 299491328 59792 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 73118 59792 248 26 0 69750 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 292472

[startup+462.301 s]
/proc/loadavg: 4.02 3.75 3.46 5/371 2751
/proc/meminfo: memFree=26179556/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=295836 CPUtime=462.3 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 74902 0 0 0 46195 35 0 0 25 0 1 0 687608055 302936064 66712 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 73959 66712 248 26 0 70591 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 295836

[startup+522.301 s]
/proc/loadavg: 4.15 3.85 3.51 5/371 2753
/proc/meminfo: memFree=26164272/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=298840 CPUtime=522.31 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 78879 0 0 0 52193 38 0 0 25 0 1 0 687608055 306012160 70656 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256105 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 74710 70656 248 26 0 71342 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 298840

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

[startup+537.501 s]
/proc/loadavg: 4.17 3.87 3.52 5/371 2754
/proc/meminfo: memFree=26119496/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=431952 CPUtime=537.5 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 79961 0 0 0 53712 38 0 0 25 0 1 0 687608055 442318848 71728 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 107988 71728 248 26 0 104620 0
Current children cumulated CPU time (s) 537.5
Current children cumulated vsize (KiB) 431952

[startup+550.3 s]
/proc/loadavg: 4.14 3.88 3.53 5/371 2754
/proc/meminfo: memFree=26105848/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=432508 CPUtime=550.31 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 80796 0 0 0 54992 39 0 0 25 0 1 0 687608055 442888192 72556 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 108127 72556 248 26 0 104759 0
Current children cumulated CPU time (s) 550.31
Current children cumulated vsize (KiB) 432508

[startup+556.701 s]
/proc/loadavg: 4.12 3.88 3.53 5/371 2754
/proc/meminfo: memFree=26099016/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=432804 CPUtime=556.71 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 81306 0 0 0 55632 39 0 0 25 0 1 0 687608055 443191296 73062 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 108201 73062 248 26 0 104833 0
Current children cumulated CPU time (s) 556.71
Current children cumulated vsize (KiB) 432804

[startup+559.914 s]
/proc/loadavg: 4.12 3.88 3.53 5/371 2754
/proc/meminfo: memFree=26095788/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=433412 CPUtime=559.92 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 81555 0 0 0 55953 39 0 0 25 0 1 0 687608055 443813888 73308 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256060 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 108353 73308 248 26 0 104985 0
Current children cumulated CPU time (s) 559.92
Current children cumulated vsize (KiB) 433412

[startup+561.5 s]
/proc/loadavg: 4.12 3.88 3.53 5/371 2754
/proc/meminfo: memFree=26134352/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=433412 CPUtime=561.5 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 81650 0 0 0 56111 39 0 0 25 0 1 0 687608055 443813888 73402 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 108353 73402 248 26 0 104985 0
Current children cumulated CPU time (s) 561.5
Current children cumulated vsize (KiB) 433412

[startup+561.9 s]
/proc/loadavg: 4.12 3.88 3.53 5/371 2754
/proc/meminfo: memFree=26134352/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=433412 CPUtime=561.9 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 81680 0 0 0 56151 39 0 0 25 0 1 0 687608055 443813888 73431 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 108353 73431 248 26 0 104985 0
Current children cumulated CPU time (s) 561.9
Current children cumulated vsize (KiB) 433412

[startup+562.114 s]
/proc/loadavg: 4.11 3.88 3.53 5/371 2754
/proc/meminfo: memFree=26133112/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=433412 CPUtime=562.12 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 81692 0 0 0 56173 39 0 0 25 0 1 0 687608055 443813888 73443 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256033 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 108353 73443 248 26 0 104985 0
Current children cumulated CPU time (s) 562.12
Current children cumulated vsize (KiB) 433412

[startup+562.201 s]
/proc/loadavg: 4.11 3.88 3.53 5/371 2754
/proc/meminfo: memFree=26133112/32950928 swapFree=38710660/67111528
[pid=2734] ppid=2732 vsize=433412 CPUtime=562.2 cores=5,7
/proc/2734/stat : 2734 (lr_gl_shr) R 2732 2734 1610 0 -1 4202496 81699 0 0 0 56181 39 0 0 25 0 1 0 687608055 443813888 73450 33554432000 4194304 4300056 140734507098400 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/2734/statm: 108353 73450 248 26 0 104985 0
Current children cumulated CPU time (s) 562.2
Current children cumulated vsize (KiB) 433412

Child status: 10
Real time (s): 562.278
CPU time (s): 562.293
CPU user time (s): 561.883
CPU system time (s): 0.410937
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 433412

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

runsolver used 1.86772 second user time and 4.79027 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-09 22:42:54
IDJOB=3349490
IDBENCH=83475
IDSOLVER=1813
FILE ID=node113/3349490-1304973773
RUNJOBID= node113-1304973762-2587
PBS_JOBID= 13285637
Free space on /tmp= 47664 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1227408961

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.74
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.846
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.846
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26607028 kB
Buffers:        131960 kB
Cached:        1070972 kB
SwapCached:      93484 kB
Active:         963716 kB
Inactive:      5145648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26607028 kB
SwapTotal:    67111528 kB
SwapFree:     38710660 kB
Dirty:          240584 kB
Writeback:           0 kB
AnonPages:     4825124 kB
Mapped:          14348 kB
Slab:            76092 kB
PageTables:      93336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87729200 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= 47660 MiB
End job on node113 at 2011-05-09 22:52:16