Trace number 205816

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 290.226 291.783

DiagnosticValue
CHECKS64244721
NODES2517

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-9.xml
MD5SUM905321a8d9852006a24c0f2b5f8b53c5
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 benchmark52.347
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2500
Number of constraints62132
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension62132
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/205816-1168168113/unknown.xml
0.38	   
0.38	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.88	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.88	       =>  wckTime=0.566  cpuTime=0.37  mem=44M728
0.88	   
0.88	   predicates being loaded...
0.89	   
0.89	   constraints being loaded...
202.06	   
202.06	   INFO : Stopping converting binary constraints (cpu=200.09, mem = 132M268)
209.37	     nbConstraints=32622  nbMergedConstraints=29510  nbConvertedConstraints=1055  nbConvertConstraintsChecks=370334878
209.37	     nbExtensionStructures=959  nbSharedExtensionStructures=96  nbConflictsStructures=959
209.37	     nbSharedConflictsStructures=96  nbSharedBinaryRepresentations=950715  nbEvaluationManagers=21724
209.37	     nbSharedEvaluationManagers=9843  maxDegree=54  maxArity=2
209.37	       =>  wckTime=209.048  cpuTime=206.35  mem=180M774
209.84	   
209.84	   solver IterativeSystematicSolver being built... 
211.03	       =>  wckTime=210.713  cpuTime=207.01  mem=346M45
287.05	   
287.05	   INFO : Stopping ESAC
287.05	   
287.05	   preprocessing
287.05	     nbConstraintChecks=62931136  nbValidityChecks=29825825  nbPropagations=100180  nbRevisions=2478036
287.05	     nbUselessRevisions=2354297  nbSingletonTests=6164  nbEffectiveSingletonTests=4  nbESACBranches=28
287.05	     nbRemovedValues=1420017  detectedInconsistency=no
287.05	       =>  wckTime=75.978  cpuTime=75.24  mem=346M45
291.70	   
291.70	   search
291.70	     run=0  nbConstraintChecks=1313585  nbValidityChecks=2994341  nbPropagations=112376  nbRevisions=2745318
291.70	     nbUselessRevisions=2606630  nbAssignments=2517  nbFailedAssignments=17  nbBacktracks=0  nbVisitedNodes=2535
291.70	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=1772
291.70	       =>  wckTime=80.628  cpuTime=79.81  mem=362M443
291.70	   
291.70	   global
291.70	     nbConstraintChecks=64244721  nbValidityChecks=32820166  nbPropagations=212556  nbRevisions=5223354
291.70	     nbUselessRevisions=4960927  nbRestartNogoods=0  solvingWckTime=80.63  solvingCpuTime=79.82  expiredTime=no
291.70	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=286.92
291.70	       =>  wckTime=291.384  cpuTime=286.87  mem=362M443
291.70	   
291.70	s SATISFIABLE
291.70	v -3198 3450 -2690 -2650 -2978 3906 -2790 -3654 -3958 -2878 3426 -2714 -3478 2862 -3330 3814 -2870 -3730 -2774 -3570 -3474 -2902 3086 2650 3930 3950 -3398 -3478 -3946 -2826 2694 -3098 -3138 -3730 2774 -3758 -3282 -2650 3926 -3026 -3790 3686 3926 3406 -3506 3394 -3698 4014 -3854 -3750 3990 3870 2698 -3790 -3778 2750 3414 -3418 -3622 -3854 3770 3382 2690 3442 -3834 -3074 4002 -3678 -3046 3578 -2650 -3194 -3926 -3474 -3174 3346 3590 3810 -3886 3174 3554 3438 3446 -2662 -3870 3406 3554 -2686 3598 -3854 -3274 -3346 -2718 -3554 3058 -2750 3930 2650 -3914 -3534 -3554 3538 3054 -3998 -3630 3134 -2818 -3070 -3398 3978 3030 3946 3302 -3106 3498 3618 -3510 -2962 -3690 -3138 3018 3750 3518 2842 3422 3258 3310 -3642 -2954 -3314 -3790 3742 3030 -3314 3562 -3090 -3274 -3438 -3218 3366 2806 -3686 -3686 -3990 3106 -3314 -2858 -2690 2778 -3014 -2742 -2874 3034 -3242 -3090 3702 3754 -2822 2854 -3450 -2890 -4002 2806 3338 3770 -3890 -3650 -2650 -2650 -3998 -3610 2910 3298 -2854 -3690 2742 3978 2846 -3066 -3930 4042 3198 3686 3658 3178 -2750 -3274 3146 -3882 3166 -3578 -3134 2750 3046 -3134 -3402 -3130 -2922 2778 3530 -3330 -3814 -3514 3334 -3470 -3406 3262 -2782 3946 -3790 3918 -3346 3114 -3358 3258 3138 -3198 -2690 3818 -2774 3358 -3238 2770 -3438 -3646 -3810 -3214 -3558 -3386 3422 -2690 -3942 -2754 3690 2698 -3014 -3458 3750 3414 3938 4042 2650 2994 -3722 3734 -3050 -2698 -3174 3554 3586 2650 -3178 -3098 3954 -2666 3946 3390 -3282 -3546 -2850 -3574 3674 -2706 3842 -2730 3730 -3214 -3442 3966 3382 -3726 -4002 -2666 3526 -3362 -2650 -3890 -3358 -3646 -3222 2982 2706 -3178 3990 3914 3370 -3750 -3610 2774 3878 -3698 -3990 -4042 -2902 3278 3374 3258 3582 -2862 3382 -3190 3082 -2650 -3918 2994 -3398 3950 -3158 -2694 -2902 3134 -2742 -4042 -3198 3134 -3322 -2666 3074 -2670 -3238 -2830 2914 3126 3058 -2890 3162 3634 3598 -3414 -3886 -2746 -3978 3530 3886 -2718 -3246 2878 3090 -2782 3050 -3182 -3690 -3130 3390 -3186 -3338 -2878 3842 -3870 -3198 -3234 -3998 3922 -3882 -3306 -3810 -3798 2894 -2726 -2814 -3014 2954 3014 2754 2974 3786 3978 -3462 2914 3838 -2982 -3438 -3986 -3538 -3434 -3686 3330 3994 3542 -3126 4002 2702 3650 -2926 -3146 -3466 3514 -4042 2954 -3618 -3074 -2766 -3106 -3650 -2742 -2658 -3990 2710 3298 3130 -3750 -2726 -3982 -2998 -2942 3438 3178 3954 -3198 -3874 -3402 -3890 2770 4014 3050 2814 2846 -3306 -2986 -2666 -3938 2946 -2982 -3682 -4038 -2850 3642 3538 -3194 -2702 -3102 -3230 -3638 3382 -3006 -3014 3914 -3726 2930 -4002 3138 -3702 -3010 -2650 3914 -3630 2942 3002 -3158 -2718 3890 -3930 -2922 -2858 -3150 -3930 3426 -3342 3718 4010 2714 -3370 -3462 -2766 -2650 -3134 3922 -3054 3594 -3874 -3186 -3142 -3346 -3646 2886 3974 -3686 4034 3682 -2658 -2750 -4002 -3126 -2898 2650 3142 -2930 2954 3506 -3066 -2690 -3366 -3886 -3890 -2702 -2678 3042 -3714 -3750 -3394 -4014 -3094 -3694 3178 -2690 -3958 2698 -3218 3302 -3606 -3302 -3062 3502 3886 3154 -3702 -3182 -3174 -3790 -3282 -2702 3222 3114 -2854 -3930 2886 3774 2902 3134 -3782 2650 3250 3350 -2806 2698 -3478 3134 -3414 2650 -3418 3262 3846 -3878 2686 -3382 3998 -3014 -3790 -3598 -3950 4002 3382 -3426 -4042 3810 -3890 -4038 -2994 2978 2730 -2810 -3854 3082 3690 2790 -4018 -3054 2650 -3646 -3066 -3298 -3874 -4038 2878 -2950 -3742 -3714 3054 -3638 3902 -2690 3954 -3142 -3554 -3342 3602 3030 -3958 -3074 3726 3926 3594 -3182 -3726 -3546 3890 -3042 -4018 3382 3858 -2806 2914 3210 -3930 -2946 2670 -3034 -3574 -3138 -3534 -3606 -3918 -2786 -3222 -3122 -3446 2714 -2978 2734 -3498 3818 -3066 3950 -3502 3650 3162 -3066 3878 -3918 -3334 3846 -3290 -3442 2838 3158 3874 2710 2702 2690 -3162 3594 -3822 3590 -3238 -3134 3874 -4002 -3138 -3134 -3574 -3654 3994 2782 -3886 2954 -4018 -2650 -3478 -3646 -2906 -3330 -3638 -3762 -4042 -3682 3034 3190 3822 -3014 3190 -2814 -2710 2690 -3258 -3066 -3890 3870 3198 -3178 -3890 -3434 -3770 3158 3606 -3854 -3094 -3586 -2662 2786 2650 3670 2894 -4042 3238 -3198 -3890 3066 -3962 -4038 2750 3794 3378 2710 -3242 -2886 -2810 -2906 -2942 2762 2806 -4002 3210 3962 -3170 -2990 3626 -3018 -3494 3354 -2854 3926 -3846 -3762 3618 3770 -4038 -3718 -2870 -3198 3250 -3490 3690 -2862 -3542 -3078 -3682 3598 -3662 -3674 -3814 3826 -3182 -2854 -3058 -2894 -2690 -4042 -3050 3514 3158 -2714 -2930 -3998 -2686 -2658 -3558 -3802 3170 -3098 -2822 -3570 -2678 -3142 4042 -3994 -3690 -3194 3570 -3054 -3986 -3930 -3086 -3422 2970 -3342 4042 -3362 3374 3582 -3438 3398 -3478 2986 2954 3466 -3214 3206 3498 -3114 -3118 -3950 3134 -3366 -3122 3566 3110 3574 -3374 3562 -3586 3226 3870 3534 -3966 -2798 -2734 3802 3770 2658 -3406 -3666 3610 -2702 -3050 -3978 2710 -3750 -3650 -2726 3950 -3302 -3070 -3158 -2782 -3758 -3950 4002 -3066 -3174 3998 -3918 3926 -3134 -3514 3646 -3686 -2818 3594 -2726 -3546 3326 -3298 3890 3602 3398 -3002 -3950 -3890 -3662 2698 3842 3438 2834 -4014 3250 -2754 2658 -3122 -3862 3534 4042 -3914 -3558 -3126 3930 -3730 -3414 2854 2650 -3466 -3814 2742 3058 -3930 -3858 -3018 2910 -3038 2942 -3686 2998 2738 -2690 2902 -3402 -3030 3998 3910 -3446 3010 3922 -3662 2690 2918 -3258 -3534 -3778 -3878 3230 2814 -2934 -3342 -3886 3766 -3914 -3650 3802 -3402 -4038 -3930 -3034 3342 -3850 -3182 -3978 -2906 -3546 -4038 -3306 -3514 3974 -3894 3342 -2706 4038 3102 3946 3722 -3890 -2694 -3998 3378 2962 2962 -2690 -3170 3478 -3850 3554 -2658 -3678 -3766 -4002 -2770 -3606 3094 -4002 -2810 -2902 3646 -4018 -3698 -3998 -2970 -3466 -3438 3990 3538 -3746 3694 -3638 -3142 -3562 -3374 -3958 -3178 -3310 -3106 3594 -3018 -3298 2838 2690 3134 -2902 3394 -3886 -3970 -3998 3810 -3686 -2798 3134 3342 -3994 2874 -3978 -3302 -3158 -3342 3530 -3334 -3054 -3646 3326 -3142 -2998 3698 -3830 -3086 -2970 3402 3818 -3310 -2938 2734 3206 -2698 -3378 3862 -3734 -3890 3998 3586 3890 3282 3422 -2838 3386 -3874 -3598 -2698 -3978 -3386 3506 3334 2966 -3206 3862 -3042 -3514 -3198 -3990 3654 2814 -3246 -3134 -3106 -3682 3750 3062 -2706 3342 -2990 -2650 -3946 -3654 3950 3402 -3274 -3094 -2994 -3150 2918 -3414 3770 -3842 2914 -3466 3106 3214 3390 -4042 3454 -2874 3998 -2950 -3186 3642 3910 -3538 -2702 -3066 -3262 3646 -3070 -3362 3502 2690 -3690 -3890 3722 2838 3290 -3658 -2654 -3074 3634 2714 -3098 -2706 3466 -3638 3602 -3998 -3634 -3534 3990 3098 3182 3990 3054 3098 -2882 3886 3466 3054 3598 -3858 3990 -3790 4002 3342 -2774 -3434 -3930 -2942 -2962 -3994 -3402 -3686 3558 3094 3662 -3594 -3106 -3438 -3346 3442 -3174 -3970 -3642 2878 3274 -3058 -3566 -3506 -3810 3770 3822 -2906 -3110 -3766 -3642 3602 2938 -2910 -2942 -2650 3390 -3914 -3990 3050 -3722 3118 -3338 4030 -3310 2694 -3918 3022 3494 -3074 -3422 -3742 3598 -3890 -2814 -3330 3174 -2942 -3910 -3134 3814 -3958 -3998 3550 -3086 -3438 2690 -3234 -2922 3910 -3890 2778 3050 -3426 3738 -3562 -3118 2986 3490 -3202 -3790 -2854 -3918 -2962 -3034 -3610 -2846 3914 -2782 3338 -3930 -3170 3610 3686 2814 -3650 3802 3674 -3174 3106 -3002 -3054 3794 -2862 2650 3658 3134 -3066 -3910 -3022 -2954 -3106 -3990 -3890 3006 -3530 -3950 -3198 -3470 -3954 -3694 -4042 3646 -3238 -3246 -3398 -2830 -4042 -3958 3726 -3910 -3446 2718 3722 -3586 -3294 2698 -2898 -2902 -4038 -3478 -2694 3070 -3014 -3506 3322 3134 3710 -3786 3094 -3362 2730 -2806 3094 3554 -4022 2770 3466 2742 3122 3870 3054 -2682 -3234 3250 -3398 -3398 3922 -3034 -3706 3310 3178 -3090 3578 -3182 3490 -3654 -2958 -3466 -3914 -4018 -3426 3182 3974 2710 -3478 -2918 3594 -3758 -3094 3134 -4014 -3030 3142 -3718 -3678 -2866 -3730 2834 -3582 -3170 -2770 -3682 -3826 -4038 -3526 -3978 -3918 3014 3070 3690 -3806 -3730 -2822 -3986 3798 -3978 -3438 -3474 -3986 -3258 3870 -3830 -3598 3602 -3750 3958 -3986 -3382 2742 -3702 -3626 -3566 -3974 -3298 -3974 -3650 -3182 -3346 3206 -3738 2978 -3226 2998 3158 3182 3202 3350 3894 -3578 3926 -3006 -3634 -3594 -3754 -3526 2690 3182 3990 -2766 -3798 3758 -2786 -3050 3954 2930 -3958 -3618 -3190 -3014 -2714 3922 3582 -3198 -3090 3886 2726 -3026 2686 -2694 -3278 -3842 3218 4042 -4042 -2650 -2902 -3166 -4018 -3686 3018 -3714 -2866 -2774 -3478 3534 3798 3486 -3250 3050 3338 -3998 4002 -3990 -3690 2750 3642 2894 3286 3986 -2962 -4022 4042 -3886 -3350 -3778 -3394 -2726 3746 -3094 3646 -3302 2710 -4042 3926 -2914 -2650 3890 3702 -2690 -3866 3290 -4002 -3250 -3574 -2774 3078 -3150 3782 -3710 3830 -3046 -2686 -2666 3698 -3974 2994 -2650 3646 -3134 3818 3490 3454 -3598 3962 -3122 -3078 -4042 -3074 -3262 -3602 -2686 3750 -3374 -3014 3678 -3162 -3238 3686 -3950 3958 3014 -3178 3590 2854 2670 -3082 -3490 -2698 3794 -2994 3002 -3678 -3982 2822 3094 -4042 -2814 -3270 -3606 3570 3474 2690 -2730 -2658 2654 -3810 2690 -3050 -3434 -2814 -4042 -3754 3442 -3930 -2858 -2902 3194 -3950 -2774 3186 3850 2962 -2754 -2942 2666 3594 -4018 -3926 2882 -3342 3198 -3642 -4042 -3878 -3138 3878 3522 -3630 -3914 2742 -3750 -3402 -2914 3158 3802 2846 3698 3890 3970 -3946 3658 -3382 3594 3298 3802 -3634 3478 3074 -3910 3290 -3950 3934 -3998 -3586 3718 -2694 -2690 -2930 3558 3286 -3582 -2946 -2894 -3830 -3542 3526 -3530 -3582 -2970 3314 -2690 -3110 -3638 3658 -3134 3142 -3034 3086 -3094 2690 2674 -3342 -3566 -3542 -3238 -3958 -3566 2966 -3634 3934 3446 -3818 3438 -3750 -3598 3930 -3022 -3694 -3594 -2954 -3122 -3406 3178 -3442 -3586 3606 -3038 -3930 3738 -3966 3010 -3218 2886 -3274 -3686 -3558 3350 3278 -2902 -3466 -3750 -3258 -3878 -3710 3266 2898 3094 -3054 3494 3270 -3174 -3898 3134 3874 -2726 3294 -3458 -3214 -3334 3418 -3322 -3334 3566 -4034 -3930 3542 3122 -3106 -3646 -3670 -3886 3346 3234 -2710 3598 3842 2822 3438 3494 2798 -3750 2838 3090 -2846 -3666 -3190 2942 -3650 2678 -3770 -3182 3366 -2702 -3302 3122 3310 -3154 3534 -3518 -3526 -2702 -3546 -3642 -3766 -3494 -4002 3134 -3014 -3762 -3886 -2690 3778 3802 -2662 -2750 -3454 -2834 -3574 -2714 3038 3202 -3238 2938 -4042 -3398 -3014 -4002 -3890 2938 -3158 3890 3078 -2654 -3054 -3906 3218 3178 -3894 -2706 -2702 3094 -3890 -3174 -3198 -2674 -3998 -3958 -3278 -3890 -3790 3630 3058 3406 -3478 -3386 -3458 2698 2738 -3930 -3570 -3610 -3658 -3274 3974 -2818 -3494 -3790 -3142 -2690 3958 -3598 3946 3134 2690 -3878 -3926 -3518 -2650 3650 2822 2978 -3198 2690 -3726 3034 -3382 -3750 3542 -2722 3874 3070 3490 3242 3418 -4018 2962 3554 3038 3806 -3878 4014 -3694 4042 -3622 -3438 -2886 -3786 2714 3434 -2810 -4002 2670 -3598 3194 -3142 4002 3438 -3718 -3990 3002 -3802 -2726 2690 -3954 3506 -3294 -3194 2650 3886 3478 -3918 3850 -3674 3750 -4002 -3930 -3350 -3950 -3598 -2830 -2902 -3054 -3886 -4002 -4042 2830 3186 -3086 3378 3154 -3638 -3634 -3182 -3874 -3382 3230 -4042 3454 -3438 3654 -2814 -3646 -3658 -3866 2662 3638 -2650 -3010 3682 3850 3642 3830 -3174 3850 -2690 3478 -2718 -2710 -4002 3350 -3078 2650 3766 2910 -2942 3566 3878 -2838 -3790 3366 -3646 -3686 -3098 2690 3430 -3054 3558 -3174 -3642 -3182 2990 -4002 -3718 -3930 -3822 2650 -3434 3238 -3250 -2906 -3650 3774 3794 -3130 2650 -3922 3782 -3974 -3094 -3110 4034 -3950 -3106 -3130 -3042 -3174 3146 3830 -3482 -3846 3530 3758 -3606 3846 -3614 2946 -3166 2918 -2818 4002 2858 -3138 -3566 2950 3374 3370 3986 -2666 -3886 3534 2702 -3162 -3890 2834 -3766 -2750 -3386 -3834 -2698 -3238 2986 -2754 -2846 -4042 -3098 -2702 2842 -3890 -3590 -4002 -4002 -3998 3650 -3670 -3386 -4002 3134 -3798 2838 -4042 2714 -3238 2710 3882 2690 -2806 3290 2782 3998 -3834 -3870 3198 -2722 -2690 -3914 -2650 -3434 2814 -3142 -3658 -3242 -3778 3706 -4042 -3978 3062 -3630 -3146 -3522 -3462 -2702 3870 -3182 -3998 3402 -2902 -2742 -3838 -4042 2702 3702 -2798 3818 -2746 3006 -3802 3978 -3986 3430 -2910 -3098 -3294 -3882 3014 -3490 2690 -3646 -3654 3790 -3610 -2794 3558 -3094 3222 3486 3938 3490 -3998 2786 3546 3630 3710 -3542 2846 -3338 -3314 -3298 -3638 -3646 -3022 3654 -4026 -4002 3734 3410 3142 -2930 3178 3818 -3986 3218 -3554 -2978 3426 3998 -3210 -3902 -3790 2698 -3190 3926 -3874 2674 3830 3158 -3978 3762 2854 -2950 -3218 3950 3402 -3038 -3082 -3438 3958 -3998 3778 -3106 3082 -3238 -3778 -2662 3546 3174 -3142 -3050 -3342 3106 -3586 -3826 -3146 -3946 -3406 -2778 -2766 -2706 -3490 -3298 3070 3598 3066 -3142 -3682 -3382 -3530 3694 -3914 3854 -3838 3214 -3342 -3286 -3994 2750 -2658 -3438 3434 3682 2954 -2658 3554 -3478 -3950 3218 3126 -2658 -2858 2942 -3694 -3726 -2886 3366 3054 3706 3918 -3682 -2658 -2830 -3978 3594 -3134 3762 2706 -3846 -3698 -3326 -3930 -2686 3294 -3806 3506 4034 -2982 -3054 -2690 -3690 -3302 -3526 2690 3230 2734 -3638 -3518 2846 -2814 3942 -3818 3090 -3930 3770 -2902 2866 4038 -2902 -3142 -3410 -2702 -3926 -2650 -2858 -2826 2810 -3858 2870 -2710 -3726 3302 -3038 3182 -3090 -3998 2926 3946 -3858 3894 -3346 -3198 4034 -3002 -3002 -2790 -3930 -3394 -3954 3918 -2926 -3094 -3302 3162 -3450 -3182 2790 3094 -3438 3330 2814 3958 2990 4018 2666 3042 -3046 -2674 -3770 3502 -3790 -2874 3262 3998 -3466 -3126 -3198 3130 -2698 3198 2902 -3930 3786 -3462 3694 -4010 -2970 3530 3774 -3438 -3726 -3478 3958 -4018 -3614 3758 -3882 -3902 -3874 4014 -3074 -3342 -4002 -3222 3582 -2678 -2662 -2846 3670 -3470 -3138 -3122 -3926 3890 2658 -3058 3266 2650 3438 -2690 -3638 3290 3350 -3430 -3282 2882 3070 -2942 3578 3350 3178 -3010 -2734 -3930 -3602 -3610 -3110 3366 -3874 3990 2806 -2922 2818 -3598 -3774 -2790 3738 3198 -2950 -2942 3414 3242 -3138 -3870 -3998 -2658 3502 3890 3666 3750 -3382 -2962 -3622 -3182 3214 -3878 -3234 3806 -2742 -3686 3562 2818 -3930 -3326 -2774 -3002 -2818 2854 -3098 -3138 3850 -3378 3914 -3818 -3626 3930 -3066 2806 -2750 3770 -3342 -3810 -3262 3090 -3434 2878 -3142 -3502 -3926 -3314 3166 -2650 -3226 -3650 3722 3710 -2650 -3950 3106 -3642 3034 -3682 -2658 -2678 3194 -3162 -3434 -3014 3954 -2798 3326 2650 2890 -3210 3382 3602 -3930 -3686 -2942 -2858 3746 3634 -3670 -3058 -3530 3170 -3290 -3346 2698 2690 -3238 -3842 3126 -3878 3038 -3442 2870 -3094 -3238 -3910 -3290 3190 3530 3382 3014 3994 -3370 -3974 3650 -3758 -3382 -3166 -2710 -3474 3418 2846 -3810 -3142 -3438 4018 2826 3446 -2674 -3870 2714 -3846 2978 -2690 3834 -3010 -3570 -3078 -4002 4002 -2650 -2690 -3314 3714 3986 3282 3694 2842 3630 -3890 2946 4002 3994 3066 -3878 -3810 3798 3154 -3994 -3306 -3594 -4038 -3638 -3730 2710 2690 3162 3914 -3094 3626 3554 -4018 -3150 3110 3670 2942 3638 -3422 3150 -3950 -2654 3318 -3586 -3182 3998 3422 
291.70	d NODES 2517
291.70	d CHECKS 64244721
291.70	   
291.70	   totalWckTime=291.465  totalCpuTime=286.92

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/node12/watcher-205816-1168168113 -o ROOT/results/node12/solver-205816-1168168113 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205816-1168168113/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.93 1.78 1.71 5/93 30738
/proc/meminfo: memFree=935640/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=18540 CPUtime=0
/proc/30737/stat : 30737 (runsolver) R 30735 30737 28242 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165206319 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30737/statm: 4635 279 244 17 0 2626 0

