Trace number 3309004

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
SAT09 reference solver:precosat 236SAT 17.4783 17.4785

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.15582
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309004-1303985844/watcher-3309004-1303985844 -o /tmp/evaluation-result-3309004-1303985844/solver-3309004-1303985844 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309004-1303985844.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.72 2.58 2.94 4/180 16711
/proc/meminfo: memFree=13939276/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=1988 CPUtime=0 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 421 0 0 0 0 0 0 0 20 0 1 0 510185382 2035712 377 33554432000 134512640 135151029 4291167408 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 497 378 64 156 0 340 0

[startup+0.050564 s]
/proc/loadavg: 1.72 2.58 2.94 4/180 16711
/proc/meminfo: memFree=13939276/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=7420 CPUtime=0.04 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 1821 0 0 0 4 0 0 0 20 0 1 0 510185382 7598080 1744 33554432000 134512640 135151029 4291167408 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 1855 1744 65 156 0 1698 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7420

[startup+0.100558 s]
/proc/loadavg: 1.72 2.58 2.94 4/180 16711
/proc/meminfo: memFree=13939276/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=12568 CPUtime=0.09 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 3080 0 0 0 9 0 0 0 20 0 1 0 510185382 12869632 3002 33554432000 134512640 135151029 4291167408 18446744073709551615 134556858 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 3142 3002 80 156 0 2985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12568

[startup+0.300533 s]
/proc/loadavg: 1.72 2.58 2.94 4/180 16711
/proc/meminfo: memFree=13939276/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=16920 CPUtime=0.29 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 4270 0 0 0 29 0 0 0 21 0 1 0 510185382 17326080 4124 33554432000 134512640 135151029 4291167408 18446744073709551615 134575931 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 4230 4124 80 156 0 4073 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16920

[startup+0.700447 s]
/proc/loadavg: 1.72 2.58 2.94 4/180 16711
/proc/meminfo: memFree=13939276/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=16920 CPUtime=0.69 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 4270 0 0 0 69 0 0 0 22 0 1 0 510185382 17326080 4124 33554432000 134512640 135151029 4291167408 18446744073709551615 134552296 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 4230 4124 80 156 0 4073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16920

[startup+1.50033 s]
/proc/loadavg: 1.72 2.58 2.94 5/187 16724
/proc/meminfo: memFree=13798384/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=17844 CPUtime=1.49 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 4493 0 0 0 149 0 0 0 25 0 1 0 510185382 18272256 4347 33554432000 134512640 135151029 4291167408 18446744073709551615 134555060 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 4461 4347 80 156 0 4304 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17844

[startup+3.10106 s]
/proc/loadavg: 1.72 2.58 2.94 5/190 16730
/proc/meminfo: memFree=13717844/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=22168 CPUtime=3.09 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 5899 0 0 0 309 0 0 0 25 0 1 0 510185382 22700032 5395 33554432000 134512640 135151029 4291167408 18446744073709551615 134555122 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 5542 5395 80 156 0 5385 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22168

[startup+6.30046 s]
/proc/loadavg: 1.90 2.60 2.95 5/190 16730
/proc/meminfo: memFree=13579136/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=28296 CPUtime=6.3 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 7840 0 0 0 629 1 0 0 25 0 1 0 510185382 28975104 6976 33554432000 134512640 135151029 4291167408 18446744073709551615 134542732 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 7074 6976 80 156 0 6917 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 28296

[startup+12.7004 s]
/proc/loadavg: 2.07 2.62 2.95 5/190 16731
/proc/meminfo: memFree=13533536/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=38524 CPUtime=12.69 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 10880 0 0 0 1267 2 0 0 25 0 1 0 510185382 39448576 9500 33554432000 134512640 135151029 4291167408 18446744073709551615 134521838 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 9631 9500 80 156 0 9474 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38524

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

[startup+15.9008 s]
/proc/loadavg: 2.23 2.65 2.96 5/190 16731
/proc/meminfo: memFree=13530692/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=44380 CPUtime=15.89 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 12319 0 0 0 1587 2 0 0 25 0 1 0 510185382 45445120 10939 33554432000 134512640 135151029 4291167408 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 11095 10939 80 156 0 10938 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 44380

[startup+16.7006 s]
/proc/loadavg: 2.23 2.65 2.96 5/190 16731
/proc/meminfo: memFree=13524864/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=46212 CPUtime=16.7 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 12878 0 0 0 1667 3 0 0 25 0 1 0 510185382 47321088 11369 33554432000 134512640 135151029 4291167408 18446744073709551615 134521933 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 11553 11369 80 156 0 11396 0
Current children cumulated CPU time (s) 16.7
Current children cumulated vsize (KiB) 46212

[startup+17.1006 s]
/proc/loadavg: 2.23 2.65 2.96 5/190 16731
/proc/meminfo: memFree=13524864/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=46212 CPUtime=17.09 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 13054 0 0 0 1706 3 0 0 25 0 1 0 510185382 47321088 11416 33554432000 134512640 135151029 4291167408 18446744073709551615 134522051 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 11553 11416 80 156 0 11396 0
Current children cumulated CPU time (s) 17.09
Current children cumulated vsize (KiB) 46212

[startup+17.3005 s]
/proc/loadavg: 2.23 2.65 2.96 5/190 16731
/proc/meminfo: memFree=13524864/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=46728 CPUtime=17.29 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 13186 0 0 0 1726 3 0 0 25 0 1 0 510185382 47849472 11548 33554432000 134512640 135151029 4291167408 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 11682 11548 80 156 0 11525 0
Current children cumulated CPU time (s) 17.29
Current children cumulated vsize (KiB) 46728

[startup+17.4005 s]
/proc/loadavg: 2.23 2.65 2.96 5/190 16731
/proc/meminfo: memFree=13524864/32951124 swapFree=67111528/67111528
[pid=16711] ppid=16709 vsize=46728 CPUtime=17.39 cores=0,2
/proc/16711/stat : 16711 (precosat) R 16709 16711 16199 0 -1 4202496 13186 0 0 0 1736 3 0 0 25 0 1 0 510185382 47849472 11548 33554432000 134512640 135151029 4291167408 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/16711/statm: 11682 11548 80 156 0 11525 0
Current children cumulated CPU time (s) 17.39
Current children cumulated vsize (KiB) 46728

Child status: 10
Real time (s): 17.4785
CPU time (s): 17.4783
CPU user time (s): 17.4443
CPU system time (s): 0.033994
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 46728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4443
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13187
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= 3
involuntary context switches= 20

runsolver used 0.035994 second user time and 0.068989 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-28 12:17:24
IDJOB=3309004
IDBENCH=83445
IDSOLVER=1690
FILE ID=node108/3309004-1303985844
RUNJOBID= node108-1303985844-16687
PBS_JOBID= 13168718
Free space on /tmp= 72116 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309004-1303985844/watcher-3309004-1303985844 -o /tmp/evaluation-result-3309004-1303985844/solver-3309004-1303985844 -C 2400 -W 1300 -M 7680  HOME/precosat HOME/instance-3309004-1303985844.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1354110574

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13939796 kB
Buffers:       2290800 kB
Cached:       16065024 kB
SwapCached:          0 kB
Active:       10197152 kB
Inactive:      8234200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13939796 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9048 kB
Writeback:           0 kB
AnonPages:       74404 kB
Mapped:          14492 kB
Slab:           517936 kB
PageTables:       5908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   199672 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72024 MiB
End job on node108 at 2011-04-28 12:17:42