Trace number 4489618

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 NameAnswerobjective functionCPU timeWall clock time
OR-Tools CP-SAT 9.14SAT (TO)249 3600.06 1815.22

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUM37dc22c6a12cddf588c55f8d6ee6d8c2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark240
Best CPU time to get the best result obtained on this benchmark3586.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 492823
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 492823
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

5.18/5.20	o 6654
5.38/5.30	o 6568
5.78/5.54	o 6290
6.38/5.80	o 5078
6.78/6.08	o 4060
7.37/6.33	o 3881
7.77/6.59	o 3607
7.97/6.62	o 3601
8.37/6.88	o 3510
8.77/7.07	o 3327
8.77/7.07	o 3242
9.15/7.27	o 3174
9.56/7.43	o 3150
10.36/7.87	o 3047
10.76/8.04	o 2953
10.76/8.05	o 2853
11.15/8.29	o 2788
11.55/8.45	o 2717
11.55/8.45	o 2424
11.55/8.46	o 2402
11.55/8.48	o 2320
11.94/8.65	o 2273
12.14/8.70	o 2199
12.14/8.71	o 2163
12.54/8.95	o 2142
12.54/8.96	o 2133
13.33/9.37	o 2084
13.73/9.57	o 1977
14.13/9.78	o 1931
14.33/9.82	o 1900
14.73/10.04	o 1759
14.93/10.16	o 1665
14.93/10.17	o 1658
15.12/10.21	o 1607
15.12/10.22	o 1540
15.32/10.37	o 328
15.71/10.52	o 327
15.71/10.53	o 320
17.10/11.23	o 319
26.65/16.00	o 315
34.60/20.08	o 307
35.78/20.67	o 269
42.14/23.87	o 265
49.89/27.70	o 264
73.33/39.50	o 263
73.33/39.53	o 262
74.33/40.09	o 256
1748.63/883.04	o 255
1751.00/884.28	o 253
1751.80/884.62	o 252
2317.09/1169.36	o 250
2456.53/1239.51	o 249
3600.02/1815.20	s SATISFIABLE
3600.02/1815.20	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.02/1815.20	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
3600.02/1815.20	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 
3600.02/1815.20	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 
3600.02/1815.20	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 
3600.02/1815.20	v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 
3600.02/1815.20	v -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 
3600.02/1815.20	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 
3600.02/1815.20	v -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 
3600.02/1815.20	v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 
3600.02/1815.20	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 
3600.02/1815.20	v -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 
3600.02/1815.20	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 
3600.02/1815.20	v -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 
3600.02/1815.20	v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 
3600.02/1815.20	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 
3600.02/1815.20	v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 
3600.02/1815.20	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 
3600.02/1815.20	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 
3600.02/1815.20	v -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 
3600.02/1815.20	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 
3600.02/1815.20	v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 
3600.02/1815.20	v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 
3600.02/1815.20	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 
3600.02/1815.20	v -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 
3600.02/1815.20	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 
3600.02/1815.20	v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 
3600.02/1815.20	v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 
3600.02/1815.20	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 
3600.02/1815.20	v -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 
3600.02/1815.20	v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 
3600.02/1815.20	v -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 
3600.02/1815.20	v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 
3600.02/1815.20	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 
3600.02/1815.20	v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 
3600.02/1815.20	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 
3600.02/1815.20	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 
3600.02/1815.20	v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 
3600.02/1815.20	v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
3600.02/1815.20	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 
3600.02/1815.20	v -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 
3600.02/1815.20	v -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 
3600.02/1815.20	v -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 
3600.02/1815.20	v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 
3600.02/1815.20	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 
3600.02/1815.20	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 
3600.02/1815.20	v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 
3600.02/1815.20	v -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 
3600.02/1815.20	v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 
3600.02/1815.20	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 
3600.02/1815.20	v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 
3600.02/1815.20	v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 
3600.02/1815.20	v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 
3600.02/1815.20	v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 
3600.02/1815.20	v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 
3600.02/1815.20	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 
3600.02/1815.20	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 
3600.02/1815.20	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 
3600.02/1815.20	v -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 
3600.02/1815.20	v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 
3600.02/1815.20	v -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 
3600.02/1815.20	v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 
3600.02/1815.20	v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 
3600.02/1815.20	v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 
3600.02/1815.20	v -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 
3600.02/1815.20	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 
3600.02/1815.20	v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 
3600.02/1815.20	v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 
3600.02/1815.20	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 
3600.02/1815.20	v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 
3600.02/1815.20	v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 
3600.02/1815.20	v -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 
3600.02/1815.20	v -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 
3600.02/1815.20	v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 
3600.02/1815.20	v -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 
3600.02/1815.20	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 
3600.02/1815.20	v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 
3600.02/1815.20	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 
3600.02/1815.20	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 
3600.02/1815.20	v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 
3600.02/1815.20	v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 
3600.02/1815.20	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 
3600.02/1815.20	v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 
3600.02/1815.20	v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 
3600.02/1815.20	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 
3600.02/1815.20	v -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 
3600.02/1815.20	v x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 
3600.02/1815.20	v -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 
3600.02/1815.20	v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 
3600.02/1815.20	v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 
3600.02/1815.20	v -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 
3600.02/1815.20	v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 
3600.02/1815.20	v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 
3600.02/1815.20	v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 
3600.02/1815.20	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 
3600.02/1815.20	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 
3600.02/1815.20	v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 
3600.02/1815.20	v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 
3600.02/1815.20	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 
3600.02/1815.20	v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 
3600.02/1815.20	v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 
3600.02/1815.20	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 
3600.02/1815.20	v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 
3600.02/1815.20	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 
3600.02/1815.20	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 
3600.02/1815.20	v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 
3600.02/1815.20	v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 
3600.02/1815.20	v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 
3600.02/1815.20	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 
3600.02/1815.20	v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 
3600.02/1815.20	v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 
3600.02/1815.20	v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 
3600.02/1815.20	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 
3600.02/1815.20	v -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 
3600.02/1815.20	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 
3600.02/1815.20	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 
3600.02/1815.20	v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 
3600.02/1815.20	v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 
3600.02/1815.20	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 
3600.02/1815.20	v -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 
3600.02/1815.20	v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 
3600.02/1815.20	v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 
3600.02/1815.20	v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 
3600.02/1815.20	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 
3600.02/1815.20	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 
3600.02/1815.20	v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 
3600.02/1815.20	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 
3600.02/1815.20	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 
3600.02/1815.20	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 
3600.02/1815.20	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 
3600.02/1815.20	v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 
3600.02/1815.20	v -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 
3600.02/1815.20	v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 
3600.02/1815.20	v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 
3600.02/1815.20	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 
3600.02/1815.20	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 
3600.02/1815.20	v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 
3600.02/1815.20	v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 
3600.02/1815.20	v -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 
3600.02/1815.20	v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 
3600.02/1815.20	v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 
3600.02/1815.20	v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 
3600.02/1815.20	v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 
3600.02/1815.20	v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 
3600.02/1815.20	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 
3600.02/1815.20	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 
3600.02/1815.20	v -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 
3600.02/1815.20	v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 
3600.02/1815.20	v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 
3600.02/1815.20	v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 
3600.02/1815.20	v -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 
3600.02/1815.20	v x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 
3600.02/1815.20	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 
3600.02/1815.20	v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 
3600.02/1815.20	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 
3600.02/1815.20	v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 
3600.02/1815.20	v -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 
3600.02/1815.20	v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 
3600.02/1815.20	v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 
3600.02/1815.20	v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 
3600.02/1815.20	v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 
3600.02/1815.20	v -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 
3600.02/1815.20	v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 
3600.02/1815.20	v -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 
3600.02/1815.20	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 
3600.02/1815.20	v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 
3600.02/1815.20	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 
3600.02/1815.20	v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 
3600.02/1815.20	v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 
3600.02/1815.20	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 
3600.02/1815.20	v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 
3600.02/1815.20	v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 
3600.02/1815.20	v -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 
3600.02/1815.20	v -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 
3600.02/1815.20	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 
3600.02/1815.20	v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 
3600.02/1815.20	v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 
3600.02/1815.20	v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 
3600.02/1815.20	v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 
3600.02/1815.20	v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 
3600.02/1815.20	v -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 
3600.02/1815.20	v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 
3600.02/1815.20	v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 
3600.02/1815.20	v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 
3600.02/1815.20	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 
3600.02/1815.20	v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 
3600.02/1815.20	v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 
3600.02/1815.20	v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 
3600.02/1815.20	v -x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 
3600.02/1815.20	v -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 
3600.02/1815.20	v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 
3600.02/1815.20	v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 
3600.02/1815.20	v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 
3600.02/1815.20	v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 
3600.02/1815.20	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 
3600.02/1815.20	v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 
3600.02/1815.20	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 
3600.02/1815.20	v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 
3600.02/1815.20	v -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 
3600.02/1815.20	v -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 
3600.02/1815.20	v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 
3600.02/1815.20	v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 
3600.02/1815.20	v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 
3600.02/1815.20	v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 
3600.02/1815.20	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 
3600.02/1815.20	v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 
3600.02/1815.20	v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 
3600.02/1815.20	v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 
3600.02/1815.20	v -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 
3600.02/1815.20	v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 
3600.02/1815.20	v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 
3600.02/1815.20	v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 
3600.02/1815.20	v -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 
3600.02/1815.20	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 
3600.02/1815.20	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 
3600.02/1815.20	v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 
3600.02/1815.20	v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 
3600.02/1815.20	v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 
3600.02/1815.20	v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 
3600.02/1815.20	v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 
3600.02/1815.20	v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 
3600.02/1815.20	v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 
3600.02/1815.20	v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 
3600.02/1815.20	v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 
3600.02/1815.20	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 
3600.02/1815.20	v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 
3600.02/1815.20	v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 
3600.02/1815.20	v -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 
3600.02/1815.20	v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 
3600.02/1815.20	v x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 
3600.02/1815.20	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 
3600.02/1815.20	v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 
3600.02/1815.20	v -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 
3600.02/1815.20	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 
3600.02/1815.20	v -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 
3600.02/1815.20	v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 
3600.02/1815.20	v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 
3600.02/1815.20	v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 
3600.02/1815.20	v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 
3600.02/1815.20	v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 
3600.02/1815.20	v -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 
3600.02/1815.20	v -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 
3600.02/1815.20	v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 
3600.02/1815.20	v -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 
3600.02/1815.20	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 
3600.02/1815.20	v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 
3600.02/1815.20	v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 
3600.02/1815.20	v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 
3600.02/1815.20	v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 
3600.02/1815.20	v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 
3600.02/1815.20	v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 
3600.02/1815.20	v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 
3600.02/1815.20	v -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 
3600.02/1815.20	v -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 
3600.02/1815.20	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 
3600.02/1815.20	v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 
3600.02/1815.20	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 
3600.02/1815.20	v -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 
3600.02/1815.20	v x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 
3600.02/1815.20	v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 
3600.02/1815.20	v -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 
3600.02/1815.20	v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 
3600.02/1815.20	v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 
3600.02/1815.20	v -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 
3600.02/1815.20	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 
3600.02/1815.20	v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 
3600.02/1815.20	v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 
3600.02/1815.20	v -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 
3600.02/1815.20	v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 
3600.02/1815.20	v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 
3600.02/1815.20	v -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 
3600.02/1815.20	v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 
3600.02/1815.20	v -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 
3600.02/1815.20	v -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 
3600.02/1815.20	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 
3600.02/1815.20	v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 
3600.02/1815.20	v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 
3600.02/1815.20	v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 
3600.02/1815.20	v -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 
3600.02/1815.20	v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 
3600.02/1815.20	v -x3247 -x3248 -x3249 -x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 
3600.02/1815.20	v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 
3600.02/1815.20	v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 
3600.02/1815.20	v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 
3600.02/1815.20	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 
3600.02/1815.20	v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 
3600.02/1815.20	v -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 
3600.02/1815.20	v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 
3600.02/1815.20	v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 
3600.02/1815.20	v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 
3600.02/1815.20	v -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 
3600.02/1815.20	v -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 
3600.02/1815.20	v -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 
3600.02/1815.20	v x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 
3600.02/1815.20	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 
3600.02/1815.20	v -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 
3600.02/1815.20	v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 
3600.02/1815.20	v -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 
3600.02/1815.20	v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 
3600.02/1815.20	v -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 
3600.02/1815.20	v -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 
3600.02/1815.20	v -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 
3600.02/1815.20	v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 
3600.02/1815.20	v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 
3600.02/1815.20	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 
3600.02/1815.20	v -x3522 -x3523 -x3524 x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 
3600.02/1815.20	v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 
3600.02/1815.20	v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 
3600.02/1815.20	v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 
3600.02/1815.20	v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 
3600.02/1815.20	v -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 
3600.02/1815.20	v -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 
3600.02/1815.20	v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 
3600.02/1815.20	v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 
3600.02/1815.20	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 
3600.02/1815.20	v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 
3600.02/1815.20	v -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 
3600.02/1815.20	v -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 
3600.02/1815.20	v -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 
3600.02/1815.20	v -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 
3600.02/1815.20	v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 
3600.02/1815.20	v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 
3600.02/1815.20	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 
3600.02/1815.20	v -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 
3600.02/1815.20	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 
3600.02/1815.20	v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 
3600.02/1815.20	v -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 
3600.02/1815.20	v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 
3600.02/1815.20	v -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 
3600.02/1815.20	v -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 
3600.02/1815.20	v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 
3600.02/1815.20	v -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 
3600.02/1815.20	v -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 
3600.02/1815.20	v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 x3837 -x3838 -x3839 -x3840 
3600.02/1815.20	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 
3600.02/1815.20	v -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 
3600.02/1815.20	v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 
3600.02/1815.20	v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 
3600.02/1815.20	v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 
3600.02/1815.20	v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 
3600.02/1815.20	v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 
3600.02/1815.20	v -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 
3600.02/1815.20	v -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 
3600.02/1815.20	v -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 
3600.02/1815.20	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 
3600.02/1815.20	v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 
3600.02/1815.20	v -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 
3600.02/1815.20	v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 
3600.02/1815.20	v -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 
3600.02/1815.20	v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 
3600.02/1815.20	v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 
3600.02/1815.20	v -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 
3600.02/1815.20	v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 
3600.02/1815.20	v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 
3600.02/1815.20	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 
3600.02/1815.20	v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 
3600.02/1815.20	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 
3600.02/1815.20	v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 
3600.02/1815.20	v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 
3600.02/1815.20	v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 
3600.02/1815.20	v x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 
3600.02/1815.20	v -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 
3600.02/1815.20	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 
3600.02/1815.20	v -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 
3600.02/1815.20	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 
3600.02/1815.20	v -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 
3600.02/1815.20	v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 
3600.02/1815.20	v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 
3600.02/1815.20	v -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 x4222 -x4223 -x4224 -x4225 
3600.02/1815.20	v -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 
3600.02/1815.20	v -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 
3600.02/1815.20	v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 
3600.02/1815.20	v -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 
3600.02/1815.20	v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 
3600.02/1815.20	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 
3600.02/1815.20	v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 
3600.02/1815.20	v -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 
3600.02/1815.20	v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 
3600.02/1815.20	v -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 
3600.02/1815.20	v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 
3600.02/1815.20	v -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 
3600.02/1815.20	v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 
3600.02/1815.20	v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 
3600.02/1815.20	v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 
3600.02/1815.20	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 
3600.02/1815.20	v -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 
3600.02/1815.20	v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 
3600.02/1815.20	v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 
3600.02/1815.20	v -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 
3600.02/1815.20	v -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 
3600.02/1815.20	v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 
3600.02/1815.20	v -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 
3600.02/1815.20	v -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 
3600.02/1815.20	v -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 
3600.02/1815.20	v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 
3600.02/1815.20	v -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 
3600.02/1815.20	v -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 
3600.02/1815.20	v -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 
3600.02/1815.20	v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 
3600.02/1815.20	v -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 
3600.02/1815.20	v -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 
3600.02/1815.20	v -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 
3600.02/1815.20	v -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 
3600.02/1815.20	v x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 
3600.02/1815.20	v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 
3600.02/1815.20	v -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 
3600.02/1815.20	v -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 
3600.02/1815.20	v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 
3600.02/1815.20	v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 
3600.02/1815.20	v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 
3600.02/1815.20	v -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 
3600.02/1815.20	v -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 
3600.02/1815.20	v -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 x4706 -x4707 -x4708 -x4709 
3600.02/1815.20	v -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 
3600.02/1815.20	v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 
3600.02/1815.20	v -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 
3600.02/1815.20	v -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 
3600.02/1815.20	v -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 
3600.02/1815.20	v -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 
3600.02/1815.20	v -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 
3600.02/1815.20	v -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 
3600.02/1815.20	v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 
3600.02/1815.20	v -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 
3600.02/1815.20	v -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 
3600.02/1815.20	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 
3600.02/1815.20	v -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 
3600.02/1815.20	v -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 
3600.02/1815.20	v -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 
3600.02/1815.20	v -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 
3600.02/1815.20	v -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 
3600.02/1815.20	v -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 
3600.02/1815.20	v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 
3600.02/1815.20	v -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 
3600.02/1815.20	v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 
3600.02/1815.20	v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 
3600.02/1815.20	v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 
3600.02/1815.20	v -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 
3600.02/1815.20	v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 
3600.02/1815.20	v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 
3600.02/1815.20	v -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 
3600.02/1815.20	v -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 
3600.02/1815.20	v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 
3600.02/1815.20	v -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 
3600.02/1815.20	v -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 
3600.02/1815.20	v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 
3600.02/1815.20	v -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 
3600.02/1815.20	v -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 
3600.02/1815.20	v -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 -x5092 -x5093 -x5094 
3600.02/1815.20	v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 
3600.02/1815.20	v -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 x5116 
3600.02/1815.20	v -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 
3600.02/1815.20	v -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 
3600.02/1815.20	v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 
3600.02/1815.20	v -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 
3600.02/1815.20	v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 
3600.02/1815.20	v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 
3600.02/1815.20	v -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 
3600.02/1815.20	v -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 x5202 -x5203 -x5204 
3600.02/1815.20	v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 
3600.02/1815.20	v -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 
3600.02/1815.20	v -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 
3600.02/1815.20	v -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 
3600.02/1815.20	v -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 
3600.02/1815.20	v -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 
3600.02/1815.20	v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 
3600.02/1815.20	v -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 
3600.02/1815.20	v -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 
3600.02/1815.20	v -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 
3600.02/1815.20	v -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 
3600.02/1815.20	v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 
3600.02/1815.20	v -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 
3600.02/1815.20	v -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 
3600.02/1815.20	v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 
3600.02/1815.20	v -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 
3600.02/1815.20	v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 -x5391 
3600.02/1815.20	v -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 
3600.02/1815.20	v -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 
3600.02/1815.20	v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 x5424 
3600.02/1815.20	v -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 
3600.02/1815.20	v -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 
3600.02/1815.20	v -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 
3600.02/1815.20	v -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 
3600.02/1815.20	v -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 
3600.02/1815.20	v -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 
3600.02/1815.20	v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 
3600.02/1815.20	v -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 x5510 -x5511 -x5512 
3600.02/1815.20	v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 
3600.02/1815.20	v -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 
3600.02/1815.20	v -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 
3600.02/1815.20	v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 
3600.02/1815.20	v -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 
3600.02/1815.20	v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 
3600.02/1815.20	v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 
3600.02/1815.20	v -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 
3600.02/1815.20	v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 
3600.02/1815.20	v -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 
3600.02/1815.20	v -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 
3600.02/1815.20	v -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 
3600.02/1815.20	v -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 
3600.02/1815.20	v -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 
3600.02/1815.20	v -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 
3600.02/1815.20	v -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 
3600.02/1815.20	v -x5689 -x5690 -x5691 -x5692 x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 
3600.02/1815.20	v -x5700 -x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 
3600.02/1815.20	v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 
3600.02/1815.20	v -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 
3600.02/1815.20	v -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 
3600.02/1815.20	v -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 
3600.02/1815.20	v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 
3600.02/1815.20	v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 
3600.02/1815.20	v -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 
3600.02/1815.20	v -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 
3600.02/1815.20	v -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 
3600.02/1815.20	v -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 
3600.02/1815.20	v x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 
3600.02/1815.20	v -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 
3600.02/1815.20	v -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 
3600.02/1815.20	v -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 
3600.02/1815.20	v -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 
3600.02/1815.20	v -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 
3600.02/1815.20	v -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 
3600.02/1815.20	v -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 
3600.02/1815.20	v -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 
3600.02/1815.20	v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 
3600.02/1815.20	v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 
3600.02/1815.20	v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 
3600.02/1815.20	v -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 
3600.02/1815.20	v -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 
3600.02/1815.20	v -x5975 x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 
3600.02/1815.20	v -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 
3600.02/1815.20	v -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 
3600.02/1815.20	v -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 
3600.02/1815.20	v -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 
3600.02/1815.20	v -x6030 -x6031 x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 
3600.02/1815.20	v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 
3600.02/1815.20	v -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 
3600.02/1815.20	v -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 
3600.02/1815.20	v -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 
3600.02/1815.20	v -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 
3600.02/1815.20	v -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 
3600.02/1815.20	v -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 
3600.02/1815.20	v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 
3600.02/1815.20	v -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 
3600.02/1815.20	v -x6140 -x6141 -x6142 x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 
3600.02/1815.20	v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 
3600.02/1815.20	v -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 
3600.02/1815.20	v -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 
3600.02/1815.20	v -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 
3600.02/1815.20	v -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 
3600.02/1815.20	v -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 
3600.02/1815.20	v -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 
3600.02/1815.20	v -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 
3600.02/1815.20	v -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 
3600.02/1815.20	v -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 
3600.02/1815.20	v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 
3600.02/1815.20	v -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 
3600.02/1815.20	v -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 
3600.02/1815.20	v -x6294 -x6295 -x6296 x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 
3600.02/1815.20	v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 
3600.02/1815.20	v -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 
3600.02/1815.20	v -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 
3600.02/1815.20	v -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 
3600.02/1815.20	v -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 
3600.02/1815.20	v -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 
3600.02/1815.20	v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 
3600.02/1815.20	v -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 
3600.02/1815.20	v -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 
3600.02/1815.20	v -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 
3600.02/1815.20	v -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 
3600.02/1815.20	v -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 
3600.02/1815.20	v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 
3600.02/1815.20	v -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 
3600.02/1815.20	v -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 
3600.02/1815.20	v -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 
3600.02/1815.20	v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 
3600.02/1815.20	v -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 
3600.02/1815.20	v -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 
3600.02/1815.20	v -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 
3600.02/1815.20	v -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 
3600.02/1815.20	v -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 
3600.02/1815.20	v -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 
3600.02/1815.20	v -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 
3600.02/1815.20	v -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 
3600.02/1815.20	v -x6580 -x6581 -x6582 -x6583 -x6584 x6585 -x6586 -x6587 -x6588 -x6589 -x6590 
3600.02/1815.20	v -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 
3600.02/1815.20	v -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 
3600.02/1815.20	v -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 
3600.02/1815.20	v -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 
3600.02/1815.20	v -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 
3600.02/1815.20	v -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 x6654 -x6655 -x6656 
3600.02/1815.20	v -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 
3600.02/1815.20	v -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 
3600.02/1815.20	v -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 
3600.02/1815.20	v -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 
3600.02/1815.20	v -x6701 -x6702 -x6703 -x6704 -x6705 x6706 -x6707 -x6708 -x6709 -x6710 -x6711 
3600.02/1815.20	v -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 
3600.02/1815.20	v -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 
3600.02/1815.20	v -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 
3600.02/1815.20	v -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 
3600.02/1815.20	v -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 
3600.02/1815.20	v -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 
3600.02/1815.20	v -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 
3600.02/1815.20	v -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 
3600.02/1815.20	v -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 
3600.02/1815.20	v -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 
3600.02/1815.20	v -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 
3600.02/1815.20	v -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 
3600.02/1815.20	v -x6844 -x6845 -x6846 -x6847 -x6848 x6849 -x6850 -x6851 -x6852 -x6853 -x6854 
3600.02/1815.20	v -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 
3600.02/1815.20	v -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 
3600.02/1815.20	v -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 
3600.02/1815.20	v -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 
3600.02/1815.20	v -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 
3600.02/1815.20	v -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 
3600.02/1815.20	v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 
3600.02/1815.20	v -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 
3600.02/1815.20	v -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 
3600.02/1815.20	v -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 x6964 
3600.02/1815.20	v -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 
3600.02/1815.20	v -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 
3600.02/1815.20	v -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 
3600.02/1815.20	v -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 
3600.02/1815.20	v -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 
3600.02/1815.20	v -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 x7030 
3600.02/1815.20	v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 
3600.02/1815.20	v -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 
3600.02/1815.20	v -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 
3600.02/1815.20	v -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 
3600.02/1815.20	v -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 
3600.02/1815.20	v -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 
3600.02/1815.20	v -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 
3600.02/1815.20	v -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 
3600.02/1815.20	v -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 
3600.02/1815.20	v -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 
3600.02/1815.20	v -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 
3600.02/1815.20	v -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 
3600.02/1815.20	v -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 
3600.02/1815.20	v -x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 
3600.02/1815.20	v -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 
3600.02/1815.20	v -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 
3600.02/1815.20	v -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 
3600.02/1815.20	v -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 
3600.02/1815.20	v -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 
3600.02/1815.20	v -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 
3600.02/1815.20	v -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 
3600.02/1815.20	v -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 
3600.02/1815.20	v -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 x7283 
3600.02/1815.20	v -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 
3600.02/1815.20	v -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 
3600.02/1815.20	v -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 x7315 -x7316 
3600.02/1815.20	v -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 
3600.02/1815.20	v -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 
3600.02/1815.20	v -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 
3600.02/1815.20	v -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 
3600.02/1815.20	v -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 
3600.02/1815.20	v -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 
3600.02/1815.20	v -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 
3600.02/1815.20	v -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 
3600.02/1815.20	v -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 
3600.02/1815.20	v -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 
3600.02/1815.20	v -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 
3600.02/1815.20	v -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 
3600.02/1815.20	v -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 
3600.02/1815.20	v -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 x7470 
3600.02/1815.20	v -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 
3600.02/1815.20	v -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 
3600.02/1815.20	v -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 
3600.02/1815.20	v -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 
3600.02/1815.20	v -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 x7523 -x7524 -x7525 
3600.02/1815.20	v -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 
3600.02/1815.20	v -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 
3600.02/1815.20	v -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 
3600.02/1815.20	v -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 
3600.02/1815.20	v -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 
3600.02/1815.20	v -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 
3600.02/1815.20	v -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 
3600.02/1815.20	v -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 
3600.02/1815.20	v -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 
3600.02/1815.20	v -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 
3600.02/1815.20	v -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 
3600.02/1815.20	v -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 
3600.02/1815.20	v -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 
3600.02/1815.20	v -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 
3600.02/1815.20	v -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 x7690 
3600.02/1815.20	v -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 
3600.02/1815.20	v -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 
3600.02/1815.20	v -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 
3600.02/1815.20	v -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 
3600.02/1815.20	v -x7735 -x7736 -x7737 x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 
3600.02/1815.20	v -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 
3600.02/1815.20	v -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 
3600.02/1815.20	v -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 
3600.02/1815.20	v -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 
3600.02/1815.20	v -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 
3600.02/1815.20	v -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 
3600.02/1815.20	v -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 
3600.02/1815.20	v -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 
3600.02/1815.20	v -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 
3600.02/1815.20	v -x7845 x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 
3600.02/1815.20	v -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 
3600.02/1815.20	v -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 
3600.02/1815.20	v -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 
3600.02/1815.20	v -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 
3600.02/1815.20	v -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 
3600.02/1815.20	v -x7911 x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 
3600.02/1815.20	v -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 
3600.02/1815.20	v -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 
3600.02/1815.20	v -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 
3600.02/1815.20	v -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 
3600.02/1815.20	v -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 
3600.02/1815.20	v -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 
3600.02/1815.20	v -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 
3600.02/1815.20	v -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 
3600.02/1815.20	v -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 
3600.02/1815.20	v -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 
3600.02/1815.20	v -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 
3600.02/1815.20	v -x8043 -x8044 -x8045 -x8046 x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 
3600.02/1815.20	v -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 
3600.02/1815.20	v -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 
3600.02/1815.20	v -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 
3600.02/1815.20	v -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 
3600.02/1815.20	v -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 
3600.02/1815.20	v -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 
3600.02/1815.20	v -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 
3600.02/1815.20	v -x8131 -x8132 -x8133 -x8134 x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 
3600.02/1815.20	v -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 
3600.02/1815.20	v -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 
3600.02/1815.20	v -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 
3600.02/1815.20	v -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 
3600.02/1815.20	v -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 
3600.02/1815.20	v -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 
3600.02/1815.20	v -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 
3600.02/1815.20	v -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 
3600.02/1815.20	v -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 
3600.02/1815.20	v -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 
3600.02/1815.20	v -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 
3600.02/1815.20	v -x8263 -x8264 x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 
3600.02/1815.20	v -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 
3600.02/1815.20	v -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 
3600.02/1815.20	v -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 
3600.02/1815.20	v -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 
3600.02/1815.20	v -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 
3600.02/1815.20	v -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 
3600.02/1815.20	v -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 
3600.02/1815.20	v -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 
3600.02/1815.20	v -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 
3600.02/1815.20	v -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 
3600.02/1815.20	v -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 
3600.02/1815.20	v -x8395 x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 
3600.02/1815.20	v -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 
3600.02/1815.20	v -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 
3600.02/1815.20	v -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 
3600.02/1815.20	v -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 
3600.02/1815.20	v -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 
3600.02/1815.20	v -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 
3600.02/1815.20	v -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 
3600.02/1815.20	v -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 x8492 -x8493 
3600.02/1815.20	v -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 
3600.02/1815.20	v -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 
3600.02/1815.20	v -x8516 x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 
3600.02/1815.20	v -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 
3600.02/1815.20	v -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 
3600.02/1815.20	v -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 
3600.02/1815.20	v -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 
3600.02/1815.20	v -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 
3600.02/1815.20	v -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 
3600.02/1815.20	v -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 x8601 -x8602 -x8603 
3600.02/1815.20	v -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 
3600.02/1815.20	v -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 
3600.02/1815.20	v -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 
3600.02/1815.20	v -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 
3600.02/1815.20	v -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 
3600.02/1815.20	v -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 
3600.02/1815.20	v -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 
3600.02/1815.20	v -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 
3600.02/1815.20	v -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 
3600.02/1815.20	v -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 
3600.02/1815.20	v -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 
3600.02/1815.20	v -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 
3600.02/1815.20	v -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 
3600.02/1815.20	v -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 
3600.02/1815.20	v -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 
3600.02/1815.20	v -x8769 -x8770 x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 
3600.02/1815.20	v -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 
3600.02/1815.20	v -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 
3600.02/1815.20	v -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 
3600.02/1815.20	v -x8813 -x8814 -x8815 -x8816 -x8817 x8818 -x8819 -x8820 -x8821 -x8822 -x8823 
3600.02/1815.20	v -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 x8834 
3600.02/1815.20	v -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 
3600.02/1815.20	v -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 
3600.02/1815.20	v -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 
3600.02/1815.20	v -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 
3600.02/1815.20	v -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 
3600.02/1815.20	v -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 
3600.02/1815.20	v -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 
3600.02/1815.20	v -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 
3600.02/1815.20	v -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 
3600.02/1815.20	v -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 
3600.02/1815.20	v -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 
3600.02/1815.20	v -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 
3600.02/1815.20	v x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 
3600.02/1815.20	v -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 
3600.02/1815.20	v -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 
3600.02/1815.20	v -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 
3600.02/1815.20	v x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 
3600.02/1815.20	v -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 
3600.02/1815.20	v -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 
3600.02/1815.20	v -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 
3600.02/1815.20	v -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 
3600.02/1815.20	v -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 
3600.02/1815.20	v -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 
3600.02/1815.20	v -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 
3600.02/1815.20	v -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 
3600.02/1815.20	v -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 x9120 
3600.02/1815.20	v -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 
3600.02/1815.20	v -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 
3600.02/1815.20	v -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 
3600.02/1815.20	v -x9154 -x9155 -x9156 x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 
3600.02/1815.20	v -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 
3600.02/1815.20	v -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 
3600.02/1815.20	v -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 
3600.02/1815.20	v -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 
3600.02/1815.20	v -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 
3600.02/1815.20	v -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 
3600.02/1815.20	v -x9231 -x9232 -x9233 -x9234 -x9235 x9236 -x9237 -x9238 -x9239 -x9240 -x9241 
3600.02/1815.20	v -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 
3600.02/1815.20	v -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 
3600.02/1815.20	v -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 
3600.02/1815.20	v -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 
3600.02/1815.20	v -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 
3600.02/1815.20	v -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 
3600.02/1815.20	v -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 
3600.02/1815.20	v -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 
3600.02/1815.20	v -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 
3600.02/1815.20	v -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 
3600.02/1815.20	v -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 
3600.02/1815.20	v -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 
3600.02/1815.20	v -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 
3600.02/1815.20	v -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 
3600.02/1815.20	v -x9396 -x9397 x9398 -x9399 -x9400 -x9401 -x9402 x9403 -x9404 -x9405 -x9406 
3600.02/1815.20	v -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 
3600.02/1815.20	v -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 
3600.02/1815.20	v -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 
3600.02/1815.20	v -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 
3600.02/1815.20	v -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 
3600.02/1815.20	v -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 
3600.02/1815.20	v -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 x9481 -x9482 -x9483 
3600.02/1815.20	v -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 
3600.02/1815.20	v -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 
3600.02/1815.20	v -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 x9514 -x9515 -x9516 
3600.02/1815.20	v -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 
3600.02/1815.20	v -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 
3600.02/1815.20	v -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 
3600.02/1815.20	v -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 
3600.02/1815.20	v -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 
3600.02/1815.20	v -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 
3600.02/1815.20	v -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 
3600.02/1815.20	v -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 
3600.02/1815.20	v -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 
3600.02/1815.20	v -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 
3600.02/1815.20	v -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 
3600.02/1815.20	v -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 
3600.02/1815.20	v -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 
3600.02/1815.20	v -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 
3600.02/1815.20	v -x9671 x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 
3600.02/1815.20	v -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 
3600.02/1815.20	v -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 
3600.02/1815.20	v -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 
3600.02/1815.20	v -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 
3600.02/1815.20	v -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 
3600.02/1815.20	v -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 x9744 -x9745 -x9746 -x9747 
3600.02/1815.20	v -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 
3600.02/1815.20	v -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 
3600.02/1815.20	v -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 
3600.02/1815.20	v -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 
3600.02/1815.20	v -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 
3600.02/1815.20	v -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 x9809 -x9810 -x9811 -x9812 -x9813 
3600.02/1815.20	v -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 
3600.02/1815.20	v -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 
3600.02/1815.20	v -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 
3600.02/1815.20	v -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 
3600.02/1815.20	v -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 
3600.02/1815.20	v -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 
3600.02/1815.20	v -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 
3600.02/1815.20	v -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 
3600.02/1815.20	v -x9902 -x9903 -x9904 -x9905 x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 
3600.02/1815.20	v -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 
3600.02/1815.20	v -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 
3600.02/1815.20	v -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 
3600.02/1815.20	v -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 
3600.02/1815.20	v -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 
3600.02/1815.20	v -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 
3600.02/1815.20	v -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 
3600.02/1815.20	v -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000

