#BEGIN: [Fri Sep 8 21:25:14 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance035_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance035_graph005_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_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat s 247 287 454 339 220 442 177 413 342 240 120 318 409 90 261 392 160 368 33 331 153 129 102 135 130 415 212 150 29 105 27 372 296 98 148 273 350 117 448 383 31 80 311 45 14 401 88 242 52 281 229 32 151 40 233 149 434 30 46 243 352 400 316 265 386 48 422 56 89 162 340 180 445 306 22 317 360 113 87 439 115 314 77 196 449 355 208 75 335 337 11 44 225 312 347 18 23 387 310 195 55 63 72 133 259 4 61 421 344 275 237 395 101 183 201 249 207 84 17 125 154 412 278 235 66 437 356 12 107 388 222 285 405 263 277 131 215 96 198 142 91 443 330 236 86 435 t 233 260 309 181 72 331 341 160 247 315 434 442 97 244 84 428 11 263 79 430 75 344 144 318 452 212 302 164 158 279 83 295 455 123 449 325 425 206 352 28 190 286 358 135 328 345 174 272 59 30 169 300 448 199 365 202 395 29 128 227 215 327 101 320 74 234 96 435 297 256 249 241 376 177 369 346 303 159 290 299 270 116 156 228 176 139 56 173 417 304 427 70 137 141 218 55 373 145 130 441 356 287 26 370 200 189 143 408 252 109 384 25 273 125 387 222 121 36 433 80 355 381 232 278 406 46 17 359 47 188 16 69 437 195 86 237 440 317 334 277 316 338 149 275 383 337 a YES a 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 44 45 46 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 44 45 46 52 55 56 61 66 72 75 77 79 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 44 45 46 52 55 56 61 66 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 201 206 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 44 45 46 52 55 56 61 66 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 113 115 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 201 206 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 44 45 46 52 55 56 61 66 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 113 117 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 201 206 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 44 45 46 52 55 56 61 66 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 113 120 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 44 45 46 52 55 56 61 66 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 113 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 113 125 129 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 26 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 113 125 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 26 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 131 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 26 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 133 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 26 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 145 148 149 150 151 153 154 160 162 177 180 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 26 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 145 148 149 151 153 154 160 162 177 180 181 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 454 a 4 11 12 17 18 22 23 26 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 145 148 149 151 154 160 162 177 180 181 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 383 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 18 22 23 26 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 145 148 149 151 154 160 162 177 181 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 18 22 26 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 145 148 149 151 154 160 162 177 181 183 189 195 196 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 18 22 26 27 29 30 31 33 44 45 46 52 55 56 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 145 148 149 151 154 160 162 177 181 183 189 195 198 199 201 206 207 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 18 22 26 27 29 30 31 33 44 45 46 52 55 56 59 61 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 145 148 149 151 154 160 162 177 181 183 189 195 198 199 201 206 208 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 18 22 26 27 29 30 31 33 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 145 148 149 151 154 160 162 177 181 183 189 195 198 199 201 206 212 215 220 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 18 22 26 27 29 30 31 33 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 145 148 149 151 154 160 162 177 181 183 189 195 198 199 201 206 212 215 218 222 225 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 18 22 26 27 29 30 31 33 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 125 130 135 142 143 145 148 149 151 154 160 162 177 181 183 189 195 198 199 201 206 212 215 218 222 229 233 234 235 236 237 240 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 18 22 26 27 29 30 31 33 44 45 46 52 55 56 59 61 69 72 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 116 125 130 135 142 143 145 148 149 151 154 160 162 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 240 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 22 26 27 29 30 31 33 44 45 46 52 55 56 59 61 69 72 74 75 77 79 80 84 86 87 88 89 91 96 98 101 102 105 116 125 130 135 142 143 145 148 149 151 154 160 162 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 240 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 22 26 27 29 30 31 33 44 45 46 52 55 56 59 61 69 72 74 75 77 79 80 84 86 87 88 91 96 98 101 102 105 116 125 130 135 142 143 145 148 149 151 154 156 160 162 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 240 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 22 26 27 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 77 79 80 84 86 87 88 91 96 98 101 102 105 116 125 130 135 142 143 145 148 149 151 154 156 160 162 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 240 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 302 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 22 26 27 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 77 79 80 84 86 87 88 91 96 98 101 102 105 116 125 130 135 142 143 145 148 149 151 154 156 160 162 173 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 302 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 22 26 27 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 77 79 80 84 86 87 88 91 96 98 101 102 105 116 125 130 135 141 142 143 145 148 149 154 156 160 162 173 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 302 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 442 443 445 448 449 452 454 a 4 11 12 17 22 26 27 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 77 79 80 84 86 87 88 91 96 98 101 102 105 116 125 130 135 141 142 143 145 149 154 156 160 162 173 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 302 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 12 17 22 26 27 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 77 79 80 84 86 87 88 91 96 98 101 102 105 116 125 130 135 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 242 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 302 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 12 17 22 26 27 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 77 79 80 84 86 87 88 91 96 98 101 102 105 109 116 125 130 135 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 302 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 22 26 27 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 77 79 80 84 86 87 88 91 96 98 101 102 105 109 116 121 125 130 135 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 302 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 22 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 77 79 80 84 86 87 88 91 96 98 101 102 105 109 116 121 125 130 135 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 299 302 306 309 310 311 312 314 316 317 318 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 22 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 91 96 98 101 102 105 109 116 121 125 130 135 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 243 247 249 259 261 263 265 272 273 275 277 278 281 285 287 296 299 302 306 309 310 311 312 314 316 317 318 320 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 22 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 91 96 98 101 102 105 109 116 121 125 130 135 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 201 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 265 272 273 275 277 278 281 285 286 287 296 299 302 306 309 310 311 312 314 316 317 318 320 330 331 334 335 337 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 22 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 91 96 98 101 102 105 109 116 121 125 130 135 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 265 272 273 275 277 278 281 285 286 287 296 299 302 306 309 310 311 312 314 316 317 318 320 330 331 334 335 337 338 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 22 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 91 96 98 101 102 105 109 116 121 125 130 135 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 281 285 286 287 296 299 302 306 309 310 311 312 314 315 316 317 318 320 330 331 334 335 337 338 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 22 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 91 96 98 101 102 105 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 296 299 302 306 309 310 311 312 314 315 316 317 318 320 330 331 334 335 337 338 339 340 342 344 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 91 96 98 101 102 105 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 296 299 302 306 309 310 311 312 314 315 316 317 318 320 330 331 334 335 337 338 339 340 342 344 345 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 91 96 98 101 102 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 296 299 302 306 309 310 311 312 314 315 316 317 318 320 330 331 334 335 337 338 339 340 341 342 344 345 346 347 350 352 355 356 360 368 369 370 372 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 91 96 98 101 102 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 189 195 198 199 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 299 302 306 309 310 311 312 314 315 316 317 318 320 330 331 334 335 337 338 339 340 341 342 344 345 346 347 350 352 355 356 360 368 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 96 98 101 102 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 198 199 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 299 302 306 309 310 311 312 314 315 316 317 318 320 330 331 334 335 337 338 339 340 341 342 344 345 346 347 350 352 355 356 360 368 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 96 98 101 102 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 198 199 202 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 299 302 306 309 311 312 314 315 316 317 318 320 330 331 334 335 337 338 339 340 341 342 344 345 346 347 350 352 355 356 360 368 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 26 29 30 31 33 44 45 46 52 55 56 59 69 72 74 75 79 80 84 86 87 88 96 98 101 102 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 198 199 202 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 299 302 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 339 340 341 342 344 345 346 347 350 352 355 356 360 368 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 430 434 435 437 439 440 442 443 445 448 449 452 454 a 11 17 26 29 30 31 33 44 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 98 101 102 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 198 199 202 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 299 302 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 350 352 355 356 360 368 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 430 434 435 437 439 440 442 443 445 448 449 452 454 a 11 16 17 26 29 30 31 33 44 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 98 101 102 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 198 199 202 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 299 302 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 368 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 430 434 435 437 439 440 442 443 445 448 449 452 454 a 11 16 17 26 29 30 31 33 44 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 101 102 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 198 199 202 206 212 215 218 222 233 234 235 236 237 243 247 249 259 263 272 273 275 277 278 285 286 287 299 302 303 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 368 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 430 434 435 437 439 440 442 443 445 448 449 452 454 a 11 16 17 26 29 30 31 33 44 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 101 102 109 116 121 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 198 199 202 206 212 215 218 222 233 234 235 236 237 243 247 249 252 259 263 272 273 275 277 278 285 286 287 299 302 303 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 430 434 435 437 439 440 442 443 445 448 449 452 454 a 11 16 17 26 29 30 33 44 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 101 102 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 198 199 202 206 212 215 218 222 233 234 235 236 237 243 247 249 252 259 263 272 273 275 277 278 285 286 287 299 302 303 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 430 434 435 437 439 440 442 443 445 448 449 452 454 a 11 16 17 26 29 30 44 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 101 102 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 198 199 202 206 212 215 218 222 233 234 235 236 237 243 244 247 249 252 259 263 272 273 275 277 278 285 286 287 299 302 303 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 427 428 430 434 435 437 439 440 442 443 445 448 449 452 454 a 11 16 17 26 29 30 44 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 101 102 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 243 244 247 249 252 259 263 272 273 275 277 278 285 286 287 299 302 303 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 372 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 442 443 445 448 449 452 454 a 11 16 17 26 29 30 44 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 101 102 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 243 244 247 249 252 259 263 272 273 275 277 278 285 286 287 299 302 303 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 383 384 386 387 388 392 395 400 401 405 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 29 30 44 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 101 102 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 243 244 247 249 252 259 263 272 273 275 277 278 285 286 287 299 302 303 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 383 384 386 387 388 395 400 401 405 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 29 30 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 101 102 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 243 244 247 249 252 259 263 272 273 275 277 278 285 286 287 299 302 303 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 383 384 386 387 388 395 400 401 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 29 30 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 97 101 102 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 244 247 249 252 259 263 272 273 275 277 278 285 286 287 299 302 303 306 309 311 312 314 315 316 317 318 320 330 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 383 384 386 387 388 395 400 401 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 29 30 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 97 101 102 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 244 247 249 252 259 263 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 314 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 383 384 386 387 388 395 400 401 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 29 30 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 244 247 249 252 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 314 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 383 384 386 387 388 395 400 401 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 29 30 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 383 384 386 387 388 395 400 401 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 45 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 383 384 386 387 388 395 401 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 46 52 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 233 234 235 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 381 383 384 386 387 388 395 401 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 46 55 56 59 69 70 72 74 75 79 80 84 86 87 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 228 233 234 235 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 347 352 355 356 360 369 370 373 376 381 383 384 386 387 388 395 401 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 46 55 56 59 69 70 72 74 75 79 80 83 84 86 87 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 202 206 212 215 218 222 228 233 234 235 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 352 355 356 360 369 370 373 376 381 383 384 386 387 388 395 401 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 46 55 56 59 69 70 72 74 75 79 80 83 84 86 87 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 200 202 206 212 215 218 222 228 233 234 235 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 352 355 356 360 369 370 373 376 381 383 384 386 387 388 395 405 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 46 55 56 59 69 70 72 74 75 79 80 83 84 86 87 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 144 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 200 202 206 212 215 218 222 228 233 234 235 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 352 355 356 360 369 370 373 376 381 383 384 386 387 388 395 408 409 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 55 56 59 69 70 72 74 75 79 80 83 84 86 87 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 144 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 200 202 206 212 215 218 222 228 233 234 235 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 352 355 356 360 369 370 373 376 381 383 384 386 387 388 395 408 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 130 135 137 141 142 143 144 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 200 202 206 212 215 218 222 228 233 234 235 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 352 355 356 358 360 369 370 373 376 381 383 384 386 387 388 395 408 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 169 173 177 181 183 188 189 195 199 200 202 206 212 215 218 222 228 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 340 341 342 344 345 346 352 355 356 358 360 369 370 373 376 381 383 384 386 387 388 395 408 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 164 169 173 177 181 183 188 189 195 199 200 202 206 212 215 218 222 228 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 331 334 337 338 341 342 344 345 346 352 355 356 358 360 369 370 373 376 381 383 384 386 387 388 395 408 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 164 169 173 177 181 183 188 189 195 199 200 202 206 212 215 218 222 228 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 360 369 370 373 376 381 383 384 386 387 388 395 408 412 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 164 169 173 177 181 183 188 189 195 199 200 202 206 212 215 218 222 228 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 360 369 370 373 376 381 383 384 386 387 388 395 408 413 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 164 169 173 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 360 369 370 373 376 381 383 384 386 387 388 395 408 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 164 169 173 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 386 387 388 395 408 415 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 164 169 173 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 228 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 386 387 388 395 406 408 417 421 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 164 169 173 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 228 232 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 386 387 388 395 406 408 417 422 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 164 169 173 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 228 232 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 386 387 388 395 406 408 417 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 455 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 154 156 158 160 162 164 169 173 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 455 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 156 158 160 162 164 169 173 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 439 440 441 442 443 445 448 449 452 454 455 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 88 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 156 158 160 162 164 169 173 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 443 445 448 449 452 454 455 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 156 158 160 162 164 169 173 176 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 236 237 244 247 249 252 256 259 263 270 272 273 275 277 278 285 286 287 295 299 302 303 306 309 311 312 315 316 317 318 320 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 443 445 448 449 452 454 455 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 156 158 160 162 164 169 173 176 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 236 237 244 247 249 252 256 263 270 272 273 275 277 278 285 286 287 295 299 300 302 303 306 309 311 312 315 316 317 318 320 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 443 445 448 449 452 454 455 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 142 143 144 145 149 156 158 160 162 164 169 173 176 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 244 247 249 252 256 263 270 272 273 275 277 278 279 285 286 287 295 299 300 302 303 306 309 311 312 315 316 317 318 320 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 443 445 448 449 452 454 455 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 160 162 164 169 173 176 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 244 247 249 252 256 263 270 272 273 275 277 278 279 285 286 287 295 299 300 302 303 304 306 309 311 312 315 316 317 318 320 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 443 445 448 449 452 454 455 a 11 16 17 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 160 162 164 169 173 176 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 299 300 302 303 304 306 309 311 312 315 316 317 318 320 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 445 448 449 452 454 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 160 162 164 169 173 176 177 181 183 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 299 300 302 303 304 306 309 311 312 315 316 317 318 320 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 448 449 452 454 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 160 162 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 306 309 311 312 315 316 317 318 320 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 386 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 448 449 452 454 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 306 309 311 312 315 316 317 318 320 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 448 449 452 454 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 159 160 162 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 306 309 311 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 159 160 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 244 247 249 252 256 260 263 270 272 273 275 277 278 279 285 286 287 295 297 299 300 302 303 304 306 309 311 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 159 160 164 169 173 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 295 297 299 300 302 303 304 306 309 311 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 295 297 299 300 302 303 304 309 311 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 295 297 299 300 302 303 304 309 312 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 a 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat" User time (seconds): 3373.20 System time (seconds): 10.27 Percent of CPU this job got: 194% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.18 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): 28183340 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8582392 Voluntary context switches: 67781 Involuntary context switches: 12392 Swaps: 0 File system inputs: 0 File system outputs: 776 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 21:54:14 2023]