Trace number 3322532

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-R4095SAT 45.3991 6.98758

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3322532-1304387872/watcher-3322532-1304387872 -o /tmp/evaluation-result-3322532-1304387872/solver-3322532-1304387872 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322532-1304387872.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: 6.36 7.50 7.83 1/329 21256
/proc/meminfo: memFree=19483912/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=23364 CPUtime=0 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 1181 0 0 0 0 0 0 0 21 0 1 0 550388115 23924736 1049 33554432000 4194304 4964704 140733449898832 18446744073709551615 270612771525 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21256/statm: 5841 1050 389 189 0 715 0

[startup+0.0811669 s]
/proc/loadavg: 6.36 7.50 7.83 1/329 21256
/proc/meminfo: memFree=19483912/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=35920 CPUtime=0.07 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 4858 0 0 0 7 0 0 0 21 0 1 0 550388115 36782080 4178 33554432000 4194304 4964704 140733449898832 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21256/statm: 8980 4178 403 189 0 3854 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 35920

[startup+0.101176 s]
/proc/loadavg: 6.36 7.50 7.83 1/329 21256
/proc/meminfo: memFree=19483912/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=35920 CPUtime=0.09 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 4858 0 0 0 9 0 0 0 21 0 1 0 550388115 36782080 4178 33554432000 4194304 4964704 140733449898832 18446744073709551615 4607549 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21256/statm: 8980 4178 403 189 0 3854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35920

[startup+0.300128 s]
/proc/loadavg: 6.36 7.50 7.83 1/329 21256
/proc/meminfo: memFree=19483912/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=35920 CPUtime=0.29 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 4858 0 0 0 29 0 0 0 22 0 1 0 550388115 36782080 4178 33554432000 4194304 4964704 140733449898832 18446744073709551615 4607622 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21256/statm: 8980 4178 403 189 0 3854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35920

[startup+0.701055 s]
/proc/loadavg: 6.36 7.50 7.83 1/329 21256
/proc/meminfo: memFree=19483912/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=35920 CPUtime=0.69 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 4858 0 0 0 69 0 0 0 24 0 1 0 550388115 36782080 4178 33554432000 4194304 4964704 140733449898832 18446744073709551615 4607622 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21256/statm: 8980 4178 403 189 0 3854 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35920

[startup+1.50088 s]
/proc/loadavg: 6.36 7.50 7.83 2/330 21257
/proc/meminfo: memFree=19467104/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=471264 CPUtime=2.14 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 17839 0 0 0 207 7 0 0 22 0 8 0 550388115 482574336 16608 33554432000 4194304 4964704 140733449898832 18446744073709551615 4690072 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21256/statm: 117816 16608 464 189 0 112165 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 471264