Verifier Data 

OK	249

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61833 MiB free)
  memory of node 1: 64465 MiB (63855 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489618-1751319156/watcher-4489618-1751319156 -o /tmp/evaluation-result-4489618-1751319156/solver-4489618-1751319156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52076 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:836481741 --competition_mode --input HOME/instance-4489618-1751319156.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=52904, runsolver pid=52901

[startup+0.100061 s]*
/proc/loadavg: 8.06 8.12 8.10 8/269 52905
/proc/meminfo: memFree=128680064/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=47976 memory=39208 CPUtime=0.09 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) R 52901 52904 52063 0 -1 4194304 9008 0 0 0 8 1 0 0 20 0 1 0 47593145 49127424 9802 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 11994 9802 1088 2102 0 9534 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47976 KiB
Current children cumulated memory: 39208 KiB

[startup+0.205696 s]*
/proc/loadavg: 8.06 8.12 8.10 8/269 52905
/proc/meminfo: memFree=128660156/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=86136 memory=73256 CPUtime=0.2 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) R 52901 52904 52063 0 -1 4194304 15989 0 0 0 18 2 0 0 20 0 1 0 47593145 88203264 18314 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 21534 18314 1088 2102 0 19074 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86136 KiB
Current children cumulated memory: 73256 KiB

