#BEGIN: [Sun Sep 10 20:41:20 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance003_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance003_graph004_01.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance003_graph004.col /benchmark/random_instance/random_instance003_graph004_01.dat
s 28 35 26 1 32 38 12 29 13 15 8 2 14 20
t 2 14 29 32 20 10 28 38 8 1 23 12 35 15
a YES
a 1 2 8 12 13 14 15 20 26 28 29 32 35 38
a 1 2 8 12 13 14 15 20 25 26 28 29 35 38
a 1 2 8 9 12 13 14 15 20 25 26 28 29 35
a 1 2 8 9 12 13 14 15 20 23 25 28 29 35
a 1 2 8 9 12 13 14 15 23 25 27 28 29 35
a 1 2 8 12 13 14 15 18 23 25 27 28 29 35
a 1 2 8 12 13 14 15 18 23 25 27 29 35 38
a 1 2 8 12 13 14 15 18 23 25 27 28 35 38
a 1 2 8 12 13 14 15 18 23 27 28 32 35 38
a 1 2 8 12 13 14 15 18 23 27 29 32 35 38
a 1 2 8 12 13 14 15 18 23 28 29 32 35 38
a 1 2 8 12 13 14 15 18 23 27 28 29 35 38
a 1 2 8 12 13 14 15 18 23 25 28 29 35 38
a 1 2 8 12 13 14 15 20 23 25 28 29 35 38
a 1 2 8 10 12 14 15 20 23 25 28 29 35 38
a 1 2 8 10 12 14 15 20 25 26 28 29 35 38
a 1 2 8 10 12 14 15 20 26 28 29 32 35 38
a 1 2 8 10 12 15 20 26 28 29 32 34 35 38
a 1 2 8 10 12 15 20 25 26 28 29 34 35 38
a 1 2 5 8 10 15 20 25 26 28 29 34 35 38
a 1 2 5 8 13 15 20 25 26 28 29 34 35 38
a 1 2 8 12 13 15 20 25 26 28 29 34 35 38
a 1 2 8 9 12 13 15 20 25 26 28 29 34 35
a 1 2 5 8 9 13 15 20 25 26 28 29 34 35
a 1 2 5 8 9 13 15 20 23 25 28 29 34 35
a 1 2 8 9 12 13 15 20 23 25 28 29 34 35
a 1 2 8 9 10 12 15 20 23 25 28 29 34 35
a 1 2 5 8 9 10 15 20 23 25 28 29 34 35
a 1 2 5 8 9 10 15 23 25 27 28 29 34 35
a 1 2 8 9 10 12 15 23 25 27 28 29 34 35
a 1 2 8 10 11 12 15 23 25 27 28 29 34 35
a 1 2 5 8 10 11 15 23 25 27 28 29 34 35
a 1 2 5 8 11 13 15 23 25 27 28 29 34 35
a 1 2 8 11 12 13 15 23 25 27 28 29 34 35
a 1 2 8 9 12 13 15 23 25 27 28 29 34 35
a 1 2 5 8 9 13 15 23 25 27 28 29 34 35
a 1 2 5 8 13 15 18 23 25 27 28 29 34 35
a 1 2 8 12 13 15 18 23 25 27 28 29 34 35
a 1 2 8 12 13 15 18 23 27 28 29 32 34 35
a 1 2 5 8 13 15 18 23 27 28 29 32 34 35
a 1 2 5 8 13 15 18 21 23 27 28 32 34 35
a 1 2 8 12 13 15 18 21 23 27 28 32 34 35
a 1 2 8 12 13 14 15 18 21 23 27 28 32 35
a 1 8 12 13 14 15 18 21 23 27 28 32 33 35
a 6 8 12 13 14 15 18 21 23 27 28 32 33 35
a 6 8 12 13 15 18 21 23 27 28 31 32 33 35
a 5 6 8 13 15 18 21 23 27 28 31 32 33 35
a 5 6 8 13 15 18 21 23 27 28 31 32 34 35
a 2 5 8 13 15 18 21 23 27 28 31 32 34 35
a 2 8 12 13 15 18 21 23 27 28 31 32 34 35
a 6 8 12 13 15 18 21 23 27 28 31 32 34 35
a 6 8 12 13 15 18 21 23 27 28 31 33 34 35
a 5 6 8 13 15 18 21 23 27 28 31 33 34 35
a 5 6 8 13 15 18 21 23 27 28 32 33 34 35
a 1 5 8 13 15 18 21 23 27 28 32 33 34 35
a 1 8 12 13 15 18 21 23 27 28 32 33 34 35
a 6 8 12 13 15 18 21 23 27 28 32 33 34 35
a 6 8 12 13 15 18 21 23 27 31 32 33 34 35
a 5 6 8 13 15 18 21 23 27 31 32 33 34 35
a 5 6 8 13 15 18 21 23 28 31 32 33 34 35
a 6 8 12 13 15 18 21 23 28 31 32 33 34 35
a 6 8 12 13 15 18 21 27 28 31 32 33 34 35
a 5 6 8 13 15 18 21 27 28 31 32 33 34 35
a 5 6 8 13 15 18 23 27 28 31 32 33 34 35
a 6 8 12 13 15 18 23 27 28 31 32 33 34 35
a 6 8 12 13 15 21 23 27 28 31 32 33 34 35
a 5 6 8 13 15 21 23 27 28 31 32 33 34 35
a 5 6 8 13 18 21 23 27 28 31 32 33 34 35
a 6 8 12 13 18 21 23 27 28 31 32 33 34 35
a 6 8 12 15 18 21 23 27 28 31 32 33 34 35
a 5 6 8 15 18 21 23 27 28 31 32 33 34 35
a 5 8 13 15 18 21 23 27 28 31 32 33 34 35
a 6 8 13 15 18 21 23 27 28 31 32 33 34 35
a 5 6 13 15 18 21 23 27 28 31 32 33 34 35
a 6 12 13 15 18 21 23 27 28 31 32 33 34 35
a 8 12 13 15 18 21 23 27 28 31 32 33 34 35
a 6 8 12 13 15 18 21 23 27 28 31 32 33 34
a 5 6 8 13 15 18 21 23 27 28 31 32 33 34
a 5 6 8 13 18 21 23 27 28 31 32 33 34 37
a 6 8 12 13 18 21 23 27 28 31 32 33 34 37
a 6 8 12 13 18 21 23 27 28 31 32 33 37 39
a 5 6 8 13 18 21 23 27 28 31 32 33 37 39
a 5 6 8 13 18 21 23 27 28 31 32 33 35 39
a 6 8 12 13 18 21 23 27 28 31 32 33 35 39
a 6 8 12 13 14 18 21 23 27 28 32 33 35 39
a 1 8 12 13 14 18 21 23 27 28 32 33 35 39
a 1 2 8 12 13 14 18 21 23 27 28 32 35 39
a 1 2 8 12 13 14 18 23 27 28 29 32 35 39
a 1 2 8 12 13 14 18 23 27 28 29 32 38 39
a 1 2 8 12 13 14 18 23 25 27 28 29 38 39
a 1 2 8 12 13 14 18 23 25 27 29 35 38 39
a 1 2 8 12 13 14 18 23 25 28 29 35 38 39
a 1 2 8 12 13 14 18 23 25 27 28 35 38 39
a 1 2 8 12 13 14 18 23 27 28 32 35 38 39
a 1 2 8 12 13 14 18 23 27 29 32 35 38 39
a 1 2 8 12 13 14 18 23 28 29 32 35 38 39
a 1 2 8 12 13 14 18 27 28 29 32 35 38 39
a 1 2 8 12 13 14 15 18 27 28 29 32 35 38
a 1 2 8 12 13 14 18 23 27 28 29 32 35 38
a 1 2 8 12 13 14 15 23 27 28 29 32 35 38
a 1 2 8 10 12 14 15 23 27 28 29 32 35 38
a 1 2 8 10 12 14 23 27 28 29 32 35 38 39
a 1 2 8 12 13 14 23 27 28 29 32 35 38 39
a 1 2 8 12 13 14 18 23 27 28 29 35 38 39
a 1 2 8 12 13 14 18 25 27 28 29 35 38 39
a 1 2 8 12 13 14 15 18 25 27 28 29 35 38
a 1 2 8 12 13 14 18 23 25 27 28 29 35 38
a 1 2 8 12 14 15 18 23 25 27 28 29 35 38
a 1 2 8 13 14 15 18 23 25 27 28 29 35 38
a 1 2 12 13 14 15 18 23 25 27 28 29 35 38
a 1 2 8 12 13 15 18 23 25 27 28 29 35 38
a 1 2 5 8 13 15 18 23 25 27 28 29 35 38
a 1 2 5 8 13 15 18 23 27 28 29 32 35 38
a 1 2 8 12 13 15 18 23 27 28 29 32 35 38
a 1 2 8 12 14 15 18 23 27 28 29 32 35 38
a 1 2 8 13 14 15 18 23 27 28 29 32 35 38
a 1 2 12 13 14 15 18 23 27 28 29 32 35 38
a 2 8 12 13 14 15 18 23 27 28 29 32 35 38
a 1 8 12 13 14 15 18 23 27 28 29 32 35 38
a 6 8 12 13 14 15 18 23 27 28 29 32 35 38
a 6 8 12 13 14 15 18 23 25 27 28 29 35 38
a 1 8 12 13 14 15 18 23 25 27 28 29 35 38
a 2 8 12 13 14 15 18 23 25 27 28 29 35 38
a 1 2 8 12 13 14 15 23 25 27 28 29 35 38
a 1 2 8 11 12 13 15 23 25 27 28 29 35 38
a 1 2 5 8 11 13 15 23 25 27 28 29 35 38
a 1 2 5 11 13 15 23 25 27 28 29 30 35 38
a 1 2 11 12 13 15 23 25 27 28 29 30 35 38
a 1 2 10 11 12 15 23 25 27 28 29 30 35 38
a 1 2 8 10 11 12 15 23 25 27 28 29 35 38
a 1 2 5 8 10 11 15 23 25 27 28 29 35 38
a 1 2 5 8 10 11 23 25 27 28 29 35 38 39
a 1 2 8 10 11 12 23 25 27 28 29 35 38 39
a 1 2 8 10 12 14 23 25 27 28 29 35 38 39
a 1 2 8 12 14 18 23 25 27 28 29 35 38 39
a 1 2 8 13 14 18 23 25 27 28 29 35 38 39
a 1 2 12 13 14 18 23 25 27 28 29 35 38 39
a 1 2 8 12 13 18 23 25 27 28 29 35 38 39
a 1 2 5 8 13 18 23 25 27 28 29 35 38 39
a 1 2 5 8 13 18 23 27 28 29 32 35 38 39
a 1 2 8 12 13 18 23 27 28 29 32 35 38 39
a 1 2 8 12 14 18 23 27 28 29 32 35 38 39
a 1 2 8 13 14 18 23 27 28 29 32 35 38 39
a 1 2 12 13 14 18 23 27 28 29 32 35 38 39
a 2 8 12 13 14 18 23 27 28 29 32 35 38 39
a 1 8 12 13 14 18 23 27 28 29 32 35 38 39
a 6 8 12 13 14 18 23 27 28 29 32 35 38 39
a 6 8 12 13 14 18 23 25 27 28 29 35 38 39
a 1 8 12 13 14 18 23 25 27 28 29 35 38 39
a 2 8 12 13 14 18 23 25 27 28 29 35 38 39
a 1 2 8 12 13 14 23 25 27 28 29 35 38 39
a 1 2 8 11 12 13 23 25 27 28 29 35 38 39
a 1 2 5 8 11 13 23 25 27 28 29 35 38 39
a 1 2 5 11 13 23 25 27 28 29 30 35 38 39
a 1 2 11 12 13 23 25 27 28 29 30 35 38 39
a 1 2 10 11 12 23 25 27 28 29 30 35 38 39
a 1 2 5 10 11 23 25 27 28 29 30 35 38 39
a 1 2 5 10 11 17 23 25 27 28 30 35 38 39
a 1 2 5 11 13 17 23 25 27 28 30 35 38 39
a 1 2 5 8 11 13 17 23 25 27 28 35 38 39
a 1 2 5 8 11 13 17 23 25 27 28 34 35 38
a 1 2 5 8 10 11 17 23 25 27 28 34 35 38
a 1 2 5 8 10 11 15 23 25 27 28 34 35 38
a 1 2 8 10 11 12 15 23 25 27 28 34 35 38
a 1 2 8 11 12 13 15 23 25 27 28 34 35 38
a 1 2 5 8 11 13 15 23 25 27 28 34 35 38
a 1 2 5 8 13 15 18 23 25 27 28 34 35 38
a 1 2 8 12 13 15 18 23 25 27 28 34 35 38
a 1 2 8 12 13 15 18 23 27 28 32 34 35 38
a 1 2 5 8 13 15 18 23 27 28 32 34 35 38
a 1 2 5 8 13 15 18 23 28 29 32 34 35 38
a 1 2 8 12 13 15 18 23 28 29 32 34 35 38
a 1 2 8 12 13 15 18 23 27 29 32 34 35 38
a 1 2 5 8 13 15 18 23 27 29 32 34 35 38
a 1 2 5 8 13 15 18 23 25 27 29 34 35 38
a 1 2 8 12 13 15 18 23 25 27 29 34 35 38
a 1 2 8 11 12 13 15 23 25 27 29 34 35 38
a 1 2 5 8 11 13 15 23 25 27 29 34 35 38
a 1 2 5 8 11 13 15 23 25 28 29 34 35 38
a 1 2 5 8 10 11 15 23 25 28 29 34 35 38
a 1 2 8 10 11 12 15 23 25 28 29 34 35 38
a 1 2 8 10 12 15 20 23 25 28 29 34 35 38
a 1 2 5 8 10 15 20 23 25 28 29 34 35 38
a 1 2 5 8 13 15 20 23 25 28 29 34 35 38
a 1 2 8 12 13 15 20 23 25 28 29 34 35 38
a 1 2 8 11 12 13 15 23 25 28 29 34 35 38
a 1 2 8 12 13 15 18 23 25 28 29 34 35 38
a 1 2 5 8 13 15 18 23 25 28 29 34 35 38
a 1 2 5 8 13 15 18 23 27 28 29 34 35 38
a 1 2 8 12 13 15 18 23 27 28 29 34 35 38
a 1 2 8 11 12 13 15 23 27 28 29 34 35 38
a 1 2 5 8 11 13 15 23 27 28 29 34 35 38
a 1 2 5 8 11 13 15 25 27 28 29 34 35 38
a 1 2 5 8 13 15 18 25 27 28 29 34 35 38
a 1 2 8 12 13 15 18 25 27 28 29 34 35 38
a 1 2 8 11 12 13 15 25 27 28 29 34 35 38
a 1 2 8 10 11 12 15 25 27 28 29 34 35 38
a 1 2 5 8 10 11 15 25 27 28 29 34 35 38
a 1 2 5 8 10 11 23 25 27 28 29 34 35 38
a 1 2 5 8 11 15 23 25 27 28 29 34 35 38
a 1 2 5 10 11 15 23 25 27 28 29 34 35 38
a 1 2 5 8 10 15 23 25 27 28 29 34 35 38
a 1 2 8 10 12 15 23 25 27 28 29 34 35 38
a 1 2 8 10 11 12 23 25 27 28 29 34 35 38
a 1 2 8 11 12 13 23 25 27 28 29 34 35 38
a 1 2 5 8 11 13 23 25 27 28 29 34 35 38
a 1 2 5 8 13 18 23 25 27 28 29 34 35 38
a 1 2 8 12 13 18 23 25 27 28 29 34 35 38
a 1 2 8 12 15 18 23 25 27 28 29 34 35 38
a 1 2 5 8 15 18 23 25 27 28 29 34 35 38
a 1 2 8 13 15 18 23 25 27 28 29 34 35 38
a 1 2 5 8 13 15 23 25 27 28 29 34 35 38
a 1 2 8 12 13 15 23 25 27 28 29 34 35 38
a 1 2 11 12 13 15 23 25 27 28 29 34 35 38
a 1 2 5 11 13 15 23 25 27 28 29 34 35 38
a 1 2 8 11 13 15 23 25 27 28 29 34 35 38
a 2 5 8 11 13 15 23 25 27 28 29 34 35 38
a 1 5 8 11 13 15 23 25 27 28 29 34 35 38
a 5 6 8 11 13 15 23 25 27 28 29 34 35 38
a 5 6 8 13 15 18 23 25 27 28 29 34 35 38
a 1 5 8 13 15 18 23 25 27 28 29 34 35 38
a 2 5 8 13 15 18 23 25 27 28 29 34 35 38
a 1 2 5 13 15 18 23 25 27 28 29 34 35 38
a 1 2 12 13 15 18 23 25 27 28 29 34 35 38
a 2 8 12 13 15 18 23 25 27 28 29 34 35 38
a 1 8 12 13 15 18 23 25 27 28 29 34 35 38
a 6 8 12 13 15 18 23 25 27 28 29 34 35 38
a 6 8 11 12 13 15 23 25 27 28 29 34 35 38
a 1 8 11 12 13 15 23 25 27 28 29 34 35 38
a 2 8 11 12 13 15 23 25 27 28 29 34 35 38
a 1 2 8 11 12 15 23 25 27 28 29 34 35 38
a 1 2 10 11 12 15 23 25 27 28 29 34 35 38
a 1 8 10 11 12 15 23 25 27 28 29 34 35 38
a 2 8 10 11 12 15 23 25 27 28 29 34 35 38
a 1 2 8 10 11 15 23 25 27 28 29 34 35 38
a 1 5 8 10 11 15 23 25 27 28 29 34 35 38
a 2 5 8 10 11 15 23 25 27 28 29 34 35 38
a 1 2 5 8 10 11 15 23 27 28 29 34 35 38
a 1 2 5 8 10 15 23 27 28 29 32 34 35 38
a 1 2 5 8 13 15 23 27 28 29 32 34 35 38
a 1 2 5 8 13 15 18 27 28 29 32 34 35 38
a 1 2 8 12 13 15 18 27 28 29 32 34 35 38
a 1 2 8 12 13 18 23 27 28 29 32 34 35 38
a 1 2 5 8 13 18 23 27 28 29 32 34 35 38
a 1 2 5 8 15 18 23 27 28 29 32 34 35 38
a 1 2 8 12 15 18 23 27 28 29 32 34 35 38
a 1 2 12 13 15 18 23 27 28 29 32 34 35 38
a 1 2 5 13 15 18 23 27 28 29 32 34 35 38
a 1 2 8 13 15 18 23 27 28 29 32 34 35 38
a 2 5 8 13 15 18 23 27 28 29 32 34 35 38
a 1 5 8 13 15 18 23 27 28 29 32 34 35 38
a 5 6 8 13 15 18 23 27 28 29 32 34 35 38
a 6 8 12 13 15 18 23 27 28 29 32 34 35 38
a 1 8 12 13 15 18 23 27 28 29 32 34 35 38
a 2 8 12 13 15 18 23 27 28 29 32 34 35 38
a 1 2 8 12 13 15 23 27 28 29 32 34 35 38
a 1 2 8 10 12 15 23 27 28 29 32 34 35 38
a 1 2 8 10 12 15 20 23 28 29 32 34 35 38
a 1 2 5 8 10 15 20 23 28 29 32 34 35 38
a 1 2 5 8 13 15 20 23 28 29 32 34 35 38
a 1 2 8 12 13 15 20 23 28 29 32 34 35 38
a 1 2 8 12 13 14 15 20 23 28 29 32 35 38
a 1 2 8 10 12 14 15 20 23 28 29 32 35 38
#END: [Sun Sep 10 21:10:20 2023]