Trace number 2097746

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 93.5628 94.499

DiagnosticValue
CHECKS97869400
NODES4720

General information on the benchmark

Namecsp/fapp/fapp40/
normalized-fapp40-3000-10.xml
MD5SUM6cee6301fe32a4b3c9ce453d6c18bf37
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 benchmark91.5551
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 

0.01/0.09	
0.01/0.09	Abscon 112 (May, 2008)
0.18/0.26	
0.18/0.26	   configuration
0.18/0.26	     name=esac.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-2097746-1247413936.xml
0.28/0.34	   
0.28/0.34	   domains being loaded...
0.28/0.38	   
0.28/0.38	   variables being loaded...
0.78/0.87	     nbVariables=3000  nbDomainTypes=14  minDomainSize=50  maxDomainSize=698  nbTotalValues=1873230
0.78/0.87	       =>  wckTime=0.613  cpuTime=0.4  mem=52M507
0.78/0.87	   
0.78/0.87	   predicates being loaded...
0.87/0.94	   
0.87/0.94	   constraints being loaded...
20.98/21.29	   
20.98/21.29	   INFO : Stopping converting binary constraints (cpu=20.11, mem = 88M84)
39.89/40.34	     nbConstraints=28395  nbGlobalConstraints=82  nbMergedConstraints=25235  nbConvertedConstraints=74
39.89/40.34	     nbConvertConstraintsChecks=35556860  nbExtensionStructures=72  nbSharedExtensionStructures=4
39.89/40.34	     nbConflictsStructures=159  nbSharedConflictsStructures=78  nbUnbuiltConflictsStructures=18764
39.89/40.34	     nbSharedBinaryRepresentations=71443  nbEvaluationManagers=18851  nbSharedEvaluationManagers=9388  minDegree=3
39.89/40.34	     maxDegree=54  minArity=2  avgArity=2.01  maxArity=8  nbGenerators=0  nbFusions=0  symmetryWckTime=8.015
39.89/40.34	     symmetryCpuTime=7.36  nbCliques=82
39.89/40.34	       =>  wckTime=40.083  cpuTime=37.31  mem=161M731
40.68/41.10	   
40.68/41.10	   solver IterativeSystematicSolver being built... 
41.38/41.89	   
41.38/41.89	   INFO : Forward propagation technique limited 
41.77/42.26	       =>  wckTime=42.004  cpuTime=37.95  mem=342M612
87.34/88.25	   
87.34/88.25	   preprocessing
87.34/88.25	     nbConstraintChecks=94446813  nbValidityChecks=7831636  nbPropagations=8444  nbRevisions=188897
87.34/88.25	     nbUselessRevisions=163937  nbRemovedValues=1794072  detectedInconsistency=no
87.34/88.25	       =>  wckTime=45.956  cpuTime=45.49  mem=342M612
93.28/94.25	   
93.28/94.25	   search
93.28/94.25	     run=1  nbConstraintChecks=3422581  nbValidityChecks=10105487  minDepth=3001  maxDepth=3000  nbPropagations=74395
93.28/94.25	     nbRevisions=1301173  nbUselessRevisions=1192303  nbAssignments=4720  nbFailedAssignments=10  nbBacktracks=0
93.28/94.25	     nbVisitedNodes=4731  nbRestartNogoods=10  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
93.28/94.25	     nbDEliminables=?  nbPEliminables=?
93.28/94.25	       =>  wckTime=51.95  cpuTime=51.37  mem=344M437
93.28/94.25	   
93.28/94.25	   global
93.28/94.25	     nbConstraintChecks=97869394  nbValidityChecks=17937123  nbPropagations=82839  nbRevisions=1490070
93.28/94.25	     nbUselessRevisions=1356240  nbRestartNogoods=10  solvingWckTime=51.953  solvingCpuTime=51.38  expiredTime=no
93.28/94.25	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=89.23  globalCpuTime=89.41
93.28/94.25	       =>  wckTime=93.988  cpuTime=89.36  mem=344M437
93.38/94.39	   
93.38/94.39	s SATISFIABLE
93.38/94.39	v -3442 3174 -3230 -3574 4030 4166 -4006 -3154 -3550 -3750 -3670 3298 -3262 4002 -4538 -3578 3286 -4170 -3530 -3898 -3618 3666 -3474 -3342 -4502 -3370 3726 -4138 -3814 3542 3710 4166 -3638 -3866 -3518 4138 -3318 3994 3966 -3814 -4046 4114 3914 -4314 -4230 4314 3150 -4218 -3974 -3506 -4438 -3486 -4434 4494 -4106 -3258 4182 -4498 4290 -4046 3658 3386 -4426 -3894 -4106 -3962 -4150 4486 -4542 -3758 -4390 -3654 -3290 -3722 4286 -4418 4446 3502 -4250 -4430 4298 -4190 4022 -4150 -3494 3254 -4502 3546 -4346 3294 4298 4206 -3970 3370 -4338 -3178 -4118 4198 -4086 4298 -3962 -4502 -3262 -3198 -4482 -3970 -3718 -3150 -3858 3190 -3414 -3778 3438 -3526 -4006 -4258 -3650 3958 -3206 3238 3986 -3838 -3722 -4502 3838 -3482 -4186 -4270 -4266 -4378 3746 -3466 -4258 -3414 -4098 -4542 -3906 3586 4194 -3590 -3354 4258 -3150 3634 -3210 -3794 -3670 -4418 -3238 3310 -3922 3706 4038 4302 -3622 -3898 -4034 3410 3278 -4454 -3454 4290 4306 3262 -3554 -4010 3590 -4186 4098 -4450 -3158 -3590 -4242 4270 -3538 -4510 3614 -4146 4246 -3514 -3334 -4074 3658 3550 -3754 -3242 3198 -3938 3802 -4542 -3582 -3482 3366 -3550 3306 -4130 -3542 3414 3898 -3982 -4466 3938 4174 4074 -3182 -4098 3190 -3362 -4498 -4350 -3510 3390 -4522 -4190 -4426 -3602 -3250 3198 -3302 -3158 -3214 -4098 3530 -4114 -3718 -4218 -3918 4430 -3858 3190 3562 -4454 -4178 -3642 -3994 -3506 -4426 -3602 -4542 -3218 4382 -3246 4142 -3322 -3190 -4542 -4342 -3954 -3814 3262 -3678 -3322 3790 -3758 3814 3914 -3342 -4202 -3274 3730 -3582 -4302 -4014 -4146 -3410 -3218 -3450 -3162 -3586 3622 -4422 -3582 -3942 -3330 4170 -3442 3530 -4542 -3814 3642 -3150 -4482 -3614 4518 -3654 -3570 -3214 -4462 -4134 -3814 -3738 -4322 4338 -3550 -3150 -4318 -3190 3278 3694 -3198 4014 -4462 4010 3282 -3702 3666 -3778 -3626 -3606 3466 3842 3818 4458 -4342 -3650 -4502 -3322 -3734 4462 -3558 -3454 -4190 4110 4426 4274 -4398 -3650 -3202 -3262 -3158 -3298 4226 3410 -3786 -3414 3750 -4222 -4490 -4422 -4506 3226 -3302 4522 -3610 3958 -3726 -4186 -3658 3982 3522 3150 3318 -4178 -3586 -3610 -3234 -3974 -3346 -3406 3362 3358 4150 -4398 3378 -3330 -3642 -3330 -4166 -4146 3274 -3878 -3770 -3366 4330 3798 4502 -3662 -4114 4334 4526 -4234 -3486 -3474 -4522 -3206 -3766 -4438 3638 -3186 3326 4098 -3582 3686 -3570 -3206 -3622 -4150 3150 -3846 -4234 3430 -4166 -4510 -3598 -4322 -4462 4394 -3466 4402 -4254 -4146 3366 -3322 3322 -4186 4306 3270 -3578 -3302 3522 -3818 3614 -4086 3826 -4130 -3710 -4038 4242 4258 -3366 -3274 3526 3586 -4502 -4354 -3574 -3254 3254 -3434 -3474 -3370 3326 -3898 4286 -3602 4374 -3262 4474 3506 3622 3590 4434 3210 -3250 4146 -3342 3378 3490 3414 -3518 3462 4250 -3262 -3414 -3698 -3290 -3914 3438 -3454 -4306 4262 -4466 -4210 -4062 -3226 -3950 -3598 -3382 -3670 -3622 -4362 4282 3566 -3194 -4342 -3190 4326 3182 3174 4470 -3482 -3350 -3958 -4210 3302 -4502 -3158 -3286 -4154 4206 4010 -4502 -4386 3658 -4390 -4142 -3294 -3666 -3770 -4190 -3202 -3162 -4282 4210 4506 -4502 -4210 3314 -3598 3362 -4502 3638 4354 4398 -3638 -3950 3382 -4014 -3346 -3882 4522 -4442 -4202 -3642 4074 -4050 -3302 3150 -4002 -3214 -3222 -3618 -3430 -3718 -3210 4098 -3322 -4502 -3398 4134 3754 -4542 -4370 -3746 -3974 -3774 -3546 -4138 -3986 -3942 -4466 3150 -4086 -3698 3314 3970 3586 -4458 4362 3298 -3706 3786 4330 -3286 -4350 -3914 -3642 4190 -4030 -3626 3614 3430 4138 -3826 3610 3570 -4502 3586 -4494 -3810 -3578 -3670 -4354 -3222 -4242 -3562 4030 -4422 -4522 -4518 3398 -4138 3966 -3514 -3642 4526 -4002 -3734 -4146 -4178 -3506 -4258 -3222 3254 -4094 4170 3682 -3598 3190 -3846 -4386 -4282 -4218 3950 -3782 -4438 4362 -3206 3466 3362 3710 -3550 -3854 -3606 -3810 -3550 -3446 -4066 -4034 -3954 -3674 -4114 4122 4374 4014 -3638 -3974 -4522 3998 3262 -3282 3702 3978 4070 -4090 3694 -3270 -3218 -3826 -3646 -4502 -3178 -3674 -3170 -3210 -3310 -3490 -3318 3990 -3578 3634 -3230 -3406 -3626 -3622 -3186 4098 -4266 3634 -4502 3926 4002 4206 -3202 -3598 4330 -4322 4138 4486 -3470 3870 -3818 -3222 -3214 -3678 -4034 -3622 -3818 -3214 -3738 3510 4218 -4414 -3434 4318 4402 4138 3190 3510 -4502 -3198 4394 4170 3658 3766 -4038 -3754 3378 4534 3206 -3298 3778 3534 -4542 3218 -3274 3262 -3786 -4394 -3378 3762 -3674 -4222 -4162 -4238 -4030 4530 -3446 3826 4218 -4166 4234 -3510 3730 4014 -3190 -4462 4410 4314 -3422 -3854 -4542 -4330 -4234 -3950 -3858 -4310 -4246 4178 4450 -4238 -3902 3542 -3162 -3454 -3650 4438 -3854 -3618 -3318 3266 -3418 -4014 -4230 3290 -3374 3566 -4218 -4226 -4462 4338 -3730 -4454 -3738 -4046 3918 4502 -4126 -3246 -4394 -4502 3190 -3238 4482 -3370 -3722 -3654 4294 -3406 3786 -3198 4394 -3886 4450 4458 -3558 -3782 -3310 3294 -3226 -4542 -4502 -3994 -3326 -3314 -3974 4394 -3678 3874 4478 -4006 3778 -4138 -3198 3806 -4242 3706 3666 -3726 -3610 -3798 -3870 3522 -3622 -3506 -4362 -3970 -3594 3382 3390 3826 4162 4070 4026 -3410 -4390 3314 -3222 4418 -3910 -3762 4186 4434 3942 -4070 3914 3894 -3850 4102 3590 4306 4094 -4346 3310 -3370 3190 -4410 -3922 -3634 3250 4262 -4086 -3754 -4438 3406 -3166 -4358 -3450 -4502 4094 -3350 3846 -4338 -3818 -3902 -3262 -3470 -3218 -3198 -4462 -3866 3394 -4182 3150 -3578 3954 -3430 -3910 -3902 -4542 3710 4262 3778 4226 -3742 4470 -3570 -3438 3806 -3602 -4182 -3610 4374 -4466 -3482 -4542 -4166 -3322 -4322 -3686 -3854 3182 -3838 3426 -4542 -4502 -4502 -4442 -4518 3150 -3814 -3198 -4414 -3510 3794 -4466 3722 4358 4126 4066 -3862 -4186 3730 4114 3738 3854 3850 -3330 -3282 4306 3714 -3230 -4542 -4134 -4006 3810 -3582 3666 -3934 3810 4318 3246 -3654 -3670 -3578 3338 -4318 4274 -4542 -3858 -3822 -3434 -3662 -3910 -4186 -4138 -3742 -4354 3626 4358 -4026 -3974 -4102 3406 3382 -3850 -3150 -3314 4250 -3298 -3586 3490 -4482 4494 -3194 4326 3966 4198 -4490 -4058 -3274 4502 -4502 -3698 3538 -3490 -3546 4450 -4186 3566 -3746 -3578 -3222 -4150 -3350 -3714 -3690 -4430 -3726 3750 3598 3514 -3530 -3482 3510 -3830 -3610 4534 -4366 -3806 4082 -4150 -4518 4322 -3834 3346 -3454 3994 3502 3370 -3950 -3858 3810 -4014 3202 -3658 4446 -4346 -3622 3418 -3806 3302 -3334 -3194 -4158 -3870 -3686 -3326 -4070 -3686 3838 -4462 4494 3954 3698 -3434 3422 4366 -4186 4118 -4210 3774 3186 -3618 -3482 -4454 3998 -3882 3802 3422 -3590 -3898 -3710 -3542 -3662 -4290 -4502 -4022 4054 -3986 4282 -3338 3378 3690 -3190 3214 -3990 3214 4214 4106 -3602 -4374 3842 -4430 4042 -4186 -3210 3538 -3574 -3442 3610 -4374 3750 3150 -3282 4050 3334 4350 4206 3638 -4258 3702 -4382 -3994 -3602 3502 -4178 -3530 -4342 -3286 -3178 4110 -3410 -3806 3950 -3974 -3326 4210 -3274 -4470 3850 -3618 -4014 -3230 -4130 -3750 -4206 3858 -3226 3398 -3902 3346 -3546 3290 4402 3898 -4002 -3278 -3266 3262 3870 -3934 -3618 -4110 -4502 -4542 -4322 -3630 -4358 -3290 3206 3818 -3802 3470 4026 -4078 4474 -4282 -3910 -3910 -4038 -3190 -4542 4198 3326 -3998 3642 3642 -3682 -3662 -3974 -3386 -4006 -4102 -3298 -4450 3330 -4502 -3214 -3618 -4426 -4110 -4334 3190 -4334 -4502 -3854 -4482 -4306 4414 3298 -4006 -3550 3582 4206 3966 3450 -3254 -3286 4502 3662 4502 -3750 -3150 -3290 -4258 3150 -3546 -4030 -4262 3170 -3362 -4502 4090 4502 -3966 -3290 4338 -3766 3374 -4238 -4150 -3542 -4406 -3918 -3578 3850 3930 -3478 -3214 -4450 3342 3786 -3826 4482 -4258 -3870 3766 -3190 -3630 4498 -3190 -3238 -3614 -3602 -3626 3158 -4030 -3446 -4014 -3722 -4422 3218 -4050 -3570 -4246 4174 -4014 -4282 3510 -3318 -4034 -3514 -4282 3622 -3330 -3210 4442 4226 3266 -3222 3826 3214 -4070 -3162 -3622 -3962 -4534 -3610 3366 -3690 -3302 4534 -4258 3814 -3362 -3898 3722 3258 -3822 3706 -4542 -3670 -4374 -3522 -4122 4194 -3490 -4282 4394 4010 -3750 -3458 -3474 4134 4142 3794 -3658 3850 -3314 -3238 -3638 -4402 -3910 3618 -3762 4286 -3878 -3202 3278 -3462 -4490 -4346 -3262 4502 4282 -3262 -3554 -3966 -4314 -3858 -4394 4542 -3778 -4334 -3330 -4138 -3974 3254 -3522 -4278 -3894 -3374 4270 -3722 -3198 4514 -3570 3250 3314 -3466 -3982 -3462 3658 -4422 3158 3150 -4058 -3758 3582 -3278 -3822 -4402 -3314 4030 3158 -3994 -3790 4022 -4210 -4090 -3690 -3262 3634 -3682 3522 -3762 -3434 3778 -4178 -4502 -4302 -4018 -4418 -3354 -3858 -3190 -3974 -3782 -4042 -3410 4258 4146 -3218 -3742 -4458 -3974 -4422 4502 4262 -3150 -3698 -4354 3162 3846 -4146 3762 3890 -4054 -3630 -4386 4038 -4278 3178 -3230 -4302 4518 3218 4110 -3998 4482 -4430 -3598 3726 -3794 -4406 3278 -4018 3934 4282 3874 -3610 3342 -4526 -4014 3190 -3670 -3266 -4502 -4106 4366 -4542 -4422 -4190 -3874 4262 -4362 -3794 4042 4542 -4354 -3750 -4218 4074 -4034 -3210 -3846 -3298 -3162 -3694 -4298 -4222 -3838 -3150 3890 4394 -3698 -4502 -4218 -3658 -4442 4250 -4378 -4174 -3214 3806 -3978 -3878 4542 -4314 -4158 -4222 -3346 -3906 -3986 3966 4374 -4058 3442 -3178 -4154 -3762 -3814 3790 -3338 4326 3150 -3770 4030 3222 3222 3150 3274 -3474 3994 -3222 -3966 3182 4502 -4154 3218 -4462 3238 -4322 4178 -3226 -4054 -4218 4418 4078 -3930 -4410 -3818 4110 4542 4470 -4362 3594 -3650 -4338 3262 4054 -3546 -4110 -3970 -3798 -4146 3690 -3302 -3246 -3222 -3214 3482 -3526 -3202 3510 -3258 -3646 3930 3594 -3554 -4466 -4286 -3438 -3258 3978 3938 4046 -4102 -3502 -3546 -3286 3746 -3414 -4386 -4002 -4114 -3726 3394 -3814 4134 -3246 -3570 -4062 4154 3454 -3778 -3622 3962 -3630 -3190 -3618 -3846 -3974 -3854 4102 -3282 -3162 3366 -3222 3190 3858 -3878 -3306 -3578 -4170 -3190 4098 3670 -3974 -4542 -3218 -4162 -3698 -4306 -3590 3742 3726 3934 -3974 3734 -4326 -3278 3598 4066 -4290 3750 -4262 -3902 -3282 4470 -3262 -4150 -3834 4198 -3190 4538 -3218 -4310 -4502 3626 -3414 3654 4490 -3762 -3622 3338 4270 -3218 3622 -3774 -3238 -4298 -3966 -4366 -3482 4170 4082 -4542 4478 -3974 4298 3742 -3978 3150 3302 -3406 -4542 3506 3190 -4122 -3186 -4166 4246 4214 4226 3378 4106 -3150 -4138 3386 4518 -4314 -4542 -4462 4346 -3190 3666 -4090 -3782 4334 4310 4350 3874 -3774 -3642 -3810 -3666 -4146 -4106 -3610 -3834 3514 -3198 -3202 -4486 -3834 -3306 3842 4070 -3474 4034 -3678 -3714 -4542 3626 -3590 3198 -4054 4146 -3238 -3294 -3190 -4310 -3730 3850 -3514 3962 3582 4174 3990 -4542 4334 3410 -3590 -4210 -4138 -4066 3374 -3278 -3346 -4310 -3966 -3154 -3198 -4126 3578 -3302 4390 -4014 -4142 -3486 3342 3434 -4142 -3278 3842 3274 -3846 -3942 -4502 -4506 -4010 -4502 -4478 -4478 -3334 3990 4110 3782 -4014 3710 -3706 3710 4518 4354 -3638 -3526 -4234 -3326 -4410 -3614 4102 -3926 -3254 -3382 4030 4342 -3318 -3570 -3470 4218 -3510 -3610 -3198 -3210 -3874 3766 -3190 -4078 -3558 -4522 -3322 -3618 -3390 -3230 -3626 -4522 3682 -3766 -4118 4174 -3638 4206 -3514 3150 -4034 -3538 3446 -4502 -3174 -3282 -4306 -4138 -3658 -3854 -3362 -3590 4490 3190 -3738 -3770 -3254 3610 3190 -4482 -3190 -3882 -4522 3662 -3178 4418 3278 -3682 -4422 -4194 -3242 -4542 -3190 4538 -3314 -4522 -3622 3858 3330 -4310 -3506 3562 -4542 -3274 -4542 -4518 -3582 -3338 -3826 3270 -4142 -4322 4322 -3898 4126 -4070 3746 3866 -4318 3446 -3786 -3678 3994 -4098 -3802 3382 -3782 -3450 3150 -4502 3646 4542 4494 -4542 4114 4002 3502 -4066 -3302 -3318 -3402 -3598 -3950 -4334 -4082 -4406 -3918 3406 -3418 4474 -4034 -3638 4074 -4150 -3414 -3190 -3226 -3174 -3190 -3442 -3246 4454 3502 -4262 3310 -3878 -4278 -3350 -4010 -3974 3230 -3562 -4110 -3874 4006 3822 -3150 3970 -4386 -4082 3586 -3318 -4182 -3518 -4274 -4214 4086 -3150 3930 -4394 3922 -4322 -3254 -3414 -3706 3490 -4502 -3926 -3934 3402 3434 -4170 3474 4450 -4270 3150 4110 4262 -3602 -4178 -4542 4502 -3322 -3582 -3718 -3314 -4378 3742 -3890 3678 -3634 -4114 3646 -3530 -3562 -3738 -3214 4002 -4462 -4542 -4382 3490 -4282 -3170 4102 4086 3198 -3210 3338 4378 -4014 3586 4534 3950 -4482 3866 -3422 -3238 -3566 3254 -4182 3378 -4010 4126 -4186 4354 3630 3598 -3886 -3394 -4430 4026 -3974 -3190 -4110 -4098 -3314 3150 -4246 3606 4342 -3998 3166 -3710 3338 -3946 -3746 3542 -3974 4390 -3898 -3150 4134 -3186 -3974 3406 3190 3258 -3174 -3202 4274 -4542 3774 -4214 -3742 -4054 4166 4502 -4490 3818 -3466 -3666 -4502 -3822 3910 -3830 -3630 -4462 4542 4222 -4482 -4542 -4482 3290 -3374 3250 -3366 -4282 -4338 3654 3490 -3526 4094 -3278 -3926 -3202 -4254 -3150 4162 -3522 -4014 -4222 3262 -3554 -4142 -4030 -4370 3390 -3358 3986 -4122 -3342 -3946 -3366 -3258 -4246 -3346 -3698 3946 -3442 -3818 4254 -3542 4434 -3710 -4050 -3678 3718 4390 3306 -3530 3482 -3262 -4094 4206 -4266 -4202 4502 4010 -3730 4062 4070 3202 -3630 -3582 -4178 4346 3990 3546 3954 -4246 -3586 -4542 3414 -4186 -3794 -3294 3334 3950 4502 3526 -3166 -4538 4218 3750 3730 -4478 -4502 -3814 3198 4266 -4082 3878 -4542 -3382 -4526 4414 -3618 -3746 -3878 -4210 3178 -3390 -4270 -3910 3582 3894 -3954 4530 -4542 -4502 -4350 4406 -3698 -3582 4470 4050 4206 3638 -4494 -3834 -3986 3158 -3338 -4086 3158 3786 3622 3582 3714 -3302 -4102 4206 4026 3602 -3190 -3998 -3254 -3374 3858 -4186 -3818 -4262 -3174 -3566 -3370 3682 -4322 -4474 3910 -3238 -3430 -4474 -3510 -4542 -3402 -4434 -3534 -3378 3970 -4542 -3154 -4030 -3414 -4258 -3950 3614 -3306 3590 3854 -4482 -3418 3970 4322 -3366 4462 -3586 -4010 -4042 3242 -4238 -3262 3270 -4118 -3802 -3474 -3334 -3810 3690 -4062 -4402 4082 4210 3478 -3270 -4026 -3554 -3454 -3954 4326 -4502 3162 -3162 3746 -4322 -3354 4410 3606 -3486 -3542 3470 -3550 -3258 4490 3878 -4250 -3338 4402 4058 -4314 -3782 -3646 4046 -3150 -4178 -3394 -3294 -3834 -3722 -3858 3530 -3166 -3586 -3394 -3310 -3718 -3710 -4146 -4014 -3218 -3554 3862 -3966 -3766 -3722 3854 4506 3738 -3850 -3910 -4298 -3626 -4354 -3314 -4542 -3166 -3890 4318 3470 -3862 4158 -4174 -3158 3206 4106 -4046 3914 -3158 4442 -3354 -4150 3990 -3262 -3434 -3998 3602 -3998 -4430 -4322 4442 3582 4142 -4542 3374 -3762 3766 -3282 -3710 4510 -3390 4166 -3510 -3626 4386 -3646 -4110 4450 -3446 -4058 -3302 -3502 -3650 3150 3846 4478 -3710 -4350 4542 3618 -4142 -3606 -3542 -4378 -3390 -3330 -3890 3382 -3782 -3190 -4014 3578 -4258 -3790 -4478 -3502 -4458 -3718 -3662 -3406 -4406 -3870 -3834 3926 -4194 -4002 -3962 -3734 -3306 -3518 3790 -3830 -3898 -3886 -3674 -3182 -4114 4046 -4054 3290 -3718 -3758 -3898 -3582 -3386 4534 -3422 -3622 -4094 -3550 -4502 -3802 4402 3238 -3562 -3550 4222 -4298 -3970 -3538 -3582 4038 3374 3190 3446 -3770 4434 4074 3350 3886 -3450 -3206 -3250 -3306 -4450 -3350 3582 -3226 -3754 3970 -3986 -4010 -3686 3190 3478 -4266 -3730 -3542 -3814 -3802 -4234 -3174 -4270 -3578 3946 -4542 3794 -3258 -4542 4490 -3410 -3750 -3462 -4182 -4050 -4462 -3330 -3214 3378 -3586 3726 -4310 3758 4366 -3310 -3162 3966 -4362 4366 3678 -4374 -3814 -4234 3814 3874 -4074 -3150 -4226 -3850 3938 -3174 -3942 -4510 4494 -4398 3690 -3930 -3722 3198 -3566 3310 -3166 -4174 -4410 -3158 -4046 -3382 -4214 4502 -3994 -3638 3838 -3174 -3406 -4246 -4422 -4422 -3570 3842 4098 -3942 -3578 3586 -3350 3342 3802 3270 4498 -3686 -3910 -3382 -3214 -4422 -3734 4150 -4110 -3402 4258 -3990 -4082 4070 3470 3298 -3370 -4450 -3622 3730 -3982 -3738 -3182 -3854 -4466 -4478 4206 -4522 3322 -4422 3266 -4362 -3622 3150 3582 -3318 -4346 -4138 3206 -4366 -4022 3710 -3786 -3642 -3650 3958 3982 -4126 3790 -3698 -3198 -3242 -4362 -4298 -4490 -3990 -3506 -4542 3150 3314 -4542 3294 -3878 -3806 -3622 4210 4102 -4334 4006 3602 4086 -3806 -4046 -3322 -3634 -4298 3370 -3362 -3846 3402 -4014 -3450 3218 3302 -3170 -4074 -4270 -3974 4286 3842 4278 -4462 4302 -3202 -4426 -3886 -3974 4354 4274 -3602 -3258 -3962 -3994 -4458 -3658 3982 3274 -3346 -3594 3614 -3502 -4230 -4158 -4514 -3266 -4290 3390 -3890 -4226 -4014 -3218 -4014 -3714 -4498 -3674 -4322 3162 4302 -4290 4482 4478 -3974 -4542 -3750 -4542 3370 3626 -4182 -3594 -4278 3510 -4022 -4178 -3338 3954 3486 -3246 3230 3690 -4014 -3434 3770 -4026 3846 4486 -3558 -3150 -3206 -3842 -3934 3954 -4486 -3190 -3722 -3758 -3330 -4190 -4378 3358 -3702 -3734 3154 4170 3762 -4338 -4466 -3994 -3434 3850 4202 3630 -3762 -3454 3970 -3966 -3810 3646 3858 3150 -3926 4418 -3994 -4494 3782 -4422 -4426 4406 4442 -3474 -4218 -3302 -3954 -4390 3442 4342 3926 4358 4402 -4110 4074 -3514 -4482 -3762 3438 4530 -3962 -3450 -3606 3418 3706 -3830 3470 -3298 -4074 -4462 3614 4110 -3270 3434 3550 -3178 -3222 -3450 3330 -3178 3278 -4214 -4190 3694 -4542 -3854 -4286 3262 -3350 -3190 3522 -3550 -3982 -3642 -3226 -4142 -3538 -3190 4222 3354 -3446 -3762 -4302 3470 3230 4042 3686 -3214 3222 4530 -4522 -3274 -3582 -3430 -3990 4150 -4022 3366 -4138 -3774 3938 -3350 3702 -4226 4454 -4542 3714 3834 4262 -4530 -3574 -3674 -3602 -3282 -3174 -4026 -4250 3626 3590 -4170 -4478 -4342 4150 -3198 -4318 3726 -4070 4114 4302 -4422 -3190 -4470 -4542 -3830 -3722 -4422 -4502 4346 4062 -4414 -3322 -3170 3374 -3682 -4062 3322 -4230 3990 4258 -4006 3202 4382 -4502 3490 -3254 -4306 -4066 -4434 -4486 3514 3374 4382 3606 4470 3258 -3318 3238 -4450 3962 4266 -4382 -3754 -3314 -3722 4122 -4146 -4462 -3554 -3610 4518 -3774 -4266 4490 3926 -3910 -3786 -3398 3374 -4346 -4070 4470 -4482 -3630 3510 -3250 -4478 3790 3250 -3482 4422 3854 4166 -3318 -4214 -3414 -3562 -4418 -3806 -4194 -3542 -3474 -3430 -3594 -4010 -4362 -3934 3190 -3210 -4190 4070 -4010 -3582 4410 3150 -3794 4326 -3258 -3198 -3314 -3938 -3442 3514 -4366 3862 -3422 -4098 -3810 -4378 4298 -4422 -3474 -3706 -4422 -4346 3838 -3994 3618 -4042 -3198 -3250 4386 3202 -4310 -4030 -3878 4302 -4522 4366 -3974 -3582 -4398 4182 3570 -3814 -3726 -3194 -3382 -3718 -3494 -3710 -3714 4338 -3166 
93.38/94.40	d NODES 4720
93.38/94.40	d CHECKS 97869394
93.48/94.40	   
93.48/94.40	   totalWckTime=94.206  totalCpuTime=89.55

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097746-1247413936/watcher-2097746-1247413936 -o /tmp/evaluation-result-2097746-1247413936/solver-2097746-1247413936 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097746-1247413936.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): 2000 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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 4/81 31216
/proc/meminfo: memFree=1744664/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=18576 CPUtime=0
/proc/31216/stat : 31216 (runsolver) R 31214 31216 30060 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 28460142 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 268213742887 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31216/statm: 4644 284 249 26 0 2626 0