[startup+0.305648 s]*
/proc/loadavg: 8.06 8.12 8.10 8/269 52905
/proc/meminfo: memFree=128619268/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=158920 memory=125652 CPUtime=0.3 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) R 52901 52904 52063 0 -1 4194304 22440 0 0 0 26 4 0 0 20 0 1 0 47593145 162734080 31413 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 39730 31413 1088 2102 0 37270 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 158920 KiB
Current children cumulated memory: 125652 KiB

[startup+0.700177 s]
/proc/loadavg: 8.06 8.12 8.10 6/265 52905
/proc/meminfo: memFree=128459356/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=267236 memory=260964 CPUtime=0.69 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) R 52901 52904 52063 0 -1 4194304 65647 0 0 0 59 10 0 0 20 0 1 0 47593145 273649664 65241 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 66809 65241 1344 2102 0 64349 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 267236 KiB
Current children cumulated memory: 260964 KiB

[startup+1.50017 s]
/proc/loadavg: 8.06 8.12 8.10 7/263 52937
/proc/meminfo: memFree=128361964/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=446944 memory=431884 CPUtime=1.48 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) R 52901 52904 52063 0 -1 4194304 96459 0 0 0 132 16 0 0 20 0 1 0 47593145 457670656 107971 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 111736 107971 1504 2102 0 109276 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 446944 KiB
Current children cumulated memory: 431884 KiB

