info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 1 threads
pos  0:   4.10 seconds
pos  1:   2.15 seconds
pos  2:   1.46 seconds
pos  3:   2.10 seconds
pos  4:   1.81 seconds
pos  5:   3.90 seconds
pos  6:   2.70 seconds
pos  7:   1.30 seconds
pos  8:   3.90 seconds
pos  9:   2.24 seconds
pos 10:   1.92 seconds
pos 11:   3.40 seconds
pos 12:   4.84 seconds
pos 13:   7.27 seconds
pos 14:   1.66 seconds
pos 15:   3.34 seconds
pos 16:   1.33 seconds
pos 17:   2.31 seconds
pos 18:   0.35 seconds
pos 19:   1.61 seconds
total time= 53.70 seconds, nodes= 87615604, nps= 1631650
