Trace number 1085657

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 112v4 ESACSAT 72.287 72.6747

DiagnosticValue
CHECKS61181600
NODES3004

General information on the benchmark

Namecsp/fapp/fapp40/
normalized-fapp40-3000-7.xml
MD5SUM03c519ee722ebb3400aacaf8b7a2d565
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 benchmark72.287
Satisfiable
(Un)Satisfiability was proved
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.06/0.08	
0.06/0.08	Abscon 112 (May, 2008)
0.18/0.22	
0.18/0.22	   configuration
0.18/0.22	     name=esac.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-1085657-1215234946.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.38/0.40	   
0.38/0.40	   variables being loaded...
0.88/0.94	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698  nbTotalValues=1873230
0.88/0.94	       =>  wckTime=0.722  cpuTime=0.51  mem=52M433
0.88/0.94	   
0.88/0.94	   predicates being loaded...
0.98/1.00	   
0.98/1.00	   constraints being loaded...
20.97/21.17	   
20.97/21.17	   INFO : Stopping converting binary constraints (cpu=20.1, mem = 88M134)
38.97/39.25	     nbConstraints=28397  nbGlobalConstraints=84  nbMergedConstraints=25235  nbConvertedConstraints=79
38.97/39.25	     nbConvertConstraintsChecks=37943608  nbExtensionStructures=77  nbSharedExtensionStructures=5
38.97/39.25	     nbConflictsStructures=158  nbSharedConflictsStructures=85  nbUnbuiltConflictsStructures=18903
38.97/39.25	     nbSharedBinaryRepresentations=78792  nbEvaluationManagers=18984  nbSharedEvaluationManagers=9250  minDegree=3
38.97/39.25	     maxDegree=54  minArity=2  avgArity=2.01  maxArity=8  nbGenerators=0  nbFusions=0  symmetryWckTime=7.831
38.97/39.25	     symmetryCpuTime=7.26  nbCliques=84
38.97/39.25	       =>  wckTime=39.026  cpuTime=36.42  mem=162M452
39.66/39.99	   
39.66/39.99	   solver IterativeSystematicSolver being built... 
40.47/40.75	   
40.47/40.75	   INFO : Forward propagation technique limited 
40.86/41.13	       =>  wckTime=40.906  cpuTime=37.03  mem=340M157
69.55/69.93	   
69.55/69.94	   preprocessing
69.55/69.94	     nbConstraintChecks=60104188  nbValidityChecks=6349398  nbPropagations=9078  nbRevisions=197053
69.55/69.94	     nbUselessRevisions=170930  nbRemovedValues=1829920  detectedInconsistency=no
69.55/69.94	       =>  wckTime=28.776  cpuTime=28.64  mem=340M157
72.03/72.41	   
72.03/72.41	   search
72.03/72.41	     run=0  nbConstraintChecks=1077436  nbValidityChecks=2162551  minDepth=108  maxDepth=3000  nbPropagations=24022
72.03/72.41	     nbRevisions=413956  nbUselessRevisions=374342  nbAssignments=3004  nbFailedAssignments=4  nbBacktracks=0
72.03/72.41	     nbVisitedNodes=3009  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
72.03/72.41	     nbDEliminables=?  nbPEliminables=?
72.03/72.41	       =>  wckTime=31.252  cpuTime=31.06  mem=341M72
72.03/72.41	   
72.03/72.41	   global
72.03/72.41	     nbConstraintChecks=61181624  nbValidityChecks=8511949  nbPropagations=33100  nbRevisions=611009
72.03/72.41	     nbUselessRevisions=545272  nbRestartNogoods=0  solvingWckTime=31.254  solvingCpuTime=31.06  expiredTime=no
72.03/72.41	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=67.99  globalCpuTime=68.16
72.03/72.41	       =>  wckTime=72.191  cpuTime=68.11  mem=341M72
72.14/72.56	   
72.14/72.56	s SATISFIABLE
72.14/72.56	v -3414 3190 -3226 -3574 4026 -4158 -3998 -3150 -3542 -3770 -3666 -3302 -3258 4002 -4502 3574 -3298 -4174 -3550 -3886 3614 3650 -3486 3354 -4502 -3358 3730 4062 -3806 3542 3702 4166 -3626 -3870 -3510 -4134 -3318 -3990 3974 -3806 -4042 4118 3914 -4310 -4226 -4322 -3150 -4218 3974 -3502 4418 -3482 -4434 4494 -4102 -3262 4190 -4542 4282 4034 3650 -3394 4430 3890 4106 -3958 -4166 4490 -4542 -3754 4302 -3642 3286 -3730 -4298 -4502 -4542 3530 4246 4434 4322 -4178 -4026 4138 -3498 -3250 -4502 3566 -4338 3290 -4306 -4210 -3970 -3370 -4334 3166 -4118 -4214 -4086 4306 3958 -4502 3246 -3198 -4482 -3974 3714 3174 3866 3202 -3406 3762 3414 3538 3998 -4254 -3650 -3970 -3218 -3210 3998 3830 -3702 -4502 -3826 -3474 -4186 -4258 4270 -4442 3730 -3478 4254 -3406 4102 -4530 -3914 -3578 4190 3582 -3350 4230 3150 -3638 -3214 3806 -3650 -4414 -3238 -3314 3938 3694 4042 4290 -3618 -3902 -4054 3474 -3290 -4458 3442 -4290 -4298 3258 -3550 -4006 -3582 -4186 4106 4466 3222 -3586 4242 4278 -3538 -4542 -3602 -4146 -4262 -3590 -3330 -4074 3650 3530 3746 -3274 3198 -3926 3810 -4542 -3582 -3478 -3350 -3546 3306 -4134 3546 3410 3898 3982 -4470 3930 -4186 4082 -3210 4086 3190 -3354 4498 -4346 3510 3390 -4522 -4190 -4426 3622 -3242 3194 -3302 -3154 3210 -4106 3522 -4122 3710 4226 -3910 -4446 3854 3190 -3566 4450 -4174 -3638 4002 -3506 -4426 -3598 4490 -3202 -4386 -3246 4138 3318 -3190 -4542 4330 -3954 3814 3258 3698 -3306 3782 3770 3810 3918 -3330 4206 -3286 -3726 -3574 -4302 4014 -4146 3398 3210 -3434 -3158 -3586 -3610 -4422 -3582 -3946 -3286 4174 3414 -3534 -4538 -3810 3638 3150 -4482 3618 -4522 -3638 -3558 3202 4462 4130 -3806 -3750 -4322 -4346 -3546 3150 -4318 -3190 -3302 3690 -3190 -4014 -4422 -4006 3266 3702 -3670 -3782 -3630 3606 3466 3842 3814 4462 -4338 -3650 -4542 -3310 -3734 -4486 -3558 3446 -4186 -4118 4426 -4278 4398 3662 -3198 -3154 -3158 -3302 4226 -3426 -3778 -3418 -3758 4230 4490 -4422 -4350 -3238 3302 -4522 -3574 -3958 -3718 4186 -3642 3966 -3518 3150 3330 4166 3582 -3594 3218 -3974 -3354 3422 -3366 3354 -4166 -4398 3382 3326 -3670 3334 4166 4138 -3258 -3866 -3762 -3350 4330 3798 -4502 -3650 -4114 -4330 -4522 -4230 3474 -3478 -4530 -3194 3766 -4422 3650 -3182 3330 -4090 3574 3690 -3578 3202 -3690 -4146 -3302 3850 -4230 -3426 -4158 4502 -3594 -4322 4462 -4410 -3462 4410 4238 -4146 3382 -3322 3314 4186 -4306 3278 -3574 -3302 3518 -3822 3614 -4082 3822 4122 -3714 -4046 -4254 -4266 -3370 -3266 -3566 -3582 -4502 4350 -3558 -3254 3250 3446 -3486 3386 3338 -3906 -4294 3602 4374 -3262 -4482 -3518 -3630 3586 -4462 3210 -3290 4146 -3330 3362 3510 3438 -3550 -3470 -4238 -3254 3414 -3698 3294 -3910 3442 -3446 -4306 -4454 -4470 4214 -4066 3222 -3954 3590 3386 -3678 3614 4298 -4274 3606 3190 4342 -3190 4334 3170 -3170 4470 -3454 -3354 3974 4202 -3306 -4502 3158 -3298 -4162 4202 -4014 -4502 -4382 -3642 -4390 -4130 -3286 -3650 3770 -4178 -3206 3158 -4282 4210 4506 -4502 4198 -3310 -3586 -3366 4502 3646 -4502 -4414 -3614 3962 -3382 -4014 3346 3882 -4522 4434 -4202 -3634 4078 4030 -3298 3150 -3998 3218 3194 3602 -3434 3714 -3206 4094 3334 -4502 3402 4126 -3766 -4438 -4366 -3758 -3974 3770 -3558 -4134 3978 -3934 -4466 3150 4074 -3690 3314 3966 3586 -4470 4366 3306 -3690 3790 4338 -3286 -4342 -3914 -3638 4186 -4030 -3622 3602 3422 -4146 -3822 -3594 3586 -4350 -3582 -4502 -3810 -3574 3662 -4358 -3206 4242 -3562 -4026 -4462 -4522 4514 3394 4134 -3974 -3510 -3638 4518 -4010 -3730 -4146 -4186 -3490 4262 -3222 3238 -4086 -4182 -3682 -3574 -3194 3826 -4386 -4282 -4214 3958 -3770 4446 -4374 -3198 3438 3374 3718 -3562 -3862 -3586 -3798 3550 -3446 -4042 4034 3958 -3678 -4118 4126 -4398 3998 -3666 3974 -4522 3994 -3338 -3278 -3698 -3966 4050 -4082 3690 -3270 -3190 3830 -3638 -4478 3150 -3678 -3150 3210 -3310 3494 -3242 4006 -3574 -3634 -3262 -3406 -3638 -3622 -3174 4102 4274 3630 -4502 3934 4010 4206 -3194 3594 4326 -4334 -4146 4482 -3474 -3870 3806 -3218 3230 -3686 -4030 -3626 -3818 3214 -3738 3502 -4218 4410 3430 -4322 4398 4126 3150 -3534 -4502 3198 4398 -4246 3670 -3762 -4034 -3754 -3370 4534 3198 3270 3766 3518 4542 3230 3274 3262 -3766 4390 -3370 -3750 -3670 -4230 4146 4230 -4026 4542 -3446 3830 4226 -4158 4238 -3426 -3730 4026 -3190 -4462 -4426 4542 3414 -3850 -4542 -4322 4242 -3954 -3854 -4310 -4242 4186 -4450 -4238 3898 -3530 -3154 3442 -3554 4438 3846 -3614 -3310 3266 -3418 -4014 -4218 3330 -3374 -3578 4226 4230 -4462 -4326 -3730 -4454 3726 -4046 -3918 -4502 4118 -3250 -4398 -4502 3190 -3238 4474 -3374 -3722 -3654 -4294 3394 3774 3198 -4394 -3866 -4446 4482 -3550 -3762 -3310 -3266 -3210 -4542 -4502 -3994 -3298 -3314 -3974 -4410 -3662 -3862 -4482 4014 3790 4130 -3170 3806 4162 3710 3674 3710 -3606 -3806 3870 3522 -3630 3478 -4362 3958 -3582 -3370 3386 -3818 4166 4066 4038 3402 4386 -3366 3206 4426 -3910 -3762 -4186 4442 3950 4070 3914 3882 3778 4110 -3594 4310 4090 -4346 -3318 3362 3158 -4426 -3910 -3634 -3246 4266 4086 -3766 -4434 -3386 -3162 -4374 -3462 -4502 4094 3346 3846 4342 3814 3906 3246 3470 3222 3194 -4458 -3862 -3390 4170 3190 -3574 -3966 -3426 -3910 -3906 -4542 -3690 4262 3786 -4226 -3734 -4470 3566 -3482 -3818 -3602 4186 3610 -4374 -4470 3454 -4542 -4154 -3386 -4322 3694 -3850 3170 -3818 3418 -4502 -4502 -4502 -4462 -4518 3150 -3806 3214 -4414 -3510 3806 -4466 3726 -4362 4118 4074 -3850 -4186 -3726 -4118 -3742 3850 -3838 3314 -3278 4322 -3706 3230 -4502 -4126 4006 3810 -3582 3678 3934 3802 -4322 -3246 3654 -3674 -3574 -3334 -4322 4278 -4542 -3862 3814 3430 -3662 -3914 4158 -4126 -3734 4362 -3634 -4362 -4018 -3974 4106 -3410 -3370 -3858 3162 -3310 4242 -3294 -3578 -3482 -4482 -4498 -3190 -4330 3962 4266 4502 -4066 -3274 4502 -4502 -3694 -3546 -3478 -3546 4470 -4178 3574 -3734 -3586 -3218 4150 -3346 -3706 -3718 -4446 -3718 3746 3594 3526 -3518 3494 3510 3850 3606 -4542 4366 3806 4078 -4154 4514 -4322 -3826 -3318 -3454 -3998 3506 3370 -3950 -3858 3810 -4014 3194 -3658 4438 -4346 3618 3418 3802 3286 -3334 3190 -4158 3870 -3710 3298 -4066 -3678 -3838 4462 4502 3942 3710 -3446 -3430 4362 -4186 4118 -4206 3766 3170 -3614 -3498 -4446 3998 -3866 -3810 3422 3586 -3906 -3706 -3542 -3650 -4286 4498 -4022 -4038 -3978 4282 -3342 3378 3698 -3190 3214 3998 -3202 4210 -4110 -3598 -4374 -3838 4434 4050 -4186 3206 3534 -3574 -3458 3610 4374 -3746 3150 -3278 -4042 -3334 4342 -4198 -3642 4246 3694 -4378 -3982 3606 -3514 4170 -3522 -4338 -3290 3150 4126 3422 -3818 3930 -3974 3338 4198 -3274 -4542 -3854 3610 -4010 3150 -4126 -3734 -4198 3866 -3198 -3390 -3890 -3366 -3546 3286 -4422 3902 4014 -3282 3278 3242 3862 3934 -3614 -4110 -4510 -4542 -4322 -3626 -4358 -3294 3202 -3818 -3810 3462 -4034 -4074 4494 -4282 3918 3910 4046 -3294 -4542 4190 -3326 4010 -3642 -3662 -3662 -3662 -3974 -3386 -4002 4102 -3302 -4446 3326 4322 -3222 -3614 -4426 4098 -4334 3150 -4334 -4502 3850 -4482 -4314 -4406 3286 4014 -3546 3586 4198 -3974 3446 -3162 3282 4502 3654 -4542 3754 -3154 3274 -4258 -3150 -3550 4038 -4266 3174 -3342 -4502 4086 4494 -3958 -3286 -4346 -3758 -3354 -4226 -4146 3530 -4398 -3930 -3586 3838 3930 -3454 3218 -4454 -3354 -3774 -3822 4490 -4258 -3858 3750 -3190 -3622 -4502 -3190 -3238 -3598 3602 -3618 -3166 -4046 -3450 -4014 -3718 4418 3190 4042 -3562 -4254 -4170 4006 -4282 -3514 -3342 -4042 -3526 -4282 -3626 -3330 -3214 4502 4238 -3258 -3222 3806 3210 -4058 -3154 -3622 3962 -4542 3590 -3370 3674 3298 -4534 4254 -3810 -3358 -3886 -3722 3274 3810 -3690 -4542 3658 -4374 -3534 -4122 4202 -3486 -4282 4422 3998 -3754 -3458 -3470 -4134 -4146 -3798 -3654 -3846 3326 -3154 -3634 -4402 -3910 -3614 3762 4310 3878 -3202 3278 -3470 -4490 -4346 -3262 4494 4282 3258 -3550 -3966 -4318 -3854 -4322 -4514 -3786 -4358 -3318 4146 3974 3270 3518 -4278 -3902 3370 4258 -3722 -3198 4534 3570 -3250 3314 -3458 3974 3450 -3654 -4422 -3154 3190 -4062 -3754 -3590 -3274 -3810 -4398 -3322 -4038 3158 -3998 3786 -4050 -4222 -4082 3686 -3254 3630 -3710 -3534 3758 3438 -3766 -4186 -4510 4298 -4026 4390 3354 3862 3262 -3970 3770 4038 -3406 4254 -4146 -3194 3754 -4466 -3974 4446 4462 -4266 -3150 3710 -4354 -3162 -3826 -4146 -3770 3886 -4050 -3622 -4386 -4038 -4262 -3170 3254 -4306 -4522 3206 4118 4006 -4502 -4430 -3610 3718 -3786 4406 3290 -4018 3930 -4294 3866 3606 3338 -4526 -4014 3190 -3654 -3210 -4530 -4098 -4334 -4542 4422 4190 3874 4266 -4358 3790 4038 4542 -4346 -3742 4206 4070 4042 -3190 -3842 -3294 3150 -3722 -4302 -4222 3822 -3190 -3890 -4394 -3786 4502 -4190 3654 -4462 4250 4310 4170 3150 3802 -3966 -3890 -4542 -4306 4174 4214 -3334 -3902 -3994 3966 4374 -4042 3450 -3162 -4158 -3762 3810 -3810 -3342 -4350 3150 -3766 4046 -3222 -3210 3190 -3274 3470 3950 -3190 -3966 3182 -4502 -4158 3214 -4462 3246 -4322 4174 3222 -4062 -4234 -4482 4086 3910 -4414 -3806 4114 -4538 -4486 -4362 -3590 3662 -4346 3266 4050 -3546 4030 3966 -3810 -4138 3706 -3298 3242 -3210 -3210 -3478 3538 -3198 -3522 -3254 -3626 -3926 3590 -3546 -4390 -4290 -3430 3270 3974 -3938 -4058 -4098 -3490 -3546 -3278 3734 -3418 -4386 -4002 -4118 -3726 3406 -3822 4138 3238 3550 -4066 4158 3458 -3774 -3614 3966 -3622 -3190 -3626 3842 -3974 -3842 4106 3282 -3166 3370 -3170 -3166 3846 3858 3306 3578 4158 3190 -4170 -3666 -3978 -4542 -3290 4142 3726 4310 -3582 3722 3722 3938 -3974 -3738 4338 -3274 -3626 4070 4278 3746 -4270 3910 3282 -4474 -3258 -4138 -3822 4198 3190 4538 -3222 -4310 -4502 -3622 -3402 3642 4486 3770 -3614 -3322 -4270 -3190 -3626 3766 3238 -4286 3962 -4366 3494 4158 4078 -4538 4486 -3974 4298 3726 3986 3150 3294 -3422 -4502 -3526 3190 4126 -3158 4170 4242 4226 4226 -3362 4106 3198 4118 3358 4522 -4322 -4542 -4462 4350 -3186 -3670 4082 -3774 -4334 -4306 4374 3870 -3770 3642 3798 -3662 -4146 4110 3618 -3838 -3510 -3198 -3210 -4486 3826 3298 3850 4070 -3490 4038 -3670 -3718 4282 3622 -3590 -3198 -4066 -4150 -3242 -3290 -3190 -4298 -3722 -3838 -3510 3970 3570 -4194 4006 -4542 4334 -3426 -3582 -4206 4130 -4070 3370 -3286 3346 -4306 -3982 -3210 -3202 -4126 -3578 3298 4382 4014 -4138 -3478 3346 -3450 -4146 -3262 3830 3282 -3838 -3930 -4490 -4510 -4014 -4498 -4458 -4474 3314 -4006 -4106 -3794 -4006 3706 -3710 -3694 -4522 -4370 3634 -3534 -4234 -3330 -4410 -3614 4106 -3942 -3242 3378 -4030 -4338 3322 -3550 3474 -4214 -3502 3590 -3206 -3222 3874 3762 -3190 -4078 -3510 -4522 -3318 -3622 -3386 -3318 -3622 4518 3670 3762 -4114 -4182 -3622 4198 -3486 3206 4030 -3534 3442 -4502 -3178 -3286 -4310 4130 -3654 3858 3374 -3590 4502 3190 3746 -3770 -3250 3598 3190 4478 -3190 -3878 4462 3658 -3154 4422 3278 -3674 -4422 4194 -3246 -4534 -3190 -4542 3314 4522 -3622 3862 3330 -4306 -3518 3558 -4542 -3274 -4542 4514 3578 3334 3822 -3286 4142 4322 -4338 -3890 -4126 -4066 -3734 3862 -4302 -3462 3798 -3674 4006 -4090 3790 -3394 -3798 3458 -3150 -4502 3626 4542 4494 -4418 4118 3998 3502 -4086 -3282 -3302 -3386 3602 -3954 -4334 -4086 -4402 -3914 3390 3418 -4502 4030 -3646 -4094 -4154 3414 -3150 -3214 -3170 -3190 -3426 3238 4454 3510 4254 -3318 3866 4278 -3350 -4006 3974 3226 3558 -4098 -3878 4006 3830 3150 -3974 -4462 4086 -3590 3314 -4174 3518 -4366 -4226 4086 -3150 3950 -4410 3926 -4322 -3254 -3402 3714 3478 -4502 -3902 3938 3390 -3446 -4170 -3482 -4466 -4266 -3150 -4114 4282 -3598 -4186 -4542 4458 -3322 -3582 -3714 3306 -4386 3754 -3870 -3674 3630 -4134 -3666 -3534 -3558 3730 3210 3998 -4462 -4470 -4378 -3494 4282 3278 4106 4082 3190 -3238 3322 -4374 -4014 -3586 -4534 3942 -4474 -3862 -3422 -3238 -3578 3226 4178 -3386 -4014 -4126 -4186 -4434 3626 -3594 3866 3406 -4430 4018 3974 3190 -4106 4082 -3314 -3150 -4246 -3586 4338 4002 3178 -3694 3326 -3954 -3726 -3554 -3974 4394 -3894 -3150 4154 -3182 3966 3406 3190 -3230 -3170 -3190 -4270 -4542 3766 -4198 -3758 -4046 -4158 4502 4478 -3826 -3450 3678 -4542 -3810 3902 -3838 -3638 4458 -4542 4226 4482 4470 -4542 3266 3374 -3254 -3366 -4278 -4362 -3654 3494 3518 4102 3290 -3934 -3190 4250 -3150 4162 -3514 -4014 -4218 -3258 3566 4134 -4046 4370 -3394 3350 -3986 -4102 -3326 -3942 3338 3250 -4246 -3346 3698 3954 -3514 -3814 4266 -3546 4450 3714 4050 -3674 -3738 -4394 -3294 3534 -3474 3258 -4090 -4202 4274 -4186 4502 -4010 3714 -4066 4078 -3198 -3626 -3594 4166 4350 -3994 -3550 -3942 4242 -3590 -4534 3402 -4198 -3786 -3294 3326 3958 4498 3514 -3158 -4542 4226 3746 3746 -4482 4502 -3802 -3194 -4270 4082 3862 -4542 3374 4530 -4414 3614 -3758 -3874 4210 -3190 3386 -4286 -3910 3590 -3898 -3954 -4542 4542 -4542 -4346 4402 -3686 -3578 -4474 4042 -4206 3634 -4494 3830 -3982 3162 3346 4086 -3158 3782 3622 3582 3710 3222 -4094 4222 4002 3602 -3190 3990 3250 -3374 -3858 -4186 3826 -4250 -3190 -3562 -3326 3686 -4322 4370 3922 -3254 -3354 4474 -3490 -4542 3382 4410 -3522 -3378 -3966 -4542 -3150 4030 -3414 -4266 3950 3614 -3326 -3574 3842 4482 -3422 3966 4318 -3338 4462 -3582 -3990 4038 3238 4238 -3262 -3258 4118 -3798 -3478 -3338 3814 3690 -4066 -4394 -4082 -4222 3478 -3278 -4022 -3526 -3398 -3954 -4334 -4510 3150 3170 3730 -4314 3326 -4394 3598 -3474 -3554 3494 3550 3150 -4502 -3870 -4238 -3330 -4398 4066 -4326 3766 -3642 4042 3150 -4158 -3390 -3278 -3834 -3718 3854 3546 3162 -3594 -3390 -3310 -3714 -3698 -4118 -4014 -3230 -3550 3858 -3974 3778 3710 3850 -4502 -3766 3862 -3914 -4294 3622 -4362 -3310 -4542 -3150 -3818 -4318 -3466 3870 4158 -4170 3158 3190 -4126 4046 3914 -3150 4438 -3326 -4158 3998 -3262 3430 -3998 -3606 -4014 -4434 -4322 4450 -3586 -4146 4470 3378 3770 -3758 3270 -3706 -4514 -3386 -4158 -3510 3626 4386 3646 4114 -4450 -3426 4058 -3294 -3514 -3634 3150 -3846 -4474 -3702 -4350 4542 3614 -4134 -3602 -3542 -4374 3382 3326 3902 -3358 -3794 3190 -4014 3574 -4266 -3706 4482 -3502 -4454 -3714 3654 -3410 -4402 -3878 -3826 -3934 4178 -3998 -3970 -3730 -3294 -3518 3786 3826 -3894 -3882 -3666 -3150 4114 4038 -4062 3286 -3714 -3754 3894 -3582 -3386 4534 -3426 -3622 -4098 -3550 -4502 -3790 -4422 -3250 3566 3554 4242 -4306 3970 3538 -3586 4030 -3378 3190 3434 3770 4450 -4082 3350 -3882 -3466 3206 3254 -3298 -4450 3350 3578 -3198 -3750 3974 -3990 -4002 -3706 -3150 3442 -4270 -3758 3538 -3810 3810 4242 -3174 -4346 -3582 -3950 4310 3794 -3262 -4542 4510 -3406 -3746 -3490 -4178 4042 -4454 -3326 -3226 -3374 -3590 -3706 4318 3766 4362 -3218 -3158 -3974 -4362 4374 3686 -4370 3810 4218 3806 3874 4070 3150 -4226 -3842 3934 -3182 -3926 -4506 -4494 -4394 -3702 3930 -3722 3202 -3558 3326 -3158 4166 -4410 3150 4046 -3286 -4210 4474 -3994 3634 -3838 -3186 -3390 -4250 -4418 4418 3566 3850 4094 -3942 -3574 -3586 3350 3318 -3806 -3302 -4510 3666 3890 3378 -3210 -4422 -3762 -4158 4106 -3410 -4274 -3990 -4090 4078 3462 -3302 3366 -4354 -3622 3738 -3982 -3722 3182 -3854 4466 -4474 -4206 -4522 3326 -4422 3258 -4362 -3614 3150 -3582 -3314 -4362 -4130 3206 -4358 -4010 3714 -3846 -3646 3614 3958 4010 -4194 3810 3690 -3198 -3238 4358 -4290 4486 -3986 -3506 -4542 3150 3286 -4502 3310 -3870 3798 -3622 -4210 -4106 -4334 -4018 -3598 -4090 -3810 4050 -3238 3622 4302 3366 -3346 3858 3406 -4014 -3446 -3234 -3314 -3182 -4078 4270 -3974 4290 3826 -4282 -4462 4302 3202 -4422 -3902 -3974 -4362 -4282 -3590 -3262 -3950 -3994 4430 3670 -3986 3270 3334 3590 -3614 3490 -4218 -4158 -4542 3238 -4278 -3390 3878 -4238 -4014 -3210 -4014 3722 4502 -3674 4322 3162 4306 -4298 4422 -4482 -3974 -4542 -3742 -4542 -3370 -3618 4170 -3586 -4278 -3526 -4026 -4174 3330 3950 3486 -3246 3230 -3702 -4022 -3350 3770 4030 3842 4478 -3550 3150 3198 3838 3934 3990 -4502 -3190 3718 3758 -3330 -4202 -4366 3354 -3694 3730 3150 -4182 -3762 -4330 4542 3990 -3422 3850 4202 -3622 3750 -3446 3990 -3942 3810 3670 3854 3150 -3926 -4522 -3982 -4494 3774 -4422 4430 4406 4434 -3470 4214 -3306 -3954 -4334 3430 -4338 3942 4362 -4406 4098 -4074 -3510 -4482 3766 -3450 4542 -3974 -3438 -3598 3426 3690 3818 -3470 -3270 -4074 4458 3614 4118 -3258 3482 3566 -3174 3218 -3438 3326 -3182 3282 -4210 -4198 3698 -4542 3850 4282 -3246 -3350 3190 -3526 -3550 -3950 -3642 -3170 -4130 -3534 -3214 4242 3350 -3434 -3758 -4306 3470 3218 4042 -3678 3210 3218 -4518 4542 -3270 -3586 -3430 3990 -4146 -3990 3366 -4134 3774 3926 -3358 -3702 -4230 4454 -4502 -3718 3830 -4282 -4542 -3578 -3674 -3598 3330 -3178 -4026 -4246 -3638 -3586 4170 -4478 -4346 -4162 -3198 -4322 3734 4058 4122 4290 -4422 3190 4466 -4542 -3822 -3710 -4422 -4502 -4346 4070 -4414 -3370 -3166 3362 3678 4050 3334 -4230 -3998 4258 -4002 -3234 -4378 -4502 -3498 -3250 -4314 4062 4438 -4478 -3522 3378 4378 -3602 -4502 3230 3330 -3242 -4446 3978 -4278 -4378 -3762 3310 -3722 4118 -4146 -4462 3550 3610 -4522 -3766 4266 -4502 3926 3902 3798 -3410 3374 -4346 -4070 -4486 4482 -3614 3506 3254 -4482 3782 -3226 -3482 -4414 -3862 -4158 3314 -4222 -3406 -3550 -4414 -3802 4190 -3554 -3522 -3422 3598 -4002 -4362 -3934 3186 3202 -4206 -4074 -4010 3574 4406 3150 3790 -4374 -3250 3202 3314 -3926 -3518 -3518 -4362 3866 -3418 -4106 3818 -4542 4294 4418 -3462 3690 -4422 4342 3826 -4014 3602 4042 -3262 -3250 -4386 3198 -4326 4010 -3878 4414 4434 -4374 3978 -3582 -4382 -4182 3566 -3810 -3718 -3170 -3382 -3718 -3482 -3706 -3714 -4350 -3154 
72.14/72.56	d NODES 3004
72.14/72.56	d CHECKS 61181624
72.14/72.57	   
72.14/72.57	   totalWckTime=72.395  totalCpuTime=68.32

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085657-1215234946/watcher-1085657-1215234946 -o /tmp/evaluation-result-1085657-1215234946/solver-1085657-1215234946 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1085657-1215234946.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.27 2.09 2.02 4/73 2827
/proc/meminfo: memFree=879872/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=1516 CPUtime=0
/proc/2827/stat : 2827 (java) R 2825 2827 31768 0 -1 0 66 0 0 0 0 0 0 0 20 0 1 0 635741894 1552384 50 996147200 134512640 134550740 4294956128 18446744073709551615 9923213 0 0 4096 0 0 0 0 17 0 0 0
/proc/2827/statm: 379 50 38 9 0 9 0