[startup+3.10556 s]
/proc/loadavg: 8.06 8.12 8.10 7/267 52950
/proc/meminfo: memFree=127792640/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=542376 memory=526440 CPUtime=3.09 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) R 52901 52904 52063 0 -1 4194304 100520 0 0 0 290 19 0 0 20 0 1 0 47593145 555393024 131610 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 135594 131610 1696 2102 0 133134 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 542376 KiB
Current children cumulated memory: 526440 KiB

[startup+6.3002 s]
/proc/loadavg: 7.81 8.07 8.08 7/268 52998
/proc/meminfo: memFree=127079668/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=881424 memory=545976 CPUtime=7.37 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 115079 0 0 0 713 24 0 0 20 0 3 0 47593145 902578176 136494 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 220356 136494 2144 2102 0 196686 0
[pid=52904/tid=52997] ppid=52901 vsize=881424 memory=431884 CPUtime=1.11 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 6481 0 0 0 110 1 0 0 20 0 3 0 47593660 902578176 136494 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=881424 memory=65068023 CPUtime=1.1 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 5350 0 0 0 110 0 0 0 20 0 3 0 47593660 902578176 136494 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 881424 KiB
Current children cumulated memory: 545976 KiB

[startup+12.7002 s]
/proc/loadavg: 7.75 8.05 8.08 9/272 53002
/proc/meminfo: memFree=126781252/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=661424 memory=573856 CPUtime=20.08 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 141629 0 0 0 1982 26 0 0 20 0 3 0 47593145 677298176 143464 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 165356 143464 2144 2102 0 149619 0
[pid=52904/tid=52997] ppid=52901 vsize=661424 memory=0 CPUtime=7.45 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 19108 0 0 0 743 2 0 0 20 0 3 0 47593660 677298176 143464 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=661424 memory=573856 CPUtime=7.48 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 19192 0 0 0 746 2 0 0 20 0 3 0 47593660 677298176 143464 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 20.08 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 573856 KiB

