info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 1 threads
pos  0:   3.22 seconds
pos  1:   1.69 seconds
pos  2:   1.14 seconds
pos  3:   1.63 seconds
pos  4:   1.44 seconds
pos  5:   3.05 seconds
pos  6:   2.10 seconds
pos  7:   0.97 seconds
pos  8:   2.94 seconds
pos  9:   1.63 seconds
pos 10:   1.43 seconds
pos 11:   2.60 seconds
pos 12:   3.75 seconds
pos 13:   5.61 seconds
pos 14:   1.26 seconds
pos 15:   2.58 seconds
pos 16:   1.02 seconds
pos 17:   1.78 seconds
pos 18:   0.27 seconds
pos 19:   1.25 seconds
total time= 41.38 seconds, nodes= 87615604, nps= 2117336
