Trace number 3291186

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
Lingeling 587SAT 159.725 159.719

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

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

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-3291186-1307668284/watcher-3291186-1307668284 -o /tmp/evaluation-result-3291186-1307668284/solver-3291186-1307668284 -C 2400 -W 1300 -M 7680 lingeling HOME/instance-3291186-1307668284.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: 4.00 4.51 5.41 4/189 11923
/proc/meminfo: memFree=31474292/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=7376 CPUtime=0 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 1 0 878425138 7553024 368 33554432000 4194304 4409164 140735419546880 18446744073709551615 254500385773 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 1844 368 112 53 0 267 0

[startup+0.060481 s]
/proc/loadavg: 4.00 4.51 5.41 4/189 11923
/proc/meminfo: memFree=31474292/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=12380 CPUtime=0.05 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 1678 0 0 0 5 0 0 0 25 0 1 0 878425138 12677120 1620 33554432000 4194304 4409164 140735419546880 18446744073709551615 254500691712 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 3095 1620 113 53 0 1518 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12380

[startup+0.100501 s]
/proc/loadavg: 4.00 4.51 5.41 4/189 11923
/proc/meminfo: memFree=31474292/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=15964 CPUtime=0.09 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 2574 0 0 0 9 0 0 0 25 0 1 0 878425138 16347136 2516 33554432000 4194304 4409164 140735419546880 18446744073709551615 254500691712 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 3991 2516 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.30047 s]
/proc/loadavg: 4.00 4.51 5.41 4/189 11923
/proc/meminfo: memFree=31474292/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=40540 CPUtime=0.29 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 8718 0 0 0 28 1 0 0 25 0 1 0 878425138 41512960 8660 33554432000 4194304 4409164 140735419546880 18446744073709551615 254500691712 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 10135 8660 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.70039 s]
/proc/loadavg: 4.00 4.51 5.41 4/189 11923
/proc/meminfo: memFree=31474292/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=40824 CPUtime=0.69 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 9002 0 0 0 67 2 0 0 25 0 1 0 878425138 41803776 8715 33554432000 4194304 4409164 140735419546880 18446744073709551615 4304275 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 10206 8715 129 53 0 8629 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40824

[startup+1.50022 s]
/proc/loadavg: 4.00 4.51 5.41 5/190 11924
/proc/meminfo: memFree=31438968/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=40824 CPUtime=1.49 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 9104 0 0 0 147 2 0 0 25 0 1 0 878425138 41803776 8715 33554432000 4194304 4409164 140735419546880 18446744073709551615 4304418 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 10206 8715 129 53 0 8629 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40824

[startup+3.10091 s]
/proc/loadavg: 4.00 4.51 5.41 5/190 11924
/proc/meminfo: memFree=31422060/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=58352 CPUtime=3.09 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 14456 0 0 0 307 2 0 0 25 0 1 0 878425138 59752448 13101 33554432000 4194304 4409164 140735419546880 18446744073709551615 4249464 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 14588 13101 133 53 0 13011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58352

[startup+6.30026 s]
/proc/loadavg: 4.00 4.50 5.40 5/190 11924
/proc/meminfo: memFree=31472156/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=74636 CPUtime=6.29 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 18535 0 0 0 626 3 0 0 25 0 1 0 878425138 76427264 17180 33554432000 4194304 4409164 140735419546880 18446744073709551615 254500716439 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 18659 17180 141 53 0 17082 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74636

[startup+12.701 s]
/proc/loadavg: 4.00 4.49 5.39 5/190 11924
/proc/meminfo: memFree=31462872/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=78736 CPUtime=12.69 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 20222 0 0 0 1264 5 0 0 25 0 1 0 878425138 80625664 18210 33554432000 4194304 4409164 140735419546880 18446744073709551615 4358255 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 19684 18210 141 53 0 18107 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78736

[startup+25.5004 s]
/proc/loadavg: 4.00 4.47 5.37 5/190 11924
/proc/meminfo: memFree=31475244/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=65136 CPUtime=25.49 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 22240 0 0 0 2540 9 0 0 25 0 1 0 878425138 66699264 14805 33554432000 4194304 4409164 140735419546880 18446744073709551615 4243014 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 16284 14805 141 53 0 14707 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65136

[startup+51.1004 s]
/proc/loadavg: 4.06 4.44 5.33 5/190 11925
/proc/meminfo: memFree=31440484/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=85260 CPUtime=51.09 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 32264 0 0 0 5092 17 0 0 25 0 1 0 878425138 87306240 19836 33554432000 4194304 4409164 140735419546880 18446744073709551615 4256884 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 21315 19836 141 53 0 19738 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85260

[startup+102.307 s]
/proc/loadavg: 4.02 4.37 5.26 5/190 11927
/proc/meminfo: memFree=31435128/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=72788 CPUtime=102.3 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 50092 0 0 0 10201 29 0 0 25 0 1 0 878425138 74534912 16718 33554432000 4194304 4409164 140735419546880 18446744073709551615 4360176 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 18197 16718 141 53 0 16620 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 72788

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

[startup+127.901 s]
/proc/loadavg: 4.01 4.34 5.23 5/190 11927
/proc/meminfo: memFree=31422456/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=72592 CPUtime=127.9 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 59426 0 0 0 12754 36 0 0 25 0 1 0 878425138 74334208 16669 33554432000 4194304 4409164 140735419546880 18446744073709551615 4358341 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 18148 16669 141 53 0 16571 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 72592

