When did kings normally go off to war?

Kings normally went off to war in the springtime. [11:1]

Where was King David on this particular spring?

King David had stayed in Jerusalem. [11:1]