Trace number 3349348

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 0.180971 0.1828

General information on the benchmark

NameSAT02/industrial/biere/
dinphil/dp10s10.shuffled.cnf
MD5SUM68f401bab1ff4b19cace0727bc46ecec
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.073988
Satisfiable
(Un)Satisfiability was proved
Number of variables7759
Number of clauses23004
Sum of the clauses size54190
Maximum clause length11
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 214786
Number of clauses of size 38195
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data

0.09/0.18	c WARNING: for repeatability, setting FPU to use double precision
0.09/0.18	s SATISFIABLE
0.09/0.18	v -1  -2  -3  -4  -5  6  -7  -8  -9  -10  11  -12  -13  14  -15  16  -17  -18  19  -20  21  -22  -23  -24  25  26  -27  28  -29  30  31  -32  33  -34  35  36  -37  38  39  -40  -41  42  43  -44  -45  46  47  -48  49  50  51  52  -53  54  55  -56  -57  58  -59  60  -61  62  -63  64  65  66  67  68  69  -70  71  72  -73  74  75  -76  -77  78  -79  -80  81  82  83  -84  -85  -86  87  88  -89  -90  -91  -92  93  94  95  -96  97  -98  99  -100  101  102  103  -104  105  106  -107  -108  109  -110  111  112  113  114  115  -116  117  118  -119  -120  121  -122  123  -124  -125  -126  -127  -128  -129  130  -131  -132  133  134  135  136  -137  -138  139  -140  141  142  143  144  -145  146  147  148  149  -150  -151  -152  -153  -154  155  156  157  158  -159  160  -161  -162  -163  -164  165  166  167  168  -169  -170  -171  172  173  174  -175  176  177  178  -179  180  -181  -182  183  -184  -185  -186  -187  -188  -189  -190  191  -192  193  194  195  -196  -197  198  -199  -200  201  -202  203  -204  -205  -206  -207  -208  -209  210  211  -212  -213  -214  -215  -216  217  -218  -219  220  221  -222  -223  -224  -225  -226  -227  -228  -229  230  -231  232  233  234  -235  236  237  238  239  240  241  242  -243  -244  245  -246  -247  248  -249  -250  251  252  -253  -254  -255  256  -257  -258  259  -260  261  262  263  264  265  -266  267  268  -269  -270  -271  272  -273  -274  275  276  -277  -278  279  280  281  -282  283  284  285  286  287  288  289  290  -291  -292  293  -294  -295  296  -297  298  299  300  301  -302  -303  304  -305  306  -307  -308  309  -310  -311  312  313  -314  315  316  -317  318  -319  320  321  -322  323  324  325  326  -327  328  -329  -330  -331  -332  -333  -334  -335  336  337  -338  339  340  -341  342  -343  -344  -345  -346  -347  -348  -349  -350  -351  352  -353  -354  -355  -356  357  -358  359  -360  361  362  363  -364  365  366  367  -368  -369  370  371  -372  -373  374  -375  -376  377  -378  379  380  381  -382  383  384  -385  -386  -387  -388  389  -390  -391  -392  -393  -394  -395  396  -397  -398  -399  -400  401  402  403  404  405  -406  407  408  -409  410  -411  -412  413  -414  415  416  -417  -418  -419  420  -421  -422  -423  -424  -425  -426  427  -428  429  -430  431  -432  433  434  435  -436  437  438  -439  -440  -441  -442  443  444  -445  446  447  -448  -449  450  451  -452  453  454  -455  -456  457  458  459  460  461  462  -463  464  -465  466  467  468  -469  -470  471  -472  -473  474  -475  -476  477  478  -479  480  481  -482  -483  -484  -485  486  -487  488  489  490  491  492  -493  -494  -495  -496  -497  498  -499  -500  501  502  503  -504  505  -506  507  508  509  -510  511  -512  513  -514  -515  516  -517  518  519  -520  521  522  523  524  525  -526  527  -528  529  -530  531  532  533  -534  -535  -536  537  538  539  -540  541  -542  543  544  545  546  547  -548  -549  -550  551  -552  553  554  -555  -556  557  558  559  560  -561  -562  -563  564  -565  -566  -567  -568  -569  -570  -571  -572  573  574  -575  -576  577  -578  -579  -580  -581  -582  583  584  585  586  -587  588  -589  -590  591  592  -593  -594  -595  596  -597  598  -599  -600  -601  -602  -603  -604  605  -606  607  -608  609  -610  -611  -612  613  614  615  616  617  618  -619  -620  -621  622  -623  -624  -625  626  627  -628  629  630  -631  -632  633  -634  -635  -636  -637  -638  639  -640  641  642  643  644  645  646  -647  -648  649  650  651  652  -653  654  -655  656  -657  -658  -659  -660  661  662  -663  -664  -665  666  -667  -668  669  -670  -671  672  -673  -674  675  -676  677  678  679  -680  681  -682  683  684  685  686  687  688  -689  -690  -691  -692  693  694  695  696  -697  698  -699  -700  -701  -702  -703  704  705  706  -707  -708  -709  710  711  712  -713  -714  715  716  717  -718  -719  -720  -721  -722  723  -724  -725  726  -727  -728  -729  -730  731  732  733  734  -735  736  -737  738  739  740  741  -742  743  -744  -745  -746  747  -748  -749  -750  -751  752  753  -754  -755  756  757  -758  -759  760  -761  -762  763  764  -765  766  767  -768  -769  -770  771  -772  773  -774  775  776  777  -778  779  -780  -781  -782  -783  -784  -785  -786  -787  -788  -789  790  -791  -792  793  794  795  796  -797  -798  799  -800  801  -802  -803  804  -805  806  807  -808  809  810  -811  812  -813  -814  815  816  -817  -818  819  -820  -821  -822  823  824  -825  826  827  828  -829  830  831  832  -833  -834  835  836  -837  838  839  -840  841  -842  -843  844  -845  -846  -847  -848  849  -850  851  -852  853  854  -855  856  857  -858  -859  -860  861  862  -863  864  865  -866  867  868  869  -870  -871  -872  -873  -874  -875  876  877  878  879  -880  -881  882  883  -884  -885  -886  -887  888  889  890  -891  892  893  -894  895  -896  -897  898  -899  -900  901  902  903  -904  905  -906  907  -908  -909  -910  -911  912  913  914  915  -916  -917  -918  -919  920  921  -922  923  924  -925  -926  927  928  929  930  931  -932  -933  934  935  936  -937  -938  -939  940  941  -942  943  -944  -945  946  947  -948  -949  950  951  952  953  954  -955  956  957  -958  959  -960  -961  -962  -963  964  965  966  967  -968  969  -970  -971  972  -973  974  975  976  -977  -978  979  -980  -981  -982  -983  984  -985  986  -987  -988  989  -990  991  992  993  994  -995  996  -997  998  999  1000  -1001  -1002  1003  -1004  1005  1006  -1007  -1008  -1009  -1010  -1011  1012  -1013  -1014  1015  -1016  -1017  1018  -1019  -1020  1021  1022  -1023  1024  -1025  -1026  1027  1028  -1029  -1030  1031  -1032  -1033  -1034  1035  -1036  -1037  1038  -1039  -1040  -1041  -1042  -1043  -1044  -1045  1046  1047  1048  -1049  -1050  1051  -1052  -1053  1054  -1055  -1056  -1057  1058  1059  1060  1061  1062  -1063  1064  -1065  -1066  1067  1068  1069  -1070  -1071  1072  -1073  1074  1075  -1076  1077  -1078  -1079  1080  1081  1082  -1083  1084  1085  -1086  1087  -1088  1089  1090  1091  -1092  -1093  1094  1095  -1096  1097  -1098  -1099  -1100  1101  1102  -1103  1104  1105  -1106  -1107  1108  1109  -1110  1111  1112  1113  -1114  -1115  -1116  -1117  1118  -1119  1120  -1121  -1122  -1123  -1124  -1125  1126  1127  1128  -1129  1130  1131  1132  1133  1134  -1135  1136  -1137  -1138  -1139  -1140  -1141  1142  -1143  -1144  1145  1146  1147  -1148  -1149  -1150  1151  1152  1153  -1154  -1155  -1156  -1157  -1158  -1159  1160  -1161  1162  -1163  1164  1165  -1166  1167  -1168  -1169  1170  -1171  1172  1173  -1174  1175  -1176  1177  -1178  -1179  1180  1181  1182  -1183  -1184  -1185  -1186  1187  -1188  1189  -1190  -1191  -1192  -1193  1194  -1195  1196  1197  1198  -1199  1200  -1201  1202  1203  1204  -1205  -1206  -1207  -1208  -1209  -1210  -1211  -1212  1213  -1214  1215  -1216  1217  -1218  1219  1220  1221  1222  1223  1224  1225  -1226  -1227  -1228  -1229  1230  1231  -1232  1233  1234  -1235  -1236  1237  -1238  1239  1240  1241  -1242  1243  -1244  1245  -1246  1247  1248  -1249  1250  -1251  1252  -1253  1254  1255  -1256  1257  -1258  -1259  1260  1261  -1262  1263  -1264  1265  1266  -1267  1268  1269  -1270  1271  1272  1273  1274  -1275  1276  1277  -1278  1279  -1280  1281  -1282  -1283  -1284  -1285  1286  -1287  -1288  1289  1290  1291  1292  -1293  1294  1295  -1296  -1297  1298  -1299  -1300  -1301  -1302  1303  1304  1305  -1306  -1307  -1308  1309  -1310  1311  1312  -1313  -1314  1315  -1316  -1317  -1318  -1319  -1320  -1321  -1322  -1323  -1324  -1325  -1326  1327  -1328  1329  -1330  1331  1332  -1333  -1334  -1335  1336  1337  -1338  -1339  1340  1341  1342  1343  1344  1345  -1346  1347  -1348  -1349  -1350  1351  -1352  -1353  -1354  -1355  -1356  -1357  1358  -1359  -1360  -1361  1362  -1363  1364  1365  -1366  -1367  -1368  1369  -1370  1371  1372  1373  1374  -1375  1376  -1377  -1378  -1379  -1380  1381  1382  -1383  -1384  1385  1386  1387  1388  1389  -1390  -1391  -1392  1393  -1394  -1395  1396  -1397  1398  -1399  -1400  -1401  1402  1403  1404  -1405  1406  -1407  -1408  1409  1410  -1411  -1412  -1413  -1414  -1415  1416  1417  -1418  -1419  -1420  -1421  1422  -1423  1424  1425  -1426  -1427  1428  1429  1430  1431  1432  -1433  1434  -1435  1436  -1437  1438  1439  -1440  -1441  -1442  1443  -1444  1445  -1446  -1447  1448  1449  1450  1451  -1452  1453  1454  -1455  -1456  1457  1458  -1459  1460  1461  -1462  1463  1464  1465  -1466  1467  1468  1469  -1470  1471  1472  -1473  -1474  -1475  -1476  1477  -1478  -1479  -1480  1481  1482  1483  1484  -1485  -1486  1487  1488  -1489  1490  1491  -1492  -1493  1494  -1495  -1496  1497  -1498  -1499  -1500  1501  1502  -1503  1504  1505  1506  -1507  -1508  1509  -1510  -1511  1512  1513  1514  1515  -1516  1517  1518  1519  -1520  -1521  1522  -1523  -1524  1525  1526  -1527  1528  -1529  -1530  -1531  1532  -1533  1534  -1535  1536  1537  1538  1539  -1540  -1541  -1542  1543  1544  1545  1546  -1547  -1548  1549  1550  -1551  1552  -1553  1554  1555  1556  1557  -1558  -1559  1560  1561  1562  -1563  -1564  -1565  -1566  -1567  -1568  -1569  -1570  1571  1572  1573  1574  1575  -1576  -1577  1578  1579  -1580  1581  -1582  -1583  1584  1585  1586  -1587  1588  1589  -1590  1591  -1592  -1593  -1594  -1595  1596  -1597  1598  -1599  -1600  1601  1602  1603  -1604  -1605  -1606  1607  -1608  -1609  1610  -1611  1612  1613  -1614  1615  1616  1617  1618  -1619  1620  -1621  -1622  1623  1624  -1625  -1626  -1627  1628  1629  -1630  -1631  -1632  1633  -1634  1635  1636  -1637  -1638  -1639  -1640  -1641  1642  1643  -1644  -1645  1646  1647  1648  1649  -1650  -1651  1652  1653  1654  -1655  -1656  1657  -1658  -1659  1660  -1661  1662  1663  1664  -1665  -1666  1667  1668  -1669  -1670  1671  -1672  1673  -1674  1675  -1676  1677  1678  -1679  -1680  1681  -1682  1683  1684  1685  -1686  -1687  1688  -1689  1690  -1691  1692  1693  1694  -1695  -1696  1697  -1698  -1699  -1700  -1701  -1702  -1703  -1704  -1705  -1706  -1707  -1708  1709  -1710  -1711  1712  1713  -1714  -1715  -1716  1717  -1718  -1719  -1720  1721  1722  1723  1724  1725  1726  1727  -1728  1729  1730  -1731  1732  1733  -1734  1735  -1736  1737  -1738  -1739  1740  1741  1742  1743  1744  -1745  1746  -1747  1748  -1749  1750  -1751  1752  -1753  1754  -1755  1756  -1757  1758  -1759  -1760  1761  -1762  -1763  1764  1765  1766  -1767  -1768  -1769  -1770  -1771  -1772  -1773  1774  1775  1776  -1777  -1778  1779  1780  -1781  1782  -1783  -1784  -1785  1786  1787  1788  1789  1790  1791  1792  -1793  -1794  -1795  -1796  -1797  1798  -1799  1800  1801  -1802  1803  -1804  1805  -1806  1807  -1808  -1809  1810  1811  -1812  -1813  -1814  -1815  1816  -1817  -1818  -1819  1820  1821  -1822  1823  -1824  -1825  1826  1827  1828  1829  -1830  1831  -1832  -1833  -1834  -1835  1836  -1837  1838  -1839  -1840  1841  1842  -1843  1844  1845  -1846  -1847  -1848  -1849  -1850  1851  -1852  1853  1854  1855  -1856  -1857  1858  1859  -1860  1861  -1862  1863  1864  1865  -1866  1867  -1868  1869  1870  -1871  -1872  1873  -1874  -1875  1876  1877  1878  1879  -1880  1881  -1882  -1883  1884  -1885  1886  -1887  -1888  1889  -1890  1891  1892  -1893  1894  -1895  1896  1897  -1898  1899  1900  -1901  -1902  -1903  -1904  1905  -1906  1907  1908  1909  1910  -1911  1912  -1913  -1914  -1915  -1916  -1917  1918  1919  -1920  1921  1922  1923  1924  1925  1926  1927  -1928  1929  -1930  1931  1932  -1933  1934  1935  1936  1937  -1938  1939  -1940  1941  -1942  -1943  1944  1945  -1946  -1947  1948  -1949  -1950  -1951  -1952  -1953  1954  -1955  1956  -1957  -1958  -1959  1960  -1961  -1962  -1963  1964  1965  -1966  -1967  -1968  1969  -1970  1971  -1972  -1973  -1974  -1975  -1976  -1977  -1978  1979  1980  1981  -1982  -1983  -1984  1985  1986  -1987  1988  1989  1990  1991  -1992  -1993  -1994  -1995  1996  1997  -1998  1999  -2000  2001  -2002  2003  2004  -2005  2006  2007  -2008  -2009  -2010  -2011  -2012  2013  -2014  2015  -2016  2017  2018  -2019  2020  -2021  2022  -2023  2024  2025  -2026  -2027  -2028  -2029  -2030  -2031  -2032  2033  -2034  -2035  2036  -2037  2038  2039  -2040  2041  2042  2043  2044  2045  -2046  -2047  2048  -2049  -2050  -2051  -2052  -2053  2054  2055  2056  2057  2058  2059  2060  2061  2062  2063  -2064  2065  -2066  2067  2068  -2069  2070  -2071  -2072  -2073  2074  -2075  2076  2077  2078  2079  2080  -2081  -2082  2083  2084  -2085  -2086  -2087  -2088  2089  -2090  2091  -2092  -2093  2094  -2095  -2096  -2097  -2098  -2099  2100  2101  -2102  2103  -2104  2105  -2106  -2107  -2108  2109  2110  -2111  2112  -2113  2114  2115  2116  2117  2118  2119  2120  -2121  2122  2123  2124  2125  -2126  2127  -2128  2129  -2130  -2131  2132  2133  -2134  2135  -2136  -2137  -2138  -2139  2140  2141  -2142  -2143  2144  2145  -2146  -2147  2148  -2149  -2150  2151  -2152  -2153  2154  -2155  -2156  2157  -2158  2159  2160  -2161  2162  2163  -2164  2165  -2166  2167  -2168  2169  2170  2171  -2172  2173  -2174  -2175  -2176  -2177  -2178  -2179  2180  -2181  -2182  2183  -2184  -2185  2186  -2187  2188  2189  2190  2191  -2192  2193  -2194  2195  2196  2197  2198  -2199  2200  2201  2202  -2203  -2204  -2205  -2206  -2207  2208  2209  2210  2211  2212  2213  -2214  -2215  2216  -2217  2218  2219  2220  -2221  2222  2223  -2224  2225  -2226  2227  -2228  2229  2230  2231  2232  2233  -2234  2235  -2236  -2237  -2238  2239  2240  2241  -2242  2243  2244  2245  2246  2247  2248  -2249  2250  2251  -2252  -2253  -2254  2255  2256  -2257  -2258  2259  2260  -2261  2262  -2263  2264  2265  -2266  2267  2268  2269  2270  -2271  -2272  -2273  2274  2275  2276  2277  2278  -2279  2280  2281  2282  2283  -2284  -2285  -2286  -2287  -2288  2289  2290  2291  2292  2293  -2294  -2295  -2296  2297  -2298  -2299  2300  2301  2302  2303  2304  -2305  -2306  2307  2308  2309  -2310  2311  -2312  -2313  -2314  2315  2316  -2317  2318  -2319  2320  -2321  2322  -2323  -2324  2325  -2326  -2327  -2328  -2329  -2330  -2331  2332  2333  -2334  -2335  -2336  -2337  2338  -2339  2340  -2341  2342  -2343  2344  2345  2346  2347  2348  2349  2350  2351  -2352  -2353  2354  -2355  2356  -2357  -2358  2359  2360  2361  -2362  -2363  2364  -2365  2366  2367  -2368  2369  -2370  2371  2372  -2373  -2374  -2375  -2376  -2377  -2378  -2379  -2380  2381  2382  2383  -2384  -2385  -2386  -2387  2388  2389  2390  2391  2392  -2393  -2394  2395  2396  2397  2398  -2399  -2400  2401  2402  -2403  -2404  -2405  -2406  -2407  2408  -2409  2410  2411  2412  -2413  -2414  -2415  -2416  2417  2418  -2419  2420  -2421  2422  2423  -2424  -2425  2426  2427  2428  -2429  -2430  -2431  2432  2433  -2434  -2435  -2436  2437  -2438  2439  2440  2441  -2442  -2443  2444  2445  2446  -2447  2448  2449  -2450  -2451  2452  2453  -2454  -2455  2456  -2457  -2458  -2459  -2460  -2461  2462  -2463  2464  -2465  2466  -2467  -2468  2469  -2470  -2471  2472  -2473  2474  2475  -2476  2477  2478  2479  2480  2481  -2482  -2483  2484  -2485  -2486  -2487  2488  -2489  2490  2491  2492  2493  2494  2495  2496  -2497  2498  -2499  -2500  2501  -2502  2503  -2504  -2505  2506  -2507  -2508  -2509  -2510  -2511  -2512  2513  2514  2515  2516  2517  -2518  -2519  -2520  2521  -2522  2523  2524  -2525  2526  -2527  -2528  -2529  2530  2531  2532  2533  2534  -2535  -2536  -2537  2538  -2539  -2540  -2541  -2542  2543  2544  -2545  -2546  -2547  2548  -2549  -2550  -2551  -2552  2553  -2554  -2555  -2556  -2557  2558  -2559  2560  2561  2562  2563  2564  -2565  -2566  -2567  -2568  -2569  2570  2571  -2572  -2573  2574  2575  2576  -2577  2578  -2579  -2580  -2581  -2582  -2583  -2584  2585  -2586  2587  -2588  2589  2590  -2591  2592  2593  -2594  -2595  2596  2597  2598  2599  -2600  -2601  2602  2603  2604  -2605  2606  -2607  -2608  -2609  -2610  2611  2612  -2613  2614  2615  -2616  -2617  2618  -2619  2620  2621  2622  -2623  2624  2625  -2626  2627  -2628  2629  2630  2631  2632  2633  -2634  2635  2636  2637  -2638  -2639  2640  -2641  -2642  -2643  -2644  -2645  2646  -2647  2648  2649  -2650  -2651  -2652  -2653  -2654  -2655  -2656  -2657  2658  -2659  -2660  2661  -2662  2663  -2664  -2665  2666  -2667  -2668  -2669  2670  -2671  2672  -2673  -2674  2675  -2676  -2677  -2678  2679  -2680  2681  -2682  2683  -2684  -2685  2686  -2687  2688  -2689  2690  -2691  2692  2693  -2694  -2695  2696  2697  2698  2699  -2700  -2701  -2702  2703  -2704  -2705  2706  -2707  2708  2709  2710  2711  -2712  2713  2714  -2715  -2716  -2717  -2718  -2719  -2720  2721  2722  2723  2724  2725  2726  -2727  -2728  -2729  2730  -2731  -2732  -2733  2734  2735  -2736  2737  2738  -2739  2740  2741  2742  -2743  2744  2745  -2746  2747  2748  2749  -2750  -2751  -2752  -2753  2754  -2755  2756  -2757  2758  -2759  -2760  2761  -2762  2763  -2764  2765  -2766  2767  2768  2769  2770  2771  -2772  -2773  -2774  -2775  2776  -2777  -2778  2779  -2780  2781  -2782  2783  -2784  2785  2786  2787  -2788  2789  -2790  2791  2792  2793  -2794  -2795  2796  2797  2798  2799  -2800  2801  -2802  -2803  2804  2805  -2806  -2807  -2808  2809  2810  2811  -2812  -2813  -2814  -2815  2816  2817  -2818  2819  2820  -2821  -2822  -2823  -2824  -2825  2826  2827  -2828  2829  -2830  2831  -2832  -2833  2834  -2835  -2836  -2837  -2838  -2839  2840  -2841  -2842  -2843  -2844  -2845  -2846  -2847  -2848  2849  2850  2851  -2852  -2853  -2854  2855  -2856  2857  -2858  -2859  -2860  -2861  2862  -2863  2864  2865  -2866  -2867  2868  2869  2870  2871  -2872  2873  -2874  -2875  2876  -2877  -2878  2879  -2880  2881  2882  -2883  -2884  2885  2886  2887  -2888  2889  2890  -2891  2892  2893  -2894  2895  2896  2897  2898  2899  2900  2901  2902  -2903  -2904  -2905  -2906  2907  2908  -2909  -2910  -2911  2912  2913  2914  -2915  2916  -2917  2918  -2919  2920  -2921  -2922  2923  -2924  2925  2926  -2927  -2928  -2929  -2930  -2931  2932  -2933  -2934  -2935  2936  -2937  -2938  2939  2940  2941  -2942  2943  2944  2945  2946  -2947  -2948  -2949  2950  2951  -2952  -2953  2954  2955  -2956  -2957  -2958  2959  2960  -2961  -2962  -2963  2964  -2965  2966  -2967  -2968  -2969  2970  2971  2972  -2973  -2974  -2975  -2976  2977  -2978  2979  -2980  -2981  -2982  2983  -2984  -2985  2986  -2987  -2988  2989  -2990  -2991  2992  -2993  2994  2995  2996  -2997  2998  -2999  -3000  -3001  3002  -3003  -3004  3005  -3006  -3007  3008  -3009  -3010  3011  -3012  3013  -3014  3015  3016  3017  3018  3019  -3020  -3021  3022  -3023  -3024  3025  3026  -3027  3028  3029  -3030  3031  3032  3033  3034  -3035  3036  -3037  -3038  3039  3040  -3041  -3042  -3043  3044  3045  3046  -3047  -3048  -3049  -3050  -3051  3052  -3053  -3054  -3055  3056  3057  -3058  3059  -3060  -3061  -3062  3063  3064  -3065  3066  -3067  -3068  3069  3070  3071  3072  3073  3074  3075  3076  -3077  3078  -3079  -3080  -3081  3082  -3083  -3084  3085  -3086  3087  3088  3089  3090  -3091  -3092  3093  3094  3095  3096  -3097  3098  3099  -3100  -3101  3102  -3103  3104  3105  3106  -3107  3108  -3109  3110  -3111  3112  3113  -3114  3115  3116  3117  -3118  3119  -3120  -3121  -3122  3123  3124  -3125  -3126  3127  3128  -3129  3130  3131  3132  3133  3134  3135  3136  3137  -3138  3139  3140  3141  3142  3143  3144  3145  3146  3147  -3148  3149  -3150  3151  -3152  -3153  3154  -3155  -3156  3157  3158  3159  -3160  -3161  -3162  -3163  3164  -3165  -3166  3167  -3168  -3169  3170  3171  -3172  3173  -3174  -3175  3176  3177  -3178  -3179  -3180  -3181  -3182  3183  3184  -3185  -3186  3187  3188  -3189  -3190  3191  -3192  -3193  -3194  3195  -3196  -3197  -3198  3199  -3200  3201  3202  -3203  3204  3205  3206  -3207  3208  3209  3210  3211  3212  -3213  -3214  -3215  3216  3217  -3218  -3219  -3220  3221  -3222  3223  -3224  -3225  -3226  -3227  3228  -3229  3230  -3231  -3232  -3233  -3234  -3235  -3236  -3237  -3238  3239  -3240  3241  3242  3243  3244  3245  -3246  -3247  3248  3249  3250  -3251  -3252  3253  -3254  -3255  -3256  -3257  3258  3259  -3260  3261  -3262  -3263  -3264  3265  -3266  -3267  -3268  -3269  3270  3271  3272  3273  3274  3275  -3276  3277  3278  3279  3280  -3281  3282  3283  3284  -3285  3286  3287  3288  3289  3290  3291  -3292  -3293  3294  3295  -3296  3297  3298  -3299  -3300  -3301  -3302  3303  3304  3305  -3306  -3307  3308  3309  3310  3311  -3312  3313  -3314  -3315  3316  -3317  -3318  3319  -3320  3321  -3322  3323  -3324  3325  3326  -3327  -3328  3329  3330  -3331  3332  3333  3334  3335  -3336  -3337  -3338  -3339  -3340  3341  3342  3343  -3344  3345  -3346  -3347  3348  3349  3350  3351  3352  -3353  -3354  -3355  -3356  3357  -3358  -3359  -3360  -3361  -3362  3363  3364  -3365  3366  -3367  3368  -3369  3370  3371  3372  -3373  3374  -3375  3376  -3377  3378  3379  3380  3381  -3382  -3383  3384  3385  -3386  -3387  -3388  3389  3390  -3391  -3392  -3393  3394  -3395  3396  3397  -3398  3399  3400  3401  3402  3403  -3404  -3405  -3406  3407  3408  3409  3410  3411  -3412  3413  -3414  3415  3416  -3417  -3418  3419  3420  -3421  -3422  -3423  -3424  -3425  -3426  3427  3428  3429  3430  3431  -3432  -3433  3434  -3435  -3436  3437  3438  -3439  -3440  3441  -3442  3443  -3444  -3445  -3446  3447  -3448  3449  3450  -3451  -3452  -3453  3454  -3455  -3456  -3457  -3458  -3459  -3460  3461  -3462  -3463  3464  -3465  -3466  -3467  3468  3469  3470  3471  -3472  3473  -3474  3475  3476  3477  -3478  -3479  -3480  -3481  3482  3483  -3484  3485  -3486  -3487  -3488  -3489  3490  3491  -3492  -3493  -3494  -3495  3496  3497  3498  -3499  3500  3501  -3502  -3503  3504  -3505  3506  3507  -3508  3509  -3510  3511  -3512  -3513  3514  3515  3516  -3517  -3518  -3519  3520  -3521  3522  -3523  3524  -3525  3526  3527  -3528  -3529  -3530  3531  3532  -3533  3534  3535  -3536  3537  -3538  -3539  3540  -3541  3542  3543  3544  3545  -3546  -3547  -3548  3549  3550  3551  -3552  -3553  -3554  -3555  -3556  3557  -3558  3559  -3560  3561  3562  -3563  3564  -3565  -3566  -3567  3568  3569  -3570  -3571  -3572  -3573  3574  3575  -3576  -3577  3578  -3579  -3580  3581  -3582  -3583  -3584  -3585  -3586  -3587  3588  3589  -3590  -3591  -3592  -3593  -3594  -3595  3596  -3597  3598  -3599  3600  -3601  -3602  3603  -3604  3605  -3606  3607  -3608  3609  3610  -3611  -3612  -3613  3614  -3615  -3616  -3617  -3618  -3619  3620  3621  3622  3623  -3624  -3625  -3626  -3627  3628  -3629  3630  3631  -3632  -3633  -3634  -3635  3636  -3637  -3638  -3639  -3640  -3641  -3642  -3643  -3644  -3645  -3646  3647  3648  3649  -3650  -3651  -3652  -3653  3654  3655  3656  3657  -3658  3659  3660  -3661  3662  3663  -3664  3665  -3666  -3667  -3668  3669  3670  -3671  3672  3673  -3674  3675  -3676  3677  3678  -3679  -3680  -3681  -3682  3683  -3684  -3685  3686  3687  3688  3689  -3690  3691  3692  -3693  3694  3695  -3696  3697  -3698  3699  3700  3701  -3702  3703  3704  3705  3706  -3707  3708  -3709  3710  -3711  3712  -3713  3714  -3715  3716  3717  -3718  -3719  3720  -3721  3722  -3723  -3724  -3725  -3726  -3727  -3728  3729  -3730  3731  3732  3733  3734  -3735  3736  3737  -3738  3739  -3740  -3741  3742  -3743  3744  3745  3746  -3747  3748  -3749  -3750  3751  3752  3753  3754  -3755  -3756  -3757  3758  -3759  3760  -3761  -3762  3763  3764  -3765  3766  -3767  3768  -3769  -3770  3771  3772  3773  3774  -3775  -3776  -3777  3778  3779  -3780  3781  3782  3783  3784  -3785  3786  -3787  -3788  3789  3790  -3791  3792  -3793  -3794  -3795  3796  -3797  3798  3799  3800  -3801  3802  -3803  3804  3805  -3806  -3807  -3808  3809  -3810  -3811  3812  3813  3814  -3815  3816  -3817  3818  3819  -3820  3821  -3822  -3823  3824  -3825  -3826  3827  -3828  -3829  -3830  3831  -3832  -3833  3834  -3835  -3836  -3837  -3838  -3839  -3840  3841  3842  -3843  3844  3845  3846  3847  3848  3849  -3850  -3851  -3852  3853  3854  -3855  3856  3857  -3858  3859  -3860  -3861  -3862  3863  3864  3865  -3866  3867  -3868  3869  -3870  -3871  -3872  3873  -3874  3875  3876  -3877  3878  3879  3880  3881  3882  3883  -3884  3885  3886  -3887  -3888  -3889  3890  3891  -3892  -3893  -3894  -3895  3896  3897  3898  -3899  3900  3901  -3902  -3903  3904  3905  3906  3907  3908  3909  3910  -3911  3912  -3913  -3914  -3915  3916  3917  -3918  -3919  -3920  -3921  3922  3923  -3924  -3925  3926  -3927  -3928  -3929  3930  -3931  -3932  -3933  3934  -3935  -3936  -3937  -3938  -3939  3940  -3941  -3942  3943  3944  3945  3946  -3947  -3948  3949  -3950  3951  3952  3953  3954  3955  -3956  3957  3958  3959  3960  -3961  -3962  3963  3964  3965  3966  3967  3968  -3969  3970  -3971  -3972  3973  3974  3975  3976  -3977  3978  3979  3980  3981  3982  3983  -3984  3985  3986  -3987  -3988  -3989  3990  -3991  3992  3993  3994  -3995  -3996  -3997  -3998  3999  4000  -4001  -4002  4003  -4004  -4005  -4006  4007  4008  -4009  -4010  -4011  4012  -4013  -4014  -4015  -4016  -4017  -4018  4019  -4020  4021  -4022  -4023  4024  -4025  -4026  -4027  4028  4029  -4030  -4031  4032  4033  4034  -4035  -4036  -4037  4038  -4039  4040  4041  4042  4043  4044  -4045  4046  4047  -4048  -4049  -4050  4051  -4052  4053  4054  4055  4056  4057  4058  4059  -4060  -4061  -4062  4063  -4064  -4065  4066  4067  4068  -4069  4070  -4071  4072  -4073  4074  4075  -4076  -4077  -4078  -4079  -4080  4081  -4082  4083  4084  -4085  -4086  -4087  -4088  -4089  4090  4091  4092  4093  -4094  -4095  4096  -4097  -4098  -4099  -4100  4101  4102  -4103  -4104  -4105  4106  4107  4108  4109  -4110  4111  -4112  4113  -4114  4115  -4116  4117  -4118  4119  -4120  4121  4122  -4123  -4124  4125  4126  4127  4128  4129  -4130  4131  -4132  4133  4134  4135  4136  -4137  -4138  4139  -4140  -4141  4142  -4143  4144  4145  4146  -4147  4148  -4149  4150  -4151  -4152  4153  4154  4155  -4156  4157  -4158  4159  -4160  -4161  -4162  -4163  4164  -4165  -4166  -4167  4168  4169  -4170  -4171  -4172  4173  4174  4175  -4176  4177  4178  4179  4180  4181  4182  4183  -4184  4185  4186  -4187  4188  4189  4190  -4191  4192  -4193  4194  -4195  4196  -4197  4198  4199  4200  4201  -4202  4203  -4204  -4205  -4206  -4207  4208  -4209  -4210  -4211  -4212  -4213  4214  -4215  4216  4217  -4218  -4219  4220  4221  4222  4223  4224  4225  4226  -4227  -4228  -4229  -4230  4231  -4232  4233  -4234  4235  -4236  -4237  4238  -4239  4240  -4241  4242  -4243  -4244  -4245  4246  -4247  -4248  4249  4250  -4251  4252  4253  -4254  4255  -4256  4257  -4258  4259  4260  4261  -4262  4263  -4264  -4265  -4266  4267  -4268  4269  -4270  -4271  4272  -4273  -4274  -4275  -4276  -4277  4278  -4279  4280  4281  -4282  -4283  4284  4285  -4286  -4287  4288  -4289  4290  -4291  -4292  -4293  -4294  4295  4296  -4297  4298  -4299  4300  4301  4302  4303  -4304  -4305  -4306  4307  -4308  4309  -4310  4311  -4312  4313  -4314  4315  -4316  4317  -4318  4319  4320  -4321  -4322  4323  4324  -4325  -4326  -4327  -4328  -4329  -4330  -4331  -4332  4333  -4334  -4335  4336  -4337  -4338  -4339  4340  4341  4342  -4343  4344  -4345  -4346  -4347  4348  4349  -4350  4351  -4352  -4353  -4354  -4355  -4356  -4357  -4358  4359  -4360  -4361  -4362  -4363  -4364  -4365  -4366  -4367  -4368  4369  -4370  4371  -4372  -4373  4374  -4375  -4376  4377  4378  4379  -4380  4381  -4382  -4383  -4384  4385  -4386  -4387  -4388  4389  -4390  4391  4392  -4393  -4394  4395  4396  -4397  -4398  -4399  -4400  -4401  4402  -4403  4404  4405  4406  -4407  4408  -4409  4410  4411  4412  4413  -4414  4415  -4416  4417  -4418  -4419  -4420  4421  -4422  -4423  4424  4425  4426  4427  -4428  -4429  4430  -4431  4432  -4433  4434  -4435  -4436  -4437  4438  -4439  4440  -4441  -4442  4443  -4444  -4445  4446  -4447  -4448  4449  4450  -4451  -4452  -4453  4454  4455  -4456  4457  4458  4459  4460  -4461  4462  4463  -4464  -4465  4466  -4467  4468  4469  4470  4471  4472  -4473  4474  -4475  4476  -4477  4478  4479  -4480  -4481  4482  4483  -4484  4485  4486  4487  -4488  -4489  -4490  4491  -4492  -4493  4494  4495  4496  -4497  -4498  4499  -4500  4501  -4502  4503  4504  4505  -4506  4507  4508  4509  -4510  -4511  -4512  -4513  4514  4515  -4516  -4517  -4518  4519  -4520  4521  4522  4523  -4524  -4525  -4526  -4527  -4528  -4529  -4530  4531  4532  -4533  4534  4535  4536  4537  4538  -4539  4540  -4541  4542  -4543  -4544  4545  4546  -4547  4548  4549  4550  -4551  4552  -4553  -4554  4555  4556  4557  4558  -4559  -4560  4561  4562  -4563  4564  -4565  4566  4567  -4568  4569  4570  -4571  4572  -4573  -4574  -4575  -4576  -4577  4578  4579  4580  -4581  4582  4583  -4584  -4585  4586  4587  4588  -4589  -4590  4591  -4592  4593  4594  -4595  -4596  -4597  -4598  4599  -4600  4601  -4602  -4603  -4604  4605  4606  4607  -4608  4609  4610  4611  4612  -4613  -4614  -4615  -4616  -4617  -4618  4619  -4620  4621  4622  4623  4624  4625  -4626  4627  4628  -4629  -4630  -4631  -4632  4633  -4634  4635  4636  -4637  -4638  -4639  4640  -4641  -4642  4643  -4644  4645  -4646  -4647  4648  4649  4650  4651  4652  -4653  4654  -4655  -4656  -4657  -4658  -4659  4660  -4661  4662  4663  -4664  -4665  -4666  4667  -4668  -4669  4670  -4671  4672  4673  4674  -4675  -4676  4677  -4678  4679  -4680  -4681  4682  4683  4684  -4685  -4686  -4687  4688  4689  -4690  4691  -4692  -4693  4694  -4695  -4696  -4697  -4698  -4699  4700  -4701  -4702  4703  -4704  -4705  4706  4707  4708  -4709  4710  4711  4712  4713  4714  -4715  4716  4717  -4718  -4719  -4720  -4721  -4722  -4723  -4724  4725  -4726  4727  4728  -4729  4730  4731  -4732  -4733  4734  4735  4736  4737  4738  4739  -4740  -4741  -4742  -4743  4744  -4745  -4746  -4747  -4748  4749  4750  -4751  4752  -4753  -4754  -4755  -4756  4757  4758  4759  -4760  4761  4762  4763  -4764  -4765  -4766  4767  4768  -4769  -4770  -4771  -4772  -4773  4774  -4775  4776  4777  4778  -4779  4780  4781  -4782  -4783  -4784  4785  -4786  -4787  4788  4789  4790  -4791  -4792  4793  -4794  -4795  -4796  -4797  -4798  4799  4800  -4801  4802  4803  -4804  4805  -4806  -4807  4808  -4809  -4810  4811  4812  4813  -4814  4815  4816  -4817  -4818  -4819  -4820  -4821  4822  4823  4824  -4825  4826  4827  -4828  4829  -4830  4831  4832  -4833  -4834  -4835  -4836  4837  4838  4839  4840  -4841  -4842  4843  4844  -4845  4846  -4847  -4848  4849  -4850  4851  4852  4853  -4854  4855  4856  4857  -4858  -4859  4860  -4861  -4862  -4863  4864  -4865  4866  -4867  -4868  -4869  -4870  4871  -4872  -4873  4874  4875  4876  4877  -4878  -4879  -4880  -4881  -4882  -4883  -4884  4885  -4886  -4887  -4888  4889  -4890  -4891  -4892  -4893  4894  4895  4896  -4897  4898  4899  4900  4901  4902  4903  4904  4905  4906  -4907  -4908  -4909  4910  4911  4912  4913  -4914  4915  4916  4917  4918  -4919  -4920  -4921  -4922  4923  4924  -4925  4926  -4927  -4928  -4929  -4930  -4931  -4932  4933  -4934  -4935  -4936  -4937  -4938  4939  4940  -4941  -4942  4943  -4944  -4945  -4946  -4947  -4948  -4949  4950  4951  -4952  -4953  4954  -4955  -4956  -4957  -4958  4959  -4960  -4961  -4962  4963  4964  4965  -4966  4967  4968  -4969  4970  4971  4972  4973  -4974  4975  4976  4977  -4978  -4979  -4980  4981  -4982  4983  4984  -4985  4986  4987  4988  -4989  -4990  4991  4992  -4993  -4994  4995  4996  -4997  4998  -4999  -5000  -5001  5002  5003  5004  -5005  5006  -5007  -5008  -5009  -5010  5011  5012  5013  5014  -5015  5016  5017  -5018  -5019  5020  5021  5022  5023  -5024  -5025  -5026  -5027  5028  5029  5030  5031  -5032  5033  5034  -5035  5036  5037  5038  -5039  -5040  5041  -5042  5043  5044  -5045  5046  -5047  5048  -5049  5050  5051  -5052  5053  -5054  5055  5056  -5057  -5058  -5059  5060  5061  -5062  5063  -5064  -5065  5066  5067  5068  -5069  -5070  -5071  5072  5073  5074  5075  -5076  -5077  -5078  5079  -5080  5081  -5082  -5083  5084  5085  5086  -5087  -5088  5089  -5090  5091  5092  -5093  -5094  -5095  5096  -5097  -5098  5099  5100  5101  -5102  -5103  -5104  5105  5106  5107  -5108  -5109  5110  5111  5112  5113  5114  -5115  -5116  5117  -5118  -5119  5120  -5121  -5122  -5123  5124  -5125  5126  -5127  5128  5129  -5130  -5131  -5132  5133  -5134  5135  -5136  -5137  -5138  5139  5140  -5141  5142  5143  -5144  5145  5146  -5147  5148  5149  -5150  -5151  -5152  -5153  5154  -5155  5156  -5157  5158  -5159  5160  -5161  5162  5163  5164  5165  5166  5167  5168  -5169  -5170  5171  5172  5173  5174  -5175  5176  -5177  5178  5179  5180  -5181  -5182  5183  5184  -5185  -5186  5187  5188  -5189  -5190  -5191  -5192  5193  -5194  -5195  -5196  -5197  -5198  -5199  5200  -5201  -5202  5203  -5204  5205  5206  5207  -5208  -5209  5210  -5211  5212  -5213  5214  5215  5216  5217  5218  -5219  5220  5221  -5222  5223  5224  5225  5226  -5227  5228  -5229  5230  5231  5232  5233  5234  -5235  -5236  -5237  5238  5239  5240  5241  -5242  -5243  -5244  5245  -5246  -5247  5248  5249  5250  5251  -5252  -5253  5254  5255  -5256  -5257  -5258  -5259  -5260  5261  5262  5263  5264  -5265  5266  -5267  -5268  5269  5270  -5271  5272  5273  -5274  5275  -5276  5277  5278  5279  -5280  5281  -5282  5283  -5284  -5285  5286  5287  -5288  -5289  5290  5291  -5292  -5293  5294  -5295  -5296  -5297  -5298  -5299  -5300  5301  5302  5303  -5304  -5305  -5306  5307  5308  -5309  5310  -5311  -5312  -5313  5314  -5315  -5316  5317  5318  -5319  5320  5321  5322  5323  5324  5325  -5326  5327  -5328  -5329  -5330  5331  -5332  5333  5334  -5335  -5336  5337  -5338  5339  5340  5341  5342  5343  5344  5345  5346  -5347  5348  -5349  5350  -5351  -5352  -5353  5354  5355  -5356  5357  5358  -5359  5360  5361  -5362  -5363  -5364  -5365  -5366  -5367  5368  -5369  -5370  -5371  5372  -5373  5374  5375  -5376  -5377  5378  5379  -5380  5381  -5382  5383  -5384  -5385  -5386  5387  -5388  -5389  5390  -5391  -5392  -5393  5394  -5395  5396  5397  -5398  -5399  -5400  5401  5402  -5403  -5404  5405  -5406  5407  -5408  -5409  -5410  -5411  -5412  5413  -5414  -5415  5416  5417  -5418  5419  -5420  5421  -5422  -5423  -5424  5425  5426  -5427  5428  -5429  5430  5431  5432  5433  -5434  5435  5436  5437  5438  -5439  5440  5441  5442  -5443  5444  5445  5446  5447  5448  -5449  -5450  5451  -5452  5453  5454  5455  5456  -5457  -5458  -5459  -5460  -5461  5462  -5463  5464  -5465  -5466  -5467  5468  -5469  5470  5471  5472  -5473  5474  5475  5476  -5477  -5478  5479  -5480  -5481  5482  -5483  5484  -5485  5486  5487  5488  5489  5490  -5491  5492  -5493  5494  5495  5496  5497  -5498  5499  5500  5501  5502  5503  5504  -5505  -5506  5507  5508  5509  -5510  -5511  5512  -5513  5514  5515  5516  -5517  5518  -5519  -5520  -5521  5522  5523  5524  -5525  -5526  -5527  5528  5529  -5530  -5531  -5532  -5533  -5534  5535  -5536  5537  5538  -5539  -5540  5541  -5542  5543  -5544  -5545  5546  5547  -5548  -5549  -5550  -5551  -5552  -5553  -5554  -5555  -5556  -5557  -5558  5559  5560  5561  -5562  -5563  5564  -5565  -5566  5567  5568  -5569  5570  5571  -5572  5573  -5574  5575  5576  -5577  -5578  -5579  -5580  5581  -5582  5583  5584  5585  5586  -5587  5588  -5589  -5590  5591  -5592  -5593  -5594  -5595  -5596  5597  -5598  -5599  5600  -5601  -5602  -5603  -5604  -5605  5606  5607  5608  5609  5610  5611  -5612  -5613  5614  -5615  5616  5617  -5618  -5619  -5620  -5621  -5622  5623  5624  -5625  -5626  -5627  -5628  5629  -5630  5631  -5632  -5633  -5634  5635  -5636  -5637  5638  -5639  -5640  -5641  -5642  5643  5644  5645  5646  5647  -5648  5649  -5650  -5651  5652  5653  5654  5655  5656  -5657  5658  5659  -5660  5661  -5662  5663  -5664  5665  -5666  -5667  5668  -5669  -5670  5671  -5672  5673  -5674  5675  5676  5677  -5678  5679  5680  5681  -5682  5683  -5684  -5685  -5686  5687  5688  5689  -5690  5691  -5692  -5693  -5694  -5695  5696  -5697  5698  5699  5700  5701  -5702  -5703  -5704  5705  5706  -5707  -5708  5709  5710  -5711  5712  -5713  -5714  -5715  5716  5717  5718  -5719  5720  5721  -5722  -5723  -5724  5725  -5726  5727  5728  5729  -5730  -5731  5732  5733  5734  5735  5736  -5737  5738  -5739  -5740  5741  -5742  5743  5744  -5745  5746  5747  -5748  -5749  5750  -5751  -5752  5753  5754  -5755  5756  -5757  -5758  5759  -5760  5761  -5762  5763  5764  5765  5766  5767  5768  -5769  -5770  5771  5772  5773  -5774  -5775  -5776  -5777  5778  -5779  -5780  -5781  5782  -5783  5784  -5785  -5786  5787  -5788  5789  -5790  -5791  5792  5793  5794  -5795  5796  5797  5798  -5799  5800  -5801  5802  -5803  -5804  -5805  5806  -5807  -5808  -5809  5810  5811  -5812  -5813  -5814  -5815  -5816  5817  5818  -5819  -5820  5821  5822  -5823  5824  5825  -5826  5827  5828  -5829  -5830  -5831  -5832  -5833  5834  5835  5836  -5837  -5838  5839  -5840  -5841  -5842  5843  -5844  5845  -5846  -5847  5848  5849  -5850  5851  -5852  -5853  5854  5855  5856  -5857  5858  -5859  -5860  5861  5862  -5863  -5864  -5865  5866  -5867  5868  5869  5870  5871  -5872  -5873  -5874  5875  -5876  -5877  -5878  5879  -5880  -5881  5882  -5883  -5884  -5885  5886  5887  -5888  5889  -5890  -5891  5892  -5893  -5894  5895  -5896  -5897  -5898  5899  -5900  -5901  5902  5903  -5904  5905  5906  5907  5908  -5909  -5910  5911  5912  -5913  5914  -5915  5916  5917  -5918  5919  -5920  5921  -5922  5923  5924  5925  5926  5927  -5928  5929  5930  5931  -5932  5933  5934  5935  -5936  -5937  -5938  5939  -5940  -5941  5942  -5943  -5944  5945  5946  -5947  5948  -5949  -5950  -5951  5952  5953  -5954  5955  -5956  5957  -5958  5959  -5960  5961  5962  5963  -5964  5965  -5966  5967  5968  -5969  -5970  5971  -5972  5973  5974  5975  5976  5977  5978  5979  5980  -5981  -5982  5983  5984  5985  -5986  -5987  -5988  -5989  5990  -5991  5992  -5993  5994  5995  -5996  5997  5998  -5999  6000  6001  6002  6003  -6004  6005  -6006  -6007  6008  6009  -6010  -6011  -6012  6013  -6014  6015  6016  -6017  -6018  -6019  6020  6021  6022  6023  6024  6025  6026  6027  6028  6029  6030  6031  -6032  -6033  -6034  6035  6036  6037  -6038  -6039  -6040  -6041  -6042  6043  -6044  6045  6046  -6047  6048  6049  -6050  -6051  -6052  -6053  -6054  6055  6056  -6057  -6058  -6059  6060  -6061  6062  -6063  6064  6065  6066  -6067  6068  6069  -6070  6071  -6072  6073  6074  6075  -6076  6077  -6078  6079  6080  -6081  6082  -6083  6084  6085  -6086  -6087  6088  -6089  6090  6091  -6092  6093  6094  -6095  -6096  -6097  6098  -6099  6100  6101  -6102  -6103  -6104  -6105  -6106  -6107  6108  -6109  6110  6111  -6112  6113  -6114  -6115  -6116  -6117  6118  -6119  6120  -6121  6122  -6123  -6124  -6125  6126  -6127  -6128  -6129  6130  6131  6132  -6133  -6134  6135  6136  6137  6138  6139  6140  6141  6142  6143  6144  -6145  -6146  6147  6148  -6149  -6150  6151  6152  6153  -6154  -6155  6156  6157  -6158  6159  -6160  6161  -6162  6163  -6164  6165  6166  -6167  6168  6169  6170  -6171  -6172  -6173  -6174  6175  -6176  -6177  -6178  6179  -6180  6181  -6182  6183  6184  -6185  6186  -6187  -6188  -6189  -6190  -6191  -6192  6193  -6194  -6195  6196  -6197  -6198  -6199  -6200  6201  6202  6203  -6204  6205  6206  -6207  6208  -6209  -6210  6211  -6212  -6213  6214  -6215  6216  -6217  6218  6219  -6220  -6221  6222  6223  -6224  6225  -6226  6227  6228  6229  -6230  -6231  6232  6233  6234  -6235  6236  6237  6238  -6239  -6240  -6241  6242  6243  -6244  -6245  6246  -6247  6248  -6249  6250  6251  6252  -6253  -6254  -6255  6256  -6257  6258  6259  6260  -6261  6262  -6263  -6264  6265  6266  6267  -6268  -6269  -6270  6271  -6272  6273  -6274  6275  6276  6277  -6278  -6279  6280  -6281  -6282  -6283  -6284  6285  6286  -6287  6288  6289  -6290  6291  -6292  6293  -6294  -6295  6296  -6297  -6298  -6299  6300  6301  -6302  6303  6304  6305  6306  6307  6308  -6309  -6310  -6311  -6312  6313  -6314  6315  -6316  -6317  6318  -6319  6320  6321  -6322  -6323  6324  -6325  -6326  -6327  6328  -6329  -6330  -6331  -6332  6333  -6334  -6335  6336  6337  6338  6339  6340  6341  6342  -6343  6344  6345  -6346  6347  6348  -6349  6350  6351  6352  -6353  6354  6355  6356  6357  6358  -6359  6360  -6361  6362  6363  -6364  6365  6366  -6367  6368  -6369  -6370  6371  -6372  6373  -6374  -6375  6376  -6377  6378  -6379  6380  -6381  6382  -6383  -6384  -6385  6386  6387  -6388  -6389  -6390  -6391  6392  6393  -6394  -6395  6396  -6397  -6398  6399  -6400  6401  -6402  6403  6404  6405  -6406  6407  6408  6409  -6410  6411  -6412  -6413  -6414  6415  -6416  6417  -6418  6419  6420  -6421  -6422  6423  -6424  6425  -6426  6427  6428  -6429  6430  -6431  6432  -6433  -6434  -6435  -6436  -6437  6438  -6439  -6440  -6441  6442  -6443  6444  -6445  6446  6447  -6448  -6449  6450  6451  6452  6453  -6454  6455  -6456  -6457  6458  6459  6460  6461  -6462  6463  -6464  6465  6466  -6467  6468  -6469  -6470  -6471  6472  6473  6474  -6475  -6476  -6477  -6478  6479  -6480  6481  6482  6483  -6484  -6485  -6486  -6487  -6488  -6489  6490  6491  6492  -6493  -6494  -6495  6496  -6497  6498  6499  6500  -6501  6502  -6503  -6504  -6505  -6506  -6507  6508  6509  -6510  -6511  6512  6513  -6514  -6515  6516  6517  -6518  -6519  6520  6521  6522  6523  -6524  -6525  6526  -6527  -6528  -6529  6530  6531  6532  -6533  6534  -6535  6536  -6537  6538  -6539  -6540  6541  -6542  6543  6544  6545  -6546  6547  6548  -6549  -6550  6551  6552  -6553  6554  6555  6556  -6557  -6558  -6559  6560  6561  -6562  -6563  -6564  -6565  -6566  -6567  6568  6569  -6570  6571  -6572  -6573  6574  -6575  -6576  -6577  6578  6579  -6580  6581  -6582  -6583  -6584  -6585  -6586  -6587  -6588  -6589  -6590  -6591  6592  -6593  -6594  6595  6596  -6597  -6598  -6599  -6600  6601  -6602  -6603  6604  6605  6606  6607  -6608  6609  -6610  -6611  6612  -6613  6614  6615  -6616  6617  -6618  6619  6620  6621  6622  6623  6624  6625  6626  -6627  -6628  -6629  6630  -6631  6632  -6633  6634  -6635  6636  -6637  -6638  -6639  -6640  6641  6642  6643  6644  -6645  -6646  -6647  6648  -6649  6650  -6651  6652  -6653  -6654  6655  6656  -6657  6658  -6659  6660  6661  6662  6663  -6664  -6665  6666  -6667  -6668  -6669  -6670  -6671  -6672  -6673  -6674  -6675  -6676  6677  6678  6679  -6680  6681  6682  6683  6684  6685  -6686  6687  -6688  -6689  -6690  -6691  6692  -6693  -6694  -6695  6696  6697  6698  -6699  -6700  -6701  6702  -6703  6704  6705  -6706  6707  6708  -6709  -6710  -6711  6712  6713  6714  -6715  6716  6717  -6718  6719  6720  6721  -6722  6723  6724  6725  -6726  -6727  -6728  -6729  6730  -6731  -6732  -6733  -6734  6735  6736  6737  -6738  -6739  6740  6741  6742  6743  -6744  -6745  -6746  -6747  6748  6749  6750  6751  -6752  -6753  6754  6755  6756  -6757  6758  6759  6760  6761  6762  6763  6764  -6765  6766  6767  6768  6769  -6770  6771  -6772  -6773  6774  -6775  -6776  6777  6778  6779  -6780  6781  -6782  6783  6784  -6785  -6786  -6787  -6788  6789  -6790  6791  6792  6793  -6794  -6795  6796  -6797  6798  6799  6800  -6801  6802  6803  -6804  -6805  6806  -6807  -6808  6809  -6810  -6811  -6812  -6813  6814  -6815  -6816  6817  -6818  6819  6820  -6821  -6822  -6823  -6824  -6825  -6826  -6827  -6828  6829  -6830  -6831  -6832  -6833  6834  6835  6836  -6837  6838  -6839  6840  -6841  6842  -6843  -6844  6845  -6846  -6847  6848  -6849  -6850  -6851  -6852  6853  6854  6855  -6856  -6857  -6858  -6859  -6860  -6861  -6862  -6863  6864  6865  -6866  -6867  -6868  -6869  -6870  -6871  6872  -6873  -6874  -6875  -6876  -6877  -6878  -6879  6880  6881  -6882  6883  6884  6885  -6886  6887  6888  6889  6890  -6891  6892  -6893  6894  -6895  6896  6897  -6898  6899  6900  6901  -6902  -6903  6904  -6905  6906  -6907  6908  -6909  6910  -6911  6912  -6913  6914  -6915  6916  6917  6918  -6919  6920  -6921  6922  6923  6924  6925  -6926  6927  6928  6929  -6930  -6931  6932  6933  -6934  -6935  6936  6937  6938  6939  6940  6941  -6942  -6943  -6944  6945  6946  6947  6948  6949  6950  -6951  6952  -6953  -6954  -6955  6956  -6957  6958  -6959  6960  6961  6962  -6963  6964  6965  6966  -6967  -6968  6969  -6970  6971  6972  6973  -6974  -6975  -6976  -6977  -6978  -6979  6980  -6981  6982  -6983  -6984  -6985  6986  6987  -6988  6989  -6990  6991  6992  -6993  6994  -6995  6996  6997  -6998  -6999  7000  7001  -7002  -7003  -7004  -7005  -7006  -7007  7008  7009  7010  -7011  -7012  7013  -7014  7015  7016  -7017  -7018  -7019  -7020  7021  -7022  7023  -7024  7025  -7026  -7027  7028  7029  -7030  -7031  7032  -7033  7034  -7035  -7036  7037  -7038  7039  7040  -7041  -7042  7043  -7044  7045  -7046  -7047  7048  -7049  7050  -7051  -7052  7053  -7054  -7055  7056  -7057  -7058  -7059  7060  7061  7062  7063  7064  -7065  7066  7067  7068  7069  7070  -7071  7072  7073  7074  7075  -7076  -7077  7078  -7079  7080  -7081  7082  7083  -7084  7085  7086  7087  -7088  -7089  7090  -7091  7092  7093  -7094  7095  -7096  -7097  -7098  7099  7100  -7101  -7102  7103  7104  7105  7106  7107  7108  7109  7110  7111  -7112  -7113  7114  -7115  -7116  -7117  -7118  -7119  7120  7121  -7122  -7123  -7124  -7125  7126  -7127  -7128  -7129  7130  -7131  -7132  7133  7134  7135  7136  7137  7138  -7139  7140  7141  7142  -7143  7144  -7145  7146  -7147  7148  -7149  7150  -7151  7152  -7153  -7154  -7155  7156  7157  7158  -7159  7160  7161  -7162  -7163  -7164  7165  7166  7167  7168  -7169  -7170  -7171  7172  7173  7174  -7175  7176  7177  -7178  7179  7180  -7181  7182  7183  -7184  -7185  -7186  -7187  7188  7189  7190  7191  7192  -7193  -7194  -7195  7196  -7197  -7198  7199  7200  7201  7202  7203  7204  -7205  -7206  -7207  7208  -7209  -7210  -7211  7212  -7213  7214  -7215  -7216  7217  7218  -7219  -7220  7221  7222  -7223  7224  -7225  -7226  -7227  -7228  -7229  -7230  -7231  -7232  -7233  7234  7235  7236  7237  7238  7239  -7240  7241  7242  7243  7244  7245  -7246  7247  -7248  7249  7250  7251  7252  -7253  -7254  7255  -7256  7257  7258  7259  -7260  7261  -7262  -7263  7264  -7265  -7266  -7267  7268  -7269  -7270  -7271  7272  7273  7274  -7275  7276  7277  -7278  7279  7280  -7281  -7282  -7283  -7284  7285  7286  -7287  -7288  7289  7290  7291  -7292  7293  -7294  7295  -7296  -7297  -7298  -7299  7300  -7301  7302  7303  7304  -7305  -7306  7307  -7308  7309  7310  7311  -7312  -7313  7314  7315  -7316  -7317  -7318  7319  7320  -7321  7322  7323  7324  7325  7326  -7327  -7328  -7329  -7330  -7331  -7332  7333  7334  7335  -7336  7337  7338  7339  7340  -7341  -7342  -7343  7344  7345  7346  -7347  -7348  7349  7350  7351  -7352  -7353  7354  -7355  7356  -7357  -7358  -7359  -7360  7361  7362  -7363  -7364  7365  -7366  7367  7368  -7369  -7370  -7371  7372  -7373  -7374  -7375  7376  7377  7378  -7379  7380  7381  7382  7383  7384  7385  7386  7387  7388  7389  -7390  7391  -7392  7393  -7394  -7395  7396  -7397  7398  7399  7400  7401  7402  7403  -7404  -7405  -7406  7407  7408  7409  7410  -7411  -7412  7413  7414  -7415  7416  7417  7418  7419  -7420  -7421  7422  7423  -7424  7425  -7426  -7427  7428  7429  -7430  -7431  7432  -7433  -7434  7435  7436  -7437  7438  7439  7440  7441  7442  7443  -7444  -7445  -7446  7447  7448  -7449  7450  -7451  7452  7453  -7454  7455  -7456  -7457  7458  -7459  7460  7461  -7462  7463  -7464  -7465  -7466  -7467  -7468  7469  7470  -7471  7472  -7473  7474  7475  -7476  -7477  7478  7479  -7480  7481  -7482  7483  -7484  -7485  7486  7487  -7488  -7489  -7490  7491  7492  7493  -7494  -7495  -7496  7497  -7498  -7499  7500  -7501  7502  7503  7504  7505  7506  7507  7508  7509  -7510  7511  7512  -7513  7514  -7515  -7516  -7517  7518  7519  7520  -7521  7522  -7523  -7524  7525  7526  7527  7528  -7529  -7530  -7531  7532  7533  7534  -7535  7536  7537  -7538  -7539  7540  7541  7542  7543  -7544  -7545  7546  -7547  -7548  7549  -7550  7551  -7552  7553  -7554  7555  -7556  7557  7558  -7559  7560  -7561  -7562  7563  7564  -7565  7566  -7567  7568  7569  7570  7571  -7572  -7573  7574  -7575  -7576  7577  7578  7579  7580  -7581  7582  -7583  -7584  7585  7586  7587  7588  -7589  7590  -7591  -7592  -7593  -7594  -7595  -7596  -7597  7598  -7599  -7600  -7601  7602  7603  7604  -7605  -7606  -7607  7608  7609  7610  -7611  -7612  7613  -7614  -7615  -7616  -7617  7618  -7619  7620  -7621  -7622  7623  -7624  7625  7626  7627  -7628  7629  7630  7631  -7632  -7633  7634  7635  -7636  -7637  7638  7639  7640  -7641  -7642  7643  -7644  7645  -7646  -7647  -7648  -7649  7650  7651  -7652  -7653  7654  7655  -7656  7657  7658  -7659  7660  -7661  -7662  -7663  -7664  -7665  -7666  7667  7668  7669  7670  -7671  -7672  7673  -7674  7675  7676  -7677  -7678  7679  7680  7681  -7682  -7683  7684  -7685  7686  -7687  -7688  -7689  7690  7691  7692  7693  7694  7695  7696  -7697  -7698  -7699  7700  7701  7702  7703  -7704  -7705  7706  -7707  7708  7709  -7710  7711  7712  -7713  7714  7715  7716  7717  -7718  -7719  7720  -7721  7722  7723  -7724  7725  -7726  -7727  7728  -7729  7730  -7731  -7732  7733  7734  -7735  7736  7737  7738  7739  7740  -7741  -7742  7743  -7744  7745  -7746  7747  -7748  7749  7750  -7751  -7752  7753  7754  7755  -7756  7757  7758  -7759 0 

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3349348-1304974763/watcher-3349348-1304974763 -o /tmp/evaluation-result-3349348-1304974763/solver-3349348-1304974763 -C 2400 -W 1300 -M 7680 HOME/lr_gl_shr HOME/instance-3349348-1304974763.cnf -verb=0 -model 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 2.28 2.90 3.21 5/291 6487
/proc/meminfo: memFree=22046276/32951124 swapFree=67057896/67111528
[pid=6487] ppid=6485 vsize=20612 CPUtime=0 cores=0,2
/proc/6487/stat : 6487 (lr_gl_shr) R 6485 6487 5402 0 -1 4202496 700 0 0 0 0 0 0 0 25 0 1 0 589891605 21106688 638 33554432000 4194304 4300056 140735345061440 18446744073709551615 4286350 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/6487/statm: 5153 638 222 26 0 1785 0

