2015-05-04T10:43:18.060731 status=4 elapsed 23012 msec-max 8500
root - -1858 -2113KE+1413TO-2413GI+2513NK-2213OU+0016KY-1716TO+0014FU-1314OU+2716GI-0059KA+0048KE-1413OU+0014FU-1322OU+0013GI-2233OU+1625GI-0044KY+9151RY-0022KE+5362UM-1917RY+3827KI-1718RY (25 6) 72367k 38.2s (14.2s)
  -2113KE + -1858 +1413TO-2413GI+2513NK-2213OU+0016KY-1716TO (24 5) 74077k [10] 22.8s (14.2s)
    +1413TO - -1858 -2413GI+2513NK-2213OU+0016KY-1716TO+0014FU (23 4) 36259k 22.8s (14.2s)
      -2413GI + -1858 +2513NK-2213OU+0016KY-1716TO+0014FU-1314OU (22 3) 36940k [4] 14.4s (14.2s)
        +2513NK - -1858 -2213OU+0016KY-1716TO+0014FU-1314OU+2716GI (21 2) 30534k 14.4s (14.2s)
          -2213OU + -1858 +0016KY-1716TO+0014FU-1314OU+2716GI-0059KA (20 1) 20912k 14.2s (14.2s)
            others  + -1858 +0016KY-1716TO+0014FU-1314OU+2716GI-0059KA (20 16) 10655k [8] w0=8 (14.2s)
            +0014FU - -2107 -1314OU+0016KY-0015FU+1615KY-1415OU+5342UM (22 15) 10256k [2] w0=2 (14.2s)
          others  -  3288 -2233OU+0025KE-3324OU+0035GI-2415OU+0016FU (22 19) 12289k [6] w0=6 (14.4s)
        others  + -3577 +3635FU-1727TO+3827KI-1939RY+0038KY-0059KA (18 14) 6405k [3] w0=3 (14.4s)
      others  - 29984 -2221OU+0022KY-3222KI+1322TO-2122OU+0014KE (14 10) 462k [6] solved (22.8s)
    +2513NK - -3665 -2221OU+0022KY-3222KI+1322NK-2122OU+0013KI (21 1) 29655k 20.2s (14.2s)
      -2221OU + -3665 +0022KY-3222KI+1322NK-2122OU+0013KI-2232OU (20 14) 10219k [5] w0=5 (20.2s)
          alt + -3816 +3635FU-1727TO+3827KI-1939RY (24 13)
      -2413GI + -1910 +1413TO-2213OU+0025KE-1314OU+0016KY-1716TO (36 1) 19435k 14.2s (14.2s)
        +1413TO - -1910 -2213OU+0025KE-1314OU+0016KY-1716TO+2716GI (35 16) 10756k [4] w0=4 (14.2s)
        others  + -5011 +3635FU-1314GI+0018KY-0028GI+3736OU-4344FU (14 14) 8678k [1] w0=1 (14.2s)
            alt + -4824 +3635FU-1314GI+3534FU-1727TO (14 13)
            alt + -4884 +3748OU-1314GI+0039KE-1727TO (12 13)
      others  - 29996 -2211OU (1 5) 0k [7] solved (14.2s)
    others  + -5458 +5344UM-4344FU+1413TO-2413GI+2513NK-2233OU (20 13) 9245k [9] w0=9 (20.2s)
        alt + -5054 +3748OU-1325KE+0033KY-0059KA (14 12)
  others  - 29980 -2413GI+1413TO-2113KE+0033GI-2211OU+9131RY (19 10) 349k [3] solved (38.2s)
P1+RY *  *  *  *  * -KI-KE * 
P2 *  *  *  *  * -KY-KI-OU * 
P3-FU * -KE-FU+KA-FU * -FU+GI
P4 *  *  *  * -FU * -FU-GI+FU
P5 * -FU *  * -GI *  * +KE * 
P6 *  *  *  *  * +KY+FU+FU * 
P7+FU+FU * +KI * +FU+OU+GI-TO
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00KY00FU
P-00KA00KE00KY00FU00FU
-
