polyfunctor 1.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142
  1. Ticks for UniversePolymorphicFunctor
  2. pointers = 0
  3. pointers (reused) = 0
  4. max-open-constraints = 5
  5. max-open-metas = 20
  6. attempted-constraints = 52
  7. metas = 324
  8. agda -v0 -v profile:100 misc/UniversePolymorphicFunctor.agda -imisc --ignore-interfaces +RTS -slogs/.tmp (null)
  9. 145,877,052 bytes allocated in the heap
  10. 29,316,988 bytes copied during GC
  11. 4,512,716 bytes maximum residency (7 sample(s))
  12. 92,856 bytes maximum slop
  13. 13 MB total memory in use (0 MB lost due to fragmentation)
  14. Tot time (elapsed) Avg pause Max pause
  15. Gen 0 272 colls, 0 par 0.06s 0.06s 0.0002s 0.0008s
  16. Gen 1 7 colls, 0 par 0.04s 0.05s 0.0068s 0.0154s
  17. INIT time 0.00s ( 0.00s elapsed)
  18. MUT time 0.17s ( 0.17s elapsed)
  19. GC time 0.10s ( 0.10s elapsed)
  20. EXIT time 0.00s ( 0.00s elapsed)
  21. Total time 0.28s ( 0.28s elapsed)
  22. %GC time 35.5% (37.7% elapsed)
  23. Alloc rate 855,518,652 bytes per MUT second
  24. Productivity 64.4% of total user, 65.1% of total elapsed
  25. ──────────────────────────────────────────────────────────────────
  26. Mach kernel version:
  27. Darwin Kernel Version 11.4.0: Mon Apr 9 19:32:15 PDT 2012; root:xnu-1699.26.8~1/RELEASE_X86_64
  28. Kernel configured for up to 8 processors.
  29. 4 processors are physically available.
  30. 8 processors are logically available.
  31. Processor type: i486 (Intel 80486)
  32. Processors active: 0 1 2 3 4 5 6 7
  33. Primary memory available: 8.00 gigabytes
  34. Default processor set: 102 tasks, 532 threads, 8 processors
  35. Load average: 1.32, Mach factor: 6.66