Trace number 205825

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 52.347 52.5727

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 -3458 2650 2650 -2990 -3906 -2790 -3654 -3958 2794 3426 2714 -3478 -2874 -3330 3814 -2874 -3730 -2774 -3578 -3478 -2902 3086 2650 -3926 -3946 -3398 3478 3942 -2826 2694 -3098 -3134 -3738 2774 3762 -3286 2650 3930 -3034 -3790 3686 3922 3406 -3506 3394 -3698 -4018 -3854 -3750 -3990 3870 2706 -3774 -3778 2750 3414 -3418 -3626 -3854 3770 -3390 2690 3442 -3834 -3074 -4002 -3674 -3046 -3586 -2650 -3194 -3918 -3474 -3174 3346 -3598 3810 3890 -3174 3550 3438 3446 2650 -3870 3406 3554 2690 -3594 -3854 3278 -3346 2718 -3554 -3062 2754 3930 2654 -3914 -3534 -3554 -3538 3062 -3998 -3630 3134 2826 -3070 3402 3978 3046 3946 3318 -3106 3510 3618 -3510 -2962 -3690 -3134 3018 3750 3522 2842 -3434 3258 3310 -3642 -2954 -3318 -3790 3742 3030 -3318 3562 -3090 3278 3438 -3226 3366 2806 3686 -3686 -3910 3106 -3318 -2858 -2690 2778 -3114 -2746 2882 -3034 3238 -3086 3702 3746 -2822 2870 -3450 -2902 -4002 2810 -3366 -3778 -3886 3642 2650 -2778 -3998 -3610 2914 3298 2822 -3690 -2658 3978 2846 -3066 -3926 4042 3194 -3682 3658 3186 -2766 3282 3146 3890 3166 -3578 -3134 2746 3058 -3138 -3378 -3130 -2934 2778 -3522 3334 3814 -3514 3338 -3474 -3410 3266 -2786 3938 -3790 3914 -3346 3114 -3362 -3258 -3138 -3198 -2754 -3822 -2790 -3354 3242 2782 -3438 -3646 -3810 -3214 -3558 -3386 -3426 -2690 3930 -2758 3690 2690 -3018 -3462 3750 3410 3938 4022 2650 2994 -3722 -3734 3046 -2694 -3174 3550 3586 2650 -3182 -3098 -3958 -2666 -3950 -3382 3274 -3546 2846 -3578 3674 -2706 3842 -2734 3730 -3214 3450 3958 -3390 3726 -3998 -2666 3526 3366 -2666 -3886 -3362 3650 -3222 -2982 2706 -3174 3986 3902 3374 -3750 -3610 2794 3866 -3686 -3986 -4042 2898 3278 3374 3258 3582 -2866 3382 -3190 3078 -2666 -3922 2998 -3398 3954 -3162 -2690 -2898 3134 -2694 -4042 -3198 3134 -3314 2686 3074 -2670 3238 -2830 -2910 3130 3062 -2890 3162 -3638 3598 -3414 -3886 2750 3974 3530 -3890 -2718 -3242 2878 3102 -2786 3050 -3182 -3694 -3130 -3390 -3190 3330 -2878 -3850 -3878 3202 -3230 -3998 -3930 -3890 -3306 -3810 3798 2894 -2650 -2806 -3014 -2966 3014 2754 -3074 3786 -3978 -3458 2914 -3854 -2982 -3438 -3986 -3538 -3438 -3690 3330 3994 3542 -3126 4002 2694 -3650 -2930 -3146 -3466 3514 -4018 2950 -3614 -3074 2770 -3106 -3650 2738 -2658 3990 2710 3298 3134 3746 -2742 -3982 -2998 -2938 3438 3178 -3946 3202 -3874 -3402 -3890 2770 4014 3054 2814 2850 3306 -2986 -2666 3934 2946 -2994 -3686 -4038 -2850 3642 3538 3186 -2702 -3106 -3230 -3638 3382 -3010 -3014 -3914 3730 2930 4002 3146 -3702 -3026 2650 -3914 -3646 -2950 3002 3158 2718 3890 -3930 -2918 -2858 -3142 -3930 3422 3346 3718 3922 2714 -3370 -3470 -2770 -2650 -3138 -3926 -3058 3590 -3874 -3182 3146 3346 -3650 2886 3974 -3682 4034 3682 -2658 -2750 -4002 -3126 -2894 2650 3142 -2942 2954 3506 -3066 -2678 -3366 -3882 -3890 2698 2678 3042 -3706 3750 3398 -4018 -3098 -3694 3178 -2690 -3958 2690 -3218 3298 -3610 3306 -3054 3498 -3890 3154 -3702 -3182 -3150 -3790 -3286 -2706 3222 3114 -2954 3930 2898 3774 -2902 -3134 -3782 -2650 -3250 3350 -2806 -2698 -3474 -3138 -3422 -2718 3426 3262 -3862 -3874 2686 -3386 3998 -3018 -3790 -3598 -3950 3998 3386 -3426 -4042 3810 -3890 -4038 -2994 2974 2730 -2810 -3854 3082 3678 2790 -4018 -3066 2662 -3646 -3066 -3298 -3874 -4038 2890 -2950 -3742 3706 -3054 -3638 -3906 -2694 3954 3146 3554 -3346 3602 -3046 -3958 -3074 3726 -3930 3594 3182 -3726 -3546 3886 -3038 -4018 -3382 3862 -2814 -2926 -3210 -3930 -2946 2670 -3046 -3574 -3062 -3534 -3610 -3922 -2786 -3218 -3118 -3442 -2722 -2978 2746 -3498 3810 -3066 -3954 -3498 3650 3170 -3070 -3874 -3914 -3354 -3838 -3294 -3442 -2838 -3166 3874 2706 2702 2690 -3158 3590 -3818 3602 -3238 -3134 3874 -3998 -3134 -3138 3578 -3654 -4002 2782 -3882 -2950 -4018 -2650 -3478 -3646 2918 3334 -3638 -3770 4042 -3682 -3042 3190 3814 -3018 -3182 -2814 -2726 -2690 -3258 -3066 -3890 3870 3206 -3174 -3890 -3434 -3770 3158 3610 -3854 -3098 -3586 -3270 2790 2650 3670 2910 -4042 3238 3202 -3890 3070 -3962 4038 2750 -3798 3386 2714 -3242 2890 -2806 -2914 2946 2754 -2810 -4002 -3214 3966 -3170 -2990 -3634 -3018 -3494 3358 -2870 -3930 -3842 -3770 3626 3774 4038 -3722 2874 -3198 3250 -3490 3690 -2878 -3542 -3090 -3682 3598 -3662 -3666 -3814 -3830 -3182 -2854 -3058 -2894 -2690 -4026 -3046 3514 3154 -2714 -2930 -3998 -2966 -2650 -3558 -3802 3170 3102 -2822 -3570 -2678 -3146 4042 -3994 -3686 -3194 -3570 -3058 -3990 -3930 -3086 -3418 -2970 -3358 4042 3366 -3382 3582 -3438 3398 -3478 2986 2950 3466 3222 3210 3498 -3114 -3106 -3950 3134 -3366 -3118 3566 -3118 3574 -3370 3562 -3586 3226 -3870 3534 -3970 -2818 -2738 3802 3770 2658 -3402 3658 3610 3230 -3050 -3978 2710 -3734 -3650 -2726 3950 -3306 -3074 3162 2786 -3758 3950 3978 -3070 -3178 3998 -3914 -3926 -3138 -3514 3650 -3678 -2818 3594 -2730 -3542 -3338 3298 3890 3598 3402 -3002 -3950 -3890 -3662 2690 3834 3438 2834 -4014 3254 -2758 2658 -3122 3858 3534 4042 3914 -3562 -3126 -3930 -3730 -3410 -2854 -2718 -3462 -3814 2742 3062 -3930 -3858 -3018 2906 -3038 -2942 3690 3014 2738 2690 -2906 3410 -3030 3998 3906 3446 -3014 3922 -3662 2690 2918 -3258 -3538 -3786 -3878 3230 2814 -2934 -3342 -3902 3766 -3914 -3650 3802 -3402 -4038 -3930 -3034 3346 -3850 3186 -3978 -2906 -3542 4042 -3306 3510 -3978 -3894 3342 -2706 4038 3102 3946 -3730 -3886 -2694 3998 3374 2962 2958 -2690 -3166 3478 -3850 3554 2662 -3678 -3766 -4002 -2770 3602 3094 -4002 2822 -2906 -3638 -4018 -3698 3998 -2978 -3466 -3438 3990 -3538 3746 3698 -3638 -3142 -3562 -3370 3958 -3186 3302 -3110 -3598 -3018 -3314 2838 -2690 3138 2906 3402 -3882 3962 -3998 3814 3690 2814 -3138 3338 -3998 2874 -3978 -3306 3162 -3346 3534 -3354 -3054 -3646 3326 -3146 -2998 3698 -3830 -3086 -2970 3402 -3826 -3310 -2950 2734 -3210 -2698 3370 3858 -3734 -3886 -3998 3586 3890 3278 3422 -2858 -3390 -3874 -3598 -2698 -3978 -3386 3506 3326 2970 3198 3854 3050 -3514 -3202 -3990 -3658 2830 -3238 -3134 3106 -3682 3750 3062 -2706 3346 -2990 -2714 -3946 -3654 3950 3410 -3270 -3094 -3006 -3142 -2930 -3414 -3770 -3842 -2910 3466 -3126 3218 3398 4042 3454 -2890 3998 -2950 -3186 -3646 3910 -3542 -2702 -3070 3250 3642 -3070 -3370 3502 2690 -3682 -3890 3722 2838 3290 -3658 -2654 -3082 -3630 -2714 -3094 -2726 3466 3638 3602 -3998 -3634 -3538 3990 -3102 -3186 3990 3054 3098 -2930 3886 -3466 3054 3606 -3866 -3998 -3790 3986 3338 -2774 -3438 -3926 -2938 2974 -3990 -3410 -3682 3542 -3114 3662 -3590 -3110 -3438 -3342 -3450 -3178 3970 -3642 2886 3278 -3058 3562 -3506 -3810 3770 -3818 -2906 -3110 3758 -3650 3606 2934 2906 -2942 -2698 3394 -3914 -3990 -3054 -3722 -3130 -3342 -4038 -3306 2694 3906 3022 3490 -3078 -3426 3738 3598 -3890 -2834 -3330 3174 -2942 3914 -3134 3814 -3958 -3998 -3562 -3086 -3430 2706 -3238 -2938 3910 3890 2778 3054 -3426 3738 3554 3118 -2994 3498 3198 -3790 -2854 -3918 -2966 -3034 -3606 -2846 3914 -2782 3338 -3930 3170 3610 3682 2822 3646 3794 3666 -3174 -3122 -3002 -3054 3794 -2878 -2690 3658 -3134 -3066 3910 -3018 -2958 3106 3990 3890 3018 -3530 -3950 -3202 -3470 -3954 -3694 -4042 3646 -3238 -3242 -3398 -2830 4038 3954 3726 -3910 -3446 -2714 -3726 -3582 -3286 2698 2894 -2910 -4038 -3478 2694 3086 3026 3506 3326 3138 3710 3790 -3098 -3338 2734 -2810 -3094 3562 -4022 -2766 -3470 -2746 3122 3866 3054 -2674 3234 3254 3394 3406 3926 -3038 -3698 3310 -3190 -3090 3582 -3186 3482 -3654 -2986 -3466 -3914 -4018 -3430 3190 3974 -2714 3478 -2918 3594 -3758 -3098 3134 -4014 -3030 3142 3714 -3678 -2866 3734 2834 -3586 -3174 -2774 3686 -3826 -4038 -3526 -3978 -3918 3014 -3074 3682 -3798 -3718 -2826 -3986 3798 -3978 -3446 -3478 -3986 -3258 3870 -3830 -3598 -3594 -3742 3958 -3986 3378 2742 -3702 3634 -3566 -3974 -3302 -3978 3642 3182 -3346 3206 -3738 2978 3230 -3026 3154 3182 -3206 3350 3894 -3586 3926 -3010 3634 -3594 3750 -3526 2702 3178 -3990 3086 3798 3758 -2786 -3050 3954 2938 -3958 3626 3190 3014 -2718 -3926 3582 -3202 -3086 3886 2726 3030 2670 -2694 -3282 -3842 3218 4042 -4042 -2666 -2910 3170 -4018 -3690 3022 -3706 -2874 -2778 -3478 3530 3798 3486 -3254 3066 3354 -3998 4002 -3990 3690 2746 -3646 2910 3282 3986 -2978 -4022 4042 -3890 3342 -3782 3398 2710 -3750 -3090 3650 -3290 2710 -4042 3930 -2926 2650 -3890 -3702 -2690 -3870 3290 3862 -3246 3574 -2774 -3082 -3158 3778 -3706 3838 -3058 -2686 -2666 3698 -3974 2994 -2690 -3642 -3142 3826 3490 -3462 3598 -3966 -3118 -3090 -4038 3074 3266 -3602 -2690 3750 -3366 -3018 -3682 -3158 -3238 3682 -3950 -3958 3022 -3138 -3594 2854 2670 -3082 -3490 2702 -3790 -2998 3002 -3678 -3982 2822 3094 -4042 -2814 -3270 -3606 3570 3474 -2706 -2726 -2654 -2654 -3810 2678 -3046 -3438 -2862 4042 -3754 3442 -3930 -2854 2918 -3198 3950 -2786 -3186 -3850 2962 2758 2946 2666 3594 4018 -3926 2882 -3350 3194 -3642 -4038 3878 -3098 3870 3518 3634 3914 -2746 3746 -3406 -2910 -3162 3810 2850 3698 -3890 3966 -3950 3658 -3382 -3602 3298 3802 -3634 3478 3074 -3910 3294 -3950 3934 -3998 -3582 -3722 -2694 -2690 -2930 -3558 -3282 -3582 -2958 2914 -3830 -3542 3526 -3530 3586 -2978 -3318 -2690 3114 3634 3646 -3130 -3142 -3034 3090 -3102 -2670 2686 -3342 -3566 3542 -3234 -3954 3566 2966 -3638 3934 3458 -3818 3438 -3750 -3598 3934 -3014 -3694 -3598 -2958 -3122 -3386 3178 -3442 -3594 3606 -3050 3930 3738 -3962 3010 -3226 2886 -3274 -3690 -3558 3342 3274 -2906 3462 -3750 3258 -3878 3710 3270 -2898 3098 3058 -3498 -3274 -3174 3894 3138 3862 -2730 3314 3458 -3210 3334 3418 3318 -3330 3566 -4038 -3926 3542 3122 -3110 -3646 3606 -3886 -3346 3230 -2706 3598 3842 2826 3438 -3494 2798 -3750 2854 3090 -2846 3662 -3182 -2946 3654 -2678 -3770 -3186 3370 -2674 -3306 3122 3314 -3154 -3534 -3518 -3526 -2702 -3546 -3646 -3774 -3502 4002 -3154 -3018 3770 -3886 2690 3782 -3810 -2662 -2754 -3454 -2850 3570 -2726 -3042 -3210 3238 2938 -4042 -3398 -3014 -4002 -3890 2934 -3158 -3890 3082 -2654 3058 -3906 -3218 -3186 -3894 -2706 -2690 -3098 -3890 -3182 -3198 -2674 -3994 -3958 3278 -3890 -3782 -3638 3058 -3398 3470 -3386 3470 2698 -2738 -3930 -3570 -3610 -3658 -3270 -3974 -2818 3506 -3786 -3142 -2702 -3958 -3598 -3946 -3142 2690 3874 -3922 -3518 -2650 3650 2834 2978 -3194 2658 -3726 3034 -3378 3750 3542 2714 -3874 3070 3498 -3246 -3414 -4018 2958 3554 3042 -3814 -3882 -4014 -3694 -4042 3626 -3438 -2890 -3786 -2718 -3434 -2810 -4002 -2666 -3598 3190 -3146 -4002 3442 -3718 -3994 3002 -3802 -2926 2690 -3950 3506 -3294 -3198 2662 -3886 3474 3914 3850 -3670 3750 -3998 -3930 3350 -3946 -3598 -2834 -2898 -3054 -3890 -4002 -4042 2830 -3186 3086 3378 3154 -3630 -3638 -3186 -3874 -3382 3230 4038 3466 -3438 3654 -2814 3650 -3658 -3866 -2654 3638 -2650 -3014 3682 3846 3646 3826 -3174 3850 -2690 -3478 2718 -2710 -3982 -3346 -3078 2662 3766 2982 -2946 3566 3874 -2838 -3790 -3370 -3642 -3686 3094 -2690 3434 -3058 3566 -3170 -3638 -3186 2994 -3998 3714 -3926 -3822 -2650 -3442 -3242 -3258 -2914 -3650 -3774 -3790 -3130 2650 -3922 -3774 -3974 3094 -3114 4042 -3950 -3106 -3130 -3042 -3174 3166 -3830 -3482 -3838 -3538 3754 -3606 -3846 -3614 2954 -3170 2926 -2818 -4002 2854 -3150 -3570 -3022 -3370 3370 -3978 2666 -3886 -3538 2698 -3158 3894 2842 -3766 -2762 3386 -3838 -2702 3242 2990 -2754 -2846 4038 3102 -2694 2890 -3890 -3594 -4002 -4002 -4002 3650 -3670 -3386 4002 3110 3814 2834 -4042 2718 -3238 2710 3886 2650 -3046 3286 2782 3998 -3834 -3870 -3198 -2714 -2690 3914 2650 -3438 2814 -3142 3654 -3246 3782 3702 -4042 -3978 -3062 -3634 -3150 3522 3462 -2702 3870 -3182 -3998 3402 -2918 -2742 -3838 -3902 -2654 3702 -2798 -3822 -2754 3018 -3802 3974 -3990 -3438 -2910 -3102 -3314 -3882 3014 3486 2694 -3642 -3654 3790 -3610 2794 3558 3102 3222 -3498 3934 3482 -3998 -2794 3546 3634 3710 -3542 -2854 -3342 -3322 -3298 -3638 3642 -3022 -3658 -4026 -4002 3734 -3410 -3146 2938 3186 3822 3982 -3218 -3550 -2982 3430 3998 -3214 3894 -3790 2698 -3190 -3926 -3874 2682 -3834 3158 -3978 3762 2862 -2954 -3226 3950 3402 -3038 -3082 -3434 3958 3998 3770 -3110 3090 3234 3778 -2714 3546 3178 3146 -3062 -3350 3106 3574 -3826 3146 -3946 3406 -2778 -2770 -2706 3494 -3302 3074 3598 -3066 -3146 -3690 -3382 3522 -3698 3914 -3854 -3834 3214 -3350 3290 3994 2750 -2662 -3438 3438 3682 2966 -2650 3554 -3478 3946 3222 3126 -2666 -2866 -2938 -3694 -3726 2890 3378 3058 -3702 3910 3686 -2658 2834 3978 -3598 -3138 3762 2706 -3846 -3698 -3326 -3930 -2702 3298 -3798 3502 4030 -2978 -3054 -2702 -3690 -3310 -3526 -2818 3234 2734 -3638 -3502 2846 -2814 3946 -3822 3094 -3930 3770 -2906 2870 4038 -2898 -3146 -3410 -2706 -3922 -2650 -2870 -2830 2810 3866 2866 2722 -3730 -3306 3054 3186 -3094 -3998 2926 3946 -3862 -3894 -3346 -3198 4034 -3006 -3010 -2790 -3930 -3398 -3954 -3914 -2938 -3098 -3306 3166 3446 -3186 2790 -3094 -3438 3334 2814 3958 2990 4014 2666 3050 -3050 -2674 -3770 3502 -3790 2874 -3266 3998 -3466 -3126 3198 3130 -2698 3198 2902 -3930 3786 -3458 3694 -4010 -2974 3530 3774 -3438 -3726 -3478 3958 -4018 -3610 3758 3882 -3890 -3874 4014 -3074 3346 4002 -3230 -3586 -2674 -2654 -2846 3670 3470 -3134 -3122 3930 3890 -2658 -3062 -3266 2650 -3438 2714 -3638 -3298 -3354 -3430 -3282 2882 -3086 -2950 3578 3354 3174 3006 -2734 3926 -3602 3606 -3114 3358 -3874 3990 2806 -2918 2818 -3590 -3774 -2790 -3746 3202 -2954 2942 3406 3238 -3138 -3874 -3998 2650 3502 3886 3674 -3750 -3386 -2962 -3626 3182 3214 -3874 -3238 3798 -2742 -3686 3558 2830 3930 -3330 2774 -3002 2818 2846 -3102 -3134 3854 -3406 3914 3822 -3626 -4006 -3066 2806 -2750 3770 3342 -3810 -3262 3090 -3434 2878 -3142 -3502 -3926 -3310 3166 -2650 -3222 -3646 3726 3710 -2674 -3950 -3106 -3642 3034 -3686 -2650 -2678 3194 -3162 -3434 -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 3126 3882 3038 -3442 2866 -3094 -3242 -3910 -3294 3194 3530 -3386 -3018 3998 -3370 -3974 3646 -3758 -3386 -3166 -2710 3474 -3422 -2850 -3810 -3146 -3434 -4018 2826 3426 -2674 -3870 -2714 -3850 2974 -2690 3830 -3010 -3570 -3066 -4002 4002 -2710 -2706 -3314 -3710 3986 3278 3694 2842 3630 -3886 -2946 4002 -3998 3082 -3874 -3810 -3798 -3146 -3990 -3302 -3594 4038 -3638 -3730 2706 2690 3162 -3906 -3098 -3614 3554 -4018 -3154 3110 -3674 2954 3638 -3422 3150 3950 -2650 3322 -3586 -3186 3994 -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/node7/watcher-205825-1168293705 -o ROOT/results/node7/solver-205825-1168293705 -C 1800 -M 900 /tmp/evaluation/205825-1168293705/solver /tmp/evaluation/205825-1168293705/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.08 1.02 1.44 5/93 8571
/proc/meminfo: memFree=1281944/2055920 swapFree=4192812/4192956
[pid=8570] ppid=8568 vsize=5352 CPUtime=0
/proc/8570/stat : 8570 (solver) S 8568 8570 3580 0 -1 4194304 295 26 0 0 0 0 0 0 16 0 1 0 177766114 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8570/statm: 1338 232 194 169 0 49 0
[pid=8573] ppid=8570 vsize=0 CPUtime=0
/proc/8573/stat : 8573 (grep) R 8570 8570 3580 0 -1 4194308 164 0 0 0 0 0 0 0 23 0 1 0 177766115 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/8573/statm: 0 0 0 0 0 0 0

