Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 31 : 0, 32 : 1, 33 : 2, 
10 recursive calls
Configuration Y_4(sum=7,0,2,5) IS NOT 7-reducible.
total_time : 0.0271s	nauty_time : 0.0268s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 
10 recursive calls
Configuration Y_4(sum=7,0,3,4) IS NOT 7-reducible.
total_time : 0.0259s	nauty_time : 0.0257s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 31 : 0, 32 : 1, 33 : 2, 
10 recursive calls
Configuration Y_4(sum=7,1,1,5) IS NOT 7-reducible.
total_time : 0.0246s	nauty_time : 0.0245s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 
10 recursive calls
Configuration Y_4(sum=7,1,2,4) IS NOT 7-reducible.
total_time : 0.0311s	nauty_time : 0.0309s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 
10 recursive calls
Configuration Y_4(sum=7,1,3,3) IS NOT 7-reducible.
total_time : 0.0349s	nauty_time : 0.0347s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 
10 recursive calls
Configuration Y_4(sum=7,2,2,3) IS NOT 7-reducible.
total_time : 0.0564s	nauty_time : 0.0560s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 
10 recursive calls
Configuration Y_4(sum=8,0,3,5) IS NOT 7-reducible.
total_time : 0.0342s	nauty_time : 0.0340s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 
10 recursive calls
Configuration Y_4(sum=8,0,4,4) IS NOT 7-reducible.
total_time : 0.0305s	nauty_time : 0.0303s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 
10 recursive calls
Configuration Y_4(sum=8,1,2,5) IS NOT 7-reducible.
total_time : 0.0344s	nauty_time : 0.0342s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 
10 recursive calls
Configuration Y_4(sum=8,1,3,4) IS NOT 7-reducible.
total_time : 0.0379s	nauty_time : 0.0377s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 
10 recursive calls
Configuration Y_4(sum=8,2,2,4) IS NOT 7-reducible.
total_time : 0.0626s	nauty_time : 0.0623s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 
10 recursive calls
Configuration Y_4(sum=8,2,3,3) IS NOT 7-reducible.
total_time : 0.0757s	nauty_time : 0.0753s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 
10 recursive calls
Configuration Y_4(sum=9,0,4,5) IS NOT 7-reducible.
total_time : 0.0406s	nauty_time : 0.0403s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 
10 recursive calls
Configuration Y_4(sum=9,1,3,5) IS NOT 7-reducible.
total_time : 0.0449s	nauty_time : 0.0446s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 
10 recursive calls
Configuration Y_4(sum=9,1,4,4) IS NOT 7-reducible.
total_time : 0.0506s	nauty_time : 0.0503s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 
10 recursive calls
Configuration Y_4(sum=9,2,2,5) IS NOT 7-reducible.
total_time : 0.0776s	nauty_time : 0.0772s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 
10 recursive calls
Configuration Y_4(sum=9,2,3,4) IS NOT 7-reducible.
total_time : 0.0766s	nauty_time : 0.0761s
Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 
10 recursive calls
Configuration Y_4(sum=9,3,3,3) IS NOT 7-reducible.
total_time : 0.1717s	nauty_time : 0.1684s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 
10 recursive calls
Configuration Y_4(sum=10,0,5,5) IS NOT 7-reducible.
total_time : 0.0621s	nauty_time : 0.0617s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 
10 recursive calls
Configuration Y_4(sum=10,1,4,5) IS NOT 7-reducible.
total_time : 0.0540s	nauty_time : 0.0537s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 
10 recursive calls
Configuration Y_4(sum=10,2,3,5) IS NOT 7-reducible.
total_time : 0.0836s	nauty_time : 0.0831s
456 recursive calls
Configuration Y_4(sum=10,2,4,4) is 7-reducible.
total_time : 46.5004s	nauty_time : 31.1640s
Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 3, 26 : 4, 27 : 5, 40 : 0, 41 : 3, 42 : 6, 
265 recursive calls
Configuration Y_4(sum=10,3,3,4) IS NOT 7-reducible.
total_time : 83.0000s	nauty_time : 69.9416s
456 recursive calls
Configuration Y_4(sum=11,1,5,5) is 7-reducible.
total_time : 6.6523s	nauty_time : 3.9277s
456 recursive calls
Configuration Y_4(sum=11,2,4,5) is 7-reducible.
total_time : 29.9994s	nauty_time : 26.5077s
Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 3, 26 : 4, 27 : 5, 43 : 0, 44 : 3, 45 : 6, 
265 recursive calls
Configuration Y_4(sum=11,3,3,5) IS NOT 7-reducible.
total_time : 71.0000s	nauty_time : 67.7663s
456 recursive calls
Configuration Y_4(sum=11,3,4,4) is 7-reducible.
total_time : 170.0000s	nauty_time : 110.2609s
456 recursive calls
Configuration Y_4(sum=12,2,5,5) is 7-reducible.
total_time : 35.1916s	nauty_time : 27.1016s
456 recursive calls
Configuration Y_4(sum=12,3,4,5) is 7-reducible.
total_time : 147.0000s	nauty_time : 127.7303s
272 recursive calls
Configuration Y_4(sum=12,4,4,4) is 7-reducible.
total_time : 65.0000s	nauty_time : 11.4164s
456 recursive calls
Configuration Y_4(sum=13,3,5,5) is 7-reducible.
total_time : 210.0000s	nauty_time : 138.7628s
272 recursive calls
Configuration Y_4(sum=13,4,4,5) is 7-reducible.
total_time : 30.6052s	nauty_time : 8.1123s
456 recursive calls
Configuration Y_4(sum=14,4,5,5) is 7-reducible.
total_time : 143.0000s	nauty_time : 14.0778s
272 recursive calls
Configuration Y_4(sum=15,5,5,5) is 7-reducible.
total_time : 300.0000s	nauty_time : 3.7823s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 
13 recursive calls
Configuration Y_4(sum=7,0,0,2,5) IS NOT 7-reducible.
total_time : 0.0286s	nauty_time : 0.0285s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 
13 recursive calls
Configuration Y_4(sum=7,0,0,3,4) IS NOT 7-reducible.
total_time : 0.0370s	nauty_time : 0.0367s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 
13 recursive calls
Configuration Y_4(sum=7,0,1,1,5) IS NOT 7-reducible.
total_time : 0.0230s	nauty_time : 0.0229s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 
13 recursive calls
Configuration Y_4(sum=7,0,1,2,4) IS NOT 7-reducible.
total_time : 0.0238s	nauty_time : 0.0237s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 
13 recursive calls
Configuration Y_4(sum=7,0,1,3,3) IS NOT 7-reducible.
total_time : 0.0254s	nauty_time : 0.0253s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 
13 recursive calls
Configuration Y_4(sum=7,0,2,2,3) IS NOT 7-reducible.
total_time : 0.0258s	nauty_time : 0.0256s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 
13 recursive calls
Configuration Y_4(sum=7,1,1,1,4) IS NOT 7-reducible.
total_time : 0.0350s	nauty_time : 0.0349s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 
13 recursive calls
Configuration Y_4(sum=7,1,1,2,3) IS NOT 7-reducible.
total_time : 0.0341s	nauty_time : 0.0340s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 25 : 0, 26 : 1, 27 : 2, 34 : 0, 35 : 1, 36 : 2, 
13 recursive calls
Configuration Y_4(sum=7,1,2,2,2) IS NOT 7-reducible.
total_time : 0.0465s	nauty_time : 0.0462s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,0,0,3,5) IS NOT 7-reducible.
total_time : 0.0393s	nauty_time : 0.0390s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,0,0,4,4) IS NOT 7-reducible.
total_time : 0.0450s	nauty_time : 0.0449s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,0,1,2,5) IS NOT 7-reducible.
total_time : 0.0351s	nauty_time : 0.0349s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,0,1,3,4) IS NOT 7-reducible.
total_time : 0.0278s	nauty_time : 0.0276s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,0,2,2,4) IS NOT 7-reducible.
total_time : 0.0302s	nauty_time : 0.0300s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,0,2,3,3) IS NOT 7-reducible.
total_time : 0.0312s	nauty_time : 0.0310s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,1,1,1,5) IS NOT 7-reducible.
total_time : 0.0417s	nauty_time : 0.0415s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,1,1,2,4) IS NOT 7-reducible.
total_time : 0.0456s	nauty_time : 0.0454s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,1,1,3,3) IS NOT 7-reducible.
total_time : 0.0503s	nauty_time : 0.0501s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,1,2,2,3) IS NOT 7-reducible.
total_time : 0.0562s	nauty_time : 0.0559s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 28 : 0, 29 : 1, 30 : 2, 37 : 0, 38 : 1, 39 : 2, 
13 recursive calls
Configuration Y_4(sum=8,2,2,2,2) IS NOT 7-reducible.
total_time : 0.1347s	nauty_time : 0.1341s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,0,0,4,5) IS NOT 7-reducible.
total_time : 0.0569s	nauty_time : 0.0566s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,0,1,3,5) IS NOT 7-reducible.
total_time : 0.0317s	nauty_time : 0.0316s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 25 : 0, 26 : 1, 27 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,0,1,4,4) IS NOT 7-reducible.
total_time : 0.0407s	nauty_time : 0.0405s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,0,2,2,5) IS NOT 7-reducible.
total_time : 0.0403s	nauty_time : 0.0401s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,0,2,3,4) IS NOT 7-reducible.
total_time : 0.0337s	nauty_time : 0.0335s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,0,3,3,3) IS NOT 7-reducible.
total_time : 0.0599s	nauty_time : 0.0596s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,1,1,2,5) IS NOT 7-reducible.
total_time : 0.0440s	nauty_time : 0.0438s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,1,1,3,4) IS NOT 7-reducible.
total_time : 0.0457s	nauty_time : 0.0454s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 25 : 0, 26 : 1, 27 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,1,2,2,4) IS NOT 7-reducible.
total_time : 0.0652s	nauty_time : 0.0649s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,1,2,3,3) IS NOT 7-reducible.
total_time : 0.0660s	nauty_time : 0.0657s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 28 : 0, 29 : 1, 30 : 2, 40 : 0, 41 : 1, 42 : 2, 
13 recursive calls
Configuration Y_4(sum=9,2,2,2,3) IS NOT 7-reducible.
total_time : 0.1366s	nauty_time : 0.1360s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 7 : 0, 8 : 1, 9 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,0,0,5,5) IS NOT 7-reducible.
total_time : 0.0804s	nauty_time : 0.0800s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,0,1,4,5) IS NOT 7-reducible.
total_time : 0.0376s	nauty_time : 0.0374s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,0,2,3,5) IS NOT 7-reducible.
total_time : 0.0379s	nauty_time : 0.0378s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,0,2,4,4) IS NOT 7-reducible.
total_time : 0.0467s	nauty_time : 0.0465s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,0,3,3,4) IS NOT 7-reducible.
total_time : 0.0458s	nauty_time : 0.0456s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,1,1,3,5) IS NOT 7-reducible.
total_time : 0.0558s	nauty_time : 0.0556s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,1,1,4,4) IS NOT 7-reducible.
total_time : 0.0599s	nauty_time : 0.0597s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 25 : 0, 26 : 1, 27 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,1,2,2,5) IS NOT 7-reducible.
total_time : 0.0743s	nauty_time : 0.0740s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,1,2,3,4) IS NOT 7-reducible.
total_time : 0.0802s	nauty_time : 0.0799s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,1,3,3,3) IS NOT 7-reducible.
total_time : 0.0940s	nauty_time : 0.0936s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 28 : 0, 29 : 1, 30 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,2,2,2,4) IS NOT 7-reducible.
total_time : 0.1651s	nauty_time : 0.1644s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 43 : 0, 44 : 1, 45 : 2, 
13 recursive calls
Configuration Y_4(sum=10,2,2,3,3) IS NOT 7-reducible.
total_time : 0.1697s	nauty_time : 0.1690s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 10 : 0, 11 : 1, 12 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,0,1,5,5) IS NOT 7-reducible.
total_time : 0.0596s	nauty_time : 0.0594s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,0,2,4,5) IS NOT 7-reducible.
total_time : 0.0540s	nauty_time : 0.0537s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,0,3,3,5) IS NOT 7-reducible.
total_time : 0.0532s	nauty_time : 0.0530s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,0,3,4,4) IS NOT 7-reducible.
total_time : 0.0709s	nauty_time : 0.0706s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,1,1,4,5) IS NOT 7-reducible.
total_time : 0.0600s	nauty_time : 0.0598s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,1,2,3,5) IS NOT 7-reducible.
total_time : 0.0905s	nauty_time : 0.0901s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,1,2,4,4) IS NOT 7-reducible.
total_time : 0.0855s	nauty_time : 0.0852s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,1,3,3,4) IS NOT 7-reducible.
total_time : 0.0873s	nauty_time : 0.0869s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 28 : 0, 29 : 1, 30 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,2,2,2,5) IS NOT 7-reducible.
total_time : 0.1775s	nauty_time : 0.1768s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,2,2,3,4) IS NOT 7-reducible.
total_time : 0.1311s	nauty_time : 0.1306s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 46 : 0, 47 : 1, 48 : 2, 
13 recursive calls
Configuration Y_4(sum=11,2,3,3,3) IS NOT 7-reducible.
total_time : 0.2452s	nauty_time : 0.2443s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 13 : 0, 14 : 1, 15 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,0,2,5,5) IS NOT 7-reducible.
total_time : 0.0566s	nauty_time : 0.0563s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,0,3,4,5) IS NOT 7-reducible.
total_time : 0.0671s	nauty_time : 0.0668s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,0,4,4,4) IS NOT 7-reducible.
total_time : 0.0881s	nauty_time : 0.0877s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 13 : 0, 14 : 1, 15 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,1,1,5,5) IS NOT 7-reducible.
total_time : 0.0837s	nauty_time : 0.0834s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,1,2,4,5) IS NOT 7-reducible.
total_time : 0.0892s	nauty_time : 0.0888s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,1,3,3,5) IS NOT 7-reducible.
total_time : 0.1033s	nauty_time : 0.1029s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,1,3,4,4) IS NOT 7-reducible.
total_time : 0.1073s	nauty_time : 0.1069s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 31 : 0, 32 : 1, 33 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,2,2,3,5) IS NOT 7-reducible.
total_time : 0.1701s	nauty_time : 0.1695s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,2,2,4,4) IS NOT 7-reducible.
total_time : 0.2481s	nauty_time : 0.2472s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,2,3,3,4) IS NOT 7-reducible.
total_time : 0.2172s	nauty_time : 0.2164s
Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 49 : 0, 50 : 1, 51 : 2, 
13 recursive calls
Configuration Y_4(sum=12,3,3,3,3) IS NOT 7-reducible.
total_time : 0.6666s	nauty_time : 0.6637s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 
13 recursive calls
Configuration Y_4(sum=13,0,3,5,5) IS NOT 7-reducible.
total_time : 0.0923s	nauty_time : 0.0920s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 
13 recursive calls
Configuration Y_4(sum=13,0,4,4,5) IS NOT 7-reducible.
total_time : 0.0643s	nauty_time : 0.0641s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 16 : 0, 17 : 1, 18 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 
13 recursive calls
Configuration Y_4(sum=13,1,2,5,5) IS NOT 7-reducible.
total_time : 0.1184s	nauty_time : 0.1180s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 
13 recursive calls
Configuration Y_4(sum=13,1,3,4,5) IS NOT 7-reducible.
total_time : 0.1095s	nauty_time : 0.1092s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 52 : 0, 53 : 1, 54 : 2, 
13 recursive calls
Configuration Y_4(sum=13,1,4,4,4) IS NOT 7-reducible.
total_time : 0.1369s	nauty_time : 0.1364s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 
13 recursive calls
Configuration Y_4(sum=13,2,2,4,5) IS NOT 7-reducible.
total_time : 0.1922s	nauty_time : 0.1916s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 34 : 0, 35 : 1, 36 : 2, 52 : 0, 53 : 1, 54 : 2, 
13 recursive calls
Configuration Y_4(sum=13,2,3,3,5) IS NOT 7-reducible.
total_time : 0.2366s	nauty_time : 0.2357s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 52 : 0, 53 : 1, 54 : 2, 
13 recursive calls
Configuration Y_4(sum=13,2,3,4,4) IS NOT 7-reducible.
total_time : 0.2819s	nauty_time : 0.2810s
Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 52 : 0, 53 : 1, 54 : 2, 
13 recursive calls
Configuration Y_4(sum=13,3,3,3,4) IS NOT 7-reducible.
total_time : 0.4026s	nauty_time : 0.3983s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 
13 recursive calls
Configuration Y_4(sum=14,0,4,5,5) IS NOT 7-reducible.
total_time : 0.1318s	nauty_time : 0.1313s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 
13 recursive calls
Configuration Y_4(sum=14,1,3,5,5) IS NOT 7-reducible.
total_time : 0.1324s	nauty_time : 0.1319s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 
13 recursive calls
Configuration Y_4(sum=14,1,4,4,5) IS NOT 7-reducible.
total_time : 0.1306s	nauty_time : 0.1302s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 19 : 0, 20 : 1, 21 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 
13 recursive calls
Configuration Y_4(sum=14,2,2,5,5) IS NOT 7-reducible.
total_time : 0.2677s	nauty_time : 0.2668s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 
13 recursive calls
Configuration Y_4(sum=14,2,3,4,5) IS NOT 7-reducible.
total_time : 0.2277s	nauty_time : 0.2268s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 25 : 0, 26 : 1, 27 : 3, 40 : 0, 41 : 1, 42 : 3, 55 : 4, 56 : 5, 57 : 6, 
586 recursive calls
Configuration Y_4(sum=14,2,4,4,4) IS NOT 7-reducible.
total_time : 1587.0000s	nauty_time : 94.3034s
Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 2, 37 : 0, 38 : 1, 39 : 2, 55 : 0, 56 : 1, 57 : 2, 
13 recursive calls
Configuration Y_4(sum=14,3,3,3,5) IS NOT 7-reducible.
total_time : 0.4040s	nauty_time : 0.3998s
Fails on Coloring: 13 : 0, 14 : 1, 15 : 2, 25 : 0, 26 : 1, 27 : 3, 40 : 0, 41 : 1, 42 : 4, 55 : 2, 56 : 3, 57 : 4, 
553 recursive calls
Configuration Y_4(sum=14,3,3,4,4) IS NOT 7-reducible.
total_time : 1629.0000s	nauty_time : 320.1491s
Fails on Coloring: 4 : 0, 5 : 1, 6 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 58 : 0, 59 : 1, 60 : 2, 
13 recursive calls
Configuration Y_4(sum=15,0,5,5,5) IS NOT 7-reducible.
total_time : 0.1398s	nauty_time : 0.1391s
Fails on Coloring: 7 : 0, 8 : 1, 9 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 58 : 0, 59 : 1, 60 : 2, 
13 recursive calls
Configuration Y_4(sum=15,1,4,5,5) IS NOT 7-reducible.
total_time : 0.1538s	nauty_time : 0.1534s
Fails on Coloring: 10 : 0, 11 : 1, 12 : 2, 22 : 0, 23 : 1, 24 : 2, 40 : 0, 41 : 1, 42 : 2, 58 : 0, 59 : 1, 60 : 2, 
13 recursive calls
Configuration Y_4(sum=15,2,3,5,5) IS NOT 7-reducible.
total_time : 0.3704s	nauty_time : 0.3693s
