Trace number 3373438

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 194.873 74.9171

General information on the benchmark

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

Solver Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 6/401 4738
/proc/meminfo: memFree=24201112/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=23284 CPUtime=0 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 1190 0 0 0 0 0 0 0 23 0 1 0 654467624 23842816 1040 33554432000 4194304 4964800 140736438952816 18446744073709551615 242970550016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 5821 1041 385 189 0 695 0

[startup+0.0925069 s]
/proc/loadavg: 0.92 1.00 0.99 6/401 4738
/proc/meminfo: memFree=24201112/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=35204 CPUtime=0.08 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 4848 0 0 0 8 0 0 0 23 0 1 0 654467624 36048896 3954 33554432000 4194304 4964800 140736438952816 18446744073709551615 242970550016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 8801 3955 388 189 0 3675 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35204

[startup+0.100506 s]
/proc/loadavg: 0.92 1.00 0.99 6/401 4738
/proc/meminfo: memFree=24201112/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=35996 CPUtime=0.09 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 5084 0 0 0 8 1 0 0 23 0 1 0 654467624 36859904 4190 33554432000 4194304 4964800 140736438952816 18446744073709551615 242970211013 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 8999 4191 388 189 0 3873 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35996

[startup+0.300472 s]
/proc/loadavg: 0.92 1.00 0.99 6/401 4738
/proc/meminfo: memFree=24201112/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=66500 CPUtime=0.29 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 14304 0 0 0 27 2 0 0 25 0 1 0 654467624 68096000 11383 33554432000 4194304 4964800 140736438952816 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 16625 11383 399 189 0 11499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66500

[startup+0.700409 s]
/proc/loadavg: 0.92 1.00 0.99 6/401 4738
/proc/meminfo: memFree=24201112/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=84604 CPUtime=0.69 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 18474 0 0 0 66 3 0 0 25 0 1 0 654467624 86634496 15553 33554432000 4194304 4964800 140736438952816 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84604

[startup+1.50026 s]
/proc/loadavg: 1.25 1.07 1.02 6/402 4739
/proc/meminfo: memFree=24122992/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=84604 CPUtime=1.49 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 18474 0 0 0 146 3 0 0 25 0 1 0 654467624 86634496 15553 33554432000 4194304 4964800 140736438952816 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84604

[startup+3.10099 s]
/proc/loadavg: 1.25 1.07 1.02 7/402 4739
/proc/meminfo: memFree=24109968/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=84604 CPUtime=3.09 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 18474 0 0 0 306 3 0 0 25 0 1 0 654467624 86634496 15553 33554432000 4194304 4964800 140736438952816 18446744073709551615 4607984 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84604

[startup+6.30043 s]
/proc/loadavg: 1.25 1.07 1.02 7/402 4739
/proc/meminfo: memFree=24097464/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=84604 CPUtime=6.29 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 18474 0 0 0 626 3 0 0 25 0 1 0 654467624 86634496 15553 33554432000 4194304 4964800 140736438952816 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84604

[startup+12.7003 s]
/proc/loadavg: 2.13 1.26 1.08 6/402 4739
/proc/meminfo: memFree=24061404/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=84604 CPUtime=12.69 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 18474 0 0 0 1266 3 0 0 25 0 1 0 654467624 86634496 15553 33554432000 4194304 4964800 140736438952816 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84604

[startup+25.5011 s]
/proc/loadavg: 2.57 1.38 1.12 6/402 4740
/proc/meminfo: memFree=23990264/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=84604 CPUtime=25.49 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 18474 0 0 0 2546 3 0 0 25 0 1 0 654467624 86634496 15553 33554432000 4194304 4964800 140736438952816 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/4738/statm: 21151 15553 402 189 0 16025 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84604

[startup+51.1007 s]
/proc/loadavg: 4.06 1.82 1.27 9/405 4743
/proc/meminfo: memFree=23751836/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=410544 CPUtime=100.29 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 64111 0 0 0 10006 23 0 0 25 0 4 0 654467624 420397056 60162 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670534 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/4738/statm: 102636 60162 460 189 0 96985 0
[pid=4738/tid=4741] ppid=4736 vsize=410544 CPUtime=16.32 cores=1,3,5,7
/proc/4738/task/4741/stat : 4741 (claspmt) R 4736 4738 29580 0 -1 4202560 12056 0 0 0 1629 3 0 0 25 0 4 0 654471074 420397056 60162 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4738/tid=4742] ppid=4736 vsize=410544 CPUtime=16.55 cores=1,3,5,7
/proc/4738/task/4742/stat : 4742 (claspmt) R 4736 4738 29580 0 -1 4202560 15718 0 0 0 1648 7 0 0 25 0 4 0 654471074 420397056 60162 33554432000 4194304 4964800 140736438952816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4738/tid=4743] ppid=4736 vsize=410544 CPUtime=16.53 cores=1,3,5,7
/proc/4738/task/4743/stat : 4743 (claspmt) R 4736 4738 29580 0 -1 4202560 7234 0 0 0 1650 3 0 0 25 0 4 0 654471074 420397056 60162 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.29
Current children cumulated vsize (KiB) 410544

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

