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