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

OK	3608846

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: 63968 MiB (60741 MiB free)
  memory of node 1: 64473 MiB (60145 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436519-1721140827/watcher-4436519-1721140827 -o /tmp/evaluation-result-4436519-1721140827/solver-4436519-1721140827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721140840-858614 --watchdog 3760 pb_picat HOME/instance-4436519-1721140827.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=858640, runsolver pid=858637
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 1.34 1.95 2.58 5/245 858641
/proc/meminfo: memFree=123705844/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2033608 memory=39340 CPUtime=0.09 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 744 0 0 0 9 0 0 0 20 0 1 0 166247683 2082414592 9835 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 508402 9835 1599 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 39340 KiB

[startup+0.20549 s]*
/proc/loadavg: 1.34 1.95 2.58 5/259 858674
/proc/meminfo: memFree=123649432/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2041424 memory=62660 CPUtime=0.2 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 945 0 0 0 19 1 0 0 20 0 1 0 166247683 2090418176 15665 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 510356 15665 1615 439 0 505785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 62660 KiB

[startup+0.305643 s]*
/proc/loadavg: 1.34 1.95 2.58 5/259 858674
/proc/meminfo: memFree=123527988/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2060804 memory=83656 CPUtime=0.3 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 4649 0 0 0 28 2 0 0 20 0 1 0 166247683 2110263296 20914 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 515201 20914 1739 439 0 510630 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2060804 KiB
Current children cumulated memory: 83656 KiB

[startup+0.700172 s]
/proc/loadavg: 1.34 1.95 2.58 5/259 858674
/proc/meminfo: memFree=123232452/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2080004 memory=93788 CPUtime=0.69 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 6485 0 0 0 64 5 0 0 20 0 1 0 166247683 2129924096 23447 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 520001 23447 1803 439 0 515430 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2080004 KiB
Current children cumulated memory: 93788 KiB

[startup+1.5002 s]
/proc/loadavg: 1.72 2.02 2.59 5/259 858674
/proc/meminfo: memFree=122945728/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2073540 memory=99452 CPUtime=1.49 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 13027 0 0 0 135 14 0 0 20 0 1 0 166247683 2123304960 24863 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 518385 24863 1803 439 0 513814 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2073540 KiB
Current children cumulated memory: 99452 KiB

[startup+3.10547 s]
/proc/loadavg: 1.72 2.02 2.59 5/259 858674
/proc/meminfo: memFree=121929388/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2106704 memory=128768 CPUtime=3.08 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 15621 0 0 0 292 16 0 0 20 0 1 0 166247683 2157264896 32192 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 526676 32192 1803 439 0 522105 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2106704 KiB
Current children cumulated memory: 128768 KiB

[startup+6.30015 s]
/proc/loadavg: 1.90 2.05 2.60 5/259 858676
/proc/meminfo: memFree=120578668/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2106704 memory=128284 CPUtime=6.27 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 19399 0 0 0 610 17 0 0 20 0 1 0 166247683 2157264896 32071 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 526676 32071 1803 439 0 522105 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2106704 KiB
Current children cumulated memory: 128284 KiB

[startup+12.7002 s]
/proc/loadavg: 2.07 2.09 2.61 5/259 858676
/proc/meminfo: memFree=116839424/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2106704 memory=128280 CPUtime=12.65 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 26150 0 0 0 1246 19 0 0 20 0 1 0 166247683 2157264896 32070 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 526676 32070 1803 439 0 522105 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2106704 KiB
Current children cumulated memory: 128280 KiB

[startup+25.5002 s]
/proc/loadavg: 2.44 2.17 2.63 5/258 858677
/proc/meminfo: memFree=114751664/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2090512 memory=112476 CPUtime=25.41 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 40839 0 0 0 2509 32 0 0 20 0 1 0 166247683 2140684288 28119 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 522628 28119 1803 439 0 518057 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2090512 KiB
Current children cumulated memory: 112476 KiB

[startup+51.1056 s]
/proc/loadavg: 3.06 2.34 2.68 5/258 858682
/proc/meminfo: memFree=114143864/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2106896 memory=122312 CPUtime=50.93 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 42836 0 0 0 5056 37 0 0 20 0 1 0 166247683 2157461504 30578 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 526724 30578 1803 439 0 522153 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2106896 KiB
Current children cumulated memory: 122312 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.62 2.75 5/258 858690
/proc/meminfo: memFree=114913308/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2091172 memory=114364 CPUtime=101.96 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 45756 0 0 0 10154 42 0 0 20 0 1 0 166247683 2141360128 28591 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 522793 28591 1803 439 0 518222 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2091172 KiB
Current children cumulated memory: 114364 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.88 2.84 5/258 858702
/proc/meminfo: memFree=114224124/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2105508 memory=125828 CPUtime=161.78 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 54747 0 0 0 16119 59 0 0 20 0 1 0 166247683 2156040192 31457 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 526377 31457 1803 439 0 521806 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2105508 KiB
Current children cumulated memory: 125828 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.11 2.92 5/255 858712
/proc/meminfo: memFree=114261292/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2091172 memory=110032 CPUtime=221.59 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 57564 0 0 0 22094 65 0 0 20 0 1 0 166247683 2141360128 27508 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 522793 27508 1803 439 0 518222 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 2091172 KiB
Current children cumulated memory: 110032 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.30 3.00 5/254 858722
/proc/meminfo: memFree=114160816/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=126424 CPUtime=281.42 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 63772 0 0 0 28068 74 0 0 20 0 1 0 166247683 2149748736 31606 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 31606 1803 439 0 520270 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 126424 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.45 3.07 5/254 858734
/proc/meminfo: memFree=114138484/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=124904 CPUtime=341.26 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 66894 0 0 0 34046 80 0 0 20 0 1 0 166247683 2149748736 31226 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 31226 1803 439 0 520270 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 124904 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.57 3.14 5/254 858744
/proc/meminfo: memFree=114250016/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2113700 memory=133916 CPUtime=401.11 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 70538 0 0 0 40025 86 0 0 20 0 1 0 166247683 2164428800 33479 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 528425 33479 1803 439 0 523854 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 2113700 KiB
Current children cumulated memory: 133916 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.68 3.20 5/254 858754
/proc/meminfo: memFree=114209784/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2097316 memory=124840 CPUtime=460.95 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 74043 0 0 0 46004 91 0 0 20 0 1 0 166247683 2147651584 31210 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524329 31210 1803 439 0 519758 0

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

/proc/loadavg: 4.07 3.82 3.32 5/257 858780
/proc/meminfo: memFree=114196432/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2097316 memory=129036 CPUtime=580.64 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 77450 0 0 0 57967 97 0 0 20 0 1 0 166247683 2147651584 32259 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524329 32259 1803 439 0 519758 0
Current children cumulated CPU time: 580.64 s
Current children cumulated vsize: 2097316 KiB
Current children cumulated memory: 129036 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 3.87 3.37 5/257 858792
/proc/meminfo: memFree=114368884/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2113700 memory=136232 CPUtime=640.48 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 81159 0 0 0 63946 102 0 0 20 0 1 0 166247683 2164428800 34058 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 528425 34058 1803 439 0 523854 0
Current children cumulated CPU time: 640.48 s
Current children cumulated vsize: 2113700 KiB
Current children cumulated memory: 136232 KiB

[startup+702.3 s]
/proc/loadavg: 4.07 3.91 3.41 5/257 858802
/proc/meminfo: memFree=114398612/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=128984 CPUtime=700.33 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 85101 0 0 0 69925 108 0 0 20 0 1 0 166247683 2149748736 32246 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 32246 1803 439 0 520270 0
Current children cumulated CPU time: 700.33 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 128984 KiB

[startup+762.3 s]
/proc/loadavg: 4.12 3.96 3.46 5/257 858813
/proc/meminfo: memFree=114218060/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=126992 CPUtime=760.17 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 88512 0 0 0 75904 113 0 0 20 0 1 0 166247683 2149748736 31748 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 31748 1803 439 0 520270 0
Current children cumulated CPU time: 760.17 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 126992 KiB

[startup+822.3 s]
/proc/loadavg: 4.04 3.97 3.50 5/257 858824
/proc/meminfo: memFree=114309576/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=124468 CPUtime=820.01 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 95228 0 0 0 81878 123 0 0 20 0 1 0 166247683 2149748736 31117 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 31117 1803 439 0 520270 0
Current children cumulated CPU time: 820.01 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 124468 KiB

[startup+882.3 s]
/proc/loadavg: 4.12 4.01 3.55 5/258 859218
/proc/meminfo: memFree=114118476/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=124676 CPUtime=879.86 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 98660 0 0 0 87857 129 0 0 20 0 1 0 166247683 2149748736 31169 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 31169 1803 439 0 520270 0
Current children cumulated CPU time: 879.86 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 124676 KiB

[startup+942.3 s]
/proc/loadavg: 4.10 4.02 3.58 5/256 859228
/proc/meminfo: memFree=114056968/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=129032 CPUtime=939.7 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 98723 0 0 0 93841 129 0 0 20 0 1 0 166247683 2149748736 32258 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 32258 1803 439 0 520270 0
Current children cumulated CPU time: 939.7 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 129032 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.04 3.62 5/256 859238
/proc/meminfo: memFree=114066868/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=126992 CPUtime=999.54 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 102134 0 0 0 99820 134 0 0 20 0 1 0 166247683 2149748736 31748 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 31748 1803 439 0 520270 0
Current children cumulated CPU time: 999.54 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 126992 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.05 3.65 5/257 859418
/proc/meminfo: memFree=114040972/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=128980 CPUtime=1059.38 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 105538 0 0 0 105800 138 0 0 20 0 1 0 166247683 2149748736 32245 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 32245 1803 439 0 520270 0
Current children cumulated CPU time: 1059.38 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 128980 KiB

[startup+1122.3 s]
/proc/loadavg: 4.09 4.05 3.68 5/257 859428
/proc/meminfo: memFree=114063188/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=128980 CPUtime=1119.22 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 105538 0 0 0 111784 138 0 0 20 0 1 0 166247683 2149748736 32245 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 32245 1803 439 0 520270 0
Current children cumulated CPU time: 1119.22 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 128980 KiB

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

# cumulated CPU time of all completed processes:  user=1121.44 s, system=1.39538 s

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

[startup+1123.2 s]
/proc/loadavg: 4.09 4.05 3.68 5/257 859428
/proc/meminfo: memFree=114063244/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=128980 CPUtime=1120.11 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 105538 0 0 0 111873 138 0 0 20 0 1 0 166247683 2149748736 32245 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 32245 1803 439 0 520270 0
Current children cumulated CPU time: 1120.11 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 128980 KiB

[startup+1124.8 s]
/proc/loadavg: 4.09 4.05 3.68 5/257 859428
/proc/meminfo: memFree=114063244/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=128980 CPUtime=1121.71 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 105538 0 0 0 112033 138 0 0 20 0 1 0 166247683 2149748736 32245 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 32245 1803 439 0 520270 0
Current children cumulated CPU time: 1121.71 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 128980 KiB

[startup+1125.6 s]
/proc/loadavg: 4.09 4.05 3.68 5/257 859428
/proc/meminfo: memFree=114063244/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=128980 CPUtime=1122.51 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 105538 0 0 0 112113 138 0 0 20 0 1 0 166247683 2149748736 32245 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 32245 1803 439 0 520270 0
Current children cumulated CPU time: 1122.51 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 128980 KiB

[startup+1125.8 s]
/proc/loadavg: 4.09 4.05 3.68 5/257 859428
/proc/meminfo: memFree=114063244/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=128980 CPUtime=1122.71 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 105538 0 0 0 112133 138 0 0 20 0 1 0 166247683 2149748736 32245 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 32245 1803 439 0 520270 0
Current children cumulated CPU time: 1122.71 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 128980 KiB

[startup+1125.9 s]
/proc/loadavg: 4.09 4.05 3.68 5/257 859428
/proc/meminfo: memFree=114063244/131524600 swapFree=131071996/131071996
[pid=858640] ppid=858637 vsize=2099364 memory=128980 CPUtime=1122.81 cores=5,7
/proc/858640/stat : 858640 (pb_picat) R 858637 858640 858601 0 -1 4194304 105553 0 0 0 112143 138 0 0 20 0 1 0 166247683 2149748736 32245 134679101440 4194304 5989780 140728818931104 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 25694208 140728818934809 140728818934885 140728818934885 140728818941900 0
/proc/858640/statm: 524841 32245 1803 439 0 520270 0
Current children cumulated CPU time: 1122.81 s
Current children cumulated vsize: 2099364 KiB
Current children cumulated memory: 128980 KiB

Child status: 0

Real time (s): 1125.91
CPU time (s): 1122.83
CPU user time (s): 1121.44
CPU system time (s): 1.39538
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 2123120
Max. memory (cumulated for all children) (KiB): 136232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1121.44
system time used= 1.39538
maximum resident set size= 136232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105556
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 497


# summary of solver processes directly reported to runsolver:
#   pid: 858640
#   total CPU time (s): 1122.83
#   total CPU user time (s): 1121.44
#   total CPU system time (s): 1.39538

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.11004 second user time and 5.30564 second system time

The end

Begin job on nodeC023 at 2024-07-16 16:40:40
IDJOB=4436519
IDBENCH=155667
IDSOLVER=3068
FILE ID=nodeC023/4436519-1721140827
RUNJOBID= nodeC023-1721140840-858614
SLURM_JOB_ID= 7505722
Free space on /tmp= 890080 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_4_mh.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436519-1721140827/watcher-4436519-1721140827 -o /tmp/evaluation-result-4436519-1721140827/solver-4436519-1721140827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721140840-858614 --watchdog 3760  pb_picat HOME/instance-4436519-1721140827.opb

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

MD5SUM BENCH= 686c663e5ba65a1fad9d6294fae8a8ab
RANDOM SEED=1332254213

nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3618.221
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3357.408
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3615.174
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3660.308
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3565.306
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3582.225
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3469.825
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.61
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		: 3647.125
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123808656 kB
MemAvailable:   129619132 kB
Buffers:          437648 kB
Cached:          6138760 kB
SwapCached:            0 kB
Active:           777064 kB
Inactive:        6183232 kB
Active(anon):       1492 kB
Inactive(anon):   420112 kB
Active(file):     775572 kB
Inactive(file):  5763120 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14492 kB
Writeback:             8 kB
AnonPages:        384004 kB
Mapped:           104352 kB
Shmem:             37720 kB
KReclaimable:     223212 kB
Slab:             346512 kB
SReclaimable:     223212 kB
SUnreclaim:       123300 kB
KernelStack:        3904 kB
PageTables:         8760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     663356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      291540 kB
DirectMap2M:    36182016 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC023 at 2024-07-16 16:59:26