Trace number 3372794

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)SAT 255.562 33.9989

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.9041
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372794-1305442467/watcher-3372794-1305442467 -o /tmp/evaluation-result-3372794-1305442467/solver-3372794-1305442467 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372794-1305442467.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: 7.41 7.98 8.03 1/277 15125
/proc/meminfo: memFree=21445696/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=10268 CPUtime=0 cores=0-7
/proc/15125/stat : 15125 (plingeling) R 15123 15125 14543 0 -1 4202496 643 1251 0 0 0 0 0 0 22 0 1 0 655844966 10514432 574 33554432000 4194304 4417452 140733250973184 18446744073709551615 232335511025 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15125/statm: 2567 574 148 55 0 453 0

[startup+0.083369 s]
/proc/loadavg: 7.41 7.98 8.03 1/277 15125
/proc/meminfo: memFree=21445696/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=22620 CPUtime=0.07 cores=0-7
/proc/15125/stat : 15125 (plingeling) R 15123 15125 14543 0 -1 4202496 3980 1251 0 0 7 0 0 0 22 0 1 0 655844966 23162880 3679 33554432000 4194304 4417452 140733250973184 18446744073709551615 4236008 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15125/statm: 5655 3679 149 55 0 3541 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22620

[startup+0.100369 s]
/proc/loadavg: 7.41 7.98 8.03 1/277 15125
/proc/meminfo: memFree=21445696/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=22620 CPUtime=0.08 cores=0-7
/proc/15125/stat : 15125 (plingeling) R 15123 15125 14543 0 -1 4202496 3980 1251 0 0 8 0 0 0 22 0 1 0 655844966 23162880 3679 33554432000 4194304 4417452 140733250973184 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15125/statm: 5655 3679 149 55 0 3541 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22620

[startup+0.300333 s]
/proc/loadavg: 7.41 7.98 8.03 1/277 15125
/proc/meminfo: memFree=21445696/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=54944 CPUtime=0.28 cores=0-7
/proc/15125/stat : 15125 (plingeling) R 15123 15125 14543 0 -1 4202496 12061 1251 0 0 27 1 0 0 23 0 1 0 655844966 56262656 11760 33554432000 4194304 4417452 140733250973184 18446744073709551615 4231327 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15125/statm: 13736 11760 149 55 0 11622 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 54944

[startup+0.700262 s]
/proc/loadavg: 7.41 7.98 8.03 1/277 15125
/proc/meminfo: memFree=21445696/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=150060 CPUtime=0.68 cores=0-7
/proc/15125/stat : 15125 (plingeling) R 15123 15125 14543 0 -1 4202496 35844 1251 0 0 64 4 0 0 25 0 1 0 655844966 153661440 35539 33554432000 4194304 4417452 140733250973184 18446744073709551615 4231504 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15125/statm: 37515 35539 149 55 0 35401 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 150060

[startup+1.50112 s]
/proc/loadavg: 7.41 7.98 8.03 2/278 15131
/proc/meminfo: memFree=21303716/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=281132 CPUtime=1.48 cores=0-7
/proc/15125/stat : 15125 (plingeling) R 15123 15125 14543 0 -1 4202496 68612 1251 0 0 140 8 0 0 25 0 1 0 655844966 287879168 68307 33554432000 4194304 4417452 140733250973184 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/15125/statm: 70283 68307 149 55 0 68169 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 281132

[startup+3.1008 s]
/proc/loadavg: 7.41 7.98 8.03 2/278 15131
/proc/meminfo: memFree=21040848/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=389580 CPUtime=9.66 cores=0-7
/proc/15125/stat : 15125 (plingeling) S 15123 15125 14543 0 -1 4202496 107865 1251 0 0 952 14 0 0 25 0 9 0 655844966 398929920 74941 33554432000 4194304 4417452 140733250973184 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 97395 74941 175 55 0 95281 0
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (KiB) 389580

