2015-05-05T14:31:34.837738 status=4 elapsed 9925 msec-max 8000
root + -2139 +4748KI-0078HI+0057KA-0067FU+0069FU-0038KI+0064KE-5241OU+0058KE-6768TO+5768KA-7876RY+6857KA (13 3) 33987k 7.7s (1.7s)
  +4748KI - -2139 -0078HI+0057KA-0067FU+0069FU-0038KI+0064KE (12 2) 10325k 7.7s (1.7s)
    -0078HI + -2139 +0057KA-0067FU+0069FU-0038KI+0064KE-5241OU (11 1) 8136k 7.7s (7.7s)
      +0057KA - -2139 -0067FU+0069FU-0038KI+0064KE-5241OU+0058KE (10 15) 5015k [2] w0=2 (7.7s)
          alt - -2151 -0067KI+0068KE-7877RY+0069KE (24 14)
      others  + -2490 +0064KE-5241OU+4858KI-3938KI+5868KI-7876RY (22 14) 3121k [5] w0=5 (7.7s)
          alt + -2328 +0068KE-0067FU+0069FU-6768TO (9 13)
    -0079HI + -1753 +5958OU-7976RY+0064KE-5242OU+2615KA-0024FU (16 14) 1930k [8] sub 1.8s (1.7s)
      +5958OU - -1534 -7976RY+8573NK-7675RY+5847OU-0072FU+0076FU (16 12) 308k [3] w0=3 (1.7s)
      others  + -1985 +0069FU-7976RY+0064KE-5251OU+2615KA-0033FU (14 10) 492k [6] w0=6 (1.7s)
    others  - -1386 -0047FU+4847KI-0079HI+5958OU-7976RY+0064KE (18 11) 258k [8] w0=8 (1.7s)
  +2648KA - -2944 -0088HI+0068KE-0067FU+0069FU-3938KI+5958OU (17 1) 24179k 7.7s (7.7s)
    -0088HI + -2944 +0068KE-0067FU+0069FU-3938KI+5958OU-8878RY (16 16) 4830k [9] (7.7s)
    others  - -2282 -3938KI+5968OU-0088HI+0078FU-8887RY+0067FU (21 14) 3438k [10] (7.7s)
    -0079HI + -1726 +5968OU-7976RY+4839KA-0066FU+0064KE-5241OU (20 2) 15910k 8.7s (7.7s)
      +5968OU - -1726 -7976RY+4839KA-0066FU+0064KE-5241OU+6859OU (19 1) 10304k 7.7s (7.7s)
        -7976RY + -1726 +4839KA-0066FU+0064KE-5241OU+6859OU-7675RY (18 15) 5984k [4] (7.7s)
        others  - -1381 -0077KI+6857OU-7776KI+0064KE-5241OU+4645FU (17 14) 4319k [7] (7.7s)
      others  + -3114 +0069KA-3938KI+4857KA-0068FU+5768KA-7976RY (24 16) 6933k [1] (8.7s)
  others  + -29990 +5948OU-0028HI+4857OU-0058KI+5767OU-5868KI (7 5) 21k [6] solved (7.7s)
P1 *  *  *  *  *  *  * -HI-KY
P2 *  *  *  * -OU * -KI *  * 
P3 *  * -FU * -FU-GI *  * -FU
P4 *  * -KE * -GI *  *  *  * 
P5 * +KE+GI *  *  * +FU+FU * 
P6 * +FU+KY * +FU+FU+GI+KA * 
P7-NY *  *  *  * +KI *  * +FU
P8-TO *  *  *  * -TO *  *  * 
P9 *  *  *  * +OU * -KI * +KY
P+00KA00KE00KE00FU00FU00FU00FU00FU00FU
P-00HI00KI00FU
+
