Trace number 205943

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 60.5128 60.8264

DiagnosticValue
CHECKS55741126
NODES6488

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-8.xml
MD5SUMc63689b420ce6e8c6aef37817cc56cbd
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark57.7552
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2500
Number of constraints62132
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension62132
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/205943-1168073489/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.87	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.87	       =>  wckTime=0.558  cpuTime=0.39  mem=44M728
0.87	   
0.87	   predicates being loaded...
0.88	   
0.88	   constraints being loaded...
4.94	   
4.95	   INFO : Stopping converting binary constraints (cpu=4.16, mem = 83M794)
12.87	     nbConstraints=32622  nbMergedConstraints=29510  nbConvertedConstraints=7  nbConvertConstraintsChecks=2868780
12.88	     nbExtensionStructures=7  nbSharedExtensionStructures=0  nbConflictsStructures=7  nbSharedConflictsStructures=0
12.88	     nbSharedBinaryRepresentations=5132  nbEvaluationManagers=22369  nbSharedEvaluationManagers=10246  maxDegree=54
12.88	     maxArity=2
12.88	       =>  wckTime=12.553  cpuTime=11.12  mem=146M733
13.25	   
13.25	   solver IterativeSystematicSolver being built... 
14.41	       =>  wckTime=14.096  cpuTime=11.79  mem=310M186
49.08	   
49.08	   preprocessing
49.08	     nbConstraintChecks=53191849  nbValidityChecks=6007824  nbPropagations=6367  nbRevisions=206325
49.08	     nbUselessRevisions=184333  nbRemovedValues=1428195  detectedInconsistency=no
49.08	       =>  wckTime=34.631  cpuTime=34.43  mem=310M186
53.61	   
53.61	   search
53.61	     run=0  nbConstraintChecks=1497876  nbValidityChecks=2943801  nbPropagations=16657  nbRevisions=471116
53.62	     nbUselessRevisions=433679  nbAssignments=1991  nbFailedAssignments=19  nbBacktracks=11  nbVisitedNodes=2017
53.62	     nbRestartNogoods=0  mapSize=6  nbInferences=2  nbTooLargeKeys=1756
53.62	       =>  wckTime=39.168  cpuTime=38.9  mem=319M960
56.91	   
56.91	   search
56.91	     run=1  nbConstraintChecks=1830010  nbValidityChecks=5088263  nbPropagations=42367  nbRevisions=1161656
56.91	     nbUselessRevisions=1074617  nbAssignments=3973  nbFailedAssignments=23  nbBacktracks=29  nbVisitedNodes=4012
56.91	     nbRestartNogoods=18  mapSize=16  nbInferences=6  nbTooLargeKeys=3512
56.91	       =>  wckTime=42.462  cpuTime=42.09  mem=313M930
60.75	   
60.75	   search
60.75	     run=2  nbConstraintChecks=2549277  nbValidityChecks=7472414  nbPropagations=77672  nbRevisions=2077697
60.75	     nbUselessRevisions=1927668  nbAssignments=6488  nbFailedAssignments=38  nbBacktracks=29  nbVisitedNodes=6542
60.75	     nbRestartNogoods=19  mapSize=16  nbInferences=6  nbTooLargeKeys=5268
60.75	       =>  wckTime=46.305  cpuTime=45.9  mem=330M802
60.75	   
60.75	   global
60.75	     nbConstraintChecks=55741126  nbValidityChecks=13480238  nbPropagations=84039  nbRevisions=2284022
60.75	     nbUselessRevisions=2112001  nbRestartNogoods=19  solvingWckTime=46.306  solvingCpuTime=45.9  expiredTime=no
60.75	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=57.77
60.75	       =>  wckTime=60.439  cpuTime=57.73  mem=330M802
60.76	   
60.76	s SATISFIABLE
60.76	v 3198 3438 2650 2650 -2990 3906 -2798 3654 -3958 -2790 3426 2714 -3478 -2870 -3330 3814 2862 -3726 -2782 -3578 -3478 -2902 3086 2650 -3930 -3946 3394 -3478 3946 -2826 -2702 3098 -3142 3722 -2774 3758 -3306 2650 -3930 3018 -3790 3690 -3930 3406 -3506 -3390 -3698 -4018 -3854 3750 -3990 -3854 2698 -3774 -3778 -2758 -3410 3418 3614 -3854 3770 -3390 2690 -3442 -3830 -3074 -4002 3670 -3046 3590 2658 -3198 -3926 -3478 -3174 3346 -3598 -3810 -3890 3154 -3566 3438 3446 2650 -3870 -3406 3554 -2678 -3598 -3850 -3298 -3346 2718 3558 3050 -2742 3930 2654 3914 -3538 3550 -3538 3062 -3998 3630 -3142 2830 -3102 -3390 -3978 3046 -3950 3314 -3106 3510 3614 -3526 -2962 -3690 -3142 -3026 -3750 3522 2850 3414 3262 -3310 -3646 2962 3318 -3790 -3742 -3038 -3318 -3562 -3098 3298 -3438 -3234 3366 -2806 -3682 3682 -3990 -3106 -3338 -2866 -2690 -2782 -2946 -2746 -2886 3034 3246 -3094 -3702 3750 -2830 2858 -3450 -2906 3998 2810 -3366 3762 -3890 3646 2650 -2794 3994 3606 -2910 3298 2830 -3690 -2734 -3978 -2846 -3066 -3930 4042 3202 -3690 3654 3170 2754 3282 -3146 -3890 3170 -3578 3134 2750 -3058 -3142 -3398 3134 2926 2782 -3526 -3334 -3810 3518 -3338 -3474 3398 -3254 2782 3946 -3790 -3914 -3346 -3126 -3350 -3262 -3142 -3198 -2690 -3822 2778 3362 -3262 2778 -3438 -3642 3802 -3214 -3558 3386 3414 -2690 -3942 2746 -3694 2690 -3018 -3462 3746 3414 3978 -4042 2650 -3002 -3718 -3734 -3082 2690 -3174 -3558 -3590 -2662 -3182 -3098 -3958 -2666 -3946 -3386 3282 3550 2846 -3578 -3678 2714 -3842 -2738 3730 3214 -3446 3966 -3390 3730 -4002 -2670 -3530 3366 -2654 -3890 3358 -3650 -3222 2982 -2714 -3182 -3990 -3906 -3374 -3750 -3610 -2782 3870 -3702 -3990 -4042 -2938 3270 3374 3258 3582 -2874 -3382 3190 -3082 2666 -3918 3006 -3398 3950 -3162 -2694 -2902 3138 -2742 4042 3198 3142 -3322 -2686 3070 -2670 -3258 -2838 2910 3130 3062 2902 3166 -3638 -3602 3410 -3886 -2738 4002 -3534 -3890 -2718 -3250 2894 3102 -2794 -3050 -3186 3686 -3138 3390 -3190 -3334 -2878 3838 -3874 3206 3230 -3998 -3930 -3878 -3306 -3810 3802 2894 -2718 2822 3022 -2970 -3018 2754 2986 3782 -3978 3462 2926 -3838 2990 -3434 -3974 -3538 -3438 -3686 3330 3994 3534 -3130 4002 2694 -3658 -2926 -3150 -3462 -3518 3850 -2950 -3618 -3074 2782 -3106 3650 2738 2666 -3990 -2718 -3294 3130 -3750 2906 3982 -3006 -2942 3438 -3182 -3946 -3202 -3874 -3402 -3890 2770 -4014 3042 2814 -2838 -3306 2994 -2666 3938 -2954 3086 -3682 -4038 -2858 3650 3538 -3190 2702 -3126 -3230 -3638 3382 -3014 -3014 -3914 -3718 -2942 -4002 3138 -3702 -3026 2650 -3914 -3646 -2942 -3002 -3158 -2718 -3890 -3930 -2922 -2866 -3150 -3930 3422 -3342 3718 -4010 2714 -3370 -3458 2782 -2650 -3138 -3930 -3054 -3598 -3878 -3182 -3166 3342 -3646 2894 3978 -3686 4034 -3682 -2658 2758 -4002 3126 -2894 -2654 3146 -2946 -2962 -3506 -3066 -2702 3366 -3890 -3890 -2694 -2678 -3050 -3714 -3750 -3386 -4014 -3098 -3690 -3186 -2698 -3958 2690 -3222 3302 -3610 -3294 -3058 -3502 -3890 -3166 3702 -3186 3174 3790 -3306 2694 -3230 3110 -2854 -3930 2894 3774 -2902 -3134 -3782 2650 -3254 3350 2806 -2702 -3478 3126 -3422 -2742 -3422 3262 3838 -3874 -2694 -3386 -3998 -3014 -3790 -3598 -3950 3998 3382 -3426 -4042 -3810 3890 4034 3002 2978 -2730 -2810 -3850 -3082 -3694 -2798 -4018 -3066 2662 -3646 3066 -3298 -3874 4038 2882 -2942 3742 3710 -3054 3642 -3906 -2698 -3958 -3134 3554 -3342 3602 -3046 -3958 3106 -3726 -3930 3594 3186 3730 -3546 -3886 -3042 -4018 -3382 3858 2814 2930 -3214 -3930 2954 2670 3034 3578 -3058 3538 -3610 3898 -2786 -3206 -3126 3442 2714 2986 2746 -3498 3814 -3074 -3954 -3502 3650 3158 -3066 -3878 3914 -3354 3834 3278 -3442 2838 3150 3870 2710 2702 2690 -3166 3590 3806 -3586 -3238 -3134 3874 3998 -3134 -3138 -3578 -3650 -4002 2790 3882 2950 -4018 -2650 -3478 -3646 -2922 -3318 -3638 3754 -3942 -3682 -3038 -3190 -3814 -3010 -3190 -2814 2714 -2690 3262 -3066 -3890 -3870 -3190 -3182 -3890 3430 -3770 3158 3610 -3854 -3086 3582 -3270 -2778 2650 -3666 2898 -4042 3230 3202 -3890 -3070 3962 4038 2758 3794 3382 -2702 3246 -2878 -2806 2914 -2966 2766 -2822 4002 3238 -3966 -3170 2998 -3630 -3022 3490 -3358 -2858 -3930 3846 3774 3630 -3762 -4038 -3718 -2862 -3198 -3254 -3490 3690 -2866 -3542 -3090 -3686 3598 -3662 3670 -3810 3830 -3182 -2858 -3062 -2894 -2690 -4034 -3054 -3510 3162 -2714 2938 -4002 -2778 -2662 -3558 -3798 3174 3098 -2830 3570 -2678 -3142 -4042 -3998 3686 -3186 -3570 -3054 -3990 -3930 -3086 -3426 2974 -3354 4042 -3350 -3382 3582 -3438 -3394 -3478 -2994 -2974 3466 3214 -3194 3498 -3114 -3106 -3950 -3138 -3366 -3126 -3570 3134 -3578 -3374 3562 3582 3230 -3870 -3538 -3970 -2806 2738 -3802 3774 -2666 -3402 3662 3610 3230 3050 -3978 2710 -3734 -3650 2734 3950 -3306 3074 3158 2790 -3758 -3950 3890 -3066 3174 4002 -3918 -3926 -3134 3514 3646 3682 -2822 3594 2730 -3542 -3338 3302 -3890 3610 -3406 3010 -3950 -3890 -3662 2702 -3842 -3434 -2838 4014 -3250 -2754 -2662 3122 -3846 3538 -4042 3914 -3562 -3126 -3930 3726 3410 2854 2650 -3462 -3810 2742 -3050 -3930 -3858 3026 2906 3038 -2942 -3678 3002 -2738 2690 2926 -3394 -3062 -3998 3906 3446 3002 3922 3662 2690 2918 -3258 3538 -3786 3874 3218 -2822 -2934 -3342 -3878 -3770 -3914 -3650 -3802 3398 -4038 -3930 -3066 3346 3850 -3182 -3978 -2906 -3542 -4042 3306 3526 -3978 -3894 -3342 -2706 -4038 3106 3950 3734 -3890 -2698 -3998 3374 -2958 2962 -2690 -3174 -3478 3846 3554 -2650 -3678 3770 -4002 -2770 -3602 3094 3982 -2818 2894 -3642 -4018 -3694 -3998 -2978 -3466 3434 -3990 -3538 3746 -3686 3638 -3142 -3562 -3370 -3958 -3198 -3306 -3106 -3598 -3014 3314 -2846 -2690 3082 -2894 3406 -3886 -3970 -3998 3810 3698 2802 -3134 -3342 -3998 2886 -3978 -3306 -3158 3366 3534 -3358 3062 -3642 3326 3134 3006 3702 -3830 3090 2978 -3402 3810 -3310 2950 2738 3194 2706 3374 3858 3738 3890 -3998 -3582 -3890 3278 -3418 -2846 3378 -3874 -3598 2698 -3978 -3386 -3506 3334 2974 3198 3858 -3054 3510 3202 -3990 -3646 2818 3238 -3114 3106 -3682 -3750 3062 -2706 -3346 -3002 2650 -3946 -3650 -3950 -3410 -3270 -3094 -2994 -3150 -2922 -3414 3766 -3838 2934 3466 3110 3214 -3386 4042 -3450 -2886 3998 2962 -3186 3638 -3910 -3542 -2702 -3070 3250 3650 -3070 3354 3506 -2770 3686 -3890 -3726 2854 3294 -3658 2662 -3078 3630 -2714 -3098 -2726 3466 -3638 3602 -3998 -3638 -3538 3990 -3110 -3186 -3990 -3054 3098 -2894 3886 -3466 -3062 -3606 3850 -3986 -3790 -3994 3342 2774 -3438 -3930 -2978 2966 -3994 -3406 -3682 -3558 3102 3662 -3598 -3110 -3438 3342 -3450 -3102 3970 -3642 2890 3278 3058 3562 3502 -3814 3766 -3818 2894 -3110 3766 -3642 3598 2938 -2906 2950 2650 3414 -3914 3990 3074 -3718 -3130 -3342 4026 -3306 2694 3910 -3022 -3490 -3074 -3426 3742 3598 -3890 -2822 3334 -3174 -2942 -3914 -3138 3814 -3958 -3998 3546 -3086 -3438 2694 -3238 -2938 3910 -3890 -2778 3050 3426 3734 3554 3118 2978 -3478 3206 -3790 -2854 -3918 2962 3034 -3610 -2854 -3914 2782 3342 -3930 -3170 -3610 3690 2822 -3654 3802 -3674 -3182 3138 2998 -3058 3790 -2866 -2686 3658 -3134 -3066 -3894 3018 -2966 -3114 -3990 -3890 3018 3534 -3950 -3198 -3486 3954 3694 -4042 -3650 -3238 -3250 -3394 2830 4034 -3958 -3730 -3914 -3446 -2714 -3726 -3582 -3294 -2702 -2898 2902 4034 -3478 2694 3086 -3026 3506 3326 -3126 3706 -3790 3042 -3358 2738 -2822 3094 -3550 -4022 -2758 3458 2734 -3122 -3870 -3054 -2686 -3238 -3278 3402 -3410 -3926 3034 -3702 3310 3186 3090 -3582 -3182 3486 -3654 -2958 3466 -3914 -4018 -3418 -3182 -3974 2702 -3478 -2918 3594 3762 -3094 3134 4014 3038 3146 3718 3678 -2934 -3722 2846 3578 -3170 2778 -3686 -3822 -4042 -3526 -3978 -3914 -3014 3074 3686 -3794 -3734 -2834 -3986 3798 -3978 3450 -3478 -3990 3254 3874 -3830 -3598 -3594 -3750 -3958 3990 -3382 -2742 3702 -3622 -3566 3974 -3302 3974 -3646 3182 -3346 3210 -3738 -2986 3230 2998 3162 3190 3190 3350 -3894 3574 3926 3006 3634 -3594 3746 3530 -2706 3246 -3990 -2842 -3798 -3762 -2786 -3054 -3954 2942 -3958 -3614 -3210 -3014 -2714 3926 -3586 -3198 -3094 -3870 -2734 -3018 2698 -2694 -3302 3838 -3226 4042 -4042 2666 -2910 -3154 -4018 3686 3022 3710 -2874 2778 -3478 -3530 -3802 3486 -3242 3066 3354 3994 -4002 -3990 3690 2754 -3646 2898 3290 3990 -2978 -4022 4042 -3890 -3346 3782 3386 -2738 -3750 -3098 -3650 -3290 2710 4042 -3926 -2926 -2650 -3874 -3702 -2690 3870 3294 -3866 -3250 -3578 2782 3070 -3174 -3782 -3710 -3834 -3058 2694 2674 3702 -3974 2994 2690 3642 3134 -3810 3490 3446 3598 -3966 3126 -3090 -4042 -3106 -3266 3610 2678 -3750 -3370 -3014 3682 -3166 -3238 -3686 -3950 -3958 3022 -3078 3586 2854 2670 3078 -3490 -2690 -3786 3006 3002 -3678 -3982 -2822 -3098 4042 2814 3270 -3606 -3574 -3474 -2706 -2718 2650 -2654 -3814 2690 -3054 -3426 -2870 -4042 3750 3442 -3914 -2854 -2906 -3198 -3950 -2786 -3186 -3850 2962 -2746 -2934 2666 3594 -4018 -3926 2890 -3350 3202 -3642 -4038 -3878 -3118 3870 3526 -3626 -3914 -2742 3750 3390 -2910 -3166 -3794 2850 3698 -3890 3970 -3950 3634 -3382 3590 3302 3806 -3630 -3478 -3078 3910 -3282 -3950 3934 -3998 -3582 -3722 -2694 2690 2938 -3558 -3290 3586 -2962 -2894 -3830 3546 3526 -3530 -3574 -2982 3338 -2690 -3114 -3638 3662 -3138 -3146 -3034 -3090 -3094 2690 2682 -3342 3570 3546 -3238 -3958 3566 -2978 -3638 3934 -3438 -3818 -3438 -3750 -3598 3934 -3018 3694 -3598 -2966 -3122 3390 3178 -3442 -3590 3618 3050 -3930 3742 3962 -3014 -3238 2894 -3278 3678 -3558 3346 3274 -2914 3462 -3750 -3278 -3874 3706 -3270 -2898 -3094 3058 -3498 -3278 3174 -3898 3134 3866 2718 3318 -3458 -3214 3338 3418 3318 -3334 3566 4038 -3930 -3538 3118 3110 -3658 -3606 -3886 -3346 -3242 2714 3598 -3842 2830 -3438 -3498 -2806 -3750 -2842 3094 -2854 3666 -3190 -2942 -3646 -2678 3762 3174 3390 -2678 -3306 3126 3314 -3146 3530 -3518 -3526 -2702 3542 -3638 -3774 3486 -4002 -3142 -3014 -3754 -3886 2690 3778 3794 2662 2742 3450 2846 3570 -2722 3030 -3198 -3238 -2950 -4038 3394 -3018 4002 -3890 2938 3158 -3890 -3070 -2654 -3054 -3902 3238 -3194 -3894 -2706 -2690 3086 3886 3174 -3198 -2674 -3998 -3958 -3298 -3890 -3790 -3638 -3058 -3406 -3478 -3386 -3470 -2706 2738 -3930 3570 3618 3662 -3274 -3974 -2826 -3486 -3790 -3142 -2702 3958 -3598 3934 -3134 -2698 3874 -3922 -3518 2650 -3654 2830 -2990 -3198 2690 3726 3066 -3386 -3750 -3546 2726 3854 3070 -3494 3266 3414 4018 2962 3554 -3030 -3814 -3878 -4014 -3694 -4042 -3618 -3438 2878 -3786 2706 -3434 -2818 -4002 -2666 -3598 -3202 -3142 4002 -3446 -3718 -3990 -3010 3802 -2738 2690 3950 3506 3298 -3198 2650 3870 -3478 -3914 -3850 3674 3746 -3994 -3930 3350 -3950 3602 2822 -2898 -3058 -3886 4002 -4042 -2830 -3190 3086 -3378 -3154 -3630 -3638 -3186 3858 3378 3230 -4038 -3446 -3438 3654 -2818 3658 -3654 3862 -2654 -3642 -2650 3018 3678 -3846 3642 3830 -3174 3850 -2690 -3478 2718 -2710 -4002 3346 3078 2666 -3766 2994 2934 3566 3882 2846 -3790 3358 3646 -3682 3094 2690 3434 -3050 -3566 -3174 3650 3182 2990 4002 3710 -3930 -3822 -2650 -3446 -3242 3242 -2914 -3650 -3778 -3794 -3130 -2658 -3922 -3774 -3974 -3098 -3114 -4042 -3950 -3106 3134 3050 3182 -3150 -3830 -3482 -3846 -3534 3758 -3610 -3830 -3618 -2954 3154 2930 2822 -4002 -2858 -3146 -3570 -2954 3374 3370 -3986 2666 -3890 -3538 2698 3166 -3894 2846 3766 -2754 -3386 -3834 2690 3246 -2978 -2754 2846 -4042 -3090 -2694 2854 -3890 -3586 4002 -4002 4002 3646 3670 -3382 -4002 3134 -3798 2830 4042 -2706 3238 2710 -3890 2726 -2882 3290 2790 -3998 3838 3870 -3198 2726 2702 -3898 2650 -3426 -2814 -3142 3658 -3266 -3778 3706 -4042 -3978 3066 3622 -3150 3522 3462 -2702 3870 3186 -3998 -3402 -2906 -2742 -3834 3906 2702 -3702 -2798 3818 2738 3018 3798 -3978 3986 3426 -2902 3090 -3314 -3882 -3022 3490 -2694 -3650 -3658 -3790 -3610 -2798 3558 -3094 3222 3478 -4042 3486 -3998 2778 -3550 -3626 3706 -3542 -2854 3338 -3322 -3302 -3638 -3646 3022 -3646 3946 -4002 3738 3410 -3142 2938 3178 3818 3986 3218 -3558 2982 -3418 -3998 -3210 3898 -3790 2698 -3178 -3930 -3874 2674 -3834 -3158 -4018 3766 -2862 2950 3210 3950 3402 3046 3082 3438 -3958 -3998 3774 -3106 -3090 3234 -3774 -2718 -3542 3174 -3146 -3062 -3366 -3106 3574 -3822 3146 -3950 3406 2778 2770 -2710 3494 3298 -3070 -3598 -3066 -3142 -3682 -3382 3526 3686 3894 -3854 -3838 -3214 -3350 -3278 -4002 2758 2650 -3438 3442 3678 -2966 2650 -3558 -3478 -3950 3222 -3126 -2658 -2870 2938 -3690 -3722 -2886 -3378 -3058 -3702 3910 3686 2662 -2822 -3978 -3598 -3134 -3766 2706 3830 -3674 -3326 -3930 -2946 -3298 3806 3502 -4034 2978 -3058 -2690 -3690 3326 -3526 2754 3238 2734 -3638 3518 -2846 2822 3946 -3818 3090 -3930 3774 -2902 2878 -4042 -2902 -3150 -3398 -2706 -3922 -2650 2846 -2838 2810 -3850 2866 -2714 3718 3326 -3042 3190 -3114 -3998 -2938 -3950 3846 -3894 -3346 -3198 4042 -3002 3014 2790 -3930 3402 3954 -3922 2934 -3098 3294 -3150 3450 -3174 -2790 -3098 -3438 3330 2814 -3958 -2998 -4018 -2674 3050 -3046 -2674 3766 -3498 -3790 2886 3254 -3998 -3466 3126 -3198 -3130 -2698 -3198 -2902 -3930 3782 -3462 3694 -4010 -2978 3530 3770 -3438 -3722 -3478 -3958 -4018 -3610 3758 3882 -3902 -3874 4018 -3074 -3346 -4002 3222 3578 -2674 -2654 -2854 3670 3478 -3138 -3122 3930 -3890 2658 -3070 -3270 2650 3434 -2706 -3638 3282 3374 3438 3286 2890 -3086 -2950 -3578 3354 -3182 -3042 -2734 -3930 -3602 -3614 -3110 3366 -3874 -3990 -2814 -2922 -2826 -3590 -3774 -2798 3746 3206 -2950 -2942 3410 -3246 3138 -3874 -3998 2650 3502 -3890 -3662 -3750 3374 2962 -3618 -3182 3214 -3878 -3238 3806 2742 -3686 3566 -2806 -3930 3318 -2774 -3002 -2818 -2862 -3102 3142 3850 -3406 -3914 -3806 3622 3930 -3066 -2806 -2750 3770 -3342 -3810 -3262 -3090 -3438 2878 3146 3494 -3926 -3314 -3166 2658 -3222 -3650 3726 3710 -2666 -3950 -3106 -3642 -3038 -3686 -2650 2678 3194 3162 -3438 -3018 -3958 2806 3350 2650 -2898 -3214 -3374 3598 -3930 -3682 -2942 -2858 -3742 -3634 3666 3054 -3538 3170 -3290 -3346 2690 -2694 -3238 3842 -3126 -3858 -3046 3438 2866 -3094 3242 -3910 3290 3214 3530 -3386 -3018 3998 3358 3974 -3646 -3758 -3382 3166 2718 -3478 -3422 2838 -3810 -3146 -3438 -4018 2826 3430 -2674 -3870 2714 -3850 2978 2698 -3834 -3014 3574 -3066 -4002 4002 -2650 -2706 -3318 -3714 -3990 -3286 3698 2850 -3626 -3890 -2946 -4002 -3998 -3098 -3874 3810 -3798 -3150 3990 -3302 -3590 4038 -3638 -3726 2706 2690 3162 3906 -3094 3614 -3550 4018 -3174 3110 3662 3126 3638 -3422 3170 -3950 -2654 -3318 3590 -3182 -3998 3418 
60.76	d NODES 6488
60.76	d CHECKS 55741126
60.76	   
60.76	   totalWckTime=60.521  totalCpuTime=57.78

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/node9/watcher-205943-1168073489 -o ROOT/results/node9/solver-205943-1168073489 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205943-1168073489/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: 1.69 1.68 1.81 5/93 16655
/proc/meminfo: memFree=1076632/2055920 swapFree=4191880/4192956
[pid=16654] ppid=16652 vsize=18540 CPUtime=0
/proc/16654/stat : 16654 (runsolver) R 16652 16654 16587 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155744312 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16654/statm: 4635 279 244 17 0 2626 0

