Trace number 3472483

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 697.813 42.6779

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3472483-1307771862/watcher-3472483-1307771862 -o /tmp/evaluation-result-3472483-1307771862/solver-3472483-1307771862 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472483-1307771862.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 32.18 32.08 32.07 1/413 7677
/proc/meminfo: memFree=262100712/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=25312 CPUtime=0.02 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 1717 0 0 0 2 0 0 0 21 0 1 0 42573145 25919488 1529 270582939648 4194304 4964800 140735811611216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7677/statm: 6328 1530 386 189 0 1202 0

[startup+0.124144 s]
/proc/loadavg: 32.18 32.08 32.07 1/413 7677
/proc/meminfo: memFree=262100712/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=36356 CPUtime=0.12 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 5184 0 0 0 11 1 0 0 21 0 1 0 42573145 37228544 4288 270582939648 4194304 4964800 140735811611216 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7677/statm: 9089 4290 386 189 0 3963 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 36356

[startup+0.201155 s]
/proc/loadavg: 32.18 32.08 32.07 1/413 7677
/proc/meminfo: memFree=262100712/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=45904 CPUtime=0.19 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 8354 0 0 0 17 2 0 0 21 0 1 0 42573145 47005696 6444 270582939648 4194304 4964800 140735811611216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7677/statm: 11509 6446 386 189 0 6383 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 45904

[startup+0.301155 s]
/proc/loadavg: 32.18 32.08 32.07 1/413 7677
/proc/meminfo: memFree=262100712/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=61272 CPUtime=0.29 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 12327 0 0 0 27 2 0 0 22 0 1 0 42573145 62742528 10317 270582939648 4194304 4964800 140735811611216 18446744073709551615 4615504 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7677/statm: 15318 10318 397 189 0 10192 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61272

[startup+0.701164 s]
/proc/loadavg: 32.18 32.08 32.07 1/413 7677
/proc/meminfo: memFree=262100712/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=68744 CPUtime=0.69 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 14106 0 0 0 67 2 0 0 23 0 1 0 42573145 70393856 12096 270582939648 4194304 4964800 140735811611216 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/7677/statm: 17186 12096 400 189 0 12060 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68744

[startup+1.5012 s]
/proc/loadavg: 32.18 32.08 32.07 2/414 7678
/proc/meminfo: memFree=262053220/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=68744 CPUtime=1.49 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 14106 0 0 0 147 2 0 0 25 0 1 0 42573145 70393856 12096 270582939648 4194304 4964800 140735811611216 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/7677/statm: 17186 12096 400 189 0 12060 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68744

[startup+3.10125 s]
/proc/loadavg: 32.18 32.08 32.07 2/414 7678
/proc/meminfo: memFree=262053252/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=68744 CPUtime=3.09 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 14106 0 0 0 307 2 0 0 25 0 1 0 42573145 70393856 12096 270582939648 4194304 4964800 140735811611216 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/7677/statm: 17186 12096 400 189 0 12060 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68744

[startup+6.30037 s]
/proc/loadavg: 29.69 31.57 31.90 2/414 7678
/proc/meminfo: memFree=262053412/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=68744 CPUtime=6.28 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 14106 0 0 0 626 2 0 0 25 0 1 0 42573145 70393856 12096 270582939648 4194304 4964800 140735811611216 18446744073709551615 4607644 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/7677/statm: 17186 12096 400 189 0 12060 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 68744

[startup+12.7006 s]
/proc/loadavg: 27.39 31.06 31.73 2/414 7678
/proc/meminfo: memFree=262055824/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=68744 CPUtime=12.68 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 14106 0 0 0 1266 2 0 0 25 0 1 0 42573145 70393856 12096 270582939648 4194304 4964800 140735811611216 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/7677/statm: 17186 12096 400 189 0 12060 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 68744