[startup+25.5002 s]
/proc/loadavg: 7.72 8.03 8.07 8/270 53047
/proc/meminfo: memFree=126422204/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=661424 memory=592800 CPUtime=45.52 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 174170 0 0 0 4521 31 0 0 20 0 3 0 47593145 677298176 148200 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 165356 148200 2144 2102 0 154093 0
[pid=52904/tid=52997] ppid=52901 vsize=661424 memory=592800 CPUtime=20.13 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 43366 0 0 0 2007 6 0 0 20 0 3 0 47593660 677298176 148200 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=661424 memory=0 CPUtime=20.23 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 26410 0 0 0 2021 2 0 0 20 0 3 0 47593660 677298176 148200 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 45.52 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 592800 KiB

[startup+51.1056 s]
/proc/loadavg: 7.88 8.05 8.07 9/272 53050
/proc/meminfo: memFree=126378512/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=661424 memory=592800 CPUtime=96.37 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 201453 0 0 0 9605 32 0 0 20 0 3 0 47593145 677298176 148200 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 165356 148200 2144 2102 0 154093 0
[pid=52904/tid=52997] ppid=52901 vsize=661424 memory=14432 CPUtime=45.47 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 60543 0 0 0 4540 7 0 0 20 0 3 0 47593660 677298176 148200 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=661424 memory=14432 CPUtime=45.73 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 36179 0 0 0 4570 3 0 0 20 0 3 0 47593660 677298176 148200 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 96.37 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 592800 KiB

