Trace number 205974

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 283.917 286.476

DiagnosticValue
CHECKS45281827
NODES2502

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-6.xml
MD5SUM849897233ee935bf30fd8a8cea7c085c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark47.1378
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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/205974-1168168743/unknown.xml
0.40	   
0.40	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.90	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.90	       =>  wckTime=0.559  cpuTime=0.39  mem=44M728
0.90	   
0.90	   predicates being loaded...
0.90	   
0.90	   constraints being loaded...
203.00	   
203.00	   INFO : Stopping converting binary constraints (cpu=200.04, mem = 124M790)
210.63	     nbConstraints=32622  nbMergedConstraints=29510  nbConvertedConstraints=989  nbConvertConstraintsChecks=352720752
210.63	     nbExtensionStructures=908  nbSharedExtensionStructures=81  nbConflictsStructures=908
210.63	     nbSharedConflictsStructures=81  nbSharedBinaryRepresentations=904359  nbEvaluationManagers=21770
210.63	     nbSharedEvaluationManagers=9863  maxDegree=54  maxArity=2
210.63	       =>  wckTime=210.295  cpuTime=206.67  mem=172M231
211.10	   
211.10	   solver IterativeSystematicSolver being built... 
212.22	       =>  wckTime=211.886  cpuTime=207.31  mem=344M406
282.92	   
282.92	   INFO : Stopping ESAC
282.92	   
282.92	   preprocessing
282.92	     nbConstraintChecks=44799325  nbValidityChecks=8368032  nbPropagations=22733  nbRevisions=583916
282.92	     nbUselessRevisions=546923  nbSingletonTests=5237  nbEffectiveSingletonTests=6  nbESACBranches=5
282.92	     nbRemovedValues=1439539  detectedInconsistency=no
282.92	       =>  wckTime=70.657  cpuTime=69.95  mem=344M406
286.38	   
286.38	   search
286.38	     run=0  nbConstraintChecks=482502  nbValidityChecks=977458  nbPropagations=28145  nbRevisions=697084
286.38	     nbUselessRevisions=653933  nbAssignments=2502  nbFailedAssignments=2  nbBacktracks=0  nbVisitedNodes=2505
286.38	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=1725
286.38	       =>  wckTime=74.119  cpuTime=73.35  mem=362M717
286.38	   
286.38	   global
286.38	     nbConstraintChecks=45281827  nbValidityChecks=9345490  nbPropagations=50878  nbRevisions=1281000
286.38	     nbUselessRevisions=1200856  nbRestartNogoods=0  solvingWckTime=74.12  solvingCpuTime=73.35  expiredTime=no
286.38	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=280.73
286.38	       =>  wckTime=286.044  cpuTime=280.69  mem=362M717
286.38	   
286.38	s SATISFIABLE
286.38	v 3198 -3450 2650 2650 -2986 3906 -2794 3654 -3958 -2798 -3434 2714 -3474 -2866 3338 3814 2862 -3726 -2778 -3578 -3478 2906 3094 2650 -3930 -3946 3386 -3478 3946 -2834 -2698 3094 -3146 3742 -2770 3678 -3302 2650 -3930 3030 -3790 3686 -3930 3406 3506 -3386 3690 -4018 -3854 3750 -3990 -3874 2702 -3790 -3778 -2754 -3406 3414 3626 -3854 3770 -3382 2650 -3438 -3830 -3074 -4002 3674 -3046 3590 2654 -3198 -3926 -3474 -3174 -3354 -3598 -3810 -3890 3146 -3566 3434 3442 2650 -3870 3406 3554 2678 3598 -3850 -3294 -3342 2718 3558 -3062 2742 -3930 2654 3914 -3538 3550 3546 3066 -3998 3626 -3138 2830 3070 -3386 -3978 3046 -3950 3310 -3106 3510 3622 -3522 -2970 -3686 -3146 -3022 -3750 3526 2846 -3426 3266 -3310 -3642 2958 3318 -3790 -3742 -3034 -3314 3562 -3098 -3294 -3438 -3226 3374 -2814 -3682 -3682 -3990 -3106 3334 -2862 2690 -2778 -2946 -2722 -2886 3034 3246 -3094 3694 3754 -2826 2862 -3450 -2890 3998 2810 -3346 -3782 -3890 3654 2650 2650 3998 3610 2910 3306 2690 -3682 -2734 -3978 -2842 -3066 -3930 -4042 3206 -3686 3662 3170 2758 3286 -3146 -3890 3166 -3578 3134 2746 -3062 2650 -3394 3134 -2934 2782 -3522 3334 -3810 3518 -3338 -3474 -3394 -3266 2782 3946 -3790 -3914 -3354 -3122 3346 -3262 -3142 -3198 -2690 -3818 2782 3358 -3258 2762 -3438 -3642 3802 -3222 -3558 3382 -3410 2690 -3938 2746 -3694 2690 -3014 -3462 3746 3422 4002 -4042 2650 -2998 -3718 -3734 -3050 2698 3182 -3550 -3590 -2650 -3182 -3094 -3958 -2666 -3950 -3382 3286 3550 -2854 -3574 -3678 2710 -3842 -2738 3730 3210 3446 3966 -3390 3726 -4002 -2666 -3530 3366 -2654 -3890 3358 -3650 3230 2982 -2710 -3186 -3990 -3914 -3374 -3750 -3606 -2782 3874 -3690 -3990 -4042 -2898 3274 3382 -3266 3582 -2866 -3382 3190 -3082 2666 -3918 2998 -3398 3954 -3162 -2690 -2902 -3138 -2698 4042 3194 3142 -3326 -2650 3070 2670 3258 -2830 2910 3138 3062 2898 3166 -3638 -3602 3406 -3886 2738 3978 -3534 -3890 -2718 3246 2886 3102 -2782 -3046 -3186 3698 -3138 3390 -3186 -3334 -2886 3838 -3874 3206 3234 -3998 -3930 -3878 3314 3810 3802 -2894 2718 2810 3018 3058 -3018 2754 2986 3782 -3978 3462 2918 3838 2986 -3430 -3982 -3538 -3438 -3682 3338 3994 3538 -3126 4002 2694 -3654 -2926 -3146 -3462 -3518 3846 -2950 -3614 3074 2778 -3106 -3646 2738 2662 -3990 -2714 -3290 3130 3746 -2718 3982 -3002 -2942 3438 3182 -3946 -3202 -3874 -3410 -3890 2770 -4014 -3050 -2822 -2838 3290 2990 -2666 3938 -2950 2954 -3694 -4038 -2854 3646 3546 -3190 2698 -3102 3230 -3638 -3382 -3010 -3014 -3914 3738 -2938 -4002 3138 3694 -3022 -2650 -3914 -3646 -2942 -2998 3158 -2718 -3890 -3930 -2926 -2862 -3146 -3930 3422 -3342 3718 4010 2714 -3378 3454 2778 -2650 -3134 -3926 -3054 -3590 -3874 -3182 -3142 3346 -3642 2890 3978 -3686 4034 -3682 -2658 2754 4002 3122 -2894 -2650 3146 -2930 -2958 -3506 -3066 -2698 3366 -3890 -3890 2694 -2678 -3046 -3706 -3750 -3382 -4018 -3098 -3690 -3186 -2690 -3958 2698 -3222 3306 -3610 3306 -3058 -3502 -3890 -3162 3702 -3182 3150 -3790 -3302 2694 -3230 -3110 -2854 -3930 2898 3774 -2902 -3134 -3782 2650 3254 3350 2802 -2706 -3478 -3138 -3422 -2738 -3422 -3270 3862 -3874 -2690 -3386 -3998 -3014 -3790 -3598 -3950 3998 3382 -3434 -4042 -3806 -3890 4038 2998 2982 -2726 -2810 -3850 -3078 3694 -2790 -4018 -3066 2650 -3642 -3066 3306 -3874 4038 2890 -2946 3742 3710 -3054 3642 -3906 -2694 -3958 3146 3554 -3342 3602 -3046 -3958 -3074 -3726 -3930 3594 3186 3730 -3546 -3886 3042 -4018 3378 3858 -2806 3098 -3210 -3930 2950 2670 -3034 3578 -3138 3538 -3606 3918 2794 -3206 -3130 3442 2726 2982 2738 -3506 3810 -3074 -3954 -3502 3642 3166 -3070 -3878 3914 -3346 3846 3290 -3442 2838 -3162 3870 2706 -2702 2690 -3170 3598 3826 -3598 -3238 -3134 -3874 3998 -3138 -3138 -3574 -3650 3998 2786 3882 2950 -4018 -2650 -3478 -3646 -2926 3330 -3626 3774 -4042 -3682 -3034 3190 3814 -3010 -3186 -2822 2718 -2690 -3258 -3066 -3882 -3870 -3202 -3186 -3890 3426 -3770 3162 3610 -3854 -3098 3582 -3270 -2778 2650 -3666 2902 -4042 3234 3202 -3890 -3066 3962 -4038 2754 3802 3382 -2702 3242 2878 -2814 2914 -2966 2754 -2818 4002 3234 -3966 -3170 2994 -3638 -3014 3490 -3358 -2862 -3930 3842 3770 3630 -3782 -4038 -3718 2862 -3198 -3250 3494 -3682 -2870 -3542 3090 -3682 -3598 3662 3670 -3810 3830 -3182 -2854 -3054 -2886 -2690 -4030 -3054 -3510 3166 2714 2938 -4002 -2966 -2666 3542 -3794 3174 3098 -2826 3570 -2678 -3142 -4042 -3998 -3686 -3182 -3570 -3054 -3990 -3930 3094 -3418 2974 -3350 -4042 3362 -3382 3582 -3438 -3390 -3478 -2990 -2974 3466 3218 -3206 -3506 -3114 -3106 -3950 -3134 3374 -3130 -3570 3110 -3578 3382 -3550 -3582 3230 -3870 -3538 -3970 -2806 2734 -3802 3770 -2662 -3402 3662 3610 3230 3046 -3978 2710 -3750 3642 2730 -3950 -3302 3058 3158 2790 -3758 -3950 3886 -3066 3178 4002 -3914 -3930 -3134 -3518 -3654 3682 -2822 3594 2726 3546 -3338 3306 -3890 3602 -3406 3006 -3950 -3890 3654 2706 -3842 -3426 2838 4014 -3250 -2754 -2658 3118 3866 3538 -4042 3914 -3566 -3134 -3930 3726 3410 2854 2650 -3462 -3810 -2742 -3062 -3930 3858 3022 -2906 3034 -2942 3698 2998 -2734 2690 2926 3402 -3030 -3998 3906 3442 3010 3922 -3654 2690 2926 -3266 3534 -3782 3870 3218 -2818 -2926 -3342 -3902 -3770 -3914 -3646 -3802 3394 -4038 -3930 -3034 3342 3850 -3182 -3978 -2906 -3542 4042 3314 3526 -3978 -3894 -3342 -2706 -4038 3106 3946 3730 -3890 -2694 -3998 3378 -2954 2966 -2690 -3178 -3478 3846 3558 2650 3670 3770 4002 2770 -3606 -3094 4002 -2802 2894 3642 -4018 -3690 -3998 -2978 -3466 3430 -3990 -3538 3746 -3706 3638 -3142 -3550 -3370 -3958 -3194 -3306 -3110 -3598 -3014 -3310 -2842 -2690 3134 2894 3402 -3882 -3970 -3998 3810 3694 2806 -3134 3342 -3998 2878 -3978 -3306 3158 -3362 3538 3346 3058 -3642 3334 3146 3002 3698 -3830 3086 2974 -3398 -3830 -3310 2946 2734 -3206 2702 3374 3862 3738 -3890 -3998 -3582 -3890 3282 -3414 -2846 -3386 -3874 3586 2698 -3978 -3382 -3506 3342 2970 3202 3858 -3050 3510 3198 -3990 -3666 2822 3242 -3106 -3106 -3682 -3750 3066 -2706 -3346 -3006 2650 -3946 -3650 -3950 3410 -3274 -3094 -2994 -3150 -2930 3422 3766 -3834 2934 3466 3106 3218 -3382 4042 -3446 -2886 -3998 2966 -3186 3650 -3910 -3542 -2702 -3070 3254 3646 3078 3362 3506 -2686 -3682 -3890 -3726 2846 3290 -3650 2658 -3074 3638 2714 -3094 -2690 -3474 -3638 3590 -3998 -3638 -3534 -3990 -3106 -3186 -3990 -3054 3098 -2958 -3886 3462 -3058 -3594 3870 -3990 -3790 -3990 3346 2770 3430 -3930 -2938 2974 -3994 -3406 -3682 -3554 -3106 3662 -3590 -3106 -3438 3346 -3450 -2690 3970 -3642 2890 3274 3054 3566 3502 -3814 3766 -3822 2902 3118 -3846 -3642 3610 2942 -2906 2946 -2650 3410 -3914 -3990 3038 -3718 -3130 -3342 4030 -3310 2694 3914 -3022 -3490 -3074 -3422 3738 3586 -3890 -2822 -3330 -3170 -2946 -3914 -3134 -3814 -3958 -3998 -3558 -3086 -3438 2694 -3238 -2934 3910 -3890 -2774 3054 3426 3734 3558 3122 -2990 -3490 3206 -3790 -2862 -3918 2962 3034 -3610 -2850 -3914 2778 3346 -3930 -3170 -3610 3682 2822 -3650 3802 3666 -3182 3122 2994 -3054 3790 -2870 -2682 -3650 -3134 -3066 -3914 3022 -2958 -3114 -3990 -3890 3022 3534 -3950 -3198 -3482 3954 3694 -4042 -3650 -3238 -3254 -3398 2826 -4042 -3958 -3730 -3910 -3446 2714 -3722 -3586 -3302 -2698 -2894 -2902 4034 -3478 2694 3086 -3026 3502 3326 -3138 3706 -3790 3094 3354 2734 -2818 3094 -3562 -4022 2762 3454 -2734 -3118 -3870 -3054 -2674 -3238 -3274 -3398 -3410 -3926 3034 -3702 3310 3190 3086 3582 -3182 3486 -3646 2990 3462 -3914 -4018 3414 -3182 -3974 -2702 -3478 2926 3594 3762 -3094 3134 4014 3034 3146 3718 3678 -2862 3742 2838 3590 3170 2778 -3686 -3822 -4042 -3526 -3978 -3914 -3014 3074 3694 -3806 -3734 -2822 -3986 3798 -3978 3450 -3470 -3990 3250 3870 -3830 -3598 -3598 -3750 -3958 -3990 -3382 -2742 3702 3642 3534 3974 -3302 -3978 -3642 -3186 -3342 3206 3738 -2982 3234 3030 3166 3190 -3202 3350 -3894 3586 3926 3006 3634 -3594 3742 3530 -2710 3246 -3990 -2750 -3794 -3762 2794 -3042 -3954 2938 -3958 3626 -3202 -3014 -2714 -3926 -3586 -3198 -3090 -3890 -2730 3030 2702 -2694 -3298 3838 -3226 3910 -4042 2666 -2906 3166 -4018 3694 3018 3714 -2874 2774 -3478 -3530 -3802 3482 3254 3062 3350 3994 -4002 -3990 3690 2750 -3646 2902 3294 3986 -2974 -4022 4042 -3890 -3342 3778 3390 2742 -3750 -3102 -3646 -3294 2710 -4042 -3930 -2926 -2650 -3878 -3702 -2690 3870 3294 3862 -3254 -3578 2778 -3082 3150 -3778 3710 -3834 -3062 2690 2670 3702 -3970 2994 2690 -3642 -3134 -3830 3490 -3458 3598 -3966 3122 -3094 -4042 -3074 -3266 3606 2678 -3750 -3370 -3014 3678 -3170 -3238 3686 -3950 -3958 3026 -3074 3598 -2862 2670 3082 -3486 2690 -3782 2998 3010 -3678 -3982 -2818 -3094 4042 2810 3270 -3606 -3574 -3478 2706 -2722 -2658 -2654 -3810 2690 -3050 -3430 -2650 -4042 3750 -3450 -3918 2854 2910 -3198 -3950 -2778 -3186 -3850 -2970 2746 2934 -2666 3594 -4018 -3926 2886 -3350 3206 -3642 -4038 -3878 -3114 3870 3522 -3638 -3914 2742 3750 3402 -2910 -3166 -3814 2850 3690 3902 3970 -3950 3646 -3382 -3602 3306 3806 -3630 -3474 -3074 3910 -3294 -3950 3930 -3998 -3582 -3718 -2694 2690 2934 -3558 -3286 3586 -2966 -2894 -3830 3546 3494 -3526 3586 -2978 3334 -2690 -3114 -3638 3650 -3142 -3142 -3034 -3098 -3094 2690 2678 -3342 3570 3546 -3238 -3958 3566 -2974 -3638 3930 -3450 -3818 -3438 -3750 -3598 -3938 -3018 3694 -3598 -2958 -3122 3394 3178 -3450 3598 3610 3054 3862 3742 3966 -3014 -3234 2890 -3278 3698 -3558 3346 3270 -2906 3462 -3750 -3274 -3874 -3706 -3274 -2894 -3094 -3054 -3498 -3278 3170 -3898 3138 3874 2718 3306 -3458 -3218 3334 3418 3322 -3334 3566 -4038 -3930 -3538 3122 -3110 -3650 -3606 -3882 -3342 -3238 2710 3594 -3842 2830 -3434 -3498 -2802 -3750 -2846 3094 -2854 3666 -3190 -2942 -3658 -2678 3762 3186 -3386 -2666 -3306 3126 3314 -3142 3530 -3518 -3526 -2702 3542 3650 -3774 3498 3870 -3146 -3014 3774 -3890 2690 -3786 -3814 2658 2742 3446 2846 3570 -2718 -3042 -3206 -3238 -2946 -4038 3390 -3014 4002 -3890 2942 3154 -3890 -3082 -2654 -3054 -3902 -3234 -3186 -3894 -2706 -2690 -3098 3886 3178 -3198 -2674 -3998 -3958 -3298 -3890 -3790 -3638 -3054 -3398 -3478 -3382 3470 -2702 2738 -3930 3570 -3614 3658 -3278 -3978 -2822 3498 -3786 -3142 -2690 3958 -3598 3942 3134 -2694 3874 -3926 -3518 2650 -3654 2826 -2986 -3198 2690 3726 -3034 -3378 -3750 -3546 2714 -3874 3078 -3498 3262 3418 -4018 2966 3554 -3042 -3814 -3878 -4018 -3686 -4042 -3630 -3438 2878 -3786 -2706 -3438 -2814 -4002 2666 -3598 -3198 -3142 4002 3446 -3710 -3994 -3006 3802 -2926 2690 3950 3502 3294 -3198 2654 -3890 -3478 -3918 -3850 3670 3746 -4002 -3930 3350 -3950 3602 2822 -2898 -3054 -3890 4002 -4042 -2826 -3186 3086 -3374 3154 -3630 -3638 -3186 3878 3374 3230 4038 -3458 -3438 -3646 -2814 3654 -3650 3862 2654 -3642 -2650 3014 3678 -3846 3654 3830 -3182 3850 2690 -3478 2718 2710 -4002 3350 3074 2670 -3766 2882 2934 3566 3882 2842 -3790 3354 -3646 -3682 -3098 2690 3434 -3050 3554 -3178 3642 -3182 2990 4002 3714 -3930 -3822 -2650 -3442 -3242 3254 -2906 -3646 -3778 -3794 -3130 -2654 -3926 -3774 -3970 -3094 -3098 4038 -3950 -3106 3134 3046 3178 -3146 -3830 -3482 -3846 -3538 3758 -3610 -3850 -3614 -2946 3166 2930 2818 -4002 -2854 -3150 3570 -2922 3374 -3378 -3986 2666 -3890 -3538 2698 3162 -3898 2846 3766 -2758 -3382 3842 2690 3246 -2990 2754 2842 -4042 3102 -2694 -2918 -3890 3598 4002 -4002 4002 3650 3666 3386 4002 3110 -3798 2838 4042 -2706 3238 2710 -3886 2722 -2790 3294 2786 -3998 3834 3870 -3198 2714 2690 3918 2690 -3422 -2810 -3146 3654 3262 -3786 3706 -4042 -3978 3066 3638 -3146 3522 3462 -2702 -3870 -3182 -3998 -3402 -2910 -2742 -3830 3902 -2658 -3702 2798 3826 2738 3022 3798 -3974 -3990 3422 -2906 3102 -3306 3882 -3018 3490 -2694 -3642 -3654 -3790 -3610 -2798 3554 -3094 3230 -3490 3938 3482 -3998 -2778 -3550 -3638 3706 -3542 -2846 3334 -3326 -3298 -3638 -3646 3026 3666 3946 -4002 3738 3410 -3142 2938 3178 3818 3986 3218 -3550 2978 -3426 -3998 -3210 3898 -3790 2698 -3178 -3930 -3954 2686 -3830 -3154 -4042 3766 -2862 2950 3210 3950 -3410 3042 3078 -3438 -3958 3998 3770 -3106 -3094 3230 -3774 -2706 -3542 3178 -3146 -3062 -3362 -3106 3574 -3822 3146 -3950 3402 -2778 2766 -2706 3498 3294 3066 -3582 -3066 -3142 -3682 -3382 3526 -3706 3914 -3854 -3838 -3210 -3342 3290 -4002 2754 2650 -3438 3446 3678 -2966 -2650 -3558 -3478 -3950 3222 -3126 -2662 -2870 2938 -3690 -3722 -2886 -3378 -3054 3702 3910 3682 2666 2822 -3978 -3598 -3134 -3766 2706 3850 -3686 3334 -3930 -2678 -3298 3806 3502 -4034 2982 -3058 -2694 -3686 3322 3526 2690 3238 2734 -3638 3514 -2854 2818 3946 -3826 3094 -3930 -3774 -2902 2878 -4042 -2902 -3142 -3402 -2682 -3922 -2650 2846 2838 -2810 3870 -2866 -2718 3738 3322 -3038 -3182 3078 -3998 -2934 -3950 3866 -3894 -3342 -3198 4042 -3002 3010 2786 -3930 3406 3954 -3922 2938 -3094 3306 -3162 3450 3186 -2786 -3098 -3438 3330 -2818 -3958 -2994 -4014 -2670 3054 -3046 -2674 3766 -3498 -3790 2878 -3266 -3998 -3474 -3134 -3198 -3130 -2698 -3194 -2902 -3922 3782 -3462 -3686 -4010 -2974 3530 3770 -3438 -3722 -3478 -3958 -4018 -3610 -3758 3886 -3898 -3874 4018 -3074 -3346 -4002 3222 -3586 -2674 -2654 -2850 3670 3470 -3134 -3122 3930 -3890 2658 -3066 3270 2650 3438 -2690 -3638 -3294 3370 3430 3282 2886 -3086 -2946 3578 3354 -3178 -3010 2734 -3930 3590 -3610 -3106 3358 -3874 -3990 -2814 -2926 -2822 -3590 -3774 -2794 3742 3206 -2950 -2942 3410 -3242 3138 -3870 -3998 2650 3502 -3890 -3682 -3750 3370 2958 -3626 -3182 -3222 -3954 -3238 3806 -2742 -3682 3562 2806 -3930 3330 -2778 3010 -2818 2850 -3102 3138 3850 -3386 -3914 3826 3622 3930 -3066 -2802 -2750 -3766 -3342 -3810 -3270 -3086 -3438 -2886 -3142 3498 -3922 -3318 -3162 2650 -3222 -3650 3722 3710 2650 -3950 -3106 -3642 -3034 -3682 -2658 -2678 3194 3162 -3434 -3014 -3958 2802 3346 -2650 -2898 -3218 -3386 3610 -3930 -3682 -2942 -2854 3742 -3634 3666 -3054 -3538 3170 -3290 3330 2690 -2690 -3238 3842 -3122 3878 -3042 3434 2866 -3094 3238 -3910 3290 -3206 3534 -3382 -3014 -3998 3362 3974 -3646 3754 -3382 3162 2714 -3478 3422 -2838 3810 -3146 -3438 -4018 -2834 3434 -2674 -3870 2714 -3850 2982 2694 3834 3002 3574 -3066 -4002 4002 2650 -2706 -3318 -3710 -3990 -3282 3698 2846 -3626 -3890 -2946 -4002 -3998 3082 -3878 3810 3798 -3150 3990 -3306 -3590 4038 -3638 -3726 2706 2690 3162 3906 -3094 3614 -3550 -4018 3166 3118 -3678 2914 -3626 -3418 -3162 -3950 -2650 -3318 3590 -3182 -3998 3414 
286.38	d NODES 2502
286.38	d CHECKS 45281827
286.38	   
286.38	   totalWckTime=286.125  totalCpuTime=280.73

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node40/watcher-205974-1168168743 -o ROOT/results/node40/solver-205974-1168168743 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205974-1168168743/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 2.03 1.99 2/73 21076
/proc/meminfo: memFree=1749200/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=18540 CPUtime=0
/proc/21075/stat : 21075 (runsolver) R 21073 21075 20369 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 165273682 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21075/statm: 4635 279 244 17 0 2626 0

