71.78/65.54	o 91844171
80.31/69.84	o 86844164
342.68/202.72	o 85813658
365.16/214.61	o 83833860
373.24/219.46	o 81833860
392.50/230.05	o 77813962
409.82/239.17	o 76794169
411.07/239.87	o 75753757
420.61/245.04	o 74743358
460.96/266.13	o 72773356
472.81/272.44	o 67743150
475.56/274.02	o 64733451
507.43/290.29	o 64733350
515.05/294.11	o 63733253
536.50/305.79	o 63733252
551.87/313.62	o 62753154
637.98/358.13	o 62753153
653.19/366.35	o 60753254
654.05/366.89	o 60753152
693.05/387.31	o 59723256
706.72/394.87	o 59723051
778.33/431.69	o 57713153
818.88/452.72	o 57713053
863.72/475.92	o 57713052
909.22/499.23	o 57693055
926.93/508.47	o 57683054
959.79/525.97	o 57683053
990.91/542.77	o 55743872
991.95/543.32	o 54673271
1005.85/550.47	o 52693374
1013.15/554.36	o 52683170
1082.72/590.09	o 51695078
1103.30/601.28	o 47674377
1157.75/629.15	o 47624173
1199.50/650.71	o 47603972
1224.74/664.39	o 42573969
1228.45/666.57	o 40573969
1274.94/690.52	o 40573670
1284.43/695.52	o 39563670
1290.65/698.90	o 38563672
1331.91/720.23	o 38563671
1351.84/730.77	o 38553671
1448.10/780.43	o 32704889
1472.20/793.04	o 32704789
1492.64/803.57	o 32694789
1515.46/815.04	o 30665095
1518.44/816.74	o 29644693
1533.89/824.53	o 29614797
1625.90/871.82	o 28615002
1692.29/905.98	o 27604998
1714.29/917.74	o 27595300
1732.92/927.98	o 27594998
1747.34/935.33	o 26614895
1768.03/946.52	o 26614892
1913.52/1021.21	o 26595503
1927.82/1028.98	o 26575609
1937.48/1034.07	o 26525100
1948.86/1040.47	o 26505907
1977.81/1055.89	o 25495907
2005.53/1070.07	o 25485402
2051.20/1093.99	o 25475402
2104.23/1121.65	o 25445301
2225.10/1184.24	o 25435402
2230.04/1186.78	o 25435102
2268.61/1206.75	o 25394800
2303.46/1224.84	o 25394697
2309.92/1228.27	o 24384900
2384.97/1266.89	o 23465706
2403.31/1276.48	o 23465607
2440.86/1296.06	o 23465506
2467.27/1309.98	o 23465407
2496.50/1325.09	o 22485812
2506.54/1330.40	o 22425096
2573.76/1365.91	o 22415094
2589.71/1374.03	o 22395196
2634.34/1397.32	o 22395195
2690.16/1426.17	o 22395095
2742.70/1453.57	o 22385103
2757.67/1461.23	o 22385102
2773.39/1469.98	o 22385101
2852.73/1510.25	o 22375206
2938.25/1553.30	o 22375205
2958.27/1563.91	o 22375109
2975.05/1572.63	o 22355106
3024.02/1598.48	o 22345107
3085.91/1630.57	o 22345106
3105.22/1640.60	o 22344908
3109.69/1642.98	o 22334910
3121.44/1649.31	o 22304906
3135.84/1657.21	o 22304805
3154.24/1666.55	o 22304804
3155.85/1667.45	o 17254397
3170.93/1675.60	o 17244798
3213.91/1697.67	o 15244897
3296.21/1740.02	o 15244797
3314.78/1750.15	o 15244696
3378.48/1783.70	o 15234896
3386.89/1788.07	o 15234796
3572.18/1884.67	o 12214801
3600.05/1898.90	s SATISFIABLE
3600.05/1898.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.05/1898.90	v -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 
3600.05/1898.90	v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 
3600.05/1898.90	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 
3600.05/1898.90	v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 
3600.05/1898.90	v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 
3600.05/1898.90	v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 
3600.05/1898.90	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 
3600.05/1898.90	v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 
3600.05/1898.90	v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 
3600.05/1898.90	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 
3600.05/1898.90	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 
3600.05/1898.90	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
3600.05/1898.90	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 
3600.05/1898.90	v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 
3600.05/1898.90	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 
3600.05/1898.90	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 
3600.05/1898.90	v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
3600.05/1898.90	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 
3600.05/1898.90	v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 
3600.05/1898.90	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 
3600.05/1898.90	v -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 
3600.05/1898.90	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 
3600.05/1898.90	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 
3600.05/1898.90	v x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 
3600.05/1898.90	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
3600.05/1898.90	v x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 
3600.05/1898.90	v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 
3600.05/1898.90	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 
3600.05/1898.90	v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 
3600.05/1898.90	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 
3600.05/1898.90	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 
3600.05/1898.90	v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 
3600.05/1898.90	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
3600.05/1898.90	v -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 
3600.05/1898.90	v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 
3600.05/1898.90	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 
3600.05/1898.90	v -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 
3600.05/1898.90	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 
3600.05/1898.90	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 
3600.05/1898.90	v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 
3600.05/1898.90	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 
3600.05/1898.90	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 
3600.05/1898.90	v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 
3600.05/1898.90	v -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 
3600.05/1898.90	v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 
3600.05/1898.90	v -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 
3600.05/1898.90	v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 
3600.05/1898.90	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 
3600.05/1898.90	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 
3600.05/1898.90	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 
3600.05/1898.90	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 
3600.05/1898.90	v -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 
3600.05/1898.90	v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 
3600.05/1898.90	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
3600.05/1898.90	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 
3600.05/1898.90	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 
3600.05/1898.90	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 
3600.05/1898.90	v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 
3600.05/1898.90	v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 
3600.05/1898.90	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 
3600.05/1898.90	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 
3600.05/1898.90	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
3600.05/1898.90	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 
3600.05/1898.90	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 
3600.05/1898.90	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 
3600.05/1898.90	v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 
3600.05/1898.90	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 
3600.05/1898.90	v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 
3600.05/1898.90	v -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 
3600.05/1898.90	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
3600.05/1898.90	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 
3600.05/1898.90	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 
3600.05/1898.90	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 
3600.05/1898.90	v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 
3600.05/1898.90	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 
3600.05/1898.90	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 
3600.05/1898.90	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 
3600.05/1898.90	v -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 
3600.05/1898.90	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 
3600.05/1898.90	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 
3600.05/1898.90	v -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 
3600.05/1898.90	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 
3600.05/1898.90	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
3600.05/1898.90	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 
3600.05/1898.90	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 
3600.05/1898.90	v x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 
3600.05/1898.90	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 
3600.05/1898.90	v -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3600.05/1898.90	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 
3600.05/1898.90	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 
3600.05/1898.90	v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 
3600.05/1898.90	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 
3600.05/1898.90	v -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 
3600.05/1898.90	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 
3600.05/1898.90	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 
3600.05/1898.90	v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 
3600.05/1898.90	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 
3600.05/1898.90	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 
3600.05/1898.90	v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 
3600.05/1898.90	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 
3600.05/1898.90	v -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
3600.05/1898.90	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 
3600.05/1898.90	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 
3600.05/1898.90	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 
3600.05/1898.90	v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 
3600.05/1898.90	v -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 
3600.05/1898.90	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 
3600.05/1898.90	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 
3600.05/1898.90	v x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 
3600.05/1898.90	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 
3600.05/1898.90	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
3600.05/1898.90	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 
3600.05/1898.90	v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 
3600.05/1898.90	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 
3600.05/1898.90	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 
3600.05/1898.90	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 
3600.05/1898.90	v -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 
3600.05/1898.90	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 
3600.05/1898.90	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 
3600.05/1898.90	v -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 
3600.05/1898.90	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 
3600.05/1898.90	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 
3600.05/1898.90	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 
3600.05/1898.90	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 
3600.05/1898.90	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 
3600.05/1898.90	v -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 
3600.05/1898.90	v -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 
3600.05/1898.90	v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 
3600.05/1898.90	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 
3600.05/1898.90	v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 
3600.05/1898.90	v -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 
3600.05/1898.90	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 
3600.05/1898.90	v -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 
3600.05/1898.90	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 
3600.05/1898.90	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 
3600.05/1898.90	v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 
3600.05/1898.90	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 
3600.05/1898.90	v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 
3600.05/1898.90	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 
3600.05/1898.90	v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 
3600.05/1898.90	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 
3600.05/1898.90	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 
3600.05/1898.90	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 
3600.05/1898.90	v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 
3600.05/1898.90	v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 
3600.05/1898.90	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 
3600.05/1898.90	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 
3600.05/1898.90	v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 
3600.05/1898.90	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 
3600.05/1898.90	v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 
3600.05/1898.90	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 
3600.05/1898.90	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 
3600.05/1898.90	v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 
3600.05/1898.90	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 
3600.05/1898.90	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 
3600.05/1898.90	v -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 
3600.05/1898.90	v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 
3600.05/1898.90	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 
3600.05/1898.90	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 
3600.05/1898.90	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 
3600.05/1898.90	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 
3600.05/1898.90	v -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 
3600.05/1898.90	v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 
3600.05/1898.90	v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 
3600.05/1898.90	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 
3600.05/1898.90	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 
3600.05/1898.90	v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 
3600.05/1898.90	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 
3600.05/1898.90	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 
3600.05/1898.90	v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 
3600.05/1898.90	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 
3600.05/1898.90	v x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 
3600.05/1898.90	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 
3600.05/1898.90	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 
3600.05/1898.90	v -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 
3600.05/1898.90	v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 
3600.05/1898.90	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 
3600.05/1898.90	v -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 
3600.05/1898.90	v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 
3600.05/1898.90	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 
3600.05/1898.90	v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 
3600.05/1898.90	v -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 
3600.05/1898.90	v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 
3600.05/1898.90	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 
3600.05/1898.90	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 
3600.05/1898.90	v -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 
3600.05/1898.90	v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 
3600.05/1898.90	v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 
3600.05/1898.90	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 
3600.05/1898.90	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 
3600.05/1898.90	v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 
3600.05/1898.90	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 
3600.05/1898.90	v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 
3600.05/1898.90	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 
3600.05/1898.90	v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 
3600.05/1898.90	v -x2325 -x2326 x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 
3600.05/1898.90	v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 
3600.05/1898.90	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 
3600.05/1898.90	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 
3600.05/1898.90	v -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 
3600.05/1898.90	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 
3600.05/1898.90	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 
3600.05/1898.90	v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 
3600.05/1898.90	v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 
3600.05/1898.90	v x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 
3600.05/1898.90	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 
3600.05/1898.90	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 
3600.05/1898.90	v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 
3600.05/1898.90	v x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 
3600.05/1898.90	v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 
3600.05/1898.90	v -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 
3600.05/1898.90	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 
3600.05/1898.90	v -x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 
3600.05/1898.90	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 
3600.05/1898.90	v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 
3600.05/1898.90	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 
3600.05/1898.90	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 
3600.05/1898.90	v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 
3600.05/1898.90	v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 
3600.05/1898.90	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 
3600.05/1898.90	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 
3600.05/1898.90	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 
3600.05/1898.90	v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 
3600.05/1898.90	v -x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 
3600.05/1898.90	v -x2644 -x2645 -x2646 -x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 
3600.05/1898.90	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 
3600.05/1898.90	v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 
3600.05/1898.90	v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 
3600.05/1898.90	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 
3600.05/1898.90	v -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 
3600.05/1898.90	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 
3600.05/1898.90	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 
3600.05/1898.90	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 
3600.05/1898.90	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 
3600.05/1898.90	v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 
3600.05/1898.90	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 
3600.05/1898.90	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 
3600.05/1898.90	v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 
3600.05/1898.90	v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 
3600.05/1898.90	v x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 
3600.05/1898.90	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 
3600.05/1898.90	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 
3600.05/1898.90	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 
3600.05/1898.90	v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 
3600.05/1898.90	v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 
3600.05/1898.90	v -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 
3600.05/1898.90	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 
3600.05/1898.90	v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 
3600.05/1898.90	v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 
3600.05/1898.90	v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 
3600.05/1898.90	v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 -x2940 
3600.05/1898.90	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 
3600.05/1898.90	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 
3600.05/1898.90	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 
3600.05/1898.90	v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 
3600.05/1898.90	v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 
3600.05/1898.90	v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 
3600.05/1898.90	v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 
3600.05/1898.90	v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 
3600.05/1898.90	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 
3600.05/1898.90	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 
3600.05/1898.90	v x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 
3600.05/1898.90	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 
3600.05/1898.90	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 
3600.05/1898.90	v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 
3600.05/1898.90	v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 
3600.05/1898.90	v -x3106 -x3107 -x3108 -x3109 x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 
3600.05/1898.90	v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 
3600.05/1898.90	v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 
3600.05/1898.90	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 
3600.05/1898.90	v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 
3600.05/1898.90	v -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 
3600.05/1898.90	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 
3600.05/1898.90	v x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 
3600.05/1898.90	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 
3600.05/1898.90	v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 
3600.05/1898.90	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 
3600.05/1898.90	v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 x3237 
3600.05/1898.90	v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 
3600.05/1898.90	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 
3600.05/1898.90	v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 
3600.05/1898.90	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 
3600.05/1898.90	v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 
3600.05/1898.90	v -x3293 -x3294 -x3295 -x3296 x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 
3600.05/1898.90	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 
3600.05/1898.90	v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 
3600.05/1898.90	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 
3600.05/1898.90	v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 
3600.05/1898.90	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 
3600.05/1898.90	v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 
3600.05/1898.90	v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 
3600.05/1898.90	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x3391 
3600.05/1898.90	v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 
3600.05/1898.90	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 
3600.05/1898.90	v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 
3600.05/1898.90	v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 
3600.05/1898.90	v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 
3600.05/1898.90	v x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 
3600.05/1898.90	v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 
3600.05/1898.90	v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 
3600.05/1898.90	v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 
3600.05/1898.90	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 -x3501 
3600.05/1898.90	v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 
3600.05/1898.90	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 
3600.05/1898.90	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 
3600.05/1898.90	v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 
3600.05/1898.90	v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 
3600.05/1898.90	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567 
3600.05/1898.90	v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 
3600.05/1898.90	v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 
3600.05/1898.90	v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 
3600.05/1898.90	v -x3601 -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 
3600.05/1898.90	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 
3600.05/1898.90	v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 
3600.05/1898.90	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 
3600.05/1898.90	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 
3600.05/1898.90	v -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 
3600.05/1898.90	v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 x3674 -x3675 -x3676 -x3677 
3600.05/1898.90	v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 
3600.05/1898.90	v -x3689 -x3690 -x3691 -x3692 -x3693 x3694 -x3695 -x3696 -x3697 -x3698 -x3699 
3600.05/1898.90	v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 
3600.05/1898.90	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 
3600.05/1898.90	v -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 
3600.05/1898.90	v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 
3600.05/1898.90	v -x3744 -x3745 x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 
3600.05/1898.90	v -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 
3600.05/1898.90	v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 
3600.05/1898.90	v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 
3600.05/1898.90	v -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 
3600.05/1898.90	v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 
3600.05/1898.90	v -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 
3600.05/1898.90	v x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 
3600.05/1898.90	v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 
3600.05/1898.90	v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 
3600.05/1898.90	v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 
3600.05/1898.90	v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 x3873 -x3874 -x3875 
3600.05/1898.90	v -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 
3600.05/1898.90	v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 
3600.05/1898.90	v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 
3600.05/1898.90	v -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 
3600.05/1898.90	v -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 -x3928 -x3929 -x3930 
3600.05/1898.90	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 
3600.05/1898.90	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 
3600.05/1898.90	v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 
3600.05/1898.90	v -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 
3600.05/1898.90	v -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 
3600.05/1898.90	v -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 
3600.05/1898.90	v -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 
3600.05/1898.90	v -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 
3600.05/1898.90	v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 
3600.05/1898.90	v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 
3600.05/1898.90	v -x4041 -x4042 x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 
3600.05/1898.90	v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 
3600.05/1898.90	v -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 
3600.05/1898.90	v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 
3600.05/1898.90	v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 x4093 -x4094 -x4095 
3600.05/1898.90	v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 
3600.05/1898.90	v -x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 
3600.05/1898.90	v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 
3600.05/1898.90	v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 
3600.05/1898.90	v -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 
3600.05/1898.90	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 
3600.05/1898.90	v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 
3600.05/1898.90	v -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 
3600.05/1898.90	v -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 
3600.05/1898.90	v -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 
3600.05/1898.90	v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 
3600.05/1898.90	v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 
3600.05/1898.90	v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 
3600.05/1898.90	v x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 
3600.05/1898.90	v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 
3600.05/1898.90	v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 
3600.05/1898.90	v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 
3600.05/1898.90	v -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 
3600.05/1898.90	v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 
3600.05/1898.90	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 
3600.05/1898.90	v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 
3600.05/1898.90	v -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 
3600.05/1898.90	v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 
3600.05/1898.90	v -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 
3600.05/1898.90	v -x4360 -x4361 -x4362 -x4363 x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 
3600.05/1898.90	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 
3600.05/1898.90	v -x4382 -x4383 -x4384 -x4385 x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 
3600.05/1898.90	v -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 
3600.05/1898.90	v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 
3600.05/1898.90	v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 x4421 -x4422 -x4423 -x4424 -x4425 
3600.05/1898.90	v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 
3600.05/1898.90	v -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 
3600.05/1898.90	v -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 
3600.05/1898.90	v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 
3600.05/1898.90	v -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 
3600.05/1898.90	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 
3600.05/1898.90	v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 
3600.05/1898.90	v -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 
3600.05/1898.90	v -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 
3600.05/1898.90	v -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 
3600.05/1898.90	v -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 
3600.05/1898.90	v -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 -x4554 -x4555 -x4556 -x4557 
3600.05/1898.90	v -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 
3600.05/1898.90	v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 
3600.05/1898.90	v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 
3600.05/1898.90	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 
3600.05/1898.90	v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 x4610 -x4611 -x4612 
3600.05/1898.90	v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 
3600.05/1898.90	v -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 x4631 -x4632 -x4633 -x4634 
3600.05/1898.90	v -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 
3600.05/1898.90	v -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 
3600.05/1898.90	v -x4657 -x4658 -x4659 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 
3600.05/1898.90	v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 
3600.05/1898.90	v -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 
3600.05/1898.90	v -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 
3600.05/1898.90	v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 
3600.05/1898.90	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 
3600.05/1898.90	v -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 
3600.05/1898.90	v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 
3600.05/1898.90	v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 
3600.05/1898.90	v -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 
3600.05/1898.90	v -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 
3600.05/1898.90	v -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 x4788 
3600.05/1898.90	v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 
3600.05/1898.90	v -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x4810 
3600.05/1898.90	v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 
3600.05/1898.90	v -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830 -x4831 -x4832 
3600.05/1898.90	v -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 
3600.05/1898.90	v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 
3600.05/1898.90	v -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 
3600.05/1898.90	v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 
3600.05/1898.90	v -x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 
3600.05/1898.90	v -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 
3600.05/1898.90	v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 
3600.05/1898.90	v -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 
3600.05/1898.90	v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 
3600.05/1898.90	v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 
3600.05/1898.90	v -x4943 -x4944 -x4945 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 
3600.05/1898.90	v -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 
3600.05/1898.90	v -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 
3600.05/1898.90	v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 x4984 -x4985 -x4986 
3600.05/1898.90	v -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 
3600.05/1898.90	v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 
3600.05/1898.90	v -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 
3600.05/1898.90	v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 
3600.05/1898.90	v -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 
3600.05/1898.90	v -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 
3600.05/1898.90	v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 
3600.05/1898.90	v -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 
3600.05/1898.90	v -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 
3600.05/1898.90	v -x5086 -x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 -x5095 -x5096 
3600.05/1898.90	v -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 
3600.05/1898.90	v -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 
3600.05/1898.90	v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 
3600.05/1898.90	v -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 
3600.05/1898.90	v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 
3600.05/1898.90	v -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 
3600.05/1898.90	v -x5163 -x5164 -x5165 -x5166 x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 
3600.05/1898.90	v -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 
3600.05/1898.90	v -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 
3600.05/1898.90	v -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 
3600.05/1898.90	v -x5207 -x5208 x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 
3600.05/1898.90	v -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 
3600.05/1898.90	v -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 
3600.05/1898.90	v -x5240 -x5241 -x5242 x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 
3600.05/1898.90	v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 
3600.05/1898.90	v -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 -x5271 -x5272 
3600.05/1898.90	v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 
3600.05/1898.90	v -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 
3600.05/1898.90	v -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 x5303 -x5304 -x5305 
3600.05/1898.90	v -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 
3600.05/1898.90	v -x5317 -x5318 -x5319 -x5320 x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 
3600.05/1898.90	v -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 
3600.05/1898.90	v -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 
3600.05/1898.90	v -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 
3600.05/1898.90	v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 
3600.05/1898.90	v -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 
3600.05/1898.90	v -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 
3600.05/1898.90	v -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 
3600.05/1898.90	v -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 
3600.05/1898.90	v -x5416 x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 
3600.05/1898.90	v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 
3600.05/1898.90	v -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 
3600.05/1898.90	v -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 x5455 -x5456 -x5457 -x5458 -x5459 
3600.05/1898.90	v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 
3600.05/1898.90	v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 
3600.05/1898.90	v -x5482 x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 
3600.05/1898.90	v -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 x5501 -x5502 -x5503 
3600.05/1898.90	v -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 
3600.05/1898.90	v -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 
3600.05/1898.90	v -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 
3600.05/1898.90	v -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 x5546 -x5547 
3600.05/1898.90	v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 
3600.05/1898.90	v -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 
3600.05/1898.90	v -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 
3600.05/1898.90	v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 
3600.05/1898.90	v -x5592 x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 
3600.05/1898.90	v -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 
3600.05/1898.90	v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 x5621 -x5622 -x5623 -x5624 
3600.05/1898.90	v -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 
3600.05/1898.90	v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 
3600.05/1898.90	v -x5647 -x5648 -x5649 -x5650 -x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 
3600.05/1898.90	v -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 
3600.05/1898.90	v -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 
3600.05/1898.90	v -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 
3600.05/1898.90	v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 
3600.05/1898.90	v -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 
3600.05/1898.90	v -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 x5721 -x5722 -x5723 
3600.05/1898.90	v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 x5734 
3600.05/1898.90	v -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 
3600.05/1898.90	v -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 
3600.05/1898.90	v -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 
3600.05/1898.90	v -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 
3600.05/1898.90	v -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 x5787 -x5788 -x5789 
3600.05/1898.90	v -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 
3600.05/1898.90	v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 
3600.05/1898.90	v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 x5820 -x5821 -x5822 
3600.05/1898.90	v -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 
3600.05/1898.90	v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 x5844 
3600.05/1898.90	v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 
3600.05/1898.90	v -x5856 -x5857 -x5858 -x5859 x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 
3600.05/1898.90	v -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 
3600.05/1898.90	v -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 
3600.05/1898.90	v -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 
3600.05/1898.90	v -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 x5907 -x5908 -x5909 -x5910 
3600.05/1898.90	v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 
3600.05/1898.90	v -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 
3600.05/1898.90	v -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 
3600.05/1898.90	v -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 
3600.05/1898.90	v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 
3600.05/1898.90	v -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 
3600.05/1898.90	v x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 
3600.05/1898.90	v -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 
3600.05/1898.90	v -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 
3600.05/1898.90	v -x6010 -x6011 -x6012 x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 
3600.05/1898.90	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 
3600.05/1898.90	v -x6032 x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 
3600.05/1898.90	v -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 
3600.05/1898.90	v -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 
3600.05/1898.90	v -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 
3600.05/1898.90	v -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 
3600.05/1898.90	v -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 
3600.05/1898.90	v -x6098 -x6099 -x6100 -x6101 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 
3600.05/1898.90	v -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 
3600.05/1898.90	v -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 
3600.05/1898.90	v -x6131 -x6132 -x6133 x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 
3600.05/1898.90	v -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 
3600.05/1898.90	v -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 
3600.05/1898.90	v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 
3600.05/1898.90	v -x6175 -x6176 -x6177 -x6178 x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 
3600.05/1898.90	v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 x6196 
3600.05/1898.90	v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 
3600.05/1898.90	v -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 
3600.05/1898.90	v -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 
3600.05/1898.90	v -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 x6236 -x6237 -x6238 -x6239 -x6240 
3600.05/1898.90	v -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 
3600.05/1898.90	v -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 
3600.05/1898.90	v -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 
3600.05/1898.90	v -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 
3600.05/1898.90	v -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 
3600.05/1898.90	v -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 
3600.05/1898.90	v -x6307 -x6308 -x6309 x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 
3600.05/1898.90	v -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 
3600.05/1898.90	v -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 
3600.05/1898.90	v -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 
3600.05/1898.90	v -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 x6360 -x6361 
3600.05/1898.90	v -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 
3600.05/1898.90	v x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 
3600.05/1898.90	v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 
3600.05/1898.90	v -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 
3600.05/1898.90	v -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 x6416 
3600.05/1898.90	v -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 
3600.05/1898.90	v -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 
3600.05/1898.90	v -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 
3600.05/1898.90	v -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 
3600.05/1898.90	v -x6461 -x6462 -x6463 -x6464 x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 
3600.05/1898.90	v -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 
3600.05/1898.90	v -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 
3600.05/1898.90	v -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 
3600.05/1898.90	v -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 x6512 -x6513 -x6514 -x6515 
3600.05/1898.90	v -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 
3600.05/1898.90	v -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 
3600.05/1898.90	v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 
3600.05/1898.90	v -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 
3600.05/1898.90	v -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 x6567 -x6568 -x6569 -x6570 
3600.05/1898.90	v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 
3600.05/1898.90	v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 
3600.05/1898.90	v -x6593 -x6594 -x6595 -x6596 -x6597 x6598 -x6599 -x6600 -x6601 -x6602 -x6603 
3600.05/1898.90	v -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614 
3600.05/1898.90	v -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 
3600.05/1898.90	v -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 
3600.05/1898.90	v -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 x6645 -x6646 -x6647 
3600.05/1898.90	v -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 
3600.05/1898.90	v -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 
3600.05/1898.90	v -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 
3600.05/1898.90	v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 
3600.05/1898.90	v -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 
3600.05/1898.90	v -x6703 -x6704 -x6705 x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 
3600.05/1898.90	v -x6714 -x6715 -x6716 x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 
3600.05/1898.90	v -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 
3600.05/1898.90	v -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 
3600.05/1898.90	v -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 
3600.05/1898.90	v -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 
3600.05/1898.90	v -x6769 -x6770 -x6771 x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 
3600.05/1898.90	v -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 
3600.05/1898.90	v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 x6801 
3600.05/1898.90	v -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 
3600.05/1898.90	v -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 
3600.05/1898.90	v -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 
3600.05/1898.90	v -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 
3600.05/1898.90	v -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 
3600.05/1898.90	v -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 
3600.05/1898.90	v -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 x6876 -x6877 -x6878 
3600.05/1898.90	v -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 
3600.05/1898.90	v -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 
3600.05/1898.90	v -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 
3600.05/1898.90	v -x6912 -x6913 x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 
3600.05/1898.90	v -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 
3600.05/1898.90	v -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 x6943 -x6944 
3600.05/1898.90	v -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 
3600.05/1898.90	v -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 
3600.05/1898.90	v -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 
3600.05/1898.90	v -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 
3600.05/1898.90	v -x6989 x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 
3600.05/1898.90	v -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 x7009 -x7010 
3600.05/1898.90	v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 
3600.05/1898.90	v -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 
3600.05/1898.90	v -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 
3600.05/1898.90	v -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 
3600.05/1898.90	v -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 
3600.05/1898.90	v -x7066 -x7067 -x7068 -x7069 -x7070 x7071 -x7072 -x7073 -x7074 -x7075 -x7076 
3600.05/1898.90	v -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 
3600.05/1898.90	v -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 
3600.05/1898.90	v x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 
3600.05/1898.90	v -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 x7119 -x7120 
3600.05/1898.90	v -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 
3600.05/1898.90	v -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 
3600.05/1898.90	v -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 
3600.05/1898.90	v -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 
3600.05/1898.90	v -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 x7175 
3600.05/1898.90	v -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 
3600.05/1898.90	v -x7187 -x7188 -x7189 x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 
3600.05/1898.90	v -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 
3600.05/1898.90	v -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 
3600.05/1898.90	v -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 
3600.05/1898.90	v -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 
3600.05/1898.90	v -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 
3600.05/1898.90	v -x7253 -x7254 -x7255 -x7256 -x7257 x7258 -x7259 -x7260 -x7261 -x7262 -x7263 
3600.05/1898.90	v -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 
3600.05/1898.90	v -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 
3600.05/1898.90	v -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 x7295 -x7296 
3600.05/1898.90	v -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 
3600.05/1898.90	v -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 x7314 -x7315 -x7316 -x7317 -x7318 
3600.05/1898.90	v -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 
3600.05/1898.90	v -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 
3600.05/1898.90	v -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 x7350 -x7351 
3600.05/1898.90	v -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 
3600.05/1898.90	v -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 
3600.05/1898.90	v -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 
3600.05/1898.90	v -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 x7393 -x7394 -x7395 
3600.05/1898.90	v -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 
3600.05/1898.90	v -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 
3600.05/1898.90	v -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 
3600.05/1898.90	v -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 
3600.05/1898.90	v -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 x7448 -x7449 -x7450 
3600.05/1898.90	v -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 
3600.05/1898.90	v -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 
3600.05/1898.90	v -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 
3600.05/1898.90	v -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 x7492 -x7493 -x7494 
3600.05/1898.90	v -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 
3600.05/1898.90	v -x7506 -x7507 -x7508 -x7509 -x7510 x7511 -x7512 -x7513 -x7514 -x7515 -x7516 
3600.05/1898.90	v -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 
3600.05/1898.90	v -x7528 x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 
3600.05/1898.90	v -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 
3600.05/1898.90	v -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 
3600.05/1898.90	v -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 
3600.05/1898.90	v -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 
3600.05/1898.90	v -x7583 -x7584 -x7585 x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 
3600.05/1898.90	v -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 
3600.05/1898.90	v -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 
3600.05/1898.90	v -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 
3600.05/1898.90	v -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 x7634 -x7635 -x7636 -x7637 
3600.05/1898.90	v -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 x7646 -x7647 -x7648 
3600.05/1898.90	v -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 
3600.05/1898.90	v -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 
3600.05/1898.90	v -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 x7679 -x7680 -x7681 
3600.05/1898.90	v -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 
3600.05/1898.90	v -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 
3600.05/1898.90	v -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 
3600.05/1898.90	v -x7715 x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 
3600.05/1898.90	v -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 
3600.05/1898.90	v -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 
3600.05/1898.90	v -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 
3600.05/1898.90	v -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 
3600.05/1898.90	v -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 x7776 -x7777 -x7778 -x7779 -x7780 
3600.05/1898.90	v -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 x7790 -x7791 
3600.05/1898.90	v -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 
3600.05/1898.90	v -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 
3600.05/1898.90	v -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 
3600.05/1898.90	v x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 
3600.05/1898.90	v -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 
3600.05/1898.90	v -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 
3600.05/1898.90	v -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 
3600.05/1898.90	v -x7869 x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 
3600.05/1898.90	v -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 
3600.05/1898.90	v -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 x7900 -x7901 
3600.05/1898.90	v -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 
3600.05/1898.90	v -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 
3600.05/1898.90	v -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 
3600.05/1898.90	v -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 
3600.05/1898.90	v -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 
3600.05/1898.90	v -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 x7964 -x7965 -x7966 -x7967 
3600.05/1898.90	v -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 

