Trace number 3322524

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095SAT 268.785 47.1856

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.1969
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3322524-1304387823/watcher-3322524-1304387823 -o /tmp/evaluation-result-3322524-1304387823/solver-3322524-1304387823 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322524-1304387823.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.51 7.91 7.98 1/329 21221
/proc/meminfo: memFree=19474108/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=23888 CPUtime=0 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 1320 0 0 0 0 0 0 0 21 0 1 0 550383293 24461312 1168 33554432000 4194304 4964704 140735062151792 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21221/statm: 5972 1169 386 189 0 846 0

[startup+0.068281 s]
/proc/loadavg: 7.51 7.91 7.98 1/329 21221
/proc/meminfo: memFree=19474108/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=33460 CPUtime=0.06 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 3952 0 0 0 6 0 0 0 21 0 1 0 550383293 34263040 3328 33554432000 4194304 4964704 140735062151792 18446744073709551615 270612808149 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21221/statm: 8365 3349 389 189 0 3239 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 33460

[startup+0.100273 s]
/proc/loadavg: 7.51 7.91 7.98 1/329 21221
/proc/meminfo: memFree=19474108/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=36072 CPUtime=0.08 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 5123 0 0 0 8 0 0 0 21 0 1 0 550383293 36937728 4227 33554432000 4194304 4964704 140735062151792 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21221/statm: 9018 4228 389 189 0 3892 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36072

[startup+0.300237 s]
/proc/loadavg: 7.51 7.91 7.98 1/329 21221
/proc/meminfo: memFree=19474108/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=68728 CPUtime=0.29 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 14117 0 0 0 27 2 0 0 22 0 1 0 550383293 70377472 12106 33554432000 4194304 4964704 140735062151792 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21221/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68728

[startup+0.700171 s]
/proc/loadavg: 7.51 7.91 7.98 1/329 21221
/proc/meminfo: memFree=19474108/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=68728 CPUtime=0.69 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 14117 0 0 0 67 2 0 0 23 0 1 0 550383293 70377472 12106 33554432000 4194304 4964704 140735062151792 18446744073709551615 4607604 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21221/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68728

[startup+1.50103 s]
/proc/loadavg: 7.51 7.91 7.98 2/330 21222
/proc/meminfo: memFree=19427464/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=68728 CPUtime=1.49 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 14117 0 0 0 147 2 0 0 25 0 1 0 550383293 70377472 12106 33554432000 4194304 4964704 140735062151792 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21221/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68728

[startup+3.10075 s]
/proc/loadavg: 7.51 7.91 7.98 2/330 21222
/proc/meminfo: memFree=19426844/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=68728 CPUtime=3.09 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 14117 0 0 0 307 2 0 0 25 0 1 0 550383293 70377472 12106 33554432000 4194304 4964704 140735062151792 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21221/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68728

[startup+6.30018 s]
/proc/loadavg: 6.99 7.80 7.94 2/330 21222
/proc/meminfo: memFree=19426676/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=68728 CPUtime=6.29 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 14117 0 0 0 627 2 0 0 25 0 1 0 550383293 70377472 12106 33554432000 4194304 4964704 140735062151792 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21221/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68728

[startup+12.701 s]
/proc/loadavg: 6.51 7.69 7.90 2/330 21222
/proc/meminfo: memFree=19426572/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=68728 CPUtime=12.69 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 14117 0 0 0 1267 2 0 0 25 0 1 0 550383293 70377472 12106 33554432000 4194304 4964704 140735062151792 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21221/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68728

