Trace number 205644

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 331.722 333.579

DiagnosticValue
CHECKS107231010
NODES4280

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-10.xml
MD5SUM5e6866fa03c606526e6f95a98ab50ddf
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 benchmark63.0164
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints53548
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension53548
Global constraints used (with number of constraints)

Solver Data (download as text)

0.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=esac.xml
0.43	   
0.43	   instance
0.43	     name=/tmp/evaluation/205644-1168167809/unknown.xml
0.47	   
0.47	   domains being loaded...
0.50	   
0.50	   variables being loaded...
1.10	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
1.10	       =>  wckTime=0.705  cpuTime=0.48  mem=58M777
1.10	   
1.10	   predicates being loaded...
1.11	   
1.11	   constraints being loaded...
202.94	   
202.94	   INFO : Stopping converting binary constraints (cpu=200.16, mem = 145M792)
209.34	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=975  nbConvertConstraintsChecks=359238186
209.34	     nbExtensionStructures=872  nbSharedExtensionStructures=103  nbConflictsStructures=872
209.34	     nbSharedConflictsStructures=103  nbSharedBinaryRepresentations=901781  nbEvaluationManagers=18415
209.34	     nbSharedEvaluationManagers=8923  maxDegree=53  maxArity=2
209.34	       =>  wckTime=208.938  cpuTime=205.54  mem=186M159
209.94	   
209.94	   solver IterativeSystematicSolver being built... 
211.22	       =>  wckTime=210.825  cpuTime=206.24  mem=334M765
322.05	   
322.05	   INFO : Stopping ESAC
322.06	   
322.06	   preprocessing
322.06	     nbConstraintChecks=102926743  nbValidityChecks=39256488  nbPropagations=105001  nbRevisions=1893059
322.06	     nbUselessRevisions=1761957  nbSingletonTests=4778  nbEffectiveSingletonTests=3  nbESACBranches=20
322.06	     nbRemovedValues=1794077  detectedInconsistency=no
322.06	       =>  wckTime=110.787  cpuTime=110.45  mem=334M765
324.79	   
324.79	   search
324.79	     run=0  nbConstraintChecks=1029760  nbValidityChecks=3480529  nbPropagations=116672  nbRevisions=2102679
324.79	     nbUselessRevisions=1958386  nbAssignments=660  nbFailedAssignments=9  nbBacktracks=13  nbVisitedNodes=672
324.79	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=651
324.79	       =>  wckTime=113.52  cpuTime=113.17  mem=335M709
333.49	   
333.49	   search
333.49	     run=1  nbConstraintChecks=4304267  nbValidityChecks=16995965  nbPropagations=276812  nbRevisions=4943535
333.49	     nbUselessRevisions=4607507  nbAssignments=4280  nbFailedAssignments=18  nbBacktracks=21  nbVisitedNodes=3700
333.49	     nbRestartNogoods=8  mapSize=0  nbInferences=0  nbTooLargeKeys=3029
333.49	       =>  wckTime=122.223  cpuTime=121.85  mem=349M975
333.49	   
333.49	   global
333.49	     nbConstraintChecks=107231010  nbValidityChecks=56252453  nbPropagations=381813  nbRevisions=6836594
333.49	     nbUselessRevisions=6369464  nbRestartNogoods=8  solvingWckTime=122.224  solvingCpuTime=121.85  expiredTime=no
333.49	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=328.19
333.49	       =>  wckTime=333.093  cpuTime=328.13  mem=349M975
333.49	   
333.49	s SATISFIABLE
333.49	v -3430 -3186 3218 -3582 4030 -4146 -4010 -3150 -3346 -3758 3678 3298 -3262 -4002 -4542 -3594 -3306 4182 -3550 -3898 -3622 -3666 -3482 -3342 -4502 -3342 3722 -4130 -3798 -3538 3698 -4250 -3626 -3866 -3514 4130 3306 3974 3962 3802 4046 4142 3910 -4330 4230 4314 3150 -4202 -3962 3502 -4442 -3482 -4434 4502 -4106 -3150 4198 -4502 -4282 -4042 -3650 -3402 -4430 3886 -4110 3962 -4162 4490 -4542 -3762 -4390 -3654 3250 -3722 -4302 -4502 -4542 3502 4250 4434 4298 -4202 -4026 4162 -3490 -3246 -4502 3566 -4406 3294 4310 -4210 -3974 -3370 4334 -3162 4126 4206 -4078 -4306 -3962 4502 -3258 -3190 -4482 -3974 -3722 -3150 -3854 3190 -3406 -3770 3438 -3546 -3998 4266 -3650 3966 3202 -3218 3986 -3838 -3710 -4502 3830 -3478 -4186 -4262 4170 -4450 3746 -3466 -4258 -3410 -4106 -4474 -3910 3574 -4194 -3582 3346 4238 -3150 -3642 -3210 3814 -3650 4406 -3246 3310 -3938 -3694 -4042 4294 -3618 -3894 -4034 3402 3302 -4438 -3434 4294 4366 3246 -3546 4006 3590 -4186 4094 -4466 -3238 -3590 4242 4270 -3538 -4498 3594 -4146 -4246 -3586 -3346 4070 3638 3538 -3750 -3298 -3190 -3938 3802 -4542 -3582 -3470 3362 3550 3302 4142 -3550 -3406 -3902 3994 4470 3934 4190 4074 -3190 -4098 3190 -3350 4502 -4350 -3510 3402 -4522 4190 -4426 -3610 -3238 3194 -3302 -3150 -3210 4098 3518 -4114 -3702 -4226 3914 4446 -3858 -3202 -3566 -4454 4170 -3642 -3994 3490 -4446 -3602 -4542 -3214 -4386 -3250 4146 -3314 -3190 -4542 -4342 -3954 3810 -3250 -3694 -3322 -3786 3778 -3818 3910 -3338 4198 3290 -3730 3566 -4302 -4014 -4146 -3398 -3218 -3442 -3150 -3582 3614 -4422 3570 3950 -3298 4170 3418 -3534 -4542 3810 3634 -3150 4462 -3614 -4522 -3646 -3570 -3214 -4450 -4126 -3822 -3710 -4322 4338 -3542 3162 -4310 -3190 3302 3686 -3190 -4014 -4462 4006 3282 -3706 3674 -3774 -3622 -3602 3466 -3838 -3818 -4490 -4346 -3650 -4502 -3250 -3738 -4486 -3558 3450 -4190 -4130 4474 4290 4386 -3670 -3198 -3158 -3150 -3190 -4226 -3422 3762 -3422 3750 -4238 4494 -4422 -4506 -3246 -3302 -4522 -3590 3962 -3718 -4186 -3654 3974 -3522 3586 -3234 -4178 3590 -3602 -3230 -3970 3362 -3426 -3366 3366 4150 -4322 -3398 -3330 -3650 -3330 4142 -4142 3270 -3870 -3762 -3362 -4334 -3794 4502 -3662 4110 -4334 -4518 -4234 -3486 3462 4530 -3190 3766 -4458 3638 -3178 -3330 4094 3574 -3682 -3574 3202 -3622 -4150 3150 3850 4234 3418 -4158 -4518 -3594 -4322 -4462 -4410 -3462 -4410 -4254 -4146 3374 -3278 -3310 -4186 -4306 3270 -3574 -3302 -3514 -3822 3606 -4086 3822 -4126 -3710 -4034 -4254 4266 -3362 3274 3554 -3590 4502 -4354 3542 3258 -3242 -3442 -3462 -3382 -3346 3894 4290 3654 -4374 3258 4494 3506 -3630 3582 4458 -3210 -3262 4134 3338 3374 3510 3414 -3530 3450 4242 -3262 -3410 -3694 3302 -3910 3446 -3446 4306 -4450 -4470 -4210 4058 3218 -3950 -3590 -3374 -3678 3614 4378 4282 3594 3190 -4346 3190 -4338 3170 -3166 -4470 -3458 -3350 -3970 -4206 3302 -4502 -3158 3302 -4162 4202 -3994 -4502 -4374 3638 -4422 -4138 -3306 -3662 -3770 -4190 -3182 -3158 -4282 -4206 4506 -4502 -4214 -3306 -3586 -3354 -4502 3646 4350 -4414 -3622 -3954 -3374 -4014 -3350 3878 -4522 -4438 -4206 -3638 4074 -4046 -3294 3150 4002 -3206 -3198 -3614 -3438 -3718 -3150 4098 3342 -4502 3406 4114 -3774 -4526 -4370 -3766 -3974 -3778 3534 -4146 -3990 -3942 -4466 3166 4082 -3678 -3314 -3966 3586 -4470 4366 3298 3694 3790 -4342 -3214 -4350 -3914 3630 -4190 -4030 -3630 3614 -3414 -4146 3818 -3614 3578 -4502 -3586 4502 -3814 -3594 -3666 -4362 3218 4238 -3554 4018 4422 -4502 4514 -3406 4138 -3962 -3498 -3642 -4542 -3994 -3726 -4146 4186 -3498 -4258 -3214 -3294 -4102 4190 -3686 -3582 3190 -3850 -4386 -4282 -4254 3950 3782 -4450 4378 -3190 -3438 -3382 3710 -3566 -3862 -3622 -3810 -3550 -3434 -4058 -4038 -3974 -3678 4122 -4134 -4394 4022 -3650 -3974 -4522 3986 3258 -3270 3698 3974 -4074 -4078 -3690 -3270 3194 -3826 -3630 -4486 -3174 -3682 -3170 -3210 -3318 -3494 -3246 4010 -3586 -3638 -3206 -3394 3642 -3622 -3250 4090 -4266 3626 -4502 -3934 3998 -4210 -3190 -3582 4330 -4338 4146 4478 -3478 -3870 3818 3218 3226 3682 4026 -3630 -3822 -3206 -3738 -3306 4218 -4414 -3430 4314 4426 4138 3190 -3502 -4502 3198 -4446 4246 -3678 3758 -4026 -3754 -3390 -4542 3190 -3278 -3778 3502 -4542 -3218 -3278 3262 3770 -4394 -3366 3762 -3682 4226 -4166 -4246 4030 -4542 3438 -3830 -4234 -4158 -4250 -3434 -3722 -4002 -3190 -4462 4426 4310 -3418 -3862 4542 4322 -4250 -3950 -3858 -4314 -4242 -4186 -4450 4230 -3906 -3522 3150 3470 -3642 4426 -3850 -3614 -3330 3262 3390 -4014 -4230 3302 3430 -3586 -4230 -4230 -4462 4338 -3730 -4542 3726 -4046 -3918 -4502 4118 -3222 -4402 -4502 3190 -3238 4482 -3370 3646 -3658 4294 -3406 -3786 3198 4398 3878 -4450 4486 -3554 -3770 3306 3270 -3210 -4542 -4506 -3994 3306 -3318 -3974 -4414 3658 3874 4482 4002 3750 -4126 -3178 -3814 -4246 -3702 3670 -3726 -3610 -3814 -3870 3522 -3630 3478 -4354 -3966 3582 3378 -3382 3802 4158 -4070 4026 -3402 -4390 -3370 3218 -4542 3866 -3754 -4186 4534 3942 4070 3914 3894 -3842 4106 -3594 4306 -4094 4346 -3322 -3362 -3166 4426 3918 -3634 3246 4270 -4086 3774 4422 3398 -3154 -4374 3466 -4502 4090 -3342 3850 4338 3814 -3910 -3258 3470 3218 -3206 -4442 -3862 -3386 -4182 3150 -3574 3962 -3430 -3910 3902 -4542 -3690 -4262 3778 -4222 -3738 -4502 3570 -3434 3802 3594 4182 -3610 4370 4470 -3470 -4542 -4182 -3318 -4322 3694 -3866 3182 -3830 3418 -4542 -4502 -4502 4446 -4514 3150 3810 3430 -4414 3506 -3814 -4514 3722 4354 -4118 4066 -3858 -4186 3730 -4126 3734 -3850 -3846 3326 3274 4322 3710 -3230 -4542 -4142 -4006 -3814 -3586 -3686 3934 -3794 4322 -3246 -3646 3670 -3574 -3326 4322 4274 -4542 -3862 3802 -3426 -3662 -3914 -4186 4118 -3730 -4354 -3634 4362 4026 -3974 -4106 3414 -3378 -3862 -3150 -3306 4246 -3366 -3590 -3482 -4482 4478 -3190 -4334 3966 4278 -4502 -4054 -3274 4502 -4502 -3686 -3546 -3482 -3542 -4530 4182 -3514 -3734 3586 3210 -4150 3342 -3706 -3698 4446 3714 3746 3598 3502 -3522 3502 3506 -3850 -3614 -4542 4370 -3810 -4094 4146 4514 -4322 -3830 -3330 -3450 4014 3506 -3370 3922 3858 -3822 -4014 -3194 -3654 4526 -4350 -3622 -3410 -3802 -3306 -3330 3190 4166 -3870 -3694 -3306 4070 -3678 3850 -4462 4502 3950 -3714 3454 -3410 4358 -4186 -4126 -4210 3758 3170 3614 -3494 -4486 -4002 3870 -3818 3422 3582 -3894 -3702 -3530 3654 -4290 -4502 -4034 -4062 3986 -4282 3338 -3370 3690 -3190 -3218 -3990 -3202 4214 -4114 -3590 -4374 3842 -4438 4042 -4174 -3206 3554 -3574 -3454 3610 -4374 3750 3150 -3282 4050 -3330 -4410 4210 -3654 4258 3698 -4386 3990 3606 -3522 4182 -3522 -4342 3262 -3154 4122 3426 -3814 -3950 -3974 3342 4226 -3274 4478 3858 -3610 -4014 -3150 -4130 -3738 -4210 -3854 -3206 -3390 -3894 3346 3530 -3282 4406 3902 -4010 -3282 -3286 3270 3870 3922 -3614 4110 4510 4542 -4322 -3626 -4282 -3294 -3194 3818 -3810 3442 -4026 4078 4502 -4282 3910 -3910 -4042 -3186 -4542 -4206 3326 -4006 3646 -3650 -3670 -3666 -3974 -3390 -3994 -4102 -3294 4462 3290 -4502 -3214 -3618 -4426 4110 -4330 3190 -4334 4498 -3850 -4482 4318 4446 -3282 -4006 -3566 3590 4186 3962 3438 -3254 -3282 4502 3654 4502 -3750 -3150 -3286 4242 -3210 -3546 4030 4270 3170 -3370 4502 4090 -4502 -3958 -3286 4350 3770 -3358 -4238 -4150 3510 -4382 3918 3578 -3850 3930 -3478 -3206 4458 -3358 3786 -3822 4490 -4266 -3870 3766 -3190 -3630 4502 -3546 -3238 -3606 -3606 -3630 -3166 4038 -3454 -4014 -3730 4402 3214 -4038 -3558 -4250 4166 -4014 -4282 3510 -3342 -4034 3530 -4282 3630 -3330 3222 4442 4230 3266 -3218 3826 -3202 -4070 -3154 -3622 3962 -4542 -3606 -3370 -3682 -3302 -4542 -4250 3810 -3298 -3894 -3714 -3282 3822 -3702 -4542 3658 4374 3542 -4110 -4214 -3478 -4278 4418 4006 -3750 -3458 -3478 4130 -4146 -3798 -3646 -3850 3330 -3166 -3638 4394 -3910 3634 -3762 -4302 3890 -3190 3278 3462 -4490 4338 -3262 4542 4278 -3262 -3554 -3974 4314 -3858 -4422 -4542 -3766 -4354 -3302 -4130 -3974 -3314 -3510 -4270 -3902 3366 4270 -3718 -3206 4542 -3570 3250 3314 -3378 -3982 -3462 3658 -4422 -3154 3150 4066 -3758 3590 -3278 3822 -4402 -3314 -4050 -3150 -3994 -3786 4058 4230 -4078 -3690 -3262 3642 -3690 -3538 -3770 -3434 -3778 -4190 -4502 -4302 -4030 -4418 -3354 -3854 -3190 -3974 -3782 4034 -3418 4254 -4150 -3210 3762 -4502 -3974 4446 4498 -4266 -3162 3718 -4354 3154 3838 -4154 -3770 3890 4054 -3622 -4378 -4030 -4278 -3178 -3226 4318 4522 3202 -4126 -3994 -4502 4430 3598 -3714 -3794 -4410 -3298 -4018 3926 -4294 3854 -3610 3338 -4522 -4014 3190 -3638 -3182 -4502 -4094 4374 4454 4418 -4190 3870 -4278 4358 -3794 4034 -4542 -4350 -3738 -4218 4074 4030 -3210 -3866 -3298 -3150 -3702 -4298 -4230 -3834 -3162 -3890 4394 -3786 -4502 4198 -3662 -4462 4246 -4394 4174 3150 -3802 -3978 -3878 -4542 -4310 -4166 4218 -3322 -3910 -3986 3946 4386 -4050 3442 -3174 4166 3758 -3810 -3810 -3334 -4342 3150 -3770 4050 -3214 3222 3150 -3274 -3470 3950 -3198 -3966 3174 4502 4162 3214 4462 3238 -4322 4214 -3214 -4066 -4230 4490 -4082 -3898 -4418 -3818 -4126 -4542 4486 -4362 -3586 3670 -4350 3266 -4054 -3546 -4110 3966 3818 4134 3706 -3286 3242 -3210 -3174 -3482 3546 3190 3526 -3258 -3634 3942 -3578 -3546 -4466 -4286 -3430 3258 3958 3942 -4066 -4106 -3502 -3554 -3266 -3746 -3442 -4406 -4002 -4114 -3726 -3410 -3810 -4150 3226 3550 -4062 4166 3450 -3774 -3614 -3974 -3622 -3190 -3618 3838 -3974 -3854 4098 3282 -3222 3370 -3150 3174 -3858 3870 -3270 -3586 4186 -3170 -4170 -3674 -3982 -4542 -3290 -4162 -3726 -4314 -3582 -3730 -3718 -3938 -3974 3738 -4342 -3278 -3610 -4074 -4270 -3742 -4266 3902 3318 -4474 -3250 -4138 3834 4206 3190 4542 -3226 -4302 4414 -3630 -3394 3634 -4490 -3762 -3614 3334 -4274 -3218 -3622 -3766 -3238 -4298 3954 -4374 -3498 4174 4074 4542 4490 -3974 -4306 -3734 3990 3150 3302 -3414 -4542 -3526 -3206 -4138 -3162 4170 -4246 4230 -4234 3374 4114 -3206 4098 -3370 4522 -4314 -4542 4458 4346 3174 3662 -4086 -3770 -4334 4310 4350 3870 -3770 -3646 -3810 3650 -4146 4102 -3614 -3838 3518 -3190 -3202 -4482 -3834 3302 3842 4082 -3490 4034 -3662 -3718 -4542 -3610 -3598 3198 -4042 4142 -3238 -3206 -3198 4302 -3722 3850 3498 3954 -3550 4186 3998 -4542 -4346 -3422 -3582 4206 -4142 -4062 3386 3278 -3358 -4310 3942 -3150 3198 4102 3578 -3298 -4450 -4014 -4146 -3474 3342 -3450 4146 -3262 -3838 3274 3834 3934 -4514 -4510 -4014 4502 -4482 4478 3318 3998 4110 -3798 -4014 3706 -3714 -3678 4518 -4374 -3634 -3554 -4234 -3330 -4418 -3614 -4102 -3982 -3242 -3378 -4026 4346 -3322 -3566 -3470 -4210 3482 -3590 -3206 -3202 -3874 -3762 3190 4070 -3490 -4522 -3258 3618 -3382 -3230 -3626 -4482 -3670 -3762 -4118 -4178 -3618 4198 -3486 -3214 4034 3510 3442 4502 -3166 -3282 -4306 4130 3646 3846 3382 -3586 4502 3190 -3746 -3774 -3242 3610 3190 -4522 3210 3870 4522 3658 -3170 -4450 3266 -3678 -4422 4194 -3242 4542 -3190 -4542 -3314 -4522 -3626 -3942 -3330 -4310 -3494 3550 -4466 -3274 -4542 -4518 -3582 -3338 -3830 -3290 -4142 4322 4338 -3894 -4130 -4034 -3746 3858 -4318 -3466 -3802 -3670 -4002 -4086 -3790 3398 -3778 -3454 -3170 -4502 -3582 4542 -4502 -4542 4126 3994 -3498 4082 -3310 -3302 -3394 -3614 -3954 -4334 -4098 -4406 3910 3402 -3418 4502 -4042 -3642 -4094 4166 3390 -3202 -3210 -3214 3190 -3434 3246 4454 3502 -4258 3310 3878 -4274 -3354 -4010 -3974 -3214 3554 -4110 -3870 3986 3826 3150 3954 -4394 -4094 3586 -3318 -4182 -3518 -4290 4222 -4090 3150 3930 -4410 3934 -4318 -3254 -3406 -3710 3454 -4502 -3950 3942 3398 -3450 4174 3474 -4466 -4270 -3150 4114 4286 -3594 -4186 -4542 -4502 -3322 -3586 -3714 -3314 4378 -3758 -3858 3670 3618 -4134 3646 -3526 -3562 -3734 -3206 3998 -4462 -4470 4374 3490 -4282 3286 4106 -4086 3190 3246 3334 -4366 -4014 3594 -4542 -3958 -4478 3870 3414 -3238 3586 -3230 -4182 -3378 -4014 -4126 -4182 -4438 -3638 3598 -3890 3414 -4542 4030 -3974 3190 -4074 4090 -3314 3150 -4246 -3594 4334 4002 3162 -3698 3322 -3946 3730 -3562 3974 -4394 -3890 -3158 4146 -3174 3974 -3394 3190 -3238 -3170 -3190 4290 -4542 3762 -4214 -3738 4054 -4170 4502 4490 -3806 3458 3682 -4502 -3818 -3918 -3838 -3638 -4462 4538 4226 -4482 -4470 -4482 -3266 -3370 -3262 -3354 -4282 -4338 3650 3486 -3514 -4106 3274 -3922 -3202 4250 -3150 4174 -3506 -4014 -4222 3258 3570 -4134 -4038 4370 -3398 3370 -3990 4122 -3254 -3950 -3346 -3250 -4246 -3310 -3698 3950 -3438 -3818 -4262 -3546 4450 -3710 -4050 -3674 3734 4394 -3282 -3530 3466 3254 4094 4202 -4278 -4206 4502 4014 -3722 4070 -4090 -3198 -3622 -3578 -4158 4346 3990 -3546 3946 -4242 -3582 -4502 -3430 -4206 -3790 -3294 3346 -3978 4502 3526 -3150 4542 -4226 3746 3746 -4482 4494 -3810 -3190 -4270 -4078 3874 -4542 -3378 4530 -4414 3606 -3762 3870 4214 -3178 3390 -4294 -3882 3590 3886 -3954 -4542 4542 -4502 -4350 -4398 3686 -3578 -4478 4046 4206 -3622 -4502 -3830 -3986 -3158 -3338 4086 -3150 3782 3622 -3586 -3706 3302 4094 4206 4018 3606 -3190 -4006 -3254 3366 -3862 4174 -3818 -4254 -3190 3558 -3338 3682 -4322 -4470 3914 -3390 -3358 -4474 -3498 -4542 -3410 -4430 -3514 -3350 -3970 -4542 -3150 4042 3406 -4274 3906 -3622 -3306 3574 -3850 -4482 3438 -3982 4322 -3346 4462 -3590 -4006 4038 -3230 4166 -3262 -3270 -4138 -3802 -3474 -3330 -3818 3682 -4062 4402 4070 4230 3478 -3270 4026 -3526 -3454 3954 4322 -4510 3162 -3162 -3734 -4322 -3330 -4402 3602 -3486 -3538 3462 -3546 -3258 -4502 3878 -4230 -3326 4398 4058 -4330 -3774 -3634 -4046 -3150 -4138 -3398 -3254 -3842 -3714 -3858 -3538 -3162 -3594 3382 -3314 -3710 -3698 -4146 -4014 3218 -3546 3866 -3966 -3762 3710 3850 4510 -3766 -3858 -3910 -4306 -3630 -4382 -3326 -4542 -3150 3802 4314 -3474 -3866 -4166 -4170 -3158 -3190 -4122 -4046 3910 -3150 4466 -3322 -4166 -4010 -3262 -3422 -3994 3606 4010 -4434 -4322 4450 -3590 -4142 4462 3382 -3778 3754 3290 -3706 -4514 3378 -4170 -3510 -3618 4386 3642 -4106 -4454 -3438 -4058 -3302 -3522 -3654 -3150 -3854 4474 3706 4382 -4542 3614 -4142 -3594 -3442 -4374 3386 3326 -3898 3362 -3802 3190 -4014 3550 -4266 -3790 -4482 -3482 -4434 -3718 -3658 -3402 -4406 -3878 3814 3922 -4266 -4002 -3958 -3730 3290 -3518 3782 3822 -3898 -3878 -3666 -3158 -4110 4050 -4062 -3306 -3710 -3758 -3898 -3646 -3398 4542 3414 -3626 4110 -3546 -4502 -3798 -4422 -3262 -3566 -3554 4246 4310 3970 -3546 -3590 -4046 -3370 3190 3446 -3770 4450 -4070 3358 -3878 -3462 -3210 3254 -3306 -4458 3354 3582 -3202 -3746 3974 -4002 -4006 -3686 3190 -3474 4274 -3738 -3542 -3822 -3810 4254 -3166 -4350 3578 -4042 4542 3802 3266 -4542 4490 -3406 3746 -3462 -4186 4038 4458 -3322 -3214 3378 -3586 3726 -4310 3774 4366 -3250 -3158 -3974 -4362 4362 3686 -4374 -3810 -4226 3806 3870 -4066 -3150 -4226 3834 3918 -3254 3934 -4510 -4502 -4382 3710 -3930 -3722 -3198 -3562 -3330 -3150 -4154 4410 -3150 4038 -3294 -4210 4502 3994 -3638 -3834 -3254 3402 -4246 -4422 4418 -3570 3850 4098 -3942 -3574 -3578 -3362 3322 -3802 3246 4510 -3686 -3910 3362 3202 -4422 -3742 4150 4106 -3402 4270 3986 4082 -4070 3454 3298 -3370 4362 -3626 3730 -3982 3730 3174 -3850 -4466 -4474 -4206 -4522 3326 -4422 3262 -4362 -3606 3150 3582 3310 -4362 4134 -3206 4342 -4018 3710 -3786 -3646 -3630 3954 4018 -4142 3798 -3694 -3198 -3158 -4362 4290 4486 3978 -3506 -4542 3150 -3282 -4542 3274 -3874 3794 -3606 4130 4110 -4334 -4026 3602 -4086 3810 -4046 -3242 -3622 4298 3378 -3358 -3854 3394 -4014 3446 -3242 3302 -3242 4102 4262 3974 -4294 3830 -4282 4462 -4306 3194 -4434 -3898 -3974 4354 4290 -3598 -3258 -3958 3994 4458 3674 3986 3266 -3330 -3586 -3618 -3482 -4230 4178 -4542 -3246 4282 -3394 3886 -4246 -4006 -3218 -4014 3718 -4502 3678 -4322 -3150 -4310 -4302 4482 4478 3966 4534 -3746 -4542 3370 -3614 4178 -3506 -4270 -3534 -4022 -4186 -3350 3934 3478 -3254 3230 -3710 -4022 -3358 3774 4022 3838 -4502 -3550 -3150 -3206 -3830 -3934 -3990 4502 3190 -3726 -3758 -3330 -4202 -4378 -3350 -3698 -3730 -3150 4190 -3758 4330 4470 -4002 -3434 -3862 -4214 -3622 3750 -3442 3970 -3990 -3810 3654 3850 3150 -3926 -4526 -3986 -4502 3762 -4410 4430 -4414 -4442 3458 -4218 -3306 -3954 -4390 -3438 -4502 -3938 4362 -4406 -4098 4078 3514 -4482 -3762 3442 -4542 -3970 -3414 3590 3418 -3706 3830 3466 -3278 4070 -4462 -3610 -4110 -3210 3434 3574 -3174 -3222 -3438 -3346 3178 3286 4210 -4190 3698 -4542 -3850 4286 3346 -3346 3202 -3526 3558 -3982 -3694 -3222 4142 -3546 -3190 4218 3366 -3446 -3754 4310 3466 3230 4038 3674 -3210 -3210 4530 -4542 3258 -3582 3426 -3990 4146 -4022 3366 -4138 3778 3934 -3362 3702 -4210 4454 -4538 3722 -3834 -4258 -4530 -3574 -3674 -3590 -3330 -3166 4030 -4250 -3646 3586 -4170 4474 4346 -4162 -3198 -4322 3734 4070 4122 -4382 -4422 -3190 -4470 -4542 -3826 -3722 -4422 -4502 -4346 4066 -4414 -3370 -3190 -3366 -3686 4058 -3342 -4230 4018 -4258 -4006 3258 -4542 -4502 -3494 3250 -4306 4066 -4486 -4486 3514 3402 4386 3598 -4538 3238 3338 3238 4446 -3978 -4270 -4378 -3758 -3298 -3718 4134 -4134 -4462 -3538 -3610 -4518 -3782 -4274 4490 -3934 -3910 3806 -3402 3370 -4346 -4070 4486 4482 -3614 3526 -3262 4478 3786 3226 -3482 -4418 -3850 -4158 -3318 4218 -3402 -3558 4394 -3826 4194 3562 -3474 -3426 -3602 -4010 -4362 -3930 -3178 -3198 -4190 -4074 -4010 -3574 4422 3150 -3790 4334 -3258 -3198 3314 -3934 -3442 3502 4366 3862 3402 4090 -3822 -4542 4294 -4422 -3474 -3706 -4422 -4334 -3838 -3994 3598 4042 -3198 -3250 -4390 -3198 -4334 4034 -3878 4410 4442 4378 3978 -3582 -4418 -4190 -3574 3826 -3730 -3190 -3382 -3718 3474 -3714 -3714 4354 3150 
333.49	d NODES 4280
333.49	d CHECKS 107231010
333.49	   
333.49	   totalWckTime=333.187  totalCpuTime=328.19

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/node14/watcher-205644-1168167809 -o ROOT/results/node14/solver-205644-1168167809 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205644-1168167809/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: 0.64 0.64 1.24 4/94 27172
/proc/meminfo: memFree=1202128/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=1784 CPUtime=0
/proc/27171/stat : 27171 (java) D 27169 27171 27104 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 165176237 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27171/statm: 446 163 128 14 0 91 0

