2015-05-04T10:46:39.083164 status=4 elapsed 4698 msec-max 7151
root - -29974 -2738NG+3738KI-1838RY+4838OU-0027KA+3848OU-0056KE+4858OU-0066KE+5869OU-0058GI+6979OU-6678NK+7978OU-5867NG+7867OU-0066KI+6778OU-0076KY+7889OU-0078KI+8999OU-0077KA+9998OU-7888KI (25 0) 0k solved 3.7s (2.6s)
  -2738NG + -6735 +3738KI-0037GI+4859OU-3738NG+5969OU-3435FU (12 2) 1824k 3.7s (2.6s)
    +3738KI - -6735 -0037GI+4859OU-3738NG+5969OU-3435FU+4643NY (11 1) 1637k 2.6s (2.6s)
      -0037GI + -6735 +4859OU-3738NG+5969OU-3435FU+4643NY-3243KI (10 11) 622k [9] sub (2.6s)
      -0016KA + -5739 +0049GI-3435FU+0056FU-0022GI+1122RY-3222KI (12 1) 923k 3.7s (2.6s)
        others  + -5739 +0049GI-3435FU+0056FU-0022GI+1122RY-3222KI (12 10) 492k [1] (3.6s)
        +0039GI - -6100 -1638UM+3938GI-0037KI+4857OU-7365KE+5768OU (11 1) 430k sub 2.6s (2.6s)
          -1638UM + -6100 +3938GI-0037KI+4857OU-7365KE+5768OU-1838RY (10 12) 300k [3] sub (2.6s)
          others  - -5304 -3435FU+2513NK-3536FU+0017FU-3637TO+4859OU (9 9) 67k [10] (2.6s)
      others  - -5112 -0027KA+0029GI-2738UM+2938GI-0037KI+4859OU (13 9) 91k [4] (2.6s)
    others  + -29990 +4859OU-1819RY+5958OU-0049KA+5868OU-4967UM (6 20) 278k [7] (3.6s)
  -0075KA + -5742 +0057FU-3435FU+3727KI-1827RY+4643KY-3243KI (18 1) 1714k 4.7s (4.7s)
    others  + -5742 +0057FU-3435FU+3727KI-1827RY+4643KY-3243KI (18 11) 460k [6] (4.7s)
    +4858OU - -8207 -2738NG+0016FU-1516OU+1114RY-0015FU+0019FU (13 15) 1253k [2] (4.7s)
  others  - -5445 -3435FU+3727KI-1827RY+2513NK-0075KA+0066FU (15 11) 996k [8] (3.6s)
P1 *  *  *  *  *  *  *  * +RY
P2 *  *  *  *  * -KI-KI *  * 
P3-FU * -KE-FU * -FU * -FU * 
P4 *  *  *  * -FU * -FU * -FU
P5 * -FU *  * -GI * +GI+KE-OU
P6 *  *  *  *  * +KY+FU+FU * 
P7+FU+FU * +KI * +FU+KI-GI * 
P8 *  * +FU *  * +OU+KY * -RY
P9 *  *  *  *  *  *  *  *  * 
P+00FU
P-00KA00KA00GI00KE00KE00KY00KY00FU00FU00FU
-
