Trace number 3371938

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 148.802 148.798

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3371938-1305435035/watcher-3371938-1305435035 -o /tmp/evaluation-result-3371938-1305435035/solver-3371938-1305435035 -C 2400 -W 1300 -M 7680 lingeling HOME/instance-3371938-1305435035.cnf 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 5.49 7.33 7.35 5/342 31540
/proc/meminfo: memFree=22567792/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=7504 CPUtime=0 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 457 0 0 0 0 0 0 0 25 0 1 0 635919215 7684096 400 33554432000 4194304 4409284 140735561486224 18446744073709551615 270338383616 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 1876 400 112 53 0 299 0

[startup+0.0339599 s]
/proc/loadavg: 5.49 7.33 7.35 5/342 31540
/proc/meminfo: memFree=22567792/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=9808 CPUtime=0.03 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 1033 0 0 0 3 0 0 0 25 0 1 0 635919215 10043392 976 33554432000 4194304 4409284 140735561486224 18446744073709551615 270338002518 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 2452 976 112 53 0 875 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9808

[startup+0.100977 s]
/proc/loadavg: 5.49 7.33 7.35 5/342 31540
/proc/meminfo: memFree=22567792/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=15964 CPUtime=0.09 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 2573 0 0 0 9 0 0 0 25 0 1 0 635919215 16347136 2516 33554432000 4194304 4409284 140735561486224 18446744073709551615 270338383616 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 3991 2516 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.300938 s]
/proc/loadavg: 5.49 7.33 7.35 5/342 31540
/proc/meminfo: memFree=22567792/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=40540 CPUtime=0.29 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 8717 0 0 0 28 1 0 0 25 0 1 0 635919215 41512960 8660 33554432000 4194304 4409284 140735561486224 18446744073709551615 270338383616 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 10135 8660 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.700851 s]
/proc/loadavg: 5.49 7.33 7.35 5/342 31540
/proc/meminfo: memFree=22567792/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=40824 CPUtime=0.68 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 9001 0 0 0 67 1 0 0 25 0 1 0 635919215 41803776 8715 33554432000 4194304 4409284 140735561486224 18446744073709551615 4302289 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 10206 8715 129 53 0 8629 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 40824

[startup+1.50068 s]
/proc/loadavg: 5.37 7.28 7.33 7/343 31541
/proc/meminfo: memFree=22553408/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=40824 CPUtime=1.48 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 9103 0 0 0 147 1 0 0 25 0 1 0 635919215 41803776 8715 33554432000 4194304 4409284 140735561486224 18446744073709551615 4304374 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 10206 8715 129 53 0 8629 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40824

[startup+3.10038 s]
/proc/loadavg: 5.37 7.28 7.33 6/343 31568
/proc/meminfo: memFree=22541080/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=58352 CPUtime=3.09 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 14456 0 0 0 307 2 0 0 25 0 1 0 635919215 59752448 13102 33554432000 4194304 4409284 140735561486224 18446744073709551615 4340245 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 14588 13102 134 53 0 13011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58352

[startup+6.30076 s]
/proc/loadavg: 5.26 7.22 7.31 6/343 31568
/proc/meminfo: memFree=22402952/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=75760 CPUtime=6.29 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 18815 0 0 0 625 4 0 0 25 0 1 0 635919215 77578240 17461 33554432000 4194304 4409284 140735561486224 18446744073709551615 270338408343 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 18940 17461 141 53 0 17363 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75760

[startup+12.7004 s]
/proc/loadavg: 5.16 7.17 7.29 6/343 31568
/proc/meminfo: memFree=22443532/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=64312 CPUtime=12.69 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 20640 0 0 0 1263 6 0 0 25 0 1 0 635919215 65855488 14599 33554432000 4194304 4409284 140735561486224 18446744073709551615 4358599 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 16078 14599 141 53 0 14501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64312

[startup+25.5009 s]
/proc/loadavg: 4.90 7.01 7.24 7/343 31569
/proc/meminfo: memFree=22443136/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=66096 CPUtime=25.49 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 22479 0 0 0 2540 9 0 0 25 0 1 0 635919215 67682304 15045 33554432000 4194304 4409284 140735561486224 18446744073709551615 4358611 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 16524 15045 141 53 0 14947 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66096

[startup+51.1008 s]
/proc/loadavg: 4.59 6.77 7.15 7/343 31569
/proc/meminfo: memFree=22486284/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=87344 CPUtime=51.1 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 32784 0 0 0 5093 17 0 0 25 0 1 0 635919215 89440256 20357 33554432000 4194304 4409284 140735561486224 18446744073709551615 4272366 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 21836 20357 141 53 0 20259 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 87344

