Trace number 205942

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 313.324 314.956

DiagnosticValue
CHECKS61177895
NODES24604

General information on the benchmark

Namefapp/fapp36-40/fapp38/
fapp38-2500-8.xml
MD5SUMc63689b420ce6e8c6aef37817cc56cbd
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 benchmark57.7552
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/205942-1168168584/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.88	     nbVariables=2500  nbDomainTypes=18  minDomainSize=42  maxDomainSize=698
0.88	       =>  wckTime=0.561  cpuTime=0.39  mem=44M728
0.88	   
0.88	   predicates being loaded...
0.89	   
0.89	   constraints being loaded...
202.35	   
202.35	   INFO : Stopping converting binary constraints (cpu=200.11, mem = 134M981)
209.51	     nbConstraints=32622  nbMergedConstraints=29510  nbConvertedConstraints=1073  nbConvertConstraintsChecks=377484492
209.51	     nbExtensionStructures=975  nbSharedExtensionStructures=98  nbConflictsStructures=975
209.51	     nbSharedConflictsStructures=98  nbSharedBinaryRepresentations=972685  nbEvaluationManagers=21733
209.51	     nbSharedEvaluationManagers=9816  maxDegree=54  maxArity=2
209.51	       =>  wckTime=209.194  cpuTime=206.31  mem=182M943
209.98	   
209.98	   solver IterativeSystematicSolver being built... 
211.08	       =>  wckTime=210.762  cpuTime=206.96  mem=346M11
284.41	   
284.41	   INFO : Stopping ESAC
284.41	   
284.41	   preprocessing
284.41	     nbConstraintChecks=53979154  nbValidityChecks=13300340  nbPropagations=47406  nbRevisions=1273465
284.41	     nbUselessRevisions=1206940  nbSingletonTests=4240  nbEffectiveSingletonTests=4  nbESACBranches=19
284.41	     nbRemovedValues=1429110  detectedInconsistency=no
284.41	       =>  wckTime=73.29  cpuTime=72.87  mem=346M11
288.28	   
288.28	   search
288.28	     run=0  nbConstraintChecks=1188854  nbValidityChecks=2781923  nbPropagations=57044  nbRevisions=1514464
288.28	     nbUselessRevisions=1433471  nbAssignments=1959  nbFailedAssignments=17  nbBacktracks=12  nbVisitedNodes=1982
288.28	     nbRestartNogoods=0  mapSize=2  nbInferences=0  nbTooLargeKeys=1759
288.28	       =>  wckTime=77.168  cpuTime=76.7  mem=353M821
295.75	   
295.75	   search
295.75	     run=1  nbConstraintChecks=3285112  nbValidityChecks=11963055  nbPropagations=150496  nbRevisions=4038419
295.75	     nbUselessRevisions=3826321  nbAssignments=6276  nbFailedAssignments=27  nbBacktracks=28  nbVisitedNodes=3931
295.75	     nbRestartNogoods=8  mapSize=12  nbInferences=0  nbTooLargeKeys=3510
295.75	       =>  wckTime=84.635  cpuTime=84.12  mem=362M522
299.32	   
299.32	   INFO : Stopping hyperNogood (mapSize=21, nbTooLargekeys=5261, mem=351M380)
299.91	   
299.91	   search
299.91	     run=2  nbConstraintChecks=4274626  nbValidityChecks=16310442  nbPropagations=260791  nbRevisions=7018438
299.91	     nbUselessRevisions=6651271  nbAssignments=8420  nbFailedAssignments=43  nbBacktracks=67  nbVisitedNodes=5909
299.91	     nbRestartNogoods=11
299.91	       =>  wckTime=88.792  cpuTime=88.19  mem=351M380
307.49	   
307.49	   search
307.49	     run=3  nbConstraintChecks=5905296  nbValidityChecks=25796565  nbPropagations=418783  nbRevisions=11240953
307.49	     nbUselessRevisions=10658376  nbAssignments=16515  nbFailedAssignments=50  nbBacktracks=102  nbVisitedNodes=7747
307.49	     nbRestartNogoods=16
307.49	       =>  wckTime=96.377  cpuTime=95.72  mem=352M150
314.85	   
314.85	   search
314.85	     run=4  nbConstraintChecks=7198741  nbValidityChecks=34689494  nbPropagations=622902  nbRevisions=16624364
314.85	     nbUselessRevisions=15771906  nbAssignments=24604  nbFailedAssignments=58  nbBacktracks=119  nbVisitedNodes=10285
314.85	     nbRestartNogoods=20
314.85	       =>  wckTime=103.734  cpuTime=103.04  mem=352M150
314.85	   
314.85	   global
314.85	     nbConstraintChecks=61177895  nbValidityChecks=47989834  nbPropagations=670308  nbRevisions=17897829
314.85	     nbUselessRevisions=16978846  nbRestartNogoods=20  solvingWckTime=103.738  solvingCpuTime=103.05  expiredTime=no
314.85	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=310.09
314.85	       =>  wckTime=314.534  cpuTime=310.04  mem=352M150
314.86	   
314.86	s SATISFIABLE
314.86	v 3198 3438 2650 2650 -2990 3906 -2794 3654 -3958 -2886 3426 2714 -3478 -2866 -3330 3814 2862 -3726 -2782 -3578 -3478 -2902 3086 2650 -3930 -3946 3394 3478 3946 -2826 -2702 3098 -3146 3742 -2774 3758 -3302 2650 -3930 3018 -3790 3690 -3930 3406 -3506 -3390 -3698 -4018 -3854 3750 -3990 -3874 2698 -3790 -3778 -2758 -3410 3418 3630 -3854 3770 -3382 2690 -3442 -3830 -3074 -4002 3670 -3046 3590 2658 3194 -3930 -3478 -3174 3346 -3598 -3810 -3890 3154 -3566 3438 3446 2650 -3870 3406 3554 -2678 3598 -3850 -3294 -3346 2718 3558 3050 -2742 3930 2654 3914 -3534 3550 -3538 3062 -3998 3630 -3142 2830 -3110 -3386 -3978 3038 -3950 3306 -3106 3510 3614 -3526 -2962 -3690 -3146 -3026 -3750 3526 2846 3414 3262 -3310 -3646 2962 3318 -3790 -3742 -3038 -3318 -3562 -3098 3294 -3438 -3230 3366 -2806 3690 3682 -3990 -3106 -3334 -2862 -2690 -2782 3110 -2714 -2886 3034 3246 -3094 3702 3754 -2826 2858 -3450 -2890 4002 2810 -3366 3782 -3890 3654 2650 -2650 3994 3606 -2910 3298 2690 -3690 -2734 3978 -2846 -3066 -3930 4042 3206 -3690 3654 3174 2754 3278 -3142 -3890 3162 -3586 3134 2750 -3058 -3142 -3394 3134 -2926 2782 -3526 -3330 -3810 3518 -3338 -3470 3394 -3250 2782 3946 -3790 -3914 -3346 -3126 -3346 -3262 -3142 -3198 -2690 -3818 -2778 3362 -3258 2770 -3438 -3642 3802 -3214 -3558 3386 3410 -2690 -3942 2746 -3694 2690 -3014 -3462 3746 3414 4002 -4042 2650 -3002 -3718 -3734 -3090 2694 -3174 -3558 -3590 -2654 3174 -3098 -3958 -2666 -3950 -3382 3282 3550 2846 -3578 -3678 2714 -3842 -2726 3734 3214 -3446 3970 -3390 3730 -4002 -2666 -3530 -3366 -2654 -3890 3358 -3650 -3222 -2982 -2714 -3186 -3990 -3914 -3370 -3750 -3610 2778 3870 -3702 -3990 -4042 -2946 3270 3374 3258 3582 -2870 3382 3190 -3082 2666 -3918 3002 -3398 3954 -3162 -2694 -2902 3138 -2742 4042 3198 3130 -3322 -2686 3066 -2670 -3258 -2834 2910 3138 3054 2898 3162 -3638 -3602 3410 -3886 -2738 4002 -3534 -3890 -2718 -3250 2878 3094 -2786 -3050 -3186 -3694 -3138 3386 -3182 -3334 -2878 3842 -3874 3206 3230 -3998 -3930 -3882 -3306 -3810 3802 2894 -2718 2818 3022 2970 -3018 2754 3070 3782 -3978 3462 2922 3838 2990 -3434 -3986 -3546 -3438 -3694 3330 3994 3534 -3126 4002 2690 -3658 -2926 -3142 -3462 -3518 3850 -2950 -3618 -3074 2782 -3106 3650 2738 2666 -3990 -2718 -3294 3130 -3750 -2726 3982 -3006 -2942 3438 -3182 -3946 -3202 -3874 -3402 -3890 2770 -4014 3042 2814 -2838 -3306 2994 -2666 3938 -2954 3086 -3682 -4038 -2854 3650 3538 -3190 2698 -3122 -3230 -3638 3382 -3014 -3014 -3914 -3734 -2938 -4002 3138 -3702 -3014 2650 -3914 -3646 -2942 -3002 -3158 -2718 -3890 -3930 -2926 -2862 -3150 -3930 3426 -3342 3718 4010 2714 -3370 -3474 2782 -2650 -3134 -3926 -3054 -3598 -3878 -3182 -3162 3342 -3654 2890 3978 3682 4034 -3682 -2658 2758 -4002 3126 -2894 -2650 3142 -2930 -2962 -3506 -3066 -2690 3366 -3890 -3890 -2694 -2678 -3050 -3714 -3750 -3382 -4018 -3098 -3690 -3186 -2690 -3958 2694 -3222 3306 -3610 -3290 -3058 -3502 -3890 -3166 3702 -3182 3154 3790 -3302 2694 -3226 -3106 -2854 -3930 2894 3774 -2902 -3134 -3782 2650 -3254 3350 2806 -2702 3474 3126 -3422 -2730 -3422 3262 -3862 -3874 -2694 3386 -3998 -3014 -3790 -3598 -3950 3998 3382 -3426 -4042 -3810 3890 4034 3002 2982 -2730 -2810 -3850 -3082 -3694 -2794 -4018 -3058 2650 -3646 3066 -3298 -3874 4038 2874 -2942 3742 3714 -3054 3642 -3906 -2694 -3958 -3134 -3554 -3342 3602 -3038 -3958 -3114 -3726 -3930 3594 -3182 3730 -3546 -3886 -3042 -4018 3382 3866 -2806 2930 -3210 -3930 2954 2670 3034 3578 -3050 3538 -3606 3918 -2786 -3206 -3130 3442 2714 2986 2738 -3498 3814 -3070 -3954 -3502 3650 3166 -3070 -3878 3914 -3346 3850 3278 -3442 2838 3150 3870 2710 2702 2690 -3170 3594 3826 -3586 -3238 3134 3874 3998 -3134 -3138 -3578 -3650 -4002 2786 3882 2950 -4018 -2650 -3478 -3646 -2922 -3318 -3638 3774 -4042 -3682 -3034 -3190 -3814 -3010 -3190 -2814 2714 -2690 -3258 -3066 -3890 -3870 -3190 -3186 -3890 3430 -3770 3158 3610 -3854 -3086 3582 -3270 -2778 2650 -3666 2898 -4042 3230 3202 -3890 -3070 3962 4038 2754 3798 3382 -2702 3246 -2878 -2806 2914 -2950 -2766 -2822 4002 3230 -3966 -3170 2998 -3630 -3022 3490 -3358 -2858 -3930 3846 3774 3630 -3782 -4038 -3718 -2862 -3198 3250 -3490 3690 -2866 -3542 -3082 -3686 3598 -3662 -3674 -3810 -3826 -3182 -2854 -3062 -2894 -2690 -4034 -3054 -3510 3166 -2714 2938 -3998 2690 -2662 -3558 -3798 3174 3090 -2826 3570 -2678 -3142 -4042 -3998 3690 -3186 -3570 -3054 -3990 3930 -3086 -3426 -2974 -3346 4042 -3350 -3382 3582 -3438 -3394 -3478 -2994 -2974 3466 3218 -3194 3498 -3114 -3106 -3950 -3134 -3366 -3130 -3570 3130 -3578 -3374 3562 3582 3230 3870 -3538 -3970 -2802 2734 -3802 3774 -2650 -3402 3666 3618 3230 3050 -3978 2710 -3750 -3650 2734 3950 -3302 3058 3158 2790 -3758 -3950 3890 -3066 3174 4002 -3914 -3926 -3134 3514 3650 3686 -2822 3594 2726 -3546 -3338 3302 -3890 3610 -3406 3010 -3950 -3890 -3662 2702 -3842 -3434 2834 4014 -3250 -2754 -2662 3122 -3866 3538 -4042 3914 -3566 -3126 -3930 3726 3410 2854 2710 -3462 -3810 2742 -3050 -3930 -3858 3026 2906 3038 -2942 -3694 3002 -2738 2690 2910 -3394 -3070 -3998 3906 3446 3002 3922 3662 2690 2918 -3258 3538 -3786 3874 3218 -2822 -2934 -3342 -3902 -3770 -3914 -3650 -3802 3398 -4038 -3930 -3074 3342 3850 -3182 -3978 -2906 -3542 -4042 3306 3526 -3978 -3894 -3342 -2706 -4038 3106 3950 3734 -3890 -2694 -3998 3374 -2958 2966 -2690 -3178 -3478 3846 3554 -2650 -3678 3770 -4002 -2770 -3606 3094 4002 -2810 2894 -3646 -4018 -3694 -3998 -2974 -3466 3434 -3990 -3538 3746 -3702 3638 -3142 -3562 -3370 -3958 -3190 -3306 -3110 -3598 -3018 3310 -2846 -2690 3082 -2894 3402 -3886 -3970 -3998 3810 3698 2802 -3134 3342 -3998 2882 -3978 -3306 -3158 -3362 3534 -3350 3062 -3650 3326 3134 3006 3702 -3830 3086 2978 -3402 3830 -3310 2950 2734 3194 2706 3374 3862 3738 3890 -3998 -3582 -3890 3278 -3418 -2842 3378 -3874 -3598 2698 -3978 -3386 -3506 3338 2974 3198 3858 3046 3510 3202 -3990 3662 2818 3238 -3114 3106 -3682 -3750 3062 -2706 -3346 -3002 2650 -3946 -3650 -3950 -3410 -3270 -3094 -2994 3150 -2914 -3414 3766 -3838 2934 3466 3110 3218 -3382 4042 -3450 -2886 3998 2962 3182 3646 -3910 -3542 -2702 -3066 3250 3650 -3070 3354 3506 -2690 3686 -3890 -3726 2838 -3290 -3658 2662 -3074 3634 -2714 -3098 -2726 3466 -3638 3602 -3998 -3638 -3538 3990 -3110 -3186 -3990 -3054 3098 -2894 3886 -3466 -3062 -3606 3870 3990 -3790 -3994 3346 2774 -3438 -3930 -2986 2966 -3998 -3406 -3682 3558 3102 3662 -3598 -3110 -3438 3342 -3450 -3102 3970 -3642 2890 3278 3058 3566 3502 3814 3766 3822 2894 -3110 -3846 -3642 3606 2942 -2906 2950 2650 3410 -3914 3990 3070 -3718 -3122 -3338 4030 -3306 2694 3910 -3022 -3490 -3074 -3426 3742 3598 -3890 -2818 -3330 -3174 -2942 -3914 -3134 3814 -3958 -3998 3546 -3086 -3438 2694 -3238 -2926 3910 -3890 -2778 3050 3426 3734 3558 3118 2978 -3478 3206 -3790 -2854 -3918 2962 3034 -3610 -2850 -3914 2782 3346 -3930 -3170 3610 3690 2818 3646 3802 -3674 -3170 3146 2998 -3054 3790 -2866 2650 3658 -3134 -3066 -3914 3018 -2962 -3110 -3990 -3890 3018 3534 3950 -3198 -3486 3954 3694 -4042 -3650 -3238 -3254 -3398 2830 4038 -3958 -3730 -3914 -3446 -2714 -3726 -3586 -3298 -2702 -2898 2902 4034 -3478 2694 3078 3018 3506 3326 -3126 3706 -3790 3042 -3354 2734 -2822 3094 -3550 -4022 -2758 3470 2734 -3122 -3870 -3054 2686 -3234 3270 3402 -3410 -3926 -3034 3706 3310 3186 3090 -3582 -3182 3486 -3654 -2958 3466 -3914 -4018 -3430 -3178 -3974 2702 -3478 -2918 3594 3762 -3094 3134 4014 3038 3146 3718 3678 -2934 -3742 2842 -3586 -3170 2766 -3686 -3822 -4038 -3526 -3978 -3914 -3014 -3074 3694 -3810 -3734 -2826 -3982 3798 -3978 3450 -3478 -3990 3254 3874 -3830 -3598 -3598 -3750 -3958 -3990 -3382 -2742 3702 -3638 -3566 3974 -3298 3978 -3646 3182 -3346 3202 -3738 -2986 3230 2998 3166 3186 3190 3350 -3894 -3590 3926 3010 3634 -3594 3746 3530 -2706 3246 -3990 -2750 -3798 -3762 -2786 -3042 -3954 2942 -3958 -3630 -3206 -3014 -2714 3926 -3586 -3198 -3090 -3890 -2734 -3018 2690 -2694 -3298 3838 -3226 4042 -4042 2662 -2910 -3154 -4018 3690 3022 3714 -2874 2774 -3478 -3530 -3802 3486 -3242 3054 3350 3994 -4002 -3990 3694 2754 -3646 2898 3294 3990 -2966 -4022 4042 -3890 3342 3778 3386 -2730 -3750 -3102 -3646 -3290 2710 4042 -3930 -2926 -2650 -3890 -3702 -2690 3866 3294 -3866 -3254 -3578 2782 3070 -3170 -3782 -3710 -3834 -3058 2694 2674 3702 -3974 2994 2690 3642 3134 -3830 3494 3446 3598 -3966 3126 -3090 -4042 -3114 -3266 3610 2678 -3750 -3370 -3014 3682 -3170 -3238 -3686 -3950 -3958 3022 -3074 3594 2854 2670 -3082 -3490 -2690 -3786 3002 3002 -3678 -3982 -2822 -3094 4042 2814 3270 -3606 -3574 -3474 -2706 -2718 2654 -2654 -3814 2670 -3050 -3426 -2650 -4042 3750 3442 -3930 -2854 2906 -3198 -3950 -2778 -3186 -3850 2962 -2746 -2934 2666 3594 -4018 -3926 2886 -3350 3206 -3642 4038 -3878 -3114 3870 3526 -3634 -3914 -2742 3750 3390 -2910 -3166 -3814 2850 3698 -3890 3970 -3950 3642 -3382 3590 3306 3806 -3630 -3474 -3078 3910 -3282 -3950 3934 -3998 -3582 -3722 -2694 2690 2938 -3558 -3290 3586 -2962 -2894 -3830 3546 3526 -3530 -3590 -2982 3334 -2690 -3114 -3638 3662 -3142 -3146 -3034 -3098 -3094 2690 2678 -3342 3570 3546 -3238 -3958 3566 -2974 -3638 3934 -3438 -3818 -3438 3750 -3598 3934 -3018 3694 -3598 -2962 -3122 3390 3178 -3442 -3590 3618 3050 -3930 3742 3970 -3014 -3230 2890 -3278 3694 -3558 3346 -3270 -2910 3466 -3750 -3274 -3874 3706 -3270 -2898 -3094 -3054 -3498 -3278 3174 -3898 3134 3874 2718 3310 -3462 -3218 3338 3422 3318 -3334 3566 4038 -3930 -3538 3122 -3106 -3658 -3606 -3886 -3346 -3242 2714 3598 -3842 2830 -3434 -3494 -2806 -3750 -2842 3094 -2850 -3670 -3190 -2942 -3654 -2678 3762 3174 3386 -2670 -3306 3122 3314 -3146 3530 -3518 -3526 -2702 3542 -3646 -3774 3486 -4002 -3142 -3014 -3774 -3886 2690 3782 3814 2658 2742 3450 2846 3570 -2718 3030 -3206 -3238 -2946 -4042 3394 -3014 4002 -3890 2942 3158 -3890 -3070 -2654 -3054 -3902 3234 -3190 -3894 -2706 -2690 3086 3886 3178 -3198 -2674 -3998 -3958 -3298 -3890 -3790 -3638 -3058 -3406 -3478 -3386 -3470 -2690 2738 -3930 3578 3618 3662 -3278 -3974 -2822 -3486 -3790 -3142 -2690 3958 -3598 3946 -3134 -2698 3874 -3930 -3518 2650 -3654 2826 -2986 -3198 2690 3726 3074 -3386 -3750 -3546 2726 3874 3070 -3494 3262 3414 4018 2966 3554 -3030 -3814 -3878 4014 -3694 -4042 -3626 -3438 2878 -3786 2706 -3434 -2814 -4002 -2666 -3598 -3202 -3142 4002 -3446 -3718 -3994 -3010 3802 -2730 2690 3950 3506 3298 -3198 2650 3890 -3478 -3918 -3850 3674 3746 -3998 -3930 3346 -3950 3602 2822 -2898 -3054 3890 4002 -4042 -2830 -3182 3086 -3378 -3154 -3630 -3638 -3182 3878 3378 3230 4038 -3446 -3438 3654 -2814 3658 -3654 3862 -2654 -3642 -2650 3014 3678 -3846 3642 3830 -3174 3850 -2690 -3478 2718 -2710 -4002 3346 3078 2666 -3766 2870 2934 3566 3882 2846 -3790 3354 3646 -3682 3094 2690 3430 -3050 -3566 -3178 3650 3182 2990 -4002 3710 -3930 -3822 -2650 -3442 -3242 3242 -2910 -3650 -3778 -3794 -3130 -2650 -3918 -3774 -3974 -3094 -3098 4042 -3950 -3106 3134 3050 3182 -3150 -3830 -3486 -3846 -3534 3758 -3610 -3850 -3618 -2950 3154 2930 2822 -4002 -2858 -3146 -3570 -2910 -3374 3370 -3986 2666 -3890 -3538 2698 3166 -3894 2846 3766 -2754 3386 -3838 2690 3246 -2978 -2754 2846 -4042 -3090 -2694 2854 -3890 -3594 4002 -4002 4002 3646 3670 3382 -4002 3114 -3798 2846 4042 -2706 3238 2710 -3886 2690 -2790 3294 2786 -3998 3838 3870 -3198 2726 2694 -3918 -2650 -3422 -2814 -3142 3658 -3262 -3782 3710 -4042 -3978 3066 3634 -3142 3526 3462 -2702 3870 3186 -3998 -3402 -2906 -2742 -3834 3906 2702 -3702 -2798 3822 2738 3018 3798 -3978 3990 3422 -2902 3090 -3306 -3882 -3022 3490 -2694 -3650 3658 -3790 -3610 -2794 3558 -3094 3222 3478 -4042 3486 -3998 2778 -3550 3634 3706 -3542 -2846 3338 -3318 -3298 -3638 -3642 -3022 3662 4022 -4002 3738 3410 -3142 2934 3178 3826 3986 3218 -3558 2982 -3418 -3998 -3210 3898 -3790 2698 -3178 -3930 -3874 2674 -3830 -3158 -4042 3766 -2858 2950 3214 3950 3402 3046 3082 3438 -3958 -3998 3774 -3106 -3090 3230 -3774 -2710 -3542 3178 -3146 -3054 -3362 -3106 3578 -3822 3146 -3950 3406 -2778 2766 -2706 3494 3298 -3070 -3598 3066 -3142 -3682 -3382 3526 3702 3914 -3854 -3838 -3214 -3342 -3278 -4002 2754 2650 -3438 3442 3678 -2966 2650 -3558 -3478 -3950 3214 -3126 -2658 -2870 2938 -3690 -3722 -2886 -3378 -3054 3702 3910 3686 2662 -2822 -3978 -3598 -3134 -3766 2706 3850 -3682 -3326 -3930 -2686 -3298 3806 3502 -4038 2978 -3058 -2690 -3690 3322 -3526 2690 3238 2734 -3638 3518 -2846 2822 3946 -3822 3090 -3930 3774 -2902 2878 -4042 -2902 -3146 -3410 -2674 -3922 -2650 2846 -2838 2810 -3870 2866 -2714 3734 3322 -3042 3186 -3110 -3998 -2934 -3950 3866 -3894 -3346 -3198 4042 -2922 -3006 2790 -3930 3402 3954 -3922 2934 -3094 3294 -3150 3450 -3174 -2790 -3098 -3438 3330 2814 -3958 -2998 -4018 -2674 3050 -3050 -2674 3766 -3498 -3790 2882 3254 -3998 -3466 3126 -3198 -3130 -2698 -3198 -2902 -3930 3782 -3462 3694 -4010 -2974 3534 3770 -3438 -3722 -3478 -3958 -4018 -3610 3758 3878 -3902 -3874 4018 -3074 -3346 -4002 3218 -3586 -2674 -2650 -2850 3674 3478 -3138 -3122 3930 -3890 2658 -3070 -3270 2650 3438 -2690 -3638 3282 3370 3438 3286 2886 -3078 -2950 3578 3354 -3182 -3050 -2734 -3930 -3602 3606 -3110 3366 -3874 -3990 -2810 -2926 -2822 -3590 -3774 -2794 3746 3206 -2950 -2942 3410 -3246 3138 -3870 -3998 2650 3502 -3890 -3678 -3750 3370 2962 -3626 -3182 3214 -3954 -3238 3806 2742 -3686 3566 -2806 -3930 3318 -2774 -3002 -2818 -2858 -3094 3142 3850 -3406 -3914 -3826 3622 3930 -3066 -2806 -2750 3770 -3342 -3810 -3262 -3090 -3438 2878 3142 3494 -3926 -3318 -3166 -2650 -3222 -3650 3726 3714 -2650 -3950 -3106 -3642 -3038 -3686 -2654 2678 3194 3162 -3438 -3014 -3958 2806 3346 2650 -2898 -3218 -3374 3606 -3930 -3682 -2942 -2858 -3742 -3634 3666 -3058 -3538 3170 -3290 -3346 2690 -2690 -3238 3842 -3126 -3878 -3046 3438 2866 -3094 3242 -3910 3290 3210 3530 -3386 -3014 3998 3370 3974 3650 -3758 -3382 3166 2718 -3478 -3422 2838 -3810 -3142 -3434 -4018 2826 3430 -2674 -3870 2714 -3850 2982 -2690 -3834 3002 3574 -3066 -4002 4002 -2650 -2702 -3318 -3714 -3990 -3286 3698 2846 -3626 -3890 -2946 -4002 -3998 3106 -3878 3810 3798 -3150 3990 -3302 -3590 4038 -3638 -3726 2706 2690 3162 3906 -3094 3618 -3550 4018 -3170 3110 3674 3126 3638 -3422 3166 3950 -2654 -3318 3590 -3182 3998 3434 
314.86	d NODES 24604
314.86	d CHECKS 61177895
314.86	   
314.86	   totalWckTime=314.616  totalCpuTime=310.1

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/node5/watcher-205942-1168168584 -o ROOT/results/node5/solver-205942-1168168584 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205942-1168168584/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.03 1.99 1.86 4/85 9045
/proc/meminfo: memFree=1124904/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=18540 CPUtime=0
/proc/9044/stat : 9044 (runsolver) R 9042 9044 8977 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 145472906 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9044/statm: 4635 279 244 17 0 2626 0

