Trace number 205959

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
Abscon 109 ACSAT 47.3168 47.5616

DiagnosticValue
CHECKS48655478
NODES2518

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)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/205959-1168073491/unknown.xml
0.36	   
0.36	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.84	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.84	       =>  wckTime=0.539  cpuTime=0.38  mem=44M728
0.84	   
0.84	   predicates being loaded...
0.84	   
0.84	   constraints being loaded...
4.95	   
4.96	   INFO : Stopping converting binary constraints (cpu=4.21, mem = 83M778)
12.53	     nbConstraints=32622  nbMergedConstraints=29510  nbConvertedConstraints=8  nbConvertConstraintsChecks=3355984
12.53	     nbExtensionStructures=8  nbSharedExtensionStructures=0  nbConflictsStructures=8  nbSharedConflictsStructures=0
12.53	     nbSharedBinaryRepresentations=6379  nbEvaluationManagers=22347  nbSharedEvaluationManagers=10267  maxDegree=54
12.53	     maxArity=2
12.53	       =>  wckTime=12.225  cpuTime=10.88  mem=146M51
12.89	   
12.89	   solver IterativeSystematicSolver being built... 
13.96	       =>  wckTime=13.665  cpuTime=11.5  mem=310M236
43.11	   
43.11	   preprocessing
43.11	     nbConstraintChecks=47405576  nbValidityChecks=5743805  nbPropagations=7018  nbRevisions=223215
43.11	     nbUselessRevisions=199524  nbRemovedValues=1435124  detectedInconsistency=no
43.11	       =>  wckTime=29.103  cpuTime=29.06  mem=310M236
47.23	   
47.23	   search
47.23	     run=0  nbConstraintChecks=1249902  nbValidityChecks=2169364  nbPropagations=14670  nbRevisions=401442
47.23	     nbUselessRevisions=367467  nbAssignments=2518  nbFailedAssignments=14  nbBacktracks=4  nbVisitedNodes=2536
47.23	     nbRestartNogoods=0  mapSize=4  nbInferences=0  nbTooLargeKeys=1749
47.23	       =>  wckTime=33.226  cpuTime=33.13  mem=326M132
47.23	   
47.23	   global
47.23	     nbConstraintChecks=48655478  nbValidityChecks=7913169  nbPropagations=21688  nbRevisions=624657
47.23	     nbUselessRevisions=566991  nbRestartNogoods=0  solvingWckTime=33.228  solvingCpuTime=33.13  expiredTime=no
47.23	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=44.73
47.23	       =>  wckTime=46.93  cpuTime=44.68  mem=326M132
47.32	   
47.32	s SATISFIABLE
47.32	v 3198 -3450 2650 2650 -2990 -3906 -2794 -3654 -3958 -2798 3426 2714 -3478 -2866 -3330 3814 2862 -3726 -2778 -3578 -3478 -2902 3086 2650 -3930 -3946 -3398 -3478 3946 -2826 -2698 3098 -3146 3742 2774 3678 -3294 2650 -3930 3018 -3790 3686 -3930 3406 3506 -3398 -3698 -4018 -3854 3750 -3990 -3874 2702 -3790 -3778 -2754 -3418 3422 3626 -3854 3770 -3382 2690 3446 -3830 -3074 -4002 3674 -3046 3590 2654 -3198 -3926 -3478 -3174 3346 -3598 -3810 -3890 3146 -3566 3438 3442 2650 -3870 3398 3554 2678 -3598 -3850 -3286 -3342 2718 -3558 -3062 2742 3930 2654 -3914 -3538 3550 -3538 3058 -3998 3626 -3138 2830 3074 -3378 -3978 3046 -3950 3306 -3106 3502 3614 -3510 -2962 -3686 -3146 -3022 -3750 3522 2854 -3426 3262 -3310 -3642 2958 3318 -3790 -3742 -3034 -3314 3558 -3102 3286 -3438 -3226 3366 -2806 -3682 -3682 -3990 -3106 -3326 -2870 2698 -2782 -2946 -2726 -2886 3034 3246 -3098 -3702 3750 -2826 2858 -3450 -2902 3998 2810 -3358 -3782 -3890 3646 2650 2650 3994 3606 2906 3298 2830 -3690 -2734 -3978 2846 -3066 -3930 4042 3206 3686 3654 3170 2754 3286 -3146 -3890 3170 -3578 3134 2750 -3062 2650 -3386 3134 -2934 2778 -3522 -3334 -3810 3518 -3338 -3470 3386 -3266 2782 3946 -3790 -3914 -3346 -3122 -3338 -3262 -3146 -3198 -2690 -3814 2778 3358 -3250 2774 -3438 -3642 -3806 -3214 -3558 3386 -3402 -2698 -3938 2746 3694 2698 -3014 -3462 3746 3414 3978 -4042 2650 -2998 -3718 3734 -3054 2698 -3174 -3554 3590 -2650 -3182 3098 -3958 -2666 -3950 -3382 3282 3550 -2854 -3574 -3678 2710 -3838 -2742 3730 -3214 -3438 3966 -3390 3726 -4002 -2666 3530 3366 -2650 -3890 3358 -3650 -3222 2982 -2710 -3186 -3990 -3914 -3374 -3750 -3606 -2782 3866 -3678 -3990 -4042 -2906 3270 3374 3258 3582 -2866 -3382 3190 -3082 2666 -3918 2998 -3398 3954 -3162 -2694 -2906 -3138 -2702 -4042 3198 3142 -3322 -2686 3074 -2670 3242 -2830 2918 3130 3062 2898 3166 -3638 -3602 -3418 -3886 2738 3978 -3534 -3890 -2726 3250 2902 3102 -2786 -3050 -3186 -3686 -3142 3390 -3186 -3334 -2878 3838 -3874 3206 3234 -3998 -3930 -3878 -3306 -3810 3802 2902 2718 2814 3018 2970 -3018 2754 2986 3782 -3978 3462 2922 -3838 2986 3442 -3970 -3538 -3438 -3682 3330 3994 3534 -3126 4002 2702 -3654 -2926 -3150 -3466 3518 3846 2958 -3618 -3074 2782 -3106 -3646 2738 2662 -3990 -2714 3290 3130 -3746 -2690 3982 -3002 -2946 3438 3186 -3950 -3202 -3874 -3402 -3890 2770 4014 3054 2814 -2838 3290 2990 -2666 3938 -2950 3086 -3694 -4038 -2862 3646 3538 -3190 -2698 -3106 -3150 -3638 -3382 -3014 -3014 -3914 3738 -2938 -4002 3138 -3702 -3026 2658 -3914 -3646 -2946 -3002 -3158 -2726 -3890 -3930 -2926 -2870 -3146 -3930 3422 -3346 3718 -4010 2714 -3370 -3446 2782 -2650 -3134 -3930 -3054 -3594 -3874 -3182 -3146 3346 -3642 2898 3978 -3686 4034 -3682 -2666 2754 -4002 3126 -2902 2650 3146 -2942 -2958 -3506 -3066 -2702 3366 -3890 -3890 2694 -2686 -3046 -3706 -3750 -3374 -4018 -3098 -3690 -3186 -2706 -3958 2698 -3222 3306 -3610 3306 -3058 -3502 -3890 -3162 3702 -3186 3150 -3790 -3294 2694 -3230 -3114 -2854 -3930 2902 3774 -2902 -3138 -3782 2650 3254 3350 2806 -2702 -3478 -3138 -3414 -2742 -3414 3262 -3862 -3874 -2690 -3386 -3998 -3014 -3790 -3598 -3950 3998 3386 -3426 -4042 -3806 -3890 4034 2998 2982 -2730 -2810 -3850 3082 3694 -2790 -4018 -3066 2658 -3646 -3066 -3298 -3874 4038 2890 -2946 3742 3710 -3054 3642 -3906 -2694 -3958 3146 3554 -3346 3598 -3046 -3958 3078 -3726 -3930 3594 3186 -3730 -3546 -3886 -3042 -4018 3382 3858 2818 2930 -3210 -3930 2950 2670 -3050 -3578 -3058 -3538 -3610 3918 -2786 -3206 -3130 3442 2730 2982 2738 -3498 3810 -3074 -3954 -3502 3650 3166 -3070 -3878 3910 -3342 3846 3290 -3442 2846 -3162 3870 2710 2702 2690 -3170 3594 3826 -3598 -3238 -3134 -3874 3998 -3134 -3138 -3574 -3650 -4002 2786 3882 2958 -4018 -2650 -3478 -3646 -2926 3330 -3638 3774 -3942 -3682 -3034 3190 3818 -3010 -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 3790 3374 -2702 3242 2878 -2814 2914 -2966 2758 -2822 4002 3226 -3966 -3170 2994 -3630 -3018 3490 -3358 -2858 -3930 3842 3770 3630 -3782 -4038 -3718 2862 -3198 -3250 -3490 3690 -2866 -3542 3090 -3682 -3598 3662 3670 -3810 3830 -3182 -2862 -3058 -2886 -2690 -4030 -3058 -3510 3166 -2714 2934 -4002 -2770 -2662 3550 -3794 3174 3098 -2826 3570 2686 -3142 -4042 -3998 -3686 -3182 -3570 -3054 -3990 -3930 -3086 -3418 -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 3578 3230 -3870 -3538 -3970 -2806 -2738 3798 3770 -2662 -3402 3666 3610 3230 -3050 -3978 2710 -3750 -3650 2730 3950 -3302 3062 3158 2790 -3758 -3950 3886 -3066 3178 4002 -3918 -3930 -3134 -3518 3634 3682 -2818 3594 -2730 3542 -3338 3302 -3890 3606 -3406 3006 -3950 -3890 -3662 2702 -3846 -3438 -2846 4014 3250 -2754 2662 -3122 3866 3538 -4042 3914 -3562 -3126 -3930 3726 3410 2862 2650 -3466 -3810 2742 -3062 -3930 -3858 3022 2914 -3038 -2942 3698 2998 -2738 2690 2926 3402 -3034 -3998 3906 3442 3014 3922 3662 2690 2918 -3258 3534 -3782 3874 3218 -2818 -2926 -3342 -3902 -3770 -3914 -3646 -3802 -3406 -4038 -3930 -3038 3342 3850 -3182 -3978 -2906 -3542 4042 3306 3526 -3978 -3894 -3342 -2706 -4038 3106 3946 3730 -3890 -2694 -3998 3378 -2962 2966 -2690 -3178 -3478 3846 3558 2650 3670 -3774 -4002 -2770 -3606 -3098 3982 -2814 2894 3642 -4018 -3690 -3998 -2982 -3466 3442 -3990 -3538 3746 -3706 3638 -3142 -3562 -3370 -3958 -3190 -3306 -3110 -3598 -3014 3306 -2842 -2690 3138 2894 3394 -3882 -3970 -3998 3810 3694 2802 -3134 3342 -3998 2882 -3978 -3306 3158 3354 3538 3342 3058 -3642 3326 3146 3002 3702 -3830 3086 2974 -3406 -3830 -3310 2950 2734 -3206 2702 3374 3858 3738 -3890 -3998 -3582 -3890 3278 3426 -2846 -3386 -3874 -3598 -2706 -3978 -3382 -3506 3342 2974 3202 3858 -3054 3510 3198 -3990 -3666 2818 3242 -3106 -3106 -3682 -3750 3066 -2706 -3346 -2998 2650 -3946 -3650 -3950 3402 -3274 -3094 3010 -3150 -2930 -3414 3766 -3834 2934 3466 3110 3218 -3374 4042 3458 -2894 -3998 2958 -3186 3626 3910 -3542 -2702 -3070 3250 3646 -3070 3362 3502 2690 -3682 -3890 3726 2862 3290 -3658 2658 -3074 3634 2714 -3094 -2726 3466 -3638 3602 -3998 3638 -3534 -3990 -3110 -3186 -3990 -3054 3098 -2970 3886 3462 -3058 -3594 3870 3986 -3790 -3990 3346 2774 3430 -3930 -2946 2974 -3994 -3398 -3682 -3554 -3106 3662 -3594 -3106 -3438 3346 -3442 -2690 3970 -3642 2890 3274 -3058 3566 3506 -3814 3766 -3818 2906 -3110 3766 -3642 3586 2942 -2914 2946 -2690 -3402 -3914 -3990 3050 -3718 -3130 -3342 4026 -3310 2694 3906 -3022 -3490 -3074 -3422 3738 3598 -3890 -2822 -3330 -3174 -2942 -3914 -3138 3814 -3958 -3998 -3558 -3086 -3438 2690 -3238 -2930 3910 -3890 2778 3054 3426 3734 3558 3118 -2978 -3490 3206 -3790 -2854 -3918 2962 3034 -3610 -2858 -3914 -2782 3346 -3930 -3170 -3610 3686 2818 -3654 3806 3666 -3182 3110 -3002 -3054 3790 -2866 2650 3658 -3134 -3066 -3914 3022 -2958 -3114 -3990 -3890 3022 -3534 3950 -3198 -3470 -3954 3694 -4042 -3650 -3238 -3254 -3398 -2830 -4042 -3958 -3734 -3910 -3438 2714 -3722 3582 -3302 -2702 -2894 -2906 3958 -3478 2694 3086 -3026 3502 3326 -3138 3706 -3790 3098 -3346 2734 -2822 3094 -3562 -4022 -2770 3446 -2734 -3122 -3870 -3054 -2678 -3238 3266 -3398 -3402 -3926 3034 -3706 3310 3186 -3090 3582 -3182 3486 -3654 2990 3462 -3914 -4018 -3406 -3182 -3974 -2702 -3478 -2918 3594 3762 -3094 3134 4014 3034 3146 3718 -3678 -2866 3742 2842 -3566 3170 2782 -3686 -3822 -4042 -3526 -3978 -3914 -3014 3074 3686 -3806 -3734 -2826 -3982 3798 -3978 3442 -3470 -3990 3250 3870 -3830 -3598 -3598 -3750 3958 -3990 -3382 -2742 3702 3642 -3566 -3974 -3302 -3978 -3642 -3186 -3346 3210 3738 -2982 3234 3030 3166 3190 -3202 3350 -3894 3586 3926 3010 3634 -3594 3742 3530 -2710 3246 -3990 -2834 -3794 3762 2786 -3046 -3954 2946 -3958 3626 -3194 -3014 -2714 -3926 -3586 -3198 -3098 -3890 -2730 3022 2670 -2694 3290 -3838 -3226 3910 -4042 2650 -2906 3166 -4018 3674 3022 3710 -2874 2778 -3478 -3530 -3802 3482 -3254 3066 3346 -3998 -4002 -3990 3690 2754 -3646 2898 3294 3986 2970 -4022 4042 -3890 -3342 3774 3394 -2710 -3750 -3102 -3650 3290 2710 -4042 3930 -2930 -2658 -3874 -3702 -2690 3870 3294 3862 -3254 -3578 2778 -3082 -3154 -3778 3706 -3834 -3062 2690 2670 3702 -3974 2994 2690 -3642 -3134 -3830 3494 -3458 3598 -3966 3122 -3094 -4042 -3078 -3266 3606 2678 -3750 -3370 -3014 3678 -3170 -3238 3686 -3950 -3958 3018 -3098 3574 2854 2670 3078 -3490 2690 -3782 2998 3002 -3678 -3982 -2822 -3098 4042 2814 3270 -3606 3574 -3474 -2706 -2730 -2658 -2654 -3810 2690 -3058 -3434 -2870 -4042 3750 3442 -3914 -2862 -2906 -3198 -3950 -2778 -3186 -3850 2962 2746 2934 2666 3594 -4018 -3926 2894 -3350 3206 -3642 -4038 -3878 -3138 3870 3522 -3614 -3914 2742 3746 3402 -2918 -3166 -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 -2894 -3830 -3546 3526 -3530 3586 -2986 3326 -2690 -3114 -3638 3638 -3142 -3142 -3034 -3090 -3094 2666 2678 -3342 3570 3542 -3238 -3958 3566 -2974 -3638 3934 -3450 -3818 -3438 3750 -3598 -3938 -3018 3694 -3598 -2958 -3122 3394 3178 -3442 3590 3610 3054 -3930 3742 3966 -3014 -3230 2898 -3278 3698 -3558 3346 -3270 -2906 3462 -3750 -3266 -3874 -3706 -3274 -2894 -3094 -3054 -3498 -3278 -3174 -3898 3138 3874 2718 3302 -3462 -3218 3334 3422 3318 -3334 3570 -4038 -3930 -3538 3118 -3110 -3650 -3606 -3886 -3342 -3238 2714 3594 -3842 2830 -3438 -3498 -2802 -3750 -2842 -3094 2858 3666 3190 -2942 -3646 -2678 3766 3186 3378 -2670 -3306 3126 3314 -3142 3530 -3518 -3526 -2702 3542 -3626 -3774 3498 -3870 -3146 -3014 3774 -3890 2690 3774 -3814 2658 2742 3458 2854 3570 -2718 -3042 -3206 -3238 -2946 -4038 -3402 -3014 4002 -3890 2942 -3158 -3890 -3082 -2654 -3054 -3906 -3226 -3186 -3894 -2706 -2690 -3098 3886 3174 -3198 -2674 -3998 -3958 -3282 -3890 -3790 -3638 -3058 -3398 -3478 -3382 -3462 -2702 2738 -3930 3570 -3614 3662 -3278 -3978 -2830 3498 -3786 -3142 -2698 3958 -3598 3930 -3134 -2694 3870 -3926 -3518 2650 -3654 2826 -2986 -3198 2650 3726 3038 -3378 -3750 -3546 2718 -3874 3070 -3498 3254 3418 -4018 2966 3554 -3042 -3814 -3878 -4018 -3694 -4042 -3606 -3438 2878 -3786 -2706 -3434 -2822 -4002 -2666 -3598 -3198 -3142 4002 3446 -3710 -3994 -3006 3802 -2730 2690 3950 3502 3294 -3198 2650 -3890 -3478 -3914 -3850 3670 3746 -4002 -3930 3350 -3950 -3602 2822 -2906 -3054 3890 4002 -4042 -2830 -3190 3086 3382 3154 -3630 -3638 -3186 3878 3386 3230 4038 -3458 -3438 3654 -2822 3654 -3650 3866 -2654 3642 -2650 3014 3678 -3846 3654 3830 -3174 3850 -2690 -3478 2718 -2710 -4002 3350 3078 2670 -3766 2882 2934 3566 3882 2842 -3790 3346 -3646 -3682 3094 2690 3430 -3050 3554 -3178 3646 -3182 2986 -4002 3714 -3930 -3822 -2650 -3434 -3242 3254 -2906 -3650 -3778 -3794 -3130 -2654 -3926 -3778 -3974 -3098 -3102 4042 -3950 -3106 3134 3046 3178 -3150 -3830 -3482 -3846 -3538 3758 -3610 -3850 -3614 -2946 3166 2930 -2822 -4002 -2854 3146 3570 -2922 3374 3370 -3986 2666 -3890 -3538 2698 3162 -3898 2846 3766 2754 -3382 -3830 2690 3246 -2982 -2754 2846 -4042 3102 -2694 -2930 -3890 -3574 -4002 -4002 4002 3646 3666 3386 4002 3110 -3798 2838 4042 -2706 3238 2710 -3890 2690 -2874 3294 2786 -3998 3834 3870 -3198 2718 2690 3918 -2650 -3414 2814 -3146 3658 -3254 3774 3706 -4042 -3978 3066 3638 -3146 3522 3466 -2702 -3870 -3182 -3998 -3402 -2906 -2742 -3834 3902 -2662 -3702 2806 3814 2738 3022 3798 -3974 -3990 3414 -2906 3102 -3302 3882 -3018 3490 -2694 -3646 -3654 -3790 -3610 -2806 3554 -3094 3222 -3490 3938 3482 -3998 -2778 3550 3614 3706 -3542 -2858 3338 -3326 -3298 -3638 -3646 3026 3666 3942 -4002 3738 3410 -3142 2942 3178 3818 3986 3218 -3554 2982 -3426 -3998 -3210 3898 -3790 2698 -3178 -3930 -3954 2690 -3830 -3158 -4018 3766 -2858 2946 3210 3950 3402 3042 3082 -3438 -3958 3998 3770 -3106 -3094 3230 -3774 -2710 -3542 3178 -3146 -3062 -3354 -3106 3574 -3822 3146 -3950 3402 2786 2770 -2706 3498 3298 -3070 -3590 3066 -3142 -3682 -3382 3526 -3706 3914 -3854 -3838 -3214 -3342 3290 -4002 2754 2650 -3438 3446 3678 -2970 -2658 -3558 -3478 -3950 3222 -3126 -2662 -2870 2946 -3690 -3722 -2886 -3378 -3054 3702 3910 3682 2662 2822 -3978 -3598 -3134 -3766 2706 3850 -3686 -3326 -3930 2650 -3298 3806 3506 -4034 2982 -3058 -2690 -3690 3314 -3530 2690 3238 2734 -3638 3514 -2846 2818 3946 -3814 3094 -3930 3774 -2902 2878 -4042 -2906 -3142 -3414 -2686 -3922 -2650 2846 -2838 2810 3870 -2874 -2714 3738 3314 -3038 -3182 -3090 -3998 -2934 -3950 3866 -3894 -3342 -3198 4042 -3002 3014 2790 -3930 3406 3954 -3922 2942 -3094 3306 -3162 3450 3186 2790 -3098 -3438 3330 2822 -3958 -2994 -4014 -2670 3054 -3050 -2674 -3766 -3498 3790 2882 -3266 -3998 -3466 3126 -3198 -3130 -2706 3198 -2902 -3926 3782 -3462 3694 -4010 -2974 3534 3770 -3438 -3722 -3478 -3958 -4018 -3610 3758 3886 -3898 -3874 4018 -3074 -3346 4002 3222 3566 -2674 -2662 -2858 3670 3474 -3134 -3122 3930 -3890 2666 -3070 3270 2650 3438 -2690 -3638 -3294 3362 3434 3282 2894 -3086 -2946 3578 3354 -3182 3014 -2734 -3930 -3602 -3614 -3110 3358 -3874 -3990 -2818 -2926 -2830 -3590 -3774 -2794 3742 3206 -2946 -2942 3410 -3246 3138 -3870 -3998 2650 3506 -3890 -3682 -3750 3362 -2962 -3606 -3182 3214 -3878 -3238 3806 -2742 -3686 3562 2806 -3930 3330 -2782 -3002 -2826 2854 -3102 3142 3850 -3398 -3914 3826 3618 -4010 -3066 2806 -2750 3766 -3342 -3810 -3262 3090 -3438 2878 3146 3494 -3926 -3318 -3166 2666 -3222 -3650 3722 3710 2650 -3950 -3106 -3642 -3034 -3682 -2658 -2678 3194 3162 -3438 -3014 -3958 2802 3338 2650 -2894 -3218 -3386 3586 -3930 -3682 -2946 -2854 3742 -3634 3666 -3054 -3538 3170 -3290 3330 2690 -2690 -3238 3842 3126 3878 -3042 3446 2874 -3094 3238 -3910 3290 3194 3530 -3382 -3014 -3998 3374 3974 -3646 3754 -3386 -3166 2714 -3478 -3422 -2838 -3810 -3146 -3438 -4018 2826 3434 -2674 -3870 2714 -3850 2982 2694 3834 3006 3574 -3066 -4002 4002 2706 -2690 -3318 -3710 -3990 -3286 3698 2854 -3626 -3890 -2946 -4002 -3998 -3070 -3874 3810 -3798 -3150 3990 -3306 -3590 4038 -3638 -3726 2706 2690 3162 3910 -3094 3614 -3550 -4018 -3154 3110 -3678 3126 3638 -3422 3154 -3950 -2654 -3318 3590 -3182 -3998 3406 
47.32	d NODES 2518
47.32	d CHECKS 48655478
47.32	   
47.32	   totalWckTime=47.093  totalCpuTime=44.73

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/node38/watcher-205959-1168073491 -o ROOT/results/node38/solver-205959-1168073491 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205959-1168073491/unknown.xml 

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: 0.93 1.00 1.02 3/65 15034
/proc/meminfo: memFree=1657944/2055920 swapFree=4192812/4192956
[pid=15033] ppid=15031 vsize=1784 CPUtime=0
/proc/15033/stat : 15033 (java) R 15031 15033 14251 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 155748873 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15033/statm: 446 136 102 14 0 91 0