[startup+0.102585 s]
/proc/loadavg: 1.93 2.03 1.99 2/73 21076
/proc/meminfo: memFree=1749200/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=909872 CPUtime=0.06
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 2543 0 1 0 5 1 0 0 20 0 8 0 165273682 931708928 2290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155274573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 227468 2290 1246 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 909872

[startup+0.510633 s]
/proc/loadavg: 1.93 2.03 1.99 2/73 21076
/proc/meminfo: memFree=1749200/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915328 CPUtime=0.46
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 7141 0 1 0 42 4 0 0 18 0 8 0 165273682 937295872 6880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073587928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228832 6880 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.33174 s]
/proc/loadavg: 1.93 2.03 1.99 3/80 21083
/proc/meminfo: memFree=1656920/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915596 CPUtime=1.27
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 28942 0 1 0 113 14 0 0 23 0 8 0 165273682 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228899 28679 2160 14 0 215369 0
[pid=21075/tid=21077] ppid=21073 vsize=915596 CPUtime=0.12
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 12399 0 0 0 7 5 0 0 16 0 8 0 165273689 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915596 CPUtime=0.17
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 409 0 0 0 16 1 0 0 16 0 8 0 165273693 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915596

[startup+2.96896 s]
/proc/loadavg: 1.93 2.03 1.99 3/80 21083
/proc/meminfo: memFree=1634264/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915596 CPUtime=2.9
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 32070 0 1 0 274 16 0 0 25 0 8 0 165273682 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228899 31802 2160 14 0 215369 0
[pid=21075/tid=21077] ppid=21073 vsize=915596 CPUtime=0.3
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 15519 0 0 0 24 6 0 0 16 0 8 0 165273689 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915596 CPUtime=0.17
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 412 0 0 0 16 1 0 0 16 0 8 0 165273693 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915596 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915596

