0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=mac.xml
0.52
0.52 instance
0.52 name=/tmp/evaluation/221426-1168080039/unknown.xml
0.55
0.55 domains being loaded...
0.58
0.58 variables being loaded...
0.73 nbVariables=750 nbDomainTypes=14 minDomainSize=82 maxDomainSize=998
0.73 => wckTime=0.326 cpuTime=0.19 mem=18M627
0.73
0.73 predicates being loaded...
0.74
0.74 constraints being loaded...
4.78
4.78 INFO : Stopping converting binary constraints (cpu=4.15, mem = 34M332)
5.97 nbConstraints=4623 nbMergedConstraints=4016 nbConvertedConstraints=52 nbConvertConstraintsChecks=7085042
5.97 nbExtensionStructures=49 nbSharedExtensionStructures=3 nbConflictsStructures=49 nbSharedConflictsStructures=3
5.97 nbSharedBinaryRepresentations=24632 nbEvaluationManagers=3831 nbSharedEvaluationManagers=740 maxDegree=16
5.97 maxArity=2
5.97 => wckTime=5.558 cpuTime=5.14 mem=46M750
6.07
6.07 solver IterativeSystematicSolver being built...
6.37 => wckTime=5.967 cpuTime=5.36 mem=46M927
11.55
11.55 preprocessing
11.55 nbConstraintChecks=9321163 nbValidityChecks=685700 nbPropagations=1361 nbRevisions=20038
11.55 nbUselessRevisions=16449 nbRemovedValues=307563 detectedInconsistency=no
11.55 => wckTime=5.166 cpuTime=5.12 mem=46M927
12.36
12.36 search
12.36 run=0 nbConstraintChecks=513586 nbValidityChecks=743359 nbPropagations=4523 nbRevisions=43795
12.36 nbUselessRevisions=37667 nbAssignments=750 nbFailedAssignments=0 nbBacktracks=0 nbVisitedNodes=751
12.36 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=0
12.36 => wckTime=5.979 cpuTime=5.91 mem=66M359
12.36
12.36 global
12.36 nbConstraintChecks=9834749 nbValidityChecks=1429059 nbPropagations=5884 nbRevisions=63833
12.36 nbUselessRevisions=54116 nbRestartNogoods=0 solvingWckTime=5.981 solvingCpuTime=5.91 expiredTime=no
12.36 totalExploration=no nbFoundSolutions=1 globalCpuTime=11.32
12.36 => wckTime=11.956 cpuTime=11.27 mem=66M359
12.37
12.37 s SATISFIABLE
12.37 v -2518 -2558 -3090 -3312 -3298 -3130 -2558 -2518 -2998 -2758 -2628 -2582 -2584 -2758 -3032 2624 -3044 2562 -3190 -2620 -2586 -2564 -2570 -2518 -3044 -2572 -3270 -3352 2622 -2626 -2828 2758 -2582 -2850 -3150 -2514 -3108 3302 -3096 -3312 -2788 -2798 -2994 -3076 -2788 -2612 2990 -2738 2592 -2788 -2526 -3190 -2894 -3150 -2608 3002 -2798 -2500 -2588 2524 -2570 -2584 2356 2786 -2828 -2480 -3150 -2828 -2558 -3038 2918 3260 -2606 -2522 -3338 -2594 -3190 -3004 -2626 -3150 2758 -2814 3122 -2436 -2828 2620 3312 -3044 3186 -2860 -2828 -2486 -2692 -2580 -2486 2782 -3004 -3110 -3052 -2564 -3352 -2934 -3312 -3106 -3004 -3044 -3004 -2990 -3150 -2758 -2568 -2558 -2432 -2630 3056 -3004 -2828 -2524 -3142 -2482 -2422 3032 -3330 -3290 -3038 3312 2992 -2618 -3044 -2604 -3104 -2558 -3312 -3150 -2602 -3150 2778 -3012 -2622 -3072 -2610 -3190 -3004 3026 -2706 -2518 -2606 -2758 -2544 3168 -2484 2998 -3190 -2758 2976 -2828 -2594 -2584 -2478 -3020 -2624 -3150 -3150 -3150 3162 -2566 -2520 2826 -2482 2622 -3190 -3150 -2518 -2628 -2540 2900 -3114 -2518 -2604 -2584 -2788 -2744 2728 -3150 2356 -3058 -2518 -2478 -2788 -3148 -2484 -2582 -3004 -2788 -2378 -3352 2640 -2980 -2992 -3150 -3154 2632 3144 -2558 -3044 -2362 -2520 -3352 -2680 -2952 -3190 3352 -2622 -2554 -3312 -2610 -2518 -3190 -2798 -2558 2818 -2950 -2788 -2688 2612 -2588 -2628 -2402 -3150 -2484 -2558 -3190 -3058 -2854 2926 -2796 -2746 -2498 2974 -2830 -2822 -2828 2590 -2560 -3244 3226 -3190 -2568 2616 3210 -3144 -2518 2480 -2480 -2480 -2620 -3150 -2402 2732 -3004 2934 -2828 -3190 -2632 -2594 -3352 2570 -3312 -2662 -2788 -2608 -3352 -2786 2356 -3060 -2520 -2378 -3004 -3146 -2788 -2600 -2526 -3044 -3146 -3038 -3352 -2518 2910 3220 2848 -2768 -3190 -2732 -3352 -3032 -3004 -2396 -2528 3166 -3018 -3102 -2622 -2828 -3352 2698 -2630 -3150 -3004 -3044 -3004 -3136 -2624 -3190 2558 2588 -3190 -3190 -2584 -2982 -3270 2998 2396 -3312 -2590 -3190 -2370 2878 -3096 -3286 2778 -2680 -3004 -2518 2596 3094 -2640 3204 3148 -3078 -2758 -2558 -2558 -3190 3148 -3134 -2746 -2396 2750 -2828 3046 -2930 -2758 -2482 -2570 -3150 -2406 -3150 -3190 -2976 -3144 -3230 2356 -3106 -2628 -2592 -2798 -2630 -3004 -3280 -2518 -2628 -2518 3352 -2620 2362 -2958 -2950 -3190 -2596 -2628 -2636 -2586 -3312 3342 2828 -3190 2788 -2632 -2798 2674 -2834 -3312 -2518 -2616 -2656 -2536 -3190 -3352 -3150 -2594 -3038 -2660 -2584 -2828 -2826 -3334 -2728 -2356 -2616 -2712 -2798 -3044 -2382 2786 -3044 -2558 -3278 -3150 -3326 -3044 -2516 -2586 -2634 -2580 -3004 -2624 -3004 -2518 2936 -3150 -2568 2992 -2626 -2788 2950 -2558 -2540 -2558 2738 -3044 -2538 -2788 2588 -3150 2852 -2482 2420 -3004 -2634 2942 -2798 2950 2788 -3150 2396 -3044 -2828 -3076 -2798 -2580 -3312 -3190 2594 -3312 -2704 -3030 -3150 -2592 -2772 -2586 -2788 -2518 -3148 -2488 -2604 -2798 -2600 -2952 2992 2990 -3190 -2522 -3352 -2458 2918 -2588 -3016 -2644 -2566 -2582 -2798 -2820 3018 -2592 -3056 -3150 -3150 2996 -2888 -2396 -2490 2962 -2878 -2720 -2608 -2824 -2758 -2524 -2758 -2518 3312 3312 -3312 -2610 -3036 2356 2940 -2518 -2756 3170 -2798 2810 -3150 -2618 -3004 -2798 3110 -2954 -3044 -3108 3310 2714 -2588 -2404 -3004 -2828 -2524 -3190 -2758 2634 -2784 2396 -2758 -2526 -3150 -3312 -3146 -2604 -2564 -3150 -2558 -3190 -2524 -2450 -3352 -3004 -2788 -2404 -2758 -2576 -2828 -3150 -2498 2520 -2472 -2626 -2620 -2798 -2828 -2486 -2558 -3044 -2518 -3146 -2558 -2518 -2558 -2518 -2576 -2584 -2634 3066 -3044 -3150 2608 -2518 -2580 -2990 -2558 -3240 -2446 3020 -2450 2396 -2518 -2628 -2518 -2522 -3142 -2568 -3150 -3208 -2632 -3096 -3044 -2994 -2478 -2788 2890 -3060 -2636 2790 -2788 2558 -2482 2922 -2758 -2522 2554 2484 -2518 -2628 -3004 -2592 -2364 -3102 -2520 -2828 -2576 -2798 3202 -3104 -2558 -2758 -2364 -2622 -3242 -2788 -2522 -2524 2962 -2672 -3104 -3150 -2630 -2578 -2524 -2584 -2758 -2826 -2480 -2578 -3044 -2608 3060 -2590 -3150 -2568 -2758 -2828 -3190 2962 -2588 -3190 -2624 -2588 -3238 -3044 -2520 -3078 -3352 2866 -2784 2410 -2824 -2606 -3036 3188 -2798 -2632 -2582 -3106 -3352 -2558 -3038 -2954 -2828 2380 2794 2740 -2788 -2780 -2610 -3190 -3044 -2622 -2798 -3190 -2458 2790 -3036 2500 -2788 3002 -2490 -3142 3126 -3108 -3102 -2558 2624 -2480 -2624 -2582 -3020 -2484 -3190 -3078 -3190 2626 -2418 -3044 2798 -2828 -2520 3020 -2566 -3352 -3294 2886 -2498 -2720 -2584 2624 -2788 2892 -2572 -2798 -3086 -2418 -3190 -2526 -2486 -2590 -2476 -3106 -2586 -2518 -2484 -2484
12.37 d NODES 750
12.37 d CHECKS 9834749
12.37
12.37 totalWckTime=12.033 totalCpuTime=11.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-221426-1168080039 -o ROOT/results/node50/solver-221426-1168080039 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221426-1168080039/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: 0.57 0.63 0.88 4/80 3717
/proc/meminfo: memFree=1431392/2055920 swapFree=4192812/4192956
[pid=3716] ppid=3714 vsize=1784 CPUtime=0
/proc/3716/stat : 3716 (java) D 3714 3716 3320 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 156402442 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3716/statm: 446 160 125 14 0 91 0
[startup+0.102719 s]
/proc/loadavg: 0.57 0.63 0.88 4/80 3717
/proc/meminfo: memFree=1431392/2055920 swapFree=4192812/4192956
[pid=3716] ppid=3714 vsize=9748 CPUtime=0
/proc/3716/stat : 3716 (java) D 3714 3716 3320 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 156402442 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7918372 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/3716/statm: 2437 412 333 14 0 1140 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9748
[startup+0.510793 s]
/proc/loadavg: 0.57 0.63 0.88 4/80 3717
/proc/meminfo: memFree=1431392/2055920 swapFree=4192812/4192956
[pid=3716] ppid=3714 vsize=915328 CPUtime=0.3
/proc/3716/stat : 3716 (java) D 3714 3716 3320 0 -1 0 5426 0 1 0 27 3 0 0 25 0 8 0 156402442 937295872 5165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3716/statm: 228832 5165 2042 14 0 215302 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 915328
[startup+1.33293 s]
/proc/loadavg: 0.69 0.65 0.89 3/87 3724
/proc/meminfo: memFree=1363368/2055920 swapFree=4192812/4192956
[pid=3716] ppid=3714 vsize=915632 CPUtime=1.11
/proc/3716/stat : 3716 (java) R 3714 3716 3320 0 -1 0 19420 0 1 0 101 10 0 0 23 0 8 0 156402442 937607168 19158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799333 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3716/statm: 228908 19158 2180 14 0 215378 0
[pid=3716/tid=3718] ppid=3714 vsize=915632 CPUtime=0.03
/proc/3716/task/3718/stat : 3718 (java) S 3714 3716 3320 0 -1 64 2819 0 0 0 3 0 0 0 17 0 8 0 156402457 937607168 19158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3719] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3719/stat : 3719 (java) S 3714 3716 3320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156402458 937607168 19158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3720] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3720/stat : 3720 (java) S 3714 3716 3320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156402458 937607168 19158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3721] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3721/stat : 3721 (java) S 3714 3716 3320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402461 937607168 19158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3722] ppid=3714 vsize=915632 CPUtime=0.14
/proc/3716/task/3722/stat : 3722 (java) S 3714 3716 3320 0 -1 64 409 0 0 0 14 0 0 0 15 0 8 0 156402461 937607168 19158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3723] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3723/stat : 3723 (java) S 3714 3716 3320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156402461 937607168 19158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3724] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3724/stat : 3724 (java) S 3714 3716 3320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156402461 937607168 19158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 915632
[startup+2.98621 s]
/proc/loadavg: 0.69 0.65 0.89 3/87 3724
/proc/meminfo: memFree=1363112/2055920 swapFree=4192812/4192956
[pid=3716] ppid=3714 vsize=915632 CPUtime=2.76
/proc/3716/stat : 3716 (java) R 3714 3716 3320 0 -1 0 19423 0 1 0 266 10 0 0 25 0 8 0 156402442 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3716/statm: 228908 19160 2180 14 0 215378 0
[pid=3716/tid=3718] ppid=3714 vsize=915632 CPUtime=0.03
/proc/3716/task/3718/stat : 3718 (java) S 3714 3716 3320 0 -1 64 2819 0 0 0 3 0 0 0 17 0 8 0 156402457 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3719] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3719/stat : 3719 (java) S 3714 3716 3320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156402458 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3720] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3720/stat : 3720 (java) S 3714 3716 3320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156402458 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3721] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3721/stat : 3721 (java) S 3714 3716 3320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402461 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3722] ppid=3714 vsize=915632 CPUtime=0.15
/proc/3716/task/3722/stat : 3722 (java) S 3714 3716 3320 0 -1 64 411 0 0 0 15 0 0 0 15 0 8 0 156402461 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3723] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3723/stat : 3723 (java) S 3714 3716 3320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156402461 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3724] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3724/stat : 3724 (java) S 3714 3716 3320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156402461 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 915632
[startup+6.27276 s]
/proc/loadavg: 0.79 0.67 0.89 4/87 3724
/proc/meminfo: memFree=1352424/2055920 swapFree=4192812/4192956
[pid=3716] ppid=3714 vsize=915632 CPUtime=6.04
/proc/3716/stat : 3716 (java) R 3714 3716 3320 0 -1 0 24721 0 1 0 590 14 0 0 25 0 8 0 156402442 937607168 24454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3716/statm: 228908 24454 2520 14 0 215378 0
[pid=3716/tid=3718] ppid=3714 vsize=915632 CPUtime=0.24
/proc/3716/task/3718/stat : 3718 (java) S 3714 3716 3320 0 -1 64 7672 0 0 0 22 2 0 0 17 0 8 0 156402457 937607168 24454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3719] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3719/stat : 3719 (java) S 3714 3716 3320 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156402458 937607168 24454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3720] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3720/stat : 3720 (java) S 3714 3716 3320 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156402458 937607168 24454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3721] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3721/stat : 3721 (java) S 3714 3716 3320 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156402461 937607168 24454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3722] ppid=3714 vsize=915632 CPUtime=0.23
/proc/3716/task/3722/stat : 3722 (java) S 3714 3716 3320 0 -1 64 465 0 0 0 23 0 0 0 15 0 8 0 156402461 937607168 24454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3723] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3723/stat : 3723 (java) S 3714 3716 3320 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156402461 937607168 24454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3716/tid=3724] ppid=3714 vsize=915632 CPUtime=0
/proc/3716/task/3724/stat : 3724 (java) S 3714 3716 3320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156402461 937607168 24454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 12.4304
CPU time (s): 12.1392
CPU user time (s): 11.9592
CPU system time (s): 0.179972
CPU usage (%): 97.6569
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9592
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28404
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= 1729
involuntary context switches= 2131
runsolver used 0.012998 s user time and 0.046992 s system time
The end
Begin job on node50 on Sat Jan 6 10:40:39 UTC 2007
IDJOB= 221426
IDBENCH= 5448
FILE ID= node50/221426-1168080039
PBS_JOBID= 3476151
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp31-35/fapp34/fapp34-0750-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221426-1168080039/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-221426-1168080039 -o ROOT/results/node50/solver-221426-1168080039 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221426-1168080039/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 35e2607ac2ad674c3dfc0c6f76eef614
RANDOM SEED= 663928388
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.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1431808 kB
Buffers: 37992 kB
Cached: 445964 kB
SwapCached: 0 kB
Active: 128140 kB
Inactive: 417088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1431808 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5220 kB
Writeback: 0 kB
Mapped: 81516 kB
Slab: 64020 kB
Committed_AS: 4143648 kB
PageTables: 1984 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= 66547 MiB
End job on node50 on Sat Jan 6 10:40:52 UTC 2007