Trace number 3290494

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
PicoSAT 941SAT 704.855 704.84

General information on the benchmark

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

Solver Data 

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

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-3290494-1303785823/watcher-3290494-1303785823 -o /tmp/evaluation-result-3290494-1303785823/solver-3290494-1303785823 -C 2400 -W 1300 -M 7680 picosat HOME/instance-3290494-1303785823.cnf 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 2.59 2.74 3.17 5/189 14834
/proc/meminfo: memFree=21552408/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=2516 CPUtime=0 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 369 0 0 0 0 0 0 0 25 0 1 0 490182105 2576384 315 33554432000 134512640 134603332 4289382352 18446744073709551615 3327484 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 629 315 89 23 0 255 0

[startup+0.068057 s]
/proc/loadavg: 2.59 2.74 3.17 5/189 14834
/proc/meminfo: memFree=21552408/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=6464 CPUtime=0.06 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 1297 0 0 0 6 0 0 0 25 0 1 0 490182105 6619136 1243 33554432000 134512640 134603332 4289382352 18446744073709551615 3327484 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 1616 1244 91 23 0 1242 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6464

[startup+0.101051 s]
/proc/loadavg: 2.59 2.74 3.17 5/189 14834
/proc/meminfo: memFree=21552408/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=8972 CPUtime=0.09 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 1980 0 0 0 9 0 0 0 25 0 1 0 490182105 9187328 1926 33554432000 134512640 134603332 4289382352 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 2243 1927 91 23 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8972

[startup+0.301021 s]
/proc/loadavg: 2.59 2.74 3.17 5/189 14834
/proc/meminfo: memFree=21552408/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=23840 CPUtime=0.29 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 5579 0 0 0 28 1 0 0 25 0 1 0 490182105 24412160 5525 33554432000 134512640 134603332 4289382352 18446744073709551615 134543859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 5960 5525 98 23 0 5586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23840

[startup+0.700946 s]
/proc/loadavg: 2.59 2.74 3.17 5/189 14834
/proc/meminfo: memFree=21552408/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=25032 CPUtime=0.69 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 5855 0 0 0 68 1 0 0 25 0 1 0 490182105 25632768 5801 33554432000 134512640 134603332 4289382352 18446744073709551615 134565442 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 6258 5801 98 23 0 5884 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25032

[startup+1.50081 s]
/proc/loadavg: 2.70 2.76 3.18 5/190 14835
/proc/meminfo: memFree=21528352/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=27732 CPUtime=1.49 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 6556 0 0 0 148 1 0 0 25 0 1 0 490182105 28397568 6502 33554432000 134512640 134603332 4289382352 18446744073709551615 134563962 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 6933 6502 98 23 0 6559 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27732

[startup+3.10046 s]
/proc/loadavg: 2.70 2.76 3.18 5/190 14835
/proc/meminfo: memFree=21524260/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=32088 CPUtime=3.09 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 7641 0 0 0 308 1 0 0 25 0 1 0 490182105 32858112 7587 33554432000 134512640 134603332 4289382352 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 8022 7587 98 23 0 7648 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32088

[startup+6.30089 s]
/proc/loadavg: 2.80 2.78 3.18 5/190 14835
/proc/meminfo: memFree=21514960/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=40664 CPUtime=6.28 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 9778 0 0 0 627 1 0 0 25 0 1 0 490182105 41639936 9724 33554432000 134512640 134603332 4289382352 18446744073709551615 134525408 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 10166 9724 98 23 0 9792 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40664

[startup+12.7008 s]
/proc/loadavg: 2.90 2.80 3.19 5/190 14836
/proc/meminfo: memFree=21499580/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=55308 CPUtime=12.69 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 13389 0 0 0 1267 2 0 0 25 0 1 0 490182105 56635392 13335 33554432000 134512640 134603332 4289382352 18446744073709551615 134551031 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 13827 13335 98 23 0 13453 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55308

[startup+25.5005 s]
/proc/loadavg: 3.14 2.85 3.20 5/190 14836
/proc/meminfo: memFree=21474272/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=79712 CPUtime=25.49 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 19436 0 0 0 2545 4 0 0 25 0 1 0 490182105 81625088 19382 33554432000 134512640 134603332 4289382352 18446744073709551615 134546950 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 19928 19382 98 23 0 19554 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79712

