Trace number 3290631

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
priss 1.0SAT 3067.41 768.205

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3290631-1304062852/watcher-3290631-1304062852 -o /tmp/evaluation-result-3290631-1304062852/solver-3290631-1304062852 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3290631-1304062852.cnf 678570048 4800 15500 4 

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

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: 7.16 7.62 7.84 5/182 28773
/proc/meminfo: memFree=14292784/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0

[startup+0.105543 s]
/proc/loadavg: 7.16 7.62 7.84 5/182 28773
/proc/meminfo: memFree=14292784/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200552 s]
/proc/loadavg: 7.16 7.62 7.84 5/182 28773
/proc/meminfo: memFree=14292784/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300527 s]
/proc/loadavg: 7.16 7.62 7.84 5/182 28773
/proc/meminfo: memFree=14292784/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700406 s]
/proc/loadavg: 7.16 7.62 7.84 5/182 28773
/proc/meminfo: memFree=14292784/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50127 s]
/proc/loadavg: 6.99 7.57 7.82 9/188 28779
/proc/meminfo: memFree=14129180/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=310604 CPUtime=5.19 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 44865 0 0 0 511 8 0 0 18 0 5 0 596515878 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 77651 40794 350 389 0 73401 0
[pid=28774/tid=28776] ppid=28773 vsize=310604 CPUtime=1.29 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 5237 0 0 0 129 0 0 0 19 0 5 0 596515897 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=310604 CPUtime=1.23 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 5184 0 0 0 123 0 0 0 22 0 5 0 596515904 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=310604 CPUtime=1.15 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 4942 0 0 0 115 0 0 0 22 0 5 0 596515911 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336120 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=310604 CPUtime=1.07 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 4683 0 0 0 107 0 0 0 22 0 5 0 596515919 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 319304

[startup+3.10099 s]
/proc/loadavg: 6.99 7.57 7.82 9/188 28779
/proc/meminfo: memFree=14128820/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=310604 CPUtime=11.59 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 44865 0 0 0 1151 8 0 0 18 0 5 0 596515878 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 77651 40794 350 389 0 73401 0
[pid=28774/tid=28776] ppid=28773 vsize=310604 CPUtime=2.89 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 5237 0 0 0 289 0 0 0 23 0 5 0 596515897 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336120 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=310604 CPUtime=2.83 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 5184 0 0 0 283 0 0 0 25 0 5 0 596515904 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336744 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=310604 CPUtime=2.75 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 4942 0 0 0 275 0 0 0 25 0 5 0 596515911 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=310604 CPUtime=2.67 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 4683 0 0 0 267 0 0 0 25 0 5 0 596515919 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 319304

[startup+6.30043 s]
/proc/loadavg: 7.15 7.60 7.83 9/188 28779
/proc/meminfo: memFree=14128820/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=310604 CPUtime=24.37 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 44865 0 0 0 2429 8 0 0 18 0 5 0 596515878 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 77651 40794 350 389 0 73401 0
[pid=28774/tid=28776] ppid=28773 vsize=310604 CPUtime=6.09 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 5237 0 0 0 609 0 0 0 25 0 5 0 596515897 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=310604 CPUtime=6.03 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 5184 0 0 0 603 0 0 0 25 0 5 0 596515904 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336560 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=310604 CPUtime=5.95 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 4942 0 0 0 595 0 0 0 25 0 5 0 596515911 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=310604 CPUtime=5.85 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 4683 0 0 0 585 0 0 0 25 0 5 0 596515919 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336263 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.37
Current children cumulated vsize (KiB) 319304

[startup+12.7003 s]
/proc/loadavg: 7.22 7.60 7.83 9/188 28779
/proc/meminfo: memFree=14128272/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=310604 CPUtime=49.93 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 44865 0 0 0 4985 8 0 0 18 0 5 0 596515878 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 77651 40794 350 389 0 73401 0
[pid=28774/tid=28776] ppid=28773 vsize=310604 CPUtime=12.49 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 5237 0 0 0 1249 0 0 0 25 0 5 0 596515897 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=310604 CPUtime=12.42 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 5184 0 0 0 1242 0 0 0 25 0 5 0 596515904 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336664 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=310604 CPUtime=12.35 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 4942 0 0 0 1235 0 0 0 25 0 5 0 596515911 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=310604 CPUtime=12.21 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 4683 0 0 0 1221 0 0 0 25 0 5 0 596515919 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336756 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (KiB) 319304

