Trace number 3322530

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095SAT 186.775 31.2803

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3322530-1304387860/watcher-3322530-1304387860 -o /tmp/evaluation-result-3322530-1304387860/solver-3322530-1304387860 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322530-1304387860.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.58 7.96 7.95 2/288 323
/proc/meminfo: memFree=25346748/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=20792 CPUtime=0 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4194304 255 0 0 0 0 0 0 0 22 0 1 0 550384582 21291008 203 33554432000 4194304 4964704 140734982368720 18446744073709551615 210199685009 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/323/statm: 5198 203 167 189 0 59 0

[startup+0.048511 s]
/proc/loadavg: 7.58 7.96 7.95 2/288 323
/proc/meminfo: memFree=25346748/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=29180 CPUtime=0.04 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 3051 0 0 0 4 0 0 0 22 0 1 0 550384582 29880320 2437 33554432000 4194304 4964704 140734982368720 18446744073709551615 4581548 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/323/statm: 7295 2438 389 189 0 2169 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29180

[startup+0.100503 s]
/proc/loadavg: 7.58 7.96 7.95 2/288 323
/proc/meminfo: memFree=25346748/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=36188 CPUtime=0.08 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 5135 0 0 0 8 0 0 0 22 0 1 0 550384582 37056512 4250 33554432000 4194304 4964704 140734982368720 18446744073709551615 210204308165 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/323/statm: 9047 4251 389 189 0 3921 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36188

[startup+0.300467 s]
/proc/loadavg: 7.58 7.96 7.95 2/288 323
/proc/meminfo: memFree=25346748/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=55792 CPUtime=0.28 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 10499 0 0 0 27 1 0 0 23 0 1 0 550384582 57131008 9121 33554432000 4194304 4964704 140734982368720 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/323/statm: 13948 9121 403 189 0 8822 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 55792

[startup+0.700404 s]
/proc/loadavg: 7.58 7.96 7.95 2/288 323
/proc/meminfo: memFree=25346748/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=55792 CPUtime=0.68 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 10499 0 0 0 67 1 0 0 25 0 1 0 550384582 57131008 9121 33554432000 4194304 4964704 140734982368720 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/323/statm: 13948 9121 403 189 0 8822 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 55792

[startup+1.50027 s]
/proc/loadavg: 7.58 7.96 7.95 2/289 324
/proc/meminfo: memFree=25311780/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=55792 CPUtime=1.48 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 10499 0 0 0 147 1 0 0 25 0 1 0 550384582 57131008 9121 33554432000 4194304 4964704 140734982368720 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/323/statm: 13948 9121 403 189 0 8822 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55792

[startup+3.10101 s]
/proc/loadavg: 7.58 7.96 7.95 2/289 324
/proc/meminfo: memFree=25311160/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=55792 CPUtime=3.09 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 10499 0 0 0 308 1 0 0 25 0 1 0 550384582 57131008 9121 33554432000 4194304 4964704 140734982368720 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/323/statm: 13948 9121 403 189 0 8822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55792

[startup+6.30046 s]
/proc/loadavg: 7.05 7.85 7.91 2/289 324
/proc/meminfo: memFree=25311572/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=55792 CPUtime=6.29 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 10499 0 0 0 627 2 0 0 25 0 1 0 550384582 57131008 9121 33554432000 4194304 4964704 140734982368720 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/323/statm: 13948 9121 403 189 0 8822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55792