[startup+51.1009 s]
/proc/loadavg: 3.43 2.95 3.22 5/190 14837
/proc/meminfo: memFree=21434600/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=118652 CPUtime=51.09 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 29259 0 0 0 5102 7 0 0 25 0 1 0 490182105 121499648 29205 33554432000 134512640 134603332 4289382352 18446744073709551615 134564640 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 29663 29205 98 23 0 29289 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118652

[startup+102.307 s]
/proc/loadavg: 3.75 3.11 3.26 5/190 14838
/proc/meminfo: memFree=21377924/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=173796 CPUtime=102.3 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 42891 0 0 0 10219 11 0 0 25 0 1 0 490182105 177967104 42837 33554432000 134512640 134603332 4289382352 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 43449 42837 98 23 0 43075 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 173796

[startup+162.3 s]
/proc/loadavg: 3.91 3.27 3.30 5/190 14840
/proc/meminfo: memFree=21298556/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=253856 CPUtime=162.29 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 62601 0 0 0 16211 18 0 0 25 0 1 0 490182105 259948544 62547 33554432000 134512640 134603332 4289382352 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 63464 62547 98 23 0 63090 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 253856

[startup+222.301 s]
/proc/loadavg: 3.96 3.40 3.34 5/190 14841
/proc/meminfo: memFree=21243480/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=307844 CPUtime=222.3 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 76226 0 0 0 22207 23 0 0 25 0 1 0 490182105 315232256 76172 33554432000 134512640 134603332 4289382352 18446744073709551615 134566329 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 76961 76172 98 23 0 76587 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 307844

[startup+282.301 s]
/proc/loadavg: 3.98 3.50 3.38 5/190 14843
/proc/meminfo: memFree=21196100/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=354704 CPUtime=282.29 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 88033 0 0 0 28202 27 0 0 25 0 1 0 490182105 363216896 87979 33554432000 134512640 134603332 4289382352 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 88676 87979 98 23 0 88302 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 354704

[startup+342.301 s]
/proc/loadavg: 3.99 3.59 3.41 5/190 14844
/proc/meminfo: memFree=21156160/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=394172 CPUtime=342.3 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 97961 0 0 0 34200 30 0 0 25 0 1 0 490182105 403632128 97907 33554432000 134512640 134603332 4289382352 18446744073709551615 134550959 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 98543 97907 98 23 0 98169 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 394172

[startup+402.3 s]
/proc/loadavg: 3.99 3.66 3.45 5/190 14846
/proc/meminfo: memFree=21114852/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=435224 CPUtime=402.3 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 108310 0 0 0 40196 34 0 0 25 0 1 0 490182105 445669376 108256 33554432000 134512640 134603332 4289382352 18446744073709551615 134556016 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 108806 108256 98 23 0 108432 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 435224

[startup+462.301 s]
/proc/loadavg: 3.99 3.72 3.48 5/190 14848
/proc/meminfo: memFree=21056184/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=497400 CPUtime=462.3 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 122927 0 0 0 46192 38 0 0 25 0 1 0 490182105 509337600 122873 33554432000 134512640 134603332 4289382352 18446744073709551615 134550669 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 124350 122873 98 23 0 123976 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 497400

[startup+522.301 s]
/proc/loadavg: 3.99 3.77 3.51 5/190 14849
/proc/meminfo: memFree=21008928/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=544656 CPUtime=522.31 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 134806 0 0 0 52187 44 0 0 25 0 1 0 490182105 557727744 134752 33554432000 134512640 134603332 4289382352 18446744073709551615 134551056 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 136164 134752 98 23 0 135790 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 544656

[startup+582.3 s]
/proc/loadavg: 4.04 3.82 3.54 5/190 14851
/proc/meminfo: memFree=20968116/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=584388 CPUtime=582.31 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 144829 0 0 0 58183 48 0 0 25 0 1 0 490182105 598413312 144775 33554432000 134512640 134603332 4289382352 18446744073709551615 134563934 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 146097 144775 98 23 0 145723 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 584388