[startup+0.030745 s]
/proc/loadavg: 2.01 2.02 2.00 4/81 31216
/proc/meminfo: memFree=1744664/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=861612 CPUtime=0.01
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 1863 0 1 0 0 1 0 0 18 0 4 0 28460142 882290688 1548 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 215403 1548 682 9 0 210318 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861612

[startup+0.101599 s]
/proc/loadavg: 2.01 2.02 2.00 4/81 31216
/proc/meminfo: memFree=1744664/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=865984 CPUtime=0.09
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 3732 0 1 0 7 2 0 0 18 0 9 0 28460142 886767616 3200 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216496 3200 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301618 s]
/proc/loadavg: 2.01 2.02 2.00 4/81 31216
/proc/meminfo: memFree=1744664/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=866380 CPUtime=0.28
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 5862 0 1 0 25 3 0 0 18 0 9 0 28460142 887173120 5228 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216595 5228 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.701673 s]
/proc/loadavg: 2.01 2.02 2.00 4/81 31216
/proc/meminfo: memFree=1744664/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867500 CPUtime=0.68
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 14947 0 1 0 60 8 0 0 18 0 9 0 28460142 888320000 14309 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216875 14309 2001 9 0 211333 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867500

[startup+1.50276 s]
/proc/loadavg: 2.01 2.02 2.00 3/90 31225
/proc/meminfo: memFree=1654544/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867500 CPUtime=1.47
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 31092 0 1 0 131 16 0 0 18 0 9 0 28460142 888320000 30420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216875 30420 2029 9 0 211333 0
[pid=31216/tid=31218] ppid=31214 vsize=867500 CPUtime=1.1
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 15796 0 1 0 102 8 0 0 25 0 9 0 28460143 888320000 30420 996147200 134512640 134550932 4294955968 18446744073709551615 102330625 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867500 CPUtime=0.15
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 13951 0 0 0 9 6 0 0 16 0 9 0 28460145 888320000 30420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 30420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 30420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460147 888320000 30420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867500 CPUtime=0.19
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 642 0 0 0 19 0 0 0 15 0 9 0 28460147 888320000 30420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28460147 888320000 30420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460147 888320000 30420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867500

