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/225666-1168080629/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.39 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.74
0.74 constraints being loaded...
0.87 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.87 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.87 => wckTime=0.575 cpuTime=0.53 mem=36M338
0.92
0.92 solver IterativeSystematicSolver being built...
1.07 => wckTime=0.772 cpuTime=0.65 mem=16M200
1.07
1.07 preprocessing
1.07 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.07 detectedInconsistency=no
1.07 => wckTime=0.0020 cpuTime=0.0 mem=16M200
1.16
1.16 search
1.16 run=0 nbConstraintChecks=365993 nbPropagations=1071 nbRevisions=3926 nbUselessRevisions=1755 nbAssignments=33
1.16 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=61 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.16 nbTooLargeKeys=0
1.16 => wckTime=0.085 cpuTime=0.06 mem=16M200
1.22
1.22 search
1.22 run=1 nbConstraintChecks=1269650 nbPropagations=4531 nbRevisions=18110 nbUselessRevisions=7875
1.22 nbAssignments=93 nbFailedAssignments=63 nbBacktracks=25 nbVisitedNodes=178 nbRestartNogoods=6 mapSize=23
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.149 cpuTime=0.11 mem=16M200
1.28
1.28 search
1.28 run=2 nbConstraintChecks=2168719 nbPropagations=10567 nbRevisions=42829 nbUselessRevisions=18594
1.28 nbAssignments=157 nbFailedAssignments=103 nbBacktracks=48 nbVisitedNodes=297 nbRestartNogoods=12 mapSize=44
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.207 cpuTime=0.17 mem=16M200
1.36
1.37 search
1.37 run=3 nbConstraintChecks=3583689 nbPropagations=20571 nbRevisions=83997 nbUselessRevisions=36662
1.37 nbAssignments=255 nbFailedAssignments=165 nbBacktracks=82 nbVisitedNodes=484 nbRestartNogoods=20 mapSize=75
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.294 cpuTime=0.25 mem=16M200
1.48
1.48 search
1.48 run=4 nbConstraintChecks=5576020 nbPropagations=36218 nbRevisions=148689 nbUselessRevisions=65173
1.48 nbAssignments=401 nbFailedAssignments=259 nbBacktracks=133 nbVisitedNodes=765 nbRestartNogoods=25 mapSize=121
1.48 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.411 cpuTime=0.37 mem=16M200
1.70
1.70 search
1.70 run=5 nbConstraintChecks=9369327 nbPropagations=62238 nbRevisions=256957 nbUselessRevisions=113579
1.70 nbAssignments=723 nbFailedAssignments=504 nbBacktracks=208 nbVisitedNodes=1403 nbRestartNogoods=31 mapSize=194
1.70 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.632 cpuTime=0.59 mem=16M200
1.96
1.96 search
1.96 run=6 nbConstraintChecks=13762859 nbPropagations=100398 nbRevisions=414926 nbUselessRevisions=184380
1.96 nbAssignments=1018 nbFailedAssignments=684 nbBacktracks=322 nbVisitedNodes=1974 nbRestartNogoods=50
1.96 mapSize=302 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.885 cpuTime=0.84 mem=16M200
2.32
2.32 search
2.32 run=7 nbConstraintChecks=20227063 nbPropagations=157020 nbRevisions=648361 nbUselessRevisions=288916
2.32 nbAssignments=1485 nbFailedAssignments=979 nbBacktracks=493 nbVisitedNodes=2870 nbRestartNogoods=53
2.32 mapSize=454 nbInferences=0 nbTooLargeKeys=0
2.32 => wckTime=1.247 cpuTime=1.2 mem=17M172
3.15
3.15 search
3.15 run=8 nbConstraintChecks=35446057 nbPropagations=251145 nbRevisions=1043446 nbUselessRevisions=465431
3.15 nbAssignments=2520 nbFailedAssignments=1756 nbBacktracks=749 nbVisitedNodes=4896 nbRestartNogoods=56
3.15 mapSize=695 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=2.083 cpuTime=2.01 mem=17M172
4.10
4.10 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=17M172)
4.17
4.17 search
4.17 run=9 nbConstraintChecks=54043724 nbPropagations=394040 nbRevisions=1644527 nbUselessRevisions=733160
4.17 nbAssignments=3840 nbFailedAssignments=2691 nbBacktracks=1133 nbVisitedNodes=7466 nbRestartNogoods=62
4.17 => wckTime=3.102 cpuTime=3.03 mem=17M172
5.67
5.67 search
5.67 run=10 nbConstraintChecks=81478720 nbPropagations=609889 nbRevisions=2551421 nbUselessRevisions=1137036
5.67 nbAssignments=5770 nbFailedAssignments=4044 nbBacktracks=1710 nbVisitedNodes=11215 nbRestartNogoods=65
5.67 => wckTime=4.596 cpuTime=4.52 mem=17M172
7.95
7.95 search
7.95 run=11 nbConstraintChecks=123343804 nbPropagations=933782 nbRevisions=3915914 nbUselessRevisions=1745085
7.95 nbAssignments=8685 nbFailedAssignments=6093 nbBacktracks=2576 nbVisitedNodes=16880 nbRestartNogoods=65
7.95 => wckTime=6.878 cpuTime=6.8 mem=17M172
9.41
9.41 search
9.41 run=12 nbConstraintChecks=151347153 nbPropagations=1328608 nbRevisions=5580680 nbUselessRevisions=2488180
9.41 nbAssignments=10662 nbFailedAssignments=7524 nbBacktracks=3123 nbVisitedNodes=20745 nbRestartNogoods=65
9.41 => wckTime=8.343 cpuTime=8.26 mem=17M172
9.42
9.42 global
9.42 nbConstraintChecks=151347153 nbPropagations=1328648 nbRevisions=5580680 nbUselessRevisions=2488180
9.42 nbRestartNogoods=65 solvingWckTime=8.344 solvingCpuTime=8.26 expiredTime=no totalExploration=yes
9.42 nbFoundSolutions=0 globalCpuTime=8.96
9.42 => wckTime=9.121 cpuTime=8.91 mem=17M172
9.42
9.42 s UNSATISFIABLE
9.42 d NODES 10662
9.42 d CHECKS 151347153
9.42
9.42 totalWckTime=9.195 totalCpuTime=8.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-225666-1168080629 -o ROOT/results/node62/solver-225666-1168080629 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225666-1168080629/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.18 0.75 1.32 4/68 4557
/proc/meminfo: memFree=1123264/2055920 swapFree=4192812/4192956
[pid=4556] ppid=4554 vsize=172 CPUtime=0
/proc/4556/stat : 4556 (java) R 4554 4556 4151 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156461187 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8106788 0 0 4096 0 0 0 0 17 1 0 0
/proc/4556/statm: 43 24 18 14 0 3 0
[startup+0.103683 s]
/proc/loadavg: 0.18 0.75 1.32 4/68 4557
/proc/meminfo: memFree=1123264/2055920 swapFree=4192812/4192956
[pid=4556] ppid=4554 vsize=914988 CPUtime=0.09
/proc/4556/stat : 4556 (java) R 4554 4556 4151 0 -1 0 3057 0 1 0 7 2 0 0 16 0 8 0 156461187 936947712 2803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4556/statm: 228747 2804 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51376 s]
/proc/loadavg: 0.18 0.75 1.32 4/68 4557
/proc/meminfo: memFree=1123264/2055920 swapFree=4192812/4192956
[pid=4556] ppid=4554 vsize=915328 CPUtime=0.51
/proc/4556/stat : 4556 (java) R 4554 4556 4151 0 -1 0 7958 0 1 0 47 4 0 0 16 0 8 0 156461187 937295872 7697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073586030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4556/statm: 228832 7698 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915328
[startup+1.33792 s]
/proc/loadavg: 0.18 0.75 1.32 2/75 4566
/proc/meminfo: memFree=1076808/2055920 swapFree=4192812/4192956
[pid=4556] ppid=4554 vsize=915464 CPUtime=1.32
/proc/4556/stat : 4556 (java) R 4554 4556 4151 0 -1 0 14330 0 1 0 124 8 0 0 16 0 8 0 156461187 937435136 14068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4556/statm: 228866 14068 2513 14 0 215336 0
[pid=4556/tid=4559] ppid=4554 vsize=915464 CPUtime=0.03
/proc/4556/task/4559/stat : 4559 (java) S 4554 4556 4151 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156461191 937435136 14068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4556/tid=4560] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4560/stat : 4560 (java) S 4554 4556 4151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156461191 937435136 14068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4561] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4561/stat : 4561 (java) S 4554 4556 4151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156461191 937435136 14068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4563] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4563/stat : 4563 (java) S 4554 4556 4151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156461194 937435136 14068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4564] ppid=4554 vsize=915464 CPUtime=0.15
/proc/4556/task/4564/stat : 4564 (java) S 4554 4556 4151 0 -1 64 357 0 0 0 14 1 0 0 16 0 8 0 156461194 937435136 14068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4565] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4565/stat : 4565 (java) S 4554 4556 4151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156461194 937435136 14068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4566] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4566/stat : 4566 (java) S 4554 4556 4151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156461194 937435136 14068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464
[startup+2.97425 s]
/proc/loadavg: 0.18 0.75 1.32 2/75 4566
/proc/meminfo: memFree=1076680/2055920 swapFree=4192812/4192956
[pid=4556] ppid=4554 vsize=915464 CPUtime=2.96
/proc/4556/stat : 4556 (java) R 4554 4556 4151 0 -1 0 14346 0 1 0 288 8 0 0 17 0 8 0 156461187 937435136 14083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740971 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4556/statm: 228866 14083 2513 14 0 215336 0
[pid=4556/tid=4559] ppid=4554 vsize=915464 CPUtime=0.03
/proc/4556/task/4559/stat : 4559 (java) S 4554 4556 4151 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156461191 937435136 14083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4560] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4560/stat : 4560 (java) S 4554 4556 4151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156461191 937435136 14083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4561] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4561/stat : 4561 (java) S 4554 4556 4151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156461191 937435136 14083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4563] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4563/stat : 4563 (java) S 4554 4556 4151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156461194 937435136 14083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4564] ppid=4554 vsize=915464 CPUtime=0.18
/proc/4556/task/4564/stat : 4564 (java) S 4554 4556 4151 0 -1 64 371 0 0 0 17 1 0 0 16 0 8 0 156461194 937435136 14083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4565] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4565/stat : 4565 (java) S 4554 4556 4151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156461194 937435136 14083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4566] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4566/stat : 4566 (java) S 4554 4556 4151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156461194 937435136 14083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915464
[startup+6.2699 s]
/proc/loadavg: 0.24 0.76 1.32 2/75 4566
/proc/meminfo: memFree=1076680/2055920 swapFree=4192812/4192956
[pid=4556] ppid=4554 vsize=915464 CPUtime=6.25
/proc/4556/stat : 4556 (java) R 4554 4556 4151 0 -1 0 14351 0 1 0 617 8 0 0 17 0 8 0 156461187 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4556/statm: 228866 14086 2513 14 0 215336 0
[pid=4556/tid=4559] ppid=4554 vsize=915464 CPUtime=0.03
/proc/4556/task/4559/stat : 4559 (java) S 4554 4556 4151 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156461191 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4560] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4560/stat : 4560 (java) S 4554 4556 4151 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156461191 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4561] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4561/stat : 4561 (java) S 4554 4556 4151 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156461191 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4563] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4563/stat : 4563 (java) S 4554 4556 4151 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156461194 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4564] ppid=4554 vsize=915464 CPUtime=0.19
/proc/4556/task/4564/stat : 4564 (java) S 4554 4556 4151 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 156461194 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4565] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4565/stat : 4565 (java) S 4554 4556 4151 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156461194 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4556/tid=4566] ppid=4554 vsize=915464 CPUtime=0
/proc/4556/task/4566/stat : 4566 (java) S 4554 4556 4151 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156461194 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 9.45
CPU time (s): 9.41957
CPU user time (s): 9.32158
CPU system time (s): 0.097985
CPU usage (%): 99.678
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.32158
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14357
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= 905
involuntary context switches= 122
runsolver used 0.014997 s user time and 0.033994 s system time
The end
Begin job on node62 on Sat Jan 6 10:50:31 UTC 2007
IDJOB= 225666
IDBENCH= 5885
FILE ID= node62/225666-1168080629
PBS_JOBID= 3476165
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225666-1168080629/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-225666-1168080629 -o ROOT/results/node62/solver-225666-1168080629 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225666-1168080629/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b5edf3320e80bd6231b487f32cfb536c
RANDOM SEED= 101714342
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.259
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.259
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: 1123872 kB
Buffers: 59700 kB
Cached: 774048 kB
SwapCached: 0 kB
Active: 130600 kB
Inactive: 723380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1123872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3548 kB
Writeback: 0 kB
Mapped: 30380 kB
Slab: 63716 kB
Committed_AS: 2897584 kB
PageTables: 1684 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= 66549 MiB
End job on node62 on Sat Jan 6 10:50:46 UTC 2007