Trace number 4529583

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14.2OPTIMUM 793.535 399.694

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/warehouse/
normalized-capmo1_wcsp.wbo
MD5SUM7203545f0120ca71deeb3428f0615313
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark949012
Best CPU time to get the best result obtained on this benchmark16.9745
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10200
Total number of constraints20300
Number of soft constraints20100
Number of constraints which are clauses20100
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint100
Top cost 16472577
Min constraint cost 1
Max constraint cost 16472577
Sum of constraints costs 164860388479
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 101
Number of bits of the biggest sum of numbers7
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

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

Verifier Data

OK	949012

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529583-1752571880/watcher-4529583-1752571880 -o /tmp/evaluation-result-4529583-1752571880/solver-4529583-1752571880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752571843-131713 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529583-1752571880.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=131940, runsolver pid=131931

[startup+0.100061 s]*
/proc/loadavg: 2.51 0.71 0.30 3/257 131942
/proc/meminfo: memFree=128977292/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=39188 memory=33116 CPUtime=0.08 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) R 131931 131940 131693 0 -1 4194304 7508 0 0 0 7 1 0 0 20 0 1 0 172865876 40128512 8279 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 9797 8279 1536 2102 0 7337 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 33116 KiB

[startup+0.205491 s]*
/proc/loadavg: 2.51 0.71 0.30 3/257 131942
/proc/meminfo: memFree=128944280/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=61224 memory=54684 CPUtime=0.19 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) R 131931 131940 131693 0 -1 4194304 15562 0 0 0 17 2 0 0 20 0 1 0 172865876 62693376 13671 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 15306 13671 1824 2102 0 12846 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61224 KiB
Current children cumulated memory: 54684 KiB

[startup+0.305429 s]*
/proc/loadavg: 2.51 0.71 0.30 3/257 131942
/proc/meminfo: memFree=128932120/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=61588 memory=55708 CPUtime=0.29 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) R 131931 131940 131693 0 -1 4194304 15760 0 0 0 27 2 0 0 20 0 1 0 172865876 63066112 13927 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 15397 13927 1888 2102 0 12937 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61588 KiB
Current children cumulated memory: 55708 KiB

[startup+0.700145 s]
/proc/loadavg: 2.51 0.71 0.30 3/259 131944
/proc/meminfo: memFree=128875920/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=64428 memory=60064 CPUtime=0.67 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) R 131931 131940 131693 0 -1 4194304 17455 0 0 0 65 2 0 0 20 0 1 0 172865876 65974272 15016 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 16107 15016 1888 2102 0 13647 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64428 KiB
Current children cumulated memory: 60064 KiB

[startup+1.50018 s]
/proc/loadavg: 2.51 0.71 0.30 4/261 131948
/proc/meminfo: memFree=128838072/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=210040 memory=106492 CPUtime=2.23 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 29147 0 0 0 219 4 0 0 20 0 3 0 172865876 215080960 26623 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 52510 26623 2144 2102 0 33846 0
[pid=131940/tid=131946] ppid=131931 vsize=210040 memory=14848 CPUtime=0.75 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 6741 0 0 0 74 1 0 0 20 0 3 0 172865950 215080960 26623 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=210040 memory=21504 CPUtime=0.75 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 4851 0 0 0 75 0 0 0 20 0 3 0 172865950 215080960 26623 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 210040 KiB
Current children cumulated memory: 106492 KiB

[startup+3.10517 s]
/proc/loadavg: 2.79 0.80 0.33 6/267 131969
/proc/meminfo: memFree=128777316/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=210040 memory=127536 CPUtime=5.41 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 41908 0 0 0 535 6 0 0 20 0 3 0 172865876 215080960 31884 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 52510 31884 2144 2102 0 41290 0
[pid=131940/tid=131946] ppid=131931 vsize=210040 memory=-7167055231359028331 CPUtime=2.33 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 14699 0 0 0 231 2 0 0 20 0 3 0 172865950 215080960 31884 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=210040 memory=86396 CPUtime=2.35 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 9634 0 0 0 234 1 0 0 20 0 3 0 172865950 215080960 31884 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 210040 KiB
Current children cumulated memory: 127536 KiB

