0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/212701-1168222914/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=113 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.39
0.39 predicates being loaded...
0.43
0.43 constraints being loaded...
0.71 nbConstraints=54 nbMergedConstraints=17 nbConflictsStructures=12 nbSharedConflictsStructures=35
0.71 nbUnbuiltConflictsStructures=3 nbSharedBinaryRepresentations=0 nbEvaluationManagers=15
0.71 nbSharedEvaluationManagers=39 maxDegree=15 maxArity=101
0.71 => wckTime=0.417 cpuTime=0.32 mem=21M599
0.75
0.75 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.627 cpuTime=0.47 mem=16M451
0.98
0.98 preprocessing
0.98 nbConstraintChecks=2145 nbValidityChecks=11254 nbPropagations=275 nbRevisions=6100 nbUselessRevisions=6040
0.98 nbSingletonTests=125 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.058 cpuTime=0.03 mem=16M451
1.02
1.02 search
1.02 run=0 nbConstraintChecks=3831 nbValidityChecks=7448 nbPropagations=424 nbRevisions=10221
1.02 nbUselessRevisions=10012 nbAssignments=46 nbFailedAssignments=2 nbBacktracks=13 nbVisitedNodes=52
1.02 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.099 cpuTime=0.06 mem=16M451
1.08
1.08 search
1.08 run=1 nbConstraintChecks=24068 nbValidityChecks=14662 nbPropagations=958 nbRevisions=24409
1.08 nbUselessRevisions=23850 nbAssignments=90 nbFailedAssignments=4 nbBacktracks=28 nbVisitedNodes=101
1.08 nbRestartNogoods=1 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.16 cpuTime=0.12 mem=16M451
1.10
1.10 search
1.10 run=2 nbConstraintChecks=28874 nbValidityChecks=22507 nbPropagations=1608 nbRevisions=42892
1.10 nbUselessRevisions=41830 nbAssignments=141 nbFailedAssignments=6 nbBacktracks=50 nbVisitedNodes=160
1.10 nbRestartNogoods=2 mapSize=15 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.182 cpuTime=0.14 mem=16M451
1.14
1.14 search
1.14 run=3 nbConstraintChecks=37245 nbValidityChecks=33503 nbPropagations=2450 nbRevisions=67744
1.14 nbUselessRevisions=65976 nbAssignments=209 nbFailedAssignments=10 nbBacktracks=97 nbVisitedNodes=235
1.14 nbRestartNogoods=3 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.217 cpuTime=0.17 mem=16M451
25.13
25.13 search
25.13 run=4 nbConstraintChecks=1372141 nbValidityChecks=40709 nbPropagations=3480 nbRevisions=96773
25.13 nbUselessRevisions=94225 nbAssignments=322 nbFailedAssignments=10 nbBacktracks=97 nbVisitedNodes=348
25.13 nbRestartNogoods=4 mapSize=21 nbInferences=0 nbTooLargeKeys=0
25.13 => wckTime=24.211 cpuTime=24.14 mem=16M451
25.13
25.13 global
25.13 nbConstraintChecks=1374286 nbValidityChecks=51963 nbPropagations=3755 nbRevisions=102873
25.13 nbUselessRevisions=100265 nbRestartNogoods=4 solvingWckTime=24.213 solvingCpuTime=24.15 expiredTime=no
25.13 totalExploration=no nbFoundSolutions=1 globalCpuTime=24.66
25.13 => wckTime=24.841 cpuTime=24.62 mem=16M451
25.14
25.14 s SATISFIABLE
25.14 v 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1
25.14 d NODES 322
25.14 d CHECKS 1374286
25.14
25.14 totalWckTime=24.917 totalCpuTime=24.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-212701-1168222914 -o ROOT/results/node1/solver-212701-1168222914 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212701-1168222914/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.00 2.00 4/86 2703
/proc/meminfo: memFree=1557264/2055920 swapFree=4165612/4192956
[pid=2702] ppid=2700 vsize=172 CPUtime=0
/proc/2702/stat : 2702 (java) R 2700 2702 1701 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 170687172 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5828907 0 0 4096 0 0 0 0 17 0 0 0
/proc/2702/statm: 43 24 18 14 0 3 0
[startup+0.108346 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 2703
/proc/meminfo: memFree=1557264/2055920 swapFree=4165612/4192956
[pid=2702] ppid=2700 vsize=914988 CPUtime=0.1
/proc/2702/stat : 2702 (java) R 2700 2702 1701 0 -1 0 3084 0 1 0 8 2 0 0 23 0 8 0 170687172 936947712 2830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2702/statm: 228747 2830 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.51643 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 2703
/proc/meminfo: memFree=1557264/2055920 swapFree=4165612/4192956
[pid=2702] ppid=2700 vsize=915328 CPUtime=0.5
/proc/2702/stat : 2702 (java) R 2700 2702 1701 0 -1 0 9266 0 1 0 44 6 0 0 25 0 8 0 170687172 937295872 9005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072921552 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2702/statm: 228832 9006 2154 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33749 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2710
/proc/meminfo: memFree=1525912/2055920 swapFree=4165612/4192956
[pid=2702] ppid=2700 vsize=915460 CPUtime=1.31
/proc/2702/stat : 2702 (java) R 2700 2702 1701 0 -1 0 10551 0 1 0 123 8 0 0 25 0 8 0 170687172 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2702/statm: 228865 10289 2543 14 0 215335 0
[pid=2702/tid=2704] ppid=2700 vsize=915460 CPUtime=0.02
/proc/2702/task/2704/stat : 2704 (java) S 2700 2702 1701 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2705] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2705/stat : 2705 (java) S 2700 2702 1701 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2706] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2706/stat : 2706 (java) S 2700 2702 1701 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2707] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2707/stat : 2707 (java) S 2700 2702 1701 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2708] ppid=2700 vsize=915460 CPUtime=0.2
/proc/2702/task/2708/stat : 2708 (java) S 2700 2702 1701 0 -1 64 378 0 0 0 18 2 0 0 16 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2709] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2709/stat : 2709 (java) S 2700 2702 1701 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2710] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2710/stat : 2710 (java) S 2700 2702 1701 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98468 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2710
/proc/meminfo: memFree=1525912/2055920 swapFree=4165612/4192956
[pid=2702] ppid=2700 vsize=915460 CPUtime=2.97
/proc/2702/stat : 2702 (java) R 2700 2702 1701 0 -1 0 10551 0 1 0 288 9 0 0 25 0 8 0 170687172 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073641596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2702/statm: 228865 10289 2543 14 0 215335 0
[pid=2702/tid=2704] ppid=2700 vsize=915460 CPUtime=0.02
/proc/2702/task/2704/stat : 2704 (java) S 2700 2702 1701 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2705] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2705/stat : 2705 (java) S 2700 2702 1701 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2706] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2706/stat : 2706 (java) S 2700 2702 1701 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2707] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2707/stat : 2707 (java) S 2700 2702 1701 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2708] ppid=2700 vsize=915460 CPUtime=0.2
/proc/2702/task/2708/stat : 2708 (java) S 2700 2702 1701 0 -1 64 378 0 0 0 18 2 0 0 16 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2709] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2709/stat : 2709 (java) S 2700 2702 1701 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2710] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2710/stat : 2710 (java) S 2700 2702 1701 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915460
[startup+6.28307 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2710
/proc/meminfo: memFree=1525856/2055920 swapFree=4165612/4192956
[pid=2702] ppid=2700 vsize=915460 CPUtime=6.27
/proc/2702/stat : 2702 (java) R 2700 2702 1701 0 -1 0 10551 0 1 0 618 9 0 0 25 0 8 0 170687172 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073641654 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2702/statm: 228865 10289 2543 14 0 215335 0
[pid=2702/tid=2704] ppid=2700 vsize=915460 CPUtime=0.02
/proc/2702/task/2704/stat : 2704 (java) S 2700 2702 1701 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2705] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2705/stat : 2705 (java) S 2700 2702 1701 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2706] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2706/stat : 2706 (java) S 2700 2702 1701 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2707] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2707/stat : 2707 (java) S 2700 2702 1701 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2708] ppid=2700 vsize=915460 CPUtime=0.2
/proc/2702/task/2708/stat : 2708 (java) S 2700 2702 1701 0 -1 64 378 0 0 0 18 2 0 0 16 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2709] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2709/stat : 2709 (java) S 2700 2702 1701 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2710] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2710/stat : 2710 (java) S 2700 2702 1701 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915460
[startup+12.7588 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2710
/proc/meminfo: memFree=1525856/2055920 swapFree=4165612/4192956
[pid=2702] ppid=2700 vsize=915460 CPUtime=12.74
/proc/2702/stat : 2702 (java) R 2700 2702 1701 0 -1 0 10551 0 1 0 1265 9 0 0 25 0 8 0 170687172 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2702/statm: 228865 10289 2543 14 0 215335 0
[pid=2702/tid=2704] ppid=2700 vsize=915460 CPUtime=0.02
/proc/2702/task/2704/stat : 2704 (java) S 2700 2702 1701 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2705] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2705/stat : 2705 (java) S 2700 2702 1701 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2706] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2706/stat : 2706 (java) S 2700 2702 1701 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170687176 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2707] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2707/stat : 2707 (java) S 2700 2702 1701 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2708] ppid=2700 vsize=915460 CPUtime=0.2
/proc/2702/task/2708/stat : 2708 (java) S 2700 2702 1701 0 -1 64 378 0 0 0 18 2 0 0 16 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2709] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2709/stat : 2709 (java) S 2700 2702 1701 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2702/tid=2710] ppid=2700 vsize=915460 CPUtime=0
/proc/2702/task/2710/stat : 2710 (java) S 2700 2702 1701 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170687179 937431040 10289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 25.156
CPU time (s): 25.1202
CPU user time (s): 25.0212
CPU system time (s): 0.098984
CPU usage (%): 99.8575
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.0212
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10561
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= 1537
involuntary context switches= 2223
runsolver used 0.041993 s user time and 0.080987 s system time
The end
Begin job on node1 on Mon Jan 8 02:21:54 UTC 2007
IDJOB= 212701
IDBENCH= 4791
FILE ID= node1/212701-1168222914
PBS_JOBID= 3480654
Free space on /tmp= 66306 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-misc01.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212701-1168222914/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-212701-1168222914 -o ROOT/results/node1/solver-212701-1168222914 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212701-1168222914/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d654d3e40b8e0cde77f455f3860fe12c
RANDOM SEED= 349561198
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.234
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.234
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: 1557744 kB
Buffers: 46736 kB
Cached: 335272 kB
SwapCached: 3620 kB
Active: 212228 kB
Inactive: 229380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1557744 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 1704 kB
Writeback: 0 kB
Mapped: 73052 kB
Slab: 41372 kB
Committed_AS: 4943960 kB
PageTables: 2336 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= 66306 MiB
End job on node1 on Mon Jan 8 02:22:20 UTC 2007