Trace number 3309894

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 587SAT 178.503 23.5769

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.1969
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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309894-1304014330/watcher-3309894-1304014330 -o /tmp/evaluation-result-3309894-1304014330/solver-3309894-1304014330 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309894-1304014330.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.06 8.05 8.00 1/170 26955
/proc/meminfo: memFree=16741768/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=9916 CPUtime=0 cores=0-7
/proc/26955/stat : 26955 (plingeling) R 26953 26955 26251 0 -1 4202496 564 1249 0 0 0 0 0 0 18 0 1 0 513031551 10153984 493 33554432000 4194304 4417332 140737058720320 18446744073709551615 210204341229 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26955/statm: 2479 493 147 55 0 365 0

[startup+0.029795 s]
/proc/loadavg: 8.06 8.05 8.00 1/170 26955
/proc/meminfo: memFree=16741768/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=15336 CPUtime=0.02 cores=0-7
/proc/26955/stat : 26955 (plingeling) R 26953 26955 26251 0 -1 4202496 2024 1249 0 0 2 0 0 0 18 0 1 0 513031551 15704064 1857 33554432000 4194304 4417332 140737058720320 18446744073709551615 210204265998 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26955/statm: 3834 1857 148 55 0 1720 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15336

[startup+0.100784 s]
/proc/loadavg: 8.06 8.05 8.00 1/170 26955
/proc/meminfo: memFree=16741768/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=22620 CPUtime=0.09 cores=0-7
/proc/26955/stat : 26955 (plingeling) R 26953 26955 26251 0 -1 4202496 3981 1249 0 0 9 0 0 0 18 0 1 0 513031551 23162880 3678 33554432000 4194304 4417332 140737058720320 18446744073709551615 4231539 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26955/statm: 5655 3678 148 55 0 3541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22620

[startup+0.300752 s]
/proc/loadavg: 8.06 8.05 8.00 1/170 26955
/proc/meminfo: memFree=16741768/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=78380 CPUtime=0.29 cores=0-7
/proc/26955/stat : 26955 (plingeling) R 26953 26955 26251 0 -1 4202496 17667 1249 0 0 27 2 0 0 19 0 1 0 513031551 80261120 17360 33554432000 4194304 4417332 140737058720320 18446744073709551615 210204341341 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26955/statm: 19595 17387 148 55 0 17481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78380

[startup+0.700683 s]
/proc/loadavg: 8.06 8.05 8.00 1/170 26955
/proc/meminfo: memFree=16741768/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=150060 CPUtime=0.69 cores=0-7
/proc/26955/stat : 26955 (plingeling) R 26953 26955 26251 0 -1 4202496 35845 1249 0 0 65 4 0 0 19 0 1 0 513031551 153661440 35538 33554432000 4194304 4417332 140737058720320 18446744073709551615 4231506 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26955/statm: 37515 35538 148 55 0 35401 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 150060

[startup+1.50052 s]
/proc/loadavg: 7.49 7.93 7.97 2/171 26962
/proc/meminfo: memFree=16534564/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=394168 CPUtime=2.29 cores=0-7
/proc/26955/stat : 26955 (plingeling) S 26953 26955 26251 0 -1 4202496 70644 1249 0 0 220 9 0 0 18 0 9 0 513031551 403628032 59838 33554432000 4194304 4417332 140737058720320 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/26955/statm: 98542 59838 169 55 0 96428 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 394168

