1000 を指定して 9 個しか出てないことには疑問を持たないのか・・・

コメントによれば、ヒープは A[0] が最大値になるように並べてるようだけど、
だったら upmin の if (A[j] > A[i]) は逆じゃない？