有贷款的房子法院执行程序

法院执行拍卖

根据《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》第五百零八条规定，被执行人为公民或其他组织，在执行程序开始后，其他已经取得执行依据的债权人发现被执行人的财产无法清偿所有债权，可以向人民法院申请参与分配。对于被法院查封、扣押、冻结的财产，拥有优先权和担保物权的债权人可以直接申请参与分配，主张优先受偿权。

参与分配申请

根据《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》第五百零九条规定，申请参与分配的申请人应当提交申请书。申请书需明确说明参与分配和被执行人无法清偿所有债权的事实、理由，并附有执行依据。参与分配的申请应在执行程序开始后，被执行人的财产执行终结前提出。

分配执行程序

根据《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》第五百一十条规定，在参与分配执行中，执行所得价款扣除执行费用，并清偿应当优先受偿的债权后，对于普通债权，原则上按照其占全部申请参与分配债权数额的比例受偿。被执行人应当继续清偿剩余债务。如果债权人发现被执行人拥有其他财产，可以随时向人民法院请求执行。