Trace number 205612

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 301.132 302.291

DiagnosticValue
CHECKS85733835
NODES3000

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-9.xml
MD5SUM5318b238b6912c15c6964420425dc325
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 benchmark60.9717
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.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=esac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/205612-1168167766/unknown.xml
0.45	   
0.45	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.98	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.98	       =>  wckTime=0.625  cpuTime=0.43  mem=58M777
0.98	   
0.98	   predicates being loaded...
0.99	   
0.99	   constraints being loaded...
202.12	   
202.12	   INFO : Stopping converting binary constraints (cpu=200.17, mem = 145M999)
208.16	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=962  nbConvertConstraintsChecks=358803528
208.16	     nbExtensionStructures=869  nbSharedExtensionStructures=93  nbConflictsStructures=869
208.16	     nbSharedConflictsStructures=93  nbSharedBinaryRepresentations=900025  nbEvaluationManagers=18493
208.16	     nbSharedEvaluationManagers=8858  maxDegree=53  maxArity=2
208.16	       =>  wckTime=207.806  cpuTime=205.35  mem=187M68
208.59	   
208.59	   solver IterativeSystematicSolver being built... 
209.64	       =>  wckTime=209.283  cpuTime=205.95  mem=334M679
296.29	   
296.29	   INFO : Stopping ESAC
296.30	   
296.30	   preprocessing
296.30	     nbConstraintChecks=84775007  nbValidityChecks=31058487  nbPropagations=104908  nbRevisions=1824405
296.30	     nbUselessRevisions=1696288  nbSingletonTests=5403  nbEffectiveSingletonTests=5  nbESACBranches=22
296.30	     nbRemovedValues=1811371  detectedInconsistency=no
296.30	       =>  wckTime=86.611  cpuTime=86.27  mem=334M679
302.20	   
302.20	   search
302.20	     run=0  nbConstraintChecks=958828  nbValidityChecks=3062873  nbPropagations=121568  nbRevisions=2050337
302.20	     nbUselessRevisions=1905797  nbAssignments=3000  nbFailedAssignments=0  nbBacktracks=0  nbVisitedNodes=3001
302.20	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=2354
302.20	       =>  wckTime=92.518  cpuTime=92.14  mem=349M228
302.20	   
302.20	   global
302.20	     nbConstraintChecks=85733835  nbValidityChecks=34121360  nbPropagations=226476  nbRevisions=3874742
302.20	     nbUselessRevisions=3602085  nbRestartNogoods=0  solvingWckTime=92.52  solvingCpuTime=92.14  expiredTime=no
302.20	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=298.18
302.20	       =>  wckTime=301.847  cpuTime=298.13  mem=349M228
302.21	   
302.21	s SATISFIABLE
302.21	v -3410 3186 3218 -3574 4026 -4162 4002 -3150 -3462 -3746 -3670 -3306 -3254 4002 -4542 -3578 3294 -4178 3542 -3882 3618 -3662 -3486 -3338 -4502 -3362 3726 -4130 -3814 -3542 3702 -4170 -3630 -3870 -3490 -4126 3306 -3998 -3966 -3814 4042 4114 3910 -4326 -4226 4322 3150 4218 3962 -3498 -4442 3486 -4434 4502 -4110 -3150 4198 -4502 4286 -4046 -3650 3390 4430 -3894 4106 3958 -4162 4490 4502 -3762 -4386 -3646 -3250 -3734 4302 -4502 -4542 3578 4246 -4434 -4398 -4202 4026 4162 -3490 -3246 -4502 3558 -4398 3290 4310 -4210 -3966 -3374 -4334 3170 4122 4206 -4074 -4302 -3962 -4502 -3234 3190 -4482 -3974 -3722 3150 -3858 -3202 -3406 3766 -3410 3534 -3998 -4258 -3658 -3974 -3206 3206 4014 3830 -3702 -4502 3822 -3474 -4186 -4274 -4306 -4450 3726 -3486 -4258 -3402 -4114 -4470 -3906 3574 4190 3582 -3346 4234 3150 -3638 -3190 -3802 3646 4410 -3246 3306 -3930 3694 4042 4290 -3618 -3906 -4058 3466 -3290 -4454 -3438 4290 4358 3262 -3550 -4002 -3582 -4186 4102 -4466 -3174 -3590 4242 -4286 -3534 -4502 3582 4146 4258 -3590 3330 4066 3646 3538 -3746 -3166 -3190 -3930 3802 -4542 -3574 -3470 3338 -3550 3302 4138 -3542 -3402 3906 -3986 4470 -3938 4194 4078 -3190 -4086 3190 -3350 4498 -4346 3506 3398 -4522 -4190 -4426 -3630 -3250 3194 -3302 3150 -3210 4098 3518 -4118 -3702 -4234 -3910 4446 -3858 3190 3558 -4450 4166 -3638 -4006 3498 -4442 -3598 -4542 -3190 -4378 -3246 -4134 -3310 -3190 -4542 4326 -3950 -3814 -3250 3682 -3306 3782 -3766 -3814 -3922 -3318 -4198 -3282 3722 3566 -4302 -4010 -4142 -3394 -3210 3426 -3150 -3574 -3614 -4422 3582 -3954 -3286 -4174 -3406 -3526 -4542 -3814 3630 3150 -4482 -3614 -4522 -3638 -3566 3210 4462 -4130 -3810 -3750 -4322 -4346 -3550 3150 -4310 -3190 -3294 3690 3190 -4010 -4422 -4002 -3266 3702 3670 -3778 -3626 -3606 3462 -3846 3810 -4454 -4346 -3658 -4542 -3306 -3742 -4486 -3558 -3442 -4186 -4126 4474 4286 4398 3658 -3198 -3154 -3150 -3190 -4222 -3422 -3786 3418 3746 4238 4490 4418 -4350 3234 -3302 4518 -3578 -3958 -3718 -4182 -3642 3974 3518 3150 3326 4158 -3586 3594 -3210 -3978 -3350 3418 -3362 3350 4162 -4398 3378 -3326 -3678 -3190 4134 -4146 3250 -3862 -3758 3338 4330 3802 4482 -3650 4118 -4334 4526 4230 -3474 -3474 4530 -3190 -3766 -4434 3634 -3190 -3330 4098 -3578 3686 -3566 3202 -3610 -4134 3150 -3850 -4230 3418 -4162 -4518 -3582 -4322 4462 4410 -3458 -4410 -4238 -4146 3374 -3322 -3310 4182 4306 3278 -3578 -3302 -3502 -3814 3614 -4082 -3818 -4122 -3714 -4038 -4250 4262 -3370 3262 3550 -3582 -4502 -4350 3550 3254 -3242 3446 -3458 -3382 3334 -3898 -4290 3638 4370 -3258 4502 -3526 -3638 -3586 -4462 -3170 -3290 4146 -3318 3350 3502 3414 -3550 -3454 -4246 -3250 3410 -3698 -3294 -3906 3422 -3446 -4306 4454 -4470 -4214 -4066 3230 -3942 -3574 -3378 -3666 -3602 4298 -4282 3590 3190 -4346 -3190 4338 3170 3174 -4470 -3446 3266 -3958 4202 -3302 -4542 3158 -3294 -4154 4198 -4014 -4502 4374 3626 -4386 4138 -3286 -3658 3770 -4178 -3178 -3158 -4282 -4210 4506 -4502 -4206 -3306 -3590 3358 -4502 3642 -4502 4406 3614 3954 -3374 4010 -3342 3886 -4522 -4438 -4206 -3646 -4078 4034 -3286 3150 3998 3206 -3194 3602 -3434 -3714 -3190 -4094 -3330 -4502 3382 4134 3762 -4438 -4366 -3754 -3970 -3774 3562 -4134 -3982 -3946 -4466 3150 -4086 -3686 -3314 3962 3586 -4470 4362 3306 -3698 3790 4342 -3278 -4346 3910 -3634 4186 -4026 -3626 -3606 3418 4142 -3826 -3586 3582 -4502 -3582 4502 -3806 -3586 -3654 -4362 -3194 4246 -3550 4022 -4462 -4522 4514 3390 -4134 -3962 -3498 -3646 -4542 -4002 -3730 -4146 -4194 -3494 -4266 -3218 3234 4082 4190 3678 -3574 -3214 -3830 4382 -4282 -4186 3954 -3782 -4450 -4378 3190 3438 3370 3706 3554 -3862 -3590 -3810 3546 -3442 -4042 -4030 -3982 -3678 4130 4142 -4398 4014 -3674 -3974 -4522 3998 -3342 3270 3694 3974 -4070 -4082 3690 -3270 -3190 3830 -3638 -4478 -3182 -3670 -3170 3210 -3314 3486 -3238 4002 -3578 -3638 3210 -3398 -3634 3614 -3174 4090 4274 3626 -4502 3934 4002 -4210 3218 -3590 4326 -4338 -4146 4486 -3474 -3866 -3818 -3218 -3226 3678 -4014 3614 -3818 3214 -3738 3502 -4214 4410 -3422 -4322 -4402 4126 3190 3490 -4502 -3198 4450 4246 3666 3754 -4038 -3758 3370 4530 3190 -3266 3778 3510 4526 3214 -3278 3262 3774 -4390 -3366 3750 -3674 4226 -4154 -4242 4030 4542 3438 3830 -4234 -4162 4246 -3426 -3726 -4014 -3190 -4462 4426 4542 3410 -3874 -4542 -4326 -4250 -3950 -3850 -4310 -4238 -4182 4450 -4230 -3902 -3526 3178 3362 -3554 4438 3846 -3614 -3310 3262 -3394 -4014 -4218 3330 3358 3574 -4226 -4226 4458 -4334 -3726 -4454 3714 -4046 3918 4502 -4122 3246 -4402 -4502 3190 -3238 4478 -3150 -3718 -3654 4306 -3394 3778 3198 4394 -3882 4446 -4486 3530 3766 -3306 3262 3210 -4542 -4502 -3982 -3294 -3318 -3974 -4414 3662 3874 -4482 -4014 3790 -4130 -3166 3802 -4246 3702 3678 3710 -3610 -3798 -3866 3518 -3630 3478 -4354 -3966 -3598 -3358 3382 -3826 4158 4070 4054 -3398 -4386 -3370 3194 -4542 -3898 -3754 4182 4542 3950 -4070 3922 3890 -3830 4106 -3582 -4306 -4090 -4346 -3322 3358 3158 -4426 3910 -3630 -3246 4262 -4086 -3762 4434 -3374 -3154 -4366 -3458 -4502 4086 -3342 3842 -4346 -3814 3914 3234 3470 -3214 3194 -4462 -3858 -3382 -4178 3150 -3574 3970 -3422 -3906 3906 -4542 -3686 4262 3790 -4226 -3738 4466 -3566 -3478 3814 -3590 -4182 3610 -4374 -4470 -3450 -4542 -4158 -3318 -4322 3702 -3854 3170 -3830 3422 -4502 -4502 -4502 4462 -4514 -3306 3806 3218 -4414 -3498 3802 -4514 3718 -4362 -4122 4058 -3858 -4186 -3714 4130 3738 3850 -3846 -3326 3270 -4322 -3706 -3234 -4542 4122 4002 3806 -3586 3674 -3934 3806 4322 3246 -3574 -3674 -3574 -3318 4322 -4282 -4542 -3854 3802 3422 3662 3906 4142 4134 -3734 -4362 3630 4362 4022 -3970 -4102 -3406 -3358 -3862 3162 -3302 4242 -3358 -3582 3474 4482 4494 -3198 -4330 3962 4206 4502 -4062 -3274 4502 -4502 -3682 3546 -3482 -3534 4534 -4186 3570 -3734 -3586 3210 4150 3338 -3702 3726 -4446 3718 -3758 3594 3498 3522 -3490 3506 3838 3606 -4542 4354 3802 -4110 4154 -4514 4314 3830 -3314 -3450 -4022 3506 -3370 -3938 3854 -3810 -4014 -3198 -3658 -4522 -4334 -3622 -3410 3802 3290 -3330 -3190 4162 -3870 -3722 -3294 4066 3678 -3842 -4462 4454 3950 3706 -3442 3414 -4378 -4186 -4122 4206 3774 3170 -3614 -3490 -4490 -3998 3870 3806 -3442 -3590 -3898 -3706 -3542 3654 -4286 -4502 -4026 4054 3982 4282 -3342 -3370 3694 -3190 3214 3986 3202 4206 4110 -3594 -4374 3838 -4438 4050 -4186 -3206 -3538 -3574 3450 3618 4374 3750 -3230 -3278 4050 3330 -4402 -4206 -3642 -4250 -3698 -4382 3990 3598 3510 4166 3514 4338 3286 -3150 4122 -3418 -3822 -3942 3970 -3334 4202 -3274 4478 3858 -3610 -4014 3226 -4122 -3738 -4206 3858 -3194 -3390 -3898 3366 -3538 3286 4422 3902 -4018 -3286 3274 3274 3866 3922 -3614 -4110 -4510 -4542 4314 -3630 -4358 -3294 -3194 3814 -3814 3442 -4018 -4074 4502 4282 -3914 -3906 4038 -3298 -4542 -4202 3322 -4014 -3650 3670 -3662 -3662 -3970 -3382 -3998 -4102 -3278 -4450 -3290 -4494 3150 -3614 4426 4106 -4334 3190 -4346 -4502 -3854 -4482 -4318 -4450 3286 3998 -3546 3582 4202 3974 3438 -3170 -3282 4502 3654 4494 -3758 -3174 3286 -4258 3190 -3546 4026 4266 3150 -3374 4502 4082 -4502 -3958 -3282 4350 -3754 3362 -4246 -4146 -3514 -4394 3918 -3586 3850 3930 -3450 -3206 -4502 3350 3786 -3826 4490 -4262 -3870 3750 -3190 -3622 4502 -3190 -3238 -3598 -3610 -3622 3150 4046 -3446 -4010 -3726 4422 3222 -4042 -3558 -4250 4170 4002 4274 -3522 -3334 -4046 -3522 -4282 -3622 -3330 -3214 4502 4234 -3258 -3218 3810 -3202 -4066 -3158 3618 3958 4414 -3610 -3370 -3678 -3302 -4538 4258 3810 -3298 -3890 -3714 3258 -3822 -3698 -4542 3662 -4374 -3530 -4122 -4202 -3478 -4282 4422 4006 -3758 3454 -3474 4126 -4142 -3798 -3642 -3838 -3322 -3154 -3634 4394 3910 3626 -3762 4290 -3882 3190 3278 3466 -4490 -4346 -3262 4502 4286 3262 -3550 -3966 -4322 -3858 -4330 -4502 -3790 -4358 -3322 4134 -3974 3314 -3510 -4270 -3902 -3362 -4262 -3722 -3206 4542 -3570 3250 3310 -3382 3986 -3450 3654 -4422 -3154 3150 -4074 -3754 3590 3274 -3822 -4398 -3314 -4046 -3150 -3994 -3786 4062 -4230 4082 -3682 -3258 3634 -3718 3530 -3766 3434 3778 -4186 -4502 -4298 -4030 4378 3350 -3866 -3190 -3974 -3782 -4042 3406 4266 4146 -3214 -3750 -4502 -3974 -4446 4502 -4262 -3150 -3706 -4358 3158 3842 -4146 3774 3878 4050 -3606 -4386 -4038 4282 -3170 -3258 4318 4518 3210 4146 3998 -4498 4430 -3594 -3718 -3790 4394 3286 -4026 3934 -4290 3866 -3606 -3334 -4522 -4014 3194 3646 -3210 -4502 -4098 4334 4530 4422 4190 -3878 4278 -4362 -3794 -4038 -4542 -4350 -3742 4198 4070 4042 -3210 -3838 -3294 -3150 -3730 4306 -4226 -3834 -3190 3890 4398 -3786 4502 4194 3658 4442 4250 4390 -4166 3150 -3802 -3970 -3878 4542 -4310 -4166 -4214 -3314 -3906 3970 3950 4374 -4042 3434 -3150 4170 -3762 -3810 3798 3318 -4330 3190 3754 -4042 -3218 -3210 3150 -3270 -3462 3930 -3190 -3962 3178 -4502 -4170 3222 -4462 3234 -4322 4146 -3222 -4074 -4234 4490 -4078 3890 -4542 -3818 -4146 4542 -4486 -4362 -3590 -3658 -4350 3262 -4050 -3546 4026 -3962 -3806 4138 3722 -3302 -3242 -3210 -3150 3478 -3534 3190 3514 3254 -3626 -3922 3590 -3542 -4390 -4206 -3430 -3258 3970 -3946 -4070 -4102 -3490 -3550 3282 -3746 -3418 -4402 -3998 -4118 -3726 3398 -3818 4138 -3242 3558 -4062 4150 3450 -3774 -3614 -3966 -3622 -3190 -3626 3842 3974 -3850 4106 3286 -3218 3370 -3150 3166 -3842 -3870 -3302 -3578 4162 -3150 -4174 3670 3970 -4542 -3214 -4142 -3726 -4310 -3646 3726 -3714 3934 -3962 -3746 -4342 -3274 -3634 4070 4270 -3746 -4266 -3910 -3282 4474 -3250 4142 3834 -4198 -3186 -4538 3226 -4302 4490 -3622 -3398 3622 -4486 3774 -3618 -3310 -4270 -3218 -3630 3774 -3238 -4290 3958 -4370 3490 -4166 4082 4542 4490 -3974 -4302 -3738 3990 3150 3290 -3414 -4534 -3518 3190 -4138 -3158 4170 4242 4234 4226 -3350 -4106 -3198 4118 3354 4522 -4322 -4542 -4462 4346 3178 3662 4082 -3774 4334 -4330 -4390 3866 3778 -3642 -3810 -3654 -4146 4098 -3606 -3838 -3514 3190 -3210 4482 -3830 3298 3842 4078 3474 4034 -3662 -3718 4534 -3614 -3542 3198 -4054 4138 -3238 -3286 -3198 4314 -3718 3850 -3514 3962 -3554 4174 4006 -4542 4334 3422 -3582 4206 4126 -4062 3370 -3274 3346 -4310 -3982 -3226 -3198 -4174 -3574 -3302 -4442 4014 4142 3470 3342 -3434 -4134 -3250 -3842 3274 3838 3938 4510 -4510 -4014 4502 -4482 4478 3322 -4006 -4094 3790 -4010 -3718 -3710 -3686 4522 -4374 -3622 -3530 -4238 -3330 -4414 -3614 -4106 -3942 -3242 -3374 3150 -4342 -3326 -3570 -3482 -4218 3482 -3598 -3190 -3198 -3882 3762 3190 4078 -3510 -4522 -3258 -3622 -3378 -3318 -3622 -4522 3670 -3762 4114 -4178 -3622 4202 -3478 -3206 4030 -3530 3446 4502 -3166 -3254 -4306 -4134 -3650 -3858 -3370 -3594 -4502 3190 -3746 -3766 -3242 -3606 -3150 4482 -3190 -3882 4494 3654 -3174 4414 3266 -3686 -4422 4198 -3214 4542 -3150 -4542 -3310 -4522 3630 3862 3334 -4310 -3522 -3546 -4542 -3274 -4542 -4518 -3582 -3334 -3822 3282 -4142 -4322 -4338 -3898 4126 -4106 -3738 3866 -4322 3458 3790 -3678 -4010 -4090 -3802 -3390 -3806 -3454 -3150 -4486 -3630 -4542 4498 -4418 -4110 -3998 -3502 4078 -3314 -3290 -3374 -3602 -3946 -4334 -4098 -4406 -3918 3378 3414 -4502 4038 -3638 -4090 -4186 -3398 -3150 -3214 -3190 -3190 -3414 -3242 4454 3506 4254 3318 -3878 4278 -3350 -4006 3970 -3218 3542 -4106 -3882 -3990 3818 3150 3974 -4390 -4102 -3586 -3314 -4174 3518 -4290 4218 4086 -3150 3954 -4410 3926 -4322 -3254 -3406 -3718 3458 -4502 -3906 3930 -3398 3438 4174 3474 -4466 -4270 3150 -4114 4282 3590 -4186 -4542 -4458 -3326 -3590 -3714 -3302 4386 -3750 -3850 -3674 -3630 -4130 -3654 3534 -3558 3730 -3214 -3990 -4462 4470 4386 3490 4274 -3274 4094 -4082 3150 -3234 3310 -4370 -4014 -3590 4542 -3950 -4478 -3862 -3414 3238 -3574 -3222 4174 -3378 -4010 -4130 -4186 -4434 -3630 3594 -3870 -3402 -4426 4022 -3974 3190 -4066 4082 -3314 3150 -4242 -3586 4346 -4002 -3166 -3698 -3326 3930 3734 3550 -3974 4394 -3894 -3158 4134 -3182 -3962 -3402 3190 3226 3170 -3190 4286 -4542 3774 -4198 3766 -4050 -4166 4502 -4486 -3830 -3454 -3674 -4502 -3818 -3910 -3834 -3626 -4462 -4542 4222 -4482 -4470 -4542 3262 -3370 -3254 3358 4278 -4358 3650 3494 3510 -4114 -3286 -3926 -3190 -4254 -3150 -4178 -3506 -4010 -4214 3258 -3562 4138 -4046 -4370 3378 3350 3990 -4102 -3318 -3946 -3334 3254 -4246 -3342 3698 3946 -3514 -3818 -4258 -3546 -4450 3718 -4054 -3674 3722 4394 3274 3530 3466 3246 -4090 -4202 -4278 -4194 4502 -4006 3718 4070 4086 3198 -3626 -3518 -4174 -4346 3982 3542 3954 -4242 3586 4542 -3402 -4186 -3790 -3294 3326 3950 -4502 3514 -3150 -4542 -4226 3746 3762 4478 -4502 -3806 3190 -4266 4078 -3874 -4522 -3370 -4530 4410 3610 3750 -3878 -4214 3174 3382 -4286 -3898 3598 -3898 3942 -4542 4542 -4502 -4350 -4418 3674 -3578 -4478 4046 -4206 3630 -4494 -3834 -3982 3162 3346 -4090 -3150 3786 -3626 3582 3714 -3222 4098 4218 4002 3602 -3266 3986 -3250 3366 -3858 -4186 -3830 -4250 -3190 3562 -3326 -3678 -4322 -4466 3914 -3258 -3338 4474 -3498 -4542 -3414 -4426 -3502 -3354 -3966 -4542 -3158 4038 -3406 -4274 -3938 -3614 -3326 -3574 3846 -4482 3418 3962 4318 -3334 -4462 -3586 -3994 4030 -3230 4158 -3262 -3246 4138 -3798 -3474 -3342 -3818 3686 4066 4398 -4082 4230 3474 -3278 -4022 -3518 -3454 -3954 4318 -4510 3150 -3170 -3738 -4322 -3330 -4394 3598 -3474 3558 3450 -3546 3258 -4502 -3870 -4230 -3326 4402 4058 -4330 -3778 -3642 -4042 3150 -4158 -3390 -3274 -3830 -3714 3842 3542 -3162 -3590 3382 -3310 -3718 -3702 -4182 -4014 -3218 3550 -3862 -3958 -3774 -3710 -3850 -4510 -3766 3866 3910 4298 3626 -4370 -3314 -4542 -3174 3870 -4318 3466 3858 -4162 -4166 3158 -3214 4118 -4042 3918 3190 4442 -3330 -4186 -4006 -3262 3422 -3994 3614 3998 4434 -4322 4450 -3582 -4142 -4542 3378 3766 3758 -3266 -3706 -4514 -3378 -4166 -3430 -3606 4386 -3646 -4114 4450 -3414 -4066 -3298 -3510 -3626 3150 -3842 -4474 -3694 4346 -4542 3618 -4134 -3602 -3530 4374 3386 3322 3906 3350 -3790 3190 4010 3570 -4266 -3790 -4482 -3490 4450 -3714 -3658 -3410 -4398 -3874 3826 3922 -4194 -4002 -3962 -3738 3290 -3514 -3790 3830 -3882 -3882 3662 -3150 4106 4042 -4066 3282 -3714 -3754 3898 -3582 -3386 4538 3418 -3622 -4098 3554 -4502 -3802 4402 3250 3570 -3542 -4242 4310 -3970 -3538 -3574 -4026 3382 3190 3434 -3766 4450 -4082 3354 -3882 -3462 3206 3254 -3298 -4454 3354 3578 -3198 -3754 -3970 -4006 -4006 -3694 -3190 3438 4270 -3766 3538 -3834 3814 4242 -3174 -4290 3582 4046 4542 3790 -3266 -4542 4494 -3406 -3746 -3618 4174 4042 4458 -3326 3242 3374 -3582 -3718 4246 3758 4358 -3310 -3158 3974 -4362 4358 3682 -4374 3814 -4234 -3814 3870 4054 -3150 4222 -3846 3930 -3190 3934 -4510 -4490 -4394 -3698 -3930 -3722 -3202 -3558 3322 -3150 -4174 -4410 3150 -4034 -3278 -4206 4462 3990 -3634 -3842 -3282 3378 -4246 -4422 -4422 -3570 3854 4094 -3938 -3574 -3566 3358 3310 3814 -3250 4510 -3678 3902 3366 3202 4422 -3770 4154 -4106 -3394 -4274 -3190 4090 4074 3458 3302 -3366 -4354 -3626 3734 -3978 3726 -3178 -3854 -4466 -4474 4202 -4522 3322 -4422 3258 -4362 -3606 3150 3578 3306 -4362 -4138 3206 4354 -4018 3718 -3850 -3654 3618 -3954 4022 -4198 3786 -3690 -3198 -3158 -4358 4290 4486 3982 -3502 -4542 3150 -3290 -4542 3274 -3870 3798 -3622 4214 -4110 -4334 -4030 3606 4090 -3810 -4050 -3238 -3638 -4306 3366 -3358 3862 -3398 -4014 -3446 3218 3298 -3238 4074 4262 -3974 4290 3830 -4282 4462 -4306 3198 -4430 -3914 -3970 -4362 -4290 -3598 -3266 -3950 -3994 4418 -3666 -3986 3262 -3330 3586 -3614 3486 -4222 4178 -4542 -3234 4286 3394 3886 -4226 -4014 -3218 -4014 3718 -4502 3678 4322 -3150 -4302 -4302 4454 4482 -3974 -4542 -3742 -4542 -3370 -3614 -4178 -3582 4270 3522 -4022 4174 -3330 3958 -3478 -3238 3230 3698 -4026 -3350 3766 -4022 3842 -4502 -3534 -3150 -3202 -3842 -3922 -3970 4502 3190 -3718 -3758 -3330 -4202 -4374 -3346 -3698 -3730 3150 4190 3754 4330 4470 -3998 3422 3850 -4218 -3622 -3762 -3434 -3994 -3946 -3810 3682 3854 3150 3922 -4526 -3994 -4498 3762 -4422 4430 4410 -4438 3458 -4218 -3302 -3950 -4350 -3438 4342 3954 4362 -4402 -4102 -4070 -3510 -4482 -3774 -3450 -4542 -3978 3418 -3598 3418 -3702 -3830 -3458 -3266 -4078 4462 3610 -4114 -3270 3442 3562 3182 -3214 3434 3322 -3174 3278 -4214 -4194 3706 -4542 -3854 -4282 3250 3346 3190 -3530 -3582 -3954 -3678 -3170 4138 -3538 -3190 4222 -3354 -3434 3754 4306 -3458 3206 4038 3678 3210 -3210 -4526 4538 3258 3590 -3418 -3986 -4146 -3994 3362 -4134 3782 3934 -3362 3702 4266 -4458 -4542 -3710 3834 4262 -4542 -3574 -3670 -3586 -3330 3166 -4030 -4246 3634 -3590 4174 4474 -4338 -4162 -3198 -4322 3742 -4066 4114 4286 -4422 -3190 4470 -4542 -3822 3710 -4422 -4502 4346 4066 -4418 3370 -3150 3366 3678 -4058 3330 4230 3990 4254 -4002 -3206 -4382 -4502 -3494 -3250 -4314 -4070 -4490 -4482 -3514 3378 4386 -3602 -4542 3226 -3326 -3242 -4446 3970 4274 -4382 3758 -3298 -3714 4150 -4146 -4462 3554 -3618 -4522 -3770 4266 4502 3926 3906 -3794 -3410 3370 4342 -4066 4486 4478 -3614 3506 -3254 -4482 3782 3222 -3478 4418 -3858 -4162 -3314 4218 -3394 -3558 4410 3798 -4190 -3550 -3482 -3426 -3598 -4010 -4362 -3938 -3178 -3210 4202 4074 -4014 -3562 4410 -3190 -3794 -4374 -3258 -3202 -3314 -3930 -3438 3514 -4446 3866 -3406 4094 3822 -4542 -4306 -4422 -3462 -3686 4422 -4334 -3838 -4018 3586 -4042 -3214 -3210 4374 3198 -4326 -4030 -3878 4414 4438 4378 -3974 -3586 -4394 4186 3566 -3814 -3714 -3266 -3402 -3718 3462 -3710 -3718 -4350 3150 
302.21	d NODES 3000
302.21	d CHECKS 85733835
302.21	   
302.21	   totalWckTime=301.935  totalCpuTime=298.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/node23/watcher-205612-1168167766 -o ROOT/results/node23/solver-205612-1168167766 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205612-1168167766/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.01 0.39 1.08 3/81 17709
/proc/meminfo: memFree=1856256/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=172 CPUtime=0
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 165171867 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2494763 0 0 4096 0 0 0 0 17 1 0 0
/proc/17708/statm: 43 24 18 14 0 3 0

