Trace number 3371939

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 62.6975 62.6985

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

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

running on 2 cores: 4,6

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: 0.93 1.75 2.91 4/361 27550
/proc/meminfo: memFree=24627520/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=7760 CPUtime=0.01 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 520 0 0 0 1 0 0 0 21 0 1 0 655098405 7946240 463 33554432000 4194304 4409284 140734063383104 18446744073709551615 239476694784 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 1940 463 112 53 0 363 0

[startup+0.0471471 s]
/proc/loadavg: 0.93 1.75 2.91 4/361 27550
/proc/meminfo: memFree=24627520/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=11856 CPUtime=0.04 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 1544 0 0 0 4 0 0 0 21 0 1 0 655098405 12140544 1487 33554432000 4194304 4409284 140734063383104 18446744073709551615 239476694784 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 2964 1487 112 53 0 1387 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11856

[startup+0.101127 s]
/proc/loadavg: 0.93 1.75 2.91 4/361 27550
/proc/meminfo: memFree=24627520/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=15964 CPUtime=0.09 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 2572 0 0 0 9 0 0 0 21 0 1 0 655098405 16347136 2515 33554432000 4194304 4409284 140734063383104 18446744073709551615 239476694784 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 3991 2515 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.301086 s]
/proc/loadavg: 0.93 1.75 2.91 4/361 27550
/proc/meminfo: memFree=24627520/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=40540 CPUtime=0.29 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 8716 0 0 0 28 1 0 0 22 0 1 0 655098405 41512960 8659 33554432000 4194304 4409284 140734063383104 18446744073709551615 239476694784 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 10135 8659 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.701008 s]
/proc/loadavg: 0.93 1.75 2.91 4/361 27550
/proc/meminfo: memFree=24627520/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=41904 CPUtime=0.69 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 13091 0 0 0 68 1 0 0 24 0 1 0 655098405 42909696 8984 33554432000 4194304 4409284 140734063383104 18446744073709551615 4310074 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 10476 8984 129 53 0 8899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41904

[startup+1.50086 s]
/proc/loadavg: 0.93 1.75 2.91 5/362 27551
/proc/meminfo: memFree=24536388/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=41904 CPUtime=1.49 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 13190 0 0 0 148 1 0 0 25 0 1 0 655098405 42909696 8984 33554432000 4194304 4409284 140734063383104 18446744073709551615 4300004 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 10476 8984 129 53 0 8899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41904

[startup+3.10055 s]
/proc/loadavg: 0.93 1.75 2.91 5/365 27557
/proc/meminfo: memFree=24456996/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=59088 CPUtime=3.09 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 18526 0 0 0 307 2 0 0 25 0 1 0 655098405 60506112 13284 33554432000 4194304 4409284 140734063383104 18446744073709551615 4264758 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 14772 13284 133 53 0 13195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59088

[startup+6.30094 s]
/proc/loadavg: 1.18 1.79 2.91 5/365 27557
/proc/meminfo: memFree=24353368/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=59088 CPUtime=6.29 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 26726 0 0 0 626 3 0 0 25 0 1 0 655098405 60506112 13292 33554432000 4194304 4409284 140734063383104 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 14772 13292 141 53 0 13195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59088

[startup+12.7007 s]
/proc/loadavg: 1.40 1.82 2.92 5/365 27557
/proc/meminfo: memFree=24380676/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=95488 CPUtime=12.69 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 35826 0 0 0 1264 5 0 0 25 0 1 0 655098405 97779712 22392 33554432000 4194304 4409284 140734063383104 18446744073709551615 4233210 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 23872 22392 141 53 0 22295 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95488

[startup+25.5003 s]
/proc/loadavg: 1.98 1.93 2.93 5/365 27558
/proc/meminfo: memFree=24368424/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=67556 CPUtime=25.49 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 37255 0 0 0 2540 9 0 0 25 0 1 0 655098405 69177344 15409 33554432000 4194304 4409284 140734063383104 18446744073709551615 4340276 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 16889 15409 141 53 0 15312 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67556

[startup+51.1004 s]
/proc/loadavg: 2.81 2.13 2.97 5/365 27558
/proc/meminfo: memFree=24331764/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=85220 CPUtime=51.09 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 62908 0 0 0 5091 18 0 0 25 0 1 0 655098405 87265280 19827 33554432000 4194304 4409284 140734063383104 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 21305 19827 141 53 0 19728 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85220

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

