Trace number 3313241

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
STRUCTure 0.1SAT 2373.97 598.196

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.15582
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

0.10/0.12	41:07 INFO : Reading from input HOME/instance-3313241-1304185267.cnf
1.24/1.01	Executor set job limit to 1000000
1.24/1.01	Executor set job limit to 1000000
1.24/1.01	Executor set job limit to 1000000
1.24/1.01	Executor set job limit to 1000000
1.24/1.01	Starting Executor!
1.24/1.01	Starting Executor!
1.24/1.01	Starting Executor!
1.24/1.01	Starting Executor!
5.15/3.21	41:10 INFO : 7320 variables remaining out of 7794
5.15/3.21	41:10 INFO : 973274 literals remaining out of 874926
71.57/20.65	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:2).
71.57/20.65	log4j:WARN Please initialize the log4j system properly.
71.57/20.65	log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
2373.01/597.95	c Elapsed time 597.839
2373.01/597.95	s SATISFIABLE
2373.01/597.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 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3313241-1304185267/watcher-3313241-1304185267 -o /tmp/evaluation-result-3313241-1304185267/solver-3313241-1304185267 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313241-1304185267.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 3.69 4.73 6.34 3/174 13915
/proc/meminfo: memFree=30072456/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=2464 CPUtime=0 cores=0,2,4,6
/proc/13915/stat : 13915 (java) R 13913 13915 13254 0 -1 4194304 541 0 0 0 0 0 0 0 23 0 1 0 608757391 2523136 45 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260900470407 0 2147483391 4096 0 0 0 0 17 4 0 0 0
/proc/13915/statm: 616 45 35 9 0 27 0

[startup+0.072625 s]
/proc/loadavg: 3.69 4.73 6.34 3/174 13915
/proc/meminfo: memFree=30072456/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15609780 CPUtime=0.05 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 4395 0 1 0 5 0 0 0 23 0 18 0 608757391 15984414720 3833 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3902445 3834 1778 9 0 3893164 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.10062 s]
/proc/loadavg: 3.69 4.73 6.34 3/174 13915
/proc/meminfo: memFree=30072456/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15676488 CPUtime=0.1 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 5571 0 1 0 9 1 0 0 23 0 18 0 608757391 16052723712 4981 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3919122 4982 2117 9 0 3909841 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676488

[startup+0.300585 s]
/proc/loadavg: 3.69 4.73 6.34 3/174 13915
/proc/meminfo: memFree=30072456/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15681484 CPUtime=0.51 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 15486 0 1 0 48 3 0 0 23 0 18 0 608757391 16057839616 13667 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3920371 13673 2207 9 0 3911090 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681484

[startup+0.700514 s]
/proc/loadavg: 3.69 4.73 6.34 3/174 13915
/proc/meminfo: memFree=30072456/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15681484 CPUtime=0.92 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 41795 0 1 0 86 6 0 0 23 0 18 0 608757391 16057839616 39973 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3920371 39973 2223 9 0 3911090 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15681484

[startup+1.50137 s]
/proc/loadavg: 3.69 4.73 6.34 3/212 13956
/proc/meminfo: memFree=29757364/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15709468 CPUtime=2.2 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 54201 0 1 0 212 8 0 0 23 0 22 0 608757391 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3927367 50337 2255 9 0 3918086 0
[pid=13915/tid=13917] ppid=13913 vsize=15709468 CPUtime=1.46 cores=0,2,4,6
/proc/13915/task/13917/stat : 13917 (java) R 13913 13915 13254 0 -1 4202560 35617 0 1 0 141 5 0 0 25 0 22 0 608757392 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 47171036463994 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13254 0 -1 4202560 1808 0 0 0 0 0 0 0 16 0 22 0 608757393 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13254 0 -1 4202560 694 0 0 0 0 0 0 0 16 0 22 0 608757393 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13254 0 -1 4202560 353 0 0 0 0 0 0 0 15 0 22 0 608757393 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608757393 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13254 0 -1 4202560 1332 0 0 0 0 0 0 0 16 0 22 0 608757393 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13254 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 608757393 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13254 0 -1 4202560 1044 0 0 0 0 0 0 0 16 0 22 0 608757393 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13254 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 608757393 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13254 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 608757394 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 0 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13254 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 608757394 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13254 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 608757394 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13929/stat : 13929 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917217713 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=15709468 CPUtime=0.2 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13254 0 -1 4202560 1654 0 0 0 20 0 0 0 16 0 22 0 608757396 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=15709468 CPUtime=0.49 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) R 13913 13915 13254 0 -1 4202560 10122 0 0 0 48 1 0 0 18 0 22 0 608757396 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 47171035789871 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=15709468 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608757396 16086495232 50337 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 15709468