[startup+3.10125 s]
/proc/loadavg: 7.49 7.93 7.97 9/179 26970
/proc/meminfo: memFree=16501392/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=487044 CPUtime=15.09 cores=0-7
/proc/26955/stat : 26955 (plingeling) S 26953 26955 26251 0 -1 4202496 95388 1249 0 0 1493 16 0 0 18 0 9 0 513031551 498733056 83124 33554432000 4194304 4417332 140737058720320 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/26955/statm: 121761 83124 177 55 0 119647 0
[pid=26955/tid=26963] ppid=26953 vsize=487044 CPUtime=1.71 cores=0-7
/proc/26955/task/26963/stat : 26963 (plingeling) R 26953 26955 26251 0 -1 4202560 4925 1249 0 0 170 1 0 0 20 0 9 0 513031689 498733056 83124 33554432000 4194304 4417332 140737058720320 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26955/tid=26964] ppid=26953 vsize=487044 CPUtime=1.71 cores=0-7
/proc/26955/task/26964/stat : 26964 (plingeling) R 26953 26955 26251 0 -1 4202560 5015 1249 0 0 170 1 0 0 25 0 9 0 513031689 498733056 83124 33554432000 4194304 4417332 140737058720320 18446744073709551615 4269657 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26955/tid=26965] ppid=26953 vsize=487044 CPUtime=1.71 cores=0-7
/proc/26955/task/26965/stat : 26965 (plingeling) R 26953 26955 26251 0 -1 4202560 445 1249 0 0 171 0 0 0 25 0 9 0 513031689 498733056 83124 33554432000 4194304 4417332 140737058720320 18446744073709551615 4234231 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26955/tid=26966] ppid=26953 vsize=487044 CPUtime=1.71 cores=0-7
/proc/26955/task/26966/stat : 26966 (plingeling) R 26953 26955 26251 0 -1 4202560 955 1249 0 0 171 0 0 0 20 0 9 0 513031689 498733056 83124 33554432000 4194304 4417332 140737058720320 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26955/tid=26967] ppid=26953 vsize=487044 CPUtime=1.71 cores=0-7
/proc/26955/task/26967/stat : 26967 (plingeling) R 26953 26955 26251 0 -1 4202560 5018 1249 0 0 170 1 0 0 20 0 9 0 513031689 498733056 83124 33554432000 4194304 4417332 140737058720320 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26955/tid=26968] ppid=26953 vsize=487044 CPUtime=1.71 cores=0-7
/proc/26955/task/26968/stat : 26968 (plingeling) R 26953 26955 26251 0 -1 4202560 4991 1249 0 0 170 1 0 0 20 0 9 0 513031689 498733056 83124 33554432000 4194304 4417332 140737058720320 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26955/tid=26969] ppid=26953 vsize=487044 CPUtime=1.7 cores=0-7
/proc/26955/task/26969/stat : 26969 (plingeling) R 26953 26955 26251 0 -1 4202560 330 1249 0 0 170 0 0 0 25 0 9 0 513031689 498733056 83124 33554432000 4194304 4417332 140737058720320 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26955/tid=26970] ppid=26953 vsize=487044 CPUtime=1.68 cores=0-7
/proc/26955/task/26970/stat : 26970 (plingeling) R 26953 26955 26251 0 -1 4202560 5079 1249 0 0 168 0 0 0 25 0 9 0 513031689 498733056 83124 33554432000 4194304 4417332 140737058720320 18446744073709551615 4275927 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 487044

