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_01.dat
c Size of independent set: 82
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 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498 
t 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498 
c BFS found 26 new nodes in level 1 (total 27/157903209)
c BFS found 320 new nodes in level 2 (total 347/157903209)
c BFS found 2483 new nodes in level 3 (total 2830/157903209)
c BFS found 13647 new nodes in level 4 (total 16476/157903209)
c R=8
c Found with: Iterative A*-Search
a YES
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498 
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 481 488 489 492 493 498 
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 269 298 301 306 309 319 323 324 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498 
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 269 298 301 306 309 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498 
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 269 270 298 306 309 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498 
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498 
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 323 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498 
a 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 202 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498 
a 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498 
c Length: 8
	Command being timed: "src/recon_th benchmark/color04/DSJR500.1.col benchmark/color04/DSJR500.1_01.dat"
	User time (seconds): 0.04
	System time (seconds): 0.05
	Percent of CPU this job got: 185%
	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): 267584
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 66516
	Voluntary context switches: 6
	Involuntary context switches: 0
	Swaps: 0
	File system inputs: 80
	File system outputs: 0
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0