2015-05-04T13:17:24.747643 status=3 elapsed 8530 msec-max 8500
root + 29976 +3323NG-0032KA+0033HI-0022KI+3332RY-2232KI+0052KA-3223KI+5243UM-0078FU+7978OU-0069KA+7869OU-0058GI+5958KI-0029HI+4859GI-2959RY+6859GI-0068FU+5868KI (21 3) 135043k 45.5s (8.5s)
  +3323NG - 29976 -0032KA+0033HI-0022KI+3332RY-2232KI+0052KA (20 2) 12761k [7] 18.0s (8.5s)
    -0032KA + 29976 +0033HI-0022KI+3332RY-2232KI+0052KA-3223KI (19 1) 8474k 18.0s (18.0s)
      +0033HI - 29976 -0022KI+3332RY-2232KI+0052KA-3223KI+5243UM (18 17) 2281k [10] w0=10 (18.0s)
      others  + 29973 +0022HI-0021KA+2232RY-2132KA+0022KA-3121OU (19 24) 6193k [2] solved (18.0s)
    -0078FU + 29982 +7978OU-0032KA+0033HI-0022KI+3332RY-2232KI (16 1) 5672k solved 8.5s (8.5s)
    others  - 29984 -0021KI+0033HI-4333KI+2333NG-0078FU+7978OU (15 15) 3120k [9] solved (8.5s)
  +5141RY -  3887 -3141OU+3323NG-0061FU+7363NY-0034HI+0053KE (28 3) 86738k 36.3s (18.0s)
    -3141OU +  3887 +3323NG-0061FU+7363NY-0034HI+0053KE-4353KI (27 2) 87295k 36.3s (18.0s)
      +3323NG -  3887 -0061FU+7363NY-0034HI+0053KE-4353KI+6353NY (26 1) 48189k 36.3s (36.3s)
        others  -  3887 -0061FU+7363NY-0034HI+0053KE-4353KI+6353NY (26 16) 20111k [8] w0=8 (36.3s)
            alt -  3890 -0051KA+0063HI-0032KI+0033KE (17 15)
        -0065HI +  6262 +0064KE-0078FU+8878KI-3648NK+0091HI-0071FU (13 18) 28077k [6] w0=6 (36.3s)
      +0053KE -  1292 -4353KI+3323NG-0034KA+2333NG-0032FU+3334NG (21 1) 24020k 18.0s (18.0s)
        -4353KI +  1292 +3323NG-0034KA+2333NG-0032FU+3334NG-4234KE (20 17) 10685k [4] w0=4 (18.0s)
        others  -  2205 -4152OU+3323NG-4353KI+8272TO-0061FU+0031HI (22 17) 13335k [1] w0=1 (18.0s)
      others  + -1008 +3343NG-2343HI+4837GI-0039HI+3736GI-0058GI (14 19) 15085k [0] w0=0 (18.0s)
  others  +  1386 +3343NG-2343HI+7362NY-0095KA+0052KI-4234KE (14 19) 35542k [3] w0=3 (36.3s)
P1 *  *  *  * +RY-KE-OU * -KY
P2 * +TO *  *  * -KE *  *  * 
P3-FU * +NY *  * -KI+NG-HI-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-00KA00KA00KI00FU00FU00FU00FU00FU
+
