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