int user_finished_checking_cuts(void *user)
When this function is invoked there are no more cuts to be checked, so the user can dismantle data structures he created in user_prepare_to_check_cuts. Also, if he received and stored the LP solution himself he can delete it now.
%