[startup+0.107601 s]
/proc/loadavg: 0.93 1.00 1.02 3/65 15034
/proc/meminfo: memFree=1657944/2055920 swapFree=4192812/4192956
[pid=15033] ppid=15031 vsize=914988 CPUtime=0.09
/proc/15033/stat : 15033 (java) R 15031 15033 14251 0 -1 0 3057 0 1 0 7 2 0 0 16 0 8 0 155748873 936947712 2803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15033/statm: 228747 2803 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51568 s]
/proc/loadavg: 0.93 1.00 1.02 3/65 15034
/proc/meminfo: memFree=1657944/2055920 swapFree=4192812/4192956
[pid=15033] ppid=15031 vsize=915328 CPUtime=0.5
/proc/15033/stat : 15033 (java) R 15031 15033 14251 0 -1 0 8685 0 1 0 44 6 0 0 16 0 8 0 155748873 937295872 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15033/statm: 228832 8424 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34383 s]
/proc/loadavg: 0.93 1.00 1.02 2/72 15041
/proc/meminfo: memFree=1565984/2055920 swapFree=4192812/4192956
[pid=15033] ppid=15031 vsize=915596 CPUtime=1.32
/proc/15033/stat : 15033 (java) R 15031 15033 14251 0 -1 0 28941 0 1 0 117 15 0 0 16 0 8 0 155748873 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228899 28678 2160 14 0 215369 0
[pid=15033/tid=15035] ppid=15031 vsize=915596 CPUtime=0.11
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14251 0 -1 64 12400 0 0 0 7 4 0 0 17 0 8 0 155748877 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14251 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155748877 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14251 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155748877 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14251 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155748880 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915596 CPUtime=0.14
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14251 0 -1 64 409 0 0 0 14 0 0 0 16 0 8 0 155748880 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155748880 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155748880 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915596

