info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 1 threads
pos  0:   4.73 seconds
pos  1:   2.47 seconds
pos  2:   1.83 seconds
pos  3:   2.48 seconds
pos  4:   2.11 seconds
pos  5:   4.51 seconds
pos  6:   3.05 seconds
pos  7:   1.43 seconds
pos  8:   4.30 seconds
pos  9:   2.39 seconds
pos 10:   2.07 seconds
pos 11:   3.80 seconds
pos 12:   5.39 seconds
pos 13:   8.13 seconds
pos 14:   1.86 seconds
pos 15:   3.75 seconds
pos 16:   1.51 seconds
pos 17:   2.60 seconds
pos 18:   0.40 seconds
pos 19:   1.83 seconds
total time= 60.65 seconds, nodes= 87615604, nps= 1444589
