Trace number 3290816

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PicoSAT 941SAT 53.8028 53.8079

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

running on 2 cores: 5,7

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: 2.54 2.93 3.24 4/184 2384
/proc/meminfo: memFree=16487172/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=11800 CPUtime=0 cores=5,7
/proc/2384/stat : 2384 (runsolver) R 2382 2384 524 0 -1 4202560 42 0 0 0 0 0 0 0 22 0 1 0 490313238 12083200 52 33554432000 4194304 5434984 140733211667200 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/2384/statm: 2950 52 31 303 0 2644 0

[startup+0.032638 s]
/proc/loadavg: 2.54 2.93 3.24 4/184 2384
/proc/meminfo: memFree=16487172/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=3352 CPUtime=0.02 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 568 0 0 0 2 0 0 0 22 0 1 0 490313238 3432448 514 33554432000 134512640 134603332 4288588560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 838 515 89 23 0 464 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3352

[startup+0.100628 s]
/proc/loadavg: 2.54 2.93 3.24 4/184 2384
/proc/meminfo: memFree=16487172/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=7564 CPUtime=0.09 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 1571 0 0 0 9 0 0 0 22 0 1 0 490313238 7745536 1517 33554432000 134512640 134603332 4288588560 18446744073709551615 5453308 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 1891 1517 91 23 0 1517 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7564

[startup+0.300604 s]
/proc/loadavg: 2.54 2.93 3.24 4/184 2384
/proc/meminfo: memFree=16487172/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=22432 CPUtime=0.28 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 5157 0 0 0 28 0 0 0 23 0 1 0 490313238 22970368 5103 33554432000 134512640 134603332 4288588560 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 5608 5104 91 23 0 5234 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22432

[startup+0.700524 s]
/proc/loadavg: 2.54 2.93 3.24 4/184 2384
/proc/meminfo: memFree=16487172/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=31540 CPUtime=0.69 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 7573 0 0 0 67 2 0 0 25 0 1 0 490313238 32296960 7519 33554432000 134512640 134603332 4288588560 18446744073709551615 5453308 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 7885 7519 98 23 0 7511 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31540

[startup+1.50039 s]
/proc/loadavg: 2.54 2.93 3.24 5/183 2385
/proc/meminfo: memFree=16413996/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=34332 CPUtime=1.49 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 8286 0 0 0 147 2 0 0 25 0 1 0 490313238 35155968 8232 33554432000 134512640 134603332 4288588560 18446744073709551615 134527194 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 8583 8232 98 23 0 8209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34332

[startup+3.10111 s]
/proc/loadavg: 2.66 2.95 3.25 5/188 2391
/proc/meminfo: memFree=16338736/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=38424 CPUtime=3.08 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 9306 0 0 0 306 2 0 0 25 0 1 0 490313238 39346176 9252 33554432000 134512640 134603332 4288588560 18446744073709551615 134565491 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 9606 9252 98 23 0 9232 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38424

[startup+6.30055 s]
/proc/loadavg: 2.66 2.95 3.25 7/188 2391
/proc/meminfo: memFree=16302436/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=44000 CPUtime=6.29 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 10692 0 0 0 626 3 0 0 25 0 1 0 490313238 45056000 10638 33554432000 134512640 134603332 4288588560 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 11000 10638 98 23 0 10626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44000

[startup+12.7004 s]
/proc/loadavg: 3.86 3.20 3.32 6/188 2392
/proc/meminfo: memFree=16276116/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=51780 CPUtime=12.69 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 12567 0 0 0 1265 4 0 0 25 0 1 0 490313238 53022720 12513 33554432000 134512640 134603332 4288588560 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 12945 12513 98 23 0 12571 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51780

[startup+25.5002 s]
/proc/loadavg: 4.19 3.29 3.35 6/188 2394
/proc/meminfo: memFree=16248484/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=61020 CPUtime=25.48 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 14915 0 0 0 2542 6 0 0 25 0 1 0 490313238 62484480 14861 33554432000 134512640 134603332 4288588560 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 15255 14861 98 23 0 14881 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61020

[startup+51.1008 s]
/proc/loadavg: 4.58 3.46 3.41 6/188 2449
/proc/meminfo: memFree=15973832/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=98492 CPUtime=51.08 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 24262 0 0 0 5096 12 0 0 25 0 1 0 490313238 100855808 24208 33554432000 134512640 134603332 4288588560 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 24623 24208 98 23 0 24249 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98492

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

[startup+52.5005 s]
/proc/loadavg: 4.78 3.52 3.42 5/188 2449
/proc/meminfo: memFree=15967524/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=100604 CPUtime=52.48 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 24781 0 0 0 5235 13 0 0 25 0 1 0 490313238 103018496 24727 33554432000 134512640 134603332 4288588560 18446744073709551615 134550948 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 25151 24727 98 23 0 24777 0
Current children cumulated CPU time (s) 52.48
Current children cumulated vsize (KiB) 100604

[startup+53.3004 s]
/proc/loadavg: 4.78 3.52 3.42 5/188 2449
/proc/meminfo: memFree=15967524/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=102188 CPUtime=53.28 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 25201 0 0 0 5315 13 0 0 25 0 1 0 490313238 104640512 25147 33554432000 134512640 134603332 4288588560 18446744073709551615 134565592 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 25547 25147 98 23 0 25173 0
Current children cumulated CPU time (s) 53.28
Current children cumulated vsize (KiB) 102188

[startup+53.7003 s]
/proc/loadavg: 4.78 3.52 3.42 5/188 2449
/proc/meminfo: memFree=15962564/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=102584 CPUtime=53.68 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 25290 0 0 0 5355 13 0 0 25 0 1 0 490313238 105046016 25236 33554432000 134512640 134603332 4288588560 18446744073709551615 134565592 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 25646 25236 98 23 0 25272 0
Current children cumulated CPU time (s) 53.68
Current children cumulated vsize (KiB) 102584

[startup+53.8003 s]
/proc/loadavg: 4.78 3.52 3.42 5/188 2449
/proc/meminfo: memFree=15962564/32951132 swapFree=67111528/67111528
[pid=2384] ppid=2382 vsize=102720 CPUtime=53.79 cores=5,7
/proc/2384/stat : 2384 (picosat) R 2382 2384 524 0 -1 4202496 25324 0 0 0 5365 14 0 0 25 0 1 0 490313238 105185280 25270 33554432000 134512640 134603332 4288588560 18446744073709551615 5447742 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2384/statm: 25680 25270 110 23 0 25306 0
Current children cumulated CPU time (s) 53.79
Current children cumulated vsize (KiB) 102720

Child status: 10
Real time (s): 53.8079
CPU time (s): 53.8028
CPU user time (s): 53.6578
CPU system time (s): 0.144977
CPU usage (%): 99.9906
Max. virtual memory (cumulated for all children) (KiB): 102720

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

runsolver used 0.074988 second user time and 0.19497 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-26 05:05:36
IDJOB=3290816
IDBENCH=83450
IDSOLVER=1604
FILE ID=node131/3290816-1303787135
RUNJOBID= node131-1303787135-2350
PBS_JOBID= 13157225
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=765245653

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      16487452 kB
Buffers:       1013220 kB
Cached:       14849148 kB
SwapCached:          0 kB
Active:        5044904 kB
Inactive:     10900116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      16487452 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           51572 kB
Writeback:           0 kB
AnonPages:       81724 kB
Mapped:          15808 kB
Slab:           455780 kB
PageTables:       5008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   249352 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71556 MiB
End job on node131 at 2011-04-26 05:06:30