2015-05-05T11:38:09.897266 status=3 elapsed 8030 msec-max 8000
root -  2328 -8574GI+6271NG-7271OU+6574KI-6878KI+5678UM-0077GI+7877UM-7677TO+8877OU-6959UM+7787OU-0086FU+8776OU-5958UM+7675OU-0064KA+7464KI-0083KE+7565OU-6364FU+6556OU-5836UM+0072FU-7172OU+0045KA-3645UM+5645OU-0053KE+4535OU-0045KA+0073FU-8173KE+2322RY (34 1) 57890k 34.2s (8.0s)
  others  -  2328 -8574GI+6271NG-7271OU+6574KI-6878KI+5678UM (34 13) 2757k [10] w0=10 (8.0s)
  -6878KI +  2376 +5678UM-8574GI+6271NG-7271OU+6574KI-0077GI (14 2) 13820k 8.0s (8.0s)
    +5678UM -  2376 -8574GI+6271NG-7271OU+6574KI-0077GI+7877UM (13 1) 13819k 8.0s (8.0s)
      others  -  2376 -8574GI+6271NG-7271OU+6574KI-0077GI+7877UM (13 14) 5279k [3] w0=3 (8.0s)
      -0087FU +  2641 +7887UM-6987UM+8887OU-0086FU+8778OU-8687TO (23 1) 8540k 8.0s (8.0s)
        +7887UM -  2641 -6987UM+8887OU-0086FU+8778OU-8687TO+7868OU (22 13) 2772k [5] w0=5 (8.0s)
        others  +  1968 +8887OU-0086FU+8798OU-8574GI+7869UM-7465GI (23 15) 5767k [9] w0=9 (8.0s)
    others  + -29996 +8898OU-0086KE (2 5) 0k [6] solved (8.0s)
  -7283OU +  3334 +6271GI-6878KI+5678UM-0087FU+8887OU-0086FU (25 1) 16890k [2] 8.0s (8.0s)
    others  +  3334 +6271GI-6878KI+5678UM-0087FU+8887OU-0086FU (25 14) 5664k [8] w0=8 (8.0s)
    +6271NG -  2933 -6979UM+8887OU-0086FU+8798OU-8394OU+0075GI (28 1) 11225k 8.0s (8.0s)
      -6979UM +  2933 +8887OU-0086FU+8798OU-8394OU+0075GI-0084KE (27 15) 5592k [4] w0=4 w1=11 (8.0s)
      others  -  3017 -0087FU+8887OU-7677TO+8777OU-0076FU+7787OU (18 13) 5633k [7] w0=7 (8.0s)
  -6979UM +  3601 +8898OU-7283OU+6271NG-8394OU+0075GI-0084KE (21 16) 24421k [1] w0=1 (34.2s)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 * -GI * +KI *  *  *  *  * 
P6 *  * -FU+FU+UM *  *  *  * 
P7+FU *  *  * +FU *  *  * +FU
P8 * +OU+FU-KI *  *  *  *  * 
P9+KY+FU * -UM *  *  *  * +KY
P+00GI00GI00FU00FU00FU00FU
P-00KE00FU00FU00FU
-
