Trace number 3322554

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 176.622 54.4331

General information on the benchmark

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

Solver Data 

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

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-3322554-1304388169/watcher-3322554-1304388169 -o /tmp/evaluation-result-3322554-1304388169/solver-3322554-1304388169 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322554-1304388169.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.51 7.43 7.64 1/288 1034
/proc/meminfo: memFree=25332188/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=20872 CPUtime=0 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 486 0 0 0 0 0 0 0 23 0 1 0 550415483 21372928 416 33554432000 4194304 4964704 140735020743504 18446744073709551615 210204344864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1034/statm: 5218 416 353 189 0 92 0

[startup+0.0580151 s]
/proc/loadavg: 7.51 7.43 7.64 1/288 1034
/proc/meminfo: memFree=25332188/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=30312 CPUtime=0.05 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 3364 0 0 0 5 0 0 0 23 0 1 0 550415483 31039488 2740 33554432000 4194304 4964704 140735020743504 18446744073709551615 210204308165 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1034/statm: 7578 2742 389 189 0 2452 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30312

[startup+0.101006 s]
/proc/loadavg: 7.51 7.43 7.64 1/288 1034
/proc/meminfo: memFree=25332188/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=36000 CPUtime=0.09 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 5091 0 0 0 9 0 0 0 23 0 1 0 550415483 36864000 4196 33554432000 4194304 4964704 140735020743504 18446744073709551615 210204308165 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1034/statm: 9000 4198 389 189 0 3874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36000

[startup+0.300986 s]
/proc/loadavg: 7.51 7.43 7.64 1/288 1034
/proc/meminfo: memFree=25332188/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=66636 CPUtime=0.29 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 14341 0 0 0 28 1 0 0 24 0 1 0 550415483 68235264 11419 33554432000 4194304 4964704 140735020743504 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1034/statm: 16659 11419 400 189 0 11533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66636

[startup+0.700919 s]
/proc/loadavg: 7.51 7.43 7.64 1/288 1034
/proc/meminfo: memFree=25332188/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=84608 CPUtime=0.69 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 18472 0 0 0 67 2 0 0 25 0 1 0 550415483 86638592 15550 33554432000 4194304 4964704 140735020743504 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1034/statm: 21152 15550 403 189 0 16026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84608

[startup+1.50078 s]
/proc/loadavg: 7.51 7.43 7.64 2/289 1035
/proc/meminfo: memFree=25271304/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=84608 CPUtime=1.49 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 18472 0 0 0 147 2 0 0 25 0 1 0 550415483 86638592 15550 33554432000 4194304 4964704 140735020743504 18446744073709551615 4607486 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1034/statm: 21152 15550 403 189 0 16026 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84608

[startup+3.10051 s]
/proc/loadavg: 7.51 7.43 7.64 2/289 1035
/proc/meminfo: memFree=25271352/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=84608 CPUtime=3.09 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 18472 0 0 0 307 2 0 0 25 0 1 0 550415483 86638592 15550 33554432000 4194304 4964704 140735020743504 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1034/statm: 21152 15550 403 189 0 16026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84608

[startup+6.30097 s]
/proc/loadavg: 7.07 7.34 7.61 2/289 1035
/proc/meminfo: memFree=25271100/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=84608 CPUtime=6.29 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 18472 0 0 0 627 2 0 0 25 0 1 0 550415483 86638592 15550 33554432000 4194304 4964704 140735020743504 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1034/statm: 21152 15550 403 189 0 16026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84608

[startup+12.7009 s]
/proc/loadavg: 6.58 7.23 7.58 2/289 1035
/proc/meminfo: memFree=25271788/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=84608 CPUtime=12.69 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 18472 0 0 0 1267 2 0 0 25 0 1 0 550415483 86638592 15550 33554432000 4194304 4964704 140735020743504 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1034/statm: 21152 15550 403 189 0 16026 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84608

[startup+25.5008 s]
/proc/loadavg: 5.34 6.93 7.47 2/289 1035
/proc/meminfo: memFree=25273436/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=84608 CPUtime=25.49 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 18472 0 0 0 2547 2 0 0 25 0 1 0 550415483 86638592 15550 33554432000 4194304 4964704 140735020743504 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1034/statm: 21152 15550 403 189 0 16026 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84608

