Trace number 3290680

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 587SAT 43.6344 43.6357

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 

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

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-3290680-1307638756/watcher-3290680-1307638756 -o /tmp/evaluation-result-3290680-1307638756/solver-3290680-1307638756 -C 2400 -W 1300 -M 7680 lingeling HOME/instance-3290680-1307638756.cnf 

running on 2 cores: 0,2

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.01 3.61 3.44 4/189 11337
/proc/meminfo: memFree=32589324/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=7216 CPUtime=0 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 386 0 0 0 0 0 0 0 25 0 1 0 875472701 7389184 328 33554432000 4194304 4409164 140737102859872 18446744073709551615 239476694784 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 1804 328 111 53 0 227 0

[startup+0.102844 s]
/proc/loadavg: 4.01 3.61 3.44 4/189 11337
/proc/meminfo: memFree=32589324/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=14616 CPUtime=0.09 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 2647 0 0 0 9 0 0 0 25 0 1 0 875472701 14966784 2161 33554432000 4194304 4409164 140737102859872 18446744073709551615 4285914 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/11337/statm: 3654 2161 126 53 0 2077 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14616

[startup+0.200882 s]
/proc/loadavg: 4.01 3.61 3.44 4/189 11337
/proc/meminfo: memFree=32589324/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=14616 CPUtime=0.19 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 2650 0 0 0 19 0 0 0 25 0 1 0 875472701 14966784 2164 33554432000 4194304 4409164 140737102859872 18446744073709551615 4301722 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 3654 2164 129 53 0 2077 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14616

[startup+0.30088 s]
/proc/loadavg: 4.01 3.61 3.44 4/189 11337
/proc/meminfo: memFree=32589324/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=14616 CPUtime=0.29 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 2719 0 0 0 29 0 0 0 25 0 1 0 875472701 14966784 2164 33554432000 4194304 4409164 140737102859872 18446744073709551615 4304361 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 3654 2164 129 53 0 2077 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14616

[startup+0.700803 s]
/proc/loadavg: 4.01 3.61 3.44 4/189 11337
/proc/meminfo: memFree=32589324/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=14616 CPUtime=0.69 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 2995 0 0 0 69 0 0 0 25 0 1 0 875472701 14966784 2164 33554432000 4194304 4409164 140737102859872 18446744073709551615 4302435 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 3654 2164 129 53 0 2077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14616

[startup+1.50064 s]
/proc/loadavg: 4.01 3.61 3.44 5/190 11338
/proc/meminfo: memFree=32584380/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=18460 CPUtime=1.49 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 4536 0 0 0 149 0 0 0 25 0 1 0 875472701 18903040 3128 33554432000 4194304 4409164 140737102859872 18446744073709551615 4271656 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 4615 3128 132 53 0 3038 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18460

[startup+3.10033 s]
/proc/loadavg: 4.01 3.62 3.45 5/190 11338
/proc/meminfo: memFree=32579792/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=22148 CPUtime=3.09 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 5490 0 0 0 309 0 0 0 25 0 1 0 875472701 22679552 4082 33554432000 4194304 4409164 140737102859872 18446744073709551615 4242724 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 5537 4082 136 53 0 3960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22148

[startup+6.30072 s]
/proc/loadavg: 4.01 3.62 3.45 5/190 11338
/proc/meminfo: memFree=32581928/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=25876 CPUtime=6.29 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 6735 0 0 0 627 2 0 0 25 0 1 0 875472701 26497024 4992 33554432000 4194304 4409164 140737102859872 18446744073709551615 4252485 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 6469 4992 141 53 0 4892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25876

[startup+12.7005 s]
/proc/loadavg: 4.01 3.63 3.45 5/190 11338
/proc/meminfo: memFree=32567560/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=26432 CPUtime=12.69 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 9307 0 0 0 1264 5 0 0 25 0 1 0 875472701 27066368 5120 33554432000 4194304 4409164 140737102859872 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 6608 5120 141 53 0 5031 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26432

[startup+25.501 s]
/proc/loadavg: 4.01 3.64 3.46 5/190 11338
/proc/meminfo: memFree=32577948/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=28136 CPUtime=25.49 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 18857 0 0 0 2537 12 0 0 25 0 1 0 875472701 28811264 5569 33554432000 4194304 4409164 140737102859872 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 7034 5569 141 53 0 5457 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28136

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

[startup+25.601 s]
/proc/loadavg: 4.01 3.64 3.46 5/190 11338
/proc/meminfo: memFree=32577948/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=29688 CPUtime=25.59 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 19245 0 0 0 2547 12 0 0 25 0 1 0 875472701 30400512 5957 33554432000 4194304 4409164 140737102859872 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 7422 5957 141 53 0 5845 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 29688

