Trace number 3373317

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 37.1064 11.3399

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

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-3373317-1305428424/watcher-3373317-1305428424 -o /tmp/evaluation-result-3373317-1305428424/solver-3373317-1305428424 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373317-1305428424.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 5.25 4.65 6.10 2/282 13563
/proc/meminfo: memFree=18890920/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=22832 CPUtime=0 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 1051 0 0 0 0 0 0 0 25 0 1 0 654442014 23379968 920 33554432000 4194304 4964800 140734319930944 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13563/statm: 5708 921 385 189 0 582 0

[startup+0.0943909 s]
/proc/loadavg: 5.25 4.65 6.10 2/282 13563
/proc/meminfo: memFree=18890920/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=35944 CPUtime=0.08 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 4863 0 0 0 8 0 0 0 25 0 1 0 654442014 36806656 4184 33554432000 4194304 4964800 140734319930944 18446744073709551615 4607644 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13563/statm: 8986 4184 402 189 0 3860 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35944

[startup+0.100389 s]
/proc/loadavg: 5.25 4.65 6.10 2/282 13563
/proc/meminfo: memFree=18890920/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=35944 CPUtime=0.09 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 4863 0 0 0 9 0 0 0 25 0 1 0 654442014 36806656 4184 33554432000 4194304 4964800 140734319930944 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13563/statm: 8986 4184 402 189 0 3860 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35944

[startup+0.300355 s]
/proc/loadavg: 5.25 4.65 6.10 2/282 13563
/proc/meminfo: memFree=18890920/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=35944 CPUtime=0.29 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 4863 0 0 0 29 0 0 0 25 0 1 0 654442014 36806656 4184 33554432000 4194304 4964800 140734319930944 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13563/statm: 8986 4184 402 189 0 3860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35944

[startup+0.700284 s]
/proc/loadavg: 5.25 4.65 6.10 2/282 13563
/proc/meminfo: memFree=18890920/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=35944 CPUtime=0.69 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 4863 0 0 0 69 0 0 0 25 0 1 0 654442014 36806656 4184 33554432000 4194304 4964800 140734319930944 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/13563/statm: 8986 4184 402 189 0 3860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35944

[startup+1.5011 s]
/proc/loadavg: 5.25 4.65 6.10 3/283 13564
/proc/meminfo: memFree=18873436/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=254484 CPUtime=2.9 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 12300 0 0 0 287 3 0 0 25 0 4 0 654442014 260591616 11311 33554432000 4194304 4964800 140734319930944 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/13563/statm: 63621 11311 458 189 0 57970 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 254484

[startup+3.10083 s]
/proc/loadavg: 5.25 4.65 6.10 6/286 13567
/proc/meminfo: memFree=18839932/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=260920 CPUtime=8.84 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 16728 0 0 0 879 5 0 0 25 0 4 0 654442014 267182080 15739 33554432000 4194304 4964800 140734319930944 18446744073709551615 274664913390 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/13563/statm: 65230 15739 458 189 0 59579 0
[pid=13563/tid=13565] ppid=13561 vsize=260920 CPUtime=2.06 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (claspmt) R 13561 13563 6618 0 -1 4202560 2304 0 0 0 205 1 0 0 21 0 4 0 654442116 267182080 15739 33554432000 4194304 4964800 140734319930944 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13563/tid=13566] ppid=13561 vsize=260920 CPUtime=2.06 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (claspmt) R 13561 13563 6618 0 -1 4202560 4487 0 0 0 205 1 0 0 21 0 4 0 654442116 267182080 15739 33554432000 4194304 4964800 140734319930944 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13563/tid=13567] ppid=13561 vsize=260920 CPUtime=2.06 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (claspmt) R 13561 13563 6618 0 -1 4202560 3255 0 0 0 206 0 0 0 21 0 4 0 654442116 267182080 15739 33554432000 4194304 4964800 140734319930944 18446744073709551615 4362996 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.84
Current children cumulated vsize (KiB) 260920

