Trace number 3290640

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
ppfolio parSAT 283.259 70.9262

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.0565
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3290640-1304089048/watcher-3290640-1304089048 -o /tmp/evaluation-result-3290640-1304089048/solver-3290640-1304089048 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3290640-1304089048.cnf 

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

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


[startup+0 s]
/proc/loadavg: 9.08 9.83 9.46 6/182 14388
/proc/meminfo: memFree=22598444/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) R 14386 14388 14150 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0

[startup+0.221819 s]
/proc/loadavg: 9.08 9.83 9.46 6/182 14388
/proc/meminfo: memFree=22598444/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 24 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300809 s]
/proc/loadavg: 9.08 9.83 9.46 6/182 14388
/proc/meminfo: memFree=22598444/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 24 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.40079 s]
/proc/loadavg: 9.08 9.83 9.46 6/182 14388
/proc/meminfo: memFree=22598444/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 24 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700734 s]
/proc/loadavg: 9.08 9.83 9.46 6/182 14388
/proc/meminfo: memFree=22598444/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 24 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50058 s]
/proc/loadavg: 9.08 9.83 9.46 11/188 14394
/proc/meminfo: memFree=22408552/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 24 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=80912 CPUtime=1.48 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 8561 0 0 0 147 1 0 0 25 0 1 0 520505261 82853888 8153 33554432000 4194304 4587354 140733818743152 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 20228 8153 307 96 0 16790 0
[pid=14390] ppid=14388 vsize=46524 CPUtime=1.48 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 10228 0 0 0 147 1 0 0 25 0 1 0 520505261 47640576 8875 33554432000 4194304 4785740 140735684276848 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 11631 8875 319 145 0 8676 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=0.77 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 76 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=56944 CPUtime=1.49 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 16056 0 0 0 147 2 0 0 25 0 1 0 520505261 58310656 13395 33554432000 4194304 4352236 140733236883968 18446744073709551615 4208653 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 14236 13395 124 39 0 13316 0
[pid=14393] ppid=14388 vsize=39512 CPUtime=0.7 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4194304 16933 0 0 0 67 3 0 0 25 0 1 0 520505261 40460288 5553 33554432000 4194304 4331988 140734022742224 18446744073709551615 4256858 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 9878 5553 129 34 0 8320 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 732780

[startup+3.10129 s]
/proc/loadavg: 9.08 9.83 9.46 11/188 14394
/proc/meminfo: memFree=22345792/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 16 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=131184 CPUtime=3.08 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 27676 0 0 0 304 4 0 0 25 0 1 0 520505261 134332416 20201 33554432000 4194304 4587354 140733818743152 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 32796 20201 316 96 0 29358 0
[pid=14390] ppid=14388 vsize=46524 CPUtime=3.08 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 10228 0 0 0 307 1 0 0 25 0 1 0 520505261 47640576 8875 33554432000 4194304 4785740 140735684276848 18446744073709551615 4495597 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 11631 8875 319 145 0 8676 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=1.57 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 156 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=40560 CPUtime=3.09 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 16059 0 0 0 307 2 0 0 25 0 1 0 520505261 41533440 9302 33554432000 4194304 4352236 140733236883968 18446744073709551615 4207874 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 10140 9302 127 39 0 9220 0
[pid=14393] ppid=14388 vsize=40680 CPUtime=1.5 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 49461 0 0 0 142 8 0 0 25 0 1 0 520505261 41656320 5866 33554432000 4194304 4331988 140734022742224 18446744073709551615 4256848 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 10170 5866 150 34 0 8612 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 767836

