Trace number 205824

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
buggy_2_5_s 2007-01-08SAT 64.7082 65.0617

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-9.xml
MD5SUM905321a8d9852006a24c0f2b5f8b53c5
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark52.347
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2500
Number of constraints62132
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension62132
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

SAT
-3198 -3462 2650 2650 -2994 -3906 -2790 -3654 -3958 2806 3426 2714 -3478 -2870 -3330 3814 -2874 -3730 -2774 -3578 -3478 -2902 3086 2650 -3926 -3950 -3390 -3478 3946 -2826 2694 -3094 -3134 -3738 2774 -3758 -3286 2650 3930 -3034 -3790 3682 3926 3402 -3506 3390 -3698 -4018 -3854 -3750 3990 3870 2702 -3786 -3778 2750 3410 -3418 -3630 -3854 3770 3382 2690 3438 -3834 -3074 -4002 3674 -3042 3586 -2650 -3198 3926 3478 -3174 3346 -3598 3810 -3890 3178 -3566 3438 3446 2650 -3870 3406 3554 2690 -3594 -3854 3278 -3346 2718 -3550 -3062 2754 3930 2650 -3914 -3534 -3554 -3538 3062 -3998 -3630 3130 -2838 -3070 3402 3978 3046 3946 3318 3106 3510 -3618 -3510 -2962 -3690 -3134 3018 3750 3526 2842 -3434 3258 3314 -3642 -2954 -3318 -3790 3742 3030 -3318 -3562 -3090 3278 3438 -3226 3366 2806 3686 3682 -3910 3106 -3318 -2858 -2690 2782 -3118 -2754 2894 -3034 3246 -3086 3702 3750 -2822 2870 -3446 2946 -3998 2810 3346 -3778 -3890 -3650 2654 -2730 -3998 -3610 -2914 3298 2790 -3690 -2658 -3974 2846 -3066 -3926 4042 3194 3682 3658 3178 -2766 -3274 -3142 -3886 3170 -3578 -3134 2746 3066 -2926 -3378 -3130 -2934 2778 -3530 3334 3814 -3510 3338 -3474 -3410 3266 -2786 3942 -3790 3914 -3346 3114 -3362 3258 3138 -3198 -2690 -3818 -2790 -3358 3242 2770 -3438 -3642 -3810 -3214 -3558 -3390 -3426 -2690 3930 -2758 3686 2690 -3014 -3454 3750 3410 -3938 -4042 2650 2994 -3722 -3734 3046 -2698 -3174 3554 3582 2650 -3178 3094 -3958 -2666 -3950 -3386 3274 -3542 2846 -3578 3670 -2706 3842 -2730 3726 -3214 3450 3966 -3386 -3722 -3998 -2666 3522 -3366 -2666 -3890 -3362 3650 -3222 2982 2706 -3174 3986 3914 3374 -3746 -3610 2794 3878 -3694 -3990 -4042 2898 3270 3374 3258 3582 -2870 -3382 -3190 3078 -2650 -3918 3002 -3398 3954 -3162 -2690 -2898 3134 -2694 -4042 -3198 3130 -3314 2678 3070 -2670 3238 -2834 -2910 3130 3062 -2890 3162 -3638 3594 -3410 -3886 2750 -4014 3526 -3886 -2718 -3246 2878 3102 -2790 3046 -3182 -3694 -3130 3390 -3186 -3334 -2878 3842 -3870 3202 -3238 -3998 3926 -3882 -3306 -3810 3798 2894 -2650 2806 -3014 -2954 3014 2754 -3078 3786 -3978 3462 2914 -3838 -2982 -3434 -3982 -3538 -3438 -3686 3330 3994 3542 -3126 4002 2694 3658 -2942 -3150 -3470 3510 -4038 2950 -3614 -3074 2766 -3106 -3650 -2738 -2658 -3990 2710 3294 3134 -3750 -2730 -3982 -2998 -2938 3438 3178 -3942 3202 -3874 -3402 -3890 2770 4014 3054 2814 2850 3306 -2986 -2666 -3938 2946 -2982 -3686 -4038 -2850 3650 3538 3186 -2702 -3106 -3230 -3638 -3382 -3006 -3014 -3914 3734 2930 4002 3138 -3702 -3026 2650 -3914 -3646 -2942 3002 3158 2718 -3890 -3930 -2918 -2858 -3142 -3930 3422 3346 3718 3922 2714 -3370 -3470 -2766 -2654 -3142 -3930 3058 3598 -3878 -3182 3146 3346 -3646 2886 3974 3686 4034 3682 -2658 -2750 -4002 -3126 -2894 2650 3146 -2906 2954 -3506 -3066 -2682 -3362 -3886 -3890 2698 2678 3042 -3710 3750 3398 -4018 -3102 -3694 -3186 -2690 -3958 -2690 -3218 3298 -3606 3306 -3058 -3502 -3890 3154 -3702 -3186 -3154 3786 -3286 -2706 3222 -3110 -2870 3930 2906 3774 -2902 -3134 -3782 2686 -3250 3350 -2806 -2698 -3478 -3138 -3422 -2722 3426 3262 -3862 -3874 2686 -3386 3998 -3018 -3790 -3598 -3950 3998 3386 -3426 -4042 -3810 -3890 -4038 -2994 2974 2730 -2810 -3854 3078 -3694 -2794 -4018 -3066 2662 -3646 3066 -3298 -3874 -4038 2882 -2942 -3742 -3710 -3054 -3638 -3906 -2694 -3958 3146 3550 -3346 3602 -3046 -3958 -3074 3726 -3926 3594 -3186 -3722 -3546 3886 -3038 4014 -3382 3858 -2818 2914 -3210 -3930 -2946 2674 -3050 -3570 -3062 -3530 -3610 -3922 -2786 -3206 -3118 -3450 2722 -2978 2742 -3498 3810 3074 -3954 -3502 3650 3162 -3066 3878 -3918 -3354 -3838 -3290 3438 -2838 -3162 3874 2706 2702 2690 -3158 3590 -3818 3602 -3238 -3134 -3874 -3998 -3138 -3142 3566 -3654 3998 2782 -3882 -2950 -4018 -2650 -3478 -3646 2926 3330 -3638 -3770 4042 -3682 3034 3190 -3822 -3018 -3182 -2814 -2726 2690 -3258 -3066 -3890 3870 3202 -3174 -3890 -3430 -3770 3158 3610 -3854 -3098 -3586 -2662 2790 2650 3670 2910 -4042 3230 -3202 -3890 3070 -3962 -4038 2750 -3798 3386 2714 -3242 2890 -2806 2914 -2950 -2754 2806 -4002 -3214 3966 -3170 -2990 -3634 -3018 -3494 3358 -2870 -3930 3842 -3766 3626 3778 4038 -3718 2874 -3198 -3250 -3490 3690 -2878 -3542 -3090 -3682 3598 -3662 3670 -3814 3830 -3182 -2854 -3058 -2894 -2690 -4034 -3046 3514 3154 -2714 -2930 -4002 -2694 -2650 -3558 -3802 3170 3102 -2822 -3570 -2678 -3142 4042 -3998 3690 -3190 -3570 -3054 -3990 -3930 -3086 -3422 -2970 -3358 4042 3370 -3382 3582 -3438 3394 -3478 2986 2954 3466 3222 3210 3498 -3114 -3106 -3950 3134 -3366 -3118 3562 -3118 3570 -3370 3562 3586 3226 -3874 3530 -3966 -2818 -2738 3802 3770 2658 -3410 3662 3610 -2702 -3046 3978 -2714 -3746 -3650 -2726 3950 -3306 -3074 3158 2786 -3758 3950 3998 -3070 -3178 4002 -3918 -3926 -3134 -3514 3650 -3682 -2818 3594 -2730 -3542 -3330 3298 3890 3606 3402 -3002 -3950 -3890 -3662 2690 3834 3430 2834 -4014 3246 -2758 2658 -3118 3858 3534 4042 3914 -3566 -3126 -3930 -3730 3410 -2854 -2726 -3470 -3814 2742 3062 -3930 -3858 -3018 2906 -3034 -2942 3694 2998 2738 -2694 -2910 3414 -3030 3998 3910 3446 -3014 3922 -3662 2690 2918 -3258 -3538 -3778 -3878 3230 2814 -2934 -3342 -3902 3762 -3914 -3650 3802 -3398 -4038 -3930 -3034 3346 -3850 -3186 -3978 -2906 -3542 4042 -3306 -3526 -3978 -3894 3342 -2746 4038 3102 3946 -3726 -3886 -2694 3994 -3366 2958 2958 -2690 -3166 3478 -3850 3554 2662 3666 -3766 -4002 -2770 -3606 3094 -4002 -2810 -2906 -3642 -4018 -3698 3998 -2978 -3466 -3434 3990 -3538 3746 3702 -3634 -3142 -3562 -3370 3958 -3186 -3310 -3106 -3598 -3018 -3314 2838 -2694 3138 2906 3402 -3882 3962 -3998 3806 3690 2814 -3138 3338 3998 2874 3974 -3306 -3162 -3346 3534 -3354 -3054 -3646 3326 -3146 -2998 3698 3830 -3086 -2970 3398 -3826 -3314 2954 2734 -3210 -2698 -3374 3858 -3734 3886 -3998 3586 3890 3278 3418 -2858 -3394 -3874 -3598 -2698 -3978 -3386 3506 3326 2966 3198 3862 -3050 -3514 -3202 -3990 -3662 2830 -3238 -3138 -3106 -3682 3750 3062 -2706 3346 -2990 2650 -3946 -3654 3950 3410 -3278 -3094 3010 -3142 -2922 -3414 -3770 -3842 2914 3466 3110 3214 3398 4042 3450 -2898 3998 -2950 3182 -3646 3910 -3538 -2702 -3066 3250 3642 -3070 -3374 3502 2690 3682 -3890 3722 2838 -3290 -3658 -2654 3074 3630 2714 -3098 -2718 3466 3638 3602 -3998 3630 -3526 3990 -3106 -3186 -3990 -3054 3098 -2926 3886 3462 3054 3602 -3866 -3990 -3790 -3994 3338 -2774 -3434 -3926 -2938 2974 -3998 -3410 -3682 3538 3118 3658 -3594 -3110 -3438 3342 -3450 -2966 3970 -3642 2898 3278 -3054 -3566 -3510 -3810 3770 -3818 -2930 -3110 -3766 -3646 3606 2934 2906 -2942 -2694 3394 -3914 3990 -3054 -3722 -3130 -3342 4030 -3314 2694 -3918 3022 3490 3078 -3422 3738 3598 -3890 -2834 -3330 3174 -2942 3914 -3134 3814 -3958 3998 -3562 -3082 -3438 2706 -3238 -2938 3910 3890 2778 3054 3426 3738 3554 3118 -2994 3502 -3206 3790 -2854 -3918 -2966 -3034 3606 -2846 3914 -2782 3338 -3930 -3170 3610 3682 2834 -3650 3794 -3670 -3170 -3122 -2998 -3054 3798 -2878 -2702 3658 -3134 -3066 3910 -3018 -2962 -3114 3990 -3890 3026 -3526 -3950 -3198 -3470 -3954 -3694 -4042 -3646 -3238 -3242 -3398 -2830 -4042 -3958 3726 -3910 -3446 2726 -3726 -3582 -3286 2698 -2898 2902 -4038 -3478 -2694 3086 3026 3502 3326 3138 3710 -3786 -3098 -3338 2734 -2806 3094 3566 -4022 -2778 -3470 -2746 3118 -3870 -3058 2674 3238 3254 3398 3406 3926 -3038 -3702 3310 3190 -3086 -3578 -3186 3486 -3654 -2954 -3466 -3914 -4014 -3430 3190 3974 -2714 3478 -2918 -3590 -3758 -3098 3134 -4014 -3030 3142 3714 -3674 -2890 3738 2834 -3586 -3174 -2770 3686 -3826 -4042 -3526 3978 -3918 3018 3074 3690 -3798 -3734 -2830 -3986 3798 -3978 -3446 -3474 -3990 -3254 3870 -3830 -3598 -3594 -3746 3958 -3986 -3378 -2742 -3698 3638 -3566 -3974 -3302 -3978 -3642 -3182 -3350 3210 3738 2978 3238 -2994 3154 -3182 -3206 3354 -3894 -3590 3926 -3010 3634 -3594 -3750 -3522 2714 3246 -3990 3086 -3798 3758 -2786 -3050 3954 2946 -3954 3630 3190 -3014 -2718 -3926 3578 -3202 -3086 3886 2726 3030 2670 -2694 -3282 -3842 -3226 3910 -4042 -2678 -2910 3170 -4018 -3690 3014 -3710 -2874 -2778 3478 3530 3798 3486 -3254 3066 3354 -3998 4002 -3990 -3686 2746 -3646 2910 3282 3986 -2978 -4022 4042 -3890 -3346 3778 -3402 -2710 3746 -3090 3650 -3290 2714 -4042 3930 -2934 2650 -3878 -3702 -2726 -3870 3290 3862 -3246 3574 -2774 -3082 -3158 3778 -3714 3830 -3066 -2686 -2666 3698 -3974 2994 2690 3642 3138 3826 3490 -3466 3598 -3966 -3118 -3098 -4038 3074 -3266 -3610 -2690 3750 -3370 -3014 -3682 -3158 -3238 3682 -3950 3958 3022 -2966 -3594 2854 2670 3082 -3490 2702 -3790 3002 3002 -3678 -3982 2822 3094 -4042 -2814 3274 -3606 3566 3474 2690 -2738 -2658 2654 -3810 2686 -3046 -3442 -2830 -3942 3758 3442 -3918 -2854 2918 -3198 -3950 -2782 3186 -3850 2962 2758 2946 2666 3594 4018 -3926 2882 -3346 3194 -3642 -4038 3878 -2926 3870 3522 3634 -3914 -2746 3754 -3410 -2910 3162 3810 2850 3698 -3890 3966 -3950 3658 -3382 -3606 3298 3802 -3634 3478 3074 -3910 3294 -3950 3934 -3998 -3582 -3722 -2694 -2690 -2930 -3558 -3286 -3578 -2966 -2830 -3834 -3538 3526 -3530 3590 -2986 -3318 -2690 3114 3634 -3654 -3130 -3146 -3038 3090 -3098 -2670 2682 -3342 -3562 3542 -3238 -3954 3566 2966 -3638 3934 3458 -3818 -3438 -3750 -3598 3934 -3018 -3694 -3598 -2962 -3122 -3394 3178 -3442 -3594 3606 -3058 3930 3738 -3970 3010 -3226 2886 -3274 -3694 -3558 3350 3278 -2910 3462 -3746 3258 -3878 3710 3278 -2898 -3094 3058 3490 -3274 -3174 -3898 3138 -3874 -2730 3314 -3466 -3210 3334 -3426 3318 -3334 3570 -4038 -3930 3542 -3122 -3106 -3646 -3606 -3886 3342 3230 2706 3598 3842 2826 -3438 -3494 2798 -3750 2854 3090 -2854 3666 3182 2942 3654 2678 -3770 -3186 3370 -2674 -3306 3122 3314 -3150 -3534 -3518 -3526 -2702 -3546 -3646 -3774 -3506 -3870 -3158 -3018 3770 -3886 -2690 3782 -3810 -2662 -2754 -3450 -2858 -3570 -2722 -3042 -3202 -3238 2938 -4038 -3394 -3014 4002 -3890 2934 -3158 -3890 3082 -2654 3058 -3906 -3218 -3186 -3894 -2706 -2690 -3098 -3890 -3182 -3198 -2674 -3994 -3958 3278 -3890 -3786 -3638 3054 -3402 -3478 -3382 3470 2698 2738 -3930 -3570 -3618 -3658 -3270 -3978 -2818 3506 -3790 -3146 -2702 3958 -3598 3942 -3138 2690 -3878 -3930 -3518 -2650 3646 2830 2978 3198 2654 -3726 3034 -3382 3750 3538 -2714 -3874 3070 3490 -3246 3406 -4018 2958 3554 3042 -3814 -3878 -4018 -3694 4038 3626 -3438 -2890 -3786 -2718 -3434 -2810 -4002 2678 -3598 3190 -3146 -4002 3442 -3706 -3994 3002 -3802 -2734 2690 -3950 3506 -3294 -3198 2662 -3886 -3474 -3918 3850 -3670 3750 -4002 -3930 3350 -3946 -3598 -2834 -2898 -3054 -3890 -4002 -4042 2830 3190 -3090 3378 -3154 -3630 -3638 -3186 -3874 -3378 3230 4038 3466 -3438 3654 -2814 3650 -3658 -3866 -2666 3634 -2650 3014 3682 3846 3646 3830 -3174 3850 -2690 3474 -2718 -2710 -4002 -3354 -3074 2674 3766 2982 -2946 3566 3878 -2838 -3790 -3370 -3642 -3686 -3098 -2690 3434 -3058 -3562 -3170 -3646 -3182 2994 -3998 -3714 3930 -3822 2650 -3442 3242 -3258 -2914 -3650 -3774 -3798 -3130 2650 -3926 3782 -3974 -3094 -3114 4038 -3950 -3106 -3130 -3042 -3170 3150 3830 -3478 -3838 3530 3754 -3606 3846 -3622 2954 -3170 2938 -2822 4002 2858 -3150 -3566 -3022 3374 3370 -3982 -2706 -3886 -3530 2698 -3158 3894 2854 -3766 -2762 -3386 -3838 -2702 -3242 2990 -2754 -2846 4038 3102 -2706 2886 -3890 -3594 -4002 3982 -4002 3650 -3670 -3386 4002 3114 -3798 2846 -4042 2718 -3238 2710 3890 2662 -3046 3286 2782 3998 -3838 -3870 -3198 -2714 -2690 3914 2650 -3438 2814 -3142 3654 -3246 3782 3706 -4042 -3978 3062 -3638 -3146 -3518 3462 -2702 3870 -3186 -3998 3398 -2918 -2742 -3838 -3902 -2654 3702 -2798 -3822 -2754 3026 -3802 3974 -3990 -3438 -2902 -3102 -3314 -3882 3014 -3486 -2690 -3642 -3662 3786 -3610 2794 3558 3098 3222 -3498 3974 3490 -3998 -2794 3542 3634 3710 -3542 -2858 -3342 -3314 -3298 -3638 -3646 3022 -3662 3946 -4002 3730 -3406 -3146 2938 3178 3818 -3986 -3218 -3558 2974 3434 3998 -3214 -3902 -3790 2698 -3190 3926 -3874 2682 -3834 3158 -3978 3762 2874 -2954 3218 3950 3402 -3038 -3078 -3434 -3958 3998 3770 -3110 3098 -3238 -3778 -2714 3546 3174 -3146 -3062 -3350 -3106 3566 -3826 3146 -3946 -3406 -2778 -2770 -2706 3494 -3302 3066 -3598 -3066 -3146 3686 -3382 3526 -3702 3914 -3854 -3838 3214 -3342 3290 -4002 2750 -2662 -3438 -3446 3682 2974 -2650 3550 -3478 -3950 3218 3130 -2662 -2878 -2938 -3694 -3726 2902 -3370 3054 -3702 3910 3686 -2658 2834 3978 -3598 -3138 3762 2706 -3846 -3698 -3326 -3930 2690 3298 -3798 3510 4038 2978 -3054 -2702 -3690 -3310 -3530 2690 3234 2734 3638 3498 -2846 -2814 3946 -3822 3094 -3930 3770 -2902 2886 4042 -2898 -3150 -3410 2714 -3922 -2650 -2850 -2846 2810 3866 2866 2722 -3734 -3306 -3038 3190 -3094 -3998 2926 -3950 -3862 3894 -3346 -3198 4042 -2926 -3010 -2790 -3930 -3406 -3954 3918 -2946 3102 -3306 3166 3446 -3186 2790 -3094 -3438 3334 2814 -3958 2990 4014 2666 3058 -3050 -2682 -3770 3502 -3790 2874 -3266 3998 -3466 -3126 3198 -3130 -2698 3198 2902 -3930 3786 -3462 3694 -4010 -2974 3530 3774 -3434 -3726 -3478 3958 -4018 -3610 3758 3886 -3890 -3874 4014 -3078 -3346 4002 -3230 -3586 -2686 -2654 -2846 3670 3474 -3138 -3122 3926 3890 -2658 -3066 3266 2650 -3438 -2706 3638 -3298 -3354 -3434 -3282 2882 -3086 -2950 3578 3354 3174 3006 -2734 -3930 -3602 -3610 3106 3362 -3874 -3990 -2814 -2918 2818 -3590 -3774 -2790 3738 3202 -2954 2942 3410 3238 3138 -3874 -3998 -2650 3502 3886 3678 -3750 -3386 -2962 -3626 -3186 3214 -3878 -3238 3806 2742 -3686 -3562 -2810 3930 -3330 2774 -3002 2818 2846 -3102 -3134 3846 -3386 3914 3822 3626 -4006 -3066 2806 -2674 -3770 3342 -3810 -3262 3086 -3438 2878 -3146 -3502 -3926 -3310 3162 -2650 -3222 -3646 3726 3710 -2666 -3950 -3106 -3642 3034 -3686 2650 -2678 -3194 3162 -3438 -3014 -3958 -2798 -3330 2650 2890 -3206 3394 -3606 -3930 -3686 -2938 -2858 3742 -3634 -3670 -3058 -3538 3174 -3294 -3346 2690 2690 -3238 -3842 3122 3882 3038 -3438 2866 -3094 -3242 -3910 -3286 3194 3530 -3382 -3018 -3998 -3370 -3974 -3650 -3758 -3386 -3166 -2710 3478 3414 -2850 -3810 -3146 -3438 -4018 2826 3434 -2674 3870 2722 -3850 2974 -2690 3838 -3010 -3566 3066 -3998 4002 -2710 -2718 -3314 3710 3986 3278 3690 2842 3630 -3890 -2946 4002 -3998 3082 -3878 -3810 -3798 -3146 -3990 -3302 -3594 4038 -3638 -3730 2718 2690 3162 3902 -3098 -3606 3554 -4018 -3154 3110 -3678 2942 3638 -3422 3150 -3950 -2650 3322 -3582 -3186 -3998 -3430

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node5/watcher-205824-1168293702 -o ROOT/results/node5/solver-205824-1168293702 -C 1800 -M 900 /tmp/evaluation/205824-1168293702/solver2 /tmp/evaluation/205824-1168293702/unknown 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.61 1.82 1.68 5/93 24976
/proc/meminfo: memFree=857704/2055920 swapFree=4192812/4192956
[pid=24975] ppid=24973 vsize=5352 CPUtime=0
/proc/24975/stat : 24975 (solver2) R 24973 24975 21398 0 -1 4194304 264 0 0 0 0 0 0 0 21 0 1 0 157984953 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913479327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/24975/statm: 1338 231 193 169 0 49 0
[pid=24977] ppid=24975 vsize=5352 CPUtime=0
/proc/24977/stat : 24977 (solver2) R 24975 24975 21398 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 157984954 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913479327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/24977/statm: 1338 231 193 169 0 49 0

