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

OK	0

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: 64059 MiB (57107 MiB free)
  memory of node 1: 64510 MiB (59862 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441972-1721293846/watcher-4441972-1721293846 -o /tmp/evaluation-result-4441972-1721293846/solver-4441972-1721293846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721293773-946211 --watchdog 3760 pb_picat HOME/instance-4441972-1721293846.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=946979, runsolver pid=946976

[startup+0.100517 s]*
/proc/loadavg: 3.37 1.88 1.44 5/247 946980
/proc/meminfo: memFree=119759184/131655788 swapFree=131071996/131071996
[pid=946979] ppid=946976 vsize=2033608 memory=26532 CPUtime=0.1 cores=4,6
/proc/946979/stat : 946979 (pb_picat) R 946976 946979 946200 0 -1 4194304 702 0 0 0 10 0 0 0 20 0 1 0 181543343 2082414592 6633 134679101440 4194304 5989780 140730107739136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28590080 140730107741208 140730107741284 140730107741284 140730107748300 0
/proc/946979/statm: 508402 6633 1529 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 26532 KiB

[startup+0.213061 s]*
/proc/loadavg: 3.37 1.88 1.44 6/247 946980
/proc/meminfo: memFree=119746868/131655788 swapFree=131071996/131071996
[pid=946979] ppid=946976 vsize=2033608 memory=36772 CPUtime=0.22 cores=4,6
/proc/946979/stat : 946979 (pb_picat) R 946976 946979 946200 0 -1 4194304 708 0 0 0 21 1 0 0 20 0 1 0 181543343 2082414592 9193 134679101440 4194304 5989780 140730107739136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28590080 140730107741208 140730107741284 140730107741284 140730107748300 0
/proc/946979/statm: 508402 9193 1529 439 0 503831 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36772 KiB

[startup+0.313046 s]*
/proc/loadavg: 3.37 1.88 1.44 5/247 946980
/proc/meminfo: memFree=119783944/131655788 swapFree=131071996/131071996
[pid=946979] ppid=946976 vsize=2033608 memory=44964 CPUtime=0.31 cores=4,6
/proc/946979/stat : 946979 (pb_picat) R 946976 946979 946200 0 -1 4194304 712 0 0 0 30 1 0 0 20 0 1 0 181543343 2082414592 11241 134679101440 4194304 5989780 140730107739136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28590080 140730107741208 140730107741284 140730107741284 140730107748300 0
/proc/946979/statm: 508402 11241 1529 439 0 503831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 44964 KiB

[startup+0.700319 s]
/proc/loadavg: 3.37 1.88 1.44 6/247 946980
/proc/meminfo: memFree=119762520/131655788 swapFree=131071996/131071996
[pid=946979] ppid=946976 vsize=2041372 memory=80460 CPUtime=0.69 cores=4,6
/proc/946979/stat : 946979 (pb_picat) R 946976 946979 946200 0 -1 4194304 2421 0 0 0 66 3 0 0 20 0 1 0 181543343 2090364928 20115 134679101440 4194304 5989780 140730107739136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28590080 140730107741208 140730107741284 140730107741284 140730107748300 0
/proc/946979/statm: 510343 20115 1734 439 0 505772 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041372 KiB
Current children cumulated memory: 80460 KiB

[startup+1.50031 s]
/proc/loadavg: 3.37 1.88 1.44 5/247 946980
/proc/meminfo: memFree=119730648/131655788 swapFree=131071996/131071996
[pid=946979] ppid=946976 vsize=2044160 memory=83540 CPUtime=1.49 cores=4,6
/proc/946979/stat : 946979 (pb_picat) R 946976 946979 946200 0 -1 4194304 5267 0 0 0 145 4 0 0 20 0 1 0 181543343 2093219840 20885 134679101440 4194304 5989780 140730107739136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28590080 140730107741208 140730107741284 140730107741284 140730107748300 0
/proc/946979/statm: 511040 20885 1750 439 0 506469 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2044160 KiB
Current children cumulated memory: 83540 KiB

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

# cumulated CPU time of all completed processes:  user=1.53514 s, system=0.049727 s

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

[startup+1.50031 s]
/proc/loadavg: 3.37 1.88 1.44 5/247 946980
/proc/meminfo: memFree=119730648/131655788 swapFree=131071996/131071996
[pid=946979] ppid=946976 vsize=2044160 memory=83540 CPUtime=1.49 cores=4,6
/proc/946979/stat : 946979 (pb_picat) R 946976 946979 946200 0 -1 4194304 5267 0 0 0 145 4 0 0 20 0 1 0 181543343 2093219840 20885 134679101440 4194304 5989780 140730107739136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 28590080 140730107741208 140730107741284 140730107741284 140730107748300 0
/proc/946979/statm: 511040 20885 1750 439 0 506469 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2044160 KiB
Current children cumulated memory: 83540 KiB

Child status: 0

Real time (s): 1.59063
CPU time (s): 1.58487
CPU user time (s): 1.53514
CPU system time (s): 0.049727
CPU usage (%): 99.6377
Max. virtual memory (cumulated for all children) (KiB): 2045008
Max. memory (cumulated for all children) (KiB): 83984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.53514
system time used= 0.049727
maximum resident set size= 83984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5772
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= 3
involuntary context switches= 5


# summary of solver processes directly reported to runsolver:
#   pid: 946979
#   total CPU time (s): 1.58487
#   total CPU user time (s): 1.53514
#   total CPU system time (s): 0.049727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040185 second user time and 0.074049 second system time

The end

Begin job on nodeC006 at 2024-07-18 11:10:58
IDJOB=4441972
IDBENCH=147758
IDSOLVER=3068
FILE ID=nodeC006/4441972-1721293846
RUNJOBID= nodeC006-1721293773-946211
SLURM_JOB_ID= 7542603
Free space on /tmp= 723736 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441972-1721293846/watcher-4441972-1721293846 -o /tmp/evaluation-result-4441972-1721293846/solver-4441972-1721293846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721293773-946211 --watchdog 3760  pb_picat HOME/instance-4441972-1721293846.opb

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

MD5SUM BENCH= d1aade7dcf65cc3dbe16a05e614ec6ef
RANDOM SEED=1714177637

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3596.026
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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		: 3603.698
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
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.377
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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.345
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
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		: 3491.979
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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		: 3587.034
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
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.254
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
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.451
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119778236 kB
MemAvailable:   125935936 kB
Buffers:          477548 kB
Cached:          6442152 kB
SwapCached:            0 kB
Active:           951120 kB
Inactive:       10199828 kB
Active(anon):       1492 kB
Inactive(anon):  4267140 kB
Active(file):     949628 kB
Inactive(file):  5932688 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4760 kB
Writeback:             0 kB
AnonPages:       4224496 kB
Mapped:           115644 kB
Shmem:             37704 kB
KReclaimable:     230832 kB
Slab:             348824 kB
SReclaimable:     230832 kB
SUnreclaim:       117992 kB
KernelStack:        3932 kB
PageTables:        17420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9315032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57792 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3713024 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      310088 kB
DirectMap2M:    40488960 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723732 MiB
End job on nodeC006 at 2024-07-18 11:11:00