Trace number 205951

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 2007-01-08SAT 57.7552 58.0984

General information on the benchmark

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

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/node7/watcher-205951-1168293739 -o ROOT/results/node7/solver-205951-1168293739 -C 1800 -M 900 /tmp/evaluation/205951-1168293739/solver /tmp/evaluation/205951-1168293739/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.26 1.07 1.45 5/93 9299
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=9298] ppid=9296 vsize=5352 CPUtime=0
/proc/9298/stat : 9298 (solver) S 9296 9298 3553 0 -1 4194304 295 0 0 0 0 0 0 0 20 0 1 0 177769833 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9298/statm: 1338 232 194 169 0 49 0
[pid=9300] ppid=9298 vsize=0 CPUtime=0
/proc/9300/stat : 9300 (solver) R 9298 9298 3553 0 -1 4194372 26 0 0 0 0 0 0 0 21 0 1 0 177769834 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 0 0 0 17 1 0 0
/proc/9300/statm: 0 0 0 0 0 0 0
[pid=9301] ppid=9298 vsize=192 CPUtime=0
/proc/9301/stat : 9301 (grep) R 9298 9298 3553 0 -1 4194304 37 0 0 0 0 0 0 0 23 0 1 0 177769834 196608 13 18446744073709551615 4194304 4274172 548682069536 18446744073709551615 244668443352 0 0 4096 0 0 0 0 17 1 0 0
/proc/9301/statm: 48 13 8 19 0 2 0

[startup+0.107 s]
/proc/loadavg: 1.26 1.07 1.45 5/93 9299
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=9298] ppid=9296 vsize=5352 CPUtime=0
/proc/9298/stat : 9298 (solver) S 9296 9298 3553 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 177769833 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9298/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.516043 s]
/proc/loadavg: 1.26 1.07 1.45 5/93 9299
/proc/meminfo: memFree=1261592/2055920 swapFree=4192812/4192956
[pid=9298] ppid=9296 vsize=5352 CPUtime=0
/proc/9298/stat : 9298 (solver) S 9296 9298 3553 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 177769833 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9298/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34313 s]
/proc/loadavg: 1.32 1.09 1.45 3/97 9310
/proc/meminfo: memFree=1246648/2055920 swapFree=4192812/4192956
[pid=9298] ppid=9296 vsize=5352 CPUtime=1.25
/proc/9298/stat : 9298 (solver) S 9296 9298 3553 0 -1 4194304 376 3172 0 0 0 0 116 9 16 0 1 0 177769833 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9298/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 5352

[startup+2.9833 s]
/proc/loadavg: 1.32 1.09 1.45 3/94 9313
/proc/meminfo: memFree=1205264/2055920 swapFree=4192812/4192956
[pid=9298] ppid=9296 vsize=5352 CPUtime=1.25
/proc/9298/stat : 9298 (solver) S 9296 9298 3553 0 -1 4194304 376 3172 0 0 0 0 116 9 16 0 1 0 177769833 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9298/statm: 1338 242 203 169 0 49 0
[pid=9311] ppid=9298 vsize=70836 CPUtime=1.66
/proc/9311/stat : 9311 (bordewijk) R 9298 9298 3553 0 -1 4194304 17190 0 0 0 153 13 0 0 25 0 1 0 177769963 72536064 17162 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134522761 0 0 4096 0 0 0 0 17 1 0 0
/proc/9311/statm: 17709 17162 204 97 0 16990 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 76188

[startup+6.26465 s]
/proc/loadavg: 1.38 1.10 1.45 3/94 9315
/proc/meminfo: memFree=1051600/2055920 swapFree=4192812/4192956
[pid=9298] ppid=9296 vsize=5352 CPUtime=1.25
/proc/9298/stat : 9298 (solver) S 9296 9298 3553 0 -1 4194304 376 3172 0 0 0 0 116 9 16 0 1 0 177769833 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9298/statm: 1338 242 203 169 0 49 0
[pid=9311] ppid=9298 vsize=180660 CPUtime=4.89
/proc/9311/stat : 9311 (bordewijk) R 9298 9298 3553 0 -1 4194304 44641 0 0 0 456 33 0 0 25 0 1 0 177769963 184995840 44613 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134543465 0 0 4096 0 0 0 0 17 1 0 0
/proc/9311/statm: 45165 44613 204 97 0 44446 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 186012