[startup+25.5019 s]
/proc/loadavg: 24.25 30.15 31.42 33/445 7710
/proc/meminfo: memFree=261097196/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=1531136 CPUtime=208.01 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 258099 0 0 0 19757 1044 0 0 20 0 32 0 42573145 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/7677/statm: 382784 253511 461 189 0 377133 0
[pid=7677/tid=7679] ppid=7675 vsize=1531136 CPUtime=5.78 cores=0-31
/proc/7677/task/7679/stat : 7679 (claspmt) R 7675 7677 7499 0 -1 4202560 6578 0 0 0 545 33 0 0 18 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7677/tid=7680] ppid=7675 vsize=1531136 CPUtime=5.81 cores=0-31
/proc/7677/task/7680/stat : 7680 (claspmt) R 7675 7677 7499 0 -1 4202560 7556 0 0 0 543 38 0 0 22 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7677/tid=7681] ppid=7675 vsize=1531136 CPUtime=5.77 cores=0-31
/proc/7677/task/7681/stat : 7681 (claspmt) R 7675 7677 7499 0 -1 4202560 7073 0 0 0 547 30 0 0 18 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7677/tid=7682] ppid=7675 vsize=1531136 CPUtime=5.77 cores=0-31
/proc/7677/task/7682/stat : 7682 (claspmt) R 7675 7677 7499 0 -1 4202560 6359 0 0 0 547 30 0 0 19 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4370381 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7677/tid=7683] ppid=7675 vsize=1531136 CPUtime=7.57 cores=0-31
/proc/7677/task/7683/stat : 7683 (claspmt) R 7675 7677 7499 0 -1 4202560 8445 0 0 0 726 31 0 0 25 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7677/tid=7684] ppid=7675 vsize=1531136 CPUtime=5.75 cores=0-31
/proc/7677/task/7684/stat : 7684 (claspmt) R 7675 7677 7499 0 -1 4202560 7493 0 0 0 544 31 0 0 25 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7677/tid=7685] ppid=7675 vsize=1531136 CPUtime=5.79 cores=0-31
/proc/7677/task/7685/stat : 7685 (claspmt) R 7675 7677 7499 0 -1 4202560 8105 0 0 0 540 39 0 0 20 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7677/tid=7686] ppid=7675 vsize=1531136 CPUtime=5.83 cores=0-31
/proc/7677/task/7686/stat : 7686 (claspmt) R 7675 7677 7499 0 -1 4202560 6877 0 0 0 544 39 0 0 19 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7677/tid=7687] ppid=7675 vsize=1531136 CPUtime=5.77 cores=0-31
/proc/7677/task/7687/stat : 7687 (claspmt) R 7675 7677 7499 0 -1 4202560 6664 0 0 0 546 31 0 0 18 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4629408 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7677/tid=7688] ppid=7675 vsize=1531136 CPUtime=5.78 cores=0-31
/proc/7677/task/7688/stat : 7688 (claspmt) R 7675 7677 7499 0 -1 4202560 8296 0 0 0 542 36 0 0 18 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7677/tid=7689] ppid=7675 vsize=1531136 CPUtime=5.78 cores=0-31
/proc/7677/task/7689/stat : 7689 (claspmt) R 7675 7677 7499 0 -1 4202560 10367 0 0 0 543 35 0 0 18 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7677/tid=7690] ppid=7675 vsize=1531136 CPUtime=5.78 cores=0-31
/proc/7677/task/7690/stat : 7690 (claspmt) R 7675 7677 7499 0 -1 4202560 7222 0 0 0 548 30 0 0 19 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7677/tid=7691] ppid=7675 vsize=1531136 CPUtime=7.56 cores=0-31
/proc/7677/task/7691/stat : 7691 (claspmt) R 7675 7677 7499 0 -1 4202560 8499 0 0 0 723 33 0 0 25 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7677/tid=7692] ppid=7675 vsize=1531136 CPUtime=5.76 cores=0-31
/proc/7677/task/7692/stat : 7692 (claspmt) R 7675 7677 7499 0 -1 4202560 8196 0 0 0 541 35 0 0 23 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7677/tid=7693] ppid=7675 vsize=1531136 CPUtime=5.74 cores=0-31
/proc/7677/task/7693/stat : 7693 (claspmt) R 7675 7677 7499 0 -1 4202560 8264 0 0 0 542 32 0 0 19 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7677/tid=7694] ppid=7675 vsize=1531136 CPUtime=5.78 cores=0-31
/proc/7677/task/7694/stat : 7694 (claspmt) R 7675 7677 7499 0 -1 4202560 6709 0 0 0 547 31 0 0 20 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4658618 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=7677/tid=7695] ppid=7675 vsize=1531136 CPUtime=5.76 cores=0-31
/proc/7677/task/7695/stat : 7695 (claspmt) R 7675 7677 7499 0 -1 4202560 7472 0 0 0 545 31 0 0 25 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7677/tid=7696] ppid=7675 vsize=1531136 CPUtime=5.79 cores=0-31
/proc/7677/task/7696/stat : 7696 (claspmt) R 7675 7677 7499 0 -1 4202560 7496 0 0 0 544 35 0 0 19 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7677/tid=7697] ppid=7675 vsize=1531136 CPUtime=5.61 cores=0-31
/proc/7677/task/7697/stat : 7697 (claspmt) R 7675 7677 7499 0 -1 4202560 7100 0 0 0 532 29 0 0 20 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7677/tid=7698] ppid=7675 vsize=1531136 CPUtime=5.79 cores=0-31
/proc/7677/task/7698/stat : 7698 (claspmt) R 7675 7677 7499 0 -1 4202560 7091 0 0 0 545 34 0 0 23 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4684729 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7677/tid=7699] ppid=7675 vsize=1531136 CPUtime=7.56 cores=0-31
/proc/7677/task/7699/stat : 7699 (claspmt) R 7675 7677 7499 0 -1 4202560 8136 0 0 0 728 28 0 0 25 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7677/tid=7701] ppid=7675 vsize=1531136 CPUtime=5.78 cores=0-31
/proc/7677/task/7701/stat : 7701 (claspmt) R 7675 7677 7499 0 -1 4202560 9831 0 0 0 546 32 0 0 19 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4321105 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7677/tid=7702] ppid=7675 vsize=1531136 CPUtime=5.76 cores=0-31
/proc/7677/task/7702/stat : 7702 (claspmt) R 7675 7677 7499 0 -1 4202560 8127 0 0 0 540 36 0 0 22 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4360553 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7677/tid=7703] ppid=7675 vsize=1531136 CPUtime=5.75 cores=0-31
/proc/7677/task/7703/stat : 7703 (claspmt) R 7675 7677 7499 0 -1 4202560 6510 0 0 0 546 29 0 0 19 0 32 0 42574780 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4370301 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7677/tid=7704] ppid=7675 vsize=1531136 CPUtime=5.76 cores=0-31
/proc/7677/task/7704/stat : 7704 (claspmt) R 7675 7677 7499 0 -1 4202560 7035 0 0 0 545 31 0 0 22 0 32 0 42574781 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4631090 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7677/tid=7705] ppid=7675 vsize=1531136 CPUtime=5.82 cores=0-31
/proc/7677/task/7705/stat : 7705 (claspmt) R 7675 7677 7499 0 -1 4202560 7696 0 0 0 544 38 0 0 21 0 32 0 42574781 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7677/tid=7706] ppid=7675 vsize=1531136 CPUtime=5.77 cores=0-31
/proc/7677/task/7706/stat : 7706 (claspmt) R 7675 7677 7499 0 -1 4202560 6788 0 0 0 544 33 0 0 25 0 32 0 42574781 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7677/tid=7707] ppid=7675 vsize=1531136 CPUtime=5.77 cores=0-31
/proc/7677/task/7707/stat : 7707 (claspmt) R 7675 7677 7499 0 -1 4202560 6627 0 0 0 545 32 0 0 22 0 32 0 42574781 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7677/tid=7708] ppid=7675 vsize=1531136 CPUtime=7.56 cores=0-31
/proc/7677/task/7708/stat : 7708 (claspmt) R 7675 7677 7499 0 -1 4202560 7948 0 0 0 728 28 0 0 25 0 32 0 42574781 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670387 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7677/tid=7709] ppid=7675 vsize=1531136 CPUtime=5.8 cores=0-31
/proc/7677/task/7709/stat : 7709 (claspmt) R 7675 7677 7499 0 -1 4202560 9957 0 0 0 544 36 0 0 20 0 32 0 42574781 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7677/tid=7710] ppid=7675 vsize=1531136 CPUtime=5.76 cores=0-31
/proc/7677/task/7710/stat : 7710 (claspmt) R 7675 7677 7499 0 -1 4202560 8072 0 0 0 540 36 0 0 19 0 32 0 42574781 1567883264 253511 270582939648 4194304 4964800 140735811611216 18446744073709551615 4365728 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 208.01
Current children cumulated vsize (KiB) 1531136

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

