Trace number 3381129

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 696.761 100.585

General information on the benchmark

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

Solver Data 

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

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-3381129-1305505496/watcher-3381129-1305505496 -o /tmp/evaluation-result-3381129-1305505496/solver-3381129-1305505496 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381129-1305505496.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.43 7.92 7.99 2/418 28723
/proc/meminfo: memFree=13716076/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=24296 CPUtime=0.01 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 1416 0 0 0 1 0 0 0 25 0 1 0 740780295 24879104 1265 33554432000 4194304 4964800 140736393673040 18446744073709551615 216734839493 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 6074 1265 386 189 0 948 0

[startup+0.11334 s]
/proc/loadavg: 7.43 7.92 7.99 2/418 28723
/proc/meminfo: memFree=13716076/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=38200 CPUtime=0.11 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 5910 0 0 0 10 1 0 0 25 0 1 0 740780295 39116800 4609 33554432000 4194304 4964800 140736393673040 18446744073709551615 216734839493 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 9583 4610 389 189 0 4457 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 38200

[startup+0.200326 s]
/proc/loadavg: 7.43 7.92 7.99 2/418 28723
/proc/meminfo: memFree=13716076/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=50708 CPUtime=0.19 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 9756 0 0 0 18 1 0 0 25 0 1 0 740780295 51924992 7746 33554432000 4194304 4964800 140736393673040 18446744073709551615 4625116 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 12677 7746 400 189 0 7551 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 50708

[startup+0.300314 s]
/proc/loadavg: 7.43 7.92 7.99 2/418 28723
/proc/meminfo: memFree=13716076/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=68728 CPUtime=0.29 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 14116 0 0 0 27 2 0 0 25 0 1 0 740780295 70377472 12106 33554432000 4194304 4964800 140736393673040 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68728

[startup+0.700241 s]
/proc/loadavg: 7.43 7.92 7.99 2/418 28723
/proc/meminfo: memFree=13716076/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=68728 CPUtime=0.69 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 14116 0 0 0 67 2 0 0 25 0 1 0 740780295 70377472 12106 33554432000 4194304 4964800 140736393673040 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68728

[startup+1.5011 s]
/proc/loadavg: 7.43 7.92 7.99 2/419 28724
/proc/meminfo: memFree=13669228/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=68728 CPUtime=1.5 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 14116 0 0 0 148 2 0 0 25 0 1 0 740780295 70377472 12106 33554432000 4194304 4964800 140736393673040 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 68728

[startup+3.10082 s]
/proc/loadavg: 7.43 7.92 7.99 2/419 28724
/proc/meminfo: memFree=13668360/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=68728 CPUtime=3.1 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 14116 0 0 0 308 2 0 0 25 0 1 0 740780295 70377472 12106 33554432000 4194304 4964800 140736393673040 18446744073709551615 4607549 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 68728

[startup+6.30026 s]
/proc/loadavg: 6.91 7.81 7.96 2/419 28724
/proc/meminfo: memFree=13668364/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=68728 CPUtime=6.3 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 14116 0 0 0 628 2 0 0 25 0 1 0 740780295 70377472 12106 33554432000 4194304 4964800 140736393673040 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 68728

[startup+12.7002 s]
/proc/loadavg: 6.44 7.69 7.92 2/419 28724
/proc/meminfo: memFree=13668512/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=68728 CPUtime=12.7 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 14116 0 0 0 1268 2 0 0 25 0 1 0 740780295 70377472 12106 33554432000 4194304 4964800 140736393673040 18446744073709551615 4607570 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 17182 12106 403 189 0 12056 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 68728