[startup+12.7423 s]
/proc/loadavg: 1.51 1.14 1.46 3/88 9337
/proc/meminfo: memFree=734080/2055920 swapFree=4192812/4192956
[pid=9298] ppid=9296 vsize=5352 CPUtime=1.25
/proc/9298/stat : 9298 (solver) S 9296 9298 3553 0 -1 4194304 376 3172 0 0 0 0 116 9 16 0 1 0 177769833 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9298/statm: 1338 242 203 169 0 49 0
[pid=9311] ppid=9298 vsize=456332 CPUtime=11.25
/proc/9311/stat : 9311 (bordewijk) R 9298 9298 3553 0 -1 4194304 125441 0 0 0 817 308 0 0 25 0 1 0 177769963 467283968 111901 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9311/statm: 114083 111901 217 97 0 113364 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 461684

[startup+25.5637 s]
/proc/loadavg: 1.58 1.16 1.46 2/82 10018
/proc/meminfo: memFree=1459000/2055920 swapFree=4192812/4192956
[pid=9298] ppid=9296 vsize=5352 CPUtime=22.51
/proc/9298/stat : 9298 (solver) S 9296 9298 3553 0 -1 4194304 396 128614 0 0 0 0 986 1265 16 0 1 0 177769833 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9298/statm: 1338 242 203 169 0 49 0
[pid=9352] ppid=9298 vsize=263848 CPUtime=2.74
/proc/9352/stat : 9352 (standalone) R 9298 9298 3553 0 -1 4194304 20888 0 0 0 73 201 0 0 25 0 1 0 177772112 270180352 19637 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/9352/statm: 65962 19637 129 64 0 65277 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 269200

[startup+51.2214 s]
/proc/loadavg: 1.59 1.21 1.47 2/79 10053
/proc/meminfo: memFree=1280464/2055920 swapFree=4192812/4192956
[pid=9298] ppid=9296 vsize=5352 CPUtime=22.51
/proc/9298/stat : 9298 (solver) S 9296 9298 3553 0 -1 4194304 396 128614 0 0 0 0 986 1265 16 0 1 0 177769833 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9298/statm: 1338 242 203 169 0 49 0
[pid=9352] ppid=9298 vsize=263988 CPUtime=28.39
/proc/9352/stat : 9352 (standalone) R 9298 9298 3553 0 -1 4194304 66485 0 0 0 2534 305 0 0 25 0 1 0 177772112 270323712 65219 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134519664 0 0 4096 0 0 0 0 17 0 0 0
/proc/9352/statm: 65997 65219 138 64 0 65312 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 269340

Child status: 0
Real time (s): 58.0984
CPU time (s): 57.7552
CPU user time (s): 42.0026
CPU system time (s): 15.7526
CPU usage (%): 99.4093
Max. virtual memory (cumulated for all children) (KiB): 461684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.0026
system time used= 15.7526
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195573
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= 1253
involuntary context switches= 2271

runsolver used 0.071989 s user time and 0.177972 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Jan  8 22:02:22 UTC 2007


IDJOB= 205951
IDBENCH= 4177
FILE ID= node7/205951-1168293739

PBS_JOBID= 3501825

Free space on /tmp= 66469 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-8.xml
COMMAND LINE= /tmp/evaluation/205951-1168293739/solver /tmp/evaluation/205951-1168293739/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-205951-1168293739 -o ROOT/results/node7/solver-205951-1168293739 -C 1800 -M 900  /tmp/evaluation/205951-1168293739/solver /tmp/evaluation/205951-1168293739/unknown 1800

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  c63689b420ce6e8c6aef37817cc56cbd

RANDOM SEED= 646275485

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.220
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.220
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:       1262072 kB
Buffers:         78732 kB
Cached:         339332 kB
SwapCached:          0 kB
Active:         587816 kB
Inactive:       147076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1262072 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           71552 kB
Writeback:           0 kB
Mapped:         337348 kB
Slab:            42696 kB
Committed_AS:  5714044 kB
PageTables:       3112 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= 66488 MiB



End job on node7 on Mon Jan  8 22:03:24 UTC 2007