Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
borg-sat 11.03.02-par-industrial (fixed) | SAT | 596.555 | 167.471 |
Name | application/leberre/ 2dimensionalstrippacking/E02F20.cnf |
MD5SUM | 3e5703cd522988fbb05dcac3c4dbbe9d |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 27.9038 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 10420 |
Number of clauses | 395383 |
Sum of the clauses size | 2821910 |
Maximum clause length | 66 |
Minimum clause length | 1 |
Number of clauses of size 1 | 22 |
Number of clauses of size 2 | 27506 |
Number of clauses of size 3 | 20815 |
Number of clauses of size 4 | 12840 |
Number of clauses of size 5 | 36380 |
Number of clauses of size over 5 | 297820 |
0.31/0.46 c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle 0.31/0.46 c INFO: solving HOME/instance-3378837-1305466600.cnf 0.31/0.46 c INFO: computing task features 3.12/3.26 c INFO: computed variable-clause graph statistics 3.22/3.33 c INFO: computed clause balance statistics 17.42/17.55 c INFO: computed variable balance statistics 22.61/22.71 c INFO: computed small-clause counts 22.61/22.74 c INFO: computed Horn-clause counts 23.21/23.34 c INFO: computed variable graph statistics 23.21/23.34 c INFO: collected features for HOME/instance-3378837-1305466600.cnf in 22.78 s 23.21/23.35 c INFO: running lingeling-276@0 for 1177 with 1177 remaining (b = 0.47) 23.21/23.36 c INFO: running cryptominisat-2.9.0@0 for 1177 with 1177 remaining (b = 0.43) 23.21/23.38 c INFO: running lingeling-276@0 for 1177 with 1177 remaining (b = 0.40) 23.21/23.39 c INFO: running lingeling-276@0 for 1177 with 1177 remaining (b = 0.35) 596.41/167.41 s SATISFIABLE 596.41/167.41 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-3378837-1305466600/watcher-3378837-1305466600 -o /tmp/evaluation-result-3378837-1305466600/solver-3378837-1305466600 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378837-1305466600.cnf -seed 2051481158 -budget 4800 -cores 4 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.59 6.74 6.52 5/431 22683 /proc/meminfo: memFree=19829080/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=16240 CPUtime=0 cores=0,2,4,6 /proc/22683/stat : 22683 (python) R 22681 22683 21641 0 -1 4202496 1038 0 0 0 0 0 0 0 24 0 1 0 736890843 16629760 911 33554432000 4194304 5683644 140735698139600 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/22683/statm: 4060 911 380 364 0 547 0 [startup+0.037421 s] /proc/loadavg: 7.59 6.74 6.52 5/431 22683 /proc/meminfo: memFree=19829080/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=18884 CPUtime=0.02 cores=0,2,4,6 /proc/22683/stat : 22683 (python) R 22681 22683 21641 0 -1 4202496 1286 0 0 0 2 0 0 0 24 0 1 0 736890843 19337216 1140 33554432000 4194304 5683644 140735698139600 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0 /proc/22683/statm: 4721 1140 421 364 0 690 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18884 [startup+0.101688 s] /proc/loadavg: 7.59 6.74 6.52 5/431 22683 /proc/meminfo: memFree=19829080/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=104616 CPUtime=0.07 cores=0,2,4,6 /proc/22683/stat : 22683 (python) S 22681 22683 21641 0 -1 4202496 3097 0 0 0 5 2 0 0 24 0 1 0 736890843 107126784 2778 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0 /proc/22683/statm: 26154 2778 847 364 0 1902 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 104616 [startup+0.300378 s] /proc/loadavg: 7.59 6.74 6.52 5/431 22683 /proc/meminfo: memFree=19829080/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=187744 CPUtime=0.23 cores=0,2,4,6 /proc/22683/stat : 22683 (python) R 22681 22683 21641 0 -1 4202496 6800 935 1 0 17 6 0 0 25 0 1 0 736890843 192249856 4865 33554432000 4194304 5683644 140735698139600 18446744073709551615 215983624057 0 0 16781312 2 0 0 0 17 6 0 0 0 /proc/22683/statm: 46936 4865 1384 364 0 3724 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 187744 [startup+0.700303 s] /proc/loadavg: 7.59 6.74 6.52 5/431 22683 /proc/meminfo: memFree=19829080/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=299944 CPUtime=0.61 cores=0,2,4,6 /proc/22683/stat : 22683 (python) R 22681 22683 21641 0 -1 4202496 14683 935 1 0 51 10 0 0 25 0 1 0 736890843 307142656 12183 33554432000 4194304 5683644 140735698139600 18446744073709551615 4942017 0 0 16781312 2 0 0 0 17 6 0 0 0 /proc/22683/statm: 74986 12183 1761 364 0 10910 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 299944 [startup+1.50016 s] /proc/loadavg: 7.38 6.71 6.51 7/432 22688 /proc/meminfo: memFree=19765212/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=350432 CPUtime=1.4 cores=0,2,4,6 /proc/22683/stat : 22683 (python) R 22681 22683 21641 0 -1 4202496 27117 935 1 0 129 11 0 0 25 0 1 0 736890843 358842368 24617 33554432000 4194304 5683644 140735698139600 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 2 0 0 0 /proc/22683/statm: 87608 24617 1761 364 0 23532 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 350432 [startup+3.10089 s] /proc/loadavg: 7.38 6.71 6.51 7/432 22688 /proc/meminfo: memFree=19696268/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=380528 CPUtime=3 cores=0,2,4,6 /proc/22683/stat : 22683 (python) R 22681 22683 21641 0 -1 4202496 52883 935 1 0 285 15 0 0 25 0 1 0 736890843 389660672 32384 33554432000 4194304 5683644 140735698139600 18446744073709551615 4415616 0 0 16781312 2 0 0 0 17 2 0 0 0 /proc/22683/statm: 95132 32384 1764 364 0 31056 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 380528 [startup+6.30032 s] /proc/loadavg: 7.38 6.71 6.51 7/432 22688 /proc/meminfo: memFree=19636456/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=449844 CPUtime=6.21 cores=0,2,4,6 /proc/22683/stat : 22683 (python) R 22681 22683 21641 0 -1 4202496 74854 935 1 0 603 18 0 0 25 0 1 0 736890843 460640256 49845 33554432000 4194304 5683644 140735698139600 18446744073709551615 47257396646174 0 0 16781312 2 0 0 0 17 2 0 0 0 /proc/22683/statm: 112461 49845 1826 364 0 48385 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 449844 [startup+12.7002 s] /proc/loadavg: 7.01 6.65 6.49 7/432 22688 /proc/meminfo: memFree=19617632/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=449844 CPUtime=12.61 cores=0,2,4,6 /proc/22683/stat : 22683 (python) R 22681 22683 21641 0 -1 4202496 74854 935 1 0 1243 18 0 0 25 0 1 0 736890843 460640256 49845 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988250849 0 0 16781312 2 0 0 0 17 2 0 0 0 /proc/22683/statm: 112461 49845 1826 364 0 48385 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 449844 [startup+25.501 s] /proc/loadavg: 6.70 6.60 6.48 10/444 22702 /proc/meminfo: memFree=19337728/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=477100 CPUtime=23.3 cores=0,2,4,6 /proc/22683/stat : 22683 (python) S 22681 22683 21641 0 -1 4202496 77454 935 1 0 2309 21 0 0 25 0 5 0 736890843 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0 /proc/22683/statm: 119275 46463 1873 364 0 55184 0 [pid=22689] ppid=22683 vsize=436088 CPUtime=0 cores=0,2,4,6 /proc/22689/stat : 22689 (python) S 22683 22683 21641 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 736893178 446554112 44927 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612623 0 0 16781312 514 17535012818456117506 0 0 17 6 0 0 0 /proc/22689/statm: 109022 44927 353 364 0 44940 0 [pid=22691] ppid=22689 vsize=62932 CPUtime=2.12 cores=0,2,4,6 /proc/22691/stat : 22691 (lingeling) R 22689 22691 22691 0 -1 4202496 17083 0 0 0 210 2 0 0 25 0 1 0 736893179 64442368 14894 33554432000 4194304 4352236 140735867041984 18446744073709551615 4267912 0 0 16781312 17506 0 0 0 17 0 0 0 0 /proc/22691/statm: 15733 14894 126 39 0 14813 0 [pid=22692] ppid=22683 vsize=446344 CPUtime=0 cores=0,2,4,6 /proc/22692/stat : 22692 (python) S 22683 22683 21641 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 1 0 736893179 457056256 44925 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 4594889883096416513 0 0 17 2 0 0 0 /proc/22692/statm: 111586 44925 347 364 0 47501 0 [pid=22695] ppid=22692 vsize=180420 CPUtime=2.11 cores=0,2,4,6 /proc/22695/stat : 22695 (cryptominisat-2) R 22692 22695 22695 0 -1 4202496 31939 0 0 0 207 4 0 0 25 0 1 0 736893180 184750080 31424 33554432000 4194304 4677096 140735453885632 18446744073709551615 4502926 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/22695/statm: 45105 31424 378 118 0 40064 0 [pid=22696] ppid=22683 vsize=456600 CPUtime=0 cores=0,2,4,6 /proc/22696/stat : 22696 (python) S 22683 22683 21641 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 736893181 467558400 44929 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17535016666746814722 0 0 17 6 0 0 0 /proc/22696/statm: 114150 44929 347 364 0 50062 0 [pid=22699] ppid=22696 vsize=62932 CPUtime=2.1 cores=0,2,4,6 /proc/22699/stat : 22699 (lingeling) R 22696 22699 22699 0 -1 4202496 17081 0 0 0 208 2 0 0 25 0 1 0 736893181 64442368 14894 33554432000 4194304 4352236 140737239963392 18446744073709551615 4268080 0 0 16781312 17506 0 0 0 17 2 0 0 0 /proc/22699/statm: 15733 14894 126 39 0 14813 0 [pid=22700] ppid=22683 vsize=466856 CPUtime=0 cores=0,2,4,6 /proc/22700/stat : 22700 (python) S 22683 22683 21641 0 -1 4202560 749 0 0 0 0 0 0 0 18 0 1 0 736893182 478060544 44933 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 8127954170041827585 0 0 17 6 0 0 0 /proc/22700/statm: 116714 44933 347 364 0 52623 0 [pid=22702] ppid=22700 vsize=62932 CPUtime=2.06 cores=0,2,4,6 /proc/22702/stat : 22702 (lingeling) R 22700 22702 22702 0 -1 4202496 17082 0 0 0 203 3 0 0 25 0 1 0 736893182 64442368 14894 33554432000 4194304 4352236 140736165644032 18446744073709551615 4267918 0 0 16781312 17506 0 0 0 17 6 0 0 0 /proc/22702/statm: 15733 14894 126 39 0 14813 0 [pid=22683/tid=22690] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22690/stat : 22690 (python) S 22681 22683 21641 0 -1 4202560 37 935 0 0 0 0 0 0 25 0 5 0 736893179 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22694] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22694/stat : 22694 (python) S 22681 22683 21641 0 -1 4202560 21 935 0 0 0 0 0 0 25 0 5 0 736893180 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 2 0 0 0 [pid=22683/tid=22697] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22697/stat : 22697 (python) S 22681 22683 21641 0 -1 4202560 33 935 0 0 0 0 0 0 25 0 5 0 736893181 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22701] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22701/stat : 22701 (python) S 22681 22683 21641 0 -1 4202560 26 935 0 0 0 0 0 0 25 0 5 0 736893182 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 31.69 Current children cumulated vsize (KiB) 2652204 [startup+51.1015 s] /proc/loadavg: 7.35 6.76 6.53 10/444 22703 /proc/meminfo: memFree=19305664/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=477100 CPUtime=23.3 cores=0,2,4,6 /proc/22683/stat : 22683 (python) S 22681 22683 21641 0 -1 4202496 77454 935 1 0 2309 21 0 0 25 0 5 0 736890843 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0 /proc/22683/statm: 119275 46463 1873 364 0 55184 0 [pid=22689] ppid=22683 vsize=436088 CPUtime=0.09 cores=0,2,4,6 /proc/22689/stat : 22689 (python) S 22683 22683 21641 0 -1 4202560 916 0 0 0 4 5 0 0 18 0 1 0 736893178 446554112 44950 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612623 0 0 16781312 514 17675608190638588162 0 0 17 6 0 0 0 /proc/22689/statm: 109022 44950 376 364 0 44940 0 [pid=22691] ppid=22689 vsize=56368 CPUtime=27.72 cores=0,2,4,6 /proc/22691/stat : 22691 (lingeling) R 22689 22691 22691 0 -1 4202496 18453 0 0 0 2770 2 0 0 25 0 1 0 736893179 57720832 13256 33554432000 4194304 4352236 140735867041984 18446744073709551615 4276460 0 0 16781312 17506 0 0 0 17 0 0 0 0 /proc/22691/statm: 14092 13256 129 39 0 13172 0 [pid=22692] ppid=22683 vsize=446344 CPUtime=0.1 cores=0,2,4,6 /proc/22692/stat : 22692 (python) S 22683 22683 21641 0 -1 4202560 913 0 0 0 5 5 0 0 15 0 1 0 736893179 457056256 44948 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 2 0 0 0 /proc/22692/statm: 111586 44948 370 364 0 47501 0 [pid=22695] ppid=22692 vsize=198620 CPUtime=27.7 cores=0,2,4,6 /proc/22695/stat : 22695 (cryptominisat-2) R 22692 22695 22695 0 -1 4202496 41328 0 0 0 2763 7 0 0 25 0 1 0 736893180 203386880 36143 33554432000 4194304 4677096 140735453885632 18446744073709551615 4465500 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/22695/statm: 49655 36143 391 118 0 44614 0 [pid=22696] ppid=22683 vsize=456600 CPUtime=0.07 cores=0,2,4,6 /proc/22696/stat : 22696 (python) S 22683 22683 21641 0 -1 4202560 924 0 0 0 3 4 0 0 18 0 1 0 736893181 467558400 44952 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588162 0 0 17 6 0 0 0 /proc/22696/statm: 114150 44952 370 364 0 50062 0 [pid=22699] ppid=22696 vsize=57056 CPUtime=27.6 cores=0,2,4,6 /proc/22699/stat : 22699 (lingeling) R 22696 22699 22699 0 -1 4202496 18622 0 0 0 2757 3 0 0 25 0 1 0 736893181 58425344 13428 33554432000 4194304 4352236 140737239963392 18446744073709551615 4268080 0 0 16781312 17506 0 0 0 17 2 0 0 0 /proc/22699/statm: 14264 13428 129 39 0 13344 0 [pid=22700] ppid=22683 vsize=466856 CPUtime=0.07 cores=0,2,4,6 /proc/22700/stat : 22700 (python) S 22683 22683 21641 0 -1 4202560 917 0 0 0 4 3 0 0 18 0 1 0 736893182 478060544 44956 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 6 0 0 0 /proc/22700/statm: 116714 44956 370 364 0 52623 0 [pid=22702] ppid=22700 vsize=57040 CPUtime=27.03 cores=0,2,4,6 /proc/22702/stat : 22702 (lingeling) R 22700 22702 22702 0 -1 4202496 21573 0 0 0 2700 3 0 0 25 0 1 0 736893182 58408960 13424 33554432000 4194304 4352236 140736165644032 18446744073709551615 4268416 0 0 16781312 17506 0 0 0 17 6 0 0 0 /proc/22702/statm: 14260 13424 129 39 0 13340 0 [pid=22683/tid=22690] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22690/stat : 22690 (python) S 22681 22683 21641 0 -1 4202560 37 935 0 0 0 0 0 0 25 0 5 0 736893179 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22694] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22694/stat : 22694 (python) S 22681 22683 21641 0 -1 4202560 21 935 0 0 0 0 0 0 25 0 5 0 736893180 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 2 0 0 0 [pid=22683/tid=22697] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22697/stat : 22697 (python) S 22681 22683 21641 0 -1 4202560 33 935 0 0 0 0 0 0 25 0 5 0 736893181 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22701] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22701/stat : 22701 (python) S 22681 22683 21641 0 -1 4202560 26 935 0 0 0 0 0 0 25 0 5 0 736893182 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 133.68 Current children cumulated vsize (KiB) 2652072 [startup+102.317 s] /proc/loadavg: 7.77 6.96 6.61 10/444 22704 /proc/meminfo: memFree=19266696/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=477100 CPUtime=23.3 cores=0,2,4,6 /proc/22683/stat : 22683 (python) S 22681 22683 21641 0 -1 4202496 77454 935 1 0 2309 21 0 0 25 0 5 0 736890843 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0 /proc/22683/statm: 119275 46463 1873 364 0 55184 0 [pid=22689] ppid=22683 vsize=436088 CPUtime=0.25 cores=0,2,4,6 /proc/22689/stat : 22689 (python) S 22683 22683 21641 0 -1 4202560 938 0 0 0 13 12 0 0 18 0 1 0 736893178 446554112 44950 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612623 0 0 16781312 514 17675608190638588162 0 0 17 6 0 0 0 /proc/22689/statm: 109022 44950 376 364 0 44940 0 [pid=22691] ppid=22689 vsize=62832 CPUtime=78.94 cores=0,2,4,6 /proc/22691/stat : 22691 (lingeling) R 22689 22691 22691 0 -1 4202496 21234 0 0 0 7891 3 0 0 25 0 1 0 736893179 64339968 14872 33554432000 4194304 4352236 140735867041984 18446744073709551615 4267809 0 0 16781312 17506 0 0 0 17 0 0 0 0 /proc/22691/statm: 15708 14872 129 39 0 14788 0 [pid=22692] ppid=22683 vsize=446344 CPUtime=0.27 cores=0,2,4,6 /proc/22692/stat : 22692 (python) S 22683 22683 21641 0 -1 4202560 945 0 0 0 14 13 0 0 15 0 1 0 736893179 457056256 44948 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 2 0 0 0 /proc/22692/statm: 111586 44948 370 364 0 47501 0 [pid=22695] ppid=22692 vsize=196404 CPUtime=78.91 cores=0,2,4,6 /proc/22695/stat : 22695 (cryptominisat-2) R 22692 22695 22695 0 -1 4202496 54869 0 0 0 7882 9 0 0 25 0 1 0 736893180 201117696 38941 33554432000 4194304 4677096 140735453885632 18446744073709551615 4502824 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/22695/statm: 49101 38941 391 118 0 44060 0 ################ # More data... # ################ /proc/22700/stat : 22700 (python) S 22683 22683 21641 0 -1 4202560 963 0 0 0 23 21 0 0 18 0 1 0 736893182 478060544 44956 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 6 0 0 0 /proc/22700/statm: 116714 44956 370 364 0 52623 0 [pid=22702] ppid=22700 vsize=64136 CPUtime=137.12 cores=0,2,4,6 /proc/22702/stat : 22702 (lingeling) R 22700 22702 22702 0 -1 4202496 25323 0 0 0 13709 3 0 0 25 0 1 0 736893182 65675264 15198 33554432000 4194304 4352236 140736165644032 18446744073709551615 4329047 0 0 16781312 17506 0 0 0 17 6 0 0 0 /proc/22702/statm: 16034 15198 129 39 0 15114 0 [pid=22683/tid=22690] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22690/stat : 22690 (python) S 22681 22683 21641 0 -1 4202560 37 935 0 0 0 0 0 0 25 0 5 0 736893179 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22694] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22694/stat : 22694 (python) S 22681 22683 21641 0 -1 4202560 21 935 0 0 0 0 0 0 25 0 5 0 736893180 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 2 0 0 0 [pid=22683/tid=22697] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22697/stat : 22697 (python) S 22681 22683 21641 0 -1 4202560 33 935 0 0 0 0 0 0 25 0 5 0 736893181 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22701] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22701/stat : 22701 (python) S 22681 22683 21641 0 -1 4202560 26 935 0 0 0 0 0 0 25 0 5 0 736893182 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 585.63 Current children cumulated vsize (KiB) 2809268 [startup+166.301 s] /proc/loadavg: 8.24 7.26 6.74 9/444 22709 /proc/meminfo: memFree=19222368/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=477100 CPUtime=23.3 cores=0,2,4,6 /proc/22683/stat : 22683 (python) S 22681 22683 21641 0 -1 4202496 77454 935 1 0 2309 21 0 0 25 0 5 0 736890843 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0 /proc/22683/statm: 119275 46463 1873 364 0 55184 0 [pid=22689] ppid=22683 vsize=436088 CPUtime=0.46 cores=0,2,4,6 /proc/22689/stat : 22689 (python) S 22683 22683 21641 0 -1 4202560 959 0 0 0 24 22 0 0 18 0 1 0 736893178 446554112 44950 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612623 0 0 16781312 514 17675608190638588162 0 0 17 6 0 0 0 /proc/22689/statm: 109022 44950 376 364 0 44940 0 [pid=22691] ppid=22689 vsize=62668 CPUtime=142.93 cores=0,2,4,6 /proc/22691/stat : 22691 (lingeling) R 22689 22691 22691 0 -1 4202496 24178 0 0 0 14290 3 0 0 25 0 1 0 736893179 64172032 14831 33554432000 4194304 4352236 140735867041984 18446744073709551615 4328095 0 0 16781312 17506 0 0 0 17 0 0 0 0 /proc/22691/statm: 15667 14831 129 39 0 14747 0 [pid=22692] ppid=22683 vsize=446344 CPUtime=0.48 cores=0,2,4,6 /proc/22692/stat : 22692 (python) S 22683 22683 21641 0 -1 4202560 967 0 0 0 24 24 0 0 15 0 1 0 736893179 457056256 44948 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 4594889883096416513 0 0 17 2 0 0 0 /proc/22692/statm: 111586 44948 370 364 0 47501 0 [pid=22695] ppid=22692 vsize=334560 CPUtime=142.88 cores=0,2,4,6 /proc/22695/stat : 22695 (cryptominisat-2) R 22692 22695 22695 0 -1 4202496 74934 0 0 0 14274 14 0 0 25 0 1 0 736893180 342589440 46792 33554432000 4194304 4677096 140735453885632 18446744073709551615 4502912 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/22695/statm: 83640 46792 391 118 0 78599 0 [pid=22696] ppid=22683 vsize=456600 CPUtime=0.46 cores=0,2,4,6 /proc/22696/stat : 22696 (python) S 22683 22683 21641 0 -1 4202560 969 0 0 0 22 24 0 0 18 0 1 0 736893181 467558400 44952 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588162 0 0 17 6 0 0 0 /proc/22696/statm: 114150 44952 370 364 0 50062 0 [pid=22699] ppid=22696 vsize=63380 CPUtime=142.39 cores=0,2,4,6 /proc/22699/stat : 22699 (lingeling) R 22696 22699 22699 0 -1 4202496 23205 0 0 0 14236 3 0 0 25 0 1 0 736893181 64901120 15009 33554432000 4194304 4352236 140737239963392 18446744073709551615 4278811 0 0 16781312 17506 0 0 0 17 2 0 0 0 /proc/22699/statm: 15845 15009 129 39 0 14925 0 [pid=22700] ppid=22683 vsize=466856 CPUtime=0.46 cores=0,2,4,6 /proc/22700/stat : 22700 (python) S 22683 22683 21641 0 -1 4202560 963 0 0 0 24 22 0 0 18 0 1 0 736893182 478060544 44956 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 6 0 0 0 /proc/22700/statm: 116714 44956 370 364 0 52623 0 [pid=22702] ppid=22700 vsize=65160 CPUtime=138.65 cores=0,2,4,6 /proc/22702/stat : 22702 (lingeling) R 22700 22702 22702 0 -1 4202496 25579 0 0 0 13862 3 0 0 25 0 1 0 736893182 66723840 15454 33554432000 4194304 4352236 140736165644032 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 6 0 0 0 /proc/22702/statm: 16290 15454 129 39 0 15370 0 [pid=22683/tid=22690] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22690/stat : 22690 (python) S 22681 22683 21641 0 -1 4202560 37 935 0 0 0 0 0 0 25 0 5 0 736893179 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22694] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22694/stat : 22694 (python) S 22681 22683 21641 0 -1 4202560 21 935 0 0 0 0 0 0 25 0 5 0 736893180 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 2 0 0 0 [pid=22683/tid=22697] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22697/stat : 22697 (python) S 22681 22683 21641 0 -1 4202560 33 935 0 0 0 0 0 0 25 0 5 0 736893181 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22701] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22701/stat : 22701 (python) S 22681 22683 21641 0 -1 4202560 26 935 0 0 0 0 0 0 25 0 5 0 736893182 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 592.01 Current children cumulated vsize (KiB) 2808756 [startup+167.101 s] /proc/loadavg: 8.24 7.26 6.74 12/444 22709 /proc/meminfo: memFree=19225468/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=477100 CPUtime=23.3 cores=0,2,4,6 /proc/22683/stat : 22683 (python) S 22681 22683 21641 0 -1 4202496 77454 935 1 0 2309 21 0 0 25 0 5 0 736890843 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0 /proc/22683/statm: 119275 46463 1873 364 0 55184 0 [pid=22689] ppid=22683 vsize=436088 CPUtime=0.46 cores=0,2,4,6 /proc/22689/stat : 22689 (python) S 22683 22683 21641 0 -1 4202560 959 0 0 0 24 22 0 0 18 0 1 0 736893178 446554112 44950 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612623 0 0 16781312 514 17675608190638588162 0 0 17 6 0 0 0 /proc/22689/statm: 109022 44950 376 364 0 44940 0 [pid=22691] ppid=22689 vsize=62668 CPUtime=143.74 cores=0,2,4,6 /proc/22691/stat : 22691 (lingeling) R 22689 22691 22691 0 -1 4202496 24178 0 0 0 14371 3 0 0 25 0 1 0 736893179 64172032 14831 33554432000 4194304 4352236 140735867041984 18446744073709551615 4328366 0 0 16781312 17506 0 0 0 17 0 0 0 0 /proc/22691/statm: 15667 14831 129 39 0 14747 0 [pid=22692] ppid=22683 vsize=446344 CPUtime=0.51 cores=0,2,4,6 /proc/22692/stat : 22692 (python) S 22683 22683 21641 0 -1 4202560 969 0 0 0 25 26 0 0 16 0 1 0 736893179 457056256 44948 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 2 0 0 0 /proc/22692/statm: 111586 44948 370 364 0 47501 0 [pid=22695] ppid=22692 vsize=334560 CPUtime=143.69 cores=0,2,4,6 /proc/22695/stat : 22695 (cryptominisat-2) R 22692 22695 22695 0 -1 4202496 74934 0 0 0 14355 14 0 0 25 0 1 0 736893180 342589440 46792 33554432000 4194304 4677096 140735453885632 18446744073709551615 4502912 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/22695/statm: 83640 46792 391 118 0 78599 0 [pid=22696] ppid=22683 vsize=456600 CPUtime=0.46 cores=0,2,4,6 /proc/22696/stat : 22696 (python) S 22683 22683 21641 0 -1 4202560 969 0 0 0 22 24 0 0 18 0 1 0 736893181 467558400 44952 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588162 0 0 17 6 0 0 0 /proc/22696/statm: 114150 44952 370 364 0 50062 0 [pid=22699] ppid=22696 vsize=63892 CPUtime=143.18 cores=0,2,4,6 /proc/22699/stat : 22699 (lingeling) R 22696 22699 22699 0 -1 4202496 23333 0 0 0 14315 3 0 0 25 0 1 0 736893181 65425408 15137 33554432000 4194304 4352236 140737239963392 18446744073709551615 4207874 0 0 16781312 17506 0 0 0 17 2 0 0 0 /proc/22699/statm: 15973 15137 129 39 0 15053 0 [pid=22700] ppid=22683 vsize=466856 CPUtime=0.46 cores=0,2,4,6 /proc/22700/stat : 22700 (python) S 22683 22683 21641 0 -1 4202560 963 0 0 0 24 22 0 0 18 0 1 0 736893182 478060544 44956 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 6 0 0 0 /proc/22700/statm: 116714 44956 370 364 0 52623 0 [pid=22702] ppid=22700 vsize=67212 CPUtime=139.45 cores=0,2,4,6 /proc/22702/stat : 22702 (lingeling) R 22700 22702 22702 0 -1 4202496 26092 0 0 0 13942 3 0 0 25 0 1 0 736893182 68825088 15967 33554432000 4194304 4352236 140736165644032 18446744073709551615 4329086 0 0 16781312 17506 0 0 0 17 6 0 0 0 /proc/22702/statm: 16803 15967 129 39 0 15883 0 [pid=22683/tid=22690] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22690/stat : 22690 (python) S 22681 22683 21641 0 -1 4202560 37 935 0 0 0 0 0 0 25 0 5 0 736893179 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22694] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22694/stat : 22694 (python) S 22681 22683 21641 0 -1 4202560 21 935 0 0 0 0 0 0 25 0 5 0 736893180 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 2 0 0 0 [pid=22683/tid=22697] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22697/stat : 22697 (python) S 22681 22683 21641 0 -1 4202560 33 935 0 0 0 0 0 0 25 0 5 0 736893181 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22701] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22701/stat : 22701 (python) S 22681 22683 21641 0 -1 4202560 26 935 0 0 0 0 0 0 25 0 5 0 736893182 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 595.25 Current children cumulated vsize (KiB) 2811320 [startup+167.301 s] /proc/loadavg: 8.24 7.26 6.74 12/444 22709 /proc/meminfo: memFree=19225468/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=477100 CPUtime=23.3 cores=0,2,4,6 /proc/22683/stat : 22683 (python) S 22681 22683 21641 0 -1 4202496 77454 935 1 0 2309 21 0 0 25 0 5 0 736890843 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000419275 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0 /proc/22683/statm: 119275 46463 1873 364 0 55184 0 [pid=22689] ppid=22683 vsize=436088 CPUtime=0.46 cores=0,2,4,6 /proc/22689/stat : 22689 (python) S 22683 22683 21641 0 -1 4202560 959 0 0 0 24 22 0 0 18 0 1 0 736893178 446554112 44950 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612623 0 0 16781312 514 17675608190638588162 0 0 17 6 0 0 0 /proc/22689/statm: 109022 44950 376 364 0 44940 0 [pid=22691] ppid=22689 vsize=62668 CPUtime=143.93 cores=0,2,4,6 /proc/22691/stat : 22691 (lingeling) R 22689 22691 22691 0 -1 4202496 24178 0 0 0 14390 3 0 0 25 0 1 0 736893179 64172032 14831 33554432000 4194304 4352236 140735867041984 18446744073709551615 4327867 0 0 16781312 17506 0 0 0 17 0 0 0 0 /proc/22691/statm: 15667 14831 129 39 0 14747 0 [pid=22692] ppid=22683 vsize=446344 CPUtime=0.51 cores=0,2,4,6 /proc/22692/stat : 22692 (python) S 22683 22683 21641 0 -1 4202560 969 0 0 0 25 26 0 0 16 0 1 0 736893179 457056256 44948 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 2 0 0 0 /proc/22692/statm: 111586 44948 370 364 0 47501 0 [pid=22695] ppid=22692 vsize=334560 CPUtime=143.88 cores=0,2,4,6 /proc/22695/stat : 22695 (cryptominisat-2) R 22692 22695 22695 0 -1 4202496 74934 0 0 0 14374 14 0 0 25 0 1 0 736893180 342589440 46792 33554432000 4194304 4677096 140735453885632 18446744073709551615 4502839 0 0 16781312 2 0 0 0 17 4 0 0 0 /proc/22695/statm: 83640 46792 391 118 0 78599 0 [pid=22696] ppid=22683 vsize=456600 CPUtime=0.46 cores=0,2,4,6 /proc/22696/stat : 22696 (python) S 22683 22683 21641 0 -1 4202560 969 0 0 0 22 24 0 0 18 0 1 0 736893181 467558400 44952 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588162 0 0 17 6 0 0 0 /proc/22696/statm: 114150 44952 370 364 0 50062 0 [pid=22699] ppid=22696 vsize=63892 CPUtime=143.37 cores=0,2,4,6 /proc/22699/stat : 22699 (lingeling) R 22696 22699 22699 0 -1 4202496 23333 0 0 0 14334 3 0 0 25 0 1 0 736893181 65425408 15137 33554432000 4194304 4352236 140737239963392 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 2 0 0 0 /proc/22699/statm: 15973 15137 129 39 0 15053 0 [pid=22700] ppid=22683 vsize=466856 CPUtime=0.46 cores=0,2,4,6 /proc/22700/stat : 22700 (python) S 22683 22683 21641 0 -1 4202560 963 0 0 0 24 22 0 0 18 0 1 0 736893182 478060544 44956 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 6 0 0 0 /proc/22700/statm: 116714 44956 370 364 0 52623 0 [pid=22702] ppid=22700 vsize=65164 CPUtime=139.64 cores=0,2,4,6 /proc/22702/stat : 22702 (lingeling) R 22700 22702 22702 0 -1 4202496 26092 0 0 0 13960 4 0 0 25 0 1 0 736893182 66727936 15455 33554432000 4194304 4352236 140736165644032 18446744073709551615 4329060 0 0 16781312 17506 0 0 0 17 6 0 0 0 /proc/22702/statm: 16291 15455 129 39 0 15371 0 [pid=22683/tid=22690] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22690/stat : 22690 (python) S 22681 22683 21641 0 -1 4202560 37 935 0 0 0 0 0 0 25 0 5 0 736893179 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22694] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22694/stat : 22694 (python) S 22681 22683 21641 0 -1 4202560 21 935 0 0 0 0 0 0 25 0 5 0 736893180 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 2 0 0 0 [pid=22683/tid=22697] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22697/stat : 22697 (python) S 22681 22683 21641 0 -1 4202560 33 935 0 0 0 0 0 0 25 0 5 0 736893181 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22701] ppid=22681 vsize=477100 CPUtime=0 cores=0,2,4,6 /proc/22683/task/22701/stat : 22701 (python) S 22681 22683 21641 0 -1 4202560 26 935 0 0 0 0 0 0 25 0 5 0 736893182 488550400 46463 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 596.01 Current children cumulated vsize (KiB) 2809272 [startup+167.401 s] /proc/loadavg: 8.24 7.26 6.74 12/444 22709 /proc/meminfo: memFree=19225468/32950940 swapFree=67111356/67111528 [pid=22683] ppid=22681 vsize=477100 CPUtime=167.81 cores=0,2,4,6 /proc/22683/stat : 22683 (python) S 22681 22683 21641 0 -1 4202496 77744 76886 1 0 2310 21 14408 42 17 0 5 0 736890843 488550400 46464 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000422719 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0 /proc/22683/statm: 119275 46464 1874 364 0 55184 0 [pid=22689] ppid=22683 vsize=436088 CPUtime=0.46 cores=0,2,4,6 /proc/22689/stat : 22689 (python) S 22683 22683 21641 0 -1 4202560 976 0 0 0 24 22 0 0 15 0 1 0 736893178 446554112 44954 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000422661 0 0 16781824 2 18446744071562232103 0 0 17 6 0 0 0 /proc/22689/statm: 109022 44954 380 364 0 44940 0 [pid=22691] ppid=22689 vsize=0 CPUtime=144.02 cores=0,2,4,6 /proc/22691/stat : 22691 (lingeling) R 22689 22691 22691 0 -1 4203524 24178 0 0 0 14399 3 0 0 25 0 1 0 736893179 0 0 33554432000 0 0 0 0 0 0 0 16781312 17506 18446744073709551615 0 0 17 0 0 0 0 /proc/22691/statm: 0 0 0 0 0 0 0 [pid=22696] ppid=22683 vsize=0 CPUtime=143.92 cores=0,2,4,6 /proc/22696/stat : 22696 (python) Z 22683 22683 21641 0 -1 4202588 1541 23346 0 0 23 24 14341 4 16 0 1 0 736893181 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 6 0 0 0 /proc/22696/statm: 0 0 0 0 0 0 0 [pid=22700] ppid=22683 vsize=466856 CPUtime=0.46 cores=0,2,4,6 /proc/22700/stat : 22700 (python) S 22683 22683 21641 0 -1 4202560 963 0 0 0 24 22 0 0 18 0 1 0 736893182 478060544 44956 33554432000 4194304 5683644 140735698139600 18446744073709551615 215988612678 0 0 16781312 514 17675608190638588161 0 0 17 6 0 0 0 /proc/22700/statm: 116714 44956 370 364 0 52623 0 [pid=22702] ppid=22700 vsize=65164 CPUtime=139.74 cores=0,2,4,6 /proc/22702/stat : 22702 (lingeling) R 22700 22702 22702 0 -1 4202496 26092 0 0 0 13970 4 0 0 25 0 1 0 736893182 66727936 15455 33554432000 4194304 4352236 140736165644032 18446744073709551615 4280960 0 0 16781312 17506 0 0 0 17 2 0 0 0 /proc/22702/statm: 16291 15455 129 39 0 15371 0 [pid=22683/tid=22690] ppid=22681 vsize=477100 CPUtime=144.5 cores=0,2,4,6 /proc/22683/task/22690/stat : 22690 (python) S 22681 22683 21641 0 -1 4202560 37 76886 0 0 0 0 14408 42 25 0 5 0 736893179 488550400 46464 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22694] ppid=22681 vsize=477100 CPUtime=144.5 cores=0,2,4,6 /proc/22683/task/22694/stat : 22694 (python) S 22681 22683 21641 0 -1 4202560 21 76886 0 0 0 0 14408 42 25 0 5 0 736893180 488550400 46464 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 2 0 0 0 [pid=22683/tid=22697] ppid=22681 vsize=477100 CPUtime=144.5 cores=0,2,4,6 /proc/22683/task/22697/stat : 22697 (python) S 22681 22683 21641 0 -1 4202560 33 76886 0 0 0 0 14408 42 25 0 5 0 736893181 488550400 46464 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 [pid=22683/tid=22701] ppid=22681 vsize=477100 CPUtime=144.5 cores=0,2,4,6 /proc/22683/task/22701/stat : 22701 (python) S 22681 22683 21641 0 -1 4202560 26 76886 0 0 0 0 14408 42 25 0 5 0 736893182 488550400 46464 33554432000 4194304 5683644 140735698139600 18446744073709551615 216000416177 0 0 16781312 2 18446604447493968192 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 596.41 Current children cumulated vsize (KiB) 1445208 Child status: 0 Real time (s): 167.471 CPU time (s): 596.555 CPU user time (s): 595.07 CPU system time (s): 1.48577 CPU usage (%): 356.215 Max. virtual memory (cumulated for all children) (KiB): 2811320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 595.07 system time used= 1.48577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 253291 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= 1944 involuntary context switches= 3981 runsolver used 0.677896 second user time and 1.69474 second system time The end
Begin job on node117 at 2011-05-15 15:36:40 IDJOB=3378837 IDBENCH=83436 IDSOLVER=1860 FILE ID=node117/3378837-1305466600 RUNJOBID= node117-1305463204-21659 PBS_JOBID= 13324986 Free space on /tmp= 73464 MiB SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed) BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.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-3378837-1305466600/watcher-3378837-1305466600 -o /tmp/evaluation-result-3378837-1305466600/solver-3378837-1305466600 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378837-1305466600.cnf -seed 2051481158 -budget 4800 -cores 4 TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d RANDOM SEED=2051481158 node117.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.849 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.69 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 19829236 kB Buffers: 329652 kB Cached: 3808976 kB SwapCached: 0 kB Active: 10395664 kB Inactive: 2362364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 19829236 kB SwapTotal: 67111528 kB SwapFree: 67111356 kB Dirty: 46996 kB Writeback: 4 kB AnonPages: 8619308 kB Mapped: 39280 kB Slab: 247188 kB PageTables: 49212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 103555632 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= 73432 MiB End job on node117 at 2011-05-15 15:39:28