Trace number 3366000

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
SAT09 reference solver:glucose 1.0SAT 2583.51 2583.46

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
abb313GPIA-9-tr.used-as.sat04-321.cnf
MD5SUM6c3ea795f258ba82c81e44969c0c5fb4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.40479
Satisfiable
(Un)Satisfiability was proved
Number of variables14013
Number of clauses481761
Sum of the clauses size974385
Maximum clause length9
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2480205
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 51552

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.12	c ==============================================================================
0.00/0.12	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.12	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.12	c ==============================================================================
0.00/0.12	c |         0 |  479583   970004 |  143874       0        0     nan |  0.000 % |
0.00/0.98	c |         0 |  441393  1552529 |      --       0       --      -- |     --   | -3255/652988
0.00/0.98	c ==============================================================================
0.00/0.98	c Result  :   #vars: 11770   #clauses: 441393   #literals: 1552529
0.00/0.98	c CPU time:   0.959854 s
0.00/0.98	c ==============================================================================
1.19/1.24	c
1.19/1.24	c Starting glucose
1.19/1.24	c
1.19/1.24	
1.19/1.24	c This is glucose 1.0 --  based on MiniSAT (Many thanks to MiniSAT team)
1.19/1.24	
1.19/1.24	c ============================[ Problem Statistics ]=============================
1.19/1.24	c |                                                                             |
1.19/1.24	c |  Number of variables:  11770                                                |
1.19/1.24	c |  Number of clauses:    441393                                               |
1.23/1.38	c |  Parsing time:         0.13         s                                       |
2583.43/2583.41	c restarts              : 28
2583.43/2583.41	c nb ReduceDB           : 88
2583.43/2583.41	c nb learnts DL2        : 17
2583.43/2583.41	c nb learnts size 2     : 0
2583.43/2583.41	c nb learnts size 1     : 0
2583.43/2583.41	c conflicts             : 5642380        (2185 /sec)
2583.43/2583.41	c decisions             : 6838137        (1.92 % random) (2648 /sec)
2583.43/2583.41	c propagations          : 917152499      (355191 /sec)
2583.43/2583.41	c conflict literals     : 297945586      (27.00 % deleted)
2583.43/2583.41	c Memory used           : 101.82 MB
2583.43/2583.41	c CPU time              : 2582.14 s
2583.43/2583.41	
2583.43/2583.45	s SATISFIABLE
2583.43/2583.45	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 -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 10429 -10430 -10431 -10432 -10433 10434 -10435 -10436 -10437 -10438 -10439 -10440 -10441 -10442 -10443 10444 -10445 -10446 -10447 -10448 -10449 -10450 -10451 -10452 -10453 10454 -10455 -10456 -10457 -10458 -10459 -10460 -10461 -10462 -10463 -10464 -10465 -10466 10467 10468 -10469 -10470 -10471 -10472 -10473 -10474 -10475 -10476 -10477 10478 -10479 -10480 -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 10490 -10491 -10492 -10493 -10494 -10495 -10496 -10497 10498 -10499 -10500 -10501 -10502 -10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510 -10511 10512 -10513 -10514 -10515 -10516 -10517 10518 -10519 -10520 -10521 -10522 -10523 -10524 -10525 -10526 -10527 10528 -10529 -10530 -10531 -10532 10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540 10541 -10542 -10543 -10544 -10545 -10546 -10547 -10548 -10549 -10550 -10551 -10552 -10553 -10554 -10555 -10556 10557 -10558 -10559 -10560 -10561 -10562 10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570 -10571 -10572 10573 -10574 -10575 -10576 -10577 10578 -10579 -10580 -10581 -10582 -10583 -10584 -10585 -10586 -10587 10588 -10589 -10590 -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600 10601 -10602 -10603 -10604 -10605 -10606 10607 -10608 -10609 -10610 -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 10619 -10620 -10621 -10622 10623 -10624 -10625 -10626 -10627 -10628 -10629 -10630 10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640 -10641 -10642 10643 -10644 -10645 -10646 -10647 -10648 -10649 -10650 -10651 -10652 -10653 10654 -10655 -10656 -10657 -10658 -10659 -10660 -10661 -10662 -10663 10664 -10665 -10666 -10667 -10668 -10669 -10670 10671 -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680 10681 -10682 -10683 -10684 -10685 10686 -10687 -10688 -10689 -10690 -10691 -10692 -10693 10694 -10695 -10696 -10697 -10698 -10699 -10700 -10701 10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710 -10711 -10712 -10713 -10714 -10715 -10716 -10717 10718 -10719 -10720 -10721 -10722 -10723 -10724 10725 -10726 -10727 -10728 -10729 -10730 -10731 -10732 -10733 -10734 10735 -10736 -10737 -10738 -10739 10740 -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 10750 -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 10760 -10761 -10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770 -10771 10772 -10773 10774 -10775 -10776 -10777 -10778 -10779 -10780 -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 10790 -10791 -10792 -10793 10794 -10795 -10796 -10797 -10798 -10799 -10800 -10801 10802 -10803 -10804 -10805 -10806 -10807 -10808 -10809 10810 -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820 -10821 -10822 -10823 10824 -10825 -10826 -10827 -10828 -10829 -10830 -10831 -10832 -10833 10834 -10835 -10836 -10837 -10838 -10839 -10840 -10841 -10842 -10843 10844 -10845 -10846 -10847 10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855 -10856 -10857 10858 -10859 -10860 -10861 -10862 -10863 -10864 -10865 -10866 -10867 10868 -10869 -10870 -10871 -10872 -10873 -10874 -10875 -10876 -10877 -10878 10879 -10880 -10881 -10882 -10883 -10884 -10885 -10886 10887 -10888 -10889 -10890 -10891 -10892 -10893 -10894 -10895 -10896 -10897 10898 -10899 -10900 -10901 10902 -10903 -10904 -10905 -10906 -10907 -10908 -10909 10910 -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920 -10921 10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930 -10931 10932 -10933 -10934 -10935 -10936 -10937 -10938 -10939 -10940 -10941 -10942 -10943 10944 -10945 -10946 -10947 -10948 -10949 -10950 -10951 10952 -10953 10954 -10955 -10956 -10957 -10958 -10959 -10960 -10961 -10962 -10963 10964 -10965 -10966 -10967 -10968 -10969 -10970 -10971 -10972 -10973 -10974 -10975 10976 -10977 -10978 -10979 -10980 -10981 -10982 -10983 10984 -10985 -10986 -10987 -10988 -10989 -10990 -10991 -10992 -10993 -10994 -10995 -10996 10997 -10998 -10999 -11000 11001 -11002 -11003 -11004 -11005 -11006 -11007 -11008 11009 -11010 -11011 -11012 -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020 11021 -11022 -11023 -11024 -11025 -11026 -11027 -11028 -11029 -11030 -11031 11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040 -11041 11042 -11043 -11044 -11045 11046 -11047 -11048 -11049 -11050 -11051 -11052 -11053 11054 -11055 -11056 -11057 -11058 -11059 -11060 -11061 11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070 -11071 -11072 -11073 -11074 -11075 11076 -11077 -11078 -11079 -11080 -11081 -11082 -11083 -11084 -11085 11086 -11087 -11088 -11089 -11090 -11091 -11092 -11093 -11094 -11095 11096 -11097 -11098 -11099 -11100 -11101 11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 11110 -11111 -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120 -11121 -11122 -11123 11124 -11125 11126 -11127 -11128 -11129 -11130 -11131 -11132 -11133 -11134 -11135 -11136 -11137 -11138 -11139 -11140 11141 -11142 -11143 -11144 -11145 -11146 11147 -11148 -11149 -11150 -11151 -11152 -11153 -11154 -11155 -11156 -11157 11158 -11159 -11160 11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170 -11171 -11172 -11173 -11174 -11175 -11176 -11177 11178 -11179 -11180 -11181 -11182 -11183 -11184 -11185 11186 -11187 -11188 -11189 11190 -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 11200 -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 11210 -11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220 11221 -11222 -11223 -11224 -11225 -11226 -11227 -11228 11229 -11230 -11231 -11232 -11233 -11234 -11235 -11236 -11237 -11238 -11239 11240 -11241 -11242 -11243 -11244 -11245 11246 -11247 -11248 -11249 -11250 -11251 -11252 -11253 11254 -11255 -11256 -11257 -11258 -11259 -11260 -11261 -11262 -11263 -11264 -11265 -11266 -11267 11268 -11269 11270 -11271 -11272 -11273 -11274 -11275 -11276 -11277 -11278 -11279 -11280 -11281 -11282 -11283 -11284 11285 -11286 -11287 -11288 -11289 -11290 -11291 -11292 11293 -11294 -11295 -11296 11297 -11298 -11299 -11300 -11301 -11302 -11303 -11304 11305 -11306 -11307 -11308 -11309 -11310 -11311 -11312 -11313 -11314 -11315 -11316 11317 -11318 -11319 -11320 -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 11330 -11331 -11332 -11333 -11334 -11335 -11336 -11337 11338 -11339 -11340 -11341 11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351 11352 -11353 -11354 -11355 -11356 -11357 -11358 -11359 -11360 -11361 -11362 11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370 -11371 -11372 -11373 -11374 11375 -11376 -11377 -11378 -11379 -11380 -11381 -11382 11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390 11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 11399 -11400 -11401 -11402 -11403 11404 -11405 -11406 -11407 -11408 -11409 -11410 -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419 11420 -11421 -11422 -11423 11424 -11425 -11426 -11427 -11428 -11429 -11430 -11431 11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440 -11441 -11442 -11443 11444 -11445 -11446 -11447 -11448 -11449 -11450 -11451 -11452 -11453 11454 -11455 -11456 -11457 -11458 -11459 -11460 -11461 -11462 -11463 -11464 -11465 11466 -11467 -11468 -11469 -11470 -11471 -11472 -11473 11474 -11475 -11476 -11477 -11478 -11479 11480 -11481 -11482 -11483 -11484 -11485 -11486 -11487 -11488 -11489 -11490 11491 -11492 -11493 11494 -11495 -11496 -11497 -11498 -11499 -11500 -11501 -11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510 11511 -11512 -11513 -11514 -11515 -11516 -11517 -11518 11519 -11520 -11521 -11522 -11523 -11524 -11525 -11526 11527 -11528 -11529 -11530 11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 11539 -11540 -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550 11551 -11552 -11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560 -11561 -11562 -11563 11564 -11565 11566 -11567 -11568 -11569 -11570 -11571 -11572 -11573 -11574 -11575 -11576 -11577 11578 -11579 -11580 -11581 -11582 -11583 -11584 -11585 11586 -11587 -11588 -11589 -11590 -11591 -11592 -11593 -11594 -11595 -11596 11597 -11598 -11599 -11600 -11601 -11602 -11603 -11604 -11605 -11606 -11607 -11608 11609 -11610 11611 -11612 -11613 -11614 -11615 -11616 -11617 -11618 -11619 -11620 -11621 -11622 -11623 -11624 -11625 -11626 -11627 11628 -11629 -11630 -11631 -11632 -11633 -11634 11635 -11636 -11637 -11638 -11639 11640 -11641 -11642 -11643 -11644 -11645 -11646 -11647 -11648 -11649 -11650 -11651 -11652 -11653 11654 -11655 -11656 -11657 -11658 -11659 -11660 11661 -11662 -11663 -11664 -11665 -11666 -11667 -11668 -11669 -11670 -11671 -11672 11673 -11674 -11675 -11676 -11677 11678 -11679 -11680 -11681 -11682 -11683 11684 -11685 -11686 -11687 -11688 -11689 -11690 -11691 -11692 -11693 -11694 -11695 -11696 -11697 -11698 11699 -11700 -11701 -11702 -11703 -11704 -11705 -11706 11707 -11708 -11709 -11710 11711 -11712 -11713 -11714 -11715 -11716 -11717 -11718 -11719 -11720 11721 -11722 -11723 -11724 -11725 -11726 -11727 -11728 -11729 -11730 -11731 11732 -11733 -11734 -11735 -11736 -11737 -11738 -11739 -11740 -11741 -11742 -11743 11744 -11745 11746 -11747 -11748 -11749 -11750 -11751 -11752 -11753 -11754 -11755 -11756 -11757 11758 -11759 -11760 -11761 -11762 -11763 -11764 -11765 11766 -11767 -11768 -11769 -11770 -11771 -11772 -11773 -11774 -11775 -11776 11777 -11778 -11779 -11780 -11781 -11782 -11783 -11784 -11785 -11786 -11787 -11788 11789 -11790 -11791 -11792 -11793 -11794 -11795 -11796 -11797 -11798 11799 -11800 -11801 -11802 -11803 11804 -11805 -11806 -11807 -11808 -11809 -11810 -11811 -11812 -11813 -11814 11815 -11816 -11817 -11818 -11819 -11820 11821 -11822 -11823 -11824 -11825 -11826 -11827 -11828 -11829 -11830 -11831 -11832 -11833 11834 -11835 -11836 -11837 -11838 -11839 -11840 -11841 -11842 -11843 11844 -11845 -11846 -11847 -11848 -11849 11850 -11851 -11852 -11853 -11854 -11855 -11856 11857 -11858 -11859 -11860 -11861 -11862 11863 -11864 -11865 -11866 -11867 -11868 -11869 -11870 -11871 -11872 -11873 -11874 -11875 -11876 -11877 -11878 11879 -11880 11881 -11882 -11883 -11884 -11885 -11886 -11887 -11888 -11889 -11890 -11891 -11892 -11893 -11894 -11895 -11896 -11897 11898 -11899 -11900 -11901 -11902 -11903 -11904 11905 -11906 -11907 -11908 -11909 11910 -11911 -11912 -11913 -11914 -11915 -11916 -11917 -11918 -11919 -11920 -11921 -11922 -11923 11924 -11925 -11926 -11927 -11928 -11929 -11930 -11931 -11932 -11933 11934 -11935 -11936 -11937 -11938 11939 -11940 -11941 -11942 -11943 -11944 -11945 -11946 -11947 -11948 -11949 11950 -11951 -11952 -11953 -11954 -11955 11956 -11957 -11958 -11959 -11960 -11961 -11962 -11963 -11964 -11965 -11966 -11967 -11968 11969 -11970 -11971 -11972 -11973 -11974 -11975 -11976 11977 -11978 -11979 -11980 -11981 11982 -11983 -11984 -11985 -11986 -11987 -11988 -11989 -11990 -11991 -11992 11993 -11994 -11995 -11996 -11997 11998 -11999 -12000 -12001 -12002 -12003 -12004 -12005 -12006 -12007 -12008 -12009 -12010 -12011 -12012 -12013 12014 -12015 -12016 -12017 -12018 -12019 -12020 -12021 12022 -12023 -12024 -12025 -12026 -12027 12028 -12029 -12030 -12031 -12032 -12033 12034 -12035 -12036 -12037 -12038 -12039 -12040 -12041 -12042 -12043 -12044 -12045 -12046 12047 -12048 -12049 -12050 -12051 -12052 -12053 -12054 -12055 -12056 -12057 -12058 12059 -12060 -12061 -12062 -12063 -12064 -12065 -12066 12067 -12068 -12069 -12070 -12071 12072 -12073 -12074 -12075 -12076 -12077 -12078 -12079 -12080 -12081 -12082 -12083 -12084 -12085 -12086 12087 -12088 12089 -12090 -12091 -12092 -12093 -12094 -12095 -12096 -12097 -12098 -12099 -12100 -12101 -12102 -12103 12104 -12105 -12106 -12107 -12108 -12109 -12110 -12111 -12112 -12113 12114 -12115 -12116 -12117 -12118 -12119 12120 -12121 -12122 -12123 -12124 -12125 -12126 -12127 12128 -12129 -12130 -12131 -12132 12133 -12134 -12135 -12136 -12137 -12138 -12139 -12140 -12141 -12142 -12143 -12144 -12145 -12146 -12147 -12148 12149 -12150 -12151 -12152 -12153 -12154 -12155 12156 -12157 -12158 -12159 -12160 -12161 -12162 -12163 -12164 -12165 -12166 -12167 12168 -12169 -12170 -12171 -12172 12173 -12174 -12175 -12176 -12177 -12178 12179 -12180 -12181 -12182 -12183 -12184 -12185 -12186 -12187 -12188 -12189 -12190 -12191 -12192 -12193 12194 -12195 -12196 -12197 12198 -12199 -12200 -12201 -12202 -12203 -12204 -12205 -12206 -12207 -12208 -12209 12210 -12211 -12212 -12213 -12214 -12215 -12216 12217 -12218 -12219 -12220 -12221 -12222 12223 -12224 -12225 -12226 -12227 -12228 -12229 -12230 -12231 -12232 -12233 -12234 -12235 -12236 -12237 12238 -12239 -12240 -12241 -12242 -12243 -12244 -12245 12246 -12247 -12248 -12249 -12250 -12251 12252 -12253 -12254 -12255 -12256 -12257 -12258 -12259 -12260 -12261 -12262 12263 -12264 -12265 -12266 -12267 12268 -12269 -12270 -12271 -12272 -12273 -12274 -12275 -12276 -12277 -12278 -12279 -12280 -12281 -12282 -12283 12284 -12285 -12286 -12287 -12288 12289 -12290 -12291 -12292 -12293 -12294 -12295 12296 -12297 -12298 -12299 -12300 -12301 -12302 -12303 -12304 -12305 -12306 -12307 -12308 12309 -12310 -12311 -12312 -12313 -12314 12315 -12316 -12317 -12318 -12319 -12320 -12321 -12322 -12323 -12324 -12325 -12326 -12327 12328 -12329 -12330 -12331 -12332 -12333 -12334 12335 -12336 -12337 -12338 -12339 12340 -12341 -12342 -12343 -12344 -12345 -12346 -12347 -12348 -12349 -12350 -12351 -12352 -12353 -12354 -12355 -12356 12357 -12358 -12359 -12360 -12361 -12362 12363 -12364 -12365 -12366 -12367 -12368 -12369 -12370 -12371 -12372 12373 -12374 -12375 -12376 -12377 -12378 -12379 -12380 -12381 12382 -12383 -12384 -12385 -12386 -12387 12388 -12389 -12390 -12391 -12392 -12393 12394 -12395 -12396 -12397 -12398 -12399 -12400 -12401 -12402 -12403 -12404 -12405 -12406 12407 -12408 -12409 -12410 -12411 -12412 -12413 -12414 -12415 -12416 -12417 -12418 12419 -12420 -12421 -12422 -12423 12424 -12425 -12426 -12427 -12428 -12429 -12430 12431 -12432 -12433 -12434 -12435 -12436 -12437 -12438 -12439 -12440 -12441 -12442 -12443 12444 -12445 -12446 -12447 -12448 -12449 12450 -12451 -12452 -12453 -12454 -12455 -12456 -12457 -12458 -12459 -12460 -12461 -12462 -12463 12464 -12465 12466 -12467 -12468 -12469 -12470 -12471 -12472 -12473 -12474 -12475 -12476 -12477 -12478 12479 -12480 -12481 -12482 -12483 -12484 -12485 -12486 -12487 -12488 -12489 -12490 -12491 12492 -12493 12494 -12495 -12496 -12497 -12498 -12499 -12500 -12501 -12502 -12503 -12504 -12505 -12506 -12507 -12508 12509 -12510 12511 -12512 -12513 -12514 -12515 -12516 -12517 -12518 -12519 -12520 -12521 -12522 -12523 12524 -12525 -12526 -12527 -12528 -12529 12530 -12531 -12532 -12533 -12534 -12535 -12536 -12537 -12538 -12539 -12540 -12541 -12542 -12543 -12544 -12545 12546 -12547 -12548 -12549 -12550 -12551 -12552 -12553 12554 -12555 12556 -12557 -12558 -12559 -12560 -12561 -12562 -12563 -12564 -12565 -12566 12567 -12568 -12569 -12570 -12571 -12572 -12573 -12574 -12575 -12576 -12577 -12578 -12579 12580 -12581 -12582 -12583 12584 -12585 -12586 -12587 -12588 -12589 -12590 -12591 -12592 -12593 -12594 -12595 -12596 -12597 -12598 12599 -12600 -12601 -12602 -12603 -12604 -12605 -12606 12607 -12608 -12609 -12610 -12611 12612 -12613 -12614 -12615 -12616 -12617 -12618 -12619 -12620 -12621 -12622 -12623 -12624 -12625 -12626 12627 -12628 12629 -12630 -12631 -12632 -12633 -12634 -12635 -12636 -12637 -12638 -12639 -12640 -12641 -12642 -12643 12644 -12645 -12646 -12647 -12648 -12649 12650 -12651 -12652 -12653 -12654 12655 -12656 -12657 -12658 -12659 -12660 -12661 -12662 -12663 -12664 -12665 -12666 -12667 -12668 -12669 -12670 -12671 12672 -12673 -12674 -12675 -12676 -12677 12678 -12679 -12680 -12681 -12682 -12683 -12684 -12685 -12686 -12687 -12688 12689 -12690 12691 -12692 -12693 -12694 -12695 -12696 -12697 -12698 -12699 -12700 -12701 -12702 -12703 12704 -12705 -12706 -12707 -12708 -12709 -12710 -12711 -12712 -12713 -12714 -12715 -12716 12717 -12718 12719 -12720 -12721 -12722 -12723 -12724 -12725 -12726 -12727 -12728 -12729 -12730 -12731 -12732 -12733 12734 -12735 -12736 -12737 -12738 12739 -12740 -12741 -12742 -12743 -12744 -12745 -12746 -12747 -12748 -12749 12750 -12751 -12752 -12753 -12754 -12755 12756 -12757 -12758 -12759 -12760 -12761 -12762 -12763 -12764 -12765 -12766 -12767 -12768 12769 -12770 -12771 -12772 -12773 -12774 -12775 -12776 -12777 -12778 12779 -12780 -12781 -12782 -12783 -12784 -12785 -12786 -12787 -12788 12789 -12790 -12791 -12792 -12793 -12794 12795 -12796 -12797 -12798 -12799 -12800 -12801 -12802 -12803 -12804 12805 -12806 -12807 -12808 -12809 -12810 -12811 12812 -12813 -12814 -12815 -12816 -12817 -12818 -12819 -12820 -12821 -12822 -12823 12824 -12825 -12826 -12827 -12828 -12829 -12830 12831 -12832 -12833 -12834 -12835 -12836 -12837 -12838 12839 -12840 -12841 -12842 -12843 -12844 12845 -12846 -12847 -12848 -12849 -12850 -12851 -12852 -12853 -12854 -12855 -12856 -12857 -12858 -12859 -12860 12861 -12862 -12863 -12864 -12865 -12866 -12867 -12868 12869 -12870 -12871 -12872 -12873 12874 -12875 -12876 -12877 -12878 -12879 -12880 -12881 -12882 -12883 -12884 12885 -12886 -12887 -12888 -12889 -12890 12891 -12892 -12893 -12894 -12895 -12896 -12897 -12898 -12899 -12900 -12901 -12902 -12903 12904 -12905 -12906 12907 -12908 -12909 -12910 -12911 -12912 -12913 -12914 -12915 -12916 -12917 12918 -12919 -12920 -12921 -12922 -12923 -12924 -12925 -12926 -12927 -12928 -12929 -12930 -12931 -12932 12933 -12934 -12935 -12936 12937 -12938 -12939 -12940 -12941 -12942 -12943 -12944 -12945 -12946 12947 -12948 -12949 -12950 -12951 -12952 -12953 -12954 -12955 -12956 -12957 -12958 12959 -12960 -12961 12962 -12963 -12964 -12965 -12966 -12967 -12968 -12969 -12970 -12971 -12972 -12973 -12974 -12975 12976 -12977 -12978 -12979 -12980 -12981 -12982 12983 -12984 -12985 -12986 -12987 -12988 -12989 -12990 12991 -12992 -12993 -12994 -12995 -12996 12997 -12998 -12999 -13000 -13001 -13002 -13003 -13004 -13005 -13006 13007 -13008 -13009 -13010 -13011 -13012 -13013 -13014 -13015 -13016 -13017 -13018 -13019 -13020 -13021 -13022 13023 -13024 -13025 -13026 -13027 -13028 13029 -13030 -13031 -13032 -13033 -13034 -13035 -13036 13037 -13038 -13039 -13040 -13041 13042 -13043 -13044 -13045 -13046 -13047 -13048 -13049 -13050 -13051 -13052 -13053 -13054 -13055 13056 -13057 -13058 -13059 -13060 -13061 13062 -13063 -13064 -13065 -13066 -13067 -13068 -13069 -13070 -13071 -13072 -13073 -13074 13075 -13076 -13077 -13078 13079 -13080 -13081 -13082 -13083 -13084 -13085 -13086 -13087 -13088 -13089 -13090 -13091 -13092 -13093 13094 -13095 -13096 -13097 -13098 -13099 -13100 -13101 -13102 -13103 13104 -13105 -13106 -13107 -13108 -13109 13110 -13111 -13112 -13113 -13114 -13115 -13116 -13117 -13118 -13119 13120 -13121 -13122 -13123 -13124 -13125 -13126 13127 -13128 -13129 -13130 -13131 13132 -13133 -13134 -13135 -13136 -13137 -13138 -13139 -13140 -13141 -13142 13143 -13144 -13145 -13146 -13147 -13148 -13149 -13150 -13151 -13152 -13153 -13154 -13155 -13156 -13157 13158 -13159 -13160 -13161 13162 -13163 -13164 -13165 -13166 -13167 -13168 -13169 -13170 -13171 13172 -13173 -13174 -13175 -13176 13177 -13178 -13179 -13180 -13181 -13182 -13183 -13184 -13185 -13186 -13187 -13188 -13189 -13190 -13191 13192 -13193 -13194 -13195 13196 -13197 -13198 -13199 -13200 -13201 -13202 -13203 -13204 -13205 -13206 -13207 -13208 -13209 -13210 -13211 13212 -13213 -13214 13215 -13216 -13217 -13218 -13219 -13220 -13221 13222 -13223 -13224 -13225 -13226 -13227 -13228 -13229 -13230 -13231 -13232 -13233 13234 -13235 -13236 -13237 -13238 -13239 -13240 13241 -13242 -13243 -13244 -13245 -13246 -13247 -13248 -13249 -13250 -13251 -13252 -13253 13254 -13255 -13256 -13257 -13258 -13259 13260 -13261 -13262 -13263 -13264 -13265 -13266 13267 -13268 -13269 -13270 -13271 -13272 -13273 -13274 -13275 -13276 13277 -13278 -13279 -13280 -13281 -13282 -13283 -13284 -13285 -13286 -13287 -13288 -13289 -13290 13291 -13292 -13293 -13294 -13295 -13296 -13297 13298 -13299 -13300 -13301 -13302 -13303 -13304 -13305 13306 -13307 -13308 -13309 -13310 -13311 -13312 -13313 -13314 -13315 -13316 13317 -13318 -13319 -13320 -13321 -13322 -13323 -13324 -13325 -13326 13327 -13328 -13329 -13330 13331 -13332 -13333 -13334 -13335 -13336 -13337 -13338 -13339 -13340 -13341 -13342 -13343 -13344 -13345 -13346 13347 -13348 -13349 13350 -13351 -13352 -13353 -13354 -13355 -13356 13357 -13358 -13359 -13360 -13361 -13362 -13363 -13364 -13365 -13366 -13367 -13368 -13369 -13370 -13371 -13372 -13373 13374 -13375 -13376 -13377 13378 -13379 -13380 -13381 -13382 -13383 -13384 -13385 -13386 -13387 -13388 -13389 -13390 13391 -13392 -13393 -13394 -13395 -13396 -13397 -13398 13399 -13400 -13401 13402 -13403 -13404 -13405 -13406 -13407 -13408 -13409 -13410 -13411 -13412 -13413 -13414 -13415 -13416 -13417 -13418 13419 -13420 -13421 -13422 13423 -13424 -13425 -13426 -13427 -13428 -13429 -13430 -13431 -13432 -13433 -13434 -13435 13436 -13437 -13438 -13439 -13440 -13441 -13442 -13443 13444 -13445 -13446 -13447 13448 -13449 -13450 -13451 -13452 -13453 -13454 -13455 13456 -13457 -13458 -13459 -13460 -13461 -13462 -13463 -13464 -13465 -13466 -13467 -13468 13469 -13470 -13471 -13472 -13473 -13474 -13475 13476 -13477 -13478 -13479 -13480 -13481 -13482 -13483 -13484 -13485 -13486 -13487 -13488 -13489 13490 -13491 -13492 -13493 -13494 -13495 -13496 -13497 13498 -13499 -13500 13501 -13502 -13503 -13504 -13505 -13506 -13507 -13508 -13509 -13510 13511 -13512 -13513 -13514 -13515 -13516 -13517 -13518 -13519 -13520 -13521 -13522 -13523 -13524 -13525 -13526 13527 -13528 -13529 -13530 -13531 -13532 13533 -13534 -13535 -13536 -13537 -13538 -13539 -13540 13541 -13542 -13543 -13544 -13545 13546 -13547 -13548 -13549 -13550 -13551 -13552 -13553 -13554 -13555 -13556 -13557 13558 -13559 -13560 -13561 -13562 -13563 -13564 13565 -13566 -13567 -13568 -13569 -13570 -13571 -13572 -13573 -13574 -13575 -13576 -13577 13578 -13579 -13580 -13581 -13582 -13583 13584 -13585 -13586 -13587 -13588 -13589 -13590 13591 -13592 -13593 -13594 -13595 -13596 -13597 -13598 -13599 -13600 -13601 -13602 -13603 -13604 -13605 -13606 -13607 13608 -13609 -13610 -13611 13612 -13613 -13614 -13615 -13616 -13617 -13618 -13619 -13620 -13621 -13622 13623 -13624 -13625 -13626 -13627 -13628 -13629 -13630 -13631 -13632 13633 -13634 -13635 13636 -13637 -13638 -13639 -13640 -13641 -13642 -13643 -13644 -13645 -13646 -13647 -13648 -13649 13650 -13651 -13652 -13653 -13654 -13655 -13656 -13657 13658 -13659 -13660 -13661 -13662 -13663 13664 -13665 -13666 -13667 -13668 -13669 -13670 -13671 13672 -13673 -13674 -13675 -13676 -13677 -13678 -13679 -13680 -13681 -13682 -13683 -13684 -13685 13686 -13687 -13688 -13689 -13690 -13691 -13692 -13693 13694 -13695 -13696 -13697 -13698 -13699 -13700 -13701 -13702 -13703 -13704 -13705 -13706 13707 -13708 -13709 -13710 13711 -13712 -13713 -13714 -13715 -13716 13717 -13718 -13719 -13720 -13721 -13722 -13723 -13724 -13725 -13726 -13727 -13728 -13729 -13730 -13731 -13732 -13733 13734 -13735 -13736 -13737 13738 -13739 -13740 -13741 -13742 -13743 -13744 -13745 -13746 -13747 -13748 13749 -13750 -13751 -13752 -13753 -13754 -13755 -13756 -13757 -13758 13759 -13760 -13761 -13762 13763 -13764 -13765 -13766 -13767 -13768 -13769 -13770 13771 -13772 -13773 -13774 -13775 -13776 -13777 -13778 -13779 -13780 -13781 -13782 -13783 -13784 13785 -13786 -13787 -13788 -13789 -13790 -13791 -13792 13793 -13794 -13795 -13796 -13797 -13798 13799 -13800 -13801 -13802 -13803 -13804 -13805 -13806 13807 -13808 -13809 -13810 -13811 -13812 -13813 -13814 -13815 -13816 -13817 -13818 -13819 -13820 13821 -13822 -13823 -13824 -13825 -13826 -13827 -13828 13829 -13830 -13831 -13832 -13833 -13834 13835 -13836 -13837 -13838 -13839 -13840 -13841 -13842 -13843 -13844 -13845 -13846 -13847 -13848 -13849 -13850 13851 -13852 -13853 -13854 13855 -13856 -13857 -13858 -13859 -13860 13861 -13862 -13863 -13864 -13865 -13866 -13867 -13868 -13869 -13870 -13871 -13872 -13873 13874 -13875 -13876 -13877 -13878 -13879 -13880 13881 -13882 -13883 -13884 -13885 -13886 -13887 -13888 -13889 -13890 -13891 -13892 -13893 -13894 13895 -13896 -13897 -13898 -13899 -13900 -13901 -13902 13903 -13904 -13905 13906 -13907 -13908 -13909 -13910 -13911 -13912 -13913 -13914 -13915 -13916 -13917 -13918 -13919 13920 -13921 -13922 -13923 -13924 -13925 -13926 -13927 13928 -13929 -13930 -13931 -13932 -13933 -13934 -13935 -13936 -13937 -13938 -13939 -13940 13941 -13942 -13943 -13944 13945 -13946 -13947 -13948 -13949 -13950 13951 -13952 -13953 -13954 -13955 -13956 -13957 -13958 -13959 -13960 -13961 -13962 -13963 -13964 13965 -13966 -13967 -13968 -13969 -13970 -13971 -13972 13973 -13974 -13975 -13976 -13977 -13978 13979 -13980 -13981 -13982 -13983 -13984 -13985 -13986 -13987 -13988 -13989 -13990 -13991 -13992 -13993 -13994 13995 -13996 -13997 -13998 13999 -14000 -14001 -14002 -14003 -14004 14005 -14006 -14007 -14008 -14009 -14010 -14011 -14012 -14013 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366000-1305325335/watcher-3366000-1305325335 -o /tmp/evaluation-result-3366000-1305325335/solver-3366000-1305325335 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3366000-1305325335.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 2/350 19663
/proc/meminfo: memFree=14768164/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 624949655 8912896 252 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19663/statm: 2176 252 211 178 0 69 0

