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

OK	18637

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=139289, runsolver pid=139286

[startup+0.100067 s]*
/proc/loadavg: 3.74 1.12 0.44 6/253 139290
/proc/meminfo: memFree=127568188/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=21368 memory=14952 CPUtime=0.1 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 2999 0 0 0 9 1 0 0 20 0 1 0 172869272 21880832 3738 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 5342 3738 1088 2102 0 2882 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21368 KiB
Current children cumulated memory: 14952 KiB

[startup+0.217486 s]*
/proc/loadavg: 3.74 1.12 0.44 6/253 139290
/proc/meminfo: memFree=127552020/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=32756 memory=25964 CPUtime=0.19 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 5491 0 0 0 18 1 0 0 20 0 1 0 172869272 33542144 6491 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 8189 6491 1088 2102 0 5729 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32756 KiB
Current children cumulated memory: 25964 KiB

[startup+0.318557 s]*
/proc/loadavg: 3.74 1.12 0.44 6/254 139291
/proc/meminfo: memFree=127541452/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=45236 memory=35560 CPUtime=0.27 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 7404 0 0 0 26 1 0 0 20 0 1 0 172869272 46321664 8890 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 11309 8890 1088 2102 0 8849 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 35560 KiB

[startup+0.70031 s]
/proc/loadavg: 3.74 1.12 0.44 8/256 139295
/proc/meminfo: memFree=127535668/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=86432 memory=74848 CPUtime=0.64 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 15176 0 0 0 59 5 0 0 20 0 1 0 172869272 88506368 18712 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 21608 18712 1088 2102 0 19148 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 86432 KiB
Current children cumulated memory: 74848 KiB

[startup+1.50033 s]
/proc/loadavg: 3.74 1.12 0.44 7/256 139296
/proc/meminfo: memFree=127464660/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=203144 memory=195824 CPUtime=1.44 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 38795 0 0 0 131 13 0 0 20 0 1 0 172869272 208019456 48956 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 50786 48956 1088 2102 0 48326 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 203144 KiB
Current children cumulated memory: 195824 KiB

[startup+3.11314 s]
/proc/loadavg: 3.74 1.12 0.44 6/251 139313
/proc/meminfo: memFree=126707896/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=1015448 memory=946928 CPUtime=3.05 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 194198 0 0 0 260 45 0 0 20 0 1 0 172869272 1039818752 236732 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 253862 236732 1408 2102 0 251402 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1015448 KiB
Current children cumulated memory: 946928 KiB

[startup+6.30032 s]
/proc/loadavg: 3.84 1.19 0.47 6/251 139313
/proc/meminfo: memFree=126571784/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=1182164 memory=1113712 CPUtime=6.22 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 235892 0 0 0 570 52 0 0 20 0 1 0 172869272 1210535936 278428 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 295541 278428 1472 2102 0 293081 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1182164 KiB
Current children cumulated memory: 1113712 KiB

[startup+12.7003 s]
/proc/loadavg: 3.94 1.25 0.49 6/251 139313
/proc/meminfo: memFree=125451704/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=2381712 memory=2186504 CPUtime=12.59 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 338688 0 0 0 1164 95 0 0 20 0 1 0 172869272 2438873088 546626 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 595428 546626 1824 2102 0 592968 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 2381712 KiB
Current children cumulated memory: 2186504 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 1.43 0.56 6/251 139313
/proc/meminfo: memFree=125066248/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=2736140 memory=2525776 CPUtime=25.34 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 405547 0 0 0 2407 127 0 0 20 0 1 0 172869272 2801807360 631444 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 684035 631444 1856 2102 0 681575 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 2736140 KiB
Current children cumulated memory: 2525776 KiB

