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