Trace number 3290496

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Lingeling 587SAT 55.6225 55.6214

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 3.48 3.14 3.29 4/189 11179
/proc/meminfo: memFree=32622424/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=7376 CPUtime=0 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 1 0 875450941 7553024 368 33554432000 4194304 4409164 140736071590896 18446744073709551615 4225145 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 1844 368 112 53 0 267 0

[startup+0.0958509 s]
/proc/loadavg: 3.48 3.14 3.29 4/189 11179
/proc/meminfo: memFree=32622424/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=15964 CPUtime=0.09 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 2574 0 0 0 9 0 0 0 25 0 1 0 875450941 16347136 2516 33554432000 4194304 4409164 140736071590896 18446744073709551615 239476694784 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 3991 2516 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.10085 s]
/proc/loadavg: 3.48 3.14 3.29 4/189 11179
/proc/meminfo: memFree=32622424/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=15964 CPUtime=0.09 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 2574 0 0 0 9 0 0 0 25 0 1 0 875450941 16347136 2516 33554432000 4194304 4409164 140736071590896 18446744073709551615 239476694784 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 3991 2516 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.300814 s]
/proc/loadavg: 3.48 3.14 3.29 4/189 11179
/proc/meminfo: memFree=32622424/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=40540 CPUtime=0.29 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 8718 0 0 0 28 1 0 0 25 0 1 0 875450941 41512960 8660 33554432000 4194304 4409164 140736071590896 18446744073709551615 239476313605 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 10135 8660 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.700738 s]
/proc/loadavg: 3.48 3.14 3.29 4/189 11179
/proc/meminfo: memFree=32622424/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=36504 CPUtime=0.69 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 9004 0 0 0 68 1 0 0 25 0 1 0 875450941 37380096 7634 33554432000 4194304 4409164 140736071590896 18446744073709551615 4299649 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 9126 7634 128 53 0 7549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36504

[startup+1.50059 s]
/proc/loadavg: 3.48 3.14 3.29 5/190 11180
/proc/meminfo: memFree=32591432/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=36120 CPUtime=1.49 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 9118 0 0 0 148 1 0 0 25 0 1 0 875450941 36986880 7540 33554432000 4194304 4409164 140736071590896 18446744073709551615 4272018 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 9030 7540 130 53 0 7453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36120

[startup+3.10027 s]
/proc/loadavg: 3.48 3.14 3.29 5/190 11180
/proc/meminfo: memFree=32569732/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=65856 CPUtime=3.09 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 17319 0 0 0 307 2 0 0 25 0 1 0 875450941 67436544 14980 33554432000 4194304 4409164 140736071590896 18446744073709551615 4243727 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 16464 14980 136 53 0 14887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65856

[startup+6.30067 s]
/proc/loadavg: 3.52 3.15 3.29 5/190 11180
/proc/meminfo: memFree=32559196/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=67604 CPUtime=6.29 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 17761 0 0 0 626 3 0 0 25 0 1 0 875450941 69226496 15422 33554432000 4194304 4409164 140736071590896 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 16901 15422 141 53 0 15324 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67604

[startup+12.7004 s]
/proc/loadavg: 3.64 3.18 3.30 5/190 11180
/proc/meminfo: memFree=32556848/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=60032 CPUtime=12.69 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 18818 0 0 0 1264 5 0 0 25 0 1 0 875450941 61472768 13543 33554432000 4194304 4409164 140736071590896 18446744073709551615 4360116 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 15008 13543 141 53 0 13431 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60032

[startup+25.501 s]
/proc/loadavg: 3.72 3.22 3.31 5/190 11181
/proc/meminfo: memFree=32553848/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=66800 CPUtime=25.49 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 20526 0 0 0 2538 11 0 0 25 0 1 0 875450941 68403200 15251 33554432000 4194304 4409164 140736071590896 18446744073709551615 4358271 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 16700 15251 141 53 0 15123 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66800

