2015-05-04T10:45:28.293001 status=4 elapsed 12157 msec-max 6900
root - -4282 -3242KI+0016FU-1716TO+2716GI-1916RY+3748OU-0041KY+3828KI-0075KA+0057FU-0019KA+0017KY-1928UM+1716KY-1516OU+0011HI-0015KE+1131RY-0037GI+4858OU-3435FU+3135RY-0049GI+5868OU-7365KE (25 4) 39736k 21.6s (4.9s)
  -3242KI + -4282 +0016FU-1716TO+2716GI-1916RY+3748OU-0041KY (24 3) 13212k 13.9s (4.9s)
    +0016FU - -4282 -1716TO+2716GI-1916RY+3748OU-0041KY+3828KI (23 2) 8910k 13.9s (4.9s)
      -1716TO + -4282 +2716GI-1916RY+3748OU-0041KY+3828KI-0075KA (22 1) 8910k 13.9s (4.9s)
        +2716GI - -4282 -1916RY+3748OU-0041KY+3828KI-0075KA+0057FU (21 15) 7664k [5] (13.9s)
        others  + -29976 +3748OU-0059KA+4858OU-0066KE+6766KI-5566GI (10 16) 520k [7] (4.9s)
        +3524GI - -29983 -1524OU+0059KY-1627TO+3727OU-0028GI+3635FU (7 1) 1958k solved 4.9s (4.9s)
    +0016KY - -4953 -1716TO+2716GI-1916RY+3748OU-0041KY+9151RY (17 14) 3040k [1] sub 4.9s (4.9s)
      -1716TO + -29976 +2716GI-1516OU+0059FU-0028GI+3748OU-0037KA (10 2) 2761k 4.9s (4.9s)
        +2716GI - -29976 -1516OU+0059FU-0028GI+3748OU-0037KA+3837KI (9 1) 2067k 4.9s (4.9s)
          others  - -29976 -1516OU+0059FU-0028GI+3748OU-0037KA+3837KI (9 18) 1304k [9] (4.9s)
          -1916RY + -5403 +3748OU-0075KA+0057FU-0027GI+4858OU-2738NG (21 11) 763k [10] (4.9s)
        others  + -29980 +3748OU-1627TO+3524GI-1524OU+2513KE-2738TO (10 12) 1207k [8] (4.9s)
    others  + -29990 +0059FU-0028KA+3748OU-0037KA+3837KI-2837UM (6 13) 1261k [1] (4.9s)
  -3142KI + -4172 +9111RY-0014GI+0016KY-1716TO+2716GI-1916RY (22 15) 14457k [2] w0=2 (21.6s)
      alt + -4421 +0016FU-1716TO+2716GI-1916RY (19 14)
  others  - -1839 -0024KY+0016FU-1716TO+2716GI-1916RY+9131RY (29 15) 12067k [6] (13.9s)
      alt -  -918 -0033KY+0016FU-1716TO+2716GI (26 14)
P1+RY *  *  *  *  * -KI *  * 
P2 *  *  *  *  * +UM-KI *  * 
P3-FU * -KE-FU * -FU * -FU * 
P4 *  *  *  * -FU * -FU *  * 
P5 * -FU *  * -GI * +GI+KE-OU
P6 *  *  *  *  * +KY+FU+FU * 
P7+FU+FU * +KI * +FU+OU+GI-TO
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00KY00FU
P-00KA00GI00KE00KE00KY00KY00FU00FU00FU
-