[startup+0.103762 s]
/proc/loadavg: 1.69 1.68 1.81 5/93 16655
/proc/meminfo: memFree=1076632/2055920 swapFree=4191880/4192956
[pid=16654] ppid=16652 vsize=914988 CPUtime=0.09
/proc/16654/stat : 16654 (java) R 16652 16654 16587 0 -1 0 2981 0 1 0 7 2 0 0 17 0 8 0 155744312 936947712 2727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16654/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511807 s]
/proc/loadavg: 1.69 1.68 1.81 5/93 16655
/proc/meminfo: memFree=1076632/2055920 swapFree=4191880/4192956
[pid=16654] ppid=16652 vsize=915328 CPUtime=0.49
/proc/16654/stat : 16654 (java) R 16652 16654 16587 0 -1 0 7993 0 1 0 43 6 0 0 18 0 8 0 155744312 937295872 7732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153928144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16654/statm: 228832 7732 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3369 s]
/proc/loadavg: 1.71 1.69 1.81 4/100 16662
/proc/meminfo: memFree=984680/2055920 swapFree=4191880/4192956
[pid=16654] ppid=16652 vsize=915596 CPUtime=1.31
/proc/16654/stat : 16654 (java) R 16652 16654 16587 0 -1 0 28942 0 1 0 116 15 0 0 23 0 8 0 155744312 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073769740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16654/statm: 228899 28679 2160 14 0 215369 0
[pid=16654/tid=16656] ppid=16652 vsize=915596 CPUtime=0.11
/proc/16654/task/16656/stat : 16656 (java) S 16652 16654 16587 0 -1 64 12399 0 0 0 7 4 0 0 16 0 8 0 155744316 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16657] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16657/stat : 16657 (java) S 16652 16654 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744317 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16658] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16658/stat : 16658 (java) S 16652 16654 16587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155744317 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16659] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16659/stat : 16659 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744320 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16660] ppid=16652 vsize=915596 CPUtime=0.15
/proc/16654/task/16660/stat : 16660 (java) S 16652 16654 16587 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 155744320 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16661] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16661/stat : 16661 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155744320 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16662] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16662/stat : 16662 (java) S 16652 16654 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155744320 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915596

