#BEGIN: [Fri Sep 15 07:01:45 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance006_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance006_graph005_01.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance006_graph005.col /benchmark/random_instance/random_instance006_graph005_01.dat
s 1 24 71 69 36 19 39 48 53 49 10 35 15 45 32 33 14 40 25 54 58 31 18 16 9
t 33 40 66 2 5 14 34 28 51 6 43 75 9 20 22 7 35 11 37 48 62 18 57 32 63
a YES
a 1 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 45 48 49 53 54 58 69 71
a 9 10 14 15 16 18 19 24 25 31 32 33 35 36 37 39 40 45 48 49 53 54 58 69 71
a 9 14 15 16 18 19 24 25 31 32 33 35 36 37 39 40 45 48 49 51 53 54 58 69 71
a 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 45 48 49 51 53 54 58 69 71
a 9 14 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 69 71
a 9 11 14 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 58 69 71
a 7 9 11 14 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 54 58 69 71
a 7 9 11 14 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 54 62 69 71
a 7 9 11 14 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 54 62 66 71
a 7 9 11 14 18 24 25 28 32 33 34 35 36 37 39 40 43 45 48 49 51 54 62 66 71
a 7 9 11 14 18 24 25 28 32 33 34 35 37 39 40 43 45 48 49 51 54 57 62 66 71
a 2 7 9 11 14 18 24 25 28 32 33 34 35 37 39 40 43 45 48 49 51 54 57 62 66
a 2 6 7 9 11 14 18 25 28 32 33 34 35 37 39 40 43 45 48 49 51 54 57 62 66
a 2 6 7 9 11 14 18 25 28 32 33 34 35 37 39 40 43 48 49 51 54 57 62 66 75
a 2 6 7 9 11 14 18 25 28 32 33 34 35 37 39 40 43 48 51 54 57 62 63 66 75
a 2 6 7 9 11 14 18 22 28 32 33 34 35 37 39 40 43 48 51 54 57 62 63 66 75
a 2 6 7 9 11 14 18 20 22 28 32 33 34 35 37 39 40 43 48 51 57 62 63 66 75
a 2 5 6 7 9 11 14 18 20 22 28 32 33 34 35 37 40 43 48 51 57 62 63 66 75
#END: [Fri Sep 15 07:30:45 2023]