SUNFMPROBLEM_COLMAX
table_info->max_column = SUNFMPROBLEM_COLMAX;
ASSERT(table_info->colnum <= SUNFMPROBLEM_COLMAX);