Trace number 3299817

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
claspmt 2.0-R4095SAT 229.552 82.8495

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 benchmark15.7966
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

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

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-3299817-1304096966/watcher-3299817-1304096966 -o /tmp/evaluation-result-3299817-1304096966/solver-3299817-1304096966 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299817-1304096966.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.16 7.47 7.29 5/180 6734
/proc/meminfo: memFree=18777392/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=23152 CPUtime=0 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 1166 0 0 0 0 0 0 0 25 0 1 0 521296432 23707648 1015 33554432000 4194304 4964704 140733235022112 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 5788 1016 385 189 0 662 0

[startup+0.039495 s]
/proc/loadavg: 8.16 7.47 7.29 5/180 6734
/proc/meminfo: memFree=18777392/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=27332 CPUtime=0.03 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 2354 0 0 0 3 0 0 0 25 0 1 0 521296432 27987968 2032 33554432000 4194304 4964704 140733235022112 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 6833 2034 388 189 0 1707 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27332

[startup+0.100487 s]
/proc/loadavg: 8.16 7.47 7.29 5/180 6734
/proc/meminfo: memFree=18777392/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=36128 CPUtime=0.09 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 5107 0 0 0 9 0 0 0 25 0 1 0 521296432 36995072 4212 33554432000 4194304 4964704 140733235022112 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 9032 4213 388 189 0 3906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36128

[startup+0.300452 s]
/proc/loadavg: 8.16 7.47 7.29 5/180 6734
/proc/meminfo: memFree=18777392/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=66896 CPUtime=0.29 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 14413 0 0 0 27 2 0 0 25 0 1 0 521296432 68501504 11491 33554432000 4194304 4964704 140733235022112 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 16757 11502 399 189 0 11631 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66896

[startup+0.700384 s]
/proc/loadavg: 8.16 7.47 7.29 5/180 6734
/proc/meminfo: memFree=18777392/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=84604 CPUtime=0.69 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 18475 0 0 0 67 2 0 0 25 0 1 0 521296432 86634496 15553 33554432000 4194304 4964704 140733235022112 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84604

[startup+1.50023 s]
/proc/loadavg: 8.16 7.47 7.29 6/181 6736
/proc/meminfo: memFree=18713780/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=84604 CPUtime=1.49 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 18475 0 0 0 147 2 0 0 25 0 1 0 521296432 86634496 15553 33554432000 4194304 4964704 140733235022112 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84604

[startup+3.10096 s]
/proc/loadavg: 7.91 7.43 7.28 6/181 6736
/proc/meminfo: memFree=18711816/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=84604 CPUtime=3.09 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 18475 0 0 0 307 2 0 0 25 0 1 0 521296432 86634496 15553 33554432000 4194304 4964704 140733235022112 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84604

[startup+6.30039 s]
/proc/loadavg: 7.91 7.43 7.28 6/181 6736
/proc/meminfo: memFree=18704636/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=84604 CPUtime=6.29 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 18475 0 0 0 627 2 0 0 25 0 1 0 521296432 86634496 15553 33554432000 4194304 4964704 140733235022112 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84604

[startup+12.7002 s]
/proc/loadavg: 7.46 7.35 7.25 6/181 6736
/proc/meminfo: memFree=18694348/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=84604 CPUtime=12.69 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 18475 0 0 0 1267 2 0 0 25 0 1 0 521296432 86634496 15553 33554432000 4194304 4964704 140733235022112 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84604

[startup+25.501 s]
/proc/loadavg: 6.84 7.22 7.21 6/181 6766
/proc/meminfo: memFree=19832920/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=84604 CPUtime=25.49 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 18475 0 0 0 2547 2 0 0 25 0 1 0 521296432 86634496 15553 33554432000 4194304 4964704 140733235022112 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6734/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84604

