2015-05-05T15:25:12.443181 status=3 elapsed 8031 msec-max 8000
root + -5566 +5756FU-1516FU+1727OU-0017KI+1917KY-1617TO+2737OU-3928UM+3748OU-2839UM+4858OU-0067GI+6267RY-4759NK+5859OU-5567NK+0058KI (17 1) 14654k 25.1s (4.4s)
  others  + -5566 +5756FU-1516FU+1727OU-0017KI+1917KY-1617TO (17 11) 267k [3] res=3 (7.8s)
      alt + -5579 +2839GI-1516FU+1727OU-0017KI (20 10)
  +0027KI - -29969 -1516FU+2716KI-1116KY+1716OU-3928UM+0015FU (14 17) 571k [5] solved (25.1s)
  +5756FU - -29970 -1516FU+1727OU-0017KI+1917KY-1617TO+2737OU (29 0) 0k solved 4.4s (4.4s)
  +1615FU - -29974 -0016KI+1716OU-3928UM+0025KI-0024KI+5756FU (7 1) 17621k 16.6s (16.6s)
    -0016KI + -29974 +1716OU-3928UM+0025KI-0024KI+5756FU-0027GI (6 18) 3420k [1] w0=1 (16.6s)
    others  - -3800 -0016FU+1727OU-1115KY+1916KY-1516KY+0017FU (37 17) 14201k [9] w0=9 (16.6s)
  +3827GI - -29982 -3928KA+1728OU-0039GI+2817OU-1516FU+2716GI (17 0) 0k solved 6.8s (6.8s)
P1-KY-KE *  *  *  * -GI-OU-KY
P2 *  *  * +RY+TO * -KI *  * 
P3-FU * -HI *  *  * -GI-FU * 
P4 *  *  *  * -FU-FU *  *  * 
P5+FU+FU *  * -KE *  *  * -FU
P6 *  *  *  * -TO * +FU+FU+FU
P7 *  * +FU * +FU-KE *  * +OU
P8 *  *  *  *  *  * +GI+GI * 
P9+KY *  * +KE *  * -KA * +KY
P+00KA00KI00FU
P-00KI00KI00FU00FU00FU
+
