Trace number 205950

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 63.7703 64.1654

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

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-205950-1168293737 -o ROOT/results/node5/solver-205950-1168293737 -C 1800 -M 900 /tmp/evaluation/205950-1168293737/solver2 /tmp/evaluation/205950-1168293737/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.72 1.82 1.68 6/95 25691
/proc/meminfo: memFree=844112/2055920 swapFree=4192812/4192956
[pid=25688] ppid=25684 vsize=5352 CPUtime=0
/proc/25688/stat : 25688 (solver2) S 25684 25688 21371 0 -1 4194304 295 26 0 0 0 0 0 0 16 0 1 0 157988432 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25688/statm: 1338 232 194 169 0 49 0
[pid=25690] ppid=25688 vsize=0 CPUtime=0
/proc/25690/stat : 25690 (grep) R 25688 25688 21371 0 -1 4194308 164 0 0 0 0 0 0 0 21 0 1 0 157988432 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/25690/statm: 0 0 0 0 0 0 0

[startup+0.109603 s]
/proc/loadavg: 1.72 1.82 1.68 6/95 25691
/proc/meminfo: memFree=844112/2055920 swapFree=4192812/4192956
[pid=25688] ppid=25684 vsize=5352 CPUtime=0
/proc/25688/stat : 25688 (solver2) S 25684 25688 21371 0 -1 4194304 353 334 0 0 0 0 0 0 18 0 1 0 157988432 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25688/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.517651 s]
/proc/loadavg: 1.72 1.82 1.68 6/95 25691
/proc/meminfo: memFree=844112/2055920 swapFree=4192812/4192956
[pid=25688] ppid=25684 vsize=5352 CPUtime=0
/proc/25688/stat : 25688 (solver2) S 25684 25688 21371 0 -1 4194304 353 334 0 0 0 0 0 0 18 0 1 0 157988432 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25688/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33975 s]
/proc/loadavg: 1.72 1.82 1.68 3/94 25701
/proc/meminfo: memFree=825168/2055920 swapFree=4192812/4192956
[pid=25688] ppid=25684 vsize=5352 CPUtime=0.94
/proc/25688/stat : 25688 (solver2) S 25684 25688 21371 0 -1 4194304 376 3172 0 0 0 0 85 9 16 0 1 0 157988432 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25688/statm: 1338 242 203 169 0 49 0
[pid=25701] ppid=25688 vsize=18300 CPUtime=0.36
/proc/25701/stat : 25701 (bordewijk) R 25688 25688 21371 0 -1 4194304 4052 0 0 0 33 3 0 0 20 0 1 0 157988529 18739200 4024 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 8328827 0 0 4096 0 0 0 0 17 1 0 0
/proc/25701/statm: 4575 4024 204 97 0 3856 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 23652

[startup+2.98293 s]
/proc/loadavg: 1.72 1.82 1.68 3/94 25701
/proc/meminfo: memFree=771472/2055920 swapFree=4192812/4192956
[pid=25688] ppid=25684 vsize=5352 CPUtime=0.94
/proc/25688/stat : 25688 (solver2) S 25684 25688 21371 0 -1 4194304 376 3172 0 0 0 0 85 9 16 0 1 0 157988432 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25688/statm: 1338 242 203 169 0 49 0
[pid=25701] ppid=25688 vsize=83640 CPUtime=1.98
/proc/25701/stat : 25701 (bordewijk) R 25688 25688 21371 0 -1 4194304 20396 0 0 0 183 15 0 0 25 0 1 0 157988529 85647360 20368 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134534244 0 0 4096 0 0 0 0 17 1 0 0
/proc/25701/statm: 20910 20368 204 97 0 20191 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 88992

[startup+6.27631 s]
/proc/loadavg: 1.74 1.82 1.68 3/94 25703
/proc/meminfo: memFree=629712/2055920 swapFree=4192812/4192956
[pid=25688] ppid=25684 vsize=5352 CPUtime=0.94
/proc/25688/stat : 25688 (solver2) S 25684 25688 21371 0 -1 4194304 376 3172 0 0 0 0 85 9 16 0 1 0 157988432 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25688/statm: 1338 242 203 169 0 49 0
[pid=25701] ppid=25688 vsize=196676 CPUtime=5.24
/proc/25701/stat : 25701 (bordewijk) R 25688 25688 21371 0 -1 4194304 48671 0 0 0 488 36 0 0 25 0 1 0 157988529 201396224 48641 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134697437 0 0 4096 0 0 0 0 17 1 0 0
/proc/25701/statm: 49169 48641 211 97 0 48450 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 202028

