Trace number 205660

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 300.041 302.398

DiagnosticValue
CHECKS76630568
NODES3250

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-8.xml
MD5SUM780bc7cf3432a828d9bbecb1a5751390
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 benchmark54.2178
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.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.46	   
0.46	   instance
0.46	     name=/tmp/evaluation/205660-1168167825/unknown.xml
0.49	   
0.49	   domains being loaded...
0.53	   
0.53	   variables being loaded...
1.11	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
1.11	       =>  wckTime=0.709  cpuTime=0.44  mem=58M777
1.11	   
1.11	   predicates being loaded...
1.12	   
1.12	   constraints being loaded...
203.46	   
203.46	   INFO : Stopping converting binary constraints (cpu=200.18, mem = 112M735)
209.38	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=1009  nbConvertConstraintsChecks=369968540
209.38	     nbExtensionStructures=899  nbSharedExtensionStructures=110  nbConflictsStructures=899
209.38	     nbSharedConflictsStructures=110  nbSharedBinaryRepresentations=933305  nbEvaluationManagers=18525
209.38	     nbSharedEvaluationManagers=8779  maxDegree=53  maxArity=2
209.38	       =>  wckTime=208.976  cpuTime=205.37  mem=192M642
209.80	   
209.80	   solver IterativeSystematicSolver being built... 
210.83	       =>  wckTime=210.432  cpuTime=205.95  mem=335M269
296.71	   
296.71	   INFO : Stopping ESAC
296.72	   
296.72	   preprocessing
296.72	     nbConstraintChecks=75766683  nbValidityChecks=35936551  nbPropagations=154151  nbRevisions=2593956
296.72	     nbUselessRevisions=2418444  nbSingletonTests=9617  nbEffectiveSingletonTests=13  nbESACBranches=28
296.72	     nbRemovedValues=1821893  detectedInconsistency=no
296.72	       =>  wckTime=85.839  cpuTime=85.4  mem=335M269
297.52	   
297.52	   search
297.52	     run=0  nbConstraintChecks=116352  nbValidityChecks=542374  nbPropagations=156277  nbRevisions=2648273
297.52	     nbUselessRevisions=2470055  nbAssignments=243  nbFailedAssignments=1  nbBacktracks=18  nbVisitedNodes=246
297.52	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=242
297.52	       =>  wckTime=86.64  cpuTime=86.18  mem=336M227
302.29	   
302.29	   search
302.29	     run=1  nbConstraintChecks=863885  nbValidityChecks=2972643  nbPropagations=327852  nbRevisions=5512309
302.29	     nbUselessRevisions=5140589  nbAssignments=3250  nbFailedAssignments=8  nbBacktracks=18  nbVisitedNodes=3260
302.29	     nbRestartNogoods=1  mapSize=0  nbInferences=0  nbTooLargeKeys=2595
302.29	       =>  wckTime=91.41  cpuTime=90.91  mem=349M511
302.29	   
302.29	   global
302.29	     nbConstraintChecks=76630568  nbValidityChecks=38909194  nbPropagations=482003  nbRevisions=8106265
302.29	     nbUselessRevisions=7559033  nbRestartNogoods=1  solvingWckTime=91.412  solvingCpuTime=90.91  expiredTime=no
302.29	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=296.96
302.29	       =>  wckTime=301.887  cpuTime=296.9  mem=349M511
302.29	   
302.29	s SATISFIABLE
302.29	v -3414 3190 -3218 -3574 -4026 -4158 -4002 -3154 -3546 -3770 -3666 -3302 -3254 4002 -4542 -3574 3294 -4178 -3546 -3894 3622 3638 -3486 -3346 -4502 -3358 3726 4114 -3810 3534 3702 4166 -3626 -3870 -3498 -4126 3306 -3990 -3974 3810 4042 4118 -3918 -4318 -4222 4322 -3154 4218 -3970 -3502 -4438 3486 -4434 4502 -4114 -3150 4186 -4502 4282 -4038 -3646 3390 4426 3890 4106 3954 -4166 -4490 4502 -3762 -4386 -3646 3254 -3722 -4302 -4426 -4542 3510 4250 4430 -4398 -4202 4026 -4162 -3494 -3210 -4502 3562 -4394 -3286 4310 -4202 3978 -3374 -4334 3166 4118 4206 -4082 -4294 3954 -4502 -3234 -3190 -4482 -3974 3722 3170 -3866 -3202 3410 -3770 3414 3534 -4006 -4254 3646 -3966 -3210 3206 4010 3830 -3710 -4502 3822 3470 -4178 -4274 4166 4454 3726 -3478 -4254 -3406 -4106 -4530 -3914 3586 4190 -3590 3346 4234 -3150 -3634 -3190 -3802 -3662 -4414 3242 3302 -3938 3710 4042 4286 -3614 3906 -4034 3474 -3290 -4454 3442 4282 4354 -3258 -3546 -4010 -3582 -4186 4098 -4466 -3174 -3586 4242 4282 -3534 -4502 3586 -4146 -4250 -3586 -3334 -4066 3650 3542 3742 -3162 3190 -3938 3810 -4542 -3582 3478 3338 -3546 3310 4138 3546 -3402 3906 -3990 4470 3934 4194 4078 -3174 -4090 -3194 3346 4494 -4342 3510 -3398 4522 -4190 -4426 -3606 -3238 3190 -3298 -3150 -3210 4102 3522 4118 -3718 4226 -3910 4446 -3858 3190 3566 4454 4166 -3638 3998 -3494 -4442 -3598 4542 -3190 -4382 -3254 4130 3310 -3190 -4542 4330 -3954 -3814 3250 3694 -3290 -3798 -3766 -3814 3922 -3318 -4202 -3282 3722 -3570 -4302 4014 -4146 -3394 3210 -3434 -3150 -3578 3606 -4422 -3582 -3950 -3290 -4178 -3414 -3534 -4542 -3814 3630 3150 -4482 -3622 -4514 -3634 -3562 -3210 4462 -4130 -3806 -3750 -4322 -4346 -3546 3150 -4314 -3190 -3278 3682 -3190 -4014 -4422 -4006 3250 -3706 -3666 -3710 3622 -3602 3462 -3846 -3810 -4478 4346 -3650 4494 -3238 -3730 -4490 -3554 3446 4182 -4122 4470 -4290 4394 3658 -3198 -3154 -3150 -3190 -4230 3422 -3782 -3418 3742 -4226 -4490 -4422 -4502 3234 3298 4522 -3574 3958 -3710 -4190 -3642 3974 3518 -3158 3326 4166 -3582 -3598 3206 -3974 -3350 3418 -3362 3358 -4162 -4318 3382 -3326 -3650 3326 4142 4142 3246 -3862 -3754 3338 -4322 3802 -4502 -3662 4110 -4334 -4542 4230 3474 3478 4530 -3190 3766 -4434 3646 -3186 3334 -4094 -3578 3686 -3582 -3202 -3622 -4142 -3302 -3850 -4230 3422 -4162 -4518 -3594 -4322 -4462 4410 -3462 -4410 -4242 -4138 3374 -3314 3306 4186 4306 3278 -3582 -3302 3518 -3814 3610 4082 -3818 4130 -3710 -4038 -4250 4254 -3366 -3266 3550 -3586 -4502 4350 -3570 3258 3242 -3446 -3454 -3382 3334 -3906 -4294 -3598 4370 3258 4502 3518 -3622 -3586 -4462 3210 -3290 4146 -3318 3350 -3506 3434 -3550 3458 4234 -3250 -3410 -3694 3290 3906 3434 -3450 -4306 4266 4458 4218 -4066 -3226 -3950 -3586 -3382 -3678 3606 4298 4262 3590 3194 -4346 3190 -4338 3170 -3170 4470 -3454 -3262 -3966 -4194 -3306 -4542 -3158 -3294 -4162 4206 -4010 -4502 4378 3630 -4406 -4134 -3290 3642 3766 4166 -3190 -3158 4282 4210 4506 -4502 -4202 3306 -3586 3358 4502 3646 -4354 4410 3614 3954 3386 -4014 -3346 3886 -4522 -4442 -4202 -3642 4078 4042 -3298 -3454 3994 -3210 -3194 -3602 -3434 -3714 -3190 -4102 -3330 -4502 3394 4110 3762 -4522 -4370 -3754 -3970 -3774 -3546 -4142 -3982 -3934 -4466 3150 4078 -3690 3314 3966 3586 4470 4362 3306 3686 3790 -4342 -3286 -4346 -3914 3638 4182 -4030 3622 -3606 3422 4138 -3826 -3598 3582 -4502 -3582 4502 3806 -3574 -3670 -4354 -3194 4246 -3554 -4022 -4462 -4522 -4518 3398 -4142 -3974 -3510 -3646 -4542 -4014 3722 -4146 4186 -3482 -4266 -3218 -3214 -4078 4190 3678 -3574 -3214 -3826 4386 -4282 -4218 3954 -3778 -4450 -4378 -3190 3438 3370 3702 3558 -3858 -3598 -3806 -3550 -3446 -4066 4042 -3958 3678 4118 -4130 4382 4010 -3618 -3970 -4522 3998 -3342 -3278 3714 3974 4058 -4078 -3702 3270 -3190 3830 -3638 -4482 3150 -3674 -3170 3210 -3318 3494 -3238 4002 3570 -3634 -3254 -3402 -3634 -3622 -3242 -4074 4274 3626 -4502 3934 4010 -4206 -3190 -3594 4330 -4338 -4146 4502 -3474 -3866 -3814 3218 -3230 3682 4030 -3626 -3818 -3218 -3738 3506 -4214 -4414 3406 -4322 4402 4130 3190 3534 -4502 -3198 4414 4246 3666 -3766 -4038 -3754 -3374 4530 3190 -3266 3774 3530 4530 3218 -3278 3262 3774 4390 -3370 3750 -3674 4226 4154 -4234 -4026 -4542 3438 3830 4234 -4162 -4250 -3422 -3722 -4010 3414 -4462 4426 4314 -3410 3866 -4542 -4322 -4250 -3950 -3850 -4302 -4246 4178 4450 -4234 -3906 -3530 -3150 3446 3558 4434 3846 -3614 -3314 3270 -3406 -4014 -4206 3330 3366 3574 -4222 4230 -4462 -4326 3726 -4454 3730 -4046 3918 4502 -4122 -3222 4394 -4502 3190 3238 -4542 -3366 -3718 -3650 4306 3394 3766 3202 -4394 -3882 4450 -4486 -3538 3770 3306 3262 3210 -4542 -4502 -3990 -3294 -3318 -3974 -4414 -3658 3874 4474 -4014 3790 -4126 -3166 3802 -4242 -3718 -3674 -3706 -3606 -3806 3870 3526 -3622 -3478 -4362 -3962 3590 -3358 -3378 -3822 4162 -4066 4050 3402 4382 -3370 3194 4426 -3906 -3758 -4190 4542 3938 -4070 3918 -3890 3786 4110 -3586 -4310 4090 -4346 -3318 3362 -3158 -4426 3910 -3634 3246 4254 -4086 -3762 4430 -3374 -3154 -4370 -3458 -4502 4102 -3338 3842 -4342 -3810 -3910 3234 3470 -3218 -3194 -4462 -3858 3382 -4174 3190 -3574 3962 -3422 -3910 -3910 -4542 -3702 4262 -3762 -4226 -3730 4466 3566 -3474 3802 -3594 4186 -3606 -4374 4466 -3454 -4542 -4154 -3314 -4322 3694 -3854 3170 3830 3418 4454 -4502 -4502 4462 -4518 -3286 -3806 3214 -4414 -3510 3802 4510 3726 -4362 4122 4066 -3854 -4186 3722 -4122 -3750 -3862 3822 -3314 3270 4318 -3702 -3230 -4542 4118 4002 3806 3582 3674 -3934 -3806 4314 3246 -3650 -3670 -3574 -3334 4314 -4282 4538 -3854 -3810 -3422 -3662 -3914 4158 4118 -3734 -4362 3626 4354 4026 3974 4098 -3406 -3358 -3854 3162 -3302 4234 -3294 -3578 3474 4482 4494 -3194 4322 3966 4270 -4502 -4058 -3274 4502 -4502 -3690 3538 -3482 -3538 -4538 -4182 3566 -3750 -3578 -3210 4150 3338 -3702 3698 4446 -3714 -3762 3594 -3494 -3522 -3490 3510 3838 3606 -4542 4358 3802 4078 4154 -4514 4322 3834 3318 -3450 3998 3514 3370 -3946 3858 3810 -4014 -3194 -3654 4522 -4338 -3618 3410 -3814 3290 -3334 -3194 -4158 -3866 -3690 -3298 -4066 3670 -3842 -4462 -4502 3950 3706 -3442 3418 -4374 4186 4118 -4206 3770 3170 -3614 -3498 -4454 -3998 -3866 3806 -3446 -3586 3906 3706 -3542 -3646 -4290 4502 4030 4050 -3986 4282 3338 3370 -3690 -3190 3218 -3994 3202 -4214 4110 -3598 -4374 -3838 -4434 4050 -4186 -3206 -3534 -3574 3458 3606 4374 -3750 -3198 -3282 4046 -3334 4398 -4206 -3634 4250 -3690 -4382 -3990 3606 3510 -4174 3514 4334 3262 -3150 4126 -3418 -3814 3934 3974 -3334 4198 -3274 4478 -3850 -3606 -4014 3150 4130 -3734 -4202 -3866 -3194 -3390 -3894 3366 3534 3286 4422 3898 -4010 3286 3274 3190 3866 -3930 -3614 -4110 4510 -4542 -4322 -3630 -4358 -3298 -3194 3818 -3802 3446 4026 -4074 4502 4282 3914 3906 4046 3294 -4542 -4194 -3322 -4006 -3654 -3646 3670 -3666 -3974 -3386 -3998 -4102 -3278 4442 3294 -4498 3150 -3614 -4426 -4102 -4334 3150 4346 -4502 -3854 -4482 4318 4414 3286 -4010 3546 3586 4198 3974 3438 -3250 3286 4502 3654 -4498 3754 -3174 -3274 -4258 3150 -3550 4034 4266 3150 -3338 4510 4090 4502 -3966 -3282 4350 -3754 3358 -4230 -4142 -3522 -4402 3918 -3582 3846 -3926 -3454 3210 4454 3350 3766 -3826 4490 -4258 -3870 3746 3190 -3622 4502 -3198 -3242 3594 3614 -3618 3158 4038 -3446 -4014 -3718 -4422 3190 4038 -3562 -4254 4170 4006 -4282 -3526 -3318 -4038 -3522 -4282 -3626 -3330 -3214 4434 4234 -3262 -3218 3810 -3202 -4062 -3154 -3622 3954 -4542 -3598 3370 -3678 -3302 -4530 -4254 -3818 -3298 3890 -3718 3262 -3818 3682 -4542 -3658 -4374 -3530 -4114 4198 3478 -4282 4422 4002 -3754 -3458 -3474 4142 -4138 -3798 3650 -3846 -3322 -3154 -3634 -4402 -3906 -3614 3762 4286 -3882 3190 3278 3470 -4490 -4346 -3258 4502 4286 3262 -3550 -3966 -4322 -3850 -4410 -4542 3762 4342 -3318 -4146 -3974 3266 -3518 -4274 -3898 -3362 4262 -3722 -3202 4542 3566 3250 -3310 -3378 -3974 -3450 -3654 4422 -3150 3150 4066 -3754 3582 -3274 3810 -4398 -3262 -4038 -3150 -3994 -3798 -4062 4230 -4078 -3682 -3254 3634 -3690 3530 3758 3430 3774 -4182 -4502 -4294 -4018 4386 3350 -3866 3262 -3974 -3770 4038 3406 4250 4146 -3210 -3750 -4466 -3974 -4450 4470 4266 -3150 -3706 4358 -3158 3842 4150 -3762 3886 -4050 3622 -4386 4030 4282 3170 -3254 4318 4522 3206 4130 3998 -4502 4430 -3606 3714 -3790 -4398 3286 -4014 3930 -4290 3874 -3606 3338 -4442 -4014 3190 -3662 -3210 -4502 -4102 -4334 4526 -4422 4194 3874 -4278 4358 -3802 4034 -4542 -4350 -3742 -4206 4070 -4034 -3210 -3838 3298 -3150 -3702 4302 -4222 -3834 -3190 3886 4398 3782 4498 4194 3662 -4462 -4250 4390 -4174 3150 -3814 -3978 -3878 4542 -4310 -4166 4218 -3298 -3902 -3994 3966 4378 3994 3450 -3150 4162 -3762 -3822 3798 -3318 -4326 -3190 -3762 4042 -3218 -3210 3150 3270 3446 3958 -3190 -3974 3178 -4498 4158 3218 -4462 3238 4322 4178 -3218 -4066 -4234 -4494 -4086 3930 -4414 -3814 4118 4542 4486 -4362 -3586 -3658 4350 3270 -4050 -3546 4034 3970 -3806 -4142 3698 -3298 3246 -3210 -3178 3486 -3534 3190 3518 -3258 -3634 3942 -3594 3550 -4542 -4206 -3430 -3262 3970 -3946 -4062 -4094 -3490 -3546 -3278 3726 -3418 -4402 -3994 -4118 -3726 3402 -3818 4142 -3238 -3566 -4066 4158 3454 -3770 -3614 3966 -3630 -3190 -3622 3838 -3974 -3850 4106 3282 3150 3374 3214 3166 -3854 -3870 -3306 3578 4158 3190 -4170 -3670 3978 -4542 -3294 -4142 3722 -4302 -3582 -3730 -3726 3938 -3970 -3742 -4342 3274 3578 4070 4270 3746 -4266 3898 -3274 4474 -3250 -4142 -3834 -4198 -3190 4534 -3226 -4306 -4486 3626 -3402 3626 -4490 -3762 -3618 -3310 4262 -3210 -3622 -3770 3238 -4290 3958 -4366 3490 -4162 4078 -4542 4490 -3974 -4298 -3734 -3978 3150 3290 -3414 4458 -3522 3190 -4130 -3158 -4162 4242 -4234 4230 -3350 4110 -3198 4114 -3358 4522 4322 -4470 -4462 4350 -3178 3678 4090 -3774 4334 4306 4374 3866 3770 -3642 -3806 3658 4146 4110 3622 -3838 3514 -3190 -3210 -4482 -3830 3294 -3850 4078 -3478 4034 3678 -3718 4538 3618 -3590 3198 -4050 -4150 -3242 -3250 3198 -4314 -3714 3846 -3510 3974 -3562 -4198 3998 -4542 4338 3422 3590 4206 4134 -4070 -3374 -3278 3350 -4306 3966 -3222 -3202 4102 -3574 -3302 -4438 4014 4134 3478 3346 3438 -4146 -3262 -3838 -3302 -3842 3934 -4490 -4510 -4014 4502 4478 4478 3318 -3998 -4102 3790 -4010 -3722 -3706 3702 -4522 4374 3634 -3526 -4238 -3330 -4406 -3614 4106 -3926 -3242 3378 -4026 -4422 3326 -3558 3486 -4214 3486 -3606 -3198 -3150 -3878 -3774 3190 4070 -3510 -4522 -3258 -3614 -3378 3318 -3622 -4522 3666 -3774 4114 4178 3618 4202 -3482 3206 4030 -3530 3446 4502 3170 -3270 4310 4130 -3662 3854 -3370 -3590 -4502 3190 -3742 -3766 3242 -3602 -3150 4482 -3190 -3878 4514 -3674 -3170 4438 3266 3682 4422 4198 -3230 4542 -3190 -4542 3310 -4522 3622 3858 -3334 -4310 -3506 3554 -4542 -3274 -4542 -4518 -3578 3338 -3830 3282 -4142 -4322 -4338 -3894 4126 -4030 3726 3866 -4322 3458 3794 -3674 4002 -4086 -3802 -3390 -3794 3450 -3150 -4490 -3638 -4542 4490 -4418 -4118 3994 -3494 4078 3150 -3222 -3374 3594 -3954 -4334 -4090 -4406 -3918 3378 -3418 -4502 4026 -3642 4086 4158 -3406 -3150 -3202 -3218 -3190 -3414 3238 4454 3510 -4258 3318 -3878 -4282 -3350 -4002 3974 -3218 3558 -4102 -3882 4006 3818 3150 3970 4390 -4090 -3590 3314 -4174 3514 -4290 4222 4086 3150 3950 -4410 3926 -4322 -3254 -3402 3714 3462 -4502 -3918 3938 -3394 3442 4170 3482 -4466 -4270 3150 -4114 4282 3590 -4186 -4542 4458 -3322 -3582 -3714 3306 -4386 3750 -3890 -3674 -3634 4126 3650 3530 -3558 -3742 3210 3994 -4462 4470 4326 3490 -4282 -3274 4106 4082 3150 -3234 3310 4374 -4014 3586 -4542 -3950 -4482 -3870 3426 -3238 -3574 -3222 -4190 -3378 -4006 -4130 -4186 -4434 3626 -3594 -3866 -3402 4426 4022 -3974 -3158 -4070 -4034 3314 3150 -4234 -3594 -4366 -4002 -3170 -3694 -3326 -3954 -3734 3550 -3974 4390 -3890 -3158 4158 -3178 -3966 3406 -3190 3226 3170 -3190 4278 -4542 3770 -4202 -3754 -4050 4162 4502 4486 -3802 -3442 -3674 -4502 -3814 3910 -3834 3638 -4462 -4542 4226 -4482 4470 -4474 3262 3374 -3254 -3362 -4282 -4358 3654 3490 -3518 -4106 -3286 3934 3190 -4250 3150 4178 3514 -4010 -4230 3258 -3562 4138 -4038 -4370 -3390 3354 3986 4102 -3238 -3942 -3334 3254 -4238 -3346 3698 -3954 -3510 3810 -4262 3554 -4450 3714 4050 -3674 -3734 4390 3258 -3530 3474 -3258 4090 -4210 -4278 -4194 4502 -4018 -3718 4146 4082 3194 -3626 3582 -4158 4350 -3990 -3546 3950 4250 -3582 -4542 3406 -4198 -3794 -3294 -3330 -3958 4502 -3514 -3150 -4542 -4222 3746 3738 -4482 -4502 3806 3190 -4270 4078 3874 -4542 3370 4530 4410 -3622 -3754 3878 4210 3178 3382 -4282 -3906 3582 -3894 -3950 -4542 4542 -4502 -4346 -4414 3690 -3574 4474 4046 -4198 -3634 -4494 -3842 3986 -3162 -3346 -4090 3150 -3786 3622 -3582 3710 -3222 -4098 4210 4026 3602 -3246 3990 3246 3362 -3858 -4186 -3802 -4246 -3190 3570 -3330 -3686 -4322 -4474 3914 -3254 -3350 4474 -3502 -4542 3378 4434 -3522 -3366 -3962 4542 3154 4038 -3402 -4274 -3946 3614 -3326 -3590 -3846 -4482 -3422 -3982 -4322 -3338 -4462 -3582 -4002 4034 3238 -4238 -3262 -3246 4130 -3798 -3470 -3334 3810 3682 4066 -4402 4074 4230 3478 3278 -4026 -3522 -3394 -3950 4322 -4510 3150 -3170 3726 4302 -3330 -4398 3594 -3474 -3542 3494 3550 -3250 4502 -3870 4230 -3330 -4398 -4062 -4330 -3774 -3638 4042 3150 -4154 -3390 -3174 -3830 -3714 3862 3542 -3162 -3586 3382 -3310 -3714 -3698 4118 -4014 -3222 3546 -3866 -3970 3762 3706 3858 4510 -3762 3858 -3910 4294 -3622 -4370 -3314 -4542 -3150 -3826 -4322 -3462 3858 -4158 -4174 -3158 3190 4118 4042 3914 3190 4442 -3326 -4170 3998 -3258 -3422 -3994 -3610 4006 4430 -4322 4450 -3586 -4146 -4542 3378 3766 -3754 -3278 -3706 -4514 3382 -4166 -3510 -3622 4386 -3642 -4114 -4450 -3414 4054 -3294 -3510 -3638 3150 3842 -4474 3710 4366 -4542 3622 -4134 3598 -3494 4374 3378 3322 3898 3350 -3790 3190 -4014 3570 -4262 -3710 -4482 -3534 -4458 -3714 -3658 -3406 -4402 -3874 -3834 3934 4186 -3994 3970 -3730 -3290 -3518 -3786 3826 3902 -3878 3662 -3150 -4106 4042 -4062 -3290 -3714 -3754 3898 -3578 -3390 -4542 -3422 -3622 4102 -3550 -4502 -3798 -4422 -3250 -3562 3546 -4242 4310 -3970 -3538 -3586 4030 3374 -3190 3434 3766 4450 4074 3358 -3878 -3462 -3214 3258 -3302 -4446 3350 3578 -3198 -3750 -3966 -3990 -4006 3610 3190 3434 4262 -3738 -3538 3826 -3802 4238 3178 -4346 3574 -3950 -4542 3790 -3266 -4542 4498 -3406 3758 -3470 4170 -4038 4458 3326 3218 -3378 -3586 -3710 4242 -3766 4362 -3226 -3154 3974 -4362 4362 3686 -4374 -3822 -4226 -3810 3878 -4070 -3154 -4230 -3846 3930 -3190 3934 -4510 -4490 4390 -3698 -3930 3722 -3202 -3554 3322 -3150 -4150 -4410 3150 4042 -3278 -4214 -4502 -3994 -3634 -3842 -3258 3378 -4246 -4422 -4426 -3566 -3842 4094 -3938 -3574 3582 3358 3310 -3810 3294 4510 -3670 -3894 -3374 -3202 4414 3742 -4154 -4106 -3410 4274 -3986 -4090 4070 3462 -3298 -3366 -4358 -3622 3730 -3978 -3730 -3178 -3854 4466 -4478 4194 -4522 3322 -4422 3254 -4362 -3610 3150 -3582 3306 4358 4134 -3206 -4362 -4018 3714 -3850 -3650 3614 -3954 4022 -4194 3810 -3702 -3198 -3158 -4358 -4290 -4490 3982 -3502 -4542 3150 3286 -4542 3306 -3870 -3802 3618 -4210 -4106 4334 -4022 3606 4086 -3810 4046 -3242 -3630 -4306 3366 -3354 3854 3398 -4014 -3446 3222 3306 -3190 -4078 4266 -3974 4282 3826 -4278 -4462 -4306 3198 -4430 3918 -3974 -4362 4290 -3594 -3262 -3950 3990 -4426 -3666 -3986 -3262 -3330 3586 -3610 3490 -4222 4170 4542 -3234 -4274 -3390 3862 -4238 -4014 -3198 -4010 -3718 4502 3674 -4322 -3150 4294 -4302 4474 4482 -3974 -4542 -3758 -4542 -3366 -3626 -4174 -3590 -4274 3522 -4026 -4182 3334 -3950 3478 -3246 3230 3698 -4022 -3350 3766 -4030 3838 -4502 -3546 3150 3198 -3838 3930 -3998 4502 3194 -3718 -3754 3326 -4198 -4366 3346 -3698 -3742 3154 4190 -3762 -4330 -4470 3986 -3422 -3850 4218 3630 -3762 -3442 3990 -3958 -3806 -3650 3850 3150 -3934 -4526 3990 4502 3770 -4422 4418 4406 -4442 3470 -4214 -3310 -3954 4334 3434 4310 -3958 4354 -4402 -4102 -4082 -3510 -4482 -3770 -3450 -4542 -3970 -3422 3598 -3418 3678 -3830 3470 -3266 4070 4462 -3614 -4110 -3266 -3562 3562 -3178 3214 3434 3330 -3178 3278 -4210 -4194 3702 -4538 -3862 -4282 3250 3346 3190 -3522 3550 -3954 -3638 -3170 -4134 -3530 -3210 4218 -3354 -3434 3754 -4306 -3466 3206 4038 3674 3210 -3210 -4526 -4542 -3258 -3582 -3426 -3990 -4146 -3994 3362 -4134 -3770 3934 -3358 3702 -4206 4458 4510 -3714 -3842 4258 -4542 -3582 -3674 -3594 -3330 3170 -4026 -4246 3634 -3590 4170 -4478 -4342 -4158 -3198 -4318 3734 -4062 4122 4290 -4422 3190 4470 -4542 -3822 -3710 -4422 -4502 4346 -4070 -4418 3370 3150 -3362 3678 -4058 3330 4234 3998 4254 -4006 -3202 4350 -4502 -3490 3250 -4314 4074 -4454 -4482 -3522 3378 4386 3610 -4542 -3226 -3326 -3242 -4450 3978 -4274 -4386 3758 -3298 -3722 4118 -4146 4454 3550 -3610 -4522 3766 -4270 4502 -3926 -3906 -3794 3410 -3374 -4346 4074 4486 -4482 -3630 3506 -3250 -4482 3782 3222 -3486 4418 -3858 4162 -3314 -4218 -3402 -3554 -4418 3798 -4190 -3550 -3522 -3418 -3594 4006 -4362 -3934 -3178 3198 -4202 4074 -4010 -3566 4402 3150 -3802 -4374 -3238 -3202 -3314 -3930 -3446 3518 4446 -3870 -3414 4106 -3814 -4386 4290 -4422 -3462 3686 4422 4338 3838 -3994 3590 -4042 -3214 -3170 -4378 3198 -4322 4018 3878 4306 4502 4378 -3978 -3582 -4394 4182 3566 -3814 -3714 -3262 -3406 -3714 -3482 -3710 -3714 -4350 3150 
302.29	d NODES 3250
302.29	d CHECKS 76630568
302.29	   
302.29	   totalWckTime=301.969  totalCpuTime=296.96

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/node42/watcher-205660-1168167825 -o ROOT/results/node42/solver-205660-1168167825 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205660-1168167825/unknown.xml 

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