OK	12194499

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529566-1752571848/watcher-4529566-1752571848 -o /tmp/evaluation-result-4529566-1752571848/solver-4529566-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752571848-127775 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529566-1752571848.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=127826, runsolver pid=127816
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 1.30 0.37 0.18 3/258 127827
/proc/meminfo: memFree=120779948/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=43844 memory=33260 CPUtime=0.08 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 7855 0 0 0 7 1 0 0 20 0 1 0 172866210 44896256 8315 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 10961 8315 1088 2102 0 8501 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43844 KiB
Current children cumulated memory: 33260 KiB

[startup+0.205614 s]*
/proc/loadavg: 1.30 0.37 0.18 3/258 127827
/proc/meminfo: memFree=120715620/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=79760 memory=65088 CPUtime=0.19 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 14259 0 0 0 16 3 0 0 20 0 1 0 172866210 81674240 16240 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 19940 16272 1088 2102 0 17480 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79760 KiB
Current children cumulated memory: 65088 KiB

[startup+0.305479 s]*
/proc/loadavg: 1.30 0.37 0.18 3/258 127827
/proc/meminfo: memFree=120687396/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=102728 memory=96320 CPUtime=0.29 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 20034 0 0 0 25 4 0 0 20 0 1 0 172866210 105193472 24080 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 25682 24080 1088 2102 0 23222 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 102728 KiB
Current children cumulated memory: 96320 KiB

