2015-05-04T09:58:31.478862 status=4 elapsed 10485 msec-max 8500
root + -5867 +1625OU-1917RY+1113RY-1716RY+2514OU-3113KA+1413OU-1626RY+0064KE-6364GI+0012KA-0031KI+0022KY-0011GI+1223UM-7365KE+0063FU-6263KI+6665KI-2615RY+0014FU-6465GI+0064FU-6364KI (24 3) 34699k 23.3s (1.7s)
  +1625OU - -5867 -1917RY+1113RY-1716RY+2514OU-3113KA+1413OU (23 2) 35957k 22.3s (1.7s)
    -1917RY + -5867 +1113RY-1716RY+2514OU-3113KA+1413OU-1626RY (22 16) 8881k [1] 10.4s (1.7s)
      +1113RY - -5867 -1716RY+2514OU-3113KA+1413OU-1626RY+0064KE (21 15) 2399k [8] w1=11 sub 1.7s (1.7s)
        -1716RY + -5143 +2514OU-3113KA+0064KE-5253OU+2625GI-1322KA (13 11) 421k [2] w0=2 (1.7s)
        others  - -4845 -0033KE+2514OU-1726RY+6564FU-6364GI+0063FU (18 12) 791k [9] w0=9 (1.7s)
      others  + -6053 +2534OU-1726RY+0053KY-6253KI+3423OU-0022GI (18 13) 655k [8] w0=8 (1.7s)
      +0036KY - -29971 -0033KE+2534OU-1726RY+6564FU-2436KE+6463TO (25 1) 6062k solved 10.4s (10.4s)
    -1928RY + -5203 +0036KY-2436KE+2534OU-2826RY+1725KE-0024KI (20 16) 17203k [9] 9.6s (1.7s)
      +0036KY - -5203 -2436KE+2534OU-2826RY+1725KE-0024KI+3445OU (19 15) 2788k [6] sub 1.7s (1.7s)
        -2436KE + -4939 +2534OU-2826RY+0025FU-0033KI+3445OU-3648NK (18 11) 171k [4] w0=4 (1.7s)
        others  - -4569 -3837KI+2534OU-0033KI+3445OU-2826RY+4556OU (18 12) 224k [3] w0=3 (1.7s)
      others  + -5271 +2534OU-2826RY+3423OU-0022FU+2312OU-0023GI (11 15) 1057k [6] w0=6 (1.7s)
          alt + -5286 +0035KE-3837KI+0027FU-2827RY (14 14)
      +0027FU - -5765 -2827RY+0035KE-0033KI+1113RY-3113KA+6564FU (21 1) 13357k 9.6s (9.6s)
        -2827RY + -5765 +0035KE-0033KI+1113RY-3113KA+6564FU-6364GI (20 17) 6509k [1] w0=1 (9.6s)
            alt + -5815 +2534OU-0033KI+3445OU-2726RY (20 16)
        others  - -4164 -2817RY+2534OU-0033KI+3445OU-1727RY+0064KE (23 17) 6847k [7] w0=7 (9.6s)
    others  - -3337 -7365KE+0064FU-1917RY+6463TO-6263KI+0036KY (14 16) 11342k [10] w0=10 (22.3s)
P1-KY *  *  *  *  * -KA * +RY
P2 *  *  * -KI-OU-GI *  *  * 
P3-FU * -KE-GI * -FU * -FU-FU
P4 *  * -FU * -FU * -FU-KE * 
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-00KI00KY
+
