Trace number 3381143

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 323.14 79.9496

General information on the benchmark

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

Solver Data 

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.86 7.78 7.94 1/366 29320
/proc/meminfo: memFree=13271476/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=24080 CPUtime=0.01 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 1366 0 0 0 1 0 0 0 22 0 1 0 662165522 24657920 1216 33554432000 4194304 4964800 140737307304112 18446744073709551615 208079893537 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 6020 1216 386 189 0 894 0

[startup+0.102476 s]
/proc/loadavg: 6.86 7.78 7.94 1/366 29320
/proc/meminfo: memFree=13271476/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=35604 CPUtime=0.1 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 4928 0 0 0 9 1 0 0 23 0 1 0 662165522 36458496 4034 33554432000 4194304 4964800 140737307304112 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 8901 4035 389 189 0 3775 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 35604

[startup+0.200461 s]
/proc/loadavg: 6.86 7.78 7.94 1/366 29320
/proc/meminfo: memFree=13271476/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=48716 CPUtime=0.19 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 9048 0 0 0 17 2 0 0 23 0 1 0 662165522 49885184 7140 33554432000 4194304 4964800 140737307304112 18446744073709551615 208079893537 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 12179 7141 389 189 0 7053 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 48716

[startup+0.300432 s]
/proc/loadavg: 6.86 7.78 7.94 1/366 29320
/proc/meminfo: memFree=13271476/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=63712 CPUtime=0.29 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 13644 0 0 0 27 2 0 0 23 0 1 0 662165522 65241088 10723 33554432000 4194304 4964800 140737307304112 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 15928 10727 400 189 0 10802 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63712

[startup+0.700358 s]
/proc/loadavg: 6.86 7.78 7.94 1/366 29320
/proc/meminfo: memFree=13271476/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=87480 CPUtime=0.69 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 19131 0 0 0 67 2 0 0 25 0 1 0 662165522 89579520 16210 33554432000 4194304 4964800 140737307304112 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 21870 16210 403 189 0 16744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87480

[startup+1.50021 s]
/proc/loadavg: 6.86 7.78 7.94 2/367 29321
/proc/meminfo: memFree=13208480/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=87480 CPUtime=1.49 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 19131 0 0 0 147 2 0 0 25 0 1 0 662165522 89579520 16210 33554432000 4194304 4964800 140737307304112 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 21870 16210 403 189 0 16744 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87480

[startup+3.10083 s]
/proc/loadavg: 6.39 7.67 7.91 2/367 29321
/proc/meminfo: memFree=13207612/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=87480 CPUtime=3.09 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 19131 0 0 0 307 2 0 0 25 0 1 0 662165522 89579520 16210 33554432000 4194304 4964800 140737307304112 18446744073709551615 4607644 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 21870 16210 403 189 0 16744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87480

[startup+6.30022 s]
/proc/loadavg: 6.39 7.67 7.91 2/367 29321
/proc/meminfo: memFree=13207988/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=87480 CPUtime=6.29 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 19131 0 0 0 627 2 0 0 25 0 1 0 662165522 89579520 16210 33554432000 4194304 4964800 140737307304112 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 21870 16210 403 189 0 16744 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87480

[startup+12.701 s]
/proc/loadavg: 5.56 7.45 7.83 2/367 29321
/proc/meminfo: memFree=13208244/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=87480 CPUtime=12.69 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 19131 0 0 0 1267 2 0 0 25 0 1 0 662165522 89579520 16210 33554432000 4194304 4964800 140737307304112 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 21870 16210 403 189 0 16744 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87480

[startup+25.5006 s]
/proc/loadavg: 4.86 7.23 7.76 2/367 29322
/proc/meminfo: memFree=13209412/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=87480 CPUtime=25.49 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 19131 0 0 0 2547 2 0 0 25 0 1 0 662165522 89579520 16210 33554432000 4194304 4964800 140737307304112 18446744073709551615 4607486 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29320/statm: 21870 16210 403 189 0 16744 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87480

