2015-05-04T10:43:58.143937 status=4 elapsed 14226 msec-max 8500
root - -2456 -2213OU+0016KY-1716TO+0014FU-1322OU+2716GI-0041KE+0025KE-0012FU+5362UM-1916RY+6273UM-1614RY+0013FU-1213FU+7363UM-0029GI+0015FU-2938NG+3738OU-1415RY (21 3) 86608k 54.5s (5.5s)
  -2213OU + -2456 +0016KY-1716TO+0014FU-1322OU+2716GI-0041KE (20 2) 70782k 54.3s (5.5s)
    +0016KY - -2456 -1716TO+0014FU-1322OU+2716GI-0041KE+0025KE (19 1) 19899k 14.2s (5.5s)
      -1716TO + -2456 +0014FU-1322OU+2716GI-0041KE+0025KE-0012FU (18 16) 11716k [4] w0=4 (14.2s)
      -0015FU + -2077 +1615KY-0014FU+1514KY-1314OU+0015FU-1415OU (25 1) 3691k 5.5s (5.5s)
        others  + -2060 +0025KE-1314OU+1615KY-1415OU+0016FU-1716TO (20 13) 2239k [3] w0=3 (5.5s)
        +1615KY - -2077 -0014FU+1514KY-1314OU+0015FU-1415OU+5342UM (24 13) 1452k [5] w0=5 (5.5s)
      others  - -1121 -0015KY+0014FU-1314OU+1615KY-1415OU+0016KY (22 13) 4491k [6] w0=6 (5.5s)
    others  + -2494 +0015KY-0014FU+1514KY-1314OU+0015FU-1415OU (38 12) 1642k [8] w0=8 (5.5s)
    +0025KE - -2959 -1324OU+0035GI-2414OU+0015FU-1415OU+0016KY (25 1) 8696k 5.5s (5.5s)
      others  - -2959 -1324OU+0035GI-2414OU+0015FU-1415OU+0016KY (25 12) 3044k [1] w0=1 (5.5s)
      -1314OU + -2444 +0016KY-1716TO+2716GI-1916RY+9131RY-3231KI (13 1) 5961k w1=11 5.5s (5.5s)
        +0016KY - -2444 -1716TO+2716GI-1916RY+9131RY-3231KI+0015FU (12 14) 2420k [10] w0=10 (5.5s)
        others  + -2472 +0015FU-1415OU+0016KY-1716TO+2716GI-1916RY (24 14) 3540k [7] w0=7 (5.5s)
    +0014FU - -3167 -1314OU+0016KY-0015FU+1615KY-1415OU+5342UM (32 16) 40544k [2] w0=2 (54.3s)
  -2233OU + 29979 +0045KE-3324OU+5342UM-3242KI+2625FU-2413OU (19 1) 20598k solved 30.4s (30.4s)
P1+RY *  *  *  *  * -KI *  * 
P2 *  *  *  *  * -KY-KI-OU * 
P3-FU * -KE-FU+KA-FU * -FU+NK
P4 *  *  *  * -FU * -FU *  * 
P5 * -FU *  * -GI *  *  *  * 
P6 *  *  *  *  * +KY+FU+FU * 
P7+FU+FU * +KI * +FU+OU+GI-TO
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00GI00KE00KY00FU
P-00KA00GI00KE00KY00FU00FU00FU
-