[startup+0.110294 s]
/proc/loadavg: 1.08 1.02 1.44 5/93 8571
/proc/meminfo: memFree=1281944/2055920 swapFree=4192812/4192956
[pid=8570] ppid=8568 vsize=5352 CPUtime=0
/proc/8570/stat : 8570 (solver) S 8568 8570 3580 0 -1 4194304 354 334 0 0 0 0 0 0 18 0 1 0 177766114 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8570/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.518336 s]
/proc/loadavg: 1.08 1.02 1.44 5/93 8571
/proc/meminfo: memFree=1281944/2055920 swapFree=4192812/4192956
[pid=8570] ppid=8568 vsize=5352 CPUtime=0
/proc/8570/stat : 8570 (solver) S 8568 8570 3580 0 -1 4194304 354 334 0 0 0 0 0 0 18 0 1 0 177766114 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8570/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34143 s]
/proc/loadavg: 1.08 1.02 1.44 3/97 8582
/proc/meminfo: memFree=1267000/2055920 swapFree=4192812/4192956
[pid=8570] ppid=8568 vsize=5352 CPUtime=1.23
/proc/8570/stat : 8570 (solver) S 8568 8570 3580 0 -1 4194304 376 3172 0 0 0 0 114 9 16 0 1 0 177766114 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8570/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 5352

