2015-05-05T15:24:49.043717 status=4 elapsed 8548 msec-max 6600
root - -4098 -0039KA+0028KI-3928UM+1728OU-4739NK+0027GI-3938NK+2738GI-5547NK+0039KE-4738NK+2838OU-0037FU+3828OU-0038KI+2827OU-3839KI+2717OU-3738TO+0064KA-0028GI+6428KA-3828TO+1728OU (24 3) 24571k [1] 10.1s (0.5s)
  -0039KA + -4098 +0028KI-3928UM+1728OU-4739NK+0027GI-3938NK (23 2) 4143k w1=11 8.5s (0.5s)
    +0028KI - -4098 -3928UM+1728OU-4739NK+0027GI-3938NK+2738GI (23 1) 1585k [1] 1.7s (0.5s)
      -3928UM + -4098 +1728OU-4739NK+0027GI-3938NK+2738GI-5547NK (22 14) 519k [7] sub 0.5s (0.5s)
      -1415FU + -3083 +0027GI-1516FU+2716GI-1116KY+1727OU-1619NY (11 12) 546k [2] w0=2 (1.7s)
          alt + -3095 +1727OU-1516FU+0013FU-1113KY (19 11)
    +0028GI - -4620 -1415FU+0027KI-1516FU+2716KI-1116KY+1727OU (23 16) 2674k [6] sub 1.8s (1.7s)
      -1415FU + -3203 +1615FU-0016KI+1716OU-3928UM+2625FU-2838UM (14 1) 720k 1.7s (1.7s)
        others  + -3203 +1615FU-0016KI+1716OU-3928UM+2625FU-2838UM (14 10) 149k [3] w0=3 (1.7s)
        +0027KI - -29969 -1516FU+2716KI-1116KY+1716OU-3928UM+0015FU (14 17) 571k [5] solved (1.7s)
      others  - -2647 -3928UM+1728OU-4739NK+2839OU-5547NK+0048KI (24 13) 427k [8] w0=8 (1.7s)
    others  + -29988 +0028KA-3928UM+1728OU-0039KA+2837OU-0046KI (11 5) 4k [6] solved (1.7s)
  -4739NK + -3486 +3827GI-0037KI+0018KI-3929NK+0039GI-2939NK (24 1) 14243k 10.1s (10.1s)
    +3827GI - -3486 -0037KI+0018KI-3929NK+0039GI-2939NK+5241TO (23 18) 6603k [10] (10.1s)
    others  + -3762 +0028KI-3938NK+2838KI-5647TO+3839KI-0037KI (18 15) 7640k [9] (10.1s)
        alt + -3609 +0027GI-5647TO+3847GI-5547NK (19 14)
        alt + -3687 +0029GI-3929NK+3829GI-0037KI (14 14)
  others  - -3098 -1415FU+0028KI-4739NK+1615FU-0016FU+1716OU (21 17) 6184k [4] (8.4s)
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 *  * +OU
P8 *  *  *  *  *  * +GI *  * 
P9+KY *  * +KE *  *  *  * +KY
P+00KA00KI00GI00FU
P-00KA00KI00KI00FU00FU00FU
-