[startup+0.700173 s]
/proc/loadavg: 1.30 0.37 0.18 4/266 127835
/proc/meminfo: memFree=120582444/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=260012 memory=206456 CPUtime=0.68 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 41983 0 0 0 58 10 0 0 20 0 1 0 172866210 266252288 51614 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 65003 51614 1088 2102 0 62543 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 260012 KiB
Current children cumulated memory: 206456 KiB

[startup+1.50018 s]
/proc/loadavg: 1.30 0.37 0.18 5/266 127835
/proc/meminfo: memFree=120248384/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=858904 memory=824448 CPUtime=1.47 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 173997 0 0 0 115 32 0 0 20 0 1 0 172866210 879517696 206112 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 214726 206112 1088 2102 0 212266 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 858904 KiB
Current children cumulated memory: 824448 KiB

[startup+3.10548 s]
/proc/loadavg: 1.30 0.37 0.18 6/268 127837
/proc/meminfo: memFree=118572856/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=1498924 memory=1441780 CPUtime=3.07 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 316165 0 0 0 250 57 0 0 20 0 1 0 172866210 1534898176 360445 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 374731 360445 1408 2102 0 372271 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1498924 KiB
Current children cumulated memory: 1441780 KiB

[startup+6.30017 s]
/proc/loadavg: 1.68 0.46 0.21 7/270 127839
/proc/meminfo: memFree=118007568/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=1749660 memory=1722428 CPUtime=6.26 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 361312 0 0 0 559 67 0 0 20 0 1 0 172866210 1791651840 430607 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 437415 430607 1472 2102 0 434955 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1749660 KiB
Current children cumulated memory: 1722428 KiB