[startup+63.9005 s]
/proc/loadavg: 5.07 2.15 1.39 9/405 4744
/proc/meminfo: memFree=23666644/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=429272 CPUtime=151.31 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 76331 0 0 0 15098 33 0 0 25 0 4 0 654467624 439574528 72382 33554432000 4194304 4964800 140736438952816 18446744073709551615 4669512 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/4738/statm: 107318 72382 460 189 0 101667 0
[pid=4738/tid=4741] ppid=4736 vsize=429272 CPUtime=28.95 cores=1,3,5,7
/proc/4738/task/4741/stat : 4741 (claspmt) R 4736 4738 29580 0 -1 4202560 14132 0 0 0 2890 5 0 0 25 0 4 0 654471074 439574528 72382 33554432000 4194304 4964800 140736438952816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4738/tid=4742] ppid=4736 vsize=429272 CPUtime=29.34 cores=1,3,5,7
/proc/4738/task/4742/stat : 4742 (claspmt) R 4736 4738 29580 0 -1 4202560 20582 0 0 0 2924 10 0 0 25 0 4 0 654471074 439574528 72382 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4738/tid=4743] ppid=4736 vsize=429272 CPUtime=29.32 cores=1,3,5,7
/proc/4738/task/4743/stat : 4743 (claspmt) R 4736 4738 29580 0 -1 4202560 10035 0 0 0 2927 5 0 0 25 0 4 0 654471074 439574528 72382 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 151.31
Current children cumulated vsize (KiB) 429272

[startup+70.3004 s]
/proc/loadavg: 5.30 2.25 1.42 9/405 4744
/proc/meminfo: memFree=23630684/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=434064 CPUtime=176.86 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 79828 0 0 0 17650 36 0 0 25 0 4 0 654467624 444481536 75879 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670160 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/4738/statm: 108516 75879 460 189 0 102865 0
[pid=4738/tid=4741] ppid=4736 vsize=434064 CPUtime=35.27 cores=1,3,5,7
/proc/4738/task/4741/stat : 4741 (claspmt) R 4736 4738 29580 0 -1 4202560 14797 0 0 0 3522 5 0 0 25 0 4 0 654471074 444481536 75883 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4738/tid=4742] ppid=4736 vsize=434064 CPUtime=35.77 cores=1,3,5,7
/proc/4738/task/4742/stat : 4742 (claspmt) R 4736 4738 29580 0 -1 4202560 22354 0 0 0 3565 12 0 0 25 0 4 0 654471074 444481536 75883 33554432000 4194304 4964800 140736438952816 18446744073709551615 4324840 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4738/tid=4743] ppid=4736 vsize=434064 CPUtime=35.74 cores=1,3,5,7
/proc/4738/task/4743/stat : 4743 (claspmt) R 4736 4738 29580 0 -1 4202560 10673 0 0 0 3568 6 0 0 25 0 4 0 654471074 444481536 75883 33554432000 4194304 4964800 140736438952816 18446744073709551615 4669406 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 176.86
Current children cumulated vsize (KiB) 434064

[startup+73.5008 s]
/proc/loadavg: 5.52 2.35 1.46 9/405 4744
/proc/meminfo: memFree=23617664/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=437804 CPUtime=189.59 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 82960 0 0 0 18922 37 0 0 25 0 4 0 654467624 448311296 79011 33554432000 4194304 4964800 140736438952816 18446744073709551615 4653565 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/4738/statm: 109451 79011 460 189 0 103800 0
[pid=4738/tid=4741] ppid=4736 vsize=437804 CPUtime=38.44 cores=1,3,5,7
/proc/4738/task/4741/stat : 4741 (claspmt) R 4736 4738 29580 0 -1 4202560 15268 0 0 0 3838 6 0 0 25 0 4 0 654471074 448311296 79011 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4738/tid=4742] ppid=4736 vsize=437804 CPUtime=38.95 cores=1,3,5,7
/proc/4738/task/4742/stat : 4742 (claspmt) R 4736 4738 29580 0 -1 4202560 23474 0 0 0 3883 12 0 0 25 0 4 0 654471074 448311296 79011 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4738/tid=4743] ppid=4736 vsize=437804 CPUtime=38.92 cores=1,3,5,7
/proc/4738/task/4743/stat : 4743 (claspmt) R 4736 4738 29580 0 -1 4202560 11600 0 0 0 3886 6 0 0 25 0 4 0 654471074 448311296 79011 33554432000 4194304 4964800 140736438952816 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 189.59
Current children cumulated vsize (KiB) 437804