[startup+6.3002 s]
/proc/loadavg: 2.79 0.80 0.33 5/264 131983
/proc/meminfo: memFree=128587964/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=210040 memory=145968 CPUtime=11.76 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 54757 0 0 0 1169 7 0 0 20 0 3 0 172865876 215080960 36492 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 52510 36492 2144 2102 0 45244 0
[pid=131940/tid=131946] ppid=131931 vsize=210040 memory=118448 CPUtime=5.5 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 23763 0 0 0 547 3 0 0 20 0 3 0 172865950 215080960 36492 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=210040 memory=2305 CPUtime=5.53 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 13379 0 0 0 552 1 0 0 20 0 3 0 172865950 215080960 36492 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 11.76 s
Current children cumulated vsize: 210040 KiB
Current children cumulated memory: 145968 KiB

[startup+12.7002 s]
/proc/loadavg: 3.36 0.99 0.40 5/261 131983
/proc/meminfo: memFree=128540744/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=155824 CPUtime=24.49 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 82288 0 0 0 2441 8 0 0 20 0 3 0 172865876 282189824 38956 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 38956 2144 2102 0 47772 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=155824 CPUtime=11.84 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 43472 0 0 0 1180 4 0 0 20 0 3 0 172865950 282189824 38956 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=14848 CPUtime=11.91 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 19780 0 0 0 1189 2 0 0 20 0 3 0 172865950 282189824 38956 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 24.49 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 155824 KiB

[startup+25.5002 s]
/proc/loadavg: 3.77 1.15 0.46 5/256 132124
/proc/meminfo: memFree=128443072/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=165936 CPUtime=49.93 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 102385 0 0 0 4983 10 0 0 20 0 3 0 172865876 282189824 41484 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 41484 2144 2102 0 50276 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=14848 CPUtime=24.52 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 60205 0 0 0 2447 5 0 0 20 0 3 0 172865950 282189824 41484 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=109436 CPUtime=24.67 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 23098 0 0 0 2465 2 0 0 20 0 3 0 172865950 282189824 41484 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 49.93 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 165936 KiB

[startup+51.1052 s]
/proc/loadavg: 3.93 1.40 0.56 5/256 132124
/proc/meminfo: memFree=128398028/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=169904 CPUtime=100.83 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 130714 0 0 0 10070 13 0 0 20 0 3 0 172865876 282189824 42476 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 42476 2144 2102 0 50495 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=169008 CPUtime=49.86 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 85753 0 0 0 4980 6 0 0 20 0 3 0 172865950 282189824 42476 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=169008 CPUtime=50.21 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 25784 0 0 0 5018 3 0 0 20 0 3 0 172865950 282189824 42476 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 100.83 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 169904 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 1.82 0.75 5/256 132126
/proc/meminfo: memFree=128370700/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=185848 CPUtime=202.57 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 168261 0 0 0 20241 16 0 0 20 0 3 0 172865876 282189824 46462 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 46462 2144 2102 0 53424 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=174072 CPUtime=100.53 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 115765 0 0 0 10045 8 0 0 20 0 3 0 172865950 282189824 46462 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=183928 CPUtime=101.26 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 32257 0 0 0 10122 4 0 0 20 0 3 0 172865950 282189824 46462 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 202.57 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 185848 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 2.28 0.97 5/257 132129
/proc/meminfo: memFree=128364964/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=193784 CPUtime=321.8 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 209190 0 0 0 32159 21 0 0 20 0 3 0 172865876 282189824 48446 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 48446 2144 2102 0 54384 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=191992 CPUtime=159.92 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 152275 0 0 0 15980 12 0 0 20 0 3 0 172865950 282189824 48446 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=193784 CPUtime=161.1 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36574 0 0 0 16106 4 0 0 20 0 3 0 172865950 282189824 48446 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 321.8 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 193784 KiB

