Trace number 3371817

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 39.625 39.6272

General information on the benchmark

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

Solver Data 

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.00 4.02 3.91 5/320 23257
/proc/meminfo: memFree=14455004/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=6956 CPUtime=0 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 319 0 0 0 0 0 0 0 25 0 1 0 655098995 7122944 262 33554432000 4194304 4409284 140736701934944 18446744073709551615 235594866432 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 1739 262 111 53 0 162 0

[startup+0.0678991 s]
/proc/loadavg: 4.00 4.02 3.91 5/320 23257
/proc/meminfo: memFree=14455004/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=15320 CPUtime=0.06 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 2444 0 0 0 6 0 0 0 25 0 1 0 655098995 15687680 2355 33554432000 4194304 4409284 140736701934944 18446744073709551615 4200771 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 3830 2355 113 53 0 2253 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15320

[startup+0.100892 s]
/proc/loadavg: 4.00 4.02 3.91 5/320 23257
/proc/meminfo: memFree=14455004/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=14616 CPUtime=0.09 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 2644 0 0 0 9 0 0 0 25 0 1 0 655098995 14966784 2159 33554432000 4194304 4409284 140736701934944 18446744073709551615 4278768 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 3654 2159 125 53 0 2077 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14616

[startup+0.300857 s]
/proc/loadavg: 4.00 4.02 3.91 5/320 23257
/proc/meminfo: memFree=14455004/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=14616 CPUtime=0.29 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 2786 0 0 0 29 0 0 0 25 0 1 0 655098995 14966784 2163 33554432000 4194304 4409284 140736701934944 18446744073709551615 4285824 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 3654 2163 129 53 0 2077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14616

[startup+0.700842 s]
/proc/loadavg: 4.00 4.02 3.91 5/320 23257
/proc/meminfo: memFree=14455004/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=14616 CPUtime=0.69 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 3062 0 0 0 69 0 0 0 25 0 1 0 655098995 14966784 2163 33554432000 4194304 4409284 140736701934944 18446744073709551615 4300089 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 3654 2163 129 53 0 2077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14616

