0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/198039-1168126642/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=9 nbDomainTypes=1 minDomainSize=35 maxDomainSize=35
0.42 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.42
0.42 predicates being loaded...
0.43
0.43 constraints being loaded...
0.69 nbConstraints=246 nbMergedConstraints=336 nbConvertedConstraints=36 nbConvertConstraintsChecks=44100
0.70 nbExtensionStructures=1 nbSharedExtensionStructures=35 nbConflictsStructures=2 nbSharedConflictsStructures=118
0.70 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=1 nbEvaluationManagers=2
0.70 nbSharedEvaluationManagers=208 maxDegree=92 maxArity=4
0.70 => wckTime=0.37 cpuTime=0.26 mem=11M827
0.73
0.73 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.59 cpuTime=0.42 mem=16M405
1.15
1.15 preprocessing
1.15 nbConstraintChecks=159158 nbValidityChecks=254456 nbPropagations=255 nbRevisions=22711 nbUselessRevisions=21833
1.15 nbSingletonTests=57 nbEffectiveSingletonTests=7 nbESACBranches=18 nbRemovedValues=92 detectedInconsistency=no
1.15 => wckTime=0.234 cpuTime=0.2 mem=16M405
1.32
1.32 search
1.32 run=0 nbConstraintChecks=144494 nbValidityChecks=174620 nbPropagations=414 nbRevisions=37428
1.32 nbUselessRevisions=36127 nbAssignments=30 nbFailedAssignments=19 nbBacktracks=11 nbVisitedNodes=58
1.32 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.402 cpuTime=0.36 mem=16M405
1.49
1.49 search
1.49 run=1 nbConstraintChecks=287395 nbValidityChecks=381144 nbPropagations=1020 nbRevisions=92937
1.49 nbUselessRevisions=89801 nbAssignments=66 nbFailedAssignments=39 nbBacktracks=27 nbVisitedNodes=124
1.49 nbRestartNogoods=0 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.568 cpuTime=0.53 mem=16M405
1.73
1.73 search
1.73 run=2 nbConstraintChecks=496500 nbValidityChecks=688516 nbPropagations=1919 nbRevisions=177077
1.73 nbUselessRevisions=171120 nbAssignments=126 nbFailedAssignments=74 nbBacktracks=50 nbVisitedNodes=235
1.73 nbRestartNogoods=0 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.816 cpuTime=0.77 mem=16M405
2.04
2.04 search
2.04 run=3 nbConstraintChecks=739234 nbValidityChecks=1097780 nbPropagations=3256 nbRevisions=305084
2.04 nbUselessRevisions=294614 nbAssignments=231 nbFailedAssignments=141 nbBacktracks=83 nbVisitedNodes=426
2.04 nbRestartNogoods=2 mapSize=75 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=1.118 cpuTime=1.07 mem=16M405
2.40
2.40 search
2.40 run=4 nbConstraintChecks=1020511 nbValidityChecks=1590852 nbPropagations=5209 nbRevisions=494284
2.40 nbUselessRevisions=476366 nbAssignments=409 nbFailedAssignments=256 nbBacktracks=133 nbVisitedNodes=732
2.40 nbRestartNogoods=9 mapSize=110 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=1.483 cpuTime=1.41 mem=16M405
2.88
2.88 search
2.88 run=5 nbConstraintChecks=1399926 nbValidityChecks=2287484 nbPropagations=8156 nbRevisions=777442
2.88 nbUselessRevisions=748331 nbAssignments=676 nbFailedAssignments=445 nbBacktracks=208 nbVisitedNodes=1233
2.88 nbRestartNogoods=13 mapSize=170 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=1.963 cpuTime=1.89 mem=16M405
3.54
3.55 search
3.55 run=6 nbConstraintChecks=1915468 nbValidityChecks=3170301 nbPropagations=12299 nbRevisions=1185778
3.55 nbUselessRevisions=1139890 nbAssignments=1019 nbFailedAssignments=657 nbBacktracks=321 nbVisitedNodes=1826
3.55 nbRestartNogoods=28 mapSize=254 nbInferences=0 nbTooLargeKeys=0
3.55 => wckTime=2.627 cpuTime=2.53 mem=16M405
4.34
4.34 search
4.34 run=7 nbConstraintChecks=2520236 nbValidityChecks=4336081 nbPropagations=18566 nbRevisions=1788242
4.34 nbUselessRevisions=1718446 nbAssignments=1610 nbFailedAssignments=1074 nbBacktracks=493 nbVisitedNodes=2926
4.34 nbRestartNogoods=28 mapSize=385 nbInferences=0 nbTooLargeKeys=0
4.34 => wckTime=3.428 cpuTime=3.32 mem=16M405
5.33
5.33 search
5.33 run=8 nbConstraintChecks=3266765 nbValidityChecks=5679143 nbPropagations=27386 nbRevisions=2644747
5.33 nbUselessRevisions=2541030 nbAssignments=2326 nbFailedAssignments=1531 nbBacktracks=749 nbVisitedNodes=4234
5.33 nbRestartNogoods=37 mapSize=579 nbInferences=0 nbTooLargeKeys=0
5.33 => wckTime=4.409 cpuTime=4.27 mem=16M405
6.94
6.94 search
6.94 run=9 nbConstraintChecks=4524545 nbValidityChecks=7880364 nbPropagations=40259 nbRevisions=3906295
6.94 nbUselessRevisions=3753500 nbAssignments=3403 nbFailedAssignments=2207 nbBacktracks=1133 nbVisitedNodes=6194
6.94 nbRestartNogoods=47 mapSize=882 nbInferences=0 nbTooLargeKeys=0
6.94 => wckTime=6.02 cpuTime=5.86 mem=16M405
7.60
7.60 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=16M405)
9.40
9.40 search
9.40 run=10 nbConstraintChecks=6452663 nbValidityChecks=11186530 nbPropagations=59317 nbRevisions=5802530
9.40 nbUselessRevisions=5577196 nbAssignments=4920 nbFailedAssignments=3141 nbBacktracks=1709 nbVisitedNodes=9010
9.40 nbRestartNogoods=52
9.40 => wckTime=8.487 cpuTime=8.3 mem=16M405
11.98
11.98 search
11.98 run=11 nbConstraintChecks=8497358 nbValidityChecks=14563204 nbPropagations=84409 nbRevisions=8337437
11.98 nbUselessRevisions=8014755 nbAssignments=6293 nbFailedAssignments=3907 nbBacktracks=2305 nbVisitedNodes=11569
11.98 nbRestartNogoods=61
11.98 => wckTime=11.066 cpuTime=10.86 mem=16M405
11.98
11.98 global
11.98 nbConstraintChecks=8656516 nbValidityChecks=14817660 nbPropagations=84664 nbRevisions=8360148
11.98 nbUselessRevisions=8036588 nbRestartNogoods=61 solvingWckTime=11.067 solvingCpuTime=10.86 expiredTime=no
11.98 totalExploration=yes nbFoundSolutions=0 globalCpuTime=11.34
11.98 => wckTime=11.66 cpuTime=11.28 mem=16M405
11.99
11.99 s UNSATISFIABLE
11.99 d NODES 6293
11.99 d CHECKS 8656516
11.99
11.99 totalWckTime=11.743 totalCpuTime=11.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-198039-1168126642 -o ROOT/results/node1/solver-198039-1168126642 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198039-1168126642/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.91 1.86 1.75 4/93 2319
/proc/meminfo: memFree=1695760/2055920 swapFree=4165612/4192956
[pid=2318] ppid=2316 vsize=18540 CPUtime=0
/proc/2318/stat : 2318 (runsolver) R 2316 2318 2251 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 161060121 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2318/statm: 4635 279 244 17 0 2626 0
[startup+0.107993 s]
/proc/loadavg: 1.91 1.86 1.75 4/93 2319
/proc/meminfo: memFree=1695760/2055920 swapFree=4165612/4192956
[pid=2318] ppid=2316 vsize=914988 CPUtime=0.08
/proc/2318/stat : 2318 (java) R 2316 2318 2251 0 -1 0 2967 0 1 0 6 2 0 0 17 0 8 0 161060121 936947712 2713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155533145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2318/statm: 228747 2713 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519042 s]
/proc/loadavg: 1.91 1.86 1.75 4/93 2319
/proc/meminfo: memFree=1695760/2055920 swapFree=4165612/4192956
[pid=2318] ppid=2316 vsize=915328 CPUtime=0.5
/proc/2318/stat : 2318 (java) R 2316 2318 2251 0 -1 0 6365 0 1 0 45 5 0 0 18 0 8 0 161060121 937295872 6104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2318/statm: 228832 6104 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34814 s]
/proc/loadavg: 1.91 1.86 1.75 3/100 2326
/proc/meminfo: memFree=1670744/2055920 swapFree=4165612/4192956
[pid=2318] ppid=2316 vsize=915556 CPUtime=1.31
/proc/2318/stat : 2318 (java) R 2316 2318 2251 0 -1 0 9067 0 1 0 124 7 0 0 24 0 8 0 161060121 937529344 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2318/statm: 228889 8805 2543 14 0 215359 0
[pid=2318/tid=2320] ppid=2316 vsize=915556 CPUtime=0.02
/proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2251 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 161060126 937529344 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2321] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161060126 937529344 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2322] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161060126 937529344 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2323] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2251 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161060130 937529344 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2324] ppid=2316 vsize=915556 CPUtime=0.19
/proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2251 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 161060130 937529344 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2325] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161060130 937529344 8805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2326] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2251 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161060130 937529344 8805 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) 915556
[startup+2.98833 s]
/proc/loadavg: 1.91 1.86 1.75 3/100 2326
/proc/meminfo: memFree=1670232/2055920 swapFree=4165612/4192956
[pid=2318] ppid=2316 vsize=915556 CPUtime=2.93
/proc/2318/stat : 2318 (java) R 2316 2318 2251 0 -1 0 9098 0 1 0 286 7 0 0 25 0 8 0 161060121 937529344 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2318/statm: 228889 8834 2543 14 0 215359 0
[pid=2318/tid=2320] ppid=2316 vsize=915556 CPUtime=0.02
/proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2251 0 -1 64 157 0 0 0 2 0 0 0 17 0 8 0 161060126 937529344 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2321] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161060126 937529344 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2322] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161060126 937529344 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2323] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2251 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161060130 937529344 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2324] ppid=2316 vsize=915556 CPUtime=0.23
/proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2251 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 161060130 937529344 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2325] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161060130 937529344 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2326] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2251 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161060130 937529344 8834 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) 915556
[startup+6.26771 s]
/proc/loadavg: 1.92 1.86 1.75 3/100 2326
/proc/meminfo: memFree=1670056/2055920 swapFree=4165612/4192956
[pid=2318] ppid=2316 vsize=915556 CPUtime=6.19
/proc/2318/stat : 2318 (java) R 2316 2318 2251 0 -1 0 9145 0 1 0 611 8 0 0 25 0 8 0 161060121 937529344 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2318/statm: 228889 8878 2543 14 0 215359 0
[pid=2318/tid=2320] ppid=2316 vsize=915556 CPUtime=0.02
/proc/2318/task/2320/stat : 2320 (java) S 2316 2318 2251 0 -1 64 157 0 0 0 2 0 0 0 17 0 8 0 161060126 937529344 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2321] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2321/stat : 2321 (java) S 2316 2318 2251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161060126 937529344 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2322] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2322/stat : 2322 (java) S 2316 2318 2251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161060126 937529344 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2323] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2323/stat : 2323 (java) S 2316 2318 2251 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161060130 937529344 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2324] ppid=2316 vsize=915556 CPUtime=0.26
/proc/2318/task/2324/stat : 2324 (java) S 2316 2318 2251 0 -1 64 407 0 0 0 25 1 0 0 15 0 8 0 161060130 937529344 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2325] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2325/stat : 2325 (java) S 2316 2318 2251 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161060130 937529344 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2318/tid=2326] ppid=2316 vsize=915556 CPUtime=0
/proc/2318/task/2326/stat : 2326 (java) S 2316 2318 2251 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161060130 937529344 8878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 12.0221
CPU time (s): 11.8732
CPU user time (s): 11.7822
CPU system time (s): 0.090986
CPU usage (%): 98.7612
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7822
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9256
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= 1461
involuntary context switches= 2054
runsolver used 0.020996 s user time and 0.041993 s system time
The end
Begin job on node1 on Sat Jan 6 23:37:24 UTC 2007
IDJOB= 198039
IDBENCH= 3530
FILE ID= node1/198039-1168126642
PBS_JOBID= 3477692
Free space on /tmp= 66302 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-34-9-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198039-1168126642/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-198039-1168126642 -o ROOT/results/node1/solver-198039-1168126642 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198039-1168126642/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 595a44e6ab9cbcc9e7223c194d261e6f
RANDOM SEED= 530687021
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.234
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.234
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: 1696240 kB
Buffers: 44268 kB
Cached: 182672 kB
SwapCached: 4056 kB
Active: 139060 kB
Inactive: 162804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1696240 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 94460 kB
Slab: 42400 kB
Committed_AS: 5254124 kB
PageTables: 2468 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= 66302 MiB
End job on node1 on Sat Jan 6 23:37:36 UTC 2007