[startup+51.1055 s]
/proc/loadavg: 4.73 1.79 0.70 7/253 139315
/proc/meminfo: memFree=120745796/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=8537588 memory=6838576 CPUtime=66.36 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 662798 0 0 0 6334 302 0 0 20 0 3 0 172869272 8742490112 1709644 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 2134397 1709644 2144 2102 0 2048190 0
[pid=139289/tid=139314] ppid=139286 vsize=8537588 memory=5941744 CPUtime=15.74 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 92550 0 0 0 1502 72 0 0 20 0 3 0 172872787 8742490112 1709644 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=8537588 memory=20992 CPUtime=11.94 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) S 139286 139289 139009 0 -1 4194368 125693 0 0 0 1103 91 0 0 20 0 3 0 172872787 8742490112 1709644 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 66.36 s
Current children cumulated vsize: 8537588 KiB
Current children cumulated memory: 6838576 KiB

[startup+102.3 s]
/proc/loadavg: 5.58 2.47 0.99 7/253 139317
/proc/meminfo: memFree=120368852/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=8644208 memory=6949472 CPUtime=167.18 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 933666 0 0 0 16309 409 0 0 20 0 3 0 172869272 8851668992 1737368 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 2161052 1737368 2144 2102 0 2077783 0
[pid=139289/tid=139314] ppid=139286 vsize=8644208 memory=6764712 CPUtime=65.89 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 333823 0 0 0 6418 171 0 0 20 0 3 0 172872787 8851668992 1737368 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=8644208 memory=6665764 CPUtime=32.76 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) S 139286 139289 139009 0 -1 4194368 144758 0 0 0 3178 98 0 0 20 0 3 0 172872787 8851668992 1737368 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 1 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 167.18 s
Current children cumulated vsize: 8644208 KiB
Current children cumulated memory: 6949472 KiB

[startup+162.3 s]
/proc/loadavg: 5.92 3.13 1.32 7/253 139319
/proc/meminfo: memFree=120621096/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=7605644 memory=6598168 CPUtime=275.23 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 1301439 0 0 0 26943 580 0 0 20 0 3 0 172869272 7788179456 1649542 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 1901411 1649542 2144 2102 0 1815818 0
[pid=139289/tid=139314] ppid=139286 vsize=7605644 memory=6588916 CPUtime=115.23 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) S 139286 139289 139009 0 -1 4194368 669946 0 0 0 11194 329 0 0 20 0 3 0 172872787 7788179456 1649542 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=7605644 memory=6524804 CPUtime=57.61 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) S 139286 139289 139009 0 -1 4194368 175248 0 0 0 5651 110 0 0 20 0 3 0 172872787 7788179456 1649542 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 275.23 s
Current children cumulated vsize: 7605644 KiB
Current children cumulated memory: 6598168 KiB

[startup+222.3 s]
/proc/loadavg: 6.00 3.66 1.61 8/252 139321
/proc/meminfo: memFree=119692084/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=8529636 memory=7440312 CPUtime=390.1 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 1551867 0 0 0 38274 736 0 0 20 0 3 0 172869272 8734347264 1860078 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 2132409 1860078 2144 2102 0 2042999 0
[pid=139289/tid=139314] ppid=139286 vsize=8529636 memory=6524804 CPUtime=171.49 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 874469 0 0 0 16688 461 0 0 20 0 3 0 172872787 8734347264 1860078 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=8529636 memory=14080 CPUtime=85 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 220482 0 0 0 8365 135 0 0 20 0 3 0 172872787 8734347264 1860078 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 390.1 s
Current children cumulated vsize: 8529636 KiB
Current children cumulated memory: 7440312 KiB

[startup+282.3 s]
/proc/loadavg: 6.03 4.10 1.89 7/249 139323
/proc/meminfo: memFree=120020868/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=8359932 memory=7231460 CPUtime=501.51 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 1856685 0 0 0 49187 964 0 0 20 0 3 0 172869272 8560570368 1807865 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 2089983 1807865 2144 2102 0 2003048 0
[pid=139289/tid=139314] ppid=139286 vsize=8359932 memory=6724708 CPUtime=224.39 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 1146927 0 0 0 21796 643 0 0 20 0 3 0 172872787 8560570368 1807865 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=8359932 memory=6773444 CPUtime=120.58 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 252739 0 0 0 11880 178 0 0 20 0 3 0 172872787 8560570368 1807865 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 501.51 s
Current children cumulated vsize: 8359932 KiB
Current children cumulated memory: 7231460 KiB

