Trace number 3309912

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587SAT 1055.35 137.782

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark44.5842
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data 

1055.25/137.78	s SATISFIABLE
1055.25/137.78	v 1 -2 3 4 -5 -6 -7
1055.25/137.78	v 8 -9 -10 -11 -12 -13 -14 -15
1055.25/137.78	v -16 -17 -18 -19 -20 -21 -22 23
1055.25/137.78	v 24 -25 26 -27 28 29 -30 31
1055.25/137.78	v -32 -33 -34 35 36 -37 38 39
1055.25/137.78	v 40 41 -42 -43 -44 -45 46 47
1055.25/137.78	v -48 -49 -50 51 52 53 -54 -55
1055.25/137.78	v 56 -57 -58 -59 -60 61 -62 -63
1055.25/137.78	v -64 65 66 -67 -68 -69 -70 -71
1055.25/137.78	v 72 73 -74 -75 -76 -77 -78 79
1055.25/137.78	v -80 -81 82 -83 -84 85 -86 -87
1055.25/137.78	v -88 89 -90 -91 92 93 -94 95
1055.25/137.78	v -96 -97 98 -99 -100 -101 -102 -103
1055.25/137.78	v -104 -105 -106 -107 108 -109 -110 -111
1055.25/137.78	v -112 113 -114 -115 -116 -117 -118 -119
1055.25/137.78	v -120 121 -122 -123 -124 125 -126 127
1055.25/137.78	v -128 -129 -130 131 132 133 -134 -135
1055.25/137.78	v -136 -137 -138 -139 -140 141 142 143
1055.25/137.78	v 144 145 146 147 148 -149 150 151
1055.25/137.78	v 152 153 -154 -155 -156 -157 -158 -159
1055.25/137.78	v -160 -161 -162 -163 -164 -165 -166 -167
1055.25/137.78	v -168 -169 -170 -171 -172 -173 -174 -175
1055.25/137.78	v -176 -177 -178 -179 -180 -181 -182 183
1055.25/137.78	v 184 -185 186 187 -188 -189 -190 191
1055.25/137.78	v -192 -193 -194 -195 -196 -197 -198 199
1055.25/137.78	v -200 -201 -202 -203 -204 -205 -206 -207
1055.25/137.78	v -208 -209 -210 -211 -212 -213 -214 -215
1055.25/137.78	v 216 -217 -218 -219 -220 -221 -222 -223
1055.25/137.78	v -224 -225 -226 -227 228 -229 230 -231
1055.25/137.78	v -232 -233 -234 -235 236 237 -238 -239
1055.25/137.78	v 240 241 242 243 244 245 246 -247
1055.25/137.78	v -248 249 250 -251 -252 253 -254 -255
1055.25/137.78	v 256 -257 -258 -259 -260 261 -262 -263
1055.25/137.78	v -264 -265 -266 -267 -268 -269 -270 -271
1055.25/137.78	v -272 273 -274 275 276 -277 -278 -279
1055.25/137.78	v 280 281 -282 -283 -284 -285 -286 -287
1055.25/137.78	v -288 -289 -290 291 -292 293 294 -295
1055.25/137.78	v -296 -297 298 299 -300 -301 -302 -303
1055.25/137.78	v -304 -305 -306 -307 -308 309 -310 311
1055.25/137.78	v 312 -313 314 315 -316 -317 -318 319
1055.25/137.78	v -320 321 322 -323 -324 325 -326 327
1055.25/137.78	v -328 -329 330 331 332 333 -334 335
1055.25/137.78	v 336 -337 -338 -339 -340 -341 342 343
1055.25/137.78	v -344 345 346 347 348 349 350 351
1055.25/137.78	v -352 353 354 355 -356 357 -358 359
1055.25/137.78	v 360 -361 -362 -363 -364 -365 366 367
1055.25/137.78	v -368 -369 370 -371 -372 -373 -374 -375
1055.25/137.78	v -376 -377 -378 -379 380 -381 -382 -383
1055.25/137.78	v -384 385 386 387 388 389 390 391
1055.25/137.78	v 392 393 394 395 -396 397 398 399
1055.25/137.78	v 400 401 402 403 404 405 406 407
1055.25/137.78	v 408 -409 410 411 -412 -413 -414 -415
1055.25/137.78	v -416 -417 -418 419 420 -421 -422 -423
1055.25/137.78	v -424 -425 -426 427 428 -429 -430 431
1055.25/137.78	v 432 -433 -434 435 -436 437 438 439
1055.25/137.78	v -440 -441 -442 -443 444 445 -446 -447
1055.25/137.78	v 448 -449 -450 451 -452 453 -454 455
1055.25/137.78	v -456 457 -458 -459 -460 -461 -462 -463
1055.25/137.78	v -464 -465 -466 -467 -468 -469 -470 471
1055.25/137.78	v -472 -473 -474 -475 -476 -477 -478 -479
1055.25/137.78	v -480 -481 -482 -483 -484 -485 -486 -487
1055.25/137.78	v -488 489 490 491 492 493 494 495
1055.25/137.78	v 496 497 -498 -499 -500 -501 -502 -503
1055.25/137.78	v -504 -505 -506 507 508 509 -510 -511
1055.25/137.78	v -512 -513 -514 -515 -516 -517 -518 -519
1055.25/137.78	v -520 -521 -522 -523 -524 -525 -526 -527
1055.25/137.78	v -528 -529 -530 -531 -532 -533 -534 -535
1055.25/137.78	v 536 537 538 539 -540 -541 -542 -543
1055.25/137.78	v -544 -545 -546 -547 -548 -549 -550 -551
1055.25/137.78	v -552 -553 554 555 556 557 558 559
1055.25/137.78	v -560 -561 -562 -563 -564 -565 -566 -567
1055.25/137.78	v -568 -569 -570 -571 -572 -573 -574 -575
1055.25/137.78	v 576 -577 -578 -579 -580 -581 -582 -583
1055.25/137.78	v -584 -585 -586 -587 -588 -589 -590 -591
1055.25/137.78	v -592 -593 -594 -595 -596 -597 -598 -599
1055.25/137.78	v -600 -601 -602 -603 -604 -605 606 607
1055.25/137.78	v -608 -609 -610 -611 -612 -613 -614 -615
1055.25/137.78	v -616 -617 618 619 -620 -621 -622 -623
1055.25/137.78	v -624 -625 -626 -627 -628 -629 -630 -631
1055.25/137.78	v -632 -633 -634 -635 -636 -637 -638 -639
1055.25/137.78	v 640 641 642 643 644 645 646 647
1055.25/137.78	v 648 649 650 651 652 -653 -654 -655
1055.25/137.78	v -656 -657 -658 -659 -660 -661 -662 -663
1055.25/137.78	v -664 -665 -666 -667 -668 -669 670 -671
1055.25/137.78	v -672 -673 -674 -675 -676 -677 -678 -679
1055.25/137.78	v -680 -681 -682 -683 -684 -685 -686 -687
1055.25/137.78	v -688 -689 -690 -691 -692 -693 -694 -695
1055.25/137.78	v 696 -697 -698 -699 -700 -701 -702 -703
1055.25/137.78	v -704 -705 -706 -707 -708 709 710 -711
1055.25/137.78	v -712 -713 -714 -715 -716 -717 -718 -719
1055.25/137.78	v -720 -721 -722 -723 -724 -725 -726 727
1055.25/137.78	v 728 -729 -730 -731 -732 -733 -734 -735
1055.25/137.78	v -736 -737 -738 -739 -740 -741 -742 -743
1055.25/137.78	v -744 -745 -746 -747 -748 749 750 -751
1055.25/137.78	v -752 -753 -754 -755 -756 -757 -758 -759
1055.25/137.78	v -760 -761 -762 -763 -764 -765 -766 -767
1055.25/137.78	v -768 -769 -770 -771 -772 773 -774 -775
1055.25/137.78	v -776 -777 -778 -779 -780 -781 -782 -783
1055.25/137.78	v -784 -785 -786 -787 -788 -789 -790 -791
1055.25/137.78	v -792 -793 -794 -795 -796 -797 -798 799
1055.25/137.78	v 800 -801 -802 -803 -804 -805 -806 -807
1055.25/137.78	v -808 -809 -810 -811 -812 -813 -814 -815
1055.25/137.78	v -816 -817 -818 -819 -820 -821 -822 -823
1055.25/137.78	v -824 825 826 -827 -828 -829 -830 -831
1055.25/137.78	v -832 -833 -834 -835 -836 837 -838 -839
1055.25/137.78	v -840 -841 -842 -843 -844 -845 -846 -847
1055.25/137.78	v -848 -849 -850 -851 -852 -853 -854 -855
1055.25/137.78	v -856 -857 -858 -859 -860 -861 862 863
1055.25/137.78	v -864 -865 -866 -867 -868 -869 -870 -871
1055.25/137.78	v -872 -873 -874 -875 -876 -877 -878 -879
1055.25/137.78	v -880 -881 -882 -883 -884 -885 886 -887
1055.25/137.78	v -888 -889 -890 -891 -892 -893 -894 -895
1055.25/137.78	v -896 -897 -898 -899 -900 -901 -902 -903
1055.25/137.78	v -904 -905 -906 -907 -908 -909 -910 -911
1055.25/137.78	v -912 -913 -914 915 -916 -917 -918 -919
1055.25/137.78	v -920 -921 -922 -923 -924 -925 -926 -927
1055.25/137.78	v -928 929 930 931 -932 -933 -934 -935
1055.25/137.78	v -936 -937 -938 -939 -940 -941 -942 -943
1055.25/137.78	v -944 -945 -946 -947 -948 -949 950 951
1055.25/137.78	v -952 -953 -954 -955 -956 -957 -958 -959
1055.25/137.78	v -960 -961 -962 -963 -964 -965 -966 -967
1055.25/137.78	v -968 969 -970 -971 -972 -973 -974 -975
1055.25/137.78	v -976 -977 -978 -979 -980 -981 -982 -983
1055.25/137.78	v -984 -985 -986 -987 -988 -989 -990 991
1055.25/137.78	v 992 993 -994 -995 -996 -997 -998 -999
1055.25/137.78	v -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007
1055.25/137.78	v -1008 -1009 -1010 -1011 -1012 -1013 1014 1015
1055.25/137.78	v -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023
1055.25/137.78	v -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031
1055.25/137.78	v -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039
1055.25/137.78	v -1040 1041 1042 1043 -1044 -1045 -1046 -1047
1055.25/137.78	v -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055
1055.25/137.78	v -1056 1057 1058 1059 1060 -1061 -1062 -1063
1055.25/137.78	v -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071
1055.25/137.78	v -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079
1055.25/137.78	v 1080 1081 1082 1083 1084 1085 1086 -1087
1055.25/137.78	v -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095
1055.25/137.78	v -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103
1055.25/137.78	v -1104 -1105 -1106 -1107 1108 1109 -1110 -1111
1055.25/137.78	v -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119
1055.25/137.78	v -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127
1055.25/137.78	v -1128 -1129 -1130 -1131 1132 -1133 -1134 -1135
1055.25/137.78	v -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143
1055.25/137.78	v -1144 -1145 -1146 -1147 1148 1149 1150 1151
1055.25/137.78	v 1152 1153 -1154 -1155 -1156 -1157 -1158 -1159
1055.25/137.78	v -1160 -1161 -1162 -1163 -1164 -1165 -1166 1167
1055.25/137.78	v 1168 1169 1170 1171 1172 1173 1174 1175
1055.25/137.78	v -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183
1055.25/137.78	v -1184 -1185 -1186 -1187 -1188 -1189 -1190 1191
1055.25/137.78	v 1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199
1055.25/137.78	v -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207
1055.25/137.78	v -1208 -1209 -1210 -1211 -1212 -1213 1214 -1215
1055.25/137.78	v -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223
1055.25/137.78	v -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231
1055.25/137.78	v -1232 -1233 -1234 -1235 -1236 1237 -1238 -1239
1055.25/137.78	v -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247
1055.25/137.78	v -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255
1055.25/137.78	v -1256 -1257 1258 1259 1260 1261 -1262 -1263
1055.25/137.78	v -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271
1055.25/137.78	v -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279
1055.25/137.78	v 1280 1281 -1282 -1283 -1284 -1285 -1286 -1287
1055.25/137.78	v -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295
1055.25/137.78	v -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303
1055.25/137.78	v -1304 -1305 -1306 1307 -1308 -1309 -1310 -1311
1055.25/137.78	v -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319
1055.25/137.78	v -1320 -1321 -1322 -1323 -1324 -1325 1326 1327
1055.25/137.78	v 1328 1329 1330 -1331 -1332 -1333 -1334 -1335
1055.25/137.78	v -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343
1055.25/137.78	v -1344 -1345 -1346 1347 1348 -1349 -1350 -1351
1055.25/137.78	v -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359
1055.25/137.78	v -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367
1055.25/137.78	v -1368 1369 -1370 -1371 -1372 -1373 -1374 -1375
1055.25/137.78	v -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383
1055.25/137.78	v -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391
1055.25/137.78	v -1392 -1393 -1394 1395 -1396 -1397 -1398 -1399
1055.25/137.78	v -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407
1055.25/137.78	v -1408 -1409 1410 -1411 -1412 -1413 -1414 -1415
1055.25/137.78	v -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423
1055.25/137.78	v -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431
1055.25/137.78	v -1432 -1433 -1434 -1435 -1436 -1437 -1438 1439
1055.25/137.78	v -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447
1055.25/137.78	v -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455
1055.25/137.78	v -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463
1055.25/137.78	v -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471
1055.25/137.78	v -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479
1055.25/137.78	v -1480 -1481 -1482 1483 -1484 -1485 -1486 -1487
1055.25/137.78	v -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495
1055.25/137.78	v -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503
1055.25/137.78	v -1504 1505 -1506 -1507 -1508 -1509 -1510 -1511
1055.25/137.78	v -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519
1055.25/137.78	v -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527
1055.25/137.78	v -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535
1055.25/137.78	v -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543
1055.25/137.78	v -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551
1055.25/137.78	v -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559
1055.25/137.78	v -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567
1055.25/137.78	v -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575
1055.25/137.78	v -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583
1055.25/137.78	v -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591
1055.25/137.78	v -1592 1593 -1594 -1595 -1596 -1597 -1598 -1599
1055.25/137.78	v -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607
1055.25/137.78	v -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615
1055.25/137.78	v -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623
1055.25/137.78	v -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631
1055.25/137.78	v -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639
1055.25/137.78	v -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647
1055.25/137.78	v -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655
1055.25/137.78	v -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663
1055.25/137.78	v -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671
1055.25/137.78	v -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679
1055.25/137.78	v -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687
1055.25/137.78	v -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695
1055.25/137.78	v -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703
1055.25/137.78	v -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711
1055.25/137.78	v -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719
1055.25/137.78	v -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727
1055.25/137.78	v -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735
1055.25/137.78	v -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743
1055.25/137.78	v -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751
1055.25/137.78	v -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759
1055.25/137.78	v -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767
1055.25/137.78	v -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775
1055.25/137.78	v -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783
1055.25/137.78	v -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791
1055.25/137.78	v -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799
1055.25/137.78	v -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807
1055.25/137.78	v -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815
1055.25/137.78	v -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823
1055.25/137.78	v -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831
1055.25/137.78	v -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839
1055.25/137.78	v -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847
1055.25/137.78	v -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855
1055.25/137.78	v -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863
1055.25/137.78	v -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871
1055.25/137.78	v -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879
1055.25/137.78	v -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887
1055.25/137.78	v -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895
1055.25/137.78	v -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903
1055.25/137.78	v -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911
1055.25/137.78	v -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919
1055.25/137.78	v -1920 -1921 1922 1923 1924 1925 -1926 -1927
1055.25/137.78	v -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935
1055.25/137.78	v -1936 -1937 -1938 -1939 -1940 1941 1942 1943
1055.25/137.78	v 1944 1945 -1946 -1947 -1948 -1949 -1950 -1951
1055.25/137.78	v -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959
1055.25/137.78	v -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967
1055.25/137.78	v -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975
1055.25/137.78	v -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983
1055.25/137.78	v -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991
1055.25/137.78	v 1992 1993 -1994 -1995 -1996 -1997 -1998 -1999
1055.25/137.78	v -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007
1055.25/137.78	v -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015
1055.25/137.78	v -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023
1055.25/137.78	v -2024 -2025 -2026 -2027 -2028 2029 2030 2031
1055.25/137.78	v 2032 2033 2034 2035 2036 2037 -2038 -2039
1055.25/137.78	v -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047
1055.25/137.78	v -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055
1055.25/137.78	v 2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063
1055.25/137.78	v -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071
1055.25/137.78	v -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079
1055.25/137.78	v -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087
1055.25/137.78	v -2088 -2089 -2090 -2091 -2092 -2093 -2094 2095
1055.25/137.78	v 2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103
1055.25/137.78	v -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111
1055.25/137.78	v -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119
1055.25/137.78	v -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127
1055.25/137.78	v -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135
1055.25/137.78	v -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143
1055.25/137.78	v -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151
1055.25/137.78	v -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159
1055.25/137.78	v -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167
1055.25/137.78	v -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175
1055.25/137.78	v -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183
1055.25/137.78	v -2184 2185 2186 -2187 -2188 -2189 -2190 -2191
1055.25/137.78	v -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199
1055.25/137.78	v -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207
1055.25/137.78	v -2208 -2209 -2210 2211 2212 -2213 -2214 -2215
1055.25/137.78	v -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223
1055.25/137.78	v -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231
1055.25/137.78	v -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239
1055.25/137.78	v -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247
1055.25/137.78	v -2248 2249 -2250 -2251 -2252 -2253 -2254 -2255
1055.25/137.78	v -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263
1055.25/137.78	v -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271
1055.25/137.78	v 2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279
1055.25/137.78	v -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287
1055.25/137.78	v -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295
1055.25/137.78	v -2296 -2297 -2298 -2299 -2300 2301 -2302 -2303
1055.25/137.78	v -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311
1055.25/137.78	v -2312 -2313 -2314 2315 2316 2317 -2318 -2319
1055.25/137.78	v -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327
1055.25/137.78	v -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335
1055.25/137.78	v -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343
1055.25/137.78	v -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351
1055.25/137.78	v -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359
1055.25/137.78	v -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367
1055.25/137.78	v -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375
1055.25/137.78	v -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383
1055.25/137.78	v -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391
1055.25/137.78	v -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399
1055.25/137.78	v -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407
1055.25/137.78	v -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415
1055.25/137.78	v -2416 -2417 -2418 -2419 -2420 -2421 2422 2423
1055.25/137.78	v -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431
1055.25/137.78	v -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439
1055.25/137.78	v -2440 -2441 -2442 -2443 2444 2445 -2446 -2447
1055.25/137.78	v -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455
1055.25/137.78	v -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463
1055.25/137.78	v -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471
1055.25/137.78	v -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479
1055.25/137.78	v -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487
1055.25/137.78	v -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495
1055.25/137.78	v -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503
1055.25/137.78	v -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511
1055.25/137.78	v -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519
1055.25/137.78	v -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527
1055.25/137.78	v -2528 -2529 -2530 2531 2532 -2533 -2534 -2535
1055.25/137.78	v -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543
1055.25/137.78	v -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551
1055.25/137.78	v -2552 2553 2554 -2555 -2556 -2557 -2558 -2559
1055.25/137.78	v -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567
1055.25/137.78	v -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575
1055.25/137.78	v -2576 2577 -2578 -2579 -2580 -2581 -2582 -2583
1055.25/137.78	v -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591
1055.25/137.78	v -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599
1055.25/137.78	v -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607
1055.25/137.78	v -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615
1055.25/137.78	v -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623
1055.25/137.78	v -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631
1055.25/137.78	v -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639
1055.25/137.78	v -2640 2641 -2642 -2643 -2644 -2645 -2646 -2647
1055.25/137.78	v -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655
1055.25/137.78	v -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663
1055.25/137.78	v -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671
1055.25/137.78	v -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679
1055.25/137.78	v -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687
1055.25/137.78	v -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695
1055.25/137.78	v -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703
1055.25/137.78	v -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711
1055.25/137.78	v -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719
1055.25/137.78	v -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727
1055.25/137.78	v -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735
1055.25/137.78	v -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743
1055.25/137.78	v -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751
1055.25/137.78	v -2752 -2753 -2754 -2755 -2756 -2757 2758 2759
1055.25/137.78	v -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767
1055.25/137.78	v -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775
1055.25/137.78	v -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783
1055.25/137.78	v -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791
1055.25/137.78	v -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799
1055.25/137.78	v -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807
1055.25/137.78	v -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815
1055.25/137.78	v -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823
1055.25/137.78	v -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831
1055.25/137.78	v -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839
1055.25/137.78	v -2840 -2841 -2842 -2843 -2844 -2845 2846 2847
1055.25/137.78	v 2848 2849 -2850 -2851 -2852 -2853 -2854 -2855
1055.25/137.78	v -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863
1055.25/137.78	v -2864 -2865 -2866 -2867 -2868 -2869 2870 -2871
1055.25/137.78	v -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879
1055.25/137.78	v -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887
1055.25/137.78	v -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895
1055.25/137.78	v -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903
1055.25/137.78	v -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911
1055.25/137.78	v -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919
1055.25/137.78	v -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927
1055.25/137.78	v -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935
1055.25/137.78	v -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943
1055.25/137.78	v -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951
1055.25/137.78	v -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959
1055.25/137.78	v -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967
1055.25/137.78	v -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975
1055.25/137.78	v -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983
1055.25/137.78	v -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991
1055.25/137.78	v -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999
1055.25/137.78	v 3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007
1055.25/137.78	v -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015
1055.25/137.78	v -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023
1055.25/137.78	v -3024 3025 -3026 -3027 -3028 -3029 -3030 -3031
1055.25/137.78	v -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039
1055.25/137.78	v -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047
1055.25/137.78	v -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055
1055.25/137.78	v -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063
1055.25/137.78	v -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071
1055.25/137.78	v -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079
1055.25/137.78	v -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087
1055.25/137.78	v -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095
1055.25/137.78	v -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103
1055.25/137.78	v -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111
1055.25/137.78	v -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119
1055.25/137.78	v -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127
1055.25/137.78	v -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135
1055.25/137.78	v -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143
1055.25/137.78	v -3144 -3145 -3146 -3147 -3148 -3149 3150 -3151
1055.25/137.78	v -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159
1055.25/137.78	v -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167
1055.25/137.78	v -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175
1055.25/137.78	v -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183
1055.25/137.78	v -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191
1055.25/137.78	v -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199
1055.25/137.78	v -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207
1055.25/137.78	v -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215
1055.25/137.78	v 3216 3217 3218 3219 3220 3221 -3222 -3223
1055.25/137.78	v -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231
1055.25/137.78	v -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239
1055.25/137.78	v -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247
1055.25/137.78	v -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255
1055.25/137.78	v -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263
1055.25/137.78	v -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271
1055.25/137.78	v -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279
1055.25/137.78	v -3280 -3281 -3282 3283 3284 -3285 -3286 -3287
1055.25/137.78	v -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295
1055.25/137.78	v -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303
1055.25/137.78	v -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311
1055.25/137.78	v -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319
1055.25/137.78	v -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327
1055.25/137.78	v -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335
1055.25/137.78	v -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343
1055.25/137.78	v -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351
1055.25/137.78	v -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359
1055.25/137.78	v -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367
1055.25/137.78	v -3368 -3369 -3370 -3371 -3372 3373 3374 -3375
1055.25/137.78	v -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383
1055.25/137.78	v -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391
1055.25/137.78	v -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399
1055.25/137.78	v -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407
1055.25/137.78	v -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415
1055.25/137.78	v -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423
1055.25/137.78	v -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431
1055.25/137.78	v -3432 -3433 -3434 -3435 3436 3437 -3438 -3439
1055.25/137.78	v -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447
1055.25/137.78	v -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455
1055.25/137.78	v -3456 -3457 -3458 -3459 3460 -3461 -3462 -3463
1055.25/137.78	v -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471
1055.25/137.78	v -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479
1055.25/137.78	v -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487
1055.25/137.78	v -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495
1055.25/137.78	v -3496 -3497 -3498 -3499 -3500 -3501 -3502 3503
1055.25/137.78	v 3504 3505 -3506 -3507 -3508 -3509 -3510 -3511
1055.25/137.78	v -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519
1055.25/137.78	v -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527
1055.25/137.78	v -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535
1055.25/137.78	v -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543
1055.25/137.78	v -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551
1055.25/137.78	v -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559
1055.25/137.78	v -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567
1055.25/137.78	v 3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575
1055.25/137.78	v -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583
1055.25/137.78	v -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591
1055.25/137.78	v -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599
1055.25/137.78	v -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607
1055.25/137.78	v -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615
1055.25/137.78	v -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623
1055.25/137.78	v -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631
1055.25/137.78	v -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639
1055.25/137.78	v -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647
1055.25/137.78	v -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655
1055.25/137.78	v -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663
1055.25/137.78	v -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671
1055.25/137.78	v -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679
1055.25/137.78	v -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687
1055.25/137.78	v -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695
1055.25/137.78	v -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703
1055.25/137.78	v -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711
1055.25/137.78	v -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719
1055.25/137.78	v -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727
1055.25/137.78	v -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735
1055.25/137.78	v -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743
1055.25/137.78	v -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751
1055.25/137.78	v -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759
1055.25/137.78	v -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767
1055.25/137.78	v -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775
1055.25/137.78	v -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783
1055.25/137.78	v -3784 -3785 -3786 -3787 3788 -3789 -3790 -3791
1055.25/137.78	v -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799
1055.25/137.78	v -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807
1055.25/137.78	v -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815
1055.25/137.78	v -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823
1055.25/137.78	v -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831
1055.25/137.78	v -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839
1055.25/137.78	v -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847
1055.25/137.78	v -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855
1055.25/137.78	v -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863
1055.25/137.78	v -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871
1055.25/137.78	v -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879
1055.25/137.78	v -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887
1055.25/137.78	v -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895
1055.25/137.78	v -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903
1055.25/137.78	v -3904 -3905 3906 3907 -3908 -3909 -3910 -3911
1055.25/137.78	v -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919
1055.25/137.78	v -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927
1055.25/137.78	v -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935
1055.25/137.78	v -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943
1055.25/137.78	v -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951
1055.25/137.78	v -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959
1055.25/137.78	v -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967
1055.25/137.78	v -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975
1055.25/137.78	v -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983
1055.25/137.78	v -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991
1055.25/137.78	v -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999
1055.25/137.78	v -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007
1055.25/137.78	v -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015
1055.25/137.78	v -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023
1055.25/137.78	v -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031
1055.25/137.78	v -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039
1055.25/137.78	v -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047
1055.25/137.78	v -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055
1055.25/137.78	v -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063
1055.25/137.78	v -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071
1055.25/137.78	v -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079
1055.25/137.78	v -4080 -4081 4082 -4083 -4084 -4085 -4086 -4087
1055.25/137.78	v -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095
1055.25/137.78	v -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103
1055.25/137.78	v -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111
1055.25/137.78	v -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119
1055.25/137.78	v -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127
1055.25/137.78	v -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135
1055.25/137.78	v -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143
1055.25/137.78	v -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151
1055.25/137.78	v -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159
1055.25/137.78	v -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167
1055.25/137.78	v -4168 -4169 -4170 4171 -4172 -4173 -4174 -4175
1055.25/137.78	v -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183
1055.25/137.78	v -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191
1055.25/137.78	v -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199
1055.25/137.78	v -4200 -4201 -4202 -4203 4204 4205 -4206 -4207
1055.25/137.78	v -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215
1055.25/137.78	v -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223
1055.25/137.78	v -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231
1055.25/137.78	v -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239
1055.25/137.78	v -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247
1055.25/137.78	v -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255
1055.25/137.78	v -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263
1055.25/137.78	v -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271
1055.25/137.78	v -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279
1055.25/137.78	v -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287
1055.25/137.78	v -4288 -4289 -4290 -4291 4292 -4293 -4294 -4295
1055.25/137.78	v -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303
1055.25/137.78	v -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311
1055.25/137.78	v -4312 -4313 4314 -4315 -4316 -4317 -4318 -4319
1055.25/137.78	v -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327
1055.25/137.78	v -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335
1055.25/137.78	v -4336 4337 -4338 -4339 -4340 -4341 -4342 -4343
1055.25/137.78	v -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351
1055.25/137.78	v -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359
1055.25/137.78	v -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367
1055.25/137.78	v -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375
1055.25/137.78	v -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383
1055.25/137.78	v -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391
1055.25/137.78	v -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399
1055.25/137.78	v -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407
1055.25/137.78	v -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415
1055.25/137.78	v -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423
1055.25/137.78	v -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431
1055.25/137.78	v -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439
1055.25/137.78	v -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447
1055.25/137.78	v -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455
1055.25/137.78	v -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463
1055.25/137.78	v -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471
1055.25/137.78	v -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479
1055.25/137.78	v -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487
1055.25/137.78	v -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495
1055.25/137.78	v -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503
1055.25/137.78	v -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511
1055.25/137.78	v -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519
1055.25/137.78	v 4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527
1055.25/137.78	v -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535
1055.25/137.78	v -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543
1055.25/137.78	v -4544 -4545 4546 -4547 -4548 -4549 -4550 -4551
1055.25/137.78	v -4552 -4553 -4554 -4555 -4556 -4557 -4558 4559
1055.25/137.78	v 4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567
1055.25/137.78	v -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575
1055.25/137.78	v -4576 -4577 4578 -4579 -4580 -4581 -4582 -4583
1055.25/137.78	v -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591
1055.25/137.78	v -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599
1055.25/137.78	v 4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607
1055.25/137.78	v -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615
1055.25/137.78	v -4616 -4617 -4618 -4619 -4620 -4621 -4622 4623
1055.25/137.78	v -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631
1055.25/137.78	v -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639
1055.25/137.78	v -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647
1055.25/137.78	v -4648 4649 4650 -4651 -4652 -4653 -4654 -4655
1055.25/137.78	v -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663
1055.25/137.78	v -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671
1055.25/137.78	v -4672 -4673 -4674 4675 4676 -4677 -4678 -4679
1055.25/137.78	v -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687
1055.25/137.78	v -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695
1055.25/137.78	v -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703
1055.25/137.78	v -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711
1055.25/137.78	v 4712 4713 -4714 -4715 -4716 -4717 -4718 -4719
1055.25/137.78	v -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727
1055.25/137.78	v -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735
1055.25/137.78	v 4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743
1055.25/137.78	v -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751
1055.25/137.78	v -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759
1055.25/137.78	v -4760 -4761 -4762 -4763 -4764 4765 -4766 -4767
1055.25/137.78	v -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775
1055.25/137.78	v -4776 -4777 -4778 4779 4780 4781 -4782 -4783
1055.25/137.78	v -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791
1055.25/137.78	v -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799
1055.25/137.78	v -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807
1055.25/137.78	v -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815
1055.25/137.78	v -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823
1055.25/137.78	v -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831
1055.25/137.78	v -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839
1055.25/137.78	v -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847
1055.25/137.78	v -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855
1055.25/137.78	v -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863
1055.25/137.78	v -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871
1055.25/137.78	v -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879
1055.25/137.78	v -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887
1055.25/137.78	v -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895
1055.25/137.78	v -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903
1055.25/137.78	v -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911
1055.25/137.78	v -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919
1055.25/137.78	v -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927
1055.25/137.78	v -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935
1055.25/137.78	v -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943
1055.25/137.78	v -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951
1055.25/137.78	v -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959
1055.25/137.78	v -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967
1055.25/137.78	v -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975
1055.25/137.78	v -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983
1055.25/137.78	v -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991
1055.25/137.78	v -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999
1055.25/137.78	v -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007
1055.25/137.78	v -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015
1055.25/137.78	v -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023
1055.25/137.78	v -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031
1055.25/137.78	v -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039
1055.25/137.78	v -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047
1055.25/137.78	v -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055
1055.25/137.78	v -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063
1055.25/137.78	v -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071
1055.25/137.78	v -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079
1055.25/137.78	v -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087
1055.25/137.78	v -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095
1055.25/137.78	v -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103
1055.25/137.78	v -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111
1055.25/137.78	v -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119
1055.25/137.78	v -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127
1055.25/137.78	v -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135
1055.25/137.78	v -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143
1055.25/137.78	v -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151
1055.25/137.78	v -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159
1055.25/137.78	v -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167
1055.25/137.78	v -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175
1055.25/137.78	v -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183
1055.25/137.78	v -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191
1055.25/137.78	v -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199
1055.25/137.78	v -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207
1055.25/137.78	v -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215
1055.25/137.78	v -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223
1055.25/137.78	v -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231
1055.25/137.78	v -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239
1055.25/137.78	v -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247
1055.25/137.78	v -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255
1055.25/137.78	v -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263
1055.25/137.78	v -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271
1055.25/137.78	v -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279
1055.25/137.78	v -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287
1055.25/137.78	v -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295
1055.25/137.78	v -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303
1055.25/137.78	v -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311
1055.25/137.78	v -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319
1055.25/137.78	v -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327
1055.25/137.78	v -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335
1055.25/137.78	v -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343
1055.25/137.78	v -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351
1055.25/137.78	v -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359
1055.25/137.78	v -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367
1055.25/137.78	v -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375
1055.25/137.78	v -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383
1055.25/137.78	v -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391
1055.25/137.78	v -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399
1055.25/137.78	v -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407
1055.25/137.78	v -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415
1055.25/137.78	v -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423
1055.25/137.78	v -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431
1055.25/137.78	v -5432 -5433 -5434 -5435 -5436 -5437 -5438 5439
1055.25/137.78	v -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447
1055.25/137.78	v -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455
1055.25/137.78	v -5456 -5457 -5458 -5459 -5460 -5461 5462 -5463
1055.25/137.78	v -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471
1055.25/137.78	v -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479
1055.25/137.78	v -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487
1055.25/137.78	v -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495
1055.25/137.78	v -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503
1055.25/137.78	v -5504 5505 5506 -5507 -5508 -5509 -5510 -5511
1055.25/137.78	v -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519
1055.25/137.78	v -5520 -5521 -5522 5523 5524 -5525 -5526 -5527
1055.25/137.78	v -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535
1055.25/137.78	v -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543
1055.25/137.78	v -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551
1055.25/137.78	v -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559
1055.25/137.78	v -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567
1055.25/137.78	v -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575
1055.25/137.78	v -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583
1055.25/137.78	v -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591
1055.25/137.78	v -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599
1055.25/137.78	v -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607
1055.25/137.78	v -5608 -5609 -5610 5611 -5612 -5613 -5614 -5615
1055.25/137.78	v -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623
1055.25/137.78	v -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631
1055.25/137.78	v -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639
1055.25/137.78	v -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647
1055.25/137.78	v -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655
1055.25/137.78	v -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663
1055.25/137.78	v -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671
1055.25/137.78	v -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679
1055.25/137.78	v -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687
1055.25/137.78	v -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695
1055.25/137.78	v -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703
1055.25/137.78	v -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711
1055.25/137.78	v -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719
1055.25/137.78	v -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727
1055.25/137.78	v -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735
1055.25/137.78	v -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743
1055.25/137.78	v -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751
1055.25/137.78	v -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759
1055.25/137.78	v -5760 -5761 -5762 -5763 -5764 -5765 -5766 -5767
1055.25/137.78	v -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775
1055.25/137.78	v -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783
1055.25/137.78	v -5784 -5785 -5786 5787 -5788 -5789 -5790 -5791
1055.25/137.78	v -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799
1055.25/137.78	v -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807
1055.25/137.78	v -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815
1055.25/137.78	v -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823
1055.25/137.78	v -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831
1055.25/137.78	v -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839
1055.25/137.78	v -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847
1055.25/137.78	v -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855
1055.25/137.78	v -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863
1055.25/137.78	v -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871
1055.25/137.78	v -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879
1055.25/137.78	v -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887
1055.25/137.78	v -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895
1055.25/137.78	v -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903
1055.25/137.78	v -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911
1055.25/137.78	v -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919
1055.25/137.78	v -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927
1055.25/137.78	v -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935
1055.25/137.78	v -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943
1055.25/137.78	v -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951
1055.25/137.78	v -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959
1055.25/137.78	v -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967
1055.25/137.78	v -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975
1055.25/137.78	v -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983
1055.25/137.78	v -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991
1055.25/137.78	v -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999
1055.25/137.78	v -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007
1055.25/137.78	v -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015
1055.25/137.78	v -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023
1055.25/137.78	v -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031
1055.25/137.78	v -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039
1055.25/137.78	v -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047
1055.25/137.78	v -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055
1055.25/137.78	v -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063
1055.25/137.78	v -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071
1055.25/137.78	v -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079
1055.25/137.78	v -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087
1055.25/137.78	v -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095
1055.25/137.78	v -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103
1055.25/137.78	v -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111
1055.25/137.78	v -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119
1055.25/137.78	v -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127
1055.25/137.78	v -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135
1055.25/137.78	v -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143
1055.25/137.78	v -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151
1055.25/137.78	v -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159
1055.25/137.78	v -6160 -6161 -6162 -6163 -6164 -6165 -6166 6167
1055.25/137.78	v -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175
1055.25/137.78	v -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183
1055.25/137.78	v -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191
1055.25/137.78	v -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199
1055.25/137.78	v -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207
1055.25/137.78	v -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215
1055.25/137.78	v -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223
1055.25/137.78	v -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231
1055.25/137.78	v -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239
1055.25/137.78	v -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247
1055.25/137.78	v -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255
1055.25/137.78	v -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263
1055.25/137.78	v -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271
1055.25/137.78	v -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279
1055.25/137.78	v -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287
1055.25/137.78	v -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295
1055.25/137.78	v -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303
1055.25/137.78	v -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311
1055.25/137.78	v -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319
1055.25/137.78	v -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327
1055.25/137.78	v -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335
1055.25/137.78	v -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343
1055.25/137.78	v -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351
1055.25/137.78	v -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359
1055.25/137.78	v -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367
1055.25/137.78	v -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375
1055.25/137.78	v -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383
1055.25/137.78	v -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391
1055.25/137.78	v -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399
1055.25/137.78	v -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407
1055.25/137.78	v -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415
1055.25/137.78	v -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423
1055.25/137.78	v -6424 -6425 -6426 -6427 -6428 6429 -6430 -6431
1055.25/137.78	v -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439
1055.25/137.78	v -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447
1055.25/137.78	v -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455
1055.25/137.78	v -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463
1055.25/137.78	v -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471
1055.25/137.78	v -6472 -6473 6474 -6475 -6476 -6477 -6478 -6479
1055.25/137.78	v -6480 -6481 -6482 -6483 -6484 -6485 -6486 -6487
1055.25/137.78	v -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495
1055.25/137.78	v -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503
1055.25/137.78	v -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511
1055.25/137.78	v -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519
1055.25/137.78	v -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527
1055.25/137.78	v -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535
1055.25/137.78	v -6536 -6537 -6538 -6539 -6540 -6541 -6542 -6543
1055.25/137.78	v -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551
1055.25/137.78	v -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559
1055.25/137.78	v -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567
1055.25/137.78	v -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575
1055.25/137.78	v -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583
1055.25/137.78	v -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591
1055.25/137.78	v -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599
1055.25/137.78	v -6600 -6601 -6602 -6603 6604 -6605 -6606 -6607
1055.25/137.78	v -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615
1055.25/137.78	v -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623
1055.25/137.78	v -6624 -6625 6626 6627 -6628 -6629 -6630 -6631
1055.25/137.78	v -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639
1055.25/137.78	v -6640 -6641 -6642 -6643 -6644 -6645 -6646 -6647
1055.25/137.78	v -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655
1055.25/137.78	v -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663
1055.25/137.78	v -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671
1055.25/137.78	v -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679
1055.25/137.78	v -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687
1055.25/137.78	v -6688 -6689 -6690 -6691 6692 6693 -6694 -6695
1055.25/137.78	v -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703
1055.25/137.78	v -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711
1055.25/137.78	v -6712 -6713 6714 6715 -6716 -6717 -6718 -6719
1055.25/137.78	v -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727
1055.25/137.78	v -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735
1055.25/137.78	v 6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743
1055.25/137.78	v -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751
1055.25/137.78	v -6752 -6753 -6754 -6755 -6756 -6757 6758 -6759
1055.25/137.78	v -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767
1055.25/137.78	v -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775
1055.25/137.78	v -6776 -6777 -6778 -6779 -6780 6781 -6782 -6783
1055.25/137.78	v -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791
1055.25/137.78	v -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799
1055.25/137.78	v -6800 -6801 6802 6803 -6804 -6805 -6806 -6807
1055.25/137.78	v -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815
1055.25/137.78	v -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823
1055.25/137.78	v 6824 6825 -6826 -6827 -6828 -6829 -6830 -6831
1055.25/137.78	v -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839
1055.25/137.78	v -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847
1055.25/137.78	v -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855
1055.25/137.78	v -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863
1055.25/137.78	v -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871
1055.25/137.78	v -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879
1055.25/137.78	v -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887
1055.25/137.78	v -6888 -6889 -6890 6891 -6892 -6893 -6894 -6895
1055.25/137.78	v -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903
1055.25/137.78	v -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911
1055.25/137.78	v -6912 6913 -6914 -6915 -6916 -6917 -6918 -6919
1055.25/137.78	v -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927
1055.25/137.78	v -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935
1055.25/137.78	v -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943
1055.25/137.78	v -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951
1055.25/137.78	v -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959
1055.25/137.78	v -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967
1055.25/137.78	v -6968 -6969 -6970 -6971 -6972 -6973 -6974 6975
1055.25/137.78	v -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983
1055.25/137.78	v -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991
1055.25/137.78	v -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999
1055.25/137.78	v -7000 -7001 -7002 -7003 -7004 -7005 -7006 -7007
1055.25/137.78	v -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015
1055.25/137.78	v -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023
1055.25/137.78	v -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031
1055.25/137.78	v -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039
1055.25/137.78	v -7040 7041 -7042 -7043 -7044 -7045 -7046 -7047
1055.25/137.78	v -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055
1055.25/137.78	v -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063
1055.25/137.78	v -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071
1055.25/137.78	v -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079
1055.25/137.78	v -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087
1055.25/137.78	v -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095
1055.25/137.78	v -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103
1055.25/137.78	v -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111
1055.25/137.78	v -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119
1055.25/137.78	v -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127
1055.25/137.78	v -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135
1055.25/137.78	v -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143
1055.25/137.78	v -7144 -7145 -7146 -7147 -7148 -7149 -7150 7151
1055.25/137.78	v -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159
1055.25/137.78	v -7160 -7161 -7162 -7163 -7164 -7165 -7166 -7167
1055.25/137.78	v -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175
1055.25/137.78	v -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183
1055.25/137.78	v -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191
1055.25/137.78	v -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199
1055.25/137.78	v -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207
1055.25/137.78	v -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215
1055.25/137.78	v -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223
1055.25/137.78	v -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231
1055.25/137.78	v -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239
1055.25/137.78	v -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247
1055.25/137.78	v -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255
1055.25/137.78	v -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263
1055.25/137.78	v -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271
1055.25/137.78	v -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279
1055.25/137.78	v -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287
1055.25/137.78	v -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295
1055.25/137.78	v -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303
1055.25/137.78	v -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311
1055.25/137.78	v -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319
1055.25/137.78	v -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327
1055.25/137.78	v -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335
1055.25/137.78	v -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343
1055.25/137.78	v -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351
1055.25/137.78	v -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359
1055.25/137.78	v -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367
1055.25/137.78	v -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375
1055.25/137.78	v -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383
1055.25/137.78	v -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391
1055.25/137.78	v -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399
1055.25/137.78	v -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407
1055.25/137.78	v -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415
1055.25/137.78	v 7416 7417 -7418 -7419 -7420 -7421 -7422 -7423
1055.25/137.78	v -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431
1055.25/137.78	v -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439
1055.25/137.78	v -7440 -7441 -7442 -7443 -7444 -7445 -7446 -7447
1055.25/137.78	v -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455
1055.25/137.78	v -7456 -7457 -7458 7459 7460 7461 -7462 -7463
1055.25/137.78	v -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471
1055.25/137.78	v -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479
1055.25/137.78	v -7480 -7481 7482 7483 -7484 -7485 -7486 -7487
1055.25/137.78	v -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495
1055.25/137.78	v -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503
1055.25/137.78	v -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511
1055.25/137.78	v -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519
1055.25/137.78	v -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527
1055.25/137.78	v -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535
1055.25/137.78	v -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543
1055.25/137.78	v -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551
1055.25/137.78	v -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559
1055.25/137.78	v -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567
1055.25/137.78	v -7568 7569 7570 7571 -7572 -7573 -7574 -7575
1055.25/137.78	v -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583
1055.25/137.78	v -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591
1055.25/137.78	v -7592 7593 -7594 -7595 -7596 -7597 -7598 -7599
1055.25/137.78	v -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607
1055.25/137.78	v -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615
1055.25/137.78	v -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623
1055.25/137.78	v -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631
1055.25/137.78	v -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639
1055.25/137.78	v -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647
1055.25/137.78	v -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655
1055.25/137.78	v -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663
1055.25/137.78	v -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671
1055.25/137.78	v -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679
1055.25/137.78	v -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687
1055.25/137.78	v -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695
1055.25/137.78	v -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703
1055.25/137.78	v -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711
1055.25/137.78	v -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719
1055.25/137.78	v -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727
1055.25/137.78	v -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735
1055.25/137.78	v -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743
1055.25/137.78	v -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751
1055.25/137.78	v -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759
1055.25/137.78	v -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767
1055.25/137.78	v -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775
1055.25/137.78	v -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783
1055.25/137.78	v -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791
1055.25/137.78	v -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799
1055.25/137.78	v -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807
1055.25/137.78	v -7808 -7809 -7810 -7811 7812 -7813 -7814 -7815
1055.25/137.78	v -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823
1055.25/137.78	v -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831
1055.25/137.78	v -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839
1055.25/137.78	v -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847
1055.25/137.78	v -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855
1055.25/137.78	v 7856 7857 -7858 -7859 -7860 -7861 -7862 -7863
1055.25/137.78	v -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871
1055.25/137.78	v -7872 -7873 -7874 -7875 -7876 -7877 7878 7879
1055.25/137.78	v -7880 -7881 -7882 -7883 -7884 -7885 -7886 -7887
1055.25/137.78	v -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895
1055.25/137.78	v -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903
1055.25/137.78	v -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911
1055.25/137.78	v -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919
1055.25/137.78	v -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927
1055.25/137.78	v -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935
1055.25/137.78	v -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943
1055.25/137.78	v -7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951
1055.25/137.78	v -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959
1055.25/137.78	v -7960 -7961 -7962 -7963 -7964 -7965 7966 7967
1055.25/137.78	v -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975
1055.25/137.78	v -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983
1055.25/137.78	v -7984 -7985 -7986 -7987 -7988 7989 -7990 -7991
1055.25/137.78	v -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999
1055.25/137.78	v -8000 -8001 -8002 -8003 -8004 -8005 -8006 -8007
1055.25/137.78	v -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015
1055.25/137.78	v -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023
1055.25/137.78	v -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031
1055.25/137.78	v -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039
1055.25/137.78	v -8040 -8041 -8042 -8043 -8044 -8045 -8046 -8047
1055.25/137.78	v -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055
1055.25/137.78	v -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063
1055.25/137.78	v -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071
1055.25/137.78	v -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079
1055.25/137.78	v -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087
1055.25/137.78	v -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095
1055.25/137.78	v -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103
1055.25/137.78	v -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111
1055.25/137.78	v -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119
1055.25/137.78	v -8120 -8121 -8122 -8123 -8124 -8125 -8126 -8127
1055.25/137.78	v -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135
1055.25/137.78	v -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143
1055.25/137.78	v -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151
1055.25/137.78	v -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159
1055.25/137.78	v -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167
1055.25/137.78	v -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175
1055.25/137.78	v -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183
1055.25/137.78	v -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191
1055.25/137.78	v -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199
1055.25/137.78	v -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207
1055.25/137.78	v 8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215
1055.25/137.78	v -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223
1055.25/137.78	v -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231
1055.25/137.78	v -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239
1055.25/137.78	v -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247
1055.25/137.78	v -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255
1055.25/137.78	v -8256 8257 8258 -8259 -8260 -8261 -8262 -8263
1055.25/137.78	v -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271
1055.25/137.78	v -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279
1055.25/137.78	v 8280 8281 -8282 -8283 -8284 -8285 -8286 -8287
1055.25/137.78	v -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295
1055.25/137.78	v -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303
1055.25/137.78	v -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311
1055.25/137.78	v -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319
1055.25/137.78	v -8320 -8321 -8322 8323 8324 8325 -8326 -8327
1055.25/137.78	v -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335
1055.25/137.78	v -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343
1055.25/137.78	v -8344 8345 8346 8347 -8348 -8349 -8350 -8351
1055.25/137.78	v -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359
1055.25/137.78	v -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367
1055.25/137.78	v -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375
1055.25/137.78	v -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383
1055.25/137.78	v -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391
1055.25/137.78	v -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399
1055.25/137.78	v -8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407
1055.25/137.78	v -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415
1055.25/137.78	v -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423
1055.25/137.78	v -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431
1055.25/137.78	v -8432 8433 -8434 -8435 -8436 -8437 -8438 -8439
1055.25/137.78	v -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447
1055.25/137.78	v -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455
1055.25/137.78	v -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463
1055.25/137.78	v -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471
1055.25/137.78	v -8472 -8473 -8474 -8475 -8476 -8477 -8478 8479
1055.25/137.78	v -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487
1055.25/137.78	v -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495
1055.25/137.78	v -8496 -8497 -8498 8499 8500 8501 -8502 -8503
1055.25/137.78	v -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511
1055.25/137.78	v -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519
1055.25/137.78	v -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527
1055.25/137.78	v -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535
1055.25/137.78	v -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543
1055.25/137.78	v -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551
1055.25/137.78	v -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559
1055.25/137.78	v -8560 -8561 -8562 -8563 -8564 -8565 -8566 8567
1055.25/137.78	v -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575
1055.25/137.78	v -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583
1055.25/137.78	v -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591
1055.25/137.78	v -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599
1055.25/137.78	v -8600 -8601 -8602 -8603 8604 8605 8606 -8607
1055.25/137.78	v -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615
1055.25/137.78	v -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623
1055.25/137.78	v -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631
1055.25/137.78	v -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639
1055.25/137.78	v -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647
1055.25/137.78	v -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655
1055.25/137.78	v -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663
1055.25/137.78	v -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671
1055.25/137.78	v 8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679
1055.25/137.78	v -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687
1055.25/137.78	v -8688 -8689 -8690 8691 8692 8693 8694 -8695
1055.25/137.78	v -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703
1055.25/137.78	v -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711
1055.25/137.78	v -8712 -8713 -8714 8715 8716 -8717 -8718 -8719
1055.25/137.78	v -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727
1055.25/137.78	v -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735
1055.25/137.78	v -8736 -8737 8738 -8739 -8740 -8741 -8742 -8743
1055.25/137.78	v -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751
1055.25/137.78	v -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759
1055.25/137.78	v -8760 -8761 -8762 -8763 -8764 -8765 -8766 -8767
1055.25/137.78	v -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775
1055.25/137.78	v -8776 -8777 -8778 -8779 -8780 -8781 8782 -8783
1055.25/137.78	v -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791
1055.25/137.78	v -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799
1055.25/137.78	v -8800 -8801 -8802 -8803 8804 -8805 -8806 -8807
1055.25/137.78	v -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815
1055.25/137.78	v -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823
1055.25/137.78	v -8824 -8825 -8826 -8827 -8828 -8829 -8830 -8831
1055.25/137.78	v -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839
1055.25/137.78	v -8840 -8841 -8842 -8843 -8844 -8845 -8846 -8847
1055.25/137.78	v -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855
1055.25/137.78	v -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863
1055.25/137.78	v -8864 -8865 -8866 -8867 -8868 -8869 -8870 -8871
1055.25/137.78	v -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879
1055.25/137.78	v -8880 -8881 -8882 -8883 -8884 -8885 -8886 -8887
1055.25/137.78	v -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895
1055.25/137.78	v -8896 -8897 -8898 -8899 -8900 -8901 -8902 -8903
1055.25/137.78	v -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911
1055.25/137.78	v -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919
1055.25/137.78	v -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927
1055.25/137.78	v -8928 -8929 -8930 -8931 -8932 -8933 8934 -8935
1055.25/137.78	v -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943
1055.25/137.78	v -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951
1055.25/137.78	v -8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959
1055.25/137.78	v -8960 -8961 8962 -8963 -8964 -8965 -8966 -8967
1055.25/137.78	v -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975
1055.25/137.78	v -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983
1055.25/137.78	v -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991
1055.25/137.78	v -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999
1055.25/137.78	v -9000 -9001 9002 9003 9004 9005 9006 -9007
1055.25/137.78	v -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015
1055.25/137.78	v -9016 -9017 -9018 -9019 -9020 -9021 9022 9023
1055.25/137.78	v 9024 9025 9026 9027 9028 -9029 -9030 -9031
1055.25/137.78	v -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039
1055.25/137.78	v -9040 -9041 -9042 -9043 -9044 9045 9046 -9047
1055.25/137.78	v -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055
1055.25/137.78	v -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063
1055.25/137.78	v -9064 -9065 -9066 -9067 9068 -9069 -9070 -9071
1055.25/137.78	v -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079
1055.25/137.78	v -9080 -9081 -9082 -9083 -9084 -9085 -9086 -9087
1055.25/137.78	v -9088 -9089 -9090 9091 -9092 -9093 -9094 -9095
1055.25/137.78	v -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103
1055.25/137.78	v -9104 -9105 -9106 -9107 -9108 -9109 -9110 -9111
1055.25/137.78	v 9112 9113 9114 9115 -9116 -9117 -9118 -9119
1055.25/137.78	v -9120 -9121 -9122 -9123 -9124 -9125 -9126 -9127
1055.25/137.78	v -9128 -9129 -9130 -9131 -9132 -9133 9134 9135
1055.25/137.78	v -9136 -9137 -9138 -9139 -9140 -9141 -9142 -9143
1055.25/137.78	v -9144 -9145 -9146 -9147 -9148 -9149 -9150 -9151
1055.25/137.78	v -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159
1055.25/137.78	v -9160 -9161 -9162 -9163 -9164 -9165 -9166 -9167
1055.25/137.78	v -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175
1055.25/137.78	v -9176 -9177 -9178 -9179 9180 9181 9182 -9183
1055.25/137.78	v -9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191
1055.25/137.78	v -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199
1055.25/137.78	v -9200 9201 9202 -9203 -9204 -9205 -9206 -9207
1055.25/137.78	v -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215
1055.25/137.78	v -9216 -9217 -9218 -9219 -9220 -9221 -9222 9223
1055.25/137.78	v -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231
1055.25/137.78	v -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239
1055.25/137.78	v -9240 -9241 -9242 -9243 -9244 -9245 -9246 -9247
1055.25/137.78	v -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255
1055.25/137.78	v -9256 -9257 -9258 -9259 -9260 -9261 -9262 -9263
1055.25/137.78	v 9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271
1055.25/137.78	v -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279
1055.25/137.78	v -9280 -9281 -9282 -9283 -9284 -9285 -9286 -9287
1055.25/137.78	v -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295
1055.25/137.78	v -9296 -9297 -9298 -9299 -9300 -9301 -9302 -9303
1055.25/137.78	v -9304 -9305 -9306 -9307 -9308 -9309 -9310 -9311
1055.25/137.78	v -9312 -9313 9314 9315 -9316 -9317 -9318 -9319
1055.25/137.78	v -9320 -9321 -9322 -9323 -9324 -9325 -9326 -9327
1055.25/137.78	v -9328 -9329 -9330 -9331 -9332 -9333 -9334 -9335
1055.25/137.78	v 9336 9337 -9338 -9339 -9340 -9341 -9342 -9343
1055.25/137.78	v -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351
1055.25/137.78	v -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359
1055.25/137.78	v -9360 -9361 -9362 -9363 -9364 -9365 -9366 -9367
1055.25/137.78	v -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375
1055.25/137.78	v -9376 -9377 -9378 -9379 -9380 -9381 -9382 -9383
1055.25/137.78	v -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391
1055.25/137.78	v -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399
1055.25/137.78	v -9400 -9401 -9402 -9403 -9404 -9405 -9406 -9407
1055.25/137.78	v -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415
1055.25/137.78	v -9416 -9417 -9418 -9419 -9420 -9421 -9422 -9423
1055.25/137.78	v -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431
1055.25/137.78	v -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439
1055.25/137.78	v -9440 -9441 -9442 -9443 -9444 -9445 -9446 -9447
1055.25/137.78	v -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455
1055.25/137.78	v -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463
1055.25/137.78	v -9464 -9465 -9466 -9467 -9468 9469 -9470 -9471
1055.25/137.78	v -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479
1055.25/137.78	v -9480 -9481 -9482 -9483 -9484 -9485 -9486 -9487
1055.25/137.78	v -9488 -9489 9490 9491 -9492 -9493 -9494 -9495
1055.25/137.78	v -9496 -9497 -9498 -9499 -9500 -9501 -9502 -9503
1055.25/137.78	v -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511
1055.25/137.78	v -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519
1055.25/137.78	v -9520 -9521 -9522 -9523 -9524 -9525 -9526 -9527
1055.25/137.78	v -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535
1055.25/137.78	v -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543
1055.25/137.78	v -9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551
1055.25/137.78	v -9552 -9553 -9554 -9555 -9556 9557 -9558 -9559
1055.25/137.78	v -9560 -9561 -9562 -9563 -9564 -9565 -9566 -9567
1055.25/137.78	v -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575
1055.25/137.78	v -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583
1055.25/137.78	v -9584 -9585 -9586 -9587 -9588 -9589 -9590 -9591
1055.25/137.78	v -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599
1055.25/137.78	v -9600 -9601 -9602 -9603 -9604 -9605 -9606 -9607
1055.25/137.78	v -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615
1055.25/137.78	v -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623
1055.25/137.78	v -9624 -9625 -9626 -9627 -9628 -9629 -9630 -9631
1055.25/137.78	v -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639
1055.25/137.78	v -9640 -9641 -9642 -9643 -9644 -9645 -9646 -9647
1055.25/137.78	v -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655
1055.25/137.78	v -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663
1055.25/137.78	v -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671
1055.25/137.78	v -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679
1055.25/137.78	v -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687
1055.25/137.78	v -9688 -9689 -9690 -9691 -9692 -9693 -9694 -9695
1055.25/137.78	v -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703
1055.25/137.78	v -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711
1055.25/137.78	v -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719
1055.25/137.78	v -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727
1055.25/137.78	v -9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735
1055.25/137.78	v -9736 -9737 -9738 -9739 -9740 -9741 -9742 -9743
1055.25/137.78	v -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751
1055.25/137.78	v -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759
1055.25/137.78	v -9760 -9761 -9762 -9763 -9764 -9765 -9766 -9767
1055.25/137.78	v -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775
1055.25/137.78	v -9776 -9777 9778 -9779 -9780 -9781 -9782 -9783
1055.25/137.78	v -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791
1055.25/137.78	v -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799
1055.25/137.78	v -9800 -9801 -9802 -9803 -9804 -9805 -9806 -9807
1055.25/137.78	v -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815
1055.25/137.78	v -9816 -9817 -9818 -9819 -9820 -9821 -9822 -9823
1055.25/137.78	v -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831
1055.25/137.78	v -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839
1055.25/137.78	v -9840 -9841 -9842 -9843 -9844 -9845 -9846 -9847
1055.25/137.78	v -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855
1055.25/137.78	v -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863
1055.25/137.78	v -9864 -9865 -9866 -9867 -9868 -9869 -9870 -9871
1055.25/137.78	v -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879
1055.25/137.78	v -9880 -9881 9882 9883 9884 9885 9886 9887
1055.25/137.78	v -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895
1055.25/137.78	v -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903
1055.25/137.78	v 9904 -9905 -9906 -9907 -9908 -9909 -9910 -9911
1055.25/137.78	v -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919
1055.25/137.78	v -9920 -9921 -9922 -9923 -9924 -9925 9926 -9927
1055.25/137.78	v -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935
1055.25/137.78	v -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943
1055.25/137.78	v -9944 -9945 -9946 -9947 -9948 9949 -9950 -9951
1055.25/137.78	v -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959
1055.25/137.78	v -9960 -9961 -9962 -9963 -9964 -9965 -9966 -9967
1055.25/137.78	v -9968 -9969 9970 9971 9972 9973 -9974 -9975
1055.25/137.78	v -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983
1055.25/137.78	v -9984 -9985 -9986 -9987 -9988 -9989 -9990 -9991
1055.25/137.78	v 9992 9993 -9994 -9995 -9996 -9997 -9998 -9999
1055.25/137.78	v -10000 -10001 -10002 -10003 -10004 -10005 -10006 -10007
1055.25/137.78	v -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015
1055.25/137.78	v -10016 -10017 -10018 10019 -10020 -10021 -10022 -10023
1055.25/137.78	v -10024 -10025 -10026 -10027 -10028 -10029 -10030 -10031
1055.25/137.78	v -10032 -10033 -10034 -10035 -10036 -10037 10038 10039
1055.25/137.78	v 10040 10041 -10042 -10043 -10044 -10045 -10046 -10047
1055.25/137.78	v -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055
1055.25/137.78	v -10056 -10057 -10058 10059 10060 -10061 -10062 -10063
1055.25/137.78	v -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071
1055.25/137.78	v -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079
1055.25/137.78	v -10080 10081 -10082 -10083 -10084 -10085 -10086 -10087
1055.25/137.78	v -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095
1055.25/137.78	v -10096 -10097 -10098 -10099 -10100 -10101 -10102 -10103
1055.25/137.78	v -10104 -10105 -10106 10107 -10108 -10109 -10110 -10111
1055.25/137.78	v -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119
1055.25/137.78	v -10120 -10121 -10122 -10123 -10124 -10125 -10126 -10127
1055.25/137.78	v -10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135
1055.25/137.78	v -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143
1055.25/137.78	v -10144 10145 10146 -10147 -10148 -10149 -10150 -10151
1055.25/137.78	v -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159
1055.25/137.78	v -10160 -10161 -10162 -10163 -10164 -10165 -10166 -10167
1055.25/137.78	v 10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175
1055.25/137.78	v -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183
1055.25/137.78	v -10184 -10185 -10186 -10187 -10188 -10189 -10190 10191
1055.25/137.78	v -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199
1055.25/137.78	v -10200 -10201 -10202 -10203 -10204 -10205 -10206 -10207
1055.25/137.78	v -10208 -10209 -10210 -10211 10212 10213 10214 10215
1055.25/137.78	v -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223
1055.25/137.78	v -10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231
1055.25/137.78	v -10232 -10233 10234 10235 -10236 -10237 -10238 -10239
1055.25/137.78	v -10240 -10241 -10242 -10243 -10244 -10245 -10246 -10247
1055.25/137.78	v -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255
1055.25/137.78	v -10256 -10257 -10258 -10259 -10260 10261 -10262 -10263
1055.25/137.78	v -10264 -10265 -10266 -10267 -10268 -10269 -10270 -10271
1055.25/137.78	v -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279
1055.25/137.78	v 10280 10281 10282 10283 -10284 -10285 -10286 -10287
1055.25/137.78	v -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295
1055.25/137.78	v -10296 -10297 -10298 -10299 -10300 10301 10302 -10303
1055.25/137.78	v -10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311
1055.25/137.78	v -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319
1055.25/137.78	v -10320 -10321 -10322 10323 -10324 -10325 -10326 -10327
1055.25/137.78	v -10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335
1055.25/137.78	v -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343
1055.25/137.78	v -10344 -10345 -10346 -10347 -10348 10349 -10350 -10351
1055.25/137.78	v -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359
1055.25/137.78	v -10360 -10361 -10362 -10363 10364 -10365 -10366 -10367
1055.25/137.78	v -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375
1055.25/137.78	v -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383
1055.25/137.78	v -10384 -10385 -10386 -10387 10388 -10389 -10390 -10391
1055.25/137.78	v -10392 -10393 -10394 -10395 -10396 -10397 -10398 -10399
1055.25/137.78	v -10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407
1055.25/137.78	v -10408 -10409 -10410 -10411 -10412 -10413 -10414 -10415
1055.25/137.78	v -10416 -10417 -10418 -10419 -10420 -10421 -10422 -10423
1055.25/137.78	v -10424 -10425 -10426 -10427 -10428 -10429 -10430 -10431
1055.25/137.78	v 10432 -10433 -10434 -10435 -10436 -10437 -10438 -10439
1055.25/137.78	v -10440 -10441 -10442 -10443 -10444 -10445 -10446 -10447
1055.25/137.78	v -10448 -10449 -10450 -10451 -10452 -10453 10454 -10455
1055.25/137.78	v -10456 -10457 -10458 -10459 -10460 -10461 -10462 -10463
1055.25/137.78	v -10464 -10465 -10466 -10467 -10468 -10469 -10470 -10471
1055.25/137.78	v -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479
1055.25/137.78	v -10480 -10481 -10482 -10483 -10484 -10485 -10486 -10487
1055.25/137.78	v -10488 -10489 -10490 -10491 -10492 -10493 -10494 -10495
1055.25/137.78	v -10496 -10497 -10498 -10499 -10500 -10501 -10502 -10503
1055.25/137.78	v -10504 -10505 -10506 -10507 -10508 -10509 -10510 -10511
1055.25/137.78	v -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519
1055.25/137.78	v -10520 -10521 -10522 -10523 -10524 -10525 -10526 -10527
1055.25/137.78	v -10528 -10529 -10530 -10531 -10532 -10533 -10534 -10535
1055.25/137.78	v -10536 -10537 -10538 -10539 -10540 -10541 -10542 -10543
1055.25/137.78	v -10544 -10545 -10546 -10547 -10548 -10549 -10550 -10551
1055.25/137.78	v -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559
1055.25/137.78	v -10560 -10561 -10562 -10563 -10564 -10565 -10566 -10567
1055.25/137.78	v -10568 -10569 -10570 -10571 -10572 -10573 -10574 -10575
1055.25/137.78	v -10576 -10577 -10578 -10579 -10580 -10581 -10582 -10583
1055.25/137.78	v -10584 -10585 -10586 -10587 -10588 -10589 -10590 -10591
1055.25/137.78	v -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599
1055.25/137.78	v -10600 -10601 -10602 -10603 -10604 -10605 -10606 -10607
1055.25/137.78	v -10608 -10609 -10610 -10611 -10612 -10613 -10614 -10615
1055.25/137.78	v -10616 -10617 -10618 -10619 -10620 -10621 -10622 -10623
1055.25/137.78	v -10624 -10625 -10626 -10627 -10628 -10629 10630 -10631
1055.25/137.78	v -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639
1055.25/137.78	v -10640 -10641 -10642 -10643 -10644 -10645 -10646 -10647
1055.25/137.78	v -10648 -10649 -10650 -10651 10652 -10653 -10654 -10655
1055.25/137.78	v -10656 -10657 -10658 -10659 -10660 -10661 -10662 -10663
1055.25/137.78	v -10664 -10665 -10666 -10667 -10668 -10669 -10670 -10671
1055.25/137.78	v -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679
1055.25/137.78	v -10680 -10681 -10682 -10683 -10684 -10685 -10686 -10687
1055.25/137.78	v -10688 -10689 -10690 -10691 -10692 -10693 -10694 -10695
1055.25/137.78	v -10696 -10697 -10698 -10699 -10700 -10701 -10702 -10703
1055.25/137.78	v -10704 -10705 -10706 -10707 -10708 -10709 -10710 -10711
1055.25/137.78	v -10712 -10713 -10714 -10715 -10716 -10717 -10718 -10719
1055.25/137.78	v -10720 -10721 -10722 -10723 -10724 -10725 -10726 -10727
1055.25/137.78	v -10728 -10729 -10730 -10731 -10732 -10733 -10734 -10735
1055.25/137.78	v -10736 -10737 -10738 -10739 -10740 -10741 -10742 -10743
1055.25/137.78	v -10744 -10745 -10746 -10747 -10748 -10749 -10750 -10751
1055.25/137.78	v -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759
1055.25/137.78	v -10760 -10761 -10762 -10763 -10764 -10765 -10766 -10767
1055.25/137.78	v -10768 -10769 -10770 -10771 -10772 -10773 -10774 -10775
1055.25/137.78	v -10776 -10777 -10778 -10779 -10780 -10781 -10782 -10783
1055.25/137.78	v -10784 -10785 -10786 -10787 -10788 -10789 -10790 -10791
1055.25/137.78	v -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799
1055.25/137.78	v -10800 -10801 -10802 -10803 -10804 -10805 -10806 10807
1055.25/137.78	v -10808 -10809 -10810 -10811 -10812 -10813 -10814 -10815
1055.25/137.78	v -10816 -10817 -10818 -10819 -10820 -10821 -10822 -10823
1055.25/137.78	v -10824 -10825 -10826 -10827 -10828 10829 -10830 -10831
1055.25/137.78	v -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839
1055.25/137.78	v -10840 -10841 -10842 -10843 -10844 -10845 -10846 -10847
1055.25/137.78	v -10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855
1055.25/137.78	v -10856 -10857 -10858 -10859 -10860 -10861 -10862 -10863
1055.25/137.78	v -10864 -10865 -10866 -10867 -10868 -10869 -10870 -10871
1055.25/137.78	v -10872 -10873 -10874 -10875 -10876 -10877 -10878 -10879
1055.25/137.78	v -10880 -10881 -10882 -10883 -10884 -10885 -10886 -10887
1055.25/137.78	v -10888 -10889 -10890 -10891 -10892 -10893 -10894 10895
1055.25/137.78	v -10896 -10897 -10898 -10899 -10900 -10901 -10902 -10903
1055.25/137.78	v -10904 -10905 -10906 -10907 -10908 -10909 -10910 -10911
1055.25/137.78	v -10912 -10913 -10914 -10915 -10916 10917 -10918 -10919
1055.25/137.78	v -10920 -10921 -10922 -10923 -10924 -10925 -10926 -10927
1055.25/137.78	v -10928 -10929 -10930 -10931 -10932 -10933 -10934 -10935
1055.25/137.78	v -10936 -10937 -10938 -10939 -10940 -10941 -10942 -10943
1055.25/137.78	v -10944 -10945 -10946 -10947 -10948 -10949 -10950 -10951
1055.25/137.78	v -10952 -10953 -10954 -10955 -10956 -10957 -10958 -10959
1055.25/137.78	v -10960 -10961 -10962 -10963 -10964 -10965 -10966 -10967
1055.25/137.78	v -10968 -10969 -10970 -10971 -10972 -10973 -10974 -10975
1055.25/137.78	v -10976 -10977 -10978 -10979 -10980 -10981 10982 10983
1055.25/137.78	v -10984 -10985 -10986 -10987 -10988 -10989 -10990 -10991
1055.25/137.78	v -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999
1055.25/137.78	v -11000 -11001 -11002 -11003 -11004 -11005 -11006 -11007
1055.25/137.78	v -11008 -11009 -11010 -11011 -11012 -11013 -11014 -11015
1055.25/137.78	v -11016 -11017 -11018 -11019 -11020 -11021 -11022 -11023
1055.25/137.78	v -11024 -11025 -11026 -11027 11028 11029 -11030 -11031
1055.25/137.78	v -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039
1055.25/137.78	v -11040 -11041 -11042 -11043 -11044 -11045 -11046 -11047
1055.25/137.78	v -11048 11049 11050 -11051 -11052 -11053 -11054 -11055
1055.25/137.78	v -11056 -11057 -11058 -11059 -11060 -11061 -11062 -11063
1055.25/137.78	v -11064 -11065 -11066 -11067 -11068 -11069 -11070 11071
1055.25/137.78	v -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079
1055.25/137.78	v -11080 -11081 -11082 -11083 -11084 -11085 -11086 -11087
1055.25/137.78	v -11088 -11089 -11090 -11091 -11092 -11093 -11094 -11095
1055.25/137.78	v -11096 -11097 -11098 -11099 -11100 -11101 -11102 -11103
1055.25/137.78	v -11104 -11105 -11106 -11107 -11108 -11109 -11110 -11111
1055.25/137.78	v -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119
1055.25/137.78	v -11120 -11121 -11122 -11123 -11124 -11125 -11126 -11127
1055.25/137.78	v -11128 -11129 -11130 -11131 -11132 -11133 -11134 -11135
1055.25/137.78	v -11136 -11137 -11138 -11139 -11140 -11141 -11142 -11143
1055.25/137.78	v -11144 -11145 -11146 -11147 -11148 -11149 -11150 -11151
1055.25/137.78	v -11152 -11153 -11154 -11155 -11156 -11157 -11158 -11159
1055.25/137.78	v -11160 -11161 -11162 -11163 -11164 -11165 -11166 -11167
1055.25/137.78	v -11168 -11169 -11170 -11171 -11172 -11173 -11174 -11175
1055.25/137.78	v -11176 -11177 -11178 -11179 -11180 11181 -11182 -11183
1055.25/137.78	v -11184 -11185 -11186 -11187 -11188 -11189 -11190 -11191
1055.25/137.78	v -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199
1055.25/137.78	v -11200 -11201 -11202 11203 -11204 -11205 -11206 -11207
1055.25/137.78	v -11208 -11209 -11210 -11211 -11212 -11213 -11214 -11215
1055.25/137.78	v -11216 -11217 -11218 -11219 -11220 -11221 -11222 -11223
1055.25/137.78	v -11224 -11225 -11226 -11227 -11228 -11229 -11230 -11231
1055.25/137.78	v -11232 -11233 -11234 -11235 -11236 -11237 -11238 -11239
1055.25/137.78	v -11240 -11241 -11242 -11243 -11244 -11245 -11246 -11247
1055.25/137.78	v -11248 -11249 -11250 -11251 -11252 -11253 -11254 -11255
1055.25/137.78	v -11256 -11257 -11258 -11259 -11260 -11261 -11262 -11263
1055.25/137.78	v -11264 -11265 -11266 -11267 -11268 -11269 -11270 -11271
1055.25/137.78	v -11272 11273 -11274 -11275 -11276 -11277 -11278 -11279
1055.25/137.78	v -11280 -11281 -11282 -11283 -11284 -11285 -11286 -11287
1055.25/137.78	v -11288 -11289 -11290 -11291 -11292 -11293 -11294 -11295
1055.25/137.78	v -11296 -11297 -11298 -11299 -11300 -11301 -11302 -11303
1055.25/137.78	v -11304 -11305 -11306 -11307 -11308 -11309 -11310 -11311
1055.25/137.78	v -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319
1055.25/137.78	v -11320 -11321 -11322 -11323 -11324 -11325 -11326 -11327
1055.25/137.78	v -11328 -11329 -11330 -11331 -11332 -11333 -11334 -11335
1055.25/137.78	v -11336 -11337 -11338 11339 -11340 -11341 -11342 -11343
1055.25/137.78	v -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351
1055.25/137.78	v -11352 -11353 -11354 -11355 -11356 -11357 -11358 -11359
1055.25/137.78	v -11360 -11361 -11362 -11363 -11364 -11365 -11366 -11367
1055.25/137.78	v -11368 -11369 -11370 -11371 -11372 -11373 -11374 -11375
1055.25/137.78	v -11376 -11377 -11378 -11379 11380 -11381 -11382 -11383
1055.25/137.78	v -11384 -11385 -11386 -11387 -11388 -11389 -11390 -11391
1055.25/137.78	v -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399
1055.25/137.78	v -11400 -11401 -11402 -11403 -11404 -11405 -11406 -11407
1055.25/137.78	v -11408 -11409 -11410 -11411 -11412 -11413 -11414 -11415
1055.25/137.78	v -11416 -11417 -11418 -11419 -11420 -11421 -11422 -11423
1055.25/137.78	v -11424 -11425 -11426 11427 -11428 -11429 -11430 -11431
1055.25/137.78	v -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439
1055.25/137.78	v -11440 -11441 -11442 -11443 -11444 -11445 -11446 -11447
1055.25/137.78	v -11448 -11449 -11450 -11451 -11452 -11453 -11454 -11455
1055.25/137.78	v -11456 -11457 -11458 -11459 -11460 -11461 -11462 -11463
1055.25/137.78	v -11464 -11465 -11466 11467 -11468 -11469 -11470 -11471
1055.25/137.78	v -11472 -11473 -11474 -11475 -11476 -11477 -11478 -11479
1055.25/137.78	v -11480 -11481 -11482 -11483 -11484 -11485 -11486 -11487
1055.25/137.78	v -11488 -11489 -11490 -11491 -11492 -11493 -11494 -11495
1055.25/137.78	v -11496 -11497 -11498 -11499 -11500 -11501 -11502 -11503
1055.25/137.78	v -11504 -11505 -11506 -11507 -11508 -11509 -11510 -11511
1055.25/137.78	v -11512 -11513 -11514 -11515 -11516 -11517 -11518 -11519
1055.25/137.78	v -11520 -11521 -11522 -11523 -11524 -11525 -11526 -11527
1055.25/137.78	v -11528 -11529 -11530 -11531 -11532 -11533 -11534 -11535
1055.25/137.78	v -11536 -11537 -11538 -11539 -11540 -11541 -11542 -11543
1055.25/137.78	v -11544 -11545 -11546 -11547 -11548 -11549 -11550 -11551
1055.25/137.78	v -11552 -11553 -11554 -11555 -11556 -11557 -11558 -11559
1055.25/137.78	v -11560 -11561 -11562 -11563 -11564 -11565 -11566 -11567
1055.25/137.78	v -11568 -11569 -11570 -11571 -11572 -11573 -11574 -11575
1055.25/137.78	v -11576 -11577 -11578 -11579 -11580 -11581 -11582 -11583
1055.25/137.78	v -11584 -11585 -11586 -11587 -11588 -11589 -11590 -11591
1055.25/137.78	v -11592 -11593 -11594 -11595 -11596 -11597 -11598 -11599
1055.25/137.78	v -11600 -11601 -11602 11603 -11604 -11605 -11606 -11607
1055.25/137.78	v -11608 -11609 -11610 -11611 -11612 -11613 -11614 -11615
1055.25/137.78	v -11616 -11617 -11618 -11619 -11620 11621 -11622 -11623
1055.25/137.78	v -11624 -11625 -11626 -11627 -11628 -11629 -11630 -11631
1055.25/137.78	v -11632 -11633 -11634 -11635 -11636 -11637 -11638 11639
1055.25/137.78	v -11640 -11641 -11642 -11643 -11644 -11645 -11646 -11647
1055.25/137.78	v -11648 -11649 -11650 -11651 -11652 -11653 -11654 -11655
1055.25/137.78	v -11656 -11657 -11658 -11659 -11660 -11661 -11662 -11663
1055.25/137.78	v -11664 -11665 -11666 -11667 11668 -11669 -11670 -11671
1055.25/137.78	v -11672 -11673 -11674 -11675 -11676 -11677 -11678 -11679
1055.25/137.78	v -11680 -11681 -11682 -11683 -11684 -11685 11686 -11687
1055.25/137.78	v -11688 -11689 -11690 -11691 -11692 -11693 -11694 -11695
1055.25/137.78	v -11696 -11697 -11698 -11699 -11700 -11701 -11702 -11703
1055.25/137.78	v -11704 -11705 -11706 -11707 11708 -11709 -11710 -11711
1055.25/137.78	v -11712 -11713 -11714 -11715 -11716 -11717 -11718 -11719
1055.25/137.78	v -11720 -11721 -11722 -11723 -11724 -11725 -11726 -11727
1055.25/137.78	v -11728 -11729 -11730 -11731 -11732 -11733 -11734 -11735
1055.25/137.78	v -11736 -11737 11738 -11739 -11740 -11741 -11742 -11743
1055.25/137.78	v -11744 -11745 -11746 -11747 -11748 -11749 11750 -11751
1055.25/137.78	v -11752 -11753 -11754 -11755 -11756 -11757 -11758 -11759
1055.25/137.78	v -11760 -11761 -11762 -11763 -11764 -11765 -11766 -11767
1055.25/137.78	v -11768 -11769 -11770 -11771 11772 -11773 -11774 -11775
1055.25/137.78	v -11776 -11777 -11778 -11779 -11780 -11781 -11782 -11783
1055.25/137.78	v -11784 -11785 -11786 -11787 -11788 -11789 -11790 -11791
1055.25/137.78	v -11792 -11793 -11794 -11795 -11796 -11797 -11798 -11799
1055.25/137.78	v -11800 -11801 11802 -11803 -11804 -11805 -11806 -11807
1055.25/137.78	v -11808 -11809 -11810 -11811 -11812 -11813 -11814 -11815
1055.25/137.78	v -11816 -11817 -11818 -11819 -11820 -11821 -11822 -11823
1055.25/137.78	v -11824 -11825 -11826 -11827 11828 -11829 -11830 -11831
1055.25/137.78	v -11832 -11833 -11834 -11835 -11836 -11837 -11838 -11839
1055.25/137.78	v -11840 11841 -11842 -11843 -11844 -11845 -11846 -11847
1055.25/137.78	v -11848 -11849 -11850 -11851 -11852 -11853 -11854 -11855
1055.25/137.78	v -11856 -11857 -11858 11859 -11860 -11861 -11862 -11863
1055.25/137.78	v -11864 -11865 -11866 -11867 -11868 -11869 -11870 -11871
1055.25/137.78	v -11872 -11873 -11874 -11875 -11876 -11877 -11878 -11879
1055.25/137.78	v -11880 11881 -11882 -11883 -11884 -11885 -11886 -11887
1055.25/137.78	v -11888 -11889 -11890 -11891 -11892 -11893 -11894 -11895
1055.25/137.78	v -11896 -11897 -11898 -11899 -11900 -11901 -11902 -11903
1055.25/137.78	v -11904 11905 -11906 -11907 -11908 -11909 -11910 -11911
1055.25/137.78	v -11912 -11913 -11914 -11915 -11916 -11917 -11918 -11919
1055.25/137.78	v -11920 -11921 -11922 -11923 -11924 -11925 -11926 -11927
1055.25/137.78	v -11928 -11929 -11930 11931 -11932 -11933 -11934 -11935
1055.25/137.78	v -11936 -11937 -11938 -11939 -11940 -11941 -11942 -11943
1055.25/137.78	v -11944 -11945 -11946 -11947 -11948 -11949 -11950 -11951
1055.25/137.78	v -11952 -11953 -11954 -11955 -11956 11957 -11958 -11959
1055.25/137.78	v -11960 -11961 -11962 -11963 -11964 -11965 -11966 -11967
1055.25/137.78	v -11968 11969 -11970 -11971 -11972 -11973 -11974 -11975
1055.25/137.78	v -11976 -11977 -11978 -11979 -11980 -11981 -11982 -11983
1055.25/137.78	v -11984 -11985 -11986 -11987 -11988 -11989 -11990 -11991
1055.25/137.78	v -11992 -11993 11994 -11995 -11996 -11997 -11998 -11999
1055.25/137.78	v -12000 -12001 -12002 -12003 -12004 -12005 -12006 -12007
1055.25/137.78	v -12008 -12009 -12010 -12011 -12012 -12013 -12014 -12015
1055.25/137.78	v -12016 -12017 12018 -12019 -12020 -12021 -12022 -12023
1055.25/137.78	v -12024 -12025 -12026 -12027 -12028 -12029 -12030 -12031
1055.25/137.78	v -12032 -12033 -12034 -12035 -12036 -12037 -12038 -12039
1055.25/137.78	v -12040 -12041 -12042 -12043 -12044 -12045 -12046 12047
1055.25/137.78	v -12048 -12049 -12050 -12051 -12052 -12053 -12054 -12055
1055.25/137.78	v -12056 -12057 -12058 -12059 -12060 12061 -12062 -12063
1055.25/137.78	v -12064 -12065 -12066 -12067 -12068 -12069 -12070 -12071
1055.25/137.78	v -12072 -12073 -12074 -12075 -12076 -12077 -12078 -12079
1055.25/137.78	v -12080 -12081 12082 -12083 -12084 -12085 -12086 -12087
1055.25/137.78	v -12088 -12089 -12090 -12091 -12092 -12093 -12094 -12095
1055.25/137.78	v -12096 -12097 -12098 -12099 -12100 12101 -12102 -12103
1055.25/137.78	v -12104 -12105 -12106 -12107 -12108 -12109 -12110 -12111
1055.25/137.78	v -12112 -12113 -12114 -12115 -12116 -12117 -12118 -12119
1055.25/137.78	v -12120 -12121 -12122 12123 -12124 -12125 -12126 -12127
1055.25/137.78	v -12128 -12129 -12130 -12131 -12132 -12133 -12134 -12135
1055.25/137.78	v -12136 -12137 -12138 -12139 -12140 -12141 -12142 -12143
1055.25/137.78	v -12144 -12145 12146 -12147 -12148 -12149 -12150 -12151
1055.25/137.78	v -12152 -12153 -12154 -12155 -12156 -12157 -12158 -12159
1055.25/137.78	v -12160 -12161 -12162 -12163 -12164 -12165 -12166 -12167
1055.25/137.78	v -12168 -12169 -12170 -12171 -12172 12173 -12174 -12175
1055.25/137.78	v -12176 -12177 -12178 -12179 -12180 -12181 -12182 -12183
1055.25/137.78	v -12184 -12185 -12186 -12187 -12188 12189 -12190 -12191
1055.25/137.78	v -12192 -12193 -12194 -12195 -12196 -12197 -12198 -12199
1055.25/137.78	v -12200 -12201 -12202 -12203 -12204 -12205 -12206 -12207
1055.25/137.78	v -12208 -12209 -12210 -12211 12212 -12213 -12214 -12215
1055.25/137.78	v -12216 -12217 -12218 -12219 -12220 -12221 -12222 -12223
1055.25/137.78	v -12224 -12225 -12226 -12227 -12228 -12229 -12230 -12231
1055.25/137.78	v -12232 -12233 -12234 -12235 -12236 -12237 -12238 -12239
1055.25/137.78	v 12240 -12241 -12242 -12243 -12244 -12245 -12246 -12247
1055.25/137.78	v -12248 -12249 -12250 -12251 -12252 -12253 -12254 -12255
1055.25/137.78	v -12256 -12257 -12258 -12259 -12260 -12261 -12262 -12263
1055.25/137.78	v 12264 -12265 -12266 -12267 -12268 -12269 -12270 -12271
1055.25/137.78	v -12272 -12273 -12274 -12275 -12276 -12277 -12278 -12279
1055.25/137.78	v 12280 -12281 -12282 -12283 -12284 -12285 -12286 -12287
1055.25/137.78	v -12288 -12289 -12290 -12291 -12292 -12293 -12294 -12295
1055.25/137.78	v -12296 -12297 -12298 12299 -12300 -12301 -12302 -12303
1055.25/137.78	v -12304 -12305 -12306 -12307 -12308 -12309 -12310 -12311
1055.25/137.78	v -12312 -12313 -12314 -12315 -12316 -12317 -12318 -12319
1055.25/137.78	v -12320 -12321 -12322 12323 -12324 -12325 -12326 -12327
1055.25/137.78	v -12328 -12329 -12330 -12331 -12332 -12333 -12334 -12335
1055.25/137.78	v -12336 -12337 -12338 -12339 -12340 -12341 -12342 -12343
1055.25/137.78	v -12344 -12345 12346 -12347 -12348 -12349 -12350 -12351
1055.25/137.78	v -12352 -12353 -12354 -12355 -12356 -12357 -12358 -12359
1055.25/137.78	v -12360 -12361 -12362 -12363 -12364 -12365 -12366 -12367
1055.25/137.78	v -12368 12369 -12370 -12371 -12372 -12373 -12374 -12375
1055.25/137.78	v -12376 -12377 -12378 -12379 -12380 -12381 -12382 -12383
1055.25/137.78	v -12384 -12385 -12386 -12387 -12388 -12389 12390 -12391
1055.25/137.78	v -12392 -12393 -12394 -12395 -12396 -12397 -12398 -12399
1055.25/137.78	v -12400 -12401 -12402 -12403 -12404 -12405 -12406 -12407
1055.25/137.78	v -12408 -12409 -12410 -12411 12412 -12413 -12414 -12415
1055.25/137.78	v -12416 -12417 -12418 -12419 -12420 -12421 -12422 -12423
1055.25/137.78	v -12424 -12425 -12426 -12427 -12428 -12429 -12430 -12431
1055.25/137.78	v -12432 -12433 -12434 -12435 -12436 -12437 -12438 12439
1055.25/137.78	v -12440 -12441 -12442 -12443 -12444 -12445 -12446 -12447
1055.25/137.78	v -12448 -12449 -12450 -12451 -12452 -12453 -12454 -12455
1055.25/137.78	v -12456 -12457 12458 -12459 -12460 -12461 -12462 -12463
1055.25/137.78	v -12464 -12465 -12466 -12467 -12468 -12469 -12470 -12471
1055.25/137.78	v -12472 -12473 -12474 -12475 -12476 -12477 -12478 12479
1055.25/137.78	v -12480 -12481 -12482 -12483 -12484 -12485 -12486 -12487
1055.25/137.78	v -12488 -12489 -12490 -12491 -12492 -12493 -12494 -12495
1055.25/137.78	v -12496 -12497 -12498 -12499 -12500 12501 -12502 -12503
1055.25/137.78	v -12504 -12505 -12506 -12507 -12508 -12509 -12510 -12511
1055.25/137.78	v -12512 -12513 -12514 -12515 -12516 -12517 -12518 -12519
1055.25/137.78	v -12520 -12521 -12522 -12523 -12524 -12525 -12526 12527
1055.25/137.78	v -12528 -12529 -12530 -12531 -12532 -12533 -12534 -12535
1055.25/137.78	v -12536 -12537 -12538 -12539 -12540 -12541 12542 -12543
1055.25/137.78	v -12544 -12545 -12546 -12547 -12548 -12549 -12550 -12551
1055.25/137.78	v -12552 -12553 -12554 -12555 -12556 -12557 -12558 -12559
1055.25/137.78	v -12560 -12561 -12562 -12563 -12564 -12565 -12566 -12567
1055.25/137.78	v -12568 -12569 -12570 12571 -12572 -12573 -12574 -12575
1055.25/137.78	v -12576 -12577 -12578 -12579 -12580 -12581 -12582 -12583
1055.25/137.78	v -12584 -12585 -12586 -12587 -12588 -12589 -12590 -12591
1055.25/137.78	v -12592 -12593 -12594 -12595 -12596 12597 -12598 -12599
1055.25/137.78	v -12600 -12601 -12602 -12603 -12604 -12605 -12606 -12607
1055.25/137.78	v -12608 12609 -12610 -12611 -12612 -12613 -12614 -12615
1055.25/137.78	v -12616 -12617 -12618 -12619 -12620 -12621 -12622 -12623
1055.25/137.78	v -12624 -12625 -12626 -12627 -12628 -12629 -12630 -12631
1055.25/137.78	v -12632 -12633 -12634 -12635 -12636 -12637 -12638 12639
1055.25/137.78	v -12640 -12641 -12642 -12643 -12644 -12645 -12646 -12647
1055.25/137.78	v -12648 -12649 -12650 -12651 -12652 -12653 -12654 -12655
1055.25/137.78	v -12656 -12657 -12658 12659 -12660 -12661 -12662 -12663
1055.25/137.78	v -12664 -12665 -12666 -12667 -12668 -12669 -12670 -12671
1055.25/137.78	v -12672 -12673 -12674 -12675 12676 -12677 -12678 -12679
1055.25/137.78	v -12680 -12681 -12682 -12683 -12684 -12685 -12686 -12687
1055.25/137.78	v -12688 -12689 -12690 -12691 -12692 -12693 -12694 -12695
1055.25/137.78	v -12696 -12697 -12698 -12699 -12700 -12701 -12702 -12703
1055.25/137.78	v -12704 -12705 -12706 12707 -12708 -12709 -12710 -12711
1055.25/137.78	v -12712 -12713 -12714 -12715 -12716 -12717 -12718 12719
1055.25/137.78	v -12720 -12721 -12722 -12723 -12724 -12725 -12726 -12727
1055.25/137.78	v -12728 -12729 -12730 -12731 -12732 -12733 -12734 -12735
1055.25/137.78	v -12736 -12737 -12738 -12739 -12740 -12741 -12742 -12743
1055.25/137.78	v -12744 -12745 -12746 -12747 -12748 -12749 -12750 -12751
1055.25/137.78	v 12752 -12753 -12754 -12755 -12756 -12757 -12758 -12759
1055.25/137.78	v -12760 -12761 -12762 -12763 -12764 -12765 -12766 -12767
1055.25/137.78	v -12768 -12769 12770 -12771 -12772 -12773 -12774 -12775
1055.25/137.78	v -12776 -12777 -12778 -12779 -12780 -12781 -12782 -12783
1055.25/137.78	v -12784 -12785 -12786 -12787 -12788 -12789 -12790 -12791
1055.25/137.78	v -12792 -12793 -12794 -12795 12796 -12797 -12798 -12799
1055.25/137.78	v -12800 -12801 -12802 -12803 -12804 -12805 -12806 -12807
1055.25/137.78	v -12808 -12809 12810 -12811 -12812 -12813 -12814 -12815
1055.25/137.78	v -12816 -12817 -12818 -12819 -12820 -12821 -12822 -12823
1055.25/137.78	v -12824 -12825 -12826 -12827 12828 -12829 -12830 -12831
1055.25/137.78	v -12832 -12833 -12834 -12835 -12836 -12837 -12838 -12839
1055.25/137.78	v -12840 -12841 -12842 -12843 -12844 -12845 -12846 -12847
1055.25/137.78	v -12848 -12849 12850 -12851 -12852 -12853 -12854 -12855
1055.25/137.78	v -12856 -12857 -12858 -12859 -12860 -12861 -12862 -12863
1055.25/137.78	v -12864 -12865 -12866 -12867 -12868 -12869 -12870 -12871
1055.25/137.78	v -12872 12873 -12874 -12875 -12876 -12877 -12878 -12879
1055.25/137.78	v -12880 -12881 -12882 -12883 -12884 -12885 -12886 -12887
1055.25/137.78	v -12888 -12889 -12890 -12891 -12892 -12893 -12894 -12895
1055.25/137.78	v -12896 -12897 -12898 -12899 12900 -12901 -12902 -12903
1055.25/137.78	v -12904 -12905 -12906 -12907 -12908 -12909 -12910 -12911
1055.25/137.78	v -12912 -12913 -12914 -12915 -12916 -12917 -12918 -12919
1055.25/137.78	v -12920 -12921 -12922 -12923 -12924 -12925 12926 -12927
1055.25/137.78	v -12928 -12929 -12930 -12931 -12932 -12933 -12934 -12935
1055.25/137.78	v -12936 12937 -12938 -12939 -12940 -12941 -12942 -12943
1055.25/137.78	v -12944 -12945 -12946 -12947 -12948 -12949 -12950 -12951
1055.25/137.78	v -12952 -12953 -12954 -12955 -12956 -12957 -12958 -12959
1055.25/137.78	v -12960 -12961 -12962 12963 -12964 -12965 -12966 -12967
1055.25/137.78	v -12968 -12969 -12970 -12971 -12972 -12973 -12974 -12975
1055.25/137.78	v -12976 -12977 -12978 -12979 -12980 -12981 -12982 -12983
1055.25/137.78	v -12984 -12985 12986 -12987 -12988 -12989 -12990 -12991
1055.25/137.78	v -12992 -12993 -12994 -12995 -12996 -12997 -12998 -12999
1055.25/137.78	v -13000 -13001 -13002 -13003 -13004 -13005 -13006 -13007
1055.25/137.78	v -13008 -13009 -13010 -13011 -13012 -13013 -13014 13015
1055.25/137.78	v -13016 -13017 -13018 -13019 -13020 -13021 -13022 -13023
1055.25/137.78	v -13024 -13025 -13026 -13027 -13028 -13029 -13030 13031
1055.25/137.78	v -13032 -13033 -13034 -13035 -13036 -13037 -13038 -13039
1055.25/137.78	v -13040 -13041 -13042 -13043 -13044 -13045 -13046 -13047
1055.25/137.78	v -13048 -13049 -13050 13051 -13052 -13053 -13054 -13055
1055.25/137.78	v -13056 -13057 -13058 -13059 -13060 -13061 -13062 -13063
1055.25/137.78	v -13064 -13065 -13066 -13067 -13068 13069 -13070 -13071
1055.25/137.78	v -13072 -13073 -13074 -13075 -13076 -13077 -13078 -13079
1055.25/137.78	v -13080 -13081 -13082 -13083 -13084 -13085 -13086 -13087
1055.25/137.78	v -13088 -13089 -13090 -13091 -13092 13093 -13094 -13095
1055.25/137.78	v -13096 -13097 -13098 -13099 -13100 -13101 -13102 -13103
1055.25/137.78	v -13104 -13105 -13106 -13107 -13108 -13109 -13110 -13111
1055.25/137.78	v -13112 -13113 -13114 13115 -13116 -13117 -13118 -13119
1055.25/137.78	v -13120 -13121 -13122 -13123 -13124 -13125 -13126 -13127
1055.25/137.78	v -13128 -13129 -13130 -13131 -13132 -13133 -13134 -13135
1055.25/137.78	v -13136 -13137 -13138 -13139 -13140 -13141 -13142 13143
1055.25/137.78	v -13144 -13145 -13146 -13147 -13148 -13149 -13150 -13151
1055.25/137.78	v -13152 -13153 -13154 -13155 -13156 -13157 -13158 -13159
1055.25/137.78	v 13160 -13161 -13162 -13163 -13164 -13165 -13166 -13167
1055.25/137.78	v -13168 -13169 -13170 -13171 -13172 -13173 -13174 -13175
1055.25/137.78	v -13176 -13177 -13178 -13179 -13180 -13181 -13182 -13183
1055.25/137.78	v -13184 -13185 13186 -13187 -13188 -13189 -13190 -13191
1055.25/137.78	v -13192 -13193 -13194 -13195 -13196 -13197 -13198 -13199
1055.25/137.78	v -13200 -13201 -13202 -13203 -13204 -13205 -13206 -13207
1055.25/137.78	v -13208 13209 -13210 -13211 -13212 -13213 -13214 -13215
1055.25/137.78	v -13216 -13217 -13218 -13219 -13220 -13221 -13222 -13223
1055.25/137.78	v -13224 -13225 -13226 -13227 -13228 -13229 -13230 -13231
1055.25/137.78	v 13232 -13233 -13234 -13235 -13236 -13237 -13238 -13239
1055.25/137.78	v -13240 -13241 -13242 -13243 -13244 -13245 -13246 -13247
1055.25/137.78	v -13248 -13249 -13250 -13251 -13252 13253 -13254 -13255
1055.25/137.78	v -13256 -13257 -13258 -13259 -13260 -13261 -13262 -13263
1055.25/137.78	v -13264 -13265 -13266 -13267 -13268 -13269 -13270 -13271
1055.25/137.78	v -13272 -13273 -13274 13275 -13276 -13277 -13278 -13279
1055.25/137.78	v -13280 -13281 -13282 -13283 -13284 -13285 -13286 -13287
1055.25/137.78	v -13288 -13289 -13290 -13291 13292 -13293 -13294 -13295
1055.25/137.78	v -13296 -13297 -13298 -13299 -13300 -13301 -13302 -13303
1055.25/137.78	v -13304 -13305 -13306 -13307 -13308 -13309 -13310 -13311
1055.25/137.78	v -13312 -13313 13314 -13315 -13316 -13317 -13318 -13319
1055.25/137.78	v -13320 -13321 -13322 -13323 -13324 -13325 -13326 -13327
1055.25/137.78	v -13328 -13329 -13330 -13331 -13332 -13333 -13334 -13335
1055.25/137.78	v -13336 13337 -13338 -13339 -13340 -13341 -13342 -13343
1055.25/137.78	v -13344 -13345 -13346 -13347 -13348 -13349 -13350 -13351
1055.25/137.78	v -13352 -13353 -13354 -13355 -13356 -13357 -13358 -13359
1055.25/137.78	v -13360 13361 -13362 -13363 -13364 -13365 -13366 -13367
1055.25/137.78	v -13368 -13369 -13370 -13371 -13372 -13373 -13374 -13375
1055.25/137.78	v -13376 -13377 -13378 -13379 -13380 13381 -13382 -13383
1055.25/137.78	v -13384 -13385 -13386 -13387 -13388 -13389 -13390 -13391
1055.25/137.78	v -13392 -13393 -13394 -13395 -13396 -13397 -13398 -13399
1055.25/137.78	v -13400 -13401 -13402 -13403 -13404 -13405 -13406 13407
1055.25/137.78	v -13408 -13409 -13410 -13411 -13412 -13413 -13414 -13415
1055.25/137.78	v -13416 -13417 -13418 -13419 -13420 -13421 -13422 -13423
1055.25/137.78	v -13424 -13425 -13426 -13427 -13428 -13429 13430 -13431
1055.25/137.78	v -13432 -13433 -13434 -13435 -13436 -13437 -13438 -13439
1055.25/137.78	v -13440 -13441 -13442 -13443 -13444 -13445 -13446 -13447
1055.25/137.78	v 13448 -13449 -13450 -13451 -13452 -13453 -13454 -13455
1055.25/137.78	v -13456 -13457 -13458 -13459 -13460 -13461 -13462 -13463
1055.25/137.78	v -13464 -13465 -13466 -13467 -13468 13469 -13470 -13471
1055.25/137.78	v -13472 -13473 -13474 -13475 -13476 -13477 -13478 -13479
1055.25/137.78	v -13480 -13481 -13482 -13483 -13484 -13485 -13486 -13487
1055.25/137.78	v -13488 -13489 -13490 -13491 -13492 -13493 -13494 13495
1055.25/137.78	v -13496 -13497 -13498 -13499 -13500 -13501 -13502 -13503
1055.25/137.78	v -13504 -13505 -13506 -13507 -13508 -13509 13510 -13511
1055.25/137.78	v -13512 -13513 -13514 -13515 -13516 -13517 -13518 -13519
1055.25/137.78	v -13520 -13521 -13522 -13523 -13524 -13525 -13526 -13527
1055.25/137.78	v -13528 -13529 -13530 -13531 -13532 -13533 -13534 -13535
1055.25/137.78	v -13536 -13537 -13538 -13539 -13540 -13541 -13542 -13543
1055.25/137.78	v -13544 13545 13546 13547 13548 13549 13550 13551
1055.25/137.78	v 13552 -13553 -13554 -13555 -13556 -13557 -13558 -13559
1055.25/137.78	v -13560 -13561 -13562 13563 13564 13565 13566 13567
1055.25/137.78	v 13568 13569 13570 13571 13572 13573 13574
1055.25/137.78	v 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309912-1304014516/watcher-3309912-1304014516 -o /tmp/evaluation-result-3309912-1304014516/solver-3309912-1304014516 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309912-1304014516.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: 6.44 6.88 6.96 1/170 12643
/proc/meminfo: memFree=12540016/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=10100 CPUtime=0 cores=0-7
/proc/12643/stat : 12643 (plingeling) R 12641 12643 12375 0 -1 4202496 575 1253 0 0 0 0 0 0 23 0 1 0 493868005 10342400 505 33554432000 4194304 4417332 140736998947472 18446744073709551615 212039352439 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12643/statm: 2525 518 147 55 0 411 0

