2015-05-04T14:13:39.264569 status=4 elapsed 17146 msec-max 8500
root -  6695 -5261OU+4185UM-6251GI+2426HI-6475GI+0052FU-0021FU+5251TO-4251GI+0052FU-6171OU+5251TO-8899UM+8575UM-9989UM+0058GI-0055KY+7553UM-7182OU+5364UM-8292OU+6455UM-8967UM+5867GI (24 4) 46297k 15.9s (7.2s)
  -5261OU +  6695 +4185UM-6251GI+2426HI-6475GI+0052FU-0021FU (23 3) 41842k 15.9s (7.2s)
    +4185UM -  6695 -6251GI+2426HI-6475GI+0052FU-0021FU+5251TO (22 2) 19411k 7.2s (7.2s)
      -6251GI +  6695 +2426HI-6475GI+0052FU-0021FU+5251TO-4251GI (21 1) 11985k 8.5s (8.5s)
        +2426HI -  6695 -6475GI+0052FU-0021FU+5251TO-4251GI+0052FU (20 14) 5197k [1] w0=1 (8.5s)
            alt -  6642 -6171OU+0052FU-7182OU+5251TO (16 14)
        others  +  6373 +2726GI-7283KI+0052FU-6172OU+5251TO-8173KE (17 16) 6787k [8] w0=8 (8.5s)
      -4251GI +  6728 +2426HI-6475GI+0052FU-6171OU+5251TO-7182OU (21 16) 5561k [6] w0=6 w1=11 (7.2s)
      others  -  8064 -2221KI+1121RY-4251GI+2426HI-8173KE+8594UM (14 17) 1864k [5] w0=5 (7.2s)
    +2426HI -  6021 -8899UM+4185UM-0051KY+1141RY-6475GI+4142RY (16 2) 17261k [10] 8.5s (8.5s)
      -8899UM +  6021 +4185UM-0051KY+1141RY-6475GI+4142RY-4445FU (15 1) 11537k 8.5s (8.5s)
        +4185UM -  6021 -0051KY+1141RY-6475GI+4142RY-4445FU+8575UM (14 16) 3933k [4] w0=4 (8.5s)
        others  +  5704 +4123UM-4251GI+2322UM-9989UM+6768KI-8979UM (20 15) 7604k [7] w0=7 (8.5s)
      others  -  6219 -6475GI+4185UM-0021FU+1613NY-7566GI+1322NY (18 16) 5723k [9] w0=9 (8.5s)
          alt -  6205 -4251GI+4185UM-8173KE+8594UM (16 15)
    others  +  5993 +4174UM-4251GI+2726GI-6473GI+7485UM-4445FU (19 16) 5169k [3] w0=3 (8.4s)
  others  - 29988 -5243OU+1121RY-2221KI+2423RY-0033HI+3433TO (11 14) 6671k [2] solved (15.9s)
P1 * -KE *  *  * +KA *  * +HI
P2 *  * -KI-GI-OU-GI * -KI * 
P3 *  *  *  * -FU *  * -KE-FU
P4-KY *  * -GI * -FU+FU+HI * 
P5-FU * +FU *  *  * -FU *  * 
P6 *  *  * +FU * +KE * -FU+KY
P7+FU+FU * +KI * +FU * +GI * 
P8 * -KA *  *  * +OU+KI *  * 
P9+KY *  *  * +KY *  *  *  * 
P+00KE00FU00FU00FU00FU00FU00FU
-