[startup+51.1007 s]
/proc/loadavg: 4.18 6.87 7.62 9/374 29329
/proc/meminfo: memFree=12916700/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=546364 CPUtime=95.82 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 95055 0 0 0 9555 27 0 0 25 0 8 0 662165522 559476736 91008 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670282 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/29320/statm: 136591 91008 464 189 0 130940 0
[pid=29320/tid=29323] ppid=29318 vsize=546364 CPUtime=6.38 cores=0-7
/proc/29320/task/29323/stat : 29323 (claspmt) R 29318 29320 29294 0 -1 4202560 10443 0 0 0 634 4 0 0 25 0 8 0 662169796 559476736 91008 33554432000 4194304 4964800 140737307304112 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29320/tid=29324] ppid=29318 vsize=546364 CPUtime=6.42 cores=0-7
/proc/29320/task/29324/stat : 29324 (claspmt) R 29318 29320 29294 0 -1 4202560 10197 0 0 0 639 3 0 0 25 0 8 0 662169796 559476736 91008 33554432000 4194304 4964800 140737307304112 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29320/tid=29325] ppid=29318 vsize=546364 CPUtime=6.42 cores=0-7
/proc/29320/task/29325/stat : 29325 (claspmt) R 29318 29320 29294 0 -1 4202560 9338 0 0 0 639 3 0 0 25 0 8 0 662169796 559476736 91008 33554432000 4194304 4964800 140737307304112 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29320/tid=29326] ppid=29318 vsize=546364 CPUtime=6.45 cores=0-7
/proc/29320/task/29326/stat : 29326 (claspmt) R 29318 29320 29294 0 -1 4202560 8976 0 0 0 642 3 0 0 25 0 8 0 662169796 559476736 91008 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29320/tid=29327] ppid=29318 vsize=546364 CPUtime=8.15 cores=0-7
/proc/29320/task/29327/stat : 29327 (claspmt) R 29318 29320 29294 0 -1 4202560 8122 0 0 0 814 1 0 0 25 0 8 0 662169796 559476736 91008 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29320/tid=29328] ppid=29318 vsize=546364 CPUtime=6.44 cores=0-7
/proc/29320/task/29328/stat : 29328 (claspmt) R 29318 29320 29294 0 -1 4202560 10563 0 0 0 641 3 0 0 25 0 8 0 662169796 559476736 91008 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29320/tid=29329] ppid=29318 vsize=546364 CPUtime=6.44 cores=0-7
/proc/29320/task/29329/stat : 29329 (claspmt) R 29318 29320 29294 0 -1 4202560 9957 0 0 0 641 3 0 0 25 0 8 0 662169796 559476736 91008 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 95.82
Current children cumulated vsize (KiB) 546364

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

[startup+51.2007 s]
/proc/loadavg: 4.18 6.87 7.62 9/374 29329
/proc/meminfo: memFree=12916700/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=546364 CPUtime=96.62 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 95136 0 0 0 9635 27 0 0 25 0 8 0 662165522 559476736 91089 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/29320/statm: 136591 91089 464 189 0 130940 0
[pid=29320/tid=29323] ppid=29318 vsize=546364 CPUtime=6.48 cores=0-7
/proc/29320/task/29323/stat : 29323 (claspmt) R 29318 29320 29294 0 -1 4202560 10443 0 0 0 644 4 0 0 25 0 8 0 662169796 559476736 91089 33554432000 4194304 4964800 140737307304112 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29320/tid=29324] ppid=29318 vsize=546364 CPUtime=6.52 cores=0-7
/proc/29320/task/29324/stat : 29324 (claspmt) R 29318 29320 29294 0 -1 4202560 10211 0 0 0 649 3 0 0 25 0 8 0 662169796 559476736 91089 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29320/tid=29325] ppid=29318 vsize=546364 CPUtime=6.52 cores=0-7
/proc/29320/task/29325/stat : 29325 (claspmt) R 29318 29320 29294 0 -1 4202560 9340 0 0 0 649 3 0 0 25 0 8 0 662169796 559476736 91089 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29320/tid=29326] ppid=29318 vsize=546364 CPUtime=6.54 cores=0-7
/proc/29320/task/29326/stat : 29326 (claspmt) R 29318 29320 29294 0 -1 4202560 9040 0 0 0 651 3 0 0 25 0 8 0 662169796 559476736 91089 33554432000 4194304 4964800 140737307304112 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29320/tid=29327] ppid=29318 vsize=546364 CPUtime=8.25 cores=0-7
/proc/29320/task/29327/stat : 29327 (claspmt) R 29318 29320 29294 0 -1 4202560 8122 0 0 0 824 1 0 0 25 0 8 0 662169796 559476736 91089 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29320/tid=29328] ppid=29318 vsize=546364 CPUtime=6.54 cores=0-7
/proc/29320/task/29328/stat : 29328 (claspmt) R 29318 29320 29294 0 -1 4202560 10564 0 0 0 651 3 0 0 25 0 8 0 662169796 559476736 91089 33554432000 4194304 4964800 140737307304112 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29320/tid=29329] ppid=29318 vsize=546364 CPUtime=6.54 cores=0-7
/proc/29320/task/29329/stat : 29329 (claspmt) R 29318 29320 29294 0 -1 4202560 9957 0 0 0 651 3 0 0 25 0 8 0 662169796 559476736 91089 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 96.62
Current children cumulated vsize (KiB) 546364

