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/square/hc-square-004-002.col
c Target file: benchmark/square/hc-square-004-002_01.dat
c Size of independent set: 18
c Number of nodes of graph: 44
c Number of edges of graph: 63
c Average degree of graph: 2.86
s 2 4 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 
t 1 3 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 
c BFS found 5 new nodes in level 1 (total 6/268435456)
c BFS found 10 new nodes in level 2 (total 16/268435456)
c BFS found 11 new nodes in level 3 (total 27/268435456)
c BFS found 9 new nodes in level 4 (total 36/268435456)
c BFS found 7 new nodes in level 5 (total 39/268435456)
c BFS found 5 new nodes in level 6 (total 41/268435456)
c BFS found 4 new nodes in level 7 (total 36/268435456)
c BFS found 4 new nodes in level 8 (total 33/268435456)
c BFS found 4 new nodes in level 9 (total 32/268435456)
c BFS found 5 new nodes in level 10 (total 35/268435456)
c BFS found 8 new nodes in level 11 (total 42/268435456)
c BFS found 11 new nodes in level 12 (total 52/268435456)
c BFS found 13 new nodes in level 13 (total 64/268435456)
c BFS found 13 new nodes in level 14 (total 65/268435456)
c BFS found 10 new nodes in level 15 (total 70/268435456)
c BFS found 6 new nodes in level 16 (total 72/268435456)
c BFS found 3 new nodes in level 17 (total 65/268435456)
c BFS found 2 new nodes in level 18 (total 55/268435456)
c BFS found 3 new nodes in level 19 (total 45/268435456)
c BFS found 5 new nodes in level 20 (total 45/268435456)
c BFS found 8 new nodes in level 21 (total 53/268435456)
c BFS found 13 new nodes in level 22 (total 66/268435456)
c BFS found 17 new nodes in level 23 (total 83/268435456)
c BFS found 19 new nodes in level 24 (total 102/268435456)
c BFS found 19 new nodes in level 25 (total 114/268435456)
c BFS found 17 new nodes in level 26 (total 122/268435456)
c BFS found 13 new nodes in level 27 (total 102/268435456)
c BFS found 11 new nodes in level 28 (total 105/268435456)
c BFS found 11 new nodes in level 29 (total 97/268435456)
c BFS found 12 new nodes in level 30 (total 95/268435456)
c BFS found 13 new nodes in level 31 (total 99/268435456)
c BFS found 13 new nodes in level 32 (total 97/268435456)
c BFS found 11 new nodes in level 33 (total 103/268435456)
c BFS found 9 new nodes in level 34 (total 105/268435456)
c BFS found 9 new nodes in level 35 (total 104/268435456)
c BFS found 11 new nodes in level 36 (total 93/268435456)
c BFS found 16 new nodes in level 37 (total 88/268435456)
c BFS found 23 new nodes in level 38 (total 97/268435456)
c BFS found 30 new nodes in level 39 (total 125/268435456)
c BFS found 36 new nodes in level 40 (total 151/268435456)
c BFS found 40 new nodes in level 41 (total 182/268435456)
c BFS found 39 new nodes in level 42 (total 204/268435456)
c BFS found 35 new nodes in level 43 (total 218/268435456)
c BFS found 31 new nodes in level 44 (total 219/268435456)
c BFS found 28 new nodes in level 45 (total 215/268435456)
c BFS found 27 new nodes in level 46 (total 201/268435456)
c BFS found 30 new nodes in level 47 (total 195/268435456)
c BFS found 34 new nodes in level 48 (total 197/268435456)
c BFS found 36 new nodes in level 49 (total 213/268435456)
c BFS found 36 new nodes in level 50 (total 230/268435456)
c BFS found 34 new nodes in level 51 (total 243/268435456)
c BFS found 30 new nodes in level 52 (total 229/268435456)
c BFS found 27 new nodes in level 53 (total 225/268435456)
c BFS found 29 new nodes in level 54 (total 217/268435456)
c BFS found 35 new nodes in level 55 (total 215/268435456)
c BFS found 43 new nodes in level 56 (total 230/268435456)
c BFS found 51 new nodes in level 57 (total 267/268435456)
c BFS found 55 new nodes in level 58 (total 299/268435456)
c BFS found 51 new nodes in level 59 (total 324/268435456)
c BFS found 43 new nodes in level 60 (total 336/268435456)
c BFS found 35 new nodes in level 61 (total 333/268435456)
c BFS found 29 new nodes in level 62 (total 305/268435456)
c BFS found 27 new nodes in level 63 (total 274/268435456)
c BFS found 30 new nodes in level 64 (total 259/268435456)
c BFS found 34 new nodes in level 65 (total 235/268435456)
c BFS found 36 new nodes in level 66 (total 248/268435456)
c BFS found 36 new nodes in level 67 (total 251/268435456)
c BFS found 34 new nodes in level 68 (total 262/268435456)
c BFS found 30 new nodes in level 69 (total 267/268435456)
c BFS found 27 new nodes in level 70 (total 261/268435456)
c BFS found 28 new nodes in level 71 (total 240/268435456)
c BFS found 31 new nodes in level 72 (total 232/268435456)
c BFS found 33 new nodes in level 73 (total 242/268435456)
c BFS found 34 new nodes in level 74 (total 245/268435456)
c BFS found 32 new nodes in level 75 (total 247/268435456)
c BFS found 26 new nodes in level 76 (total 253/268435456)
c BFS found 20 new nodes in level 77 (total 242/268435456)
c BFS found 17 new nodes in level 78 (total 225/268435456)
c BFS found 15 new nodes in level 79 (total 213/268435456)
c BFS found 14 new nodes in level 80 (total 200/268435456)
c BFS found 15 new nodes in level 81 (total 192/268435456)
c BFS found 16 new nodes in level 82 (total 162/268435456)
c BFS found 15 new nodes in level 83 (total 173/268435456)
c BFS found 13 new nodes in level 84 (total 178/268435456)
c BFS found 11 new nodes in level 85 (total 165/268435456)
c BFS found 8 new nodes in level 86 (total 147/268435456)
c BFS found 5 new nodes in level 87 (total 145/268435456)
c BFS found 5 new nodes in level 88 (total 138/268435456)
c BFS found 7 new nodes in level 89 (total 137/268435456)
c BFS exiting found=true count=138 max_count=268435456
c R=18
c Found with: Breadth First Search
a YES
a 2 4 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 
a 1 4 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 
a 1 3 6 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 
a 1 3 5 9 11 14 16 19 21 24 26 29 31 34 36 39 41 44 
a 1 3 5 8 11 14 16 19 21 24 26 29 31 34 36 39 41 44 
a 1 3 7 8 11 14 16 19 21 24 26 29 31 34 36 39 41 44 
a 1 4 7 8 11 14 16 19 21 24 26 29 31 34 36 39 41 44 
a 2 4 7 8 11 14 16 19 21 24 26 29 31 34 36 39 41 44 
a 2 4 7 8 10 14 16 19 21 24 26 29 31 34 36 39 41 44 
a 2 4 7 8 10 13 16 19 21 24 26 29 31 34 36 39 41 44 
a 2 4 7 8 10 13 15 19 21 24 26 29 31 34 36 39 41 44 
a 2 4 7 8 10 13 15 18 21 24 26 29 31 34 36 39 41 44 
a 2 4 7 8 10 13 17 18 21 24 26 29 31 34 36 39 41 44 
a 2 4 7 8 10 14 17 18 21 24 26 29 31 34 36 39 41 44 
a 2 4 7 8 11 14 17 18 21 24 26 29 31 34 36 39 41 44 
a 1 4 7 8 11 14 17 18 21 24 26 29 31 34 36 39 41 44 
a 1 3 7 8 11 14 17 18 21 24 26 29 31 34 36 39 41 44 
a 1 3 5 8 11 14 17 18 21 24 26 29 31 34 36 39 41 44 
a 1 3 5 9 11 14 17 18 21 24 26 29 31 34 36 39 41 44 
a 1 3 5 9 11 14 17 18 20 24 26 29 31 34 36 39 41 44 
a 1 3 5 9 11 14 17 18 20 23 26 29 31 34 36 39 41 44 
a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 36 39 41 44 
a 1 3 5 9 11 14 17 18 20 23 25 28 31 34 36 39 41 44 
a 1 3 5 9 11 14 17 18 20 23 27 28 31 34 36 39 41 44 
a 1 3 5 9 11 14 17 18 20 24 27 28 31 34 36 39 41 44 
a 1 3 5 9 11 14 17 18 21 24 27 28 31 34 36 39 41 44 
a 1 3 5 8 11 14 17 18 21 24 27 28 31 34 36 39 41 44 
a 1 3 7 8 11 14 17 18 21 24 27 28 31 34 36 39 41 44 
a 1 4 7 8 11 14 17 18 21 24 27 28 31 34 36 39 41 44 
a 2 4 7 8 11 14 17 18 21 24 27 28 31 34 36 39 41 44 
a 2 4 7 8 10 14 17 18 21 24 27 28 31 34 36 39 41 44 
a 2 4 7 8 10 13 17 18 21 24 27 28 31 34 36 39 41 44 
a 2 4 7 8 10 13 15 18 21 24 27 28 31 34 36 39 41 44 
a 2 4 7 8 10 13 15 19 21 24 27 28 31 34 36 39 41 44 
a 2 4 7 8 10 13 15 19 21 24 27 28 30 34 36 39 41 44 
a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 36 39 41 44 
a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 35 39 41 44 
a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 35 38 41 44 
a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 37 38 41 44 
a 2 4 7 8 10 13 15 19 21 24 27 28 30 34 37 38 41 44 
a 2 4 7 8 10 13 15 19 21 24 27 28 31 34 37 38 41 44 
a 2 4 7 8 10 13 15 18 21 24 27 28 31 34 37 38 41 44 
a 2 4 7 8 10 13 17 18 21 24 27 28 31 34 37 38 41 44 
a 2 4 7 8 10 14 17 18 21 24 27 28 31 34 37 38 41 44 
a 2 4 7 8 11 14 17 18 21 24 27 28 31 34 37 38 41 44 
a 1 4 7 8 11 14 17 18 21 24 27 28 31 34 37 38 41 44 
a 1 3 7 8 11 14 17 18 21 24 27 28 31 34 37 38 41 44 
a 1 3 5 8 11 14 17 18 21 24 27 28 31 34 37 38 41 44 
a 1 3 5 9 11 14 17 18 21 24 27 28 31 34 37 38 41 44 
a 1 3 5 9 11 14 17 18 20 24 27 28 31 34 37 38 41 44 
a 1 3 5 9 11 14 17 18 20 23 27 28 31 34 37 38 41 44 
a 1 3 5 9 11 14 17 18 20 23 25 28 31 34 37 38 41 44 
a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 37 38 41 44 
a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 37 38 40 44 
a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 37 38 40 43 
a 1 3 5 9 11 14 17 18 20 23 25 29 31 34 37 38 42 43 
a 1 3 5 9 11 14 17 18 20 23 25 28 31 34 37 38 42 43 
a 1 3 5 9 11 14 17 18 20 23 27 28 31 34 37 38 42 43 
a 1 3 5 9 11 14 17 18 20 24 27 28 31 34 37 38 42 43 
a 1 3 5 9 11 14 17 18 21 24 27 28 31 34 37 38 42 43 
a 1 3 5 8 11 14 17 18 21 24 27 28 31 34 37 38 42 43 
a 1 3 7 8 11 14 17 18 21 24 27 28 31 34 37 38 42 43 
a 1 4 7 8 11 14 17 18 21 24 27 28 31 34 37 38 42 43 
a 2 4 7 8 11 14 17 18 21 24 27 28 31 34 37 38 42 43 
a 2 4 7 8 10 14 17 18 21 24 27 28 31 34 37 38 42 43 
a 2 4 7 8 10 13 17 18 21 24 27 28 31 34 37 38 42 43 
a 2 4 7 8 10 13 15 18 21 24 27 28 31 34 37 38 42 43 
a 2 4 7 8 10 13 15 19 21 24 27 28 31 34 37 38 42 43 
a 2 4 7 8 10 13 15 19 21 24 27 28 30 34 37 38 42 43 
a 2 4 7 8 10 13 15 19 21 24 27 28 30 33 37 38 42 43 
a 2 4 7 8 10 13 15 19 21 24 27 28 32 33 37 38 42 43 
a 2 4 7 8 10 13 15 18 21 24 27 28 32 33 37 38 42 43 
a 2 4 7 8 10 13 17 18 21 24 27 28 32 33 37 38 42 43 
a 2 4 7 8 10 14 17 18 21 24 27 28 32 33 37 38 42 43 
a 2 4 7 8 11 14 17 18 21 24 27 28 32 33 37 38 42 43 
a 1 4 7 8 11 14 17 18 21 24 27 28 32 33 37 38 42 43 
a 1 3 7 8 11 14 17 18 21 24 27 28 32 33 37 38 42 43 
a 1 3 5 8 11 14 17 18 21 24 27 28 32 33 37 38 42 43 
a 1 3 5 9 11 14 17 18 21 24 27 28 32 33 37 38 42 43 
a 1 3 5 9 11 14 17 18 20 24 27 28 32 33 37 38 42 43 
a 1 3 5 9 11 14 17 18 20 23 27 28 32 33 37 38 42 43 
a 1 3 5 9 11 14 17 18 22 23 27 28 32 33 37 38 42 43 
a 1 3 5 8 11 14 17 18 22 23 27 28 32 33 37 38 42 43 
a 1 3 7 8 11 14 17 18 22 23 27 28 32 33 37 38 42 43 
a 1 4 7 8 11 14 17 18 22 23 27 28 32 33 37 38 42 43 
a 2 4 7 8 11 14 17 18 22 23 27 28 32 33 37 38 42 43 
a 2 4 7 8 10 14 17 18 22 23 27 28 32 33 37 38 42 43 
a 2 4 7 8 10 13 17 18 22 23 27 28 32 33 37 38 42 43 
a 2 4 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 
a 1 4 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 
a 1 3 7 8 12 13 17 18 22 23 27 28 32 33 37 38 42 43 
c Length: 90
	Command being timed: "src/recon_th benchmark/square/hc-square-004-002.col benchmark/square/hc-square-004-002_01.dat"
	User time (seconds): 0.01
	System time (seconds): 0.04
	Percent of CPU this job got: 101%
	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): 264212
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 65641
	Voluntary context switches: 3
	Involuntary context switches: 0
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0