Trace number 205817

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 61.2877 61.7785

DiagnosticValue
CHECKS59453741
NODES7111

General information on the benchmark

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

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/205817-1168073464/unknown.xml
0.41	   
0.41	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.92	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.92	       =>  wckTime=0.603  cpuTime=0.4  mem=44M728
0.92	   
0.92	   predicates being loaded...
0.93	   
0.93	   constraints being loaded...
5.08	   
5.08	   INFO : Stopping converting binary constraints (cpu=4.24, mem = 83M793)
12.99	     nbConstraints=32622  nbMergedConstraints=29510  nbConvertedConstraints=7  nbConvertConstraintsChecks=2868780
12.99	     nbExtensionStructures=7  nbSharedExtensionStructures=0  nbConflictsStructures=7  nbSharedConflictsStructures=0
12.99	     nbSharedBinaryRepresentations=5132  nbEvaluationManagers=22333  nbSharedEvaluationManagers=10282  maxDegree=54
12.99	     maxArity=2
12.99	       =>  wckTime=12.666  cpuTime=11.12  mem=146M34
13.38	   
13.38	   solver IterativeSystematicSolver being built... 
14.56	       =>  wckTime=14.235  cpuTime=11.79  mem=310M148
50.90	   
50.90	   preprocessing
50.90	     nbConstraintChecks=57203812  nbValidityChecks=5610900  nbPropagations=5605  nbRevisions=184062
50.90	     nbUselessRevisions=163146  nbRemovedValues=1420010  detectedInconsistency=no
50.90	       =>  wckTime=36.303  cpuTime=36.01  mem=310M148
53.84	   
53.84	   search
53.84	     run=0  nbConstraintChecks=914326  nbValidityChecks=1654774  nbPropagations=13450  nbRevisions=373272
53.84	     nbUselessRevisions=342621  nbAssignments=1136  nbFailedAssignments=9  nbBacktracks=12  nbVisitedNodes=1153
53.84	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=1127
53.84	       =>  wckTime=39.245  cpuTime=38.92  mem=310M148
55.89	   
55.89	   search
55.89	     run=1  nbConstraintChecks=1042516  nbValidityChecks=3270467  nbPropagations=34706  nbRevisions=932096
55.89	     nbUselessRevisions=861271  nbAssignments=2282  nbFailedAssignments=15  nbBacktracks=29  nbVisitedNodes=2314
55.89	     nbRestartNogoods=7  mapSize=0  nbInferences=0  nbTooLargeKeys=2267
55.89	       =>  wckTime=41.294  cpuTime=40.93  mem=310M148
57.45	   
57.45	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=3409, mem=310M148)
57.88	   
57.88	   search
57.88	     run=2  nbConstraintChecks=1169553  nbValidityChecks=4891108  nbPropagations=63834  nbRevisions=1677899
57.88	     nbUselessRevisions=1557223  nbAssignments=3430  nbFailedAssignments=21  nbBacktracks=52  nbVisitedNodes=3483
57.88	     nbRestartNogoods=9
57.88	       =>  wckTime=43.282  cpuTime=42.91  mem=310M148
59.23	   
59.23	   search
59.23	     run=3  nbConstraintChecks=1322293  nbValidityChecks=6565848  nbPropagations=101398  nbRevisions=2620775
59.23	     nbUselessRevisions=2439617  nbAssignments=4605  nbFailedAssignments=35  nbBacktracks=85  nbVisitedNodes=4689
59.23	     nbRestartNogoods=10
59.23	       =>  wckTime=44.637  cpuTime=44.27  mem=310M148
61.69	   
61.69	   search
61.69	     run=4  nbConstraintChecks=2249929  nbValidityChecks=9324505  nbPropagations=150250  nbRevisions=3809005
61.69	     nbUselessRevisions=3554170  nbAssignments=7111  nbFailedAssignments=41  nbBacktracks=85  nbVisitedNodes=7201
61.69	     nbRestartNogoods=13
61.69	       =>  wckTime=47.092  cpuTime=46.71  mem=310M148
61.69	   
61.69	   global
61.69	     nbConstraintChecks=59453741  nbValidityChecks=14935405  nbPropagations=155855  nbRevisions=3993067
61.69	     nbUselessRevisions=3717316  nbRestartNogoods=13  solvingWckTime=47.095  solvingCpuTime=46.72  expiredTime=no
61.69	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=58.6
61.69	       =>  wckTime=61.368  cpuTime=58.55  mem=310M148
61.69	   
61.69	s SATISFIABLE
61.69	v -3198 -3458 2650 2650 -2982 -3906 -2790 -3654 -3958 -2810 3426 2718 -3478 -2870 -3330 3814 -2874 -3730 -2774 -3578 -3478 -2906 3086 2650 -3930 -3946 -3398 3478 3942 -2826 2694 -3098 -3134 -3738 2774 -3746 -3282 2650 3930 -3034 -3790 3686 3926 3406 -3506 3394 -3698 -4018 -3854 -3750 -3990 3870 2698 -3770 -3778 2750 3414 -3418 -3626 -3854 3770 3382 2690 3442 -3834 -3074 -3990 -3678 -3046 -3586 -2650 -3198 -3922 -3474 -3174 3346 -3598 3810 -3890 -3166 3558 3438 3446 2650 -3870 3406 3554 2690 -3598 -3854 -3274 -3346 2722 -3554 -3062 2754 3930 2650 -3914 -3534 -3554 -3538 3062 -3998 -3630 3134 2822 -3074 -3398 3978 3046 3946 3318 3106 3510 3614 -3510 -2962 -3690 -3134 3018 3750 3522 2842 -3434 3258 3310 -3642 -2954 -3318 -3790 3742 3030 -3318 3558 -3090 -3274 -3438 -3226 3366 2806 -3682 -3686 -3990 3106 -3314 -2858 -2694 2778 -3114 -2746 2878 -3034 3242 -3086 3702 3750 -2822 2870 -3450 2902 -4002 2810 3338 -3778 -3886 3642 2650 -2798 -3998 -3610 2914 3298 2650 -3690 2650 3978 2846 -3066 -3926 4042 3194 -3686 3654 3178 -2766 -3274 3146 -3886 3170 -3578 -3134 2746 3046 -3150 -3406 -3130 -2934 2778 -3522 -3334 -3814 -3514 3338 -3474 3406 3266 -2786 3946 -3790 3914 -3346 3114 -3358 3258 -3138 -3198 -2754 -3818 -2790 -3354 3238 2770 -3438 -3646 -3810 -3214 -3558 -3386 -3426 -2698 3934 -2758 3690 2698 -3018 -3462 3750 3410 3938 4042 2650 2994 -3722 -3734 -3054 -2706 -3174 3554 3586 2650 -3178 -3098 -3958 -2666 -3950 -3386 3274 -3546 2846 -3578 3674 -2706 3842 -2726 -3730 -3214 3450 3962 -3390 -3726 -4002 -2666 3526 -3366 -2666 -3886 -3362 -3650 -3222 2982 2706 -3174 3986 3902 3374 -3746 -3610 2794 3878 3678 -3990 -4042 2906 3270 3374 3258 3582 -2866 3382 -3190 3078 -2650 -3918 3002 -3398 3954 -3154 -2690 -2898 3138 -2742 -4042 -3198 3142 -3314 -2678 3074 -2670 -3234 -2830 2918 3130 3062 -2890 3162 -3638 3598 -3414 -3886 2750 4002 3530 -3890 -2722 -3246 2882 3102 -2786 3050 -3182 -3694 -3130 3390 -3182 -3338 -2878 3826 -3870 3198 -3234 -3998 3926 -3866 -3306 -3810 3798 2898 -2650 -2822 -3014 -2954 3014 2754 -3074 3786 -3978 -3462 2922 -3838 -2982 -3438 3898 -3538 -3438 -3686 3330 3994 3542 -3126 4002 2702 3654 -2926 -3150 -3470 3514 -4018 2958 3610 -3074 2762 -3106 -3650 2742 -2658 -3990 2710 3290 3134 -3746 -2726 -3982 -2998 -2938 3438 -3178 -3954 -3202 -3874 -3402 -3890 2770 4014 3054 2814 2850 -3306 -2986 -2666 3938 2946 -2994 -3686 -4038 -2850 3646 3538 -3186 -2702 -3098 -3230 -3638 -3382 -3006 -3014 -3914 3730 2930 -4002 3138 -3702 -3026 -2654 -3914 -3630 -2942 3002 -3158 -2722 3890 -3930 -2918 -2858 -3142 -3930 3418 3354 3718 -3922 2714 -3370 -3470 -2762 -2650 -3142 -3930 3058 3598 -3874 -3186 3138 3346 -3646 2886 3974 -3686 4034 -3682 -2662 -2750 -4002 -3126 -2902 2650 -3146 -2942 2954 -3506 -3066 -2762 -3366 -3886 -3890 2690 -2682 3042 -3710 -3750 3394 -4014 -3102 -3694 3178 -2694 -3958 2698 -3218 3298 -3610 3306 -3058 3502 -3890 3154 -3702 -3186 -3150 -3790 -3282 -2706 3222 3114 -2858 -3930 2886 3774 -2902 -3134 -3782 -2650 3250 3354 -2806 -2698 -3478 -3138 -3422 -2722 3426 3262 -3862 -3874 2686 -3390 -3998 -3018 -3790 -3598 -3950 3998 3394 -3426 4042 3810 -3890 -4038 -2994 2974 2730 -2810 -3854 3082 -3694 2790 -4018 -3066 2650 -3646 -3066 -3298 -3874 -4038 2886 -2942 -3742 3714 -3054 -3638 -3906 -2694 3958 3146 -3550 -3342 3598 -3046 -3958 -3078 3726 -3930 3594 -3186 -3726 -3546 3886 -3038 -4018 3378 3858 -2806 2914 -3210 -3930 -2946 2682 -3046 -3574 -3062 -3534 -3610 -3922 -2786 -3154 -3118 -3450 2714 -2978 2750 -3498 3810 -3066 -3954 -3502 3650 3162 -3074 3874 -3918 -3354 -3842 -3294 -3442 2838 -3166 3874 2706 2702 2690 -3158 3590 -3818 3602 -3238 -3134 3874 -3998 -3134 -3142 3578 -3654 -3994 2782 -3882 -2958 -4018 -2650 -3478 -3646 2914 3334 -3638 -3770 -4042 -3682 -3034 -3190 -3818 -3018 -3182 -2814 -2726 2694 -3258 -3066 -3890 3870 3206 -3174 -3890 -3434 -3770 3158 3610 -3854 -3098 -3586 -3270 2790 2650 3670 2910 -4042 3230 3194 -3890 3070 -3962 -4038 2750 -3802 3386 2714 -3242 2890 -2806 2918 2950 2770 2802 -4002 3210 3966 -3170 -2990 -3630 -3022 -3494 3358 -2870 -3930 -3846 -3774 3626 3774 -4038 3706 2874 -3198 3250 -3490 3690 -2878 -3542 -3090 -3682 3598 -3662 -3674 -3814 3830 -3182 -2854 -3062 -2894 -2694 -4042 -3046 3514 3154 -2714 -2930 -3998 -2770 -2650 -3558 -3802 3170 3102 -2822 -3570 -2682 -3142 4042 -3998 -3694 -3194 -3570 -3058 -3990 -3930 -3086 -3418 -2970 -3358 4042 3366 -3382 3582 -3438 3398 -3478 2986 -2974 3466 3222 3210 3498 -3114 -3106 -3950 -3138 -3366 -3118 3566 -3110 3574 -3370 3562 -3586 3230 -3870 3534 -3966 -2818 -2738 3802 3770 2658 -3410 3662 3610 3230 -3050 -3978 -2722 -3730 -3650 -2726 3950 -3306 -3070 3158 2786 -3758 -3950 3978 -3070 -3178 3998 -3914 -3930 -3138 -3514 3654 3682 -2818 3594 -2730 -3542 -3338 3298 3890 3606 3410 -3002 -3950 -3890 -3662 2690 3842 3438 2842 -4014 3254 -2758 2658 -3122 3858 3534 4042 3914 -3562 -3126 -3930 -3730 -3414 -2858 -2730 -3470 -3814 2742 3062 -3930 -3858 -3018 2914 -3038 -2942 3690 2998 2738 -2690 2910 3402 -3034 3998 3906 3446 -3014 3922 -3662 2690 2918 -3258 -3538 -3778 -3878 3214 2814 -2934 -3342 -3902 3766 -3914 -3650 3802 -3402 -4038 -3930 -3038 3346 -3850 3186 -3978 -2906 -3546 4042 -3306 3518 -3978 -3894 3342 -2718 4038 3102 3946 3734 -3890 -2694 3998 -3366 2962 2958 -2690 -3166 3478 -3850 3554 2662 -3678 -3766 -4002 -2770 -3606 3094 -4002 -2810 -2906 -3642 -4018 -3698 -3998 -2978 -3462 -3438 3990 -3538 3746 3698 -3638 -3142 -3562 -3374 -3958 -3186 -3310 -3114 -3598 -3018 -3314 2838 -2690 3138 2906 3406 -3886 3962 -3998 3810 3690 2814 -3138 3338 -3998 -2882 3974 -3306 3162 -3342 3534 -3354 -3054 -3642 3326 -3146 -2998 3698 -3830 -3086 -2970 3402 -3826 -3306 2942 2734 -3210 -2698 -3378 3858 -3734 3890 -3998 3586 3890 3278 3422 -2858 -3390 -3874 -3598 -2702 -3978 -3386 3506 3334 2966 3198 3854 -3050 -3514 -3202 -3990 -3658 2830 -3238 -3126 3106 -3682 -3750 3062 -2706 -3350 -2990 -2714 -3946 -3654 3950 3410 -3274 -3094 -3006 -3150 -2926 -3414 -3770 -3842 2934 3466 3102 3222 3398 4042 3454 -2878 -3998 -2950 -3186 -3646 3910 -3542 -2706 -3066 3250 3646 -3070 -3362 3502 2690 -3682 -3890 3722 2842 3290 -3658 -2654 3074 3630 2718 -3098 -2718 3466 -3638 3602 -3998 -3634 -3538 3990 -3110 -3186 3990 -3054 3098 -2894 3886 3462 3054 -3606 -3866 -3990 -3790 4002 3338 -2774 -3438 -3930 -2946 2974 -3990 -3410 -3682 3542 3118 -3662 -3594 3110 -3438 -3346 -3450 -3110 -3970 -3642 2878 -3278 -3058 -3566 -3510 -3810 3770 -3818 2902 -3110 -3846 -3646 3606 2934 2914 -2942 2650 3418 -3914 -3990 3034 -3722 -3130 3342 4030 -3310 2694 -3918 3022 3490 -3078 -3422 3738 3598 -3890 -2834 -3330 3174 -2946 3914 -3134 3814 -3958 -3998 -3562 -3086 -3438 2706 -3238 -2938 3910 -3890 2778 3054 -3422 3738 3554 3118 -2994 3498 -3202 -3790 -2854 -3918 -2966 -3034 -3610 -2846 3914 -2782 3338 -3930 -3170 3610 3682 2814 -3650 3802 3670 -3182 3126 -3002 -3054 3794 -2878 -2682 3658 3134 -3066 3910 -3018 -2962 3106 -3990 -3890 3006 -3530 -3950 -3198 -3470 -3954 -3694 -4042 3646 -3238 -3242 -3398 -2830 4030 -3958 3726 -3910 -3446 2722 -3726 -3582 -3294 2698 2898 2902 -4038 -3478 -2698 3086 3026 3502 3326 3138 3710 -3786 -3098 -3366 2734 -2802 3094 3562 -4022 -2766 3466 -2746 3122 3870 3054 -2690 3238 3250 3394 3406 3926 -3038 -3702 -3314 3178 -3090 3582 -3186 3490 -3654 -2986 -3466 -3914 -4014 -3426 3190 3974 -2714 -3478 -2918 -3590 -3758 -3098 3134 -4014 -3030 3142 3714 -3678 -2862 3734 2842 -3582 -3174 2766 -3686 -3826 -4038 -3526 -3978 -3918 -3014 -3074 3682 -3802 -3734 -2826 3986 3798 -3978 -3446 -3478 -3986 -3250 3870 -3830 -3598 -3594 -3750 3958 -3986 -3378 2746 -3702 3634 -3566 -3974 -3302 -3974 -3642 -3186 -3346 3210 -3738 2978 3234 3026 3154 3182 -3206 3350 3894 -3586 3926 -3002 3634 -3594 -3750 -3526 2690 -3194 -3990 -2842 -3802 3758 -2786 -3050 3954 2926 -3958 3626 -3190 -3014 -2718 -3926 3582 -3202 -3086 3886 2726 3030 2686 -2690 -3278 -3842 3218 3910 -4042 -2650 -2910 3170 4018 -3694 3022 -3710 -2878 -2778 -3478 3530 3798 3486 -3254 3066 3354 -3998 4002 -3990 -3690 2746 -3646 2910 3282 -3986 -2978 -4022 3938 -3890 -3346 -3778 3398 -2726 3746 -3090 3650 -3290 2722 4030 -3930 -2914 2658 3890 -3702 -2690 -3870 3290 3862 -3246 3574 -2774 -3082 -3150 3778 -3706 3830 -3046 -2686 -2666 3698 -3974 2994 -2690 -3642 -3142 3826 3490 -3462 3598 -3966 -3118 -3098 -4042 3078 -3266 -3606 -2690 -3750 -3374 -3018 -3682 -3158 -3238 -3686 -3950 -3958 3022 -3098 3590 2854 2670 -3082 3482 2702 -3790 -2998 3002 -3678 -3982 2822 3094 -4042 -2814 -3266 -3606 3570 3474 2690 -2726 -2666 2650 -3810 2690 -3046 -3438 -2690 -4042 -3754 3442 -3930 -2862 2918 -3198 -3950 -2790 -3186 -3850 2962 2758 2946 2666 3594 -4018 -3926 2882 -3350 3194 -3642 -4038 -3878 -3138 3870 3518 -3634 -3914 -2746 3746 -3406 -2918 3154 3810 2850 3698 -3890 3970 -3950 3634 -3382 -3602 3298 3802 -3634 -3478 3074 -3910 3294 -3950 3934 -3998 -3586 -3722 -2694 -2690 -2930 -3558 -3286 -3582 -2954 -2898 3830 -3542 3526 -3522 3586 -2966 -3314 -2690 -3114 -3638 -3638 -3130 -3146 -3034 3090 -3102 -2686 2682 -3342 -3566 3542 -3238 -3954 3566 2966 -3638 3934 3458 -3818 3438 3750 -3598 3938 -3018 -3694 -3598 -2958 -3122 -3386 3178 -3442 -3590 -3594 -3058 -3930 3738 -3962 3010 -3226 2886 -3274 -3690 -3558 3350 3278 -2906 3458 -3750 3254 -3878 3706 3274 -2902 3098 -3054 3498 -3270 -3174 -3898 3138 3862 -2730 3314 -3458 -3210 3334 3418 3318 -3334 3562 -4038 -3926 3542 3122 -3106 -3634 -3670 -3886 3342 3230 -2706 3598 3842 2826 3438 -3494 2798 -3750 2854 3090 -2846 3662 -3190 -2946 3654 2682 -3770 -3186 3386 -2678 -3306 3122 3314 -3154 -3534 -3518 -3526 2706 -3546 -3646 -3774 -3502 3870 -3158 -3018 3770 -3890 2706 3786 -3810 -2662 -2754 -3454 -2838 -3574 -2722 -3042 -3202 -3238 2938 -4042 -3398 -3014 -4002 -3890 2934 -3158 -3890 3082 -2658 -3058 -3906 3214 -3186 -3894 -2706 -2690 -3098 -3890 -3182 3198 -2678 3994 -3958 3274 -3890 3790 -3638 3058 -3398 -3478 3382 3470 2698 2742 -3930 -3570 -3614 -3658 -3270 -3978 -2818 3506 -3786 -3142 -2690 3958 -3598 3938 -3142 2690 -3878 -3922 -3518 -2650 3650 2830 2978 -3198 2690 -3726 3038 -3378 -3750 3542 2650 -3874 3070 3494 3242 3406 -4018 2958 3554 3042 -3814 -3878 -4018 -3694 4042 3622 -3438 -2890 -3786 -2718 -3434 -2810 -4002 2674 -3598 3190 -3146 -4002 3450 -3718 -3994 3002 -3802 -2730 2690 -3950 3506 3294 -3198 2662 -3886 3478 3918 3850 -3674 3750 -3990 3930 3350 -3946 -3598 -2834 -2906 -3054 -3890 -4002 -4042 2830 3190 3086 3378 3154 -3630 -3638 3182 -3874 -3382 3230 4038 3466 -3438 3654 -2814 3650 -3658 -3866 -2662 3638 -2666 -3018 3682 3846 3646 3830 -3174 3850 -2690 3478 2722 -2710 -4002 -3350 -3078 2650 3766 2870 -2946 3566 3878 -2838 -3790 3366 -3646 -3686 3094 2690 3434 -3058 -3566 -3170 -3646 -3182 2994 -4002 -3718 -3926 -3822 2654 3446 -3242 -3258 -2914 -3650 -3774 -3794 -3130 2650 -3926 -3778 -3974 -3098 -3110 4034 -3950 -3106 -3130 -3042 -3174 3142 -3830 -3482 -3842 3534 3754 -3606 -3846 3618 2954 -3170 2918 -2818 4002 2858 -3138 -3570 -2910 3374 3370 -3986 2678 -3886 -3538 2702 -3158 -3898 2838 -3766 -2762 3386 -3842 -2702 -3238 2990 -2754 -2846 -4042 3102 -2702 2854 -3890 -3594 -4002 -4002 -4002 3650 -3670 -3386 4002 3110 3798 2850 -4042 2718 -3238 2710 -3890 2722 -2882 3286 2782 3998 3834 -3870 -3198 2730 -2690 3914 2650 -3434 2814 3146 3650 -3242 3786 3702 -4042 -3978 3062 -3634 -3142 3522 -3462 -2702 3870 -3186 -3998 -3402 -2918 -2742 -3838 -3902 2702 3702 -2798 3826 -2754 3006 -3802 3974 -3990 -3438 -2902 -3102 -3314 -3882 3014 3486 2690 -3642 -3658 3786 -3610 -2802 3558 3102 3222 -3498 -4042 3482 -3998 -2794 3546 3630 3710 -3542 2846 -3342 -3314 -3298 -3638 -3646 -3022 -3658 -4026 3978 -3738 -3410 -3146 2938 3178 3818 3982 3218 -3558 -2982 3430 3998 -3214 3894 -3790 2702 -3174 3926 -3954 2674 -3834 3158 -3978 3762 2854 -2954 -3218 3950 3402 -3038 -3082 3438 3958 3998 3770 -3110 3082 -3238 -3778 -2718 3546 3182 -3146 -3062 -3366 3106 3574 -3826 3146 -3946 3406 -2778 -2770 -2706 3494 -3302 3066 3598 -3066 -3146 3686 -3382 -3530 -3698 -3914 -3854 -3834 3214 3342 3290 -3994 2750 -2662 -3438 -3446 3682 2954 -2658 3554 -3478 -3950 3218 3126 -2658 -2862 2946 -3694 -3726 -2886 -3378 3058 -3706 3910 3686 -2658 2834 -3978 -3598 -3138 3762 2706 -3846 -3674 -3326 -3930 -2686 3298 -3802 3510 4030 -2978 -3054 -2702 -3690 -3326 -3522 2758 3230 2734 -3638 -3502 2846 -2814 3946 -3826 3094 -3930 3770 -2906 2870 4038 -2898 -3154 -3410 -2706 -3922 -2654 -2870 -2830 2810 3866 2874 2722 -3730 -3302 -3038 -3194 -3074 -3998 2926 3946 -3862 3894 -3346 -3198 4034 -3006 -3010 -2790 -3930 3406 -3954 -3918 -2926 -3102 -3306 3166 3446 -3186 2790 -3098 -3438 3334 2818 3958 2990 4014 2666 3042 -3042 -2678 -3770 3502 -3790 2882 -3266 3998 -3466 -3126 3198 3130 -2702 3198 2902 -3930 3786 -3462 3694 -4010 -2978 3530 3774 -3438 -3726 -3478 3958 -4018 -3614 3758 3886 -3894 -3874 4014 -3074 -3346 4002 -3230 -3582 -2682 -2662 -2846 3666 3470 -3138 -3122 3926 3890 -2662 -3070 -3270 2650 -3438 -2706 -3638 -3298 -3378 3430 -3282 2882 -3086 -2950 3578 3354 3174 -3014 -2734 -3930 -3602 -3610 -3106 3358 -3874 3990 2806 -2918 2818 -3590 -3774 -2790 3738 3194 -2954 2942 3414 3238 3138 -3874 -3998 -2658 3502 3886 3674 -3750 -3386 -2962 3622 -3182 3214 -3954 -3238 3806 -2746 -3686 3558 2830 -3930 -3330 2778 -3002 -2818 2862 -3102 -3134 3850 -3378 3914 3822 -3626 -4010 -3066 2806 -2762 3770 -3342 -3810 -3262 3090 -3434 2878 -3146 -3502 -3926 -3310 3166 -2654 -3226 -3650 3726 3706 -2666 -3950 -3106 -3642 3034 -3686 -2658 2682 -3194 -3162 -3434 -3014 -3954 -2798 3346 2650 2890 -3206 3394 -3606 -3930 -3686 -2938 -2862 -3746 -3634 -3666 -3058 -3538 3174 -3294 -3346 2698 2690 -3238 -3842 3126 3882 3038 -3442 2874 -3094 -3242 -3910 -3294 3190 3530 -3382 -3014 3994 -3370 -3974 3654 -3762 -3382 -3166 -2710 -3474 -3422 -2850 -3810 -3142 -3438 -4018 2826 -3426 -2678 3870 2718 -3850 2974 -2690 -3834 -3010 -3570 3066 4002 4002 -2726 -2690 -3314 -3714 3986 3278 3698 2842 3630 -3890 -2946 4002 -3998 -3086 -3878 -3810 -3798 3146 -3990 -3306 -3594 4038 -3638 -3730 2714 2690 3162 3914 -3098 -3614 3554 -4018 -3150 3110 -3674 2954 3638 -3418 3150 -3950 -2650 3322 -3586 -3186 3998 3430 
61.69	d NODES 7111
61.69	d CHECKS 59453741
61.69	   
61.69	   totalWckTime=61.451  totalCpuTime=58.6

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/node47/watcher-205817-1168073464 -o ROOT/results/node47/solver-205817-1168073464 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205817-1168073464/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: 2.00 2.02 1.89 4/80 2129
/proc/meminfo: memFree=1690200/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=1784 CPUtime=0
/proc/2128/stat : 2128 (java) D 2126 2128 1670 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155745743 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10519332 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/2128/statm: 446 163 128 14 0 91 0

