2015-05-04T16:14:56.091915 status=3 elapsed 31327 msec-max 93300
root +  5922 +0055KE-6455KI+6655KI-0027KE+3938OU-8475GI+0044HI-5747NK+3847OU-6846UM+3746GI-4546FU+4446HI-0045FU+4645HI-0064GI+4541RY-0046FU+4757OU-6455GI+4152RY-6352OU+0041KA (23 3) 165626k 30.1s (30.1s)
  +0055KE -  5922 -6455KI+6655KI-0027KE+3938OU-8475GI+0044HI (22 2) 45862k 31.1s (31.1s)
    -6455KI +  5922 +6655KI-0027KE+3938OU-8475GI+0044HI-5747NK (21 1) 48203k 31.1s (31.1s)
      +6655KI -  5922 -0027KE+3938OU-8475GI+0044HI-5747NK+3847OU (20 15) 19678k [4] w0=4 (31.1s)
      others  +  3948 +0044HI-5554KI+4441RY-5262HI+7271TO-6364OU (23 17) 28525k [9] w0=9 (31.1s)
    others  - 29986 -6372OU+0082HI-7271OU+8284RY-5748NK+3748GI (13 13) 2203k [7] solved (31.1s)
  +0081HI -  5508 -5767NK+0055KE-6455KI+0064FU-6354OU+0043KA (10 1) 34628k 30.1s (30.1s)
    others  -  5508 -5767NK+0055KE-6455KI+0064FU-6354OU+0043KA (10 15) 15716k [2] w0=2 (30.1s)
    -5747NK + 29961 +0055KE-6455KI+0064FU-6362OU+6655KI-6857UM (32 1) 22705k 30.1s (30.1s)
      others  + 29961 +0055KE-6455KI+0064FU-6362OU+6655KI-6857UM (32 20) 7560k [6] w0=6 (30.1s)
      +8184RY -  5176 -6857UM+0048GI-5766UM+6766GI-0074KI+8474RY (26 15) 15145k [10] w0=10 (30.1s)
  +0044HI -  5100 -5767NK+6667KI-5262HI+6768KI-4151KI+0092KA (16 1) 53204k 30.1s (30.1s)
    others  -  5100 -5767NK+6667KI-5262HI+6768KI-4151KI+0092KA (16 16) 19961k [1] w0=1 (30.1s)
    -5747NK + 29964 +0055KE-6455KI+0074KA-6372OU+4441RY-6857UM (23 1) 35121k 30.1s (30.1s)
      +0055KE - 29964 -6455KI+0074KA-6372OU+4441RY-6857UM+0048FU (22 18) 9711k [5] w0=5 (30.1s)
      others  +  5071 +4441RY-6857UM+0048FU-5262HI+0055KE-6455KI (29 18) 25410k [8] w0=8 (30.1s)
  others  +  3683 +0076KE-5747NK+7664KE-5262HI+7271TO-4737NK (25 18) 31929k [3] w0=3 (30.1s)
P1+GI *  * -FU * -KI *  * -KY
P2 *  * +FU * -HI *  *  *  * 
P3-FU * -KE-OU-FU * +NY-FU-FU
P4 * -GI * -KI *  * -FU *  * 
P5 * -FU *  *  * -FU * +FU * 
P6 *  *  * +KI *  * +FU *  * 
P7+FU+FU * +GI-NK+FU+GI * +FU
P8 *  *  * -KA *  *  *  *  * 
P9+KY *  *  *  * +KI+OU+KE+KY
P+00HI00KA00KE00FU
P-00FU00FU
+