[startup+0.102808 s]
/proc/loadavg: 1.93 1.78 1.71 5/93 30738
/proc/meminfo: memFree=935640/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=914988 CPUtime=0.09
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 2952 0 1 0 7 2 0 0 17 0 8 0 165206319 936947712 2698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582165 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30737/statm: 228747 2698 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510883 s]
/proc/loadavg: 1.93 1.78 1.71 5/93 30738
/proc/meminfo: memFree=935640/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915328 CPUtime=0.48
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 7806 0 1 0 44 4 0 0 18 0 8 0 165206319 937295872 7545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30737/statm: 228832 7545 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33203 s]
/proc/loadavg: 1.93 1.78 1.71 3/100 30745
/proc/meminfo: memFree=843744/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915596 CPUtime=1.29
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 28941 0 1 0 115 14 0 0 23 0 8 0 165206319 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073545652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30737/statm: 228899 28678 2160 14 0 215369 0
[pid=30737/tid=30739] ppid=30735 vsize=915596 CPUtime=0.12
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 12399 0 0 0 8 4 0 0 16 0 8 0 165206323 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165206324 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915596 CPUtime=0.16
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 409 0 0 0 16 0 0 0 16 0 8 0 165206327 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937570304 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915596

[startup+2.98533 s]
/proc/loadavg: 1.93 1.78 1.71 3/100 30745
/proc/meminfo: memFree=821088/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915596 CPUtime=2.94
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 32069 0 1 0 277 17 0 0 25 0 8 0 165206319 937570304 31801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30737/statm: 228899 31801 2160 14 0 215369 0
[pid=30737/tid=30739] ppid=30735 vsize=915596 CPUtime=0.3
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 15519 0 0 0 25 5 0 0 16 0 8 0 165206323 937570304 31801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937570304 31801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165206324 937570304 31801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937570304 31801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915596 CPUtime=0.17
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 412 0 0 0 17 0 0 0 16 0 8 0 165206327 937570304 31801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937570304 31801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915596 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937570304 31801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915596