[startup+102.3 s]
/proc/loadavg: 8.01 8.05 8.07 9/272 53051
/proc/meminfo: memFree=126373856/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=661424 memory=592800 CPUtime=198.05 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 223727 0 0 0 19769 36 0 0 20 0 3 0 47593145 677298176 148200 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 165356 148200 2144 2102 0 154093 0
[pid=52904/tid=52997] ppid=52901 vsize=661424 memory=14432 CPUtime=96.13 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 76654 0 0 0 9605 8 0 0 20 0 3 0 47593660 677298176 148200 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=661424 memory=592800 CPUtime=96.73 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 42253 0 0 0 9668 5 0 0 20 0 3 0 47593660 677298176 148200 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 198.05 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 592800 KiB

[startup+162.3 s]
/proc/loadavg: 8.05 8.06 8.07 9/272 53053
/proc/meminfo: memFree=126357404/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=661424 memory=595488 CPUtime=317.21 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 245209 0 0 0 31683 38 0 0 20 0 3 0 47593145 677298176 148872 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 165356 148872 2144 2102 0 154745 0
[pid=52904/tid=52997] ppid=52901 vsize=661424 memory=14432 CPUtime=155.52 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 96137 0 0 0 15542 10 0 0 20 0 3 0 47593660 677298176 148872 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=661424 memory=-8183433596036683463 CPUtime=156.49 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 44174 0 0 0 15644 5 0 0 20 0 3 0 47593660 677298176 148872 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 317.21 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 595488 KiB

