2015-05-04T16:14:24.759008 status=4 elapsed 38997 msec-max 93300
root -  4411 -7464KI+0055KE-6455KI+6655KI-8475GI+0044HI-6372OU+4441RY-5262HI+0082KI-7263OU+0092KA-0074KE+9281UM-0072FU+8272KI (16 1) 18874k 27.3s (3.3s)
  others  -  4411 -7464KI+0055KE-6455KI+6655KI-8475GI+0044HI (16 9) 464k [5] (3.3s)
      alt -  5073 -7464KI+0055KE-6455KI+6655KI (18 8)
      alt -  5073 -7465KI+0055KE-6555KI+6655KI (18 8)
  -7464KI +  4411 +0055KE-6455KI+6655KI-8475GI+0044HI-6372OU (15 9) 232k [5] NC sub
  -5756NK +  5392 +6756GI-6857UM+0048KA-5766UM+4866KA-0054KI (20 1) 6036k 3.8s (3.8s)
    others  +  5392 +6756GI-6857UM+0048KA-5766UM+4866KA-0054KI (20 14) 2848k [8] (3.8s)
    +6656KI -  5010 -7465KI+0044HI-5354FU+4441RY-6556KI+6756GI (21 1) 3188k 3.8s (3.8s)
      -7465KI +  5010 +0044HI-5354FU+4441RY-6556KI+6756GI-6857UM (20 11) 927k [4] (3.8s)
      others  -  5051 -6877UM+6766GI-7766UM+5666KI-0054GI+7271TO (11 13) 2261k [9] (3.8s)
          alt -  5064 -7464KI+6766GI-5262HI+0076KE (14 12)
  -5262HI + 29971 +0055KE-6364OU+0044HI-5354FU+4441RY-5748NK (25 17) 807k [4] solved (27.3s)
  -6354OU + 29979 +0055KE-6162FU+7271TO-5464OU+0072KA-5767NK (7 5) 11563k 7.6s (6.5s)
    +0055KE - 29979 -6162FU+7271TO-5464OU+0072KA-5767NK+0063HI (6 4) 10517k 7.6s (6.5s)
      -6162FU + 29979 +7271TO-5464OU+0072KA-5767NK+0063HI (5 3) 12865k 6.5s (6.5s)
        +7271TO - 29979 -5464OU+0072KA-5767NK+0063HI (4 2) 5116k 7.6s (7.6s)
          -5464OU + 29979 +0072KA-5767NK+0063HI (3 1) 5492k solved 7.6s (7.6s)
          others  - 29982 -0072FU+0083KA-5464OU+8372UM-6879UM+0063HI (6 15) 1651k [7] (7.6s)
        others  + 29971 +0026KA-5464OU+0044HI-5354FU+4441RY-7465KI (17 23) 2116k [6] solved (6.5s)
        +3334NY -  7791 -5464OU+0044HI-5354FU+4441RY-0038FU+3928OU (14 19) 4181k [1] (6.5s)
        +0043KA -  5685 -5464OU+0081HI-8475GI+8141RY-5212HI+4151RY (14 12) 1449k [10] (6.5s)
      others  - 29988 -5242HI+0063KA-5464OU+3342NY-5748NK+3748GI (11 13) 2433k [9] solved (7.6s)
    others  +  5051 +0043KA-5464OU+0081HI-5747NK+8161RY-0062FU (20 12) 1045k [3] (7.6s)
  -5747NK + 29993 +0055KE-6364OU+0063HI-6454OU (4 5) 2k [3] solved (27.3s)
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
-
