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/208822-1168074846/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.091 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.65
0.65 constraints being loaded...
0.81 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.81 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.81 => wckTime=0.514 cpuTime=0.47 mem=44M576
0.89
0.89 solver IterativeSystematicSolver being built...
1.04 => wckTime=0.744 cpuTime=0.59 mem=21M666
1.05
1.05 preprocessing
1.05 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.05 detectedInconsistency=no
1.05 => wckTime=0.0020 cpuTime=0.0 mem=21M666
1.14
1.14 search
1.14 run=0 nbConstraintChecks=22751 nbValidityChecks=41236 nbPropagations=292 nbRevisions=3031
1.14 nbUselessRevisions=2421 nbAssignments=25 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=44
1.14 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.098 cpuTime=0.06 mem=21M666
1.21
1.21 search
1.21 run=1 nbConstraintChecks=62660 nbValidityChecks=121981 nbPropagations=1043 nbRevisions=11766
1.21 nbUselessRevisions=9419 nbAssignments=65 nbFailedAssignments=32 nbBacktracks=25 nbVisitedNodes=116
1.21 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.165 cpuTime=0.12 mem=21M666
1.33
1.33 search
1.33 run=2 nbConstraintChecks=143870 nbValidityChecks=289842 nbPropagations=2762 nbRevisions=31098
1.33 nbUselessRevisions=24425 nbAssignments=158 nbFailedAssignments=98 nbBacktracks=47 nbVisitedNodes=294
1.33 nbRestartNogoods=6 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.288 cpuTime=0.23 mem=21M666
1.41
1.41 search
1.41 run=3 nbConstraintChecks=194765 nbValidityChecks=391104 nbPropagations=5148 nbRevisions=58190
1.41 nbUselessRevisions=45686 nbAssignments=224 nbFailedAssignments=126 nbBacktracks=82 nbVisitedNodes=408
1.41 nbRestartNogoods=13 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.363 cpuTime=0.3 mem=21M666
1.55
1.55 search
1.55 run=4 nbConstraintChecks=302611 nbValidityChecks=612153 nbPropagations=8936 nbRevisions=100977
1.55 nbUselessRevisions=79166 nbAssignments=363 nbFailedAssignments=211 nbBacktracks=133 nbVisitedNodes=664
1.55 nbRestartNogoods=17 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.508 cpuTime=0.44 mem=21M666
1.78
1.78 search
1.78 run=5 nbConstraintChecks=476753 nbValidityChecks=966504 nbPropagations=15063 nbRevisions=170494
1.78 nbUselessRevisions=133725 nbAssignments=552 nbFailedAssignments=322 nbBacktracks=208 nbVisitedNodes=1024
1.78 nbRestartNogoods=25 mapSize=193 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.741 cpuTime=0.67 mem=21M666
2.28
2.28 search
2.28 run=6 nbConstraintChecks=867801 nbValidityChecks=1792110 nbPropagations=25453 nbRevisions=288955
2.28 nbUselessRevisions=225960 nbAssignments=1055 nbFailedAssignments=708 nbBacktracks=321 nbVisitedNodes=1998
2.28 nbRestartNogoods=32 mapSize=295 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=1.237 cpuTime=1.16 mem=21M666
2.86
2.86 search
2.86 run=7 nbConstraintChecks=1334618 nbValidityChecks=2668252 nbPropagations=40966 nbRevisions=468766
2.86 nbUselessRevisions=366551 nbAssignments=1547 nbFailedAssignments=1026 nbBacktracks=492 nbVisitedNodes=2935
2.86 nbRestartNogoods=39 mapSize=451 nbInferences=0 nbTooLargeKeys=0
2.86 => wckTime=1.813 cpuTime=1.72 mem=21M666
3.52
3.52 search
3.52 run=8 nbConstraintChecks=1860438 nbValidityChecks=3753042 nbPropagations=63412 nbRevisions=728833
3.52 nbUselessRevisions=570856 nbAssignments=2204 nbFailedAssignments=1424 nbBacktracks=749 nbVisitedNodes=4162
3.52 nbRestartNogoods=47 mapSize=682 nbInferences=0 nbTooLargeKeys=0
3.52 => wckTime=2.475 cpuTime=2.37 mem=21M666
4.58
4.58 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=22M633)
4.67
4.67 search
4.67 run=9 nbConstraintChecks=2854113 nbValidityChecks=5683885 nbPropagations=96879 nbRevisions=1128252
4.67 nbUselessRevisions=886454 nbAssignments=3278 nbFailedAssignments=2109 nbBacktracks=1134 nbVisitedNodes=6206
4.68 nbRestartNogoods=58
4.68 => wckTime=3.631 cpuTime=3.51 mem=22M633
5.93
5.93 search
5.93 run=10 nbConstraintChecks=3877095 nbValidityChecks=7791172 nbPropagations=144760 nbRevisions=1693851
5.93 nbUselessRevisions=1333954 nbAssignments=4604 nbFailedAssignments=2854 nbBacktracks=1710 nbVisitedNodes=8658
5.93 nbRestartNogoods=67
5.93 => wckTime=4.885 cpuTime=4.75 mem=22M633
8.50
8.50 search
8.50 run=11 nbConstraintChecks=6156050 nbValidityChecks=12132007 nbPropagations=216765 nbRevisions=2552566
8.50 nbUselessRevisions=2012689 nbAssignments=6964 nbFailedAssignments=4347 nbBacktracks=2574 nbVisitedNodes=13121
8.50 nbRestartNogoods=82
8.50 => wckTime=7.46 cpuTime=7.32 mem=22M633
11.05
11.05 search
11.05 run=12 nbConstraintChecks=8300974 nbValidityChecks=16483815 nbPropagations=316933 nbRevisions=3742085
11.05 nbUselessRevisions=2954005 nbAssignments=9489 nbFailedAssignments=5799 nbBacktracks=3627 nbVisitedNodes=17822
11.05 nbRestartNogoods=88
11.05 => wckTime=10.011 cpuTime=9.83 mem=22M633
11.06
11.06 global
11.06 nbConstraintChecks=8300974 nbValidityChecks=16483815 nbPropagations=316953 nbRevisions=3742085
11.06 nbUselessRevisions=2954005 nbRestartNogoods=88 solvingWckTime=10.012 solvingCpuTime=9.83 expiredTime=no
11.06 totalExploration=no nbFoundSolutions=1 globalCpuTime=10.47
11.06 => wckTime=10.759 cpuTime=10.42 mem=22M633
11.06
11.06 s SATISFIABLE
11.06 v 10 12 17 18 11 16 10 14 4 7 9 9 0 7 7 2 9 3 3 5
11.06 d NODES 9489
11.06 d CHECKS 8300974
11.06
11.06 totalWckTime=10.836 totalCpuTime=10.48
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-208822-1168074846 -o ROOT/results/node75/solver-208822-1168074846 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208822-1168074846/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.85 0.97 0.99 6/73 22237
/proc/meminfo: memFree=1748456/2055920 swapFree=4184496/4192956
[pid=22236] ppid=22231 vsize=1784 CPUtime=0
/proc/22236/stat : 22236 (java) D 22231 22236 22117 0 -1 0 192 0 0 0 0 0 0 0 19 0 1 0 155884290 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 0 0 0
/proc/22236/statm: 446 158 123 14 0 91 0
[startup+0.105861 s]
/proc/loadavg: 0.85 0.97 0.99 6/73 22237
/proc/meminfo: memFree=1748456/2055920 swapFree=4184496/4192956
[pid=22236] ppid=22231 vsize=914988 CPUtime=0.09
/proc/22236/stat : 22236 (java) R 22231 22236 22117 0 -1 0 3029 0 1 0 7 2 0 0 17 0 8 0 155884290 936947712 2775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22236/statm: 228747 2775 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513909 s]
/proc/loadavg: 0.85 0.97 0.99 6/73 22237
/proc/meminfo: memFree=1748456/2055920 swapFree=4184496/4192956
[pid=22236] ppid=22231 vsize=915328 CPUtime=0.49
/proc/22236/stat : 22236 (java) R 22231 22236 22117 0 -1 0 8191 0 1 0 45 4 0 0 18 0 8 0 155884290 937295872 7930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22236/statm: 228832 7931 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.335 s]
/proc/loadavg: 0.85 0.97 0.99 5/87 22251
/proc/meminfo: memFree=1643904/2055920 swapFree=4184496/4192956
[pid=22236] ppid=22231 vsize=915460 CPUtime=1.31
/proc/22236/stat : 22236 (java) R 22231 22236 22117 0 -1 0 17665 0 1 0 122 9 0 0 24 0 8 0 155884290 937431040 17402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22236/statm: 228865 17402 2517 14 0 215335 0
[pid=22236/tid=22239] ppid=22231 vsize=915460 CPUtime=0.06
/proc/22236/task/22239/stat : 22239 (java) S 22231 22236 22117 0 -1 64 1888 0 0 0 5 1 0 0 16 0 8 0 155884293 937431040 17402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22241] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22241/stat : 22241 (java) S 22231 22236 22117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155884294 937431040 17402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22243] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22243/stat : 22243 (java) S 22231 22236 22117 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155884294 937431040 17402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22245] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22245/stat : 22245 (java) S 22231 22236 22117 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155884297 937431040 17402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22247] ppid=22231 vsize=915460 CPUtime=0.17
/proc/22236/task/22247/stat : 22247 (java) S 22231 22236 22117 0 -1 64 357 0 0 0 16 1 0 0 15 0 8 0 155884297 937431040 17402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22249] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22249/stat : 22249 (java) S 22231 22236 22117 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155884297 937431040 17402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22251] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22251/stat : 22251 (java) S 22231 22236 22117 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155884297 937431040 17402 18446744073709551615 134512640 134570532 4294956480 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) 915460
[startup+2.97219 s]
/proc/loadavg: 0.85 0.97 0.99 4/87 22251
/proc/meminfo: memFree=1641536/2055920 swapFree=4184496/4192956
[pid=22236] ppid=22231 vsize=915460 CPUtime=2.94
/proc/22236/stat : 22236 (java) R 22231 22236 22117 0 -1 0 17684 0 1 0 285 9 0 0 25 0 8 0 155884290 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22236/statm: 228865 17420 2517 14 0 215335 0
[pid=22236/tid=22239] ppid=22231 vsize=915460 CPUtime=0.06
/proc/22236/task/22239/stat : 22239 (java) S 22231 22236 22117 0 -1 64 1888 0 0 0 5 1 0 0 17 0 8 0 155884293 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22241] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22241/stat : 22241 (java) S 22231 22236 22117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155884294 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22243] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22243/stat : 22243 (java) S 22231 22236 22117 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155884294 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22245] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22245/stat : 22245 (java) S 22231 22236 22117 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155884297 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22247] ppid=22231 vsize=915460 CPUtime=0.21
/proc/22236/task/22247/stat : 22247 (java) S 22231 22236 22117 0 -1 64 375 0 0 0 20 1 0 0 15 0 8 0 155884297 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22249] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22249/stat : 22249 (java) S 22231 22236 22117 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155884297 937431040 17420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22251] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22251/stat : 22251 (java) S 22231 22236 22117 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155884297 937431040 17420 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.27258 s]
/proc/loadavg: 0.94 0.98 0.99 3/87 22251
/proc/meminfo: memFree=1611904/2055920 swapFree=4184496/4192956
[pid=22236] ppid=22231 vsize=915460 CPUtime=6.21
/proc/22236/stat : 22236 (java) R 22231 22236 22117 0 -1 0 17693 0 1 0 612 9 0 0 25 0 8 0 155884290 937431040 17427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22236/statm: 228865 17427 2517 14 0 215335 0
[pid=22236/tid=22239] ppid=22231 vsize=915460 CPUtime=0.06
/proc/22236/task/22239/stat : 22239 (java) S 22231 22236 22117 0 -1 64 1888 0 0 0 5 1 0 0 16 0 8 0 155884293 937431040 17427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22241] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22241/stat : 22241 (java) S 22231 22236 22117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155884294 937431040 17427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22243] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22243/stat : 22243 (java) S 22231 22236 22117 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155884294 937431040 17427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22245] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22245/stat : 22245 (java) S 22231 22236 22117 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155884297 937431040 17427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22247] ppid=22231 vsize=915460 CPUtime=0.22
/proc/22236/task/22247/stat : 22247 (java) S 22231 22236 22117 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 155884297 937431040 17427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22249] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22249/stat : 22249 (java) S 22231 22236 22117 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155884297 937431040 17427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22236/tid=22251] ppid=22231 vsize=915460 CPUtime=0
/proc/22236/task/22251/stat : 22251 (java) S 22231 22236 22117 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155884297 937431040 17427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 11.1242
CPU time (s): 10.9783
CPU user time (s): 10.8703
CPU system time (s): 0.107983
CPU usage (%): 98.6889
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8703
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17701
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= 1256
involuntary context switches= 1519
runsolver used 0.013997 s user time and 0.039993 s system time
The end
Begin job on node75 on Sat Jan 6 09:14:09 UTC 2007
IDJOB= 208822
IDBENCH= 4455
FILE ID= node75/208822-1168074846
PBS_JOBID= 3476029
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208822-1168074846/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-208822-1168074846 -o ROOT/results/node75/solver-208822-1168074846 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208822-1168074846/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 18df87b0933631f1a75461f405093417
RANDOM SEED= 251883421
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1749152 kB
Buffers: 2904 kB
Cached: 238884 kB
SwapCached: 2468 kB
Active: 69492 kB
Inactive: 186740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749152 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 5508 kB
Writeback: 0 kB
Mapped: 21068 kB
Slab: 36072 kB
Committed_AS: 3062580 kB
PageTables: 1720 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= 66545 MiB
End job on node75 on Sat Jan 6 09:14:22 UTC 2007