Trace number 3373436

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 212.982 59.6192

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

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-3373436-1305428423/watcher-3373436-1305428423 -o /tmp/evaluation-result-3373436-1305428423/solver-3373436-1305428423 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373436-1305428423.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: 5.25 4.65 6.10 7/285 13536
/proc/meminfo: memFree=18903712/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=20872 CPUtime=0 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 484 0 0 0 0 0 0 0 25 0 1 0 654441954 21372928 415 33554432000 4194304 4964800 140736767154880 18446744073709551615 274664505888 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13536/statm: 5218 415 353 189 0 92 0

[startup+0.0907751 s]
/proc/loadavg: 5.25 4.65 6.10 7/285 13536
/proc/meminfo: memFree=18903712/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=33940 CPUtime=0.08 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 4506 0 0 0 7 1 0 0 25 0 1 0 654441954 34754560 3623 33554432000 4194304 4964800 140736767154880 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13536/statm: 8485 3624 388 189 0 3359 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33940

[startup+0.100784 s]
/proc/loadavg: 5.25 4.65 6.10 7/285 13536
/proc/meminfo: memFree=18903712/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=35128 CPUtime=0.09 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 4849 0 0 0 8 1 0 0 25 0 1 0 654441954 35971072 3966 33554432000 4194304 4964800 140736767154880 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13536/statm: 8782 3967 388 189 0 3656 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35128

[startup+0.300742 s]
/proc/loadavg: 5.25 4.65 6.10 7/285 13536
/proc/meminfo: memFree=18903712/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=55788 CPUtime=0.28 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 10491 0 0 0 27 1 0 0 25 0 1 0 654441954 57126912 9114 33554432000 4194304 4964800 140736767154880 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13536/statm: 13947 9114 402 189 0 8821 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 55788

[startup+0.700714 s]
/proc/loadavg: 5.25 4.65 6.10 7/285 13536
/proc/meminfo: memFree=18903712/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=55788 CPUtime=0.68 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 10491 0 0 0 67 1 0 0 25 0 1 0 654441954 57126912 9114 33554432000 4194304 4964800 140736767154880 18446744073709551615 4607641 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13536/statm: 13947 9114 402 189 0 8821 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 55788

[startup+1.50058 s]
/proc/loadavg: 5.25 4.65 6.10 3/283 13564
/proc/meminfo: memFree=18875420/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=55788 CPUtime=1.48 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 10491 0 0 0 147 1 0 0 25 0 1 0 654441954 57126912 9114 33554432000 4194304 4964800 140736767154880 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13536/statm: 13947 9114 402 189 0 8821 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55788

[startup+3.10027 s]
/proc/loadavg: 5.25 4.65 6.10 6/286 13567
/proc/meminfo: memFree=18846132/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=55788 CPUtime=3.08 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 10491 0 0 0 307 1 0 0 25 0 1 0 654441954 57126912 9114 33554432000 4194304 4964800 140736767154880 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13536/statm: 13947 9114 402 189 0 8821 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 55788

[startup+6.30071 s]
/proc/loadavg: 5.47 4.71 6.11 8/286 13567
/proc/meminfo: memFree=18815384/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=55788 CPUtime=6.29 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 10491 0 0 0 627 2 0 0 25 0 1 0 654441954 57126912 9114 33554432000 4194304 4964800 140736767154880 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13536/statm: 13947 9114 402 189 0 8821 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55788

[startup+12.7006 s]
/proc/loadavg: 5.67 4.76 6.12 5/284 13570
/proc/meminfo: memFree=18802340/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=288920 CPUtime=26.08 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 33898 0 0 0 2597 11 0 0 21 0 4 0 654441954 295854080 31795 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13536/statm: 72230 31795 460 189 0 66579 0
[pid=13536/tid=13568] ppid=13534 vsize=288920 CPUtime=4.49 cores=0,2,4,6
/proc/13536/task/13568/stat : 13568 (claspmt) R 13534 13536 6618 0 -1 4202560 5008 0 0 0 448 1 0 0 25 0 4 0 654442773 295854080 31795 33554432000 4194304 4964800 140736767154880 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13536/tid=13569] ppid=13534 vsize=288920 CPUtime=4.43 cores=0,2,4,6
/proc/13536/task/13569/stat : 13569 (claspmt) R 13534 13536 6618 0 -1 4202560 7933 0 0 0 441 2 0 0 25 0 4 0 654442773 295854080 31795 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13536/tid=13570] ppid=13534 vsize=288920 CPUtime=4.48 cores=0,2,4,6
/proc/13536/task/13570/stat : 13570 (claspmt) R 13534 13536 6618 0 -1 4202560 5703 0 0 0 446 2 0 0 25 0 4 0 654442773 295854080 31795 33554432000 4194304 4964800 140736767154880 18446744073709551615 4669093 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 26.08
Current children cumulated vsize (KiB) 288920

