Trace number 205926

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 294.541 294.976

DiagnosticValue
CHECKS75973192
NODES2513

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-10.xml
MD5SUMa5c09c7ec4b61520346e5aeab430844a
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 benchmark55.0376
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.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/205926-1168168505/unknown.xml
0.41	   
0.41	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.88	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.88	       =>  wckTime=0.525  cpuTime=0.36  mem=44M728
0.88	   
0.88	   predicates being loaded...
0.88	   
0.88	   constraints being loaded...
201.63	   
201.63	   INFO : Stopping converting binary constraints (cpu=200.24, mem = 136M388)
208.67	     nbConstraints=32622  nbMergedConstraints=29510  nbConvertedConstraints=1075  nbConvertConstraintsChecks=379920512
208.67	     nbExtensionStructures=980  nbSharedExtensionStructures=95  nbConflictsStructures=980
208.67	     nbSharedConflictsStructures=95  nbSharedBinaryRepresentations=980543  nbEvaluationManagers=21702
208.67	     nbSharedEvaluationManagers=9845  maxDegree=54  maxArity=2
208.67	       =>  wckTime=208.317  cpuTime=206.35  mem=182M981
209.12	   
209.12	   solver IterativeSystematicSolver being built... 
210.19	       =>  wckTime=209.838  cpuTime=206.96  mem=345M989
290.46	   
290.46	   INFO : Stopping ESAC
290.47	   
290.47	   preprocessing
290.47	     nbConstraintChecks=74882641  nbValidityChecks=29511816  nbPropagations=79734  nbRevisions=2066402
290.47	     nbUselessRevisions=1961021  nbSingletonTests=5235  nbEffectiveSingletonTests=7  nbESACBranches=25
290.47	     nbRemovedValues=1410223  detectedInconsistency=no
290.47	       =>  wckTime=80.237  cpuTime=80.08  mem=345M989
294.86	   
294.86	   search
294.86	     run=0  nbConstraintChecks=1090551  nbValidityChecks=3567259  nbPropagations=93352  nbRevisions=2371234
294.86	     nbUselessRevisions=2250123  nbAssignments=2513  nbFailedAssignments=11  nbBacktracks=2  nbVisitedNodes=2526
294.86	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=1822
294.86	       =>  wckTime=84.636  cpuTime=84.45  mem=361M105
294.86	   
294.86	   global
294.86	     nbConstraintChecks=75973192  nbValidityChecks=33079075  nbPropagations=173086  nbRevisions=4437636
294.86	     nbUselessRevisions=4211144  nbRestartNogoods=0  solvingWckTime=84.637  solvingCpuTime=84.45  expiredTime=no
294.86	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=291.5
294.86	       =>  wckTime=294.51  cpuTime=291.45  mem=361M105
294.86	   
294.86	s SATISFIABLE
294.86	v -3202 3458 -2710 -2650 -2990 -3910 2790 -3658 -3958 -2802 -3442 -2718 3470 -2874 3342 3822 2862 3726 -2774 -3574 -3474 -2902 -3102 -2650 -3930 -3946 -3402 3474 3950 -2830 2694 -3090 3142 3742 2770 3686 -3250 -2650 -3930 3018 3790 3690 -3930 3402 -3506 3398 3694 4014 -3854 -3750 -3990 -3870 2710 -3790 -3778 2750 3418 -3422 3630 -3854 3770 -3386 2690 3446 3830 -3074 3998 3674 -3050 3582 -2650 -3194 -3930 -3474 -3174 -3358 -3598 -3814 -3890 -3178 3558 -3430 3446 -2650 -3870 3410 -3550 -2674 3582 3850 3242 -3346 -2722 -3558 -3050 -2746 -3930 2650 -3914 -3538 3538 3554 3058 -3998 3630 -3134 2818 3066 -3406 3974 3038 -3950 3306 3106 3506 3626 -3514 -2978 -3694 -3142 3022 3750 -3534 -2850 3414 3262 -3322 -3642 -2958 -3314 -3790 3746 -3034 -3322 -3558 -3094 -3242 -3438 -3230 3382 -2810 3682 3682 -3994 3106 3282 2866 -2690 2778 -2990 -2742 -2870 -3034 -3234 3094 3698 3758 -2822 2862 -3450 -2898 3998 2802 -3366 3782 -3890 3650 -2650 -2650 3998 -3610 2910 -3314 2650 -3690 -2734 3978 2842 -3066 -3930 4042 -3202 3694 3666 -3174 -2762 3282 -3142 -3890 -3166 3574 3134 2742 -3038 -3138 3418 -3130 -2926 2782 -3522 -3334 -3814 -3518 -3334 3466 -3414 -3250 2778 -3946 -3790 3918 -3362 3118 3366 -3262 -3138 -3198 -2690 -3822 2782 3362 3286 -2786 -3438 -3642 -3806 3226 3554 3394 -3434 2690 3942 2746 3694 -2698 3014 3462 -3742 3430 3942 -4042 -2650 -2998 3710 -3734 3042 2698 3186 -3562 3590 2650 -3178 -3090 3958 2662 -3950 -3390 3290 -3550 2846 -3574 3674 2706 3838 -2734 3730 -3218 -3450 -3970 -3390 3730 -4002 2666 3530 3362 -2654 -3886 -3354 -3646 -3238 2982 2706 3182 3990 -3914 -3374 -3750 -3610 2782 3870 -3694 -3990 4042 2898 -3274 3386 -3274 -3578 -2862 -3382 -3190 -3074 -2650 -3918 2994 3390 -3954 -3154 -2690 2902 3138 -2698 -4042 -3202 -3134 -3330 -2666 3074 -2666 3194 2826 -2914 3122 3054 -2886 -3166 3634 3602 -3418 -3890 -2738 3978 3534 3886 -2718 -3258 2878 3094 -2782 3042 -3182 3698 3134 3386 -3186 -3334 -2898 3834 -3878 3202 -3226 -3998 -3930 3874 -3322 -3810 3810 -2894 -2718 2806 -3018 2954 3014 -2754 -2950 -3786 -3978 3458 2914 -3846 -2982 -3442 -3986 -3534 3434 -3698 3342 3998 -3526 -3130 -4002 -2702 3666 -2926 -3146 -3478 3518 -4042 2954 -3618 -3074 2770 -3110 3654 -2746 2658 -3990 2710 3302 3134 -3750 -2742 -3982 3002 2938 -3430 3178 -3954 -3202 -3874 3418 -3890 2770 4014 -3050 2818 -2838 -3306 2990 2662 3934 2950 -2982 -3686 -4038 2858 -3658 3550 -3194 -2702 -3158 -3230 -3638 -3382 2998 -3014 -3914 -3730 -2926 -4002 3142 3706 -3014 -2650 -3914 -3650 -2942 2998 -3158 2718 -3890 -3930 2922 2866 -3150 -3930 3418 -3354 3726 -4010 2714 -3382 3474 -2770 -2650 -3134 -3926 -3054 -3606 3878 -3182 3118 -3350 -3658 -2894 3986 3690 -4038 -3682 -2658 2750 -4002 -3130 -2894 2650 3142 -2938 -2958 -3510 -3066 -2690 3362 -3890 -3890 -2694 2678 -3046 -3718 -3750 3402 -4014 -3094 3686 3186 -2690 -3958 -2698 -3222 -3302 -3610 -3290 -3062 -3498 -3890 -3158 -3706 -3182 3170 -3790 -3250 2690 -3226 3114 -2858 -3930 2878 -3782 -2902 -3134 3786 2650 -3254 3350 -2802 -2706 -3478 3122 -3422 2650 -3426 -3274 -3862 -3878 -2686 -3386 -3998 -3014 -3790 -3590 -3950 4002 -3394 -3442 -4042 -3810 -3890 -4038 -2998 -2978 2730 -2810 -3850 3074 3690 -2786 -4018 -3058 2650 3650 -3066 -3306 -3874 4038 -2874 -2950 -3742 3714 -3054 -3642 3906 2690 -3958 -3134 -3550 -3342 3598 -3038 -3958 -3070 3730 3926 3602 -3182 -3730 -3546 -3890 3034 -4018 3386 3870 -2806 2914 3210 -3930 2950 2670 -3034 -3578 -3062 -3538 -3610 -3926 2790 -3230 3126 3450 2726 2982 -2734 -3514 3822 -3082 -3958 -3498 3650 3158 -3066 -3878 -3914 -3346 -3850 3278 -3442 -2838 -3150 -3870 -2702 -2702 -2690 3166 3602 3822 -3606 3242 -3134 -3878 3998 -3134 3134 3562 3646 -4002 -2782 -3886 -2950 4018 -2650 -3478 -3650 2902 -3318 -3638 3774 -3950 -3682 -3034 3190 3822 -3014 -3190 -2818 -2722 -2694 -3258 -3070 3890 3870 -3190 3182 3882 -3438 3770 3170 3606 -3854 3082 3574 -3270 -2778 2650 3666 2902 4042 -3234 -3194 -3890 -3074 -3962 -4038 -2750 -3802 3386 -2706 -3242 -2878 -2806 -2914 -2946 -2754 -2810 -4002 -3182 -3970 3170 -2994 -3630 -3022 3482 -3354 -2862 -3930 3846 -3778 -3622 -3778 -4038 -3726 -2862 -3198 -3250 -3502 -3690 -2870 3538 3082 -3682 3598 -3662 -3674 3810 -3830 -3182 2858 -3062 -2898 -2694 -4034 3054 3498 -3162 -2714 -2926 -4002 -2966 -2658 -3566 -3798 3166 -3102 -2822 -3574 -2678 -3146 4042 -3998 -3694 -3194 -3574 -3054 -3990 -3930 3098 -3426 -2970 -3346 4042 -3358 -3382 -3578 3426 -3402 -3478 2990 -2950 -3470 3206 -3194 3510 -3114 -3118 3954 -3134 -3382 3126 3570 -3074 3578 -3390 -3562 -3582 3230 -3870 3538 -3970 -2814 -2734 3798 3770 2658 -3410 -3658 3606 3230 -3042 -3978 2710 -3750 3650 2726 -3954 3298 3074 -3158 -2778 3758 -3950 4002 -3066 -3178 4002 -3918 -3930 -3138 -3514 -3658 -3690 2822 -3590 -2726 3550 -3338 -3302 -3890 3614 -3414 -3006 -3950 -3890 3658 2698 -3854 3442 2838 -4014 3262 -2750 2658 -3118 -3862 3542 4042 3914 -3574 3138 3930 -3726 3410 -2854 2650 -3478 3810 -2742 -3050 -3922 -3862 3022 -2902 -3030 -2942 -3690 2998 2738 2690 -2906 -3402 -3026 3998 3906 -3446 -3010 3922 3666 2690 2918 3266 -3534 -3786 3878 3202 -2814 -2938 -3342 -3902 3770 3918 3650 -3802 -3406 4034 -3930 -3030 -3338 -3854 -3182 -3978 -2910 -3546 4042 -3318 -3518 -3974 3894 3342 -2702 -4038 3102 3950 3738 -3890 -2694 3994 3366 2954 -2962 -2690 3174 -3478 3850 3554 -2650 3670 -3774 4002 -2770 -3606 3094 3990 -2826 2894 -3650 -4018 -3694 -3998 -2978 -3466 -3442 3990 -3546 3746 -3698 -3642 3142 -3562 -3370 -3962 -3186 -3302 -3106 -3598 -3014 -3318 -2834 -2690 3094 -2894 3390 -3886 3970 -3998 3814 3690 2806 -3138 3338 -3998 2874 -3978 3298 3162 -3382 3534 -3354 3058 -3642 3342 3134 -3002 3698 -3830 -3090 -2970 3406 3830 -3314 -2950 -2734 3194 -2698 -3374 3866 3730 -3890 -3998 -3586 -3890 3282 3426 -2854 3378 -3874 -3598 -2698 -3978 -3386 3502 -3334 2958 -3206 3854 3050 3506 3198 -3990 3658 -2822 -3246 -3138 -3106 -3682 3750 3062 2702 -3346 -3010 2650 -3950 3642 -3950 -3410 3266 -3098 -2994 3150 -2914 3426 -3762 3838 2910 3462 3106 -3218 -3402 4042 3458 -2874 -3998 2970 3182 -3650 3910 -3534 -2706 -3070 -3262 3654 -3090 -3362 -3506 2690 -3690 -3890 3726 2838 -3286 -3654 -2654 -3074 -3642 -2718 -3094 -2706 -3482 -3638 -3602 -3998 3634 -3522 3990 3098 -3186 -3990 -3054 -3102 -2882 3886 3470 3058 3610 3870 3990 -3790 -3994 -3342 -2770 -3430 -3930 -2938 2966 3998 -3410 -3682 3542 -3114 -3666 -3602 3114 3434 3338 -3450 -3178 3974 -3642 -2874 -3282 -3050 -3566 3518 3814 -3766 -3826 2898 -3126 -3838 -3658 3610 -2938 2906 2942 -2650 3426 -3918 3986 -3030 3710 -3122 -3338 4030 -3322 -2694 -3910 -3022 3478 -3074 3434 -3742 3598 -3894 -2822 -3326 3178 -2942 3918 -3134 -3814 -3958 -3998 -3566 -3090 -3438 2694 3238 -2930 -3914 -3890 2778 3050 -3426 3742 -3558 -3130 -2978 -3498 -3194 -3790 -2858 -3918 -2966 3034 -3610 2854 3914 -2778 -3342 -3930 -3170 -3614 3686 2806 -3646 -3814 -3678 3174 -3118 -2994 -3054 3790 -2870 2650 3658 -3138 -3066 3910 -3014 -2954 -3122 -3990 3890 2998 -3534 -3950 -3198 -3474 -3954 -3698 4042 -3654 -3238 3250 3394 -2826 4030 -3958 3734 -3914 -3450 2718 -3730 -3590 3294 2698 2902 -2902 -4038 -3478 2698 3078 -3018 3510 3322 -3126 -3702 -3790 -3054 3378 -2730 -2810 3098 -3566 -4026 -2762 -3470 2730 3114 -3862 -3058 2674 3234 -3222 -3402 -3410 -3922 -3034 -3698 3310 3186 -3082 3574 -3182 3490 -3654 -2962 -3466 -3918 -4018 3430 -3190 -3974 2702 -3478 2938 3590 3770 -3098 -3138 -4014 -3034 3142 3710 -3682 -2938 -3738 2834 3590 -3174 -2774 -3686 3826 -4042 3522 -3978 -3918 -3018 -3070 3690 3810 -3730 -2822 -3986 3798 -3978 -3450 -3470 -3990 -3262 3874 -3830 -3598 -3598 3746 3958 -3990 -3378 -2746 3706 -3634 3538 -3974 -3298 -3974 -3650 -3182 3354 3206 3738 2982 3226 -3002 -3162 3186 3190 -3362 -3894 -3586 3926 -3010 3638 -3598 -3750 -3530 -2690 -3190 -3990 -2766 -3802 3762 -2790 -3050 3954 2930 -3954 -3626 3150 -3014 -2710 -3930 3586 -3202 3090 -3890 2726 -3018 2698 -2698 -3326 -3838 -3226 4042 -4042 2650 2906 -3154 4014 -3698 3014 3718 -2874 -2774 -3478 -3518 3802 3486 -3242 3054 3358 -3998 -4002 -3990 3690 -2762 -3646 -2902 -3290 3990 2970 -4022 4042 -3894 -3350 3782 3390 -2738 -3750 -3094 -3650 -3302 -2710 -4038 -3930 2910 -2650 3882 3702 -2690 -3870 3294 -4002 3250 -3582 -2774 3070 3114 3782 -3714 3838 -3042 -2686 -2666 -3706 3974 2994 2670 -3642 3134 -3830 -3490 3462 -3598 -3962 3122 -3090 -4042 3074 -3266 -3618 2678 -3750 -3374 -3014 -3686 3166 -3238 3686 -3950 -3958 -3018 -3110 -3602 -2858 -2670 -3078 -3494 -2690 3790 2994 3022 -3686 -3986 2818 3094 4042 -2810 -3274 -3610 3574 -3474 -2690 -2722 -2658 -2658 -3810 2690 3050 -3430 -2690 -4042 -3750 -3458 -3922 2854 2910 -3198 -3946 -2774 -3186 -3854 -2982 2742 -2934 -2666 -3590 4018 -3930 -2890 -3350 -3202 -3642 -4042 -3878 -3150 -3878 3522 3638 -3914 2738 -3754 3398 -2910 -3154 -3814 2842 3698 3890 -3970 -3950 3646 -3382 3606 -3302 3802 3622 -3466 3070 -3910 -3282 -3950 -3934 -3998 -3586 -3726 -2694 -2694 2930 -3558 -3298 -3586 2942 -2898 -3830 -3546 3498 -3534 -3590 -2970 -3282 -2690 -3110 3622 3654 3134 -3142 -3034 3082 -3094 -2702 2674 3342 -3570 3546 3234 -3958 -3562 -2970 -3634 -3938 -3454 3822 -3438 -3750 -3598 -3938 -3022 -3694 -3594 2954 3122 -3386 3178 3458 -3590 -3606 -3050 -3930 -3746 3974 -3010 3226 -2894 3274 3690 -3550 -3342 3266 -2902 3458 -3750 3222 -3878 -3706 -3266 2902 3098 3058 3494 -3274 -3178 3894 -3138 3874 2714 3314 3458 3214 -3342 3418 -3322 -3334 3570 -4038 -3926 -3530 3118 -3110 -3646 -3610 3886 -3342 3238 2722 -3598 -3846 2818 -3426 -3498 2794 3750 2846 3090 -2846 3658 -3190 -2946 3658 2682 3766 3174 -3406 -2694 -3306 3126 3318 -3154 -3522 3510 3522 -2706 -3534 3650 -3778 3502 -4002 -3154 -3094 -3774 -3890 2690 -3786 -3814 -2662 2742 -3458 2834 -3578 -2714 -3030 3198 -3238 2938 4038 -3402 -3018 -4002 -3890 -2938 -3162 3882 -3070 -2658 -3054 -3906 -3182 -3190 -3894 -2702 2690 3086 -3890 -3166 -3198 -2678 3998 -3958 3234 -3890 -3786 -3638 3050 3402 -3478 -3382 -3466 -2698 -2742 -3930 3566 -3626 -3658 3270 -3978 2826 -3506 -3790 -3142 -2690 -3958 -3598 -3946 -3134 -2690 3874 -3934 3514 -2654 3654 2834 -2978 -3194 2690 3726 -3034 3386 -3750 3546 2714 3874 -3086 3490 -3210 3406 -4018 -2962 -3550 -3030 -3818 -3878 -4018 -3694 -4042 3630 -3438 2874 -3786 2706 -3434 2818 -4002 -2670 -3598 -3198 3142 -4002 3454 -3710 -3994 -3006 -3806 -2926 2690 -3954 -3506 3302 -3198 2650 3890 -3478 -3918 3854 -3678 -3742 3990 -3930 3346 -3950 -3602 2822 2902 -3058 -3890 -4002 -4042 2826 -3186 3090 3382 -3154 3622 3638 -3182 3878 -3386 3230 4038 -3466 3438 -3658 2818 3650 3654 -3866 2662 3642 -2650 -3014 -3670 3850 -3646 3822 3186 3850 2690 -3478 -2722 2710 -4002 -3362 -3070 -2650 -3770 2930 2934 -3562 -3882 -2834 -3790 -3374 -3646 3678 3094 2690 -3426 -3054 3570 -3174 3654 3186 2990 4002 3714 -3930 -3826 -2654 -3430 -3242 3242 -2914 -3654 -3770 -3798 -3130 -2650 -3926 3782 -3978 -3094 -3114 -4042 -3950 -3110 -3126 -3046 3174 3146 -3830 -3482 3846 -3530 3750 -3614 -3850 -3630 2954 3154 2914 -2818 -4002 -2862 -3146 -3570 2970 -3374 3382 3986 2662 -3890 3534 2706 -3162 3898 -2830 -3766 2750 -3386 3842 2690 -3242 -2978 2754 -2846 4042 -3090 -2702 2842 -3890 3598 -4002 -4002 4002 3650 -3670 3390 -4002 -3130 -3806 2842 4042 -2702 -3238 -2706 -3886 2690 -2806 -3290 -2782 3998 -3838 -3870 -3198 -2714 2690 -3918 -2650 3442 -2810 -3142 -3658 3210 3786 3698 -4042 -3978 3062 3634 -3146 3522 -3462 -2702 -3870 -3182 -3998 3402 -2910 -2742 3838 -4042 -2658 -3702 -2798 -3826 2738 -3002 -3798 3978 -3990 -3442 -2910 3090 -3306 -3882 -3018 -3490 -2690 -3646 3670 -3790 -3614 2798 3558 -3094 3234 3494 3938 3482 -3998 2778 3550 -3642 -3702 3538 2846 -3330 3322 3298 3630 -3650 -3022 3658 -4026 -4002 -3746 -3410 3142 -2938 3182 3830 3990 -3218 -3566 2974 -3418 4002 3210 3894 3790 2702 -3162 -3930 -3954 2686 3830 3158 3982 3762 -2846 -2950 3214 3950 -3418 -3042 -3078 -3438 -3958 -3998 -3782 -3106 -3094 3226 -3782 -2654 -3546 -3178 -3146 -3054 3306 -3106 -3594 3826 -3146 -3950 3406 -2778 -2766 -2706 3494 -3290 3070 -3606 -3070 -3142 -3698 -3382 -3530 3698 3914 3854 -3838 -3218 -3346 -3278 -4002 -2750 2650 -3438 3434 -3670 -2950 -2658 3558 3466 -3950 3218 -3130 -2670 -2858 -2942 3682 3718 -2886 -3378 -3054 3702 3918 3690 -2666 -2822 -3978 3594 -3138 3766 2706 3850 -3686 -3342 -3930 -2702 3294 3806 -3518 -4038 -2974 -3054 2690 -3694 -3266 3530 2690 3234 -2734 -3638 -3502 -2850 -2814 3946 3826 3090 -3930 -3774 -2906 2866 -4042 2898 -3142 -3410 -2702 -3926 -2654 -2838 -2826 -2810 3870 2862 2710 3730 -3342 -3038 -3182 3070 -3998 2930 -3950 3862 -3894 -3346 -3198 -4042 -2926 -3010 -2786 -3930 3394 -3954 -3922 2918 -3094 3294 -3150 -3450 -3174 2786 3098 -3438 -3334 -2818 -3958 -2994 -4018 -2666 3054 -3050 -2674 -3766 3490 -3790 -2874 -3254 -3994 3482 -3142 -3198 -3130 -2698 3198 2902 3930 -3786 -3458 -3698 -4014 -2974 3530 -3774 -3438 3718 -3478 -3958 -4018 -3618 -3758 3886 -3902 -3878 -4026 -3074 -3338 4002 -3230 3590 -2678 -2662 2854 3678 -3470 -3134 -3122 -3930 3890 -2658 3058 -3270 2650 -3434 -2690 -3638 3282 -3386 3430 3282 -2890 -3078 -2946 3586 -3358 3178 3002 2734 -3930 -3602 3606 -3110 3362 -3878 -3990 2806 -2922 -2826 3582 -3774 2790 -3746 3194 -2950 2942 -3414 -3242 -3142 3870 -4002 2650 3502 3890 -3674 3750 3394 -2958 -3630 -3182 -3226 -3958 -3238 3798 -2746 3690 3562 -2798 -3922 3318 2778 3018 2818 2846 -3094 3138 3854 -3406 -3914 -3822 3622 -4010 -3066 2806 -2750 -3770 -3342 -3810 -3278 -3082 -3434 -2878 -3142 3486 -3926 3310 3158 -2650 3222 -3650 3730 -3718 -2650 -3950 -3106 -3642 3030 -3690 -2658 -2682 -3194 3162 -3434 -3014 3954 2794 -3366 2650 -2886 3214 -3374 -3610 -3930 3678 2942 -2862 3742 -3642 3666 -3054 -3534 3170 -3294 -3346 2690 2690 -3238 -3842 3118 -3886 -3042 -3446 2866 -3094 3238 -3910 -3302 -3150 3542 -3394 -3018 -3994 3370 3974 3654 -3762 3382 -3170 2710 3474 -3422 2834 3810 3142 -3438 4018 -2830 -3426 -2678 -3870 2714 3854 -2978 -2690 3838 -3010 -3574 -3078 -4002 -4002 -2662 -2690 3314 -3718 3990 3282 3706 -2850 3626 -3890 -2950 4002 -3998 -3078 -3878 -3814 -3798 3154 3994 -3298 3582 4042 -3638 3722 2710 -2690 3162 3914 -3098 -3634 3546 -4018 3110 -3130 3674 2942 -3638 -3426 -3110 -3950 -2650 -3314 -3590 -3182 3998 -3434 
294.86	d NODES 2513
294.86	d CHECKS 75973192
294.86	   
294.86	   totalWckTime=294.587  totalCpuTime=291.5

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/node23/watcher-205926-1168168505 -o ROOT/results/node23/solver-205926-1168168505 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205926-1168168505/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.38 1.35 1.35 4/86 18502
/proc/meminfo: memFree=1654168/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=1784 CPUtime=0
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 165244911 1826816 140 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18501/statm: 446 140 106 14 0 91 0