[startup+74.3007 s]
/proc/loadavg: 5.52 2.35 1.46 9/405 4746
/proc/meminfo: memFree=23611960/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=437804 CPUtime=192.77 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 83291 0 0 0 19240 37 0 0 25 0 4 0 654467624 448311296 79342 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/4738/statm: 109451 79342 460 189 0 103800 0
[pid=4738/tid=4741] ppid=4736 vsize=437804 CPUtime=39.22 cores=1,3,5,7
/proc/4738/task/4741/stat : 4741 (claspmt) R 4736 4738 29580 0 -1 4202560 15268 0 0 0 3916 6 0 0 25 0 4 0 654471074 448311296 79342 33554432000 4194304 4964800 140736438952816 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4738/tid=4742] ppid=4736 vsize=437804 CPUtime=39.75 cores=1,3,5,7
/proc/4738/task/4742/stat : 4742 (claspmt) R 4736 4738 29580 0 -1 4202560 23489 0 0 0 3963 12 0 0 25 0 4 0 654471074 448311296 79342 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4738/tid=4743] ppid=4736 vsize=437804 CPUtime=39.73 cores=1,3,5,7
/proc/4738/task/4743/stat : 4743 (claspmt) R 4736 4738 29580 0 -1 4202560 11899 0 0 0 3966 7 0 0 25 0 4 0 654471074 448311296 79342 33554432000 4194304 4964800 140736438952816 18446744073709551615 4312169 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 192.77
Current children cumulated vsize (KiB) 437804

[startup+74.7006 s]
/proc/loadavg: 5.52 2.35 1.46 9/405 4746
/proc/meminfo: memFree=23607488/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=437804 CPUtime=194.39 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 83307 0 0 0 19402 37 0 0 25 0 4 0 654467624 448311296 79358 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670499 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/4738/statm: 109451 79358 460 189 0 103800 0
[pid=4738/tid=4741] ppid=4736 vsize=437804 CPUtime=39.62 cores=1,3,5,7
/proc/4738/task/4741/stat : 4741 (claspmt) R 4736 4738 29580 0 -1 4202560 15268 0 0 0 3956 6 0 0 25 0 4 0 654471074 448311296 79358 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4738/tid=4742] ppid=4736 vsize=437804 CPUtime=40.16 cores=1,3,5,7
/proc/4738/task/4742/stat : 4742 (claspmt) R 4736 4738 29580 0 -1 4202560 23490 0 0 0 4004 12 0 0 25 0 4 0 654471074 448311296 79358 33554432000 4194304 4964800 140736438952816 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4738/tid=4743] ppid=4736 vsize=437804 CPUtime=40.14 cores=1,3,5,7
/proc/4738/task/4743/stat : 4743 (claspmt) R 4736 4738 29580 0 -1 4202560 11912 0 0 0 4007 7 0 0 25 0 4 0 654471074 448311296 79358 33554432000 4194304 4964800 140736438952816 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 194.39
Current children cumulated vsize (KiB) 437804

[startup+74.9006 s]
/proc/loadavg: 5.52 2.35 1.46 9/405 4746
/proc/meminfo: memFree=23607488/32951132 swapFree=67093844/67111528
[pid=4738] ppid=4736 vsize=436500 CPUtime=194.84 cores=1,3,5,7
/proc/4738/stat : 4738 (claspmt) R 4736 4738 29580 0 -1 4202496 83331 0 0 0 19447 37 0 0 25 0 1 0 654467624 446976000 78581 33554432000 4194304 4964800 140736438952816 18446744073709551615 242970205537 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/4738/statm: 109125 78581 471 189 0 103474 0
Current children cumulated CPU time (s) 194.84
Current children cumulated vsize (KiB) 436500

Child status: 10
Real time (s): 74.9171
CPU time (s): 194.873
CPU user time (s): 194.48
CPU system time (s): 0.39294
CPU usage (%): 260.119
Max. virtual memory (cumulated for all children) (KiB): 437804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 194.48
system time used= 0.39294
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83332
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= 4266
involuntary context switches= 1497

runsolver used 0.266959 second user time and 0.708892 second system time

The end

Launcher Data

Begin job on node128 at 2011-05-15 05:04:50
IDJOB=3373438
IDBENCH=83475
IDSOLVER=1853
FILE ID=node128/3373438-1305428689
RUNJOBID= node128-1305428689-4662
PBS_JOBID= 13324542
Free space on /tmp= 73600 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3373438-1305428689/watcher-3373438-1305428689 -o /tmp/evaluation-result-3373438-1305428689/solver-3373438-1305428689 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373438-1305428689.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=60844502

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:      24201268 kB
Buffers:        274572 kB
Cached:        2910064 kB
SwapCached:       1440 kB
Active:        6380972 kB
Inactive:      2077536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24201268 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           22628 kB
Writeback:          56 kB
AnonPages:     5272408 kB
Mapped:          32332 kB
Slab:           188096 kB
PageTables:      38832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100717128 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= 73596 MiB
End job on node128 at 2011-05-15 05:06:05