2015-05-04T17:16:02.697074 status=4 elapsed 17468 msec-max 7652
root -  5039 -5463KA+2421NY-8271RY+0045KE-6345KA+0052KI-5363OU+5262KI-7162RY+0074GI-6353OU+5162UM-5362OU+3832RY-6253OU+4645GI (16 1) 16667k 17.3s (0.6s)
  others  -  5039 -5463KA+2421NY-8271RY+0045KE-6345KA+0052KI (16 8) 112k [7] (0.6s)
      alt -  5086 -3242KI+4655GI-8788TO+0062GI (14 7)
  -1115KY +  5357 +2421NY-3223KI+4655GI-0037FU+5554GI-5354OU (11 9) 1821k [7] sub (0.6s)
    others  +  5739 +0052KI-8252RY+5152UM-5352OU+3832RY-0042KI (17 10) 82k [4] NC
    +4655GI -  5160 -0037FU+3837HI-8788TO+0062GI-8262RY+5162UM (17 10) 129k [9] NC
    +2421NY -  5147 -8242RY+5142UM-3242KI+0045KE-5445KA+4645GI (12 1) 188k 0.6s (0.6s)
      others  -  5147 -8242RY+5142UM-3242KI+0045KE-5445KA+4645GI (12 9) 96k [8] (0.6s)
      -3223KI + 29985 +0045KE-5445KA+4645GI-0042KE+0071KA-8271RY (7 11) 92k [3] solved (0.6s)
  -0036KE + 29967 +0045KI-2133KE+0062GI-8262RY+4554KI-5354OU (19 1) 14832k 8.4s (8.4s)
    others  + 29967 +0045KI-2133KE+0062GI-8262RY+4554KI-5354OU (19 18) 3180k [2] (8.4s)
    +0045GI - 10925 -4344FU+0062GI-8262RY+4554GI-5354OU+5162UM (18 14) 1581k [5] (8.4s)
    +4655GI -  9342 -8788TO+0074KI-8262RY+5554GI-5354OU+5162UM (18 15) 2317k [6] (8.4s)
    +2421NY -  7512 -8252RY+5152UM-5352OU+0082HI-0072KA+0045KE (20 1) 7752k 8.4s (8.4s)
      others  -  7512 -8252RY+5152UM-5352OU+0082HI-0072KA+0045KE (20 14) 2540k [0] (8.4s)
          alt -  7451 -7668NK+7968KI-8242RY+5142UM (24 13)
      -8262RY +  7821 +5162UM-5362OU+0082HI-0072KA+0074KE-6253OU (15 19) 5212k [10] (8.4s)
      -8242RY + 29962 +0062GI-4262RY+5162UM-5362OU+0074KE-6263OU (37 0) 0k solved 9.5s (9.5s)
  -8788TO + 29978 +0052KI-8252RY+5152UM-5352OU+3832RY-0042KE (21 0) 0k solved 17.3s (17.3s)
P1-KY-KE *  * +UM *  * -KE-KY
P2 * -RY *  *  *  * -KI *  * 
P3-FU *  *  * -OU-FU *  *  * 
P4 *  *  * -FU-KA *  * +KY * 
P5 *  * +FU * -FU *  *  * +FU
P6 *  * -KE+FU * +GI *  *  * 
P7 * -FU *  * +FU+FU * -FU * 
P8+FU * +GI * +KI * +HI *  * 
P9 * +FU+KI * +OU *  *  * +KY
P+00KI00GI00GI00FU00FU00FU00FU00FU
P-00KE
-
