2015-05-04T16:15:22.291912 status=3 elapsed 18282 msec-max 94300
root + 29964 +6655KI-8475GI+0044HI-0062KE+0064KI-6372OU+4441RY-7564GI+5564KI-7283OU+4152RY-5748NK+3748GI-0081KI+5261RY-0071FU+6162RY-7172FU+0063KA-0061FU+6474KI-8394OU+0095KI (23 3) 134072k 57.3s (23.5s)
  +6655KI - 29964 -8475GI+0044HI-0062KE+0064KI-6372OU+4441RY (22 2) 64820k [4] 25.9s (23.5s)
    -8475GI + 29964 +0044HI-0062KE+0064KI-6372OU+4441RY-7564GI (21 1) 29820k 23.6s (23.6s)
      +0044HI - 29964 -0062KE+0064KI-6372OU+4441RY-7564GI+5564KI (20 19) 8944k [5] w0=5 (23.6s)
      others  +  6296 +0083KA-5767NK+0074KI-6362OU+0063HI-6251OU (31 17) 20876k [8] w0=8 (23.6s)
    others  - 29968 -6886UM+8786FU-8475GI+0044HI-6362OU+4441RY (16 20) 6343k [6] w0=6 (23.5s)
    -0027KE + 29973 +3928OU-8475GI+0044HI-0074FU+0064KI-7564GI (15 1) 34394k solved 25.6s (25.6s)
  others  +  4987 +0081HI-4142KI+6655KI-8475GI+0083KA-5262HI (15 15) 19790k [9] w0=9 (25.9s)
  +0044HI -  4540 -5554KI+4441RY-5262HI+0083KA-0074KE+7271TO (22 1) 50053k 25.9s (23.6s)
    -5554KI +  4540 +4441RY-5262HI+0083KA-0074KE+7271TO-6364OU (21 18) 20066k [1] w0=1 (25.9s)
    others  -  4995 -5767NK+0074KA-6362OU+6667KI-0063GI+7483UM (16 14) 13334k [3] w0=3 (23.6s)
    -5747NK + 29970 +0074KA-6372OU+4441RY-5222HI+0082KI-7262OU (17 1) 16651k 23.6s (23.6s)
      +0074KA - 29970 -6372OU+4441RY-5222HI+0082KI-7262OU+6655KI (16 17) 3192k [10] w0=10 (23.6s)
      others  + 29963 +6655KI-6857UM+3928OU-6372OU+0082KI-7262OU (21 20) 13459k [7] w0=7 (23.6s)
P1+GI *  * -FU * -KI *  * -KY
P2 *  * +FU * -HI *  *  *  * 
P3-FU * -KE-OU-FU * +NY-FU-FU
P4 * -GI *  *  *  * -FU *  * 
P5 * -FU *  * -KI-FU * +FU * 
P6 *  *  * +KI *  * +FU *  * 
P7+FU+FU * +GI-NK+FU+GI * +FU
P8 *  *  * -KA *  *  *  *  * 
P9+KY *  *  *  * +KI+OU+KE+KY
P+00HI00KA00FU
P-00KE00FU00FU
+
