#BEGIN: [Sun Sep 10 22:21:37 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-ai-planning-longest2 #INSTANCE1: /benchmark/random_instance/random_instance017_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph005_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_instance017_graph005.col /benchmark/random_instance/random_instance017_graph005_01.dat s 131 41 140 62 79 160 110 3 60 11 172 164 15 185 184 74 213 166 189 113 181 122 205 212 217 133 65 102 111 28 50 22 108 68 6 96 124 45 33 47 200 4 13 196 29 163 202 208 137 192 73 126 7 8 59 129 209 119 101 206 165 195 58 117 84 93 150 75 132 56 t 47 71 156 159 140 126 220 18 148 49 110 13 11 142 106 19 177 101 152 137 96 122 69 165 178 211 195 32 146 23 53 207 63 29 26 6 179 56 39 14 203 99 30 90 147 44 107 210 176 157 155 199 17 57 43 129 104 163 181 151 134 10 219 143 208 25 196 79 132 92 a YES a 3 4 6 7 8 11 13 15 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 a 3 4 6 7 10 11 13 15 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 a 3 4 6 7 10 11 13 15 22 29 33 39 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 a 3 4 6 7 10 11 13 15 22 29 33 39 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 219 a 3 4 6 7 10 11 13 15 22 29 33 39 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 148 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 219 a 4 6 7 10 11 13 15 22 29 33 39 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 219 a 4 6 7 10 11 13 15 22 29 33 39 43 47 50 56 58 59 60 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 219 a 4 6 7 10 11 13 22 26 29 33 39 43 47 50 56 58 59 60 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 219 a 4 6 7 10 11 13 22 26 29 33 39 43 47 50 56 59 60 65 68 73 74 75 79 84 93 96 101 102 107 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 219 a 4 6 7 10 11 13 22 26 29 33 39 43 47 50 56 59 60 68 73 74 75 79 84 93 96 101 102 107 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 203 205 206 208 209 212 213 217 219 a 6 7 10 11 13 22 26 29 33 39 43 47 50 56 59 60 68 73 74 75 79 84 93 96 101 102 107 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 160 163 164 165 166 172 181 184 185 189 192 195 196 199 200 202 203 205 206 208 209 212 213 217 219 a 6 7 10 11 13 22 26 29 33 39 43 47 50 56 59 60 68 74 75 79 84 93 96 101 102 107 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 155 160 163 164 165 166 172 181 184 185 189 192 195 196 199 200 202 203 205 206 208 209 212 213 217 219 a 6 7 10 11 13 22 26 29 33 39 43 47 50 56 60 68 74 75 79 84 93 96 101 102 107 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 151 155 160 163 164 165 166 172 181 184 185 189 192 195 196 199 200 202 203 205 206 208 209 212 213 217 219 a 6 7 10 11 13 22 26 29 33 39 43 47 50 56 60 68 75 79 84 93 96 101 102 107 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 151 155 159 160 163 164 165 166 172 181 184 185 189 192 195 196 199 200 202 203 205 206 208 209 212 213 217 219 a 6 7 10 11 13 22 26 29 30 33 39 43 47 50 56 60 68 75 79 84 93 96 101 102 107 110 111 113 117 119 122 124 126 129 131 132 133 137 140 147 148 150 151 155 159 160 163 164 165 166 172 181 184 185 189 192 195 196 199 200 202 203 205 206 208 209 212 213 217 219 a 6 7 10 11 13 22 25 26 29 30 33 39 43 47 50 56 60 68 75 79 84 93 96 101 102 107 110 111 117 119 122 124 126 129 131 132 133 137 140 147 148 150 151 155 159 160 163 164 165 166 172 181 184 185 189 192 195 196 199 200 202 203 205 206 208 209 212 213 217 219 a 6 7 10 11 13 22 25 26 29 30 33 39 43 47 50 56 60 68 75 79 84 93 96 101 102 107 110 111 119 122 124 126 129 131 132 133 137 140 146 147 148 150 151 155 159 160 163 164 165 166 172 181 184 185 189 192 195 196 199 200 202 203 205 206 208 209 212 213 217 219 a 6 7 10 11 13 22 25 26 29 30 33 39 43 47 50 56 60 68 75 79 84 93 96 101 102 107 110 111 119 122 124 126 129 132 133 137 140 146 147 148 150 151 155 159 160 163 164 165 166 172 181 184 185 189 192 195 196 199 200 202 203 205 206 207 208 209 212 213 217 219 a 6 10 11 13 22 25 26 29 30 33 39 43 47 50 56 60 68 75 79 84 93 96 101 102 107 110 111 119 122 124 126 129 132 133 137 140 146 147 148 150 151 155 159 160 163 164 165 166 172 177 181 184 185 189 192 195 196 199 200 202 203 205 206 207 208 209 212 213 217 219 a 6 10 11 13 22 25 26 29 30 32 33 39 43 47 50 56 60 68 75 79 84 93 96 101 102 107 110 111 119 122 124 126 129 132 137 140 146 147 148 150 151 155 159 160 163 164 165 166 172 177 181 184 185 189 192 195 196 199 200 202 203 205 206 207 208 209 212 213 217 219 a 6 10 11 13 22 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 84 93 96 101 102 107 110 111 119 122 124 126 129 132 137 140 146 147 148 151 155 159 160 163 164 165 166 172 177 181 184 185 189 192 195 196 199 200 202 203 205 206 207 208 209 212 213 217 219 a 6 10 11 13 22 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 84 93 96 101 102 104 107 110 111 119 122 124 126 129 132 137 140 146 147 148 151 155 159 160 163 165 166 172 177 181 184 185 189 192 195 196 199 200 202 203 205 206 207 208 209 212 213 217 219 a 6 10 11 13 22 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 84 90 93 96 101 102 104 107 110 111 119 122 124 126 129 132 137 140 146 147 148 151 155 159 160 163 165 166 177 181 184 185 189 192 195 196 199 200 202 203 205 206 207 208 209 212 213 217 219 a 6 10 11 13 22 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 84 90 93 96 101 102 104 107 110 111 119 122 124 126 129 132 137 140 146 147 148 151 155 159 160 163 165 166 177 178 181 184 185 189 195 196 199 200 202 203 205 206 207 208 209 212 213 217 219 a 6 10 11 13 22 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 84 90 93 96 101 102 104 107 110 111 119 122 124 126 129 132 137 140 146 147 148 151 155 159 160 163 165 166 177 178 181 184 185 189 195 196 199 202 203 205 206 207 208 209 211 212 213 217 219 a 6 10 11 13 22 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 84 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 137 140 146 147 148 151 155 159 160 163 165 166 177 178 181 184 185 189 195 196 199 202 203 206 207 208 209 211 212 213 217 219 a 6 10 11 13 18 22 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 84 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 137 140 146 147 148 151 155 159 160 163 165 166 177 178 181 184 185 189 195 196 199 202 203 207 208 209 211 212 213 217 219 a 6 10 11 13 18 22 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 84 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 159 160 163 165 166 177 178 181 184 185 189 195 196 199 202 203 207 208 211 212 213 217 219 a 6 10 11 13 18 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 84 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 166 177 178 181 184 185 189 195 196 199 202 203 207 208 211 212 213 217 219 a 6 10 11 13 18 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 166 177 178 179 181 184 185 189 195 196 199 202 203 207 208 211 212 213 217 219 a 6 10 11 13 18 25 26 29 30 32 33 39 43 47 49 50 56 60 68 75 79 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 176 177 178 179 181 184 185 189 195 196 199 202 203 207 208 211 212 213 217 219 a 6 10 11 13 18 25 26 29 30 32 33 39 43 47 49 50 56 60 68 71 75 79 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 212 213 217 219 a 6 10 11 13 18 25 26 29 30 32 33 39 43 47 49 50 53 56 68 71 75 79 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 212 213 217 219 a 6 10 11 13 18 25 26 29 30 32 33 39 43 47 49 50 53 56 68 71 75 79 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 213 217 219 220 a 6 10 11 13 18 23 25 26 29 30 32 39 43 47 49 50 53 56 68 71 75 79 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 213 217 219 220 a 6 10 11 13 18 23 25 26 29 30 32 39 43 47 49 50 53 56 71 75 79 90 92 93 96 101 102 104 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 152 155 156 159 160 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 213 217 219 220 a 6 10 11 13 18 23 25 26 29 30 32 39 43 47 49 50 53 56 71 75 79 90 92 93 96 101 104 106 107 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 152 155 156 159 160 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 213 217 219 220 a 6 10 11 13 18 23 25 26 29 30 32 39 43 47 49 50 53 56 57 71 75 79 90 92 93 96 101 104 106 107 110 119 122 124 126 129 132 134 137 140 146 147 148 151 152 155 156 159 160 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 213 217 219 220 a 6 10 11 13 18 23 25 26 29 30 32 39 43 47 49 50 53 56 57 63 71 75 79 90 92 93 96 101 104 106 107 110 119 122 124 126 129 132 134 137 140 146 147 148 151 152 155 156 159 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 213 217 219 220 a 6 10 11 13 18 23 25 26 29 30 32 39 43 47 49 50 53 56 57 63 71 75 79 90 92 93 96 101 104 106 107 110 119 122 124 126 129 132 134 137 140 143 146 147 148 151 152 155 156 159 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 217 219 220 a 6 10 11 13 18 23 25 26 29 30 32 39 43 47 49 53 56 57 63 71 75 79 90 92 93 96 99 101 104 106 107 110 119 122 124 126 129 132 134 137 140 143 146 147 148 151 152 155 156 159 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 217 219 220 a 6 10 11 13 18 19 23 25 26 29 30 32 39 43 47 49 53 56 57 63 71 79 90 92 93 96 99 101 104 106 107 110 119 122 124 126 129 132 134 137 140 143 146 147 148 151 152 155 156 159 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 217 219 220 a 6 10 11 13 18 19 23 25 26 29 30 32 39 43 47 49 53 56 57 63 69 71 79 90 92 93 96 99 101 104 106 107 110 119 122 126 129 132 134 137 140 143 146 147 148 151 152 155 156 159 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 217 219 220 a 6 10 11 13 14 18 19 23 25 26 29 30 32 39 43 47 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 119 122 126 129 132 134 137 140 143 146 147 148 151 152 155 156 159 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 217 219 220 a 6 10 11 13 14 18 19 23 25 26 29 30 32 39 43 44 47 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 143 146 147 148 151 152 155 156 159 163 165 176 177 178 179 181 185 189 195 196 199 202 203 207 208 211 217 219 220 a 6 10 11 13 14 18 19 23 25 26 29 30 32 39 43 44 47 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 143 146 147 148 151 152 155 156 159 163 165 176 177 178 179 181 189 195 196 199 202 203 207 208 210 211 217 219 220 a 6 10 11 13 14 18 19 23 25 26 29 30 32 39 43 44 47 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 143 146 147 148 151 152 155 156 157 159 163 165 176 177 178 179 181 195 196 199 202 203 207 208 210 211 217 219 220 a 6 10 11 13 14 18 19 23 25 26 29 30 32 39 43 44 47 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 152 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 210 211 217 219 220 a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 39 43 44 47 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 152 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 210 211 219 220 #END: [Sun Sep 10 22:50:36 2023]