Finally fixed! Different search trees were due to the move ordering that was not consistent.