info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 6 threads
pos  0:   1.66 seconds
pos  1:   0.54 seconds
pos  2:   0.98 seconds
pos  3:   0.56 seconds
pos  4:   2.15 seconds
pos  5:   1.56 seconds
pos  6:   0.87 seconds
pos  7:   0.51 seconds
pos  8:   0.40 seconds
pos  9:   0.62 seconds
pos 10:   0.50 seconds
pos 11:   0.95 seconds
pos 12:   1.52 seconds
pos 13:   1.92 seconds
pos 14:   0.53 seconds
pos 15:   1.23 seconds
pos 16:   0.51 seconds
pos 17:   0.59 seconds
pos 18:   0.15 seconds
pos 19:   0.61 seconds
total time= 18.37 seconds, nodes= 154396288, nps= 8404793
