#BEGIN: [Fri Sep 8 00:40:26 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance037_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance037_graph002_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=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance037_graph002.col /benchmark/random_instance/random_instance037_graph002_01.dat s 141 133 41 213 383 37 38 461 395 95 84 139 52 468 305 326 275 135 194 217 36 91 339 188 311 418 121 168 106 256 479 405 58 473 320 258 247 331 467 249 410 252 212 207 370 436 14 269 365 272 291 127 382 319 420 215 223 444 214 456 358 192 218 164 298 177 374 295 8 399 68 129 415 335 227 345 62 359 357 427 108 201 120 50 71 257 408 229 66 274 430 234 224 310 350 11 67 421 394 101 441 480 61 114 364 446 157 301 233 404 122 51 222 64 167 469 360 144 316 250 378 57 24 146 140 46 309 191 347 412 161 47 151 458 417 178 187 409 210 281 351 102 53 265 455 423 219 389 391 33 t 194 36 238 403 1 422 241 306 391 449 64 7 59 312 286 455 453 427 432 464 16 70 26 43 163 461 348 52 278 131 87 140 210 404 102 48 328 263 289 472 237 341 255 274 425 211 167 83 395 474 426 181 19 66 133 150 129 85 14 178 104 9 446 248 214 101 191 435 89 67 402 139 27 252 418 151 86 389 55 354 287 158 462 175 428 324 121 301 44 339 414 307 57 331 15 119 51 423 106 112 342 34 334 332 473 300 385 74 166 35 409 360 408 138 466 199 347 316 320 415 353 253 39 192 42 294 162 261 68 32 416 405 383 53 401 17 41 234 355 280 60 91 452 161 222 325 477 110 310 177 a YES a 8 11 14 24 33 36 37 38 41 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 157 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 8 11 14 24 33 36 37 39 41 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 157 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 8 11 14 24 33 36 37 39 41 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 74 84 91 95 101 102 106 108 120 121 122 127 129 133 135 139 140 141 144 146 151 157 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 8 11 14 24 33 36 37 39 41 46 47 50 51 52 53 57 58 61 62 64 66 67 68 70 71 74 84 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 157 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 11 14 24 33 36 37 39 41 46 47 50 51 52 53 57 58 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 157 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 11 14 24 33 36 37 39 41 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 157 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 11 14 24 33 36 37 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 9 11 14 24 33 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 9 11 14 24 33 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 207 210 211 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 9 11 14 24 33 34 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 207 210 211 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 9 14 24 33 34 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 207 210 211 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 455 456 458 461 467 468 469 473 479 480 a 9 14 33 34 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 207 210 211 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 280 281 291 295 298 301 305 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 455 456 458 461 467 468 469 473 479 480 a 9 14 33 34 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 168 177 178 187 188 191 192 194 207 210 211 212 213 214 217 218 219 222 223 224 227 229 233 234 247 248 249 250 252 256 257 258 265 269 272 274 275 280 281 291 295 298 301 305 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 455 456 458 461 467 468 469 473 479 480 a 9 14 33 34 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 188 191 192 194 207 210 211 212 213 214 217 218 219 222 223 224 227 229 233 234 247 248 249 250 252 256 257 258 265 269 272 274 275 280 281 291 295 298 301 305 307 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 455 456 458 461 467 468 469 473 479 480 a 9 14 33 34 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 212 213 214 217 218 219 222 223 224 227 229 233 234 247 248 249 250 252 256 257 258 265 269 272 274 275 280 281 291 294 295 298 301 305 307 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 455 456 458 461 467 468 469 473 479 480 a 9 14 33 34 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 212 213 214 217 219 222 223 224 227 229 233 234 247 248 249 250 252 256 257 258 265 269 272 274 275 280 281 291 294 295 298 301 305 307 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 453 455 456 458 461 467 468 469 473 479 480 a 9 14 15 33 34 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 212 213 214 217 219 222 224 227 229 233 234 247 248 249 250 252 256 257 258 265 269 272 274 275 280 281 291 294 295 298 301 305 307 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 453 455 456 458 461 467 468 469 473 479 480 a 9 14 15 33 34 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 212 213 214 217 219 222 224 227 229 233 234 248 249 250 252 256 257 258 265 269 272 274 275 280 281 291 294 295 298 301 305 307 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 453 455 456 458 461 467 468 469 473 474 479 480 a 9 14 15 34 35 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 212 213 214 217 219 222 224 227 229 233 234 248 249 250 252 256 257 258 265 269 272 274 275 280 281 291 294 295 298 301 305 307 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 453 455 456 458 461 467 468 469 473 474 479 480 a 9 14 15 34 35 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 212 213 214 217 219 222 224 227 229 233 234 248 250 252 256 257 258 265 269 272 274 275 280 281 291 294 295 298 301 305 307 309 310 311 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 467 468 469 473 474 479 480 a 9 14 15 34 35 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 250 252 256 257 258 265 269 272 274 275 280 281 291 294 295 298 301 305 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 467 468 469 473 474 479 480 a 9 14 15 34 35 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 256 257 258 265 269 272 274 275 280 281 291 294 295 298 301 305 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 467 468 469 473 474 479 480 a 9 14 15 17 34 35 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 257 258 265 269 272 274 275 280 281 291 294 295 298 301 305 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 467 468 469 473 474 479 480 a 9 14 15 17 34 35 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 258 265 269 272 274 275 280 281 291 294 295 298 301 305 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 9 14 15 17 34 35 36 39 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 163 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 265 269 272 274 275 280 281 291 294 295 298 301 305 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 9 14 15 17 34 35 36 39 41 43 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 163 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 275 280 281 291 294 295 298 301 305 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 47 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 163 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 301 305 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 50 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 163 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 301 305 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 161 163 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 301 305 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 61 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 120 121 122 129 133 135 139 140 141 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 301 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 141 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 301 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 141 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 301 306 307 309 310 311 312 316 319 320 326 328 331 335 339 345 347 348 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 301 306 307 309 310 311 312 316 319 320 326 328 331 332 335 339 345 347 348 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 301 306 307 309 310 311 312 316 320 326 328 331 332 335 339 342 345 347 348 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 301 306 307 309 310 311 312 316 320 328 331 332 335 339 342 345 347 348 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 71 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 217 219 222 224 227 229 233 234 248 252 261 265 269 272 274 280 281 291 294 295 298 300 301 306 307 309 310 311 312 316 320 328 331 332 335 339 342 347 348 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 217 219 222 224 227 229 233 234 241 248 252 261 265 269 272 274 280 281 291 294 295 298 300 301 306 307 309 310 311 312 316 320 328 331 332 335 339 342 347 348 350 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 217 219 222 224 227 229 233 234 241 248 252 261 265 269 272 274 280 281 291 294 295 298 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 32 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 217 219 222 224 227 229 233 234 241 248 252 261 265 269 272 274 280 281 291 294 298 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 265 269 272 274 280 281 291 294 298 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 265 269 272 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 86 91 95 101 102 106 108 110 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 265 269 272 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 86 91 95 101 102 106 108 110 112 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 265 269 272 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 359 360 364 365 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 265 269 272 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 359 360 364 365 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 265 269 272 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 359 360 364 365 378 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 139 140 144 146 151 158 161 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 265 269 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 359 360 364 365 378 383 389 391 394 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 57 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 139 140 144 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 265 269 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 359 360 364 365 378 383 389 391 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 55 57 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 139 140 144 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 265 269 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 360 364 365 378 383 389 391 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 55 57 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 139 140 144 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 269 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 360 364 365 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 55 57 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 144 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 360 364 365 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 55 57 60 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 274 280 281 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 335 339 342 347 348 351 354 357 360 364 365 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 55 57 60 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 339 342 347 348 351 354 357 360 364 365 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 51 52 53 55 57 60 62 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 339 342 347 348 351 354 357 360 364 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 219 222 224 227 229 233 234 241 248 252 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 339 342 347 348 351 354 357 360 364 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 222 224 227 229 233 234 241 248 252 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 364 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 222 224 227 229 233 234 241 248 252 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 187 191 192 194 207 210 211 214 222 224 227 229 234 241 248 252 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 378 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 383 389 391 395 399 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 383 389 391 395 403 404 405 408 409 410 412 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 383 389 391 395 401 403 404 405 408 409 410 415 416 417 418 420 421 423 425 426 427 430 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 383 389 391 395 401 403 404 405 408 409 410 415 416 417 418 421 423 425 426 427 430 432 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 289 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 383 389 391 395 401 403 404 405 408 409 410 415 416 417 418 423 425 426 427 430 432 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 287 289 291 294 300 301 306 307 309 310 311 312 316 320 325 328 331 332 334 339 342 347 348 351 354 357 360 383 389 391 395 401 403 404 405 408 409 410 415 416 417 418 423 425 426 427 432 436 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 84 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 287 289 291 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 351 354 357 360 383 389 391 395 401 403 404 405 408 409 410 415 416 417 418 423 425 426 427 432 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 287 289 291 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 351 354 355 357 360 383 389 391 395 401 403 404 405 408 409 410 415 416 417 418 423 425 426 427 432 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 287 289 291 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 351 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 423 425 426 427 432 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 351 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 423 425 426 427 432 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 166 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 423 425 426 427 432 441 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 166 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 423 425 426 427 432 444 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 95 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 166 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 237 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 423 425 426 427 432 446 449 452 453 455 456 458 461 462 464 467 468 469 473 474 479 480 a 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 101 102 104 106 108 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 166 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 237 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 423 425 426 427 432 446 449 452 453 455 456 458 461 462 464 466 467 468 469 473 474 479 480 a 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 101 102 104 106 110 112 119 120 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 166 167 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 237 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 423 425 426 427 432 446 449 452 453 455 456 458 461 462 464 466 467 468 469 473 474 479 480 a 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 101 102 104 106 110 112 119 121 122 129 133 135 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 237 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 423 425 426 427 432 446 449 452 453 455 456 458 461 462 464 466 467 468 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 101 102 104 106 110 112 119 121 129 133 135 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 187 191 192 194 199 210 211 214 222 224 227 229 234 237 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 423 425 426 427 432 446 449 452 453 455 456 458 461 462 464 466 467 468 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 101 102 104 106 110 112 119 121 129 133 135 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 224 227 229 234 237 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 403 404 405 408 409 415 416 417 418 422 423 425 426 427 432 446 449 452 453 455 456 458 461 462 464 466 467 468 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 89 91 101 102 104 106 110 112 119 121 129 133 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 224 227 229 234 237 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 415 416 417 418 422 423 425 426 427 432 446 449 452 453 455 456 458 461 462 464 466 467 468 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 87 89 91 101 102 104 106 110 112 119 121 129 133 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 227 229 234 237 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 415 416 417 418 422 423 425 426 427 432 446 449 452 453 455 456 458 461 462 464 466 467 468 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 87 89 91 101 102 104 106 110 112 119 121 129 133 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 227 234 237 238 241 248 252 255 261 263 274 280 281 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 415 416 417 418 422 423 425 426 427 432 446 449 452 453 455 456 458 461 462 464 466 467 468 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 87 89 91 101 102 104 106 110 112 119 121 129 133 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 227 234 237 238 241 248 252 255 261 263 274 280 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 415 416 417 418 422 423 425 426 427 428 432 446 449 452 453 455 456 458 461 462 464 466 467 468 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 87 89 91 101 102 104 106 110 112 119 121 129 133 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 227 234 237 238 241 248 252 255 261 263 274 280 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 446 449 452 453 455 458 461 462 464 466 467 468 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 87 89 91 101 102 104 106 110 112 119 121 129 133 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 227 234 237 238 241 248 252 253 255 261 263 274 280 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 446 449 452 453 455 458 461 462 464 466 468 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 60 64 66 67 68 70 74 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 146 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 227 234 237 238 241 248 252 253 255 261 263 274 280 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 446 449 452 453 455 458 461 462 464 466 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 227 234 237 238 241 248 252 253 255 261 263 274 280 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 446 449 452 453 455 458 461 462 464 466 469 473 474 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 280 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 446 449 452 453 455 458 461 462 464 466 469 473 474 477 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 280 286 287 289 294 300 301 306 307 309 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 446 449 452 453 455 458 461 462 464 466 473 474 477 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 446 449 452 453 455 458 461 462 464 466 473 474 477 479 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 311 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 435 446 449 452 453 455 458 461 462 464 466 473 474 477 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 357 360 383 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 435 446 449 452 453 455 458 461 462 464 466 473 474 477 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 417 418 422 423 425 426 427 428 432 435 446 449 452 453 455 458 461 462 464 466 473 474 477 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 422 423 425 426 427 428 432 435 446 449 452 453 455 458 461 462 464 466 473 474 477 480 a 1 7 9 14 15 16 17 26 27 32 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 422 423 425 426 427 428 432 435 446 449 452 453 455 461 462 464 466 472 473 474 477 480 a 1 7 9 14 15 16 17 19 26 27 32 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 422 423 425 426 427 428 432 435 446 449 452 453 455 461 462 464 466 472 473 474 477 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance037_graph002.col /benchmark/random_instance/random_instance037_graph002_01.dat" User time (seconds): 0.30 System time (seconds): 0.00 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.31 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): 20856 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 13530 Voluntary context switches: 26 Involuntary context switches: 4 Swaps: 0 File system inputs: 0 File system outputs: 512 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 00:40:27 2023]