Trace number 3299818

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 144.023 67.4624

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.30 7.54 7.40 2/177 6604
/proc/meminfo: memFree=19682016/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=23284 CPUtime=0 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 1171 0 0 0 0 0 0 0 24 0 1 0 521257850 23842816 1020 33554432000 4194304 4964704 140735574474320 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 5821 1032 385 189 0 695 0

[startup+0.010979 s]
/proc/loadavg: 6.30 7.54 7.40 2/177 6604
/proc/meminfo: memFree=19682016/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=23812 CPUtime=0 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 1308 0 0 0 0 0 0 0 24 0 1 0 521257850 24383488 1157 33554432000 4194304 4964704 140735574474320 18446744073709551615 4567680 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 5953 1158 385 189 0 827 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23812

[startup+0.10097 s]
/proc/loadavg: 6.30 7.54 7.40 2/177 6604
/proc/meminfo: memFree=19682016/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=35468 CPUtime=0.09 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 4896 0 0 0 9 0 0 0 24 0 1 0 521257850 36319232 4001 33554432000 4194304 4964704 140735574474320 18446744073709551615 237278879488 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 8867 4002 388 189 0 3741 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35468

[startup+0.300935 s]
/proc/loadavg: 6.30 7.54 7.40 2/177 6604
/proc/meminfo: memFree=19682016/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=63840 CPUtime=0.29 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 13687 0 0 0 27 2 0 0 25 0 1 0 521257850 65372160 10766 33554432000 4194304 4964704 140735574474320 18446744073709551615 4615444 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 15960 10766 399 189 0 10834 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63840

[startup+0.700864 s]
/proc/loadavg: 6.30 7.54 7.40 2/177 6604
/proc/meminfo: memFree=19682016/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=87476 CPUtime=0.69 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 19128 0 0 0 66 3 0 0 25 0 1 0 521257850 89575424 16207 33554432000 4194304 4964704 140735574474320 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 21869 16207 402 189 0 16743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87476

[startup+1.50072 s]
/proc/loadavg: 6.30 7.54 7.40 3/178 6605
/proc/meminfo: memFree=19618404/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=87476 CPUtime=1.49 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 19128 0 0 0 146 3 0 0 25 0 1 0 521257850 89575424 16207 33554432000 4194304 4964704 140735574474320 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 21869 16207 402 189 0 16743 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87476

[startup+3.10044 s]
/proc/loadavg: 6.30 7.54 7.40 3/178 6605
/proc/meminfo: memFree=19618032/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=87476 CPUtime=3.09 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 19128 0 0 0 306 3 0 0 25 0 1 0 521257850 89575424 16207 33554432000 4194304 4964704 140735574474320 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 21869 16207 402 189 0 16743 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87476

[startup+6.30087 s]
/proc/loadavg: 5.96 7.44 7.37 3/178 6605
/proc/meminfo: memFree=19617792/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=87476 CPUtime=6.29 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 19128 0 0 0 626 3 0 0 25 0 1 0 521257850 89575424 16207 33554432000 4194304 4964704 140735574474320 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 21869 16207 402 189 0 16743 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87476

[startup+12.7007 s]
/proc/loadavg: 5.64 7.35 7.34 3/178 6606
/proc/meminfo: memFree=19617400/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=87476 CPUtime=12.69 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 19128 0 0 0 1266 3 0 0 25 0 1 0 521257850 89575424 16207 33554432000 4194304 4964704 140735574474320 18446744073709551615 4607641 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 21869 16207 402 189 0 16743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87476

[startup+25.5005 s]
/proc/loadavg: 4.83 7.09 7.25 3/178 6606
/proc/meminfo: memFree=19618124/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=87476 CPUtime=25.49 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 19128 0 0 0 2546 3 0 0 25 0 1 0 521257850 89575424 16207 33554432000 4194304 4964704 140735574474320 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 21869 16207 402 189 0 16743 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87476

