info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 4 threads
pos  0:   1.36 seconds
pos  1:   0.95 seconds
pos  2:   0.86 seconds
pos  3:   1.45 seconds
pos  4:   1.48 seconds
pos  5:   0.88 seconds
pos  6:   0.67 seconds
pos  7:   0.45 seconds
pos  8:   0.59 seconds
pos  9:   0.72 seconds
pos 10:   0.82 seconds
pos 11:   0.73 seconds
pos 12:   1.03 seconds
pos 13:   2.20 seconds
pos 14:   0.44 seconds
pos 15:   1.15 seconds
pos 16:   0.59 seconds
pos 17:   1.30 seconds
pos 18:   0.21 seconds
pos 19:   0.41 seconds
total time= 18.30 seconds, nodes= 137210423, nps= 7498240
