Trace number 205699

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 292.762 295.093

DiagnosticValue
CHECKS61026521
NODES3445

General information on the benchmark

Namefapp/fapp36-40/fapp40/
fapp40-3000-6.xml
MD5SUMffdafe8b3301c2726a31d80f032e4139
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 benchmark55.9515
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/205699-1168167861/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.93	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698
0.93	       =>  wckTime=0.617  cpuTime=0.43  mem=58M777
0.93	   
0.93	   predicates being loaded...
0.93	   
0.93	   constraints being loaded...
203.07	   
203.07	   INFO : Stopping converting binary constraints (cpu=200.09, mem = 142M135)
209.67	     nbConstraints=28313  nbMergedConstraints=25235  nbConvertedConstraints=963  nbConvertConstraintsChecks=354845868
209.67	     nbExtensionStructures=860  nbSharedExtensionStructures=103  nbConflictsStructures=860
209.67	     nbSharedConflictsStructures=103  nbSharedBinaryRepresentations=895000  nbEvaluationManagers=18645
209.67	     nbSharedEvaluationManagers=8705  maxDegree=53  maxArity=2
209.67	       =>  wckTime=209.36  cpuTime=205.75  mem=187M162
210.10	   
210.10	   solver IterativeSystematicSolver being built... 
211.19	       =>  wckTime=210.883  cpuTime=206.39  mem=333M774
289.45	   
289.45	   INFO : Stopping ESAC
289.45	   
289.45	   preprocessing
289.45	     nbConstraintChecks=60453187  nbValidityChecks=24740485  nbPropagations=126644  nbRevisions=2281138
289.45	     nbUselessRevisions=2133294  nbSingletonTests=10857  nbEffectiveSingletonTests=10  nbESACBranches=40
289.45	     nbRemovedValues=1836383  detectedInconsistency=no
289.45	       =>  wckTime=78.211  cpuTime=77.77  mem=333M774
290.76	   
290.76	   search
290.76	     run=0  nbConstraintChecks=196530  nbValidityChecks=769161  nbPropagations=130418  nbRevisions=2371545
290.76	     nbUselessRevisions=2218958  nbAssignments=440  nbFailedAssignments=2  nbBacktracks=29  nbVisitedNodes=444
290.76	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=438
290.76	       =>  wckTime=79.522  cpuTime=79.07  mem=334M753
295.00	   
295.00	   search
295.00	     run=1  nbConstraintChecks=573334  nbValidityChecks=2215593  nbPropagations=272220  nbRevisions=4900825
295.00	     nbUselessRevisions=4584463  nbAssignments=3445  nbFailedAssignments=6  nbBacktracks=29  nbVisitedNodes=3452
295.00	     nbRestartNogoods=1  mapSize=0  nbInferences=0  nbTooLargeKeys=2740
295.00	       =>  wckTime=83.764  cpuTime=83.29  mem=349M997
295.00	   
295.00	   global
295.00	     nbConstraintChecks=61026521  nbValidityChecks=26956078  nbPropagations=398864  nbRevisions=7181963
295.00	     nbUselessRevisions=6717757  nbRestartNogoods=1  solvingWckTime=83.765  solvingCpuTime=83.3  expiredTime=no
295.00	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=289.79
295.00	       =>  wckTime=294.693  cpuTime=289.73  mem=349M997
295.01	   
295.01	s SATISFIABLE
295.01	v -3414 3194 -3218 3574 -4022 -4162 -4002 -3150 -3538 -3766 3666 -3302 -3254 3994 -4542 -3574 -3294 -4186 -3550 -3886 3614 3646 -3478 -3342 -4502 -3358 3722 4126 -3806 3534 3702 4162 -3626 -3870 3490 -4134 3310 -3990 -3970 -3806 4038 -4114 3914 -4310 -4222 -4322 -3154 4218 -3962 3498 4418 -3486 -4430 4502 -4106 -3150 4198 -4502 4282 4034 -3646 -3390 4430 -3890 4098 3950 -4150 4490 -4542 -3758 -4382 -3642 3254 3722 -4298 -4502 -4542 3526 4246 4434 -4342 -4202 -4018 4162 -3494 -3206 -4502 3566 -4398 3286 4306 4190 -3970 -3370 -4334 3170 4114 4214 -4078 -4306 3954 -4502 3234 3198 -4482 -3966 3718 3150 -3862 3202 -3410 -3754 3418 3534 -4006 -4254 -3654 -3962 -3210 -3206 -4010 3834 -3702 -4502 3822 -3474 -4186 -4274 4162 -4450 3730 -3486 4254 -3414 -4102 -4526 3914 -3578 4182 -3582 -3346 4242 3150 -3638 -3214 3802 -3654 -4414 -3242 3302 3930 3706 4034 4286 -3614 -3894 -4054 3470 -3290 -4458 -3438 -4290 -4358 3258 -3550 -4006 -3582 -4186 4106 -4466 -3174 -3586 -4242 4278 3534 -4542 -3598 -4146 -4262 -3590 -3330 -4074 3654 3542 3742 3274 3190 -3942 3810 -4542 -3574 -3482 3342 -3546 3306 -4146 3546 -3402 3902 3990 4470 3930 4186 4082 -3174 4090 3190 3346 4482 4342 3510 3398 -4522 -4190 -4426 -3610 -3250 3194 -3302 -3154 -3210 4102 3522 4122 -3710 -4222 -3910 4446 3854 3190 3562 -4454 -4174 -3638 3994 -3494 -4434 -3598 -4542 -3190 -4382 -3246 4138 3310 -3190 -4542 4330 -3954 -3814 3250 3682 -3306 3786 3766 3814 3918 -3322 4206 -3282 -3730 3570 -4302 4014 -4146 -3394 -3210 -3430 -3150 -3582 3606 -4422 3582 -3954 -3330 4174 3414 -3530 -4538 -3810 3634 3150 4478 3618 -4522 3630 -3570 3206 4462 4130 -3806 -3746 -4322 -4346 -3546 3150 -4318 -3190 -3290 3682 -3190 -4014 -4422 -4006 -3266 -3714 -3666 -3706 3622 3598 -3462 -3846 3810 4470 -4342 -3650 -4542 -3310 -3730 -4466 -3558 -3454 4182 -4122 4466 4282 4398 3658 -3198 -3234 3158 -3190 -4226 -3426 -3778 3418 3742 4238 4490 -4422 -4498 -3234 -3298 -4522 3574 3954 -3710 -4186 -3646 3970 -3518 3150 3326 4158 -3582 -3594 -3210 -3974 -3350 3418 -3366 3354 4158 -4318 3382 -3326 -3654 3330 4142 4146 3250 -3862 -3758 3342 4330 3798 -4502 -3650 4114 -4334 -4542 -4222 3474 -3478 4530 -3190 3762 -4430 3650 -3186 3330 -4094 -3574 -3682 -3562 3202 -3610 -4130 -3302 3838 -4222 3418 -4162 -4518 -3594 4322 -4462 4410 -3458 4410 -4242 -4146 3370 -3314 3306 -4186 -4306 3278 -3574 -3302 3518 -3818 -3606 4078 3818 -4122 -3710 -4042 -4250 -4266 3362 3262 3550 -3578 -4502 4350 3570 -3254 3242 -3438 -3454 3386 3334 -3902 -4294 3594 4370 -3258 4482 -3526 -3638 -3582 -4462 3170 -3290 4146 -3322 3354 3510 3422 -3550 -3466 4238 -3250 3414 -3698 3294 -3910 3438 -3450 -4306 -4266 -4470 4214 -4066 -3226 -3950 -3582 -3378 -3678 3606 4298 4282 3590 3190 4346 -3190 4334 3170 -3174 4470 -3454 -3262 -3966 -4202 -3306 4502 3158 -3294 -4158 4206 -4014 -4502 -4382 -3638 -4398 -4130 -3286 -3654 3766 4174 -3190 -3158 -4282 4214 4502 -4502 4198 3306 -3586 -3366 -4502 3638 4498 4406 -3614 3970 3378 -4014 3346 3886 -4522 4434 -4202 -3638 4074 4034 -3298 3150 3990 3218 3194 -3606 -3434 3714 -3190 4094 3330 -4502 3398 -4130 -3762 -4438 -4366 -3754 3970 3774 -3554 -4138 3982 3926 -4466 3150 4074 -3694 -3314 3966 -3586 -4470 4362 3306 3682 3794 4338 3282 4342 -3914 -3642 4182 -4026 -3622 -3602 3418 -4146 -3822 -3590 3574 4342 -3574 4502 -3810 -3590 -3662 -4358 -3194 4238 3558 -4026 -4462 -4518 4518 3394 4134 3970 -3514 3642 -4542 4014 3722 -4146 -4182 -3490 4262 -3222 3206 -4086 4186 3678 -3574 3190 3834 4386 -4282 -4214 3954 -3774 4446 -4374 -3190 3458 3370 3702 -3558 -3846 -3586 -3802 3550 -3442 -4042 4034 -3954 -3674 4118 4126 -4398 4002 -3650 -3970 -4522 3994 -3338 -3286 -3702 -3970 4058 -4086 3690 3270 -3190 3830 3642 -4478 3150 -3670 3170 3210 -3310 3490 -3246 4014 -3578 -3634 -3226 3406 -3634 -3614 -3174 4086 4274 3626 -4502 3926 4006 -4202 3218 -3598 4326 -4334 -4146 4502 -3474 -3870 3810 -3218 3234 -3686 4026 -3626 3818 3218 -3734 3498 -4210 -4414 3418 -4322 4402 4130 3190 3498 -4502 3198 -4410 4246 3666 -3758 -4034 -3754 -3370 4530 3198 3266 3770 3530 4530 3222 -3278 3262 3774 4390 -3370 3750 -3670 4226 4170 4246 -4022 4542 3438 -3834 -4222 -4162 4242 -3422 -3726 4026 -3190 -4462 -4426 4538 -3414 -3858 -4542 -4322 -4242 -3950 -3850 -4310 -4246 -4186 -4450 4230 -3902 3534 3178 3442 -3554 4438 3850 -3614 -3310 3266 -3410 -4006 4214 3330 3362 -3574 -4222 4226 -4462 -4326 -3726 4446 3726 -4046 3918 -4502 4122 -3250 -4398 -4502 3190 -3238 4470 -3370 -3718 -3662 4302 3394 -3778 -3198 -4394 -3870 -4450 -4482 3530 -3770 -3306 -3262 -3210 -4542 -4502 -3982 3294 -3318 -3974 -4406 3666 -3866 -4482 -4014 3786 4134 -3166 3806 -4242 3710 3670 3710 -3606 -3802 3870 3526 3630 -3498 -4362 -3962 -3586 3362 -3378 -3818 4166 -4062 4050 3402 4382 -3370 3194 -4542 -3898 -3758 -4186 4522 3954 4062 3914 3886 3782 4106 -3586 4306 4086 -4346 -3318 3362 3158 4426 3906 3634 -3246 4266 -4086 -3762 4434 3378 -3154 4366 -3458 -4502 4106 3338 3846 -4342 3814 3914 3234 3470 3218 3194 -4462 3858 3382 -4170 3158 -3574 3958 -3430 -3910 -3906 -4542 -3694 4262 -3770 -4230 -3730 4466 3562 -3478 3806 -3598 -4182 -3610 -4374 -4470 3454 -4542 -4170 -3386 -4322 3690 -3850 3170 -3822 3414 -4502 -4502 -4502 4462 -4514 3150 3810 3214 4406 3510 3802 4506 3726 -4362 4122 4066 -3846 -4186 -3722 -4118 3746 3858 -3838 3330 3270 -4322 -3702 3230 -4542 -4126 4002 -3810 -3582 3674 3926 3802 -4322 3246 -3646 -3670 -3574 3326 -4322 -4278 -4542 -3858 -3822 -3422 -3670 3914 -4186 4130 -3734 -4362 -3634 -4362 -4022 -3974 4102 -3410 -3362 -3842 3162 -3302 4242 -3286 -3578 -3478 -4482 -4498 -3190 -4330 -3962 4202 4502 4066 -3274 4502 -4502 -3690 -3546 -3478 -3542 4470 -4186 -3554 -3746 -3586 -3210 4150 3338 -3706 -3706 -4446 -3718 3746 3594 3494 -3518 3490 3510 3838 3610 -4542 4362 3806 -4106 -4154 4514 -4318 -3826 -3318 -3454 -3994 3506 3370 3938 3854 3810 -4014 3190 -3658 4522 -4342 -3618 3418 3806 3286 -3330 3190 4154 3866 -3694 3298 -4062 3670 3842 -4462 4494 3946 3706 -3442 -3426 4354 -4186 4114 4206 3766 3170 -3614 -3494 -4450 -3994 3862 -3806 3426 3586 3902 -3706 -3542 -3646 -4286 4502 4030 -4042 -3982 4282 3338 3378 3698 3190 3214 3994 3206 4210 -4102 -3602 -4374 -3838 4426 4046 -4186 -3206 3534 -3574 -3454 3614 -4374 3750 3190 -3258 -4046 3330 4402 4202 -3642 4250 3690 -4382 -3986 -3602 -3510 4166 -3518 -4338 -3290 3150 4110 3418 -3802 3934 -3974 3334 -4218 -3274 4478 -3854 3606 -4010 3150 -4126 -3730 -4198 3862 -3194 -3390 -3894 3366 3534 3286 -4422 3898 -4006 3278 3274 3190 3862 3922 3614 -4102 -4510 -4542 4322 -3626 -4358 -3294 -3194 -3814 -3802 3450 -4026 -4066 4502 -4282 3914 -3910 4042 3294 -4542 -4206 -3322 4002 -3642 -3650 -3662 -3674 -3974 -3386 -4006 4098 -3278 -4442 -3294 -4318 -3222 -3614 -4426 4098 -4334 -3198 -4342 4486 -3850 -4482 -4314 -4410 3286 4006 -3542 3586 -4202 -3974 3438 -3166 3282 4502 3654 -4502 3754 -3150 3290 -4258 3190 -3550 4034 4266 3174 -3338 4502 4086 4502 -3966 -3286 4346 -3754 -3354 -4242 4142 3526 -4402 3918 -3578 3842 3926 -3458 3218 4446 -3350 -3778 -3826 4490 -4258 -3862 3750 -3190 -3622 -4502 -3190 -3238 3590 3602 -3618 3158 4038 -3450 -4014 -3718 -4422 3190 4046 -3562 -4254 -4170 4006 -4282 -3526 -3330 -4034 -3522 -4282 -3626 -3330 3214 4430 4234 -3262 3218 3802 -3202 -4058 -3230 -3618 3958 -4534 -3590 -3370 3670 -3298 -4530 4254 -3818 -3358 3886 -3718 3266 3814 -3694 -4542 3658 -4374 -3530 -4122 4194 3478 -4282 -4422 4002 -3754 -3462 -3470 -4146 -4142 -3798 3650 3838 3322 -3154 -3634 -4402 -3906 -3630 3758 4282 -3882 -3194 3278 3474 4490 -4346 -3262 4502 -4278 3258 -3546 -3966 -4318 -3854 -4322 -4530 -3770 4358 -3318 4138 -3974 -3270 -3522 -4278 -3886 3362 4262 -3722 -3202 4542 3570 3250 3314 -3374 3966 -3450 -3654 -4422 -3154 3150 -4062 -3754 3590 -3274 -3814 -4394 -3322 -4026 -3150 -3994 -3790 4054 -4222 -4086 -3690 -3254 3630 -3694 -3530 3758 -3442 -3770 -4182 -4502 -4298 -4026 4406 -3354 3854 3262 -3970 3774 4034 -3406 4250 -4138 -3206 3750 -4502 3966 -4426 4466 4262 -3150 3706 -4354 -3162 -3830 -4146 3762 3878 -4046 -3622 -4386 -4042 -4282 3170 3254 4310 -4522 3210 4118 4002 -4502 4430 -3610 3718 -3786 4402 3286 -4014 3930 -4290 3862 3602 3346 -4506 -4014 3190 -3654 -3210 -4502 4102 -4334 4530 -4422 4190 3870 4270 -4362 -3798 4034 4542 -4350 -3742 -4198 4070 4030 -3210 -3842 -3294 -3150 -3702 -4302 -4218 3826 -3190 3886 -4394 -3782 -4502 4202 3654 -4462 4254 4390 -4170 3150 -3806 -3982 -3878 -4542 -4310 4174 4214 -3318 -3910 -3986 3962 4378 -4042 3438 -3150 4158 -3762 -3818 -3798 -3318 4322 3190 -3762 -4054 -3222 -3210 3150 3270 3458 3954 -3190 -3970 3182 -4502 -4158 3218 -4462 3238 -4322 4174 -3218 -4058 -4234 -4490 -4082 3910 -4406 3810 4114 -4542 -4486 -4362 -3590 3658 -4346 3266 -4046 -3546 4030 3966 -3806 -4142 3706 3298 3242 -3210 -3150 3482 3534 3190 -3518 -3254 -3626 -3926 3594 -3546 -4458 -4282 -3430 3266 3970 -3942 -4058 4094 -3490 -3546 -3282 3738 -3422 -4394 -3998 4114 -3722 3402 -3818 4138 3242 3562 4062 4162 3454 -3774 -3614 3970 -3622 -3190 -3618 3834 3974 3846 4106 3282 3150 3370 3214 -3166 3846 3862 3302 3578 -4178 -3150 -4162 3674 -3978 -4542 -3218 -4142 3722 4310 -3582 -3730 -3718 3930 -3962 -3742 -4338 -3274 -3610 4062 4274 3746 -4266 3914 -3274 -4474 -3250 -4142 -3826 4198 3190 4522 -3218 4306 4490 -3618 -3398 3638 4490 3762 -3614 3314 -4270 -3190 -3622 3762 3238 -4290 -3966 -4374 3490 -4158 4074 -4542 4486 -3974 -4298 -3718 3986 3150 3290 -3410 -4542 3526 3190 -4126 -3158 -4150 4242 4226 4230 3350 4106 3198 4118 -3358 4522 -4322 -4542 -4462 4346 -3178 3670 4082 -3774 -4334 -4306 4378 3870 -3774 -3646 3802 3654 -4146 4102 3602 -3838 -3510 -3194 -3210 -4466 3826 3298 3850 4078 -3490 -4034 -3670 -3714 4278 3614 -3586 3198 -4066 -4142 -3238 -3246 3190 -4314 -3718 -3842 3510 3974 3566 -4194 3998 -4542 4338 3426 -3582 -4206 4126 4066 3370 -3278 3346 4306 3966 -3210 -3198 4102 -3574 3298 -4442 4014 4134 3482 3346 3450 4142 -3250 -3838 3282 -3838 3934 4486 -4510 4006 4498 4458 4478 3314 3994 -4090 -3790 -4010 3706 -3706 -3694 4522 4366 3634 -3514 -4234 -3330 -4406 -3614 -4106 3926 -3246 -3386 -4026 -4422 3318 -3550 3486 -4214 3490 3602 -3198 -3218 3874 3766 3190 4082 -3510 4522 -3318 -3622 -3378 3318 -3614 -4522 3666 -3766 -4106 4178 3626 4202 -3486 3206 4030 3526 3446 4502 3178 -3282 4306 4122 -3658 3850 3370 -3590 -4502 3190 3742 -3770 3242 -3610 -3150 4482 -3190 -3874 4510 3662 -3166 4430 3270 -3678 -4422 4194 -3242 4542 -3190 -4542 3310 -4522 3630 3858 3330 -4302 -3514 3562 -4542 -3274 -4542 4518 3578 3338 3818 -3282 4138 -4322 4338 -3890 -4118 -4026 3738 3862 -4322 -3458 3794 -3682 -3998 -4094 3786 -3390 -3802 3450 -3150 -4490 3626 -4542 4490 4418 4122 3994 -3494 4090 3150 -3210 -3378 -3602 -3954 -4334 -4086 -4398 -3914 3382 3422 -4502 4026 -3646 4086 4154 3402 -3150 3214 -3190 3190 -3418 -3238 4446 3514 4254 -3318 3870 4282 -3350 -3998 -3974 -3218 -3558 -4098 -3878 4002 3822 3150 -3974 -4462 -4086 -3590 -3314 -4170 3518 -4366 4222 4078 -3150 3954 -4410 3930 -4322 -3254 -3402 3710 -3466 -4502 -3898 3938 3390 -3442 4162 3482 -4466 -4262 -3150 -4106 4282 -3594 -4186 -4542 -4458 -3322 -3590 -3714 -3302 -4386 3750 -3870 -3674 -3634 -4126 -3650 -3534 -3558 3734 3214 3990 -4462 4470 4386 3490 4278 3274 4102 4078 3190 -3234 3310 4374 -4014 -3586 4542 -3942 -4474 3858 -3418 -3238 -3574 -3222 4178 3378 -4014 -4122 -4190 -4434 -3626 -3594 3874 3402 4426 4022 3974 -3150 -4066 4082 -3314 3150 -4246 -3586 4346 3994 -3170 -3690 3326 -3946 -3734 -3550 -3966 -4394 -3894 -3150 4154 -3178 -3966 3402 3190 -3226 -3170 -3190 4270 -4542 3766 -4202 3762 -4050 -4158 4502 -4486 -3810 -3450 3674 -4502 -3806 3902 3834 3638 -4462 -4526 4222 -4482 4470 -4470 3262 -3370 -3254 -3366 -4282 -4382 3654 3494 3522 4098 3286 -3930 -3190 -4250 -3150 4178 -3518 -4010 -4218 3258 3562 -4138 -4034 4370 -3394 3350 -3978 4102 -3238 -3950 3334 3258 -4242 -3342 -3694 3954 -3514 -3814 4262 -3546 -4450 3714 -4050 -3674 -3722 -4394 3278 3530 3478 -3258 -4086 -4202 -4274 -4210 4502 -4010 -3710 4142 4082 -3194 -3622 3586 -4170 4346 -3990 3542 -3946 -4242 -3582 -4542 3402 -4186 3786 -3294 3326 3954 4502 3514 -3158 -4542 4218 3746 3746 -4482 -4502 -3806 -3194 -4266 4078 3866 -4542 3374 -4530 -4410 -3618 -3754 3874 -4202 -3182 3390 -4270 -3898 3598 3890 -3942 -4542 4542 -4502 -4346 4394 3686 -3574 4466 4046 -4202 3638 -4486 -3838 3990 3162 3346 4082 -3154 -3786 -3622 -3590 3718 3222 -4098 4222 4002 3606 -3190 3990 3246 3362 -3858 -4186 -3810 -4246 -3190 3574 -3370 3686 -4322 4374 3930 -3254 -3354 4470 -3502 -4542 3378 4414 3510 3370 3958 4542 -3150 4038 -3402 -4262 3938 3614 -3326 -3574 -3846 -4482 3422 3966 -4322 -3338 -4462 -3582 -3994 4030 3246 4158 -3262 -3246 4126 -3798 3482 3330 -3814 3686 4066 -4398 -4082 4226 3482 3278 4030 -3526 -3382 -3950 4326 -4510 3150 -3170 3722 -4322 -3330 -4394 3598 -3474 -3546 3458 3550 3150 -4502 -3874 4234 -3330 -4402 4062 -4326 3758 -3638 4038 3150 -4158 -3390 -3246 -3830 -3714 3850 3534 -3162 3594 3382 3310 -3722 -3698 -4146 -4014 -3226 -3550 3862 -3966 -3766 3706 3858 -4502 -3762 3854 3910 -4294 -3622 -4362 -3310 -4542 3174 -3822 -4322 3462 -3862 -4154 -4170 -3158 -3214 -4130 4042 3910 -3150 4442 -3330 -4158 3986 -3258 -3422 -3994 3614 4006 -4434 4322 4450 -3586 -4142 -4542 3378 3766 -3758 3270 -3706 -4514 -3378 -4162 -3510 3602 4386 -3638 4114 -4450 -3418 4054 -3294 -3510 -3630 3150 3846 -4474 -3702 -4358 -4542 -3614 4130 -3598 -3490 -4374 3390 3326 -3894 -3358 -3790 -3190 -4014 3566 -4258 3710 4482 3530 -4458 -3714 3650 -3402 -4490 -3874 -3822 3930 4254 -3994 3966 3734 3290 -3522 3790 3830 -3890 -3874 -3666 -3150 4114 4042 -4054 -3286 -3714 -3754 3894 -3574 -3386 4538 -3418 -3630 -4098 -3550 -4502 -3798 -4422 -3250 3562 3546 4242 -4306 3970 3538 -3586 4030 -3370 -3190 3434 3766 4450 -4070 3350 -3878 -3466 -3206 3254 -3302 -4446 3350 3578 -3198 -3758 -3974 -3982 -4006 -3690 3190 3438 -4270 -3746 3538 -3818 3802 4234 -3178 -4346 -3582 3942 -4302 3790 -3258 -4542 4510 -3406 -3750 -3486 4178 4046 -4458 3326 -3234 3378 -3582 -3710 4318 3762 -4450 -3234 -3154 -3966 -4362 4366 -3678 -4374 3818 4214 3802 3874 4066 3150 -4226 -3842 3930 -3262 3930 -4506 -4490 -4394 -3698 3930 -3718 -3202 -3558 3322 -3150 -4170 -4410 3150 4038 -3278 -4210 4490 -3994 3634 -3838 -3194 3382 -4242 -4422 4422 3566 -3842 4090 3938 -3574 -3562 3358 3318 -3806 -3266 4510 3670 -3894 3378 -3202 -4422 -3742 -4150 4098 3398 -4274 3986 -4086 4074 -3458 -3298 3366 -4354 -3622 3738 -3978 -3714 3182 -3854 4462 -4478 -4206 -4522 3326 4422 3258 -4362 -3610 3150 -3578 3306 -4362 -4134 3206 -4362 -4018 3714 -3842 -3654 3614 -3954 4014 4130 3806 -3694 -3198 -3162 -4354 -4290 4490 3986 -3502 -4542 3150 3290 -4542 3310 3870 -3798 -3614 4206 4102 -4334 -4018 3602 4086 -3798 4046 -3218 3626 4302 3366 -3346 -3842 3406 -4014 -3446 -3226 3302 -3178 -4074 4266 -3974 4290 3822 -4278 -4462 -4306 3202 -4422 -3902 -3974 -4362 -4282 -3590 -3262 -3946 -3990 4446 3666 -3978 -3262 3330 3586 3622 3494 -4222 4166 -4542 3234 -4278 -3390 3878 -4226 -4014 -3210 -4010 3718 4502 -3674 4322 -3154 -4306 4298 4470 -4482 -3974 4542 -3746 -4542 -3370 -3618 4170 -3506 4270 -3522 4022 -4178 3330 -3950 3478 -3242 3230 -3698 -4014 -3350 3770 4026 3838 -4502 3542 3150 -3198 3834 3922 -3994 4502 3194 3718 -3754 -3330 -4198 -4366 3346 -3690 -3730 3150 4182 -3758 -4330 4542 3986 3422 -3850 -4218 -3622 3746 -3446 3994 -3938 -3806 -3654 3854 3150 -3930 -4522 3986 -4498 3782 -4422 4430 4414 -4438 3474 -4214 -3306 -3954 4338 3430 -4346 3942 4362 -4402 4102 -4074 -3506 -4482 3766 -3450 -4542 -3966 -3426 -3602 3418 3686 3822 -3470 -3266 4074 4462 3614 -4114 -3194 -3562 3562 -3178 3214 -3434 3326 -3178 3286 -4210 -4190 3702 4542 -3858 4282 3246 3346 3190 3522 -3546 -3942 -3634 -3170 4130 3538 -3190 4226 3350 -3434 -3754 -4306 3466 3206 4038 -3678 -3210 -3210 -4526 4542 -3262 -3582 -3426 3986 -4138 3982 3362 -4130 -3770 3930 -3358 -3710 -4202 4454 -4506 3710 3838 4266 -4542 -3578 -3674 -3602 3330 -3178 -4018 -4246 -3634 -3586 4166 -4474 -4342 4158 -3198 -4318 3730 4058 -4118 4290 -4422 3190 4466 -4542 -3826 3710 -4422 -4502 -4346 4066 -4414 3370 3150 3362 -3678 4058 3330 4230 3994 4250 -4002 -3234 -4386 -4502 -3490 -3250 -4314 4066 -4450 -4482 3522 3382 4382 -3614 -4502 3226 3326 -3242 -4450 3970 -4274 -4382 -3758 -3302 -3718 -4146 -4146 -4462 3550 3610 -4522 3766 4270 -4502 3926 -3902 3794 -3410 3370 -4346 -4070 4486 -4482 -3614 3502 3254 -4482 -3786 -3222 -3486 -4418 -3858 -4162 -3314 -4218 -3406 -3550 -4418 3802 4182 -3550 -3522 -3430 -3598 -4006 -4362 -3934 -3178 -3210 -4198 -4066 -4010 3566 4402 3150 -3798 -4374 -3250 -3202 -3314 -3926 -3442 3518 -4438 3866 -3418 4098 -3802 -4542 -4290 -4422 -3462 3690 -4422 4342 -3830 -4014 3598 4034 -3214 -3210 -4382 3202 -4310 4018 -3878 4306 4430 4374 3970 -3582 -4390 -4178 3570 -3810 -3714 -3170 -3386 -3714 3470 -3714 -3714 -4350 3150 
295.01	d NODES 3445
295.01	d CHECKS 61026521
295.01	   
295.01	   totalWckTime=294.775  totalCpuTime=289.79

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/node7/watcher-205699-1168167861 -o ROOT/results/node7/solver-205699-1168167861 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205699-1168167861/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.61 1.43 1.67 4/89 19333
/proc/meminfo: memFree=1705472/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=908840 CPUtime=0.06
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 2527 0 1 0 6 0 0 0 18 0 6 0 165181561 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 227210 2274 1240 14 0 214793 0
[pid=19332/tid=19334] ppid=19330 vsize=908840 CPUtime=0
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 6 0 0 0 0 0 0 0 19 0 6 0 165181565 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=908840 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 10 0 0 0 0 0 0 0 19 0 6 0 165181565 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=908840 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 4 0 0 0 0 0 0 0 20 0 6 0 165181565 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=908840 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 6 0 165181569 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=908840 CPUtime=0
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 19 0 6 0 165181569 930652160 2274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