[startup+6.25937 s]
/proc/loadavg: 1.93 2.03 1.99 3/80 21083
/proc/meminfo: memFree=1627352/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915732 CPUtime=6.16
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 32682 0 1 0 599 17 0 0 25 0 8 0 165273682 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228933 32410 2180 14 0 215403 0
[pid=21075/tid=21077] ppid=21073 vsize=915732 CPUtime=0.34
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 16056 0 0 0 28 6 0 0 17 0 8 0 165273689 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915732 CPUtime=0.19
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 423 0 0 0 18 1 0 0 16 0 8 0 165273693 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) R 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937709568 32410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915732

[startup+12.7352 s]
/proc/loadavg: 1.94 2.03 1.99 3/80 21083
/proc/meminfo: memFree=1627488/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915732 CPUtime=12.59
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 32684 0 1 0 1242 17 0 0 25 0 8 0 165273682 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228933 32412 2180 14 0 215403 0
[pid=21075/tid=21077] ppid=21073 vsize=915732 CPUtime=0.34
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 16056 0 0 0 28 6 0 0 16 0 8 0 165273689 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915732 CPUtime=0.19
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 425 0 0 0 18 1 0 0 16 0 8 0 165273693 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937709568 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915732

[startup+25.6029 s]
/proc/loadavg: 1.95 2.03 1.99 3/80 21083
/proc/meminfo: memFree=1627616/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915732 CPUtime=25.36
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 32694 0 1 0 2518 18 0 0 25 0 8 0 165273682 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228933 32422 2181 14 0 215403 0
[pid=21075/tid=21077] ppid=21073 vsize=915732 CPUtime=0.34
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 16056 0 0 0 28 6 0 0 16 0 8 0 165273689 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915732 CPUtime=0.2
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 434 0 0 0 19 1 0 0 16 0 8 0 165273693 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937709568 32422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915732

