Trace number 3472490

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 353.935 49.9879

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark353.935
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

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

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-3472490-1307772849/watcher-3472490-1307772849 -o /tmp/evaluation-result-3472490-1307772849/solver-3472490-1307772849 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472490-1307772849.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: 23.81 22.95 27.05 1/413 8232
/proc/meminfo: memFree=262089624/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=25172 CPUtime=0.02 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 1647 0 0 0 2 0 0 0 23 0 1 0 42671929 25776128 1495 270582939648 4194304 4964800 140735935082272 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 6293 1496 383 189 0 1167 0

[startup+0.055995 s]
/proc/loadavg: 23.81 22.95 27.05 1/413 8232
/proc/meminfo: memFree=262089624/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=27624 CPUtime=0.04 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 2418 0 0 0 4 0 0 0 23 0 1 0 42671929 28286976 2095 270582939648 4194304 4964800 140735935082272 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 6906 2098 386 189 0 1780 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27624

[startup+0.100995 s]
/proc/loadavg: 23.81 22.95 27.05 1/413 8232
/proc/meminfo: memFree=262089624/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=32712 CPUtime=0.09 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 4014 0 0 0 8 1 0 0 23 0 1 0 42671929 33497088 3389 270582939648 4194304 4964800 140735935082272 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 8178 3392 386 189 0 3052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32712

[startup+0.301007 s]
/proc/loadavg: 23.81 22.95 27.05 1/413 8232
/proc/meminfo: memFree=262089624/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=54416 CPUtime=0.28 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 10662 0 0 0 25 3 0 0 25 0 1 0 42671929 55721984 8752 270582939648 4194304 4964800 140735935082272 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 13604 8753 386 189 0 8478 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 54416

[startup+0.701025 s]
/proc/loadavg: 23.81 22.95 27.05 1/413 8232
/proc/meminfo: memFree=262089624/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=87476 CPUtime=0.69 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 19137 0 0 0 63 6 0 0 25 0 1 0 42671929 89575424 16214 270582939648 4194304 4964800 140735935082272 18446744073709551615 4607549 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 21869 16214 400 189 0 16743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87476

[startup+1.50104 s]
/proc/loadavg: 21.99 22.58 26.91 2/414 8233
/proc/meminfo: memFree=262025392/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=87476 CPUtime=1.49 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 19137 0 0 0 143 6 0 0 25 0 1 0 42671929 89575424 16214 270582939648 4194304 4964800 140735935082272 18446744073709551615 4602392 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 21869 16214 400 189 0 16743 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87476

[startup+3.10111 s]
/proc/loadavg: 21.99 22.58 26.91 2/414 8233
/proc/meminfo: memFree=262024768/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=87476 CPUtime=3.09 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 19137 0 0 0 303 6 0 0 25 0 1 0 42671929 89575424 16214 270582939648 4194304 4964800 140735935082272 18446744073709551615 4607486 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 21869 16214 400 189 0 16743 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87476

[startup+6.30121 s]
/proc/loadavg: 21.99 22.58 26.91 2/414 8233
/proc/meminfo: memFree=262025148/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=87476 CPUtime=6.29 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 19137 0 0 0 623 6 0 0 25 0 1 0 42671929 89575424 16214 270582939648 4194304 4964800 140735935082272 18446744073709551615 4607648 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 21869 16214 400 189 0 16743 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87476

[startup+12.7004 s]
/proc/loadavg: 18.76 21.87 26.63 2/414 8233
/proc/meminfo: memFree=262026408/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=87476 CPUtime=12.69 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 19137 0 0 0 1263 6 0 0 25 0 1 0 42671929 89575424 16214 270582939648 4194304 4964800 140735935082272 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 21869 16214 400 189 0 16743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87476

[startup+25.5009 s]
/proc/loadavg: 16.03 21.18 26.36 2/414 8235
/proc/meminfo: memFree=262028172/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=87476 CPUtime=25.49 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 19137 0 0 0 2543 6 0 0 25 0 1 0 42671929 89575424 16214 270582939648 4194304 4964800 140735935082272 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8232/statm: 21869 16214 400 189 0 16743 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87476

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