[startup+3.10107 s]
/proc/loadavg: 3.69 4.73 6.34 4/216 13960
/proc/meminfo: memFree=29542440/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15713620 CPUtime=4.89 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 59871 0 1 0 481 8 0 0 23 0 22 0 608757391 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3928405 52151 2267 9 0 3919124 0
[pid=13915/tid=13917] ppid=13913 vsize=15713620 CPUtime=3.06 cores=0,2,4,6
/proc/13915/task/13917/stat : 13917 (java) R 13913 13915 13254 0 -1 4202560 35656 0 1 0 301 5 0 0 25 0 22 0 608757392 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912505120870 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13254 0 -1 4202560 1808 0 0 0 0 0 0 0 16 0 22 0 608757393 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13254 0 -1 4202560 694 0 0 0 0 0 0 0 16 0 22 0 608757393 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13254 0 -1 4202560 353 0 0 0 0 0 0 0 15 0 22 0 608757393 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608757393 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13254 0 -1 4202560 1332 0 0 0 0 0 0 0 16 0 22 0 608757393 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13254 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 608757393 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13254 0 -1 4202560 1044 0 0 0 0 0 0 0 16 0 22 0 608757393 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13254 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 608757393 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13254 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 22 0 608757394 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 0 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13254 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 608757394 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13254 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 608757394 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13929/stat : 13929 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917217713 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=15713620 CPUtime=0.54 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) R 13913 13915 13254 0 -1 4202560 4037 0 0 0 54 0 0 0 15 0 22 0 608757396 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917212934 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=15713620 CPUtime=1.24 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) R 13913 13915 13254 0 -1 4202560 13369 0 0 0 123 1 0 0 16 0 22 0 608757396 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 47171037265346 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608757396 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13957] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13957/stat : 13957 (java) S 13913 13915 13254 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 608757493 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13958] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13958/stat : 13958 (java) R 13913 13915 13254 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 608757493 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13915/tid=13959] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13959/stat : 13959 (java) S 13913 13915 13254 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 608757493 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13960] ppid=13913 vsize=15713620 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13960/stat : 13960 (java) S 13913 13915 13254 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 608757493 16090746880 52151 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 15713620

