Trace number 3381137

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 58.0862 8.62278

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3381137-1305505598/watcher-3381137-1305505598 -o /tmp/evaluation-result-3381137-1305505598/solver-3381137-1305505598 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381137-1305505598.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.59 7.71 7.90 1/418 28759
/proc/meminfo: memFree=13728736/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=24084 CPUtime=0.01 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 1445 0 0 0 1 0 0 0 23 0 1 0 740790459 24662016 1224 33554432000 4194304 4964800 140733753148912 18446744073709551615 216734839493 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28759/statm: 6021 1225 389 189 0 895 0

[startup+0.057136 s]
/proc/loadavg: 7.59 7.71 7.90 1/418 28759
/proc/meminfo: memFree=13728736/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=30896 CPUtime=0.05 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 3624 0 0 0 5 0 0 0 23 0 1 0 740790459 31637504 2945 33554432000 4194304 4964800 140733753148912 18446744073709551615 216735204458 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28759/statm: 7757 2951 400 189 0 2631 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30896

[startup+0.101126 s]
/proc/loadavg: 7.59 7.71 7.90 1/418 28759
/proc/meminfo: memFree=13728736/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=35920 CPUtime=0.09 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 4857 0 0 0 9 0 0 0 23 0 1 0 740790459 36782080 4178 33554432000 4194304 4964800 140733753148912 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28759/statm: 8980 4178 403 189 0 3854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35920

[startup+0.301093 s]
/proc/loadavg: 7.59 7.71 7.90 1/418 28759
/proc/meminfo: memFree=13728736/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=35920 CPUtime=0.29 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 4857 0 0 0 29 0 0 0 25 0 1 0 740790459 36782080 4178 33554432000 4194304 4964800 140733753148912 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28759/statm: 8980 4178 403 189 0 3854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35920

[startup+0.701021 s]
/proc/loadavg: 7.59 7.71 7.90 1/418 28759
/proc/meminfo: memFree=13728736/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=35920 CPUtime=0.69 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 4857 0 0 0 69 0 0 0 25 0 1 0 740790459 36782080 4178 33554432000 4194304 4964800 140733753148912 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28759/statm: 8980 4178 403 189 0 3854 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35920

[startup+1.50085 s]
/proc/loadavg: 7.06 7.60 7.86 2/419 28760
/proc/meminfo: memFree=13711580/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=404476 CPUtime=1.9 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 17321 0 0 0 184 6 0 0 16 0 8 0 740790459 414183424 16151 33554432000 4194304 4964800 140733753148912 18446744073709551615 4364621 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28759/statm: 101119 16151 464 189 0 95468 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 404476

[startup+3.10057 s]
/proc/loadavg: 7.06 7.60 7.86 11/426 28767
/proc/meminfo: memFree=13646052/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=409420 CPUtime=14.68 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 25792 0 0 0 1457 11 0 0 17 0 8 0 740790459 419246080 24622 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28759/statm: 102355 24622 464 189 0 96704 0
[pid=28759/tid=28761] ppid=28757 vsize=409420 CPUtime=1.65 cores=0-7
/proc/28759/task/28761/stat : 28761 (claspmt) R 28757 28759 28697 0 -1 4202560 2275 0 0 0 164 1 0 0 17 0 8 0 740790561 419246080 24622 33554432000 4194304 4964800 140733753148912 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=409420 CPUtime=1.66 cores=0-7
/proc/28759/task/28762/stat : 28762 (claspmt) R 28757 28759 28697 0 -1 4202560 3381 0 0 0 165 1 0 0 17 0 8 0 740790561 419246080 24622 33554432000 4194304 4964800 140733753148912 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=409420 CPUtime=1.65 cores=0-7
/proc/28759/task/28763/stat : 28763 (claspmt) R 28757 28759 28697 0 -1 4202560 2521 0 0 0 164 1 0 0 17 0 8 0 740790561 419246080 24622 33554432000 4194304 4964800 140733753148912 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=409420 CPUtime=1.65 cores=0-7
/proc/28759/task/28764/stat : 28764 (claspmt) R 28757 28759 28697 0 -1 4202560 3058 0 0 0 164 1 0 0 17 0 8 0 740790561 419246080 24622 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=409420 CPUtime=2.04 cores=0-7
/proc/28759/task/28765/stat : 28765 (claspmt) R 28757 28759 28697 0 -1 4202560 2089 0 0 0 204 0 0 0 20 0 8 0 740790561 419246080 24622 33554432000 4194304 4964800 140733753148912 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=409420 CPUtime=1.65 cores=0-7
/proc/28759/task/28766/stat : 28766 (claspmt) R 28757 28759 28697 0 -1 4202560 2548 0 0 0 163 2 0 0 17 0 8 0 740790561 419246080 24622 33554432000 4194304 4964800 140733753148912 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=409420 CPUtime=1.65 cores=0-7
/proc/28759/task/28767/stat : 28767 (claspmt) R 28757 28759 28697 0 -1 4202560 3147 0 0 0 164 1 0 0 17 0 8 0 740790561 419246080 24622 33554432000 4194304 4964800 140733753148912 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.68
Current children cumulated vsize (KiB) 409420

