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/DSJR500.1.col
c Target file: benchmark/color04/DSJR500.1_02.dat
c Size of independent set: 81
c Number of nodes of graph: 500
c Number of edges of graph: 3555
c Average degree of graph: 14.22
s 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497 498 
t 1 8 19 20 22 26 29 44 47 52 53 55 57 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 
c BFS found 190 new nodes in level 1 (total 191/157903209)
c BFS found 4597 new nodes in level 2 (total 4788/157903209)
c R=13
c Found with: Iterative A*-Search
a YES
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497 498 
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 498 
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 498 
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 310 319 323 324 326 331 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 498 
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 309 310 319 323 324 326 331 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 270 295 298 306 309 310 319 323 324 326 331 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 148 155 160 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 270 295 298 306 309 310 319 323 324 326 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 106 114 115 128 148 155 160 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 270 295 298 306 309 310 319 323 324 326 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 270 295 298 306 309 310 319 324 326 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 
a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 270 295 298 306 309 310 319 324 326 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 
a 1 19 20 22 26 29 44 47 52 53 55 59 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 270 295 298 306 309 310 319 324 326 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 
a 1 19 20 22 26 29 44 47 52 53 55 57 59 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 
a 1 8 19 20 22 26 29 44 47 52 53 55 57 59 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 
a 1 8 19 20 22 26 29 44 47 52 53 55 57 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 
c Length: 13
	Command being timed: "src/recon_th benchmark/color04/DSJR500.1.col benchmark/color04/DSJR500.1_02.dat"
	User time (seconds): 0.05
	System time (seconds): 0.04
	Percent of CPU this job got: 190%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.05
	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): 268736
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 66817
	Voluntary context switches: 4
	Involuntary context switches: 1
	Swaps: 0
	File system inputs: 8
	File system outputs: 0
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0