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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=143172, runsolver pid=143169

[startup+0.10006 s]*
/proc/loadavg: 3.88 1.13 0.44 8/272 143173
/proc/meminfo: memFree=115153076/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=45100 memory=35004 CPUtime=0.09 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 8265 0 0 0 8 1 0 0 20 0 1 0 172867529 46182400 8751 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 11275 8751 1088 2102 0 8815 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45100 KiB
Current children cumulated memory: 35004 KiB

[startup+0.205812 s]*
/proc/loadavg: 3.88 1.13 0.44 8/272 143173
/proc/meminfo: memFree=115116848/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=80356 memory=66108 CPUtime=0.2 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 14528 0 0 0 17 3 0 0 20 0 1 0 172867529 82284544 16527 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 20089 16527 1088 2102 0 17629 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80356 KiB
Current children cumulated memory: 66108 KiB

[startup+0.30593 s]*
/proc/loadavg: 3.88 1.13 0.44 8/272 143173
/proc/meminfo: memFree=115092908/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=102796 memory=96668 CPUtime=0.3 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 20129 0 0 0 26 4 0 0 20 0 1 0 172867529 105263104 24167 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 25699 24167 1088 2102 0 23239 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102796 KiB
Current children cumulated memory: 96668 KiB

[startup+0.700177 s]
/proc/loadavg: 4.13 1.22 0.48 8/272 143173
/proc/meminfo: memFree=115015980/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=258760 memory=205608 CPUtime=0.69 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 41769 0 0 0 60 9 0 0 20 0 1 0 172867529 264970240 51402 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 64690 51402 1088 2102 0 62230 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 258760 KiB
Current children cumulated memory: 205608 KiB

[startup+1.50019 s]
/proc/loadavg: 4.13 1.22 0.48 8/272 143173
/proc/meminfo: memFree=114616868/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=681468 memory=656288 CPUtime=1.48 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 144966 0 0 0 123 25 0 0 20 0 1 0 172867529 697823232 164072 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 170367 164072 1344 2102 0 167907 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 681468 KiB
Current children cumulated memory: 656288 KiB

[startup+3.10542 s]
/proc/loadavg: 4.13 1.22 0.48 8/272 143173
/proc/meminfo: memFree=114072992/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=1193056 memory=1130776 CPUtime=3.08 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 230826 0 0 0 269 39 0 0 20 0 1 0 172867529 1221689344 282694 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 298264 282694 1408 2102 0 295804 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1193056 KiB
Current children cumulated memory: 1130776 KiB

[startup+6.30013 s]
/proc/loadavg: 4.36 1.32 0.52 8/273 143175
/proc/meminfo: memFree=113882388/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=1485112 memory=1331440 CPUtime=6.27 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 253088 0 0 0 578 49 0 0 20 0 1 0 172867529 1520754688 332860 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 371278 332860 1536 2102 0 368818 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1485112 KiB
Current children cumulated memory: 1331440 KiB

[startup+12.7002 s]
/proc/loadavg: 4.65 1.43 0.56 8/273 143175
/proc/meminfo: memFree=112699188/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=2638300 memory=2431076 CPUtime=12.65 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 359696 0 0 0 1171 94 0 0 20 0 1 0 172867529 2701619200 607769 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 659575 607769 1856 2102 0 657115 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2638300 KiB
Current children cumulated memory: 2431076 KiB

[startup+25.5002 s]
/proc/loadavg: 4.85 1.58 0.61 6/265 143206
/proc/meminfo: memFree=113213788/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=3057864 memory=2837460 CPUtime=25.37 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 422545 0 0 0 2414 123 0 0 20 0 1 0 172867529 3131252736 709365 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 764466 709365 1888 2102 0 762006 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 3057864 KiB
Current children cumulated memory: 2837460 KiB

