Trace number 3365953

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 39.371 39.3703

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.63553
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3365953-1305320835/watcher-3365953-1305320835 -o /tmp/evaluation-result-3365953-1305320835/solver-3365953-1305320835 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365953-1305320835.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.98 2/250 7281
/proc/meminfo: memFree=15808368/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=2232 CPUtime=0 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 452 0 0 0 0 0 0 0 25 0 1 0 643681421 2285568 409 33554432000 134512640 135151029 4291745680 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 558 410 64 156 0 401 0

[startup+0.035584 s]
/proc/loadavg: 1.92 2.00 1.98 2/250 7281
/proc/meminfo: memFree=15808368/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=5804 CPUtime=0.03 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 1375 0 0 0 3 0 0 0 25 0 1 0 643681421 5943296 1332 33554432000 134512640 135151029 4291745680 18446744073709551615 134579288 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 1451 1332 65 156 0 1294 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5804

[startup+0.100574 s]
/proc/loadavg: 1.92 2.00 1.98 2/250 7281
/proc/meminfo: memFree=15808368/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=13688 CPUtime=0.09 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 3354 0 0 0 9 0 0 0 25 0 1 0 643681421 14016512 3278 33554432000 134512640 135151029 4291745680 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 3422 3278 65 156 0 3265 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13688

[startup+0.30054 s]
/proc/loadavg: 1.92 2.00 1.98 2/250 7281
/proc/meminfo: memFree=15808368/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=29356 CPUtime=0.29 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 7214 0 0 0 29 0 0 0 25 0 1 0 643681421 30060544 6943 33554432000 134512640 135151029 4291745680 18446744073709551615 134521851 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 7339 6943 80 156 0 7182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29356

[startup+0.700461 s]
/proc/loadavg: 1.92 2.00 1.98 2/250 7281
/proc/meminfo: memFree=15808368/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=41792 CPUtime=0.69 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 10140 0 0 0 68 1 0 0 25 0 1 0 643681421 42795008 9869 33554432000 134512640 135151029 4291745680 18446744073709551615 134548061 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 10448 9869 80 156 0 10291 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41792

[startup+1.50032 s]
/proc/loadavg: 1.92 2.00 1.98 3/251 7282
/proc/meminfo: memFree=15769060/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=41792 CPUtime=1.49 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 10140 0 0 0 148 1 0 0 25 0 1 0 643681421 42795008 9869 33554432000 134512640 135151029 4291745680 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 10448 9869 80 156 0 10291 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41792

[startup+3.10103 s]
/proc/loadavg: 1.92 2.00 1.98 3/251 7282
/proc/meminfo: memFree=15768196/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=41792 CPUtime=3.1 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 10416 0 0 0 309 1 0 0 25 0 1 0 643681421 42795008 10145 33554432000 134512640 135151029 4291745680 18446744073709551615 134554823 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 10448 10145 80 156 0 10291 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 41792

[startup+6.30046 s]
/proc/loadavg: 1.93 2.00 1.98 3/251 7282
/proc/meminfo: memFree=15761500/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=45724 CPUtime=6.29 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 12567 0 0 0 628 1 0 0 25 0 1 0 643681421 46821376 11316 33554432000 134512640 135151029 4291745680 18446744073709551615 134520181 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 11431 11316 80 156 0 11274 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45724

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.98 3/251 7282
/proc/meminfo: memFree=15746644/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=63280 CPUtime=12.7 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 16702 0 0 0 1268 2 0 0 25 0 1 0 643681421 64798720 15451 33554432000 134512640 135151029 4291745680 18446744073709551615 134542608 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 15820 15451 80 156 0 15663 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 63280

[startup+25.501 s]
/proc/loadavg: 1.95 2.00 1.98 3/251 7283
/proc/meminfo: memFree=15723712/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=85160 CPUtime=25.49 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 23945 0 0 0 2547 2 0 0 25 0 1 0 643681421 87203840 21080 33554432000 134512640 135151029 4291745680 18446744073709551615 134521880 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 21290 21080 80 156 0 21133 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85160

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

