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

OK	3946817

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525674-1751619213/watcher-4525674-1751619213 -o /tmp/evaluation-result-4525674-1751619213/solver-4525674-1751619213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90041 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2114241602 --competition_mode --input HOME/instance-4525674-1751619213.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=96657, runsolver pid=96654

[startup+0.100084 s]*
/proc/loadavg: 8.05 8.08 8.08 8/257 96658
/proc/meminfo: memFree=118417508/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=29384 memory=22832 CPUtime=0.1 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 5235 0 0 0 10 0 0 0 20 0 1 0 77600550 30089216 5708 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 7346 5708 1088 2102 0 4886 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29384 KiB
Current children cumulated memory: 22832 KiB

[startup+0.21338 s]*
/proc/loadavg: 8.05 8.08 8.08 8/257 96658
/proc/meminfo: memFree=118381340/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=50708 memory=42176 CPUtime=0.21 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 9551 0 0 0 19 2 0 0 20 0 1 0 77600550 51924992 10544 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 12677 10544 1088 2102 0 10217 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50708 KiB
Current children cumulated memory: 42176 KiB

[startup+0.313582 s]*
/proc/loadavg: 8.05 8.08 8.08 8/257 96658
/proc/meminfo: memFree=118353764/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=77516 memory=62672 CPUtime=0.32 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 13676 0 0 0 28 4 0 0 20 0 1 0 77600550 79376384 15668 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 19379 15668 1088 2102 0 16919 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 77516 KiB
Current children cumulated memory: 62672 KiB

[startup+0.7003 s]
/proc/loadavg: 8.05 8.08 8.08 8/257 96658
/proc/meminfo: memFree=118297056/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=158060 memory=137184 CPUtime=0.68 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 28213 0 0 0 61 7 0 0 20 0 1 0 77600550 161853440 34296 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 39515 34296 1088 2102 0 37055 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 158060 KiB
Current children cumulated memory: 137184 KiB

[startup+1.5003 s]
/proc/loadavg: 8.05 8.08 8.08 8/257 96658
/proc/meminfo: memFree=118243420/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=363368 memory=344560 CPUtime=1.48 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 67830 0 0 0 131 17 0 0 20 0 1 0 77600550 372088832 86140 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 90842 86140 1088 2102 0 88382 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 363368 KiB
Current children cumulated memory: 344560 KiB

[startup+3.11315 s]
/proc/loadavg: 8.05 8.08 8.08 8/257 96658
/proc/meminfo: memFree=117622424/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=1250472 memory=1236536 CPUtime=3.09 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 277141 0 0 0 256 53 0 0 20 0 1 0 77600550 1280483328 309102 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 312618 309134 1344 2102 0 310158 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1250472 KiB
Current children cumulated memory: 1236536 KiB

[startup+6.30029 s]
/proc/loadavg: 7.97 8.06 8.08 8/257 96658
/proc/meminfo: memFree=116793424/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=1735604 memory=1707596 CPUtime=6.27 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 357032 0 0 0 556 71 0 0 20 0 1 0 77600550 1777258496 426899 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 433901 426899 1472 2102 0 431441 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1735604 KiB
Current children cumulated memory: 1707596 KiB

[startup+12.7003 s]
/proc/loadavg: 7.89 8.05 8.07 8/257 96658
/proc/meminfo: memFree=116387908/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=1904824 memory=1829992 CPUtime=12.65 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 394519 0 0 0 1174 91 0 0 20 0 1 0 77600550 1950539776 457498 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 476206 457498 1536 2102 0 473746 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1904824 KiB
Current children cumulated memory: 1829992 KiB

[startup+25.5004 s]
/proc/loadavg: 7.69 7.99 8.06 8/257 96658
/proc/meminfo: memFree=115308552/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=2768676 memory=2740484 CPUtime=25.41 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 560457 0 0 0 2389 152 0 0 20 0 1 0 77600550 2835124224 685121 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 692169 685121 1856 2102 0 689709 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2768676 KiB
Current children cumulated memory: 2740484 KiB

