Trace number 3381135

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 268.994 41.817

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.63553
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.24 7.53 7.80 1/426 12005
/proc/meminfo: memFree=10663944/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=23608 CPUtime=0 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 1247 0 0 0 0 0 0 0 21 0 1 0 662156776 24174592 1108 33554432000 4194304 4964800 140735717149408 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12005/statm: 5902 1108 386 189 0 776 0

[startup+0.016919 s]
/proc/loadavg: 7.24 7.53 7.80 1/426 12005
/proc/meminfo: memFree=10663944/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=24148 CPUtime=0.01 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 1367 0 0 0 1 0 0 0 21 0 1 0 662156776 24727552 1228 33554432000 4194304 4964800 140735717149408 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12005/statm: 6037 1229 386 189 0 911 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 24148

[startup+0.10088 s]
/proc/loadavg: 7.24 7.53 7.80 1/426 12005
/proc/meminfo: memFree=10663944/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=36188 CPUtime=0.09 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 5142 0 0 0 9 0 0 0 21 0 1 0 662156776 37056512 4259 33554432000 4194304 4964800 140735717149408 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12005/statm: 9047 4261 389 189 0 3921 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36188

[startup+0.300844 s]
/proc/loadavg: 7.24 7.53 7.80 1/426 12005
/proc/meminfo: memFree=10663944/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=55792 CPUtime=0.29 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 10496 0 0 0 28 1 0 0 22 0 1 0 662156776 57131008 9120 33554432000 4194304 4964800 140735717149408 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12005/statm: 13948 9120 403 189 0 8822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55792

[startup+0.700774 s]
/proc/loadavg: 7.24 7.53 7.80 1/426 12005
/proc/meminfo: memFree=10663944/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=55792 CPUtime=0.69 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 10496 0 0 0 68 1 0 0 23 0 1 0 662156776 57131008 9120 33554432000 4194304 4964800 140735717149408 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12005/statm: 13948 9120 403 189 0 8822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55792

[startup+1.50064 s]
/proc/loadavg: 7.24 7.53 7.80 2/427 12006
/proc/meminfo: memFree=10628232/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=55792 CPUtime=1.49 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 10496 0 0 0 148 1 0 0 25 0 1 0 662156776 57131008 9120 33554432000 4194304 4964800 140735717149408 18446744073709551615 4607622 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12005/statm: 13948 9120 403 189 0 8822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55792

[startup+3.10036 s]
/proc/loadavg: 6.74 7.43 7.77 2/427 12006
/proc/meminfo: memFree=10627772/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=55792 CPUtime=3.09 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 10496 0 0 0 308 1 0 0 25 0 1 0 662156776 57131008 9120 33554432000 4194304 4964800 140735717149408 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12005/statm: 13948 9120 403 189 0 8822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55792

[startup+6.30077 s]
/proc/loadavg: 6.74 7.43 7.77 2/427 12007
/proc/meminfo: memFree=10628020/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=55792 CPUtime=6.29 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 10496 0 0 0 628 1 0 0 25 0 1 0 662156776 57131008 9120 33554432000 4194304 4964800 140735717149408 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/12005/statm: 13948 9120 403 189 0 8822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55792

