-lm_nodes 77
-lm_edges 244232
-lm_paths 3.79555e+28
constr_nodes 111
constr_edges 305
constr_paths 9899