Trace number 3322523

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 420.025 73.847

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.1969
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

0.32/0.46	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.32/0.46	c INFO: solving HOME/instance-3322523-1304353918.cnf
0.32/0.46	c INFO: computing task features
3.21/3.36	c INFO: computed variable-clause graph statistics
3.30/3.43	c INFO: computed clause balance statistics
17.80/17.91	c INFO: computed variable balance statistics
23.30/23.41	c INFO: computed small-clause counts
23.30/23.44	c INFO: computed Horn-clause counts
23.90/24.04	c INFO: computed variable graph statistics
23.90/24.04	c INFO: collected features for HOME/instance-3322523-1304353918.cnf in 23.49 s
23.90/24.07	c INFO: running lingeling-276@0 for 97 with 39976 remaining (b = 0.16)
23.90/24.10	c INFO: running cryptominisat-2.9.0@0 for 485 with 39976 remaining (b = 0.19)
24.03/24.13	c INFO: running lingeling-276@0 for 1261 with 39976 remaining (b = 0.38)
24.03/24.17	c INFO: running lingeling-276@0 for 1261 with 39976 remaining (b = 0.32)
24.03/24.20	c INFO: running SApperloT@0 for 97 with 39976 remaining (b = 0.02)
24.22/24.24	c INFO: running precosat-570@0 for 291 with 39976 remaining (b = 0.07)
24.22/24.28	c INFO: running cryptominisat-2.9.0@0 for 485 with 39976 remaining (b = 0.11)
24.40/24.31	c INFO: running cryptominisat-2.9.0@0 for 1940 with 39976 remaining (b = 0.39)
419.46/73.78	s SATISFIABLE
419.46/73.78	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-3322523-1304353918/watcher-3322523-1304353918 -o /tmp/evaluation-result-3322523-1304353918/solver-3322523-1304353918 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3322523-1304353918.cnf -seed 1693002575 -budget 40000 -cores 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.17 8.49 8.37 1/273 29950
/proc/meminfo: memFree=13594384/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=15780 CPUtime=0 cores=0-7
/proc/29950/stat : 29950 (python) S 29948 29950 29577 0 -1 4202496 904 0 0 0 0 0 0 0 17 0 1 0 279583180 16158720 784 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/29950/statm: 3945 784 346 364 0 432 0

[startup+0.0959531 s]
/proc/loadavg: 8.17 8.49 8.37 1/273 29950
/proc/meminfo: memFree=13594384/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=102012 CPUtime=0.07 cores=0-7
/proc/29950/stat : 29950 (python) R 29948 29950 29577 0 -1 4202496 3002 0 0 0 5 2 0 0 17 0 1 0 279583180 104460288 2694 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660705415 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29950/statm: 25503 2694 841 364 0 1803 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 102012

[startup+0.100961 s]
/proc/loadavg: 8.17 8.49 8.37 1/273 29950
/proc/meminfo: memFree=13594384/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=104232 CPUtime=0.07 cores=0-7
/proc/29950/stat : 29950 (python) S 29948 29950 29577 0 -1 4202496 3072 0 0 0 5 2 0 0 17 0 1 0 279583180 106733568 2752 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/29950/statm: 26058 2752 847 364 0 1806 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104232

[startup+0.300923 s]
/proc/loadavg: 8.17 8.49 8.37 1/273 29950
/proc/meminfo: memFree=13594384/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=187744 CPUtime=0.23 cores=0-7
/proc/29950/stat : 29950 (python) R 29948 29950 29577 0 -1 4202496 6782 932 1 0 17 6 0 0 18 0 1 0 279583180 192249856 4844 33554432000 4194304 5683644 140736292869856 18446744073709551615 268655699505 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29950/statm: 46936 4846 1366 364 0 3724 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 187744

[startup+0.700884 s]
/proc/loadavg: 8.17 8.49 8.37 1/273 29950
/proc/meminfo: memFree=13594384/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=299288 CPUtime=0.61 cores=0-7
/proc/29950/stat : 29950 (python) R 29948 29950 29577 0 -1 4202496 14640 932 1 0 51 10 0 0 18 0 1 0 279583180 306470912 12136 33554432000 4194304 5683644 140736292869856 18446744073709551615 47477513864431 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29950/statm: 74822 12136 1761 364 0 10746 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 299288

[startup+1.50074 s]
/proc/loadavg: 7.60 8.36 8.33 2/274 29955
/proc/meminfo: memFree=13534484/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=348716 CPUtime=1.41 cores=0-7
/proc/29950/stat : 29950 (python) R 29948 29950 29577 0 -1 4202496 26402 932 1 0 129 12 0 0 20 0 1 0 279583180 357085184 23898 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660348608 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29950/statm: 87179 23899 1761 364 0 23103 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 348716