[startup+0.103721 s]
/proc/loadavg: 2.00 2.02 1.89 4/80 2129
/proc/meminfo: memFree=1690200/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=913236 CPUtime=0.08
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 155745743 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155498992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.511767 s]
/proc/loadavg: 2.00 2.02 1.89 4/80 2129
/proc/meminfo: memFree=1690200/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915328 CPUtime=0.46
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 6791 0 1 0 41 5 0 0 18 0 8 0 155745743 937295872 6530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582383 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228832 6530 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.33285 s]
/proc/loadavg: 2.00 2.02 1.89 3/87 2136
/proc/meminfo: memFree=1598240/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915596 CPUtime=1.27
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 28942 0 1 0 112 15 0 0 24 0 8 0 155745743 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073655818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228899 28679 2160 14 0 215369 0
[pid=2128/tid=2130] ppid=2126 vsize=915596 CPUtime=0.12
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 12398 0 0 0 7 5 0 0 16 0 8 0 155745747 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915596 CPUtime=0.16
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 409 0 0 0 15 1 0 0 16 0 8 0 155745751 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 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.97103 s]
/proc/loadavg: 2.00 2.02 1.89 3/87 2136
/proc/meminfo: memFree=1575456/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915596 CPUtime=2.89
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 32070 0 1 0 272 17 0 0 25 0 8 0 155745743 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228899 31802 2160 14 0 215369 0
[pid=2128/tid=2130] ppid=2126 vsize=915596 CPUtime=0.31
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 15518 0 0 0 25 6 0 0 16 0 8 0 155745747 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915596 CPUtime=0.17
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 412 0 0 0 16 1 0 0 16 0 8 0 155745751 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 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.89
Current children cumulated vsize (KiB) 915596

