Trace number 3317783

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-sat 11.03.02-industrialSAT 116.355 55.0284

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3317783-1304270773/watcher-3317783-1304270773 -o /tmp/evaluation-result-3317783-1304270773/solver-3317783-1304270773 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317783-1304270773.cnf -seed 523315692 -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.50 7.94 7.51 6/206 7657
/proc/meminfo: memFree=26050760/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7655 7657 6903 0 -1 4202496 819 0 0 0 0 0 0 0 21 0 1 0 538677774 15749120 704 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/7657/statm: 3845 704 334 364 0 332 0

[startup+0.0362249 s]
/proc/loadavg: 7.50 7.94 7.51 6/206 7657
/proc/meminfo: memFree=26050760/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=18880 CPUtime=0.02 cores=0,2,4,6
/proc/7657/stat : 7657 (python) R 7655 7657 6903 0 -1 4202496 1285 0 0 0 2 0 0 0 21 0 1 0 538677774 19333120 1138 33554432000 4194304 5683644 140734784237744 18446744073709551615 4875562 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7657/statm: 4720 1138 421 364 0 689 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18880

[startup+0.100226 s]
/proc/loadavg: 7.50 7.94 7.51 6/206 7657
/proc/meminfo: memFree=26050760/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=104220 CPUtime=0.05 cores=0,2,4,6
/proc/7657/stat : 7657 (python) R 7655 7657 6903 0 -1 4202496 3057 0 0 0 4 1 0 0 17 0 1 0 538677774 106721280 2740 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640857600 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7657/statm: 26055 2740 847 364 0 1803 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 104220

[startup+0.301184 s]
/proc/loadavg: 7.50 7.94 7.51 6/206 7657
/proc/meminfo: memFree=26050760/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=172852 CPUtime=0.21 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7655 7657 6903 0 -1 4202496 6746 937 1 0 16 5 0 0 17 0 1 0 538677774 177000448 4812 33554432000 4194304 5683644 140734784237744 18446744073709551615 253635935879 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/7657/statm: 43213 4812 1338 364 0 3452 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 172852

[startup+0.701063 s]
/proc/loadavg: 7.50 7.94 7.51 6/206 7657
/proc/meminfo: memFree=26050760/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=305972 CPUtime=0.58 cores=0,2,4,6
/proc/7657/stat : 7657 (python) R 7655 7657 6903 0 -1 4202496 16310 937 1 0 49 9 0 0 17 0 1 0 538677774 313315328 13811 33554432000 4194304 5683644 140734784237744 18446744073709551615 4952119 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7657/statm: 76493 13811 1761 364 0 12417 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 305972

[startup+1.50094 s]
/proc/loadavg: 7.50 7.94 7.51 6/206 7657
/proc/meminfo: memFree=26050760/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=349388 CPUtime=1.38 cores=0,2,4,6
/proc/7657/stat : 7657 (python) R 7655 7657 6903 0 -1 4202496 26909 937 1 0 128 10 0 0 19 0 1 0 538677774 357773312 24410 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640520389 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7657/statm: 87347 24411 1761 364 0 23271 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 349388

[startup+3.10062 s]
/proc/loadavg: 7.50 7.94 7.51 6/207 7662
/proc/meminfo: memFree=25873904/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=449780 CPUtime=2.98 cores=0,2,4,6
/proc/7657/stat : 7657 (python) R 7655 7657 6903 0 -1 4202496 51311 937 1 0 285 13 0 0 22 0 1 0 538677774 460574720 48812 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640520389 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7657/statm: 112445 48812 1761 364 0 48369 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 449780

[startup+6.30106 s]
/proc/loadavg: 7.30 7.89 7.50 6/207 7662
/proc/meminfo: memFree=25772944/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=519596 CPUtime=6.18 cores=0,2,4,6
/proc/7657/stat : 7657 (python) R 7655 7657 6903 0 -1 4202496 102354 937 1 0 598 20 0 0 25 0 1 0 538677774 532066304 67284 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640518843 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7657/statm: 129899 67284 1826 364 0 65823 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 519596

