Trace number 3373439

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-R4095-patched (fixed)SAT 206.178 82.6328

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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


[startup+0 s]
/proc/loadavg: 8.06 8.08 8.10 5/298 13317
/proc/meminfo: memFree=12558396/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=23680 CPUtime=0 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 1283 0 0 0 0 0 0 0 25 0 1 0 654455902 24248320 1132 33554432000 4194304 4964800 140733233166624 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13317/statm: 5920 1133 385 189 0 794 0

[startup+0.0923111 s]
/proc/loadavg: 8.06 8.08 8.10 5/298 13317
/proc/meminfo: memFree=12558396/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=34412 CPUtime=0.08 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 4618 0 0 0 8 0 0 0 25 0 1 0 654455902 35237888 3723 33554432000 4194304 4964800 140733233166624 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13317/statm: 8603 3724 388 189 0 3477 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34412

[startup+0.100306 s]
/proc/loadavg: 8.06 8.08 8.10 5/298 13317
/proc/meminfo: memFree=12558396/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=35336 CPUtime=0.09 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 4855 0 0 0 9 0 0 0 25 0 1 0 654455902 36184064 3960 33554432000 4194304 4964800 140733233166624 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13317/statm: 8834 3960 388 189 0 3708 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35336

[startup+0.300272 s]
/proc/loadavg: 8.06 8.08 8.10 5/298 13317
/proc/meminfo: memFree=12558396/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=63708 CPUtime=0.29 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 13636 0 0 0 27 2 0 0 25 0 1 0 654455902 65236992 10715 33554432000 4194304 4964800 140733233166624 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13317/statm: 15927 10722 399 189 0 10801 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63708

[startup+0.700197 s]
/proc/loadavg: 8.06 8.08 8.10 5/298 13317
/proc/meminfo: memFree=12558396/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=87476 CPUtime=0.69 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 19127 0 0 0 67 2 0 0 25 0 1 0 654455902 89575424 16206 33554432000 4194304 4964800 140733233166624 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13317/statm: 21869 16206 402 189 0 16743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87476

[startup+1.50104 s]
/proc/loadavg: 8.06 8.08 8.10 6/299 13318
/proc/meminfo: memFree=12494164/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=87476 CPUtime=1.49 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 19127 0 0 0 147 2 0 0 25 0 1 0 654455902 89575424 16206 33554432000 4194304 4964800 140733233166624 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13317/statm: 21869 16206 402 189 0 16743 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87476

[startup+3.10074 s]
/proc/loadavg: 8.06 8.08 8.10 6/299 13318
/proc/meminfo: memFree=12493048/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=87476 CPUtime=3.09 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 19127 0 0 0 307 2 0 0 25 0 1 0 654455902 89575424 16206 33554432000 4194304 4964800 140733233166624 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13317/statm: 21869 16206 402 189 0 16743 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87476

[startup+6.30013 s]
/proc/loadavg: 7.82 8.03 8.09 6/299 13318
/proc/meminfo: memFree=12492436/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=87476 CPUtime=6.29 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 19127 0 0 0 627 2 0 0 25 0 1 0 654455902 89575424 16206 33554432000 4194304 4964800 140733233166624 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/13317/statm: 21869 16206 402 189 0 16743 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87476

[startup+12.7009 s]
/proc/loadavg: 7.59 7.98 8.07 6/299 13318
/proc/meminfo: memFree=12491592/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=87476 CPUtime=12.69 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 19127 0 0 0 1267 2 0 0 25 0 1 0 654455902 89575424 16206 33554432000 4194304 4964800 140733233166624 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13317/statm: 21869 16206 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: 7.02 7.83 8.02 6/299 13319
/proc/meminfo: memFree=12480788/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=87476 CPUtime=25.49 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 19127 0 0 0 2547 2 0 0 25 0 1 0 654455902 89575424 16206 33554432000 4194304 4964800 140733233166624 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13317/statm: 21869 16206 402 189 0 16743 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87476

