info string allocated 512 Mbytes for hash table

Wasp 4.0 running benchmark using 4 threads
pos  0:   4.56 seconds
pos  1:   1.62 seconds
pos  2:   3.32 seconds
pos  3:   2.04 seconds
pos  4:   3.61 seconds
pos  5:   3.49 seconds
pos  6:   2.81 seconds
pos  7:   1.65 seconds
pos  8:   3.41 seconds
pos  9:   2.60 seconds
pos 10:   2.34 seconds
pos 11:   3.69 seconds
pos 12:   4.28 seconds
pos 13:  16.93 seconds
pos 14:   2.47 seconds
pos 15:   4.47 seconds
pos 16:   1.65 seconds
pos 17:   3.32 seconds
pos 18:   0.59 seconds
pos 19:   2.12 seconds
total time= 71.02 seconds, nodes= 154529951, nps= 2175962