[startup+51.1004 s]
/proc/loadavg: 6.88 7.19 7.20 9/184 6770
/proc/meminfo: memFree=19521728/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=337796 CPUtime=103.14 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 64674 0 0 0 10296 18 0 0 25 0 4 0 521296432 345903104 60796 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/6734/statm: 84449 60796 460 189 0 78798 0
[pid=6734/tid=6767] ppid=6732 vsize=337796 CPUtime=17.39 cores=1,3,5,7
/proc/6734/task/6767/stat : 6767 (claspmt) R 6732 6734 6445 0 -1 4202560 7998 0 0 0 1737 2 0 0 25 0 4 0 521299802 345903104 60796 33554432000 4194304 4964704 140733235022112 18446744073709551615 4654657 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6734/tid=6768] ppid=6732 vsize=337796 CPUtime=17.39 cores=1,3,5,7
/proc/6734/task/6768/stat : 6768 (claspmt) R 6732 6734 6445 0 -1 4202560 16279 0 0 0 1734 5 0 0 25 0 4 0 521299802 345903104 60796 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6734/tid=6769] ppid=6732 vsize=337796 CPUtime=17.4 cores=1,3,5,7
/proc/6734/task/6769/stat : 6769 (claspmt) R 6732 6734 6445 0 -1 4202560 11708 0 0 0 1736 4 0 0 25 0 4 0 521299802 345903104 60796 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 103.14
Current children cumulated vsize (KiB) 337796

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

[startup+63.9011 s]
/proc/loadavg: 7.12 7.23 7.21 9/184 6770
/proc/meminfo: memFree=19432516/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=345324 CPUtime=154.27 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 75737 0 0 0 15399 28 0 0 25 0 4 0 521296432 353611776 71859 33554432000 4194304 4964704 140733235022112 18446744073709551615 4669333 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/6734/statm: 86331 71859 460 189 0 80680 0
[pid=6734/tid=6767] ppid=6732 vsize=345324 CPUtime=30.18 cores=1,3,5,7
/proc/6734/task/6767/stat : 6767 (claspmt) R 6732 6734 6445 0 -1 4202560 9562 0 0 0 3015 3 0 0 25 0 4 0 521299802 353611776 71859 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6734/tid=6768] ppid=6732 vsize=345324 CPUtime=30.2 cores=1,3,5,7
/proc/6734/task/6768/stat : 6768 (claspmt) R 6732 6734 6445 0 -1 4202560 21650 0 0 0 3009 11 0 0 25 0 4 0 521299802 353611776 71859 33554432000 4194304 4964704 140733235022112 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6734/tid=6769] ppid=6732 vsize=345324 CPUtime=30.2 cores=1,3,5,7
/proc/6734/task/6769/stat : 6769 (claspmt) R 6732 6734 6445 0 -1 4202560 14123 0 0 0 3015 5 0 0 25 0 4 0 521299802 353611776 71859 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 154.27
Current children cumulated vsize (KiB) 345324

[startup+70.301 s]
/proc/loadavg: 7.27 7.26 7.22 9/184 6770
/proc/meminfo: memFree=19388116/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=414092 CPUtime=179.85 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 80224 0 0 0 17954 31 0 0 25 0 4 0 521296432 424030208 76346 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/6734/statm: 103523 76346 460 189 0 97872 0
[pid=6734/tid=6767] ppid=6732 vsize=414092 CPUtime=36.59 cores=1,3,5,7
/proc/6734/task/6767/stat : 6767 (claspmt) R 6732 6734 6445 0 -1 4202560 10540 0 0 0 3655 4 0 0 25 0 4 0 521299802 424030208 76346 33554432000 4194304 4964704 140733235022112 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6734/tid=6768] ppid=6732 vsize=414092 CPUtime=36.6 cores=1,3,5,7
/proc/6734/task/6768/stat : 6768 (claspmt) R 6732 6734 6445 0 -1 4202560 23759 0 0 0 3648 12 0 0 25 0 4 0 521299802 424030208 76346 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6734/tid=6769] ppid=6732 vsize=414092 CPUtime=36.6 cores=1,3,5,7
/proc/6734/task/6769/stat : 6769 (claspmt) R 6732 6734 6445 0 -1 4202560 14666 0 0 0 3655 5 0 0 25 0 4 0 521299802 424030208 76346 33554432000 4194304 4964704 140733235022112 18446744073709551615 4627293 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (KiB) 414092