[startup+51.1137 s]
/proc/loadavg: 7.52 7.93 8.03 8/257 96658
/proc/meminfo: memFree=115070004/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=3646056 memory=3532480 CPUtime=50.94 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 663648 0 0 0 4891 203 0 0 20 0 1 0 77600550 3733561344 883120 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 911514 883120 1856 2102 0 909054 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3646056 KiB
Current children cumulated memory: 3532480 KiB

[startup+102.3 s]
/proc/loadavg: 7.35 7.82 7.99 8/257 96707
/proc/meminfo: memFree=111797424/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=12598712 memory=10067080 CPUtime=144.59 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 1360278 0 0 0 13901 558 0 0 20 0 3 0 77600550 12901081088 2516770 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 3149678 2516770 2112 2102 0 3041253 0
[pid=96657/tid=96660] ppid=96654 vsize=12598712 memory=9636676 CPUtime=26.29 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) S 96654 96657 90031 0 -1 4194368 179128 0 0 0 2489 140 0 0 20 0 3 0 77606411 12901081088 2516770 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=12598712 memory=10340200 CPUtime=42.92 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 450022 0 0 0 4095 197 0 0 20 0 3 0 77606411 12901081088 2516770 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 144.59 s
Current children cumulated vsize: 12598712 KiB
Current children cumulated memory: 10067080 KiB

[startup+162.3 s]
/proc/loadavg: 7.85 7.87 8.00 9/259 96711
/proc/meminfo: memFree=106060756/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=12852916 memory=10441584 CPUtime=263.07 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 1539362 0 0 0 25580 727 0 0 20 0 3 0 77600550 13161385984 2610396 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 3213229 2610396 2112 2102 0 3105141 0
[pid=96657/tid=96660] ppid=96654 vsize=12852916 memory=-8183431397046718663 CPUtime=50.87 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) S 96654 96657 90031 0 -1 4194368 195025 0 0 0 4941 146 0 0 20 0 3 0 77606411 13161385984 2610396 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=12852916 memory=9733068 CPUtime=101.29 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 608812 0 0 0 9770 359 0 0 20 0 3 0 77606411 13161385984 2610396 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 263.07 s
Current children cumulated vsize: 12852916 KiB
Current children cumulated memory: 10441584 KiB

[startup+222.3 s]
/proc/loadavg: 7.66 7.80 7.97 9/259 96759
/proc/meminfo: memFree=101191288/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=11182812 memory=10131428 CPUtime=377.81 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 2227332 0 0 0 36814 967 0 0 20 0 3 0 77600550 11451199488 2532857 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 2795703 2532857 2112 2102 0 2674248 0
[pid=96657/tid=96660] ppid=96654 vsize=11182812 memory=4764 CPUtime=75.48 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) S 96654 96657 90031 0 -1 4194368 205133 0 0 0 7394 154 0 0 20 0 3 0 77606411 11451199488 2532857 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=11182812 memory=10131428 CPUtime=155.71 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) S 96654 96657 90031 0 -1 4194368 1286105 0 0 0 14980 591 0 0 20 0 3 0 77606411 11451199488 2532857 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 377.81 s
Current children cumulated vsize: 11182812 KiB
Current children cumulated memory: 10131428 KiB

[startup+282.3 s]
/proc/loadavg: 7.96 7.86 7.98 9/258 96761
/proc/meminfo: memFree=99339164/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=12724684 memory=11358100 CPUtime=492.78 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 2626205 0 0 0 48083 1195 0 0 20 0 3 0 77600550 13030076416 2839525 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 3181171 2839525 2112 2102 0 3040849 0
[pid=96657/tid=96660] ppid=96654 vsize=12724684 memory=11066176 CPUtime=100.25 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) S 96654 96657 90031 0 -1 4194368 216787 0 0 0 9864 161 0 0 20 0 3 0 77606411 13030076416 2839525 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=12724684 memory=11307152 CPUtime=210.43 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 1673261 0 0 0 20232 811 0 0 20 0 3 0 77606411 13030076416 2839525 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 492.78 s
Current children cumulated vsize: 12724684 KiB
Current children cumulated memory: 11358100 KiB

