Trace number 3317782

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 168.648 66.5185

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data

0.31/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.31/0.47	c INFO: solving HOME/instance-3317782-1304270813.cnf
0.31/0.47	c INFO: computing task features
4.20/4.37	c INFO: computed variable-clause graph statistics
4.31/4.46	c INFO: computed clause balance statistics
24.30/24.45	c INFO: computed variable balance statistics
31.20/31.34	c INFO: computed small-clause counts
31.20/31.37	c INFO: computed Horn-clause counts
32.10/32.23	c INFO: computed variable graph statistics
32.10/32.23	c INFO: collected features for HOME/instance-3317782-1304270813.cnf in 31.63 s
32.10/32.25	c INFO: running lingeling-276@0 for 97 with 4768 remaining (b = 0.16)
32.10/32.28	c INFO: running cryptominisat-2.9.0@0 for 485 with 4768 remaining (b = 0.18)
32.20/32.31	c INFO: running lingeling-276@0 for 1261 with 4768 remaining (b = 0.36)
32.20/32.34	c INFO: running lingeling-276@0 for 1261 with 4768 remaining (b = 0.30)
168.30/66.46	s SATISFIABLE
168.30/66.46	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-3317782-1304270813/watcher-3317782-1304270813 -o /tmp/evaluation-result-3317782-1304270813/solver-3317782-1304270813 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317782-1304270813.cnf -seed 1877651349 -budget 4800 -cores 4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.99 7.83 6.65 5/208 12006
/proc/meminfo: memFree=28604924/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/12006/stat : 12006 (python) S 12004 12006 11084 0 -1 4202496 733 0 0 0 0 0 0 0 24 0 1 0 538679353 15548416 622 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/12006/statm: 3796 622 322 364 0 283 0

[startup+0.0298039 s]
/proc/loadavg: 7.99 7.83 6.65 5/208 12006
/proc/meminfo: memFree=28604924/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=16812 CPUtime=0.01 cores=1,3,5,7
/proc/12006/stat : 12006 (python) R 12004 12006 11084 0 -1 4202496 1227 0 0 0 1 0 0 0 24 0 1 0 538679353 17215488 1085 33554432000 4194304 5683644 140737034018496 18446744073709551615 4865436 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/12006/statm: 4203 1085 417 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16812

[startup+0.100798 s]
/proc/loadavg: 7.99 7.83 6.65 5/208 12006
/proc/meminfo: memFree=28604924/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=104220 CPUtime=0.06 cores=1,3,5,7
/proc/12006/stat : 12006 (python) S 12004 12006 11084 0 -1 4202496 3040 0 0 0 5 1 0 0 17 0 1 0 538679353 106721280 2728 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/12006/statm: 26055 2728 847 364 0 1803 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104220

[startup+0.300863 s]
/proc/loadavg: 7.99 7.83 6.65 5/208 12006
/proc/meminfo: memFree=28604924/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=163652 CPUtime=0.22 cores=1,3,5,7
/proc/12006/stat : 12006 (python) S 12004 12006 11084 0 -1 4202496 6666 938 1 0 16 6 0 0 17 0 1 0 538679353 167579648 4757 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/12006/statm: 40913 4757 1311 364 0 3454 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 163652

[startup+0.70068 s]
/proc/loadavg: 7.99 7.83 6.65 5/208 12006
/proc/meminfo: memFree=28604924/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=304468 CPUtime=0.6 cores=1,3,5,7
/proc/12006/stat : 12006 (python) R 12004 12006 11084 0 -1 4202496 15858 938 1 0 49 11 0 0 17 0 1 0 538679353 311775232 13353 33554432000 4194304 5683644 140737034018496 18446744073709551615 47939097436279 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12006/statm: 76117 13353 1761 364 0 12041 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 304468

[startup+1.50054 s]
/proc/loadavg: 7.99 7.83 6.65 6/209 12012
/proc/meminfo: memFree=28544220/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=349116 CPUtime=1.4 cores=1,3,5,7
/proc/12006/stat : 12006 (python) R 12004 12006 11084 0 -1 4202496 26557 938 1 0 128 12 0 0 18 0 1 0 538679353 357494784 24052 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122374853 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12006/statm: 87279 24052 1761 364 0 23203 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 349116

[startup+3.10024 s]
/proc/loadavg: 7.99 7.83 6.65 6/209 12012
/proc/meminfo: memFree=28474924/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=447516 CPUtime=3 cores=1,3,5,7
/proc/12006/stat : 12006 (python) R 12004 12006 11084 0 -1 4202496 50101 938 1 0 284 16 0 0 22 0 1 0 538679353 458256384 47596 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122374853 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12006/statm: 111879 47596 1761 364 0 47803 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 447516