[startup+38.3023 s]
/proc/loadavg: 15.02 20.68 26.10 5/445 8266
/proc/meminfo: memFree=261176132/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=1557676 CPUtime=57.19 cores=0-31
/proc/8232/stat : 8232 (claspmt) S 8230 8232 8127 0 -1 4202496 237824 0 0 0 4695 1024 0 0 18 0 32 0 42671929 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8232/statm: 389419 232257 440 189 0 383768 0
[pid=8232/tid=8236] ppid=8230 vsize=1557676 CPUtime=0.49 cores=0-31
/proc/8232/task/8236/stat : 8236 (claspmt) S 8230 8232 8127 0 -1 4202560 5925 0 0 0 14 35 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604709792783840 0 0 -1 5 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1557676 CPUtime=0.44 cores=0-31
/proc/8232/task/8237/stat : 8237 (claspmt) S 8230 8232 8127 0 -1 4202560 5777 0 0 0 14 30 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604574203903456 0 0 -1 26 0 0 0
[pid=8232/tid=8238] ppid=8230 vsize=1557676 CPUtime=0.47 cores=0-31
/proc/8232/task/8238/stat : 8238 (claspmt) S 8230 8232 8127 0 -1 4202560 6723 0 0 0 16 31 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604711380139488 0 0 -1 19 0 0 0
[pid=8232/tid=8239] ppid=8230 vsize=1557676 CPUtime=0.41 cores=0-31
/proc/8232/task/8239/stat : 8239 (claspmt) S 8230 8232 8127 0 -1 4202560 6265 0 0 0 12 29 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604498511355360 0 0 -1 7 0 0 0
[pid=8232/tid=8240] ppid=8230 vsize=1557676 CPUtime=2.53 cores=0-31
/proc/8232/task/8240/stat : 8240 (claspmt) R 8230 8232 8127 0 -1 4202560 11307 0 0 0 217 36 0 0 18 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8232/tid=8241] ppid=8230 vsize=1557676 CPUtime=0.5 cores=0-31
/proc/8232/task/8241/stat : 8241 (claspmt) S 8230 8232 8127 0 -1 4202560 6310 0 0 0 15 35 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604488248819168 0 0 -1 16 0 0 0
[pid=8232/tid=8242] ppid=8230 vsize=1557676 CPUtime=0.44 cores=0-31
/proc/8232/task/8242/stat : 8242 (claspmt) S 8230 8232 8127 0 -1 4202560 6447 0 0 0 13 31 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604500084211168 0 0 -1 6 0 0 0
[pid=8232/tid=8243] ppid=8230 vsize=1557676 CPUtime=0.46 cores=0-31
/proc/8232/task/8243/stat : 8243 (claspmt) S 8230 8232 8127 0 -1 4202560 6055 0 0 0 15 31 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604505536634336 0 0 -1 1 0 0 0
[pid=8232/tid=8244] ppid=8230 vsize=1557676 CPUtime=0.47 cores=0-31
/proc/8232/task/8244/stat : 8244 (claspmt) S 8230 8232 8127 0 -1 4202560 6464 0 0 0 13 34 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604483524083168 0 0 -1 18 0 0 0
[pid=8232/tid=8245] ppid=8230 vsize=1557676 CPUtime=0.5 cores=0-31
/proc/8232/task/8245/stat : 8245 (claspmt) S 8230 8232 8127 0 -1 4202560 6446 0 0 0 15 35 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604504661007840 0 0 -1 25 0 0 0
[pid=8232/tid=8246] ppid=8230 vsize=1557676 CPUtime=0.5 cores=0-31
/proc/8232/task/8246/stat : 8246 (claspmt) S 8230 8232 8127 0 -1 4202560 6517 0 0 0 14 36 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604497697545696 0 0 -1 17 0 0 0
[pid=8232/tid=8247] ppid=8230 vsize=1557676 CPUtime=0.46 cores=0-31
/proc/8232/task/8247/stat : 8247 (claspmt) S 8230 8232 8127 0 -1 4202560 6360 0 0 0 13 33 0 0 16 0 32 0 42675333 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604706827001312 0 0 -1 21 0 0 0
[pid=8232/tid=8248] ppid=8230 vsize=1557676 CPUtime=2.55 cores=0-31
/proc/8232/task/8248/stat : 8248 (claspmt) R 8230 8232 8127 0 -1 4202560 9947 0 0 0 220 35 0 0 18 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8232/tid=8249] ppid=8230 vsize=1557676 CPUtime=0.49 cores=0-31
/proc/8232/task/8249/stat : 8249 (claspmt) S 8230 8232 8127 0 -1 4202560 7075 0 0 0 17 32 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604490054884832 0 0 -1 30 0 0 0
[pid=8232/tid=8250] ppid=8230 vsize=1557676 CPUtime=0.53 cores=0-31
/proc/8232/task/8250/stat : 8250 (claspmt) S 8230 8232 8127 0 -1 4202560 6581 0 0 0 18 35 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604709818957280 0 0 -1 24 0 0 0
[pid=8232/tid=8251] ppid=8230 vsize=1557676 CPUtime=0.47 cores=0-31
/proc/8232/task/8251/stat : 8251 (claspmt) S 8230 8232 8127 0 -1 4202560 6733 0 0 0 18 29 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604571397479904 0 0 -1 12 0 0 0
[pid=8232/tid=8252] ppid=8230 vsize=1557676 CPUtime=0.45 cores=0-31
/proc/8232/task/8252/stat : 8252 (claspmt) S 8230 8232 8127 0 -1 4202560 6158 0 0 0 14 31 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604704454221280 0 0 -1 14 0 0 0
[pid=8232/tid=8253] ppid=8230 vsize=1557676 CPUtime=0.48 cores=0-31
/proc/8232/task/8253/stat : 8253 (claspmt) S 8230 8232 8127 0 -1 4202560 6237 0 0 0 14 34 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604494732393952 0 0 -1 2 0 0 0
[pid=8232/tid=8254] ppid=8230 vsize=1557676 CPUtime=0.4 cores=0-31
/proc/8232/task/8254/stat : 8254 (claspmt) S 8230 8232 8127 0 -1 4202560 6202 0 0 0 15 25 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604506172595680 0 0 -1 10 0 0 0
[pid=8232/tid=8255] ppid=8230 vsize=1557676 CPUtime=0.44 cores=0-31
/proc/8232/task/8255/stat : 8255 (claspmt) S 8230 8232 8127 0 -1 4202560 6913 0 0 0 14 30 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604483524558304 0 0 -1 3 0 0 0
[pid=8232/tid=8256] ppid=8230 vsize=1557676 CPUtime=2.59 cores=0-31
/proc/8232/task/8256/stat : 8256 (claspmt) R 8230 8232 8127 0 -1 4202560 10214 0 0 0 220 39 0 0 18 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8232/tid=8257] ppid=8230 vsize=1557676 CPUtime=0.46 cores=0-31
/proc/8232/task/8257/stat : 8257 (claspmt) S 8230 8232 8127 0 -1 4202560 5971 0 0 0 12 34 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604497771134432 0 0 -1 18 0 0 0
[pid=8232/tid=8258] ppid=8230 vsize=1557676 CPUtime=0.53 cores=0-31
/proc/8232/task/8258/stat : 8258 (claspmt) S 8230 8232 8127 0 -1 4202560 6433 0 0 0 18 35 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604500573896160 0 0 -1 9 0 0 0
[pid=8232/tid=8259] ppid=8230 vsize=1557676 CPUtime=0.5 cores=0-31
/proc/8232/task/8259/stat : 8259 (claspmt) S 8230 8232 8127 0 -1 4202560 6604 0 0 0 17 33 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604501754985952 0 0 -1 28 0 0 0
[pid=8232/tid=8260] ppid=8230 vsize=1557676 CPUtime=0.46 cores=0-31
/proc/8232/task/8260/stat : 8260 (claspmt) S 8230 8232 8127 0 -1 4202560 5883 0 0 0 14 32 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604497141177824 0 0 -1 13 0 0 0
[pid=8232/tid=8261] ppid=8230 vsize=1557676 CPUtime=0.45 cores=0-31
/proc/8232/task/8261/stat : 8261 (claspmt) S 8230 8232 8127 0 -1 4202560 6316 0 0 0 16 29 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604565103050208 0 0 -1 20 0 0 0
[pid=8232/tid=8262] ppid=8230 vsize=1557676 CPUtime=0.5 cores=0-31
/proc/8232/task/8262/stat : 8262 (claspmt) S 8230 8232 8127 0 -1 4202560 7184 0 0 0 19 31 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604498300452320 0 0 -1 29 0 0 0
[pid=8232/tid=8263] ppid=8230 vsize=1557676 CPUtime=0.45 cores=0-31
/proc/8232/task/8263/stat : 8263 (claspmt) S 8230 8232 8127 0 -1 4202560 5787 0 0 0 14 31 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604500472020448 0 0 -1 0 0 0 0
[pid=8232/tid=8264] ppid=8230 vsize=1557676 CPUtime=2.49 cores=0-31
/proc/8232/task/8264/stat : 8264 (claspmt) R 8230 8232 8127 0 -1 4202560 10656 0 0 0 218 31 0 0 18 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8232/tid=8265] ppid=8230 vsize=1557676 CPUtime=0.41 cores=0-31
/proc/8232/task/8265/stat : 8265 (claspmt) S 8230 8232 8127 0 -1 4202560 6627 0 0 0 14 27 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604498300485088 0 0 -1 31 0 0 0
[pid=8232/tid=8266] ppid=8230 vsize=1557676 CPUtime=0.46 cores=0-31
/proc/8232/task/8266/stat : 8266 (claspmt) S 8230 8232 8127 0 -1 4202560 6086 0 0 0 16 30 0 0 16 0 32 0 42675334 1595060224 232257 270582939648 4194304 4964800 140735935082272 18446744073709551615 258662772457 0 0 4096 18946 18446604710936460768 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 57.19
Current children cumulated vsize (KiB) 1557676

