# maximal number of presolving rounds (-1: unlimited) # [type: int, range: [-1,2147483647], default: -1] presolving/maxrounds = 0 # maximal number of restarts (-1: unlimited) # [type: int, range: [-1,2147483647], default: -1] presolving/maxrestarts = 0