info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 12 threads
pos  0:   1.84 seconds
pos  1:   1.31 seconds
pos  2:   0.85 seconds
pos  3:   0.82 seconds
pos  4:   1.78 seconds
pos  5:   1.20 seconds
pos  6:   1.01 seconds
pos  7:   0.63 seconds
pos  8:   1.16 seconds
pos  9:   1.09 seconds
pos 10:   0.56 seconds
pos 11:   1.17 seconds
pos 12:   1.33 seconds
pos 13:   3.25 seconds
pos 14:   0.55 seconds
pos 15:   1.60 seconds
pos 16:   0.50 seconds
pos 17:   0.88 seconds
pos 18:   0.17 seconds
pos 19:   0.59 seconds
total time= 22.31 seconds, nodes= 238268652, nps= 10680449
