2015-05-04T16:16:24.092076 status=3 elapsed 73 msec-max 36300
root + 29981 +4441RY-5748NK+4948KI-0027KE+3938OU-2739NK+3839OU-9394FU+0064FU (9 2) 2409k solved 6.2s (5.2s)
  +4441RY - 29981 -5748NK+4948KI-0027KE+3938OU-2739NK+3839OU (8 1) 530k solved 7.3s (7.3s)
  others  + 29971 +0064FU-5747NK+4441RY-6857UM+3928OU-4737NK (19 18) 1193k [8] solved (6.2s)
  +0074KA -  5870 -0042KE+0064FU-7564GI+4464HI-6251OU+0043GI (12 1) 685k 5.2s (5.2s)
    others  -  5870 -0042KE+0064FU-7564GI+4464HI-6251OU+0043GI (12 10) 512k [10] w0=10 (5.2s)
        alt -  6666 -5747NK+4441RY-6857UM+3928OU (13 10)
        alt -  6526 -5767NK+4441RY-6857UM+3938OU (12 10)
    -4151KI + 29977 +7452UM-6252OU+0022HI-0042KE+3342NY-5263OU (13 13) 24k [2] solved (5.2s)
    -0027KE + 29985 +3928OU-2719NK+4441RY-1929NK+2829OU-0027KY (11 10) 33k [7] solved (5.2s)
    -4131KI + 29991 +0064FU-5212HI+7463UM-6251OU+6373UM-6162FU (7 2) 115k 6.2s (6.2s)
      +0064FU - 29991 -5212HI+7463UM-6251OU+6373UM-6162FU+0063KE (6 1) 785k solved 6.2s (6.2s)
      others  + 29991 +7452UM-6252OU+3343NY-5251OU+0052HI (5 9) 87k [1] solved (6.2s)
P1+GI *  * -FU * -KI *  * -KY
P2 * +KI * -OU-HI *  *  *  * 
P3-FU * -KE * -FU * +NY-FU-FU
P4 *  *  *  *  * +HI-FU *  * 
P5 * -FU-GI * +KI-FU * +FU * 
P6 *  *  *  *  *  * +FU *  * 
P7+FU+FU * +GI-NK+FU+GI * +FU
P8 *  *  * -KA *  *  *  *  * 
P9+KY *  *  *  * +KI+OU+KE+KY
P+00KA00FU
P-00KE00FU00FU00FU
+
