Trace number 3299815

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-R4095SAT 139.703 40.9432

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.0565
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3299815-1304096538/watcher-3299815-1304096538 -o /tmp/evaluation-result-3299815-1304096538/solver-3299815-1304096538 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299815-1304096538.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.73 7.76 7.46 5/180 6516
/proc/meminfo: memFree=19889284/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=23016 CPUtime=0 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 1107 0 0 0 0 0 0 0 25 0 1 0 521253620 23568384 966 33554432000 4194304 4964704 140737452807088 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6516/statm: 5754 966 385 189 0 628 0

[startup+0.01226 s]
/proc/loadavg: 6.73 7.76 7.46 5/180 6516
/proc/meminfo: memFree=19889284/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=23604 CPUtime=0 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 1265 0 0 0 0 0 0 0 25 0 1 0 521253620 24170496 1124 33554432000 4194304 4964704 140737452807088 18446744073709551615 237278879488 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6516/statm: 5901 1124 385 189 0 775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23604

[startup+0.10025 s]
/proc/loadavg: 6.73 7.76 7.46 5/180 6516
/proc/meminfo: memFree=19889284/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=36184 CPUtime=0.09 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 5154 0 0 0 9 0 0 0 25 0 1 0 521253620 37052416 4269 33554432000 4194304 4964704 140737452807088 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6516/statm: 9046 4271 388 189 0 3920 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36184

[startup+0.300215 s]
/proc/loadavg: 6.73 7.76 7.46 5/180 6516
/proc/meminfo: memFree=19889284/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=55788 CPUtime=0.29 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 10494 0 0 0 28 1 0 0 25 0 1 0 521253620 57126912 9115 33554432000 4194304 4964704 140737452807088 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6516/statm: 13947 9115 402 189 0 8821 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55788

[startup+0.70014 s]
/proc/loadavg: 6.73 7.76 7.46 5/180 6516
/proc/meminfo: memFree=19889284/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=55788 CPUtime=0.69 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 10494 0 0 0 68 1 0 0 25 0 1 0 521253620 57126912 9115 33554432000 4194304 4964704 140737452807088 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6516/statm: 13947 9115 402 189 0 8821 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55788

[startup+1.501 s]
/proc/loadavg: 6.73 7.76 7.46 6/181 6517
/proc/meminfo: memFree=19848860/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=55788 CPUtime=1.49 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 10494 0 0 0 148 1 0 0 25 0 1 0 521253620 57126912 9115 33554432000 4194304 4964704 140737452807088 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6516/statm: 13947 9115 402 189 0 8821 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55788

[startup+3.10071 s]
/proc/loadavg: 6.73 7.76 7.46 6/181 6517
/proc/meminfo: memFree=19842684/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=55788 CPUtime=3.09 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 10494 0 0 0 308 1 0 0 25 0 1 0 521253620 57126912 9115 33554432000 4194304 4964704 140737452807088 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6516/statm: 13947 9115 402 189 0 8821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55788

[startup+6.30014 s]
/proc/loadavg: 6.67 7.73 7.45 6/181 6517
/proc/meminfo: memFree=19838484/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=55788 CPUtime=6.29 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 10494 0 0 0 628 1 0 0 25 0 1 0 521253620 57126912 9115 33554432000 4194304 4964704 140737452807088 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6516/statm: 13947 9115 402 189 0 8821 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55788

[startup+12.701 s]
/proc/loadavg: 6.78 7.74 7.45 9/184 6520
/proc/meminfo: memFree=19721188/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=296304 CPUtime=27.24 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 36281 0 0 0 2715 9 0 0 25 0 4 0 521253620 303415296 34248 33554432000 4194304 4964704 140737452807088 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/6516/statm: 74076 34248 460 189 0 68425 0
[pid=6516/tid=6518] ppid=6514 vsize=296304 CPUtime=4.86 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (claspmt) R 6514 6516 6445 0 -1 4202560 6261 0 0 0 485 1 0 0 25 0 4 0 521254403 303415296 34248 33554432000 4194304 4964704 140737452807088 18446744073709551615 4669316 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6516/tid=6519] ppid=6514 vsize=296304 CPUtime=4.84 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (claspmt) R 6514 6516 6445 0 -1 4202560 7815 0 0 0 482 2 0 0 25 0 4 0 521254403 303415296 34248 33554432000 4194304 4964704 140737452807088 18446744073709551615 4660345 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6516/tid=6520] ppid=6514 vsize=296304 CPUtime=4.86 cores=1,3,5,7
/proc/6516/task/6520/stat : 6520 (claspmt) R 6514 6516 6445 0 -1 4202560 7248 0 0 0 485 1 0 0 25 0 4 0 521254403 303415296 34248 33554432000 4194304 4964704 140737452807088 18446744073709551615 4627341 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 27.24
Current children cumulated vsize (KiB) 296304

