Trace number 3440042

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 1749.99 1749.97

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.63553
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

1749.92/1749.95	c WARNING: for repeatability, setting FPU to use double precision
1749.92/1749.95	s SATISFIABLE
1749.92/1749.95	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 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3440042-1306940822/watcher-3440042-1306940822 -o /tmp/evaluation-result-3440042-1306940822/solver-3440042-1306940822 -C 5000 -W 5100 -M 15500 HOME/lr_gl_shr HOME/instance-3440042-1306940822.cnf -verb=0 -model 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.91 2.00 2.00 3/489 6001
/proc/meminfo: memFree=27597656/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=19752 CPUtime=0 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 550 0 0 0 0 0 0 0 25 0 1 0 805680692 20226048 485 33554432000 4194304 4300056 140735385634304 18446744073709551615 4286249 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 4938 486 218 26 0 1570 0

[startup+0.0520301 s]
/proc/loadavg: 1.91 2.00 2.00 3/489 6001
/proc/meminfo: memFree=27597656/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=24572 CPUtime=0.05 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 2247 0 0 0 5 0 0 0 25 0 1 0 805680692 25161728 2097 33554432000 4194304 4300056 140735385634304 18446744073709551615 210204308165 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 6143 2100 222 26 0 2775 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24572

[startup+0.101021 s]
/proc/loadavg: 1.91 2.00 2.00 3/489 6001
/proc/meminfo: memFree=27597656/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=31832 CPUtime=0.09 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 4140 0 0 0 9 0 0 0 25 0 1 0 805680692 32595968 3776 33554432000 4194304 4300056 140735385634304 18446744073709551615 210204705194 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 7958 3781 222 26 0 4590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31832

[startup+0.300992 s]
/proc/loadavg: 1.91 2.00 2.00 3/489 6001
/proc/meminfo: memFree=27597656/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=47828 CPUtime=0.29 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 9136 0 0 0 28 1 0 0 25 0 1 0 805680692 48975872 8288 33554432000 4194304 4300056 140735385634304 18446744073709551615 4230355 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 11957 8288 226 26 0 8589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47828

[startup+0.700916 s]
/proc/loadavg: 1.91 2.00 2.00 3/489 6001
/proc/meminfo: memFree=27597656/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=47828 CPUtime=0.69 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 9136 0 0 0 68 1 0 0 25 0 1 0 805680692 48975872 8288 33554432000 4194304 4300056 140735385634304 18446744073709551615 4230426 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 11957 8288 226 26 0 8589 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47828

[startup+1.50078 s]
/proc/loadavg: 1.91 2.00 2.00 3/490 6002
/proc/meminfo: memFree=27563140/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=47828 CPUtime=1.49 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 9136 0 0 0 148 1 0 0 25 0 1 0 805680692 48975872 8288 33554432000 4194304 4300056 140735385634304 18446744073709551615 4230355 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 11957 8288 226 26 0 8589 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47828

[startup+3.10051 s]
/proc/loadavg: 1.91 2.00 2.00 3/490 6002
/proc/meminfo: memFree=27560412/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=47828 CPUtime=3.09 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 9136 0 0 0 308 1 0 0 25 0 1 0 805680692 48975872 8288 33554432000 4194304 4300056 140735385634304 18446744073709551615 4230399 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 11957 8288 226 26 0 8589 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47828

[startup+6.30098 s]
/proc/loadavg: 1.92 2.00 2.00 3/490 6002
/proc/meminfo: memFree=27555168/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=48184 CPUtime=6.29 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 9258 0 0 0 628 1 0 0 25 0 1 0 805680692 49340416 8406 33554432000 4194304 4300056 140735385634304 18446744073709551615 4230428 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 12046 8406 228 26 0 8678 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48184

[startup+12.7009 s]
/proc/loadavg: 2.09 2.03 2.01 3/490 6002
/proc/meminfo: memFree=27551812/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=53976 CPUtime=12.69 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 13447 0 0 0 1268 1 0 0 25 0 1 0 805680692 55271424 9234 33554432000 4194304 4300056 140735385634304 18446744073709551615 4255961 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 13494 9234 247 26 0 10126 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53976

[startup+25.5008 s]
/proc/loadavg: 2.07 2.03 2.00 3/490 6002
/proc/meminfo: memFree=27514848/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=66924 CPUtime=25.5 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 17377 0 0 0 2547 3 0 0 25 0 1 0 805680692 68530176 13082 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256057 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 16731 13082 249 26 0 13363 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 66924

[startup+51.1005 s]
/proc/loadavg: 2.11 2.04 2.01 3/490 6030
/proc/meminfo: memFree=27483336/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=92248 CPUtime=51.09 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 23118 0 0 0 5104 5 0 0 25 0 1 0 805680692 94461952 18736 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256504 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 23062 18736 249 26 0 19694 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92248