[startup+3.10046 s]
/proc/loadavg: 7.60 8.36 8.33 2/274 29955
/proc/meminfo: memFree=13468640/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=442112 CPUtime=3 cores=0-7
/proc/29950/stat : 29950 (python) R 29948 29950 29577 0 -1 4202496 48792 932 1 0 286 14 0 0 25 0 1 0 279583180 452722688 46288 33554432000 4194304 5683644 140736292869856 18446744073709551615 4458992 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29950/statm: 110528 46288 1761 364 0 46452 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 442112

[startup+6.3009 s]
/proc/loadavg: 7.60 8.36 8.33 2/274 29955
/proc/meminfo: memFree=13402192/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=449844 CPUtime=6.2 cores=0-7
/proc/29950/stat : 29950 (python) R 29948 29950 29577 0 -1 4202496 74858 932 1 0 603 17 0 0 25 0 1 0 279583180 460640256 49845 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660318388 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29950/statm: 112461 49845 1826 364 0 48385 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 449844

[startup+12.7008 s]
/proc/loadavg: 6.58 8.12 8.25 2/274 29955
/proc/meminfo: memFree=13403092/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=449844 CPUtime=12.6 cores=0-7
/proc/29950/stat : 29950 (python) R 29948 29950 29577 0 -1 4202496 74858 932 1 0 1243 17 0 0 25 0 1 0 279583180 460640256 49845 33554432000 4194304 5683644 140736292869856 18446744073709551615 47477343348932 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29950/statm: 112461 49845 1826 364 0 48385 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 449844