[startup+12.7004 s]
/proc/loadavg: 6.57 7.73 7.87 9/296 331
/proc/meminfo: memFree=25135616/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=507764 CPUtime=39.62 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 57464 0 0 0 3941 21 0 0 25 0 8 0 550384582 519950336 55366 33554432000 4194304 4964704 140734982368720 18446744073709551615 4668668 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/323/statm: 126941 55367 464 189 0 121290 0
[pid=323/tid=325] ppid=321 vsize=507764 CPUtime=3.85 cores=0-7
/proc/323/task/325/stat : 325 (claspmt) R 321 323 32624 0 -1 4202560 4775 0 0 0 384 1 0 0 21 0 8 0 550385371 519950336 55367 33554432000 4194304 4964704 140734982368720 18446744073709551615 4659143 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=323/tid=326] ppid=321 vsize=507764 CPUtime=3.87 cores=0-7
/proc/323/task/326/stat : 326 (claspmt) R 321 323 32624 0 -1 4202560 7547 0 0 0 384 3 0 0 21 0 8 0 550385371 519950336 55368 33554432000 4194304 4964704 140734982368720 18446744073709551615 210204308513 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=323/tid=327] ppid=321 vsize=507764 CPUtime=3.85 cores=0-7
/proc/323/task/327/stat : 327 (claspmt) R 321 323 32624 0 -1 4202560 4871 0 0 0 383 2 0 0 21 0 8 0 550385371 519950336 55372 33554432000 4194304 4964704 140734982368720 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=323/tid=328] ppid=321 vsize=507764 CPUtime=3.86 cores=0-7
/proc/323/task/328/stat : 328 (claspmt) R 321 323 32624 0 -1 4202560 4875 0 0 0 384 2 0 0 21 0 8 0 550385371 519950336 55372 33554432000 4194304 4964704 140734982368720 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=323/tid=329] ppid=321 vsize=507764 CPUtime=4.71 cores=0-7
/proc/323/task/329/stat : 329 (claspmt) R 321 323 32624 0 -1 4202560 5165 0 0 0 469 2 0 0 25 0 8 0 550385371 519950336 55372 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=323/tid=330] ppid=321 vsize=507764 CPUtime=3.85 cores=0-7
/proc/323/task/330/stat : 330 (claspmt) R 321 323 32624 0 -1 4202560 8659 0 0 0 383 2 0 0 21 0 8 0 550385371 519950336 55372 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=323/tid=331] ppid=321 vsize=507764 CPUtime=3.87 cores=0-7
/proc/323/task/331/stat : 331 (claspmt) R 321 323 32624 0 -1 4202560 6917 0 0 0 384 3 0 0 21 0 8 0 550385371 519950336 55372 33554432000 4194304 4964704 140734982368720 18446744073709551615 210204308513 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 507764

[startup+25.5012 s]
/proc/loadavg: 6.96 7.76 7.88 9/296 331
/proc/meminfo: memFree=25005204/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=527896 CPUtime=141.91 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 88925 0 0 0 14150 41 0 0 25 0 8 0 550384582 540565504 86827 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/323/statm: 131974 86827 466 189 0 126323 0
[pid=323/tid=325] ppid=321 vsize=527896 CPUtime=16.65 cores=0-7
/proc/323/task/325/stat : 325 (claspmt) R 321 323 32624 0 -1 4202560 6949 0 0 0 1662 3 0 0 25 0 8 0 550385371 540565504 86827 33554432000 4194304 4964704 140734982368720 18446744073709551615 4632500 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=323/tid=326] ppid=321 vsize=527896 CPUtime=16.67 cores=0-7
/proc/323/task/326/stat : 326 (claspmt) R 321 323 32624 0 -1 4202560 12682 0 0 0 1660 7 0 0 25 0 8 0 550385371 540565504 86827 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=323/tid=327] ppid=321 vsize=527896 CPUtime=16.66 cores=0-7
/proc/323/task/327/stat : 327 (claspmt) R 321 323 32624 0 -1 4202560 6926 0 0 0 1662 4 0 0 25 0 8 0 550385371 540565504 86827 33554432000 4194304 4964704 140734982368720 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=323/tid=328] ppid=321 vsize=527896 CPUtime=16.66 cores=0-7
/proc/323/task/328/stat : 328 (claspmt) R 321 323 32624 0 -1 4202560 7741 0 0 0 1662 4 0 0 25 0 8 0 550385371 540565504 86827 33554432000 4194304 4964704 140734982368720 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=323/tid=329] ppid=321 vsize=527896 CPUtime=17.39 cores=0-7
/proc/323/task/329/stat : 329 (claspmt) R 321 323 32624 0 -1 4202560 5252 0 0 0 1737 2 0 0 25 0 8 0 550385371 540565504 86827 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=323/tid=330] ppid=321 vsize=527896 CPUtime=16.65 cores=0-7
/proc/323/task/330/stat : 330 (claspmt) R 321 323 32624 0 -1 4202560 11380 0 0 0 1661 4 0 0 25 0 8 0 550385371 540565504 86827 33554432000 4194304 4964704 140734982368720 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=323/tid=331] ppid=321 vsize=527896 CPUtime=16.67 cores=0-7
/proc/323/task/331/stat : 331 (claspmt) R 321 323 32624 0 -1 4202560 19783 0 0 0 1658 9 0 0 25 0 8 0 550385371 540565504 86827 33554432000 4194304 4964704 140734982368720 18446744073709551615 4366918 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 141.91
Current children cumulated vsize (KiB) 527896

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