[startup+0.104963 s]
/proc/loadavg: 1.38 1.35 1.35 4/86 18502
/proc/meminfo: memFree=1654168/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=907676 CPUtime=0.03
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 2287 0 1 0 3 0 0 0 19 0 4 0 165244911 929460224 2034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582906 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 226919 2035 1147 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.514038 s]
/proc/loadavg: 1.38 1.35 1.35 4/86 18502
/proc/meminfo: memFree=1654168/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915328 CPUtime=0.44
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 7141 0 1 0 40 4 0 0 24 0 8 0 165244911 937295872 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228832 6881 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.3392 s]
/proc/loadavg: 1.38 1.35 1.35 3/93 18509
/proc/meminfo: memFree=1562144/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915596 CPUtime=1.26
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 28942 0 1 0 114 12 0 0 25 0 8 0 165244911 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228899 28679 2160 14 0 215369 0
[pid=18501/tid=18503] ppid=18499 vsize=915596 CPUtime=0.11
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 12399 0 0 0 7 4 0 0 16 0 8 0 165244920 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165244920 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915596 CPUtime=0.15
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 165244924 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915596

[startup+2.97651 s]
/proc/loadavg: 1.38 1.35 1.35 3/93 18509
/proc/meminfo: memFree=1539552/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915596 CPUtime=2.9
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 32607 0 1 0 276 14 0 0 25 0 8 0 165244911 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073597592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228899 32338 2160 14 0 215369 0
[pid=18501/tid=18503] ppid=18499 vsize=915596 CPUtime=0.32
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 16055 0 0 0 27 5 0 0 16 0 8 0 165244920 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165244920 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915596 CPUtime=0.15
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 165244924 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915596 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937570304 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915596