[startup+25.6019 s]
/proc/loadavg: 24.25 30.15 31.42 33/445 7710
/proc/meminfo: memFree=261097196/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=1531136 CPUtime=211.2 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 258407 0 0 0 20076 1044 0 0 20 0 32 0 42573145 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/7677/statm: 382784 253819 461 189 0 377133 0
[pid=7677/tid=7679] ppid=7675 vsize=1531136 CPUtime=5.88 cores=0-31
/proc/7677/task/7679/stat : 7679 (claspmt) R 7675 7677 7499 0 -1 4202560 6578 0 0 0 555 33 0 0 18 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7677/tid=7680] ppid=7675 vsize=1531136 CPUtime=5.91 cores=0-31
/proc/7677/task/7680/stat : 7680 (claspmt) R 7675 7677 7499 0 -1 4202560 7562 0 0 0 553 38 0 0 23 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7677/tid=7681] ppid=7675 vsize=1531136 CPUtime=5.87 cores=0-31
/proc/7677/task/7681/stat : 7681 (claspmt) R 7675 7677 7499 0 -1 4202560 7074 0 0 0 557 30 0 0 18 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4342167 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7677/tid=7682] ppid=7675 vsize=1531136 CPUtime=5.87 cores=0-31
/proc/7677/task/7682/stat : 7682 (claspmt) R 7675 7677 7499 0 -1 4202560 6359 0 0 0 557 30 0 0 19 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7677/tid=7683] ppid=7675 vsize=1531136 CPUtime=7.67 cores=0-31
/proc/7677/task/7683/stat : 7683 (claspmt) R 7675 7677 7499 0 -1 4202560 8445 0 0 0 736 31 0 0 25 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7677/tid=7684] ppid=7675 vsize=1531136 CPUtime=5.85 cores=0-31
/proc/7677/task/7684/stat : 7684 (claspmt) R 7675 7677 7499 0 -1 4202560 7493 0 0 0 554 31 0 0 25 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7677/tid=7685] ppid=7675 vsize=1531136 CPUtime=5.89 cores=0-31
/proc/7677/task/7685/stat : 7685 (claspmt) R 7675 7677 7499 0 -1 4202560 8108 0 0 0 550 39 0 0 20 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7677/tid=7686] ppid=7675 vsize=1531136 CPUtime=5.93 cores=0-31
/proc/7677/task/7686/stat : 7686 (claspmt) R 7675 7677 7499 0 -1 4202560 6877 0 0 0 554 39 0 0 19 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7677/tid=7687] ppid=7675 vsize=1531136 CPUtime=5.87 cores=0-31
/proc/7677/task/7687/stat : 7687 (claspmt) R 7675 7677 7499 0 -1 4202560 6670 0 0 0 556 31 0 0 18 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7677/tid=7688] ppid=7675 vsize=1531136 CPUtime=5.88 cores=0-31
/proc/7677/task/7688/stat : 7688 (claspmt) R 7675 7677 7499 0 -1 4202560 8302 0 0 0 552 36 0 0 18 0 32 0 42574780 1567883264 253819 270582939648 4194304 4964800 140735811611216 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7677/tid=7689] ppid=7675 vsize=1531136 CPUtime=5.88 cores=0-31

