info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 20 threads
pos  0:   1.49 seconds
pos  1:   0.38 seconds
pos  2:   0.68 seconds
pos  3:   0.54 seconds
pos  4:   0.53 seconds
pos  5:   0.94 seconds
pos  6:   1.04 seconds
pos  7:   0.46 seconds
pos  8:   1.06 seconds
pos  9:   0.77 seconds
pos 10:   0.27 seconds
pos 11:   0.86 seconds
pos 12:   0.80 seconds
pos 13:   4.02 seconds
pos 14:   0.39 seconds
pos 15:   1.19 seconds
pos 16:   0.31 seconds
pos 17:   0.57 seconds
pos 18:   0.12 seconds
pos 19:   0.36 seconds
total time= 16.77 seconds, nodes= 371803967, nps= 22170279
