Outer approximation for semidefinite programs and a vector clock problem