[startup+0.103573 s]
/proc/loadavg: 1.61 1.43 1.67 4/89 19333
/proc/meminfo: memFree=1705472/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=914988 CPUtime=0.09
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 3004 0 1 0 8 1 0 0 17 0 8 0 165181561 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154012544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228747 2750 1430 14 0 215242 0
[pid=19332/tid=19334] ppid=19330 vsize=914988 CPUtime=0
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 165181565 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=914988 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 165181565 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=914988 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 165181565 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=914988 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=914988 CPUtime=0
/proc/19332/task/19338/stat : 19338 (java) R 19330 19332 19211 0 -1 64 250 0 0 0 0 0 0 0 19 0 8 0 165181569 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516608 s]
/proc/loadavg: 1.61 1.43 1.67 4/89 19333
/proc/meminfo: memFree=1705472/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915328 CPUtime=0.5
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 7988 0 1 0 46 4 0 0 18 0 8 0 165181561 937295872 7727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154517228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228832 7727 2138 14 0 215302 0
[pid=19332/tid=19334] ppid=19330 vsize=915328 CPUtime=0
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 165181565 937295872 7727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915328 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 165181565 937295872 7727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915328 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 165181565 937295872 7727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915328 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937295872 7727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915328 CPUtime=0.07
/proc/19332/task/19338/stat : 19338 (java) R 19330 19332 19211 0 -1 64 308 0 0 0 7 0 0 0 19 0 8 0 165181569 937295872 7727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.3384 s]
/proc/loadavg: 1.61 1.43 1.67 4/96 19340
/proc/meminfo: memFree=1613384/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915596 CPUtime=1.31
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 31683 0 1 0 118 13 0 0 17 0 8 0 165181561 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073626280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228899 31420 2160 14 0 215369 0
[pid=19332/tid=19334] ppid=19330 vsize=915596 CPUtime=0.13
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 15141 0 0 0 8 5 0 0 16 0 8 0 165181565 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165181565 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165181565 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915596 CPUtime=0.15
/proc/19332/task/19338/stat : 19338 (java) R 19330 19332 19211 0 -1 64 409 0 0 0 15 0 0 0 19 0 8 0 165181569 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) R 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937570304 31420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915596

