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