97.22/97.59 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4494213-1751150545.opb
97.22/97.59 c Solving mode: decision
97.22/97.59 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
97.22/97.59 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
97.22/97.59 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
97.22/97.59 c presolving:
97.22/97.59 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
97.22/97.59 c (round 2, medium) 0 del vars, 1961 del conss, 1961 add conss, 0 chg bounds, 1961 chg sides, 3922 chg coeffs, 2559500 upgd conss, 0 impls, 2100 clqs
97.22/97.59 c (59.5s) probing: 51/4500 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
97.22/97.59 c (59.5s) probing aborted: 50/50 successive totally useless probings
97.22/97.59 c (63.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
97.22/97.59 c (67.1s) no symmetry present (symcode time: 1.54)
97.22/97.59 c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
97.22/97.59 c 0 deleted vars, 1961 deleted constraints, 1961 added constraints, 0 tightened bounds, 0 added holes, 1961 changed sides, 8957 changed coefficients
97.22/97.59 c 0 implications, 2100 cliques
97.22/97.59 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
97.22/97.59 c 4950 constraints of type <knapsack>
97.22/97.59 c 2100 constraints of type <setppc>
97.22/97.59 c 1 constraints of type <linear>
97.22/97.59 c 2552450 constraints of type <logicor>
97.22/97.59 c transformed objective value is always integral (scale: 1)
97.22/97.59 c Presolving Time: 72.86
97.22/97.59 c
97.22/97.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
97.22/97.59 c p81.3s| 1 | 0 | 0 | - | clique| 0 |4500 |2559k|2559k| 0 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
97.22/97.59 c
97.22/97.59 c SCIP Status : problem is solved [optimal solution found]
97.22/97.59 c Solving Time (sec) : 81.69
97.22/97.59 c Solving Nodes : 1
97.22/97.59 c Primal Bound : +0.00000000000000e+00 (1 solutions)
97.22/97.59 c Dual Bound : +0.00000000000000e+00
97.22/97.59 c Gap : 0.00 %
97.22/97.59 c All original constraints are satisfied.
97.22/97.59 c SCIP's best solution is verified feasible for the original problem.
97.22/97.59 c SCIP found a feasible solution.
97.22/97.59 s SATISFIABLE
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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
97.22/97.59 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 (62568 MiB free)
memory of node 1: 64465 MiB (62980 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494213-1751150545/watcher-4494213-1751150545 -o /tmp/evaluation-result-4494213-1751150545/solver-4494213-1751150545 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4494213-1751150545.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
Current StackSize limit: 8192 KiB
solver pid=23345, runsolver pid=23342
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.10 4.09 5/273 23350
/proc/meminfo: memFree=128561956/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=1186044 memory=30416 CPUtime=0.05 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 3470 0 0 0 5 0 0 0 20 0 1 0 30733308 1214509056 7604 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 296511 7604 4761 1 0 268579 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190236 KiB
Current children cumulated memory: 33488 KiB
[startup+0.205669 s]*
/proc/loadavg: 4.10 4.10 4.09 5/273 23350
/proc/meminfo: memFree=128537764/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=1216792 memory=68176 CPUtime=0.15 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 10347 0 0 0 13 2 0 0 20 0 1 0 30733308 1245995008 17044 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 304198 17044 7577 1 0 275556 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1220984 KiB
Current children cumulated memory: 71248 KiB
[startup+0.305619 s]*
/proc/loadavg: 4.10 4.10 4.09 5/273 23350
/proc/meminfo: memFree=128505760/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=1245960 memory=96464 CPUtime=0.25 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 17437 0 0 0 22 3 0 0 20 0 1 0 30733308 1275863040 24116 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 311490 24116 7577 1 0 282848 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1250152 KiB
Current children cumulated memory: 99536 KiB
[startup+0.700212 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 23350
/proc/meminfo: memFree=128457376/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=1351876 memory=202212 CPUtime=0.65 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 43347 0 0 0 58 7 0 0 20 0 1 0 30733308 1384321024 50553 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 337969 50553 7577 1 0 309327 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1356068 KiB
Current children cumulated memory: 205284 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 23350
/proc/meminfo: memFree=128321296/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=1562712 memory=412616 CPUtime=1.44 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 93923 0 0 0 128 16 0 0 20 0 1 0 30733308 1600217088 103154 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 390678 103154 7577 1 0 362036 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1566904 KiB
Current children cumulated memory: 415688 KiB
[startup+3.10583 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 23350
/proc/meminfo: memFree=127812316/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=1984588 memory=834344 CPUtime=3.04 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 194251 0 0 0 271 33 0 0 20 0 1 0 30733308 2032218112 208586 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 496147 208586 7577 1 0 467505 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1988780 KiB
Current children cumulated memory: 837416 KiB
[startup+6.3002 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 23350
/proc/meminfo: memFree=126905808/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=3197528 memory=2047264 CPUtime=6.22 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 451850 0 0 0 548 74 0 0 20 0 1 0 30733308 3274268672 511816 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 799382 511816 7769 1 0 770740 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 3201720 KiB
Current children cumulated memory: 2050336 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23350
/proc/meminfo: memFree=125380512/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=4785144 memory=3614512 CPUtime=12.61 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 755167 0 0 0 1140 121 0 0 20 0 1 0 30733308 4899987456 903628 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 1196286 903628 7865 1 0 1167644 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 4789336 KiB
Current children cumulated memory: 3617584 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 23350
/proc/meminfo: memFree=124405228/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=5570952 memory=4387816 CPUtime=25.38 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 884619 0 0 0 2393 145 0 0 20 0 1 0 30733308 5704654848 1096954 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 1392738 1096954 7897 1 0 1364096 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 5575144 KiB
Current children cumulated memory: 4390888 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 23350
/proc/meminfo: memFree=124392732/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=5570952 memory=4387944 CPUtime=50.92 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 884631 0 0 0 4947 145 0 0 20 0 1 0 30733308 5704654848 1096986 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 1392738 1096986 7897 1 0 1364096 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 5575144 KiB
Current children cumulated memory: 4391016 KiB
[startup+102.101 s]
# the end of solver process 23345 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=99.0052 s, system=2.81965 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 23350
/proc/meminfo: memFree=124392732/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=5570952 memory=4387944 CPUtime=51.02 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 884631 0 0 0 4957 145 0 0 20 0 1 0 30733308 5704654848 1096986 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 1392738 1096986 7897 1 0 1364096 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 5575144 KiB
Current children cumulated memory: 4391016 KiB
[startup+76.8002 s]
/proc/loadavg: 4.16 4.12 4.09 5/272 23352
/proc/meminfo: memFree=122875060/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=7315352 memory=5782200 CPUtime=76.55 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 948098 0 0 0 7474 181 0 0 20 0 1 0 30733308 7490920448 1445550 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 1828838 1445550 7961 1 0 1800196 0
Current children cumulated CPU time: 76.56 s
Current children cumulated vsize: 7319544 KiB
Current children cumulated memory: 5785272 KiB
[startup+89.6001 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 23352
/proc/meminfo: memFree=120525936/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=9353436 memory=7904716 CPUtime=89.32 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 1249883 0 0 0 8672 260 0 0 20 0 1 0 30733308 9577918464 1976179 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 2338359 1976179 8153 1 0 2309717 0
Current children cumulated CPU time: 89.33 s
Current children cumulated vsize: 9357628 KiB
Current children cumulated memory: 7907788 KiB
[startup+96.0002 s]*
/proc/loadavg: 4.11 4.11 4.09 5/272 23352
/proc/meminfo: memFree=120555532/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=9353436 memory=7904716 CPUtime=95.71 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 1249883 0 0 0 9310 261 0 0 20 0 1 0 30733308 9577918464 1976179 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 2338359 1976179 8153 1 0 2309717 0
Current children cumulated CPU time: 95.72 s
Current children cumulated vsize: 9357628 KiB
Current children cumulated memory: 7907788 KiB
[startup+99.2002 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 23352
/proc/meminfo: memFree=120557796/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=9363692 memory=7915196 CPUtime=98.9 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 1250445 0 0 0 9628 262 0 0 20 0 1 0 30733308 9588420608 1978799 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 2340923 1978799 8153 1 0 2312281 0
Current children cumulated CPU time: 98.91 s
Current children cumulated vsize: 9367884 KiB
Current children cumulated memory: 7918268 KiB
[startup+100.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 23352
/proc/meminfo: memFree=120567596/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=9363692 memory=7915196 CPUtime=100.5 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 1250445 0 0 0 9788 262 0 0 20 0 1 0 30733308 9588420608 1978799 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 2340923 1978799 8153 1 0 2312281 0
Current children cumulated CPU time: 100.51 s
Current children cumulated vsize: 9367884 KiB
Current children cumulated memory: 7918268 KiB
[startup+101.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 23352
/proc/meminfo: memFree=121077800/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/statm: 1048 768 704 219 0 110 0
[pid=23350] ppid=23345 vsize=8854304 memory=7409252 CPUtime=101.3 cores=0,2
/proc/23350/stat : 23350 (python3) R 23345 23345 19810 0 -1 4194304 1250445 0 0 0 9868 262 0 0 20 0 1 0 30733308 9066807296 1852313 18446744073709551615 94155487449088 94155487449465 140732028535776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94155487460760 94155487461380 94155500535808 140732028541272 140732028541474 140732028541474 140732028547047 0
/proc/23350/statm: 2213576 1852313 8153 1 0 2184934 0
Current children cumulated CPU time: 101.31 s
Current children cumulated vsize: 8858496 KiB
Current children cumulated memory: 7412324 KiB
[startup+102 s]*
/proc/loadavg: 4.10 4.11 4.09 5/272 23352
/proc/meminfo: memFree=124932120/131249992 swapFree=33010684/33010684
[pid=23345] ppid=23342 vsize=4192 memory=3072 CPUtime=0.01 cores=0,2
/proc/23345/stat : 23345 (scip-naps-1.00.) S 23342 23345 19810 0 -1 4194304 261 337 0 0 0 0 0 1 20 0 1 0 30733305 4292608 768 18446744073709551615 94755965644800 94755966539333 140720506402944 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94755966778384 94755966826128 94755996041216 140720506407329 140720506407426 140720506407426 140720506413028 0
/proc/23345/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): 102.101
CPU time (s): 101.825
CPU user time (s): 99.0052
CPU system time (s): 2.81965
CPU usage (%): 99.7297
Max. virtual memory (cumulated for all children) (KiB): 9672164
Max. memory (cumulated for all children) (KiB): 8167332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.0053
system time used= 2.81965
maximum resident set size= 8238116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1251085
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= 344
involuntary context switches= 152
# summary of solver processes directly reported to runsolver:
# pid: 23345
# total CPU time (s): 101.825
# total CPU user time (s): 99.0052
# total CPU system time (s): 2.81965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.235467 second user time and 0.470936 second system time
The end
Begin job on nodeC025 at 2025-06-29 00:42:25
IDJOB=4494213
IDBENCH=147884
IDSOLVER=3368
FILE ID=nodeC025/4494213-1751150545
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_9.opb.PB06.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494213-1751150545/watcher-4494213-1751150545 -o /tmp/evaluation-result-4494213-1751150545/solver-4494213-1751150545 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4494213-1751150545.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35aa7f329bd98b2a572b3b38df46d0d6
RANDOM SEED=141487190
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 : 3600.049
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.851
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.918
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 : 3557.682
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.835
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.853
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 : 3599.957
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.879
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: 128561956 kB
MemAvailable: 128286868 kB
Buffers: 3280 kB
Cached: 535400 kB
SwapCached: 0 kB
Active: 1631212 kB
Inactive: 277316 kB
Active(anon): 1387932 kB
Inactive(anon): 0 kB
Active(file): 243280 kB
Inactive(file): 277316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 94204 kB
Writeback: 0 kB
AnonPages: 1369956 kB
Mapped: 131696 kB
Shmem: 18084 kB
KReclaimable: 87108 kB
Slab: 171044 kB
SReclaimable: 87108 kB
SUnreclaim: 83936 kB
KernelStack: 4400 kB
PageTables: 6468 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 5045072 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 514048 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:44:08