[startup+12.7007 s]
/proc/loadavg: 6.64 7.38 7.75 9/434 12014
/proc/meminfo: memFree=10448352/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=446900 CPUtime=38.84 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 57972 0 0 0 3863 21 0 0 25 0 8 0 662156776 457625600 55909 33554432000 4194304 4964800 140735717149408 18446744073709551615 4668588 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/12005/statm: 111725 55909 464 189 0 106074 0
[pid=12005/tid=12008] ppid=12003 vsize=446900 CPUtime=3.76 cores=0-7
/proc/12005/task/12008/stat : 12008 (claspmt) R 12003 12005 11562 0 -1 4202560 4142 0 0 0 374 2 0 0 21 0 8 0 662157577 457625600 55909 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12005/tid=12009] ppid=12003 vsize=446900 CPUtime=3.74 cores=0-7
/proc/12005/task/12009/stat : 12009 (claspmt) R 12003 12005 11562 0 -1 4202560 6824 0 0 0 372 2 0 0 21 0 8 0 662157577 457625600 55909 33554432000 4194304 4964800 140735717149408 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12005/tid=12010] ppid=12003 vsize=446900 CPUtime=3.74 cores=0-7
/proc/12005/task/12010/stat : 12010 (claspmt) R 12003 12005 11562 0 -1 4202560 4596 0 0 0 373 1 0 0 21 0 8 0 662157577 457625600 55909 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670144 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12005/tid=12011] ppid=12003 vsize=446900 CPUtime=3.71 cores=0-7
/proc/12005/task/12011/stat : 12011 (claspmt) R 12003 12005 11562 0 -1 4202560 6808 0 0 0 369 2 0 0 25 0 8 0 662157577 457625600 55909 33554432000 4194304 4964800 140735717149408 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12005/tid=12012] ppid=12003 vsize=446900 CPUtime=4.57 cores=0-7
/proc/12005/task/12012/stat : 12012 (claspmt) R 12003 12005 11562 0 -1 4202560 6220 0 0 0 456 1 0 0 25 0 8 0 662157577 457625600 55910 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12005/tid=12013] ppid=12003 vsize=446900 CPUtime=3.75 cores=0-7
/proc/12005/task/12013/stat : 12013 (claspmt) R 12003 12005 11562 0 -1 4202560 7653 0 0 0 373 2 0 0 21 0 8 0 662157577 457625600 55910 33554432000 4194304 4964800 140735717149408 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12005/tid=12014] ppid=12003 vsize=446900 CPUtime=3.76 cores=0-7
/proc/12005/task/12014/stat : 12014 (claspmt) R 12003 12005 11562 0 -1 4202560 7500 0 0 0 373 3 0 0 20 0 8 0 662157577 457625600 55910 33554432000 4194304 4964800 140735717149408 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 38.84
Current children cumulated vsize (KiB) 446900

[startup+25.5005 s]
/proc/loadavg: 6.85 7.40 7.75 9/434 12014
/proc/meminfo: memFree=10329820/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=462584 CPUtime=141.02 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 87461 0 0 0 14060 42 0 0 25 0 8 0 662156776 473686016 85398 33554432000 4194304 4964800 140735717149408 18446744073709551615 4626894 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/12005/statm: 115646 85398 466 189 0 109995 0
[pid=12005/tid=12008] ppid=12003 vsize=462584 CPUtime=16.56 cores=0-7
/proc/12005/task/12008/stat : 12008 (claspmt) R 12003 12005 11562 0 -1 4202560 8193 0 0 0 1651 5 0 0 25 0 8 0 662157577 473686016 85398 33554432000 4194304 4964800 140735717149408 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12005/tid=12009] ppid=12003 vsize=462584 CPUtime=16.54 cores=0-7
/proc/12005/task/12009/stat : 12009 (claspmt) R 12003 12005 11562 0 -1 4202560 11093 0 0 0 1649 5 0 0 25 0 8 0 662157577 473686016 85398 33554432000 4194304 4964800 140735717149408 18446744073709551615 4361356 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12005/tid=12010] ppid=12003 vsize=462584 CPUtime=16.53 cores=0-7
/proc/12005/task/12010/stat : 12010 (claspmt) R 12003 12005 11562 0 -1 4202560 10058 0 0 0 1650 3 0 0 25 0 8 0 662157577 473686016 85398 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12005/tid=12011] ppid=12003 vsize=462584 CPUtime=16.32 cores=0-7
/proc/12005/task/12011/stat : 12011 (claspmt) R 12003 12005 11562 0 -1 4202560 9730 0 0 0 1627 5 0 0 25 0 8 0 662157577 473686016 85398 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12005/tid=12012] ppid=12003 vsize=462584 CPUtime=17.37 cores=0-7
/proc/12005/task/12012/stat : 12012 (claspmt) R 12003 12005 11562 0 -1 4202560 6275 0 0 0 1736 1 0 0 25 0 8 0 662157577 473686016 85398 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12005/tid=12013] ppid=12003 vsize=462584 CPUtime=16.54 cores=0-7
/proc/12005/task/12013/stat : 12013 (claspmt) R 12003 12005 11562 0 -1 4202560 10666 0 0 0 1649 5 0 0 25 0 8 0 662157577 473686016 85398 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12005/tid=12014] ppid=12003 vsize=462584 CPUtime=16.56 cores=0-7
/proc/12005/task/12014/stat : 12014 (claspmt) R 12003 12005 11562 0 -1 4202560 12382 0 0 0 1649 7 0 0 25 0 8 0 662157577 473686016 85398 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 141.02
Current children cumulated vsize (KiB) 462584

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

