[arith] 重排
[arith] 支持对非整可行解进行处理