[startup+76.7009 s]
/proc/loadavg: 7.41 7.29 7.23 9/184 6771
/proc/meminfo: memFree=19351904/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=546120 CPUtime=205.4 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 83559 0 0 0 20504 36 0 0 25 0 4 0 521296432 559226880 79681 33554432000 4194304 4964704 140733235022112 18446744073709551615 4669060 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/6734/statm: 136530 79681 460 189 0 130879 0
[pid=6734/tid=6767] ppid=6732 vsize=546120 CPUtime=42.98 cores=1,3,5,7
/proc/6734/task/6767/stat : 6767 (claspmt) R 6732 6734 6445 0 -1 4202560 11129 0 0 0 4293 5 0 0 25 0 4 0 521299802 559226880 79681 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6734/tid=6768] ppid=6732 vsize=546120 CPUtime=43 cores=1,3,5,7
/proc/6734/task/6768/stat : 6768 (claspmt) R 6732 6734 6445 0 -1 4202560 25441 0 0 0 4285 15 0 0 25 0 4 0 521299802 559226880 79681 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6734/tid=6769] ppid=6732 vsize=546120 CPUtime=42.99 cores=1,3,5,7
/proc/6734/task/6769/stat : 6769 (claspmt) R 6732 6734 6445 0 -1 4202560 14995 0 0 0 4294 5 0 0 25 0 4 0 521299802 559226880 79681 33554432000 4194304 4964704 140733235022112 18446744073709551615 4627860 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 205.4
Current children cumulated vsize (KiB) 546120

[startup+79.9003 s]
/proc/loadavg: 7.46 7.30 7.23 9/184 6771
/proc/meminfo: memFree=19332436/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=546912 CPUtime=218.18 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 86400 0 0 0 21780 38 0 0 25 0 4 0 521296432 560037888 82522 33554432000 4194304 4964704 140733235022112 18446744073709551615 4627272 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/6734/statm: 136728 82522 460 189 0 131077 0
[pid=6734/tid=6767] ppid=6732 vsize=546912 CPUtime=46.18 cores=1,3,5,7
/proc/6734/task/6767/stat : 6767 (claspmt) R 6732 6734 6445 0 -1 4202560 12300 0 0 0 4612 6 0 0 25 0 4 0 521299802 560037888 82522 33554432000 4194304 4964704 140733235022112 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6734/tid=6768] ppid=6732 vsize=546912 CPUtime=46.2 cores=1,3,5,7
/proc/6734/task/6768/stat : 6768 (claspmt) R 6732 6734 6445 0 -1 4202560 26316 0 0 0 4604 16 0 0 25 0 4 0 521299802 560037888 82522 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6734/tid=6769] ppid=6732 vsize=546912 CPUtime=46.19 cores=1,3,5,7
/proc/6734/task/6769/stat : 6769 (claspmt) R 6732 6734 6445 0 -1 4202560 15138 0 0 0 4614 5 0 0 25 0 4 0 521299802 560037888 82522 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 218.18
Current children cumulated vsize (KiB) 546912

[startup+81.501 s]
/proc/loadavg: 7.46 7.30 7.23 9/184 6771
/proc/meminfo: memFree=19321260/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=549160 CPUtime=224.57 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 87095 0 0 0 22418 39 0 0 25 0 4 0 521296432 562339840 83217 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670277 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/6734/statm: 137290 83217 460 189 0 131639 0
[pid=6734/tid=6767] ppid=6732 vsize=549160 CPUtime=47.79 cores=1,3,5,7
/proc/6734/task/6767/stat : 6767 (claspmt) R 6732 6734 6445 0 -1 4202560 12878 0 0 0 4772 7 0 0 25 0 4 0 521299802 562339840 83217 33554432000 4194304 4964704 140733235022112 18446744073709551615 4668673 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6734/tid=6768] ppid=6732 vsize=549160 CPUtime=47.8 cores=1,3,5,7
/proc/6734/task/6768/stat : 6768 (claspmt) R 6732 6734 6445 0 -1 4202560 26361 0 0 0 4764 16 0 0 25 0 4 0 521299802 562339840 83217 33554432000 4194304 4964704 140733235022112 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6734/tid=6769] ppid=6732 vsize=549160 CPUtime=47.8 cores=1,3,5,7
/proc/6734/task/6769/stat : 6769 (claspmt) R 6732 6734 6445 0 -1 4202560 15147 0 0 0 4774 6 0 0 25 0 4 0 521299802 562339840 83217 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 224.57
Current children cumulated vsize (KiB) 549160

