0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=esac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/215691-1168235707/unknown.xml
0.34
0.34 domains being loaded...
0.34
0.34 variables being loaded...
0.42 nbVariables=572 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.135 cpuTime=0.1 mem=8M25
0.42
0.42 predicates being loaded...
1.20
1.20 constraints being loaded...
3.40 nbConstraints=124 nbMergedConstraints=91 nbConflictsStructures=36 nbSharedConflictsStructures=30
3.40 nbUnbuiltConflictsStructures=54 nbSharedBinaryRepresentations=0 nbEvaluationManagers=90
3.40 nbSharedEvaluationManagers=34 maxDegree=9 maxArity=518
3.40 => wckTime=3.119 cpuTime=2.89 mem=26M795
3.45
3.45 solver IterativeSystematicSolver being built...
3.68 => wckTime=3.395 cpuTime=3.07 mem=28M117
24.28
24.28 preprocessing
24.28 nbConstraintChecks=2740951 nbValidityChecks=44117 nbPropagations=1699 nbRevisions=23672
24.28 nbUselessRevisions=23398 nbSingletonTests=871 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
24.28 detectedInconsistency=no
24.28 => wckTime=20.593 cpuTime=20.4 mem=31M36
24.28
24.28 global
24.28 nbConstraintChecks=2740951 nbValidityChecks=44117 nbPropagations=1699 nbRevisions=23672
24.28 nbUselessRevisions=23398 nbRestartNogoods=0 solvingWckTime=20.595 solvingCpuTime=20.4 expiredTime=no
24.28 totalExploration=no nbFoundSolutions=1 globalCpuTime=23.52
24.28 => wckTime=23.992 cpuTime=23.47 mem=31M36
24.28
24.28 s SATISFIABLE
24.28 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
24.28 d NODES 0
24.28 d CHECKS 2740951
24.28
24.28 totalWckTime=24.066 totalCpuTime=23.53
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-215691-1168235707 -o ROOT/results/node39/solver-215691-1168235707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215691-1168235707/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.91 0.98 1.08 3/68 17257
/proc/meminfo: memFree=793168/2055920 swapFree=4187312/4192956
[pid=17256] ppid=17254 vsize=1500 CPUtime=0
/proc/17256/stat : 17256 (java) R 17254 17256 16726 0 -1 0 264 0 0 0 0 0 0 0 18 0 1 0 171970621 1536000 69 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11063904 0 0 4096 0 0 0 0 17 1 0 0
/proc/17256/statm: 375 69 55 14 0 8 0
[startup+0.1027 s]
/proc/loadavg: 0.91 0.98 1.08 3/68 17257
/proc/meminfo: memFree=793168/2055920 swapFree=4187312/4192956
[pid=17256] ppid=17254 vsize=915724 CPUtime=0.09
/proc/17256/stat : 17256 (java) R 17254 17256 16726 0 -1 0 3070 0 1 0 7 2 0 0 17 0 8 0 171970621 937701376 2816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154155575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17256/statm: 228931 2816 1455 14 0 215426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 915724
[startup+0.510738 s]
/proc/loadavg: 0.91 0.98 1.08 3/68 17257
/proc/meminfo: memFree=793168/2055920 swapFree=4187312/4192956
[pid=17256] ppid=17254 vsize=915956 CPUtime=0.5
/proc/17256/stat : 17256 (java) R 17254 17256 16726 0 -1 0 7103 0 1 0 45 5 0 0 16 0 8 0 171970621 937938944 6842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473372 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17256/statm: 228989 6842 2139 14 0 215459 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915956
[startup+1.33281 s]
/proc/loadavg: 0.91 0.98 1.08 2/75 17267
/proc/meminfo: memFree=735960/2055920 swapFree=4187312/4192956
[pid=17256] ppid=17254 vsize=916088 CPUtime=1.32
/proc/17256/stat : 17256 (java) S 17254 17256 16726 0 -1 0 16903 0 1 0 123 9 0 0 17 0 8 0 171970621 938074112 16639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17256/statm: 229022 16639 2158 14 0 215492 0
[pid=17256/tid=17258] ppid=17254 vsize=916088 CPUtime=0.01
/proc/17256/task/17258/stat : 17258 (java) R 17254 17256 16726 0 -1 64 424 0 0 0 1 0 0 0 16 0 8 0 171970625 938074112 16639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154048334 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17256/tid=17259] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17259/stat : 17259 (java) S 17254 17256 16726 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 171970625 938074112 16639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17260] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17260/stat : 17260 (java) S 17254 17256 16726 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171970625 938074112 16639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17261] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17261/stat : 17261 (java) S 17254 17256 16726 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171970628 938074112 16639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17262] ppid=17254 vsize=916088 CPUtime=0.11
/proc/17256/task/17262/stat : 17262 (java) S 17254 17256 16726 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 171970628 938074112 16639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17256/tid=17263] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17263/stat : 17263 (java) S 17254 17256 16726 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171970628 938074112 16639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17264] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17264/stat : 17264 (java) S 17254 17256 16726 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171970628 938074112 16639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 916088
[startup+2.98496 s]
/proc/loadavg: 0.91 0.98 1.08 3/88 17325
/proc/meminfo: memFree=704944/2055920 swapFree=4187312/4192956
[pid=17256] ppid=17254 vsize=916088 CPUtime=2.96
/proc/17256/stat : 17256 (java) R 17254 17256 16726 0 -1 0 17319 0 1 0 286 10 0 0 25 0 8 0 171970621 938074112 17047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17256/statm: 229022 17047 2179 14 0 215492 0
[pid=17256/tid=17258] ppid=17254 vsize=916088 CPUtime=0.04
/proc/17256/task/17258/stat : 17258 (java) S 17254 17256 16726 0 -1 64 727 0 0 0 4 0 0 0 17 0 8 0 171970625 938074112 17047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17259/stat : 17259 (java) S 17254 17256 16726 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 171970625 938074112 17047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17260] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17260/stat : 17260 (java) S 17254 17256 16726 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171970625 938074112 17047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17261] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17261/stat : 17261 (java) S 17254 17256 16726 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171970628 938074112 17047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17262] ppid=17254 vsize=916088 CPUtime=0.18
/proc/17256/task/17262/stat : 17262 (java) S 17254 17256 16726 0 -1 64 379 0 0 0 18 0 0 0 16 0 8 0 171970628 938074112 17047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17263] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17263/stat : 17263 (java) S 17254 17256 16726 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171970628 938074112 17047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17264] ppid=17254 vsize=916088 CPUtime=0
/proc/17256/task/17264/stat : 17264 (java) S 17254 17256 16726 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171970628 938074112 17047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916088
[startup+6.27526 s]
/proc/loadavg: 1.00 1.00 1.09 3/88 17325
/proc/meminfo: memFree=651696/2055920 swapFree=4187312/4192956
[pid=17256] ppid=17254 vsize=916220 CPUtime=6.22
/proc/17256/stat : 17256 (java) R 17254 17256 16726 0 -1 0 18277 0 1 0 611 11 0 0 25 0 8 0 171970621 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17256/statm: 229055 18004 2544 14 0 215525 0
[pid=17256/tid=17258] ppid=17254 vsize=916220 CPUtime=0.08
/proc/17256/task/17258/stat : 17258 (java) S 17254 17256 16726 0 -1 64 1175 0 0 0 8 0 0 0 16 0 8 0 171970625 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17259/stat : 17259 (java) S 17254 17256 16726 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 171970625 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17260] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17260/stat : 17260 (java) S 17254 17256 16726 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171970625 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17261] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17261/stat : 17261 (java) S 17254 17256 16726 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171970628 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17262] ppid=17254 vsize=916220 CPUtime=0.27
/proc/17256/task/17262/stat : 17262 (java) S 17254 17256 16726 0 -1 64 427 0 0 0 26 1 0 0 15 0 8 0 171970628 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17263] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17263/stat : 17263 (java) S 17254 17256 16726 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171970628 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17264] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17264/stat : 17264 (java) S 17254 17256 16726 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171970628 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 916220
[startup+12.7578 s]
/proc/loadavg: 1.08 1.02 1.09 3/88 17325
/proc/meminfo: memFree=651728/2055920 swapFree=4187312/4192956
[pid=17256] ppid=17254 vsize=916220 CPUtime=12.66
/proc/17256/stat : 17256 (java) R 17254 17256 16726 0 -1 0 18277 0 1 0 1255 11 0 0 25 0 8 0 171970621 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17256/statm: 229055 18004 2544 14 0 215525 0
[pid=17256/tid=17258] ppid=17254 vsize=916220 CPUtime=0.08
/proc/17256/task/17258/stat : 17258 (java) S 17254 17256 16726 0 -1 64 1175 0 0 0 8 0 0 0 16 0 8 0 171970625 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17259] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17259/stat : 17259 (java) S 17254 17256 16726 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 171970625 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17260] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17260/stat : 17260 (java) S 17254 17256 16726 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171970625 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17261] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17261/stat : 17261 (java) S 17254 17256 16726 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 171970628 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17262] ppid=17254 vsize=916220 CPUtime=0.27
/proc/17256/task/17262/stat : 17262 (java) S 17254 17256 16726 0 -1 64 427 0 0 0 26 1 0 0 15 0 8 0 171970628 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17263] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17263/stat : 17263 (java) S 17254 17256 16726 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171970628 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17256/tid=17264] ppid=17254 vsize=916220 CPUtime=0
/proc/17256/task/17264/stat : 17264 (java) S 17254 17256 16726 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171970628 938209280 18004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 916220
Child status: 0
Real time (s): 24.3262
CPU time (s): 24.1083
CPU user time (s): 23.9804
CPU system time (s): 0.12798
CPU usage (%): 99.1044
Max. virtual memory (cumulated for all children) (KiB): 916220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.9804
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18296
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= 1255
runsolver used 0.024996 s user time and 0.070989 s system time
The end
Begin job on node39 on Mon Jan 8 05:55:08 UTC 2007
IDJOB= 215691
IDBENCH= 5021
FILE ID= node39/215691-1168235707
PBS_JOBID= 3481470
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-cracpb1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215691-1168235707/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-215691-1168235707 -o ROOT/results/node39/solver-215691-1168235707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215691-1168235707/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 467d227e8abed75ae8ce50faa143473e
RANDOM SEED= 727993774
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.236
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.236
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: 793712 kB
Buffers: 15072 kB
Cached: 1179676 kB
SwapCached: 1440 kB
Active: 170364 kB
Inactive: 1040412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 793712 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 2328 kB
Writeback: 0 kB
Mapped: 23196 kB
Slab: 37208 kB
Committed_AS: 3510188 kB
PageTables: 1620 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= 66558 MiB
End job on node39 on Mon Jan 8 05:55:35 UTC 2007