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