[startup+642.301 s]
/proc/loadavg: 4.01 3.85 3.57 5/190 14853
/proc/meminfo: memFree=20929908/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=621216 CPUtime=642.31 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 154088 0 0 0 64180 51 0 0 25 0 1 0 490182105 636125184 154034 33554432000 134512640 134603332 4289382352 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 155304 154034 98 23 0 154930 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 621216

[startup+702.301 s]
/proc/loadavg: 4.00 3.88 3.59 5/190 14854
/proc/meminfo: memFree=20901132/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=649992 CPUtime=702.3 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 161356 0 0 0 70176 54 0 0 25 0 1 0 490182105 665591808 161302 33554432000 134512640 134603332 4289382352 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 162498 161302 98 23 0 162124 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 649992

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

[startup+703.901 s]
/proc/loadavg: 4.00 3.88 3.59 5/190 14854
/proc/meminfo: memFree=20899520/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=650784 CPUtime=703.91 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 161541 0 0 0 70337 54 0 0 25 0 1 0 490182105 666402816 161487 33554432000 134512640 134603332 4289382352 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 162696 161487 98 23 0 162322 0
Current children cumulated CPU time (s) 703.91
Current children cumulated vsize (KiB) 650784

[startup+704.301 s]
/proc/loadavg: 4.00 3.88 3.59 5/190 14854
/proc/meminfo: memFree=20899520/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=650916 CPUtime=704.3 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 161571 0 0 0 70376 54 0 0 25 0 1 0 490182105 666537984 161517 33554432000 134512640 134603332 4289382352 18446744073709551615 134551018 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 162729 161517 98 23 0 162355 0
Current children cumulated CPU time (s) 704.3
Current children cumulated vsize (KiB) 650916

[startup+704.701 s]
/proc/loadavg: 4.00 3.88 3.59 5/190 14854
/proc/meminfo: memFree=20899520/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=651052 CPUtime=704.7 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 161634 0 0 0 70416 54 0 0 25 0 1 0 490182105 666677248 161580 33554432000 134512640 134603332 4289382352 18446744073709551615 3321918 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 162763 161580 110 23 0 162389 0
Current children cumulated CPU time (s) 704.7
Current children cumulated vsize (KiB) 651052

[startup+704.801 s]
/proc/loadavg: 4.00 3.88 3.59 5/190 14854
/proc/meminfo: memFree=20899520/32950904 swapFree=67082284/67111528
[pid=14834] ppid=14832 vsize=651052 CPUtime=704.8 cores=0,2
/proc/14834/stat : 14834 (picosat) R 14832 14834 13829 0 -1 4202496 161634 0 0 0 70426 54 0 0 25 0 1 0 490182105 666677248 161580 33554432000 134512640 134603332 4289382352 18446744073709551615 3321606 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14834/statm: 162763 161580 110 23 0 162389 0
Current children cumulated CPU time (s) 704.8
Current children cumulated vsize (KiB) 651052

Child status: 10
Real time (s): 704.84
CPU time (s): 704.855
CPU user time (s): 704.276
CPU system time (s): 0.578911
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 651052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 704.276
system time used= 0.578911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161635
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= 5
involuntary context switches= 735

runsolver used 1.17882 second user time and 2.67059 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-26 04:43:44
IDJOB=3290494
IDBENCH=83436
IDSOLVER=1604
FILE ID=node121/3290494-1303785823
RUNJOBID= node121-1303785785-14710
PBS_JOBID= 13157234
Free space on /tmp= 72796 MiB

SOLVER NAME= PicoSAT 941
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290494-1303785823/watcher-3290494-1303785823 -o /tmp/evaluation-result-3290494-1303785823/solver-3290494-1303785823 -C 2400 -W 1300 -M 7680  picosat HOME/instance-3290494-1303785823.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=2034996712

node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      21552564 kB
Buffers:       2150796 kB
Cached:        8690596 kB
SwapCached:       2776 kB
Active:        8059428 kB
Inactive:      2829956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      21552564 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           14976 kB
Writeback:           0 kB
AnonPages:       45140 kB
Mapped:          14696 kB
Slab:           445268 kB
PageTables:       5036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   255140 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= 72796 MiB
End job on node121 at 2011-04-26 04:55:28