[startup+51.1006 s]
/proc/loadavg: 6.79 7.70 7.97 9/302 13323
/proc/meminfo: memFree=12320520/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=311668 CPUtime=80.72 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 59464 0 0 0 8058 14 0 0 25 0 4 0 654455902 319148032 55593 33554432000 4194304 4964800 140733233166624 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13317/statm: 77917 55593 460 189 0 72266 0
[pid=13317/tid=13320] ppid=13315 vsize=311668 CPUtime=9.92 cores=0,2,4,6
/proc/13317/task/13320/stat : 13320 (claspmt) R 13315 13317 4446 0 -1 4202560 7297 0 0 0 991 1 0 0 25 0 4 0 654460018 319148032 55593 33554432000 4194304 4964800 140733233166624 18446744073709551615 4627293 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13317/tid=13321] ppid=13315 vsize=311668 CPUtime=9.83 cores=0,2,4,6
/proc/13317/task/13321/stat : 13321 (claspmt) R 13315 13317 4446 0 -1 4202560 14188 0 0 0 979 4 0 0 25 0 4 0 654460018 319148032 55593 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13317/tid=13322] ppid=13315 vsize=311668 CPUtime=9.93 cores=0,2,4,6
/proc/13317/task/13322/stat : 13322 (claspmt) R 13315 13317 4446 0 -1 4202560 8511 0 0 0 990 3 0 0 25 0 4 0 654460018 319148032 55593 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 80.72
Current children cumulated vsize (KiB) 311668

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

[startup+63.9012 s]
/proc/loadavg: 7.12 7.73 7.98 9/302 13323
/proc/meminfo: memFree=12267444/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=447116 CPUtime=131.78 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 72226 0 0 0 13160 18 0 0 25 0 4 0 654455902 457846784 68355 33554432000 4194304 4964800 140733233166624 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13317/statm: 111779 68355 460 189 0 106128 0
[pid=13317/tid=13320] ppid=13315 vsize=447116 CPUtime=22.71 cores=0,2,4,6
/proc/13317/task/13320/stat : 13320 (claspmt) R 13315 13317 4446 0 -1 4202560 11486 0 0 0 2269 2 0 0 25 0 4 0 654460018 457846784 68355 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13317/tid=13321] ppid=13315 vsize=447116 CPUtime=22.51 cores=0,2,4,6
/proc/13317/task/13321/stat : 13321 (claspmt) R 13315 13317 4446 0 -1 4202560 16810 0 0 0 2246 5 0 0 25 0 4 0 654460018 457846784 68356 33554432000 4194304 4964800 140733233166624 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13317/tid=13322] ppid=13315 vsize=447116 CPUtime=22.72 cores=0,2,4,6
/proc/13317/task/13322/stat : 13322 (claspmt) R 13315 13317 4446 0 -1 4202560 13201 0 0 0 2268 4 0 0 25 0 4 0 654460018 457846784 68356 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 131.78
Current children cumulated vsize (KiB) 447116

[startup+70.3009 s]
/proc/loadavg: 7.19 7.74 7.98 9/302 13323
/proc/meminfo: memFree=12246116/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=515976 CPUtime=157.36 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 77324 0 0 0 15714 22 0 0 25 0 4 0 654455902 528359424 73453 33554432000 4194304 4964800 140733233166624 18446744073709551615 4342174 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13317/statm: 128994 73453 460 189 0 123343 0
[pid=13317/tid=13320] ppid=13315 vsize=515976 CPUtime=29.12 cores=0,2,4,6
/proc/13317/task/13320/stat : 13320 (claspmt) R 13315 13317 4446 0 -1 4202560 12663 0 0 0 2909 3 0 0 25 0 4 0 654460018 528359424 73453 33554432000 4194304 4964800 140733233166624 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13317/tid=13321] ppid=13315 vsize=515976 CPUtime=28.86 cores=0,2,4,6
/proc/13317/task/13321/stat : 13321 (claspmt) R 13315 13317 4446 0 -1 4202560 18972 0 0 0 2878 8 0 0 25 0 4 0 654460018 528359424 73453 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13317/tid=13322] ppid=13315 vsize=515976 CPUtime=29.14 cores=0,2,4,6
/proc/13317/task/13322/stat : 13322 (claspmt) R 13315 13317 4446 0 -1 4202560 13976 0 0 0 2909 5 0 0 25 0 4 0 654460018 528359424 73453 33554432000 4194304 4964800 140733233166624 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 157.36
Current children cumulated vsize (KiB) 515976