[startup+25.5003 s]
/proc/loadavg: 5.98 4.87 6.13 9/289 13600
/proc/meminfo: memFree=18621840/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=306432 CPUtime=77.15 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 51873 0 0 0 7680 35 0 0 25 0 4 0 654441954 313786368 49770 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13536/statm: 76608 49770 460 189 0 70957 0
[pid=13536/tid=13568] ppid=13534 vsize=306432 CPUtime=17.23 cores=0,2,4,6
/proc/13536/task/13568/stat : 13568 (claspmt) R 13534 13536 6618 0 -1 4202560 8381 0 0 0 1721 2 0 0 25 0 4 0 654442773 313786368 49770 33554432000 4194304 4964800 140736767154880 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13536/tid=13569] ppid=13534 vsize=306432 CPUtime=17.17 cores=0,2,4,6
/proc/13536/task/13569/stat : 13569 (claspmt) R 13534 13536 6618 0 -1 4202560 14013 0 0 0 1702 15 0 0 25 0 4 0 654442773 313786368 49770 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13536/tid=13570] ppid=13534 vsize=306432 CPUtime=17.27 cores=0,2,4,6
/proc/13536/task/13570/stat : 13570 (claspmt) R 13534 13536 6618 0 -1 4202560 9044 0 0 0 1723 4 0 0 25 0 4 0 654442773 313786368 49770 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 77.15
Current children cumulated vsize (KiB) 306432

[startup+51.1009 s]
/proc/loadavg: 6.67 5.12 6.18 9/289 13610
/proc/meminfo: memFree=18486436/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=380308 CPUtime=179.28 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 71455 0 0 0 17881 47 0 0 25 0 4 0 654441954 389435392 69352 33554432000 4194304 4964800 140736767154880 18446744073709551615 4341504 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13536/statm: 95077 69352 460 189 0 89426 0
[pid=13536/tid=13568] ppid=13534 vsize=380308 CPUtime=42.59 cores=0,2,4,6
/proc/13536/task/13568/stat : 13568 (claspmt) R 13534 13536 6618 0 -1 4202560 12159 0 0 0 4254 5 0 0 25 0 4 0 654442773 389435392 69352 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13536/tid=13569] ppid=13534 vsize=380308 CPUtime=42.74 cores=0,2,4,6
/proc/13536/task/13569/stat : 13569 (claspmt) R 13534 13536 6618 0 -1 4202560 22116 0 0 0 4254 20 0 0 25 0 4 0 654442773 389435392 69352 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13536/tid=13570] ppid=13534 vsize=380308 CPUtime=42.88 cores=0,2,4,6
/proc/13536/task/13570/stat : 13570 (claspmt) R 13534 13536 6618 0 -1 4202560 14006 0 0 0 4282 6 0 0 25 0 4 0 654442773 389435392 69352 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 179.28
Current children cumulated vsize (KiB) 380308

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

[startup+54.3004 s]
/proc/loadavg: 6.67 5.12 6.18 9/289 13610
/proc/meminfo: memFree=18479564/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=380480 CPUtime=192.05 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 72218 0 0 0 19157 48 0 0 25 0 4 0 654441954 389611520 70115 33554432000 4194304 4964800 140736767154880 18446744073709551615 4669280 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13536/statm: 95120 70115 460 189 0 89469 0
[pid=13536/tid=13568] ppid=13534 vsize=380480 CPUtime=45.76 cores=0,2,4,6
/proc/13536/task/13568/stat : 13568 (claspmt) R 13534 13536 6618 0 -1 4202560 12167 0 0 0 4571 5 0 0 25 0 4 0 654442773 389611520 70115 33554432000 4194304 4964800 140736767154880 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13536/tid=13569] ppid=13534 vsize=380480 CPUtime=45.94 cores=0,2,4,6
/proc/13536/task/13569/stat : 13569 (claspmt) R 13534 13536 6618 0 -1 4202560 22271 0 0 0 4574 20 0 0 25 0 4 0 654442773 389611520 70115 33554432000 4194304 4964800 140736767154880 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13536/tid=13570] ppid=13534 vsize=380480 CPUtime=46.08 cores=0,2,4,6
/proc/13536/task/13570/stat : 13570 (claspmt) R 13534 13536 6618 0 -1 4202560 14322 0 0 0 4601 7 0 0 25 0 4 0 654442773 389611520 70115 33554432000 4194304 4964800 140736767154880 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 192.05
Current children cumulated vsize (KiB) 380480

