Trace number 3472498

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 780.386 59.5105

General information on the benchmark

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

Solver Data 

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

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-3472498-1307783286/watcher-3472498-1307783286 -o /tmp/evaluation-result-3472498-1307783286/solver-3472498-1307783286 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472498-1307783286.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: 27.45 31.05 31.68 1/413 9104
/proc/meminfo: memFree=262069180/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=25376 CPUtime=0.02 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 1735 0 0 0 2 0 0 0 22 0 1 0 43715563 25985024 1548 270582939648 4194304 4964800 140735337797808 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 6344 1549 383 189 0 1218 0

[startup+0.103744 s]
/proc/loadavg: 27.45 31.05 31.68 1/413 9104
/proc/meminfo: memFree=262069180/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=34308 CPUtime=0.09 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 4595 0 0 0 8 1 0 0 22 0 1 0 43715563 35131392 3700 270582939648 4194304 4964800 140735337797808 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 8577 3701 386 189 0 3451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34308

[startup+0.200742 s]
/proc/loadavg: 27.45 31.05 31.68 1/413 9104
/proc/meminfo: memFree=262069180/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=44224 CPUtime=0.19 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 7560 0 0 0 17 2 0 0 22 0 1 0 43715563 45285376 6259 270582939648 4194304 4964800 140735337797808 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 11056 6260 386 189 0 5930 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44224

[startup+0.300746 s]
/proc/loadavg: 27.45 31.05 31.68 1/413 9104
/proc/meminfo: memFree=262069180/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=56900 CPUtime=0.29 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 11804 0 0 0 26 3 0 0 23 0 1 0 43715563 58265600 8983 270582939648 4194304 4964800 140735337797808 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 14225 8985 386 189 0 9099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56900

[startup+0.700761 s]
/proc/loadavg: 27.45 31.05 31.68 1/413 9104
/proc/meminfo: memFree=262069180/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=84308 CPUtime=0.69 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 18420 0 0 0 65 4 0 0 25 0 1 0 43715563 86331392 15499 270582939648 4194304 4964800 140735337797808 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 21077 15499 400 189 0 15951 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84308

[startup+1.50078 s]
/proc/loadavg: 27.45 31.05 31.68 2/414 9105
/proc/meminfo: memFree=262008172/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=84308 CPUtime=1.49 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 18420 0 0 0 145 4 0 0 25 0 1 0 43715563 86331392 15499 270582939648 4194304 4964800 140735337797808 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 21077 15499 400 189 0 15951 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84308

[startup+3.10084 s]
/proc/loadavg: 27.45 31.05 31.68 2/414 9105
/proc/meminfo: memFree=262008104/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=84308 CPUtime=3.09 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 18420 0 0 0 305 4 0 0 25 0 1 0 43715563 86331392 15499 270582939648 4194304 4964800 140735337797808 18446744073709551615 4607622 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 21077 15499 400 189 0 15951 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84308

[startup+6.30095 s]
/proc/loadavg: 25.34 30.55 31.52 2/414 9105
/proc/meminfo: memFree=262008304/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=84308 CPUtime=6.29 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 18420 0 0 0 625 4 0 0 25 0 1 0 43715563 86331392 15499 270582939648 4194304 4964800 140735337797808 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 21077 15499 400 189 0 15951 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84308

[startup+12.7012 s]
/proc/loadavg: 23.39 30.06 31.35 2/414 9105
/proc/meminfo: memFree=262010612/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=84308 CPUtime=12.69 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 18420 0 0 0 1265 4 0 0 25 0 1 0 43715563 86331392 15499 270582939648 4194304 4964800 140735337797808 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 21077 15499 400 189 0 15951 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84308

[startup+25.5006 s]
/proc/loadavg: 18.43 28.64 30.87 2/414 9107
/proc/meminfo: memFree=262014464/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=84308 CPUtime=25.49 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 18420 0 0 0 2545 4 0 0 25 0 1 0 43715563 86331392 15499 270582939648 4194304 4964800 140735337797808 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9104/statm: 21077 15499 400 189 0 15951 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84308

