2015-05-05T09:57:31.305697 status=4 elapsed 9648 msec-max 7553
root - -29987 -0068KI+7868KI-6768NG+7968OU-0067GI+6879OU-0068KA+7988OU-6877UM (9 1) 5414k w1=11 solved 2.0s (0.5s)
  others  - -29987 -0068KI+7868KI-6768NG+7968OU-0067GI+6879OU (9 13) 992k [1] solved (2.0s)
  -0068KI + -29987 +7868KI-6768NG+7968OU-0067GI+6879OU-0068KA (8 13) 496k [1] NC sub
  -0066KE + -6715 +7867KI-5667GI+2924HI-0054GI+0065FU-6455OU (20 1) 4421k 2.0s (0.5s)
    others  + -6715 +7867KI-5667GI+2924HI-0054GI+0065FU-6455OU (20 11) 1447k [6] (2.0s)
    +2969HI - -29976 -6678NK+8978KI-8187RY+6967HI-5667GI+5563NK (19 1) 2974k sub 0.5s (0.5s)
      -6678NK + -29976 +8978KI-8187RY+6967HI-5667GI+5563NK-5263KI (18 17) 526k [3] sub (0.5s)
      -6778NG + -29975 +8978KI-0067GI+6967HI-5667GI+0056KE-6455OU (16 3) 1756k 1.6s (0.6s)
        +8978KI - -29975 -0067GI+6967HI-5667GI+0056KE-6455OU+0046GI (15 2) 1766k sub 0.6s (0.6s)
          -0067GI + -29975 +6967HI-5667GI+0056KE-6455OU+0046GI-4746NK (14 1) 1272k sub 0.6s (0.6s)
            others  + -9246 +5563NK-6463OU+6967HI-5667GI+0064GI-6364OU (14 14) 121k [2] (0.6s)
            +6967HI - -29975 -5667GI+0056KE-6455OU+0046GI-4746NK+3546GI (13 17) 722k [8] sub (0.6s)
          others  - -6378 -0067KI+6967HI-5667GI+0056KE-6756GI+0069KI (13 10) 71k [10] (0.6s)
          -0067FU + -6362 +0089GI-6678NK+7978OU-0068GI+7888OU-6869GI (10 10) 344k [7] sub (0.6s)
      -0068FU + -6499 +6968HI-6768NG+7868KI-0039HI+0069FU-0067FU (16 12) 546k [9] sub (0.5s)
      others  - -4675 -0086FU+6967HI-5667GI (3 4) 50k [3] (0.5s)
P1-KY-HI *  *  *  *  *  * -KY
P2 *  *  *  * -KI *  *  *  * 
P3 *  *  *  * -FU-FU *  *  * 
P4-FU * -FU-OU *  *  * -FU-FU
P5 *  *  *  * +KE * +GI *  * 
P6 *  *  *  * -GI *  *  *  * 
P7+FU+FU+FU-GI * -NK *  * +FU
P8 *  * +KI * +FU *  *  *  * 
P9+KY+KI+OU *  *  *  * +HI+KY
P+00KE
P-00KA00KA00KI00GI00KE00FU00FU00FU00FU00FU00FU00FU
-
