solver restructuring: now all prototxt are specified in the solver protocol buffer