info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 8 threads
pos  0:   2.38 seconds
pos  1:   1.79 seconds
pos  2:   1.64 seconds
pos  3:   1.07 seconds
pos  4:   4.29 seconds
pos  5:   1.95 seconds
pos  6:   1.91 seconds
pos  7:   0.81 seconds
pos  8:   1.40 seconds
pos  9:   1.40 seconds
pos 10:   0.84 seconds
pos 11:   1.57 seconds
pos 12:   3.23 seconds
pos 13:   5.31 seconds
pos 14:   1.25 seconds
pos 15:   1.96 seconds
pos 16:   1.39 seconds
pos 17:   1.66 seconds
pos 18:   0.29 seconds
pos 19:   0.98 seconds
total time= 37.15 seconds, nodes= 195212805, nps= 5254978
