Trace number 1561369

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
picosat 913SAT 641.71 641.941

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 

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

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-1561369-1238765701/watcher-1561369-1238765701 -o /tmp/evaluation-result-1561369-1238765701/solver-1561369-1238765701 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1561369-1238765701.cnf 

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.09 3/76 19889
/proc/meminfo: memFree=1786496/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=1340 CPUtime=0
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 245 0 0 0 0 0 0 0 18 0 1 0 1149231206 1372160 230 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 335 230 56 152 0 181 0

[startup+0.036989 s]
/proc/loadavg: 1.00 1.00 1.09 3/76 19889
/proc/meminfo: memFree=1786496/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=2396 CPUtime=0.03
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 488 0 0 0 3 0 0 0 18 0 1 0 1149231206 2453504 473 1992294400 134512640 135137933 4294956224 18446744073709551615 134689438 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 599 473 56 152 0 445 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2396

[startup+0.101998 s]
/proc/loadavg: 1.00 1.00 1.09 3/76 19889
/proc/meminfo: memFree=1786496/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=4376 CPUtime=0.09
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 983 0 0 0 9 0 0 0 18 0 1 0 1149231206 4481024 968 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 1094 968 56 152 0 940 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4376

[startup+0.30103 s]
/proc/loadavg: 1.00 1.00 1.09 3/76 19889
/proc/meminfo: memFree=1786496/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=8496 CPUtime=0.29
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 1991 0 0 0 28 1 0 0 19 0 1 0 1149231206 8699904 1976 1992294400 134512640 135137933 4294956224 18446744073709551615 134548672 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 2124 1976 61 152 0 1970 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8496

[startup+0.701095 s]
/proc/loadavg: 1.00 1.00 1.09 3/76 19889
/proc/meminfo: memFree=1786496/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=9024 CPUtime=0.69
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 2099 0 0 0 68 1 0 0 22 0 1 0 1149231206 9240576 2084 1992294400 134512640 135137933 4294956224 18446744073709551615 134668231 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 2256 2084 69 152 0 2102 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9024

[startup+1.50122 s]
/proc/loadavg: 1.00 1.00 1.09 2/77 19890
/proc/meminfo: memFree=1778104/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=9816 CPUtime=1.49
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 2303 0 0 0 148 1 0 0 25 0 1 0 1149231206 10051584 2288 1992294400 134512640 135137933 4294956224 18446744073709551615 134569813 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 2454 2288 69 152 0 2300 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9816