[startup+6.30069 s]
/proc/loadavg: 9.15 9.83 9.46 11/188 14394
/proc/meminfo: memFree=22327440/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 16 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=143344 CPUtime=6.29 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 30737 0 0 0 624 5 0 0 25 0 1 0 520505261 146784256 23118 33554432000 4194304 4587354 140733818743152 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 35836 23118 317 96 0 32398 0
[pid=14390] ppid=14388 vsize=46524 CPUtime=6.28 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 10228 0 0 0 627 1 0 0 25 0 1 0 520505261 47640576 8875 33554432000 4194304 4785740 140735684276848 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 11631 8875 319 145 0 8676 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=3.15 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 314 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=34552 CPUtime=6.29 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 16776 0 0 0 627 2 0 0 25 0 1 0 520505261 35381248 7800 33554432000 4194304 4352236 140733236883968 18446744073709551615 4328032 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 8638 7800 127 39 0 7718 0
[pid=14393] ppid=14388 vsize=70876 CPUtime=3.09 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 66177 0 0 0 298 11 0 0 25 0 1 0 520505261 72577024 13283 33554432000 4194304 4331988 140734022742224 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 17719 13283 151 34 0 16161 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 804184

[startup+12.7005 s]
/proc/loadavg: 9.30 9.85 9.47 12/188 14427
/proc/meminfo: memFree=22768944/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=142456 CPUtime=12.69 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 33523 0 0 0 1264 5 0 0 25 0 1 0 520505261 145874944 22991 33554432000 4194304 4587354 140733818743152 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 35614 22991 331 96 0 32176 0
[pid=14390] ppid=14388 vsize=60628 CPUtime=12.69 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 14230 0 0 0 1267 2 0 0 25 0 1 0 520505261 62083072 12299 33554432000 4194304 4785740 140735684276848 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 15157 12299 341 145 0 12202 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=6.31 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 630 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524745 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=36148 CPUtime=12.69 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 23524 0 0 0 1266 3 0 0 25 0 1 0 520505261 37015552 8199 33554432000 4194304 4352236 140733236883968 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 9037 8199 127 39 0 8117 0
[pid=14393] ppid=14388 vsize=107724 CPUtime=6.29 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 74960 0 0 0 616 13 0 0 25 0 1 0 520505261 110309376 22066 33554432000 4194304 4331988 140734022742224 18446744073709551615 244446606021 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 26931 22066 151 34 0 25373 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 855844

[startup+25.5011 s]
/proc/loadavg: 9.46 9.86 9.48 11/188 14459
/proc/meminfo: memFree=22469392/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=153496 CPUtime=25.48 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 43563 0 0 0 2542 6 0 0 25 0 1 0 520505261 157179904 26385 33554432000 4194304 4587354 140733818743152 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 38374 26385 340 96 0 34936 0
[pid=14390] ppid=14388 vsize=94012 CPUtime=25.48 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 22299 0 0 0 2545 3 0 0 25 0 1 0 520505261 96268288 20368 33554432000 4194304 4785740 140735684276848 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 23503 20368 341 145 0 20548 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=12.7 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 1269 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=38160 CPUtime=25.49 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 28131 0 0 0 2546 3 0 0 25 0 1 0 520505261 39075840 8702 33554432000 4194304 4352236 140733236883968 18446744073709551615 4276751 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 9540 8702 127 39 0 8620 0
[pid=14393] ppid=14388 vsize=206760 CPUtime=12.64 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 94490 0 0 0 1246 18 0 0 25 0 1 0 520505261 211722240 41596 33554432000 4194304 4331988 140734022742224 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 51690 41596 151 34 0 50132 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 1001316

[startup+51.1003 s]
/proc/loadavg: 9.72 9.88 9.49 11/188 14459
/proc/meminfo: memFree=22058504/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=195652 CPUtime=51.09 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 54663 0 0 0 5100 9 0 0 25 0 1 0 520505261 200347648 25848 33554432000 4194304 4587354 140733818743152 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 48913 25848 337 96 0 45475 0
[pid=14390] ppid=14388 vsize=120912 CPUtime=51.09 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 28755 0 0 0 5104 5 0 0 25 0 1 0 520505261 123813888 26824 33554432000 4194304 4785740 140735684276848 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 30228 26824 341 145 0 27273 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=25.41 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 2540 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=56704 CPUtime=51.08 cores=3