[startup+2.98809 s]
/proc/loadavg: 1.71 1.69 1.81 3/100 16662
/proc/meminfo: memFree=962024/2055920 swapFree=4191880/4192956
[pid=16654] ppid=16652 vsize=915596 CPUtime=2.95
/proc/16654/stat : 16654 (java) R 16652 16654 16587 0 -1 0 32070 0 1 0 277 18 0 0 25 0 8 0 155744312 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073541670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16654/statm: 228899 31802 2160 14 0 215369 0
[pid=16654/tid=16656] ppid=16652 vsize=915596 CPUtime=0.3
/proc/16654/task/16656/stat : 16656 (java) S 16652 16654 16587 0 -1 64 15519 0 0 0 24 6 0 0 16 0 8 0 155744316 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16657] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16657/stat : 16657 (java) S 16652 16654 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744317 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16658] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16658/stat : 16658 (java) S 16652 16654 16587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155744317 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16659] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16659/stat : 16659 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744320 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16660] ppid=16652 vsize=915596 CPUtime=0.16
/proc/16654/task/16660/stat : 16660 (java) S 16652 16654 16587 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 155744320 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16661] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16661/stat : 16661 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155744320 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16662] ppid=16652 vsize=915596 CPUtime=0
/proc/16654/task/16662/stat : 16662 (java) S 16652 16654 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155744320 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915596

