#BEGIN: [Sun Sep 10 22:33:26 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-ai-planning-longest2 #INSTANCE1: /benchmark/random_instance/random_instance018_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance018_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_instance018_graph005.col /benchmark/random_instance/random_instance018_graph005_01.dat s 98 132 102 118 133 130 183 43 216 158 114 67 90 74 97 58 68 10 94 167 116 99 16 184 122 103 138 120 33 148 204 209 87 225 25 230 6 20 181 197 45 220 44 206 32 88 149 192 100 60 111 144 91 153 171 24 228 101 63 224 119 189 163 215 95 190 191 179 141 213 50 223 177 3 7 205 t 128 17 88 70 29 100 188 148 9 122 31 51 20 168 199 37 153 224 74 183 147 211 123 221 91 139 178 121 116 149 112 189 106 119 223 102 171 198 140 13 190 33 227 32 203 69 90 215 35 193 3 46 141 210 89 76 54 233 205 129 101 15 120 59 164 110 161 78 231 84 162 114 177 222 138 63 a YES a 3 6 7 10 16 20 24 25 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 6 7 10 16 20 24 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 167 168 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 7 10 16 20 24 32 33 43 44 45 50 58 60 63 67 68 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 164 167 168 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 7 10 16 20 32 33 43 44 45 50 58 60 63 67 68 69 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 164 167 168 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 213 215 216 220 223 224 225 228 230 a 3 7 10 16 20 32 33 43 44 50 58 60 63 67 68 69 74 87 88 90 91 94 95 97 98 99 100 101 102 103 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 164 167 168 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 211 213 215 216 220 223 224 225 228 230 a 3 7 10 16 20 32 33 43 44 50 58 60 63 68 69 74 87 88 90 91 94 95 97 98 99 100 101 102 103 106 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 164 167 168 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 211 213 215 216 220 223 224 225 228 230 a 3 7 10 16 20 32 33 43 44 50 54 58 60 63 68 69 74 87 88 90 91 95 97 98 99 100 101 102 103 106 111 114 116 118 119 120 122 130 132 133 138 141 144 148 149 153 158 163 164 167 168 171 177 179 181 183 184 189 190 191 192 197 204 205 206 209 211 213 215 216 220 223 224 225 228 230 a 3 7 10 16 20 32 33 43 44 50 54 58 60 63 68 69 74 87 88 90 91 95 97 98 99 100 101 102 103 106 111 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 164 167 168 171 177 178 179 181 183 184 189 190 191 192 197 204 205 206 209 211 213 215 216 220 223 224 225 228 230 a 3 7 10 20 32 33 43 44 50 54 58 60 63 68 69 74 87 88 90 91 95 97 98 99 100 101 102 103 106 111 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 164 167 168 171 177 178 179 181 183 184 188 189 190 191 192 197 204 205 206 209 211 213 215 216 220 223 224 225 228 230 a 3 7 20 32 33 43 44 50 54 58 60 63 68 69 74 87 88 90 91 95 97 98 99 100 101 102 103 106 111 114 116 118 119 120 122 130 133 138 141 144 148 149 153 158 163 164 167 168 171 177 178 179 181 183 184 188 189 190 191 192 197 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 a 3 7 15 20 32 33 43 44 50 54 58 60 63 68 69 74 87 88 90 91 95 97 98 99 100 101 102 103 106 111 114 116 118 119 120 122 130 138 141 144 148 149 153 158 163 164 167 168 171 177 178 179 181 183 184 188 189 190 191 192 197 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 a 3 7 15 20 32 33 43 44 50 54 58 60 63 68 69 74 87 88 90 91 95 97 98 99 100 101 102 103 106 111 114 116 118 119 120 122 138 141 144 148 149 153 158 163 164 167 168 171 177 178 179 181 183 184 188 189 190 191 192 197 198 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 a 3 7 15 20 32 33 43 44 50 54 58 60 63 68 69 74 87 88 90 91 95 97 98 99 100 101 102 103 106 110 111 114 116 118 119 120 122 138 141 144 148 149 153 158 163 164 167 168 171 177 178 179 181 183 188 189 190 191 192 197 198 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 a 3 15 20 32 33 43 44 50 54 58 60 63 68 69 74 87 88 89 90 91 95 97 98 99 100 101 102 103 106 110 111 114 116 118 119 120 122 138 141 144 148 149 153 158 163 164 167 168 171 177 178 179 181 183 188 189 190 191 192 197 198 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 a 3 15 20 32 33 44 50 54 58 60 63 68 69 74 87 88 89 90 91 95 97 98 99 100 101 102 103 106 110 111 114 116 118 119 120 122 138 141 144 148 149 153 158 163 164 167 168 171 177 178 179 181 183 188 189 190 191 192 197 198 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 231 a 3 15 20 32 33 44 50 54 58 60 63 68 69 74 78 87 88 89 90 91 95 97 98 100 101 102 103 106 110 111 114 116 118 119 120 122 138 141 144 148 149 153 158 163 164 167 168 171 177 178 179 181 183 188 189 190 191 192 197 198 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 231 a 3 15 20 32 33 44 50 54 58 60 63 68 69 74 78 87 88 89 90 91 95 97 98 100 101 102 103 106 110 111 114 116 118 119 120 122 138 141 144 148 149 153 158 163 164 168 171 177 178 179 181 183 188 189 190 191 192 197 198 203 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 231 a 3 15 20 32 33 44 50 54 58 60 63 68 69 74 78 84 87 88 89 90 91 95 97 98 100 101 102 103 106 110 111 114 116 118 119 120 122 138 141 144 148 149 153 158 163 164 168 171 177 178 179 181 183 188 189 190 192 197 198 203 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 231 a 3 15 20 32 33 44 50 54 58 60 63 68 69 74 78 84 88 89 90 91 95 97 98 100 101 102 103 106 110 111 114 116 118 119 120 122 138 141 144 148 149 153 158 163 164 168 171 177 178 179 181 183 188 189 190 192 193 197 198 203 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 231 a 3 15 20 32 33 44 50 54 58 60 63 68 69 74 78 84 88 89 90 91 95 97 98 100 101 102 103 106 110 111 114 116 118 119 120 122 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 181 183 188 189 190 193 197 198 203 204 205 206 209 211 213 215 216 220 222 223 224 225 228 230 231 a 3 15 20 32 33 44 50 54 58 60 63 68 69 74 78 84 88 89 90 91 95 97 98 100 101 102 103 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 181 183 188 189 190 193 197 198 203 204 205 206 209 211 213 215 216 220 221 222 223 224 225 228 230 231 a 3 15 20 31 32 33 44 50 54 58 60 63 68 69 74 78 84 88 89 90 91 95 98 100 101 102 103 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 181 183 188 189 190 193 197 198 203 204 205 206 209 211 213 215 216 220 221 222 223 224 225 228 230 231 a 3 15 20 31 32 33 44 50 54 58 60 63 68 69 74 76 78 84 88 89 90 91 95 98 100 101 102 103 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 203 204 205 206 209 211 213 215 216 220 221 222 223 224 225 228 230 231 a 3 15 20 31 32 33 35 44 50 54 58 60 63 68 69 74 76 78 84 88 89 90 91 95 98 100 101 102 103 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 203 204 205 209 211 213 215 216 220 221 222 223 224 225 228 230 231 a 3 15 20 31 32 33 35 44 46 50 54 58 60 63 68 69 74 76 78 84 88 89 90 91 95 98 100 101 102 103 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 a 3 15 20 29 31 32 33 35 46 50 54 58 60 63 68 69 74 76 78 84 88 89 90 91 95 98 100 101 102 103 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 a 3 15 20 29 31 32 33 35 46 50 54 60 63 68 69 74 76 78 84 88 89 90 91 95 98 100 101 102 103 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 161 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 a 3 15 20 29 31 32 33 35 46 50 54 60 63 68 69 74 76 78 84 88 89 90 91 95 100 101 102 103 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 161 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 233 a 3 13 15 20 29 31 32 33 35 46 50 54 60 63 68 69 74 76 78 84 88 89 90 91 95 100 101 102 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 161 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 233 a 3 9 13 15 20 29 31 32 33 35 46 50 54 63 68 69 74 76 78 84 88 89 90 91 95 100 101 102 106 110 111 114 116 119 120 122 138 141 144 148 149 153 158 161 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 233 a 3 9 13 15 20 29 31 32 33 35 46 50 54 63 68 69 74 76 78 84 88 89 90 91 95 100 101 102 106 110 111 114 116 119 120 122 138 141 144 148 149 153 161 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 199 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 233 a 3 9 13 15 20 29 31 32 33 35 46 54 63 68 69 74 76 78 84 88 89 90 91 95 100 101 102 106 110 111 114 116 119 120 122 128 138 141 144 148 149 153 161 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 199 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 233 a 3 9 13 15 20 29 31 32 33 35 46 54 63 68 69 70 74 76 78 84 88 89 90 91 95 100 101 102 106 110 114 116 119 120 122 128 138 141 144 148 149 153 161 162 163 164 168 171 177 178 179 181 183 188 189 190 193 198 199 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 233 a 3 9 13 15 20 29 31 32 33 35 46 54 63 68 69 70 74 76 78 84 88 89 90 91 95 100 101 102 106 110 112 114 116 119 120 122 128 138 141 144 148 149 153 161 162 164 168 171 177 178 179 181 183 188 189 190 193 198 199 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 233 a 3 9 13 15 20 29 31 32 33 35 46 54 63 68 69 70 74 76 78 84 88 89 90 91 95 100 101 102 106 110 112 114 116 119 120 122 128 129 138 141 144 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 233 a 3 9 13 15 20 29 31 32 33 35 46 54 63 68 69 70 74 76 78 84 88 89 90 91 95 100 101 102 106 110 112 114 116 119 120 122 128 129 138 139 141 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 204 205 211 213 215 216 220 221 222 223 224 225 228 230 231 233 a 3 9 13 15 20 29 31 32 33 35 46 54 63 68 69 70 74 76 78 84 88 89 90 91 95 100 101 102 106 110 112 114 116 119 120 122 128 129 138 139 141 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 213 215 216 220 221 222 223 224 225 227 228 230 231 233 a 3 9 13 15 20 29 31 32 33 35 37 46 54 63 68 69 70 74 76 78 84 88 89 90 91 95 100 101 102 106 110 112 114 116 119 120 122 128 129 138 139 141 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 215 216 220 221 222 223 224 225 227 228 230 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 54 63 68 69 70 74 76 78 84 88 89 90 91 95 100 101 102 106 110 112 114 116 119 120 122 128 129 138 139 141 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 211 215 220 221 222 223 224 225 227 228 230 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 54 63 69 70 74 76 78 84 88 89 90 91 95 100 101 102 106 110 112 114 116 119 120 122 128 129 138 139 141 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 210 211 215 220 221 222 223 224 225 227 228 230 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 54 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 122 123 128 129 138 139 141 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 210 211 215 220 221 222 223 224 225 227 228 230 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 54 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 139 141 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 225 227 228 230 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 54 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 139 140 141 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 228 230 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 54 59 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 139 140 141 148 149 153 161 162 164 168 171 177 178 179 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 230 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 54 59 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 139 140 141 147 148 149 153 161 162 164 168 171 177 178 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 230 231 233 a 3 9 13 15 17 20 29 31 32 33 35 37 46 51 54 59 63 69 70 74 76 78 84 88 89 90 91 100 101 102 106 110 112 114 116 119 120 121 122 123 128 129 138 139 140 141 147 148 149 153 161 162 164 168 171 177 178 183 188 189 190 193 198 199 203 205 210 211 215 221 222 223 224 227 231 233 #END: [Sun Sep 10 23:02:26 2023]