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