[startup+0.103437 s]
/proc/loadavg: 0.01 0.39 1.08 3/81 17709
/proc/meminfo: memFree=1856256/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=912432 CPUtime=0.06
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 2695 0 1 0 5 1 0 0 23 0 8 0 165171867 934330368 2442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17708/statm: 228108 2442 1332 14 0 215091 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912432

[startup+0.515512 s]
/proc/loadavg: 0.01 0.39 1.08 3/81 17709
/proc/meminfo: memFree=1856256/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915328 CPUtime=0.41
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 6142 0 19 0 37 4 0 0 16 0 8 0 165171867 937295872 5899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17708/statm: 228832 5901 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.33968 s]
/proc/loadavg: 0.09 0.40 1.08 2/88 17716
/proc/meminfo: memFree=1758344/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915596 CPUtime=1.23
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 31665 0 19 0 108 15 0 0 17 0 8 0 165171867 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073578656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17708/statm: 228899 31420 2160 14 0 215369 0
[pid=17708/tid=17710] ppid=17706 vsize=915596 CPUtime=0.13
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 15142 0 0 0 7 6 0 0 16 0 8 0 165171873 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915596 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915596 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915596 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915596 CPUtime=0.15
/proc/17708/task/17714/stat : 17714 (java) S 17706 17708 17200 0 -1 64 409 0 0 0 14 1 0 0 15 0 8 0 165171877 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915596 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915596 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 937570304 31420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915596

