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