[startup+6.30123 s]
/proc/loadavg: 7.53 7.99 8.04 9/286 15139
/proc/meminfo: memFree=20994408/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=735192 CPUtime=35.21 cores=0-7
/proc/15125/stat : 15125 (plingeling) S 15123 15125 14543 0 -1 4202496 200160 1251 0 0 3483 38 0 0 25 0 9 0 655844966 752836608 161348 33554432000 4194304 4417452 140733250973184 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 183798 161348 179 55 0 181684 0
[pid=15125/tid=15132] ppid=15123 vsize=735192 CPUtime=4.15 cores=0-7
/proc/15125/task/15132/stat : 15132 (plingeling) R 15123 15125 14543 0 -1 4202560 13232 1251 0 0 411 4 0 0 25 0 9 0 655845180 752836608 161348 33554432000 4194304 4417452 140733250973184 18446744073709551615 4239418 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15125/tid=15133] ppid=15123 vsize=735192 CPUtime=4.11 cores=0-7
/proc/15125/task/15133/stat : 15133 (plingeling) R 15123 15125 14543 0 -1 4202560 13290 1251 0 0 408 3 0 0 25 0 9 0 655845180 752836608 161348 33554432000 4194304 4417452 140733250973184 18446744073709551615 4239418 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15125/tid=15134] ppid=15123 vsize=735192 CPUtime=4.11 cores=0-7
/proc/15125/task/15134/stat : 15134 (plingeling) R 15123 15125 14543 0 -1 4202560 12853 1251 0 0 409 2 0 0 25 0 9 0 655845180 752836608 161348 33554432000 4194304 4417452 140733250973184 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15125/tid=15135] ppid=15123 vsize=735192 CPUtime=4.12 cores=0-7
/proc/15125/task/15135/stat : 15135 (plingeling) R 15123 15125 14543 0 -1 4202560 6717 1251 0 0 411 1 0 0 25 0 9 0 655845180 752836608 161348 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15125/tid=15136] ppid=15123 vsize=735192 CPUtime=4.1 cores=0-7
/proc/15125/task/15136/stat : 15136 (plingeling) R 15123 15125 14543 0 -1 4202560 13235 1251 0 0 407 3 0 0 25 0 9 0 655845180 752836608 161348 33554432000 4194304 4417452 140733250973184 18446744073709551615 4331837 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15125/tid=15137] ppid=15123 vsize=735192 CPUtime=4.14 cores=0-7
/proc/15125/task/15137/stat : 15137 (plingeling) R 15123 15125 14543 0 -1 4202560 13313 1251 0 0 412 2 0 0 25 0 9 0 655845180 752836608 161348 33554432000 4194304 4417452 140733250973184 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15125/tid=15138] ppid=15123 vsize=735192 CPUtime=4.15 cores=0-7
/proc/15125/task/15138/stat : 15138 (plingeling) R 15123 15125 14543 0 -1 4202560 12777 1251 0 0 411 4 0 0 25 0 9 0 655845181 752836608 161348 33554432000 4194304 4417452 140733250973184 18446744073709551615 4199406 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15125/tid=15139] ppid=15123 vsize=735192 CPUtime=4.12 cores=0-7
/proc/15125/task/15139/stat : 15139 (plingeling) R 15123 15125 14543 0 -1 4202560 13347 1251 0 0 409 3 0 0 25 0 9 0 655845181 752836608 161348 33554432000 4194304 4417452 140733250973184 18446744073709551615 4239401 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 35.21
Current children cumulated vsize (KiB) 735192