[startup+51.2052 s]
/proc/loadavg: 1.97 2.02 1.99 3/80 21083
/proc/meminfo: memFree=1618720/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915732 CPUtime=50.75
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 34925 0 1 0 5056 19 0 0 25 0 8 0 165273682 937709568 34651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228933 34651 2181 14 0 215403 0
[pid=21075/tid=21077] ppid=21073 vsize=915732 CPUtime=0.44
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 18283 0 0 0 37 7 0 0 16 0 8 0 165273689 937709568 34651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937709568 34651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937709568 34651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937709568 34651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915732 CPUtime=0.21
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 436 0 0 0 20 1 0 0 16 0 8 0 165273693 937709568 34651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937709568 34651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937709568 34651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915732

[startup+102.408 s]
/proc/loadavg: 1.98 2.02 1.99 3/80 21083
/proc/meminfo: memFree=1605664/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915732 CPUtime=101.52
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 38205 0 1 0 10130 22 0 0 25 0 8 0 165273682 937709568 37929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228933 37929 2181 14 0 215403 0
[pid=21075/tid=21077] ppid=21073 vsize=915732 CPUtime=0.6
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 21560 0 0 0 52 8 0 0 16 0 8 0 165273689 937709568 37929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937709568 37929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937709568 37929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937709568 37929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915732 CPUtime=0.21
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 437 0 0 0 20 1 0 0 16 0 8 0 165273693 937709568 37929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937709568 37929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937709568 37929 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915732

