Trace number 3373437

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)SAT 80.9887 30.9193

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3373437-1305428390/watcher-3373437-1305428390 -o /tmp/evaluation-result-3373437-1305428390/solver-3373437-1305428390 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373437-1305428390.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: 3.70 4.35 6.06 6/285 13445
/proc/meminfo: memFree=18911456/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=23284 CPUtime=0 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 1192 0 0 0 0 0 0 0 21 0 1 0 654438734 23842816 1042 33554432000 4194304 4964800 140733824116000 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13445/statm: 5821 1043 385 189 0 695 0

[startup+0.100827 s]
/proc/loadavg: 3.70 4.35 6.06 6/285 13445
/proc/meminfo: memFree=18911456/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=36068 CPUtime=0.09 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 5110 0 0 0 9 0 0 0 21 0 1 0 654438734 36933632 4216 33554432000 4194304 4964800 140733824116000 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13445/statm: 9017 4217 388 189 0 3891 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36068

[startup+0.200787 s]
/proc/loadavg: 3.70 4.35 6.06 6/285 13445
/proc/meminfo: memFree=18911456/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=50704 CPUtime=0.19 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 9768 0 0 0 18 1 0 0 22 0 1 0 654438734 51920896 7759 33554432000 4194304 4964800 140733824116000 18446744073709551615 274664505099 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13445/statm: 12676 7759 399 189 0 7550 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 50704

[startup+0.300771 s]
/proc/loadavg: 3.70 4.35 6.06 6/285 13445
/proc/meminfo: memFree=18911456/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=68724 CPUtime=0.29 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 14110 0 0 0 27 2 0 0 22 0 1 0 654438734 70373376 12101 33554432000 4194304 4964800 140733824116000 18446744073709551615 4607644 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13445/statm: 17181 12101 402 189 0 12055 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68724

[startup+0.700698 s]
/proc/loadavg: 3.70 4.35 6.06 6/285 13445
/proc/meminfo: memFree=18911456/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=68724 CPUtime=0.69 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 14110 0 0 0 67 2 0 0 23 0 1 0 654438734 70373376 12101 33554432000 4194304 4964800 140733824116000 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13445/statm: 17181 12101 402 189 0 12055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68724

[startup+1.50056 s]
/proc/loadavg: 3.70 4.35 6.06 7/286 13446
/proc/meminfo: memFree=18854176/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=68724 CPUtime=1.49 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 14110 0 0 0 147 2 0 0 25 0 1 0 654438734 70373376 12101 33554432000 4194304 4964800 140733824116000 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13445/statm: 17181 12101 402 189 0 12055 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68724

[startup+3.10028 s]
/proc/loadavg: 3.81 4.36 6.05 6/286 13446
/proc/meminfo: memFree=18851004/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=68724 CPUtime=3.09 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 14110 0 0 0 307 2 0 0 25 0 1 0 654438734 70373376 12101 33554432000 4194304 4964800 140733824116000 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13445/statm: 17181 12101 402 189 0 12055 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68724

[startup+10.0111 s]
/proc/loadavg: 3.81 4.36 6.05 6/286 13446
/proc/meminfo: memFree=18841208/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=68724 CPUtime=10 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 14110 0 0 0 998 2 0 0 25 0 1 0 654438734 70373376 12101 33554432000 4194304 4964800 140733824116000 18446744073709551615 4607151 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13445/statm: 17181 12101 402 189 0 12055 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (KiB) 68724

[startup+12.7006 s]
/proc/loadavg: 4.22 4.43 6.07 6/286 13446
/proc/meminfo: memFree=18827872/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=68724 CPUtime=12.69 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 14110 0 0 0 1267 2 0 0 25 0 1 0 654438734 70373376 12101 33554432000 4194304 4964800 140733824116000 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13445/statm: 17181 12101 402 189 0 12055 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68724