[startup+0.023125 s]
/proc/loadavg: 2.02 2.02 2.00 2/350 19663
/proc/meminfo: memFree=14768164/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 624949655 8912896 252 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19663/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.101138 s]
/proc/loadavg: 2.02 2.02 2.00 2/350 19663
/proc/meminfo: memFree=14768164/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 624949655 8912896 252 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19663/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301095 s]
/proc/loadavg: 2.02 2.02 2.00 2/350 19663
/proc/meminfo: memFree=14768164/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 624949655 8912896 252 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19663/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.701026 s]
/proc/loadavg: 2.02 2.02 2.00 2/350 19663
/proc/meminfo: memFree=14768164/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 624949655 8912896 252 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19663/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50083 s]
/proc/loadavg: 2.02 2.02 2.00 3/352 19665
/proc/meminfo: memFree=14725492/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 8704

[startup+3.10062 s]
/proc/loadavg: 2.02 2.02 2.00 3/352 19666
/proc/meminfo: memFree=14725112/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=31896 CPUtime=1.84 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 7862 0 0 0 184 0 0 0 25 0 1 0 624949780 32661504 7796 33554432000 134512640 135217611 4294761680 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 7974 7796 77 173 0 7799 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 40600

[startup+6.30105 s]
/proc/loadavg: 2.02 2.02 2.00 3/352 19666
/proc/meminfo: memFree=14719292/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=35320 CPUtime=5.05 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 8726 0 0 0 504 1 0 0 25 0 1 0 624949780 36167680 8660 33554432000 134512640 135217611 4294761680 18446744073709551615 134533046 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 8830 8660 77 173 0 8655 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44024

