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