[startup+2.97699 s]
/proc/loadavg: 0.09 0.40 1.08 2/88 17716
/proc/meminfo: memFree=1724744/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915732 CPUtime=2.87
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 34835 0 19 0 269 18 0 0 16 0 8 0 165171867 937709568 34585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17708/statm: 228933 34585 2180 14 0 215403 0
[pid=17708/tid=17710] ppid=17706 vsize=915732 CPUtime=0.31
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 18239 0 0 0 24 7 0 0 16 0 8 0 165171873 937709568 34585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 34585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 34585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937709568 34585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915732 CPUtime=0.16
/proc/17708/task/17714/stat : 17714 (java) R 17706 17708 17200 0 -1 64 417 0 0 0 15 1 0 0 16 0 8 0 165171877 937709568 34585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937709568 34585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 937709568 34585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915732

[startup+6.27262 s]
/proc/loadavg: 0.16 0.41 1.08 2/88 17716
/proc/meminfo: memFree=1720264/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915732 CPUtime=6.17
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 34841 0 19 0 599 18 0 0 17 0 8 0 165171867 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17708/statm: 228933 34590 2180 14 0 215403 0
[pid=17708/tid=17710] ppid=17706 vsize=915732 CPUtime=0.31
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 18239 0 0 0 24 7 0 0 16 0 8 0 165171873 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915732 CPUtime=0.17
/proc/17708/task/17714/stat : 17714 (java) S 17706 17708 17200 0 -1 64 422 0 0 0 16 1 0 0 16 0 8 0 165171877 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937709568 34590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 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.17
Current children cumulated vsize (KiB) 915732

