Trace number 3472487

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 224.798 10.5194

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark188.113
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...771953/instance-3472487-1307771953.cnf
1.49/1.53	c Solving...
221.28/9.78	c Answer: 1
221.28/9.78	v -1 -2 -3 -4 5 -6 -7 -8 9 -10 -11 12 13 -14 -15 -16 -17 -18 -19 -20 -21
221.28/9.78	v -22 -23 -24 25 -26 -27 28 -29 -30 -31 -32 -33 -34 -35 -36 37 -38 39 -40
221.28/9.78	v 41 -42 -43 -44 -45 -46 -47 48 -49 -50 -51 -52 -53 54 -55 -56 57 -58 -59
221.28/9.78	v -60 -61 -62 63 64 -65 -66 67 -68 -69 70 71 -72 -73 -74 -75 -76 -77 -78
221.28/9.78	v 79 -80 -81 82 83 -84 -85 -86 -87 88 -89 90 91 92 93 94 95 96 97 98 -99
221.28/9.78	v -100 -101 -102 103 -104 -105 -106 -107 108 -109 -110 -111 -112 -113 -114
221.28/9.78	v -115 -116 -117 -118 119 120 121 -122 123 -124 -125 -126 -127 -128 -129
221.28/9.78	v -130 -131 132 133 134 -135 -136 -137 -138 139 140 141 142 143 -144 145
221.28/9.78	v -146 -147 -148 149 150 -151 -152 153 154 155 156 157 -158 159 160 161 -162
221.28/9.78	v 163 164 -165 -166 -167 168 169 -170 171 172 173 174 175 176 177 -178 179
221.28/9.78	v 180 -181 182 183 184 185 186 187 188 -189 -190 191 -192 -193 -194 195 -196
221.28/9.78	v 197 198 199 200 -201 202 203 204 205 206 -207 208 209 -210 211 212 213
221.28/9.78	v 214 215 -216 -217 218 219 -220 221 222 -223 -224 -225 226 227 -228 229
221.28/9.78	v -230 231 -232 -233 -234 -235 -236 -237 -238 -239 240 -241 242 -243 -244
221.28/9.78	v -245 -246 -247 -248 -249 -250 -251 252 -253 254 255 -256 257 258 259 260
221.28/9.78	v -261 262 263 264 265 -266 -267 268 -269 270 -271 -272 -273 -274 -275 -276
221.28/9.78	v -277 278 279 -280 -281 -282 283 -284 -285 -286 -287 -288 289 290 -291 -292
221.28/9.78	v -293 -294 -295 -296 297 -298 -299 -300 -301 -302 -303 304 -305 -306 -307
221.28/9.78	v -308 309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322
221.28/9.78	v -323 -324 325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337
221.28/9.78	v -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 352
221.28/9.78	v 353 -354 -355 -356 -357 -358 -359 -360 -361 362 -363 -364 -365 -366 -367
221.28/9.78	v -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 382
221.28/9.78	v 383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397
221.28/9.78	v -398 399 400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412
221.28/9.78	v -413 -414 -415 -416 -417 -418 419 420 421 422 423 424 -425 -426 -427 -428
221.28/9.78	v -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 440 -441 -442 -443
221.28/9.78	v -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458
221.28/9.78	v -459 -460 461 -462 -463 -464 -465 -466 -467 -468 469 470 471 472 473 474
221.28/9.78	v 475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489
221.28/9.78	v -490 -491 -492 -493 -494 -495 496 -497 -498 -499 -500 -501 -502 -503 -504
221.28/9.78	v -505 -506 -507 -508 -509 -510 511 -512 -513 -514 -515 -516 -517 -518 -519
221.28/9.78	v -520 -521 -522 523 524 525 526 527 528 529 530 531 -532 -533 -534 -535
221.28/9.78	v -536 -537 -538 -539 -540 -541 -542 543 544 545 546 547 -548 -549 -550 -551
221.28/9.78	v -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566
221.28/9.78	v 567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581
221.28/9.78	v 582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596
221.28/9.78	v -597 -598 -599 -600 -601 -602 603 -604 -605 -606 -607 -608 -609 -610 -611
221.28/9.78	v -612 -613 -614 -615 -616 -617 -618 -619 620 621 622 -623 -624 -625 -626
221.28/9.78	v -627 -628 -629 -630 -631 632 633 634 -635 -636 -637 -638 -639 -640 -641
221.28/9.78	v -642 -643 -644 -645 -646 -647 -648 649 650 651 652 653 654 -655 -656 -657
221.28/9.78	v -658 -659 -660 -661 -662 -663 -664 -665 -666 667 668 -669 -670 -671 -672
221.28/9.78	v -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 685 686 687
221.28/9.78	v 688 689 690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702
221.28/9.78	v -703 704 705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717
221.28/9.78	v -718 -719 -720 -721 -722 -723 -724 725 726 -727 -728 -729 -730 -731 -732
221.28/9.78	v -733 -734 -735 -736 -737 -738 -739 -740 -741 742 743 -744 -745 -746 -747
221.28/9.78	v -748 -749 -750 -751 -752 -753 -754 -755 -756 757 758 759 -760 -761 -762
221.28/9.78	v -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 777
221.28/9.78	v 778 779 780 781 782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793
221.28/9.78	v -794 -795 -796 -797 -798 799 -800 -801 -802 -803 -804 -805 -806 -807 -808
221.28/9.78	v -809 -810 -811 -812 813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823
221.28/9.78	v -824 -825 -826 -827 -828 -829 830 831 -832 -833 -834 -835 -836 -837 -838
221.28/9.78	v -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853
221.28/9.78	v 854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 865 -866 -867 -868
221.28/9.78	v -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 883
221.28/9.78	v -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898
221.28/9.78	v -899 -900 -901 902 903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913
221.28/9.78	v -914 -915 -916 -917 -918 -919 920 -921 -922 -923 -924 -925 -926 -927 -928
221.28/9.78	v -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 942 943
221.28/9.78	v -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958
221.28/9.78	v -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973
221.28/9.78	v -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988
221.28/9.78	v -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002
221.28/9.78	v -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014
221.28/9.78	v -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026
221.28/9.78	v -1027 -1028 1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038
221.28/9.78	v -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050
221.28/9.78	v -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062
221.28/9.78	v -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074
221.28/9.78	v -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086
221.28/9.78	v -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098
221.28/9.78	v -1099 -1100 1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110
221.28/9.78	v -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122
221.28/9.78	v -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134
221.28/9.78	v -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146
221.28/9.78	v -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 1155 -1156 -1157 -1158
221.28/9.78	v -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170
221.28/9.78	v -1171 -1172 1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182
221.28/9.78	v -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194
221.28/9.78	v -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206
221.28/9.78	v -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218
221.28/9.78	v -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230
221.28/9.78	v -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242
221.28/9.78	v -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254
221.28/9.78	v -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266
221.28/9.78	v -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278
221.28/9.78	v -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290
221.28/9.78	v -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302
221.28/9.78	v -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314
221.28/9.78	v -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326
221.28/9.78	v -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338
221.28/9.78	v -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350
221.28/9.78	v -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362
221.28/9.78	v -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374
221.28/9.78	v -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386
221.28/9.78	v 1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398
221.28/9.78	v -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410
221.28/9.78	v -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422
221.28/9.78	v -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434
221.28/9.78	v -1435 -1436 -1437 -1438 -1439 -1440 1441 -1442 -1443 -1444 -1445 -1446
221.28/9.78	v -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458
221.28/9.78	v -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470
221.28/9.78	v -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482
221.28/9.78	v -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494
221.28/9.78	v -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506
221.28/9.78	v -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518
221.28/9.78	v -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530
221.28/9.78	v -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542
221.28/9.78	v -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554
221.28/9.78	v -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566
221.28/9.78	v -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578
221.28/9.78	v -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590
221.28/9.78	v -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602
221.28/9.78	v -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 1612 -1613 -1614
221.28/9.78	v -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626
221.28/9.78	v -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638
221.28/9.78	v -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 1649 -1650
221.28/9.78	v -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662
221.28/9.78	v -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674
221.28/9.78	v -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 1684 -1685 -1686
221.28/9.78	v -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698
221.28/9.78	v -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710
221.28/9.78	v -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722
221.28/9.78	v -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734
221.28/9.78	v -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746
221.28/9.78	v -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758
221.28/9.78	v -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770
221.28/9.78	v -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782
221.28/9.78	v -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794
221.28/9.78	v -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806
221.28/9.78	v -1807 -1808 -1809 1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818
221.28/9.78	v -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830
221.28/9.78	v -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842
221.28/9.78	v -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854
221.28/9.78	v -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866
221.28/9.78	v -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878
221.28/9.78	v -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890
221.28/9.78	v -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902
221.28/9.78	v -1903 -1904 -1905 -1906 -1907 -1908 -1909 1910 -1911 -1912 -1913 -1914
221.28/9.78	v -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926
221.28/9.78	v -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938
221.28/9.78	v -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950
221.28/9.78	v -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962
221.28/9.78	v -1963 1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974
221.28/9.78	v -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986
221.28/9.78	v -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998
221.28/9.78	v -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010
221.28/9.78	v -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022
221.28/9.78	v -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034
221.28/9.78	v -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046
221.28/9.78	v -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058
221.28/9.78	v -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070
221.28/9.78	v -2071 -2072 -2073 2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082
221.28/9.78	v -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 2093 -2094
221.28/9.78	v -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106
221.28/9.78	v -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118
221.28/9.78	v -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130
221.28/9.78	v -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142
221.28/9.78	v -2143 -2144 -2145 2146 2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155
221.28/9.78	v -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167
221.28/9.78	v -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179
221.28/9.78	v -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191
221.28/9.78	v -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 2200 2201 -2202 -2203 -2204
221.28/9.78	v -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216
221.28/9.78	v -2217 2218 2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229
221.28/9.78	v -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241
221.28/9.78	v -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253
221.28/9.78	v -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265
221.28/9.78	v -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277
221.28/9.78	v -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289
221.28/9.78	v -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301
221.28/9.78	v -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313
221.28/9.78	v -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325
221.28/9.78	v -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337
221.28/9.78	v -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349
221.28/9.78	v -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 2361
221.28/9.78	v 2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373
221.28/9.78	v -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385
221.28/9.78	v -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397
221.28/9.78	v -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409
221.28/9.78	v -2410 -2411 -2412 -2413 -2414 2415 2416 -2417 -2418 -2419 -2420 -2421 -2422
221.28/9.78	v -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 2433 2434 -2435
221.28/9.78	v -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447
221.28/9.78	v -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459
221.28/9.78	v -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471
221.28/9.78	v -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483
221.28/9.78	v -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495
221.28/9.78	v -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507
221.28/9.78	v -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519
221.28/9.78	v -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 2528 -2529 -2530 -2531
221.28/9.78	v -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543
221.28/9.78	v -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555
221.28/9.78	v -2556 -2557 -2558 -2559 -2560 2561 2562 2563 -2564 -2565 -2566 -2567 -2568
221.28/9.78	v -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580
221.28/9.78	v -2581 -2582 -2583 2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592
221.28/9.78	v -2593 -2594 -2595 -2596 -2597 -2598 2599 -2600 -2601 -2602 -2603 -2604
221.28/9.78	v -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 2615 2616 2617
221.28/9.78	v 2618 2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630
221.28/9.78	v -2631 -2632 2633 2634 2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643
221.28/9.78	v -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 2655
221.28/9.78	v -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667
221.28/9.78	v -2668 -2669 2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679
221.28/9.78	v -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 2691
221.28/9.78	v -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703
221.28/9.78	v -2704 -2705 -2706 -2707 2708 2709 2710 -2711 -2712 -2713 -2714 -2715 -2716
221.28/9.78	v -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728
221.28/9.78	v -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
221.28/9.78	v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752
221.28/9.78	v -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764
221.28/9.78	v -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776
221.28/9.78	v -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788
221.28/9.78	v -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 2798 -2799 -2800
221.28/9.78	v -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812
221.28/9.78	v -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824
221.28/9.78	v -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836
221.28/9.78	v -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848
221.28/9.78	v -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860
221.28/9.78	v -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872
221.28/9.78	v -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884
221.28/9.78	v -2885 -2886 -2887 2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896
221.28/9.78	v -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908
221.28/9.78	v -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920
221.28/9.78	v -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932
221.28/9.78	v -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944
221.28/9.78	v -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956
221.28/9.78	v -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968
221.28/9.78	v -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980
221.28/9.78	v -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992
221.28/9.78	v -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004
221.28/9.78	v -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016
221.28/9.78	v -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028
221.28/9.78	v -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040
221.28/9.78	v -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052
221.28/9.78	v -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064
221.28/9.78	v -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076
221.28/9.78	v -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 3085 -3086 -3087 -3088
221.28/9.78	v -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 3097 3098 3099 3100 3101
221.28/9.78	v 3102 3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114
221.28/9.78	v -3115 -3116 3117 3118 3119 3120 3121 -3122 -3123 -3124 -3125 -3126 -3127
221.28/9.78	v -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139
221.28/9.78	v -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151
221.28/9.78	v -3152 -3153 -3154 -3155 3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163
221.28/9.78	v -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175
221.28/9.78	v -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187
221.28/9.78	v -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199
221.28/9.78	v -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211
221.28/9.78	v -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223
221.28/9.78	v -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235
221.28/9.78	v -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247
221.28/9.78	v -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259
221.28/9.78	v -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271
221.28/9.78	v -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283
221.28/9.78	v -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295
221.28/9.78	v -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 -3306 -3307
221.28/9.78	v -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319
221.28/9.78	v -3320 -3321 3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331
221.28/9.78	v -3332 -3333 -3334 -3335 -3336 3337 -3338 -3339 -3340 -3341 -3342 -3343
221.28/9.78	v -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 3355
221.28/9.78	v -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367
221.28/9.78	v -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379
221.28/9.78	v -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391
221.28/9.78	v -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403
221.28/9.78	v -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415
221.28/9.78	v -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427
221.28/9.78	v -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439
221.28/9.78	v -3440 3441 3442 3443 3444 3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452
221.28/9.78	v -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464
221.28/9.78	v 3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476
221.28/9.78	v -3477 -3478 -3479 3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488
221.28/9.78	v -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500
221.28/9.78	v 3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512
221.28/9.78	v -3513 -3514 -3515 -3516 -3517 3518 3519 -3520 -3521 -3522 -3523 -3524 -3525
221.28/9.78	v -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537
221.28/9.78	v -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549
221.28/9.78	v -3550 -3551 3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561
221.28/9.78	v -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573
221.28/9.78	v -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585
221.28/9.78	v -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597
221.28/9.78	v -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609
221.28/9.78	v -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621
221.28/9.78	v -3622 -3623 -3624 -3625 -3626 3627 -3628 -3629 -3630 -3631 -3632 -3633
221.28/9.78	v -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 3645
221.28/9.78	v -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657
221.28/9.78	v -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669
221.28/9.78	v -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681
221.28/9.78	v -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693
221.28/9.78	v -3694 -3695 -3696 -3697 -3698 3699 -3700 -3701 -3702 -3703 -3704 -3705
221.28/9.78	v -3706 -3707 -3708 -3709 3710 3711 3712 -3713 -3714 -3715 -3716 -3717 -3718
221.28/9.78	v -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 3728 -3729 -3730
221.28/9.78	v -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742
221.28/9.78	v -3743 -3744 -3745 3746 3747 3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755
221.28/9.78	v -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 3764 3765 -3766 -3767 -3768
221.28/9.78	v -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780
221.28/9.78	v -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792
221.28/9.78	v -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 3802 -3803 -3804
221.28/9.78	v -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816
221.28/9.78	v -3817 3818 3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829
221.28/9.78	v -3830 -3831 -3832 -3833 -3834 -3835 -3836 3837 3838 -3839 -3840 -3841 -3842
221.28/9.78	v -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854
221.28/9.78	v -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866
221.28/9.78	v -3867 -3868 -3869 -3870 -3871 -3872 3873 -3874 -3875 -3876 -3877 -3878
221.28/9.78	v -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 3890
221.28/9.78	v 3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902
221.28/9.78	v -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914
221.28/9.78	v -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926
221.28/9.78	v -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938
221.28/9.78	v -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950
221.28/9.78	v -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 3962
221.28/9.78	v 3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974
221.28/9.78	v -3975 -3976 -3977 -3978 -3979 3980 -3981 -3982 -3983 -3984 -3985 -3986
221.28/9.78	v -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998
221.28/9.78	v -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010
221.28/9.78	v -4011 -4012 -4013 -4014 4015 4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023
221.28/9.78	v -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 4033 4034 4035 4036
221.28/9.78	v 4037 4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049
221.28/9.78	v -4050 -4051 4052 4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062
221.28/9.78	v -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 4073 4074 -4075
221.28/9.78	v -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087
221.28/9.78	v -4088 -4089 4090 4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100
221.28/9.78	v -4101 -4102 -4103 -4104 4105 4106 4107 -4108 -4109 -4110 -4111 -4112 -4113
221.28/9.78	v -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 4125
221.28/9.78	v 4126 4127 4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138
221.28/9.78	v -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150
221.28/9.78	v -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 4161 -4162
221.28/9.78	v -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174
221.28/9.78	v -4175 -4176 -4177 4178 4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187
221.28/9.78	v -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199
221.28/9.78	v -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211
221.28/9.78	v -4212 4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223
221.28/9.78	v -4224 -4225 -4226 -4227 -4228 -4229 -4230 4231 -4232 -4233 -4234 -4235
221.28/9.78	v -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247
221.28/9.78	v -4248 -4249 4250 4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260
221.28/9.78	v -4261 -4262 -4263 -4264 -4265 -4266 -4267 4268 -4269 -4270 -4271 -4272
221.28/9.78	v -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284
221.28/9.78	v -4285 -4286 -4287 -4288 -4289 4290 -4291 -4292 -4293 -4294 -4295 -4296
221.28/9.78	v -4297 -4298 -4299 -4300 -4301 -4302 4303 4304 -4305 -4306 -4307 -4308 -4309
221.28/9.78	v -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321
221.28/9.78	v 4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333
221.28/9.78	v -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345
221.28/9.78	v -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357
221.28/9.78	v -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369
221.28/9.78	v -4370 -4371 -4372 -4373 -4374 4375 4376 -4377 -4378 -4379 -4380 -4381 -4382
221.28/9.78	v -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394
221.28/9.78	v -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406
221.28/9.78	v -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418
221.28/9.78	v -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430
221.28/9.78	v -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442
221.28/9.78	v -4443 -4444 -4445 -4446 -4447 4448 -4449 -4450 -4451 -4452 -4453 -4454
221.28/9.78	v -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466
221.28/9.78	v -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478
221.28/9.78	v -4479 -4480 -4481 -4482 4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490
221.28/9.78	v -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 4501 -4502
221.28/9.78	v -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514
221.28/9.78	v -4515 -4516 -4517 -4518 -4519 4520 -4521 -4522 -4523 -4524 -4525 -4526
221.28/9.78	v -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 4538
221.28/9.78	v -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550
221.28/9.78	v -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562
221.28/9.78	v -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 4574
221.28/9.78	v 4575 -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586
221.28/9.78	v -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 4595 4596 -4597 -4598 -4599
221.28/9.78	v -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611
221.28/9.78	v 4612 4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624
221.28/9.78	v -4625 -4626 4627 4628 4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637
221.28/9.78	v -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 4647 4648 4649 4650
221.28/9.78	v -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662
221.28/9.78	v -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674
221.28/9.78	v -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 4683 -4684 -4685 -4686
221.28/9.78	v -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698
221.28/9.78	v -4699 4700 4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711
221.28/9.78	v -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723
221.28/9.78	v -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 4735
221.28/9.78	v -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747
221.28/9.78	v -4748 -4749 -4750 -4751 -4752 4753 -4754 -4755 -4756 -4757 -4758 -4759
221.28/9.78	v -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771
221.28/9.78	v 4772 4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784
221.28/9.78	v -4785 -4786 -4787 -4788 -4789 4790 -4791 -4792 -4793 -4794 -4795 -4796
221.28/9.78	v -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808
221.28/9.78	v -4809 -4810 -4811 4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820
221.28/9.78	v -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832
221.28/9.78	v -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844
221.28/9.78	v -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856
221.28/9.78	v -4857 -4858 -4859 -4860 -4861 4862 4863 -4864 -4865 -4866 -4867 -4868 -4869
221.28/9.78	v -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 4881
221.28/9.78	v -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893
221.28/9.78	v -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905
221.28/9.78	v -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 4917
221.28/9.78	v -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929
221.28/9.78	v -4930 -4931 -4932 -4933 4934 4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942
221.28/9.78	v -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954
221.28/9.78	v -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966
221.28/9.78	v -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978
221.28/9.78	v -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990
221.28/9.78	v -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002
221.28/9.78	v -5003 -5004 -5005 5006 5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015
221.28/9.78	v -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 5024 -5025 -5026 -5027
221.28/9.78	v -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039
221.28/9.78	v -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051
221.28/9.78	v -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 5063
221.28/9.78	v -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075
221.28/9.78	v -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087
221.28/9.78	v -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 5099
221.28/9.78	v 5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111
221.28/9.78	v -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123
221.28/9.78	v -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135
221.28/9.78	v -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147
221.28/9.78	v -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159
221.28/9.78	v -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171
221.28/9.78	v -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183
221.28/9.78	v -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195
221.28/9.78	v -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207
221.28/9.78	v -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219
221.28/9.78	v -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231
221.28/9.78	v -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243
221.28/9.78	v -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255
221.28/9.78	v -5256 -5257 -5258 -5259 -5260 -5261 5262 -5263 -5264 -5265 -5266 -5267
221.28/9.78	v -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279
221.28/9.78	v -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291
221.28/9.78	v -5292 -5293 -5294 -5295 5296 5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304
221.28/9.78	v -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316
221.28/9.78	v -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328
221.28/9.78	v -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340
221.28/9.78	v -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352
221.28/9.78	v -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364
221.28/9.78	v -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376
221.28/9.78	v -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388
221.28/9.78	v -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400
221.28/9.78	v -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412
221.28/9.78	v -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424
221.28/9.78	v -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436
221.28/9.78	v -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448
221.28/9.78	v -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460
221.28/9.78	v -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472
221.28/9.78	v -5473 -5474 5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484
221.28/9.78	v -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496
221.28/9.78	v -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508
221.28/9.78	v -5509 -5510 5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520
221.28/9.78	v -5521 -5522 -5523 -5524 -5525 -5526 -5527 5528 5529 -5530 -5531 -5532 -5533
221.28/9.78	v -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545
221.28/9.78	v -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557
221.28/9.78	v -5558 -5559 -5560 -5561 -5562 5563 -5564 -5565 -5566 -5567 -5568 -5569
221.28/9.78	v -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 5581
221.28/9.78	v -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593
221.28/9.78	v -5594 -5595 -5596 -5597 -5598 -5599 5600 5601 -5602 -5603 -5604 -5605 -5606
221.28/9.78	v -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 5618
221.28/9.78	v -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630
221.28/9.78	v -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642
221.28/9.78	v -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654
221.28/9.78	v -5655 -5656 -5657 -5658 5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666
221.28/9.78	v -5667 -5668 -5669 -5670 -5671 -5672 5673 -5674 -5675 -5676 -5677 -5678
221.28/9.78	v -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690
221.28/9.78	v 5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702
221.28/9.78	v -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 5714
221.28/9.78	v -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726
221.28/9.78	v -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738
221.28/9.78	v -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750
221.28/9.78	v -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762
221.28/9.78	v 5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774
221.28/9.78	v -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786
221.28/9.78	v -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798
221.28/9.78	v -5799 -5800 -5801 5802 5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811
221.28/9.78	v -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823
221.28/9.78	v -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835
221.28/9.78	v -5836 -5837 -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847
221.28/9.78	v -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859
221.28/9.78	v -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871
221.28/9.78	v -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883
221.28/9.78	v -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895
221.28/9.78	v -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 -5907
221.28/9.78	v -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919
221.28/9.78	v -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931
221.28/9.78	v -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943
221.28/9.78	v -5944 -5945 -5946 5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955
221.28/9.78	v -5956 -5957 -5958 -5959 -5960 5961 -5962 -5963 -5964 -5965 -5966 -5967
221.28/9.78	v -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979
221.28/9.78	v -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991
221.28/9.78	v -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003
221.28/9.78	v -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015
221.28/9.78	v -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027
221.28/9.78	v -6028 -6029 -6030 -6031 -6032 6033 -6034 -6035 -6036 -6037 -6038 -6039
221.28/9.78	v -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051
221.28/9.78	v -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063
221.28/9.78	v -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075
221.28/9.78	v -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087
221.28/9.78	v -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099
221.28/9.78	v -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111
221.28/9.78	v -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123
221.28/9.78	v -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135
221.28/9.78	v -6136 -6137 -6138 -6139 6140 6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148
221.28/9.78	v -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 6158 -6159 -6160
221.28/9.78	v -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172
221.28/9.78	v -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184
221.28/9.78	v -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196
221.28/9.78	v -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208
221.28/9.78	v -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220
221.28/9.78	v -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232
221.28/9.78	v -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244
221.28/9.78	v -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256
221.28/9.78	v -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268
221.28/9.78	v -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280
221.28/9.78	v -6281 -6282 6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292
221.28/9.78	v -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304
221.28/9.78	v -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316
221.28/9.78	v -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328
221.28/9.78	v -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340
221.28/9.78	v -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352
221.28/9.78	v -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364
221.28/9.78	v -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376
221.28/9.78	v -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388
221.28/9.78	v -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400
221.28/9.78	v -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 6410 -6411 -6412
221.28/9.78	v -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424
221.28/9.78	v -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436
221.28/9.78	v -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448
221.28/9.78	v -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460
221.28/9.78	v -6461 -6462 -6463 -6464 6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472
221.28/9.78	v -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 6481 -6482 -6483 -6484
221.28/9.78	v -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496
221.28/9.78	v -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 6508
221.28/9.78	v -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 6518 -6519 -6520
221.28/9.78	v -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532
221.28/9.78	v -6533 -6534 -6535 -6536 -6537 6538 -6539 -6540 -6541 -6542 -6543 -6544
221.28/9.78	v -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 6555 -6556
221.28/9.78	v -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568
221.28/9.78	v -6569 -6570 -6571 -6572 -6573 -6574 6575 -6576 -6577 -6578 -6579 -6580
221.28/9.78	v -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592
221.28/9.78	v -6593 -6594 -6595 6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604
221.28/9.78	v -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616
221.28/9.78	v 6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 6625 -6626 -6627 -6628 -6629
221.28/9.78	v -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641
221.28/9.78	v -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 6652 -6653
221.28/9.78	v -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665
221.28/9.78	v -6666 6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677
221.28/9.78	v -6678 6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689
221.28/9.78	v -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 6699 -6700 -6701
221.28/9.78	v -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713
221.28/9.78	v -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 6723 -6724 -6725
221.28/9.78	v -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737
221.28/9.78	v 6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749
221.28/9.78	v -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 6759 -6760 -6761
221.28/9.78	v -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773
221.28/9.78	v -6774 -6775 6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785
221.28/9.78	v -6786 -6787 6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797
221.28/9.78	v -6798 -6799 -6800 -6801 -6802 -6803 -6804 6805 -6806 -6807 -6808 -6809
221.28/9.78	v -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821
221.28/9.78	v -6822 6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833
221.28/9.78	v -6834 -6835 -6836 -6837 -6838 -6839 -6840 6841 -6842 -6843 -6844 -6845
221.28/9.78	v -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857
221.28/9.78	v -6858 -6859 6860 -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869
221.28/9.78	v -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 6881
221.28/9.78	v -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893
221.28/9.78	v -6894 -6895 -6896 -6897 6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905
221.28/9.78	v -6906 -6907 -6908 -6909 -6910 -6911 -6912 6913 -6914 -6915 -6916 -6917
221.28/9.78	v -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929
221.28/9.78	v -6930 -6931 -6932 6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941
221.28/9.78	v -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953
221.28/9.78	v -6954 6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965
221.28/9.78	v -6966 -6967 -6968 6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977
221.28/9.78	v -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 6986 -6987 -6988 -6989
221.28/9.78	v -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001
221.28/9.78	v -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 7010 -7011 -7012 -7013
221.28/9.78	v -7014 -7015 -7016 -7017 -7018 -7019 -7020 7021 -7022 -7023 -7024 -7025
221.28/9.78	v -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037
221.28/9.78	v -7038 7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049
221.28/9.78	v -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 7058 -7059 -7060 -7061
221.28/9.78	v -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073
221.28/9.78	v -7074 -7075 7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085
221.28/9.78	v -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097
221.28/9.78	v 7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109
221.28/9.78	v -7110 -7111 -7112 7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121
221.28/9.78	v -7122 -7123 -7124 -7125 -7126 -7127 -7128 7129 -7130 -7131 -7132 -7133
221.28/9.78	v -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145
221.28/9.78	v -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 7157
221.28/9.78	v -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 7166 -7167 -7168 -7169
221.28/9.78	v -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181
221.28/9.78	v -7182 -7183 -7184 -7185 -7186 7187 -7188 -7189 -7190 -7191 -7192 -7193
221.28/9.78	v -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 7204 -7205
221.28/9.78	v -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217
221.28/9.78	v -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 -7227 7228 -7229
221.28/9.78	v -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241
221.28/9.78	v -7242 -7243 7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253
221.28/9.78	v -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 7265
221.28/9.78	v -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277
221.28/9.78	v -7278 7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289
221.28/9.78	v -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 7300 -7301
221.28/9.78	v -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313
221.28/9.78	v -7314 7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325
221.28/9.78	v -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 7335 -7336 -7337
221.28/9.78	v -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349
221.28/9.78	v -7350 7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361
221.28/9.78	v -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 7371 -7372 -7373
221.28/9.78	v -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385
221.28/9.78	v 7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397
221.28/9.78	v -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 7407 -7408 -7409
221.28/9.78	v -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421
221.28/9.78	v -7422 -7423 -7424 -7425 7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433
221.28/9.78	v -7434 -7435 -7436 -7437 7438 -7439 -7440 -7441 -7442 -7443 -7444 -7445
221.28/9.78	v -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457
221.28/9.78	v 7458 -7459 -7460 -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469
221.28/9.78	v -7470 -7471 7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481
221.28/9.78	v -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493
221.28/9.78	v 7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505
221.28/9.78	v -7506 -7507 -7508 7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517
221.28/9.78	v -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529
221.28/9.78	v 7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541
221.28/9.78	v -7542 -7543 -7544 -7545 -7546 7547 -7548 -7549 -7550 -7551 -7552 -7553
221.28/9.78	v -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 7563 -7564 -7565
221.28/9.78	v -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577
221.28/9.78	v -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 7586 -7587 -7588 -7589
221.28/9.78	v -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601
221.28/9.78	v -7602 7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613
221.28/9.78	v -7614 -7615 -7616 7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625
221.28/9.78	v -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 7635 -7636 -7637
221.28/9.78	v -7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649
221.28/9.78	v -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 7658 -7659 -7660 -7661
221.28/9.78	v -7662 -7663 -7664 -7665 -7666 -7667 -7668 7669 -7670 -7671 -7672 -7673
221.28/9.78	v -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 -7685
221.28/9.78	v -7686 7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697
221.28/9.78	v -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 7707 -7708 -7709
221.28/9.78	v -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721
221.28/9.78	v -7722 -7723 7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733
221.28/9.78	v -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745
221.28/9.78	v -7746 7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757
221.28/9.78	v -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769
221.28/9.78	v 7770 7771 7772 7773 7774 7775 7776 -7777 -7778 -7779 -7780 -7781 -7782
221.28/9.78	v -7783 -7784 7785 7786 7787 7788 7789 7790 7791 7792 7793 7794 0
224.77/10.50	s SATISFIABLE
224.77/10.50	
224.77/10.50	c Models        : 1+    
224.77/10.50	c Time          : 9.808s (Solving: 8.29s 1st Model: 8.25s Unsat: 0.00s)
224.77/10.50	c CPU Time      : 224.090s

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-3472487-1307771953/watcher-3472487-1307771953 -o /tmp/evaluation-result-3472487-1307771953/solver-3472487-1307771953 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472487-1307771953.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: 19.95 27.84 30.54 1/413 7970
/proc/meminfo: memFree=262114036/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=23532 CPUtime=0.03 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 1229 0 0 0 3 0 0 0 21 0 1 0 42582255 24096768 1097 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7970/statm: 5883 1099 386 189 0 757 0

