Trace number 3322538

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 143.118 56.401

General information on the benchmark

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

Solver Data 

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

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-3322538-1304387893/watcher-3322538-1304387893 -o /tmp/evaluation-result-3322538-1304387893/solver-3322538-1304387893 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322538-1304387893.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.05 7.76 7.88 1/288 357
/proc/meminfo: memFree=25334968/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=20792 CPUtime=0 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4194304 255 0 0 0 0 0 0 0 21 0 1 0 550387844 21291008 204 33554432000 4194304 4964704 140737086047216 18446744073709551615 210199684255 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/357/statm: 5198 213 175 189 0 59 0

[startup+0.0671391 s]
/proc/loadavg: 7.05 7.76 7.88 1/288 357
/proc/meminfo: memFree=25334968/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=31236 CPUtime=0.06 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 3599 0 0 0 6 0 0 0 21 0 1 0 550387844 31985664 2975 33554432000 4194304 4964704 140737086047216 18446744073709551615 4324146 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/357/statm: 7809 2976 389 189 0 2683 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31236

[startup+0.10115 s]
/proc/loadavg: 7.05 7.76 7.88 1/288 357
/proc/meminfo: memFree=25334968/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=35340 CPUtime=0.09 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 4874 0 0 0 9 0 0 0 21 0 1 0 550387844 36188160 3979 33554432000 4194304 4964704 140737086047216 18446744073709551615 4583431 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/357/statm: 8835 3981 389 189 0 3709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35340

[startup+0.301099 s]
/proc/loadavg: 7.05 7.76 7.88 1/288 357
/proc/meminfo: memFree=25334968/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=63580 CPUtime=0.29 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 13598 0 0 0 27 2 0 0 22 0 1 0 550387844 65105920 10676 33554432000 4194304 4964704 140737086047216 18446744073709551615 4615450 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/357/statm: 15895 10677 400 189 0 10769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63580

[startup+0.701032 s]
/proc/loadavg: 7.05 7.76 7.88 1/288 357
/proc/meminfo: memFree=25334968/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=87480 CPUtime=0.69 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 19133 0 0 0 67 2 0 0 23 0 1 0 550387844 89579520 16211 33554432000 4194304 4964704 140737086047216 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/357/statm: 21870 16211 403 189 0 16744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87480

[startup+1.5009 s]
/proc/loadavg: 6.56 7.65 7.84 2/289 358
/proc/meminfo: memFree=25271856/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=87480 CPUtime=1.49 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 19133 0 0 0 147 2 0 0 25 0 1 0 550387844 89579520 16211 33554432000 4194304 4964704 140737086047216 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/357/statm: 21870 16211 403 189 0 16744 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87480

[startup+3.10063 s]
/proc/loadavg: 6.56 7.65 7.84 2/289 358
/proc/meminfo: memFree=25271668/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=87480 CPUtime=3.09 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 19133 0 0 0 307 2 0 0 25 0 1 0 550387844 89579520 16211 33554432000 4194304 4964704 140737086047216 18446744073709551615 4607486 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/357/statm: 21870 16211 403 189 0 16744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87480

[startup+6.30109 s]
/proc/loadavg: 6.56 7.65 7.84 2/289 358
/proc/meminfo: memFree=25271316/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=87480 CPUtime=6.29 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 19133 0 0 0 627 2 0 0 25 0 1 0 550387844 89579520 16211 33554432000 4194304 4964704 140737086047216 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/357/statm: 21870 16211 403 189 0 16744 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87480

[startup+12.701 s]
/proc/loadavg: 5.71 7.43 7.77 2/289 358
/proc/meminfo: memFree=25271840/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=87480 CPUtime=12.69 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 19133 0 0 0 1267 2 0 0 25 0 1 0 550387844 89579520 16211 33554432000 4194304 4964704 140737086047216 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/357/statm: 21870 16211 403 189 0 16744 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87480

[startup+25.5009 s]
/proc/loadavg: 4.98 7.22 7.70 2/289 359
/proc/meminfo: memFree=25272804/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=87480 CPUtime=25.49 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 19133 0 0 0 2547 2 0 0 25 0 1 0 550387844 89579520 16211 33554432000 4194304 4964704 140737086047216 18446744073709551615 4607622 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/357/statm: 21870 16211 403 189 0 16744 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87480