[startup+6.30067 s]
/proc/loadavg: 7.83 7.80 6.65 6/209 12012
/proc/meminfo: memFree=28348792/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=506464 CPUtime=6.2 cores=1,3,5,7
/proc/12006/stat : 12006 (python) R 12004 12006 11084 0 -1 4202496 97001 938 1 0 598 22 0 0 25 0 1 0 538679353 518619136 64001 33554432000 4194304 5683644 140737034018496 18446744073709551615 4509190 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12006/statm: 126616 64001 1826 364 0 62540 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 506464

[startup+12.7005 s]
/proc/loadavg: 7.60 7.75 6.64 6/209 12012
/proc/meminfo: memFree=28345860/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=506464 CPUtime=12.6 cores=1,3,5,7
/proc/12006/stat : 12006 (python) R 12004 12006 11084 0 -1 4202496 97001 938 1 0 1238 22 0 0 25 0 1 0 538679353 518619136 64001 33554432000 4194304 5683644 140737034018496 18446744073709551615 47938929313020 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12006/statm: 126616 64001 1826 364 0 62540 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 506464

[startup+25.5002 s]
/proc/loadavg: 7.02 7.62 6.61 6/209 12012
/proc/meminfo: memFree=28358984/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=506464 CPUtime=25.4 cores=1,3,5,7
/proc/12006/stat : 12006 (python) R 12004 12006 11084 0 -1 4202496 97002 938 1 0 2518 22 0 0 25 0 1 0 538679353 518619136 64002 33554432000 4194304 5683644 140737034018496 18446744073709551615 47938926799336 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12006/statm: 126616 64002 1827 364 0 62540 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 506464

[startup+51.1015 s]
/proc/loadavg: 7.25 7.62 6.64 9/221 12025
/proc/meminfo: memFree=28023544/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=528688 CPUtime=32.24 cores=1,3,5,7
/proc/12006/stat : 12006 (python) S 12004 12006 11084 0 -1 4202496 99683 938 1 0 3199 25 0 0 22 0 5 0 538679353 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134540747 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12006/statm: 132172 59369 1881 364 0 68081 0
[pid=12013] ppid=12006 vsize=487676 CPUtime=0.02 cores=1,3,5,7
/proc/12013/stat : 12013 (python) S 12006 12006 11084 0 -1 4202560 986 0 0 0 1 1 0 0 18 0 1 0 538682579 499380224 57853 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734095 0 0 16781312 514 11792271003990589701 0 0 17 5 0 0 0
/proc/12013/statm: 121919 57853 381 364 0 57837 0
[pid=12015] ppid=12013 vsize=59688 CPUtime=18.74 cores=1,3,5,7
/proc/12015/stat : 12015 (lingeling) R 12013 12015 12015 0 -1 4202496 23430 0 0 0 1869 5 0 0 25 0 1 0 538682580 61120512 14085 33554432000 4194304 4352236 140735541023008 18446744073709551615 4328026 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/12015/statm: 14922 14085 129 39 0 14002 0
[pid=12016] ppid=12006 vsize=497932 CPUtime=0.02 cores=1,3,5,7
/proc/12016/stat : 12016 (python) S 12006 12006 11084 0 -1 4202560 908 0 0 0 1 1 0 0 15 0 1 0 538682582 509882368 57846 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589704 0 0 17 5 0 0 0
/proc/12016/statm: 124483 57846 370 364 0 60398 0
[pid=12018] ppid=12016 vsize=197624 CPUtime=18.79 cores=1,3,5,7
/proc/12018/stat : 12018 (cryptominisat-2) R 12016 12018 12018 0 -1 4202496 38818 0 0 0 1874 5 0 0 25 0 1 0 538682582 202366976 38306 33554432000 4194304 4677096 140737253574416 18446744073709551615 4502946 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12018/statm: 49406 38306 378 118 0 44365 0
[pid=12019] ppid=12006 vsize=508188 CPUtime=0.03 cores=1,3,5,7
/proc/12019/stat : 12019 (python) S 12006 12006 11084 0 -1 4202560 905 0 0 0 1 2 0 0 18 0 1 0 538682584 520384512 57850 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589704 0 0 17 7 0 0 0
/proc/12019/statm: 127047 57850 370 364 0 62959 0
[pid=12021] ppid=12019 vsize=59552 CPUtime=18.76 cores=1,3,5,7
/proc/12021/stat : 12021 (lingeling) R 12019 12021 12021 0 -1 4202496 23397 0 0 0 1873 3 0 0 25 0 1 0 538682585 60981248 14052 33554432000 4194304 4352236 140736612095872 18446744073709551615 4329086 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/12021/statm: 14888 14052 129 39 0 13968 0
[pid=12022] ppid=12006 vsize=518444 CPUtime=0.02 cores=1,3,5,7
/proc/12022/stat : 12022 (python) S 12006 12006 11084 0 -1 4202560 941 0 0 0 1 1 0 0 18 0 1 0 538682587 530886656 57854 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589702 0 0 17 5 0 0 0
/proc/12022/statm: 129611 57854 370 364 0 65520 0
[pid=12024] ppid=12022 vsize=59560 CPUtime=18.58 cores=1,3,5,7
/proc/12024/stat : 12024 (lingeling) R 12022 12024 12024 0 -1 4202496 23396 0 0 0 1854 4 0 0 25 0 1 0 538682588 60989440 14054 33554432000 4194304 4352236 140735896611168 18446744073709551615 4328191 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/12024/statm: 14890 14054 129 39 0 13970 0
[pid=12006/tid=12014] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (python) S 12004 12006 11084 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 538682579 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 1 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (python) S 12004 12006 11084 0 -1 4202560 21 938 0 0 0 0 0 0 25 0 5 0 538682582 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 3 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (python) S 12004 12006 11084 0 -1 4202560 22 938 0 0 0 0 0 0 20 0 5 0 538682585 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 7 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (python) S 12004 12006 11084 0 -1 4202560 26 938 0 0 0 0 0 0 22 0 5 0 538682588 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 107.2
Current children cumulated vsize (KiB) 2917352

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