[startup+0.105232 s]
/proc/loadavg: 1.61 1.82 1.68 5/93 24976
/proc/meminfo: memFree=857704/2055920 swapFree=4192812/4192956
[pid=24975] ppid=24973 vsize=5352 CPUtime=0
/proc/24975/stat : 24975 (solver2) S 24973 24975 21398 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 157984953 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24975/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.513286 s]
/proc/loadavg: 1.61 1.82 1.68 5/93 24976
/proc/meminfo: memFree=857704/2055920 swapFree=4192812/4192956
[pid=24975] ppid=24973 vsize=5352 CPUtime=0
/proc/24975/stat : 24975 (solver2) S 24973 24975 21398 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 157984953 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24975/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33538 s]
/proc/loadavg: 1.61 1.82 1.68 3/94 24988
/proc/meminfo: memFree=839008/2055920 swapFree=4192812/4192956
[pid=24975] ppid=24973 vsize=5352 CPUtime=0.93
/proc/24975/stat : 24975 (solver2) S 24973 24975 21398 0 -1 4194304 376 3172 0 0 0 0 85 8 16 0 1 0 157984953 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24975/statm: 1338 242 203 169 0 49 0
[pid=24988] ppid=24975 vsize=18300 CPUtime=0.35
/proc/24988/stat : 24988 (bordewijk) R 24975 24975 21398 0 -1 4194304 4080 0 0 0 32 3 0 0 20 0 1 0 157985049 18739200 4052 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134534056 0 0 4096 0 0 0 0 17 1 0 0
/proc/24988/statm: 4575 4052 204 97 0 3856 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 23652