[startup+57.5008 s]
/proc/loadavg: 6.86 5.19 6.19 9/289 13610
/proc/meminfo: memFree=18470148/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=449800 CPUtime=204.83 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 73829 0 0 0 20434 49 0 0 25 0 4 0 654441954 460595200 71726 33554432000 4194304 4964800 140736767154880 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13536/statm: 112450 71726 460 189 0 106799 0
[pid=13536/tid=13568] ppid=13534 vsize=449800 CPUtime=48.93 cores=0,2,4,6
/proc/13536/task/13568/stat : 13568 (claspmt) R 13534 13536 6618 0 -1 4202560 12167 0 0 0 4888 5 0 0 25 0 4 0 654442773 460595200 71726 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670546 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13536/tid=13569] ppid=13534 vsize=449800 CPUtime=49.14 cores=0,2,4,6
/proc/13536/task/13569/stat : 13569 (claspmt) R 13534 13536 6618 0 -1 4202560 23024 0 0 0 4894 20 0 0 25 0 4 0 654442773 460595200 71726 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13536/tid=13570] ppid=13534 vsize=449800 CPUtime=49.27 cores=0,2,4,6
/proc/13536/task/13570/stat : 13570 (claspmt) R 13534 13536 6618 0 -1 4202560 14906 0 0 0 4920 7 0 0 25 0 4 0 654442773 460595200 71726 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.83
Current children cumulated vsize (KiB) 449800

[startup+58.3107 s]
/proc/loadavg: 6.86 5.19 6.19 9/289 13610
/proc/meminfo: memFree=18461840/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=451700 CPUtime=208.05 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 74930 0 0 0 20756 49 0 0 25 0 4 0 654441954 462540800 72827 33554432000 4194304 4964800 140736767154880 18446744073709551615 4653507 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13536/statm: 112925 72827 460 189 0 107274 0
[pid=13536/tid=13568] ppid=13534 vsize=451700 CPUtime=49.73 cores=0,2,4,6
/proc/13536/task/13568/stat : 13568 (claspmt) R 13534 13536 6618 0 -1 4202560 12171 0 0 0 4968 5 0 0 25 0 4 0 654442773 462540800 72827 33554432000 4194304 4964800 140736767154880 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13536/tid=13569] ppid=13534 vsize=451700 CPUtime=49.95 cores=0,2,4,6
/proc/13536/task/13569/stat : 13569 (claspmt) R 13534 13536 6618 0 -1 4202560 23464 0 0 0 4975 20 0 0 25 0 4 0 654442773 462540800 72827 33554432000 4194304 4964800 140736767154880 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13536/tid=13570] ppid=13534 vsize=451700 CPUtime=50.08 cores=0,2,4,6
/proc/13536/task/13570/stat : 13570 (claspmt) R 13534 13536 6618 0 -1 4202560 14919 0 0 0 5001 7 0 0 25 0 4 0 654442773 462540800 72827 33554432000 4194304 4964800 140736767154880 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 208.05
Current children cumulated vsize (KiB) 451700

