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