Trace number 205927

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ACSAT 63.4264 64.0867

DiagnosticValue
CHECKS70815152
NODES2513

General information on the benchmark

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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.35	   instance
0.35	     name=/tmp/evaluation/205927-1168073489/unknown.xml
0.38	   
0.38	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.87	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.87	       =>  wckTime=0.56  cpuTime=0.39  mem=44M728
0.88	   
0.88	   predicates being loaded...
0.88	   
0.88	   constraints being loaded...
5.00	   
5.00	   INFO : Stopping converting binary constraints (cpu=4.21, mem = 83M793)
12.98	     nbConstraints=32622  nbMergedConstraints=29510  nbConvertedConstraints=7  nbConvertConstraintsChecks=2868780
12.98	     nbExtensionStructures=7  nbSharedExtensionStructures=0  nbConflictsStructures=7  nbSharedConflictsStructures=0
12.98	     nbSharedBinaryRepresentations=4678  nbEvaluationManagers=22302  nbSharedEvaluationManagers=10313  maxDegree=54
12.98	     maxArity=2
12.98	       =>  wckTime=12.668  cpuTime=11.18  mem=145M766
13.37	   
13.37	   solver IterativeSystematicSolver being built... 
14.50	       =>  wckTime=14.187  cpuTime=11.83  mem=310M174
58.20	   
58.20	   preprocessing
58.20	     nbConstraintChecks=68706499  nbValidityChecks=6346760  nbPropagations=5777  nbRevisions=192169
58.20	     nbUselessRevisions=171307  nbRemovedValues=1410216  detectedInconsistency=no
58.20	       =>  wckTime=43.655  cpuTime=43.21  mem=310M174
63.88	   
63.88	   search
63.88	     run=0  nbConstraintChecks=2108653  nbValidityChecks=3767376  nbPropagations=19358  nbRevisions=499987
63.88	     nbUselessRevisions=462350  nbAssignments=2513  nbFailedAssignments=11  nbBacktracks=2  nbVisitedNodes=2526
63.88	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=1817
63.88	       =>  wckTime=49.339  cpuTime=48.8  mem=326M104
63.88	   
63.88	   global
63.88	     nbConstraintChecks=70815152  nbValidityChecks=10114136  nbPropagations=25135  nbRevisions=692156
63.88	     nbUselessRevisions=633657  nbRestartNogoods=0  solvingWckTime=49.342  solvingCpuTime=48.8  expiredTime=no
63.88	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=60.73
63.88	       =>  wckTime=63.566  cpuTime=60.67  mem=326M104
63.88	   
63.88	s SATISFIABLE
63.88	v -3202 3454 -2706 -2650 2986 -3910 -2794 -3658 -3958 -2806 -3438 2726 3470 -2874 3342 3822 -2878 -3730 -2782 -3578 -3478 -2906 3098 -2654 -3930 -3946 -3402 3474 -4042 -2838 2694 -3098 -3142 -3742 2778 3758 -3250 2650 3930 -3034 3790 3686 -3930 -3406 -3506 3398 -3686 -4014 -3854 -3750 3990 3874 2694 -3766 -3786 2754 3418 -3422 -3626 -3854 -3762 3382 2690 3446 3834 -3074 3990 -3674 -3046 -3586 -2650 -3198 -3930 -3474 3174 -3358 -3598 -3814 -3890 3166 3558 3430 3446 -2662 -3870 3402 3558 -2694 -3594 -3854 3242 -3346 2730 -3558 3066 -2758 3930 2650 -3914 -3534 3538 -3554 3058 -3998 3630 -3134 -2818 -3070 -3406 3978 3046 -3950 3302 3106 3506 -3622 -3514 -2970 -3698 3142 3022 3734 -3526 -2854 3426 3262 -3310 3642 -2958 -3314 -3790 -3742 -3034 -3310 -3558 -3098 -3242 -3438 -3226 3378 2806 -3690 3682 -3982 3106 3282 -2866 -2690 2786 -2998 -2742 -2874 3034 3246 3090 -3686 -3750 2826 2870 -3446 -2922 -4002 -2802 -3362 3782 -3890 3642 -2650 -2798 3998 -3610 2918 -3314 -2862 -3678 2750 -3978 2850 -3066 -3922 -4038 -3202 3690 3662 3174 -2770 3278 -3142 -3890 -3166 -3582 3134 2746 -3054 -3142 3418 -3134 -2934 2782 -3522 -3330 -3814 -3518 -3334 -3474 -3414 3266 2778 3942 3774 3914 -3358 3118 3366 -3262 3134 -3198 -2690 3822 2790 -3354 3286 -2782 -3438 -3642 -3806 -3226 -3558 -3382 -3434 2690 3934 -2762 3694 -2698 3014 -3466 -3750 3430 3938 -4042 2650 -2998 -3722 -3734 3046 -2702 3186 3542 3590 2650 -3178 -3098 3954 -2674 -3950 3382 3286 -3550 2846 -3578 3674 2706 3838 -2734 -3730 -3218 -3438 -3970 3382 3726 -4002 2670 3530 -3362 -2654 -3890 -3354 -3650 3238 2978 2706 3182 3986 3890 3370 -3750 -3614 2794 3870 -3686 -3990 4042 2898 -3274 3390 -3274 3582 -2866 -3382 -3190 -3082 -2654 -3918 2998 -3390 -3954 -3154 -2690 2902 3138 -2694 -4042 -3202 -3134 -3326 -2666 3074 2674 3194 2830 -2910 3130 3062 -2898 -3166 3638 3602 -3418 -3882 -2758 -4002 3534 3886 -2718 -3250 2898 3102 -2786 3050 -3186 -3698 -3138 3394 -3186 -3330 -2890 3826 -3874 -3206 -3234 -3998 -3930 3866 -3318 -3802 3802 -2894 -2658 -2806 -3018 2954 -3026 2762 2958 3786 -3978 3458 2914 -3842 -2986 -3442 -3974 3542 -3438 -3690 3342 3998 -3526 -3130 -4002 2702 -3666 -2926 -3142 -3458 3518 -4018 2950 -3618 -3078 2770 -3110 3658 -2750 2658 -3990 2710 3302 3130 -3750 -2738 -3982 3002 2942 -3430 -3174 -3954 -3202 -3874 -3418 -3890 2778 4014 -3050 2822 2854 -3306 2990 -2670 -3934 2950 -2982 -3686 4034 2858 -3658 3550 -3194 -2702 -3158 -3230 -3638 -3382 -2998 -3018 -3914 -3730 -2938 -4002 3142 3690 -3022 -2650 -3914 -3646 -2942 3002 -3162 2718 3886 -3930 2922 2866 3146 -3930 3422 -3338 3726 3926 2722 -3382 3474 -2770 -2650 -3142 -3926 -3054 -3582 3878 -3182 3118 -3350 -3650 2890 -3986 -3690 -4038 -3682 -2658 2750 -4002 -3134 -2894 2650 3146 -2882 -2958 -3506 -3066 -2658 3366 -3890 -3890 -2710 2678 -3046 -3714 -3750 3402 -4018 -3094 -3694 -3182 -2702 3954 -2698 -3222 3302 -3606 -3306 -3062 -3498 -3890 -3158 -3702 -3186 3170 3786 -3250 -2710 -3226 -3114 -2858 -3930 2882 -3782 -2902 -3134 3786 -2650 -3254 3350 -2810 -2706 -3478 3142 -3414 2698 3414 -3274 -3862 -3874 -2690 -3382 -3998 3014 -3790 -3598 -3950 4002 -3378 -3442 4042 3806 -3890 -4038 -2998 2978 2730 -2822 -3854 3082 3690 -2790 -4018 -3066 2650 -3650 -3066 -3310 -3874 -4042 2886 -2950 -3742 3706 -3058 -3642 3906 2694 -3958 -3150 -3554 -3342 -3598 -3046 -3958 -3074 3726 3926 3602 -3186 -3730 -3546 -3890 -3042 -4018 -3390 3858 -2818 2914 3210 -3930 2950 2670 -3046 -3578 -3054 -3538 -3610 -3922 -2798 -3230 3126 -3438 -2722 2982 -2742 -3514 3814 -3066 -3958 3498 3638 3158 -3074 -3878 -3914 3342 -3842 -3294 -3438 -2838 3166 3874 2706 -2710 -2690 3166 -3586 -3826 3594 -3242 -3134 -3874 -3998 -3146 3134 -3578 3654 4002 2786 3882 -2950 -4018 -2658 -3478 3654 -2910 -3334 -3626 -3774 -3950 -3682 3034 3190 3814 -3014 -3186 -2830 -2730 -2702 -3258 -3070 3886 3870 3206 -3182 3882 -3438 -3762 3174 3610 -3854 -3102 3574 -3270 2798 2650 3666 2910 -4042 -3234 -3194 -3890 3066 3962 -4038 2754 -3802 3374 2718 -3238 -2894 -2806 -2918 2942 -2754 -2810 -4002 -3182 3966 3170 -2994 3630 -3022 3482 -3354 -2870 -3930 -3846 -3778 -3626 3782 -4038 -3718 -2878 -3198 -3250 -3502 -3678 -2878 -3546 3090 -3682 3598 -3662 3666 -3814 3826 -3186 -2858 -3062 -2898 -2702 -4034 -3050 3498 3162 2722 -2934 -3998 -2966 -2658 -3558 -3806 3166 -3094 -2830 -3574 -2678 -3146 4042 -3998 -3686 -3198 -3574 -3058 -3990 -3930 3098 -3418 -2970 -3342 4042 -3366 -3374 -3586 -3438 -3402 -3478 2990 2954 3466 3222 3210 3510 -3118 -3118 3942 -3138 -3382 -3126 3570 -3074 3578 -3390 -3546 3578 3230 -3870 3538 -3966 -2822 -2742 3798 3778 2658 3398 3662 3614 3230 -3050 -3978 2710 -3726 -3638 2726 -3942 3298 3054 -3158 -2778 3750 -3950 3978 -3070 -3178 3998 -3918 -3930 -3138 -3518 -3658 -3682 2822 -3598 -2734 -3542 -3338 -3302 -3890 3590 3394 -3006 -3950 3886 3646 2698 -3850 3442 2834 -4014 3254 -2750 2658 -3122 -3866 3542 4042 3914 -3566 -3138 3930 -3726 3402 -2854 2650 -3458 3814 -2750 3066 -3922 -3850 3022 -2906 -3038 2942 -3686 2998 2742 -2690 2902 -3406 -3030 3994 3906 -3446 -3010 3922 -3650 2690 2930 -3270 -3538 -3786 -3878 3210 -2818 -2938 -3342 -3902 3770 -3914 -3654 -3802 -3406 -4038 -3930 -3034 3338 -3854 -3186 -3978 -2906 -3542 -4042 -3318 -3518 3974 3894 3342 -2702 -4038 3102 3946 3738 -3890 -2698 -3998 3370 2962 -2966 -2690 3174 -3478 3850 -3558 -2650 3670 -3774 3998 -2782 -3606 3094 -3990 -2822 -2910 -3642 -4018 -3698 3994 2978 -3462 -3442 3990 -3546 3746 3694 -3642 -3146 -3542 -3362 -3962 -3182 -3306 -3114 3594 -3018 -3306 -2838 -2690 3094 -2910 -3402 -3886 3966 -3994 -3810 3686 2814 -3138 3338 -3994 -2874 -3978 -3306 3162 -3382 3542 -3346 3058 -3650 3342 -3150 3002 3694 -3830 -3090 -2970 3406 3830 -3310 -2946 -2738 3210 -2698 3370 -3858 -3738 -3890 -3998 -3586 3890 3282 3426 -2862 3386 -3874 -3586 -2698 -3978 -3386 3502 -3334 2958 -3206 3858 -3054 3506 3198 -3990 -3654 -2830 -3246 -3126 -3106 -3682 3750 3062 2710 3342 -2998 2650 -3950 -3650 -3950 3398 -3274 -3098 -3006 -3146 -2926 -3430 3770 -3846 2914 3462 -3130 3222 -3402 4042 3458 -2878 -3998 -2958 3182 -3650 3910 -3538 -2714 -3070 -3258 -3650 -3082 -3366 -3502 2690 -3690 -3890 3726 2858 3294 -3646 -2654 -3074 3626 -2726 -3098 -2706 -3482 -3638 -3586 -3998 3634 3538 3990 3098 3182 -3990 -3054 3102 -2970 3882 3462 3058 3610 -3870 -3986 -3790 -3994 -3342 -2774 -3434 -3930 -2938 2974 3998 -3398 -3682 3542 -3114 -3650 -3582 -3106 3434 3338 -3438 -3182 3970 -3642 -2878 3270 -3058 -3566 3498 -3806 -3770 -3818 2898 3122 -3842 -3658 3610 -2938 2906 2946 2650 3426 -3918 3986 -3030 3718 -3130 3338 4026 3306 -2702 3910 -3018 3478 -3074 -3426 -3738 -3586 -3894 -2834 -3334 3178 -2946 -3918 3142 -3810 -3958 3994 3554 -3086 -3430 2694 -3238 -2938 3902 -3890 2782 -3058 3422 3742 -3550 -3134 2994 3494 3206 -3790 -2862 -3918 -2962 3034 -3610 -2854 3914 -2786 3338 -3930 -3170 -3614 -3690 -2814 -3646 -3810 -3674 -3174 -3106 -3002 -3058 3786 -2878 2650 3642 -3138 -3066 -3914 -3022 -2958 -3106 -3990 -3890 -3014 -3534 -3950 -3198 -3474 -3954 -3698 -4042 -3654 -3238 -3250 3390 -2830 -4034 3954 3734 -3910 -3442 2722 -3730 -3582 -3294 2698 -2902 -2902 -4038 -3478 2706 3086 -3026 3502 3322 3142 -3710 -3790 -3054 3378 2734 2810 3098 3554 -4026 -2762 -3470 2750 3122 -3866 -3058 2674 -3238 -3222 -3394 -3410 3926 -3034 -3702 3310 3178 -3090 -3578 -3186 3482 -3642 -2962 -3466 -3914 -4018 3430 -3186 -3974 2718 -3478 2930 3594 3762 -3098 3138 -4014 -3034 3146 3710 -3682 -2938 -3742 2834 3590 -3170 -2774 -3690 -3826 4038 -3526 -3978 -3918 -3018 -3070 3682 3802 -3730 -2826 -3986 3794 -3978 -3450 -3474 -3990 -3262 3870 3830 -3598 -3590 -3750 3954 -3990 -3378 2754 -3690 -3630 3538 -3974 -3298 -3978 -3650 -3182 -3342 3206 3746 2982 -3230 -3002 -3162 3186 3206 -3350 -3894 -3582 3922 -3010 3638 -3598 3746 -3530 2690 3190 -3990 -3054 3798 3762 -2798 -3042 3954 2930 -3958 -3622 3142 -3014 -2710 3926 3586 -3202 -3086 3886 2730 -3034 2666 -2706 -3326 -3838 -3222 4042 -4042 -2650 2906 -3170 -4018 -3698 3014 3710 -2878 -2782 -3478 -3518 3802 3486 3254 3062 3346 -3998 -4002 3982 3690 -2754 -3650 -2910 -3290 3986 2978 -4022 4018 -3894 -3342 -3782 3390 -2706 -3750 -3094 -3650 -3298 -2710 4030 -3930 2918 -2650 -3882 3702 -2690 3866 3294 -4002 3250 -3582 -2778 3086 3114 -3778 -3710 -3834 -3050 -2686 -2666 -3706 3974 2994 -2746 -3642 3134 3830 3486 3458 -3598 3966 3122 -3078 -4042 3074 -3266 -3618 -2698 -3750 -3366 -3018 3686 -3166 -3238 -3690 -3950 3958 -3018 -3110 -3602 -2870 2678 3082 3494 -2690 -3786 2998 3014 -3686 -3986 2826 -3102 -4042 -2818 -3270 -3614 3574 -3474 -2694 -2722 -2662 -2666 -3818 2690 3046 -3430 -2822 -3938 -3746 -3458 -3922 2854 2918 -3198 -3946 -2782 -3190 -3854 -2974 -2762 -2950 -2674 3598 -4018 3922 -2894 -3342 3202 -3642 -4042 -3878 -3150 -3874 3518 3638 -3914 2738 -3750 -3406 -2910 -3170 3814 2842 3682 -3890 -3970 -3950 -3638 3382 3594 -3298 3802 -3630 -3478 3074 -3910 3294 -3950 3934 -3998 -3582 -3726 2698 -2694 2930 -3558 -3290 -3586 -2950 -2898 3830 -3546 3498 -3534 -3586 -2970 -3282 -2690 -3110 3634 3646 -3134 -3146 -3034 3090 -3102 -2662 2682 -3346 -3570 3542 -3238 -3954 3566 -2970 -3638 -3934 3450 -3810 -3438 -3750 -3598 -3938 -3022 -3694 -3598 2958 3122 -3386 3178 3458 3590 -3606 -3038 -3930 -3746 3962 -3010 3222 -2894 3274 -3690 -3562 -3346 3270 2906 3462 -3746 3222 -3878 -3706 3270 -2914 3098 3058 -3498 -3274 -3178 -3894 3138 3850 -2734 3306 -3462 3214 -3334 -3422 -3322 3330 3566 -4038 -3930 -3530 3122 -3110 -3646 -3606 -3886 3350 3234 -2714 3598 -3846 2818 3438 3494 2798 -3750 2854 3094 -2846 -3666 -3186 -2942 3658 -2690 3766 -3190 -3406 -2674 -3306 3126 -3314 -3158 -3522 -3522 3526 -2714 -3534 3650 -3778 -3498 -4002 -3154 -3094 -3774 -3890 2690 -3786 3814 -2662 -2758 -3458 -2838 3570 -2722 3046 3198 -3238 2946 4042 -3402 -3014 -4002 -3890 2938 -3162 3882 3086 -2666 -3054 -3906 -3182 -3186 -3882 -2714 -2702 3102 -3890 -3182 3198 -2686 -3994 -3958 3234 3890 -3790 -3638 3058 -3402 3470 -3390 -3466 -2698 2750 -3930 -3574 -3626 -3654 -3270 -3978 -2826 -3498 -3790 -3146 -2690 -3954 -3598 3934 -3142 -2690 3874 -3922 3518 -2654 3654 2834 -2986 -3198 -2690 3726 -3034 -3378 -3750 3546 2714 3874 -3082 3494 -3210 3410 -4018 2962 -3558 3046 -3818 -3878 -4018 -3682 -4038 3630 -3438 -2894 -3786 2722 -3434 -2818 -4002 -2674 -3598 -3194 -3146 -4002 3434 -3710 -3994 -3006 -3806 -2926 2690 -3954 -3506 3294 -3198 2650 3890 -3466 3914 -3854 -3670 3750 -3994 -3930 -3354 -3946 -3602 -2838 -2902 -3054 -3890 -4002 -4042 2834 3182 -3090 3382 -3154 3634 3634 -3186 -3878 -3386 3230 -4038 3458 -3438 -3642 2818 -3646 3658 -3866 2666 3642 2650 -3018 3678 3850 -3646 3826 -3186 3850 2698 -3478 -2730 2718 -4002 3346 -3078 2650 -3766 2926 -2950 3566 3878 -2842 -3790 -3374 3650 -3686 -3106 -2690 -3434 -3054 -3570 -3174 3630 3186 -2998 4002 3714 -3930 -3826 -2662 3442 -3242 -3258 -2914 -3654 -3778 -3794 -3130 -2650 -3918 -3774 -3974 -3098 -3094 -4042 -3950 -3110 -3126 -3046 3174 3170 -3834 3478 3830 -3534 3750 -3614 3846 -3610 2954 -3170 2918 -2826 -4002 2862 3138 -3566 2966 3370 -3382 3982 2662 -3886 -3538 2710 -3162 3898 -2834 -3766 -2770 -3386 3842 -2690 -3246 2994 2762 -2850 4042 -3106 -2706 -2930 -3890 3598 -4002 3978 -4002 3650 -3670 3390 -4002 -3130 -3802 2846 4042 2722 -3238 2714 3886 2690 -3094 3290 -2790 3998 -3838 -3870 3202 -2714 2690 -3918 -2650 3442 -2814 -3142 3658 3210 3786 3706 -4042 -3978 3062 -3630 -3146 -3518 3458 -2710 3874 -3186 -3998 3398 -2918 -2750 -3838 -4042 -2654 -3702 -2798 -3826 -2758 3010 -3798 3974 -3990 -3442 -2910 -3106 -3302 -3882 -3018 -3490 -2690 -3650 3650 -3790 -3614 2794 3558 -3094 3234 3490 -4042 3482 -3998 2798 3550 -3642 3710 3542 -2858 -3330 -3318 -3298 -3638 -3650 -3022 -3654 -4026 3978 3730 3406 3142 -2938 3182 3818 -4002 3218 3542 2974 3426 3998 -3214 -3898 3786 2710 -3170 -3926 -3954 2682 -3830 3158 -3978 3762 -2854 -2958 -3214 -3942 -3418 -3042 -3082 3426 3958 -4002 3774 -3110 -3086 -3230 -3782 -2714 -3546 3182 3142 -3062 3306 -3106 -3574 3826 -3150 -3950 3406 -2774 -2774 -2710 3502 -3290 3070 3598 -3070 -3146 -3698 -3386 3522 3694 -3914 3842 -3838 -3218 -3342 -3290 -4002 -2754 -2650 -3438 3434 -3682 -2958 -2658 3558 -3478 -3950 3218 -3130 -2654 -2858 -2942 -3690 -3726 -2886 -3378 -3054 3710 3914 3690 -2666 -2838 -3978 -3598 -3138 3766 2714 -3850 -3678 -3338 -3926 -2698 3294 3790 -3498 4038 -2982 -3066 2690 -3694 -3266 3526 2758 3234 2738 -3638 3502 -2846 -2822 3946 3826 -3098 -3926 -3766 -2902 2866 4038 -2902 -3142 -3410 -2702 -3922 -2662 -2874 -2826 -2818 -3870 2866 2730 -3726 -3342 -3038 -3182 3070 -3998 2930 -3950 -3866 -3894 -3346 -3198 -4042 -2922 -3014 -2790 -3930 -3394 -3954 -3918 2922 -3102 -3306 3166 -3450 -3190 2794 3098 -3438 -3338 -2814 -3958 -2994 -4014 -2666 3046 -3050 -2686 -3766 3490 -3790 -2874 3266 3998 3478 -3138 -3198 -3130 -2698 3198 2902 -3926 -3786 -3458 -3682 -4010 -2978 3526 -3774 -3438 3726 -3478 -3958 -4018 -3610 -3754 3878 -3894 -3878 -4026 -3074 -3346 4002 -3226 -3590 -2682 -2662 2850 3678 -3470 -3138 -3122 -3926 3890 -2658 -3058 -3270 2650 3430 -2710 -3638 3298 -3386 3430 3278 2894 -3086 -2946 3586 3354 3178 -3006 2742 -3930 -3582 -3606 -3110 -3362 -3874 3990 2806 -2926 -2826 -3594 -3770 2794 3746 3210 -2958 -2942 -3406 -3242 -3142 3870 -4002 2650 3498 3882 3670 3746 3394 -2962 -3630 -3186 3226 -3958 -3238 3802 2754 3690 -3558 2834 -3922 -3330 2774 3010 2814 2846 -3102 3138 3850 -3402 -3914 -3826 3618 -4010 -3066 2810 -2750 -3766 -3342 -3810 -3278 -3090 -3438 2890 -3146 3486 -3926 3310 -3166 2662 -3222 -3650 3730 -3718 -2670 -3950 -3106 -3642 3034 -3690 -2658 2690 -3194 3162 -3434 -3018 -3958 2802 -3366 -2650 -2894 -3214 3386 -3610 -3930 3686 -2942 2874 -3750 -3642 3666 -3058 -3538 3174 -3298 -3346 2690 2690 -3238 -3842 3126 -3882 -3042 -3446 2866 -3094 3238 -3910 -3294 -3150 3542 -3386 -3018 -3998 3370 3974 -3646 -3758 3382 -3174 2714 -3478 3426 2854 3802 -3146 -3438 4018 -2838 -3426 -2686 -3870 2726 3854 -2978 -2690 -3834 3002 -3574 -3078 3998 4002 -2702 2690 -3314 3710 3990 3282 3690 2854 3626 -3890 -2946 4002 -3998 3066 -3874 -3814 3790 3154 3994 -3298 3590 4038 -3638 3730 2714 2694 3162 3914 -3098 -3614 3546 -4018 3110 -3122 3670 2942 -3626 -3430 -3102 -3950 2650 -3314 -3590 -3182 -3994 -3434 
63.88	d NODES 2513
63.88	d CHECKS 70815152
63.88	   
63.88	   totalWckTime=63.649  totalCpuTime=60.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/node10/watcher-205927-1168073489 -o ROOT/results/node10/solver-205927-1168073489 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205927-1168073489/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.85 1.97 1.92 4/93 27406
/proc/meminfo: memFree=1461672/2055920 swapFree=4178332/4192956
[pid=27405] ppid=27403 vsize=89776 CPUtime=0
/proc/27405/stat : 27405 (java) D 27403 27405 27338 0 -1 0 1273 0 1 0 0 0 0 0 17 0 1 0 155744293 91930624 1022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/27405/statm: 22444 1022 811 14 0 10027 0
[pid=27405/tid=27407] ppid=27403 vsize=906644 CPUtime=0
/proc/27405/task/27407/stat : 27407 (java) R 27403 27405 27338 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155744297 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.102712 s]
/proc/loadavg: 1.85 1.97 1.92 4/93 27406
/proc/meminfo: memFree=1461672/2055920 swapFree=4178332/4192956
[pid=27405] ppid=27403 vsize=914988 CPUtime=0.08
/proc/27405/stat : 27405 (java) R 27403 27405 27338 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 155744293 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154107709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27405/statm: 228747 2726 1423 14 0 215242 0
[pid=27405/tid=27407] ppid=27403 vsize=914988 CPUtime=0
/proc/27405/task/27407/stat : 27407 (java) S 27403 27405 27338 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155744297 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510766 s]
/proc/loadavg: 1.85 1.97 1.92 4/93 27406
/proc/meminfo: memFree=1461672/2055920 swapFree=4178332/4192956
[pid=27405] ppid=27403 vsize=915328 CPUtime=0.48
/proc/27405/stat : 27405 (java) R 27403 27405 27338 0 -1 0 7835 0 1 0 44 4 0 0 18 0 8 0 155744293 937295872 7574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27405/statm: 228832 7574 2138 14 0 215302 0
[pid=27405/tid=27407] ppid=27403 vsize=915328 CPUtime=0
/proc/27405/task/27407/stat : 27407 (java) S 27403 27405 27338 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155744297 937295872 7574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33388 s]
/proc/loadavg: 1.94 1.98 1.93 4/100 27413
/proc/meminfo: memFree=1369648/2055920 swapFree=4178332/4192956
[pid=27405] ppid=27403 vsize=915596 CPUtime=1.29
/proc/27405/stat : 27405 (java) R 27403 27405 27338 0 -1 0 28942 0 1 0 116 13 0 0 23 0 8 0 155744293 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27405/statm: 228899 28679 2160 14 0 215369 0
[pid=27405/tid=27407] ppid=27403 vsize=915596 CPUtime=0.12
/proc/27405/task/27407/stat : 27407 (java) S 27403 27405 27338 0 -1 64 12400 0 0 0 8 4 0 0 16 0 8 0 155744297 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27408] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27403 27405 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744298 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27409] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27403 27405 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155744298 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27410] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744301 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27411] ppid=27403 vsize=915596 CPUtime=0.16
/proc/27405/task/27411/stat : 27411 (java) S 27403 27405 27338 0 -1 64 409 0 0 0 16 0 0 0 16 0 8 0 155744301 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27412] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27412/stat : 27412 (java) S 27403 27405 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155744301 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27413] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155744301 937570304 28679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915596