[startup+12.7011 s]
/proc/loadavg: 7.57 7.99 8.04 9/286 15139
/proc/meminfo: memFree=21015644/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=586144 CPUtime=86.34 cores=0-7
/proc/15125/stat : 15125 (plingeling) S 15123 15125 14543 0 -1 4202496 210171 1251 0 0 8593 41 0 0 25 0 9 0 655844966 600211456 109091 33554432000 4194304 4417452 140733250973184 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 146536 109091 180 55 0 144422 0
[pid=15125/tid=15132] ppid=15123 vsize=586144 CPUtime=10.55 cores=0-7
/proc/15125/task/15132/stat : 15132 (plingeling) R 15123 15125 14543 0 -1 4202560 13330 1251 0 0 1051 4 0 0 25 0 9 0 655845180 600211456 109091 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15125/tid=15133] ppid=15123 vsize=586144 CPUtime=10.51 cores=0-7
/proc/15125/task/15133/stat : 15133 (plingeling) R 15123 15125 14543 0 -1 4202560 14087 1251 0 0 1048 3 0 0 25 0 9 0 655845180 600211456 109091 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15125/tid=15134] ppid=15123 vsize=586144 CPUtime=10.52 cores=0-7
/proc/15125/task/15134/stat : 15134 (plingeling) R 15123 15125 14543 0 -1 4202560 13435 1251 0 0 1049 3 0 0 25 0 9 0 655845180 600211456 109091 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15125/tid=15135] ppid=15123 vsize=586144 CPUtime=10.53 cores=0-7
/proc/15125/task/15135/stat : 15135 (plingeling) R 15123 15125 14543 0 -1 4202560 12301 1251 0 0 1051 2 0 0 25 0 9 0 655845180 600211456 109091 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15125/tid=15136] ppid=15123 vsize=586144 CPUtime=10.44 cores=0-7
/proc/15125/task/15136/stat : 15136 (plingeling) R 15123 15125 14543 0 -1 4202560 14088 1251 0 0 1041 3 0 0 25 0 9 0 655845180 600211456 109091 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15125/tid=15137] ppid=15123 vsize=586144 CPUtime=10.55 cores=0-7
/proc/15125/task/15137/stat : 15137 (plingeling) R 15123 15125 14543 0 -1 4202560 14271 1251 0 0 1052 3 0 0 25 0 9 0 655845180 600211456 109091 33554432000 4194304 4417452 140733250973184 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15125/tid=15138] ppid=15123 vsize=586144 CPUtime=10.54 cores=0-7
/proc/15125/task/15138/stat : 15138 (plingeling) R 15123 15125 14543 0 -1 4202560 13280 1251 0 0 1050 4 0 0 25 0 9 0 655845181 600211456 109091 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364607 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15125/tid=15139] ppid=15123 vsize=586144 CPUtime=10.51 cores=0-7
/proc/15125/task/15139/stat : 15139 (plingeling) R 15123 15125 14543 0 -1 4202560 13983 1251 0 0 1048 3 0 0 25 0 9 0 655845181 600211456 109091 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 86.34
Current children cumulated vsize (KiB) 586144

[startup+25.5008 s]
/proc/loadavg: 7.66 7.99 8.04 9/286 15140
/proc/meminfo: memFree=20989700/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=603220 CPUtime=188.62 cores=0-7
/proc/15125/stat : 15125 (plingeling) S 15123 15125 14543 0 -1 4202496 287053 1251 0 0 18811 51 0 0 25 0 9 0 655844966 617697280 114388 33554432000 4194304 4417452 140733250973184 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 150805 114388 180 55 0 148691 0
[pid=15125/tid=15132] ppid=15123 vsize=603220 CPUtime=23.35 cores=0-7
/proc/15125/task/15132/stat : 15132 (plingeling) R 15123 15125 14543 0 -1 4202560 22513 1251 0 0 2330 5 0 0 25 0 9 0 655845180 617697280 114388 33554432000 4194304 4417452 140733250973184 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15125/tid=15133] ppid=15123 vsize=603220 CPUtime=23.31 cores=0-7
/proc/15125/task/15133/stat : 15133 (plingeling) R 15123 15125 14543 0 -1 4202560 24117 1251 0 0 2326 5 0 0 25 0 9 0 655845180 617697280 114388 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15125/tid=15134] ppid=15123 vsize=603220 CPUtime=23.32 cores=0-7
/proc/15125/task/15134/stat : 15134 (plingeling) R 15123 15125 14543 0 -1 4202560 22742 1251 0 0 2328 4 0 0 25 0 9 0 655845180 617697280 114388 33554432000 4194304 4417452 140733250973184 18446744073709551615 4357942 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15125/tid=15135] ppid=15123 vsize=603220 CPUtime=23.32 cores=0-7
/proc/15125/task/15135/stat : 15135 (plingeling) R 15123 15125 14543 0 -1 4202560 20736 1251 0 0 2329 3 0 0 25 0 9 0 655845180 617697280 114388 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15125/tid=15136] ppid=15123 vsize=603220 CPUtime=23.12 cores=0-7
/proc/15125/task/15136/stat : 15136 (plingeling) R 15123 15125 14543 0 -1 4202560 25368 1251 0 0 2307 5 0 0 25 0 9 0 655845180 617697280 114388 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366674 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15125/tid=15137] ppid=15123 vsize=603220 CPUtime=23.35 cores=0-7
/proc/15125/task/15137/stat : 15137 (plingeling) R 15123 15125 14543 0 -1 4202560 24550 1251 0 0 2331 4 0 0 25 0 9 0 655845180 617697280 114388 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15125/tid=15138] ppid=15123 vsize=603220 CPUtime=23.34 cores=0-7
/proc/15125/task/15138/stat : 15138 (plingeling) R 15123 15125 14543 0 -1 4202560 21922 1251 0 0 2329 5 0 0 25 0 9 0 655845181 617697280 114388 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15125/tid=15139] ppid=15123 vsize=603220 CPUtime=23.31 cores=0-7
/proc/15125/task/15139/stat : 15139 (plingeling) R 15123 15125 14543 0 -1 4202560 23709 1251 0 0 2327 4 0 0 25 0 9 0 655845181 617697280 114388 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 188.62
Current children cumulated vsize (KiB) 603220

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

