Total parse time: 0
Made action partition of A11 size = 2
Made action partition of A110 size = 3
Made action partition of A111 size = 3
Made action partition of A112 size = 3
Made action partition of A113 size = 3
Made action partition of A114 size = 3
Made action partition of A115 size = 3
Made action partition of A116 size = 3
Made action partition of A12 size = 3
Made action partition of A13 size = 3
Made action partition of A14 size = 3
Made action partition of A15 size = 3
Made action partition of A16 size = 3
Made action partition of A17 size = 3
Made action partition of A18 size = 3
Made action partition of A19 size = 3
Made action partition of A21 size = 2
Made action partition of A210 size = 2
Made action partition of A211 size = 2
Made action partition of A212 size = 2
Made action partition of A213 size = 2
Made action partition of A214 size = 2
Made action partition of A215 size = 2
Made action partition of A216 size = 2
Made action partition of A22 size = 2
Made action partition of A23 size = 2
Made action partition of A24 size = 2
Made action partition of A25 size = 2
Made action partition of A26 size = 2
Made action partition of A27 size = 2
Made action partition of A28 size = 2
Made action partition of A29 size = 2
Total time to build action transition relation: 0.15 seconds 
Splitting Action A11 :  (impr=0 size=2)
Splitting Action A110 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A111 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A112 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A113 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A114 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A115 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A116 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A12 :  (impr=0 size=3)
Splitting Action A13 :  (impr=0 size=3)
Splitting Action A14 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A15 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A16 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A17 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A18 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A19 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A21 :  (impr=0 size=2)
Splitting Action A210 :  (impr=0 size=2)
Splitting Action A211 :  (impr=0 size=2)
Splitting Action A212 :  (impr=0 size=2)
Splitting Action A213 :  (impr=0 size=2)
Splitting Action A214 :  (impr=0 size=2)
Splitting Action A215 :  (impr=0 size=2)
Splitting Action A216 :  (impr=0 size=2)
Splitting Action A22 :  (impr=0 size=2)
Splitting Action A23 :  (impr=0 size=2)
Splitting Action A24 :  (impr=0 size=2)
Splitting Action A25 :  (impr=0 size=2)
Splitting Action A26 :  (impr=0 size=2)
Splitting Action A27 :  (impr=0 size=2)
Splitting Action A28 :  (impr=0 size=2)
Splitting Action A29 :  (impr=0 size=2)
Added 1 optimized partitions improving 0
Added 1 optimized partitions improving 1
Total time to build search transition relation: 0.06 seconds 
SA* search...
|Q|=0 it=0 Expanding (f=6.5,g=0,h=13,size=33) children=[0] Tsplit=0
|Q|=0 it=1 Expanding (f=7,g=1,h=13,size=80) children=[0] Tsplit=0
|Q|=0 it=2 Expanding (f=7.5,g=2,h=13,size=102) children=[0] Tsplit=0
|Q|=0 it=3 Expanding (f=8,g=3,h=13,size=122) children=[0+] Tsplit=0
|Q|=1 it=4 Expanding (f=8,g=4,h=12,size=33) children=[0+] Tsplit=0
|Q|=2 it=5 Expanding (f=8,g=5,h=11,size=33) children=[0+] Tsplit=0
|Q|=3 it=6 Expanding (f=8,g=6,h=10,size=33) children=[0+] Tsplit=0
|Q|=4 it=7 Expanding (f=8,g=7,h=9,size=33) children=[0+] Tsplit=0
|Q|=5 it=8 Expanding (f=8,g=8,h=8,size=33) children=[0+] Tsplit=0
|Q|=6 it=9 Expanding (f=8,g=9,h=7,size=33) children=[0+] Tsplit=0
|Q|=7 it=10 Expanding (f=8,g=10,h=6,size=33) children=[0+] Tsplit=0
|Q|=8 it=11 Expanding (f=8,g=11,h=5,size=33) children=[0+] Tsplit=0
|Q|=9 it=12 Expanding (f=8,g=12,h=4,size=33) children=[0+] Tsplit=0
|Q|=10 it=13 Expanding (f=8,g=13,h=3,size=33) children=[0+] Tsplit=0
|Q|=11 it=14 Expanding (f=8,g=14,h=2,size=33) children=[0+] Tsplit=0
|Q|=12 it=15 Expanding (f=8,g=15,h=1,size=33) children=[0+] Tsplit=0
Total search time: 0.01 seconds
Extracted action: A116
Extracted action: A115
Extracted action: A114
Extracted action: A113
Extracted action: A112
Extracted action: A111
Extracted action: A110
Extracted action: A19
Extracted action: A18
Extracted action: A17
Extracted action: A16
Extracted action: A15
Extracted action: A14
Extracted action: A13
Extracted action: A12
Extracted action: A11
Total plan extraction time: 0 seconds
16 step plan found and written to IkS_n16k12.plan
Total CPU time : 0.22 seconds 
Total parse time: 0.01
Made action partition of A11 size = 2
Made action partition of A110 size = 3
Made action partition of A111 size = 3
Made action partition of A112 size = 3
Made action partition of A113 size = 3
Made action partition of A114 size = 3
Made action partition of A115 size = 3
Made action partition of A116 size = 3
Made action partition of A12 size = 3
Made action partition of A13 size = 3
Made action partition of A14 size = 3
Made action partition of A15 size = 3
Made action partition of A16 size = 3
Made action partition of A17 size = 3
Made action partition of A18 size = 3
Made action partition of A19 size = 3
Made action partition of A21 size = 2
Made action partition of A210 size = 2
Made action partition of A211 size = 2
Made action partition of A212 size = 2
Made action partition of A213 size = 2
Made action partition of A214 size = 2
Made action partition of A215 size = 2
Made action partition of A216 size = 2
Made action partition of A22 size = 2
Made action partition of A23 size = 2
Made action partition of A24 size = 2
Made action partition of A25 size = 2
Made action partition of A26 size = 2
Made action partition of A27 size = 2
Made action partition of A28 size = 2
Made action partition of A29 size = 2
Total time to build action transition relation: 0.14 seconds 
Splitting Action A11 :  (impr=0 size=2)
Splitting Action A110 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A111 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A112 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A113 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A114 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A115 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A116 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A12 :  (impr=0 size=3)
Splitting Action A13 :  (impr=0 size=3)
Splitting Action A14 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A15 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A16 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A17 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A18 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A19 :  (impr=0 size=4) (impr=1 size=4)
Splitting Action A21 :  (impr=0 size=2)
Splitting Action A210 :  (impr=0 size=2)
Splitting Action A211 :  (impr=0 size=2)
Splitting Action A212 :  (impr=0 size=2)
Splitting Action A213 :  (impr=0 size=2)
Splitting Action A214 :  (impr=0 size=2)
Splitting Action A215 :  (impr=0 size=2)
Splitting Action A216 :  (impr=0 size=2)
Splitting Action A22 :  (impr=0 size=2)
Splitting Action A23 :  (impr=0 size=2)
Splitting Action A24 :  (impr=0 size=2)
Splitting Action A25 :  (impr=0 size=2)
Splitting Action A26 :  (impr=0 size=2)
Splitting Action A27 :  (impr=0 size=2)
Splitting Action A28 :  (impr=0 size=2)
Splitting Action A29 :  (impr=0 size=2)
Added 32 optimized partitions improving 0
Added 13 optimized partitions improving 1
Total time to build search transition relation: 0.01 seconds 
SA* search...
|Q|=0 it=0 Expanding (f=6.5,g=0,h=13,size=33) children=[00000000000000000] Tsplit=0.01
|Q|=1 it=1 Expanding (f=7,g=1,h=13,size=33) children=[00000000000000000] Tsplit=0
|Q|=2 it=2 Expanding (f=7,g=1,h=13,size=33) children=[000000000000000] Tsplit=0
|Q|=2 it=3 Expanding (f=7,g=1,h=13,size=33) children=[00000000000000] Tsplit=0.01
|Q|=2 it=4 Expanding (f=7,g=1,h=13,size=33) children=[0000000000000] Tsplit=0
|Q|=2 it=5 Expanding (f=7,g=1,h=13,size=33) children=[000000000000] Tsplit=0
|Q|=2 it=6 Expanding (f=7,g=1,h=13,size=33) children=[00000000000] Tsplit=0
|Q|=2 it=7 Expanding (f=7,g=1,h=13,size=33) children=[0000000000] Tsplit=0
|Q|=2 it=8 Expanding (f=7,g=1,h=13,size=33) children=[000000000] Tsplit=0.01
|Q|=2 it=9 Expanding (f=7,g=1,h=13,size=33) children=[00000000] Tsplit=0
|Q|=2 it=10 Expanding (f=7,g=1,h=13,size=33) children=[0000000] Tsplit=0.01
|Q|=2 it=11 Expanding (f=7,g=1,h=13,size=33) children=[000000] Tsplit=0
|Q|=2 it=12 Expanding (f=7,g=1,h=13,size=33) children=[00000] Tsplit=0
|Q|=2 it=13 Expanding (f=7,g=1,h=13,size=33) children=[0000] Tsplit=0
|Q|=2 it=14 Expanding (f=7,g=1,h=13,size=33) children=[000] Tsplit=0
|Q|=2 it=15 Expanding (f=7,g=1,h=13,size=33) children=[00] Tsplit=0
|Q|=2 it=16 Expanding (f=7,g=1,h=13,size=33) children=[0] Tsplit=0
|Q|=1 it=17 Expanding (f=7,g=1,h=13,size=33) children=[] Tsplit=0
|Q|=1 it=18 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000000000] Tsplit=0.01
|Q|=2 it=19 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000000000] Tsplit=0
|Q|=2 it=20 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000000] Tsplit=0
|Q|=2 it=21 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000000] Tsplit=0
|Q|=2 it=22 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000000] Tsplit=0
|Q|=2 it=23 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000000] Tsplit=0
|Q|=2 it=24 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000000] Tsplit=0
|Q|=2 it=25 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000000] Tsplit=0.01
|Q|=2 it=26 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000000] Tsplit=0
|Q|=2 it=27 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000000] Tsplit=0.01
|Q|=2 it=28 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000] Tsplit=0
|Q|=2 it=29 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000] Tsplit=0.01
|Q|=2 it=30 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000] Tsplit=0
|Q|=2 it=31 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000] Tsplit=0.01
|Q|=2 it=32 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000] Tsplit=0
|Q|=2 it=33 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000] Tsplit=0.01
|Q|=2 it=34 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000] Tsplit=0.01
|Q|=2 it=35 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000] Tsplit=0
|Q|=2 it=36 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000] Tsplit=0.01
|Q|=2 it=37 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000] Tsplit=0.01
|Q|=2 it=38 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000] Tsplit=0
|Q|=2 it=39 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000] Tsplit=0.01
|Q|=2 it=40 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000] Tsplit=0.01
|Q|=2 it=41 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000] Tsplit=0
|Q|=2 it=42 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000] Tsplit=0.01
|Q|=2 it=43 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000] Tsplit=0.01
|Q|=2 it=44 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000] Tsplit=0
|Q|=2 it=45 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000] Tsplit=0.01
|Q|=2 it=46 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000] Tsplit=0.01
|Q|=2 it=47 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000] Tsplit=0.01
|Q|=2 it=48 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000] Tsplit=0
|Q|=2 it=49 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000] Tsplit=0.01
|Q|=2 it=50 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000] Tsplit=0.01
|Q|=2 it=51 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000] Tsplit=0.01
|Q|=2 it=52 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000] Tsplit=0
|Q|=2 it=53 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000] Tsplit=0.01
|Q|=2 it=54 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000] Tsplit=0.01
|Q|=2 it=55 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000] Tsplit=0
|Q|=2 it=56 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0.01
|Q|=2 it=57 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000] Tsplit=0.01
|Q|=2 it=58 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000] Tsplit=0
|Q|=2 it=59 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000] Tsplit=0
|Q|=2 it=60 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0.01
|Q|=2 it=61 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0.01
|Q|=2 it=62 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0
|Q|=2 it=63 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0.01
|Q|=2 it=64 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0.01
|Q|=2 it=65 Expanding (f=7.5,g=2,h=13,size=33) children=[00000] Tsplit=0.01
|Q|=2 it=66 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0.01
|Q|=2 it=67 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0
|Q|=2 it=68 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0.01
|Q|=2 it=69 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=70 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0
|Q|=2 it=71 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=72 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0
|Q|=2 it=73 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=74 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=75 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0
|Q|=2 it=76 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=77 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0
|Q|=2 it=78 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=79 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0
|Q|=2 it=80 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=81 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0
|Q|=2 it=82 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0
|Q|=2 it=83 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=84 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0
|Q|=2 it=85 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=86 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0
|Q|=2 it=87 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=88 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0.01
|Q|=2 it=89 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0
|Q|=2 it=90 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0.01
|Q|=2 it=91 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0
|Q|=2 it=92 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0.01
|Q|=2 it=93 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0
|Q|=2 it=94 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0.01
|Q|=2 it=95 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0
|Q|=2 it=96 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0.01
|Q|=2 it=97 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0
|Q|=2 it=98 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0.01
|Q|=2 it=99 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0
|Q|=2 it=100 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0.01
|Q|=2 it=101 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0
|Q|=2 it=102 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=103 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0.01
|Q|=2 it=104 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0
|Q|=2 it=105 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0.01
|Q|=2 it=106 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0
|Q|=2 it=107 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0.01
|Q|=2 it=108 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0
|Q|=2 it=109 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0.01
|Q|=2 it=110 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0
|Q|=2 it=111 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0
|Q|=2 it=112 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0.01
|Q|=2 it=113 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0
|Q|=2 it=114 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=115 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0.01
|Q|=2 it=116 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=117 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=118 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=119 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0.01
|Q|=2 it=120 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=121 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=122 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0.01
|Q|=2 it=123 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=124 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=125 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=126 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0.01
|Q|=2 it=127 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=2 it=128 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=129 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=130 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=131 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=132 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=133 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=134 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=135 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=136 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=137 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=138 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=139 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0.01
|Q|=2 it=140 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=141 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=2 it=142 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000000] Tsplit=0.01
|Q|=2 it=143 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000000] Tsplit=0.02
|Q|=2 it=144 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000000] Tsplit=0.01
|Q|=2 it=145 Expanding (f=7.5,g=2,h=13,size=33) children=[000000000] Tsplit=0.01
|Q|=2 it=146 Expanding (f=7.5,g=2,h=13,size=33) children=[00000000] Tsplit=0.01
|Q|=2 it=147 Expanding (f=7.5,g=2,h=13,size=33) children=[0000000] Tsplit=0.01
|Q|=2 it=148 Expanding (f=7.5,g=2,h=13,size=33) children=[000000] Tsplit=0.01
|Q|=2 it=149 Expanding (f=7.5,g=2,h=13,size=33) children=[00000] Tsplit=0.01
|Q|=2 it=150 Expanding (f=7.5,g=2,h=13,size=33) children=[0000] Tsplit=0
|Q|=2 it=151 Expanding (f=7.5,g=2,h=13,size=33) children=[000] Tsplit=0.01
|Q|=2 it=152 Expanding (f=7.5,g=2,h=13,size=33) children=[00] Tsplit=0
|Q|=2 it=153 Expanding (f=7.5,g=2,h=13,size=33) children=[0] Tsplit=0
|Q|=1 it=154 Expanding (f=7.5,g=2,h=13,size=33) children=[] Tsplit=0
|Q|=1 it=155 Expanding (f=8,g=3,h=13,size=33) children=[0000000000000000+] Tsplit=0.01
|Q|=2 it=156 Expanding (f=8,g=4,h=12,size=33) children=[0000000000000000+] Tsplit=0
|Q|=3 it=157 Expanding (f=8,g=5,h=11,size=33) children=[0000000000000000+] Tsplit=0
|Q|=4 it=158 Expanding (f=8,g=6,h=10,size=33) children=[0000000000000000+] Tsplit=0.01
|Q|=5 it=159 Expanding (f=8,g=7,h=9,size=33) children=[0000000000000000+] Tsplit=0
|Q|=6 it=160 Expanding (f=8,g=8,h=8,size=33) children=[0000000000000000+] Tsplit=0
|Q|=7 it=161 Expanding (f=8,g=9,h=7,size=33) children=[0000000000000000+] Tsplit=0.01
|Q|=8 it=162 Expanding (f=8,g=10,h=6,size=33) children=[0000000000000000+] Tsplit=0
|Q|=9 it=163 Expanding (f=8,g=11,h=5,size=33) children=[0000000000000000+] Tsplit=0
|Q|=10 it=164 Expanding (f=8,g=12,h=4,size=33) children=[0000000000000000+] Tsplit=0.01
|Q|=11 it=165 Expanding (f=8,g=13,h=3,size=33) children=[0000000000000000+] Tsplit=0
|Q|=12 it=166 Expanding (f=8,g=14,h=2,size=33) children=[0000000000000000+] Tsplit=0
|Q|=13 it=167 Expanding (f=8,g=15,h=1,size=33) children=[0000000000000000+] Tsplit=0
Total search time: 0.82 seconds
Extracted action: A116
Extracted action: A115
Extracted action: A114
Extracted action: A113
Extracted action: A112
Extracted action: A111
Extracted action: A110
Garbage collection #1: 99991 nodes / 83133 free / 0.1s / 0.1s total
Extracted action: A19
Extracted action: A18
Extracted action: A17
Extracted action: A16
Extracted action: A15
Extracted action: A14
Extracted action: A13
Extracted action: A12
Extracted action: A11
Total plan extraction time: 0.13 seconds
16 step plan found and written to IkS_n16k12.plan
Total CPU time : 1.11 seconds 
