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