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