Trace number 205958

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 ESACSAT 286.6 288.08

DiagnosticValue
CHECKS49479223
NODES2513

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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/205958-1168168649/unknown.xml
0.40	   
0.40	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.90	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.90	       =>  wckTime=0.557  cpuTime=0.38  mem=44M728
0.90	   
0.90	   predicates being loaded...
0.90	   
0.90	   constraints being loaded...
202.47	   
202.47	   INFO : Stopping converting binary constraints (cpu=200.19, mem = 121M731)
210.15	     nbConstraints=32622  nbMergedConstraints=29510  nbConvertedConstraints=971  nbConvertConstraintsChecks=346569414
210.16	     nbExtensionStructures=891  nbSharedExtensionStructures=80  nbConflictsStructures=891
210.16	     nbSharedConflictsStructures=80  nbSharedBinaryRepresentations=885738  nbEvaluationManagers=21777
210.16	     nbSharedEvaluationManagers=9874  maxDegree=54  maxArity=2
210.16	       =>  wckTime=209.811  cpuTime=206.83  mem=170M60
210.65	   
210.65	   solver IterativeSystematicSolver being built... 
211.87	       =>  wckTime=211.527  cpuTime=207.51  mem=343M698
283.87	   
283.87	   INFO : Stopping ESAC
283.88	   
283.88	   preprocessing
283.88	     nbConstraintChecks=48594963  nbValidityChecks=12461745  nbPropagations=49140  nbRevisions=1219411
283.88	     nbUselessRevisions=1158556  nbSingletonTests=11441  nbEffectiveSingletonTests=17  nbESACBranches=11
283.88	     nbRemovedValues=1435943  detectedInconsistency=no
283.88	       =>  wckTime=71.966  cpuTime=71.52  mem=343M698
287.99	   
287.99	   search
287.99	     run=0  nbConstraintChecks=884260  nbValidityChecks=2152357  nbPropagations=56780  nbRevisions=1402537
287.99	     nbUselessRevisions=1330931  nbAssignments=2513  nbFailedAssignments=13  nbBacktracks=0  nbVisitedNodes=2527
287.99	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=1752
287.99	       =>  wckTime=76.087  cpuTime=75.59  mem=360M944
288.00	   
288.00	   global
288.00	     nbConstraintChecks=49479223  nbValidityChecks=14614102  nbPropagations=105920  nbRevisions=2621948
288.00	     nbUselessRevisions=2489487  nbRestartNogoods=0  solvingWckTime=76.089  solvingCpuTime=75.59  expiredTime=no
288.00	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=283.19
288.00	       =>  wckTime=287.654  cpuTime=283.14  mem=360M944
288.00	   
288.00	s SATISFIABLE
288.00	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 -3142 3742 2774 3758 -3282 2650 -3930 3018 -3790 3686 -3930 3402 3506 -3398 -3698 -4018 -3854 3750 -3990 -3874 2702 -3790 -3778 -2754 -3418 3422 3626 -3854 3770 -3382 2690 3446 -3830 -3074 -4002 3670 -3046 -3586 2654 -3198 -3926 -3474 -3174 3346 -3598 -3810 -3890 3146 -3566 3438 3442 2650 -3870 -3406 3554 2678 3598 -3850 -3294 -3342 2718 -3558 -3062 2742 -3930 2654 -3914 -3534 3550 -3538 3062 -3998 3626 -3138 2818 3066 -3386 -3978 3046 -3950 3314 -3106 3510 3618 -3522 -2962 -3686 -3142 -3022 -3750 3522 2846 -3426 3266 -3310 -3642 2958 3318 -3790 -3742 -3034 -3314 3562 -3094 3294 -3438 -3234 3366 -2814 3686 -3682 -3990 -3106 -3334 -2862 2690 -2782 -3114 -2722 -2874 3034 3246 -3090 3702 3754 -2826 2866 -3450 -2890 3998 2810 -3358 -3782 -3890 3654 -2650 2650 3998 3606 2906 3298 2690 -3690 -2734 -3978 2846 -3066 -3930 4042 3202 -3686 3658 3170 2762 3286 -3142 -3890 3166 -3582 3134 2750 -3046 2650 -3394 3134 2934 2778 -3522 -3334 -3810 3518 -3338 -3470 -3394 -3262 2782 3946 -3790 -3914 -3346 -3122 -3346 -3262 -3146 -3198 -2690 -3810 2786 3362 -3258 2778 -3438 -3642 -3806 -3214 -3558 3382 3410 -2690 -3938 2746 3694 2698 -3014 -3462 3746 3414 4002 -4042 2650 -2998 -3718 3734 -3050 2702 -3174 -3550 3590 -2650 -3182 3098 -3958 -2666 -3950 -3386 3286 3550 -2850 -3578 -3678 2710 -3838 -2742 3730 -3214 -3446 3966 -3390 3726 -4002 -2666 3530 3366 -2658 -3890 3358 -3650 -3222 2982 -2710 -3182 -3990 -3914 -3374 -3750 -3606 2786 3866 -3690 -3990 -4042 -2898 3270 3374 3258 3582 -2866 -3382 3190 -3082 2666 -3918 2998 -3398 3954 -3162 -2694 -2902 -3138 -2702 -4042 3198 3142 -3326 -2686 3070 -2670 -3238 -2830 2910 3146 3078 2894 3166 -3638 -3602 -3418 -3886 2738 3978 -3534 -3890 -2718 -3250 2886 3102 -2782 -3050 -3186 -3686 -3134 3390 -3186 -3334 -2878 3830 -3874 3206 3234 -3998 -3930 -3870 -3306 -3810 3802 2894 2718 2814 3018 2970 -3014 2754 3074 3782 -3978 3462 2918 -3838 2986 3442 -3986 -3542 -3438 -3682 3330 3994 3534 -3126 4002 2702 -3650 -2926 -3146 -3462 3518 3846 -2950 -3618 -3074 2782 -3106 -3646 2738 2662 -3990 -2714 3290 3130 -3746 2906 3982 -3002 -2942 3438 3186 -3942 -3202 -3874 -3402 -3890 2770 4014 3050 2814 -2838 -3306 2990 -2666 3938 -2950 3086 -3694 -4038 -2854 3642 3538 -3190 -2698 -3102 -3150 -3638 -3382 -3014 -3014 -3914 3738 -2934 -4002 3138 -3702 -3022 2650 -3914 -3646 -2942 -3002 -3158 -2718 -3890 -3930 -2922 -2862 -3146 -3930 3422 -3342 3718 4010 2714 -3370 -3454 2782 -2650 -3134 -3922 -3054 -3590 -3878 -3182 -3142 3346 -3642 2890 3978 -3686 4034 -3682 -2658 2754 -4002 3126 -2894 2650 3142 -2930 -2958 -3506 -3066 -2662 3362 -3890 -3890 2694 -2678 -3046 -3702 -3750 -3382 -4018 -3098 -3690 -3186 -2690 -3958 2698 -3222 3302 -3606 3302 -3058 -3502 -3890 -3162 3702 -3182 3150 -3790 -3282 2694 -3230 -3110 -2854 -3930 2882 3774 -2902 -3138 -3782 -2650 3254 3350 2806 -2710 -3478 -3138 -3422 2702 3422 3262 -3862 -3874 -2690 -3382 -3998 -3014 -3790 -3598 -3950 3998 3382 -3426 -4042 -3806 -3890 4038 2998 2978 -2730 -2810 -3850 3082 3694 -2790 -4018 -3066 2650 -3646 -3066 -3298 -3874 4038 2882 -2946 3742 3710 -3054 3642 3906 -2694 -3958 3146 3554 -3342 3602 -3046 -3958 3070 -3726 -3930 3594 -3182 -3730 -3546 -3886 3042 -4018 3382 3858 -2806 2930 -3210 -3930 2950 2670 -3034 -3578 -3058 -3538 -3606 3918 -2786 -3206 -3126 3438 2730 2982 2738 -3498 3814 -3074 -3954 -3502 3650 3166 -3070 -3878 3910 -3354 3846 3290 -3442 2838 -3162 3870 2710 2702 2690 -3166 3598 3826 -3598 -3238 -3134 -3874 3998 -3134 -3138 -3574 -3650 -4002 2786 3882 2950 -4018 -2650 -3478 -3646 -2910 3330 -3638 3774 -4042 -3682 -3034 3190 3818 -3010 -3186 -2814 2722 -2690 -3258 -3066 -3886 3870 -3202 -3182 -3890 -3438 -3770 3158 3610 -3854 -3098 3582 -3270 -2778 2650 -3666 2906 -4042 3230 3202 -3890 -3066 3962 -4038 2754 3790 3382 -2702 3242 2878 -2810 2914 -2966 2758 -2822 4002 3214 -3966 -3170 2994 3634 -3018 3490 -3358 -2866 -3930 3842 3770 3626 -3782 -4038 -3718 2862 -3198 -3250 -3490 3690 -2874 -3542 3106 -3682 -3598 3662 3670 -3810 3830 -3182 -2854 -3058 -2886 -2690 -4030 -3050 -3510 3162 -2714 2934 -4002 -2686 -2670 3550 -3794 3174 3098 -2826 3570 -2678 -3142 -4042 -3998 -3686 -3182 -3570 -3054 -3990 -3930 -3086 -3422 -2974 -3354 4042 3362 -3382 3582 -3438 -3402 -3478 -2990 -2974 3466 3226 -3206 3498 -3114 -3106 -3950 -3134 -3366 -3126 3570 3114 -3578 -3374 3562 -3582 3230 -3870 -3538 -3970 -2810 -2738 3798 3770 -2662 -3398 3666 3614 3230 -3050 -3978 2710 -3750 -3650 2730 3950 -3298 3074 3158 2790 -3758 -3950 3886 -3066 3178 3998 -3918 -3930 -3134 -3518 3642 3682 -2818 3594 -2726 3542 -3338 3306 -3890 3602 -3402 3006 -3950 -3890 -3662 2710 -3846 -3438 -2838 4014 3250 -2754 2662 -3122 3866 3538 -4042 3914 -3562 -3126 -3930 3726 3410 2854 2714 -3462 -3810 2742 -3062 -3930 -3858 3022 2906 -3038 -2942 3698 2998 -2738 2690 2926 3402 -3026 -3998 3906 3442 3010 3922 3662 2690 2918 -3258 3538 -3782 3874 3218 -2818 -2926 -3342 -3902 -3770 -3914 -3646 -3802 -3406 -4038 -3930 -3030 3338 3850 -3182 -3978 -2906 -3538 4042 3306 3526 -3978 -3894 -3342 -2706 -4038 3106 3946 3730 -3890 -2694 -3998 3378 -2962 2962 -2690 -3174 -3478 3850 3558 2650 3670 -3774 -4002 -2770 -3606 -3098 4002 -2818 2894 3642 -4018 -3690 -3998 -2978 -3462 3442 -3990 -3538 3746 -3706 3638 -3142 -3562 -3370 -3958 -3198 -3306 -3110 -3598 3014 -3318 -2842 2690 3134 2894 3402 -3882 -3970 -3998 3810 3694 2810 -3134 3342 -3998 2878 -3978 -3306 3158 3362 3538 -3358 3058 -3646 3326 3146 3002 3698 -3830 3086 2974 -3406 -3830 -3310 2950 2734 -3206 2702 3374 3862 3738 -3890 -3998 -3582 -3890 3278 3426 -2850 -3386 -3874 -3598 2698 -3978 -3382 -3506 3338 2974 3202 3858 -3050 3510 3198 -3990 -3666 2826 3242 -3106 -3106 -3682 -3750 3066 -2706 -3342 -3006 2650 -3946 -3650 -3950 -3410 -3274 -3094 -2994 3150 2922 -3414 3766 -3834 2934 3466 3110 3218 -3382 4042 3458 -2874 -3998 2966 -3182 3634 3910 -3538 -2702 -3070 3254 3646 -3070 3362 3506 2690 -3682 -3890 3726 2846 3290 -3658 2658 -3074 3638 2714 -3094 -2726 3466 -3638 3602 -3998 3638 -3534 -3990 -3110 3186 -3990 -3054 3098 -2954 3886 3462 -3058 -3602 3870 -3990 -3790 -3990 3342 2774 -3438 -3930 -2938 2974 -3994 -3406 -3682 -3554 -3106 3662 -3590 -3106 -3438 3346 -3450 -2690 3970 -3642 2882 3274 -3058 3566 3502 3814 3766 3822 2906 -3110 3766 -3642 3594 2938 -2906 2946 -2650 3410 -3914 -3990 3046 -3718 -3146 -3342 4030 -3310 2694 3906 -3022 -3490 -3074 -3422 3738 3598 -3890 -2826 -3330 -3174 -2942 -3914 -3134 3814 -3958 -3998 -3558 -3086 -3438 2698 -3238 -2930 3910 -3890 2778 3054 3422 3734 3558 3118 -2978 -3490 3206 -3790 -2854 -3918 2962 3034 -3610 -2850 -3914 -2782 3342 -3930 -3170 -3610 3690 2818 -3650 3806 3662 -3182 3118 -3002 -3054 3790 -2874 2650 3658 -3134 -3066 -3914 3022 -2958 -3114 -3990 -3890 3006 -3534 3950 -3198 -3482 -3954 3694 -4042 -3650 -3238 -3250 -3398 -2830 4034 -3958 -3734 -3910 -3446 2714 -3722 3582 -3298 -2702 -2890 -2902 4038 -3478 2694 3086 3026 3502 3326 -3138 3706 -3790 3094 -3354 2734 -2822 3094 -3562 -4022 -2770 3454 -2734 -3122 -3870 -3054 -2678 -3238 -3254 -3402 -3410 -3926 3034 -3706 3310 3186 -3090 3578 -3182 3486 -3654 2990 3462 -3914 -4018 -3414 -3198 -3974 -2702 -3478 -2918 3594 3762 -3094 3134 4014 3034 3146 3718 -3678 -2866 3742 2838 3570 3170 2782 -3686 -3822 -4042 -3526 -3978 -3914 -3014 3074 3694 -3806 -3734 -2822 -3982 3798 -3978 3450 -3478 -3990 3250 3870 -3830 -3598 -3598 -3750 3958 -3990 -3382 -2742 3702 3642 -3566 -3974 -3302 -3978 -3642 -3186 -3342 3206 3738 -2982 3234 3030 3162 3190 -3202 3350 -3894 3586 3926 3006 3634 -3594 3742 3530 -2690 3246 -3990 -2750 -3798 3762 2786 -3042 -3954 2942 -3958 3626 -3186 -3014 -2714 -3926 -3586 -3198 -3090 -3890 -2730 3022 2670 -2694 -3298 -3838 -3226 3910 -4042 2650 -2906 3166 -4018 -3682 3022 3714 -2874 2778 -3478 -3530 -3802 3482 -3254 3062 3358 -3998 -4002 -3990 3690 2754 -3646 2906 3290 3986 2970 -4022 4042 -3890 -3346 3770 3390 -2710 -3750 -3098 -3646 -3294 2710 -4042 3930 -2914 -2650 -3874 -3702 -2690 3870 3294 3862 -3250 -3578 2778 -3082 -3154 -3778 3710 -3834 -3046 2690 2670 3702 -3974 2994 2690 -3642 -3134 -3830 3494 -3458 3598 -3966 3122 -3098 -4042 -3074 -3266 3602 2678 -3750 -3370 -3014 3678 -3166 -3238 3686 -3950 -3958 3022 -3074 3582 2854 2670 3078 -3490 2690 -3782 2998 3002 -3678 -3982 -2822 -3094 4042 2814 3270 -3606 3574 -3478 2706 -2730 -2662 -2654 -3810 2674 -3050 -3430 -2650 -4042 3750 3442 -3914 -2854 2914 -3198 -3950 -2778 -3186 -3850 2962 2746 2934 2666 3594 -4018 -3926 2886 -3350 3202 -3642 -4038 -3878 -3114 3870 3526 -3622 -3914 2742 3750 3402 -2910 -3166 -3814 2850 3698 -3890 3970 -3950 3646 -3382 -3602 3302 3806 -3630 -3474 3074 3910 -3294 -3950 3934 -3998 -3578 -3718 -2694 -2690 2934 -3558 -3290 -3586 -2950 -2894 -3830 -3546 3526 -3530 3586 -2982 3334 -2690 -3114 -3638 3650 -3138 -3142 -3034 -3106 -3094 -2666 2678 -3342 3570 3546 -3238 -3958 3566 -2974 -3638 3934 -3450 -3818 -3438 3750 -3598 3930 -3018 3694 -3598 -2958 -3122 3394 3178 -3442 3594 3610 3058 -3930 3742 3966 -3014 -3238 2890 -3274 3698 -3558 3346 -3270 -2906 3462 -3750 -3254 -3874 -3706 -3274 -2890 -3094 -3054 -3494 -3278 -3174 -3898 3138 3874 2718 3318 -3462 -3214 3334 3422 3318 -3334 3570 -4038 -3930 -3538 -3118 -3110 -3650 -3606 -3886 -3342 -3238 2714 3594 -3842 2830 -3434 -3494 -2802 -3750 -2850 3094 -2854 -3670 -3190 -2942 -3646 -2678 3766 3186 3386 -2670 -3306 3126 3314 -3142 3530 -3518 -3526 -2702 3542 -3634 -3774 3498 3870 -3146 -3014 3774 -3890 2690 3774 -3814 2658 2742 3458 2834 3566 -2718 -3042 -3206 -3238 -2946 -4038 -3402 -3014 4002 -3890 2938 -3158 -3890 -3082 -2654 -3054 -3906 3214 -3194 -3894 -2706 -2690 -3098 3890 3186 -3198 -2674 -3998 -3958 -3278 -3890 -3790 -3638 -3058 -3398 -3478 -3382 -3470 -2702 2738 -3930 3574 -3610 3658 -3274 -3978 -2822 3498 -3786 -3142 -2690 3958 -3598 3946 -3134 -2694 3870 -3926 -3518 2650 -3654 2826 -2986 -3198 2690 3726 3034 -3382 -3750 -3546 2718 -3874 3070 -3494 3242 3418 -4018 2962 3554 -3042 -3814 -3878 -4018 -3694 -4042 -3610 -3438 2878 -3786 -2706 -3438 -2814 -4002 2666 -3598 -3198 -3142 4002 3442 -3710 -3994 -3006 3802 -2726 2690 3950 3502 3294 -3198 2658 -3890 -3478 -3918 -3850 3666 3746 -3994 -3930 3350 -3950 -3602 2822 -2898 -3054 3890 4002 -4042 -2830 -3186 3086 3382 3154 -3630 -3638 -3186 3878 3386 3230 4038 -3458 -3438 3654 -2814 3654 -3650 3866 -2654 3642 -2650 3014 3678 -3846 3654 3830 -3174 3850 -2690 -3478 2718 -2710 -4002 3350 3078 2650 -3766 2994 2934 3566 3882 2842 -3790 3354 3646 -3682 3094 2690 3430 -3050 3562 -3174 3642 -3182 2986 4002 3710 -3930 -3822 -2650 -3442 -3242 3254 -2910 -3650 -3778 -3794 -3130 -2654 -3926 -3778 -3974 -3094 -3114 4042 -3950 -3106 3134 3046 3178 -3150 -3830 -3482 -3846 -3534 3758 -3610 -3850 -3610 -2950 3166 2922 -2822 -4002 -2850 -3146 3566 -2954 -3374 3370 -3986 2666 -3890 -3534 2698 3162 -3890 2834 3766 -2762 -3382 -3830 2690 3246 -2982 -2754 2846 -4042 3102 -2694 -2914 -3890 -3582 -4002 -4002 4002 3646 3666 3386 4002 3110 -3798 2838 4042 -2706 3238 2710 -3882 2690 -2790 3290 2786 -3998 3838 3870 -3198 2718 2690 3918 -2650 -3422 2814 -3146 3658 -3242 -3774 3710 -4042 -3978 3066 3638 -3146 3522 3462 -2702 -3870 -3182 -3998 -3402 -2914 -2742 -3834 3902 -2662 -3702 2798 3814 2738 3006 3798 -3974 -3990 3422 -2906 3102 -3314 3882 -3018 3490 -2694 -3650 -3650 -3790 -3610 -2798 3554 -3094 3222 -3490 3938 3482 -3998 -2778 3550 -3622 3706 -3542 -2846 3334 -3326 -3298 -3638 -3646 3026 3666 3942 -4002 3738 3410 -3142 2938 3178 3818 3986 3218 -3550 2982 -3426 -3998 -3210 3898 -3790 2698 -3178 -3930 -3954 2690 -3830 -3158 -4042 3766 -2858 2946 3210 3950 3402 3042 3082 -3438 -3958 3998 3774 -3106 -3078 3230 -3774 -2710 -3542 3178 -3146 -3062 -3362 -3106 3574 -3822 3146 -3950 3402 2778 2766 -2706 3498 3294 -3070 -3590 3066 -3142 -3682 -3382 3526 -3706 3914 -3854 -3838 -3214 -3342 3290 -4002 2754 2650 -3438 3446 3678 -2954 -2658 -3558 -3478 -3950 3222 -3126 -2662 -2858 2938 -3690 -3722 -2886 -3378 -3054 3702 3910 3682 2670 2822 -3978 -3598 -3134 -3766 2706 3850 -3686 -3326 -3930 -2946 -3298 3806 3502 -4034 2982 3054 -2698 -3690 3322 -3530 2690 3238 2734 -3638 3514 -2854 2818 3946 -3814 3094 -3930 3774 -2902 2878 -4038 -2902 -3142 -3406 -2682 -3922 -2650 2846 2838 2810 3870 -2866 -2722 3738 3322 -3038 -3182 -3086 -3998 -2934 -3950 3866 -3894 -3342 -3198 4042 -2922 -3010 2790 -3930 3406 3954 -3922 2922 -3094 3306 -3162 3450 3186 2790 -3098 -3438 3330 2814 -3958 -2994 -4014 -2670 3038 -3046 -2674 -3766 -3498 -3790 2878 -3266 -3998 -3466 3126 -3198 -3130 -2698 3198 -2902 -3926 3782 -3462 3694 -4010 -2974 3534 3770 -3438 -3722 -3478 -3958 -4018 -3606 3758 3886 -3898 -3874 4018 -3074 -3346 -4002 3238 3570 -2674 -2662 -2850 3670 3470 -3134 -3122 3930 -3890 2658 -3070 3270 2650 3438 -2690 3638 -3294 3370 3430 3282 2886 -3086 -2946 -3578 3354 -3178 -3010 -2734 -3930 -3602 -3610 -3110 3358 -3874 -3990 -2814 -2922 -2822 -3590 -3774 -2794 3742 3206 -2946 -2942 3410 -3242 3138 -3870 -3998 2650 3502 -3890 -3682 3750 3370 -2962 -3610 -3182 3214 -3878 -3238 3806 -2742 -3686 3566 2806 -3930 3330 -2774 -3002 -2818 2854 -3118 3138 3850 -3398 -3914 3826 3622 3930 -3066 2806 -2750 -3766 -3342 -3810 -3262 3090 -3438 2878 -3142 3494 -3926 -3314 -3166 2650 -3222 -3650 3722 3710 2650 -3950 -3106 -3642 -3034 -3682 -2658 -2678 3194 3162 -3434 -3014 -3958 2802 3346 2650 -2894 -3214 -3386 3594 -3930 -3682 -2942 -2850 3742 -3634 3666 -3054 -3538 3170 -3290 -3346 2690 -2690 -3238 3842 3126 3878 -3042 3446 2866 -3094 3238 -3910 3290 3190 3530 -3382 -3014 -3998 3366 3974 -3646 -3758 -3382 -3166 2714 -3478 -3422 -2838 -3810 -3146 -3438 -4018 2826 3434 -2674 -3870 2714 -3850 2978 2694 3834 3002 3574 -3066 -4002 4002 -2706 -2690 -3314 -3706 -3990 -3282 -3698 2846 -3626 -3890 -2946 -4002 -3998 3078 -3878 3810 3798 -3150 3990 -3306 -3590 4038 -3638 -3726 2706 2690 3162 3902 -3094 3614 -3550 4018 -3150 3110 -3678 3126 3638 -3422 3146 -3950 -2654 -3318 3590 -3182 -3998 3414 
288.00	d NODES 2513
288.00	d CHECKS 49479223
288.00	   
288.00	   totalWckTime=287.735  totalCpuTime=283.19

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/node52/watcher-205958-1168168649 -o ROOT/results/node52/solver-205958-1168168649 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205958-1168168649/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.96 0.95 1.06 6/71 23849
/proc/meminfo: memFree=1870128/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=18540 CPUtime=0
/proc/23846/stat : 23846 (runsolver) R 23843 23846 23737 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165263711 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/23846/statm: 4635 279 244 17 0 2626 0

