info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 2 threads
pos  0:   2.21 seconds
pos  1:   0.72 seconds
pos  2:   0.85 seconds
pos  3:   0.79 seconds
pos  4:   2.01 seconds
pos  5:   1.96 seconds
pos  6:   1.56 seconds
pos  7:   1.54 seconds
pos  8:   1.10 seconds
pos  9:   1.16 seconds
pos 10:   0.54 seconds
pos 11:   2.38 seconds
pos 12:   1.64 seconds
pos 13:   3.69 seconds
pos 14:   0.81 seconds
pos 15:   2.62 seconds
pos 16:   0.76 seconds
pos 17:   1.65 seconds
pos 18:   0.18 seconds
pos 19:   0.66 seconds
total time= 28.85 seconds, nodes= 116639092, nps= 4043201