[startup+12.7069 s]
/proc/loadavg: 7.11 7.85 7.49 6/208 7663
/proc/meminfo: memFree=25764140/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=519596 CPUtime=12.59 cores=0,2,4,6
/proc/7657/stat : 7657 (python) R 7655 7657 6903 0 -1 4202496 102354 937 1 0 1239 20 0 0 25 0 1 0 538677774 532066304 67284 33554432000 4194304 5683644 140734784237744 18446744073709551615 47484668304672 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7657/statm: 129899 67284 1826 364 0 65823 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 519596

[startup+25.5005 s]
/proc/loadavg: 6.65 7.71 7.45 6/208 7664
/proc/meminfo: memFree=25746124/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=519596 CPUtime=25.38 cores=0,2,4,6
/proc/7657/stat : 7657 (python) R 7655 7657 6903 0 -1 4202496 102354 937 1 0 2518 20 0 0 25 0 1 0 538677774 532066304 67284 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640518314 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7657/statm: 129899 67284 1826 364 0 65823 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 519596

[startup+51.1008 s]
/proc/loadavg: 6.88 7.67 7.44 9/220 7676
/proc/meminfo: memFree=25395284/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=540444 CPUtime=34.35 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7655 7657 6903 0 -1 4202496 105083 937 1 0 3413 22 0 0 20 0 5 0 538677774 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7657/statm: 135111 62308 1881 364 0 71020 0
[pid=7665] ppid=7657 vsize=499432 CPUtime=0.02 cores=0,2,4,6
/proc/7665/stat : 7665 (python) S 7657 7657 6903 0 -1 4202560 989 0 0 0 1 1 0 0 18 0 1 0 538681213 511418368 60792 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879631 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7665/statm: 124858 60792 381 364 0 60776 0
[pid=7667] ppid=7665 vsize=59856 CPUtime=16.69 cores=0,2,4,6
/proc/7667/stat : 7667 (lingeling) R 7665 7667 7667 0 -1 4202496 39894 0 0 0 1664 5 0 0 25 0 1 0 538681214 61292544 14128 33554432000 4194304 4352236 140734211259200 18446744073709551615 4328351 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/7667/statm: 14964 14128 129 39 0 14044 0
[pid=7668] ppid=7657 vsize=509688 CPUtime=0.02 cores=0,2,4,6
/proc/7668/stat : 7668 (python) S 7657 7657 6903 0 -1 4202560 913 0 0 0 1 1 0 0 15 0 1 0 538681216 521920512 60785 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7668/statm: 127422 60785 370 364 0 63337 0
[pid=7670] ppid=7668 vsize=215012 CPUtime=16.67 cores=0,2,4,6
/proc/7670/stat : 7670 (cryptominisat-2) R 7668 7670 7670 0 -1 4202496 42155 0 0 0 1661 6 0 0 25 0 1 0 538681216 220172288 41643 33554432000 4194304 4677096 140734572361552 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7670/statm: 53753 41643 378 118 0 48712 0
[pid=7671] ppid=7657 vsize=519944 CPUtime=0.02 cores=0,2,4,6
/proc/7671/stat : 7671 (python) S 7657 7657 6903 0 -1 4202560 913 0 0 0 1 1 0 0 18 0 1 0 538681218 532422656 60789 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7671/statm: 129986 60789 370 364 0 65898 0
[pid=7673] ppid=7671 vsize=60600 CPUtime=16.58 cores=0,2,4,6
/proc/7673/stat : 7673 (lingeling) R 7671 7673 7673 0 -1 4202496 40082 0 0 0 1654 4 0 0 25 0 1 0 538681219 62054400 14314 33554432000 4194304 4352236 140734677958896 18446744073709551615 4328009 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7673/statm: 15150 14314 129 39 0 14230 0
[pid=7674] ppid=7657 vsize=530200 CPUtime=0.02 cores=0,2,4,6
/proc/7674/stat : 7674 (python) S 7657 7657 6903 0 -1 4202560 946 0 0 0 1 1 0 0 18 0 1 0 538681221 542924800 60793 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7674/statm: 132550 60793 370 364 0 68459 0
[pid=7676] ppid=7674 vsize=60452 CPUtime=16.46 cores=0,2,4,6
/proc/7676/stat : 7676 (lingeling) R 7674 7676 7676 0 -1 4202496 40046 0 0 0 1640 6 0 0 25 0 1 0 538681222 61902848 14277 33554432000 4194304 4352236 140737358448352 18446744073709551615 4235672 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/7676/statm: 15113 14277 129 39 0 14193 0
[pid=7657/tid=7666] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7666/stat : 7666 (python) S 7655 7657 6903 0 -1 4202560 25 937 0 0 0 0 0 0 25 0 5 0 538681213 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
[pid=7657/tid=7669] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7669/stat : 7669 (python) S 7655 7657 6903 0 -1 4202560 19 937 0 0 0 0 0 0 25 0 5 0 538681216 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7672] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7672/stat : 7672 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 538681219 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7675] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7675/stat : 7675 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 5 0 538681222 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.83
Current children cumulated vsize (KiB) 2995628

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