[startup+3.1006 s]
/proc/loadavg: 6.36 7.50 7.83 11/337 21264
/proc/meminfo: memFree=19402444/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=473484 CPUtime=14.92 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 27094 0 0 0 1480 12 0 0 25 0 8 0 550388115 484847616 25863 33554432000 4194304 4964704 140733449898832 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21256/statm: 118371 25863 464 189 0 112720 0
[pid=21256/tid=21258] ppid=21254 vsize=473484 CPUtime=1.69 cores=0-7
/proc/21256/task/21258/stat : 21258 (claspmt) R 21254 21256 21160 0 -1 4202560 2397 0 0 0 168 1 0 0 17 0 8 0 550388216 484847616 25863 33554432000 4194304 4964704 140733449898832 18446744073709551615 4669458 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21256/tid=21259] ppid=21254 vsize=473484 CPUtime=1.68 cores=0-7
/proc/21256/task/21259/stat : 21259 (claspmt) R 21254 21256 21160 0 -1 4202560 3526 0 0 0 167 1 0 0 17 0 8 0 550388216 484847616 25863 33554432000 4194304 4964704 140733449898832 18446744073709551615 4658341 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21256/tid=21260] ppid=21254 vsize=473484 CPUtime=1.69 cores=0-7
/proc/21256/task/21260/stat : 21260 (claspmt) R 21254 21256 21160 0 -1 4202560 2721 0 0 0 168 1 0 0 17 0 8 0 550388216 484847616 25863 33554432000 4194304 4964704 140733449898832 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21256/tid=21261] ppid=21254 vsize=473484 CPUtime=1.69 cores=0-7
/proc/21256/task/21261/stat : 21261 (claspmt) R 21254 21256 21160 0 -1 4202560 2065 0 0 0 168 1 0 0 17 0 8 0 550388216 484847616 25863 33554432000 4194304 4964704 140733449898832 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21256/tid=21262] ppid=21254 vsize=473484 CPUtime=2.04 cores=0-7
/proc/21256/task/21262/stat : 21262 (claspmt) R 21254 21256 21160 0 -1 4202560 2494 0 0 0 204 0 0 0 21 0 8 0 550388216 484847616 25863 33554432000 4194304 4964704 140733449898832 18446744073709551615 4399429 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21256/tid=21263] ppid=21254 vsize=473484 CPUtime=1.68 cores=0-7
/proc/21256/task/21263/stat : 21263 (claspmt) R 21254 21256 21160 0 -1 4202560 2582 0 0 0 167 1 0 0 17 0 8 0 550388216 484847616 25863 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21256/tid=21264] ppid=21254 vsize=473484 CPUtime=1.69 cores=0-7
/proc/21256/task/21264/stat : 21264 (claspmt) R 21254 21256 21160 0 -1 4202560 3861 0 0 0 167 2 0 0 17 0 8 0 550388216 484847616 25863 33554432000 4194304 4964704 140733449898832 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 14.92
Current children cumulated vsize (KiB) 473484

[startup+6.30103 s]
/proc/loadavg: 6.49 7.51 7.83 9/337 21264
/proc/meminfo: memFree=19354032/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=479980 CPUtime=40.48 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 36633 0 0 0 4030 18 0 0 20 0 8 0 550388115 491499520 35402 33554432000 4194304 4964704 140733449898832 18446744073709551615 4658299 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21256/statm: 119995 35402 466 189 0 114344 0
[pid=21256/tid=21258] ppid=21254 vsize=479980 CPUtime=4.89 cores=0-7
/proc/21256/task/21258/stat : 21258 (claspmt) R 21254 21256 21160 0 -1 4202560 3136 0 0 0 487 2 0 0 25 0 8 0 550388216 491499520 35402 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670450 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21256/tid=21259] ppid=21254 vsize=479980 CPUtime=4.88 cores=0-7
/proc/21256/task/21259/stat : 21259 (claspmt) R 21254 21256 21160 0 -1 4202560 5108 0 0 0 486 2 0 0 25 0 8 0 550388216 491499520 35402 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21256/tid=21260] ppid=21254 vsize=479980 CPUtime=4.9 cores=0-7
/proc/21256/task/21260/stat : 21260 (claspmt) R 21254 21256 21160 0 -1 4202560 4246 0 0 0 487 3 0 0 25 0 8 0 550388216 491499520 35402 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21256/tid=21261] ppid=21254 vsize=479980 CPUtime=4.89 cores=0-7
/proc/21256/task/21261/stat : 21261 (claspmt) R 21254 21256 21160 0 -1 4202560 2992 0 0 0 487 2 0 0 25 0 8 0 550388216 491499520 35402 33554432000 4194304 4964704 140733449898832 18446744073709551615 4647742 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21256/tid=21262] ppid=21254 vsize=479980 CPUtime=5.24 cores=0-7
/proc/21256/task/21262/stat : 21262 (claspmt) R 21254 21256 21160 0 -1 4202560 2513 0 0 0 524 0 0 0 25 0 8 0 550388216 491499520 35402 33554432000 4194304 4964704 140733449898832 18446744073709551615 4668683 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21256/tid=21263] ppid=21254 vsize=479980 CPUtime=4.85 cores=0-7
/proc/21256/task/21263/stat : 21263 (claspmt) R 21254 21256 21160 0 -1 4202560 4252 0 0 0 483 2 0 0 25 0 8 0 550388216 491499520 35402 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21256/tid=21264] ppid=21254 vsize=479980 CPUtime=4.89 cores=0-7
/proc/21256/task/21264/stat : 21264 (claspmt) R 21254 21256 21160 0 -1 4202560 6182 0 0 0 486 3 0 0 25 0 8 0 550388216 491499520 35402 33554432000 4194304 4964704 140733449898832 18446744073709551615 4669077 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40.48
Current children cumulated vsize (KiB) 479980

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