[startup+59.1005 s]
/proc/loadavg: 6.86 5.19 6.19 9/289 13610
/proc/meminfo: memFree=18461840/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=452968 CPUtime=211.22 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 75365 0 0 0 21072 50 0 0 25 0 4 0 654441954 463839232 73262 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13536/statm: 113242 73262 460 189 0 107591 0
[pid=13536/tid=13568] ppid=13534 vsize=452968 CPUtime=50.52 cores=0,2,4,6
/proc/13536/task/13568/stat : 13568 (claspmt) R 13534 13536 6618 0 -1 4202560 12343 0 0 0 5047 5 0 0 25 0 4 0 654442773 463839232 73262 33554432000 4194304 4964800 140736767154880 18446744073709551615 4684800 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13536/tid=13569] ppid=13534 vsize=452968 CPUtime=50.74 cores=0,2,4,6
/proc/13536/task/13569/stat : 13569 (claspmt) R 13534 13536 6618 0 -1 4202560 23610 0 0 0 5054 20 0 0 25 0 4 0 654442773 463839232 73262 33554432000 4194304 4964800 140736767154880 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13536/tid=13570] ppid=13534 vsize=452968 CPUtime=50.87 cores=0,2,4,6
/proc/13536/task/13570/stat : 13570 (claspmt) R 13534 13536 6618 0 -1 4202560 14943 0 0 0 5080 7 0 0 25 0 4 0 654442773 463839232 73262 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 211.22
Current children cumulated vsize (KiB) 452968

[startup+59.5005 s]
/proc/loadavg: 6.86 5.19 6.19 9/289 13610
/proc/meminfo: memFree=18457252/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=452968 CPUtime=212.81 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 75669 0 0 0 21231 50 0 0 25 0 4 0 654441954 463839232 73566 33554432000 4194304 4964800 140736767154880 18446744073709551615 4668715 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13536/statm: 113242 73566 460 189 0 107591 0
[pid=13536/tid=13568] ppid=13534 vsize=452968 CPUtime=50.91 cores=0,2,4,6
/proc/13536/task/13568/stat : 13568 (claspmt) R 13534 13536 6618 0 -1 4202560 12343 0 0 0 5086 5 0 0 25 0 4 0 654442773 463839232 73566 33554432000 4194304 4964800 140736767154880 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13536/tid=13569] ppid=13534 vsize=452968 CPUtime=51.14 cores=0,2,4,6
/proc/13536/task/13569/stat : 13569 (claspmt) R 13534 13536 6618 0 -1 4202560 23623 0 0 0 5094 20 0 0 25 0 4 0 654442773 463839232 73566 33554432000 4194304 4964800 140736767154880 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13536/tid=13570] ppid=13534 vsize=452968 CPUtime=51.28 cores=0,2,4,6
/proc/13536/task/13570/stat : 13570 (claspmt) R 13534 13536 6618 0 -1 4202560 15234 0 0 0 5120 8 0 0 25 0 4 0 654442773 463839232 73566 33554432000 4194304 4964800 140736767154880 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 212.81
Current children cumulated vsize (KiB) 452968

[startup+59.6005 s]
/proc/loadavg: 6.86 5.19 6.19 9/289 13610
/proc/meminfo: memFree=18457252/32951132 swapFree=67093824/67111528
[pid=13536] ppid=13534 vsize=451836 CPUtime=212.95 cores=0,2,4,6
/proc/13536/stat : 13536 (claspmt) R 13534 13536 6618 0 -1 4202496 75688 0 0 0 21245 50 0 0 25 0 1 0 654441954 462680064 72898 33554432000 4194304 4964800 140736767154880 18446744073709551615 274664463713 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/13536/statm: 112959 72890 471 189 0 107308 0
Current children cumulated CPU time (s) 212.95
Current children cumulated vsize (KiB) 451836

Child status: 10
Real time (s): 59.6192
CPU time (s): 212.982
CPU user time (s): 212.464
CPU system time (s): 0.517921
CPU usage (%): 357.237
Max. virtual memory (cumulated for all children) (KiB): 452968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.464
system time used= 0.517921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75689
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= 2322
involuntary context switches= 958

runsolver used 0.158975 second user time and 0.38894 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-15 05:00:23
IDJOB=3373436
IDBENCH=83443
IDSOLVER=1853
FILE ID=node131/3373436-1305428423
RUNJOBID= node131-1305428390-13422
PBS_JOBID= 13324598
Free space on /tmp= 73696 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1107283172

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:      18903992 kB
Buffers:        279808 kB
Cached:        3768360 kB
SwapCached:       1504 kB
Active:       10627504 kB
Inactive:      3162352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      18903992 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:           15200 kB
Writeback:          20 kB
AnonPages:     9739812 kB
Mapped:          27260 kB
Slab:           165048 kB
PageTables:      30780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28049872 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:01:23