################
# More data... #
################

Current children cumulated vsize (KiB) 1540264

[startup+38.4014 s]
/proc/loadavg: 25.44 30.21 31.43 33/445 7710
/proc/meminfo: memFree=260804300/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=1940644 CPUtime=619.57 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 337283 0 0 0 60702 1255 0 0 22 0 32 0 42573145 1987219456 332695 270582939648 4194304 4964800 140735811611216 18446744073709551615 4669476 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/7677/statm: 485161 332696 463 189 0 479510 0
[pid=7677/tid=7679] ppid=7675 vsize=1940644 CPUtime=18.66 cores=0-31
/proc/7677/task/7679/stat : 7679 (claspmt) R 7675 7677 7499 0 -1 4202560 7965 0 0 0 1829 37 0 0 18 0 32 0 42574780 1987219456 332696 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7677/tid=7680] ppid=7675 vsize=1940644 CPUtime=18.68 cores=0-31
/proc/7677/task/7680/stat : 7680 (claspmt) R 7675 7677 7499 0 -1 4202560 10877 0 0 0 1822 46 0 0 21 0 32 0 42574780 1987219456 332696 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7677/tid=7681] ppid=7675 vsize=1940644 CPUtime=18.55 cores=0-31
/proc/7677/task/7681/stat : 7681 (claspmt) R 7675 7677 7499 0 -1 4202560 9334 0 0 0 1819 36 0 0 25 0 32 0 42574780 1987219456 332696 270582939648 4194304 4964800 140735811611216 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7677/tid=7682] ppid=7675 vsize=1940644 CPUtime=18.64 cores=0-31
/proc/7677/task/7682/stat : 7682 (claspmt) R 7675 7677 7499 0 -1 4202560 9949 0 0 0 1827 37 0 0 25 0 32 0 42574780 1987219456 332696 270582939648 4194304 4964800 140735811611216 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7677/tid=7683] ppid=7675 vsize=1940644 CPUtime=20.47 cores=0-31
/proc/7677/task/7683/stat : 7683 (claspmt) R 7675 7677 7499 0 -1 4202560 8487 0 0 0 2016 31 0 0 25 0 32 0 42574780 1987219456 332696 270582939648 4194304 4964800 140735811611216 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7677/tid=7684] ppid=7675 vsize=1940644 CPUtime=18.62 cores=0-31
/proc/7677/task/7684/stat : 7684 (claspmt) R 7675 7677 7499 0 -1 4202560 9666 0 0 0 1826 36 0 0 25 0 32 0 42574780 1987219456 332696 270582939648 4194304 4964800 140735811611216 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7677/tid=7685] ppid=7675 vsize=1940644 CPUtime=18.64 cores=0-31
/proc/7677/task/7685/stat : 7685 (claspmt) R 7675 7677 7499 0 -1 4202560 13286 0 0 0 1808 56 0 0 18 0 32 0 42574780 1987219456 332696 270582939648 4194304 4964800 140735811611216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7677/tid=7686] ppid=7675 vsize=1940644 CPUtime=18.71 cores=0-31
/proc/7677/task/7686/stat : 7686 (claspmt) R 7675 7677 7499 0 -1 4202560 8287 0 0 0 1827 44 0 0 25 0 32 0 42574780 1987219456 332696 270582939648 4194304 4964800 140735811611216 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7677/tid=7687] ppid=7675 vsize=1940644 CPUtime=18.66 cores=0-31
/proc/7677/task/7687/stat : 7687 (claspmt) R 7675 7677 7499 0 -1 4202560 8108 0 0 0 1832 34 0 0 18 0 32 0 42574780 1987219456 332697 270582939648 4194304 4964800 140735811611216 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7677/tid=7688] ppid=7675 vsize=1940644 CPUtime=18.65 cores=0-31
/proc/7677/task/7688/stat : 7688 (claspmt) R 7675 7677 7499 0 -1 4202560 11131 0 0 0 1821 44 0 0 23 0 32 0 42574780 1987219456 332697 270582939648 4194304 4964800 140735811611216 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7677/tid=7689] ppid=7675 vsize=1940644 CPUtime=18.67 cores=0-31
/proc/7677/task/7689/stat : 7689 (claspmt) R 7675 7677 7499 0 -1 4202560 12742 0 0 0 1827 40 0 0 25 0 32 0 42574780 1987219456 332697 270582939648 4194304 4964800 140735811611216 18446744073709551615 4660352 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7677/tid=7690] ppid=7675 vsize=1940644 CPUtime=18.66 cores=0-31
/proc/7677/task/7690/stat : 7690 (claspmt) R 7675 7677 7499 0 -1 4202560 9434 0 0 0 1830 36 0 0 25 0 32 0 42574780 1987219456 332697 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7677/tid=7691] ppid=7675 vsize=1940644 CPUtime=20.45 cores=0-31
/proc/7677/task/7691/stat : 7691 (claspmt) R 7675 7677 7499 0 -1 4202560 8539 0 0 0 2012 33 0 0 18 0 32 0 42574780 1987219456 332697 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7677/tid=7692] ppid=7675 vsize=1940644 CPUtime=18.62 cores=0-31
/proc/7677/task/7692/stat : 7692 (claspmt) R 7675 7677 7499 0 -1 4202560 10562 0 0 0 1821 41 0 0 21 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7677/tid=7693] ppid=7675 vsize=1940644 CPUtime=18.58 cores=0-31
/proc/7677/task/7693/stat : 7693 (claspmt) R 7675 7677 7499 0 -1 4202560 13104 0 0 0 1812 46 0 0 20 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4687052 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7677/tid=7694] ppid=7675 vsize=1940644 CPUtime=18.65 cores=0-31
/proc/7677/task/7694/stat : 7694 (claspmt) R 7675 7677 7499 0 -1 4202560 8155 0 0 0 1829 36 0 0 20 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4627878 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=7677/tid=7695] ppid=7675 vsize=1940644 CPUtime=18.63 cores=0-31
/proc/7677/task/7695/stat : 7695 (claspmt) R 7675 7677 7499 0 -1 4202560 10367 0 0 0 1828 35 0 0 25 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7677/tid=7696] ppid=7675 vsize=1940644 CPUtime=18.65 cores=0-31
/proc/7677/task/7696/stat : 7696 (claspmt) R 7675 7677 7499 0 -1 4202560 10672 0 0 0 1820 45 0 0 25 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7677/tid=7697] ppid=7675 vsize=1940644 CPUtime=18.4 cores=0-31
/proc/7677/task/7697/stat : 7697 (claspmt) R 7675 7677 7499 0 -1 4202560 9389 0 0 0 1806 34 0 0 22 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670282 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7677/tid=7698] ppid=7675 vsize=1940644 CPUtime=18.66 cores=0-31
/proc/7677/task/7698/stat : 7698 (claspmt) R 7675 7677 7499 0 -1 4202560 12356 0 0 0 1825 41 0 0 20 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4660422 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7677/tid=7699] ppid=7675 vsize=1940644 CPUtime=20.46 cores=0-31
/proc/7677/task/7699/stat : 7699 (claspmt) R 7675 7677 7499 0 -1 4202560 8184 0 0 0 2018 28 0 0 25 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4402867 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7677/tid=7701] ppid=7675 vsize=1940644 CPUtime=18.66 cores=0-31
/proc/7677/task/7701/stat : 7701 (claspmt) R 7675 7677 7499 0 -1 4202560 11507 0 0 0 1831 35 0 0 19 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7677/tid=7702] ppid=7675 vsize=1940644 CPUtime=18.61 cores=0-31
/proc/7677/task/7702/stat : 7702 (claspmt) R 7675 7677 7499 0 -1 4202560 13575 0 0 0 1805 56 0 0 18 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7677/tid=7703] ppid=7675 vsize=1940644 CPUtime=18.61 cores=0-31
/proc/7677/task/7703/stat : 7703 (claspmt) R 7675 7677 7499 0 -1 4202560 8240 0 0 0 1826 35 0 0 25 0 32 0 42574780 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7677/tid=7704] ppid=7675 vsize=1940644 CPUtime=18.57 cores=0-31
/proc/7677/task/7704/stat : 7704 (claspmt) R 7675 7677 7499 0 -1 4202560 8373 0 0 0 1822 35 0 0 25 0 32 0 42574781 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4682433 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7677/tid=7705] ppid=7675 vsize=1940644 CPUtime=18.69 cores=0-31
/proc/7677/task/7705/stat : 7705 (claspmt) R 7675 7677 7499 0 -1 4202560 11078 0 0 0 1821 48 0 0 18 0 32 0 42574781 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7677/tid=7706] ppid=7675 vsize=1940644 CPUtime=18.64 cores=0-31
/proc/7677/task/7706/stat : 7706 (claspmt) R 7675 7677 7499 0 -1 4202560 8509 0 0 0 1827 37 0 0 25 0 32 0 42574781 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7677/tid=7707] ppid=7675 vsize=1940644 CPUtime=18.64 cores=0-31
/proc/7677/task/7707/stat : 7707 (claspmt) R 7675 7677 7499 0 -1 4202560 8893 0 0 0 1828 36 0 0 25 0 32 0 42574781 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7677/tid=7708] ppid=7675 vsize=1940644 CPUtime=20.46 cores=0-31
/proc/7677/task/7708/stat : 7708 (claspmt) R 7675 7677 7499 0 -1 4202560 8013 0 0 0 2017 29 0 0 25 0 32 0 42574781 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7677/tid=7709] ppid=7675 vsize=1940644 CPUtime=18.67 cores=0-31
/proc/7677/task/7709/stat : 7709 (claspmt) R 7675 7677 7499 0 -1 4202560 12980 0 0 0 1823 44 0 0 19 0 32 0 42574781 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4627293 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7677/tid=7710] ppid=7675 vsize=1940644 CPUtime=18.58 cores=0-31
/proc/7677/task/7710/stat : 7710 (claspmt) R 7675 7677 7499 0 -1 4202560 14586 0 0 0 1800 58 0 0 18 0 32 0 42574781 1987219456 332698 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 619.57
Current children cumulated vsize (KiB) 1940644