[startup+0.059827 s]
/proc/loadavg: 6.44 6.88 6.96 1/170 12643
/proc/meminfo: memFree=12540016/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=18548 CPUtime=0.05 cores=0-7
/proc/12643/stat : 12643 (plingeling) R 12641 12643 12375 0 -1 4202496 2910 1253 0 0 5 0 0 0 23 0 1 0 493868005 18993152 2660 33554432000 4194304 4417332 140736998947472 18446744073709551615 4320936 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12643/statm: 4637 2660 148 55 0 2523 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18548

[startup+0.100823 s]
/proc/loadavg: 6.44 6.88 6.96 1/170 12643
/proc/meminfo: memFree=12540016/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=22644 CPUtime=0.09 cores=0-7
/proc/12643/stat : 12643 (plingeling) R 12641 12643 12375 0 -1 4202496 3934 1253 0 0 9 0 0 0 23 0 1 0 493868005 23187456 3684 33554432000 4194304 4417332 140736998947472 18446744073709551615 4231327 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12643/statm: 5661 3684 148 55 0 3547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22644

[startup+0.3008 s]
/proc/loadavg: 6.44 6.88 6.96 1/170 12643
/proc/meminfo: memFree=12540016/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=51316 CPUtime=0.29 cores=0-7
/proc/12643/stat : 12643 (plingeling) R 12641 12643 12375 0 -1 4202496 11102 1253 0 0 28 1 0 0 24 0 1 0 493868005 52547584 10852 33554432000 4194304 4417332 140736998947472 18446744073709551615 212039655168 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12643/statm: 12829 10852 148 55 0 10715 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51316