[startup+6.27291 s]
/proc/loadavg: 1.94 1.78 1.71 3/100 30745
/proc/meminfo: memFree=814304/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915732 CPUtime=6.19
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 32681 0 1 0 602 17 0 0 25 0 8 0 165206319 937709568 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30737/statm: 228933 32409 2180 14 0 215403 0
[pid=30737/tid=30739] ppid=30735 vsize=915732 CPUtime=0.34
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 16056 0 0 0 29 5 0 0 17 0 8 0 165206323 937709568 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937709568 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165206324 937709568 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937709568 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915732 CPUtime=0.19
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 423 0 0 0 18 1 0 0 16 0 8 0 165206327 937709568 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937709568 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937709568 32409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915732

[startup+12.7561 s]
/proc/loadavg: 1.94 1.79 1.71 4/100 30745
/proc/meminfo: memFree=814496/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915732 CPUtime=12.61
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 32683 0 1 0 1244 17 0 0 25 0 8 0 165206319 937709568 32411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30737/statm: 228933 32411 2180 14 0 215403 0
[pid=30737/tid=30739] ppid=30735 vsize=915732 CPUtime=0.34
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 16056 0 0 0 29 5 0 0 16 0 8 0 165206323 937709568 32411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937709568 32411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165206324 937709568 32411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937709568 32411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915732 CPUtime=0.2
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 425 0 0 0 19 1 0 0 16 0 8 0 165206327 937709568 32411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937709568 32411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937709568 32411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915732