[startup+6.30072 s]
/proc/loadavg: 7.49 7.93 7.97 9/179 26970
/proc/meminfo: memFree=16321596/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=581328 CPUtime=40.66 cores=0-7
/proc/26955/stat : 26955 (plingeling) S 26953 26955 26251 0 -1 4202496 122844 1249 0 0 4044 22 0 0 18 0 9 0 513031551 595279872 106534 33554432000 4194304 4417332 140737058720320 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/26955/statm: 145332 106534 181 55 0 143218 0
[pid=26955/tid=26963] ppid=26953 vsize=581328 CPUtime=4.91 cores=0-7
/proc/26955/task/26963/stat : 26963 (plingeling) R 26953 26955 26251 0 -1 4202560 7998 1249 0 0 490 1 0 0 25 0 9 0 513031689 595279872 106534 33554432000 4194304 4417332 140737058720320 18446744073709551615 4366303 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26955/tid=26964] ppid=26953 vsize=581328 CPUtime=4.91 cores=0-7
/proc/26955/task/26964/stat : 26964 (plingeling) R 26953 26955 26251 0 -1 4202560 8704 1249 0 0 489 2 0 0 25 0 9 0 513031689 595279872 106534 33554432000 4194304 4417332 140737058720320 18446744073709551615 4320926 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26955/tid=26965] ppid=26953 vsize=581328 CPUtime=4.91 cores=0-7
/proc/26955/task/26965/stat : 26965 (plingeling) R 26953 26955 26251 0 -1 4202560 5027 1249 0 0 490 1 0 0 25 0 9 0 513031689 595279872 106534 33554432000 4194304 4417332 140737058720320 18446744073709551615 4366002 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26955/tid=26966] ppid=26953 vsize=581328 CPUtime=4.91 cores=0-7
/proc/26955/task/26966/stat : 26966 (plingeling) R 26953 26955 26251 0 -1 4202560 3717 1249 0 0 491 0 0 0 25 0 9 0 513031689 595279872 106534 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364349 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26955/tid=26967] ppid=26953 vsize=581328 CPUtime=4.91 cores=0-7
/proc/26955/task/26967/stat : 26967 (plingeling) R 26953 26955 26251 0 -1 4202560 8097 1249 0 0 489 2 0 0 25 0 9 0 513031689 595279872 106534 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26955/tid=26968] ppid=26953 vsize=581328 CPUtime=4.91 cores=0-7
/proc/26955/task/26968/stat : 26968 (plingeling) R 26953 26955 26251 0 -1 4202560 8052 1249 0 0 489 2 0 0 25 0 9 0 513031689 595279872 106534 33554432000 4194304 4417332 140737058720320 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26955/tid=26969] ppid=26953 vsize=581328 CPUtime=4.87 cores=0-7
/proc/26955/task/26969/stat : 26969 (plingeling) R 26953 26955 26251 0 -1 4202560 4475 1249 0 0 487 0 0 0 25 0 9 0 513031689 595279872 106534 33554432000 4194304 4417332 140737058720320 18446744073709551615 4245616 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26955/tid=26970] ppid=26953 vsize=581328 CPUtime=4.88 cores=0-7
/proc/26955/task/26970/stat : 26970 (plingeling) R 26953 26955 26251 0 -1 4202560 8144 1249 0 0 488 0 0 0 25 0 9 0 513031689 595279872 106534 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 40.66
Current children cumulated vsize (KiB) 581328