[startup+28.7007 s]
/proc/loadavg: 7.05 7.76 7.88 9/296 331
/proc/meminfo: memFree=24984860/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=529096 CPUtime=167.46 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 93803 0 0 0 16703 43 0 0 25 0 8 0 550384582 541794304 91705 33554432000 4194304 4964704 140734982368720 18446744073709551615 210204308513 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/323/statm: 132274 91705 466 189 0 126623 0
[pid=323/tid=325] ppid=321 vsize=529096 CPUtime=19.85 cores=0-7
/proc/323/task/325/stat : 325 (claspmt) R 321 323 32624 0 -1 4202560 7441 0 0 0 1981 4 0 0 25 0 8 0 550385371 541794304 91705 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=323/tid=326] ppid=321 vsize=529096 CPUtime=19.86 cores=0-7
/proc/323/task/326/stat : 326 (claspmt) R 321 323 32624 0 -1 4202560 13073 0 0 0 1979 7 0 0 25 0 8 0 550385371 541794304 91705 33554432000 4194304 4964704 140734982368720 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=323/tid=327] ppid=321 vsize=529096 CPUtime=19.86 cores=0-7
/proc/323/task/327/stat : 327 (claspmt) R 321 323 32624 0 -1 4202560 7277 0 0 0 1982 4 0 0 25 0 8 0 550385371 541794304 91705 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=323/tid=328] ppid=321 vsize=529096 CPUtime=19.86 cores=0-7
/proc/323/task/328/stat : 328 (claspmt) R 321 323 32624 0 -1 4202560 8307 0 0 0 1982 4 0 0 25 0 8 0 550385371 541794304 91705 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=323/tid=329] ppid=321 vsize=529096 CPUtime=20.56 cores=0-7
/proc/323/task/329/stat : 329 (claspmt) R 321 323 32624 0 -1 4202560 5256 0 0 0 2054 2 0 0 25 0 8 0 550385371 541794304 91705 33554432000 4194304 4964704 140734982368720 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=323/tid=330] ppid=321 vsize=529096 CPUtime=19.85 cores=0-7
/proc/323/task/330/stat : 330 (claspmt) R 321 323 32624 0 -1 4202560 11746 0 0 0 1981 4 0 0 25 0 8 0 550385371 541794304 91705 33554432000 4194304 4964704 140734982368720 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=323/tid=331] ppid=321 vsize=529096 CPUtime=19.86 cores=0-7
/proc/323/task/331/stat : 331 (claspmt) R 321 323 32624 0 -1 4202560 21170 0 0 0 1977 9 0 0 25 0 8 0 550385371 541794304 91705 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 167.46
Current children cumulated vsize (KiB) 529096

