Trace number 3372772

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 587f (fixed)SAT 48.7826 48.7832

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372772-1305425625/watcher-3372772-1305425625 -o /tmp/evaluation-result-3372772-1305425625/solver-3372772-1305425625 -C 5000 -W 5100 -M 15500 lingeling HOME/instance-3372772-1305425625.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.63 4.98 6.54 2/291 31822
/proc/meminfo: memFree=24273636/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=7760 CPUtime=0 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 521 0 0 0 0 0 0 0 21 0 1 0 634978414 7946240 464 33554432000 4194304 4409284 140733424478832 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 1940 464 112 53 0 363 0

[startup+0.029163 s]
/proc/loadavg: 3.63 4.98 6.54 2/291 31822
/proc/meminfo: memFree=24273636/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=9808 CPUtime=0.02 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 1033 0 0 0 2 0 0 0 21 0 1 0 634978414 10043392 976 33554432000 4194304 4409284 140733424478832 18446744073709551615 4229789 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 2452 976 112 53 0 875 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9808

[startup+0.101166 s]
/proc/loadavg: 3.63 4.98 6.54 2/291 31822
/proc/meminfo: memFree=24273636/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=15964 CPUtime=0.09 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 2573 0 0 0 9 0 0 0 21 0 1 0 634978414 16347136 2516 33554432000 4194304 4409284 140733424478832 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 3991 2516 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.301141 s]
/proc/loadavg: 3.63 4.98 6.54 2/291 31822
/proc/meminfo: memFree=24273636/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=40540 CPUtime=0.29 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 8717 0 0 0 28 1 0 0 22 0 1 0 634978414 41512960 8660 33554432000 4194304 4409284 140733424478832 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 10135 8660 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.701054 s]
/proc/loadavg: 3.63 4.98 6.54 2/291 31822
/proc/meminfo: memFree=24273636/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=36504 CPUtime=0.69 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 9003 0 0 0 68 1 0 0 23 0 1 0 634978414 37380096 7634 33554432000 4194304 4409284 140733424478832 18446744073709551615 4309721 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 9126 7634 128 53 0 7549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36504

[startup+1.50092 s]
/proc/loadavg: 3.63 4.98 6.54 3/292 31823
/proc/meminfo: memFree=24242016/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=38512 CPUtime=1.49 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 9716 0 0 0 148 1 0 0 25 0 1 0 634978414 39436288 8139 33554432000 4194304 4409284 140733424478832 18446744073709551615 4272052 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 9628 8139 131 53 0 8051 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38512

[startup+3.10061 s]
/proc/loadavg: 3.63 4.98 6.54 3/292 31823
/proc/meminfo: memFree=24222052/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=65856 CPUtime=3.09 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 17322 0 0 0 307 2 0 0 25 0 1 0 634978414 67436544 14984 33554432000 4194304 4409284 140733424478832 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 16464 14984 140 53 0 14887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65856

[startup+6.30103 s]
/proc/loadavg: 3.50 4.93 6.52 3/292 31823
/proc/meminfo: memFree=24204196/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=68140 CPUtime=6.29 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 17894 0 0 0 625 4 0 0 25 0 1 0 634978414 69775360 15556 33554432000 4194304 4409284 140733424478832 18446744073709551615 4264719 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 17035 15556 141 53 0 15458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68140

[startup+12.7008 s]
/proc/loadavg: 3.38 4.88 6.49 3/292 31823
/proc/meminfo: memFree=24209540/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=61744 CPUtime=12.69 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 19231 0 0 0 1262 7 0 0 25 0 1 0 634978414 63225856 13957 33554432000 4194304 4409284 140733424478832 18446744073709551615 4360264 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 15436 13957 141 53 0 13859 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61744

[startup+25.5005 s]
/proc/loadavg: 3.07 4.74 6.42 3/292 31824
/proc/meminfo: memFree=24204832/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=64308 CPUtime=25.49 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 21519 0 0 0 2539 10 0 0 25 0 1 0 634978414 65851392 14628 33554432000 4194304 4409284 140733424478832 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 16077 14628 141 53 0 14500 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64308

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

