0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/205817-1168073464/unknown.xml
0.41
0.41 domains being loaded...
0.44
0.44 variables being loaded...
0.92 nbVariables=2500 nbDomainTypes=18 minDomainSize=42 maxDomainSize=698
0.92 => wckTime=0.603 cpuTime=0.4 mem=44M728
0.92
0.92 predicates being loaded...
0.93
0.93 constraints being loaded...
5.08
5.08 INFO : Stopping converting binary constraints (cpu=4.24, mem = 83M793)
12.99 nbConstraints=32622 nbMergedConstraints=29510 nbConvertedConstraints=7 nbConvertConstraintsChecks=2868780
12.99 nbExtensionStructures=7 nbSharedExtensionStructures=0 nbConflictsStructures=7 nbSharedConflictsStructures=0
12.99 nbSharedBinaryRepresentations=5132 nbEvaluationManagers=22333 nbSharedEvaluationManagers=10282 maxDegree=54
12.99 maxArity=2
12.99 => wckTime=12.666 cpuTime=11.12 mem=146M34
13.38
13.38 solver IterativeSystematicSolver being built...
14.56 => wckTime=14.235 cpuTime=11.79 mem=310M148
50.90
50.90 preprocessing
50.90 nbConstraintChecks=57203812 nbValidityChecks=5610900 nbPropagations=5605 nbRevisions=184062
50.90 nbUselessRevisions=163146 nbRemovedValues=1420010 detectedInconsistency=no
50.90 => wckTime=36.303 cpuTime=36.01 mem=310M148
53.84
53.84 search
53.84 run=0 nbConstraintChecks=914326 nbValidityChecks=1654774 nbPropagations=13450 nbRevisions=373272
53.84 nbUselessRevisions=342621 nbAssignments=1136 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=1153
53.84 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=1127
53.84 => wckTime=39.245 cpuTime=38.92 mem=310M148
55.89
55.89 search
55.89 run=1 nbConstraintChecks=1042516 nbValidityChecks=3270467 nbPropagations=34706 nbRevisions=932096
55.89 nbUselessRevisions=861271 nbAssignments=2282 nbFailedAssignments=15 nbBacktracks=29 nbVisitedNodes=2314
55.89 nbRestartNogoods=7 mapSize=0 nbInferences=0 nbTooLargeKeys=2267
55.89 => wckTime=41.294 cpuTime=40.93 mem=310M148
57.45
57.45 INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=3409, mem=310M148)
57.88
57.88 search
57.88 run=2 nbConstraintChecks=1169553 nbValidityChecks=4891108 nbPropagations=63834 nbRevisions=1677899
57.88 nbUselessRevisions=1557223 nbAssignments=3430 nbFailedAssignments=21 nbBacktracks=52 nbVisitedNodes=3483
57.88 nbRestartNogoods=9
57.88 => wckTime=43.282 cpuTime=42.91 mem=310M148
59.23
59.23 search
59.23 run=3 nbConstraintChecks=1322293 nbValidityChecks=6565848 nbPropagations=101398 nbRevisions=2620775
59.23 nbUselessRevisions=2439617 nbAssignments=4605 nbFailedAssignments=35 nbBacktracks=85 nbVisitedNodes=4689
59.23 nbRestartNogoods=10
59.23 => wckTime=44.637 cpuTime=44.27 mem=310M148
61.69
61.69 search
61.69 run=4 nbConstraintChecks=2249929 nbValidityChecks=9324505 nbPropagations=150250 nbRevisions=3809005
61.69 nbUselessRevisions=3554170 nbAssignments=7111 nbFailedAssignments=41 nbBacktracks=85 nbVisitedNodes=7201
61.69 nbRestartNogoods=13
61.69 => wckTime=47.092 cpuTime=46.71 mem=310M148
61.69
61.69 global
61.69 nbConstraintChecks=59453741 nbValidityChecks=14935405 nbPropagations=155855 nbRevisions=3993067
61.69 nbUselessRevisions=3717316 nbRestartNogoods=13 solvingWckTime=47.095 solvingCpuTime=46.72 expiredTime=no
61.69 totalExploration=no nbFoundSolutions=1 globalCpuTime=58.6
61.69 => wckTime=61.368 cpuTime=58.55 mem=310M148
61.69
61.69 s SATISFIABLE
61.69 v -3198 -3458 2650 2650 -2982 -3906 -2790 -3654 -3958 -2810 3426 2718 -3478 -2870 -3330 3814 -2874 -3730 -2774 -3578 -3478 -2906 3086 2650 -3930 -3946 -3398 3478 3942 -2826 2694 -3098 -3134 -3738 2774 -3746 -3282 2650 3930 -3034 -3790 3686 3926 3406 -3506 3394 -3698 -4018 -3854 -3750 -3990 3870 2698 -3770 -3778 2750 3414 -3418 -3626 -3854 3770 3382 2690 3442 -3834 -3074 -3990 -3678 -3046 -3586 -2650 -3198 -3922 -3474 -3174 3346 -3598 3810 -3890 -3166 3558 3438 3446 2650 -3870 3406 3554 2690 -3598 -3854 -3274 -3346 2722 -3554 -3062 2754 3930 2650 -3914 -3534 -3554 -3538 3062 -3998 -3630 3134 2822 -3074 -3398 3978 3046 3946 3318 3106 3510 3614 -3510 -2962 -3690 -3134 3018 3750 3522 2842 -3434 3258 3310 -3642 -2954 -3318 -3790 3742 3030 -3318 3558 -3090 -3274 -3438 -3226 3366 2806 -3682 -3686 -3990 3106 -3314 -2858 -2694 2778 -3114 -2746 2878 -3034 3242 -3086 3702 3750 -2822 2870 -3450 2902 -4002 2810 3338 -3778 -3886 3642 2650 -2798 -3998 -3610 2914 3298 2650 -3690 2650 3978 2846 -3066 -3926 4042 3194 -3686 3654 3178 -2766 -3274 3146 -3886 3170 -3578 -3134 2746 3046 -3150 -3406 -3130 -2934 2778 -3522 -3334 -3814 -3514 3338 -3474 3406 3266 -2786 3946 -3790 3914 -3346 3114 -3358 3258 -3138 -3198 -2754 -3818 -2790 -3354 3238 2770 -3438 -3646 -3810 -3214 -3558 -3386 -3426 -2698 3934 -2758 3690 2698 -3018 -3462 3750 3410 3938 4042 2650 2994 -3722 -3734 -3054 -2706 -3174 3554 3586 2650 -3178 -3098 -3958 -2666 -3950 -3386 3274 -3546 2846 -3578 3674 -2706 3842 -2726 -3730 -3214 3450 3962 -3390 -3726 -4002 -2666 3526 -3366 -2666 -3886 -3362 -3650 -3222 2982 2706 -3174 3986 3902 3374 -3746 -3610 2794 3878 3678 -3990 -4042 2906 3270 3374 3258 3582 -2866 3382 -3190 3078 -2650 -3918 3002 -3398 3954 -3154 -2690 -2898 3138 -2742 -4042 -3198 3142 -3314 -2678 3074 -2670 -3234 -2830 2918 3130 3062 -2890 3162 -3638 3598 -3414 -3886 2750 4002 3530 -3890 -2722 -3246 2882 3102 -2786 3050 -3182 -3694 -3130 3390 -3182 -3338 -2878 3826 -3870 3198 -3234 -3998 3926 -3866 -3306 -3810 3798 2898 -2650 -2822 -3014 -2954 3014 2754 -3074 3786 -3978 -3462 2922 -3838 -2982 -3438 3898 -3538 -3438 -3686 3330 3994 3542 -3126 4002 2702 3654 -2926 -3150 -3470 3514 -4018 2958 3610 -3074 2762 -3106 -3650 2742 -2658 -3990 2710 3290 3134 -3746 -2726 -3982 -2998 -2938 3438 -3178 -3954 -3202 -3874 -3402 -3890 2770 4014 3054 2814 2850 -3306 -2986 -2666 3938 2946 -2994 -3686 -4038 -2850 3646 3538 -3186 -2702 -3098 -3230 -3638 -3382 -3006 -3014 -3914 3730 2930 -4002 3138 -3702 -3026 -2654 -3914 -3630 -2942 3002 -3158 -2722 3890 -3930 -2918 -2858 -3142 -3930 3418 3354 3718 -3922 2714 -3370 -3470 -2762 -2650 -3142 -3930 3058 3598 -3874 -3186 3138 3346 -3646 2886 3974 -3686 4034 -3682 -2662 -2750 -4002 -3126 -2902 2650 -3146 -2942 2954 -3506 -3066 -2762 -3366 -3886 -3890 2690 -2682 3042 -3710 -3750 3394 -4014 -3102 -3694 3178 -2694 -3958 2698 -3218 3298 -3610 3306 -3058 3502 -3890 3154 -3702 -3186 -3150 -3790 -3282 -2706 3222 3114 -2858 -3930 2886 3774 -2902 -3134 -3782 -2650 3250 3354 -2806 -2698 -3478 -3138 -3422 -2722 3426 3262 -3862 -3874 2686 -3390 -3998 -3018 -3790 -3598 -3950 3998 3394 -3426 4042 3810 -3890 -4038 -2994 2974 2730 -2810 -3854 3082 -3694 2790 -4018 -3066 2650 -3646 -3066 -3298 -3874 -4038 2886 -2942 -3742 3714 -3054 -3638 -3906 -2694 3958 3146 -3550 -3342 3598 -3046 -3958 -3078 3726 -3930 3594 -3186 -3726 -3546 3886 -3038 -4018 3378 3858 -2806 2914 -3210 -3930 -2946 2682 -3046 -3574 -3062 -3534 -3610 -3922 -2786 -3154 -3118 -3450 2714 -2978 2750 -3498 3810 -3066 -3954 -3502 3650 3162 -3074 3874 -3918 -3354 -3842 -3294 -3442 2838 -3166 3874 2706 2702 2690 -3158 3590 -3818 3602 -3238 -3134 3874 -3998 -3134 -3142 3578 -3654 -3994 2782 -3882 -2958 -4018 -2650 -3478 -3646 2914 3334 -3638 -3770 -4042 -3682 -3034 -3190 -3818 -3018 -3182 -2814 -2726 2694 -3258 -3066 -3890 3870 3206 -3174 -3890 -3434 -3770 3158 3610 -3854 -3098 -3586 -3270 2790 2650 3670 2910 -4042 3230 3194 -3890 3070 -3962 -4038 2750 -3802 3386 2714 -3242 2890 -2806 2918 2950 2770 2802 -4002 3210 3966 -3170 -2990 -3630 -3022 -3494 3358 -2870 -3930 -3846 -3774 3626 3774 -4038 3706 2874 -3198 3250 -3490 3690 -2878 -3542 -3090 -3682 3598 -3662 -3674 -3814 3830 -3182 -2854 -3062 -2894 -2694 -4042 -3046 3514 3154 -2714 -2930 -3998 -2770 -2650 -3558 -3802 3170 3102 -2822 -3570 -2682 -3142 4042 -3998 -3694 -3194 -3570 -3058 -3990 -3930 -3086 -3418 -2970 -3358 4042 3366 -3382 3582 -3438 3398 -3478 2986 -2974 3466 3222 3210 3498 -3114 -3106 -3950 -3138 -3366 -3118 3566 -3110 3574 -3370 3562 -3586 3230 -3870 3534 -3966 -2818 -2738 3802 3770 2658 -3410 3662 3610 3230 -3050 -3978 -2722 -3730 -3650 -2726 3950 -3306 -3070 3158 2786 -3758 -3950 3978 -3070 -3178 3998 -3914 -3930 -3138 -3514 3654 3682 -2818 3594 -2730 -3542 -3338 3298 3890 3606 3410 -3002 -3950 -3890 -3662 2690 3842 3438 2842 -4014 3254 -2758 2658 -3122 3858 3534 4042 3914 -3562 -3126 -3930 -3730 -3414 -2858 -2730 -3470 -3814 2742 3062 -3930 -3858 -3018 2914 -3038 -2942 3690 2998 2738 -2690 2910 3402 -3034 3998 3906 3446 -3014 3922 -3662 2690 2918 -3258 -3538 -3778 -3878 3214 2814 -2934 -3342 -3902 3766 -3914 -3650 3802 -3402 -4038 -3930 -3038 3346 -3850 3186 -3978 -2906 -3546 4042 -3306 3518 -3978 -3894 3342 -2718 4038 3102 3946 3734 -3890 -2694 3998 -3366 2962 2958 -2690 -3166 3478 -3850 3554 2662 -3678 -3766 -4002 -2770 -3606 3094 -4002 -2810 -2906 -3642 -4018 -3698 -3998 -2978 -3462 -3438 3990 -3538 3746 3698 -3638 -3142 -3562 -3374 -3958 -3186 -3310 -3114 -3598 -3018 -3314 2838 -2690 3138 2906 3406 -3886 3962 -3998 3810 3690 2814 -3138 3338 -3998 -2882 3974 -3306 3162 -3342 3534 -3354 -3054 -3642 3326 -3146 -2998 3698 -3830 -3086 -2970 3402 -3826 -3306 2942 2734 -3210 -2698 -3378 3858 -3734 3890 -3998 3586 3890 3278 3422 -2858 -3390 -3874 -3598 -2702 -3978 -3386 3506 3334 2966 3198 3854 -3050 -3514 -3202 -3990 -3658 2830 -3238 -3126 3106 -3682 -3750 3062 -2706 -3350 -2990 -2714 -3946 -3654 3950 3410 -3274 -3094 -3006 -3150 -2926 -3414 -3770 -3842 2934 3466 3102 3222 3398 4042 3454 -2878 -3998 -2950 -3186 -3646 3910 -3542 -2706 -3066 3250 3646 -3070 -3362 3502 2690 -3682 -3890 3722 2842 3290 -3658 -2654 3074 3630 2718 -3098 -2718 3466 -3638 3602 -3998 -3634 -3538 3990 -3110 -3186 3990 -3054 3098 -2894 3886 3462 3054 -3606 -3866 -3990 -3790 4002 3338 -2774 -3438 -3930 -2946 2974 -3990 -3410 -3682 3542 3118 -3662 -3594 3110 -3438 -3346 -3450 -3110 -3970 -3642 2878 -3278 -3058 -3566 -3510 -3810 3770 -3818 2902 -3110 -3846 -3646 3606 2934 2914 -2942 2650 3418 -3914 -3990 3034 -3722 -3130 3342 4030 -3310 2694 -3918 3022 3490 -3078 -3422 3738 3598 -3890 -2834 -3330 3174 -2946 3914 -3134 3814 -3958 -3998 -3562 -3086 -3438 2706 -3238 -2938 3910 -3890 2778 3054 -3422 3738 3554 3118 -2994 3498 -3202 -3790 -2854 -3918 -2966 -3034 -3610 -2846 3914 -2782 3338 -3930 -3170 3610 3682 2814 -3650 3802 3670 -3182 3126 -3002 -3054 3794 -2878 -2682 3658 3134 -3066 3910 -3018 -2962 3106 -3990 -3890 3006 -3530 -3950 -3198 -3470 -3954 -3694 -4042 3646 -3238 -3242 -3398 -2830 4030 -3958 3726 -3910 -3446 2722 -3726 -3582 -3294 2698 2898 2902 -4038 -3478 -2698 3086 3026 3502 3326 3138 3710 -3786 -3098 -3366 2734 -2802 3094 3562 -4022 -2766 3466 -2746 3122 3870 3054 -2690 3238 3250 3394 3406 3926 -3038 -3702 -3314 3178 -3090 3582 -3186 3490 -3654 -2986 -3466 -3914 -4014 -3426 3190 3974 -2714 -3478 -2918 -3590 -3758 -3098 3134 -4014 -3030 3142 3714 -3678 -2862 3734 2842 -3582 -3174 2766 -3686 -3826 -4038 -3526 -3978 -3918 -3014 -3074 3682 -3802 -3734 -2826 3986 3798 -3978 -3446 -3478 -3986 -3250 3870 -3830 -3598 -3594 -3750 3958 -3986 -3378 2746 -3702 3634 -3566 -3974 -3302 -3974 -3642 -3186 -3346 3210 -3738 2978 3234 3026 3154 3182 -3206 3350 3894 -3586 3926 -3002 3634 -3594 -3750 -3526 2690 -3194 -3990 -2842 -3802 3758 -2786 -3050 3954 2926 -3958 3626 -3190 -3014 -2718 -3926 3582 -3202 -3086 3886 2726 3030 2686 -2690 -3278 -3842 3218 3910 -4042 -2650 -2910 3170 4018 -3694 3022 -3710 -2878 -2778 -3478 3530 3798 3486 -3254 3066 3354 -3998 4002 -3990 -3690 2746 -3646 2910 3282 -3986 -2978 -4022 3938 -3890 -3346 -3778 3398 -2726 3746 -3090 3650 -3290 2722 4030 -3930 -2914 2658 3890 -3702 -2690 -3870 3290 3862 -3246 3574 -2774 -3082 -3150 3778 -3706 3830 -3046 -2686 -2666 3698 -3974 2994 -2690 -3642 -3142 3826 3490 -3462 3598 -3966 -3118 -3098 -4042 3078 -3266 -3606 -2690 -3750 -3374 -3018 -3682 -3158 -3238 -3686 -3950 -3958 3022 -3098 3590 2854 2670 -3082 3482 2702 -3790 -2998 3002 -3678 -3982 2822 3094 -4042 -2814 -3266 -3606 3570 3474 2690 -2726 -2666 2650 -3810 2690 -3046 -3438 -2690 -4042 -3754 3442 -3930 -2862 2918 -3198 -3950 -2790 -3186 -3850 2962 2758 2946 2666 3594 -4018 -3926 2882 -3350 3194 -3642 -4038 -3878 -3138 3870 3518 -3634 -3914 -2746 3746 -3406 -2918 3154 3810 2850 3698 -3890 3970 -3950 3634 -3382 -3602 3298 3802 -3634 -3478 3074 -3910 3294 -3950 3934 -3998 -3586 -3722 -2694 -2690 -2930 -3558 -3286 -3582 -2954 -2898 3830 -3542 3526 -3522 3586 -2966 -3314 -2690 -3114 -3638 -3638 -3130 -3146 -3034 3090 -3102 -2686 2682 -3342 -3566 3542 -3238 -3954 3566 2966 -3638 3934 3458 -3818 3438 3750 -3598 3938 -3018 -3694 -3598 -2958 -3122 -3386 3178 -3442 -3590 -3594 -3058 -3930 3738 -3962 3010 -3226 2886 -3274 -3690 -3558 3350 3278 -2906 3458 -3750 3254 -3878 3706 3274 -2902 3098 -3054 3498 -3270 -3174 -3898 3138 3862 -2730 3314 -3458 -3210 3334 3418 3318 -3334 3562 -4038 -3926 3542 3122 -3106 -3634 -3670 -3886 3342 3230 -2706 3598 3842 2826 3438 -3494 2798 -3750 2854 3090 -2846 3662 -3190 -2946 3654 2682 -3770 -3186 3386 -2678 -3306 3122 3314 -3154 -3534 -3518 -3526 2706 -3546 -3646 -3774 -3502 3870 -3158 -3018 3770 -3890 2706 3786 -3810 -2662 -2754 -3454 -2838 -3574 -2722 -3042 -3202 -3238 2938 -4042 -3398 -3014 -4002 -3890 2934 -3158 -3890 3082 -2658 -3058 -3906 3214 -3186 -3894 -2706 -2690 -3098 -3890 -3182 3198 -2678 3994 -3958 3274 -3890 3790 -3638 3058 -3398 -3478 3382 3470 2698 2742 -3930 -3570 -3614 -3658 -3270 -3978 -2818 3506 -3786 -3142 -2690 3958 -3598 3938 -3142 2690 -3878 -3922 -3518 -2650 3650 2830 2978 -3198 2690 -3726 3038 -3378 -3750 3542 2650 -3874 3070 3494 3242 3406 -4018 2958 3554 3042 -3814 -3878 -4018 -3694 4042 3622 -3438 -2890 -3786 -2718 -3434 -2810 -4002 2674 -3598 3190 -3146 -4002 3450 -3718 -3994 3002 -3802 -2730 2690 -3950 3506 3294 -3198 2662 -3886 3478 3918 3850 -3674 3750 -3990 3930 3350 -3946 -3598 -2834 -2906 -3054 -3890 -4002 -4042 2830 3190 3086 3378 3154 -3630 -3638 3182 -3874 -3382 3230 4038 3466 -3438 3654 -2814 3650 -3658 -3866 -2662 3638 -2666 -3018 3682 3846 3646 3830 -3174 3850 -2690 3478 2722 -2710 -4002 -3350 -3078 2650 3766 2870 -2946 3566 3878 -2838 -3790 3366 -3646 -3686 3094 2690 3434 -3058 -3566 -3170 -3646 -3182 2994 -4002 -3718 -3926 -3822 2654 3446 -3242 -3258 -2914 -3650 -3774 -3794 -3130 2650 -3926 -3778 -3974 -3098 -3110 4034 -3950 -3106 -3130 -3042 -3174 3142 -3830 -3482 -3842 3534 3754 -3606 -3846 3618 2954 -3170 2918 -2818 4002 2858 -3138 -3570 -2910 3374 3370 -3986 2678 -3886 -3538 2702 -3158 -3898 2838 -3766 -2762 3386 -3842 -2702 -3238 2990 -2754 -2846 -4042 3102 -2702 2854 -3890 -3594 -4002 -4002 -4002 3650 -3670 -3386 4002 3110 3798 2850 -4042 2718 -3238 2710 -3890 2722 -2882 3286 2782 3998 3834 -3870 -3198 2730 -2690 3914 2650 -3434 2814 3146 3650 -3242 3786 3702 -4042 -3978 3062 -3634 -3142 3522 -3462 -2702 3870 -3186 -3998 -3402 -2918 -2742 -3838 -3902 2702 3702 -2798 3826 -2754 3006 -3802 3974 -3990 -3438 -2902 -3102 -3314 -3882 3014 3486 2690 -3642 -3658 3786 -3610 -2802 3558 3102 3222 -3498 -4042 3482 -3998 -2794 3546 3630 3710 -3542 2846 -3342 -3314 -3298 -3638 -3646 -3022 -3658 -4026 3978 -3738 -3410 -3146 2938 3178 3818 3982 3218 -3558 -2982 3430 3998 -3214 3894 -3790 2702 -3174 3926 -3954 2674 -3834 3158 -3978 3762 2854 -2954 -3218 3950 3402 -3038 -3082 3438 3958 3998 3770 -3110 3082 -3238 -3778 -2718 3546 3182 -3146 -3062 -3366 3106 3574 -3826 3146 -3946 3406 -2778 -2770 -2706 3494 -3302 3066 3598 -3066 -3146 3686 -3382 -3530 -3698 -3914 -3854 -3834 3214 3342 3290 -3994 2750 -2662 -3438 -3446 3682 2954 -2658 3554 -3478 -3950 3218 3126 -2658 -2862 2946 -3694 -3726 -2886 -3378 3058 -3706 3910 3686 -2658 2834 -3978 -3598 -3138 3762 2706 -3846 -3674 -3326 -3930 -2686 3298 -3802 3510 4030 -2978 -3054 -2702 -3690 -3326 -3522 2758 3230 2734 -3638 -3502 2846 -2814 3946 -3826 3094 -3930 3770 -2906 2870 4038 -2898 -3154 -3410 -2706 -3922 -2654 -2870 -2830 2810 3866 2874 2722 -3730 -3302 -3038 -3194 -3074 -3998 2926 3946 -3862 3894 -3346 -3198 4034 -3006 -3010 -2790 -3930 3406 -3954 -3918 -2926 -3102 -3306 3166 3446 -3186 2790 -3098 -3438 3334 2818 3958 2990 4014 2666 3042 -3042 -2678 -3770 3502 -3790 2882 -3266 3998 -3466 -3126 3198 3130 -2702 3198 2902 -3930 3786 -3462 3694 -4010 -2978 3530 3774 -3438 -3726 -3478 3958 -4018 -3614 3758 3886 -3894 -3874 4014 -3074 -3346 4002 -3230 -3582 -2682 -2662 -2846 3666 3470 -3138 -3122 3926 3890 -2662 -3070 -3270 2650 -3438 -2706 -3638 -3298 -3378 3430 -3282 2882 -3086 -2950 3578 3354 3174 -3014 -2734 -3930 -3602 -3610 -3106 3358 -3874 3990 2806 -2918 2818 -3590 -3774 -2790 3738 3194 -2954 2942 3414 3238 3138 -3874 -3998 -2658 3502 3886 3674 -3750 -3386 -2962 3622 -3182 3214 -3954 -3238 3806 -2746 -3686 3558 2830 -3930 -3330 2778 -3002 -2818 2862 -3102 -3134 3850 -3378 3914 3822 -3626 -4010 -3066 2806 -2762 3770 -3342 -3810 -3262 3090 -3434 2878 -3146 -3502 -3926 -3310 3166 -2654 -3226 -3650 3726 3706 -2666 -3950 -3106 -3642 3034 -3686 -2658 2682 -3194 -3162 -3434 -3014 -3954 -2798 3346 2650 2890 -3206 3394 -3606 -3930 -3686 -2938 -2862 -3746 -3634 -3666 -3058 -3538 3174 -3294 -3346 2698 2690 -3238 -3842 3126 3882 3038 -3442 2874 -3094 -3242 -3910 -3294 3190 3530 -3382 -3014 3994 -3370 -3974 3654 -3762 -3382 -3166 -2710 -3474 -3422 -2850 -3810 -3142 -3438 -4018 2826 -3426 -2678 3870 2718 -3850 2974 -2690 -3834 -3010 -3570 3066 4002 4002 -2726 -2690 -3314 -3714 3986 3278 3698 2842 3630 -3890 -2946 4002 -3998 -3086 -3878 -3810 -3798 3146 -3990 -3306 -3594 4038 -3638 -3730 2714 2690 3162 3914 -3098 -3614 3554 -4018 -3150 3110 -3674 2954 3638 -3418 3150 -3950 -2650 3322 -3586 -3186 3998 3430
61.69 d NODES 7111
61.69 d CHECKS 59453741
61.69
61.69 totalWckTime=61.451 totalCpuTime=58.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-205817-1168073464 -o ROOT/results/node47/solver-205817-1168073464 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205817-1168073464/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.02 1.89 4/80 2129
/proc/meminfo: memFree=1690200/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=1784 CPUtime=0
/proc/2128/stat : 2128 (java) D 2126 2128 1670 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155745743 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10519332 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/2128/statm: 446 163 128 14 0 91 0
[startup+0.103721 s]
/proc/loadavg: 2.00 2.02 1.89 4/80 2129
/proc/meminfo: memFree=1690200/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=913236 CPUtime=0.08
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 155745743 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155498992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.511767 s]
/proc/loadavg: 2.00 2.02 1.89 4/80 2129
/proc/meminfo: memFree=1690200/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915328 CPUtime=0.46
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 6791 0 1 0 41 5 0 0 18 0 8 0 155745743 937295872 6530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582383 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228832 6530 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33285 s]
/proc/loadavg: 2.00 2.02 1.89 3/87 2136
/proc/meminfo: memFree=1598240/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915596 CPUtime=1.27
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 28942 0 1 0 112 15 0 0 24 0 8 0 155745743 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073655818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228899 28679 2160 14 0 215369 0
[pid=2128/tid=2130] ppid=2126 vsize=915596 CPUtime=0.12
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 12398 0 0 0 7 5 0 0 16 0 8 0 155745747 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915596 CPUtime=0.16
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 409 0 0 0 15 1 0 0 16 0 8 0 155745751 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937570304 28679 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915596
[startup+2.97103 s]
/proc/loadavg: 2.00 2.02 1.89 3/87 2136
/proc/meminfo: memFree=1575456/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915596 CPUtime=2.89
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 32070 0 1 0 272 17 0 0 25 0 8 0 155745743 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228899 31802 2160 14 0 215369 0
[pid=2128/tid=2130] ppid=2126 vsize=915596 CPUtime=0.31
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 15518 0 0 0 25 6 0 0 16 0 8 0 155745747 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915596 CPUtime=0.17
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 412 0 0 0 16 1 0 0 16 0 8 0 155745751 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915596 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937570304 31802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915596
[startup+6.17237 s]
/proc/loadavg: 2.00 2.02 1.89 3/87 2136
/proc/meminfo: memFree=1566240/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915732 CPUtime=6.07
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 34671 0 1 0 588 19 0 0 25 0 8 0 155745743 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155888654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228933 34398 2181 14 0 215403 0
[pid=2128/tid=2130] ppid=2126 vsize=915732 CPUtime=0.47
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 18016 0 0 0 40 7 0 0 16 0 8 0 155745747 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915732 CPUtime=0.22
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 449 0 0 0 21 1 0 0 15 0 8 0 155745751 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937709568 34398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915732
[startup+12.6501 s]
/proc/loadavg: 2.00 2.02 1.89 4/87 2136
/proc/meminfo: memFree=1530848/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915732 CPUtime=12.48
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 42916 0 1 0 1226 22 0 0 25 0 8 0 155745743 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829269 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228933 42631 2182 14 0 215403 0
[pid=2128/tid=2130] ppid=2126 vsize=915732 CPUtime=1.19
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 26247 0 0 0 109 10 0 0 16 0 8 0 155745747 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915732 CPUtime=0.23
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 451 0 0 0 22 1 0 0 16 0 8 0 155745751 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915732 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937709568 42631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 915732
[startup+25.5224 s]
/proc/loadavg: 2.08 2.03 1.89 3/87 2136
/proc/meminfo: memFree=1354464/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915876 CPUtime=25.24
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 86615 0 1 0 2482 42 0 0 25 0 8 0 155745743 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2128/statm: 228969 86271 2533 14 0 215439 0
[pid=2128/tid=2130] ppid=2126 vsize=915876 CPUtime=1.99
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 69389 0 0 0 171 28 0 0 16 0 8 0 155745747 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915876 CPUtime=0.36
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 564 0 0 0 34 2 0 0 15 0 8 0 155745751 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937857024 86271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915876
[startup+51.1392 s]
/proc/loadavg: 2.05 2.03 1.90 3/87 2194
/proc/meminfo: memFree=1346280/2055920 swapFree=4192812/4192956
[pid=2128] ppid=2126 vsize=915876 CPUtime=50.69
/proc/2128/stat : 2128 (java) R 2126 2128 1670 0 -1 0 86626 0 1 0 5025 44 0 0 25 0 8 0 155745743 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074218728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2128/statm: 228969 86280 2535 14 0 215439 0
[pid=2128/tid=2130] ppid=2126 vsize=915876 CPUtime=1.99
/proc/2128/task/2130/stat : 2130 (java) S 2126 2128 1670 0 -1 64 69390 0 0 0 171 28 0 0 17 0 8 0 155745747 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2128/tid=2131] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2131/stat : 2131 (java) S 2126 2128 1670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155745748 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2132] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2132/stat : 2132 (java) S 2126 2128 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155745748 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2133] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2133/stat : 2133 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155745751 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2134] ppid=2126 vsize=915876 CPUtime=0.37
/proc/2128/task/2134/stat : 2134 (java) S 2126 2128 1670 0 -1 64 570 0 0 0 35 2 0 0 16 0 8 0 155745751 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2128/tid=2135] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2135/stat : 2135 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155745751 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2128/tid=2136] ppid=2126 vsize=915876 CPUtime=0
/proc/2128/task/2136/stat : 2136 (java) S 2126 2128 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155745751 937857024 86280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915876
Child status: 0
Real time (s): 61.7785
CPU time (s): 61.2877
CPU user time (s): 60.7838
CPU system time (s): 0.503923
CPU usage (%): 99.2055
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.7838
system time used= 0.503923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86664
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= 3168
involuntary context switches= 4658
runsolver used 0.065989 s user time and 0.215967 s system time
The end
Begin job on node47 on Sat Jan 6 08:51:05 UTC 2007
IDJOB= 205817
IDBENCH= 4170
FILE ID= node47/205817-1168073464
PBS_JOBID= 3475958
Free space on /tmp= 66521 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205817-1168073464/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-205817-1168073464 -o ROOT/results/node47/solver-205817-1168073464 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205817-1168073464/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 905321a8d9852006a24c0f2b5f8b53c5
RANDOM SEED= 753648096
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
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.240
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: 1690680 kB
Buffers: 25856 kB
Cached: 163524 kB
SwapCached: 0 kB
Active: 159328 kB
Inactive: 133864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1690680 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10216 kB
Writeback: 0 kB
Mapped: 124024 kB
Slab: 57212 kB
Committed_AS: 3582880 kB
PageTables: 2044 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= 66522 MiB
End job on node47 on Sat Jan 6 08:52:07 UTC 2007