################
# More data... #
################

Current children cumulated CPU time (s) 207.67
Current children cumulated vsize (KiB) 1271528

[startup+58.401 s]
/proc/loadavg: 9.74 9.89 9.50 11/188 14460
/proc/meminfo: memFree=21951992/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=191932 CPUtime=58.39 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 58877 0 0 0 5829 10 0 0 25 0 1 0 520505261 196538368 25851 33554432000 4194304 4587354 140733818743152 18446744073709551615 4239304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 47983 25851 337 96 0 44545 0
[pid=14390] ppid=14388 vsize=127912 CPUtime=58.39 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 30481 0 0 0 5834 5 0 0 25 0 1 0 520505261 130981888 28550 33554432000 4194304 4785740 140735684276848 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 31978 28550 341 145 0 29023 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=29.07 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 2906 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=42880 CPUtime=58.39 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 46211 0 0 0 5833 6 0 0 25 0 1 0 520505261 43909120 9882 33554432000 4194304 4352236 140733236883968 18446744073709551615 4281072 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 10720 9882 127 39 0 9800 0
[pid=14393] ppid=14388 vsize=421836 CPUtime=28.99 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 146461 0 0 0 2867 32 0 0 25 0 1 0 520505261 431960064 93567 33554432000 4194304 4331988 140734022742224 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 105459 93567 151 34 0 103901 0
Current children cumulated CPU time (s) 233.23
Current children cumulated vsize (KiB) 1293448

[startup+64.8008 s]
/proc/loadavg: 9.86 9.91 9.51 11/188 14460
/proc/meminfo: memFree=21786680/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=216440 CPUtime=64.78 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 67795 0 0 0 6467 11 0 0 25 0 1 0 520505261 221634560 29230 33554432000 4194304 4587354 140733818743152 18446744073709551615 4388368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 54110 29230 337 96 0 50672 0
[pid=14390] ppid=14388 vsize=128220 CPUtime=64.78 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 30535 0 0 0 6473 5 0 0 25 0 1 0 520505261 131297280 28604 33554432000 4194304 4785740 140735684276848 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 32055 28604 341 145 0 29100 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=32.24 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 3223 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=59264 CPUtime=64.79 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 50307 0 0 0 6473 6 0 0 25 0 1 0 520505261 60686336 13978 33554432000 4194304 4352236 140733236883968 18446744073709551615 4268420 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 14816 13978 127 39 0 13896 0
[pid=14393] ppid=14388 vsize=455892 CPUtime=32.19 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 157110 0 0 0 3185 34 0 0 25 0 1 0 520505261 466833408 104216 33554432000 4194304 4331988 140734022742224 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 113973 104216 151 34 0 112415 0
Current children cumulated CPU time (s) 258.78
Current children cumulated vsize (KiB) 1368704

[startup+68.0072 s]
/proc/loadavg: 9.86 9.91 9.51 11/188 14460
/proc/meminfo: memFree=21738568/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=216440 CPUtime=67.99 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 67795 0 0 0 6788 11 0 0 25 0 1 0 520505261 221634560 29230 33554432000 4194304 4587354 140733818743152 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 54110 29230 337 96 0 50672 0
[pid=14390] ppid=14388 vsize=128360 CPUtime=67.99 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 30588 0 0 0 6794 5 0 0 25 0 1 0 520505261 131440640 28657 33554432000 4194304 4785740 140735684276848 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 32090 28657 341 145 0 29135 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=33.83 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 3382 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=59232 CPUtime=67.99 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 50307 0 0 0 6793 6 0 0 25 0 1 0 520505261 60653568 13970 33554432000 4194304 4352236 140733236883968 18446744073709551615 4207896 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 14808 13970 127 39 0 13888 0
[pid=14393] ppid=14388 vsize=472788 CPUtime=33.78 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 162391 0 0 0 3343 35 0 0 25 0 1 0 520505261 484134912 109497 33554432000 4194304 4331988 140734022742224 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 118197 109497 151 34 0 116639 0
Current children cumulated CPU time (s) 271.58
Current children cumulated vsize (KiB) 1385708

