2015-05-04T10:43:43.915607 status=4 elapsed 25853 msec-max 8500
root - -2227 -2413GI+2513NK-2213OU+0016KY-1716TO+0014FU-1314OU+2716GI-0059KA+0048GI-0028GI+3828KI-5948UM+3748OU-1928RY+0038KE-0037GI+4859OU-2839RY+5968OU-0056KE+6877OU-0074KY+0075GI-0066KI+6766KI-5566GI+7766OU-3969RY+6677OU-0067KI (31 4) 126310k 48.7s (16.2s)
  -2413GI + -2227 +2513NK-2213OU+0016KY-1716TO+0014FU-1314OU (30 3) 127377k [4] 40.3s (16.2s)
    +2513NK - -2227 -2213OU+0016KY-1716TO+0014FU-1314OU+2716GI (29 2) 69781k 40.3s (16.2s)
      -2213OU + -2227 +0016KY-1716TO+0014FU-1314OU+2716GI-0059KA (28 1) 61700k 40.0s (40.0s)
        others  + -2227 +0016KY-1716TO+0014FU-1314OU+2716GI-0059KA (28 17) 32638k [8] w0=8 (40.0s)
        +0014FU - -3080 -1314OU+0016KY-0015FU+0025GI-1413OU+1615KY (23 16) 29062k [2] w0=2 (40.0s)
      -2233OU + 29979 +0045KE-3324OU+5342UM-3242KI+2625FU-2413OU (19 1) 11149k solved 16.2s (16.2s)
    +3635FU - -3728 -1727TO+3827KI-1939RY+0038KY-0048KA+3736OU (16 1) 39694k 25.8s (17.2s)
      -1727TO + -3728 +3827KI-1939RY+0038KY-0048KA+3736OU-3938RY (15 16) 10778k [10] w0=10 (25.8s)
      -0059KA + -3115 +3736OU-1727TO+0033KY-5926UM+3645OU-0044GI (32 1) 19363k 17.2s (17.2s)
        +3736OU - -3115 -1727TO+0033KY-5926UM+3645OU-0044GI+4554OU (31 16) 8524k [5] w0=5 (17.2s)
        others  + -3725 +0048KY-1727TO+3727OU-0016GI+2736OU-1625GI (12 16) 10838k [1] w0=1 (17.2s)
      others  - -2988 -0028GI+3736OU-1727TO+3827KI-0044KY+2513NK (21 14) 10876k [7] w0=7 (17.2s)
    others  + -5513 +0029KY-0059KA+0048KE-1929RY+2513NK-2213OU (18 15) 17900k [3] w0=3 (25.8s)
        alt + -5430 +9131RY-2231OU+5342UM-3142OU (18 14)
  others  - 29984 -2221OU+0022KY-3222KI+1322TO-2122OU+0014KE (14 10) 462k [6] solved (48.7s)
P1+RY *  *  *  *  * -KI *  * 
P2 *  *  *  *  * -KY-KI-OU * 
P3-FU * -KE-FU+KA-FU * -FU+TO
P4 *  *  *  * -FU * -FU-GI * 
P5 * -FU *  * -GI *  * +KE * 
P6 *  *  *  *  * +KY+FU+FU * 
P7+FU+FU * +KI * +FU+OU+GI-TO
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00KE00KY00FU
P-00KA00GI00KE00KY00FU00FU
-