[startup+342.3 s]
/proc/loadavg: 6.09 4.48 2.16 7/249 139325
/proc/meminfo: memFree=119767664/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=8819664 memory=7600776 CPUtime=616.12 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 2090800 0 0 0 60472 1140 0 0 20 0 3 0 172869272 9031335936 1900194 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 2204916 1900194 2144 2102 0 2116268 0
[pid=139289/tid=139314] ppid=139286 vsize=8819664 memory=6724708 CPUtime=279.79 cores=4,6

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

/proc/139289/statm: 2769294 2480129 2144 2102 0 2648325 0
[pid=139289/tid=139314] ppid=139286 vsize=11077176 memory=14080 CPUtime=1283 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 6032658 0 0 0 123713 4587 0 0 20 0 3 0 172872787 11343028224 2480129 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=11077176 memory=9730868 CPUtime=961.27 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 1799833 0 0 0 93135 2992 0 0 20 0 3 0 172872787 11343028224 2480129 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 2673.72 s
Current children cumulated vsize: 11077176 KiB
Current children cumulated memory: 9920516 KiB

[startup+1482.3 s]
/proc/loadavg: 4.06 4.14 3.74 5/243 139411
/proc/meminfo: memFree=115339896/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=12231916 memory=11042548 CPUtime=2786.86 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 8735307 0 0 0 270498 8188 0 0 20 0 3 0 172869272 12525481984 2760637 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 3057979 2760637 2144 2102 0 2937010 0
[pid=139289/tid=139314] ppid=139286 vsize=12231916 memory=11034740 CPUtime=1338.62 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 6266796 0 0 0 129100 4762 0 0 20 0 3 0 172872787 12525481984 2760637 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=12231916 memory=11118204 CPUtime=1010.87 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) S 139286 139289 139009 0 -1 4194368 1953030 0 0 0 97822 3265 0 0 20 0 3 0 172872787 12525481984 2760637 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 1 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 2786.86 s
Current children cumulated vsize: 12231916 KiB
Current children cumulated memory: 11042548 KiB

[startup+1542.3 s]
/proc/loadavg: 4.16 4.14 3.76 5/243 139413
/proc/meminfo: memFree=115108872/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=12579340 memory=11170912 CPUtime=2901.21 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 9066680 0 0 0 281443 8678 0 0 20 0 3 0 172869272 12881244160 2792728 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 3144835 2792728 2144 2102 0 3023866 0
[pid=139289/tid=139314] ppid=139286 vsize=12579340 memory=14080 CPUtime=1394.45 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 6472480 0 0 0 134455 4990 0 0 20 0 3 0 172872787 12881244160 2792728 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=12579340 memory=14080 CPUtime=1053.58 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 2069907 0 0 0 101833 3525 0 0 20 0 3 0 172872787 12881244160 2792728 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 2901.21 s
Current children cumulated vsize: 12579340 KiB
Current children cumulated memory: 11170912 KiB

[startup+1602.3 s]
/proc/loadavg: 4.24 4.16 3.80 5/243 139416
/proc/meminfo: memFree=115019444/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=12504068 memory=11198040 CPUtime=3013.36 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) R 139286 139289 139009 0 -1 4194304 9400496 0 0 0 292185 9151 0 0 20 0 3 0 172869272 12804165632 2799510 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 3126017 2799510 2144 2102 0 3005048 0
[pid=139289/tid=139314] ppid=139286 vsize=12504068 memory=14080 CPUtime=1449.3 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 6674155 0 0 0 139725 5205 0 0 20 0 3 0 172872787 12804165632 2799510 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=12504068 memory=14080 CPUtime=1094.79 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 2194459 0 0 0 105698 3781 0 0 20 0 3 0 172872787 12804165632 2799510 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 3013.36 s
Current children cumulated vsize: 12504068 KiB
Current children cumulated memory: 11198040 KiB