[startup+0.103372 s]
/proc/loadavg: 0.96 0.95 1.06 6/71 23849
/proc/meminfo: memFree=1870128/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=909356 CPUtime=0.06
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 2531 0 1 0 5 1 0 0 19 0 7 0 165263711 931180544 2278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155262939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 227339 2278 1241 14 0 214922 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 909356

[startup+0.511399 s]
/proc/loadavg: 0.96 0.95 1.06 6/71 23849
/proc/meminfo: memFree=1870128/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915328 CPUtime=0.46
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 7035 0 1 0 42 4 0 0 18 0 8 0 165263711 937295872 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228832 6774 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.33245 s]
/proc/loadavg: 0.96 0.95 1.06 4/88 23878
/proc/meminfo: memFree=1720800/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915596 CPUtime=1.28
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 28942 0 1 0 112 16 0 0 23 0 8 0 165263711 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073593032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228899 28679 2160 14 0 215369 0
[pid=23846/tid=23865] ppid=23843 vsize=915596 CPUtime=0.12
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 12400 0 0 0 7 5 0 0 16 0 8 0 165263717 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165263717 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915596 CPUtime=0.16
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 409 0 0 0 16 0 0 0 15 0 8 0 165263721 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915596

[startup+2.96956 s]
/proc/loadavg: 1.04 0.97 1.06 5/88 23878
/proc/meminfo: memFree=1666912/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915596 CPUtime=2.91
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 32070 0 1 0 273 18 0 0 25 0 8 0 165263711 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228899 31802 2160 14 0 215369 0
[pid=23846/tid=23865] ppid=23843 vsize=915596 CPUtime=0.31
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 15520 0 0 0 24 7 0 0 16 0 8 0 165263717 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165263717 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915596 CPUtime=0.17
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 412 0 0 0 17 0 0 0 16 0 8 0 165263721 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915596 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915596