[startup+6.17237 s]
/proc/loadavg: 2.00 2.02 1.89 3/87 2136
/proc/meminfo: memFree=1566240/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915732 CPUtime=6.07
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 34671 0 1 0 588 19 0 0 25 0 8 0 155745743 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155888654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228933 34398 2181 14 0 215403 0
[pid=2128/tid=2130] ppid=2126 vsize=915732 CPUtime=0.47
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 18016 0 0 0 40 7 0 0 16 0 8 0 155745747 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915732 CPUtime=0.22
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 449 0 0 0 21 1 0 0 15 0 8 0 155745751 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915732

[startup+12.6501 s]
/proc/loadavg: 2.00 2.02 1.89 4/87 2136
/proc/meminfo: memFree=1530848/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915732 CPUtime=12.48
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 42916 0 1 0 1226 22 0 0 25 0 8 0 155745743 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829269 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228933 42631 2182 14 0 215403 0
[pid=2128/tid=2130] ppid=2126 vsize=915732 CPUtime=1.19
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 26247 0 0 0 109 10 0 0 16 0 8 0 155745747 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915732 CPUtime=0.23
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 451 0 0 0 22 1 0 0 16 0 8 0 155745751 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 915732

[startup+25.5224 s]
/proc/loadavg: 2.08 2.03 1.89 3/87 2136
/proc/meminfo: memFree=1354464/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915876 CPUtime=25.24
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 86615 0 1 0 2482 42 0 0 25 0 8 0 155745743 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228969 86271 2533 14 0 215439 0
[pid=2128/tid=2130] ppid=2126 vsize=915876 CPUtime=1.99
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 69389 0 0 0 171 28 0 0 16 0 8 0 155745747 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915876 CPUtime=0.36
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 564 0 0 0 34 2 0 0 15 0 8 0 155745751 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915876