[startup+0.700712 s]
/proc/loadavg: 6.44 6.88 6.96 1/170 12643
/proc/meminfo: memFree=12540016/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=117332 CPUtime=0.69 cores=0-7
/proc/12643/stat : 12643 (plingeling) R 12641 12643 12375 0 -1 4202496 27606 1253 0 0 66 3 0 0 25 0 1 0 493868005 120147968 27356 33554432000 4194304 4417332 140736998947472 18446744073709551615 4259025 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12643/statm: 29333 27356 148 55 0 27219 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 117332

[startup+1.50057 s]
/proc/loadavg: 6.44 6.88 6.96 3/171 12649
/proc/meminfo: memFree=12329960/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=281172 CPUtime=1.49 cores=0-7
/proc/12643/stat : 12643 (plingeling) R 12641 12643 12375 0 -1 4202496 68566 1253 0 0 142 7 0 0 25 0 1 0 493868005 287920128 68316 33554432000 4194304 4417332 140736998947472 18446744073709551615 212039655168 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12643/statm: 70293 68316 148 55 0 68179 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 281172

[startup+3.1003 s]
/proc/loadavg: 6.08 6.80 6.94 2/171 12649
/proc/meminfo: memFree=12136484/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=543316 CPUtime=3.09 cores=0-7
/proc/12643/stat : 12643 (plingeling) R 12641 12643 12375 0 -1 4202496 134102 1253 0 0 293 16 0 0 25 0 1 0 493868005 556355584 133852 33554432000 4194304 4417332 140736998947472 18446744073709551615 212039655168 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/12643/statm: 135829 133852 148 55 0 133715 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 543316

