Trace number 4489756

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)252 3600.12 1814.32

General information on the benchmark

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

Verifier Data 

OK	252

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 (61340 MiB free)
  memory of node 1: 64465 MiB (63286 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489756-1751319160/watcher-4489756-1751319160 -o /tmp/evaluation-result-4489756-1751319160/solver-4489756-1751319160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52074 --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-4489756-1751319160.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=52995, runsolver pid=52992
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 7.81 8.07 8.08 6/266 52996
/proc/meminfo: memFree=127594660/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=48372 memory=38748 CPUtime=0.1 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) R 52992 52995 52063 0 -1 4194304 8388 0 0 0 9 1 0 0 20 0 1 0 47593587 49532928 9687 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 12126 9687 1088 2102 0 9666 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48372 KiB
Current children cumulated memory: 38748 KiB

[startup+0.205576 s]*
/proc/loadavg: 7.81 8.07 8.08 6/266 52996
/proc/meminfo: memFree=127543372/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=86532 memory=72812 CPUtime=0.2 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) R 52992 52995 52063 0 -1 4194304 15363 0 0 0 18 2 0 0 20 0 1 0 47593587 88608768 18203 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 21633 18203 1088 2102 0 19173 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86532 KiB
Current children cumulated memory: 72812 KiB

[startup+0.305359 s]*
/proc/loadavg: 7.81 8.07 8.08 6/266 52996
/proc/meminfo: memFree=127498828/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=134604 memory=104432 CPUtime=0.3 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) R 52992 52995 52063 0 -1 4194304 21752 0 0 0 26 4 0 0 20 0 1 0 47593587 137834496 26108 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 33651 26108 1088 2102 0 31191 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 134604 KiB
Current children cumulated memory: 104432 KiB

[startup+0.700209 s]
/proc/loadavg: 7.81 8.07 8.08 6/266 52996
/proc/meminfo: memFree=127293252/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=267236 memory=260396 CPUtime=0.69 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) R 52992 52995 52063 0 -1 4194304 64770 0 0 0 59 10 0 0 20 0 1 0 47593587 273649664 65099 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 66809 65099 1344 2102 0 64349 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 267236 KiB
Current children cumulated memory: 260396 KiB

[startup+1.50018 s]
/proc/loadavg: 7.81 8.07 8.08 7/268 52998
/proc/meminfo: memFree=127157044/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=425060 memory=409256 CPUtime=1.48 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) R 52992 52995 52063 0 -1 4194304 93147 0 0 0 134 14 0 0 20 0 1 0 47593587 435261440 102314 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 106265 102314 1504 2102 0 103805 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 425060 KiB
Current children cumulated memory: 409256 KiB

[startup+3.10535 s]
/proc/loadavg: 7.81 8.07 8.08 8/270 53000
/proc/meminfo: memFree=126941876/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=542380 memory=525272 CPUtime=3.09 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) R 52992 52995 52063 0 -1 4194304 97933 0 0 0 292 17 0 0 20 0 1 0 47593587 555397120 131318 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 135595 131318 1728 2102 0 133135 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 542380 KiB
Current children cumulated memory: 525272 KiB

[startup+6.30021 s]
/proc/loadavg: 7.75 8.05 8.08 9/272 53002
/proc/meminfo: memFree=126813544/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=881432 memory=544240 CPUtime=7.31 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 111520 0 0 0 710 21 0 0 20 0 3 0 47593587 902586368 136060 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 220358 136060 2144 2102 0 196674 0
[pid=52995/tid=53001] ppid=52992 vsize=881432 memory=558368 CPUtime=1.05 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 5876 0 0 0 105 0 0 0 20 0 3 0 47594110 902586368 136060 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=881432 memory=17664 CPUtime=1.04 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 5355 0 0 0 103 1 0 0 20 0 3 0 47594110 902586368 136060 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 7.31 s
Current children cumulated vsize: 881432 KiB
Current children cumulated memory: 544240 KiB

[startup+12.7002 s]
/proc/loadavg: 7.77 8.05 8.08 9/272 53002
/proc/meminfo: memFree=126815584/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=661432 memory=573944 CPUtime=20.04 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 142030 0 0 0 1979 25 0 0 20 0 3 0 47593587 677306368 143486 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 165358 143486 2144 2102 0 149821 0
[pid=52995/tid=53001] ppid=52992 vsize=661432 memory=569976 CPUtime=7.39 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 22119 0 0 0 737 2 0 0 20 0 3 0 47594110 677306368 143486 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=661432 memory=525272 CPUtime=7.41 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 19522 0 0 0 739 2 0 0 20 0 3 0 47594110 677306368 143486 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 20.04 s
Current children cumulated vsize: 661432 KiB
Current children cumulated memory: 573944 KiB