[startup+0.103761 s]
/proc/loadavg: 0.64 0.64 1.24 4/94 27172
/proc/meminfo: memFree=1202128/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=907808 CPUtime=0.05
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 2415 0 1 0 4 1 0 0 16 0 4 0 165176237 929595392 2162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7129230 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/27171/statm: 226952 2162 1194 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.513802 s]
/proc/loadavg: 0.64 0.64 1.24 4/94 27172
/proc/meminfo: memFree=1202128/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915328 CPUtime=0.42
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 5976 0 1 0 39 3 0 0 18 0 8 0 165176237 937295872 5715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7368334 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27171/statm: 228832 5715 2116 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.33688 s]
/proc/loadavg: 0.83 0.68 1.25 4/101 27179
/proc/meminfo: memFree=1102936/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915596 CPUtime=1.23
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 25335 0 1 0 106 17 0 0 23 0 8 0 165176237 937570304 25073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073541764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27171/statm: 228899 25073 2160 14 0 215369 0
[pid=27171/tid=27173] ppid=27169 vsize=915596 CPUtime=0.11
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 8793 0 0 0 6 5 0 0 17 0 8 0 165176245 937570304 25073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165176246 937570304 25073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165176246 937570304 25073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937570304 25073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915596 CPUtime=0.17
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 409 0 0 0 17 0 0 0 15 0 8 0 165176250 937570304 25073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937570304 25073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937570304 25073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915596

