0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.27
0.18/0.27 configuration
0.18/0.27 name=mac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.31 name=HOME/instance-2097789-1247414032.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.78/0.83 nbVariables=2750 nbDomainTypes=4 minDomainSize=130 maxDomainSize=502 nbTotalValues=1343881
0.78/0.83 => wckTime=0.561 cpuTime=0.36 mem=35M944
0.78/0.83
0.78/0.83 predicates being loaded...
0.87/0.90
0.87/0.90 constraints being loaded...
20.69/20.96
20.69/20.96 INFO : Stopping converting binary constraints (cpu=20.06, mem = 66M343)
28.01/28.30 nbConstraints=12605 nbMergedConstraints=10549 nbConvertedConstraints=169 nbConvertConstraintsChecks=36414578
28.01/28.30 nbExtensionStructures=146 nbSharedExtensionStructures=41 nbConflictsStructures=146
28.01/28.30 nbSharedConflictsStructures=41 nbUnbuiltConflictsStructures=6281 nbSharedBinaryRepresentations=119163
28.01/28.30 nbEvaluationManagers=6281 nbSharedEvaluationManagers=6155 minDegree=2 maxDegree=12 minArity=2 maxArity=2
28.01/28.30 nbGenerators=0 nbFusions=0 symmetryWckTime=3.413 symmetryCpuTime=3.08
28.01/28.30 => wckTime=28.032 cpuTime=26.6 mem=86M673
28.30/28.69
28.30/28.69 solver IterativeSystematicSolver being built...
29.00/29.31 => wckTime=29.041 cpuTime=27.02 mem=164M734
199.09/201.01
199.09/201.01 preprocessing
199.09/201.01 nbConstraintChecks=347971999 nbValidityChecks=1815480 nbPropagations=3067 nbRevisions=30136
199.09/201.01 nbUselessRevisions=26907 nbRemovedValues=429364 detectedInconsistency=no
199.09/201.01 => wckTime=171.675 cpuTime=170.03 mem=164M734
693.59/700.30
693.59/700.30 search
693.59/700.30 run=6 nbConstraintChecks=853692686 nbValidityChecks=75606535 minDepth=0 maxDepth=2750 nbPropagations=133357
693.59/700.30 nbRevisions=1229081 nbUselessRevisions=682403 nbAssignments=2985 nbFailedAssignments=208 nbBacktracks=25
693.59/700.30 nbVisitedNodes=3214 nbRestartNogoods=2 nbFoundSolutions=1 nbSEliminables=? nbREliminables=? nbIEliminables=?
693.59/700.30 nbDEliminables=? nbPEliminables=?
693.59/700.30 => wckTime=670.959 cpuTime=664.57 mem=169M801
693.59/700.30
693.59/700.30 global
693.59/700.30 nbConstraintChecks=1201664685 nbValidityChecks=77422015 nbPropagations=136424 nbRevisions=1259217
693.59/700.30 nbUselessRevisions=709310 nbRestartNogoods=2 solvingWckTime=670.961 solvingCpuTime=664.57 expiredTime=no
693.59/700.30 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=691.48 globalCpuTime=691.66
693.59/700.30 => wckTime=700.027 cpuTime=691.62 mem=169M801
693.69/700.34
693.69/700.34 s SATISFIABLE
693.69/700.34 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 -3124 -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 -3196 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 -3108 -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 3020 -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 -3068 -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 -3156 -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 -3084 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 -3060 3204 -3308 -3960 -3772 3236 -3116 -3748 3492 -3716 -3280 -3888 -3960 -3420
693.69/700.34 d NODES 2985
693.69/700.34 d CHECKS 1201664685
693.69/700.34
693.69/700.34 totalWckTime=700.139 totalCpuTime=691.7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097789-1247414032/watcher-2097789-1247414032 -o /tmp/evaluation-result-2097789-1247414032/solver-2097789-1247414032 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097789-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
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 1990
/proc/meminfo: memFree=1615888/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=18576 CPUtime=0
/proc/1990/stat : 1990 (runsolver) R 1987 578 578 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 1 0 28470455 19021824 282 996147200 4194304 4302564 548682068384 18446744073709551615 245491609543 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1990/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.0553539 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 1990
/proc/meminfo: memFree=1615888/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=863616 CPUtime=0.04
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 2426 0 1 0 3 1 0 0 18 0 9 0 28470455 884342784 1999 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 215904 1999 911 9 0 210819 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863616
[startup+0.101357 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 1990
/proc/meminfo: memFree=1615888/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=865984 CPUtime=0.08
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 3719 0 1 0 7 1 0 0 18 0 9 0 28470455 886767616 3187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216496 3187 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301381 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 1990
/proc/meminfo: memFree=1615888/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=866300 CPUtime=0.28
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 5700 0 1 0 25 3 0 0 18 0 9 0 28470455 887091200 5107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216575 5107 1923 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866300
[startup+0.701424 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 1990
/proc/meminfo: memFree=1615888/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867428 CPUtime=0.67
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 14528 0 1 0 59 8 0 0 18 0 9 0 28470455 888246272 13890 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216857 13890 2001 9 0 211315 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867428
[startup+1.50251 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 1999
/proc/meminfo: memFree=1526344/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867648 CPUtime=1.47
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 24967 0 1 0 134 13 0 0 18 0 9 0 28470455 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216912 24318 2051 9 0 211348 0
[pid=1990/tid=1992] ppid=1987 vsize=867648 CPUtime=1.19
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 15791 0 1 0 111 8 0 0 25 0 9 0 28470457 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4126547283 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867648 CPUtime=0.06
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 7830 0 0 0 4 2 0 0 16 0 9 0 28470458 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867648 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470459 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867648 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28470459 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867648 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28470461 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867648 CPUtime=0.18
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 645 0 0 0 18 0 0 0 15 0 9 0 28470461 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867648 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28470461 888471552 24318 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867648 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28470461 888471552 24318 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) 867648
[startup+3.10166 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 1999
/proc/meminfo: memFree=1512264/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867560 CPUtime=3.05
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 30045 0 1 0 290 15 0 0 18 0 9 0 28470455 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216890 29370 2032 9 0 211348 0
[pid=1990/tid=1992] ppid=1987 vsize=867560 CPUtime=2.57
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 15823 0 1 0 248 9 0 0 25 0 9 0 28470457 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4126930991 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867560 CPUtime=0.24
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 12859 0 0 0 20 4 0 0 16 0 9 0 28470458 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470459 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28470459 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28470461 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867560 CPUtime=0.2
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 662 0 0 0 20 0 0 0 16 0 9 0 28470461 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28470461 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28470461 888381440 29370 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867560
[startup+6.30198 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 1999
/proc/meminfo: memFree=1505736/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867560 CPUtime=6.23
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 30053 0 1 0 607 16 0 0 18 0 9 0 28470455 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216890 29376 2032 9 0 211348 0
[pid=1990/tid=1992] ppid=1987 vsize=867560 CPUtime=5.73
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 15827 0 1 0 564 9 0 0 25 0 9 0 28470457 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4126962681 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867560 CPUtime=0.24
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 12859 0 0 0 20 4 0 0 16 0 9 0 28470458 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470459 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28470459 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28470461 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867560 CPUtime=0.21
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 666 0 0 0 21 0 0 0 15 0 9 0 28470461 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28470461 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28470461 888381440 29376 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867560
[startup+12.7016 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 1999
/proc/meminfo: memFree=1505672/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867560 CPUtime=12.56
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 30079 0 1 0 1240 16 0 0 18 0 9 0 28470455 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216890 29398 2032 9 0 211348 0
[pid=1990/tid=1992] ppid=1987 vsize=867560 CPUtime=12.05
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 15830 0 1 0 1195 10 0 0 25 0 9 0 28470457 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4126932381 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867560 CPUtime=0.24
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 12859 0 0 0 20 4 0 0 16 0 9 0 28470458 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28470459 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28470459 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28470461 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867560 CPUtime=0.25
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 689 0 0 0 24 1 0 0 15 0 9 0 28470461 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28470461 888381440 29398 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867560 CPUtime=0
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28470461 888381440 29398 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) 867560
[startup+25.5029 s]
/proc/loadavg: 1.99 1.98 1.99 3/91 2001
/proc/meminfo: memFree=1480056/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867884 CPUtime=25.22
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 37276 899 1 0 2483 22 15 2 18 0 9 0 28470455 888713216 35446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216971 35446 2045 9 0 211429 0
[pid=1990/tid=1992] ppid=1987 vsize=867884 CPUtime=24.19
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 16718 899 1 0 2391 11 15 2 24 0 9 0 28470457 888713216 35446 996147200 134512640 134550932 4294955968 18446744073709551615 4126929520 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867884 CPUtime=0.83
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 18857 899 0 0 59 7 15 2 16 0 9 0 28470458 888713216 35446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 16 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 35446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 5 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 35446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 899 0 0 0 0 15 2 18 0 9 0 28470461 888713216 35446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867884 CPUtime=0.5
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 855 899 0 0 32 1 15 2 15 0 9 0 28470461 888713216 35446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 899 0 0 0 0 15 2 19 0 9 0 28470461 888713216 35446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 10 899 0 0 0 0 15 2 15 0 9 0 28470461 888713216 35446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867884
[startup+51.1025 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 2003
/proc/meminfo: memFree=1415680/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867884 CPUtime=50.59
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 85645 899 1 0 5007 35 15 2 18 0 9 0 28470455 888713216 52477 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216971 52477 2641 9 0 211429 0
[pid=1990/tid=1992] ppid=1987 vsize=867884 CPUtime=48.95
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 30366 899 1 0 4863 15 15 2 25 0 9 0 28470457 888713216 52477 996147200 134512640 134550932 4294955968 18446744073709551615 4126932420 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867884 CPUtime=1.36
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 53454 899 0 0 103 16 15 2 16 0 9 0 28470458 888713216 52477 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 20 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 52477 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 29 899 0 0 0 0 15 2 15 0 9 0 28470459 888713216 52477 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 899 0 0 0 0 15 2 18 0 9 0 28470461 888713216 52477 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867884 CPUtime=0.58
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 949 899 0 0 40 1 15 2 16 0 9 0 28470461 888713216 52477 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 899 0 0 0 0 15 2 19 0 9 0 28470461 888713216 52477 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 85679 899 1 0 67137 36 15 2 18 0 9 0 28470455 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216971 52491 2641 9 0 211429 0
[pid=1990/tid=1992] ppid=1987 vsize=867884 CPUtime=670.23
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 30377 899 1 0 66990 16 15 2 25 0 9 0 28470457 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4127251639 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867884 CPUtime=1.36
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 53454 899 0 0 103 16 15 2 16 0 9 0 28470458 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 20 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 29 899 0 0 0 0 15 2 15 0 9 0 28470459 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 899 0 0 0 0 15 2 18 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867884 CPUtime=0.6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 972 899 0 0 42 1 15 2 16 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 899 0 0 0 0 15 2 19 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 12 899 0 0 0 0 15 2 15 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 671.9
Current children cumulated vsize (KiB) 867884
[startup+691.102 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 2010
/proc/meminfo: memFree=1415416/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867884 CPUtime=684.58
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 85679 899 1 0 68405 36 15 2 18 0 9 0 28470455 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216971 52491 2641 9 0 211429 0
[pid=1990/tid=1992] ppid=1987 vsize=867884 CPUtime=682.91
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 30377 899 1 0 68258 16 15 2 25 0 9 0 28470457 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4126935095 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867884 CPUtime=1.36
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 53454 899 0 0 103 16 15 2 16 0 9 0 28470458 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 20 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 29 899 0 0 0 0 15 2 15 0 9 0 28470459 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 899 0 0 0 0 15 2 18 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867884 CPUtime=0.6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 972 899 0 0 42 1 15 2 16 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 899 0 0 0 0 15 2 19 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 12 899 0 0 0 0 15 2 15 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 867884
[startup+694.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 2010
/proc/meminfo: memFree=1415416/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867884 CPUtime=687.75
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 85679 899 1 0 68722 36 15 2 18 0 9 0 28470455 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216971 52491 2641 9 0 211429 0
[pid=1990/tid=1992] ppid=1987 vsize=867884 CPUtime=686.08
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 30377 899 1 0 68575 16 15 2 25 0 9 0 28470457 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4126933019 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867884 CPUtime=1.36
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 53454 899 0 0 103 16 15 2 16 0 9 0 28470458 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 20 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 29 899 0 0 0 0 15 2 15 0 9 0 28470459 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 899 0 0 0 0 15 2 18 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867884 CPUtime=0.6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 972 899 0 0 42 1 15 2 16 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 899 0 0 0 0 15 2 19 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 12 899 0 0 0 0 15 2 15 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 687.75
Current children cumulated vsize (KiB) 867884
[startup+697.501 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 2010
/proc/meminfo: memFree=1415416/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867884 CPUtime=690.91
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 85679 899 1 0 69038 36 15 2 18 0 9 0 28470455 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216971 52491 2641 9 0 211429 0
[pid=1990/tid=1992] ppid=1987 vsize=867884 CPUtime=689.24
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 30377 899 1 0 68891 16 15 2 25 0 9 0 28470457 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4127245549 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867884 CPUtime=1.36
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 53454 899 0 0 103 16 15 2 16 0 9 0 28470458 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 20 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 29 899 0 0 0 0 15 2 15 0 9 0 28470459 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 899 0 0 0 0 15 2 18 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867884 CPUtime=0.6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 972 899 0 0 42 1 15 2 16 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 899 0 0 0 0 15 2 19 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 12 899 0 0 0 0 15 2 15 0 9 0 28470461 888713216 52491 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 690.91
Current children cumulated vsize (KiB) 867884
[startup+699.102 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 2010
/proc/meminfo: memFree=1415416/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867884 CPUtime=692.5
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 85682 899 1 0 69197 36 15 2 18 0 9 0 28470455 888713216 52494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216971 52494 2641 9 0 211429 0
[pid=1990/tid=1992] ppid=1987 vsize=867884 CPUtime=690.83
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 30377 899 1 0 69050 16 15 2 25 0 9 0 28470457 888713216 52494 996147200 134512640 134550932 4294955968 18446744073709551615 4127487827 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867884 CPUtime=1.36
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 53454 899 0 0 103 16 15 2 16 0 9 0 28470458 888713216 52494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 20 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 52494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 29 899 0 0 0 0 15 2 15 0 9 0 28470459 888713216 52494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 899 0 0 0 0 15 2 18 0 9 0 28470461 888713216 52494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867884 CPUtime=0.62
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 975 899 0 0 43 2 15 2 16 0 9 0 28470461 888713216 52494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 899 0 0 0 0 15 2 19 0 9 0 28470461 888713216 52494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 12 899 0 0 0 0 15 2 15 0 9 0 28470461 888713216 52494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 692.5
Current children cumulated vsize (KiB) 867884
[startup+699.903 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 2010
/proc/meminfo: memFree=1415416/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867884 CPUtime=693.29
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 85689 899 1 0 69276 36 15 2 18 0 9 0 28470455 888713216 52500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216971 52500 2641 9 0 211429 0
[pid=1990/tid=1992] ppid=1987 vsize=867884 CPUtime=691.6
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 30377 899 1 0 69127 16 15 2 25 0 9 0 28470457 888713216 52500 996147200 134512640 134550932 4294955968 18446744073709551615 4125978487 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867884 CPUtime=1.36
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 53454 899 0 0 103 16 15 2 17 0 9 0 28470458 888713216 52500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 20 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 52500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 29 899 0 0 0 0 15 2 15 0 9 0 28470459 888713216 52500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 899 0 0 0 0 15 2 18 0 9 0 28470461 888713216 52500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867884 CPUtime=0.63
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 982 899 0 0 44 2 15 2 16 0 9 0 28470461 888713216 52500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 899 0 0 0 0 15 2 19 0 9 0 28470461 888713216 52500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 12 899 0 0 0 0 15 2 15 0 9 0 28470461 888713216 52500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 693.29
Current children cumulated vsize (KiB) 867884
[startup+700.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 2010
/proc/meminfo: memFree=1415416/2055920 swapFree=4192812/4192956
[pid=1990] ppid=1987 vsize=867884 CPUtime=693.69
/proc/1990/stat : 1990 (java) S 1987 1990 578 0 -1 0 85698 899 1 0 69316 36 15 2 18 0 9 0 28470455 888713216 52507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1990/statm: 216971 52507 2641 9 0 211429 0
[pid=1990/tid=1992] ppid=1987 vsize=867884 CPUtime=691.99
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 578 0 -1 64 30381 899 1 0 69166 16 15 2 25 0 9 0 28470457 888713216 52507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1993] ppid=1987 vsize=867884 CPUtime=1.36
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 578 0 -1 64 53454 899 0 0 103 16 15 2 17 0 9 0 28470458 888713216 52507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1994] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 578 0 -1 64 20 899 0 0 0 0 15 2 16 0 9 0 28470459 888713216 52507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1995] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 578 0 -1 64 29 899 0 0 0 0 15 2 15 0 9 0 28470459 888713216 52507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1996] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 578 0 -1 64 2 899 0 0 0 0 15 2 18 0 9 0 28470461 888713216 52507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1997] ppid=1987 vsize=867884 CPUtime=0.64
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 578 0 -1 64 987 899 0 0 45 2 15 2 15 0 9 0 28470461 888713216 52507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1998] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 578 0 -1 64 0 899 0 0 0 0 15 2 19 0 9 0 28470461 888713216 52507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1990/tid=1999] ppid=1987 vsize=867884 CPUtime=0.17
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 578 0 -1 64 12 899 0 0 0 0 15 2 15 0 9 0 28470461 888713216 52507 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 693.69
Current children cumulated vsize (KiB) 867884
Child status: 0
Real time (s): 700.392
CPU time (s): 693.789
CPU user time (s): 693.363
CPU system time (s): 0.426935
CPU usage (%): 99.0573
Max. virtual memory (cumulated for all children) (KiB): 870216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 693.363
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86631
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= 16707
involuntary context switches= 30974
runsolver used 0.910861 second user time and 2.28365 second system time
The end
Begin job on node17 at 2009-07-12 17:53:52
IDJOB=2097789
IDBENCH=57759
IDSOLVER=773
FILE ID=node17/2097789-1247414032
PBS_JOBID= 9510609
Free space on /tmp= 66448 MiB
SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097789-1247414032/watcher-2097789-1247414032 -o /tmp/evaluation-result-2097789-1247414032/solver-2097789-1247414032 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097789-1247414032.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 19abf0750b237395707bd7efde90eb33
RANDOM SEED=1806652066
node17.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.213
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.213
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: 1616368 kB
Buffers: 83604 kB
Cached: 198528 kB
SwapCached: 0 kB
Active: 262308 kB
Inactive: 108180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1616368 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5308 kB
Writeback: 0 kB
Mapped: 108808 kB
Slab: 53976 kB
Committed_AS: 998220 kB
PageTables: 2036 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= 66444 MiB
End job on node17 at 2009-07-12 18:05:33