[startup+2.97557 s]
/proc/loadavg: 1.61 1.43 1.67 3/96 19340
/proc/meminfo: memFree=1579848/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915596 CPUtime=2.94
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 34788 0 1 0 278 16 0 0 25 0 8 0 165181561 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073580248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228899 34520 2160 14 0 215369 0
[pid=19332/tid=19334] ppid=19330 vsize=915596 CPUtime=0.32
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 18238 0 0 0 26 6 0 0 16 0 8 0 165181565 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165181565 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165181565 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915596 CPUtime=0.16
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 412 0 0 0 16 0 0 0 19 0 8 0 165181569 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915596 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937570304 34520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915596

[startup+6.27191 s]
/proc/loadavg: 1.64 1.43 1.67 3/96 19340
/proc/meminfo: memFree=1575240/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915732 CPUtime=6.2
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 34859 0 1 0 604 16 0 0 25 0 8 0 165181561 937709568 34590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228933 34590 2180 14 0 215403 0
[pid=19332/tid=19334] ppid=19330 vsize=915732 CPUtime=0.32
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 18238 0 0 0 26 6 0 0 16 0 8 0 165181565 937709568 34590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 34590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 34590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937709568 34590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915732 CPUtime=0.18
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 422 0 0 0 18 0 0 0 16 0 8 0 165181569 937709568 34590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937709568 34590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937709568 34590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915732