[startup+51.7007 s]
/proc/loadavg: 6.88 7.67 7.44 9/220 7676
/proc/meminfo: memFree=25395284/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=540444 CPUtime=34.35 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7655 7657 6903 0 -1 4202496 105083 937 1 0 3413 22 0 0 20 0 5 0 538677774 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7657/statm: 135111 62308 1881 364 0 71020 0
[pid=7665] ppid=7657 vsize=499432 CPUtime=0.02 cores=0,2,4,6
/proc/7665/stat : 7665 (python) S 7657 7657 6903 0 -1 4202560 989 0 0 0 1 1 0 0 18 0 1 0 538681213 511418368 60792 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879631 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7665/statm: 124858 60792 381 364 0 60776 0
[pid=7667] ppid=7665 vsize=59856 CPUtime=17.28 cores=0,2,4,6
/proc/7667/stat : 7667 (lingeling) R 7665 7667 7667 0 -1 4202496 39894 0 0 0 1723 5 0 0 25 0 1 0 538681214 61292544 14128 33554432000 4194304 4352236 140734211259200 18446744073709551615 4328109 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/7667/statm: 14964 14128 129 39 0 14044 0
[pid=7668] ppid=7657 vsize=509688 CPUtime=0.02 cores=0,2,4,6
/proc/7668/stat : 7668 (python) S 7657 7657 6903 0 -1 4202560 916 0 0 0 1 1 0 0 15 0 1 0 538681216 521920512 60785 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7668/statm: 127422 60785 370 364 0 63337 0
[pid=7670] ppid=7668 vsize=215012 CPUtime=17.26 cores=0,2,4,6
/proc/7670/stat : 7670 (cryptominisat-2) R 7668 7670 7670 0 -1 4202496 42155 0 0 0 1720 6 0 0 25 0 1 0 538681216 220172288 41643 33554432000 4194304 4677096 140734572361552 18446744073709551615 4502938 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7670/statm: 53753 41643 378 118 0 48712 0
[pid=7671] ppid=7657 vsize=519944 CPUtime=0.02 cores=0,2,4,6
/proc/7671/stat : 7671 (python) S 7657 7657 6903 0 -1 4202560 913 0 0 0 1 1 0 0 18 0 1 0 538681218 532422656 60789 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7671/statm: 129986 60789 370 364 0 65898 0
[pid=7673] ppid=7671 vsize=60600 CPUtime=17.17 cores=0,2,4,6
/proc/7673/stat : 7673 (lingeling) R 7671 7673 7673 0 -1 4202496 40082 0 0 0 1713 4 0 0 25 0 1 0 538681219 62054400 14314 33554432000 4194304 4352236 140734677958896 18446744073709551615 4235610 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7673/statm: 15150 14314 129 39 0 14230 0
[pid=7674] ppid=7657 vsize=530200 CPUtime=0.02 cores=0,2,4,6
/proc/7674/stat : 7674 (python) S 7657 7657 6903 0 -1 4202560 946 0 0 0 1 1 0 0 18 0 1 0 538681221 542924800 60793 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7674/statm: 132550 60793 370 364 0 68459 0
[pid=7676] ppid=7674 vsize=60452 CPUtime=17.04 cores=0,2,4,6
/proc/7676/stat : 7676 (lingeling) R 7674 7676 7676 0 -1 4202496 40046 0 0 0 1698 6 0 0 25 0 1 0 538681222 61902848 14277 33554432000 4194304 4352236 140737358448352 18446744073709551615 4328336 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/7676/statm: 15113 14277 129 39 0 14193 0
[pid=7657/tid=7666] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7666/stat : 7666 (python) S 7655 7657 6903 0 -1 4202560 25 937 0 0 0 0 0 0 25 0 5 0 538681213 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
[pid=7657/tid=7669] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7669/stat : 7669 (python) S 7655 7657 6903 0 -1 4202560 19 937 0 0 0 0 0 0 25 0 5 0 538681216 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7672] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7672/stat : 7672 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 538681219 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7675] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7675/stat : 7675 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 5 0 538681222 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 103.18
Current children cumulated vsize (KiB) 2995628