[startup+31.9164 s]
/proc/loadavg: 7.03 7.42 7.75 9/434 12014
/proc/meminfo: memFree=10305116/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=468568 CPUtime=192.21 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 92853 0 0 0 19175 46 0 0 25 0 8 0 662156776 479813632 90790 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/12005/statm: 117142 90790 466 189 0 111491 0
[pid=12005/tid=12008] ppid=12003 vsize=468568 CPUtime=22.96 cores=0-7
/proc/12005/task/12008/stat : 12008 (claspmt) R 12003 12005 11562 0 -1 4202560 8734 0 0 0 2291 5 0 0 25 0 8 0 662157577 479813632 90790 33554432000 4194304 4964800 140735717149408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12005/tid=12009] ppid=12003 vsize=468568 CPUtime=22.96 cores=0-7
/proc/12005/task/12009/stat : 12009 (claspmt) R 12003 12005 11562 0 -1 4202560 12369 0 0 0 2290 6 0 0 25 0 8 0 662157577 479813632 90790 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12005/tid=12010] ppid=12003 vsize=468568 CPUtime=22.94 cores=0-7
/proc/12005/task/12010/stat : 12010 (claspmt) R 12003 12005 11562 0 -1 4202560 10639 0 0 0 2290 4 0 0 25 0 8 0 662157577 479813632 90790 33554432000 4194304 4964800 140735717149408 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12005/tid=12011] ppid=12003 vsize=468568 CPUtime=22.63 cores=0-7
/proc/12005/task/12011/stat : 12011 (claspmt) R 12003 12005 11562 0 -1 4202560 10471 0 0 0 2258 5 0 0 25 0 8 0 662157577 479813632 90790 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12005/tid=12012] ppid=12003 vsize=468568 CPUtime=23.78 cores=0-7
/proc/12005/task/12012/stat : 12012 (claspmt) R 12003 12005 11562 0 -1 4202560 6284 0 0 0 2377 1 0 0 25 0 8 0 662157577 479813632 90790 33554432000 4194304 4964800 140735717149408 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12005/tid=12013] ppid=12003 vsize=468568 CPUtime=22.95 cores=0-7
/proc/12005/task/12013/stat : 12013 (claspmt) R 12003 12005 11562 0 -1 4202560 11302 0 0 0 2290 5 0 0 25 0 8 0 662157577 479813632 90790 33554432000 4194304 4964800 140735717149408 18446744073709551615 4332628 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12005/tid=12014] ppid=12003 vsize=468568 CPUtime=22.98 cores=0-7
/proc/12005/task/12014/stat : 12014 (claspmt) R 12003 12005 11562 0 -1 4202560 13472 0 0 0 2290 8 0 0 25 0 8 0 662157577 479813632 90790 33554432000 4194304 4964800 140735717149408 18446744073709551615 4669410 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 192.21
Current children cumulated vsize (KiB) 468568

