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/198348-1168127655/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=12 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.41 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.41
0.41 predicates being loaded...
0.41
0.41 constraints being loaded...
0.49 nbConstraints=66 nbConvertedConstraints=66 nbConvertConstraintsChecks=121 nbExtensionStructures=1
0.49 nbSharedExtensionStructures=65 nbConflictsStructures=1 nbSharedConflictsStructures=65
0.49 nbSharedBinaryRepresentations=11 maxDegree=11 maxArity=2
0.49 => wckTime=0.174 cpuTime=0.14 mem=7M959
0.52
0.52 solver IterativeSystematicSolver being built...
0.69 => wckTime=0.375 cpuTime=0.28 mem=13M270
0.71
0.71 preprocessing
0.71 nbConstraintChecks=1012 nbPropagations=160 nbRevisions=132 nbUselessRevisions=0 nbSingletonTests=20
0.71 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.71 => wckTime=0.019 cpuTime=0.01 mem=13M270
0.73
0.73 search
0.73 run=0 nbConstraintChecks=785 nbPropagations=324 nbRevisions=329 nbUselessRevisions=24 nbAssignments=27
0.73 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.73 nbTooLargeKeys=0
0.73 => wckTime=0.034 cpuTime=0.02 mem=14M262
0.73
0.73 search
0.73 run=1 nbConstraintChecks=1695 nbPropagations=854 nbRevisions=907 nbUselessRevisions=79 nbAssignments=64
0.73 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=113 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.74 nbTooLargeKeys=0
0.74 => wckTime=0.045 cpuTime=0.04 mem=14M262
0.75
0.75 search
0.75 run=2 nbConstraintChecks=2772 nbPropagations=1654 nbRevisions=1807 nbUselessRevisions=170 nbAssignments=114
0.75 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=203 nbRestartNogoods=7 mapSize=47 nbInferences=0
0.75 nbTooLargeKeys=0
0.75 => wckTime=0.056 cpuTime=0.05 mem=14M262
0.76
0.76 search
0.76 run=3 nbConstraintChecks=4054 nbPropagations=2806 nbRevisions=3109 nbUselessRevisions=297 nbAssignments=183
0.76 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=327 nbRestartNogoods=12 mapSize=80 nbInferences=1
0.76 nbTooLargeKeys=0
0.76 => wckTime=0.067 cpuTime=0.05 mem=14M262
0.77
0.77 search
0.77 run=4 nbConstraintChecks=5565 nbPropagations=4424 nbRevisions=4881 nbUselessRevisions=440 nbAssignments=280
0.77 nbFailedAssignments=104 nbBacktracks=131 nbVisitedNodes=497 nbRestartNogoods=16 mapSize=131 nbInferences=8
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.082 cpuTime=0.06 mem=14M262
0.79
0.79 search
0.79 run=5 nbConstraintChecks=7724 nbPropagations=6747 nbRevisions=7360 nbUselessRevisions=611 nbAssignments=428
0.79 nbFailedAssignments=152 nbBacktracks=206 nbVisitedNodes=758 nbRestartNogoods=20 mapSize=206 nbInferences=25
0.79 nbTooLargeKeys=0
0.79 => wckTime=0.096 cpuTime=0.07 mem=14M262
0.80
0.80 search
0.80 run=6 nbConstraintChecks=10565 nbPropagations=10077 nbRevisions=10792 nbUselessRevisions=787 nbAssignments=645
0.80 nbFailedAssignments=222 nbBacktracks=320 nbVisitedNodes=1141 nbRestartNogoods=24 mapSize=320 nbInferences=51
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.115 cpuTime=0.08 mem=14M262
0.83
0.83 search
0.83 run=7 nbConstraintChecks=14739 nbPropagations=14955 nbRevisions=15658 nbUselessRevisions=964 nbAssignments=979
0.83 nbFailedAssignments=325 nbBacktracks=491 nbVisitedNodes=1736 nbRestartNogoods=29 mapSize=491 nbInferences=106
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.135 cpuTime=0.1 mem=14M262
0.86
0.86 search
0.86 run=8 nbConstraintChecks=21454 nbPropagations=22299 nbRevisions=22757 nbUselessRevisions=1149
0.86 nbAssignments=1502 nbFailedAssignments=468 nbBacktracks=747 nbVisitedNodes=2663 nbRestartNogoods=32
0.86 mapSize=747 nbInferences=224 nbTooLargeKeys=0
0.86 => wckTime=0.173 cpuTime=0.12 mem=14M262
0.89
0.89 search
0.89 run=9 nbConstraintChecks=31754 nbPropagations=33394 nbRevisions=33228 nbUselessRevisions=1342
0.89 nbAssignments=2297 nbFailedAssignments=679 nbBacktracks=1131 nbVisitedNodes=4060 nbRestartNogoods=42
0.89 mapSize=1131 nbInferences=411 nbTooLargeKeys=0
0.89 => wckTime=0.203 cpuTime=0.14 mem=14M262
0.93
0.93 search
0.93 run=10 nbConstraintChecks=48978 nbPropagations=50907 nbRevisions=49141 nbUselessRevisions=1540
0.93 nbAssignments=3633 nbFailedAssignments=945 nbBacktracks=1707 nbVisitedNodes=6415 nbRestartNogoods=47
0.93 mapSize=1707 nbInferences=898 nbTooLargeKeys=0
0.93 => wckTime=0.236 cpuTime=0.17 mem=14M262
0.96
0.96 search
0.96 run=11 nbConstraintChecks=78766 nbPropagations=79134 nbRevisions=73865 nbUselessRevisions=1749
0.96 nbAssignments=5801 nbFailedAssignments=1288 nbBacktracks=2571 nbVisitedNodes=10222 nbRestartNogoods=57
0.97 mapSize=2571 nbInferences=1851 nbTooLargeKeys=0
0.97 => wckTime=0.274 cpuTime=0.2 mem=14M262
1.03
1.03 search
1.03 run=12 nbConstraintChecks=129321 nbPropagations=124931 nbRevisions=112760 nbUselessRevisions=1959
1.03 nbAssignments=9279 nbFailedAssignments=1752 nbBacktracks=3870 nbVisitedNodes=16289 nbRestartNogoods=64
1.03 mapSize=3870 nbInferences=3536 nbTooLargeKeys=0
1.03 => wckTime=0.34 cpuTime=0.27 mem=14M262
1.15
1.15 search
1.15 run=13 nbConstraintChecks=228456 nbPropagations=203210 nbRevisions=176835 nbUselessRevisions=2170
1.15 nbAssignments=15350 nbFailedAssignments=2222 nbBacktracks=5816 nbVisitedNodes=26948 nbRestartNogoods=73
1.15 mapSize=5816 nbInferences=7184 nbTooLargeKeys=0
1.15 => wckTime=0.461 cpuTime=0.38 mem=14M262
1.33
1.34 search
1.34 run=14 nbConstraintChecks=393543 nbPropagations=333724 nbRevisions=281141 nbUselessRevisions=2386
1.34 nbAssignments=24894 nbFailedAssignments=2833 nbBacktracks=8735 nbVisitedNodes=43696 nbRestartNogoods=81
1.34 mapSize=8735 nbInferences=13179 nbTooLargeKeys=0
1.34 => wckTime=0.645 cpuTime=0.56 mem=15M302
1.65
1.65 search
1.65 run=15 nbConstraintChecks=706957 nbPropagations=554944 nbRevisions=455009 nbUselessRevisions=2604
1.65 nbAssignments=40558 nbFailedAssignments=3543 nbBacktracks=13114 nbVisitedNodes=71351 nbRestartNogoods=87
1.65 mapSize=13114 nbInferences=23750 nbTooLargeKeys=0
1.65 => wckTime=0.961 cpuTime=0.88 mem=16M277
2.15
2.15 search
2.15 run=16 nbConstraintChecks=1187724 nbPropagations=916602 nbRevisions=735668 nbUselessRevisions=2822
2.15 nbAssignments=64791 nbFailedAssignments=4381 nbBacktracks=19682 nbVisitedNodes=114078 nbRestartNogoods=95
2.15 mapSize=19682 nbInferences=40571 nbTooLargeKeys=0
2.15 => wckTime=1.46 cpuTime=1.35 mem=17M253
3.13
3.13 search
3.13 run=17 nbConstraintChecks=2316173 nbPropagations=1558431 nbRevisions=1231817 nbUselessRevisions=3094
3.13 nbAssignments=107835 nbFailedAssignments=5176 nbBacktracks=29535 nbVisitedNodes=191069 nbRestartNogoods=111
3.13 mapSize=29535 nbInferences=72959 nbTooLargeKeys=0
3.13 => wckTime=2.443 cpuTime=2.3 mem=18M490
4.52
4.52 search
4.52 run=18 nbConstraintChecks=4041581 nbPropagations=2626825 nbRevisions=2055247 nbUselessRevisions=3437
4.52 nbAssignments=173181 nbFailedAssignments=6012 nbBacktracks=44313 nbVisitedNodes=307765 nbRestartNogoods=126
4.52 mapSize=44311 nbInferences=122676 nbTooLargeKeys=0
4.52 => wckTime=3.829 cpuTime=3.65 mem=21M415
5.66
5.66 search
5.66 run=19 nbConstraintChecks=5443619 nbPropagations=4018107 nbRevisions=3128129 nbUselessRevisions=3819
5.66 nbAssignments=219771 nbFailedAssignments=6272 nbBacktracks=53851 nbVisitedNodes=391628 nbRestartNogoods=141
5.66 mapSize=53846 nbInferences=159458 nbTooLargeKeys=0
5.66 => wckTime=4.966 cpuTime=4.76 mem=23M366
5.66
5.66 global
5.66 nbConstraintChecks=5444631 nbPropagations=4018267 nbRevisions=3128261 nbUselessRevisions=3819
5.66 nbRestartNogoods=141 solvingWckTime=4.967 solvingCpuTime=4.76 expiredTime=no totalExploration=yes
5.66 nbFoundSolutions=0 globalCpuTime=5.09
5.66 => wckTime=5.344 cpuTime=5.04 mem=23M366
5.66
5.66 s UNSATISFIABLE
5.66 d NODES 219771
5.66 d CHECKS 5444631
5.66
5.66 totalWckTime=5.425 totalCpuTime=5.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-198348-1168127655 -o ROOT/results/node3/solver-198348-1168127655 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198348-1168127655/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: 2.28 2.21 1.90 4/97 12944
/proc/meminfo: memFree=1081216/2055920 swapFree=4192812/4192956
[pid=12943] ppid=12941 vsize=47892 CPUtime=0
/proc/12943/stat : 12943 (java) D 12941 12943 12823 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 161161094 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/12943/statm: 11973 968 766 14 0 1707 0
[startup+0.10379 s]
/proc/loadavg: 2.28 2.21 1.90 4/97 12944
/proc/meminfo: memFree=1081216/2055920 swapFree=4192812/4192956
[pid=12943] ppid=12941 vsize=914988 CPUtime=0.08
/proc/12943/stat : 12943 (java) R 12941 12943 12823 0 -1 0 2989 0 1 0 7 1 0 0 18 0 8 0 161161094 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12943/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51186 s]
/proc/loadavg: 2.28 2.21 1.90 4/97 12944
/proc/meminfo: memFree=1081216/2055920 swapFree=4192812/4192956
[pid=12943] ppid=12941 vsize=915328 CPUtime=0.5
/proc/12943/stat : 12943 (java) R 12941 12943 12823 0 -1 0 6400 0 1 0 45 5 0 0 18 0 8 0 161161094 937295872 6138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12943/statm: 228832 6138 2180 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33398 s]
/proc/loadavg: 2.28 2.21 1.90 3/104 12951
/proc/meminfo: memFree=1057672/2055920 swapFree=4192812/4192956
[pid=12943] ppid=12941 vsize=915464 CPUtime=1.31
/proc/12943/stat : 12943 (java) R 12941 12943 12823 0 -1 0 8673 0 1 0 124 7 0 0 25 0 8 0 161161094 937435136 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073692716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12943/statm: 228866 8411 2541 14 0 215336 0
[pid=12943/tid=12945] ppid=12941 vsize=915464 CPUtime=0.02
/proc/12943/task/12945/stat : 12945 (java) S 12941 12943 12823 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 161161098 937435136 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12946] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12946/stat : 12946 (java) S 12941 12943 12823 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161161099 937435136 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12947] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12947/stat : 12947 (java) S 12941 12943 12823 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161161099 937435136 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12948] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12948/stat : 12948 (java) S 12941 12943 12823 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161161102 937435136 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12949] ppid=12941 vsize=915464 CPUtime=0.18
/proc/12943/task/12949/stat : 12949 (java) S 12941 12943 12823 0 -1 64 362 0 0 0 17 1 0 0 15 0 8 0 161161102 937435136 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12950] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12950/stat : 12950 (java) S 12941 12943 12823 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161161102 937435136 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12951] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12951/stat : 12951 (java) S 12941 12943 12823 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161161102 937435136 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.98725 s]
/proc/loadavg: 2.28 2.21 1.90 3/104 12951
/proc/meminfo: memFree=1054920/2055920 swapFree=4192812/4192956
[pid=12943] ppid=12941 vsize=915464 CPUtime=2.91
/proc/12943/stat : 12943 (java) R 12941 12943 12823 0 -1 0 9484 0 1 0 284 7 0 0 25 0 8 0 161161094 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12943/statm: 228866 9221 2542 14 0 215336 0
[pid=12943/tid=12945] ppid=12941 vsize=915464 CPUtime=0.02
/proc/12943/task/12945/stat : 12945 (java) S 12941 12943 12823 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 161161098 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12946] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12946/stat : 12946 (java) S 12941 12943 12823 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161161099 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12947] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12947/stat : 12947 (java) S 12941 12943 12823 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161161099 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12948] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12948/stat : 12948 (java) S 12941 12943 12823 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161161102 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12949] ppid=12941 vsize=915464 CPUtime=0.18
/proc/12943/task/12949/stat : 12949 (java) S 12941 12943 12823 0 -1 64 363 0 0 0 17 1 0 0 16 0 8 0 161161102 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12950] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12950/stat : 12950 (java) S 12941 12943 12823 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161161102 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12943/tid=12951] ppid=12941 vsize=915464 CPUtime=0
/proc/12943/task/12951/stat : 12951 (java) S 12941 12943 12823 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161161102 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 5.71944
CPU time (s): 5.53316
CPU user time (s): 5.44717
CPU system time (s): 0.085986
CPU usage (%): 96.7431
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.44717
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10846
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= 1031
involuntary context switches= 1449
runsolver used 0.017997 s user time and 0.019996 s system time
The end
Begin job on node3 on Sat Jan 6 23:54:15 UTC 2007
IDJOB= 198348
IDBENCH= 3550
FILE ID= node3/198348-1168127655
PBS_JOBID= 3477711
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198348-1168127655/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-198348-1168127655 -o ROOT/results/node3/solver-198348-1168127655 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198348-1168127655/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e5056520269618c2f722160091f6a04a
RANDOM SEED= 496837578
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: 1081696 kB
Buffers: 49580 kB
Cached: 219632 kB
SwapCached: 0 kB
Active: 737924 kB
Inactive: 181168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1081696 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 679416 kB
Slab: 38736 kB
Committed_AS: 4762568 kB
PageTables: 3264 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= 66542 MiB
End job on node3 on Sat Jan 6 23:54:20 UTC 2007