info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 8 threads
pos  0:   1.28 seconds
pos  1:   0.84 seconds
pos  2:   1.17 seconds
pos  3:   1.71 seconds
pos  4:   1.74 seconds
pos  5:   1.29 seconds
pos  6:   1.43 seconds
pos  7:   0.90 seconds
pos  8:   0.99 seconds
pos  9:   1.36 seconds
pos 10:   1.28 seconds
pos 11:   0.98 seconds
pos 12:   2.44 seconds
pos 13:   2.34 seconds
pos 14:   0.87 seconds
pos 15:   2.33 seconds
pos 16:   0.40 seconds
pos 17:   0.97 seconds
pos 18:   0.28 seconds
pos 19:   0.73 seconds
total time= 25.33 seconds, nodes= 184464225, nps= 7282173