[startup+0.107859 s]
/proc/loadavg: 2.03 1.99 1.86 4/85 9045
/proc/meminfo: memFree=1124904/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=914988 CPUtime=0.08
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 2987 0 1 0 6 2 0 0 18 0 8 0 145472906 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8357692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.519906 s]
/proc/loadavg: 2.03 1.99 1.86 4/85 9045
/proc/meminfo: memFree=1124904/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915328 CPUtime=0.49
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 7937 0 1 0 44 5 0 0 18 0 8 0 145472906 937295872 7676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153691402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228832 7676 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.342 s]
/proc/loadavg: 2.10 2.00 1.87 3/92 9052
/proc/meminfo: memFree=1032496/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915596 CPUtime=1.31
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 28941 0 1 0 116 15 0 0 23 0 8 0 145472906 937570304 28678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228899 28678 2160 14 0 215369 0
[pid=9044/tid=9046] ppid=9042 vsize=915596 CPUtime=0.11
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 12399 0 0 0 7 4 0 0 16 0 8 0 145472910 937570304 28678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937570304 28678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 145472911 937570304 28678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937570304 28678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915596 CPUtime=0.16
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 409 0 0 0 16 0 0 0 16 0 8 0 145472914 937570304 28678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937570304 28678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937570304 28678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915596