[startup+0.08007 s]
/proc/loadavg: 2.27 2.09 2.02 4/73 2827
/proc/meminfo: memFree=879872/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=865856 CPUtime=0.06
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 3554 0 1 0 4 2 0 0 18 0 9 0 635741894 886636544 3044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 216464 3044 1633 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.101071 s]
/proc/loadavg: 2.27 2.09 2.02 4/73 2827
/proc/meminfo: memFree=879872/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=865884 CPUtime=0.08
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 3831 0 1 0 6 2 0 0 18 0 9 0 635741894 886665216 3278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 216471 3278 1731 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.301091 s]
/proc/loadavg: 2.27 2.09 2.02 4/73 2827
/proc/meminfo: memFree=879872/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=866276 CPUtime=0.28
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 5802 0 1 0 24 4 0 0 18 0 9 0 635741894 887066624 5176 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 216569 5176 1953 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866276

[startup+0.701144 s]
/proc/loadavg: 2.27 2.09 2.02 4/73 2827
/proc/meminfo: memFree=879872/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=867020 CPUtime=0.68
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 12289 0 1 0 62 6 0 0 18 0 9 0 635741894 887828480 11659 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 216755 11659 1968 9 0 211283 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867020

[startup+1.50223 s]
/proc/loadavg: 2.27 2.09 2.02 3/82 2836
/proc/meminfo: memFree=786104/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=867472 CPUtime=1.48
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 31039 0 1 0 135 13 0 0 18 0 9 0 635741894 888291328 30374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 216868 30374 2004 9 0 211396 0
[pid=2827/tid=2829] ppid=2825 vsize=867472 CPUtime=1.14
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 15741 0 1 0 107 7 0 0 25 0 9 0 635741895 888291328 30374 996147200 134512640 134550740 4294955968 18446744073709551615 4126422035 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2830] ppid=2825 vsize=867472 CPUtime=0.15
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 13961 0 0 0 11 4 0 0 16 0 9 0 635741897 888291328 30374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2831] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 30374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2832] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 30374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2833] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635741899 888291328 30374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=867472 CPUtime=0.16
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 640 0 0 0 16 0 0 0 16 0 9 0 635741899 888291328 30374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2835] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635741899 888291328 30374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635741899 888291328 30374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867472