[startup+3.10295 s]
/proc/loadavg: 2.01 2.02 2.00 3/90 31225
/proc/meminfo: memFree=1630416/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867500 CPUtime=3.06
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 34186 0 1 0 288 18 0 0 18 0 9 0 28460142 888320000 33512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216875 33512 2029 9 0 211333 0
[pid=31216/tid=31218] ppid=31214 vsize=867500 CPUtime=2.51
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 15798 0 1 0 242 9 0 0 25 0 9 0 28460143 888320000 33512 996147200 134512640 134550932 4294955968 18446744073709551615 102883993 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867500 CPUtime=0.33
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 17043 0 0 0 26 7 0 0 16 0 9 0 28460145 888320000 33512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 33512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 33512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460147 888320000 33512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867500 CPUtime=0.19
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 642 0 0 0 19 0 0 0 15 0 9 0 28460147 888320000 33512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28460147 888320000 33512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460147 888320000 33512 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867500

[startup+6.3013 s]
/proc/loadavg: 2.01 2.02 2.00 3/90 31225
/proc/meminfo: memFree=1611472/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867500 CPUtime=6.22
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 35793 0 1 0 603 19 0 0 18 0 9 0 28460142 888320000 35114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216875 35114 2032 9 0 211333 0
[pid=31216/tid=31218] ppid=31214 vsize=867500 CPUtime=5.55
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 15831 0 1 0 546 9 0 0 25 0 9 0 28460143 888320000 35114 996147200 134512640 134550932 4294955968 18446744073709551615 4126937143 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867500 CPUtime=0.43
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 18598 0 0 0 35 8 0 0 16 0 9 0 28460145 888320000 35114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 35114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 35114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460147 888320000 35114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867500 CPUtime=0.21
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 661 0 0 0 21 0 0 0 15 0 9 0 28460147 888320000 35114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28460147 888320000 35114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460147 888320000 35114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867500