[startup+222.3 s]
/proc/loadavg: 4.33 2.67 1.19 5/257 132131
/proc/meminfo: memFree=128343656/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=210168 CPUtime=441.02 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 217034 0 0 0 44079 23 0 0 20 0 3 0 172865876 282189824 52542 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 52542 2144 2102 0 58485 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=210168 CPUtime=219.29 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 159900 0 0 0 21915 14 0 0 20 0 3 0 172865950 282189824 52542 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=210168 CPUtime=220.94 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36790 0 0 0 22089 5 0 0 20 0 3 0 172865950 282189824 52542 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 441.02 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 210168 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 2.93 1.38 5/256 132133
/proc/meminfo: memFree=128340948/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=212224 CPUtime=560.26 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 245109 0 0 0 55999 27 0 0 20 0 3 0 172865876 282189824 53056 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 53056 2144 2102 0 58485 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=212224 CPUtime=278.66 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 187872 0 0 0 27850 16 0 0 20 0 3 0 172865950 282189824 53056 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=-7594052651250246783 CPUtime=280.77 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36868 0 0 0 28072 5 0 0 20 0 3 0 172865950 282189824 53056 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 560.26 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 212224 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.14 1.55 5/257 132137
/proc/meminfo: memFree=128331224/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=219904 CPUtime=679.48 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 258432 0 0 0 67918 30 0 0 20 0 3 0 172865876 282189824 54976 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 54976 2144 2102 0 59896 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=212224 CPUtime=338.04 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 201183 0 0 0 33786 18 0 0 20 0 3 0 172865950 282189824 54976 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=14848 CPUtime=340.61 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36876 0 0 0 34055 6 0 0 20 0 3 0 172865950 282189824 54976 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 679.48 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 219904 KiB

[startup+399.694 s]
# the end of solver process 131940 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=793.2 s, system=0.334565 s

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

[startup+358.4 s]
/proc/loadavg: 4.15 3.22 1.61 5/257 132137
/proc/meminfo: memFree=128331232/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=219904 CPUtime=711.47 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 258768 0 0 0 71117 30 0 0 20 0 3 0 172865876 282189824 54976 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 54976 2144 2102 0 59896 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=14848 CPUtime=353.97 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 201516 0 0 0 35379 18 0 0 20 0 3 0 172865950 282189824 54976 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=212224 CPUtime=356.67 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36876 0 0 0 35661 6 0 0 20 0 3 0 172865950 282189824 54976 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 711.47 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 219904 KiB

[startup+384 s]*
/proc/loadavg: 4.10 3.28 1.67 5/257 132137
/proc/meminfo: memFree=128328728/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=220288 CPUtime=762.37 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 259283 0 0 0 76206 31 0 0 20 0 3 0 172865876 282189824 55072 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 55072 2144 2102 0 59896 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=-7167055231359028331 CPUtime=379.32 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 202029 0 0 0 37914 18 0 0 20 0 3 0 172865950 282189824 55072 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=-4421386491953178980 CPUtime=382.2 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36878 0 0 0 38214 6 0 0 20 0 3 0 172865950 282189824 55072 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 762.37 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 220288 KiB

[startup+390.4 s]
/proc/loadavg: 4.17 3.31 1.69 5/257 132138
/proc/meminfo: memFree=128330600/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=220672 CPUtime=775.07 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 259353 0 0 0 77476 31 0 0 20 0 3 0 172865876 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 55168 2144 2102 0 59896 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=5276 CPUtime=385.64 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 202099 0 0 0 38546 18 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=220288 CPUtime=388.58 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36878 0 0 0 38852 6 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 775.07 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 220672 KiB

[startup+393.6 s]
/proc/loadavg: 4.16 3.32 1.70 5/257 132139
/proc/meminfo: memFree=128331104/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=220672 CPUtime=781.43 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 259387 0 0 0 78112 31 0 0 20 0 3 0 172865876 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 55168 2144 2102 0 59896 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=220672 CPUtime=388.81 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 202133 0 0 0 38863 18 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=220672 CPUtime=391.77 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36878 0 0 0 39171 6 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 781.43 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 220672 KiB

[startup+396.8 s]
/proc/loadavg: 4.16 3.32 1.70 5/257 132139
/proc/meminfo: memFree=128331104/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=220672 CPUtime=787.79 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 260289 0 0 0 78748 31 0 0 20 0 3 0 172865876 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 55168 2144 2102 0 59896 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=220160 CPUtime=391.98 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 203033 0 0 0 39180 18 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=220288 CPUtime=394.96 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36880 0 0 0 39490 6 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 787.79 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 220672 KiB

[startup+398.4 s]
/proc/loadavg: 4.15 3.33 1.71 5/257 132139
/proc/meminfo: memFree=128331104/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=220672 CPUtime=790.97 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 260316 0 0 0 79066 31 0 0 20 0 3 0 172865876 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 55168 2144 2102 0 59896 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=2760 CPUtime=393.57 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 203060 0 0 0 39339 18 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=5276 CPUtime=396.56 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36880 0 0 0 39650 6 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 790.97 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 220672 KiB