[startup+2.98711 s]
/proc/loadavg: 1.94 1.98 1.93 3/100 27413
/proc/meminfo: memFree=1347056/2055920 swapFree=4178332/4192956
[pid=27405] ppid=27403 vsize=915596 CPUtime=2.94
/proc/27405/stat : 27405 (java) R 27403 27405 27338 0 -1 0 32070 0 1 0 278 16 0 0 25 0 8 0 155744293 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27405/statm: 228899 31802 2160 14 0 215369 0
[pid=27405/tid=27407] ppid=27403 vsize=915596 CPUtime=0.3
/proc/27405/task/27407/stat : 27407 (java) S 27403 27405 27338 0 -1 64 15520 0 0 0 25 5 0 0 16 0 8 0 155744297 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27408] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27403 27405 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744298 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27409] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27403 27405 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155744298 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27410] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744301 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27411] ppid=27403 vsize=915596 CPUtime=0.16
/proc/27405/task/27411/stat : 27411 (java) S 27403 27405 27338 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 155744301 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27412] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27412/stat : 27412 (java) S 27403 27405 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155744301 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27413] ppid=27403 vsize=915596 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155744301 937570304 31802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915596

[startup+6.27255 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 27413
/proc/meminfo: memFree=1337648/2055920 swapFree=4178332/4192956
[pid=27405] ppid=27403 vsize=915732 CPUtime=6.19
/proc/27405/stat : 27405 (java) R 27403 27405 27338 0 -1 0 34686 0 1 0 601 18 0 0 25 0 8 0 155744293 937709568 34413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155888654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27405/statm: 228933 34413 2182 14 0 215403 0
[pid=27405/tid=27407] ppid=27403 vsize=915732 CPUtime=0.46
/proc/27405/task/27407/stat : 27407 (java) S 27403 27405 27338 0 -1 64 18034 0 0 0 39 7 0 0 16 0 8 0 155744297 937709568 34413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27408] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27403 27405 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744298 937709568 34413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27409] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27403 27405 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155744298 937709568 34413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27410] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744301 937709568 34413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27411] ppid=27403 vsize=915732 CPUtime=0.21
/proc/27405/task/27411/stat : 27411 (java) S 27403 27405 27338 0 -1 64 448 0 0 0 21 0 0 0 15 0 8 0 155744301 937709568 34413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27412] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27412/stat : 27412 (java) S 27403 27405 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155744301 937709568 34413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27413] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155744301 937709568 34413 18446744073709551615 134512640 134570532 4294956464 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.7704 s]
/proc/loadavg: 2.02 2.00 1.93 4/100 27413
/proc/meminfo: memFree=1302064/2055920 swapFree=4178332/4192956
[pid=27405] ppid=27403 vsize=915732 CPUtime=12.62
/proc/27405/stat : 27405 (java) R 27403 27405 27338 0 -1 0 42926 0 1 0 1242 20 0 0 25 0 8 0 155744293 937709568 42641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153987607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27405/statm: 228933 42641 2182 14 0 215403 0
[pid=27405/tid=27407] ppid=27403 vsize=915732 CPUtime=1.16
/proc/27405/task/27407/stat : 27407 (java) S 27403 27405 27338 0 -1 64 26260 0 0 0 107 9 0 0 16 0 8 0 155744297 937709568 42641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27408] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27403 27405 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744298 937709568 42641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27409] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27403 27405 27338 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155744298 937709568 42641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27410] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744301 937709568 42641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27411] ppid=27403 vsize=915732 CPUtime=0.22
/proc/27405/task/27411/stat : 27411 (java) S 27403 27405 27338 0 -1 64 450 0 0 0 22 0 0 0 16 0 8 0 155744301 937709568 42641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27412] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27412/stat : 27412 (java) S 27403 27405 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155744301 937709568 42641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27413] ppid=27403 vsize=915732 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155744301 937709568 42641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915732