[startup+6.30101 s]
/proc/loadavg: 7.06 7.60 7.86 9/426 28767
/proc/meminfo: memFree=13599816/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=415188 CPUtime=40.24 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 36549 0 0 0 4004 20 0 0 25 0 8 0 740790459 425152512 35379 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670264 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28759/statm: 103797 35379 464 189 0 98146 0
[pid=28759/tid=28761] ppid=28757 vsize=415188 CPUtime=4.8 cores=0-7
/proc/28759/task/28761/stat : 28761 (claspmt) R 28757 28759 28697 0 -1 4202560 3067 0 0 0 479 1 0 0 25 0 8 0 740790561 425152512 35379 33554432000 4194304 4964800 140733753148912 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=415188 CPUtime=4.85 cores=0-7
/proc/28759/task/28762/stat : 28762 (claspmt) R 28757 28759 28697 0 -1 4202560 5336 0 0 0 483 2 0 0 25 0 8 0 740790561 425152512 35379 33554432000 4194304 4964800 140733753148912 18446744073709551615 4362960 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=415188 CPUtime=4.84 cores=0-7
/proc/28759/task/28763/stat : 28763 (claspmt) R 28757 28759 28697 0 -1 4202560 3372 0 0 0 483 1 0 0 25 0 8 0 740790561 425152512 35379 33554432000 4194304 4964800 140733753148912 18446744073709551615 4660139 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=415188 CPUtime=4.85 cores=0-7
/proc/28759/task/28764/stat : 28764 (claspmt) R 28757 28759 28697 0 -1 4202560 4390 0 0 0 483 2 0 0 25 0 8 0 740790561 425152512 35379 33554432000 4194304 4964800 140733753148912 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=415188 CPUtime=5.24 cores=0-7
/proc/28759/task/28765/stat : 28765 (claspmt) R 28757 28759 28697 0 -1 4202560 2097 0 0 0 524 0 0 0 25 0 8 0 740790561 425152512 35379 33554432000 4194304 4964800 140733753148912 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=415188 CPUtime=4.85 cores=0-7
/proc/28759/task/28766/stat : 28766 (claspmt) R 28757 28759 28697 0 -1 4202560 3717 0 0 0 482 3 0 0 25 0 8 0 740790561 425152512 35379 33554432000 4194304 4964800 140733753148912 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=415188 CPUtime=4.86 cores=0-7
/proc/28759/task/28767/stat : 28767 (claspmt) R 28757 28759 28697 0 -1 4202560 6476 0 0 0 482 4 0 0 25 0 8 0 740790561 425152512 35379 33554432000 4194304 4964800 140733753148912 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40.24
Current children cumulated vsize (KiB) 415188

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

