solver11 + cpusolver2