info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 2 threads
pos  0:   1.76 seconds
pos  1:   0.83 seconds
pos  2:   1.65 seconds
pos  3:   0.87 seconds
pos  4:   2.02 seconds
pos  5:   2.61 seconds
pos  6:   1.78 seconds
pos  7:   1.27 seconds
pos  8:   0.74 seconds
pos  9:   1.02 seconds
pos 10:   1.02 seconds
pos 11:   1.71 seconds
pos 12:   3.42 seconds
pos 13:   3.74 seconds
pos 14:   1.12 seconds
pos 15:   1.90 seconds
pos 16:   0.71 seconds
pos 17:   1.57 seconds
pos 18:   0.23 seconds
pos 19:   0.70 seconds
total time= 30.69 seconds, nodes= 98013826, nps= 3193983