[startup+44.7014 s]
/proc/loadavg: 16.54 20.90 26.15 33/445 8266
/proc/meminfo: memFree=260875676/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=1626496 CPUtime=244.41 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 314594 0 0 0 23340 1101 0 0 25 0 32 0 42671929 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/8232/statm: 406624 309006 461 189 0 400973 0
[pid=8232/tid=8236] ppid=8230 vsize=1626496 CPUtime=6.27 cores=0-31
/proc/8232/task/8236/stat : 8236 (claspmt) R 8230 8232 8127 0 -1 4202560 9067 0 0 0 589 38 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1626496 CPUtime=6.25 cores=0-31
/proc/8232/task/8237/stat : 8237 (claspmt) R 8230 8232 8127 0 -1 4202560 6575 0 0 0 594 31 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8232/tid=8238] ppid=8230 vsize=1626496 CPUtime=6.25 cores=0-31
/proc/8232/task/8238/stat : 8238 (claspmt) R 8230 8232 8127 0 -1 4202560 7644 0 0 0 593 32 0 0 18 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8232/tid=8239] ppid=8230 vsize=1626496 CPUtime=6.2 cores=0-31
/proc/8232/task/8239/stat : 8239 (claspmt) R 8230 8232 8127 0 -1 4202560 9672 0 0 0 588 32 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8232/tid=8240] ppid=8230 vsize=1626496 CPUtime=8.72 cores=0-31
/proc/8232/task/8240/stat : 8240 (claspmt) R 8230 8232 8127 0 -1 4202560 11368 0 0 0 835 37 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8232/tid=8241] ppid=8230 vsize=1626496 CPUtime=6.33 cores=0-31
/proc/8232/task/8241/stat : 8241 (claspmt) R 8230 8232 8127 0 -1 4202560 8638 0 0 0 596 37 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8232/tid=8242] ppid=8230 vsize=1626496 CPUtime=6.24 cores=0-31
/proc/8232/task/8242/stat : 8242 (claspmt) R 8230 8232 8127 0 -1 4202560 9864 0 0 0 590 34 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8232/tid=8243] ppid=8230 vsize=1626496 CPUtime=6.24 cores=0-31
/proc/8232/task/8243/stat : 8243 (claspmt) R 8230 8232 8127 0 -1 4202560 9055 0 0 0 591 33 0 0 18 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4359904 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8232/tid=8244] ppid=8230 vsize=1626496 CPUtime=6.25 cores=0-31
/proc/8232/task/8244/stat : 8244 (claspmt) R 8230 8232 8127 0 -1 4202560 10106 0 0 0 588 37 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8232/tid=8245] ppid=8230 vsize=1626496 CPUtime=6.33 cores=0-31
/proc/8232/task/8245/stat : 8245 (claspmt) R 8230 8232 8127 0 -1 4202560 6919 0 0 0 597 36 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4669503 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8232/tid=8246] ppid=8230 vsize=1626496 CPUtime=6.29 cores=0-31
/proc/8232/task/8246/stat : 8246 (claspmt) R 8230 8232 8127 0 -1 4202560 9862 0 0 0 589 40 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8232/tid=8247] ppid=8230 vsize=1626496 CPUtime=6.26 cores=0-31
/proc/8232/task/8247/stat : 8247 (claspmt) R 8230 8232 8127 0 -1 4202560 9652 0 0 0 589 37 0 0 25 0 32 0 42675333 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8232/tid=8248] ppid=8230 vsize=1626496 CPUtime=8.91 cores=0-31
/proc/8232/task/8248/stat : 8248 (claspmt) R 8230 8232 8127 0 -1 4202560 10002 0 0 0 856 35 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8232/tid=8249] ppid=8230 vsize=1626496 CPUtime=6.31 cores=0-31
/proc/8232/task/8249/stat : 8249 (claspmt) R 8230 8232 8127 0 -1 4202560 10078 0 0 0 597 34 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8232/tid=8250] ppid=8230 vsize=1626496 CPUtime=6.34 cores=0-31
/proc/8232/task/8250/stat : 8250 (claspmt) R 8230 8232 8127 0 -1 4202560 9531 0 0 0 596 38 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4627509 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8232/tid=8251] ppid=8230 vsize=1626496 CPUtime=6.27 cores=0-31
/proc/8232/task/8251/stat : 8251 (claspmt) R 8230 8232 8127 0 -1 4202560 10303 0 0 0 594 33 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=8232/tid=8252] ppid=8230 vsize=1626496 CPUtime=6.24 cores=0-31
/proc/8232/task/8252/stat : 8252 (claspmt) R 8230 8232 8127 0 -1 4202560 9852 0 0 0 588 36 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8232/tid=8253] ppid=8230 vsize=1626496 CPUtime=6.28 cores=0-31
/proc/8232/task/8253/stat : 8253 (claspmt) R 8230 8232 8127 0 -1 4202560 8572 0 0 0 591 37 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 258650613536 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8232/tid=8254] ppid=8230 vsize=1626496 CPUtime=6.2 cores=0-31
/proc/8232/task/8254/stat : 8254 (claspmt) R 8230 8232 8127 0 -1 4202560 6922 0 0 0 593 27 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4363491 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8232/tid=8255] ppid=8230 vsize=1626496 CPUtime=6.26 cores=0-31
/proc/8232/task/8255/stat : 8255 (claspmt) R 8230 8232 8127 0 -1 4202560 9774 0 0 0 593 33 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670542 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8232/tid=8256] ppid=8230 vsize=1626496 CPUtime=8.85 cores=0-31
/proc/8232/task/8256/stat : 8256 (claspmt) R 8230 8232 8127 0 -1 4202560 10264 0 0 0 846 39 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8232/tid=8257] ppid=8230 vsize=1626496 CPUtime=6.28 cores=0-31
/proc/8232/task/8257/stat : 8257 (claspmt) R 8230 8232 8127 0 -1 4202560 8689 0 0 0 592 36 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4669153 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8232/tid=8258] ppid=8230 vsize=1626496 CPUtime=6.32 cores=0-31
/proc/8232/task/8258/stat : 8258 (claspmt) R 8230 8232 8127 0 -1 4202560 10140 0 0 0 593 39 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8232/tid=8259] ppid=8230 vsize=1626496 CPUtime=6.3 cores=0-31
/proc/8232/task/8259/stat : 8259 (claspmt) R 8230 8232 8127 0 -1 4202560 10263 0 0 0 593 37 0 0 18 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8232/tid=8260] ppid=8230 vsize=1626496 CPUtime=6.24 cores=0-31
/proc/8232/task/8260/stat : 8260 (claspmt) R 8230 8232 8127 0 -1 4202560 8503 0 0 0 589 35 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8232/tid=8261] ppid=8230 vsize=1626496 CPUtime=6.28 cores=0-31
/proc/8232/task/8261/stat : 8261 (claspmt) R 8230 8232 8127 0 -1 4202560 6678 0 0 0 599 29 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8232/tid=8262] ppid=8230 vsize=1626496 CPUtime=6.34 cores=0-31
/proc/8232/task/8262/stat : 8262 (claspmt) R 8230 8232 8127 0 -1 4202560 11518 0 0 0 600 34 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8232/tid=8263] ppid=8230 vsize=1626496 CPUtime=6.25 cores=0-31
/proc/8232/task/8263/stat : 8263 (claspmt) R 8230 8232 8127 0 -1 4202560 8747 0 0 0 591 34 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8232/tid=8264] ppid=8230 vsize=1626496 CPUtime=8.75 cores=0-31
/proc/8232/task/8264/stat : 8264 (claspmt) R 8230 8232 8127 0 -1 4202560 10744 0 0 0 844 31 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=8232/tid=8265] ppid=8230 vsize=1626496 CPUtime=6.07 cores=0-31
/proc/8232/task/8265/stat : 8265 (claspmt) R 8230 8232 8127 0 -1 4202560 9556 0 0 0 578 29 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8232/tid=8266] ppid=8230 vsize=1626496 CPUtime=6.27 cores=0-31
/proc/8232/task/8266/stat : 8266 (claspmt) R 8230 8232 8127 0 -1 4202560 9151 0 0 0 593 34 0 0 25 0 32 0 42675334 1665531904 309006 270582939648 4194304 4964800 140735935082272 18446744073709551615 4669523 0 0 4096 18946 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 244.41
Current children cumulated vsize (KiB) 1626496