[startup+0.125996 s]
/proc/loadavg: 19.95 27.84 30.54 1/413 7970
/proc/meminfo: memFree=262114036/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=29356 CPUtime=0.12 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 3112 0 0 0 11 1 0 0 21 0 1 0 42582255 30060544 2507 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7970/statm: 7339 2509 386 189 0 2213 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 29356

[startup+0.201005 s]
/proc/loadavg: 19.95 27.84 30.54 1/413 7970
/proc/meminfo: memFree=262114036/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=35672 CPUtime=0.19 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 4777 0 0 0 18 1 0 0 22 0 1 0 42582255 36528128 4097 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7970/statm: 8918 4104 397 189 0 3792 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35672

[startup+0.301007 s]
/proc/loadavg: 19.95 27.84 30.54 1/413 7970
/proc/meminfo: memFree=262114036/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=35952 CPUtime=0.29 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 4864 0 0 0 28 1 0 0 22 0 1 0 42582255 36814848 4184 270582939648 4194304 4964800 140733861515920 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7970/statm: 8988 4184 400 189 0 3862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35952

[startup+0.701041 s]
/proc/loadavg: 19.95 27.84 30.54 1/413 7970
/proc/meminfo: memFree=262114036/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=35952 CPUtime=0.69 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 4864 0 0 0 68 1 0 0 24 0 1 0 42582255 36814848 4184 270582939648 4194304 4964800 140733861515920 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7970/statm: 8988 4184 400 189 0 3862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35952