[startup+6.17079 s]
/proc/loadavg: 1.04 0.97 1.06 4/88 23878
/proc/meminfo: memFree=1618528/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915732 CPUtime=6.08
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 32681 0 1 0 588 20 0 0 25 0 8 0 165263711 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228933 32410 2180 14 0 215403 0
[pid=23846/tid=23865] ppid=23843 vsize=915732 CPUtime=0.36
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 16057 0 0 0 29 7 0 0 17 0 8 0 165263717 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165263717 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915732 CPUtime=0.19
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 423 0 0 0 18 1 0 0 16 0 8 0 165263721 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915732

[startup+12.6432 s]
/proc/loadavg: 1.27 1.02 1.08 3/88 23878
/proc/meminfo: memFree=1546344/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915732 CPUtime=12.52
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 32684 0 1 0 1232 20 0 0 25 0 8 0 165263711 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228933 32412 2180 14 0 215403 0
[pid=23846/tid=23865] ppid=23843 vsize=915732 CPUtime=0.36
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 16057 0 0 0 29 7 0 0 16 0 8 0 165263717 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165263717 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915732 CPUtime=0.2
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 425 0 0 0 19 1 0 0 16 0 8 0 165263721 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915732

[startup+25.5211 s]
/proc/loadavg: 1.61 1.10 1.10 4/88 23878
/proc/meminfo: memFree=1451944/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915732 CPUtime=25.34
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 32694 0 1 0 2513 21 0 0 25 0 8 0 165263711 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228933 32422 2181 14 0 215403 0
[pid=23846/tid=23865] ppid=23843 vsize=915732 CPUtime=0.36
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 16057 0 0 0 29 7 0 0 16 0 8 0 165263717 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165263717 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915732 CPUtime=0.21
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 434 0 0 0 20 1 0 0 16 0 8 0 165263721 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915732

