Trace number 3381159

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)SAT 310.243 72.0331

General information on the benchmark

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

Solver Data

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

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3381159-1305505943/watcher-3381159-1305505943 -o /tmp/evaluation-result-3381159-1305505943/solver-3381159-1305505943 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381159-1305505943.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.33 7.32 7.64 2/366 29486
/proc/meminfo: memFree=13268508/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=24080 CPUtime=0.01 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 1367 0 0 0 1 0 0 0 21 0 1 0 662194016 24657920 1217 33554432000 4194304 4964800 140734253949952 18446744073709551615 208079893537 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 6020 1217 386 189 0 894 0

[startup+0.0406181 s]
/proc/loadavg: 7.33 7.32 7.64 2/366 29486
/proc/meminfo: memFree=13268508/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=27468 CPUtime=0.03 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 2398 0 0 0 3 0 0 0 21 0 1 0 662194016 28127232 2076 33554432000 4194304 4964800 140734253949952 18446744073709551615 4567710 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 6867 2078 389 189 0 1741 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27468

[startup+0.100607 s]
/proc/loadavg: 7.33 7.32 7.64 2/366 29486
/proc/meminfo: memFree=13268508/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=36000 CPUtime=0.09 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 5096 0 0 0 9 0 0 0 21 0 1 0 662194016 36864000 4201 33554432000 4194304 4964800 140734253949952 18446744073709551615 4567832 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 9000 4202 389 189 0 3874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36000

[startup+0.300569 s]
/proc/loadavg: 7.33 7.32 7.64 2/366 29486
/proc/meminfo: memFree=13268508/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=67032 CPUtime=0.29 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 14439 0 0 0 27 2 0 0 22 0 1 0 662194016 68640768 11517 33554432000 4194304 4964800 140734253949952 18446744073709551615 208079893189 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 16758 11522 400 189 0 11632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67032

[startup+0.700495 s]
/proc/loadavg: 7.33 7.32 7.64 2/366 29486
/proc/meminfo: memFree=13268508/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=84608 CPUtime=0.69 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 18473 0 0 0 66 3 0 0 23 0 1 0 662194016 86638592 15551 33554432000 4194304 4964800 140734253949952 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 21152 15551 403 189 0 16026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84608

[startup+1.50034 s]
/proc/loadavg: 7.33 7.32 7.64 2/367 29487
/proc/meminfo: memFree=13207500/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=84608 CPUtime=1.49 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 18473 0 0 0 146 3 0 0 25 0 1 0 662194016 86638592 15551 33554432000 4194304 4964800 140734253949952 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 21152 15551 403 189 0 16026 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84608

[startup+3.10104 s]
/proc/loadavg: 6.82 7.21 7.60 2/367 29487
/proc/meminfo: memFree=13206552/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=84608 CPUtime=3.09 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 18473 0 0 0 306 3 0 0 25 0 1 0 662194016 86638592 15551 33554432000 4194304 4964800 140734253949952 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 21152 15551 403 189 0 16026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84608

[startup+6.30043 s]
/proc/loadavg: 6.82 7.21 7.60 2/367 29487
/proc/meminfo: memFree=13206932/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=84608 CPUtime=6.29 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 18473 0 0 0 626 3 0 0 25 0 1 0 662194016 86638592 15551 33554432000 4194304 4964800 140734253949952 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 21152 15551 403 189 0 16026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84608

[startup+12.7003 s]
/proc/loadavg: 5.93 7.01 7.53 2/367 29487
/proc/meminfo: memFree=13207824/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=84608 CPUtime=12.69 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 18473 0 0 0 1266 3 0 0 25 0 1 0 662194016 86638592 15551 33554432000 4194304 4964800 140734253949952 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 21152 15551 403 189 0 16026 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84608

[startup+25.5009 s]
/proc/loadavg: 5.17 6.81 7.46 2/367 29487
/proc/meminfo: memFree=13209652/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=84608 CPUtime=25.5 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 18473 0 0 0 2547 3 0 0 25 0 1 0 662194016 86638592 15551 33554432000 4194304 4964800 140734253949952 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29486/statm: 21152 15551 403 189 0 16026 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 84608