[startup+1.50109 s]
/proc/loadavg: 19.95 27.84 30.54 2/414 7971
/proc/meminfo: memFree=262098876/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=36984 CPUtime=1.49 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 5109 0 0 0 148 1 0 0 25 0 1 0 42582255 37871616 4429 270582939648 4194304 4964800 140733861515920 18446744073709551615 4685934 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7970/statm: 9246 4429 403 189 0 4120 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36984

[startup+3.103 s]
/proc/loadavg: 19.95 27.84 30.54 5/445 8002
/proc/meminfo: memFree=261893036/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=1505024 CPUtime=11.72 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 61174 0 0 0 976 196 0 0 18 0 32 0 42582255 1541144576 58560 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/7970/statm: 376256 58563 461 189 0 370605 0
[pid=7970/tid=7972] ppid=7968 vsize=1505024 CPUtime=0.23 cores=0-31
/proc/7970/task/7972/stat : 7972 (claspmt) R 7968 7970 7499 0 -1 4202560 1570 0 0 0 17 6 0 0 16 0 32 0 42582409 1541144576 58563 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7970/tid=7973] ppid=7968 vsize=1505024 CPUtime=0.22 cores=0-31
/proc/7970/task/7973/stat : 7973 (claspmt) R 7968 7970 7499 0 -1 4202560 1782 0 0 0 16 6 0 0 16 0 32 0 42582409 1541144576 58564 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7970/tid=7974] ppid=7968 vsize=1505024 CPUtime=0.19 cores=0-31
/proc/7970/task/7974/stat : 7974 (claspmt) R 7968 7970 7499 0 -1 4202560 1638 0 0 0 15 4 0 0 16 0 32 0 42582409 1541144576 58569 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7970/tid=7975] ppid=7968 vsize=1505024 CPUtime=0.22 cores=0-31
/proc/7970/task/7975/stat : 7975 (claspmt) R 7968 7970 7499 0 -1 4202560 1611 0 0 0 16 6 0 0 16 0 32 0 42582409 1541144576 58572 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7970/tid=7976] ppid=7968 vsize=1505024 CPUtime=1.01 cores=0-31
/proc/7970/task/7976/stat : 7976 (claspmt) R 7968 7970 7499 0 -1 4202560 2295 0 0 0 95 6 0 0 16 0 32 0 42582409 1541144576 58572 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7970/tid=7977] ppid=7968 vsize=1505024 CPUtime=0.21 cores=0-31
/proc/7970/task/7977/stat : 7977 (claspmt) R 7968 7970 7499 0 -1 4202560 1874 0 0 0 16 5 0 0 16 0 32 0 42582409 1541144576 58572 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7970/tid=7978] ppid=7968 vsize=1505024 CPUtime=0.18 cores=0-31
/proc/7970/task/7978/stat : 7978 (claspmt) R 7968 7970 7499 0 -1 4202560 1730 0 0 0 13 5 0 0 16 0 32 0 42582409 1541144576 58574 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668627 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7970/tid=7979] ppid=7968 vsize=1505024 CPUtime=0.22 cores=0-31
/proc/7970/task/7979/stat : 7979 (claspmt) R 7968 7970 7499 0 -1 4202560 1584 0 0 0 15 7 0 0 16 0 32 0 42582409 1541144576 58575 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668614 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7970/tid=7980] ppid=7968 vsize=1505024 CPUtime=0.23 cores=0-31
/proc/7970/task/7980/stat : 7980 (claspmt) R 7968 7970 7499 0 -1 4202560 1684 0 0 0 16 7 0 0 16 0 32 0 42582409 1541144576 58577 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7970/tid=7981] ppid=7968 vsize=1505024 CPUtime=0.21 cores=0-31
/proc/7970/task/7981/stat : 7981 (claspmt) R 7968 7970 7499 0 -1 4202560 1565 0 0 0 16 5 0 0 16 0 32 0 42582409 1541144576 58577 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7970/tid=7982] ppid=7968 vsize=1505024 CPUtime=0.2 cores=0-31
/proc/7970/task/7982/stat : 7982 (claspmt) R 7968 7970 7499 0 -1 4202560 1777 0 0 0 16 4 0 0 16 0 32 0 42582409 1541144576 58578 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7970/tid=7983] ppid=7968 vsize=1505024 CPUtime=0.22 cores=0-31
/proc/7970/task/7983/stat : 7983 (claspmt) R 7968 7970 7499 0 -1 4202560 1741 0 0 0 15 7 0 0 16 0 32 0 42582409 1541144576 58579 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650623120 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7970/tid=7984] ppid=7968 vsize=1505024 CPUtime=1.02 cores=0-31
/proc/7970/task/7984/stat : 7984 (claspmt) R 7968 7970 7499 0 -1 4202560 2317 0 0 0 96 6 0 0 17 0 32 0 42582409 1541144576 58579 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7970/tid=7985] ppid=7968 vsize=1505024 CPUtime=0.24 cores=0-31
/proc/7970/task/7985/stat : 7985 (claspmt) R 7968 7970 7499 0 -1 4202560 1916 0 0 0 16 8 0 0 16 0 32 0 42582409 1541144576 58580 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668611 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7970/tid=7986] ppid=7968 vsize=1505024 CPUtime=0.2 cores=0-31
/proc/7970/task/7986/stat : 7986 (claspmt) R 7968 7970 7499 0 -1 4202560 1853 0 0 0 15 5 0 0 16 0 32 0 42582409 1541144576 58580 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7970/tid=7987] ppid=7968 vsize=1505024 CPUtime=0.22 cores=0-31
/proc/7970/task/7987/stat : 7987 (claspmt) R 7968 7970 7499 0 -1 4202560 1715 0 0 0 17 5 0 0 16 0 32 0 42582409 1541144576 58582 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7970/tid=7988] ppid=7968 vsize=1505024 CPUtime=0.21 cores=0-31
/proc/7970/task/7988/stat : 7988 (claspmt) R 7968 7970 7499 0 -1 4202560 1698 0 0 0 15 6 0 0 16 0 32 0 42582409 1541144576 58583 270582939648 4194304 4964800 140733861515920 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7970/tid=7989] ppid=7968 vsize=1505024 CPUtime=0.24 cores=0-31
/proc/7970/task/7989/stat : 7989 (claspmt) R 7968 7970 7499 0 -1 4202560 1758 0 0 0 17 7 0 0 16 0 32 0 42582409 1541144576 58583 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627447 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7970/tid=7990] ppid=7968 vsize=1505024 CPUtime=0.22 cores=0-31
/proc/7970/task/7990/stat : 7990 (claspmt) R 7968 7970 7499 0 -1 4202560 1650 0 0 0 16 6 0 0 16 0 32 0 42582409 1541144576 58583 270582939648 4194304 4964800 140733861515920 18446744073709551615 4660390 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7970/tid=7991] ppid=7968 vsize=1505024 CPUtime=0.22 cores=0-31
/proc/7970/task/7991/stat : 7991 (claspmt) R 7968 7970 7499 0 -1 4202560 1523 0 0 0 17 5 0 0 16 0 32 0 42582409 1541144576 58585 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668585 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=7970/tid=7992] ppid=7968 vsize=1505024 CPUtime=0.99 cores=0-31
/proc/7970/task/7992/stat : 7992 (claspmt) R 7968 7970 7499 0 -1 4202560 2313 0 0 0 94 5 0 0 16 0 32 0 42582409 1541144576 58585 270582939648 4194304 4964800 140733861515920 18446744073709551615 4651407 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7970/tid=7993] ppid=7968 vsize=1505024 CPUtime=0.2 cores=0-31
/proc/7970/task/7993/stat : 7993 (claspmt) R 7968 7970 7499 0 -1 4202560 1895 0 0 0 13 7 0 0 16 0 32 0 42582409 1541144576 58585 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7970/tid=7994] ppid=7968 vsize=1505024 CPUtime=0.23 cores=0-31
/proc/7970/task/7994/stat : 7994 (claspmt) R 7968 7970 7499 0 -1 4202560 1674 0 0 0 16 7 0 0 16 0 32 0 42582409 1541144576 58586 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7970/tid=7995] ppid=7968 vsize=1505024 CPUtime=0.18 cores=0-31
/proc/7970/task/7995/stat : 7995 (claspmt) R 7968 7970 7499 0 -1 4202560 1503 0 0 0 14 4 0 0 16 0 32 0 42582409 1541144576 58590 270582939648 4194304 4964800 140733861515920 18446744073709551615 4321044 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7970/tid=7996] ppid=7968 vsize=1505024 CPUtime=0.22 cores=0-31
/proc/7970/task/7996/stat : 7996 (claspmt) R 7968 7970 7499 0 -1 4202560 1574 0 0 0 16 6 0 0 16 0 32 0 42582409 1541144576 58590 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7970/tid=7997] ppid=7968 vsize=1505024 CPUtime=0.19 cores=0-31
/proc/7970/task/7997/stat : 7997 (claspmt) R 7968 7970 7499 0 -1 4202560 1729 0 0 0 14 5 0 0 16 0 32 0 42582410 1541144576 58590 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669038 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7970/tid=7998] ppid=7968 vsize=1505024 CPUtime=0.2 cores=0-31
/proc/7970/task/7998/stat : 7998 (claspmt) R 7968 7970 7499 0 -1 4202560 1663 0 0 0 15 5 0 0 16 0 32 0 42582410 1541144576 58595 270582939648 4194304 4964800 140733861515920 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7970/tid=7999] ppid=7968 vsize=1505024 CPUtime=0.23 cores=0-31
/proc/7970/task/7999/stat : 7999 (claspmt) R 7968 7970 7499 0 -1 4202560 1609 0 0 0 17 6 0 0 16 0 32 0 42582410 1541144576 58596 270582939648 4194304 4964800 140733861515920 18446744073709551615 4345831 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7970/tid=8000] ppid=7968 vsize=1505024 CPUtime=1.02 cores=0-31
/proc/7970/task/8000/stat : 8000 (claspmt) R 7968 7970 7499 0 -1 4202560 2235 0 0 0 95 7 0 0 16 0 32 0 42582410 1541144576 58596 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668969 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7970/tid=8001] ppid=7968 vsize=1505024 CPUtime=0.21 cores=0-31
/proc/7970/task/8001/stat : 8001 (claspmt) R 7968 7970 7499 0 -1 4202560 1855 0 0 0 15 6 0 0 16 0 32 0 42582410 1541144576 58596 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7970/tid=8002] ppid=7968 vsize=1505024 CPUtime=0.2 cores=0-31
/proc/7970/task/8002/stat : 8002 (claspmt) R 7968 7970 7499 0 -1 4202560 1608 0 0 0 16 4 0 0 16 0 32 0 42582410 1541144576 58600 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 11.72
Current children cumulated vsize (KiB) 1505024

