Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
borg-sat 11.03.02-par-industrial (fixed) | SAT | 224.812 | 80.2626 |
Name | application/leberre/ 2dimensionalstrippacking/E05F20.cnf |
MD5SUM | 82462bfc10e506c60d6bdf35a0143bf9 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 15.7966 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 10420 |
Number of clauses | 481346 |
Sum of the clauses size | 3851671 |
Maximum clause length | 78 |
Minimum clause length | 1 |
Number of clauses of size 1 | 21 |
Number of clauses of size 2 | 27486 |
Number of clauses of size 3 | 22736 |
Number of clauses of size 4 | 18300 |
Number of clauses of size 5 | 42820 |
Number of clauses of size over 5 | 369983 |
0.31/0.47 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle 0.31/0.47 c INFO: solving HOME/instance-3378838-1305466866.cnf 0.31/0.47 c INFO: computing task features 4.31/4.49 c INFO: computed variable-clause graph statistics 4.40/4.58 c INFO: computed clause balance statistics 24.01/24.17 c INFO: computed variable balance statistics 30.71/30.83 c INFO: computed small-clause counts 30.71/30.86 c INFO: computed Horn-clause counts 31.60/31.72 c INFO: computed variable graph statistics 31.60/31.72 c INFO: collected features for HOME/instance-3378838-1305466866.cnf in 31.12 s 31.60/31.73 c INFO: running lingeling-276@0 for 1168 with 1168 remaining (b = 0.45) 31.60/31.74 c INFO: running lingeling-276@0 for 97 with 1168 remaining (b = 0.15) 31.60/31.76 c INFO: running cryptominisat-2.9.0@0 for 1168 with 1168 remaining (b = 0.33) 31.60/31.77 c INFO: running lingeling-276@0 for 1168 with 1168 remaining (b = 0.29) 224.32/80.20 s SATISFIABLE 224.32/80.20 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: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3378838-1305466866/watcher-3378838-1305466866 -o /tmp/evaluation-result-3378838-1305466866/solver-3378838-1305466866 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378838-1305466866.cnf -seed 1068671777 -budget 4800 -cores 4 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.99 7.33 6.50 5/377 2224 /proc/meminfo: memFree=14285580/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=15188 CPUtime=0 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 720 0 0 0 0 0 0 0 20 0 1 0 639102533 15552512 613 33554432000 4194304 5683644 140735797141008 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/2224/statm: 3796 614 321 364 0 283 0 [startup+0.0972599 s] /proc/loadavg: 7.99 7.33 6.50 5/377 2224 /proc/meminfo: memFree=14285580/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=102016 CPUtime=0.06 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 3025 0 0 0 4 2 0 0 17 0 1 0 639102533 104464384 2718 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510297344 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/2224/statm: 25504 2719 841 364 0 1804 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 102016 [startup+0.100232 s] /proc/loadavg: 7.99 7.33 6.50 5/377 2224 /proc/meminfo: memFree=14285580/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=104228 CPUtime=0.07 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 3055 0 0 0 5 2 0 0 17 0 1 0 639102533 106729472 2740 33554432000 4194304 5683644 140735797141008 18446744073709551615 233509958341 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/2224/statm: 26057 2741 847 364 0 1805 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 104228 [startup+0.301007 s] /proc/loadavg: 7.99 7.33 6.50 5/377 2224 /proc/meminfo: memFree=14285580/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=170756 CPUtime=0.23 cores=1,3,5,7 /proc/2224/stat : 2224 (python) S 2222 2224 1592 0 -1 4202496 6730 933 1 0 17 6 0 0 17 0 1 0 639102533 174854144 4805 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0 /proc/2224/statm: 42689 4805 1336 364 0 3454 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 170756 [startup+0.700124 s] /proc/loadavg: 7.99 7.33 6.50 5/377 2224 /proc/meminfo: memFree=14285580/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=303892 CPUtime=0.59 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 15775 933 1 0 50 9 0 0 17 0 1 0 639102533 311185408 13277 33554432000 4194304 5683644 140735797141008 18446744073709551615 4445119 0 0 16781312 2 0 0 0 17 7 0 0 0 /proc/2224/statm: 75973 13277 1761 364 0 11897 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 303892 [startup+1.50102 s] /proc/loadavg: 7.99 7.33 6.50 6/378 2229 /proc/meminfo: memFree=14226612/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=344448 CPUtime=1.4 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 25771 933 1 0 129 11 0 0 18 0 1 0 639102533 352714752 23273 33554432000 4194304 5683644 140735797141008 18446744073709551615 233509993921 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/2224/statm: 86112 23273 1761 364 0 22036 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 344448 [startup+3.10073 s] /proc/loadavg: 7.99 7.33 6.50 6/378 2229 /proc/meminfo: memFree=14161388/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=436372 CPUtime=3 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 48524 933 1 0 285 15 0 0 21 0 1 0 639102533 446844928 46026 33554432000 4194304 5683644 140735797141008 18446744073709551615 47249369261362 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/2224/statm: 109093 46027 1761 364 0 45017 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 436372 [startup+6.30016 s] /proc/loadavg: 7.75 7.29 6.49 7/378 2229 /proc/meminfo: memFree=14030728/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=506464 CPUtime=6.2 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 96994 933 1 0 598 22 0 0 25 0 1 0 639102533 518619136 64001 33554432000 4194304 5683644 140735797141008 18446744073709551615 233513706420 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/2224/statm: 126616 64001 1826 364 0 62540 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 506464 [startup+12.701 s] /proc/loadavg: 7.53 7.25 6.48 6/378 2229 /proc/meminfo: memFree=14040812/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=506464 CPUtime=12.6 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 96994 933 1 0 1238 22 0 0 25 0 1 0 639102533 518619136 64001 33554432000 4194304 5683644 140735797141008 18446744073709551615 233509956867 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/2224/statm: 126616 64001 1826 364 0 62540 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 506464 [startup+25.5007 s] /proc/loadavg: 6.97 7.14 6.45 6/378 2229 /proc/meminfo: memFree=14032376/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=506464 CPUtime=25.4 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 96995 933 1 0 2518 22 0 0 25 0 1 0 639102533 518619136 64002 33554432000 4194304 5683644 140735797141008 18446744073709551615 4523408 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/2224/statm: 126616 64002 1827 364 0 62540 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 506464 [startup+51.1011 s] /proc/loadavg: 7.15 7.16 6.48 9/390 2242 /proc/meminfo: memFree=13694768/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=594224 CPUtime=31.67 cores=1,3,5,7 /proc/2224/stat : 2224 (python) S 2222 2224 1592 0 -1 4202496 99599 933 1 0 3143 24 0 0 18 0 5 0 639102533 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2224/statm: 148556 59362 1873 364 0 84465 0 [pid=2231] ppid=2224 vsize=487676 CPUtime=0.05 cores=1,3,5,7 /proc/2231/stat : 2231 (python) S 2224 2224 1592 0 -1 4202560 910 0 0 0 3 2 0 0 18 0 1 0 639105706 499380224 57848 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317583 0 0 16781312 514 911539119891382535 0 0 17 7 0 0 0 /proc/2231/statm: 121919 57848 376 364 0 57837 0 [pid=2233] ppid=2231 vsize=59664 CPUtime=19.24 cores=1,3,5,7 /proc/2233/stat : 2233 (lingeling) R 2231 2233 2233 0 -1 4202496 23421 0 0 0 1921 3 0 0 25 0 1 0 639105707 61095936 14080 33554432000 4194304 4352236 140735453686880 18446744073709551615 4329279 0 0 16781312 17506 0 0 0 17 1 0 0 0 /proc/2233/statm: 14916 14080 129 39 0 13996 0 [pid=2234] ppid=2224 vsize=497932 CPUtime=0.05 cores=1,3,5,7 /proc/2234/stat : 2234 (python) S 2224 2224 1592 0 -1 4202560 909 0 0 0 2 3 0 0 18 0 1 0 639105708 509882368 57846 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382533 0 0 17 5 0 0 0 /proc/2234/statm: 124483 57846 370 364 0 60398 0 [pid=2236] ppid=2234 vsize=59696 CPUtime=19.03 cores=1,3,5,7 /proc/2236/stat : 2236 (lingeling) R 2234 2236 2236 0 -1 4202496 23450 0 0 0 1899 4 0 0 25 0 1 0 639105708 61128704 14088 33554432000 4194304 4352236 140733362079392 18446744073709551615 4329081 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/2236/statm: 14924 14088 129 39 0 14004 0 [pid=2237] ppid=2224 vsize=508188 CPUtime=0.05 cores=1,3,5,7 /proc/2237/stat : 2237 (python) S 2224 2224 1592 0 -1 4202560 928 0 0 0 3 2 0 0 15 0 1 0 639105709 520384512 57850 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382532 0 0 17 1 0 0 0 /proc/2237/statm: 127047 57850 370 364 0 62959 0 [pid=2241] ppid=2237 vsize=197628 CPUtime=19.24 cores=1,3,5,7 /proc/2241/stat : 2241 (cryptominisat-2) R 2237 2241 2241 0 -1 4202496 38817 0 0 0 1919 5 0 0 25 0 1 0 639105711 202371072 38307 33554432000 4194304 4677096 140733902680128 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/2241/statm: 49407 38307 378 118 0 44366 0 [pid=2239] ppid=2224 vsize=518444 CPUtime=0.04 cores=1,3,5,7 /proc/2239/stat : 2239 (python) S 2224 2224 1592 0 -1 4202560 925 0 0 0 1 3 0 0 18 0 1 0 639105710 530886656 57854 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382536 0 0 17 1 0 0 0 /proc/2239/statm: 129611 57854 370 364 0 65520 0 [pid=2242] ppid=2239 vsize=59560 CPUtime=19.28 cores=1,3,5,7 /proc/2242/stat : 2242 (lingeling) R 2239 2242 2242 0 -1 4202496 19412 0 0 0 1925 3 0 0 25 0 1 0 639105712 60989440 14054 33554432000 4194304 4352236 140735125871456 18446744073709551615 4295564 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/2242/statm: 14890 14054 129 39 0 13970 0 [pid=2224/tid=2232] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2232/stat : 2232 (python) S 2222 2224 1592 0 -1 4202560 34 933 0 0 0 0 0 0 25 0 5 0 639105707 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2235] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2235/stat : 2235 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 5 0 639105708 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2238] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2238/stat : 2238 (python) S 2222 2224 1592 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 5 0 639105710 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 [pid=2224/tid=2240] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2240/stat : 2240 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 22 0 5 0 639105711 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 108.65 Current children cumulated vsize (KiB) 2983012 Solver just ended. Dumping a history of the last processes samples [startup+63.9008 s] /proc/loadavg: 7.42 7.22 6.51 9/390 2242 /proc/meminfo: memFree=13687644/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=594224 CPUtime=31.67 cores=1,3,5,7 /proc/2224/stat : 2224 (python) S 2222 2224 1592 0 -1 4202496 99599 933 1 0 3143 24 0 0 18 0 5 0 639102533 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2224/statm: 148556 59362 1873 364 0 84465 0 [pid=2231] ppid=2224 vsize=487676 CPUtime=0.08 cores=1,3,5,7 /proc/2231/stat : 2231 (python) S 2224 2224 1592 0 -1 4202560 917 0 0 0 4 4 0 0 18 0 1 0 639105706 499380224 57848 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317583 0 0 16781312 514 911539119891382535 0 0 17 7 0 0 0 /proc/2231/statm: 121919 57848 376 364 0 57837 0 [pid=2233] ppid=2231 vsize=61064 CPUtime=31.97 cores=1,3,5,7 /proc/2233/stat : 2233 (lingeling) R 2231 2233 2233 0 -1 4202496 23773 0 0 0 3194 3 0 0 25 0 1 0 639105707 62529536 14430 33554432000 4194304 4352236 140735453686880 18446744073709551615 4329086 0 0 16781312 17506 0 0 0 17 1 0 0 0 /proc/2233/statm: 15266 14430 129 39 0 14346 0 [pid=2234] ppid=2224 vsize=497932 CPUtime=0.08 cores=1,3,5,7 /proc/2234/stat : 2234 (python) S 2224 2224 1592 0 -1 4202560 915 0 0 0 3 5 0 0 18 0 1 0 639105708 509882368 57846 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382533 0 0 17 5 0 0 0 /proc/2234/statm: 124483 57846 370 364 0 60398 0 [pid=2236] ppid=2234 vsize=61192 CPUtime=31.63 cores=1,3,5,7 /proc/2236/stat : 2236 (lingeling) R 2234 2236 2236 0 -1 4202496 23831 0 0 0 3159 4 0 0 25 0 1 0 639105708 62660608 14462 33554432000 4194304 4352236 140733362079392 18446744073709551615 4328233 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/2236/statm: 15298 14462 129 39 0 14378 0 [pid=2237] ppid=2224 vsize=508188 CPUtime=0.08 cores=1,3,5,7 /proc/2237/stat : 2237 (python) S 2224 2224 1592 0 -1 4202560 936 0 0 0 5 3 0 0 15 0 1 0 639105709 520384512 57850 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 121021050140983556 0 0 17 1 0 0 0 /proc/2237/statm: 127047 57850 370 364 0 62959 0 [pid=2241] ppid=2237 vsize=204028 CPUtime=32.02 cores=1,3,5,7 /proc/2241/stat : 2241 (cryptominisat-2) R 2237 2241 2241 0 -1 4202496 43204 0 0 0 3195 7 0 0 25 0 1 0 639105711 208924672 39887 33554432000 4194304 4677096 140733902680128 18446744073709551615 233509994140 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/2241/statm: 51007 39887 388 118 0 45966 0 [pid=2239] ppid=2224 vsize=518444 CPUtime=0.08 cores=1,3,5,7 /proc/2239/stat : 2239 (python) S 2224 2224 1592 0 -1 4202560 931 0 0 0 3 5 0 0 18 0 1 0 639105710 530886656 57854 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382536 0 0 17 1 0 0 0 /proc/2239/statm: 129611 57854 370 364 0 65520 0 [pid=2242] ppid=2239 vsize=61856 CPUtime=32.08 cores=1,3,5,7 /proc/2242/stat : 2242 (lingeling) R 2239 2242 2242 0 -1 4202496 19988 0 0 0 3205 3 0 0 25 0 1 0 639105712 63340544 14628 33554432000 4194304 4352236 140735125871456 18446744073709551615 4328109 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/2242/statm: 15464 14628 129 39 0 14544 0 [pid=2224/tid=2232] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2232/stat : 2232 (python) S 2222 2224 1592 0 -1 4202560 34 933 0 0 0 0 0 0 25 0 5 0 639105707 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2235] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2235/stat : 2235 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 5 0 639105708 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2238] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2238/stat : 2238 (python) S 2222 2224 1592 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 5 0 639105710 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 [pid=2224/tid=2240] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2240/stat : 2240 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 22 0 5 0 639105711 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 159.69 Current children cumulated vsize (KiB) 2994604 [startup+70.3006 s] /proc/loadavg: 7.46 7.23 6.51 9/390 2243 /proc/meminfo: memFree=13646104/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=594224 CPUtime=31.67 cores=1,3,5,7 /proc/2224/stat : 2224 (python) S 2222 2224 1592 0 -1 4202496 99599 933 1 0 3143 24 0 0 18 0 5 0 639102533 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2224/statm: 148556 59362 1873 364 0 84465 0 [pid=2231] ppid=2224 vsize=487676 CPUtime=0.1 cores=1,3,5,7 ################ # More data... # ################ /proc/2231/statm: 121919 57848 376 364 0 57837 0 [pid=2233] ppid=2231 vsize=62172 CPUtime=46.27 cores=1,3,5,7 /proc/2233/stat : 2233 (lingeling) R 2231 2233 2233 0 -1 4202496 28129 0 0 0 4623 4 0 0 25 0 1 0 639105707 63664128 14707 33554432000 4194304 4352236 140735453686880 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 1 0 0 0 /proc/2233/statm: 15543 14707 129 39 0 14623 0 [pid=2234] ppid=2224 vsize=497932 CPUtime=0.14 cores=1,3,5,7 /proc/2234/stat : 2234 (python) S 2224 2224 1592 0 -1 4202560 922 0 0 0 6 8 0 0 18 0 1 0 639105708 509882368 57846 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382533 0 0 17 5 0 0 0 /proc/2234/statm: 124483 57846 370 364 0 60398 0 [pid=2236] ppid=2234 vsize=61344 CPUtime=45.8 cores=1,3,5,7 /proc/2236/stat : 2236 (lingeling) R 2234 2236 2236 0 -1 4202496 27915 0 0 0 4575 5 0 0 25 0 1 0 639105708 62816256 14500 33554432000 4194304 4352236 140733362079392 18446744073709551615 4328009 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/2236/statm: 15336 14500 129 39 0 14416 0 [pid=2237] ppid=2224 vsize=508188 CPUtime=0.14 cores=1,3,5,7 /proc/2237/stat : 2237 (python) S 2224 2224 1592 0 -1 4202560 944 0 0 0 8 6 0 0 15 0 1 0 639105709 520384512 57850 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382532 0 0 17 1 0 0 0 /proc/2237/statm: 127047 57850 370 364 0 62959 0 [pid=2241] ppid=2237 vsize=217048 CPUtime=46.36 cores=1,3,5,7 /proc/2241/stat : 2241 (cryptominisat-2) R 2237 2241 2241 0 -1 4202496 46549 0 0 0 4629 7 0 0 25 0 1 0 639105711 222257152 43232 33554432000 4194304 4677096 140733902680128 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/2241/statm: 54262 43232 391 118 0 49221 0 [pid=2239] ppid=2224 vsize=518444 CPUtime=0.13 cores=1,3,5,7 /proc/2239/stat : 2239 (python) S 2224 2224 1592 0 -1 4202560 941 0 0 0 6 7 0 0 18 0 1 0 639105710 530886656 57854 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382536 0 0 17 1 0 0 0 /proc/2239/statm: 129611 57854 370 364 0 65520 0 [pid=2242] ppid=2239 vsize=62624 CPUtime=46.48 cores=1,3,5,7 /proc/2242/stat : 2242 (lingeling) R 2239 2242 2242 0 -1 4202496 20301 0 0 0 4645 3 0 0 25 0 1 0 639105712 64126976 14820 33554432000 4194304 4352236 140735125871456 18446744073709551615 4328122 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/2242/statm: 15656 14820 129 39 0 14736 0 [pid=2224/tid=2232] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2232/stat : 2232 (python) S 2222 2224 1592 0 -1 4202560 34 933 0 0 0 0 0 0 25 0 5 0 639105707 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2235] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2235/stat : 2235 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 5 0 639105708 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2238] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2238/stat : 2238 (python) S 2222 2224 1592 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 5 0 639105710 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 [pid=2224/tid=2240] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2240/stat : 2240 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 22 0 5 0 639105711 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 217.13 Current children cumulated vsize (KiB) 3009652 [startup+79.1011 s] /proc/loadavg: 7.54 7.26 6.53 9/390 2243 /proc/meminfo: memFree=13670032/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=594224 CPUtime=31.67 cores=1,3,5,7 /proc/2224/stat : 2224 (python) S 2222 2224 1592 0 -1 4202496 99599 933 1 0 3143 24 0 0 18 0 5 0 639102533 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2224/statm: 148556 59362 1873 364 0 84465 0 [pid=2231] ppid=2224 vsize=487676 CPUtime=0.14 cores=1,3,5,7 /proc/2231/stat : 2231 (python) S 2224 2224 1592 0 -1 4202560 927 0 0 0 7 7 0 0 18 0 1 0 639105706 499380224 57848 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317583 0 0 16781312 514 911539119891382535 0 0 17 7 0 0 0 /proc/2231/statm: 121919 57848 376 364 0 57837 0 [pid=2233] ppid=2231 vsize=62172 CPUtime=47.07 cores=1,3,5,7 /proc/2233/stat : 2233 (lingeling) R 2231 2233 2233 0 -1 4202496 28129 0 0 0 4703 4 0 0 25 0 1 0 639105707 63664128 14707 33554432000 4194304 4352236 140735453686880 18446744073709551615 4207744 0 0 16781312 17506 0 0 0 17 1 0 0 0 /proc/2233/statm: 15543 14707 129 39 0 14623 0 [pid=2234] ppid=2224 vsize=497932 CPUtime=0.14 cores=1,3,5,7 /proc/2234/stat : 2234 (python) S 2224 2224 1592 0 -1 4202560 922 0 0 0 6 8 0 0 18 0 1 0 639105708 509882368 57846 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382533 0 0 17 5 0 0 0 /proc/2234/statm: 124483 57846 370 364 0 60398 0 [pid=2236] ppid=2234 vsize=61344 CPUtime=46.6 cores=1,3,5,7 /proc/2236/stat : 2236 (lingeling) R 2234 2236 2236 0 -1 4202496 27915 0 0 0 4655 5 0 0 25 0 1 0 639105708 62816256 14500 33554432000 4194304 4352236 140733362079392 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/2236/statm: 15336 14500 129 39 0 14416 0 [pid=2237] ppid=2224 vsize=508188 CPUtime=0.14 cores=1,3,5,7 /proc/2237/stat : 2237 (python) S 2224 2224 1592 0 -1 4202560 944 0 0 0 8 6 0 0 15 0 1 0 639105709 520384512 57850 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382532 0 0 17 1 0 0 0 /proc/2237/statm: 127047 57850 370 364 0 62959 0 [pid=2241] ppid=2237 vsize=217048 CPUtime=47.16 cores=1,3,5,7 /proc/2241/stat : 2241 (cryptominisat-2) R 2237 2241 2241 0 -1 4202496 46549 0 0 0 4709 7 0 0 25 0 1 0 639105711 222257152 43232 33554432000 4194304 4677096 140733902680128 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/2241/statm: 54262 43232 391 118 0 49221 0 [pid=2239] ppid=2224 vsize=518444 CPUtime=0.13 cores=1,3,5,7 /proc/2239/stat : 2239 (python) S 2224 2224 1592 0 -1 4202560 941 0 0 0 6 7 0 0 18 0 1 0 639105710 530886656 57854 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382536 0 0 17 1 0 0 0 /proc/2239/statm: 129611 57854 370 364 0 65520 0 [pid=2242] ppid=2239 vsize=62624 CPUtime=47.29 cores=1,3,5,7 /proc/2242/stat : 2242 (lingeling) R 2239 2242 2242 0 -1 4202496 20301 0 0 0 4726 3 0 0 25 0 1 0 639105712 64126976 14820 33554432000 4194304 4352236 140735125871456 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/2242/statm: 15656 14820 129 39 0 14736 0 [pid=2224/tid=2232] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2232/stat : 2232 (python) S 2222 2224 1592 0 -1 4202560 34 933 0 0 0 0 0 0 25 0 5 0 639105707 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2235] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2235/stat : 2235 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 5 0 639105708 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2238] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2238/stat : 2238 (python) S 2222 2224 1592 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 5 0 639105710 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 [pid=2224/tid=2240] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2240/stat : 2240 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 22 0 5 0 639105711 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 220.34 Current children cumulated vsize (KiB) 3009652 [startup+79.9009 s] /proc/loadavg: 7.54 7.26 6.53 9/390 2243 /proc/meminfo: memFree=13670032/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=594224 CPUtime=31.67 cores=1,3,5,7 /proc/2224/stat : 2224 (python) S 2222 2224 1592 0 -1 4202496 99599 933 1 0 3143 24 0 0 18 0 5 0 639102533 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2224/statm: 148556 59362 1873 364 0 84465 0 [pid=2231] ppid=2224 vsize=487676 CPUtime=0.14 cores=1,3,5,7 /proc/2231/stat : 2231 (python) S 2224 2224 1592 0 -1 4202560 927 0 0 0 7 7 0 0 18 0 1 0 639105706 499380224 57848 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317583 0 0 16781312 514 911539119891382535 0 0 17 7 0 0 0 /proc/2231/statm: 121919 57848 376 364 0 57837 0 [pid=2233] ppid=2231 vsize=62172 CPUtime=47.87 cores=1,3,5,7 /proc/2233/stat : 2233 (lingeling) R 2231 2233 2233 0 -1 4202496 28129 0 0 0 4783 4 0 0 25 0 1 0 639105707 63664128 14707 33554432000 4194304 4352236 140735453686880 18446744073709551615 4329047 0 0 16781312 17506 0 0 0 17 1 0 0 0 /proc/2233/statm: 15543 14707 129 39 0 14623 0 [pid=2234] ppid=2224 vsize=497932 CPUtime=0.14 cores=1,3,5,7 /proc/2234/stat : 2234 (python) S 2224 2224 1592 0 -1 4202560 922 0 0 0 6 8 0 0 18 0 1 0 639105708 509882368 57846 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382533 0 0 17 5 0 0 0 /proc/2234/statm: 124483 57846 370 364 0 60398 0 [pid=2236] ppid=2234 vsize=61344 CPUtime=47.39 cores=1,3,5,7 /proc/2236/stat : 2236 (lingeling) R 2234 2236 2236 0 -1 4202496 27915 0 0 0 4734 5 0 0 25 0 1 0 639105708 62816256 14500 33554432000 4194304 4352236 140733362079392 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/2236/statm: 15336 14500 129 39 0 14416 0 [pid=2237] ppid=2224 vsize=508188 CPUtime=0.14 cores=1,3,5,7 /proc/2237/stat : 2237 (python) S 2224 2224 1592 0 -1 4202560 944 0 0 0 8 6 0 0 15 0 1 0 639105709 520384512 57850 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382532 0 0 17 1 0 0 0 /proc/2237/statm: 127047 57850 370 364 0 62959 0 [pid=2241] ppid=2237 vsize=217048 CPUtime=47.96 cores=1,3,5,7 /proc/2241/stat : 2241 (cryptominisat-2) R 2237 2241 2241 0 -1 4202496 46549 0 0 0 4789 7 0 0 25 0 1 0 639105711 222257152 43232 33554432000 4194304 4677096 140733902680128 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/2241/statm: 54262 43232 391 118 0 49221 0 [pid=2239] ppid=2224 vsize=518444 CPUtime=0.13 cores=1,3,5,7 /proc/2239/stat : 2239 (python) S 2224 2224 1592 0 -1 4202560 941 0 0 0 6 7 0 0 18 0 1 0 639105710 530886656 57854 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382536 0 0 17 1 0 0 0 /proc/2239/statm: 129611 57854 370 364 0 65520 0 [pid=2242] ppid=2239 vsize=62624 CPUtime=48.08 cores=1,3,5,7 /proc/2242/stat : 2242 (lingeling) R 2239 2242 2242 0 -1 4202496 20301 0 0 0 4805 3 0 0 25 0 1 0 639105712 64126976 14820 33554432000 4194304 4352236 140735125871456 18446744073709551615 4280999 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/2242/statm: 15656 14820 129 39 0 14736 0 [pid=2224/tid=2232] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2232/stat : 2232 (python) S 2222 2224 1592 0 -1 4202560 34 933 0 0 0 0 0 0 25 0 5 0 639105707 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2235] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2235/stat : 2235 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 5 0 639105708 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2238] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2238/stat : 2238 (python) S 2222 2224 1592 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 5 0 639105710 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 [pid=2224/tid=2240] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2240/stat : 2240 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 22 0 5 0 639105711 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 223.52 Current children cumulated vsize (KiB) 3009652 [startup+80.1009 s] /proc/loadavg: 7.54 7.26 6.53 9/390 2243 /proc/meminfo: memFree=13670032/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=594224 CPUtime=31.67 cores=1,3,5,7 /proc/2224/stat : 2224 (python) S 2222 2224 1592 0 -1 4202496 99599 933 1 0 3143 24 0 0 18 0 5 0 639102533 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522124235 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0 /proc/2224/statm: 148556 59362 1873 364 0 84465 0 [pid=2231] ppid=2224 vsize=487676 CPUtime=0.14 cores=1,3,5,7 /proc/2231/stat : 2231 (python) S 2224 2224 1592 0 -1 4202560 927 0 0 0 7 7 0 0 18 0 1 0 639105706 499380224 57848 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317583 0 0 16781312 514 911539119891382535 0 0 17 7 0 0 0 /proc/2231/statm: 121919 57848 376 364 0 57837 0 [pid=2233] ppid=2231 vsize=62172 CPUtime=48.07 cores=1,3,5,7 /proc/2233/stat : 2233 (lingeling) R 2231 2233 2233 0 -1 4202496 28129 0 0 0 4803 4 0 0 25 0 1 0 639105707 63664128 14707 33554432000 4194304 4352236 140735453686880 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 1 0 0 0 /proc/2233/statm: 15543 14707 129 39 0 14623 0 [pid=2234] ppid=2224 vsize=497932 CPUtime=0.14 cores=1,3,5,7 /proc/2234/stat : 2234 (python) S 2224 2224 1592 0 -1 4202560 922 0 0 0 6 8 0 0 18 0 1 0 639105708 509882368 57846 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382533 0 0 17 5 0 0 0 /proc/2234/statm: 124483 57846 370 364 0 60398 0 [pid=2236] ppid=2234 vsize=61344 CPUtime=47.59 cores=1,3,5,7 /proc/2236/stat : 2236 (lingeling) R 2234 2236 2236 0 -1 4202496 27915 0 0 0 4754 5 0 0 25 0 1 0 639105708 62816256 14500 33554432000 4194304 4352236 140733362079392 18446744073709551615 4207805 0 0 16781312 17506 0 0 0 17 7 0 0 0 /proc/2236/statm: 15336 14500 129 39 0 14416 0 [pid=2237] ppid=2224 vsize=508188 CPUtime=0.14 cores=1,3,5,7 /proc/2237/stat : 2237 (python) S 2224 2224 1592 0 -1 4202560 944 0 0 0 8 6 0 0 15 0 1 0 639105709 520384512 57850 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382532 0 0 17 1 0 0 0 /proc/2237/statm: 127047 57850 370 364 0 62959 0 [pid=2241] ppid=2237 vsize=217048 CPUtime=48.16 cores=1,3,5,7 /proc/2241/stat : 2241 (cryptominisat-2) R 2237 2241 2241 0 -1 4202496 46549 0 0 0 4809 7 0 0 25 0 1 0 639105711 222257152 43232 33554432000 4194304 4677096 140733902680128 18446744073709551615 4502926 0 0 16781312 2 0 0 0 17 5 0 0 0 /proc/2241/statm: 54262 43232 391 118 0 49221 0 [pid=2239] ppid=2224 vsize=518444 CPUtime=0.13 cores=1,3,5,7 /proc/2239/stat : 2239 (python) S 2224 2224 1592 0 -1 4202560 941 0 0 0 6 7 0 0 18 0 1 0 639105710 530886656 57854 33554432000 4194304 5683644 140735797141008 18446744073709551615 233510317638 0 0 16781312 514 911539119891382536 0 0 17 1 0 0 0 /proc/2239/statm: 129611 57854 370 364 0 65520 0 [pid=2242] ppid=2239 vsize=62624 CPUtime=48.28 cores=1,3,5,7 /proc/2242/stat : 2242 (lingeling) R 2239 2242 2242 0 -1 4202496 20301 0 0 0 4825 3 0 0 25 0 1 0 639105712 64126976 14820 33554432000 4194304 4352236 140735125871456 18446744073709551615 4328026 0 0 16781312 17506 0 0 0 17 3 0 0 0 /proc/2242/statm: 15656 14820 129 39 0 14736 0 [pid=2224/tid=2232] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2232/stat : 2232 (python) S 2222 2224 1592 0 -1 4202560 34 933 0 0 0 0 0 0 25 0 5 0 639105707 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2235] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2235/stat : 2235 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 20 0 5 0 639105708 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 7 0 0 0 [pid=2224/tid=2238] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2238/stat : 2238 (python) S 2222 2224 1592 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 5 0 639105710 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 [pid=2224/tid=2240] ppid=2222 vsize=594224 CPUtime=0 cores=1,3,5,7 /proc/2224/task/2240/stat : 2240 (python) S 2222 2224 1592 0 -1 4202560 22 933 0 0 0 0 0 0 22 0 5 0 639105711 608485376 59362 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 2 18446604460592371776 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 224.32 Current children cumulated vsize (KiB) 3009652 [startup+80.2009 s] /proc/loadavg: 7.54 7.26 6.53 9/383 2244 /proc/meminfo: memFree=14042312/32951124 swapFree=67111348/67111528 [pid=2224] ppid=2222 vsize=594176 CPUtime=224.74 cores=1,3,5,7 /proc/2224/stat : 2224 (python) R 2222 2224 1592 0 -1 4202496 101471 128297 1 0 3143 25 19251 55 17 0 4 0 639102533 608436224 59391 33554432000 4194304 5683644 140735797141008 18446744073709551615 5116756 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0 /proc/2224/statm: 148544 59391 1868 364 0 84465 0 [pid=2224/tid=2232] ppid=2222 vsize=594176 CPUtime=193.06 cores=1,3,5,7 /proc/2224/task/2232/stat : 2232 (python) S 2222 2224 1592 0 -1 4202560 37 128297 0 0 0 0 19251 55 17 0 4 0 639105707 608436224 59391 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 0 18446604460592371776 0 0 -1 5 0 0 0 [pid=2224/tid=2235] ppid=2222 vsize=594176 CPUtime=193.06 cores=1,3,5,7 /proc/2224/task/2235/stat : 2235 (python) S 2222 2224 1592 0 -1 4202560 24 128297 0 0 0 0 19251 55 17 0 4 0 639105708 608436224 59391 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 0 18446604460592371776 0 0 -1 5 0 0 0 [pid=2224/tid=2240] ppid=2222 vsize=594176 CPUtime=193.06 cores=1,3,5,7 /proc/2224/task/2240/stat : 2240 (python) S 2222 2224 1592 0 -1 4202560 22 128297 0 0 0 0 19251 55 18 0 4 0 639105711 608436224 59391 33554432000 4194304 5683644 140735797141008 18446744073709551615 233522121137 0 0 16781312 0 18446604460592371776 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 224.74 Current children cumulated vsize (KiB) 594176 Child status: 0 Real time (s): 80.2626 CPU time (s): 224.812 CPU user time (s): 223.977 CPU system time (s): 0.834873 CPU usage (%): 280.096 Max. virtual memory (cumulated for all children) (KiB): 3040892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 223.977 system time used= 0.834873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 255195 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1930 involuntary context switches= 2295 runsolver used 0.25796 second user time and 0.72089 second system time The end
Begin job on node145 at 2011-05-15 15:41:07 IDJOB=3378838 IDBENCH=83475 IDSOLVER=1860 FILE ID=node145/3378838-1305466866 RUNJOBID= node145-1305463524-1611 PBS_JOBID= 13325000 Free space on /tmp= 73616 MiB SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed) BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3378838-1305466866/watcher-3378838-1305466866 -o /tmp/evaluation-result-3378838-1305466866/solver-3378838-1305466866 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378838-1305466866.cnf -seed 1068671777 -budget 4800 -cores 4 TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9 RANDOM SEED=1068671777 node145.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.786 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.57 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.786 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.76 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.786 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.74 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.786 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.83 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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 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.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 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.84 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.786 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.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14285860 kB Buffers: 319964 kB Cached: 8629344 kB SwapCached: 0 kB Active: 11457204 kB Inactive: 6833304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14285860 kB SwapTotal: 67111528 kB SwapFree: 67111348 kB Dirty: 52508 kB Writeback: 0 kB AnonPages: 9340648 kB Mapped: 34444 kB Slab: 261336 kB PageTables: 46952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 84248900 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= 73584 MiB End job on node145 at 2011-05-15 15:42:27