[startup+6.27315 s]
/proc/loadavg: 1.43 1.36 1.36 3/93 18509
/proc/meminfo: memFree=1532768/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915732 CPUtime=6.19
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 32679 0 1 0 605 14 0 0 25 0 8 0 165244911 937709568 32408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831013 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228933 32408 2180 14 0 215403 0
[pid=18501/tid=18503] ppid=18499 vsize=915732 CPUtime=0.32
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 16055 0 0 0 27 5 0 0 17 0 8 0 165244920 937709568 32408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937709568 32408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165244920 937709568 32408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937709568 32408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915732 CPUtime=0.17
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 422 0 0 0 17 0 0 0 15 0 8 0 165244924 937709568 32408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937709568 32408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937709568 32408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915732

[startup+12.7484 s]
/proc/loadavg: 1.47 1.37 1.36 3/93 18509
/proc/meminfo: memFree=1532768/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915732 CPUtime=12.66
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 32681 0 1 0 1252 14 0 0 25 0 8 0 165244911 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831013 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228933 32410 2180 14 0 215403 0
[pid=18501/tid=18503] ppid=18499 vsize=915732 CPUtime=0.32
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 16055 0 0 0 27 5 0 0 16 0 8 0 165244920 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165244920 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915732 CPUtime=0.17
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 424 0 0 0 17 0 0 0 15 0 8 0 165244924 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915732