[startup+6.3021 s]
/proc/loadavg: 18.67 27.44 30.40 33/445 8002
/proc/meminfo: memFree=261757384/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=1509568 CPUtime=112.98 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 98273 0 0 0 10988 310 0 0 19 0 32 0 42582255 1545797632 95659 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/7970/statm: 377392 95660 461 189 0 371741 0
[pid=7970/tid=7972] ppid=7968 vsize=1509568 CPUtime=3.4 cores=0-31
/proc/7970/task/7972/stat : 7972 (claspmt) R 7968 7970 7499 0 -1 4202560 2285 0 0 0 331 9 0 0 19 0 32 0 42582409 1545797632 95660 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670129 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7970/tid=7973] ppid=7968 vsize=1509568 CPUtime=3.39 cores=0-31
/proc/7970/task/7973/stat : 7973 (claspmt) R 7968 7970 7499 0 -1 4202560 3279 0 0 0 327 12 0 0 18 0 32 0 42582409 1545797632 95660 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7970/tid=7974] ppid=7968 vsize=1509568 CPUtime=3.36 cores=0-31
/proc/7970/task/7974/stat : 7974 (claspmt) R 7968 7970 7499 0 -1 4202560 3390 0 0 0 327 9 0 0 18 0 32 0 42582409 1545797632 95660 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7970/tid=7975] ppid=7968 vsize=1509568 CPUtime=3.39 cores=0-31
/proc/7970/task/7975/stat : 7975 (claspmt) R 7968 7970 7499 0 -1 4202560 2732 0 0 0 330 9 0 0 20 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7970/tid=7976] ppid=7968 vsize=1509568 CPUtime=4.2 cores=0-31
/proc/7970/task/7976/stat : 7976 (claspmt) R 7968 7970 7499 0 -1 4202560 2347 0 0 0 414 6 0 0 18 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7970/tid=7977] ppid=7968 vsize=1509568 CPUtime=3.38 cores=0-31
/proc/7970/task/7977/stat : 7977 (claspmt) R 7968 7970 7499 0 -1 4202560 3100 0 0 0 329 9 0 0 19 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669503 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7970/tid=7978] ppid=7968 vsize=1509568 CPUtime=3.32 cores=0-31
/proc/7970/task/7978/stat : 7978 (claspmt) R 7968 7970 7499 0 -1 4202560 3931 0 0 0 320 12 0 0 19 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4365674 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7970/tid=7979] ppid=7968 vsize=1509568 CPUtime=3.38 cores=0-31
/proc/7970/task/7979/stat : 7979 (claspmt) R 7968 7970 7499 0 -1 4202560 2269 0 0 0 329 9 0 0 18 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7970/tid=7980] ppid=7968 vsize=1509568 CPUtime=3.41 cores=0-31
/proc/7970/task/7980/stat : 7980 (claspmt) R 7968 7970 7499 0 -1 4202560 2513 0 0 0 331 10 0 0 20 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7970/tid=7981] ppid=7968 vsize=1509568 CPUtime=3.37 cores=0-31
/proc/7970/task/7981/stat : 7981 (claspmt) R 7968 7970 7499 0 -1 4202560 3665 0 0 0 328 9 0 0 18 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7970/tid=7982] ppid=7968 vsize=1509568 CPUtime=3.36 cores=0-31
/proc/7970/task/7982/stat : 7982 (claspmt) R 7968 7970 7499 0 -1 4202560 3506 0 0 0 328 8 0 0 19 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7970/tid=7983] ppid=7968 vsize=1509568 CPUtime=3.37 cores=0-31
/proc/7970/task/7983/stat : 7983 (claspmt) R 7968 7970 7499 0 -1 4202560 3215 0 0 0 327 10 0 0 19 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7970/tid=7984] ppid=7968 vsize=1509568 CPUtime=4.22 cores=0-31
/proc/7970/task/7984/stat : 7984 (claspmt) R 7968 7970 7499 0 -1 4202560 2360 0 0 0 416 6 0 0 22 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669445 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7970/tid=7985] ppid=7968 vsize=1509568 CPUtime=3.4 cores=0-31
/proc/7970/task/7985/stat : 7985 (claspmt) R 7968 7970 7499 0 -1 4202560 2913 0 0 0 329 11 0 0 18 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7970/tid=7986] ppid=7968 vsize=1509568 CPUtime=3.35 cores=0-31
/proc/7970/task/7986/stat : 7986 (claspmt) R 7968 7970 7499 0 -1 4202560 3607 0 0 0 324 11 0 0 18 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7970/tid=7987] ppid=7968 vsize=1509568 CPUtime=3.39 cores=0-31
/proc/7970/task/7987/stat : 7987 (claspmt) R 7968 7970 7499 0 -1 4202560 2670 0 0 0 331 8 0 0 19 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669038 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7970/tid=7988] ppid=7968 vsize=1509568 CPUtime=3.38 cores=0-31
/proc/7970/task/7988/stat : 7988 (claspmt) R 7968 7970 7499 0 -1 4202560 2621 0 0 0 329 9 0 0 18 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7970/tid=7989] ppid=7968 vsize=1509568 CPUtime=3.38 cores=0-31
/proc/7970/task/7989/stat : 7989 (claspmt) R 7968 7970 7499 0 -1 4202560 3754 0 0 0 325 13 0 0 19 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4660126 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7970/tid=7990] ppid=7968 vsize=1509568 CPUtime=3.37 cores=0-31
/proc/7970/task/7990/stat : 7990 (claspmt) R 7968 7970 7499 0 -1 4202560 3106 0 0 0 327 10 0 0 19 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7970/tid=7991] ppid=7968 vsize=1509568 CPUtime=3.38 cores=0-31
/proc/7970/task/7991/stat : 7991 (claspmt) R 7968 7970 7499 0 -1 4202560 2614 0 0 0 330 8 0 0 19 0 32 0 42582409 1545797632 95661 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=7970/tid=7992] ppid=7968 vsize=1509568 CPUtime=4.19 cores=0-31
/proc/7970/task/7992/stat : 7992 (claspmt) R 7968 7970 7499 0 -1 4202560 2342 0 0 0 414 5 0 0 21 0 32 0 42582409 1545797632 95662 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7970/tid=7993] ppid=7968 vsize=1509568 CPUtime=3.35 cores=0-31
/proc/7970/task/7993/stat : 7993 (claspmt) R 7968 7970 7499 0 -1 4202560 3354 0 0 0 324 11 0 0 19 0 32 0 42582409 1545797632 95662 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669093 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7970/tid=7994] ppid=7968 vsize=1509568 CPUtime=3.38 cores=0-31
/proc/7970/task/7994/stat : 7994 (claspmt) R 7968 7970 7499 0 -1 4202560 3336 0 0 0 326 12 0 0 19 0 32 0 42582409 1545797632 95662 270582939648 4194304 4964800 140733861515920 18446744073709551615 4365106 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7970/tid=7995] ppid=7968 vsize=1509568 CPUtime=3.35 cores=0-31
/proc/7970/task/7995/stat : 7995 (claspmt) R 7968 7970 7499 0 -1 4202560 2258 0 0 0 328 7 0 0 20 0 32 0 42582409 1545797632 95662 270582939648 4194304 4964800 140733861515920 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7970/tid=7996] ppid=7968 vsize=1509568 CPUtime=3.4 cores=0-31
/proc/7970/task/7996/stat : 7996 (claspmt) R 7968 7970 7499 0 -1 4202560 2476 0 0 0 331 9 0 0 19 0 32 0 42582409 1545797632 95662 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0

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