[startup+162.458 s]
/proc/loadavg: 1.99 2.01 1.99 3/80 21083
/proc/meminfo: memFree=1605600/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915732 CPUtime=161.05
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 38210 0 1 0 16081 24 0 0 25 0 8 0 165273682 937709568 37933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228933 37933 2181 14 0 215403 0
[pid=21075/tid=21077] ppid=21073 vsize=915732 CPUtime=0.6
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 21560 0 0 0 52 8 0 0 16 0 8 0 165273689 937709568 37933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937709568 37933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937709568 37933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937709568 37933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915732 CPUtime=0.22
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 441 0 0 0 21 1 0 0 16 0 8 0 165273693 937709568 37933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937709568 37933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915732 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937709568 37933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 915732

[startup+222.533 s]
/proc/loadavg: 1.99 2.01 1.99 3/80 21083
/proc/meminfo: memFree=1373920/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915876 CPUtime=220.58
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 96424 0 1 0 22010 48 0 0 25 0 8 0 165273682 937857024 96075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228969 96075 2545 14 0 215439 0
[pid=21075/tid=21077] ppid=21073 vsize=915876 CPUtime=2.45
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 79172 0 0 0 216 29 0 0 16 0 8 0 165273689 937857024 96075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937857024 96075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937857024 96075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937857024 96075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915876 CPUtime=0.37
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 565 0 0 0 34 3 0 0 15 0 8 0 165273693 937857024 96075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937857024 96075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937857024 96075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 915876

