2015-05-04T14:13:22.112679 status=4 elapsed 16892 msec-max 8500
root -  5555 -6475GI+0041KA-5261OU+4185UM-0021FU+1613NY-2213KI+1113RY-7566GI+0084KE-6667NG+8567UM-0022KI+1323RY-2223KI+2423RY-7273KI+0063FU-6263GI+2321RY-0031KY+0064FU-6364GI (23 2) 56275k 14.6s (8.2s)
  -6475GI +  5555 +0041KA-5261OU+4185UM-0021FU+1613NY-2213KI (22 1) 11651k [5] 8.2s (8.2s)
    others  +  5584 +0085KA-0074FU+1613NY-2213KI+1113RY-0036KY (18 15) 6788k [8] (8.2s)
    +0041KA -  5555 -5261OU+4185UM-0021FU+1613NY-2213KI+1113RY (21 15) 4862k [6] (8.2s)
  -8899UM +  5733 +0061KA-5263OU+1141RY-4251GI+4144RY-6273GI (19 1) 18811k 14.6s (14.6s)
    others  +  5733 +0061KA-5263OU+1141RY-4251GI+4144RY-6273GI (19 16) 10143k [1] (14.6s)
    +1613NY -  5603 -2213KI+1113RY-9989UM+0085KA-5261OU+1311RY (16 16) 8667k [3] (14.6s)
  others  -  5789 -3536FU+1613NY-2213KI+1113RY-0037KY+3433TO (26 16) 9735k [9] (14.6s)
  -4445FU + 29983 +0044KE-5263OU+1181RY-6475GI+0052KA-6373OU (7 1) 16077k solved 14.7s (14.7s)
P1 * -KE *  *  *  *  *  * +HI
P2 *  * -KI-GI-OU-GI * -KI * 
P3 *  *  *  * -FU *  * -KE-FU
P4-KY *  * -GI * -FU+FU+HI * 
P5-FU * +FU *  *  * -FU *  * 
P6 *  *  * +FU * +KE *  * +KY
P7+FU+FU * +KI * +FU * +GI * 
P8 * -KA *  *  * +OU+KI *  * 
P9+KY *  *  * +KY *  *  *  * 
P+00KA00KE00FU00FU00FU00FU00FU00FU
P-00FU
-
