Trace number 3371937

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Lingeling 587f (fixed)SAT 50.6013 50.6056

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 7.16 7.88 7.52 4/342 31377
/proc/meminfo: memFree=22954384/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=7760 CPUtime=0.01 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 521 0 0 0 1 0 0 0 23 0 1 0 635914257 7946240 465 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338383616 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 1940 465 112 53 0 363 0

[startup+0.046218 s]
/proc/loadavg: 7.16 7.88 7.52 4/342 31377
/proc/meminfo: memFree=22954384/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=11868 CPUtime=0.04 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 1549 0 0 0 4 0 0 0 23 0 1 0 635914257 12152832 1493 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338383616 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 2967 1493 113 53 0 1390 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11868

[startup+0.101212 s]
/proc/loadavg: 7.16 7.88 7.52 4/342 31377
/proc/meminfo: memFree=22954384/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=15964 CPUtime=0.09 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 2573 0 0 0 9 0 0 0 23 0 1 0 635914257 16347136 2517 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338383616 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 3991 2517 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.301167 s]
/proc/loadavg: 7.16 7.88 7.52 4/342 31377
/proc/meminfo: memFree=22954384/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=40540 CPUtime=0.29 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 8717 0 0 0 28 1 0 0 25 0 1 0 635914257 41512960 8661 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338383616 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 10135 8661 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.701091 s]
/proc/loadavg: 7.16 7.88 7.52 4/342 31377
/proc/meminfo: memFree=22954384/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=36504 CPUtime=0.69 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 9003 0 0 0 68 1 0 0 25 0 1 0 635914257 37380096 7635 33554432000 4194304 4409284 140733760626096 18446744073709551615 4300037 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 9126 7635 128 53 0 7549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36504

[startup+1.50093 s]
/proc/loadavg: 7.16 7.88 7.52 5/343 31378
/proc/meminfo: memFree=22920532/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=38512 CPUtime=1.49 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 9716 0 0 0 148 1 0 0 25 0 1 0 635914257 39436288 8140 33554432000 4194304 4409284 140733760626096 18446744073709551615 4271968 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 9628 8140 131 53 0 8051 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38512

[startup+3.10059 s]
/proc/loadavg: 7.16 7.88 7.52 5/343 31378
/proc/meminfo: memFree=22899332/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=65856 CPUtime=3.09 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 17322 0 0 0 307 2 0 0 25 0 1 0 635914257 67436544 14985 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338408343 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 16464 14985 140 53 0 14887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65856

[startup+6.30098 s]
/proc/loadavg: 6.91 7.81 7.50 5/343 31405
/proc/meminfo: memFree=22851832/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=68140 CPUtime=6.29 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 17894 0 0 0 626 3 0 0 25 0 1 0 635914257 69775360 15557 33554432000 4194304 4409284 140733760626096 18446744073709551615 4296713 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 17035 15557 141 53 0 15458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68140

[startup+12.7007 s]
/proc/loadavg: 6.68 7.75 7.48 5/343 31405
/proc/meminfo: memFree=22834936/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=61744 CPUtime=12.69 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 19231 0 0 0 1263 6 0 0 25 0 1 0 635914257 63225856 13958 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338408343 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 15436 13958 141 53 0 13859 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61744

[startup+25.5012 s]
/proc/loadavg: 6.08 7.57 7.42 5/343 31405
/proc/meminfo: memFree=22825948/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=64308 CPUtime=25.49 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 21519 0 0 0 2538 11 0 0 25 0 1 0 635914257 65851392 14629 33554432000 4194304 4409284 140733760626096 18446744073709551615 4269752 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 16077 14629 141 53 0 14500 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64308

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

[startup+38.3006 s]
/proc/loadavg: 5.76 7.45 7.39 5/343 31406
/proc/meminfo: memFree=22798428/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=78780 CPUtime=38.29 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 28303 0 0 0 3814 15 0 0 25 0 1 0 635914257 80670720 18240 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338408343 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 19695 18240 141 53 0 18118 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 78780

[startup+44.7004 s]
/proc/loadavg: 5.62 7.39 7.37 5/340 31454
/proc/meminfo: memFree=22796840/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=79376 CPUtime=44.69 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 29478 0 0 0 4452 17 0 0 25 0 1 0 635914257 81281024 18389 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338408343 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 19844 18389 141 53 0 18267 0
Current children cumulated CPU time (s) 44.69
Current children cumulated vsize (KiB) 79376

[startup+47.9007 s]
/proc/loadavg: 5.49 7.33 7.35 5/343 31460
/proc/meminfo: memFree=22603624/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=78136 CPUtime=47.88 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 33262 0 0 0 4770 18 0 0 25 0 1 0 635914257 80011264 18088 33554432000 4194304 4409284 140733760626096 18446744073709551615 4271656 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 19534 18088 141 53 0 17957 0
Current children cumulated CPU time (s) 47.88
Current children cumulated vsize (KiB) 78136

[startup+49.5124 s]
/proc/loadavg: 5.49 7.33 7.35 5/340 31535
/proc/meminfo: memFree=22574512/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=69864 CPUtime=49.5 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 34130 0 0 0 4931 19 0 0 25 0 1 0 635914257 71540736 16020 33554432000 4194304 4409284 140733760626096 18446744073709551615 4358371 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 17466 16020 141 53 0 15889 0
Current children cumulated CPU time (s) 49.5
Current children cumulated vsize (KiB) 69864

[startup+50.3002 s]
/proc/loadavg: 5.49 7.33 7.35 5/340 31535
/proc/meminfo: memFree=22574512/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=73880 CPUtime=50.29 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 35134 0 0 0 5009 20 0 0 25 0 1 0 635914257 75653120 17024 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338408343 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 18470 17024 141 53 0 16893 0
Current children cumulated CPU time (s) 50.29
Current children cumulated vsize (KiB) 73880

[startup+50.5002 s]
/proc/loadavg: 5.37 7.28 7.33 5/343 31541
/proc/meminfo: memFree=22545100/32951124 swapFree=59367104/67111528
[pid=31377] ppid=31375 vsize=73880 CPUtime=50.5 cores=4,6
/proc/31377/stat : 31377 (lingeling) R 31375 31377 31317 0 -1 4202496 35134 0 0 0 5030 20 0 0 25 0 1 0 635914257 75653120 17024 33554432000 4194304 4409284 140733760626096 18446744073709551615 270338408343 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/31377/statm: 18470 17024 141 53 0 16893 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 73880

Child status: 10
Real time (s): 50.6056
CPU time (s): 50.6013
CPU user time (s): 50.3913
CPU system time (s): 0.209968
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 86580

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

runsolver used 0.152976 second user time and 0.410937 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-15 06:49:46
IDJOB=3371937
IDBENCH=83436
IDSOLVER=1849
FILE ID=node143/3371937-1305434986
RUNJOBID= node143-1305434986-31336
PBS_JOBID= 13324707
Free space on /tmp= 73532 MiB

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

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=483571483

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22954664 kB
Buffers:        188800 kB
Cached:        1027744 kB
SwapCached:      67400 kB
Active:         189908 kB
Inactive:      9567536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22954664 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:           21064 kB
Writeback:           4 kB
AnonPages:     8473660 kB
Mapped:          22468 kB
Slab:           119148 kB
PageTables:      53888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70018824 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73408 MiB
End job on node143 at 2011-05-15 06:50:37