#BEGIN: [Sun Sep 10 21:47:45 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance012_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance012_graph002_01.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/random_instance/random_instance012_graph002.col /benchmark/random_instance/random_instance012_graph002_01.dat
s 51 39 42 152 34 40 75 47 66 56 154 10 76 98 93 44 17 48 126 92 14 141 144 67 82 46 15 99 58 150 4 73 101 148 83 142 61 52 62 106 43 147 74 87 22 30 118 63 129 124 57 29 105
t 37 148 107 137 130 141 22 91 25 45 110 95 86 63 122 99 55 43 96 146 57 75 59 66 105 6 47 71 64 13 7 35 94 19 74 125 103 58 152 127 53 44 39 111 48 121 78 4 65 9 68 73 52
a YES
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154
a 4 10 15 17 22 29 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154
a 4 10 15 22 29 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 65 66 67 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154
a 4 10 15 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 65 66 67 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154
a 4 15 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 55 56 57 58 61 62 63 65 66 67 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154
a 4 15 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 55 56 57 58 61 62 63 65 66 68 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154
a 4 15 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 55 56 57 58 61 62 63 65 66 68 73 74 75 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 141 142 144 147 148 150 152 154
a 4 15 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 55 56 57 58 61 62 63 65 66 68 73 74 75 83 86 87 92 93 98 99 101 105 106 118 121 124 126 129 141 142 144 147 148 150 152 154
a 4 15 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 55 56 57 58 61 62 63 65 66 68 73 74 75 83 86 87 93 96 98 99 101 105 106 118 121 124 126 129 141 142 144 147 148 150 152 154
a 4 15 22 29 30 35 37 39 40 42 43 44 47 48 51 52 55 56 57 58 61 62 63 65 66 68 73 74 75 83 86 87 93 96 98 99 101 105 106 118 121 124 126 127 129 141 142 144 147 148 150 152 154
a 4 15 22 29 30 35 37 39 40 42 43 44 47 48 52 55 56 57 58 61 62 63 65 66 68 73 74 75 83 86 87 93 96 98 99 101 105 106 118 121 122 124 126 127 129 141 142 144 147 148 150 152 154
a 4 15 22 30 35 37 39 40 42 43 44 47 48 52 55 56 57 58 61 62 63 64 65 66 68 73 74 75 83 86 87 93 96 98 99 101 105 106 118 121 122 124 126 127 129 141 142 144 147 148 150 152 154
a 4 15 22 30 35 37 39 40 42 43 44 47 48 52 55 56 57 58 62 63 64 65 66 68 73 74 75 83 86 87 93 96 98 99 101 105 106 107 118 121 122 124 126 127 129 141 142 144 147 148 150 152 154
a 4 15 22 30 35 37 39 40 42 43 44 47 48 52 55 56 57 58 62 63 64 65 66 68 73 74 75 83 86 87 91 93 96 98 99 101 105 107 118 121 122 124 126 127 129 141 142 144 147 148 150 152 154
a 4 15 22 30 35 37 39 40 42 43 44 47 48 52 55 56 57 58 62 63 64 65 66 68 73 74 75 83 86 87 91 93 96 98 99 101 105 107 121 122 124 126 127 129 141 142 144 146 147 148 150 152 154
a 4 15 22 30 35 37 39 40 42 43 44 47 48 52 55 57 58 62 63 64 65 66 68 73 74 75 83 86 87 91 93 96 98 99 101 105 107 110 121 122 124 126 127 129 141 142 144 146 147 148 150 152 154
a 4 15 22 30 35 37 39 40 42 43 44 47 48 52 55 57 58 62 63 64 65 66 68 73 74 75 83 86 87 91 93 95 96 98 99 101 105 107 110 121 122 124 127 129 141 142 144 146 147 148 150 152 154
a 4 7 15 22 30 35 37 39 40 42 43 44 47 48 52 55 57 58 62 63 64 65 66 68 73 74 75 83 86 87 91 95 96 98 99 101 105 107 110 121 122 124 127 129 141 142 144 146 147 148 150 152 154
a 4 7 15 22 30 35 37 39 40 42 43 44 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 98 99 101 105 107 110 121 122 124 127 129 141 142 144 146 147 148 150 152 154
a 4 6 7 15 22 30 35 37 39 40 42 43 44 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 98 99 105 107 110 121 122 124 127 129 141 142 144 146 147 148 150 152 154
a 4 6 7 15 22 30 35 37 39 40 42 43 44 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 99 105 107 110 121 122 124 125 127 129 141 142 144 146 147 148 150 152 154
a 4 6 7 15 19 22 30 35 37 39 40 42 43 44 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 99 105 107 110 121 122 124 125 127 129 141 144 146 147 148 150 152 154
a 4 6 7 15 19 22 35 37 39 40 42 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 99 105 107 110 121 122 124 125 127 129 141 144 146 147 148 150 152 154
a 4 6 7 15 19 22 35 37 39 40 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 99 105 107 110 111 121 122 124 125 127 129 141 144 146 147 148 150 152 154
a 4 6 7 19 22 35 37 39 40 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 99 105 107 110 111 121 122 124 125 127 129 130 141 144 146 147 148 150 152 154
a 4 6 7 13 19 22 35 37 39 40 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 99 105 107 110 111 121 122 124 125 127 130 141 144 146 147 148 150 152 154
a 4 6 7 13 19 22 25 35 37 39 40 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 99 105 107 110 111 121 122 124 125 127 130 141 146 147 148 150 152 154
a 4 6 7 13 19 22 25 35 37 39 40 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 99 105 107 110 111 121 122 124 125 127 130 137 141 146 148 150 152 154
a 4 6 7 13 19 22 25 35 37 39 40 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 73 74 75 83 86 91 95 96 99 103 105 107 110 111 121 122 124 125 127 130 137 141 146 148 152 154
a 4 6 7 13 19 22 25 35 37 39 40 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 86 91 95 96 99 103 105 107 110 111 121 122 124 125 127 130 137 141 146 148 152 154
a 4 6 7 9 13 19 22 25 35 37 39 40 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 86 91 95 96 99 103 105 107 110 111 121 122 124 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 78 86 91 95 96 99 103 105 107 110 111 121 122 124 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 78 86 91 95 96 99 103 105 107 110 111 121 122 124 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 78 86 91 94 95 96 99 103 105 107 110 111 121 122 125 127 130 137 141 146 148 152
#END: [Sun Sep 10 22:16:45 2023]