[startup+64.0012 s]
/proc/loadavg: 5.03 6.92 7.63 9/374 29330
/proc/meminfo: memFree=12814768/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=691712 CPUtime=198.86 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 119398 0 0 0 19840 46 0 0 25 0 8 0 662165522 708313088 115351 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670499 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/29320/statm: 172928 115352 466 189 0 167277 0
[pid=29320/tid=29323] ppid=29318 vsize=691712 CPUtime=19.12 cores=0-7
/proc/29320/task/29323/stat : 29323 (claspmt) R 29318 29320 29294 0 -1 4202560 12149 0 0 0 1907 5 0 0 25 0 8 0 662169796 708313088 115352 33554432000 4194304 4964800 140737307304112 18446744073709551615 4628024 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29320/tid=29324] ppid=29318 vsize=691712 CPUtime=19.32 cores=0-7
/proc/29320/task/29324/stat : 29324 (claspmt) R 29318 29320 29294 0 -1 4202560 14998 0 0 0 1924 8 0 0 25 0 8 0 662169796 708313088 115352 33554432000 4194304 4964800 140737307304112 18446744073709551615 208079893537 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29320/tid=29325] ppid=29318 vsize=691712 CPUtime=19.32 cores=0-7
/proc/29320/task/29325/stat : 29325 (claspmt) R 29318 29320 29294 0 -1 4202560 11627 0 0 0 1928 4 0 0 25 0 8 0 662169796 708313088 115352 33554432000 4194304 4964800 140737307304112 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29320/tid=29326] ppid=29318 vsize=691712 CPUtime=19.34 cores=0-7
/proc/29320/task/29326/stat : 29326 (claspmt) R 29318 29320 29294 0 -1 4202560 11457 0 0 0 1929 5 0 0 25 0 8 0 662169796 708313088 115352 33554432000 4194304 4964800 140737307304112 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29320/tid=29327] ppid=29318 vsize=691712 CPUtime=21.05 cores=0-7
/proc/29320/task/29327/stat : 29327 (claspmt) R 29318 29320 29294 0 -1 4202560 8167 0 0 0 2104 1 0 0 25 0 8 0 662169796 708313088 115352 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29320/tid=29328] ppid=29318 vsize=691712 CPUtime=19.34 cores=0-7
/proc/29320/task/29328/stat : 29328 (claspmt) R 29318 29320 29294 0 -1 4202560 12900 0 0 0 1929 5 0 0 25 0 8 0 662169796 708313088 115352 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29320/tid=29329] ppid=29318 vsize=691712 CPUtime=19.34 cores=0-7
/proc/29320/task/29329/stat : 29329 (claspmt) R 29318 29320 29294 0 -1 4202560 17774 0 0 0 1925 9 0 0 25 0 8 0 662169796 708313088 115352 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 198.86
Current children cumulated vsize (KiB) 691712