[startup+6.30149 s]
/proc/loadavg: 3.55 4.68 6.32 7/220 13965
/proc/meminfo: memFree=29078312/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15707184 CPUtime=14.7 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 141603 0 1 0 1450 20 0 0 23 0 22 0 608757391 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3926796 131246 2276 9 0 3917515 0
[pid=13915/tid=13917] ppid=13913 vsize=15707184 CPUtime=3.17 cores=0,2,4,6
/proc/13915/task/13917/stat : 13917 (java) S 13913 13915 13254 0 -1 4202560 35679 0 1 0 312 5 0 0 25 0 22 0 608757392 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=15707184 CPUtime=0.05 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13254 0 -1 4202560 13666 0 0 0 3 2 0 0 16 0 22 0 608757393 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=15707184 CPUtime=0.04 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13254 0 -1 4202560 10715 0 0 0 3 1 0 0 16 0 22 0 608757393 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=15707184 CPUtime=0.03 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13254 0 -1 4202560 8777 0 0 0 2 1 0 0 15 0 22 0 608757393 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13254 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 22 0 608757393 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=15707184 CPUtime=0.04 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13254 0 -1 4202560 12907 0 0 0 3 1 0 0 16 0 22 0 608757393 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13254 0 -1 4202560 2813 0 0 0 0 0 0 0 15 0 22 0 608757393 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13254 0 -1 4202560 1044 0 0 0 0 0 0 0 15 0 22 0 608757393 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=15707184 CPUtime=0.06 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13254 0 -1 4202560 15479 0 0 0 4 2 0 0 16 0 22 0 608757393 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13254 0 -1 4202560 263 0 0 0 0 0 0 0 15 0 22 0 608757394 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 0 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13254 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 608757394 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13254 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 608757394 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13929/stat : 13929 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917217713 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=15707184 CPUtime=0.8 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13254 0 -1 4202560 4257 0 0 0 80 0 0 0 15 0 22 0 608757396 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=15707184 CPUtime=1.58 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13254 0 -1 4202560 13459 0 0 0 157 1 0 0 15 0 22 0 608757396 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608757396 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13957] ppid=13913 vsize=15707184 CPUtime=1.71 cores=0,2,4,6
/proc/13915/task/13957/stat : 13957 (java) R 13913 13915 13254 0 -1 4202560 2771 0 0 0 171 0 0 0 17 0 22 0 608757493 16084156416 131246 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506211030 0 4 0 16800975 0 0 0 -1 0 0 0 0

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

/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13254 0 -1 4202560 4843 0 0 0 105 0 0 0 16 0 22 0 608757396 16084156416 283871 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=15707184 CPUtime=1.98 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13254 0 -1 4202560 13484 0 0 0 197 1 0 0 16 0 22 0 608757396 16084156416 283871 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16084156416 283871 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13254 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 22 0 608757396 16084156416 283871 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13957] ppid=13913 vsize=15707184 CPUtime=586.42 cores=0,2,4,6
/proc/13915/task/13957/stat : 13957 (java) R 13913 13915 13254 0 -1 4202560 163915 0 0 0 58621 21 0 0 25 0 22 0 608757493 16084156416 283871 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506392713 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13915/tid=13958] ppid=13913 vsize=15707184 CPUtime=586.68 cores=0,2,4,6
/proc/13915/task/13958/stat : 13958 (java) R 13913 13915 13254 0 -1 4202560 229697 0 0 0 58642 26 0 0 25 0 22 0 608757493 16084156416 283871 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506259908 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=13959] ppid=13913 vsize=15707184 CPUtime=585.81 cores=0,2,4,6
/proc/13915/task/13959/stat : 13959 (java) R 13913 13915 13254 0 -1 4202560 162929 0 0 0 58563 18 0 0 25 0 22 0 608757493 16084156416 283871 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506120375 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13915/tid=13960] ppid=13913 vsize=15707184 CPUtime=585.69 cores=0,2,4,6
/proc/13915/task/13960/stat : 13960 (java) R 13913 13915 13254 0 -1 4202560 172191 0 0 0 58549 20 0 0 25 0 22 0 608757493 16084156416 283871 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912505366028 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2368.22
Current children cumulated vsize (KiB) 15707184