[startup+51.1006 s]
/proc/loadavg: 4.64 6.89 7.57 9/296 367
/proc/meminfo: memFree=24978592/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=555708 CPUtime=103.16 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 94928 0 0 0 10283 33 0 0 25 0 8 0 550387844 569044992 90978 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/357/statm: 138927 90978 464 189 0 133276 0
[pid=357/tid=361] ppid=355 vsize=555708 CPUtime=7.48 cores=0-7
/proc/357/task/361/stat : 361 (claspmt) R 355 357 32624 0 -1 4202560 8933 0 0 0 745 3 0 0 25 0 8 0 550392013 569044992 90978 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=357/tid=362] ppid=355 vsize=555708 CPUtime=7.48 cores=0-7
/proc/357/task/362/stat : 362 (claspmt) R 355 357 32624 0 -1 4202560 7816 0 0 0 744 4 0 0 25 0 8 0 550392013 569044992 90978 33554432000 4194304 4964704 140737086047216 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=357/tid=363] ppid=355 vsize=555708 CPUtime=7.45 cores=0-7
/proc/357/task/363/stat : 363 (claspmt) R 355 357 32624 0 -1 4202560 8317 0 0 0 742 3 0 0 25 0 8 0 550392013 569044992 90978 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=357/tid=364] ppid=355 vsize=555708 CPUtime=7.47 cores=0-7
/proc/357/task/364/stat : 364 (claspmt) R 355 357 32624 0 -1 4202560 10097 0 0 0 744 3 0 0 25 0 8 0 550392013 569044992 90978 33554432000 4194304 4964704 140737086047216 18446744073709551615 4359842 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=357/tid=365] ppid=355 vsize=555708 CPUtime=9.28 cores=0-7
/proc/357/task/365/stat : 365 (claspmt) R 355 357 32624 0 -1 4202560 10135 0 0 0 924 4 0 0 25 0 8 0 550392013 569044992 90978 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=357/tid=366] ppid=355 vsize=555708 CPUtime=7.42 cores=0-7
/proc/357/task/366/stat : 366 (claspmt) R 355 357 32624 0 -1 4202560 10163 0 0 0 738 4 0 0 25 0 8 0 550392013 569044992 90978 33554432000 4194304 4964704 140737086047216 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=357/tid=367] ppid=355 vsize=555708 CPUtime=7.41 cores=0-7
/proc/357/task/367/stat : 367 (claspmt) R 355 357 32624 0 -1 4202560 11909 0 0 0 736 5 0 0 25 0 8 0 550392013 569044992 90978 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 103.16
Current children cumulated vsize (KiB) 555708

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

[startup+54.301 s]
/proc/loadavg: 4.64 6.89 7.57 9/296 367
/proc/meminfo: memFree=24950196/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=560684 CPUtime=128.72 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 101581 0 0 0 12835 37 0 0 25 0 8 0 550387844 574140416 97631 33554432000 4194304 4964704 140737086047216 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/357/statm: 140171 97631 464 189 0 134520 0
[pid=357/tid=361] ppid=355 vsize=560684 CPUtime=10.68 cores=0-7
/proc/357/task/361/stat : 361 (claspmt) R 355 357 32624 0 -1 4202560 9169 0 0 0 1065 3 0 0 25 0 8 0 550392013 574140416 97631 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=357/tid=362] ppid=355 vsize=560684 CPUtime=10.68 cores=0-7
/proc/357/task/362/stat : 362 (claspmt) R 355 357 32624 0 -1 4202560 8900 0 0 0 1063 5 0 0 25 0 8 0 550392013 574140416 97631 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=357/tid=363] ppid=355 vsize=560684 CPUtime=10.65 cores=0-7
/proc/357/task/363/stat : 363 (claspmt) R 355 357 32624 0 -1 4202560 9210 0 0 0 1061 4 0 0 25 0 8 0 550392013 574140416 97631 33554432000 4194304 4964704 140737086047216 18446744073709551615 4669427 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=357/tid=364] ppid=355 vsize=560684 CPUtime=10.67 cores=0-7
/proc/357/task/364/stat : 364 (claspmt) R 355 357 32624 0 -1 4202560 10670 0 0 0 1064 3 0 0 25 0 8 0 550392013 574140416 97631 33554432000 4194304 4964704 140737086047216 18446744073709551615 4668527 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=357/tid=365] ppid=355 vsize=560684 CPUtime=12.48 cores=0-7
/proc/357/task/365/stat : 365 (claspmt) R 355 357 32624 0 -1 4202560 10138 0 0 0 1244 4 0 0 25 0 8 0 550392013 574140416 97631 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=357/tid=366] ppid=355 vsize=560684 CPUtime=10.62 cores=0-7
/proc/357/task/366/stat : 366 (claspmt) R 355 357 32624 0 -1 4202560 11448 0 0 0 1058 4 0 0 25 0 8 0 550392013 574140416 97631 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=357/tid=367] ppid=355 vsize=560684 CPUtime=10.58 cores=0-7
/proc/357/task/367/stat : 367 (claspmt) R 355 357 32624 0 -1 4202560 14303 0 0 0 1051 7 0 0 25 0 8 0 550392013 574140416 97631 33554432000 4194304 4964704 140737086047216 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 128.72
Current children cumulated vsize (KiB) 560684

