Example in #1971.

This is the first version of the example in #1971.
And the output format and bound matrix is reference @yorkerlin 's code. Thanks.