[startup+31.9098 s]
/proc/loadavg: 1.95 2.00 1.98 3/251 7283
/proc/meminfo: memFree=15708448/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=98784 CPUtime=31.9 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 27054 0 0 0 3187 3 0 0 25 0 1 0 643681421 101154816 24189 33554432000 134512640 135151029 4291745680 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 24696 24189 80 156 0 24539 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 98784

[startup+35.1002 s]
/proc/loadavg: 1.96 2.00 1.98 3/251 7283
/proc/meminfo: memFree=15701256/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=105672 CPUtime=35.09 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 28728 0 0 0 3506 3 0 0 25 0 1 0 643681421 108208128 25863 33554432000 134512640 135151029 4291745680 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 26418 25863 80 156 0 26261 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 105672

[startup+36.7009 s]
/proc/loadavg: 1.96 2.00 1.98 3/251 7283
/proc/meminfo: memFree=15700532/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=105876 CPUtime=36.69 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 28935 0 0 0 3666 3 0 0 25 0 1 0 643681421 108417024 26070 33554432000 134512640 135151029 4291745680 18446744073709551615 134554872 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 26469 26070 80 156 0 26312 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 105876

[startup+38.3006 s]
/proc/loadavg: 1.96 2.00 1.98 3/251 7283
/proc/meminfo: memFree=15699168/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=108228 CPUtime=38.29 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 29559 0 0 0 3826 3 0 0 25 0 1 0 643681421 110825472 26694 33554432000 134512640 135151029 4291745680 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 27057 26694 80 156 0 26900 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 108228

[startup+39.1005 s]
/proc/loadavg: 1.96 2.00 1.98 3/251 7283
/proc/meminfo: memFree=15697184/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=110252 CPUtime=39.1 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 30040 0 0 0 3906 4 0 0 25 0 1 0 643681421 112898048 27175 33554432000 134512640 135151029 4291745680 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 27563 27175 80 156 0 27406 0
Current children cumulated CPU time (s) 39.1
Current children cumulated vsize (KiB) 110252

[startup+39.3004 s]
/proc/loadavg: 1.96 2.00 1.98 3/251 7283
/proc/meminfo: memFree=15697184/32951124 swapFree=67056788/67111528
[pid=7281] ppid=7279 vsize=110916 CPUtime=39.29 cores=1,3,5,7
/proc/7281/stat : 7281 (precosat) R 7279 7281 6879 0 -1 4202496 30234 0 0 0 3925 4 0 0 25 0 1 0 643681421 113577984 27369 33554432000 134512640 135151029 4291745680 18446744073709551615 134520448 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/7281/statm: 27729 27369 80 156 0 27572 0
Current children cumulated CPU time (s) 39.29
Current children cumulated vsize (KiB) 110916

Child status: 10
Real time (s): 39.3703
CPU time (s): 39.371
CPU user time (s): 39.324
CPU system time (s): 0.046992
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 110916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.324
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30249
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= 2
involuntary context switches= 37

runsolver used 0.078987 second user time and 0.215967 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-13 23:07:15
IDJOB=3365953
IDBENCH=83443
IDSOLVER=1843
FILE ID=node133/3365953-1305320835
RUNJOBID= node133-1305315243-6898
PBS_JOBID= 13324299
Free space on /tmp= 43084 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365953-1305320835/watcher-3365953-1305320835 -o /tmp/evaluation-result-3365953-1305320835/solver-3365953-1305320835 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365953-1305320835.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=638088924

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15808524 kB
Buffers:        224772 kB
Cached:        8990184 kB
SwapCached:       8724 kB
Active:        8440624 kB
Inactive:      8319476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15808524 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:           11676 kB
Writeback:           0 kB
AnonPages:     7541640 kB
Mapped:          21500 kB
Slab:           296012 kB
PageTables:      23348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19339556 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 43080 MiB
End job on node133 at 2011-05-13 23:07:55