-lm_nodes 77
-lm_edges 244232
-lm_paths 3.79555e+28
constr_nodes 185
constr_edges 827
constr_paths 279358