[startup+12.702 s]
/proc/loadavg: 2.01 2.02 2.00 3/90 31225
/proc/meminfo: memFree=1603280/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867500 CPUtime=12.56
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 37799 0 1 0 1236 20 0 0 18 0 9 0 28460142 888320000 37119 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216875 37119 2032 9 0 211333 0
[pid=31216/tid=31218] ppid=31214 vsize=867500 CPUtime=11.77
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 15835 0 1 0 1168 9 0 0 25 0 9 0 28460143 888320000 37119 996147200 134512640 134550932 4294955968 18446744073709551615 4126938547 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867500 CPUtime=0.54
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 20596 0 0 0 45 9 0 0 17 0 9 0 28460145 888320000 37119 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 37119 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 37119 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460147 888320000 37119 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867500 CPUtime=0.22
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 665 0 0 0 22 0 0 0 15 0 9 0 28460147 888320000 37119 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28460147 888320000 37119 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460147 888320000 37119 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867500

[startup+25.5015 s]
/proc/loadavg: 2.01 2.02 2.00 3/90 31225
/proc/meminfo: memFree=1587600/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867500 CPUtime=25.25
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 41771 0 1 0 2503 22 0 0 18 0 9 0 28460142 888320000 41080 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216875 41080 2033 9 0 211333 0
[pid=31216/tid=31218] ppid=31214 vsize=867500 CPUtime=24.08
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 15849 0 1 0 2398 10 0 0 25 0 9 0 28460143 888320000 41080 996147200 134512640 134550932 4294955968 18446744073709551615 102883546 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867500 CPUtime=0.84
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 24507 0 0 0 74 10 0 0 16 0 9 0 28460145 888320000 41080 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 41080 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460145 888320000 41080 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460147 888320000 41080 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867500 CPUtime=0.29
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 712 0 0 0 29 0 0 0 17 0 9 0 28460147 888320000 41080 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28460147 888320000 41080 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867500 CPUtime=0
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460147 888320000 41080 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867500