[startup+51.1056 s]
/proc/loadavg: 5.21 1.98 0.78 7/267 143208
/proc/meminfo: memFree=108752124/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=8871332 memory=7125068 CPUtime=64.05 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 705363 0 0 0 6096 309 0 0 20 0 3 0 172867529 9084243968 1781267 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2217833 1781267 2144 2102 0 2148413 0
[pid=143172/tid=143207] ppid=143169 vsize=8871332 memory=7044548 CPUtime=11.7 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 144099 0 0 0 1069 101 0 0 20 0 3 0 172871285 9084243968 1781267 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=8871332 memory=6553972 CPUtime=13.27 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 108059 0 0 0 1257 70 0 0 20 0 3 0 172871285 9084243968 1781267 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 64.05 s
Current children cumulated vsize: 8871332 KiB
Current children cumulated memory: 7125068 KiB

[startup+102.3 s]
/proc/loadavg: 5.77 2.63 1.06 7/267 143210
/proc/meminfo: memFree=108498124/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=8969640 memory=7372588 CPUtime=165.27 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 962692 0 0 0 16113 414 0 0 20 0 3 0 172867529 9184911360 1843147 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2242410 1843147 2144 2102 0 2178979 0
[pid=143172/tid=143207] ppid=143169 vsize=8969640 memory=7366404 CPUtime=32.71 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) S 143169 143172 142899 0 -1 4194368 166702 0 0 0 3163 108 0 0 20 0 3 0 172871285 9184911360 1843147 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=8969640 memory=14432 CPUtime=63.87 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 339237 0 0 0 6220 167 0 0 20 0 3 0 172871285 9184911360 1843147 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 165.27 s
Current children cumulated vsize: 8969640 KiB
Current children cumulated memory: 7372588 KiB

[startup+162.3 s]
/proc/loadavg: 5.90 3.25 1.37 7/267 143212
/proc/meminfo: memFree=108596332/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=8322824 memory=7308784 CPUtime=276.04 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 1320642 0 0 0 27004 600 0 0 20 0 3 0 172867529 8522571776 1827196 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2080706 1827196 2144 2102 0 2019806 0
[pid=143172/tid=143207] ppid=143169 vsize=8322824 memory=7310792 CPUtime=58.31 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 192423 0 0 0 5709 122 0 0 20 0 3 0 172871285 8522571776 1827196 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=8322824 memory=7072008 CPUtime=114.99 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 671359 0 0 0 11160 339 0 0 20 0 3 0 172871285 8522571776 1827196 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 276.04 s
Current children cumulated vsize: 8322824 KiB
Current children cumulated memory: 7308784 KiB

[startup+222.3 s]
/proc/loadavg: 6.06 3.78 1.68 7/267 143214
/proc/meminfo: memFree=107877340/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=9104076 memory=7987988 CPUtime=393.88 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 1698528 0 0 0 38555 833 0 0 20 0 3 0 172867529 9322573824 1996997 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2276019 1996997 2144 2102 0 2214432 0
[pid=143172/tid=143207] ppid=143169 vsize=9104076 memory=14432 CPUtime=89.42 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) S 143169 143172 142899 0 -1 4194368 267395 0 0 0 8745 197 0 0 20 0 3 0 172871285 9322573824 1996997 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=9104076 memory=7942932 CPUtime=173.05 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 970371 0 0 0 16810 495 0 0 20 0 3 0 172871285 9322573824 1996997 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 393.88 s
Current children cumulated vsize: 9104076 KiB
Current children cumulated memory: 7987988 KiB

[startup+282.3 s]
/proc/loadavg: 6.03 4.20 1.96 7/265 143217
/proc/meminfo: memFree=108074836/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=8706620 memory=7739140 CPUtime=506.57 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 2062284 0 0 0 49501 1156 0 0 20 0 3 0 172867529 8915578880 1934785 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2176655 1934785 2144 2102 0 2118344 0
[pid=143172/tid=143207] ppid=143169 vsize=8706620 memory=4760 CPUtime=115.93 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 300493 0 0 0 11279 314 0 0 20 0 3 0 172871285 8915578880 1934785 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=8706620 memory=14432 CPUtime=225.59 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 1299401 0 0 0 21859 700 0 0 20 0 3 0 172871285 8915578880 1934785 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 506.57 s
Current children cumulated vsize: 8706620 KiB
Current children cumulated memory: 7739140 KiB