[startup+25.5011 s]
/proc/loadavg: 7.39 7.62 7.83 9/188 28779
/proc/meminfo: memFree=14128516/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=310604 CPUtime=101.06 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 44865 0 0 0 10097 9 0 0 18 0 5 0 596515878 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 77651 40794 350 389 0 73401 0
[pid=28774/tid=28776] ppid=28773 vsize=310604 CPUtime=25.29 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 5237 0 0 0 2529 0 0 0 25 0 5 0 596515897 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=310604 CPUtime=25.23 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 5184 0 0 0 2522 1 0 0 25 0 5 0 596515904 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=310604 CPUtime=25.15 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 4942 0 0 0 2515 0 0 0 25 0 5 0 596515911 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=310604 CPUtime=24.94 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 4683 0 0 0 2494 0 0 0 25 0 5 0 596515919 318058496 40794 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.06
Current children cumulated vsize (KiB) 319304

[startup+51.1006 s]
/proc/loadavg: 7.60 7.65 7.83 9/188 28780
/proc/meminfo: memFree=14126876/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=380764 CPUtime=203.32 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 46262 0 0 0 20323 9 0 0 18 0 5 0 596515878 389902336 41035 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 95191 41035 351 389 0 90941 0
[pid=28774/tid=28776] ppid=28773 vsize=380764 CPUtime=50.89 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 5598 0 0 0 5089 0 0 0 25 0 5 0 596515897 389902336 41035 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336133 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=380764 CPUtime=50.83 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 5636 0 0 0 5082 1 0 0 25 0 5 0 596515904 389902336 41035 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=380764 CPUtime=50.75 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 5234 0 0 0 5075 0 0 0 25 0 5 0 596515911 389902336 41035 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=380764 CPUtime=50.4 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 4975 0 0 0 5040 0 0 0 25 0 5 0 596515919 389902336 41035 33554432000 4194304 5787044 140733414900864 18446744073709551615 4336135 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.32
Current children cumulated vsize (KiB) 389464

[startup+102.301 s]
/proc/loadavg: 7.86 7.72 7.84 9/188 28781
/proc/meminfo: memFree=13962920/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=403884 CPUtime=407.85 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 66729 0 0 0 40768 17 0 0 18 0 5 0 596515878 413577216 59561 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 100971 59561 419 389 0 96721 0
[pid=28774/tid=28776] ppid=28773 vsize=403884 CPUtime=102.1 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 8532 0 0 0 10208 2 0 0 25 0 5 0 596515897 413577216 59561 33554432000 4194304 5787044 140733414900864 18446744073709551615 5589443 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=403884 CPUtime=102.03 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 8459 0 0 0 10200 3 0 0 25 0 5 0 596515904 413577216 59561 33554432000 4194304 5787044 140733414900864 18446744073709551615 5590590 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=403884 CPUtime=101.96 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 9311 0 0 0 10194 2 0 0 20 0 5 0 596515911 413577216 59561 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=403884 CPUtime=101.32 cores=1,3,5,7

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