[startup+53.3014 s]
/proc/loadavg: 6.88 7.67 7.44 9/220 7676
/proc/meminfo: memFree=25401608/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=540444 CPUtime=34.35 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7655 7657 6903 0 -1 4202496 105083 937 1 0 3413 22 0 0 20 0 5 0 538677774 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7657/statm: 135111 62308 1881 364 0 71020 0
[pid=7665] ppid=7657 vsize=499432 CPUtime=0.02 cores=0,2,4,6
/proc/7665/stat : 7665 (python) S 7657 7657 6903 0 -1 4202560 989 0 0 0 1 1 0 0 18 0 1 0 538681213 511418368 60792 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879631 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7665/statm: 124858 60792 381 364 0 60776 0
[pid=7667] ppid=7665 vsize=61160 CPUtime=18.9 cores=0,2,4,6
/proc/7667/stat : 7667 (lingeling) R 7665 7667 7667 0 -1 4202496 40220 0 0 0 1884 6 0 0 25 0 1 0 538681214 62627840 14454 33554432000 4194304 4352236 140734211259200 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/7667/statm: 15290 14454 129 39 0 14370 0
[pid=7668] ppid=7657 vsize=509688 CPUtime=0.02 cores=0,2,4,6
/proc/7668/stat : 7668 (python) S 7657 7657 6903 0 -1 4202560 916 0 0 0 1 1 0 0 15 0 1 0 538681216 521920512 60785 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7668/statm: 127422 60785 370 364 0 63337 0
[pid=7670] ppid=7668 vsize=215012 CPUtime=18.87 cores=0,2,4,6
/proc/7670/stat : 7670 (cryptominisat-2) R 7668 7670 7670 0 -1 4202496 42155 0 0 0 1881 6 0 0 25 0 1 0 538681216 220172288 41643 33554432000 4194304 4677096 140734572361552 18446744073709551615 4502912 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7670/statm: 53753 41643 378 118 0 48712 0
[pid=7671] ppid=7657 vsize=519944 CPUtime=0.02 cores=0,2,4,6
/proc/7671/stat : 7671 (python) S 7657 7657 6903 0 -1 4202560 913 0 0 0 1 1 0 0 18 0 1 0 538681218 532422656 60789 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7671/statm: 129986 60789 370 364 0 65898 0
[pid=7673] ppid=7671 vsize=60600 CPUtime=18.78 cores=0,2,4,6
/proc/7673/stat : 7673 (lingeling) R 7671 7673 7673 0 -1 4202496 40082 0 0 0 1874 4 0 0 25 0 1 0 538681219 62054400 14314 33554432000 4194304 4352236 140734677958896 18446744073709551615 253640884119 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7673/statm: 15150 14314 129 39 0 14230 0
[pid=7674] ppid=7657 vsize=530200 CPUtime=0.02 cores=0,2,4,6
/proc/7674/stat : 7674 (python) S 7657 7657 6903 0 -1 4202560 946 0 0 0 1 1 0 0 18 0 1 0 538681221 542924800 60793 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7674/statm: 132550 60793 370 364 0 68459 0
[pid=7676] ppid=7674 vsize=60452 CPUtime=18.63 cores=0,2,4,6
/proc/7676/stat : 7676 (lingeling) R 7674 7676 7676 0 -1 4202496 40046 0 0 0 1857 6 0 0 25 0 1 0 538681222 61902848 14277 33554432000 4194304 4352236 140737358448352 18446744073709551615 4328109 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/7676/statm: 15113 14277 129 39 0 14193 0
[pid=7657/tid=7666] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7666/stat : 7666 (python) S 7655 7657 6903 0 -1 4202560 25 937 0 0 0 0 0 0 25 0 5 0 538681213 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
[pid=7657/tid=7669] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7669/stat : 7669 (python) S 7655 7657 6903 0 -1 4202560 19 937 0 0 0 0 0 0 25 0 5 0 538681216 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7672] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7672/stat : 7672 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 538681219 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7675] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7675/stat : 7675 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 5 0 538681222 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 109.61
Current children cumulated vsize (KiB) 2996932

