splash2x/ocean_cp<br>
<pre>
pid:2909 time: 5468563298858-5512455143935 (43891845077) region 0: 00000094233048961024-00000094233081307136 (32346112) region 1: 00000139907540963328-00000139911271596032 (3730632704) region 2: 00000140721014149120-00000140721015222272 (1073152)
</pre>
<img src=heatmap.0.png />
<img src=heatmap.1.png />
<img src=heatmap.2.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 />