2015-05-05T15:24:31.994008 status=4 elapsed 8498 msec-max 6550
root - -3356 -3938KI+3738KI-2938NG+2738GI-4739NK+3827GI-3929NK+0039KA-2939NK+5241TO-0046KA+0018KI-5547NK+5756FU-0022KI+4131TO-3231KI+0043FU-7343HI+6261RY-1415FU+1615FU-1115KY+0016FU (24 2) 31575k 7.3s (1.7s)
  -3938KI + -3356 +3738KI-2938NG+2738GI-4739NK+3827GI-3929NK (23 1) 11628k 8.3s (1.7s)
    +3738KI - -3356 -2938NG+2738GI-4739NK+3827GI-3929NK+0039KA (22 17) 7071k [2] w0=2 (8.3s)
    +2738GI - -4089 -0039KA+0028KI-5646TO+0027KA-4637TO+3837GI (15 18) 2794k [9] sub 1.8s (1.7s)
      -0039KA + -3311 +0028KI-5646TO+3829GI-4637TO+0038GI-3928UM (18 1) 731k 1.7s (1.7s)
        +0028KI - -3311 -5646TO+3829GI-4637TO+0038GI-3928UM+2928GI (17 12) 726k [5] w0=5 (1.7s)
        others  + -29990 +0028KA-3928UM+1728OU-0039KA+2827OU-0028KI (9 5) 4k [6] solved (1.7s)
      others  - -2926 -5646TO+0027KI-0039KA+0028KA-3928UM+2728KI (17 13) 771k [4] w0=4 (1.7s)
    others  + -7561 +0028KA-3828KI+5242TO-3142GI+6273RY-8173KE (18 16) 1761k [9] w0=9 (1.7s)
  -2938NG + -3092 +3738KI-3938KI+2738GI-4739NK+0027GI-3938NK (24 16) 3905k [10] (7.3s)
  -2938GI + -3038 +2738GI-5646TO+0028GI-1415FU+1615FU-0016FU (18 1) 12616k 5.8s (5.7s)
    others  + -3038 +2738GI-5646TO+0028GI-1415FU+1615FU-0016FU (18 15) 4657k [7] (5.7s)
        alt + -3069 +5756FU-3829NG+2625FU-2324FU (7 14)
    +3738KI - -3105 -3938KI+2738GI-4739NK+3827GI-3929NK+0039GI (21 1) 8256k 5.7s (5.7s)
      -3938KI + -3105 +2738GI-4739NK+3827GI-3929NK+0039GI-2939NK (20 15) 3883k [1] (5.7s)
      others  - -2694 -1415FU+3839KI-1516FU+2716GI-0015FU+1615GI (19 16) 4373k [3] (5.7s)
  others  - -2574 -1415FU+3839KI-1516FU+2716GI-1116KY+1716OU (19 16) 3938k [8] (5.7s)
P1-KY-KE *  *  *  * -GI-OU-KY
P2 *  *  * +RY+TO * -KI *  * 
P3-FU * -HI *  *  * -GI-FU * 
P4 *  *  *  * -FU-FU *  * -FU
P5+FU+FU *  * -KE *  *  *  * 
P6 *  *  *  * -TO * +FU+FU+FU
P7 *  * +FU * +FU-KE+KI+GI+OU
P8 *  *  *  *  *  * +KI *  * 
P9+KY *  * +KE *  * -KI-GI+KY
P+00KA00FU
P-00KA00FU00FU00FU
-
