2
max-open-constraints = 0
8
agda -v0 -v profile:100 proj/Record.agda -iproj --ignore-interfaces +RTS -slogs/.tmp (null)
9
64,856,496 bytes allocated in the heap
10
11,958,428 bytes copied during GC
11
2,042,728 bytes maximum residency (5 sample(s))
12
89,772 bytes maximum slop
13
6 MB total memory in use (0 MB lost due to fragmentation)
15
Tot time (elapsed) Avg pause Max pause
16
Gen 0 119 colls, 0 par 0.02s 0.02s 0.0002s 0.0006s
17
Gen 1 5 colls, 0 par 0.02s 0.02s 0.0036s 0.0077s
19
INIT time 0.00s ( 0.00s elapsed)
20
MUT time 0.11s ( 0.13s elapsed)
21
GC time 0.04s ( 0.04s elapsed)
22
EXIT time 0.00s ( 0.00s elapsed)
23
Total time 0.16s ( 0.17s elapsed)
25
%GC time 25.8% (24.8% elapsed)
27
Alloc rate 604,491,485 bytes per MUT second
29
Productivity 74.2% of total user, 68.3% of total elapsed
31
──────────────────────────────────────────────────────────────────
33
Darwin Kernel Version 11.4.0: Mon Apr 9 19:32:15 PDT 2012; root:xnu-1699.26.8~1/RELEASE_X86_64
34
Kernel configured for up to 8 processors.
35
4 processors are physically available.
36
8 processors are logically available.
37
Processor type: i486 (Intel 80486)
38
Processors active: 0 1 2 3 4 5 6 7
39
Primary memory available: 8.00 gigabytes
40
Default processor set: 99 tasks, 513 threads, 8 processors
41
Load average: 1.49, Mach factor: 6.50