2015-05-04T13:16:30.565975 status=4 elapsed 18499 msec-max 8500
root -  4872 -0023KA+5644KE-0032FU+4837GI-0033KA+2433NG-2233OU+0035GI-0076FU+0024KI-3322OU+3736GI-7677TO+8877KI-0076FU+7776KI-0033GI+2433KI-2233OU+0024GI (20 1) 101171k 26.7s (9.8s)
  others  -  4872 -0023KA+5644KE-0032FU+4837GI-0033KA+2433NG (20 16) 10217k [10] (18.5s)
      alt -  4884 -0078FU+7978OU-0041KA+5644KE (26 15)
  -0041KA +  5020 +6252RY-0032KA+0023KI-3223KA+5243RY-0032KI (18 1) 43489k 27.7s (27.7s)
    +6252RY -  5020 -0032KA+0023KI-3223KA+5243RY-0032KI+4344RY (17 17) 19682k [6] (27.7s)
    others  +  4344 +5644KE-0078FU+8878KI-3648NK+0023FU-4123KA (11 19) 23807k [8] (27.7s)
  -0032KA +  5459 +5644KE-0033KA+4432NK-2232OU+0041GI-3241OU (13 2) 27104k 18.5s (9.8s)
    +5644KE -  5459 -0033KA+4432NK-2232OU+0041GI-3241OU+0023KI (12 1) 7256k [7] 9.8s (9.8s)
      others  -  5459 -0033KA+4432NK-2232OU+0041GI-3241OU+0023KI (12 14) 6323k [2] (9.8s)
      -0046KA + 29983 +4432NK-2232OU+0041GI-3241OU+0052KA-4132OU (7 14) 932k [4] solved (9.8s)
    +1514FU -  4721 -2231OU+5644KE-2124HI+6261RY-0041GI+4432NK (18 1) 13756k 9.8s (9.8s)
      -2231OU +  4721 +5644KE-2124HI+6261RY-0041GI+4432NK-3132OU (17 16) 6265k [9] (9.8s)
      others  -  4800 -1314FU+5644KE-0033KA+2433NG-2233OU+4432NK (26 15) 7490k [3] (9.8s)
    others  +  3500 +4837GI-4433GI+2433NG-2233OU+3736GI-0026KA (16 16) 6470k [0] (9.8s)
  -4435GI +  5945 +0033KI-2212OU+3343KI-0075KA+2435GI-3648NK (20 18) 21117k [1] w0=1 (26.7s)
P1 *  *  *  *  *  *  * -HI-KY
P2 * +TO * +RY * -KE * -OU * 
P3-FU * +NY *  * -KI *  * -FU
P4 *  *  *  * -FU-GI * +GI * 
P5 * -FU *  *  * -FU * -FU+FU
P6 *  *  *  * +KE * -KE *  * 
P7+FU+FU+FU+FU+FU *  *  *  * 
P8 * +KI * +GI * +GI *  *  * 
P9+KY * +OU * +KI *  *  * +KY
P+00KI
P-00KA00KA00KE00FU00FU00FU00FU00FU
-
