2015-05-04T16:16:17.341907 status=3 elapsed 583 msec-max 38300
root + 29983 +0082KI-7262OU+4441RY-5748NK+4948KI-5222HI+3322NY-0052KE+0063FU-6263OU+0072KA (11 1) 1818k solved 36.9s (0.5s)
  others  + 29983 +0082KI-7262OU+4441RY-5748NK+4948KI-5222HI (11 12) 800k [2] solved (36.9s)
  +4441RY -  8009 -5222HI+3322NY-5748NK+3748GI-0057KE+0082KI (6 1) 387k 36.9s (0.5s)
    others  -  8009 -5222HI+3322NY-5748NK+3748GI-0057KE+0082KI (6 9) 112k [6] w0=6 (0.5s)
    -7283OU + 29979 +4152RY-0027KE+3928OU-8394OU+0072KA-9495OU (8 10) 73k [4] solved (36.9s)
    -5262HI + 29983 +0082KI-7263OU+0083KA-5748NK+3748GI-0027KE (13 2) 201k w1=11 solved 0.5s (0.5s)
  +0082KI -  5341 -7262OU+4441RY-0027KE+3928OU-6859UM+4959KI (9 3) 630k 0.5s (0.5s)
    -7262OU +  5341 +4441RY-0027KE+3928OU-6859UM+4959KI-2719NK (8 2) 371k p 4 (0.5s)
      +4441RY -  5341 -0027KE+3928OU-6859UM+4959KI-2719NK+2819OU (7 1) 105k 0.5s (0.5s)
        others  -  5341 -0027KE+3928OU-6859UM+4959KI-2719NK+2819OU (7 7) 38k [3] w0=3 (0.5s)
        -5748NK +  6957 +4948KI-6859UM+0074KA-0027KE+3938OU-2739NK (9 6) 67k [4] w0=4 (0.5s)
      others  +  4385 +0074KA-4131KI+0064FU-5212HI+3323NY-0027KE (11 8) 52k [10] w0=10 NC
      +0071KA -  4049 -6251OU+4441RY-5141OU+7153UM-0012HI+5375UM (19 12) 256k [1] w0=1 NC
    others  - 29990 -7263OU+0074KA-6362OU+4441RY-5748NK+4948KI (9 14) 258k [9] w0=9 (0.5s)
P1+GI *  * -FU * -KI *  * -KY
P2 *  * -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+00KA00KI00FU
P-00KE00FU00FU00FU
+