[startup+51.1009 s]
/proc/loadavg: 4.33 6.78 7.14 6/181 6610
/proc/meminfo: memFree=19484404/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=272056 CPUtime=79.05 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 54709 0 0 0 7889 16 0 0 25 0 4 0 521257850 278585344 50825 33554432000 4194304 4964704 140735574474320 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6604/statm: 68014 50825 460 189 0 62363 0
[pid=6604/tid=6607] ppid=6602 vsize=272056 CPUtime=9.35 cores=1,3,5,7
/proc/6604/task/6607/stat : 6607 (claspmt) R 6602 6604 6445 0 -1 4202560 10040 0 0 0 931 4 0 0 25 0 4 0 521262023 278585344 50825 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6604/tid=6608] ppid=6602 vsize=272056 CPUtime=9.35 cores=1,3,5,7
/proc/6604/task/6608/stat : 6608 (claspmt) R 6602 6604 6445 0 -1 4202560 14479 0 0 0 930 5 0 0 25 0 4 0 521262023 278585344 50825 33554432000 4194304 4964704 140735574474320 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6604/tid=6609] ppid=6602 vsize=272056 CPUtime=9.29 cores=1,3,5,7
/proc/6604/task/6609/stat : 6609 (claspmt) R 6602 6604 6445 0 -1 4202560 3203 0 0 0 928 1 0 0 25 0 4 0 521262023 278585344 50825 33554432000 4194304 4964704 140735574474320 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 79.05
Current children cumulated vsize (KiB) 272056

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

[startup+57.5008 s]
/proc/loadavg: 4.38 6.75 7.13 6/181 6612
/proc/meminfo: memFree=19457620/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=283300 CPUtime=104.62 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 60406 0 0 0 10441 21 0 0 25 0 4 0 521257850 290099200 56522 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670416 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6604/statm: 70825 56522 460 189 0 65174 0
[pid=6604/tid=6607] ppid=6602 vsize=283300 CPUtime=15.75 cores=1,3,5,7
/proc/6604/task/6607/stat : 6607 (claspmt) R 6602 6604 6445 0 -1 4202560 11219 0 0 0 1570 5 0 0 25 0 4 0 521262023 290099200 56522 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6604/tid=6608] ppid=6602 vsize=283300 CPUtime=15.75 cores=1,3,5,7
/proc/6604/task/6608/stat : 6608 (claspmt) R 6602 6604 6445 0 -1 4202560 16424 0 0 0 1568 7 0 0 25 0 4 0 521262023 290099200 56522 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6604/tid=6609] ppid=6602 vsize=283300 CPUtime=15.66 cores=1,3,5,7
/proc/6604/task/6609/stat : 6609 (claspmt) R 6602 6604 6445 0 -1 4202560 4279 0 0 0 1564 2 0 0 25 0 4 0 521262023 290099200 56522 33554432000 4194304 4964704 140735574474320 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 104.62
Current children cumulated vsize (KiB) 283300

[startup+63.9006 s]
/proc/loadavg: 4.47 6.69 7.11 6/181 6612
/proc/meminfo: memFree=19425132/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=349688 CPUtime=130.18 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 68351 0 0 0 12994 24 0 0 25 0 4 0 521257850 358080512 64456 33554432000 4194304 4964704 140735574474320 18446744073709551615 4320976 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6604/statm: 87422 64456 460 189 0 81771 0
[pid=6604/tid=6607] ppid=6602 vsize=349688 CPUtime=22.14 cores=1,3,5,7
/proc/6604/task/6607/stat : 6607 (claspmt) R 6602 6604 6445 0 -1 4202560 11422 0 0 0 2209 5 0 0 25 0 4 0 521262023 358080512 64456 33554432000 4194304 4964704 140735574474320 18446744073709551615 4668635 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6604/tid=6608] ppid=6602 vsize=349688 CPUtime=22.15 cores=1,3,5,7
/proc/6604/task/6608/stat : 6608 (claspmt) R 6602 6604 6445 0 -1 4202560 17260 0 0 0 2208 7 0 0 25 0 4 0 521262023 358080512 64456 33554432000 4194304 4964704 140735574474320 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6604/tid=6609] ppid=6602 vsize=349688 CPUtime=22.02 cores=1,3,5,7
/proc/6604/task/6609/stat : 6609 (claspmt) R 6602 6604 6445 0 -1 4202560 9168 0 0 0 2199 3 0 0 25 0 4 0 521262023 358080512 64456 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 130.18
Current children cumulated vsize (KiB) 349688