[startup+6.30068 s]
/proc/loadavg: 6.08 6.80 6.94 9/179 12657
/proc/meminfo: memFree=11610692/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1020448 CPUtime=12.88 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 267607 1253 0 0 1255 33 0 0 25 0 9 0 493868005 1044938752 232656 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 255112 232656 173 55 0 252998 0
[pid=12643/tid=12650] ppid=12641 vsize=1020448 CPUtime=0.95 cores=0-7
/proc/12643/task/12650/stat : 12650 (plingeling) R 12641 12643 12375 0 -1 4202560 320 1253 0 0 95 0 0 0 25 0 9 0 493868539 1044938752 232656 33554432000 4194304 4417332 140736998947472 18446744073709551615 4308643 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12643/tid=12651] ppid=12641 vsize=1020448 CPUtime=0.94 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 205 1253 0 0 94 0 0 0 25 0 9 0 493868539 1044938752 232656 33554432000 4194304 4417332 140736998947472 18446744073709551615 4309952 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12652] ppid=12641 vsize=1020448 CPUtime=0.94 cores=0-7
/proc/12643/task/12652/stat : 12652 (plingeling) R 12641 12643 12375 0 -1 4202560 364 1253 0 0 94 0 0 0 25 0 9 0 493868539 1044938752 232656 33554432000 4194304 4417332 140736998947472 18446744073709551615 4310217 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12643/tid=12653] ppid=12641 vsize=1020448 CPUtime=0.94 cores=0-7
/proc/12643/task/12653/stat : 12653 (plingeling) R 12641 12643 12375 0 -1 4202560 194 1253 0 0 94 0 0 0 25 0 9 0 493868539 1044938752 232656 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1020448 CPUtime=0.95 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 329 1253 0 0 95 0 0 0 25 0 9 0 493868539 1044938752 232656 33554432000 4194304 4417332 140736998947472 18446744073709551615 4308347 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12655] ppid=12641 vsize=1020448 CPUtime=0.95 cores=0-7
/proc/12643/task/12655/stat : 12655 (plingeling) R 12641 12643 12375 0 -1 4202560 365 1253 0 0 95 0 0 0 25 0 9 0 493868539 1044938752 232656 33554432000 4194304 4417332 140736998947472 18446744073709551615 4309752 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1020448 CPUtime=0.92 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 319 1253 0 0 92 0 0 0 25 0 9 0 493868540 1044938752 232656 33554432000 4194304 4417332 140736998947472 18446744073709551615 4309920 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12643/tid=12657] ppid=12641 vsize=1020448 CPUtime=0.92 cores=0-7
/proc/12643/task/12657/stat : 12657 (plingeling) R 12641 12643 12375 0 -1 4202560 320 1253 0 0 92 0 0 0 25 0 9 0 493868540 1044938752 232656 33554432000 4194304 4417332 140736998947472 18446744073709551615 4309210 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.88
Current children cumulated vsize (KiB) 1020448