[startup+342.3 s]
/proc/loadavg: 7.76 7.82 7.96 8/256 96808
/proc/meminfo: memFree=104882844/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=12857172 memory=11590384 CPUtime=608.74 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 3131861 0 0 0 59528 1346 0 0 20 0 3 0 77600550 13165744128 2897596 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 3214293 2897596 2112 2102 0 3078499 0
[pid=96657/tid=96660] ppid=96654 vsize=12857172 memory=11066176 CPUtime=124.86 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) S 96654 96657 90031 0 -1 4194368 227844 0 0 0 12315 171 0 0 20 0 3 0 77606411 13165744128 2897596 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=12857172 memory=10206728 CPUtime=265.92 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 2166317 0 0 0 25640 952 0 0 20 0 3 0 77606411 13165744128 2897596 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 608.74 s

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

/proc/96657/statm: 3696494 3352414 2112 2102 0 3501518 0
[pid=96657/tid=96660] ppid=96654 vsize=14785976 memory=13847684 CPUtime=820.06 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 872723 0 0 0 80287 1719 0 0 20 0 3 0 77606411 15140839424 3352414 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=14785976 memory=13953180 CPUtime=1222.27 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 10976805 0 0 0 117216 5011 0 0 20 0 3 0 77606411 15140839424 3352414 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 2591.22 s
Current children cumulated vsize: 14785976 KiB
Current children cumulated memory: 13409656 KiB

[startup+1422.3 s]
/proc/loadavg: 8.16 8.18 8.08 9/258 96875
/proc/meminfo: memFree=98931600/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=16555212 memory=14861812 CPUtime=2707.71 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 13200811 0 0 0 263414 7357 0 0 20 0 3 0 77600550 16952537088 3715453 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 4138803 3715453 2112 2102 0 3943827 0
[pid=96657/tid=96660] ppid=96654 vsize=16555212 memory=14080 CPUtime=865.59 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) S 96654 96657 90031 0 -1 4194368 965297 0 0 0 84643 1916 0 0 20 0 3 0 77606411 16952537088 3715453 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=16555212 memory=14744152 CPUtime=1278.54 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 11461701 0 0 0 122650 5204 0 0 20 0 3 0 77606411 16952537088 3715453 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 2707.71 s
Current children cumulated vsize: 16555212 KiB
Current children cumulated memory: 14861812 KiB

[startup+1482.3 s]
/proc/loadavg: 8.10 8.16 8.08 10/258 96877
/proc/meminfo: memFree=98778156/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=17019920 memory=15557528 CPUtime=2825.28 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) S 96654 96657 90031 0 -1 4194304 13717857 0 0 0 274772 7756 0 0 20 0 3 0 77600550 17428398080 3889382 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 4254980 3889382 2112 2102 0 4060004 0
[pid=96657/tid=96660] ppid=96654 vsize=17019920 memory=14934700 CPUtime=902.71 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 1025384 0 0 0 88182 2089 0 0 20 0 3 0 77606411 17428398080 3889382 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=17019920 memory=15277600 CPUtime=1335.71 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 11912239 0 0 0 128142 5429 0 0 20 0 3 0 77606411 17428398080 3889382 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 2825.28 s
Current children cumulated vsize: 17019920 KiB
Current children cumulated memory: 15557528 KiB

[startup+1542.3 s]
/proc/loadavg: 8.15 8.16 8.09 8/258 96879
/proc/meminfo: memFree=98362036/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=17206444 memory=15579292 CPUtime=2944.32 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) S 96654 96657 90031 0 -1 4194304 14246601 0 0 0 286272 8160 0 0 20 0 3 0 77600550 17619398656 3894823 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 4301611 3894823 2112 2102 0 4106635 0
[pid=96657/tid=96660] ppid=96654 vsize=17206444 memory=15900376 CPUtime=959.96 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 1083488 0 0 0 93728 2268 0 0 20 0 3 0 77606411 17619398656 3894823 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=17206444 memory=14080 CPUtime=1394.63 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 12382783 0 0 0 133809 5654 0 0 20 0 3 0 77606411 17619398656 3894823 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 2944.32 s
Current children cumulated vsize: 17206444 KiB
Current children cumulated memory: 15579292 KiB