[startup+6.26746 s]
/proc/loadavg: 1.74 1.69 1.81 3/100 16662
/proc/meminfo: memFree=952680/2055920 swapFree=4191880/4192956
[pid=16654] ppid=16652 vsize=915732 CPUtime=6.22
/proc/16654/stat : 16654 (java) R 16652 16654 16587 0 -1 0 34673 0 1 0 602 20 0 0 25 0 8 0 155744312 937709568 34400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073573959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16654/statm: 228933 34400 2182 14 0 215403 0
[pid=16654/tid=16656] ppid=16652 vsize=915732 CPUtime=0.45
/proc/16654/task/16656/stat : 16656 (java) S 16652 16654 16587 0 -1 64 18019 0 0 0 38 7 0 0 16 0 8 0 155744316 937709568 34400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16657] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16657/stat : 16657 (java) S 16652 16654 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744317 937709568 34400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16658] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16658/stat : 16658 (java) S 16652 16654 16587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155744317 937709568 34400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16659] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16659/stat : 16659 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744320 937709568 34400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16660] ppid=16652 vsize=915732 CPUtime=0.21
/proc/16654/task/16660/stat : 16660 (java) S 16652 16654 16587 0 -1 64 449 0 0 0 21 0 0 0 15 0 8 0 155744320 937709568 34400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16661] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16661/stat : 16661 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155744320 937709568 34400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16662] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16662/stat : 16662 (java) S 16652 16654 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155744320 937709568 34400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915732