[startup+25.5008 s]
/proc/loadavg: 6.36 7.59 7.87 9/337 21229
/proc/meminfo: memFree=19140044/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=530260 CPUtime=97.45 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 87951 0 0 0 9710 35 0 0 25 0 8 0 550383293 542986240 84905 33554432000 4194304 4964704 140735062151792 18446744073709551615 4627456 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21221/statm: 132565 84905 466 189 0 126914 0
[pid=21221/tid=21223] ppid=21219 vsize=530260 CPUtime=10.31 cores=0-7
/proc/21221/task/21223/stat : 21223 (claspmt) R 21219 21221 21160 0 -1 4202560 7376 0 0 0 1029 2 0 0 25 0 8 0 550384667 542986240 84905 33554432000 4194304 4964704 140735062151792 18446744073709551615 4658492 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21221/tid=21224] ppid=21219 vsize=530260 CPUtime=10.31 cores=0-7
/proc/21221/task/21224/stat : 21224 (claspmt) R 21219 21221 21160 0 -1 4202560 10514 0 0 0 1026 5 0 0 25 0 8 0 550384667 542986240 84905 33554432000 4194304 4964704 140735062151792 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21221/tid=21225] ppid=21219 vsize=530260 CPUtime=10.3 cores=0-7
/proc/21221/task/21225/stat : 21225 (claspmt) R 21219 21221 21160 0 -1 4202560 6286 0 0 0 1027 3 0 0 19 0 8 0 550384667 542986240 84905 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21221/tid=21226] ppid=21219 vsize=530260 CPUtime=10.32 cores=0-7
/proc/21221/task/21226/stat : 21226 (claspmt) R 21219 21221 21160 0 -1 4202560 8448 0 0 0 1029 3 0 0 25 0 8 0 550384667 542986240 84905 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21221/tid=21227] ppid=21219 vsize=530260 CPUtime=11.6 cores=0-7
/proc/21221/task/21227/stat : 21227 (claspmt) R 21219 21221 21160 0 -1 4202560 8182 0 0 0 1157 3 0 0 25 0 8 0 550384667 542986240 84905 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21221/tid=21228] ppid=21219 vsize=530260 CPUtime=10.3 cores=0-7
/proc/21221/task/21228/stat : 21228 (claspmt) R 21219 21221 21160 0 -1 4202560 11054 0 0 0 1026 4 0 0 25 0 8 0 550384667 542986240 84905 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21221/tid=21229] ppid=21219 vsize=530260 CPUtime=10.22 cores=0-7
/proc/21221/task/21229/stat : 21229 (claspmt) R 21219 21221 21160 0 -1 4202560 15338 0 0 0 1015 7 0 0 25 0 8 0 550384667 542986240 84905 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 97.45
Current children cumulated vsize (KiB) 530260

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

[startup+38.3005 s]
/proc/loadavg: 6.73 7.61 7.87 9/337 21230
/proc/meminfo: memFree=19054052/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=540984 CPUtime=199.7 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 109417 0 0 0 19921 49 0 0 25 0 8 0 550383293 553967616 106371 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21221/statm: 135246 106371 466 189 0 129595 0
[pid=21221/tid=21223] ppid=21219 vsize=540984 CPUtime=23.11 cores=0-7
/proc/21221/task/21223/stat : 21223 (claspmt) R 21219 21221 21160 0 -1 4202560 9642 0 0 0 2307 4 0 0 25 0 8 0 550384667 553967616 106371 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21221/tid=21224] ppid=21219 vsize=540984 CPUtime=23.11 cores=0-7
/proc/21221/task/21224/stat : 21224 (claspmt) R 21219 21221 21160 0 -1 4202560 12812 0 0 0 2304 7 0 0 25 0 8 0 550384667 553967616 106372 33554432000 4194304 4964704 140735062151792 18446744073709551615 270612771873 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21221/tid=21225] ppid=21219 vsize=540984 CPUtime=23.1 cores=0-7
/proc/21221/task/21225/stat : 21225 (claspmt) R 21219 21221 21160 0 -1 4202560 7869 0 0 0 2306 4 0 0 25 0 8 0 550384667 553967616 106372 33554432000 4194304 4964704 140735062151792 18446744073709551615 4669391 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21221/tid=21226] ppid=21219 vsize=540984 CPUtime=23.11 cores=0-7
/proc/21221/task/21226/stat : 21226 (claspmt) R 21219 21221 21160 0 -1 4202560 9899 0 0 0 2307 4 0 0 25 0 8 0 550384667 553967616 106372 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21221/tid=21227] ppid=21219 vsize=540984 CPUtime=24.4 cores=0-7
/proc/21221/task/21227/stat : 21227 (claspmt) R 21219 21221 21160 0 -1 4202560 8209 0 0 0 2437 3 0 0 25 0 8 0 550384667 553967616 106372 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21221/tid=21228] ppid=21219 vsize=540984 CPUtime=23.11 cores=0-7
/proc/21221/task/21228/stat : 21228 (claspmt) R 21219 21221 21160 0 -1 4202560 12587 0 0 0 2305 6 0 0 25 0 8 0 550384667 553967616 106372 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21221/tid=21229] ppid=21219 vsize=540984 CPUtime=22.88 cores=0-7
/proc/21221/task/21229/stat : 21229 (claspmt) R 21219 21221 21160 0 -1 4202560 24324 0 0 0 2275 13 0 0 25 0 8 0 550384667 553967616 106372 33554432000 4194304 4964704 140735062151792 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 199.7
Current children cumulated vsize (KiB) 540984