[startup+6.30027 s]
/proc/loadavg: 5.47 4.71 6.11 8/286 13567
/proc/meminfo: memFree=18812036/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=265020 CPUtime=18.4 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 21084 0 0 0 1831 9 0 0 25 0 4 0 654442014 271380480 20095 33554432000 4194304 4964800 140734319930944 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/13563/statm: 66255 20095 460 189 0 60604 0
[pid=13563/tid=13565] ppid=13561 vsize=265020 CPUtime=3.77 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (claspmt) R 13561 13563 6618 0 -1 4202560 2786 0 0 0 376 1 0 0 25 0 4 0 654442116 271380480 20095 33554432000 4194304 4964800 140734319930944 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13563/tid=13566] ppid=13561 vsize=265020 CPUtime=5.12 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (claspmt) R 13561 13563 6618 0 -1 4202560 6227 0 0 0 509 3 0 0 25 0 4 0 654442116 271380480 20095 33554432000 4194304 4964800 140734319930944 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13563/tid=13567] ppid=13561 vsize=265020 CPUtime=5.25 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (claspmt) R 13561 13563 6618 0 -1 4202560 4732 0 0 0 524 1 0 0 25 0 4 0 654442116 271380480 20095 33554432000 4194304 4964800 140734319930944 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18.4
Current children cumulated vsize (KiB) 265020

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

[startup+9.50072 s]
/proc/loadavg: 5.47 4.71 6.11 9/289 13570
/proc/meminfo: memFree=18744068/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=265552 CPUtime=29.89 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 22557 0 0 0 2975 14 0 0 25 0 4 0 654442014 271925248 21568 33554432000 4194304 4964800 140734319930944 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/13563/statm: 66388 21568 460 189 0 60737 0
[pid=13563/tid=13565] ppid=13561 vsize=265552 CPUtime=6.98 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (claspmt) R 13561 13563 6618 0 -1 4202560 2874 0 0 0 696 2 0 0 25 0 4 0 654442116 271925248 21568 33554432000 4194304 4964800 140734319930944 18446744073709551615 4628024 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13563/tid=13566] ppid=13561 vsize=265552 CPUtime=7.73 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (claspmt) R 13561 13563 6618 0 -1 4202560 6709 0 0 0 768 5 0 0 25 0 4 0 654442116 271925248 21568 33554432000 4194304 4964800 140734319930944 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13563/tid=13567] ppid=13561 vsize=265552 CPUtime=8.46 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (claspmt) R 13561 13563 6618 0 -1 4202560 5431 0 0 0 842 4 0 0 25 0 4 0 654442116 271925248 21568 33554432000 4194304 4964800 140734319930944 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 29.89
Current children cumulated vsize (KiB) 265552

[startup+10.3006 s]
/proc/loadavg: 5.67 4.76 6.12 9/289 13570
/proc/meminfo: memFree=18732612/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=265552 CPUtime=33.07 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 22615 0 0 0 3293 14 0 0 25 0 4 0 654442014 271925248 21626 33554432000 4194304 4964800 140734319930944 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/13563/statm: 66388 21626 460 189 0 60737 0
[pid=13563/tid=13565] ppid=13561 vsize=265552 CPUtime=7.78 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (claspmt) R 13561 13563 6618 0 -1 4202560 2878 0 0 0 776 2 0 0 25 0 4 0 654442116 271925248 21626 33554432000 4194304 4964800 140734319930944 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13563/tid=13566] ppid=13561 vsize=265552 CPUtime=8.53 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (claspmt) R 13561 13563 6618 0 -1 4202560 6736 0 0 0 848 5 0 0 25 0 4 0 654442116 271925248 21626 33554432000 4194304 4964800 140734319930944 18446744073709551615 4627887 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13563/tid=13567] ppid=13561 vsize=265552 CPUtime=9.26 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (claspmt) R 13561 13563 6618 0 -1 4202560 5445 0 0 0 922 4 0 0 25 0 4 0 654442116 271925248 21626 33554432000 4194304 4964800 140734319930944 18446744073709551615 4660163 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 33.07
Current children cumulated vsize (KiB) 265552

