info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 2 threads
pos  0:   3.16 seconds
pos  1:   2.11 seconds
pos  2:   1.96 seconds
pos  3:   1.40 seconds
pos  4:   1.49 seconds
pos  5:   1.71 seconds
pos  6:   1.88 seconds
pos  7:   1.13 seconds
pos  8:   0.97 seconds
pos  9:   1.34 seconds
pos 10:   1.32 seconds
pos 11:   2.99 seconds
pos 12:   2.71 seconds
pos 13:   5.66 seconds
pos 14:   1.37 seconds
pos 15:   1.93 seconds
pos 16:   0.91 seconds
pos 17:   1.77 seconds
pos 18:   0.26 seconds
pos 19:   0.96 seconds
total time= 37.02 seconds, nodes= 106780622, nps= 2884073
