#BEGIN: [Sat Sep 9 13:48:17 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance024_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance024_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-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance024_graph005.col /benchmark/random_instance/random_instance024_graph005_01.dat s 26 250 309 206 307 136 226 246 213 242 127 50 273 203 120 312 12 151 278 244 87 224 140 275 123 58 116 183 88 264 93 232 145 168 249 10 274 306 268 281 269 175 61 7 294 238 166 301 96 172 298 72 299 24 97 181 3 62 308 1 71 51 310 286 110 41 257 13 225 143 57 101 303 157 33 222 204 125 216 169 202 253 30 230 66 73 108 239 261 5 118 47 211 236 277 272 217 201 106 163 289 197 122 293 t 103 87 9 148 116 14 225 137 20 170 247 106 271 267 248 230 7 181 171 223 169 39 55 122 104 253 206 272 160 229 278 120 51 124 232 159 52 177 67 165 301 36 21 68 289 191 140 107 61 96 46 284 145 216 237 93 201 274 205 180 234 54 76 100 178 199 94 306 214 192 77 143 196 304 121 288 58 38 219 63 269 163 233 136 246 59 139 108 242 130 211 293 88 47 33 34 26 146 283 252 310 5 308 303 a YES a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 216 217 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 199 201 202 203 204 206 211 213 216 217 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 3 5 7 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 199 201 202 203 204 206 211 213 216 217 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 3 5 7 12 13 24 26 30 33 41 47 51 57 58 61 62 66 71 72 73 76 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 199 201 202 203 204 206 211 213 216 217 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 12 13 24 26 30 33 41 47 51 57 58 61 62 66 71 72 73 76 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 139 140 143 145 151 157 163 166 168 169 172 175 181 183 197 199 201 202 203 204 206 211 213 216 217 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 12 13 24 26 30 33 41 47 51 57 58 61 62 71 72 73 76 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 139 140 143 145 151 157 163 166 168 169 172 175 181 183 197 199 201 202 203 204 206 211 213 216 217 222 224 225 226 229 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 12 13 24 26 30 33 38 41 47 51 57 58 61 62 72 73 76 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 139 140 143 145 151 157 163 166 168 169 172 175 181 183 197 199 201 202 203 204 206 211 213 216 217 222 224 225 226 229 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 12 13 24 26 30 33 38 41 47 51 57 58 61 62 73 76 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 139 140 143 145 151 157 163 166 168 169 172 175 181 183 197 199 201 202 203 204 206 211 213 216 217 222 224 225 226 229 230 232 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 12 13 24 26 30 33 38 41 47 51 57 58 61 73 76 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 139 140 143 145 151 157 163 165 166 168 169 172 175 181 183 197 199 201 202 203 204 206 211 213 216 217 222 224 225 226 229 230 232 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 12 13 24 26 30 33 38 41 47 51 57 58 61 73 76 87 88 93 96 97 101 106 108 116 118 120 122 123 124 125 127 136 139 140 143 145 151 157 163 165 166 168 169 172 175 181 183 197 199 201 202 203 204 205 206 211 213 216 217 222 224 225 226 229 230 232 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 12 13 24 26 30 33 38 41 47 51 57 58 61 73 76 87 88 93 96 97 101 106 108 116 118 120 122 123 124 125 136 139 140 143 145 151 157 163 165 166 168 169 172 175 181 183 192 197 199 201 202 203 204 205 206 211 213 216 217 222 224 225 226 229 230 232 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 12 13 24 26 30 33 38 41 47 51 57 58 61 73 76 87 88 93 96 97 101 106 108 116 118 120 122 123 124 125 136 139 140 143 145 157 163 165 166 168 169 172 175 181 183 191 192 197 199 201 202 203 204 205 206 211 213 216 217 222 224 225 226 229 230 232 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 13 24 26 30 33 38 41 47 51 57 58 61 73 76 87 88 93 96 97 101 106 108 116 118 120 122 123 124 125 136 139 140 143 145 157 163 165 166 168 169 172 175 181 183 191 192 197 199 201 202 203 204 205 206 211 213 216 217 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 13 24 26 30 33 38 41 47 51 57 58 61 73 76 87 88 93 94 96 97 101 106 108 116 118 120 122 123 124 125 136 139 140 143 145 157 163 165 168 169 172 175 181 183 191 192 197 199 201 202 203 204 205 206 211 213 216 217 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 13 24 26 30 33 38 41 47 51 57 58 61 63 73 76 87 88 93 94 96 97 101 106 108 116 118 120 122 123 124 125 136 139 140 143 145 157 163 165 169 172 175 181 183 191 192 197 199 201 202 203 204 205 206 211 213 216 217 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 13 24 26 30 33 38 41 47 51 57 58 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 172 175 181 183 191 192 197 199 201 202 203 204 205 206 211 213 216 217 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 13 24 26 30 33 38 41 47 51 57 58 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 175 181 183 191 192 197 199 201 202 203 204 205 206 211 213 216 217 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 13 24 26 30 33 38 41 47 51 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 175 181 191 192 197 199 201 202 203 204 205 206 211 213 216 217 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 13 24 26 30 33 38 41 47 51 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 175 181 191 192 197 199 201 202 203 205 206 211 213 216 217 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 248 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 13 20 24 26 30 33 38 41 47 51 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 181 191 192 197 199 201 202 203 205 206 211 213 216 217 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 248 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 13 20 24 26 30 33 38 39 41 47 51 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 181 191 192 197 199 201 202 203 205 206 211 216 217 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 248 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 24 26 30 33 38 39 41 47 51 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 181 191 192 197 199 201 202 203 205 206 211 216 217 219 222 224 225 226 229 230 232 233 236 238 239 242 244 246 247 248 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 24 26 30 33 38 39 41 47 51 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 178 181 191 192 197 199 201 202 203 205 206 211 216 217 219 222 225 226 229 230 232 233 236 238 239 242 244 246 247 248 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 24 26 30 33 38 39 41 47 51 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 178 181 191 192 197 199 201 202 203 205 206 211 214 216 217 219 222 225 229 230 232 233 236 238 239 242 244 246 247 248 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 24 26 30 33 38 39 41 47 51 55 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 178 181 191 192 197 199 201 202 203 205 206 211 214 216 217 219 222 225 229 230 232 233 236 238 242 244 246 247 248 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 24 26 30 33 38 39 41 47 51 55 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 236 238 242 244 246 247 248 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 24 26 30 33 38 39 41 47 51 55 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 236 237 238 242 244 246 247 248 250 253 257 261 264 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 26 30 33 38 39 41 47 51 55 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 236 237 238 242 244 246 247 248 250 252 253 257 261 264 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 26 33 38 39 41 47 51 55 57 58 59 61 63 73 76 87 88 93 94 96 97 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 236 237 238 242 244 246 247 248 250 252 253 257 261 264 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 26 33 38 39 41 47 51 55 57 58 59 61 63 73 76 87 88 93 94 96 97 100 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 236 237 238 242 244 246 247 248 252 253 257 261 264 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 26 33 38 39 41 47 51 55 57 58 59 61 63 73 76 87 88 93 94 96 97 100 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 234 236 237 238 242 244 246 247 248 252 253 257 261 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 26 33 38 39 47 51 55 57 58 59 61 63 73 76 87 88 93 94 96 97 100 101 106 108 116 120 122 123 124 125 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 234 236 237 238 242 244 246 247 248 252 253 257 261 267 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 26 33 38 39 47 51 55 57 58 59 61 63 73 76 87 88 93 94 96 97 100 101 106 107 108 116 120 122 123 124 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 234 236 237 238 242 244 246 247 248 252 253 257 261 267 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 5 7 20 26 33 38 39 47 51 55 57 58 59 61 63 76 87 88 93 94 96 97 100 101 106 107 108 116 120 122 123 124 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 234 236 237 238 242 244 246 247 248 252 253 257 261 267 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 20 26 33 38 39 46 47 51 55 57 58 59 61 63 76 87 88 93 94 96 97 100 101 106 107 108 116 120 122 123 124 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 225 229 230 232 233 234 236 237 238 242 244 246 247 248 252 253 257 267 268 269 272 273 274 275 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 20 26 33 38 39 46 47 51 55 57 58 59 61 63 76 87 88 93 94 96 97 100 101 106 107 108 116 120 122 123 124 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 244 246 247 248 252 253 257 267 268 269 272 274 275 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 20 26 33 38 39 46 47 51 55 57 58 59 61 63 68 76 87 88 93 94 96 97 100 101 106 107 108 116 120 122 123 124 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 268 269 272 274 275 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 20 26 33 38 39 46 47 51 55 57 58 59 61 63 68 76 87 88 93 94 96 97 100 101 106 107 108 116 120 122 123 124 130 136 139 140 143 145 146 157 163 165 169 171 178 181 191 192 197 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 268 269 271 272 274 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 20 26 33 38 39 46 47 51 55 57 58 59 61 63 68 76 87 88 93 94 96 97 100 101 106 107 108 116 120 122 123 124 130 136 139 140 143 145 146 157 163 165 169 171 178 180 181 191 192 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 268 269 271 272 274 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 20 26 33 38 39 46 47 51 55 57 58 59 61 63 68 76 87 88 93 94 96 100 101 106 107 108 116 120 122 123 124 130 136 139 140 143 145 146 157 163 165 169 171 177 178 180 181 191 192 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 268 269 271 272 274 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 20 26 33 38 39 46 47 51 55 57 58 59 61 63 68 76 87 88 93 94 96 100 106 107 108 116 120 122 123 124 130 136 137 139 140 143 145 146 157 163 165 169 171 177 178 180 181 191 192 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 268 269 271 272 274 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 20 26 33 38 39 46 47 51 54 55 57 58 59 61 63 68 76 87 88 93 94 96 100 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 157 163 165 169 171 177 178 180 181 191 192 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 268 269 271 272 274 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 14 20 26 33 38 39 46 47 51 54 55 57 58 59 61 63 68 76 87 88 93 94 96 100 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 157 163 165 169 171 177 178 180 181 191 192 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 269 271 272 274 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 14 20 26 33 38 39 46 47 51 54 55 58 59 61 63 68 76 87 88 93 94 96 100 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 157 163 165 169 171 177 178 180 181 191 192 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 269 271 272 274 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 38 39 46 47 51 54 55 58 59 61 63 68 76 87 88 93 94 96 100 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 163 165 169 171 177 178 180 181 191 192 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 269 271 272 274 277 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 68 76 87 88 93 94 96 100 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 163 165 169 171 177 178 180 181 191 192 199 201 202 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 269 271 272 274 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 68 76 87 88 93 94 96 100 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 171 177 178 180 181 191 192 199 201 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 238 242 246 247 248 252 253 257 267 269 271 272 274 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 67 68 76 87 88 93 94 96 100 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 171 177 178 180 181 191 192 199 201 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 242 246 247 248 252 253 257 267 269 271 272 274 278 281 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 67 68 76 87 88 93 94 96 100 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 217 219 222 223 225 229 230 232 233 234 236 237 242 246 247 248 252 253 257 267 269 271 272 274 278 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 67 68 76 87 88 93 94 96 100 103 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 217 219 223 225 229 230 232 233 234 236 237 242 246 247 248 252 253 257 267 269 271 272 274 278 284 286 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 67 68 76 87 88 93 94 96 100 103 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 217 219 223 225 229 230 232 233 234 236 237 242 246 247 248 252 253 257 267 269 271 272 274 278 283 284 289 293 294 298 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 67 68 76 87 88 93 94 96 100 103 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 217 219 223 225 229 230 232 233 234 236 237 242 246 247 248 252 253 257 267 269 271 272 274 278 283 284 289 293 294 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 106 107 108 116 120 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 236 237 242 246 247 248 252 253 257 267 269 271 272 274 278 283 284 289 293 294 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 236 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 289 293 294 299 301 303 304 306 307 308 309 310 312 a 5 7 9 14 20 26 33 34 38 39 46 47 51 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 236 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 294 299 301 303 304 306 308 309 310 312 a 5 7 9 14 20 26 33 34 36 38 39 46 47 51 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 236 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 294 299 301 303 304 306 308 309 310 a 5 7 9 14 20 26 33 34 36 38 39 46 47 51 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 294 299 301 303 304 306 308 309 310 a 5 7 9 14 20 26 33 34 36 38 39 46 47 51 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 299 301 303 304 306 308 309 310 a 5 7 9 14 20 21 26 33 34 36 38 39 46 47 51 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 304 306 308 309 310 a 5 7 9 14 20 21 26 33 34 36 38 39 46 47 51 52 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 304 306 308 310 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance024_graph005.col /benchmark/random_instance/random_instance024_graph005_01.dat" User time (seconds): 3468.03 System time (seconds): 12.32 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.67 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): 24011372 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7287199 Voluntary context switches: 68607 Involuntary context switches: 9397 Swaps: 0 File system inputs: 0 File system outputs: 664 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 14:17:17 2023]