[startup+0.060285 s]
/proc/loadavg: 2.28 2.90 3.21 5/291 6487
/proc/meminfo: memFree=22046276/32951124 swapFree=67057896/67111528
[pid=6487] ppid=6485 vsize=18004 CPUtime=0.05 cores=0,2
/proc/6487/stat : 6487 (lr_gl_shr) R 6485 6487 5402 0 -1 4202496 1459 0 0 0 5 0 0 0 25 0 1 0 589891605 18436096 1223 33554432000 4194304 4300056 140735345061440 18446744073709551615 4232767 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/6487/statm: 4501 1223 228 26 0 1133 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18004

[startup+0.10029 s]
/proc/loadavg: 2.28 2.90 3.21 5/291 6487
/proc/meminfo: memFree=22046276/32951124 swapFree=67057896/67111528
[pid=6487] ppid=6485 vsize=17832 CPUtime=0.09 cores=0,2
/proc/6487/stat : 6487 (lr_gl_shr) R 6485 6487 5402 0 -1 4202496 1475 0 0 0 9 0 0 0 25 0 1 0 589891605 18259968 1208 33554432000 4194304 4300056 140735345061440 18446744073709551615 4251385 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/6487/statm: 4458 1208 244 26 0 1090 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17832

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

Child status: 10
Real time (s): 0.1828
CPU time (s): 0.180971
CPU user time (s): 0.179972
CPU system time (s): 0.000999
CPU usage (%): 98.9994
Max. virtual memory (cumulated for all children) (KiB): 18004

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