[startup+342.3 s]
/proc/loadavg: 6.15 4.57 2.23 7/263 143219
/proc/meminfo: memFree=108262156/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=8614416 memory=7654436 CPUtime=622.7 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 2365366 0 0 0 60824 1446 0 0 20 0 3 0 172867529 8821161984 1913609 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2153604 1913609 2144 2102 0 2085836 0
[pid=143172/tid=143207] ppid=143169 vsize=8614416 memory=14432 CPUtime=142.5 cores=0,2

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

[pid=143172/tid=143208] ppid=143169 vsize=9783776 memory=14432 CPUtime=1228.51 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 5730900 0 0 0 118958 3893 0 0 20 0 3 0 172871285 10018586624 2219676 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 2590.65 s
Current children cumulated vsize: 9783776 KiB
Current children cumulated memory: 8878704 KiB

[startup+1422.3 s]
/proc/loadavg: 6.05 6.02 4.90 7/266 143279
/proc/meminfo: memFree=106957464/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=9726444 memory=8770340 CPUtime=2709.7 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 8999521 0 0 0 262894 8076 0 0 20 0 3 0 172867529 9959878656 2192585 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2431611 2192585 2144 2102 0 2374033 0
[pid=143172/tid=143207] ppid=143169 vsize=9726444 memory=8764168 CPUtime=912.08 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 2308166 0 0 0 87431 3777 0 0 20 0 3 0 172871285 9959878656 2192585 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=9726444 memory=14432 CPUtime=1287.6 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 5947999 0 0 0 124653 4107 0 0 20 0 3 0 172871285 9959878656 2192585 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 2709.7 s
Current children cumulated vsize: 9726444 KiB
Current children cumulated memory: 8770340 KiB

[startup+1482.3 s]
/proc/loadavg: 6.12 6.04 4.98 7/264 143281
/proc/meminfo: memFree=106937444/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=9127096 memory=8281592 CPUtime=2828.75 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 9463927 0 0 0 274383 8492 0 0 20 0 3 0 172867529 9346146304 2070398 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2281774 2070398 2144 2102 0 2224196 0
[pid=143172/tid=143207] ppid=143169 vsize=9127096 memory=8697636 CPUtime=971.4 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 2441762 0 0 0 93154 3986 0 0 20 0 3 0 172871285 9346146304 2070398 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=9127096 memory=21120 CPUtime=1346.98 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 6267734 0 0 0 130387 4311 0 0 20 0 3 0 172871285 9346146304 2070398 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 2828.75 s
Current children cumulated vsize: 9127096 KiB
Current children cumulated memory: 8281592 KiB

[startup+1542.3 s]
/proc/loadavg: 6.09 6.05 5.05 7/263 143283
/proc/meminfo: memFree=106810424/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=9678500 memory=8767596 CPUtime=2947.79 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 9681709 0 0 0 285883 8896 0 0 20 0 3 0 172867529 9910784000 2191899 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2419625 2191899 2144 2102 0 2362047 0
[pid=143172/tid=143207] ppid=143169 vsize=9678500 memory=-6953132045706957929 CPUtime=1030.73 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 2578474 0 0 0 98872 4201 0 0 20 0 3 0 172871285 9910784000 2191899 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=9678500 memory=8400828 CPUtime=1406.39 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 6346832 0 0 0 136138 4501 0 0 20 0 3 0 172871285 9910784000 2191899 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 2947.79 s
Current children cumulated vsize: 9678500 KiB
Current children cumulated memory: 8767596 KiB

[startup+1602.3 s]
/proc/loadavg: 6.17 6.07 5.12 7/264 143287
/proc/meminfo: memFree=106932184/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=9661872 memory=8727020 CPUtime=3066.82 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 10143223 0 0 0 297478 9204 0 0 20 0 3 0 172867529 9893756928 2181755 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2415468 2181755 2144 2102 0 2350326 0
[pid=143172/tid=143207] ppid=143169 vsize=9661872 memory=8665364 CPUtime=1089.81 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 2708210 0 0 0 104661 4320 0 0 20 0 3 0 172871285 9893756928 2181755 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=9661872 memory=14432 CPUtime=1461.97 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 6629533 0 0 0 141513 4684 0 0 20 0 3 0 172871285 9893756928 2181755 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 3066.82 s
Current children cumulated vsize: 9661872 KiB
Current children cumulated memory: 8727020 KiB

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