[startup+51.1014 s]
/proc/loadavg: 2.00 2.02 2.00 3/90 31229
/proc/meminfo: memFree=1350408/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867824 CPUtime=50.58
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 147553 1671 1 0 4964 57 34 3 18 0 9 0 28460142 888651776 100809 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216956 100809 2642 9 0 211414 0
[pid=31216/tid=31218] ppid=31214 vsize=867824 CPUtime=47.24
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 32937 1671 1 0 4671 16 34 3 25 0 9 0 28460143 888651776 100809 996147200 134512640 134550932 4294955968 18446744073709551615 4127255657 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867824 CPUtime=3.24
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 112755 1671 0 0 249 38 34 3 17 0 9 0 28460145 888651776 100809 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 19 1671 0 0 0 0 34 3 16 0 9 0 28460145 888651776 100809 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 28 1671 0 0 0 0 34 3 15 0 9 0 28460145 888651776 100809 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 1671 0 0 0 0 34 3 18 0 9 0 28460147 888651776 100809 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867824 CPUtime=0.81
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 989 1671 0 0 43 1 34 3 15 0 9 0 28460147 888651776 100809 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 1671 0 0 0 0 34 3 19 0 9 0 28460147 888651776 100809 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 147561 1671 1 0 8134 57 34 3 18 0 9 0 28460142 888651776 100812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216956 100812 2642 9 0 211414 0
[pid=31216/tid=31218] ppid=31214 vsize=867824 CPUtime=78.93
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 32938 1671 1 0 7840 16 34 3 25 0 9 0 28460143 888651776 100812 996147200 134512640 134550932 4294955968 18446744073709551615 4126945271 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867824 CPUtime=3.24
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 112755 1671 0 0 249 38 34 3 16 0 9 0 28460145 888651776 100812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 19 1671 0 0 0 0 34 3 16 0 9 0 28460145 888651776 100812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 28 1671 0 0 0 0 34 3 15 0 9 0 28460145 888651776 100812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 1671 0 0 0 0 34 3 18 0 9 0 28460147 888651776 100812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867824 CPUtime=0.82
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 996 1671 0 0 44 1 34 3 16 0 9 0 28460147 888651776 100812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 1671 0 0 0 0 34 3 19 0 9 0 28460147 888651776 100812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 15 1671 0 0 0 0 34 3 15 0 9 0 28460147 888651776 100812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.28
Current children cumulated vsize (KiB) 867824