[startup+25.5007 s]
/proc/loadavg: 6.59 7.65 7.43 6/181 6578
/proc/meminfo: memFree=19493324/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=304500 CPUtime=78.37 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 52318 0 0 0 7819 18 0 0 25 0 4 0 521253620 311808000 50285 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670054 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/6516/statm: 76125 50285 460 189 0 70474 0
[pid=6516/tid=6518] ppid=6514 vsize=304500 CPUtime=17.66 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (claspmt) R 6514 6516 6445 0 -1 4202560 8472 0 0 0 1763 3 0 0 25 0 4 0 521254403 311808000 50285 33554432000 4194304 4964704 140737452807088 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6516/tid=6519] ppid=6514 vsize=304500 CPUtime=17.56 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (claspmt) R 6514 6516 6445 0 -1 4202560 12398 0 0 0 1752 4 0 0 25 0 4 0 521254403 311808000 50285 33554432000 4194304 4964704 140737452807088 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6516/tid=6520] ppid=6514 vsize=304500 CPUtime=17.66 cores=1,3,5,7
/proc/6516/task/6520/stat : 6520 (claspmt) R 6514 6516 6445 0 -1 4202560 12353 0 0 0 1762 4 0 0 25 0 4 0 521254403 311808000 50285 33554432000 4194304 4964704 140737452807088 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 78.37
Current children cumulated vsize (KiB) 304500

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

[startup+31.9066 s]
/proc/loadavg: 6.54 7.62 7.42 6/181 6578
/proc/meminfo: memFree=19481236/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=308916 CPUtime=103.95 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 55299 0 0 0 10376 19 0 0 25 0 4 0 521253620 316329984 53266 33554432000 4194304 4964704 140737452807088 18446744073709551615 4321029 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/6516/statm: 77229 53266 460 189 0 71578 0
[pid=6516/tid=6518] ppid=6514 vsize=308916 CPUtime=24.07 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (claspmt) R 6514 6516 6445 0 -1 4202560 8585 0 0 0 2404 3 0 0 25 0 4 0 521254403 316329984 53266 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6516/tid=6519] ppid=6514 vsize=308916 CPUtime=23.93 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (claspmt) R 6514 6516 6445 0 -1 4202560 13400 0 0 0 2389 4 0 0 25 0 4 0 521254403 316329984 53266 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670354 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6516/tid=6520] ppid=6514 vsize=308916 CPUtime=24.07 cores=1,3,5,7
/proc/6516/task/6520/stat : 6520 (claspmt) R 6514 6516 6445 0 -1 4202560 13178 0 0 0 2403 4 0 0 25 0 4 0 521254403 316329984 53266 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 103.95
Current children cumulated vsize (KiB) 308916

[startup+35.101 s]
/proc/loadavg: 6.42 7.58 7.41 6/181 6578
/proc/meminfo: memFree=19469148/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=312816 CPUtime=116.73 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 58282 0 0 0 11652 21 0 0 25 0 4 0 521253620 320323584 56249 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670241 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/6516/statm: 78204 56249 460 189 0 72553 0
[pid=6516/tid=6518] ppid=6514 vsize=312816 CPUtime=27.26 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (claspmt) R 6514 6516 6445 0 -1 4202560 9450 0 0 0 2723 3 0 0 25 0 4 0 521254403 320323584 56249 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6516/tid=6519] ppid=6514 vsize=312816 CPUtime=27.11 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (claspmt) R 6514 6516 6445 0 -1 4202560 14522 0 0 0 2706 5 0 0 18 0 4 0 521254403 320323584 56249 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6516/tid=6520] ppid=6514 vsize=312816 CPUtime=27.26 cores=1,3,5,7
/proc/6516/task/6520/stat : 6520 (claspmt) R 6514 6516 6445 0 -1 4202560 13825 0 0 0 2722 4 0 0 25 0 4 0 521254403 320323584 56249 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 116.73
Current children cumulated vsize (KiB) 312816

[startup+38.3005 s]
/proc/loadavg: 6.42 7.58 7.41 6/181 6578
/proc/meminfo: memFree=19460332/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=315060 CPUtime=129.5 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 61252 0 0 0 12926 24 0 0 25 0 4 0 521253620 322621440 59219 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670011 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/6516/statm: 78765 59219 460 189 0 73114 0
[pid=6516/tid=6518] ppid=6514 vsize=315060 CPUtime=30.46 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (claspmt) R 6514 6516 6445 0 -1 4202560 10303 0 0 0 3042 4 0 0 25 0 4 0 521254403 322621440 59219 33554432000 4194304 4964704 140737452807088 18446744073709551615 4321061 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6516/tid=6519] ppid=6514 vsize=315060 CPUtime=30.3 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (claspmt) R 6514 6516 6445 0 -1 4202560 15239 0 0 0 3024 6 0 0 25 0 4 0 521254403 322621440 59219 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6516/tid=6520] ppid=6514 vsize=315060 CPUtime=30.46 cores=1,3,5,7
/proc/6516/task/6520/stat : 6520 (claspmt) R 6514 6516 6445 0 -1 4202560 14692 0 0 0 3041 5 0 0 25 0 4 0 521254403 322621440 59219 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 129.5
Current children cumulated vsize (KiB) 315060

