2015-05-05T09:57:29.255125 status=3 elapsed 7597 msec-max 7553
root + -7420 +0089KI-0066KE+2969HI-6778NG+8978KI-0067GI+0089GI-6678NK+8978GI-0068FU+7867GI-6869TO+7969OU-0039HI+0059KE-5667GI+0065FU-6455OU+0046GI-4746NK+3546GI-5546OU (22 1) 15988k [4] 14.4s (6.7s)
  others  + -7420 +0089KI-0066KE+2969HI-6778NG+8978KI-0067GI (22 14) 3898k [9] w0=9 (7.5s)
      alt + -6503 +5563NK-6463OU+0055KE-6373OU (13 13)
      alt + -6516 +0089KI-0066KE+2969HI-6778NG (22 13)
  +2924HI - -7493 -6455OU+0066KI-5566OU+7867KI-5667NG+2464HI (19 1) 13286k [10] 7.5s (6.7s)
    others  - -7493 -6455OU+0066KI-5566OU+7867KI-5667NG+2464HI (19 14) 4297k [7] w0=7 (6.7s)
    -0054GI + -6371 +0069KI-4758NK+7867KI-5869NK+7969OU-5667NG (30 1) 5973k 6.7s (6.7s)
      others  + -6371 +0069KI-4758NK+7867KI-5869NK+7969OU-5667NG (30 13) 5113k [8] w0=8 (6.7s)
      +0068KI - -29985 -6768NG+7868KI-0067KE+6867KI-0078KI+7978OU (12 14) 859k [2] solved (6.7s)
    -0054KE + -6297 +0069KI-6778NG+6978KI-8187RY+0076KE-6455OU (24 13) 3015k [4] w0=4 (7.5s)
        alt + -6355 +5563NK-5263KI+0065FU-6465OU (14 12)
  +0068KI - -29976 -6768NG+7868KI-0089KI+7989OU-8187RY+0088KI (23 0) 0k solved 9.2s (9.2s)
  +7867KI - -29984 -0078GI+7978OU-5667GI+7867OU-0075KE+6756OU (15 0) 0k solved 7.5s (6.7s)
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 * +OU *  *  *  * +HI+KY
P+00KI00KE
P-00KA00KA00KI00GI00KE00FU00FU00FU00FU00FU00FU00FU
+
