Merging r873 r886 r886 r938 r988 r990 r991 r1002 r1030 r1067:1071 r1124 in order to allow using SYMPHONY as subproblem solver