[startup+51.1024 s]
/proc/loadavg: 21.77 28.55 30.78 33/445 9138
/proc/meminfo: memFree=260656740/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=2535720 CPUtime=579.31 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 364408 0 0 0 56744 1187 0 0 25 0 32 0 43715563 2596577280 358745 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/9104/statm: 633930 358745 463 189 0 628279 0
[pid=9104/tid=9108] ppid=9102 vsize=2535720 CPUtime=16.8 cores=0-31
/proc/9104/task/9108/stat : 9108 (claspmt) R 9102 9104 8998 0 -1 4202560 10702 0 0 0 1651 29 0 0 25 0 32 0 43718515 2596577280 358745 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9104/tid=9109] ppid=9102 vsize=2535720 CPUtime=16.83 cores=0-31
/proc/9104/task/9109/stat : 9109 (claspmt) R 9102 9104 8998 0 -1 4202560 11543 0 0 0 1653 30 0 0 18 0 32 0 43718515 2596577280 358745 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9104/tid=9110] ppid=9102 vsize=2535720 CPUtime=16.85 cores=0-31
/proc/9104/task/9110/stat : 9110 (claspmt) R 9102 9104 8998 0 -1 4202560 9962 0 0 0 1650 35 0 0 25 0 32 0 43718515 2596577280 358746 270582939648 4194304 4964800 140735337797808 18446744073709551615 4644166 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9104/tid=9111] ppid=9102 vsize=2535720 CPUtime=16.86 cores=0-31
/proc/9104/task/9111/stat : 9111 (claspmt) R 9102 9104 8998 0 -1 4202560 10582 0 0 0 1649 37 0 0 25 0 32 0 43718515 2596577280 358746 270582939648 4194304 4964800 140735337797808 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9104/tid=9112] ppid=9102 vsize=2535720 CPUtime=19.44 cores=0-31
/proc/9104/task/9112/stat : 9112 (claspmt) R 9102 9104 8998 0 -1 4202560 9898 0 0 0 1914 30 0 0 25 0 32 0 43718515 2596577280 358746 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9104/tid=9113] ppid=9102 vsize=2535720 CPUtime=16.99 cores=0-31
/proc/9104/task/9113/stat : 9113 (claspmt) R 9102 9104 8998 0 -1 4202560 10453 0 0 0 1664 35 0 0 25 0 32 0 43718515 2596577280 358746 270582939648 4194304 4964800 140735337797808 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9104/tid=9114] ppid=9102 vsize=2535720 CPUtime=16.89 cores=0-31
/proc/9104/task/9114/stat : 9114 (claspmt) R 9102 9104 8998 0 -1 4202560 11058 0 0 0 1649 40 0 0 18 0 32 0 43718515 2596577280 358746 270582939648 4194304 4964800 140735337797808 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9104/tid=9115] ppid=9102 vsize=2535720 CPUtime=16.9 cores=0-31
/proc/9104/task/9115/stat : 9115 (claspmt) R 9102 9104 8998 0 -1 4202560 10847 0 0 0 1650 40 0 0 18 0 32 0 43718515 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9104/tid=9116] ppid=9102 vsize=2535720 CPUtime=16.77 cores=0-31
/proc/9104/task/9116/stat : 9116 (claspmt) R 9102 9104 8998 0 -1 4202560 10401 0 0 0 1646 31 0 0 25 0 32 0 43718515 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9104/tid=9117] ppid=9102 vsize=2535720 CPUtime=16.96 cores=0-31
/proc/9104/task/9117/stat : 9117 (claspmt) R 9102 9104 8998 0 -1 4202560 11877 0 0 0 1652 44 0 0 18 0 32 0 43718515 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9104/tid=9118] ppid=9102 vsize=2535720 CPUtime=16.87 cores=0-31
/proc/9104/task/9118/stat : 9118 (claspmt) R 9102 9104 8998 0 -1 4202560 8170 0 0 0 1654 33 0 0 25 0 32 0 43718516 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9104/tid=9119] ppid=9102 vsize=2535720 CPUtime=16.88 cores=0-31
/proc/9104/task/9119/stat : 9119 (claspmt) R 9102 9104 8998 0 -1 4202560 9776 0 0 0 1650 38 0 0 25 0 32 0 43718516 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669503 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9104/tid=9120] ppid=9102 vsize=2535720 CPUtime=19.23 cores=0-31
/proc/9104/task/9120/stat : 9120 (claspmt) R 9102 9104 8998 0 -1 4202560 10754 0 0 0 1892 31 0 0 25 0 32 0 43718516 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9104/tid=9121] ppid=9102 vsize=2535720 CPUtime=17.02 cores=0-31
/proc/9104/task/9121/stat : 9121 (claspmt) R 9102 9104 8998 0 -1 4202560 11120 0 0 0 1663 39 0 0 25 0 32 0 43718516 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9104/tid=9122] ppid=9102 vsize=2535720 CPUtime=16.95 cores=0-31
/proc/9104/task/9122/stat : 9122 (claspmt) R 9102 9104 8998 0 -1 4202560 12227 0 0 0 1651 44 0 0 25 0 32 0 43718516 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9104/tid=9123] ppid=9102 vsize=2535720 CPUtime=16.92 cores=0-31
/proc/9104/task/9123/stat : 9123 (claspmt) R 9102 9104 8998 0 -1 4202560 10459 0 0 0 1655 37 0 0 25 0 32 0 43718516 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4675542 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9104/tid=9124] ppid=9102 vsize=2535720 CPUtime=16.84 cores=0-31
/proc/9104/task/9124/stat : 9124 (claspmt) R 9102 9104 8998 0 -1 4202560 9265 0 0 0 1650 34 0 0 25 0 32 0 43718516 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9104/tid=9125] ppid=9102 vsize=2535720 CPUtime=16.86 cores=0-31
/proc/9104/task/9125/stat : 9125 (claspmt) R 9102 9104 8998 0 -1 4202560 10001 0 0 0 1649 37 0 0 19 0 32 0 43718516 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9104/tid=9126] ppid=9102 vsize=2535720 CPUtime=16.84 cores=0-31
/proc/9104/task/9126/stat : 9126 (claspmt) R 9102 9104 8998 0 -1 4202560 11630 0 0 0 1649 35 0 0 25 0 32 0 43718516 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9104/tid=9127] ppid=9102 vsize=2535720 CPUtime=16.87 cores=0-31
/proc/9104/task/9127/stat : 9127 (claspmt) R 9102 9104 8998 0 -1 4202560 12339 0 0 0 1646 41 0 0 25 0 32 0 43718517 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9104/tid=9128] ppid=9102 vsize=2535720 CPUtime=19.27 cores=0-31
/proc/9104/task/9128/stat : 9128 (claspmt) R 9102 9104 8998 0 -1 4202560 10888 0 0 0 1892 35 0 0 25 0 32 0 43718517 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4399521 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9104/tid=9129] ppid=9102 vsize=2535720 CPUtime=16.97 cores=0-31
/proc/9104/task/9129/stat : 9129 (claspmt) R 9102 9104 8998 0 -1 4202560 10882 0 0 0 1656 41 0 0 25 0 32 0 43718517 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9104/tid=9130] ppid=9102 vsize=2535720 CPUtime=16.84 cores=0-31
/proc/9104/task/9130/stat : 9130 (claspmt) R 9102 9104 8998 0 -1 4202560 11240 0 0 0 1645 39 0 0 25 0 32 0 43718517 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9104/tid=9131] ppid=9102 vsize=2535720 CPUtime=16.86 cores=0-31
/proc/9104/task/9131/stat : 9131 (claspmt) R 9102 9104 8998 0 -1 4202560 11343 0 0 0 1648 38 0 0 25 0 32 0 43718517 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4628337 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9104/tid=9132] ppid=9102 vsize=2535720 CPUtime=16.81 cores=0-31
/proc/9104/task/9132/stat : 9132 (claspmt) R 9102 9104 8998 0 -1 4202560 11341 0 0 0 1644 37 0 0 25 0 32 0 43718517 2596577280 358747 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9104/tid=9133] ppid=9102 vsize=2535720 CPUtime=16.92 cores=0-31
/proc/9104/task/9133/stat : 9133 (claspmt) R 9102 9104 8998 0 -1 4202560 11059 0 0 0 1651 41 0 0 18 0 32 0 43718517 2596577280 358748 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9104/tid=9134] ppid=9102 vsize=2535720 CPUtime=16.93 cores=0-31
/proc/9104/task/9134/stat : 9134 (claspmt) R 9102 9104 8998 0 -1 4202560 10253 0 0 0 1649 44 0 0 24 0 32 0 43718517 2596577280 358748 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9104/tid=9135] ppid=9102 vsize=2535720 CPUtime=16.87 cores=0-31
/proc/9104/task/9135/stat : 9135 (claspmt) R 9102 9104 8998 0 -1 4202560 12415 0 0 0 1644 43 0 0 18 0 32 0 43718517 2596577280 358748 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9104/tid=9136] ppid=9102 vsize=2535720 CPUtime=19.63 cores=0-31
/proc/9104/task/9136/stat : 9136 (claspmt) R 9102 9104 8998 0 -1 4202560 9748 0 0 0 1926 37 0 0 25 0 32 0 43718517 2596577280 358748 270582939648 4194304 4964800 140735337797808 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9104/tid=9137] ppid=9102 vsize=2535720 CPUtime=17 cores=0-31
/proc/9104/task/9137/stat : 9137 (claspmt) R 9102 9104 8998 0 -1 4202560 12226 0 0 0 1659 41 0 0 25 0 32 0 43718517 2596577280 358748 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9104/tid=9138] ppid=9102 vsize=2535720 CPUtime=16.88 cores=0-31
/proc/9104/task/9138/stat : 9138 (claspmt) R 9102 9104 8998 0 -1 4202560 12768 0 0 0 1644 44 0 0 18 0 32 0 43718517 2596577280 358748 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 579.31
Current children cumulated vsize (KiB) 2535720

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

