prim 1.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  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 Primitive
  9. max-open-constraints = 0
  10. pointers = 0
  11. pointers (reused) = 0
  12. max-open-metas = 14
  13. equal terms = 160
  14. metas = 174
  15. unequal terms = 254
  16. agda -v0 -v profile:100 categories/Primitive.agda -icategories --ignore-interfaces +RTS -K32M -slogs/.tmp
  17. 115,694,472 bytes allocated in the heap
  18. 25,498,624 bytes copied during GC
  19. 3,282,816 bytes maximum residency (8 sample(s))
  20. 173,344 bytes maximum slop
  21. 10 MB total memory in use (0 MB lost due to fragmentation)
  22. Tot time (elapsed) Avg pause Max pause
  23. Gen 0 214 colls, 0 par 0.02s 0.03s 0.0001s 0.0004s
  24. Gen 1 8 colls, 0 par 0.03s 0.03s 0.0042s 0.0067s
  25. INIT time 0.00s ( 0.00s elapsed)
  26. MUT time 0.07s ( 0.07s elapsed)
  27. GC time 0.05s ( 0.06s elapsed)
  28. EXIT time 0.00s ( 0.00s elapsed)
  29. Total time 0.13s ( 0.13s elapsed)
  30. %GC time 42.3% (44.4% elapsed)
  31. Alloc rate 1,642,127,799 bytes per MUT second
  32. Productivity 57.6% of total user, 54.4% of total elapsed
  33. ──────────────────────────────────────────────────────────────────
  34. Mach kernel version:
  35. Darwin Kernel Version 13.0.0: Thu Sep 19 22:22:27 PDT 2013; root:xnu-2422.1.72~6/RELEASE_X86_64
  36. Kernel configured for up to 8 processors.
  37. 4 processors are physically available.
  38. 8 processors are logically available.
  39. Processor type: i486 (Intel 80486)
  40. Processors active: 0 1 2 3 4 5 6 7
  41. Primary memory available: 16.00 gigabytes
  42. Default processor set: 325 tasks, 1531 threads, 8 processors
  43. Load average: 2.75, Mach factor: 5.24