[startup+28.7013 s]
/proc/loadavg: 7.69 7.99 8.04 9/286 15140
/proc/meminfo: memFree=20921900/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=701040 CPUtime=214.2 cores=0-7
/proc/15125/stat : 15125 (plingeling) S 15123 15125 14543 0 -1 4202496 316835 1251 0 0 21364 56 0 0 25 0 9 0 655844966 717864960 139285 33554432000 4194304 4417452 140733250973184 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 175260 139285 180 55 0 173146 0
[pid=15125/tid=15132] ppid=15123 vsize=701040 CPUtime=26.54 cores=0-7
/proc/15125/task/15132/stat : 15132 (plingeling) R 15123 15125 14543 0 -1 4202560 30705 1251 0 0 2648 6 0 0 25 0 9 0 655845180 717864960 139285 33554432000 4194304 4417452 140733250973184 18446744073709551615 4239418 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15125/tid=15133] ppid=15123 vsize=701040 CPUtime=26.51 cores=0-7
/proc/15125/task/15133/stat : 15133 (plingeling) R 15123 15125 14543 0 -1 4202560 24276 1251 0 0 2646 5 0 0 25 0 9 0 655845180 717864960 139285 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15125/tid=15134] ppid=15123 vsize=701040 CPUtime=26.52 cores=0-7
/proc/15125/task/15134/stat : 15134 (plingeling) R 15123 15125 14543 0 -1 4202560 22742 1251 0 0 2648 4 0 0 25 0 9 0 655845180 717864960 139285 33554432000 4194304 4417452 140733250973184 18446744073709551615 4308000 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15125/tid=15135] ppid=15123 vsize=701040 CPUtime=26.52 cores=0-7
/proc/15125/task/15135/stat : 15135 (plingeling) R 15123 15125 14543 0 -1 4202560 22571 1251 0 0 2648 4 0 0 25 0 9 0 655845180 717864960 139285 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15125/tid=15136] ppid=15123 vsize=701040 CPUtime=26.29 cores=0-7
/proc/15125/task/15136/stat : 15136 (plingeling) R 15123 15125 14543 0 -1 4202560 26386 1251 0 0 2624 5 0 0 25 0 9 0 655845180 717864960 139285 33554432000 4194304 4417452 140733250973184 18446744073709551615 4301960 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15125/tid=15137] ppid=15123 vsize=701040 CPUtime=26.55 cores=0-7
/proc/15125/task/15137/stat : 15137 (plingeling) R 15123 15125 14543 0 -1 4202560 34520 1251 0 0 2650 5 0 0 25 0 9 0 655845180 717864960 139285 33554432000 4194304 4417452 140733250973184 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15125/tid=15138] ppid=15123 vsize=701040 CPUtime=26.54 cores=0-7
/proc/15125/task/15138/stat : 15138 (plingeling) R 15123 15125 14543 0 -1 4202560 30114 1251 0 0 2648 6 0 0 25 0 9 0 655845181 717864960 139285 33554432000 4194304 4417452 140733250973184 18446744073709551615 4330497 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15125/tid=15139] ppid=15123 vsize=701040 CPUtime=26.51 cores=0-7
/proc/15125/task/15139/stat : 15139 (plingeling) R 15123 15125 14543 0 -1 4202560 24125 1251 0 0 2647 4 0 0 25 0 9 0 655845181 717864960 139285 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 214.2
Current children cumulated vsize (KiB) 701040