[startup+51.2024 s]
/proc/loadavg: 21.77 28.55 30.78 33/445 9138
/proc/meminfo: memFree=260656740/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=2535720 CPUtime=582.51 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 364910 0 0 0 57063 1188 0 0 25 0 32 0 43715563 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/9104/statm: 633930 359247 463 189 0 628279 0
[pid=9104/tid=9108] ppid=9102 vsize=2535720 CPUtime=16.9 cores=0-31
/proc/9104/task/9108/stat : 9108 (claspmt) R 9102 9104 8998 0 -1 4202560 10707 0 0 0 1661 29 0 0 25 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9104/tid=9109] ppid=9102 vsize=2535720 CPUtime=16.93 cores=0-31
/proc/9104/task/9109/stat : 9109 (claspmt) R 9102 9104 8998 0 -1 4202560 11546 0 0 0 1663 30 0 0 18 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9104/tid=9110] ppid=9102 vsize=2535720 CPUtime=16.95 cores=0-31
/proc/9104/task/9110/stat : 9110 (claspmt) R 9102 9104 8998 0 -1 4202560 9966 0 0 0 1660 35 0 0 25 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9104/tid=9111] ppid=9102 vsize=2535720 CPUtime=16.96 cores=0-31
/proc/9104/task/9111/stat : 9111 (claspmt) R 9102 9104 8998 0 -1 4202560 10616 0 0 0 1659 37 0 0 25 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9104/tid=9112] ppid=9102 vsize=2535720 CPUtime=19.54 cores=0-31
/proc/9104/task/9112/stat : 9112 (claspmt) R 9102 9104 8998 0 -1 4202560 9898 0 0 0 1924 30 0 0 25 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669486 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9104/tid=9113] ppid=9102 vsize=2535720 CPUtime=17.09 cores=0-31
/proc/9104/task/9113/stat : 9113 (claspmt) R 9102 9104 8998 0 -1 4202560 10475 0 0 0 1674 35 0 0 25 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9104/tid=9114] ppid=9102 vsize=2535720 CPUtime=16.99 cores=0-31
/proc/9104/task/9114/stat : 9114 (claspmt) R 9102 9104 8998 0 -1 4202560 11095 0 0 0 1659 40 0 0 18 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 258650653550 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9104/tid=9115] ppid=9102 vsize=2535720 CPUtime=17 cores=0-31
/proc/9104/task/9115/stat : 9115 (claspmt) R 9102 9104 8998 0 -1 4202560 10859 0 0 0 1660 40 0 0 18 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9104/tid=9116] ppid=9102 vsize=2535720 CPUtime=16.87 cores=0-31
/proc/9104/task/9116/stat : 9116 (claspmt) R 9102 9104 8998 0 -1 4202560 10403 0 0 0 1656 31 0 0 25 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9104/tid=9117] ppid=9102 vsize=2535720 CPUtime=17.06 cores=0-31
/proc/9104/task/9117/stat : 9117 (claspmt) R 9102 9104 8998 0 -1 4202560 11945 0 0 0 1662 44 0 0 18 0 32 0 43718515 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9104/tid=9118] ppid=9102 vsize=2535720 CPUtime=16.97 cores=0-31
/proc/9104/task/9118/stat : 9118 (claspmt) R 9102 9104 8998 0 -1 4202560 8175 0 0 0 1664 33 0 0 25 0 32 0 43718516 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9104/tid=9119] ppid=9102 vsize=2535720 CPUtime=16.98 cores=0-31
/proc/9104/task/9119/stat : 9119 (claspmt) R 9102 9104 8998 0 -1 4202560 9783 0 0 0 1660 38 0 0 25 0 32 0 43718516 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 258650614736 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9104/tid=9120] ppid=9102 vsize=2535720 CPUtime=19.33 cores=0-31
/proc/9104/task/9120/stat : 9120 (claspmt) R 9102 9104 8998 0 -1 4202560 10756 0 0 0 1902 31 0 0 25 0 32 0 43718516 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9104/tid=9121] ppid=9102 vsize=2535720 CPUtime=17.12 cores=0-31
/proc/9104/task/9121/stat : 9121 (claspmt) R 9102 9104 8998 0 -1 4202560 11120 0 0 0 1673 39 0 0 25 0 32 0 43718516 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9104/tid=9122] ppid=9102 vsize=2535720 CPUtime=17.05 cores=0-31
/proc/9104/task/9122/stat : 9122 (claspmt) R 9102 9104 8998 0 -1 4202560 12296 0 0 0 1661 44 0 0 25 0 32 0 43718516 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9104/tid=9123] ppid=9102 vsize=2535720 CPUtime=17.02 cores=0-31
/proc/9104/task/9123/stat : 9123 (claspmt) R 9102 9104 8998 0 -1 4202560 10469 0 0 0 1665 37 0 0 25 0 32 0 43718516 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9104/tid=9124] ppid=9102 vsize=2535720 CPUtime=16.94 cores=0-31
/proc/9104/task/9124/stat : 9124 (claspmt) R 9102 9104 8998 0 -1 4202560 9265 0 0 0 1660 34 0 0 25 0 32 0 43718516 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4627606 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9104/tid=9125] ppid=9102 vsize=2535720 CPUtime=16.96 cores=0-31
/proc/9104/task/9125/stat : 9125 (claspmt) R 9102 9104 8998 0 -1 4202560 10021 0 0 0 1659 37 0 0 19 0 32 0 43718516 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9104/tid=9126] ppid=9102 vsize=2535720 CPUtime=16.94 cores=0-31
/proc/9104/task/9126/stat : 9126 (claspmt) R 9102 9104 8998 0 -1 4202560 11645 0 0 0 1659 35 0 0 25 0 32 0 43718516 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9104/tid=9127] ppid=9102 vsize=2535720 CPUtime=16.97 cores=0-31
/proc/9104/task/9127/stat : 9127 (claspmt) R 9102 9104 8998 0 -1 4202560 12366 0 0 0 1656 41 0 0 25 0 32 0 43718517 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670245 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9104/tid=9128] ppid=9102 vsize=2535720 CPUtime=19.37 cores=0-31
/proc/9104/task/9128/stat : 9128 (claspmt) R 9102 9104 8998 0 -1 4202560 10888 0 0 0 1902 35 0 0 25 0 32 0 43718517 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9104/tid=9129] ppid=9102 vsize=2535720 CPUtime=17.06 cores=0-31
/proc/9104/task/9129/stat : 9129 (claspmt) R 9102 9104 8998 0 -1 4202560 10907 0 0 0 1665 41 0 0 25 0 32 0 43718517 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9104/tid=9130] ppid=9102 vsize=2535720 CPUtime=16.94 cores=0-31
/proc/9104/task/9130/stat : 9130 (claspmt) R 9102 9104 8998 0 -1 4202560 11261 0 0 0 1655 39 0 0 25 0 32 0 43718517 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4678032 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9104/tid=9131] ppid=9102 vsize=2535720 CPUtime=16.96 cores=0-31
/proc/9104/task/9131/stat : 9131 (claspmt) R 9102 9104 8998 0 -1 4202560 11349 0 0 0 1658 38 0 0 25 0 32 0 43718517 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9104/tid=9132] ppid=9102 vsize=2535720 CPUtime=16.91 cores=0-31
/proc/9104/task/9132/stat : 9132 (claspmt) R 9102 9104 8998 0 -1 4202560 11351 0 0 0 1654 37 0 0 25 0 32 0 43718517 2596577280 359247 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9104/tid=9133] ppid=9102 vsize=2535720 CPUtime=17.02 cores=0-31
/proc/9104/task/9133/stat : 9133 (claspmt) R 9102 9104 8998 0 -1 4202560 11071 0 0 0 1661 41 0 0 18 0 32 0 43718517 2596577280 359248 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9104/tid=9134] ppid=9102 vsize=2535720 CPUtime=17.04 cores=0-31
/proc/9104/task/9134/stat : 9134 (claspmt) R 9102 9104 8998 0 -1 4202560 10266 0 0 0 1659 45 0 0 18 0 32 0 43718517 2596577280 359248 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9104/tid=9135] ppid=9102 vsize=2535720 CPUtime=16.97 cores=0-31
/proc/9104/task/9135/stat : 9135 (claspmt) R 9102 9104 8998 0 -1 4202560 12442 0 0 0 1654 43 0 0 18 0 32 0 43718517 2596577280 359248 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9104/tid=9136] ppid=9102 vsize=2535720 CPUtime=19.73 cores=0-31
/proc/9104/task/9136/stat : 9136 (claspmt) R 9102 9104 8998 0 -1 4202560 9749 0 0 0 1936 37 0 0 25 0 32 0 43718517 2596577280 359248 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9104/tid=9137] ppid=9102 vsize=2535720 CPUtime=17.1 cores=0-31
/proc/9104/task/9137/stat : 9137 (claspmt) R 9102 9104 8998 0 -1 4202560 12233 0 0 0 1669 41 0 0 25 0 32 0 43718517 2596577280 359248 270582939648 4194304 4964800 140735337797808 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9104/tid=9138] ppid=9102 vsize=2535720 CPUtime=16.98 cores=0-31
/proc/9104/task/9138/stat : 9138 (claspmt) R 9102 9104 8998 0 -1 4202560 12787 0 0 0 1654 44 0 0 18 0 32 0 43718517 2596577280 359248 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 582.51
Current children cumulated vsize (KiB) 2535720

