no Free + using getIntVar(..) instead of node->getIntVar()
no Free + using getIntVar(..) instead of node->getIntVar()