2015-05-04T17:15:26.076198 status=4 elapsed 9977 msec-max 8000
root -  3365 -0042GI+5141UM-8788TO+8988FU-2133KE+4132UM-0036KE+2838HI-0031FU+3241UM-4453OU+0077GI-1115KY+1915KY-4344FU+0034FU (16 5) 15965k 37.3s (0.6s)
  -0042GI +  3365 +5141UM-8788TO+8988FU-2133KE+4132UM-0036KE (15 4) 2639k 1.9s (0.6s)
    +5141UM -  3365 -8788TO+8988FU-2133KE+4132UM-0036KE+2838HI (14 3) 1792k 1.9s (0.6s)
      -8788TO +  3365 +8988FU-2133KE+4132UM-0036KE+2838HI-0031FU (13 2) 1739k sub 0.6s (0.6s)
        others  +  4523 +0045GI-4453OU+4554GI-5362OU+8988FU-6271OU (18 10) 227k [2] (0.6s)
        +8988FU -  3365 -2133KE+4132UM-0036KE+2838HI-0031FU+3241UM (12 1) 909k 1.6s (1.6s)
          others  -  3365 -2133KE+4132UM-0036KE+2838HI-0031FU+3241UM (12 11) 606k [8] (1.6s)
          -4453OU +  3778 +2421NY-7688NK+0083FU-8252RY+4152UM-5352OU (15 11) 303k [3] (1.6s)
        +2825HI -  3138 -0035FU+8988FU-7688NK+0083FU-8283RY+4132UM (7 11) 167k [6] sub (0.6s)
      others  -  3461 -2133KE+4132UM-8788TO+8988FU-0036KE+2838HI (14 11) 405k [7] (1.9s)
          alt -  3569 -0034KE+0035KI-4453OU+4655GI (17 10)
    others  +  2971 +5195UM-8788TO+8988FU-2133KE+9577UM-7688NK (23 13) 846k [10] (1.9s)
  others  -  3777 -0077FU+7877GI-8788TO+8988FU-0085KE+0062GI (7 12) 440k [5] (1.9s)
      alt -  3789 -0034FU+2421NY-8788TO+8988FU (12 11)
  -0037GI +  4101 +4637GI-0027FU+2838HI-2728TO+3728GI-8788TO (15 1) 13139k 9.9s (9.9s)
    others  +  4101 +4637GI-0027FU+2838HI-2728TO+3728GI-8788TO (15 16) 6975k [9] w0=9 (9.9s)
    +0035KI -  3778 -4453OU+4637GI-0027FU+2818HI-2133KE+3746GI (21 1) 6164k 9.9s (9.9s)
      -4453OU +  3778 +4637GI-0027FU+2818HI-2133KE+3746GI-8242RY (20 16) 6164k [4] w0=4 (9.9s)
  -8788TO + 29978 +0045GI-5445KA+4645GI-4445OU+0063KA-0054KE (21 0) 0k solved (37.3s)
P1-KY-KE *  * +UM *  * -KE-KY
P2 * -RY *  *  *  * -KI *  * 
P3-FU *  *  *  * -FU *  *  * 
P4 *  *  * -FU-KA-OU * +KY * 
P5 *  * +FU * -FU *  *  * +FU
P6 *  * -KE+FU * +GI *  *  * 
P7 * -FU *  * +FU+FU *  *  * 
P8+FU * +GI * +KI *  * +HI * 
P9 * +FU+KI * +OU *  *  * +KY
P+00KI00GI00FU00FU00FU00FU00FU
P-00GI00KE00FU
-