/proc/loadavg: 1.20 1.24 1.42 4/81 18517
/proc/meminfo: memFree=1001632/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=18540 CPUtime=0
/proc/18516/stat : 18516 (runsolver) R 18514 18516 16716 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 165182338 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/18516/statm: 4635 279 244 17 0 2626 0

[startup+0.102691 s]
/proc/loadavg: 1.20 1.24 1.42 4/81 18517
/proc/meminfo: memFree=1001632/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=907676 CPUtime=0.03
/proc/18516/stat : 18516 (java) S 18514 18516 16716 0 -1 0 2189 0 1 0 2 1 0 0 20 0 4 0 165182338 929460224 1937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 226919 1937 1098 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.511735 s]
/proc/loadavg: 1.20 1.24 1.42 4/81 18517
/proc/meminfo: memFree=1001632/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915328 CPUtime=0.36
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 5845 0 1 0 33 3 0 0 21 0 8 0 165182338 937295872 5584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228832 5584 2105 14 0 215302 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 915328

[startup+1.34083 s]
/proc/loadavg: 1.34 1.27 1.43 3/88 18524
/proc/meminfo: memFree=909864/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915596 CPUtime=1.19
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 25426 0 1 0 104 15 0 0 25 0 8 0 165182338 937570304 25163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228899 25163 2160 14 0 215369 0
[pid=18516/tid=18518] ppid=18514 vsize=915596 CPUtime=0.1
/proc/18516/task/18518/stat : 18518 (java) R 18514 18516 16716 0 -1 64 8884 0 0 0 6 4 0 0 16 0 8 0 165182347 937570304 25163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165182348 937570304 25163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937570304 25163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937570304 25163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915596 CPUtime=0.17
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 409 0 0 0 17 0 0 0 15 0 8 0 165182352 937570304 25163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937570304 25163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937570304 25163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915596