[startup+54.1013 s]
/proc/loadavg: 6.88 7.67 7.44 9/220 7676
/proc/meminfo: memFree=25401608/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=540444 CPUtime=34.35 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7655 7657 6903 0 -1 4202496 105083 937 1 0 3413 22 0 0 20 0 5 0 538677774 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7657/statm: 135111 62308 1881 364 0 71020 0
[pid=7665] ppid=7657 vsize=499432 CPUtime=0.02 cores=0,2,4,6
/proc/7665/stat : 7665 (python) S 7657 7657 6903 0 -1 4202560 989 0 0 0 1 1 0 0 18 0 1 0 538681213 511418368 60792 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879631 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7665/statm: 124858 60792 381 364 0 60776 0
[pid=7667] ppid=7665 vsize=61160 CPUtime=19.69 cores=0,2,4,6
/proc/7667/stat : 7667 (lingeling) R 7665 7667 7667 0 -1 4202496 40220 0 0 0 1963 6 0 0 25 0 1 0 538681214 62627840 14454 33554432000 4194304 4352236 140734211259200 18446744073709551615 4328336 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/7667/statm: 15290 14454 129 39 0 14370 0
[pid=7668] ppid=7657 vsize=509688 CPUtime=0.02 cores=0,2,4,6
/proc/7668/stat : 7668 (python) S 7657 7657 6903 0 -1 4202560 916 0 0 0 1 1 0 0 15 0 1 0 538681216 521920512 60785 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7668/statm: 127422 60785 370 364 0 63337 0
[pid=7670] ppid=7668 vsize=215012 CPUtime=19.66 cores=0,2,4,6
/proc/7670/stat : 7670 (cryptominisat-2) R 7668 7670 7670 0 -1 4202496 42155 0 0 0 1960 6 0 0 25 0 1 0 538681216 220172288 41643 33554432000 4194304 4677096 140734572361552 18446744073709551615 4502926 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7670/statm: 53753 41643 378 118 0 48712 0
[pid=7671] ppid=7657 vsize=519944 CPUtime=0.02 cores=0,2,4,6
/proc/7671/stat : 7671 (python) S 7657 7657 6903 0 -1 4202560 913 0 0 0 1 1 0 0 18 0 1 0 538681218 532422656 60789 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7671/statm: 129986 60789 370 364 0 65898 0
[pid=7673] ppid=7671 vsize=60600 CPUtime=19.57 cores=0,2,4,6
/proc/7673/stat : 7673 (lingeling) R 7671 7673 7673 0 -1 4202496 40082 0 0 0 1953 4 0 0 25 0 1 0 538681219 62054400 14314 33554432000 4194304 4352236 140734677958896 18446744073709551615 4328000 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7673/statm: 15150 14314 129 39 0 14230 0
[pid=7674] ppid=7657 vsize=530200 CPUtime=0.02 cores=0,2,4,6
/proc/7674/stat : 7674 (python) S 7657 7657 6903 0 -1 4202560 946 0 0 0 1 1 0 0 18 0 1 0 538681221 542924800 60793 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7674/statm: 132550 60793 370 364 0 68459 0
[pid=7676] ppid=7674 vsize=60452 CPUtime=19.43 cores=0,2,4,6
/proc/7676/stat : 7676 (lingeling) R 7674 7676 7676 0 -1 4202496 40046 0 0 0 1937 6 0 0 25 0 1 0 538681222 61902848 14277 33554432000 4194304 4352236 140737358448352 18446744073709551615 4328030 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/7676/statm: 15113 14277 129 39 0 14193 0
[pid=7657/tid=7666] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7666/stat : 7666 (python) S 7655 7657 6903 0 -1 4202560 25 937 0 0 0 0 0 0 25 0 5 0 538681213 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
[pid=7657/tid=7669] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7669/stat : 7669 (python) S 7655 7657 6903 0 -1 4202560 19 937 0 0 0 0 0 0 25 0 5 0 538681216 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7672] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7672/stat : 7672 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 538681219 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7675] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7675/stat : 7675 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 5 0 538681222 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 112.78
Current children cumulated vsize (KiB) 2996932