[startup+38.3013 s]
/proc/loadavg: 7.18 7.44 7.76 9/434 12014
/proc/meminfo: memFree=10295952/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=470588 CPUtime=243.19 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 96356 0 0 0 24268 51 0 0 25 0 8 0 662156776 481882112 94293 33554432000 4194304 4964800 140735717149408 18446744073709551615 4342144 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/12005/statm: 117647 94293 466 189 0 111996 0
[pid=12005/tid=12008] ppid=12003 vsize=470588 CPUtime=29.33 cores=0-7
/proc/12005/task/12008/stat : 12008 (claspmt) R 12003 12005 11562 0 -1 4202560 9046 0 0 0 2926 7 0 0 25 0 8 0 662157577 481882112 94293 33554432000 4194304 4964800 140735717149408 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12005/tid=12009] ppid=12003 vsize=470588 CPUtime=29.34 cores=0-7
/proc/12005/task/12009/stat : 12009 (claspmt) R 12003 12005 11562 0 -1 4202560 12991 0 0 0 2928 6 0 0 25 0 8 0 662157577 481882112 94293 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12005/tid=12010] ppid=12003 vsize=470588 CPUtime=29.32 cores=0-7
/proc/12005/task/12010/stat : 12010 (claspmt) R 12003 12005 11562 0 -1 4202560 11065 0 0 0 2928 4 0 0 25 0 8 0 662157577 481882112 94293 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12005/tid=12011] ppid=12003 vsize=470588 CPUtime=28.93 cores=0-7
/proc/12005/task/12011/stat : 12011 (claspmt) R 12003 12005 11562 0 -1 4202560 10663 0 0 0 2888 5 0 0 25 0 8 0 662157577 481882112 94293 33554432000 4194304 4964800 140735717149408 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12005/tid=12012] ppid=12003 vsize=470588 CPUtime=30.17 cores=0-7
/proc/12005/task/12012/stat : 12012 (claspmt) R 12003 12005 11562 0 -1 4202560 6291 0 0 0 3016 1 0 0 25 0 8 0 662157577 481882112 94293 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12005/tid=12013] ppid=12003 vsize=470588 CPUtime=29.34 cores=0-7
/proc/12005/task/12013/stat : 12013 (claspmt) R 12003 12005 11562 0 -1 4202560 11879 0 0 0 2928 6 0 0 25 0 8 0 662157577 481882112 94293 33554432000 4194304 4964800 140735717149408 18446744073709551615 4660165 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12005/tid=12014] ppid=12003 vsize=470588 CPUtime=29.36 cores=0-7
/proc/12005/task/12014/stat : 12014 (claspmt) R 12003 12005 11562 0 -1 4202560 13931 0 0 0 2928 8 0 0 25 0 8 0 662157577 481882112 94293 33554432000 4194304 4964800 140735717149408 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 243.19
Current children cumulated vsize (KiB) 470588

[startup+39.901 s]
/proc/loadavg: 7.18 7.44 7.76 9/434 12014
/proc/meminfo: memFree=10284824/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=472364 CPUtime=255.95 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 98006 0 0 0 25543 52 0 0 25 0 8 0 662156776 483700736 95943 33554432000 4194304 4964800 140735717149408 18446744073709551615 4668984 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/12005/statm: 118091 95943 466 189 0 112440 0
[pid=12005/tid=12008] ppid=12003 vsize=472364 CPUtime=30.94 cores=0-7
/proc/12005/task/12008/stat : 12008 (claspmt) R 12003 12005 11562 0 -1 4202560 9328 0 0 0 3086 8 0 0 25 0 8 0 662157577 483700736 95943 33554432000 4194304 4964800 140735717149408 18446744073709551615 4332367 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12005/tid=12009] ppid=12003 vsize=472364 CPUtime=30.94 cores=0-7
/proc/12005/task/12009/stat : 12009 (claspmt) R 12003 12005 11562 0 -1 4202560 13375 0 0 0 3087 7 0 0 25 0 8 0 662157577 483700736 95943 33554432000 4194304 4964800 140735717149408 18446744073709551615 4627362 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12005/tid=12010] ppid=12003 vsize=472364 CPUtime=30.92 cores=0-7
/proc/12005/task/12010/stat : 12010 (claspmt) R 12003 12005 11562 0 -1 4202560 11159 0 0 0 3088 4 0 0 25 0 8 0 662157577 483700736 95943 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12005/tid=12011] ppid=12003 vsize=472364 CPUtime=30.51 cores=0-7
/proc/12005/task/12011/stat : 12011 (claspmt) R 12003 12005 11562 0 -1 4202560 11105 0 0 0 3045 6 0 0 25 0 8 0 662157577 483700736 95943 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12005/tid=12012] ppid=12003 vsize=472364 CPUtime=31.77 cores=0-7
/proc/12005/task/12012/stat : 12012 (claspmt) R 12003 12005 11562 0 -1 4202560 6292 0 0 0 3176 1 0 0 25 0 8 0 662157577 483700736 95943 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12005/tid=12013] ppid=12003 vsize=472364 CPUtime=30.94 cores=0-7
/proc/12005/task/12013/stat : 12013 (claspmt) R 12003 12005 11562 0 -1 4202560 12031 0 0 0 3088 6 0 0 25 0 8 0 662157577 483700736 95943 33554432000 4194304 4964800 140735717149408 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12005/tid=12014] ppid=12003 vsize=472364 CPUtime=30.96 cores=0-7
/proc/12005/task/12014/stat : 12014 (claspmt) R 12003 12005 11562 0 -1 4202560 14059 0 0 0 3088 8 0 0 25 0 8 0 662157577 483700736 95943 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 255.95
Current children cumulated vsize (KiB) 472364