[startup+3.10242 s]
/proc/loadavg: 2.27 2.09 2.02 4/82 2836
/proc/meminfo: memFree=753976/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=867472 CPUtime=3.07
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 34133 0 1 0 293 14 0 0 18 0 9 0 635741894 888291328 33466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 216868 33466 2004 9 0 211396 0
[pid=2827/tid=2829] ppid=2825 vsize=867472 CPUtime=2.56
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 15743 0 1 0 249 7 0 0 25 0 9 0 635741895 888291328 33466 996147200 134512640 134550740 4294955968 18446744073709551615 4126374182 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2830] ppid=2825 vsize=867472 CPUtime=0.33
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 17052 0 0 0 27 6 0 0 17 0 9 0 635741897 888291328 33466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2831] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 33466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2832] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 33466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2833] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635741899 888291328 33466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=867472 CPUtime=0.16
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 641 0 0 0 16 0 0 0 17 0 9 0 635741899 888291328 33466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2835] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635741899 888291328 33466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635741899 888291328 33466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867472

[startup+6.30178 s]
/proc/loadavg: 2.41 2.12 2.03 3/82 2836
/proc/meminfo: memFree=694392/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=867472 CPUtime=6.25
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 35743 0 1 0 610 15 0 0 18 0 9 0 635741894 888291328 35071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 216868 35071 2006 9 0 211396 0
[pid=2827/tid=2829] ppid=2825 vsize=867472 CPUtime=5.61
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 15779 0 1 0 554 7 0 0 25 0 9 0 635741895 888291328 35071 996147200 134512640 134550740 4294955968 18446744073709551615 4126911928 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2830] ppid=2825 vsize=867472 CPUtime=0.43
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 18608 0 0 0 36 7 0 0 16 0 9 0 635741897 888291328 35071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2831] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 35071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2832] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 35071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2833] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635741899 888291328 35071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=867472 CPUtime=0.19
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 659 0 0 0 19 0 0 0 15 0 9 0 635741899 888291328 35071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2835] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635741899 888291328 35071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635741899 888291328 35071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867472

