4
max-open-constraints = 1
5
attempted-constraints = 3
11
max-open-constraints = 2
13
attempted-constraints = 28
15
agda -v0 -v profile:100 monad/Monad.agda -i../std-lib/src -imonad +RTS -slogs/.tmp (null)
16
1,955,240,480 bytes allocated in the heap
17
466,429,028 bytes copied during GC
18
82,532,196 bytes maximum residency (12 sample(s))
19
1,868,412 bytes maximum slop
20
163 MB total memory in use (0 MB lost due to fragmentation)
22
Tot time (elapsed) Avg pause Max pause
23
Gen 0 3637 colls, 0 par 1.18s 1.18s 0.0003s 0.0025s
24
Gen 1 12 colls, 0 par 0.48s 0.54s 0.0448s 0.2088s
26
INIT time 0.00s ( 0.00s elapsed)
27
MUT time 2.12s ( 2.13s elapsed)
28
GC time 1.66s ( 1.72s elapsed)
29
EXIT time 0.00s ( 0.01s elapsed)
30
Total time 3.79s ( 3.86s elapsed)
32
%GC time 43.8% (44.5% elapsed)
34
Alloc rate 921,682,847 bytes per MUT second
36
Productivity 56.2% of total user, 55.2% of total elapsed
38
──────────────────────────────────────────────────────────────────
40
Darwin Kernel Version 11.4.0: Mon Apr 9 19:32:15 PDT 2012; root:xnu-1699.26.8~1/RELEASE_X86_64
41
Kernel configured for up to 8 processors.
42
4 processors are physically available.
43
8 processors are logically available.
44
Processor type: i486 (Intel 80486)
45
Processors active: 0 1 2 3 4 5 6 7
46
Primary memory available: 8.00 gigabytes
47
Default processor set: 102 tasks, 524 threads, 8 processors
48
Load average: 1.50, Mach factor: 6.48