[startup+1602.3 s]
/proc/loadavg: 8.03 8.13 8.08 8/257 96931
/proc/meminfo: memFree=99429580/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=17229464 memory=15734360 CPUtime=3063.4 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) S 96654 96657 90031 0 -1 4194304 14740533 0 0 0 297843 8497 0 0 20 0 3 0 77600550 17642971136 3933590 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 4307366 3933590 2112 2102 0 4112390 0
[pid=96657/tid=96660] ppid=96654 vsize=17229464 memory=15900376 CPUtime=1019.73 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 1124264 0 0 0 99590 2383 0 0 20 0 3 0 77606411 17642971136 3933590 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=17229464 memory=14976340 CPUtime=1453.91 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 12835845 0 0 0 139516 5875 0 0 20 0 3 0 77606411 17642971136 3933590 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 3063.4 s
Current children cumulated vsize: 17229464 KiB
Current children cumulated memory: 15734360 KiB

[startup+1662.3 s]
/proc/loadavg: 7.67 8.00 8.04 10/258 96935
/proc/meminfo: memFree=100408444/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=14767056 memory=13306832 CPUtime=3181.57 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 15351787 0 0 0 309299 8858 0 0 20 0 3 0 77600550 15121465344 3326708 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 3691764 3326708 2112 2102 0 3496804 0
[pid=96657/tid=96660] ppid=96654 vsize=14767056 memory=15900376 CPUtime=1067.04 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) S 96654 96657 90031 0 -1 4194368 1177630 0 0 0 104212 2492 0 0 20 0 3 0 77606411 15121465344 3326708 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 1 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=14767056 memory=14976340 CPUtime=1511.9 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 13393615 0 0 0 145066 6124 0 0 20 0 3 0 77606411 15121465344 3326708 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 3181.57 s
Current children cumulated vsize: 14767056 KiB
Current children cumulated memory: 13306832 KiB

[startup+1722.3 s]
/proc/loadavg: 7.95 8.03 8.05 9/259 96950
/proc/meminfo: memFree=98575560/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=15522480 memory=14050648 CPUtime=3299.86 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) R 96654 96657 90031 0 -1 4194304 15975717 0 0 0 320739 9247 0 0 20 0 3 0 77600550 15895019520 3512662 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 3880620 3512662 2112 2102 0 3661275 0
[pid=96657/tid=96660] ppid=96654 vsize=15522480 memory=15900376 CPUtime=1117.87 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) S 96654 96657 90031 0 -1 4194368 1271453 0 0 0 109125 2662 0 0 20 0 3 0 77606411 15895019520 3512662 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=15522480 memory=14976340 CPUtime=1569.71 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 13923618 0 0 0 150629 6342 0 0 20 0 3 0 77606411 15895019520 3512662 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 3299.86 s
Current children cumulated vsize: 15522480 KiB
Current children cumulated memory: 14050648 KiB

[startup+1782.3 s]
/proc/loadavg: 7.96 8.03 8.05 9/259 96954
/proc/meminfo: memFree=97128604/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=16509224 memory=14818588 CPUtime=3418.93 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) S 96654 96657 90031 0 -1 4194304 16630390 0 0 0 332250 9643 0 0 20 0 3 0 77600550 16905445376 3704647 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 4127306 3704647 2112 2102 0 3912328 0
[pid=96657/tid=96660] ppid=96654 vsize=16509224 memory=15059532 CPUtime=1175.52 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 1322592 0 0 0 114768 2784 0 0 20 0 3 0 77606411 16905445376 3704647 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=16509224 memory=14458756 CPUtime=1629.31 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 14527026 0 0 0 156315 6616 0 0 20 0 3 0 77606411 16905445376 3704647 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 3418.93 s
Current children cumulated vsize: 16509224 KiB
Current children cumulated memory: 14818588 KiB

