<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Indeed. I tried five different variations of the ThreadDumper vs
the master. I did not change the HotSpotDiagnostic, since the
buffering was sufficient in the ThreadDumper. I also experimented
with a larger buffer size, but that did not seem to make a
difference.<br>
</p>
<p>Experiment 1: Alan's original change with changing format() to
println() for just the stack traces
(<a class="moz-txt-link-freetext" href="https://github.com/kabutz/jdk/blob/faster-thread-dump-1/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java">https://github.com/kabutz/jdk/blob/faster-thread-dump-1/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java</a>)<br>
</p>
<p>Experiment 2: Some additional format()s that were not printing
the stack traces.
(<a class="moz-txt-link-freetext" href="https://github.com/kabutz/jdk/blob/faster-thread-dumps-2/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java">https://github.com/kabutz/jdk/blob/faster-thread-dumps-2/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java</a>)<br>
</p>
<p>Experiment 3: Changing the PrintStreams to not autoflush
(<a class="moz-txt-link-freetext" href="https://github.com/kabutz/jdk/blob/faster-thread-dumps-3/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java">https://github.com/kabutz/jdk/blob/faster-thread-dumps-3/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java</a>)</p>
<p>Experiment 4: Adding a BufferedOutputStream into each of the
PrintStreams
(<a class="moz-txt-link-freetext" href="https://github.com/kabutz/jdk/blob/faster-thread-dumps-4/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java">https://github.com/kabutz/jdk/blob/faster-thread-dumps-4/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java</a>)</p>
<p>Experiment 5: Gzipping the files on the fly. This might be a
handy feature to add with a flag like jcmd pid Thread.dump_to_file
-zip.
(<a class="moz-txt-link-freetext" href="https://github.com/kabutz/jdk/blob/faster-thread-dumps-5/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java">https://github.com/kabutz/jdk/blob/faster-thread-dumps-5/src/java.base/share/classes/jdk/internal/vm/ThreadDumper.java</a>)</p>
<p>Each experiment is based on the previous versions.</p>
<table style="border-collapse: collapse" cellspacing="0"
cellpadding="0">
<tbody>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td colspan="6" style="width: 276.0px; height: 11.0px;
background-color: #b0b3b2; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>plain</b></font></p>
</td>
<td style="width: 16.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td colspan="6" style="width: 277.0px; height: 11.0px;
background-color: #b0b3b2; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>json</b></font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>threads</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>master</b></font></p>
</td>
<td style="width: 38.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>1</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>2</b></font></p>
</td>
<td style="width: 38.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>3</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>4</b></font></p>
</td>
<td style="width: 38.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>5</b></font></p>
</td>
<td style="width: 16.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>master</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>1</b></font></p>
</td>
<td style="width: 38.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>2</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>3</b></font></p>
</td>
<td style="width: 38.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>4</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; background-color:
#b0b3b2; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; text-align:
center" align="center"><font style="font: 10.0px
'Helvetica Neue'; font-variant-ligatures:
common-ligatures; color: #000000" size="2"
face="Helvetica Neue" color="#000000"><b>5</b></font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 12.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>1000</b></font></p>
</td>
<td style="width: 39.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">45</font></p>
</td>
<td style="width: 38.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">25</font></p>
</td>
<td style="width: 39.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">20</font></p>
</td>
<td style="width: 38.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">20</font></p>
</td>
<td style="width: 39.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">10</font></p>
</td>
<td style="width: 38.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">13</font></p>
</td>
<td style="width: 16.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">63</font></p>
</td>
<td style="width: 39.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">43</font></p>
</td>
<td style="width: 38.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">37</font></p>
</td>
<td style="width: 39.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">38</font></p>
</td>
<td style="width: 38.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">15</font></p>
</td>
<td style="width: 39.0px; height: 12.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">18</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>2000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">89</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">51</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">41</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">41</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">19</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">26</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">125</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">85</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">75</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">75</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">29</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">37</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>4000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">178</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">101</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">81</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">81</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">38</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">51</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">248</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">168</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">147</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">150</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">58</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">72</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>8000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">357</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">204</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">163</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">163</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">77</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">103</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">498</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">338</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">295</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">298</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">116</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">145</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>16000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">704</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">400</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">320</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">319</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">151</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">204</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">989</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">667</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">585</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">592</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">229</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">289</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>32000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1414</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">802</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">640</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">644</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">303</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">411</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1972</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1346</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1174</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1195</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">461</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">575</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>64000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">2838</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1619</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1305</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1290</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">605</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">825</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">4028</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">2699</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">2390</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">2380</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">926</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1157</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>128000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">5783</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">3350</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">2681</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">2698</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1225</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1650</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">8015</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">5411</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">4772</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">4814</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">1860</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">2328</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>256000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">11699</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">6706</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">5460</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">5530</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">2616</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">3596</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">16052</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">10819</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">9585</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">9825</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">3714</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">4681</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>512000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">23395</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">13850</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">10926</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">10699</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">5464</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">6885</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">32694</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">21861</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">19037</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">19297</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">7637</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">9429</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>1024000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">46174</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">27279</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">21486</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">21543</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">10816</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">14062</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">64039</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">43459</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">37904</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">39553</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">15079</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">19086</font></p>
</td>
</tr>
<tr>
<td style="width: 39.0px; height: 11.0px; background-color:
#d4d4d4; border-style: solid; border-width: 1.0px 1.0px
1.0px 1.0px; border-color: #000000 #000000 #000000 #000000;
padding: 4.0px 4.0px 4.0px 4.0px" valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000"><b>2048000</b></font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">93816</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">54181</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">43859</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">42602</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">21096</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">28308</font></p>
</td>
<td style="width: 16.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px
Helvetica; min-height: 14.0px"><br>
</p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">128765</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">87921</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">76738</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">76786</font></p>
</td>
<td style="width: 38.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">30471</font></p>
</td>
<td style="width: 39.0px; height: 11.0px; border-style: solid;
border-width: 1.0px 1.0px 1.0px 1.0px; border-color: #000000
#000000 #000000 #000000; padding: 4.0px 4.0px 4.0px 4.0px"
valign="top">
<p style="margin: 0.0px 0.0px 0.0px 0.0px"><font
style="font: 10.0px 'Helvetica Neue';
font-variant-ligatures: common-ligatures; color:
#000000" size="2" face="Helvetica Neue" color="#000000">38264</font></p>
</td>
</tr>
</tbody>
</table>
<p>In the 128000 plain threads case, there is a big improvement of
42% between master and experiment 1, then another 20% improvement
between 1 and s (additional conversions of format() to print()).</p>
<p>We then see no improvement between 2 and 3 (making PrintStreams
to not autoflush, as also observed by Oli).</p>
<p>And another big 55% improvement between 3 and 4 - using
BufferedOutputStream.</p>
<p>If we GZip the files, we lose 35% in performance, but the files
are just 1% of the size.</p>
<p>For the 128000 json threads case, the results are a bit
different. Initial master to experiment 1 is 32% better, then 12%,
then nothing, then 61% better. The GZip is only a 25% degradation.<br>
</p>
<p><br>
</p>
<p>To summarize, to go from the current to using print() and
BufferedOutputStream, gives us 79% improvement for plain and a 77%
improvement for json. If we also GZip them, we get a 71%
improvement in both cases.</p>
<p><br>
</p>
<p>I would propose that we change this as soon as possible - I'm
happy to make the change and also submit the findings and the test
program to the JDK. Furthermore, I would propose that perhaps as a
second project that we consider how to compress these files. One
option is with GZip (would require quite a few changes, including
to jcmd) and another would be to change the format of the json
file to deduplicate thread stacks. If we follow the "virtual
thread per task" model, we will have many many virtual threads
with the exact same stack and it might be more productive to have
a better json model for such cases.<br>
</p>
<p></p>
<p><br>
</p>
<pre class="moz-signature" cols="72">Regards
Heinz
--
Dr Heinz M. Kabutz (PhD CompSci)
Author of "The Javaâ„¢ Specialists' Newsletter" - <a class="moz-txt-link-abbreviated" href="http://www.javaspecialists.eu">www.javaspecialists.eu</a>
Java Champion - <a class="moz-txt-link-abbreviated" href="http://www.javachampions.org">www.javachampions.org</a>
JavaOne Rock Star Speaker
Tel: +30 69 75 595 262
Skype: kabutz
</pre>
<div class="moz-cite-prefix">On 2023/09/06 12:58, Gillespie, Oli
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:debc310561bf4e7d959558c8e8d0c8a7@amazon.co.uk">
<pre class="moz-quote-pre" wrap="">I don't think the BufferedWriter inside PrintStream (is that the one you meant?) is doing much buffering here. strace says:
write(6, "ThreadDumpPerf.recurse(ThreadDumpPerf.java:20)", 46) = 46
write(6, "\"", 1) = 1
write(6, ",\n", 2) = 2
write(6, " \"", 15) = 15
write(6, "ThreadDumpPerf.recurse(ThreadDumpPerf.java:20)", 46) = 46
write(6, "\"", 1) = 1
write(6, ",\n", 2) = 2
write(6, " \"", 15) = 15
And definitely for me I get a big speedup and reduction in write calls from the 8192 byte buffer I showed.
Oli
Amazon Development Centre (London) Ltd. Registered in England and Wales with registration number 04543232 with its registered office at 1 Principal Place, Worship Street, London EC2A 2FA, United Kingdom.
</pre>
</blockquote>
</body>
</html>