Trace number 3371337

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
Plingeling 587f (fixed)SAT 344.739 87.0567

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data

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

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3371337-1305429191/watcher-3371337-1305429191 -o /tmp/evaluation-result-3371337-1305429191/solver-3371337-1305429191 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371337-1305429191.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: 0.92 1.15 1.55 5/389 4955
/proc/meminfo: memFree=26908524/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=10448 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) R 4953 4955 29676 0 -1 4202496 707 1251 0 0 0 0 0 0 21 0 1 0 654517823 10698752 636 33554432000 4194304 4417452 140735611270880 18446744073709551615 251814240000 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/4955/statm: 2612 636 149 55 0 498 0

[startup+0.0838241 s]
/proc/loadavg: 0.92 1.15 1.55 5/389 4955
/proc/meminfo: memFree=26908524/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=21924 CPUtime=0.07 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) R 4953 4955 29676 0 -1 4202496 3676 1251 0 0 7 0 0 0 21 0 1 0 654517823 22450176 3505 33554432000 4194304 4417452 140735611270880 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/4955/statm: 5481 3505 149 55 0 3367 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21924

[startup+0.100817 s]
/proc/loadavg: 0.92 1.15 1.55 5/389 4955
/proc/meminfo: memFree=26908524/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=23816 CPUtime=0.09 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) R 4953 4955 29676 0 -1 4202496 4149 1251 0 0 9 0 0 0 21 0 1 0 654517823 24387584 3978 33554432000 4194304 4417452 140735611270880 18446744073709551615 4231353 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/4955/statm: 5954 3978 149 55 0 3840 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23816

[startup+0.300785 s]
/proc/loadavg: 0.92 1.15 1.55 5/389 4955
/proc/meminfo: memFree=26908524/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=79476 CPUtime=0.29 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) R 4953 4955 29676 0 -1 4202496 18072 1251 0 0 28 1 0 0 22 0 1 0 654517823 81383424 17893 33554432000 4194304 4417452 140735611270880 18446744073709551615 4320926 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/4955/statm: 19869 17893 149 55 0 17755 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79476

[startup+0.700718 s]
/proc/loadavg: 0.92 1.15 1.55 5/389 4955
/proc/meminfo: memFree=26908524/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=145012 CPUtime=0.68 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) R 4953 4955 29676 0 -1 4202496 34456 1251 0 0 65 3 0 0 23 0 1 0 654517823 148492288 34277 33554432000 4194304 4417452 140735611270880 18446744073709551615 251814240000 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/4955/statm: 36253 34277 149 55 0 34139 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 145012

[startup+1.50058 s]
/proc/loadavg: 1.25 1.22 1.57 9/394 4965
/proc/meminfo: memFree=26786212/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=235400 CPUtime=3.72 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 36093 1251 0 0 369 3 0 0 25 0 5 0 654517823 241049600 30358 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 58850 30358 174 55 0 56736 0
[pid=4955/tid=4962] ppid=4953 vsize=235400 CPUtime=0.76 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 296 1251 0 0 76 0 0 0 25 0 5 0 654517896 241049600 30358 33554432000 4194304 4417452 140735611270880 18446744073709551615 4305855 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=235400 CPUtime=0.75 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 262 1251 0 0 75 0 0 0 25 0 5 0 654517896 241049600 30358 33554432000 4194304 4417452 140735611270880 18446744073709551615 4305820 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=235400 CPUtime=0.76 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 341 1251 0 0 76 0 0 0 25 0 5 0 654517896 241049600 30358 33554432000 4194304 4417452 140735611270880 18446744073709551615 4309496 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=235400 CPUtime=0.71 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 726 1251 0 0 71 0 0 0 25 0 5 0 654517896 241049600 30358 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 235400

