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/233875-1168328810/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=49 nbDomainTypes=49 minDomainSize=369 maxDomainSize=463
0.43 => wckTime=0.113 cpuTime=0.1 mem=7M879
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
14.39 nbConstraints=294 nbConvertedConstraints=294 nbConvertConstraintsChecks=49792885 nbExtensionStructures=294
14.39 nbSharedExtensionStructures=0 nbConflictsStructures=294 nbSharedConflictsStructures=0
14.39 nbSharedBinaryRepresentations=84236 maxDegree=12 maxArity=2
14.39 => wckTime=14.07 cpuTime=13.85 mem=39M422
14.48
14.48 solver IterativeSystematicSolver being built...
14.65 => wckTime=14.332 cpuTime=13.98 mem=29M386
14.72
14.72 preprocessing
14.72 nbConstraintChecks=1022805 nbPropagations=632 nbRevisions=1058 nbUselessRevisions=443 nbSingletonTests=52
14.72 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
14.72 => wckTime=0.071 cpuTime=0.05 mem=29M386
14.93
14.93 search
14.93 run=0 nbConstraintChecks=3707652 nbPropagations=1926 nbRevisions=8054 nbUselessRevisions=3902
14.93 nbAssignments=247 nbFailedAssignments=212 nbBacktracks=11 nbVisitedNodes=468 nbRestartNogoods=0 mapSize=10
14.93 nbInferences=0 nbTooLargeKeys=0
14.93 => wckTime=0.277 cpuTime=0.24 mem=29M386
15.33
15.33 search
15.33 run=1 nbConstraintChecks=18513516 nbPropagations=10894 nbRevisions=40242 nbUselessRevisions=21514
15.33 nbAssignments=964 nbFailedAssignments=451 nbBacktracks=26 nbVisitedNodes=989 nbRestartNogoods=17 mapSize=19
15.33 nbInferences=0 nbTooLargeKeys=0
15.33 => wckTime=0.679 cpuTime=0.63 mem=29M386
15.78
15.78 search
15.78 run=2 nbConstraintChecks=33992214 nbPropagations=27317 nbRevisions=95062 nbUselessRevisions=50015
15.78 nbAssignments=1713 nbFailedAssignments=759 nbBacktracks=48 nbVisitedNodes=1660 nbRestartNogoods=58 mapSize=38
15.78 nbInferences=0 nbTooLargeKeys=0
15.78 => wckTime=1.126 cpuTime=1.06 mem=30M344
17.95
17.95 search
17.95 run=3 nbConstraintChecks=114968164 nbPropagations=75724 nbRevisions=258106 nbUselessRevisions=132574
17.95 nbAssignments=5041 nbFailedAssignments=2058 nbBacktracks=81 nbVisitedNodes=4330 nbRestartNogoods=127
17.95 mapSize=71 nbInferences=0 nbTooLargeKeys=0
17.95 => wckTime=3.293 cpuTime=3.18 mem=30M344
18.89
18.89 search
18.89 run=4 nbConstraintChecks=149603756 nbPropagations=138546 nbRevisions=487156 nbUselessRevisions=246680
18.89 nbAssignments=6725 nbFailedAssignments=3238 nbBacktracks=118 nbVisitedNodes=6812 nbRestartNogoods=206
18.89 mapSize=108 nbInferences=0 nbTooLargeKeys=0
18.89 => wckTime=4.239 cpuTime=4.11 mem=30M344
18.89
18.89 global
18.89 nbConstraintChecks=150626561 nbPropagations=139178 nbRevisions=488214 nbUselessRevisions=247123
18.89 nbRestartNogoods=206 solvingWckTime=4.241 solvingCpuTime=4.11 expiredTime=no totalExploration=no
18.89 nbFoundSolutions=1 globalCpuTime=18.14
18.89 => wckTime=18.578 cpuTime=18.09 mem=30M344
18.90
18.90 s SATISFIABLE
18.90 v 83 0 75 383 250 366 174 368 342 322 289 192 0 84 403 248 306 75 170 0 160 0 190 378 347 289 83 243 325 409 250 0 64 172 283 417 0 192 250 84 40 347 353 174 0 375 244 73 64
18.90 d NODES 6725
18.90 d CHECKS 150626561
18.90
18.90 totalWckTime=18.658 totalCpuTime=18.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-233875-1168328810 -o ROOT/results/node22/solver-233875-1168328810 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233875-1168328810/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: 1.98 2.04 2.00 2/93 30910
/proc/meminfo: memFree=1138992/2055920 swapFree=4157544/4192956
[pid=30909] ppid=30907 vsize=18540 CPUtime=0
/proc/30909/stat : 30909 (runsolver) R 30907 30909 29722 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 181275410 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30909/statm: 4635 279 244 17 0 2626 0
[startup+0.102406 s]
/proc/loadavg: 1.98 2.04 2.00 2/93 30910
/proc/meminfo: memFree=1138992/2055920 swapFree=4157544/4192956
[pid=30909] ppid=30907 vsize=914988 CPUtime=0.09
/proc/30909/stat : 30909 (java) R 30907 30909 29722 0 -1 0 2952 0 1 0 7 2 0 0 17 0 8 0 181275410 936947712 2698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020566 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30909/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510466 s]
/proc/loadavg: 1.98 2.04 2.00 2/93 30910
/proc/meminfo: memFree=1138992/2055920 swapFree=4157544/4192956
[pid=30909] ppid=30907 vsize=915328 CPUtime=0.49
/proc/30909/stat : 30909 (java) S 30907 30909 29722 0 -1 0 6591 0 1 0 45 4 0 0 17 0 8 0 181275410 937295872 6330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30909/statm: 228832 6330 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33359 s]
/proc/loadavg: 1.98 2.04 2.00 3/100 30917
/proc/meminfo: memFree=1119608/2055920 swapFree=4157544/4192956
[pid=30909] ppid=30907 vsize=915460 CPUtime=1.3
/proc/30909/stat : 30909 (java) R 30907 30909 29722 0 -1 0 7321 0 1 0 126 4 0 0 24 0 8 0 181275410 937431040 7059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30909/statm: 228865 7059 2167 14 0 215335 0
[pid=30909/tid=30911] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30911/stat : 30911 (java) S 30907 30909 29722 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181275414 937431040 7059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30912] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30912/stat : 30912 (java) S 30907 30909 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181275415 937431040 7059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30913] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30913/stat : 30913 (java) S 30907 30909 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181275415 937431040 7059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30914] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30914/stat : 30914 (java) S 30907 30909 29722 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181275418 937431040 7059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30915] ppid=30907 vsize=915460 CPUtime=0.11
/proc/30909/task/30915/stat : 30915 (java) S 30907 30909 29722 0 -1 64 322 0 0 0 11 0 0 0 16 0 8 0 181275418 937431040 7059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30916] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30916/stat : 30916 (java) S 30907 30909 29722 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181275418 937431040 7059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30917] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30917/stat : 30917 (java) S 30907 30909 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181275418 937431040 7059 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) 915460
[startup+2.97984 s]
/proc/loadavg: 1.98 2.04 2.00 3/100 30917
/proc/meminfo: memFree=1117112/2055920 swapFree=4157544/4192956
[pid=30909] ppid=30907 vsize=915460 CPUtime=2.94
/proc/30909/stat : 30909 (java) R 30907 30909 29722 0 -1 0 8242 0 1 0 289 5 0 0 25 0 8 0 181275410 937431040 7980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30909/statm: 228865 7980 2167 14 0 215335 0
[pid=30909/tid=30911] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30911/stat : 30911 (java) S 30907 30909 29722 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181275414 937431040 7980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30912] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30912/stat : 30912 (java) S 30907 30909 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181275415 937431040 7980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30913] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30913/stat : 30913 (java) S 30907 30909 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181275415 937431040 7980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30914] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30914/stat : 30914 (java) S 30907 30909 29722 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181275418 937431040 7980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30915] ppid=30907 vsize=915460 CPUtime=0.11
/proc/30909/task/30915/stat : 30915 (java) S 30907 30909 29722 0 -1 64 324 0 0 0 11 0 0 0 16 0 8 0 181275418 937431040 7980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30916] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30916/stat : 30916 (java) S 30907 30909 29722 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181275418 937431040 7980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30917] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30917/stat : 30917 (java) S 30907 30909 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181275418 937431040 7980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26835 s]
/proc/loadavg: 1.98 2.04 2.00 3/100 30917
/proc/meminfo: memFree=1109496/2055920 swapFree=4157544/4192956
[pid=30909] ppid=30907 vsize=915460 CPUtime=6.19
/proc/30909/stat : 30909 (java) R 30907 30909 29722 0 -1 0 10064 0 1 0 613 6 0 0 25 0 8 0 181275410 937431040 9802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30909/statm: 228865 9802 2167 14 0 215335 0
[pid=30909/tid=30911] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30911/stat : 30911 (java) S 30907 30909 29722 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181275414 937431040 9802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30912] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30912/stat : 30912 (java) S 30907 30909 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181275415 937431040 9802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30913] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30913/stat : 30913 (java) S 30907 30909 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181275415 937431040 9802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30914] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30914/stat : 30914 (java) S 30907 30909 29722 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181275418 937431040 9802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30915] ppid=30907 vsize=915460 CPUtime=0.12
/proc/30909/task/30915/stat : 30915 (java) S 30907 30909 29722 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 181275418 937431040 9802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30916] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30916/stat : 30916 (java) S 30907 30909 29722 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181275418 937431040 9802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30917] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30917/stat : 30917 (java) S 30907 30909 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181275418 937431040 9802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7553 s]
/proc/loadavg: 1.98 2.04 2.00 3/100 30917
/proc/meminfo: memFree=1095160/2055920 swapFree=4157544/4192956
[pid=30909] ppid=30907 vsize=915460 CPUtime=12.62
/proc/30909/stat : 30909 (java) R 30907 30909 29722 0 -1 0 13456 0 1 0 1255 7 0 0 25 0 8 0 181275410 937431040 13193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30909/statm: 228865 13193 2168 14 0 215335 0
[pid=30909/tid=30911] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30911/stat : 30911 (java) S 30907 30909 29722 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181275414 937431040 13193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30912] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30912/stat : 30912 (java) S 30907 30909 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181275415 937431040 13193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30913] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30913/stat : 30913 (java) S 30907 30909 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181275415 937431040 13193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30914] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30914/stat : 30914 (java) S 30907 30909 29722 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181275418 937431040 13193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30915] ppid=30907 vsize=915460 CPUtime=0.13
/proc/30909/task/30915/stat : 30915 (java) S 30907 30909 29722 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 181275418 937431040 13193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30916] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30916/stat : 30916 (java) S 30907 30909 29722 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181275418 937431040 13193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30909/tid=30917] ppid=30907 vsize=915460 CPUtime=0
/proc/30909/task/30917/stat : 30917 (java) S 30907 30909 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181275418 937431040 13193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 18.95
CPU time (s): 18.7302
CPU user time (s): 18.6032
CPU system time (s): 0.12698
CPU usage (%): 98.8398
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6032
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18546
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= 1494
involuntary context switches= 2025
runsolver used 0.028995 s user time and 0.06299 s system time
The end
Begin job on node22 on Tue Jan 9 07:46:50 UTC 2007
IDJOB= 233875
IDBENCH= 6644
FILE ID= node22/233875-1168328810
PBS_JOBID= 3503019
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-105-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233875-1168328810/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-233875-1168328810 -o ROOT/results/node22/solver-233875-1168328810 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233875-1168328810/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d89e8198038e270d1f274447665fd22b
RANDOM SEED= 72939332
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.279
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.279
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: 1139472 kB
Buffers: 13348 kB
Cached: 751960 kB
SwapCached: 11252 kB
Active: 319988 kB
Inactive: 543804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1139472 kB
SwapTotal: 4192956 kB
SwapFree: 4157544 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 126196 kB
Slab: 37236 kB
Committed_AS: 4267380 kB
PageTables: 2432 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= 66561 MiB
End job on node22 on Tue Jan 9 07:47:09 UTC 2007