ac1 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136
  1. Ticks for Agda.Primitive
  2. max-open-constraints = 0
  3. pointers = 0
  4. pointers (reused) = 0
  5. max-open-metas = 1
  6. metas = 5
  7. equal terms = 9
  8. Ticks for Logic
  9. max-open-constraints = 0
  10. pointers = 0
  11. pointers (reused) = 0
  12. equal terms = 1
  13. max-open-metas = 1
  14. metas = 1
  15. Ticks for Bool
  16. max-open-constraints = 0
  17. pointers = 0
  18. pointers (reused) = 0
  19. max-open-metas = 1
  20. metas = 36
  21. equal terms = 81
  22. Ticks for Nat
  23. max-open-constraints = 0
  24. pointers = 0
  25. pointers (reused) = 0
  26. max-open-metas = 1
  27. metas = 12
  28. equal terms = 32
  29. Ticks for List
  30. pointers = 0
  31. pointers (reused) = 0
  32. max-open-constraints = 2
  33. attempted-constraints = 4
  34. max-open-metas = 4
  35. unequal terms = 20
  36. metas = 32
  37. equal terms = 100
  38. Ticks for Fin
  39. max-open-constraints = 0
  40. pointers = 0
  41. pointers (reused) = 0
  42. max-open-metas = 4
  43. unequal terms = 36
  44. metas = 48
  45. equal terms = 96
  46. Ticks for Vec
  47. max-open-constraints = 0
  48. pointers = 0
  49. pointers (reused) = 0
  50. max-open-metas = 6
  51. unequal terms = 28
  52. metas = 40
  53. equal terms = 74
  54. Ticks for EqProof
  55. max-open-constraints = 0
  56. pointers = 0
  57. pointers (reused) = 0
  58. max-open-metas = 3
  59. unequal terms = 7
  60. metas = 22
  61. equal terms = 42
  62. Ticks for AC
  63. pointers = 0
  64. pointers (reused) = 0
  65. max-open-constraints = 2
  66. attempted-constraints = 14
  67. max-open-metas = 28
  68. metas = 417
  69. unequal terms = 542
  70. equal terms = 572
  71. 1440 ms
  72. Parsing 16 ms
  73. Import 0 ms
  74. Deserialization 0 ms
  75. Scoping 540 ms
  76. Typing 3344 ms
  77. Termination 0 ms
  78. Positivity 88 ms
  79. Injectivity 0 ms
  80. ProjectionLikeness 0 ms
  81. Highlighting 100 ms
  82. Serialization 396 ms
  83. agda -v0 -v profile:100 ac/AC.agda --ignore-interfaces -iac +RTS -slogs/.tmp
  84. 973,100,144 bytes allocated in the heap
  85. 232,161,296 bytes copied during GC
  86. 20,220,432 bytes maximum residency (19 sample(s))
  87. 422,840 bytes maximum slop
  88. 58 MB total memory in use (0 MB lost due to fragmentation)
  89. Tot time (elapsed) Avg pause Max pause
  90. Gen 0 1842 colls, 0 par 0.33s 0.33s 0.0002s 0.0013s
  91. Gen 1 19 colls, 0 par 0.31s 0.31s 0.0165s 0.0515s
  92. INIT time 0.00s ( 0.00s elapsed)
  93. MUT time 0.80s ( 0.86s elapsed)
  94. GC time 0.64s ( 0.64s elapsed)
  95. EXIT time 0.01s ( 0.01s elapsed)
  96. Total time 1.45s ( 1.51s elapsed)
  97. %GC time 44.1% (42.4% elapsed)
  98. Alloc rate 1,214,055,952 bytes per MUT second
  99. Productivity 55.9% of total user, 53.8% of total elapsed
  100. ──────────────────────────────────────────────────────────────────
  101. Memory: Total Used Free Buffers
  102. RAM: 4001036 2692888 1308148 11288
  103. Swap: 13309816 700548 12609268
  104. Bootup: Fri Mar 21 07:39:33 2014 Load average: 0.41 0.28 0.25 1/473 15097
  105. user : 02:21:03.92 10.9% page in : 5135047
  106. nice : 00:02:17.56 0.2% page out: 10348384
  107. system: 00:37:00.78 2.8% page act: 2123023
  108. IOwait: 00:18:20.74 1.4% page dea: 1094268
  109. hw irq: 00:00:02.33 0.0% page flt: 48585551
  110. sw irq: 00:01:43.23 0.1% swap in : 92170
  111. idle : 18:18:30.50 84.6% swap out: 211122
  112. uptime: 1d 13:50:49.17 context : 76746543
  113. irq 0: 7570043 timer irq 20: 10 ehci_hcd:usb2, uh
  114. irq 1: 148458 i8042 irq 21: 319896 uhci_hcd:usb4, uh
  115. irq 8: 1 rtc0 irq 22: 665 ehci_hcd:usb1, uh
  116. irq 9: 21946 acpi irq 43: 603060 ahci
  117. irq 12: 101096 i8042 irq 44: 32072 eth0
  118. irq 17: 1098 firewire_ohci irq 45: 5969289 i915
  119. irq 18: 0 mmc0 irq 46: 7311632 iwlwifi
  120. irq 19: 0 yenta irq 47: 142 snd_hda_intel
  121. sda 403267r 166393w
  122. eth0 TX 21.17MiB RX 232.57MiB wlan0 TX 16.30MiB RX 64.69MiB
  123. lo TX 304.36KiB RX 304.36KiB