[startup+51.1009 s]
/proc/loadavg: 4.82 6.57 7.36 9/374 29495
/proc/meminfo: memFree=12863004/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=569632 CPUtime=145.98 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 107504 0 0 0 14558 40 0 0 25 0 8 0 662194016 583303168 103552 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670530 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29486/statm: 142408 103552 464 189 0 136757 0
[pid=29486/tid=29489] ppid=29484 vsize=569632 CPUtime=13.45 cores=0-7
/proc/29486/task/29489/stat : 29489 (claspmt) R 29484 29486 29294 0 -1 4202560 8905 0 0 0 1341 4 0 0 25 0 8 0 662197585 583303168 103552 33554432000 4194304 4964800 140734253949952 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29486/tid=29490] ppid=29484 vsize=569632 CPUtime=13.56 cores=0-7
/proc/29486/task/29490/stat : 29490 (claspmt) R 29484 29486 29294 0 -1 4202560 12756 0 0 0 1351 5 0 0 25 0 8 0 662197585 583303168 103552 33554432000 4194304 4964800 140734253949952 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29486/tid=29491] ppid=29484 vsize=569632 CPUtime=13.58 cores=0-7
/proc/29486/task/29491/stat : 29491 (claspmt) R 29484 29486 29294 0 -1 4202560 11357 0 0 0 1354 4 0 0 25 0 8 0 662197585 583303168 103552 33554432000 4194304 4964800 140734253949952 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29486/tid=29492] ppid=29484 vsize=569632 CPUtime=13.61 cores=0-7
/proc/29486/task/29492/stat : 29492 (claspmt) R 29484 29486 29294 0 -1 4202560 13066 0 0 0 1355 6 0 0 25 0 8 0 662197586 583303168 103552 33554432000 4194304 4964800 140734253949952 18446744073709551615 4627509 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29486/tid=29493] ppid=29484 vsize=569632 CPUtime=15.29 cores=0-7
/proc/29486/task/29493/stat : 29493 (claspmt) R 29484 29486 29294 0 -1 4202560 9772 0 0 0 1526 3 0 0 25 0 8 0 662197586 583303168 103552 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29486/tid=29494] ppid=29484 vsize=569632 CPUtime=13.62 cores=0-7
/proc/29486/task/29494/stat : 29494 (claspmt) R 29484 29486 29294 0 -1 4202560 12841 0 0 0 1357 5 0 0 25 0 8 0 662197586 583303168 103552 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29486/tid=29495] ppid=29484 vsize=569632 CPUtime=13.59 cores=0-7
/proc/29486/task/29495/stat : 29495 (claspmt) R 29484 29486 29294 0 -1 4202560 11653 0 0 0 1354 5 0 0 25 0 8 0 662197586 583303168 103552 33554432000 4194304 4964800 140734253949952 18446744073709551615 4669140 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 145.98
Current children cumulated vsize (KiB) 569632

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

[startup+63.9005 s]
/proc/loadavg: 5.53 6.64 7.37 9/374 29495
/proc/meminfo: memFree=12789960/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=708080 CPUtime=248.21 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 125088 0 0 0 24767 54 0 0 25 0 8 0 662194016 725073920 121136 33554432000 4194304 4964800 140734253949952 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29486/statm: 177020 121136 466 189 0 171369 0
[pid=29486/tid=29489] ppid=29484 vsize=708080 CPUtime=26.09 cores=0-7
/proc/29486/task/29489/stat : 29489 (claspmt) R 29484 29486 29294 0 -1 4202560 9582 0 0 0 2604 5 0 0 25 0 8 0 662197585 725073920 121136 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29486/tid=29490] ppid=29484 vsize=708080 CPUtime=26.37 cores=0-7
/proc/29486/task/29490/stat : 29490 (claspmt) R 29484 29486 29294 0 -1 4202560 16234 0 0 0 2630 7 0 0 25 0 8 0 662197585 725073920 121136 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29486/tid=29491] ppid=29484 vsize=708080 CPUtime=26.38 cores=0-7
/proc/29486/task/29491/stat : 29491 (claspmt) R 29484 29486 29294 0 -1 4202560 13410 0 0 0 2634 4 0 0 25 0 8 0 662197585 725073920 121136 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29486/tid=29492] ppid=29484 vsize=708080 CPUtime=26.41 cores=0-7
/proc/29486/task/29492/stat : 29492 (claspmt) R 29484 29486 29294 0 -1 4202560 16059 0 0 0 2633 8 0 0 25 0 8 0 662197586 725073920 121136 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29486/tid=29493] ppid=29484 vsize=708080 CPUtime=28.09 cores=0-7
/proc/29486/task/29493/stat : 29493 (claspmt) R 29484 29486 29294 0 -1 4202560 9863 0 0 0 2806 3 0 0 25 0 8 0 662197586 725073920 121136 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29486/tid=29494] ppid=29484 vsize=708080 CPUtime=26.42 cores=0-7
/proc/29486/task/29494/stat : 29494 (claspmt) R 29484 29486 29294 0 -1 4202560 15132 0 0 0 2635 7 0 0 25 0 8 0 662197586 725073920 121136 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29486/tid=29495] ppid=29484 vsize=708080 CPUtime=26.39 cores=0-7
/proc/29486/task/29495/stat : 29495 (claspmt) R 29484 29486 29294 0 -1 4202560 16367 0 0 0 2631 8 0 0 25 0 8 0 662197586 725073920 121136 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 248.21
Current children cumulated vsize (KiB) 708080