[startup+54.4015 s]
/proc/loadavg: 21.77 28.55 30.78 33/445 9138
/proc/meminfo: memFree=260608040/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=2666924 CPUtime=684.72 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 376773 0 0 0 67255 1217 0 0 25 0 32 0 43715563 2730930176 371110 270582939648 4194304 4964800 140735337797808 18446744073709551615 4627341 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/9104/statm: 666731 371110 463 189 0 661080 0
[pid=9104/tid=9108] ppid=9102 vsize=2666924 CPUtime=20.09 cores=0-31
/proc/9104/task/9108/stat : 9108 (claspmt) R 9102 9104 8998 0 -1 4202560 11198 0 0 0 1979 30 0 0 19 0 32 0 43718515 2730930176 371110 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9104/tid=9109] ppid=9102 vsize=2666924 CPUtime=20.13 cores=0-31
/proc/9104/task/9109/stat : 9109 (claspmt) R 9102 9104 8998 0 -1 4202560 11802 0 0 0 1982 31 0 0 25 0 32 0 43718515 2730930176 371110 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9104/tid=9110] ppid=9102 vsize=2666924 CPUtime=20.15 cores=0-31
/proc/9104/task/9110/stat : 9110 (claspmt) R 9102 9104 8998 0 -1 4202560 10270 0 0 0 1980 35 0 0 18 0 32 0 43718515 2730930176 371110 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9104/tid=9111] ppid=9102 vsize=2666924 CPUtime=20.16 cores=0-31
/proc/9104/task/9111/stat : 9111 (claspmt) R 9102 9104 8998 0 -1 4202560 10871 0 0 0 1978 38 0 0 25 0 32 0 43718515 2730930176 371110 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9104/tid=9112] ppid=9102 vsize=2666924 CPUtime=22.73 cores=0-31
/proc/9104/task/9112/stat : 9112 (claspmt) R 9102 9104 8998 0 -1 4202560 10146 0 0 0 2243 30 0 0 25 0 32 0 43718515 2730930176 371110 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9104/tid=9113] ppid=9102 vsize=2666924 CPUtime=20.29 cores=0-31
/proc/9104/task/9113/stat : 9113 (claspmt) R 9102 9104 8998 0 -1 4202560 11001 0 0 0 1992 37 0 0 25 0 32 0 43718515 2730930176 371110 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9104/tid=9114] ppid=9102 vsize=2666924 CPUtime=20.19 cores=0-31
/proc/9104/task/9114/stat : 9114 (claspmt) R 9102 9104 8998 0 -1 4202560 11976 0 0 0 1976 43 0 0 25 0 32 0 43718515 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9104/tid=9115] ppid=9102 vsize=2666924 CPUtime=20.19 cores=0-31
/proc/9104/task/9115/stat : 9115 (claspmt) R 9102 9104 8998 0 -1 4202560 11187 0 0 0 1978 41 0 0 25 0 32 0 43718515 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9104/tid=9116] ppid=9102 vsize=2666924 CPUtime=20.06 cores=0-31
/proc/9104/task/9116/stat : 9116 (claspmt) R 9102 9104 8998 0 -1 4202560 10673 0 0 0 1975 31 0 0 25 0 32 0 43718515 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9104/tid=9117] ppid=9102 vsize=2666924 CPUtime=20.26 cores=0-31
/proc/9104/task/9117/stat : 9117 (claspmt) R 9102 9104 8998 0 -1 4202560 12976 0 0 0 1980 46 0 0 18 0 32 0 43718515 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9104/tid=9118] ppid=9102 vsize=2666924 CPUtime=20.16 cores=0-31
/proc/9104/task/9118/stat : 9118 (claspmt) R 9102 9104 8998 0 -1 4202560 8552 0 0 0 1982 34 0 0 25 0 32 0 43718516 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9104/tid=9119] ppid=9102 vsize=2666924 CPUtime=20.18 cores=0-31
/proc/9104/task/9119/stat : 9119 (claspmt) R 9102 9104 8998 0 -1 4202560 10076 0 0 0 1979 39 0 0 25 0 32 0 43718516 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9104/tid=9120] ppid=9102 vsize=2666924 CPUtime=22.53 cores=0-31
/proc/9104/task/9120/stat : 9120 (claspmt) R 9102 9104 8998 0 -1 4202560 10830 0 0 0 2221 32 0 0 25 0 32 0 43718516 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9104/tid=9121] ppid=9102 vsize=2666924 CPUtime=20.31 cores=0-31
/proc/9104/task/9121/stat : 9121 (claspmt) R 9102 9104 8998 0 -1 4202560 11366 0 0 0 1992 39 0 0 25 0 32 0 43718516 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9104/tid=9122] ppid=9102 vsize=2666924 CPUtime=20.24 cores=0-31
/proc/9104/task/9122/stat : 9122 (claspmt) R 9102 9104 8998 0 -1 4202560 12810 0 0 0 1978 46 0 0 25 0 32 0 43718516 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9104/tid=9123] ppid=9102 vsize=2666924 CPUtime=20.22 cores=0-31
/proc/9104/task/9123/stat : 9123 (claspmt) R 9102 9104 8998 0 -1 4202560 10633 0 0 0 1985 37 0 0 25 0 32 0 43718516 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9104/tid=9124] ppid=9102 vsize=2666924 CPUtime=20.13 cores=0-31
/proc/9104/task/9124/stat : 9124 (claspmt) R 9102 9104 8998 0 -1 4202560 9474 0 0 0 1979 34 0 0 25 0 32 0 43718516 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9104/tid=9125] ppid=9102 vsize=2666924 CPUtime=20.15 cores=0-31
/proc/9104/task/9125/stat : 9125 (claspmt) R 9102 9104 8998 0 -1 4202560 10420 0 0 0 1977 38 0 0 25 0 32 0 43718516 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9104/tid=9126] ppid=9102 vsize=2666924 CPUtime=20.15 cores=0-31
/proc/9104/task/9126/stat : 9126 (claspmt) R 9102 9104 8998 0 -1 4202560 11852 0 0 0 1979 36 0 0 25 0 32 0 43718516 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9104/tid=9127] ppid=9102 vsize=2666924 CPUtime=20.17 cores=0-31
/proc/9104/task/9127/stat : 9127 (claspmt) R 9102 9104 8998 0 -1 4202560 12763 0 0 0 1975 42 0 0 25 0 32 0 43718517 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9104/tid=9128] ppid=9102 vsize=2666924 CPUtime=22.57 cores=0-31
/proc/9104/task/9128/stat : 9128 (claspmt) R 9102 9104 8998 0 -1 4202560 10909 0 0 0 2222 35 0 0 25 0 32 0 43718517 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9104/tid=9129] ppid=9102 vsize=2666924 CPUtime=20.26 cores=0-31
/proc/9104/task/9129/stat : 9129 (claspmt) R 9102 9104 8998 0 -1 4202560 11170 0 0 0 1984 42 0 0 19 0 32 0 43718517 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9104/tid=9130] ppid=9102 vsize=2666924 CPUtime=20.13 cores=0-31
/proc/9104/task/9130/stat : 9130 (claspmt) R 9102 9104 8998 0 -1 4202560 11813 0 0 0 1973 40 0 0 25 0 32 0 43718517 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9104/tid=9131] ppid=9102 vsize=2666924 CPUtime=20.15 cores=0-31
/proc/9104/task/9131/stat : 9131 (claspmt) R 9102 9104 8998 0 -1 4202560 12118 0 0 0 1976 39 0 0 25 0 32 0 43718517 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9104/tid=9132] ppid=9102 vsize=2666924 CPUtime=20.1 cores=0-31
/proc/9104/task/9132/stat : 9132 (claspmt) R 9102 9104 8998 0 -1 4202560 11571 0 0 0 1973 37 0 0 25 0 32 0 43718517 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9104/tid=9133] ppid=9102 vsize=2666924 CPUtime=20.22 cores=0-31
/proc/9104/task/9133/stat : 9133 (claspmt) R 9102 9104 8998 0 -1 4202560 11537 0 0 0 1980 42 0 0 25 0 32 0 43718517 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9104/tid=9134] ppid=9102 vsize=2666924 CPUtime=20.24 cores=0-31
/proc/9104/task/9134/stat : 9134 (claspmt) R 9102 9104 8998 0 -1 4202560 10790 0 0 0 1978 46 0 0 25 0 32 0 43718517 2730930176 371111 270582939648 4194304 4964800 140735337797808 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9104/tid=9135] ppid=9102 vsize=2666924 CPUtime=20.17 cores=0-31
/proc/9104/task/9135/stat : 9135 (claspmt) R 9102 9104 8998 0 -1 4202560 12830 0 0 0 1973 44 0 0 20 0 32 0 43718517 2730930176 371112 270582939648 4194304 4964800 140735337797808 18446744073709551615 4325293 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9104/tid=9136] ppid=9102 vsize=2666924 CPUtime=22.94 cores=0-31
/proc/9104/task/9136/stat : 9136 (claspmt) R 9102 9104 8998 0 -1 4202560 10019 0 0 0 2256 38 0 0 25 0 32 0 43718517 2730930176 371112 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9104/tid=9137] ppid=9102 vsize=2666924 CPUtime=20.3 cores=0-31
/proc/9104/task/9137/stat : 9137 (claspmt) R 9102 9104 8998 0 -1 4202560 12551 0 0 0 1988 42 0 0 25 0 32 0 43718517 2730930176 371112 270582939648 4194304 4964800 140735337797808 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9104/tid=9138] ppid=9102 vsize=2666924 CPUtime=20.17 cores=0-31
/proc/9104/task/9138/stat : 9138 (claspmt) R 9102 9104 8998 0 -1 4202560 13266 0 0 0 1971 46 0 0 25 0 32 0 43718517 2730930176 371112 270582939648 4194304 4964800 140735337797808 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 684.72
Current children cumulated vsize (KiB) 2666924