[startup+25.5009 s]
/proc/loadavg: 6.38 7.61 7.89 9/426 28731
/proc/meminfo: memFree=13381772/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=546028 CPUtime=99.35 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 88214 0 0 0 9895 40 0 0 25 0 8 0 740780295 559132672 85099 33554432000 4194304 4964800 140736393673040 18446744073709551615 216734839841 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28723/statm: 136507 85099 466 189 0 130856 0
[pid=28723/tid=28725] ppid=28721 vsize=546028 CPUtime=10.59 cores=0-7
/proc/28723/task/28725/stat : 28725 (claspmt) R 28721 28723 28697 0 -1 4202560 7429 0 0 0 1055 4 0 0 25 0 8 0 740781653 559132672 85099 33554432000 4194304 4964800 140736393673040 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=546028 CPUtime=10.59 cores=0-7
/proc/28723/task/28726/stat : 28726 (claspmt) R 28721 28723 28697 0 -1 4202560 10121 0 0 0 1053 6 0 0 25 0 8 0 740781653 559132672 85099 33554432000 4194304 4964800 140736393673040 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=546028 CPUtime=10.58 cores=0-7
/proc/28723/task/28727/stat : 28727 (claspmt) R 28721 28723 28697 0 -1 4202560 12395 0 0 0 1053 5 0 0 25 0 8 0 740781653 559132672 85099 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=546028 CPUtime=10.59 cores=0-7
/proc/28723/task/28728/stat : 28728 (claspmt) R 28721 28723 28697 0 -1 4202560 8748 0 0 0 1054 5 0 0 25 0 8 0 740781653 559132672 85099 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=546028 CPUtime=11.8 cores=0-7
/proc/28723/task/28729/stat : 28729 (claspmt) R 28721 28723 28697 0 -1 4202560 7032 0 0 0 1178 2 0 0 25 0 8 0 740781653 559132672 85100 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=546028 CPUtime=10.59 cores=0-7
/proc/28723/task/28730/stat : 28730 (claspmt) R 28721 28723 28697 0 -1 4202560 10971 0 0 0 1055 4 0 0 25 0 8 0 740781653 559132672 85100 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=546028 CPUtime=10.45 cores=0-7
/proc/28723/task/28731/stat : 28731 (claspmt) R 28721 28723 28697 0 -1 4202560 10982 0 0 0 1038 7 0 0 25 0 8 0 740781653 559132672 85100 33554432000 4194304 4964800 140736393673040 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.35
Current children cumulated vsize (KiB) 546028

[startup+51.1014 s]
/proc/loadavg: 6.93 7.64 7.89 9/426 28732
/proc/meminfo: memFree=13222784/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=703484 CPUtime=303.8 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 127774 0 0 0 30306 74 0 0 25 0 8 0 740780295 720367616 124659 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28723/statm: 175871 124659 466 189 0 170220 0
[pid=28723/tid=28725] ppid=28721 vsize=703484 CPUtime=36.18 cores=0-7
/proc/28723/task/28725/stat : 28725 (claspmt) R 28721 28723 28697 0 -1 4202560 10195 0 0 0 3611 7 0 0 25 0 8 0 740781653 720367616 124659 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=703484 CPUtime=36.18 cores=0-7
/proc/28723/task/28726/stat : 28726 (claspmt) R 28721 28723 28697 0 -1 4202560 14535 0 0 0 3608 10 0 0 25 0 8 0 740781653 720367616 124659 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=703484 CPUtime=36.18 cores=0-7
/proc/28723/task/28727/stat : 28727 (claspmt) R 28721 28723 28697 0 -1 4202560 16090 0 0 0 3611 7 0 0 25 0 8 0 740781653 720367616 124659 33554432000 4194304 4964800 140736393673040 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=703484 CPUtime=36.18 cores=0-7
/proc/28723/task/28728/stat : 28728 (claspmt) R 28721 28723 28697 0 -1 4202560 12917 0 0 0 3611 7 0 0 25 0 8 0 740781653 720367616 124659 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=703484 CPUtime=37.4 cores=0-7
/proc/28723/task/28729/stat : 28729 (claspmt) R 28721 28723 28697 0 -1 4202560 7140 0 0 0 3738 2 0 0 25 0 8 0 740781653 720367616 124659 33554432000 4194304 4964800 140736393673040 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=703484 CPUtime=36.2 cores=0-7
/proc/28723/task/28730/stat : 28730 (claspmt) R 28721 28723 28697 0 -1 4202560 14356 0 0 0 3613 7 0 0 25 0 8 0 740781653 720367616 124659 33554432000 4194304 4964800 140736393673040 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=703484 CPUtime=35.7 cores=0-7
/proc/28723/task/28731/stat : 28731 (claspmt) R 28721 28723 28697 0 -1 4202560 27801 0 0 0 3548 22 0 0 25 0 8 0 740781653 720367616 124659 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 303.8
Current children cumulated vsize (KiB) 703484

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

