Trace number 2097790

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 643.335 643.952

DiagnosticValue
CHECKS1201020000
NODES2985

General information on the benchmark

Namecsp/fapp/fapp39/
normalized-fapp39-2750-3.xml
MD5SUM19abf0750b237395707bd7efde90eb33
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 benchmark643.335
Satisfiable
(Un)Satisfiability was proved
Number of variables2750
Number of constraints23154
Maximum constraint arity2
Maximum domain size502
Number of constraints which are defined in extension0
Number of constraints which are defined in intension23154
Global constraints used (with number of constraints)

Solver Data 

0.04/0.08	
0.04/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=esac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-2097790-1247414032.xml
0.29/0.30	   
0.29/0.30	   domains being loaded...
0.29/0.33	   
0.29/0.33	   variables being loaded...
0.69/0.76	     nbVariables=2750  nbDomainTypes=4  minDomainSize=130  maxDomainSize=502  nbTotalValues=1343881
0.69/0.76	       =>  wckTime=0.524  cpuTime=0.35  mem=35M944
0.69/0.76	   
0.69/0.76	   predicates being loaded...
0.79/0.82	   
0.79/0.82	   constraints being loaded...
20.68/20.76	   
20.68/20.76	   INFO : Stopping converting binary constraints (cpu=20.1, mem = 68M332)
27.38/27.47	     nbConstraints=12605  nbMergedConstraints=10549  nbConvertedConstraints=184  nbConvertConstraintsChecks=39816632
27.38/27.47	     nbExtensionStructures=160  nbSharedExtensionStructures=47  nbConflictsStructures=160
27.38/27.47	     nbSharedConflictsStructures=47  nbUnbuiltConflictsStructures=6275  nbSharedBinaryRepresentations=131109
27.38/27.47	     nbEvaluationManagers=6275  nbSharedEvaluationManagers=6146  minDegree=2  maxDegree=12  minArity=2  maxArity=2
27.38/27.47	     nbGenerators=0  nbFusions=0  symmetryWckTime=3.083  symmetryCpuTime=2.85
27.38/27.47	       =>  wckTime=27.228  cpuTime=26.11  mem=87M535
27.77/27.83	   
27.77/27.83	   solver IterativeSystematicSolver being built... 
28.38/28.42	       =>  wckTime=28.178  cpuTime=26.5  mem=164M992
185.70/186.17	   
185.70/186.17	   preprocessing
185.70/186.17	     nbConstraintChecks=347573946  nbValidityChecks=1811965  nbPropagations=3067  nbRevisions=30112
185.70/186.17	     nbUselessRevisions=26883  nbRemovedValues=429364  detectedInconsistency=no
185.70/186.17	       =>  wckTime=157.723  cpuTime=157.33  mem=164M992
643.18/643.87	   
643.18/643.87	   search
643.18/643.87	     run=6  nbConstraintChecks=853448546  nbValidityChecks=75568624  minDepth=0  maxDepth=2750  nbPropagations=133346
643.18/643.87	     nbRevisions=1228824  nbUselessRevisions=682157  nbAssignments=2985  nbFailedAssignments=208  nbBacktracks=25
643.18/643.87	     nbVisitedNodes=3214  nbRestartNogoods=2  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
643.18/643.87	     nbDEliminables=?  nbPEliminables=?
643.18/643.87	       =>  wckTime=615.424  cpuTime=614.77  mem=170M79
643.18/643.87	   
643.18/643.87	   global
643.18/643.87	     nbConstraintChecks=1201022492  nbValidityChecks=77380589  nbPropagations=136413  nbRevisions=1258936
643.18/643.87	     nbUselessRevisions=709040  nbRestartNogoods=2  solvingWckTime=615.426  solvingCpuTime=614.77  expiredTime=no
643.18/643.87	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=641.15  globalCpuTime=641.33
643.18/643.87	       =>  wckTime=643.629  cpuTime=641.29  mem=170M79
643.27/643.91	   
643.27/643.91	s SATISFIABLE
643.27/643.91	v 3552 -3392 3604 3524 3332 -3712 3508 3324 3000 3176 -3236 -3496 3288 -3060 3172 -4000 3292 3472 -3500 -3760 -3960 -3404 -3724 -3000 3412 -4000 3304 -3576 -3732 -3960 3104 -3756 -3732 -3184 -3248 -3236 -3048 -3376 -3020 -3596 -3616 -3088 -3240 -3624 -3616 3812 -3352 -3040 -3484 3552 -3464 -3860 -3252 -3244 -3644 -3496 -3184 3040 -3556 3152 -3912 -3564 -3296 -3764 -3000 -3304 3904 -3396 -3396 3384 -3752 3768 -3852 3648 -3164 -3504 -3300 -3932 -3536 -3456 3712 -3800 -3364 -3300 -3368 -3716 -3128 -3352 -3324 -3612 -3444 -3248 -3960 -3912 -3568 3420 -3720 3604 -3056 -3000 -3328 3040 -3224 -3676 -3020 -3200 -3684 -3884 -3000 -3632 -3520 -3056 -3360 -3904 -3716 -3076 3872 -3576 -3960 -3500 -3888 -3972 -3088 3132 -3272 -3868 -3960 -3532 -3120 -3700 3928 3540 3744 -3832 -3720 -3752 -3040 -3760 3672 -3820 -4000 -3424 -3744 -3388 -3636 -4000 -3492 -3804 -3908 -3092 -3880 -3188 -3292 3856 -3976 -3844 -3132 -3920 -3648 -3448 -3000 -3720 -3420 -3872 -3452 -3460 -3472 3476 -3028 -3328 -3828 -3040 3000 -3740 -3408 3904 -3116 -3308 -4000 -3016 -3068 -3316 -3084 3780 -3456 -3116 -3708 3072 -3020 -3276 -4000 -3636 -3924 -4000 -3328 -3236 -3388 -3616 -3444 -3712 -3556 -3732 -3060 -3960 -3864 -4000 -3764 -3524 3484 -3196 3168 -3056 -3296 -4000 -3336 3888 -3960 -3824 -3328 3000 -3212 -3488 -3980 -3116 3660 -3004 -3276 -3652 -3468 -4000 -3140 -3088 3808 -3760 -3960 -3168 -3884 3996 3800 -3484 -3552 -3804 -3076 -3528 -3756 -4000 -3000 3324 -3044 3240 -3692 -3820 -3924 -3760 -3572 -3352 -3200 -3216 -3476 3868 -3204 -3104 -3844 -3040 -3492 -3360 -3156 -3308 -3568 -3092 -3916 -3960 -3228 3008 -3564 -3292 -3616 -3232 -3168 -4000 -3840 -3328 3308 -3784 3612 -3324 3880 -3044 -3164 -3404 -3784 -3860 3184 -4000 -3112 -3040 -3368 -3204 3288 -3000 3428 -3884 -3400 3476 -3760 -3944 -3696 -3680 -3608 -3960 -3692 -3960 -3724 3660 -3676 -3056 -4000 -3604 -3724 -3936 -3628 -3988 -3032 -4000 -3260 -3872 -3260 -3000 -3960 -3456 -3928 -3216 3000 -4000 -3724 -3960 3436 -3960 -3716 3468 -3608 -3816 -3508 -3048 -3644 -3060 -3864 3528 -3252 -4000 -3208 -3248 -3196 -3960 -3088 -3576 -3536 3424 -3960 -3324 3984 -4000 -3472 -3292 -3048 -3760 -3488 -3216 -3536 3816 -3640 -4000 -3516 -3820 -4000 -3308 -3668 -3668 -3884 -3920 3040 -3828 3868 -4000 -3412 -3652 -3380 -3048 3212 -3484 -3636 3296 3148 -3608 -3772 -3960 -3620 -3272 -3272 3276 3064 -3688 3356 -3880 -3048 -3132 -3792 -3692 -3580 -3104 -3276 -3536 3664 -3076 -3740 -3044 -3040 3564 -3060 -4000 3544 -3000 -3312 3208 3128 -3168 -3708 -3376 -3380 -3996 -3596 -3340 -3508 3624 -3748 -3060 -3104 -3208 -3084 -3044 -3548 -3084 -3164 -3784 -3172 -3008 -3384 3624 -3152 -3380 -3576 -3480 -3748 -3476 -3276 -3580 -4000 3920 -3516 -3196 -3556 -3672 3456 -3228 -3812 -3960 -3348 -3316 3596 -3496 -3616 3816 -3396 3048 -3844 -3168 -3552 -3196 -3072 -3388 -3952 -3828 -3816 -3136 -3792 -3048 -3948 -3464 -3040 -4000 -3108 -3292 3528 -3108 3688 -3256 -3556 3232 -3192 -3148 -3352 3196 -3940 -3000 -3464 -3480 -3820 -3316 -3848 -3116 -3300 -3480 -3156 3928 3992 -3292 -3472 -3852 -3484 -3604 -3732 -3192 -3084 -3460 -3960 -3288 -3648 -3040 -3004 -3480 -3960 -3740 -3724 3280 -3588 3956 -3556 -3616 -3672 -3960 3788 -3960 -3960 -3704 -3408 -3644 3816 -3056 3504 -3588 -3756 -3328 -3040 -3728 -3000 -3920 -3828 -3264 -3556 -3700 -3756 -3928 -3216 -3960 -3776 3204 -3300 -3960 -3232 -4000 -3020 3836 -3512 -3496 -3388 -3612 -3940 -3732 -3636 -3256 3064 3060 -3504 -3352 -3036 -3420 -3376 -3604 -3408 -3808 -3604 -3944 -3008 -3008 -3984 -3304 -3180 -3584 -3052 -3960 -3160 -3992 -3072 -3044 -3328 -3468 -3356 -3292 -4000 -3196 -3116 -3880 -3968 -3624 -3784 3228 3444 -3000 -3892 -3116 -3676 -3136 3000 -3140 3256 -3984 -3040 -4000 -3424 -3736 -4000 -3592 -3904 -3764 -3236 3164 3276 -3564 -3808 -3192 -3556 -3820 -3224 -3812 -3304 -3228 -3256 -3912 -3100 -3864 -3204 -3220 -3852 -3960 -3248 -3156 -3084 -3960 -3516 -3504 -3312 -3076 -3784 3040 -3760 -3420 -3396 -3032 -3448 3792 -3960 -3892 -3820 -3148 -3324 -3712 -3944 -3208 -3188 -3144 -4000 -3956 -3040 -3576 3156 3604 -3236 -3548 3384 -3408 -3012 3396 -3220 -3944 -3172 3164 -3568 -3076 -3424 -3624 -3568 -3052 3040 -3060 -3376 -3796 3140 -3632 3428 -3540 -3040 -3040 -3044 -3452 -3748 -3116 -3752 -3572 -3056 -3000 -3960 -3424 -3932 3336 -3040 -3232 -3632 -3184 -3960 -3000 -3728 -3552 3768 -3676 -3076 -3852 -3040 -3596 -3756 -3364 -3192 -3588 -3260 -3296 -3408 -3876 -3496 -3468 -3048 -3344 -3016 -3008 -3008 3672 -3852 3740 -3176 3724 -3336 -3136 -3100 -3036 -3560 -4000 -3424 4000 -3252 -3544 3000 -3652 3788 3812 -3060 -3012 -4000 -3876 3040 3276 -3544 3212 -3716 -3812 -3012 -3220 -3192 3428 -3032 -3932 -3520 -3044 -3572 -3724 -3868 3680 -3692 -3136 -3872 -3012 -3256 -3000 -3828 -3584 -3548 3476 -3940 -3704 -3284 -3480 -3740 -3176 3432 -3324 -3452 -3288 3904 -3864 -3788 3432 3732 3000 -3416 -3252 -3792 -3272 -3636 3000 3176 -3616 -3216 3576 -4000 -3848 -3112 -3404 -3200 -3308 -3804 -3548 -3164 -3488 -3420 -3384 -3316 -3260 -3516 -3832 -4000 3452 -3368 -3092 -3152 -3320 -3152 -4000 3032 3556 -3292 -3008 -3972 -3288 3104 3064 -4000 -3812 -3960 -3504 -3896 -3136 -3128 -3420 -3684 -3548 -3944 3236 -3180 -3664 -3036 3932 -3596 -3040 -3364 3000 -3544 -3960 -3064 -3044 -3532 -3268 -4000 -3720 -3408 -3220 -3252 -3052 3392 3768 -3704 -4000 3952 -3300 -3544 -3024 3416 3864 -3168 3512 -3120 -3960 -3924 3180 -3520 3824 -3724 -3064 -3560 -3332 3644 3232 -3940 -3576 -3564 -3960 -3904 3688 -3400 3040 -3436 3404 -3960 -3748 -3280 -3936 -3872 3636 -3092 -3472 -3052 -3040 -3960 3512 -3016 -3324 -3672 -3312 -3664 -3732 -3692 -3204 3504 -3772 -3464 -3880 -4000 3176 -3020 -3168 -3024 -3120 -3032 3244 -4000 -3040 -3108 -3608 -3068 -3028 -3908 -3448 -3892 -3388 -3276 -3352 -3896 -3424 -3192 3228 3040 3928 -3448 -3328 -3880 -3960 3676 -3652 -3184 -3180 -3296 -3096 -3204 -3136 -3800 -3972 -3636 -3100 -4000 -3780 -3532 -3096 -3388 -3548 3000 -3636 -3580 3124 3708 -3056 3560 -3852 -3192 3932 -3016 -3332 -3436 -3732 -3212 3660 -3136 -3044 3512 3952 -3064 3692 -4000 -3592 -3132 -3164 -3264 -3908 -3008 3448 -4000 -3572 -4000 -3040 -3044 -3060 3212 -3728 -3360 -4000 -3236 -3644 -3136 -3344 3252 3924 3972 -3040 -3676 -3152 -3020 -3692 -3856 3876 -3072 3052 -3768 -3796 -3384 3616 -3600 -3828 -3148 3024 -3272 -3596 -4000 3152 3156 3464 -3268 -3612 -3916 3076 3436 -3100 -3500 -3672 -4000 3076 -3084 -3812 3028 3676 -3432 -3224 -3804 -3516 -3960 -3312 -3372 -3960 -3000 -3440 -3712 3632 -3116 3816 -3172 -4000 3128 3764 -3960 3720 -3024 -3476 -3236 -3468 3936 -3644 -3584 -3848 -3968 3840 -3908 -3240 3844 -3080 -3960 -3364 -3576 -3236 3576 3692 -3368 -3036 -3904 -3644 -3856 -3912 -3156 -3944 -3960 -3472 -3312 -3040 -3956 -3132 -3056 -3500 3288 -3960 3208 3748 -3440 -3872 -3148 3476 -3040 -4000 -3248 -3424 -3232 -3780 -3888 -3660 -3736 -3140 -3000 -3000 -3684 -3960 -3960 -3016 3800 4000 3800 -3960 -3392 3648 -3960 3692 3476 -3432 3040 -3448 -3428 -3876 -3680 3780 3852 3592 -3532 -3812 -3884 -3992 -3600 -3836 -3960 -4000 -3464 -3676 -3864 -3616 -3164 -3912 -3056 -3172 -3960 3000 3568 -3696 -4000 3336 -3960 3164 -3068 -3152 -3140 3664 -3960 3572 -3460 -3144 -3264 -3388 -3336 -3740 -3880 3920 -3336 -3252 -4000 3608 -3288 -3256 3328 -3332 3324 -3952 3596 -3328 -3924 -3224 3252 -3960 3960 3660 -3776 -3192 -3960 3000 3044 -3788 -3228 3260 -3452 3060 -3676 -3240 -4000 -3304 -3840 -3052 -3452 -3068 -3276 3000 -3068 -3124 -3048 3964 -3464 3552 -3992 -3700 -3812 3176 3912 -3176 3312 -3492 -3308 -3492 -3504 -3040 -3920 -3960 -3632 3620 -3024 -3648 -3600 -3796 -3960 -3236 -3428 -3640 -3304 -3960 -3876 -3152 -3436 -3688 -3480 -3472 -3896 -3356 -3468 -3200 -3284 -3960 3704 -3096 -3960 3688 -3436 -3332 3296 3388 3364 -3476 -3652 -3052 -3952 -3140 -3092 3864 3644 -3076 -3580 -3280 3456 -3604 -4000 -3608 3140 -3128 -3000 -3424 -4000 -4000 -3112 3364 3788 -3420 -3872 -3084 -3428 -3300 -3048 -3116 3908 -3904 3320 -3720 -3280 -3748 -3808 -3620 -3800 3188 -3860 3060 -3740 3688 -3948 -3292 3148 3716 -3436 -3872 -3528 3420 -3404 -3844 -3088 -3008 -3764 -3672 -3000 -4000 -3104 3780 3292 3972 -3204 -4000 -3000 3468 -3644 -3852 -3636 -3044 3428 -3820 -3412 -3652 -3284 -3904 -3484 -3072 -3040 -3364 -3400 -3256 3292 -3120 -3964 -3808 -4000 3348 -3268 -3232 3192 -3052 -3608 -3128 -3600 3936 3288 -3232 -3460 3752 3348 -3072 -3056 3168 -3312 3792 3604 -3024 -3000 -3512 -3876 -3040 -3600 -3244 -3832 -3640 -4000 3756 -3380 3924 -3340 -4000 -3520 -3684 -3584 -3744 -3448 -3092 -3900 3344 -3788 -3088 -3236 -3120 -3540 -3492 -3304 -3552 -3216 -3208 -3728 -3196 -3208 -3376 -3432 -3592 -3616 -3268 -3588 -3140 -3000 -3960 -3432 3000 3528 -3960 -3156 -3236 -3528 -3240 -3056 -3348 -3128 -3488 3100 -3124 -3040 -3304 3404 -3568 -3408 3836 3372 -3000 -3564 -3596 -3012 3056 -3568 3128 -3088 -3476 -3192 -3296 -3624 -3664 -3216 -3608 -3156 -3080 -3000 -3648 -3340 -3408 -3364 -3696 -3540 -3044 -3044 -3788 -4000 -3608 -3780 -3960 3852 -3128 -3324 -3088 -3960 -3220 -3376 -3224 -3876 -3476 -3064 -4000 3012 -3068 -3052 -3788 -3984 3520 3268 3268 -3772 -3576 -3240 -4000 -3676 -3108 -3660 3000 -3244 -3404 -3008 -3344 -3456 -3756 -3356 -3348 -3788 -3132 -3080 -3840 3620 -3064 -3892 -3420 -3812 -4000 -3116 3348 -3052 3880 -4000 -3528 -3000 -3052 -3128 -3000 -3044 -3892 -3860 -4000 -3804 -3152 -3860 -3960 -3960 -3056 -3296 -3020 3392 -3256 -3232 -3496 -3064 -3212 -3328 3256 -3648 -3444 -3180 -3684 -3508 -3256 -3216 -3712 -3496 3268 -3072 -4000 -3128 -3040 -3588 -3336 -3596 -3776 -3060 -3280 -3064 -3120 -3696 -3504 -3132 -3272 -3900 -3320 -3960 -3948 -3012 3132 -3456 -3960 -3684 -3120 -3884 -3828 3964 -3724 -3584 -3184 -3444 -3468 -3772 -3396 -4000 -3520 -3040 -3788 -3168 -3520 -3340 3752 -3960 -3476 3072 -3352 -3900 -3568 -3600 -3012 -3472 -3432 -3992 -3524 -3384 -3656 -3856 -3764 -3400 4000 -3220 3392 -3828 -3948 -3380 -3040 3780 -3640 -3592 -3688 -3948 3608 -3040 -4000 -3396 3756 -3924 -3164 -3608 -3340 -3140 -3960 -3252 -3196 3900 -3144 3240 -3052 -3332 -3048 -3604 -3852 3836 -3172 -4000 3380 -3768 -3164 -3012 -3204 -3260 3044 -3752 3260 4000 -3472 -3552 3568 3568 -3188 -3532 -4000 -3832 -3640 -3232 -3732 -4000 -3468 -4000 -3352 -3136 -3732 -3040 -3036 3840 -3824 -3028 -3680 -3960 -3368 -3448 -3004 -3932 -3104 -3772 -3232 3744 -4000 -3472 -3960 -3432 -3936 -3352 -3892 -3528 -3544 -3960 -3316 -3652 -3560 -3952 -3552 -3132 -4000 3100 -3976 3592 -3280 -3000 -3644 -3648 -3944 -3044 -3468 -3960 -3856 -3824 3708 -3868 -3308 3112 -3276 -4000 -3576 -3220 -3104 -3760 3960 -3836 -3772 -3436 -3480 -4000 -3980 -3152 -3796 -3480 -3196 3764 3356 -3880 3908 3688 -3464 3536 -3900 -3524 -3948 -3236 -3184 3460 -3960 3940 -3060 3728 -3112 -3332 -3372 -3128 -3532 -4000 -4000 -3120 -3092 -3808 -3296 -3572 -4000 -3960 -3240 -3908 -3888 -3884 -3356 3128 -3224 -3124 -3512 -3644 -3636 -3344 -3448 3452 -3444 -3660 -3008 -3300 3840 -3936 -3156 3160 -3604 -3284 -3240 3344 3644 -3324 -3092 -3816 -3140 -3732 3428 -3960 3524 -3444 3368 -3676 -3504 -3308 3504 -3272 -3596 -3576 -3408 -3440 -3516 3176 -3556 -3896 3444 -3900 3104 -3040 -3064 -3472 -3528 -3548 -3536 -3464 -3060 -3960 -3236 -3448 3556 -3960 -3736 3628 -3284 -3168 -3200 -3124 3124 -3392 -3000 -3712 3792 3184 -3944 -3052 3364 -3324 -3616 -3172 -3856 -3444 -3060 -3424 -3960 -3744 -3700 -3340 3140 3736 -3040 3124 -3528 -3080 -3280 -3192 -3208 -3100 -4000 -3360 -3804 -3040 -3676 -3152 -3364 -3004 -3428 3764 3444 3812 -3960 -3168 -3908 -3292 -3448 -3844 -3296 -3508 -3920 3164 -4000 -3960 -3500 -3960 3784 -3096 -3548 -3752 3728 -3348 3192 -3992 -3700 3000 -3436 -3636 3512 -3296 -3904 3016 -3700 -3608 -3776 -3596 -3108 -3368 3088 -3040 -3684 -3032 3780 -3652 -3960 3048 -3960 -3580 -3596 -4000 -3084 -3240 -3988 -3076 -3156 -3824 -3460 -3880 -3848 -3100 -3312 -3584 3836 -3236 -3336 -4000 -3176 -3300 -3692 -3200 -3100 -3260 -3944 3904 -3556 3180 -3772 -3324 -3724 -3732 -3960 -3648 3424 -3552 -3624 -3612 -3764 -3960 -3436 3872 -3492 -3784 -3428 -3656 3352 3832 -3040 -3524 -3524 -3364 -3200 -3780 3336 -4000 -3304 -3316 -3512 -3512 -3600 -3812 -3676 -3640 -3056 -3796 -3464 3484 -3692 -3300 -3724 -3240 -3392 3296 -3432 -3980 -3940 -3232 3548 -3704 -3560 -3892 3532 -3516 -3676 -3148 -3384 -3968 -3664 -3356 -3620 -3364 -3516 -4000 -3424 3568 -3580 -3376 -3764 -3508 -3704 -3936 -4000 -3960 -3960 -3648 -3304 -3040 3692 -3016 -3672 -3472 -3796 -3612 -3040 3160 3876 -3212 3112 3052 -3736 -3332 -4000 -3732 3968 3556 -3328 -3860 -3644 -3104 -3864 -3176 -3376 -3960 -3684 -3960 -3716 -3696 3488 -3624 -3116 -3320 -3488 -3028 -3488 -3648 -3700 -3656 3000 -3812 -3980 -3124 -3300 -3100 -4000 -3760 -3212 -3748 -3504 -3136 -3028 -3660 -3912 -3828 -3408 -3716 -3748 -3708 -3536 -3628 -3548 -4000 -3384 3280 -3504 -3240 -3968 -3488 -4000 -3100 -3672 -3240 -3392 -3064 -3924 -3528 -3852 3284 -3040 -3832 -3212 -3884 -3212 -3904 -3892 -3352 -3636 -3976 -3868 3088 3620 3112 -4000 -3932 3928 3868 -3516 -3676 -3388 -3080 3324 -3884 -3264 -3072 -3324 -3200 3700 -3244 -3772 -3476 -4000 -3040 -3412 -3040 -3160 -4000 -3096 -3068 -3040 3356 -3408 3168 -3196 -3456 -3144 3144 -3412 -3416 -3884 -3600 -4000 -3752 -3336 -3844 -3852 -3264 -3000 -4000 3100 3396 -3996 3824 -3408 -3828 -3336 3968 -3868 -4000 -3636 3000 -3316 3460 -3236 -3532 -3852 3300 -4000 -3876 -3364 -3944 3000 -4000 -3144 -3352 -3960 -3788 -3960 -3748 -3204 -3960 -3732 3828 -3036 -3972 3612 -3116 -3924 -3476 -3772 3460 -3600 -3944 3708 -3244 -3512 -4000 -3288 -3544 -3712 -3248 -3868 -3904 -3960 -3704 -3676 -3428 -3528 -3568 -3048 -3820 3536 -3932 -3256 -3656 -3728 -3280 -3996 3040 -3004 -3824 -3408 -3856 -3896 -3676 -3704 3844 -3652 -3020 -3772 -4000 -3928 -4000 -3272 -3296 -3328 -3708 -3160 3280 -3524 -3116 3208 -3960 -3428 -3960 -3388 -3960 -3336 -3636 -4000 -3508 -3712 -3256 -3456 -3448 -3960 -3800 -3344 -3692 -3960 -3128 -3956 -3072 -3528 -3404 3024 -3488 -3004 -3292 -3960 3688 -3124 -3364 -3312 -3704 -3936 -3100 -3836 -3368 -3648 -3960 -3420 -3668 -3800 -3012 -3920 -3888 -3028 -3944 -3260 -3476 -3824 -3368 -3668 -3252 -3124 -3664 -3192 -3664 -3032 -3672 -3520 -3192 -3664 -3484 -3268 -3320 -3792 -3688 3040 -3084 -3336 3636 -3892 3676 -3976 -3680 -3188 -3960 3960 -3092 -3780 -3468 -4000 -4000 -3032 -3092 -4000 -3100 -3184 -3516 -3848 -3960 -3364 -3560 -3800 -3288 -3388 -3756 -3176 3564 -3688 -3000 -3796 -4000 -3960 -3256 -3632 -3620 -3276 -3732 -3392 -3712 -3976 -3296 -3960 -3772 -3464 3164 -3472 -3736 -3044 -3476 3000 3520 3196 -3576 -3572 -3684 -3208 -3728 -3648 -3432 -3380 -3028 -3636 -3080 -3380 -3284 -3676 -3652 -3960 -3016 -3700 3880 3072 -3256 -3960 -3416 -3712 -3916 -3096 -3960 -3872 -3208 -3464 -3824 3696 -3040 -3312 -3232 -3328 -3040 -3160 -3152 -3224 -3192 -3508 -3596 -3500 -3156 3268 -3960 3864 3812 -3196 3016 -3096 -3176 3776 -3716 -3272 -3432 -3960 3428 -3040 -3548 -3568 -3004 3376 -3960 -4000 3460 3260 -3248 -3848 -3380 -3912 3324 -3324 -3252 -3772 -3736 -3716 -3412 -3544 -3152 -4000 -3216 -3008 -3848 -3884 4000 -3908 3800 -3440 -3812 -3960 -3312 -3000 -3040 -3672 -3092 -3048 -3648 -3788 -3276 -3764 -3612 -4000 3224 -3084 -3496 -3616 3980 -3248 -3960 -3976 -3984 -3436 -3628 -3288 -3960 -4000 -3500 -3004 -3876 -3236 -3016 -3684 -3112 -3000 -3332 -3704 -3592 -3864 -3268 3604 -4000 3840 3108 -3524 -3608 -3180 -3844 -3700 -3852 -3368 -3076 -4000 -3216 -3940 -3404 -3656 -3872 -3320 -3960 -3936 -3960 3260 -3212 -3180 -3508 -3584 -3168 3000 -4000 3868 -4000 -3216 -3656 3016 -4000 -3852 3960 -3320 -3008 -3084 -3516 -3200 -3740 3580 -3896 -3300 3380 -3068 -3248 -3768 -3180 -3964 -3884 -3200 -3204 -3768 -3848 -3344 3000 -3332 3836 -3484 -3240 -3260 -3356 -3420 3508 -3828 -3428 -3668 -3968 -3000 -3368 -3280 -4000 -3516 -3220 -3716 -4000 -3136 -3660 -3620 3044 -3004 -3292 -3432 -3084 3416 -3928 -3048 -3592 -3724 -3872 -3064 -3644 -3052 -3328 -3956 -3332 -3856 3168 3712 -3100 -3592 3772 -3208 -3456 3944 -3068 -3112 -3196 -3788 -3748 -3084 -3960 -3092 -3560 -3004 -3904 -3744 -3156 -3508 -3464 -3040 -3000 -3156 -3468 3160 -3292 3048 -3836 -3920 -3240 -3140 -3056 -3636 -3144 -3332 -3212 -3528 -3060 -3508 3960 -3096 -3024 -3584 -3788 -3960 -3416 -3040 -3336 -3804 3284 3916 -3040 3204 -3308 -3960 -3772 3236 -3116 -3748 3492 -3716 -3280 -3888 -3960 -3420 
643.27/643.91	d NODES 2985
643.27/643.91	d CHECKS 1201022492
643.27/643.91	   
643.27/643.91	   totalWckTime=643.734  totalCpuTime=641.37

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-2097790-1247414032/watcher-2097790-1247414032 -o /tmp/evaluation-result-2097790-1247414032/solver-2097790-1247414032 -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-2097790-1247414032.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.06 2.02 2.00 4/80 32075
/proc/meminfo: memFree=1546288/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=200 CPUtime=0
/proc/32075/stat : 32075 (java) R 32073 32075 30737 0 -1 0 212 0 0 0 0 0 0 0 18 0 1 0 28470626 204800 33 996147200 134512640 134550932 4294955968 18446744073709551615 2188196 0 0 4096 0 0 0 0 17 0 0 0
/proc/32075/statm: 68 37 28 9 0 6 0

