#present_words: 852
  14,517,948,664 bytes allocated in the heap
   1,309,402,720 bytes copied during GC
      13,464,512 bytes maximum residency (5 sample(s))
         162,880 bytes maximum slop
              12 MB total memory in use (0 MB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0     13968 colls,     0 par    2.012s   2.031s     0.0001s    0.0041s
  Gen  1         5 colls,     0 par    0.028s   0.039s     0.0078s    0.0107s

  TASKS: 4 (1 bound, 3 peak workers (3 total), using -N1)

  SPARKS: 56162350 (0 converted, 236 overflowed, 0 dud, 56153470 GC'd, 8644 fizzled)

  INIT    time    0.001s  (  0.016s elapsed)
  MUT     time   85.848s  ( 86.261s elapsed)
  GC      time    2.040s  (  2.070s elapsed)
  EXIT    time    0.000s  (  0.002s elapsed)
  Total   time   87.889s  ( 88.348s elapsed)

  Alloc rate    169,112,835 bytes per MUT second

  Productivity  97.7% of total user, 97.6% of total elapsed

dict-search-exe inputs/large_input_500.txt inputs/1000-english.txt 500 500     87.89s user 0.26s system 99% cpu 1:28.38 total