[startup+55.1009 s]
/proc/loadavg: 4.64 6.89 7.57 9/296 367
/proc/meminfo: memFree=24942384/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=561972 CPUtime=135.11 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 103243 0 0 0 13474 37 0 0 25 0 8 0 550387844 575459328 99293 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/357/statm: 140493 99293 464 189 0 134842 0
[pid=357/tid=361] ppid=355 vsize=561972 CPUtime=11.48 cores=0-7
/proc/357/task/361/stat : 361 (claspmt) R 355 357 32624 0 -1 4202560 9322 0 0 0 1145 3 0 0 25 0 8 0 550392013 575459328 99293 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=357/tid=362] ppid=355 vsize=561972 CPUtime=11.48 cores=0-7
/proc/357/task/362/stat : 362 (claspmt) R 355 357 32624 0 -1 4202560 9551 0 0 0 1143 5 0 0 25 0 8 0 550392013 575459328 99293 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=357/tid=363] ppid=355 vsize=561972 CPUtime=11.45 cores=0-7
/proc/357/task/363/stat : 363 (claspmt) R 355 357 32624 0 -1 4202560 9394 0 0 0 1141 4 0 0 25 0 8 0 550392013 575459328 99293 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=357/tid=364] ppid=355 vsize=561972 CPUtime=11.47 cores=0-7
/proc/357/task/364/stat : 364 (claspmt) R 355 357 32624 0 -1 4202560 10747 0 0 0 1144 3 0 0 25 0 8 0 550392013 575459328 99293 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=357/tid=365] ppid=355 vsize=561972 CPUtime=13.27 cores=0-7
/proc/357/task/365/stat : 365 (claspmt) R 355 357 32624 0 -1 4202560 10138 0 0 0 1323 4 0 0 25 0 8 0 550392013 575459328 99293 33554432000 4194304 4964704 140737086047216 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=357/tid=366] ppid=355 vsize=561972 CPUtime=11.42 cores=0-7
/proc/357/task/366/stat : 366 (claspmt) R 355 357 32624 0 -1 4202560 11604 0 0 0 1138 4 0 0 25 0 8 0 550392013 575459328 99293 33554432000 4194304 4964704 140737086047216 18446744073709551615 4668668 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=357/tid=367] ppid=355 vsize=561972 CPUtime=11.37 cores=0-7
/proc/357/task/367/stat : 367 (claspmt) R 355 357 32624 0 -1 4202560 14671 0 0 0 1130 7 0 0 25 0 8 0 550392013 575459328 99293 33554432000 4194304 4964704 140737086047216 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 135.11
Current children cumulated vsize (KiB) 561972