[startup+51.1438 s]
/proc/loadavg: 1.97 1.22 1.14 4/88 23878
/proc/meminfo: memFree=1320360/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915732 CPUtime=50.83
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 34895 0 1 0 5060 23 0 0 25 0 8 0 165263711 937709568 34621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228933 34621 2181 14 0 215403 0
[pid=23846/tid=23865] ppid=23843 vsize=915732 CPUtime=0.48
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 18254 0 0 0 40 8 0 0 16 0 8 0 165263717 937709568 34621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937709568 34621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165263717 937709568 34621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937709568 34621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915732 CPUtime=0.21
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 436 0 0 0 20 1 0 0 16 0 8 0 165263721 937709568 34621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937709568 34621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937709568 34621 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915732

[startup+102.378 s]
/proc/loadavg: 2.06 1.38 1.20 4/88 23878
/proc/meminfo: memFree=1100712/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915732 CPUtime=101.82
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 38189 0 1 0 10157 25 0 0 25 0 8 0 165263711 937709568 37913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228933 37913 2181 14 0 215403 0
[pid=23846/tid=23865] ppid=23843 vsize=915732 CPUtime=0.66
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 21545 0 0 0 57 9 0 0 16 0 8 0 165263717 937709568 37913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937709568 37913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165263717 937709568 37913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937709568 37913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915732 CPUtime=0.22
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 437 0 0 0 21 1 0 0 16 0 8 0 165263721 937709568 37913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937709568 37913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937709568 37913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 915732

