#BEGIN: [Mon Sep 25 16:06:07 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance029_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance029_graph002_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_instance029_graph002.col /benchmark/random_instance/random_instance029_graph002_01.dat s 358 338 331 314 284 38 145 289 231 143 95 301 144 330 355 165 205 272 134 329 365 57 185 193 40 343 156 223 263 299 106 179 45 23 4 58 150 243 91 253 168 219 337 163 239 31 203 152 215 277 175 59 30 41 121 202 327 43 266 182 52 126 320 92 334 257 79 11 148 198 177 140 195 72 341 335 98 293 9 162 279 238 226 375 224 46 125 214 377 349 120 127 113 63 130 281 241 75 256 147 251 86 94 278 244 245 308 218 225 117 133 78 196 81 317 374 14 123 221 357 369 306 112 346 102 t 359 80 344 77 53 243 170 183 102 109 104 95 374 372 263 185 155 166 135 362 270 254 375 156 86 11 231 251 140 313 56 264 10 331 64 215 163 37 147 174 189 87 299 230 85 214 257 225 236 157 15 220 355 306 261 78 83 195 226 200 228 5 178 240 96 335 40 120 81 303 30 272 75 190 221 38 309 341 26 219 79 233 265 201 32 43 337 179 13 161 66 256 366 141 58 202 31 279 239 296 63 274 317 46 45 133 121 137 74 218 28 290 112 113 227 244 285 89 308 21 206 60 371 126 25 a YES a 4 9 11 14 23 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 215 218 219 221 223 224 225 226 231 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 9 11 14 23 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 215 218 219 221 223 224 225 226 231 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 9 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 175 177 179 182 185 193 195 196 198 202 203 205 214 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 14 30 31 38 40 41 43 45 46 52 57 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 202 203 205 214 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 14 30 31 38 40 41 43 45 46 52 58 59 63 72 75 78 79 81 86 91 92 94 95 98 102 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 214 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 14 30 31 38 40 41 43 45 46 52 58 63 72 75 78 79 81 86 91 92 94 95 98 102 104 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 214 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 14 30 31 38 40 41 43 45 46 52 58 63 72 75 78 79 81 86 87 92 94 95 98 102 104 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 214 215 218 219 221 223 224 225 226 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 30 31 38 40 41 43 45 46 52 58 63 72 75 78 79 81 86 87 92 94 95 98 102 104 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 214 215 218 219 221 223 224 225 226 230 231 233 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 30 31 38 40 43 45 46 52 58 63 72 75 78 79 81 86 87 92 94 95 98 102 104 106 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 214 215 218 219 221 223 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 21 30 31 38 40 43 45 46 52 58 63 72 75 78 79 81 86 87 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 130 133 134 140 143 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 214 215 218 219 221 223 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 21 30 31 38 40 43 45 46 52 58 63 75 78 79 81 86 87 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 130 133 134 135 140 143 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 214 215 218 219 221 223 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 21 30 31 38 40 43 45 46 52 58 63 75 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 130 133 135 140 143 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 214 215 218 219 221 223 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 21 30 31 38 40 43 45 46 52 58 63 75 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 130 133 135 140 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 206 214 215 218 219 221 223 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 21 30 31 38 40 43 45 46 52 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 145 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 206 214 215 218 219 221 223 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 13 21 30 31 38 40 43 45 46 52 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 148 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 202 203 205 206 214 215 218 219 221 223 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 13 21 30 31 38 40 43 45 46 52 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 175 177 179 182 185 193 195 196 198 200 201 202 203 205 206 214 215 218 219 221 223 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 13 21 30 31 38 40 43 45 46 52 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 175 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 221 223 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 265 266 272 277 278 279 281 284 289 293 296 299 301 306 308 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 13 21 30 31 38 40 43 45 46 52 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 175 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 221 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 265 266 272 277 278 279 281 284 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 13 21 30 31 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 175 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 221 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 265 266 272 277 278 279 281 284 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 365 369 374 375 377 a 11 13 21 30 31 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 221 224 225 226 230 231 233 236 238 239 241 243 244 245 251 253 256 257 263 265 266 272 277 278 279 281 284 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 374 375 377 a 11 13 21 30 31 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 253 256 257 263 265 266 272 277 278 279 281 284 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 374 375 377 a 11 13 21 30 31 32 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 265 266 272 277 278 279 281 284 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 374 375 377 a 11 13 21 30 31 32 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 265 272 277 278 279 281 284 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 371 374 375 377 a 11 13 21 30 31 32 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 265 272 278 279 281 284 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 371 374 375 377 a 11 13 21 25 30 31 32 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 265 272 279 281 284 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 371 374 375 377 a 11 13 21 25 30 31 32 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 162 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 281 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 371 374 375 377 a 11 13 21 25 30 31 32 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 281 285 289 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 92 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 281 285 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 38 40 43 45 46 56 58 63 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 161 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 281 285 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 38 40 43 45 46 56 58 63 66 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 161 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 293 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 38 40 43 45 46 56 58 63 66 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 161 163 165 168 174 177 179 182 185 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 301 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 38 40 43 45 46 56 58 63 66 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 161 163 165 168 174 177 179 182 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 314 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 38 40 43 45 46 56 58 63 66 74 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 161 163 165 168 174 177 179 182 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 38 40 43 45 46 53 56 58 63 66 74 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 161 163 168 174 177 179 182 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 317 320 327 329 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 37 38 40 43 45 46 53 56 58 63 66 74 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 161 163 168 174 177 179 182 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 317 320 329 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 37 38 40 43 45 46 53 56 58 63 66 74 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 157 161 163 168 174 177 179 182 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 317 329 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 37 38 40 43 45 46 53 56 58 60 63 66 74 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 144 147 150 152 156 157 161 163 168 174 177 179 182 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 317 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 147 150 152 156 157 161 163 168 174 177 179 182 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 317 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 123 125 126 127 133 135 140 147 152 156 157 161 163 168 174 177 179 182 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 317 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 86 87 89 94 95 98 102 104 112 113 117 120 121 125 126 127 133 135 140 147 152 156 157 161 163 168 174 177 179 182 183 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 317 330 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 94 95 98 102 104 112 113 117 120 121 125 126 127 133 135 140 147 152 156 157 161 163 168 174 177 179 182 183 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 296 299 306 308 309 317 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 11 13 15 21 25 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 95 98 102 104 112 113 117 120 121 125 126 127 133 135 140 147 152 156 157 161 163 168 174 177 179 182 183 185 189 195 196 198 200 201 202 203 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 290 296 299 306 308 309 317 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 95 98 102 104 112 113 117 120 121 125 126 127 133 135 140 147 152 156 157 161 163 168 174 177 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 263 264 265 272 279 285 290 296 299 306 308 309 317 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 95 98 102 104 112 113 117 120 121 125 126 127 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 261 263 264 265 272 279 285 290 296 299 306 308 309 317 331 334 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 95 98 102 104 112 113 117 120 121 125 126 127 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 256 257 261 263 264 265 272 279 285 290 296 299 306 308 309 317 331 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 95 102 104 112 113 117 120 121 125 126 127 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 279 285 290 296 299 306 308 309 317 331 335 337 338 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 95 102 104 112 113 117 120 121 125 126 127 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 279 285 290 296 299 306 308 309 317 331 335 337 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 95 102 104 112 113 120 121 125 126 127 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 306 308 309 317 331 335 337 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 95 102 104 112 113 120 121 126 127 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 85 86 87 89 95 102 104 109 112 113 120 121 126 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 346 349 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 81 83 85 86 87 89 95 102 104 109 112 113 120 121 126 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 346 355 357 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 102 104 109 112 113 120 121 126 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 346 355 358 359 362 365 369 371 374 375 377 a 5 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 102 104 109 112 113 120 121 126 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 365 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 102 104 109 112 113 120 121 126 133 135 140 147 152 156 157 161 163 168 174 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 102 104 109 112 113 120 121 126 133 135 140 147 156 157 161 163 168 174 178 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 102 104 109 112 113 120 121 126 133 135 137 140 147 156 157 161 163 174 178 179 182 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 102 104 109 112 113 120 121 126 133 135 137 140 147 155 156 157 161 163 174 178 179 183 185 189 195 196 198 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 174 178 179 183 185 189 195 196 200 201 202 205 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 174 178 179 183 185 189 195 196 200 201 202 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 245 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 174 178 179 183 185 189 195 196 200 201 202 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 251 254 256 257 261 263 264 265 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 366 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 174 178 179 183 185 189 195 200 201 202 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 238 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 366 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 174 178 179 183 185 189 190 195 200 201 202 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 366 369 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 166 174 178 179 183 185 189 190 195 200 201 202 206 214 215 218 219 220 221 224 225 226 227 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 366 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 166 170 174 178 179 183 185 189 190 195 200 201 202 206 214 215 218 219 220 221 225 226 227 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 366 371 374 375 377 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 166 170 174 178 179 183 185 189 190 195 200 201 202 206 214 215 218 219 220 221 225 226 227 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 317 331 335 337 341 343 344 346 355 359 362 366 371 372 374 375 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 166 170 174 178 179 183 185 189 190 195 200 201 202 206 214 215 218 219 220 221 225 226 227 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 313 317 331 335 337 341 344 346 355 359 362 366 371 372 374 375 a 5 10 11 13 15 21 25 26 28 30 31 32 37 38 40 43 45 46 53 56 58 60 63 64 66 74 75 77 78 79 80 81 83 85 86 87 89 95 96 102 104 109 112 113 120 121 126 133 135 137 140 141 147 155 156 157 161 163 166 170 174 178 179 183 185 189 190 195 200 201 202 206 214 215 218 219 220 221 225 226 227 228 230 231 233 236 239 240 243 244 251 254 256 257 261 263 264 265 270 272 274 279 285 290 296 299 303 306 308 309 313 317 331 335 337 341 344 355 359 362 366 371 372 374 375 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance029_graph002.col /benchmark/random_instance/random_instance029_graph002_01.dat" User time (seconds): 3471.02 System time (seconds): 10.25 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.53 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): 24693328 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7596711 Voluntary context switches: 68458 Involuntary context switches: 11672 Swaps: 0 File system inputs: 0 File system outputs: 704 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 16:35:07 2023]