Current children cumulated vsize (KiB) 1509700

[startup+8.00217 s]
/proc/loadavg: 19.66 27.50 30.40 33/445 8002
/proc/meminfo: memFree=261687800/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=1513068 CPUtime=167.1 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 112352 0 0 0 16364 346 0 0 24 0 32 0 42582255 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4684031 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/7970/statm: 378267 109738 461 189 0 372616 0
[pid=7970/tid=7972] ppid=7968 vsize=1513068 CPUtime=5.09 cores=0-31
/proc/7970/task/7972/stat : 7972 (claspmt) R 7968 7970 7499 0 -1 4202560 2713 0 0 0 499 10 0 0 20 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7970/tid=7973] ppid=7968 vsize=1513068 CPUtime=5.07 cores=0-31
/proc/7970/task/7973/stat : 7973 (claspmt) R 7968 7970 7499 0 -1 4202560 4484 0 0 0 493 14 0 0 18 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7970/tid=7974] ppid=7968 vsize=1513068 CPUtime=5.05 cores=0-31
/proc/7970/task/7974/stat : 7974 (claspmt) R 7968 7970 7499 0 -1 4202560 3763 0 0 0 495 10 0 0 18 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7970/tid=7975] ppid=7968 vsize=1513068 CPUtime=5.09 cores=0-31
/proc/7970/task/7975/stat : 7975 (claspmt) R 7968 7970 7499 0 -1 4202560 3146 0 0 0 498 11 0 0 25 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7970/tid=7976] ppid=7968 vsize=1513068 CPUtime=5.9 cores=0-31
/proc/7970/task/7976/stat : 7976 (claspmt) R 7968 7970 7499 0 -1 4202560 2376 0 0 0 584 6 0 0 21 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7970/tid=7977] ppid=7968 vsize=1513068 CPUtime=5.08 cores=0-31
/proc/7970/task/7977/stat : 7977 (claspmt) R 7968 7970 7499 0 -1 4202560 3488 0 0 0 498 10 0 0 18 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7970/tid=7978] ppid=7968 vsize=1513068 CPUtime=5.02 cores=0-31
/proc/7970/task/7978/stat : 7978 (claspmt) R 7968 7970 7499 0 -1 4202560 4398 0 0 0 487 15 0 0 18 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7970/tid=7979] ppid=7968 vsize=1513068 CPUtime=5.08 cores=0-31
/proc/7970/task/7979/stat : 7979 (claspmt) R 7968 7970 7499 0 -1 4202560 2479 0 0 0 498 10 0 0 21 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7970/tid=7980] ppid=7968 vsize=1513068 CPUtime=5.1 cores=0-31
/proc/7970/task/7980/stat : 7980 (claspmt) R 7968 7970 7499 0 -1 4202560 2708 0 0 0 500 10 0 0 18 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7970/tid=7981] ppid=7968 vsize=1513068 CPUtime=5.06 cores=0-31
/proc/7970/task/7981/stat : 7981 (claspmt) R 7968 7970 7499 0 -1 4202560 4152 0 0 0 496 10 0 0 20 0 32 0 42582409 1549381632 109738 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7970/tid=7982] ppid=7968 vsize=1513068 CPUtime=5.06 cores=0-31
/proc/7970/task/7982/stat : 7982 (claspmt) R 7968 7970 7499 0 -1 4202560 3784 0 0 0 497 9 0 0 18 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7970/tid=7983] ppid=7968 vsize=1513068 CPUtime=5.06 cores=0-31
/proc/7970/task/7983/stat : 7983 (claspmt) R 7968 7970 7499 0 -1 4202560 3703 0 0 0 495 11 0 0 22 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7970/tid=7984] ppid=7968 vsize=1513068 CPUtime=5.92 cores=0-31
/proc/7970/task/7984/stat : 7984 (claspmt) R 7968 7970 7499 0 -1 4202560 2371 0 0 0 586 6 0 0 25 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668930 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7970/tid=7985] ppid=7968 vsize=1513068 CPUtime=5.1 cores=0-31
/proc/7970/task/7985/stat : 7985 (claspmt) R 7968 7970 7499 0 -1 4202560 3450 0 0 0 497 13 0 0 18 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7970/tid=7986] ppid=7968 vsize=1513068 CPUtime=5.04 cores=0-31
/proc/7970/task/7986/stat : 7986 (claspmt) R 7968 7970 7499 0 -1 4202560 4226 0 0 0 491 13 0 0 18 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7970/tid=7987] ppid=7968 vsize=1513068 CPUtime=5.08 cores=0-31
/proc/7970/task/7987/stat : 7987 (claspmt) R 7968 7970 7499 0 -1 4202560 2962 0 0 0 499 9 0 0 18 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670286 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7970/tid=7988] ppid=7968 vsize=1513068 CPUtime=5.07 cores=0-31
/proc/7970/task/7988/stat : 7988 (claspmt) R 7968 7970 7499 0 -1 4202560 3222 0 0 0 497 10 0 0 19 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669124 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7970/tid=7989] ppid=7968 vsize=1513068 CPUtime=5.07 cores=0-31
/proc/7970/task/7989/stat : 7989 (claspmt) R 7968 7970 7499 0 -1 4202560 4314 0 0 0 492 15 0 0 19 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669445 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7970/tid=7990] ppid=7968 vsize=1513068 CPUtime=5.06 cores=0-31
/proc/7970/task/7990/stat : 7990 (claspmt) R 7968 7970 7499 0 -1 4202560 3719 0 0 0 495 11 0 0 23 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7970/tid=7991] ppid=7968 vsize=1513068 CPUtime=5.08 cores=0-31
/proc/7970/task/7991/stat : 7991 (claspmt) R 7968 7970 7499 0 -1 4202560 3096 0 0 0 498 10 0 0 20 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=7970/tid=7992] ppid=7968 vsize=1513068 CPUtime=5.89 cores=0-31
/proc/7970/task/7992/stat : 7992 (claspmt) R 7968 7970 7499 0 -1 4202560 2364 0 0 0 584 5 0 0 25 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7970/tid=7993] ppid=7968 vsize=1513068 CPUtime=5.04 cores=0-31
/proc/7970/task/7993/stat : 7993 (claspmt) R 7968 7970 7499 0 -1 4202560 3757 0 0 0 492 12 0 0 23 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4653296 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7970/tid=7994] ppid=7968 vsize=1513068 CPUtime=5.07 cores=0-31
/proc/7970/task/7994/stat : 7994 (claspmt) R 7968 7970 7499 0 -1 4202560 3941 0 0 0 494 13 0 0 18 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7970/tid=7995] ppid=7968 vsize=1513068 CPUtime=5.04 cores=0-31
/proc/7970/task/7995/stat : 7995 (claspmt) R 7968 7970 7499 0 -1 4202560 2506 0 0 0 497 7 0 0 25 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7970/tid=7996] ppid=7968 vsize=1513068 CPUtime=5.09 cores=0-31
/proc/7970/task/7996/stat : 7996 (claspmt) R 7968 7970 7499 0 -1 4202560 3101 0 0 0 499 10 0 0 18 0 32 0 42582409 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668607 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7970/tid=7997] ppid=7968 vsize=1513068 CPUtime=5.04 cores=0-31
/proc/7970/task/7997/stat : 7997 (claspmt) R 7968 7970 7499 0 -1 4202560 4314 0 0 0 489 15 0 0 21 0 32 0 42582410 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7970/tid=7998] ppid=7968 vsize=1513068 CPUtime=5.06 cores=0-31
/proc/7970/task/7998/stat : 7998 (claspmt) R 7968 7970 7499 0 -1 4202560 3021 0 0 0 497 9 0 0 25 0 32 0 42582410 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7970/tid=7999] ppid=7968 vsize=1513068 CPUtime=5.09 cores=0-31
/proc/7970/task/7999/stat : 7999 (claspmt) R 7968 7970 7499 0 -1 4202560 3531 0 0 0 497 12 0 0 18 0 32 0 42582410 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7970/tid=8000] ppid=7968 vsize=1513068 CPUtime=5.91 cores=0-31
/proc/7970/task/8000/stat : 8000 (claspmt) R 7968 7970 7499 0 -1 4202560 2309 0 0 0 584 7 0 0 20 0 32 0 42582410 1549381632 109739 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7970/tid=8001] ppid=7968 vsize=1513068 CPUtime=5.07 cores=0-31
/proc/7970/task/8001/stat : 8001 (claspmt) R 7968 7970 7499 0 -1 4202560 3646 0 0 0 497 10 0 0 19 0 32 0 42582410 1549381632 109740 270582939648 4194304 4964800 140733861515920 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7970/tid=8002] ppid=7968 vsize=1513068 CPUtime=5.06 cores=0-31
/proc/7970/task/8002/stat : 8002 (claspmt) R 7968 7970 7499 0 -1 4202560 3787 0 0 0 496 10 0 0 18 0 32 0 42582410 1549381632 109740 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 167.1
Current children cumulated vsize (KiB) 1513068