[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=897556 CPUtime=2324.94 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 180527 0 0 0 232326 168 0 0 18 0 5 0 596515878 919097344 172522 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 224389 172522 419 389 0 220139 0
[pid=28774/tid=28776] ppid=28773 vsize=897556 CPUtime=582.02 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 35540 0 0 0 58161 41 0 0 25 0 5 0 596515897 919097344 172522 33554432000 4194304 5787044 140733414900864 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=897556 CPUtime=581.94 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 39268 0 0 0 58158 36 0 0 25 0 5 0 596515904 919097344 172522 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=897556 CPUtime=581.9 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 45706 0 0 0 58135 55 0 0 25 0 5 0 596515911 919097344 172522 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=897556 CPUtime=578.65 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 35194 0 0 0 57836 29 0 0 25 0 5 0 596515919 919097344 172522 33554432000 4194304 5787044 140733414900864 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2324.94
Current children cumulated vsize (KiB) 906256

[startup+642.3 s]
/proc/loadavg: 8.18 8.09 7.97 9/188 28796
/proc/meminfo: memFree=13017360/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=903760 CPUtime=2564.62 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 182641 0 0 0 256292 170 0 0 18 0 5 0 596515878 925450240 174636 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 225940 174636 419 389 0 221690 0
[pid=28774/tid=28776] ppid=28773 vsize=903760 CPUtime=642.01 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 37124 0 0 0 64159 42 0 0 25 0 5 0 596515897 925450240 174636 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=903760 CPUtime=641.94 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 39277 0 0 0 64158 36 0 0 25 0 5 0 596515904 925450240 174636 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=903760 CPUtime=641.9 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 45958 0 0 0 64135 55 0 0 25 0 5 0 596515911 925450240 174636 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=903760 CPUtime=638.34 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 35463 0 0 0 63804 30 0 0 25 0 5 0 596515919 925450240 174636 33554432000 4194304 5787044 140733414900864 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.62
Current children cumulated vsize (KiB) 912460

[startup+702.301 s]
/proc/loadavg: 8.17 8.10 7.98 9/188 28797
/proc/meminfo: memFree=12983120/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=906796 CPUtime=2804.27 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 185315 0 0 0 280254 173 0 0 18 0 5 0 596515878 928559104 176904 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 226699 176904 419 389 0 222449 0
[pid=28774/tid=28776] ppid=28773 vsize=906796 CPUtime=702.02 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 37621 0 0 0 70159 43 0 0 25 0 5 0 596515897 928559104 176904 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=906796 CPUtime=701.93 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 39564 0 0 0 70157 36 0 0 25 0 5 0 596515904 928559104 176904 33554432000 4194304 5787044 140733414900864 18446744073709551615 4254881 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=906796 CPUtime=701.88 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 46286 0 0 0 70133 55 0 0 25 0 5 0 596515911 928559104 176904 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=906796 CPUtime=698 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 37025 0 0 0 69768 32 0 0 25 0 5 0 596515919 928559104 176904 33554432000 4194304 5787044 140733414900864 18446744073709551615 5527057 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.27
Current children cumulated vsize (KiB) 915496

[startup+762.3 s]
/proc/loadavg: 8.16 8.11 7.99 9/188 28799
/proc/meminfo: memFree=12963388/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=910896 CPUtime=3043.96 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 187976 0 0 0 304220 176 0 0 18 0 5 0 596515878 932757504 179565 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 227724 179565 419 389 0 223474 0
[pid=28774/tid=28776] ppid=28773 vsize=910896 CPUtime=762.02 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 37727 0 0 0 76159 43 0 0 25 0 5 0 596515897 932757504 179565 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=910896 CPUtime=761.82 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 39819 0 0 0 76146 36 0 0 25 0 5 0 596515904 932757504 179565 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=910896 CPUtime=761.89 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 47320 0 0 0 76134 55 0 0 25 0 5 0 596515911 932757504 179565 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=910896 CPUtime=757.78 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 38291 0 0 0 75744 34 0 0 25 0 5 0 596515919 932757504 179565 33554432000 4194304 5787044 140733414900864 18446744073709551615 4732533 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3043.96
Current children cumulated vsize (KiB) 919596

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

[startup+764.801 s]
/proc/loadavg: 8.16 8.11 7.99 9/188 28799
/proc/meminfo: memFree=12961652/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=910896 CPUtime=3053.93 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 188234 0 0 0 305216 177 0 0 18 0 5 0 596515878 932757504 179823 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 227724 179823 419 389 0 223474 0
[pid=28774/tid=28776] ppid=28773 vsize=910896 CPUtime=764.51 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 37753 0 0 0 76408 43 0 0 25 0 5 0 596515897 932757504 179823 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=910896 CPUtime=764.3 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 39829 0 0 0 76394 36 0 0 25 0 5 0 596515904 932757504 179823 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=910896 CPUtime=764.38 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 47320 0 0 0 76383 55 0 0 25 0 5 0 596515911 932757504 179823 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=910896 CPUtime=760.28 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 38513 0 0 0 75993 35 0 0 25 0 5 0 596515919 932757504 179823 33554432000 4194304 5787044 140733414900864 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3053.93
Current children cumulated vsize (KiB) 919596

[startup+766.401 s]
/proc/loadavg: 8.15 8.11 7.99 9/188 28799
/proc/meminfo: memFree=12958800/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=914996 CPUtime=3060.32 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 188902 0 0 0 305855 177 0 0 18 0 5 0 596515878 936955904 180491 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 228749 180491 419 389 0 224499 0
[pid=28774/tid=28776] ppid=28773 vsize=914996 CPUtime=766.11 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 37756 0 0 0 76568 43 0 0 25 0 5 0 596515897 936955904 180491 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=914996 CPUtime=765.9 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 40347 0 0 0 76554 36 0 0 25 0 5 0 596515904 936955904 180491 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=914996 CPUtime=765.98 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 47320 0 0 0 76543 55 0 0 25 0 5 0 596515911 936955904 180491 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=914996 CPUtime=761.88 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 38660 0 0 0 76153 35 0 0 25 0 5 0 596515919 936955904 180491 33554432000 4194304 5787044 140733414900864 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3060.32
Current children cumulated vsize (KiB) 923696

[startup+767.201 s]
/proc/loadavg: 8.15 8.11 7.99 9/188 28799
/proc/meminfo: memFree=12957684/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=914996 CPUtime=3063.51 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 188973 0 0 0 306174 177 0 0 18 0 5 0 596515878 936955904 180562 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 228749 180562 419 389 0 224499 0
[pid=28774/tid=28776] ppid=28773 vsize=914996 CPUtime=766.91 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 37759 0 0 0 76648 43 0 0 25 0 5 0 596515897 936955904 180562 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=914996 CPUtime=766.69 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 40350 0 0 0 76633 36 0 0 25 0 5 0 596515904 936955904 180562 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=914996 CPUtime=766.78 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 47320 0 0 0 76623 55 0 0 25 0 5 0 596515911 936955904 180562 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=914996 CPUtime=762.69 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 38725 0 0 0 76233 36 0 0 25 0 5 0 596515919 936955904 180562 33554432000 4194304 5787044 140733414900864 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3063.51
Current children cumulated vsize (KiB) 923696

[startup+768 s]
/proc/loadavg: 8.15 8.11 7.99 9/188 28799
/proc/meminfo: memFree=12956940/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=914996 CPUtime=3066.71 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) S 28773 28773 28330 0 -1 4202496 189046 0 0 0 306493 178 0 0 18 0 5 0 596515878 936955904 180635 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 228749 180635 433 389 0 224499 0
[pid=28774/tid=28776] ppid=28773 vsize=914996 CPUtime=767.71 cores=1,3,5,7
/proc/28774/task/28776/stat : 28776 (priss) R 28773 28773 28330 0 -1 4202560 37779 0 0 0 76728 43 0 0 25 0 5 0 596515897 936955904 180635 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892391093 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=28774/tid=28777] ppid=28773 vsize=914996 CPUtime=767.49 cores=1,3,5,7
/proc/28774/task/28777/stat : 28777 (priss) R 28773 28773 28330 0 -1 4202560 40352 0 0 0 76713 36 0 0 25 0 5 0 596515904 936955904 180635 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=28774/tid=28778] ppid=28773 vsize=914996 CPUtime=767.58 cores=1,3,5,7
/proc/28774/task/28778/stat : 28778 (priss) R 28773 28773 28330 0 -1 4202560 47320 0 0 0 76703 55 0 0 25 0 5 0 596515911 936955904 180635 33554432000 4194304 5787044 140733414900864 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=28774/tid=28779] ppid=28773 vsize=914996 CPUtime=763.48 cores=1,3,5,7
/proc/28774/task/28779/stat : 28779 (priss) R 28773 28773 28330 0 -1 4202560 38776 0 0 0 76312 36 0 0 25 0 5 0 596515919 936955904 180635 33554432000 4194304 5787044 140733414900864 18446744073709551615 218892391093 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3066.71
Current children cumulated vsize (KiB) 923696

