2015-05-04T09:58:29.528726 status=3 elapsed 8535 msec-max 8500
root - -5867 -0024KE+1625OU-1917RY+1113RY-1716RY+2514OU-3113KA+1413OU-1626RY+0064KE-6364GI+0012KA-0031KI+0022KY-0011GI+1223UM-7365KE+0063FU-6263KI+6665KI-2615RY+0014FU-6465GI+0064FU-6364KI (25 4) 60373k 20.4s (7.6s)
  -0024KE + -5867 +1625OU-1917RY+1113RY-1716RY+2514OU-3113KA (24 3) 34699k 21.4s (7.6s)
    +1625OU - -5867 -1917RY+1113RY-1716RY+2514OU-3113KA+1413OU (23 2) 36601k 20.4s (7.6s)
      -1917RY + -5867 +1113RY-1716RY+2514OU-3113KA+1413OU-1626RY (22 1) 9361k [1] 8.5s (8.5s)
        others  + -5867 +1113RY-1716RY+2514OU-3113KA+1413OU-1626RY (22 15) 4799k [8] w0=8 (8.5s)
            alt + -5736 +0035KE-1716RY+2534OU-0033KI (14 14)
        +0036KY - -29971 -0033KE+2534OU-1726RY+6564FU-2436KE+6463TO (25 1) 4562k solved 8.5s (8.5s)
      -1928RY + -5176 +0036KY-2436KE+2534OU-2826RY+1725KE-0024KI (20 1) 16451k [9] 7.6s (7.6s)
        others  + -5176 +0036KY-2436KE+2534OU-2826RY+1725KE-0024KI (20 15) 5397k [6] w0=6 (7.6s)
            alt + -5016 +2534OU-2826RY+0033KY-0022GI (16 14)
            alt + -5151 +0035KE-3837KI+0027FU-2827RY (14 14)
        +0027FU - -5735 -2827RY+0035KE-0033KI+1113RY-3113KA+6564FU (21 1) 11053k 7.6s (7.6s)
          -2827RY + -5735 +0035KE-0033KI+1113RY-3113KA+6564FU-6364GI (20 17) 5221k [1] w0=1 w1=11 (7.6s)
              alt + -5815 +2534OU-0033KI+3445OU-2726RY (20 16)
          others  - -4103 -2817RY+2534OU-0033KI+3445OU-1727RY+0064KE (23 17) 5832k [7] w0=7 (7.6s)
      others  - -3337 -7365KE+0064FU-1917RY+6463TO-6263KI+0036KY (14 16) 11342k [10] w0=10 (20.4s)
  -1928RY + -5403 +0024FU-0027KI+1625OU-0032KY+2536OU-2737KI (24 1) 9183k [6] 8.5s (8.5s)
    +0024FU - -5403 -0027KI+1625OU-0032KY+2536OU-2737KI+3625OU (23 17) 5699k [2] w0=2 (8.5s)
    others  + -5457 +0053KY-6253KI+0024FU-0027KI+1625OU-0032KY (16 15) 3484k [3] w0=3 (8.5s)
        alt + -5152 +0064KE-6364GI+0024FU-0027KI (18 15)
  others  - -3327 -7365KE+0025KY-6577NK+0064FU-6364GI+0056KE (18 17) 16490k [4] w0=4 (20.4s)
P1-KY *  *  *  *  * -KA * +RY
P2 *  *  * -KI-OU-GI *  *  * 
P3-FU * -KE-GI * -FU * -FU-FU
P4 *  * -FU * -FU * -FU *  * 
P5 *  *  * +FU *  *  *  * +FU
P6+FU+FU * +KI *  *  * +GI+OU
P7 *  * +GI-FU+FU+FU+FU * +KE
P8 * +KA *  *  *  * -KI+FU * 
P9+KY *  *  *  *  *  *  * -RY
P+00KE00KY00FU00FU
P-00KI00KE00KY
-