[startup+12.748 s]
/proc/loadavg: 1.76 1.83 1.68 3/94 25709
/proc/meminfo: memFree=317456/2055920 swapFree=4192812/4192956
[pid=25688] ppid=25684 vsize=5352 CPUtime=0.94
/proc/25688/stat : 25688 (solver2) S 25684 25688 21371 0 -1 4194304 376 3172 0 0 0 0 85 9 16 0 1 0 157988432 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25688/statm: 1338 242 203 169 0 49 0
[pid=25701] ppid=25688 vsize=456332 CPUtime=11.62
/proc/25701/stat : 25701 (bordewijk) R 25688 25688 21371 0 -1 4194304 125441 0 0 0 843 319 0 0 25 0 1 0 157988529 467283968 111901 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25701/statm: 114083 111901 217 97 0 113364 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 461684

[startup+25.5695 s]
/proc/loadavg: 1.81 1.83 1.69 3/88 25730
/proc/meminfo: memFree=728008/2055920 swapFree=4192812/4192956
[pid=25688] ppid=25684 vsize=5352 CPUtime=22.88
/proc/25688/stat : 25688 (solver2) S 25684 25688 21371 0 -1 4194304 397 128614 0 0 0 0 990 1298 19 0 1 0 157988432 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25688/statm: 1338 242 203 169 0 49 0
[pid=25730] ppid=25688 vsize=263848 CPUtime=2.35
/proc/25730/stat : 25730 (standalone) R 25688 25688 21371 0 -1 4194304 18488 0 0 0 67 168 0 0 25 0 1 0 157990750 270180352 17237 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25730/statm: 65962 17237 129 64 0 65277 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 269200

[startup+51.2334 s]
/proc/loadavg: 1.81 1.83 1.69 3/88 26412
/proc/meminfo: memFree=688016/2055920 swapFree=4192812/4192956
[pid=25688] ppid=25684 vsize=5352 CPUtime=22.88
/proc/25688/stat : 25688 (solver2) S 25684 25688 21371 0 -1 4194304 397 128614 0 0 0 0 990 1298 19 0 1 0 157988432 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25688/statm: 1338 242 203 169 0 49 0
[pid=25730] ppid=25688 vsize=263924 CPUtime=27.94
/proc/25730/stat : 25730 (standalone) R 25688 25688 21371 0 -1 4194304 66389 0 0 0 2478 316 0 0 25 0 1 0 157990750 270258176 65123 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134527024 0 0 4096 0 0 0 0 17 0 0 0
/proc/25730/statm: 65981 65123 137 64 0 65296 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 269276

Child status: 0
Real time (s): 64.1654
CPU time (s): 63.7703
CPU user time (s): 47.5158
CPU system time (s): 16.2545
CPU usage (%): 99.3842
Max. virtual memory (cumulated for all children) (KiB): 461684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.5158
system time used= 16.2545
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195575
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= 1249
involuntary context switches= 2982

runsolver used 0.070989 s user time and 0.205968 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Mon Jan  8 22:02:20 UTC 2007


IDJOB= 205950
IDBENCH= 4177
FILE ID= node5/205950-1168293737

PBS_JOBID= 3501787

Free space on /tmp= 66265 MiB

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

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  c63689b420ce6e8c6aef37817cc56cbd

RANDOM SEED= 253906817

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:        844736 kB
Buffers:         73332 kB
Cached:         764836 kB
SwapCached:          0 kB
Active:         622616 kB
Inactive:       519800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        844736 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           70484 kB
Writeback:           0 kB
Mapped:         324848 kB
Slab:            52708 kB
Committed_AS:  4538328 kB
PageTables:       2904 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= 66248 MiB



End job on node5 on Mon Jan  8 22:03:27 UTC 2007