[startup+282.627 s]
/proc/loadavg: 1.99 2.00 1.99 3/80 21083
/proc/meminfo: memFree=1373856/2055920 swapFree=4192812/4192956
[pid=21075] ppid=21073 vsize=915876 CPUtime=280.12
/proc/21075/stat : 21075 (java) R 21073 21075 20369 0 -1 0 96444 0 1 0 27964 48 0 0 25 0 8 0 165273682 937857024 96090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074259921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21075/statm: 228969 96090 2547 14 0 215439 0
[pid=21075/tid=21077] ppid=21073 vsize=915876 CPUtime=2.45
/proc/21075/task/21077/stat : 21077 (java) S 21073 21075 20369 0 -1 64 79172 0 0 0 216 29 0 0 16 0 8 0 165273689 937857024 96090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21078] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21078/stat : 21078 (java) S 21073 21075 20369 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165273689 937857024 96090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21079] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21079/stat : 21079 (java) S 21073 21075 20369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165273689 937857024 96090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21080] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21080/stat : 21080 (java) S 21073 21075 20369 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165273693 937857024 96090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21081] ppid=21073 vsize=915876 CPUtime=0.4
/proc/21075/task/21081/stat : 21081 (java) S 21073 21075 20369 0 -1 64 580 0 0 0 37 3 0 0 15 0 8 0 165273693 937857024 96090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21082] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21082/stat : 21082 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165273693 937857024 96090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21075/tid=21083] ppid=21073 vsize=915876 CPUtime=0
/proc/21075/task/21083/stat : 21083 (java) S 21073 21075 20369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165273693 937857024 96090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.12
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 286.476
CPU time (s): 283.917
CPU user time (s): 283.36
CPU system time (s): 0.556915
CPU usage (%): 99.1067
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.36
system time used= 0.556915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96470
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= 7787
involuntary context switches= 12275

runsolver used 0.328949 s user time and 0.91486 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Sun Jan  7 11:19:03 UTC 2007


IDJOB= 205974
IDBENCH= 4179
FILE ID= node40/205974-1168168743

PBS_JOBID= 3478659

Free space on /tmp= 66533 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  849897233ee935bf30fd8a8cea7c085c

RANDOM SEED= 361549162

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.239
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.239
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:       1749680 kB
Buffers:          6132 kB
Cached:         107972 kB
SwapCached:          0 kB
Active:         195312 kB
Inactive:        56952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1749680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10224 kB
Writeback:           0 kB
Mapped:         151724 kB
Slab:            39124 kB
Committed_AS:  3487904 kB
PageTables:       2144 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= 66533 MiB



End job on node40 on Sun Jan  7 11:23:50 UTC 2007