[startup+25.5015 s]
/proc/loadavg: 5.72 7.88 8.18 9/298 29979
/proc/meminfo: memFree=13002372/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=583660 CPUtime=24.23 cores=0-7
/proc/29950/stat : 29950 (python) S 29948 29950 29577 0 -1 4202496 80070 932 1 0 2400 23 0 0 25 0 9 0 279583180 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29950/statm: 145915 46672 1889 364 0 81812 0
[pid=29956] ppid=29950 vsize=436088 CPUtime=0 cores=0-7
/proc/29956/stat : 29956 (python) S 29950 29950 29577 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 279585588 446554112 44927 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682255 0 0 16781312 514 4481129737162326015 0 0 17 1 0 0 0
/proc/29956/statm: 109022 44927 353 364 0 44940 0
[pid=29958] ppid=29956 vsize=51012 CPUtime=1.4 cores=0-7
/proc/29958/stat : 29958 (lingeling) R 29956 29958 29958 0 -1 4202496 14096 0 0 0 138 2 0 0 25 0 1 0 279585589 52236288 11908 33554432000 4194304 4352236 140735614900400 18446744073709551615 4319441 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/29958/statm: 12753 11908 120 39 0 11833 0
[pid=29959] ppid=29950 vsize=446344 CPUtime=0 cores=0-7
/proc/29959/stat : 29959 (python) S 29950 29950 29577 0 -1 4202560 748 0 0 0 0 0 0 0 18 0 1 0 279585591 457056256 44925 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3371014694125928708 0 0 17 1 0 0 0
/proc/29959/statm: 111586 44925 347 364 0 47501 0
[pid=29961] ppid=29959 vsize=94132 CPUtime=1.37 cores=0-7
/proc/29961/stat : 29961 (cryptominisat-2) R 29959 29961 29961 0 -1 4202496 12203 0 0 0 135 2 0 0 25 0 1 0 279585592 96391168 11687 33554432000 4194304 4677096 140735302686400 18446744073709551615 4355279 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29961/statm: 23533 11687 364 118 0 18492 0
[pid=29962] ppid=29950 vsize=522136 CPUtime=0 cores=0-7
/proc/29962/stat : 29962 (python) S 29950 29950 29577 0 -1 4202560 708 0 0 0 0 0 0 0 18 0 1 0 279585594 534667264 45047 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 4357997903868854271 0 0 17 7 0 0 0
/proc/29962/statm: 130534 45047 348 364 0 66446 0
[pid=29964] ppid=29962 vsize=51012 CPUtime=1.33 cores=0-7
/proc/29964/stat : 29964 (lingeling) R 29962 29964 29964 0 -1 4202496 14084 0 0 0 131 2 0 0 25 0 1 0 279585595 52236288 11908 33554432000 4194304 4352236 140735112968736 18446744073709551615 4319485 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/29964/statm: 12753 11908 120 39 0 11833 0
[pid=29965] ppid=29950 vsize=532392 CPUtime=0 cores=0-7
/proc/29965/stat : 29965 (python) S 29950 29950 29577 0 -1 4202560 716 0 0 0 0 0 0 0 18 0 1 0 279585598 545169408 45031 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 4428599469633699839 0 0 17 4 0 0 0
/proc/29965/statm: 133098 45031 348 364 0 69007 0
[pid=29967] ppid=29965 vsize=51124 CPUtime=1.31 cores=0-7
/proc/29967/stat : 29967 (lingeling) R 29965 29967 29967 0 -1 4202496 14113 0 0 0 129 2 0 0 25 0 1 0 279585599 52350976 11935 33554432000 4194304 4352236 140734733836560 18446744073709551615 4319056 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/29967/statm: 12781 11935 120 39 0 11861 0
[pid=29968] ppid=29950 vsize=542648 CPUtime=0 cores=0-7
/proc/29968/stat : 29968 (python) S 29950 29950 29577 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 279585601 555671552 45104 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 15038551876381442047 0 0 17 1 0 0 0
/proc/29968/statm: 135662 45104 348 364 0 71568 0
[pid=29970] ppid=29968 vsize=38340 CPUtime=1.26 cores=0-7
/proc/29970/stat : 29970 (SApperloT-base) R 29968 29970 29970 0 -1 4202496 9073 0 0 0 124 2 0 0 25 0 1 0 279585602 39260160 8816 33554432000 134512640 135674940 4290607680 18446744073709551615 134571282 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29970/statm: 9585 8816 99 284 0 9299 0
[pid=29971] ppid=29950 vsize=552904 CPUtime=0 cores=0-7
/proc/29971/stat : 29971 (python) S 29950 29950 29577 0 -1 4202560 732 0 0 0 0 0 0 0 18 0 1 0 279585605 566173696 45108 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 15038548028090744831 0 0 17 0 0 0 0
/proc/29971/statm: 138226 45108 348 364 0 74129 0
[pid=29973] ppid=29971 vsize=84016 CPUtime=1.24 cores=0-7
/proc/29973/stat : 29973 (precosat) R 29971 29973 29973 0 -1 4202496 22018 0 0 0 120 4 0 0 25 0 1 0 279585606 86032384 19838 33554432000 4194304 4890832 140734068043600 18446744073709551615 4214476 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/29973/statm: 21004 19838 80 171 0 20831 0
[pid=29974] ppid=29950 vsize=563160 CPUtime=0 cores=0-7
/proc/29974/stat : 29974 (python) S 29950 29950 29577 0 -1 4202560 743 0 0 0 0 0 0 0 20 0 1 0 279585609 576675840 45054 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 16160129328137339138 0 0 17 1 0 0 0
/proc/29974/statm: 140790 45054 348 364 0 76690 0
[pid=29976] ppid=29974 vsize=94136 CPUtime=1.17 cores=0-7
/proc/29976/stat : 29976 (cryptominisat-2) R 29974 29976 29976 0 -1 4202496 12194 0 0 0 115 2 0 0 25 0 1 0 279585612 96395264 11685 33554432000 4194304 4677096 140733415637296 18446744073709551615 4320065 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29976/statm: 23534 11685 361 118 0 18493 0
[pid=29977] ppid=29950 vsize=573416 CPUtime=0 cores=0-7
/proc/29977/stat : 29977 (python) S 29950 29950 29577 0 -1 4202560 781 0 0 0 0 0 0 0 21 0 1 0 279585612 587177984 45133 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 4604332488955756804 0 0 17 1 0 0 0
/proc/29977/statm: 143354 45133 354 364 0 79251 0
[pid=29979] ppid=29977 vsize=93472 CPUtime=1.13 cores=0-7
/proc/29979/stat : 29979 (cryptominisat-2) R 29977 29979 29979 0 -1 4202496 12066 0 0 0 110 3 0 0 25 0 1 0 279585613 95715328 11551 33554432000 4194304 4677096 140734540176544 18446744073709551615 4320006 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29979/statm: 23368 11551 361 118 0 18327 0
[pid=29950/tid=29957] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29957/stat : 29957 (python) S 29948 29950 29577 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 9 0 279585588 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 3 0 0 0
[pid=29950/tid=29960] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29960/stat : 29960 (python) S 29948 29950 29577 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 9 0 279585592 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 3 0 0 0
[pid=29950/tid=29963] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29963/stat : 29963 (python) S 29948 29950 29577 0 -1 4202560 76 932 0 0 0 0 0 0 19 0 9 0 279585595 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 0 0 0 0
[pid=29950/tid=29966] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29966/stat : 29966 (python) S 29948 29950 29577 0 -1 4202560 33 932 0 0 0 0 0 0 18 0 9 0 279585598 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29969] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29969/stat : 29969 (python) S 29948 29950 29577 0 -1 4202560 33 932 0 0 0 0 0 0 21 0 9 0 279585602 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29972] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29972/stat : 29972 (python) S 29948 29950 29577 0 -1 4202560 31 932 0 0 0 0 0 0 23 0 9 0 279585606 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29975] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29975/stat : 29975 (python) S 29948 29950 29577 0 -1 4202560 35 932 0 0 0 0 0 0 24 0 9 0 279585609 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 1 0 0 0
[pid=29950/tid=29978] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29978/stat : 29978 (python) S 29948 29950 29577 0 -1 4202560 34 932 0 0 0 0 0 0 25 0 9 0 279585613 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 34.44
Current children cumulated vsize (KiB) 5309992