[startup+222.3 s]
/proc/loadavg: 8.11 8.07 8.08 9/273 53062
/proc/meminfo: memFree=126359972/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=661424 memory=595744 CPUtime=436.37 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 259323 0 0 0 43597 40 0 0 20 0 3 0 47593145 677298176 148936 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 165356 148936 2144 2102 0 154821 0
[pid=52904/tid=52997] ppid=52901 vsize=661424 memory=595616 CPUtime=214.89 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 108564 0 0 0 21478 11 0 0 20 0 3 0 47593660 677298176 148936 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=661424 memory=21406 CPUtime=216.25 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 45583 0 0 0 21619 6 0 0 20 0 3 0 47593660 677298176 148936 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 436.37 s
Current children cumulated vsize: 661424 KiB
Current children cumulated memory: 595744 KiB

[startup+282.3 s]
/proc/loadavg: 8.09 8.07 8.08 9/273 53064
/proc/meminfo: memFree=126336480/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=661424 memory=595744 CPUtime=555.53 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 269999 0 0 0 55510 43 0 0 20 0 3 0 47593145 677298176 148936 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 165356 148936 2144 2102 0 154828 0
[pid=52904/tid=52997] ppid=52901 vsize=661424 memory=595616 CPUtime=274.27 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 118589 0 0 0 27415 12 0 0 20 0 3 0 47593660 677298176 148936 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0

################
# More data... #
################

Current children cumulated memory: 603076 KiB

[startup+1302.3 s]
/proc/loadavg: 8.07 8.12 8.10 9/272 53113
/proc/meminfo: memFree=126294836/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603076 CPUtime=2581.26 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 284733 0 0 0 258063 63 0 0 20 0 3 0 47593145 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150769 2144 2102 0 155618 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=603076 CPUtime=1283.84 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 131394 0 0 0 128370 14 0 0 20 0 3 0 47593660 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=593360 CPUtime=1291.84 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 47971 0 0 0 129170 14 0 0 20 0 3 0 47593660 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 2581.26 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603076 KiB

[startup+1362.3 s]
/proc/loadavg: 8.07 8.11 8.09 9/272 53115
/proc/meminfo: memFree=126300968/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603076 CPUtime=2700.44 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 285044 0 0 0 269980 64 0 0 20 0 3 0 47593145 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150769 2144 2102 0 155618 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=14432 CPUtime=1343.23 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 131682 0 0 0 134309 14 0 0 20 0 3 0 47593660 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=603076 CPUtime=1351.61 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 47987 0 0 0 135147 14 0 0 20 0 3 0 47593660 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 2700.44 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603076 KiB