[startup+12.7002 s]
/proc/loadavg: 2.10 0.57 0.25 7/270 127839
/proc/meminfo: memFree=117438012/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=1904828 memory=1832468 CPUtime=12.65 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 400309 0 0 0 1178 87 0 0 20 0 1 0 172866210 1950543872 458117 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 476207 458117 1568 2102 0 473747 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1904828 KiB
Current children cumulated memory: 1832468 KiB

[startup+25.5002 s]
/proc/loadavg: 3.12 0.87 0.35 6/266 127849
/proc/meminfo: memFree=115206868/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=2768720 memory=2741752 CPUtime=25.39 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 555219 0 0 0 2393 146 0 0 20 0 1 0 172866210 2835169280 685438 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 692180 685438 1856 2102 0 689720 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2768720 KiB
Current children cumulated memory: 2741752 KiB

[startup+51.1061 s]
/proc/loadavg: 4.10 1.29 0.51 6/264 127873
/proc/meminfo: memFree=114703376/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=3544636 memory=3451448 CPUtime=50.9 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 659445 0 0 0 4893 197 0 0 20 0 1 0 172866210 3629707264 862862 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 886159 862862 1856 2102 0 883699 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 3544636 KiB
Current children cumulated memory: 3451448 KiB

[startup+102.3 s]
/proc/loadavg: 5.21 2.02 0.80 7/266 127878
/proc/meminfo: memFree=107737176/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=12768776 memory=10258988 CPUtime=144.52 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) S 127816 127826 127757 0 -1 4194304 1154958 0 0 0 13918 534 0 0 20 0 3 0 172866210 13075226624 2564747 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3192194 2564747 2112 2102 0 3065301 0
[pid=127826/tid=127875] ppid=127816 vsize=12768776 memory=9707768 CPUtime=42.86 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 223539 0 0 0 4134 152 0 0 20 0 3 0 172872076 13075226624 2564747 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=12768776 memory=16444 CPUtime=27.03 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 208527 0 0 0 2539 164 0 0 20 0 3 0 172872076 13075226624 2564747 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 144.52 s
Current children cumulated vsize: 12768776 KiB
Current children cumulated memory: 10258988 KiB