[startup+51.102 s]
/proc/loadavg: 6.50 7.89 8.17 9/298 29980
/proc/meminfo: memFree=12654920/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=583660 CPUtime=24.23 cores=0-7
/proc/29950/stat : 29950 (python) S 29948 29950 29577 0 -1 4202496 80070 932 1 0 2400 23 0 0 25 0 9 0 279583180 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29950/statm: 145915 46672 1889 364 0 81812 0
[pid=29956] ppid=29950 vsize=436088 CPUtime=0.05 cores=0-7
/proc/29956/stat : 29956 (python) S 29950 29950 29577 0 -1 4202560 919 0 0 0 2 3 0 0 18 0 1 0 279585588 446554112 44950 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682255 0 0 16781312 514 3107712441304187140 0 0 17 1 0 0 0
/proc/29956/statm: 109022 44950 376 364 0 44940 0
[pid=29958] ppid=29956 vsize=58088 CPUtime=27 cores=0-7
/proc/29958/stat : 29958 (lingeling) R 29956 29958 29958 0 -1 4202496 18884 0 0 0 2697 3 0 0 25 0 1 0 279585589 59482112 13686 33554432000 4194304 4352236 140735614900400 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/29958/statm: 14522 13686 129 39 0 13602 0
[pid=29959] ppid=29950 vsize=446344 CPUtime=0.07 cores=0-7
/proc/29959/stat : 29959 (python) S 29950 29950 29577 0 -1 4202560 915 0 0 0 3 4 0 0 16 0 1 0 279585591 457056256 44948 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187140 0 0 17 1 0 0 0
/proc/29959/statm: 111586 44948 370 364 0 47501 0
[pid=29961] ppid=29959 vsize=198616 CPUtime=26.97 cores=0-7
/proc/29961/stat : 29961 (cryptominisat-2) R 29959 29961 29961 0 -1 4202496 41010 0 0 0 2691 6 0 0 25 0 1 0 279585592 203382784 35824 33554432000 4194304 4677096 140735302686400 18446744073709551615 4502824 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29961/statm: 49654 35824 391 118 0 44613 0
[pid=29962] ppid=29950 vsize=522136 CPUtime=0.04 cores=0-7
/proc/29962/stat : 29962 (python) S 29950 29950 29577 0 -1 4202560 780 0 0 0 2 2 0 0 18 0 1 0 279585594 534667264 45070 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187139 0 0 17 7 0 0 0
/proc/29962/statm: 130534 45070 371 364 0 66446 0
[pid=29964] ppid=29962 vsize=56716 CPUtime=26.94 cores=0-7
/proc/29964/stat : 29964 (lingeling) R 29962 29964 29964 0 -1 4202496 18529 0 0 0 2691 3 0 0 25 0 1 0 279585595 58077184 13343 33554432000 4194304 4352236 140735112968736 18446744073709551615 4328079 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/29964/statm: 14179 13343 129 39 0 13259 0
[pid=29965] ppid=29950 vsize=532392 CPUtime=0.04 cores=0-7
/proc/29965/stat : 29965 (python) S 29950 29950 29577 0 -1 4202560 796 0 0 0 1 3 0 0 18 0 1 0 279585598 545169408 45054 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187139 0 0 17 4 0 0 0
/proc/29965/statm: 133098 45054 371 364 0 69007 0

################
# More data... #
################

[pid=29950/tid=29960] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29960/stat : 29960 (python) S 29948 29950 29577 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 9 0 279585592 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 3 0 0 0
[pid=29950/tid=29963] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29963/stat : 29963 (python) S 29948 29950 29577 0 -1 4202560 76 932 0 0 0 0 0 0 19 0 9 0 279585595 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 0 0 0 0
[pid=29950/tid=29966] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29966/stat : 29966 (python) S 29948 29950 29577 0 -1 4202560 33 932 0 0 0 0 0 0 18 0 9 0 279585598 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29969] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29969/stat : 29969 (python) S 29948 29950 29577 0 -1 4202560 33 932 0 0 0 0 0 0 21 0 9 0 279585602 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29972] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29972/stat : 29972 (python) S 29948 29950 29577 0 -1 4202560 31 932 0 0 0 0 0 0 23 0 9 0 279585606 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29975] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29975/stat : 29975 (python) S 29948 29950 29577 0 -1 4202560 35 932 0 0 0 0 0 0 24 0 9 0 279585609 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 1 0 0 0
[pid=29950/tid=29978] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29978/stat : 29978 (python) S 29948 29950 29577 0 -1 4202560 34 932 0 0 0 0 0 0 25 0 9 0 279585613 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 411.39
Current children cumulated vsize (KiB) 5657760

