solver completed