info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 2 threads
pos  0:   2.14 seconds
pos  1:   2.55 seconds
pos  2:   1.15 seconds
pos  3:   1.18 seconds
pos  4:   2.65 seconds
pos  5:   1.36 seconds
pos  6:   1.36 seconds
pos  7:   1.01 seconds
pos  8:   0.79 seconds
pos  9:   1.15 seconds
pos 10:   0.96 seconds
pos 11:   1.79 seconds
pos 12:   3.20 seconds
pos 13:   5.57 seconds
pos 14:   0.88 seconds
pos 15:   1.56 seconds
pos 16:   0.46 seconds
pos 17:   1.60 seconds
pos 18:   0.24 seconds
pos 19:   1.17 seconds
total time= 32.76 seconds, nodes= 102341132, nps= 3124392
