parsec3/swaptions/prec<br>
<pre>
pid:-1 time: 9237345944865-9393421237747 (156075292882) region 0: 00000000004294967296-00000000017903394815 (13608427519)
</pre>
<img src=heatmap.0.png />
<br>
<img src=wss_sz.png />
<img src=wss_time.png />
<br>
<img src=nr_regions_sz.png />
<img src=nr_regions_time.png />