[startup+2.97919 s]
/proc/loadavg: 2.10 2.00 1.87 3/92 9052
/proc/meminfo: memFree=1009392/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915596 CPUtime=2.94
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 32069 0 1 0 277 17 0 0 25 0 8 0 145472906 937570304 31801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228899 31801 2160 14 0 215369 0
[pid=9044/tid=9046] ppid=9042 vsize=915596 CPUtime=0.3
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 15519 0 0 0 24 6 0 0 16 0 8 0 145472910 937570304 31801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937570304 31801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 145472911 937570304 31801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937570304 31801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915596 CPUtime=0.17
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 412 0 0 0 17 0 0 0 16 0 8 0 145472914 937570304 31801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937570304 31801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915596 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937570304 31801 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.26055 s]
/proc/loadavg: 2.10 2.00 1.87 3/92 9052
/proc/meminfo: memFree=1001776/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915732 CPUtime=6.18
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 32680 0 1 0 601 17 0 0 25 0 8 0 145472906 937709568 32408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228933 32408 2180 14 0 215403 0
[pid=9044/tid=9046] ppid=9042 vsize=915732 CPUtime=0.34
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 16056 0 0 0 28 6 0 0 17 0 8 0 145472910 937709568 32408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937709568 32408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 145472911 937709568 32408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937709568 32408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915732 CPUtime=0.19
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 422 0 0 0 19 0 0 0 16 0 8 0 145472914 937709568 32408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937709568 32408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937709568 32408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915732

