2015-05-04T10:43:26.582849 status=3 elapsed 8520 msec-max 8500
root + -2095 +1413TO-2413GI+2513NK-2213OU+0016KY-1716TO+0014FU-1314OU+2716GI-0059KA+0048KE-1413OU+0014FU-1322OU+0013GI-2233OU+1625GI-4344FU+9151RY-0049GI (20 5) 129067k [10] 31.3s (8.5s)
  +1413TO - -2095 -2413GI+2513NK-2213OU+0016KY-1716TO+0014FU (19 4) 64767k 31.3s (8.5s)
    -2413GI + -2095 +2513NK-2213OU+0016KY-1716TO+0014FU-1314OU (18 3) 65404k [4] 22.9s (8.5s)
      +2513NK - -2095 -2213OU+0016KY-1716TO+0014FU-1314OU+2716GI (17 2) 53970k 22.9s (22.7s)
        -2213OU + -2095 +0016KY-1716TO+0014FU-1314OU+2716GI-0059KA (16 1) 33744k 22.7s (22.7s)
          others  + -2095 +0016KY-1716TO+0014FU-1314OU+2716GI-0059KA (16 16) 18411k [8] w0=8 (22.7s)
          +0014FU - -2971 -1314OU+0016KY-0015FU+0025GI-1413OU+1615KY (25 15) 15333k [2] w0=2 (22.7s)
        others  -  3717 -2233OU+0025KE-3324OU+0035GI-2415OU+0016FU (22 19) 20226k [6] w0=6 (22.9s)
      +3635FU - -3541 -1727TO+3827KI-1939RY+0038KY-0048KA+3736OU (28 1) 6967k w1=11 8.5s (8.5s)
        -1727TO + -3541 +3827KI-1939RY+0038KY-0048KA+3736OU-3938RY (27 14) 2586k [10] w0=10 (8.5s)
        others  - -3096 -0059KA+3736OU-1727TO+3534FU-0044GI+3433TO (13 13) 4380k [7] w0=7 (8.5s)
      others  + -4903 +0029KY-0059KA+0048KE-1929RY+2513NK-2213OU (22 13) 4466k [3] w0=3 (8.5s)
          alt + -5096 +9131RY-2231OU+5342UM-3142OU (20 12)
    others  - 29984 -2221OU+0022KY-3222KI+1322TO-2122OU+0014KE (14 10) 462k [6] solved (31.3s)
  +2513NK - -3891 -2221OU+0022KY-3222KI+1322NK-2122OU+0013KI (21 1) 44837k 28.7s (22.7s)
    -2221OU + -3891 +0022KY-3222KI+1322NK-2122OU+0013KI-2232OU (20 14) 14645k [5] w0=5 (28.7s)
        alt + -3816 +3635FU-1727TO+3827KI-1939RY (24 13)
    -2413GI + -2322 +1413TO-2213OU+0016KY-1716TO+0014FU-1322OU (29 1) 32742k 22.7s (22.7s)
      +1413TO - -2322 -2213OU+0016KY-1716TO+0014FU-1322OU+1413TO (28 16) 17649k [4] w0=4 (22.7s)
      others  + -5127 +3635FU-1314GI+0013FU-1727TO+3827KI-1939RY (24 14) 15092k [1] w0=1 (22.7s)
          alt + -4824 +3635FU-1314GI+3534FU-1727TO (14 13)
          alt + -4884 +3748OU-1314GI+0039KE-1727TO (12 13)
    others  - 29996 -2211OU (1 5) 0k [7] solved (22.7s)
  others  + -5576 +3635FU-1727TO+3827KI-1939RY+0038KY-1325KE (24 15) 19462k [9] w0=9 (28.7s)
      alt + -5595 +3748OU-1325KE+0039KY-1727TO (21 14)
P1+RY *  *  *  *  * -KI *  * 
P2 *  *  *  *  * -KY-KI-OU * 
P3-FU * -KE-FU+KA-FU * -FU-KE
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-00KA00GI00KE00KY00FU00FU
+