[startup+1662.3 s]
/proc/loadavg: 4.17 4.15 3.82 5/242 139418
/proc/meminfo: memFree=114487728/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=13094696 memory=11660692 CPUtime=3126.9 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 9798618 0 0 0 303105 9585 0 0 20 0 3 0 172869272 13408968704 2915173 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 3273674 2915173 2144 2102 0 3152705 0
[pid=139289/tid=139314] ppid=139286 vsize=13094696 memory=11512572 CPUtime=1505.25 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 6914989 0 0 0 145150 5375 0 0 20 0 3 0 172872787 13408968704 2915173 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=13094696 memory=4916 CPUtime=1146.27 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 2348642 0 0 0 110583 4044 0 0 20 0 3 0 172872787 13408968704 2915173 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 3126.9 s
Current children cumulated vsize: 13094696 KiB
Current children cumulated memory: 11660692 KiB

[startup+1722.3 s]
/proc/loadavg: 4.08 4.13 3.84 5/241 139420
/proc/meminfo: memFree=114421552/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=12996276 memory=11804692 CPUtime=3243.86 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 10194143 0 0 0 314358 10028 0 0 20 0 3 0 172869272 13308186624 2951173 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 3249069 2951173 2144 2102 0 3128100 0
[pid=139289/tid=139314] ppid=139286 vsize=12996276 memory=11035396 CPUtime=1563.16 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 7118123 0 0 0 150767 5549 0 0 20 0 3 0 172872787 13308186624 2951173 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=12996276 memory=11930952 CPUtime=1200.32 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 2540914 0 0 0 115720 4312 0 0 20 0 3 0 172872787 13308186624 2951173 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 3243.86 s
Current children cumulated vsize: 12996276 KiB
Current children cumulated memory: 11804692 KiB

[startup+1782.3 s]
/proc/loadavg: 4.08 4.12 3.85 5/241 139433
/proc/meminfo: memFree=114250884/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=13160384 memory=11965772 CPUtime=3360.32 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 10504506 0 0 0 325526 10506 0 0 20 0 3 0 172869272 13476233216 2991443 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 3290096 2991443 2144 2102 0 3169127 0
[pid=139289/tid=139314] ppid=139286 vsize=13160384 memory=2884 CPUtime=1620.32 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 7300170 0 0 0 156264 5768 0 0 20 0 3 0 172872787 13476233216 2991443 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=13160384 memory=11889996 CPUtime=1251.1 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 2662142 0 0 0 120540 4570 0 0 20 0 3 0 172872787 13476233216 2991443 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 3360.32 s
Current children cumulated vsize: 13160384 KiB
Current children cumulated memory: 11965772 KiB

[startup+1842.3 s]
/proc/loadavg: 3.18 3.89 3.79 3/234 139473
/proc/meminfo: memFree=117455628/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=11976948 memory=10821428 CPUtime=3479.5 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 10781515 0 0 0 337201 10749 0 0 20 0 3 0 172869272 12264394752 2705357 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 2994237 2705357 2144 2102 0 2873268 0
[pid=139289/tid=139314] ppid=139286 vsize=11976948 memory=11305008 CPUtime=1680.13 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 7524049 0 0 0 162013 6000 0 0 20 0 3 0 172872787 12264394752 2705357 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=11976948 memory=14080 CPUtime=1310.46 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 2715183 0 0 0 126466 4580 0 0 20 0 3 0 172872787 12264394752 2705357 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 3479.5 s
Current children cumulated vsize: 11976948 KiB
Current children cumulated memory: 10821428 KiB