[startup+162.3 s]
/proc/loadavg: 5.85 2.79 1.14 7/266 127880
/proc/meminfo: memFree=107778044/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=13057192 memory=10428380 CPUtime=263.07 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 1589002 0 0 0 25622 685 0 0 20 0 3 0 172866210 13370564608 2607095 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3264298 2607095 2112 2102 0 3142162 0
[pid=127826/tid=127875] ppid=127816 vsize=13057192 memory=11370540 CPUtime=101.76 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 624756 0 0 0 9885 291 0 0 20 0 3 0 172872076 13370564608 2607095 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=13057192 memory=10428124 CPUtime=52.5 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) S 127816 127826 127757 0 -1 4194368 237876 0 0 0 5074 176 0 0 20 0 3 0 172872076 13370564608 2607095 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 263.07 s
Current children cumulated vsize: 13057192 KiB
Current children cumulated memory: 10428380 KiB

[startup+222.3 s]
/proc/loadavg: 6.43 3.50 1.49 6/267 127883
/proc/meminfo: memFree=107889496/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=11336764 memory=10305956 CPUtime=378.08 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 2101684 0 0 0 36945 863 0 0 20 0 3 0 172866210 11608846336 2576489 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 2834191 2576489 2112 2102 0 2719156 0
[pid=127826/tid=127875] ppid=127816 vsize=11336764 memory=16444 CPUtime=157.24 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 1125002 0 0 0 15267 457 0 0 20 0 3 0 172872076 11608846336 2576489 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=11336764 memory=4764 CPUtime=78.25 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) S 127816 127826 127757 0 -1 4194368 250237 0 0 0 7639 186 0 0 20 0 3 0 172872076 11608846336 2576489 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 378.08 s
Current children cumulated vsize: 11336764 KiB
Current children cumulated memory: 10305956 KiB