[startup+2.97504 s]
/proc/loadavg: 0.83 0.68 1.25 3/101 27179
/proc/meminfo: memFree=1064024/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915596 CPUtime=2.85
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 34252 0 1 0 263 22 0 0 25 0 8 0 165176237 937570304 33985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073541732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27171/statm: 228899 33985 2160 14 0 215369 0
[pid=27171/tid=27173] ppid=27169 vsize=915596 CPUtime=0.36
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 17702 0 0 0 27 9 0 0 16 0 8 0 165176245 937570304 33985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165176246 937570304 33985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165176246 937570304 33985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937570304 33985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915596 CPUtime=0.18
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 412 0 0 0 18 0 0 0 16 0 8 0 165176250 937570304 33985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937570304 33985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915596 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937570304 33985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915596

[startup+6.26234 s]
/proc/loadavg: 0.93 0.70 1.25 3/101 27179
/proc/meminfo: memFree=1042584/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915732 CPUtime=6.11
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 34861 0 1 0 588 23 0 0 25 0 8 0 165176237 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27171/statm: 228933 34592 2180 14 0 215403 0
[pid=27171/tid=27173] ppid=27169 vsize=915732 CPUtime=0.4
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 18238 0 0 0 31 9 0 0 16 0 8 0 165176245 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165176246 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165176246 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915732 CPUtime=0.2
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 423 0 0 0 19 1 0 0 16 0 8 0 165176250 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915732

