2015-05-04T18:23:53.016178 status=4 elapsed 17144 msec-max 8000
root + -7226 +4746FU-0039GI+4847OU-0048KI+4756OU-9995RY+8373TO-6364FU+4948KI-6465FU+4849KI-9585RY+0045KI-8576RY+5647OU-8173KE+2726FU-7867NG+5756FU-0099HI+2625FU-2425KY+4534KI-2819UM (24 4) 44733k 15.9s (7.5s)
  +4746FU - -7226 -0039GI+4847OU-0048KI+4756OU-9995RY+8373TO (23 3) 42272k 17.0s (7.5s)
    -0039GI + -7226 +4847OU-0048KI+4756OU-9995RY+8373TO-6364FU (22 2) 13407k [1] 8.6s (8.5s)
      +4847OU - -7226 -0048KI+4756OU-9995RY+8373TO-6364FU+4948KI (21 1) 13385k 8.6s (8.5s)
        others  - -7226 -0048KI+4756OU-9995RY+8373TO-6364FU+4948KI (21 15) 5561k [3] (8.5s)
        -9995RY + -6700 +6555HI-9599RY+8573KE-2819UM+4939KI-0054KY (16 1) 7986k 8.6s (8.5s)
          others  + -6700 +6555HI-9599RY+8573KE-2819UM+4939KI-0054KY (16 14) 4645k [9] (8.5s)
          +8384TO - -6758 -9584RY+8786FU-0087KA+6566HI-8495RY+5756FU (20 16) 3340k [10] (8.5s)
      others  + -29982 +4939KI-2839UM+4847OU-0048KI+4736OU-9995RY (8 17) 22k [2] (8.5s)
    others  - -6742 -0039KI+5756FU-3949KI+3849GI-9995RY+0069KI (19 16) 7094k [8] (8.5s)
    -9995RY + -6277 +2726FU-0077KA+2625FU-0054GI+2524FU-5465GI (18 2) 23212k 7.5s (7.5s)
      +2726FU - -6277 -0077KA+2625FU-0054GI+2524FU-5465GI+2423TO (17 1) 12721k 8.6s (8.6s)
        others  - -6294 -2819UM+2625FU-0064KY+2524FU-2324FU+6545HI (21 18) 8148k [6] (8.6s)
        -0077KA + -6277 +2625FU-0054GI+2524FU-5465GI+2423TO-3223KI (16 16) 4573k [4] (8.6s)
      others  + -6411 +8372TO-2819UM+7281TO-0077KA+0075KE-0064KY (16 15) 3803k [5] (7.5s)
      +6568HI - -6611 -9585RY+6878HI-8587RY+7868HI-8783RY+1918KY (20 19) 6687k [7] (7.5s)
  +5756FU - -29965 -0039GI+4857OU-9995RY+4746FU-9598RY+5747OU (17 24) 2498k [7] solved (15.9s)
  others  + -29988 +9559KA-0039GI+4939KI-2839UM+4839OU-9959RY (10 9) 165k [10] solved (15.9s)
P1 * -KE *  *  *  * -GI-KE-KY
P2 *  *  *  * -KI-OU-KI *  * 
P3 * +TO * -FU-FU-FU * -FU * 
P4 *  * -FU *  *  * -FU-KY * 
P5+KA+KE * +HI *  *  *  * -FU
P6 *  * +FU *  *  *  *  *  * 
P7 * +FU *  * +FU+FU+FU+FU+FU
P8 *  * -GI * +KY+OU+GI-KA * 
P9-RY *  *  *  * +KI * +KE+KY
P-00KI00GI00FU00FU00FU
+