[startup+2.98702 s]
/proc/loadavg: 1.34 1.27 1.43 3/88 18524
/proc/meminfo: memFree=878184/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915596 CPUtime=2.82
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 34788 0 1 0 261 21 0 0 25 0 8 0 165182338 937570304 34520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228899 34520 2160 14 0 215369 0
[pid=18516/tid=18518] ppid=18514 vsize=915596 CPUtime=0.41
/proc/18516/task/18518/stat : 18518 (java) S 18514 18516 16716 0 -1 64 18238 0 0 0 32 9 0 0 16 0 8 0 165182347 937570304 34520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165182348 937570304 34520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937570304 34520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937570304 34520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915596 CPUtime=0.17
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 412 0 0 0 17 0 0 0 16 0 8 0 165182352 937570304 34520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937570304 34520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915596 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937570304 34520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915596

[startup+6.26636 s]
/proc/loadavg: 1.34 1.27 1.43 3/88 18524
/proc/meminfo: memFree=871720/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915732 CPUtime=6.07
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 34859 0 1 0 586 21 0 0 25 0 8 0 165182338 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832852 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228933 34590 2180 14 0 215403 0
[pid=18516/tid=18518] ppid=18514 vsize=915732 CPUtime=0.41
/proc/18516/task/18518/stat : 18518 (java) S 18514 18516 16716 0 -1 64 18238 0 0 0 32 9 0 0 16 0 8 0 165182347 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165182348 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915732 CPUtime=0.19
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 422 0 0 0 19 0 0 0 16 0 8 0 165182352 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915732