[startup+57.6007 s]
/proc/loadavg: 22.59 28.61 30.78 33/445 9138
/proc/meminfo: memFree=260551372/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=2576984 CPUtime=778.47 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 388442 0 0 0 76601 1246 0 0 25 0 1 0 43715563 2638831616 382321 270582939648 4194304 4964800 140735337797808 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 31 0 0 0
/proc/9104/statm: 644246 382321 474 189 0 638595 0
Current children cumulated CPU time (s) 778.47
Current children cumulated vsize (KiB) 2576984

[startup+58.4198 s]
/proc/loadavg: 22.59 28.61 30.78 2/414 9138
/proc/meminfo: memFree=260549780/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=2576984 CPUtime=779.29 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 388442 0 0 0 76683 1246 0 0 25 0 1 0 43715563 2638831616 382227 270582939648 4194304 4964800 140735337797808 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/9104/statm: 644246 382227 474 189 0 638595 0
Current children cumulated CPU time (s) 779.29
Current children cumulated vsize (KiB) 2576984

[startup+59.2008 s]
/proc/loadavg: 22.59 28.61 30.78 2/414 9138
/proc/meminfo: memFree=260549780/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=2576984 CPUtime=780.07 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 388442 0 0 0 76761 1246 0 0 25 0 1 0 43715563 2638831616 381642 270582939648 4194304 4964800 140735337797808 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/9104/statm: 644246 381642 474 189 0 638595 0
Current children cumulated CPU time (s) 780.07
Current children cumulated vsize (KiB) 2576984