[startup+57.5011 s]
/proc/loadavg: 2.91 2.16 2.98 5/365 27559
/proc/meminfo: memFree=24267408/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=87452 CPUtime=57.49 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 63613 0 0 0 5730 19 0 0 25 0 1 0 655098405 89550848 20385 33554432000 4194304 4409284 140734063383104 18446744073709551615 4358379 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 21863 20385 141 53 0 20286 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 87452

[startup+60.7005 s]
/proc/loadavg: 3.00 2.19 2.98 5/365 27559
/proc/meminfo: memFree=24324320/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=86300 CPUtime=60.69 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 64053 0 0 0 6049 20 0 0 25 0 1 0 655098405 88371200 20097 33554432000 4194304 4409284 140734063383104 18446744073709551615 4358519 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 21575 20097 141 53 0 19998 0
Current children cumulated CPU time (s) 60.69
Current children cumulated vsize (KiB) 86300

[startup+61.5004 s]
/proc/loadavg: 3.00 2.19 2.98 5/365 27559
/proc/meminfo: memFree=24335232/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=87724 CPUtime=61.5 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 64423 0 0 0 6130 20 0 0 25 0 1 0 655098405 89829376 20467 33554432000 4194304 4409284 140734063383104 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 21931 20467 141 53 0 20354 0
Current children cumulated CPU time (s) 61.5
Current children cumulated vsize (KiB) 87724

[startup+62.3012 s]
/proc/loadavg: 3.00 2.19 2.98 5/365 27559
/proc/meminfo: memFree=24335232/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=88512 CPUtime=62.3 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 64620 0 0 0 6209 21 0 0 25 0 1 0 655098405 90636288 20664 33554432000 4194304 4409284 140734063383104 18446744073709551615 4358421 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 22128 20664 141 53 0 20551 0
Current children cumulated CPU time (s) 62.3
Current children cumulated vsize (KiB) 88512

[startup+62.5012 s]
/proc/loadavg: 3.00 2.19 2.98 5/365 27559
/proc/meminfo: memFree=24335232/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=88512 CPUtime=62.5 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 64620 0 0 0 6229 21 0 0 25 0 1 0 655098405 90636288 20664 33554432000 4194304 4409284 140734063383104 18446744073709551615 4358619 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 22128 20664 141 53 0 20551 0
Current children cumulated CPU time (s) 62.5
Current children cumulated vsize (KiB) 88512

[startup+62.6012 s]
/proc/loadavg: 3.00 2.19 2.98 5/365 27559
/proc/meminfo: memFree=24330892/32950928 swapFree=67056568/67111528
[pid=27550] ppid=27548 vsize=84976 CPUtime=62.61 cores=4,6
/proc/27550/stat : 27550 (lingeling) R 27548 27550 26891 0 -1 4202496 64718 0 0 0 6240 21 0 0 25 0 1 0 655098405 87015424 19780 33554432000 4194304 4409284 140734063383104 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/27550/statm: 21244 19780 141 53 0 19667 0
Current children cumulated CPU time (s) 62.61
Current children cumulated vsize (KiB) 84976

Child status: 10
Real time (s): 62.6985
CPU time (s): 62.6975
CPU user time (s): 62.4815
CPU system time (s): 0.215967
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 118648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.4815
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64761
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= 91

runsolver used 0.235964 second user time and 0.479927 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-15 06:50:13
IDJOB=3371939
IDBENCH=83450
IDSOLVER=1849
FILE ID=node148/3371939-1305435013
RUNJOBID= node148-1305435013-27515
PBS_JOBID= 13324625
Free space on /tmp= 72852 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=860890038

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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:     32950928 kB
MemFree:      24627684 kB
Buffers:        324824 kB
Cached:        4688912 kB
SwapCached:       8488 kB
Active:        4735036 kB
Inactive:      3240924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24627684 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           46600 kB
Writeback:           0 kB
AnonPages:     2959736 kB
Mapped:          27548 kB
Slab:           254104 kB
PageTables:      28956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84715772 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= 72804 MiB
End job on node148 at 2011-05-15 06:51:16