Trace number 205966

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 57.7832 58.2188

General information on the benchmark

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

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/node13/watcher-205966-1168293741 -o ROOT/results/node13/solver-205966-1168293741 -C 1800 -M 900 /tmp/evaluation/205966-1168293741/solver2 /tmp/evaluation/205966-1168293741/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.25 1.12 1.10 3/93 16145
/proc/meminfo: memFree=931168/2055920 swapFree=4192812/4192956
[pid=16144] ppid=16142 vsize=880 CPUtime=0
/proc/16144/stat : 16144 (solver2) R 16142 16144 13219 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 177769387 901120 25 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269754627349 0 0 4096 0 0 0 0 17 1 0 0
/proc/16144/statm: 220 25 18 169 0 8 0

[startup+0.10284 s]
/proc/loadavg: 1.25 1.12 1.10 3/93 16145
/proc/meminfo: memFree=931168/2055920 swapFree=4192812/4192956
[pid=16144] ppid=16142 vsize=5352 CPUtime=0
/proc/16144/stat : 16144 (solver2) S 16142 16144 13219 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177769387 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16144/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.510897 s]
/proc/loadavg: 1.25 1.12 1.10 3/93 16145
/proc/meminfo: memFree=931168/2055920 swapFree=4192812/4192956
[pid=16144] ppid=16142 vsize=5352 CPUtime=0
/proc/16144/stat : 16144 (solver2) S 16142 16144 13219 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177769387 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16144/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33301 s]
/proc/loadavg: 1.25 1.12 1.10 3/94 16157
/proc/meminfo: memFree=911256/2055920 swapFree=4192812/4192956
[pid=16144] ppid=16142 vsize=5352 CPUtime=0.91
/proc/16144/stat : 16144 (solver2) S 16142 16144 13219 0 -1 4194304 376 3172 0 0 0 0 80 11 16 0 1 0 177769387 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16144/statm: 1338 242 203 169 0 49 0
[pid=16157] ppid=16144 vsize=16320 CPUtime=0.32
/proc/16157/stat : 16157 (bordewijk) R 16144 16144 13219 0 -1 4194304 3585 0 0 0 30 2 0 0 20 0 1 0 177769487 16711680 3557 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134552535 0 0 4096 0 0 0 0 17 1 0 0
/proc/16157/statm: 4080 3557 204 97 0 3361 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 21672

[startup+2.97122 s]
/proc/loadavg: 1.25 1.12 1.10 3/94 16159
/proc/meminfo: memFree=859032/2055920 swapFree=4192812/4192956
[pid=16144] ppid=16142 vsize=5352 CPUtime=0.91
/proc/16144/stat : 16144 (solver2) S 16142 16144 13219 0 -1 4194304 376 3172 0 0 0 0 80 11 16 0 1 0 177769387 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16144/statm: 1338 242 203 169 0 49 0
[pid=16157] ppid=16144 vsize=81528 CPUtime=1.94
/proc/16157/stat : 16157 (bordewijk) R 16144 16144 13219 0 -1 4194304 19886 0 0 0 178 16 0 0 25 0 1 0 177769487 83484672 19858 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 12310401 0 0 4096 0 0 0 0 17 1 0 0
/proc/16157/statm: 20382 19858 204 97 0 19663 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 86880

[startup+6.26767 s]
/proc/loadavg: 1.31 1.13 1.11 3/94 16161
/proc/meminfo: memFree=709400/2055920 swapFree=4192812/4192956
[pid=16144] ppid=16142 vsize=5352 CPUtime=0.91
/proc/16144/stat : 16144 (solver2) S 16142 16144 13219 0 -1 4194304 376 3172 0 0 0 0 80 11 16 0 1 0 177769387 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16144/statm: 1338 242 203 169 0 49 0
[pid=16157] ppid=16144 vsize=195900 CPUtime=5.22
/proc/16157/stat : 16157 (bordewijk) R 16144 16144 13219 0 -1 4194304 48466 0 0 0 485 37 0 0 25 0 1 0 177769487 200601600 48436 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134789925 0 0 4096 0 0 0 0 17 1 0 0
/proc/16157/statm: 48975 48436 211 97 0 48256 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 201252