[startup+2.97356 s]
/proc/loadavg: 1.61 1.82 1.68 3/94 24990
/proc/meminfo: memFree=784800/2055920 swapFree=4192812/4192956
[pid=24975] ppid=24973 vsize=5352 CPUtime=0.93
/proc/24975/stat : 24975 (solver2) S 24973 24975 21398 0 -1 4194304 376 3172 0 0 0 0 85 8 16 0 1 0 157984953 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24975/statm: 1338 242 203 169 0 49 0
[pid=24988] ppid=24975 vsize=84564 CPUtime=1.98
/proc/24988/stat : 24988 (bordewijk) R 24975 24975 21398 0 -1 4194304 20645 0 0 0 182 16 0 0 25 0 1 0 157985049 86593536 20617 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134522852 0 0 4096 0 0 0 0 17 1 0 0
/proc/24988/statm: 21141 20617 204 97 0 20422 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 89916

[startup+6.26894 s]
/proc/loadavg: 1.64 1.82 1.68 3/94 24992
/proc/meminfo: memFree=641568/2055920 swapFree=4192812/4192956
[pid=24975] ppid=24973 vsize=5352 CPUtime=0.93
/proc/24975/stat : 24975 (solver2) S 24973 24975 21398 0 -1 4194304 376 3172 0 0 0 0 85 8 16 0 1 0 157984953 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24975/statm: 1338 242 203 169 0 49 0
[pid=24988] ppid=24975 vsize=196676 CPUtime=5.22
/proc/24988/stat : 24988 (bordewijk) R 24975 24975 21398 0 -1 4194304 48653 0 0 0 484 38 0 0 25 0 1 0 157985049 201396224 48623 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134839712 0 0 4096 0 0 0 0 17 1 0 0
/proc/24988/statm: 49169 48623 211 97 0 48450 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 202028