[startup+12.7009 s]
/proc/loadavg: 2.01 2.02 2.00 3/352 19666
/proc/meminfo: memFree=14715072/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=39248 CPUtime=11.44 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 9678 0 0 0 1143 1 0 0 25 0 1 0 624949780 40189952 9612 33554432000 134512640 135217611 4294761680 18446744073709551615 134533138 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 9812 9612 77 173 0 9637 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 47952

[startup+25.5007 s]
/proc/loadavg: 2.01 2.02 2.00 3/352 19666
/proc/meminfo: memFree=14711964/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=42340 CPUtime=24.24 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 10443 0 0 0 2423 1 0 0 25 0 1 0 624949780 43356160 10377 33554432000 134512640 135217611 4294761680 18446744073709551615 134532985 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 10585 10377 77 173 0 10410 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 51044

[startup+51.1012 s]
/proc/loadavg: 2.01 2.01 2.00 3/352 19667
/proc/meminfo: memFree=14709004/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=45052 CPUtime=49.84 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 11109 0 0 0 4983 1 0 0 25 0 1 0 624949780 46133248 11043 33554432000 134512640 135217611 4294761680 18446744073709551615 134533142 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 11263 11043 77 173 0 11088 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53756

[startup+102.313 s]
/proc/loadavg: 2.04 2.03 2.00 3/352 19668
/proc/meminfo: memFree=14705172/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=48360 CPUtime=101.05 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 11878 0 0 0 10104 1 0 0 25 0 1 0 624949780 49520640 11812 33554432000 134512640 135217611 4294761680 18446744073709551615 134533155 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 12090 11812 77 173 0 11915 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 57064

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/352 19672
/proc/meminfo: memFree=14700800/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=52428 CPUtime=161.05 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 12841 0 0 0 16103 2 0 0 25 0 1 0 624949780 53686272 12775 33554432000 134512640 135217611 4294761680 18446744073709551615 134533146 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 13107 12775 77 173 0 12932 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 61132

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/352 19675
/proc/meminfo: memFree=14697160/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=55460 CPUtime=221.05 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 13567 0 0 0 22103 2 0 0 25 0 1 0 624949780 56791040 13501 33554432000 134512640 135217611 4294761680 18446744073709551615 134723558 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 13865 13501 77 173 0 13690 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 64164

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/352 19676
/proc/meminfo: memFree=14694636/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=57888 CPUtime=281.05 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 14149 0 0 0 28103 2 0 0 25 0 1 0 624949780 59277312 14083 33554432000 134512640 135217611 4294761680 18446744073709551615 134533193 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 14472 14083 77 173 0 14297 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 66592

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/352 19678
/proc/meminfo: memFree=14691124/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=60648 CPUtime=341.05 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 14807 0 0 0 34103 2 0 0 25 0 1 0 624949780 62103552 14741 33554432000 134512640 135217611 4294761680 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 15162 14741 77 173 0 14987 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 69352

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/352 19679
/proc/meminfo: memFree=14685268/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=62380 CPUtime=401.05 cores=0,2,4,6

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