[startup+39.9012 s]
/proc/loadavg: 6.42 7.58 7.41 6/181 6578
/proc/meminfo: memFree=19455248/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=315636 CPUtime=135.88 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 62124 0 0 0 13564 24 0 0 25 0 4 0 521253620 323211264 60091 33554432000 4194304 4964704 140737452807088 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/6516/statm: 78909 60091 460 189 0 73258 0
[pid=6516/tid=6518] ppid=6514 vsize=315636 CPUtime=32.06 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (claspmt) R 6514 6516 6445 0 -1 4202560 10381 0 0 0 3202 4 0 0 25 0 4 0 521254403 323211264 60091 33554432000 4194304 4964704 140737452807088 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6516/tid=6519] ppid=6514 vsize=315636 CPUtime=31.89 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (claspmt) R 6514 6516 6445 0 -1 4202560 15432 0 0 0 3183 6 0 0 25 0 4 0 521254403 323211264 60091 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6516/tid=6520] ppid=6514 vsize=315636 CPUtime=32.06 cores=1,3,5,7
/proc/6516/task/6520/stat : 6520 (claspmt) R 6514 6516 6445 0 -1 4202560 15122 0 0 0 3200 6 0 0 25 0 4 0 521254403 323211264 60091 33554432000 4194304 4964704 140737452807088 18446744073709551615 4660077 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 135.88
Current children cumulated vsize (KiB) 315636

[startup+40.707 s]
/proc/loadavg: 6.30 7.54 7.40 6/181 6578
/proc/meminfo: memFree=19452644/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=315768 CPUtime=139.11 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 62466 0 0 0 13886 25 0 0 25 0 4 0 521253620 323346432 60433 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/6516/statm: 78942 60433 460 189 0 73291 0
[pid=6516/tid=6518] ppid=6514 vsize=315768 CPUtime=32.86 cores=1,3,5,7
/proc/6516/task/6518/stat : 6518 (claspmt) R 6514 6516 6445 0 -1 4202560 10387 0 0 0 3282 4 0 0 25 0 4 0 521254403 323346432 60433 33554432000 4194304 4964704 140737452807088 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6516/tid=6519] ppid=6514 vsize=315768 CPUtime=32.69 cores=1,3,5,7
/proc/6516/task/6519/stat : 6519 (claspmt) R 6514 6516 6445 0 -1 4202560 15469 0 0 0 3263 6 0 0 25 0 4 0 521254403 323346432 60433 33554432000 4194304 4964704 140737452807088 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6516/tid=6520] ppid=6514 vsize=315768 CPUtime=32.87 cores=1,3,5,7
/proc/6516/task/6520/stat : 6520 (claspmt) R 6514 6516 6445 0 -1 4202560 15372 0 0 0 3281 6 0 0 25 0 4 0 521254403 323346432 60433 33554432000 4194304 4964704 140737452807088 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 139.11
Current children cumulated vsize (KiB) 315768

[startup+40.901 s]
/proc/loadavg: 6.30 7.54 7.40 6/181 6578
/proc/meminfo: memFree=19452644/32950904 swapFree=67082284/67111528
[pid=6516] ppid=6514 vsize=314636 CPUtime=139.65 cores=1,3,5,7
/proc/6516/stat : 6516 (claspmt) R 6514 6516 6445 0 -1 4202496 62561 0 0 0 13940 25 0 0 25 0 1 0 521253620 322187264 60004 33554432000 4194304 4964704 140737452807088 18446744073709551615 237278534922 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/6516/statm: 78659 60004 470 189 0 73008 0
Current children cumulated CPU time (s) 139.65
Current children cumulated vsize (KiB) 314636

Child status: 10
Real time (s): 40.9432
CPU time (s): 139.703
CPU user time (s): 139.44
CPU system time (s): 0.26296
CPU usage (%): 341.211
Max. virtual memory (cumulated for all children) (KiB): 315768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.44
system time used= 0.26296
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62563
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= 1550
involuntary context switches= 935

runsolver used 0.065989 second user time and 0.159975 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 19:02:19
IDJOB=3299815
IDBENCH=83443
IDSOLVER=1683
FILE ID=node121/3299815-1304096538
RUNJOBID= node121-1304096537-6464
PBS_JOBID= 13170609
Free space on /tmp= 72640 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.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-3299815-1304096538/watcher-3299815-1304096538 -o /tmp/evaluation-result-3299815-1304096538/solver-3299815-1304096538 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299815-1304096538.cnf

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=821719807

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      19889564 kB
Buffers:       2183436 kB
Cached:       10286256 kB
SwapCached:       2776 kB
Active:        9168796 kB
Inactive:      3371788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19889564 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           14412 kB
Writeback:           0 kB
AnonPages:       68340 kB
Mapped:          14744 kB
Slab:           456412 kB
PageTables:       4956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   252144 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72580 MiB
End job on node121 at 2011-04-29 19:03:00