info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 1 threads
pos  0:   4.39 seconds
pos  1:   2.24 seconds
pos  2:   1.55 seconds
pos  3:   2.20 seconds
pos  4:   1.94 seconds
pos  5:   4.12 seconds
pos  6:   2.85 seconds
pos  7:   1.30 seconds
pos  8:   3.99 seconds
pos  9:   2.20 seconds
pos 10:   1.92 seconds
pos 11:   3.52 seconds
pos 12:   5.03 seconds
pos 13:   7.62 seconds
pos 14:   1.72 seconds
pos 15:   3.50 seconds
pos 16:   1.38 seconds
pos 17:   2.41 seconds
pos 18:   0.36 seconds
pos 19:   1.68 seconds
total time= 55.92 seconds, nodes= 87615604, nps= 1566764
