2015-05-04T10:45:46.832856 status=3 elapsed 8148 msec-max 8103
root + -4516 +2716GI-1916RY+3748OU-0075KA+0057FU-3435FU+9111RY-0014KE+2513NK-1426KE+1314NK-1525OU+0028KY-0034KA+3837KI-0017GI (16 3) 53754k 16.5s (8.7s)
  +2716GI - -4516 -1916RY+3748OU-0075KA+0057FU-3435FU+9111RY (15 2) 20688k [1] 9.7s (8.7s)
    -1916RY + -4516 +3748OU-0075KA+0057FU-3435FU+9111RY-0014KE (14 1) 20680k 9.7s (8.7s)
      others  + -4516 +3748OU-0075KA+0057FU-3435FU+9111RY-0014KE (14 15) 5659k [7] w0=7 (9.7s)
      +9111RY - -4696 -0014FU+3748OU-0075KA+0057FU-3435FU+2513NK (33 2) 15937k 9.7s (8.7s)
        others  - -4715 -0014GI+3748OU-0029KA+0028KY-3435FU+3827KI (14 15) 7890k [8] w0=8 (9.7s)
        -0014FU + -4696 +3748OU-0075KA+0057FU-3435FU+2513NK-0029GI (32 1) 9674k 8.7s (8.7s)
          +3748OU - -4696 -0075KA+0057FU-3435FU+2513NK-0029GI+1314NK (31 14) 4144k [6] w0=6 w1=11 (8.7s)
          others  + -5714 +3524GI-2324FU+3748OU-2425FU+2625FU-0026KA (10 13) 5529k [1] w0=1 (8.7s)
              alt + -5337 +0059KY-0019KA+3748OU-3435FU (11 12)
    others  - 29990 -1516OU+9111RY-0012FU+1112RY-0013FU+1213RY (9 5) 7k [6] solved (9.7s)
  +9111RY - -5301 -0014GI+2716GI-1916RY+3748OU-0075KA+4858OU (15 1) 28044k 17.5s (9.7s)
    -0014GI + -5301 +2716GI-1916RY+3748OU-0075KA+4858OU-3435FU (14 14) 11672k [2] w0=2 (17.5s)
    others  - -4186 -0014KE+2716GI-1916RY+3748OU-0075KA+0057FU (22 16) 6545k [9] w0=9 (9.7s)
    -0014KY + -4154 +2716GI-1916RY+3748OU-0075KA+0057KY-0029GI (24 2) 9826k 9.7s (9.7s)
      +2716GI - -4154 -1916RY+3748OU-0075KA+0057KY-0029GI+3828KI (23 1) 3700k 9.7s (9.7s)
        -1916RY + -4154 +3748OU-0075KA+0057KY-0029GI+3828KI-3435FU (22 14) 3700k [5] w0=5 (9.7s)
        others  - 29996 -1516OU (1 5) 0k [8] solved (9.7s)
      others  + -5819 +3524GI-2324FU+2716GI-1916RY+3748OU-2425FU (16 13) 6126k [3] w0=3 (9.7s)
  others  + -29988 +3748OU-0059KA+4858OU-0066KE+6766KI-0076KA (9 17) 5755k [10] w0=10 (16.5s)
P1+RY *  *  *  *  *  *  *  * 
P2 *  *  *  *  * -KI-KI *  * 
P3-FU * -KE-FU * -FU * -FU * 
P4 *  *  *  * -FU * -FU *  * 
P5 * -FU *  * -GI * +GI+KE-OU
P6 *  *  *  *  * +KY+FU+FU-TO
P7+FU+FU * +KI * +FU+OU+GI * 
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00KY
P-00KA00KA00GI00KE00KE00KY00KY00FU00FU00FU00FU
+