[startup+51.2014 s]
/proc/loadavg: 6.93 7.64 7.89 9/426 28732
/proc/meminfo: memFree=13222784/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=703484 CPUtime=304.6 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 127842 0 0 0 30386 74 0 0 25 0 8 0 740780295 720367616 124727 33554432000 4194304 4964800 140736393673040 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28723/statm: 175871 124727 466 189 0 170220 0
[pid=28723/tid=28725] ppid=28721 vsize=703484 CPUtime=36.28 cores=0-7
/proc/28723/task/28725/stat : 28725 (claspmt) R 28721 28723 28697 0 -1 4202560 10195 0 0 0 3621 7 0 0 25 0 8 0 740781653 720367616 124727 33554432000 4194304 4964800 140736393673040 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=703484 CPUtime=36.28 cores=0-7
/proc/28723/task/28726/stat : 28726 (claspmt) R 28721 28723 28697 0 -1 4202560 14536 0 0 0 3618 10 0 0 25 0 8 0 740781653 720367616 124727 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=703484 CPUtime=36.28 cores=0-7
/proc/28723/task/28727/stat : 28727 (claspmt) R 28721 28723 28697 0 -1 4202560 16090 0 0 0 3621 7 0 0 25 0 8 0 740781653 720367616 124727 33554432000 4194304 4964800 140736393673040 18446744073709551615 4660458 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=703484 CPUtime=36.28 cores=0-7
/proc/28723/task/28728/stat : 28728 (claspmt) R 28721 28723 28697 0 -1 4202560 12917 0 0 0 3621 7 0 0 25 0 8 0 740781653 720367616 124727 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=703484 CPUtime=37.5 cores=0-7
/proc/28723/task/28729/stat : 28729 (claspmt) R 28721 28723 28697 0 -1 4202560 7140 0 0 0 3748 2 0 0 25 0 8 0 740781653 720367616 124727 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=703484 CPUtime=36.3 cores=0-7
/proc/28723/task/28730/stat : 28730 (claspmt) R 28721 28723 28697 0 -1 4202560 14356 0 0 0 3623 7 0 0 25 0 8 0 740781653 720367616 124727 33554432000 4194304 4964800 140736393673040 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=703484 CPUtime=35.8 cores=0-7
/proc/28723/task/28731/stat : 28731 (claspmt) R 28721 28723 28697 0 -1 4202560 27855 0 0 0 3558 22 0 0 25 0 8 0 740781653 720367616 124727 33554432000 4194304 4964800 140736393673040 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 304.6
Current children cumulated vsize (KiB) 703484

[startup+76.8009 s]
/proc/loadavg: 7.38 7.69 7.90 9/426 28733
/proc/meminfo: memFree=13158180/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=971268 CPUtime=509.03 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 144144 0 0 0 50817 86 0 0 25 0 8 0 740780295 994578432 141024 33554432000 4194304 4964800 140736393673040 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28723/statm: 242817 141024 466 189 0 237166 0
[pid=28723/tid=28725] ppid=28721 vsize=971268 CPUtime=61.87 cores=0-7
/proc/28723/task/28725/stat : 28725 (claspmt) R 28721 28723 28697 0 -1 4202560 10847 0 0 0 6179 8 0 0 25 0 8 0 740781653 994578432 141024 33554432000 4194304 4964800 140736393673040 18446744073709551615 4346000 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=971268 CPUtime=61.89 cores=0-7
/proc/28723/task/28726/stat : 28726 (claspmt) R 28721 28723 28697 0 -1 4202560 15743 0 0 0 6178 11 0 0 25 0 8 0 740781653 994578432 141024 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=971268 CPUtime=61.88 cores=0-7
/proc/28723/task/28727/stat : 28727 (claspmt) R 28721 28723 28697 0 -1 4202560 17466 0 0 0 6179 9 0 0 25 0 8 0 740781653 994578432 141024 33554432000 4194304 4964800 140736393673040 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=971268 CPUtime=61.88 cores=0-7
/proc/28723/task/28728/stat : 28728 (claspmt) R 28721 28723 28697 0 -1 4202560 15946 0 0 0 6179 9 0 0 25 0 8 0 740781653 994578432 141024 33554432000 4194304 4964800 140736393673040 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=971268 CPUtime=63.1 cores=0-7
/proc/28723/task/28729/stat : 28729 (claspmt) R 28721 28723 28697 0 -1 4202560 7249 0 0 0 6308 2 0 0 25 0 8 0 740781653 994578432 141024 33554432000 4194304 4964800 140736393673040 18446744073709551615 4627526 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=971268 CPUtime=61.89 cores=0-7
/proc/28723/task/28730/stat : 28730 (claspmt) R 28721 28723 28697 0 -1 4202560 15158 0 0 0 6182 7 0 0 25 0 8 0 740781653 994578432 141024 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=971268 CPUtime=61.06 cores=0-7
/proc/28723/task/28731/stat : 28731 (claspmt) R 28721 28723 28697 0 -1 4202560 34218 0 0 0 6079 27 0 0 25 0 8 0 740781653 994578432 141024 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 509.03
Current children cumulated vsize (KiB) 971268