[startup+12.7005 s]
/proc/loadavg: 6.38 6.84 6.95 9/179 12658
/proc/meminfo: memFree=11149188/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1414732 CPUtime=64.05 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 393864 1253 0 0 6337 68 0 0 25 0 9 0 493868005 1448685568 314884 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 353683 314884 181 55 0 351569 0
[pid=12643/tid=12650] ppid=12641 vsize=1414732 CPUtime=7.35 cores=0-7
/proc/12643/task/12650/stat : 12650 (plingeling) R 12641 12643 12375 0 -1 4202560 18258 1253 0 0 729 6 0 0 25 0 9 0 493868539 1448685568 314884 33554432000 4194304 4417332 140736998947472 18446744073709551615 4365807 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12643/tid=12651] ppid=12641 vsize=1414732 CPUtime=7.33 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 18243 1253 0 0 731 2 0 0 25 0 9 0 493868539 1448685568 314884 33554432000 4194304 4417332 140736998947472 18446744073709551615 4331635 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12652] ppid=12641 vsize=1414732 CPUtime=7.3 cores=0-7
/proc/12643/task/12652/stat : 12652 (plingeling) R 12641 12643 12375 0 -1 4202560 17075 1253 0 0 724 6 0 0 25 0 9 0 493868539 1448685568 314884 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366718 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12643/tid=12653] ppid=12641 vsize=1414732 CPUtime=7.33 cores=0-7
/proc/12643/task/12653/stat : 12653 (plingeling) R 12641 12643 12375 0 -1 4202560 2679 1253 0 0 733 0 0 0 25 0 9 0 493868539 1448685568 314884 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1414732 CPUtime=7.34 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 18429 1253 0 0 729 5 0 0 25 0 9 0 493868539 1448685568 314884 33554432000 4194304 4417332 140736998947472 18446744073709551615 4365810 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12655] ppid=12641 vsize=1414732 CPUtime=7.34 cores=0-7
/proc/12643/task/12655/stat : 12655 (plingeling) R 12641 12643 12375 0 -1 4202560 18563 1253 0 0 732 2 0 0 25 0 9 0 493868539 1448685568 314884 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364811 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1414732 CPUtime=7.31 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 17171 1253 0 0 726 5 0 0 25 0 9 0 493868540 1448685568 314884 33554432000 4194304 4417332 140736998947472 18446744073709551615 4254833 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12643/tid=12657] ppid=12641 vsize=1414732 CPUtime=7.32 cores=0-7
/proc/12643/task/12657/stat : 12657 (plingeling) R 12641 12643 12375 0 -1 4202560 18255 1253 0 0 727 5 0 0 25 0 9 0 493868540 1448685568 314884 33554432000 4194304 4417332 140736998947472 18446744073709551615 4331716 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 64.05
Current children cumulated vsize (KiB) 1414732