[startup+6.70096 s]
/proc/loadavg: 6.49 7.51 7.83 9/337 21264
/proc/meminfo: memFree=19344360/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=480640 CPUtime=43.66 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 37271 0 0 0 4348 18 0 0 21 0 8 0 550388115 492175360 36040 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670243 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21256/statm: 120160 36040 466 189 0 114509 0
[pid=21256/tid=21258] ppid=21254 vsize=480640 CPUtime=5.29 cores=0-7
/proc/21256/task/21258/stat : 21258 (claspmt) R 21254 21256 21160 0 -1 4202560 3237 0 0 0 527 2 0 0 25 0 8 0 550388216 492175360 36040 33554432000 4194304 4964704 140733449898832 18446744073709551615 4669306 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21256/tid=21259] ppid=21254 vsize=480640 CPUtime=5.28 cores=0-7
/proc/21256/task/21259/stat : 21259 (claspmt) R 21254 21256 21160 0 -1 4202560 5187 0 0 0 526 2 0 0 25 0 8 0 550388216 492175360 36040 33554432000 4194304 4964704 140733449898832 18446744073709551615 4668683 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21256/tid=21260] ppid=21254 vsize=480640 CPUtime=5.3 cores=0-7
/proc/21256/task/21260/stat : 21260 (claspmt) R 21254 21256 21160 0 -1 4202560 4262 0 0 0 527 3 0 0 25 0 8 0 550388216 492175360 36040 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21256/tid=21261] ppid=21254 vsize=480640 CPUtime=5.29 cores=0-7
/proc/21256/task/21261/stat : 21261 (claspmt) R 21254 21256 21160 0 -1 4202560 3044 0 0 0 527 2 0 0 25 0 8 0 550388216 492175360 36040 33554432000 4194304 4964704 140733449898832 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21256/tid=21262] ppid=21254 vsize=480640 CPUtime=5.64 cores=0-7
/proc/21256/task/21262/stat : 21262 (claspmt) R 21254 21256 21160 0 -1 4202560 2514 0 0 0 564 0 0 0 25 0 8 0 550388216 492175360 36040 33554432000 4194304 4964704 140733449898832 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21256/tid=21263] ppid=21254 vsize=480640 CPUtime=5.24 cores=0-7
/proc/21256/task/21263/stat : 21263 (claspmt) R 21254 21256 21160 0 -1 4202560 4385 0 0 0 522 2 0 0 25 0 8 0 550388216 492175360 36040 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21256/tid=21264] ppid=21254 vsize=480640 CPUtime=5.29 cores=0-7
/proc/21256/task/21264/stat : 21264 (claspmt) R 21254 21256 21160 0 -1 4202560 6384 0 0 0 526 3 0 0 25 0 8 0 550388216 492175360 36040 33554432000 4194304 4964704 140733449898832 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 43.66
Current children cumulated vsize (KiB) 480640

