Example in #1971.

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