Sākums Izpētīt Palīdzība
Pierakstīties
caryoscelus
/
agda
Vērot 1
Pievienot zvaigznīti 0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne
Atzars: js_amd
Atzari Tagi
agda
/
benchmark
/
logs
/
20181206-08.50-Andreass-MBP
/
cwf

cwf 1.8 KB
Patstāvīgā saite Vēsture Neapstrādāts

1234567891011121314151617181920212223242526272829303132333435363738394041 
  1. Accumulated statistics
    2. 

  2. attempted-constraints   588
    3. 

  3. max-open-constraints     19
    4. 

  4. max-open-metas           75
    5. 

  5. metas                 2,564
    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 cwf/CwF.agda --ignore-interfaces -icwf +RTS -slogs/.tmp 
    8. 

  8.    2,681,235,824 bytes allocated in the heap
    9. 

  9.      442,499,424 bytes copied during GC
    10. 

  10.       26,006,480 bytes maximum residency (18 sample(s))
    11. 

  11.          139,040 bytes maximum slop
    12. 

  12.               65 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      2560 colls,     0 par    0.378s   0.383s     0.0001s    0.0011s
    16. 

  16.   Gen  1        18 colls,     0 par    0.273s   0.297s     0.0165s    0.0393s
    17. 

  17. 

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

  19.   MUT     time    1.557s  (  1.577s elapsed)
    20. 

  20.   GC      time    0.651s  (  0.680s elapsed)
    21. 

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

  22.   Total   time    2.209s  (  2.259s elapsed)
    23. 

  23. 

  24.   %GC     time      29.5%  (30.1% elapsed)
    25. 

  25. 

  26.   Alloc rate    1,721,652,270 bytes per MUT second
    27. 

  27. 

  28.   Productivity  70.5% of total user, 69.8% 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, 2252 threads, 4 processors
    40. 

  40. Load average: 1.49, Mach factor: 2.50
    41. 

  41.