[startup+57.5013 s]
/proc/loadavg: 7.31 7.62 6.64 9/221 12025
/proc/meminfo: memFree=28012132/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=528688 CPUtime=32.24 cores=1,3,5,7
/proc/12006/stat : 12006 (python) S 12004 12006 11084 0 -1 4202496 99683 938 1 0 3199 25 0 0 22 0 5 0 538679353 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134540747 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12006/statm: 132172 59369 1881 364 0 68081 0
[pid=12013] ppid=12006 vsize=487676 CPUtime=0.04 cores=1,3,5,7
/proc/12013/stat : 12013 (python) S 12006 12006 11084 0 -1 4202560 990 0 0 0 2 2 0 0 18 0 1 0 538682579 499380224 57853 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734095 0 0 16781312 514 11792271003990589701 0 0 17 5 0 0 0
/proc/12013/statm: 121919 57853 381 364 0 57837 0
[pid=12015] ppid=12013 vsize=60196 CPUtime=25.11 cores=1,3,5,7
/proc/12015/stat : 12015 (lingeling) R 12013 12015 12015 0 -1 4202496 23558 0 0 0 2506 5 0 0 25 0 1 0 538682580 61640704 14212 33554432000 4194304 4352236 140735541023008 18446744073709551615 4329000 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/12015/statm: 15049 14212 129 39 0 14129 0
[pid=12016] ppid=12006 vsize=497932 CPUtime=0.03 cores=1,3,5,7
/proc/12016/stat : 12016 (python) S 12006 12006 11084 0 -1 4202560 910 0 0 0 2 1 0 0 15 0 1 0 538682582 509882368 57846 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 4607068073885663496 0 0 17 5 0 0 0
/proc/12016/statm: 124483 57846 370 364 0 60398 0
[pid=12018] ppid=12016 vsize=204024 CPUtime=25.19 cores=1,3,5,7
/proc/12018/stat : 12018 (cryptominisat-2) R 12016 12018 12018 0 -1 4202496 41820 0 0 0 2513 6 0 0 25 0 1 0 538682582 208920576 38501 33554432000 4194304 4677096 140737253574416 18446744073709551615 4355212 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12018/statm: 51006 38501 381 118 0 45965 0
[pid=12019] ppid=12006 vsize=508188 CPUtime=0.03 cores=1,3,5,7
/proc/12019/stat : 12019 (python) S 12006 12006 11084 0 -1 4202560 907 0 0 0 1 2 0 0 18 0 1 0 538682584 520384512 57850 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589704 0 0 17 7 0 0 0
/proc/12019/statm: 127047 57850 370 364 0 62959 0
[pid=12021] ppid=12019 vsize=59804 CPUtime=25.16 cores=1,3,5,7
/proc/12021/stat : 12021 (lingeling) R 12019 12021 12021 0 -1 4202496 23461 0 0 0 2513 3 0 0 25 0 1 0 538682585 61239296 14115 33554432000 4194304 4352236 140736612095872 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/12021/statm: 14951 14115 129 39 0 14031 0
[pid=12022] ppid=12006 vsize=518444 CPUtime=0.04 cores=1,3,5,7
/proc/12022/stat : 12022 (python) S 12006 12006 11084 0 -1 4202560 944 0 0 0 2 2 0 0 18 0 1 0 538682587 530886656 57854 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589702 0 0 17 5 0 0 0
/proc/12022/statm: 129611 57854 370 364 0 65520 0
[pid=12024] ppid=12022 vsize=60448 CPUtime=24.93 cores=1,3,5,7
/proc/12024/stat : 12024 (lingeling) R 12022 12024 12024 0 -1 4202496 23623 0 0 0 2489 4 0 0 25 0 1 0 538682588 61898752 14276 33554432000 4194304 4352236 140735896611168 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/12024/statm: 15112 14276 129 39 0 14192 0
[pid=12006/tid=12014] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (python) S 12004 12006 11084 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 538682579 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 1 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (python) S 12004 12006 11084 0 -1 4202560 21 938 0 0 0 0 0 0 25 0 5 0 538682582 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 3 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (python) S 12004 12006 11084 0 -1 4202560 22 938 0 0 0 0 0 0 20 0 5 0 538682585 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 7 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (python) S 12004 12006 11084 0 -1 4202560 26 938 0 0 0 0 0 0 22 0 5 0 538682588 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 132.77
Current children cumulated vsize (KiB) 2925400