[startup+3.10032 s]
/proc/loadavg: 1.25 1.22 1.57 9/394 4965
/proc/meminfo: memFree=26754096/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=288176 CPUtime=10.11 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 51436 1251 0 0 1005 6 0 0 25 0 5 0 654517823 295092224 43557 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 72044 43557 179 55 0 69930 0
[pid=4955/tid=4962] ppid=4953 vsize=288176 CPUtime=2.36 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 5021 1251 0 0 236 0 0 0 25 0 5 0 654517896 295092224 43557 33554432000 4194304 4417452 140735611270880 18446744073709551615 4239411 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=288176 CPUtime=2.33 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 5276 1251 0 0 233 0 0 0 25 0 5 0 654517896 295092224 43557 33554432000 4194304 4417452 140735611270880 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=288176 CPUtime=2.35 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 5197 1251 0 0 235 0 0 0 25 0 5 0 654517896 295092224 43557 33554432000 4194304 4417452 140735611270880 18446744073709551615 4378108 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=288176 CPUtime=2.31 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 1474 1251 0 0 231 0 0 0 25 0 5 0 654517896 295092224 43557 33554432000 4194304 4417452 140735611270880 18446744073709551615 4250502 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.11
Current children cumulated vsize (KiB) 288176

[startup+6.30078 s]
/proc/loadavg: 1.79 1.33 1.60 9/394 4965
/proc/meminfo: memFree=26685316/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=318888 CPUtime=22.86 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 60493 1251 0 0 2279 7 0 0 25 0 5 0 654517823 326541312 51235 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 79722 51235 179 55 0 77608 0
[pid=4955/tid=4962] ppid=4953 vsize=318888 CPUtime=5.56 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 7954 1251 0 0 555 1 0 0 25 0 5 0 654517896 326541312 51235 33554432000 4194304 4417452 140735611270880 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=318888 CPUtime=5.49 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 8685 1251 0 0 548 1 0 0 25 0 5 0 654517896 326541312 51235 33554432000 4194304 4417452 140735611270880 18446744073709551615 4278518 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=318888 CPUtime=5.56 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 5397 1251 0 0 555 1 0 0 25 0 5 0 654517896 326541312 51235 33554432000 4194304 4417452 140735611270880 18446744073709551615 4235701 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=318888 CPUtime=5.5 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 3989 1251 0 0 550 0 0 0 25 0 5 0 654517896 326541312 51235 33554432000 4194304 4417452 140735611270880 18446744073709551615 4199406 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.86
Current children cumulated vsize (KiB) 318888

[startup+12.7007 s]
/proc/loadavg: 2.28 1.44 1.64 9/394 5001
/proc/meminfo: memFree=26658548/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=326960 CPUtime=48.38 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 73355 1251 0 0 4829 9 0 0 25 0 5 0 654517823 334807040 53254 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 81740 53254 180 55 0 79626 0
[pid=4955/tid=4962] ppid=4953 vsize=326960 CPUtime=11.96 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 8747 1251 0 0 1195 1 0 0 25 0 5 0 654517896 334807040 53254 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=326960 CPUtime=11.8 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 10156 1251 0 0 1179 1 0 0 25 0 5 0 654517896 334807040 53254 33554432000 4194304 4417452 140735611270880 18446744073709551615 4250721 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=326960 CPUtime=11.96 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 6058 1251 0 0 1195 1 0 0 25 0 5 0 654517896 334807040 53254 33554432000 4194304 4417452 140735611270880 18446744073709551615 4277291 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=326960 CPUtime=11.91 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 13926 1251 0 0 1189 2 0 0 25 0 5 0 654517896 334807040 53254 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364666 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.38
Current children cumulated vsize (KiB) 326960

[startup+25.5006 s]
/proc/loadavg: 3.62 1.78 1.74 9/394 5002
/proc/meminfo: memFree=26614000/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=345028 CPUtime=99.41 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 95939 1251 0 0 9929 12 0 0 25 0 5 0 654517823 353308672 57771 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 86257 57771 180 55 0 84143 0
[pid=4955/tid=4962] ppid=4953 vsize=345028 CPUtime=24.76 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 10043 1251 0 0 2475 1 0 0 25 0 5 0 654517896 353308672 57771 33554432000 4194304 4417452 140735611270880 18446744073709551615 4366447 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=345028 CPUtime=24.43 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 13644 1251 0 0 2442 1 0 0 25 0 5 0 654517896 353308672 57771 33554432000 4194304 4417452 140735611270880 18446744073709551615 4235573 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=345028 CPUtime=24.76 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 12511 1251 0 0 2475 1 0 0 25 0 5 0 654517896 353308672 57771 33554432000 4194304 4417452 140735611270880 18446744073709551615 4250721 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=345028 CPUtime=24.7 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 25273 1251 0 0 2467 3 0 0 25 0 5 0 654517896 353308672 57771 33554432000 4194304 4417452 140735611270880 18446744073709551615 4236891 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (KiB) 345028

