2015-05-05T15:24:55.593184 status=3 elapsed 6547 msec-max 6500
root + -4896 +0028GI-1415FU+1615FU-0016KI+1716OU-3928UM+0025KI-2838UM+0027KA-3827UM+1627OU-0049KA+0038KA-4938UM+2738OU-5646TO+0028KI-4636TO+0048KA-4759NK+4859KA-5547NK+3849OU-0027GI+0034KE-2728NG (26 3) 43409k 15.0s (6.5s)
  +0028GI - -4896 -1415FU+1615FU-0016KI+1716OU-3928UM+0025KI (25 2) 9517k 8.3s (8.3s)
    -1415FU + -4896 +1615FU-0016KI+1716OU-3928UM+0025KI-2838UM (24 1) 4363k 8.3s (8.3s)
      others  + -4896 +1615FU-0016KI+1716OU-3928UM+0025KI-2838UM (24 17) 3792k [3] w0=3 (8.3s)
      +0027KI - -29969 -1516FU+2716KI-1116KY+1716OU-3928UM+0015FU (14 17) 571k [5] solved (8.3s)
    others  - -4480 -3928UM+1728OU-4739NK+2839OU-5547NK+0048KI (27 16) 5153k [8] w0=8 (8.3s)
  +0028KI - -5213 -3928UM+1728OU-4739NK+0049GI-3938NK+4938GI (25 4) 33887k [1] 8.3s (6.5s)
    -3928UM + -5213 +1728OU-4739NK+0049GI-3938NK+4938GI-5647TO (24 3) 21731k 7.0s (6.5s)
      +1728OU - -5213 -4739NK+0049GI-3938NK+4938GI-5647TO+6268RY (23 2) 21731k 7.0s (6.5s)
        -4739NK + -5213 +0049GI-3938NK+4938GI-5647TO+6268RY-0048KI (22 1) 7690k w1=11 7.0s (7.0s)
          others  + -5213 +0049GI-3938NK+4938GI-5647TO+6268RY-0048KI (22 16) 4522k [6] w0=6 (7.0s)
          +0027GI - -7332 -3938NK+2738GI-5647TO+0012KA-1112KY+6268RY (25 14) 3167k [5] w0=5 (7.0s)
        others  - -2849 -5646TO+5241TO-0048KI+0049GI-4739NK+4131TO (17 15) 5053k [1] w0=1 (6.5s)
        -0037FU + -2606 +3837GI-4739NK+2817OU-5547NK+3728GI-0037KI (14 1) 9453k 6.5s (6.5s)
          others  + -2606 +3837GI-4739NK+2817OU-5547NK+3728GI-0037KI (14 12) 368k [4] w0=4 (6.5s)
          +3827GI - -3960 -3738TO+2738GI-4739NK+2839OU-5647TO+0048GI (23 1) 9085k 6.5s (6.5s)
            -3738TO + -3960 +2738GI-4739NK+2839OU-5647TO+0048GI-0046KI (22 16) 3026k [10] w0=10 (6.5s)
            others  - -3713 -4739NK+2817OU-3738TO+0041GI-0028KI+4132NG (11 15) 6059k [9] w0=9 (6.5s)
    -1415FU + -3765 +1727OU-1516FU+1916KY-1116KY+0018FU-5646TO (20 15) 5866k [2] w0=2 (8.3s)
    others  - -3275 -5646TO+0029GI-0037FU+3827GI-0038KI+2938GI (15 16) 6289k [7] w0=7 (7.0s)
  others  + -29988 +0028KA-3928UM+1728OU-0039KA+2837OU-0046KI (11 5) 4k [6] solved (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 *  * +OU
P8 *  *  *  *  *  * +GI *  * 
P9+KY *  * +KE *  * -KA * +KY
P+00KA00KI00GI00FU
P-00KI00KI00FU00FU00FU
+
