0.00/0.00 c NaPS 1.02b5.
0.00/0.00 c Input file name: HOME/instance-4443741-1721317468.opb
81.05/81.36 s SATISFIABLE
81.05/81.36 c _____________________________________________________________________________
81.05/81.36 c
81.05/81.36 c std/band forms : 5050,1
81.05/81.36 c 2cl/3cl ITE-codings : 53234,95598
81.05/81.36 c BDD/srt/adr Max costs : 97597,0,0
81.05/81.36 c BDDraw/bin/mul/srt/adr: 5051,0,0,0,0
81.05/81.36 c BDD nodes : 3259349
81.05/81.36 c Es1/CC detections : 0,0
81.05/81.36 c SAT/UNSAT calls : 1,0
81.05/81.36 c regenrated variables : 0
81.05/81.36 c restarts : 8
81.05/81.36 c conflicts : 1189 (15 /sec)
81.05/81.36 c decisions : 208008 (2571 /sec)
81.05/81.36 c propagations : 2322614 (28703 /sec)
81.05/81.36 c inspects : 0 (0 /sec)
81.05/81.36 c CPU time (solving tm) : 80.92 s (50.2 s)
81.05/81.36 c Time for Opt-base : 0 s
81.05/81.36 c _____________________________________________________________________________
81.05/81.36 v -x2 -x2501 -x3 -x2502 -x4 -x2503 -x5 -x2504 -x6 -x2505 -x8 -x2506 -x11 -x2507 -x12 -x2508 -x13 -x2509 -x15 -x2510 -x16 -x2511 -x17 -x2512 -x18 -x2513 -x19 -x2514 -x20 -x2515 -x21 -x2516 x22 -x2517 -x24 -x2518 -x25 -x2519 -x26 -x2520 -x29 -x2521 -x30 -x2522 -x31 -x2523 -x32 -x2524 -x33 -x2525 -x34 -x2526 -x35 -x2527 -x36 -x2528 -x37 -x2529 -x38 -x2530 -x40 -x2531 -x41 -x2532 -x43 -x2533 -x44 -x2534 -x45 -x2535 -x46 -x2536 -x47 -x2537 -x48 -x2538 -x49 -x2539 -x50 -x2540 -x1 -x2541 -x2542 -x2543 -x2544 -x2545 -x7 -x2546 -x2547 -x10 -x2548 -x2549 -x2550 -x2551 -x14 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x23 -x2560 -x2561 -x2562 -x27 -x2563 -x28 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x42 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x39 -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 -x9 -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
81.05/81.36 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
81.05/81.36 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: 63968 MiB (62516 MiB free)
memory of node 1: 64473 MiB (62848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443741-1721317468/watcher-4443741-1721317468 -o /tmp/evaluation-result-4443741-1721317468/solver-4443741-1721317468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721317481-967415 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443741-1721317468.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=967491, runsolver pid=967485
Current StackSize limit: 8192 KiB
[startup+0.100789 s]*
/proc/loadavg: 1.10 1.44 2.05 6/262 967496
/proc/meminfo: memFree=128367092/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=8504 memory=3868 CPUtime=0.09 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 625 0 0 0 9 0 0 0 20 0 1 0 183910703 8708096 967 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 2126 967 405 379 0 1660 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18436 KiB
Current children cumulated memory: 6532 KiB
[startup+0.204789 s]*
/proc/loadavg: 1.10 1.44 2.05 6/262 967496
/proc/meminfo: memFree=128356360/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=9880 memory=7416 CPUtime=0.19 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 1053 0 0 0 19 0 0 0 20 0 1 0 183910703 10117120 1854 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 2470 1854 405 379 0 2004 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 19812 KiB
Current children cumulated memory: 10080 KiB
[startup+0.304817 s]*
/proc/loadavg: 1.10 1.44 2.05 6/262 967496
/proc/meminfo: memFree=128349664/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=11112 memory=8696 CPUtime=0.28 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 1412 0 0 0 28 0 0 0 20 0 1 0 183910703 11378688 2174 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 2778 2174 405 379 0 2312 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 21044 KiB
Current children cumulated memory: 11360 KiB
[startup+0.700176 s]
/proc/loadavg: 1.10 1.44 2.05 6/262 967496
/proc/meminfo: memFree=128337536/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=16104 memory=13892 CPUtime=0.68 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 2869 0 0 0 67 1 0 0 20 0 1 0 183910703 16490496 3473 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 4026 3473 405 379 0 3560 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26036 KiB
Current children cumulated memory: 16556 KiB
[startup+1.50019 s]
/proc/loadavg: 1.33 1.48 2.06 6/262 967496
/proc/meminfo: memFree=128312952/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=27132 memory=24936 CPUtime=1.47 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 5449 0 0 0 146 1 0 0 20 0 1 0 183910703 27783168 6234 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 6783 6234 405 379 0 6317 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 37064 KiB
Current children cumulated memory: 27600 KiB
[startup+3.10543 s]
/proc/loadavg: 1.33 1.48 2.06 6/262 967496
/proc/meminfo: memFree=128198656/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=57284 memory=48228 CPUtime=3.08 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 10518 0 0 0 305 3 0 0 20 0 1 0 183910703 58658816 12057 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 14321 12057 405 379 0 13855 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67216 KiB
Current children cumulated memory: 50892 KiB
[startup+6.30016 s]
/proc/loadavg: 1.55 1.52 2.07 6/262 967498
/proc/meminfo: memFree=128026812/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=97324 memory=91328 CPUtime=6.27 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 17879 0 0 0 622 5 0 0 20 0 1 0 183910703 99659776 22832 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 24331 22832 405 379 0 23865 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107256 KiB
Current children cumulated memory: 93992 KiB
[startup+12.7003 s]
/proc/loadavg: 1.74 1.56 2.08 6/262 967498
/proc/meminfo: memFree=127702184/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=211192 memory=175632 CPUtime=12.65 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 28699 0 0 0 1256 9 0 0 20 0 1 0 183910703 216260608 43908 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 52798 43908 405 379 0 52332 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 221124 KiB
Current children cumulated memory: 178296 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.66 2.10 5/256 967515
/proc/meminfo: memFree=127802504/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=320656 memory=290092 CPUtime=25.41 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 52717 0 0 0 2526 15 0 0 20 0 1 0 183910703 328351744 72523 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 80164 72523 421 379 0 79698 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 330588 KiB
Current children cumulated memory: 292756 KiB
[startup+51.1058 s]
/proc/loadavg: 2.94 1.90 2.17 6/260 967655
/proc/meminfo: memFree=127457380/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=402912 CPUtime=50.93 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 73816 0 0 0 5074 19 0 0 20 0 1 0 183910703 467124224 100728 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 100728 421 379 0 113578 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 405576 KiB
[startup+81.3862 s]
# the end of solver process 967491 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=80.9261 s, system=0.214694 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 2.94 1.90 2.17 6/260 967655
/proc/meminfo: memFree=127457380/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=402912 CPUtime=51.03 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 73816 0 0 0 5084 19 0 0 20 0 1 0 183910703 467124224 100728 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 100728 421 379 0 113578 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 405576 KiB
[startup+64.0002 s]*
/proc/loadavg: 3.10 1.97 2.19 6/260 967658
/proc/meminfo: memFree=127427980/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=402912 CPUtime=63.79 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 73852 0 0 0 6360 19 0 0 20 0 1 0 183910703 467124224 100728 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 100728 421 379 0 113578 0
Current children cumulated CPU time: 63.79 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 405576 KiB
[startup+70.4002 s]
/proc/loadavg: 3.18 2.00 2.20 6/260 967658
/proc/meminfo: memFree=127385532/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=409524 CPUtime=70.17 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 74030 0 0 0 6998 19 0 0 20 0 1 0 183910703 467124224 102381 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 102381 421 379 0 113578 0
Current children cumulated CPU time: 70.17 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 412188 KiB
[startup+76.8002 s]
/proc/loadavg: 3.45 2.10 2.23 6/260 967659
/proc/meminfo: memFree=127353116/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=409524 CPUtime=76.56 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 74034 0 0 0 7636 20 0 0 20 0 1 0 183910703 467124224 102381 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 102381 421 379 0 113578 0
Current children cumulated CPU time: 76.56 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 412188 KiB
[startup+78.4002 s]
/proc/loadavg: 3.45 2.10 2.23 6/260 967659
/proc/meminfo: memFree=127336036/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=409524 CPUtime=78.15 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 74035 0 0 0 7795 20 0 0 20 0 1 0 183910703 467124224 102381 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 102381 421 379 0 113578 0
Current children cumulated CPU time: 78.15 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 412188 KiB
[startup+80.0003 s]*
/proc/loadavg: 3.45 2.10 2.23 5/257 967659
/proc/meminfo: memFree=127823128/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=409524 CPUtime=79.76 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 74035 0 0 0 7956 20 0 0 20 0 1 0 183910703 467124224 102381 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 102381 421 379 0 113578 0
Current children cumulated CPU time: 79.76 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 412188 KiB
[startup+80.8002 s]
/proc/loadavg: 3.45 2.10 2.23 5/257 967659
/proc/meminfo: memFree=127823128/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=409524 CPUtime=80.55 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 74035 0 0 0 8035 20 0 0 20 0 1 0 183910703 467124224 102381 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 102381 421 379 0 113578 0
Current children cumulated CPU time: 80.55 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 412188 KiB
[startup+81.2002 s]
/proc/loadavg: 3.50 2.14 2.24 5/257 967673
/proc/meminfo: memFree=127814788/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=409740 CPUtime=80.95 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 74044 0 0 0 8075 20 0 0 20 0 1 0 183910703 467124224 102435 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 102435 421 379 0 113578 0
Current children cumulated CPU time: 80.95 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 412404 KiB
[startup+81.3002 s]
/proc/loadavg: 3.50 2.14 2.24 5/257 967673
/proc/meminfo: memFree=127814788/131524600 swapFree=131071996/131071996
[pid=967491] ppid=967485 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/967491/stat : 967491 (naps-1.02b5.sh) S 967485 967491 967405 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183910703 10170368 666 134679101440 94501968666624 94501969745944 140736569909520 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94501971844400 94501971891588 94502004121600 140736569914335 140736569914462 140736569914462 140736569921478 0
/proc/967491/statm: 2483 666 587 264 0 134 0
[pid=967496] ppid=967491 vsize=456176 memory=409740 CPUtime=81.05 cores=0,2
/proc/967496/stat : 967496 (naps-1.02b5) R 967491 967491 967405 0 -1 4194304 74050 0 0 0 8085 20 0 0 20 0 1 0 183910703 467124224 102435 134679101440 4194304 5746509 140730171137008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 35426304 140730171143150 140730171143264 140730171143264 140730171150281 0
/proc/967496/statm: 114044 102435 421 379 0 113578 0
Current children cumulated CPU time: 81.05 s
Current children cumulated vsize: 466108 KiB
Current children cumulated memory: 412404 KiB
Child status: 20
Real time (s): 81.3862
CPU time (s): 81.1408
CPU user time (s): 80.9261
CPU system time (s): 0.214694
CPU usage (%): 99.6985
Max. virtual memory (cumulated for all children) (KiB): 466108
Max. memory (cumulated for all children) (KiB): 412404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.9261
system time used= 0.214694
maximum resident set size= 409780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74530
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= 560
# summary of solver processes directly reported to runsolver:
# pid: 967491
# total CPU time (s): 81.1408
# total CPU user time (s): 80.9261
# total CPU system time (s): 0.214694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.192044 second user time and 0.388074 second system time
The end
Begin job on nodeC021 at 2024-07-18 17:44:41
IDJOB=4443741
IDBENCH=147884
IDSOLVER=3065
FILE ID=nodeC021/4443741-1721317468
RUNJOBID= nodeC021-1721317481-967415
SLURM_JOB_ID= 7542662
Free space on /tmp= 889836 MiB
SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443741-1721317468/watcher-4443741-1721317468 -o /tmp/evaluation-result-4443741-1721317468/solver-4443741-1721317468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721317481-967415 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443741-1721317468.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35aa7f329bd98b2a572b3b38df46d0d6
RANDOM SEED=363885844
nodeC021.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 : 0xb00002a
cpu MHz : 3675.483
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.223
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3652.030
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3655.231
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.716
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.437
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.719
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.241
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128376408 kB
MemAvailable: 129696792 kB
Buffers: 498364 kB
Cached: 1651876 kB
SwapCached: 0 kB
Active: 975560 kB
Inactive: 1550908 kB
Active(anon): 1528 kB
Inactive(anon): 412460 kB
Active(file): 974032 kB
Inactive(file): 1138448 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 261564 kB
Writeback: 0 kB
AnonPages: 375628 kB
Mapped: 108756 kB
Shmem: 37720 kB
KReclaimable: 95456 kB
Slab: 206476 kB
SReclaimable: 95456 kB
SUnreclaim: 111020 kB
KernelStack: 4100 kB
PageTables: 10140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 697900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68608 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 889872 MiB
End job on nodeC021 at 2024-07-18 17:46:02