splash2x/ocean_cp/prec<br>
<pre>
pid:-1 time: 9877467062793-9925386848422 (47919785629) 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 />