[startup+60.7008 s]
/proc/loadavg: 7.37 7.63 6.65 10/221 12025
/proc/meminfo: memFree=28003572/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=528688 CPUtime=32.24 cores=1,3,5,7
/proc/12006/stat : 12006 (python) S 12004 12006 11084 0 -1 4202496 99683 938 1 0 3199 25 0 0 22 0 5 0 538679353 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134540747 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12006/statm: 132172 59369 1881 364 0 68081 0
[pid=12013] ppid=12006 vsize=487676 CPUtime=0.04 cores=1,3,5,7
/proc/12013/stat : 12013 (python) S 12006 12006 11084 0 -1 4202560 993 0 0 0 2 2 0 0 18 0 1 0 538682579 499380224 57853 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734095 0 0 16781312 514 11792271003990589701 0 0 17 5 0 0 0
/proc/12013/statm: 121919 57853 381 364 0 57837 0
[pid=12015] ppid=12013 vsize=61476 CPUtime=28.28 cores=1,3,5,7
/proc/12015/stat : 12015 (lingeling) R 12013 12015 12015 0 -1 4202496 23878 0 0 0 2823 5 0 0 25 0 1 0 538682580 62951424 14532 33554432000 4194304 4352236 140735541023008 18446744073709551615 4235610 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/12015/statm: 15369 14532 129 39 0 14449 0
[pid=12016] ppid=12006 vsize=497932 CPUtime=0.04 cores=1,3,5,7
/proc/12016/stat : 12016 (python) S 12006 12006 11084 0 -1 4202560 913 0 0 0 2 2 0 0 15 0 1 0 538682582 509882368 57846 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 4607068073885663496 0 0 17 5 0 0 0
/proc/12016/statm: 124483 57846 370 364 0 60398 0
[pid=12018] ppid=12016 vsize=204024 CPUtime=28.39 cores=1,3,5,7
/proc/12018/stat : 12018 (cryptominisat-2) R 12016 12018 12018 0 -1 4202496 42108 0 0 0 2833 6 0 0 25 0 1 0 538682582 208920576 38789 33554432000 4194304 4677096 140737253574416 18446744073709551615 228122410644 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12018/statm: 51006 38789 387 118 0 45965 0
[pid=12019] ppid=12006 vsize=508188 CPUtime=0.04 cores=1,3,5,7
/proc/12019/stat : 12019 (python) S 12006 12006 11084 0 -1 4202560 910 0 0 0 1 3 0 0 18 0 1 0 538682584 520384512 57850 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589704 0 0 17 7 0 0 0
/proc/12019/statm: 127047 57850 370 364 0 62959 0
[pid=12021] ppid=12019 vsize=61336 CPUtime=28.36 cores=1,3,5,7
/proc/12021/stat : 12021 (lingeling) R 12019 12021 12021 0 -1 4202496 23845 0 0 0 2833 3 0 0 25 0 1 0 538682585 62808064 14498 33554432000 4194304 4352236 140736612095872 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/12021/statm: 15334 14498 129 39 0 14414 0
[pid=12022] ppid=12006 vsize=518444 CPUtime=0.04 cores=1,3,5,7
/proc/12022/stat : 12022 (python) S 12006 12006 11084 0 -1 4202560 947 0 0 0 2 2 0 0 18 0 1 0 538682587 530886656 57854 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589702 0 0 17 5 0 0 0
/proc/12022/statm: 129611 57854 370 364 0 65520 0
[pid=12024] ppid=12022 vsize=60448 CPUtime=28.1 cores=1,3,5,7
/proc/12024/stat : 12024 (lingeling) R 12022 12024 12024 0 -1 4202496 23623 0 0 0 2806 4 0 0 25 0 1 0 538682588 61898752 14276 33554432000 4194304 4352236 140735896611168 18446744073709551615 4331578 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/12024/statm: 15112 14276 129 39 0 14192 0
[pid=12006/tid=12014] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (python) S 12004 12006 11084 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 538682579 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 1 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (python) S 12004 12006 11084 0 -1 4202560 21 938 0 0 0 0 0 0 25 0 5 0 538682582 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 3 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (python) S 12004 12006 11084 0 -1 4202560 22 938 0 0 0 0 0 0 20 0 5 0 538682585 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 7 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (python) S 12004 12006 11084 0 -1 4202560 26 938 0 0 0 0 0 0 22 0 5 0 538682588 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 145.53
Current children cumulated vsize (KiB) 2928212