[startup+51.1392 s]
/proc/loadavg: 2.05 2.03 1.90 3/87 2194
/proc/meminfo: memFree=1346280/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915876 CPUtime=50.69
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 86626 0 1 0 5025 44 0 0 25 0 8 0 155745743 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074218728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2128/statm: 228969 86280 2535 14 0 215439 0
[pid=2128/tid=2130] ppid=2126 vsize=915876 CPUtime=1.99
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 69390 0 0 0 171 28 0 0 17 0 8 0 155745747 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915876 CPUtime=0.37
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 570 0 0 0 35 2 0 0 16 0 8 0 155745751 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 61.7785
CPU time (s): 61.2877
CPU user time (s): 60.7838
CPU system time (s): 0.503923
CPU usage (%): 99.2055
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.7838
system time used= 0.503923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86664
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= 3168
involuntary context switches= 4658

runsolver used 0.065989 s user time and 0.215967 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Jan  6 08:51:05 UTC 2007


IDJOB= 205817
IDBENCH= 4170
FILE ID= node47/205817-1168073464

PBS_JOBID= 3475958

Free space on /tmp= 66521 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  905321a8d9852006a24c0f2b5f8b53c5

RANDOM SEED= 753648096

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.240
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.240
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:       1690680 kB
Buffers:         25856 kB
Cached:         163524 kB
SwapCached:          0 kB
Active:         159328 kB
Inactive:       133864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1690680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10216 kB
Writeback:           0 kB
Mapped:         124024 kB
Slab:            57212 kB
Committed_AS:  3582880 kB
PageTables:       2044 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= 66522 MiB



End job on node47 on Sat Jan  6 08:52:07 UTC 2007