Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd
Rami (Branch) Tag
agda
/
benchmark
/
logs
/
20181206-08.50-Andreass-MBP
/
cat

cat 1.8 KB
Permalink Cronologia Originale

1234567891011121314151617181920212223242526272829303132333435363738394041 
  1. Accumulated statistics
    2. 

  2. attempted-constraints 116
    3. 

  3. max-open-constraints    6
    4. 

  4. max-open-metas         22
    5. 

  5. metas                 452
    6. 

  6. 

  7. /Users/abel/agda/dist-2.6.0/build/agda/agda -v0 -v profile:1 -v profile.constraints:10 -v profile.metas:10 --no-default-libraries categories/Categories.agda -icategories --ignore-interfaces +RTS -K32M -slogs/.tmp 
    8. 

  8.      359,925,888 bytes allocated in the heap
    9. 

  9.       72,558,648 bytes copied during GC
    10. 

  10.       10,553,608 bytes maximum residency (10 sample(s))
    11. 

  11.           67,320 bytes maximum slop
    12. 

  12.               28 MB total memory in use (0 MB lost due to fragmentation)
    13. 

  13. 

  14.                                      Tot time (elapsed)  Avg pause  Max pause
    15. 

  15.   Gen  0       335 colls,     0 par    0.060s   0.061s     0.0002s    0.0008s
    16. 

  16.   Gen  1        10 colls,     0 par    0.077s   0.089s     0.0089s    0.0190s
    17. 

  17. 

  18.   INIT    time    0.000s  (  0.002s elapsed)
    19. 

  19.   MUT     time    0.226s  (  0.234s elapsed)
    20. 

  20.   GC      time    0.136s  (  0.151s elapsed)
    21. 

  21.   EXIT    time    0.000s  (  0.004s elapsed)
    22. 

  22.   Total   time    0.363s  (  0.391s elapsed)
    23. 

  23. 

  24.   %GC     time      37.6%  (38.6% elapsed)
    25. 

  25. 

  26.   Alloc rate    1,590,066,611 bytes per MUT second
    27. 

  27. 

  28.   Productivity  62.4% of total user, 60.9% of total elapsed
    29. 

  29. 

  30. ──────────────────────────────────────────────────────────────────
    31. 

  31. Mach kernel version:
    32. 

  32. 	 Darwin Kernel Version 18.0.0: Wed Aug 22 20:13:40 PDT 2018; root:xnu-4903.201.2~1/RELEASE_X86_64
    33. 

  33. Kernel configured for up to 4 processors.
    34. 

  34. 2 processors are physically available.
    35. 

  35. 4 processors are logically available.
    36. 

  36. Processor type: x86_64h (Intel x86-64h Haswell)
    37. 

  37. Processors active: 0 1 2 3
    38. 

  38. Primary memory available: 16.00 gigabytes
    39. 

  39. Default processor set: 441 tasks, 2272 threads, 4 processors
    40. 

  40. Load average: 1.97, Mach factor: 2.03
    41. 

  41.