2015-05-05T15:24:38.593169 status=3 elapsed 6597 msec-max 6550
root + -3337 +3738KI-2938NG+2738GI-4739NK+3827GI-3929NK+0039GI-2939NK+5241TO-0037KI+4131TO-3231KI+0018KI-3929NK+0064KA-0042GI+0048GI-3748KI+6442UM-0039KA+0028GI-3342GI+2839GI-4839KI+5756FU (25 3) 37766k 14.9s (6.4s)
  +3738KI - -3337 -2938NG+2738GI-4739NK+3827GI-3929NK+0039GI (24 2) 15521k [2] 6.4s (6.4s)
    -2938NG + -3337 +2738GI-4739NK+3827GI-3929NK+0039GI-2939NK (23 1) 9909k 6.4s (6.4s)
      +2738GI - -3337 -4739NK+3827GI-3929NK+0039GI-2939NK+5241TO (22 17) 4990k [1] w0=1 (6.4s)
      others  + -5082 +0022KI-3322GI+2738GI-4739NK+0027KA-3938NK (22 15) 4919k [3] w0=3 (6.4s)
          alt + -5125 +0012KI-1112KY+2738GI-4739NK (22 15)
    others  - -3241 -2938GI+5241TO-3827NG+1727OU-0049KA+0038KI (9 17) 5611k [6] w0=6 (6.4s)
  +2738GI - -4112 -0039KA+0028KI-5646TO+0049KA-4637TO+3837GI (25 2) 20410k 8.3s (6.4s)
    -0039KA + -4112 +0028KI-5646TO+0049KA-4637TO+3837GI-0038KI (24 1) 4792k 8.3s (8.3s)
      +0028KI - -4112 -5646TO+0049KA-4637TO+3837GI-0038KI+4938KA (23 17) 4787k [5] w0=5 (8.3s)
      others  + -29990 +0028KA-3928UM+1728OU-0039KA+2827OU-0028KI (9 5) 4k [6] solved (8.3s)
    -5646TO + -3768 +3829GI-4637TO+0028KI-0039KA+0027KA-3728TO (18 1) 13253k 6.4s (6.4s)
      others  + -3768 +3829GI-4637TO+0028KI-0039KA+0027KA-3728TO (18 16) 3974k [8] w0=8 (6.4s)
          alt + -3732 +0028KI-0039KA+0027KA-4637TO (12 15)
          alt + -3793 +0049KI-0039KA+4939KI-4739NK (16 15)
      +0027KI - -5005 -0039KA+0028KA-1415FU+2839KA-4739NK+3829GI (23 1) 9295k 6.4s (6.4s)
        -0039KA + -5005 +0028KA-1415FU+2839KA-4739NK+3829GI-4637TO (22 15) 3882k [10] w0=10 w1=11 (6.4s)
        others  - -4871 -1415FU+3829GI-1516FU+2716KI-4637TO+0038KA (27 16) 5413k [7] w0=7 (6.4s)
    others  - -3369 -4739NK+3829GI-3929NK+0039KI-2939NK+0041GI (21 16) 4843k [4] w0=4 (6.4s)
  others  + -29972 +0028KA-3828KI+5242TO-3142GI+6273RY-2818KI (16 23) 3685k [9] w0=9 (8.3s)
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+OU
P8 *  *  *  *  *  * -KI *  * 
P9+KY *  * +KE *  *  * -GI+KY
P+00KA00FU
P-00KA00KI00FU00FU00FU
+