[startup+282.3 s]
/proc/loadavg: 6.20 3.97 1.78 7/266 127885
/proc/meminfo: memFree=106977492/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=12815076 memory=11349568 CPUtime=491.78 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 2653161 0 0 0 48037 1141 0 0 20 0 3 0 172866210 13122637824 2837392 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3203769 2837392 2112 2102 0 3074297 0
[pid=127826/tid=127875] ppid=127816 vsize=12815076 memory=10479568 CPUtime=211.24 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 1648597 0 0 0 20403 721 0 0 20 0 3 0 172872076 13122637824 2837392 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=12815076 memory=11626304 CPUtime=104.59 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 275601 0 0 0 10260 199 0 0 20 0 3 0 172872076 13122637824 2837392 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 491.78 s
Current children cumulated vsize: 12815076 KiB
Current children cumulated memory: 11349568 KiB

[startup+342.3 s]
/proc/loadavg: 6.18 4.38 2.06 7/264 127887
/proc/meminfo: memFree=106526620/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=13254924 memory=11698828 CPUtime=607.92 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 3189323 0 0 0 59398 1394 0 0 20 0 3 0 172866210 13573042176 2924707 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3313731 2924707 2112 2102 0 3174333 0
[pid=127826/tid=127875] ppid=127816 vsize=13254924 memory=11447416 CPUtime=267.74 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 2168687 0 0 0 25810 964 0 0 20 0 3 0 172872076 13573042176 2924707 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=13254924 memory=16444 CPUtime=130.39 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) S 127816 127826 127757 0 -1 4194368 290081 0 0 0 12830 209 0 0 20 0 3 0 172872076 13573042176 2924707 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 607.92 s

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

