#BEGIN: [Sat Sep 9 05:00:17 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance021_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph003_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-planning2 --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance021_graph003.col /benchmark/random_instance/random_instance021_graph003_01.dat s 84 245 85 234 144 83 218 154 256 265 223 20 255 72 157 147 112 58 69 193 13 257 95 186 98 203 75 175 51 73 212 270 3 251 235 240 56 127 44 170 63 114 143 252 239 97 205 200 267 52 199 59 104 168 126 91 48 32 195 88 78 225 215 213 237 190 120 90 241 19 37 148 173 24 70 132 50 80 38 229 182 273 233 264 176 183 23 228 t 228 217 174 191 68 113 167 19 163 12 183 265 109 96 50 256 36 154 245 14 70 248 260 45 184 88 236 146 110 229 133 192 169 214 81 123 147 75 209 51 233 185 60 199 9 24 230 49 61 91 25 67 211 267 54 182 254 249 64 59 206 97 156 44 175 241 266 197 195 23 177 150 78 73 34 22 87 176 33 264 215 222 93 235 57 157 3 53 a YES a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 78 80 83 84 85 88 90 91 95 97 98 104 112 114 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 56 58 59 63 69 70 72 73 75 78 80 83 84 85 88 90 91 95 97 98 104 109 112 114 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 58 59 61 63 69 70 72 73 75 78 80 83 84 85 88 90 91 95 97 98 104 109 112 114 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 58 59 61 63 70 72 73 75 78 80 83 84 85 88 90 91 95 97 98 104 109 112 114 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 58 59 61 63 70 72 73 75 78 83 84 85 88 90 91 93 95 97 98 104 109 112 114 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 58 59 61 63 70 72 73 75 78 84 85 88 90 91 93 95 97 98 104 109 112 114 120 126 127 132 133 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 58 59 60 61 63 70 72 73 75 78 84 85 88 90 91 93 95 97 98 104 109 114 120 126 127 132 133 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 58 59 60 61 63 70 72 73 75 78 81 84 85 88 90 91 93 95 97 98 104 109 120 126 127 132 133 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 19 20 23 24 32 34 37 38 44 48 50 51 58 59 60 61 63 70 72 73 75 78 81 84 85 88 90 91 93 95 97 98 104 109 120 126 127 132 133 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 19 23 24 32 34 37 38 44 48 50 51 58 59 60 61 63 70 72 73 75 78 81 84 85 88 90 91 93 95 97 98 104 109 120 126 127 132 133 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 34 37 38 44 48 50 51 58 59 60 61 63 70 72 73 75 78 81 84 85 88 90 91 93 95 97 98 104 109 120 126 127 132 133 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 34 37 38 44 48 50 51 58 59 60 61 63 70 72 73 75 78 81 84 85 88 90 91 93 95 97 98 104 109 120 127 132 133 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 209 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 34 37 38 44 48 50 51 58 59 60 61 63 70 72 73 75 78 81 84 85 88 90 91 93 95 97 98 104 109 120 123 132 133 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 209 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 34 37 38 44 48 50 51 58 59 60 61 63 64 70 72 73 75 78 81 84 85 88 90 91 93 95 97 98 104 109 120 123 132 133 143 144 147 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 209 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 34 37 38 44 48 50 51 58 59 60 61 63 64 70 72 73 75 78 81 84 85 88 90 91 93 95 97 98 109 120 123 132 133 143 144 147 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 209 212 213 215 218 223 225 228 229 230 233 234 235 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 34 37 38 44 48 50 51 58 59 60 61 63 64 70 72 73 75 78 81 84 85 88 90 91 93 95 96 97 98 109 120 123 132 133 143 144 147 154 157 168 170 173 175 176 182 183 186 191 193 195 199 200 203 205 209 212 213 215 218 223 225 228 229 230 233 234 235 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 34 37 38 44 48 50 51 58 59 60 61 63 64 70 72 73 75 78 81 84 85 88 90 91 93 95 96 97 98 109 120 123 132 133 143 144 147 154 157 168 170 173 175 176 182 183 186 191 195 199 200 203 205 209 212 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 34 37 38 44 48 50 51 58 59 60 61 63 64 67 70 72 73 75 78 81 84 85 88 90 91 93 95 96 97 98 109 120 123 132 133 143 144 147 154 157 168 170 173 175 176 182 183 186 191 195 199 203 205 209 212 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 34 37 38 44 48 50 51 58 59 60 61 63 64 67 70 72 73 75 78 81 84 85 88 90 91 93 95 96 97 98 109 120 123 132 133 143 144 147 150 154 157 168 173 175 176 182 183 186 191 195 199 203 205 209 212 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 33 34 37 38 44 48 50 51 58 59 60 61 63 64 67 70 72 73 75 78 81 84 85 88 90 91 93 95 96 97 98 109 120 123 132 133 143 144 147 150 154 157 168 173 175 176 182 183 186 191 195 199 205 209 212 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 33 34 38 44 48 49 50 51 58 59 60 61 63 64 67 70 72 73 75 78 81 84 85 88 90 91 93 95 96 97 98 109 120 123 132 133 143 144 147 150 154 157 168 173 175 176 182 183 186 191 195 199 205 209 212 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 33 34 44 48 49 50 51 58 59 60 61 63 64 67 70 72 73 75 78 81 84 85 88 90 91 93 95 96 97 98 109 120 123 132 133 143 144 147 150 154 157 163 168 173 175 176 182 183 186 191 195 199 205 209 212 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 33 34 44 49 50 51 58 59 60 61 63 64 67 70 72 73 75 78 81 84 85 88 90 91 93 95 96 97 98 109 120 123 132 133 143 144 147 150 154 157 163 168 173 175 176 177 182 183 186 191 195 199 205 209 212 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 33 34 44 49 50 51 58 59 60 61 63 64 67 70 72 73 75 78 81 84 88 90 91 93 95 96 97 98 109 120 123 132 133 143 144 147 150 154 157 163 168 173 175 176 177 182 183 185 186 191 195 199 205 209 212 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 23 24 33 34 44 49 50 51 58 59 60 61 63 64 67 70 72 73 75 78 81 84 88 90 91 93 95 96 97 98 109 113 120 123 132 133 143 144 147 150 154 157 163 168 173 175 176 177 182 183 185 186 191 195 199 205 209 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 22 23 24 33 34 44 49 50 51 59 60 61 63 64 67 70 72 73 75 78 81 84 88 90 91 93 95 96 97 98 109 113 120 123 132 133 143 144 147 150 154 157 163 168 173 175 176 177 182 183 185 186 191 195 199 205 209 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 22 23 24 33 34 44 49 50 51 59 60 61 63 64 67 70 72 73 75 78 81 84 88 90 91 93 95 96 97 109 113 120 123 132 133 143 144 147 150 154 157 163 168 173 175 176 177 182 183 185 186 191 195 199 205 209 211 213 215 218 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 22 23 24 33 34 44 49 50 51 59 60 61 63 64 67 70 72 73 75 78 81 84 88 90 91 93 95 96 97 109 113 120 123 132 133 143 144 147 150 154 157 163 168 173 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 215 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 22 23 24 33 34 44 49 50 51 59 60 61 64 67 70 72 73 75 78 81 84 88 90 91 93 95 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 168 173 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 215 223 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 267 270 273 a 3 12 19 22 23 24 33 34 44 49 50 51 59 60 61 64 67 70 72 73 75 78 81 84 88 90 91 93 95 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 168 173 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 215 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 266 267 270 273 a 3 12 19 22 23 24 33 34 44 49 50 51 59 60 61 64 67 70 72 73 75 78 81 88 90 91 93 95 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 168 173 174 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 215 225 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 266 267 270 273 a 3 12 19 22 23 24 33 34 44 49 50 51 59 60 61 64 67 68 70 72 73 75 78 81 88 90 91 93 95 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 168 173 174 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 215 228 229 230 233 234 235 236 237 239 240 241 245 248 251 252 255 256 257 264 265 266 267 270 273 a 3 9 12 19 22 23 24 33 34 44 49 50 51 59 60 61 64 67 68 70 72 73 75 78 81 88 90 91 93 95 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 168 173 174 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 215 228 229 230 233 234 235 236 237 240 241 245 248 251 252 255 256 257 264 265 266 267 270 273 a 3 9 12 19 22 23 24 33 34 44 49 50 51 59 60 61 64 67 68 70 73 75 78 81 88 90 91 93 95 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 168 173 174 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 215 222 228 229 230 233 234 235 236 237 240 241 245 248 251 252 255 256 257 264 265 266 267 270 273 a 3 9 12 19 22 23 24 33 34 44 49 50 51 59 60 61 64 67 68 70 73 75 78 81 88 90 91 93 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 168 173 174 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 214 215 222 228 229 230 233 234 235 236 237 240 241 245 248 251 252 255 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 33 34 44 49 50 51 59 60 61 64 67 68 70 73 75 78 81 88 90 91 93 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 168 173 174 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 214 215 222 228 229 230 233 234 235 236 237 240 241 245 248 251 252 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 33 34 44 49 50 51 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 167 168 173 174 175 176 177 182 183 184 185 186 191 195 199 205 209 211 213 214 215 222 228 229 230 233 234 235 236 237 240 241 245 248 251 252 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 44 49 50 51 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 120 123 132 133 143 144 147 150 154 157 163 167 168 173 174 175 176 177 182 183 184 185 186 191 195 199 209 211 213 214 215 222 228 229 230 233 234 235 236 237 240 241 245 248 251 252 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 44 49 50 51 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 120 123 132 133 144 147 150 154 157 163 167 168 173 174 175 176 177 182 183 184 185 186 191 195 199 209 211 213 214 215 217 222 228 229 230 233 234 235 236 237 240 241 245 248 251 252 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 44 49 50 51 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 120 123 132 133 144 147 150 154 157 163 167 168 173 174 175 176 177 182 183 184 185 186 191 195 199 209 211 213 214 215 217 222 228 229 230 233 235 236 237 240 241 245 248 251 252 254 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 44 49 50 51 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 123 132 133 144 146 147 150 154 157 163 167 168 173 174 175 176 177 182 183 184 185 186 191 195 199 209 211 213 214 215 217 222 228 229 230 233 235 236 237 240 241 245 248 251 252 254 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 44 49 50 51 53 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 123 132 133 144 146 147 150 154 157 163 167 168 173 174 175 176 177 182 183 184 185 186 191 195 199 209 211 213 214 215 217 222 228 229 230 233 235 236 237 241 245 248 251 252 254 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 44 49 50 51 53 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 123 132 133 144 146 147 150 154 157 163 167 168 174 175 176 177 182 183 184 185 186 191 195 197 199 209 211 213 214 215 217 222 228 229 230 233 235 236 237 241 245 248 251 252 254 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 44 45 49 50 51 53 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 123 132 133 144 146 147 150 154 157 163 167 168 174 175 176 177 182 183 184 185 186 191 195 197 199 209 211 213 214 215 217 222 228 229 230 233 235 236 237 241 245 248 252 254 256 257 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 44 45 49 50 51 53 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 123 132 133 144 146 147 150 154 157 163 167 168 174 175 176 177 182 183 184 185 186 191 195 197 199 209 211 213 214 215 217 222 228 229 230 233 235 236 237 241 245 248 254 256 257 260 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 44 45 49 50 51 53 57 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 123 132 133 144 146 147 150 154 157 163 167 168 174 175 176 177 182 183 184 185 186 191 195 197 199 209 211 213 214 215 217 222 228 229 230 233 235 236 241 245 248 254 256 257 260 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 57 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 123 132 133 144 146 147 150 154 157 163 167 168 174 175 176 177 182 183 184 185 186 191 195 197 199 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 254 256 257 260 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 57 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 123 132 133 144 146 147 150 154 157 163 167 168 174 175 176 177 182 183 184 185 186 191 192 195 197 199 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 254 256 260 264 265 266 267 270 273 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 73 75 78 81 88 91 93 96 97 109 110 113 123 132 133 144 146 147 150 154 157 163 167 168 174 175 176 177 182 183 184 185 186 191 192 195 197 199 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 254 256 260 264 265 266 267 273 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 144 146 147 150 154 157 163 167 168 174 175 176 177 182 183 184 185 186 191 192 195 197 199 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 254 256 260 264 265 266 267 273 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 157 163 167 168 169 174 175 176 177 182 183 184 185 186 191 192 195 197 199 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 254 256 260 264 265 266 267 273 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 186 191 192 195 197 199 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 254 256 260 264 265 266 267 273 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 273 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance021_graph003.col /benchmark/random_instance/random_instance021_graph003_01.dat" User time (seconds): 1733.71 System time (seconds): 6.80 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.63 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 30527512 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8297247 Voluntary context switches: 25 Involuntary context switches: 12303 Swaps: 0 File system inputs: 0 File system outputs: 424 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 05:29:18 2023]