0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/214404-1168230156/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.42 nbVariables=216 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.112 cpuTime=0.09 mem=6M951
0.42
0.42 predicates being loaded...
0.43
0.43 constraints being loaded...
0.67 nbConstraints=296 nbMergedConstraints=288 nbConvertedConstraints=138 nbConvertConstraintsChecks=68
0.67 nbExtensionStructures=3 nbSharedExtensionStructures=135 nbConflictsStructures=8 nbSharedConflictsStructures=276
0.67 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=9 nbEvaluationManagers=6
0.67 nbSharedEvaluationManagers=152 maxDegree=8 maxArity=18
0.67 => wckTime=0.357 cpuTime=0.26 mem=15M728
0.71
0.71 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.587 cpuTime=0.41 mem=16M697
1.20
1.20 preprocessing
1.20 nbConstraintChecks=111458 nbValidityChecks=14786 nbPropagations=813 nbRevisions=8516 nbUselessRevisions=8079
1.20 nbSingletonTests=288 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.20 => wckTime=0.299 cpuTime=0.26 mem=16M697
1.86
1.86 search
1.86 run=0 nbConstraintChecks=345466 nbValidityChecks=4024 nbPropagations=1036 nbRevisions=10895
1.86 nbUselessRevisions=10076 nbAssignments=56 nbFailedAssignments=4 nbBacktracks=15 nbVisitedNodes=66
1.86 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.964 cpuTime=0.92 mem=16M697
2.30
2.30 search
2.30 run=1 nbConstraintChecks=577897 nbValidityChecks=6617 nbPropagations=2269 nbRevisions=23379
2.30 nbUselessRevisions=21423 nbAssignments=120 nbFailedAssignments=7 nbBacktracks=45 nbVisitedNodes=136
2.30 nbRestartNogoods=1 mapSize=12 nbInferences=0 nbTooLargeKeys=0
2.30 => wckTime=1.402 cpuTime=1.35 mem=16M697
2.79
2.79 search
2.79 run=2 nbConstraintChecks=836278 nbValidityChecks=12229 nbPropagations=3891 nbRevisions=39376
2.79 nbUselessRevisions=35470 nbAssignments=261 nbFailedAssignments=17 nbBacktracks=76 nbVisitedNodes=295
2.79 nbRestartNogoods=3 mapSize=27 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=1.893 cpuTime=1.83 mem=16M697
3.09
3.09 search
3.09 run=3 nbConstraintChecks=988598 nbValidityChecks=24911 nbPropagations=6368 nbRevisions=63244
3.09 nbUselessRevisions=56340 nbAssignments=475 nbFailedAssignments=28 nbBacktracks=126 nbVisitedNodes=395
3.09 nbRestartNogoods=6 mapSize=46 nbInferences=0 nbTooLargeKeys=0
3.09 => wckTime=2.191 cpuTime=2.13 mem=16M697
4.02
4.02 search
4.02 run=4 nbConstraintChecks=1487406 nbValidityChecks=36548 nbPropagations=9826 nbRevisions=94624
4.02 nbUselessRevisions=83174 nbAssignments=562 nbFailedAssignments=41 nbBacktracks=181 nbVisitedNodes=510
4.02 nbRestartNogoods=9 mapSize=86 nbInferences=0 nbTooLargeKeys=0
4.02 => wckTime=3.122 cpuTime=3.05 mem=16M697
5.07
5.07 search
5.07 run=5 nbConstraintChecks=2058077 nbValidityChecks=45762 nbPropagations=14192 nbRevisions=132154
5.07 nbUselessRevisions=114697 nbAssignments=667 nbFailedAssignments=57 nbBacktracks=262 nbVisitedNodes=650
5.07 nbRestartNogoods=10 mapSize=119 nbInferences=0 nbTooLargeKeys=0
5.07 => wckTime=4.173 cpuTime=4.09 mem=16M697
6.37
6.37 search
6.37 run=6 nbConstraintChecks=2751665 nbValidityChecks=61063 nbPropagations=20234 nbRevisions=180091
6.37 nbUselessRevisions=154297 nbAssignments=820 nbFailedAssignments=90 nbBacktracks=377 nbVisitedNodes=868
6.37 nbRestartNogoods=12 mapSize=183 nbInferences=0 nbTooLargeKeys=0
6.37 => wckTime=5.468 cpuTime=5.38 mem=16M697
10.03
10.03 search
10.03 run=7 nbConstraintChecks=4690507 nbValidityChecks=92806 nbPropagations=29072 nbRevisions=248392
10.03 nbUselessRevisions=209881 nbAssignments=1059 nbFailedAssignments=146 nbBacktracks=554 nbVisitedNodes=1218
10.03 nbRestartNogoods=13 mapSize=293 nbInferences=0 nbTooLargeKeys=0
10.03 => wckTime=9.128 cpuTime=9.02 mem=16M697
11.64
11.64 search
11.64 run=8 nbConstraintChecks=5519549 nbValidityChecks=116765 nbPropagations=40057 nbRevisions=332570
11.64 nbUselessRevisions=278016 nbAssignments=1417 nbFailedAssignments=178 nbBacktracks=851 nbVisitedNodes=1658
11.64 nbRestartNogoods=14 mapSize=371 nbInferences=0 nbTooLargeKeys=0
11.64 => wckTime=10.739 cpuTime=10.63 mem=16M697
12.10
12.10 search
12.10 run=9 nbConstraintChecks=5732372 nbValidityChecks=130104 nbPropagations=52137 nbRevisions=425635
12.10 nbUselessRevisions=353610 nbAssignments=1819 nbFailedAssignments=190 nbBacktracks=984 nbVisitedNodes=2046
12.10 nbRestartNogoods=18 mapSize=395 nbInferences=0 nbTooLargeKeys=0
12.10 => wckTime=11.206 cpuTime=11.08 mem=17M672
12.10
12.10 global
12.10 nbConstraintChecks=5843830 nbValidityChecks=144890 nbPropagations=52950 nbRevisions=434151
12.10 nbUselessRevisions=361689 nbRestartNogoods=18 solvingWckTime=11.207 solvingCpuTime=11.08 expiredTime=no
12.10 totalExploration=no nbFoundSolutions=1 globalCpuTime=11.55
12.10 => wckTime=11.796 cpuTime=11.49 mem=17M672
12.11
12.11 s SATISFIABLE
12.11 v 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 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 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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
12.11 d NODES 1819
12.11 d CHECKS 5843830
12.11
12.11 totalWckTime=11.876 totalCpuTime=11.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-214404-1168230156 -o ROOT/results/node58/solver-214404-1168230156 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214404-1168230156/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.94 0.98 1.02 4/81 5992
/proc/meminfo: memFree=1808784/2055920 swapFree=4192812/4192956
[pid=5991] ppid=5989 vsize=1784 CPUtime=0
/proc/5991/stat : 5991 (java) R 5989 5991 5779 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 171413733 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/5991/statm: 446 140 106 14 0 91 0
[startup+0.105023 s]
/proc/loadavg: 0.94 0.98 1.02 4/81 5992
/proc/meminfo: memFree=1808784/2055920 swapFree=4192812/4192956
[pid=5991] ppid=5989 vsize=914988 CPUtime=0.08
/proc/5991/stat : 5991 (java) R 5989 5991 5779 0 -1 0 3005 0 1 0 7 1 0 0 17 0 8 0 171413733 936947712 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5991/statm: 228747 2751 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513058 s]
/proc/loadavg: 0.94 0.98 1.02 4/81 5992
/proc/meminfo: memFree=1808784/2055920 swapFree=4192812/4192956
[pid=5991] ppid=5989 vsize=915328 CPUtime=0.49
/proc/5991/stat : 5991 (java) S 5989 5991 5779 0 -1 0 6426 0 1 0 46 3 0 0 17 0 8 0 171413733 937295872 6165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5991/statm: 228832 6165 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33612 s]
/proc/loadavg: 1.11 1.02 1.03 3/88 5999
/proc/meminfo: memFree=1783320/2055920 swapFree=4192812/4192956
[pid=5991] ppid=5989 vsize=915552 CPUtime=1.3
/proc/5991/stat : 5991 (java) R 5989 5991 5779 0 -1 0 9169 0 1 0 125 5 0 0 19 0 8 0 171413733 937525248 8907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073694831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5991/statm: 228888 8907 2542 14 0 215358 0
[pid=5991/tid=5993] ppid=5989 vsize=915552 CPUtime=0.03
/proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5779 0 -1 64 193 0 0 0 3 0 0 0 16 0 8 0 171413737 937525248 8907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5994] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171413737 937525248 8907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5995] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5779 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171413737 937525248 8907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5996] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171413741 937525248 8907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5997] ppid=5989 vsize=915552 CPUtime=0.21
/proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5779 0 -1 64 389 0 0 0 21 0 0 0 17 0 8 0 171413741 937525248 8907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5998] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5779 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171413741 937525248 8907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5999] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171413741 937525248 8907 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) 915552
[startup+2.98927 s]
/proc/loadavg: 1.11 1.02 1.03 3/88 5999
/proc/meminfo: memFree=1782872/2055920 swapFree=4192812/4192956
[pid=5991] ppid=5989 vsize=915552 CPUtime=2.95
/proc/5991/stat : 5991 (java) R 5989 5991 5779 0 -1 0 9196 0 1 0 290 5 0 0 25 0 8 0 171413733 937525248 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5991/statm: 228888 8932 2543 14 0 215358 0
[pid=5991/tid=5993] ppid=5989 vsize=915552 CPUtime=0.03
/proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5779 0 -1 64 193 0 0 0 3 0 0 0 17 0 8 0 171413737 937525248 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5994] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171413737 937525248 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5995] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5779 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171413737 937525248 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5996] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171413741 937525248 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5997] ppid=5989 vsize=915552 CPUtime=0.22
/proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5779 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 171413741 937525248 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5998] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5779 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171413741 937525248 8932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5999] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171413741 937525248 8932 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) 915552
[startup+6.26855 s]
/proc/loadavg: 1.11 1.02 1.03 3/88 5999
/proc/meminfo: memFree=1782744/2055920 swapFree=4192812/4192956
[pid=5991] ppid=5989 vsize=915552 CPUtime=6.21
/proc/5991/stat : 5991 (java) R 5989 5991 5779 0 -1 0 9215 0 1 0 616 5 0 0 25 0 8 0 171413733 937525248 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5991/statm: 228888 8950 2543 14 0 215358 0
[pid=5991/tid=5993] ppid=5989 vsize=915552 CPUtime=0.03
/proc/5991/task/5993/stat : 5993 (java) S 5989 5991 5779 0 -1 64 193 0 0 0 3 0 0 0 16 0 8 0 171413737 937525248 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5994] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5994/stat : 5994 (java) S 5989 5991 5779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171413737 937525248 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5995] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5995/stat : 5995 (java) S 5989 5991 5779 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171413737 937525248 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5996] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5996/stat : 5996 (java) S 5989 5991 5779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171413741 937525248 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5997] ppid=5989 vsize=915552 CPUtime=0.22
/proc/5991/task/5997/stat : 5997 (java) S 5989 5991 5779 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 171413741 937525248 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5998] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5998/stat : 5998 (java) S 5989 5991 5779 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171413741 937525248 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5991/tid=5999] ppid=5989 vsize=915552 CPUtime=0
/proc/5991/task/5999/stat : 5999 (java) S 5989 5991 5779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171413741 937525248 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915552
Child status: 0
Real time (s): 12.1218
CPU time (s): 12.0472
CPU user time (s): 11.9782
CPU system time (s): 0.068989
CPU usage (%): 99.384
Max. virtual memory (cumulated for all children) (KiB): 915552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9782
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9357
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= 1200
involuntary context switches= 1477
runsolver used 0.015997 s user time and 0.047992 s system time
The end
Begin job on node58 on Mon Jan 8 04:22:38 UTC 2007
IDJOB= 214404
IDBENCH= 4922
FILE ID= node58/214404-1168230156
PBS_JOBID= 3481371
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/routing/s3-3-3-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214404-1168230156/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-214404-1168230156 -o ROOT/results/node58/solver-214404-1168230156 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214404-1168230156/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bfca45471ad0dc9a444be05ebc0e5d94
RANDOM SEED= 411729591
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.223
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.223
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: 1809200 kB
Buffers: 41200 kB
Cached: 108944 kB
SwapCached: 0 kB
Active: 98280 kB
Inactive: 89888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1809200 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2388 kB
Writeback: 0 kB
Mapped: 56120 kB
Slab: 43892 kB
Committed_AS: 2903400 kB
PageTables: 1828 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= 66555 MiB
End job on node58 on Mon Jan 8 04:22:51 UTC 2007