[startup+25.6132 s]
/proc/loadavg: 2.10 2.02 1.94 3/100 27413
/proc/meminfo: memFree=1125936/2055920 swapFree=4178332/4192956
[pid=27405] ppid=27403 vsize=915876 CPUtime=25.35
/proc/27405/stat : 27405 (java) R 27403 27405 27338 0 -1 0 86619 0 1 0 2497 38 0 0 25 0 8 0 155744293 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27405/statm: 228969 86275 2533 14 0 215439 0
[pid=27405/tid=27407] ppid=27403 vsize=915876 CPUtime=1.92
/proc/27405/task/27407/stat : 27407 (java) S 27403 27405 27338 0 -1 64 69396 0 0 0 166 26 0 0 17 0 8 0 155744297 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27408] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27403 27405 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744298 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27409] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27403 27405 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155744298 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27410] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744301 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27411] ppid=27403 vsize=915876 CPUtime=0.35
/proc/27405/task/27411/stat : 27411 (java) S 27403 27405 27338 0 -1 64 564 0 0 0 34 1 0 0 15 0 8 0 155744301 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27412] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27412/stat : 27412 (java) S 27403 27405 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155744301 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27413] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155744301 937857024 86275 18446744073709551615 134512640 134570532 4294956464 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) 915876