[startup+54.5082 s]
/proc/loadavg: 6.97 7.67 7.44 9/220 7677
/proc/meminfo: memFree=25400740/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=540444 CPUtime=34.35 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7655 7657 6903 0 -1 4202496 105083 937 1 0 3413 22 0 0 20 0 5 0 538677774 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7657/statm: 135111 62308 1881 364 0 71020 0
[pid=7665] ppid=7657 vsize=499432 CPUtime=0.02 cores=0,2,4,6
/proc/7665/stat : 7665 (python) S 7657 7657 6903 0 -1 4202560 989 0 0 0 1 1 0 0 18 0 1 0 538681213 511418368 60792 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879631 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7665/statm: 124858 60792 381 364 0 60776 0
[pid=7667] ppid=7665 vsize=61160 CPUtime=20.1 cores=0,2,4,6
/proc/7667/stat : 7667 (lingeling) R 7665 7667 7667 0 -1 4202496 40220 0 0 0 2004 6 0 0 25 0 1 0 538681214 62627840 14454 33554432000 4194304 4352236 140734211259200 18446744073709551615 4328009 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/7667/statm: 15290 14454 129 39 0 14370 0
[pid=7668] ppid=7657 vsize=509688 CPUtime=0.02 cores=0,2,4,6
/proc/7668/stat : 7668 (python) S 7657 7657 6903 0 -1 4202560 916 0 0 0 1 1 0 0 15 0 1 0 538681216 521920512 60785 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7668/statm: 127422 60785 370 364 0 63337 0
[pid=7670] ppid=7668 vsize=215012 CPUtime=20.07 cores=0,2,4,6
/proc/7670/stat : 7670 (cryptominisat-2) R 7668 7670 7670 0 -1 4202496 42155 0 0 0 2001 6 0 0 25 0 1 0 538681216 220172288 41643 33554432000 4194304 4677096 140734572361552 18446744073709551615 4502938 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7670/statm: 53753 41643 378 118 0 48712 0
[pid=7671] ppid=7657 vsize=519944 CPUtime=0.02 cores=0,2,4,6
/proc/7671/stat : 7671 (python) S 7657 7657 6903 0 -1 4202560 913 0 0 0 1 1 0 0 18 0 1 0 538681218 532422656 60789 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7671/statm: 129986 60789 370 364 0 65898 0
[pid=7673] ppid=7671 vsize=61596 CPUtime=19.99 cores=0,2,4,6
/proc/7673/stat : 7673 (lingeling) R 7671 7673 7673 0 -1 4202496 40331 0 0 0 1994 5 0 0 25 0 1 0 538681219 63074304 14563 33554432000 4194304 4352236 140734677958896 18446744073709551615 4235610 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7673/statm: 15399 14563 129 39 0 14479 0
[pid=7674] ppid=7657 vsize=530200 CPUtime=0.02 cores=0,2,4,6
/proc/7674/stat : 7674 (python) S 7657 7657 6903 0 -1 4202560 946 0 0 0 1 1 0 0 18 0 1 0 538681221 542924800 60793 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7674/statm: 132550 60793 370 364 0 68459 0
[pid=7676] ppid=7674 vsize=60452 CPUtime=19.82 cores=0,2,4,6
/proc/7676/stat : 7676 (lingeling) R 7674 7676 7676 0 -1 4202496 40046 0 0 0 1976 6 0 0 25 0 1 0 538681222 61902848 14277 33554432000 4194304 4352236 140737358448352 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/7676/statm: 15113 14277 129 39 0 14193 0
[pid=7657/tid=7666] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7666/stat : 7666 (python) S 7655 7657 6903 0 -1 4202560 25 937 0 0 0 0 0 0 25 0 5 0 538681213 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
[pid=7657/tid=7669] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7669/stat : 7669 (python) S 7655 7657 6903 0 -1 4202560 19 937 0 0 0 0 0 0 25 0 5 0 538681216 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7672] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7672/stat : 7672 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 538681219 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7675] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7675/stat : 7675 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 5 0 538681222 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 114.41
Current children cumulated vsize (KiB) 2997928