[startup+70.401 s]
/proc/loadavg: 5.27 6.94 7.63 9/374 29330
/proc/meminfo: memFree=12783144/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=761780 CPUtime=250.09 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 127051 0 0 0 24957 52 0 0 25 0 8 0 662165522 780062720 123004 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/29320/statm: 190445 123004 466 189 0 184794 0
[pid=29320/tid=29323] ppid=29318 vsize=761780 CPUtime=25.46 cores=0-7
/proc/29320/task/29323/stat : 29323 (claspmt) R 29318 29320 29294 0 -1 4202560 12731 0 0 0 2540 6 0 0 25 0 8 0 662169796 780062720 123004 33554432000 4194304 4964800 140737307304112 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29320/tid=29324] ppid=29318 vsize=761780 CPUtime=25.74 cores=0-7
/proc/29320/task/29324/stat : 29324 (claspmt) R 29318 29320 29294 0 -1 4202560 16567 0 0 0 2565 9 0 0 25 0 8 0 662169796 780062720 123004 33554432000 4194304 4964800 140737307304112 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29320/tid=29325] ppid=29318 vsize=761780 CPUtime=25.74 cores=0-7
/proc/29320/task/29325/stat : 29325 (claspmt) R 29318 29320 29294 0 -1 4202560 12406 0 0 0 2569 5 0 0 25 0 8 0 662169796 780062720 123004 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29320/tid=29326] ppid=29318 vsize=761780 CPUtime=25.76 cores=0-7
/proc/29320/task/29326/stat : 29326 (claspmt) R 29318 29320 29294 0 -1 4202560 12977 0 0 0 2570 6 0 0 25 0 8 0 662169796 780062720 123004 33554432000 4194304 4964800 140737307304112 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29320/tid=29327] ppid=29318 vsize=761780 CPUtime=27.46 cores=0-7
/proc/29320/task/29327/stat : 29327 (claspmt) R 29318 29320 29294 0 -1 4202560 8189 0 0 0 2745 1 0 0 25 0 8 0 662169796 780062720 123004 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29320/tid=29328] ppid=29318 vsize=761780 CPUtime=25.75 cores=0-7
/proc/29320/task/29328/stat : 29328 (claspmt) R 29318 29320 29294 0 -1 4202560 13362 0 0 0 2570 5 0 0 25 0 8 0 662169796 780062720 123004 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29320/tid=29329] ppid=29318 vsize=761780 CPUtime=25.75 cores=0-7
/proc/29320/task/29329/stat : 29329 (claspmt) R 29318 29320 29294 0 -1 4202560 19399 0 0 0 2565 10 0 0 25 0 8 0 662169796 780062720 123004 33554432000 4194304 4964800 140737307304112 18446744073709551615 208079893537 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 250.09
Current children cumulated vsize (KiB) 761780

[startup+76.8008 s]
/proc/loadavg: 5.48 6.96 7.63 9/374 29330
/proc/meminfo: memFree=12753256/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=827580 CPUtime=301.12 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 135813 0 0 0 30052 60 0 0 25 0 8 0 662165522 847441920 131766 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/29320/statm: 206895 131766 466 189 0 201244 0
[pid=29320/tid=29323] ppid=29318 vsize=827580 CPUtime=31.78 cores=0-7
/proc/29320/task/29323/stat : 29323 (claspmt) R 29318 29320 29294 0 -1 4202560 13041 0 0 0 3171 7 0 0 25 0 8 0 662169796 847441920 131766 33554432000 4194304 4964800 140737307304112 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29320/tid=29324] ppid=29318 vsize=827580 CPUtime=32.12 cores=0-7
/proc/29320/task/29324/stat : 29324 (claspmt) R 29318 29320 29294 0 -1 4202560 18895 0 0 0 3202 10 0 0 25 0 8 0 662169796 847441920 131766 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29320/tid=29325] ppid=29318 vsize=827580 CPUtime=32.12 cores=0-7
/proc/29320/task/29325/stat : 29325 (claspmt) R 29318 29320 29294 0 -1 4202560 13017 0 0 0 3206 6 0 0 25 0 8 0 662169796 847441920 131766 33554432000 4194304 4964800 140737307304112 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29320/tid=29326] ppid=29318 vsize=827580 CPUtime=32.15 cores=0-7
/proc/29320/task/29326/stat : 29326 (claspmt) R 29318 29320 29294 0 -1 4202560 13517 0 0 0 3208 7 0 0 25 0 8 0 662169796 847441920 131766 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29320/tid=29327] ppid=29318 vsize=827580 CPUtime=33.85 cores=0-7
/proc/29320/task/29327/stat : 29327 (claspmt) R 29318 29320 29294 0 -1 4202560 8190 0 0 0 3384 1 0 0 25 0 8 0 662169796 847441920 131766 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29320/tid=29328] ppid=29318 vsize=827580 CPUtime=32.13 cores=0-7
/proc/29320/task/29328/stat : 29328 (claspmt) R 29318 29320 29294 0 -1 4202560 13967 0 0 0 3208 5 0 0 25 0 8 0 662169796 847441920 131766 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29320/tid=29329] ppid=29318 vsize=827580 CPUtime=32.14 cores=0-7
/proc/29320/task/29329/stat : 29329 (claspmt) R 29318 29320 29294 0 -1 4202560 23418 0 0 0 3201 13 0 0 25 0 8 0 662169796 847441920 131766 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 301.12
Current children cumulated vsize (KiB) 827580