[startup+89.5028 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31229
/proc/meminfo: memFree=1350472/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867824 CPUtime=88.63
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 147574 1671 1 0 8768 58 34 3 18 0 9 0 28460142 888651776 100822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216956 100822 2642 9 0 211414 0
[pid=31216/tid=31218] ppid=31214 vsize=867824 CPUtime=85.26
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 32941 1671 1 0 8473 16 34 3 25 0 9 0 28460143 888651776 100822 996147200 134512640 134550932 4294955968 18446744073709551615 4127570750 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867824 CPUtime=3.24
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 112755 1671 0 0 249 38 34 3 17 0 9 0 28460145 888651776 100822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 19 1671 0 0 0 0 34 3 16 0 9 0 28460145 888651776 100822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 28 1671 0 0 0 0 34 3 15 0 9 0 28460145 888651776 100822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 1671 0 0 0 0 34 3 18 0 9 0 28460147 888651776 100822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867824 CPUtime=0.83
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 1006 1671 0 0 45 1 34 3 15 0 9 0 28460147 888651776 100822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 1671 0 0 0 0 34 3 19 0 9 0 28460147 888651776 100822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 15 1671 0 0 0 0 34 3 15 0 9 0 28460147 888651776 100822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.63
Current children cumulated vsize (KiB) 867824

[startup+92.7011 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31229
/proc/meminfo: memFree=1350408/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867824 CPUtime=91.8
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 147593 1671 1 0 9085 58 34 3 18 0 9 0 28460142 888651776 100835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216956 100835 2642 9 0 211414 0
[pid=31216/tid=31218] ppid=31214 vsize=867824 CPUtime=88.4
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 32945 1671 1 0 8787 16 34 3 25 0 9 0 28460143 888651776 100835 996147200 134512640 134550932 4294955968 18446744073709551615 4126937128 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867824 CPUtime=3.24
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 112755 1671 0 0 249 38 34 3 17 0 9 0 28460145 888651776 100835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 19 1671 0 0 0 0 34 3 16 0 9 0 28460145 888651776 100835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 28 1671 0 0 0 0 34 3 15 0 9 0 28460145 888651776 100835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 1671 0 0 0 0 34 3 18 0 9 0 28460147 888651776 100835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867824 CPUtime=0.86
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 1021 1671 0 0 48 1 34 3 15 0 9 0 28460147 888651776 100835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 1671 0 0 0 0 34 3 19 0 9 0 28460147 888651776 100835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 15 1671 0 0 0 0 34 3 15 0 9 0 28460147 888651776 100835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 91.8
Current children cumulated vsize (KiB) 867824

[startup+93.5062 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31229
/proc/meminfo: memFree=1350408/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867824 CPUtime=92.59
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 147595 1671 1 0 9164 58 34 3 18 0 9 0 28460142 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216956 100836 2642 9 0 211414 0
[pid=31216/tid=31218] ppid=31214 vsize=867824 CPUtime=89.19
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 32946 1671 1 0 8866 16 34 3 25 0 9 0 28460143 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4127566956 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867824 CPUtime=3.24
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 112755 1671 0 0 249 38 34 3 17 0 9 0 28460145 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 19 1671 0 0 0 0 34 3 16 0 9 0 28460145 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 28 1671 0 0 0 0 34 3 15 0 9 0 28460145 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 1671 0 0 0 0 34 3 18 0 9 0 28460147 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867824 CPUtime=0.86
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 1022 1671 0 0 48 1 34 3 15 0 9 0 28460147 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 1671 0 0 0 0 34 3 19 0 9 0 28460147 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 15 1671 0 0 0 0 34 3 15 0 9 0 28460147 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.59
Current children cumulated vsize (KiB) 867824

[startup+93.9013 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31229
/proc/meminfo: memFree=1350408/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867824 CPUtime=92.98
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 147595 1671 1 0 9203 58 34 3 18 0 9 0 28460142 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216956 100836 2642 9 0 211414 0
[pid=31216/tid=31218] ppid=31214 vsize=867824 CPUtime=89.58
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 32946 1671 1 0 8905 16 34 3 25 0 9 0 28460143 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4127504302 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867824 CPUtime=3.24
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 112755 1671 0 0 249 38 34 3 17 0 9 0 28460145 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 19 1671 0 0 0 0 34 3 16 0 9 0 28460145 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 28 1671 0 0 0 0 34 3 15 0 9 0 28460145 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 1671 0 0 0 0 34 3 18 0 9 0 28460147 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867824 CPUtime=0.86
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 1022 1671 0 0 48 1 34 3 15 0 9 0 28460147 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 1671 0 0 0 0 34 3 19 0 9 0 28460147 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 15 1671 0 0 0 0 34 3 15 0 9 0 28460147 888651776 100836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.98
Current children cumulated vsize (KiB) 867824

[startup+94.3013 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31229
/proc/meminfo: memFree=1350408/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867824 CPUtime=93.38
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 147604 1671 1 0 9243 58 34 3 18 0 9 0 28460142 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216956 100843 2642 9 0 211414 0
[pid=31216/tid=31218] ppid=31214 vsize=867824 CPUtime=89.97
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 32951 1671 1 0 8944 16 34 3 25 0 9 0 28460143 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4127590489 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867824 CPUtime=3.24
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 112755 1671 0 0 249 38 34 3 17 0 9 0 28460145 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 19 1671 0 0 0 0 34 3 16 0 9 0 28460145 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 28 1671 0 0 0 0 34 3 15 0 9 0 28460145 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 1671 0 0 0 0 34 3 18 0 9 0 28460147 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867824 CPUtime=0.87
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 1026 1671 0 0 49 1 34 3 15 0 9 0 28460147 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 1671 0 0 0 0 34 3 19 0 9 0 28460147 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 15 1671 0 0 0 0 34 3 15 0 9 0 28460147 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.38
Current children cumulated vsize (KiB) 867824

[startup+94.4013 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 31229
/proc/meminfo: memFree=1350408/2055920 swapFree=4192812/4192956
[pid=31216] ppid=31214 vsize=867824 CPUtime=93.48
/proc/31216/stat : 31216 (java) S 31214 31216 30060 0 -1 0 147609 1671 1 0 9253 58 34 3 18 0 9 0 28460142 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31216/statm: 216956 100843 2642 9 0 211414 0
[pid=31216/tid=31218] ppid=31214 vsize=867824 CPUtime=90.07
/proc/31216/task/31218/stat : 31218 (java) R 31214 31216 30060 0 -1 64 32956 1671 1 0 8954 16 34 3 25 0 9 0 28460143 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 102589960 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31219] ppid=31214 vsize=867824 CPUtime=3.24
/proc/31216/task/31219/stat : 31219 (java) S 31214 31216 30060 0 -1 64 112755 1671 0 0 249 38 34 3 17 0 9 0 28460145 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31220] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31220/stat : 31220 (java) S 31214 31216 30060 0 -1 64 19 1671 0 0 0 0 34 3 16 0 9 0 28460145 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31221] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31221/stat : 31221 (java) S 31214 31216 30060 0 -1 64 28 1671 0 0 0 0 34 3 15 0 9 0 28460145 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31222] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31222/stat : 31222 (java) S 31214 31216 30060 0 -1 64 2 1671 0 0 0 0 34 3 18 0 9 0 28460147 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31223] ppid=31214 vsize=867824 CPUtime=0.87
/proc/31216/task/31223/stat : 31223 (java) S 31214 31216 30060 0 -1 64 1026 1671 0 0 49 1 34 3 15 0 9 0 28460147 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31224] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31224/stat : 31224 (java) S 31214 31216 30060 0 -1 64 1 1671 0 0 0 0 34 3 19 0 9 0 28460147 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31216/tid=31225] ppid=31214 vsize=867824 CPUtime=0.37
/proc/31216/task/31225/stat : 31225 (java) S 31214 31216 30060 0 -1 64 15 1671 0 0 0 0 34 3 15 0 9 0 28460147 888651776 100843 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.48
Current children cumulated vsize (KiB) 867824