[startup+67.1149 s]
/proc/loadavg: 5.72 6.66 7.37 9/374 29495
/proc/meminfo: memFree=12768008/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=775300 CPUtime=273.89 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 130464 0 0 0 27330 59 0 0 25 0 8 0 662194016 793907200 126512 33554432000 4194304 4964800 140734253949952 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29486/statm: 193825 126512 466 189 0 188174 0
[pid=29486/tid=29489] ppid=29484 vsize=775300 CPUtime=29.26 cores=0-7
/proc/29486/task/29489/stat : 29489 (claspmt) R 29484 29486 29294 0 -1 4202560 9615 0 0 0 2921 5 0 0 25 0 8 0 662197585 793907200 126512 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29486/tid=29490] ppid=29484 vsize=775300 CPUtime=29.58 cores=0-7
/proc/29486/task/29490/stat : 29490 (claspmt) R 29484 29486 29294 0 -1 4202560 17157 0 0 0 2950 8 0 0 25 0 8 0 662197585 793907200 126512 33554432000 4194304 4964800 140734253949952 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29486/tid=29491] ppid=29484 vsize=775300 CPUtime=29.6 cores=0-7
/proc/29486/task/29491/stat : 29491 (claspmt) R 29484 29486 29294 0 -1 4202560 14558 0 0 0 2955 5 0 0 25 0 8 0 662197585 793907200 126512 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29486/tid=29492] ppid=29484 vsize=775300 CPUtime=29.63 cores=0-7
/proc/29486/task/29492/stat : 29492 (claspmt) R 29484 29486 29294 0 -1 4202560 16624 0 0 0 2954 9 0 0 25 0 8 0 662197586 793907200 126512 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29486/tid=29493] ppid=29484 vsize=775300 CPUtime=31.3 cores=0-7
/proc/29486/task/29493/stat : 29493 (claspmt) R 29484 29486 29294 0 -1 4202560 9865 0 0 0 3127 3 0 0 25 0 8 0 662197586 793907200 126512 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29486/tid=29494] ppid=29484 vsize=775300 CPUtime=29.63 cores=0-7
/proc/29486/task/29494/stat : 29494 (claspmt) R 29484 29486 29294 0 -1 4202560 15798 0 0 0 2955 8 0 0 25 0 8 0 662197586 793907200 126512 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29486/tid=29495] ppid=29484 vsize=775300 CPUtime=29.6 cores=0-7
/proc/29486/task/29495/stat : 29495 (claspmt) R 29484 29486 29294 0 -1 4202560 17969 0 0 0 2950 10 0 0 25 0 8 0 662197586 793907200 126512 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 273.89
Current children cumulated vsize (KiB) 775300

[startup+70.3013 s]
/proc/loadavg: 5.72 6.66 7.37 9/374 29496
/proc/meminfo: memFree=12749032/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=775504 CPUtime=299.44 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 135018 0 0 0 29880 64 0 0 25 0 8 0 662194016 794116096 131066 33554432000 4194304 4964800 140734253949952 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29486/statm: 193876 131066 466 189 0 188225 0
[pid=29486/tid=29489] ppid=29484 vsize=775504 CPUtime=32.42 cores=0-7
/proc/29486/task/29489/stat : 29489 (claspmt) R 29484 29486 29294 0 -1 4202560 10106 0 0 0 3236 6 0 0 25 0 8 0 662197585 794116096 131066 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29486/tid=29490] ppid=29484 vsize=775504 CPUtime=32.78 cores=0-7
/proc/29486/task/29490/stat : 29490 (claspmt) R 29484 29486 29294 0 -1 4202560 17514 0 0 0 3269 9 0 0 25 0 8 0 662197585 794116096 131066 33554432000 4194304 4964800 140734253949952 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29486/tid=29491] ppid=29484 vsize=775504 CPUtime=32.79 cores=0-7
/proc/29486/task/29491/stat : 29491 (claspmt) R 29484 29486 29294 0 -1 4202560 15033 0 0 0 3274 5 0 0 25 0 8 0 662197585 794116096 131066 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29486/tid=29492] ppid=29484 vsize=775504 CPUtime=32.83 cores=0-7
/proc/29486/task/29492/stat : 29492 (claspmt) R 29484 29486 29294 0 -1 4202560 17286 0 0 0 3273 10 0 0 25 0 8 0 662197586 794116096 131066 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29486/tid=29493] ppid=29484 vsize=775504 CPUtime=34.5 cores=0-7
/proc/29486/task/29493/stat : 29493 (claspmt) R 29484 29486 29294 0 -1 4202560 9901 0 0 0 3447 3 0 0 25 0 8 0 662197586 794116096 131066 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29486/tid=29494] ppid=29484 vsize=775504 CPUtime=32.83 cores=0-7
/proc/29486/task/29494/stat : 29494 (claspmt) R 29484 29486 29294 0 -1 4202560 16436 0 0 0 3274 9 0 0 25 0 8 0 662197586 794116096 131066 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29486/tid=29495] ppid=29484 vsize=775504 CPUtime=32.8 cores=0-7
/proc/29486/task/29495/stat : 29495 (claspmt) R 29484 29486 29294 0 -1 4202560 19087 0 0 0 3269 11 0 0 25 0 8 0 662197586 794116096 131066 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670394 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 299.44
Current children cumulated vsize (KiB) 775504

