0.35/1.98 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4519205-1751544246.opb
0.35/1.98 c Solving mode: optimization
0.35/1.98 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.35/1.98 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.35/1.98 c there might be <80> coefficients or weight out of range!
0.35/1.98 c original problem has 15200 variables (15200 bin, 0 int, 0 impl, 0 cont) and 22700 constraints
0.35/1.98 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.35/1.98 c presolving:
0.35/1.98 c (round 1, fast) 2800 del vars, 2800 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5100 clqs
0.35/1.98 c (round 2, exhaustive) 2800 del vars, 10300 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5100 clqs
0.35/1.98 c (round 3, exhaustive) 2800 del vars, 10300 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7502 upgd conss, 0 impls, 5100 clqs
0.35/1.98 c (round 4, exhaustive) 2800 del vars, 17800 del conss, 2500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7502 upgd conss, 0 impls, 5100 clqs
0.35/1.98 c (0.2s) probing: 51/12400 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.35/1.98 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.35/1.98 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.35/1.98 c (0.2s) no symmetry present (symcode time: 0.00)
0.35/1.98 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
0.35/1.98 c 2800 deleted vars, 17800 deleted constraints, 2500 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.35/1.98 c 0 implications, 5100 cliques
0.35/1.98 c presolved problem has 12400 variables (12400 bin, 0 int, 0 impl, 0 cont) and 7400 constraints
0.35/1.98 c 2500 constraints of type <and>
0.35/1.98 c 2 constraints of type <xor>
0.35/1.98 c 4898 constraints of type <linear>
0.35/1.98 c transformed objective value is always integral (scale: 1)
0.35/1.98 c Presolving Time: 0.21
0.35/1.98 c WARNING: SCIP detected coefficients or weights that may be out of range.
0.35/1.98 c ----------------------------------------------------------------------
0.35/1.98 c executing external solver (fallback): HOME/naps-1.03a6
0.35/1.98 c ----------------------------------------------------------------------
0.35/1.98 c command: HOME/naps-1.03a6 HOME/instance-4519205-1751544246.opb
0.35/1.99 c NaPS 1.03a6.
0.35/1.99 c Input file name: HOME/instance-4519205-1751544246.opb
0.83/2.49 c single stage optimization mode
3600.02/3612.70 o 0
3600.02/3612.70 c
3600.02/3612.70 c *** TERMINATED *** by signal 15
3600.02/3612.70 c _____________________________________________________________________________
3600.02/3612.70 c std/band forms : 2,4900
3600.02/3612.70 c 2cl/3cl ITE-codings : 295,24200
3600.02/3612.70 c BDD/srt/adr Max costs : 49392,0,0
3600.02/3612.70 c BDDraw/bin/mul/srt/adr: 4902,0,0,0,0
3600.02/3612.70 c BDD nodes : 59192
3600.02/3612.70 c Es1/CC detections : 0,0
3600.02/3612.70 c CC sort : 0
3600.02/3612.70 c SAT/UNSAT calls : 1,1
3600.02/3612.70 c regenrated variables : 0
3600.02/3612.70 c eliminated fixed lits : 0
3600.02/3612.70 c goal lit flips : 0
3600.02/3612.70 c goal stages : 1
3600.02/3612.70 c goal shrink : 0
3600.02/3612.70 c goal coeff separations: 26
3600.02/3612.70 c restarts : 0
3600.02/3612.70 c conflicts : 41 (0 /sec)
3600.02/3612.70 c decisions : 42 (0 /sec)
3600.02/3612.70 c propagations : 22289 (6 /sec)
3600.02/3612.70 c inspects : 0 (0 /sec)
3600.02/3612.70 c CPU time (solving tm) : 3599 s (3599 s, SAT 0.0207 s, UNSAT 0.003011 s)
3600.02/3612.70 c Time for Opt-base : 0 s
3600.02/3612.70 c Steps for Opt-base : 0
3600.02/3612.70 c Time for BDD coding : 0.2205 s
3600.02/3612.70 c Time for srt coding : 0 s
3600.02/3612.70 c _____________________________________________________________________________
3600.02/3612.70 s SATISFIABLE
3600.02/3612.70 v -x15001 -x15101 -x15002 -x15102 -x15003 -x15103 -x15004 -x15104 -x15005 -x15105 -x15006 -x15106 -x15007 -x15107 -x15008 -x15108 -x15009 -x15109 -x15010 -x15110 -x15011 -x15111 -x15012 -x15112 -x15013 -x15113 -x15014 -x15114 -x15015 -x15115 -x15016 -x15116 -x15017 -x15117 -x15018 -x15118 -x15019 -x15119 -x15020 -x15120 -x15021 -x15121 -x15022 -x15122 -x15023 -x15123 -x15024 -x15124 -x15025 -x15125 -x15026 -x15126 -x15027 -x15127 -x15028 -x15128 -x15029 -x15129 -x15030 -x15130 -x15031 -x15131 -x15032 -x15132 -x15033 -x15133 -x15034 -x15134 -x15035 -x15135 -x15036 -x15136 -x15037 -x15137 -x15038 -x15138 -x15039 -x15139 -x15040 -x15140 -x15041 -x15141 -x15042 -x15142 -x15043 -x15143 -x15044 -x15144 -x15045 -x15145 -x15046 -x15146 -x15047 -x15147 -x15048 -x15148 -x15049 -x15149 -x15050 -x15150 -x15051 -x15151 -x15052 -x15152 -x15053 -x15153 -x15054 -x15154 -x15055 -x15155 -x15056 -x15156 -x15057 -x15157 -x15058 -x15158 -x15059 -x15159 -x15060 -x15160 -x15061 -x15161 -x15062 -x15162 -x15063 -x15163 -x15064 -x15164 -x15065 -x15165 -x15066 -x15166 -x15067 -x15167 -x15068 -x15168 -x15069 -x15169 -x15070 -x15170 -x15071 -x15171 -x15072 -x15172 -x15073 -x15173 -x15074 -x15174 -x15075 -x15175 -x15076 -x15176 -x15077 -x15177 -x15078 -x15178 -x15079 -x15179 -x15080 -x15180 -x15081 -x15181 -x15082 -x15182 -x15083 -x15183 -x15084 -x15184 -x15085 -x15185 -x15086 -x15186 -x15087 -x15187 -x15088 -x15188 -x15089 -x15189 -x15090 -x15190 -x15091 -x15191 -x15092 -x15192 -x15093 -x15193 -x15094 -x15194 -x15095 -x15195 -x15096 -x15196 -x15097 -x15197 -x15098 -x15198 -x15099 -x15199 -x15100 -x15200 -x101 -x1 -x51 -x10001 -x2601 -x12501 -x151 -x2 -x102 -x52 -x10051 -x5101 -x10002 -x2651 -x2602 -x12551 -x7551 -x12502 -x201 -x3 -x152 -x103 -x53 -x10101 -x5150 -x10052 -x5102 -x10003 -x2701 -x2652 -x2603 -x12601 -x7600 -x12552 -x7552 -x12503 -x251 -x4 -x202 -x153 -x104 -x54 -x10151 -x5199 -x10102 -x5151 -x10053 -x5103 -x10004 -x2751 -x2702 -x2653 -x2604 -x12651 -x7649 -x12602 -x7601 -x12553 -x7553 -x12504 -x301 -x5 -x252 -x203 -x154 -x105 -x55 -x10201 -x5248 -x10152 -x5200 -x10103 -x5152 -x10054 -x5104 -x10005 -x2801 -x2752 -x2703 -x2654 -x2605 -x12701 -x7698 -x12652 -x7650 -x12603 -x7602 -x12554 -x7554 -x12505 -x351 -x6 -x302 -x253 -x204 -x155 -x106 -x56 -x10251 -x5297 -x10202 -x5249 -x10153 -x5201 -x10104 -x5153 -x10055 -x5105 -x10006 -x2851 -x2802 -x2753 -x2704 -x2655 -x2606 -x12751 -x7747 -x12702 -x7699 -x12653 -x7651 -x12604 -x7603 -x12555 -x7555 -x12506 -x401 -x7 -x352 -x303 -x254 -x205 -x156 -x107 -x57 -x10301 -x5346 -x10252 -x5298 -x10203 -x5250 -x10154 -x5202 -x10105 -x5154 -x10056 -x5106 -x10007 -x2901 -x2852 -x2803 -x2754 -x2705 -x2656 -x2607 -x12801 -x7796 -x12752 -x7748 -x12703 -x7700 -x12654 -x7652 -x12605 -x7604 -x12556 -x7556 -x12507 -x451 -x8 -x402 -x353 -x304 -x255 -x206 -x157 -x108 -x58 -x10351 -x5395 -x10302 -x5347 -x10253 -x5299 -x10204 -x5251 -x10155 -x5203 -x10106 -x5155 -x10057 -x5107 -x10008 -x2951 -x2902 -x2853 -x2804 -x2755 -x2706 -x2657 -x2608 -x12851 -x7845 -x12802 -x7797 -x12753 -x7749 -x12704 -x7701 -x12655 -x7653 -x12606 -x7605 -x12557 -x7557 -x12508 -x501 -x9 -x452 -x403 -x354 -x305 -x256 -x207 -x158 -x109 -x59 -x10401 -x5444 -x10352 -x5396 -x10303 -x5348 -x10254 -x5300 -x10205 -x5252 -x10156 -x5204 -x10107 -x5156 -x10058 -x5108 -x10009 -x3001 -x2952 -x2903 -x2854 -x2805 -x2756 -x2707 -x2658 -x2609 -x12901 -x7894 -x12852 -x7846 -x12803 -x7798 -x12754 -x7750 -x12705 -x7702 -x12656 -x7654 -x12607 -x7606 -x12558 -x7558 -x12509 -x551 -x10 -x502 -x453 -x404 -x355 -x306 -x257 -x208 -x159 -x110 -x60 -x10451 -x5493 -x10402 -x5445 -x10353 -x5397 -x10304 -x5349 -x10255 -x5301 -x10206 -x5253 -x10157 -x5205 -x10108 -x5157 -x10059 -x5109 -x10010 -x3051 -x3002 -x2953 -x2904 -x2855 -x2806 -x2757 -x2708 -x2659 -x2610 -x12951 -x7943 -x12902 -x7895 -x12853 -x7847 -x12804 -x7799 -x12755 -x7751 -x12706 -x7703 -x12657 -x7655 -x12608 -x7607 -x12559 -x7559 -x12510 -x601 -x11 -x552 -x503 -x454 -x405 -x356 -x307 -x258 -x209 -x160 -x111 -x61 -x10501 -x5542 -x10452 -x5494 -x10403 -x5446 -x10354 -x5398 -x10305 -x5350 -x10256 -x5302 -x10207 -x5254 -x10158 -x5206 -x10109 -x5158 -x10060 -x5110 -x10011 -x3101 -x3052 -x3003 -x2954 -x2905 -x2856 -x2807 -x2758 -x2709 -x2660 -x2611 -x13001 -x7992 -x12952 -x7944 -x12903 -x7896 -x12854 -x7848 -x12805 -x7800 -x12756 -x7752 -x12707 -x7704 -x12658 -x7656 -x12609 -x7608 -x12560 -x7560 -x12511 -x651 -x12 -x602 -x553 -x504 -x455 -x406 -x357 -x308 -x259 -x210 -x161 -x112 -x62 -x10551 -x5591 -x10502 -x5543 -x10453 -x5495 -x10404 -x5447 -x10355 -x5399 -x10306 -x5351 -x10257 -x5303 -x10208 -x5255 -x10159 -x5207 -x10110 -x5159 -x10061 -x5111 -x10012 -x3151 -x3102 -x3053 -x3004 -x2955 -x2906 -x2857 -x2808 -x2759 -x2710 -x2661 -x2612 -x13051 -x8041 -x13002 -x7993 -x12953 -x7945 -x12904 -x7897 -x12855 -x7849 -x12806 -x7801 -x12757 -x7753 -x12708 -x7705 -x12659 -x7657 -x12610 -x7609 -x12561 -x7561 -x12512 -x701 -x13 -x652 -x603 -x554 -x505 -x456 -x407 -x358 -x309 -x260 -x211 -x162 -x113 -x63 -x10601 -x5640 -x10552 -x5592 -x10503 -x5544 -x10454 -x5496 -x10405 -x5448 -x10356 -x5400 -x10307 -x5352 -x10258 -x5304 -x10209 -x5256 -x10160 -x5208 -x10111 -x5160 -x10062 -x5112 -x10013 -x3201 -x3152 -x3103 -x3054 -x3005 -x2956 -x2907 -x2858 -x2809 -x2760 -x2711 -x2662 -x2613 -x13101 -x8090 -x13052 -x8042 -x13003 -x7994 -x12954 -x7946 -x12905 -x7898 -x12856 -x7850 -x12807 -x7802 -x12758 -x7754 -x12709 -x7706 -x12660 -x7658 -x12611 -x7610 -x12562 -x7562 -x12513 -x751 -x14 -x702 -x653 -x604 -x555 -x506 -x457 -x408 -x359 -x310 -x261 -x212 -x163 -x114 -x64 -x10651 -x5689 -x10602 -x5641 -x10553 -x5593 -x10504 -x5545 -x10455 -x5497 -x10406 -x5449 -x10357 -x5401 -x10308 -x5353 -x10259 -x5305 -x10210 -x5257 -x10161 -x5209 -x10112 -x5161 -x10063 -x5113 -x10014 -x3251 -x3202 -x3153 -x3104 -x3055 -x3006 -x2957 -x2908 -x2859 -x2810 -x2761 -x2712 -x2663 -x2614 -x13151 -x8139 -x13102 -x8091 -x13053 -x8043 -x13004 -x7995 -x12955 -x7947 -x12906 -x7899 -x12857 -x7851 -x12808 -x7803 -x12759 -x7755 -x12710 -x7707 -x12661 -x7659 -x12612 -x7611 -x12563 -x7563 -x12514 -x801 -x15 -x752 -x703 -x654 -x605 -x556 -x507 -x458 -x409 -x360 -x311 -x262 -x213 -x164 -x115 -x65 -x10701 -x5738 -x10652 -x5690 -x10603 -x5642 -x10554 -x5594 -x10505 -x5546 -x10456 -x5498 -x10407 -x5450 -x10358 -x5402 -x10309 -x5354 -x10260 -x5306 -x10211 -x5258 -x10162 -x5210 -x10113 -x5162 -x10064 -x5114 -x10015 -x3301 -x3252 -x3203 -x3154 -x3105 -x3056 -x3007 -x2958 -x2909 -x2860 -x2811 -x2762 -x2713 -x2664 -x2615 -x13201 -x8188 -x13152 -x8140 -x13103 -x8092 -x13054 -x8044 -x13005 -x7996 -x12956 -x7948 -x12907 -x7900 -x12858 -x7852 -x12809 -x7804 -x12760 -x7756 -x12711 -x7708 -x12662 -x7660 -x12613 -x7612 -x12564 -x7564 -x12515 -x851 -x16 -x802 -x753 -x704 -x655 -x606 -x557 -x508 -x459 -x410 -x361 -x312 -x263 -x214 -x165 -x116 -x66 -x10751 -x5787 -x10702 -x5739 -x10653 -x5691 -x10604 -x5643 -x10555 -x5595 -x10506 -x5547 -x10457 -x5499 -x10408 -x5451 -x10359 -x5403 -x10310 -x5355 -x10261 -x5307 -x10212 -x5259 -x10163 -x5211 -x10114 -x5163 -x10065 -x5115 -x10016 -x3351 -x3302 -x3253 -x3204 -x3155 -x3106 -x3057 -x3008 -x2959 -x2910 -x2861 -x2812 -x2763 -x2714 -x2665 -x2616 -x13251 -x8237 -x13202 -x8189 -x13153 -x8141 -x13104 -x8093 -x13055 -x8045 -x13006 -x7997 -x12957 -x7949 -x12908 -x7901 -x12859 -x7853 -x12810 -x7805 -x12761 -x7757 -x12712 -x7709 -x12663 -x7661 -x12614 -x7613 -x12565 -x7565 -x12516 -x901 -x17 -x852 -x803 -x754 -x705 -x656 -x607 -x558 -x509 -x460 -x411 -x362 -x313 -x264 -x215 -x166 -x117 -x67 -x10801 -x5836 -x10752 -x5788 -x10703 -x5740 -x10654 -x5692 -x10605 -x5644 -x10556 -x5596 -x10507 -x5548 -x10458 -x5500 -x10409 -x5452 -x10360 -x5404 -x10311 -x5356 -x10262 -x5308 -x10213 -x5260 -x10164 -x5212 -x10115 -x5164 -x10066 -x5116 -x10017 -x3401 -x3352 -x3303 -x3254 -x3205 -x3156 -x3107 -x3058 -x3009 -x2960 -x2911 -x2862 -x2813 -x2764 -x2715 -x2666 -x2617 -x13301 -x8286 -x13252 -x8238 -x13203 -x8190 -x13154 -x8142 -x13105 -x8094 -x13056 -x8046 -x13007 -x7998 -x12958 -x7950 -x12909 -x7902 -x12860 -x7854 -x12811 -x7806 -x12762 -x7758 -x12713 -x7710 -x12664 -x7662 -x12615 -x7614 -x12566 -x7566 -x12517 -x951 -x18 -x902 -x853 -x804 -x755 -x706 -x657 -x608 -x559 -x510 -x461 -x412 -x363 -x314 -x265 -x216 -x167 -x118 -x68 -x10851 -x5885 -x10802 -x5837 -x10753 -x5789 -x10704 -x5741 -x10655 -x5693 -x10606 -x5645 -x10557 -x5597 -x10508 -x5549 -x10459 -x5501 -x10410 -x5453 -x10361 -x5405 -x10312 -x5357 -x10263 -x5309 -x10214 -x5261 -x10165 -x5213 -x10116 -x5165 -x10067 -x5117 -x10018 -x3451 -x3402 -x3353 -x3304 -x3255 -x3206 -x3157 -x3108 -x3059 -x3010 -x2961 -x2912 -x2863 -x2814 -x2765 -x2716 -x2667 -x2618 -x13351 -x8335 -x13302 -x8287 -x13253 -x8239 -x13204 -x8191 -x13155 -x8143 -x13106 -x8095 -x13057 -x8047 -x13008 -x7999 -x12959 -x7951 -x12910 -x7903 -x12861 -x7855 -x12812 -x7807 -x12763 -x7759 -x12714 -x7711 -x12665 -x7663 -x12616 -x7615 -x12567 -x7567 -x12518 -x1001 -x19 -x952 -x903 -x854 -x805 -x756 -x707 -x658 -x609 -x560 -x511 -x462 -x413 -x364 -x315 -x266 -x217 -x168 -x119 -x69 -x10901 -x5934 -x10852 -x5886 -x10803 -x5838 -x10754 -x5790 -x10705 -x5742 -x10656 -x5694 -x10607 -x5646 -x10558 -x5598 -x10509 -x5550 -x10460 -x5502 -x10411 -x5454 -x10362 -x5406 -x10313 -x5358 -x10264 -x5310 -x10215 -x5262 -x10166 -x5214 -x10117 -x5166 -x10068 -x5118 -x10019 -x3501 -x3452 -x3403 -x3354 -x3305 -x3256 -x3207 -x3158 -x3109 -x3060 -x3011 -x2962 -x2913 -x2864 -x2815 -x2766 -x2717 -x2668 -x2619 -x13401 -x8384 -x13352 -x8336 -x13303 -x8288 -x13254 -x8240 -x13205 -x8192 -x13156 -x8144 -x13107 -x8096 -x13058 -x8048 -x13009 -x8000 -x12960 -x7952 -x12911 -x7904 -x12862 -x7856 -x12813 -x7808 -x12764 -x7760 -x12715 -x7712 -x12666 -x7664 -x12617 -x7616 -x12568 -x7568 -x12519 -x1051 -x20 -x1002 -x953 -x904 -x855 -x806 -x757 -x708 -x659 -x610 -x561 -x512 -x463 -x414 -x365 -x316 -x267 -x218 -x169 -x120 -x70 -x10951 -x5983 -x10902 -x5935 -x10853 -x5887 -x10804 -x5839 -x10755 -x5791 -x10706 -x5743 -x10657 -x5695 -x10608 -x5647 -x10559 -x5599 -x10510 -x5551 -x10461 -x5503 -x10412 -x5455 -x10363 -x5407 -x10314 -x5359 -x10265 -x5311 -x10216 -x5263 -x10167 -x5215 -x10118 -x5167 -x10069 -x5119 -x10020 -x3551 -x3502 -x3453 -x3404 -x3355 -x3306 -x3257 -x3208 -x3159 -x3110 -x3061 -x3012 -x2963 -x2914 -x2865 -x2816 -x2767 -x2718 -x2669 -x2620 -x13451 -x8433 -x13402 -x8385 -x13353 -x8337 -x13304 -x8289 -x13255 -x8241 -x13206 -x8193 -x13157 -x8145 -x13108 -x8097 -x13059 -x8049 -x13010 -x8001 -x12961 -x7953 -x12912 -x7905 -x12863 -x7857 -x12814 -x7809 -x12765 -x7761 -x12716 -x7713 -x12667 -x7665 -x12618 -x7617 -x12569 -x7569 -x12520 -x1101 -x21 -x1052 -x1003 -x954 -x905 -x856 -x807 -x758 -x709 -x660 -x611 -x562 -x513 -x464 -x415 -x366 -x317 -x268 -x219 -x170 -x121 -x71 -x11001 -x6032 -x10952 -x5984 -x10903 -x5936 -x10854 -x5888 -x10805 -x5840 -x10756 -x5792 -x10707 -x5744 -x10658 -x5696 -x10609 -x5648 -x10560 -x5600 -x10511 -x5552 -x10462 -x5504 -x10413 -x5456 -x10364 -x5408 -x10315 -x5360 -x10266 -x5312 -x10217 -x5264 -x10168 -x5216 -x10119 -x5168 -x10070 -x5120 -x10021 -x3601 -x3552 -x3503 -x3454 -x3405 -x3356 -x3307 -x3258 -x3209 -x3160 -x3111 -x3062 -x3013 -x2964 -x2915 -x2866 -x2817 -x2768 -x2719 -x2670 -x2621 -x13501 -x8482 -x13452 -x8434 -x13403 -x8386 -x13354 -x8338 -x13305 -x8290 -x13256 -x8242 -x13207 -x8194 -x13158 -x8146 -x13109 -x8098 -x13060 -x8050 -x13011 -x8002 -x12962 -x7954 -x12913 -x7906 -x12864 -x7858 -x12815 -x7810 -x12766 -x7762 -x12717 -x7714 -x12668 -x7666 -x12619 -x7618 -x12570 -x7570 -x12521 -x1151 -x22 -x1102 -x1053 -x1004 -x955 -x906 -x857 -x808 -x759 -x710 -x661 -x612 -x563 -x514 -x465 -x416 -x367 -x318 -x269 -x220 -x171 -x122 -x72 -x11051 -x6081 -x11002 -x6033 -x10953 -x5985 -x10904 -x5937 -x10855 -x5889 -x10806 -x5841 -x10757 -x5793 -x10708 -x5745 -x10659 -x5697 -x10610 -x5649 -x10561 -x5601 -x10512 -x5553 -x10463 -x5505 -x10414 -x5457 -x10365 -x5409 -x10316 -x5361 -x10267 -x5313 -x10218 -x5265 -x10169 -x5217 -x10120 -x5169 -x10071 -x5121 -x10022 -x3651 -x3602 -x3553 -x3504 -x3455 -x3406 -x3357 -x3308 -x3259 -x3210 -x3161 -x3112 -x3063 -x3014 -x2965 -x2916 -x2867 -x2818 -x2769 -x2720 -x2671 -x2622 -x13551 -x8531 -x13502 -x8483 -x13453 -x8435 -x13404 -x8387 -x13355 -x8339 -x13306 -x8291 -x13257 -x8243 -x13208 -x8195 -x13159 -x8147 -x13110 -x8099 -x13061 -x8051 -x13012 -x8003 -x12963 -x7955 -x12914 -x7907 -x12865 -x7859 -x12816 -x7811 -x12767 -x7763 -x12718 -x7715 -x12669 -x7667 -x12620 -x7619 -x12571 -x7571 -x12522 -x1201 -x23 -x1152 -x1103 -x1054 -x1005 -x956 -x907 -x858 -x809 -x760 -x711 -x662 -x613 -x564 -x515 -x466 -x417 -x368 -x319 -x270 -x221 -x172 -x123 -x73 -x11101 -x6130 -x11052 -x6082 -x11003 -x6034 -x10954 -x5986 -x10905 -x5938 -x10856 -x5890 -x10807 -x5842 -x10758 -x5794 -x10709 -x5746 -x10660 -x5698 -x10611 -x5650 -x10562 -x5602 -x10513 -x5554 -x10464 -x5506 -x10415 -x5458 -x10366 -x5410 -x10317 -x5362 -x10268 -x5314 -x10219 -x5266 -x10170 -x5218 -x10121 -x5170 -x10072 -x5122 -x10023 -x3701 -x3652 -x3603 -x3554 -x3505 -x3456 -x3407 -x3358 -x3309 -x3260 -x3211 -x3162 -x3113 -x3064 -x3015 -x2966 -x2917 -x2868 -x2819 -x2770 -x2721 -x2672 -x2623 -x13601 -x8580 -x13552 -x8532 -x13503 -x8484 -x13454 -x8436 -x13405 -x8388 -x13356 -x8340 -x13307 -x8292 -x13258 -x8244 -x13209 -x8196 -x13160 -x8148 -x13111 -x8100 -x13062 -x8052 -x13013 -x8004 -x12964 -x7956 -x12915 -x7908 -x12866 -x7860 -x12817 -x7812 -x12768 -x7764 -x12719 -x7716 -x12670 -x7668 -x12621 -x7620 -x12572 -x7572 -x12523 -x1251 -x24 -x1202 -x1153 -x1104 -x1055 -x1006 -x957 -x908 -x859 -x810 -x761 -x712 -x663 -x614 -x565 -x516 -x467 -x418 -x369 -x320 -x271 -x222 -x173 -x124 -x74 -x11151 -x6179 -x11102 -x6131 -x11053 -x6083 -x11004 -x6035 -x10955 -x5987 -x10906 -x5939 -x10857 -x5891 -x10808 -x5843 -x10759 -x5795 -x10710 -x5747 -x10661 -x5699 -x10612 -x5651 -x10563 -x5603 -x10514 -x5555 -x10465 -x5507 -x10416 -x5459 -x10367 -x5411 -x10318 -x5363 -x10269 -x5315 -x10220 -x5267 -x10171 -x5219 -x10122 -x5171 -x10073 -x5123 -x10024 -x3751 -x3702 -x3653 -x3604 -x3555 -x3506 -x3457 -x3408 -x3359 -x3310 -x3261 -x3212 -x3163 -x3114 -x3065 -x3016 -x2967 -x2918 -x2869 -x2820 -x2771 -x2722 -x2673 -x2624 -x13651 -x8629 -x13602 -x8581 -x13553 -x8533 -x13504 -x8485 -x13455 -x8437 -x13406 -x8389 -x13357 -x8341 -x13308 -x8293 -x13259 -x8245 -x13210 -x8197 -x13161 -x8149 -x13112 -x8101 -x13063 -x8053 -x13014 -x8005 -x12965 -x7957 -x12916 -x7909 -x12867 -x7861 -x12818 -x7813 -x12769 -x7765 -x12720 -x7717 -x12671 -x7669 -x12622 -x7621 -x12573 -x7573
3600.02/3612.70 v -x12524 -x1301 -x25 -x1252 -x1203 -x1154 -x1105 -x1056 -x1007 -x958 -x909 -x860 -x811 -x762 -x713 -x664 -x615 -x566 -x517 -x468 -x419 -x370 -x321 -x272 -x223 -x174 -x125 -x75 -x11201 -x6228 -x11152 -x6180 -x11103 -x6132 -x11054 -x6084 -x11005 -x6036 -x10956 -x5988 -x10907 -x5940 -x10858 -x5892 -x10809 -x5844 -x10760 -x5796 -x10711 -x5748 -x10662 -x5700 -x10613 -x5652 -x10564 -x5604 -x10515 -x5556 -x10466 -x5508 -x10417 -x5460 -x10368 -x5412 -x10319 -x5364 -x10270 -x5316 -x10221 -x5268 -x10172 -x5220 -x10123 -x5172 -x10074 -x5124 -x10025 -x3801 -x3752 -x3703 -x3654 -x3605 -x3556 -x3507 -x3458 -x3409 -x3360 -x3311 -x3262 -x3213 -x3164 -x3115 -x3066 -x3017 -x2968 -x2919 -x2870 -x2821 -x2772 -x2723 -x2674 -x2625 -x13701 -x8678 -x13652 -x8630 -x13603 -x8582 -x13554 -x8534 -x13505 -x8486 -x13456 -x8438 -x13407 -x8390 -x13358 -x8342 -x13309 -x8294 -x13260 -x8246 -x13211 -x8198 -x13162 -x8150 -x13113 -x8102 -x13064 -x8054 -x13015 -x8006 -x12966 -x7958 -x12917 -x7910 -x12868 -x7862 -x12819 -x7814 -x12770 -x7766 -x12721 -x7718 -x12672 -x7670 -x12623 -x7622 -x12574 -x7574 -x12525 -x1351 -x26 -x1302 -x1253 -x1204 -x1155 -x1106 -x1057 -x1008 -x959 -x910 -x861 -x812 -x763 -x714 -x665 -x616 -x567 -x518 -x469 -x420 -x371 -x322 -x273 -x224 -x175 -x126 -x76 -x11251 -x6277 -x11202 -x6229 -x11153 -x6181 -x11104 -x6133 -x11055 -x6085 -x11006 -x6037 -x10957 -x5989 -x10908 -x5941 -x10859 -x5893 -x10810 -x5845 -x10761 -x5797 -x10712 -x5749 -x10663 -x5701 -x10614 -x5653 -x10565 -x5605 -x10516 -x5557 -x10467 -x5509 -x10418 -x5461 -x10369 -x5413 -x10320 -x5365 -x10271 -x5317 -x10222 -x5269 -x10173 -x5221 -x10124 -x5173 -x10075 -x5125 -x10026 -x3851 -x3802 -x3753 -x3704 -x3655 -x3606 -x3557 -x3508 -x3459 -x3410 -x3361 -x3312 -x3263 -x3214 -x3165 -x3116 -x3067 -x3018 -x2969 -x2920 -x2871 -x2822 -x2773 -x2724 -x2675 -x2626 -x13751 -x8727 -x13702 -x8679 -x13653 -x8631 -x13604 -x8583 -x13555 -x8535 -x13506 -x8487 -x13457 -x8439 -x13408 -x8391 -x13359 -x8343 -x13310 -x8295 -x13261 -x8247 -x13212 -x8199 -x13163 -x8151 -x13114 -x8103 -x13065 -x8055 -x13016 -x8007 -x12967 -x7959 -x12918 -x7911 -x12869 -x7863 -x12820 -x7815 -x12771 -x7767 -x12722 -x7719 -x12673 -x7671 -x12624 -x7623 -x12575 -x7575 -x12526 -x1401 -x27 -x1352 -x1303 -x1254 -x1205 -x1156 -x1107 -x1058 -x1009 -x960 -x911 -x862 -x813 -x764 -x715 -x666 -x617 -x568 -x519 -x470 -x421 -x372 -x323 -x274 -x225 -x176 -x127 -x77 -x11301 -x6326 -x11252 -x6278 -x11203 -x6230 -x11154 -x6182 -x11105 -x6134 -x11056 -x6086 -x11007 -x6038 -x10958 -x5990 -x10909 -x5942 -x10860 -x5894 -x10811 -x5846 -x10762 -x5798 -x10713 -x5750 -x10664 -x5702 -x10615 -x5654 -x10566 -x5606 -x10517 -x5558 -x10468 -x5510 -x10419 -x5462 -x10370 -x5414 -x10321 -x5366 -x10272 -x5318 -x10223 -x5270 -x10174 -x5222 -x10125 -x5174 -x10076 -x5126 -x10027 -x3901 -x3852 -x3803 -x3754 -x3705 -x3656 -x3607 -x3558 -x3509 -x3460 -x3411 -x3362 -x3313 -x3264 -x3215 -x3166 -x3117 -x3068 -x3019 -x2970 -x2921 -x2872 -x2823 -x2774 -x2725 -x2676 -x2627 -x13801 -x8776 -x13752 -x8728 -x13703 -x8680 -x13654 -x8632 -x13605 -x8584 -x13556 -x8536 -x13507 -x8488 -x13458 -x8440 -x13409 -x8392 -x13360 -x8344 -x13311 -x8296 -x13262 -x8248 -x13213 -x8200 -x13164 -x8152 -x13115 -x8104 -x13066 -x8056 -x13017 -x8008 -x12968 -x7960 -x12919 -x7912 -x12870 -x7864 -x12821 -x7816 -x12772 -x7768 -x12723 -x7720 -x12674 -x7672 -x12625 -x7624 -x12576 -x7576 -x12527 -x1451 -x28 -x1402 -x1353 -x1304 -x1255 -x1206 -x1157 -x1108 -x1059 -x1010 -x961 -x912 -x863 -x814 -x765 -x716 -x667 -x618 -x569 -x520 -x471 -x422 -x373 -x324 -x275 -x226 -x177 -x128 -x78 -x11351 -x6375 -x11302 -x6327 -x11253 -x6279 -x11204 -x6231 -x11155 -x6183 -x11106 -x6135 -x11057 -x6087 -x11008 -x6039 -x10959 -x5991 -x10910 -x5943 -x10861 -x5895 -x10812 -x5847 -x10763 -x5799 -x10714 -x5751 -x10665 -x5703 -x10616 -x5655 -x10567 -x5607 -x10518 -x5559 -x10469 -x5511 -x10420 -x5463 -x10371 -x5415 -x10322 -x5367 -x10273 -x5319 -x10224 -x5271 -x10175 -x5223 -x10126 -x5175 -x10077 -x5127 -x10028 -x3951 -x3902 -x3853 -x3804 -x3755 -x3706 -x3657 -x3608 -x3559 -x3510 -x3461 -x3412 -x3363 -x3314 -x3265 -x3216 -x3167 -x3118 -x3069 -x3020 -x2971 -x2922 -x2873 -x2824 -x2775 -x2726 -x2677 -x2628 -x13851 -x8825 -x13802 -x8777 -x13753 -x8729 -x13704 -x8681 -x13655 -x8633 -x13606 -x8585 -x13557 -x8537 -x13508 -x8489 -x13459 -x8441 -x13410 -x8393 -x13361 -x8345 -x13312 -x8297 -x13263 -x8249 -x13214 -x8201 -x13165 -x8153 -x13116 -x8105 -x13067 -x8057 -x13018 -x8009 -x12969 -x7961 -x12920 -x7913 -x12871 -x7865 -x12822 -x7817 -x12773 -x7769 -x12724 -x7721 -x12675 -x7673 -x12626 -x7625 -x12577 -x7577 -x12528 -x1501 -x29 -x1452 -x1403 -x1354 -x1305 -x1256 -x1207 -x1158 -x1109 -x1060 -x1011 -x962 -x913 -x864 -x815 -x766 -x717 -x668 -x619 -x570 -x521 -x472 -x423 -x374 -x325 -x276 -x227 -x178 -x129 -x79 -x11401 -x6424 -x11352 -x6376 -x11303 -x6328 -x11254 -x6280 -x11205 -x6232 -x11156 -x6184 -x11107 -x6136 -x11058 -x6088 -x11009 -x6040 -x10960 -x5992 -x10911 -x5944 -x10862 -x5896 -x10813 -x5848 -x10764 -x5800 -x10715 -x5752 -x10666 -x5704 -x10617 -x5656 -x10568 -x5608 -x10519 -x5560 -x10470 -x5512 -x10421 -x5464 -x10372 -x5416 -x10323 -x5368 -x10274 -x5320 -x10225 -x5272 -x10176 -x5224 -x10127 -x5176 -x10078 -x5128 -x10029 -x4001 -x3952 -x3903 -x3854 -x3805 -x3756 -x3707 -x3658 -x3609 -x3560 -x3511 -x3462 -x3413 -x3364 -x3315 -x3266 -x3217 -x3168 -x3119 -x3070 -x3021 -x2972 -x2923 -x2874 -x2825 -x2776 -x2727 -x2678 -x2629 -x13901 -x8874 -x13852 -x8826 -x13803 -x8778 -x13754 -x8730 -x13705 -x8682 -x13656 -x8634 -x13607 -x8586 -x13558 -x8538 -x13509 -x8490 -x13460 -x8442 -x13411 -x8394 -x13362 -x8346 -x13313 -x8298 -x13264 -x8250 -x13215 -x8202 -x13166 -x8154 -x13117 -x8106 -x13068 -x8058 -x13019 -x8010 -x12970 -x7962 -x12921 -x7914 -x12872 -x7866 -x12823 -x7818 -x12774 -x7770 -x12725 -x7722 -x12676 -x7674 -x12627 -x7626 -x12578 -x7578 -x12529 -x1551 -x30 -x1502 -x1453 -x1404 -x1355 -x1306 -x1257 -x1208 -x1159 -x1110 -x1061 -x1012 -x963 -x914 -x865 -x816 -x767 -x718 -x669 -x620 -x571 -x522 -x473 -x424 -x375 -x326 -x277 -x228 -x179 -x130 -x80 -x11451 -x6473 -x11402 -x6425 -x11353 -x6377 -x11304 -x6329 -x11255 -x6281 -x11206 -x6233 -x11157 -x6185 -x11108 -x6137 -x11059 -x6089 -x11010 -x6041 -x10961 -x5993 -x10912 -x5945 -x10863 -x5897 -x10814 -x5849 -x10765 -x5801 -x10716 -x5753 -x10667 -x5705 -x10618 -x5657 -x10569 -x5609 -x10520 -x5561 -x10471 -x5513 -x10422 -x5465 -x10373 -x5417 -x10324 -x5369 -x10275 -x5321 -x10226 -x5273 -x10177 -x5225 -x10128 -x5177 -x10079 -x5129 -x10030 -x4051 -x4002 -x3953 -x3904 -x3855 -x3806 -x3757 -x3708 -x3659 -x3610 -x3561 -x3512 -x3463 -x3414 -x3365 -x3316 -x3267 -x3218 -x3169 -x3120 -x3071 -x3022 -x2973 -x2924 -x2875 -x2826 -x2777 -x2728 -x2679 -x2630 -x13951 -x8923 -x13902 -x8875 -x13853 -x8827 -x13804 -x8779 -x13755 -x8731 -x13706 -x8683 -x13657 -x8635 -x13608 -x8587 -x13559 -x8539 -x13510 -x8491 -x13461 -x8443 -x13412 -x8395 -x13363 -x8347 -x13314 -x8299 -x13265 -x8251 -x13216 -x8203 -x13167 -x8155 -x13118 -x8107 -x13069 -x8059 -x13020 -x8011 -x12971 -x7963 -x12922 -x7915 -x12873 -x7867 -x12824 -x7819 -x12775 -x7771 -x12726 -x7723 -x12677 -x7675 -x12628 -x7627 -x12579 -x7579 -x12530 -x1601 -x31 -x1552 -x1503 -x1454 -x1405 -x1356 -x1307 -x1258 -x1209 -x1160 -x1111 -x1062 -x1013 -x964 -x915 -x866 -x817 -x768 -x719 -x670 -x621 -x572 -x523 -x474 -x425 -x376 -x327 -x278 -x229 -x180 -x131 -x81 -x11501 -x6522 -x11452 -x6474 -x11403 -x6426 -x11354 -x6378 -x11305 -x6330 -x11256 -x6282 -x11207 -x6234 -x11158 -x6186 -x11109 -x6138 -x11060 -x6090 -x11011 -x6042 -x10962 -x5994 -x10913 -x5946 -x10864 -x5898 -x10815 -x5850 -x10766 -x5802 -x10717 -x5754 -x10668 -x5706 -x10619 -x5658 -x10570 -x5610 -x10521 -x5562 -x10472 -x5514 -x10423 -x5466 -x10374 -x5418 -x10325 -x5370 -x10276 -x5322 -x10227 -x5274 -x10178 -x5226 -x10129 -x5178 -x10080 -x5130 -x10031 -x4101 -x4052 -x4003 -x3954 -x3905 -x3856 -x3807 -x3758 -x3709 -x3660 -x3611 -x3562 -x3513 -x3464 -x3415 -x3366 -x3317 -x3268 -x3219 -x3170 -x3121 -x3072 -x3023 -x2974 -x2925 -x2876 -x2827 -x2778 -x2729 -x2680 -x2631 -x14001 -x8972 -x13952 -x8924 -x13903 -x8876 -x13854 -x8828 -x13805 -x8780 -x13756 -x8732 -x13707 -x8684 -x13658 -x8636 -x13609 -x8588 -x13560 -x8540 -x13511 -x8492 -x13462 -x8444 -x13413 -x8396 -x13364 -x8348 -x13315 -x8300 -x13266 -x8252 -x13217 -x8204 -x13168 -x8156 -x13119 -x8108 -x13070 -x8060 -x13021 -x8012 -x12972 -x7964 -x12923 -x7916 -x12874 -x7868 -x12825 -x7820 -x12776 -x7772 -x12727 -x7724 -x12678 -x7676 -x12629 -x7628 -x12580 -x7580 -x12531 -x1651 -x32 -x1602 -x1553 -x1504 -x1455 -x1406 -x1357 -x1308 -x1259 -x1210 -x1161 -x1112 -x1063 -x1014 -x965 -x916 -x867 -x818 -x769 -x720 -x671 -x622 -x573 -x524 -x475 -x426 -x377 -x328 -x279 -x230 -x181 -x132 -x82 -x11551 -x6571 -x11502 -x6523 -x11453 -x6475 -x11404 -x6427 -x11355 -x6379 -x11306 -x6331 -x11257 -x6283 -x11208 -x6235 -x11159 -x6187 -x11110 -x6139 -x11061 -x6091 -x11012 -x6043 -x10963 -x5995 -x10914 -x5947 -x10865 -x5899 -x10816 -x5851 -x10767 -x5803 -x10718 -x5755 -x10669 -x5707 -x10620 -x5659 -x10571 -x5611 -x10522 -x5563 -x10473 -x5515 -x10424 -x5467 -x10375 -x5419 -x10326 -x5371 -x10277 -x5323 -x10228 -x5275 -x10179 -x5227 -x10130 -x5179 -x10081 -x5131 -x10032 -x4151 -x4102 -x4053 -x4004 -x3955 -x3906 -x3857 -x3808 -x3759 -x3710 -x3661 -x3612 -x3563 -x3514 -x3465 -x3416 -x3367 -x3318 -x3269 -x3220 -x3171 -x3122 -x3073 -x3024 -x2975 -x2926 -x2877 -x2828 -x2779 -x2730 -x2681 -x2632 -x14051 -x9021 -x14002 -x8973 -x13953 -x8925 -x13904 -x8877 -x13855 -x8829 -x13806 -x8781 -x13757 -x8733 -x13708 -x8685 -x13659 -x8637 -x13610 -x8589 -x13561 -x8541 -x13512 -x8493 -x13463 -x8445 -x13414 -x8397 -x13365 -x8349 -x13316 -x8301 -x13267 -x8253 -x13218 -x8205 -x13169 -x8157 -x13120 -x8109 -x13071 -x8061 -x13022 -x8013 -x12973 -x7965 -x12924 -x7917 -x12875 -x7869 -x12826 -x7821 -x12777 -x7773 -x12728 -x7725 -x12679 -x7677 -x12630 -x7629 -x12581 -x7581 -x12532 -x1701 -x33 -x1652 -x1603 -x1554 -x1505 -x1456 -x1407 -x1358 -x1309 -x1260 -x1211 -x1162 -x1113 -x1064 -x1015 -x966 -x917 -x868 -x819 -x770 -x721 -x672 -x623 -x574 -x525 -x476 -x427 -x378 -x329 -x280 -x231 -x182 -x133 -x83 -x11601 -x6620 -x11552 -x6572 -x11503 -x6524 -x11454 -x6476 -x11405 -x6428 -x11356 -x6380 -x11307 -x6332 -x11258 -x6284 -x11209 -x6236 -x11160 -x6188 -x11111 -x6140 -x11062 -x6092 -x11013 -x6044 -x10964 -x5996 -x10915 -x5948 -x10866 -x5900 -x10817 -x5852 -x10768 -x5804 -x10719 -x5756 -x10670 -x5708 -x10621 -x5660 -x10572 -x5612 -x10523 -x5564 -x10474 -x5516 -x10425 -x5468 -x10376 -x5420 -x10327 -x5372 -x10278 -x5324 -x10229 -x5276 -x10180 -x5228 -x10131 -x5180 -x10082 -x5132 -x10033 -x4201 -x4152 -x4103 -x4054 -x4005 -x3956 -x3907 -x3858 -x3809 -x3760 -x3711 -x3662 -x3613 -x3564 -x3515 -x3466 -x3417 -x3368 -x3319 -x3270 -x3221 -x3172 -x3123 -x3074 -x3025 -x2976 -x2927 -x2878 -x2829 -x2780 -x2731 -x2682 -x2633 -x14101 -x9070 -x14052 -x9022 -x14003 -x8974 -x13954 -x8926 -x13905 -x8878 -x13856 -x8830 -x13807 -x8782 -x13758 -x8734 -x13709 -x8686 -x13660 -x8638 -x13611 -x8590 -x13562 -x8542 -x13513 -x8494 -x13464 -x8446 -x13415 -x8398 -x13366 -x8350 -x13317 -x8302 -x13268 -x8254 -x13219 -x8206 -x13170 -x8158 -x13121 -x8110 -x13072 -x8062 -x13023 -x8014 -x12974 -x7966 -x12925 -x7918 -x12876 -x7870 -x12827 -x7822 -x12778 -x7774 -x12729 -x7726 -x12680 -x7678 -x12631 -x7630 -x12582 -x7582 -x12533 -x1751 -x34 -x1702 -x1653 -x1604 -x1555 -x1506 -x1457 -x1408 -x1359 -x1310 -x1261 -x1212 -x1163 -x1114 -x1065 -x1016 -x967 -x918 -x869 -x820 -x771 -x722 -x673 -x624 -x575 -x526 -x477 -x428 -x379 -x330 -x281 -x232 -x183 -x134 -x84 -x11651 -x6669 -x11602 -x6621 -x11553 -x6573 -x11504 -x6525 -x11455 -x6477 -x11406 -x6429 -x11357 -x6381 -x11308 -x6333 -x11259 -x6285 -x11210 -x6237 -x11161 -x6189 -x11112 -x6141 -x11063 -x6093 -x11014 -x6045 -x10965 -x5997 -x10916 -x5949 -x10867 -x5901 -x10818 -x5853 -x10769 -x5805 -x10720 -x5757 -x10671 -x5709 -x10622 -x5661 -x10573 -x5613 -x10524 -x5565 -x10475 -x5517 -x10426 -x5469 -x10377 -x5421 -x10328 -x5373 -x10279 -x5325 -x10230 -x5277 -x10181 -x5229 -x10132 -x5181 -x10083 -x5133 -x10034 -x4251 -x4202 -x4153 -x4104 -x4055 -x4006 -x3957 -x3908 -x3859 -x3810 -x3761 -x3712 -x3663 -x3614 -x3565 -x3516 -x3467 -x3418 -x3369 -x3320 -x3271 -x3222 -x3173 -x3124 -x3075 -x3026 -x2977 -x2928 -x2879 -x2830 -x2781 -x2732 -x2683 -x2634 -x14151 -x9119 -x14102 -x9071 -x14053 -x9023 -x14004 -x8975 -x13955 -x8927 -x13906 -x8879 -x13857 -x8831 -x13808 -x8783 -x13759 -x8735 -x13710 -x8687 -x13661 -x8639 -x13612 -x8591 -x13563 -x8543 -x13514 -x8495 -x13465 -x8447 -x13416 -x8399 -x13367 -x8351 -x13318 -x8303 -x13269 -x8255 -x13220 -x8207 -x13171 -x8159 -x13122 -x8111 -x13073 -x8063 -x13024 -x8015 -x12975 -x7967 -x12926 -x7919 -x12877 -x7871 -x12828 -x7823 -x12779 -x7775 -x12730 -x7727 -x12681 -x7679 -x12632 -x7631 -x12583 -x7583 -x12534 -x1801 -x35 -x1752 -x1703 -x1654 -x1605 -x1556 -x1507 -x1458 -x1409 -x1360 -x1311 -x1262 -x1213 -x1164 -x1115 -x1066 -x1017 -x968 -x919 -x870 -x821 -x772 -x723 -x674 -x625 -x576 -x527 -x478 -x429 -x380 -x331 -x282 -x233 -x184 -x135 -x85 -x11701 -x6718 -x11652 -x6670 -x11603 -x6622 -x11554 -x6574 -x11505 -x6526 -x11456 -x6478 -x11407 -x6430 -x11358 -x6382 -x11309 -x6334 -x11260 -x6286 -x11211 -x6238 -x11162 -x6190 -x11113 -x6142 -x11064 -x6094 -x11015 -x6046 -x10966 -x5998 -x10917 -x5950 -x10868 -x5902 -x10819 -x5854 -x10770 -x5806 -x10721 -x5758 -x10672 -x5710 -x10623 -x5662 -x10574 -x5614 -x10525 -x5566 -x10476 -x5518 -x10427 -x5470 -x10378 -x5422 -x10329 -x5374 -x10280 -x5326 -x10231 -x5278 -x10182 -x5230 -x10133 -x5182 -x10084 -x5134 -x10035 -x4301 -x4252 -x4203 -x4154 -x4105 -x4056 -x4007 -x3958 -x3909 -x3860 -x3811 -x3762 -x3713 -x3664 -x3615 -x3566 -x3517 -x3468 -x3419 -x3370 -x3321 -x3272 -x3223 -x3174 -x3125 -x3076 -x3027 -x2978 -x2929 -x2880 -x2831 -x2782 -x2733 -x2684 -x2635 -x14201 -x9168 -x14152 -x9120 -x14103 -x9072 -x14054 -x9024 -x14005 -x8976 -x13956 -x8928 -x13907 -x8880 -x13858 -x8832 -x13809 -x8784 -x13760 -x8736 -x13711 -x8688 -x13662 -x8640 -x13613 -x8592 -x13564 -x8544 -x13515 -x8496 -x13466 -x8448 -x13417 -x8400 -x13368 -x8352 -x13319 -x8304 -x13270 -x8256 -x13221 -x8208 -x13172 -x8160 -x13123 -x8112 -x13074 -x8064 -x13025 -x8016 -x12976 -x7968 -x12927 -x7920 -x12878 -x7872 -x12829 -x7824 -x12780 -x7776 -x12731 -x7728 -x12682 -x7680 -x12633 -x7632 -x12584 -x7584 -x12535 -x1851 -x36 -x1802 -x1753 -x1704 -x1655 -x1606 -x1557 -x1508 -x1459 -x1410 -x1361 -x1312 -x1263 -x1214 -x1165 -x1116 -x1067 -x1018
3600.02/3612.70 v -x969 -x920 -x871 -x822 -x773 -x724 -x675 -x626 -x577 -x528 -x479 -x430 -x381 -x332 -x283 -x234 -x185 -x136 -x86 -x11751 -x6767 -x11702 -x6719 -x11653 -x6671 -x11604 -x6623 -x11555 -x6575 -x11506 -x6527 -x11457 -x6479 -x11408 -x6431 -x11359 -x6383 -x11310 -x6335 -x11261 -x6287 -x11212 -x6239 -x11163 -x6191 -x11114 -x6143 -x11065 -x6095 -x11016 -x6047 -x10967 -x5999 -x10918 -x5951 -x10869 -x5903 -x10820 -x5855 -x10771 -x5807 -x10722 -x5759 -x10673 -x5711 -x10624 -x5663 -x10575 -x5615 -x10526 -x5567 -x10477 -x5519 -x10428 -x5471 -x10379 -x5423 -x10330 -x5375 -x10281 -x5327 -x10232 -x5279 -x10183 -x5231 -x10134 -x5183 -x10085 -x5135 -x10036 -x4351 -x4302 -x4253 -x4204 -x4155 -x4106 -x4057 -x4008 -x3959 -x3910 -x3861 -x3812 -x3763 -x3714 -x3665 -x3616 -x3567 -x3518 -x3469 -x3420 -x3371 -x3322 -x3273 -x3224 -x3175 -x3126 -x3077 -x3028 -x2979 -x2930 -x2881 -x2832 -x2783 -x2734 -x2685 -x2636 -x14251 -x9217 -x14202 -x9169 -x14153 -x9121 -x14104 -x9073 -x14055 -x9025 -x14006 -x8977 -x13957 -x8929 -x13908 -x8881 -x13859 -x8833 -x13810 -x8785 -x13761 -x8737 -x13712 -x8689 -x13663 -x8641 -x13614 -x8593 -x13565 -x8545 -x13516 -x8497 -x13467 -x8449 -x13418 -x8401 -x13369 -x8353 -x13320 -x8305 -x13271 -x8257 -x13222 -x8209 -x13173 -x8161 -x13124 -x8113 -x13075 -x8065 -x13026 -x8017 -x12977 -x7969 -x12928 -x7921 -x12879 -x7873 -x12830 -x7825 -x12781 -x7777 -x12732 -x7729 -x12683 -x7681 -x12634 -x7633 -x12585 -x7585 -x12536 -x1901 -x37 -x1852 -x1803 -x1754 -x1705 -x1656 -x1607 -x1558 -x1509 -x1460 -x1411 -x1362 -x1313 -x1264 -x1215 -x1166 -x1117 -x1068 -x1019 -x970 -x921 -x872 -x823 -x774 -x725 -x676 -x627 -x578 -x529 -x480 -x431 -x382 -x333 -x284 -x235 -x186 -x137 -x87 -x11801 -x6816 -x11752 -x6768 -x11703 -x6720 -x11654 -x6672 -x11605 -x6624 -x11556 -x6576 -x11507 -x6528 -x11458 -x6480 -x11409 -x6432 -x11360 -x6384 -x11311 -x6336 -x11262 -x6288 -x11213 -x6240 -x11164 -x6192 -x11115 -x6144 -x11066 -x6096 -x11017 -x6048 -x10968 -x6000 -x10919 -x5952 -x10870 -x5904 -x10821 -x5856 -x10772 -x5808 -x10723 -x5760 -x10674 -x5712 -x10625 -x5664 -x10576 -x5616 -x10527 -x5568 -x10478 -x5520 -x10429 -x5472 -x10380 -x5424 -x10331 -x5376 -x10282 -x5328 -x10233 -x5280 -x10184 -x5232 -x10135 -x5184 -x10086 -x5136 -x10037 -x4401 -x4352 -x4303 -x4254 -x4205 -x4156 -x4107 -x4058 -x4009 -x3960 -x3911 -x3862 -x3813 -x3764 -x3715 -x3666 -x3617 -x3568 -x3519 -x3470 -x3421 -x3372 -x3323 -x3274 -x3225 -x3176 -x3127 -x3078 -x3029 -x2980 -x2931 -x2882 -x2833 -x2784 -x2735 -x2686 -x2637 -x14301 -x9266 -x14252 -x9218 -x14203 -x9170 -x14154 -x9122 -x14105 -x9074 -x14056 -x9026 -x14007 -x8978 -x13958 -x8930 -x13909 -x8882 -x13860 -x8834 -x13811 -x8786 -x13762 -x8738 -x13713 -x8690 -x13664 -x8642 -x13615 -x8594 -x13566 -x8546 -x13517 -x8498 -x13468 -x8450 -x13419 -x8402 -x13370 -x8354 -x13321 -x8306 -x13272 -x8258 -x13223 -x8210 -x13174 -x8162 -x13125 -x8114 -x13076 -x8066 -x13027 -x8018 -x12978 -x7970 -x12929 -x7922 -x12880 -x7874 -x12831 -x7826 -x12782 -x7778 -x12733 -x7730 -x12684 -x7682 -x12635 -x7634 -x12586 -x7586 -x12537 -x1951 -x38 -x1902 -x1853 -x1804 -x1755 -x1706 -x1657 -x1608 -x1559 -x1510 -x1461 -x1412 -x1363 -x1314 -x1265 -x1216 -x1167 -x1118 -x1069 -x1020 -x971 -x922 -x873 -x824 -x775 -x726 -x677 -x628 -x579 -x530 -x481 -x432 -x383 -x334 -x285 -x236 -x187 -x138 -x88 -x11851 -x6865 -x11802 -x6817 -x11753 -x6769 -x11704 -x6721 -x11655 -x6673 -x11606 -x6625 -x11557 -x6577 -x11508 -x6529 -x11459 -x6481 -x11410 -x6433 -x11361 -x6385 -x11312 -x6337 -x11263 -x6289 -x11214 -x6241 -x11165 -x6193 -x11116 -x6145 -x11067 -x6097 -x11018 -x6049 -x10969 -x6001 -x10920 -x5953 -x10871 -x5905 -x10822 -x5857 -x10773 -x5809 -x10724 -x5761 -x10675 -x5713 -x10626 -x5665 -x10577 -x5617 -x10528 -x5569 -x10479 -x5521 -x10430 -x5473 -x10381 -x5425 -x10332 -x5377 -x10283 -x5329 -x10234 -x5281 -x10185 -x5233 -x10136 -x5185 -x10087 -x5137 -x10038 -x4451 -x4402 -x4353 -x4304 -x4255 -x4206 -x4157 -x4108 -x4059 -x4010 -x3961 -x3912 -x3863 -x3814 -x3765 -x3716 -x3667 -x3618 -x3569 -x3520 -x3471 -x3422 -x3373 -x3324 -x3275 -x3226 -x3177 -x3128 -x3079 -x3030 -x2981 -x2932 -x2883 -x2834 -x2785 -x2736 -x2687 -x2638 -x14351 -x9315 -x14302 -x9267 -x14253 -x9219 -x14204 -x9171 -x14155 -x9123 -x14106 -x9075 -x14057 -x9027 -x14008 -x8979 -x13959 -x8931 -x13910 -x8883 -x13861 -x8835 -x13812 -x8787 -x13763 -x8739 -x13714 -x8691 -x13665 -x8643 -x13616 -x8595 -x13567 -x8547 -x13518 -x8499 -x13469 -x8451 -x13420 -x8403 -x13371 -x8355 -x13322 -x8307 -x13273 -x8259 -x13224 -x8211 -x13175 -x8163 -x13126 -x8115 -x13077 -x8067 -x13028 -x8019 -x12979 -x7971 -x12930 -x7923 -x12881 -x7875 -x12832 -x7827 -x12783 -x7779 -x12734 -x7731 -x12685 -x7683 -x12636 -x7635 -x12587 -x7587 -x12538 -x2001 -x39 -x1952 -x1903 -x1854 -x1805 -x1756 -x1707 -x1658 -x1609 -x1560 -x1511 -x1462 -x1413 -x1364 -x1315 -x1266 -x1217 -x1168 -x1119 -x1070 -x1021 -x972 -x923 -x874 -x825 -x776 -x727 -x678 -x629 -x580 -x531 -x482 -x433 -x384 -x335 -x286 -x237 -x188 -x139 -x89 -x11901 -x6914 -x11852 -x6866 -x11803 -x6818 -x11754 -x6770 -x11705 -x6722 -x11656 -x6674 -x11607 -x6626 -x11558 -x6578 -x11509 -x6530 -x11460 -x6482 -x11411 -x6434 -x11362 -x6386 -x11313 -x6338 -x11264 -x6290 -x11215 -x6242 -x11166 -x6194 -x11117 -x6146 -x11068 -x6098 -x11019 -x6050 -x10970 -x6002 -x10921 -x5954 -x10872 -x5906 -x10823 -x5858 -x10774 -x5810 -x10725 -x5762 -x10676 -x5714 -x10627 -x5666 -x10578 -x5618 -x10529 -x5570 -x10480 -x5522 -x10431 -x5474 -x10382 -x5426 -x10333 -x5378 -x10284 -x5330 -x10235 -x5282 -x10186 -x5234 -x10137 -x5186 -x10088 -x5138 -x10039 -x4501 -x4452 -x4403 -x4354 -x4305 -x4256 -x4207 -x4158 -x4109 -x4060 -x4011 -x3962 -x3913 -x3864 -x3815 -x3766 -x3717 -x3668 -x3619 -x3570 -x3521 -x3472 -x3423 -x3374 -x3325 -x3276 -x3227 -x3178 -x3129 -x3080 -x3031 -x2982 -x2933 -x2884 -x2835 -x2786 -x2737 -x2688 -x2639 -x14401 -x9364 -x14352 -x9316 -x14303 -x9268 -x14254 -x9220 -x14205 -x9172 -x14156 -x9124 -x14107 -x9076 -x14058 -x9028 -x14009 -x8980 -x13960 -x8932 -x13911 -x8884 -x13862 -x8836 -x13813 -x8788 -x13764 -x8740 -x13715 -x8692 -x13666 -x8644 -x13617 -x8596 -x13568 -x8548 -x13519 -x8500 -x13470 -x8452 -x13421 -x8404 -x13372 -x8356 -x13323 -x8308 -x13274 -x8260 -x13225 -x8212 -x13176 -x8164 -x13127 -x8116 -x13078 -x8068 -x13029 -x8020 -x12980 -x7972 -x12931 -x7924 -x12882 -x7876 -x12833 -x7828 -x12784 -x7780 -x12735 -x7732 -x12686 -x7684 -x12637 -x7636 -x12588 -x7588 -x12539 -x2051 -x40 -x2002 -x1953 -x1904 -x1855 -x1806 -x1757 -x1708 -x1659 -x1610 -x1561 -x1512 -x1463 -x1414 -x1365 -x1316 -x1267 -x1218 -x1169 -x1120 -x1071 -x1022 -x973 -x924 -x875 -x826 -x777 -x728 -x679 -x630 -x581 -x532 -x483 -x434 -x385 -x336 -x287 -x238 -x189 -x140 -x90 -x11951 -x6963 -x11902 -x6915 -x11853 -x6867 -x11804 -x6819 -x11755 -x6771 -x11706 -x6723 -x11657 -x6675 -x11608 -x6627 -x11559 -x6579 -x11510 -x6531 -x11461 -x6483 -x11412 -x6435 -x11363 -x6387 -x11314 -x6339 -x11265 -x6291 -x11216 -x6243 -x11167 -x6195 -x11118 -x6147 -x11069 -x6099 -x11020 -x6051 -x10971 -x6003 -x10922 -x5955 -x10873 -x5907 -x10824 -x5859 -x10775 -x5811 -x10726 -x5763 -x10677 -x5715 -x10628 -x5667 -x10579 -x5619 -x10530 -x5571 -x10481 -x5523 -x10432 -x5475 -x10383 -x5427 -x10334 -x5379 -x10285 -x5331 -x10236 -x5283 -x10187 -x5235 -x10138 -x5187 -x10089 -x5139 -x10040 -x4551 -x4502 -x4453 -x4404 -x4355 -x4306 -x4257 -x4208 -x4159 -x4110 -x4061 -x4012 -x3963 -x3914 -x3865 -x3816 -x3767 -x3718 -x3669 -x3620 -x3571 -x3522 -x3473 -x3424 -x3375 -x3326 -x3277 -x3228 -x3179 -x3130 -x3081 -x3032 -x2983 -x2934 -x2885 -x2836 -x2787 -x2738 -x2689 -x2640 -x14451 -x9413 -x14402 -x9365 -x14353 -x9317 -x14304 -x9269 -x14255 -x9221 -x14206 -x9173 -x14157 -x9125 -x14108 -x9077 -x14059 -x9029 -x14010 -x8981 -x13961 -x8933 -x13912 -x8885 -x13863 -x8837 -x13814 -x8789 -x13765 -x8741 -x13716 -x8693 -x13667 -x8645 -x13618 -x8597 -x13569 -x8549 -x13520 -x8501 -x13471 -x8453 -x13422 -x8405 -x13373 -x8357 -x13324 -x8309 -x13275 -x8261 -x13226 -x8213 -x13177 -x8165 -x13128 -x8117 -x13079 -x8069 -x13030 -x8021 -x12981 -x7973 -x12932 -x7925 -x12883 -x7877 -x12834 -x7829 -x12785 -x7781 -x12736 -x7733 -x12687 -x7685 -x12638 -x7637 -x12589 -x7589 -x12540 -x2101 -x41 -x2052 -x2003 -x1954 -x1905 -x1856 -x1807 -x1758 -x1709 -x1660 -x1611 -x1562 -x1513 -x1464 -x1415 -x1366 -x1317 -x1268 -x1219 -x1170 -x1121 -x1072 -x1023 -x974 -x925 -x876 -x827 -x778 -x729 -x680 -x631 -x582 -x533 -x484 -x435 -x386 -x337 -x288 -x239 -x190 -x141 -x91 -x12001 -x7012 -x11952 -x6964 -x11903 -x6916 -x11854 -x6868 -x11805 -x6820 -x11756 -x6772 -x11707 -x6724 -x11658 -x6676 -x11609 -x6628 -x11560 -x6580 -x11511 -x6532 -x11462 -x6484 -x11413 -x6436 -x11364 -x6388 -x11315 -x6340 -x11266 -x6292 -x11217 -x6244 -x11168 -x6196 -x11119 -x6148 -x11070 -x6100 -x11021 -x6052 -x10972 -x6004 -x10923 -x5956 -x10874 -x5908 -x10825 -x5860 -x10776 -x5812 -x10727 -x5764 -x10678 -x5716 -x10629 -x5668 -x10580 -x5620 -x10531 -x5572 -x10482 -x5524 -x10433 -x5476 -x10384 -x5428 -x10335 -x5380 -x10286 -x5332 -x10237 -x5284 -x10188 -x5236 -x10139 -x5188 -x10090 -x5140 -x10041 -x4601 -x4552 -x4503 -x4454 -x4405 -x4356 -x4307 -x4258 -x4209 -x4160 -x4111 -x4062 -x4013 -x3964 -x3915 -x3866 -x3817 -x3768 -x3719 -x3670 -x3621 -x3572 -x3523 -x3474 -x3425 -x3376 -x3327 -x3278 -x3229 -x3180 -x3131 -x3082 -x3033 -x2984 -x2935 -x2886 -x2837 -x2788 -x2739 -x2690 -x2641 -x14501 -x9462 -x14452 -x9414 -x14403 -x9366 -x14354 -x9318 -x14305 -x9270 -x14256 -x9222 -x14207 -x9174 -x14158 -x9126 -x14109 -x9078 -x14060 -x9030 -x14011 -x8982 -x13962 -x8934 -x13913 -x8886 -x13864 -x8838 -x13815 -x8790 -x13766 -x8742 -x13717 -x8694 -x13668 -x8646 -x13619 -x8598 -x13570 -x8550 -x13521 -x8502 -x13472 -x8454 -x13423 -x8406 -x13374 -x8358 -x13325 -x8310 -x13276 -x8262 -x13227 -x8214 -x13178 -x8166 -x13129 -x8118 -x13080 -x8070 -x13031 -x8022 -x12982 -x7974 -x12933 -x7926 -x12884 -x7878 -x12835 -x7830 -x12786 -x7782 -x12737 -x7734 -x12688 -x7686 -x12639 -x7638 -x12590 -x7590 -x12541 -x2151 -x42 -x2102 -x2053 -x2004 -x1955 -x1906 -x1857 -x1808 -x1759 -x1710 -x1661 -x1612 -x1563 -x1514 -x1465 -x1416 -x1367 -x1318 -x1269 -x1220 -x1171 -x1122 -x1073 -x1024 -x975 -x926 -x877 -x828 -x779 -x730 -x681 -x632 -x583 -x534 -x485 -x436 -x387 -x338 -x289 -x240 -x191 -x142 -x92 -x12051 -x7061 -x12002 -x7013 -x11953 -x6965 -x11904 -x6917 -x11855 -x6869 -x11806 -x6821 -x11757 -x6773 -x11708 -x6725 -x11659 -x6677 -x11610 -x6629 -x11561 -x6581 -x11512 -x6533 -x11463 -x6485 -x11414 -x6437 -x11365 -x6389 -x11316 -x6341 -x11267 -x6293 -x11218 -x6245 -x11169 -x6197 -x11120 -x6149 -x11071 -x6101 -x11022 -x6053 -x10973 -x6005 -x10924 -x5957 -x10875 -x5909 -x10826 -x5861 -x10777 -x5813 -x10728 -x5765 -x10679 -x5717 -x10630 -x5669 -x10581 -x5621 -x10532 -x5573 -x10483 -x5525 -x10434 -x5477 -x10385 -x5429 -x10336 -x5381 -x10287 -x5333 -x10238 -x5285 -x10189 -x5237 -x10140 -x5189 -x10091 -x5141 -x10042 -x4651 -x4602 -x4553 -x4504 -x4455 -x4406 -x4357 -x4308 -x4259 -x4210 -x4161 -x4112 -x4063 -x4014 -x3965 -x3916 -x3867 -x3818 -x3769 -x3720 -x3671 -x3622 -x3573 -x3524 -x3475 -x3426 -x3377 -x3328 -x3279 -x3230 -x3181 -x3132 -x3083 -x3034 -x2985 -x2936 -x2887 -x2838 -x2789 -x2740 -x2691 -x2642 -x14551 -x9511 -x14502 -x9463 -x14453 -x9415 -x14404 -x9367 -x14355 -x9319 -x14306 -x9271 -x14257 -x9223 -x14208 -x9175 -x14159 -x9127 -x14110 -x9079 -x14061 -x9031 -x14012 -x8983 -x13963 -x8935 -x13914 -x8887 -x13865 -x8839 -x13816 -x8791 -x13767 -x8743 -x13718 -x8695 -x13669 -x8647 -x13620 -x8599 -x13571 -x8551 -x13522 -x8503 -x13473 -x8455 -x13424 -x8407 -x13375 -x8359 -x13326 -x8311 -x13277 -x8263 -x13228 -x8215 -x13179 -x8167 -x13130 -x8119 -x13081 -x8071 -x13032 -x8023 -x12983 -x7975 -x12934 -x7927 -x12885 -x7879 -x12836 -x7831 -x12787 -x7783 -x12738 -x7735 -x12689 -x7687 -x12640 -x7639 -x12591 -x7591 -x12542 -x2201 -x43 -x2152 -x2103 -x2054 -x2005 -x1956 -x1907 -x1858 -x1809 -x1760 -x1711 -x1662 -x1613 -x1564 -x1515 -x1466 -x1417 -x1368 -x1319 -x1270 -x1221 -x1172 -x1123 -x1074 -x1025 -x976 -x927 -x878 -x829 -x780 -x731 -x682 -x633 -x584 -x535 -x486 -x437 -x388 -x339 -x290 -x241 -x192 -x143 -x93 -x12101 -x7110 -x12052 -x7062 -x12003 -x7014 -x11954 -x6966 -x11905 -x6918 -x11856 -x6870 -x11807 -x6822 -x11758 -x6774 -x11709 -x6726 -x11660 -x6678 -x11611 -x6630 -x11562 -x6582 -x11513 -x6534 -x11464 -x6486 -x11415 -x6438 -x11366 -x6390 -x11317 -x6342 -x11268 -x6294 -x11219 -x6246 -x11170 -x6198 -x11121 -x6150 -x11072 -x6102 -x11023 -x6054 -x10974 -x6006 -x10925 -x5958 -x10876 -x5910 -x10827 -x5862 -x10778 -x5814 -x10729 -x5766 -x10680 -x5718 -x10631 -x5670 -x10582 -x5622 -x10533 -x5574 -x10484 -x5526 -x10435 -x5478 -x10386 -x5430 -x10337 -x5382 -x10288 -x5334 -x10239 -x5286 -x10190 -x5238 -x10141 -x5190 -x10092 -x5142 -x10043 -x4701 -x4652 -x4603 -x4554 -x4505 -x4456 -x4407 -x4358 -x4309 -x4260 -x4211 -x4162 -x4113 -x4064 -x4015 -x3966 -x3917 -x3868 -x3819 -x3770 -x3721 -x3672 -x3623 -x3574 -x3525 -x3476 -x3427 -x3378 -x3329 -x3280 -x3231 -x3182 -x3133 -x3084 -x3035 -x2986 -x2937 -x2888 -x2839 -x2790 -x2741 -x2692 -x2643 -x14601 -x9560 -x14552 -x9512 -x14503 -x9464 -x14454 -x9416 -x14405 -x9368 -x14356 -x9320 -x14307 -x9272 -x14258 -x9224 -x14209 -x9176 -x14160 -x9128 -x14111 -x9080 -x14062 -x9032 -x14013 -x8984 -x13964 -x8936 -x13915 -x8888 -x13866 -x8840 -x13817 -x8792 -x13768 -x8744 -x13719 -x8696 -x13670 -x8648 -x13621 -x8600 -x13572 -x8552 -x13523 -x8504 -x13474 -x8456 -x13425 -x8408 -x13376 -x8360 -x13327 -x8312 -x13278 -x8264 -x13229 -x8216 -x13180 -x8168 -x13131 -x8120 -x13082 -x8072 -x13033 -x8024 -x12984 -x7976 -x12935 -x7928 -x12886 -x7880 -x12837 -x7832 -x12788 -x7784 -x12739 -x7736 -x12690 -x7688 -x12641 -x7640 -x12592 -x7592 -x12543 -x2251 -x44 -x2202 -x2153 -x2104 -x2055 -x2006 -x1957 -x1908 -x1859 -x1810 -x1761 -x1712 -x1663 -x1614 -x1565 -x1516 -x1467 -x1418 -x1369 -x1320 -x1271 -x1222 -x1173 -x1124 -x1075 -x1026 -x977 -x928 -x879 -x830 -x781 -x732 -x683 -x634 -x585 -x536 -x487 -x438 -x389 -x340 -x291 -x242 -x193 -x144 -x94 -x12151 -x7159 -x12102 -x7111 -x12053 -x7063 -x12004 -x7015 -x11955 -x6967 -x11906 -x6919 -x11857 -x6871 -x11808 -x6823 -x11759 -x6775 -x11710 -x6727 -x11661 -x6679 -x11612 -x6631 -x11563 -x6583 -x11514 -x6535 -x11465 -x6487 -x11416 -x6439 -x11367 -x6391 -x11318 -x6343 -x11269 -x6295 -x11220 -x6247 -x11171 -x6199 -x11122 -x6151 -x11073 -x6103 -x11024 -x6055 -x10975 -x6007 -x10926 -x5959 -x10877 -x5911 -x10828 -x5863 -x10779 -x5815 -x10730 -x5767 -x10681 -x5719 -x10632 -x5671 -x10583 -x5623 -x10534 -x5575 -x10485 -x5527 -x10436 -x5479 -x10387 -x5431 -x10338 -x5383 -x10289
3600.02/3612.70 v -x5335 -x10240 -x5287 -x10191 -x5239 -x10142 -x5191 -x10093 -x5143 -x10044 -x4751 -x4702 -x4653 -x4604 -x4555 -x4506 -x4457 -x4408 -x4359 -x4310 -x4261 -x4212 -x4163 -x4114 -x4065 -x4016 -x3967 -x3918 -x3869 -x3820 -x3771 -x3722 -x3673 -x3624 -x3575 -x3526 -x3477 -x3428 -x3379 -x3330 -x3281 -x3232 -x3183 -x3134 -x3085 -x3036 -x2987 -x2938 -x2889 -x2840 -x2791 -x2742 -x2693 -x2644 -x14651 -x9609 -x14602 -x9561 -x14553 -x9513 -x14504 -x9465 -x14455 -x9417 -x14406 -x9369 -x14357 -x9321 -x14308 -x9273 -x14259 -x9225 -x14210 -x9177 -x14161 -x9129 -x14112 -x9081 -x14063 -x9033 -x14014 -x8985 -x13965 -x8937 -x13916 -x8889 -x13867 -x8841 -x13818 -x8793 -x13769 -x8745 -x13720 -x8697 -x13671 -x8649 -x13622 -x8601 -x13573 -x8553 -x13524 -x8505 -x13475 -x8457 -x13426 -x8409 -x13377 -x8361 -x13328 -x8313 -x13279 -x8265 -x13230 -x8217 -x13181 -x8169 -x13132 -x8121 -x13083 -x8073 -x13034 -x8025 -x12985 -x7977 -x12936 -x7929 -x12887 -x7881 -x12838 -x7833 -x12789 -x7785 -x12740 -x7737 -x12691 -x7689 -x12642 -x7641 -x12593 -x7593 -x12544 -x2301 -x45 -x2252 -x2203 -x2154 -x2105 -x2056 -x2007 -x1958 -x1909 -x1860 -x1811 -x1762 -x1713 -x1664 -x1615 -x1566 -x1517 -x1468 -x1419 -x1370 -x1321 -x1272 -x1223 -x1174 -x1125 -x1076 -x1027 -x978 -x929 -x880 -x831 -x782 -x733 -x684 -x635 -x586 -x537 -x488 -x439 -x390 -x341 -x292 -x243 -x194 -x145 -x95 -x12201 -x7208 -x12152 -x7160 -x12103 -x7112 -x12054 -x7064 -x12005 -x7016 -x11956 -x6968 -x11907 -x6920 -x11858 -x6872 -x11809 -x6824 -x11760 -x6776 -x11711 -x6728 -x11662 -x6680 -x11613 -x6632 -x11564 -x6584 -x11515 -x6536 -x11466 -x6488 -x11417 -x6440 -x11368 -x6392 -x11319 -x6344 -x11270 -x6296 -x11221 -x6248 -x11172 -x6200 -x11123 -x6152 -x11074 -x6104 -x11025 -x6056 -x10976 -x6008 -x10927 -x5960 -x10878 -x5912 -x10829 -x5864 -x10780 -x5816 -x10731 -x5768 -x10682 -x5720 -x10633 -x5672 -x10584 -x5624 -x10535 -x5576 -x10486 -x5528 -x10437 -x5480 -x10388 -x5432 -x10339 -x5384 -x10290 -x5336 -x10241 -x5288 -x10192 -x5240 -x10143 -x5192 -x10094 -x5144 -x10045 -x4801 -x4752 -x4703 -x4654 -x4605 -x4556 -x4507 -x4458 -x4409 -x4360 -x4311 -x4262 -x4213 -x4164 -x4115 -x4066 -x4017 -x3968 -x3919 -x3870 -x3821 -x3772 -x3723 -x3674 -x3625 -x3576 -x3527 -x3478 -x3429 -x3380 -x3331 -x3282 -x3233 -x3184 -x3135 -x3086 -x3037 -x2988 -x2939 -x2890 -x2841 -x2792 -x2743 -x2694 -x2645 -x14701 -x9658 -x14652 -x9610 -x14603 -x9562 -x14554 -x9514 -x14505 -x9466 -x14456 -x9418 -x14407 -x9370 -x14358 -x9322 -x14309 -x9274 -x14260 -x9226 -x14211 -x9178 -x14162 -x9130 -x14113 -x9082 -x14064 -x9034 -x14015 -x8986 -x13966 -x8938 -x13917 -x8890 -x13868 -x8842 -x13819 -x8794 -x13770 -x8746 -x13721 -x8698 -x13672 -x8650 -x13623 -x8602 -x13574 -x8554 -x13525 -x8506 -x13476 -x8458 -x13427 -x8410 -x13378 -x8362 -x13329 -x8314 -x13280 -x8266 -x13231 -x8218 -x13182 -x8170 -x13133 -x8122 -x13084 -x8074 -x13035 -x8026 -x12986 -x7978 -x12937 -x7930 -x12888 -x7882 -x12839 -x7834 -x12790 -x7786 -x12741 -x7738 -x12692 -x7690 -x12643 -x7642 -x12594 -x7594 -x12545 -x2351 -x46 -x2302 -x2253 -x2204 -x2155 -x2106 -x2057 -x2008 -x1959 -x1910 -x1861 -x1812 -x1763 -x1714 -x1665 -x1616 -x1567 -x1518 -x1469 -x1420 -x1371 -x1322 -x1273 -x1224 -x1175 -x1126 -x1077 -x1028 -x979 -x930 -x881 -x832 -x783 -x734 -x685 -x636 -x587 -x538 -x489 -x440 -x391 -x342 -x293 -x244 -x195 -x146 -x96 -x12251 -x7257 -x12202 -x7209 -x12153 -x7161 -x12104 -x7113 -x12055 -x7065 -x12006 -x7017 -x11957 -x6969 -x11908 -x6921 -x11859 -x6873 -x11810 -x6825 -x11761 -x6777 -x11712 -x6729 -x11663 -x6681 -x11614 -x6633 -x11565 -x6585 -x11516 -x6537 -x11467 -x6489 -x11418 -x6441 -x11369 -x6393 -x11320 -x6345 -x11271 -x6297 -x11222 -x6249 -x11173 -x6201 -x11124 -x6153 -x11075 -x6105 -x11026 -x6057 -x10977 -x6009 -x10928 -x5961 -x10879 -x5913 -x10830 -x5865 -x10781 -x5817 -x10732 -x5769 -x10683 -x5721 -x10634 -x5673 -x10585 -x5625 -x10536 -x5577 -x10487 -x5529 -x10438 -x5481 -x10389 -x5433 -x10340 -x5385 -x10291 -x5337 -x10242 -x5289 -x10193 -x5241 -x10144 -x5193 -x10095 -x5145 -x10046 -x4851 -x4802 -x4753 -x4704 -x4655 -x4606 -x4557 -x4508 -x4459 -x4410 -x4361 -x4312 -x4263 -x4214 -x4165 -x4116 -x4067 -x4018 -x3969 -x3920 -x3871 -x3822 -x3773 -x3724 -x3675 -x3626 -x3577 -x3528 -x3479 -x3430 -x3381 -x3332 -x3283 -x3234 -x3185 -x3136 -x3087 -x3038 -x2989 -x2940 -x2891 -x2842 -x2793 -x2744 -x2695 -x2646 -x14751 -x9707 -x14702 -x9659 -x14653 -x9611 -x14604 -x9563 -x14555 -x9515 -x14506 -x9467 -x14457 -x9419 -x14408 -x9371 -x14359 -x9323 -x14310 -x9275 -x14261 -x9227 -x14212 -x9179 -x14163 -x9131 -x14114 -x9083 -x14065 -x9035 -x14016 -x8987 -x13967 -x8939 -x13918 -x8891 -x13869 -x8843 -x13820 -x8795 -x13771 -x8747 -x13722 -x8699 -x13673 -x8651 -x13624 -x8603 -x13575 -x8555 -x13526 -x8507 -x13477 -x8459 -x13428 -x8411 -x13379 -x8363 -x13330 -x8315 -x13281 -x8267 -x13232 -x8219 -x13183 -x8171 -x13134 -x8123 -x13085 -x8075 -x13036 -x8027 -x12987 -x7979 -x12938 -x7931 -x12889 -x7883 -x12840 -x7835 -x12791 -x7787 -x12742 -x7739 -x12693 -x7691 -x12644 -x7643 -x12595 -x7595 -x12546 -x2401 -x47 -x2352 -x2303 -x2254 -x2205 -x2156 -x2107 -x2058 -x2009 -x1960 -x1911 -x1862 -x1813 -x1764 -x1715 -x1666 -x1617 -x1568 -x1519 -x1470 -x1421 -x1372 -x1323 -x1274 -x1225 -x1176 -x1127 -x1078 -x1029 -x980 -x931 -x882 -x833 -x784 -x735 -x686 -x637 -x588 -x539 -x490 -x441 -x392 -x343 -x294 -x245 -x196 -x147 -x97 -x12301 -x7306 -x12252 -x7258 -x12203 -x7210 -x12154 -x7162 -x12105 -x7114 -x12056 -x7066 -x12007 -x7018 -x11958 -x6970 -x11909 -x6922 -x11860 -x6874 -x11811 -x6826 -x11762 -x6778 -x11713 -x6730 -x11664 -x6682 -x11615 -x6634 -x11566 -x6586 -x11517 -x6538 -x11468 -x6490 -x11419 -x6442 -x11370 -x6394 -x11321 -x6346 -x11272 -x6298 -x11223 -x6250 -x11174 -x6202 -x11125 -x6154 -x11076 -x6106 -x11027 -x6058 -x10978 -x6010 -x10929 -x5962 -x10880 -x5914 -x10831 -x5866 -x10782 -x5818 -x10733 -x5770 -x10684 -x5722 -x10635 -x5674 -x10586 -x5626 -x10537 -x5578 -x10488 -x5530 -x10439 -x5482 -x10390 -x5434 -x10341 -x5386 -x10292 -x5338 -x10243 -x5290 -x10194 -x5242 -x10145 -x5194 -x10096 -x5146 -x10047 -x4901 -x4852 -x4803 -x4754 -x4705 -x4656 -x4607 -x4558 -x4509 -x4460 -x4411 -x4362 -x4313 -x4264 -x4215 -x4166 -x4117 -x4068 -x4019 -x3970 -x3921 -x3872 -x3823 -x3774 -x3725 -x3676 -x3627 -x3578 -x3529 -x3480 -x3431 -x3382 -x3333 -x3284 -x3235 -x3186 -x3137 -x3088 -x3039 -x2990 -x2941 -x2892 -x2843 -x2794 -x2745 -x2696 -x2647 -x14801 -x9756 -x14752 -x9708 -x14703 -x9660 -x14654 -x9612 -x14605 -x9564 -x14556 -x9516 -x14507 -x9468 -x14458 -x9420 -x14409 -x9372 -x14360 -x9324 -x14311 -x9276 -x14262 -x9228 -x14213 -x9180 -x14164 -x9132 -x14115 -x9084 -x14066 -x9036 -x14017 -x8988 -x13968 -x8940 -x13919 -x8892 -x13870 -x8844 -x13821 -x8796 -x13772 -x8748 -x13723 -x8700 -x13674 -x8652 -x13625 -x8604 -x13576 -x8556 -x13527 -x8508 -x13478 -x8460 -x13429 -x8412 -x13380 -x8364 -x13331 -x8316 -x13282 -x8268 -x13233 -x8220 -x13184 -x8172 -x13135 -x8124 -x13086 -x8076 -x13037 -x8028 -x12988 -x7980 -x12939 -x7932 -x12890 -x7884 -x12841 -x7836 -x12792 -x7788 -x12743 -x7740 -x12694 -x7692 -x12645 -x7644 -x12596 -x7596 -x12547 -x2451 -x48 -x2402 -x2353 -x2304 -x2255 -x2206 -x2157 -x2108 -x2059 -x2010 -x1961 -x1912 -x1863 -x1814 -x1765 -x1716 -x1667 -x1618 -x1569 -x1520 -x1471 -x1422 -x1373 -x1324 -x1275 -x1226 -x1177 -x1128 -x1079 -x1030 -x981 -x932 -x883 -x834 -x785 -x736 -x687 -x638 -x589 -x540 -x491 -x442 -x393 -x344 -x295 -x246 -x197 -x148 -x98 -x12351 -x7355 -x12302 -x7307 -x12253 -x7259 -x12204 -x7211 -x12155 -x7163 -x12106 -x7115 -x12057 -x7067 -x12008 -x7019 -x11959 -x6971 -x11910 -x6923 -x11861 -x6875 -x11812 -x6827 -x11763 -x6779 -x11714 -x6731 -x11665 -x6683 -x11616 -x6635 -x11567 -x6587 -x11518 -x6539 -x11469 -x6491 -x11420 -x6443 -x11371 -x6395 -x11322 -x6347 -x11273 -x6299 -x11224 -x6251 -x11175 -x6203 -x11126 -x6155 -x11077 -x6107 -x11028 -x6059 -x10979 -x6011 -x10930 -x5963 -x10881 -x5915 -x10832 -x5867 -x10783 -x5819 -x10734 -x5771 -x10685 -x5723 -x10636 -x5675 -x10587 -x5627 -x10538 -x5579 -x10489 -x5531 -x10440 -x5483 -x10391 -x5435 -x10342 -x5387 -x10293 -x5339 -x10244 -x5291 -x10195 -x5243 -x10146 -x5195 -x10097 -x5147 -x10048 -x4951 -x4902 -x4853 -x4804 -x4755 -x4706 -x4657 -x4608 -x4559 -x4510 -x4461 -x4412 -x4363 -x4314 -x4265 -x4216 -x4167 -x4118 -x4069 -x4020 -x3971 -x3922 -x3873 -x3824 -x3775 -x3726 -x3677 -x3628 -x3579 -x3530 -x3481 -x3432 -x3383 -x3334 -x3285 -x3236 -x3187 -x3138 -x3089 -x3040 -x2991 -x2942 -x2893 -x2844 -x2795 -x2746 -x2697 -x2648 -x14851 -x9805 -x14802 -x9757 -x14753 -x9709 -x14704 -x9661 -x14655 -x9613 -x14606 -x9565 -x14557 -x9517 -x14508 -x9469 -x14459 -x9421 -x14410 -x9373 -x14361 -x9325 -x14312 -x9277 -x14263 -x9229 -x14214 -x9181 -x14165 -x9133 -x14116 -x9085 -x14067 -x9037 -x14018 -x8989 -x13969 -x8941 -x13920 -x8893 -x13871 -x8845 -x13822 -x8797 -x13773 -x8749 -x13724 -x8701 -x13675 -x8653 -x13626 -x8605 -x13577 -x8557 -x13528 -x8509 -x13479 -x8461 -x13430 -x8413 -x13381 -x8365 -x13332 -x8317 -x13283 -x8269 -x13234 -x8221 -x13185 -x8173 -x13136 -x8125 -x13087 -x8077 -x13038 -x8029 -x12989 -x7981 -x12940 -x7933 -x12891 -x7885 -x12842 -x7837 -x12793 -x7789 -x12744 -x7741 -x12695 -x7693 -x12646 -x7645 -x12597 -x7597 -x12548 -x2501 -x49 -x2452 -x2403 -x2354 -x2305 -x2256 -x2207 -x2158 -x2109 -x2060 -x2011 -x1962 -x1913 -x1864 -x1815 -x1766 -x1717 -x1668 -x1619 -x1570 -x1521 -x1472 -x1423 -x1374 -x1325 -x1276 -x1227 -x1178 -x1129 -x1080 -x1031 -x982 -x933 -x884 -x835 -x786 -x737 -x688 -x639 -x590 -x541 -x492 -x443 -x394 -x345 -x296 -x247 -x198 -x149 -x99 -x12401 -x7404 -x12352 -x7356 -x12303 -x7308 -x12254 -x7260 -x12205 -x7212 -x12156 -x7164 -x12107 -x7116 -x12058 -x7068 -x12009 -x7020 -x11960 -x6972 -x11911 -x6924 -x11862 -x6876 -x11813 -x6828 -x11764 -x6780 -x11715 -x6732 -x11666 -x6684 -x11617 -x6636 -x11568 -x6588 -x11519 -x6540 -x11470 -x6492 -x11421 -x6444 -x11372 -x6396 -x11323 -x6348 -x11274 -x6300 -x11225 -x6252 -x11176 -x6204 -x11127 -x6156 -x11078 -x6108 -x11029 -x6060 -x10980 -x6012 -x10931 -x5964 -x10882 -x5916 -x10833 -x5868 -x10784 -x5820 -x10735 -x5772 -x10686 -x5724 -x10637 -x5676 -x10588 -x5628 -x10539 -x5580 -x10490 -x5532 -x10441 -x5484 -x10392 -x5436 -x10343 -x5388 -x10294 -x5340 -x10245 -x5292 -x10196 -x5244 -x10147 -x5196 -x10098 -x5148 -x10049 -x5001 -x4952 -x4903 -x4854 -x4805 -x4756 -x4707 -x4658 -x4609 -x4560 -x4511 -x4462 -x4413 -x4364 -x4315 -x4266 -x4217 -x4168 -x4119 -x4070 -x4021 -x3972 -x3923 -x3874 -x3825 -x3776 -x3727 -x3678 -x3629 -x3580 -x3531 -x3482 -x3433 -x3384 -x3335 -x3286 -x3237 -x3188 -x3139 -x3090 -x3041 -x2992 -x2943 -x2894 -x2845 -x2796 -x2747 -x2698 -x2649 -x14901 -x9854 -x14852 -x9806 -x14803 -x9758 -x14754 -x9710 -x14705 -x9662 -x14656 -x9614 -x14607 -x9566 -x14558 -x9518 -x14509 -x9470 -x14460 -x9422 -x14411 -x9374 -x14362 -x9326 -x14313 -x9278 -x14264 -x9230 -x14215 -x9182 -x14166 -x9134 -x14117 -x9086 -x14068 -x9038 -x14019 -x8990 -x13970 -x8942 -x13921 -x8894 -x13872 -x8846 -x13823 -x8798 -x13774 -x8750 -x13725 -x8702 -x13676 -x8654 -x13627 -x8606 -x13578 -x8558 -x13529 -x8510 -x13480 -x8462 -x13431 -x8414 -x13382 -x8366 -x13333 -x8318 -x13284 -x8270 -x13235 -x8222 -x13186 -x8174 -x13137 -x8126 -x13088 -x8078 -x13039 -x8030 -x12990 -x7982 -x12941 -x7934 -x12892 -x7886 -x12843 -x7838 -x12794 -x7790 -x12745 -x7742 -x12696 -x7694 -x12647 -x7646 -x12598 -x7598 -x12549 -x2551 -x50 -x2502 -x2453 -x2404 -x2355 -x2306 -x2257 -x2208 -x2159 -x2110 -x2061 -x2012 -x1963 -x1914 -x1865 -x1816 -x1767 -x1718 -x1669 -x1620 -x1571 -x1522 -x1473 -x1424 -x1375 -x1326 -x1277 -x1228 -x1179 -x1130 -x1081 -x1032 -x983 -x934 -x885 -x836 -x787 -x738 -x689 -x640 -x591 -x542 -x493 -x444 -x395 -x346 -x297 -x248 -x199 -x150 -x100 -x12451 -x7453 -x12402 -x7405 -x12353 -x7357 -x12304 -x7309 -x12255 -x7261 -x12206 -x7213 -x12157 -x7165 -x12108 -x7117 -x12059 -x7069 -x12010 -x7021 -x11961 -x6973 -x11912 -x6925 -x11863 -x6877 -x11814 -x6829 -x11765 -x6781 -x11716 -x6733 -x11667 -x6685 -x11618 -x6637 -x11569 -x6589 -x11520 -x6541 -x11471 -x6493 -x11422 -x6445 -x11373 -x6397 -x11324 -x6349 -x11275 -x6301 -x11226 -x6253 -x11177 -x6205 -x11128 -x6157 -x11079 -x6109 -x11030 -x6061 -x10981 -x6013 -x10932 -x5965 -x10883 -x5917 -x10834 -x5869 -x10785 -x5821 -x10736 -x5773 -x10687 -x5725 -x10638 -x5677 -x10589 -x5629 -x10540 -x5581 -x10491 -x5533 -x10442 -x5485 -x10393 -x5437 -x10344 -x5389 -x10295 -x5341 -x10246 -x5293 -x10197 -x5245 -x10148 -x5197 -x10099 -x5149 -x10050 -x5051 -x5002 -x4953 -x4904 -x4855 -x4806 -x4757 -x4708 -x4659 -x4610 -x4561 -x4512 -x4463 -x4414 -x4365 -x4316 -x4267 -x4218 -x4169 -x4120 -x4071 -x4022 -x3973 -x3924 -x3875 -x3826 -x3777 -x3728 -x3679 -x3630 -x3581 -x3532 -x3483 -x3434 -x3385 -x3336 -x3287 -x3238 -x3189 -x3140 -x3091 -x3042 -x2993 -x2944 -x2895 -x2846 -x2797 -x2748 -x2699 -x2650 -x14951 -x9903 -x14902 -x9855 -x14853 -x9807 -x14804 -x9759 -x14755 -x9711 -x14706 -x9663 -x14657 -x9615 -x14608 -x9567 -x14559 -x9519 -x14510 -x9471 -x14461 -x9423 -x14412 -x9375 -x14363 -x9327 -x14314 -x9279 -x14265 -x9231 -x14216 -x9183 -x14167 -x9135 -x14118 -x9087 -x14069 -x9039 -x14020 -x8991 -x13971 -x8943 -x13922 -x8895 -x13873 -x8847 -x13824 -x8799 -x13775 -x8751 -x13726 -x8703 -x13677 -x8655 -x13628 -x8607 -x13579 -x8559 -x13530 -x8511 -x13481 -x8463 -x13432 -x8415 -x13383 -x8367 -x13334 -x8319 -x13285 -x8271 -x13236 -x8223 -x13187 -x8175 -x13138 -x8127 -x13089 -x8079 -x13040 -x8031 -x12991 -x7983 -x12942 -x7935 -x12893 -x7887 -x12844 -x7839 -x12795 -x7791 -x12746 -x7743 -x12697 -x7695 -x12648 -x7647 -x12599 -x7599 -x12550 -x2552 -x2503 -x2454 -x2405 -x2356 -x2307 -x2258 -x2209 -x2160 -x2111 -x2062 -x2013 -x1964 -x1915 -x1866 -x1817 -x1768 -x1719 -x1670 -x1621 -x1572 -x1523 -x1474 -x1425 -x1376 -x1327 -x1278 -x1229 -x1180 -x1131 -x1082 -x1033 -x984 -x935 -x886 -x837 -x788 -x739 -x690 -x641 -x592 -x543 -x494 -x445 -x396 -x347 -x298 -x249 -x200 -x7502 -x12452 -x7454 -x12403 -x7406 -x12354 -x7358 -x12305 -x7310 -x12256 -x7262 -x12207 -x7214 -x12158 -x7166 -x12109 -x7118 -x12060 -x7070 -x12011 -x7022 -x11962 -x6974 -x11913 -x6926 -x11864 -x6878 -x11815 -x6830 -x11766 -x6782 -x11717 -x6734 -x11668 -x6686 -x11619 -x6638 -x11570 -x6590 -x11521 -x6542 -x11472 -x6494 -x11423 -x6446 -x11374 -x6398 -x11325 -x6350 -x11276 -x6302 -x11227 -x6254 -x11178 -x6206 -x11129 -x6158 -x11080 -x6110 -x11031 -x6062 -x10982 -x6014 -x10933 -x5966 -x10884 -x5918 -x10835 -x5870 -x10786 -x5822 -x10737 -x5774 -x10688 -x5726 -x10639 -x5678 -x10590 -x5630 -x10541 -x5582 -x10492 -x5534 -x10443 -x5486 -x10394 -x5438 -x10345 -x5390 -x10296 -x5342 -x10247 -x5294 -x10198 -x5246 -x10149 -x5198 -x10100 -x5052 -x5003
3600.02/3612.70 v -x4954 -x4905 -x4856 -x4807 -x4758 -x4709 -x4660 -x4611 -x4562 -x4513 -x4464 -x4415 -x4366 -x4317 -x4268 -x4219 -x4170 -x4121 -x4072 -x4023 -x3974 -x3925 -x3876 -x3827 -x3778 -x3729 -x3680 -x3631 -x3582 -x3533 -x3484 -x3435 -x3386 -x3337 -x3288 -x3239 -x3190 -x3141 -x3092 -x3043 -x2994 -x2945 -x2896 -x2847 -x2798 -x2749 -x2700 -x9952 -x14952 -x9904 -x14903 -x9856 -x14854 -x9808 -x14805 -x9760 -x14756 -x9712 -x14707 -x9664 -x14658 -x9616 -x14609 -x9568 -x14560 -x9520 -x14511 -x9472 -x14462 -x9424 -x14413 -x9376 -x14364 -x9328 -x14315 -x9280 -x14266 -x9232 -x14217 -x9184 -x14168 -x9136 -x14119 -x9088 -x14070 -x9040 -x14021 -x8992 -x13972 -x8944 -x13923 -x8896 -x13874 -x8848 -x13825 -x8800 -x13776 -x8752 -x13727 -x8704 -x13678 -x8656 -x13629 -x8608 -x13580 -x8560 -x13531 -x8512 -x13482 -x8464 -x13433 -x8416 -x13384 -x8368 -x13335 -x8320 -x13286 -x8272 -x13237 -x8224 -x13188 -x8176 -x13139 -x8128 -x13090 -x8080 -x13041 -x8032 -x12992 -x7984 -x12943 -x7936 -x12894 -x7888 -x12845 -x7840 -x12796 -x7792 -x12747 -x7744 -x12698 -x7696 -x12649 -x7648 -x12600 -x2553 -x2504 -x2455 -x2406 -x2357 -x2308 -x2259 -x2210 -x2161 -x2112 -x2063 -x2014 -x1965 -x1916 -x1867 -x1818 -x1769 -x1720 -x1671 -x1622 -x1573 -x1524 -x1475 -x1426 -x1377 -x1328 -x1279 -x1230 -x1181 -x1132 -x1083 -x1034 -x985 -x936 -x887 -x838 -x789 -x740 -x691 -x642 -x593 -x544 -x495 -x446 -x397 -x348 -x299 -x250 -x7503 -x12453 -x7455 -x12404 -x7407 -x12355 -x7359 -x12306 -x7311 -x12257 -x7263 -x12208 -x7215 -x12159 -x7167 -x12110 -x7119 -x12061 -x7071 -x12012 -x7023 -x11963 -x6975 -x11914 -x6927 -x11865 -x6879 -x11816 -x6831 -x11767 -x6783 -x11718 -x6735 -x11669 -x6687 -x11620 -x6639 -x11571 -x6591 -x11522 -x6543 -x11473 -x6495 -x11424 -x6447 -x11375 -x6399 -x11326 -x6351 -x11277 -x6303 -x11228 -x6255 -x11179 -x6207 -x11130 -x6159 -x11081 -x6111 -x11032 -x6063 -x10983 -x6015 -x10934 -x5967 -x10885 -x5919 -x10836 -x5871 -x10787 -x5823 -x10738 -x5775 -x10689 -x5727 -x10640 -x5679 -x10591 -x5631 -x10542 -x5583 -x10493 -x5535 -x10444 -x5487 -x10395 -x5439 -x10346 -x5391 -x10297 -x5343 -x10248 -x5295 -x10199 -x5247 -x10150 -x5053 -x5004 -x4955 -x4906 -x4857 -x4808 -x4759 -x4710 -x4661 -x4612 -x4563 -x4514 -x4465 -x4416 -x4367 -x4318 -x4269 -x4220 -x4171 -x4122 -x4073 -x4024 -x3975 -x3926 -x3877 -x3828 -x3779 -x3730 -x3681 -x3632 -x3583 -x3534 -x3485 -x3436 -x3387 -x3338 -x3289 -x3240 -x3191 -x3142 -x3093 -x3044 -x2995 -x2946 -x2897 -x2848 -x2799 -x2750 -x9953 -x14953 -x9905 -x14904 -x9857 -x14855 -x9809 -x14806 -x9761 -x14757 -x9713 -x14708 -x9665 -x14659 -x9617 -x14610 -x9569 -x14561 -x9521 -x14512 -x9473 -x14463 -x9425 -x14414 -x9377 -x14365 -x9329 -x14316 -x9281 -x14267 -x9233 -x14218 -x9185 -x14169 -x9137 -x14120 -x9089 -x14071 -x9041 -x14022 -x8993 -x13973 -x8945 -x13924 -x8897 -x13875 -x8849 -x13826 -x8801 -x13777 -x8753 -x13728 -x8705 -x13679 -x8657 -x13630 -x8609 -x13581 -x8561 -x13532 -x8513 -x13483 -x8465 -x13434 -x8417 -x13385 -x8369 -x13336 -x8321 -x13287 -x8273 -x13238 -x8225 -x13189 -x8177 -x13140 -x8129 -x13091 -x8081 -x13042 -x8033 -x12993 -x7985 -x12944 -x7937 -x12895 -x7889 -x12846 -x7841 -x12797 -x7793 -x12748 -x7745 -x12699 -x7697 -x12650 -x2554 -x2505 -x2456 -x2407 -x2358 -x2309 -x2260 -x2211 -x2162 -x2113 -x2064 -x2015 -x1966 -x1917 -x1868 -x1819 -x1770 -x1721 -x1672 -x1623 -x1574 -x1525 -x1476 -x1427 -x1378 -x1329 -x1280 -x1231 -x1182 -x1133 -x1084 -x1035 -x986 -x937 -x888 -x839 -x790 -x741 -x692 -x643 -x594 -x545 -x496 -x447 -x398 -x349 -x300 -x7504 -x12454 -x7456 -x12405 -x7408 -x12356 -x7360 -x12307 -x7312 -x12258 -x7264 -x12209 -x7216 -x12160 -x7168 -x12111 -x7120 -x12062 -x7072 -x12013 -x7024 -x11964 -x6976 -x11915 -x6928 -x11866 -x6880 -x11817 -x6832 -x11768 -x6784 -x11719 -x6736 -x11670 -x6688 -x11621 -x6640 -x11572 -x6592 -x11523 -x6544 -x11474 -x6496 -x11425 -x6448 -x11376 -x6400 -x11327 -x6352 -x11278 -x6304 -x11229 -x6256 -x11180 -x6208 -x11131 -x6160 -x11082 -x6112 -x11033 -x6064 -x10984 -x6016 -x10935 -x5968 -x10886 -x5920 -x10837 -x5872 -x10788 -x5824 -x10739 -x5776 -x10690 -x5728 -x10641 -x5680 -x10592 -x5632 -x10543 -x5584 -x10494 -x5536 -x10445 -x5488 -x10396 -x5440 -x10347 -x5392 -x10298 -x5344 -x10249 -x5296 -x10200 -x5054 -x5005 -x4956 -x4907 -x4858 -x4809 -x4760 -x4711 -x4662 -x4613 -x4564 -x4515 -x4466 -x4417 -x4368 -x4319 -x4270 -x4221 -x4172 -x4123 -x4074 -x4025 -x3976 -x3927 -x3878 -x3829 -x3780 -x3731 -x3682 -x3633 -x3584 -x3535 -x3486 -x3437 -x3388 -x3339 -x3290 -x3241 -x3192 -x3143 -x3094 -x3045 -x2996 -x2947 -x2898 -x2849 -x2800 -x9954 -x14954 -x9906 -x14905 -x9858 -x14856 -x9810 -x14807 -x9762 -x14758 -x9714 -x14709 -x9666 -x14660 -x9618 -x14611 -x9570 -x14562 -x9522 -x14513 -x9474 -x14464 -x9426 -x14415 -x9378 -x14366 -x9330 -x14317 -x9282 -x14268 -x9234 -x14219 -x9186 -x14170 -x9138 -x14121 -x9090 -x14072 -x9042 -x14023 -x8994 -x13974 -x8946 -x13925 -x8898 -x13876 -x8850 -x13827 -x8802 -x13778 -x8754 -x13729 -x8706 -x13680 -x8658 -x13631 -x8610 -x13582 -x8562 -x13533 -x8514 -x13484 -x8466 -x13435 -x8418 -x13386 -x8370 -x13337 -x8322 -x13288 -x8274 -x13239 -x8226 -x13190 -x8178 -x13141 -x8130 -x13092 -x8082 -x13043 -x8034 -x12994 -x7986 -x12945 -x7938 -x12896 -x7890 -x12847 -x7842 -x12798 -x7794 -x12749 -x7746 -x12700 -x2555 -x2506 -x2457 -x2408 -x2359 -x2310 -x2261 -x2212 -x2163 -x2114 -x2065 -x2016 -x1967 -x1918 -x1869 -x1820 -x1771 -x1722 -x1673 -x1624 -x1575 -x1526 -x1477 -x1428 -x1379 -x1330 -x1281 -x1232 -x1183 -x1134 -x1085 -x1036 -x987 -x938 -x889 -x840 -x791 -x742 -x693 -x644 -x595 -x546 -x497 -x448 -x399 -x350 -x7505 -x12455 -x7457 -x12406 -x7409 -x12357 -x7361 -x12308 -x7313 -x12259 -x7265 -x12210 -x7217 -x12161 -x7169 -x12112 -x7121 -x12063 -x7073 -x12014 -x7025 -x11965 -x6977 -x11916 -x6929 -x11867 -x6881 -x11818 -x6833 -x11769 -x6785 -x11720 -x6737 -x11671 -x6689 -x11622 -x6641 -x11573 -x6593 -x11524 -x6545 -x11475 -x6497 -x11426 -x6449 -x11377 -x6401 -x11328 -x6353 -x11279 -x6305 -x11230 -x6257 -x11181 -x6209 -x11132 -x6161 -x11083 -x6113 -x11034 -x6065 -x10985 -x6017 -x10936 -x5969 -x10887 -x5921 -x10838 -x5873 -x10789 -x5825 -x10740 -x5777 -x10691 -x5729 -x10642 -x5681 -x10593 -x5633 -x10544 -x5585 -x10495 -x5537 -x10446 -x5489 -x10397 -x5441 -x10348 -x5393 -x10299 -x5345 -x10250 -x5055 -x5006 -x4957 -x4908 -x4859 -x4810 -x4761 -x4712 -x4663 -x4614 -x4565 -x4516 -x4467 -x4418 -x4369 -x4320 -x4271 -x4222 -x4173 -x4124 -x4075 -x4026 -x3977 -x3928 -x3879 -x3830 -x3781 -x3732 -x3683 -x3634 -x3585 -x3536 -x3487 -x3438 -x3389 -x3340 -x3291 -x3242 -x3193 -x3144 -x3095 -x3046 -x2997 -x2948 -x2899 -x2850 -x9955 -x14955 -x9907 -x14906 -x9859 -x14857 -x9811 -x14808 -x9763 -x14759 -x9715 -x14710 -x9667 -x14661 -x9619 -x14612 -x9571 -x14563 -x9523 -x14514 -x9475 -x14465 -x9427 -x14416 -x9379 -x14367 -x9331 -x14318 -x9283 -x14269 -x9235 -x14220 -x9187 -x14171 -x9139 -x14122 -x9091 -x14073 -x9043 -x14024 -x8995 -x13975 -x8947 -x13926 -x8899 -x13877 -x8851 -x13828 -x8803 -x13779 -x8755 -x13730 -x8707 -x13681 -x8659 -x13632 -x8611 -x13583 -x8563 -x13534 -x8515 -x13485 -x8467 -x13436 -x8419 -x13387 -x8371 -x13338 -x8323 -x13289 -x8275 -x13240 -x8227 -x13191 -x8179 -x13142 -x8131 -x13093 -x8083 -x13044 -x8035 -x12995 -x7987 -x12946 -x7939 -x12897 -x7891 -x12848 -x7843 -x12799 -x7795 -x12750 -x2556 -x2507 -x2458 -x2409 -x2360 -x2311 -x2262 -x2213 -x2164 -x2115 -x2066 -x2017 -x1968 -x1919 -x1870 -x1821 -x1772 -x1723 -x1674 -x1625 -x1576 -x1527 -x1478 -x1429 -x1380 -x1331 -x1282 -x1233 -x1184 -x1135 -x1086 -x1037 -x988 -x939 -x890 -x841 -x792 -x743 -x694 -x645 -x596 -x547 -x498 -x449 -x400 -x7506 -x12456 -x7458 -x12407 -x7410 -x12358 -x7362 -x12309 -x7314 -x12260 -x7266 -x12211 -x7218 -x12162 -x7170 -x12113 -x7122 -x12064 -x7074 -x12015 -x7026 -x11966 -x6978 -x11917 -x6930 -x11868 -x6882 -x11819 -x6834 -x11770 -x6786 -x11721 -x6738 -x11672 -x6690 -x11623 -x6642 -x11574 -x6594 -x11525 -x6546 -x11476 -x6498 -x11427 -x6450 -x11378 -x6402 -x11329 -x6354 -x11280 -x6306 -x11231 -x6258 -x11182 -x6210 -x11133 -x6162 -x11084 -x6114 -x11035 -x6066 -x10986 -x6018 -x10937 -x5970 -x10888 -x5922 -x10839 -x5874 -x10790 -x5826 -x10741 -x5778 -x10692 -x5730 -x10643 -x5682 -x10594 -x5634 -x10545 -x5586 -x10496 -x5538 -x10447 -x5490 -x10398 -x5442 -x10349 -x5394 -x10300 -x5056 -x5007 -x4958 -x4909 -x4860 -x4811 -x4762 -x4713 -x4664 -x4615 -x4566 -x4517 -x4468 -x4419 -x4370 -x4321 -x4272 -x4223 -x4174 -x4125 -x4076 -x4027 -x3978 -x3929 -x3880 -x3831 -x3782 -x3733 -x3684 -x3635 -x3586 -x3537 -x3488 -x3439 -x3390 -x3341 -x3292 -x3243 -x3194 -x3145 -x3096 -x3047 -x2998 -x2949 -x2900 -x9956 -x14956 -x9908 -x14907 -x9860 -x14858 -x9812 -x14809 -x9764 -x14760 -x9716 -x14711 -x9668 -x14662 -x9620 -x14613 -x9572 -x14564 -x9524 -x14515 -x9476 -x14466 -x9428 -x14417 -x9380 -x14368 -x9332 -x14319 -x9284 -x14270 -x9236 -x14221 -x9188 -x14172 -x9140 -x14123 -x9092 -x14074 -x9044 -x14025 -x8996 -x13976 -x8948 -x13927 -x8900 -x13878 -x8852 -x13829 -x8804 -x13780 -x8756 -x13731 -x8708 -x13682 -x8660 -x13633 -x8612 -x13584 -x8564 -x13535 -x8516 -x13486 -x8468 -x13437 -x8420 -x13388 -x8372 -x13339 -x8324 -x13290 -x8276 -x13241 -x8228 -x13192 -x8180 -x13143 -x8132 -x13094 -x8084 -x13045 -x8036 -x12996 -x7988 -x12947 -x7940 -x12898 -x7892 -x12849 -x7844 -x12800 -x2557 -x2508 -x2459 -x2410 -x2361 -x2312 -x2263 -x2214 -x2165 -x2116 -x2067 -x2018 -x1969 -x1920 -x1871 -x1822 -x1773 -x1724 -x1675 -x1626 -x1577 -x1528 -x1479 -x1430 -x1381 -x1332 -x1283 -x1234 -x1185 -x1136 -x1087 -x1038 -x989 -x940 -x891 -x842 -x793 -x744 -x695 -x646 -x597 -x548 -x499 -x450 -x7507 -x12457 -x7459 -x12408 -x7411 -x12359 -x7363 -x12310 -x7315 -x12261 -x7267 -x12212 -x7219 -x12163 -x7171 -x12114 -x7123 -x12065 -x7075 -x12016 -x7027 -x11967 -x6979 -x11918 -x6931 -x11869 -x6883 -x11820 -x6835 -x11771 -x6787 -x11722 -x6739 -x11673 -x6691 -x11624 -x6643 -x11575 -x6595 -x11526 -x6547 -x11477 -x6499 -x11428 -x6451 -x11379 -x6403 -x11330 -x6355 -x11281 -x6307 -x11232 -x6259 -x11183 -x6211 -x11134 -x6163 -x11085 -x6115 -x11036 -x6067 -x10987 -x6019 -x10938 -x5971 -x10889 -x5923 -x10840 -x5875 -x10791 -x5827 -x10742 -x5779 -x10693 -x5731 -x10644 -x5683 -x10595 -x5635 -x10546 -x5587 -x10497 -x5539 -x10448 -x5491 -x10399 -x5443 -x10350 -x5057 -x5008 -x4959 -x4910 -x4861 -x4812 -x4763 -x4714 -x4665 -x4616 -x4567 -x4518 -x4469 -x4420 -x4371 -x4322 -x4273 -x4224 -x4175 -x4126 -x4077 -x4028 -x3979 -x3930 -x3881 -x3832 -x3783 -x3734 -x3685 -x3636 -x3587 -x3538 -x3489 -x3440 -x3391 -x3342 -x3293 -x3244 -x3195 -x3146 -x3097 -x3048 -x2999 -x2950 -x9957 -x14957 -x9909 -x14908 -x9861 -x14859 -x9813 -x14810 -x9765 -x14761 -x9717 -x14712 -x9669 -x14663 -x9621 -x14614 -x9573 -x14565 -x9525 -x14516 -x9477 -x14467 -x9429 -x14418 -x9381 -x14369 -x9333 -x14320 -x9285 -x14271 -x9237 -x14222 -x9189 -x14173 -x9141 -x14124 -x9093 -x14075 -x9045 -x14026 -x8997 -x13977 -x8949 -x13928 -x8901 -x13879 -x8853 -x13830 -x8805 -x13781 -x8757 -x13732 -x8709 -x13683 -x8661 -x13634 -x8613 -x13585 -x8565 -x13536 -x8517 -x13487 -x8469 -x13438 -x8421 -x13389 -x8373 -x13340 -x8325 -x13291 -x8277 -x13242 -x8229 -x13193 -x8181 -x13144 -x8133 -x13095 -x8085 -x13046 -x8037 -x12997 -x7989 -x12948 -x7941 -x12899 -x7893 -x12850 -x2558 -x2509 -x2460 -x2411 -x2362 -x2313 -x2264 -x2215 -x2166 -x2117 -x2068 -x2019 -x1970 -x1921 -x1872 -x1823 -x1774 -x1725 -x1676 -x1627 -x1578 -x1529 -x1480 -x1431 -x1382 -x1333 -x1284 -x1235 -x1186 -x1137 -x1088 -x1039 -x990 -x941 -x892 -x843 -x794 -x745 -x696 -x647 -x598 -x549 -x500 -x7508 -x12458 -x7460 -x12409 -x7412 -x12360 -x7364 -x12311 -x7316 -x12262 -x7268 -x12213 -x7220 -x12164 -x7172 -x12115 -x7124 -x12066 -x7076 -x12017 -x7028 -x11968 -x6980 -x11919 -x6932 -x11870 -x6884 -x11821 -x6836 -x11772 -x6788 -x11723 -x6740 -x11674 -x6692 -x11625 -x6644 -x11576 -x6596 -x11527 -x6548 -x11478 -x6500 -x11429 -x6452 -x11380 -x6404 -x11331 -x6356 -x11282 -x6308 -x11233 -x6260 -x11184 -x6212 -x11135 -x6164 -x11086 -x6116 -x11037 -x6068 -x10988 -x6020 -x10939 -x5972 -x10890 -x5924 -x10841 -x5876 -x10792 -x5828 -x10743 -x5780 -x10694 -x5732 -x10645 -x5684 -x10596 -x5636 -x10547 -x5588 -x10498 -x5540 -x10449 -x5492 -x10400 -x5058 -x5009 -x4960 -x4911 -x4862 -x4813 -x4764 -x4715 -x4666 -x4617 -x4568 -x4519 -x4470 -x4421 -x4372 -x4323 -x4274 -x4225 -x4176 -x4127 -x4078 -x4029 -x3980 -x3931 -x3882 -x3833 -x3784 -x3735 -x3686 -x3637 -x3588 -x3539 -x3490 -x3441 -x3392 -x3343 -x3294 -x3245 -x3196 -x3147 -x3098 -x3049 -x3000 -x9958 -x14958 -x9910 -x14909 -x9862 -x14860 -x9814 -x14811 -x9766 -x14762 -x9718 -x14713 -x9670 -x14664 -x9622 -x14615 -x9574 -x14566 -x9526 -x14517 -x9478 -x14468 -x9430 -x14419 -x9382 -x14370 -x9334 -x14321 -x9286 -x14272 -x9238 -x14223 -x9190 -x14174 -x9142 -x14125 -x9094 -x14076 -x9046 -x14027 -x8998 -x13978 -x8950 -x13929 -x8902 -x13880 -x8854 -x13831 -x8806 -x13782 -x8758 -x13733 -x8710 -x13684 -x8662 -x13635 -x8614 -x13586 -x8566 -x13537 -x8518 -x13488 -x8470 -x13439 -x8422 -x13390 -x8374 -x13341 -x8326 -x13292 -x8278 -x13243 -x8230 -x13194 -x8182 -x13145 -x8134 -x13096 -x8086 -x13047 -x8038 -x12998 -x7990 -x12949 -x7942 -x12900 -x2559 -x2510 -x2461 -x2412 -x2363 -x2314 -x2265 -x2216 -x2167 -x2118 -x2069 -x2020 -x1971 -x1922 -x1873 -x1824 -x1775 -x1726 -x1677 -x1628 -x1579 -x1530 -x1481 -x1432 -x1383 -x1334 -x1285 -x1236 -x1187 -x1138 -x1089 -x1040 -x991 -x942 -x893 -x844 -x795 -x746 -x697 -x648 -x599 -x550 -x7509 -x12459 -x7461 -x12410 -x7413 -x12361 -x7365 -x12312 -x7317 -x12263 -x7269 -x12214 -x7221 -x12165 -x7173 -x12116 -x7125 -x12067 -x7077 -x12018 -x7029 -x11969 -x6981 -x11920 -x6933 -x11871 -x6885 -x11822 -x6837 -x11773 -x6789 -x11724 -x6741 -x11675 -x6693 -x11626 -x6645 -x11577 -x6597 -x11528 -x6549 -x11479 -x6501 -x11430 -x6453 -x11381 -x6405 -x11332 -x6357 -x11283 -x6309 -x11234 -x6261 -x11185 -x6213 -x11136 -x6165 -x11087 -x6117 -x11038 -x6069 -x10989 -x6021 -x10940 -x5973 -x10891 -x5925 -x10842 -x5877 -x10793 -x5829 -x10744 -x5781 -x10695 -x5733 -x10646 -x5685 -x10597 -x5637 -x10548 -x5589 -x10499 -x5541 -x10450 -x5059 -x5010 -x4961 -x4912 -x4863 -x4814 -x4765 -x4716 -x4667 -x4618 -x4569 -x4520 -x4471 -x4422 -x4373 -x4324 -x4275 -x4226 -x4177 -x4128 -x4079 -x4030 -x3981 -x3932 -x3883 -x3834 -x3785 -x3736 -x3687 -x3638 -x3589 -x3540 -x3491 -x3442 -x3393 -x3344 -x3295 -x3246 -x3197 -x3148 -x3099 -x3050 -x9959 -x14959 -x9911 -x14910 -x9863 -x14861 -x9815 -x14812 -x9767 -x14763 -x9719 -x14714 -x9671 -x14665 -x9623 -x14616 -x9575 -x14567 -x9527 -x14518 -x9479 -x14469 -x9431 -x14420 -x9383 -x14371 -x9335 -x14322 -x9287 -x14273 -x9239 -x14224 -x9191 -x14175 -x9143 -x14126 -x9095 -x14077 -x9047 -x14028 -x8999 -x13979 -x8951 -x13930 -x8903 -x13881 -x8855 -x13832 -x8807c received SIGTERM, forwarding to pbsolver...
3600.02/3612.70 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
3600.02/3612.70
3600.02/3612.70 v -x13783 -x8759 -x13734 -x8711 -x13685 -x8663 -x13636 -x8615 -x13587 -x8567 -x13538 -x8519 -x13489 -x8471 -x13440 -x8423 -x13391 -x8375 -x13342 -x8327 -x13293 -x8279 -x13244 -x8231 -x13195 -x8183 -x13146 -x8135 -x13097 -x8087 -x13048 -x8039 -x12999 -x7991 -x12950 -x2560 -x2511 -x2462 -x2413 -x2364 -x2315 -x2266 -x2217 -x2168 -x2119 -x2070 -x2021 -x1972 -x1923 -x1874 -x1825 -x1776 -x1727 -x1678 -x1629 -x1580 -x1531 -x1482 -x1433 -x1384 -x1335 -x1286 -x1237 -x1188 -x1139 -x1090 -x1041 -x992 -x943 -x894 -x845 -x796 -x747 -x698 -x649 -x600 -x7510 -x12460 -x7462 -x12411 -x7414 -x12362 -x7366 -x12313 -x7318 -x12264 -x7270 -x12215 -x7222 -x12166 -x7174 -x12117 -x7126 -x12068 -x7078 -x12019 -x7030 -x11970 -x6982 -x11921 -x6934 -x11872 -x6886 -x11823 -x6838 -x11774 -x6790 -x11725 -x6742 -x11676 -x6694 -x11627 -x6646 -x11578 -x6598 -x11529 -x6550 -x11480 -x6502 -x11431 -x6454 -x11382 -x6406 -x11333 -x6358 -x11284 -x6310 -x11235 -x6262 -x11186 -x6214 -x11137 -x6166 -x11088 -x6118 -x11039 -x6070 -x10990 -x6022 -x10941 -x5974 -x10892 -x5926 -x10843 -x5878 -x10794 -x5830 -x10745 -x5782 -x10696 -x5734 -x10647 -x5686 -x10598 -x5638 -x10549 -x5590 -x10500 -x5060 -x5011 -x4962 -x4913 -x4864 -x4815 -x4766 -x4717 -x4668 -x4619 -x4570 -x4521 -x4472 -x4423 -x4374 -x4325 -x4276 -x4227 -x4178 -x4129 -x4080 -x4031 -x3982 -x3933 -x3884 -x3835 -x3786 -x3737 -x3688 -x3639 -x3590 -x3541 -x3492 -x3443 -x3394 -x3345 -x3296 -x3247 -x3198 -x3149 -x3100 -x9960 -x14960 -x9912 -x14911 -x9864 -x14862 -x9816 -x14813 -x9768 -x14764 -x9720 -x14715 -x9672 -x14666 -x9624 -x14617 -x9576 -x14568 -x9528 -x14519 -x9480 -x14470 -x9432 -x14421 -x9384 -x14372 -x9336 -x14323 -x9288 -x14274 -x9240 -x14225 -x9192 -x14176 -x9144 -x14127 -x9096 -x14078 -x9048 -x14029 -x9000 -x13980 -x8952 -x13931 -x8904 -x13882 -x8856 -x13833 -x8808 -x13784 -x8760 -x13735 -x8712 -x13686 -x8664 -x13637 -x8616 -x13588 -x8568 -x13539 -x8520 -x13490 -x8472 -x13441 -x8424 -x13392 -x8376 -x13343 -x8328 -x13294 -x8280 -x13245 -x8232 -x13196 -x8184 -x13147 -x8136 -x13098 -x8088 -x13049 -x8040 -x13000 -x2561 -x2512 -x2463 -x2414 -x2365 -x2316 -x2267 -x2218 -x2169 -x2120 -x2071 -x2022 -x1973 -x1924 -x1875 -x1826 -x1777 -x1728 -x1679 -x1630 -x1581 -x1532 -x1483 -x1434 -x1385 -x1336 -x1287 -x1238 -x1189 -x1140 -x1091 -x1042 -x993 -x944 -x895 -x846 -x797 -x748 -x699 -x650 -x7511 -x12461 -x7463 -x12412 -x7415 -x12363 -x7367 -x12314 -x7319 -x12265 -x7271 -x12216 -x7223 -x12167 -x7175 -x12118 -x7127 -x12069 -x7079 -x12020 -x7031 -x11971 -x6983 -x11922 -x6935 -x11873 -x6887 -x11824 -x6839 -x11775 -x6791 -x11726 -x6743 -x11677 -x6695 -x11628 -x6647 -x11579 -x6599 -x11530 -x6551 -x11481 -x6503 -x11432 -x6455 -x11383 -x6407 -x11334 -x6359 -x11285 -x6311 -x11236 -x6263 -x11187 -x6215 -x11138 -x6167 -x11089 -x6119 -x11040 -x6071 -x10991 -x6023 -x10942 -x5975 -x10893 -x5927 -x10844 -x5879 -x10795 -x5831 -x10746 -x5783 -x10697 -x5735 -x10648 -x5687 -x10599 -x5639 -x10550 -x5061 -x5012 -x4963 -x4914 -x4865 -x4816 -x4767 -x4718 -x4669 -x4620 -x4571 -x4522 -x4473 -x4424 -x4375 -x4326 -x4277 -x4228 -x4179 -x4130 -x4081 -x4032 -x3983 -x3934 -x3885 -x3836 -x3787 -x3738 -x3689 -x3640 -x3591 -x3542 -x3493 -x3444 -x3395 -x3346 -x3297 -x3248 -x3199 -x3150 -x9961 -x14961 -x9913 -x14912 -x9865 -x14863 -x9817 -x14814 -x9769 -x14765 -x9721 -x14716 -x9673 -x14667 -x9625 -x14618 -x9577 -x14569 -x9529 -x14520 -x9481 -x14471 -x9433 -x14422 -x9385 -x14373 -x9337 -x14324 -x9289 -x14275 -x9241 -x14226 -x9193 -x14177 -x9145 -x14128 -x9097 -x14079 -x9049 -x14030 -x9001 -x13981 -x8953 -x13932 -x8905 -x13883 -x8857 -x13834 -x8809 -x13785 -x8761 -x13736 -x8713 -x13687 -x8665 -x13638 -x8617 -x13589 -x8569 -x13540 -x8521 -x13491 -x8473 -x13442 -x8425 -x13393 -x8377 -x13344 -x8329 -x13295 -x8281 -x13246 -x8233 -x13197 -x8185 -x13148 -x8137 -x13099 -x8089 -x13050 -x2562 -x2513 -x2464 -x2415 -x2366 -x2317 -x2268 -x2219 -x2170 -x2121 -x2072 -x2023 -x1974 -x1925 -x1876 -x1827 -x1778 -x1729 -x1680 -x1631 -x1582 -x1533 -x1484 -x1435 -x1386 -x1337 -x1288 -x1239 -x1190 -x1141 -x1092 -x1043 -x994 -x945 -x896 -x847 -x798 -x749 -x700 -x7512 -x12462 -x7464 -x12413 -x7416 -x12364 -x7368 -x12315 -x7320 -x12266 -x7272 -x12217 -x7224 -x12168 -x7176 -x12119 -x7128 -x12070 -x7080 -x12021 -x7032 -x11972 -x6984 -x11923 -x6936 -x11874 -x6888 -x11825 -x6840 -x11776 -x6792 -x11727 -x6744 -x11678 -x6696 -x11629 -x6648 -x11580 -x6600 -x11531 -x6552 -x11482 -x6504 -x11433 -x6456 -x11384 -x6408 -x11335 -x6360 -x11286 -x6312 -x11237 -x6264 -x11188 -x6216 -x11139 -x6168 -x11090 -x6120 -x11041 -x6072 -x10992 -x6024 -x10943 -x5976 -x10894 -x5928 -x10845 -x5880 -x10796 -x5832 -x10747 -x5784 -x10698 -x5736 -x10649 -x5688 -x10600 -x5062 -x5013 -x4964 -x4915 -x4866 -x4817 -x4768 -x4719 -x4670 -x4621 -x4572 -x4523 -x4474 -x4425 -x4376 -x4327 -x4278 -x4229 -x4180 -x4131 -x4082 -x4033 -x3984 -x3935 -x3886 -x3837 -x3788 -x3739 -x3690 -x3641 -x3592 -x3543 -x3494 -x3445 -x3396 -x3347 -x3298 -x3249 -x3200 -x9962 -x14962 -x9914 -x14913 -x9866 -x14864 -x9818 -x14815 -x9770 -x14766 -x9722 -x14717 -x9674 -x14668 -x9626 -x14619 -x9578 -x14570 -x9530 -x14521 -x9482 -x14472 -x9434 -x14423 -x9386 -x14374 -x9338 -x14325 -x9290 -x14276 -x9242 -x14227 -x9194 -x14178 -x9146 -x14129 -x9098 -x14080 -x9050 -x14031 -x9002 -x13982 -x8954 -x13933 -x8906 -x13884 -x8858 -x13835 -x8810 -x13786 -x8762 -x13737 -x8714 -x13688 -x8666 -x13639 -x8618 -x13590 -x8570 -x13541 -x8522 -x13492 -x8474 -x13443 -x8426 -x13394 -x8378 -x13345 -x8330 -x13296 -x8282 -x13247 -x8234 -x13198 -x8186 -x13149 -x8138 -x13100 -x2563 -x2514 -x2465 -x2416 -x2367 -x2318 -x2269 -x2220 -x2171 -x2122 -x2073 -x2024 -x1975 -x1926 -x1877 -x1828 -x1779 -x1730 -x1681 -x1632 -x1583 -x1534 -x1485 -x1436 -x1387 -x1338 -x1289 -x1240 -x1191 -x1142 -x1093 -x1044 -x995 -x946 -x897 -x848 -x799 -x750 -x7513 -x12463 -x7465 -x12414 -x7417 -x12365 -x7369 -x12316 -x7321 -x12267 -x7273 -x12218 -x7225 -x12169 -x7177 -x12120 -x7129 -x12071 -x7081 -x12022 -x7033 -x11973 -x6985 -x11924 -x6937 -x11875 -x6889 -x11826 -x6841 -x11777 -x6793 -x11728 -x6745 -x11679 -x6697 -x11630 -x6649 -x11581 -x6601 -x11532 -x6553 -x11483 -x6505 -x11434 -x6457 -x11385 -x6409 -x11336 -x6361 -x11287 -x6313 -x11238 -x6265 -x11189 -x6217 -x11140 -x6169 -x11091 -x6121 -x11042 -x6073 -x10993 -x6025 -x10944 -x5977 -x10895 -x5929 -x10846 -x5881 -x10797 -x5833 -x10748 -x5785 -x10699 -x5737 -x10650 -x5063 -x5014 -x4965 -x4916 -x4867 -x4818 -x4769 -x4720 -x4671 -x4622 -x4573 -x4524 -x4475 -x4426 -x4377 -x4328 -x4279 -x4230 -x4181 -x4132 -x4083 -x4034 -x3985 -x3936 -x3887 -x3838 -x3789 -x3740 -x3691 -x3642 -x3593 -x3544 -x3495 -x3446 -x3397 -x3348 -x3299 -x3250 -x9963 -x14963 -x9915 -x14914 -x9867 -x14865 -x9819 -x14816 -x9771 -x14767 -x9723 -x14718 -x9675 -x14669 -x9627 -x14620 -x9579 -x14571 -x9531 -x14522 -x9483 -x14473 -x9435 -x14424 -x9387 -x14375 -x9339 -x14326 -x9291 -x14277 -x9243 -x14228 -x9195 -x14179 -x9147 -x14130 -x9099 -x14081 -x9051 -x14032 -x9003 -x13983 -x8955 -x13934 -x8907 -x13885 -x8859 -x13836 -x8811 -x13787 -x8763 -x13738 -x8715 -x13689 -x8667 -x13640 -x8619 -x13591 -x8571 -x13542 -x8523 -x13493 -x8475 -x13444 -x8427 -x13395 -x8379 -x13346 -x8331 -x13297 -x8283 -x13248 -x8235 -x13199 -x8187 -x13150 -x2564 -x2515 -x2466 -x2417 -x2368 -x2319 -x2270 -x2221 -x2172 -x2123 -x2074 -x2025 -x1976 -x1927 -x1878 -x1829 -x1780 -x1731 -x1682 -x1633 -x1584 -x1535 -x1486 -x1437 -x1388 -x1339 -x1290 -x1241 -x1192 -x1143 -x1094 -x1045 -x996 -x947 -x898 -x849 -x800 -x7514 -x12464 -x7466 -x12415 -x7418 -x12366 -x7370 -x12317 -x7322 -x12268 -x7274 -x12219 -x7226 -x12170 -x7178 -x12121 -x7130 -x12072 -x7082 -x12023 -x7034 -x11974 -x6986 -x11925 -x6938 -x11876 -x6890 -x11827 -x6842 -x11778 -x6794 -x11729 -x6746 -x11680 -x6698 -x11631 -x6650 -x11582 -x6602 -x11533 -x6554 -x11484 -x6506 -x11435 -x6458 -x11386 -x6410 -x11337 -x6362 -x11288 -x6314 -x11239 -x6266 -x11190 -x6218 -x11141 -x6170 -x11092 -x6122 -x11043 -x6074 -x10994 -x6026 -x10945 -x5978 -x10896 -x5930 -x10847 -x5882 -x10798 -x5834 -x10749 -x5786 -x10700 -x5064 -x5015 -x4966 -x4917 -x4868 -x4819 -x4770 -x4721 -x4672 -x4623 -x4574 -x4525 -x4476 -x4427 -x4378 -x4329 -x4280 -x4231 -x4182 -x4133 -x4084 -x4035 -x3986 -x3937 -x3888 -x3839 -x3790 -x3741 -x3692 -x3643 -x3594 -x3545 -x3496 -x3447 -x3398 -x3349 -x3300 -x9964 -x14964 -x9916 -x14915 -x9868 -x14866 -x9820 -x14817 -x9772 -x14768 -x9724 -x14719 -x9676 -x14670 -x9628 -x14621 -x9580 -x14572 -x9532 -x14523 -x9484 -x14474 -x9436 -x14425 -x9388 -x14376 -x9340 -x14327 -x9292 -x14278 -x9244 -x14229 -x9196 -x14180 -x9148 -x14131 -x9100 -x14082 -x9052 -x14033 -x9004 -x13984 -x8956 -x13935 -x8908 -x13886 -x8860 -x13837 -x8812 -x13788 -x8764 -x13739 -x8716 -x13690 -x8668 -x13641 -x8620 -x13592 -x8572 -x13543 -x8524 -x13494 -x8476 -x13445 -x8428 -x13396 -x8380 -x13347 -x8332 -x13298 -x8284 -x13249 -x8236 -x13200 -x2565 -x2516 -x2467 -x2418 -x2369 -x2320 -x2271 -x2222 -x2173 -x2124 -x2075 -x2026 -x1977 -x1928 -x1879 -x1830 -x1781 -x1732 -x1683 -x1634 -x1585 -x1536 -x1487 -x1438 -x1389 -x1340 -x1291 -x1242 -x1193 -x1144 -x1095 -x1046 -x997 -x948 -x899 -x850 -x7515 -x12465 -x7467 -x12416 -x7419 -x12367 -x7371 -x12318 -x7323 -x12269 -x7275 -x12220 -x7227 -x12171 -x7179 -x12122 -x7131 -x12073 -x7083 -x12024 -x7035 -x11975 -x6987 -x11926 -x6939 -x11877 -x6891 -x11828 -x6843 -x11779 -x6795 -x11730 -x6747 -x11681 -x6699 -x11632 -x6651 -x11583 -x6603 -x11534 -x6555 -x11485 -x6507 -x11436 -x6459 -x11387 -x6411 -x11338 -x6363 -x11289 -x6315 -x11240 -x6267 -x11191 -x6219 -x11142 -x6171 -x11093 -x6123 -x11044 -x6075 -x10995 -x6027 -x10946 -x5979 -x10897 -x5931 -x10848 -x5883 -x10799 -x5835 -x10750 -x5065 -x5016 -x4967 -x4918 -x4869 -x4820 -x4771 -x4722 -x4673 -x4624 -x4575 -x4526 -x4477 -x4428 -x4379 -x4330 -x4281 -x4232 -x4183 -x4134 -x4085 -x4036 -x3987 -x3938 -x3889 -x3840 -x3791 -x3742 -x3693 -x3644 -x3595 -x3546 -x3497 -x3448 -x3399 -x3350 -x9965 -x14965 -x9917 -x14916 -x9869 -x14867 -x9821 -x14818 -x9773 -x14769 -x9725 -x14720 -x9677 -x14671 -x9629 -x14622 -x9581 -x14573 -x9533 -x14524 -x9485 -x14475 -x9437 -x14426 -x9389 -x14377 -x9341 -x14328 -x9293 -x14279 -x9245 -x14230 -x9197 -x14181 -x9149 -x14132 -x9101 -x14083 -x9053 -x14034 -x9005 -x13985 -x8957 -x13936 -x8909 -x13887 -x8861 -x13838 -x8813 -x13789 -x8765 -x13740 -x8717 -x13691 -x8669 -x13642 -x8621 -x13593 -x8573 -x13544 -x8525 -x13495 -x8477 -x13446 -x8429 -x13397 -x8381 -x13348 -x8333 -x13299 -x8285 -x13250 -x2566 -x2517 -x2468 -x2419 -x2370 -x2321 -x2272 -x2223 -x2174 -x2125 -x2076 -x2027 -x1978 -x1929 -x1880 -x1831 -x1782 -x1733 -x1684 -x1635 -x1586 -x1537 -x1488 -x1439 -x1390 -x1341 -x1292 -x1243 -x1194 -x1145 -x1096 -x1047 -x998 -x949 -x900 -x7516 -x12466 -x7468 -x12417 -x7420 -x12368 -x7372 -x12319 -x7324 -x12270 -x7276 -x12221 -x7228 -x12172 -x7180 -x12123 -x7132 -x12074 -x7084 -x12025 -x7036 -x11976 -x6988 -x11927 -x6940 -x11878 -x6892 -x11829 -x6844 -x11780 -x6796 -x11731 -x6748 -x11682 -x6700 -x11633 -x6652 -x11584 -x6604 -x11535 -x6556 -x11486 -x6508 -x11437 -x6460 -x11388 -x6412 -x11339 -x6364 -x11290 -x6316 -x11241 -x6268 -x11192 -x6220 -x11143 -x6172 -x11094 -x6124 -x11045 -x6076 -x10996 -x6028 -x10947 -x5980 -x10898 -x5932 -x10849 -x5884 -x10800 -x5066 -x5017 -x4968 -x4919 -x4870 -x4821 -x4772 -x4723 -x4674 -x4625 -x4576 -x4527 -x4478 -x4429 -x4380 -x4331 -x4282 -x4233 -x4184 -x4135 -x4086 -x4037 -x3988 -x3939 -x3890 -x3841 -x3792 -x3743 -x3694 -x3645 -x3596 -x3547 -x3498 -x3449 -x3400 -x9966 -x14966 -x9918 -x14917 -x9870 -x14868 -x9822 -x14819 -x9774 -x14770 -x9726 -x14721 -x9678 -x14672 -x9630 -x14623 -x9582 -x14574 -x9534 -x14525 -x9486 -x14476 -x9438 -x14427 -x9390 -x14378 -x9342 -x14329 -x9294 -x14280 -x9246 -x14231 -x9198 -x14182 -x9150 -x14133 -x9102 -x14084 -x9054 -x14035 -x9006 -x13986 -x8958 -x13937 -x8910 -x13888 -x8862 -x13839 -x8814 -x13790 -x8766 -x13741 -x8718 -x13692 -x8670 -x13643 -x8622 -x13594 -x8574 -x13545 -x8526 -x13496 -x8478 -x13447 -x8430 -x13398 -x8382 -x13349 -x8334 -x13300 -x2567 -x2518 -x2469 -x2420 -x2371 -x2322 -x2273 -x2224 -x2175 -x2126 -x2077 -x2028 -x1979 -x1930 -x1881 -x1832 -x1783 -x1734 -x1685 -x1636 -x1587 -x1538 -x1489 -x1440 -x1391 -x1342 -x1293 -x1244 -x1195 -x1146 -x1097 -x1048 -x999 -x950 -x7517 -x12467 -x7469 -x12418 -x7421 -x12369 -x7373 -x12320 -x7325 -x12271 -x7277 -x12222 -x7229 -x12173 -x7181 -x12124 -x7133 -x12075 -x7085 -x12026 -x7037 -x11977 -x6989 -x11928 -x6941 -x11879 -x6893 -x11830 -x6845 -x11781 -x6797 -x11732 -x6749 -x11683 -x6701 -x11634 -x6653 -x11585 -x6605 -x11536 -x6557 -x11487 -x6509 -x11438 -x6461 -x11389 -x6413 -x11340 -x6365 -x11291 -x6317 -x11242 -x6269 -x11193 -x6221 -x11144 -x6173 -x11095 -x6125 -x11046 -x6077 -x10997 -x6029 -x10948 -x5981 -x10899 -x5933 -x10850 -x5067 -x5018 -x4969 -x4920 -x4871 -x4822 -x4773 -x4724 -x4675 -x4626 -x4577 -x4528 -x4479 -x4430 -x4381 -x4332 -x4283 -x4234 -x4185 -x4136 -x4087 -x4038 -x3989 -x3940 -x3891 -x3842 -x3793 -x3744 -x3695 -x3646 -x3597 -x3548 -x3499 -x3450 -x9967 -x14967 -x9919 -x14918 -x9871 -x14869 -x9823 -x14820 -x9775 -x14771 -x9727 -x14722 -x9679 -x14673 -x9631 -x14624 -x9583 -x14575 -x9535 -x14526 -x9487 -x14477 -x9439 -x14428 -x9391 -x14379 -x9343 -x14330 -x9295 -x14281 -x9247 -x14232 -x9199 -x14183 -x9151 -x14134 -x9103 -x14085 -x9055 -x14036 -x9007 -x13987 -x8959 -x13938 -x8911 -x13889 -x8863 -x13840 -x8815 -x13791 -x8767 -x13742 -x8719 -x13693 -x8671 -x13644 -x8623 -x13595 -x8575 -x13546 -x8527 -x13497 -x8479 -x13448 -x8431 -x13399 -x8383 -x13350 -x2568 -x2519 -x2470 -x2421 -x2372 -x2323 -x2274 -x2225 -x2176 -x2127 -x2078 -x2029 -x1980 -x1931 -x1882 -x1833 -x1784 -x1735 -x1686 -x1637 -x1588 -x1539 -x1490 -x1441 -x1392 -x1343 -x1294 -x1245 -x1196 -x1147 -x1098 -x1049 -x1000 -x7518 -x12468 -x7470 -x12419 -x7422 -x12370 -x7374 -x12321 -x7326 -x12272 -x7278 -x12223 -x7230 -x12174 -x7182 -x12125 -x7134 -x12076 -x7086 -x12027 -x7038 -x11978 -x6990 -x11929 -x6942 -x11880 -x6894 -x11831 -x6846 -x11782 -x6798 -x11733 -x6750 -x11684 -x6702 -x11635 -x6654 -x11586 -x6606 -x11537 -x6558 -x11488 -x6510 -x11439 -x6462 -x11390 -x6414 -x11341 -x6366 -x11292 -x6318 -x11243 -x6270 -x11194 -x6222 -x11145 -x6174 -x11096 -x6126 -x11047 -x6078 -x10998 -x6030 -x10949 -x5982 -x10900 -x5068 -x5019 -x4970 -x4921 -x4872 -x4823 -x4774 -x4725 -x4676 -x4627 -x4578 -x4529 -x4480 -x4431 -x4382 -x4333 -x4284 -x4235 -x4186 -x4137 -x4088 -x4039 -x3990 -x3941 -x3892 -x3843 -x3794 -x3745 -x3696 -x3647 -x3598 -x3549 -x3500 -x9968 -x14968 -x9920 -x14919 -x9872 -x14870 -x9824 -x14821 -x9776 -x14772 -x9728 -x14723 -x9680 -x14674 -x9632 -x14625 -x9584 -x14576 -x9536 -x14527 -x9488 -x14478 -x9440 -x14429 -x9392 -x14380 -x9344 -x14331 -x9296 -x14282 -x9248 -x14233 -x9200
3600.02/3612.70 v -x14184 -x9152 -x14135 -x9104 -x14086 -x9056 -x14037 -x9008 -x13988 -x8960 -x13939 -x8912 -x13890 -x8864 -x13841 -x8816 -x13792 -x8768 -x13743 -x8720 -x13694 -x8672 -x13645 -x8624 -x13596 -x8576 -x13547 -x8528 -x13498 -x8480 -x13449 -x8432 -x13400 -x2569 -x2520 -x2471 -x2422 -x2373 -x2324 -x2275 -x2226 -x2177 -x2128 -x2079 -x2030 -x1981 -x1932 -x1883 -x1834 -x1785 -x1736 -x1687 -x1638 -x1589 -x1540 -x1491 -x1442 -x1393 -x1344 -x1295 -x1246 -x1197 -x1148 -x1099 -x1050 -x7519 -x12469 -x7471 -x12420 -x7423 -x12371 -x7375 -x12322 -x7327 -x12273 -x7279 -x12224 -x7231 -x12175 -x7183 -x12126 -x7135 -x12077 -x7087 -x12028 -x7039 -x11979 -x6991 -x11930 -x6943 -x11881 -x6895 -x11832 -x6847 -x11783 -x6799 -x11734 -x6751 -x11685 -x6703 -x11636 -x6655 -x11587 -x6607 -x11538 -x6559 -x11489 -x6511 -x11440 -x6463 -x11391 -x6415 -x11342 -x6367 -x11293 -x6319 -x11244 -x6271 -x11195 -x6223 -x11146 -x6175 -x11097 -x6127 -x11048 -x6079 -x10999 -x6031 -x10950 -x5069 -x5020 -x4971 -x4922 -x4873 -x4824 -x4775 -x4726 -x4677 -x4628 -x4579 -x4530 -x4481 -x4432 -x4383 -x4334 -x4285 -x4236 -x4187 -x4138 -x4089 -x4040 -x3991 -x3942 -x3893 -x3844 -x3795 -x3746 -x3697 -x3648 -x3599 -x3550 -x9969 -x14969 -x9921 -x14920 -x9873 -x14871 -x9825 -x14822 -x9777 -x14773 -x9729 -x14724 -x9681 -x14675 -x9633 -x14626 -x9585 -x14577 -x9537 -x14528 -x9489 -x14479 -x9441 -x14430 -x9393 -x14381 -x9345 -x14332 -x9297 -x14283 -x9249 -x14234 -x9201 -x14185 -x9153 -x14136 -x9105 -x14087 -x9057 -x14038 -x9009 -x13989 -x8961 -x13940 -x8913 -x13891 -x8865 -x13842 -x8817 -x13793 -x8769 -x13744 -x8721 -x13695 -x8673 -x13646 -x8625 -x13597 -x8577 -x13548 -x8529 -x13499 -x8481 -x13450 -x2570 -x2521 -x2472 -x2423 -x2374 -x2325 -x2276 -x2227 -x2178 -x2129 -x2080 -x2031 -x1982 -x1933 -x1884 -x1835 -x1786 -x1737 -x1688 -x1639 -x1590 -x1541 -x1492 -x1443 -x1394 -x1345 -x1296 -x1247 -x1198 -x1149 -x1100 -x7520 -x12470 -x7472 -x12421 -x7424 -x12372 -x7376 -x12323 -x7328 -x12274 -x7280 -x12225 -x7232 -x12176 -x7184 -x12127 -x7136 -x12078 -x7088 -x12029 -x7040 -x11980 -x6992 -x11931 -x6944 -x11882 -x6896 -x11833 -x6848 -x11784 -x6800 -x11735 -x6752 -x11686 -x6704 -x11637 -x6656 -x11588 -x6608 -x11539 -x6560 -x11490 -x6512 -x11441 -x6464 -x11392 -x6416 -x11343 -x6368 -x11294 -x6320 -x11245 -x6272 -x11196 -x6224 -x11147 -x6176 -x11098 -x6128 -x11049 -x6080 -x11000 -x5070 -x5021 -x4972 -x4923 -x4874 -x4825 -x4776 -x4727 -x4678 -x4629 -x4580 -x4531 -x4482 -x4433 -x4384 -x4335 -x4286 -x4237 -x4188 -x4139 -x4090 -x4041 -x3992 -x3943 -x3894 -x3845 -x3796 -x3747 -x3698 -x3649 -x3600 -x9970 -x14970 -x9922 -x14921 -x9874 -x14872 -x9826 -x14823 -x9778 -x14774 -x9730 -x14725 -x9682 -x14676 -x9634 -x14627 -x9586 -x14578 -x9538 -x14529 -x9490 -x14480 -x9442 -x14431 -x9394 -x14382 -x9346 -x14333 -x9298 -x14284 -x9250 -x14235 -x9202 -x14186 -x9154 -x14137 -x9106 -x14088 -x9058 -x14039 -x9010 -x13990 -x8962 -x13941 -x8914 -x13892 -x8866 -x13843 -x8818 -x13794 -x8770 -x13745 -x8722 -x13696 -x8674 -x13647 -x8626 -x13598 -x8578 -x13549 -x8530 -x13500 -x2571 -x2522 -x2473 -x2424 -x2375 -x2326 -x2277 -x2228 -x2179 -x2130 -x2081 -x2032 -x1983 -x1934 -x1885 -x1836 -x1787 -x1738 -x1689 -x1640 -x1591 -x1542 -x1493 -x1444 -x1395 -x1346 -x1297 -x1248 -x1199 -x1150 -x7521 -x12471 -x7473 -x12422 -x7425 -x12373 -x7377 -x12324 -x7329 -x12275 -x7281 -x12226 -x7233 -x12177 -x7185 -x12128 -x7137 -x12079 -x7089 -x12030 -x7041 -x11981 -x6993 -x11932 -x6945 -x11883 -x6897 -x11834 -x6849 -x11785 -x6801 -x11736 -x6753 -x11687 -x6705 -x11638 -x6657 -x11589 -x6609 -x11540 -x6561 -x11491 -x6513 -x11442 -x6465 -x11393 -x6417 -x11344 -x6369 -x11295 -x6321 -x11246 -x6273 -x11197 -x6225 -x11148 -x6177 -x11099 -x6129 -x11050 -x5071 -x5022 -x4973 -x4924 -x4875 -x4826 -x4777 -x4728 -x4679 -x4630 -x4581 -x4532 -x4483 -x4434 -x4385 -x4336 -x4287 -x4238 -x4189 -x4140 -x4091 -x4042 -x3993 -x3944 -x3895 -x3846 -x3797 -x3748 -x3699 -x3650 -x9971 -x14971 -x9923 -x14922 -x9875 -x14873 -x9827 -x14824 -x9779 -x14775 -x9731 -x14726 -x9683 -x14677 -x9635 -x14628 -x9587 -x14579 -x9539 -x14530 -x9491 -x14481 -x9443 -x14432 -x9395 -x14383 -x9347 -x14334 -x9299 -x14285 -x9251 -x14236 -x9203 -x14187 -x9155 -x14138 -x9107 -x14089 -x9059 -x14040 -x9011 -x13991 -x8963 -x13942 -x8915 -x13893 -x8867 -x13844 -x8819 -x13795 -x8771 -x13746 -x8723 -x13697 -x8675 -x13648 -x8627 -x13599 -x8579 -x13550 -x2572 -x2523 -x2474 -x2425 -x2376 -x2327 -x2278 -x2229 -x2180 -x2131 -x2082 -x2033 -x1984 -x1935 -x1886 -x1837 -x1788 -x1739 -x1690 -x1641 -x1592 -x1543 -x1494 -x1445 -x1396 -x1347 -x1298 -x1249 -x1200 -x7522 -x12472 -x7474 -x12423 -x7426 -x12374 -x7378 -x12325 -x7330 -x12276 -x7282 -x12227 -x7234 -x12178 -x7186 -x12129 -x7138 -x12080 -x7090 -x12031 -x7042 -x11982 -x6994 -x11933 -x6946 -x11884 -x6898 -x11835 -x6850 -x11786 -x6802 -x11737 -x6754 -x11688 -x6706 -x11639 -x6658 -x11590 -x6610 -x11541 -x6562 -x11492 -x6514 -x11443 -x6466 -x11394 -x6418 -x11345 -x6370 -x11296 -x6322 -x11247 -x6274 -x11198 -x6226 -x11149 -x6178 -x11100 -x5072 -x5023 -x4974 -x4925 -x4876 -x4827 -x4778 -x4729 -x4680 -x4631 -x4582 -x4533 -x4484 -x4435 -x4386 -x4337 -x4288 -x4239 -x4190 -x4141 -x4092 -x4043 -x3994 -x3945 -x3896 -x3847 -x3798 -x3749 -x3700 -x9972 -x14972 -x9924 -x14923 -x9876 -x14874 -x9828 -x14825 -x9780 -x14776 -x9732 -x14727 -x9684 -x14678 -x9636 -x14629 -x9588 -x14580 -x9540 -x14531 -x9492 -x14482 -x9444 -x14433 -x9396 -x14384 -x9348 -x14335 -x9300 -x14286 -x9252 -x14237 -x9204 -x14188 -x9156 -x14139 -x9108 -x14090 -x9060 -x14041 -x9012 -x13992 -x8964 -x13943 -x8916 -x13894 -x8868 -x13845 -x8820 -x13796 -x8772 -x13747 -x8724 -x13698 -x8676 -x13649 -x8628 -x13600 -x2573 -x2524 -x2475 -x2426 -x2377 -x2328 -x2279 -x2230 -x2181 -x2132 -x2083 -x2034 -x1985 -x1936 -x1887 -x1838 -x1789 -x1740 -x1691 -x1642 -x1593 -x1544 -x1495 -x1446 -x1397 -x1348 -x1299 -x1250 -x7523 -x12473 -x7475 -x12424 -x7427 -x12375 -x7379 -x12326 -x7331 -x12277 -x7283 -x12228 -x7235 -x12179 -x7187 -x12130 -x7139 -x12081 -x7091 -x12032 -x7043 -x11983 -x6995 -x11934 -x6947 -x11885 -x6899 -x11836 -x6851 -x11787 -x6803 -x11738 -x6755 -x11689 -x6707 -x11640 -x6659 -x11591 -x6611 -x11542 -x6563 -x11493 -x6515 -x11444 -x6467 -x11395 -x6419 -x11346 -x6371 -x11297 -x6323 -x11248 -x6275 -x11199 -x6227 -x11150 -x5073 -x5024 -x4975 -x4926 -x4877 -x4828 -x4779 -x4730 -x4681 -x4632 -x4583 -x4534 -x4485 -x4436 -x4387 -x4338 -x4289 -x4240 -x4191 -x4142 -x4093 -x4044 -x3995 -x3946 -x3897 -x3848 -x3799 -x3750 -x9973 -x14973 -x9925 -x14924 -x9877 -x14875 -x9829 -x14826 -x9781 -x14777 -x9733 -x14728 -x9685 -x14679 -x9637 -x14630 -x9589 -x14581 -x9541 -x14532 -x9493 -x14483 -x9445 -x14434 -x9397 -x14385 -x9349 -x14336 -x9301 -x14287 -x9253 -x14238 -x9205 -x14189 -x9157 -x14140 -x9109 -x14091 -x9061 -x14042 -x9013 -x13993 -x8965 -x13944 -x8917 -x13895 -x8869 -x13846 -x8821 -x13797 -x8773 -x13748 -x8725 -x13699 -x8677 -x13650 -x2574 -x2525 -x2476 -x2427 -x2378 -x2329 -x2280 -x2231 -x2182 -x2133 -x2084 -x2035 -x1986 -x1937 -x1888 -x1839 -x1790 -x1741 -x1692 -x1643 -x1594 -x1545 -x1496 -x1447 -x1398 -x1349 -x1300 -x7524 -x12474 -x7476 -x12425 -x7428 -x12376 -x7380 -x12327 -x7332 -x12278 -x7284 -x12229 -x7236 -x12180 -x7188 -x12131 -x7140 -x12082 -x7092 -x12033 -x7044 -x11984 -x6996 -x11935 -x6948 -x11886 -x6900 -x11837 -x6852 -x11788 -x6804 -x11739 -x6756 -x11690 -x6708 -x11641 -x6660 -x11592 -x6612 -x11543 -x6564 -x11494 -x6516 -x11445 -x6468 -x11396 -x6420 -x11347 -x6372 -x11298 -x6324 -x11249 -x6276 -x11200 -x5074 -x5025 -x4976 -x4927 -x4878 -x4829 -x4780 -x4731 -x4682 -x4633 -x4584 -x4535 -x4486 -x4437 -x4388 -x4339 -x4290 -x4241 -x4192 -x4143 -x4094 -x4045 -x3996 -x3947 -x3898 -x3849 -x3800 -x9974 -x14974 -x9926 -x14925 -x9878 -x14876 -x9830 -x14827 -x9782 -x14778 -x9734 -x14729 -x9686 -x14680 -x9638 -x14631 -x9590 -x14582 -x9542 -x14533 -x9494 -x14484 -x9446 -x14435 -x9398 -x14386 -x9350 -x14337 -x9302 -x14288 -x9254 -x14239 -x9206 -x14190 -x9158 -x14141 -x9110 -x14092 -x9062 -x14043 -x9014 -x13994 -x8966 -x13945 -x8918 -x13896 -x8870 -x13847 -x8822 -x13798 -x8774 -x13749 -x8726 -x13700 -x2575 -x2526 -x2477 -x2428 -x2379 -x2330 -x2281 -x2232 -x2183 -x2134 -x2085 -x2036 -x1987 -x1938 -x1889 -x1840 -x1791 -x1742 -x1693 -x1644 -x1595 -x1546 -x1497 -x1448 -x1399 -x1350 -x7525 -x12475 -x7477 -x12426 -x7429 -x12377 -x7381 -x12328 -x7333 -x12279 -x7285 -x12230 -x7237 -x12181 -x7189 -x12132 -x7141 -x12083 -x7093 -x12034 -x7045 -x11985 -x6997 -x11936 -x6949 -x11887 -x6901 -x11838 -x6853 -x11789 -x6805 -x11740 -x6757 -x11691 -x6709 -x11642 -x6661 -x11593 -x6613 -x11544 -x6565 -x11495 -x6517 -x11446 -x6469 -x11397 -x6421 -x11348 -x6373 -x11299 -x6325 -x11250 -x5075 -x5026 -x4977 -x4928 -x4879 -x4830 -x4781 -x4732 -x4683 -x4634 -x4585 -x4536 -x4487 -x4438 -x4389 -x4340 -x4291 -x4242 -x4193 -x4144 -x4095 -x4046 -x3997 -x3948 -x3899 -x3850 -x9975 -x14975 -x9927 -x14926 -x9879 -x14877 -x9831 -x14828 -x9783 -x14779 -x9735 -x14730 -x9687 -x14681 -x9639 -x14632 -x9591 -x14583 -x9543 -x14534 -x9495 -x14485 -x9447 -x14436 -x9399 -x14387 -x9351 -x14338 -x9303 -x14289 -x9255 -x14240 -x9207 -x14191 -x9159 -x14142 -x9111 -x14093 -x9063 -x14044 -x9015 -x13995 -x8967 -x13946 -x8919 -x13897 -x8871 -x13848 -x8823 -x13799 -x8775 -x13750 -x2576 -x2527 -x2478 -x2429 -x2380 -x2331 -x2282 -x2233 -x2184 -x2135 -x2086 -x2037 -x1988 -x1939 -x1890 -x1841 -x1792 -x1743 -x1694 -x1645 -x1596 -x1547 -x1498 -x1449 -x1400 -x7526 -x12476 -x7478 -x12427 -x7430 -x12378 -x7382 -x12329 -x7334 -x12280 -x7286 -x12231 -x7238 -x12182 -x7190 -x12133 -x7142 -x12084 -x7094 -x12035 -x7046 -x11986 -x6998 -x11937 -x6950 -x11888 -x6902 -x11839 -x6854 -x11790 -x6806 -x11741 -x6758 -x11692 -x6710 -x11643 -x6662 -x11594 -x6614 -x11545 -x6566 -x11496 -x6518 -x11447 -x6470 -x11398 -x6422 -x11349 -x6374 -x11300 -x5076 -x5027 -x4978 -x4929 -x4880 -x4831 -x4782 -x4733 -x4684 -x4635 -x4586 -x4537 -x4488 -x4439 -x4390 -x4341 -x4292 -x4243 -x4194 -x4145 -x4096 -x4047 -x3998 -x3949 -x3900 -x9976 -x14976 -x9928 -x14927 -x9880 -x14878 -x9832 -x14829 -x9784 -x14780 -x9736 -x14731 -x9688 -x14682 -x9640 -x14633 -x9592 -x14584 -x9544 -x14535 -x9496 -x14486 -x9448 -x14437 -x9400 -x14388 -x9352 -x14339 -x9304 -x14290 -x9256 -x14241 -x9208 -x14192 -x9160 -x14143 -x9112 -x14094 -x9064 -x14045 -x9016 -x13996 -x8968 -x13947 -x8920 -x13898 -x8872 -x13849 -x8824 -x13800 -x2577 -x2528 -x2479 -x2430 -x2381 -x2332 -x2283 -x2234 -x2185 -x2136 -x2087 -x2038 -x1989 -x1940 -x1891 -x1842 -x1793 -x1744 -x1695 -x1646 -x1597 -x1548 -x1499 -x1450 -x7527 -x12477 -x7479 -x12428 -x7431 -x12379 -x7383 -x12330 -x7335 -x12281 -x7287 -x12232 -x7239 -x12183 -x7191 -x12134 -x7143 -x12085 -x7095 -x12036 -x7047 -x11987 -x6999 -x11938 -x6951 -x11889 -x6903 -x11840 -x6855 -x11791 -x6807 -x11742 -x6759 -x11693 -x6711 -x11644 -x6663 -x11595 -x6615 -x11546 -x6567 -x11497 -x6519 -x11448 -x6471 -x11399 -x6423 -x11350 -x5077 -x5028 -x4979 -x4930 -x4881 -x4832 -x4783 -x4734 -x4685 -x4636 -x4587 -x4538 -x4489 -x4440 -x4391 -x4342 -x4293 -x4244 -x4195 -x4146 -x4097 -x4048 -x3999 -x3950 -x9977 -x14977 -x9929 -x14928 -x9881 -x14879 -x9833 -x14830 -x9785 -x14781 -x9737 -x14732 -x9689 -x14683 -x9641 -x14634 -x9593 -x14585 -x9545 -x14536 -x9497 -x14487 -x9449 -x14438 -x9401 -x14389 -x9353 -x14340 -x9305 -x14291 -x9257 -x14242 -x9209 -x14193 -x9161 -x14144 -x9113 -x14095 -x9065 -x14046 -x9017 -x13997 -x8969 -x13948 -x8921 -x13899 -x8873 -x13850 -x2578 -x2529 -x2480 -x2431 -x2382 -x2333 -x2284 -x2235 -x2186 -x2137 -x2088 -x2039 -x1990 -x1941 -x1892 -x1843 -x1794 -x1745 -x1696 -x1647 -x1598 -x1549 -x1500 -x7528 -x12478 -x7480 -x12429 -x7432 -x12380 -x7384 -x12331 -x7336 -x12282 -x7288 -x12233 -x7240 -x12184 -x7192 -x12135 -x7144 -x12086 -x7096 -x12037 -x7048 -x11988 -x7000 -x11939 -x6952 -x11890 -x6904 -x11841 -x6856 -x11792 -x6808 -x11743 -x6760 -x11694 -x6712 -x11645 -x6664 -x11596 -x6616 -x11547 -x6568 -x11498 -x6520 -x11449 -x6472 -x11400 -x5078 -x5029 -x4980 -x4931 -x4882 -x4833 -x4784 -x4735 -x4686 -x4637 -x4588 -x4539 -x4490 -x4441 -x4392 -x4343 -x4294 -x4245 -x4196 -x4147 -x4098 -x4049 -x4000 -x9978 -x14978 -x9930 -x14929 -x9882 -x14880 -x9834 -x14831 -x9786 -x14782 -x9738 -x14733 -x9690 -x14684 -x9642 -x14635 -x9594 -x14586 -x9546 -x14537 -x9498 -x14488 -x9450 -x14439 -x9402 -x14390 -x9354 -x14341 -x9306 -x14292 -x9258 -x14243 -x9210 -x14194 -x9162 -x14145 -x9114 -x14096 -x9066 -x14047 -x9018 -x13998 -x8970 -x13949 -x8922 -x13900 -x2579 -x2530 -x2481 -x2432 -x2383 -x2334 -x2285 -x2236 -x2187 -x2138 -x2089 -x2040 -x1991 -x1942 -x1893 -x1844 -x1795 -x1746 -x1697 -x1648 -x1599 -x1550 -x7529 -x12479 -x7481 -x12430 -x7433 -x12381 -x7385 -x12332 -x7337 -x12283 -x7289 -x12234 -x7241 -x12185 -x7193 -x12136 -x7145 -x12087 -x7097 -x12038 -x7049 -x11989 -x7001 -x11940 -x6953 -x11891 -x6905 -x11842 -x6857 -x11793 -x6809 -x11744 -x6761 -x11695 -x6713 -x11646 -x6665 -x11597 -x6617 -x11548 -x6569 -x11499 -x6521 -x11450 -x5079 -x5030 -x4981 -x4932 -x4883 -x4834 -x4785 -x4736 -x4687 -x4638 -x4589 -x4540 -x4491 -x4442 -x4393 -x4344 -x4295 -x4246 -x4197 -x4148 -x4099 -x4050 -x9979 -x14979 -x9931 -x14930 -x9883 -x14881 -x9835 -x14832 -x9787 -x14783 -x9739 -x14734 -x9691 -x14685 -x9643 -x14636 -x9595 -x14587 -x9547 -x14538 -x9499 -x14489 -x9451 -x14440 -x9403 -x14391 -x9355 -x14342 -x9307 -x14293 -x9259 -x14244 -x9211 -x14195 -x9163 -x14146 -x9115 -x14097 -x9067 -x14048 -x9019 -x13999 -x8971 -x13950 -x2580 -x2531 -x2482 -x2433 -x2384 -x2335 -x2286 -x2237 -x2188 -x2139 -x2090 -x2041 -x1992 -x1943 -x1894 -x1845 -x1796 -x1747 -x1698 -x1649 -x1600 -x7530 -x12480 -x7482 -x12431 -x7434 -x12382 -x7386 -x12333 -x7338 -x12284 -x7290 -x12235 -x7242 -x12186 -x7194 -x12137 -x7146 -x12088 -x7098 -x12039 -x7050 -x11990 -x7002 -x11941 -x6954 -x11892 -x6906 -x11843 -x6858 -x11794 -x6810 -x11745 -x6762 -x11696 -x6714 -x11647 -x6666 -x11598 -x6618 -x11549 -x6570 -x11500 -x5080 -x5031 -x4982 -x4933 -x4884 -x4835 -x4786 -x4737 -x4688 -x4639 -x4590 -x4541 -x4492 -x4443 -x4394 -x4345 -x4296 -x4247 -x4198 -x4149 -x4100 -x9980 -x14980 -x9932 -x14931 -x9884 -x14882 -x9836 -x14833 -x9788 -x14784 -x9740 -x14735 -x9692 -x14686 -x9644 -x14637 -x9596 -x14588 -x9548 -x14539 -x9500 -x14490 -x9452 -x14441 -x9404 -x14392 -x9356 -x14343 -x9308 -x14294 -x9260 -x14245 -x9212 -x14196 -x9164 -x14147 -x9116 -x14098 -x9068 -x14049 -x9020 -x14000 -x2581 -x2532 -x2483 -x2434 -x2385 -x2336 -x2287 -x2238 -x2189 -x2140 -x2091 -x2042 -x1993 -x1944 -x1895 -x1846 -x1797 -x1748 -x1699 -x1650 -x7531 -x12481 -x7483 -x12432 -x7435 -x12383 -x7387 -x12334 -x7339 -x12285 -x7291 -x12236 -x7243 -x12187 -x7195 -x12138 -x7147 -x12089 -x7099 -x12040 -x7051 -x11991 -x7003 -x11942 -x6955 -x11893 -x6907 -x11844 -x6859 -x11795 -x6811 -x11746 -x6763 -x11697 -x6715 -x11648 -x6667 -x11599 -x6619
3600.02/3612.70 v -x11550 -x5081 -x5032 -x4983 -x4934 -x4885 -x4836 -x4787 -x4738 -x4689 -x4640 -x4591 -x4542 -x4493 -x4444 -x4395 -x4346 -x4297 -x4248 -x4199 -x4150 -x9981 -x14981 -x9933 -x14932 -x9885 -x14883 -x9837 -x14834 -x9789 -x14785 -x9741 -x14736 -x9693 -x14687 -x9645 -x14638 -x9597 -x14589 -x9549 -x14540 -x9501 -x14491 -x9453 -x14442 -x9405 -x14393 -x9357 -x14344 -x9309 -x14295 -x9261 -x14246 -x9213 -x14197 -x9165 -x14148 -x9117 -x14099 -x9069 -x14050 -x2582 -x2533 -x2484 -x2435 -x2386 -x2337 -x2288 -x2239 -x2190 -x2141 -x2092 -x2043 -x1994 -x1945 -x1896 -x1847 -x1798 -x1749 -x1700 -x7532 -x12482 -x7484 -x12433 -x7436 -x12384 -x7388 -x12335 -x7340 -x12286 -x7292 -x12237 -x7244 -x12188 -x7196 -x12139 -x7148 -x12090 -x7100 -x12041 -x7052 -x11992 -x7004 -x11943 -x6956 -x11894 -x6908 -x11845 -x6860 -x11796 -x6812 -x11747 -x6764 -x11698 -x6716 -x11649 -x6668 -x11600 -x5082 -x5033 -x4984 -x4935 -x4886 -x4837 -x4788 -x4739 -x4690 -x4641 -x4592 -x4543 -x4494 -x4445 -x4396 -x4347 -x4298 -x4249 -x4200 -x9982 -x14982 -x9934 -x14933 -x9886 -x14884 -x9838 -x14835 -x9790 -x14786 -x9742 -x14737 -x9694 -x14688 -x9646 -x14639 -x9598 -x14590 -x9550 -x14541 -x9502 -x14492 -x9454 -x14443 -x9406 -x14394 -x9358 -x14345 -x9310 -x14296 -x9262 -x14247 -x9214 -x14198 -x9166 -x14149 -x9118 -x14100 -x2583 -x2534 -x2485 -x2436 -x2387 -x2338 -x2289 -x2240 -x2191 -x2142 -x2093 -x2044 -x1995 -x1946 -x1897 -x1848 -x1799 -x1750 -x7533 -x12483 -x7485 -x12434 -x7437 -x12385 -x7389 -x12336 -x7341 -x12287 -x7293 -x12238 -x7245 -x12189 -x7197 -x12140 -x7149 -x12091 -x7101 -x12042 -x7053 -x11993 -x7005 -x11944 -x6957 -x11895 -x6909 -x11846 -x6861 -x11797 -x6813 -x11748 -x6765 -x11699 -x6717 -x11650 -x5083 -x5034 -x4985 -x4936 -x4887 -x4838 -x4789 -x4740 -x4691 -x4642 -x4593 -x4544 -x4495 -x4446 -x4397 -x4348 -x4299 -x4250 -x9983 -x14983 -x9935 -x14934 -x9887 -x14885 -x9839 -x14836 -x9791 -x14787 -x9743 -x14738 -x9695 -x14689 -x9647 -x14640 -x9599 -x14591 -x9551 -x14542 -x9503 -x14493 -x9455 -x14444 -x9407 -x14395 -x9359 -x14346 -x9311 -x14297 -x9263 -x14248 -x9215 -x14199 -x9167 -x14150 -x2584 -x2535 -x2486 -x2437 -x2388 -x2339 -x2290 -x2241 -x2192 -x2143 -x2094 -x2045 -x1996 -x1947 -x1898 -x1849 -x1800 -x7534 -x12484 -x7486 -x12435 -x7438 -x12386 -x7390 -x12337 -x7342 -x12288 -x7294 -x12239 -x7246 -x12190 -x7198 -x12141 -x7150 -x12092 -x7102 -x12043 -x7054 -x11994 -x7006 -x11945 -x6958 -x11896 -x6910 -x11847 -x6862 -x11798 -x6814 -x11749 -x6766 -x11700 -x5084 -x5035 -x4986 -x4937 -x4888 -x4839 -x4790 -x4741 -x4692 -x4643 -x4594 -x4545 -x4496 -x4447 -x4398 -x4349 -x4300 -x9984 -x14984 -x9936 -x14935 -x9888 -x14886 -x9840 -x14837 -x9792 -x14788 -x9744 -x14739 -x9696 -x14690 -x9648 -x14641 -x9600 -x14592 -x9552 -x14543 -x9504 -x14494 -x9456 -x14445 -x9408 -x14396 -x9360 -x14347 -x9312 -x14298 -x9264 -x14249 -x9216 -x14200 -x2585 -x2536 -x2487 -x2438 -x2389 -x2340 -x2291 -x2242 -x2193 -x2144 -x2095 -x2046 -x1997 -x1948 -x1899 -x1850 -x7535 -x12485 -x7487 -x12436 -x7439 -x12387 -x7391 -x12338 -x7343 -x12289 -x7295 -x12240 -x7247 -x12191 -x7199 -x12142 -x7151 -x12093 -x7103 -x12044 -x7055 -x11995 -x7007 -x11946 -x6959 -x11897 -x6911 -x11848 -x6863 -x11799 -x6815 -x11750 -x5085 -x5036 -x4987 -x4938 -x4889 -x4840 -x4791 -x4742 -x4693 -x4644 -x4595 -x4546 -x4497 -x4448 -x4399 -x4350 -x9985 -x14985 -x9937 -x14936 -x9889 -x14887 -x9841 -x14838 -x9793 -x14789 -x9745 -x14740 -x9697 -x14691 -x9649 -x14642 -x9601 -x14593 -x9553 -x14544 -x9505 -x14495 -x9457 -x14446 -x9409 -x14397 -x9361 -x14348 -x9313 -x14299 -x9265 -x14250 -x2586 -x2537 -x2488 -x2439 -x2390 -x2341 -x2292 -x2243 -x2194 -x2145 -x2096 -x2047 -x1998 -x1949 -x1900 -x7536 -x12486 -x7488 -x12437 -x7440 -x12388 -x7392 -x12339 -x7344 -x12290 -x7296 -x12241 -x7248 -x12192 -x7200 -x12143 -x7152 -x12094 -x7104 -x12045 -x7056 -x11996 -x7008 -x11947 -x6960 -x11898 -x6912 -x11849 -x6864 -x11800 -x5086 -x5037 -x4988 -x4939 -x4890 -x4841 -x4792 -x4743 -x4694 -x4645 -x4596 -x4547 -x4498 -x4449 -x4400 -x9986 -x14986 -x9938 -x14937 -x9890 -x14888 -x9842 -x14839 -x9794 -x14790 -x9746 -x14741 -x9698 -x14692 -x9650 -x14643 -x9602 -x14594 -x9554 -x14545 -x9506 -x14496 -x9458 -x14447 -x9410 -x14398 -x9362 -x14349 -x9314 -x14300 -x2587 -x2538 -x2489 -x2440 -x2391 -x2342 -x2293 -x2244 -x2195 -x2146 -x2097 -x2048 -x1999 -x1950 -x7537 -x12487 -x7489 -x12438 -x7441 -x12389 -x7393 -x12340 -x7345 -x12291 -x7297 -x12242 -x7249 -x12193 -x7201 -x12144 -x7153 -x12095 -x7105 -x12046 -x7057 -x11997 -x7009 -x11948 -x6961 -x11899 -x6913 -x11850 -x5087 -x5038 -x4989 -x4940 -x4891 -x4842 -x4793 -x4744 -x4695 -x4646 -x4597 -x4548 -x4499 -x4450 -x9987 -x14987 -x9939 -x14938 -x9891 -x14889 -x9843 -x14840 -x9795 -x14791 -x9747 -x14742 -x9699 -x14693 -x9651 -x14644 -x9603 -x14595 -x9555 -x14546 -x9507 -x14497 -x9459 -x14448 -x9411 -x14399 -x9363 -x14350 -x2588 -x2539 -x2490 -x2441 -x2392 -x2343 -x2294 -x2245 -x2196 -x2147 -x2098 -x2049 -x2000 -x7538 -x12488 -x7490 -x12439 -x7442 -x12390 -x7394 -x12341 -x7346 -x12292 -x7298 -x12243 -x7250 -x12194 -x7202 -x12145 -x7154 -x12096 -x7106 -x12047 -x7058 -x11998 -x7010 -x11949 -x6962 -x11900 -x5088 -x5039 -x4990 -x4941 -x4892 -x4843 -x4794 -x4745 -x4696 -x4647 -x4598 -x4549 -x4500 -x9988 -x14988 -x9940 -x14939 -x9892 -x14890 -x9844 -x14841 -x9796 -x14792 -x9748 -x14743 -x9700 -x14694 -x9652 -x14645 -x9604 -x14596 -x9556 -x14547 -x9508 -x14498 -x9460 -x14449 -x9412 -x14400 -x2589 -x2540 -x2491 -x2442 -x2393 -x2344 -x2295 -x2246 -x2197 -x2148 -x2099 -x2050 -x7539 -x12489 -x7491 -x12440 -x7443 -x12391 -x7395 -x12342 -x7347 -x12293 -x7299 -x12244 -x7251 -x12195 -x7203 -x12146 -x7155 -x12097 -x7107 -x12048 -x7059 -x11999 -x7011 -x11950 -x5089 -x5040 -x4991 -x4942 -x4893 -x4844 -x4795 -x4746 -x4697 -x4648 -x4599 -x4550 -x9989 -x14989 -x9941 -x14940 -x9893 -x14891 -x9845 -x14842 -x9797 -x14793 -x9749 -x14744 -x9701 -x14695 -x9653 -x14646 -x9605 -x14597 -x9557 -x14548 -x9509 -x14499 -x9461 -x14450 -x2590 -x2541 -x2492 -x2443 -x2394 -x2345 -x2296 -x2247 -x2198 -x2149 -x2100 -x7540 -x12490 -x7492 -x12441 -x7444 -x12392 -x7396 -x12343 -x7348 -x12294 -x7300 -x12245 -x7252 -x12196 -x7204 -x12147 -x7156 -x12098 -x7108 -x12049 -x7060 -x12000 -x5090 -x5041 -x4992 -x4943 -x4894 -x4845 -x4796 -x4747 -x4698 -x4649 -x4600 -x9990 -x14990 -x9942 -x14941 -x9894 -x14892 -x9846 -x14843 -x9798 -x14794 -x9750 -x14745 -x9702 -x14696 -x9654 -x14647 -x9606 -x14598 -x9558 -x14549 -x9510 -x14500 -x2591 -x2542 -x2493 -x2444 -x2395 -x2346 -x2297 -x2248 -x2199 -x2150 -x7541 -x12491 -x7493 -x12442 -x7445 -x12393 -x7397 -x12344 -x7349 -x12295 -x7301 -x12246 -x7253 -x12197 -x7205 -x12148 -x7157 -x12099 -x7109 -x12050 -x5091 -x5042 -x4993 -x4944 -x4895 -x4846 -x4797 -x4748 -x4699 -x4650 -x9991 -x14991 -x9943 -x14942 -x9895 -x14893 -x9847 -x14844 -x9799 -x14795 -x9751 -x14746 -x9703 -x14697 -x9655 -x14648 -x9607 -x14599 -x9559 -x14550 -x2592 -x2543 -x2494 -x2445 -x2396 -x2347 -x2298 -x2249 -x2200 -x7542 -x12492 -x7494 -x12443 -x7446 -x12394 -x7398 -x12345 -x7350 -x12296 -x7302 -x12247 -x7254 -x12198 -x7206 -x12149 -x7158 -x12100 -x5092 -x5043 -x4994 -x4945 -x4896 -x4847 -x4798 -x4749 -x4700 -x9992 -x14992 -x9944 -x14943 -x9896 -x14894 -x9848 -x14845 -x9800 -x14796 -x9752 -x14747 -x9704 -x14698 -x9656 -x14649 -x9608 -x14600 -x2593 -x2544 -x2495 -x2446 -x2397 -x2348 -x2299 -x2250 -x7543 -x12493 -x7495 -x12444 -x7447 -x12395 -x7399 -x12346 -x7351 -x12297 -x7303 -x12248 -x7255 -x12199 -x7207 -x12150 -x5093 -x5044 -x4995 -x4946 -x4897 -x4848 -x4799 -x4750 -x9993 -x14993 -x9945 -x14944 -x9897 -x14895 -x9849 -x14846 -x9801 -x14797 -x9753 -x14748 -x9705 -x14699 -x9657 -x14650 -x2594 -x2545 -x2496 -x2447 -x2398 -x2349 -x2300 -x7544 -x12494 -x7496 -x12445 -x7448 -x12396 -x7400 -x12347 -x7352 -x12298 -x7304 -x12249 -x7256 -x12200 -x5094 -x5045 -x4996 -x4947 -x4898 -x4849 -x4800 -x9994 -x14994 -x9946 -x14945 -x9898 -x14896 -x9850 -x14847 -x9802 -x14798 -x9754 -x14749 -x9706 -x14700 -x2595 -x2546 -x2497 -x2448 -x2399 -x2350 -x7545 -x12495 -x7497 -x12446 -x7449 -x12397 -x7401 -x12348 -x7353 -x12299 -x7305 -x12250 -x5095 -x5046 -x4997 -x4948 -x4899 -x4850 -x9995 -x14995 -x9947 -x14946 -x9899 -x14897 -x9851 -x14848 -x9803 -x14799 -x9755 -x14750 -x2596 -x2547 -x2498 -x2449 -x2400 -x7546 -x12496 -x7498 -x12447 -x7450 -x12398 -x7402 -x12349 -x7354 -x12300 -x5096 -x5047 -x4998 -x4949 -x4900 -x9996 -x14996 -x9948 -x14947 -x9900 -x14898 -x9852 -x14849 -x9804 -x14800 -x2597 -x2548 -x2499 -x2450 -x7547 -x12497 -x7499 -x12448 -x7451 -x12399 -x7403 -x12350 -x5097 -x5048 -x4999 -x4950 -x9997 -x14997 -x9949 -x14948 -x9901 -x14899 -x9853 -x14850 -x2598 -x2549 -x2500 -x7548 -x12498 -x7500 -x12449 -x7452 -x12400 -x5098 -x5049 -x5000 -x9998 -x14998 -x9950 -x14949 -x9902 -x14900 -x2599 -x2550 -x7549 -x12499 -x7501 -x12450 -x5099 -x5050 -x9999 -x14999 -x9951 -x14950 -x2600 -x7550 -x12500 -x5100 -x10000 -x15000
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: 63665 MiB (62692 MiB free)
memory of node 1: 64507 MiB (63964 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519205-1751544246/watcher-4519205-1751544246 -o /tmp/evaluation-result-4519205-1751544246/solver-4519205-1751544246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751544246-83690 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4519205-1751544246.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83735, runsolver pid=83729
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 0.34 1.01 2.12 1/270 83764
/proc/meminfo: memFree=129689032/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=20336 memory=14208 CPUtime=0.02 cores=4,6
/proc/83762/stat : 83762 (python3) D 83735 83735 83653 0 -1 4194304 1881 0 4 0 1 1 0 0 20 0 1 0 70104882 20824064 3552 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 5084 3552 1984 1 0 1838 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 24528 KiB
Current children cumulated memory: 17152 KiB
[startup+0.205849 s]*
/proc/loadavg: 0.34 1.01 2.12 2/270 83764
/proc/meminfo: memFree=129688308/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=23600 memory=14208 CPUtime=0.02 cores=4,6
/proc/83762/stat : 83762 (python3) D 83735 83735 83653 0 -1 4456448 1883 0 6 0 1 1 0 0 20 0 1 0 70104882 24166400 3552 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 5900 3552 1984 1 0 1897 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 27792 KiB
Current children cumulated memory: 17152 KiB
[startup+0.305226 s]*
/proc/loadavg: 0.34 1.01 2.12 1/270 83764
/proc/meminfo: memFree=129687816/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=45028 memory=14464 CPUtime=0.02 cores=4,6
/proc/83762/stat : 83762 (python3) D 83735 83735 83653 0 -1 4194304 1897 0 8 0 1 1 0 0 20 0 1 0 70104882 46108672 3616 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 2 1 0 0 17 6 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 11257 3616 2016 1 0 3405 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 49220 KiB
Current children cumulated memory: 17408 KiB
[startup+0.700301 s]
/proc/loadavg: 0.34 1.01 2.12 1/270 83764
/proc/meminfo: memFree=129685552/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=64084 memory=22144 CPUtime=0.04 cores=4,6
/proc/83762/stat : 83762 (python3) D 83735 83735 83653 0 -1 4194304 2751 0 63 0 3 1 0 0 20 0 1 0 70104882 65622016 5536 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 16021 5536 3200 1 0 3860 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 68276 KiB
Current children cumulated memory: 25088 KiB
[startup+1.50021 s]
/proc/loadavg: 0.34 1.01 2.12 1/273 83767
/proc/meminfo: memFree=129676340/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1194208 memory=38108 CPUtime=0.12 cores=4,6
/proc/83762/stat : 83762 (python3) D 83735 83735 83653 0 -1 4194304 4868 0 106 0 9 3 0 0 20 0 1 0 70104882 1222868992 9527 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 298552 9527 5373 1 0 269910 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 1198400 KiB
Current children cumulated memory: 41052 KiB
[startup+3.10564 s]
/proc/loadavg: 0.63 1.06 2.13 3/267 83825
/proc/meminfo: memFree=129244300/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131104 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32776 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32776 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=64168 memory=61120 CPUtime=1.09 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 14031 0 0 0 105 4 0 0 20 0 1 0 70105076 65708032 15280 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 16042 15280 608 696 0 15203 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 1369028 KiB
Current children cumulated memory: 195168 KiB
heavy processes:
[startup+6.3002 s]
/proc/loadavg: 0.63 1.06 2.13 5/275 83867
/proc/meminfo: memFree=125804032/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131104 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32776 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32776 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=64896 memory=63316 CPUtime=4.27 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 16822 0 0 0 422 5 0 0 20 0 1 0 70105076 66453504 15829 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 16224 15829 608 696 0 15385 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 1369756 KiB
Current children cumulated memory: 197364 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 1.23 1.17 2.16 5/275 83868
/proc/meminfo: memFree=121035236/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131104 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32776 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32776 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=64896 memory=63396 CPUtime=10.65 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 17680 0 0 0 1060 5 0 0 20 0 1 0 70105076 66453504 15849 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 16224 15849 608 696 0 15385 0
Current children cumulated CPU time: 11.1 s
Current children cumulated vsize: 1369756 KiB
Current children cumulated memory: 197444 KiB
[startup+25.5002 s]
/proc/loadavg: 1.66 1.26 2.18 5/275 83868
/proc/meminfo: memFree=119038816/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131104 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32776 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32776 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=58392 memory=56892 CPUtime=23.42 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 18667 0 0 0 2337 5 0 0 20 0 1 0 70105076 59793408 14223 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 14598 14223 608 696 0 13759 0
Current children cumulated CPU time: 23.87 s
Current children cumulated vsize: 1363252 KiB
Current children cumulated memory: 190940 KiB
[startup+51.1056 s]
/proc/loadavg: 2.46 1.48 2.23 5/275 83868
/proc/meminfo: memFree=117768512/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131104 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32776 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32776 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=71800 memory=70264 CPUtime=48.95 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 19464 0 0 0 4890 5 0 0 20 0 1 0 70105076 73523200 17566 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 17950 17566 608 696 0 17111 0
Current children cumulated CPU time: 49.4 s
Current children cumulated vsize: 1376660 KiB
Current children cumulated memory: 204312 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 1.94 2.34 5/275 83870
/proc/meminfo: memFree=118643708/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131104 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32776 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32776 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=67500 memory=65964 CPUtime=100.02 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 21556 0 0 0 9995 7 0 0 20 0 1 0 70105076 69120000 16491 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 16875 16491 608 696 0 16036 0
Current children cumulated CPU time: 100.47 s
Current children cumulated vsize: 1372360 KiB
Current children cumulated memory: 200012 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.33 2.45 5/274 83872
/proc/meminfo: memFree=117971880/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
################
# More data... #
################
[pid=83785] ppid=83762 vsize=123984 memory=122488 CPUtime=3210.43 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 61497 0 0 0 321010 33 0 0 20 0 1 0 70105076 126959616 30622 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 30996 30622 608 696 0 30157 0
Current children cumulated CPU time: 3210.88 s
Current children cumulated vsize: 1428844 KiB
Current children cumulated memory: 257176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/271 84071
/proc/meminfo: memFree=113764520/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131744 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32936 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32936 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=127136 memory=125696 CPUtime=3270.24 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 61815 0 0 0 326990 34 0 0 20 0 1 0 70105076 130187264 31424 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 31784 31424 608 696 0 30945 0
Current children cumulated CPU time: 3270.69 s
Current children cumulated vsize: 1431996 KiB
Current children cumulated memory: 260384 KiB
[startup+3342.3 s]
/proc/loadavg: 4.31 4.19 4.11 5/272 84074
/proc/meminfo: memFree=113350704/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131744 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32936 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32936 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=126884 memory=125444 CPUtime=3330.05 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 62581 0 0 0 332969 36 0 0 20 0 1 0 70105076 129929216 31361 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 31721 31361 608 696 0 30882 0
Current children cumulated CPU time: 3330.5 s
Current children cumulated vsize: 1431744 KiB
Current children cumulated memory: 260132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/272 84076
/proc/meminfo: memFree=113244224/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131744 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32936 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32936 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=126796 memory=125352 CPUtime=3389.86 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 62813 0 0 0 338950 36 0 0 20 0 1 0 70105076 129839104 31338 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 31699 31338 608 696 0 30860 0
Current children cumulated CPU time: 3390.31 s
Current children cumulated vsize: 1431656 KiB
Current children cumulated memory: 260040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/272 84089
/proc/meminfo: memFree=113175384/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131744 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32936 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32936 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=129840 memory=128400 CPUtime=3449.66 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 63296 0 0 0 344930 36 0 0 20 0 1 0 70105076 132956160 32100 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 32460 32100 608 696 0 31621 0
Current children cumulated CPU time: 3450.11 s
Current children cumulated vsize: 1434700 KiB
Current children cumulated memory: 263088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/272 84095
/proc/meminfo: memFree=113152788/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131744 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32936 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32936 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=143672 memory=142300 CPUtime=3509.46 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 65550 0 0 0 350908 38 0 0 20 0 1 0 70105076 147120128 35575 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 35918 35575 608 696 0 35079 0
Current children cumulated CPU time: 3509.91 s
Current children cumulated vsize: 1448532 KiB
Current children cumulated memory: 276988 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/272 84097
/proc/meminfo: memFree=113176928/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131744 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32936 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32936 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=144896 memory=143444 CPUtime=3569.27 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 66232 0 0 0 356888 39 0 0 20 0 1 0 70105076 148373504 35861 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 36224 35861 608 696 0 35385 0
Current children cumulated CPU time: 3569.72 s
Current children cumulated vsize: 1449756 KiB
Current children cumulated memory: 278132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 4.10 4.14 4.09 5/272 84101
/proc/meminfo: memFree=113064848/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131744 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32936 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32936 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=183280 memory=181872 CPUtime=3599.57 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 66631 0 0 0 359916 41 0 0 20 0 1 0 70105076 187678720 45468 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 45820 45468 608 696 0 44981 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1488140 KiB
Current children cumulated memory: 316560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.72 s]
# the end of solver process 83735 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000383 s, system=0.006256 s
[startup+3612.77 s]
# the end of solver process 83762 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.6 s, system=0.519549 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 4.10 4.14 4.09 5/272 84101
/proc/meminfo: memFree=113064848/131250000 swapFree=33008100/33010684
[pid=83735] ppid=83729 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83735/stat : 83735 (scip-naps-1.00.) S 83729 83735 83653 0 -1 4194304 256 343 0 1 0 0 0 0 20 0 1 0 70104877 4292608 736 18446744073709551615 94881701208064 94881702102597 140737431220304 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94881702341648 94881702389392 94881717141504 140737431222689 140737431222786 140737431222786 140737431228388 0
/proc/83735/statm: 1048 736 672 219 0 110 0
[pid=83762] ppid=83735 vsize=1300668 memory=131744 CPUtime=0.45 cores=4,6
/proc/83762/stat : 83762 (python3) S 83735 83735 83653 0 -1 4194304 27033 0 202 0 37 8 0 0 20 0 1 0 70104882 1331884032 32936 18446744073709551615 93865260003328 93865260003705 140736001380224 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93865260015000 93865260015620 93865275289600 140736001386855 140736001387042 140736001387042 140736001392615 0
/proc/83762/statm: 325167 32936 7741 1 0 296525 0
[pid=83785] ppid=83762 vsize=183280 memory=181872 CPUtime=3599.57 cores=4,6
/proc/83785/stat : 83785 (naps-1.03a6) R 83762 83785 83785 0 -1 4194304 66631 0 0 0 359916 41 0 0 20 0 1 0 70105076 187678720 45468 18446744073709551615 4198400 7047149 140728225432384 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32493568 140728225433985 140728225434099 140728225434099 140728225439689 0
/proc/83785/statm: 45820 45468 608 696 0 44981 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1488140 KiB
Current children cumulated memory: 316560 KiB
Child status: 0
Real time (s): 3612.77
CPU time (s): 3600.12
CPU user time (s): 3599.6
CPU system time (s): 0.519549
CPU usage (%): 99.6497
Max. virtual memory (cumulated for all children) (KiB): 1488140
Max. memory (cumulated for all children) (KiB): 316560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.519549
maximum resident set size= 184720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112207
page faults= 204
swaps= 0
block input operations= 27832
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1085
involuntary context switches= 1777
# summary of solver processes directly reported to runsolver:
# pid: 83735,83762
# total CPU time (s): 3600.12
# total CPU user time (s): 3599.6
# total CPU system time (s): 0.519549
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67432 second user time and 16.716 second system time
The end
Begin job on nodeC013 at 2025-07-03 14:04:06
IDJOB=4519205
IDBENCH=177185
IDSOLVER=3368
FILE ID=nodeC013/4519205-1751544246
RUNJOBID= nodeC013-1751544246-83690
SLURM_JOB_ID= 9598713
Free space on /tmp= 432636 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519205-1751544246/watcher-4519205-1751544246 -o /tmp/evaluation-result-4519205-1751544246/solver-4519205-1751544246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751544246-83690 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4519205-1751544246.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1dc1bfd723a572791c0842725d28eb02
RANDOM SEED=312986146
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.712
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3586.501
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3626.463
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.459
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.111
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.601
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129698952 kB
MemAvailable: 129757848 kB
Buffers: 1668 kB
Cached: 853564 kB
SwapCached: 2012 kB
Active: 384412 kB
Inactive: 539988 kB
Active(anon): 62800 kB
Inactive(anon): 17632 kB
Active(file): 321612 kB
Inactive(file): 522356 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008100 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23328 kB
Writeback: 0 kB
AnonPages: 69960 kB
Mapped: 99428 kB
Shmem: 11264 kB
KReclaimable: 107936 kB
Slab: 196932 kB
SReclaimable: 107936 kB
SUnreclaim: 88996 kB
KernelStack: 4068 kB
PageTables: 2552 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 316812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432556 MiB
End job on nodeC013 at 2025-07-03 15:04:19