2015-05-05T15:24:30.093170 status=3 elapsed 6597 msec-max 6550
root + -3160 +1817OU-3938KI+3738KI-2938NG+2738GI-4739NK+0029GI-3938NK+2938GI-0039KA+0028KE-3948UM+3827GI-0037KI+0018KI-3727KI+1827KI-0038GI+0018KI-3827NG+1827KI-0038GI+0018GI-3827NG+1827GI-0037KI (26 3) 25737k 16.8s (3.7s)
  +1817OU - -3160 -3938KI+3738KI-2938NG+2738GI-4739NK+0029GI (25 2) 22185k 5.4s (3.8s)
    -3938KI + -3160 +3738KI-2938NG+2738GI-4739NK+0029GI-3938NK (24 1) 11051k 6.4s (6.4s)
      +3738KI - -3160 -2938NG+2738GI-4739NK+0029GI-3938NK+2938GI (23 17) 5461k [2] w0=2 (6.4s)
      others  + -4089 +2738GI-0039KA+0028KI-5646TO+0027KA-4637TO (16 18) 5589k [9] w0=9 (6.4s)
    -2938GI + -3069 +5756FU-3829NG+2625FU-2324FU+0028KA-2928NG (7 1) 6908k 3.8s (3.8s)
      others  + -3069 +5756FU-3829NG+2625FU-2324FU+0028KA-2928NG (7 14) 2785k [7] w0=7 (3.8s)
          alt + -3081 +0041KA-3827NG+3727KI-0049KA (15 13)
      +3738KI - -3180 -3938KI+2738GI-4739NK+0029GI-3929NK+3829GI (23 1) 4122k w1=11 3.8s (3.8s)
        -3938KI + -3180 +2738GI-4739NK+0029GI-3929NK+3829GI-0037KI (22 14) 2679k [1] w0=1 (3.8s)
        others  - -2455 -1415FU+3839KI-1516FU+2716GI-0015FU+0013FU (26 14) 1443k [3] w0=3 (3.8s)
    -2938NG + -3050 +3738KI-3938KI+2738GI-4739NK+0027GI-3938NK (24 15) 2659k [10] w0=10 (5.4s)
    others  - -2422 -1415FU+3839KI-1516FU+2716GI-1116KY+1716OU (29 14) 1565k [8] w0=8 (3.8s)
  +1828OU - -29983 -3938KI+3738KI-2938NG+2838OU-0037FU+3829OU (17 4) 3552k solved 4.7s (3.7s)
P1-KY-KE *  *  *  * -GI-OU-KY
P2 *  *  * +RY+TO * -KI *  * 
P3-FU * -HI *  *  * -GI-FU * 
P4 *  *  *  * -FU-FU *  * -FU
P5+FU+FU *  * -KE *  *  *  * 
P6 *  *  *  * -TO * +FU+FU+FU
P7 *  * +FU * +FU-KE+KI+GI * 
P8 *  *  *  *  *  * +KI * +OU
P9+KY *  * +KE *  * -KI-GI+KY
P+00KA00FU
P-00KA00FU00FU00FU
+
