My parents are getting divorced

My parents are getting divorced and my mom is going after their house. She's making my dad sell it and spit the money with her. My question is- how long does this process take, usually? How long before he has to put the house up for sale. She just filed for divorce yesterday.