[startup+597.501 s]
/proc/loadavg: 8.12 7.61 7.12 9/220 13980
/proc/meminfo: memFree=26985840/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15707184 CPUtime=2371.41 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 1780213 0 1 0 236850 291 0 0 23 0 22 0 608757391 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3926796 300174 2297 9 0 3917515 0
[pid=13915/tid=13917] ppid=13913 vsize=15707184 CPUtime=3.17 cores=0,2,4,6
/proc/13915/task/13917/stat : 13917 (java) S 13913 13915 13254 0 -1 4202560 35679 0 1 0 312 5 0 0 25 0 22 0 608757392 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=15707184 CPUtime=1.85 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13254 0 -1 4202560 117170 0 0 0 166 19 0 0 15 0 22 0 608757393 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=15707184 CPUtime=2.04 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13254 0 -1 4202560 123792 0 0 0 185 19 0 0 15 0 22 0 608757393 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=15707184 CPUtime=2.16 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13254 0 -1 4202560 136857 0 0 0 191 25 0 0 15 0 22 0 608757393 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=15707184 CPUtime=1.88 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13254 0 -1 4202560 108157 0 0 0 170 18 0 0 16 0 22 0 608757393 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=15707184 CPUtime=2.18 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13254 0 -1 4202560 147187 0 0 0 194 24 0 0 16 0 22 0 608757393 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=15707184 CPUtime=2.13 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13254 0 -1 4202560 111072 0 0 0 194 19 0 0 16 0 22 0 608757393 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=15707184 CPUtime=2.01 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13254 0 -1 4202560 122119 0 0 0 182 19 0 0 16 0 22 0 608757393 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=15707184 CPUtime=1.95 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13254 0 -1 4202560 113652 0 0 0 175 20 0 0 15 0 22 0 608757393 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=15707184 CPUtime=1.08 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13254 0 -1 4202560 4344 0 0 0 81 27 0 0 15 0 22 0 608757394 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 0 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13254 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 608757394 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13254 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 608757394 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13929/stat : 13929 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917217713 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=15707184 CPUtime=1.05 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13254 0 -1 4202560 4843 0 0 0 105 0 0 0 16 0 22 0 608757396 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=15707184 CPUtime=1.98 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13254 0 -1 4202560 13484 0 0 0 197 1 0 0 16 0 22 0 608757396 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13254 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 22 0 608757396 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13957] ppid=13913 vsize=15707184 CPUtime=587.21 cores=0,2,4,6
/proc/13915/task/13957/stat : 13957 (java) R 13913 13915 13254 0 -1 4202560 166689 0 0 0 58700 21 0 0 25 0 22 0 608757493 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506083554 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13915/tid=13958] ppid=13913 vsize=15707184 CPUtime=587.47 cores=0,2,4,6
/proc/13915/task/13958/stat : 13958 (java) R 13913 13915 13254 0 -1 4202560 234206 0 0 0 58721 26 0 0 25 0 22 0 608757493 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506224239 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=13959] ppid=13913 vsize=15707184 CPUtime=586.6 cores=0,2,4,6
/proc/13915/task/13959/stat : 13959 (java) R 13913 13915 13254 0 -1 4202560 163442 0 0 0 58642 18 0 0 25 0 22 0 608757493 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506120361 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13915/tid=13960] ppid=13913 vsize=15707184 CPUtime=586.48 cores=0,2,4,6
/proc/13915/task/13960/stat : 13960 (java) R 13913 13915 13254 0 -1 4202560 176099 0 0 0 58628 20 0 0 25 0 22 0 608757493 16084156416 300174 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506083648 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2371.41
Current children cumulated vsize (KiB) 15707184

