Trace number 3290814

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 AutoSAT 2505.74 627.692

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3290814-1304062911/watcher-3290814-1304062911 -o /tmp/evaluation-result-3290814-1304062911/solver-3290814-1304062911 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3290814-1304062911.cnf 608408463 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.74 8.02 7.87 5/182 19528
/proc/meminfo: memFree=23431532/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0

[startup+0.0519781 s]
/proc/loadavg: 7.74 8.02 7.87 5/182 19528
/proc/meminfo: memFree=23431532/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100973 s]
/proc/loadavg: 7.74 8.02 7.87 5/182 19528
/proc/meminfo: memFree=23431532/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300937 s]
/proc/loadavg: 7.74 8.02 7.87 5/182 19528
/proc/meminfo: memFree=23431532/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.38771 s]
/proc/loadavg: 7.74 8.02 7.87 5/182 19528
/proc/meminfo: memFree=23431532/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50069 s]
/proc/loadavg: 7.74 8.02 7.87 5/182 19528
/proc/meminfo: memFree=23431532/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.10041 s]
/proc/loadavg: 7.74 8.02 7.87 9/188 19534
/proc/meminfo: memFree=23149828/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=419008 CPUtime=10.93 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 75174 0 0 0 1078 15 0 0 18 0 5 0 498707465 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 104752 69922 350 389 0 100502 0
[pid=19529/tid=19531] ppid=19528 vsize=419008 CPUtime=2.72 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 8440 0 0 0 271 1 0 0 23 0 5 0 498707502 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=419008 CPUtime=2.6 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 8476 0 0 0 259 1 0 0 22 0 5 0 498707512 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=419008 CPUtime=2.5 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 7889 0 0 0 249 1 0 0 22 0 5 0 498707523 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=419008 CPUtime=2.39 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 8352 0 0 0 238 1 0 0 25 0 5 0 498707534 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 427708

[startup+6.30084 s]
/proc/loadavg: 7.84 8.03 7.88 9/188 19534
/proc/meminfo: memFree=23149208/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=419008 CPUtime=23.71 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 75174 0 0 0 2356 15 0 0 18 0 5 0 498707465 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 104752 69922 350 389 0 100502 0
[pid=19529/tid=19531] ppid=19528 vsize=419008 CPUtime=5.92 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 8440 0 0 0 591 1 0 0 25 0 5 0 498707502 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=419008 CPUtime=5.78 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 8476 0 0 0 577 1 0 0 25 0 5 0 498707512 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=419008 CPUtime=5.7 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 7889 0 0 0 569 1 0 0 25 0 5 0 498707523 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=419008 CPUtime=5.59 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 8352 0 0 0 558 1 0 0 25 0 5 0 498707534 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.71
Current children cumulated vsize (KiB) 427708

[startup+12.7077 s]
/proc/loadavg: 7.86 8.03 7.88 9/188 19534
/proc/meminfo: memFree=23135424/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=419008 CPUtime=49.3 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 75174 0 0 0 4915 15 0 0 18 0 5 0 498707465 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 104752 69922 350 389 0 100502 0
[pid=19529/tid=19531] ppid=19528 vsize=419008 CPUtime=12.33 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 8440 0 0 0 1232 1 0 0 25 0 5 0 498707502 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=419008 CPUtime=12.15 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 8476 0 0 0 1214 1 0 0 25 0 5 0 498707512 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336133 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=419008 CPUtime=12.11 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 7889 0 0 0 1210 1 0 0 25 0 5 0 498707523 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=419008 CPUtime=12 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 8352 0 0 0 1199 1 0 0 25 0 5 0 498707534 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.3
Current children cumulated vsize (KiB) 427708

[startup+25.5004 s]
/proc/loadavg: 7.89 8.03 7.88 9/188 19534
/proc/meminfo: memFree=23131448/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=419008 CPUtime=100.41 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 75174 0 0 0 10026 15 0 0 18 0 5 0 498707465 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 104752 69922 350 389 0 100502 0
[pid=19529/tid=19531] ppid=19528 vsize=419008 CPUtime=25.12 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 8440 0 0 0 2511 1 0 0 25 0 5 0 498707502 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336135 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=419008 CPUtime=24.88 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 8476 0 0 0 2487 1 0 0 25 0 5 0 498707512 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336133 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=419008 CPUtime=24.9 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 7889 0 0 0 2489 1 0 0 25 0 5 0 498707523 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336564 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=419008 CPUtime=24.79 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 8352 0 0 0 2478 1 0 0 25 0 5 0 498707534 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.41
Current children cumulated vsize (KiB) 427708

