2015-05-04T10:42:48.332839 status=3 elapsed 8518 msec-max 8500
root + -2204 +1514FU-0011KY+0028GI-1969RY+0068FU-1114KY+2718GI-0059KA+0048KY-0056KE+9171RY-6978RY+5362UM-5648NK+3848KI-4344FU+6252UM-0043KY+8786FU (19 3) 119591k 39.8s (8.5s)
  +1514FU - -2204 -0011KY+0028GI-1969RY+0068FU-1114KY+2718GI (18 2) 46413k [10] 23.9s (8.5s)
    -0011KY + -2204 +0028GI-1969RY+0068FU-1114KY+2718GI-0059KA (17 1) 31284k 23.9s (23.9s)
      others  + -2204 +0028GI-1969RY+0068FU-1114KY+2718GI-0059KA (17 15) 18972k [6] w0=6 (23.9s)
          alt + -2291 +0018KY-1114KY+0015FU-1415KY (20 14)
      +0033KY - -2335 -2433GI+0013GI-1113KY+1413TO-2113KE+2513NK (24 14) 12311k [5] w0=5 (23.9s)
    -1617TO + -1947 +0013GI-2113KE+1413TO-2413GI+2513NK-2213OU (28 2) 8676k 8.5s (8.5s)
      +0013GI - -1947 -2113KE+1413TO-2413GI+2513NK-2213OU+0016KY (27 1) 3416k 8.5s (8.5s)
        -2113KE + -1947 +1413TO-2413GI+2513NK-2213OU+0016KY-1716TO (26 11) 3067k [10] w0=10 (8.5s)
        others  - 29980 -2413GI+1413TO-2113KE+0033GI-2211OU+9131RY (19 10) 349k [3] solved (8.5s)
      others  + -2468 +0018KY-0059KA+0048GI-1727TO+3727OU-1929RY (31 14) 5259k [2] w0=2 (8.5s)
          alt + -2629 +0016KY-1716TO+2513NK-2113KE (16 13)
    others  - -1443 -0059KA+0048GI-1617TO+4859GI-1727TO+3727OU (23 14) 6452k [1] w0=1 (8.5s)
  +2716GI - -2993 -1415KY+1615GI-1915RY+0014FU-1514RY+0013FU (23 2) 58652k 23.9s (23.9s)
    -1415KY + -2993 +1615GI-1915RY+0014FU-1514RY+0013FU-1417RY (22 1) 39183k 23.9s (23.9s)
      +1615GI - -2993 -1915RY+0014FU-1514RY+0013FU-1417RY+3748OU (21 15) 17602k [4] w0=4 (23.9s)
      others  + -3394 +0059FU-1516KY+0028GI-1959RY+0056FU-5556GI (18 15) 21580k [8] w0=8 (23.9s)
          alt + -3435 +5342UM-3142KI+0013FU-1516KY (18 14)
          alt + -3394 +0014FU-1516KY+1413TO-2113KE (14 15)
    others  - -2826 -1916RY+1514FU-1614RY+0015FU-1415RY+0013FU (12 17) 19803k [7] w0=7 (23.9s)
  others  + -3234 +5375UM-1617TO+1514FU-2425GI+2625FU-0028KA (24 15) 15312k [9] w0=9 (23.9s)
P1+RY *  *  *  *  * -KI-KE * 
P2 *  *  *  *  * -KY-KI-OU * 
P3-FU * -KE-FU+KA-FU * -FU * 
P4 *  *  *  * -FU * -FU-GI-KY
P5 * -FU *  * -GI *  * +KE+FU
P6 *  *  *  *  * +KY+FU+FU-FU
P7+FU+FU * +KI * +FU+OU+GI * 
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00GI00FU
P-00KA00KE00KY00FU00FU
+