[startup+7.90073 s]
/proc/loadavg: 7.14 7.60 7.86 9/426 28767
/proc/meminfo: memFree=13585960/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=415712 CPUtime=53 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 37274 0 0 0 5280 20 0 0 25 0 8 0 740790459 425689088 36104 33554432000 4194304 4964800 140733753148912 18446744073709551615 4627338 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28759/statm: 103928 36104 466 189 0 98277 0
[pid=28759/tid=28761] ppid=28757 vsize=415712 CPUtime=6.36 cores=0-7
/proc/28759/task/28761/stat : 28761 (claspmt) R 28757 28759 28697 0 -1 4202560 3104 0 0 0 635 1 0 0 25 0 8 0 740790561 425689088 36104 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=415712 CPUtime=6.45 cores=0-7
/proc/28759/task/28762/stat : 28762 (claspmt) R 28757 28759 28697 0 -1 4202560 5441 0 0 0 643 2 0 0 18 0 8 0 740790561 425689088 36104 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=415712 CPUtime=6.44 cores=0-7
/proc/28759/task/28763/stat : 28763 (claspmt) R 28757 28759 28697 0 -1 4202560 3484 0 0 0 643 1 0 0 25 0 8 0 740790561 425689088 36104 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=415712 CPUtime=6.45 cores=0-7
/proc/28759/task/28764/stat : 28764 (claspmt) R 28757 28759 28697 0 -1 4202560 4527 0 0 0 643 2 0 0 25 0 8 0 740790561 425689088 36104 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670363 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=415712 CPUtime=6.84 cores=0-7
/proc/28759/task/28765/stat : 28765 (claspmt) R 28757 28759 28697 0 -1 4202560 2100 0 0 0 684 0 0 0 25 0 8 0 740790561 425689088 36104 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=415712 CPUtime=6.45 cores=0-7
/proc/28759/task/28766/stat : 28766 (claspmt) R 28757 28759 28697 0 -1 4202560 3895 0 0 0 642 3 0 0 25 0 8 0 740790561 425689088 36104 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=415712 CPUtime=6.46 cores=0-7
/proc/28759/task/28767/stat : 28767 (claspmt) R 28757 28759 28697 0 -1 4202560 6579 0 0 0 642 4 0 0 25 0 8 0 740790561 425689088 36104 33554432000 4194304 4964800 140733753148912 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 53
Current children cumulated vsize (KiB) 415712

[startup+8.30066 s]
/proc/loadavg: 7.14 7.60 7.86 9/426 28767
/proc/meminfo: memFree=13585960/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=415712 CPUtime=56.19 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 37372 0 0 0 5599 20 0 0 25 0 8 0 740790459 425689088 36202 33554432000 4194304 4964800 140733753148912 18446744073709551615 4669532 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28759/statm: 103928 36202 466 189 0 98277 0
[pid=28759/tid=28761] ppid=28757 vsize=415712 CPUtime=6.76 cores=0-7
/proc/28759/task/28761/stat : 28761 (claspmt) R 28757 28759 28697 0 -1 4202560 3184 0 0 0 675 1 0 0 25 0 8 0 740790561 425689088 36202 33554432000 4194304 4964800 140733753148912 18446744073709551615 4370384 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=415712 CPUtime=6.85 cores=0-7
/proc/28759/task/28762/stat : 28762 (claspmt) R 28757 28759 28697 0 -1 4202560 5441 0 0 0 683 2 0 0 19 0 8 0 740790561 425689088 36202 33554432000 4194304 4964800 140733753148912 18446744073709551615 4660142 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=415712 CPUtime=6.84 cores=0-7
/proc/28759/task/28763/stat : 28763 (claspmt) R 28757 28759 28697 0 -1 4202560 3484 0 0 0 683 1 0 0 25 0 8 0 740790561 425689088 36202 33554432000 4194304 4964800 140733753148912 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=415712 CPUtime=6.85 cores=0-7
/proc/28759/task/28764/stat : 28764 (claspmt) R 28757 28759 28697 0 -1 4202560 4536 0 0 0 683 2 0 0 25 0 8 0 740790561 425689088 36202 33554432000 4194304 4964800 140733753148912 18446744073709551615 4319827 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=415712 CPUtime=7.24 cores=0-7
/proc/28759/task/28765/stat : 28765 (claspmt) R 28757 28759 28697 0 -1 4202560 2100 0 0 0 724 0 0 0 25 0 8 0 740790561 425689088 36202 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=415712 CPUtime=6.85 cores=0-7
/proc/28759/task/28766/stat : 28766 (claspmt) R 28757 28759 28697 0 -1 4202560 3895 0 0 0 682 3 0 0 25 0 8 0 740790561 425689088 36202 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=415712 CPUtime=6.86 cores=0-7
/proc/28759/task/28767/stat : 28767 (claspmt) R 28757 28759 28697 0 -1 4202560 6588 0 0 0 682 4 0 0 25 0 8 0 740790561 425689088 36202 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 56.19
Current children cumulated vsize (KiB) 415712

