← Back to branch summary

~ubuntu-branches/ubuntu/wily/agda/wily-proposed

« back to all changes in this revision

Viewing changes to benchmark/logs/20080306-11.43-livia/ac2

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 06:38:12 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805063812-io8e77niomivhd49
Tags: 2.4.0.2-1
* [6e140ac] Imported Upstream version 2.4.0.2
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc

Show diffs side-by-side

added added

removed removed

Lines of Context:
benchmark/logs/20080306-11.43-livia/ac2
1
 
../src/main/dist/build/agda/agda ac/Example.agda --ignore-interfaces -iac -v0 +RTS -slogs/livia-20080306-11.43/ac2 
2
 
3,658,389,088 bytes allocated in the heap
3
 
844,559,972 bytes copied during GC (scavenged)
4
 
  3,515,012 bytes copied during GC (not scavenged)
5
 
 77,361,152 bytes maximum residency (28 sample(s))
6
 
 
7
 
       6971 collections in generation 0 (  2.62s)
8
 
         28 collections in generation 1 (  2.84s)
9
 
 
10
 
        199 Mb total memory in use
11
 
 
12
 
  INIT  time    0.00s  (  0.00s elapsed)
13
 
  MUT   time    4.60s  (  5.17s elapsed)
14
 
  GC    time    5.46s  (  6.39s elapsed)
15
 
  EXIT  time    0.00s  (  0.00s elapsed)
16
 
  Total time   10.06s  ( 11.56s elapsed)
17
 
 
18
 
  %GC time      54.3%  (55.3% elapsed)
19
 
 
20
 
  Alloc rate    795,252,704 bytes per MUT second
21
 
 
22
 
  Productivity  45.7% of total user, 39.8% of total elapsed
23
 
 
24
 
──────────────────────────────────────────────────────────────────
25
 
Linux 2.6.22-14-generic (buildd@palmer) (gcc [can't parse]) #???  1CPU [livia]
26
 
 
27
 
Memory:      Total        Used        Free      Shared     Buffers      
28
 
Mem:        515844      305460      210384           0        1064
29
 
Swap:       489940      175476      314464
30
 
 
31
 
Bootup: Sat Mar  1 19:29:30 2008    Load average: 0.68 0.42 0.25 1/191 1189
32
 
 
33
 
user  :       2:58:43.66   2.7%  page in : 12010440  disk 1:   807502r  939963w
34
 
nice  :       0:10:38.44   0.2%  page out: 21992944
35
 
system:       1:31:49.28   1.4%  page act:  9709028
36
 
IOwait:       0:40:40.28   0.6%  page dea: 10088449
37
 
hw irq:       0:02:06.33   0.0%  page flt:169345854
38
 
sw irq:       0:01:25.67   0.0%  swap in :  1040016
39
 
idle  :   4d  3:33:27.92  88.7%  swap out:  1234945
40
 
uptime:   4d 16:14:40.88         context : 97921724
41
 
 
42
 
irq  0:       110 timer                 irq 12:    481428 i8042                
43
 
irq  1:    832431 i8042                 irq 14:         0 libata               
44
 
irq  3:         1                       irq 15:   1407293 libata               
45
 
irq  4:         1                       irq 16:    225443 eth0                 
46
 
irq  6:         5 floppy [2]            irq 17:   1560847 ioc0                 
47
 
irq  7:         0 parport0              irq 18:       773 uhci_hcd:usb1, Enson 
48
 
irq  8:         3 rtc                   irq 19:         0 ehci_hcd:usb2        
49
 
irq  9:         0 acpi                 
50