[startup+102.319 s]
/proc/loadavg: 2.05 2.03 2.00 3/490 6058
/proc/meminfo: memFree=27462124/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=131560 CPUtime=102.31 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 31329 0 0 0 10223 8 0 0 25 0 1 0 805680692 134717440 26829 33554432000 4194304 4300056 140735385634304 18446744073709551615 4275990 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 32890 26829 249 26 0 29522 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 131560

[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/490 6060
/proc/meminfo: memFree=27402252/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=188972 CPUtime=162.29 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 38381 0 0 0 16218 11 0 0 25 0 1 0 805680692 193507328 33772 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 47243 33772 249 26 0 43875 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 188972

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 6061
/proc/meminfo: memFree=27358172/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=193940 CPUtime=222.29 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 44583 0 0 0 22215 14 0 0 25 0 1 0 805680692 198594560 39891 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 48485 39891 249 26 0 45117 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 193940

[startup+282.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/490 6063
/proc/meminfo: memFree=27452724/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=109236 CPUtime=282.29 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 59180 0 0 0 28210 19 0 0 25 0 1 0 805680692 111857664 23013 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 27309 23013 249 26 0 23941 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 109236

[startup+342.301 s]
/proc/loadavg: 2.16 2.08 2.02 3/490 6065
/proc/meminfo: memFree=27395012/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=159024 CPUtime=342.29 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 67758 0 0 0 34207 22 0 0 25 0 1 0 805680692 162840576 31434 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256060 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 39756 31434 249 26 0 36388 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 159024

[startup+402.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/490 6066
/proc/meminfo: memFree=27360108/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=209112 CPUtime=402.29 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 73441 0 0 0 40203 26 0 0 25 0 1 0 805680692 214130688 37014 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256548 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 52278 37014 249 26 0 48910 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 209112

[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/490 6068
/proc/meminfo: memFree=27329300/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=209112 CPUtime=462.29 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 78712 0 0 0 46201 28 0 0 25 0 1 0 805680692 214130688 42186 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 52278 42186 249 26 0 48910 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 209112

[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/490 6069
/proc/meminfo: memFree=27304084/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=209112 CPUtime=522.3 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 83065 0 0 0 52200 30 0 0 25 0 1 0 805680692 214130688 46460 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 52278 46460 249 26 0 48910 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 209112

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 6071
/proc/meminfo: memFree=27325832/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=290500 CPUtime=582.3 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 86793 0 0 0 58198 32 0 0 25 0 1 0 805680692 297472000 50121 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256008 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 72625 50121 249 26 0 69257 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 290500

[startup+642.301 s]

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

/proc/meminfo: memFree=27256400/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=305256 CPUtime=1062.31 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 134935 0 0 0 106177 54 0 0 25 0 1 0 805680692 312582144 57945 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 76314 57945 249 26 0 72946 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 305256

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/490 6085
/proc/meminfo: memFree=27238236/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=305256 CPUtime=1122.3 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 137438 0 0 0 112175 55 0 0 25 0 1 0 805680692 312582144 60401 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 76314 60401 249 26 0 72946 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 305256

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 6087
/proc/meminfo: memFree=27220068/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=305256 CPUtime=1182.31 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 140282 0 0 0 118174 57 0 0 25 0 1 0 805680692 312582144 63209 33554432000 4194304 4300056 140735385634304 18446744073709551615 4255961 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 76314 63209 249 26 0 72946 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 305256

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 6089
/proc/meminfo: memFree=27329008/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=152140 CPUtime=1242.31 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 156231 0 0 0 124168 63 0 0 25 0 1 0 805680692 155791360 34253 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 38035 34253 249 26 0 34667 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 152140

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 6090
/proc/meminfo: memFree=27357468/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=182960 CPUtime=1302.32 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 163142 0 0 0 130165 67 0 0 25 0 1 0 805680692 187351040 41054 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 45740 41054 249 26 0 42372 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 182960

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 6092
/proc/meminfo: memFree=27315004/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=233048 CPUtime=1362.31 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 169606 0 0 0 136161 70 0 0 25 0 1 0 805680692 238641152 47387 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256570 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 58262 47387 249 26 0 54894 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 233048

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 6093
/proc/meminfo: memFree=27282692/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=233048 CPUtime=1422.33 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 174959 0 0 0 142160 73 0 0 25 0 1 0 805680692 238641152 52630 33554432000 4194304 4300056 140735385634304 18446744073709551615 4252370 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 58262 52630 249 26 0 54894 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 233048

[startup+1482.3 s]
/proc/loadavg: 2.15 2.05 2.02 3/490 6095
/proc/meminfo: memFree=27256852/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1482.32 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 179135 0 0 0 148157 75 0 0 25 0 1 0 805680692 321982464 56744 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256224 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 56744 249 26 0 75241 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 314436

[startup+1542.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/490 6097
/proc/meminfo: memFree=27236696/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1542.32 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 182276 0 0 0 154156 76 0 0 25 0 1 0 805680692 321982464 59835 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 59835 249 26 0 75241 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 314436

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/490 6098
/proc/meminfo: memFree=27215816/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1602.31 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 185737 0 0 0 160154 77 0 0 25 0 1 0 805680692 321982464 63236 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 63236 249 26 0 75241 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 314436

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/490 6100
/proc/meminfo: memFree=27194936/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1662.32 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 189650 0 0 0 166152 80 0 0 25 0 1 0 805680692 321982464 67078 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256515 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 67078 249 26 0 75241 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 314436

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 6101
/proc/meminfo: memFree=27237168/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1722.32 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 192897 0 0 0 172150 82 0 0 25 0 1 0 805680692 321982464 70260 33554432000 4194304 4300056 140735385634304 18446744073709551615 4263782 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 70260 249 26 0 75241 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 314436

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

[startup+1727.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 6102
/proc/meminfo: memFree=27234048/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1727.92 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 193207 0 0 0 172709 83 0 0 25 0 1 0 805680692 321982464 70562 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256291 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 70562 249 26 0 75241 0
Current children cumulated CPU time (s) 1727.92
Current children cumulated vsize (KiB) 314436

[startup+1740.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 6102
/proc/meminfo: memFree=27227464/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1740.72 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 193739 0 0 0 173989 83 0 0 25 0 1 0 805680692 321982464 71087 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 71087 249 26 0 75241 0
Current children cumulated CPU time (s) 1740.72
Current children cumulated vsize (KiB) 314436

[startup+1743.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 6102
/proc/meminfo: memFree=27225728/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1743.92 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 193992 0 0 0 174309 83 0 0 25 0 1 0 805680692 321982464 71339 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256046 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 71339 249 26 0 75241 0
Current children cumulated CPU time (s) 1743.92
Current children cumulated vsize (KiB) 314436

[startup+1747.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 6102
/proc/meminfo: memFree=27223484/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1747.12 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 194280 0 0 0 174629 83 0 0 25 0 1 0 805680692 321982464 71623 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256040 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 71623 249 26 0 75241 0
Current children cumulated CPU time (s) 1747.12
Current children cumulated vsize (KiB) 314436

[startup+1748.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 6102
/proc/meminfo: memFree=27222864/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1748.72 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 194353 0 0 0 174789 83 0 0 25 0 1 0 805680692 321982464 71695 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 71695 249 26 0 75241 0
Current children cumulated CPU time (s) 1748.72
Current children cumulated vsize (KiB) 314436

[startup+1749.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 6102
/proc/meminfo: memFree=27222616/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1749.52 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 194392 0 0 0 174869 83 0 0 25 0 1 0 805680692 321982464 71734 33554432000 4194304 4300056 140735385634304 18446744073709551615 4256082 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 71734 249 26 0 75241 0
Current children cumulated CPU time (s) 1749.52
Current children cumulated vsize (KiB) 314436

[startup+1749.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 6102
/proc/meminfo: memFree=27222616/32951124 swapFree=63649284/67111528
[pid=6001] ppid=5999 vsize=314436 CPUtime=1749.92 cores=1,3,5,7
/proc/6001/stat : 6001 (lr_gl_shr) R 5999 6001 5281 0 -1 4202496 194415 0 0 0 174909 83 0 0 25 0 1 0 805680692 321982464 71757 33554432000 4194304 4300056 140735385634304 18446744073709551615 4273366 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/6001/statm: 78609 71757 249 26 0 75241 0
Current children cumulated CPU time (s) 1749.92
Current children cumulated vsize (KiB) 314436

Child status: 10
Real time (s): 1749.97
CPU time (s): 1749.99
CPU user time (s): 1749.15
CPU system time (s): 0.846871
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 314436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.15
system time used= 0.846871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194433
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= 20831

runsolver used 8.16876 second user time and 20.4749 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-01 17:07:02
IDJOB=3440042
IDBENCH=83443
IDSOLVER=1938
FILE ID=node130/3440042-1306940822
RUNJOBID= node130-1306940820-5955
PBS_JOBID= 13488559
Free space on /tmp= 73796 MiB

SOLVER NAME= minisat hack: LR_GL_SHR 2011-03-02
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= HOME/lr_gl_shr BENCHNAME -verb=0 -model
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3440042-1306940822/watcher-3440042-1306940822 -o /tmp/evaluation-result-3440042-1306940822/solver-3440042-1306940822 -C 5000 -W 5100 -M 15500  HOME/lr_gl_shr HOME/instance-3440042-1306940822.cnf -verb=0 -model

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=280550332

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27597936 kB
Buffers:        144732 kB
Cached:         140476 kB
SwapCached:       9700 kB
Active:        4930720 kB
Inactive:       146732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27597936 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:           13512 kB
Writeback:           0 kB
AnonPages:     4790692 kB
Mapped:          30868 kB
Slab:           152508 kB
PageTables:      53788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145106172 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= 73792 MiB
End job on node130 at 2011-06-01 17:36:12