[startup+51.1004 s]
/proc/loadavg: 5.61 6.84 7.43 9/296 1043
/proc/meminfo: memFree=24924080/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=547540 CPUtime=152.66 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 108530 0 0 0 15227 39 0 0 25 0 8 0 550415483 560680960 104570 33554432000 4194304 4964704 140735020743504 18446744073709551615 4659396 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1034/statm: 136885 104570 466 189 0 131234 0
[pid=1034/tid=1036] ppid=1032 vsize=547540 CPUtime=14.54 cores=0-7
/proc/1034/task/1036/stat : 1036 (claspmt) R 1032 1034 32624 0 -1 4202560 10905 0 0 0 1451 3 0 0 25 0 8 0 550418950 560680960 104570 33554432000 4194304 4964704 140735020743504 18446744073709551615 4660362 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1034/tid=1037] ppid=1032 vsize=547540 CPUtime=14.51 cores=0-7
/proc/1034/task/1037/stat : 1037 (claspmt) R 1032 1034 32624 0 -1 4202560 14078 0 0 0 1445 6 0 0 25 0 8 0 550418950 560680960 104570 33554432000 4194304 4964704 140735020743504 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1034/tid=1038] ppid=1032 vsize=547540 CPUtime=14.53 cores=0-7
/proc/1034/task/1038/stat : 1038 (claspmt) R 1032 1034 32624 0 -1 4202560 9673 0 0 0 1450 3 0 0 25 0 8 0 550418950 560680960 104570 33554432000 4194304 4964704 140735020743504 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1034/tid=1039] ppid=1032 vsize=547540 CPUtime=14.53 cores=0-7
/proc/1034/task/1039/stat : 1039 (claspmt) R 1032 1034 32624 0 -1 4202560 12339 0 0 0 1449 4 0 0 25 0 8 0 550418951 560680960 104570 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1034/tid=1040] ppid=1032 vsize=547540 CPUtime=16.31 cores=0-7
/proc/1034/task/1040/stat : 1040 (claspmt) R 1032 1034 32624 0 -1 4202560 10481 0 0 0 1628 3 0 0 25 0 8 0 550418951 560680960 104570 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1034/tid=1041] ppid=1032 vsize=547540 CPUtime=14.59 cores=0-7
/proc/1034/task/1041/stat : 1041 (claspmt) R 1032 1034 32624 0 -1 4202560 10281 0 0 0 1454 5 0 0 25 0 8 0 550418951 560680960 104570 33554432000 4194304 4964704 140735020743504 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1034/tid=1042] ppid=1032 vsize=547540 CPUtime=14.44 cores=0-7
/proc/1034/task/1042/stat : 1042 (claspmt) R 1032 1034 32624 0 -1 4202560 12925 0 0 0 1438 6 0 0 25 0 8 0 550418951 560680960 104570 33554432000 4194304 4964704 140735020743504 18446744073709551615 4669051 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 152.66
Current children cumulated vsize (KiB) 547540

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

[startup+52.7012 s]
/proc/loadavg: 5.61 6.84 7.43 9/296 1043
/proc/meminfo: memFree=24908580/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=548208 CPUtime=165.48 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 111094 0 0 0 16507 41 0 0 25 0 8 0 550415483 561364992 107134 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1034/statm: 137052 107134 466 189 0 131401 0
[pid=1034/tid=1036] ppid=1032 vsize=548208 CPUtime=16.16 cores=0-7
/proc/1034/task/1036/stat : 1036 (claspmt) R 1032 1034 32624 0 -1 4202560 11264 0 0 0 1612 4 0 0 25 0 8 0 550418950 561364992 107135 33554432000 4194304 4964704 140735020743504 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1034/tid=1037] ppid=1032 vsize=548208 CPUtime=16.12 cores=0-7
/proc/1034/task/1037/stat : 1037 (claspmt) R 1032 1034 32624 0 -1 4202560 14443 0 0 0 1606 6 0 0 25 0 8 0 550418950 561364992 107135 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1034/tid=1038] ppid=1032 vsize=548208 CPUtime=16.15 cores=0-7
/proc/1034/task/1038/stat : 1038 (claspmt) R 1032 1034 32624 0 -1 4202560 9872 0 0 0 1611 4 0 0 25 0 8 0 550418950 561364992 107135 33554432000 4194304 4964704 140735020743504 18446744073709551615 4654500 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1034/tid=1039] ppid=1032 vsize=548208 CPUtime=16.14 cores=0-7
/proc/1034/task/1039/stat : 1039 (claspmt) R 1032 1034 32624 0 -1 4202560 12917 0 0 0 1610 4 0 0 25 0 8 0 550418951 561364992 107135 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1034/tid=1040] ppid=1032 vsize=548208 CPUtime=17.92 cores=0-7
/proc/1034/task/1040/stat : 1040 (claspmt) R 1032 1034 32624 0 -1 4202560 10549 0 0 0 1789 3 0 0 25 0 8 0 550418951 561364992 107135 33554432000 4194304 4964704 140735020743504 18446744073709551615 4668466 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1034/tid=1041] ppid=1032 vsize=548208 CPUtime=16.2 cores=0-7
/proc/1034/task/1041/stat : 1041 (claspmt) R 1032 1034 32624 0 -1 4202560 10397 0 0 0 1615 5 0 0 25 0 8 0 550418951 561364992 107135 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1034/tid=1042] ppid=1032 vsize=548208 CPUtime=16.03 cores=0-7
/proc/1034/task/1042/stat : 1042 (claspmt) R 1032 1034 32624 0 -1 4202560 13634 0 0 0 1597 6 0 0 25 0 8 0 550418951 561364992 107135 33554432000 4194304 4964704 140735020743504 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 165.48
Current children cumulated vsize (KiB) 548208

