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

OK	11827

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526664-1751627557/watcher-4526664-1751627557 -o /tmp/evaluation-result-4526664-1751627557/solver-4526664-1751627557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89351 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1637175038 --competition_mode --input HOME/instance-4526664-1751627557.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=91723, runsolver pid=91720

[startup+0.100064 s]*
/proc/loadavg: 7.98 7.96 7.47 8/270 91724
/proc/meminfo: memFree=118118540/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=45496 memory=36368 CPUtime=0.09 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 7591 0 0 0 8 1 0 0 20 0 1 0 78433639 46587904 9092 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 11374 9092 1088 2102 0 8914 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45496 KiB
Current children cumulated memory: 36368 KiB

[startup+0.205701 s]*
/proc/loadavg: 7.98 7.96 7.47 8/270 91724
/proc/meminfo: memFree=118093716/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=81148 memory=67900 CPUtime=0.2 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 13945 0 0 0 17 3 0 0 20 0 1 0 78433639 83095552 16943 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 20287 16943 1088 2102 0 17827 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81148 KiB
Current children cumulated memory: 67900 KiB

[startup+0.305613 s]*
/proc/loadavg: 7.98 7.96 7.47 8/270 91724
/proc/meminfo: memFree=118070532/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=104116 memory=96980 CPUtime=0.3 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 19707 0 0 0 26 4 0 0 20 0 1 0 78433639 106614784 24245 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 26029 24245 1088 2102 0 23569 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104116 KiB
Current children cumulated memory: 96980 KiB

[startup+0.700188 s]
/proc/loadavg: 7.98 7.96 7.47 8/270 91724
/proc/meminfo: memFree=117998852/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=260872 memory=208540 CPUtime=0.68 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 41504 0 0 0 58 10 0 0 20 0 1 0 78433639 267132928 52135 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 65218 52135 1088 2102 0 62758 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 260872 KiB
Current children cumulated memory: 208540 KiB

[startup+1.5002 s]
/proc/loadavg: 7.90 7.95 7.47 8/270 91724
/proc/meminfo: memFree=117556736/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=686240 memory=658380 CPUtime=1.48 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 146259 0 0 0 121 27 0 0 20 0 1 0 78433639 702709760 164595 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 171560 164595 1344 2102 0 169100 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 686240 KiB
Current children cumulated memory: 658380 KiB

[startup+3.10605 s]
/proc/loadavg: 7.90 7.95 7.47 8/270 91724
/proc/meminfo: memFree=117069836/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=1193056 memory=1129988 CPUtime=3.08 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 230904 0 0 0 267 41 0 0 20 0 1 0 78433639 1221689344 282497 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 298264 282497 1408 2102 0 295804 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1193056 KiB
Current children cumulated memory: 1129988 KiB

[startup+6.30022 s]
/proc/loadavg: 7.83 7.93 7.47 8/270 91724
/proc/meminfo: memFree=116660068/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=1430860 memory=1291852 CPUtime=6.26 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 251640 0 0 0 577 49 0 0 20 0 1 0 78433639 1465200640 322963 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 357715 322963 1536 2102 0 355255 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1430860 KiB
Current children cumulated memory: 1291852 KiB

[startup+12.7002 s]
/proc/loadavg: 7.84 7.93 7.47 8/270 91724
/proc/meminfo: memFree=116369968/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=2639940 memory=2431964 CPUtime=12.64 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 363538 0 0 0 1167 97 0 0 20 0 1 0 78433639 2703298560 607991 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 659985 607991 1824 2102 0 657525 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2639940 KiB
Current children cumulated memory: 2431964 KiB

[startup+25.5002 s]
/proc/loadavg: 7.71 7.90 7.47 7/270 91724
/proc/meminfo: memFree=116266188/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=2804624 memory=2558936 CPUtime=25.39 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 425170 0 0 0 2420 119 0 0 20 0 1 0 78433639 2871934976 639734 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 704582 639734 1856 2102 0 702122 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2804624 KiB
Current children cumulated memory: 2558936 KiB