[startup+162.459 s]
/proc/loadavg: 2.02 1.49 1.25 3/88 23878
/proc/meminfo: memFree=1018088/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915732 CPUtime=161.62
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 38194 0 1 0 16135 27 0 0 25 0 8 0 165263711 937709568 37917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228933 37917 2181 14 0 215403 0
[pid=23846/tid=23865] ppid=23843 vsize=915732 CPUtime=0.66
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 21545 0 0 0 57 9 0 0 16 0 8 0 165263717 937709568 37917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937709568 37917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165263717 937709568 37917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937709568 37917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915732 CPUtime=0.23
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 441 0 0 0 22 1 0 0 16 0 8 0 165263721 937709568 37917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937709568 37917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915732 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937709568 37917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 915732

[startup+222.516 s]
/proc/loadavg: 2.12 1.61 1.30 3/88 23940
/proc/meminfo: memFree=874088/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915876 CPUtime=221.38
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 96344 0 1 0 22074 64 0 0 25 0 8 0 165263711 937857024 95995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228969 95995 2545 14 0 215439 0
[pid=23846/tid=23865] ppid=23843 vsize=915876 CPUtime=2.67
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 79093 0 0 0 232 35 0 0 16 0 8 0 165263717 937857024 95995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937857024 95995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165263717 937857024 95995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937857024 95995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915876 CPUtime=0.37
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 565 0 0 0 36 1 0 0 15 0 8 0 165263721 937857024 95995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937857024 95995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937857024 95995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 915876