[startup+12.7672 s]
/proc/loadavg: 1.76 1.70 1.81 3/100 16662
/proc/meminfo: memFree=914216/2055920 swapFree=4191880/4192956
[pid=16654] ppid=16652 vsize=915732 CPUtime=12.68
/proc/16654/stat : 16654 (java) R 16652 16654 16587 0 -1 0 42918 0 1 0 1244 24 0 0 25 0 8 0 155744312 937709568 42633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073533849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16654/statm: 228933 42633 2182 14 0 215403 0
[pid=16654/tid=16656] ppid=16652 vsize=915732 CPUtime=1.17
/proc/16654/task/16656/stat : 16656 (java) S 16652 16654 16587 0 -1 64 26250 0 0 0 106 11 0 0 16 0 8 0 155744316 937709568 42633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16657] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16657/stat : 16657 (java) S 16652 16654 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744317 937709568 42633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16658] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16658/stat : 16658 (java) S 16652 16654 16587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155744317 937709568 42633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16659] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16659/stat : 16659 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744320 937709568 42633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16660] ppid=16652 vsize=915732 CPUtime=0.22
/proc/16654/task/16660/stat : 16660 (java) S 16652 16654 16587 0 -1 64 451 0 0 0 22 0 0 0 16 0 8 0 155744320 937709568 42633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16661] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16661/stat : 16661 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155744320 937709568 42633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16662] ppid=16652 vsize=915732 CPUtime=0
/proc/16654/task/16662/stat : 16662 (java) S 16652 16654 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155744320 937709568 42633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915732