[startup+1842.3 s]
/proc/loadavg: 8.04 8.03 8.04 9/260 96957
/proc/meminfo: memFree=96150788/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=17115980 memory=15489724 CPUtime=3537.39 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) S 96654 96657 90031 0 -1 4194304 17140847 0 0 0 343815 9924 0 0 20 0 3 0 77600550 17526763520 3872431 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 4278995 3872431 2112 2102 0 4054687 0
[pid=96657/tid=96660] ppid=96654 vsize=17115980 memory=15059532 CPUtime=1224.61 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 1384039 0 0 0 119568 2893 0 0 20 0 3 0 77606411 17526763520 3872431 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=17115980 memory=15315472 CPUtime=1687.41 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 14974876 0 0 0 161955 6786 0 0 20 0 3 0 77606411 17526763520 3872431 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 3537.39 s
Current children cumulated vsize: 17115980 KiB
Current children cumulated memory: 15489724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1873.9 s]
/proc/loadavg: 8.03 8.02 8.04 9/260 96957
/proc/meminfo: memFree=97468240/131382116 swapFree=33009904/33010684
[pid=96657] ppid=96654 vsize=16403604 memory=14648024 CPUtime=3600.12 cores=0,2
/proc/96657/stat : 96657 (cp-sat-runner) S 96654 96657 90031 0 -1 4194304 17411359 0 0 0 349895 10117 0 0 20 0 3 0 77600550 16797290496 3662006 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
/proc/96657/statm: 4100901 3662006 2112 2102 0 3876593 0
[pid=96657/tid=96660] ppid=96654 vsize=16403604 memory=15059532 CPUtime=1256.09 cores=0,2
/proc/96657/task/96660/stat : 96660 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 1432785 0 0 0 122651 2958 0 0 20 0 3 0 77606411 16797290496 3662006 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
[pid=96657/tid=96661] ppid=96654 vsize=16403604 memory=15079700 CPUtime=1718.67 cores=0,2
/proc/96657/task/96661/stat : 96661 (cp-sat-runner) R 96654 96657 90031 0 -1 4194368 15196600 0 0 0 164952 6915 0 0 20 0 3 0 77606411 16797290496 3662006 18446744073709551615 4198400 12805993 140733463529040 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 22228992 140733463537942 140733463538147 140733463538147 140733463543751 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 16403604 KiB
Current children cumulated memory: 14648024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3498.97 s, system=101.361 s

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

[startup+1874 s]*
/proc/loadavg: 8.03 8.02 8.04 7/259 96957
/proc/meminfo: memFree=101413480/131382116 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): 1874.09
CPU time (s): 3600.33
CPU user time (s): 3498.97
CPU system time (s): 101.361
CPU usage (%): 192.111
Max. virtual memory (cumulated for all children) (KiB): 17606676
Max. memory (cumulated for all children) (KiB): 16156240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3498.97
system time used= 101.361
maximum resident set size= 16209492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17411366
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= 24901
involuntary context switches= 161901


# summary of solver processes directly reported to runsolver:
#   pid: 96657
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3498.97
#   total CPU system time (s): 101.361

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14079 second user time and 10.0119 second system time

The end

Begin job on nodeC004 at 2025-07-04 10:53:34
IDJOB=4525674
IDBENCH=143875
IDSOLVER=3378
FILE ID=nodeC004/4525674-1751619213
RUNJOBID= nodeC004-1751612733-90041
SLURM_JOB_ID= 9598915
Free space on /tmp= 431552 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
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-4525674-1751619213/watcher-4525674-1751619213 -o /tmp/evaluation-result-4525674-1751619213/solver-4525674-1751619213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90041 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:2114241602 --competition_mode --input HOME/instance-4525674-1751619213.wbo

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

MD5SUM BENCH= fbb4da79d40095d38c594df560c89a05
RANDOM SEED=2114241602

nodeC004 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	: 0xb00001f
cpu MHz		: 1795.704
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.632
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.692
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.543
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.587
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.529
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3491.867
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.635
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        118435496 kB
MemAvailable:   119461192 kB
Buffers:            2128 kB
Cached:          1773920 kB
SwapCached:           32 kB
Active:         10954024 kB
Inactive:        1178940 kB
Active(anon):   10364112 kB
Inactive(anon):    10736 kB
Active(file):     589912 kB
Inactive(file):  1168204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             69572 kB
Writeback:             0 kB
AnonPages:      10353848 kB
Mapped:           129876 kB
Shmem:             17932 kB
KReclaimable:     214416 kB
Slab:             301184 kB
SReclaimable:     214416 kB
SUnreclaim:        86768 kB
KernelStack:        4176 kB
PageTables:        23512 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   11380632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149560 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6350848 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431520 MiB
End job on nodeC004 at 2025-07-04 11:24:48