[startup+12.7015 s]
/proc/loadavg: 2.37 2.12 2.03 3/82 2836
/proc/meminfo: memFree=628096/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=867472 CPUtime=12.62
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 37744 0 1 0 1245 17 0 0 18 0 9 0 635741894 888291328 37069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 216868 37069 2006 9 0 211396 0
[pid=2827/tid=2829] ppid=2825 vsize=867472 CPUtime=11.84
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 15782 0 1 0 1177 7 0 0 25 0 9 0 635741895 888291328 37069 996147200 134512640 134550740 4294955968 18446744073709551615 4126910775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2830] ppid=2825 vsize=867472 CPUtime=0.55
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 20601 0 0 0 47 8 0 0 17 0 9 0 635741897 888291328 37069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2831] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 37069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2832] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 37069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2833] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635741899 888291328 37069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=867472 CPUtime=0.2
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 664 0 0 0 20 0 0 0 15 0 9 0 635741899 888291328 37069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2835] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635741899 888291328 37069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635741899 888291328 37069 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867472

[startup+25.503 s]
/proc/loadavg: 2.29 2.11 2.03 3/82 2836
/proc/meminfo: memFree=605888/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=867472 CPUtime=25.35
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 42339 0 1 0 2516 19 0 0 18 0 9 0 635741894 888291328 41655 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 216868 41655 2007 9 0 211396 0
[pid=2827/tid=2829] ppid=2825 vsize=867472 CPUtime=24.12
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 15793 0 1 0 2404 8 0 0 25 0 9 0 635741895 888291328 41655 996147200 134512640 134550740 4294955968 18446744073709551615 102385818 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2830] ppid=2825 vsize=867472 CPUtime=0.94
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 25139 0 0 0 84 10 0 0 16 0 9 0 635741897 888291328 41655 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2831] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 41655 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2832] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635741897 888291328 41655 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2833] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635741899 888291328 41655 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=867472 CPUtime=0.27
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 710 0 0 0 27 0 0 0 17 0 9 0 635741899 888291328 41655 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2835] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635741899 888291328 41655 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=867472 CPUtime=0
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635741899 888291328 41655 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867472