[startup+65.5003 s]
/proc/loadavg: 4.47 6.69 7.11 7/182 6613
/proc/meminfo: memFree=19391016/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=418688 CPUtime=136.57 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 70046 0 0 0 13633 24 0 0 25 0 4 0 521257850 428736512 66151 33554432000 4194304 4964704 140735574474320 18446744073709551615 4654500 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6604/statm: 104672 66151 460 189 0 99021 0
[pid=6604/tid=6607] ppid=6602 vsize=418688 CPUtime=23.74 cores=1,3,5,7
/proc/6604/task/6607/stat : 6607 (claspmt) R 6602 6604 6445 0 -1 4202560 11564 0 0 0 2369 5 0 0 25 0 4 0 521262023 428736512 66151 33554432000 4194304 4964704 140735574474320 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6604/tid=6608] ppid=6602 vsize=418688 CPUtime=23.75 cores=1,3,5,7
/proc/6604/task/6608/stat : 6608 (claspmt) R 6602 6604 6445 0 -1 4202560 18159 0 0 0 2368 7 0 0 25 0 4 0 521262023 428736512 66151 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6604/tid=6609] ppid=6602 vsize=418688 CPUtime=23.61 cores=1,3,5,7
/proc/6604/task/6609/stat : 6609 (claspmt) R 6602 6604 6445 0 -1 4202560 9353 0 0 0 2358 3 0 0 25 0 4 0 521262023 428736512 66151 33554432000 4194304 4964704 140735574474320 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 136.57
Current children cumulated vsize (KiB) 418688

[startup+66.3012 s]
/proc/loadavg: 4.47 6.69 7.11 6/181 6613
/proc/meminfo: memFree=19416876/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=421712 CPUtime=139.77 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 71247 0 0 0 13952 25 0 0 25 0 4 0 521257850 431833088 67352 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6604/statm: 105428 67352 460 189 0 99777 0
[pid=6604/tid=6607] ppid=6602 vsize=421712 CPUtime=24.55 cores=1,3,5,7
/proc/6604/task/6607/stat : 6607 (claspmt) R 6602 6604 6445 0 -1 4202560 12360 0 0 0 2449 6 0 0 25 0 4 0 521262023 431833088 67352 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6604/tid=6608] ppid=6602 vsize=421712 CPUtime=24.56 cores=1,3,5,7
/proc/6604/task/6608/stat : 6608 (claspmt) R 6602 6604 6445 0 -1 4202560 18360 0 0 0 2448 8 0 0 25 0 4 0 521262023 431833088 67352 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6604/tid=6609] ppid=6602 vsize=421712 CPUtime=24.41 cores=1,3,5,7
/proc/6604/task/6609/stat : 6609 (claspmt) R 6602 6604 6445 0 -1 4202560 9411 0 0 0 2437 4 0 0 25 0 4 0 521262023 431833088 67352 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 139.77
Current children cumulated vsize (KiB) 421712

[startup+67.1071 s]
/proc/loadavg: 4.47 6.69 7.11 6/181 6613
/proc/meminfo: memFree=19410676/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=425168 CPUtime=142.98 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 72216 0 0 0 14273 25 0 0 25 0 4 0 521257850 435372032 68321 33554432000 4194304 4964704 140735574474320 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6604/statm: 106292 68321 460 189 0 100641 0
[pid=6604/tid=6607] ppid=6602 vsize=425168 CPUtime=25.35 cores=1,3,5,7
/proc/6604/task/6607/stat : 6607 (claspmt) R 6602 6604 6445 0 -1 4202560 12933 0 0 0 2529 6 0 0 25 0 4 0 521262023 435372032 68321 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6604/tid=6608] ppid=6602 vsize=425168 CPUtime=25.36 cores=1,3,5,7
/proc/6604/task/6608/stat : 6608 (claspmt) R 6602 6604 6445 0 -1 4202560 18508 0 0 0 2528 8 0 0 25 0 4 0 521262023 435372032 68321 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6604/tid=6609] ppid=6602 vsize=425168 CPUtime=25.21 cores=1,3,5,7
/proc/6604/task/6609/stat : 6609 (claspmt) R 6602 6604 6445 0 -1 4202560 9542 0 0 0 2517 4 0 0 25 0 4 0 521262023 435372032 68321 33554432000 4194304 4964704 140735574474320 18446744073709551615 4660367 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 142.98
Current children cumulated vsize (KiB) 425168