[startup+102.313 s]
/proc/loadavg: 4.34 6.36 6.99 7/343 31598
/proc/meminfo: memFree=22490044/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=72676 CPUtime=102.3 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 52551 0 0 0 10201 29 0 0 25 0 1 0 635919215 74420224 16690 33554432000 4194304 4409284 140735561486224 18446744073709551615 270338408343 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 18169 16690 141 53 0 16592 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 72676

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

[startup+127.901 s]
/proc/loadavg: 4.22 6.17 6.91 7/343 31598
/proc/meminfo: memFree=22467460/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=74344 CPUtime=127.9 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 60341 0 0 0 12755 35 0 0 25 0 1 0 635919215 76128256 17107 33554432000 4194304 4409284 140735561486224 18446744073709551615 4358599 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 18586 17107 141 53 0 17009 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 74344

[startup+140.701 s]
/proc/loadavg: 4.17 6.06 6.86 7/343 31599
/proc/meminfo: memFree=22485308/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=75728 CPUtime=140.71 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 64020 0 0 0 14033 38 0 0 25 0 1 0 635919215 77545472 17453 33554432000 4194304 4409284 140735561486224 18446744073709551615 4358424 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 18932 17453 141 53 0 17355 0
Current children cumulated CPU time (s) 140.71
Current children cumulated vsize (KiB) 75728

[startup+143.9 s]
/proc/loadavg: 4.17 6.06 6.86 7/343 31599
/proc/meminfo: memFree=22476256/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=79368 CPUtime=143.89 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 64930 0 0 0 14351 38 0 0 25 0 1 0 635919215 81272832 18363 33554432000 4194304 4409284 140735561486224 18446744073709551615 4348485 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 19842 18363 141 53 0 18265 0
Current children cumulated CPU time (s) 143.89
Current children cumulated vsize (KiB) 79368

[startup+147.101 s]
/proc/loadavg: 4.16 6.03 6.85 5/343 31599
/proc/meminfo: memFree=22470180/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=73000 CPUtime=147.1 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 65813 0 0 0 14671 39 0 0 25 0 1 0 635919215 74752000 16771 33554432000 4194304 4409284 140735561486224 18446744073709551615 4360264 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 18250 16771 141 53 0 16673 0
Current children cumulated CPU time (s) 147.1
Current children cumulated vsize (KiB) 73000

[startup+147.901 s]
/proc/loadavg: 4.16 6.03 6.85 7/343 31599
/proc/meminfo: memFree=22469188/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=73292 CPUtime=147.9 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 65886 0 0 0 14751 39 0 0 25 0 1 0 635919215 75051008 16844 33554432000 4194304 4409284 140735561486224 18446744073709551615 4358548 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 18323 16844 141 53 0 16746 0
Current children cumulated CPU time (s) 147.9
Current children cumulated vsize (KiB) 73292

[startup+148.301 s]
/proc/loadavg: 4.16 6.03 6.85 7/343 31599
/proc/meminfo: memFree=22469188/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=73292 CPUtime=148.3 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 65886 0 0 0 14791 39 0 0 25 0 1 0 635919215 75051008 16844 33554432000 4194304 4409284 140735561486224 18446744073709551615 4358442 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 18323 16844 141 53 0 16746 0
Current children cumulated CPU time (s) 148.3
Current children cumulated vsize (KiB) 73292

[startup+148.701 s]
/proc/loadavg: 4.16 6.03 6.85 7/343 31599
/proc/meminfo: memFree=22468940/32951124 swapFree=59367104/67111528
[pid=31540] ppid=31538 vsize=73756 CPUtime=148.7 cores=0,2
/proc/31540/stat : 31540 (lingeling) R 31538 31540 31317 0 -1 4202496 66002 0 0 0 14831 39 0 0 25 0 1 0 635919215 75526144 16960 33554432000 4194304 4409284 140735561486224 18446744073709551615 4360045 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/31540/statm: 18439 16960 141 53 0 16862 0
Current children cumulated CPU time (s) 148.7
Current children cumulated vsize (KiB) 73756

Child status: 10
Real time (s): 148.798
CPU time (s): 148.802
CPU user time (s): 148.408
CPU system time (s): 0.39394
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 94608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.408
system time used= 0.39394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66017
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 379

runsolver used 0.534918 second user time and 1.07684 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-15 06:50:36
IDJOB=3371938
IDBENCH=83475
IDSOLVER=1849
FILE ID=node143/3371938-1305435035
RUNJOBID= node143-1305434986-31335
PBS_JOBID= 13324707
Free space on /tmp= 73408 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=264816679

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22568072 kB
Buffers:        189192 kB
Cached:        1155232 kB
SwapCached:      67400 kB
Active:         574948 kB
Inactive:      9568436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22568072 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:          125816 kB
Writeback:           0 kB
AnonPages:     8731380 kB
Mapped:          22936 kB
Slab:           121052 kB
PageTables:      54436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70274856 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= 73432 MiB
End job on node143 at 2011-05-15 06:53:05