2015-05-04T10:46:47.833327 status=4 elapsed 8748 msec-max 6750
root - -29978 -1838RY+3738KI-2738NG+4838OU-0027KA+3848OU-0039KA+4858OU-0057KI+5657KI-3957UM+5857OU-0056KY+5767OU-0066KI+6768OU-0076KE+6879OU-0088GI+7969OU-0068KY (21 0) 0k solved 7.7s (6.7s)
  -5556GI + -4917 +0057FU-3435FU+0039KE-2738NG+3738KI-0028KI (9 1) 2181k 6.7s (6.7s)
    others  + -4917 +0057FU-3435FU+0039KE-2738NG+3738KI-0028KI (9 7) 100k [9] (6.7s)
    +0016FU - -8707 -2716NG+1114RY-1514OU+0057FU-0068HI+0058KE (9 2) 1836k sub 6.7s (6.7s)
      -2716NG + -10247 +1114RY-1514OU+0057FU-0068HI+0058KE-5657GI (8 1) 796k sub 6.7s (6.7s)
        +1114RY - -10247 -1514OU+0057FU-0068HI+0058KE-5657GI+4857OU (7 9) 380k [6] sub (6.7s)
        others  + -29986 +0027KE-1627NG+1114RY-1514OU+2513NK-1413OU (13 14) 67k [6] solved (6.7s)
      -1816RY + -6761 +0057KE-0066KA (2 7) 451k [7] sub (6.7s)
      others  - -5598 -2716GI+0057KE-3435FU+4643NY-4243KI+2513NK (6 7) 19k [10] (6.7s)
    +0057KE - -29993 -0039KA+4839OU-1829RY+3948OU (4 1) 301k solved 6.7s (6.7s)
  others  - -4894 -0039GI+4858OU-5556GI+0016FU-1516OU+1114RY (13 9) 538k [2] (7.7s)
P1 *  *  *  *  *  *  *  * +RY
P2 *  *  *  *  * -KI-KI *  * 
P3-FU * -KE-FU * -FU * -FU * 
P4 *  *  *  * -FU * -FU * -FU
P5 * -FU *  * -GI * +GI+KE-OU
P6 *  *  *  * +KI+KY+FU+FU * 
P7+FU+FU *  *  * +FU+KI-GI * 
P8 *  * +FU *  * +OU+KY * -RY
P9 *  *  *  *  *  *  *  *  * 
P+00KE00FU
P-00KA00KA00GI00KE00KY00KY00FU00FU00FU
-
