Pastebin is 300% more awesome when you are logged in. Sign Up, it's FREE!
Guest

ntung-polysat-24-core

By: a guest on May 11th, 2011  |  syntax: None  |  size: 3.17 KB  |  hits: 79  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. ./Main +RTS -H512m -N -sstderr
  2. testing batcher sort sketch...
  3. number of cnf clauses: 27871
  4. converted poly with 27871 clauses
  5. simplified to 9777 clauses
  6. simplified to 4583 clauses
  7.  
  8. Finish Parse: 1.123947s
  9. Finish Poly conversion: 0.242359s
  10. Multiply small: 0.138535s
  11. Multiply med-small: 3.932253s
  12.  
  13.   31,475,731,992 bytes allocated in the heap
  14.      567,768,160 bytes copied during GC
  15.       30,205,040 bytes maximum residency (10 sample(s))
  16.        1,369,800 bytes maximum slop
  17.              534 MB total memory in use (8 MB lost due to fragmentation)
  18.  
  19.   Generation 0:   123 collections,   122 parallel, 10.23s,  0.80s elapsed
  20.   Generation 1:    10 collections,    10 parallel,  5.36s,  0.35s elapsed
  21.  
  22.   Parallel GC work balance: 4.73 (70932733 / 14985735, ideal 24)
  23.  
  24.                         MUT time (elapsed)       GC time  (elapsed)
  25.   Task  0 (worker) :    3.45s    (  3.66s)       0.17s    (  0.01s)
  26.   Task  1 (worker) :    3.97s    (  4.30s)       0.15s    (  0.01s)
  27.   Task  2 (bound)  :    0.00s    (  4.30s)       7.77s    (  0.71s)
  28.   Task  3 (worker) :    0.00s    (  4.30s)       0.00s    (  0.00s)
  29.   Task  4 (worker) :    4.41s    (  4.30s)       0.18s    (  0.01s)
  30.   Task  5 (worker) :    4.52s    (  4.30s)       0.11s    (  0.01s)
  31.   Task  6 (worker) :    4.41s    (  4.30s)       0.00s    (  0.00s)
  32.   Task  7 (worker) :    3.42s    (  4.30s)       1.00s    (  0.05s)
  33.   Task  8 (worker) :    4.58s    (  4.30s)       0.00s    (  0.00s)
  34.   Task  9 (worker) :    4.35s    (  4.30s)       0.27s    (  0.01s)
  35.   Task 10 (worker) :    4.15s    (  4.30s)       0.25s    (  0.01s)
  36.   Task 11 (worker) :    4.11s    (  4.30s)       0.31s    (  0.01s)
  37.   Task 12 (worker) :    3.66s    (  4.30s)       0.31s    (  0.01s)
  38.   Task 13 (worker) :    3.56s    (  4.30s)       0.84s    (  0.11s)
  39.   Task 14 (worker) :    4.02s    (  4.30s)       0.49s    (  0.03s)
  40.   Task 15 (worker) :    4.23s    (  4.30s)       0.36s    (  0.02s)
  41.   Task 16 (worker) :    4.25s    (  4.30s)       0.35s    (  0.02s)
  42.   Task 17 (worker) :    4.30s    (  4.30s)       0.16s    (  0.01s)
  43.   Task 18 (worker) :    4.44s    (  4.30s)       0.13s    (  0.01s)
  44.   Task 19 (worker) :    4.09s    (  4.30s)       0.51s    (  0.02s)
  45.   Task 20 (worker) :    4.44s    (  4.30s)       0.18s    (  0.01s)
  46.   Task 21 (worker) :    4.45s    (  4.30s)       0.15s    (  0.01s)
  47.   Task 22 (worker) :    4.17s    (  4.30s)       0.17s    (  0.01s)
  48.   Task 23 (worker) :    3.34s    (  4.30s)       0.76s    (  0.03s)
  49.   Task 24 (worker) :    4.30s    (  4.30s)       0.12s    (  0.01s)
  50.   Task 25 (worker) :    3.23s    (  4.30s)       0.85s    (  0.04s)
  51.  
  52.   SPARKS: 56502 (41084 converted, 2206 pruned)
  53.  
  54.   INIT  time    0.00s  (  0.00s elapsed)
  55.   MUT   time   82.12s  (  4.30s elapsed)
  56.   GC    time   15.59s  (  1.15s elapsed)
  57.   EXIT  time    0.00s  (  0.00s elapsed)
  58.   Total time   97.72s  (  5.45s elapsed)
  59.  
  60.   %GC time      16.0%  (21.0% elapsed)
  61.  
  62.   Alloc rate    383,242,810 bytes per MUT second
  63.  
  64.   Productivity  84.0% of total user, 1508.2% of total elapsed
  65.  
  66. gc_alloc_block_sync: 1373111
  67. whitehole_spin: 0
  68. gen[0].steps[0].sync_large_objects: 572
  69. gen[0].steps[1].sync_large_objects: 418
  70. gen[1].steps[0].sync_large_objects: 1710