[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.09 2/77 19890
/proc/meminfo: memFree=1776760/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=11532 CPUtime=3.09
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 2728 0 0 0 307 2 0 0 25 0 1 0 1149231206 11808768 2713 1992294400 134512640 135137933 4294956224 18446744073709551615 134569918 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 2883 2713 69 152 0 2729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11532

[startup+6.303 s]
/proc/loadavg: 1.00 1.00 1.09 2/77 19890
/proc/meminfo: memFree=1773112/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=14832 CPUtime=6.29
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 3563 0 0 0 626 3 0 0 25 0 1 0 1149231206 15187968 3548 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 3708 3548 69 152 0 3554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14832

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.09 2/77 19890
/proc/meminfo: memFree=1766720/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=21296 CPUtime=12.68
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 5140 0 0 0 1264 4 0 0 25 0 1 0 1149231206 21807104 5125 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 5324 5125 69 152 0 5170 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21296

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.09 2/77 19890
/proc/meminfo: memFree=1752384/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=35160 CPUtime=25.49
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 8637 0 0 0 2542 7 0 0 25 0 1 0 1149231206 36003840 8622 1992294400 134512640 135137933 4294956224 18446744073709551615 134548611 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 8790 8622 69 152 0 8636 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35160

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.08 2/77 19890
/proc/meminfo: memFree=1728896/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=58648 CPUtime=51.06
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 14486 0 0 0 5094 12 0 0 25 0 1 0 1149231206 60055552 14471 1992294400 134512640 135137933 4294956224 18446744073709551615 134548941 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 14662 14471 69 152 0 14508 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 58648

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.08 2/77 19890
/proc/meminfo: memFree=1692736/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=94540 CPUtime=102.26
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 23409 0 0 0 10206 20 0 0 25 0 1 0 1149231206 96808960 23394 1992294400 134512640 135137933 4294956224 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 23635 23394 69 152 0 23481 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 94540

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/77 19890
/proc/meminfo: memFree=1648832/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=138220 CPUtime=162.22
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 34347 0 0 0 16194 28 0 0 25 0 1 0 1149231206 141537280 34321 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 34555 34321 69 152 0 34401 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 138220

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/77 19890
/proc/meminfo: memFree=1648768/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=138220 CPUtime=222.2
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 34347 0 0 0 22192 28 0 0 25 0 1 0 1149231206 141537280 34321 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 34555 34321 69 152 0 34401 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 138220

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/77 19892
/proc/meminfo: memFree=1648640/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=138220 CPUtime=282.18
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 34348 0 0 0 28190 28 0 0 25 0 1 0 1149231206 141537280 34322 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 34555 34322 69 152 0 34401 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 138220

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.06 2/77 19892
/proc/meminfo: memFree=1616896/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=170296 CPUtime=342.17
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 42398 0 0 0 34182 35 0 0 25 0 1 0 1149231206 174383104 42372 1992294400 134512640 135137933 4294956224 18446744073709551615 134552163 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 42574 42372 69 152 0 42420 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 170296

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.05 2/77 19892
/proc/meminfo: memFree=1596544/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=191748 CPUtime=402.14
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 47323 0 0 0 40175 39 0 0 25 0 1 0 1149231206 196349952 47297 1992294400 134512640 135137933 4294956224 18446744073709551615 134548930 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 47937 47297 69 152 0 47783 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 191748

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/77 19892
/proc/meminfo: memFree=1596544/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=191748 CPUtime=462.12
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 47323 0 0 0 46173 39 0 0 25 0 1 0 1149231206 196349952 47297 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 47937 47297 69 152 0 47783 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 191748

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/77 19892
/proc/meminfo: memFree=1596480/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=191748 CPUtime=522.1
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 47323 0 0 0 52171 39 0 0 25 0 1 0 1149231206 196349952 47297 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 47937 47297 69 152 0 47783 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 191748

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/77 19892
/proc/meminfo: memFree=1596416/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=191748 CPUtime=582.08
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 47333 0 0 0 58169 39 0 0 25 0 1 0 1149231206 196349952 47307 1992294400 134512640 135137933 4294956224 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 47937 47307 69 152 0 47783 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 191748

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

[startup+614.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/77 19892
/proc/meminfo: memFree=1585152/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=202860 CPUtime=614.08
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 50140 0 0 0 61367 41 0 0 25 0 1 0 1149231206 207728640 50114 1992294400 134512640 135137933 4294956224 18446744073709551615 134553601 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 50715 50114 69 152 0 50561 0
Current children cumulated CPU time (s) 614.08
Current children cumulated vsize (KiB) 202860

[startup+627.102 s]
/proc/loadavg: 1.00 1.00 1.03 2/77 19892
/proc/meminfo: memFree=1585152/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=202860 CPUtime=626.87
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 50140 0 0 0 62646 41 0 0 25 0 1 0 1149231206 207728640 50114 1992294400 134512640 135137933 4294956224 18446744073709551615 134553601 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 50715 50114 69 152 0 50561 0
Current children cumulated CPU time (s) 626.87
Current children cumulated vsize (KiB) 202860

[startup+633.502 s]
/proc/loadavg: 1.00 1.00 1.03 2/77 19892
/proc/meminfo: memFree=1585152/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=202860 CPUtime=633.27
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 50140 0 0 0 63286 41 0 0 25 0 1 0 1149231206 207728640 50114 1992294400 134512640 135137933 4294956224 18446744073709551615 134548913 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 50715 50114 69 152 0 50561 0
Current children cumulated CPU time (s) 633.27
Current children cumulated vsize (KiB) 202860

[startup+636.701 s]
/proc/loadavg: 1.00 1.00 1.03 2/77 19892
/proc/meminfo: memFree=1585152/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=202860 CPUtime=636.47
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 50140 0 0 0 63606 41 0 0 25 0 1 0 1149231206 207728640 50114 1992294400 134512640 135137933 4294956224 18446744073709551615 134548890 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 50715 50114 69 152 0 50561 0
Current children cumulated CPU time (s) 636.47
Current children cumulated vsize (KiB) 202860

[startup+639.902 s]
/proc/loadavg: 1.00 1.00 1.03 2/77 19892
/proc/meminfo: memFree=1585152/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=202860 CPUtime=639.67
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 50140 0 0 0 63926 41 0 0 25 0 1 0 1149231206 207728640 50114 1992294400 134512640 135137933 4294956224 18446744073709551615 134567473 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 50715 50114 69 152 0 50561 0
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (KiB) 202860

[startup+640.702 s]
/proc/loadavg: 1.00 1.00 1.03 2/77 19892
/proc/meminfo: memFree=1585152/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=202860 CPUtime=640.47
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 50140 0 0 0 64006 41 0 0 25 0 1 0 1149231206 207728640 50114 1992294400 134512640 135137933 4294956224 18446744073709551615 134548901 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 50715 50114 69 152 0 50561 0
Current children cumulated CPU time (s) 640.47
Current children cumulated vsize (KiB) 202860

[startup+641.502 s]
/proc/loadavg: 1.00 1.00 1.03 2/77 19892
/proc/meminfo: memFree=1585152/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=202860 CPUtime=641.27
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 50140 0 0 0 64086 41 0 0 25 0 1 0 1149231206 207728640 50114 1992294400 134512640 135137933 4294956224 18446744073709551615 134548828 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 50715 50114 69 152 0 50561 0
Current children cumulated CPU time (s) 641.27
Current children cumulated vsize (KiB) 202860

[startup+641.902 s]
/proc/loadavg: 1.00 1.00 1.03 2/77 19892
/proc/meminfo: memFree=1585152/2055920 swapFree=4173572/4192956
[pid=19889] ppid=19887 vsize=202120 CPUtime=641.66
/proc/19889/stat : 19889 (picosat) R 19887 19889 18977 0 -1 4194304 50140 0 0 0 64125 41 0 0 17 0 1 0 1149231206 206970880 49949 1992294400 134512640 135137933 4294956224 18446744073709551615 134662680 0 0 4096 0 0 0 0 17 1 0 0
/proc/19889/statm: 50530 49949 69 152 0 50376 0
Current children cumulated CPU time (s) 641.66
Current children cumulated vsize (KiB) 202120

Child status: 10
Real time (s): 641.941
CPU time (s): 641.71
CPU user time (s): 641.264
CPU system time (s): 0.446932
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 202860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 641.264
system time used= 0.446932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50142
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= 34
involuntary context switches= 987

runsolver used 0.598908 second user time and 1.75473 second system time

The end

Launcher Data 

Begin job on node69 at 2009-04-03 15:35:01
IDJOB=1561369
IDBENCH=70914
IDSOLVER=506
FILE ID=node69/1561369-1238765701
PBS_JOBID= 9085501
Free space on /tmp= 66492 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT09/APPLICATIONS/edgematching/explicit/em_11_3_4_exp.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1561369-1238765701/watcher-1561369-1238765701 -o /tmp/evaluation-result-1561369-1238765701/solver-1561369-1238765701 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1561369-1238765701.cnf

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

MD5SUM BENCH= b7e51ccd3f2fabc77c07fa1f8f28f931
RANDOM SEED=668617700

node69.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.261
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	: 5931.00
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.261
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:       1786976 kB
Buffers:         25164 kB
Cached:         165192 kB
SwapCached:      10108 kB
Active:          51088 kB
Inactive:       151248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786976 kB
SwapTotal:     4192956 kB
SwapFree:      4173572 kB
Dirty:            6516 kB
Writeback:           0 kB
Mapped:          17704 kB
Slab:            51300 kB
Committed_AS:  3594936 kB
PageTables:       2364 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= 66492 MiB
End job on node69 at 2009-04-03 15:45:43