# cumulated CPU time of all completed processes:  user=2999.86 s, system=92.924 s

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

[startup+1606.4 s]
/proc/loadavg: 6.16 6.07 5.13 7/264 143288
/proc/meminfo: memFree=106945280/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=9528956 memory=8485604 CPUtime=3074.95 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 10161394 0 0 0 298271 9224 0 0 20 0 3 0 172867529 9757650944 2121401 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2382239 2121401 2144 2102 0 2324661 0
[pid=143172/tid=143207] ppid=143169 vsize=9528956 memory=8630700 CPUtime=1093.89 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 2715206 0 0 0 105062 4327 0 0 20 0 3 0 172871285 9757650944 2121401 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=9528956 memory=8630700 CPUtime=1466.02 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 6640708 0 0 0 141904 4698 0 0 20 0 3 0 172871285 9757650944 2121401 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 3074.95 s
Current children cumulated vsize: 9528956 KiB
Current children cumulated memory: 8485604 KiB

[startup+1609.6 s]
/proc/loadavg: 6.16 6.07 5.13 7/264 143288
/proc/meminfo: memFree=107152128/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=9652788 memory=8685320 CPUtime=3081.3 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 10176038 0 0 0 298885 9245 0 0 20 0 3 0 172867529 9884454912 2171330 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2413197 2171330 2144 2102 0 2355619 0
[pid=143172/tid=143207] ppid=143169 vsize=9652788 memory=8639204 CPUtime=1097.07 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 2725547 0 0 0 105375 4332 0 0 20 0 3 0 172871285 9884454912 2171330 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=9652788 memory=8641200 CPUtime=1469.18 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 6645011 0 0 0 142204 4714 0 0 20 0 3 0 172871285 9884454912 2171330 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 3081.3 s
Current children cumulated vsize: 9652788 KiB
Current children cumulated memory: 8685320 KiB

[startup+1612.8 s]
/proc/loadavg: 6.15 6.07 5.13 7/264 143288
/proc/meminfo: memFree=106799116/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=9706040 memory=8808096 CPUtime=3087.65 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 10187616 0 0 0 299514 9251 0 0 20 0 3 0 172867529 9938984960 2202024 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2426510 2202024 2144 2102 0 2368932 0
[pid=143172/tid=143207] ppid=143169 vsize=9706040 memory=8718208 CPUtime=1100.02 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 2734769 0 0 0 105666 4336 0 0 20 0 3 0 172871285 9938984960 2202024 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=9706040 memory=8728940 CPUtime=1472.18 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 6645053 0 0 0 142503 4715 0 0 20 0 3 0 172871285 9938984960 2202024 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 3087.65 s
Current children cumulated vsize: 9706040 KiB
Current children cumulated memory: 8808096 KiB

[startup+1614.4 s]
/proc/loadavg: 6.15 6.07 5.13 7/264 143288
/proc/meminfo: memFree=107258276/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=9159864 memory=8292640 CPUtime=3090.82 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) S 143169 143172 142899 0 -1 4194304 10190767 0 0 0 299824 9258 0 0 20 0 3 0 172867529 9379700736 2073160 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 2289966 2073160 2144 2102 0 2232388 0
[pid=143172/tid=143207] ppid=143169 vsize=9159864 memory=8808096 CPUtime=1101.62 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 2734914 0 0 0 105826 4336 0 0 20 0 3 0 172871285 9379700736 2073160 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=9159864 memory=5148 CPUtime=1473.57 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) R 143169 143172 142899 0 -1 4194368 6647302 0 0 0 142635 4722 0 0 20 0 3 0 172871285 9379700736 2073160 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 3090.82 s
Current children cumulated vsize: 9159864 KiB
Current children cumulated memory: 8292640 KiB