[startup+73.5011 s]
/proc/loadavg: 7.01 7.90 8.17 9/298 29981
/proc/meminfo: memFree=12647348/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=583660 CPUtime=24.23 cores=0-7
/proc/29950/stat : 29950 (python) S 29948 29950 29577 0 -1 4202496 80070 932 1 0 2400 23 0 0 25 0 9 0 279583180 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29950/statm: 145915 46672 1889 364 0 81812 0
[pid=29956] ppid=29950 vsize=436088 CPUtime=0.09 cores=0-7
/proc/29956/stat : 29956 (python) S 29950 29950 29577 0 -1 4202560 929 0 0 0 5 4 0 0 18 0 1 0 279585588 446554112 44950 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682255 0 0 16781312 514 3107712441304187140 0 0 17 1 0 0 0
/proc/29956/statm: 109022 44950 376 364 0 44940 0
[pid=29958] ppid=29956 vsize=59116 CPUtime=49.4 cores=0-7
/proc/29958/stat : 29958 (lingeling) R 29956 29958 29958 0 -1 4202496 19144 0 0 0 4937 3 0 0 25 0 1 0 279585589 60534784 13942 33554432000 4194304 4352236 140735614900400 18446744073709551615 4328392 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/29958/statm: 14779 13942 129 39 0 13859 0
[pid=29959] ppid=29950 vsize=446344 CPUtime=0.12 cores=0-7
/proc/29959/stat : 29959 (python) S 29950 29950 29577 0 -1 4202560 927 0 0 0 6 6 0 0 15 0 1 0 279585591 457056256 44948 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187140 0 0 17 1 0 0 0
/proc/29959/statm: 111586 44948 370 364 0 47501 0
[pid=29961] ppid=29959 vsize=188748 CPUtime=49.37 cores=0-7
/proc/29961/stat : 29961 (cryptominisat-2) R 29959 29961 29961 0 -1 4202496 49353 0 0 0 4930 7 0 0 25 0 1 0 279585592 193277952 35749 33554432000 4194304 4677096 140735302686400 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29961/statm: 47187 35749 391 118 0 42146 0
[pid=29962] ppid=29950 vsize=522136 CPUtime=0.1 cores=0-7
/proc/29962/stat : 29962 (python) S 29950 29950 29577 0 -1 4202560 780 0 0 0 5 5 0 0 18 0 1 0 279585594 534667264 45070 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187139 0 0 17 7 0 0 0
/proc/29962/statm: 130534 45070 371 364 0 66446 0
[pid=29964] ppid=29962 vsize=59000 CPUtime=49.34 cores=0-7
/proc/29964/stat : 29964 (lingeling) R 29962 29964 29964 0 -1 4202496 19105 0 0 0 4931 3 0 0 25 0 1 0 279585595 60416000 13914 33554432000 4194304 4352236 140735112968736 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/29964/statm: 14750 13914 129 39 0 13830 0
[pid=29965] ppid=29950 vsize=532392 CPUtime=0.1 cores=0-7
/proc/29965/stat : 29965 (python) S 29950 29950 29577 0 -1 4202560 796 0 0 0 4 6 0 0 18 0 1 0 279585598 545169408 45054 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187139 0 0 17 4 0 0 0
/proc/29965/statm: 133098 45054 371 364 0 69007 0
[pid=29967] ppid=29965 vsize=57748 CPUtime=49.3 cores=0-7
/proc/29967/stat : 29967 (lingeling) R 29965 29967 29967 0 -1 4202496 22439 0 0 0 4927 3 0 0 25 0 1 0 279585599 59133952 13628 33554432000 4194304 4352236 140734733836560 18446744073709551615 4235610 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/29967/statm: 14437 13628 129 39 0 13517 0
[pid=29968] ppid=29950 vsize=542648 CPUtime=0.09 cores=0-7
/proc/29968/stat : 29968 (python) S 29950 29950 29577 0 -1 4202560 802 0 0 0 4 5 0 0 18 0 1 0 279585601 555671552 45127 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187140 0 0 17 1 0 0 0
/proc/29968/statm: 135662 45127 371 364 0 71568 0
[pid=29970] ppid=29968 vsize=64832 CPUtime=48.54 cores=0-7
/proc/29970/stat : 29970 (SApperloT-base) R 29968 29970 29970 0 -1 4202496 15504 0 0 0 4847 7 0 0 25 0 1 0 279585602 66387968 15214 33554432000 134512640 135674940 4290607680 18446744073709551615 134557392 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29970/statm: 16208 15214 100 284 0 15922 0
[pid=29971] ppid=29950 vsize=552904 CPUtime=0.1 cores=0-7
/proc/29971/stat : 29971 (python) S 29950 29950 29577 0 -1 4202560 809 0 0 0 5 5 0 0 18 0 1 0 279585605 566173696 45131 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187137 0 0 17 0 0 0 0
/proc/29971/statm: 138226 45131 371 364 0 74129 0
[pid=29973] ppid=29971 vsize=88784 CPUtime=49.14 cores=0-7
/proc/29973/stat : 29973 (precosat) R 29971 29973 29973 0 -1 4202496 35101 0 0 0 4908 6 0 0 25 0 1 0 279585606 90914816 21976 33554432000 4194304 4890832 140734068043600 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/29973/statm: 22196 21976 86 171 0 22023 0
[pid=29974] ppid=29950 vsize=563160 CPUtime=0.1 cores=0-7
/proc/29974/stat : 29974 (python) S 29950 29950 29577 0 -1 4202560 823 0 0 0 6 4 0 0 15 0 1 0 279585609 576675840 45077 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187138 0 0 17 1 0 0 0
/proc/29974/statm: 140790 45077 371 364 0 76690 0
[pid=29976] ppid=29974 vsize=193852 CPUtime=49.07 cores=0-7
/proc/29976/stat : 29976 (cryptominisat-2) R 29974 29976 29976 0 -1 4202496 49555 0 0 0 4899 8 0 0 25 0 1 0 279585612 198504448 36050 33554432000 4194304 4677096 140733415637296 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29976/statm: 48463 36050 391 118 0 43422 0
[pid=29977] ppid=29950 vsize=573416 CPUtime=0.12 cores=0-7
/proc/29977/stat : 29977 (python) S 29950 29950 29577 0 -1 4202560 869 0 0 0 7 5 0 0 15 0 1 0 279585612 587177984 45156 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 4604332488955756804 0 0 17 1 0 0 0
/proc/29977/statm: 143354 45156 377 364 0 79251 0
[pid=29979] ppid=29977 vsize=192932 CPUtime=48.59 cores=0-7
/proc/29979/stat : 29979 (cryptominisat-2) R 29977 29979 29979 0 -1 4202496 47528 0 0 0 4852 7 0 0 25 0 1 0 279585613 197562368 36173 33554432000 4194304 4677096 140734540176544 18446744073709551615 4502837 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29979/statm: 48233 36173 391 118 0 43192 0
[pid=29950/tid=29957] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29957/stat : 29957 (python) S 29948 29950 29577 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 9 0 279585588 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 3 0 0 0
[pid=29950/tid=29960] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29960/stat : 29960 (python) S 29948 29950 29577 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 9 0 279585592 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 3 0 0 0
[pid=29950/tid=29963] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29963/stat : 29963 (python) S 29948 29950 29577 0 -1 4202560 76 932 0 0 0 0 0 0 19 0 9 0 279585595 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 0 0 0 0
[pid=29950/tid=29966] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29966/stat : 29966 (python) S 29948 29950 29577 0 -1 4202560 33 932 0 0 0 0 0 0 18 0 9 0 279585598 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29969] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29969/stat : 29969 (python) S 29948 29950 29577 0 -1 4202560 33 932 0 0 0 0 0 0 21 0 9 0 279585602 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29972] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29972/stat : 29972 (python) S 29948 29950 29577 0 -1 4202560 31 932 0 0 0 0 0 0 23 0 9 0 279585606 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29975] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29975/stat : 29975 (python) S 29948 29950 29577 0 -1 4202560 35 932 0 0 0 0 0 0 24 0 9 0 279585609 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 1 0 0 0
[pid=29950/tid=29978] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29978/stat : 29978 (python) S 29948 29950 29577 0 -1 4202560 34 932 0 0 0 0 0 0 25 0 9 0 279585613 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 417.8
Current children cumulated vsize (KiB) 5657760

