info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 2 threads
pos  0:   4.26 seconds
pos  1:   2.40 seconds
pos  2:   2.99 seconds
pos  3:   2.67 seconds
pos  4:   2.33 seconds
pos  5:   2.64 seconds
pos  6:   3.40 seconds
pos  7:   2.61 seconds
pos  8:   1.48 seconds
pos  9:   2.15 seconds
pos 10:   1.45 seconds
pos 11:   3.92 seconds
pos 12:   3.81 seconds
pos 13:  10.35 seconds
pos 14:   3.07 seconds
pos 15:   7.10 seconds
pos 16:   1.52 seconds
pos 17:   3.99 seconds
pos 18:   0.44 seconds
pos 19:   2.28 seconds
total time= 64.91 seconds, nodes= 98289070, nps= 1514138