[startup+25.5013 s]
/proc/loadavg: 6.63 6.88 6.96 9/179 12658
/proc/meminfo: memFree=11588108/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1109860 CPUtime=166.37 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 400113 1253 0 0 16566 71 0 0 25 0 9 0 493868005 1136496640 238666 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 277465 238666 181 55 0 275351 0
[pid=12643/tid=12650] ppid=12641 vsize=1109860 CPUtime=20.15 cores=0-7
/proc/12643/task/12650/stat : 12650 (plingeling) R 12641 12643 12375 0 -1 4202560 18742 1253 0 0 2009 6 0 0 25 0 9 0 493868539 1136496640 238666 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12643/tid=12651] ppid=12641 vsize=1109860 CPUtime=20.14 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 18373 1253 0 0 2011 3 0 0 25 0 9 0 493868539 1136496640 238666 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12652] ppid=12641 vsize=1109860 CPUtime=20.03 cores=0-7
/proc/12643/task/12652/stat : 12652 (plingeling) R 12641 12643 12375 0 -1 4202560 17495 1253 0 0 1997 6 0 0 25 0 9 0 493868539 1136496640 238666 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12643/tid=12653] ppid=12641 vsize=1109860 CPUtime=20.14 cores=0-7
/proc/12643/task/12653/stat : 12653 (plingeling) R 12641 12643 12375 0 -1 4202560 7035 1253 0 0 2013 1 0 0 25 0 9 0 493868539 1136496640 238666 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1109860 CPUtime=20.14 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 18869 1253 0 0 2008 6 0 0 25 0 9 0 493868539 1136496640 238666 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366381 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12655] ppid=12641 vsize=1109860 CPUtime=20.14 cores=0-7
/proc/12643/task/12655/stat : 12655 (plingeling) R 12641 12643 12375 0 -1 4202560 18718 1253 0 0 2012 2 0 0 25 0 9 0 493868539 1136496640 238666 33554432000 4194304 4417332 140736998947472 18446744073709551615 4278260 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1109860 CPUtime=20.12 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 17319 1253 0 0 2006 6 0 0 25 0 9 0 493868540 1136496640 238666 33554432000 4194304 4417332 140736998947472 18446744073709551615 4301953 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12643/tid=12657] ppid=12641 vsize=1109860 CPUtime=20.11 cores=0-7
/proc/12643/task/12657/stat : 12657 (plingeling) R 12641 12643 12375 0 -1 4202560 18371 1253 0 0 2006 5 0 0 25 0 9 0 493868540 1136496640 238666 33554432000 4194304 4417332 140736998947472 18446744073709551615 4235537 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 166.37
Current children cumulated vsize (KiB) 1109860