[startup+47.9016 s]
/proc/loadavg: 17.78 21.08 26.18 33/445 8266
/proc/meminfo: memFree=260798864/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=1692536 CPUtime=346.67 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 331849 0 0 0 33543 1124 0 0 25 0 32 0 42671929 1733156864 326261 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/8232/statm: 423134 326261 461 189 0 417483 0
[pid=8232/tid=8236] ppid=8230 vsize=1692536 CPUtime=9.47 cores=0-31
/proc/8232/task/8236/stat : 8236 (claspmt) R 8230 8232 8127 0 -1 4202560 9319 0 0 0 909 38 0 0 25 0 32 0 42675333 1733156864 326261 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8232/tid=8237] ppid=8230 vsize=1692536 CPUtime=9.45 cores=0-31
/proc/8232/task/8237/stat : 8237 (claspmt) R 8230 8232 8127 0 -1 4202560 6969 0 0 0 913 32 0 0 22 0 32 0 42675333 1733156864 326261 270582939648 4194304 4964800 140735935082272 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8232/tid=8238] ppid=8230 vsize=1692536 CPUtime=9.45 cores=0-31
/proc/8232/task/8238/stat : 8238 (claspmt) R 8230 8232 8127 0 -1 4202560 8060 0 0 0 912 33 0 0 25 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8232/tid=8239] ppid=8230 vsize=1692536 CPUtime=9.39 cores=0-31
/proc/8232/task/8239/stat : 8239 (claspmt) R 8230 8232 8127 0 -1 4202560 9946 0 0 0 907 32 0 0 25 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4627424 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8232/tid=8240] ppid=8230 vsize=1692536 CPUtime=11.92 cores=0-31
/proc/8232/task/8240/stat : 8240 (claspmt) R 8230 8232 8127 0 -1 4202560 11380 0 0 0 1155 37 0 0 25 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4668588 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8232/tid=8241] ppid=8230 vsize=1692536 CPUtime=9.52 cores=0-31
/proc/8232/task/8241/stat : 8241 (claspmt) R 8230 8232 8127 0 -1 4202560 9192 0 0 0 915 37 0 0 25 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8232/tid=8242] ppid=8230 vsize=1692536 CPUtime=9.44 cores=0-31
/proc/8232/task/8242/stat : 8242 (claspmt) R 8230 8232 8127 0 -1 4202560 10304 0 0 0 909 35 0 0 25 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4627309 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8232/tid=8243] ppid=8230 vsize=1692536 CPUtime=9.44 cores=0-31
/proc/8232/task/8243/stat : 8243 (claspmt) R 8230 8232 8127 0 -1 4202560 9162 0 0 0 911 33 0 0 25 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8232/tid=8244] ppid=8230 vsize=1692536 CPUtime=9.45 cores=0-31
/proc/8232/task/8244/stat : 8244 (claspmt) R 8230 8232 8127 0 -1 4202560 10417 0 0 0 908 37 0 0 25 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8232/tid=8245] ppid=8230 vsize=1692536 CPUtime=9.53 cores=0-31
/proc/8232/task/8245/stat : 8245 (claspmt) R 8230 8232 8127 0 -1 4202560 10376 0 0 0 913 40 0 0 20 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8232/tid=8246] ppid=8230 vsize=1692536 CPUtime=9.49 cores=0-31
/proc/8232/task/8246/stat : 8246 (claspmt) R 8230 8232 8127 0 -1 4202560 10270 0 0 0 907 42 0 0 21 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8232/tid=8247] ppid=8230 vsize=1692536 CPUtime=9.46 cores=0-31
/proc/8232/task/8247/stat : 8247 (claspmt) R 8230 8232 8127 0 -1 4202560 9918 0 0 0 908 38 0 0 25 0 32 0 42675333 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8232/tid=8248] ppid=8230 vsize=1692536 CPUtime=12.11 cores=0-31
/proc/8232/task/8248/stat : 8248 (claspmt) R 8230 8232 8127 0 -1 4202560 10012 0 0 0 1176 35 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8232/tid=8249] ppid=8230 vsize=1692536 CPUtime=9.51 cores=0-31
/proc/8232/task/8249/stat : 8249 (claspmt) R 8230 8232 8127 0 -1 4202560 10503 0 0 0 916 35 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4361247 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8232/tid=8250] ppid=8230 vsize=1692536 CPUtime=9.54 cores=0-31
/proc/8232/task/8250/stat : 8250 (claspmt) R 8230 8232 8127 0 -1 4202560 10132 0 0 0 914 40 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8232/tid=8251] ppid=8230 vsize=1692536 CPUtime=9.47 cores=0-31
/proc/8232/task/8251/stat : 8251 (claspmt) R 8230 8232 8127 0 -1 4202560 10421 0 0 0 914 33 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=8232/tid=8252] ppid=8230 vsize=1692536 CPUtime=9.44 cores=0-31
/proc/8232/task/8252/stat : 8252 (claspmt) R 8230 8232 8127 0 -1 4202560 10048 0 0 0 907 37 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8232/tid=8253] ppid=8230 vsize=1692536 CPUtime=9.48 cores=0-31
/proc/8232/task/8253/stat : 8253 (claspmt) R 8230 8232 8127 0 -1 4202560 9182 0 0 0 911 37 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670144 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8232/tid=8254] ppid=8230 vsize=1692536 CPUtime=9.4 cores=0-31
/proc/8232/task/8254/stat : 8254 (claspmt) R 8230 8232 8127 0 -1 4202560 10558 0 0 0 911 29 0 0 18 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8232/tid=8255] ppid=8230 vsize=1692536 CPUtime=9.46 cores=0-31
/proc/8232/task/8255/stat : 8255 (claspmt) R 8230 8232 8127 0 -1 4202560 10106 0 0 0 912 34 0 0 22 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8232/tid=8256] ppid=8230 vsize=1692536 CPUtime=12.05 cores=0-31
/proc/8232/task/8256/stat : 8256 (claspmt) R 8230 8232 8127 0 -1 4202560 10275 0 0 0 1165 40 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8232/tid=8257] ppid=8230 vsize=1692536 CPUtime=9.48 cores=0-31
/proc/8232/task/8257/stat : 8257 (claspmt) R 8230 8232 8127 0 -1 4202560 9124 0 0 0 911 37 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8232/tid=8258] ppid=8230 vsize=1692536 CPUtime=9.51 cores=0-31
/proc/8232/task/8258/stat : 8258 (claspmt) R 8230 8232 8127 0 -1 4202560 10797 0 0 0 912 39 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8232/tid=8259] ppid=8230 vsize=1692536 CPUtime=9.49 cores=0-31
/proc/8232/task/8259/stat : 8259 (claspmt) R 8230 8232 8127 0 -1 4202560 10691 0 0 0 912 37 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8232/tid=8260] ppid=8230 vsize=1692536 CPUtime=9.45 cores=0-31
/proc/8232/task/8260/stat : 8260 (claspmt) R 8230 8232 8127 0 -1 4202560 8805 0 0 0 909 36 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8232/tid=8261] ppid=8230 vsize=1692536 CPUtime=9.48 cores=0-31
/proc/8232/task/8261/stat : 8261 (claspmt) R 8230 8232 8127 0 -1 4202560 7093 0 0 0 918 30 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670434 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8232/tid=8262] ppid=8230 vsize=1692536 CPUtime=9.53 cores=0-31
/proc/8232/task/8262/stat : 8262 (claspmt) R 8230 8232 8127 0 -1 4202560 11865 0 0 0 919 34 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8232/tid=8263] ppid=8230 vsize=1692536 CPUtime=9.44 cores=0-31
/proc/8232/task/8263/stat : 8263 (claspmt) R 8230 8232 8127 0 -1 4202560 9186 0 0 0 909 35 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8232/tid=8264] ppid=8230 vsize=1692536 CPUtime=11.95 cores=0-31
/proc/8232/task/8264/stat : 8264 (claspmt) R 8230 8232 8127 0 -1 4202560 10760 0 0 0 1164 31 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=8232/tid=8265] ppid=8230 vsize=1692536 CPUtime=9.17 cores=0-31
/proc/8232/task/8265/stat : 8265 (claspmt) R 8230 8232 8127 0 -1 4202560 9915 0 0 0 888 29 0 0 25 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8232/tid=8266] ppid=8230 vsize=1692536 CPUtime=9.47 cores=0-31
/proc/8232/task/8266/stat : 8266 (claspmt) R 8230 8232 8127 0 -1 4202560 9837 0 0 0 911 36 0 0 20 0 32 0 42675334 1733156864 326262 270582939648 4194304 4964800 140735935082272 18446744073709551615 4668751 0 0 4096 18946 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 346.67
Current children cumulated vsize (KiB) 1692536