[startup+12.7007 s]
/proc/loadavg: 7.65 7.95 7.97 9/179 26970
/proc/meminfo: memFree=16291364/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=608316 CPUtime=91.83 cores=0-7
/proc/26955/stat : 26955 (plingeling) S 26953 26955 26251 0 -1 4202496 137508 1249 0 0 9159 24 0 0 18 0 9 0 513031551 622915584 113281 33554432000 4194304 4417332 140737058720320 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/26955/statm: 152079 113281 181 55 0 149965 0
[pid=26955/tid=26963] ppid=26953 vsize=608316 CPUtime=11.31 cores=0-7
/proc/26955/task/26963/stat : 26963 (plingeling) R 26953 26955 26251 0 -1 4202560 8110 1249 0 0 1130 1 0 0 25 0 9 0 513031689 622915584 113281 33554432000 4194304 4417332 140737058720320 18446744073709551615 4303100 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26955/tid=26964] ppid=26953 vsize=608316 CPUtime=11.31 cores=0-7
/proc/26955/task/26964/stat : 26964 (plingeling) R 26953 26955 26251 0 -1 4202560 10394 1249 0 0 1129 2 0 0 25 0 9 0 513031689 622915584 113281 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26955/tid=26965] ppid=26953 vsize=608316 CPUtime=11.31 cores=0-7
/proc/26955/task/26965/stat : 26965 (plingeling) R 26953 26955 26251 0 -1 4202560 6365 1249 0 0 1130 1 0 0 25 0 9 0 513031689 622915584 113281 33554432000 4194304 4417332 140737058720320 18446744073709551615 18446744073699065939 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26955/tid=26966] ppid=26953 vsize=608316 CPUtime=11.31 cores=0-7
/proc/26955/task/26966/stat : 26966 (plingeling) R 26953 26955 26251 0 -1 4202560 13757 1249 0 0 1129 2 0 0 25 0 9 0 513031689 622915584 113281 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364531 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26955/tid=26967] ppid=26953 vsize=608316 CPUtime=11.31 cores=0-7
/proc/26955/task/26967/stat : 26967 (plingeling) R 26953 26955 26251 0 -1 4202560 8495 1249 0 0 1129 2 0 0 25 0 9 0 513031689 622915584 113281 33554432000 4194304 4417332 140737058720320 18446744073709551615 18446744073699065971 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26955/tid=26968] ppid=26953 vsize=608316 CPUtime=11.31 cores=0-7
/proc/26955/task/26968/stat : 26968 (plingeling) R 26953 26955 26251 0 -1 4202560 8507 1249 0 0 1129 2 0 0 25 0 9 0 513031689 622915584 113281 33554432000 4194304 4417332 140737058720320 18446744073709551615 4307843 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26955/tid=26969] ppid=26953 vsize=608316 CPUtime=11.24 cores=0-7
/proc/26955/task/26969/stat : 26969 (plingeling) R 26953 26955 26251 0 -1 4202560 4904 1249 0 0 1123 1 0 0 25 0 9 0 513031689 622915584 113281 33554432000 4194304 4417332 140737058720320 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26955/tid=26970] ppid=26953 vsize=608316 CPUtime=11.28 cores=0-7
/proc/26955/task/26970/stat : 26970 (plingeling) R 26953 26955 26251 0 -1 4202560 8346 1249 0 0 1128 0 0 0 25 0 9 0 513031689 622915584 113281 33554432000 4194304 4417332 140737058720320 18446744073709551615 4365094 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 91.83
Current children cumulated vsize (KiB) 608316

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

[startup+19.1006 s]
/proc/loadavg: 7.68 7.95 7.97 9/179 26970
/proc/meminfo: memFree=16319016/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=581056 CPUtime=143 cores=0-7
/proc/26955/stat : 26955 (plingeling) S 26953 26955 26251 0 -1 4202496 153030 1249 0 0 14273 27 0 0 18 0 9 0 513031551 595001344 106564 33554432000 4194304 4417332 140737058720320 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/26955/statm: 145264 106564 181 55 0 143150 0
[pid=26955/tid=26963] ppid=26953 vsize=581056 CPUtime=17.71 cores=0-7
/proc/26955/task/26963/stat : 26963 (plingeling) R 26953 26955 26251 0 -1 4202560 8460 1249 0 0 1770 1 0 0 25 0 9 0 513031689 595001344 106564 33554432000 4194304 4417332 140737058720320 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26955/tid=26964] ppid=26953 vsize=581056 CPUtime=17.71 cores=0-7
/proc/26955/task/26964/stat : 26964 (plingeling) R 26953 26955 26251 0 -1 4202560 12252 1249 0 0 1768 3 0 0 25 0 9 0 513031689 595001344 106564 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26955/tid=26965] ppid=26953 vsize=581056 CPUtime=17.7 cores=0-7
/proc/26955/task/26965/stat : 26965 (plingeling) R 26953 26955 26251 0 -1 4202560 7318 1249 0 0 1769 1 0 0 25 0 9 0 513031689 595001344 106564 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364899 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26955/tid=26966] ppid=26953 vsize=581056 CPUtime=17.71 cores=0-7
/proc/26955/task/26966/stat : 26966 (plingeling) R 26953 26955 26251 0 -1 4202560 22294 1249 0 0 1768 3 0 0 25 0 9 0 513031689 595001344 106564 33554432000 4194304 4417332 140737058720320 18446744073709551615 4357164 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26955/tid=26967] ppid=26953 vsize=581056 CPUtime=17.71 cores=0-7
/proc/26955/task/26967/stat : 26967 (plingeling) R 26953 26955 26251 0 -1 4202560 9544 1249 0 0 1768 3 0 0 25 0 9 0 513031689 595001344 106564 33554432000 4194304 4417332 140737058720320 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26955/tid=26968] ppid=26953 vsize=581056 CPUtime=17.71 cores=0-7
/proc/26955/task/26968/stat : 26968 (plingeling) R 26953 26955 26251 0 -1 4202560 9290 1249 0 0 1769 2 0 0 25 0 9 0 513031689 595001344 106564 33554432000 4194304 4417332 140737058720320 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26955/tid=26969] ppid=26953 vsize=581056 CPUtime=17.61 cores=0-7
/proc/26955/task/26969/stat : 26969 (plingeling) R 26953 26955 26251 0 -1 4202560 5571 1249 0 0 1760 1 0 0 25 0 9 0 513031689 595001344 106564 33554432000 4194304 4417332 140737058720320 18446744073709551615 4301904 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26955/tid=26970] ppid=26953 vsize=581056 CPUtime=17.68 cores=0-7
/proc/26955/task/26970/stat : 26970 (plingeling) R 26953 26955 26251 0 -1 4202560 9671 1249 0 0 1768 0 0 0 25 0 9 0 513031689 595001344 106564 33554432000 4194304 4417332 140737058720320 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 143
Current children cumulated vsize (KiB) 581056

