2015-05-04T10:43:52.432860 status=3 elapsed 8515 msec-max 8500
root + -2159 +2513NK-2213OU+0025KE-1314OU+0016KY-1716TO+2716GI-1916RY+9131RY-3231KI+0015FU-1415OU+0027KI-0017HI+2717KI-1617RY+0027HI-1718RY+2728HI-0059KA+0048GI-0045KE+4645KY (23 3) 162514k [4] 48.8s (8.5s)
  +2513NK - -2159 -2213OU+0025KE-1314OU+0016KY-1716TO+2716GI (22 2) 74762k 48.8s (8.5s)
    -2213OU + -2159 +0025KE-1314OU+0016KY-1716TO+2716GI-1916RY (21 1) 57495k 48.5s (8.5s)
      others  + -2159 +0025KE-1314OU+0016KY-1716TO+2716GI-1916RY (21 15) 6339k [8] w0=8 (8.5s)
          alt + -2571 +0029KY-1929RY+0025KE-1322OU (14 14)
      +0016KY - -2227 -1716TO+0014FU-1314OU+2716GI-0059KA+0048GI (27 17) 16319k [8] sub 8.5s (8.5s)
        -1716TO + -2347 +0014FU-1322OU+2716GI-0041KE+0025KE-0012FU (18 15) 4327k [4] w0=4 (8.5s)
        others  - -2089 -0015FU+1615KY-0014FU+1514KY-1314OU+0015FU (21 15) 6081k [6] w0=6 (8.5s)
      +0014FU - -3141 -1314OU+0016KY-0015FU+0025GI-1413OU+1615KY (23 16) 34837k [2] w0=2 (48.5s)
    -2233OU + 29979 +0045KE-3324OU+5342UM-3242KI+2625FU-2413OU (19 1) 17267k solved 24.7s (24.7s)
  +3635FU - -3637 -1727TO+3827KI-1939RY+0038KY-0048KA+3736OU (24 1) 65072k 34.3s (25.7s)
    -1727TO + -3637 +3827KI-1939RY+0038KY-0048KA+3736OU-3938RY (23 16) 15142k [10] w0=10 (34.3s)
    others  - -3158 -0028GI+3736OU-1727TO+3827KI-0044KY+2513NK (23 15) 19435k [7] w0=7 (25.7s)
    -0059KA + -3058 +3736OU-1727TO+0033KY-5926UM+3645OU-0044GI (33 1) 30495k 25.7s (25.7s)
      +3736OU - -3058 -1727TO+0033KY-5926UM+3645OU-0044GI+4554OU (32 16) 13634k [5] w0=5 (25.7s)
      others  + -4012 +0048KY-1727TO+3727OU-0016GI+2736OU-1625GI (12 16) 16860k [1] w0=1 (25.7s)
  others  + -5852 +0029KY-0059KA+0048KE-1929RY+2513NK-2213OU (18 15) 22679k [3] w0=3 (34.3s)
      alt + -5430 +9131RY-2231OU+5342UM-3142OU (18 14)
P1+RY *  *  *  *  * -KI *  * 
P2 *  *  *  *  * -KY-KI-OU * 
P3-FU * -KE-FU+KA-FU * -FU-GI
P4 *  *  *  * -FU * -FU *  * 
P5 * -FU *  * -GI *  * +KE * 
P6 *  *  *  *  * +KY+FU+FU * 
P7+FU+FU * +KI * +FU+OU+GI-TO
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00KE00KY00FU
P-00KA00GI00KE00KY00FU00FU00FU
+