[startup+12.7449 s]
/proc/loadavg: 0.23 0.41 1.08 2/88 17717
/proc/meminfo: memFree=1722632/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915732 CPUtime=12.63
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 34843 0 19 0 1245 18 0 0 17 0 8 0 165171867 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17708/statm: 228933 34592 2180 14 0 215403 0
[pid=17708/tid=17710] ppid=17706 vsize=915732 CPUtime=0.31
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 18239 0 0 0 24 7 0 0 16 0 8 0 165171873 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915732 CPUtime=0.17
/proc/17708/task/17714/stat : 17714 (java) S 17706 17708 17200 0 -1 64 424 0 0 0 16 1 0 0 15 0 8 0 165171877 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937709568 34592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 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.63
Current children cumulated vsize (KiB) 915732

[startup+25.5924 s]
/proc/loadavg: 0.34 0.43 1.08 2/88 17719
/proc/meminfo: memFree=1717960/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915732 CPUtime=25.47
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 36045 0 19 0 2528 19 0 0 18 0 8 0 165171867 937709568 35793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17708/statm: 228933 35793 2181 14 0 215403 0
[pid=17708/tid=17710] ppid=17706 vsize=915732 CPUtime=0.37
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 19430 0 0 0 30 7 0 0 16 0 8 0 165171873 937709568 35793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 35793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 35793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937709568 35793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915732 CPUtime=0.18
/proc/17708/task/17714/stat : 17714 (java) S 17706 17708 17200 0 -1 64 433 0 0 0 17 1 0 0 15 0 8 0 165171877 937709568 35793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937709568 35793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 937709568 35793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915732