[startup+51.2247 s]
/proc/loadavg: 2.06 2.01 1.94 3/100 27413
/proc/meminfo: memFree=1126064/2055920 swapFree=4178332/4192956
[pid=27405] ppid=27403 vsize=915876 CPUtime=50.71
/proc/27405/stat : 27405 (java) R 27403 27405 27338 0 -1 0 86619 0 1 0 5033 38 0 0 25 0 8 0 155744293 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27405/statm: 228969 86275 2533 14 0 215439 0
[pid=27405/tid=27407] ppid=27403 vsize=915876 CPUtime=1.92
/proc/27405/task/27407/stat : 27407 (java) S 27403 27405 27338 0 -1 64 69396 0 0 0 166 26 0 0 16 0 8 0 155744297 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27408] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27408/stat : 27408 (java) S 27403 27405 27338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155744298 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27409] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27409/stat : 27409 (java) S 27403 27405 27338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155744298 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27410] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27410/stat : 27410 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155744301 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27411] ppid=27403 vsize=915876 CPUtime=0.35
/proc/27405/task/27411/stat : 27411 (java) S 27403 27405 27338 0 -1 64 564 0 0 0 34 1 0 0 15 0 8 0 155744301 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27412] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27412/stat : 27412 (java) S 27403 27405 27338 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155744301 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27405/tid=27413] ppid=27403 vsize=915876 CPUtime=0
/proc/27405/task/27413/stat : 27413 (java) S 27403 27405 27338 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155744301 937857024 86275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 64.0867
CPU time (s): 63.4264
CPU user time (s): 62.9304
CPU system time (s): 0.495924
CPU usage (%): 98.9696
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.9304
system time used= 0.495924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96518
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= 3190
involuntary context switches= 5920

runsolver used 0.085986 s user time and 0.213967 s system time

The end

Launcher Data (download as text)

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


IDJOB= 205927
IDBENCH= 4176
FILE ID= node10/205927-1168073489

PBS_JOBID= 3475773

Free space on /tmp= 66342 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a5c09c7ec4b61520346e5aeab430844a

RANDOM SEED= 555682008

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1462152 kB
Buffers:         45448 kB
Cached:         236848 kB
SwapCached:       2420 kB
Active:         289856 kB
Inactive:       215608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1462152 kB
SwapTotal:     4192956 kB
SwapFree:      4178332 kB
Dirty:           10508 kB
Writeback:           0 kB
Mapped:         242688 kB
Slab:            72824 kB
Committed_AS:  4336592 kB
PageTables:       2628 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= 66342 MiB



End job on node10 on Sat Jan  6 08:52:37 UTC 2007