#BEGIN: [Sat Sep 9 14:43:20 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance037_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance037_graph004_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance037_graph004.col /benchmark/random_instance/random_instance037_graph004_01.dat s 275 249 436 297 348 276 167 117 390 63 129 194 190 218 326 88 250 114 180 387 334 231 55 301 196 445 238 413 29 243 430 286 315 100 26 200 52 474 164 274 242 392 146 20 288 410 75 209 369 18 273 192 86 61 320 271 347 476 95 133 427 230 53 81 434 280 79 172 16 295 175 15 144 123 293 350 284 254 470 296 440 357 163 109 30 160 92 11 356 6 187 388 185 90 312 481 147 289 57 64 223 462 401 48 435 363 120 287 58 22 349 85 359 173 177 409 418 361 428 37 329 473 404 368 156 118 337 316 237 452 318 321 84 308 323 433 373 458 328 360 215 203 222 391 376 450 303 389 38 262 140 255 78 378 457 t 454 288 68 369 84 408 450 126 190 241 353 443 339 117 89 158 345 205 257 114 361 425 452 264 1 187 388 42 18 170 252 303 337 247 130 275 12 7 218 237 15 25 308 330 105 26 390 17 472 147 435 9 465 478 376 250 479 206 259 38 299 200 163 385 350 124 85 290 96 280 40 236 208 271 389 414 234 384 134 309 94 439 278 326 5 273 457 320 287 143 243 387 332 430 331 468 294 373 394 334 81 47 466 71 212 391 293 48 207 456 461 270 123 121 80 104 6 136 46 475 444 211 356 442 27 296 412 122 238 22 358 409 401 150 446 327 335 254 268 336 405 29 255 342 380 203 242 164 87 321 349 109 329 300 175 a YES a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 75 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 75 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 18 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 75 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 126 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 75 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 126 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 18 22 26 29 37 38 48 52 55 57 58 61 63 64 75 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 126 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 17 18 22 26 29 37 38 48 52 57 58 61 63 64 75 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 126 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 17 18 22 26 29 37 38 48 52 57 58 63 64 75 78 79 81 84 85 86 87 88 90 92 95 100 109 114 117 118 120 123 126 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 17 18 22 26 29 37 38 48 52 57 58 63 64 68 78 79 81 84 85 86 87 88 90 92 95 100 109 114 117 118 120 123 126 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 17 18 22 26 29 37 38 48 52 57 58 63 64 68 78 79 81 84 85 87 88 90 92 95 100 109 114 117 118 120 123 126 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 17 18 22 26 29 37 38 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 95 100 109 114 117 118 120 123 126 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 17 18 22 26 29 37 38 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 100 109 114 117 118 120 123 126 129 133 140 144 146 147 156 160 163 164 167 170 172 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 16 17 18 22 26 29 37 38 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 100 109 114 117 118 123 126 129 133 140 144 146 147 156 160 163 164 167 170 172 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 234 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 37 38 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 100 109 114 117 118 123 126 129 133 140 144 146 147 156 160 163 164 167 170 172 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 234 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 37 38 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 100 109 114 117 118 123 126 129 133 140 144 146 147 156 160 163 164 167 170 173 175 177 180 185 187 190 192 194 196 200 203 206 209 215 218 222 223 230 231 234 236 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 37 38 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 100 109 114 117 118 123 126 129 133 134 140 144 146 147 156 160 163 164 167 170 173 175 177 180 185 187 190 192 194 200 203 206 209 215 218 222 223 230 231 234 236 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 38 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 180 185 187 190 192 194 200 203 206 209 215 218 222 223 230 231 234 236 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 38 47 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 180 185 187 190 192 194 200 203 206 215 218 222 223 230 231 234 236 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 38 47 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 180 185 187 190 192 194 200 203 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 38 47 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 38 47 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 287 288 289 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 38 47 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 287 288 293 294 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 38 47 48 52 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 301 303 308 312 315 316 318 320 321 323 326 327 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 301 303 308 312 315 316 318 320 321 323 326 327 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 470 473 474 476 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 318 320 321 323 326 327 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 470 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 328 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 470 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 337 342 347 348 349 350 353 356 357 359 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 470 472 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 337 342 347 348 349 350 353 356 359 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 133 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 337 342 347 348 349 350 353 356 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 64 68 78 79 81 84 85 87 90 92 96 100 109 114 117 118 123 126 129 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 335 337 342 347 348 349 350 353 356 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 64 68 78 79 81 84 85 87 90 92 96 109 114 117 118 123 126 129 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 335 337 342 347 348 349 350 353 356 360 361 363 368 369 373 376 378 380 387 388 389 390 391 392 401 404 409 410 412 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 68 78 79 81 84 85 87 90 92 96 109 114 117 118 123 126 129 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 335 337 342 347 348 349 350 353 356 360 361 363 368 369 373 376 378 380 385 387 388 389 390 391 392 401 404 409 410 412 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 68 78 79 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 335 337 342 347 348 349 350 353 356 361 363 368 369 373 376 378 380 385 387 388 389 390 391 392 401 404 409 410 412 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 68 78 79 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 276 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 347 348 349 350 353 356 361 363 368 369 373 376 380 385 387 388 389 390 391 392 401 404 409 410 412 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 15 17 18 22 26 27 29 38 47 48 57 58 63 68 78 79 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 363 368 369 373 376 380 385 387 388 389 390 391 392 401 404 409 410 412 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 47 48 57 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 146 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 363 368 369 373 376 380 385 387 388 389 390 391 392 401 404 409 410 412 413 418 425 427 428 430 433 434 435 436 440 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 47 48 57 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 363 368 369 373 376 380 385 387 388 389 390 391 392 401 404 409 410 412 413 418 425 427 428 430 433 434 435 436 440 443 445 450 452 456 457 458 462 465 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 47 48 57 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 280 284 287 288 293 294 296 297 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 363 368 369 373 376 380 385 387 388 389 390 391 401 404 409 410 412 413 418 425 427 428 430 433 434 435 436 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 47 48 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 280 284 287 288 293 294 296 297 299 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 363 368 369 373 376 380 385 387 388 389 390 391 401 404 409 410 412 413 418 425 427 428 430 433 434 435 436 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 47 48 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 194 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 280 284 287 288 293 294 296 297 299 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 368 369 373 376 380 385 387 388 389 390 391 401 404 409 410 412 413 414 418 425 427 428 430 433 434 435 436 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 47 48 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 368 369 373 376 380 385 387 388 389 390 391 401 404 409 410 412 413 414 418 425 427 428 430 433 434 435 436 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 47 48 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 200 203 205 206 215 218 222 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 404 409 410 412 413 414 418 425 427 428 430 433 434 435 436 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 47 48 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 404 409 410 412 413 414 418 425 427 428 430 433 434 435 436 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 47 48 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 404 409 412 413 414 418 425 427 428 430 433 434 435 436 439 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 46 47 48 58 63 68 78 81 84 85 87 90 92 96 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 404 409 412 414 418 425 427 428 430 433 434 435 436 439 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 46 47 48 63 68 78 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 312 315 316 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 404 409 412 414 418 425 427 428 430 433 434 435 436 439 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 6 12 15 17 18 22 26 27 29 38 46 47 48 63 68 78 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 185 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 404 409 412 414 418 425 427 428 430 433 434 435 436 439 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 63 68 78 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 404 409 412 414 418 425 427 428 430 433 434 435 436 439 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 63 68 78 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 262 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 409 412 414 418 425 427 428 430 433 434 435 436 439 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 63 68 78 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 409 412 414 418 425 427 428 430 433 434 435 436 439 440 443 445 450 452 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 63 68 78 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 409 412 414 425 427 428 430 433 434 435 436 439 440 443 445 446 450 452 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 63 68 78 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 409 412 414 425 428 430 433 434 435 436 439 440 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 63 68 78 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 433 434 435 436 439 440 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 68 78 80 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 144 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 433 434 435 436 439 440 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 68 80 81 84 85 87 90 92 96 105 109 114 117 118 123 124 126 129 134 136 140 143 144 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 433 434 435 436 439 440 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 68 80 81 84 85 87 90 96 105 109 114 117 118 123 124 126 129 134 136 140 143 144 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 252 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 433 434 435 436 439 440 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 68 80 81 84 85 87 90 96 105 109 114 117 118 123 124 126 129 134 136 140 143 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 211 215 218 223 231 234 236 237 238 242 243 247 249 250 252 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 433 434 435 436 439 440 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 68 80 81 84 85 87 90 96 105 109 114 117 123 124 126 129 134 136 140 143 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 208 211 215 218 223 231 234 236 237 238 242 243 247 249 250 252 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 433 434 435 436 439 440 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 68 80 81 84 85 87 90 96 105 109 114 117 123 124 126 129 134 136 140 143 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 208 211 215 218 223 231 234 236 237 238 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 284 287 288 290 293 294 296 297 299 300 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 433 434 435 436 439 440 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 46 47 48 68 80 81 84 85 87 90 96 105 109 114 117 123 124 126 129 130 134 136 140 143 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 208 211 215 218 223 231 234 236 237 238 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 315 320 321 323 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 433 434 435 436 439 440 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 90 96 105 109 114 117 123 124 126 129 130 134 136 140 143 147 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 208 211 215 218 223 231 234 236 237 238 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 315 320 321 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 433 434 435 436 439 440 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 90 96 105 109 114 117 123 124 126 129 130 134 136 140 143 147 150 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 208 211 215 218 223 231 234 236 237 238 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 315 320 321 326 327 329 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 440 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 123 124 126 129 130 134 136 140 143 147 150 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 208 211 215 218 223 231 234 236 237 238 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 315 320 321 326 327 329 330 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 440 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 123 124 126 129 130 134 136 140 143 147 150 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 208 211 215 218 223 231 234 236 237 238 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 315 320 321 326 327 329 330 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 140 143 147 150 156 160 163 164 167 170 173 175 177 187 190 192 200 203 205 206 208 211 215 218 223 231 234 236 237 238 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 315 320 321 326 327 329 330 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 140 143 147 150 156 160 163 164 167 170 175 177 187 190 192 200 203 205 206 208 211 215 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 315 320 321 326 327 329 330 334 335 336 337 339 342 345 347 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 140 143 147 150 156 160 163 164 167 170 175 177 187 190 192 200 203 205 206 208 211 212 215 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 315 320 321 326 327 329 330 334 335 336 337 339 342 345 348 349 350 353 356 361 369 373 376 380 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 140 143 147 150 156 160 163 164 167 170 175 177 187 190 192 200 203 205 206 208 211 212 215 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 334 335 336 337 339 342 345 348 349 350 353 356 361 369 373 376 380 384 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 140 143 147 150 156 160 163 164 167 170 175 177 187 190 192 200 203 205 206 207 208 211 212 215 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 334 335 336 337 339 342 345 349 350 353 356 361 369 373 376 380 384 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 445 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 140 143 147 150 156 160 163 164 167 170 175 177 187 190 192 200 203 205 206 207 208 211 212 215 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 156 160 163 164 167 170 175 177 187 190 192 200 203 205 206 207 208 211 212 215 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 446 450 452 454 456 457 458 462 465 468 470 472 473 474 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 160 163 164 167 170 175 177 187 190 192 200 203 205 206 207 208 211 212 215 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 446 450 452 454 456 457 458 462 465 468 470 472 473 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 163 164 167 170 175 177 187 190 192 200 203 205 206 207 208 211 212 215 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 446 450 452 454 456 457 458 462 465 466 468 470 472 473 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 163 164 167 170 175 177 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 401 405 409 412 414 425 430 434 435 436 439 442 443 446 450 452 454 456 457 458 461 462 465 466 468 470 472 473 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 163 164 167 170 175 177 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 401 405 409 412 414 425 430 435 436 439 442 443 446 450 452 454 456 457 458 461 462 465 466 468 470 472 473 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 42 46 47 48 68 80 81 84 85 87 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 163 164 167 170 175 177 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 458 461 462 465 466 468 470 472 473 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 42 46 47 48 68 80 81 84 85 87 89 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 163 164 167 170 175 177 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 462 465 466 468 470 472 473 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 80 81 84 85 87 89 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 163 164 170 175 177 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 462 465 466 468 470 472 473 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 80 81 84 85 87 89 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 177 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 470 472 473 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 80 81 84 85 87 89 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 177 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 473 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 80 81 84 85 87 89 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 177 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 80 81 84 85 87 89 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 274 275 280 287 288 290 293 294 296 297 299 300 303 308 309 312 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 80 81 84 85 87 89 94 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 274 275 280 287 288 290 293 294 296 299 300 303 308 309 312 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 474 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 105 109 114 117 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 192 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 274 275 280 287 288 290 293 294 296 299 300 303 308 309 312 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 475 476 478 479 481 a 1 6 7 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 274 275 280 287 288 290 293 294 296 299 300 303 308 309 312 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 475 476 478 479 481 a 1 6 7 9 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 274 275 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 475 476 478 479 481 a 1 6 7 9 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 274 275 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 475 476 478 479 481 a 1 5 6 7 9 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 475 476 478 479 481 a 1 5 6 7 9 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 414 425 430 435 439 442 443 446 450 452 454 456 457 461 465 466 468 472 475 478 479 481 a 1 5 6 7 9 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 414 425 430 435 439 442 443 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 1 5 6 7 9 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 414 425 430 435 439 442 443 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance037_graph004.col /benchmark/random_instance/random_instance037_graph004_01.dat" User time (seconds): 3261.34 System time (seconds): 9.59 Percent of CPU this job got: 188% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.24 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): 28179332 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8679940 Voluntary context switches: 67013 Involuntary context switches: 13198 Swaps: 0 File system inputs: 0 File system outputs: 784 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 15:12:20 2023]