[startup+2.9816 s]
/proc/loadavg: 1.08 1.02 1.44 3/94 8583
/proc/meminfo: memFree=1222288/2055920 swapFree=4192812/4192956
[pid=8570] ppid=8568 vsize=5352 CPUtime=1.23
/proc/8570/stat : 8570 (solver) S 8568 8570 3580 0 -1 4194304 376 3172 0 0 0 0 114 9 16 0 1 0 177766114 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8570/statm: 1338 242 203 169 0 49 0
[pid=8583] ppid=8570 vsize=73608 CPUtime=1.7
/proc/8583/stat : 8583 (bordewijk) R 8570 8570 3580 0 -1 4194304 17891 0 0 0 158 12 0 0 25 0 1 0 177766239 75374592 17863 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134525704 0 0 4096 0 0 0 0 17 1 0 0
/proc/8583/statm: 18402 17863 204 97 0 17683 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 78960

[startup+6.27695 s]
/proc/loadavg: 1.15 1.03 1.44 3/94 8585
/proc/meminfo: memFree=1067728/2055920 swapFree=4192812/4192956
[pid=8570] ppid=8568 vsize=5352 CPUtime=1.23
/proc/8570/stat : 8570 (solver) S 8568 8570 3580 0 -1 4194304 376 3172 0 0 0 0 114 9 16 0 1 0 177766114 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8570/statm: 1338 242 203 169 0 49 0
[pid=8583] ppid=8570 vsize=184720 CPUtime=4.96
/proc/8583/stat : 8583 (bordewijk) R 8570 8570 3580 0 -1 4194304 45649 0 0 0 461 35 0 0 25 0 1 0 177766239 189153280 45619 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 10855373 0 0 4096 0 0 0 0 17 1 0 0
/proc/8583/statm: 46180 45619 204 97 0 45461 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 190072