[startup+12.7511 s]
/proc/loadavg: 1.44 1.30 1.43 2/75 18525
/proc/meminfo: memFree=1568336/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915732 CPUtime=12.47
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 34861 0 1 0 1226 21 0 0 25 0 8 0 165182338 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18516/statm: 228933 34592 2180 14 0 215403 0
[pid=18516/tid=18518] ppid=18514 vsize=915732 CPUtime=0.41
/proc/18516/task/18518/stat : 18518 (java) S 18514 18516 16716 0 -1 64 18238 0 0 0 32 9 0 0 16 0 8 0 165182347 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165182348 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915732 CPUtime=0.2
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 424 0 0 0 20 0 0 0 15 0 8 0 165182352 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915732

[startup+25.5905 s]
/proc/loadavg: 1.53 1.32 1.44 4/88 18598
/proc/meminfo: memFree=1428128/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915732 CPUtime=25.26
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 36010 0 1 0 2498 28 0 0 25 0 8 0 165182338 937709568 35740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228933 35740 2181 14 0 215403 0
[pid=18516/tid=18518] ppid=18514 vsize=915732 CPUtime=0.47
/proc/18516/task/18518/stat : 18518 (java) S 18514 18516 16716 0 -1 64 19372 0 0 0 38 9 0 0 16 0 8 0 165182347 937709568 35740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165182348 937709568 35740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937709568 35740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937709568 35740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915732 CPUtime=0.21
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 437 0 0 0 21 0 0 0 15 0 8 0 165182352 937709568 35740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937709568 35740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937709568 35740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915732