[startup+40.7169 s]
/proc/loadavg: 7.18 7.44 7.76 9/434 12014
/proc/meminfo: memFree=10281352/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=473056 CPUtime=262.46 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 99072 0 0 0 26193 53 0 0 25 0 8 0 662156776 484409344 97009 33554432000 4194304 4964800 140735717149408 18446744073709551615 4669078 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/12005/statm: 118264 97009 466 189 0 112613 0
[pid=12005/tid=12008] ppid=12003 vsize=473056 CPUtime=31.75 cores=0-7
/proc/12005/task/12008/stat : 12008 (claspmt) R 12003 12005 11562 0 -1 4202560 9472 0 0 0 3167 8 0 0 25 0 8 0 662157577 484409344 97009 33554432000 4194304 4964800 140735717149408 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12005/tid=12009] ppid=12003 vsize=473056 CPUtime=31.76 cores=0-7
/proc/12005/task/12009/stat : 12009 (claspmt) R 12003 12005 11562 0 -1 4202560 13496 0 0 0 3169 7 0 0 25 0 8 0 662157577 484409344 97009 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12005/tid=12010] ppid=12003 vsize=473056 CPUtime=31.74 cores=0-7
/proc/12005/task/12010/stat : 12010 (claspmt) R 12003 12005 11562 0 -1 4202560 11204 0 0 0 3170 4 0 0 25 0 8 0 662157577 484409344 97009 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12005/tid=12011] ppid=12003 vsize=473056 CPUtime=31.31 cores=0-7
/proc/12005/task/12011/stat : 12011 (claspmt) R 12003 12005 11562 0 -1 4202560 11223 0 0 0 3125 6 0 0 25 0 8 0 662157577 484409344 97009 33554432000 4194304 4964800 140735717149408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12005/tid=12012] ppid=12003 vsize=473056 CPUtime=32.58 cores=0-7
/proc/12005/task/12012/stat : 12012 (claspmt) R 12003 12005 11562 0 -1 4202560 6293 0 0 0 3257 1 0 0 25 0 8 0 662157577 484409344 97009 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12005/tid=12013] ppid=12003 vsize=473056 CPUtime=31.76 cores=0-7
/proc/12005/task/12013/stat : 12013 (claspmt) R 12003 12005 11562 0 -1 4202560 12232 0 0 0 3170 6 0 0 25 0 8 0 662157577 484409344 97009 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12005/tid=12014] ppid=12003 vsize=473056 CPUtime=31.78 cores=0-7
/proc/12005/task/12014/stat : 12014 (claspmt) R 12003 12005 11562 0 -1 4202560 14234 0 0 0 3169 9 0 0 25 0 8 0 662157577 484409344 97009 33554432000 4194304 4964800 140735717149408 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 262.46
Current children cumulated vsize (KiB) 473056

