#BEGIN: [Mon Sep 25 16:16:23 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance031_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance031_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_instance031_graph004.col /benchmark/random_instance/random_instance031_graph004_01.dat s 312 119 270 272 147 94 65 383 122 90 347 376 298 137 388 257 236 97 63 27 161 391 266 149 160 226 87 169 24 321 81 200 13 56 77 402 155 135 349 92 96 110 360 191 190 364 78 33 342 218 50 88 208 314 71 150 248 317 103 53 217 61 233 44 382 167 267 131 201 62 250 198 394 357 171 387 319 181 127 320 354 183 395 367 141 67 239 398 213 199 221 35 18 173 379 333 396 366 403 177 318 344 214 164 72 301 356 240 111 86 359 365 241 401 158 89 129 105 377 287 384 202 222 148 206 34 288 369 102 209 205 279 83 16 t 139 255 354 111 197 83 202 313 317 208 167 55 321 237 222 361 24 397 137 227 205 45 224 394 238 158 250 366 398 174 68 153 201 119 105 183 143 182 389 149 278 77 102 34 131 26 199 123 141 140 151 287 159 381 294 27 206 253 384 71 46 233 13 161 215 279 61 28 187 37 353 38 81 248 5 49 349 339 270 231 15 214 324 191 382 152 235 243 53 323 291 220 190 138 395 9 327 10 401 18 251 165 346 367 120 303 241 74 295 244 320 298 332 104 200 369 184 134 379 301 87 16 192 280 136 180 7 305 113 290 173 240 319 72 a YES a 13 16 18 24 27 33 34 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 34 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 251 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 34 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 113 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 251 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 34 44 50 53 55 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 113 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 251 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 34 44 50 53 55 61 63 65 67 71 72 74 77 78 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 113 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 251 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 34 44 50 53 55 61 63 67 71 72 74 77 78 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 113 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 251 257 266 267 270 272 279 287 288 298 301 312 313 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 15 16 18 24 27 34 50 53 55 61 63 67 71 72 74 77 78 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 113 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 251 257 266 267 270 272 279 287 288 298 301 312 313 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 15 16 18 24 27 34 53 55 61 63 67 71 72 74 77 78 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 113 119 120 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 251 257 266 267 270 272 279 287 288 298 301 312 313 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 15 16 18 24 27 34 53 55 61 63 67 71 72 74 77 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 113 119 120 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 257 266 267 270 272 279 287 288 298 301 312 313 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 15 16 18 24 27 34 53 55 61 67 71 72 74 77 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 113 119 120 122 123 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 257 266 267 270 272 279 287 288 298 301 312 313 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 15 16 18 24 27 34 53 55 61 67 71 72 74 77 81 83 86 87 89 90 92 94 96 97 102 103 105 110 111 113 119 120 122 123 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 298 301 312 313 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 15 16 18 24 27 34 53 55 61 67 71 72 74 77 81 83 86 87 90 92 94 96 97 102 103 105 110 111 113 119 120 122 123 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 298 301 312 313 314 317 318 319 320 321 324 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 15 16 18 24 27 34 53 55 61 67 71 72 74 77 81 83 86 87 92 94 96 97 102 103 105 110 111 113 119 120 122 123 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 298 301 312 313 314 317 318 319 320 321 324 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 15 16 18 24 27 34 53 55 61 67 71 72 74 77 81 83 86 87 92 94 96 102 103 105 110 111 113 119 120 122 123 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 295 298 301 312 313 314 317 318 319 320 321 324 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 13 15 16 18 24 27 34 53 55 61 67 71 72 74 77 81 83 86 87 92 94 96 102 103 105 111 113 119 120 122 123 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 295 298 301 312 313 314 317 318 319 320 321 324 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 13 15 16 18 24 27 34 53 55 61 67 71 72 74 77 81 83 86 87 92 94 96 102 103 105 111 113 119 120 123 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 295 298 301 312 313 314 317 318 319 320 321 324 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 13 15 16 18 24 27 34 53 55 61 67 71 72 74 77 81 83 86 87 92 94 96 102 103 105 111 113 119 120 123 127 129 131 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 13 15 16 18 24 27 34 53 55 61 67 71 72 74 77 81 83 87 92 94 96 102 103 105 111 113 119 120 123 127 129 131 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 180 181 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 13 15 16 18 24 27 34 53 55 61 71 72 74 77 81 83 87 92 94 96 102 103 105 111 113 119 120 123 127 129 131 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 180 181 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 10 13 15 16 18 24 27 34 53 55 61 71 72 74 77 81 83 87 92 94 96 102 103 105 111 113 119 120 123 127 129 131 137 141 148 149 150 155 158 160 161 164 167 169 171 173 177 180 181 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 10 13 15 16 18 24 27 34 53 55 61 71 72 74 77 81 83 87 94 96 102 103 105 111 113 119 120 123 127 129 131 136 137 141 148 149 150 155 158 160 161 164 167 169 171 173 177 180 181 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 94 96 102 103 105 111 113 119 120 123 127 129 131 136 137 141 148 149 150 155 158 160 161 164 167 169 173 177 180 181 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 248 250 251 253 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 94 96 102 103 105 111 113 119 120 123 127 129 131 136 137 141 148 149 150 155 158 160 161 164 167 169 173 180 181 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 244 248 250 251 253 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 94 96 102 103 105 111 113 119 120 123 127 129 131 136 137 141 148 149 150 155 158 160 161 164 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 244 248 250 251 253 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 96 102 103 105 111 113 119 120 123 127 129 131 136 137 141 143 148 149 150 155 158 160 161 164 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 231 233 236 239 240 241 244 248 250 251 253 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 96 102 103 105 111 113 119 120 123 127 129 131 136 137 141 143 148 149 150 155 158 160 161 164 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 213 214 217 218 221 222 226 231 233 236 239 240 241 244 248 250 251 253 255 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 96 102 103 105 111 113 119 120 123 127 129 131 136 137 141 143 148 149 150 155 158 160 161 164 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 231 233 236 239 240 241 244 248 250 251 253 255 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 96 102 103 105 111 113 119 120 123 127 129 131 136 137 141 143 148 149 150 155 158 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 231 233 236 239 240 241 244 248 250 251 253 255 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 96 102 103 105 111 113 119 120 123 127 129 131 136 137 141 143 148 149 150 155 158 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 218 220 221 222 226 231 233 235 236 239 240 241 244 248 250 251 253 255 257 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 96 102 103 105 111 113 119 120 123 127 129 131 136 137 140 141 143 148 149 150 155 158 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 218 220 221 222 226 231 233 235 236 239 240 241 244 248 250 251 253 255 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 103 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 148 149 150 155 158 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 218 220 221 222 226 231 233 235 236 239 240 241 244 248 250 251 253 255 266 267 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 103 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 148 149 150 153 155 158 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 218 220 221 222 226 231 233 235 236 239 240 241 244 248 250 251 253 255 266 270 272 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 103 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 148 149 150 153 155 158 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 218 220 221 222 226 231 233 235 236 239 240 241 244 248 250 251 253 255 266 270 279 287 288 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 103 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 148 149 150 153 155 158 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 218 220 221 222 226 231 233 235 236 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 312 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 103 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 148 149 150 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 218 220 221 222 226 231 233 235 236 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 313 314 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 103 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 148 149 150 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 218 220 221 222 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 313 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 103 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 149 150 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 218 220 221 222 224 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 313 317 318 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 103 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 149 150 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 313 317 319 320 321 324 332 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 103 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 149 150 151 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 313 317 319 320 321 324 332 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 34 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 149 150 151 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 197 198 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 313 317 319 320 321 324 332 342 344 347 349 354 356 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 28 34 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 149 150 151 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 313 317 319 320 321 324 332 342 344 347 349 354 356 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 28 34 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 127 129 131 134 136 137 140 141 143 149 150 151 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 305 313 317 319 320 321 324 332 344 347 349 354 356 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 28 34 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 129 131 134 136 137 140 141 143 149 150 151 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 305 313 317 319 320 321 324 332 344 347 349 354 356 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 28 34 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 150 151 153 155 158 159 160 161 165 167 169 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 305 313 317 319 320 321 324 332 344 347 349 354 356 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 28 34 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 150 151 153 155 158 159 160 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 236 238 239 240 241 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 305 313 317 319 320 321 324 332 344 347 349 354 356 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 28 34 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 150 151 153 155 158 159 160 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 238 239 240 241 243 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 305 313 317 319 320 321 324 332 344 347 349 354 356 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 28 34 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 150 151 153 155 158 159 160 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 238 239 240 241 243 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 303 305 313 317 319 320 321 324 332 344 347 349 354 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 28 34 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 155 158 159 160 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 238 239 240 241 243 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 303 305 313 317 319 320 321 324 332 344 347 349 354 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 7 9 10 13 15 16 18 24 27 28 34 46 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 155 158 159 160 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 238 240 241 243 244 248 250 251 253 255 266 270 278 279 287 291 295 298 301 303 305 313 317 319 320 321 324 332 344 347 349 354 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 27 28 34 46 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 155 158 159 160 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 295 298 301 303 305 313 317 319 320 321 324 332 344 347 349 354 357 359 360 361 364 365 366 367 369 376 377 379 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 27 28 34 46 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 155 158 159 160 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 295 298 301 303 305 313 317 319 320 321 324 332 344 349 354 357 359 360 361 364 365 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 27 28 34 46 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 155 158 159 160 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 295 298 301 303 305 313 317 319 320 321 324 332 344 349 354 359 360 361 364 365 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 27 28 34 45 46 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 160 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 295 298 301 303 305 313 317 319 320 321 324 332 344 349 354 359 360 361 364 365 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 27 28 34 45 46 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 226 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 295 298 301 303 305 313 317 319 320 321 324 327 332 344 349 354 359 360 361 364 365 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 27 28 34 45 46 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 294 295 298 301 303 305 313 317 319 320 321 324 327 332 344 349 354 359 360 361 364 365 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 45 46 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 294 295 298 301 303 305 313 317 319 320 321 324 327 332 344 349 354 360 361 364 365 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 218 220 221 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 294 295 298 301 303 305 313 317 319 320 321 324 327 332 344 349 354 360 361 365 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 190 191 192 197 199 200 201 202 205 206 208 214 215 220 221 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 294 295 298 301 303 305 313 317 319 320 321 324 327 332 339 344 349 354 360 361 365 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 221 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 294 295 298 301 303 305 313 317 319 320 321 324 327 332 339 344 349 354 360 361 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 291 294 295 298 301 303 305 313 317 319 320 321 324 327 332 339 344 349 353 354 360 361 366 367 369 376 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 287 290 291 294 295 298 301 303 305 313 317 319 320 321 324 327 332 339 344 349 353 354 360 361 366 367 369 377 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 324 327 332 339 344 349 353 354 360 361 366 367 369 379 381 382 383 384 387 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 324 327 332 339 344 349 353 354 360 361 366 367 369 379 381 382 383 384 388 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 344 349 353 354 360 361 366 367 369 379 381 382 383 384 389 391 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 344 346 349 353 354 360 361 366 367 369 379 381 382 383 384 389 394 395 396 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 344 346 349 353 354 360 361 366 367 369 379 381 382 383 384 389 394 395 398 401 402 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 344 346 349 353 354 360 361 366 367 369 379 381 382 383 384 389 394 395 398 401 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 346 349 353 354 360 361 366 367 369 379 381 382 383 384 389 394 395 398 401 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 346 349 353 354 361 366 367 369 379 381 382 383 384 389 394 395 398 401 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 140 141 143 149 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 346 349 353 354 361 366 367 369 379 381 382 384 389 394 395 397 398 401 403 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 346 349 353 354 361 366 367 369 379 381 382 384 389 394 395 397 398 401 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance031_graph004.col /benchmark/random_instance/random_instance031_graph004_01.dat" User time (seconds): 3371.45 System time (seconds): 10.49 Percent of CPU this job got: 194% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.17 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): 28176952 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8961097 Voluntary context switches: 67773 Involuntary context switches: 11972 Swaps: 0 File system inputs: 0 File system outputs: 720 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 25 16:45:23 2023]