2015-05-04T13:18:16.797729 status=3 elapsed 79 msec-max 6750
root + 29993 +5243UM-0079KA+6879GI-0098HI+9998KY-3122OU (6 2) 603k w1=11 solved 0.7s (0.7s)
  +5243UM - 29993 -0079KA+6879GI-0098HI+9998KY-3122OU (5 1) 3k solved 0.7s (0.7s)
  +5141RY - 29992 -3122OU+5243UM-0098HI+9998KY-0099KA+8899OU (9 2) 10k 1.8s (0.8s)
    -3122OU + 29992 +5243UM-0098HI+9998KY-0099KA+8899OU-1314FU (8 1) 2165k sub 0.8s (0.8s)
      +5243UM - 29992 -0079KA+7879KI-0098HI+9998KY-1314FU+0031KA (7 1) 17k 0.8s (0.8s)
        others  - 29992 -0079KA+7879KI-0098HI+9998KY-1314FU+0031KA (7 5) 9k [1] solved (0.8s)
        -0098HI + 29993 +9998KY-0099KA+8899OU-1314FU+0031KA-2212OU (6 5) 8k [3] solved (0.8s)
      +0032GI - 29990 -0051HI+4151RY-2232OU+0031HI-3222OU+5243UM (9 10) 557k [3] sub 0.8s (0.8s)
        others  -  7279 -0079KA+6879GI-2233OU+5243UM-3324OU+3223NG (8 3) 94k [4] w0=4 (0.8s)
            alt -  5593 -2233OU+5243UM-3324OU+3223NG (6 2)
        -0051HI + 29985 +4151RY-2232OU+0031HI-3222OU+3121RY-2233OU (14 5) 27k [6] solved (0.8s)
      others  + 29979 +0024FU-4333KI+0031GI-2212OU+4142RY-0032HI (13 14) 203k [8] w0=8 (0.8s)
  +0024FU -  9551 -3122OU+5243UM-0031FU+5142RY-0032HI+0021KI (10 1) 212k 0.7s (0.7s)
    others  -  9551 -3122OU+5243UM-0031FU+5142RY-0032HI+0021KI (10 11) 144k [2] w0=2 (0.7s)
    -0032KA + 29981 +2423TO-0012HI+2332TO-3132OU+0034GI (5 17) 67k [9] solved (0.7s)
  others  +  8560 +0044FU-3122OU+4443TO-2212OU+5241UM-0022HI (11 12) 376k [0] w0=0 (0.7s)
P1 *  *  *  * +RY-KE-OU * -KY
P2 * +TO *  * +KA-KE *  *  * 
P3-FU * +NY *  * -KI * -KI-FU
P4 *  *  *  * -FU *  *  *  * 
P5 * -FU *  *  * -FU-GI-FU+FU
P6 *  *  *  * +KE * -KE *  * 
P7+FU+FU+FU+FU+FU *  *  *  * 
P8 * +OU+KI+GI * +GI *  *  * 
P9+KY *  *  * +KI *  *  * +KY
P+00GI00FU
P-00HI00KA00FU00FU00FU00FU
+
