2015-05-05T09:56:29.105126 status=3 elapsed 6298 msec-max 6250
root + -2701 +2356UM-6556GI+0055KE-6364OU+0076KE-6455OU+0067GI-0057GI+5857FU-4757NK+6879OU-0068KI+7868KI-5768NK+7988OU-6867NK+0046KI-5566OU+0055GI-6657OU+2928HI (21 1) 26723k 6.9s (6.2s)
  +2356UM - -2701 -6556GI+0055KE-6364OU+0076KE-6455OU+0067GI (20 13) 4153k [1] w0=1 (6.9s)
  +6879OU - -2801 -0067GI+2345UM-5354FU+7867KI-8187RY+0088KI (21 1) 17988k 7.9s (6.2s)
    others  - -2801 -0067GI+2345UM-5354FU+7867KI-8187RY+0088KI (21 15) 4518k [7] w0=7 (6.2s)
    -0067FU + -2454 +0069KI-0068KI+7988OU-6878KI+6978KI-6768TO (24 1) 10206k 7.9s (7.9s)
      others  + -2454 +0069KI-0068KI+7988OU-6878KI+6978KI-6768TO (24 14) 4955k [8] w0=8 (7.9s)
      +7988OU - -2524 -6768TO+0089KI-6878TO+8978KI-0068KI+0079GI (26 15) 5251k [2] w0=2 (7.9s)
    -0068KI + -2126 +7868KI-8187RY+0055KE-6364OU+2356UM-6556GI (18 1) 3263k 6.2s (6.2s)
      +7868KI - -2126 -8187RY+0055KE-6364OU+2356UM-6556GI+0088KI (17 14) 2954k [4] w0=4 (6.2s)
      others  + -29990 +7989OU-6878KI+8978OU-0067KA+7888OU-8187RY (7 10) 309k [3] solved (6.2s)
  +6869OU - -3767 -4758NK+6958OU-0036KA+0047KE-0048KI+5869OU (20 1) 5223k [6] w1=11 6.2s (6.2s)
    others  - -3767 -4758NK+6958OU-0036KA+0047KE-0048KI+5869OU (20 15) 3742k [9] w0=9 (6.2s)
    -0067FU + -2959 +0059GI-0068GI+5968GI-6768TO+7868KI-8187RY (22 12) 1481k [10] w0=10 (6.2s)
  +6859OU - -29984 -0048KA+5969OU-4758NK+6979OU-0068KI+7989OU (15 0) 0k solved (6.9s)
P1-KY-HI *  *  *  *  *  * -KY
P2 *  *  * -KI *  *  *  *  * 
P3 *  *  * -OU-FU-FU * +UM * 
P4-FU * -FU+KE *  *  * -FU-FU
P5 *  *  * -GI *  * +GI *  * 
P6 *  *  *  * -KE *  *  *  * 
P7+FU+FU+FU *  * -NK *  * +FU
P8 *  * +KI+OU+FU *  *  *  * 
P9+KY *  *  *  *  *  * +HI+KY
P+00KI00GI00KE
P-00KA00KI00GI00FU00FU00FU00FU00FU00FU00FU
+
