check for infeasible bound tightening


git-svn-id: https://projects.coin-or.org/svn/Cbc/stable/2.3@1310 6f23a84d-0c12-0410-9f0c-b73a89ba9ce0
Squashed 'BuildTools/' content from commit 9dd603c

git-subtree-dir: BuildTools
git-subtree-split: 9dd603cd3f0f38bb6deeb306b55034e4e8d8c0b5
Merge commit '50c3fb8e9bc94a79645b70f330fe3eff713ce66c' as 'BuildTools'
Squashed 'ThirdParty/ASL/' content from commit a4a3d20

git-subtree-dir: ThirdParty/ASL
git-subtree-split: a4a3d2008aea32088e98df1580552db12303f593
Merge commit '1d3bb337ec84859c2ce0d181d37196d3a680dd1d' as 'ThirdParty/ASL'
Squashed 'ThirdParty/Blas/' content from commit 76f4648

git-subtree-dir: ThirdParty/Blas
git-subtree-split: 76f464847f21fad012ae8ca27f8be21de9dd2037
Merge commit '5e8e413623c525b260a750dbc84a12029633a766' as 'ThirdParty/Blas'
Squashed 'ThirdParty/Lapack/' content from commit 1680791

git-subtree-dir: ThirdParty/Lapack
git-subtree-split: 1680791d04bbb7476ccf52ec8f09647bb572a617
Merge commit 'e12e142971ee30ba9c18b7fe1dc47e339475a085' as 'ThirdParty/Lapack'
Squashed 'ThirdParty/Glpk/' content from commit 31c5c45

git-subtree-dir: ThirdParty/Glpk
git-subtree-split: 31c5c45c4af64e0994264dc7d3297f33449e6f67
Merge commit '3c7eb2845e5363efe5fe8db5362399b272a3c0e1' as 'ThirdParty/Glpk'
Squashed 'CoinUtils/' content from commit b61ce0e

git-subtree-dir: CoinUtils
git-subtree-split: b61ce0eaa723d86e2006a01e53da2bbb357d8cb7
Merge commit '6aed3aa61baac79671774ae2a394da9dcb2aa370' as 'CoinUtils'
Squashed 'Cgl/' content from commit 71be434

git-subtree-dir: Cgl
git-subtree-split: 71be434a3f429eba99c29e3eb242ed9763c5f2de
Merge commit '404985cf8182f26e0729f61728a09564c51bf63b' as 'Cgl'
Squashed 'Clp/' content from commit 9ced552

git-subtree-dir: Clp
git-subtree-split: 9ced55231d433c120ba91ffa1aeeabb869d65fc9
Merge commit '7bcfa79f89ecbcc4f338f2620bd6e8cc24460d9d' as 'Clp'
Squashed 'Osi/' content from commit cbeb0a2

git-subtree-dir: Osi
git-subtree-split: cbeb0a294fdb32aeb0e6a5cf178c9af37d169ad0
Merge commit '0e5dce3c9741c96f24c84f0ca78ec1036da13e77' as 'Osi'
Squashed 'Vol/' content from commit f81ae47

git-subtree-dir: Vol
git-subtree-split: f81ae476cdd30a662b1a6a09f32220e5cce3127d