[startup+51.1013 s]
/proc/loadavg: 5.11 2.27 1.91 9/394 5038
/proc/meminfo: memFree=26392936/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=366024 CPUtime=201.5 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 151429 1251 0 0 20127 23 0 0 25 0 5 0 654517823 374808576 63051 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 91506 63051 180 55 0 89392 0
[pid=4955/tid=4962] ppid=4953 vsize=366024 CPUtime=50.36 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 23522 1251 0 0 5033 3 0 0 25 0 5 0 654517896 374808576 63051 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=366024 CPUtime=49.71 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 21824 1251 0 0 4968 3 0 0 25 0 5 0 654517896 374808576 63051 33554432000 4194304 4417452 140735611270880 18446744073709551615 4353572 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=366024 CPUtime=50.36 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 25636 1251 0 0 5032 4 0 0 25 0 5 0 654517896 374808576 63051 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=366024 CPUtime=50.3 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 45979 1251 0 0 5023 7 0 0 25 0 5 0 654517896 374808576 63051 33554432000 4194304 4417452 140735611270880 18446744073709551615 4354481 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 201.5
Current children cumulated vsize (KiB) 366024

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

[startup+63.9011 s]
/proc/loadavg: 5.56 2.46 1.97 7/392 5039
/proc/meminfo: memFree=26370632/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=369360 CPUtime=252.53 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 183161 1251 0 0 25224 29 0 0 25 0 5 0 654517823 378224640 63886 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 92340 63886 180 55 0 90226 0
[pid=4955/tid=4962] ppid=4953 vsize=369360 CPUtime=63.16 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 33511 1251 0 0 6311 5 0 0 25 0 5 0 654517896 378224640 63886 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=369360 CPUtime=62.34 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 27442 1251 0 0 6230 4 0 0 25 0 5 0 654517896 378224640 63886 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=369360 CPUtime=63.16 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 31170 1251 0 0 6311 5 0 0 25 0 5 0 654517896 378224640 63886 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=369360 CPUtime=63.1 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 56570 1251 0 0 6301 9 0 0 25 0 5 0 654517896 378224640 63886 33554432000 4194304 4417452 140735611270880 18446744073709551615 4357851 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 252.53
Current children cumulated vsize (KiB) 369360

[startup+76.701 s]
/proc/loadavg: 5.89 2.68 2.05 9/394 5075
/proc/meminfo: memFree=26586836/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=362700 CPUtime=303.57 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 212277 1251 0 0 30324 33 0 0 25 0 5 0 654517823 371404800 62221 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 90675 62221 180 55 0 88561 0
[pid=4955/tid=4962] ppid=4953 vsize=362700 CPUtime=75.97 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 41460 1251 0 0 7590 7 0 0 25 0 5 0 654517896 371404800 62221 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=362700 CPUtime=74.99 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 34443 1251 0 0 7494 5 0 0 25 0 5 0 654517896 371404800 62221 33554432000 4194304 4417452 140735611270880 18446744073709551615 4277780 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=362700 CPUtime=75.96 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 36337 1251 0 0 7591 5 0 0 25 0 5 0 654517896 371404800 62221 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=362700 CPUtime=75.91 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 65569 1251 0 0 7580 11 0 0 25 0 5 0 654517896 371404800 62221 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 303.57
Current children cumulated vsize (KiB) 362700

[startup+83.1009 s]
/proc/loadavg: 6.06 2.77 2.09 9/394 5075
/proc/meminfo: memFree=26604584/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=358692 CPUtime=329.1 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 227550 1251 0 0 32874 36 0 0 25 0 5 0 654517823 367300608 61187 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 89673 61187 180 55 0 87559 0
[pid=4955/tid=4962] ppid=4953 vsize=358692 CPUtime=82.36 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 45123 1251 0 0 8229 7 0 0 25 0 5 0 654517896 367300608 61187 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=358692 CPUtime=81.31 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 37560 1251 0 0 8125 6 0 0 25 0 5 0 654517896 367300608 61187 33554432000 4194304 4417452 140735611270880 18446744073709551615 4264945 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=358692 CPUtime=82.36 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 38577 1251 0 0 8230 6 0 0 25 0 5 0 654517896 367300608 61187 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=358692 CPUtime=82.31 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 71822 1251 0 0 8219 12 0 0 25 0 5 0 654517896 367300608 61187 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 329.1
Current children cumulated vsize (KiB) 358692