[startup+63.9012 s]
/proc/loadavg: 7.42 7.63 6.66 9/221 12025
/proc/meminfo: memFree=28020064/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=528688 CPUtime=32.24 cores=1,3,5,7
/proc/12006/stat : 12006 (python) S 12004 12006 11084 0 -1 4202496 99683 938 1 0 3199 25 0 0 22 0 5 0 538679353 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134540747 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12006/statm: 132172 59369 1881 364 0 68081 0
[pid=12013] ppid=12006 vsize=487676 CPUtime=0.04 cores=1,3,5,7
/proc/12013/stat : 12013 (python) S 12006 12006 11084 0 -1 4202560 993 0 0 0 2 2 0 0 18 0 1 0 538682579 499380224 57853 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734095 0 0 16781312 514 11792271003990589701 0 0 17 5 0 0 0
/proc/12013/statm: 121919 57853 381 364 0 57837 0
[pid=12015] ppid=12013 vsize=61472 CPUtime=31.48 cores=1,3,5,7
/proc/12015/stat : 12015 (lingeling) R 12013 12015 12015 0 -1 4202496 23878 0 0 0 3143 5 0 0 25 0 1 0 538682580 62947328 14531 33554432000 4194304 4352236 140735541023008 18446744073709551615 4235610 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/12015/statm: 15368 14531 129 39 0 14448 0
[pid=12016] ppid=12006 vsize=497932 CPUtime=0.04 cores=1,3,5,7
/proc/12016/stat : 12016 (python) S 12006 12006 11084 0 -1 4202560 913 0 0 0 2 2 0 0 15 0 1 0 538682582 509882368 57846 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 4607068073885663496 0 0 17 5 0 0 0
/proc/12016/statm: 124483 57846 370 364 0 60398 0
[pid=12018] ppid=12016 vsize=204024 CPUtime=31.59 cores=1,3,5,7
/proc/12018/stat : 12018 (cryptominisat-2) R 12016 12018 12018 0 -1 4202496 42862 0 0 0 3152 7 0 0 25 0 1 0 538682582 208920576 39543 33554432000 4194304 4677096 140737253574416 18446744073709551615 4319536 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12018/statm: 51006 39543 387 118 0 45965 0
[pid=12019] ppid=12006 vsize=508188 CPUtime=0.04 cores=1,3,5,7
/proc/12019/stat : 12019 (python) S 12006 12006 11084 0 -1 4202560 910 0 0 0 1 3 0 0 18 0 1 0 538682584 520384512 57850 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589704 0 0 17 7 0 0 0
/proc/12019/statm: 127047 57850 370 364 0 62959 0
[pid=12021] ppid=12019 vsize=61336 CPUtime=31.56 cores=1,3,5,7
/proc/12021/stat : 12021 (lingeling) R 12019 12021 12021 0 -1 4202496 23845 0 0 0 3153 3 0 0 25 0 1 0 538682585 62808064 14498 33554432000 4194304 4352236 140736612095872 18446744073709551615 4328109 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/12021/statm: 15334 14498 129 39 0 14414 0
[pid=12022] ppid=12006 vsize=518444 CPUtime=0.04 cores=1,3,5,7
/proc/12022/stat : 12022 (python) S 12006 12006 11084 0 -1 4202560 947 0 0 0 2 2 0 0 18 0 1 0 538682587 530886656 57854 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589702 0 0 17 5 0 0 0
/proc/12022/statm: 129611 57854 370 364 0 65520 0
[pid=12024] ppid=12022 vsize=61336 CPUtime=31.28 cores=1,3,5,7
/proc/12024/stat : 12024 (lingeling) R 12022 12024 12024 0 -1 4202496 23847 0 0 0 3124 4 0 0 25 0 1 0 538682588 62808064 14498 33554432000 4194304 4352236 140735896611168 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/12024/statm: 15334 14498 129 39 0 14414 0
[pid=12006/tid=12014] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (python) S 12004 12006 11084 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 538682579 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 1 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (python) S 12004 12006 11084 0 -1 4202560 21 938 0 0 0 0 0 0 25 0 5 0 538682582 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 3 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (python) S 12004 12006 11084 0 -1 4202560 22 938 0 0 0 0 0 0 20 0 5 0 538682585 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 7 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (python) S 12004 12006 11084 0 -1 4202560 26 938 0 0 0 0 0 0 22 0 5 0 538682588 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 158.31
Current children cumulated vsize (KiB) 2929096