[startup+89.6007 s]
/proc/loadavg: 7.51 7.70 7.90 9/426 28733
/proc/meminfo: memFree=13123580/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=974016 CPUtime=611.22 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 152559 0 0 0 61026 96 0 0 25 0 8 0 740780295 997392384 149439 33554432000 4194304 4964800 140736393673040 18446744073709551615 4320996 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28723/statm: 243504 149439 466 189 0 237853 0
[pid=28723/tid=28725] ppid=28721 vsize=974016 CPUtime=74.66 cores=0-7
/proc/28723/task/28725/stat : 28725 (claspmt) R 28721 28723 28697 0 -1 4202560 11649 0 0 0 7457 9 0 0 25 0 8 0 740781653 997392384 149439 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=974016 CPUtime=74.68 cores=0-7
/proc/28723/task/28726/stat : 28726 (claspmt) R 28721 28723 28697 0 -1 4202560 16727 0 0 0 7457 11 0 0 25 0 8 0 740781653 997392384 149439 33554432000 4194304 4964800 140736393673040 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=974016 CPUtime=74.68 cores=0-7
/proc/28723/task/28727/stat : 28727 (claspmt) R 28721 28723 28697 0 -1 4202560 18084 0 0 0 7457 11 0 0 18 0 8 0 740781653 997392384 149439 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=974016 CPUtime=74.68 cores=0-7
/proc/28723/task/28728/stat : 28728 (claspmt) R 28721 28723 28697 0 -1 4202560 17086 0 0 0 7458 10 0 0 25 0 8 0 740781653 997392384 149439 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=974016 CPUtime=75.9 cores=0-7
/proc/28723/task/28729/stat : 28729 (claspmt) R 28721 28723 28697 0 -1 4202560 8614 0 0 0 7587 3 0 0 25 0 8 0 740781653 997392384 149439 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=974016 CPUtime=74.69 cores=0-7
/proc/28723/task/28730/stat : 28730 (claspmt) R 28721 28723 28697 0 -1 4202560 15368 0 0 0 7461 8 0 0 25 0 8 0 740781653 997392384 149439 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=974016 CPUtime=73.67 cores=0-7
/proc/28723/task/28731/stat : 28731 (claspmt) R 28721 28723 28697 0 -1 4202560 36933 0 0 0 7337 30 0 0 25 0 8 0 740781653 997392384 149439 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670134 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 611.22
Current children cumulated vsize (KiB) 974016