[startup+51.103 s]
/proc/loadavg: 2.19 2.10 2.03 3/82 2840
/proc/meminfo: memFree=427512/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=868820 CPUtime=50.83
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 146640 1667 1 0 4997 52 31 3 18 0 9 0 635741894 889671680 100151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 217205 100151 2616 9 0 211733 0
[pid=2827/tid=2829] ppid=2825 vsize=868820 CPUtime=47.46
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 32811 1667 1 0 4701 11 31 3 25 0 9 0 635741895 889671680 100151 996147200 134512640 134550740 4294955968 18446744073709551615 4126917168 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2830] ppid=2825 vsize=868820 CPUtime=3.24
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 111957 1667 0 0 254 36 31 3 16 0 9 0 635741897 889671680 100151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2831] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 17 1667 0 0 0 0 31 3 16 0 9 0 635741897 889671680 100151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2832] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 29 1667 0 0 0 0 31 3 15 0 9 0 635741897 889671680 100151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2833] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 1667 0 0 0 0 31 3 18 0 9 0 635741899 889671680 100151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=868820 CPUtime=0.75
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 996 1667 0 0 40 1 31 3 16 0 9 0 635741899 889671680 100151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2835] ppid=2825 vsize=868820 CPUtime=0.34

################
# More data... #
################