[startup+65.5009 s]
/proc/loadavg: 7.42 7.63 6.66 9/221 12025
/proc/meminfo: memFree=28018700/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=528688 CPUtime=32.24 cores=1,3,5,7
/proc/12006/stat : 12006 (python) S 12004 12006 11084 0 -1 4202496 99683 938 1 0 3199 25 0 0 22 0 5 0 538679353 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134540747 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12006/statm: 132172 59369 1881 364 0 68081 0
[pid=12013] ppid=12006 vsize=487676 CPUtime=0.19 cores=1,3,5,7
/proc/12013/stat : 12013 (python) R 12006 12006 11084 0 -1 4202560 1039 0 0 0 13 6 0 0 17 0 1 0 538682579 499380224 57854 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734095 0 0 16781312 514 0 0 0 17 5 0 0 0
/proc/12013/statm: 121919 57854 382 364 0 57837 0
[pid=12015] ppid=12013 vsize=0 CPUtime=32.92 cores=1,3,5,7
/proc/12015/stat : 12015 (lingeling) R 12013 12015 12015 0 -1 4202500 23891 0 0 0 3287 5 0 0 25 0 1 0 538682580 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/12015/statm: 0 0 0 0 0 0 0
[pid=12016] ppid=12006 vsize=497932 CPUtime=0.05 cores=1,3,5,7
/proc/12016/stat : 12016 (python) S 12006 12006 11084 0 -1 4202560 915 0 0 0 2 3 0 0 15 0 1 0 538682582 509882368 57846 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 4607068073885663496 0 0 17 5 0 0 0
/proc/12016/statm: 124483 57846 370 364 0 60398 0
[pid=12018] ppid=12016 vsize=204632 CPUtime=33.19 cores=1,3,5,7
/proc/12018/stat : 12018 (cryptominisat-2) R 12016 12018 12018 0 -1 4202496 43213 0 0 0 3312 7 0 0 25 0 1 0 538682582 209543168 39894 33554432000 4194304 4677096 140737253574416 18446744073709551615 4320006 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12018/statm: 51158 39894 388 118 0 46117 0
[pid=12019] ppid=12006 vsize=508188 CPUtime=0.04 cores=1,3,5,7
/proc/12019/stat : 12019 (python) S 12006 12006 11084 0 -1 4202560 910 0 0 0 1 3 0 0 18 0 1 0 538682584 520384512 57850 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589704 0 0 17 7 0 0 0
/proc/12019/statm: 127047 57850 370 364 0 62959 0
[pid=12021] ppid=12019 vsize=61336 CPUtime=33.16 cores=1,3,5,7
/proc/12021/stat : 12021 (lingeling) R 12019 12021 12021 0 -1 4202496 23845 0 0 0 3313 3 0 0 25 0 1 0 538682585 62808064 14498 33554432000 4194304 4352236 140736612095872 18446744073709551615 4319064 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/12021/statm: 15334 14498 129 39 0 14414 0
[pid=12022] ppid=12006 vsize=518444 CPUtime=0.04 cores=1,3,5,7
/proc/12022/stat : 12022 (python) R 12006 12006 11084 0 -1 4202560 947 0 0 0 2 2 0 0 18 0 1 0 538682587 530886656 57854 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 0 0 0 17 5 0 0 0
/proc/12022/statm: 129611 57854 370 364 0 65520 0
[pid=12024] ppid=12022 vsize=61336 CPUtime=32.87 cores=1,3,5,7
/proc/12024/stat : 12024 (lingeling) R 12022 12024 12024 0 -1 4202496 23847 0 0 0 3283 4 0 0 25 0 1 0 538682588 62808064 14498 33554432000 4194304 4352236 140735896611168 18446744073709551615 4329086 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/12024/statm: 15334 14498 129 39 0 14414 0
[pid=12006/tid=12014] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (python) S 12004 12006 11084 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 538682579 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 1 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (python) S 12004 12006 11084 0 -1 4202560 21 938 0 0 0 0 0 0 25 0 5 0 538682582 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 3 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (python) S 12004 12006 11084 0 -1 4202560 22 938 0 0 0 0 0 0 20 0 5 0 538682585 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 7 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (python) S 12004 12006 11084 0 -1 4202560 26 938 0 0 0 0 0 0 22 0 5 0 538682588 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 164.7
Current children cumulated vsize (KiB) 2868232

