Trace number 1561403

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
CircUs 2009-03-23SAT 948.338 948.575

General information on the benchmark

NameCRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
MD5SUMb7e51ccd3f2fabc77c07fa1f8f28f931
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.41287
Satisfiable
(Un)Satisfiability was proved
Number of variables8713
Number of clauses384843
Sum of the clauses size905633
Maximum clause length81
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2296010
Number of clauses of size 367270
Number of clauses of size 410556
Number of clauses of size 510773
Number of clauses of size over 5234

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1561403-1238765988/watcher-1561403-1238765988 -o /tmp/evaluation-result-1561403-1238765988/solver-1561403-1238765988 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1561403-1238765988.cnf -t 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25223
/proc/meminfo: memFree=1721056/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=4920 CPUtime=0
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 300 0 0 0 0 0 0 0 18 0 1 120000 1149260912 5038080 285 1992294400 134512640 135224549 4294956208 18446744073709551615 134565970 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 1230 287 69 173 0 1055 0

[startup+0.047169 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25223
/proc/meminfo: memFree=1721056/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=7828 CPUtime=0.03
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 1073 0 0 0 3 0 0 0 18 0 1 120000 1149260912 8015872 1025 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 1957 1026 70 173 0 1782 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7828

[startup+0.101173 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25223
/proc/meminfo: memFree=1721056/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=11252 CPUtime=0.09
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 2040 0 0 0 8 1 0 0 18 0 1 120000 1149260912 11522048 1927 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 2813 1928 70 173 0 2638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11252

[startup+0.30119 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25223
/proc/meminfo: memFree=1721056/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=23612 CPUtime=0.29
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 5541 0 0 0 26 3 0 0 19 0 1 120000 1149260912 24178688 5042 1992294400 134512640 135224549 4294956208 18446744073709551615 134749214 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 5903 5042 70 173 0 5728 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23612

[startup+0.701226 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25223
/proc/meminfo: memFree=1721056/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=27304 CPUtime=0.69
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 6619 0 0 0 66 3 0 0 23 0 1 120000 1149260912 27959296 6119 1992294400 134512640 135224549 4294956208 18446744073709551615 134570922 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 6826 6119 73 173 0 6651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27304

[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25224
/proc/meminfo: memFree=1696792/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=27844 CPUtime=1.49
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 6778 0 0 0 146 3 0 0 25 0 1 120000 1149260912 28512256 6278 1992294400 134512640 135224549 4294956208 18446744073709551615 134638403 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 6961 6278 92 173 0 6786 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27844

[startup+3.10244 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25224
/proc/meminfo: memFree=1695640/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=28900 CPUtime=3.09
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 7047 0 0 0 305 4 0 0 25 0 1 120000 1149260912 29593600 6547 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 7225 6547 92 173 0 7050 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28900

[startup+6.30173 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25224
/proc/meminfo: memFree=1694680/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=29164 CPUtime=6.29
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 7118 0 0 0 625 4 0 0 25 0 1 120000 1149260912 29863936 6618 1992294400 134512640 135224549 4294956208 18446744073709551615 134587913 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 7291 6618 92 173 0 7116 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29164

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25224
/proc/meminfo: memFree=1693784/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=30112 CPUtime=12.68
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 7322 0 0 0 1264 4 0 0 25 0 1 120000 1149260912 30834688 6822 1992294400 134512640 135224549 4294956208 18446744073709551615 134638352 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 7528 6822 92 173 0 7353 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30112

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25224
/proc/meminfo: memFree=1691992/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=32052 CPUtime=25.49
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 7796 0 0 0 2543 6 0 0 25 0 1 120000 1149260912 32821248 7296 1992294400 134512640 135224549 4294956208 18446744073709551615 134632717 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 8013 7296 92 173 0 7838 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32052

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25224
/proc/meminfo: memFree=1688728/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=35220 CPUtime=51.08
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 8630 0 0 0 5101 7 0 0 25 0 1 120000 1149260912 36065280 8130 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 8805 8130 92 173 0 8630 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35220

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1683152/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=40512 CPUtime=102.26
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 9928 0 0 0 10218 8 0 0 25 0 1 120000 1149260912 41484288 9428 1992294400 134512640 135224549 4294956208 18446744073709551615 134595266 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 10128 9428 92 173 0 9953 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40512

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1678104/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=45660 CPUtime=162.25
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 11241 0 0 0 16215 10 0 0 25 0 1 120000 1149260912 46755840 10741 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 11415 10741 92 173 0 11240 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45660

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1672088/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=51984 CPUtime=222.24
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 12775 0 0 0 22212 12 0 0 25 0 1 120000 1149260912 53231616 12275 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 12996 12275 92 173 0 12821 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 51984

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1666136/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=57792 CPUtime=282.22
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 14240 0 0 0 28209 13 0 0 25 0 1 120000 1149260912 59179008 13740 1992294400 134512640 135224549 4294956208 18446744073709551615 134585004 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 14448 13740 92 173 0 14273 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 57792

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1661592/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=62412 CPUtime=342.2
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 15385 0 0 0 34206 14 0 0 25 0 1 120000 1149260912 63909888 14885 1992294400 134512640 135224549 4294956208 18446744073709551615 134595304 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 15603 14885 92 173 0 15428 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 62412

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1656088/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=67692 CPUtime=402.19
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 16744 0 0 0 40203 16 0 0 25 0 1 120000 1149260912 69316608 16244 1992294400 134512640 135224549 4294956208 18446744073709551615 134595706 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 16923 16244 92 173 0 16748 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 67692

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1651160/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=72576 CPUtime=462.18
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 17974 0 0 0 46201 17 0 0 25 0 1 120000 1149260912 74317824 17474 1992294400 134512640 135224549 4294956208 18446744073709551615 134638364 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 18144 17474 92 173 0 17969 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 72576

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1644376/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=79820 CPUtime=522.16
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 19802 0 0 0 52197 19 0 0 25 0 1 120000 1149260912 81735680 19173 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 19955 19173 92 173 0 19780 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 79820

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1644376/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=79820 CPUtime=582.14
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 19803 0 0 0 58195 19 0 0 25 0 1 120000 1149260912 81735680 19174 1992294400 134512640 135224549 4294956208 18446744073709551615 134585015 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 19955 19174 92 173 0 19780 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 79820

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1636696/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=87476 CPUtime=642.14
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 21722 0 0 0 64193 21 0 0 25 0 1 120000 1149260912 89575424 21093 1992294400 134512640 135224549 4294956208 18446744073709551615 134595683 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 21869 21093 92 173 0 21694 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 87476

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1633752/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=90644 CPUtime=702.12
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 22518 0 0 0 70190 22 0 0 25 0 1 120000 1149260912 92819456 21889 1992294400 134512640 135224549 4294956208 18446744073709551615 134587860 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 22661 21889 92 173 0 22486 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 90644

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1627672/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=96320 CPUtime=762.1
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 23952 0 0 0 76187 23 0 0 25 0 1 120000 1149260912 98631680 23323 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 24080 23323 92 173 0 23905 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 96320

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25226
/proc/meminfo: memFree=1627672/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=96320 CPUtime=822.09
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 23953 0 0 0 82185 24 0 0 25 0 1 120000 1149260912 98631680 23324 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 24080 23324 92 173 0 23905 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 96320

[startup+882.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 25226
/proc/meminfo: memFree=1616600/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=107288 CPUtime=882.07
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 26707 0 0 0 88181 26 0 0 25 0 1 120000 1149260912 109862912 26078 1992294400 134512640 135224549 4294956208 18446744073709551615 134595709 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 26822 26078 92 173 0 26647 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 107288

[startup+942.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25226
/proc/meminfo: memFree=1616600/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=107288 CPUtime=942.06
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 26708 0 0 0 94180 26 0 0 25 0 1 120000 1149260912 109862912 26079 1992294400 134512640 135224549 4294956208 18446744073709551615 134618758 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 26822 26079 92 173 0 26647 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 107288

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

[startup+943.901 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25226
/proc/meminfo: memFree=1616600/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=107288 CPUtime=943.65
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 26708 0 0 0 94339 26 0 0 25 0 1 120000 1149260912 109862912 26079 1992294400 134512640 135224549 4294956208 18446744073709551615 134585017 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 26822 26079 92 173 0 26647 0
Current children cumulated CPU time (s) 943.65
Current children cumulated vsize (KiB) 107288

[startup+947.105 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25226
/proc/meminfo: memFree=1616600/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=107288 CPUtime=946.86
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 26708 0 0 0 94660 26 0 0 25 0 1 120000 1149260912 109862912 26079 1992294400 134512640 135224549 4294956208 18446744073709551615 134595588 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 26822 26079 92 173 0 26647 0
Current children cumulated CPU time (s) 946.86
Current children cumulated vsize (KiB) 107288

[startup+947.901 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25226
/proc/meminfo: memFree=1616600/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=107288 CPUtime=947.65
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 26708 0 0 0 94739 26 0 0 25 0 1 120000 1149260912 109862912 26079 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 26822 26079 92 173 0 26647 0
Current children cumulated CPU time (s) 947.65
Current children cumulated vsize (KiB) 107288

[startup+948.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25226
/proc/meminfo: memFree=1616600/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=107288 CPUtime=948.05
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 26708 0 0 0 94779 26 0 0 25 0 1 120000 1149260912 109862912 26079 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 26822 26079 92 173 0 26647 0
Current children cumulated CPU time (s) 948.05
Current children cumulated vsize (KiB) 107288

[startup+948.502 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25226
/proc/meminfo: memFree=1616600/2055920 swapFree=4176732/4192956
[pid=25223] ppid=25221 vsize=107288 CPUtime=948.25
/proc/25223/stat : 25223 (CirCUs) R 25221 25223 24499 0 -1 4194304 26711 0 0 0 94799 26 0 0 17 0 1 120000 1149260912 109862912 26081 1992294400 134512640 135224549 4294956208 18446744073709551615 134721349 0 0 4096 8192 0 0 0 17 1 0 0
/proc/25223/statm: 26822 26081 94 173 0 26647 0
Current children cumulated CPU time (s) 948.25
Current children cumulated vsize (KiB) 107288

Child status: 0
Real time (s): 948.575
CPU time (s): 948.338
CPU user time (s): 948.051
CPU system time (s): 0.286956
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 107288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 948.051
system time used= 0.286956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26712
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= 38
involuntary context switches= 1179

runsolver used 0.793879 second user time and 2.14867 second system time

The end

Launcher Data 

Begin job on node51 at 2009-04-03 15:39:49
IDJOB=1561403
IDBENCH=70914
IDSOLVER=544
FILE ID=node51/1561403-1238765988
PBS_JOBID= 9085463
Free space on /tmp= 66536 MiB

SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/APPLICATIONS/edgematching/explicit/em_11_3_4_exp.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561403-1238765988/watcher-1561403-1238765988 -o /tmp/evaluation-result-1561403-1238765988/solver-1561403-1238765988 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/CirCUs HOME/instance-1561403-1238765988.cnf -t 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b7e51ccd3f2fabc77c07fa1f8f28f931
RANDOM SEED=1969825610

node51.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1721472 kB
Buffers:         42372 kB
Cached:         198924 kB
SwapCached:      10236 kB
Active:          87428 kB
Inactive:       165580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1721472 kB
SwapTotal:     4192956 kB
SwapFree:      4176732 kB
Dirty:            6876 kB
Writeback:           0 kB
Mapped:          17384 kB
Slab:            67440 kB
Committed_AS:  3321688 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66536 MiB
End job on node51 at 2009-04-03 15:55:37