[startup+140.701 s]
/proc/loadavg: 4.01 4.32 5.21 5/190 11928
/proc/meminfo: memFree=31410664/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=77068 CPUtime=140.71 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 61023 0 0 0 14033 38 0 0 25 0 1 0 878425138 78917632 17788 33554432000 4194304 4409164 140735419546880 18446744073709551615 254500716439 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 19267 17788 141 53 0 17690 0
Current children cumulated CPU time (s) 140.71
Current children cumulated vsize (KiB) 77068

[startup+153.501 s]
/proc/loadavg: 4.01 4.31 5.19 5/190 11928
/proc/meminfo: memFree=31419584/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=79368 CPUtime=153.5 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 64931 0 0 0 15309 41 0 0 25 0 1 0 878425138 81272832 18363 33554432000 4194304 4409164 140735419546880 18446744073709551615 4257016 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 19842 18363 141 53 0 18265 0
Current children cumulated CPU time (s) 153.5
Current children cumulated vsize (KiB) 79368

[startup+156.7 s]
/proc/loadavg: 4.01 4.31 5.19 5/190 11928
/proc/meminfo: memFree=31424412/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=72028 CPUtime=156.69 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 65571 0 0 0 15628 41 0 0 25 0 1 0 878425138 73756672 16528 33554432000 4194304 4409164 140735419546880 18446744073709551615 4358603 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 18007 16528 141 53 0 16430 0
Current children cumulated CPU time (s) 156.69
Current children cumulated vsize (KiB) 72028

[startup+158.301 s]
/proc/loadavg: 4.01 4.31 5.19 5/190 11928
/proc/meminfo: memFree=31421436/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=73000 CPUtime=158.31 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 65814 0 0 0 15789 42 0 0 25 0 1 0 878425138 74752000 16771 33554432000 4194304 4409164 140735419546880 18446744073709551615 4358286 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 18250 16771 141 53 0 16673 0
Current children cumulated CPU time (s) 158.31
Current children cumulated vsize (KiB) 73000

[startup+159.101 s]
/proc/loadavg: 4.01 4.31 5.19 5/190 11928
/proc/meminfo: memFree=31421436/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=73292 CPUtime=159.1 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 65887 0 0 0 15868 42 0 0 25 0 1 0 878425138 75051008 16844 33554432000 4194304 4409164 140735419546880 18446744073709551615 4360176 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 18323 16844 141 53 0 16746 0
Current children cumulated CPU time (s) 159.1
Current children cumulated vsize (KiB) 73292

[startup+159.507 s]
/proc/loadavg: 4.01 4.31 5.19 5/190 11928
/proc/meminfo: memFree=31417964/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=73292 CPUtime=159.51 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 65887 0 0 0 15909 42 0 0 25 0 1 0 878425138 75051008 16844 33554432000 4194304 4409164 140735419546880 18446744073709551615 4337483 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 18323 16844 141 53 0 16746 0
Current children cumulated CPU time (s) 159.51
Current children cumulated vsize (KiB) 73292

[startup+159.701 s]
/proc/loadavg: 4.01 4.31 5.19 5/190 11928
/proc/meminfo: memFree=31417964/32950928 swapFree=67053604/67111528
[pid=11923] ppid=11921 vsize=73756 CPUtime=159.7 cores=0,2
/proc/11923/stat : 11923 (lingeling) R 11921 11923 11600 0 -1 4202496 66003 0 0 0 15928 42 0 0 25 0 1 0 878425138 75526144 16960 33554432000 4194304 4409164 140735419546880 18446744073709551615 254500716439 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11923/statm: 18439 16960 141 53 0 16862 0
Current children cumulated CPU time (s) 159.7
Current children cumulated vsize (KiB) 73756

Child status: 10
Real time (s): 159.719
CPU time (s): 159.725
CPU user time (s): 159.298
CPU system time (s): 0.426935
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 94608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.298
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66018
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= 4
involuntary context switches= 407

runsolver used 0.300954 second user time and 0.577912 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-10 03:11:25
IDJOB=3291186
IDBENCH=83475
IDSOLVER=1606
FILE ID=node149/3291186-1307668284
RUNJOBID= node149-1307667676-11618
PBS_JOBID= 13549506
Free space on /tmp= 73768 MiB

SOLVER NAME= Lingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= lingeling BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291186-1307668284/watcher-3291186-1307668284 -o /tmp/evaluation-result-3291186-1307668284/solver-3291186-1307668284 -C 2400 -W 1300 -M 7680  lingeling HOME/instance-3291186-1307668284.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=802200970

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.82
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.806
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:     32950928 kB
MemFree:      31474836 kB
Buffers:         62848 kB
Cached:         597376 kB
SwapCached:      10328 kB
Active:        1015756 kB
Inactive:       319596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31474836 kB
SwapTotal:    67111528 kB
SwapFree:     67053604 kB
Dirty:           20616 kB
Writeback:           0 kB
AnonPages:      672648 kB
Mapped:           9796 kB
Slab:            74264 kB
PageTables:       6620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   910220 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= 73768 MiB
End job on node149 at 2011-06-10 03:14:04