Trace number 3372784

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
Lingeling 587f (fixed)SAT 38.1012 38.0999

General information on the benchmark

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

Solver Data 

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

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-3372784-1305425707/watcher-3372784-1305425707 -o /tmp/evaluation-result-3372784-1305425707/solver-3372784-1305425707 -C 5000 -W 5100 -M 15500 lingeling HOME/instance-3372784-1305425707.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 2.43 4.28 6.16 2/291 31932
/proc/meminfo: memFree=24241112/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=7472 CPUtime=0 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 449 0 0 0 0 0 0 0 25 0 1 0 634986639 7651328 393 33554432000 4194304 4409284 140733807325680 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 1868 393 113 53 0 291 0

[startup+0.0746419 s]
/proc/loadavg: 2.43 4.28 6.16 2/291 31932
/proc/meminfo: memFree=24241112/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=15320 CPUtime=0.06 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 2443 0 0 0 6 0 0 0 25 0 1 0 634986639 15687680 2355 33554432000 4194304 4409284 140733807325680 18446744073709551615 220816236288 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 3830 2355 113 53 0 2253 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15320

[startup+0.100642 s]
/proc/loadavg: 2.43 4.28 6.16 2/291 31932
/proc/meminfo: memFree=24241112/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=14616 CPUtime=0.09 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 2644 0 0 0 9 0 0 0 25 0 1 0 634986639 14966784 2160 33554432000 4194304 4409284 140733807325680 18446744073709551615 4285518 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 3654 2160 126 53 0 2077 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14616

[startup+0.300592 s]
/proc/loadavg: 2.43 4.28 6.16 2/291 31932
/proc/meminfo: memFree=24241112/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=14616 CPUtime=0.29 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 2785 0 0 0 29 0 0 0 25 0 1 0 634986639 14966784 2163 33554432000 4194304 4409284 140733807325680 18446744073709551615 4302435 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 3654 2163 129 53 0 2077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14616

[startup+0.700518 s]
/proc/loadavg: 2.43 4.28 6.16 2/291 31932
/proc/meminfo: memFree=24241112/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=14616 CPUtime=0.69 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 3061 0 0 0 69 0 0 0 25 0 1 0 634986639 14966784 2163 33554432000 4194304 4409284 140733807325680 18446744073709551615 4304088 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 3654 2163 129 53 0 2077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14616

[startup+1.50037 s]
/proc/loadavg: 2.43 4.28 6.16 3/292 31933
/proc/meminfo: memFree=24225612/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=19292 CPUtime=1.49 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 4771 0 0 0 149 0 0 0 25 0 1 0 634986639 19755008 3365 33554432000 4194304 4409284 140733807325680 18446744073709551615 4340276 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 4823 3365 134 53 0 3246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19292

[startup+3.10107 s]
/proc/loadavg: 2.43 4.28 6.16 3/292 31933
/proc/meminfo: memFree=24225232/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=22148 CPUtime=3.09 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 5492 0 0 0 308 1 0 0 25 0 1 0 634986639 22679552 4086 33554432000 4194304 4409284 140733807325680 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 5537 4086 141 53 0 3960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22148

[startup+6.30049 s]
/proc/loadavg: 2.39 4.24 6.14 3/292 31933
/proc/meminfo: memFree=24213716/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=25876 CPUtime=6.29 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 6733 0 0 0 625 4 0 0 25 0 1 0 634986639 26497024 4992 33554432000 4194304 4409284 140733807325680 18446744073709551615 4243872 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 6469 4992 141 53 0 4892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25876

[startup+12.7003 s]
/proc/loadavg: 2.36 4.20 6.12 3/292 31934
/proc/meminfo: memFree=24219364/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=25940 CPUtime=12.69 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 10105 0 0 0 1257 12 0 0 25 0 1 0 634986639 26562560 4997 33554432000 4194304 4409284 140733807325680 18446744073709551615 4303980 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 6485 4997 141 53 0 4908 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25940

[startup+25.501 s]
/proc/loadavg: 2.28 4.09 6.05 3/292 31934
/proc/meminfo: memFree=24218644/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=27536 CPUtime=25.49 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 21101 0 0 0 2525 24 0 0 25 0 1 0 634986639 28196864 5419 33554432000 4194304 4409284 140733807325680 18446744073709551615 4302317 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 6884 5419 141 53 0 5307 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27536

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