[startup+2.98016 s]
/proc/loadavg: 0.93 1.00 1.02 2/72 15041
/proc/meminfo: memFree=1543392/2055920 swapFree=4192812/4192956
[pid=15033] ppid=15031 vsize=915596 CPUtime=2.96
/proc/15033/stat : 15033 (java) R 15031 15033 14251 0 -1 0 32607 0 1 0 278 18 0 0 17 0 8 0 155748873 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228899 32338 2160 14 0 215369 0
[pid=15033/tid=15035] ppid=15031 vsize=915596 CPUtime=0.33
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14251 0 -1 64 16057 0 0 0 27 6 0 0 17 0 8 0 155748877 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14251 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155748877 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14251 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155748877 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14251 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155748880 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915596 CPUtime=0.14
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14251 0 -1 64 412 0 0 0 14 0 0 0 16 0 8 0 155748880 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155748880 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915596 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155748880 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915596

[startup+6.27579 s]
/proc/loadavg: 0.93 1.00 1.02 2/72 15041
/proc/meminfo: memFree=1534048/2055920 swapFree=4192812/4192956
[pid=15033] ppid=15031 vsize=915732 CPUtime=6.24
/proc/15033/stat : 15033 (java) R 15031 15033 14251 0 -1 0 34677 0 1 0 604 20 0 0 16 0 8 0 155748873 937709568 34404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155200516 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228933 34404 2182 14 0 215403 0
[pid=15033/tid=15035] ppid=15031 vsize=915732 CPUtime=0.45
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14251 0 -1 64 18025 0 0 0 37 8 0 0 17 0 8 0 155748877 937709568 34404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915732 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14251 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155748877 937709568 34404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915732 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14251 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155748877 937709568 34404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915732 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14251 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155748880 937709568 34404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915732 CPUtime=0.19
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14251 0 -1 64 449 0 0 0 19 0 0 0 15 0 8 0 155748880 937709568 34404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915732 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155748880 937709568 34404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915732 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155748880 937709568 34404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915732

