Trace number 1560738

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
SAT07 reference solver: picosat 535SAT 30.3614 30.3733

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-08.cnf
MD5SUMfc002583fd176f7c17c597cf2b9ef469
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.201969
Satisfiable
(Un)Satisfiability was proved
Number of variables8564
Number of clauses28927
Sum of the clauses size74571
Maximum clause length14
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 213201
Number of clauses of size 314829
Number of clauses of size 4883
Number of clauses of size 50
Number of clauses of size over 513

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1560738-1238758609/watcher-1560738-1238758609 -o /tmp/evaluation-result-1560738-1238758609/solver-1560738-1238758609 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1560738-1238758609.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 4848
/proc/meminfo: memFree=1741192/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=1536 CPUtime=0
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 359581629 1572864 229 1992294400 134512640 134931368 4294956240 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 384 229 40 102 0 279 0

[startup+0.0690869 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 4848
/proc/meminfo: memFree=1741192/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=1800 CPUtime=0.05
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 277 0 0 0 2 3 0 0 18 0 1 0 359581629 1843200 263 1992294400 134512640 134931368 4294956240 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 450 263 40 102 0 345 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1800

[startup+0.101089 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 4848
/proc/meminfo: memFree=1741192/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=1800 CPUtime=0.09
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 304 0 0 0 4 5 0 0 18 0 1 0 359581629 1843200 290 1992294400 134512640 134931368 4294956240 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 450 290 40 102 0 345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1800

[startup+0.301115 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 4848
/proc/meminfo: memFree=1741192/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=2460 CPUtime=0.29
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 451 0 0 0 17 12 0 0 19 0 1 0 359581629 2519040 435 1992294400 134512640 134931368 4294956240 18446744073709551615 134525918 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 615 435 42 102 0 510 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2460

[startup+0.701166 s]
/proc/loadavg: 1.00 0.99 1.00 2/65 4848
/proc/meminfo: memFree=1741192/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=2724 CPUtime=0.69
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 498 0 0 0 57 12 0 0 22 0 1 0 359581629 2789376 482 1992294400 134512640 134931368 4294956240 18446744073709551615 134525707 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 681 482 42 102 0 576 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2724

[startup+1.50227 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 4849
/proc/meminfo: memFree=1739968/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=2996 CPUtime=1.49
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 589 0 0 0 137 12 0 0 25 0 1 0 359581629 3067904 571 1992294400 134512640 134931368 4294956240 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 749 571 48 102 0 644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2996

[startup+3.10147 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 4849
/proc/meminfo: memFree=1739520/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=3128 CPUtime=3.09
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 616 0 0 0 297 12 0 0 25 0 1 0 359581629 3203072 598 1992294400 134512640 134931368 4294956240 18446744073709551615 134525578 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 782 598 48 102 0 677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3128

[startup+6.30187 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 4849
/proc/meminfo: memFree=1739456/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=3128 CPUtime=6.29
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 618 0 0 0 617 12 0 0 25 0 1 0 359581629 3203072 600 1992294400 134512640 134931368 4294956240 18446744073709551615 134525703 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 782 600 48 102 0 677 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3128

[startup+12.7017 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 4849
/proc/meminfo: memFree=1739136/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=3428 CPUtime=12.68
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 664 0 0 0 1256 12 0 0 25 0 1 0 359581629 3510272 644 1992294400 134512640 134931368 4294956240 18446744073709551615 134525794 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 857 644 48 102 0 752 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3428

[startup+25.5013 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 4849
/proc/meminfo: memFree=1738880/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=3548 CPUtime=25.48
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 713 0 0 0 2535 13 0 0 25 0 1 0 359581629 3633152 693 1992294400 134512640 134931368 4294956240 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 887 693 48 102 0 782 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3548

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

[startup+28.7017 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 4849
/proc/meminfo: memFree=1738816/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=3668 CPUtime=28.68
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 733 0 0 0 2855 13 0 0 25 0 1 0 359581629 3756032 713 1992294400 134512640 134931368 4294956240 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 917 713 48 102 0 812 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 3668

[startup+29.5018 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 4849
/proc/meminfo: memFree=1738816/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=3792 CPUtime=29.48
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 765 0 0 0 2935 13 0 0 25 0 1 0 359581629 3883008 745 1992294400 134512640 134931368 4294956240 18446744073709551615 134522836 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 948 745 48 102 0 843 0
Current children cumulated CPU time (s) 29.48
Current children cumulated vsize (KiB) 3792

[startup+29.9019 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 4849
/proc/meminfo: memFree=1738688/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=3792 CPUtime=29.88
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 765 0 0 0 2975 13 0 0 25 0 1 0 359581629 3883008 745 1992294400 134512640 134931368 4294956240 18446744073709551615 134525783 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 948 745 48 102 0 843 0
Current children cumulated CPU time (s) 29.88
Current children cumulated vsize (KiB) 3792

[startup+30.3019 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 4849
/proc/meminfo: memFree=1738688/2055920 swapFree=4191900/4192956
[pid=4848] ppid=4846 vsize=3792 CPUtime=30.28
/proc/4848/stat : 4848 (picosat) R 4846 4848 4552 0 -1 4194304 765 0 0 0 3015 13 0 0 25 0 1 0 359581629 3883008 745 1992294400 134512640 134931368 4294956240 18446744073709551615 134529909 0 0 4096 0 0 0 0 17 1 0 0
/proc/4848/statm: 948 745 48 102 0 843 0
Current children cumulated CPU time (s) 30.28
Current children cumulated vsize (KiB) 3792

Child status: 10
Real time (s): 30.3733
CPU time (s): 30.3614
CPU user time (s): 30.2264
CPU system time (s): 0.134979
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 3792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2264
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 771
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= 24
involuntary context switches= 77

runsolver used 0.031995 second user time and 0.091986 second system time

The end

Launcher Data 

Begin job on node54 at 2009-04-03 13:36:49
IDJOB=1560738
IDBENCH=70901
IDSOLVER=563
FILE ID=node54/1560738-1238758609
PBS_JOBID= 9085470
Free space on /tmp= 66560 MiB

SOLVER NAME= SAT07 reference solver: picosat 535
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-08.cnf
COMMAND LINE= HOME/picosat BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1560738-1238758609/watcher-1560738-1238758609 -o /tmp/evaluation-result-1560738-1238758609/solver-1560738-1238758609 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1560738-1238758609.cnf            

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= fc002583fd176f7c17c597cf2b9ef469
RANDOM SEED=1482113325

node54.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1742248 kB
Buffers:         36348 kB
Cached:         187724 kB
SwapCached:        260 kB
Active:          56044 kB
Inactive:       183264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1742248 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:             928 kB
Writeback:           0 kB
Mapped:          23792 kB
Slab:            60312 kB
Committed_AS:  1305100 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB
End job on node54 at 2009-04-03 13:37:19