Save some memory in examples/solver