int user_io(void *user)
The user prepares all information needed to specify the problem instance (e.g., reads in data from a data file, etc.).