[startup+51.1058 s]
/proc/loadavg: 7.67 7.86 7.47 9/272 91727
/proc/meminfo: memFree=111060272/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=8685340 memory=6951576 CPUtime=62.75 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 703519 0 0 0 5969 306 0 0 20 0 3 0 78433639 8893788160 1737894 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2171335 1737894 2144 2102 0 2122554 0
[pid=91723/tid=91726] ppid=91720 vsize=8685340 memory=14156 CPUtime=11.27 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 136043 0 0 0 1028 99 0 0 20 0 3 0 78437530 8893788160 1737894 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=8685340 memory=6446416 CPUtime=11.9 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 101308 0 0 0 1123 67 0 0 20 0 3 0 78437530 8893788160 1737894 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 62.75 s
Current children cumulated vsize: 8685340 KiB
Current children cumulated memory: 6951576 KiB

[startup+102.3 s]
/proc/loadavg: 7.78 7.87 7.49 9/272 91729
/proc/meminfo: memFree=110574448/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=8858800 memory=7126820 CPUtime=163.43 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 967966 0 0 0 15878 465 0 0 20 0 3 0 78433639 9071411200 1781705 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2214700 1781705 2144 2102 0 2163190 0
[pid=91723/tid=91726] ppid=91720 vsize=8858800 memory=5632 CPUtime=31.18 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 165482 0 0 0 2960 158 0 0 20 0 3 0 78437530 9071411200 1781705 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=8858800 memory=8903175118957001580 CPUtime=61.4 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 336211 0 0 0 5974 166 0 0 20 0 3 0 78437530 9071411200 1781705 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 163.43 s
Current children cumulated vsize: 8858800 KiB
Current children cumulated memory: 7126820 KiB

[startup+162.3 s]
/proc/loadavg: 8.08 7.94 7.54 8/271 91731
/proc/meminfo: memFree=110690732/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=7634660 memory=6851124 CPUtime=275.05 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 1220911 0 0 0 26906 599 0 0 20 0 3 0 78433639 7817891840 1712781 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 1908665 1712781 2144 2102 0 1856342 0
[pid=91723/tid=91726] ppid=91720 vsize=7634660 memory=14336 CPUtime=54.82 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 182168 0 0 0 5316 166 0 0 20 0 3 0 78437530 7817891840 1712781 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=7634660 memory=7380920 CPUtime=113.01 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 568832 0 0 0 11009 292 0 0 20 0 3 0 78437530 7817891840 1712781 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 275.05 s
Current children cumulated vsize: 7634660 KiB
Current children cumulated memory: 6851124 KiB

[startup+222.3 s]
/proc/loadavg: 8.13 7.99 7.58 9/271 91733
/proc/meminfo: memFree=108977160/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=8894536 memory=7940220 CPUtime=389.3 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 1656754 0 0 0 38058 872 0 0 20 0 3 0 78433639 9108004864 1985055 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2223634 1985055 2144 2102 0 2172049 0
[pid=91723/tid=91726] ppid=91720 vsize=8894536 memory=14336 CPUtime=85.97 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 269414 0 0 0 8361 236 0 0 20 0 3 0 78437530 9108004864 1985055 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=8894536 memory=7825532 CPUtime=167.21 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 913157 0 0 0 16227 494 0 0 20 0 3 0 78437530 9108004864 1985055 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 389.3 s
Current children cumulated vsize: 8894536 KiB
Current children cumulated memory: 7940220 KiB

[startup+282.3 s]
/proc/loadavg: 8.30 8.07 7.64 8/270 91735
/proc/meminfo: memFree=109820252/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=8087368 memory=7247520 CPUtime=503.78 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 1983856 0 0 0 49234 1144 0 0 20 0 3 0 78433639 8281464832 1811880 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2021842 1811880 2144 2102 0 1970279 0
[pid=91723/tid=91726] ppid=91720 vsize=8087368 memory=7140012 CPUtime=111.8 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 307990 0 0 0 10828 352 0 0 20 0 3 0 78437530 8281464832 1811880 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=8087368 memory=7582796 CPUtime=221.47 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 1196851 0 0 0 21497 650 0 0 20 0 3 0 78437530 8281464832 1811880 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 503.78 s
Current children cumulated vsize: 8087368 KiB
Current children cumulated memory: 7247520 KiB