[startup+41.5009 s]
/proc/loadavg: 6.73 7.61 7.87 9/337 21230
/proc/meminfo: memFree=19040684/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=608924 CPUtime=225.27 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 114385 0 0 0 22474 53 0 0 25 0 8 0 550383293 623538176 111339 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21221/statm: 152231 111339 466 189 0 146580 0
[pid=21221/tid=21223] ppid=21219 vsize=608924 CPUtime=26.3 cores=0-7
/proc/21221/task/21223/stat : 21223 (claspmt) R 21219 21221 21160 0 -1 4202560 9736 0 0 0 2626 4 0 0 21 0 8 0 550384667 623538176 111339 33554432000 4194304 4964704 140735062151792 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21221/tid=21224] ppid=21219 vsize=608924 CPUtime=26.31 cores=0-7
/proc/21221/task/21224/stat : 21224 (claspmt) R 21219 21221 21160 0 -1 4202560 13550 0 0 0 2624 7 0 0 25 0 8 0 550384667 623538176 111339 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21221/tid=21225] ppid=21219 vsize=608924 CPUtime=26.3 cores=0-7
/proc/21221/task/21225/stat : 21225 (claspmt) R 21219 21221 21160 0 -1 4202560 9065 0 0 0 2625 5 0 0 25 0 8 0 550384667 623538176 111339 33554432000 4194304 4964704 140735062151792 18446744073709551615 270613153975 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21221/tid=21226] ppid=21219 vsize=608924 CPUtime=26.31 cores=0-7
/proc/21221/task/21226/stat : 21226 (claspmt) R 21219 21221 21160 0 -1 4202560 10353 0 0 0 2627 4 0 0 25 0 8 0 550384667 623538176 111344 33554432000 4194304 4964704 140735062151792 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21221/tid=21227] ppid=21219 vsize=608924 CPUtime=27.6 cores=0-7
/proc/21221/task/21227/stat : 21227 (claspmt) R 21219 21221 21160 0 -1 4202560 8209 0 0 0 2757 3 0 0 25 0 8 0 550384667 623538176 111344 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21221/tid=21228] ppid=21219 vsize=608924 CPUtime=26.31 cores=0-7
/proc/21221/task/21228/stat : 21228 (claspmt) R 21219 21221 21160 0 -1 4202560 12918 0 0 0 2625 6 0 0 25 0 8 0 550384667 623538176 111344 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21221/tid=21229] ppid=21219 vsize=608924 CPUtime=26.05 cores=0-7
/proc/21221/task/21229/stat : 21229 (claspmt) R 21219 21221 21160 0 -1 4202560 25475 0 0 0 2591 14 0 0 25 0 8 0 550384667 623538176 111344 33554432000 4194304 4964704 140735062151792 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 225.27
Current children cumulated vsize (KiB) 608924