[startup+11.1004 s]
/proc/loadavg: 5.67 4.76 6.12 9/289 13570
/proc/meminfo: memFree=18725296/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=265700 CPUtime=36.27 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) R 13561 13563 6618 0 -1 4202496 22675 0 0 0 3612 15 0 0 25 0 4 0 654442014 272076800 21686 33554432000 4194304 4964800 140734319930944 18446744073709551615 4653316 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/13563/statm: 66425 21686 460 189 0 60774 0
[pid=13563/tid=13565] ppid=13561 vsize=265700 CPUtime=8.58 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (claspmt) R 13561 13563 6618 0 -1 4202560 2882 0 0 0 856 2 0 0 25 0 4 0 654442116 272076800 21686 33554432000 4194304 4964800 140734319930944 18446744073709551615 4653539 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13563/tid=13566] ppid=13561 vsize=265700 CPUtime=9.33 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (claspmt) R 13561 13563 6618 0 -1 4202560 6778 0 0 0 928 5 0 0 25 0 4 0 654442116 272076800 21686 33554432000 4194304 4964800 140734319930944 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13563/tid=13567] ppid=13561 vsize=265700 CPUtime=10.06 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (claspmt) R 13561 13563 6618 0 -1 4202560 5459 0 0 0 1002 4 0 0 25 0 4 0 654442116 272076800 21686 33554432000 4194304 4964800 140734319930944 18446744073709551615 4342914 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 36.27
Current children cumulated vsize (KiB) 265700

[startup+11.3004 s]
/proc/loadavg: 5.67 4.76 6.12 9/289 13570
/proc/meminfo: memFree=18725296/32951132 swapFree=67093824/67111528
[pid=13563] ppid=13561 vsize=265700 CPUtime=37.06 cores=1,3,5,7
/proc/13563/stat : 13563 (claspmt) S 13561 13563 6618 0 -1 4202496 22716 0 0 0 3691 15 0 0 25 0 2 0 654442014 272076800 21727 33554432000 4194304 4964800 140734319930944 18446744073709551615 274676611045 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/13563/statm: 66425 21727 462 189 0 60774 0
[pid=13563/tid=13567] ppid=13561 vsize=265700 CPUtime=10.26 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (claspmt) R 13561 13563 6618 0 -1 4202560 5460 0 0 0 1022 4 0 0 25 0 2 0 654442116 272076800 21727 33554432000 4194304 4964800 140734319930944 18446744073709551615 4313616 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 37.06
Current children cumulated vsize (KiB) 265700

Child status: 10
Real time (s): 11.3399
CPU time (s): 37.1064
CPU user time (s): 36.9504
CPU system time (s): 0.155976
CPU usage (%): 327.219
Max. virtual memory (cumulated for all children) (KiB): 265700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.9504
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22726
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= 1271
involuntary context switches= 371

runsolver used 0.032994 second user time and 0.080987 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-15 05:00:24
IDJOB=3373317
IDBENCH=83445
IDSOLVER=1853
FILE ID=node131/3373317-1305428424
RUNJOBID= node131-1305428390-13423
PBS_JOBID= 13324598
Free space on /tmp= 73696 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-3373317-1305428424/watcher-3373317-1305428424 -o /tmp/evaluation-result-3373317-1305428424/solver-3373317-1305428424 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373317-1305428424.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1481085284

node131.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.830
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.66
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.830
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.75
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.830
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.83
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.830
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.75
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.830
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.77
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.830
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.830
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.830
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      18891076 kB
Buffers:        279844 kB
Cached:        3769480 kB
SwapCached:       1504 kB
Active:       10640644 kB
Inactive:      3161956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      18891076 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:           16464 kB
Writeback:           0 kB
AnonPages:     9750952 kB
Mapped:          27516 kB
Slab:           165212 kB
PageTables:      30956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28047876 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73696 MiB
End job on node131 at 2011-05-15 05:00:35