1 2 3 4 5 6
-lm_nodes 77 -lm_edges 244232 -lm_paths 3.79555e+28 constr_nodes 185 constr_edges 827 constr_paths 279358