#BEGIN: [Fri Sep 15 00:43:20 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen11_11.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen11_11_02.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/2022benchmark/benchmark/color04/queen11_11.col /benchmark/2022benchmark/benchmark/color04/queen11_11_02.dat
s 18 31 35 50 56 77 82 96 109 113 
t 4 18 27 35 50 56 77 85 108 113
a YES
a 18 31 35 50 56 77 82 96 109 113
a 4 18 31 35 50 56 82 96 109 113
a 4 18 35 50 56 75 82 96 109 113
a 4 18 33 35 50 56 75 82 96 109
a 4 33 35 50 56 75 82 96 109 117
a 4 33 35 50 56 75 82 91 109 117
a 4 19 33 35 50 56 75 91 109 117
a 4 19 33 35 50 75 78 91 109 117
a 4 19 35 50 66 75 78 91 109 117
a 4 19 27 35 50 66 78 91 109 117
a 4 19 27 35 66 72 78 91 109 117
a 4 19 27 35 53 66 72 78 109 117
a 4 19 27 35 53 66 78 94 109 117
a 4 19 27 36 53 66 78 94 109 117
a 4 19 36 53 66 71 78 94 109 117
a 2 19 36 53 66 71 78 94 109 117
a 2 15 36 53 66 71 78 94 109 117
a 2 15 30 36 53 71 78 94 109 117
a 2 22 30 36 53 71 78 94 109 117
a 4 22 30 36 53 71 78 94 109 117
a 4 22 30 36 53 71 79 94 109 117
a 4 22 30 53 56 71 79 94 109 117
a 3 22 30 53 56 71 79 94 109 117
a 3 22 30 48 56 71 79 94 109 117
a 3 22 30 48 56 71 86 94 109 117
a 3 22 30 35 48 56 86 94 109 117
a 3 22 30 35 48 67 86 94 109 117
a 3 16 30 35 48 67 86 94 109 117
a 11 16 30 35 48 67 86 94 109 117
a 11 16 35 48 63 67 86 94 109 117
a 11 16 29 35 48 63 67 86 94 109
a 11 16 29 35 48 67 86 94 109 113
a 11 16 30 35 48 67 86 94 109 113
a 11 16 30 35 48 62 67 94 109 113
a 9 16 30 35 48 62 67 94 109 113
a 9 16 30 35 55 62 67 94 109 113
a 9 16 30 35 55 67 81 94 109 113
a 9 16 30 35 62 67 81 94 109 113
a 9 16 30 55 62 67 81 94 109 113
a 9 16 24 55 62 67 81 94 109 113
a 8 16 24 55 62 67 81 94 109 113
a 8 16 35 55 62 67 81 94 109 113
a 9 16 35 55 62 67 81 94 109 113
a 9 30 35 55 62 67 81 94 109 113
a 16 30 35 55 62 67 81 94 109 113
a 9 16 30 35 55 62 81 94 109 113
a 9 12 30 35 55 62 81 94 109 113
a 9 12 27 35 55 62 81 94 109 113
a 8 12 27 35 55 62 81 94 109 113
a 8 12 27 35 62 77 81 94 109 113
a 9 12 27 35 62 77 81 94 109 113
a 9 12 27 35 52 77 81 94 109 113
a 9 18 27 35 52 77 81 94 109 113
a 9 18 27 35 56 77 81 94 109 113
a 9 18 35 52 56 77 81 94 109 113
a 9 18 24 52 56 77 81 94 109 113
a 9 24 38 52 56 77 81 94 109 113
a 7 24 38 52 56 77 81 94 109 113
a 20 24 38 52 56 77 81 94 109 113
a 7 20 24 52 56 77 81 94 109 113
a 7 20 35 52 56 77 81 94 109 113
a 20 27 35 52 56 77 81 94 109 113
a 9 27 35 52 56 77 81 94 109 113
a 18 27 35 52 56 77 81 94 109 113
a 9 18 27 52 56 77 81 94 109 113
a 2 18 27 52 56 77 81 94 109 113
a 2 18 27 52 56 77 81 94 108 113
a 10 18 27 52 56 77 81 94 108 113
a 10 18 35 52 56 77 81 94 108 113
a 10 27 35 52 56 77 81 94 108 113
a 18 27 35 52 56 77 81 94 108 113
a 10 18 27 35 52 56 77 94 108 113
a 10 18 27 35 56 77 85 94 108 113
a 4 18 27 35 56 77 85 94 108 113
a 4 21 27 35 56 77 85 94 108 113
a 4 21 27 35 50 56 77 85 108 113
a 4 18 27 35 50 56 77 85 108 113
#END: [Fri Sep 15 01:12:20 2023]