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