solver is offline