[startup+25.5004 s]
/proc/loadavg: 4.94 4.58 6.09 9/289 13479
/proc/meminfo: memFree=18670868/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=306480 CPUtime=59.62 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 54708 0 0 0 5945 17 0 0 25 0 4 0 654438734 313835520 51846 33554432000 4194304 4964800 140733824116000 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13445/statm: 76620 51846 460 189 0 70969 0
[pid=13445/tid=13447] ppid=13443 vsize=306480 CPUtime=11.38 cores=0,2,4,6
/proc/13445/task/13447/stat : 13447 (claspmt) R 13443 13445 6618 0 -1 4202560 6868 0 0 0 1137 1 0 0 25 0 4 0 654440107 313835520 51846 33554432000 4194304 4964800 140733824116000 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13445/tid=13448] ppid=13443 vsize=306480 CPUtime=11.11 cores=0,2,4,6
/proc/13445/task/13448/stat : 13448 (claspmt) R 13443 13445 6618 0 -1 4202560 13050 0 0 0 1105 6 0 0 25 0 4 0 654440107 313835520 51846 33554432000 4194304 4964800 140733824116000 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13445/tid=13449] ppid=13443 vsize=306480 CPUtime=11.73 cores=0,2,4,6
/proc/13445/task/13449/stat : 13449 (claspmt) R 13443 13445 6618 0 -1 4202560 12055 0 0 0 1169 4 0 0 25 0 4 0 654440107 313835520 51846 33554432000 4194304 4964800 140733824116000 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 59.62
Current children cumulated vsize (KiB) 306480

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

[startup+28.7008 s]
/proc/loadavg: 5.18 4.63 6.10 9/289 13480
/proc/meminfo: memFree=18647516/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=307672 CPUtime=72.4 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 58489 0 0 0 7220 20 0 0 25 0 4 0 654438734 315056128 55627 33554432000 4194304 4964800 140733824116000 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13445/statm: 76918 55627 460 189 0 71267 0
[pid=13445/tid=13447] ppid=13443 vsize=307672 CPUtime=14.54 cores=0,2,4,6
/proc/13445/task/13447/stat : 13447 (claspmt) R 13443 13445 6618 0 -1 4202560 7733 0 0 0 1453 1 0 0 25 0 4 0 654440107 315056128 55627 33554432000 4194304 4964800 140733824116000 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13445/tid=13448] ppid=13443 vsize=307672 CPUtime=14.31 cores=0,2,4,6
/proc/13445/task/13448/stat : 13448 (claspmt) R 13443 13445 6618 0 -1 4202560 14461 0 0 0 1424 7 0 0 25 0 4 0 654440107 315056128 55627 33554432000 4194304 4964800 140733824116000 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13445/tid=13449] ppid=13443 vsize=307672 CPUtime=14.93 cores=0,2,4,6
/proc/13445/task/13449/stat : 13449 (claspmt) R 13443 13445 6618 0 -1 4202560 13047 0 0 0 1488 5 0 0 25 0 4 0 654440107 315056128 55627 33554432000 4194304 4964800 140733824116000 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 72.4
Current children cumulated vsize (KiB) 307672

[startup+30.3005 s]
/proc/loadavg: 5.18 4.63 6.10 9/289 13480
/proc/meminfo: memFree=18641456/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=307812 CPUtime=78.78 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 59671 0 0 0 7857 21 0 0 25 0 4 0 654438734 315199488 56809 33554432000 4194304 4964800 140733824116000 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13445/statm: 76953 56809 460 189 0 71302 0
[pid=13445/tid=13447] ppid=13443 vsize=307812 CPUtime=16.13 cores=0,2,4,6
/proc/13445/task/13447/stat : 13447 (claspmt) R 13443 13445 6618 0 -1 4202560 7823 0 0 0 1612 1 0 0 25 0 4 0 654440107 315199488 56809 33554432000 4194304 4964800 140733824116000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13445/tid=13448] ppid=13443 vsize=307812 CPUtime=15.91 cores=0,2,4,6
/proc/13445/task/13448/stat : 13448 (claspmt) R 13443 13445 6618 0 -1 4202560 14904 0 0 0 1584 7 0 0 25 0 4 0 654440107 315199488 56809 33554432000 4194304 4964800 140733824116000 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13445/tid=13449] ppid=13443 vsize=307812 CPUtime=16.51 cores=0,2,4,6
/proc/13445/task/13449/stat : 13449 (claspmt) R 13443 13445 6618 0 -1 4202560 13650 0 0 0 1646 5 0 0 25 0 4 0 654440107 315199488 56809 33554432000 4194304 4964800 140733824116000 18446744073709551615 4320958 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 78.78
Current children cumulated vsize (KiB) 307812