[startup+51.1008 s]
/proc/loadavg: 8.00 8.04 7.89 9/188 19535
/proc/meminfo: memFree=23063780/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=419008 CPUtime=202.68 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 75174 0 0 0 20253 15 0 0 18 0 5 0 498707465 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 104752 69922 350 389 0 100502 0
[pid=19529/tid=19531] ppid=19528 vsize=419008 CPUtime=50.73 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 8440 0 0 0 5072 1 0 0 25 0 5 0 498707502 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=419008 CPUtime=50.34 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 8476 0 0 0 5033 1 0 0 25 0 5 0 498707512 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=419008 CPUtime=50.51 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 7889 0 0 0 5050 1 0 0 25 0 5 0 498707523 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=419008 CPUtime=50.38 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 8352 0 0 0 5037 1 0 0 25 0 5 0 498707534 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.68
Current children cumulated vsize (KiB) 427708

[startup+102.301 s]
/proc/loadavg: 8.12 8.07 7.90 9/188 19537
/proc/meminfo: memFree=23015348/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=419008 CPUtime=407.19 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 75174 0 0 0 40703 16 0 0 18 0 5 0 498707465 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 104752 69922 350 389 0 100502 0
[pid=19529/tid=19531] ppid=19528 vsize=419008 CPUtime=101.92 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 8440 0 0 0 10191 1 0 0 25 0 5 0 498707502 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=419008 CPUtime=101.26 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 8476 0 0 0 10125 1 0 0 25 0 5 0 498707512 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=419008 CPUtime=101.7 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 7889 0 0 0 10169 1 0 0 25 0 5 0 498707523 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=419008 CPUtime=101.58 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 8352 0 0 0 10157 1 0 0 25 0 5 0 498707534 429064192 69922 33554432000 4194304 5787044 140736439371408 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.19
Current children cumulated vsize (KiB) 427708

[startup+162.307 s]
/proc/loadavg: 8.08 8.07 7.91 9/188 19538
/proc/meminfo: memFree=22949836/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=426576 CPUtime=646.89 cores=1,3,5,7

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

[pid=19529/tid=19531] ppid=19528 vsize=679656 CPUtime=588.91 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 18821 0 0 0 58876 15 0 0 25 0 5 0 498707502 695967744 123860 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591315 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=679656 CPUtime=585.59 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 20742 0 0 0 58543 16 0 0 25 0 5 0 498707512 695967744 123860 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=679656 CPUtime=588.7 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 23997 0 0 0 58856 14 0 0 25 0 5 0 498707523 695967744 123860 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=679656 CPUtime=588.57 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 31132 0 0 0 58844 13 0 0 25 0 5 0 498707534 695967744 123860 33554432000 4194304 5787044 140736439371408 18446744073709551615 5524622 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2352.49
Current children cumulated vsize (KiB) 688356

[startup+614.901 s]
/proc/loadavg: 8.15 8.09 7.95 9/188 19550
/proc/meminfo: memFree=22401532/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=699380 CPUtime=2454.74 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 150466 0 0 0 245386 88 0 0 18 0 5 0 498707465 716165120 137571 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 174845 137571 419 389 0 170595 0
[pid=19529/tid=19531] ppid=19528 vsize=699380 CPUtime=614.5 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 23999 0 0 0 61430 20 0 0 25 0 5 0 498707502 716165120 137571 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591529 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=699380 CPUtime=611.05 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 25202 0 0 0 61083 22 0 0 25 0 5 0 498707512 716165120 137571 33554432000 4194304 5787044 140736439371408 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=699380 CPUtime=614.29 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 27000 0 0 0 61411 18 0 0 25 0 5 0 498707523 716165120 137571 33554432000 4194304 5787044 140736439371408 18446744073709551615 5586709 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=699380 CPUtime=614.16 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 32248 0 0 0 61401 15 0 0 25 0 5 0 498707534 716165120 137571 33554432000 4194304 5787044 140736439371408 18446744073709551615 5527582 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2454.74
Current children cumulated vsize (KiB) 708080

[startup+621.301 s]
/proc/loadavg: 8.22 8.11 7.96 9/188 19550
/proc/meminfo: memFree=22385040/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=699888 CPUtime=2480.3 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 151097 0 0 0 247941 89 0 0 18 0 5 0 498707465 716685312 138154 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 174972 138154 419 389 0 170722 0
[pid=19529/tid=19531] ppid=19528 vsize=699888 CPUtime=620.9 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 24003 0 0 0 62070 20 0 0 20 0 5 0 498707502 716685312 138154 33554432000 4194304 5787044 140736439371408 18446744073709551615 4220275 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=699888 CPUtime=617.41 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 25646 0 0 0 61718 23 0 0 25 0 5 0 498707512 716685312 138154 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=699888 CPUtime=620.69 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 27042 0 0 0 62051 18 0 0 25 0 5 0 498707523 716685312 138154 33554432000 4194304 5787044 140736439371408 18446744073709551615 4692110 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=699888 CPUtime=620.56 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 32389 0 0 0 62041 15 0 0 25 0 5 0 498707534 716685312 138154 33554432000 4194304 5787044 140736439371408 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2480.3
Current children cumulated vsize (KiB) 708588