[startup+66.3007 s]
/proc/loadavg: 7.42 7.63 6.66 10/221 12025
/proc/meminfo: memFree=28074252/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=528688 CPUtime=32.24 cores=1,3,5,7
/proc/12006/stat : 12006 (python) S 12004 12006 11084 0 -1 4202496 99683 938 1 0 3199 25 0 0 22 0 5 0 538679353 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134540747 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12006/statm: 132172 59369 1881 364 0 68081 0
[pid=12013] ppid=12006 vsize=487676 CPUtime=0.99 cores=1,3,5,7
/proc/12013/stat : 12013 (python) R 12006 12006 11084 0 -1 4202560 1039 0 0 0 76 23 0 0 18 0 1 0 538682579 499380224 57854 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134544133 0 0 16781312 514 0 0 0 17 5 0 0 0
/proc/12013/statm: 121919 57854 382 364 0 57837 0
[pid=12015] ppid=12013 vsize=0 CPUtime=32.92 cores=1,3,5,7
/proc/12015/stat : 12015 (lingeling) R 12013 12015 12015 0 -1 4202500 23891 0 0 0 3287 5 0 0 25 0 1 0 538682580 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 0
/proc/12015/statm: 0 0 0 0 0 0 0
[pid=12016] ppid=12006 vsize=497932 CPUtime=0.05 cores=1,3,5,7
/proc/12016/stat : 12016 (python) S 12006 12006 11084 0 -1 4202560 915 0 0 0 2 3 0 0 15 0 1 0 538682582 509882368 57846 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 4607068073885663496 0 0 17 3 0 0 0
/proc/12016/statm: 124483 57846 370 364 0 60398 0
[pid=12018] ppid=12016 vsize=204632 CPUtime=33.99 cores=1,3,5,7
/proc/12018/stat : 12018 (cryptominisat-2) R 12016 12018 12018 0 -1 4202496 43284 0 0 0 3392 7 0 0 25 0 1 0 538682582 209543168 39965 33554432000 4194304 4677096 140737253574416 18446744073709551615 4320272 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/12018/statm: 51158 39965 391 118 0 46117 0
[pid=12019] ppid=12006 vsize=508188 CPUtime=0.04 cores=1,3,5,7
/proc/12019/stat : 12019 (python) S 12006 12006 11084 0 -1 4202560 910 0 0 0 1 3 0 0 18 0 1 0 538682584 520384512 57850 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589704 0 0 17 7 0 0 0
/proc/12019/statm: 127047 57850 370 364 0 62959 0
[pid=12021] ppid=12019 vsize=61336 CPUtime=33.96 cores=1,3,5,7
/proc/12021/stat : 12021 (lingeling) R 12019 12021 12021 0 -1 4202496 23845 0 0 0 3393 3 0 0 25 0 1 0 538682585 62808064 14498 33554432000 4194304 4352236 140736612095872 18446744073709551615 4283925 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/12021/statm: 15334 14498 129 39 0 14414 0
[pid=12022] ppid=12006 vsize=518444 CPUtime=0.05 cores=1,3,5,7
/proc/12022/stat : 12022 (python) S 12006 12006 11084 0 -1 4202560 951 0 0 0 3 2 0 0 18 0 1 0 538682587 530886656 57854 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122734150 0 0 16781312 514 11792271003990589702 0 0 17 7 0 0 0
/proc/12022/statm: 129611 57854 370 364 0 65520 0
[pid=12024] ppid=12022 vsize=61336 CPUtime=33.66 cores=1,3,5,7
/proc/12024/stat : 12024 (lingeling) R 12022 12024 12024 0 -1 4202496 23847 0 0 0 3362 4 0 0 25 0 1 0 538682588 62808064 14498 33554432000 4194304 4352236 140735896611168 18446744073709551615 4231346 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/12024/statm: 15334 14498 129 39 0 14414 0
[pid=12006/tid=12014] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (python) S 12004 12006 11084 0 -1 4202560 25 938 0 0 0 0 0 0 25 0 5 0 538682579 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 1 0 0 0
[pid=12006/tid=12017] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12017/stat : 12017 (python) S 12004 12006 11084 0 -1 4202560 21 938 0 0 0 0 0 0 25 0 5 0 538682582 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 3 0 0 0
[pid=12006/tid=12020] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12020/stat : 12020 (python) S 12004 12006 11084 0 -1 4202560 22 938 0 0 0 0 0 0 20 0 5 0 538682585 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 7 0 0 0
[pid=12006/tid=12023] ppid=12004 vsize=528688 CPUtime=0 cores=1,3,5,7
/proc/12006/task/12023/stat : 12023 (python) S 12004 12006 11084 0 -1 4202560 26 938 0 0 0 0 0 0 22 0 5 0 538682588 541376512 59369 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 2 18446604471133780736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 167.9
Current children cumulated vsize (KiB) 2868232