[startup+12.7501 s]
/proc/loadavg: 0.94 1.00 1.02 2/72 15041
/proc/meminfo: memFree=1495784/2055920 swapFree=4192812/4192956
[pid=15033] ppid=15031 vsize=915984 CPUtime=12.71
/proc/15033/stat : 15033 (java) S 15031 15033 14251 0 -1 0 42992 0 1 0 1248 23 0 0 16 0 8 0 155748873 937967616 42707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15033/statm: 228996 42707 2190 14 0 215466 0
[pid=15033/tid=15035] ppid=15031 vsize=915984 CPUtime=1.35
/proc/15033/task/15035/stat : 15035 (java) R 15031 15033 14251 0 -1 64 26302 0 0 0 125 10 0 0 17 0 8 0 155748877 937967616 42707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525278 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915984 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14251 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155748877 937967616 42707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915984 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14251 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155748877 937967616 42707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915984 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14251 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155748880 937967616 42707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915984 CPUtime=0.22
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14251 0 -1 64 458 0 0 0 21 1 0 0 16 0 8 0 155748880 937967616 42707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915984 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155748880 937967616 42707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915984 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155748880 937967616 42707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915984

[startup+25.5966 s]
/proc/loadavg: 0.95 1.00 1.02 2/72 15041
/proc/meminfo: memFree=1322344/2055920 swapFree=4192812/4192956
[pid=15033] ppid=15031 vsize=915876 CPUtime=25.54
/proc/15033/stat : 15033 (java) R 15031 15033 14251 0 -1 0 86625 0 1 0 2515 39 0 0 25 0 8 0 155748873 937857024 86282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074199531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228969 86282 2533 14 0 215439 0
[pid=15033/tid=15035] ppid=15031 vsize=915876 CPUtime=1.86
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14251 0 -1 64 69403 0 0 0 161 25 0 0 16 0 8 0 155748877 937857024 86282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915876 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14251 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155748877 937857024 86282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915876 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155748877 937857024 86282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915876 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14251 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155748880 937857024 86282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915876 CPUtime=0.31
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14251 0 -1 64 563 0 0 0 30 1 0 0 15 0 8 0 155748880 937857024 86282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915876 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155748880 937857024 86282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915876 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155748880 937857024 86282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 47.5616
CPU time (s): 47.3168
CPU user time (s): 46.8159
CPU system time (s): 0.500923
CPU usage (%): 99.4853
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.8159
system time used= 0.500923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96670
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2314
involuntary context switches= 710

runsolver used 0.049992 s user time and 0.12998 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Sat Jan  6 08:51:32 UTC 2007


IDJOB= 205959
IDBENCH= 4178
FILE ID= node38/205959-1168073491

PBS_JOBID= 3475937

Free space on /tmp= 66508 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205959-1168073491/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-205959-1168073491 -o ROOT/results/node38/solver-205959-1168073491 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205959-1168073491/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  568e195d7b5f5d37beb7376911d1f641

RANDOM SEED= 669241741

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.267
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.267
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:       1658424 kB
Buffers:         25140 kB
Cached:         286028 kB
SwapCached:          0 kB
Active:          66260 kB
Inactive:       260696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658424 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10388 kB
Writeback:           0 kB
Mapped:          26028 kB
Slab:            56552 kB
Committed_AS:  3087144 kB
PageTables:       1472 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= 66508 MiB



End job on node38 on Sat Jan  6 08:52:23 UTC 2007