[startup+69.6009 s]
/proc/loadavg: 9.87 9.91 9.51 11/188 14460
/proc/meminfo: memFree=21732988/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=216440 CPUtime=69.58 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 67795 0 0 0 6947 11 0 0 25 0 1 0 520505261 221634560 29230 33554432000 4194304 4587354 140733818743152 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 54110 29230 337 96 0 50672 0
[pid=14390] ppid=14388 vsize=128972 CPUtime=69.58 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 30705 0 0 0 6953 5 0 0 25 0 1 0 520505261 132067328 28774 33554432000 4194304 4785740 140735684276848 18446744073709551615 4287038 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 32243 28774 341 145 0 29288 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=34.61 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 3460 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524577 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=59232 CPUtime=69.59 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 50307 0 0 0 6953 6 0 0 25 0 1 0 520505261 60653568 13970 33554432000 4194304 4352236 140733236883968 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 14808 13970 127 39 0 13888 0
[pid=14393] ppid=14388 vsize=481500 CPUtime=34.58 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 165078 0 0 0 3422 36 0 0 25 0 1 0 520505261 493056000 112184 33554432000 4194304 4331988 140734022742224 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 120375 112184 151 34 0 118817 0
Current children cumulated CPU time (s) 277.94
Current children cumulated vsize (KiB) 1395032

[startup+70.4007 s]
/proc/loadavg: 9.87 9.91 9.51 11/188 14460
/proc/meminfo: memFree=21717364/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=232752 CPUtime=70.39 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 71205 0 0 0 7027 12 0 0 25 0 1 0 520505261 238338048 32640 33554432000 4194304 4587354 140733818743152 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 58188 32640 337 96 0 54750 0
[pid=14390] ppid=14388 vsize=128972 CPUtime=70.38 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 30717 0 0 0 7033 5 0 0 25 0 1 0 520505261 132067328 28786 33554432000 4194304 4785740 140735684276848 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 32243 28786 341 145 0 29288 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=35.01 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 3500 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524541 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=59232 CPUtime=70.39 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 50307 0 0 0 7033 6 0 0 25 0 1 0 520505261 60653568 13970 33554432000 4194304 4352236 140733236883968 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 14808 13970 127 39 0 13888 0
[pid=14393] ppid=14388 vsize=485592 CPUtime=34.99 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 166389 0 0 0 3462 37 0 0 25 0 1 0 520505261 497246208 113495 33554432000 4194304 4331988 140734022742224 18446744073709551615 4226625 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 121398 113495 151 34 0 119840 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 1415436

[startup+70.8006 s]
/proc/loadavg: 9.87 9.91 9.51 11/188 14460
/proc/meminfo: memFree=21717364/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) S 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446965263 0 0 4096 65536 4604579329316225023 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=232752 CPUtime=70.79 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4202496 71205 0 0 0 7067 12 0 0 25 0 1 0 520505261 238338048 32640 33554432000 4194304 4587354 140733818743152 18446744073709551615 4388352 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14389/statm: 58188 32640 337 96 0 54750 0
[pid=14390] ppid=14388 vsize=129644 CPUtime=70.78 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4202496 30891 0 0 0 7073 5 0 0 25 0 1 0 520505261 132755456 28960 33554432000 4194304 4785740 140735684276848 18446744073709551615 4553440 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/14390/statm: 32411 28960 341 145 0 29456 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=35.21 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 3520 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=59232 CPUtime=70.79 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 50307 0 0 0 7073 6 0 0 25 0 1 0 520505261 60653568 13970 33554432000 4194304 4352236 140733236883968 18446744073709551615 4280960 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/14392/statm: 14808 13970 127 39 0 13888 0
[pid=14393] ppid=14388 vsize=487836 CPUtime=35.19 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4202496 167064 0 0 0 3482 37 0 0 25 0 1 0 520505261 499544064 114170 33554432000 4194304 4331988 140734022742224 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14393/statm: 121959 114170 151 34 0 120401 0
Current children cumulated CPU time (s) 282.76
Current children cumulated vsize (KiB) 1418352