[startup+41.5007 s]
/proc/loadavg: 7.18 7.44 7.76 9/434 12014
/proc/meminfo: memFree=10281352/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=540580 CPUtime=268.65 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 101303 0 0 0 26810 55 0 0 25 0 8 0 662156776 553553920 99240 33554432000 4194304 4964800 140735717149408 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/12005/statm: 135145 99240 467 189 0 129494 0
[pid=12005/tid=12008] ppid=12003 vsize=540580 CPUtime=32.51 cores=0-7
/proc/12005/task/12008/stat : 12008 (claspmt) R 12003 12005 11562 0 -1 4202560 9745 0 0 0 3243 8 0 0 25 0 8 0 662157577 553553920 99240 33554432000 4194304 4964800 140735717149408 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12005/tid=12009] ppid=12003 vsize=540580 CPUtime=32.49 cores=0-7
/proc/12005/task/12009/stat : 12009 (claspmt) R 12003 12005 11562 0 -1 4202560 13827 0 0 0 3242 7 0 0 25 0 8 0 662157577 553553920 99240 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12005/tid=12010] ppid=12003 vsize=540580 CPUtime=32.52 cores=0-7
/proc/12005/task/12010/stat : 12010 (claspmt) R 12003 12005 11562 0 -1 4202560 11322 0 0 0 3248 4 0 0 25 0 8 0 662157577 553553920 99241 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12005/tid=12011] ppid=12003 vsize=540580 CPUtime=32.08 cores=0-7
/proc/12005/task/12011/stat : 12011 (claspmt) R 12003 12005 11562 0 -1 4202560 11576 0 0 0 3202 6 0 0 25 0 8 0 662157577 553553920 99241 33554432000 4194304 4964800 140735717149408 18446744073709551615 4342167 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12005/tid=12012] ppid=12003 vsize=540580 CPUtime=33.37 cores=0-7
/proc/12005/task/12012/stat : 12012 (claspmt) R 12003 12005 11562 0 -1 4202560 6293 0 0 0 3336 1 0 0 25 0 8 0 662157577 553553920 99241 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12005/tid=12013] ppid=12003 vsize=540580 CPUtime=32.55 cores=0-7
/proc/12005/task/12013/stat : 12013 (claspmt) R 12003 12005 11562 0 -1 4202560 12695 0 0 0 3248 7 0 0 25 0 8 0 662157577 553553920 99241 33554432000 4194304 4964800 140735717149408 18446744073709551615 242970550203 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12005/tid=12014] ppid=12003 vsize=540580 CPUtime=32.56 cores=0-7
/proc/12005/task/12014/stat : 12014 (claspmt) R 12003 12005 11562 0 -1 4202560 14659 0 0 0 3247 9 0 0 25 0 8 0 662157577 553553920 99241 33554432000 4194304 4964800 140735717149408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 268.65
Current children cumulated vsize (KiB) 540580

[startup+41.7007 s]
/proc/loadavg: 7.25 7.45 7.76 2/427 12014
/proc/meminfo: memFree=10271488/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=539448 CPUtime=268.88 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202496 101324 0 0 0 26833 55 0 0 25 0 1 0 662156776 552394752 98917 33554432000 4194304 4964800 140735717149408 18446744073709551615 242970205537 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/12005/statm: 134862 98917 476 189 0 129211 0
Current children cumulated CPU time (s) 268.88
Current children cumulated vsize (KiB) 539448

[startup+41.8167 s]
/proc/loadavg: 7.25 7.45 7.76 2/427 12014
/proc/meminfo: memFree=10271488/32951132 swapFree=67093844/67111528
[pid=12005] ppid=12003 vsize=0 CPUtime=268.98 cores=0-7
/proc/12005/stat : 12005 (claspmt) R 12003 12005 11562 0 -1 4202500 101325 0 0 0 26841 57 0 0 25 0 1 0 662156776 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/12005/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 268.98
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 41.817
CPU time (s): 268.994
CPU user time (s): 268.415
CPU system time (s): 0.578911
CPU usage (%): 643.266
Max. virtual memory (cumulated for all children) (KiB): 540580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 268.415
system time used= 0.578911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101325
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= 20292
involuntary context switches= 1578

runsolver used 0.161975 second user time and 0.447931 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-16 02:26:21
IDJOB=3381135
IDBENCH=83443
IDSOLVER=1865
FILE ID=node128/3381135-1305505581
RUNJOBID= node128-1305500174-11576
PBS_JOBID= 13325453
Free space on /tmp= 73580 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1738803466

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      10663852 kB
Buffers:        294532 kB
Cached:        3248580 kB
SwapCached:       1440 kB
Active:       19787144 kB
Inactive:      2168680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      10663852 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           11804 kB
Writeback:           4 kB
AnonPages:    18412032 kB
Mapped:          36436 kB
Slab:           191768 kB
PageTables:      68904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 123664384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73580 MiB
End job on node128 at 2011-05-16 02:27:03