c Copyright Volker Turau & Christoph Weyer, 2022 c Institute of Telematics c Hamburg University of Technology, Hamburg, Germany c Contact: turau@tuhh.de c Graph file: benchmark/color04/wap01a.col c Target file: benchmark/color04/wap01a_01.dat c Size of independent set: 152 c Number of nodes of graph: 2368 c Number of edges of graph: 110871 c Average degree of graph: 93.64 s 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 t 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 c BFS found 517 new nodes in level 1 (total 518/57113926) c R=22 c Found with: Iterative A*-Search a YES a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 633 643 644 658 659 663 671 675 685 705 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 633 643 644 658 659 663 671 675 685 705 709 711 715 716 743 747 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 633 643 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 114 140 141 142 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 100 114 140 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 64 66 67 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 43 56 57 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 24 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 c Length: 22 Command being timed: "src/recon_th benchmark/color04/wap01a.col benchmark/color04/wap01a_01.dat" User time (seconds): 0.06 System time (seconds): 0.06 Percent of CPU this job got: 168% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.07 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): 290884 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 72331 Voluntary context switches: 5 Involuntary context switches: 0 Swaps: 0 File system inputs: 2496 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0