/proc/127826/statm: 2989630 2692998 2112 2102 0 2860693 0
[pid=127826/tid=127875] ppid=127816 vsize=11958520 memory=10715048 CPUtime=1211.84 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) S 127816 127826 127757 0 -1 4194368 9366473 0 0 0 116169 5015 0 0 20 0 3 0 172872076 12245524480 2692998 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 1 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=11958520 memory=11078224 CPUtime=601.52 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) S 127816 127826 127757 0 -1 4194368 640096 0 0 0 59650 502 0 0 20 0 3 0 172872076 12245524480 2692998 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 2567.09 s
Current children cumulated vsize: 11958520 KiB
Current children cumulated memory: 10771992 KiB

[startup+1422.3 s]
/proc/loadavg: 6.20 6.15 4.93 7/265 127945
/proc/meminfo: memFree=106241880/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=13228800 memory=11950596 CPUtime=2682.87 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) S 127816 127826 127757 0 -1 4194304 11127321 0 0 0 262274 6013 0 0 20 0 3 0 172866210 13546291200 2987649 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3307200 2987649 2112 2102 0 3181814 0
[pid=127826/tid=127875] ppid=127816 vsize=13228800 memory=10715048 CPUtime=1268.05 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 9726481 0 0 0 121537 5268 0 0 20 0 3 0 172872076 13546291200 2987649 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=13228800 memory=11770948 CPUtime=627.58 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 649381 0 0 0 62249 509 0 0 20 0 3 0 172872076 13546291200 2987649 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 2682.87 s
Current children cumulated vsize: 13228800 KiB
Current children cumulated memory: 11950596 KiB

[startup+1482.3 s]
/proc/loadavg: 6.11 6.13 5.00 7/265 127947
/proc/meminfo: memFree=107375348/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=11897376 memory=10741480 CPUtime=2797.89 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) S 127816 127826 127757 0 -1 4194304 11613098 0 0 0 273504 6285 0 0 20 0 3 0 172866210 12182913024 2685370 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 2974344 2685370 2112 2102 0 2851464 0
[pid=127826/tid=127875] ppid=127816 vsize=11897376 memory=11090676 CPUtime=1323.27 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 10195517 0 0 0 126825 5502 0 0 20 0 3 0 172872076 12182913024 2685370 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=11897376 memory=10775468 CPUtime=659.9 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 666038 0 0 0 65443 547 0 0 20 0 3 0 172872076 12182913024 2685370 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 2797.89 s
Current children cumulated vsize: 11897376 KiB
Current children cumulated memory: 10741480 KiB

[startup+1542.3 s]
/proc/loadavg: 6.14 6.14 5.08 7/265 127949
/proc/meminfo: memFree=106558192/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=12935344 memory=11691264 CPUtime=2916.43 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) S 127816 127826 127757 0 -1 4194304 11991397 0 0 0 284966 6677 0 0 20 0 3 0 172866210 13245792256 2922816 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3233836 2922816 2112 2102 0 3110956 0
[pid=127826/tid=127875] ppid=127816 vsize=12935344 memory=11789068 CPUtime=1382.36 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 10550777 0 0 0 132471 5765 0 0 20 0 3 0 172872076 13245792256 2922816 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=12935344 memory=11807028 CPUtime=715.45 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 688963 0 0 0 70870 675 0 0 20 0 3 0 172872076 13245792256 2922816 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 2916.43 s
Current children cumulated vsize: 12935344 KiB
Current children cumulated memory: 11691264 KiB

[startup+1602.3 s]
/proc/loadavg: 6.02 6.11 5.14 7/264 127952
/proc/meminfo: memFree=106449692/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=13121664 memory=11763932 CPUtime=3031.44 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) S 127816 127826 127757 0 -1 4194304 12411234 0 0 0 296201 6943 0 0 20 0 3 0 172866210 13436583936 2940983 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3280416 2940983 2112 2102 0 3157895 0
[pid=127826/tid=127875] ppid=127816 vsize=13121664 memory=11789068 CPUtime=1437.6 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 10950552 0 0 0 137753 6007 0 0 20 0 3 0 172872076 13436583936 2940983 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=13121664 memory=11698396 CPUtime=745.39 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 707937 0 0 0 73841 698 0 0 20 0 3 0 172872076 13436583936 2940983 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 3031.44 s
Current children cumulated vsize: 13121664 KiB
Current children cumulated memory: 11763932 KiB

[startup+1662.3 s]
/proc/loadavg: 6.15 6.13 5.21 7/264 127955
/proc/meminfo: memFree=106458000/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=13206532 memory=11683380 CPUtime=3145.9 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) S 127816 127826 127757 0 -1 4194304 12766781 0 0 0 307402 7188 0 0 20 0 3 0 172866210 13523488768 2920845 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3301633 2920845 2112 2102 0 3179245 0
[pid=127826/tid=127875] ppid=127816 vsize=13206532 memory=16444 CPUtime=1492.24 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 11292521 0 0 0 142981 6243 0 0 20 0 3 0 172872076 13523488768 2920845 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=13206532 memory=16444 CPUtime=771.17 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 721418 0 0 0 76411 706 0 0 20 0 3 0 172872076 13523488768 2920845 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 3145.9 s
Current children cumulated vsize: 13206532 KiB
Current children cumulated memory: 11683380 KiB