[startup+30.7005 s]
/proc/loadavg: 5.18 4.63 6.10 9/289 13480
/proc/meminfo: memFree=18637612/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=308208 CPUtime=80.37 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 59912 0 0 0 8016 21 0 0 25 0 4 0 654438734 315604992 57050 33554432000 4194304 4964800 140733824116000 18446744073709551615 274664475579 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13445/statm: 77052 57050 460 189 0 71401 0
[pid=13445/tid=13447] ppid=13443 vsize=308208 CPUtime=16.52 cores=0,2,4,6
/proc/13445/task/13447/stat : 13447 (claspmt) R 13443 13445 6618 0 -1 4202560 7823 0 0 0 1651 1 0 0 25 0 4 0 654440107 315604992 57050 33554432000 4194304 4964800 140733824116000 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13445/tid=13448] ppid=13443 vsize=308208 CPUtime=16.31 cores=0,2,4,6
/proc/13445/task/13448/stat : 13448 (claspmt) R 13443 13445 6618 0 -1 4202560 14983 0 0 0 1624 7 0 0 25 0 4 0 654440107 315604992 57050 33554432000 4194304 4964800 140733824116000 18446744073709551615 4362958 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13445/tid=13449] ppid=13443 vsize=308208 CPUtime=16.91 cores=0,2,4,6
/proc/13445/task/13449/stat : 13449 (claspmt) R 13443 13445 6618 0 -1 4202560 13764 0 0 0 1686 5 0 0 25 0 4 0 654440107 315604992 57050 33554432000 4194304 4964800 140733824116000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 80.37
Current children cumulated vsize (KiB) 308208

[startup+30.9005 s]
/proc/loadavg: 5.18 4.63 6.10 9/289 13480
/proc/meminfo: memFree=18637612/32951132 swapFree=67093824/67111528
[pid=13445] ppid=13443 vsize=308228 CPUtime=80.96 cores=0,2,4,6
/proc/13445/stat : 13445 (claspmt) R 13443 13445 6618 0 -1 4202496 60232 0 0 0 8075 21 0 0 25 0 1 0 654438734 315625472 56279 33554432000 4194304 4964800 140733824116000 18446744073709551615 274664457216 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/13445/statm: 77057 56279 471 189 0 71406 0
Current children cumulated CPU time (s) 80.96
Current children cumulated vsize (KiB) 308228

Child status: 10
Real time (s): 30.9193
CPU time (s): 80.9887
CPU user time (s): 80.7637
CPU system time (s): 0.224965
CPU usage (%): 261.936
Max. virtual memory (cumulated for all children) (KiB): 308340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.7637
system time used= 0.224965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60233
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= 1859
involuntary context switches= 634

runsolver used 0.545917 second user time and 1.84772 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-15 04:59:51
IDJOB=3373437
IDBENCH=83436
IDSOLVER=1853
FILE ID=node131/3373437-1305428390
RUNJOBID= node131-1305428390-13422
PBS_JOBID= 13324598
Free space on /tmp= 73692 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
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-3373437-1305428390/watcher-3373437-1305428390 -o /tmp/evaluation-result-3373437-1305428390/solver-3373437-1305428390 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373437-1305428390.cnf

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=756856190

node131.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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.83
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.77
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      18911736 kB
Buffers:        279704 kB
Cached:        3769468 kB
SwapCached:       1504 kB
Active:       10622152 kB
Inactive:      3160956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      18911736 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:           17924 kB
Writeback:           8 kB
AnonPages:     9731604 kB
Mapped:          27020 kB
Slab:           164196 kB
PageTables:      31204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28040888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73692 MiB
End job on node131 at 2011-05-15 05:00:22