96.41/96.77 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4494069-1751150246.opb
96.41/96.77 c Solving mode: decision
96.41/96.77 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
96.41/96.77 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
96.41/96.77 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
96.41/96.77 c presolving:
96.41/96.77 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2559500 upgd conss, 0 impls, 2100 clqs
96.41/96.77 c (round 2, medium) 0 del vars, 1963 del conss, 1963 add conss, 0 chg bounds, 1963 chg sides, 3926 chg coeffs, 2559500 upgd conss, 0 impls, 2100 clqs
96.41/96.77 c (58.6s) probing: 51/4500 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
96.41/96.77 c (58.6s) probing aborted: 50/50 successive totally useless probings
96.41/96.77 c (62.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
96.41/96.77 c (66.2s) no symmetry present (symcode time: 1.44)
96.41/96.77 c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
96.41/96.77 c 0 deleted vars, 1963 deleted constraints, 1963 added constraints, 0 tightened bounds, 0 added holes, 1963 changed sides, 8975 changed coefficients
96.41/96.77 c 0 implications, 2100 cliques
96.41/96.77 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
96.41/96.77 c 4950 constraints of type <knapsack>
96.41/96.77 c 2100 constraints of type <setppc>
96.41/96.77 c 1 constraints of type <linear>
96.41/96.77 c 2552450 constraints of type <logicor>
96.41/96.77 c transformed objective value is always integral (scale: 1)
96.41/96.77 c Presolving Time: 71.95
96.41/96.77 c
96.41/96.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
96.41/96.77 c p80.4s| 1 | 0 | 0 | - | clique| 0 |4500 |2559k|2559k| 0 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
96.41/96.77 c
96.41/96.77 c SCIP Status : problem is solved [optimal solution found]
96.41/96.77 c Solving Time (sec) : 80.79
96.41/96.77 c Solving Nodes : 1
96.41/96.77 c Primal Bound : +0.00000000000000e+00 (1 solutions)
96.41/96.77 c Dual Bound : +0.00000000000000e+00
96.41/96.77 c Gap : 0.00 %
96.41/96.77 c All original constraints are satisfied.
96.41/96.77 c SCIP's best solution is verified feasible for the original problem.
96.41/96.77 c SCIP found a feasible solution.
96.41/96.77 s SATISFIABLE
96.41/96.77 v -x2 -x2501 -x3 -x2502 -x4 -x2503 -x5 -x2504 -x7 -x2505 -x8 -x2506 -x10 -x2507 -x11 -x2508 -x13 -x2509 -x14 -x2510 -x16 -x2511 -x17 -x2512 -x18 -x2513 -x19 -x2514 -x20 -x2515 -x22 -x2516 -x23 -x2517 -x24 -x2518 -x25 -x2519 -x27 -x2520 -x29 -x2521 -x30 -x2522 -x31 -x2523 -x32 -x2524 -x34 -x2525 -x36 -x2526 -x37 -x2527 -x38 -x2528 -x40 -x2529 -x41 -x2530 -x43 -x2531 -x44 -x2532 -x45 -x2533 -x46 -x2534 -x48 -x2535 x50 -x2536 -x1 -x2537 -x2538 -x2539 -x2540 -x6 -x2541 -x2542 -x12 -x2543 -x2544 -x15 -x2545 -x2546 -x2547 -x2548 -x2549 -x21 -x2550 -x2551 -x2552 -x2553 -x2554 -x26 -x2555 -x2556 -x28 -x2557 -x2558 -x2559 -x33 -x2560 -x2561 -x2562 -x2563 -x2564 -x39 -x2565 -x2566 -x2567 -x42 -x2568 -x2569 -x2570 -x2571 -x2572 -x47 -x2573 -x2574 -x49 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x9 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x35 -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
96.41/96.77 v -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
96.41/96.77 v -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
96.41/96.77 v -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
96.41/96.77 v -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
96.41/96.77 v -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
96.41/96.77 v -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 -x4450 -x4451 -x4452 -x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468
96.41/96.77 v -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
96.41/96.77 v -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
96.41/96.77 v -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
96.41/96.77 v -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
96.41/96.77 v -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
96.41/96.77 v -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
96.41/96.77 v -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 -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
96.41/96.77 v -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
96.41/96.77 v -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: 63708 MiB (62487 MiB free)
memory of node 1: 64465 MiB (63047 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494069-1751150246/watcher-4494069-1751150246 -o /tmp/evaluation-result-4494069-1751150246/solver-4494069-1751150246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4494069-1751150246.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23131, runsolver pid=23128
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 23136
/proc/meminfo: memFree=128547076/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=1186236 memory=31076 CPUtime=0.05 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 3533 0 0 0 4 1 0 0 20 0 1 0 30703386 1214705664 7769 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 296559 7769 4857 1 0 268581 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190428 KiB
Current children cumulated memory: 34148 KiB
[startup+0.205586 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 23136
/proc/meminfo: memFree=128547076/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=1218836 memory=69732 CPUtime=0.16 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 10663 0 0 0 14 2 0 0 20 0 1 0 30703386 1248088064 17401 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 304709 17401 7609 1 0 276067 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1223028 KiB
Current children cumulated memory: 72804 KiB
[startup+0.305628 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 23136
/proc/meminfo: memFree=128515072/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=1246980 memory=97764 CPUtime=0.26 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 17698 0 0 0 23 3 0 0 20 0 1 0 30703386 1276907520 24441 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 311745 24441 7609 1 0 283103 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1251172 KiB
Current children cumulated memory: 100836 KiB
[startup+0.700197 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23136
/proc/meminfo: memFree=128458624/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=1353088 memory=203756 CPUtime=0.64 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 43690 0 0 0 57 7 0 0 20 0 1 0 30703386 1385562112 50939 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 338272 50939 7609 1 0 309630 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1357280 KiB
Current children cumulated memory: 206828 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23136
/proc/meminfo: memFree=128330608/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=1564948 memory=415056 CPUtime=1.44 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 94455 0 0 0 129 15 0 0 20 0 1 0 30703386 1602506752 103764 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 391237 103764 7609 1 0 362595 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1569140 KiB
Current children cumulated memory: 418128 KiB
[startup+3.10543 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 23136
/proc/meminfo: memFree=127829884/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=1984584 memory=834608 CPUtime=3.04 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 194248 0 0 0 273 31 0 0 20 0 1 0 30703386 2032214016 208652 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 496146 208652 7609 1 0 467504 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1988776 KiB
Current children cumulated memory: 837680 KiB
[startup+6.3002 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 23136
/proc/meminfo: memFree=126927220/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=3200356 memory=2048668 CPUtime=6.23 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 451160 0 0 0 548 75 0 0 20 0 1 0 30703386 3277164544 512167 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 800089 512167 7769 1 0 771447 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 3204548 KiB
Current children cumulated memory: 2051740 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23136
/proc/meminfo: memFree=125520392/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=4775932 memory=3601624 CPUtime=12.61 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 745294 0 0 0 1134 127 0 0 20 0 1 0 30703386 4890554368 900406 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 1193983 900406 7865 1 0 1165341 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 4780124 KiB
Current children cumulated memory: 3604696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 23136
/proc/meminfo: memFree=124547944/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=5533532 memory=4346444 CPUtime=25.38 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 867601 0 0 0 2386 152 0 0 20 0 1 0 30703386 5666336768 1086611 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 1383383 1086611 7897 1 0 1354741 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 5537724 KiB
Current children cumulated memory: 4349516 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23136
/proc/meminfo: memFree=124540172/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=5533532 memory=4346444 CPUtime=50.92 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 867601 0 0 0 4940 152 0 0 20 0 1 0 30703386 5666336768 1086611 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 1383383 1086611 7897 1 0 1354741 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 5537724 KiB
Current children cumulated memory: 4349516 KiB
[startup+101.249 s]
# the end of solver process 23131 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=98.0147 s, system=2.95255 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23136
/proc/meminfo: memFree=124540172/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=5533532 memory=4346444 CPUtime=51.02 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 867601 0 0 0 4950 152 0 0 20 0 1 0 30703386 5666336768 1086611 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 1383383 1086611 7897 1 0 1354741 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 5537724 KiB
Current children cumulated memory: 4349516 KiB
[startup+76.8002 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 23138
/proc/meminfo: memFree=123048212/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=7292820 memory=5745188 CPUtime=76.55 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 933206 0 0 0 7463 192 0 0 20 0 1 0 30703386 7467847680 1436297 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 1823205 1436297 7961 1 0 1794563 0
Current children cumulated CPU time: 76.56 s
Current children cumulated vsize: 7297012 KiB
Current children cumulated memory: 5748260 KiB
[startup+89.6001 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 23138
/proc/meminfo: memFree=120672376/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=9379848 memory=7893064 CPUtime=89.32 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 1237435 0 0 0 8658 274 0 0 20 0 1 0 30703386 9604964352 1973266 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 2344962 1973266 8153 1 0 2316320 0
Current children cumulated CPU time: 89.33 s
Current children cumulated vsize: 9384040 KiB
Current children cumulated memory: 7896136 KiB
[startup+96.0001 s]*
/proc/loadavg: 4.09 4.09 4.09 5/271 23138
/proc/meminfo: memFree=120702832/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=9379848 memory=7893064 CPUtime=95.71 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 1237435 0 0 0 9296 275 0 0 20 0 1 0 30703386 9604964352 1973266 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 2344962 1973266 8153 1 0 2316320 0
Current children cumulated CPU time: 95.72 s
Current children cumulated vsize: 9384040 KiB
Current children cumulated memory: 7896136 KiB
[startup+99.2002 s]
/proc/loadavg: 4.16 4.11 4.09 5/271 23138
/proc/meminfo: memFree=120704284/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=9390356 memory=7903496 CPUtime=98.9 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 1237994 0 0 0 9614 276 0 0 20 0 1 0 30703386 9615724544 1975874 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 2347589 1975874 8153 1 0 2318947 0
Current children cumulated CPU time: 98.91 s
Current children cumulated vsize: 9394548 KiB
Current children cumulated memory: 7906568 KiB
[startup+100 s]*
/proc/loadavg: 4.16 4.11 4.09 5/271 23138
/proc/meminfo: memFree=120721052/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=9390356 memory=7903496 CPUtime=99.7 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 1237994 0 0 0 9694 276 0 0 20 0 1 0 30703386 9615724544 1975874 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 2347589 1975874 8153 1 0 2318947 0
Current children cumulated CPU time: 99.71 s
Current children cumulated vsize: 9394548 KiB
Current children cumulated memory: 7906568 KiB
[startup+100.8 s]
/proc/loadavg: 4.16 4.11 4.09 5/271 23138
/proc/meminfo: memFree=120721052/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
[pid=23136] ppid=23131 vsize=8883004 memory=7399592 CPUtime=100.49 cores=0,2
/proc/23136/stat : 23136 (python3) R 23131 23131 19810 0 -1 4194304 1238506 0 0 0 9773 276 0 0 20 0 1 0 30703386 9096196096 1849898 18446744073709551615 94434725130240 94434725130617 140731071817840 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94434725141912 94434725142532 94434731577344 140731071822168 140731071822370 140731071822370 140731071827943 0
/proc/23136/statm: 2220751 1849898 8153 1 0 2192109 0
Current children cumulated CPU time: 100.5 s
Current children cumulated vsize: 8887196 KiB
Current children cumulated memory: 7402664 KiB
[startup+101.2 s]
/proc/loadavg: 4.16 4.11 4.09 5/271 23138
/proc/meminfo: memFree=121228792/131249992 swapFree=33010684/33010684
[pid=23131] ppid=23128 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23131/stat : 23131 (scip-naps-1.00.) S 23128 23131 19810 0 -1 4194304 258 341 0 0 0 0 0 1 20 0 1 0 30703383 4292608 768 18446744073709551615 94010565726208 94010566620741 140733194351968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94010566859792 94010566907536 94010573570048 140733194361249 140733194361346 140733194361346 140733194366948 0
/proc/23131/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 101.249
CPU time (s): 100.967
CPU user time (s): 98.0147
CPU system time (s): 2.95255
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 9669008
Max. memory (cumulated for all children) (KiB): 8170316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.0147
system time used= 2.95255
maximum resident set size= 8198092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1239148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334
involuntary context switches= 142
# summary of solver processes directly reported to runsolver:
# pid: 23131
# total CPU time (s): 100.967
# total CPU user time (s): 98.0147
# total CPU system time (s): 2.95255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.214369 second user time and 0.481689 second system time
The end
Begin job on nodeC025 at 2025-06-29 00:37:26
IDJOB=4494069
IDBENCH=147880
IDSOLVER=3368
FILE ID=nodeC025/4494069-1751150246
RUNJOBID= nodeC025-1751145166-19820
SLURM_JOB_ID= 9587446
Free space on /tmp= 432956 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494069-1751150246/watcher-4494069-1751150246 -o /tmp/evaluation-result-4494069-1751150246/solver-4494069-1751150246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4494069-1751150246.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c3eb140254e3e729b39242302ead7012
RANDOM SEED=702437090
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3615.757
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.836
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.816
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3600.646
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.867
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.759
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3604.060
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3600.805
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 128547300 kB
MemAvailable: 128271764 kB
Buffers: 3280 kB
Cached: 534976 kB
SwapCached: 0 kB
Active: 1476868 kB
Inactive: 276892 kB
Active(anon): 1233588 kB
Inactive(anon): 0 kB
Active(file): 243280 kB
Inactive(file): 276892 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 94300 kB
Writeback: 0 kB
AnonPages: 1216452 kB
Mapped: 127104 kB
Shmem: 18084 kB
KReclaimable: 87060 kB
Slab: 170816 kB
SReclaimable: 87060 kB
SUnreclaim: 83756 kB
KernelStack: 4448 kB
PageTables: 6168 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4862076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 280576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432952 MiB
End job on nodeC025 at 2025-06-29 00:39:08