[startup+30.3004 s]
/proc/loadavg: 7.05 7.76 7.88 9/296 331
/proc/meminfo: memFree=24981264/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=529096 CPUtime=180.25 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 94653 0 0 0 17981 44 0 0 25 0 8 0 550384582 541794304 92555 33554432000 4194304 4964704 140734982368720 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/323/statm: 132274 92555 466 189 0 126623 0
[pid=323/tid=325] ppid=321 vsize=529096 CPUtime=21.45 cores=0-7
/proc/323/task/325/stat : 325 (claspmt) R 321 323 32624 0 -1 4202560 7441 0 0 0 2141 4 0 0 25 0 8 0 550385371 541794304 92555 33554432000 4194304 4964704 140734982368720 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=323/tid=326] ppid=321 vsize=529096 CPUtime=21.47 cores=0-7
/proc/323/task/326/stat : 326 (claspmt) R 321 323 32624 0 -1 4202560 13463 0 0 0 2139 8 0 0 25 0 8 0 550385371 541794304 92555 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=323/tid=327] ppid=321 vsize=529096 CPUtime=21.46 cores=0-7
/proc/323/task/327/stat : 327 (claspmt) R 321 323 32624 0 -1 4202560 7337 0 0 0 2142 4 0 0 25 0 8 0 550385371 541794304 92555 33554432000 4194304 4964704 140734982368720 18446744073709551615 4669399 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=323/tid=328] ppid=321 vsize=529096 CPUtime=21.46 cores=0-7
/proc/323/task/328/stat : 328 (claspmt) R 321 323 32624 0 -1 4202560 8372 0 0 0 2142 4 0 0 25 0 8 0 550385371 541794304 92555 33554432000 4194304 4964704 140734982368720 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=323/tid=329] ppid=321 vsize=529096 CPUtime=22.15 cores=0-7
/proc/323/task/329/stat : 329 (claspmt) R 321 323 32624 0 -1 4202560 5260 0 0 0 2213 2 0 0 25 0 8 0 550385371 541794304 92555 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=323/tid=330] ppid=321 vsize=529096 CPUtime=21.45 cores=0-7
/proc/323/task/330/stat : 330 (claspmt) R 321 323 32624 0 -1 4202560 11748 0 0 0 2141 4 0 0 25 0 8 0 550385371 541794304 92555 33554432000 4194304 4964704 140734982368720 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=323/tid=331] ppid=321 vsize=529096 CPUtime=21.46 cores=0-7
/proc/323/task/331/stat : 331 (claspmt) R 321 323 32624 0 -1 4202560 21334 0 0 0 2137 9 0 0 25 0 8 0 550385371 541794304 92556 33554432000 4194304 4964704 140734982368720 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 180.25
Current children cumulated vsize (KiB) 529096

[startup+30.7003 s]
/proc/loadavg: 7.05 7.76 7.88 9/296 331
/proc/meminfo: memFree=24978412/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=529096 CPUtime=183.46 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 95202 0 0 0 18301 45 0 0 25 0 8 0 550384582 541794304 93104 33554432000 4194304 4964704 140734982368720 18446744073709551615 4320984 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/323/statm: 132274 93104 466 189 0 126623 0
[pid=323/tid=325] ppid=321 vsize=529096 CPUtime=21.86 cores=0-7
/proc/323/task/325/stat : 325 (claspmt) R 321 323 32624 0 -1 4202560 7441 0 0 0 2182 4 0 0 25 0 8 0 550385371 541794304 93113 33554432000 4194304 4964704 140734982368720 18446744073709551615 4669399 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=323/tid=326] ppid=321 vsize=529096 CPUtime=21.88 cores=0-7
/proc/323/task/326/stat : 326 (claspmt) R 321 323 32624 0 -1 4202560 13579 0 0 0 2180 8 0 0 25 0 8 0 550385371 541794304 93113 33554432000 4194304 4964704 140734982368720 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=323/tid=327] ppid=321 vsize=529096 CPUtime=21.86 cores=0-7
/proc/323/task/327/stat : 327 (claspmt) R 321 323 32624 0 -1 4202560 7348 0 0 0 2182 4 0 0 25 0 8 0 550385371 541794304 93113 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670590 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=323/tid=328] ppid=321 vsize=529096 CPUtime=21.87 cores=0-7
/proc/323/task/328/stat : 328 (claspmt) R 321 323 32624 0 -1 4202560 8376 0 0 0 2183 4 0 0 25 0 8 0 550385371 541794304 93113 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=323/tid=329] ppid=321 vsize=529096 CPUtime=22.55 cores=0-7
/proc/323/task/329/stat : 329 (claspmt) R 321 323 32624 0 -1 4202560 5260 0 0 0 2253 2 0 0 25 0 8 0 550385371 541794304 93113 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=323/tid=330] ppid=321 vsize=529096 CPUtime=21.86 cores=0-7
/proc/323/task/330/stat : 330 (claspmt) R 321 323 32624 0 -1 4202560 11748 0 0 0 2182 4 0 0 25 0 8 0 550385371 541794304 93113 33554432000 4194304 4964704 140734982368720 18446744073709551615 4670565 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=323/tid=331] ppid=321 vsize=529096 CPUtime=21.88 cores=0-7
/proc/323/task/331/stat : 331 (claspmt) R 321 323 32624 0 -1 4202560 21701 0 0 0 2178 10 0 0 25 0 8 0 550385371 541794304 93113 33554432000 4194304 4964704 140734982368720 18446744073709551615 210204308513 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 183.46
Current children cumulated vsize (KiB) 529096