[startup+12.7347 s]
/proc/loadavg: 1.67 1.82 1.68 3/94 24996
/proc/meminfo: memFree=327392/2055920 swapFree=4192812/4192956
[pid=24975] ppid=24973 vsize=5352 CPUtime=0.93
/proc/24975/stat : 24975 (solver2) S 24973 24975 21398 0 -1 4194304 376 3172 0 0 0 0 85 8 16 0 1 0 157984953 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24975/statm: 1338 242 203 169 0 49 0
[pid=24988] ppid=24975 vsize=456332 CPUtime=11.61
/proc/24988/stat : 24988 (bordewijk) R 24975 24975 21398 0 -1 4194304 125445 0 0 0 846 315 0 0 25 0 1 0 157985049 467283968 111901 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24988/statm: 114083 111901 217 97 0 113364 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 461684

[startup+25.5631 s]
/proc/loadavg: 1.66 1.81 1.68 2/88 25019
/proc/meminfo: memFree=1055952/2055920 swapFree=4192812/4192956
[pid=24975] ppid=24973 vsize=5352 CPUtime=22.54
/proc/24975/stat : 24975 (solver2) S 24973 24975 21398 0 -1 4194304 397 128618 0 0 0 0 988 1266 16 0 1 0 157984953 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24975/statm: 1338 242 203 169 0 49 0
[pid=25018] ppid=24975 vsize=263848 CPUtime=2.75
/proc/25018/stat : 25018 (standalone) R 24975 24975 21398 0 -1 4194304 21113 0 0 0 78 197 0 0 25 0 1 0 157987233 270180352 19863 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 0 0 0
/proc/25018/statm: 65962 19864 129 64 0 65277 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 269200