Child status: 0
Real time (s): 94.499
CPU time (s): 93.5628
CPU user time (s): 92.8789
CPU system time (s): 0.683896
CPU usage (%): 99.0093
Max. virtual memory (cumulated for all children) (KiB): 877824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.8789
system time used= 0.683896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149311
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= 4653
involuntary context switches= 6612

runsolver used 0.104984 second user time and 0.340948 second system time

The end

Launcher Data 

Begin job on node32 at 2009-07-12 17:52:16
IDJOB=2097746
IDBENCH=57676
IDSOLVER=774
FILE ID=node32/2097746-1247413936
PBS_JOBID= 9510579
Free space on /tmp= 66360 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp40/normalized-fapp40-3000-10.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097746-1247413936/watcher-2097746-1247413936 -o /tmp/evaluation-result-2097746-1247413936/solver-2097746-1247413936 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097746-1247413936.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 6cee6301fe32a4b3c9ce453d6c18bf37
RANDOM SEED=1522182882

node32.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.236
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.236
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:       1745144 kB
Buffers:         39208 kB
Cached:         125828 kB
SwapCached:          0 kB
Active:         188272 kB
Inactive:        66132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1745144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9708 kB
Writeback:           0 kB
Mapped:         109856 kB
Slab:            41144 kB
Committed_AS:  1025332 kB
PageTables:       2064 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66360 MiB
End job on node32 at 2009-07-12 17:53:51