[startup+342.3 s]
/proc/loadavg: 8.39 8.11 7.68 10/271 91785
/proc/meminfo: memFree=111513280/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=9153300 memory=8098548 CPUtime=618.69 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 2305968 0 0 0 60460 1409 0 0 20 0 3 0 78433639 9372979200 2024637 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2288325 2024637 2144 2102 0 2228343 0

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

Current children cumulated memory: 10115376 KiB

[startup+1302.3 s]
/proc/loadavg: 8.18 8.17 8.02 9/273 91883
/proc/meminfo: memFree=102332204/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=11493336 memory=10628560 CPUtime=2493.26 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 8381948 0 0 0 242588 6738 0 0 20 0 3 0 78433639 11769176064 2657140 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2873334 2657140 2144 2102 0 2819885 0
[pid=91723/tid=91726] ppid=91720 vsize=11493336 memory=10299936 CPUtime=936.96 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 1938113 0 0 0 90632 3064 0 0 20 0 3 0 78437530 11769176064 2657140 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=11493336 memory=10119432 CPUtime=1189.3 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 5804959 0 0 0 115417 3513 0 0 20 0 3 0 78437530 11769176064 2657140 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2493.26 s
Current children cumulated vsize: 11493336 KiB
Current children cumulated memory: 10628560 KiB

[startup+1362.3 s]
/proc/loadavg: 8.11 8.15 8.02 9/272 91885
/proc/meminfo: memFree=102502988/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=11041212 memory=10168280 CPUtime=2612.24 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 8738388 0 0 0 254264 6960 0 0 20 0 3 0 78433639 11306201088 2542070 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2760303 2542070 2144 2102 0 2706854 0
[pid=91723/tid=91726] ppid=91720 vsize=11041212 memory=10299936 CPUtime=996.69 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 1996552 0 0 0 96565 3104 0 0 20 0 3 0 78437530 11306201088 2542070 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=11041212 memory=10683152 CPUtime=1247.77 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 6060646 0 0 0 121086 3691 0 0 20 0 3 0 78437530 11306201088 2542070 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2612.24 s
Current children cumulated vsize: 11041212 KiB
Current children cumulated memory: 10168280 KiB

[startup+1422.3 s]
/proc/loadavg: 8.19 8.17 8.03 9/272 91887
/proc/meminfo: memFree=102810788/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=10792292 memory=9916620 CPUtime=2731.23 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 9137369 0 0 0 265915 7208 0 0 20 0 3 0 78433639 11051307008 2479155 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2698073 2479155 2144 2102 0 2644624 0
[pid=91723/tid=91726] ppid=91720 vsize=10792292 memory=10299936 CPUtime=1054.08 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 2043499 0 0 0 102256 3152 0 0 20 0 3 0 78437530 11051307008 2479155 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=10792292 memory=10119432 CPUtime=1305.06 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 6327784 0 0 0 126619 3887 0 0 20 0 3 0 78437530 11051307008 2479155 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2731.23 s
Current children cumulated vsize: 10792292 KiB
Current children cumulated memory: 9916620 KiB

[startup+1482.3 s]
/proc/loadavg: 8.21 8.18 8.04 9/270 91889
/proc/meminfo: memFree=103166180/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=10746372 memory=9885036 CPUtime=2850.2 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 9518295 0 0 0 277479 7541 0 0 20 0 3 0 78433639 11004284928 2471259 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2686593 2471259 2144 2102 0 2633144 0
[pid=91723/tid=91726] ppid=91720 vsize=10746372 memory=14156 CPUtime=1113.34 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 2118928 0 0 0 108112 3222 0 0 20 0 3 0 78437530 11004284928 2471259 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=10746372 memory=9876540 CPUtime=1364.22 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 6603909 0 0 0 132273 4149 0 0 20 0 3 0 78437530 11004284928 2471259 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2850.2 s
Current children cumulated vsize: 10746372 KiB
Current children cumulated memory: 9885036 KiB