[startup+82.3009 s]
/proc/loadavg: 7.46 7.30 7.23 9/184 6771
/proc/meminfo: memFree=19321260/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=549952 CPUtime=227.77 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 87415 0 0 0 22738 39 0 0 25 0 4 0 521296432 563150848 83537 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670301 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/6734/statm: 137488 83537 460 189 0 131837 0
[pid=6734/tid=6767] ppid=6732 vsize=549952 CPUtime=48.59 cores=1,3,5,7
/proc/6734/task/6767/stat : 6767 (claspmt) R 6732 6734 6445 0 -1 4202560 13062 0 0 0 4852 7 0 0 25 0 4 0 521299802 563150848 83537 33554432000 4194304 4964704 140733235022112 18446744073709551615 4632276 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6734/tid=6768] ppid=6732 vsize=549952 CPUtime=48.6 cores=1,3,5,7
/proc/6734/task/6768/stat : 6768 (claspmt) R 6732 6734 6445 0 -1 4202560 26414 0 0 0 4844 16 0 0 25 0 4 0 521299802 563150848 83537 33554432000 4194304 4964704 140733235022112 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6734/tid=6769] ppid=6732 vsize=549952 CPUtime=48.6 cores=1,3,5,7
/proc/6734/task/6769/stat : 6769 (claspmt) R 6732 6734 6445 0 -1 4202560 15210 0 0 0 4854 6 0 0 25 0 4 0 521299802 563150848 83537 33554432000 4194304 4964704 140733235022112 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 227.77
Current children cumulated vsize (KiB) 549952

[startup+82.7008 s]
/proc/loadavg: 7.50 7.31 7.24 9/184 6771
/proc/meminfo: memFree=19319400/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=550348 CPUtime=229.36 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 87612 0 0 0 22897 39 0 0 25 0 4 0 521296432 563556352 83734 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/6734/statm: 137587 83734 460 189 0 131936 0
[pid=6734/tid=6767] ppid=6732 vsize=550348 CPUtime=48.99 cores=1,3,5,7
/proc/6734/task/6767/stat : 6767 (claspmt) R 6732 6734 6445 0 -1 4202560 13094 0 0 0 4892 7 0 0 25 0 4 0 521299802 563556352 83734 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6734/tid=6768] ppid=6732 vsize=550348 CPUtime=49 cores=1,3,5,7
/proc/6734/task/6768/stat : 6768 (claspmt) R 6732 6734 6445 0 -1 4202560 26504 0 0 0 4884 16 0 0 25 0 4 0 521299802 563556352 83734 33554432000 4194304 4964704 140733235022112 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6734/tid=6769] ppid=6732 vsize=550348 CPUtime=49 cores=1,3,5,7
/proc/6734/task/6769/stat : 6769 (claspmt) R 6732 6734 6445 0 -1 4202560 15263 0 0 0 4894 6 0 0 25 0 4 0 521299802 563556352 83734 33554432000 4194304 4964704 140733235022112 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 229.36
Current children cumulated vsize (KiB) 550348

[startup+82.8008 s]
/proc/loadavg: 7.50 7.31 7.24 9/184 6771
/proc/meminfo: memFree=19319400/32950904 swapFree=67082284/67111528
[pid=6734] ppid=6732 vsize=549044 CPUtime=229.49 cores=1,3,5,7
/proc/6734/stat : 6734 (claspmt) R 6732 6734 6445 0 -1 4202496 87626 0 0 0 22910 39 0 0 25 0 1 0 521296432 562221056 83316 33554432000 4194304 4964704 140733235022112 18446744073709551615 4646527 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/6734/statm: 137261 83316 470 189 0 131610 0
Current children cumulated CPU time (s) 229.49
Current children cumulated vsize (KiB) 549044

Child status: 10
Real time (s): 82.8495
CPU time (s): 229.552
CPU user time (s): 229.139
CPU system time (s): 0.412937
CPU usage (%): 277.071
Max. virtual memory (cumulated for all children) (KiB): 550348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.139
system time used= 0.412937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87628
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= 3517
involuntary context switches= 1358

runsolver used 0.114982 second user time and 0.332949 second system time

The end

Launcher Data

Begin job on node121 at 2011-04-29 19:09:27
IDJOB=3299817
IDBENCH=83475
IDSOLVER=1683
FILE ID=node121/3299817-1304096966
RUNJOBID= node121-1304096537-6464
PBS_JOBID= 13170609
Free space on /tmp= 72572 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3299817-1304096966/watcher-3299817-1304096966 -o /tmp/evaluation-result-3299817-1304096966/solver-3299817-1304096966 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299817-1304096966.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=36312803

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      18777424 kB
Buffers:       2183656 kB
Cached:       10358048 kB
SwapCached:       2776 kB
Active:       10282408 kB
Inactive:      3370392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      18777424 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           23008 kB
Writeback:           0 kB
AnonPages:     1108748 kB
Mapped:          14632 kB
Slab:           456312 kB
PageTables:       7076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:  1322008 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= 72632 MiB
End job on node121 at 2011-04-29 19:10:50