[startup+51.229 s]
/proc/loadavg: 1.78 1.83 1.69 3/88 25729
/proc/meminfo: memFree=313152/2055920 swapFree=4192812/4192956
[pid=24975] ppid=24973 vsize=5352 CPUtime=22.54
/proc/24975/stat : 24975 (solver2) S 24973 24975 21398 0 -1 4194304 397 128618 0 0 0 0 988 1266 16 0 1 0 157984953 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24975/statm: 1338 242 203 169 0 49 0
[pid=25018] ppid=24975 vsize=263924 CPUtime=28.34
/proc/25018/stat : 25018 (standalone) R 24975 24975 21398 0 -1 4194304 66381 0 0 0 2536 298 0 0 25 0 1 0 157987233 270258176 65115 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3905630309 0 0 4096 0 0 0 0 17 0 0 0
/proc/25018/statm: 65981 65115 137 64 0 65296 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 269276

Child status: 0
Real time (s): 65.0617
CPU time (s): 64.7082
CPU user time (s): 48.9866
CPU system time (s): 15.7216
CPU usage (%): 99.4566
Max. virtual memory (cumulated for all children) (KiB): 461684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.9866
system time used= 15.7216
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195577
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= 1816
involuntary context switches= 2471

runsolver used 0.087986 s user time and 0.207968 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Mon Jan  8 22:01:44 UTC 2007


IDJOB= 205824
IDBENCH= 4170
FILE ID= node5/205824-1168293702

PBS_JOBID= 3501788

Free space on /tmp= 66269 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
COMMAND LINE= /tmp/evaluation/205824-1168293702/solver2 /tmp/evaluation/205824-1168293702/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-205824-1168293702 -o ROOT/results/node5/solver-205824-1168293702 -C 1800 -M 900  /tmp/evaluation/205824-1168293702/solver2 /tmp/evaluation/205824-1168293702/unknown 1800

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  905321a8d9852006a24c0f2b5f8b53c5

RANDOM SEED= 230660160

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.240
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.240
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:        858184 kB
Buffers:         73024 kB
Cached:         760384 kB
SwapCached:          0 kB
Active:         594844 kB
Inactive:       535116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        858184 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           64988 kB
Writeback:           0 kB
Mapped:         317120 kB
Slab:            51752 kB
Committed_AS:  4532100 kB
PageTables:       2892 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= 66209 MiB



End job on node5 on Mon Jan  8 22:02:50 UTC 2007