2015-05-05T10:41:46.519645 status=4 elapsed 10242 msec-max 8000
root -   -46 -1112KY+0013KY-0024KY+1312NY-2212OU+2625FU-5465KA+7465RY-6665NK+0013KY-2113KE+2524FU-3324GI+1413TO-1213OU+0026KE-2425GI+0014FU-2514GI+0056KY (20 3) 17197k [4] 12.9s (0.6s)
  -1112KY +   -46 +0013KY-0024KY+1312NY-2212OU+2625FU-5465KA (19 2) 4068k 12.9s (0.6s)
    +0013KY -   -46 -0024KY+1312NY-2212OU+2625FU-5465KA+7465RY (18 1) 969k [5] 1.6s (1.6s)
      others  -   -46 -0024KY+1312NY-2212OU+2625FU-5465KA+7465RY (18 12) 463k [9] w0=9 (1.6s)
      -5436KA +   144 +0035FU-0073FU+7464RY-3614KA+3534FU-3324GI (17 1) 635k 1.6s (1.6s)
        others  +   144 +0035FU-0073FU+7464RY-3614KA+3534FU-3324GI (17 12) 360k [6] w0=6 (1.6s)
        +1312NY -   -28 -2212OU+0035FU-0073FU+0013KY-2113KE+1413TO (14 1) 275k w1=11 1.6s (1.6s)
          -2212OU +   -28 +0035FU-0073FU+0013KY-2113KE+1413TO-1213OU (13 10) 275k [4] w0=4 (1.6s)
    +0013GI -  -264 -1213KY+1413TO-2113KE+0014FU-5436KA+1413TO (20 1) 1977k 0.6s (0.6s)
      -1213KY +  -264 +1413TO-2113KE+0014FU-5436KA+1413TO-2213OU (19 13) 823k [7] w0=10 sub (0.6s)
      -2113KE +  -178 +1413TO-1213KY+0014FU-2324FU+0058KE-4657RY (19 1) 1100k 1.7s (1.6s)
        +1413TO -  -178 -1213KY+0014FU-2324FU+0058KE-4657RY+5866KE (18 15) 310k [3] w0=3 (1.6s)
        others  +  -443 +7454RY-5354FU+1413TO-1213KY+0014FU-2324FU (17 13) 789k [8] w0=8 (1.6s)
      -2211OU + 29987 +1312NG-1112OU+0013KY-2113KE+1413TO-1213OU (11 6) 53k [7] solved (0.6s)
    others  +  -342 +7454RY-5354FU+0013KY-2324FU+1312NY-2212OU (21 14) 1122k [2] w0=2 (1.6s)
  others  -   759 -2212OU+0013KY-2113KE+1413TO-1213OU+7454RY (21 15) 13600k [1] (12.9s)
P1+TO *  *  *  * -FU-KI-KE-KY
P2 *  *  *  *  *  * -KI-OU+NY
P3-FU *  *  * -FU * -GI-FU * 
P4 *  * +RY * -KA * -FU * +FU
P5 *  *  * +FU *  *  *  * -FU
P6+KA-FU * -NK * -RY+FU+FU * 
P7+FU *  *  * +FU *  *  *  * 
P8+OU+FU+KI *  *  * -NG *  * 
P9+KY+KE+FU *  *  *  *  *  * 
P+00KI00GI00GI00KY00FU00FU
P-00KE
-
