Bonmin solver for the winz