[startup+51.1007 s]
/proc/loadavg: 7.09 6.97 6.98 9/179 12659
/proc/meminfo: memFree=11539576/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1156924 CPUtime=371.02 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 527379 1253 0 0 37013 89 0 0 25 0 9 0 493868005 1184690176 250432 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 289231 250432 181 55 0 287117 0
[pid=12643/tid=12650] ppid=12641 vsize=1156924 CPUtime=45.75 cores=0-7
/proc/12643/task/12650/stat : 12650 (plingeling) R 12641 12643 12375 0 -1 4202560 36379 1253 0 0 4566 9 0 0 25 0 9 0 493868539 1184690176 250432 33554432000 4194304 4417332 140736998947472 18446744073709551615 4263067 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12643/tid=12651] ppid=12641 vsize=1156924 CPUtime=45.73 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 34907 1253 0 0 4568 5 0 0 25 0 9 0 493868539 1184690176 250432 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12652] ppid=12641 vsize=1156924 CPUtime=45.49 cores=0-7
/proc/12643/task/12652/stat : 12652 (plingeling) R 12641 12643 12375 0 -1 4202560 35577 1253 0 0 4540 9 0 0 25 0 9 0 493868539 1184690176 250432 33554432000 4194304 4417332 140736998947472 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12643/tid=12653] ppid=12641 vsize=1156924 CPUtime=45.74 cores=0-7
/proc/12643/task/12653/stat : 12653 (plingeling) R 12641 12643 12375 0 -1 4202560 10953 1253 0 0 4572 2 0 0 25 0 9 0 493868539 1184690176 250432 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1156924 CPUtime=45.75 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 37086 1253 0 0 4566 9 0 0 25 0 9 0 493868539 1184690176 250432 33554432000 4194304 4417332 140736998947472 18446744073709551615 4365026 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12655] ppid=12641 vsize=1156924 CPUtime=45.74 cores=0-7
/proc/12643/task/12655/stat : 12655 (plingeling) R 12641 12643 12375 0 -1 4202560 37028 1253 0 0 4569 5 0 0 25 0 9 0 493868539 1184690176 250432 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1156924 CPUtime=45.7 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 34276 1253 0 0 4563 7 0 0 25 0 9 0 493868540 1184690176 250432 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12643/tid=12657] ppid=12641 vsize=1156924 CPUtime=45.71 cores=0-7
/proc/12643/task/12657/stat : 12657 (plingeling) R 12641 12643 12375 0 -1 4202560 35982 1253 0 0 4564 7 0 0 25 0 9 0 493868540 1184690176 250432 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 371.02
Current children cumulated vsize (KiB) 1156924

