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