[startup+1422.3 s]
/proc/loadavg: 8.13 8.12 8.09 9/274 53126
/proc/meminfo: memFree=126299996/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603076 CPUtime=2819.62 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 285204 0 0 0 281897 65 0 0 20 0 3 0 47593145 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150769 2144 2102 0 155618 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=14432 CPUtime=1402.63 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 131693 0 0 0 140249 14 0 0 20 0 3 0 47593660 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=603076 CPUtime=1411.38 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 48129 0 0 0 141123 15 0 0 20 0 3 0 47593660 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 2819.62 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603076 KiB

[startup+1482.3 s]
/proc/loadavg: 8.10 8.11 8.09 9/274 53128
/proc/meminfo: memFree=126272100/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603076 CPUtime=2938.8 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 285449 0 0 0 293814 66 0 0 20 0 3 0 47593145 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150769 2144 2102 0 155618 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=17664 CPUtime=1462.03 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 131910 0 0 0 146188 15 0 0 20 0 3 0 47593660 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=603076 CPUtime=1471.14 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 48149 0 0 0 147099 15 0 0 20 0 3 0 47593660 744407040 150769 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 2938.8 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603076 KiB

[startup+1542.3 s]
/proc/loadavg: 8.12 8.11 8.09 9/273 53130
/proc/meminfo: memFree=126269888/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603332 CPUtime=3057.99 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 285517 0 0 0 305731 68 0 0 20 0 3 0 47593145 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150833 2144 2102 0 155677 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=-8183433596036683463 CPUtime=1521.43 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 131913 0 0 0 152128 15 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=14432 CPUtime=1530.9 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 48211 0 0 0 153075 15 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 3057.99 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603332 KiB

[startup+1602.3 s]
/proc/loadavg: 8.10 8.10 8.09 9/273 53132
/proc/meminfo: memFree=126229180/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603332 CPUtime=3177.16 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 285907 0 0 0 317647 69 0 0 20 0 3 0 47593145 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150833 2144 2102 0 155677 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=603332 CPUtime=1580.82 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 132135 0 0 0 158067 15 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=603332 CPUtime=1590.67 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 48365 0 0 0 159051 16 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 3177.16 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603332 KiB

[startup+1662.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/275 53145
/proc/meminfo: memFree=126237616/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603332 CPUtime=3296.33 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 286065 0 0 0 329563 70 0 0 20 0 3 0 47593145 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150833 2144 2102 0 155677 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=603332 CPUtime=1640.21 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 132145 0 0 0 164006 15 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=603332 CPUtime=1650.43 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 48509 0 0 0 165027 16 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 3296.33 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603332 KiB

[startup+1722.3 s]
/proc/loadavg: 8.07 8.09 8.09 9/274 53162
/proc/meminfo: memFree=126250384/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603332 CPUtime=3415.49 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 286311 0 0 0 341478 71 0 0 20 0 3 0 47593145 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150833 2144 2102 0 155677 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=603332 CPUtime=1699.59 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 132362 0 0 0 169944 15 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=603332 CPUtime=1710.2 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 48534 0 0 0 171003 17 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 3415.49 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603332 KiB

[startup+1782.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/274 53166
/proc/meminfo: memFree=126252476/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603332 CPUtime=3534.66 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 286323 0 0 0 353394 72 0 0 20 0 3 0 47593145 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150833 2144 2102 0 155677 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=603332 CPUtime=1758.98 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 132371 0 0 0 175883 15 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=603332 CPUtime=1769.97 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 48534 0 0 0 176979 18 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 3534.66 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.2 s]
/proc/loadavg: 8.10 8.09 8.09 9/274 53166
/proc/meminfo: memFree=126252988/131250000 swapFree=33010684/33010684
[pid=52904] ppid=52901 vsize=726960 memory=603332 CPUtime=3600.02 cores=5,7
/proc/52904/stat : 52904 (cp-sat-runner) S 52901 52904 52063 0 -1 4194304 286506 0 0 0 359929 73 0 0 20 0 3 0 47593145 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
/proc/52904/statm: 181740 150833 2144 2102 0 155677 0
[pid=52904/tid=52997] ppid=52901 vsize=726960 memory=5600 CPUtime=1791.55 cores=5,7
/proc/52904/task/52997/stat : 52997 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 132387 0 0 0 179140 15 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
[pid=52904/tid=52998] ppid=52901 vsize=726960 memory=17664 CPUtime=1802.74 cores=5,7
/proc/52904/task/52998/stat : 52998 (cp-sat-runner) R 52901 52904 52063 0 -1 4194368 48688 0 0 0 180256 18 0 0 20 0 3 0 47593660 744407040 150833 18446744073709551615 4198400 12805993 140724361525408 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 26206208 140724361533721 140724361533925 140724361533925 140724361539527 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 726960 KiB
Current children cumulated memory: 603332 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1815.22 s]
# the end of solver process 52904 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3599.31 s, system=0.752357 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 1815.22
CPU time (s): 3600.06
CPU user time (s): 3599.31
CPU system time (s): 0.752357
CPU usage (%): 198.326
Max. virtual memory (cumulated for all children) (KiB): 881424
Max. memory (cumulated for all children) (KiB): 605120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.31
system time used= 0.752357
maximum resident set size= 605120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286511
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= 27510
involuntary context switches= 110450


# summary of solver processes directly reported to runsolver:
#   pid: 52904
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.31
#   total CPU system time (s): 0.752357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.38457 second user time and 9.32883 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-30 23:32:36
IDJOB=4489618
IDBENCH=147559
IDSOLVER=3320
FILE ID=nodeC016/4489618-1751319156
RUNJOBID= nodeC016-1751313715-52076
SLURM_JOB_ID= 9594315
Free space on /tmp= 433008 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489618-1751319156/watcher-4489618-1751319156 -o /tmp/evaluation-result-4489618-1751319156/solver-4489618-1751319156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52076 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:836481741 --competition_mode --input HOME/instance-4489618-1751319156.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=836481741

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.688
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.736
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.749
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.731
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.734
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.737
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.713
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.347
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128704808 kB
MemAvailable:   129641592 kB
Buffers:            3280 kB
Cached:          1739916 kB
SwapCached:            0 kB
Active:           451824 kB
Inactive:        1469744 kB
Active(anon):     196444 kB
Inactive(anon):        0 kB
Active(file):     255380 kB
Inactive(file):  1469744 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29444 kB
Writeback:            60 kB
AnonPages:        178140 kB
Mapped:           129484 kB
Shmem:             18072 kB
KReclaimable:     101796 kB
Slab:             190104 kB
SReclaimable:     101796 kB
SUnreclaim:        88308 kB
KernelStack:        4336 kB
PageTables:         3380 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     574664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432948 MiB
End job on nodeC016 at 2025-07-01 00:02:51