[startup+399.2 s]
/proc/loadavg: 4.15 3.33 1.71 5/257 132139
/proc/meminfo: memFree=128331104/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=220672 CPUtime=792.56 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 260369 0 0 0 79225 31 0 0 20 0 3 0 172865876 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 55168 2144 2102 0 59896 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=14848 CPUtime=394.36 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 203110 0 0 0 39418 18 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=21504 CPUtime=397.35 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 36880 0 0 0 39729 6 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 792.56 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 220672 KiB

[startup+399.6 s]
/proc/loadavg: 4.15 3.33 1.71 5/257 132139
/proc/meminfo: memFree=128331104/131249996 swapFree=33006296/33010684
[pid=131940] ppid=131931 vsize=275576 memory=220672 CPUtime=793.37 cores=5,7
/proc/131940/stat : 131940 (cp_sat_runner) S 131931 131940 131693 0 -1 4194304 265772 0 0 0 79305 32 0 0 20 0 3 0 172865876 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
/proc/131940/statm: 68894 55168 2144 2102 0 59896 0
[pid=131940/tid=131946] ppid=131931 vsize=275576 memory=-7167055231359028331 CPUtime=394.77 cores=5,7
/proc/131940/task/131946/stat : 131946 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 207845 0 0 0 39458 19 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
[pid=131940/tid=131947] ppid=131931 vsize=275576 memory=7808 CPUtime=397.76 cores=5,7
/proc/131940/task/131947/stat : 131947 (cp_sat_runner) R 131931 131940 131693 0 -1 4194368 37540 0 0 0 39769 7 0 0 20 0 3 0 172865950 282189824 55168 18446744073709551615 4198400 12806697 140721183670512 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26451968 140721183676693 140721183676897 140721183676897 140721183682503 0
Current children cumulated CPU time: 793.37 s
Current children cumulated vsize: 275576 KiB
Current children cumulated memory: 220672 KiB

Child status: 10

Real time (s): 399.694
CPU time (s): 793.535
CPU user time (s): 793.2
CPU system time (s): 0.334565
CPU usage (%): 198.536
Max. virtual memory (cumulated for all children) (KiB): 275576
Max. memory (cumulated for all children) (KiB): 220672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 793.2
system time used= 0.334565
maximum resident set size= 220928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274542
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= 5777
involuntary context switches= 14573


# summary of solver processes directly reported to runsolver:
#   pid: 131940
#   total CPU time (s): 793.535
#   total CPU user time (s): 793.2
#   total CPU system time (s): 0.334565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.756999 second user time and 1.93265 second system time

The end

Launcher Data

Begin job on nodeC015 at 2025-07-15 11:31:22
IDJOB=4529583
IDBENCH=144003
IDSOLVER=3387
FILE ID=nodeC015/4529583-1752571880
RUNJOBID= nodeC015-1752571843-131713
SLURM_JOB_ID= 9683884
Free space on /tmp= 432764 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-capmo1_wcsp.wbo
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 -w /tmp/evaluation-result-4529583-1752571880/watcher-4529583-1752571880 -o /tmp/evaluation-result-4529583-1752571880/solver-4529583-1752571880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752571843-131713 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:482937223 --competition_mode --input HOME/instance-4529583-1752571880.wbo

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

MD5SUM BENCH= 7203545f0120ca71deeb3428f0615313
RANDOM SEED=482937223

nodeC015 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		: 1199.804
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	: 7000.14
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		: 3145.253
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	: 7000.14
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		: 1199.899
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	: 7000.14
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		: 3612.739
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	: 7000.14
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		: 1200.055
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	: 7000.14
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		: 3600.086
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	: 7000.14
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		: 1198.344
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	: 7000.14
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		: 3598.783
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129135964 kB
MemAvailable:   129691364 kB
Buffers:            1508 kB
Cached:          1342544 kB
SwapCached:         3880 kB
Active:           340040 kB
Inactive:        1084724 kB
Active(anon):      54608 kB
Inactive(anon):    48448 kB
Active(file):     285432 kB
Inactive(file):  1036276 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28376 kB
Writeback:             4 kB
AnonPages:         79932 kB
Mapped:           103440 kB
Shmem:             22344 kB
KReclaimable:     145860 kB
Slab:             245012 kB
SReclaimable:     145860 kB
SUnreclaim:        99152 kB
KernelStack:        4080 kB
PageTables:         2908 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     351784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432752 MiB
End job on nodeC015 at 2025-07-15 11:38:04