[startup+51.1011 s]
/proc/loadavg: 3.81 3.28 3.33 5/190 11181
/proc/meminfo: memFree=32535164/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=84724 CPUtime=51.09 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 30816 0 0 0 5089 20 0 0 25 0 1 0 875450941 86757376 19725 33554432000 4194304 4409164 140736071590896 18446744073709551615 4358434 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 21181 19725 141 53 0 19604 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84724

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

[startup+52.7008 s]
/proc/loadavg: 3.81 3.28 3.33 5/190 11181
/proc/meminfo: memFree=32542808/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=78136 CPUtime=52.7 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 33263 0 0 0 5249 21 0 0 25 0 1 0 875450941 80011264 18087 33554432000 4194304 4409164 140736071590896 18446744073709551615 4271337 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 19534 18087 141 53 0 17957 0
Current children cumulated CPU time (s) 52.7
Current children cumulated vsize (KiB) 78136

[startup+54.3005 s]
/proc/loadavg: 3.81 3.28 3.33 5/190 11181
/proc/meminfo: memFree=32551860/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=69864 CPUtime=54.3 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 34131 0 0 0 5408 22 0 0 25 0 1 0 875450941 71540736 16019 33554432000 4194304 4409164 140736071590896 18446744073709551615 4359752 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 17466 16019 141 53 0 15889 0
Current children cumulated CPU time (s) 54.3
Current children cumulated vsize (KiB) 69864

[startup+55.1003 s]
/proc/loadavg: 3.83 3.30 3.33 5/190 11181
/proc/meminfo: memFree=32543796/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=73880 CPUtime=55.09 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 35135 0 0 0 5487 22 0 0 25 0 1 0 875450941 75653120 17023 33554432000 4194304 4409164 140736071590896 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 18470 17023 141 53 0 16893 0
Current children cumulated CPU time (s) 55.09
Current children cumulated vsize (KiB) 73880

[startup+55.5002 s]
/proc/loadavg: 3.83 3.30 3.33 5/190 11181
/proc/meminfo: memFree=32543796/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=73880 CPUtime=55.49 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 35135 0 0 0 5527 22 0 0 25 0 1 0 875450941 75653120 17023 33554432000 4194304 4409164 140736071590896 18446744073709551615 4358328 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 18470 17023 141 53 0 16893 0
Current children cumulated CPU time (s) 55.49
Current children cumulated vsize (KiB) 73880

[startup+55.6002 s]
/proc/loadavg: 3.83 3.30 3.33 5/190 11181
/proc/meminfo: memFree=32543796/32950928 swapFree=67055428/67111528
[pid=11179] ppid=11177 vsize=76212 CPUtime=55.59 cores=0,2
/proc/11179/stat : 11179 (lingeling) R 11177 11179 9857 0 -1 4202496 35718 0 0 0 5537 22 0 0 25 0 1 0 875450941 78041088 17606 33554432000 4194304 4409164 140736071590896 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11179/statm: 19053 17606 141 53 0 17476 0
Current children cumulated CPU time (s) 55.59
Current children cumulated vsize (KiB) 76212

Child status: 10
Real time (s): 55.6214
CPU time (s): 55.6225
CPU user time (s): 55.3906
CPU system time (s): 0.231964
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 86580

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

runsolver used 0.091986 second user time and 0.218966 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-09 18:55:39
IDJOB=3290496
IDBENCH=83436
IDSOLVER=1606
FILE ID=node148/3290496-1307638538
RUNJOBID= node148-1307638489-11006
PBS_JOBID= 13549344
Free space on /tmp= 74148 MiB

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

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=708786944

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:      32622844 kB
Buffers:         24416 kB
Cached:         117792 kB
SwapCached:       8788 kB
Active:         135540 kB
Inactive:        55768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32622844 kB
SwapTotal:    67111528 kB
SwapFree:     67055428 kB
Dirty:           15156 kB
Writeback:           0 kB
AnonPages:       47344 kB
Mapped:          13912 kB
Slab:            72208 kB
PageTables:       5096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   279664 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= 74148 MiB
End job on node148 at 2011-06-09 18:56:34