[startup+12.7443 s]
/proc/loadavg: 2.09 2.00 1.87 3/92 9052
/proc/meminfo: memFree=999856/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915732 CPUtime=12.61
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 32682 0 1 0 1244 17 0 0 25 0 8 0 145472906 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9044/statm: 228933 32410 2180 14 0 215403 0
[pid=9044/tid=9046] ppid=9042 vsize=915732 CPUtime=0.34
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 16056 0 0 0 28 6 0 0 16 0 8 0 145472910 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 145472911 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915732 CPUtime=0.19
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 424 0 0 0 19 0 0 0 17 0 8 0 145472914 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937709568 32410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915732

[startup+25.6117 s]
/proc/loadavg: 2.07 2.00 1.87 3/93 9059
/proc/meminfo: memFree=1294824/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915732 CPUtime=25.4
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 32692 0 1 0 2522 18 0 0 25 0 8 0 145472906 937709568 32420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830962 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9044/statm: 228933 32420 2181 14 0 215403 0
[pid=9044/tid=9046] ppid=9042 vsize=915732 CPUtime=0.34
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 16056 0 0 0 28 6 0 0 16 0 8 0 145472910 937709568 32420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937709568 32420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 145472911 937709568 32420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937709568 32420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915732 CPUtime=0.21
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 433 0 0 0 21 0 0 0 16 0 8 0 145472914 937709568 32420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937709568 32420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937709568 32420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915732

