These models are amongst the most difficult out there as far as size and time requirements. One of the founders of GUROBI got involved with the industry recently to try to help some researchers speed things up.
If you want a decent example/starter model to analyze, there is a unit commitment model someone made in Xpress that is free online if you Google for it that shows the fundamental formulation although they are much larger in practice.