[startup+25.6059 s]
/proc/loadavg: 1.55 1.39 1.37 3/93 18509
/proc/meminfo: memFree=1532896/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915732 CPUtime=25.52
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 32691 0 1 0 2537 15 0 0 25 0 8 0 165244911 937709568 32420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228933 32420 2181 14 0 215403 0
[pid=18501/tid=18503] ppid=18499 vsize=915732 CPUtime=0.32
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 16055 0 0 0 27 5 0 0 16 0 8 0 165244920 937709568 32420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937709568 32420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165244920 937709568 32420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937709568 32420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915732 CPUtime=0.18
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 433 0 0 0 18 0 0 0 16 0 8 0 165244924 937709568 32420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937709568 32420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937709568 32420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915732

[startup+51.2108 s]
/proc/loadavg: 1.73 1.45 1.38 3/93 18509
/proc/meminfo: memFree=1523616/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915732 CPUtime=51.09
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 35076 0 1 0 5092 17 0 0 25 0 8 0 165244911 937709568 34802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836405 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228933 34802 2181 14 0 215403 0
[pid=18501/tid=18503] ppid=18499 vsize=915732 CPUtime=0.43
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 18435 0 0 0 37 6 0 0 16 0 8 0 165244920 937709568 34802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937709568 34802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165244920 937709568 34802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937709568 34802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915732 CPUtime=0.19
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 435 0 0 0 19 0 0 0 16 0 8 0 165244924 937709568 34802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937709568 34802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937709568 34802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915732