[startup+12.7456 s]
/proc/loadavg: 1.28 1.06 1.45 3/94 8591
/proc/meminfo: memFree=751888/2055920 swapFree=4192812/4192956
[pid=8570] ppid=8568 vsize=5352 CPUtime=1.23
/proc/8570/stat : 8570 (solver) S 8568 8570 3580 0 -1 4194304 376 3172 0 0 0 0 114 9 16 0 1 0 177766114 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8570/statm: 1338 242 203 169 0 49 0
[pid=8583] ppid=8570 vsize=456332 CPUtime=11.37
/proc/8583/stat : 8583 (bordewijk) R 8570 8570 3580 0 -1 4194304 125445 0 0 0 820 317 0 0 25 0 1 0 177766239 467283968 111901 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8583/statm: 114083 111901 217 97 0 113364 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 461684

[startup+25.57 s]
/proc/loadavg: 1.31 1.08 1.45 2/88 8618
/proc/meminfo: memFree=1479936/2055920 swapFree=4192812/4192956
[pid=8570] ppid=8568 vsize=5352 CPUtime=22.39
/proc/8570/stat : 8570 (solver) S 8568 8570 3580 0 -1 4194304 396 128618 0 0 0 0 989 1250 19 0 1 0 177766114 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8570/statm: 1338 242 203 169 0 49 0
[pid=8612] ppid=8570 vsize=263848 CPUtime=3.01
/proc/8612/stat : 8612 (standalone) R 8570 8570 3580 0 -1 4194304 21417 0 0 0 76 225 0 0 25 0 1 0 177768369 270180352 20166 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/8612/statm: 65962 20169 129 64 0 65277 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 269200

