syntax1 1.5 KB

12345678910111213141516171819202122232425262728293031323334
  1. ../src/main/dist/build/agda/agda Syntacticosmos/UntypedLambda.agda --ignore-interfaces -iSyntacticosmos -v0 +RTS -K32M -slogs/dhcp-20-76-20100113-19.32/syntax1
  2. 19,020,198,100 bytes allocated in the heap
  3. 686,870,096 bytes copied during GC
  4. 32,556,436 bytes maximum residency (23 sample(s))
  5. 1,005,796 bytes maximum slop
  6. 93 MB total memory in use (0 MB lost due to fragmentation)
  7. Generation 0: 36243 collections, 0 parallel, 2.25s, 2.37s elapsed
  8. Generation 1: 23 collections, 0 parallel, 1.21s, 1.30s elapsed
  9. INIT time 0.00s ( 0.00s elapsed)
  10. MUT time 23.82s ( 24.20s elapsed)
  11. GC time 3.45s ( 3.67s elapsed)
  12. EXIT time 0.00s ( 0.00s elapsed)
  13. Total time 27.28s ( 27.87s elapsed)
  14. %GC time 12.7% (13.2% elapsed)
  15. Alloc rate 798,368,813 bytes per MUT second
  16. Productivity 87.3% of total user, 85.5% of total elapsed
  17. ──────────────────────────────────────────────────────────────────
  18. Mach kernel version:
  19. Darwin Kernel Version 10.2.0: Tue Nov 3 10:37:10 PST 2009; root:xnu-1486.2.11~1/RELEASE_I386
  20. Kernel configured for up to 2 processors.
  21. 2 processors are physically available.
  22. 2 processors are logically available.
  23. Processor type: i486 (Intel 80486)
  24. Processors active: 0 1
  25. Primary memory available: 2.00 gigabytes
  26. Default processor set: 73 tasks, 276 threads, 2 processors
  27. Load average: 1.16, Mach factor: 0.83