[startup+12.7436 s]
/proc/loadavg: 1.67 1.44 1.67 3/96 19340
/proc/meminfo: memFree=1575368/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915732 CPUtime=12.61
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 34861 0 1 0 1245 16 0 0 25 0 8 0 165181561 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228933 34592 2180 14 0 215403 0
[pid=19332/tid=19334] ppid=19330 vsize=915732 CPUtime=0.32
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 18238 0 0 0 26 6 0 0 16 0 8 0 165181565 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915732 CPUtime=0.18
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 424 0 0 0 18 0 0 0 16 0 8 0 165181569 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937709568 34592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915732

[startup+25.612 s]
/proc/loadavg: 1.74 1.47 1.68 3/96 19340
/proc/meminfo: memFree=1569096/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915732 CPUtime=25.37
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 36041 0 1 0 2519 18 0 0 25 0 8 0 165181561 937709568 35771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228933 35771 2181 14 0 215403 0
[pid=19332/tid=19334] ppid=19330 vsize=915732 CPUtime=0.38
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 19403 0 0 0 32 6 0 0 16 0 8 0 165181565 937709568 35771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 35771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 35771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937709568 35771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915732 CPUtime=0.21
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 437 0 0 0 20 1 0 0 16 0 8 0 165181569 937709568 35771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937709568 35771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937709568 35771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915732