[startup+38.3011 s]
/proc/loadavg: 2.91 4.65 6.37 3/292 31824
/proc/meminfo: memFree=24180008/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=78260 CPUtime=38.29 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 28303 0 0 0 3813 16 0 0 25 0 1 0 634978414 80138240 18109 33554432000 4194304 4409284 140733424478832 18446744073709551615 4269742 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 19565 18109 141 53 0 17988 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 78260

[startup+44.7009 s]
/proc/loadavg: 2.84 4.61 6.35 3/292 31851
/proc/meminfo: memFree=24193916/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=84724 CPUtime=44.69 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 30815 0 0 0 4451 18 0 0 25 0 1 0 634978414 86757376 19725 33554432000 4194304 4409284 140733424478832 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 21181 19725 141 53 0 19604 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 84724

[startup+46.3007 s]
/proc/loadavg: 2.77 4.56 6.33 3/292 31851
/proc/meminfo: memFree=24193424/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=78136 CPUtime=46.29 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 33262 0 0 0 4609 20 0 0 25 0 1 0 634978414 80011264 18087 33554432000 4194304 4409284 140733424478832 18446744073709551615 4271656 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 19534 18087 141 53 0 17957 0
Current children cumulated CPU time (s) 46.29
Current children cumulated vsize (KiB) 78136

[startup+47.9004 s]
/proc/loadavg: 2.77 4.56 6.33 3/292 31851
/proc/meminfo: memFree=24200864/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=72216 CPUtime=47.89 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 34718 0 0 0 4768 21 0 0 25 0 1 0 634978414 73949184 16607 33554432000 4194304 4409284 140733424478832 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 18054 16607 141 53 0 16477 0
Current children cumulated CPU time (s) 47.89
Current children cumulated vsize (KiB) 72216

[startup+48.3003 s]
/proc/loadavg: 2.77 4.56 6.33 3/292 31851
/proc/meminfo: memFree=24196736/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=73880 CPUtime=48.3 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 35134 0 0 0 4809 21 0 0 25 0 1 0 634978414 75653120 17023 33554432000 4194304 4409284 140733424478832 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 18470 17023 141 53 0 16893 0
Current children cumulated CPU time (s) 48.3
Current children cumulated vsize (KiB) 73880

[startup+48.7002 s]
/proc/loadavg: 2.77 4.56 6.33 3/292 31851
/proc/meminfo: memFree=24196736/32951124 swapFree=63485424/67111528
[pid=31822] ppid=31820 vsize=73880 CPUtime=48.69 cores=0,2,4,6
/proc/31822/stat : 31822 (lingeling) R 31820 31822 28842 0 -1 4202496 35134 0 0 0 4848 21 0 0 25 0 1 0 634978414 75653120 17023 33554432000 4194304 4409284 140733424478832 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31822/statm: 18470 17023 141 53 0 16893 0
Current children cumulated CPU time (s) 48.69
Current children cumulated vsize (KiB) 73880

Child status: 10
Real time (s): 48.7832
CPU time (s): 48.7826
CPU user time (s): 48.5656
CPU system time (s): 0.216967
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 86580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.5656
system time used= 0.216967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35732
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= 3
involuntary context switches= 49

runsolver used 0.161975 second user time and 0.291955 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-15 04:13:45
IDJOB=3372772
IDBENCH=83436
IDSOLVER=1850
FILE ID=node147/3372772-1305425625
RUNJOBID= node147-1305425625-31802
PBS_JOBID= 13324574
Free space on /tmp= 73148 MiB

SOLVER NAME= Lingeling 587f (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= lingeling BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372772-1305425625/watcher-3372772-1305425625 -o /tmp/evaluation-result-3372772-1305425625/solver-3372772-1305425625 -C 5000 -W 5100 -M 15500  lingeling HOME/instance-3372772-1305425625.cnf

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=926866042

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.836
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.76
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.836
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.836
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:     32951124 kB
MemFree:      24273792 kB
Buffers:        297692 kB
Cached:        5112652 kB
SwapCached:      13132 kB
Active:        1679712 kB
Inactive:      6764636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24273792 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:           16680 kB
Writeback:           0 kB
AnonPages:     3029184 kB
Mapped:          15292 kB
Slab:           141304 kB
PageTables:      28836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44850336 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= 73144 MiB
End job on node147 at 2011-05-15 04:14:34