[startup+1542.3 s]
/proc/loadavg: 8.12 8.16 8.04 9/270 91891
/proc/meminfo: memFree=103148764/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=10362980 memory=9534412 CPUtime=2969.17 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 9864013 0 0 0 289062 7855 0 0 20 0 3 0 78433639 10611691520 2383603 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2590745 2383603 2144 2102 0 2537296 0
[pid=91723/tid=91726] ppid=91720 vsize=10362980 memory=9916880 CPUtime=1172.57 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 2164373 0 0 0 113968 3289 0 0 20 0 3 0 78437530 10611691520 2383603 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=10362980 memory=14156 CPUtime=1423.44 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 6858901 0 0 0 137952 4392 0 0 20 0 3 0 78437530 10611691520 2383603 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2969.17 s
Current children cumulated vsize: 10362980 KiB
Current children cumulated memory: 9534412 KiB

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

# cumulated CPU time of all completed processes:  user=2913.95 s, system=79.4084 s

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

[startup+1542.4 s]
/proc/loadavg: 8.12 8.16 8.04 9/270 91891
/proc/meminfo: memFree=103148764/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=10506004 memory=9642620 CPUtime=2969.37 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 9872906 0 0 0 289078 7859 0 0 20 0 3 0 78433639 10758148096 2410655 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2626501 2410655 2144 2102 0 2573052 0
[pid=91723/tid=91726] ppid=91720 vsize=10506004 memory=14156 CPUtime=1172.67 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 2164373 0 0 0 113978 3289 0 0 20 0 3 0 78437530 10758148096 2410655 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=10506004 memory=0 CPUtime=1423.53 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 6867794 0 0 0 137958 4395 0 0 20 0 3 0 78437530 10758148096 2410655 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2969.37 s
Current children cumulated vsize: 10506004 KiB
Current children cumulated memory: 9642620 KiB

[startup+1548.8 s]
/proc/loadavg: 8.19 8.17 8.05 9/270 91891
/proc/meminfo: memFree=103281576/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=10764508 memory=9905220 CPUtime=2982.06 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 9890777 0 0 0 290312 7894 0 0 20 0 3 0 78433639 11022856192 2476305 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2691127 2476305 2144 2102 0 2637678 0
[pid=91723/tid=91726] ppid=91720 vsize=10764508 memory=9901124 CPUtime=1178.99 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 2167017 0 0 0 114605 3294 0 0 20 0 3 0 78437530 11022856192 2476305 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=10764508 memory=280776239688336 CPUtime=1429.89 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 6883020 0 0 0 138564 4425 0 0 20 0 3 0 78437530 11022856192 2476305 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2982.06 s
Current children cumulated vsize: 10764508 KiB
Current children cumulated memory: 9905220 KiB

[startup+1552 s]*
/proc/loadavg: 8.17 8.17 8.04 9/270 91891
/proc/meminfo: memFree=102921408/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=10791320 memory=9929984 CPUtime=2988.42 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 9903956 0 0 0 290930 7912 0 0 20 0 3 0 78433639 11050311680 2482496 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2697830 2482496 2144 2102 0 2644381 0
[pid=91723/tid=91726] ppid=91720 vsize=10791320 memory=-8183425882292262338 CPUtime=1182.15 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 2173748 0 0 0 114917 3298 0 0 20 0 3 0 78437530 11050311680 2482496 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=10791320 memory=5632 CPUtime=1432.87 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 6886768 0 0 0 138848 4439 0 0 20 0 3 0 78437530 11050311680 2482496 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2988.42 s
Current children cumulated vsize: 10791320 KiB
Current children cumulated memory: 9929984 KiB

[startup+1553.6 s]
/proc/loadavg: 8.17 8.17 8.04 9/270 91891
/proc/meminfo: memFree=103318228/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=10786164 memory=9769180 CPUtime=2991.58 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) S 91720 91723 89339 0 -1 4194304 9907622 0 0 0 291240 7918 0 0 20 0 3 0 78433639 11045031936 2442295 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2696541 2442295 2144 2102 0 2643092 0
[pid=91723/tid=91726] ppid=91720 vsize=10786164 memory=14156 CPUtime=1183.74 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 2175292 0 0 0 115073 3301 0 0 20 0 3 0 78437530 11045031936 2442295 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=10786164 memory=10624 CPUtime=1434.46 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) R 91720 91723 89339 0 -1 4194368 6888890 0 0 0 139003 4443 0 0 20 0 3 0 78437530 11045031936 2442295 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2991.58 s
Current children cumulated vsize: 10786164 KiB
Current children cumulated memory: 9769180 KiB