[startup+25.6226 s]
/proc/loadavg: 1.79 1.71 1.81 3/100 16662
/proc/meminfo: memFree=740776/2055920 swapFree=4191880/4192956
[pid=16654] ppid=16652 vsize=915876 CPUtime=25.48
/proc/16654/stat : 16654 (java) R 16652 16654 16587 0 -1 0 86622 0 1 0 2506 42 0 0 25 0 8 0 155744312 937857024 86278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16654/statm: 228969 86278 2533 14 0 215439 0
[pid=16654/tid=16656] ppid=16652 vsize=915876 CPUtime=1.96
/proc/16654/task/16656/stat : 16656 (java) S 16652 16654 16587 0 -1 64 69397 0 0 0 168 28 0 0 16 0 8 0 155744316 937857024 86278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16657] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16657/stat : 16657 (java) S 16652 16654 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744317 937857024 86278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16658] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16658/stat : 16658 (java) S 16652 16654 16587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155744317 937857024 86278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16659] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16659/stat : 16659 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744320 937857024 86278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16660] ppid=16652 vsize=915876 CPUtime=0.35
/proc/16654/task/16660/stat : 16660 (java) S 16652 16654 16587 0 -1 64 563 0 0 0 34 1 0 0 15 0 8 0 155744320 937857024 86278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16661] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16661/stat : 16661 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155744320 937857024 86278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16662] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16662/stat : 16662 (java) S 16652 16654 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155744320 937857024 86278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915876