[startup+20.7013 s]
/proc/loadavg: 7.68 7.95 7.97 9/179 26970
/proc/meminfo: memFree=16312816/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=580956 CPUtime=155.79 cores=0-7
/proc/26955/stat : 26955 (plingeling) S 26953 26955 26251 0 -1 4202496 156355 1249 0 0 15551 28 0 0 18 0 9 0 513031551 594898944 106539 33554432000 4194304 4417332 140737058720320 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/26955/statm: 145239 106539 181 55 0 143125 0
[pid=26955/tid=26963] ppid=26953 vsize=580956 CPUtime=19.31 cores=0-7
/proc/26955/task/26963/stat : 26963 (plingeling) R 26953 26955 26251 0 -1 4202560 8460 1249 0 0 1930 1 0 0 25 0 9 0 513031689 594898944 106539 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364519 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26955/tid=26964] ppid=26953 vsize=580956 CPUtime=19.31 cores=0-7
/proc/26955/task/26964/stat : 26964 (plingeling) R 26953 26955 26251 0 -1 4202560 12481 1249 0 0 1928 3 0 0 25 0 9 0 513031689 594898944 106539 33554432000 4194304 4417332 140737058720320 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26955/tid=26965] ppid=26953 vsize=580956 CPUtime=19.31 cores=0-7
/proc/26955/task/26965/stat : 26965 (plingeling) R 26953 26955 26251 0 -1 4202560 7709 1249 0 0 1929 2 0 0 25 0 9 0 513031689 594898944 106539 33554432000 4194304 4417332 140737058720320 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26955/tid=26966] ppid=26953 vsize=580956 CPUtime=19.31 cores=0-7
/proc/26955/task/26966/stat : 26966 (plingeling) R 26953 26955 26251 0 -1 4202560 24712 1249 0 0 1927 4 0 0 25 0 9 0 513031689 594898944 106539 33554432000 4194304 4417332 140737058720320 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26955/tid=26967] ppid=26953 vsize=580956 CPUtime=19.32 cores=0-7
/proc/26955/task/26967/stat : 26967 (plingeling) R 26953 26955 26251 0 -1 4202560 9544 1249 0 0 1929 3 0 0 25 0 9 0 513031689 594898944 106539 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364873 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26955/tid=26968] ppid=26953 vsize=580956 CPUtime=19.31 cores=0-7
/proc/26955/task/26968/stat : 26968 (plingeling) R 26953 26955 26251 0 -1 4202560 9290 1249 0 0 1929 2 0 0 25 0 9 0 513031689 594898944 106539 33554432000 4194304 4417332 140737058720320 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26955/tid=26969] ppid=26953 vsize=580956 CPUtime=19.2 cores=0-7
/proc/26955/task/26969/stat : 26969 (plingeling) R 26953 26955 26251 0 -1 4202560 5858 1249 0 0 1919 1 0 0 25 0 9 0 513031689 594898944 106539 33554432000 4194304 4417332 140737058720320 18446744073709551615 4365977 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26955/tid=26970] ppid=26953 vsize=580956 CPUtime=19.28 cores=0-7
/proc/26955/task/26970/stat : 26970 (plingeling) R 26953 26955 26251 0 -1 4202560 9671 1249 0 0 1928 0 0 0 25 0 9 0 513031689 594898944 106539 33554432000 4194304 4417332 140737058720320 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 155.79
Current children cumulated vsize (KiB) 580956

