info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 4 threads
pos  0:   1.81 seconds
pos  1:   1.23 seconds
pos  2:   1.65 seconds
pos  3:   1.30 seconds
pos  4:   1.55 seconds
pos  5:   1.10 seconds
pos  6:   0.95 seconds
pos  7:   0.51 seconds
pos  8:   0.60 seconds
pos  9:   0.82 seconds
pos 10:   0.61 seconds
pos 11:   1.20 seconds
pos 12:   1.76 seconds
pos 13:   3.39 seconds
pos 14:   0.83 seconds
pos 15:   1.36 seconds
pos 16:   1.44 seconds
pos 17:   0.90 seconds
pos 18:   0.22 seconds
pos 19:   0.62 seconds
total time= 23.88 seconds, nodes= 130445966, nps= 5463629