[startup+25.6084 s]
/proc/loadavg: 1.95 1.80 1.72 3/100 30745
/proc/meminfo: memFree=814624/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915732 CPUtime=25.35
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 32693 0 1 0 2517 18 0 0 25 0 8 0 165206319 937709568 32421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30737/statm: 228933 32421 2181 14 0 215403 0
[pid=30737/tid=30739] ppid=30735 vsize=915732 CPUtime=0.34
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 16056 0 0 0 29 5 0 0 16 0 8 0 165206323 937709568 32421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937709568 32421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165206324 937709568 32421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937709568 32421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915732 CPUtime=0.21
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 434 0 0 0 20 1 0 0 16 0 8 0 165206327 937709568 32421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937709568 32421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937709568 32421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915732

[startup+51.213 s]
/proc/loadavg: 1.97 1.81 1.72 3/100 30745
/proc/meminfo: memFree=805472/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915732 CPUtime=50.72
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 34992 0 1 0 5052 20 0 0 25 0 8 0 165206319 937709568 34718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30737/statm: 228933 34718 2181 14 0 215403 0
[pid=30737/tid=30739] ppid=30735 vsize=915732 CPUtime=0.46
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 18351 0 0 0 40 6 0 0 16 0 8 0 165206323 937709568 34718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937709568 34718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165206324 937709568 34718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937709568 34718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915732 CPUtime=0.21
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 436 0 0 0 20 1 0 0 16 0 8 0 165206327 937709568 34718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937709568 34718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937709568 34718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915732

