solver initialized