0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/221409-1168258921/unknown.xml
0.38
0.38 domains being loaded...
0.41
0.41 variables being loaded...
0.57 nbVariables=750 nbDomainTypes=14 minDomainSize=82 maxDomainSize=998
0.57 => wckTime=0.258 cpuTime=0.19 mem=18M627
0.57
0.57 predicates being loaded...
0.58
0.58 constraints being loaded...
202.06
202.06 INFO : Stopping converting binary constraints (cpu=200.01, mem = 95M579)
202.77 nbConstraints=4623 nbMergedConstraints=4016 nbConvertedConstraints=2234 nbConvertConstraintsChecks=359900586
202.77 nbExtensionStructures=1950 nbSharedExtensionStructures=284 nbConflictsStructures=1950
202.77 nbSharedConflictsStructures=284 nbSharedBinaryRepresentations=1389789 nbEvaluationManagers=2075
202.77 nbSharedEvaluationManagers=314 maxDegree=16 maxArity=2
202.77 => wckTime=202.453 cpuTime=200.56 mem=109M163
203.02
203.02 solver IterativeSystematicSolver being built...
203.29 => wckTime=202.97 cpuTime=200.77 mem=118M107
207.02
207.02 preprocessing
207.02 nbConstraintChecks=7938967 nbValidityChecks=800928 nbPropagations=4702 nbRevisions=42671
207.02 nbUselessRevisions=36537 nbSingletonTests=750 nbEffectiveSingletonTests=0 nbESACBranches=1
207.02 nbRemovedValues=305713 detectedInconsistency=no
207.02 => wckTime=3.725 cpuTime=3.66 mem=118M107
207.02
207.02 global
207.02 nbConstraintChecks=7938967 nbValidityChecks=800928 nbPropagations=4702 nbRevisions=42671
207.02 nbUselessRevisions=36537 nbRestartNogoods=0 solvingWckTime=3.728 solvingCpuTime=3.66 expiredTime=no
207.02 totalExploration=no nbFoundSolutions=1 globalCpuTime=204.49
207.02 => wckTime=206.707 cpuTime=204.44 mem=118M107
207.05
207.05 s SATISFIABLE
207.05 v -2518 -2558 -3086 -3312 -3312 -3126 -2558 -2518 -2992 -2758 -2632 -2582 -2590 -2758 -3036 2624 -3044 -2566 -3190 -2628 -2586 -2568 -2572 -2518 -3044 -2572 -3278 -3310 -2622 2624 -2828 2750 -2582 -2852 -3150 -2516 -3102 3302 -3096 -3352 -2786 -2790 -2998 -3076 -2788 2612 3292 -2734 2584 -2788 -2522 -3186 -2890 -3150 -2606 3010 -2798 -2518 -2592 -2520 2568 -2584 2356 2778 -2828 -2482 -3150 -2828 -2558 -3038 2914 -3312 -2610 -2524 -3352 -2598 -3190 -3004 -2626 -3150 -2758 -2814 -3150 -2440 -2828 2610 -3176 -3044 3188 -2860 -2828 -2486 2694 -2578 -2482 -2788 -3004 -3112 -3054 -2564 -3352 -2930 -3312 -3104 3004 -3044 -3004 -2988 -3150 -2758 -2568 -2558 -2434 -2628 -3056 -3004 -2828 -2518 -3144 -2484 -2422 3034 -3312 -3352 3038 3026 -2992 -2610 -3044 -2606 -3104 -2558 -3190 -3150 -2606 -3150 2770 -3014 -2622 -3076 -2614 -3142 -3004 3028 -2706 -2518 -2606 -2758 -2550 3174 -2484 -3004 3190 -2758 2976 2820 -2586 -2586 -2488 -3022 -2628 3144 -3150 -3148 -3190 -2570 -2526 2826 -2482 -2622 -3190 -3150 -2518 -2620 -2542 2896 -3114 -2518 -2596 -2588 -2784 -2710 2728 -3146 2356 -3056 -2518 -2478 2786 -3142 -2500 -2582 -3004 -2788 -2384 -3334 -2630 -2982 -2992 -3150 -3154 2630 -3142 -2552 -3044 -2372 -2520 -3352 -2680 -2952 -3190 -3352 -2612 -2556 -3312 -2608 -2518 -3190 -2798 -2558 2816 -2948 -2788 -2688 2612 -2580 -2628 -2396 -3150 -2480 -2558 -3190 -3312 -2854 2926 -2798 -2738 -2540 -2970 -2832 -2828 -2826 -2594 -2566 -3210 3228 -3190 -2566 -2618 3088 -3144 -2522 2482 -2478 -2480 -2620 -3150 -2412 2732 -3004 2930 -2828 -3190 -2632 -2592 -3352 2574 3294 -2652 -2788 -2612 -3352 -2786 2356 -3058 -2524 -2378 -3004 -3146 -2788 2590 -2524 -3044 -3144 -3044 -3230 -2518 2912 -3352 2848 -2768 -3190 -2734 -3312 -3036 -3004 -2400 -2520 -3196 -3016 -3104 -2626 -2828 -3216 2694 -2632 -3150 -3004 -3044 -3004 -3136 -2630 -3190 2558 -2590 -3190 -3190 -2584 -2982 3182 -3004 2396 -3312 -2592 -3190 2396 2874 -3018 -3348 2776 2678 -3004 -2516 -2598 3166 -2648 3170 3146 -3078 -2758 -2558 2558 -3190 3148 -3206 -2746 -2396 -2758 -2828 3050 -2932 -2758 -2482 -2568 -3152 -2408 3150 3178 -2978 -3144 3142 2356 -3106 -2630 -2592 -2798 -2632 -3004 -3200 -2518 2630 -2518 -3314 -2618 2356 -2952 -2956 3180 -2590 -2630 -2638 -2584 -3312 -3342 -2824 -3190 2780 -2622 -2798 -2676 -2832 -3312 -2518 -2614 -2658 2356 -3190 -3352 -3150 2594 -3038 -2650 2588 -2828 2816 3248 -2728 -2356 -2616 -2714 -2798 -3044 -2382 -2788 -3044 -2558 -3242 -3150 -3308 -3044 -2516 -2584 -2634 -2580 -3004 -2624 -3004 -2518 -2938 -3102 -2562 2994 -2624 -2788 -3054 -2558 -2558 -2558 -2730 -3044 -2558 2788 2588 -3150 -2868 -2482 2396 -3004 -2632 2942 -2798 2952 -2788 -3150 2396 -3044 -2828 -3076 -2798 -2588 -3312 -3190 2592 -3312 2670 -3332 -3146 2582 -2772 -2584 -2788 -2518 -3150 -2480 -2604 2794 2608 -2952 -2996 -3014 -3190 -2522 -3352 2464 2914 2580 3016 -2636 -2570 -2584 -2798 -2820 3352 -2590 -3058 -3150 -3150 -3004 -2888 -2396 -2490 -2966 2874 -2720 -2602 2820 -2758 -2526 -2758 -2518 3270 -3312 -3312 -2612 -3036 -2614 2936 2512 -2758 3128 -2798 2812 -3150 -2622 -3004 -2798 3112 -2956 -3044 -3110 -3318 -2716 2590 -2404 -3004 -2828 -2522 -3190 2754 -2638 -2788 2654 -2758 -2526 -3140 3274 -3146 -2608 2566 -3150 -2554 -3190 -2540 -2534 -3352 -3004 -2788 -2404 -2758 -2574 -2828 -3138 -2518 2522 -2474 -2624 -2620 -2798 -2826 -2486 -2558 -3044 -2518 -3146 -2554 -2528 -2558 2518 -2396 -2590 -2626 3068 -3044 -3150 -2608 -2518 -2580 -2996 -2558 -3240 -2448 -3026 -2450 -2396 -2518 -2620 -2514 -2522 3142 -2568 -3150 -3214 -2632 -3096 -3044 -2996 -2482 -2788 2892 -3066 -2630 -2792 -2788 -2558 -2482 2926 -2758 -2522 2552 -2486 -2514 2620 -3004 -2592 -2364 -3104 2518 -2828 -2576 -2798 -3202 -3102 -2556 -2758 -2364 -2624 -3242 -2788 -2522 -2524 2960 -2674 -3104 -3150 -2634 -2570 -2518 -2584 2758 -2828 -2478 2582 -3044 -2608 3060 -2592 -3152 -2572 -2758 -2828 -3190 2970 -2580 -3186 -2626 -2590 3202 -3044 -2518 -3078 -3352 2856 -2780 2356 -2828 -2610 -3044 -3186 -2798 -2624 -2586 -3106 -3066 -2558 -3044 -2958 -2828 -2356 2792 2742 -2788 -2782 -2608 -3190 -3044 -2624 -2798 -3188 -2500 -2798 -3036 2502 -2788 3000 -2494 -3144 3156 -3108 -3102 -2558 -2628 2484 -2624 2584 -3018 -2482 -3190 -3078 -3184 -2624 -2424 -3044 -2798 -2828 -2522 3020 -2566 -3352 -3288 2886 -2504 -2718 -2584 2624 -2788 2908 -2572 -2798 3010 -2418 -3190 -2526 -2484 -2588 -2476 -3106 -2584 2518 -2478 2478
207.05 d NODES 0
207.05 d CHECKS 7938967
207.05
207.05 totalWckTime=206.81 totalCpuTime=204.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-221409-1168258921 -o ROOT/results/node47/solver-221409-1168258921 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221409-1168258921/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.05 2.02 1.82 4/74 31690
/proc/meminfo: memFree=1820744/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=18540 CPUtime=0
/proc/31689/stat : 31689 (runsolver) R 31687 31689 31491 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174291346 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31689/statm: 4635 279 244 17 0 2626 0
[startup+0.107457 s]
/proc/loadavg: 2.05 2.02 1.82 4/74 31690
/proc/meminfo: memFree=1820744/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=914988 CPUtime=0.08
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 2987 0 1 0 7 1 0 0 18 0 8 0 174291346 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154100119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.5155 s]
/proc/loadavg: 2.05 2.02 1.82 4/74 31690
/proc/meminfo: memFree=1820744/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915328 CPUtime=0.49
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 7691 0 1 0 45 4 0 0 18 0 8 0 174291346 937295872 7430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072919657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228832 7430 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33758 s]
/proc/loadavg: 2.05 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752464/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=1.3
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19422 0 1 0 120 10 0 0 24 0 8 0 174291346 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19160 2181 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.17
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 411 0 0 0 16 1 0 0 16 0 8 0 174291354 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632
[startup+2.99076 s]
/proc/loadavg: 2.05 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752336/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=2.95
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19425 0 1 0 285 10 0 0 25 0 8 0 174291346 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812961 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19162 2181 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.18
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 413 0 0 0 17 1 0 0 16 0 8 0 174291354 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915632
[startup+6.27911 s]
/proc/loadavg: 2.05 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752272/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=6.23
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19435 0 1 0 612 11 0 0 25 0 8 0 174291346 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19172 2181 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.19
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 423 0 0 0 18 1 0 0 16 0 8 0 174291354 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915632
[startup+12.7678 s]
/proc/loadavg: 2.04 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752272/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=12.68
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19440 0 1 0 1257 11 0 0 25 0 8 0 174291346 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19177 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.19
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 427 0 0 0 18 1 0 0 16 0 8 0 174291354 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915632
[startup+25.6052 s]
/proc/loadavg: 2.03 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752400/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=25.46
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19443 0 1 0 2534 12 0 0 25 0 8 0 174291346 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799213 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19178 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.2
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 428 0 0 0 19 1 0 0 16 0 8 0 174291354 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915632
[startup+51.2149 s]
/proc/loadavg: 2.02 2.01 1.82 3/81 31697
/proc/meminfo: memFree=1733712/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=50.95
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 24112 0 1 0 5080 15 0 0 25 0 8 0 174291346 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 23844 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.16
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 7480 0 0 0 13 3 0 0 16 0 8 0 174291350 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.21
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 434 0 0 0 20 1 0 0 16 0 8 0 174291354 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915632
[startup+102.423 s]
/proc/loadavg: 2.01 2.01 1.83 3/81 31697
/proc/meminfo: memFree=1717776/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=101.92
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 28091 0 1 0 10173 19 0 0 25 0 8 0 174291346 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 27822 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.34
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 11457 0 0 0 30 4 0 0 16 0 8 0 174291350 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.21
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 435 0 0 0 20 1 0 0 16 0 8 0 174291354 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915632
[startup+162.481 s]
/proc/loadavg: 2.05 2.02 1.84 3/81 31697
/proc/meminfo: memFree=1702032/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=161.69
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 32007 0 1 0 16146 23 0 0 25 0 8 0 174291346 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 31736 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.5
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 15362 0 0 0 45 5 0 0 16 0 8 0 174291350 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.23
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 444 0 0 0 22 1 0 0 16 0 8 0 174291354 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 207.094
CPU time (s): 206.088
CPU user time (s): 205.766
CPU system time (s): 0.321951
CPU usage (%): 99.5143
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.766
system time used= 0.321951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39078
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= 5675
involuntary context switches= 7902
runsolver used 0.241963 s user time and 0.684895 s system time
The end
Begin job on node47 on Mon Jan 8 12:22:01 UTC 2007
IDJOB= 221409
IDBENCH= 5447
FILE ID= node47/221409-1168258921
PBS_JOBID= 3482623
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp31-35/fapp34/fapp34-0750-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221409-1168258921/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-221409-1168258921 -o ROOT/results/node47/solver-221409-1168258921 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221409-1168258921/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cd04ae5638f2aca685208979f08ea162
RANDOM SEED= 319174860
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: 1821160 kB
Buffers: 35260 kB
Cached: 99164 kB
SwapCached: 3480 kB
Active: 114864 kB
Inactive: 66720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1821160 kB
SwapTotal: 4192956 kB
SwapFree: 4183952 kB
Dirty: 2824 kB
Writeback: 0 kB
Mapped: 53724 kB
Slab: 38544 kB
Committed_AS: 3830544 kB
PageTables: 1872 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= 66554 MiB
End job on node47 on Mon Jan 8 12:25:28 UTC 2007