[startup+51.2853 s]
/proc/loadavg: 1.94 1.44 1.47 4/88 18598
/proc/meminfo: memFree=1222880/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915732 CPUtime=50.75
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 36013 0 1 0 5046 29 0 0 25 0 8 0 165182338 937709568 35742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832148 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228933 35742 2181 14 0 215403 0
[pid=18516/tid=18518] ppid=18514 vsize=915732 CPUtime=0.47
/proc/18516/task/18518/stat : 18518 (java) S 18514 18516 16716 0 -1 64 19372 0 0 0 38 9 0 0 16 0 8 0 165182347 937709568 35742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165182348 937709568 35742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937709568 35742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937709568 35742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915732 CPUtime=0.21
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 439 0 0 0 21 0 0 0 16 0 8 0 165182352 937709568 35742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937709568 35742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937709568 35742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915732

[startup+102.585 s]
/proc/loadavg: 2.15 1.59 1.52 3/88 18598
/proc/meminfo: memFree=929824/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915732 CPUtime=101.58
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 39648 0 1 0 10124 34 0 0 25 0 8 0 165182338 937709568 39375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837680 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228933 39375 2181 14 0 215403 0
[pid=18516/tid=18518] ppid=18514 vsize=915732 CPUtime=0.69
/proc/18516/task/18518/stat : 18518 (java) S 18514 18516 16716 0 -1 64 23004 0 0 0 57 12 0 0 16 0 8 0 165182347 937709568 39375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165182348 937709568 39375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937709568 39375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937709568 39375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915732 CPUtime=0.22
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 440 0 0 0 22 0 0 0 16 0 8 0 165182352 937709568 39375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937709568 39375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937709568 39375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 915732

