Add smaller conflicts detected by trim().
Print model also if status is different than l_True (it can be a previously stored model).