2015-05-05T09:57:02.855131 status=3 elapsed 8030 msec-max 8000
root + -3697 +0052GI-6252KI+0069KI-6778NG+6978KI-0067GI+0076GI-0066FU+0059KE-6778NG+7978OU-4758NK+7889OU-6364OU+2924HI-0054KI+0065GI-5665GI+7665GI-6465OU (20 1) 12038k 15.1s (4.1s)
  others  + -3697 +0052GI-6252KI+0069KI-6778NG+6978KI-0067GI (20 11) 1183k [10] w0=10 (4.1s)
      alt + -3552 +0068GI-6778GI+7978OU-4758NK (13 10)
  +0069KI - -4017 -0068FU+0072GI-6272KI+6472NK-6869TO+2969HI (21 2) 5564k w1=11 4.1s (4.1s)
    -0068FU + -4017 +0072GI-6272KI+6472NK-6869TO+2969HI-8187RY (20 1) 3268k 4.1s (4.1s)
      others  + -4017 +0072GI-6272KI+6472NK-6869TO+2969HI-8187RY (20 12) 2019k [8] w0=8 (4.1s)
          alt + -4068 +7868KI-6768GI+6968KI-0067FU (20 12)
          alt + -3709 +0055KE-6364OU+2924HI-5354FU (15 11)
          alt + -3630 +0052GI-6364OU+6968KI-6768NG (17 11)
          alt + -3619 +0072GI-6272KI+6472NK-6869TO (9 11)
      +6968KI - -5134 -6768NG+7868KI-0067FU+0055KE-6373OU+0065KE (25 12) 1249k [5] w0=5 (4.1s)
    others  - -3210 -4758NK+6958KI-6758GI+0072GI-6272KI+6472NK (25 13) 2295k [1] w0=1 (4.1s)
  +0076GI - -29976 -6778NG+7978OU-0067KA+7667GI-5667GI+7867OU (23 0) 0k solved 7.8s (4.1s)
  +0069GI - -29980 -6778GI+6978GI-0068KI+7968OU-4758NK+6879OU (19 0) 0k solved 16.2s (7.8s)
  +0088KI - -29983 -0068KI+7868KI-6768NG+7968OU-4758NK+6858OU (14 15) 5289k [7] solved (15.1s)
P1-KY-HI *  *  *  *  *  * -KY
P2 *  *  * -KI *  *  *  *  * 
P3 *  *  * -OU-FU-FU *  *  * 
P4-FU * -FU+KE *  *  * -FU-FU
P5 *  *  *  *  *  * +GI *  * 
P6 *  *  *  * -GI *  *  *  * 
P7+FU+FU+FU-GI * -NK *  * +FU
P8 *  * +KI * +FU *  *  *  * 
P9+KY * +OU *  *  *  * +HI+KY
P+00KI00GI00KE00KE
P-00KA00KA00KI00FU00FU00FU00FU00FU00FU00FU
+