[startup+51.2367 s]
/proc/loadavg: 2.10 2.01 1.88 3/93 9059
/proc/meminfo: memFree=1172904/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915732 CPUtime=50.89
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 34878 0 1 0 5069 20 0 0 25 0 8 0 145472906 937709568 34604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834631 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9044/statm: 228933 34604 2181 14 0 215403 0
[pid=9044/tid=9046] ppid=9042 vsize=915732 CPUtime=0.44
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 18238 0 0 0 37 7 0 0 16 0 8 0 145472910 937709568 34604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937709568 34604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 145472911 937709568 34604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937709568 34604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915732 CPUtime=0.21
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 435 0 0 0 21 0 0 0 16 0 8 0 145472914 937709568 34604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937709568 34604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937709568 34604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915732

[startup+102.484 s]
/proc/loadavg: 2.04 2.01 1.88 3/94 9060
/proc/meminfo: memFree=1158432/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915732 CPUtime=101.89
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 38183 0 1 0 10166 23 0 0 25 0 8 0 145472906 937709568 37906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9044/statm: 228933 37906 2181 14 0 215403 0
[pid=9044/tid=9046] ppid=9042 vsize=915732 CPUtime=0.61
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 21536 0 0 0 52 9 0 0 16 0 8 0 145472910 937709568 37906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937709568 37906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 145472911 937709568 37906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937709568 37906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915732 CPUtime=0.22
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 439 0 0 0 22 0 0 0 16 0 8 0 145472914 937709568 37906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937709568 37906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937709568 37906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915732