[startup+102.422 s]
/proc/loadavg: 1.88 1.53 1.41 3/93 18509
/proc/meminfo: memFree=1510176/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915732 CPUtime=102.24
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 38451 0 1 0 10204 20 0 0 25 0 8 0 165244911 937709568 38174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228933 38174 2181 14 0 215403 0
[pid=18501/tid=18503] ppid=18499 vsize=915732 CPUtime=0.58
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 21803 0 0 0 51 7 0 0 16 0 8 0 165244920 937709568 38174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937709568 38174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165244920 937709568 38174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937709568 38174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915732 CPUtime=0.19
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 439 0 0 0 19 0 0 0 16 0 8 0 165244924 937709568 38174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937709568 38174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937709568 38174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 915732

[startup+162.474 s]
/proc/loadavg: 1.95 1.61 1.45 3/93 18509
/proc/meminfo: memFree=1499808/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915732 CPUtime=162.24
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 41032 0 1 0 16202 22 0 0 25 0 8 0 165244911 937709568 40754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228933 40754 2181 14 0 215403 0
[pid=18501/tid=18503] ppid=18499 vsize=915732 CPUtime=0.7
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 24382 0 0 0 62 8 0 0 16 0 8 0 165244920 937709568 40754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937709568 40754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165244920 937709568 40754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937709568 40754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915732 CPUtime=0.2
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 440 0 0 0 20 0 0 0 16 0 8 0 165244924 937709568 40754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937709568 40754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915732 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937709568 40754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 915732