[startup+12.746 s]
/proc/loadavg: 1.01 0.72 1.26 3/101 27179
/proc/meminfo: memFree=1005400/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915732 CPUtime=12.54
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 34862 0 1 0 1231 23 0 0 25 0 8 0 165176237 937709568 34593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27171/statm: 228933 34593 2180 14 0 215403 0
[pid=27171/tid=27173] ppid=27169 vsize=915732 CPUtime=0.4
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 18238 0 0 0 31 9 0 0 16 0 8 0 165176245 937709568 34593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165176246 937709568 34593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165176246 937709568 34593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937709568 34593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915732 CPUtime=0.21
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 424 0 0 0 20 1 0 0 16 0 8 0 165176250 937709568 34593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937709568 34593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937709568 34593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915732

[startup+25.6162 s]
/proc/loadavg: 1.16 0.77 1.27 4/101 27179
/proc/meminfo: memFree=956824/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915732 CPUtime=25.29
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 36070 0 1 0 2505 24 0 0 25 0 8 0 165176237 937709568 35800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27171/statm: 228933 35800 2181 14 0 215403 0
[pid=27171/tid=27173] ppid=27169 vsize=915732 CPUtime=0.48
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 19430 0 0 0 38 10 0 0 16 0 8 0 165176245 937709568 35800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165176246 937709568 35800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165176246 937709568 35800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937709568 35800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915732 CPUtime=0.22
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 438 0 0 0 21 1 0 0 16 0 8 0 165176250 937709568 35800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937709568 35800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937709568 35800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915732

