2015-05-05T15:25:04.409921 status=4 elapsed 15364 msec-max 6500
root - -7095 -1415FU+3827GI-0037KI+0038KI-3738KI+2839GI-4739NK+0028KA-3828KI+0049KA-3949NK+1615FU-2827KI+1727OU-0037KI+2737OU-5547NK+3728OU-0046KA+2817OU-1115KY+0016FU-0039KA (23 2) 41760k 17.1s (7.5s)
  -1415FU + -7095 +3827GI-0037KI+0038KI-3738KI+2839GI-4739NK (22 1) 13773k 17.1s (8.5s)
    others  + -7095 +3827GI-0037KI+0038KI-3738KI+2839GI-4739NK (22 15) 3729k [3] w0=3 (8.5s)
    +0027KI - -29969 -1516FU+2716KI-1116KY+1716OU-3928UM+0015FU (14 17) 571k [5] solved (17.1s)
    +1615FU - -29974 -0016KI+1716OU-3928UM+0025KI-0024KI+5756FU (7 1) 11074k 8.5s (8.5s)
      -0016KI + -29974 +1716OU-3928UM+0025KI-0024KI+5756FU-0027GI (6 18) 3420k [1] w0=1 (8.5s)
      others  - -3539 -0016FU+1727OU-1115KY+1916KY-1516KY+0017FU (23 16) 7653k [9] w0=9 (8.5s)
  -3928UM + -5211 +1728OU-4739NK+2839OU-0047KI+0049KI-0037FU (32 3) 22835k 8.6s (7.5s)
    +1728OU - -5211 -4739NK+2839OU-0047KI+0049KI-0037FU+6268RY (31 2) 23749k 7.5s (7.5s)
      -4739NK + -5211 +2839OU-0047KI+0049KI-0037FU+6268RY-4738KI (30 1) 12757k 8.6s (8.5s)
        +2839OU - -5211 -0047KI+0049KI-0037FU+6268RY-4738KI+4938KI (29 16) 6043k [2] (8.5s)
        others  + -5382 +0048KI-3938NK+4838KI-5647TO+6268RY-4738TO (21 16) 6713k [7] (8.5s)
      -0039GI + -3827 +2817OU-0028KI+0029KI-0037FU+6268RY-3738TO (22 16) 6614k [6] (7.5s)
      others  - -3465 -0037FU+3837GI-4739NK+0048KI-0038KI+2817OU (21 16) 4684k [10] (7.5s)
  others  - -2285 -5646TO+0027KI-3948UM+5241TO-4838UM+4131TO (16 14) 5152k [8] (8.5s)
      alt - -2282 -0061FU+6273RY-8173KE+5756FU (15 13)
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+GI * 
P9+KY *  * +KE *  * -KA * +KY
P+00KA00KI00FU
P-00KI00KI00FU00FU00FU
-