runsolver used 0.002999 second user time and 0.007998 second system time

The end

Launcher Data

Begin job on node140 at 2011-05-09 22:59:23
IDJOB=3349348
IDBENCH=88082
IDSOLVER=1813
FILE ID=node140/3349348-1304974763
RUNJOBID= node140-1304974761-6391
PBS_JOBID= 13285610
Free space on /tmp= 49804 MiB

SOLVER NAME= minisat hack: LR_GL_SHR 2011-03-02
BENCH NAME= SAT02/industrial/biere/dinphil/dp10s10.shuffled.cnf
COMMAND LINE= HOME/lr_gl_shr BENCHNAME -verb=0 -model
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3349348-1304974763/watcher-3349348-1304974763 -o /tmp/evaluation-result-3349348-1304974763/solver-3349348-1304974763 -C 2400 -W 1300 -M 7680  HOME/lr_gl_shr HOME/instance-3349348-1304974763.cnf -verb=0 -model

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

MD5SUM BENCH= 68f401bab1ff4b19cace0727bc46ecec
RANDOM SEED=1218134549

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22046432 kB
Buffers:        223300 kB
Cached:        6636944 kB
SwapCached:       7608 kB
Active:        4172716 kB
Inactive:      6271488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22046432 kB
SwapTotal:    67111528 kB
SwapFree:     67057896 kB
Dirty:           10628 kB
Writeback:           0 kB
AnonPages:     3581276 kB
Mapped:          23540 kB
Slab:           376108 kB
PageTables:      22452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 45681332 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= 49804 MiB
End job on node140 at 2011-05-09 22:59:23