[startup+78.4005 s]
/proc/loadavg: 5.69 6.97 7.63 9/374 29330
/proc/meminfo: memFree=12738872/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=829700 CPUtime=313.89 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 138663 0 0 0 31327 62 0 0 25 0 8 0 662165522 849612800 134616 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/29320/statm: 207425 134616 466 189 0 201774 0
[pid=29320/tid=29323] ppid=29318 vsize=829700 CPUtime=33.36 cores=0-7
/proc/29320/task/29323/stat : 29323 (claspmt) R 29318 29320 29294 0 -1 4202560 13238 0 0 0 3329 7 0 0 25 0 8 0 662169796 849612800 134616 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29320/tid=29324] ppid=29318 vsize=829700 CPUtime=33.72 cores=0-7
/proc/29320/task/29324/stat : 29324 (claspmt) R 29318 29320 29294 0 -1 4202560 19671 0 0 0 3361 11 0 0 25 0 8 0 662169796 849612800 134616 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29320/tid=29325] ppid=29318 vsize=829700 CPUtime=33.72 cores=0-7
/proc/29320/task/29325/stat : 29325 (claspmt) R 29318 29320 29294 0 -1 4202560 13026 0 0 0 3366 6 0 0 25 0 8 0 662169796 849612800 134616 33554432000 4194304 4964800 140737307304112 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29320/tid=29326] ppid=29318 vsize=829700 CPUtime=33.74 cores=0-7
/proc/29320/task/29326/stat : 29326 (claspmt) R 29318 29320 29294 0 -1 4202560 13705 0 0 0 3367 7 0 0 25 0 8 0 662169796 849612800 134616 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29320/tid=29327] ppid=29318 vsize=829700 CPUtime=35.45 cores=0-7
/proc/29320/task/29327/stat : 29327 (claspmt) R 29318 29320 29294 0 -1 4202560 8191 0 0 0 3544 1 0 0 25 0 8 0 662169796 849612800 134616 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670338 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29320/tid=29328] ppid=29318 vsize=829700 CPUtime=33.74 cores=0-7
/proc/29320/task/29328/stat : 29328 (claspmt) R 29318 29320 29294 0 -1 4202560 14118 0 0 0 3368 6 0 0 25 0 8 0 662169796 849612800 134616 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29320/tid=29329] ppid=29318 vsize=829700 CPUtime=33.74 cores=0-7
/proc/29320/task/29329/stat : 29329 (claspmt) R 29318 29320 29294 0 -1 4202560 24720 0 0 0 3360 14 0 0 25 0 8 0 662169796 849612800 134616 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 313.89
Current children cumulated vsize (KiB) 829700

[startup+79.2003 s]
/proc/loadavg: 5.69 6.97 7.63 9/374 29330
/proc/meminfo: memFree=12729820/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=833144 CPUtime=320.38 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 140316 0 0 0 31974 64 0 0 25 0 8 0 662165522 853139456 136269 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/29320/statm: 208286 136270 466 189 0 202635 0
[pid=29320/tid=29323] ppid=29318 vsize=833144 CPUtime=34.16 cores=0-7
/proc/29320/task/29323/stat : 29323 (claspmt) R 29318 29320 29294 0 -1 4202560 13238 0 0 0 3409 7 0 0 25 0 8 0 662169796 853139456 136270 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29320/tid=29324] ppid=29318 vsize=833144 CPUtime=34.53 cores=0-7
/proc/29320/task/29324/stat : 29324 (claspmt) R 29318 29320 29294 0 -1 4202560 20039 0 0 0 3442 11 0 0 25 0 8 0 662169796 853139456 136270 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29320/tid=29325] ppid=29318 vsize=833144 CPUtime=34.54 cores=0-7
/proc/29320/task/29325/stat : 29325 (claspmt) R 29318 29320 29294 0 -1 4202560 13068 0 0 0 3448 6 0 0 25 0 8 0 662169796 853139456 136270 33554432000 4194304 4964800 140737307304112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29320/tid=29326] ppid=29318 vsize=833144 CPUtime=34.55 cores=0-7
/proc/29320/task/29326/stat : 29326 (claspmt) R 29318 29320 29294 0 -1 4202560 13904 0 0 0 3448 7 0 0 25 0 8 0 662169796 853139456 136270 33554432000 4194304 4964800 140737307304112 18446744073709551615 208079893537 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29320/tid=29327] ppid=29318 vsize=833144 CPUtime=36.26 cores=0-7
/proc/29320/task/29327/stat : 29327 (claspmt) R 29318 29320 29294 0 -1 4202560 8191 0 0 0 3625 1 0 0 25 0 8 0 662169796 853139456 136270 33554432000 4194304 4964800 140737307304112 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29320/tid=29328] ppid=29318 vsize=833144 CPUtime=34.55 cores=0-7
/proc/29320/task/29328/stat : 29328 (claspmt) R 29318 29320 29294 0 -1 4202560 14271 0 0 0 3449 6 0 0 25 0 8 0 662169796 853139456 136270 33554432000 4194304 4964800 140737307304112 18446744073709551615 4361365 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29320/tid=29329] ppid=29318 vsize=833144 CPUtime=34.55 cores=0-7
/proc/29320/task/29329/stat : 29329 (claspmt) R 29318 29320 29294 0 -1 4202560 25571 0 0 0 3441 14 0 0 25 0 8 0 662169796 853139456 136270 33554432000 4194304 4964800 140737307304112 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 320.38
Current children cumulated vsize (KiB) 833144