[startup+6.90093 s]
/proc/loadavg: 6.49 7.51 7.83 9/337 21264
/proc/meminfo: memFree=19344360/32951124 swapFree=67111516/67111528
[pid=21256] ppid=21254 vsize=480640 CPUtime=45.26 cores=0-7
/proc/21256/stat : 21256 (claspmt) R 21254 21256 21160 0 -1 4202496 37284 0 0 0 4508 18 0 0 22 0 8 0 550388115 492175360 36053 33554432000 4194304 4964704 140733449898832 18446744073709551615 4684055 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/21256/statm: 120160 36053 466 189 0 114509 0
[pid=21256/tid=21258] ppid=21254 vsize=480640 CPUtime=5.49 cores=0-7
/proc/21256/task/21258/stat : 21258 (claspmt) R 21254 21256 21160 0 -1 4202560 3237 0 0 0 547 2 0 0 25 0 8 0 550388216 492175360 36053 33554432000 4194304 4964704 140733449898832 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21256/tid=21259] ppid=21254 vsize=480640 CPUtime=5.48 cores=0-7
/proc/21256/task/21259/stat : 21259 (claspmt) R 21254 21256 21160 0 -1 4202560 5189 0 0 0 546 2 0 0 25 0 8 0 550388216 492175360 36053 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=21256/tid=21260] ppid=21254 vsize=480640 CPUtime=5.5 cores=0-7
/proc/21256/task/21260/stat : 21260 (claspmt) R 21254 21256 21160 0 -1 4202560 4265 0 0 0 547 3 0 0 25 0 8 0 550388216 492175360 36053 33554432000 4194304 4964704 140733449898832 18446744073709551615 4332144 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21256/tid=21261] ppid=21254 vsize=480640 CPUtime=5.49 cores=0-7
/proc/21256/task/21261/stat : 21261 (claspmt) R 21254 21256 21160 0 -1 4202560 3049 0 0 0 547 2 0 0 25 0 8 0 550388216 492175360 36053 33554432000 4194304 4964704 140733449898832 18446744073709551615 4684013 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21256/tid=21262] ppid=21254 vsize=480640 CPUtime=5.84 cores=0-7
/proc/21256/task/21262/stat : 21262 (claspmt) R 21254 21256 21160 0 -1 4202560 2514 0 0 0 584 0 0 0 25 0 8 0 550388216 492175360 36053 33554432000 4194304 4964704 140733449898832 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=21256/tid=21263] ppid=21254 vsize=480640 CPUtime=5.44 cores=0-7
/proc/21256/task/21263/stat : 21263 (claspmt) R 21254 21256 21160 0 -1 4202560 4386 0 0 0 542 2 0 0 25 0 8 0 550388216 492175360 36053 33554432000 4194304 4964704 140733449898832 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21256/tid=21264] ppid=21254 vsize=480640 CPUtime=5.49 cores=0-7
/proc/21256/task/21264/stat : 21264 (claspmt) R 21254 21256 21160 0 -1 4202560 6384 0 0 0 546 3 0 0 25 0 8 0 550388216 492175360 36053 33554432000 4194304 4964704 140733449898832 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 45.26
Current children cumulated vsize (KiB) 480640

Child status: 10
Real time (s): 6.98758
CPU time (s): 45.3991
CPU user time (s): 45.2031
CPU system time (s): 0.19597
CPU usage (%): 649.712
Max. virtual memory (cumulated for all children) (KiB): 480640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.2031
system time used= 0.19597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37297
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= 9649
involuntary context switches= 591

runsolver used 0.023996 second user time and 0.06199 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-03 03:57:52
IDJOB=3322532
IDBENCH=83445
IDSOLVER=1711
FILE ID=node108/3322532-1304387872
RUNJOBID= node108-1304387809-21174
PBS_JOBID= 13181819
Free space on /tmp= 73312 MiB

SOLVER NAME= claspmt 2.0-R4095
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-3322532-1304387872/watcher-3322532-1304387872 -o /tmp/evaluation-result-3322532-1304387872/solver-3322532-1304387872 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322532-1304387872.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1641483529

node108.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.820
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.64
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.820
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	: 5226.15
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.820
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.82
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.820
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.77
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.820
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.82
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.820
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.75
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.820
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.75
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.820
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:      19484316 kB
Buffers:        686764 kB
Cached:        2190056 kB
SwapCached:         12 kB
Active:       10531964 kB
Inactive:      2493692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19484316 kB
SwapTotal:    67111528 kB
SwapFree:     67111516 kB
Dirty:            4680 kB
Writeback:           0 kB
AnonPages:    10148888 kB
Mapped:          28680 kB
Slab:           336624 kB
PageTables:      37888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52248440 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= 73312 MiB
End job on node108 at 2011-05-03 03:57:59