1 2 3 4 5 6
-lm_nodes 77 -lm_edges 244232 -lm_paths 3.79555e+28 constr_nodes 111 constr_edges 305 constr_paths 9899