[startup+102.437 s]
/proc/loadavg: 1.98 1.84 1.73 3/93 30816
/proc/meminfo: memFree=804184/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915732 CPUtime=101.8
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 38309 0 1 0 10154 26 0 0 25 0 8 0 165206319 937709568 38033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30737/statm: 228933 38033 2181 14 0 215403 0
[pid=30737/tid=30739] ppid=30735 vsize=915732 CPUtime=0.61
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 21665 0 0 0 54 7 0 0 16 0 8 0 165206323 937709568 38033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937709568 38033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165206324 937709568 38033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937709568 38033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915732 CPUtime=0.22
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 437 0 0 0 21 1 0 0 17 0 8 0 165206327 937709568 38033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937709568 38033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937709568 38033 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915732

[startup+162.518 s]
/proc/loadavg: 1.99 1.86 1.75 3/93 30816
/proc/meminfo: memFree=369432/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915732 CPUtime=161.82
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 40998 0 1 0 16154 28 0 0 25 0 8 0 165206319 937709568 40720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30737/statm: 228933 40720 2181 14 0 215403 0
[pid=30737/tid=30739] ppid=30735 vsize=915732 CPUtime=0.74
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 24346 0 0 0 66 8 0 0 16 0 8 0 165206323 937709568 40720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937709568 40720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165206324 937709568 40720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937709568 40720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915732 CPUtime=0.22
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 443 0 0 0 21 1 0 0 16 0 8 0 165206327 937709568 40720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937709568 40720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915732 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937709568 40720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 915732