[startup+282.54 s]
/proc/loadavg: 2.08 1.69 1.35 3/88 23940
/proc/meminfo: memFree=806952/2055920 swapFree=4192812/4192956
[pid=23846] ppid=23843 vsize=915876 CPUtime=281.1
/proc/23846/stat : 23846 (java) R 23843 23846 23737 0 -1 0 96363 0 1 0 28044 66 0 0 25 0 8 0 165263711 937857024 96010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074214450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23846/statm: 228969 96010 2547 14 0 215439 0
[pid=23846/tid=23865] ppid=23843 vsize=915876 CPUtime=2.67
/proc/23846/task/23865/stat : 23865 (java) S 23843 23846 23737 0 -1 64 79093 0 0 0 232 35 0 0 16 0 8 0 165263717 937857024 96010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23866] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23866/stat : 23866 (java) S 23843 23846 23737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165263717 937857024 96010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23867] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23867/stat : 23867 (java) S 23843 23846 23737 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165263717 937857024 96010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23871] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23871/stat : 23871 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165263721 937857024 96010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23872] ppid=23843 vsize=915876 CPUtime=0.41
/proc/23846/task/23872/stat : 23872 (java) S 23843 23846 23737 0 -1 64 577 0 0 0 39 2 0 0 15 0 8 0 165263721 937857024 96010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23873] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23873/stat : 23873 (java) S 23843 23846 23737 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165263721 937857024 96010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23846/tid=23874] ppid=23843 vsize=915876 CPUtime=0
/proc/23846/task/23874/stat : 23874 (java) S 23843 23846 23737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165263721 937857024 96010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.1
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 288.08
CPU time (s): 286.6
CPU user time (s): 285.876
CPU system time (s): 0.724889
CPU usage (%): 99.4863
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.876
system time used= 0.724889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96390
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= 7862
involuntary context switches= 11150

runsolver used 0.332949 s user time and 0.924859 s system time

The end

Launcher Data (download as text)

Begin job on node52 on Sun Jan  7 11:17:31 UTC 2007


IDJOB= 205958
IDBENCH= 4178
FILE ID= node52/205958-1168168649

PBS_JOBID= 3479051

Free space on /tmp= 66532 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 esac.xml 1 XSax /tmp/evaluation/205958-1168168649/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-205958-1168168649 -o ROOT/results/node52/solver-205958-1168168649 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205958-1168168649/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  568e195d7b5f5d37beb7376911d1f641

RANDOM SEED= 415327944

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.232
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.232
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:       1870680 kB
Buffers:          6536 kB
Cached:         106140 kB
SwapCached:          0 kB
Active:          91660 kB
Inactive:        41240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           22460 kB
Writeback:           0 kB
Mapped:          30436 kB
Slab:            37820 kB
Committed_AS:  3525936 kB
PageTables:       1800 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= 66478 MiB



End job on node52 on Sun Jan  7 11:22:20 UTC 2007