[startup+55.9008 s]
/proc/loadavg: 4.64 6.89 7.57 9/296 367
/proc/meminfo: memFree=24942384/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=562660 CPUtime=141.5 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 104971 0 0 0 14112 38 0 0 25 0 8 0 550387844 576163840 101021 33554432000 4194304 4964704 140737086047216 18446744073709551615 4332346 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/357/statm: 140665 101021 464 189 0 135014 0
[pid=357/tid=361] ppid=355 vsize=562660 CPUtime=12.27 cores=0-7
/proc/357/task/361/stat : 361 (claspmt) R 355 357 32624 0 -1 4202560 9574 0 0 0 1224 3 0 0 25 0 8 0 550392013 576163840 101021 33554432000 4194304 4964704 140737086047216 18446744073709551615 4669420 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=357/tid=362] ppid=355 vsize=562660 CPUtime=12.28 cores=0-7
/proc/357/task/362/stat : 362 (claspmt) R 355 357 32624 0 -1 4202560 9958 0 0 0 1223 5 0 0 25 0 8 0 550392013 576163840 101021 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=357/tid=363] ppid=355 vsize=562660 CPUtime=12.25 cores=0-7
/proc/357/task/363/stat : 363 (claspmt) R 355 357 32624 0 -1 4202560 9589 0 0 0 1221 4 0 0 25 0 8 0 550392013 576163840 101021 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=357/tid=364] ppid=355 vsize=562660 CPUtime=12.27 cores=0-7
/proc/357/task/364/stat : 364 (claspmt) R 355 357 32624 0 -1 4202560 10815 0 0 0 1224 3 0 0 25 0 8 0 550392013 576163840 101021 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=357/tid=365] ppid=355 vsize=562660 CPUtime=14.07 cores=0-7
/proc/357/task/365/stat : 365 (claspmt) R 355 357 32624 0 -1 4202560 10138 0 0 0 1403 4 0 0 25 0 8 0 550392013 576163840 101021 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=357/tid=366] ppid=355 vsize=562660 CPUtime=12.22 cores=0-7
/proc/357/task/366/stat : 366 (claspmt) R 355 357 32624 0 -1 4202560 11865 0 0 0 1218 4 0 0 25 0 8 0 550392013 576163840 101021 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=357/tid=367] ppid=355 vsize=562660 CPUtime=12.17 cores=0-7
/proc/357/task/367/stat : 367 (claspmt) R 355 357 32624 0 -1 4202560 15160 0 0 0 1210 7 0 0 25 0 8 0 550392013 576163840 101021 33554432000 4194304 4964704 140737086047216 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 141.5
Current children cumulated vsize (KiB) 562660

[startup+56.3008 s]
/proc/loadavg: 4.90 6.91 7.57 9/296 367
/proc/meminfo: memFree=24934076/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=561356 CPUtime=143.01 cores=0-7
/proc/357/stat : 357 (claspmt) R 355 357 32624 0 -1 4202496 105198 0 0 0 14262 39 0 0 25 0 1 0 550387844 574828544 100509 33554432000 4194304 4964704 140737086047216 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/357/statm: 140339 100509 474 189 0 134688 0
Current children cumulated CPU time (s) 143.01
Current children cumulated vsize (KiB) 561356

[startup+56.4007 s]
/proc/loadavg: 4.90 6.91 7.57 9/296 367
/proc/meminfo: memFree=24934076/32951124 swapFree=67107192/67111528
[pid=357] ppid=355 vsize=0 CPUtime=143.1 cores=0-7
/proc/357/stat : 357 (claspmt) S 355 357 32624 0 -1 4202500 105199 0 0 0 14270 40 0 0 25 0 1 0 550387844 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/357/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 143.1
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 56.401
CPU time (s): 143.118
CPU user time (s): 142.708
CPU system time (s): 0.409937
CPU usage (%): 253.751
Max. virtual memory (cumulated for all children) (KiB): 562660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.708
system time used= 0.409937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105199
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= 24058
involuntary context switches= 711

runsolver used 0.138978 second user time and 0.347947 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-03 03:58:13
IDJOB=3322538
IDBENCH=83450
IDSOLVER=1711
FILE ID=node130/3322538-1304387893
RUNJOBID= node130-1304386746-32638
PBS_JOBID= 13181811
Free space on /tmp= 73428 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.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-3322538-1304387893/watcher-3322538-1304387893 -o /tmp/evaluation-result-3322538-1304387893/solver-3322538-1304387893 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322538-1304387893.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1803696858

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:      25335256 kB
Buffers:        281412 kB
Cached:        2522576 kB
SwapCached:       2028 kB
Active:        5125392 kB
Inactive:      2181128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25335256 kB
SwapTotal:    67111528 kB
SwapFree:     67107192 kB
Dirty:           22724 kB
Writeback:           0 kB
AnonPages:     4502264 kB
Mapped:          24220 kB
Slab:           221228 kB
PageTables:      25176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51457304 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= 73428 MiB
End job on node130 at 2011-05-03 03:59:10