[startup+51.2466 s]
/proc/loadavg: 1.87 1.74 1.82 3/100 16662
/proc/meminfo: memFree=740840/2055920 swapFree=4191880/4192956
[pid=16654] ppid=16652 vsize=915876 CPUtime=50.98
/proc/16654/stat : 16654 (java) R 16652 16654 16587 0 -1 0 86639 0 1 0 5055 43 0 0 25 0 8 0 155744312 937857024 86291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074254999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16654/statm: 228969 86291 2535 14 0 215439 0
[pid=16654/tid=16656] ppid=16652 vsize=915876 CPUtime=1.96
/proc/16654/task/16656/stat : 16656 (java) S 16652 16654 16587 0 -1 64 69398 0 0 0 168 28 0 0 17 0 8 0 155744316 937857024 86291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16657] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16657/stat : 16657 (java) S 16652 16654 16587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744317 937857024 86291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16658] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16658/stat : 16658 (java) S 16652 16654 16587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155744317 937857024 86291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16659] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16659/stat : 16659 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744320 937857024 86291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16660] ppid=16652 vsize=915876 CPUtime=0.37
/proc/16654/task/16660/stat : 16660 (java) S 16652 16654 16587 0 -1 64 574 0 0 0 36 1 0 0 16 0 8 0 155744320 937857024 86291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16661] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16661/stat : 16661 (java) S 16652 16654 16587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155744320 937857024 86291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16654/tid=16662] ppid=16652 vsize=915876 CPUtime=0
/proc/16654/task/16662/stat : 16662 (java) S 16652 16654 16587 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155744320 937857024 86291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 60.8264
CPU time (s): 60.5128
CPU user time (s): 59.9819
CPU system time (s): 0.530919
CPU usage (%): 99.4845
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.9819
system time used= 0.530919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94980
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= 3141
involuntary context switches= 3942

runsolver used 0.082987 s user time and 0.197969 s system time

The end

Launcher Data (download as text)

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


IDJOB= 205943
IDBENCH= 4177
FILE ID= node9/205943-1168073489

PBS_JOBID= 3475774

Free space on /tmp= 66528 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c63689b420ce6e8c6aef37817cc56cbd

RANDOM SEED= 256785295

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.231
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.231
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:       1077112 kB
Buffers:         83564 kB
Cached:         557204 kB
SwapCached:        268 kB
Active:         509600 kB
Inactive:       366828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1077112 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           10516 kB
Writeback:           0 kB
Mapped:         257408 kB
Slab:            86800 kB
Committed_AS:  4740096 kB
PageTables:       2704 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= 66528 MiB



End job on node9 on Sat Jan  6 08:52:33 UTC 2007