[startup+84.7146 s]
/proc/loadavg: 6.06 2.77 2.09 9/394 5075
/proc/meminfo: memFree=26597764/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=365304 CPUtime=335.53 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 232114 1251 0 0 33516 37 0 0 25 0 5 0 654517823 374071296 62840 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 91326 62840 180 55 0 89212 0
[pid=4955/tid=4962] ppid=4953 vsize=365304 CPUtime=83.98 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 45649 1251 0 0 8391 7 0 0 25 0 5 0 654517896 374071296 62840 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=365304 CPUtime=82.9 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 38182 1251 0 0 8284 6 0 0 25 0 5 0 654517896 374071296 62840 33554432000 4194304 4417452 140735611270880 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=365304 CPUtime=83.97 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 40320 1251 0 0 8391 6 0 0 25 0 5 0 654517896 374071296 62840 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=365304 CPUtime=83.92 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 73495 1251 0 0 8380 12 0 0 25 0 5 0 654517896 374071296 62840 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 335.53
Current children cumulated vsize (KiB) 365304

[startup+86.3003 s]
/proc/loadavg: 6.22 2.86 2.12 9/394 5075
/proc/meminfo: memFree=26584992/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=378192 CPUtime=341.85 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 236510 1251 0 0 34148 37 0 0 25 0 5 0 654517823 387268608 66094 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 94548 66094 180 55 0 92434 0
[pid=4955/tid=4962] ppid=4953 vsize=378192 CPUtime=85.56 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 47062 1251 0 0 8549 7 0 0 25 0 5 0 654517896 387268608 66094 33554432000 4194304 4417452 140735611270880 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=378192 CPUtime=84.47 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 38808 1251 0 0 8441 6 0 0 25 0 5 0 654517896 387268608 66094 33554432000 4194304 4417452 140735611270880 18446744073709551615 4250571 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=378192 CPUtime=85.56 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 41777 1251 0 0 8550 6 0 0 25 0 5 0 654517896 387268608 66094 33554432000 4194304 4417452 140735611270880 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=378192 CPUtime=85.5 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 74395 1251 0 0 8538 12 0 0 25 0 5 0 654517896 387268608 66094 33554432000 4194304 4417452 140735611270880 18446744073709551615 4199406 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 341.85
Current children cumulated vsize (KiB) 378192

[startup+86.7003 s]
/proc/loadavg: 6.22 2.86 2.12 9/394 5075
/proc/meminfo: memFree=26584992/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=381152 CPUtime=343.45 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 237250 1251 0 0 34308 37 0 0 25 0 5 0 654517823 390299648 66834 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 95288 66834 180 55 0 93174 0
[pid=4955/tid=4962] ppid=4953 vsize=381152 CPUtime=85.96 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 47062 1251 0 0 8589 7 0 0 25 0 5 0 654517896 390299648 66834 33554432000 4194304 4417452 140735611270880 18446744073709551615 4357970 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=381152 CPUtime=84.87 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 38808 1251 0 0 8481 6 0 0 25 0 5 0 654517896 390299648 66834 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=381152 CPUtime=85.96 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 41777 1251 0 0 8590 6 0 0 25 0 5 0 654517896 390299648 66834 33554432000 4194304 4417452 140735611270880 18446744073709551615 18446744073699065939 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=381152 CPUtime=85.9 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 75135 1251 0 0 8578 12 0 0 25 0 5 0 654517896 390299648 66834 33554432000 4194304 4417452 140735611270880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 343.45
Current children cumulated vsize (KiB) 381152