[startup+66.5007 s]
/proc/loadavg: 7.42 7.63 6.66 10/221 12025
/proc/meminfo: memFree=28074252/32951124 swapFree=67111444/67111528
[pid=12006] ppid=12004 vsize=528632 CPUtime=168.61 cores=1,3,5,7
/proc/12006/stat : 12006 (python) R 12004 12006 11084 0 -1 4202496 126090 120684 1 0 3202 27 13572 60 17 0 2 0 538679353 541319168 59363 33554432000 4194304 5683644 140737034018496 18446744073709551615 228122369463 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/12006/statm: 132158 59363 1875 364 0 68081 0
[pid=12006/tid=12014] ppid=12004 vsize=528632 CPUtime=136.32 cores=1,3,5,7
/proc/12006/task/12014/stat : 12014 (python) S 12004 12006 11084 0 -1 4202560 26 120684 0 0 0 0 13572 60 18 0 2 0 538682579 541319168 59363 33554432000 4194304 5683644 140737034018496 18446744073709551615 228134537649 0 0 16781312 0 18446604471133780736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 168.61
Current children cumulated vsize (KiB) 528632

Child status: 0
Real time (s): 66.5185
CPU time (s): 168.648
CPU user time (s): 167.756
CPU system time (s): 0.891864
CPU usage (%): 253.536
Max. virtual memory (cumulated for all children) (KiB): 2963396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.756
system time used= 0.891864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247699
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= 1298
involuntary context switches= 1657

runsolver used 0.104984 second user time and 0.295955 second system time

The end

Launcher Data

Begin job on node138 at 2011-05-01 19:26:54
IDJOB=3317782
IDBENCH=83475
IDSOLVER=1706
FILE ID=node138/3317782-1304270813
RUNJOBID= node138-1304267281-11103
PBS_JOBID= 13173941
Free space on /tmp= 72400 MiB

SOLVER NAME= borg-sat 11.03.02-industrial
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3317782-1304270813/watcher-3317782-1304270813 -o /tmp/evaluation-result-3317782-1304270813/solver-3317782-1304270813 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317782-1304270813.cnf -seed 1877651349 -budget 4800 -cores 4

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1877651349

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28605204 kB
Buffers:        702536 kB
Cached:        1218720 kB
SwapCached:         84 kB
Active:        2337800 kB
Inactive:      1597024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28605204 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:           52252 kB
Writeback:           0 kB
AnonPages:     2013508 kB
Mapped:          24512 kB
Slab:           338448 kB
PageTables:      13276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2795288 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= 72368 MiB
End job on node138 at 2011-05-01 19:28:00