[startup+31.1013 s]
/proc/loadavg: 7.05 7.76 7.88 9/296 331
/proc/meminfo: memFree=24978412/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=527964 CPUtime=186.59 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 95651 0 0 0 18614 45 0 0 25 0 1 0 550384582 540635136 93270 33554432000 4194304 4964704 140734982368720 18446744073709551615 4342080 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/323/statm: 131991 93270 476 189 0 126340 0
Current children cumulated CPU time (s) 186.59
Current children cumulated vsize (KiB) 527964

[startup+31.2003 s]
/proc/loadavg: 7.05 7.76 7.88 9/296 331
/proc/meminfo: memFree=24978412/32951124 swapFree=67107192/67111528
[pid=323] ppid=321 vsize=527964 CPUtime=186.69 cores=0-7
/proc/323/stat : 323 (claspmt) R 321 323 32624 0 -1 4202496 95651 0 0 0 18624 45 0 0 25 0 1 0 550384582 540635136 92651 33554432000 4194304 4964704 140734982368720 18446744073709551615 4646575 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/323/statm: 131991 92651 476 189 0 126340 0
Current children cumulated CPU time (s) 186.69
Current children cumulated vsize (KiB) 527964

Child status: 10
Real time (s): 31.2803
CPU time (s): 186.775
CPU user time (s): 186.305
CPU system time (s): 0.469928
CPU usage (%): 597.099
Max. virtual memory (cumulated for all children) (KiB): 529096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.305
system time used= 0.469928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95652
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= 20771
involuntary context switches= 1031

runsolver used 0.087986 second user time and 0.198969 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-03 03:57:41
IDJOB=3322530
IDBENCH=83443
IDSOLVER=1711
FILE ID=node130/3322530-1304387860
RUNJOBID= node130-1304386746-32638
PBS_JOBID= 13181811
Free space on /tmp= 73440 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3322530-1304387860/watcher-3322530-1304387860 -o /tmp/evaluation-result-3322530-1304387860/solver-3322530-1304387860 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322530-1304387860.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1000315809

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25347268 kB
Buffers:        281348 kB
Cached:        2510304 kB
SwapCached:       2028 kB
Active:        5114480 kB
Inactive:      2179884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25347268 kB
SwapTotal:    67111528 kB
SwapFree:     67107192 kB
Dirty:           11844 kB
Writeback:           0 kB
AnonPages:     4502232 kB
Mapped:          23824 kB
Slab:           221212 kB
PageTables:      24900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51453708 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73440 MiB
End job on node130 at 2011-05-03 03:58:12