61 lines
17 KiB
Plaintext
61 lines
17 KiB
Plaintext
Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS)
|
|
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/satellite-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/satellite-strips/instances/instance-31.pddlignoring --stats
|
|
ignoring --verbose
|
|
-m 8192
|
|
Domain: satellite
|
|
Problem: strips-sat-x-1
|
|
Parser: 371315 ground actions and 3305 state variables
|
|
Invariants: 0 1 2 3 6.03 secs
|
|
Goal: conjunctive
|
|
Simplified: 368990 ground actions and 3175 state variables
|
|
Actions: STRIPS
|
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 14.74 secs (max SCC size 1)
|
|
Plan type: E-step
|
|
Allocated 32 MB permanent (total 3102 MB)
|
|
Horizon 0: 3175 variables
|
|
0 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 5: 1864000 variables
|
|
Allocated 32 MB (total 3521 MB)
|
|
Allocated 32 MB permanent (total 3850 MB)
|
|
Horizon 10: 3724825 variables
|
|
Allocated 32 MB permanent (total 4289 MB)
|
|
Horizon 15: 5585650 variables
|
|
SAT (1451 decisions 0 conflicts)
|
|
PLAN FOUND: 15 steps
|
|
STEP 0: switch_on(instrument1,satellite0) switch_on(instrument11,satellite4) switch_on(instrument12,satellite5) switch_on(instrument14,satellite6) switch_on(instrument17,satellite7) switch_on(instrument19,satellite8) switch_on(instrument22,satellite9) switch_on(instrument24,satellite10) switch_on(instrument25,satellite11) switch_on(instrument26,satellite12) switch_on(instrument28,satellite13) switch_on(instrument29,satellite14) switch_on(instrument4,satellite1) switch_on(instrument6,satellite2) switch_on(instrument7,satellite3) turn_to(satellite0,star2,planet103) turn_to(satellite1,planet13,phenomenon105) turn_to(satellite10,star1,planet28) turn_to(satellite11,star8,planet81) turn_to(satellite12,star1,planet14) turn_to(satellite13,star1,phenomenon9) turn_to(satellite14,star8,star2) turn_to(satellite2,groundstation3,planet94) turn_to(satellite3,star8,phenomenon30) turn_to(satellite4,phenomenon31,phenomenon33) turn_to(satellite5,phenomenon148,planet125) turn_to(satellite6,star11,phenomenon105) turn_to(satellite7,star4,phenomenon122) turn_to(satellite8,star17,phenomenon121) turn_to(satellite9,star0,phenomenon129)
|
|
STEP 1.0: calibrate(satellite0,instrument1,star2) calibrate(satellite10,instrument24,star1) calibrate(satellite12,instrument26,star1) calibrate(satellite13,instrument28,star1) calibrate(satellite2,instrument6,groundstation3) calibrate(satellite7,instrument17,star4) calibrate(satellite9,instrument22,star0) switch_off(instrument14,satellite6) turn_to(satellite1,star2,planet13) turn_to(satellite11,phenomenon23,star8) turn_to(satellite14,phenomenon30,star8) turn_to(satellite3,star2,star8) turn_to(satellite4,groundstation3,phenomenon31) turn_to(satellite5,star2,phenomenon148) turn_to(satellite6,star17,star11) turn_to(satellite8,star1,star17)
|
|
STEP 1.1: turn_to(satellite0,star5,star2) turn_to(satellite10,star8,star1) turn_to(satellite12,phenomenon7,star1) turn_to(satellite13,planet14,star1) turn_to(satellite2,star10,groundstation3) turn_to(satellite7,planet6,star4) turn_to(satellite9,star11,star0)
|
|
STEP 2.0: calibrate(satellite1,instrument4,star2) calibrate(satellite3,instrument7,star2) calibrate(satellite4,instrument11,groundstation3) calibrate(satellite8,instrument19,star1) switch_on(instrument15,satellite6) take_image(satellite0,star5,instrument1,image3) take_image(satellite10,star8,instrument24,image3) take_image(satellite12,phenomenon7,instrument26,infrared1) take_image(satellite13,planet14,instrument28,thermograph2) take_image(satellite2,star10,instrument6,thermograph2) take_image(satellite7,planet6,instrument17,infrared1) take_image(satellite9,star11,instrument22,infrared1) turn_to(satellite11,planet28,phenomenon23) turn_to(satellite14,star39,phenomenon30) turn_to(satellite5,phenomenon148,star2) turn_to(satellite6,planet28,star17)
|
|
STEP 2.1: turn_to(satellite0,phenomenon15,star5) turn_to(satellite1,planet21,star2) turn_to(satellite10,planet13,star8) turn_to(satellite12,star17,phenomenon7) turn_to(satellite13,star24,planet14) turn_to(satellite2,planet20,star10) turn_to(satellite3,planet16,star2) turn_to(satellite4,phenomenon31,groundstation3) turn_to(satellite7,phenomenon23,planet6) turn_to(satellite8,planet22,star1) turn_to(satellite9,star0,star11)
|
|
STEP 3.0: switch_off(instrument15,satellite6) take_image(satellite0,phenomenon15,instrument1,infrared0) take_image(satellite1,planet21,instrument4,image3) take_image(satellite10,planet13,instrument24,spectrograph4) take_image(satellite12,star17,instrument26,infrared0) take_image(satellite13,star24,instrument28,thermograph2) take_image(satellite2,planet20,instrument6,infrared1) take_image(satellite3,planet16,instrument7,image3) take_image(satellite4,phenomenon31,instrument11,infrared1) take_image(satellite7,phenomenon23,instrument17,infrared0) take_image(satellite8,planet22,instrument19,thermograph2) turn_to(satellite11,star2,planet28) turn_to(satellite14,star1,star39) turn_to(satellite5,planet28,phenomenon148) turn_to(satellite6,star45,planet28) turn_to(satellite9,planet35,star0)
|
|
STEP 3.1: turn_to(satellite0,star25,phenomenon15) turn_to(satellite1,phenomenon30,planet21) turn_to(satellite10,planet27,planet13) turn_to(satellite12,star26,star17) turn_to(satellite13,phenomenon42,star24) turn_to(satellite2,planet28,planet20) turn_to(satellite3,star32,planet16) turn_to(satellite4,planet28,phenomenon31) turn_to(satellite7,phenomenon33,phenomenon23) turn_to(satellite8,phenomenon34,planet22)
|
|
STEP 4.0: calibrate(satellite11,instrument25,star2) calibrate(satellite14,instrument29,star1) switch_on(instrument14,satellite6) take_image(satellite0,star25,instrument1,thermograph2) take_image(satellite1,phenomenon30,instrument4,image3) take_image(satellite10,planet27,instrument24,spectrograph4) take_image(satellite12,star26,instrument26,infrared1) take_image(satellite13,phenomenon42,instrument28,thermograph2) take_image(satellite2,planet28,instrument6,infrared1) take_image(satellite3,star32,instrument7,thermograph2) take_image(satellite7,phenomenon33,instrument17,spectrograph4) take_image(satellite8,phenomenon34,instrument19,image3) take_image(satellite9,planet35,instrument22,spectrograph4) turn_to(satellite4,phenomenon31,planet28) turn_to(satellite5,phenomenon148,planet28) turn_to(satellite6,star0,star45)
|
|
STEP 4.1: turn_to(satellite0,star45,star25) turn_to(satellite1,star36,phenomenon30) turn_to(satellite10,phenomenon41,planet27) turn_to(satellite11,phenomenon38,star2) turn_to(satellite12,phenomenon47,star26) turn_to(satellite13,phenomenon46,phenomenon42) turn_to(satellite14,phenomenon44,star1) turn_to(satellite2,star40,planet28) turn_to(satellite3,star39,star32) turn_to(satellite7,phenomenon49,phenomenon33) turn_to(satellite8,phenomenon48,phenomenon34) turn_to(satellite9,star0,planet35)
|
|
STEP 5.0: calibrate(satellite6,instrument14,star0) take_image(satellite0,star45,instrument1,image3) take_image(satellite1,star36,instrument4,spectrograph4) take_image(satellite10,phenomenon41,instrument24,spectrograph4) take_image(satellite11,phenomenon38,instrument25,infrared1) take_image(satellite12,phenomenon47,instrument26,infrared0) take_image(satellite13,phenomenon46,instrument28,infrared0) take_image(satellite14,phenomenon44,instrument29,image3) take_image(satellite2,star40,instrument6,infrared1) take_image(satellite3,star39,instrument7,image3) take_image(satellite7,phenomenon49,instrument17,infrared1) take_image(satellite8,phenomenon48,instrument19,infrared0) turn_to(satellite4,star54,phenomenon31) turn_to(satellite5,planet59,phenomenon148) turn_to(satellite9,star51,star0)
|
|
STEP 5.1: turn_to(satellite0,phenomenon71,star45) turn_to(satellite1,star56,star36) turn_to(satellite10,planet58,phenomenon41) turn_to(satellite11,phenomenon55,phenomenon38) turn_to(satellite12,star51,phenomenon47) turn_to(satellite13,planet64,phenomenon46) turn_to(satellite14,star60,phenomenon44) turn_to(satellite2,star54,star40) turn_to(satellite3,phenomenon67,star39) turn_to(satellite6,planet59,star0) turn_to(satellite7,planet50,phenomenon49) turn_to(satellite8,phenomenon69,phenomenon48)
|
|
STEP 6.0: take_image(satellite0,phenomenon71,instrument1,image3) take_image(satellite1,star56,instrument4,image3) take_image(satellite10,planet58,instrument24,spectrograph4) take_image(satellite11,phenomenon55,instrument25,infrared1) take_image(satellite12,star51,instrument26,spectrograph4) take_image(satellite13,planet64,instrument28,infrared0) take_image(satellite14,star60,instrument29,image3) take_image(satellite2,star54,instrument6,infrared1) take_image(satellite3,phenomenon67,instrument7,image3) take_image(satellite6,planet59,instrument14,infrared1) take_image(satellite7,planet50,instrument17,infrared1) take_image(satellite8,phenomenon69,instrument19,infrared0) turn_to(satellite4,phenomenon31,star54) turn_to(satellite5,phenomenon148,planet59) turn_to(satellite9,star0,star51)
|
|
STEP 6.1: turn_to(satellite0,phenomenon76,phenomenon71) turn_to(satellite1,phenomenon78,star56) turn_to(satellite10,phenomenon62,planet58) turn_to(satellite11,star77,phenomenon55) turn_to(satellite12,planet74,star51) turn_to(satellite13,planet83,planet64) turn_to(satellite14,planet66,star60) turn_to(satellite2,star72,star54) turn_to(satellite3,phenomenon79,phenomenon67) turn_to(satellite6,phenomenon73,planet59) turn_to(satellite7,phenomenon63,planet50) turn_to(satellite8,planet75,phenomenon69)
|
|
STEP 7.0: take_image(satellite0,phenomenon76,instrument1,image3) take_image(satellite1,phenomenon78,instrument4,spectrograph4) take_image(satellite10,phenomenon62,instrument24,spectrograph4) take_image(satellite11,star77,instrument25,infrared1) take_image(satellite12,planet74,instrument26,infrared0) take_image(satellite13,planet83,instrument28,infrared0) take_image(satellite14,planet66,instrument29,image3) take_image(satellite2,star72,instrument6,infrared1) take_image(satellite3,phenomenon79,instrument7,image3) take_image(satellite6,phenomenon73,instrument14,thermograph2) take_image(satellite7,phenomenon63,instrument17,spectrograph4) take_image(satellite8,planet75,instrument19,infrared0) turn_to(satellite4,star96,phenomenon31) turn_to(satellite5,star96,phenomenon148) turn_to(satellite9,star82,star0)
|
|
STEP 7.1: turn_to(satellite0,phenomenon80,phenomenon76) turn_to(satellite1,star84,phenomenon78) turn_to(satellite10,planet90,phenomenon62) turn_to(satellite11,star82,star77) turn_to(satellite12,planet81,planet74) turn_to(satellite13,planet85,planet83) turn_to(satellite14,star101,planet66) turn_to(satellite2,phenomenon87,star72) turn_to(satellite3,planet88,phenomenon79) turn_to(satellite6,star93,phenomenon73) turn_to(satellite7,star89,phenomenon63) turn_to(satellite8,phenomenon92,planet75)
|
|
STEP 8.0: take_image(satellite0,phenomenon80,instrument1,image3) take_image(satellite1,star84,instrument4,spectrograph4) take_image(satellite10,planet90,instrument24,spectrograph4) take_image(satellite11,star82,instrument25,infrared1) take_image(satellite12,planet81,instrument26,spectrograph4) take_image(satellite13,planet85,instrument28,infrared0) take_image(satellite14,star101,instrument29,image3) take_image(satellite2,phenomenon87,instrument6,thermograph2) take_image(satellite3,planet88,instrument7,thermograph2) take_image(satellite4,star96,instrument11,infrared1) take_image(satellite6,star93,instrument14,infrared1) take_image(satellite7,star89,instrument17,infrared1) take_image(satellite8,phenomenon92,instrument19,thermograph2) turn_to(satellite5,phenomenon148,star96) turn_to(satellite9,star0,star82)
|
|
STEP 8.1: turn_to(satellite0,phenomenon105,phenomenon80) turn_to(satellite1,star91,star84) turn_to(satellite10,star99,planet90) turn_to(satellite11,star111,star82) turn_to(satellite12,star95,planet81) turn_to(satellite13,planet98,planet85) turn_to(satellite14,planet103,star101) turn_to(satellite2,planet94,phenomenon87) turn_to(satellite3,planet107,planet88) turn_to(satellite4,phenomenon31,star96) turn_to(satellite6,planet102,star93) turn_to(satellite7,phenomenon97,star89) turn_to(satellite8,star104,phenomenon92)
|
|
STEP 9.0: take_image(satellite0,phenomenon105,instrument1,infrared0) take_image(satellite1,star91,instrument4,spectrograph4) take_image(satellite10,star99,instrument24,thermograph2) take_image(satellite11,star111,instrument25,infrared0) take_image(satellite12,star95,instrument26,infrared1) take_image(satellite13,planet98,instrument28,thermograph2) take_image(satellite14,planet103,instrument29,image3) take_image(satellite2,planet94,instrument6,thermograph2) take_image(satellite3,planet107,instrument7,image3) take_image(satellite6,planet102,instrument14,infrared0) take_image(satellite7,phenomenon97,instrument17,spectrograph4) take_image(satellite8,star104,instrument19,thermograph2) turn_to(satellite4,planet110,phenomenon31) turn_to(satellite5,planet108,phenomenon148) turn_to(satellite9,star116,star0)
|
|
STEP 9.1: turn_to(satellite0,phenomenon113,phenomenon105) turn_to(satellite1,star106,star91) turn_to(satellite10,planet112,star99) turn_to(satellite11,star131,star111) turn_to(satellite12,planet108,star95) turn_to(satellite13,star117,planet98) turn_to(satellite14,star124,planet103) turn_to(satellite2,planet115,planet94) turn_to(satellite3,planet109,planet107) turn_to(satellite6,phenomenon114,planet102) turn_to(satellite7,phenomenon100,phenomenon97) turn_to(satellite8,planet110,star104)
|
|
STEP 10.0: take_image(satellite0,phenomenon113,instrument1,image3) take_image(satellite1,star106,instrument4,spectrograph4) take_image(satellite10,planet112,instrument24,spectrograph4) take_image(satellite11,star131,instrument25,infrared0) take_image(satellite12,planet108,instrument26,infrared1) take_image(satellite13,star117,instrument28,infrared0) take_image(satellite14,star124,instrument29,image3) take_image(satellite2,planet115,instrument6,infrared1) take_image(satellite3,planet109,instrument7,image3) take_image(satellite6,phenomenon114,instrument14,infrared0) take_image(satellite7,phenomenon100,instrument17,spectrograph4) take_image(satellite8,planet110,instrument19,image3) take_image(satellite9,star116,instrument22,spectrograph4) turn_to(satellite4,phenomenon31,planet110) turn_to(satellite5,phenomenon148,planet108)
|
|
STEP 10.1: turn_to(satellite0,star134,phenomenon113) turn_to(satellite1,star123,star106) turn_to(satellite10,phenomenon119,planet112) turn_to(satellite11,phenomenon132,star131) turn_to(satellite12,planet125,planet108) turn_to(satellite13,star128,star117) turn_to(satellite14,phenomenon133,star124) turn_to(satellite2,phenomenon137,planet115) turn_to(satellite3,phenomenon120,planet109) turn_to(satellite6,star136,phenomenon114) turn_to(satellite7,phenomenon121,phenomenon100) turn_to(satellite8,phenomenon122,planet110) turn_to(satellite9,star0,star116)
|
|
STEP 11.0: take_image(satellite0,star134,instrument1,image3) take_image(satellite1,star123,instrument4,spectrograph4) take_image(satellite10,phenomenon119,instrument24,thermograph2) take_image(satellite11,phenomenon132,instrument25,infrared1) take_image(satellite12,planet125,instrument26,spectrograph4) take_image(satellite13,star128,instrument28,thermograph2) take_image(satellite14,phenomenon133,instrument29,image3) take_image(satellite2,phenomenon137,instrument6,infrared1) take_image(satellite3,phenomenon120,instrument7,thermograph2) take_image(satellite6,star136,instrument14,thermograph2) take_image(satellite7,phenomenon121,instrument17,spectrograph4) take_image(satellite8,phenomenon122,instrument19,thermograph2) turn_to(satellite4,phenomenon149,phenomenon31) turn_to(satellite5,phenomenon143,phenomenon148) turn_to(satellite9,planet127,star0)
|
|
STEP 11.1: turn_to(satellite0,star144,star134) turn_to(satellite1,planet126,star123) turn_to(satellite10,star142,phenomenon119) turn_to(satellite11,planet139,phenomenon132) turn_to(satellite12,planet138,planet125) turn_to(satellite13,phenomenon140,star128) turn_to(satellite2,phenomenon143,phenomenon137) turn_to(satellite6,phenomenon145,star136) turn_to(satellite7,planet127,phenomenon121) turn_to(satellite8,phenomenon129,phenomenon122)
|
|
STEP 12.0: take_image(satellite0,star144,instrument1,thermograph2) take_image(satellite1,planet126,instrument4,spectrograph4) take_image(satellite10,star142,instrument24,spectrograph4) take_image(satellite11,planet139,instrument25,image3) take_image(satellite12,planet138,instrument26,spectrograph4) take_image(satellite13,phenomenon140,instrument28,infrared0) take_image(satellite2,phenomenon143,instrument6,infrared1) take_image(satellite4,phenomenon149,instrument11,infrared1) take_image(satellite6,phenomenon145,instrument14,infrared0) take_image(satellite7,planet127,instrument17,spectrograph4) take_image(satellite8,phenomenon129,instrument19,infrared0) turn_to(satellite5,phenomenon148,phenomenon143) turn_to(satellite9,star0,planet127)
|
|
STEP 12.1: turn_to(satellite1,planet151,planet126) turn_to(satellite10,phenomenon148,star142) turn_to(satellite11,phenomenon153,planet139) turn_to(satellite12,planet147,planet138) turn_to(satellite2,planet154,phenomenon143) turn_to(satellite4,phenomenon31,phenomenon149) turn_to(satellite6,phenomenon152,phenomenon145) turn_to(satellite8,star150,phenomenon129)
|
|
STEP 13: take_image(satellite1,planet151,instrument4,infrared0) take_image(satellite10,phenomenon148,instrument24,spectrograph4) take_image(satellite11,phenomenon153,instrument25,infrared1) take_image(satellite12,planet147,instrument26,spectrograph4) take_image(satellite2,planet154,instrument6,infrared1) take_image(satellite6,phenomenon152,instrument14,infrared0) take_image(satellite8,star150,instrument19,infrared0)
|
|
351 actions in the plan.
|
|
total time 53.09 preprocess 29.82
|
|
total size 6.558 GB
|
|
max. learned clause length 1818
|
|
t val conflicts decisions
|
|
0 0 0 0
|
|
5 -1 180 796
|
|
10 -1 120 738
|
|
15 1 0 1451
|
|
|