[startup+1902.3 s]
/proc/loadavg: 2.48 3.56 3.68 3/234 139475
/proc/meminfo: memFree=117774644/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=11976948 memory=10821428 CPUtime=3598.72 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 11018726 0 0 0 348926 10946 0 0 20 0 3 0 172869272 12264394752 2705357 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 2994237 2705357 2144 2102 0 2873268 0
[pid=139289/tid=139314] ppid=139286 vsize=11976948 memory=10841060 CPUtime=1739.94 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 7749129 0 0 0 167799 6195 0 0 20 0 3 0 172872787 12264394752 2705357 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=11976948 memory=11365048 CPUtime=1369.85 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 2727248 0 0 0 132403 4582 0 0 20 0 3 0 172872787 12264394752 2705357 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 3598.72 s
Current children cumulated vsize: 11976948 KiB
Current children cumulated memory: 10821428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1903 s]*
/proc/loadavg: 2.48 3.56 3.68 3/234 139475
/proc/meminfo: memFree=117343544/131382116 swapFree=33009904/33010684
[pid=139289] ppid=139286 vsize=12637356 memory=11283180 CPUtime=3600.12 cores=4,6
/proc/139289/stat : 139289 (cp_sat_runner) S 139286 139289 139009 0 -1 4194304 11021486 0 0 0 349055 10957 0 0 20 0 3 0 172869272 12940652544 2820795 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
/proc/139289/statm: 3159339 2820795 2144 2102 0 3038370 0
[pid=139289/tid=139314] ppid=139286 vsize=12637356 memory=-6808728789762085731 CPUtime=1740.64 cores=4,6
/proc/139289/task/139314/stat : 139314 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 7751671 0 0 0 167858 6206 0 0 20 0 3 0 172872787 12940652544 2820795 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
[pid=139289/tid=139315] ppid=139286 vsize=12637356 memory=-5155633680935826750 CPUtime=1370.55 cores=4,6
/proc/139289/task/139315/stat : 139315 (cp_sat_runner) R 139286 139289 139009 0 -1 4194368 2727466 0 0 0 132473 4582 0 0 20 0 3 0 172872787 12940652544 2820795 18446744073709551615 4198400 12806697 140736079572976 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 19890176 140736079579413 140736079579617 140736079579617 140736079585223 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 12637356 KiB
Current children cumulated memory: 11283180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3490.56 s, system=109.7 s

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

[startup+1903.11 s]*
/proc/loadavg: 2.48 3.56 3.68 2/233 139475
/proc/meminfo: memFree=125223036/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): 1903.14
CPU time (s): 3600.26
CPU user time (s): 3490.56
CPU system time (s): 109.7
CPU usage (%): 189.175
Max. virtual memory (cumulated for all children) (KiB): 13371328
Max. memory (cumulated for all children) (KiB): 12108580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3490.56
system time used= 109.7
maximum resident set size= 12110628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11021506
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= 25092
involuntary context switches= 64334


# summary of solver processes directly reported to runsolver:
#   pid: 139289
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3490.56
#   total CPU system time (s): 109.7

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.02249 second user time and 9.6475 second system time

The end

Begin job on nodeC004 at 2025-07-15 11:31:40
IDJOB=4529510
IDBENCH=144139
IDSOLVER=3387
FILE ID=nodeC004/4529510-1752571899
RUNJOBID= nodeC004-1752571843-139027
SLURM_JOB_ID= 9683873
Free space on /tmp= 432936 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph06_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-4529510-1752571899/watcher-4529510-1752571899 -o /tmp/evaluation-result-4529510-1752571899/solver-4529510-1752571899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752571843-139027 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:375222618 --competition_mode --input HOME/instance-4529510-1752571899.wbo

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

MD5SUM BENCH= 38287b4f81b650595c9c747bdd7f38d4
RANDOM SEED=375222618

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		: 3572.594
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		: 1200.146
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		: 3572.163
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		: 1197.408
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		: 1596.200
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		: 3664.010
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		: 3700.000
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		: 3640.056
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:        127566816 kB
MemAvailable:   128779764 kB
Buffers:            2128 kB
Cached:          1957952 kB
SwapCached:           32 kB
Active:          1635764 kB
Inactive:        1351452 kB
Active(anon):    1034348 kB
Inactive(anon):    10720 kB
Active(file):     601416 kB
Inactive(file):  1340732 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             80188 kB
Writeback:             0 kB
AnonPages:       1030196 kB
Mapped:           123948 kB
Shmem:             17932 kB
KReclaimable:     220856 kB
Slab:             317108 kB
SReclaimable:     220856 kB
SUnreclaim:        96252 kB
KernelStack:        4080 kB
PageTables:         5052 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1436200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 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= 432972 MiB
End job on nodeC004 at 2025-07-15 12:03:24