[startup+1554.4 s]
/proc/loadavg: 8.17 8.17 8.04 9/270 91891
/proc/meminfo: memFree=103146024/131249996 swapFree=33000896/33010684
[pid=91723] ppid=91720 vsize=8407872 memory=8049120 CPUtime=2992.96 cores=1,3
/proc/91723/stat : 91723 (cp-sat-runner) R 91720 91723 89339 0 -1 4194304 9937847 0 0 0 291373 7923 0 0 20 0 3 0 78433639 8609660928 2012280 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
/proc/91723/statm: 2101968 2012280 2144 2102 0 2048519 0
[pid=91723/tid=91726] ppid=91720 vsize=8407872 memory=-8183434686991995845 CPUtime=1184.21 cores=1,3
/proc/91723/task/91726/stat : 91726 (cp-sat-runner) S 91720 91723 89339 0 -1 4194368 2175684 0 0 0 115120 3301 0 0 20 0 3 0 78437530 8609660928 2012280 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
[pid=91723/tid=91727] ppid=91720 vsize=8407872 memory=9216 CPUtime=1435.04 cores=1,3
/proc/91723/task/91727/stat : 91727 (cp-sat-runner) S 91720 91723 89339 0 -1 4194368 6888957 0 0 0 139059 4445 0 0 20 0 3 0 78437530 8609660928 2012280 18446744073709551615 4198400 12805993 140726865542288 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 14146912 14333620 16027648 140726865549590 140726865549795 140726865549795 140726865555399 0
Current children cumulated CPU time: 2992.96 s
Current children cumulated vsize: 8407872 KiB
Current children cumulated memory: 8049120 KiB

[startup+1554.8 s]*
/proc/loadavg: 8.17 8.17 8.04 8/268 91891
/proc/meminfo: memFree=112951940/131249996 swapFree=33000896/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 1554.81
CPU time (s): 2993.36
CPU user time (s): 2913.95
CPU system time (s): 79.4084
CPU usage (%): 192.523
Max. virtual memory (cumulated for all children) (KiB): 11914464
Max. memory (cumulated for all children) (KiB): 10938272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2913.95
system time used= 79.4084
maximum resident set size= 10952124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10046678
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= 22839
involuntary context switches= 165875


# summary of solver processes directly reported to runsolver:
#   pid: 91723
#   total CPU time (s): 2993.36
#   total CPU user time (s): 2913.95
#   total CPU system time (s): 79.4084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64553 second user time and 7.76928 second system time

The end

Begin job on nodeC023 at 2025-07-04 13:12:38
IDJOB=4526664
IDBENCH=144137
IDSOLVER=3378
FILE ID=nodeC023/4526664-1751627557
RUNJOBID= nodeC023-1751625557-89351
SLURM_JOB_ID= 9598950
Free space on /tmp= 431752 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph12_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-4526664-1751627557/watcher-4526664-1751627557 -o /tmp/evaluation-result-4526664-1751627557/solver-4526664-1751627557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89351 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1637175038 --competition_mode --input HOME/instance-4526664-1751627557.wbo

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

MD5SUM BENCH= f7c32201343af4658b05b95f6b622952
RANDOM SEED=1637175038

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        118145456 kB
MemAvailable:   118049592 kB
Buffers:              16 kB
Cached:           646712 kB
SwapCached:         2904 kB
Active:         11793716 kB
Inactive:         503208 kB
Active(anon):   11609364 kB
Inactive(anon):    53364 kB
Active(file):     184352 kB
Inactive(file):   449844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             47996 kB
Writeback:            52 kB
AnonPages:      11650236 kB
Mapped:           124168 kB
Shmem:             12532 kB
KReclaimable:     218360 kB
Slab:             310404 kB
SReclaimable:     218360 kB
SUnreclaim:        92044 kB
KernelStack:        4352 kB
PageTables:        26236 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   13226004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7677952 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431732 MiB
End job on nodeC023 at 2025-07-04 13:38:33