callbackで途中で戦術を変える

MIPFocus=2にすると厳密解を慎重に計算してくれるけれども，大規模な問題だとちっとも進まない．．．それなら，はじめはMIPFocus=3 でざっくり解いて，gapが縮まってきたら2にしたらいいじゃない，という思いつき．

そんなことをしてちゃんとした解が出てくるのかは...ちょっとまだ分からない．そもそもMIPFocusの解釈からして自信はない．

倍速い！大丈夫かこれ