[startup+96.0006 s]
/proc/loadavg: 7.55 7.70 7.90 9/426 28733
/proc/meminfo: memFree=13110432/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=978056 CPUtime=662.33 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 155382 0 0 0 66135 98 0 0 25 0 8 0 740780295 1001529344 152262 33554432000 4194304 4964800 140736393673040 18446744073709551615 4342208 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28723/statm: 244514 152262 466 189 0 238863 0
[pid=28723/tid=28725] ppid=28721 vsize=978056 CPUtime=81.06 cores=0-7
/proc/28723/task/28725/stat : 28725 (claspmt) R 28721 28723 28697 0 -1 4202560 11745 0 0 0 8097 9 0 0 25 0 8 0 740781653 1001529344 152262 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=978056 CPUtime=81.09 cores=0-7
/proc/28723/task/28726/stat : 28726 (claspmt) R 28721 28723 28697 0 -1 4202560 17542 0 0 0 8097 12 0 0 25 0 8 0 740781653 1001529344 152262 33554432000 4194304 4964800 140736393673040 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=978056 CPUtime=81.08 cores=0-7
/proc/28723/task/28727/stat : 28727 (claspmt) R 28721 28723 28697 0 -1 4202560 18121 0 0 0 8097 11 0 0 25 0 8 0 740781653 1001529344 152262 33554432000 4194304 4964800 140736393673040 18446744073709551615 4321013 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=978056 CPUtime=81.08 cores=0-7
/proc/28723/task/28728/stat : 28728 (claspmt) R 28721 28723 28697 0 -1 4202560 17412 0 0 0 8098 10 0 0 25 0 8 0 740781653 1001529344 152262 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=978056 CPUtime=82.3 cores=0-7
/proc/28723/task/28729/stat : 28729 (claspmt) R 28721 28723 28697 0 -1 4202560 8791 0 0 0 8226 4 0 0 25 0 8 0 740781653 1001529344 152262 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=978056 CPUtime=81.09 cores=0-7
/proc/28723/task/28730/stat : 28730 (claspmt) R 28721 28723 28697 0 -1 4202560 15513 0 0 0 8101 8 0 0 25 0 8 0 740781653 1001529344 152262 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=978056 CPUtime=79.98 cores=0-7
/proc/28723/task/28731/stat : 28731 (claspmt) R 28721 28723 28697 0 -1 4202560 37698 0 0 0 7967 31 0 0 25 0 8 0 740781653 1001529344 152262 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 662.33
Current children cumulated vsize (KiB) 978056

[startup+97.6013 s]
/proc/loadavg: 7.55 7.70 7.90 9/426 28733
/proc/meminfo: memFree=13108448/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=978056 CPUtime=675.12 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 155822 0 0 0 67413 99 0 0 25 0 8 0 740780295 1001529344 152690 33554432000 4194304 4964800 140736393673040 18446744073709551615 4642167 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28723/statm: 244514 152690 466 189 0 238863 0
[pid=28723/tid=28725] ppid=28721 vsize=978056 CPUtime=82.65 cores=0-7
/proc/28723/task/28725/stat : 28725 (claspmt) R 28721 28723 28697 0 -1 4202560 11790 0 0 0 8256 9 0 0 25 0 8 0 740781653 1001529344 152690 33554432000 4194304 4964800 140736393673040 18446744073709551615 4653328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=978056 CPUtime=82.69 cores=0-7
/proc/28723/task/28726/stat : 28726 (claspmt) R 28721 28723 28697 0 -1 4202560 17920 0 0 0 8257 12 0 0 25 0 8 0 740781653 1001529344 152690 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=978056 CPUtime=82.68 cores=0-7
/proc/28723/task/28727/stat : 28727 (claspmt) R 28721 28723 28697 0 -1 4202560 18121 0 0 0 8257 11 0 0 25 0 8 0 740781653 1001529344 152690 33554432000 4194304 4964800 140736393673040 18446744073709551615 4669386 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=978056 CPUtime=82.68 cores=0-7
/proc/28723/task/28728/stat : 28728 (claspmt) R 28721 28723 28697 0 -1 4202560 17413 0 0 0 8258 10 0 0 25 0 8 0 740781653 1001529344 152690 33554432000 4194304 4964800 140736393673040 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=978056 CPUtime=83.9 cores=0-7
/proc/28723/task/28729/stat : 28729 (claspmt) R 28721 28723 28697 0 -1 4202560 8798 0 0 0 8386 4 0 0 25 0 8 0 740781653 1001529344 152690 33554432000 4194304 4964800 140736393673040 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=978056 CPUtime=82.69 cores=0-7
/proc/28723/task/28730/stat : 28730 (claspmt) R 28721 28723 28697 0 -1 4202560 15521 0 0 0 8261 8 0 0 25 0 8 0 740781653 1001529344 152690 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=978056 CPUtime=81.57 cores=0-7
/proc/28723/task/28731/stat : 28731 (claspmt) R 28721 28723 28697 0 -1 4202560 37699 0 0 0 8126 31 0 0 25 0 8 0 740781653 1001529344 152690 33554432000 4194304 4964800 140736393673040 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 675.12
Current children cumulated vsize (KiB) 978056