[startup+0.0534379 s]
/proc/loadavg: 2.06 2.02 2.00 4/80 32075
/proc/meminfo: memFree=1546288/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=864104 CPUtime=0.04
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 2783 0 1 0 3 1 0 0 18 0 9 0 28470626 884842496 2323 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 216026 2327 1098 9 0 210919 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864104

[startup+0.102444 s]
/proc/loadavg: 2.06 2.02 2.00 4/80 32075
/proc/meminfo: memFree=1546288/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=866072 CPUtime=0.1
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 3842 0 1 0 8 2 0 0 18 0 9 0 28470626 886857728 3285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 216518 3286 1731 9 0 211003 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866072

[startup+0.302489 s]
/proc/loadavg: 2.06 2.02 2.00 4/80 32075
/proc/meminfo: memFree=1546288/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=866432 CPUtime=0.29
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 6127 0 1 0 26 3 0 0 18 0 9 0 28470626 887226368 5493 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 216608 5493 1987 9 0 211066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866432

[startup+0.701575 s]
/proc/loadavg: 2.06 2.02 2.00 4/80 32075
/proc/meminfo: memFree=1546288/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=867500 CPUtime=0.69
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 18449 0 1 0 59 10 0 0 18 0 9 0 28470626 888320000 17810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 216875 17818 2012 9 0 211333 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867500