[startup+73.711 s]
/proc/loadavg: 7.01 7.90 8.17 9/298 29981
/proc/meminfo: memFree=12647224/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=583660 CPUtime=24.23 cores=0-7
/proc/29950/stat : 29950 (python) S 29948 29950 29577 0 -1 4202496 80070 932 1 0 2400 23 0 0 25 0 9 0 279583180 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29950/statm: 145915 46672 1889 364 0 81812 0
[pid=29956] ppid=29950 vsize=436088 CPUtime=49.7 cores=0-7
/proc/29956/stat : 29956 (python) R 29950 29950 29577 0 -1 4202560 1036 19157 0 0 6 4 4957 3 15 0 1 0 279585588 446554112 44957 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660320689 0 0 16781312 514 0 0 0 17 1 0 0 0
/proc/29956/statm: 109022 44957 383 364 0 44940 0
[pid=29959] ppid=29950 vsize=446344 CPUtime=0.12 cores=0-7
/proc/29959/stat : 29959 (python) S 29950 29950 29577 0 -1 4202560 927 0 0 0 6 6 0 0 15 0 1 0 279585591 457056256 44948 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187140 0 0 17 1 0 0 0
/proc/29959/statm: 111586 44948 370 364 0 47501 0
[pid=29961] ppid=29959 vsize=188748 CPUtime=49.58 cores=0-7
/proc/29961/stat : 29961 (cryptominisat-2) R 29959 29961 29961 0 -1 4202496 49353 0 0 0 4951 7 0 0 25 0 1 0 279585592 193277952 35749 33554432000 4194304 4677096 140735302686400 18446744073709551615 4502912 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/29961/statm: 47187 35749 391 118 0 42146 0
[pid=29962] ppid=29950 vsize=522136 CPUtime=0.1 cores=0-7
/proc/29962/stat : 29962 (python) S 29950 29950 29577 0 -1 4202560 780 0 0 0 5 5 0 0 18 0 1 0 279585594 534667264 45070 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187139 0 0 17 7 0 0 0
/proc/29962/statm: 130534 45070 371 364 0 66446 0
[pid=29964] ppid=29962 vsize=59000 CPUtime=49.55 cores=0-7
/proc/29964/stat : 29964 (lingeling) R 29962 29964 29964 0 -1 4202496 19105 0 0 0 4952 3 0 0 25 0 1 0 279585595 60416000 13914 33554432000 4194304 4352236 140735112968736 18446744073709551615 4328299 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/29964/statm: 14750 13914 129 39 0 13830 0
[pid=29965] ppid=29950 vsize=532392 CPUtime=0.1 cores=0-7
/proc/29965/stat : 29965 (python) S 29950 29950 29577 0 -1 4202560 796 0 0 0 4 6 0 0 18 0 1 0 279585598 545169408 45054 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187139 0 0 17 4 0 0 0
/proc/29965/statm: 133098 45054 371 364 0 69007 0
[pid=29967] ppid=29965 vsize=57748 CPUtime=49.51 cores=0-7
/proc/29967/stat : 29967 (lingeling) R 29965 29967 29967 0 -1 4202496 22439 0 0 0 4948 3 0 0 25 0 1 0 279585599 59133952 13628 33554432000 4194304 4352236 140734733836560 18446744073709551615 4295420 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/29967/statm: 14437 13628 129 39 0 13517 0
[pid=29968] ppid=29950 vsize=542648 CPUtime=0.09 cores=0-7
/proc/29968/stat : 29968 (python) S 29950 29950 29577 0 -1 4202560 802 0 0 0 4 5 0 0 18 0 1 0 279585601 555671552 45127 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187140 0 0 17 1 0 0 0
/proc/29968/statm: 135662 45127 371 364 0 71568 0
[pid=29970] ppid=29968 vsize=64832 CPUtime=48.74 cores=0-7
/proc/29970/stat : 29970 (SApperloT-base) R 29968 29970 29970 0 -1 4202496 15504 0 0 0 4867 7 0 0 25 0 1 0 279585602 66387968 15214 33554432000 134512640 135674940 4290607680 18446744073709551615 134564065 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29970/statm: 16208 15214 100 284 0 15922 0
[pid=29971] ppid=29950 vsize=552904 CPUtime=0.1 cores=0-7
/proc/29971/stat : 29971 (python) S 29950 29950 29577 0 -1 4202560 809 0 0 0 5 5 0 0 18 0 1 0 279585605 566173696 45131 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187137 0 0 17 0 0 0 0
/proc/29971/statm: 138226 45131 371 364 0 74129 0
[pid=29973] ppid=29971 vsize=88784 CPUtime=49.35 cores=0-7
/proc/29973/stat : 29973 (precosat) R 29971 29973 29973 0 -1 4202496 35101 0 0 0 4929 6 0 0 25 0 1 0 279585606 90914816 21976 33554432000 4194304 4890832 140734068043600 18446744073709551615 4229264 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/29973/statm: 22196 21976 86 171 0 22023 0
[pid=29974] ppid=29950 vsize=563160 CPUtime=0.1 cores=0-7
/proc/29974/stat : 29974 (python) S 29950 29950 29577 0 -1 4202560 823 0 0 0 6 4 0 0 15 0 1 0 279585609 576675840 45077 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 3107712441304187138 0 0 17 1 0 0 0
/proc/29974/statm: 140790 45077 371 364 0 76690 0
[pid=29976] ppid=29974 vsize=193852 CPUtime=49.28 cores=0-7
/proc/29976/stat : 29976 (cryptominisat-2) R 29974 29976 29976 0 -1 4202496 49555 0 0 0 4920 8 0 0 25 0 1 0 279585612 198504448 36050 33554432000 4194304 4677096 140733415637296 18446744073709551615 4502921 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29976/statm: 48463 36050 391 118 0 43422 0
[pid=29977] ppid=29950 vsize=573416 CPUtime=0.12 cores=0-7
/proc/29977/stat : 29977 (python) S 29950 29950 29577 0 -1 4202560 869 0 0 0 7 5 0 0 15 0 1 0 279585612 587177984 45156 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660682310 0 0 16781312 514 4604332488955756804 0 0 17 1 0 0 0
/proc/29977/statm: 143354 45156 377 364 0 79251 0
[pid=29979] ppid=29977 vsize=192932 CPUtime=48.79 cores=0-7
/proc/29979/stat : 29979 (cryptominisat-2) R 29977 29979 29979 0 -1 4202496 47528 0 0 0 4872 7 0 0 25 0 1 0 279585613 197562368 36173 33554432000 4194304 4677096 140734540176544 18446744073709551615 4502926 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29979/statm: 48233 36173 391 118 0 43192 0
[pid=29950/tid=29957] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29957/stat : 29957 (python) S 29948 29950 29577 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 9 0 279585588 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 3 0 0 0
[pid=29950/tid=29960] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29960/stat : 29960 (python) S 29948 29950 29577 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 9 0 279585592 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 3 0 0 0
[pid=29950/tid=29963] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29963/stat : 29963 (python) S 29948 29950 29577 0 -1 4202560 76 932 0 0 0 0 0 0 19 0 9 0 279585595 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 0 0 0 0
[pid=29950/tid=29966] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29966/stat : 29966 (python) S 29948 29950 29577 0 -1 4202560 33 932 0 0 0 0 0 0 18 0 9 0 279585598 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29969] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29969/stat : 29969 (python) S 29948 29950 29577 0 -1 4202560 33 932 0 0 0 0 0 0 21 0 9 0 279585602 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29972] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29972/stat : 29972 (python) S 29948 29950 29577 0 -1 4202560 31 932 0 0 0 0 0 0 23 0 9 0 279585606 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 4 0 0 0
[pid=29950/tid=29975] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29975/stat : 29975 (python) S 29948 29950 29577 0 -1 4202560 35 932 0 0 0 0 0 0 24 0 9 0 279585609 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 1 0 0 0
[pid=29950/tid=29978] ppid=29948 vsize=583660 CPUtime=0 cores=0-7
/proc/29950/task/29978/stat : 29978 (python) S 29948 29950 29577 0 -1 4202560 34 932 0 0 0 0 0 0 25 0 9 0 279585613 597667840 46672 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 2 18446604453951457280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 419.46
Current children cumulated vsize (KiB) 5598644