[startup+44.7004 s]
/proc/loadavg: 6.83 7.61 7.87 9/337 21230
/proc/meminfo: memFree=19009832/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=615936 CPUtime=250.82 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 120347 0 0 0 25025 57 0 0 25 0 8 0 550383293 630718464 117301 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21221/statm: 153984 117301 466 189 0 148333 0
[pid=21221/tid=21223] ppid=21219 vsize=615936 CPUtime=29.5 cores=0-7
/proc/21221/task/21223/stat : 21223 (claspmt) R 21219 21221 21160 0 -1 4202560 10369 0 0 0 2945 5 0 0 25 0 8 0 550384667 630718464 117301 33554432000 4194304 4964704 140735062151792 18446744073709551615 4669494 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21221/tid=21224] ppid=21219 vsize=615936 CPUtime=29.51 cores=0-7
/proc/21221/task/21224/stat : 21224 (claspmt) R 21219 21221 21160 0 -1 4202560 14016 0 0 0 2943 8 0 0 25 0 8 0 550384667 630718464 117301 33554432000 4194304 4964704 140735062151792 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21221/tid=21225] ppid=21219 vsize=615936 CPUtime=29.5 cores=0-7
/proc/21221/task/21225/stat : 21225 (claspmt) R 21219 21221 21160 0 -1 4202560 10347 0 0 0 2945 5 0 0 25 0 8 0 550384667 630718464 117301 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21221/tid=21226] ppid=21219 vsize=615936 CPUtime=29.51 cores=0-7
/proc/21221/task/21226/stat : 21226 (claspmt) R 21219 21221 21160 0 -1 4202560 10839 0 0 0 2946 5 0 0 25 0 8 0 550384667 630718464 117301 33554432000 4194304 4964704 140735062151792 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21221/tid=21227] ppid=21219 vsize=615936 CPUtime=30.8 cores=0-7
/proc/21221/task/21227/stat : 21227 (claspmt) R 21219 21221 21160 0 -1 4202560 8212 0 0 0 3077 3 0 0 25 0 8 0 550384667 630718464 117301 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21221/tid=21228] ppid=21219 vsize=615936 CPUtime=29.51 cores=0-7
/proc/21221/task/21228/stat : 21228 (claspmt) R 21219 21221 21160 0 -1 4202560 13633 0 0 0 2944 7 0 0 25 0 8 0 550384667 630718464 117301 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21221/tid=21229] ppid=21219 vsize=615936 CPUtime=29.22 cores=0-7
/proc/21221/task/21229/stat : 21229 (claspmt) R 21219 21221 21160 0 -1 4202560 27290 0 0 0 2907 15 0 0 25 0 8 0 550384667 630718464 117301 33554432000 4194304 4964704 140735062151792 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 250.82
Current children cumulated vsize (KiB) 615936

[startup+46.3011 s]
/proc/loadavg: 6.83 7.61 7.87 9/337 21230
/proc/meminfo: memFree=18998672/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=681472 CPUtime=263.6 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 122867 0 0 0 26302 58 0 0 25 0 8 0 550383293 697827328 119821 33554432000 4194304 4964704 140735062151792 18446744073709551615 4627299 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21221/statm: 170368 119821 466 189 0 164717 0
[pid=21221/tid=21223] ppid=21219 vsize=681472 CPUtime=31.1 cores=0-7
/proc/21221/task/21223/stat : 21223 (claspmt) R 21219 21221 21160 0 -1 4202560 10494 0 0 0 3105 5 0 0 25 0 8 0 550384667 697827328 119821 33554432000 4194304 4964704 140735062151792 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21221/tid=21224] ppid=21219 vsize=681472 CPUtime=31.11 cores=0-7
/proc/21221/task/21224/stat : 21224 (claspmt) R 21219 21221 21160 0 -1 4202560 14131 0 0 0 3103 8 0 0 25 0 8 0 550384667 697827328 119821 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21221/tid=21225] ppid=21219 vsize=681472 CPUtime=31.1 cores=0-7
/proc/21221/task/21225/stat : 21225 (claspmt) R 21219 21221 21160 0 -1 4202560 10360 0 0 0 3105 5 0 0 25 0 8 0 550384667 697827328 119822 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21221/tid=21226] ppid=21219 vsize=681472 CPUtime=31.11 cores=0-7
/proc/21221/task/21226/stat : 21226 (claspmt) R 21219 21221 21160 0 -1 4202560 12727 0 0 0 3106 5 0 0 25 0 8 0 550384667 697827328 119822 33554432000 4194304 4964704 140735062151792 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21221/tid=21227] ppid=21219 vsize=681472 CPUtime=32.41 cores=0-7
/proc/21221/task/21227/stat : 21227 (claspmt) R 21219 21221 21160 0 -1 4202560 8213 0 0 0 3238 3 0 0 25 0 8 0 550384667 697827328 119822 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21221/tid=21228] ppid=21219 vsize=681472 CPUtime=31.1 cores=0-7
/proc/21221/task/21228/stat : 21228 (claspmt) R 21219 21221 21160 0 -1 4202560 13888 0 0 0 3103 7 0 0 25 0 8 0 550384667 697827328 119822 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21221/tid=21229] ppid=21219 vsize=681472 CPUtime=30.8 cores=0-7
/proc/21221/task/21229/stat : 21229 (claspmt) R 21219 21221 21160 0 -1 4202560 27290 0 0 0 3065 15 0 0 25 0 8 0 550384667 697827328 119822 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 263.6
Current children cumulated vsize (KiB) 681472