[startup+54.9012 s]
/proc/loadavg: 6.97 7.67 7.44 9/220 7677
/proc/meminfo: memFree=25400740/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=540444 CPUtime=34.35 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7655 7657 6903 0 -1 4202496 105083 937 1 0 3413 22 0 0 20 0 5 0 538677774 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7657/statm: 135111 62308 1881 364 0 71020 0
[pid=7665] ppid=7657 vsize=499432 CPUtime=0.02 cores=0,2,4,6
/proc/7665/stat : 7665 (python) S 7657 7657 6903 0 -1 4202560 989 0 0 0 1 1 0 0 18 0 1 0 538681213 511418368 60792 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879631 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7665/statm: 124858 60792 381 364 0 60776 0
[pid=7667] ppid=7665 vsize=61160 CPUtime=20.49 cores=0,2,4,6
/proc/7667/stat : 7667 (lingeling) R 7665 7667 7667 0 -1 4202496 40220 0 0 0 2043 6 0 0 25 0 1 0 538681214 62627840 14454 33554432000 4194304 4352236 140734211259200 18446744073709551615 4241523 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/7667/statm: 15290 14454 129 39 0 14370 0
[pid=7668] ppid=7657 vsize=509688 CPUtime=0.02 cores=0,2,4,6
/proc/7668/stat : 7668 (python) S 7657 7657 6903 0 -1 4202560 916 0 0 0 1 1 0 0 15 0 1 0 538681216 521920512 60785 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7668/statm: 127422 60785 370 364 0 63337 0
[pid=7670] ppid=7668 vsize=215012 CPUtime=20.46 cores=0,2,4,6
/proc/7670/stat : 7670 (cryptominisat-2) R 7668 7670 7670 0 -1 4202496 42155 0 0 0 2040 6 0 0 25 0 1 0 538681216 220172288 41643 33554432000 4194304 4677096 140734572361552 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7670/statm: 53753 41643 378 118 0 48712 0
[pid=7671] ppid=7657 vsize=519944 CPUtime=0.02 cores=0,2,4,6
/proc/7671/stat : 7671 (python) S 7657 7657 6903 0 -1 4202560 913 0 0 0 1 1 0 0 18 0 1 0 538681218 532422656 60789 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 6 0 0 0
/proc/7671/statm: 129986 60789 370 364 0 65898 0
[pid=7673] ppid=7671 vsize=61372 CPUtime=20.38 cores=0,2,4,6
/proc/7673/stat : 7673 (lingeling) R 7671 7673 7673 0 -1 4202496 40331 0 0 0 2033 5 0 0 25 0 1 0 538681219 62844928 14507 33554432000 4194304 4352236 140734677958896 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/7673/statm: 15343 14507 129 39 0 14423 0
[pid=7674] ppid=7657 vsize=530200 CPUtime=0.02 cores=0,2,4,6
/proc/7674/stat : 7674 (python) S 7657 7657 6903 0 -1 4202560 946 0 0 0 1 1 0 0 18 0 1 0 538681221 542924800 60793 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640879686 0 0 16781312 514 16121584844219056388 0 0 17 4 0 0 0
/proc/7674/statm: 132550 60793 370 364 0 68459 0
[pid=7676] ppid=7674 vsize=60452 CPUtime=20.22 cores=0,2,4,6
/proc/7676/stat : 7676 (lingeling) R 7674 7676 7676 0 -1 4202496 40046 0 0 0 2016 6 0 0 25 0 1 0 538681222 61902848 14277 33554432000 4194304 4352236 140737358448352 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/7676/statm: 15113 14277 129 39 0 14193 0
[pid=7657/tid=7666] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7666/stat : 7666 (python) S 7655 7657 6903 0 -1 4202560 25 937 0 0 0 0 0 0 25 0 5 0 538681213 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
[pid=7657/tid=7669] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7669/stat : 7669 (python) S 7655 7657 6903 0 -1 4202560 19 937 0 0 0 0 0 0 25 0 5 0 538681216 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7672] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7672/stat : 7672 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 25 0 5 0 538681219 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 6 0 0 0
[pid=7657/tid=7675] ppid=7655 vsize=540444 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7675/stat : 7675 (python) S 7655 7657 6903 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 5 0 538681222 553414656 62308 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 2 18446604453896243264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 115.98
Current children cumulated vsize (KiB) 2997704