[startup+222.582 s]
/proc/loadavg: 2.23 1.93 1.77 3/101 30887
/proc/meminfo: memFree=219864/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915876 CPUtime=221.67
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 96906 0 1 0 22103 64 0 0 25 0 8 0 165206319 937857024 96556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30737/statm: 228969 96556 2545 14 0 215439 0
[pid=30737/tid=30739] ppid=30735 vsize=915876 CPUtime=2.57
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 79654 0 0 0 224 33 0 0 16 0 8 0 165206323 937857024 96556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937857024 96556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165206324 937857024 96556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937857024 96556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915876 CPUtime=0.38
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 567 0 0 0 36 2 0 0 15 0 8 0 165206327 937857024 96556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937857024 96556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937857024 96556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.67
Current children cumulated vsize (KiB) 915876

[startup+282.677 s]
/proc/loadavg: 2.09 1.94 1.78 3/100 30944
/proc/meminfo: memFree=776800/2055920 swapFree=4160348/4192956
[pid=30737] ppid=30735 vsize=915876 CPUtime=281.21
/proc/30737/stat : 30737 (java) R 30735 30737 28242 0 -1 0 96929 0 1 0 28051 70 0 0 25 0 8 0 165206319 937857024 96571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074265256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30737/statm: 228969 96571 2547 14 0 215439 0
[pid=30737/tid=30739] ppid=30735 vsize=915876 CPUtime=2.57
/proc/30737/task/30739/stat : 30739 (java) S 30735 30737 28242 0 -1 64 79654 0 0 0 224 33 0 0 16 0 8 0 165206323 937857024 96571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30740] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30740/stat : 30740 (java) S 30735 30737 28242 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 165206324 937857024 96571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30741] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30741/stat : 30741 (java) S 30735 30737 28242 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165206324 937857024 96571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30737/tid=30742] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30742/stat : 30742 (java) S 30735 30737 28242 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165206327 937857024 96571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30743] ppid=30735 vsize=915876 CPUtime=0.4
/proc/30737/task/30743/stat : 30743 (java) S 30735 30737 28242 0 -1 64 581 0 0 0 38 2 0 0 15 0 8 0 165206327 937857024 96571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30744] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30744/stat : 30744 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165206327 937857024 96571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30737/tid=30745] ppid=30735 vsize=915876 CPUtime=0
/proc/30737/task/30745/stat : 30745 (java) S 30735 30737 28242 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165206327 937857024 96571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.21
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 291.783
CPU time (s): 290.226
CPU user time (s): 289.457
CPU system time (s): 0.768883
CPU usage (%): 99.4663
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 289.457
system time used= 0.768883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96957
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= 7864
involuntary context switches= 12074

runsolver used 0.39394 s user time and 0.904862 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sun Jan  7 11:08:33 UTC 2007


IDJOB= 205816
IDBENCH= 4170
FILE ID= node12/205816-1168168113

PBS_JOBID= 3478697

Free space on /tmp= 66304 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  905321a8d9852006a24c0f2b5f8b53c5

RANDOM SEED= 912794680

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:        936120 kB
Buffers:         55596 kB
Cached:         580100 kB
SwapCached:       4660 kB
Active:         523088 kB
Inactive:       520808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        936120 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:           10244 kB
Writeback:           0 kB
Mapped:         427960 kB
Slab:            59980 kB
Committed_AS:  5351956 kB
PageTables:       2856 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= 66303 MiB



End job on node12 on Sun Jan  7 11:13:25 UTC 2007