#BEGIN: [Fri Sep 15 00:35:12 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen10_10.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen10_10_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/2022benchmark/benchmark/color04/queen10_10.col /benchmark/2022benchmark/benchmark/color04/queen10_10_01.dat
s 7 28 32 49 53 66 74 81 100 
t 2 15 29 36 53 61 77 84 100
a YES
a 7 28 32 49 53 66 74 81 100
a 7 15 28 32 49 53 66 81 100
a 7 15 28 32 53 66 79 81 100
a 7 15 28 32 53 66 79 81 94
a 7 15 32 50 53 66 79 81 94
a 7 15 32 50 53 66 78 81 94
a 15 29 32 50 53 66 78 81 94
a 3 15 29 32 50 66 78 81 94
a 3 15 29 32 50 57 78 81 94
a 3 15 29 50 57 62 78 81 94
a 3 16 29 50 57 62 78 81 94
a 3 16 29 37 50 62 78 81 94
a 3 16 29 37 50 62 75 81 94
a 3 16 29 37 50 62 75 88 94
a 3 16 29 37 50 51 75 88 94
a 16 29 37 50 51 63 75 88 94
a 2 16 29 50 51 63 75 88 94
a 16 29 32 50 51 63 75 88 94
a 10 16 29 32 51 63 75 88 94
a 10 17 29 32 51 63 75 88 94
a 17 29 32 46 51 63 75 88 94
a 1 17 29 32 46 63 75 88 94
a 1 17 32 46 59 63 75 88 94
a 1 20 32 46 59 63 75 88 94
a 7 20 32 46 59 63 75 88 94
a 7 20 21 46 59 63 75 88 94
a 7 20 21 46 59 62 75 88 94
a 7 20 23 46 59 62 75 88 94
a 7 20 23 36 59 62 75 88 94
a 7 20 21 36 59 62 75 88 94
a 7 20 36 41 59 62 75 88 94
a 7 13 36 41 59 62 75 88 94
a 10 13 36 41 59 62 75 88 94
a 10 13 21 36 59 62 75 88 94
a 7 13 21 36 59 62 75 88 94
a 7 13 21 36 50 62 75 88 94
a 7 19 21 36 50 62 75 88 94
a 7 19 21 50 56 62 75 88 94
a 7 13 21 50 56 62 75 88 94
a 9 13 21 50 56 62 75 88 94
a 9 13 37 50 56 62 75 88 94
a 9 21 37 50 56 62 75 88 94
a 13 21 37 50 56 62 75 88 94
a 9 13 21 37 50 62 75 88 94
a 9 16 21 37 50 62 75 88 94
a 9 16 23 37 50 62 75 88 94
a 9 16 23 37 50 51 75 88 94
a 2 16 23 37 50 51 75 88 94
a 2 16 23 37 51 69 75 88 94
a 2 16 23 50 51 69 75 88 94
a 2 16 37 50 51 69 75 88 94
a 2 23 37 50 51 69 75 88 94
a 16 23 37 50 51 69 75 88 94
a 2 16 23 37 50 69 75 88 94
a 2 16 21 37 50 69 75 88 94
a 2 21 37 50 56 69 75 88 94
a 13 21 37 50 56 69 75 88 94
a 7 13 21 50 56 69 75 88 94
a 7 13 32 50 56 69 75 88 94
a 13 27 32 50 56 69 75 88 94
a 10 13 27 32 56 69 75 88 94
a 10 13 27 32 51 69 75 88 94
a 13 27 32 50 51 69 75 88 94
a 7 13 32 50 51 69 75 88 94
a 7 26 32 50 51 69 75 88 94
a 13 26 32 50 51 69 75 88 94
a 10 13 26 32 51 69 75 88 94
a 7 13 26 32 51 69 75 88 94
a 7 20 26 32 51 69 75 88 94
a 7 20 32 46 51 69 75 88 94
a 20 27 32 46 51 69 75 88 94
a 3 20 27 32 46 51 75 88 94
a 3 20 27 32 46 59 75 88 94
a 1 20 27 32 46 59 75 88 94
a 1 20 27 46 59 62 75 88 94
a 3 20 27 46 59 62 75 88 94
a 3 20 27 41 59 62 75 88 94
a 6 20 27 41 59 62 75 88 94
a 6 20 27 43 59 62 75 88 94
a 1 20 27 43 59 62 75 88 94
a 1 20 36 43 59 62 75 88 94
a 1 20 28 36 43 59 62 75 94
a 1 28 36 43 59 62 75 90 94
a 11 28 36 43 59 62 75 90 94
a 7 11 28 36 59 62 75 90 94
a 7 28 36 41 59 62 75 90 94
a 7 28 33 41 59 62 75 90 94
a 16 28 33 41 59 62 75 90 94
a 9 16 28 33 41 62 75 90 94
a 9 28 33 41 56 62 75 90 94
a 7 28 33 41 56 62 75 90 94
a 7 28 33 41 56 69 75 90 94
a 7 12 28 33 41 69 75 90 94
a 7 12 26 33 41 69 75 90 94
a 7 12 26 38 41 69 75 90 94
a 7 12 26 38 41 55 69 90 94
a 7 12 26 38 41 69 73 90 94
a 7 12 26 38 41 54 69 73 90
a 12 26 38 41 54 69 73 90 97
a 6 12 38 41 54 69 73 90 97
a 6 22 38 41 54 69 73 90 97
a 15 22 38 41 54 69 73 90 97
a 8 15 22 41 54 69 73 90 97
a 8 16 22 41 54 69 73 90 97
a 8 16 22 39 41 54 73 90 97
a 8 15 22 39 41 54 73 90 97
a 8 15 22 39 54 61 73 90 97
a 8 15 22 49 54 61 73 90 97
a 8 15 22 36 49 61 73 90 97
a 8 15 22 49 56 61 73 90 97
a 8 15 22 39 56 61 73 90 97
a 8 14 22 39 56 61 73 90 97
a 8 14 22 39 45 61 73 90 97
a 8 14 22 45 59 61 73 90 97
a 6 14 22 45 59 61 73 90 97
a 6 14 38 45 59 61 73 90 97
a 6 22 38 45 59 61 73 90 97
a 14 22 38 45 59 61 73 90 97
a 6 14 22 38 45 59 61 73 97
a 6 14 30 38 45 59 61 73 97
a 2 14 30 38 45 59 61 73 97
a 2 14 30 38 59 61 73 85 97
a 6 14 30 38 59 61 73 85 97
a 6 12 30 38 59 61 73 85 97
a 6 12 38 44 59 61 73 85 97
a 6 30 38 44 59 61 73 85 97
a 2 30 38 44 59 61 73 85 97
a 12 30 38 44 59 61 73 85 97
a 6 12 30 44 59 61 73 85 97
a 12 30 36 44 59 61 73 85 97
a 2 30 36 44 59 61 73 85 97
a 2 20 36 44 59 61 73 85 97
a 2 20 21 36 44 59 73 85 97
a 2 20 21 36 44 59 78 85 97
a 2 20 36 44 59 61 78 85 97
a 2 30 36 44 59 61 78 85 97
a 13 30 36 44 59 61 78 85 97
a 6 13 30 44 59 61 78 85 97
a 6 30 32 44 59 61 78 85 97
a 3 30 32 44 59 61 78 85 97
a 13 30 32 44 59 61 78 85 97
a 10 13 32 44 59 61 78 85 97
a 6 13 32 44 59 61 78 85 97
a 6 20 32 44 59 61 78 85 97
a 3 20 32 44 59 61 78 85 97
a 3 20 27 32 44 59 61 78 85
a 6 20 27 32 44 59 61 78 85
a 6 13 27 32 44 59 61 78 85
a 10 13 27 32 44 59 61 78 85
a 10 27 32 44 59 61 78 85 93
a 6 27 32 44 59 61 78 85 93
a 20 27 32 44 59 61 78 85 93
a 6 20 27 32 44 61 78 85 93
a 6 19 27 32 44 61 78 85 93
a 6 19 27 32 44 70 78 85 93
a 6 19 27 31 44 70 78 85 93
a 2 19 27 31 44 70 78 85 93
a 2 19 27 44 51 70 78 85 93
a 19 27 32 44 51 70 78 85 93
a 7 19 32 44 51 70 78 85 93
a 7 19 36 44 51 70 78 85 93
a 2 19 36 44 51 70 78 85 93
a 2 29 36 44 51 70 78 85 93
a 2 17 29 36 51 70 78 85 93
a 2 17 29 36 51 64 78 85 93
a 2 29 36 50 51 64 78 85 93
a 2 16 29 50 51 64 78 85 93
a 16 29 32 50 51 64 78 85 93
a 9 16 32 50 51 64 78 85 93
a 9 26 32 50 51 64 78 85 93
a 7 26 32 50 51 64 78 85 93
a 7 11 26 32 50 64 78 85 93
a 9 11 26 32 50 64 78 85 93
a 9 11 26 32 50 57 64 78 85
a 3 11 26 32 50 57 64 78 85
a 3 11 26 50 57 64 78 85 92
a 9 11 26 50 57 64 78 85 92
a 9 26 33 50 57 64 78 85 92
a 9 16 33 50 57 64 78 85 92
a 9 21 33 50 57 64 78 85 92
a 16 21 33 50 57 64 78 85 92
a 4 16 21 33 50 57 78 85 92
a 9 16 21 33 50 57 78 85 92
a 9 14 21 33 50 57 78 85 92
a 9 14 21 33 57 70 78 85 92
a 9 16 21 33 57 70 78 85 92
a 9 16 21 44 57 70 78 85 92
a 9 16 31 44 57 70 78 85 92
a 3 16 31 44 57 70 78 85 92
a 3 19 31 44 57 70 78 85 92
a 6 19 31 44 57 70 78 85 92
a 6 19 21 44 57 70 78 85 92
a 19 21 36 44 57 70 78 85 92
a 7 19 21 36 44 70 78 85 92
a 7 19 36 44 51 70 78 85 92
a 7 13 36 44 51 70 78 85 92
a 7 13 39 44 51 70 78 85 92
a 13 27 39 44 51 70 78 85 92
a 3 27 39 44 51 70 78 85 92
a 3 27 39 46 51 70 78 85 92
a 14 27 39 46 51 70 78 85 92
a 7 14 39 46 51 70 78 85 92
a 7 14 21 39 46 70 78 85 92
a 7 14 21 33 46 70 78 85 92
a 9 14 21 33 46 70 78 85 92
a 9 14 21 46 53 70 78 85 92
a 7 14 21 46 53 70 78 85 92
a 7 21 39 46 53 70 78 85 92
a 14 21 39 46 53 70 78 85 92
a 7 14 39 46 53 70 78 85 92
a 7 11 39 46 53 70 78 85 92
a 11 27 39 46 53 70 78 85 92
a 14 27 39 46 53 70 78 85 92
a 1 14 27 39 46 53 70 85 92
a 1 14 39 46 53 70 77 85 92
a 1 18 39 46 53 70 77 85 92
a 18 21 39 46 53 70 77 85 92
a 14 21 39 46 53 70 77 85 92
a 9 14 21 46 53 70 77 85 92
a 9 21 34 46 53 70 77 85 92
a 18 21 34 46 53 70 77 85 92
a 5 18 21 34 46 53 70 77 92
a 5 18 21 46 53 70 77 84 92
a 5 18 21 46 53 69 77 84 92
a 5 21 40 46 53 69 77 84 92
a 15 21 40 46 53 69 77 84 92
a 8 15 21 40 46 69 77 84 92
a 8 15 23 40 46 69 77 84 92
a 8 15 23 40 46 61 77 84 92
a 9 15 23 40 46 61 77 84 92
a 9 15 23 46 60 61 77 84 92
a 8 15 23 46 60 61 77 84 92
a 8 15 23 36 60 61 77 84 92
a 8 15 23 36 49 61 77 84 92
a 10 15 23 36 49 61 77 84 92
a 10 15 36 49 53 61 77 84 92
a 15 28 36 49 53 61 77 84 92
a 1 15 28 36 49 53 77 84 92
a 1 28 36 49 53 70 77 84 92
a 1 13 28 36 49 70 77 84 92
a 1 13 28 36 49 52 70 77 84
a 1 13 36 49 52 70 77 84 98
a 1 13 29 36 52 70 77 84 98
a 5 13 29 36 52 70 77 84 98
a 5 13 29 36 42 70 77 84 98
a 1 13 29 36 42 70 77 84 98
a 1 13 29 36 42 60 77 84 98
a 13 29 36 42 60 61 77 84 98
a 5 13 29 36 42 61 77 84 98
a 10 13 29 36 42 61 77 84 98
a 10 13 29 36 42 61 77 85 98
a 13 29 36 42 60 61 77 85 98
a 4 29 36 42 60 61 77 85 98
a 4 19 36 42 60 61 77 85 98
a 4 23 36 42 60 61 77 85 98
a 19 23 36 42 60 61 77 85 98
a 4 19 23 42 60 61 77 85 98
a 4 23 39 42 60 61 77 85 98
a 4 23 39 46 60 61 77 85 98
a 4 12 39 46 60 61 77 85 98
a 4 12 29 46 60 61 77 85 98
a 4 12 29 33 46 60 61 85 98
a 4 17 29 33 46 60 61 85 98
a 4 17 29 33 46 60 72 85 98
a 1 17 29 33 46 60 72 85 98
a 1 17 29 33 46 70 72 85 98
a 1 14 29 33 46 70 72 85 98
a 1 14 29 33 57 70 72 85 98
a 1 16 29 33 57 70 72 85 98
a 1 16 29 44 57 70 72 85 98
a 3 16 29 44 57 70 72 85 98
a 3 16 31 44 57 70 72 85 98
a 16 29 31 44 57 70 72 85 98
a 3 29 31 44 57 70 72 85 98
a 6 29 31 44 57 70 72 85 98
a 6 19 31 44 57 70 72 85 98
a 3 19 31 44 57 70 72 85 98
a 19 23 31 44 57 70 72 85 98
a 6 23 31 44 57 70 72 85 98
a 16 23 31 44 57 70 72 85 98
a 9 16 23 31 44 57 70 85 98
a 9 16 23 31 44 57 70 82 98
a 9 16 23 31 57 70 74 82 98
a 9 16 23 31 50 57 74 82 98
a 16 23 31 50 57 69 74 82 98
a 15 23 31 50 57 69 74 82 98
a 9 15 23 31 50 57 74 82 98
a 9 15 23 31 50 66 74 82 98
a 7 15 23 31 50 66 74 82 98
a 7 15 23 31 49 66 74 82 98
a 7 15 23 31 60 66 74 82 98
a 9 15 23 31 60 66 74 82 98
a 9 15 23 31 47 60 66 82 98
a 15 23 31 47 60 66 79 82 98
a 7 15 23 31 60 66 79 82 98
a 7 15 23 31 44 60 79 82 98
a 7 15 31 44 60 63 79 82 98
a 7 15 30 31 44 63 79 82 98
a 7 15 30 44 56 63 79 82 98
a 7 15 31 44 56 63 79 82 98
a 7 30 31 44 56 63 79 82 98
a 5 30 31 44 56 63 79 82 98
a 15 30 31 44 56 63 79 82 98
a 7 15 30 31 56 63 79 82 98
a 7 15 31 50 56 63 79 82 98
a 7 14 31 50 56 63 79 82 98
a 7 14 26 31 50 63 79 82 98
a 7 14 26 50 51 63 79 82 98
a 7 14 26 50 51 63 75 82 98
a 7 14 26 49 51 63 75 82 98
a 7 20 26 49 51 63 75 82 98
a 20 26 34 49 51 63 75 82 98
a 3 20 26 34 49 51 75 82 98
a 3 20 26 34 49 51 77 82 98
a 20 26 34 49 51 63 77 82 98
a 5 20 26 34 51 63 77 82 98
a 5 20 26 34 51 63 79 82 98
a 5 26 34 50 51 63 79 82 98
a 5 11 26 34 50 63 79 82 98
a 5 11 26 34 47 63 79 82 98
a 5 11 26 40 47 63 79 82 98
a 5 26 40 47 51 63 79 82 98
a 5 26 34 47 51 63 79 82 98
a 5 30 34 47 51 63 79 82 98
a 5 11 30 34 47 63 79 82 98
a 6 11 30 34 47 63 79 82 98
a 6 11 34 47 60 63 79 82 98
a 11 26 34 47 60 63 79 82 98
a 11 26 34 47 60 63 79 82 95
a 8 11 34 47 60 63 79 82 95
a 6 11 34 47 60 63 79 82 95
a 6 11 34 48 60 63 79 82 95
a 6 21 34 48 60 63 79 82 95
a 6 14 21 48 60 63 79 82 95
a 7 14 21 48 60 63 79 82 95
a 7 14 21 33 48 60 79 82 95
a 14 21 33 48 60 67 79 82 95
a 6 14 21 48 60 67 79 82 95
a 6 14 31 48 60 67 79 82 95
a 6 14 31 48 60 67 79 83 95
a 6 14 22 48 60 67 79 83 95
a 6 14 21 48 60 67 79 83 95
a 6 14 21 48 52 67 79 83 95
a 10 14 21 48 52 67 79 83 95
a 10 14 31 48 52 67 79 83 95
a 6 14 31 48 52 67 79 83 95
a 6 14 30 31 52 67 79 83 95
a 6 18 30 31 52 67 79 83 95
a 6 18 30 44 52 67 79 83 95
a 6 18 21 44 52 67 79 83 95
a 10 18 21 44 52 67 79 83 95
a 10 18 31 44 52 67 79 83 95
a 6 18 31 44 52 67 79 83 95
a 6 30 31 44 52 67 79 83 95
a 18 30 31 44 52 67 79 83 95
a 6 18 30 31 44 52 67 83 95
a 6 18 31 44 52 67 80 83 95
a 6 19 31 44 52 67 80 83 95
a 6 19 21 44 52 67 80 83 95
a 6 18 21 44 52 67 80 83 95
a 18 21 39 44 52 67 80 83 95
a 4 18 21 39 52 67 80 83 95
a 4 18 21 46 52 67 80 83 95
a 4 18 39 46 52 67 80 83 95
a 4 11 39 46 52 67 80 83 95
a 8 11 39 46 52 67 80 83 95
a 8 21 39 46 52 67 80 83 95
a 4 21 39 46 52 67 80 83 95
a 18 21 39 46 52 67 80 83 95
a 4 18 21 39 46 52 67 83 95
a 4 18 39 46 52 67 71 83 95
a 4 18 30 46 52 67 71 83 95
a 4 18 30 32 46 67 71 83 95
a 4 18 32 46 60 67 71 83 95
a 4 18 39 46 60 67 71 83 95
a 18 22 39 46 60 67 71 83 95
a 14 22 39 46 60 67 71 83 95
a 9 14 22 46 60 67 71 83 95
a 9 14 22 48 60 67 71 83 95
a 6 14 22 48 60 67 71 83 95
a 6 19 22 48 60 67 71 83 95
a 19 22 36 48 60 67 71 83 95
a 2 19 36 48 60 67 71 83 95
a 19 24 36 48 60 67 71 83 95
a 7 19 24 36 48 60 71 83 95
a 7 12 24 36 48 60 71 83 95
a 7 12 36 48 60 64 71 83 95
a 7 22 36 48 60 64 71 83 95
a 7 22 36 48 60 64 71 89 95
a 7 13 36 48 60 64 71 89 95
a 7 13 32 48 60 64 71 89 95
a 6 13 32 48 60 64 71 89 95
a 6 13 32 47 60 64 71 89 95
a 6 18 32 47 60 64 71 89 95
a 6 18 22 47 60 64 71 89 95
a 6 18 22 43 60 64 71 89 95
a 6 18 22 37 43 60 71 89 95
a 6 14 22 37 43 60 71 89 95
a 6 14 22 37 60 63 71 89 95
a 6 14 22 48 60 63 71 89 95
a 7 14 22 48 60 63 71 89 95
a 7 14 22 46 60 63 71 89 95
a 7 14 22 38 46 63 71 89 95
a 7 14 30 38 46 63 71 89 95
a 7 14 30 38 42 63 71 89 95
a 7 14 30 38 42 55 63 71 89
a 7 30 38 42 55 63 71 89 94
a 7 13 30 38 42 55 71 89 94
a 7 13 38 42 55 70 71 89 94
a 7 13 36 42 55 70 71 89 94
a 7 13 28 36 42 70 71 89 94
a 5 13 28 36 42 70 71 89 94
a 5 28 36 42 57 70 71 89 94
a 5 28 36 43 57 70 71 89 94
a 5 22 36 43 57 70 71 89 94
a 5 20 22 36 43 57 71 89 94
a 5 20 22 36 43 68 71 89 94
a 5 20 22 37 43 68 71 89 94
a 6 20 22 37 43 68 71 89 94
a 6 22 37 43 60 68 71 89 94
a 6 18 22 37 43 60 71 89 94
a 6 18 22 37 60 65 71 89 94
a 3 18 22 37 60 65 71 89 94
a 3 18 22 46 60 65 71 89 94
a 3 18 22 46 60 65 71 89 97
a 3 18 22 39 46 60 65 71 97
a 3 18 22 34 46 60 65 71 97
a 3 18 22 46 60 65 71 84 97
a 3 18 22 46 59 65 71 84 97
a 3 22 40 46 59 65 71 84 97
a 3 16 22 40 59 65 71 84 97
a 3 16 22 40 45 59 71 84 97
a 3 16 28 40 45 59 71 84 97
a 2 16 28 40 45 59 71 84 97
a 2 16 28 40 45 69 71 84 97
a 2 16 28 33 45 69 71 84 97
a 2 20 28 33 45 69 71 84 97
a 20 28 33 45 52 69 71 84 97
a 5 20 28 33 52 69 71 84 97
a 5 20 33 46 52 69 71 84 97
a 5 18 33 46 52 69 71 84 97
a 5 18 33 46 52 69 71 84 100
a 5 18 21 33 46 52 69 84 100
a 5 17 21 33 46 52 69 84 100
a 5 17 21 33 46 69 72 84 100
a 5 17 21 33 46 59 72 84 100
a 5 17 21 33 46 58 72 84 100
a 5 17 29 33 46 58 72 84 100
a 5 17 29 31 46 58 72 84 100
a 5 17 29 31 46 58 63 84 100
a 5 29 31 46 58 63 77 84 100
a 15 29 31 46 58 63 77 84 100
a 15 29 32 46 58 63 77 84 100
a 15 29 32 46 58 61 77 84 100
a 8 15 29 32 46 61 77 84 100
a 3 15 29 32 46 61 77 84 100
a 15 29 32 46 53 61 77 84 100
a 9 15 32 46 53 61 77 84 100
a 9 15 28 32 53 61 77 84 100
a 15 28 32 49 53 61 77 84 100
a 2 15 28 49 53 61 77 84 100
a 2 15 36 49 53 61 77 84 100
a 2 28 36 49 53 61 77 84 100
a 15 28 36 49 53 61 77 84 100
a 2 15 28 36 53 61 77 84 100
a 2 15 29 36 53 61 77 84 100
#END: [Fri Sep 15 01:04:12 2023]