[startup+53.501 s]
/proc/loadavg: 5.61 6.84 7.43 9/296 1043
/proc/meminfo: memFree=24908580/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=548604 CPUtime=171.84 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 112718 0 0 0 17142 42 0 0 25 0 8 0 550415483 561770496 108758 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1034/statm: 137151 108758 466 189 0 131500 0
[pid=1034/tid=1036] ppid=1032 vsize=548604 CPUtime=16.95 cores=0-7
/proc/1034/task/1036/stat : 1036 (claspmt) R 1032 1034 32624 0 -1 4202560 11316 0 0 0 1691 4 0 0 25 0 8 0 550418950 561770496 108758 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1034/tid=1037] ppid=1032 vsize=548604 CPUtime=16.92 cores=0-7
/proc/1034/task/1037/stat : 1037 (claspmt) R 1032 1034 32624 0 -1 4202560 14834 0 0 0 1685 7 0 0 25 0 8 0 550418950 561770496 108758 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1034/tid=1038] ppid=1032 vsize=548604 CPUtime=16.94 cores=0-7
/proc/1034/task/1038/stat : 1038 (claspmt) R 1032 1034 32624 0 -1 4202560 9893 0 0 0 1690 4 0 0 25 0 8 0 550418950 561770496 108758 33554432000 4194304 4964704 140735020743504 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1034/tid=1039] ppid=1032 vsize=548604 CPUtime=16.93 cores=0-7
/proc/1034/task/1039/stat : 1039 (claspmt) R 1032 1034 32624 0 -1 4202560 13110 0 0 0 1689 4 0 0 25 0 8 0 550418951 561770496 108758 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1034/tid=1040] ppid=1032 vsize=548604 CPUtime=18.71 cores=0-7
/proc/1034/task/1040/stat : 1040 (claspmt) R 1032 1034 32624 0 -1 4202560 10630 0 0 0 1868 3 0 0 25 0 8 0 550418951 561770496 108758 33554432000 4194304 4964704 140735020743504 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1034/tid=1041] ppid=1032 vsize=548604 CPUtime=17 cores=0-7
/proc/1034/task/1041/stat : 1041 (claspmt) R 1032 1034 32624 0 -1 4202560 10730 0 0 0 1694 6 0 0 25 0 8 0 550418951 561770496 108758 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1034/tid=1042] ppid=1032 vsize=548604 CPUtime=16.83 cores=0-7
/proc/1034/task/1042/stat : 1042 (claspmt) R 1032 1034 32624 0 -1 4202560 14135 0 0 0 1676 7 0 0 25 0 8 0 550418951 561770496 108758 33554432000 4194304 4964704 140735020743504 18446744073709551615 4627451 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 171.84
Current children cumulated vsize (KiB) 548604

