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