[startup+51.2377 s]
/proc/loadavg: 1.51 1.14 1.46 3/88 9337
/proc/meminfo: memFree=732992/2055920 swapFree=4192812/4192956
[pid=8570] ppid=8568 vsize=5352 CPUtime=22.39
/proc/8570/stat : 8570 (solver) S 8568 8570 3580 0 -1 4194304 396 128618 0 0 0 0 989 1250 19 0 1 0 177766114 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8570/statm: 1338 242 203 169 0 49 0
[pid=8612] ppid=8570 vsize=263960 CPUtime=28.6
/proc/8612/stat : 8612 (standalone) R 8570 8570 3580 0 -1 4194304 66455 0 0 0 2526 334 0 0 25 0 1 0 177768369 270295040 65189 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134519645 0 0 4096 0 0 0 0 17 0 0 0
/proc/8612/statm: 65990 65189 138 64 0 65305 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 269312

Child status: 0
Real time (s): 52.5727
CPU time (s): 52.347
CPU user time (s): 36.4375
CPU system time (s): 15.9096
CPU usage (%): 99.5708
Max. virtual memory (cumulated for all children) (KiB): 461684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.4375
system time used= 15.9096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195578
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= 2102

runsolver used 0.06399 s user time and 0.175973 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Jan  8 22:01:47 UTC 2007


IDJOB= 205825
IDBENCH= 4170
FILE ID= node7/205825-1168293705

PBS_JOBID= 3501826

Free space on /tmp= 66473 MiB

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

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  905321a8d9852006a24c0f2b5f8b53c5

RANDOM SEED= 46301262

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:       1282488 kB
Buffers:         78360 kB
Cached:         326376 kB
SwapCached:          0 kB
Active:         569632 kB
Inactive:       145188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1282488 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           49696 kB
Writeback:           0 kB
Mapped:         330656 kB
Slab:            42384 kB
Committed_AS:  5707840 kB
PageTables:       3100 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= 66392 MiB



End job on node7 on Mon Jan  8 22:02:39 UTC 2007