Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
priss 1.0 | SAT | 4009.48 | 1004.21 |
Name | application/leberre/ 2dimensionalstrippacking/E02F20.cnf |
MD5SUM | 3e5703cd522988fbb05dcac3c4dbbe9d |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 27.9038 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 10420 |
Number of clauses | 395383 |
Sum of the clauses size | 2821910 |
Maximum clause length | 66 |
Minimum clause length | 1 |
Number of clauses of size 1 | 22 |
Number of clauses of size 2 | 27506 |
Number of clauses of size 3 | 20815 |
Number of clauses of size 4 | 12840 |
Number of clauses of size 5 | 36380 |
Number of clauses of size over 5 | 297820 |
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: 28676 0.00/0.21 c parsetime: 206436us 0.00/0.21 c parsed 395383 clauses with 10420 variables 0.00/0.26 c NW started thread 0 successfully (1095350592) 0.00/0.34 c NW started thread 1 successfully (1106397504) 0.00/0.44 c NW started thread 2 successfully (1116887360) 0.00/0.55 c NW started thread 3 successfully (1127377216) 597.66/149.91 c preprocessor returned 10720 variables 597.66/149.91 c preprocessing returned UNKNOWN 597.66/149.91 c PP set 484 variables 597.66/149.91 c pp time: 149646459us (149s) 601.66/150.99 c preprocessor returned 10720 variables 601.66/150.99 c preprocessing returned UNKNOWN 601.66/150.99 c PP set 484 variables 601.66/150.99 c pp time: 150642966us (150s) 616.84/154.77 c preprocessor returned 10720 variables 616.84/154.77 c preprocessing returned UNKNOWN 616.84/154.77 c PP set 484 variables 616.84/154.77 c pp time: 154319593us (154s) 656.37/164.62 c preprocessor returned 30011 variables 656.37/164.62 c preprocessing returned UNKNOWN 656.37/164.62 c PP set 484 variables 656.37/164.62 c pp time: 164074579us (164s) 657.99/165.07 c HTE 659.17/165.37 c subsumption 674.34/169.11 c simplified formula contains 0 unit clauses 4008.68/1003.93 c ==================== 4008.68/1003.93 c implication/decision 0.373593%(40.0492) 4008.68/1003.93 c decisions: 4456878 4008.68/1003.93 c last level: 244 4008.68/1003.93 c conflicts: 1627334 4008.68/1003.93 c restarts: 10784 4008.68/1003.93 c rejected_restarts 0 4008.68/1003.93 c removals: 21 4008.68/1003.93 c removed clauses: 1000615 4008.68/1003.93 c oft clauses: 0 4009.48/1004.15 c solvetime: 853164925us (853s) 4009.48/1004.15 c sended clauses | 60707 | 60209 | 55464 | 15451 | 4009.48/1004.15 c received clauses | 0 | 108 | 90 | 123 | 4009.48/1004.15 c join all other threads 4009.48/1004.15 c joined thread 0 4009.48/1004.15 c joined thread 1 4009.48/1004.16 c joined thread 2 4009.48/1004.16 c joined thread 3 4009.48/1004.16 c memory usage (vsize): 1139 MB 4009.48/1004.16 s SATISFIABLE 4009.48/1004.16 c solutions: 1 4009.48/1004.16 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
OK
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-3290493-1304062780/watcher-3290493-1304062780 -o /tmp/evaluation-result-3290493-1304062780/solver-3290493-1304062780 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3290493-1304062780.cnf 945895381 4800 15500 4 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 5.83 7.53 7.83 7/182 28675 /proc/meminfo: memFree=14488584/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [startup+0.035621 s] /proc/loadavg: 5.83 7.53 7.83 7/182 28675 /proc/meminfo: memFree=14488584/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100609 s] /proc/loadavg: 5.83 7.53 7.83 7/182 28675 /proc/meminfo: memFree=14488584/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300571 s] /proc/loadavg: 5.83 7.53 7.83 7/182 28675 /proc/meminfo: memFree=14488584/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700442 s] /proc/loadavg: 5.83 7.53 7.83 7/182 28675 /proc/meminfo: memFree=14488584/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5003 s] /proc/loadavg: 5.83 7.53 7.83 9/188 28681 /proc/meminfo: memFree=14266816/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=338032 CPUtime=4.89 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 58342 0 0 0 479 10 0 0 19 0 5 0 596508681 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 84508 52889 350 389 0 80258 0 [pid=28676/tid=28678] ppid=28675 vsize=338032 CPUtime=1.23 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 6211 0 0 0 121 2 0 0 19 0 5 0 596508707 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=338032 CPUtime=1.13 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 6499 0 0 0 112 1 0 0 19 0 5 0 596508715 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=338032 CPUtime=1.04 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 6364 0 0 0 104 0 0 0 22 0 5 0 596508726 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=338032 CPUtime=0.94 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 5916 0 0 0 93 1 0 0 23 0 5 0 596508736 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4.89 Current children cumulated vsize (KiB) 346732 [startup+3.10102 s] /proc/loadavg: 6.00 7.54 7.83 9/188 28681 /proc/meminfo: memFree=14253428/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=338032 CPUtime=11.29 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 58342 0 0 0 1119 10 0 0 19 0 5 0 596508681 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 84508 52889 350 389 0 80258 0 [pid=28676/tid=28678] ppid=28675 vsize=338032 CPUtime=2.83 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 6211 0 0 0 281 2 0 0 23 0 5 0 596508707 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 218880262798 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=338032 CPUtime=2.73 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 6499 0 0 0 272 1 0 0 23 0 5 0 596508715 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336768 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=338032 CPUtime=2.64 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 6364 0 0 0 264 0 0 0 25 0 5 0 596508726 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=338032 CPUtime=2.54 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 5916 0 0 0 253 1 0 0 25 0 5 0 596508736 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 11.29 Current children cumulated vsize (KiB) 346732 [startup+6.30046 s] /proc/loadavg: 6.00 7.54 7.83 9/188 28681 /proc/meminfo: memFree=14244888/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=338032 CPUtime=24.07 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 58342 0 0 0 2396 11 0 0 19 0 5 0 596508681 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 84508 52889 350 389 0 80258 0 [pid=28676/tid=28678] ppid=28675 vsize=338032 CPUtime=6.03 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 6211 0 0 0 601 2 0 0 25 0 5 0 596508707 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=338032 CPUtime=5.9 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 6499 0 0 0 589 1 0 0 25 0 5 0 596508715 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=338032 CPUtime=5.84 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 6364 0 0 0 584 0 0 0 25 0 5 0 596508726 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=338032 CPUtime=5.73 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 5916 0 0 0 572 1 0 0 25 0 5 0 596508736 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336763 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 24.07 Current children cumulated vsize (KiB) 346732 [startup+12.7003 s] /proc/loadavg: 6.47 7.58 7.84 11/188 28713 /proc/meminfo: memFree=14264184/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=338032 CPUtime=49.62 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 58342 0 0 0 4951 11 0 0 19 0 5 0 596508681 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 84508 52889 350 389 0 80258 0 [pid=28676/tid=28678] ppid=28675 vsize=338032 CPUtime=12.43 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 6211 0 0 0 1241 2 0 0 25 0 5 0 596508707 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336664 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=338032 CPUtime=12.27 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 6499 0 0 0 1226 1 0 0 25 0 5 0 596508715 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=338032 CPUtime=12.24 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 6364 0 0 0 1224 0 0 0 25 0 5 0 596508726 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=338032 CPUtime=12.14 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 5916 0 0 0 1212 2 0 0 25 0 5 0 596508736 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 49.62 Current children cumulated vsize (KiB) 346732 [startup+25.5011 s] /proc/loadavg: 6.78 7.61 7.85 9/188 28713 /proc/meminfo: memFree=14209988/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=338032 CPUtime=100.76 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 58342 0 0 0 10064 12 0 0 19 0 5 0 596508681 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 84508 52889 350 389 0 80258 0 [pid=28676/tid=28678] ppid=28675 vsize=338032 CPUtime=25.23 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 6211 0 0 0 2521 2 0 0 25 0 5 0 596508707 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336804 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=338032 CPUtime=25 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 6499 0 0 0 2499 1 0 0 25 0 5 0 596508715 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=338032 CPUtime=25.04 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 6364 0 0 0 2504 0 0 0 25 0 5 0 596508726 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=338032 CPUtime=24.94 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 5916 0 0 0 2492 2 0 0 25 0 5 0 596508736 346144768 52889 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 100.76 Current children cumulated vsize (KiB) 346732 [startup+51.1006 s] /proc/loadavg: 7.28 7.66 7.86 9/188 28714 /proc/meminfo: memFree=14173704/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=344208 CPUtime=203.01 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 60012 0 0 0 20289 12 0 0 19 0 5 0 596508681 352468992 53011 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 86052 53011 351 389 0 81802 0 [pid=28676/tid=28678] ppid=28675 vsize=344208 CPUtime=50.82 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 6608 0 0 0 5080 2 0 0 25 0 5 0 596508707 352468992 53011 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=344208 CPUtime=50.46 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 6945 0 0 0 5045 1 0 0 25 0 5 0 596508715 352468992 53011 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=344208 CPUtime=50.64 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 6766 0 0 0 5064 0 0 0 25 0 5 0 596508726 352468992 53011 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336801 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=344208 CPUtime=50.53 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 6341 0 0 0 5051 2 0 0 25 0 5 0 596508736 352468992 53011 33554432000 4194304 5787044 140736073100016 18446744073709551615 4337014 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 203.01 Current children cumulated vsize (KiB) 352908 [startup+102.307 s] /proc/loadavg: 7.44 7.63 7.83 9/188 28779 /proc/meminfo: memFree=14126904/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=344344 CPUtime=407.55 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 60587 0 0 0 40742 13 0 0 19 0 5 0 596508681 352608256 53586 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 86086 53586 352 389 0 81836 0 [pid=28676/tid=28678] ppid=28675 vsize=344344 CPUtime=102.02 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 6647 0 0 0 10200 2 0 0 25 0 5 0 596508707 352608256 53586 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=344344 CPUtime=101.38 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 7198 0 0 0 10137 1 0 0 25 0 5 0 596508715 352608256 53586 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=344344 CPUtime=101.84 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 6815 0 0 0 10184 0 0 0 25 0 5 0 596508726 352608256 53586 33554432000 4194304 5787044 140736073100016 18446744073709551615 4336229 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=344344 CPUtime=101.74 cores=0,2,4,6 ################ # More data... # ################ Current children cumulated CPU time (s) 3522.96 Current children cumulated vsize (KiB) 1022160 [startup+942.301 s] /proc/loadavg: 8.17 8.12 8.00 9/188 28834 /proc/meminfo: memFree=13521316/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=1028664 CPUtime=3762.64 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 224443 0 0 0 376106 158 0 0 19 0 5 0 596508681 1053351936 214268 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 257166 214268 419 389 0 252916 0 [pid=28676/tid=28678] ppid=28675 vsize=1028664 CPUtime=941.9 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 56967 0 0 0 94144 46 0 0 25 0 5 0 596508707 1053351936 214268 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=1028664 CPUtime=936.74 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 46759 0 0 0 93637 37 0 0 25 0 5 0 596508715 1053351936 214268 33554432000 4194304 5787044 140736073100016 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=1028664 CPUtime=941.78 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 43663 0 0 0 94142 36 0 0 25 0 5 0 596508726 1053351936 214268 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=1028664 CPUtime=941.65 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 43702 0 0 0 94132 33 0 0 25 0 5 0 596508736 1053351936 214268 33554432000 4194304 5787044 140736073100016 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3762.64 Current children cumulated vsize (KiB) 1037364 [startup+1002.3 s] /proc/loadavg: 8.16 8.12 8.01 9/188 28835 /proc/meminfo: memFree=13405944/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=1184576 CPUtime=4002.3 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 243651 0 0 0 400049 181 0 0 19 0 5 0 596508681 1213005824 233476 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 296144 233476 419 389 0 291894 0 [pid=28676/tid=28678] ppid=28675 vsize=1184576 CPUtime=1001.89 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 62176 0 0 0 100139 50 0 0 25 0 5 0 596508707 1213005824 233476 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=1184576 CPUtime=996.41 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 51002 0 0 0 99598 43 0 0 25 0 5 0 596508715 1213005824 233476 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591280 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=1184576 CPUtime=1001.79 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 49046 0 0 0 100135 44 0 0 25 0 5 0 596508726 1213005824 233476 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=1184576 CPUtime=1001.66 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 48075 0 0 0 100128 38 0 0 25 0 5 0 596508736 1213005824 233476 33554432000 4194304 5787044 140736073100016 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4002.3 Current children cumulated vsize (KiB) 1193276 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (4009.48 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (4009.48 s) to the 'lost time'. [startup+1004.1 s] /proc/loadavg: 8.16 8.12 8.01 9/188 28835 /proc/meminfo: memFree=13404208/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=1184972 CPUtime=4009.48 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 244252 0 0 0 400766 182 0 0 19 0 5 0 596508681 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 296243 234077 433 389 0 291993 0 [pid=28676/tid=28678] ppid=28675 vsize=1184972 CPUtime=1003.69 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 62306 0 0 0 100319 50 0 0 25 0 5 0 596508707 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591760 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=1184972 CPUtime=998.19 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 51204 0 0 0 99776 43 0 0 25 0 5 0 596508715 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 218880222994 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=1184972 CPUtime=1003.58 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 49207 0 0 0 100314 44 0 0 25 0 5 0 596508726 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=1184972 CPUtime=1003.46 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 48183 0 0 0 100308 38 0 0 25 0 5 0 596508736 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4009.48 Current children cumulated vsize (KiB) 1193672 [startup+1004.2 s] /proc/loadavg: 8.16 8.12 8.01 6/184 28835 /proc/meminfo: memFree=14270752/32950928 swapFree=67111528/67111528 [pid=28675] ppid=-1 vsize=0 CPUtime=0 cores= /proc/28675/stat : -- couldn't open stat file --/proc/28675/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1003.1 s] /proc/loadavg: 8.16 8.12 8.01 9/188 28835 /proc/meminfo: memFree=13404208/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=1184708 CPUtime=4005.51 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 243928 0 0 0 400370 181 0 0 19 0 5 0 596508681 1213140992 233753 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 296177 233753 419 389 0 291927 0 [pid=28676/tid=28678] ppid=28675 vsize=1184708 CPUtime=1002.69 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 62227 0 0 0 100219 50 0 0 25 0 5 0 596508707 1213140992 233753 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=1184708 CPUtime=997.21 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 51086 0 0 0 99678 43 0 0 25 0 5 0 596508715 1213140992 233753 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=1184708 CPUtime=1002.59 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 49134 0 0 0 100215 44 0 0 25 0 5 0 596508726 1213140992 233753 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=1184708 CPUtime=1002.46 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 48129 0 0 0 100208 38 0 0 25 0 5 0 596508736 1213140992 233753 33554432000 4194304 5787044 140736073100016 18446744073709551615 5527587 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4005.51 Current children cumulated vsize (KiB) 1193408 [startup+1003.9 s] /proc/loadavg: 8.16 8.12 8.01 9/188 28835 /proc/meminfo: memFree=13404208/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=1184972 CPUtime=4008.68 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 244218 0 0 0 400687 181 0 0 19 0 5 0 596508681 1213411328 234043 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 296243 234043 419 389 0 291993 0 [pid=28676/tid=28678] ppid=28675 vsize=1184972 CPUtime=1003.49 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 62301 0 0 0 100299 50 0 0 25 0 5 0 596508707 1213411328 234043 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=1184972 CPUtime=998 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 51181 0 0 0 99757 43 0 0 25 0 5 0 596508715 1213411328 234043 33554432000 4194304 5787044 140736073100016 18446744073709551615 5592012 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=1184972 CPUtime=1003.38 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 49203 0 0 0 100294 44 0 0 25 0 5 0 596508726 1213411328 234043 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=1184972 CPUtime=1003.26 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 48181 0 0 0 100288 38 0 0 25 0 5 0 596508736 1213411328 234043 33554432000 4194304 5787044 140736073100016 18446744073709551615 5527130 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4008.68 Current children cumulated vsize (KiB) 1193672 [startup+1004.1 s] /proc/loadavg: 8.16 8.12 8.01 9/188 28835 /proc/meminfo: memFree=13404208/32950928 swapFree=67111528/67111528 [pid=28675] ppid=28673 vsize=8700 CPUtime=0 cores=0,2,4,6 /proc/28675/stat : 28675 (priss.sh) S 28673 28675 28330 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 596508681 8908800 251 33554432000 4194304 4922060 140736926544368 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28675/statm: 2175 251 211 178 0 68 0 [pid=28676] ppid=28675 vsize=1184972 CPUtime=4009.48 cores=0,2,4,6 /proc/28676/stat : 28676 (priss) S 28675 28675 28330 0 -1 4202496 244252 0 0 0 400766 182 0 0 19 0 5 0 596508681 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/28676/statm: 296243 234077 433 389 0 291993 0 [pid=28676/tid=28678] ppid=28675 vsize=1184972 CPUtime=1003.69 cores=0,2,4,6 /proc/28676/task/28678/stat : 28678 (priss) R 28675 28675 28330 0 -1 4202560 62306 0 0 0 100319 50 0 0 25 0 5 0 596508707 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 5591760 0 0 4096 0 0 0 0 -1 4 0 0 0 [pid=28676/tid=28679] ppid=28675 vsize=1184972 CPUtime=998.19 cores=0,2,4,6 /proc/28676/task/28679/stat : 28679 (priss) R 28675 28675 28330 0 -1 4202560 51204 0 0 0 99776 43 0 0 25 0 5 0 596508715 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 218880222994 0 0 4096 0 0 0 0 -1 6 0 0 0 [pid=28676/tid=28680] ppid=28675 vsize=1184972 CPUtime=1003.58 cores=0,2,4,6 /proc/28676/task/28680/stat : 28680 (priss) R 28675 28675 28330 0 -1 4202560 49207 0 0 0 100314 44 0 0 25 0 5 0 596508726 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 0 0 0 0 [pid=28676/tid=28681] ppid=28675 vsize=1184972 CPUtime=1003.46 cores=0,2,4,6 /proc/28676/task/28681/stat : 28681 (priss) R 28675 28675 28330 0 -1 4202560 48183 0 0 0 100308 38 0 0 25 0 5 0 596508736 1213411328 234077 33554432000 4194304 5787044 140736073100016 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4009.48 Current children cumulated vsize (KiB) 1193672 [startup+1004.2 s] /proc/loadavg: 8.16 8.12 8.01 6/184 28835 /proc/meminfo: memFree=14270752/32950928 swapFree=67111528/67111528 [pid=28675] ppid=-1 vsize=0 CPUtime=0 cores= /proc/28675/stat : -- couldn't open stat file --/proc/28675/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 10 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28675 and gives # childrusage.ru_utime.tv_sec=4007 # childrusage.ru_utime.tv_usec=898706 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=865716 # CPU time returned by wait4() is 4009.76 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 4009.48 # lost CPU user time (s): 4007.66 # lost CPU system time (s): 1.82 Real time (s): 1004.21 CPU time (s): 4009.48 CPU user time (s): 4007.66 CPU system time (s): 1.82 CPU usage (%): 399.268 Max. virtual memory (cumulated for all children) (KiB): 1193672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4007.9 system time used= 1.86572 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 244627 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= 15122 involuntary context switches= 20766 runsolver used 1.56476 second user time and 3.9194 second system time The end
Begin job on node112 at 2011-04-29 09:39:40 IDJOB=3290493 IDBENCH=83436 IDSOLVER=1603 FILE ID=node112/3290493-1304062780 RUNJOBID= node112-1304062780-28650 PBS_JOBID= 13170443 Free space on /tmp= 72548 MiB SOLVER NAME= priss 1.0 BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290493-1304062780/watcher-3290493-1304062780 -o /tmp/evaluation-result-3290493-1304062780/solver-3290493-1304062780 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3290493-1304062780.cnf 945895381 4800 15500 4 TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d RANDOM SEED=945895381 node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5261.27 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 14488864 kB Buffers: 1995376 kB Cached: 15817368 kB SwapCached: 0 kB Active: 7147288 kB Inactive: 10758488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 14488864 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 19128 kB Writeback: 0 kB AnonPages: 92136 kB Mapped: 14900 kB Slab: 493120 kB PageTables: 4808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 276772 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= 72548 MiB End job on node112 at 2011-04-29 09:56:25