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/queen/queen040x040.col
c Target file: benchmark/queen/queen040x040_04_8369.dat
c Size of independent set: 39
c Number of nodes of graph: 1600
c Number of edges of graph: 103480
c Average degree of graph: 129.35
s 27 71 104 146 180 225 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1595 
t 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595 
c BFS found 48 new nodes in level 1 (total 49/76695844)
c BFS found 191 new nodes in level 2 (total 240/76695844)
c BFS found 1171 new nodes in level 3 (total 1411/76695844)
c R=13
c R=14
c R=15
c BFS found 6567 new nodes in level 4 (total 7972/76695844)
c R=16
c R=17
c Found with: Iterative A*-Search
a YES
a 27 71 104 146 180 225 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1595 
a 27 71 104 146 180 225 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1077 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 1510 1559 1595 
a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1022 1077 1097 1133 1176 1209 1283 1360 1362 1405 1450 1510 1559 1595 
a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 579 604 673 681 756 789 832 874 908 935 978 1077 1097 1133 1176 1209 1262 1283 1360 1362 1405 1450 1510 1559 1595 
a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1283 1360 1362 1405 1450 1510 1559 1595 
a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1283 1360 1362 1405 1450 1499 1559 1595 
a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1283 1360 1362 1430 1450 1499 1559 1595 
a 27 71 104 146 180 225 246 301 343 367 412 454 491 558 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1285 1360 1362 1430 1450 1499 1559 1595 
a 27 71 104 146 180 225 246 301 343 412 454 491 558 567 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1285 1360 1362 1430 1450 1499 1559 1595 
a 27 71 104 146 180 225 243 301 343 412 454 491 558 567 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1285 1360 1362 1430 1450 1499 1559 1595 
a 27 71 104 146 180 225 243 301 343 412 454 491 558 567 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1285 1360 1366 1430 1450 1499 1559 1595 
a 27 71 104 146 180 225 243 301 343 412 454 491 558 567 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1209 1262 1282 1360 1366 1430 1450 1499 1559 1595 
a 27 71 104 146 180 225 243 301 343 412 454 491 558 567 604 673 681 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1262 1282 1360 1366 1430 1450 1499 1559 1595 
a 27 71 104 146 180 225 243 301 343 369 412 454 491 558 567 604 673 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1262 1282 1360 1366 1430 1450 1499 1559 1595 
a 27 71 104 146 180 225 243 301 343 369 412 454 491 558 567 604 673 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595 
a 27 71 104 146 180 225 243 301 343 369 412 454 491 558 567 604 673 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595 
a 27 71 104 146 180 225 301 343 369 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 1499 1559 1595 
c Length: 17
	Command being timed: "src/recon_th benchmark/queen/queen040x040.col benchmark/queen/queen040x040_04_8369.dat"
	User time (seconds): 0.23
	System time (seconds): 0.03
	Percent of CPU this job got: 184%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.14
	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): 268328
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 66676
	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