1
../src/main/dist/build/agda/agda ac/Example.agda --ignore-interfaces -iac -v0 +RTS -slogs/ac2-dhcp-246-168-20071213-12.58.log
2
4,759,480,760 bytes allocated in the heap
3
1,080,000,760 bytes copied during GC (scavenged)
4
7,233,080 bytes copied during GC (not scavenged)
5
111,837,184 bytes maximum residency (31 sample(s))
7
9068 collections in generation 0 ( 16.19s)
8
31 collections in generation 1 ( 10.52s)
10
272 Mb total memory in use
12
INIT time 0.00s ( 0.00s elapsed)
13
MUT time 58.95s ( 71.63s elapsed)
14
GC time 26.71s ( 33.77s elapsed)
15
RP time 0.00s ( 0.00s elapsed)
16
PROF time 0.00s ( 0.00s elapsed)
17
EXIT time 0.00s ( 0.00s elapsed)
18
Total time 85.66s (105.41s elapsed)
20
%GC time 31.2% (32.0% elapsed)
22
Alloc rate 80,739,753 bytes per MUT second
24
Productivity 68.8% of total user, 55.9% of total elapsed
26
──────────────────────────────────────────────────────────────────
28
Darwin Kernel Version 8.11.0: Wed Oct 10 18:26:00 PDT 2007; root:xnu-792.24.17~1/RELEASE_PPC
29
Kernel configured for a single processor only.
30
1 processor is physically available.
31
Processor type: ppc7450 (PowerPC 7450)
33
Primary memory available: 512.00 megabytes
34
Default processor set: 61 tasks, 173 threads, 1 processors
35
Load average: 1.63, Mach factor: 0.05