[startup+2202.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/352 19727
/proc/meminfo: memFree=14642096/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=97916 CPUtime=2201.1 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 23141 0 0 0 220103 7 0 0 25 0 1 0 624949780 100265984 23075 33554432000 134512640 135217611 4294761680 18446744073709551615 134533219 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 24479 23075 77 173 0 24304 0
Current children cumulated CPU time (s) 2202.33
Current children cumulated vsize (KiB) 106620

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/352 19729
/proc/meminfo: memFree=14640452/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=98744 CPUtime=2261.1 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 23317 0 0 0 226103 7 0 0 25 0 1 0 624949780 101113856 23251 33554432000 134512640 135217611 4294761680 18446744073709551615 134532989 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 24686 23251 77 173 0 24511 0
Current children cumulated CPU time (s) 2262.33
Current children cumulated vsize (KiB) 107448

[startup+2322.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/352 19731
/proc/meminfo: memFree=14639428/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=99428 CPUtime=2321.1 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 23472 0 0 0 232102 8 0 0 25 0 1 0 624949780 101814272 23406 33554432000 134512640 135217611 4294761680 18446744073709551615 134533152 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 24857 23406 77 173 0 24682 0
Current children cumulated CPU time (s) 2322.33
Current children cumulated vsize (KiB) 108132

[startup+2382.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/352 19741
/proc/meminfo: memFree=14636928/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=100328 CPUtime=2381.1 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 23658 0 0 0 238102 8 0 0 25 0 1 0 624949780 102735872 23592 33554432000 134512640 135217611 4294761680 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 25082 23592 77 173 0 24907 0
Current children cumulated CPU time (s) 2382.33
Current children cumulated vsize (KiB) 109032

[startup+2442.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/352 19743
/proc/meminfo: memFree=14636012/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=101444 CPUtime=2441.1 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 23905 0 0 0 244102 8 0 0 25 0 1 0 624949780 103878656 23839 33554432000 134512640 135217611 4294761680 18446744073709551615 134533152 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 25361 23839 77 173 0 25186 0
Current children cumulated CPU time (s) 2442.33
Current children cumulated vsize (KiB) 110148

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/352 19744
/proc/meminfo: memFree=14635088/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=102784 CPUtime=2501.1 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 24090 0 0 0 250102 8 0 0 25 0 1 0 624949780 105250816 24024 33554432000 134512640 135217611 4294761680 18446744073709551615 134533316 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 25696 24024 77 173 0 25521 0
Current children cumulated CPU time (s) 2502.33
Current children cumulated vsize (KiB) 111488

[startup+2562.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/352 19746
/proc/meminfo: memFree=14634052/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=103860 CPUtime=2561.1 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 24317 0 0 0 256102 8 0 0 25 0 1 0 624949780 106352640 24251 33554432000 134512640 135217611 4294761680 18446744073709551615 134522427 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 25965 24251 77 173 0 25790 0
Current children cumulated CPU time (s) 2562.33
Current children cumulated vsize (KiB) 112564

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

[startup+2572.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/352 19746
/proc/meminfo: memFree=14633792/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=104184 CPUtime=2571.5 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 24378 0 0 0 257142 8 0 0 25 0 1 0 624949780 106684416 24312 33554432000 134512640 135217611 4294761680 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 26046 24312 77 173 0 25871 0
Current children cumulated CPU time (s) 2572.73
Current children cumulated vsize (KiB) 112888

[startup+2579.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/352 19746
/proc/meminfo: memFree=14633668/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=104184 CPUtime=2577.9 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 24379 0 0 0 257782 8 0 0 25 0 1 0 624949780 106684416 24313 33554432000 134512640 135217611 4294761680 18446744073709551615 134532985 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 26046 24313 77 173 0 25871 0
Current children cumulated CPU time (s) 2579.13
Current children cumulated vsize (KiB) 112888

[startup+2580.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/352 19747
/proc/meminfo: memFree=14633668/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=104184 CPUtime=2579.5 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 24379 0 0 0 257942 8 0 0 25 0 1 0 624949780 106684416 24313 33554432000 134512640 135217611 4294761680 18446744073709551615 134532989 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 26046 24313 77 173 0 25871 0
Current children cumulated CPU time (s) 2580.73
Current children cumulated vsize (KiB) 112888

[startup+2582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/352 19747
/proc/meminfo: memFree=14633780/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=104256 CPUtime=2581.1 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 24393 0 0 0 258102 8 0 0 25 0 1 0 624949780 106758144 24327 33554432000 134512640 135217611 4294761680 18446744073709551615 134532989 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 26064 24327 77 173 0 25889 0
Current children cumulated CPU time (s) 2582.33
Current children cumulated vsize (KiB) 112960

[startup+2583.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/352 19747
/proc/meminfo: memFree=14633780/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=104256 CPUtime=2581.9 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 24400 0 0 0 258182 8 0 0 25 0 1 0 624949780 106758144 24334 33554432000 134512640 135217611 4294761680 18446744073709551615 134533046 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 26064 24334 77 173 0 25889 0
Current children cumulated CPU time (s) 2583.13
Current children cumulated vsize (KiB) 112960

[startup+2583.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/352 19747
/proc/meminfo: memFree=14633780/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=104256 CPUtime=2582.1 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 24400 0 0 0 258202 8 0 0 25 0 1 0 624949780 106758144 24334 33554432000 134512640 135217611 4294761680 18446744073709551615 134533046 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 26064 24334 77 173 0 25889 0
Current children cumulated CPU time (s) 2583.33
Current children cumulated vsize (KiB) 112960

[startup+2583.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/352 19747
/proc/meminfo: memFree=14633780/32951124 swapFree=67111348/67111528
[pid=19663] ppid=19661 vsize=8704 CPUtime=1.23 cores=0,2,4,6
/proc/19663/stat : 19663 (glucose.sh) S 19661 19663 19050 0 -1 4202496 357 11581 0 0 0 0 120 3 18 0 1 0 624949655 8912896 254 33554432000 4194304 4922060 140733565832112 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19663/statm: 2176 254 211 178 0 69 0
[pid=19666] ppid=19663 vsize=104256 CPUtime=2582.2 cores=0,2,4,6
/proc/19666/stat : 19666 (glucose_static) R 19663 19663 19050 0 -1 4202496 24400 0 0 0 258212 8 0 0 25 0 1 0 624949780 106758144 24334 33554432000 134512640 135217611 4294761680 18446744073709551615 134532729 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/19666/statm: 26064 24334 77 173 0 25889 0
Current children cumulated CPU time (s) 2583.43
Current children cumulated vsize (KiB) 112960

Child status: 10
Real time (s): 2583.46
CPU time (s): 2583.51
CPU user time (s): 2583.38
CPU system time (s): 0.12998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 112960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2583.38
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 7372

runsolver used 8.84366 second user time and 19.3461 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-14 00:22:15
IDJOB=3366000
IDBENCH=84802
IDSOLVER=1842
FILE ID=node144/3366000-1305325335
RUNJOBID= node144-1305315242-19068
PBS_JOBID= 13324288
Free space on /tmp= 37440 MiB

SOLVER NAME= SAT09 reference solver:glucose 1.0
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf
COMMAND LINE= glucose.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366000-1305325335/watcher-3366000-1305325335 -o /tmp/evaluation-result-3366000-1305325335/solver-3366000-1305325335 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3366000-1305325335.cnf

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

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=784663642

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14768328 kB
Buffers:        239216 kB
Cached:       10265800 kB
SwapCached:          0 kB
Active:        8121360 kB
Inactive:      9587328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14768328 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            8168 kB
Writeback:           0 kB
AnonPages:     7203704 kB
Mapped:          27728 kB
Slab:           373744 kB
PageTables:      37484 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 82073020 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= 37440 MiB
End job on node144 at 2011-05-14 01:05:19