[startup+53.911 s]
/proc/loadavg: 5.61 6.84 7.43 9/296 1043
/proc/meminfo: memFree=24900024/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=549044 CPUtime=175.11 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 113384 0 0 0 17469 42 0 0 25 0 8 0 550415483 562221056 109424 33554432000 4194304 4964704 140735020743504 18446744073709551615 4668598 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1034/statm: 137261 109424 466 189 0 131610 0
[pid=1034/tid=1036] ppid=1032 vsize=549044 CPUtime=17.36 cores=0-7
/proc/1034/task/1036/stat : 1036 (claspmt) R 1032 1034 32624 0 -1 4202560 11427 0 0 0 1732 4 0 0 25 0 8 0 550418950 562221056 109424 33554432000 4194304 4964704 140735020743504 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1034/tid=1037] ppid=1032 vsize=549044 CPUtime=17.33 cores=0-7
/proc/1034/task/1037/stat : 1037 (claspmt) R 1032 1034 32624 0 -1 4202560 15016 0 0 0 1726 7 0 0 25 0 8 0 550418950 562221056 109424 33554432000 4194304 4964704 140735020743504 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1034/tid=1038] ppid=1032 vsize=549044 CPUtime=17.35 cores=0-7
/proc/1034/task/1038/stat : 1038 (claspmt) R 1032 1034 32624 0 -1 4202560 9980 0 0 0 1731 4 0 0 25 0 8 0 550418950 562221056 109424 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1034/tid=1039] ppid=1032 vsize=549044 CPUtime=17.34 cores=0-7
/proc/1034/task/1039/stat : 1039 (claspmt) R 1032 1034 32624 0 -1 4202560 13214 0 0 0 1730 4 0 0 25 0 8 0 550418951 562221056 109424 33554432000 4194304 4964704 140735020743504 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1034/tid=1040] ppid=1032 vsize=549044 CPUtime=19.12 cores=0-7
/proc/1034/task/1040/stat : 1040 (claspmt) R 1032 1034 32624 0 -1 4202560 10630 0 0 0 1909 3 0 0 25 0 8 0 550418951 562221056 109424 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1034/tid=1041] ppid=1032 vsize=549044 CPUtime=17.41 cores=0-7
/proc/1034/task/1041/stat : 1041 (claspmt) R 1032 1034 32624 0 -1 4202560 10792 0 0 0 1735 6 0 0 25 0 8 0 550418951 562221056 109424 33554432000 4194304 4964704 140735020743504 18446744073709551615 4668946 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1034/tid=1042] ppid=1032 vsize=549044 CPUtime=17.23 cores=0-7
/proc/1034/task/1042/stat : 1042 (claspmt) R 1032 1034 32624 0 -1 4202560 14152 0 0 0 1716 7 0 0 25 0 8 0 550418951 562221056 109424 33554432000 4194304 4964704 140735020743504 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 175.11
Current children cumulated vsize (KiB) 549044

[startup+54.3009 s]
/proc/loadavg: 5.61 6.84 7.43 9/296 1043
/proc/meminfo: memFree=24900024/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=547740 CPUtime=176.48 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 113616 0 0 0 17606 42 0 0 25 0 1 0 550415483 560885760 109294 33554432000 4194304 4964704 140735020743504 18446744073709551615 210204302539 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1034/statm: 136935 109294 476 189 0 131284 0
Current children cumulated CPU time (s) 176.48
Current children cumulated vsize (KiB) 547740

[startup+54.4009 s]
/proc/loadavg: 5.61 6.84 7.43 9/296 1043
/proc/meminfo: memFree=24900024/32951124 swapFree=67107192/67111528
[pid=1034] ppid=1032 vsize=547740 CPUtime=176.58 cores=0-7
/proc/1034/stat : 1034 (claspmt) R 1032 1034 32624 0 -1 4202496 113616 0 0 0 17616 42 0 0 25 0 1 0 550415483 560885760 108203 33554432000 4194304 4964704 140735020743504 18446744073709551615 210204296289 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/1034/statm: 136935 108203 476 189 0 131284 0
Current children cumulated CPU time (s) 176.58
Current children cumulated vsize (KiB) 547740

Child status: 10
Real time (s): 54.4331
CPU time (s): 176.622
CPU user time (s): 176.17
CPU system time (s): 0.451931
CPU usage (%): 324.476
Max. virtual memory (cumulated for all children) (KiB): 549044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.17
system time used= 0.451931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113617
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= 28870
involuntary context switches= 1149

runsolver used 0.131979 second user time and 0.339948 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-03 04:02:50
IDJOB=3322554
IDBENCH=83475
IDSOLVER=1711
FILE ID=node130/3322554-1304388169
RUNJOBID= node130-1304386746-32638
PBS_JOBID= 13181811
Free space on /tmp= 73688 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-3322554-1304388169/watcher-3322554-1304388169 -o /tmp/evaluation-result-3322554-1304388169/solver-3322554-1304388169 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322554-1304388169.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1117851259

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25332344 kB
Buffers:        282284 kB
Cached:        2523208 kB
SwapCached:       2028 kB
Active:        5124572 kB
Inactive:      2183380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25332344 kB
SwapTotal:    67111528 kB
SwapFree:     67107192 kB
Dirty:           21272 kB
Writeback:           0 kB
AnonPages:     4502092 kB
Mapped:          23852 kB
Slab:           221992 kB
PageTables:      24752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51455664 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= 73688 MiB
End job on node130 at 2011-05-03 04:03:44