Trace number 3309937

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Lingeling 587SAT 142.102 142.108

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.7429
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309937-1303998504/watcher-3309937-1303998504 -o /tmp/evaluation-result-3309937-1303998504/solver-3309937-1303998504 -C 5000 -W 5100 -M 15500 lingeling HOME/instance-3309937-1303998504.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 23497
/proc/meminfo: memFree=16098296/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=7376 CPUtime=0 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 426 0 0 0 0 0 0 0 21 0 1 0 511449288 7553024 369 33554432000 4194304 4409164 140735820688752 18446744073709551615 268272688896 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 1844 369 112 53 0 267 0

[startup+0.0797129 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 23497
/proc/meminfo: memFree=16098296/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=13916 CPUtime=0.07 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 2062 0 0 0 7 0 0 0 21 0 1 0 511449288 14249984 2005 33554432000 4194304 4409164 140735820688752 18446744073709551615 4225119 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 3479 2005 113 53 0 1902 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13916

[startup+0.100698 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 23497
/proc/meminfo: memFree=16098296/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=15964 CPUtime=0.09 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 2574 0 0 0 9 0 0 0 21 0 1 0 511449288 16347136 2517 33554432000 4194304 4409164 140735820688752 18446744073709551615 268272688896 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 3991 2517 113 53 0 2414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15964

[startup+0.300664 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 23497
/proc/meminfo: memFree=16098296/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=40540 CPUtime=0.29 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 8718 0 0 0 28 1 0 0 22 0 1 0 511449288 41512960 8661 33554432000 4194304 4409164 140735820688752 18446744073709551615 268272688896 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 10135 8661 113 53 0 8558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40540

[startup+0.700593 s]
/proc/loadavg: 1.93 1.98 1.99 2/177 23497
/proc/meminfo: memFree=16098296/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=40824 CPUtime=0.69 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 9002 0 0 0 68 1 0 0 24 0 1 0 511449288 41803776 8716 33554432000 4194304 4409164 140735820688752 18446744073709551615 4304365 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 10206 8716 129 53 0 8629 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40824

[startup+1.50045 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 23498
/proc/meminfo: memFree=16055020/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=40824 CPUtime=1.49 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 9104 0 0 0 148 1 0 0 25 0 1 0 511449288 41803776 8716 33554432000 4194304 4409164 140735820688752 18446744073709551615 4302286 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 10206 8716 129 53 0 8629 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40824

[startup+3.10117 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 23498
/proc/meminfo: memFree=16036032/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=58352 CPUtime=3.09 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 14456 0 0 0 308 1 0 0 25 0 1 0 511449288 59752448 13102 33554432000 4194304 4409164 140735820688752 18446744073709551615 4263447 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 14588 13102 133 53 0 13011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58352

[startup+6.30055 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 23498
/proc/meminfo: memFree=16020992/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=75760 CPUtime=6.3 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 18816 0 0 0 627 3 0 0 25 0 1 0 511449288 77578240 17462 33554432000 4194304 4409164 140735820688752 18446744073709551615 4358889 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 18940 17462 141 53 0 17363 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 75760

[startup+12.7005 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 23498
/proc/meminfo: memFree=16030364/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=63924 CPUtime=12.69 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 20709 0 0 0 1265 4 0 0 25 0 1 0 511449288 65458176 14503 33554432000 4194304 4409164 140735820688752 18446744073709551615 268272713623 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 15981 14503 141 53 0 14404 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63924

[startup+25.5012 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 23499
/proc/meminfo: memFree=16041028/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=66096 CPUtime=25.49 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 22480 0 0 0 2541 8 0 0 25 0 1 0 511449288 67682304 15046 33554432000 4194304 4409164 140735820688752 18446744073709551615 268272713623 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 16524 15046 141 53 0 14947 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66096

[startup+51.1005 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 23500
/proc/meminfo: memFree=16036428/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=85968 CPUtime=51.09 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 32785 0 0 0 5092 17 0 0 25 0 1 0 511449288 88031232 20014 33554432000 4194304 4409164 140735820688752 18446744073709551615 4271656 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 21492 20014 141 53 0 19915 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 85968

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 23501
/proc/meminfo: memFree=16041896/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=76552 CPUtime=102.29 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 53521 0 0 0 10195 34 0 0 25 0 1 0 511449288 78389248 17660 33554432000 4194304 4409164 140735820688752 18446744073709551615 4358357 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/23497/statm: 19138 17660 141 53 0 17561 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 76552

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

[startup+127.901 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23502
/proc/meminfo: memFree=16050432/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=71792 CPUtime=127.89 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 62501 0 0 0 12748 41 0 0 25 0 1 0 511449288 73515008 16470 33554432000 4194304 4409164 140735820688752 18446744073709551615 4303712 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 17948 16470 141 53 0 16371 0
Current children cumulated CPU time (s) 127.89
Current children cumulated vsize (KiB) 71792

[startup+134.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23502
/proc/meminfo: memFree=16042112/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=74528 CPUtime=134.29 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 63721 0 0 0 13387 42 0 0 25 0 1 0 511449288 76316672 17154 33554432000 4194304 4409164 140735820688752 18446744073709551615 4358348 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 18632 17154 141 53 0 17055 0
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (KiB) 74528

[startup+137.506 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23502
/proc/meminfo: memFree=16031820/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=79368 CPUtime=137.5 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 64931 0 0 0 13707 43 0 0 25 0 1 0 511449288 81272832 18364 33554432000 4194304 4409164 140735820688752 18446744073709551615 4359817 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 19842 18364 141 53 0 18265 0
Current children cumulated CPU time (s) 137.5
Current children cumulated vsize (KiB) 79368

[startup+140.701 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23502
/proc/meminfo: memFree=16034548/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=73000 CPUtime=140.69 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 65814 0 0 0 14026 43 0 0 25 0 1 0 511449288 74752000 16772 33554432000 4194304 4409164 140735820688752 18446744073709551615 268272713623 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 18250 16772 141 53 0 16673 0
Current children cumulated CPU time (s) 140.69
Current children cumulated vsize (KiB) 73000

[startup+141.501 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23502
/proc/meminfo: memFree=16034548/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=73292 CPUtime=141.49 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 65887 0 0 0 14105 44 0 0 25 0 1 0 511449288 75051008 16845 33554432000 4194304 4409164 140735820688752 18446744073709551615 4230767 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 18323 16845 141 53 0 16746 0
Current children cumulated CPU time (s) 141.49
Current children cumulated vsize (KiB) 73292

[startup+141.906 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 23502
/proc/meminfo: memFree=16034176/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=73292 CPUtime=141.9 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 65887 0 0 0 14146 44 0 0 25 0 1 0 511449288 75051008 16845 33554432000 4194304 4409164 140735820688752 18446744073709551615 4358557 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 18323 16845 141 53 0 16746 0
Current children cumulated CPU time (s) 141.9
Current children cumulated vsize (KiB) 73292

[startup+142.1 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 23502
/proc/meminfo: memFree=16034176/32950928 swapFree=67111528/67111528
[pid=23497] ppid=23495 vsize=73756 CPUtime=142.09 cores=0,2,4,6
/proc/23497/stat : 23497 (lingeling) R 23495 23497 22934 0 -1 4202496 66003 0 0 0 14165 44 0 0 25 0 1 0 511449288 75526144 16961 33554432000 4194304 4409164 140735820688752 18446744073709551615 4358514 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/23497/statm: 18439 16961 141 53 0 16862 0
Current children cumulated CPU time (s) 142.09
Current children cumulated vsize (KiB) 73756

Child status: 10
Real time (s): 142.108
CPU time (s): 142.102
CPU user time (s): 141.657
CPU system time (s): 0.444932
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 94608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.657
system time used= 0.444932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1827

runsolver used 0.203968 second user time and 0.45693 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-28 15:48:25
IDJOB=3309937
IDBENCH=83475
IDSOLVER=1693
FILE ID=node122/3309937-1303998504
RUNJOBID= node122-1303987382-22952
PBS_JOBID= 13168751
Free space on /tmp= 71644 MiB

SOLVER NAME= Lingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= lingeling BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309937-1303998504/watcher-3309937-1303998504 -o /tmp/evaluation-result-3309937-1303998504/solver-3309937-1303998504 -C 5000 -W 5100 -M 15500  lingeling HOME/instance-3309937-1303998504.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1786817827

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      16098328 kB
Buffers:       1729568 kB
Cached:       14430460 kB
SwapCached:          0 kB
Active:        5331004 kB
Inactive:     10957092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16098328 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20696 kB
Writeback:           0 kB
AnonPages:      128060 kB
Mapped:          15468 kB
Slab:           501556 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   271488 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= 71644 MiB
End job on node122 at 2011-04-28 15:50:47