[startup+162.641 s]
/proc/loadavg: 2.06 1.66 1.55 3/88 18598
/proc/meminfo: memFree=800480/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915732 CPUtime=161.1
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 42410 0 1 0 16074 36 0 0 25 0 8 0 165182338 937709568 42135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830908 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228933 42135 2181 14 0 215403 0
[pid=18516/tid=18518] ppid=18514 vsize=915732 CPUtime=0.82
/proc/18516/task/18518/stat : 18518 (java) S 18514 18516 16716 0 -1 64 25758 0 0 0 69 13 0 0 16 0 8 0 165182347 937709568 42135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165182348 937709568 42135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937709568 42135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937709568 42135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915732 CPUtime=0.23
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 446 0 0 0 23 0 0 0 16 0 8 0 165182352 937709568 42135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937709568 42135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915732 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937709568 42135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.1
Current children cumulated vsize (KiB) 915732

[startup+222.693 s]
/proc/loadavg: 1.97 1.70 1.57 3/80 18824
/proc/meminfo: memFree=1166688/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915876 CPUtime=220.74
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 96664 0 1 0 22013 61 0 0 25 0 8 0 165182338 937857024 96323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074202813 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228969 96323 2545 14 0 215439 0
[pid=18516/tid=18518] ppid=18514 vsize=915876 CPUtime=2.36
/proc/18516/task/18518/stat : 18518 (java) S 18514 18516 16716 0 -1 64 79420 0 0 0 204 32 0 0 16 0 8 0 165182347 937857024 96323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165182348 937857024 96323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937857024 96323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937857024 96323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915876 CPUtime=0.37
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 563 0 0 0 36 1 0 0 16 0 8 0 165182352 937857024 96323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937857024 96323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937857024 96323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.74
Current children cumulated vsize (KiB) 915876