[startup+71.1011 s]
/proc/loadavg: 5.72 6.66 7.37 9/374 29496
/proc/meminfo: memFree=12749032/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=775504 CPUtime=305.72 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 136369 0 0 0 30507 65 0 0 25 0 8 0 662194016 794116096 132417 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29486/statm: 193876 132417 466 189 0 188225 0
[pid=29486/tid=29489] ppid=29484 vsize=775504 CPUtime=33.21 cores=0-7
/proc/29486/task/29489/stat : 29489 (claspmt) R 29484 29486 29294 0 -1 4202560 10220 0 0 0 3315 6 0 0 25 0 8 0 662197585 794116096 132417 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29486/tid=29490] ppid=29484 vsize=775504 CPUtime=33.56 cores=0-7
/proc/29486/task/29490/stat : 29490 (claspmt) R 29484 29486 29294 0 -1 4202560 17829 0 0 0 3347 9 0 0 25 0 8 0 662197585 794116096 132417 33554432000 4194304 4964800 140734253949952 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29486/tid=29491] ppid=29484 vsize=775504 CPUtime=33.58 cores=0-7
/proc/29486/task/29491/stat : 29491 (claspmt) R 29484 29486 29294 0 -1 4202560 15085 0 0 0 3353 5 0 0 25 0 8 0 662197585 794116096 132417 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29486/tid=29492] ppid=29484 vsize=775504 CPUtime=33.61 cores=0-7
/proc/29486/task/29492/stat : 29492 (claspmt) R 29484 29486 29294 0 -1 4202560 17597 0 0 0 3351 10 0 0 25 0 8 0 662197586 794116096 132417 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29486/tid=29493] ppid=29484 vsize=775504 CPUtime=35.29 cores=0-7
/proc/29486/task/29493/stat : 29493 (claspmt) R 29484 29486 29294 0 -1 4202560 9968 0 0 0 3526 3 0 0 25 0 8 0 662197586 794116096 132417 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670417 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29486/tid=29494] ppid=29484 vsize=775504 CPUtime=33.61 cores=0-7
/proc/29486/task/29494/stat : 29494 (claspmt) R 29484 29486 29294 0 -1 4202560 16559 0 0 0 3352 9 0 0 25 0 8 0 662197586 794116096 132417 33554432000 4194304 4964800 140734253949952 18446744073709551615 4653296 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29486/tid=29495] ppid=29484 vsize=775504 CPUtime=33.59 cores=0-7
/proc/29486/task/29495/stat : 29495 (claspmt) R 29484 29486 29294 0 -1 4202560 19206 0 0 0 3348 11 0 0 25 0 8 0 662197586 794116096 132417 33554432000 4194304 4964800 140734253949952 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 305.72
Current children cumulated vsize (KiB) 775504