[startup+222.535 s]
/proc/loadavg: 2.05 1.70 1.48 3/93 18509
/proc/meminfo: memFree=1277664/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915876 CPUtime=222.21
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 96883 0 1 0 22175 46 0 0 25 0 8 0 165244911 937857024 96533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228969 96533 2545 14 0 215439 0
[pid=18501/tid=18503] ppid=18499 vsize=915876 CPUtime=2.37
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 79631 0 0 0 208 29 0 0 16 0 8 0 165244920 937857024 96533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937857024 96533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165244920 937857024 96533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937857024 96533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915876 CPUtime=0.33
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 566 0 0 0 32 1 0 0 15 0 8 0 165244924 937857024 96533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937857024 96533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937857024 96533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 915876

[startup+282.603 s]
/proc/loadavg: 2.09 1.77 1.52 3/93 18511
/proc/meminfo: memFree=1277408/2055920 swapFree=4191880/4192956
[pid=18501] ppid=18499 vsize=915876 CPUtime=282.21
/proc/18501/stat : 18501 (java) R 18499 18501 18134 0 -1 0 96907 0 1 0 28175 46 0 0 25 0 8 0 165244911 937857024 96548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074264936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18501/statm: 228969 96548 2547 14 0 215439 0
[pid=18501/tid=18503] ppid=18499 vsize=915876 CPUtime=2.37
/proc/18501/task/18503/stat : 18503 (java) S 18499 18501 18134 0 -1 64 79631 0 0 0 208 29 0 0 16 0 8 0 165244920 937857024 96548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18504] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18504/stat : 18504 (java) S 18499 18501 18134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165244920 937857024 96548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18505] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18505/stat : 18505 (java) S 18499 18501 18134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165244920 937857024 96548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18506] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18506/stat : 18506 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165244924 937857024 96548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18507] ppid=18499 vsize=915876 CPUtime=0.36
/proc/18501/task/18507/stat : 18507 (java) S 18499 18501 18134 0 -1 64 580 0 0 0 35 1 0 0 15 0 8 0 165244924 937857024 96548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18508] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18508/stat : 18508 (java) S 18499 18501 18134 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165244924 937857024 96548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18501/tid=18509] ppid=18499 vsize=915876 CPUtime=0
/proc/18501/task/18509/stat : 18509 (java) S 18499 18501 18134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165244924 937857024 96548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 294.976
CPU time (s): 294.541
CPU user time (s): 294.014
CPU system time (s): 0.526919
CPU usage (%): 99.8525
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 294.014
system time used= 0.526919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96936
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= 7982
involuntary context switches= 9853

runsolver used 0.358945 s user time and 0.957854 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sun Jan  7 11:15:05 UTC 2007


IDJOB= 205926
IDBENCH= 4176
FILE ID= node23/205926-1168168505

PBS_JOBID= 3479008

Free space on /tmp= 66534 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a5c09c7ec4b61520346e5aeab430844a

RANDOM SEED= 886949760

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.265
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.265
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:       1654648 kB
Buffers:          8560 kB
Cached:         169064 kB
SwapCached:        264 kB
Active:         275348 kB
Inactive:        79092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1654648 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           22272 kB
Writeback:           0 kB
Mapped:         197956 kB
Slab:            31228 kB
Committed_AS:  3569008 kB
PageTables:       2644 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= 66534 MiB



End job on node23 on Sun Jan  7 11:20:00 UTC 2007