[startup+48.7007 s]
/proc/loadavg: 17.78 21.08 26.18 2/414 8266
/proc/meminfo: memFree=260789052/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=1601032 CPUtime=352.64 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 332388 0 0 0 34139 1125 0 0 25 0 1 0 42671929 1639456768 326350 270582939648 4194304 4964800 140735935082272 18446744073709551615 258650604748 0 0 4096 18946 0 0 0 17 15 0 0 0
/proc/8232/statm: 400258 326350 472 189 0 394607 0
Current children cumulated CPU time (s) 352.64
Current children cumulated vsize (KiB) 1601032

[startup+49.5197 s]
/proc/loadavg: 17.78 21.08 26.18 2/414 8266
/proc/meminfo: memFree=260789920/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=1601032 CPUtime=353.46 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 332388 0 0 0 34221 1125 0 0 25 0 1 0 42671929 1639456768 324899 270582939648 4194304 4964800 140735935082272 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 15 0 0 0
/proc/8232/statm: 400258 324899 472 189 0 394607 0
Current children cumulated CPU time (s) 353.46
Current children cumulated vsize (KiB) 1601032

[startup+49.9007 s]
/proc/loadavg: 17.78 21.08 26.18 2/414 8266
/proc/meminfo: memFree=260789920/264257624 swapFree=67111528/67111528
[pid=8232] ppid=8230 vsize=1491648 CPUtime=353.84 cores=0-31
/proc/8232/stat : 8232 (claspmt) R 8230 8232 8127 0 -1 4202496 332388 0 0 0 34258 1126 0 0 25 0 1 0 42671929 1527447552 278007 270582939648 4194304 4964800 140735935082272 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 15 0 0 0
/proc/8232/statm: 372912 278007 472 189 0 367261 0
Current children cumulated CPU time (s) 353.84
Current children cumulated vsize (KiB) 1491648

Child status: 10
Real time (s): 49.9879
CPU time (s): 353.935
CPU user time (s): 342.583
CPU system time (s): 11.3523
CPU usage (%): 708.042
Max. virtual memory (cumulated for all children) (KiB): 1692536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 342.583
system time used= 11.3523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332389
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= 292880
involuntary context switches= 4289

runsolver used 0.383941 second user time and 1.12983 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 08:14:10
IDJOB=3472490
IDBENCH=83450
IDSOLVER=1961
FILE ID=node200/3472490-1307772849
RUNJOBID= node200-1307772584-8141
PBS_JOBID= 13550763
Free space on /tmp= 61724 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.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-3472490-1307772849/watcher-3472490-1307772849 -o /tmp/evaluation-result-3472490-1307772849/solver-3472490-1307772849 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472490-1307772849.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=316563690

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:      262090788 kB
Buffers:        285596 kB
Cached:        1555948 kB
SwapCached:          0 kB
Active:         331048 kB
Inactive:      1574172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262090788 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           22564 kB
Writeback:           0 kB
AnonPages:       63564 kB
Mapped:          14536 kB
Slab:           185760 kB
PageTables:       4332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   168172 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 08:15:01