#BEGIN: [Sat Sep  9 21:13:05 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen8_8.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen8_8_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-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/queen8_8.col /benchmark/2022benchmark/benchmark/color04/queen8_8_02.dat
s 3 13 18 32 38 55 57 
t 7 12 18 29 40 46 51
a YES
a 3 13 18 32 38 55 57
a 13 18 32 38 44 55 57
a 3 13 18 32 38 44 55
a 3 13 18 32 33 44 55
a 13 18 32 33 44 55 59
a 2 13 32 33 44 55 59
a 2 21 32 33 44 55 59
a 6 21 32 33 44 55 59
a 6 11 21 32 33 44 55
a 6 11 21 32 44 55 57
a 11 21 32 34 44 55 57
a 11 21 32 34 44 54 57
a 7 11 32 34 44 54 57
a 7 19 32 34 44 54 57
a 7 13 19 32 44 54 57
a 7 13 19 32 38 44 57
a 7 13 19 32 38 44 50
a 13 19 32 38 44 50 63
a 1 13 32 38 44 50 63
a 3 13 32 38 44 50 63
a 3 13 25 38 44 50 63
a 13 19 25 38 44 50 63
a 7 13 19 25 38 44 50
a 7 13 19 25 38 50 60
a 7 13 19 25 48 50 60
a 7 13 19 25 38 48 60
a 7 13 19 25 48 54 60
a 2 13 19 25 48 54 60
a 2 13 25 35 48 54 60
a 2 15 25 35 48 54 60
a 5 15 25 35 48 54 60
a 5 10 25 35 48 54 60
a 10 23 25 35 48 54 60
a 2 23 25 35 48 54 60
a 13 23 25 35 48 54 60
a 2 13 23 35 48 54 60
a 1 13 23 35 48 54 60
a 1 13 23 35 48 50 60
a 13 23 25 35 48 50 60
a 6 23 25 35 48 50 60
a 6 23 25 35 45 50 60
a 6 16 25 35 45 50 60
a 6 16 25 35 45 55 60
a 2 16 25 35 45 55 60
a 2 22 25 35 45 55 60
a 16 22 25 35 45 55 60
a 2 16 22 25 35 55 60
a 5 16 22 25 35 55 60
a 5 16 22 35 41 55 60
a 2 16 22 35 41 55 60
a 2 16 22 35 41 55 61
a 2 12 22 35 41 55 61
a 2 22 32 35 41 55 61
a 12 22 32 35 41 55 61
a 2 12 32 35 41 55 61
a 12 18 32 35 41 55 61
a 8 12 18 35 41 55 61
a 8 12 18 38 41 55 61
a 12 18 32 38 41 55 61
a 3 18 32 38 41 55 61
a 3 18 32 38 44 55 61
a 3 9 32 38 44 55 61
a 3 9 32 38 44 50 61
a 7 9 32 38 44 50 61
a 7 19 32 38 44 50 61
a 9 19 32 38 44 50 61
a 4 9 19 32 38 50 61
a 7 9 19 32 38 50 61
a 7 9 19 38 48 50 61
a 4 9 19 38 48 50 61
a 4 9 23 38 48 50 61
a 9 23 28 38 48 50 61
a 6 9 23 28 48 50 61
a 6 11 23 28 48 50 61
a 6 11 17 28 48 50 61
a 6 11 28 33 48 50 61
a 6 23 28 33 48 50 61
a 11 23 28 33 48 50 61
a 6 11 23 33 48 50 61
a 6 11 31 33 48 50 61
a 6 11 31 33 44 50 61
a 6 11 32 33 44 50 61
a 7 11 32 33 44 50 61
a 7 11 24 33 44 50 61
a 7 24 27 33 44 50 61
a 14 24 27 33 44 50 61
a 3 14 24 33 44 50 61
a 3 14 24 33 44 55 61
a 2 14 24 33 44 55 61
a 2 24 27 33 44 55 61
a 14 24 27 33 44 55 61
a 2 14 27 33 44 55 61
a 8 14 27 33 44 55 61
a 8 14 18 33 44 55 61
a 3 14 18 33 44 55 61
a 3 18 32 33 44 55 61
a 6 18 32 33 44 55 61
a 6 11 32 33 44 55 61
a 11 22 32 33 44 55 61
a 2 22 32 33 44 55 61
a 3 22 32 33 44 55 61
a 3 9 22 32 44 55 61
a 3 9 22 32 42 55 61
a 3 9 20 32 42 55 61
a 3 9 32 38 42 55 61
a 4 9 32 38 42 55 61
a 4 17 32 38 42 55 61
a 12 17 32 38 42 55 61
a 8 12 17 38 42 55 61
a 8 12 27 38 42 55 61
a 12 17 27 38 42 55 61
a 8 17 27 38 42 55 61
a 4 17 27 38 42 55 61
a 16 17 27 38 42 55 61
a 4 16 17 27 38 42 61
a 4 15 17 27 38 42 61
a 4 15 17 27 38 48 61
a 4 15 27 38 48 49 61
a 4 10 27 38 48 49 61
a 4 23 27 38 48 49 61
a 10 23 27 38 48 49 61
a 4 10 23 38 48 49 61
a 4 23 26 38 48 49 61
a 4 15 26 38 48 49 61
a 4 15 19 38 48 49 61
a 4 15 19 32 38 49 61
a 15 19 32 38 44 49 61
a 3 15 32 38 44 49 61
a 3 18 32 38 44 49 61
a 15 18 32 38 44 49 61
a 3 15 18 32 38 44 61
a 1 15 18 32 38 44 61
a 1 15 18 32 38 51 61
a 1 15 18 38 48 51 61
a 1 15 26 38 48 51 61
a 4 15 26 38 48 51 61
a 4 15 17 38 48 51 61
a 15 17 28 38 48 51 61
a 15 18 28 38 48 51 61
a 15 18 28 38 41 51 61
a 8 18 28 38 41 51 61
a 8 12 18 38 41 51 61
a 7 12 18 38 41 51 61
a 7 12 32 38 41 51 61
a 7 10 32 38 41 51 61
a 4 10 32 38 41 51 61
a 4 15 32 38 41 51 61
a 15 18 32 38 41 51 61
a 7 18 32 38 41 51 61
a 12 18 32 38 41 51 61
a 1 12 18 32 38 51 61
a 7 12 18 32 38 51 61
a 7 12 17 32 38 51 61
a 7 12 17 32 38 50 61
a 7 12 17 27 38 50 61
a 7 17 27 38 48 50 61
a 4 17 27 38 48 50 61
a 4 23 27 38 48 50 61
a 1 23 27 38 48 50 61
a 1 23 27 38 48 50 60
a 1 13 23 38 48 50 60
a 13 23 25 38 48 50 60
a 7 13 25 38 48 50 60
a 7 19 25 38 48 50 60
a 13 19 25 38 48 50 60
a 7 13 19 38 48 50 60
a 7 13 17 38 48 50 60
a 7 17 27 38 48 50 60
a 5 17 27 38 48 50 60
a 5 16 17 27 38 50 60
a 5 16 17 27 38 55 60
a 5 16 17 38 43 55 60
a 5 16 18 38 43 55 60
a 5 16 18 38 41 55 60
a 3 16 18 38 41 55 60
a 3 16 26 38 41 55 60
a 16 21 26 38 41 55 60
a 8 21 26 38 41 55 60
a 8 11 21 26 41 55 60
a 11 21 26 40 41 55 60
a 6 11 21 26 40 55 60
a 6 9 21 26 40 55 60
a 6 9 21 40 43 55 60
a 6 9 26 40 43 55 60
a 6 21 26 40 43 55 60
a 9 21 26 40 43 55 60
a 6 9 21 26 43 55 60
a 9 21 26 38 43 55 60
a 16 21 26 38 43 55 60
a 1 16 21 26 38 43 60
a 1 16 21 26 43 54 60
a 1 16 21 31 43 54 60
a 2 16 21 31 43 54 60
a 2 16 21 31 41 54 60
a 2 16 19 31 41 54 60
a 2 16 31 35 41 54 60
a 5 16 31 35 41 54 60
a 5 10 31 35 41 54 60
a 8 10 31 35 41 54 60
a 8 10 21 31 41 54 60
a 8 11 21 31 41 54 60
a 8 11 31 37 41 54 60
a 8 11 26 37 41 54 60
a 7 11 26 37 41 54 60
a 7 24 26 37 41 54 60
a 3 24 26 37 41 54 60
a 11 24 26 37 41 54 60
a 7 11 24 26 37 54 60
a 7 11 26 37 48 54 60
a 7 11 17 37 48 54 60
a 11 17 31 37 48 54 60
a 2 17 31 37 48 54 60
a 2 14 17 31 37 48 60
a 14 17 31 37 48 50 60
a 6 17 31 37 48 50 60
a 11 17 31 37 48 50 60
a 6 11 17 37 48 50 60
a 7 11 17 37 48 50 60
a 7 17 27 37 48 50 60
a 14 17 27 37 48 50 60
a 14 17 27 37 47 50 60
a 14 24 27 37 47 50 60
a 3 14 24 37 47 50 60
a 3 14 25 37 47 50 60
a 3 24 25 37 47 50 60
a 14 24 25 37 47 50 60
a 3 14 24 25 47 50 60
a 3 13 24 25 47 50 60
a 13 24 25 35 47 50 60
a 5 24 25 35 47 50 60
a 5 9 24 35 47 50 60
a 5 9 30 35 47 50 60
a 9 24 30 35 47 50 60
a 5 24 30 35 47 50 60
a 1 24 30 35 47 50 60
a 13 24 30 35 47 50 60
a 1 13 24 30 35 47 60
a 1 13 18 30 35 47 60
a 8 13 18 30 35 47 60
a 8 13 18 30 35 55 60
a 8 18 30 35 41 55 60
a 5 18 30 35 41 55 60
a 5 16 18 35 41 55 60
a 16 18 29 35 41 55 60
a 3 16 18 29 41 55 60
a 3 14 18 29 41 55 60
a 3 14 29 40 41 55 60
a 3 18 29 40 41 55 60
a 14 18 29 40 41 55 60
a 3 14 18 40 41 55 60
a 3 14 26 40 41 55 60
a 3 14 26 40 45 55 60
a 3 14 25 40 45 55 60
a 2 14 25 40 45 55 60
a 2 14 17 40 45 55 60
a 2 17 30 40 45 55 60
a 11 17 30 40 45 55 60
a 6 11 17 40 45 55 60
a 6 11 17 40 45 50 60
a 7 11 17 40 45 50 60
a 7 17 30 40 45 50 60
a 11 17 30 40 45 50 60
a 7 11 30 40 45 50 60
a 1 11 30 40 45 50 60
a 1 11 23 40 45 50 60
a 6 11 23 40 45 50 60
a 6 23 25 40 45 50 60
a 3 23 25 40 45 50 60
a 3 14 25 40 45 50 60
a 14 19 25 40 45 50 60
a 6 19 25 40 45 50 60
a 7 19 25 40 45 50 60
a 7 19 25 40 45 50 62
a 7 12 25 40 45 50 62
a 7 20 25 40 45 50 62
a 3 20 25 40 45 50 62
a 3 23 25 40 45 50 62
a 12 23 25 40 45 50 62
a 2 12 23 25 40 45 62
a 2 12 25 40 45 51 62
a 7 12 25 40 45 51 62
a 7 10 25 40 45 51 62
a 10 20 25 40 45 51 62
a 7 20 25 40 45 51 62
a 15 20 25 40 45 51 62
a 2 15 25 40 45 51 62
a 2 15 21 25 40 51 62
a 2 15 21 25 40 46 51
a 2 21 25 40 46 51 63
a 2 12 25 40 46 51 63
a 2 12 17 40 46 51 63
a 12 17 29 40 46 51 63
a 7 12 17 29 40 46 51
a 7 12 18 29 40 46 51
#END: [Sat Sep  9 21:42:06 2023]