[startup+59.4008 s]
/proc/loadavg: 22.59 28.61 30.78 2/414 9138
/proc/meminfo: memFree=260681096/264257624 swapFree=67111528/67111528
[pid=9104] ppid=9102 vsize=1754652 CPUtime=780.28 cores=0-31
/proc/9104/stat : 9104 (claspmt) R 9102 9104 8998 0 -1 4202496 388442 0 0 0 76779 1249 0 0 25 0 1 0 43715563 1796763648 286412 270582939648 4194304 4964800 140735337797808 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/9104/statm: 438663 286412 474 189 0 433012 0
Current children cumulated CPU time (s) 780.28
Current children cumulated vsize (KiB) 1754652

Child status: 10
Real time (s): 59.5105
CPU time (s): 780.386
CPU user time (s): 767.799
CPU system time (s): 12.5871
CPU usage (%): 1311.34
Max. virtual memory (cumulated for all children) (KiB): 2668488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 767.799
system time used= 12.5871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388443
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= 327900
involuntary context switches= 5739

runsolver used 0.465929 second user time and 1.3288 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 11:08:07
IDJOB=3472498
IDBENCH=83475
IDSOLVER=1961
FILE ID=node200/3472498-1307783286
RUNJOBID= node200-1307783285-9012
PBS_JOBID= 13550776
Free space on /tmp= 61724 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1156050631

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:      262069832 kB
Buffers:        287940 kB
Cached:        1568420 kB
SwapCached:          0 kB
Active:         333012 kB
Inactive:      1586372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262069832 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           21912 kB
Writeback:           0 kB
AnonPages:       64940 kB
Mapped:          15092 kB
Slab:           186472 kB
PageTables:       4804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   170592 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= 61720 MiB
End job on node200 at 2011-06-11 11:09:06