[startup+51.2266 s]
/proc/loadavg: 1.60 0.91 1.30 3/101 27179
/proc/meminfo: memFree=896216/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915732 CPUtime=50.66
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 36073 0 1 0 5042 24 0 0 25 0 8 0 165176237 937709568 35802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27171/statm: 228933 35802 2181 14 0 215403 0
[pid=27171/tid=27173] ppid=27169 vsize=915732 CPUtime=0.48
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 19430 0 0 0 38 10 0 0 16 0 8 0 165176245 937709568 35802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165176246 937709568 35802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165176246 937709568 35802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937709568 35802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915732 CPUtime=0.23
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 440 0 0 0 22 1 0 0 16 0 8 0 165176250 937709568 35802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937709568 35802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937709568 35802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915732

[startup+102.465 s]
/proc/loadavg: 1.97 1.11 1.34 4/101 27252
/proc/meminfo: memFree=1266848/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915732 CPUtime=101.53
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 39630 0 1 0 10120 33 0 0 25 0 8 0 165176237 937709568 39357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27171/statm: 228933 39357 2181 14 0 215403 0
[pid=27171/tid=27173] ppid=27169 vsize=915732 CPUtime=0.63
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 22984 0 0 0 52 11 0 0 16 0 8 0 165176245 937709568 39357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165176246 937709568 39357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165176246 937709568 39357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937709568 39357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915732 CPUtime=0.23
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 441 0 0 0 22 1 0 0 16 0 8 0 165176250 937709568 39357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937709568 39357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937709568 39357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915732