[startup+597.901 s]
/proc/loadavg: 8.12 7.61 7.12 9/220 13980
/proc/meminfo: memFree=26985840/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15707184 CPUtime=2373.01 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 1780216 0 1 0 237010 291 0 0 23 0 22 0 608757391 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3926796 300176 2298 9 0 3917515 0
[pid=13915/tid=13917] ppid=13913 vsize=15707184 CPUtime=3.17 cores=0,2,4,6
/proc/13915/task/13917/stat : 13917 (java) S 13913 13915 13254 0 -1 4202560 35679 0 1 0 312 5 0 0 25 0 22 0 608757392 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=15707184 CPUtime=1.85 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13254 0 -1 4202560 117170 0 0 0 166 19 0 0 15 0 22 0 608757393 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=15707184 CPUtime=2.04 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13254 0 -1 4202560 123792 0 0 0 185 19 0 0 15 0 22 0 608757393 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=15707184 CPUtime=2.16 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13254 0 -1 4202560 136857 0 0 0 191 25 0 0 15 0 22 0 608757393 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=15707184 CPUtime=1.88 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13254 0 -1 4202560 108157 0 0 0 170 18 0 0 16 0 22 0 608757393 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=15707184 CPUtime=2.18 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13254 0 -1 4202560 147187 0 0 0 194 24 0 0 16 0 22 0 608757393 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=15707184 CPUtime=2.13 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13254 0 -1 4202560 111072 0 0 0 194 19 0 0 16 0 22 0 608757393 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=15707184 CPUtime=2.01 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13254 0 -1 4202560 122119 0 0 0 182 19 0 0 16 0 22 0 608757393 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=15707184 CPUtime=1.95 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13254 0 -1 4202560 113652 0 0 0 175 20 0 0 15 0 22 0 608757393 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=15707184 CPUtime=1.08 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13254 0 -1 4202560 4344 0 0 0 81 27 0 0 15 0 22 0 608757394 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 0 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13254 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 608757394 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13254 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 608757394 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13929/stat : 13929 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917217713 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=15707184 CPUtime=1.05 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13254 0 -1 4202560 4844 0 0 0 105 0 0 0 15 0 22 0 608757396 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=15707184 CPUtime=1.98 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13254 0 -1 4202560 13485 0 0 0 197 1 0 0 15 0 22 0 608757396 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13254 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 22 0 608757396 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13957] ppid=13913 vsize=15707184 CPUtime=587.61 cores=0,2,4,6
/proc/13915/task/13957/stat : 13957 (java) R 13913 13915 13254 0 -1 4202560 166689 0 0 0 58740 21 0 0 25 0 22 0 608757493 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506120332 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13915/tid=13958] ppid=13913 vsize=15707184 CPUtime=587.87 cores=0,2,4,6
/proc/13915/task/13958/stat : 13958 (java) R 13913 13915 13254 0 -1 4202560 234206 0 0 0 58761 26 0 0 25 0 22 0 608757493 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912505670457 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=13959] ppid=13913 vsize=15707184 CPUtime=587 cores=0,2,4,6
/proc/13915/task/13959/stat : 13959 (java) R 13913 13915 13254 0 -1 4202560 163442 0 0 0 58682 18 0 0 25 0 22 0 608757493 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 47171040942938 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13915/tid=13960] ppid=13913 vsize=15707184 CPUtime=586.88 cores=0,2,4,6
/proc/13915/task/13960/stat : 13960 (java) R 13913 13915 13254 0 -1 4202560 176100 0 0 0 58668 20 0 0 25 0 22 0 608757493 16084156416 300176 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506260086 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2373.01
Current children cumulated vsize (KiB) 15707184