[startup+12.7395 s]
/proc/loadavg: 1.37 1.15 1.11 3/88 16184
/proc/meminfo: memFree=823304/2055920 swapFree=4192812/4192956
[pid=16144] ppid=16142 vsize=5352 CPUtime=0.91
/proc/16144/stat : 16144 (solver2) S 16142 16144 13219 0 -1 4194304 376 3172 0 0 0 0 80 11 16 0 1 0 177769387 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16144/statm: 1338 242 203 169 0 49 0
[pid=16157] ppid=16144 vsize=456332 CPUtime=11.65
/proc/16157/stat : 16157 (bordewijk) R 16144 16144 13219 0 -1 4194304 125441 0 0 0 821 344 0 0 25 0 1 0 177769487 467283968 111901 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/16157/statm: 114083 111901 217 97 0 113364 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 461684

[startup+25.5692 s]
/proc/loadavg: 1.51 1.19 1.12 3/88 16185
/proc/meminfo: memFree=1007240/2055920 swapFree=4192812/4192956
[pid=16144] ppid=16142 vsize=5352 CPUtime=21.9
/proc/16144/stat : 16144 (solver2) S 16142 16144 13219 0 -1 4194304 397 128614 0 0 0 0 958 1232 16 0 1 0 177769387 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16144/statm: 1338 242 203 169 0 49 0
[pid=16185] ppid=16144 vsize=263848 CPUtime=3.42
/proc/16185/stat : 16185 (standalone) R 16144 16144 13219 0 -1 4194304 23545 0 0 0 87 255 0 0 25 0 1 0 177771599 270180352 22294 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16185/statm: 65962 22294 129 64 0 65277 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 269200

[startup+51.2327 s]
/proc/loadavg: 1.66 1.25 1.15 2/82 16199
/proc/meminfo: memFree=1155336/2055920 swapFree=4192812/4192956
[pid=16144] ppid=16142 vsize=5352 CPUtime=21.9
/proc/16144/stat : 16144 (solver2) S 16142 16144 13219 0 -1 4194304 397 128614 0 0 0 0 958 1232 16 0 1 0 177769387 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16144/statm: 1338 242 203 169 0 49 0
[pid=16185] ppid=16144 vsize=263924 CPUtime=28.91
/proc/16185/stat : 16185 (standalone) R 16144 16144 13219 0 -1 4194304 66396 0 0 0 2573 318 0 0 25 0 1 0 177771599 270258176 65130 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 3906903054 0 0 4096 0 0 0 0 17 1 0 0
/proc/16185/statm: 65981 65130 137 64 0 65296 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 269276

Child status: 0
Real time (s): 58.2188
CPU time (s): 57.7832
CPU user time (s): 42.1686
CPU system time (s): 15.6146
CPU usage (%): 99.2519
Max. virtual memory (cumulated for all children) (KiB): 461684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.1686
system time used= 15.6146
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195574
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= 1435
involuntary context switches= 2548

runsolver used 0.074988 s user time and 0.176973 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Mon Jan  8 22:02:24 UTC 2007


IDJOB= 205966
IDBENCH= 4178
FILE ID= node13/205966-1168293741

PBS_JOBID= 3501838

Free space on /tmp= 66219 MiB

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

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  568e195d7b5f5d37beb7376911d1f641

RANDOM SEED= 483774800

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.247
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.247
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:        932096 kB
Buffers:         77564 kB
Cached:         483164 kB
SwapCached:          0 kB
Active:         811208 kB
Inactive:       247760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        932096 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          112428 kB
Writeback:           0 kB
Mapped:         519068 kB
Slab:            48384 kB
Committed_AS:  5253452 kB
PageTables:       3524 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= 66218 MiB



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