[startup+25.5002 s]
/proc/loadavg: 7.75 8.03 8.07 9/272 53049
/proc/meminfo: memFree=126331060/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=598504 CPUtime=45.45 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 182527 0 0 0 4516 29 0 0 20 0 3 0 47593587 744415232 149626 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 149626 2144 2102 0 155980 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=596712 CPUtime=20.05 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 51972 0 0 0 2000 5 0 0 20 0 3 0 47594110 744415232 149626 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=545268 CPUtime=20.16 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 30064 0 0 0 2013 3 0 0 20 0 3 0 47594110 744415232 149626 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 45.45 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 598504 KiB

[startup+51.1054 s]
/proc/loadavg: 7.89 8.04 8.07 9/272 53050
/proc/meminfo: memFree=126376496/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=598504 CPUtime=96.34 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 206444 0 0 0 9601 33 0 0 20 0 3 0 47593587 744415232 149626 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 149626 2144 2102 0 155980 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=545268 CPUtime=45.41 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 66692 0 0 0 4533 8 0 0 20 0 3 0 47594110 744415232 149626 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=598504 CPUtime=45.69 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 38181 0 0 0 4564 5 0 0 20 0 3 0 47594110 744415232 149626 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 96.34 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 598504 KiB

[startup+102.3 s]
/proc/loadavg: 8.00 8.05 8.07 9/272 53051
/proc/meminfo: memFree=126373352/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=601576 CPUtime=198.06 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 240616 0 0 0 19768 38 0 0 20 0 3 0 47593587 744415232 150394 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 150394 2144 2102 0 156759 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=14432 CPUtime=96.08 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 92115 0 0 0 9597 11 0 0 20 0 3 0 47594110 744415232 150394 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=600424 CPUtime=96.72 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 46301 0 0 0 9666 6 0 0 20 0 3 0 47594110 744415232 150394 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 198.06 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 601576 KiB

[startup+162.3 s]
/proc/loadavg: 8.04 8.05 8.07 9/272 53053
/proc/meminfo: memFree=126357656/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=610792 CPUtime=317.3 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 276205 0 0 0 31684 46 0 0 20 0 3 0 47593587 744415232 152698 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 152698 2144 2102 0 159017 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=604392 CPUtime=155.49 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 124798 0 0 0 15532 17 0 0 20 0 3 0 47594110 744415232 152698 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=606312 CPUtime=156.52 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 49111 0 0 0 15645 7 0 0 20 0 3 0 47594110 744415232 152698 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 317.3 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 610792 KiB

[startup+222.3 s]
/proc/loadavg: 8.10 8.07 8.08 9/273 53062
/proc/meminfo: memFree=126360232/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=613480 CPUtime=436.53 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 296615 0 0 0 43602 51 0 0 20 0 3 0 47593587 744415232 153370 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 153370 2144 2102 0 159655 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=612840 CPUtime=214.89 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 142417 0 0 0 21469 20 0 0 20 0 3 0 47594110 744415232 153370 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=14432 CPUtime=216.34 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 51290 0 0 0 21625 9 0 0 20 0 3 0 47594110 744415232 153370 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 436.53 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 613480 KiB

[startup+282.3 s]
/proc/loadavg: 8.08 8.07 8.08 9/273 53064
/proc/meminfo: memFree=126336480/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=615144 CPUtime=555.79 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 315062 0 0 0 55522 57 0 0 20 0 3 0 47593587 744415232 153786 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 153786 2144 2102 0 160093 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=-8183432457870349758 CPUtime=274.3 cores=4,6

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

Current children cumulated memory: 620648 KiB

[startup+1362.3 s]
/proc/loadavg: 8.06 8.11 8.09 9/272 53115
/proc/meminfo: memFree=126301724/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=2701.92 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 419848 0 0 0 270064 128 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=620648 CPUtime=1343.44 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 257304 0 0 0 134275 69 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=620648 CPUtime=1352.69 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58625 0 0 0 135246 23 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 2701.92 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 KiB

[startup+1422.3 s]
/proc/loadavg: 8.12 8.12 8.09 9/274 53126
/proc/meminfo: memFree=126300216/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=2821.17 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 419974 0 0 0 281987 130 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=620648 CPUtime=1402.85 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 257372 0 0 0 140215 70 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=620648 CPUtime=1412.51 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58674 0 0 0 141227 24 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 2821.17 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 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=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=2940.39 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 420416 0 0 0 293907 132 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=620648 CPUtime=1462.23 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 257780 0 0 0 146152 71 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=620648 CPUtime=1472.34 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58698 0 0 0 147209 25 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 2940.39 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 KiB

[startup+1542.3 s]
/proc/loadavg: 8.11 8.10 8.09 9/273 53130
/proc/meminfo: memFree=126269904/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=3059.62 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 420478 0 0 0 305828 134 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=620648 CPUtime=1521.61 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 257787 0 0 0 152090 71 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=620648 CPUtime=1532.16 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58745 0 0 0 153191 25 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 3059.62 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 KiB

[startup+1602.3 s]
/proc/loadavg: 8.09 8.10 8.09 9/273 53132
/proc/meminfo: memFree=126230184/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=3178.84 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 420886 0 0 0 317748 136 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=620648 CPUtime=1581 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 258165 0 0 0 158027 73 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=14432 CPUtime=1591.98 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58765 0 0 0 159172 26 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 3178.84 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 KiB