[startup+86.9142 s]
/proc/loadavg: 6.22 2.86 2.12 9/394 5075
/proc/meminfo: memFree=26580032/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=387160 CPUtime=344.29 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 238752 1251 0 0 34392 37 0 0 25 0 5 0 654517823 396451840 68336 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 96790 68336 180 55 0 94676 0
[pid=4955/tid=4962] ppid=4953 vsize=387160 CPUtime=86.17 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 47062 1251 0 0 8610 7 0 0 25 0 5 0 654517896 396451840 68336 33554432000 4194304 4417452 140735611270880 18446744073709551615 4263050 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=387160 CPUtime=85.07 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 39389 1251 0 0 8501 6 0 0 25 0 5 0 654517896 396451840 68336 33554432000 4194304 4417452 140735611270880 18446744073709551615 4356898 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=387160 CPUtime=86.17 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 42373 1251 0 0 8611 6 0 0 25 0 5 0 654517896 396451840 68336 33554432000 4194304 4417452 140735611270880 18446744073709551615 18446744073699065939 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4955/tid=4965] ppid=4953 vsize=387160 CPUtime=86.12 cores=1,3,5,7
/proc/4955/task/4965/stat : 4965 (plingeling) R 4953 4955 29676 0 -1 4202560 75460 1251 0 0 8600 12 0 0 25 0 5 0 654517896 396451840 68336 33554432000 4194304 4417452 140735611270880 18446744073709551615 4355176 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 344.29
Current children cumulated vsize (KiB) 387160

[startup+87.0012 s]
/proc/loadavg: 6.22 2.86 2.12 9/394 5075
/proc/meminfo: memFree=26580032/32950928 swapFree=44388876/67111528
[pid=4955] ppid=4953 vsize=375004 CPUtime=344.64 cores=1,3,5,7
/proc/4955/stat : 4955 (plingeling) S 4953 4955 29676 0 -1 4202496 238753 1251 0 0 34427 37 0 0 25 0 4 0 654517823 384004096 65298 33554432000 4194304 4417452 140735611270880 18446744073709551615 251826042853 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4955/statm: 93751 65298 181 55 0 91637 0
[pid=4955/tid=4962] ppid=4953 vsize=375004 CPUtime=86.26 cores=1,3,5,7
/proc/4955/task/4962/stat : 4962 (plingeling) R 4953 4955 29676 0 -1 4202560 47062 1251 0 0 8619 7 0 0 25 0 4 0 654517896 384004096 65298 33554432000 4194304 4417452 140735611270880 18446744073709551615 4245632 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4955/tid=4963] ppid=4953 vsize=375004 CPUtime=85.16 cores=1,3,5,7
/proc/4955/task/4963/stat : 4963 (plingeling) R 4953 4955 29676 0 -1 4202560 39389 1251 0 0 8510 6 0 0 25 0 4 0 654517896 384004096 65298 33554432000 4194304 4417452 140735611270880 18446744073709551615 4366090 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4955/tid=4964] ppid=4953 vsize=375004 CPUtime=86.26 cores=1,3,5,7
/proc/4955/task/4964/stat : 4964 (plingeling) R 4953 4955 29676 0 -1 4202560 42373 1251 0 0 8620 6 0 0 25 0 4 0 654517896 384004096 65298 33554432000 4194304 4417452 140735611270880 18446744073709551615 4365943 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 344.64
Current children cumulated vsize (KiB) 375004

Child status: 10
Real time (s): 87.0567
CPU time (s): 344.739
CPU user time (s): 344.346
CPU system time (s): 0.39294
CPU usage (%): 395.993
Max. virtual memory (cumulated for all children) (KiB): 396484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.346
system time used= 0.39294
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240231
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= 71
involuntary context switches= 2367

runsolver used 0.309952 second user time and 0.806877 second system time

The end

Launcher Data

Begin job on node126 at 2011-05-15 05:13:11
IDJOB=3371337
IDBENCH=83436
IDSOLVER=1848
FILE ID=node126/3371337-1305429191
RUNJOBID= node126-1305429191-4927
PBS_JOBID= 13324566
Free space on /tmp= 73348 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3371337-1305429191/watcher-3371337-1305429191 -o /tmp/evaluation-result-3371337-1305429191/solver-3371337-1305429191 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3371337-1305429191.cnf

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=882769679

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26908680 kB
Buffers:        269172 kB
Cached:        2546368 kB
SwapCached:      92524 kB
Active:         831012 kB
Inactive:      4958548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26908680 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           16328 kB
Writeback:           0 kB
AnonPages:     2894460 kB
Mapped:          15276 kB
Slab:           111232 kB
PageTables:      75532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88165560 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= 73348 MiB
End job on node126 at 2011-05-15 05:14:38