[startup+9.60222 s]
/proc/loadavg: 19.66 27.50 30.40 33/445 8002
/proc/meminfo: memFree=261654612/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=1515348 CPUtime=218.11 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 125053 0 0 0 21428 383 0 0 25 0 32 0 42582255 1551716352 122439 270582939648 4194304 4964800 140733861515920 18446744073709551615 4320886 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/7970/statm: 378837 122439 461 189 0 373186 0
[pid=7970/tid=7972] ppid=7968 vsize=1515348 CPUtime=6.69 cores=0-31
/proc/7970/task/7972/stat : 7972 (claspmt) R 7968 7970 7499 0 -1 4202560 3023 0 0 0 658 11 0 0 18 0 32 0 42582409 1551716352 122439 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7970/tid=7973] ppid=7968 vsize=1515348 CPUtime=6.67 cores=0-31
/proc/7970/task/7973/stat : 7973 (claspmt) R 7968 7970 7499 0 -1 4202560 4922 0 0 0 651 16 0 0 20 0 32 0 42582409 1551716352 122439 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7970/tid=7974] ppid=7968 vsize=1515348 CPUtime=6.65 cores=0-31
/proc/7970/task/7974/stat : 7974 (claspmt) R 7968 7970 7499 0 -1 4202560 4088 0 0 0 654 11 0 0 21 0 32 0 42582409 1551716352 122440 270582939648 4194304 4964800 140733861515920 18446744073709551615 4363545 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7970/tid=7975] ppid=7968 vsize=1515348 CPUtime=6.68 cores=0-31
/proc/7970/task/7975/stat : 7975 (claspmt) R 7968 7970 7499 0 -1 4202560 3863 0 0 0 655 13 0 0 18 0 32 0 42582409 1551716352 122440 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7970/tid=7976] ppid=7968 vsize=1515348 CPUtime=7.49 cores=0-31
/proc/7970/task/7976/stat : 7976 (claspmt) R 7968 7970 7499 0 -1 4202560 2386 0 0 0 743 6 0 0 25 0 32 0 42582409 1551716352 122440 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7970/tid=7977] ppid=7968 vsize=1515348 CPUtime=6.68 cores=0-31
/proc/7970/task/7977/stat : 7977 (claspmt) R 7968 7970 7499 0 -1 4202560 3949 0 0 0 656 12 0 0 18 0 32 0 42582409 1551716352 122440 270582939648 4194304 4964800 140733861515920 18446744073709551615 4320953 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7970/tid=7978] ppid=7968 vsize=1515348 CPUtime=6.61 cores=0-31
/proc/7970/task/7978/stat : 7978 (claspmt) R 7968 7970 7499 0 -1 4202560 5056 0 0 0 644 17 0 0 18 0 32 0 42582409 1551716352 122442 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7970/tid=7979] ppid=7968 vsize=1515348 CPUtime=6.67 cores=0-31
/proc/7970/task/7979/stat : 7979 (claspmt) R 7968 7970 7499 0 -1 4202560 3189 0 0 0 656 11 0 0 25 0 32 0 42582409 1551716352 122442 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7970/tid=7980] ppid=7968 vsize=1515348 CPUtime=6.7 cores=0-31
/proc/7970/task/7980/stat : 7980 (claspmt) R 7968 7970 7499 0 -1 4202560 2885 0 0 0 659 11 0 0 18 0 32 0 42582409 1551716352 122442 270582939648 4194304 4964800 140733861515920 18446744073709551615 4660155 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7970/tid=7981] ppid=7968 vsize=1515348 CPUtime=6.66 cores=0-31
/proc/7970/task/7981/stat : 7981 (claspmt) R 7968 7970 7499 0 -1 4202560 4659 0 0 0 654 12 0 0 25 0 32 0 42582409 1551716352 122442 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7970/tid=7982] ppid=7968 vsize=1515348 CPUtime=6.65 cores=0-31
/proc/7970/task/7982/stat : 7982 (claspmt) R 7968 7970 7499 0 -1 4202560 4043 0 0 0 656 9 0 0 18 0 32 0 42582409 1551716352 122443 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7970/tid=7983] ppid=7968 vsize=1515348 CPUtime=6.66 cores=0-31
/proc/7970/task/7983/stat : 7983 (claspmt) R 7968 7970 7499 0 -1 4202560 4155 0 0 0 654 12 0 0 19 0 32 0 42582409 1551716352 122443 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669288 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7970/tid=7984] ppid=7968 vsize=1515348 CPUtime=7.52 cores=0-31
/proc/7970/task/7984/stat : 7984 (claspmt) R 7968 7970 7499 0 -1 4202560 2385 0 0 0 746 6 0 0 25 0 32 0 42582409 1551716352 122444 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7970/tid=7985] ppid=7968 vsize=1515348 CPUtime=6.69 cores=0-31
/proc/7970/task/7985/stat : 7985 (claspmt) R 7968 7970 7499 0 -1 4202560 4096 0 0 0 655 14 0 0 20 0 32 0 42582409 1551716352 122444 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7970/tid=7986] ppid=7968 vsize=1515348 CPUtime=6.63 cores=0-31
/proc/7970/task/7986/stat : 7986 (claspmt) R 7968 7970 7499 0 -1 4202560 4796 0 0 0 648 15 0 0 18 0 32 0 42582409 1551716352 122444 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7970/tid=7987] ppid=7968 vsize=1515348 CPUtime=6.68 cores=0-31
/proc/7970/task/7987/stat : 7987 (claspmt) R 7968 7970 7499 0 -1 4202560 3105 0 0 0 659 9 0 0 21 0 32 0 42582409 1551716352 122445 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668741 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7970/tid=7988] ppid=7968 vsize=1515348 CPUtime=6.68 cores=0-31
/proc/7970/task/7988/stat : 7988 (claspmt) R 7968 7970 7499 0 -1 4202560 3386 0 0 0 657 11 0 0 22 0 32 0 42582409 1551716352 122445 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7970/tid=7989] ppid=7968 vsize=1515348 CPUtime=6.66 cores=0-31
/proc/7970/task/7989/stat : 7989 (claspmt) R 7968 7970 7499 0 -1 4202560 4945 0 0 0 649 17 0 0 18 0 32 0 42582409 1551716352 122445 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7970/tid=7990] ppid=7968 vsize=1515348 CPUtime=6.65 cores=0-31
/proc/7970/task/7990/stat : 7990 (claspmt) R 7968 7970 7499 0 -1 4202560 4058 0 0 0 653 12 0 0 18 0 32 0 42582409 1551716352 122445 270582939648 4194304 4964800 140733861515920 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7970/tid=7991] ppid=7968 vsize=1515348 CPUtime=6.66 cores=0-31
/proc/7970/task/7991/stat : 7991 (claspmt) R 7968 7970 7499 0 -1 4202560 3981 0 0 0 654 12 0 0 25 0 32 0 42582409 1551716352 122445 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=7970/tid=7992] ppid=7968 vsize=1515348 CPUtime=7.49 cores=0-31
/proc/7970/task/7992/stat : 7992 (claspmt) R 7968 7970 7499 0 -1 4202560 2378 0 0 0 744 5 0 0 25 0 32 0 42582409 1551716352 122447 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7970/tid=7993] ppid=7968 vsize=1515348 CPUtime=6.64 cores=0-31
/proc/7970/task/7993/stat : 7993 (claspmt) R 7968 7970 7499 0 -1 4202560 3965 0 0 0 651 13 0 0 18 0 32 0 42582409 1551716352 122447 270582939648 4194304 4964800 140733861515920 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7970/tid=7994] ppid=7968 vsize=1515348 CPUtime=6.66 cores=0-31
/proc/7970/task/7994/stat : 7994 (claspmt) R 7968 7970 7499 0 -1 4202560 4855 0 0 0 650 16 0 0 18 0 32 0 42582409 1551716352 122447 270582939648 4194304 4964800 140733861515920 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7970/tid=7995] ppid=7968 vsize=1515348 CPUtime=6.64 cores=0-31
/proc/7970/task/7995/stat : 7995 (claspmt) R 7968 7970 7499 0 -1 4202560 2689 0 0 0 656 8 0 0 25 0 32 0 42582409 1551716352 122447 270582939648 4194304 4964800 140733861515920 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7970/tid=7996] ppid=7968 vsize=1515348 CPUtime=6.69 cores=0-31
/proc/7970/task/7996/stat : 7996 (claspmt) R 7968 7970 7499 0 -1 4202560 3374 0 0 0 658 11 0 0 21 0 32 0 42582409 1551716352 122447 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7970/tid=7997] ppid=7968 vsize=1515348 CPUtime=6.63 cores=0-31
/proc/7970/task/7997/stat : 7997 (claspmt) R 7968 7970 7499 0 -1 4202560 4708 0 0 0 647 16 0 0 19 0 32 0 42582410 1551716352 122448 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7970/tid=7998] ppid=7968 vsize=1515348 CPUtime=6.65 cores=0-31
/proc/7970/task/7998/stat : 7998 (claspmt) R 7968 7970 7499 0 -1 4202560 3913 0 0 0 653 12 0 0 19 0 32 0 42582410 1551716352 122448 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7970/tid=7999] ppid=7968 vsize=1515348 CPUtime=6.68 cores=0-31
/proc/7970/task/7999/stat : 7999 (claspmt) R 7968 7970 7499 0 -1 4202560 3889 0 0 0 655 13 0 0 19 0 32 0 42582410 1551716352 122448 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7970/tid=8000] ppid=7968 vsize=1515348 CPUtime=7.51 cores=0-31
/proc/7970/task/8000/stat : 8000 (claspmt) R 7968 7970 7499 0 -1 4202560 2329 0 0 0 744 7 0 0 25 0 32 0 42582410 1551716352 122448 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7970/tid=8001] ppid=7968 vsize=1515348 CPUtime=6.67 cores=0-31
/proc/7970/task/8001/stat : 8001 (claspmt) R 7968 7970 7499 0 -1 4202560 4005 0 0 0 656 11 0 0 19 0 32 0 42582410 1551716352 122448 270582939648 4194304 4964800 140733861515920 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7970/tid=8002] ppid=7968 vsize=1515348 CPUtime=6.65 cores=0-31
/proc/7970/task/8002/stat : 8002 (claspmt) R 7968 7970 7499 0 -1 4202560 4245 0 0 0 654 11 0 0 20 0 32 0 42582410 1551716352 122448 270582939648 4194304 4964800 140733861515920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 218.11
Current children cumulated vsize (KiB) 1515348