[startup+99.201 s]
/proc/loadavg: 7.59 7.71 7.90 9/426 28733
/proc/meminfo: memFree=13108324/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=978056 CPUtime=687.89 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 155926 0 0 0 68690 99 0 0 25 0 8 0 740780295 1001529344 152794 33554432000 4194304 4964800 140736393673040 18446744073709551615 4321025 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28723/statm: 244514 152794 466 189 0 238863 0
[pid=28723/tid=28725] ppid=28721 vsize=978056 CPUtime=84.25 cores=0-7
/proc/28723/task/28725/stat : 28725 (claspmt) R 28721 28723 28697 0 -1 4202560 11790 0 0 0 8416 9 0 0 25 0 8 0 740781653 1001529344 152794 33554432000 4194304 4964800 140736393673040 18446744073709551615 4632331 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=978056 CPUtime=84.29 cores=0-7
/proc/28723/task/28726/stat : 28726 (claspmt) R 28721 28723 28697 0 -1 4202560 17995 0 0 0 8417 12 0 0 25 0 8 0 740781653 1001529344 152794 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=978056 CPUtime=84.28 cores=0-7
/proc/28723/task/28727/stat : 28727 (claspmt) R 28721 28723 28697 0 -1 4202560 18121 0 0 0 8417 11 0 0 25 0 8 0 740781653 1001529344 152794 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=978056 CPUtime=84.28 cores=0-7
/proc/28723/task/28728/stat : 28728 (claspmt) R 28721 28723 28697 0 -1 4202560 17413 0 0 0 8418 10 0 0 25 0 8 0 740781653 1001529344 152794 33554432000 4194304 4964800 140736393673040 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=978056 CPUtime=85.5 cores=0-7
/proc/28723/task/28729/stat : 28729 (claspmt) R 28721 28723 28697 0 -1 4202560 8816 0 0 0 8546 4 0 0 25 0 8 0 740781653 1001529344 152794 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=978056 CPUtime=84.29 cores=0-7
/proc/28723/task/28730/stat : 28730 (claspmt) R 28721 28723 28697 0 -1 4202560 15522 0 0 0 8421 8 0 0 25 0 8 0 740781653 1001529344 152794 33554432000 4194304 4964800 140736393673040 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=978056 CPUtime=83.14 cores=0-7
/proc/28723/task/28731/stat : 28731 (claspmt) R 28721 28723 28697 0 -1 4202560 37709 0 0 0 8283 31 0 0 25 0 8 0 740781653 1001529344 152794 33554432000 4194304 4964800 140736393673040 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 687.89
Current children cumulated vsize (KiB) 978056

