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