[startup+51.2303 s]
/proc/loadavg: 0.90 0.55 1.10 3/101 17778
/proc/meminfo: memFree=1259040/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915732 CPUtime=51.04
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 36048 0 19 0 5084 20 0 0 25 0 8 0 165171867 937709568 35795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17708/statm: 228933 35795 2181 14 0 215403 0
[pid=17708/tid=17710] ppid=17706 vsize=915732 CPUtime=0.37
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 19430 0 0 0 30 7 0 0 16 0 8 0 165171873 937709568 35795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 35795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 35795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937709568 35795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915732 CPUtime=0.19
/proc/17708/task/17714/stat : 17714 (java) S 17706 17708 17200 0 -1 64 435 0 0 0 18 1 0 0 16 0 8 0 165171877 937709568 35795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937709568 35795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 937709568 35795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 915732

[startup+102.517 s]
/proc/loadavg: 1.66 0.82 1.16 3/101 17849
/proc/meminfo: memFree=1309592/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915732 CPUtime=102.22
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 39623 0 19 0 10195 27 0 0 25 0 8 0 165171867 937709568 39368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17708/statm: 228933 39368 2181 14 0 215403 0
[pid=17708/tid=17710] ppid=17706 vsize=915732 CPUtime=0.59
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 23002 0 0 0 50 9 0 0 16 0 8 0 165171873 937709568 39368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 39368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 39368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937709568 39368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915732 CPUtime=0.19
/proc/17708/task/17714/stat : 17714 (java) S 17706 17708 17200 0 -1 64 436 0 0 0 18 1 0 0 16 0 8 0 165171877 937709568 39368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937709568 39368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 937709568 39368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 915732