[startup+67.301 s]
/proc/loadavg: 4.47 6.69 7.11 6/181 6613
/proc/meminfo: memFree=19410676/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=425564 CPUtime=143.76 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 72473 0 0 0 14350 26 0 0 25 0 4 0 521257850 435777536 68578 33554432000 4194304 4964704 140735574474320 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6604/statm: 106391 68578 460 189 0 100740 0
[pid=6604/tid=6607] ppid=6602 vsize=425564 CPUtime=25.55 cores=1,3,5,7
/proc/6604/task/6607/stat : 6607 (claspmt) R 6602 6604 6445 0 -1 4202560 12977 0 0 0 2549 6 0 0 25 0 4 0 521262023 435777536 68578 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6604/tid=6608] ppid=6602 vsize=425564 CPUtime=25.55 cores=1,3,5,7
/proc/6604/task/6608/stat : 6608 (claspmt) R 6602 6604 6445 0 -1 4202560 18607 0 0 0 2547 8 0 0 25 0 4 0 521262023 435777536 68578 33554432000 4194304 4964704 140735574474320 18446744073709551615 4668508 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6604/tid=6609] ppid=6602 vsize=425564 CPUtime=25.41 cores=1,3,5,7
/proc/6604/task/6609/stat : 6609 (claspmt) R 6602 6604 6445 0 -1 4202560 9592 0 0 0 2537 4 0 0 25 0 4 0 521262023 435777536 68578 33554432000 4194304 4964704 140735574474320 18446744073709551615 4670608 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 143.76
Current children cumulated vsize (KiB) 425564

[startup+67.401 s]
/proc/loadavg: 4.47 6.69 7.11 6/181 6613
/proc/meminfo: memFree=19410676/32950904 swapFree=67082284/67111528
[pid=6604] ppid=6602 vsize=424260 CPUtime=143.95 cores=1,3,5,7
/proc/6604/stat : 6604 (claspmt) R 6602 6604 6445 0 -1 4202496 72513 0 0 0 14369 26 0 0 25 0 1 0 521257850 434442240 68292 33554432000 4194304 4964704 140735574474320 18446744073709551615 237278535835 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/6604/statm: 106065 68292 470 189 0 100414 0
Current children cumulated CPU time (s) 143.95
Current children cumulated vsize (KiB) 424260

Child status: 10
Real time (s): 67.4624
CPU time (s): 144.023
CPU user time (s): 143.746
CPU system time (s): 0.276957
CPU usage (%): 213.487
Max. virtual memory (cumulated for all children) (KiB): 425564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.746
system time used= 0.276957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72515
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= 2024
involuntary context switches= 770

runsolver used 0.108983 second user time and 0.25896 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-29 19:03:01
IDJOB=3299818
IDBENCH=83450
IDSOLVER=1683
FILE ID=node121/3299818-1304096580
RUNJOBID= node121-1304096537-6464
PBS_JOBID= 13170609
Free space on /tmp= 72568 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-3299818-1304096580/watcher-3299818-1304096580 -o /tmp/evaluation-result-3299818-1304096580/solver-3299818-1304096580 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299818-1304096580.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=864840213

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      19682172 kB
Buffers:       2183572 kB
Cached:       10359640 kB
SwapCached:       2776 kB
Active:        9376888 kB
Inactive:      3371828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19682172 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           87464 kB
Writeback:           0 kB
AnonPages:      203460 kB
Mapped:          14584 kB
Slab:           456388 kB
PageTables:       5052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   378732 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= 72568 MiB
End job on node121 at 2011-04-29 19:04:09