[startup+8.50063 s]
/proc/loadavg: 7.14 7.60 7.86 9/426 28767
/proc/meminfo: memFree=13585960/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=415712 CPUtime=57.79 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 37442 0 0 0 5759 20 0 0 25 0 8 0 740790459 425689088 36272 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/28759/statm: 103928 36272 466 189 0 98277 0
[pid=28759/tid=28761] ppid=28757 vsize=415712 CPUtime=6.96 cores=0-7
/proc/28759/task/28761/stat : 28761 (claspmt) R 28757 28759 28697 0 -1 4202560 3222 0 0 0 695 1 0 0 25 0 8 0 740790561 425689088 36272 33554432000 4194304 4964800 140733753148912 18446744073709551615 4660452 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28759/tid=28762] ppid=28757 vsize=415712 CPUtime=7.05 cores=0-7
/proc/28759/task/28762/stat : 28762 (claspmt) R 28757 28759 28697 0 -1 4202560 5441 0 0 0 703 2 0 0 19 0 8 0 740790561 425689088 36272 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28759/tid=28763] ppid=28757 vsize=415712 CPUtime=7.04 cores=0-7
/proc/28759/task/28763/stat : 28763 (claspmt) R 28757 28759 28697 0 -1 4202560 3487 0 0 0 703 1 0 0 25 0 8 0 740790561 425689088 36272 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28759/tid=28764] ppid=28757 vsize=415712 CPUtime=7.05 cores=0-7
/proc/28759/task/28764/stat : 28764 (claspmt) R 28757 28759 28697 0 -1 4202560 4536 0 0 0 703 2 0 0 25 0 8 0 740790561 425689088 36272 33554432000 4194304 4964800 140733753148912 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28759/tid=28765] ppid=28757 vsize=415712 CPUtime=7.44 cores=0-7
/proc/28759/task/28765/stat : 28765 (claspmt) R 28757 28759 28697 0 -1 4202560 2100 0 0 0 744 0 0 0 25 0 8 0 740790561 425689088 36272 33554432000 4194304 4964800 140733753148912 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28759/tid=28766] ppid=28757 vsize=415712 CPUtime=7.05 cores=0-7
/proc/28759/task/28766/stat : 28766 (claspmt) R 28757 28759 28697 0 -1 4202560 3895 0 0 0 702 3 0 0 25 0 8 0 740790561 425689088 36272 33554432000 4194304 4964800 140733753148912 18446744073709551615 4654648 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28759/tid=28767] ppid=28757 vsize=415712 CPUtime=7.06 cores=0-7
/proc/28759/task/28767/stat : 28767 (claspmt) R 28757 28759 28697 0 -1 4202560 6588 0 0 0 702 4 0 0 25 0 8 0 740790561 425689088 36272 33554432000 4194304 4964800 140733753148912 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57.79
Current children cumulated vsize (KiB) 415712

[startup+8.60065 s]
/proc/loadavg: 7.14 7.60 7.86 9/426 28767
/proc/meminfo: memFree=13585960/32951124 swapFree=65586204/67111528
[pid=28759] ppid=28757 vsize=414736 CPUtime=58.05 cores=0-7
/proc/28759/stat : 28759 (claspmt) R 28757 28759 28697 0 -1 4202496 37465 0 0 0 5785 20 0 0 25 0 1 0 740790459 424689664 36051 33554432000 4194304 4964800 140733753148912 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28759/statm: 103684 36051 476 189 0 98033 0
Current children cumulated CPU time (s) 58.05
Current children cumulated vsize (KiB) 414736

Child status: 10
Real time (s): 8.62278
CPU time (s): 58.0862
CPU user time (s): 57.8702
CPU system time (s): 0.215967
CPU usage (%): 673.636
Max. virtual memory (cumulated for all children) (KiB): 415712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.8702
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37466
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= 9141
involuntary context switches= 852

runsolver used 0.036994 second user time and 0.099984 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-16 02:26:38
IDJOB=3381137
IDBENCH=83445
IDSOLVER=1865
FILE ID=node119/3381137-1305505598
RUNJOBID= node119-1305505496-28711
PBS_JOBID= 13325498
Free space on /tmp= 73296 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-3381137-1305505598/watcher-3381137-1305505598 -o /tmp/evaluation-result-3381137-1305505598/solver-3381137-1305505598 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381137-1305505598.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=291082891

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13728884 kB
Buffers:        311888 kB
Cached:        4884488 kB
SwapCached:       4756 kB
Active:       15666976 kB
Inactive:      3209028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13728884 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:            4732 kB
Writeback:           0 kB
AnonPages:    13678560 kB
Mapped:          33308 kB
Slab:           214812 kB
PageTables:      63364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120776728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73296 MiB
End job on node119 at 2011-05-16 02:26:47