use `runInteractiveCommand` to start solver