[startup+768.201 s]
/proc/loadavg: 8.15 8.11 7.99 9/188 28799
/proc/meminfo: memFree=12956940/32950928 swapFree=67111528/67111528
[pid=28773] ppid=28771 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (priss.sh) S 28771 28773 28330 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 596515878 8908800 251 33554432000 4194304 4922060 140735574461392 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/28773/statm: 2175 251 211 178 0 68 0
[pid=28774] ppid=28773 vsize=0 CPUtime=3067.4 cores=1,3,5,7
/proc/28774/stat : 28774 (priss) R 28773 28773 28330 0 -1 4202500 189081 0 0 0 306559 181 0 0 18 0 1 0 596515878 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28774/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3067.4
Current children cumulated vsize (KiB) 8700

Child status: 10
Real time (s): 768.205
CPU time (s): 3067.41
CPU user time (s): 3065.59
CPU system time (s): 1.81472
CPU usage (%): 399.295
Max. virtual memory (cumulated for all children) (KiB): 923696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3065.59
system time used= 1.81472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14455
involuntary context switches= 19558

runsolver used 1.13183 second user time and 3.06453 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-29 09:40:52
IDJOB=3290631
IDBENCH=83443
IDSOLVER=1603
FILE ID=node112/3290631-1304062852
RUNJOBID= node112-1304062780-28651
PBS_JOBID= 13170443
Free space on /tmp= 72540 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290631-1304062852/watcher-3290631-1304062852 -o /tmp/evaluation-result-3290631-1304062852/solver-3290631-1304062852 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3290631-1304062852.cnf 678570048 4800 15500 4

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=678570048

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14293056 kB
Buffers:       1995420 kB
Cached:       15827256 kB
SwapCached:          0 kB
Active:        7342820 kB
Inactive:     10757192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14293056 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12576 kB
Writeback:           0 kB
AnonPages:      276724 kB
Mapped:          15580 kB
Slab:           492984 kB
PageTables:       5288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   487796 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= 72536 MiB
End job on node112 at 2011-04-29 09:53:40