[startup+22.301 s]
/proc/loadavg: 7.70 7.95 7.97 9/179 26970
/proc/meminfo: memFree=16313188/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=586728 CPUtime=168.58 cores=0-7
/proc/26955/stat : 26955 (plingeling) S 26953 26955 26251 0 -1 4202496 158765 1249 0 0 16830 28 0 0 18 0 9 0 513031551 600809472 108012 33554432000 4194304 4417332 140737058720320 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/26955/statm: 146682 108012 181 55 0 144568 0
[pid=26955/tid=26963] ppid=26953 vsize=586728 CPUtime=20.91 cores=0-7
/proc/26955/task/26963/stat : 26963 (plingeling) R 26953 26955 26251 0 -1 4202560 8846 1249 0 0 2090 1 0 0 25 0 9 0 513031689 600809472 108012 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26955/tid=26964] ppid=26953 vsize=586728 CPUtime=20.91 cores=0-7
/proc/26955/task/26964/stat : 26964 (plingeling) R 26953 26955 26251 0 -1 4202560 12672 1249 0 0 2088 3 0 0 25 0 9 0 513031689 600809472 108012 33554432000 4194304 4417332 140737058720320 18446744073709551615 4249181 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26955/tid=26965] ppid=26953 vsize=586728 CPUtime=20.91 cores=0-7
/proc/26955/task/26965/stat : 26965 (plingeling) R 26953 26955 26251 0 -1 4202560 8069 1249 0 0 2089 2 0 0 25 0 9 0 513031689 600809472 108012 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26955/tid=26966] ppid=26953 vsize=586728 CPUtime=20.91 cores=0-7
/proc/26955/task/26966/stat : 26966 (plingeling) R 26953 26955 26251 0 -1 4202560 25659 1249 0 0 2087 4 0 0 25 0 9 0 513031689 600809472 108012 33554432000 4194304 4417332 140737058720320 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26955/tid=26967] ppid=26953 vsize=586728 CPUtime=20.91 cores=0-7
/proc/26955/task/26967/stat : 26967 (plingeling) R 26953 26955 26251 0 -1 4202560 9544 1249 0 0 2088 3 0 0 25 0 9 0 513031689 600809472 108012 33554432000 4194304 4417332 140737058720320 18446744073709551615 4346425 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26955/tid=26968] ppid=26953 vsize=586728 CPUtime=20.91 cores=0-7
/proc/26955/task/26968/stat : 26968 (plingeling) R 26953 26955 26251 0 -1 4202560 9704 1249 0 0 2089 2 0 0 25 0 9 0 513031689 600809472 108012 33554432000 4194304 4417332 140737058720320 18446744073709551615 4365977 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26955/tid=26969] ppid=26953 vsize=586728 CPUtime=20.79 cores=0-7
/proc/26955/task/26969/stat : 26969 (plingeling) R 26953 26955 26251 0 -1 4202560 5970 1249 0 0 2078 1 0 0 25 0 9 0 513031689 600809472 108012 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26955/tid=26970] ppid=26953 vsize=586728 CPUtime=20.88 cores=0-7
/proc/26955/task/26970/stat : 26970 (plingeling) R 26953 26955 26251 0 -1 4202560 9671 1249 0 0 2088 0 0 0 25 0 9 0 513031689 600809472 108012 33554432000 4194304 4417332 140737058720320 18446744073709551615 4366440 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 168.58
Current children cumulated vsize (KiB) 586728