[startup+32.0068 s]
/proc/loadavg: 4.01 3.65 3.46 5/190 11339
/proc/meminfo: memFree=32573972/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=25792 CPUtime=32 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 22651 0 0 0 3184 16 0 0 25 0 1 0 875472701 26411008 4983 33554432000 4194304 4409164 140737102859872 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 6448 4983 141 53 0 4871 0
Current children cumulated CPU time (s) 32
Current children cumulated vsize (KiB) 25792

[startup+38.4006 s]
/proc/loadavg: 4.01 3.66 3.47 5/190 11339
/proc/meminfo: memFree=32564156/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=27752 CPUtime=38.39 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 26621 0 0 0 3821 18 0 0 25 0 1 0 875472701 28418048 5473 33554432000 4194304 4409164 140737102859872 18446744073709551615 4358341 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 6938 5473 141 53 0 5361 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 27752

[startup+41.601 s]
/proc/loadavg: 4.01 3.66 3.47 5/190 11339
/proc/meminfo: memFree=32568372/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=28920 CPUtime=41.59 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 29097 0 0 0 4139 20 0 0 25 0 1 0 875472701 29614080 5765 33554432000 4194304 4409164 140737102859872 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 7230 5765 141 53 0 5653 0
Current children cumulated CPU time (s) 41.59
Current children cumulated vsize (KiB) 28920

[startup+42.4008 s]
/proc/loadavg: 4.01 3.66 3.47 5/190 11339
/proc/meminfo: memFree=32572708/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=30532 CPUtime=42.4 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 29500 0 0 0 4219 21 0 0 25 0 1 0 875472701 31264768 6168 33554432000 4194304 4409164 140737102859872 18446744073709551615 239476719511 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 7633 6168 141 53 0 6056 0
Current children cumulated CPU time (s) 42.4
Current children cumulated vsize (KiB) 30532

[startup+43.2006 s]
/proc/loadavg: 4.01 3.67 3.47 5/190 11339
/proc/meminfo: memFree=32570600/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=33600 CPUtime=43.19 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 30267 0 0 0 4298 21 0 0 25 0 1 0 875472701 34406400 6935 33554432000 4194304 4409164 140737102859872 18446744073709551615 4358286 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 8400 6935 141 53 0 6823 0
Current children cumulated CPU time (s) 43.19
Current children cumulated vsize (KiB) 33600

[startup+43.6006 s]
/proc/loadavg: 4.01 3.67 3.47 5/190 11339
/proc/meminfo: memFree=32570600/32950928 swapFree=67055428/67111528
[pid=11337] ppid=11335 vsize=36824 CPUtime=43.6 cores=0,2
/proc/11337/stat : 11337 (lingeling) R 11335 11337 9857 0 -1 4202496 31073 0 0 0 4338 22 0 0 25 0 1 0 875472701 37707776 7741 33554432000 4194304 4409164 140737102859872 18446744073709551615 4358614 0 0 4096 17506 0 0 0 17 0 0 0 0
/proc/11337/statm: 9206 7741 141 53 0 7629 0
Current children cumulated CPU time (s) 43.6
Current children cumulated vsize (KiB) 36824

Child status: 10
Real time (s): 43.6357
CPU time (s): 43.6344
CPU user time (s): 43.4114
CPU system time (s): 0.222966
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 36824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.4114
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31088
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= 115

runsolver used 0.058991 second user time and 0.184971 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-09 18:59:16
IDJOB=3290680
IDBENCH=83445
IDSOLVER=1606
FILE ID=node148/3290680-1307638756
RUNJOBID= node148-1307638489-11006
PBS_JOBID= 13549344
Free space on /tmp= 74160 MiB

SOLVER NAME= Lingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= lingeling BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290680-1307638756/watcher-3290680-1307638756 -o /tmp/evaluation-result-3290680-1307638756/solver-3290680-1307638756 -C 2400 -W 1300 -M 7680  lingeling HOME/instance-3290680-1307638756.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1549523600

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32589992 kB
Buffers:         24876 kB
Cached:         108172 kB
SwapCached:       8788 kB
Active:         166184 kB
Inactive:        57860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32589992 kB
SwapTotal:    67111528 kB
SwapFree:     67055428 kB
Dirty:            3900 kB
Writeback:           0 kB
AnonPages:       89292 kB
Mapped:          13912 kB
Slab:            71876 kB
PageTables:       5604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   324208 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= 74160 MiB
End job on node148 at 2011-06-09 19:00:00