[startup+102.307 s]
/proc/loadavg: 7.67 7.15 7.04 9/179 12660
/proc/meminfo: memFree=11437232/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1259192 CPUtime=780.39 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 875843 1253 0 0 77903 136 0 0 25 0 9 0 493868005 1289412608 275999 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 314798 275999 181 55 0 312684 0
[pid=12643/tid=12650] ppid=12641 vsize=1259192 CPUtime=96.96 cores=0-7
/proc/12643/task/12650/stat : 12650 (plingeling) R 12641 12643 12375 0 -1 4202560 98834 1253 0 0 9679 17 0 0 25 0 9 0 493868539 1289412608 275999 33554432000 4194304 4417332 140736998947472 18446744073709551615 4235708 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12643/tid=12651] ppid=12641 vsize=1259192 CPUtime=96.94 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 51913 1253 0 0 9687 7 0 0 25 0 9 0 493868539 1289412608 275999 33554432000 4194304 4417332 140736998947472 18446744073709551615 4365371 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12652] ppid=12641 vsize=1259192 CPUtime=96.42 cores=0-7
/proc/12643/task/12652/stat : 12652 (plingeling) R 12641 12643 12375 0 -1 4202560 99602 1253 0 0 9623 19 0 0 25 0 9 0 493868539 1289412608 275999 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12643/tid=12653] ppid=12641 vsize=1259192 CPUtime=96.94 cores=0-7
/proc/12643/task/12653/stat : 12653 (plingeling) R 12641 12643 12375 0 -1 4202560 30227 1253 0 0 9691 3 0 0 25 0 9 0 493868539 1289412608 275999 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1259192 CPUtime=96.95 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 88090 1253 0 0 9681 14 0 0 25 0 9 0 493868539 1289412608 275999 33554432000 4194304 4417332 140736998947472 18446744073709551615 4250780 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12655] ppid=12641 vsize=1259192 CPUtime=96.95 cores=0-7
/proc/12643/task/12655/stat : 12655 (plingeling) R 12641 12643 12375 0 -1 4202560 86810 1253 0 0 9684 11 0 0 25 0 9 0 493868539 1289412608 275999 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1259192 CPUtime=96.91 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 83428 1253 0 0 9677 14 0 0 25 0 9 0 493868540 1289412608 275999 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12643/tid=12657] ppid=12641 vsize=1259192 CPUtime=96.91 cores=0-7
/proc/12643/task/12657/stat : 12657 (plingeling) R 12641 12643 12375 0 -1 4202560 71748 1253 0 0 9677 14 0 0 25 0 9 0 493868540 1289412608 275999 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 780.39
Current children cumulated vsize (KiB) 1259192

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

[startup+115.101 s]
/proc/loadavg: 7.80 7.20 7.06 9/179 12660
/proc/meminfo: memFree=11330276/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1299932 CPUtime=882.68 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 938878 1253 0 0 88121 147 0 0 25 0 9 0 493868005 1331130368 286184 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 324983 286184 181 55 0 322869 0
[pid=12643/tid=12650] ppid=12641 vsize=1299932 CPUtime=109.75 cores=0-7
/proc/12643/task/12650/stat : 12650 (plingeling) R 12641 12643 12375 0 -1 4202560 98916 1253 0 0 10958 17 0 0 25 0 9 0 493868539 1331130368 286184 33554432000 4194304 4417332 140736998947472 18446744073709551615 4365999 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12643/tid=12651] ppid=12641 vsize=1299932 CPUtime=109.74 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 68297 1253 0 0 10964 10 0 0 25 0 9 0 493868539 1331130368 286184 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12652] ppid=12641 vsize=1299932 CPUtime=109.15 cores=0-7
/proc/12643/task/12652/stat : 12652 (plingeling) R 12641 12643 12375 0 -1 4202560 99602 1253 0 0 10896 19 0 0 25 0 9 0 493868539 1331130368 286184 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366303 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12643/tid=12653] ppid=12641 vsize=1299932 CPUtime=109.74 cores=0-7
/proc/12643/task/12653/stat : 12653 (plingeling) R 12641 12643 12375 0 -1 4202560 31411 1253 0 0 10970 4 0 0 25 0 9 0 493868539 1331130368 286184 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1299932 CPUtime=109.75 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 104474 1253 0 0 10958 17 0 0 25 0 9 0 493868539 1331130368 286184 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12655] ppid=12641 vsize=1299932 CPUtime=109.75 cores=0-7
/proc/12643/task/12655/stat : 12655 (plingeling) R 12641 12643 12375 0 -1 4202560 87480 1253 0 0 10964 11 0 0 25 0 9 0 493868539 1331130368 286184 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364519 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1299932 CPUtime=109.71 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 83428 1253 0 0 10957 14 0 0 25 0 9 0 493868540 1331130368 286184 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366014 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12643/tid=12657] ppid=12641 vsize=1299932 CPUtime=109.71 cores=0-7
/proc/12643/task/12657/stat : 12657 (plingeling) R 12641 12643 12375 0 -1 4202560 100079 1253 0 0 10951 20 0 0 25 0 9 0 493868540 1331130368 286184 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 882.68
Current children cumulated vsize (KiB) 1299932

[startup+127.901 s]
/proc/loadavg: 7.84 7.23 7.07 9/179 12661
/proc/meminfo: memFree=11361400/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1335668 CPUtime=985 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 961615 1253 0 0 98350 150 0 0 25 0 9 0 493868005 1367724032 295118 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 333917 295118 181 55 0 331803 0
[pid=12643/tid=12650] ppid=12641 vsize=1335668 CPUtime=122.55 cores=0-7
/proc/12643/task/12650/stat : 12650 (plingeling) R 12641 12643 12375 0 -1 4202560 116521 1253 0 0 12236 19 0 0 25 0 9 0 493868539 1367724032 295118 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12643/tid=12651] ppid=12641 vsize=1335668 CPUtime=122.54 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 68297 1253 0 0 12244 10 0 0 25 0 9 0 493868539 1367724032 295118 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12652] ppid=12641 vsize=1335668 CPUtime=121.87 cores=0-7
/proc/12643/task/12652/stat : 12652 (plingeling) R 12641 12643 12375 0 -1 4202560 99602 1253 0 0 12168 19 0 0 25 0 9 0 493868539 1367724032 295118 33554432000 4194304 4417332 140736998947472 18446744073709551615 4236593 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12643/tid=12653] ppid=12641 vsize=1335668 CPUtime=122.53 cores=0-7
/proc/12643/task/12653/stat : 12653 (plingeling) R 12641 12643 12375 0 -1 4202560 34180 1253 0 0 12249 4 0 0 25 0 9 0 493868539 1367724032 295118 33554432000 4194304 4417332 140736998947472 18446744073709551615 4365994 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1335668 CPUtime=122.55 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 105270 1253 0 0 12238 17 0 0 25 0 9 0 493868539 1367724032 295118 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12655] ppid=12641 vsize=1335668 CPUtime=122.54 cores=0-7
/proc/12643/task/12655/stat : 12655 (plingeling) R 12641 12643 12375 0 -1 4202560 88337 1253 0 0 12243 11 0 0 25 0 9 0 493868539 1367724032 295118 33554432000 4194304 4417332 140736998947472 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1335668 CPUtime=122.51 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 84138 1253 0 0 12237 14 0 0 25 0 9 0 493868540 1367724032 295118 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12643/tid=12657] ppid=12641 vsize=1335668 CPUtime=122.51 cores=0-7
/proc/12643/task/12657/stat : 12657 (plingeling) R 12641 12643 12375 0 -1 4202560 100079 1253 0 0 12231 20 0 0 25 0 9 0 493868540 1367724032 295118 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 985
Current children cumulated vsize (KiB) 1335668

[startup+134.301 s]
/proc/loadavg: 7.85 7.25 7.08 9/179 12661
/proc/meminfo: memFree=11357804/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1338632 CPUtime=1036.17 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 982403 1253 0 0 103464 153 0 0 25 0 9 0 493868005 1370759168 295859 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 334658 295859 181 55 0 332544 0
[pid=12643/tid=12650] ppid=12641 vsize=1338632 CPUtime=128.95 cores=0-7
/proc/12643/task/12650/stat : 12650 (plingeling) R 12641 12643 12375 0 -1 4202560 116521 1253 0 0 12876 19 0 0 25 0 9 0 493868539 1370759168 295859 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12643/tid=12651] ppid=12641 vsize=1338632 CPUtime=128.94 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 68297 1253 0 0 12884 10 0 0 25 0 9 0 493868539 1370759168 295859 33554432000 4194304 4417332 140736998947472 18446744073709551615 4358062 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12652] ppid=12641 vsize=1338632 CPUtime=128.24 cores=0-7
/proc/12643/task/12652/stat : 12652 (plingeling) R 12641 12643 12375 0 -1 4202560 99602 1253 0 0 12805 19 0 0 25 0 9 0 493868539 1370759168 295859 33554432000 4194304 4417332 140736998947472 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12643/tid=12653] ppid=12641 vsize=1338632 CPUtime=128.94 cores=0-7
/proc/12643/task/12653/stat : 12653 (plingeling) R 12641 12643 12375 0 -1 4202560 38584 1253 0 0 12889 5 0 0 25 0 9 0 493868539 1370759168 295859 33554432000 4194304 4417332 140736998947472 18446744073709551615 4354132 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1338632 CPUtime=128.95 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 105270 1253 0 0 12878 17 0 0 25 0 9 0 493868539 1370759168 295859 33554432000 4194304 4417332 140736998947472 18446744073709551615 4316282 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12655] ppid=12641 vsize=1338632 CPUtime=128.94 cores=0-7
/proc/12643/task/12655/stat : 12655 (plingeling) R 12641 12643 12375 0 -1 4202560 104721 1253 0 0 12881 13 0 0 25 0 9 0 493868539 1370759168 295859 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1338632 CPUtime=128.91 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 84138 1253 0 0 12877 14 0 0 25 0 9 0 493868540 1370759168 295859 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12643/tid=12657] ppid=12641 vsize=1338632 CPUtime=128.91 cores=0-7
/proc/12643/task/12657/stat : 12657 (plingeling) R 12641 12643 12375 0 -1 4202560 100079 1253 0 0 12871 20 0 0 25 0 9 0 493868540 1370759168 295859 33554432000 4194304 4417332 140736998947472 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1036.17
Current children cumulated vsize (KiB) 1338632

[startup+135.901 s]
/proc/loadavg: 7.85 7.25 7.08 9/179 12661
/proc/meminfo: memFree=11355572/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1414736 CPUtime=1048.96 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 1001429 1253 0 0 104740 156 0 0 25 0 9 0 493868005 1448689664 314885 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 353684 314885 181 55 0 351570 0
[pid=12643/tid=12650] ppid=12641 vsize=1414736 CPUtime=130.55 cores=0-7
/proc/12643/task/12650/stat : 12650 (plingeling) R 12641 12643 12375 0 -1 4202560 116521 1253 0 0 13036 19 0 0 25 0 9 0 493868539 1448689664 314885 33554432000 4194304 4417332 140736998947472 18446744073709551615 4365076 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12643/tid=12651] ppid=12641 vsize=1414736 CPUtime=130.54 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 68297 1253 0 0 13044 10 0 0 25 0 9 0 493868539 1448689664 314885 33554432000 4194304 4417332 140736998947472 18446744073709551615 4346207 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12652] ppid=12641 vsize=1414736 CPUtime=129.83 cores=0-7
/proc/12643/task/12652/stat : 12652 (plingeling) R 12641 12643 12375 0 -1 4202560 99602 1253 0 0 12964 19 0 0 25 0 9 0 493868539 1448689664 314885 33554432000 4194304 4417332 140736998947472 18446744073709551615 4358010 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12643/tid=12653] ppid=12641 vsize=1414736 CPUtime=130.53 cores=0-7
/proc/12643/task/12653/stat : 12653 (plingeling) R 12641 12643 12375 0 -1 4202560 41226 1253 0 0 13048 5 0 0 25 0 9 0 493868539 1448689664 314885 33554432000 4194304 4417332 140736998947472 18446744073709551615 4320947 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1414736 CPUtime=130.55 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 121654 1253 0 0 13036 19 0 0 25 0 9 0 493868539 1448689664 314885 33554432000 4194304 4417332 140736998947472 18446744073709551615 4331635 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12655] ppid=12641 vsize=1414736 CPUtime=130.54 cores=0-7
/proc/12643/task/12655/stat : 12655 (plingeling) R 12641 12643 12375 0 -1 4202560 104721 1253 0 0 13041 13 0 0 25 0 9 0 493868539 1448689664 314885 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1414736 CPUtime=130.51 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 84138 1253 0 0 13037 14 0 0 25 0 9 0 493868540 1448689664 314885 33554432000 4194304 4417332 140736998947472 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12643/tid=12657] ppid=12641 vsize=1414736 CPUtime=130.51 cores=0-7
/proc/12643/task/12657/stat : 12657 (plingeling) R 12641 12643 12375 0 -1 4202560 100079 1253 0 0 13031 20 0 0 25 0 9 0 493868540 1448689664 314885 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1048.96
Current children cumulated vsize (KiB) 1414736

[startup+136.7 s]
/proc/loadavg: 7.85 7.25 7.08 9/179 12661
/proc/meminfo: memFree=11271500/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1490256 CPUtime=1054 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 1020310 1253 0 0 105242 158 0 0 18 0 4 0 493868005 1526022144 333766 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 372564 333766 182 55 0 370450 0
[pid=12643/tid=12651] ppid=12641 vsize=1490256 CPUtime=131.33 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 84681 1253 0 0 13122 11 0 0 25 0 4 0 493868539 1526022144 333766 33554432000 4194304 4417332 140736998947472 18446744073709551615 4260519 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12643/tid=12654] ppid=12641 vsize=1490256 CPUtime=131.35 cores=0-7
/proc/12643/task/12654/stat : 12654 (plingeling) R 12641 12643 12375 0 -1 4202560 121654 1253 0 0 13116 19 0 0 25 0 4 0 493868539 1526022144 333766 33554432000 4194304 4417332 140736998947472 18446744073709551615 4344093 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12643/tid=12656] ppid=12641 vsize=1490256 CPUtime=131.31 cores=0-7
/proc/12643/task/12656/stat : 12656 (plingeling) R 12641 12643 12375 0 -1 4202560 84138 1253 0 0 13117 14 0 0 25 0 4 0 493868540 1526022144 333766 33554432000 4194304 4417332 140736998947472 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1054
Current children cumulated vsize (KiB) 1490256

[startup+137.506 s]
/proc/loadavg: 7.46 7.18 7.06 2/172 12661
/proc/meminfo: memFree=11271432/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1424680 CPUtime=1055.06 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 1020310 1253 0 0 105348 158 0 0 18 0 2 0 493868005 1458872320 317372 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 356170 317372 182 55 0 354056 0
[pid=12643/tid=12651] ppid=12641 vsize=1424680 CPUtime=132.14 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 84681 1253 0 0 13203 11 0 0 25 0 2 0 493868539 1458872320 317372 33554432000 4194304 4417332 140736998947472 18446744073709551615 4260711 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1055.06
Current children cumulated vsize (KiB) 1424680

[startup+137.7 s]
/proc/loadavg: 7.46 7.18 7.06 2/172 12661
/proc/meminfo: memFree=11271432/32951124 swapFree=67111528/67111528
[pid=12643] ppid=12641 vsize=1359144 CPUtime=1055.25 cores=0-7
/proc/12643/stat : 12643 (plingeling) S 12641 12643 12375 0 -1 4202496 1020310 1253 0 0 105367 158 0 0 18 0 2 0 493868005 1391763456 300988 33554432000 4194304 4417332 140736998947472 18446744073709551615 212051458021 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/12643/statm: 339786 300988 182 55 0 337672 0
[pid=12643/tid=12651] ppid=12641 vsize=1359144 CPUtime=132.34 cores=0-7
/proc/12643/task/12651/stat : 12651 (plingeling) R 12641 12643 12375 0 -1 4202560 84681 1253 0 0 13222 12 0 0 25 0 2 0 493868539 1391763456 300988 33554432000 4194304 4417332 140736998947472 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1055.25
Current children cumulated vsize (KiB) 1359144

Child status: 10
Real time (s): 137.782
CPU time (s): 1055.35
CPU user time (s): 1053.7
CPU system time (s): 1.65175
CPU usage (%): 765.954
Max. virtual memory (cumulated for all children) (KiB): 1545804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1053.7
system time used= 1.65175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021578
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= 108
involuntary context switches= 5023

runsolver used 0.251961 second user time and 0.505923 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-28 20:15:17
IDJOB=3309912
IDBENCH=83447
IDSOLVER=1695
FILE ID=node146/3309912-1304014516
RUNJOBID= node146-1304009324-12389
PBS_JOBID= 13168852
Free space on /tmp= 72932 MiB

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

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=142083286

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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:      12540172 kB
Buffers:       2087848 kB
Cached:       17722312 kB
SwapCached:          0 kB
Active:       10169820 kB
Inactive:      9703824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12540172 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           64040 kB
Writeback:           0 kB
AnonPages:       62764 kB
Mapped:          14540 kB
Slab:           472032 kB
PageTables:       4300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   181660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72932 MiB
End job on node146 at 2011-04-28 20:17:35