[startup+71.514 s]
/proc/loadavg: 5.72 6.66 7.37 9/374 29496
/proc/meminfo: memFree=12741592/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=775504 CPUtime=309.02 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 137036 0 0 0 30836 66 0 0 25 0 8 0 662194016 794116096 133084 33554432000 4194304 4964800 140734253949952 18446744073709551615 4669479 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/29486/statm: 193876 133084 466 189 0 188225 0
[pid=29486/tid=29489] ppid=29484 vsize=775504 CPUtime=33.61 cores=0-7
/proc/29486/task/29489/stat : 29489 (claspmt) R 29484 29486 29294 0 -1 4202560 10316 0 0 0 3355 6 0 0 25 0 8 0 662197585 794116096 133084 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29486/tid=29490] ppid=29484 vsize=775504 CPUtime=33.97 cores=0-7
/proc/29486/task/29490/stat : 29490 (claspmt) R 29484 29486 29294 0 -1 4202560 18030 0 0 0 3388 9 0 0 25 0 8 0 662197585 794116096 133085 33554432000 4194304 4964800 140734253949952 18446744073709551615 208079893537 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29486/tid=29491] ppid=29484 vsize=775504 CPUtime=33.99 cores=0-7
/proc/29486/task/29491/stat : 29491 (claspmt) R 29484 29486 29294 0 -1 4202560 15141 0 0 0 3394 5 0 0 25 0 8 0 662197585 794116096 133085 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29486/tid=29492] ppid=29484 vsize=775504 CPUtime=34.03 cores=0-7
/proc/29486/task/29492/stat : 29492 (claspmt) R 29484 29486 29294 0 -1 4202560 17748 0 0 0 3393 10 0 0 25 0 8 0 662197586 794116096 133085 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670077 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29486/tid=29493] ppid=29484 vsize=775504 CPUtime=35.7 cores=0-7
/proc/29486/task/29493/stat : 29493 (claspmt) R 29484 29486 29294 0 -1 4202560 9987 0 0 0 3567 3 0 0 25 0 8 0 662197586 794116096 133085 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29486/tid=29494] ppid=29484 vsize=775504 CPUtime=34.02 cores=0-7
/proc/29486/task/29494/stat : 29494 (claspmt) R 29484 29486 29294 0 -1 4202560 16683 0 0 0 3393 9 0 0 25 0 8 0 662197586 794116096 133085 33554432000 4194304 4964800 140734253949952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29486/tid=29495] ppid=29484 vsize=775504 CPUtime=34 cores=0-7
/proc/29486/task/29495/stat : 29495 (claspmt) R 29484 29486 29294 0 -1 4202560 19210 0 0 0 3389 11 0 0 25 0 8 0 662197586 794116096 133086 33554432000 4194304 4964800 140734253949952 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 309.02
Current children cumulated vsize (KiB) 775504

[startup+71.901 s]
/proc/loadavg: 5.72 6.66 7.37 9/374 29496
/proc/meminfo: memFree=12741592/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=774200 CPUtime=310.1 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 137187 0 0 0 30944 66 0 0 24 0 1 0 662194016 792780800 132877 33554432000 4194304 4964800 140734253949952 18446744073709551615 208079889390 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29486/statm: 193550 132877 476 189 0 187899 0
Current children cumulated CPU time (s) 310.1
Current children cumulated vsize (KiB) 774200

[startup+72.0009 s]
/proc/loadavg: 5.72 6.66 7.37 9/374 29496
/proc/meminfo: memFree=12741592/32950928 swapFree=57376972/67111528
[pid=29486] ppid=29484 vsize=708664 CPUtime=310.2 cores=0-7
/proc/29486/stat : 29486 (claspmt) R 29484 29486 29294 0 -1 4202496 137187 0 0 0 30954 66 0 0 25 0 1 0 662194016 725671936 125225 33554432000 4194304 4964800 140734253949952 18446744073709551615 208080275815 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/29486/statm: 177166 125225 476 189 0 171515 0
Current children cumulated CPU time (s) 310.2
Current children cumulated vsize (KiB) 708664

Child status: 10
Real time (s): 72.0331
CPU time (s): 310.243
CPU user time (s): 309.547
CPU system time (s): 0.695894
CPU usage (%): 430.695
Max. virtual memory (cumulated for all children) (KiB): 775504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.547
system time used= 0.695894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137188
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= 29534
involuntary context switches= 1373

runsolver used 0.221966 second user time and 0.619905 second system time

The end

Launcher Data

Begin job on node127 at 2011-05-16 02:32:24
IDJOB=3381159
IDBENCH=83475
IDSOLVER=1865
FILE ID=node127/3381159-1305505943
RUNJOBID= node127-1305505658-29308
PBS_JOBID= 13325499
Free space on /tmp= 73464 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=867602446

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13268788 kB
Buffers:         14524 kB
Cached:         163800 kB
SwapCached:     117804 kB
Active:        5242580 kB
Inactive:     14234640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13268788 kB
SwapTotal:    67111528 kB
SwapFree:     57376972 kB
Dirty:           21408 kB
Writeback:           0 kB
AnonPages:    19187280 kB
Mapped:          24768 kB
Slab:            57412 kB
PageTables:      77324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 72335120 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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