#BEGIN: [Fri Sep 8 20:52:46 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance025_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph004_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance025_graph004.col /benchmark/random_instance/random_instance025_graph004_01.dat s 116 231 5 314 65 163 159 137 315 73 295 109 8 78 133 255 283 306 141 317 69 156 278 260 28 36 325 190 35 143 91 13 286 179 215 76 263 121 170 171 77 68 294 144 38 308 302 130 324 222 19 211 160 252 131 46 212 248 52 200 165 225 61 30 322 245 201 1 150 244 232 72 241 323 274 94 267 39 311 42 23 186 247 242 290 93 70 272 82 149 55 12 217 238 43 183 224 288 146 265 32 300 205 9 264 221 t 77 188 241 105 160 16 203 59 295 75 149 319 314 261 153 205 152 27 185 91 113 32 106 315 320 39 108 220 257 43 128 280 148 183 294 44 159 225 67 299 311 324 214 135 221 222 217 211 73 267 156 169 269 114 143 200 270 163 170 193 255 206 127 177 252 68 25 259 264 286 278 173 18 72 14 291 194 238 316 321 69 41 239 1 297 234 49 145 120 276 52 12 158 130 42 242 46 71 190 249 247 4 101 82 208 224 a YES a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 9 12 13 19 23 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 9 12 13 19 23 30 32 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 128 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 9 12 13 19 23 30 32 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 128 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 300 302 306 308 311 314 315 316 317 322 323 324 325 a 1 9 12 13 19 23 30 32 36 38 39 42 43 44 46 52 55 61 65 68 69 72 73 76 77 78 82 91 93 94 109 116 121 128 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 300 302 306 308 311 314 315 316 317 322 323 324 325 a 1 9 12 13 19 23 30 32 36 38 39 42 43 44 46 52 55 61 65 68 69 72 73 75 77 78 82 91 93 94 109 116 121 128 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 300 302 306 308 311 314 315 316 317 322 323 324 325 a 1 9 12 13 19 23 30 32 36 38 39 42 43 44 46 52 55 61 65 68 69 72 73 75 77 78 82 91 93 94 101 109 116 121 128 130 131 133 137 141 143 144 146 149 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 300 302 306 308 311 314 315 316 317 322 323 324 325 a 1 12 13 19 23 30 32 36 38 39 42 43 44 46 52 55 61 65 68 69 72 73 75 77 78 82 91 93 94 101 109 116 121 128 130 131 133 137 141 143 144 146 149 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 300 302 306 308 311 314 315 316 317 322 323 324 325 a 1 12 13 19 23 30 32 36 38 39 42 43 44 46 52 55 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 300 302 306 308 311 314 315 316 317 322 323 324 325 a 1 12 13 19 23 30 32 36 38 39 42 43 44 46 52 55 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 171 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 299 300 302 306 308 311 314 315 316 317 322 323 324 325 a 1 12 13 19 23 30 32 36 38 39 42 43 44 46 52 55 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 179 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 299 300 302 306 308 311 314 315 316 317 322 323 324 325 a 1 12 13 19 23 30 32 36 38 39 42 43 44 46 52 55 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 12 19 23 30 32 36 38 39 42 43 44 46 52 55 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 177 183 186 190 200 201 205 211 212 215 217 220 221 222 224 225 231 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 12 19 23 30 32 36 38 39 42 43 44 46 52 55 59 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 177 183 186 190 200 201 205 211 215 217 220 221 222 224 225 231 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 12 19 23 30 32 36 38 39 42 43 44 46 52 55 59 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 177 183 186 190 200 201 205 211 217 220 221 222 224 225 231 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 12 23 30 32 36 38 39 42 43 44 46 52 55 59 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 177 183 186 190 200 201 205 211 217 220 221 222 224 225 231 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 23 30 32 36 38 39 42 43 44 46 52 55 59 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 177 183 186 190 200 201 205 211 217 220 221 222 224 225 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 30 32 36 38 39 42 43 44 46 52 55 59 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 177 183 186 190 200 201 205 211 217 220 221 222 224 225 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 32 36 38 39 42 43 44 46 52 55 59 61 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 177 183 185 186 190 200 201 205 211 217 220 221 222 224 225 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 32 36 38 39 42 43 44 46 49 52 55 59 65 67 68 69 72 73 75 77 78 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 170 177 183 185 186 190 200 201 205 211 217 220 221 222 224 225 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 32 36 38 39 42 43 44 46 49 52 55 59 65 67 68 69 72 73 75 77 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 149 156 159 160 163 169 170 177 183 185 186 190 200 201 205 211 217 220 221 222 224 225 232 238 239 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 32 36 38 39 42 43 44 46 49 52 55 59 65 67 68 69 72 73 75 77 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 200 201 205 211 217 220 221 222 224 225 232 238 239 241 242 244 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 32 36 38 39 42 43 44 46 49 52 55 59 65 67 68 69 72 73 75 77 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 200 201 205 211 217 220 221 222 224 225 232 238 239 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 32 38 39 42 43 44 46 49 52 55 59 65 67 68 69 72 73 75 77 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 200 201 203 205 211 217 220 221 222 224 225 232 238 239 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 32 39 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 200 201 203 205 211 217 220 221 222 224 225 232 238 239 241 242 244 247 248 252 255 260 264 265 267 272 274 276 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 32 39 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 121 128 130 131 133 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 200 201 203 205 211 217 220 221 222 224 225 232 238 239 241 242 244 247 248 252 255 260 261 264 265 267 274 276 278 283 286 288 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 32 39 42 43 44 46 49 52 55 59 65 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 120 121 128 130 131 133 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 200 201 203 205 211 217 220 221 222 224 225 232 238 239 241 242 244 247 248 252 255 260 261 264 265 267 274 276 278 283 286 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 27 32 39 42 43 44 46 49 52 59 65 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 120 121 128 130 131 133 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 200 201 203 205 211 217 220 221 222 224 225 232 238 239 241 242 244 247 248 252 255 260 261 264 265 267 274 276 278 283 286 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 120 121 128 130 131 133 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 200 201 203 205 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 248 252 255 260 261 264 265 267 274 276 278 283 286 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 120 121 128 130 133 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 200 201 203 205 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 248 252 255 260 261 264 265 267 274 276 278 283 286 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 120 121 128 130 137 143 144 146 148 149 156 159 160 163 169 170 177 183 185 186 190 193 200 201 203 205 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 248 252 255 260 261 264 265 267 274 276 278 283 286 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 120 121 128 130 137 143 146 148 149 156 159 160 163 169 170 177 183 185 186 190 193 194 200 201 203 205 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 248 252 255 260 261 264 265 267 274 276 278 283 286 290 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 120 121 128 130 137 143 146 148 149 156 159 160 163 169 170 177 183 185 186 190 193 194 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 248 252 255 260 261 264 265 267 274 276 278 283 286 291 294 295 297 299 300 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 93 94 101 106 108 109 116 120 121 127 128 130 137 143 146 148 149 156 159 160 163 169 170 177 183 185 186 190 193 194 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 248 252 255 260 261 264 265 267 274 276 278 283 286 291 294 295 297 299 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 94 101 106 108 109 116 120 121 127 128 130 137 143 146 148 149 156 159 160 163 169 170 177 183 185 186 190 193 194 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 248 249 252 255 260 261 264 265 267 274 276 278 283 286 291 294 295 297 299 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 94 101 106 108 109 120 121 127 128 130 137 143 146 148 149 156 159 160 163 169 170 177 183 185 186 190 193 194 200 201 203 205 206 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 248 249 252 255 260 261 264 265 267 269 274 276 278 283 286 291 294 295 297 299 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 109 120 121 127 128 130 137 143 146 148 149 156 159 160 163 169 170 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 248 249 252 255 260 261 264 265 267 269 274 276 278 283 286 291 294 295 297 299 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 109 120 121 127 128 130 137 143 146 148 149 156 158 159 160 163 169 170 177 183 185 186 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 260 261 264 265 267 269 274 276 278 283 286 291 294 295 297 299 302 306 308 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 109 120 121 127 128 130 137 143 146 148 149 156 158 159 160 163 169 170 177 183 185 186 188 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 260 261 264 265 267 269 274 276 278 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 121 127 128 130 137 143 146 148 149 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 260 261 264 265 267 269 274 276 278 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 137 143 146 148 149 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 260 261 264 265 267 269 270 274 276 278 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 143 146 148 149 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 259 260 261 264 265 267 269 270 274 276 278 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 143 146 148 149 153 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 259 260 261 264 265 267 269 270 274 276 278 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 25 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 143 146 148 149 153 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 259 260 261 264 265 267 269 270 276 278 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 322 323 324 325 a 1 4 12 14 18 25 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 135 143 146 148 149 153 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 259 260 261 264 265 267 269 270 276 278 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 323 324 325 a 1 4 12 14 18 25 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 135 143 146 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 259 260 261 264 265 267 269 270 276 278 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 324 325 a 1 4 12 14 18 25 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 135 143 146 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 259 260 261 264 265 267 269 270 276 278 280 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 324 a 1 4 12 13 14 18 25 27 32 39 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 135 143 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 259 260 261 264 265 267 269 270 276 278 280 283 286 291 294 295 297 299 302 306 311 314 315 316 317 321 324 a 1 4 12 13 14 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 135 143 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 232 234 238 239 241 242 244 247 249 252 255 259 260 261 264 265 267 269 270 276 278 280 286 291 294 295 297 299 302 306 311 314 315 316 317 321 324 a 1 4 12 13 14 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 135 143 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 232 234 238 239 241 242 247 249 252 255 259 260 261 264 265 267 269 270 276 278 280 286 291 294 295 297 299 302 306 311 314 315 316 317 321 324 a 1 4 12 13 14 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 135 143 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 232 234 238 239 241 242 247 249 252 255 259 260 261 264 265 267 269 270 276 278 280 286 291 294 295 297 299 302 306 311 314 315 316 317 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 135 143 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 259 260 261 264 265 267 269 270 276 278 280 286 291 294 295 297 299 302 306 311 314 315 316 317 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 120 127 128 130 135 143 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 265 267 269 270 276 278 280 286 291 294 295 297 299 302 306 311 314 315 316 317 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 113 120 127 128 130 135 143 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 265 267 269 270 276 278 280 286 291 294 295 297 299 306 311 314 315 316 317 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 127 128 130 135 143 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 265 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 317 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 317 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 320 321 324 a 1 4 12 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 319 320 321 324 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance025_graph004.col /benchmark/random_instance/random_instance025_graph004_01.dat" User time (seconds): 3459.85 System time (seconds): 14.04 Percent of CPU this job got: 199% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.25 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): 28179236 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8513017 Voluntary context switches: 68538 Involuntary context switches: 5871 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: [Fri Sep 8 21:21:46 2023]