[startup+51.2186 s]
/proc/loadavg: 1.83 1.51 1.69 3/96 19340
/proc/meminfo: memFree=1568968/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915732 CPUtime=50.73
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 36044 0 1 0 5055 18 0 0 25 0 8 0 165181561 937709568 35773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228933 35773 2181 14 0 215403 0
[pid=19332/tid=19334] ppid=19330 vsize=915732 CPUtime=0.38
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 19403 0 0 0 32 6 0 0 16 0 8 0 165181565 937709568 35773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 35773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 35773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937709568 35773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915732 CPUtime=0.21
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 439 0 0 0 20 1 0 0 16 0 8 0 165181569 937709568 35773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937709568 35773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937709568 35773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915732

[startup+102.434 s]
/proc/loadavg: 1.92 1.58 1.70 3/96 19340
/proc/meminfo: memFree=1554824/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915732 CPUtime=101.48
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 39584 0 1 0 10127 21 0 0 25 0 8 0 165181561 937709568 39311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228933 39311 2181 14 0 215403 0
[pid=19332/tid=19334] ppid=19330 vsize=915732 CPUtime=0.55
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 22940 0 0 0 47 8 0 0 16 0 8 0 165181565 937709568 39311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 39311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 39311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937709568 39311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915732 CPUtime=0.21
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 440 0 0 0 20 1 0 0 16 0 8 0 165181569 937709568 39311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937709568 39311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937709568 39311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915732