[startup+598.101 s]
/proc/loadavg: 8.12 7.61 7.12 9/220 13980
/proc/meminfo: memFree=26985840/32950928 swapFree=67054472/67111528
[pid=13915] ppid=13913 vsize=15707184 CPUtime=2373.76 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13254 0 -1 4202496 1780230 0 1 0 237084 292 0 0 23 0 22 0 608757391 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13915/statm: 3926796 300190 2299 9 0 3917515 0
[pid=13915/tid=13917] ppid=13913 vsize=15707184 CPUtime=3.25 cores=0,2,4,6
/proc/13915/task/13917/stat : 13917 (java) R 13913 13915 13254 0 -1 4202560 35692 0 1 0 319 6 0 0 18 0 22 0 608757392 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917220683 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=15707184 CPUtime=1.85 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13254 0 -1 4202560 117170 0 0 0 166 19 0 0 15 0 22 0 608757393 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=15707184 CPUtime=2.04 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13254 0 -1 4202560 123792 0 0 0 185 19 0 0 15 0 22 0 608757393 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=15707184 CPUtime=2.16 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13254 0 -1 4202560 136857 0 0 0 191 25 0 0 15 0 22 0 608757393 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=15707184 CPUtime=1.88 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13254 0 -1 4202560 108157 0 0 0 170 18 0 0 16 0 22 0 608757393 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=15707184 CPUtime=2.18 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13254 0 -1 4202560 147187 0 0 0 194 24 0 0 16 0 22 0 608757393 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=15707184 CPUtime=2.13 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13254 0 -1 4202560 111072 0 0 0 194 19 0 0 16 0 22 0 608757393 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=15707184 CPUtime=2.01 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13254 0 -1 4202560 122119 0 0 0 182 19 0 0 16 0 22 0 608757393 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=15707184 CPUtime=1.95 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13254 0 -1 4202560 113652 0 0 0 175 20 0 0 15 0 22 0 608757393 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=15707184 CPUtime=1.08 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13254 0 -1 4202560 4344 0 0 0 81 27 0 0 15 0 22 0 608757394 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 0 0 16800975 18446604451671398464 0 0 -1 0 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13254 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 608757394 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13254 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 608757394 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13929] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13929/stat : 13929 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917217713 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=15707184 CPUtime=1.07 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13254 0 -1 4202560 4844 0 0 0 107 0 0 0 15 0 22 0 608757396 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=15707184 CPUtime=1.99 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13254 0 -1 4202560 13486 0 0 0 198 1 0 0 15 0 22 0 608757396 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13254 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608757396 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210009 0 4 0 16800975 18446604451671398464 0 0 -1 2 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=15707184 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13254 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 22 0 608757396 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 260917210624 0 4 0 16800975 18446604451671398464 0 0 -1 4 0 0 0
[pid=13915/tid=13957] ppid=13913 vsize=15707184 CPUtime=587.78 cores=0,2,4,6
/proc/13915/task/13957/stat : 13957 (java) R 13913 13915 13254 0 -1 4202560 166689 0 0 0 58757 21 0 0 25 0 22 0 608757493 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506088611 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13915/tid=13958] ppid=13913 vsize=15707184 CPUtime=587.92 cores=0,2,4,6
/proc/13915/task/13958/stat : 13958 (java) R 13913 13915 13254 0 -1 4202560 234206 0 0 0 58766 26 0 0 25 0 22 0 608757493 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506083604 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=13959] ppid=13913 vsize=15707184 CPUtime=587.2 cores=0,2,4,6
/proc/13915/task/13959/stat : 13959 (java) R 13913 13915 13254 0 -1 4202560 163442 0 0 0 58702 18 0 0 25 0 22 0 608757493 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506083594 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13915/tid=13960] ppid=13913 vsize=15707184 CPUtime=587.08 cores=0,2,4,6
/proc/13915/task/13960/stat : 13960 (java) R 13913 13915 13254 0 -1 4202560 176100 0 0 0 58688 20 0 0 25 0 22 0 608757493 16084156416 300190 33554432000 1073741824 1073778376 140737438147728 18446744073709551615 46912506083740 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2373.76
Current children cumulated vsize (KiB) 15707184

Child status: 10
Real time (s): 598.196
CPU time (s): 2373.97
CPU user time (s): 2370.98
CPU system time (s): 2.98555
CPU usage (%): 396.855
Max. virtual memory (cumulated for all children) (KiB): 15713620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2370.98
system time used= 2.98555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1780249
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33154
involuntary context switches= 40259

runsolver used 1.03084 second user time and 2.33065 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-30 19:41:07
IDJOB=3313241
IDBENCH=83445
IDSOLVER=1699
FILE ID=node116/3313241-1304185267
RUNJOBID= node116-1304185267-13901
PBS_JOBID= 13172460
Free space on /tmp= 73280 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313241-1304185267/watcher-3313241-1304185267 -o /tmp/evaluation-result-3313241-1304185267/solver-3313241-1304185267 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313241-1304185267.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=626738177

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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:     32950928 kB
MemFree:      30072604 kB
Buffers:       1026360 kB
Cached:        1491476 kB
SwapCached:       9656 kB
Active:         178272 kB
Inactive:      2361300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30072604 kB
SwapTotal:    67111528 kB
SwapFree:     67054472 kB
Dirty:            9712 kB
Writeback:           0 kB
AnonPages:       19564 kB
Mapped:          12584 kB
Slab:           275648 kB
PageTables:       4340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   195064 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= 73268 MiB
End job on node116 at 2011-04-30 19:51:05