[startup+162.486 s]
/proc/loadavg: 2.01 2.00 1.89 3/94 9060
/proc/meminfo: memFree=1147680/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915732 CPUtime=161.6
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 40862 0 1 0 16135 25 0 0 25 0 8 0 145472906 937709568 40584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9044/statm: 228933 40584 2181 14 0 215403 0
[pid=9044/tid=9046] ppid=9042 vsize=915732 CPUtime=0.73
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 24211 0 0 0 63 10 0 0 16 0 8 0 145472910 937709568 40584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937709568 40584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 145472911 937709568 40584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937709568 40584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915732 CPUtime=0.22
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 442 0 0 0 22 0 0 0 16 0 8 0 145472914 937709568 40584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937709568 40584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915732 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937709568 40584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.6
Current children cumulated vsize (KiB) 915732

[startup+222.488 s]
/proc/loadavg: 2.00 2.00 1.90 3/94 9060
/proc/meminfo: memFree=924832/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915876 CPUtime=221.31
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 96899 0 1 0 22084 47 0 0 25 0 8 0 145472906 937857024 96550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9044/statm: 228969 96550 2545 14 0 215439 0
[pid=9044/tid=9046] ppid=9042 vsize=915876 CPUtime=2.43
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 79649 0 0 0 214 29 0 0 16 0 8 0 145472910 937857024 96550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937857024 96550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145472911 937857024 96550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937857024 96550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915876 CPUtime=0.36
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 564 0 0 0 35 1 0 0 15 0 8 0 145472914 937857024 96550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937857024 96550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937857024 96550 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.31
Current children cumulated vsize (KiB) 915876