[startup+31.9107 s]
/proc/loadavg: 7.69 7.99 8.04 9/286 15140
/proc/meminfo: memFree=20953768/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=632564 CPUtime=239.84 cores=0-7
/proc/15125/stat : 15125 (plingeling) S 15123 15125 14543 0 -1 4202496 343653 1251 0 0 23925 59 0 0 25 0 9 0 655844966 647745536 124104 33554432000 4194304 4417452 140733250973184 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 158141 124104 180 55 0 156027 0
[pid=15125/tid=15132] ppid=15123 vsize=632564 CPUtime=29.76 cores=0-7
/proc/15125/task/15132/stat : 15132 (plingeling) R 15123 15125 14543 0 -1 4202560 34690 1251 0 0 2969 7 0 0 25 0 9 0 655845180 647745536 124104 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15125/tid=15133] ppid=15123 vsize=632564 CPUtime=29.72 cores=0-7
/proc/15125/task/15133/stat : 15133 (plingeling) R 15123 15125 14543 0 -1 4202560 24773 1251 0 0 2967 5 0 0 25 0 9 0 655845180 647745536 124104 33554432000 4194304 4417452 140733250973184 18446744073709551615 4310585 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15125/tid=15134] ppid=15123 vsize=632564 CPUtime=29.73 cores=0-7
/proc/15125/task/15134/stat : 15134 (plingeling) R 15123 15125 14543 0 -1 4202560 31372 1251 0 0 2968 5 0 0 25 0 9 0 655845180 647745536 124104 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15125/tid=15135] ppid=15123 vsize=632564 CPUtime=29.74 cores=0-7
/proc/15125/task/15135/stat : 15135 (plingeling) R 15123 15125 14543 0 -1 4202560 24795 1251 0 0 2969 5 0 0 25 0 9 0 655845180 647745536 124104 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15125/tid=15136] ppid=15123 vsize=632564 CPUtime=29.47 cores=0-7
/proc/15125/task/15136/stat : 15136 (plingeling) R 15123 15125 14543 0 -1 4202560 35292 1251 0 0 2941 6 0 0 25 0 9 0 655845180 647745536 124104 33554432000 4194304 4417452 140733250973184 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15125/tid=15137] ppid=15123 vsize=632564 CPUtime=29.75 cores=0-7
/proc/15125/task/15137/stat : 15137 (plingeling) R 15123 15125 14543 0 -1 4202560 35437 1251 0 0 2970 5 0 0 25 0 9 0 655845180 647745536 124104 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15125/tid=15138] ppid=15123 vsize=632564 CPUtime=29.75 cores=0-7
/proc/15125/task/15138/stat : 15138 (plingeling) R 15123 15125 14543 0 -1 4202560 30546 1251 0 0 2969 6 0 0 25 0 9 0 655845181 647745536 124104 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15125/tid=15139] ppid=15123 vsize=632564 CPUtime=29.72 cores=0-7
/proc/15125/task/15139/stat : 15139 (plingeling) R 15123 15125 14543 0 -1 4202560 25352 1251 0 0 2968 4 0 0 25 0 9 0 655845181 647745536 124104 33554432000 4194304 4417452 140733250973184 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 239.84
Current children cumulated vsize (KiB) 632564