[startup+70.9008 s]
/proc/loadavg: 9.87 9.91 9.51 11/188 14460
/proc/meminfo: memFree=21717364/32951124 swapFree=67111524/67111528
[pid=14388] ppid=14386 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/14388/stat : 14388 (ppfolio) R 14386 14388 14150 0 -1 4202496 523 0 0 0 0 0 0 0 16 0 1 0 520505260 18763776 390 33554432000 4194304 4287625 140735607637824 18446744073709551615 244446945152 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/14388/statm: 4581 390 341 23 0 91 0
[pid=14389] ppid=14388 vsize=0 CPUtime=70.89 cores=1
/proc/14389/stat : 14389 (cryptominisat) R 14388 14388 14150 0 -1 4203524 71205 0 0 0 7077 12 0 0 25 0 1 0 520505261 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14389/statm: 0 0 0 0 0 0 0
[pid=14390] ppid=14388 vsize=0 CPUtime=70.89 cores=5
/proc/14390/stat : 14390 (clasp) R 14388 14388 14150 0 -1 4203524 30932 0 0 0 7083 6 0 0 25 0 1 0 520505261 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 5 0 0 0
/proc/14390/statm: 0 0 0 0 0 0 0
[pid=14391] ppid=14388 vsize=490564 CPUtime=35.29 cores=7
/proc/14391/stat : 14391 (TNM) R 14388 14388 14150 0 -1 4202496 11102 0 0 0 3528 1 0 0 25 0 1 0 520505261 502337536 10999 33554432000 134512640 134534564 4291190320 18446744073709551615 134524727 256 0 4096 0 0 0 0 17 7 0 0 0
/proc/14391/statm: 122641 10999 91 6 0 121307 0
[pid=14392] ppid=14388 vsize=59236 CPUtime=70.89 cores=3
/proc/14392/stat : 14392 (lingeling) R 14388 14388 14150 0 -1 4202496 50319 0 0 0 7083 6 0 0 25 0 1 0 520505261 60657664 9808 33554432000 4194304 4352236 140733236883968 18446744073709551615 244446988423 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14392/statm: 14809 9808 138 39 0 13889 0
[pid=14393] ppid=14388 vsize=0 CPUtime=35.2 cores=7
/proc/14393/stat : 14393 (march_hi) R 14388 14388 14150 0 -1 4203524 167102 0 0 0 3483 37 0 0 25 0 1 0 520505261 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/14393/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 283.16
Current children cumulated vsize (KiB) 568124

Child status: 0
Real time (s): 70.9262
CPU time (s): 283.259
CPU user time (s): 282.567
CPU system time (s): 0.691894
CPU usage (%): 399.371
Max. virtual memory (cumulated for all children) (KiB): 1418352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 282.567
system time used= 0.691894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331204
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= 281
involuntary context switches= 2678

runsolver used 0.092985 second user time and 0.292955 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 16:57:28
IDJOB=3290640
IDBENCH=83443
IDSOLVER=1612
FILE ID=node105/3290640-1304089048
RUNJOBID= node105-1304087809-14169
PBS_JOBID= 13170561
Free space on /tmp= 71916 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290640-1304089048/watcher-3290640-1304089048 -o /tmp/evaluation-result-3290640-1304089048/solver-3290640-1304089048 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3290640-1304089048.cnf

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1703636636

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22598476 kB
Buffers:       2155124 kB
Cached:        7087500 kB
SwapCached:          4 kB
Active:        1046688 kB
Inactive:      8757328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22598476 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           32936 kB
Writeback:          44 kB
AnonPages:      561296 kB
Mapped:          16712 kB
Slab:           484212 kB
PageTables:       6284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1949768 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= 71904 MiB
End job on node105 at 2011-04-29 16:58:39