[startup+73.8011 s]
/proc/loadavg: 7.01 7.90 8.17 9/298 29981
/proc/meminfo: memFree=12647224/32951124 swapFree=67111524/67111528
[pid=29950] ppid=29948 vsize=542580 CPUtime=419.96 cores=0-7
/proc/29950/stat : 29950 (python) R 29948 29950 29577 0 -1 4202496 84991 266322 1 0 2401 23 39474 98 17 0 2 0 279583180 555601920 46557 33554432000 4194304 5683644 140736292869856 18446744073709551615 268660317623 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29950/statm: 135645 46557 1874 364 0 71568 0
[pid=29950/tid=29957] ppid=29948 vsize=542580 CPUtime=395.72 cores=0-7
/proc/29950/task/29957/stat : 29957 (python) S 29948 29950 29577 0 -1 4202560 28 266322 0 0 0 0 39474 98 18 0 2 0 279585588 555601920 46557 33554432000 4194304 5683644 140736292869856 18446744073709551615 268672485809 0 0 16781312 0 18446604453951457280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 419.96
Current children cumulated vsize (KiB) 542580

Child status: 0
Real time (s): 73.847
CPU time (s): 420.025
CPU user time (s): 418.779
CPU system time (s): 1.24581
CPU usage (%): 568.778
Max. virtual memory (cumulated for all children) (KiB): 5705412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 418.779
system time used= 1.24581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368212
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= 1792
involuntary context switches= 2475

runsolver used 0.332949 second user time and 0.506922 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-02 18:31:59
IDJOB=3322523
IDBENCH=83436
IDSOLVER=1710
FILE ID=node107/3322523-1304353918
RUNJOBID= node107-1304348805-29591
PBS_JOBID= 13178668
Free space on /tmp= 72920 MiB

SOLVER NAME= borg-sat 11.03.02-industrial
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3322523-1304353918/watcher-3322523-1304353918 -o /tmp/evaluation-result-3322523-1304353918/solver-3322523-1304353918 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3322523-1304353918.cnf -seed 1693002575 -budget 40000 -cores 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1693002575

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13594664 kB
Buffers:        451260 kB
Cached:        3253848 kB
SwapCached:          4 kB
Active:       15670468 kB
Inactive:      3275908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13594664 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           47076 kB
Writeback:           0 kB
AnonPages:    15241380 kB
Mapped:          23868 kB
Slab:           297372 kB
PageTables:      46816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 48770412 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= 72888 MiB
End job on node107 at 2011-05-02 18:33:13