2
attempted-constraints = 58
4
../src/main/dist/build/agda/agda -v0 -v profile:100 monad/Monad.agda -i../std-lib/src -imonad +RTS -slogs/.tmp
5
6,134,666,220 bytes allocated in the heap
6
624,737,908 bytes copied during GC
7
99,043,404 bytes maximum residency (12 sample(s))
8
2,654,828 bytes maximum slop
9
231 MB total memory in use (0 MB lost due to fragmentation)
11
Generation 0: 11587 collections, 0 parallel, 3.94s, 3.99s elapsed
12
Generation 1: 12 collections, 0 parallel, 1.15s, 1.40s elapsed
14
INIT time 0.00s ( 0.00s elapsed)
15
MUT time 10.24s ( 10.33s elapsed)
16
GC time 5.09s ( 5.39s elapsed)
17
EXIT time 0.00s ( 0.00s elapsed)
18
Total time 15.33s ( 15.72s elapsed)
20
%GC time 33.2% (34.3% elapsed)
22
Alloc rate 599,252,004 bytes per MUT second
24
Productivity 66.8% of total user, 65.1% of total elapsed
26
──────────────────────────────────────────────────────────────────
28
Darwin Kernel Version 10.8.0: Tue Jun 7 16:33:36 PDT 2011; root:xnu-1504.15.3~1/RELEASE_I386
29
Kernel configured for up to 2 processors.
30
2 processors are physically available.
31
2 processors are logically available.
32
Processor type: i486 (Intel 80486)
33
Processors active: 0 1
34
Primary memory available: 2.00 gigabytes
35
Default processor set: 65 tasks, 249 threads, 2 processors
36
Load average: 1.01, Mach factor: 0.99