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

OK	8228

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: 63837 MiB (62809 MiB free)
  memory of node 1: 64465 MiB (63597 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528467-1752241857/watcher-4528467-1752241857 -o /tmp/evaluation-result-4528467-1752241857/solver-4528467-1752241857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752238236-108754 --watchdog 3760 pb_picat HOME/instance-4528467-1752241857.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=110085, runsolver pid=110082
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 4.12 4.11 4.09 4/249 110089
/proc/meminfo: memFree=129444476/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2027148 memory=23708 CPUtime=0.09 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 985 0 0 0 9 0 0 0 20 0 1 0 139864792 2075799552 5927 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 506787 5927 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 23708 KiB

[startup+0.213663 s]*
/proc/loadavg: 4.12 4.11 4.09 4/249 110101
/proc/meminfo: memFree=129435780/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2027148 memory=31916 CPUtime=0.21 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 993 0 0 0 20 1 0 0 20 0 1 0 139864792 2075799552 7979 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 506787 7979 1536 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 31916 KiB

[startup+0.313762 s]*
/proc/loadavg: 4.12 4.11 4.09 5/247 110106
/proc/meminfo: memFree=129423492/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2027148 memory=38068 CPUtime=0.31 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 997 0 0 0 30 1 0 0 20 0 1 0 139864792 2075799552 9517 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 506787 9517 1536 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38068 KiB

[startup+0.700341 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 110112
/proc/meminfo: memFree=129398236/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2036528 memory=67140 CPUtime=0.68 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 1498 0 0 0 66 2 0 0 20 0 1 0 139864792 2085404672 16785 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 509132 16785 1696 343 0 506196 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2036528 KiB
Current children cumulated memory: 67140 KiB

[startup+1.50034 s]
/proc/loadavg: 4.12 4.11 4.09 6/251 110117
/proc/meminfo: memFree=129334188/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2037212 memory=68044 CPUtime=1.48 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 9682 0 0 0 142 6 0 0 20 0 1 0 139864792 2086105088 17011 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 509303 17011 1696 343 0 506367 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2037212 KiB
Current children cumulated memory: 68044 KiB

[startup+3.11309 s]
/proc/loadavg: 4.11 4.11 4.09 6/251 110117
/proc/meminfo: memFree=129139628/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2046012 memory=75060 CPUtime=3.08 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 20982 0 0 0 299 9 0 0 20 0 1 0 139864792 2095116288 18765 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 511503 18765 1696 343 0 508567 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2046012 KiB
Current children cumulated memory: 75060 KiB

[startup+6.30032 s]
/proc/loadavg: 4.11 4.11 4.09 6/251 110117
/proc/meminfo: memFree=129126948/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2048572 memory=79204 CPUtime=6.26 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 27122 0 0 0 615 11 0 0 20 0 1 0 139864792 2097737728 19801 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 512143 19801 1696 343 0 509207 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2048572 KiB
Current children cumulated memory: 79204 KiB

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

# cumulated CPU time of all completed processes:  user=9.97775 s, system=0.140347 s

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

[startup+6.40035 s]
/proc/loadavg: 4.11 4.11 4.09 6/251 110117
/proc/meminfo: memFree=129126948/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2041916 memory=72044 CPUtime=6.36 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 28009 0 0 0 625 11 0 0 20 0 1 0 139864792 2090921984 18011 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 510479 18011 1696 343 0 507543 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2041916 KiB
Current children cumulated memory: 72044 KiB

[startup+8.0003 s]*
/proc/loadavg: 4.10 4.11 4.09 6/251 110117
/proc/meminfo: memFree=129114808/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2048572 memory=79204 CPUtime=7.97 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 30814 0 0 0 785 12 0 0 20 0 1 0 139864792 2097737728 19801 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 512143 19801 1696 343 0 509207 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 2048572 KiB
Current children cumulated memory: 79204 KiB

[startup+8.80029 s]
/proc/loadavg: 4.10 4.11 4.09 6/251 110117
/proc/meminfo: memFree=129114808/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2048572 memory=79204 CPUtime=8.76 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 32495 0 0 0 863 13 0 0 20 0 1 0 139864792 2097737728 19801 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 512143 19801 1696 343 0 509207 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 2048572 KiB
Current children cumulated memory: 79204 KiB

[startup+9.6003 s]
/proc/loadavg: 4.10 4.11 4.09 6/251 110117
/proc/meminfo: memFree=129127008/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2048572 memory=79204 CPUtime=9.55 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 34539 0 0 0 942 13 0 0 20 0 1 0 139864792 2097737728 19801 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 512143 19801 1696 343 0 509207 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 2048572 KiB
Current children cumulated memory: 79204 KiB

[startup+10.0003 s]*
/proc/loadavg: 4.10 4.11 4.09 6/251 110162
/proc/meminfo: memFree=129160804/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2048572 memory=79204 CPUtime=9.96 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 34539 0 0 0 983 13 0 0 20 0 1 0 139864792 2097737728 19801 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 512143 19801 1696 343 0 509207 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 2048572 KiB
Current children cumulated memory: 79204 KiB

[startup+10.1128 s]
/proc/loadavg: 4.10 4.11 4.09 6/251 110162
/proc/meminfo: memFree=129160804/131382120 swapFree=33010160/33010684
[pid=110085] ppid=110082 vsize=2048572 memory=79204 CPUtime=10.06 cores=0,2
/proc/110085/stat : 110085 (pb_picat) R 110082 110085 107429 0 -1 4194304 34539 0 0 0 993 13 0 0 20 0 1 0 139864792 2097737728 19801 18446744073709551615 93888276803584 93888278205165 140736956760336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93888278476592 93888280350832 93888288243712 140736956766620 140736956766696 140736956766696 140736956772300 0
/proc/110085/statm: 512143 19801 1696 343 0 509207 0
Current children cumulated CPU time: 10.06 s
Current children cumulated vsize: 2048572 KiB
Current children cumulated memory: 79204 KiB

Child status: 0

Real time (s): 10.156
CPU time (s): 10.1181
CPU user time (s): 9.97775
CPU system time (s): 0.140347
CPU usage (%): 99.6265
Max. virtual memory (cumulated for all children) (KiB): 2049500
Max. memory (cumulated for all children) (KiB): 79240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.97775
system time used= 0.140347
maximum resident set size= 79460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34544
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= 24


# summary of solver processes directly reported to runsolver:
#   pid: 110085
#   total CPU time (s): 10.1181
#   total CPU user time (s): 9.97775
#   total CPU system time (s): 0.140347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080151 second user time and 0.180572 second system time

The end

Begin job on nodeC008 at 2025-07-11 15:50:57
IDJOB=4528467
IDBENCH=151067
IDSOLVER=3385
FILE ID=nodeC008/4528467-1752241857
RUNJOBID= nodeC008-1752238236-108754
SLURM_JOB_ID= 9682519
Free space on /tmp= 432800 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528467-1752241857/watcher-4528467-1752241857 -o /tmp/evaluation-result-4528467-1752241857/solver-4528467-1752241857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752238236-108754 --watchdog 3760  pb_picat HOME/instance-4528467-1752241857.opb

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

MD5SUM BENCH= ea9ae9bea7028026739269ec7153cef0
RANDOM SEED=1245443941

nodeC008 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		: 1496.516
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.72
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		: 1197.199
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.72
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.477
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.72
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.248
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.72
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		: 3661.174
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.72
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		: 1494.627
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.72
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.720
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.72
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.207
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129448496 kB
MemAvailable:   129709824 kB
Buffers:            2128 kB
Cached:          1053424 kB
SwapCached:           16 kB
Active:           854112 kB
Inactive:         520436 kB
Active(anon):     303164 kB
Inactive(anon):    33752 kB
Active(file):     550948 kB
Inactive(file):   486684 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13996 kB
Writeback:             0 kB
AnonPages:        321708 kB
Mapped:           112072 kB
Shmem:             17920 kB
KReclaimable:     126644 kB
Slab:             213960 kB
SReclaimable:     126644 kB
SUnreclaim:        87316 kB
KernelStack:        4000 kB
PageTables:         3572 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4518956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432792 MiB
End job on nodeC008 at 2025-07-11 15:51:07