[startup+79.6003 s]
/proc/loadavg: 5.69 6.97 7.63 9/374 29330
/proc/meminfo: memFree=12729820/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=834340 CPUtime=322.78 cores=0-7
/proc/29320/stat : 29320 (claspmt) S 29318 29320 29294 0 -1 4202496 140986 0 0 0 32214 64 0 0 25 0 2 0 662165522 854364160 136939 33554432000 4194304 4964800 140737307304112 18446744073709551615 208092035045 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/29320/statm: 208585 136939 468 189 0 202934 0
[pid=29320/tid=29328] ppid=29318 vsize=834340 CPUtime=34.93 cores=0-7
/proc/29320/task/29328/stat : 29328 (claspmt) R 29318 29320 29294 0 -1 4202560 14370 0 0 0 3487 6 0 0 25 0 2 0 662169796 854364160 136939 33554432000 4194304 4964800 140737307304112 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 322.78
Current children cumulated vsize (KiB) 834340

[startup+79.8003 s]
/proc/loadavg: 5.69 6.97 7.63 9/374 29330
/proc/meminfo: memFree=12729820/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=833036 CPUtime=322.98 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 140994 0 0 0 32234 64 0 0 25 0 1 0 662165522 853028864 135400 33554432000 4194304 4964800 140737307304112 18446744073709551615 208079881612 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29320/statm: 208259 135400 476 189 0 202608 0
Current children cumulated CPU time (s) 322.98
Current children cumulated vsize (KiB) 833036

[startup+79.9003 s]
/proc/loadavg: 5.69 6.97 7.63 9/374 29330
/proc/meminfo: memFree=12729820/32950928 swapFree=57376972/67111528
[pid=29320] ppid=29318 vsize=833036 CPUtime=323.08 cores=0-7
/proc/29320/stat : 29320 (claspmt) R 29318 29320 29294 0 -1 4202496 140994 0 0 0 32244 64 0 0 25 0 1 0 662165522 853028864 132732 33554432000 4194304 4964800 140737307304112 18446744073709551615 208079881216 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29320/statm: 208259 132732 476 189 0 202608 0
Current children cumulated CPU time (s) 323.08
Current children cumulated vsize (KiB) 833036

Child status: 10
Real time (s): 79.9496
CPU time (s): 323.14
CPU user time (s): 322.461
CPU system time (s): 0.678896
CPU usage (%): 404.179
Max. virtual memory (cumulated for all children) (KiB): 834340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 322.461
system time used= 0.678896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140995
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= 27093
involuntary context switches= 2034

runsolver used 0.253961 second user time and 0.661899 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-16 02:27:39
IDJOB=3381143
IDBENCH=83450
IDSOLVER=1865
FILE ID=node127/3381143-1305505658
RUNJOBID= node127-1305505658-29308
PBS_JOBID= 13325499
Free space on /tmp= 73464 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3381143-1305505658/watcher-3381143-1305505658 -o /tmp/evaluation-result-3381143-1305505658/solver-3381143-1305505658 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381143-1305505658.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1369035785

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13271764 kB
Buffers:         13744 kB
Cached:         162812 kB
SwapCached:     117804 kB
Active:        5200752 kB
Inactive:     14274832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13271764 kB
SwapTotal:    67111528 kB
SwapFree:     57376972 kB
Dirty:           22708 kB
Writeback:           0 kB
AnonPages:    19187596 kB
Mapped:          24304 kB
Slab:            57180 kB
PageTables:      78052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 72332708 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73464 MiB
End job on node127 at 2011-05-16 02:28:59