[startup+162.592 s]
/proc/loadavg: 1.95 1.06 1.22 3/93 17887
/proc/meminfo: memFree=1391832/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915732 CPUtime=161.99
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 42556 0 19 0 16165 34 0 0 25 0 8 0 165171867 937709568 42299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17708/statm: 228933 42299 2181 14 0 215403 0
[pid=17708/tid=17710] ppid=17706 vsize=915732 CPUtime=0.73
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 25927 0 0 0 63 10 0 0 16 0 8 0 165171873 937709568 42299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 42299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937709568 42299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937709568 42299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915732 CPUtime=0.2
/proc/17708/task/17714/stat : 17714 (java) S 17706 17708 17200 0 -1 64 442 0 0 0 19 1 0 0 16 0 8 0 165171877 937709568 42299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937709568 42299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915732 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 937709568 42299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.99
Current children cumulated vsize (KiB) 915732

[startup+222.623 s]
/proc/loadavg: 1.98 1.23 1.26 3/93 17887
/proc/meminfo: memFree=748184/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915876 CPUtime=221.69
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 96500 0 19 0 22112 57 0 0 25 0 8 0 165171867 937857024 96177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074217819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17708/statm: 228969 96177 2545 14 0 215439 0
[pid=17708/tid=17710] ppid=17706 vsize=915876 CPUtime=2.26
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 79278 0 0 0 196 30 0 0 16 0 8 0 165171873 937857024 96177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937857024 96177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937857024 96177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937857024 96177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915876 CPUtime=0.34
/proc/17708/task/17714/stat : 17714 (java) S 17706 17708 17200 0 -1 64 559 0 0 0 32 2 0 0 16 0 8 0 165171877 937857024 96177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937857024 96177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 937857024 96177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.69
Current children cumulated vsize (KiB) 915876