[startup+1615.2 s]
/proc/loadavg: 6.15 6.07 5.13 7/264 143288
/proc/meminfo: memFree=106944360/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=7588740 memory=7093204 CPUtime=3092.24 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 10200070 0 0 0 299954 9270 0 0 20 0 3 0 172867529 7770869760 1773301 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 1897185 1773301 2144 2102 0 1839997 0
[pid=143172/tid=143207] ppid=143169 vsize=7588740 memory=14432 CPUtime=1102.16 cores=0,2
/proc/143172/task/143207/stat : 143207 (cp_sat_runner) S 143169 143172 142899 0 -1 4194368 2737623 0 0 0 105878 4338 0 0 20 0 3 0 172871285 7770869760 1773301 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
[pid=143172/tid=143208] ppid=143169 vsize=7588740 memory=21120 CPUtime=1474.1 cores=0,2
/proc/143172/task/143208/stat : 143208 (cp_sat_runner) S 143169 143172 142899 0 -1 4194368 6648511 0 0 0 142679 4731 0 0 20 0 3 0 172871285 7770869760 1773301 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
Current children cumulated CPU time: 3092.24 s
Current children cumulated vsize: 7588740 KiB
Current children cumulated memory: 7093204 KiB

[startup+1615.6 s]
/proc/loadavg: 6.15 6.07 5.13 7/264 143288
/proc/meminfo: memFree=106944360/131250000 swapFree=33010160/33010684
[pid=143172] ppid=143169 vsize=5303900 memory=4971192 CPUtime=3092.64 cores=0,2
/proc/143172/stat : 143172 (cp_sat_runner) R 143169 143172 142899 0 -1 4194304 10335779 0 0 0 299985 9279 0 0 20 0 1 0 172867529 5431193600 1242798 18446744073709551615 4198400 12806697 140732616355216 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 24760320 140732616358165 140732616358369 140732616358369 140732616363975 0
/proc/143172/statm: 1325975 1242798 2144 2102 0 1271007 0
Current children cumulated CPU time: 3092.64 s
Current children cumulated vsize: 5303900 KiB
Current children cumulated memory: 4971192 KiB

[startup+1615.7 s]*
/proc/loadavg: 6.15 6.07 5.13 6/262 143288
/proc/meminfo: memFree=113612160/131250000 swapFree=33010160/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): 1615.74
CPU time (s): 3092.78
CPU user time (s): 2999.86
CPU system time (s): 92.924
CPU usage (%): 191.416
Max. virtual memory (cumulated for all children) (KiB): 10241120
Max. memory (cumulated for all children) (KiB): 9299236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2999.86
system time used= 92.924
maximum resident set size= 9299236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10335855
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= 26546
involuntary context switches= 51201


# summary of solver processes directly reported to runsolver:
#   pid: 143172
#   total CPU time (s): 3092.78
#   total CPU user time (s): 2999.86
#   total CPU system time (s): 92.924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.16016 second user time and 7.92245 second system time

The end

Begin job on nodeC016 at 2025-07-15 11:31:39
IDJOB=4529515
IDBENCH=144137
IDSOLVER=3387
FILE ID=nodeC016/4529515-1752571898
RUNJOBID= nodeC016-1752571843-142916
SLURM_JOB_ID= 9683885
Free space on /tmp= 430732 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
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-4529515-1752571898/watcher-4529515-1752571898 -o /tmp/evaluation-result-4529515-1752571898/solver-4529515-1752571898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1752571843-142916 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:802237474 --competition_mode --input HOME/instance-4529515-1752571898.wbo

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

MD5SUM BENCH= f7c32201343af4658b05b95f6b622952
RANDOM SEED=802237474

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        115172676 kB
MemAvailable:   127474304 kB
Buffers:            2144 kB
Cached:         13013188 kB
SwapCached:           28 kB
Active:          2939240 kB
Inactive:       12278244 kB
Active(anon):    2218084 kB
Inactive(anon):     2112 kB
Active(file):     721156 kB
Inactive(file): 12276132 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             78424 kB
Writeback:             4 kB
AnonPages:       2203004 kB
Mapped:           133056 kB
Shmem:             18044 kB
KReclaimable:     287160 kB
Slab:             388880 kB
SReclaimable:     287160 kB
SUnreclaim:       101720 kB
KernelStack:        4384 kB
PageTables:         7448 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2695300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430732 MiB
End job on nodeC016 at 2025-07-15 11:58:36