/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 146648 1667 1 0 6271 52 31 3 18 0 9 0 635741894 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 217205 100154 2616 9 0 211733 0
[pid=2827/tid=2829] ppid=2825 vsize=868820 CPUtime=60.21
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 32815 1667 1 0 5975 12 31 3 25 0 9 0 635741895 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4126914615 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2830] ppid=2825 vsize=868820 CPUtime=3.24
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 111957 1667 0 0 254 36 31 3 17 0 9 0 635741897 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2831] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 17 1667 0 0 0 0 31 3 16 0 9 0 635741897 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2832] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 29 1667 0 0 0 0 31 3 15 0 9 0 635741897 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2833] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 1667 0 0 0 0 31 3 18 0 9 0 635741899 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=868820 CPUtime=0.76
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 1000 1667 0 0 41 1 31 3 16 0 9 0 635741899 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2835] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 1667 0 0 0 0 31 3 19 0 9 0 635741899 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 15 1667 0 0 0 0 31 3 15 0 9 0 635741899 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.57
Current children cumulated vsize (KiB) 868820

[startup+67.1068 s]
/proc/loadavg: 2.15 2.10 2.03 3/82 2840
/proc/meminfo: memFree=426360/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=868820 CPUtime=66.76
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 146649 1667 1 0 6590 52 31 3 18 0 9 0 635741894 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 217205 100154 2616 9 0 211733 0
[pid=2827/tid=2829] ppid=2825 vsize=868820 CPUtime=63.4
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 32816 1667 1 0 6294 12 31 3 25 0 9 0 635741895 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4127221172 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2830] ppid=2825 vsize=868820 CPUtime=3.24
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 111957 1667 0 0 254 36 31 3 16 0 9 0 635741897 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2831] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 17 1667 0 0 0 0 31 3 16 0 9 0 635741897 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2832] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 29 1667 0 0 0 0 31 3 15 0 9 0 635741897 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2833] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 1667 0 0 0 0 31 3 18 0 9 0 635741899 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=868820 CPUtime=0.76
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 1000 1667 0 0 41 1 31 3 16 0 9 0 635741899 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2835] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 1667 0 0 0 0 31 3 19 0 9 0 635741899 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 15 1667 0 0 0 0 31 3 15 0 9 0 635741899 889671680 100154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 66.76
Current children cumulated vsize (KiB) 868820