[startup+76.7007 s]
/proc/loadavg: 7.26 7.74 7.98 9/302 13325
/proc/meminfo: memFree=12225772/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=520572 CPUtime=182.87 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 82233 0 0 0 18262 25 0 0 25 0 4 0 654455902 533065728 78362 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13317/statm: 130143 78362 460 189 0 124492 0
[pid=13317/tid=13320] ppid=13315 vsize=520572 CPUtime=35.51 cores=0,2,4,6
/proc/13317/task/13320/stat : 13320 (claspmt) R 13315 13317 4446 0 -1 4202560 13311 0 0 0 3548 3 0 0 25 0 4 0 654460018 533065728 78362 33554432000 4194304 4964800 140733233166624 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13317/tid=13321] ppid=13315 vsize=520572 CPUtime=35.2 cores=0,2,4,6
/proc/13317/task/13321/stat : 13321 (claspmt) R 13315 13317 4446 0 -1 4202560 20909 0 0 0 3511 9 0 0 25 0 4 0 654460018 533065728 78362 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13317/tid=13322] ppid=13315 vsize=520572 CPUtime=35.52 cores=0,2,4,6
/proc/13317/task/13322/stat : 13322 (claspmt) R 13315 13317 4446 0 -1 4202560 15068 0 0 0 3547 5 0 0 25 0 4 0 654460018 533065728 78362 33554432000 4194304 4964800 140733233166624 18446744073709551615 4660352 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 182.87
Current children cumulated vsize (KiB) 520572

[startup+79.9011 s]
/proc/loadavg: 7.32 7.75 7.98 9/302 13325
/proc/meminfo: memFree=12213000/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=521908 CPUtime=195.65 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 84270 0 0 0 19538 27 0 0 25 0 4 0 654455902 534433792 80399 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13317/statm: 130477 80399 460 189 0 124826 0
[pid=13317/tid=13320] ppid=13315 vsize=521908 CPUtime=38.71 cores=0,2,4,6
/proc/13317/task/13320/stat : 13320 (claspmt) R 13315 13317 4446 0 -1 4202560 13832 0 0 0 3867 4 0 0 25 0 4 0 654460018 534433792 80399 33554432000 4194304 4964800 140733233166624 18446744073709551615 4684009 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13317/tid=13321] ppid=13315 vsize=521908 CPUtime=38.37 cores=0,2,4,6
/proc/13317/task/13321/stat : 13321 (claspmt) R 13315 13317 4446 0 -1 4202560 21402 0 0 0 3828 9 0 0 25 0 4 0 654460018 534433792 80399 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13317/tid=13322] ppid=13315 vsize=521908 CPUtime=38.73 cores=0,2,4,6
/proc/13317/task/13322/stat : 13322 (claspmt) R 13315 13317 4446 0 -1 4202560 15882 0 0 0 3867 6 0 0 25 0 4 0 654460018 534433792 80399 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 195.65
Current children cumulated vsize (KiB) 521908

[startup+81.5008 s]
/proc/loadavg: 7.32 7.75 7.98 9/302 13325
/proc/meminfo: memFree=12206552/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=522700 CPUtime=202.03 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 85741 0 0 0 20175 28 0 0 25 0 4 0 654455902 535244800 81870 33554432000 4194304 4964800 140733233166624 18446744073709551615 4658600 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13317/statm: 130675 81870 460 189 0 125024 0
[pid=13317/tid=13320] ppid=13315 vsize=522700 CPUtime=40.31 cores=0,2,4,6
/proc/13317/task/13320/stat : 13320 (claspmt) R 13315 13317 4446 0 -1 4202560 13850 0 0 0 4027 4 0 0 25 0 4 0 654460018 535244800 81870 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13317/tid=13321] ppid=13315 vsize=522700 CPUtime=39.95 cores=0,2,4,6
/proc/13317/task/13321/stat : 13321 (claspmt) R 13315 13317 4446 0 -1 4202560 21621 0 0 0 3986 9 0 0 25 0 4 0 654460018 535244800 81870 33554432000 4194304 4964800 140733233166624 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13317/tid=13322] ppid=13315 vsize=522700 CPUtime=40.32 cores=0,2,4,6
/proc/13317/task/13322/stat : 13322 (claspmt) R 13315 13317 4446 0 -1 4202560 17080 0 0 0 4026 6 0 0 25 0 4 0 654460018 535244800 81870 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.03
Current children cumulated vsize (KiB) 522700