[startup+40.0014 s]
/proc/loadavg: 25.96 30.24 31.43 33/445 7712
/proc/meminfo: memFree=260759556/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=1940792 CPUtime=670.69 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 343046 0 0 0 65802 1267 0 0 25 0 32 0 42573145 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/7677/statm: 485198 338458 463 189 0 479547 0
[pid=7677/tid=7679] ppid=7675 vsize=1940792 CPUtime=20.26 cores=0-31
/proc/7677/task/7679/stat : 7679 (claspmt) R 7675 7677 7499 0 -1 4202560 8042 0 0 0 1989 37 0 0 21 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7677/tid=7680] ppid=7675 vsize=1940792 CPUtime=20.27 cores=0-31
/proc/7677/task/7680/stat : 7680 (claspmt) R 7675 7677 7499 0 -1 4202560 10933 0 0 0 1981 46 0 0 25 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7677/tid=7681] ppid=7675 vsize=1940792 CPUtime=20.1 cores=0-31
/proc/7677/task/7681/stat : 7681 (claspmt) R 7675 7677 7499 0 -1 4202560 9369 0 0 0 1974 36 0 0 25 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7677/tid=7682] ppid=7675 vsize=1940792 CPUtime=20.23 cores=0-31
/proc/7677/task/7682/stat : 7682 (claspmt) R 7675 7677 7499 0 -1 4202560 10071 0 0 0 1986 37 0 0 25 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7677/tid=7683] ppid=7675 vsize=1940792 CPUtime=22.07 cores=0-31
/proc/7677/task/7683/stat : 7683 (claspmt) R 7675 7677 7499 0 -1 4202560 8487 0 0 0 2176 31 0 0 25 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7677/tid=7684] ppid=7675 vsize=1940792 CPUtime=20.22 cores=0-31
/proc/7677/task/7684/stat : 7684 (claspmt) R 7675 7677 7499 0 -1 4202560 9706 0 0 0 1986 36 0 0 25 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7677/tid=7685] ppid=7675 vsize=1940792 CPUtime=20.24 cores=0-31
/proc/7677/task/7685/stat : 7685 (claspmt) R 7675 7677 7499 0 -1 4202560 13823 0 0 0 1966 58 0 0 19 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7677/tid=7686] ppid=7675 vsize=1940792 CPUtime=20.31 cores=0-31
/proc/7677/task/7686/stat : 7686 (claspmt) R 7675 7677 7499 0 -1 4202560 8365 0 0 0 1987 44 0 0 25 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7677/tid=7687] ppid=7675 vsize=1940792 CPUtime=20.25 cores=0-31
/proc/7677/task/7687/stat : 7687 (claspmt) R 7675 7677 7499 0 -1 4202560 8174 0 0 0 1991 34 0 0 21 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4653388 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7677/tid=7688] ppid=7675 vsize=1940792 CPUtime=20.25 cores=0-31
/proc/7677/task/7688/stat : 7688 (claspmt) R 7675 7677 7499 0 -1 4202560 11170 0 0 0 1980 45 0 0 25 0 32 0 42574780 1987371008 338458 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7677/tid=7689] ppid=7675 vsize=1940792 CPUtime=20.27 cores=0-31
/proc/7677/task/7689/stat : 7689 (claspmt) R 7675 7677 7499 0 -1 4202560 12835 0 0 0 1987 40 0 0 25 0 32 0 42574780 1987371008 338459 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7677/tid=7690] ppid=7675 vsize=1940792 CPUtime=20.25 cores=0-31
/proc/7677/task/7690/stat : 7690 (claspmt) R 7675 7677 7499 0 -1 4202560 9481 0 0 0 1989 36 0 0 25 0 32 0 42574780 1987371008 338459 270582939648 4194304 4964800 140735811611216 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7677/tid=7691] ppid=7675 vsize=1940792 CPUtime=22.05 cores=0-31
/proc/7677/task/7691/stat : 7691 (claspmt) R 7675 7677 7499 0 -1 4202560 8539 0 0 0 2172 33 0 0 21 0 32 0 42574780 1987371008 338459 270582939648 4194304 4964800 140735811611216 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7677/tid=7692] ppid=7675 vsize=1940792 CPUtime=20.22 cores=0-31
/proc/7677/task/7692/stat : 7692 (claspmt) R 7675 7677 7499 0 -1 4202560 10658 0 0 0 1981 41 0 0 25 0 32 0 42574780 1987371008 338460 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7677/tid=7693] ppid=7675 vsize=1940792 CPUtime=20.17 cores=0-31
/proc/7677/task/7693/stat : 7693 (claspmt) R 7675 7677 7499 0 -1 4202560 13663 0 0 0 1970 47 0 0 19 0 32 0 42574780 1987371008 338460 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670496 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7677/tid=7694] ppid=7675 vsize=1940792 CPUtime=20.25 cores=0-31
/proc/7677/task/7694/stat : 7694 (claspmt) R 7675 7677 7499 0 -1 4202560 8182 0 0 0 1989 36 0 0 25 0 32 0 42574780 1987371008 338460 270582939648 4194304 4964800 140735811611216 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=7677/tid=7695] ppid=7675 vsize=1940792 CPUtime=20.23 cores=0-31
/proc/7677/task/7695/stat : 7695 (claspmt) R 7675 7677 7499 0 -1 4202560 10395 0 0 0 1988 35 0 0 25 0 32 0 42574780 1987371008 338460 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7677/tid=7696] ppid=7675 vsize=1940792 CPUtime=20.25 cores=0-31
/proc/7677/task/7696/stat : 7696 (claspmt) R 7675 7677 7499 0 -1 4202560 10969 0 0 0 1979 46 0 0 25 0 32 0 42574780 1987371008 338460 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7677/tid=7697] ppid=7675 vsize=1940792 CPUtime=20.01 cores=0-31
/proc/7677/task/7697/stat : 7697 (claspmt) R 7675 7677 7499 0 -1 4202560 9572 0 0 0 1966 35 0 0 19 0 32 0 42574780 1987371008 338460 270582939648 4194304 4964800 140735811611216 18446744073709551615 4660495 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7677/tid=7698] ppid=7675 vsize=1940792 CPUtime=20.25 cores=0-31
/proc/7677/task/7698/stat : 7698 (claspmt) R 7675 7677 7499 0 -1 4202560 12479 0 0 0 1984 41 0 0 25 0 32 0 42574780 1987371008 338460 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7677/tid=7699] ppid=7675 vsize=1940792 CPUtime=22.06 cores=0-31
/proc/7677/task/7699/stat : 7699 (claspmt) R 7675 7677 7499 0 -1 4202560 8184 0 0 0 2178 28 0 0 25 0 32 0 42574780 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 4668592 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7677/tid=7701] ppid=7675 vsize=1940792 CPUtime=20.26 cores=0-31
/proc/7677/task/7701/stat : 7701 (claspmt) R 7675 7677 7499 0 -1 4202560 11549 0 0 0 1991 35 0 0 23 0 32 0 42574780 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7677/tid=7702] ppid=7675 vsize=1940792 CPUtime=20.21 cores=0-31
/proc/7677/task/7702/stat : 7702 (claspmt) R 7675 7677 7499 0 -1 4202560 13847 0 0 0 1964 57 0 0 20 0 32 0 42574780 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7677/tid=7703] ppid=7675 vsize=1940792 CPUtime=20.21 cores=0-31
/proc/7677/task/7703/stat : 7703 (claspmt) R 7675 7677 7499 0 -1 4202560 9280 0 0 0 1984 37 0 0 25 0 32 0 42574780 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7677/tid=7704] ppid=7675 vsize=1940792 CPUtime=20.17 cores=0-31
/proc/7677/task/7704/stat : 7704 (claspmt) R 7675 7677 7499 0 -1 4202560 8429 0 0 0 1982 35 0 0 25 0 32 0 42574781 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7677/tid=7705] ppid=7675 vsize=1940792 CPUtime=20.28 cores=0-31
/proc/7677/task/7705/stat : 7705 (claspmt) R 7675 7677 7499 0 -1 4202560 11231 0 0 0 1980 48 0 0 22 0 32 0 42574781 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7677/tid=7706] ppid=7675 vsize=1940792 CPUtime=20.24 cores=0-31
/proc/7677/task/7706/stat : 7706 (claspmt) R 7675 7677 7499 0 -1 4202560 9553 0 0 0 1986 38 0 0 25 0 32 0 42574781 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7677/tid=7707] ppid=7675 vsize=1940792 CPUtime=20.25 cores=0-31
/proc/7677/task/7707/stat : 7707 (claspmt) R 7675 7677 7499 0 -1 4202560 9009 0 0 0 1988 37 0 0 25 0 32 0 42574781 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7677/tid=7708] ppid=7675 vsize=1940792 CPUtime=22.06 cores=0-31
/proc/7677/task/7708/stat : 7708 (claspmt) R 7675 7677 7499 0 -1 4202560 8013 0 0 0 2177 29 0 0 25 0 32 0 42574781 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7677/tid=7709] ppid=7675 vsize=1940792 CPUtime=20.27 cores=0-31
/proc/7677/task/7709/stat : 7709 (claspmt) R 7675 7677 7499 0 -1 4202560 13047 0 0 0 1983 44 0 0 24 0 32 0 42574781 1987371008 338461 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7677/tid=7710] ppid=7675 vsize=1940792 CPUtime=20.18 cores=0-31
/proc/7677/task/7710/stat : 7710 (claspmt) R 7675 7677 7499 0 -1 4202560 15047 0 0 0 1959 59 0 0 20 0 32 0 42574781 1987371008 338465 270582939648 4194304 4964800 140735811611216 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 670.69
Current children cumulated vsize (KiB) 1940792