[startup+100.001 s]
/proc/loadavg: 7.59 7.71 7.90 9/426 28733
/proc/meminfo: memFree=13108324/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=978056 CPUtime=694.29 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 155982 0 0 0 69330 99 0 0 25 0 8 0 740780295 1001529344 152850 33554432000 4194304 4964800 140736393673040 18446744073709551615 4653507 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28723/statm: 244514 152850 466 189 0 238863 0
[pid=28723/tid=28725] ppid=28721 vsize=978056 CPUtime=85.05 cores=0-7
/proc/28723/task/28725/stat : 28725 (claspmt) R 28721 28723 28697 0 -1 4202560 11790 0 0 0 8496 9 0 0 25 0 8 0 740781653 1001529344 152850 33554432000 4194304 4964800 140736393673040 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28723/tid=28726] ppid=28721 vsize=978056 CPUtime=85.08 cores=0-7
/proc/28723/task/28726/stat : 28726 (claspmt) R 28721 28723 28697 0 -1 4202560 18030 0 0 0 8496 12 0 0 25 0 8 0 740781653 1001529344 152850 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28723/tid=28727] ppid=28721 vsize=978056 CPUtime=85.08 cores=0-7
/proc/28723/task/28727/stat : 28727 (claspmt) R 28721 28723 28697 0 -1 4202560 18121 0 0 0 8497 11 0 0 25 0 8 0 740781653 1001529344 152850 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28723/tid=28728] ppid=28721 vsize=978056 CPUtime=85.08 cores=0-7
/proc/28723/task/28728/stat : 28728 (claspmt) R 28721 28723 28697 0 -1 4202560 17413 0 0 0 8498 10 0 0 25 0 8 0 740781653 1001529344 152850 33554432000 4194304 4964800 140736393673040 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28723/tid=28729] ppid=28721 vsize=978056 CPUtime=86.3 cores=0-7
/proc/28723/task/28729/stat : 28729 (claspmt) R 28721 28723 28697 0 -1 4202560 8827 0 0 0 8626 4 0 0 25 0 8 0 740781653 1001529344 152850 33554432000 4194304 4964800 140736393673040 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28723/tid=28730] ppid=28721 vsize=978056 CPUtime=85.09 cores=0-7
/proc/28723/task/28730/stat : 28730 (claspmt) R 28721 28723 28697 0 -1 4202560 15522 0 0 0 8501 8 0 0 25 0 8 0 740781653 1001529344 152850 33554432000 4194304 4964800 140736393673040 18446744073709551615 4325338 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28723/tid=28731] ppid=28721 vsize=978056 CPUtime=83.94 cores=0-7
/proc/28723/task/28731/stat : 28731 (claspmt) R 28721 28723 28697 0 -1 4202560 37709 0 0 0 8363 31 0 0 25 0 8 0 740781653 1001529344 152850 33554432000 4194304 4964800 140736393673040 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 694.29
Current children cumulated vsize (KiB) 978056

[startup+100.401 s]
/proc/loadavg: 7.59 7.71 7.90 9/426 28733
/proc/meminfo: memFree=13107704/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=976752 CPUtime=696.57 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 155997 0 0 0 69558 99 0 0 25 0 1 0 740780295 1000194048 152539 33554432000 4194304 4964800 140736393673040 18446744073709551615 4628808 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 244188 152539 476 189 0 238537 0
Current children cumulated CPU time (s) 696.57
Current children cumulated vsize (KiB) 976752

[startup+100.501 s]
/proc/loadavg: 7.59 7.71 7.90 9/426 28733
/proc/meminfo: memFree=13107704/32951124 swapFree=65586204/67111528
[pid=28723] ppid=28721 vsize=976752 CPUtime=696.67 cores=0-7
/proc/28723/stat : 28723 (claspmt) R 28721 28723 28697 0 -1 4202496 155997 0 0 0 69568 99 0 0 25 0 1 0 740780295 1000194048 152539 33554432000 4194304 4964800 140736393673040 18446744073709551615 216734835249 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28723/statm: 244188 152539 476 189 0 238537 0
Current children cumulated CPU time (s) 696.67
Current children cumulated vsize (KiB) 976752

Child status: 10
Real time (s): 100.585
CPU time (s): 696.761
CPU user time (s): 695.737
CPU system time (s): 1.02384
CPU usage (%): 692.706
Max. virtual memory (cumulated for all children) (KiB): 978056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 695.737
system time used= 1.02384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155998
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= 27785
involuntary context switches= 3273

runsolver used 0.346947 second user time and 1.02684 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-16 02:24:56
IDJOB=3381129
IDBENCH=83436
IDSOLVER=1865
FILE ID=node119/3381129-1305505496
RUNJOBID= node119-1305505496-28711
PBS_JOBID= 13325498
Free space on /tmp= 73288 MiB

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

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1245141418

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13716480 kB
Buffers:        311868 kB
Cached:        4895128 kB
SwapCached:       4756 kB
Active:       15677904 kB
Inactive:      3208664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13716480 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           15964 kB
Writeback:           0 kB
AnonPages:    13678384 kB
Mapped:          33284 kB
Slab:           215368 kB
PageTables:      63476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120778480 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= 73284 MiB
End job on node119 at 2011-05-16 02:26:37