[startup+1722.3 s]
/proc/loadavg: 6.16 6.14 5.27 7/264 127958
/proc/meminfo: memFree=106485836/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=13116220 memory=11698324 CPUtime=3262.16 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) S 127816 127826 127757 0 -1 4194304 12943527 0 0 0 318795 7421 0 0 20 0 3 0 172866210 13431009280 2924581 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3279055 2924581 2112 2102 0 3156667 0
[pid=127826/tid=127875] ppid=127816 vsize=13116220 memory=-7306377331039847566 CPUtime=1548.9 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 11460218 0 0 0 148421 6469 0 0 20 0 3 0 172872076 13431009280 2924581 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=13116220 memory=11208352 CPUtime=797.04 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 729938 0 0 0 78990 714 0 0 20 0 3 0 172872076 13431009280 2924581 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 3262.16 s
Current children cumulated vsize: 13116220 KiB
Current children cumulated memory: 11698324 KiB

[startup+1782.3 s]
/proc/loadavg: 6.15 6.14 5.33 7/264 127960
/proc/meminfo: memFree=106677008/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=12717836 memory=11498608 CPUtime=3375.71 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 13257512 0 0 0 329909 7662 0 0 20 0 3 0 172866210 13023064064 2874652 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3179459 2874652 2112 2102 0 3057071 0
[pid=127826/tid=127875] ppid=127816 vsize=12717836 memory=10783964 CPUtime=1602.67 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 11758164 0 0 0 153565 6702 0 0 20 0 3 0 172872076 13023064064 2874652 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=12717836 memory=11384428 CPUtime=823.21 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) S 127816 127826 127757 0 -1 4194368 741992 0 0 0 81600 721 0 0 20 0 3 0 172872076 13023064064 2874652 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 3375.71 s
Current children cumulated vsize: 12717836 KiB
Current children cumulated memory: 11498608 KiB

[startup+1842.3 s]
/proc/loadavg: 4.96 5.86 5.29 3/248 128034
/proc/meminfo: memFree=109166896/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=13283968 memory=11764912 CPUtime=3490.9 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) R 127816 127826 127757 0 -1 4194304 13343567 0 0 0 341206 7884 0 0 20 0 3 0 172866210 13602783232 2941228 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3320992 2941228 2112 2102 0 3198604 0
[pid=127826/tid=127875] ppid=127816 vsize=13283968 memory=10797388 CPUtime=1658.08 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 11840824 0 0 0 158895 6913 0 0 20 0 3 0 172872076 13602783232 2941228 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=13283968 memory=11665504 CPUtime=849.16 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) S 127816 127826 127757 0 -1 4194368 745357 0 0 0 84188 728 0 0 20 0 3 0 172872076 13602783232 2941228 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 1 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 3490.9 s
Current children cumulated vsize: 13283968 KiB
Current children cumulated memory: 11764912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1898.9 s]
/proc/loadavg: 3.54 5.31 5.13 3/249 128043
/proc/meminfo: memFree=109359860/131250000 swapFree=33009904/33010684
[pid=127826] ppid=127816 vsize=12753312 memory=11429280 CPUtime=3600.05 cores=4,6
/proc/127826/stat : 127826 (cp_sat_runner) S 127816 127826 127757 0 -1 4194304 13699622 0 0 0 351844 8161 0 0 20 0 3 0 172866210 13059391488 2857320 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
/proc/127826/statm: 3188328 2857320 2112 2102 0 3065940 0
[pid=127826/tid=127875] ppid=127816 vsize=12753312 memory=10797388 CPUtime=1710.65 cores=4,6
/proc/127826/task/127875/stat : 127875 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 12156251 0 0 0 163930 7135 0 0 20 0 3 0 172872076 13059391488 2857320 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
[pid=127826/tid=127876] ppid=127816 vsize=12753312 memory=10752 CPUtime=885.9 cores=4,6
/proc/127826/task/127876/stat : 127876 (cp_sat_runner) R 127816 127826 127757 0 -1 4194368 785030 0 0 0 87807 783 0 0 20 0 3 0 172872076 13059391488 2857320 18446744073709551615 4198400 12806697 140731835990800 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33169408 140731835992341 140731835992545 140731835992545 140731835998151 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 12753312 KiB
Current children cumulated memory: 11429280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3518.45 s, system=81.7663 s

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

[startup+1899 s]*
/proc/loadavg: 3.54 5.31 5.13 2/248 128043
/proc/meminfo: memFree=114229220/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 1899.06
CPU time (s): 3600.22
CPU user time (s): 3518.45
CPU system time (s): 81.7663
CPU usage (%): 189.579
Max. virtual memory (cumulated for all children) (KiB): 13767984
Max. memory (cumulated for all children) (KiB): 12047240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3518.45
system time used= 81.7663
maximum resident set size= 12107384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13699629
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= 19170
involuntary context switches= 73443


# summary of solver processes directly reported to runsolver:
#   pid: 127826
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3518.45
#   total CPU system time (s): 81.7663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09023 second user time and 9.16955 second system time

The end

Begin job on nodeC033 at 2025-07-15 11:30:56
IDJOB=4529566
IDBENCH=143875
IDSOLVER=3387
FILE ID=nodeC033/4529566-1752571848
RUNJOBID= nodeC033-1752571848-127775
SLURM_JOB_ID= 9683902
Free space on /tmp= 432152 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen07_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-4529566-1752571848/watcher-4529566-1752571848 -o /tmp/evaluation-result-4529566-1752571848/solver-4529566-1752571848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752571848-127775 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:764063283 --competition_mode --input HOME/instance-4529566-1752571848.wbo

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

MD5SUM BENCH= fbb4da79d40095d38c594df560c89a05
RANDOM SEED=764063283

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121009212 kB
MemAvailable:   129692744 kB
Buffers:            2128 kB
Cached:          9404960 kB
SwapCached:           68 kB
Active:           787468 kB
Inactive:        8683304 kB
Active(anon):      76324 kB
Inactive(anon):     5388 kB
Active(file):     711144 kB
Inactive(file):  8677916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            113764 kB
Writeback:          1024 kB
AnonPages:         66720 kB
Mapped:           106800 kB
Shmem:             18028 kB
KReclaimable:     267424 kB
Slab:             363868 kB
SReclaimable:     267424 kB
SUnreclaim:        96444 kB
KernelStack:        4096 kB
PageTables:         2928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     341276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432452 MiB
End job on nodeC033 at 2025-07-15 12:02:47