Measuring time spend in solver and separator