[startup+82.3007 s]
/proc/loadavg: 7.32 7.75 7.98 9/302 13325
/proc/meminfo: memFree=12206552/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=523916 CPUtime=205.23 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 86352 0 0 0 20495 28 0 0 25 0 4 0 654455902 536489984 82481 33554432000 4194304 4964800 140733233166624 18446744073709551615 4668715 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/13317/statm: 130979 82481 460 189 0 125328 0
[pid=13317/tid=13320] ppid=13315 vsize=523916 CPUtime=41.11 cores=0,2,4,6
/proc/13317/task/13320/stat : 13320 (claspmt) R 13315 13317 4446 0 -1 4202560 13852 0 0 0 4107 4 0 0 25 0 4 0 654460018 536489984 82481 33554432000 4194304 4964800 140733233166624 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13317/tid=13321] ppid=13315 vsize=523916 CPUtime=40.75 cores=0,2,4,6
/proc/13317/task/13321/stat : 13321 (claspmt) R 13315 13317 4446 0 -1 4202560 21935 0 0 0 4066 9 0 0 25 0 4 0 654460018 536489984 82481 33554432000 4194304 4964800 140733233166624 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13317/tid=13322] ppid=13315 vsize=523916 CPUtime=41.12 cores=0,2,4,6
/proc/13317/task/13322/stat : 13322 (claspmt) R 13315 13317 4446 0 -1 4202560 17359 0 0 0 4106 6 0 0 25 0 4 0 654460018 536489984 82481 33554432000 4194304 4964800 140733233166624 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 205.23
Current children cumulated vsize (KiB) 523916

[startup+82.5116 s]
/proc/loadavg: 7.32 7.75 7.98 9/302 13325
/proc/meminfo: memFree=12204080/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=524180 CPUtime=206.05 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 86472 0 0 0 20577 28 0 0 25 0 1 0 654455902 536760320 82601 33554432000 4194304 4964800 140733233166624 18446744073709551615 4699382 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/13317/statm: 131045 82601 470 189 0 125394 0
Current children cumulated CPU time (s) 206.05
Current children cumulated vsize (KiB) 524180

[startup+82.6006 s]
/proc/loadavg: 7.32 7.75 7.98 9/302 13325
/proc/meminfo: memFree=12204080/32950928 swapFree=67083212/67111528
[pid=13317] ppid=13315 vsize=522876 CPUtime=206.14 cores=0,2,4,6
/proc/13317/stat : 13317 (claspmt) R 13315 13317 4446 0 -1 4202496 86473 0 0 0 20586 28 0 0 25 0 1 0 654455902 535425024 78804 33554432000 4194304 4964800 140733233166624 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/13317/statm: 130719 78804 471 189 0 125068 0
Current children cumulated CPU time (s) 206.14
Current children cumulated vsize (KiB) 522876

Child status: 10
Real time (s): 82.6328
CPU time (s): 206.178
CPU user time (s): 205.878
CPU system time (s): 0.299954
CPU usage (%): 249.511
Max. virtual memory (cumulated for all children) (KiB): 524180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.878
system time used= 0.299954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86474
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= 4017
involuntary context switches= 1242

runsolver used 0.209968 second user time and 0.554915 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-15 05:02:42
IDJOB=3373439
IDBENCH=83450
IDSOLVER=1853
FILE ID=node127/3373439-1305428562
RUNJOBID= node127-1305427085-13155
PBS_JOBID= 13324590
Free space on /tmp= 73492 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
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-3373439-1305428562/watcher-3373439-1305428562 -o /tmp/evaluation-result-3373439-1305428562/solver-3373439-1305428562 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373439-1305428562.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=2136331380

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12558676 kB
Buffers:        298800 kB
Cached:        3578496 kB
SwapCached:       1620 kB
Active:       17221060 kB
Inactive:      2839980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12558676 kB
SwapTotal:    67111528 kB
SwapFree:     67083212 kB
Dirty:           22436 kB
Writeback:           0 kB
AnonPages:    16182452 kB
Mapped:          26988 kB
Slab:           222876 kB
PageTables:      47492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 44707100 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= 73492 MiB
End job on node127 at 2011-05-15 05:04:05