fix to round objective value correctly
ignore SCIP_EVENTTYPE_BESTSOLFOUND event for non-original problems
Merge branch 'master' into maxsat2013