Trace number 3291184

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PicoSAT 941SAT 25.3281 25.5082

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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3291184-1303787539/watcher-3291184-1303787539 -o /tmp/evaluation-result-3291184-1303787539/solver-3291184-1303787539 -C 2400 -W 1300 -M 7680 picosat HOME/instance-3291184-1303787539.cnf 

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.02 4.09 3.75 5/187 2566
/proc/meminfo: memFree=15494964/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=1660 CPUtime=0 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4194304 107 0 0 0 0 0 0 0 25 0 1 0 490353567 1699840 61 33554432000 134512640 134603332 4290264416 18446744073709551615 4934064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 415 63 53 23 0 28 0

[startup+0.0188771 s]
/proc/loadavg: 4.02 4.09 3.75 5/187 2566
/proc/meminfo: memFree=15494964/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=2936 CPUtime=0.01 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4202496 466 0 0 0 1 0 0 0 25 0 1 0 490353567 3006464 412 33554432000 134512640 134603332 4290264416 18446744073709551615 5453308 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 734 413 89 23 0 360 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2936

[startup+0.100861 s]
/proc/loadavg: 4.02 4.09 3.75 5/187 2566
/proc/meminfo: memFree=15494964/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=8336 CPUtime=0.09 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4202496 1771 0 0 0 9 0 0 0 25 0 1 0 490353567 8536064 1717 33554432000 134512640 134603332 4290264416 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 2084 1719 91 23 0 1710 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8336

[startup+0.300829 s]
/proc/loadavg: 4.02 4.09 3.75 5/187 2566
/proc/meminfo: memFree=15494964/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=23468 CPUtime=0.29 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4202496 5442 0 0 0 28 1 0 0 25 0 1 0 490353567 24031232 5388 33554432000 134512640 134603332 4290264416 18446744073709551615 5453308 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 5867 5389 91 23 0 5493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23468

[startup+0.700761 s]
/proc/loadavg: 4.02 4.09 3.75 5/187 2566
/proc/meminfo: memFree=15494964/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=30220 CPUtime=0.68 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4202496 7266 0 0 0 67 1 0 0 25 0 1 0 490353567 30945280 7212 33554432000 134512640 134603332 4290264416 18446744073709551615 134566397 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 7555 7212 98 23 0 7181 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 30220

[startup+1.50062 s]
/proc/loadavg: 4.02 4.09 3.75 8/188 2567
/proc/meminfo: memFree=15463792/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=32332 CPUtime=1.49 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4202496 7793 0 0 0 147 2 0 0 25 0 1 0 490353567 33107968 7739 33554432000 134512640 134603332 4290264416 18446744073709551615 134550976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 8083 7739 98 23 0 7709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32332

[startup+3.10034 s]
/proc/loadavg: 4.02 4.09 3.75 7/188 2567
/proc/meminfo: memFree=15459560/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=34972 CPUtime=3.08 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4202496 8425 0 0 0 306 2 0 0 25 0 1 0 490353567 35811328 8371 33554432000 134512640 134603332 4290264416 18446744073709551615 134550674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 8743 8371 98 23 0 8369 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34972

[startup+6.30174 s]
/proc/loadavg: 4.18 4.12 3.76 6/188 2567
/proc/meminfo: memFree=15451644/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=37480 CPUtime=6.13 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4202496 9074 0 0 0 607 6 0 0 25 0 1 0 490353567 38379520 9020 33554432000 134512640 134603332 4290264416 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2566/statm: 9370 9020 98 23 0 8996 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 37480

[startup+12.7007 s]
/proc/loadavg: 4.16 4.12 3.76 5/188 2568
/proc/meminfo: memFree=15438516/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=45660 CPUtime=12.52 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4202496 11107 0 0 0 1245 7 0 0 25 0 1 0 490353567 46755840 11053 33554432000 134512640 134603332 4290264416 18446744073709551615 134550655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 11415 11053 98 23 0 11041 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 45660

[startup+25.5004 s]
/proc/loadavg: 4.13 4.11 3.77 5/188 2568
/proc/meminfo: memFree=15404184/32951132 swapFree=67111528/67111528
[pid=2566] ppid=2564 vsize=64004 CPUtime=25.31 cores=1,3
/proc/2566/stat : 2566 (picosat) R 2564 2566 524 0 -1 4202496 15698 0 0 0 2523 8 0 0 25 0 1 0 490353567 65540096 15644 33554432000 134512640 134603332 4290264416 18446744073709551615 5447742 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 16001 15644 110 23 0 15627 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 64004

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

Child status: 10
Real time (s): 25.5082
CPU time (s): 25.3281
CPU user time (s): 25.2392
CPU system time (s): 0.088986
CPU usage (%): 99.2942
Max. virtual memory (cumulated for all children) (KiB): 64004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.2392
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 104

runsolver used 0.048992 second user time and 0.099984 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-26 05:12:19
IDJOB=3291184
IDBENCH=83475
IDSOLVER=1604
FILE ID=node131/3291184-1303787539
RUNJOBID= node131-1303787135-2349
PBS_JOBID= 13157225
Free space on /tmp= 71508 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1282172405

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      15495244 kB
Buffers:       1013592 kB
Cached:       15049768 kB
SwapCached:          0 kB
Active:        6048252 kB
Inactive:     10887224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15495244 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20248 kB
Writeback:           0 kB
AnonPages:      871376 kB
Mapped:          15880 kB
Slab:           454740 kB
PageTables:       6848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1075416 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71508 MiB
End job on node131 at 2011-04-26 05:12:45