[startup+10.0194 s]
/proc/loadavg: 19.66 27.50 30.40 2/414 8002
/proc/meminfo: memFree=261619272/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=1424700 CPUtime=224.29 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 126976 0 0 0 22039 390 0 0 25 0 1 0 42582255 1458892800 124074 270582939648 4194304 4964800 140733861515920 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/7970/statm: 356175 124074 472 189 0 350524 0
Current children cumulated CPU time (s) 224.29
Current children cumulated vsize (KiB) 1424700

[startup+10.4014 s]
/proc/loadavg: 19.66 27.50 30.40 2/414 8002
/proc/meminfo: memFree=261619272/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=1424700 CPUtime=224.67 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 126976 0 0 0 22077 390 0 0 25 0 1 0 42582255 1458892800 123851 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650611204 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/7970/statm: 356175 123851 472 189 0 350524 0
Current children cumulated CPU time (s) 224.67
Current children cumulated vsize (KiB) 1424700

[startup+10.5014 s]
/proc/loadavg: 19.66 27.50 30.40 2/414 8002
/proc/meminfo: memFree=261619272/264257624 swapFree=67111528/67111528
[pid=7970] ppid=7968 vsize=1388968 CPUtime=224.77 cores=0-31
/proc/7970/stat : 7970 (claspmt) R 7968 7970 7499 0 -1 4202496 126976 0 0 0 22083 394 0 0 25 0 1 0 42582255 1422303232 40983 270582939648 4194304 4964800 140733861515920 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/7970/statm: 347242 40474 472 189 0 341591 0
Current children cumulated CPU time (s) 224.77
Current children cumulated vsize (KiB) 1388968

Child status: 10
Real time (s): 10.5194
CPU time (s): 224.798
CPU user time (s): 220.835
CPU system time (s): 3.9624
CPU usage (%): 2136.98
Max. virtual memory (cumulated for all children) (KiB): 1515876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 220.835
system time used= 3.9624
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126977
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= 132740
involuntary context switches= 714

runsolver used 0.079987 second user time and 0.274958 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 07:59:14
IDJOB=3472487
IDBENCH=83445
IDSOLVER=1961
FILE ID=node200/3472487-1307771953
RUNJOBID= node200-1307771776-7513
PBS_JOBID= 13550738
Free space on /tmp= 61740 MiB

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

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=254094025

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:      262114960 kB
Buffers:        284984 kB
Cached:        1532808 kB
SwapCached:          0 kB
Active:         312652 kB
Inactive:      1568976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262114960 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4740 kB
Writeback:          28 kB
AnonPages:       63388 kB
Mapped:          14840 kB
Slab:           185056 kB
PageTables:       4232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   160524 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= 61736 MiB
End job on node200 at 2011-06-11 07:59:24