[startup+162.491 s]
/proc/loadavg: 1.97 1.66 1.72 3/96 19340
/proc/meminfo: memFree=1544072/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915732 CPUtime=160.99
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 42268 0 1 0 16074 25 0 0 25 0 8 0 165181561 937709568 41993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228933 41993 2181 14 0 215403 0
[pid=19332/tid=19334] ppid=19330 vsize=915732 CPUtime=0.67
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 25616 0 0 0 58 9 0 0 16 0 8 0 165181565 937709568 41993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 41993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 165181565 937709568 41993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937709568 41993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915732 CPUtime=0.22
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 446 0 0 0 21 1 0 0 16 0 8 0 165181569 937709568 41993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937709568 41993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915732 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937709568 41993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 915732

[startup+222.589 s]
/proc/loadavg: 2.13 1.75 1.74 3/96 19340
/proc/meminfo: memFree=1329160/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915876 CPUtime=220.54
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 96296 0 1 0 22005 49 0 0 25 0 8 0 165181561 937857024 95956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074202047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19332/statm: 228969 95956 2545 14 0 215439 0
[pid=19332/tid=19334] ppid=19330 vsize=915876 CPUtime=2.26
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 79052 0 0 0 196 30 0 0 16 0 8 0 165181565 937857024 95956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165181565 937857024 95956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165181565 937857024 95956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937857024 95956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915876 CPUtime=0.36
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 560 0 0 0 34 2 0 0 16 0 8 0 165181569 937857024 95956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937857024 95956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937857024 95956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.54
Current children cumulated vsize (KiB) 915876

