#BEGIN: [Sun Sep 10 15:16:42 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen6_6.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen6_6_02.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/2022benchmark/benchmark/color04/queen6_6.col /benchmark/2022benchmark/benchmark/color04/queen6_6_02.dat
s 3 12 23 25 34 
t 5 8 16 24 33
a YES
a 3 12 23 25 34
a 3 12 23 26 34
a 3 12 14 23 34
a 3 12 14 23 31
a 3 12 14 23 25
a 3 14 23 25 36
a 3 11 14 25 36
a 3 11 14 22 25
a 3 11 14 25 34
a 3 12 14 25 34
a 3 14 23 25 34
a 6 14 23 25 34
a 12 14 23 25 34
a 1 12 14 23 34
a 1 12 23 26 34
a 12 15 23 26 34
a 4 12 15 23 26
a 4 12 15 26 35
a 4 12 13 26 35
a 4 13 24 26 35
a 4 15 24 26 35
a 4 7 15 24 26
a 4 7 15 24 32
a 4 7 15 30 32
a 4 7 15 23 32
a 6 7 15 23 32
a 6 7 15 23 34
a 7 15 23 26 34
a 3 7 23 26 34
a 3 7 23 26 36
a 4 7 23 26 36
a 4 7 17 26 36
a 4 7 17 20 36
a 4 7 17 20 30
a 4 17 20 30 31
a 4 8 17 30 31
a 4 8 17 21 30
a 4 8 17 30 33
a 4 7 17 30 33
a 4 7 20 30 33
a 4 17 20 30 33
a 1 17 20 30 33
a 7 17 20 30 33
a 4 7 17 20 33
a 6 7 17 20 33
a 6 7 20 29 33
a 4 7 20 29 33
a 7 16 20 29 33
a 12 16 20 29 33
a 4 12 20 29 33
a 4 12 20 29 31
a 3 12 20 29 31
a 3 18 20 29 31
a 3 7 18 20 29
a 3 7 18 29 32
a 3 7 16 29 32
a 3 16 19 29 32
a 3 18 19 29 32
a 10 18 19 29 32
a 2 10 18 19 29
a 2 10 18 29 31
a 2 10 18 27 31
a 2 10 18 19 27
a 2 10 19 27 36
a 2 11 19 27 36
a 2 11 19 28 36
a 2 11 15 19 28
a 2 12 15 19 28
a 2 12 15 28 31
a 2 15 24 28 31
a 2 11 15 24 28
a 2 11 13 24 28
a 2 11 13 24 33
a 2 11 24 25 33
a 11 14 24 25 33
a 11 14 22 25 33
a 2 11 22 25 33
a 2 11 13 22 33
a 11 13 22 30 33
a 5 13 22 30 33
a 5 7 22 30 33
a 5 14 22 30 33
a 11 14 22 30 33
a 1 11 14 30 33
a 1 11 14 30 34
a 3 11 14 30 34
a 3 11 19 30 34
a 11 15 19 30 34
a 11 15 19 30 32
a 3 11 19 30 32
a 3 11 19 28 32
a 11 15 19 28 32
a 11 15 24 28 32
a 1 11 24 28 32
a 11 13 24 28 32
a 5 13 24 28 32
a 9 13 24 28 32
a 5 9 13 24 28
a 5 9 24 28 31
a 5 8 24 28 31
a 5 8 24 27 31
a 4 8 24 27 31
a 4 8 24 27 35
a 8 16 24 27 35
a 8 16 19 27 35
a 6 8 19 27 35
a 6 10 19 27 35
a 2 10 19 27 35
a 10 18 19 27 35
a 2 18 19 27 35
a 8 18 19 27 35
a 5 8 18 19 27
a 5 8 18 19 34
a 5 8 19 30 34
a 8 17 19 30 34
a 8 17 21 30 34
a 5 8 21 30 34
a 5 8 18 21 34
a 8 18 21 25 34
a 2 18 21 25 34
a 2 12 21 25 34
a 2 17 21 25 34
a 8 17 21 25 34
a 6 8 17 25 34
a 6 8 17 25 33
a 4 8 17 25 33
a 4 8 24 25 33
a 8 16 24 25 33
a 5 8 16 24 33
#END: [Sun Sep 10 15:45:42 2023]