[startup+32.7006 s]
/proc/loadavg: 7.69 7.99 8.04 9/286 15140
/proc/meminfo: memFree=20953768/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=668348 CPUtime=246.16 cores=0-7
/proc/15125/stat : 15125 (plingeling) S 15123 15125 14543 0 -1 4202496 353356 1251 0 0 24556 60 0 0 25 0 9 0 655844966 684388352 133050 33554432000 4194304 4417452 140733250973184 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 167087 133050 180 55 0 164973 0
[pid=15125/tid=15132] ppid=15123 vsize=668348 CPUtime=30.55 cores=0-7
/proc/15125/task/15132/stat : 15132 (plingeling) R 15123 15125 14543 0 -1 4202560 34690 1251 0 0 3048 7 0 0 25 0 9 0 655845180 684388352 133050 33554432000 4194304 4417452 140733250973184 18446744073709551615 4263206 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15125/tid=15133] ppid=15123 vsize=668348 CPUtime=30.52 cores=0-7
/proc/15125/task/15133/stat : 15133 (plingeling) R 15123 15125 14543 0 -1 4202560 32965 1251 0 0 3046 6 0 0 25 0 9 0 655845180 684388352 133050 33554432000 4194304 4417452 140733250973184 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15125/tid=15134] ppid=15123 vsize=668348 CPUtime=30.52 cores=0-7
/proc/15125/task/15134/stat : 15134 (plingeling) R 15123 15125 14543 0 -1 4202560 31989 1251 0 0 3047 5 0 0 25 0 9 0 655845180 684388352 133050 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15125/tid=15135] ppid=15123 vsize=668348 CPUtime=30.53 cores=0-7
/proc/15125/task/15135/stat : 15135 (plingeling) R 15123 15125 14543 0 -1 4202560 24795 1251 0 0 3048 5 0 0 25 0 9 0 655845180 684388352 133050 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15125/tid=15136] ppid=15123 vsize=668348 CPUtime=30.26 cores=0-7
/proc/15125/task/15136/stat : 15136 (plingeling) R 15123 15125 14543 0 -1 4202560 35754 1251 0 0 3020 6 0 0 25 0 9 0 655845180 684388352 133050 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15125/tid=15137] ppid=15123 vsize=668348 CPUtime=30.54 cores=0-7
/proc/15125/task/15137/stat : 15137 (plingeling) R 15123 15125 14543 0 -1 4202560 35869 1251 0 0 3049 5 0 0 25 0 9 0 655845180 684388352 133050 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364693 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15125/tid=15138] ppid=15123 vsize=668348 CPUtime=30.54 cores=0-7
/proc/15125/task/15138/stat : 15138 (plingeling) R 15123 15125 14543 0 -1 4202560 30546 1251 0 0 3048 6 0 0 25 0 9 0 655845181 684388352 133050 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15125/tid=15139] ppid=15123 vsize=668348 CPUtime=30.51 cores=0-7
/proc/15125/task/15139/stat : 15139 (plingeling) R 15123 15125 14543 0 -1 4202560 25352 1251 0 0 3047 4 0 0 25 0 9 0 655845181 684388352 133050 33554432000 4194304 4417452 140733250973184 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 246.16
Current children cumulated vsize (KiB) 668348