[startup+624.5 s]
/proc/loadavg: 8.20 8.11 7.96 9/188 19550
/proc/meminfo: memFree=22379828/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=699888 CPUtime=2493.08 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 151195 0 0 0 249219 89 0 0 18 0 5 0 498707465 716685312 138252 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 174972 138252 419 389 0 170722 0
[pid=19529/tid=19531] ppid=19528 vsize=699888 CPUtime=624.09 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 24005 0 0 0 62389 20 0 0 25 0 5 0 498707502 716685312 138252 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=699888 CPUtime=620.59 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 25646 0 0 0 62036 23 0 0 25 0 5 0 498707512 716685312 138252 33554432000 4194304 5787044 140736439371408 18446744073709551615 212039055874 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=699888 CPUtime=623.9 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 27130 0 0 0 62371 19 0 0 25 0 5 0 498707523 716685312 138252 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=699888 CPUtime=623.76 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 32397 0 0 0 62361 15 0 0 25 0 5 0 498707534 716685312 138252 33554432000 4194304 5787044 140736439371408 18446744073709551615 5527607 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2493.08
Current children cumulated vsize (KiB) 708588

[startup+626.101 s]
/proc/loadavg: 8.20 8.11 7.96 9/188 19550
/proc/meminfo: memFree=22377968/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=699888 CPUtime=2499.47 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 151198 0 0 0 249858 89 0 0 18 0 5 0 498707465 716685312 138255 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 174972 138255 419 389 0 170722 0
[pid=19529/tid=19531] ppid=19528 vsize=699888 CPUtime=625.69 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 24005 0 0 0 62549 20 0 0 25 0 5 0 498707502 716685312 138255 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=699888 CPUtime=622.19 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 25646 0 0 0 62196 23 0 0 25 0 5 0 498707512 716685312 138255 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=699888 CPUtime=625.5 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 27130 0 0 0 62531 19 0 0 25 0 5 0 498707523 716685312 138255 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=699888 CPUtime=625.36 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 32400 0 0 0 62521 15 0 0 25 0 5 0 498707534 716685312 138255 33554432000 4194304 5787044 140736439371408 18446744073709551615 5524613 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2499.47
Current children cumulated vsize (KiB) 708588

[startup+626.901 s]
/proc/loadavg: 8.20 8.11 7.96 9/188 19551
/proc/meminfo: memFree=22376104/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=699888 CPUtime=2502.67 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 151200 0 0 0 250178 89 0 0 18 0 5 0 498707465 716685312 138257 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 174972 138257 419 389 0 170722 0
[pid=19529/tid=19531] ppid=19528 vsize=699888 CPUtime=626.49 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 24005 0 0 0 62629 20 0 0 25 0 5 0 498707502 716685312 138257 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=699888 CPUtime=622.98 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 25646 0 0 0 62275 23 0 0 25 0 5 0 498707512 716685312 138257 33554432000 4194304 5787044 140736439371408 18446744073709551615 5592744 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=699888 CPUtime=626.3 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 27130 0 0 0 62611 19 0 0 25 0 5 0 498707523 716685312 138257 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=699888 CPUtime=626.16 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 32402 0 0 0 62601 15 0 0 25 0 5 0 498707534 716685312 138257 33554432000 4194304 5787044 140736439371408 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2502.67
Current children cumulated vsize (KiB) 708588

[startup+627.301 s]
/proc/loadavg: 8.20 8.11 7.96 9/188 19551
/proc/meminfo: memFree=22376104/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=699888 CPUtime=2504.27 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 151201 0 0 0 250338 89 0 0 18 0 5 0 498707465 716685312 138258 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 174972 138258 419 389 0 170722 0
[pid=19529/tid=19531] ppid=19528 vsize=699888 CPUtime=626.89 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 24005 0 0 0 62669 20 0 0 25 0 5 0 498707502 716685312 138258 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591547 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=699888 CPUtime=623.38 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 25646 0 0 0 62315 23 0 0 25 0 5 0 498707512 716685312 138258 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=699888 CPUtime=626.7 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 27130 0 0 0 62651 19 0 0 25 0 5 0 498707523 716685312 138258 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591653 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=699888 CPUtime=626.56 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 32403 0 0 0 62641 15 0 0 25 0 5 0 498707534 716685312 138258 33554432000 4194304 5787044 140736439371408 18446744073709551615 5527037 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2504.27
Current children cumulated vsize (KiB) 708588

