2015-05-04T10:45:48.682995 status=4 elapsed 9998 msec-max 8103
root - -4516 -1916RY+3748OU-0075KA+0057FU-3435FU+9111RY-0014KE+2513NK-1426KE+1314NK-1525OU+0028KY-0034KA+3837KI-0017GI (15 17) 16828k [1] 11.6s (1.7s)
  -1916RY + -4516 +3748OU-0075KA+0057FU-3435FU+9111RY-0014KE (14 16) 17870k 11.6s (1.7s)
    +3748OU - -4516 -0075KA+0057FU-3435FU+9111RY-0014KE+2513NK (13 15) 2829k [7] sub 1.8s (1.7s)
      others  - -3969 -3435FU+9111RY-0014FU+2513NK-0075KA+0057FU (24 11) 312k [2] w0=2 (1.7s)
      -0075KA + -3897 +0057FU-3435FU+9111RY-0014KE+2513NK-1426KE (16 1) 704k 1.7s (1.7s)
        +0057FU - -3897 -3435FU+9111RY-0014KE+2513NK-1426KE+1314NK (15 11) 452k [5] w0=5 (1.7s)
        others  + -4301 +4858OU-3435FU+9111RY-0014FU+2513NK-0066KE (15 10) 252k [3] w0=3 (1.7s)
            alt + -4486 +0057KY-3435FU+9111RY-0014FU (12 9)
    +9111RY - -4715 -0014GI+3748OU-0029KA+0028KY-3435FU+3827KI (14 16) 14817k 11.5s (1.7s)
      -0014GI + -4715 +3748OU-0029KA+0028KY-3435FU+3827KI-1627RY (13 15) 3945k [8] sub 1.7s (1.7s)
        others  + -3782 +2513NK-0059KA+3728OU-0019KA+2839OU-3435FU (9 8) 261k [4] w0=4 (1.7s)
            alt + -3795 +1114RY-1514OU+3534GI-1617RY (13 7)
        +3748OU - -4082 -0029KA+3828KI-0056KE+4858OU-0039KA+2829KI (14 1) 757k 1.7s (1.7s)
          -0029KA + -4082 +3828KI-0056KE+4858OU-0039KA+2829KI-3948UM (13 9) 232k [10] w0=10 (1.7s)
          others  - -3924 -0075KA+0057FU-0022GI+1122RY-3222KI+0027GI (24 12) 525k [9] w0=9 (1.7s)
      -0014FU + -4696 +3748OU-0075KA+0057FU-3435FU+2513NK-0029GI (32 1) 9674k 10.5s (10.5s)
        +3748OU - -4696 -0075KA+0057FU-3435FU+2513NK-0029GI+1314NK (31 14) 4144k [6] w0=6 w1=11 (10.5s)
        others  + -5714 +3524GI-2324FU+3748OU-2425FU+2625FU-0026KA (10 13) 5529k [1] w0=1 (10.5s)
            alt + -5337 +0059KY-0019KA+3748OU-3435FU (11 12)
      others  - -3793 -0014KE+3748OU-0075KA+0057FU-3435FU+2513NK (24 13) 1197k [8] w0=8 (1.7s)
    others  + -4898 +0059FU-0019KA+3748OU-3435FU+9111RY-0014FU (15 11) 724k [7] w0=7 (1.7s)
        alt + -5068 +3524GI-2324FU+9111RY-0014FU (12 10)
  others  - 29990 -1516OU+9111RY-0012FU+1112RY-0013FU+1213RY (9 5) 7k [6] solved (11.6s)
P1+RY *  *  *  *  *  *  *  * 
P2 *  *  *  *  * -KI-KI *  * 
P3-FU * -KE-FU * -FU * -FU * 
P4 *  *  *  * -FU * -FU *  * 
P5 * -FU *  * -GI * +GI+KE-OU
P6 *  *  *  *  * +KY+FU+FU+GI
P7+FU+FU * +KI * +FU+OU *  * 
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00KY00FU
P-00KA00KA00GI00KE00KE00KY00KY00FU00FU00FU00FU
-