[startup+282.704 s]
/proc/loadavg: 2.13 1.40 1.32 3/101 17961
/proc/meminfo: memFree=1120016/2055920 swapFree=4191880/4192956
[pid=17708] ppid=17706 vsize=915876 CPUtime=281.57
/proc/17708/stat : 17708 (java) R 17706 17708 17200 0 -1 0 96529 0 19 0 28099 58 0 0 25 0 8 0 165171867 937857024 96193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074266169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17708/statm: 228969 96193 2547 14 0 215439 0
[pid=17708/tid=17710] ppid=17706 vsize=915876 CPUtime=2.26
/proc/17708/task/17710/stat : 17710 (java) S 17706 17708 17200 0 -1 64 79278 0 0 0 196 30 0 0 16 0 8 0 165171873 937857024 96193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17711] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17711/stat : 17711 (java) S 17706 17708 17200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165171874 937857024 96193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17712] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17712/stat : 17712 (java) S 17706 17708 17200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165171874 937857024 96193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17713] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17713/stat : 17713 (java) S 17706 17708 17200 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165171877 937857024 96193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17714] ppid=17706 vsize=915876 CPUtime=0.36
/proc/17708/task/17714/stat : 17714 (java) S 17706 17708 17200 0 -1 64 578 0 0 0 34 2 0 0 15 0 8 0 165171877 937857024 96193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17708/tid=17715] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17715/stat : 17715 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165171877 937857024 96193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17708/tid=17716] ppid=17706 vsize=915876 CPUtime=0
/proc/17708/task/17716/stat : 17716 (java) S 17706 17708 17200 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165171877 937857024 96193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.57
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 302.291
CPU time (s): 301.132
CPU user time (s): 300.481
CPU system time (s): 0.650901
CPU usage (%): 99.6165
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.481
system time used= 0.650901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96556
page faults= 19
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7868
involuntary context switches= 10282

runsolver used 0.336948 s user time and 0.967852 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sun Jan  7 11:02:51 UTC 2007


IDJOB= 205612
IDBENCH= 4159
FILE ID= node23/205612-1168167766

PBS_JOBID= 3478786

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5318b238b6912c15c6964420425dc325

RANDOM SEED= 68334188

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.265
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.265
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:       1856736 kB
Buffers:          6812 kB
Cached:          86560 kB
SwapCached:        264 kB
Active:         123572 kB
Inactive:        29628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1856736 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           11524 kB
Writeback:           0 kB
Mapped:          77520 kB
Slab:            31116 kB
Committed_AS:  3326640 kB
PageTables:       2124 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= 66536 MiB



End job on node23 on Sun Jan  7 11:07:57 UTC 2007