[startup+33.5004 s]
/proc/loadavg: 7.69 7.99 8.04 9/286 15140
/proc/meminfo: memFree=20921156/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=678808 CPUtime=252.55 cores=0-7
/proc/15125/stat : 15125 (plingeling) S 15123 15125 14543 0 -1 4202496 361040 1251 0 0 25194 61 0 0 25 0 9 0 655844966 695099392 135321 33554432000 4194304 4417452 140733250973184 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 169702 135321 180 55 0 167588 0
[pid=15125/tid=15132] ppid=15123 vsize=678808 CPUtime=31.35 cores=0-7
/proc/15125/task/15132/stat : 15132 (plingeling) R 15123 15125 14543 0 -1 4202560 35251 1251 0 0 3128 7 0 0 25 0 9 0 655845180 695099392 135321 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15125/tid=15133] ppid=15123 vsize=678808 CPUtime=31.31 cores=0-7
/proc/15125/task/15133/stat : 15133 (plingeling) R 15123 15125 14543 0 -1 4202560 36958 1251 0 0 3125 6 0 0 25 0 9 0 655845180 695099392 135321 33554432000 4194304 4417452 140733250973184 18446744073709551615 4239401 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15125/tid=15134] ppid=15123 vsize=678808 CPUtime=31.32 cores=0-7
/proc/15125/task/15134/stat : 15134 (plingeling) R 15123 15125 14543 0 -1 4202560 32286 1251 0 0 3127 5 0 0 25 0 9 0 655845180 695099392 135321 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15125/tid=15135] ppid=15123 vsize=678808 CPUtime=31.33 cores=0-7
/proc/15125/task/15135/stat : 15135 (plingeling) R 15123 15125 14543 0 -1 4202560 25432 1251 0 0 3128 5 0 0 25 0 9 0 655845180 695099392 135321 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15125/tid=15136] ppid=15123 vsize=678808 CPUtime=31.05 cores=0-7
/proc/15125/task/15136/stat : 15136 (plingeling) R 15123 15125 14543 0 -1 4202560 35869 1251 0 0 3099 6 0 0 25 0 9 0 655845180 695099392 135321 33554432000 4194304 4417452 140733250973184 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15125/tid=15137] ppid=15123 vsize=678808 CPUtime=31.35 cores=0-7
/proc/15125/task/15137/stat : 15137 (plingeling) R 15123 15125 14543 0 -1 4202560 37324 1251 0 0 3129 6 0 0 25 0 9 0 655845180 695099392 135321 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15125/tid=15138] ppid=15123 vsize=678808 CPUtime=31.34 cores=0-7
/proc/15125/task/15138/stat : 15138 (plingeling) R 15123 15125 14543 0 -1 4202560 31172 1251 0 0 3128 6 0 0 25 0 9 0 655845181 695099392 135321 33554432000 4194304 4417452 140733250973184 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15125/tid=15139] ppid=15123 vsize=678808 CPUtime=31.31 cores=0-7
/proc/15125/task/15139/stat : 15139 (plingeling) R 15123 15125 14543 0 -1 4202560 25352 1251 0 0 3127 4 0 0 25 0 9 0 655845181 695099392 135321 33554432000 4194304 4417452 140733250973184 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 252.55
Current children cumulated vsize (KiB) 678808

[startup+33.9014 s]
/proc/loadavg: 7.69 7.99 8.04 9/286 15140
/proc/meminfo: memFree=20921156/32951124 swapFree=66457188/67111528
[pid=15125] ppid=15123 vsize=679768 CPUtime=255.42 cores=0-7
/proc/15125/stat : 15125 (plingeling) S 15123 15125 14543 0 -1 4202496 361757 1251 0 0 25481 61 0 0 18 0 3 0 655844966 696082432 135562 33554432000 4194304 4417452 140733250973184 18446744073709551615 232347695077 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/15125/statm: 169942 135562 181 55 0 167828 0
[pid=15125/tid=15133] ppid=15123 vsize=679768 CPUtime=31.71 cores=0-7
/proc/15125/task/15133/stat : 15133 (plingeling) R 15123 15125 14543 0 -1 4202560 36958 1251 0 0 3165 6 0 0 25 0 3 0 655845180 696082432 135562 33554432000 4194304 4417452 140733250973184 18446744073709551615 4302964 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15125/tid=15139] ppid=15123 vsize=679768 CPUtime=31.71 cores=0-7
/proc/15125/task/15139/stat : 15139 (plingeling) R 15123 15125 14543 0 -1 4202560 25352 1251 0 0 3167 4 0 0 25 0 3 0 655845181 696082432 135562 33554432000 4194304 4417452 140733250973184 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 255.42
Current children cumulated vsize (KiB) 679768

Child status: 10
Real time (s): 33.9989
CPU time (s): 255.562
CPU user time (s): 254.909
CPU system time (s): 0.6529
CPU usage (%): 751.677
Max. virtual memory (cumulated for all children) (KiB): 753720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.909
system time used= 0.6529
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363023
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= 150
involuntary context switches= 2140

runsolver used 0.108983 second user time and 0.215967 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-15 08:54:28
IDJOB=3372794
IDBENCH=83450
IDSOLVER=1851
FILE ID=node132/3372794-1305442467
RUNJOBID= node132-1305437109-14557
PBS_JOBID= 13324765
Free space on /tmp= 73348 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=24265052

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21445976 kB
Buffers:        291240 kB
Cached:        5662968 kB
SwapCached:       6904 kB
Active:        4831124 kB
Inactive:      6367004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21445976 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           22132 kB
Writeback:          48 kB
AnonPages:     5241872 kB
Mapped:          18500 kB
Slab:           218280 kB
PageTables:      24016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34736044 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73348 MiB
End job on node132 at 2011-05-15 08:55:02