0.31
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/213183-1168077397/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.45 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.133 cpuTime=0.1 mem=7M50
0.45
0.45 predicates being loaded...
0.45
0.45 constraints being loaded...
0.76 nbConstraints=879 nbMergedConstraints=1 nbConvertedConstraints=202 nbConvertConstraintsChecks=24
0.76 nbExtensionStructures=2 nbSharedExtensionStructures=200 nbConflictsStructures=4 nbSharedConflictsStructures=875
0.76 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2 nbSharedEvaluationManagers=675 maxDegree=8 maxArity=3
0.76 => wckTime=0.446 cpuTime=0.32 mem=12M901
0.81
0.81 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.707 cpuTime=0.48 mem=19M957
1.04
1.04 preprocessing
1.04 nbConstraintChecks=0 nbPropagations=400 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.04 detectedInconsistency=no
1.04 => wckTime=0.014 cpuTime=0.0 mem=19M957
1.09
1.09 search
1.09 run=0 nbConstraintChecks=471 nbValidityChecks=62 nbPropagations=588 nbRevisions=402 nbUselessRevisions=223
1.09 nbAssignments=92 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=103 nbRestartNogoods=0 mapSize=6
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.066 cpuTime=0.03 mem=19M957
1.13
1.13 search
1.13 run=1 nbConstraintChecks=935 nbValidityChecks=224 nbPropagations=1387 nbRevisions=1260 nbUselessRevisions=706
1.13 nbAssignments=192 nbFailedAssignments=14 nbBacktracks=30 nbVisitedNodes=212 nbRestartNogoods=4 mapSize=10
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.098 cpuTime=0.06 mem=19M957
1.16
1.16 search
1.16 run=2 nbConstraintChecks=1778 nbValidityChecks=633 nbPropagations=2549 nbRevisions=2981
1.16 nbUselessRevisions=1674 nbAssignments=309 nbFailedAssignments=22 nbBacktracks=56 nbVisitedNodes=340
1.16 nbRestartNogoods=9 mapSize=15 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.135 cpuTime=0.09 mem=19M957
1.20
1.20 search
1.20 run=3 nbConstraintChecks=2865 nbValidityChecks=1255 nbPropagations=4180 nbRevisions=5948
1.20 nbUselessRevisions=3379 nbAssignments=426 nbFailedAssignments=28 nbBacktracks=93 nbVisitedNodes=469
1.20 nbRestartNogoods=15 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.17 cpuTime=0.11 mem=19M957
1.23
1.23 search
1.23 run=4 nbConstraintChecks=3373 nbValidityChecks=1598 nbPropagations=6057 nbRevisions=9485
1.23 nbUselessRevisions=5409 nbAssignments=569 nbFailedAssignments=32 nbBacktracks=165 nbVisitedNodes=618
1.23 nbRestartNogoods=17 mapSize=30 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.2 cpuTime=0.14 mem=19M957
1.25
1.25 search
1.25 run=5 nbConstraintChecks=4529 nbValidityChecks=2387 nbPropagations=8484 nbRevisions=14443
1.25 nbUselessRevisions=8285 nbAssignments=712 nbFailedAssignments=41 nbBacktracks=263 nbVisitedNodes=777
1.25 nbRestartNogoods=18 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.227 cpuTime=0.16 mem=19M957
1.29
1.29 search
1.29 run=6 nbConstraintChecks=6200 nbValidityChecks=3708 nbPropagations=11725 nbRevisions=21378
1.29 nbUselessRevisions=12267 nbAssignments=888 nbFailedAssignments=55 nbBacktracks=385 nbVisitedNodes=977
1.29 nbRestartNogoods=21 mapSize=65 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.26 cpuTime=0.19 mem=19M957
1.32
1.32 search
1.32 run=7 nbConstraintChecks=7227 nbValidityChecks=4462 nbPropagations=15552 nbRevisions=29542
1.32 nbUselessRevisions=16887 nbAssignments=1101 nbFailedAssignments=67 nbBacktracks=555 nbVisitedNodes=1217
1.32 nbRestartNogoods=23 mapSize=89 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.294 cpuTime=0.22 mem=19M957
1.39
1.39 search
1.39 run=8 nbConstraintChecks=10962 nbValidityChecks=7324 nbPropagations=21254 nbRevisions=42136
1.39 nbUselessRevisions=23927 nbAssignments=1471 nbFailedAssignments=110 nbBacktracks=836 nbVisitedNodes=1673
1.39 nbRestartNogoods=26 mapSize=170 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.362 cpuTime=0.29 mem=19M957
1.50
1.50 search
1.50 run=9 nbConstraintChecks=18551 nbValidityChecks=15376 nbPropagations=30735 nbRevisions=66437
1.50 nbUselessRevisions=38530 nbAssignments=1945 nbFailedAssignments=155 nbBacktracks=1230 nbVisitedNodes=2241
1.50 nbRestartNogoods=31 mapSize=260 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.472 cpuTime=0.38 mem=20M932
1.64
1.64 search
1.64 run=10 nbConstraintChecks=32469 nbValidityChecks=28706 nbPropagations=47346 nbRevisions=109417
1.64 nbUselessRevisions=64211 nbAssignments=2658 nbFailedAssignments=266 nbBacktracks=1813 nbVisitedNodes=3188
1.64 nbRestartNogoods=35 mapSize=492 nbInferences=4 nbTooLargeKeys=0
1.64 => wckTime=0.611 cpuTime=0.51 mem=20M932
1.85
1.85 search
1.85 run=11 nbConstraintChecks=62858 nbValidityChecks=60454 nbPropagations=79986 nbRevisions=196749
1.85 nbUselessRevisions=116962 nbAssignments=3820 nbFailedAssignments=549 nbBacktracks=2682 nbVisitedNodes=4882
1.85 nbRestartNogoods=37 mapSize=1021 nbInferences=4 nbTooLargeKeys=0
1.85 => wckTime=0.826 cpuTime=0.72 mem=20M932
1.86
1.86 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=20M932)
2.08
2.08 search
2.08 run=12 nbConstraintChecks=101221 nbValidityChecks=101966 nbPropagations=132792 nbRevisions=342140
2.08 nbUselessRevisions=205883 nbAssignments=5418 nbFailedAssignments=816 nbBacktracks=3980 nbVisitedNodes=7070
2.08 nbRestartNogoods=40
2.08 => wckTime=1.051 cpuTime=0.94 mem=20M932
2.39
2.39 search
2.39 run=13 nbConstraintChecks=150058 nbValidityChecks=148866 nbPropagations=210879 nbRevisions=553284
2.39 nbUselessRevisions=333089 nbAssignments=7961 nbFailedAssignments=1383 nbBacktracks=5926 nbVisitedNodes=10766
2.39 nbRestartNogoods=50
2.39 => wckTime=1.365 cpuTime=1.24 mem=20M932
2.95
2.95 search
2.95 run=14 nbConstraintChecks=267351 nbValidityChecks=285988 nbPropagations=349634 nbRevisions=955327
2.95 nbUselessRevisions=583956 nbAssignments=11567 nbFailedAssignments=2054 nbBacktracks=8849 nbVisitedNodes=15785
2.95 nbRestartNogoods=57
2.95 => wckTime=1.921 cpuTime=1.8 mem=20M932
3.58
3.58 search
3.58 run=15 nbConstraintChecks=393930 nbValidityChecks=424021 nbPropagations=553919 nbRevisions=1552691
3.58 nbUselessRevisions=958769 nbAssignments=15890 nbFailedAssignments=2790 nbBacktracks=12036 nbVisitedNodes=21646
3.58 nbRestartNogoods=63
3.58 => wckTime=2.553 cpuTime=2.42 mem=20M932
3.58
3.58 global
3.58 nbConstraintChecks=393930 nbValidityChecks=424021 nbPropagations=554319 nbRevisions=1552691
3.58 nbUselessRevisions=958769 nbRestartNogoods=63 solvingWckTime=2.554 solvingCpuTime=2.42 expiredTime=no
3.58 totalExploration=no nbFoundSolutions=1 globalCpuTime=2.96
3.58 => wckTime=3.263 cpuTime=2.91 mem=20M932
3.58
3.58 s SATISFIABLE
3.58 v 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0
3.58 d NODES 15890
3.58 d CHECKS 393930
3.58
3.58 totalWckTime=3.343 totalCpuTime=2.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-213183-1168077397 -o ROOT/results/node10/solver-213183-1168077397 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213183-1168077397/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.64 1.92 1.97 4/93 28500
/proc/meminfo: memFree=843296/2055920 swapFree=4178332/4192956
[pid=28499] ppid=28497 vsize=18540 CPUtime=0
/proc/28499/stat : 28499 (runsolver) R 28497 28499 28376 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156135187 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28499/statm: 4635 279 244 17 0 2626 0
[startup+0.107746 s]
/proc/loadavg: 1.64 1.92 1.97 4/93 28500
/proc/meminfo: memFree=843296/2055920 swapFree=4178332/4192956
[pid=28499] ppid=28497 vsize=914988 CPUtime=0.08
/proc/28499/stat : 28499 (java) R 28497 28499 28376 0 -1 0 2996 0 1 0 8 0 0 0 17 0 8 0 156135187 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153896151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28499/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515803 s]
/proc/loadavg: 1.64 1.92 1.97 4/93 28500
/proc/meminfo: memFree=843296/2055920 swapFree=4178332/4192956
[pid=28499] ppid=28497 vsize=915328 CPUtime=0.49
/proc/28499/stat : 28499 (java) R 28497 28499 28376 0 -1 0 6373 0 1 0 46 3 0 0 18 0 8 0 156135187 937295872 6112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28499/statm: 228832 6112 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33891 s]
/proc/loadavg: 1.64 1.92 1.97 3/100 28507
/proc/meminfo: memFree=814504/2055920 swapFree=4178332/4192956
[pid=28499] ppid=28497 vsize=915576 CPUtime=1.3
/proc/28499/stat : 28499 (java) R 28497 28499 28376 0 -1 0 10008 0 1 0 120 10 0 0 24 0 8 0 156135187 937549824 9746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072936510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28499/statm: 228894 9746 2532 14 0 215364 0
[pid=28499/tid=28501] ppid=28497 vsize=915576 CPUtime=0.03
/proc/28499/task/28501/stat : 28501 (java) S 28497 28499 28376 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 156135191 937549824 9746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28502] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28502/stat : 28502 (java) S 28497 28499 28376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156135192 937549824 9746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28503] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28503/stat : 28503 (java) S 28497 28499 28376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156135192 937549824 9746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28504] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28504/stat : 28504 (java) S 28497 28499 28376 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156135195 937549824 9746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28505] ppid=28497 vsize=915576 CPUtime=0.28
/proc/28499/task/28505/stat : 28505 (java) S 28497 28499 28376 0 -1 64 423 0 0 0 27 1 0 0 15 0 8 0 156135195 937549824 9746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28506] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28506/stat : 28506 (java) S 28497 28499 28376 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156135195 937549824 9746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28507] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28507/stat : 28507 (java) S 28497 28499 28376 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156135195 937549824 9746 18446744073709551615 134512640 134570532 4294956464 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) 915576
[startup+2.99213 s]
/proc/loadavg: 1.67 1.92 1.97 3/100 28507
/proc/meminfo: memFree=813480/2055920 swapFree=4178332/4192956
[pid=28499] ppid=28497 vsize=915576 CPUtime=2.93
/proc/28499/stat : 28499 (java) R 28497 28499 28376 0 -1 0 10181 0 1 0 283 10 0 0 25 0 8 0 156135187 937549824 9917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28499/statm: 228894 9917 2532 14 0 215364 0
[pid=28499/tid=28501] ppid=28497 vsize=915576 CPUtime=0.03
/proc/28499/task/28501/stat : 28501 (java) S 28497 28499 28376 0 -1 64 277 0 0 0 3 0 0 0 17 0 8 0 156135191 937549824 9917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28502] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28502/stat : 28502 (java) S 28497 28499 28376 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156135192 937549824 9917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28503] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28503/stat : 28503 (java) S 28497 28499 28376 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156135192 937549824 9917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28504] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28504/stat : 28504 (java) S 28497 28499 28376 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156135195 937549824 9917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28505] ppid=28497 vsize=915576 CPUtime=0.31
/proc/28499/task/28505/stat : 28505 (java) S 28497 28499 28376 0 -1 64 438 0 0 0 30 1 0 0 16 0 8 0 156135195 937549824 9917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28506] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28506/stat : 28506 (java) S 28497 28499 28376 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156135195 937549824 9917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28499/tid=28507] ppid=28497 vsize=915576 CPUtime=0
/proc/28499/task/28507/stat : 28507 (java) S 28497 28499 28376 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156135195 937549824 9917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 3.63322
CPU time (s): 3.54046
CPU user time (s): 3.42348
CPU system time (s): 0.116982
CPU usage (%): 97.4469
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.42348
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10275
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= 1394
involuntary context switches= 1659
runsolver used 0.006998 s user time and 0.025996 s system time
The end
Begin job on node10 on Sat Jan 6 09:56:39 UTC 2007
IDJOB= 213183
IDBENCH= 4828
FILE ID= node10/213183-1168077397
PBS_JOBID= 3475814
Free space on /tmp= 66350 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-3-4-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213183-1168077397/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-213183-1168077397 -o ROOT/results/node10/solver-213183-1168077397 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213183-1168077397/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cb3f27425b19d53249f95308d8601cae
RANDOM SEED= 324693248
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.232
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.232
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: 843776 kB
Buffers: 46112 kB
Cached: 255360 kB
SwapCached: 2420 kB
Active: 894184 kB
Inactive: 228548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 843776 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 1920 kB
Writeback: 0 kB
Mapped: 840820 kB
Slab: 72576 kB
Committed_AS: 4368240 kB
PageTables: 3792 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= 66350 MiB
End job on node10 on Sat Jan 6 09:56:47 UTC 2007