info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 4 threads
pos  0:   1.90 seconds
pos  1:   0.95 seconds
pos  2:   1.31 seconds
pos  3:   1.22 seconds
pos  4:   1.90 seconds
pos  5:   1.81 seconds
pos  6:   1.18 seconds
pos  7:   0.68 seconds
pos  8:   1.11 seconds
pos  9:   1.10 seconds
pos 10:   0.63 seconds
pos 11:   1.45 seconds
pos 12:   1.75 seconds
pos 13:   3.93 seconds
pos 14:   1.16 seconds
pos 15:   2.98 seconds
pos 16:   0.59 seconds
pos 17:   1.92 seconds
pos 18:   0.32 seconds
pos 19:   1.20 seconds
total time= 29.11 seconds, nodes= 144037308, nps= 4948620
