2015-05-04T13:17:16.215327 status=4 elapsed 18148 msec-max 8500
root - 29976 -2123HI+3323NG-0032KA+0033HI-0022KI+3332RY-2232KI+0052KA-3223KI+5243UM-0078FU+7978OU-0069KA+7869OU-0058GI+5958KI-0029HI+4859GI-2959RY+6859GI-0068FU+5868KI (22 4) 67390k 37.0s (9.5s)
  -2123HI + 29976 +3323NG-0032KA+0033HI-0022KI+3332RY-2232KI (21 3) 90949k 37.0s (9.5s)
    +3323NG - 29976 -0032KA+0033HI-0022KI+3332RY-2232KI+0052KA (20 2) 6843k [7] 9.5s (9.5s)
      -0032KA + 29976 +0033HI-0022KI+3332RY-2232KI+0052KA-3223KI (19 1) 8474k 9.5s (9.5s)
        +0033HI - 29976 -0022KI+3332RY-2232KI+0052KA-3223KI+5243UM (18 17) 2281k [10] w0=10 (9.5s)
        others  + 29973 +0022HI-0021KA+2232RY-2132KA+0022KA-3121OU (19 24) 6193k [2] solved (9.5s)
      others  - 29976 -0078FU+7978OU-0032KA+0033HI-0022KI+3332RY (14 17) 1674k [9] w0=9 (9.5s)
    +5141RY -  3278 -3141OU+3323NG-0061FU+7363NY-0034HI+0053KE (15 3) 57438k 27.8s (9.5s)
      -3141OU +  3278 +3323NG-0061FU+7363NY-0034HI+0053KE-4353KI (14 2) 57438k 27.8s (9.5s)
        +3323NG -  3278 -0061FU+7363NY-0034HI+0053KE-4353KI+6353NY (13 1) 37497k 27.8s (27.8s)
          others  -  3278 -0061FU+7363NY-0034HI+0053KE-4353KI+6353NY (13 15) 14378k [8] w0=8 (27.8s)
              alt -  3890 -0051KA+0063HI-0032KI+0033KE (17 15)
          -0065HI +  5605 +0064KE-0078FU+8878KI-3648NK+0091HI-0071FU (11 18) 23118k [6] w0=6 (27.8s)
        +0053KE -  1325 -4353KI+3323NG-0055KA+7362NY-4234KE+0061HI (24 1) 13029k 9.5s (9.5s)
          -4353KI +  1325 +3323NG-0055KA+7362NY-4234KE+0061HI-4142OU (23 15) 4366k [4] w0=4 (9.5s)
          others  -  2014 -4152OU+3323NG-4353KI+8272TO-0061FU+0031HI (22 17) 8663k [1] w0=1 (9.5s)
        others  +  -805 +3343NG-2343HI+4837GI-4373HI+3736GI-3536GI (28 18) 7444k [0] w0=0 (9.5s)
    others  +  1479 +3343NG-2343HI+7362NY-3132OU+6252NY-0031KI (21 18) 26668k [3] w0=3 (27.8s)
  others  - 29986 -4333KI+2333KI-0078FU+7978OU-0069GI+5969KI (13 16) 1473k [0] solved (37.0s)
P1 *  *  *  * +RY-KE-OU-HI-KY
P2 * +TO *  *  * -KE *  *  * 
P3-FU * +NY *  * -KI+NG+KI-FU
P4 *  *  *  * -FU *  *  *  * 
P5 * -FU *  *  * -FU-GI-FU+FU
P6 *  *  *  * +KE * -KE *  * 
P7+FU+FU+FU+FU+FU *  *  *  * 
P8 * +KI * +GI * +GI *  *  * 
P9+KY * +OU * +KI *  *  * +KY
P-00KA00KA00FU00FU00FU00FU00FU
-