[startup+55.0012 s]
/proc/loadavg: 6.97 7.67 7.44 9/220 7677
/proc/meminfo: memFree=25400740/32951124 swapFree=67111364/67111528
[pid=7657] ppid=7655 vsize=540388 CPUtime=116.3 cores=0,2,4,6
/proc/7657/stat : 7657 (python) R 7655 7657 6903 0 -1 4202496 126821 168219 1 0 3415 24 8157 34 17 0 2 0 538677774 553357312 62301 33554432000 4194304 5683644 140734784237744 18446744073709551615 253640514999 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7657/statm: 135097 62301 1874 364 0 71020 0
[pid=7657/tid=7672] ppid=7655 vsize=540388 CPUtime=81.91 cores=0,2,4,6
/proc/7657/task/7672/stat : 7672 (python) S 7655 7657 6903 0 -1 4202560 27 168219 0 0 0 0 8157 34 18 0 2 0 538681219 553357312 62301 33554432000 4194304 5683644 140734784237744 18446744073709551615 253652683185 0 0 16781312 0 18446604453896243264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 116.3
Current children cumulated vsize (KiB) 540388

Child status: 0
Real time (s): 55.0284
CPU time (s): 116.355
CPU user time (s): 115.749
CPU system time (s): 0.605907
CPU usage (%): 211.446
Max. virtual memory (cumulated for all children) (KiB): 3140868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.749
system time used= 0.605907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301806
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= 1219
involuntary context switches= 644

runsolver used 0.082987 second user time and 0.238963 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-01 19:26:14
IDJOB=3317783
IDBENCH=83450
IDSOLVER=1706
FILE ID=node106/3317783-1304270773
RUNJOBID= node106-1304267295-6921
PBS_JOBID= 13173972
Free space on /tmp= 72928 MiB

SOLVER NAME= borg-sat 11.03.02-industrial
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.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-3317783-1304270773/watcher-3317783-1304270773 -o /tmp/evaluation-result-3317783-1304270773/solver-3317783-1304270773 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317783-1304270773.cnf -seed 523315692 -budget 4800 -cores 4

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=523315692

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26051040 kB
Buffers:        300268 kB
Cached:        2588700 kB
SwapCached:         88 kB
Active:        4946384 kB
Inactive:      1722128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26051040 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           53956 kB
Writeback:           0 kB
AnonPages:     3779572 kB
Mapped:          24920 kB
Slab:           155204 kB
PageTables:      17448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4906492 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= 72896 MiB
End job on node106 at 2011-05-01 19:27:09