[startup+70.3022 s]
/proc/loadavg: 2.14 2.09 2.03 3/82 2840
/proc/meminfo: memFree=426232/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=868820 CPUtime=69.95
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 146659 1667 1 0 6909 52 31 3 18 0 9 0 635741894 889671680 100162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 217205 100162 2616 9 0 211733 0
[pid=2827/tid=2829] ppid=2825 vsize=868820 CPUtime=66.57
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 32817 1667 1 0 6611 12 31 3 25 0 9 0 635741895 889671680 100162 996147200 134512640 134550740 4294955968 18446744073709551615 4127513240 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2830] ppid=2825 vsize=868820 CPUtime=3.24
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 111957 1667 0 0 254 36 31 3 17 0 9 0 635741897 889671680 100162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2831] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 17 1667 0 0 0 0 31 3 16 0 9 0 635741897 889671680 100162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2832] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 29 1667 0 0 0 0 31 3 15 0 9 0 635741897 889671680 100162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2833] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 1667 0 0 0 0 31 3 18 0 9 0 635741899 889671680 100162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=868820 CPUtime=0.77
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 1009 1667 0 0 42 1 31 3 15 0 9 0 635741899 889671680 100162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2835] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 1667 0 0 0 0 31 3 19 0 9 0 635741899 889671680 100162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 15 1667 0 0 0 0 31 3 15 0 9 0 635741899 889671680 100162 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (KiB) 868820

[startup+71.9024 s]
/proc/loadavg: 2.14 2.09 2.03 3/82 2840
/proc/meminfo: memFree=426232/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=868820 CPUtime=71.54
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 146664 1667 1 0 7068 52 31 3 18 0 9 0 635741894 889671680 100166 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 217205 100166 2616 9 0 211733 0
[pid=2827/tid=2829] ppid=2825 vsize=868820 CPUtime=68.15
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 32819 1667 1 0 6769 12 31 3 25 0 9 0 635741895 889671680 100166 996147200 134512640 134550740 4294955968 18446744073709551615 4127515646 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2830] ppid=2825 vsize=868820 CPUtime=3.24
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 111957 1667 0 0 254 36 31 3 17 0 9 0 635741897 889671680 100166 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2831] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 17 1667 0 0 0 0 31 3 16 0 9 0 635741897 889671680 100166 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2832] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 29 1667 0 0 0 0 31 3 15 0 9 0 635741897 889671680 100166 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2833] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 1667 0 0 0 0 31 3 18 0 9 0 635741899 889671680 100166 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=868820 CPUtime=0.78
/proc/2827/task/2834/stat : 2834 (java) R 2825 2827 31768 0 -1 64 1012 1667 0 0 43 1 31 3 15 0 9 0 635741899 889671680 100166 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2835] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 1667 0 0 0 0 31 3 19 0 9 0 635741899 889671680 100166 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 15 1667 0 0 0 0 31 3 15 0 9 0 635741899 889671680 100166 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 71.54
Current children cumulated vsize (KiB) 868820