[startup+41.6006 s]
/proc/loadavg: 25.96 30.24 31.43 33/445 7712
/proc/meminfo: memFree=260735764/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=2046160 CPUtime=696.73 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 348939 0 0 0 68393 1280 0 0 25 0 1 0 42573145 2095267840 343156 270582939648 4194304 4964800 140735811611216 18446744073709551615 4646556 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/7677/statm: 511540 343156 474 189 0 505889 0
Current children cumulated CPU time (s) 696.73
Current children cumulated vsize (KiB) 2046160

[startup+42.4007 s]
/proc/loadavg: 25.96 30.24 31.43 2/414 7712
/proc/meminfo: memFree=260736116/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=2046160 CPUtime=697.53 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 348939 0 0 0 68473 1280 0 0 25 0 1 0 42573145 2095267840 341805 270582939648 4194304 4964800 140735811611216 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/7677/statm: 511540 341805 474 189 0 505889 0
Current children cumulated CPU time (s) 697.53
Current children cumulated vsize (KiB) 2046160

[startup+42.6006 s]
/proc/loadavg: 25.96 30.24 31.43 2/414 7712
/proc/meminfo: memFree=260736116/264257624 swapFree=67111528/67111528
[pid=7677] ppid=7675 vsize=1448240 CPUtime=697.72 cores=0-31
/proc/7677/stat : 7677 (claspmt) R 7675 7677 7499 0 -1 4202496 348939 0 0 0 68489 1283 0 0 25 0 1 0 42573145 1482997760 250838 270582939648 4194304 4964800 140735811611216 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/7677/statm: 362060 250805 474 189 0 356409 0
Current children cumulated CPU time (s) 697.72
Current children cumulated vsize (KiB) 1448240

Child status: 10
Real time (s): 42.6779
CPU time (s): 697.813
CPU user time (s): 684.9
CPU system time (s): 12.913
CPU usage (%): 1635.07
Max. virtual memory (cumulated for all children) (KiB): 2137664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 684.9
system time used= 12.913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348940
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= 312223
involuntary context switches= 3540

runsolver used 0.311952 second user time and 0.987849 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 07:57:43
IDJOB=3472483
IDBENCH=83436
IDSOLVER=1961
FILE ID=node200/3472483-1307771862
RUNJOBID= node200-1307771776-7513
PBS_JOBID= 13550738
Free space on /tmp= 61728 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-3472483-1307771862/watcher-3472483-1307771862 -o /tmp/evaluation-result-3472483-1307771862/solver-3472483-1307771862 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472483-1307771862.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1859536005

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      262101504 kB
Buffers:        284684 kB
Cached:        1542336 kB
SwapCached:          0 kB
Active:         323408 kB
Inactive:      1567112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262101504 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15980 kB
Writeback:           0 kB
AnonPages:       63592 kB
Mapped:          14536 kB
Slab:           186164 kB
PageTables:       4460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167284 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61724 MiB
End job on node200 at 2011-06-11 07:58:25