[startup+1662.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/274 53145
/proc/meminfo: memFree=126246420/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=3298.04 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 420977 0 0 0 329666 138 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=14432 CPUtime=1640.35 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 258185 0 0 0 163961 74 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=620648 CPUtime=1651.8 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58828 0 0 0 165154 26 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 3298.04 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 KiB

[startup+1722.3 s]
/proc/loadavg: 8.06 8.09 8.09 9/274 53162
/proc/meminfo: memFree=126250384/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=3417.27 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 421394 0 0 0 341586 141 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=620648 CPUtime=1699.74 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 258567 0 0 0 169899 75 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=620648 CPUtime=1711.61 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58850 0 0 0 171135 26 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 3417.27 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 KiB

[startup+1782.3 s]
/proc/loadavg: 8.07 8.08 8.09 9/274 53166
/proc/meminfo: memFree=126252476/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=3536.51 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 421513 0 0 0 353508 143 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=620648 CPUtime=1759.14 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 258607 0 0 0 175838 76 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=17664 CPUtime=1771.43 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58918 0 0 0 177116 27 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 3536.51 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.3 s]
/proc/loadavg: 8.10 8.09 8.09 7/269 53195
/proc/meminfo: memFree=127439052/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=3600.08 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 421920 0 0 0 359862 146 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=620648 CPUtime=1790.82 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 259008 0 0 0 179005 77 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=620648 CPUtime=1803.31 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58924 0 0 0 180302 29 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.64 s, system=1.47983 s

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

[startup+1814.3 s]
/proc/loadavg: 8.10 8.09 8.09 7/269 53195
/proc/meminfo: memFree=127439052/131250000 swapFree=33010684/33010684
[pid=52995] ppid=52992 vsize=726968 memory=620648 CPUtime=3600.08 cores=4,6
/proc/52995/stat : 52995 (cp-sat-runner) S 52992 52995 52063 0 -1 4194304 421920 0 0 0 359862 146 0 0 20 0 3 0 47593587 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
/proc/52995/statm: 181742 155162 2144 2102 0 160101 0
[pid=52995/tid=53001] ppid=52992 vsize=726968 memory=620648 CPUtime=1790.82 cores=4,6
/proc/52995/task/53001/stat : 53001 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 259008 0 0 0 179005 77 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
[pid=52995/tid=53002] ppid=52992 vsize=726968 memory=620648 CPUtime=1803.31 cores=4,6
/proc/52995/task/53002/stat : 53002 (cp-sat-runner) R 52992 52995 52063 0 -1 4194368 58924 0 0 0 180302 29 0 0 20 0 3 0 47594110 744415232 155162 18446744073709551615 4198400 12805993 140725048180928 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 31002624 140725048187161 140725048187365 140725048187365 140725048192967 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 726968 KiB
Current children cumulated memory: 620648 KiB

Child status: 0

Real time (s): 1814.32
CPU time (s): 3600.12
CPU user time (s): 3598.64
CPU system time (s): 1.47983
CPU usage (%): 198.427
Max. virtual memory (cumulated for all children) (KiB): 881432
Max. memory (cumulated for all children) (KiB): 620648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.64
system time used= 1.47983
maximum resident set size= 620904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421925
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= 27384
involuntary context switches= 118567


# summary of solver processes directly reported to runsolver:
#   pid: 52995
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3598.64
#   total CPU system time (s): 1.47983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.55887 second user time and 8.61587 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-30 23:32:40
IDJOB=4489756
IDBENCH=147563
IDSOLVER=3320
FILE ID=nodeC016/4489756-1751319160
RUNJOBID= nodeC016-1751313715-52074
SLURM_JOB_ID= 9594315
Free space on /tmp= 432976 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.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-4489756-1751319160/watcher-4489756-1751319160 -o /tmp/evaluation-result-4489756-1751319160/solver-4489756-1751319160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52074 --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-4489756-1751319160.opb

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
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.738
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.714
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		: 3582.690
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.728
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		: 3681.346
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.042
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.761
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		: 3700.000
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:        127618096 kB
MemAvailable:   128589168 kB
Buffers:            3280 kB
Cached:          1774204 kB
SwapCached:            0 kB
Active:          1461124 kB
Inactive:        1504032 kB
Active(anon):    1205744 kB
Inactive(anon):        0 kB
Active(file):     255380 kB
Inactive(file):  1504032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             88116 kB
Writeback:             0 kB
AnonPages:       1189100 kB
Mapped:           126520 kB
Shmem:             18072 kB
KReclaimable:     101796 kB
Slab:             189680 kB
SReclaimable:     101796 kB
SUnreclaim:        87884 kB
KernelStack:        4288 kB
PageTables:         5352 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1575092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    346112 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= 433004 MiB
End job on nodeC016 at 2025-07-01 00:02:55