2015-05-04T16:16:08.591911 status=3 elapsed 38332 msec-max 76300
root + 29969 +0044HI-0062KE+0064KI-6372OU+4441RY-7564GI+5564KI-7283OU+4152RY-0081KI+5261RY-8191KI+0072KA-8384OU+0083KI (15 2) 107245k 69.9s (28.1s)
  +0044HI - 29969 -0062KE+0064KI-6372OU+4441RY-7564GI+5564KI (14 1) 3515k [5] 46.0s (28.1s)
    -0062KE + 29969 +0064KI-6372OU+4441RY-7564GI+5564KI-7283OU (13 20) 975k [1] solved (46.0s)
    -0064KE + 29972 +5564KI-7564GI+0075KE-6475GI+0074KA-6372OU (27 0) 0k solved 38.3s (38.3s)
    others  - 29978 -5748NK+3748GI-0027KE+3938OU-2739NK+4939KI (12 15) 1562k [3] w0=3 (28.1s)
    -5747NK + 29978 +0074KA-6372OU+0082KI-7262OU+7452UM-6252OU (21 0) 0k solved 32.2s (32.2s)
    -6372OU + 29979 +4441RY-7283OU+4152RY-0027KE+3928OU-8394OU (10 2) 976k 28.1s (28.1s)
      others  + 29983 +0082KI-7262OU+4441RY-5748NK+4948KI-5222HI (11 12) 800k [2] solved (28.1s)
      +4441RY - 29979 -7283OU+4152RY-0027KE+3928OU-8394OU+0072KA (9 1) 9788k 28.1s (28.1s)
        -7283OU + 29979 +4152RY-0027KE+3928OU-8394OU+0072KA-9495OU (8 10) 73k [4] solved (28.1s)
        others  - 29988 -5262HI+0082KI-7263OU+0092KA-0083KE+0054KI (11 18) 9714k [6] w0=6 (28.1s)
    -5354FU + 29980 +4443RY-5253HI+4353RY-6374OU+5354RY-0064KE (19 0) 0k solved 30.2s (30.2s)
  +6766GI -  8421 -6362OU+6675GI-6251OU+7271TO-5262HI+0074KA (20 1) 59653k 43.3s (43.3s)
    others  -  8421 -6362OU+6675GI-6251OU+7271TO-5262HI+0074KA (20 19) 24055k [1] w0=1 (43.3s)
    -0027KE + 29964 +3928OU-6362OU+6675GI-6859UM+4959KI-2719NK (21 1) 39349k 43.3s (43.3s)
      +3928OU - 29964 -6362OU+6675GI-6859UM+4959KI-2719NK+0063GI (20 20) 9679k [5] w0=5 (43.3s)
      others  +  6358 +3938OU-5747NK+3847OU-6846UM+3746GI-4546FU (33 15) 29669k [9] w0=9 (43.3s)
  others  +  7260 +6776GI-6362OU+7675GI-6251OU+7271TO-0027KE (13 18) 33638k [8] w0=8 (43.3s)
  +0083KA -  6296 -5767NK+0074KI-6362OU+0063HI-6251OU+6367RY (30 17) 10438k [8] sub 46.0s (38.3s)
    -0074FU + 29969 +0084KI-6362OU+7271TO-0027KE+3928OU-6271OU (10 1) 1789k solved 38.3s (38.3s)
    others  - 29972 -5242HI+0074KI-6352OU+7271TO-4151KI+7473KI (18 20) 8454k [7] w0=7 (38.3s)
    -5767NK + 29978 +0064FU-6362OU+0063KI-6251OU+6352KI-4152KI (21 0) 0k solved 46.0s (46.0s)
P1+GI *  * -FU * -KI *  * -KY
P2 *  * +FU * -HI *  *  *  * 
P3-FU * -KE-OU-FU * +NY-FU-FU
P4 *  *  *  *  *  * -FU *  * 
P5 * -FU-GI * +KI-FU * +FU * 
P6 *  *  *  *  *  * +FU *  * 
P7+FU+FU * +GI-NK+FU+GI * +FU
P8 *  *  * -KA *  *  *  *  * 
P9+KY *  *  *  * +KI+OU+KE+KY
P+00HI00KA00KI00FU
P-00KE00FU00FU
+
