0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/200530-1168072166/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=17 nbDomainTypes=2 minDomainSize=12 maxDomainSize=144
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.39
0.39 predicates being loaded...
0.39
0.39 constraints being loaded...
0.53 nbConstraints=76 nbConvertedConstraints=76 nbConvertConstraintsChecks=43056 nbExtensionStructures=13
0.53 nbSharedExtensionStructures=63 nbConflictsStructures=13 nbSharedConflictsStructures=63
0.53 nbSharedBinaryRepresentations=464 maxDegree=11 maxArity=2
0.53 => wckTime=0.233 cpuTime=0.18 mem=8M902
0.56
0.57 solver IterativeSystematicSolver being built...
0.71 => wckTime=0.42 cpuTime=0.31 mem=13M479
0.73
0.73 preprocessing
0.73 nbConstraintChecks=0 nbPropagations=17 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.73 detectedInconsistency=no
0.73 => wckTime=0.0010 cpuTime=0.0 mem=13M479
0.81
0.81 search
0.81 run=0 nbConstraintChecks=474566 nbPropagations=1508 nbRevisions=3300 nbUselessRevisions=1339 nbAssignments=236
0.81 nbFailedAssignments=219 nbBacktracks=13 nbVisitedNodes=462 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.091 cpuTime=0.06 mem=13M479
0.82
0.82 search
0.82 run=1 nbConstraintChecks=477762 nbPropagations=3298 nbRevisions=7690 nbUselessRevisions=3369 nbAssignments=272
0.82 nbFailedAssignments=231 nbBacktracks=28 nbVisitedNodes=526 nbRestartNogoods=4 mapSize=23 nbInferences=4
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.098 cpuTime=0.07 mem=13M479
0.82
0.82 search
0.82 run=2 nbConstraintChecks=481949 nbPropagations=5428 nbRevisions=13464 nbUselessRevisions=6279
0.82 nbAssignments=321 nbFailedAssignments=248 nbBacktracks=51 nbVisitedNodes=610 nbRestartNogoods=10 mapSize=43
0.82 nbInferences=9 nbTooLargeKeys=0
0.82 => wckTime=0.104 cpuTime=0.07 mem=13M479
0.83
0.83 search
0.83 run=3 nbConstraintChecks=488693 nbPropagations=8122 nbRevisions=21604 nbUselessRevisions=10712
0.83 nbAssignments=389 nbFailedAssignments=276 nbBacktracks=85 nbVisitedNodes=734 nbRestartNogoods=13 mapSize=77
0.83 nbInferences=12 nbTooLargeKeys=0
0.83 => wckTime=0.111 cpuTime=0.08 mem=13M479
0.84
0.84 search
0.84 run=4 nbConstraintChecks=496919 nbPropagations=11533 nbRevisions=32724 nbUselessRevisions=17148
0.84 nbAssignments=488 nbFailedAssignments=310 nbBacktracks=135 nbVisitedNodes=909 nbRestartNogoods=17 mapSize=126
0.84 nbInferences=23 nbTooLargeKeys=0
0.84 => wckTime=0.122 cpuTime=0.08 mem=13M479
0.86
0.86 search
0.86 run=5 nbConstraintChecks=511816 nbPropagations=16103 nbRevisions=48842 nbUselessRevisions=26766
0.86 nbAssignments=641 nbFailedAssignments=375 nbBacktracks=211 nbVisitedNodes=1183 nbRestartNogoods=22 mapSize=198
0.86 nbInferences=33 nbTooLargeKeys=0
0.86 => wckTime=0.137 cpuTime=0.09 mem=13M479
0.89
0.89 search
0.89 run=6 nbConstraintChecks=877851 nbPropagations=23054 nbRevisions=72657 nbUselessRevisions=40820
0.89 nbAssignments=1006 nbFailedAssignments=583 nbBacktracks=327 nbVisitedNodes=1843 nbRestartNogoods=24
0.89 mapSize=305 nbInferences=71 nbTooLargeKeys=0
0.89 => wckTime=0.176 cpuTime=0.14 mem=13M479
0.91
0.91 search
0.91 run=7 nbConstraintChecks=902708 nbPropagations=32150 nbRevisions=105184 nbUselessRevisions=60520
0.91 nbAssignments=1316 nbFailedAssignments=675 nbBacktracks=497 nbVisitedNodes=2376 nbRestartNogoods=29
0.91 mapSize=456 nbInferences=114 nbTooLargeKeys=0
0.91 => wckTime=0.195 cpuTime=0.16 mem=13M479
0.95
0.95 search
0.95 run=8 nbConstraintChecks=952303 nbPropagations=45034 nbRevisions=154671 nbUselessRevisions=91335
0.95 nbAssignments=1822 nbFailedAssignments=889 nbBacktracks=753 nbVisitedNodes=3277 nbRestartNogoods=36
0.95 mapSize=696 nbInferences=146 nbTooLargeKeys=0
0.95 => wckTime=0.234 cpuTime=0.18 mem=13M479
0.98
0.98 search
0.98 run=9 nbConstraintChecks=1002344 nbPropagations=62376 nbRevisions=222322 nbUselessRevisions=134268
0.98 nbAssignments=2518 nbFailedAssignments=1096 nbBacktracks=1138 nbVisitedNodes=4454 nbRestartNogoods=47
0.98 mapSize=1030 nbInferences=245 nbTooLargeKeys=0
0.98 => wckTime=0.264 cpuTime=0.2 mem=13M479
1.03
1.03 search
1.03 run=10 nbConstraintChecks=1082251 nbPropagations=86628 nbRevisions=318715 nbUselessRevisions=196304
1.03 nbAssignments=3569 nbFailedAssignments=1417 nbBacktracks=1714 nbVisitedNodes=6240 nbRestartNogoods=58
1.03 mapSize=1533 nbInferences=395 nbTooLargeKeys=0
1.03 => wckTime=0.311 cpuTime=0.24 mem=13M479
1.09
1.09 search
1.09 run=11 nbConstraintChecks=1236614 nbPropagations=123148 nbRevisions=469618 nbUselessRevisions=294299
1.09 nbAssignments=5190 nbFailedAssignments=2053 nbBacktracks=2579 nbVisitedNodes=9135 nbRestartNogoods=66
1.09 mapSize=2345 nbInferences=512 nbTooLargeKeys=0
1.09 => wckTime=0.374 cpuTime=0.3 mem=14M454
1.18
1.18 search
1.18 run=12 nbConstraintChecks=1441275 nbPropagations=176500 nbRevisions=692705 nbUselessRevisions=440140
1.18 nbAssignments=7570 nbFailedAssignments=2845 nbBacktracks=3876 nbVisitedNodes=13256 nbRestartNogoods=74
1.18 mapSize=3516 nbInferences=799 nbTooLargeKeys=0
1.18 => wckTime=0.462 cpuTime=0.38 mem=14M454
1.29
1.29 search
1.29 run=13 nbConstraintChecks=1703391 nbPropagations=252598 nbRevisions=1009262 nbUselessRevisions=647847
1.29 nbAssignments=11072 nbFailedAssignments=3846 nbBacktracks=5822 nbVisitedNodes=19186 nbRestartNogoods=83
1.29 mapSize=5214 nbInferences=1350 nbTooLargeKeys=0
1.29 => wckTime=0.574 cpuTime=0.49 mem=14M454
1.48
1.48 search
1.48 run=14 nbConstraintChecks=2170355 nbPropagations=366656 nbRevisions=1491150 nbUselessRevisions=965639
1.48 nbAssignments=16468 nbFailedAssignments=5787 nbBacktracks=8741 nbVisitedNodes=28614 nbRestartNogoods=98
1.48 mapSize=7922 nbInferences=1882 nbTooLargeKeys=0
1.48 => wckTime=0.761 cpuTime=0.68 mem=14M454
1.73
1.73 search
1.73 run=15 nbConstraintChecks=2772921 nbPropagations=533388 nbRevisions=2189518 nbUselessRevisions=1426913
1.73 nbAssignments=24471 nbFailedAssignments=8204 nbBacktracks=13120 nbVisitedNodes=42250 nbRestartNogoods=102
1.73 mapSize=11812 nbInferences=3085 nbTooLargeKeys=0
1.73 => wckTime=1.014 cpuTime=0.93 mem=15M429
2.13
2.13 search
2.13 run=16 nbConstraintChecks=3787917 nbPropagations=784655 nbRevisions=3246553 nbUselessRevisions=2126117
2.13 nbAssignments=36581 nbFailedAssignments=12307 nbBacktracks=19689 nbVisitedNodes=63338 nbRestartNogoods=114
2.13 mapSize=17853 nbInferences=4520 nbTooLargeKeys=0
2.13 => wckTime=1.409 cpuTime=1.32 mem=15M429
2.72
2.72 search
2.72 run=17 nbConstraintChecks=5278437 nbPropagations=1160854 nbRevisions=4836943 nbUselessRevisions=3182475
2.72 nbAssignments=54791 nbFailedAssignments=18433 nbBacktracks=29542 nbVisitedNodes=94879 nbRestartNogoods=116
2.72 mapSize=26880 nbInferences=6746 nbTooLargeKeys=0
2.72 => wckTime=2.004 cpuTime=1.91 mem=16M404
3.55
3.55 search
3.55 run=18 nbConstraintChecks=7292431 nbPropagations=1711624 nbRevisions=7153543 nbUselessRevisions=4729501
3.55 nbAssignments=81952 nbFailedAssignments=26656 nbBacktracks=44320 nbVisitedNodes=141130 nbRestartNogoods=125
3.55 mapSize=40087 nbInferences=10902 nbTooLargeKeys=0
3.55 => wckTime=2.829 cpuTime=2.73 mem=18M355
4.34
4.34 search
4.34 run=19 nbConstraintChecks=9297348 nbPropagations=2430546 nbRevisions=10194014 nbUselessRevisions=6766295
4.34 nbAssignments=106810 nbFailedAssignments=34740 nbBacktracks=57891 nbVisitedNodes=184019 nbRestartNogoods=132
4.34 mapSize=52421 nbInferences=14106 nbTooLargeKeys=0
4.34 => wckTime=3.624 cpuTime=3.52 mem=19M854
4.34
4.34 global
4.34 nbConstraintChecks=9297348 nbPropagations=2430563 nbRevisions=10194014 nbUselessRevisions=6766295
4.34 nbRestartNogoods=132 solvingWckTime=3.625 solvingCpuTime=3.53 expiredTime=no totalExploration=yes
4.34 nbFoundSolutions=0 globalCpuTime=3.89
4.34 => wckTime=4.049 cpuTime=3.84 mem=19M854
4.35
4.35 s UNSATISFIABLE
4.35 d NODES 106810
4.35 d CHECKS 9297348
4.35
4.35 totalWckTime=4.124 totalCpuTime=3.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-200530-1168072166 -o ROOT/results/node52/solver-200530-1168072166 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200530-1168072166/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.84 1.97 1.90 4/68 27751
/proc/meminfo: memFree=1492504/2055920 swapFree=4192812/4192956
[pid=27750] ppid=27748 vsize=172 CPUtime=0
/proc/27750/stat : 27750 (java) R 27748 27750 27175 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155615230 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4309796 0 0 4096 0 0 0 0 17 1 0 0
/proc/27750/statm: 43 24 18 14 0 3 0
[startup+0.103663 s]
/proc/loadavg: 1.84 1.97 1.90 4/68 27751
/proc/meminfo: memFree=1492504/2055920 swapFree=4192812/4192956
[pid=27750] ppid=27748 vsize=914988 CPUtime=0.09
/proc/27750/stat : 27750 (java) R 27748 27750 27175 0 -1 0 3072 0 1 0 7 2 0 0 16 0 8 0 155615230 936947712 2818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27750/statm: 228747 2818 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51569 s]
/proc/loadavg: 1.84 1.97 1.90 4/68 27751
/proc/meminfo: memFree=1492504/2055920 swapFree=4192812/4192956
[pid=27750] ppid=27748 vsize=915460 CPUtime=0.5
/proc/27750/stat : 27750 (java) R 27748 27750 27175 0 -1 0 6529 0 1 0 45 5 0 0 17 0 8 0 155615230 937431040 6268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073601097 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27750/statm: 228865 6268 2166 14 0 215335 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915460
[startup+1.34074 s]
/proc/loadavg: 1.93 1.98 1.91 4/87 27803
/proc/meminfo: memFree=1448640/2055920 swapFree=4192812/4192956
[pid=27750] ppid=27748 vsize=915460 CPUtime=1.31
/proc/27750/stat : 27750 (java) R 27748 27750 27175 0 -1 0 8505 0 1 0 124 7 0 0 22 0 8 0 155615230 937431040 8243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073711029 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27750/statm: 228865 8243 2532 14 0 215335 0
[pid=27750/tid=27752] ppid=27748 vsize=915460 CPUtime=0.02
/proc/27750/task/27752/stat : 27752 (java) S 27748 27750 27175 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 155615233 937431040 8243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27750/tid=27753] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27753/stat : 27753 (java) S 27748 27750 27175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155615234 937431040 8243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27750/tid=27754] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27754/stat : 27754 (java) S 27748 27750 27175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155615234 937431040 8243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27750/tid=27755] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27755/stat : 27755 (java) S 27748 27750 27175 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155615237 937431040 8243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27750/tid=27756] ppid=27748 vsize=915460 CPUtime=0.19
/proc/27750/task/27756/stat : 27756 (java) S 27748 27750 27175 0 -1 64 371 0 0 0 18 1 0 0 15 0 8 0 155615237 937431040 8243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27750/tid=27757] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27757/stat : 27757 (java) S 27748 27750 27175 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155615237 937431040 8243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27750/tid=27758] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27758/stat : 27758 (java) S 27748 27750 27175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155615237 937431040 8243 18446744073709551615 134512640 134570532 4294956480 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.97786 s]
/proc/loadavg: 1.93 1.98 1.91 3/87 27803
/proc/meminfo: memFree=1410368/2055920 swapFree=4192812/4192956
[pid=27750] ppid=27748 vsize=915460 CPUtime=2.95
/proc/27750/stat : 27750 (java) R 27748 27750 27175 0 -1 0 9166 0 1 0 287 8 0 0 25 0 8 0 155615230 937431040 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073725639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27750/statm: 228865 8903 2532 14 0 215335 0
[pid=27750/tid=27752] ppid=27748 vsize=915460 CPUtime=0.02
/proc/27750/task/27752/stat : 27752 (java) S 27748 27750 27175 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 155615233 937431040 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27750/tid=27753] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27753/stat : 27753 (java) S 27748 27750 27175 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155615234 937431040 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27750/tid=27754] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27754/stat : 27754 (java) S 27748 27750 27175 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155615234 937431040 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27750/tid=27755] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27755/stat : 27755 (java) S 27748 27750 27175 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155615237 937431040 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27750/tid=27756] ppid=27748 vsize=915460 CPUtime=0.19
/proc/27750/task/27756/stat : 27756 (java) S 27748 27750 27175 0 -1 64 371 0 0 0 18 1 0 0 15 0 8 0 155615237 937431040 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27750/tid=27757] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27757/stat : 27757 (java) S 27748 27750 27175 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155615237 937431040 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27750/tid=27758] ppid=27748 vsize=915460 CPUtime=0
/proc/27750/task/27758/stat : 27758 (java) S 27748 27750 27175 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155615237 937431040 8903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 4.40387
CPU time (s): 4.32934
CPU user time (s): 4.24035
CPU system time (s): 0.088986
CPU usage (%): 98.3076
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.24036
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9857
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= 977
involuntary context switches= 1016
runsolver used 0.007998 s user time and 0.019996 s system time
The end
Begin job on node52 on Sat Jan 6 08:29:27 UTC 2007
IDJOB= 200530
IDBENCH= 3713
FILE ID= node52/200530-1168072166
PBS_JOBID= 3475911
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/queensKnights/queensKnights-12-5-add.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200530-1168072166/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-200530-1168072166 -o ROOT/results/node52/solver-200530-1168072166 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200530-1168072166/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6d6bc0868391bae32ad7553af893fb56
RANDOM SEED= 641797079
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: 1492920 kB
Buffers: 35924 kB
Cached: 429128 kB
SwapCached: 0 kB
Active: 56880 kB
Inactive: 429444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1492920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1840 kB
Writeback: 0 kB
Mapped: 31496 kB
Slab: 62260 kB
Committed_AS: 3116508 kB
PageTables: 1704 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= 66550 MiB
End job on node52 on Sat Jan 6 08:29:32 UTC 2007