[startup+31.9108 s]
/proc/loadavg: 2.26 4.06 6.03 3/292 31934
/proc/meminfo: memFree=24215788/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=28792 CPUtime=31.9 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 24191 0 0 0 3162 28 0 0 25 0 1 0 634986639 29483008 5733 33554432000 4194304 4409284 140733807325680 18446744073709551615 4271476 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 7198 5733 141 53 0 5621 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 28792

[startup+35.1002 s]
/proc/loadavg: 2.24 4.02 6.01 3/292 31934
/proc/meminfo: memFree=24214796/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=31384 CPUtime=35.1 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 27527 0 0 0 3478 32 0 0 25 0 1 0 634986639 32137216 6381 33554432000 4194304 4409284 140733807325680 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 7846 6381 141 53 0 6269 0
Current children cumulated CPU time (s) 35.1
Current children cumulated vsize (KiB) 31384

[startup+36.7009 s]
/proc/loadavg: 2.24 4.02 6.01 3/292 31934
/proc/meminfo: memFree=24215292/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=30532 CPUtime=36.69 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 29498 0 0 0 3634 35 0 0 25 0 1 0 634986639 31264768 6168 33554432000 4194304 4409284 140733807325680 18446744073709551615 4230441 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 7633 6168 141 53 0 6056 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 30532

[startup+37.5007 s]
/proc/loadavg: 2.24 4.02 6.01 3/292 31934
/proc/meminfo: memFree=24207108/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=33600 CPUtime=37.49 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 30265 0 0 0 3713 36 0 0 25 0 1 0 634986639 34406400 6935 33554432000 4194304 4409284 140733807325680 18446744073709551615 4358699 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 8400 6935 141 53 0 6823 0
Current children cumulated CPU time (s) 37.49
Current children cumulated vsize (KiB) 33600

[startup+37.9007 s]
/proc/loadavg: 2.24 4.02 6.01 3/292 31934
/proc/meminfo: memFree=24207108/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=36824 CPUtime=37.9 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 31071 0 0 0 3753 37 0 0 25 0 1 0 634986639 37707776 7741 33554432000 4194304 4409284 140733807325680 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 9206 7741 141 53 0 7629 0
Current children cumulated CPU time (s) 37.9
Current children cumulated vsize (KiB) 36824

[startup+38.0006 s]
/proc/loadavg: 2.24 4.02 6.01 3/292 31934
/proc/meminfo: memFree=24207108/32951124 swapFree=63485424/67111528
[pid=31932] ppid=31930 vsize=36824 CPUtime=38 cores=1,3,5,7
/proc/31932/stat : 31932 (lingeling) R 31930 31932 28842 0 -1 4202496 31071 0 0 0 3763 37 0 0 25 0 1 0 634986639 37707776 7741 33554432000 4194304 4409284 140733807325680 18446744073709551615 220816261015 0 0 4096 17506 0 0 0 17 1 0 0 0
/proc/31932/statm: 9206 7741 141 53 0 7629 0
Current children cumulated CPU time (s) 38
Current children cumulated vsize (KiB) 36824

Child status: 10
Real time (s): 38.0999
CPU time (s): 38.1012
CPU user time (s): 37.7263
CPU system time (s): 0.374943
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 36824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7263
system time used= 0.374943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31086
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= 3
involuntary context switches= 43

runsolver used 0.107983 second user time and 0.245962 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-15 04:15:07
IDJOB=3372784
IDBENCH=83445
IDSOLVER=1850
FILE ID=node147/3372784-1305425707
RUNJOBID= node147-1305425625-31803
PBS_JOBID= 13324574
Free space on /tmp= 73148 MiB

SOLVER NAME= Lingeling 587f (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= lingeling BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372784-1305425707/watcher-3372784-1305425707 -o /tmp/evaluation-result-3372784-1305425707/solver-3372784-1305425707 -C 5000 -W 5100 -M 15500  lingeling HOME/instance-3372784-1305425707.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1344017547

node147.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.836
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.67
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.836
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.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.76
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.836
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.82
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.836
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24241392 kB
Buffers:        297864 kB
Cached:        5111704 kB
SwapCached:      13132 kB
Active:        1712888 kB
Inactive:      6763820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24241392 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:           14648 kB
Writeback:           0 kB
AnonPages:     3062324 kB
Mapped:          15424 kB
Slab:           140948 kB
PageTables:      29024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44884728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73148 MiB
End job on node147 at 2011-05-15 04:15:45