[startup+46.701 s]
/proc/loadavg: 6.83 7.61 7.87 9/337 21230
/proc/meminfo: memFree=18998672/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=682000 CPUtime=266.81 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 123496 0 0 0 26622 59 0 0 25 0 8 0 550383293 698368000 120450 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670291 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/21221/statm: 170500 120450 466 189 0 164849 0
[pid=21221/tid=21223] ppid=21219 vsize=682000 CPUtime=31.5 cores=0-7
/proc/21221/task/21223/stat : 21223 (claspmt) R 21219 21221 21160 0 -1 4202560 10534 0 0 0 3145 5 0 0 25 0 8 0 550384667 698368000 120450 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670354 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21221/tid=21224] ppid=21219 vsize=682000 CPUtime=31.51 cores=0-7
/proc/21221/task/21224/stat : 21224 (claspmt) R 21219 21221 21160 0 -1 4202560 14139 0 0 0 3143 8 0 0 25 0 8 0 550384667 698368000 120450 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21221/tid=21225] ppid=21219 vsize=682000 CPUtime=31.5 cores=0-7
/proc/21221/task/21225/stat : 21225 (claspmt) R 21219 21221 21160 0 -1 4202560 10362 0 0 0 3145 5 0 0 25 0 8 0 550384667 698368000 120450 33554432000 4194304 4964704 140735062151792 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21221/tid=21226] ppid=21219 vsize=682000 CPUtime=31.51 cores=0-7
/proc/21221/task/21226/stat : 21226 (claspmt) R 21219 21221 21160 0 -1 4202560 12851 0 0 0 3146 5 0 0 25 0 8 0 550384667 698368000 120450 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21221/tid=21227] ppid=21219 vsize=682000 CPUtime=32.81 cores=0-7
/proc/21221/task/21227/stat : 21227 (claspmt) R 21219 21221 21160 0 -1 4202560 8216 0 0 0 3278 3 0 0 25 0 8 0 550384667 698368000 120450 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21221/tid=21228] ppid=21219 vsize=682000 CPUtime=31.5 cores=0-7
/proc/21221/task/21228/stat : 21228 (claspmt) R 21219 21221 21160 0 -1 4202560 14132 0 0 0 3143 7 0 0 25 0 8 0 550384667 698368000 120450 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21221/tid=21229] ppid=21219 vsize=682000 CPUtime=31.19 cores=0-7
/proc/21221/task/21229/stat : 21229 (claspmt) R 21219 21221 21160 0 -1 4202560 27488 0 0 0 3104 15 0 0 25 0 8 0 550384667 698368000 120450 33554432000 4194304 4964704 140735062151792 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 266.81
Current children cumulated vsize (KiB) 682000

[startup+47.101 s]
/proc/loadavg: 6.83 7.61 7.87 9/337 21230
/proc/meminfo: memFree=18998672/32951124 swapFree=67111516/67111528
[pid=21221] ppid=21219 vsize=680960 CPUtime=268.69 cores=0-7
/proc/21221/stat : 21221 (claspmt) R 21219 21221 21160 0 -1 4202496 123869 0 0 0 26810 59 0 0 25 0 1 0 550383293 697303040 120328 33554432000 4194304 4964704 140735062151792 18446744073709551615 270612766049 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21221/statm: 170240 120328 476 189 0 164589 0
Current children cumulated CPU time (s) 268.69
Current children cumulated vsize (KiB) 680960

Child status: 10
Real time (s): 47.1856
CPU time (s): 268.785
CPU user time (s): 268.169
CPU system time (s): 0.615906
CPU usage (%): 569.633
Max. virtual memory (cumulated for all children) (KiB): 682264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 268.169
system time used= 0.615906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123870
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= 29441
involuntary context switches= 1739

runsolver used 0.148977 second user time and 0.356945 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-03 03:57:04
IDJOB=3322524
IDBENCH=83436
IDSOLVER=1711
FILE ID=node108/3322524-1304387823
RUNJOBID= node108-1304387809-21174
PBS_JOBID= 13181819
Free space on /tmp= 73300 MiB

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

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1649655007

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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:     32951124 kB
MemFree:      19474504 kB
Buffers:        686692 kB
Cached:        2200776 kB
SwapCached:         12 kB
Active:       10542960 kB
Inactive:      2493300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19474504 kB
SwapTotal:    67111528 kB
SwapFree:     67111516 kB
Dirty:           16044 kB
Writeback:           0 kB
AnonPages:    10149256 kB
Mapped:          28656 kB
Slab:           336860 kB
PageTables:      38244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52248512 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= 73300 MiB
End job on node108 at 2011-05-03 03:57:51