[startup+1.50076 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23259
/proc/meminfo: memFree=14442356/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=19292 CPUtime=1.49 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 4771 0 0 0 149 0 0 0 25 0 1 0 655098995 19755008 3364 33554432000 4194304 4409284 140736701934944 18446744073709551615 4228049 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 4823 3364 133 53 0 3246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19292

[startup+3.10042 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23259
/proc/meminfo: memFree=14438016/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=22148 CPUtime=3.08 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 5493 0 0 0 308 0 0 0 25 0 1 0 655098995 22679552 4086 33554432000 4194304 4409284 140736701934944 18446744073709551615 235594891159 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 5537 4086 141 53 0 3960 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22148

[startup+6.3008 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23259
/proc/meminfo: memFree=14431340/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=25876 CPUtime=6.29 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 6733 0 0 0 625 4 0 0 25 0 1 0 655098995 26497024 4991 33554432000 4194304 4409284 140736701934944 18446744073709551615 4242943 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 6469 4991 141 53 0 4892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25876

[startup+12.7007 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23259
/proc/meminfo: memFree=14443132/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=26836 CPUtime=12.69 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 10105 0 0 0 1257 12 0 0 25 0 1 0 655098995 27480064 5220 33554432000 4194304 4409284 140736701934944 18446744073709551615 235594891159 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 6709 5220 141 53 0 5132 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26836

[startup+25.5005 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23259
/proc/meminfo: memFree=14402704/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=28212 CPUtime=25.49 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 20711 0 0 0 2524 25 0 0 25 0 1 0 655098995 28889088 5587 33554432000 4194304 4409284 140736701934944 18446744073709551615 235594891159 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 7053 5587 141 53 0 5476 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28212

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

[startup+31.9123 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23260
/proc/meminfo: memFree=14379884/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=31960 CPUtime=31.9 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 24191 0 0 0 3160 30 0 0 25 0 1 0 655098995 32727040 6524 33554432000 4194304 4409284 140736701934944 18446744073709551615 4271656 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 7990 6524 141 53 0 6413 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 31960

[startup+35.1008 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23260
/proc/meminfo: memFree=14390920/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=28628 CPUtime=35.1 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 26838 0 0 0 3478 32 0 0 25 0 1 0 655098995 29315072 5691 33554432000 4194304 4409284 140736701934944 18446744073709551615 235594891159 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 7157 5691 141 53 0 5580 0
Current children cumulated CPU time (s) 35.1
Current children cumulated vsize (KiB) 28628

[startup+36.7005 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23260
/proc/meminfo: memFree=14388096/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=31384 CPUtime=36.68 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 27527 0 0 0 3635 33 0 0 25 0 1 0 655098995 32137216 6380 33554432000 4194304 4409284 140736701934944 18446744073709551615 4256972 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 7846 6380 141 53 0 6269 0
Current children cumulated CPU time (s) 36.68
Current children cumulated vsize (KiB) 31384

[startup+38.3002 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23260
/proc/meminfo: memFree=14392436/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=30532 CPUtime=38.29 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 29498 0 0 0 3793 36 0 0 25 0 1 0 655098995 31264768 6167 33554432000 4194304 4409284 140736701934944 18446744073709551615 235594891159 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 7633 6167 141 53 0 6056 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 30532

[startup+39.101 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23260
/proc/meminfo: memFree=14405848/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=33600 CPUtime=39.09 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 30265 0 0 0 3872 37 0 0 25 0 1 0 655098995 34406400 6934 33554432000 4194304 4409284 140736701934944 18446744073709551615 4230464 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 8400 6934 141 53 0 6823 0
Current children cumulated CPU time (s) 39.09
Current children cumulated vsize (KiB) 33600

[startup+39.501 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23260
/proc/meminfo: memFree=14399400/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=36824 CPUtime=39.5 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 31071 0 0 0 3912 38 0 0 25 0 1 0 655098995 37707776 7740 33554432000 4194304 4409284 140736701934944 18446744073709551615 4257016 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 9206 7740 141 53 0 7629 0
Current children cumulated CPU time (s) 39.5
Current children cumulated vsize (KiB) 36824

[startup+39.6119 s]
/proc/loadavg: 4.00 4.02 3.91 5/321 23260
/proc/meminfo: memFree=14399400/32950928 swapFree=67111348/67111528
[pid=23257] ppid=23255 vsize=36824 CPUtime=39.6 cores=4,6
/proc/23257/stat : 23257 (lingeling) R 23255 23257 22829 0 -1 4202496 31071 0 0 0 3922 38 0 0 25 0 1 0 655098995 37707776 7740 33554432000 4194304 4409284 140736701934944 18446744073709551615 4358418 0 0 4096 17506 0 0 0 17 4 0 0 0
/proc/23257/statm: 9206 7740 141 53 0 7629 0
Current children cumulated CPU time (s) 39.6
Current children cumulated vsize (KiB) 36824

Child status: 10
Real time (s): 39.6272
CPU time (s): 39.625
CPU user time (s): 39.24
CPU system time (s): 0.384941
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 36824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.24
system time used= 0.384941
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= 2
involuntary context switches= 28

runsolver used 0.113982 second user time and 0.295955 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-15 06:50:02
IDJOB=3371817
IDBENCH=83445
IDSOLVER=1849
FILE ID=node120/3371817-1305435002
RUNJOBID= node120-1305433426-22848
PBS_JOBID= 13324633
Free space on /tmp= 73640 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-3371817-1305435002/watcher-3371817-1305435002 -o /tmp/evaluation-result-3371817-1305435002/solver-3371817-1305435002 -C 2400 -W 1300 -M 7680  lingeling HOME/instance-3371817-1305435002.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1354440026

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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:     32950928 kB
MemFree:      14455036 kB
Buffers:        227924 kB
Cached:        1350480 kB
SwapCached:          0 kB
Active:       16757196 kB
Inactive:      1460284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14455036 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:    16639164 kB
Mapped:          25348 kB
Slab:           165412 kB
PageTables:      49596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51752872 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= 73640 MiB
End job on node120 at 2011-05-15 06:50:42