[startup+162.493 s]
/proc/loadavg: 2.12 1.31 1.40 3/101 27252
/proc/meminfo: memFree=964640/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915732 CPUtime=161.2
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 42529 0 1 0 16083 37 0 0 25 0 8 0 165176237 937709568 42254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830908 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27171/statm: 228933 42254 2181 14 0 215403 0
[pid=27171/tid=27173] ppid=27169 vsize=915732 CPUtime=0.81
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 25875 0 0 0 68 13 0 0 16 0 8 0 165176245 937709568 42254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165176246 937709568 42254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165176246 937709568 42254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937709568 42254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915732 CPUtime=0.24
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 447 0 0 0 23 1 0 0 16 0 8 0 165176250 937709568 42254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937709568 42254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915732 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937709568 42254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.2
Current children cumulated vsize (KiB) 915732

[startup+222.528 s]
/proc/loadavg: 2.32 1.52 1.46 3/101 27252
/proc/meminfo: memFree=626464/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915876 CPUtime=220.91
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 96534 0 1 0 22025 66 0 0 25 0 8 0 165176237 937857024 96193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27171/statm: 228969 96193 2545 14 0 215439 0
[pid=27171/tid=27173] ppid=27169 vsize=915876 CPUtime=2.79
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 79287 0 0 0 240 39 0 0 16 0 8 0 165176245 937857024 96193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165176246 937857024 96193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165176246 937857024 96193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937857024 96193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915876 CPUtime=0.38
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 564 0 0 0 37 1 0 0 16 0 8 0 165176250 937857024 96193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937857024 96193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937857024 96193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.91
Current children cumulated vsize (KiB) 915876