[startup+282.758 s]
/proc/loadavg: 1.99 1.76 1.59 3/80 18824
/proc/meminfo: memFree=1166688/2055920 swapFree=4191892/4192956
[pid=18516] ppid=18514 vsize=915876 CPUtime=280.53
/proc/18516/stat : 18516 (java) R 18514 18516 16716 0 -1 0 96690 0 1 0 27991 62 0 0 25 0 8 0 165182338 937857024 96339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074232140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18516/statm: 228969 96339 2547 14 0 215439 0
[pid=18516/tid=18518] ppid=18514 vsize=915876 CPUtime=2.36
/proc/18516/task/18518/stat : 18518 (java) S 18514 18516 16716 0 -1 64 79420 0 0 0 204 32 0 0 16 0 8 0 165182347 937857024 96339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18519] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18519/stat : 18519 (java) S 18514 18516 16716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165182348 937857024 96339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18520] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18520/stat : 18520 (java) S 18514 18516 16716 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165182348 937857024 96339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18521] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18521/stat : 18521 (java) S 18514 18516 16716 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165182352 937857024 96339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18522] ppid=18514 vsize=915876 CPUtime=0.4
/proc/18516/task/18522/stat : 18522 (java) S 18514 18516 16716 0 -1 64 580 0 0 0 38 2 0 0 16 0 8 0 165182352 937857024 96339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18523] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18523/stat : 18523 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165182352 937857024 96339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18516/tid=18524] ppid=18514 vsize=915876 CPUtime=0
/proc/18516/task/18524/stat : 18524 (java) S 18514 18516 16716 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165182352 937857024 96339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.53
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 302.398
CPU time (s): 300.041
CPU user time (s): 299.353
CPU system time (s): 0.687895
CPU usage (%): 99.2208
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 299.353
system time used= 0.687895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96718
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= 8112
involuntary context switches= 13945

runsolver used 0.32295 s user time and 0.835872 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sun Jan  7 11:03:49 UTC 2007


IDJOB= 205660
IDBENCH= 4162
FILE ID= node42/205660-1168167825

PBS_JOBID= 3478657

Free space on /tmp= 66542 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  780bc7cf3432a828d9bbecb1a5751390

RANDOM SEED= 505197943

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.229
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.229
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:       1002184 kB
Buffers:         35584 kB
Cached:         242952 kB
SwapCached:        400 kB
Active:         841424 kB
Inactive:       151980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1002184 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            9128 kB
Writeback:           0 kB
Mapped:         731532 kB
Slab:            44212 kB
Committed_AS:  3832860 kB
PageTables:       3200 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= 66539 MiB



End job on node42 on Sun Jan  7 11:08:54 UTC 2007