Add timing

Add timers for decomposition and solving.