[startup+23.1069 s]
/proc/loadavg: 7.70 7.95 7.97 9/179 26970
/proc/meminfo: memFree=16311700/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=588604 CPUtime=175.02 cores=0-7
/proc/26955/stat : 26955 (plingeling) S 26953 26955 26251 0 -1 4202496 162730 1249 0 0 17473 29 0 0 18 0 9 0 513031551 602730496 108353 33554432000 4194304 4417332 140737058720320 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/26955/statm: 147151 108353 181 55 0 145037 0
[pid=26955/tid=26963] ppid=26953 vsize=588604 CPUtime=21.71 cores=0-7
/proc/26955/task/26963/stat : 26963 (plingeling) R 26953 26955 26251 0 -1 4202560 8846 1249 0 0 2170 1 0 0 25 0 9 0 513031689 602730496 108353 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364713 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26955/tid=26964] ppid=26953 vsize=588604 CPUtime=21.72 cores=0-7
/proc/26955/task/26964/stat : 26964 (plingeling) R 26953 26955 26251 0 -1 4202560 12879 1249 0 0 2169 3 0 0 25 0 9 0 513031689 602730496 108353 33554432000 4194304 4417332 140737058720320 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26955/tid=26965] ppid=26953 vsize=588604 CPUtime=21.72 cores=0-7
/proc/26955/task/26965/stat : 26965 (plingeling) R 26953 26955 26251 0 -1 4202560 8329 1249 0 0 2170 2 0 0 25 0 9 0 513031689 602730496 108353 33554432000 4194304 4417332 140737058720320 18446744073709551615 4236564 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26955/tid=26966] ppid=26953 vsize=588604 CPUtime=21.71 cores=0-7
/proc/26955/task/26966/stat : 26966 (plingeling) R 26953 26955 26251 0 -1 4202560 28423 1249 0 0 2167 4 0 0 25 0 9 0 513031689 602730496 108353 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364667 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26955/tid=26967] ppid=26953 vsize=588604 CPUtime=21.72 cores=0-7
/proc/26955/task/26967/stat : 26967 (plingeling) R 26953 26955 26251 0 -1 4202560 9544 1249 0 0 2169 3 0 0 25 0 9 0 513031689 602730496 108353 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26955/tid=26968] ppid=26953 vsize=588604 CPUtime=21.72 cores=0-7
/proc/26955/task/26968/stat : 26968 (plingeling) R 26953 26955 26251 0 -1 4202560 10438 1249 0 0 2170 2 0 0 25 0 9 0 513031689 602730496 108353 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26955/tid=26969] ppid=26953 vsize=588604 CPUtime=21.59 cores=0-7
/proc/26955/task/26969/stat : 26969 (plingeling) R 26953 26955 26251 0 -1 4202560 5970 1249 0 0 2158 1 0 0 25 0 9 0 513031689 602730496 108353 33554432000 4194304 4417332 140737058720320 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26955/tid=26970] ppid=26953 vsize=588604 CPUtime=21.68 cores=0-7
/proc/26955/task/26970/stat : 26970 (plingeling) R 26953 26955 26251 0 -1 4202560 9671 1249 0 0 2168 0 0 0 25 0 9 0 513031689 602730496 108353 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 175.02
Current children cumulated vsize (KiB) 588604