[startup+627.501 s]
/proc/loadavg: 8.20 8.11 7.96 9/188 19551
/proc/meminfo: memFree=22374492/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=699888 CPUtime=2505.08 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 151202 0 0 0 250419 89 0 0 18 0 5 0 498707465 716685312 138259 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 174972 138259 419 389 0 170722 0
[pid=19529/tid=19531] ppid=19528 vsize=699888 CPUtime=627.1 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 24005 0 0 0 62690 20 0 0 25 0 5 0 498707502 716685312 138259 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=699888 CPUtime=623.58 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 25646 0 0 0 62335 23 0 0 25 0 5 0 498707512 716685312 138259 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=699888 CPUtime=626.9 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 27130 0 0 0 62671 19 0 0 25 0 5 0 498707523 716685312 138259 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=699888 CPUtime=626.77 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 32404 0 0 0 62662 15 0 0 25 0 5 0 498707534 716685312 138259 33554432000 4194304 5787044 140736439371408 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2505.08
Current children cumulated vsize (KiB) 708588

[startup+627.607 s]
/proc/loadavg: 8.20 8.11 7.96 9/188 19551
/proc/meminfo: memFree=22374492/32951124 swapFree=67111524/67111528
[pid=19528] ppid=19526 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (prissAuto.sh) S 19526 19528 17192 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 498707465 8908800 251 33554432000 4194304 4922060 140736883531936 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19528/statm: 2175 251 211 178 0 68 0
[pid=19529] ppid=19528 vsize=699888 CPUtime=2505.48 cores=1,3,5,7
/proc/19529/stat : 19529 (priss) S 19528 19528 17192 0 -1 4202496 151205 0 0 0 250459 89 0 0 18 0 5 0 498707465 716685312 138262 33554432000 4194304 5787044 140736439371408 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19529/statm: 174972 138262 419 389 0 170722 0
[pid=19529/tid=19531] ppid=19528 vsize=699888 CPUtime=627.2 cores=1,3,5,7
/proc/19529/task/19531/stat : 19531 (priss) R 19528 19528 17192 0 -1 4202560 24005 0 0 0 62700 20 0 0 25 0 5 0 498707502 716685312 138262 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19529/tid=19532] ppid=19528 vsize=699888 CPUtime=623.68 cores=1,3,5,7
/proc/19529/task/19532/stat : 19532 (priss) R 19528 19528 17192 0 -1 4202560 25646 0 0 0 62345 23 0 0 25 0 5 0 498707512 716685312 138262 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19529/tid=19533] ppid=19528 vsize=699888 CPUtime=627 cores=1,3,5,7
/proc/19529/task/19533/stat : 19533 (priss) R 19528 19528 17192 0 -1 4202560 27130 0 0 0 62681 19 0 0 25 0 5 0 498707523 716685312 138262 33554432000 4194304 5787044 140736439371408 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19529/tid=19534] ppid=19528 vsize=699888 CPUtime=626.87 cores=1,3,5,7
/proc/19529/task/19534/stat : 19534 (priss) R 19528 19528 17192 0 -1 4202560 32407 0 0 0 62672 15 0 0 25 0 5 0 498707534 716685312 138262 33554432000 4194304 5787044 140736439371408 18446744073709551615 5524762 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2505.48
Current children cumulated vsize (KiB) 708588

Child status: 10
Real time (s): 627.692
CPU time (s): 2505.74
CPU user time (s): 2504.81
CPU system time (s): 0.927858
CPU usage (%): 399.199
Max. virtual memory (cumulated for all children) (KiB): 708588

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

runsolver used 0.883865 second user time and 2.54561 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-29 09:41:52
IDJOB=3290814
IDBENCH=83450
IDSOLVER=1602
FILE ID=node146/3290814-1304062911
RUNJOBID= node146-1304060503-19306
PBS_JOBID= 13170387
Free space on /tmp= 72912 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290814-1304062911/watcher-3290814-1304062911 -o /tmp/evaluation-result-3290814-1304062911/solver-3290814-1304062911 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3290814-1304062911.cnf 608408463 4800 15500 4

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=608408463

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23431812 kB
Buffers:       1673552 kB
Cached:        6345424 kB
SwapCached:          4 kB
Active:        2355964 kB
Inactive:      6634196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23431812 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           66496 kB
Writeback:          24 kB
AnonPages:      971308 kB
Mapped:          15564 kB
Slab:           463740 kB
PageTables:       6600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1250772 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= 72908 MiB
End job on node146 at 2011-04-29 09:52:20