[1] "Computation_time_exceeded_sp_228_2009 : 360 minutes"