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

OK	9

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: 63931 MiB (62030 MiB free)
  memory of node 1: 64510 MiB (61760 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436410-1721111814/watcher-4436410-1721111814 -o /tmp/evaluation-result-4436410-1721111814/solver-4436410-1721111814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721104371-842009 --watchdog 3760 pb_picat HOME/instance-4436410-1721111814.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=846371, runsolver pid=846368
Current StackSize limit: 8192 KiB


[startup+0.100086 s]*
/proc/loadavg: 4.10 4.13 4.10 5/256 846372
/proc/meminfo: memFree=126728824/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2033608 memory=38940 CPUtime=0.09 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 667 0 0 0 9 0 0 0 20 0 1 0 163340593 2082414592 9735 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 508402 9735 1562 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 38940 KiB

[startup+0.205592 s]*
/proc/loadavg: 4.10 4.13 4.10 5/256 846372
/proc/meminfo: memFree=126701864/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2041424 memory=63516 CPUtime=0.19 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 708 0 0 0 19 0 0 0 20 0 1 0 163340593 2090418176 15879 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 510356 15879 1562 439 0 505785 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 63516 KiB

[startup+0.305583 s]*
/proc/loadavg: 4.10 4.13 4.10 5/256 846372
/proc/meminfo: memFree=126681244/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2041424 memory=81948 CPUtime=0.3 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 717 0 0 0 29 1 0 0 20 0 1 0 163340593 2090418176 20487 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 510356 20487 1562 439 0 505785 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 81948 KiB

[startup+0.700238 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 846372
/proc/meminfo: memFree=126615748/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2172004 memory=202008 CPUtime=0.69 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 4589 0 0 0 65 4 0 0 20 0 1 0 163340593 2224132096 50502 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 543001 50502 1722 439 0 538430 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2172004 KiB
Current children cumulated memory: 202008 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 846372
/proc/meminfo: memFree=126531080/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2237716 memory=247276 CPUtime=1.49 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 7776 0 0 0 141 8 0 0 20 0 1 0 163340593 2291421184 61819 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 559429 61819 1722 439 0 554858 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2237716 KiB
Current children cumulated memory: 247276 KiB

[startup+3.10567 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 846372
/proc/meminfo: memFree=126465548/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2284192 memory=286548 CPUtime=3.09 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 9482 0 0 0 289 20 0 0 20 0 1 0 163340593 2339012608 71637 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 571048 71637 1722 439 0 566477 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2284192 KiB
Current children cumulated memory: 286548 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 846372
/proc/meminfo: memFree=126413328/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2292788 memory=315724 CPUtime=6.27 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 11931 0 0 0 606 21 0 0 20 0 1 0 163340593 2347814912 78931 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 573197 78931 1738 439 0 568626 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2292788 KiB
Current children cumulated memory: 315724 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.10 5/256 846374
/proc/meminfo: memFree=126437860/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2319024 memory=302888 CPUtime=12.66 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 17155 0 0 0 1241 25 0 0 20 0 1 0 163340593 2374680576 75722 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 579756 75722 1738 439 0 575185 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2319024 KiB
Current children cumulated memory: 302888 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.10 5/256 846376
/proc/meminfo: memFree=126491196/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2322752 memory=308844 CPUtime=25.43 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 25088 0 0 0 2513 30 0 0 20 0 1 0 163340593 2378498048 77211 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 580688 77211 1738 439 0 576117 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2322752 KiB
Current children cumulated memory: 308844 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 846381
/proc/meminfo: memFree=126413584/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2322752 memory=313928 CPUtime=50.97 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 32207 0 0 0 5063 34 0 0 20 0 1 0 163340593 2378498048 78482 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 580688 78482 1738 439 0 576117 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2322752 KiB
Current children cumulated memory: 313928 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/255 846390
/proc/meminfo: memFree=126467112/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2322136 memory=334172 CPUtime=102.03 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 41547 0 0 0 10161 42 0 0 20 0 1 0 163340593 2377867264 83543 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 580534 83543 1738 439 0 575963 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2322136 KiB
Current children cumulated memory: 334172 KiB

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

# cumulated CPU time of all completed processes:  user=152.063 s, system=0.498859 s

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

[startup+102.4 s]
/proc/loadavg: 4.14 4.13 4.10 5/255 846390
/proc/meminfo: memFree=126467112/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2322136 memory=334172 CPUtime=102.13 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 41547 0 0 0 10171 42 0 0 20 0 1 0 163340593 2377867264 83543 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 580534 83543 1738 439 0 575963 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 2322136 KiB
Current children cumulated memory: 334172 KiB

[startup+128 s]*
/proc/loadavg: 4.09 4.12 4.09 5/255 846396
/proc/meminfo: memFree=126375248/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2289368 memory=297224 CPUtime=127.67 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 43977 0 0 0 12724 43 0 0 20 0 1 0 163340593 2344312832 74306 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 572342 74306 1738 439 0 567771 0
Current children cumulated CPU time: 127.67 s
Current children cumulated vsize: 2289368 KiB
Current children cumulated memory: 297224 KiB

[startup+140.8 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 846397
/proc/meminfo: memFree=126383456/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2256600 memory=285324 CPUtime=140.43 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 46915 0 0 0 13997 46 0 0 20 0 1 0 163340593 2310758400 71331 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 564150 71331 1738 439 0 559579 0
Current children cumulated CPU time: 140.43 s
Current children cumulated vsize: 2256600 KiB
Current children cumulated memory: 285324 KiB

[startup+147.2 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 846397
/proc/meminfo: memFree=126440916/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2322136 memory=329884 CPUtime=146.81 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 49317 0 0 0 14633 48 0 0 20 0 1 0 163340593 2377867264 82471 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 580534 82471 1738 439 0 575963 0
Current children cumulated CPU time: 146.81 s
Current children cumulated vsize: 2322136 KiB
Current children cumulated memory: 329884 KiB

[startup+150.4 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 846399
/proc/meminfo: memFree=126482124/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2289368 memory=299280 CPUtime=150 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 49738 0 0 0 14952 48 0 0 20 0 1 0 163340593 2344312832 74820 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 572342 74820 1738 439 0 567771 0
Current children cumulated CPU time: 150 s
Current children cumulated vsize: 2289368 KiB
Current children cumulated memory: 299280 KiB

[startup+152 s]*
/proc/loadavg: 4.13 4.13 4.09 5/255 846399
/proc/meminfo: memFree=126453116/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2289368 memory=305424 CPUtime=151.6 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 49741 0 0 0 15112 48 0 0 20 0 1 0 163340593 2344312832 76356 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 572342 76356 1738 439 0 567771 0
Current children cumulated CPU time: 151.6 s
Current children cumulated vsize: 2289368 KiB
Current children cumulated memory: 305424 KiB

[startup+152.4 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 846399
/proc/meminfo: memFree=126453116/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2289368 memory=307472 CPUtime=152 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 49742 0 0 0 15152 48 0 0 20 0 1 0 163340593 2344312832 76868 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 572342 76868 1738 439 0 567771 0
Current children cumulated CPU time: 152 s
Current children cumulated vsize: 2289368 KiB
Current children cumulated memory: 307472 KiB

[startup+152.8 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 846399
/proc/meminfo: memFree=126453116/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2289368 memory=307472 CPUtime=152.39 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 49742 0 0 0 15191 48 0 0 20 0 1 0 163340593 2344312832 76868 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 572342 76868 1738 439 0 567771 0
Current children cumulated CPU time: 152.39 s
Current children cumulated vsize: 2289368 KiB
Current children cumulated memory: 307472 KiB

[startup+152.9 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 846399
/proc/meminfo: memFree=126453116/131524600 swapFree=130796312/131071996
[pid=846371] ppid=846368 vsize=2289368 memory=307472 CPUtime=152.49 cores=4,6
/proc/846371/stat : 846371 (pb_picat) R 846368 846371 841998 0 -1 4194304 49742 0 0 0 15201 48 0 0 20 0 1 0 163340593 2344312832 76868 134679101440 4194304 5989780 140721358774720 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33050624 140721358779417 140721358779493 140721358779493 140721358786508 0
/proc/846371/statm: 572342 76868 1738 439 0 567771 0
Current children cumulated CPU time: 152.49 s
Current children cumulated vsize: 2289368 KiB
Current children cumulated memory: 307472 KiB

Child status: 0

Real time (s): 152.952
CPU time (s): 152.561
CPU user time (s): 152.063
CPU system time (s): 0.498859
CPU usage (%): 99.7448
Max. virtual memory (cumulated for all children) (KiB): 2387672
Max. memory (cumulated for all children) (KiB): 368904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.063
system time used= 0.498859
maximum resident set size= 368904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49753
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= 4
involuntary context switches= 149


# summary of solver processes directly reported to runsolver:
#   pid: 846371
#   total CPU time (s): 152.561
#   total CPU user time (s): 152.063
#   total CPU system time (s): 0.498859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.255066 second user time and 0.784836 second system time

The end

Begin job on nodeC014 at 2024-07-16 08:37:07
IDJOB=4436410
IDBENCH=148773
IDSOLVER=3068
FILE ID=nodeC014/4436410-1721111814
RUNJOBID= nodeC014-1721104371-842009
SLURM_JOB_ID= 7505625
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436410-1721111814/watcher-4436410-1721111814 -o /tmp/evaluation-result-4436410-1721111814/solver-4436410-1721111814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721104371-842009 --watchdog 3760  pb_picat HOME/instance-4436410-1721111814.opb

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

MD5SUM BENCH= 8416d641e22e8376ddac92bbd41682d6
RANDOM SEED=1959460987

nodeC014.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		: 3655.691
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.32
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		: 3677.877
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.96
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		: 3613.988
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.32
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		: 3599.891
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.96
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		: 3624.852
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.32
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		: 3677.995
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.96
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		: 3659.033
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.32
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		: 3600.084
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126762328 kB
MemAvailable:   129478308 kB
Buffers:          337080 kB
Cached:          3185156 kB
SwapCached:        12816 kB
Active:          1057316 kB
Inactive:        3143084 kB
Active(anon):       9436 kB
Inactive(anon):   686780 kB
Active(file):    1047880 kB
Inactive(file):  2456304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130796312 kB
Dirty:              4428 kB
Writeback:             0 kB
AnonPages:        658576 kB
Mapped:            57072 kB
Shmem:             18004 kB
KReclaimable:     102888 kB
Slab:             195332 kB
SReclaimable:     102888 kB
SUnreclaim:        92444 kB
KernelStack:        4128 kB
PageTables:        11248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7228040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29024 kB
HardwareCorrupted:     0 kB
AnonHugePages:    452608 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:      191188 kB
DirectMap2M:    14262272 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC014 at 2024-07-16 08:39:40