info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 1 threads
pos  0:   6.75 seconds
pos  1:   3.45 seconds
pos  2:   2.39 seconds
pos  3:   3.38 seconds
pos  4:   3.01 seconds
pos  5:   6.54 seconds
pos  6:   4.49 seconds
pos  7:   2.03 seconds
pos  8:   6.20 seconds
pos  9:   3.56 seconds
pos 10:   3.01 seconds
pos 11:   6.41 seconds
pos 12:   7.81 seconds
pos 13:  11.72 seconds
pos 14:   2.64 seconds
pos 15:   5.42 seconds
pos 16:   2.17 seconds
pos 17:   3.71 seconds
pos 18:   0.57 seconds
pos 19:   2.60 seconds
total time= 87.86 seconds, nodes= 87615604, nps= 997251
