info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 4 threads
pos  0:   1.49 seconds
pos  1:   1.01 seconds
pos  2:   0.87 seconds
pos  3:   0.73 seconds
pos  4:   0.72 seconds
pos  5:   1.03 seconds
pos  6:   1.55 seconds
pos  7:   0.60 seconds
pos  8:   1.29 seconds
pos  9:   0.78 seconds
pos 10:   0.73 seconds
pos 11:   1.16 seconds
pos 12:   1.38 seconds
pos 13:   2.45 seconds
pos 14:   0.74 seconds
pos 15:   1.39 seconds
pos 16:   0.57 seconds
pos 17:   0.70 seconds
pos 18:   0.16 seconds
pos 19:   0.54 seconds
total time= 19.88 seconds, nodes= 121566585, nps= 6116072