[startup+282.593 s]
/proc/loadavg: 2.00 1.78 1.75 3/92 19399
/proc/meminfo: memFree=939304/2055920 swapFree=4192812/4192956
[pid=19332] ppid=19330 vsize=915876 CPUtime=280.28
/proc/19332/stat : 19332 (java) R 19330 19332 19211 0 -1 0 96323 0 1 0 27974 54 0 0 25 0 8 0 165181561 937857024 95972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19332/statm: 228969 95972 2547 14 0 215439 0
[pid=19332/tid=19334] ppid=19330 vsize=915876 CPUtime=2.26
/proc/19332/task/19334/stat : 19334 (java) S 19330 19332 19211 0 -1 64 79052 0 0 0 196 30 0 0 16 0 8 0 165181565 937857024 95972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19332/tid=19335] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19335/stat : 19335 (java) S 19330 19332 19211 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165181565 937857024 95972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19336] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19336/stat : 19336 (java) S 19330 19332 19211 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165181565 937857024 95972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19337] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19337/stat : 19337 (java) S 19330 19332 19211 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165181569 937857024 95972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19338] ppid=19330 vsize=915876 CPUtime=0.39
/proc/19332/task/19338/stat : 19338 (java) S 19330 19332 19211 0 -1 64 578 0 0 0 37 2 0 0 15 0 8 0 165181569 937857024 95972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19332/tid=19339] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19339/stat : 19339 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165181569 937857024 95972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19332/tid=19340] ppid=19330 vsize=915876 CPUtime=0
/proc/19332/task/19340/stat : 19340 (java) S 19330 19332 19211 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165181569 937857024 95972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.28
Current children cumulated vsize (KiB) 915876

Child status: 0
Real time (s): 295.093
CPU time (s): 292.762
CPU user time (s): 292.157
CPU system time (s): 0.604908
CPU usage (%): 99.2099
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 292.157
system time used= 0.604908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96351
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= 7778
involuntary context switches= 15493

runsolver used 0.379942 s user time and 0.935857 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Sun Jan  7 11:04:21 UTC 2007


IDJOB= 205699
IDBENCH= 4164
FILE ID= node7/205699-1168167861

PBS_JOBID= 3478808

Free space on /tmp= 66543 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ffdafe8b3301c2726a31d80f032e4139

RANDOM SEED= 944293895

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.220
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.220
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:       1705888 kB
Buffers:         56428 kB
Cached:         153352 kB
SwapCached:          0 kB
Active:         171040 kB
Inactive:       123280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1705888 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9104 kB
Writeback:           0 kB
Mapped:         104752 kB
Slab:            40424 kB
Committed_AS:  4759688 kB
PageTables:       2388 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= 66530 MiB



End job on node7 on Sun Jan  7 11:09:16 UTC 2007