Building transition relations...
Transition patition 0 size=5884
Transition patition 1 size=6395
Transition patition 2 size=6395
Transition patition 3 size=6395
Transition patition 4 size=5886
Transition patition 5 size=6395
Transition patition 6 size=6395
Transition patition 7 size=6139
Transition patition 8 size=6018
Transition patition 9 size=6523
Transition patition 10 size=6523
Transition patition 11 size=6139
Transition patition 12 size=6602
Transition patition 13 size=7099
Transition patition 14 size=7099
Transition patition 15 size=6651
Transition patition 16 size=7802
Transition patition 17 size=8283
Transition patition 18 size=8283
Transition patition 19 size=7803
Transition patition 20 size=9898
Transition patition 21 size=10347
Transition patition 22 size=10347
Transition patition 23 size=9851
Transition patition 24 size=13330
Transition patition 25 size=13715
Transition patition 26 size=13715
Transition patition 27 size=13211
Transition patition 28 size=18774
Transition patition 29 size=19031
Transition patition 30 size=19031
Transition patition 31 size=18523
Transition patition 32 size=27264
Transition patition 33 size=27265
Transition patition 34 size=27265
Transition patition 35 size=26755
Transition patition 36 size=3
Transition patition 37 size=3
Transition patition 38 size=3
Transition patition 39 size=3
Transition patition 40 size=3
Transition patition 41 size=3
Transition patition 42 size=3
Transition patition 43 size=3
Transition patition 44 size=3
Transition patition 45 size=3
Transition patition 46 size=3
Transition patition 47 size=3
Transition patition 48 size=3
Transition patition 49 size=3
Transition patition 50 size=3
Transition patition 51 size=3
Transition patition 52 size=3
Transition patition 53 size=3
Transition patition 54 size=3
Transition patition 55 size=3
Transition patition 56 size=3
Transition patition 57 size=3
Transition patition 58 size=3
Transition patition 59 size=3
Action partition 0 size = 5884
Action partition 1 size = 6395
Action partition 2 size = 6395
Action partition 3 size = 6395
Action partition 4 size = 5886
Action partition 5 size = 6395
Action partition 6 size = 6395
Action partition 7 size = 6139
Action partition 8 size = 6018
Action partition 9 size = 6523
Action partition 10 size = 6523
Action partition 11 size = 6139
Action partition 12 size = 6602
Action partition 13 size = 7099
Action partition 14 size = 7099
Action partition 15 size = 6651
Action partition 16 size = 7802
Action partition 17 size = 8283
Action partition 18 size = 8283
Action partition 19 size = 7803
Action partition 20 size = 9898
Action partition 21 size = 10347
Action partition 22 size = 10347
Action partition 23 size = 9851
Action partition 24 size = 13330
Action partition 25 size = 13715
Action partition 26 size = 13715
Action partition 27 size = 13211
Action partition 28 size = 18774
Action partition 29 size = 19031
Action partition 30 size = 19031
Action partition 31 size = 18523
Action partition 32 size = 27264
Action partition 33 size = 27265
Action partition 34 size = 27265
Action partition 35 size = 26755
Action partition 36 size = 3
Action partition 37 size = 3
Action partition 38 size = 3
Action partition 39 size = 3
Action partition 40 size = 3
Action partition 41 size = 3
Action partition 42 size = 3
Action partition 43 size = 3
Action partition 44 size = 3
Action partition 45 size = 3
Action partition 46 size = 3
Action partition 47 size = 3
Action partition 48 size = 3
Action partition 49 size = 3
Action partition 50 size = 3
Action partition 51 size = 3
Action partition 52 size = 3
Action partition 53 size = 3
Action partition 54 size = 3
Action partition 55 size = 3
Action partition 56 size = 3
Action partition 57 size = 3
Action partition 58 size = 3
Action partition 59 size = 3
SA* search...
|Q|=0 it=0 Expanding type=Init depth=0 (f=34 g=0 l=34 u=34) size=60 Timg=0 children=[LH] Tsplit=0.01
|Q|=1 it=1 Expanding type=L depth=1 (f=17 g=1 l=33 u=33) size=103 Timg=0.01 children=[LH] Tsplit=0.01
|Q|=2 it=2 Expanding type=L depth=2 (f=17 g=2 l=32 u=32) size=305 Timg=0.02 children=[LH] Tsplit=0.01
|Q|=3 it=3 Expanding type=L depth=3 (f=17 g=3 l=31 u=31) size=601 Timg=0.05 children=[LH] Tsplit=0.03
|Q|=4 it=4 Expanding type=L depth=4 (f=17 g=4 l=30 u=30) size=1405 Timg=0.11 children=[LH] Tsplit=0.07
|Q|=5 it=5 Expanding type=L depth=5 (f=17 g=5 l=29 u=29) size=2761 Timg=0.21 children=[LH] Tsplit=0.17
|Q|=6 it=6 Expanding type=L depth=6 (f=17 g=6 l=28 u=28) size=5177 Timg=0.42 children=[LH] Tsplit=0.3
|Q|=7 it=7 Expanding type=L depth=7 (f=17 g=7 l=27 u=27) size=8865 Timg=0.64 children=[LH] Tsplit=0.61
|Q|=8 it=8 Expanding type=L depth=8 (f=17 g=8 l=26 u=26) size=13954 Timg=1.05 children=[LH] Tsplit=0.97
|Q|=9 it=9 Expanding type=L depth=9 (f=17 g=9 l=25 u=25) size=20263 Timg=1.86 children=[LH] Tsplit=1.67
|Q|=10 it=10 Expanding type=L depth=10 (f=17 g=10 l=24 u=24) size=27515 Timg=3.1 children=[LH] Tsplit=2.66
|Q|=11 it=11 Expanding type=L depth=11 (f=17 g=11 l=23 u=23) size=35139 Timg=4.32 children=[LH] Tsplit=3.68
|Q|=12 it=12 Expanding type=L depth=12 (f=17 g=12 l=22 u=22) size=42478 Timg=5.15 children=[LH] Tsplit=4.47
|Q|=13 it=13 Expanding type=L depth=13 (f=17 g=13 l=21 u=21) size=49044 Timg=6.04 children=[LH] Tsplit=5.52
|Q|=14 it=14 Expanding type=L depth=14 (f=17 g=14 l=20 u=20) size=54624 Timg=6.68 children=[LH] Tsplit=6.9
|Q|=15 it=15 Expanding type=L depth=15 (f=17 g=15 l=19 u=19) size=58858 Timg=7.48 children=[LH] Tsplit=6.81
|Q|=16 it=16 Expanding type=L depth=16 (f=17 g=16 l=18 u=18) size=61544 Timg=7.79 children=[LH] Tsplit=7.94
|Q|=17 it=17 Expanding type=L depth=17 (f=17 g=17 l=17 u=17) size=62493 Timg=7.37 children=[LH] Tsplit=8.18
|Q|=18 it=18 Expanding type=L depth=18 (f=17 g=18 l=16 u=16) size=61418 Timg=7.09 children=[LH] Tsplit=8.46
|Q|=19 it=19 Expanding type=L depth=19 (f=17 g=19 l=15 u=15) size=58360 Timg=7.2 children=[LH] Tsplit=7.86
|Q|=20 it=20 Expanding type=L depth=20 (f=17 g=20 l=14 u=14) size=53744 Timg=6.03 children=[LH] Tsplit=7.64
|Q|=21 it=21 Expanding type=L depth=21 (f=17 g=21 l=13 u=13) size=47958 Timg=5.72 children=[LH] Tsplit=6.73
|Q|=22 it=22 Expanding type=L depth=22 (f=17 g=22 l=12 u=12) size=41343 Timg=5.22 children=[LH] Tsplit=5.62
|Q|=23 it=23 Expanding type=L depth=23 (f=17 g=23 l=11 u=11) size=34219 Timg=4.12 children=[LH] Tsplit=5.26
|Q|=24 it=24 Expanding type=L depth=24 (f=17 g=24 l=10 u=10) size=26897 Timg=3.02 children=[LH] Tsplit=3.97
|Q|=25 it=25 Expanding type=L depth=25 (f=17 g=25 l=9 u=9) size=19876 Timg=2.06 children=[LH] Tsplit=2.66
|Q|=26 it=26 Expanding type=L depth=26 (f=17 g=26 l=8 u=8) size=13613 Timg=0.99 children=[LH] Tsplit=0.97
|Q|=27 it=27 Expanding type=L depth=27 (f=17 g=27 l=7 u=7) size=8707 Timg=0.06 children=[LH] Tsplit=0.33
|Q|=28 it=28 Expanding type=L depth=28 (f=17 g=28 l=6 u=6) size=5176 Timg=0.03 children=[LH] Tsplit=0.17
|Q|=29 it=29 Expanding type=L depth=29 (f=17 g=29 l=5 u=5) size=2837 Timg=0.02 children=[LH] Tsplit=0.08
|Q|=30 it=30 Expanding type=L depth=30 (f=17 g=30 l=4 u=4) size=1525 Timg=0.01 children=[LH] Tsplit=0.04
|Q|=31 it=31 Expanding type=L depth=31 (f=17 g=31 l=3 u=3) size=677 Timg=0.01 children=[LH] Tsplit=0.01
|Q|=32 it=32 Expanding type=L depth=32 (f=17 g=32 l=2 u=2) size=322 Timg=0.01 children=[LH] Tsplit=0
|Q|=33 it=33 Expanding type=L depth=33 (f=17 g=33 l=1 u=1) size=103 Timg=0.01 children=[LH] Tsplit=0
Extracted action: ChgX1_3
Extracted action: ChgX1_2
Extracted action: ChgX2_3
Extracted action: ChgX0_1
Extracted action: ChgX2_2
Extracted action: ChgX0_3
Extracted action: ChgX2_1
Extracted action: ChgX0_2
Extracted action: ChgX3_3
Extracted action: ChgX4_2
Extracted action: ChgX4_1
Extracted action: ChgX4_3
Extracted action: ChgX5_2
Extracted action: ChgX5_3
Extracted action: ChgX6_1
Extracted action: ChgX8_3
Extracted action: ChgX8_1
Extracted action: ChgX6_2
Extracted action: ChgX6_3
Extracted action: ChgX8_2
Extracted action: ChgX9_2
Extracted action: ChgX9_3
Extracted action: ChgX10_1
Extracted action: ChgX10_2
Extracted action: ChgX10_3
Extracted action: ChgX11_3
Extracted action: ChgX12_1
Extracted action: ChgX12_2
Extracted action: ChgX12_3
Extracted action: ChgX13_2
Extracted action: ChgX13_3
Extracted action: ChgX14_1
Extracted action: ChgX14_2
Extracted action: ChgX14_3
Total split time=99.81 Total image time=93.9
Ratio: split time 0.515255 percent img time 0.484745 percent
34 step plan found and written to D9V4M15.plan
Elapsed CPU time : 199.88 seconds 
199.88