[startup+282.534 s]
/proc/loadavg: 2.07 1.59 1.49 3/92 27307
/proc/meminfo: memFree=947816/2055920 swapFree=4182236/4192956
[pid=27171] ppid=27169 vsize=915876 CPUtime=280.74
/proc/27171/stat : 27171 (java) R 27169 27171 27104 0 -1 0 96561 0 1 0 28004 70 0 0 25 0 8 0 165176237 937857024 96209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074257626 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27171/statm: 228969 96209 2547 14 0 215439 0
[pid=27171/tid=27173] ppid=27169 vsize=915876 CPUtime=2.79
/proc/27171/task/27173/stat : 27173 (java) S 27169 27171 27104 0 -1 64 79287 0 0 0 240 39 0 0 16 0 8 0 165176245 937857024 96209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27174] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27174/stat : 27174 (java) S 27169 27171 27104 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165176246 937857024 96209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27175] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27175/stat : 27175 (java) S 27169 27171 27104 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165176246 937857024 96209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27176] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27176/stat : 27176 (java) S 27169 27171 27104 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 165176250 937857024 96209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27177] ppid=27169 vsize=915876 CPUtime=0.41
/proc/27171/task/27177/stat : 27177 (java) S 27169 27171 27104 0 -1 64 585 0 0 0 40 1 0 0 15 0 8 0 165176250 937857024 96209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27171/tid=27178] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27178/stat : 27178 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165176250 937857024 96209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27171/tid=27179] ppid=27169 vsize=915876 CPUtime=0
/proc/27171/task/27179/stat : 27179 (java) S 27169 27171 27104 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165176250 937857024 96209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.74
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 333.579
CPU time (s): 331.722
CPU user time (s): 330.955
CPU system time (s): 0.766883
CPU usage (%): 99.4431
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.955
system time used= 0.766883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96594
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= 8815
involuntary context switches= 13991

runsolver used 0.398939 s user time and 1.08883 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sun Jan  7 11:03:31 UTC 2007


IDJOB= 205644
IDBENCH= 4161
FILE ID= node14/205644-1168167809

PBS_JOBID= 3478805

Free space on /tmp= 66327 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5e6866fa03c606526e6f95a98ab50ddf

RANDOM SEED= 920638414

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.227
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.227
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:       1211440 kB
Buffers:         28972 kB
Cached:         168424 kB
SwapCached:       4156 kB
Active:         652744 kB
Inactive:       122632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1211440 kB
SwapTotal:     4192956 kB
SwapFree:      4182236 kB
Dirty:            9332 kB
Writeback:           0 kB
Mapped:         595856 kB
Slab:            52880 kB
Committed_AS:  5914928 kB
PageTables:       3316 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= 66322 MiB



End job on node14 on Sun Jan  7 11:09:07 UTC 2007