[startup+1.50173 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 32084
/proc/meminfo: memFree=1456872/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=867588 CPUtime=1.49
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 26668 0 1 0 136 13 0 0 18 0 9 0 28470626 888410112 26018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 216897 26019 2051 9 0 211333 0
[pid=32075/tid=32077] ppid=32073 vsize=867588 CPUtime=1.17
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 15790 0 1 0 109 8 0 0 25 0 9 0 28470627 888410112 26020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=867588 CPUtime=0.11
/proc/32075/task/32078/stat : 32078 (java) R 32073 32075 30737 0 -1 64 9533 0 0 0 8 3 0 0 16 0 9 0 28470628 888410112 26021 996147200 134512640 134550932 4294955968 18446744073709551615 102709360 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=867588 CPUtime=0
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470628 888410112 26022 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=867588 CPUtime=0
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28470628 888410112 26023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=867588 CPUtime=0
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28470630 888410112 26024 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=867588 CPUtime=0.17
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 647 0 0 0 17 0 0 0 16 0 9 0 28470630 888410112 26025 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=867588 CPUtime=0
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28470630 888410112 26026 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=867588 CPUtime=0
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28470630 888410112 26027 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867588

[startup+3.10204 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 32084
/proc/meminfo: memFree=1442728/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=867500 CPUtime=3.09
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 30044 0 1 0 294 15 0 0 18 0 9 0 28470626 888320000 29369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 216875 29369 2032 9 0 211333 0
[pid=32075/tid=32077] ppid=32073 vsize=867500 CPUtime=2.63
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 15821 0 1 0 255 8 0 0 25 0 9 0 28470627 888320000 29369 996147200 134512640 134550932 4294955968 18446744073709551615 4126926998 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=867500 CPUtime=0.23
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 12858 0 0 0 19 4 0 0 16 0 9 0 28470628 888320000 29369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470628 888320000 29369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28470628 888320000 29369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28470630 888320000 29369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=867500 CPUtime=0.19
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 664 0 0 0 19 0 0 0 16 0 9 0 28470630 888320000 29369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28470630 888320000 29369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28470630 888320000 29369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867500

[startup+6.30167 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 32084
/proc/meminfo: memFree=1436072/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=867500 CPUtime=6.29
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 30053 0 1 0 614 15 0 0 18 0 9 0 28470626 888320000 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 216875 29376 2032 9 0 211333 0
[pid=32075/tid=32077] ppid=32073 vsize=867500 CPUtime=5.82
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 15826 0 1 0 574 8 0 0 25 0 9 0 28470627 888320000 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4126962999 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=867500 CPUtime=0.23
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 12858 0 0 0 19 4 0 0 17 0 9 0 28470628 888320000 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470628 888320000 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28470628 888320000 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28470630 888320000 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=867500 CPUtime=0.2
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 668 0 0 0 20 0 0 0 15 0 9 0 28470630 888320000 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28470630 888320000 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28470630 888320000 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 867500

[startup+12.7019 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 32084
/proc/meminfo: memFree=1435880/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=867500 CPUtime=12.68
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 30077 0 1 0 1253 15 0 0 18 0 9 0 28470626 888320000 29396 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 216875 29396 2032 9 0 211333 0
[pid=32075/tid=32077] ppid=32073 vsize=867500 CPUtime=12.2
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 15829 0 1 0 1211 9 0 0 25 0 9 0 28470627 888320000 29396 996147200 134512640 134550932 4294955968 18446744073709551615 4126933665 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=867500 CPUtime=0.23
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 12858 0 0 0 19 4 0 0 16 0 9 0 28470628 888320000 29396 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470628 888320000 29396 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28470628 888320000 29396 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 28470630 888320000 29396 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=867500 CPUtime=0.22
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 689 0 0 0 22 0 0 0 15 0 9 0 28470630 888320000 29396 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28470630 888320000 29396 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=867500 CPUtime=0
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28470630 888320000 29396 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867500

[startup+25.5024 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 32088
/proc/meminfo: memFree=1411368/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=868148 CPUtime=25.48
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 38033 900 1 0 2511 20 15 2 18 0 9 0 28470626 888983552 35497 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 217037 35497 2045 9 0 211495 0
[pid=32075/tid=32077] ppid=32073 vsize=868148 CPUtime=24.5
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 17421 900 1 0 2423 10 15 2 24 0 9 0 28470627 888983552 35497 996147200 134512640 134550932 4294955968 18446744073709551615 4126926972 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=868148 CPUtime=0.79
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 18906 900 0 0 56 6 15 2 17 0 9 0 28470628 888983552 35497 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32075/tid=32079] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 16 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 35497 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 5 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 35497 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 900 0 0 0 0 15 2 24 0 9 0 28470630 888983552 35497 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=868148 CPUtime=0.48
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 855 900 0 0 30 1 15 2 15 0 9 0 28470630 888983552 35497 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 900 0 0 0 0 15 2 25 0 9 0 28470630 888983552 35497 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 15 900 0 0 0 0 15 2 15 0 9 0 28470630 888983552 35497 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 868148

[startup+51.1025 s]
/proc/loadavg: 2.02 2.02 2.00 3/89 32088
/proc/meminfo: memFree=1345512/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=868148 CPUtime=51.06
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 85761 900 1 0 5057 32 15 2 18 0 9 0 28470626 888983552 52544 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 217037 52544 2641 9 0 211495 0
[pid=32075/tid=32077] ppid=32073 vsize=868148 CPUtime=49.5
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 30359 900 1 0 4920 13 15 2 25 0 9 0 28470627 888983552 52544 996147200 134512640 134550932 4294955968 18446744073709551615 4126927024 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=868148 CPUtime=1.3
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 53582 900 0 0 98 15 15 2 16 0 9 0 28470628 888983552 52544 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 20 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 52544 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 28 900 0 0 0 0 15 2 15 0 9 0 28470628 888983552 52544 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 900 0 0 0 0 15 2 24 0 9 0 28470630 888983552 52544 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=868148 CPUtime=0.55
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 940 900 0 0 37 1 15 2 16 0 9 0 28470630 888983552 52544 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 900 0 0 0 0 15 2 25 0 9 0 28470630 888983552 52544 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

[pid=32075/tid=32077] ppid=32073 vsize=868148 CPUtime=460.18
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 30370 900 1 0 45983 18 15 2 25 0 9 0 28470627 888983552 52557 996147200 134512640 134550932 4294955968 18446744073709551615 4127413874 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=868148 CPUtime=1.3
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 53582 900 0 0 98 15 15 2 16 0 9 0 28470628 888983552 52557 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 20 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 52557 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 28 900 0 0 0 0 15 2 15 0 9 0 28470628 888983552 52557 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 900 0 0 0 0 15 2 24 0 9 0 28470630 888983552 52557 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=868148 CPUtime=0.58
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 957 900 0 0 40 1 15 2 16 0 9 0 28470630 888983552 52557 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 900 0 0 0 0 15 2 25 0 9 0 28470630 888983552 52557 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 17 900 0 0 0 0 15 2 15 0 9 0 28470630 888983552 52557 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 461.76
Current children cumulated vsize (KiB) 868148

[startup+522.303 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 32447
/proc/meminfo: memFree=1336736/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=868148 CPUtime=521.74
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 85793 900 1 0 52120 37 15 2 18 0 9 0 28470626 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 217037 52558 2641 9 0 211495 0
[pid=32075/tid=32077] ppid=32073 vsize=868148 CPUtime=520.15
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 30370 900 1 0 51980 18 15 2 25 0 9 0 28470627 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4126936828 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=868148 CPUtime=1.3
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 53582 900 0 0 98 15 15 2 16 0 9 0 28470628 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 20 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 28 900 0 0 0 0 15 2 15 0 9 0 28470628 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 900 0 0 0 0 15 2 24 0 9 0 28470630 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=868148 CPUtime=0.58
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 961 900 0 0 40 1 15 2 16 0 9 0 28470630 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 900 0 0 0 0 15 2 25 0 9 0 28470630 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 17 900 0 0 0 0 15 2 15 0 9 0 28470630 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 521.74
Current children cumulated vsize (KiB) 868148

[startup+582.303 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 32447
/proc/meminfo: memFree=1336736/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=868148 CPUtime=581.7
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 85793 900 1 0 58116 37 15 2 18 0 9 0 28470626 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 217037 52558 2641 9 0 211495 0
[pid=32075/tid=32077] ppid=32073 vsize=868148 CPUtime=580.12
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 30370 900 1 0 57977 18 15 2 25 0 9 0 28470627 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4126936852 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=868148 CPUtime=1.3
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 53582 900 0 0 98 15 15 2 16 0 9 0 28470628 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 20 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 28 900 0 0 0 0 15 2 15 0 9 0 28470628 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 900 0 0 0 0 15 2 24 0 9 0 28470630 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=868148 CPUtime=0.58
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 961 900 0 0 40 1 15 2 16 0 9 0 28470630 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 900 0 0 0 0 15 2 25 0 9 0 28470630 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 17 900 0 0 0 0 15 2 15 0 9 0 28470630 888983552 52558 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 581.7
Current children cumulated vsize (KiB) 868148

[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 32447
/proc/meminfo: memFree=1336736/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=868148 CPUtime=641.68
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 85796 900 1 0 64114 37 15 2 18 0 9 0 28470626 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 217037 52560 2641 9 0 211495 0
[pid=32075/tid=32077] ppid=32073 vsize=868148 CPUtime=640.09
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 30371 900 1 0 63974 18 15 2 25 0 9 0 28470627 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4127244173 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=868148 CPUtime=1.3
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 53582 900 0 0 98 15 15 2 16 0 9 0 28470628 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 20 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 28 900 0 0 0 0 15 2 15 0 9 0 28470628 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 900 0 0 0 0 15 2 24 0 9 0 28470630 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=868148 CPUtime=0.58
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 963 900 0 0 40 1 15 2 16 0 9 0 28470630 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 900 0 0 0 0 15 2 25 0 9 0 28470630 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 17 900 0 0 0 0 15 2 15 0 9 0 28470630 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.68
Current children cumulated vsize (KiB) 868148

Solver just ended. Dumping a history of the last processes samples

[startup+643.103 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 32447
/proc/meminfo: memFree=1336736/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=868148 CPUtime=642.48
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 85796 900 1 0 64194 37 15 2 18 0 9 0 28470626 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 217037 52560 2641 9 0 211495 0
[pid=32075/tid=32077] ppid=32073 vsize=868148 CPUtime=640.89
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 30371 900 1 0 64054 18 15 2 25 0 9 0 28470627 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4126930992 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=868148 CPUtime=1.3
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 53582 900 0 0 98 15 15 2 16 0 9 0 28470628 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 20 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 28 900 0 0 0 0 15 2 15 0 9 0 28470628 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 900 0 0 0 0 15 2 24 0 9 0 28470630 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=868148 CPUtime=0.58
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 963 900 0 0 40 1 15 2 16 0 9 0 28470630 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 900 0 0 0 0 15 2 25 0 9 0 28470630 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 17 900 0 0 0 0 15 2 15 0 9 0 28470630 888983552 52560 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.48
Current children cumulated vsize (KiB) 868148

[startup+643.507 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 32447
/proc/meminfo: memFree=1336672/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=868148 CPUtime=642.88
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 85803 900 1 0 64234 37 15 2 18 0 9 0 28470626 888983552 52567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 217037 52567 2641 9 0 211495 0
[pid=32075/tid=32077] ppid=32073 vsize=868148 CPUtime=641.29
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 30371 900 1 0 64093 19 15 2 25 0 9 0 28470627 888983552 52567 996147200 134512640 134550932 4294955968 18446744073709551615 4127496699 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=868148 CPUtime=1.3
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 53582 900 0 0 98 15 15 2 16 0 9 0 28470628 888983552 52567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 20 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 52567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 28 900 0 0 0 0 15 2 15 0 9 0 28470628 888983552 52567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 900 0 0 0 0 15 2 24 0 9 0 28470630 888983552 52567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=868148 CPUtime=0.59
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 970 900 0 0 41 1 15 2 15 0 9 0 28470630 888983552 52567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 900 0 0 0 0 15 2 25 0 9 0 28470630 888983552 52567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 17 900 0 0 0 0 15 2 15 0 9 0 28470630 888983552 52567 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.88
Current children cumulated vsize (KiB) 868148

[startup+643.903 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 32447
/proc/meminfo: memFree=1336672/2055924 swapFree=4192812/4192956
[pid=32075] ppid=32073 vsize=868148 CPUtime=643.27
/proc/32075/stat : 32075 (java) S 32073 32075 30737 0 -1 0 85813 900 1 0 64273 37 15 2 18 0 9 0 28470626 888983552 52574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32075/statm: 217037 52574 2641 9 0 211495 0
[pid=32075/tid=32077] ppid=32073 vsize=868148 CPUtime=641.67
/proc/32075/task/32077/stat : 32077 (java) R 32073 32075 30737 0 -1 64 30376 900 1 0 64131 19 15 2 25 0 9 0 28470627 888983552 52574 996147200 134512640 134550932 4294955968 18446744073709551615 4127469231 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=868148 CPUtime=1.3
/proc/32075/task/32078/stat : 32078 (java) S 32073 32075 30737 0 -1 64 53582 900 0 0 98 15 15 2 17 0 9 0 28470628 888983552 52574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32079/stat : 32079 (java) S 32073 32075 30737 0 -1 64 20 900 0 0 0 0 15 2 16 0 9 0 28470628 888983552 52574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32080/stat : 32080 (java) S 32073 32075 30737 0 -1 64 28 900 0 0 0 0 15 2 15 0 9 0 28470628 888983552 52574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32081/stat : 32081 (java) S 32073 32075 30737 0 -1 64 0 900 0 0 0 0 15 2 24 0 9 0 28470630 888983552 52574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=868148 CPUtime=0.6
/proc/32075/task/32082/stat : 32082 (java) S 32073 32075 30737 0 -1 64 975 900 0 0 42 1 15 2 15 0 9 0 28470630 888983552 52574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32083/stat : 32083 (java) S 32073 32075 30737 0 -1 64 1 900 0 0 0 0 15 2 25 0 9 0 28470630 888983552 52574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32075/tid=32084] ppid=32073 vsize=868148 CPUtime=0.17
/proc/32075/task/32084/stat : 32084 (java) S 32073 32075 30737 0 -1 64 17 900 0 0 0 0 15 2 15 0 9 0 28470630 888983552 52574 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 643.27
Current children cumulated vsize (KiB) 868148

Child status: 0
Real time (s): 643.952
CPU time (s): 643.335
CPU user time (s): 642.9
CPU system time (s): 0.434933
CPU usage (%): 99.9042
Max. virtual memory (cumulated for all children) (KiB): 868236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 642.9
system time used= 0.434933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86747
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= 15467
involuntary context switches= 19521

runsolver used 0.830873 second user time and 2.11568 second system time

The end

Launcher Data 

Begin job on node6 at 2009-07-12 17:53:52
IDJOB=2097790
IDBENCH=57759
IDSOLVER=774
FILE ID=node6/2097790-1247414032
PBS_JOBID= 9510632
Free space on /tmp= 66400 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp39/normalized-fapp39-2750-3.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-2097790-1247414032/watcher-2097790-1247414032 -o /tmp/evaluation-result-2097790-1247414032/solver-2097790-1247414032 -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-2097790-1247414032.xml

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

MD5SUM BENCH= 19abf0750b237395707bd7efde90eb33
RANDOM SEED=763177522

node6.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.263
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.263
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:      2055924 kB
MemFree:       1546832 kB
Buffers:         79136 kB
Cached:         255832 kB
SwapCached:          0 kB
Active:         256180 kB
Inactive:       170072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1546832 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5340 kB
Writeback:           0 kB
Mapped:         111792 kB
Slab:            68064 kB
Committed_AS:   997508 kB
PageTables:       2032 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= 66396 MiB
End job on node6 at 2009-07-12 18:04:36