This week only. Pastebin PRO Accounts Christmas Special! Don't miss out!Want more features on Pastebin? Sign Up, it's FREE!
Guest

ntung-polysat-4-core

By: a guest on May 11th, 2011  |  syntax: None  |  size: 1.85 KB  |  views: 81  |  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. time ./Main +RTS -H256m -N -sstderr -RTS
  2. ./Main +RTS -H256m -N -sstderr
  3. testing batcher sort sketch...
  4. number of cnf clauses: 27871
  5. converted poly with 27871 clauses
  6. simplified to 9777 clauses
  7. simplified to 4583 clauses
  8.  
  9. Finish Parse: 1.083167s
  10. Finish Poly conversion: 0.227719s
  11. Multiply small: 0.270662s
  12. Multiply med-small: 18.033696s
  13.  
  14.   31,573,855,696 bytes allocated in the heap
  15.      246,450,840 bytes copied during GC
  16.       19,334,392 bytes maximum residency (6 sample(s))
  17.          450,088 bytes maximum slop
  18.              266 MB total memory in use (4 MB lost due to fragmentation)
  19.  
  20.   Generation 0:   163 collections,   162 parallel,  2.26s,  0.98s elapsed
  21.   Generation 1:     6 collections,     6 parallel,  0.52s,  0.20s elapsed
  22.  
  23.   Parallel GC work balance: 2.02 (30796932 / 15210123, ideal 4)
  24.  
  25.                         MUT time (elapsed)       GC time  (elapsed)
  26.   Task  0 (worker) :   15.08s    ( 18.44s)       0.49s    (  0.20s)
  27.   Task  1 (worker) :   15.57s    ( 18.44s)       0.48s    (  0.18s)
  28.   Task  2 (bound)  :    0.94s    ( 18.44s)       0.79s    (  0.42s)
  29.   Task  3 (worker) :    0.00s    ( 18.44s)       0.00s    (  0.00s)
  30.   Task  4 (worker) :   16.13s    ( 18.44s)       0.63s    (  0.23s)
  31.   Task  5 (worker) :   15.95s    ( 18.44s)       0.38s    (  0.15s)
  32.  
  33.   SPARKS: 56502 (29763 converted, 212 pruned)
  34.  
  35.   INIT  time    0.00s  (  0.00s elapsed)
  36.   MUT   time   61.96s  ( 18.44s elapsed)
  37.   GC    time    2.78s  (  1.18s elapsed)
  38.   EXIT  time    0.00s  (  0.00s elapsed)
  39.   Total time   64.74s  ( 19.62s elapsed)
  40.  
  41.   %GC time       4.3%  (6.0% elapsed)
  42.  
  43.   Alloc rate    509,546,745 bytes per MUT second
  44.  
  45.   Productivity  95.7% of total user, 315.9% of total elapsed
  46.  
  47. gc_alloc_block_sync: 115554
  48. whitehole_spin: 0
  49. gen[0].steps[0].sync_large_objects: 359
  50. gen[0].steps[1].sync_large_objects: 54
  51. gen[1].steps[0].sync_large_objects: 342
clone this paste RAW Paste Data