[startup+72.3014 s]
/proc/loadavg: 2.14 2.09 2.03 3/82 2840
/proc/meminfo: memFree=426232/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=868820 CPUtime=71.93
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 146674 1667 1 0 7107 52 31 3 18 0 9 0 635741894 889671680 100175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 217205 100175 2616 9 0 211733 0
[pid=2827/tid=2829] ppid=2825 vsize=868820 CPUtime=68.54
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 32821 1667 1 0 6808 12 31 3 25 0 9 0 635741895 889671680 100175 996147200 134512640 134550740 4294955968 18446744073709551615 4126915760 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2830] ppid=2825 vsize=868820 CPUtime=3.24
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 111957 1667 0 0 254 36 31 3 17 0 9 0 635741897 889671680 100175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2831] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 17 1667 0 0 0 0 31 3 16 0 9 0 635741897 889671680 100175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2832] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 29 1667 0 0 0 0 31 3 15 0 9 0 635741897 889671680 100175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2833] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 1667 0 0 0 0 31 3 18 0 9 0 635741899 889671680 100175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=868820 CPUtime=0.79
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 1020 1667 0 0 44 1 31 3 16 0 9 0 635741899 889671680 100175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2835] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 1667 0 0 0 0 31 3 19 0 9 0 635741899 889671680 100175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 15 1667 0 0 0 0 31 3 15 0 9 0 635741899 889671680 100175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 71.93
Current children cumulated vsize (KiB) 868820

[startup+72.5014 s]
/proc/loadavg: 2.14 2.09 2.03 3/82 2840
/proc/meminfo: memFree=426168/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=868820 CPUtime=72.14
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 146679 1667 1 0 7128 52 31 3 18 0 9 0 635741894 889671680 100179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 217205 100179 2616 9 0 211733 0
[pid=2827/tid=2829] ppid=2825 vsize=868820 CPUtime=68.73
/proc/2827/task/2829/stat : 2829 (java) R 2825 2827 31768 0 -1 64 32822 1667 1 0 6827 12 31 3 25 0 9 0 635741895 889671680 100179 996147200 134512640 134550740 4294955968 18446744073709551615 4127509149 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2830] ppid=2825 vsize=868820 CPUtime=3.24
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 111957 1667 0 0 254 36 31 3 17 0 9 0 635741897 889671680 100179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2831] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 17 1667 0 0 0 0 31 3 16 0 9 0 635741897 889671680 100179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2832] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 29 1667 0 0 0 0 31 3 15 0 9 0 635741897 889671680 100179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2833] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 1667 0 0 0 0 31 3 18 0 9 0 635741899 889671680 100179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=868820 CPUtime=0.8
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 1024 1667 0 0 45 1 31 3 15 0 9 0 635741899 889671680 100179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2835] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 1667 0 0 0 0 31 3 19 0 9 0 635741899 889671680 100179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2836/stat : 2836 (java) R 2825 2827 31768 0 -1 64 15 1667 0 0 0 0 31 3 15 0 9 0 635741899 889671680 100179 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.14
Current children cumulated vsize (KiB) 868820

[startup+72.6064 s]
/proc/loadavg: 2.14 2.09 2.03 3/82 2840
/proc/meminfo: memFree=426168/2055920 swapFree=4179952/4192956
[pid=2827] ppid=2825 vsize=868820 CPUtime=72.2
/proc/2827/stat : 2827 (java) S 2825 2827 31768 0 -1 0 146688 1667 1 0 7134 52 31 3 18 0 9 0 635741894 889671680 100181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2827/statm: 217205 100181 2616 9 0 211733 0
[pid=2827/tid=2829] ppid=2825 vsize=868820 CPUtime=68.8
/proc/2827/task/2829/stat : 2829 (java) S 2825 2827 31768 0 -1 64 32831 1667 1 0 6834 12 31 3 25 0 9 0 635741895 889671680 100181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2830] ppid=2825 vsize=868820 CPUtime=3.24
/proc/2827/task/2830/stat : 2830 (java) S 2825 2827 31768 0 -1 64 111957 1667 0 0 254 36 31 3 17 0 9 0 635741897 889671680 100181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2831] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2831/stat : 2831 (java) S 2825 2827 31768 0 -1 64 17 1667 0 0 0 0 31 3 16 0 9 0 635741897 889671680 100181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2832] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2832/stat : 2832 (java) S 2825 2827 31768 0 -1 64 29 1667 0 0 0 0 31 3 15 0 9 0 635741897 889671680 100181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2833] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2833/stat : 2833 (java) S 2825 2827 31768 0 -1 64 0 1667 0 0 0 0 31 3 18 0 9 0 635741899 889671680 100181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2834] ppid=2825 vsize=868820 CPUtime=0.8
/proc/2827/task/2834/stat : 2834 (java) S 2825 2827 31768 0 -1 64 1024 1667 0 0 45 1 31 3 15 0 9 0 635741899 889671680 100181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2827/tid=2835] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2835/stat : 2835 (java) S 2825 2827 31768 0 -1 64 2 1667 0 0 0 0 31 3 19 0 9 0 635741899 889671680 100181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2827/tid=2836] ppid=2825 vsize=868820 CPUtime=0.34
/proc/2827/task/2836/stat : 2836 (java) S 2825 2827 31768 0 -1 64 15 1667 0 0 0 0 31 3 15 0 9 0 635741899 889671680 100181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.2
Current children cumulated vsize (KiB) 868820

Child status: 0
Real time (s): 72.6747
CPU time (s): 72.287
CPU user time (s): 71.6631
CPU system time (s): 0.623905
CPU usage (%): 99.4665
Max. virtual memory (cumulated for all children) (KiB): 877796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.6631
system time used= 0.623905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148383
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= 3781
involuntary context switches= 3886

runsolver used 0.098984 second user time and 0.246962 second system time

The end

Launcher Data (download as text)

Begin job on node88 at 2008-07-05 07:15:46
IDJOB=1085657
IDBENCH=57673
IDSOLVER=364
FILE ID=node88/1085657-1215234946
PBS_JOBID= 7881764
Free space on /tmp= 66480 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp40/normalized-fapp40-3000-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085657-1215234946/watcher-1085657-1215234946 -o /tmp/evaluation-result-1085657-1215234946/solver-1085657-1215234946 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1085657-1215234946.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 03c519ee722ebb3400aacaf8b7a2d565
RANDOM SEED=876465157

node88.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.232
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.232
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        880352 kB
Buffers:         30960 kB
Cached:         823536 kB
SwapCached:       7404 kB
Active:         396164 kB
Inactive:       727564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        880352 kB
SwapTotal:     4192956 kB
SwapFree:      4179952 kB
Dirty:           20220 kB
Writeback:           0 kB
Mapped:         276508 kB
Slab:            36700 kB
Committed_AS:  1587020 kB
PageTables:       2316 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= 66480 MiB
End job on node88 at 2008-07-05 07:16:59