[startup+23.5009 s]
/proc/loadavg: 7.70 7.95 7.97 9/179 26970
/proc/meminfo: memFree=16311700/32951124 swapFree=67111528/67111528
[pid=26955] ppid=26953 vsize=589228 CPUtime=178.17 cores=0-7
/proc/26955/stat : 26955 (plingeling) S 26953 26955 26251 0 -1 4202496 163326 1249 0 0 17788 29 0 0 18 0 9 0 513031551 603369472 108509 33554432000 4194304 4417332 140737058720320 18446744073709551615 210216450021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/26955/statm: 147307 108509 181 55 0 145193 0
[pid=26955/tid=26963] ppid=26953 vsize=589228 CPUtime=22.11 cores=0-7
/proc/26955/task/26963/stat : 26963 (plingeling) R 26953 26955 26251 0 -1 4202560 8846 1249 0 0 2210 1 0 0 25 0 9 0 513031689 603369472 108509 33554432000 4194304 4417332 140737058720320 18446744073709551615 4263247 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26955/tid=26964] ppid=26953 vsize=589228 CPUtime=22.11 cores=0-7
/proc/26955/task/26964/stat : 26964 (plingeling) R 26953 26955 26251 0 -1 4202560 12879 1249 0 0 2208 3 0 0 25 0 9 0 513031689 603369472 108509 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26955/tid=26965] ppid=26953 vsize=589228 CPUtime=22.11 cores=0-7
/proc/26955/task/26965/stat : 26965 (plingeling) R 26953 26955 26251 0 -1 4202560 8408 1249 0 0 2209 2 0 0 25 0 9 0 513031689 603369472 108509 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26955/tid=26966] ppid=26953 vsize=589228 CPUtime=22.11 cores=0-7
/proc/26955/task/26966/stat : 26966 (plingeling) R 26953 26955 26251 0 -1 4202560 28716 1249 0 0 2207 4 0 0 25 0 9 0 513031689 603369472 108509 33554432000 4194304 4417332 140737058720320 18446744073709551615 4343680 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26955/tid=26967] ppid=26953 vsize=589228 CPUtime=22.11 cores=0-7
/proc/26955/task/26967/stat : 26967 (plingeling) R 26953 26955 26251 0 -1 4202560 9544 1249 0 0 2208 3 0 0 25 0 9 0 513031689 603369472 108509 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26955/tid=26968] ppid=26953 vsize=589228 CPUtime=22.11 cores=0-7
/proc/26955/task/26968/stat : 26968 (plingeling) R 26953 26955 26251 0 -1 4202560 10438 1249 0 0 2209 2 0 0 25 0 9 0 513031689 603369472 108509 33554432000 4194304 4417332 140737058720320 18446744073709551615 4364736 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26955/tid=26969] ppid=26953 vsize=589228 CPUtime=21.98 cores=0-7
/proc/26955/task/26969/stat : 26969 (plingeling) R 26953 26955 26251 0 -1 4202560 6194 1249 0 0 2197 1 0 0 25 0 9 0 513031689 603369472 108509 33554432000 4194304 4417332 140737058720320 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26955/tid=26970] ppid=26953 vsize=589228 CPUtime=22.08 cores=0-7
/proc/26955/task/26970/stat : 26970 (plingeling) R 26953 26955 26251 0 -1 4202560 9671 1249 0 0 2208 0 0 0 25 0 9 0 513031689 603369472 108509 33554432000 4194304 4417332 140737058720320 18446744073709551615 4365883 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 178.17
Current children cumulated vsize (KiB) 589228

Child status: 10
Real time (s): 23.5769
CPU time (s): 178.503
CPU user time (s): 178.185
CPU system time (s): 0.317951
CPU usage (%): 757.109
Max. virtual memory (cumulated for all children) (KiB): 619948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.185
system time used= 0.317951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164591
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= 141
involuntary context switches= 820

runsolver used 0.039993 second user time and 0.093985 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-28 20:12:11
IDJOB=3309894
IDBENCH=83436
IDSOLVER=1695
FILE ID=node130/3309894-1304014330
RUNJOBID= node130-1304008132-26265
PBS_JOBID= 13168841
Free space on /tmp= 71980 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309894-1304014330/watcher-3309894-1304014330 -o /tmp/evaluation-result-3309894-1304014330/solver-3309894-1304014330 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3309894-1304014330.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1476018056

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16742172 kB
Buffers:       2125788 kB
Cached:       13463328 kB
SwapCached:          0 kB
Active:        7426620 kB
Inactive:      8226160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16742172 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15184 kB
Writeback:           0 kB
AnonPages:       63584 kB
Mapped:          14756 kB
Slab:           489596 kB
PageTables:       4256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189164 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= 71980 MiB
End job on node130 at 2011-04-28 20:12:34