[startup+282.499 s]
/proc/loadavg: 2.00 2.00 1.90 3/94 9060
/proc/meminfo: memFree=924768/2055920 swapFree=4192812/4192956
[pid=9044] ppid=9042 vsize=915876 CPUtime=281.05
/proc/9044/stat : 9044 (java) R 9042 9044 8977 0 -1 0 96923 0 1 0 28058 47 0 0 25 0 8 0 145472906 937857024 96565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074265977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9044/statm: 228969 96565 2547 14 0 215439 0
[pid=9044/tid=9046] ppid=9042 vsize=915876 CPUtime=2.43
/proc/9044/task/9046/stat : 9046 (java) S 9042 9044 8977 0 -1 64 79649 0 0 0 214 29 0 0 16 0 8 0 145472910 937857024 96565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9047] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9047/stat : 9047 (java) S 9042 9044 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145472911 937857024 96565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9048] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9048/stat : 9048 (java) S 9042 9044 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145472911 937857024 96565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9049] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9049/stat : 9049 (java) S 9042 9044 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145472914 937857024 96565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9050] ppid=9042 vsize=915876 CPUtime=0.39
/proc/9044/task/9050/stat : 9050 (java) S 9042 9044 8977 0 -1 64 578 0 0 0 38 1 0 0 15 0 8 0 145472914 937857024 96565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9044/tid=9051] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9051/stat : 9051 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145472914 937857024 96565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9044/tid=9052] ppid=9042 vsize=915876 CPUtime=0
/proc/9044/task/9052/stat : 9052 (java) S 9042 9044 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145472914 937857024 96565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.05
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 314.956
CPU time (s): 313.324
CPU user time (s): 312.756
CPU system time (s): 0.567913
CPU usage (%): 99.4819
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 312.756
system time used= 0.567913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104294
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= 8416
involuntary context switches= 13711

runsolver used 0.420936 s user time and 0.98185 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sun Jan  7 11:16:25 UTC 2007


IDJOB= 205942
IDBENCH= 4177
FILE ID= node5/205942-1168168584

PBS_JOBID= 3478824

Free space on /tmp= 66333 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c63689b420ce6e8c6aef37817cc56cbd

RANDOM SEED= 625804586

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:       1125320 kB
Buffers:         74844 kB
Cached:         349340 kB
SwapCached:          0 kB
Active:         631724 kB
Inactive:       234296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1125320 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           20356 kB
Writeback:           0 kB
Mapped:         462044 kB
Slab:            48344 kB
Committed_AS:  4268244 kB
PageTables:       3380 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= 66328 MiB



End job on node5 on Sun Jan  7 11:21:40 UTC 2007