ID:0 (14,12,2)
Graph |V|:91
Solution size:7475
Filtered solution size:6948
Parallel solution length:533
Parallelism:13.036
Step parallelism:17 7 14 13 9 6 8 20 17 17 19 13 20 11 11 13 13 9 9 9 13 1 21 18 9 11 11 11 11 21 18 13 10 14 17 17 10 6 12 11 12 12 14 29 29 13 12 14 11 15 19 26 23 19 19 19 19 22 13 13 19 26 15 15 15 15 21 13 13 17 24 8 15 11 12 10 13 17 14 11 10 10 10 31 17 10 12 11 16 10 10 10 32 17 10 9 10 6 11 11 12 10 6 17 14 14 11 13 11 19 11 11 15 12 13 13 3 16 20 11 11 19 17 15 14 14 14 14 13 11 11 14 19 15 14 14 14 12 11 16 22 20 19 19 17 14 14 14 12 11 22 13 13 18 17 17 17 17 18 6 16 15 11 11 13 11 11 11 11 16 16 12 18 11 21 10 10 16 11 15 9 9 12 12 17 25 20 30 9 9 9 16 12 8 25 19 14 13 13 13 12 20 12 12 12 17 13 13 9 9 11 17 16 17 16 15 15 11 12 9 12 12 19 17 11 12 11 11 11 11 16 26 10 14 6 12 16 13 13 13 25 18 15 15 14 14 22 15 15 14 14 22 12 8 7 16 14 14 14 18 12 14 8 14 14 14 14 18 15 15 20 22 15 14 14 14 9 18 13 10 13 13 13 13 21 1 18 13 9 9 10 6 12 16 13 13 13 13 15 15 12 13 10 6 6 6 12 28 14 14 14 14 13 13 12 12 12 13 14 14 14 14 14 14 20 16 14 14 14 14 18 21 13 13 13 14 12 12 7 15 14 5 16 14 15 10 14 11 20 16 14 14 12 9 14 14 11 11 11 11 15 28 14 27 7 14 8 13 8 8 18 7 7 14 20 11 15 14 7 14 12 21 11 12 12 11 11 11 14 19 13 12 21 11 12 19 13 12 21 11 12 17 9 9 7 6 12 12 12 7 14 9 9 8 6 12 12 12 7 9 10 14 6 12 12 12 7 10 6 15 12 12 7 14 12 12 10 13 12 12 12 14 13 12 12 12 12 11 6 6 14 9 12 12 12 10 12 12 6 6 6 14 9 12 11 9 9 9 16 15 11 8 6 10 9 12 9 6 10 9 12 12 12 10 12 12 6 6 6 14 9 12 12 12 9 9 9 11 8 6 20 10 9 9 14 11 11 10 15 6 6 21 11 11 11 11 11 11 11 8 6 14 11 8 6 11 11 11 9 6 6 21 4 
Solving time:0.080
Filtering time:70.550
ID:1 (14,12,3)
Graph |V|:91
Solution size:7224
Filtered solution size:6653
Parallel solution length:504
Parallelism:13.200
Step parallelism:16 7 14 13 9 6 8 20 17 17 19 13 21 22 11 1 10 6 9 9 9 23 15 21 16 11 11 11 11 12 4 10 6 14 11 15 22 18 14 12 21 11 12 10 17 13 18 17 17 17 17 17 17 9 20 27 19 19 19 19 19 23 14 14 11 18 25 15 15 15 15 21 13 13 17 23 13 9 16 11 12 10 13 17 17 15 14 11 10 10 20 22 21 12 9 18 6 12 16 8 12 12 12 12 13 13 10 14 6 12 12 12 12 13 13 15 13 11 20 12 12 12 17 17 15 14 11 19 11 11 15 18 15 14 14 14 12 11 11 14 23 20 19 19 17 14 14 14 12 11 16 15 13 11 11 11 17 6 17 17 12 13 16 12 22 10 10 16 11 15 9 9 12 12 17 18 12 11 11 14 12 12 12 12 12 16 18 12 11 15 9 9 12 12 17 18 10 9 9 16 10 17 12 17 12 12 21 12 11 11 11 21 21 11 7 10 9 12 12 37 29 17 7 18 15 15 15 15 15 15 25 26 14 14 14 14 31 15 14 14 14 12 19 13 7 7 16 14 14 14 17 15 12 12 11 13 13 13 25 18 15 15 14 4 18 16 12 12 11 13 13 13 13 15 15 12 13 10 6 6 6 12 28 14 14 14 14 21 16 6 14 16 14 14 14 14 14 18 12 14 10 14 14 14 14 14 1 13 25 16 13 13 13 14 19 10 6 12 16 13 13 13 13 15 18 21 13 14 18 13 13 13 13 11 19 13 13 13 13 5 13 6 12 10 27 16 22 14 18 13 13 11 15 16 16 14 15 9 9 8 6 12 16 13 23 17 12 23 11 15 12 9 9 7 6 11 11 16 11 11 11 11 11 11 21 12 12 12 12 16 11 15 11 11 11 10 21 6 12 12 12 7 14 11 11 11 11 15 12 17 10 10 14 6 12 12 12 7 13 12 12 12 9 17 8 13 12 7 17 9 12 12 12 12 12 13 12 12 12 12 8 6 6 14 9 12 14 11 8 6 10 9 12 16 10 6 10 9 12 8 6 10 9 12 14 10 9 9 12 10 9 10 4 10 9 9 12 9 12 10 9 13 19 11 9 9 9 14 11 11 9 11 11 7 6 14 11 10 9 9 13 14 12 4 
Solving time:0.070
Filtering time:75.690
ID:2 (14,12,4)
Graph |V|:91
Solution size:7244
Filtered solution size:6629
Parallel solution length:514
Parallelism:12.897
Step parallelism:19 7 14 16 9 6 8 20 17 17 12 13 13 22 14 3 10 6 23 23 20 10 1 7 11 10 15 14 15 7 14 11 15 22 14 7 13 11 15 22 16 11 6 11 11 12 10 17 26 23 19 19 19 19 22 13 13 19 26 16 15 15 15 21 15 13 17 23 13 12 10 10 4 12 7 12 25 22 19 19 19 19 19 22 13 13 21 23 15 15 14 14 14 8 20 13 3 13 5 12 30 11 19 19 19 21 14 14 14 12 11 11 14 14 14 14 6 11 11 11 15 12 12 11 18 13 13 11 11 18 18 15 14 14 14 12 11 11 14 18 15 9 11 16 1 17 16 16 16 16 16 14 8 19 8 13 11 11 17 21 12 11 11 11 22 20 17 11 11 15 11 11 11 11 16 19 15 14 14 11 11 11 11 17 18 12 13 11 15 9 9 11 17 1 18 17 11 11 13 11 11 11 11 16 26 10 14 12 14 20 14 14 17 11 9 9 9 6 12 16 13 13 13 25 20 9 14 16 13 13 13 25 18 18 18 15 21 18 18 14 20 9 9 9 9 10 6 12 16 14 14 14 14 18 21 6 14 16 14 14 14 14 18 19 15 14 14 14 14 30 14 16 14 14 14 14 17 17 8 13 8 6 12 16 14 14 14 14 12 16 16 13 13 13 13 15 13 16 12 12 12 13 13 13 14 12 16 11 15 10 13 13 13 13 17 1 13 17 16 13 13 13 14 14 15 15 21 13 9 8 6 12 16 13 13 13 6 15 8 12 11 9 7 11 27 13 16 6 14 13 13 12 16 6 14 13 13 10 9 9 9 6 24 13 10 8 6 12 13 13 14 13 9 13 13 15 20 11 12 17 6 13 11 12 10 10 10 15 10 10 15 11 11 11 11 15 17 9 9 7 6 11 11 16 12 9 9 9 8 6 11 11 16 14 17 8 7 14 12 7 15 11 11 13 12 17 10 10 14 6 12 12 12 7 7 16 17 9 12 12 15 11 11 9 6 10 9 12 9 6 6 11 9 12 14 11 11 11 10 6 10 9 12 9 10 9 12 12 10 12 6 6 6 13 9 18 9 9 4 10 9 11 9 9 9 15 9 9 9 9 15 8 6 11 11 8 6 6 21 10 9 9 9 14 9 12 8 6 20 8 6 6 21 4 
Solving time:0.070
Filtering time:64.680
ID:3 (14,12,5)
Graph |V|:91
Solution size:7244
Filtered solution size:6612
Parallel solution length:511
Parallelism:12.939
Step parallelism:24 4 22 14 19 17 17 12 13 13 21 14 3 10 6 23 23 20 10 1 7 11 10 15 14 15 7 14 11 15 22 14 7 13 11 15 22 16 11 6 11 11 12 10 17 26 23 19 19 19 19 22 13 13 19 26 16 15 15 15 21 15 13 17 23 13 12 10 10 4 12 7 12 25 22 19 19 19 19 19 22 13 13 21 23 15 15 14 14 14 8 20 13 3 13 5 12 30 11 19 19 19 21 14 14 14 12 11 11 14 14 14 14 6 11 11 11 15 12 12 11 18 13 13 11 11 18 18 15 14 14 14 12 11 11 14 18 15 9 11 16 1 17 16 16 16 16 16 14 8 19 8 13 11 11 17 21 12 11 11 11 22 20 17 11 11 15 11 11 11 11 16 19 15 14 14 11 11 11 11 17 18 12 13 11 15 9 9 11 17 1 18 17 11 11 13 11 11 11 11 16 26 10 14 12 14 20 14 14 17 11 9 9 9 6 12 16 13 13 13 25 20 9 14 16 13 13 13 25 18 18 18 15 21 18 18 14 20 9 9 9 9 10 6 12 16 14 14 14 14 18 21 6 14 16 14 14 14 14 18 19 15 14 14 14 14 30 14 16 14 14 14 14 17 17 8 13 8 6 12 16 14 14 14 14 12 16 16 13 13 13 13 15 13 16 12 12 12 13 13 13 14 12 16 11 15 10 13 13 13 13 17 1 13 17 16 13 13 13 14 14 15 15 21 13 9 8 6 12 16 13 13 13 6 15 8 12 11 9 7 11 27 13 16 6 14 13 13 12 16 6 14 13 13 10 9 9 9 6 24 13 10 8 6 12 13 13 14 13 9 13 13 15 20 11 12 17 6 13 11 12 10 10 10 15 10 10 15 11 11 11 11 15 17 9 9 7 6 11 11 16 12 9 9 9 8 6 11 11 16 14 17 8 7 14 12 7 15 11 11 13 12 17 10 10 14 6 12 12 12 7 7 16 17 9 12 12 15 11 11 9 6 10 9 12 9 6 6 11 9 12 14 11 11 11 10 6 10 9 12 9 10 9 12 12 10 12 6 6 6 13 9 18 9 9 4 10 9 11 9 9 9 15 9 9 9 9 15 8 6 11 11 8 6 6 21 10 9 9 9 14 9 12 8 6 20 8 6 6 21 4 
Solving time:0.080
Filtering time:56.100
ID:4 (14,12,6)
Graph |V|:91
Solution size:7457
Filtered solution size:6583
Parallel solution length:499
Parallelism:13.192
Step parallelism:24 4 22 14 19 17 17 16 17 16 21 14 6 12 6 22 21 20 10 1 7 11 10 11 14 15 9 13 12 22 2 13 6 13 19 23 2 15 9 16 11 11 21 29 20 25 24 22 18 12 24 21 21 14 14 20 20 14 17 25 16 14 11 11 2 12 3 1 10 4 13 9 19 10 10 10 7 15 26 13 17 11 11 18 6 13 11 11 15 13 14 14 6 11 11 11 15 15 15 21 16 23 22 11 15 14 15 12 12 11 11 11 17 14 14 14 14 12 10 16 23 20 19 19 17 14 14 14 12 21 16 12 17 17 16 16 11 13 6 9 8 7 12 11 9 16 12 18 15 14 10 10 16 11 14 8 15 12 12 16 12 16 15 15 11 12 9 12 12 19 19 19 19 11 11 11 11 18 18 19 11 19 11 11 11 11 16 16 10 7 13 9 11 16 20 17 18 14 9 11 20 24 24 19 19 19 19 13 19 18 18 18 18 17 25 10 9 9 9 10 6 15 17 14 14 14 14 21 12 14 10 13 13 13 13 20 1 18 17 11 18 16 16 18 13 12 12 12 12 14 14 14 14 18 18 10 14 14 14 14 18 18 12 14 21 14 14 14 14 14 1 19 22 13 13 13 13 16 14 13 13 20 18 18 11 13 13 13 13 21 8 11 23 12 12 17 11 15 15 12 12 12 14 12 12 12 12 15 20 13 13 9 9 6 12 16 12 12 12 14 19 13 10 6 12 16 12 12 12 14 19 14 13 9 6 23 7 15 11 6 12 10 26 16 12 17 4 6 9 18 13 13 10 15 17 12 14 10 8 6 12 16 3 18 19 11 11 12 14 14 12 12 12 13 10 17 9 9 10 6 10 11 10 19 19 11 13 20 12 12 12 12 15 13 12 12 12 12 12 16 8 10 14 7 12 12 12 9 14 10 10 13 13 17 14 10 10 4 13 16 12 12 9 9 9 19 12 9 12 12 10 9 9 9 9 14 12 11 11 9 6 10 9 12 10 9 18 10 9 14 10 9 9 11 13 11 11 11 11 15 10 9 9 9 16 11 9 10 11 19 11 11 11 11 11 7 6 14 11 11 11 11 11 11 11 11 8 6 14 11 10 9 9 14 10 9 9 14 4 
Solving time:0.070
Filtering time:75.480
ID:5 (14,12,7)
Graph |V|:91
Solution size:7314
Filtered solution size:6339
Parallel solution length:490
Parallelism:12.937
Step parallelism:30 4 22 14 19 17 17 12 13 13 21 14 6 12 6 20 19 12 7 1 7 11 10 13 10 15 7 14 11 15 20 14 7 13 11 23 1 16 11 6 15 11 15 10 1 26 24 22 19 19 19 21 12 26 19 31 15 17 17 13 15 29 13 10 10 2 12 10 12 31 11 15 19 16 16 15 15 15 15 15 26 25 17 15 26 21 11 10 10 13 11 19 17 11 17 14 11 11 10 10 20 12 24 17 16 15 9 13 22 12 11 11 14 11 11 11 16 15 14 14 11 10 5 13 20 20 19 19 19 14 14 14 12 10 10 11 11 9 18 16 6 12 9 9 11 7 13 15 11 10 10 9 18 12 10 13 10 19 8 6 11 16 1 16 12 11 20 20 16 11 11 10 10 24 23 11 11 9 12 13 12 11 12 9 9 16 18 20 24 27 19 19 19 14 19 18 18 18 18 17 25 11 9 9 9 10 6 11 13 14 14 14 14 21 18 14 13 13 13 12 18 20 12 12 12 17 20 10 18 16 12 12 5 17 17 14 14 17 19 13 14 13 13 17 27 15 17 14 13 13 17 15 15 10 12 12 12 11 13 13 11 19 10 25 20 21 12 12 18 12 12 11 9 6 12 16 11 8 16 24 19 13 13 12 10 17 20 12 12 9 16 14 15 15 10 12 12 12 9 19 10 13 12 6 12 11 22 12 14 4 12 16 14 12 11 17 12 13 10 12 13 10 5 22 25 11 11 11 11 17 25 9 7 15 16 3 14 12 12 12 11 10 17 9 9 7 6 10 11 8 14 12 10 15 12 20 11 10 19 19 11 1 11 19 1 12 12 7 10 6 15 12 12 7 10 10 14 6 12 12 12 7 14 10 16 8 14 12 12 7 14 15 7 13 13 11 6 14 9 12 8 6 11 9 12 10 13 10 9 18 9 10 9 12 12 12 11 12 12 6 6 6 14 9 12 14 11 11 9 6 10 9 12 9 6 6 12 11 10 9 9 9 6 8 6 20 10 9 9 13 11 11 11 11 11 11 11 11 11 9 6 14 11 10 9 9 13 11 11 11 10 11 11 11 8 6 14 11 8 10 11 10 9 9 9 15 10 9 13 4 
Solving time:0.070
Filtering time:69.740
ID:6 (14,12,8)
Graph |V|:91
Solution size:6793
Filtered solution size:5985
Parallel solution length:469
Parallelism:12.761
Step parallelism:30 4 22 14 21 18 17 11 13 13 13 13 10 12 6 22 21 14 7 1 7 11 10 13 23 15 6 11 12 24 1 14 7 6 14 11 23 1 16 12 6 15 11 15 11 1 25 23 21 18 18 20 28 16 17 31 19 16 16 9 15 29 13 10 10 3 7 7 12 20 21 10 10 10 12 20 11 10 22 16 6 10 5 7 15 23 20 22 25 13 9 11 11 20 13 12 12 14 14 11 11 13 11 11 8 15 7 7 5 10 10 10 14 13 19 19 19 18 14 14 14 12 11 22 11 17 17 16 16 16 17 7 6 15 14 14 14 14 14 11 11 11 10 17 16 12 15 15 14 12 10 16 11 13 12 15 12 12 1 20 18 13 12 11 11 16 17 17 12 11 13 11 11 11 11 11 16 12 11 11 19 25 20 19 19 19 19 9 9 15 16 7 19 16 10 10 15 11 15 9 9 11 7 22 27 15 6 15 18 12 12 12 16 13 13 11 6 22 11 11 17 16 15 15 14 11 11 11 11 18 18 18 18 13 13 9 9 10 6 12 16 12 12 12 16 16 15 10 6 12 16 12 12 5 17 17 3 3 16 14 27 14 14 20 12 12 16 19 14 13 13 15 16 13 12 12 16 13 14 14 15 12 19 16 12 12 12 13 12 18 20 12 12 12 13 19 13 13 9 9 6 12 16 12 12 12 7 7 18 17 16 9 12 12 26 7 15 11 8 7 16 8 3 12 12 12 14 14 13 12 12 14 14 12 12 21 13 11 9 8 6 11 11 16 11 11 15 10 8 11 11 3 12 18 13 14 12 12 7 13 12 12 8 8 10 14 7 12 12 12 9 14 10 10 13 13 17 14 10 10 4 13 16 12 12 9 9 12 15 11 8 6 10 9 12 10 9 9 9 13 12 11 11 12 9 9 12 15 11 11 12 9 9 12 15 11 8 6 10 9 12 10 17 10 9 13 11 11 10 6 10 11 13 11 11 11 11 11 11 14 11 11 11 11 11 11 11 6 14 11 8 6 20 8 6 20 10 12 10 9 9 19 9 9 19 9 9 19 3 
Solving time:0.070
Filtering time:42.640
ID:7 (14,12,9)
Graph |V|:91
Solution size:7309
Filtered solution size:6057
Parallel solution length:493
Parallelism:12.286
Step parallelism:29 10 16 14 24 18 17 11 18 13 13 13 3 15 13 22 21 14 4 1 7 11 10 13 23 15 6 11 12 23 1 14 7 7 14 11 22 1 16 12 7 15 11 6 10 1 24 22 20 17 17 20 28 21 17 31 19 16 16 9 15 29 13 10 10 3 7 7 12 8 21 10 10 10 12 20 11 10 22 16 7 9 5 7 2 11 17 16 14 12 18 15 12 12 12 15 11 11 11 20 13 12 12 14 14 11 14 11 11 11 12 17 12 7 10 10 8 3 10 18 18 10 18 14 14 14 12 21 5 11 17 17 16 16 16 11 7 6 15 15 14 14 13 10 10 10 17 20 17 16 14 14 14 17 11 10 13 17 16 21 25 9 9 9 15 20 15 17 16 14 14 14 10 10 10 10 27 18 16 16 14 14 18 9 28 16 16 20 25 11 9 9 10 16 20 15 12 10 15 11 15 9 9 19 13 25 19 14 6 15 18 12 12 12 12 17 16 15 15 12 12 11 11 11 18 12 19 20 11 18 27 20 6 14 14 24 14 5 14 14 13 9 5 19 14 12 20 30 15 16 12 12 16 7 19 11 11 11 16 15 12 12 12 11 15 21 13 13 11 6 12 16 11 11 11 13 13 13 13 10 16 20 20 13 12 12 12 12 10 19 19 11 11 10 17 8 19 14 10 15 16 11 9 10 9 17 8 4 10 10 8 19 1 16 16 7 14 12 11 5 6 6 13 9 25 19 6 6 15 18 2 5 7 7 16 12 20 10 1 17 10 9 9 8 6 10 10 9 3 12 11 10 17 10 1 25 18 11 11 15 1 7 7 6 6 15 6 6 6 4 14 6 9 13 14 6 11 11 13 16 14 14 12 11 11 13 12 9 15 10 9 9 9 9 17 7 7 6 6 6 6 13 9 11 9 6 11 9 11 10 10 9 9 5 15 9 6 9 8 12 12 10 6 6 6 12 9 14 13 10 10 9 8 10 9 13 9 6 10 10 14 5 5 13 11 11 11 11 11 11 14 12 10 10 10 10 10 8 11 6 14 10 10 10 10 8 12 10 10 10 7 9 6 14 10 10 10 9 13 8 11 10 8 7 19 8 11 10 10 11 11 3 4 
Solving time:0.080
Filtering time:91.570
ID:8 (14,12,10)
Graph |V|:91
Solution size:6720
Filtered solution size:5359
Parallel solution length:435
Parallelism:12.320
Step parallelism:30 5 13 14 18 16 17 11 13 13 13 13 3 15 13 22 30 15 4 1 7 11 10 13 10 15 6 11 12 23 8 21 7 13 11 10 1 16 12 7 10 5 1 10 2 24 22 21 20 17 19 22 20 13 29 7 12 12 12 15 28 13 13 10 9 12 7 7 12 15 15 17 15 14 12 15 23 7 24 20 20 15 16 20 21 14 12 11 17 15 15 6 13 12 11 11 11 13 12 12 12 12 14 16 16 13 15 14 13 12 13 13 20 26 18 17 14 14 14 12 17 13 19 24 21 16 16 11 11 8 9 7 16 18 9 9 9 9 5 18 16 15 15 13 12 17 21 15 19 10 13 5 6 16 10 10 9 9 22 20 20 15 14 14 12 9 7 9 17 16 19 18 11 11 15 11 10 15 10 17 15 7 19 12 17 6 12 12 12 14 11 16 12 6 22 14 11 11 17 14 10 9 14 16 8 8 12 17 14 14 10 16 7 18 13 13 13 16 10 10 10 10 21 18 9 8 18 11 18 6 4 16 14 16 6 12 20 10 11 10 17 15 20 22 10 10 24 21 15 13 13 9 8 20 19 15 10 10 10 10 6 17 12 17 26 10 8 20 14 12 9 7 16 13 10 10 10 10 7 20 15 8 8 4 7 9 14 4 13 16 11 14 14 15 9 9 9 4 4 12 13 4 4 11 11 11 11 11 20 14 12 9 11 19 10 9 14 11 11 11 13 7 7 5 14 6 6 3 13 6 16 12 7 6 11 11 11 7 13 18 7 13 11 12 22 14 8 13 11 7 10 9 9 9 9 12 12 11 11 10 12 11 11 11 11 10 8 5 13 19 11 11 11 9 11 11 11 8 7 6 6 14 9 11 11 8 10 11 7 6 6 6 14 9 17 15 14 9 4 13 10 13 12 10 6 13 12 5 9 10 5 7 6 14 10 8 11 10 8 7 19 10 11 11 10 18 10 5 11 9 6 14 20 5 1 
Solving time:0.080
Filtering time:58.180
ID:9 (14,12,11)
Graph |V|:91
Solution size:6647
Filtered solution size:5309
Parallel solution length:431
Parallelism:12.318
Step parallelism:31 12 13 23 17 17 11 13 13 13 13 3 15 12 21 20 8 2 1 7 10 11 9 8 15 8 13 14 22 4 15 10 11 10 6 14 5 1 10 2 25 23 23 21 18 18 20 20 18 16 30 16 17 13 10 13 28 12 11 3 9 7 12 15 13 13 22 19 16 16 16 16 15 15 15 15 19 16 16 13 28 11 15 15 10 16 24 11 11 14 13 14 11 17 11 11 21 16 17 16 20 9 10 15 17 15 15 10 14 4 13 18 16 12 10 8 13 11 19 19 19 17 13 13 6 12 10 14 10 10 22 19 14 14 13 19 9 10 16 11 11 14 16 13 10 15 7 10 10 9 19 10 14 6 11 9 11 17 11 11 10 29 26 10 8 8 13 19 17 22 3 11 15 25 12 12 17 1 15 15 17 9 19 19 15 13 13 13 12 22 16 13 12 5 16 10 16 11 13 12 19 19 16 17 13 13 13 13 24 1 19 14 13 13 13 19 22 21 12 11 15 11 11 11 12 18 12 12 12 6 12 16 11 9 9 23 25 11 16 12 14 13 13 13 16 12 11 11 14 14 14 13 12 9 12 15 13 16 15 10 10 14 12 22 8 13 11 11 14 8 7 13 12 14 7 12 6 5 5 8 6 2 2 7 11 25 26 5 22 11 13 4 13 14 13 14 12 12 11 11 13 12 12 11 12 14 2 2 10 10 10 4 4 12 18 8 15 20 15 6 3 13 12 6 6 11 12 14 7 12 12 12 9 9 14 11 11 14 5 4 9 11 11 11 11 5 8 11 11 11 11 10 9 6 6 14 9 11 9 6 6 6 12 9 9 13 9 16 14 11 11 12 8 8 12 12 12 8 8 15 15 9 7 6 6 12 9 4 6 5 12 12 11 11 11 14 9 8 5 15 11 10 9 9 14 4 11 11 6 9 10 10 3 7 13 10 7 11 8 10 11 11 10 9 9 14 10 10 9 4 4 
Solving time:0.070
Filtering time:60.910
ID:10 (14,12,12)
Graph |V|:91
Solution size:6778
Filtered solution size:5235
Parallel solution length:432
Parallelism:12.118
Step parallelism:28 12 15 24 16 17 11 13 13 13 13 3 15 12 21 24 10 2 1 7 10 12 9 8 15 10 18 13 23 13 27 9 9 12 10 5 21 19 10 2 24 22 22 16 18 20 14 12 29 14 14 10 14 25 9 18 10 8 12 15 10 14 13 13 12 15 20 16 16 13 11 20 28 18 15 16 14 19 25 10 18 13 13 12 3 15 15 4 13 11 11 11 11 13 12 12 12 12 14 16 16 12 14 14 13 16 16 15 19 18 18 24 8 8 13 1 10 10 15 16 16 16 15 7 7 13 10 11 12 10 4 26 21 14 10 9 1 14 9 11 11 10 19 19 17 15 15 17 14 15 18 18 16 9 15 17 14 11 5 15 5 22 15 11 10 14 10 19 8 6 10 15 9 9 14 11 17 12 16 19 22 13 13 12 13 18 14 13 13 13 13 13 24 14 13 13 13 13 26 14 9 19 18 11 13 12 9 9 10 6 15 4 10 13 14 13 9 8 13 16 13 10 10 15 11 15 10 8 14 16 9 9 9 11 14 17 9 15 8 14 19 11 11 11 12 7 19 8 13 17 11 11 11 11 6 12 16 7 15 23 18 9 21 10 8 7 16 9 9 9 16 21 15 12 11 8 14 16 9 7 13 11 6 9 6 9 9 9 9 9 3 11 8 8 8 5 5 14 7 5 11 20 12 12 12 19 7 4 13 5 12 10 17 11 16 14 13 11 5 12 18 13 13 15 12 15 11 14 16 12 8 6 6 10 7 10 10 9 9 13 6 10 14 12 16 19 9 13 11 8 12 16 6 10 10 13 16 12 10 6 10 6 2 11 10 13 11 7 9 9 6 14 13 10 5 12 8 8 12 12 10 9 9 12 8 6 10 8 12 8 8 9 8 13 13 12 10 9 8 9 15 4 7 5 8 4 3 3 8 7 7 13 13 8 8 14 9 7 5 11 9 8 8 14 9 15 10 12 3 9 12 4 
Solving time:0.070
Filtering time:58.270
ID:11 (14,12,13)
Graph |V|:91
Solution size:6778
Filtered solution size:5220
Parallel solution length:432
Parallelism:12.083
Step parallelism:28 17 19 25 16 17 11 13 13 13 13 5 15 14 19 13 6 3 1 7 12 8 7 14 5 11 12 13 23 13 27 9 9 12 10 5 21 19 10 2 24 22 22 16 18 20 14 12 29 14 14 10 14 25 9 18 10 8 12 15 10 14 13 13 12 15 20 16 16 13 11 20 28 18 15 16 14 19 25 10 18 13 13 12 3 15 15 4 13 11 11 11 11 13 12 12 12 12 14 16 16 12 14 14 13 16 16 15 19 18 18 24 8 8 13 1 10 10 15 16 16 16 15 7 7 13 10 11 12 10 4 26 21 14 10 9 1 14 9 11 11 10 19 19 17 15 15 17 14 15 18 18 16 9 15 17 14 11 5 15 5 22 15 11 10 14 10 19 8 6 10 15 9 9 14 11 17 12 16 19 22 13 13 12 13 18 14 13 13 13 13 13 24 14 13 13 13 13 26 14 9 19 18 11 13 12 9 9 10 6 15 4 10 13 14 13 9 8 13 16 13 10 10 15 11 15 10 8 14 16 9 9 9 11 14 17 9 15 8 14 19 11 11 11 12 7 19 8 13 17 11 11 11 11 6 12 16 7 15 23 18 9 21 10 8 7 16 9 9 9 16 21 15 12 11 8 14 16 9 7 13 11 6 9 6 9 9 9 9 9 3 11 8 8 8 5 5 14 7 5 11 20 12 12 12 19 7 4 13 5 12 10 17 11 16 14 13 11 5 12 18 13 13 15 12 15 11 14 16 12 8 6 6 10 7 10 10 9 9 13 6 10 14 12 16 19 9 13 11 8 12 16 6 10 10 13 16 12 10 6 10 6 2 11 10 13 11 7 9 9 6 14 13 10 5 12 8 8 12 12 10 9 9 12 8 6 10 8 12 8 8 9 8 13 13 12 10 9 8 9 15 4 7 5 8 4 3 3 8 7 7 13 13 8 8 14 9 7 5 11 9 8 8 14 9 15 10 12 3 9 12 4 
Solving time:0.080
Filtering time:51.140
ID:12 (14,12,14)
Graph |V|:91
Solution size:6441
Filtered solution size:5075
Parallel solution length:395
Parallelism:12.848
Step parallelism:30 17 21 26 16 16 10 12 12 12 10 13 18 13 9 8 3 2 1 7 12 8 7 14 5 11 12 13 23 13 27 9 9 12 10 5 21 19 10 2 24 22 22 16 18 20 14 12 29 14 14 10 14 25 9 18 10 8 12 15 10 14 13 13 12 15 20 16 16 16 12 20 14 17 10 5 10 10 7 14 16 10 12 12 11 14 14 16 12 14 13 11 11 10 19 14 14 13 13 14 16 10 16 14 14 16 15 12 19 18 18 30 11 8 13 20 10 10 11 15 15 15 14 13 15 20 7 8 15 11 12 11 11 11 11 28 34 16 11 18 14 11 14 12 10 10 10 20 20 14 21 8 18 17 18 14 14 16 15 15 18 9 9 17 25 20 29 21 9 8 14 8 21 10 27 15 14 4 11 11 11 17 15 15 24 12 18 13 13 14 11 11 11 20 9 17 19 10 10 10 21 9 17 18 9 15 27 19 13 17 15 12 12 12 13 13 19 25 14 13 13 16 12 7 7 24 16 14 12 11 10 2 7 15 19 13 11 14 13 13 9 13 12 10 10 16 14 29 14 10 17 13 15 21 13 13 12 11 4 12 12 12 19 13 11 15 9 11 15 13 8 20 15 13 11 17 11 10 17 14 17 13 13 16 7 4 9 13 4 10 10 10 13 11 12 10 9 9 13 6 11 7 11 11 9 3 12 12 10 19 22 17 11 11 13 10 14 11 11 18 13 9 10 14 12 10 16 17 13 11 12 10 10 9 8 10 19 10 13 3 10 8 7 14 11 8 6 11 8 19 8 12 11 9 9 9 10 9 5 10 10 5 5 6 6 13 7 6 11 10 9 9 7 7 9 9 9 6 4 8 13 9 9 10 10 11 9 12 11 5 9 9 8 6 3 
Solving time:0.060
Filtering time:35.260
ID:13 (14,12,15)
Graph |V|:91
Solution size:6580
Filtered solution size:5026
Parallel solution length:404
Parallelism:12.441
Step parallelism:32 17 18 25 16 16 10 12 12 12 5 13 18 12 10 8 4 4 1 7 12 8 7 9 5 11 13 15 21 11 23 11 12 11 5 21 19 10 2 24 22 22 16 18 20 14 12 28 14 15 10 13 22 17 9 9 14 15 10 14 13 13 12 15 20 16 16 16 12 15 7 5 14 18 9 13 20 13 12 11 13 15 10 13 11 11 11 13 13 13 12 12 14 16 16 11 14 14 14 16 16 28 9 18 18 25 11 8 13 12 10 10 11 15 15 15 14 10 7 13 9 8 10 11 14 9 9 11 10 23 24 20 9 9 15 17 4 14 15 15 9 9 15 15 21 8 11 13 14 18 14 16 15 18 18 9 9 9 17 10 10 19 22 25 20 11 9 9 10 21 13 21 16 16 11 11 11 13 13 13 13 21 12 9 7 12 8 8 17 3 11 12 11 11 11 16 16 13 11 11 16 10 10 8 14 13 12 12 12 12 23 23 23 22 12 11 11 20 12 7 15 12 9 14 11 11 11 16 19 11 10 10 15 20 8 11 9 15 16 12 10 12 12 12 12 9 24 20 13 21 10 17 13 7 5 1 12 12 12 21 15 15 24 15 12 12 10 10 18 12 12 9 6 12 10 9 19 10 16 21 13 12 9 11 10 18 10 13 13 8 17 7 3 12 13 10 5 21 2 12 6 4 6 6 10 11 13 12 14 13 12 24 18 17 18 11 7 6 5 15 12 6 10 15 12 12 15 13 7 11 15 16 12 9 6 11 11 11 13 12 6 12 5 11 11 11 14 9 9 10 10 13 11 11 9 14 10 8 8 6 9 8 18 8 11 15 7 12 14 8 9 9 4 10 10 10 10 5 9 9 12 12 10 7 11 10 5 8 6 6 19 8 7 7 19 8 7 7 19 4 11 11 3 3 
Solving time:0.070
Filtering time:41.170
ID:14 (14,12,16)
Graph |V|:91
Solution size:6026
Filtered solution size:4466
Parallel solution length:367
Parallelism:12.169
Step parallelism:32 17 18 25 16 16 10 12 12 12 5 13 18 12 10 8 4 4 1 7 12 8 7 9 5 11 13 15 21 11 25 11 12 11 5 21 19 10 2 24 22 22 16 18 20 12 11 30 14 15 11 13 22 17 9 9 14 15 10 14 13 13 12 15 20 16 16 16 13 16 10 5 14 18 9 13 20 13 12 11 13 15 10 13 12 11 11 12 12 12 11 13 15 15 16 13 13 11 16 16 28 9 18 18 25 11 8 13 12 10 10 11 15 15 15 14 10 7 13 9 8 10 11 14 9 9 11 10 23 24 20 9 9 15 17 4 14 15 15 9 9 15 15 14 8 11 16 18 18 27 10 9 5 1 16 10 11 18 18 27 12 9 7 5 16 16 16 15 14 5 11 11 10 17 16 9 11 11 8 17 14 17 12 20 22 19 12 12 12 22 13 16 16 13 26 24 9 13 13 12 22 21 12 11 22 26 10 10 10 10 13 19 19 10 10 15 15 12 12 14 23 19 11 10 22 5 1 12 12 18 18 13 12 12 12 12 11 14 24 17 12 18 18 14 16 15 13 12 13 13 16 10 11 12 7 23 5 10 17 11 13 13 12 7 11 13 16 12 11 6 10 10 1 9 3 5 9 7 14 10 15 7 2 6 2 9 8 8 8 8 12 8 8 12 16 10 7 15 11 12 15 9 8 8 10 4 10 6 10 6 10 6 7 6 17 16 8 6 5 6 8 7 9 13 12 4 11 5 12 12 10 7 7 10 10 5 5 2 7 13 8 8 10 10 10 10 10 6 6 10 8 5 4 4 15 8 8 8 5 9 9 8 10 3 3 4 3 
Solving time:0.060
Filtering time:31.990
ID:15 (14,12,17)
Graph |V|:91
Solution size:6256
Filtered solution size:4474
Parallel solution length:383
Parallelism:11.681
Step parallelism:38 19 18 25 10 9 10 12 12 5 13 17 12 10 8 4 4 1 7 12 8 7 9 5 11 13 14 21 11 24 11 12 11 6 21 23 10 2 24 22 22 17 18 19 12 11 30 14 15 12 13 21 17 9 9 15 15 10 12 13 12 10 8 18 17 16 14 13 15 16 3 13 13 10 13 10 12 13 15 12 15 13 13 11 10 13 13 12 12 15 15 15 16 13 15 19 21 10 17 29 15 11 12 1 9 10 10 15 15 15 21 21 11 15 20 8 10 10 12 17 10 15 29 21 10 10 2 15 16 10 9 10 16 16 8 11 8 4 17 13 15 14 14 8 14 20 13 13 13 22 12 17 21 19 7 20 13 1 10 15 22 14 12 11 18 19 14 11 12 11 8 16 11 8 11 20 31 13 11 11 12 10 8 10 16 14 10 9 16 17 14 14 4 1 22 12 12 10 7 12 8 10 10 9 9 11 10 10 13 11 10 10 15 20 20 19 18 18 15 10 10 13 13 13 13 17 13 17 20 18 15 19 3 12 14 13 19 8 6 14 14 14 18 9 7 7 7 5 3 3 3 14 17 12 12 12 10 5 9 6 13 10 3 12 4 3 3 3 3 10 10 10 10 10 7 11 8 13 15 23 13 17 15 9 10 13 16 13 12 12 11 11 9 6 9 8 8 12 6 12 10 9 8 19 10 9 6 10 9 6 10 8 7 7 11 8 7 5 11 17 7 7 17 4 13 9 9 8 8 12 7 6 6 5 9 6 13 9 9 7 7 11 9 6 6 9 6 13 9 9 9 8 8 12 9 9 7 7 10 6 6 9 6 6 8 4 2 6 13 8 8 10 3 9 9 7 18 9 4 6 5 3 3 
Solving time:0.070
Filtering time:32.360
ID:16 (14,12,18)
Graph |V|:91
Solution size:6256
Filtered solution size:4422
Parallel solution length:379
Parallelism:11.668
Step parallelism:40 19 18 25 10 9 7 12 11 6 13 17 12 10 8 4 4 1 7 12 8 7 9 5 11 13 19 13 11 24 11 11 10 6 21 23 2 2 24 22 22 17 18 20 12 11 30 10 15 9 13 23 20 20 11 19 11 9 7 17 17 16 14 13 15 16 3 13 13 10 13 10 12 13 15 12 15 13 13 11 10 13 13 12 12 15 15 15 16 13 15 19 21 10 17 29 15 11 12 1 9 10 10 15 15 15 21 21 11 15 20 8 10 10 12 17 10 15 29 21 10 10 2 15 16 10 9 10 16 16 8 11 8 4 17 13 15 14 14 8 14 20 13 13 13 22 12 17 21 19 7 20 13 1 10 15 22 14 12 11 18 19 14 11 12 11 8 16 11 8 11 20 31 13 11 11 12 10 8 10 16 14 10 9 16 17 14 14 4 1 22 12 12 10 7 12 8 10 10 9 9 11 10 10 13 11 10 10 15 20 20 19 18 18 15 10 10 13 13 13 13 17 13 17 20 18 15 19 3 12 14 13 19 8 6 14 14 14 18 9 7 7 7 5 3 3 3 14 17 12 12 12 10 5 9 6 13 10 3 12 4 3 3 3 3 10 10 10 10 10 7 11 8 13 15 23 13 17 15 9 10 13 16 13 12 12 11 11 9 6 9 8 8 12 6 12 10 9 8 19 10 9 6 10 9 6 10 8 7 7 11 8 7 5 11 17 7 7 17 4 13 9 9 8 8 12 7 6 6 5 9 6 13 9 9 7 7 11 9 6 6 9 6 13 9 9 9 8 8 12 9 9 7 7 10 6 6 9 6 6 8 4 2 6 13 8 8 10 3 9 9 7 18 9 4 6 5 3 3 
Solving time:0.080
Filtering time:35.660
ID:17 (14,12,19)
Graph |V|:91
Solution size:6684
Filtered solution size:4614
Parallel solution length:402
Parallelism:11.478
Step parallelism:39 24 26 18 7 14 8 10 8 11 16 14 12 8 5 4 1 7 12 8 7 9 5 11 14 12 11 9 15 10 6 21 23 2 2 23 17 17 18 21 13 11 30 10 15 9 13 23 13 9 13 13 10 12 14 11 21 21 12 19 19 17 11 17 16 14 11 11 11 11 15 20 20 15 18 16 13 13 10 10 10 9 13 13 13 12 15 14 15 14 14 13 10 19 21 16 27 14 9 14 13 18 11 11 15 15 15 10 7 7 13 14 14 15 15 15 18 13 13 17 2 16 4 4 3 15 18 17 17 12 14 9 18 15 11 27 20 19 15 12 10 9 5 1 18 16 18 15 19 10 10 10 5 16 17 12 11 10 14 13 12 11 10 17 10 16 12 12 11 11 11 6 17 11 17 7 7 16 4 11 8 14 16 10 12 12 20 16 16 16 10 17 12 11 14 10 10 10 15 16 10 10 11 11 10 18 17 14 9 17 15 10 18 14 8 11 11 8 11 14 14 14 8 9 8 8 12 19 17 23 14 17 10 15 14 10 9 13 20 14 12 7 9 15 19 10 6 8 10 9 9 11 14 13 6 7 15 12 9 2 3 4 14 12 7 5 10 9 3 17 10 10 14 8 2 1 17 10 10 9 12 7 11 10 1 11 3 3 2 10 10 10 9 9 11 5 5 3 11 11 2 7 12 21 12 11 7 11 15 11 11 10 13 11 16 10 9 3 2 7 5 8 6 6 18 12 11 7 10 8 9 8 11 11 9 7 15 14 11 10 8 3 10 10 9 9 16 8 11 9 9 3 8 9 9 8 8 12 6 6 12 9 12 4 9 12 7 6 6 5 9 6 13 9 9 10 10 9 7 18 9 7 7 11 9 9 6 5 8 5 9 6 6 11 18 9 11 10 11 3 4 3 
Solving time:0.070
Filtering time:44.840
ID:18 (14,12,20)
Graph |V|:91
Solution size:6801
Filtered solution size:4537
Parallel solution length:397
Parallelism:11.428
Step parallelism:38 22 25 17 7 14 8 10 8 11 16 14 12 8 5 4 1 6 12 8 7 8 8 10 18 9 7 6 30 11 22 7 24 17 17 18 23 12 15 20 17 21 17 19 7 15 8 17 15 23 21 12 23 12 12 13 12 17 10 12 14 14 11 19 13 9 16 5 13 13 14 14 11 10 10 10 13 13 13 13 17 24 20 17 15 10 7 7 6 17 17 18 9 14 6 1 10 10 11 16 16 16 15 7 7 13 7 8 11 11 19 19 13 16 13 9 14 19 16 5 11 11 5 9 23 18 10 15 12 2 7 3 16 12 14 7 7 11 2 2 17 8 8 10 18 3 14 14 12 14 13 12 11 10 13 10 17 7 16 13 16 17 15 17 13 8 7 13 11 10 18 18 13 12 20 13 9 9 16 8 12 12 21 13 15 22 11 8 8 7 26 10 12 10 10 19 12 18 8 13 17 8 3 7 17 16 16 8 16 14 10 10 10 13 14 10 8 8 12 9 9 10 9 6 12 16 10 10 17 15 9 14 18 18 10 10 10 16 13 16 8 8 11 5 5 11 12 16 18 25 10 18 21 15 6 7 15 4 5 4 3 4 7 7 15 17 17 3 7 7 4 13 16 16 17 14 13 22 16 10 18 20 9 8 12 8 10 5 10 16 15 9 5 8 5 10 10 10 12 11 11 11 7 6 5 4 12 17 9 13 13 14 11 14 4 10 9 9 8 11 11 8 8 8 6 16 14 11 5 12 8 9 5 5 5 8 10 5 5 5 4 12 17 7 9 8 11 10 8 5 10 6 5 6 6 6 14 9 3 8 9 10 9 9 9 6 15 13 8 3 9 3 9 8 8 12 11 11 7 12 9 10 9 6 4 8 11 3 11 9 12 8 8 14 6 5 1 
Solving time:0.070
Filtering time:44.870
ID:19 (14,12,21)
Graph |V|:91
Solution size:6132
Filtered solution size:3962
Parallel solution length:350
Parallelism:11.320
Step parallelism:41 22 25 19 7 14 8 10 8 11 16 14 12 8 5 4 1 5 12 7 3 3 3 6 14 7 7 19 16 13 22 25 19 17 18 23 12 9 19 12 19 13 15 5 13 8 17 17 25 25 20 20 14 13 19 4 12 11 12 12 14 11 9 7 14 5 15 12 13 13 11 13 10 14 14 14 11 10 15 15 8 16 12 9 10 8 9 32 18 16 9 8 15 8 9 11 9 17 15 15 22 16 17 17 7 10 12 14 14 16 18 10 5 5 2 15 9 14 17 17 17 11 10 19 19 20 18 12 16 11 9 8 5 5 5 5 1 10 10 9 20 10 7 12 18 14 13 11 17 18 8 11 12 12 11 11 10 10 13 12 11 16 15 15 19 12 10 12 6 11 8 6 15 14 11 10 10 10 21 8 9 9 13 14 15 11 10 9 9 14 15 6 12 14 17 10 10 18 21 21 13 15 18 10 10 15 14 14 13 13 15 17 9 15 5 15 6 11 14 14 11 10 14 15 15 9 7 16 15 11 19 15 8 11 10 8 6 2 12 12 23 9 12 9 3 8 13 12 12 12 12 8 12 1 11 3 3 2 10 10 10 10 10 7 15 3 9 16 3 3 11 11 9 13 7 6 4 4 2 13 10 11 7 2 5 2 10 13 17 6 9 8 5 11 12 8 8 8 9 6 10 9 10 7 6 6 10 14 8 8 12 8 8 11 12 7 6 8 8 9 13 12 12 11 7 13 12 6 11 5 8 5 14 7 10 8 4 7 6 5 11 13 7 12 10 7 5 12 3 1 
Solving time:0.060
Filtering time:27.150
ID:20 (14,12,22)
Graph |V|:91
Solution size:6132
Filtered solution size:3922
Parallel solution length:350
Parallelism:11.206
Step parallelism:40 21 26 27 7 14 8 10 8 11 16 14 12 8 5 5 1 5 12 7 3 3 3 6 14 7 7 18 16 13 21 21 18 17 17 20 10 22 8 16 15 6 15 7 15 10 23 23 23 9 12 8 19 10 9 4 11 10 12 12 14 11 9 7 14 5 15 12 13 13 11 13 10 14 14 14 11 10 15 15 8 16 12 9 10 8 9 32 18 16 9 8 15 8 9 11 9 17 15 15 22 16 17 17 7 10 12 14 14 16 18 10 5 5 2 15 9 14 17 17 17 11 10 19 19 20 18 12 16 11 9 8 5 5 5 5 1 10 10 9 20 10 7 12 18 14 13 11 17 18 8 11 12 12 11 11 10 10 13 12 11 16 15 15 19 12 10 12 6 11 8 6 15 14 11 10 10 10 21 8 9 9 13 14 15 11 10 9 9 14 15 6 12 14 17 10 10 18 21 21 13 15 18 10 10 15 14 14 13 13 15 17 9 15 5 15 6 11 14 14 11 10 14 15 15 9 7 16 15 11 19 15 8 11 10 8 6 2 12 12 23 9 12 9 3 8 13 12 12 12 12 8 12 1 11 3 3 2 10 10 10 10 10 7 15 3 9 16 3 3 11 11 9 13 7 6 4 4 2 13 10 11 7 2 5 2 10 13 17 6 9 8 5 11 12 8 8 8 9 6 10 9 10 7 6 6 10 14 8 8 12 8 8 11 12 7 6 8 8 9 13 12 12 11 7 13 12 6 11 5 8 5 14 7 10 8 4 7 6 5 11 13 7 12 10 7 5 12 3 1 
Solving time:0.070
Filtering time:22.670
ID:21 (14,12,23)
Graph |V|:91
Solution size:7025
Filtered solution size:4380
Parallel solution length:378
Parallelism:11.587
Step parallelism:39 19 27 29 7 8 12 11 8 15 16 14 12 8 5 5 1 5 12 7 3 3 3 6 14 7 7 18 16 13 21 21 17 16 16 18 10 22 11 8 9 5 16 8 8 7 10 14 9 21 25 28 12 9 9 9 13 20 15 11 17 15 9 12 11 15 17 16 11 16 7 9 7 14 12 9 15 22 17 16 11 11 16 3 10 10 11 14 14 11 10 6 16 10 8 14 14 13 13 19 15 15 14 14 18 14 13 17 18 7 11 11 5 11 14 16 16 13 14 4 1 3 3 14 7 13 16 16 14 10 8 10 5 6 6 2 15 21 20 18 16 18 13 9 26 13 13 18 16 10 11 11 15 10 16 16 16 16 15 21 13 15 10 10 13 7 11 6 14 14 13 12 6 11 10 14 7 14 15 20 22 9 7 23 15 9 9 8 6 9 12 12 22 17 20 15 16 12 12 12 9 10 27 16 11 10 10 7 13 11 11 11 14 2 18 18 12 16 16 17 17 8 16 13 13 14 13 12 6 6 6 12 12 12 11 11 11 12 11 11 11 11 17 12 7 19 8 16 19 6 14 2 9 8 8 5 13 7 13 9 13 13 23 21 9 8 11 19 8 11 12 9 14 13 12 11 13 12 12 15 13 9 10 17 9 13 11 8 18 11 8 10 13 11 11 13 13 7 11 10 10 10 17 13 14 9 5 6 6 6 6 9 8 10 9 9 10 7 12 9 6 9 9 9 16 15 12 10 8 8 10 10 5 10 9 7 7 3 8 7 7 6 8 7 7 7 6 10 10 7 6 9 6 4 1 6 13 8 8 10 10 10 5 8 10 9 7 11 10 10 9 13 11 8 7 4 3 3 
Solving time:0.070
Filtering time:53.590
ID:22 (14,12,24)
Graph |V|:91
Solution size:6966
Filtered solution size:4172
Parallel solution length:375
Parallelism:11.125
Step parallelism:38 20 27 29 7 8 12 11 8 15 16 14 12 8 5 5 1 5 12 7 3 3 3 6 14 7 7 18 16 13 21 21 17 16 16 18 10 22 11 8 9 5 16 8 8 7 10 14 9 21 25 28 12 9 9 9 13 20 15 11 17 15 9 12 11 15 17 16 11 16 7 9 7 14 15 9 15 22 17 16 11 11 16 3 10 10 11 10 10 10 5 15 6 8 11 11 11 14 13 13 16 16 12 12 13 17 10 5 10 14 5 11 15 15 12 13 3 3 7 7 21 14 18 14 14 11 8 12 7 8 20 13 3 18 19 21 11 12 15 10 10 25 14 14 21 8 13 12 10 9 15 15 15 15 14 21 13 13 12 8 8 16 6 15 7 11 12 17 6 4 13 10 9 5 5 17 12 8 8 18 20 5 8 9 13 11 11 11 21 12 6 17 13 13 13 13 16 12 12 17 18 14 14 14 14 13 15 11 17 11 10 10 16 14 21 13 11 10 15 13 10 10 13 10 13 19 12 11 9 13 5 10 9 18 22 10 13 17 12 8 8 16 10 11 5 13 6 14 15 16 4 6 5 15 13 21 12 9 6 7 6 3 5 12 14 6 10 7 11 10 10 9 11 9 9 9 8 8 8 8 7 20 17 10 10 5 5 11 15 17 7 11 1 1 1 10 12 19 17 9 5 8 5 3 8 7 10 8 5 12 16 5 5 11 7 11 8 7 4 10 14 9 9 10 7 9 6 7 5 5 12 7 7 10 9 5 8 11 18 3 9 4 12 10 8 8 8 9 6 6 5 9 12 8 7 7 4 9 9 9 7 14 11 10 10 11 3 10 10 6 4 6 4 3 1 
Solving time:0.070
Filtering time:56.800
ID:23 (14,12,25)
Graph |V|:91
Solution size:5769
Filtered solution size:3496
Parallel solution length:318
Parallelism:10.994
Step parallelism:38 20 26 28 7 8 12 11 8 15 16 14 12 8 5 5 2 5 12 7 3 3 3 6 14 7 7 17 16 13 18 21 17 16 16 18 10 22 11 8 9 5 16 8 8 7 10 14 9 21 25 28 12 9 9 9 13 20 15 11 17 15 9 12 11 15 17 16 11 10 9 9 7 14 15 9 15 20 14 14 11 10 13 1 10 10 11 10 10 10 5 15 6 18 11 11 11 14 13 13 16 16 12 12 13 17 10 2 10 4 3 4 17 9 10 11 14 8 10 12 10 1 1 13 19 21 24 16 11 9 9 18 10 14 22 11 12 14 10 10 12 11 11 14 22 25 19 17 19 22 11 17 18 14 12 13 14 14 16 12 4 8 13 9 10 9 9 19 13 10 10 14 10 10 10 8 12 19 12 11 11 13 14 9 21 15 19 6 5 11 17 12 12 10 10 10 7 7 12 9 8 5 11 11 11 12 8 5 11 5 14 12 11 10 10 18 10 14 14 6 4 7 12 4 13 16 8 8 7 10 9 8 9 8 3 10 9 13 10 9 8 8 16 11 17 9 12 4 3 6 2 10 9 9 12 12 13 6 7 6 9 8 3 8 8 6 10 14 13 10 9 7 2 6 11 8 5 9 13 10 8 5 16 4 4 3 9 8 9 11 5 10 7 10 16 4 5 4 8 6 10 7 8 16 11 11 11 10 10 9 9 8 3 9 8 3 3 3 
Solving time:0.060
Filtering time:20.180
ID:24 (14,12,26)
Graph |V|:91
Solution size:6052
Filtered solution size:3737
Parallel solution length:330
Parallelism:11.324
Step parallelism:40 22 26 25 7 8 12 11 8 15 16 14 12 8 5 5 2 5 12 7 5 5 5 8 14 7 7 17 16 17 18 21 17 16 16 18 10 27 12 9 10 7 16 7 7 8 10 14 9 20 24 13 16 14 13 22 15 9 12 11 8 18 9 14 12 10 6 13 13 11 10 10 18 16 18 16 13 13 15 14 13 10 14 4 11 11 11 10 10 10 9 11 6 17 12 11 11 12 12 12 23 20 14 9 14 13 7 7 10 4 9 9 19 13 9 7 10 20 5 2 1 11 11 10 10 19 12 10 10 8 18 9 12 8 10 17 15 11 6 14 22 10 6 11 10 10 9 18 18 18 16 12 9 15 10 8 4 15 17 12 15 19 18 17 13 15 5 9 8 9 14 11 11 12 9 16 11 11 6 7 10 17 18 18 10 10 10 11 16 15 11 13 19 12 9 13 11 19 18 13 18 13 8 17 16 10 6 7 13 13 12 19 12 8 8 5 10 15 13 16 23 14 13 16 16 9 8 7 16 5 6 15 13 7 14 2 11 11 10 12 12 11 3 4 2 10 10 10 8 4 7 10 5 7 9 9 12 13 17 11 10 13 11 10 17 9 9 9 9 9 3 9 5 9 8 11 9 8 9 7 8 6 6 14 14 14 14 12 11 7 12 10 8 7 15 12 16 11 4 11 8 10 10 4 9 8 4 3 9 9 9 9 8 11 10 10 7 9 9 6 9 11 11 7 10 9 8 7 4 1 
Solving time:0.060
Filtering time:23.550
ID:25 (14,12,27)
Graph |V|:91
Solution size:6340
Filtered solution size:3634
Parallel solution length:343
Parallelism:10.595
Step parallelism:39 23 27 25 7 8 12 11 8 15 16 14 12 8 5 5 2 5 12 7 5 5 5 8 14 7 7 17 16 17 18 21 17 16 16 18 10 27 12 9 10 7 16 7 7 8 10 14 9 20 24 13 16 14 13 22 15 9 12 11 8 18 9 14 12 10 6 13 13 11 10 10 18 16 18 16 13 13 15 14 13 10 14 4 11 11 11 9 9 9 14 5 4 14 11 8 8 12 11 22 19 16 12 10 15 14 8 7 11 11 9 9 13 10 9 13 5 3 2 10 10 10 20 7 10 10 9 7 18 9 12 8 10 17 9 10 13 21 9 13 3 1 9 8 17 17 14 12 10 10 8 20 12 18 11 18 12 14 13 14 14 13 5 6 7 3 3 9 9 11 8 13 13 13 16 9 18 10 5 6 8 19 16 19 18 18 18 17 19 14 8 12 18 13 11 18 10 14 11 9 9 2 9 18 15 10 10 7 6 6 6 6 6 4 4 4 5 6 6 11 9 1 11 11 11 11 6 13 9 9 11 10 6 17 12 11 8 5 4 6 5 16 16 14 11 11 11 10 12 6 14 13 6 14 11 9 8 10 10 10 13 14 17 12 10 17 14 8 5 6 3 17 14 13 16 12 14 13 6 9 3 8 8 6 3 4 8 7 8 8 8 8 8 4 2 2 11 10 18 7 5 5 2 12 11 11 5 3 12 11 10 9 7 8 13 9 7 10 9 8 7 5 6 6 10 5 3 7 8 8 5 5 9 5 3 6 5 8 6 7 4 3 4 
Solving time:0.070
Filtering time:33.270
ID:26 (14,12,28)
Graph |V|:91
Solution size:5573
Filtered solution size:3361
Parallel solution length:293
Parallelism:11.471
Step parallelism:40 22 31 17 7 8 12 11 9 8 14 13 11 8 13 6 1 5 12 7 5 5 5 8 19 7 4 1 14 9 6 19 17 4 2 18 15 16 11 20 21 23 13 15 12 6 9 16 26 10 15 14 11 8 21 15 19 19 11 3 13 9 18 11 6 16 13 11 11 9 17 15 12 14 11 11 12 20 18 14 13 14 15 12 11 17 19 21 16 17 14 13 14 13 13 10 8 8 7 9 9 9 12 14 11 12 10 10 10 13 9 9 9 14 15 10 7 7 9 13 9 12 10 10 17 16 12 21 20 11 8 14 19 20 17 14 10 13 13 1 1 12 20 12 9 9 8 12 14 17 13 18 11 10 18 26 20 16 10 12 12 11 4 1 12 18 24 22 19 26 20 13 12 11 11 14 18 19 18 10 9 9 7 8 18 17 14 14 14 11 5 15 15 13 10 19 13 11 13 14 7 6 11 21 6 17 12 10 9 2 2 10 9 11 9 5 4 6 11 9 8 12 11 11 11 11 16 14 9 11 10 4 8 6 9 8 13 13 7 13 13 9 6 6 15 11 7 11 10 8 5 9 6 5 8 8 6 12 8 8 8 10 10 7 8 6 9 7 7 6 10 3 6 9 9 3 6 9 7 8 8 8 7 10 12 9 10 8 7 6 8 3 1 
Solving time:0.060
Filtering time:15.890
ID:27 (14,12,29)
Graph |V|:91
Solution size:6106
Filtered solution size:3495
Parallel solution length:311
Parallelism:11.238
Step parallelism:40 22 27 23 7 8 12 11 9 8 14 13 11 8 13 6 3 5 12 7 5 5 5 8 18 7 4 1 14 9 6 15 12 4 2 17 15 10 20 17 24 15 14 11 9 12 16 26 10 15 14 11 8 21 15 19 19 11 3 13 8 17 11 6 15 13 11 11 9 17 15 12 14 11 11 12 20 13 13 13 14 15 12 12 17 19 17 17 16 13 13 14 14 12 14 10 10 15 8 8 20 6 8 6 6 9 12 10 10 13 11 11 9 6 13 12 15 11 11 10 10 20 18 14 22 16 21 12 9 15 21 8 19 12 10 10 14 7 6 6 12 12 20 20 20 19 16 21 18 14 10 14 17 12 12 14 12 14 11 11 17 13 9 6 10 7 12 16 17 13 10 9 15 15 15 15 16 10 9 9 9 17 16 13 9 20 15 12 12 11 9 13 7 4 5 5 6 6 9 17 18 12 4 4 3 3 8 13 15 9 10 4 3 12 12 12 12 11 10 12 11 9 9 11 18 10 9 12 14 6 10 9 10 10 4 5 5 8 7 7 3 10 4 3 5 10 6 6 13 11 10 11 11 16 10 10 15 11 7 9 7 13 14 5 6 12 17 13 10 11 7 8 4 9 8 10 7 7 10 8 9 8 8 8 10 13 7 9 8 7 7 6 7 9 7 10 9 11 12 12 11 9 10 6 11 9 6 9 5 4 3 
Solving time:0.070
Filtering time:22.150
ID:28 (14,12,30)
Graph |V|:91
Solution size:6289
Filtered solution size:3377
Parallel solution length:331
Parallelism:10.202
Step parallelism:43 27 24 20 10 9 12 8 5 1 12 11 9 9 5 5 6 6 7 6 4 4 4 7 12 13 14 8 17 10 7 10 10 2 2 10 14 20 25 33 19 16 19 9 13 17 14 6 5 13 8 14 7 13 10 10 11 11 12 8 6 15 8 6 12 16 8 6 12 11 19 12 14 13 13 23 13 10 10 9 9 11 10 11 11 7 11 22 17 15 10 8 12 1 9 9 9 15 8 11 18 17 23 17 8 10 7 3 11 9 8 11 11 9 7 12 7 7 11 13 16 15 11 12 15 6 3 3 10 9 14 6 4 6 8 13 9 9 24 11 13 5 3 12 4 11 11 20 12 20 9 9 6 13 16 8 7 10 10 12 7 10 12 10 10 10 11 7 10 9 25 22 12 8 8 9 12 8 10 13 19 15 12 15 9 4 6 6 6 5 4 2 4 12 5 12 13 10 17 17 15 13 13 12 23 19 12 11 14 13 9 13 10 7 16 15 4 6 5 14 11 8 6 10 8 3 8 1 8 8 9 9 6 11 11 13 8 11 11 7 10 12 13 12 7 12 19 12 9 13 15 5 10 9 9 9 9 13 9 9 9 18 14 11 11 8 9 10 9 9 8 9 9 7 11 10 10 8 7 8 7 3 7 7 5 5 14 4 13 11 10 10 8 9 7 7 7 8 4 6 6 12 11 8 7 9 5 5 8 11 5 4 4 4 5 3 3 3 11 8 6 9 9 8 9 11 9 5 4 2 1 
Solving time:0.070
Filtering time:21.330
ID:29 (14,12,31)
Graph |V|:91
Solution size:6063
Filtered solution size:3045
Parallel solution length:307
Parallelism:9.919
Step parallelism:42 28 23 20 10 9 11 7 12 1 11 8 8 5 4 7 6 7 6 4 4 4 7 12 13 14 8 17 12 7 10 10 2 2 10 14 20 25 30 19 15 19 9 13 17 13 6 5 13 8 14 7 13 10 10 11 10 7 8 6 15 6 6 11 15 8 7 14 11 19 13 15 14 13 16 13 10 10 9 12 11 10 10 8 10 20 17 14 14 8 9 1 9 9 9 12 8 11 18 17 22 17 15 7 3 10 8 10 10 8 8 16 9 9 7 6 13 14 13 9 11 14 6 3 3 9 9 18 6 4 6 8 9 9 8 23 10 14 4 3 11 4 10 13 20 10 12 14 4 9 8 14 11 11 6 9 9 12 10 10 10 8 14 13 12 9 9 12 14 9 20 11 13 12 4 14 19 7 5 9 6 8 7 8 10 13 8 6 8 12 10 14 16 12 14 16 18 13 16 8 7 5 4 13 12 6 14 8 10 13 6 12 13 12 12 12 11 11 8 8 16 14 12 11 11 10 7 3 2 2 16 3 3 2 7 8 4 9 14 14 6 4 14 18 5 3 7 2 8 7 7 7 8 7 7 6 6 9 7 7 7 9 7 5 10 10 8 7 7 6 12 10 7 6 5 12 11 9 9 9 6 10 15 4 5 12 7 6 6 4 5 7 7 2 7 7 9 8 5 11 11 3 4 3 8 5 2 
Solving time:0.070
Filtering time:16.670
ID:30 (14,12,32)
Graph |V|:91
Solution size:6298
Filtered solution size:3026
Parallel solution length:302
Parallelism:10.020
Step parallelism:39 27 23 22 10 9 11 7 12 1 10 7 7 11 3 3 5 7 6 6 6 5 7 12 13 4 2 14 9 8 7 10 8 2 2 10 17 20 25 31 19 13 12 9 12 22 24 9 8 12 8 14 7 13 10 10 11 12 7 8 7 5 5 10 9 14 8 7 14 11 19 13 15 14 13 17 13 11 10 9 10 11 10 10 8 9 24 16 14 14 11 9 1 9 8 10 8 8 11 17 14 9 6 8 17 9 9 8 5 10 9 15 11 11 8 16 14 8 7 7 7 14 9 5 11 3 13 17 11 11 10 9 14 11 13 8 10 9 14 12 15 4 11 11 10 10 12 14 13 12 10 10 10 13 7 4 11 9 8 5 13 11 9 6 5 8 9 9 8 8 7 6 11 16 14 14 16 12 11 11 10 9 13 11 10 16 13 15 7 8 14 10 9 6 8 8 8 9 17 16 16 17 10 13 13 16 15 7 12 12 7 7 17 11 19 8 6 4 5 5 4 15 8 16 5 5 8 8 8 5 10 10 10 8 7 6 6 13 8 16 9 7 5 5 4 3 14 11 12 16 14 14 10 11 11 10 10 14 11 4 7 7 4 9 12 12 7 10 12 10 7 7 7 6 8 9 4 2 3 8 5 10 5 5 5 3 8 3 11 9 4 12 7 6 7 9 5 7 4 3 3 1 
Solving time:0.070
Filtering time:22.100
ID:31 (14,12,33)
Graph |V|:91
Solution size:6386
Filtered solution size:2955
Parallel solution length:295
Parallelism:10.017
Step parallelism:38 26 22 21 10 9 11 7 12 1 9 6 7 11 3 3 6 7 6 6 6 5 8 12 13 4 3 14 9 8 7 10 8 2 2 10 17 20 25 30 19 13 12 9 12 22 24 9 8 12 8 14 7 13 10 10 11 8 7 8 7 5 5 9 9 13 7 7 14 11 19 13 15 14 13 18 13 11 10 9 10 11 10 10 8 9 16 14 14 14 9 1 1 10 10 9 8 8 8 16 18 14 7 22 10 9 8 7 3 10 9 9 11 11 13 8 11 5 5 11 9 9 12 12 8 15 15 7 14 11 11 13 13 9 8 8 12 18 10 12 11 4 17 17 22 11 6 5 10 11 9 12 8 14 14 10 6 5 5 13 12 8 7 7 10 11 13 18 13 12 10 8 17 18 12 16 17 13 12 10 5 3 18 19 13 8 11 11 11 17 13 15 14 7 7 5 9 9 13 7 5 9 10 17 15 5 2 10 10 10 11 10 12 19 17 16 11 15 20 15 12 11 10 9 6 3 2 6 8 8 8 7 10 6 6 13 11 7 7 6 6 8 5 5 7 5 5 10 13 10 15 8 5 8 11 5 8 8 4 10 6 7 7 4 4 3 8 7 6 12 13 8 4 8 4 3 7 5 4 7 7 3 6 6 4 10 7 6 7 9 5 8 8 4 3 
Solving time:0.060
Filtering time:19.930
ID:32 (14,12,34)
Graph |V|:91
Solution size:6111
Filtered solution size:2806
Parallel solution length:271
Parallelism:10.354
Step parallelism:37 25 21 21 10 9 11 7 12 1 9 6 7 11 3 3 7 8 7 6 6 5 8 12 13 4 3 14 9 8 7 11 9 3 3 11 17 20 24 26 20 13 12 9 12 22 21 8 10 11 8 14 12 18 14 8 11 5 6 7 5 5 10 9 14 8 7 14 13 11 8 12 12 12 13 14 12 11 11 9 9 9 9 13 12 8 20 20 10 8 9 14 7 7 7 9 11 5 13 14 18 12 15 16 16 14 10 12 8 17 27 25 23 23 12 8 5 19 13 5 2 2 5 5 5 5 13 13 12 12 12 19 11 19 21 13 13 17 14 5 18 15 13 15 12 12 13 13 11 8 10 14 15 15 21 19 15 13 14 12 12 15 15 9 6 5 12 7 7 10 7 12 12 10 8 8 8 11 8 9 9 10 14 12 3 1 1 16 17 7 12 4 9 10 11 9 6 9 3 13 15 9 11 11 10 17 10 13 9 9 15 12 14 6 7 5 4 2 2 9 6 6 12 10 6 6 10 9 9 7 4 13 9 6 9 8 10 10 12 10 6 6 8 8 7 4 4 10 8 4 3 4 7 6 12 6 6 6 8 6 3 4 7 6 6 5 4 7 4 5 4 
Solving time:0.060
Filtering time:19.520
ID:33 (14,12,35)
Graph |V|:91
Solution size:5816
Filtered solution size:2628
Parallel solution length:258
Parallelism:10.186
Step parallelism:38 25 21 21 11 9 11 7 12 1 8 10 7 11 3 3 7 8 6 6 6 5 8 14 5 4 3 14 9 6 11 10 3 3 11 15 20 23 26 20 15 15 9 12 17 18 8 8 11 8 14 11 18 14 9 17 7 13 6 8 11 8 7 12 12 11 6 14 12 12 13 12 11 10 10 6 4 7 7 12 12 8 15 19 9 8 9 14 7 7 7 9 11 5 14 14 18 12 15 16 16 14 10 13 8 11 18 19 15 12 11 9 7 13 19 21 8 18 12 4 3 3 3 19 10 7 7 7 7 12 12 17 14 17 16 12 7 11 7 10 7 4 12 11 18 17 11 20 14 12 10 15 11 8 17 16 10 8 9 1 1 1 8 10 10 9 9 9 7 7 7 7 15 7 12 5 4 15 13 16 9 11 8 6 7 6 4 13 15 13 10 10 10 7 6 4 12 15 16 7 7 10 11 7 13 11 13 11 9 6 7 8 10 15 8 8 8 13 10 10 6 7 6 7 5 11 8 10 6 6 12 12 8 7 7 9 6 6 6 7 2 8 8 7 12 7 8 7 7 10 8 5 7 7 7 5 5 5 
Solving time:0.060
Filtering time:13.440
ID:34 (14,12,36)
Graph |V|:91
Solution size:6176
Filtered solution size:2603
Parallel solution length:262
Parallelism:9.935
Step parallelism:37 28 21 21 11 9 11 7 12 1 8 10 7 11 3 3 7 8 6 6 6 5 8 14 5 4 4 15 9 6 11 10 3 3 11 15 18 22 25 21 14 14 6 19 14 9 8 7 11 8 14 11 18 14 9 17 7 13 6 8 11 8 7 12 12 11 6 14 12 12 13 12 11 10 10 6 4 7 7 12 12 8 15 19 10 8 9 8 7 7 7 9 11 5 14 14 18 12 15 16 16 16 12 15 10 13 12 19 13 10 9 7 7 13 19 21 8 19 14 13 9 3 3 8 8 6 6 6 12 16 13 16 16 11 9 11 7 10 7 4 11 10 18 17 11 20 11 14 9 9 9 13 16 13 10 12 14 10 11 11 8 4 3 3 2 2 2 2 10 6 6 13 12 16 9 3 3 6 17 9 9 8 8 6 5 4 12 13 8 8 8 8 9 12 10 10 6 4 9 10 5 8 14 10 8 9 12 8 11 14 15 12 9 11 7 3 15 17 9 9 11 10 9 8 12 9 5 3 4 4 4 6 5 8 11 8 5 7 7 8 11 11 10 9 15 6 2 8 8 7 11 9 7 6 8 6 5 7 7 5 4 2 
Solving time:0.070
Filtering time:17.600
ID:35 (14,12,37)
Graph |V|:91
Solution size:6582
Filtered solution size:2862
Parallel solution length:285
Parallelism:10.042
Step parallelism:36 27 23 21 11 9 11 7 12 1 8 10 7 11 3 2 6 7 6 6 6 5 8 14 5 4 5 16 9 6 11 12 4 4 10 12 14 20 23 18 13 17 13 19 8 6 6 6 12 8 14 15 6 12 12 9 4 11 7 9 12 12 12 19 10 3 13 13 12 11 10 12 11 11 7 13 14 11 8 9 14 13 12 13 10 5 13 17 13 11 11 9 17 10 9 14 12 9 16 9 7 6 5 5 9 6 5 7 7 20 8 7 6 9 8 15 5 10 15 9 9 14 11 8 1 1 1 10 18 15 20 16 16 18 17 16 16 15 15 16 13 14 9 10 11 8 6 5 5 12 12 9 9 12 14 16 16 11 14 6 17 18 18 11 11 15 7 14 14 10 9 9 14 14 12 7 8 6 7 13 11 14 15 16 12 8 7 13 4 13 15 11 7 8 6 7 13 18 9 7 6 7 6 12 12 6 5 7 6 4 3 3 11 7 5 12 11 11 12 11 13 13 10 10 9 7 11 15 15 12 9 7 7 9 9 6 6 4 7 5 3 5 5 4 7 13 10 6 6 9 1 9 9 9 8 9 9 9 13 13 9 9 9 10 10 8 12 5 9 7 9 9 8 9 8 8 7 4 6 4 7 7 4 4 3 
Solving time:0.070
Filtering time:23.000
ID:36 (14,12,38)
Graph |V|:91
Solution size:5797
Filtered solution size:2510
Parallel solution length:282
Parallelism:8.901
Step parallelism:36 27 25 23 9 9 10 7 12 8 5 7 11 3 2 6 7 6 6 6 5 8 14 13 6 10 15 14 7 12 15 16 15 18 13 11 9 13 15 14 6 6 13 9 15 7 13 10 10 11 4 11 7 9 12 11 18 9 8 5 12 9 10 9 10 10 11 7 18 9 16 14 12 10 4 4 10 11 9 11 7 7 7 9 8 17 6 6 2 6 8 11 8 8 8 8 8 11 10 9 3 1 6 6 6 4 3 11 15 10 10 9 14 5 3 1 1 1 11 11 10 10 10 8 7 11 14 4 13 16 10 7 8 10 17 13 14 16 13 14 15 14 15 16 13 10 8 13 8 10 7 10 9 9 9 9 9 7 5 5 12 10 11 9 17 12 10 5 13 13 8 9 9 14 17 14 14 12 15 11 8 7 8 9 7 5 4 7 9 8 11 11 11 13 9 3 10 4 2 7 6 6 8 15 11 11 7 8 4 8 1 10 11 8 6 8 6 5 4 1 1 5 4 3 8 8 7 4 5 9 4 9 9 5 5 8 9 4 8 8 5 5 8 4 13 10 10 9 14 14 8 10 4 3 5 4 3 3 7 7 7 7 6 5 6 6 1 3 3 7 7 9 9 9 7 5 3 3 6 5 3 3 
Solving time:0.060
Filtering time:12.870
ID:37 (14,12,39)
Graph |V|:91
Solution size:4962
Filtered solution size:2149
Parallel solution length:217
Parallelism:9.903
Step parallelism:35 28 23 20 9 9 10 7 12 8 5 7 14 5 3 8 8 10 9 8 15 12 6 14 17 11 11 20 18 21 14 16 17 17 14 10 15 8 13 10 10 6 6 8 7 7 5 5 7 9 11 5 10 8 9 10 11 11 10 11 9 8 8 7 18 17 17 10 12 12 6 10 11 14 11 10 7 6 6 9 3 3 11 9 9 13 9 5 10 5 6 9 9 9 6 9 9 11 12 12 11 11 21 16 14 14 14 13 7 15 12 13 15 12 7 12 11 6 6 11 5 16 12 12 12 11 19 18 14 8 13 10 2 2 4 4 1 11 11 8 7 8 10 9 10 14 5 10 8 8 7 7 13 11 7 5 5 10 7 10 13 12 9 9 6 9 9 12 8 9 13 8 10 5 11 11 14 17 15 11 10 7 8 8 7 8 6 8 6 8 6 13 3 9 7 6 6 9 8 4 8 4 5 5 13 12 10 2 9 9 9 10 10 7 6 5 2 
Solving time:0.060
Filtering time:6.170
ID:38 (14,12,40)
Graph |V|:91
Solution size:5963
Filtered solution size:2303
Parallel solution length:242
Parallelism:9.517
Step parallelism:34 28 23 20 8 9 10 7 12 5 10 5 12 3 2 8 8 13 9 8 8 12 7 5 15 17 10 13 20 23 22 17 16 12 9 15 17 13 9 5 10 10 9 9 6 7 5 4 6 10 11 7 9 12 12 12 11 13 10 21 18 16 17 16 20 9 12 10 11 12 10 9 5 5 8 9 9 4 13 14 5 4 6 9 8 7 13 11 9 8 9 9 16 11 23 11 12 12 15 11 9 9 9 10 13 13 12 19 14 15 10 7 9 9 6 9 7 7 5 8 11 12 18 11 6 10 12 12 13 13 9 16 14 8 9 9 7 4 4 4 4 10 10 5 12 4 5 4 5 6 14 9 9 10 13 14 8 6 6 6 4 3 5 4 7 7 9 8 9 7 7 6 9 8 9 8 8 10 10 16 14 14 12 12 10 8 10 9 10 13 3 5 7 12 7 6 11 11 9 8 11 5 4 7 7 10 4 6 3 5 7 7 12 5 4 5 11 10 10 8 8 7 6 6 6 7 6 6 4 4 6 5 5 2 8 8 7 6 6 6 4 3 
Solving time:0.060
Filtering time:14.680
ID:39 (14,12,41)
Graph |V|:91
Solution size:5801
Filtered solution size:2269
Parallel solution length:236
Parallelism:9.614
Step parallelism:34 27 22 20 8 9 10 7 12 5 10 5 11 4 10 14 7 10 9 11 13 20 11 14 12 11 16 17 18 13 13 14 10 2 3 12 9 15 7 13 10 10 11 12 8 9 8 6 6 10 8 14 11 9 7 11 8 14 14 12 16 10 8 6 9 10 11 11 8 13 11 6 12 16 15 18 18 8 14 15 16 10 8 7 7 10 11 9 6 8 10 6 5 6 6 6 9 8 15 17 5 6 8 14 6 8 16 14 14 6 4 3 3 3 7 7 7 7 7 11 9 12 11 11 9 8 9 14 17 11 16 16 15 14 14 7 4 4 4 6 6 6 6 8 8 6 10 14 14 13 13 10 10 10 10 11 9 9 8 9 9 7 7 8 9 7 7 5 7 12 9 9 9 9 9 8 11 12 9 10 10 11 7 4 3 3 8 9 9 7 7 6 11 7 8 11 7 8 11 8 12 9 13 8 8 6 10 11 10 10 10 5 11 5 10 8 9 7 5 6 12 10 5 7 6 6 12 7 7 8 7 7 5 6 3 2 
Solving time:0.070
Filtering time:8.390
ID:40 (14,12,42)
Graph |V|:91
Solution size:5801
Filtered solution size:2231
Parallel solution length:236
Parallelism:9.453
Step parallelism:33 27 20 18 8 9 10 5 11 5 9 5 11 4 10 14 7 10 9 11 13 13 9 13 11 11 16 17 18 14 13 14 10 2 3 12 9 15 8 13 10 10 11 9 8 9 8 6 6 10 8 13 10 9 7 11 9 14 14 12 16 10 8 6 9 8 13 14 12 15 7 7 12 10 12 14 14 6 12 14 16 10 8 7 7 10 11 9 6 8 10 6 5 6 6 6 9 8 15 17 5 6 8 14 6 8 16 14 14 6 4 3 3 3 7 7 7 7 7 11 9 12 11 11 9 8 9 14 17 11 16 16 15 14 14 7 4 4 4 6 6 6 6 8 8 6 10 14 14 13 13 10 10 10 10 11 9 9 8 9 9 7 7 8 9 7 7 5 7 12 9 9 9 9 9 8 11 12 9 10 10 11 7 4 3 3 8 9 9 7 7 6 11 7 8 11 7 8 11 8 12 9 13 8 8 6 10 11 10 10 10 5 11 5 10 8 9 7 5 6 12 10 5 7 6 6 12 7 7 8 7 7 5 6 3 2 
Solving time:0.060
Filtering time:10.100
ID:41 (14,12,43)
Graph |V|:91
Solution size:5801
Filtered solution size:2217
Parallel solution length:236
Parallelism:9.394
Step parallelism:32 26 22 19 15 8 10 5 19 12 10 7 8 10 10 14 11 7 3 3 5 5 4 11 10 10 15 16 17 13 13 14 10 2 3 12 9 15 8 13 10 10 11 9 8 9 8 6 6 10 8 13 10 9 7 11 9 14 14 12 16 10 8 6 9 8 13 14 12 15 7 7 12 10 12 14 14 6 12 14 16 10 8 7 7 10 11 9 6 8 10 6 5 6 6 6 9 8 15 17 5 6 8 14 6 8 16 14 14 6 4 3 3 3 7 7 7 7 7 11 9 12 11 11 9 8 9 14 17 11 16 16 15 14 14 7 4 4 4 6 6 6 6 8 8 6 10 14 14 13 13 10 10 10 10 11 9 9 8 9 9 7 7 8 9 7 7 5 7 12 9 9 9 9 9 8 11 12 9 10 10 11 7 4 3 3 8 9 9 7 7 6 11 7 8 11 7 8 11 8 12 9 13 8 8 6 10 11 10 10 10 5 11 5 10 8 9 7 5 6 12 10 5 7 6 6 12 7 7 8 7 7 5 6 3 2 
Solving time:0.060
Filtering time:8.550
ID:42 (14,12,44)
Graph |V|:91
Solution size:5801
Filtered solution size:2188
Parallel solution length:236
Parallelism:9.271
Step parallelism:30 26 22 17 17 18 19 7 15 9 14 7 4 3 2 6 6 5 3 2 4 4 3 10 10 10 15 16 16 12 11 14 9 2 3 12 9 15 8 12 10 10 11 9 8 9 8 6 6 10 8 13 10 9 7 11 9 14 14 12 16 10 8 6 9 8 13 14 12 15 7 7 12 10 12 14 14 6 12 14 16 10 8 7 7 10 11 9 6 8 10 6 5 6 6 6 9 8 15 17 5 6 8 14 6 8 16 14 14 6 4 3 3 3 7 7 7 7 7 11 9 12 11 11 9 8 9 14 17 11 16 16 15 14 14 7 4 4 4 6 6 6 6 8 8 6 10 14 14 13 13 10 10 10 10 11 9 9 8 9 9 7 7 8 9 7 7 5 7 12 9 9 9 9 9 8 11 12 9 10 10 11 7 4 3 3 8 9 9 7 7 6 11 7 8 11 7 8 11 8 12 9 13 8 8 6 10 11 10 10 10 5 11 5 10 8 9 7 5 6 12 10 5 7 6 6 12 7 7 8 7 7 5 6 3 2 
Solving time:0.070
Filtering time:7.840
ID:43 (14,12,45)
Graph |V|:91
Solution size:5905
Filtered solution size:2223
Parallel solution length:256
Parallelism:8.684
Step parallelism:29 25 22 18 17 18 20 7 15 9 14 9 6 3 2 5 5 2 2 3 9 9 9 15 16 16 12 11 14 9 2 3 12 9 15 8 12 10 9 9 11 9 9 8 6 6 11 8 13 10 10 7 10 6 4 8 9 8 8 10 10 9 9 9 9 12 9 6 10 9 9 10 8 8 8 6 11 11 7 12 9 8 8 9 8 11 11 13 13 14 4 8 7 4 11 7 11 12 10 10 10 5 12 9 12 14 7 13 15 16 13 11 9 12 11 9 9 9 10 10 9 9 10 9 9 7 7 5 9 11 9 11 10 10 13 11 11 8 15 17 14 11 5 8 7 5 5 1 8 10 9 8 13 12 6 12 12 13 8 5 3 9 4 6 6 6 4 9 6 11 6 9 9 7 7 9 11 10 9 9 14 9 7 12 8 1 7 12 8 11 9 4 6 7 4 3 1 1 1 4 4 3 5 5 12 9 6 4 5 5 13 6 12 9 8 8 9 9 9 8 8 7 7 5 9 5 9 6 6 4 8 7 6 6 7 7 5 1 2 6 10 7 7 8 8 8 9 9 5 4 7 6 6 6 3 2 
Solving time:0.060
Filtering time:11.810
ID:44 (14,12,46)
Graph |V|:91
Solution size:5403
Filtered solution size:1865
Parallel solution length:214
Parallelism:8.715
Step parallelism:27 24 21 16 16 13 15 8 15 10 14 8 7 9 4 7 6 3 1 3 8 8 13 9 10 16 12 10 13 9 10 9 12 15 13 10 10 6 13 8 6 6 5 5 9 9 5 9 6 6 9 9 10 10 10 10 11 9 7 9 9 9 9 8 8 6 4 2 6 8 9 5 5 5 13 12 10 9 9 15 14 11 13 11 18 23 11 15 10 14 12 13 10 10 13 18 9 7 9 15 5 5 5 10 6 11 13 12 13 15 13 14 8 8 8 7 6 6 6 10 10 12 9 5 8 8 10 6 4 9 12 11 17 15 13 12 9 6 4 5 4 4 7 2 2 10 12 8 8 6 4 5 3 6 4 9 7 2 6 4 4 4 2 11 13 9 8 8 7 6 11 9 9 10 5 7 8 8 6 5 6 3 5 3 5 10 6 6 8 6 7 10 9 9 10 11 5 10 8 8 7 6 5 9 8 6 7 7 5 5 4 2 1 1 
Solving time:0.050
Filtering time:6.520
ID:45 (14,12,47)
Graph |V|:91
Solution size:5347
Filtered solution size:1824
Parallel solution length:211
Parallelism:8.645
Step parallelism:27 24 23 16 16 13 15 8 15 10 14 8 7 9 4 7 6 3 1 3 8 8 13 9 9 13 11 12 6 9 10 9 12 15 13 10 10 7 14 9 7 9 5 5 9 9 5 9 6 12 15 8 11 11 12 14 9 9 6 6 6 6 8 4 6 6 6 6 6 6 7 9 7 7 13 11 12 9 7 14 16 12 8 9 7 10 5 4 10 8 6 6 12 11 11 8 8 8 8 8 9 14 14 10 9 9 7 11 15 11 11 11 15 8 10 15 11 10 6 5 3 6 5 8 8 6 5 4 4 8 7 7 6 13 8 8 10 7 9 9 8 8 5 10 5 10 8 2 3 8 12 3 5 7 6 5 11 10 9 12 9 12 12 5 7 6 6 13 15 10 16 9 12 12 15 12 9 5 4 8 5 8 6 11 11 9 6 7 4 3 6 6 8 4 4 5 7 6 5 5 6 6 2 4 4 7 8 7 8 4 2 
Solving time:0.060
Filtering time:5.940
ID:46 (14,12,48)
Graph |V|:91
Solution size:5347
Filtered solution size:1798
Parallel solution length:211
Parallelism:8.521
Step parallelism:26 22 21 16 16 13 18 8 16 8 13 6 6 4 3 4 4 1 1 3 8 8 13 9 9 12 10 12 6 9 10 9 12 15 13 10 10 6 13 8 6 9 5 5 9 9 5 9 6 12 15 8 11 11 12 14 9 9 6 6 6 6 8 4 6 6 6 6 6 6 7 9 7 7 13 11 12 9 7 14 16 12 8 9 7 10 5 4 10 8 6 6 12 11 11 8 8 8 8 8 9 14 14 10 9 9 7 11 15 11 11 11 15 8 10 15 11 10 6 5 3 6 5 8 8 6 5 4 4 8 7 7 6 13 8 8 10 7 9 9 8 8 5 10 5 10 8 2 3 8 12 3 5 7 6 5 11 10 9 12 9 12 12 5 7 6 6 13 15 10 16 9 12 12 15 12 9 5 4 8 5 8 6 11 11 9 6 7 4 3 6 6 8 4 4 5 7 6 5 5 6 6 2 4 4 7 8 7 8 4 2 
Solving time:0.060
Filtering time:5.320
ID:47 (14,12,49)
Graph |V|:91
Solution size:6089
Filtered solution size:1946
Parallel solution length:222
Parallelism:8.766
Step parallelism:27 21 20 15 16 14 14 14 6 10 5 4 2 2 5 4 1 1 3 8 8 13 9 10 12 9 10 8 8 12 14 12 9 9 11 6 4 7 10 10 7 7 7 12 10 10 10 11 7 9 15 15 13 12 11 16 14 11 12 11 10 10 9 13 10 4 4 9 7 8 7 7 7 7 10 7 3 11 9 4 10 6 6 7 18 16 20 11 15 8 18 11 11 13 11 6 4 10 9 8 9 15 8 13 8 5 13 11 14 14 11 4 4 3 7 6 12 11 7 7 9 6 6 5 5 5 5 5 4 4 10 9 7 5 6 6 11 8 8 8 7 8 10 7 14 8 10 10 12 10 13 10 8 5 4 8 8 12 11 10 9 8 9 9 6 5 11 3 4 13 14 12 11 9 9 10 7 7 7 6 6 6 8 8 8 11 8 10 9 9 10 14 9 12 10 9 11 6 6 4 3 2 7 6 8 8 4 3 3 6 8 7 10 9 7 6 8 8 8 3 2 1 
Solving time:0.060
Filtering time:6.940
ID:48 (14,12,50)
Graph |V|:91
Solution size:5269
Filtered solution size:1750
Parallel solution length:203
Parallelism:8.621
Step parallelism:26 20 19 14 14 14 12 14 7 10 5 4 2 2 5 4 1 1 3 8 8 13 9 9 11 9 10 8 8 12 14 12 9 9 11 6 4 8 10 10 10 7 5 10 10 10 12 8 13 15 14 12 11 11 15 14 14 12 12 11 10 9 6 9 6 4 9 7 11 7 7 7 7 11 7 3 8 6 8 11 6 7 20 14 22 17 7 19 9 6 12 12 9 9 13 8 13 14 10 6 14 14 15 12 9 8 7 7 7 7 10 6 8 2 3 3 5 15 10 7 12 13 13 15 17 14 9 10 7 11 5 5 4 2 2 2 2 2 2 6 4 7 1 7 7 7 7 6 4 7 4 6 3 2 3 3 6 8 5 9 9 10 8 8 8 10 13 12 6 7 9 8 8 12 2 2 6 6 10 7 12 7 6 6 7 9 14 8 7 9 9 7 7 7 7 7 7 7 10 7 9 4 1 
Solving time:0.050
Filtering time:4.520
ID:49 (14,12,51)
Graph |V|:91
Solution size:5016
Filtered solution size:1617
Parallel solution length:195
Parallelism:8.292
Step parallelism:25 20 19 16 15 15 8 14 7 9 6 5 9 16 16 11 14 9 8 5 3 6 6 11 10 11 9 8 9 7 5 5 8 8 8 3 6 10 10 10 15 15 12 10 10 5 7 9 11 11 11 12 10 10 10 11 9 13 10 6 6 6 11 8 7 7 8 6 5 5 4 4 4 3 6 6 6 4 6 6 6 7 7 7 6 4 4 8 9 7 5 10 8 9 17 13 11 7 3 2 2 2 2 5 5 9 9 8 8 8 14 11 12 12 11 9 8 8 8 10 10 9 9 7 9 9 8 7 9 11 11 10 9 7 12 9 13 9 11 9 8 11 7 5 7 7 10 11 6 4 4 3 3 4 4 9 8 13 11 10 8 8 11 3 1 7 13 11 9 9 11 8 3 6 6 6 5 6 10 9 7 6 7 7 7 11 8 8 8 7 7 7 5 2 1 
Solving time:0.050
Filtering time:3.070
ID:50 (14,12,52)
Graph |V|:91
Solution size:5537
Filtered solution size:1861
Parallel solution length:219
Parallelism:8.498
Step parallelism:24 20 19 15 15 14 8 14 7 10 6 6 5 12 10 9 13 12 16 9 7 11 10 13 12 13 9 8 9 5 5 5 8 8 5 3 13 4 4 4 10 11 11 10 8 3 5 10 10 10 17 12 13 10 6 4 3 13 12 12 15 11 16 7 7 7 14 18 15 12 8 9 9 9 13 6 11 6 6 8 10 13 16 9 11 4 3 1 5 10 12 13 9 9 13 7 6 5 8 12 9 12 12 10 14 13 12 7 8 8 10 9 9 9 9 8 8 9 14 9 12 11 7 7 10 16 8 9 8 9 8 8 8 8 8 3 9 10 8 12 13 9 8 8 7 7 10 12 12 11 10 9 12 12 4 6 5 5 5 5 5 1 5 4 1 1 1 4 4 4 3 5 4 4 4 6 9 13 7 8 8 7 7 10 7 5 6 10 9 6 6 2 1 6 8 10 8 7 5 3 8 7 6 3 2 5 5 4 9 9 6 5 4 9 8 8 9 6 3 
Solving time:0.060
Filtering time:4.760
ID:51 (14,12,53)
Graph |V|:91
Solution size:5882
Filtered solution size:1804
Parallel solution length:206
Parallelism:8.757
Step parallelism:26 20 19 15 15 14 8 14 7 10 6 6 5 12 10 9 13 12 16 9 7 11 10 13 12 13 9 8 9 5 5 5 8 8 5 3 13 4 4 4 10 11 11 10 8 3 5 10 10 10 17 12 13 10 6 4 3 13 12 12 15 11 16 7 7 7 14 18 15 12 8 9 9 9 13 6 8 6 6 9 10 13 15 9 11 4 3 1 5 10 12 13 9 9 14 8 6 5 8 11 8 12 12 10 14 13 12 8 8 8 11 9 9 9 9 8 8 9 14 9 12 11 7 7 9 14 8 9 8 9 9 9 10 10 12 5 11 11 8 7 5 5 5 5 5 6 11 12 11 9 8 9 7 11 9 8 2 8 4 9 7 9 10 4 5 6 6 6 9 12 11 10 11 11 9 6 6 7 7 8 8 8 9 6 2 2 4 3 2 3 5 4 8 5 5 9 7 6 5 8 8 5 6 4 2 2 
Solving time:0.060
Filtering time:5.830
ID:52 (14,12,54)
Graph |V|:91
Solution size:5490
Filtered solution size:1745
Parallel solution length:196
Parallelism:8.903
Step parallelism:25 19 18 15 15 15 13 18 10 6 11 6 6 15 11 11 12 10 11 9 11 14 16 14 11 11 17 6 9 5 9 7 6 6 6 6 5 5 6 12 12 9 8 8 8 8 9 10 10 9 8 8 4 10 10 10 10 15 13 12 14 13 12 11 10 12 9 9 9 12 17 23 15 15 13 12 9 14 12 9 17 14 11 14 11 7 4 5 11 9 9 11 11 8 7 8 6 8 8 9 8 9 9 10 10 7 11 11 10 6 12 8 5 3 5 6 12 10 11 9 4 6 7 6 11 15 14 10 6 7 6 6 8 11 2 2 2 7 7 7 6 6 5 5 7 13 7 4 4 4 5 5 6 4 3 7 6 6 5 8 10 10 8 8 8 5 5 7 8 9 3 3 6 5 5 4 5 4 9 10 8 7 11 9 4 3 4 10 11 9 6 9 7 6 5 5 
Solving time:0.060
Filtering time:4.180
ID:53 (14,12,55)
Graph |V|:91
Solution size:5671
Filtered solution size:1716
Parallel solution length:189
Parallelism:9.079
Step parallelism:24 19 18 15 14 14 11 16 10 6 11 6 6 14 11 11 12 10 10 8 8 11 13 10 8 8 14 6 4 6 8 8 6 5 6 6 7 9 15 15 12 11 11 10 7 8 5 10 10 7 11 10 10 6 10 7 10 9 13 13 9 10 12 7 7 11 9 7 12 9 5 13 10 13 11 10 13 14 17 10 10 9 16 9 18 9 7 10 9 10 13 13 16 13 11 11 11 13 9 7 13 11 8 11 7 14 14 13 11 8 9 5 5 5 8 4 4 6 5 6 6 6 7 7 7 4 8 8 7 6 6 5 10 10 5 5 5 3 7 10 6 8 8 7 7 12 9 13 13 10 7 2 5 5 5 5 8 11 10 12 10 11 7 8 10 8 8 11 10 7 9 9 9 6 7 5 7 11 6 8 7 7 6 6 7 4 4 3 1 
Solving time:0.060
Filtering time:4.180
ID:54 (14,12,56)
Graph |V|:91
Solution size:5341
Filtered solution size:1461
Parallel solution length:169
Parallelism:8.645
Step parallelism:22 18 17 15 14 14 11 16 10 6 11 6 6 14 11 10 12 10 10 8 8 11 13 10 8 8 14 6 5 6 8 6 5 3 5 5 7 8 14 15 15 9 10 9 7 7 6 11 10 10 10 10 7 10 6 5 12 11 16 11 11 15 13 13 11 11 9 9 10 8 8 8 11 9 10 13 10 10 8 13 15 13 11 9 3 2 2 2 7 8 8 13 9 12 12 12 9 10 10 8 8 13 11 12 7 6 7 13 6 9 9 7 7 13 11 10 9 9 8 9 10 9 8 6 4 4 6 4 4 4 4 9 5 8 5 5 5 2 2 2 3 3 7 6 6 7 7 6 7 4 10 9 7 11 13 12 6 4 11 9 7 7 5 5 4 5 4 2 1 
Solving time:0.060
Filtering time:2.960
ID:55 (14,12,57)
Graph |V|:91
Solution size:4898
Filtered solution size:1311
Parallel solution length:139
Parallelism:9.432
Step parallelism:24 17 15 14 11 13 11 18 12 10 13 12 10 12 14 12 8 12 4 8 6 9 11 4 8 5 5 6 7 7 6 6 9 12 10 8 5 8 7 9 9 8 9 3 2 3 3 3 12 12 9 7 7 9 9 13 17 11 12 12 10 12 12 13 10 12 10 11 16 16 13 16 14 15 6 12 18 17 16 11 12 15 15 13 10 8 10 10 8 11 14 14 9 6 4 6 5 5 5 5 10 8 8 13 11 11 12 11 7 10 9 10 10 10 9 5 5 9 11 4 12 13 13 12 8 4 3 3 3 3 3 8 8 6 4 4 4 2 2 
Solving time:0.050
Filtering time:1.950
ID:56 (14,12,58)
Graph |V|:91
Solution size:4951
Filtered solution size:1268
Parallel solution length:154
Parallelism:8.234
Step parallelism:24 16 15 15 11 13 11 18 12 10 13 12 10 12 14 12 8 12 4 8 6 10 12 5 9 6 5 6 7 7 6 6 10 12 10 8 5 7 7 9 9 8 9 3 2 3 3 3 11 11 8 10 9 9 14 13 13 13 7 14 12 11 9 11 9 9 9 8 12 11 9 15 8 9 11 13 16 18 20 11 6 5 4 2 2 2 2 1 3 3 3 3 3 4 6 4 4 7 10 12 10 6 6 5 4 5 7 10 8 11 12 12 7 7 10 12 8 6 6 3 6 10 7 7 9 7 5 5 5 7 7 9 7 9 7 6 9 7 6 7 9 5 8 3 7 6 4 7 4 6 6 8 4 2 
Solving time:0.060
Filtering time:2.320
ID:57 (14,12,59)
Graph |V|:91
Solution size:4812
Filtered solution size:1249
Parallel solution length:157
Parallelism:7.955
Step parallelism:24 18 17 11 10 9 12 17 16 9 8 10 15 13 14 11 8 6 4 9 2 8 8 6 6 7 5 7 6 6 5 10 9 7 7 8 12 11 9 10 9 11 3 3 2 7 7 10 8 8 8 7 7 14 7 7 6 11 10 9 10 4 10 11 11 14 12 11 13 7 8 10 7 6 2 10 9 10 7 5 2 3 8 12 11 8 8 7 6 6 4 5 6 10 8 8 7 12 10 10 9 9 11 7 11 8 8 7 4 5 4 1 5 5 3 4 4 5 6 6 8 8 6 6 6 6 7 8 7 11 9 8 9 8 8 7 5 6 9 7 10 9 8 6 6 6 6 7 7 7 7 6 6 5 4 3 3 
Solving time:0.060
Filtering time:1.870
ID:58 (14,12,60)
Graph |V|:91
Solution size:4568
Filtered solution size:1163
Parallel solution length:141
Parallelism:8.248
Step parallelism:23 18 17 11 10 9 12 16 15 12 11 12 15 14 14 11 8 5 5 9 2 5 4 5 6 5 5 5 5 5 5 6 11 11 8 8 8 10 9 6 9 7 7 6 6 6 6 2 9 9 10 5 9 8 10 9 8 10 7 13 12 11 11 11 9 8 13 12 11 14 12 11 22 22 15 14 12 7 7 7 13 9 11 10 7 7 11 8 7 6 5 5 7 8 3 5 4 8 7 5 5 5 4 5 5 7 7 6 9 11 12 9 6 10 10 11 9 6 8 3 2 1 4 3 4 4 4 4 7 6 6 6 6 6 6 6 6 5 5 3 2 
Solving time:0.060
Filtering time:1.570
ID:59 (14,12,61)
Graph |V|:91
Solution size:4553
Filtered solution size:1036
Parallel solution length:135
Parallelism:7.674
Step parallelism:22 16 16 10 10 14 13 12 9 7 12 11 16 16 16 12 6 8 3 5 3 4 4 4 7 4 4 4 4 5 9 9 7 6 5 7 7 5 8 6 7 6 6 10 6 2 9 8 9 4 9 7 7 8 7 9 11 8 5 3 3 2 4 12 12 13 11 11 9 8 6 9 7 9 9 10 12 12 10 12 10 11 12 10 11 15 14 10 8 6 10 11 6 8 8 6 6 3 3 6 6 12 12 13 10 12 8 6 6 4 3 7 6 5 3 3 4 1 1 4 3 3 5 1 3 2 2 6 7 7 7 6 6 6 4 
Solving time:0.050
Filtering time:1.020
ID:60 (14,12,62)
Graph |V|:91
Solution size:4541
Filtered solution size:925
Parallel solution length:123
Parallelism:7.520
Step parallelism:22 17 16 10 10 14 13 12 9 8 13 11 16 16 16 12 6 8 5 6 4 6 6 5 8 5 5 5 5 5 9 9 7 6 6 8 7 5 8 6 7 6 6 10 6 2 9 8 7 4 8 8 7 12 10 7 3 3 3 2 2 1 1 10 10 11 11 9 13 6 8 8 10 11 13 11 10 9 4 7 8 8 7 7 13 10 12 9 10 10 8 8 10 9 8 9 5 2 1 7 7 7 7 5 5 4 8 5 6 4 2 2 2 5 6 5 4 4 6 6 3 2 1 
Solving time:0.050
Filtering time:1.230
ID:61 (14,12,63)
Graph |V|:91
Solution size:4685
Filtered solution size:1050
Parallel solution length:144
Parallelism:7.292
Step parallelism:23 15 16 9 10 14 16 15 13 13 17 12 9 13 11 9 10 7 9 10 9 7 5 4 5 4 4 4 7 10 9 15 14 12 11 11 11 10 10 9 9 9 10 10 8 6 6 6 6 4 3 3 5 5 11 5 4 3 3 2 5 7 6 6 8 5 9 10 9 9 9 9 6 8 7 8 9 7 6 4 4 9 12 11 11 11 11 10 6 6 5 3 4 4 4 4 3 3 8 9 7 7 6 8 9 10 8 6 6 4 1 1 8 5 7 6 6 10 8 8 9 7 7 3 5 5 5 7 5 5 3 3 3 3 4 2 3 3 3 3 2 2 1 1 
Solving time:0.050
Filtering time:1.010
ID:62 (14,12,64)
Graph |V|:91
Solution size:4834
Filtered solution size:1069
Parallel solution length:141
Parallelism:7.582
Step parallelism:25 17 16 9 10 13 15 13 12 12 13 10 7 10 9 7 9 8 6 9 6 6 13 13 7 7 5 5 5 7 7 10 10 10 10 11 14 10 10 12 7 5 7 6 7 7 7 6 5 10 14 14 7 8 4 5 10 6 9 11 10 10 12 12 14 10 10 8 14 5 5 5 5 8 9 5 10 6 6 11 11 13 11 8 5 5 4 5 5 9 8 6 9 9 5 5 5 3 2 6 5 4 4 3 6 6 6 4 5 4 4 4 5 5 5 4 7 7 7 6 5 5 4 6 6 6 5 7 6 6 7 6 7 8 5 1 1 1 2 1 1 
Solving time:0.050
Filtering time:1.410
ID:63 (14,12,65)
Graph |V|:91
Solution size:4580
Filtered solution size:895
Parallel solution length:130
Parallelism:6.885
Step parallelism:24 14 15 8 9 12 14 12 12 12 13 10 7 10 9 7 9 8 6 9 7 6 12 11 5 5 5 5 5 7 7 10 10 10 10 11 12 10 10 10 7 6 7 6 7 8 7 5 7 10 9 8 6 6 8 7 7 7 7 6 6 6 6 9 6 7 7 6 9 8 9 8 7 5 6 5 3 5 5 7 6 7 7 6 4 4 5 5 7 5 7 4 11 11 9 9 7 7 4 4 4 5 7 5 6 6 6 6 6 2 4 2 1 1 3 3 3 3 2 4 3 3 4 5 5 3 2 1 1 1 
Solving time:0.050
Filtering time:0.790
ID:64 (14,12,66)
Graph |V|:91
Solution size:4580
Filtered solution size:871
Parallel solution length:128
Parallelism:6.805
Step parallelism:23 12 14 10 11 11 14 13 12 12 13 10 7 10 9 8 2 5 7 6 12 11 5 5 5 5 5 7 7 10 10 10 10 11 12 10 10 10 7 6 7 6 7 8 7 5 7 10 9 8 6 6 8 7 7 7 7 6 6 6 6 9 6 7 7 6 9 8 9 8 7 5 6 5 3 5 5 7 6 7 7 6 4 4 5 5 7 5 7 4 11 11 9 9 7 7 4 4 4 5 7 5 6 6 6 6 6 2 4 2 1 1 3 3 3 3 2 4 3 3 4 5 5 3 2 1 1 1 
Solving time:0.050
Filtering time:0.770
ID:65 (14,12,67)
Graph |V|:91
Solution size:4580
Filtered solution size:856
Parallel solution length:127
Parallelism:6.740
Step parallelism:22 11 13 9 11 11 14 13 12 12 13 10 7 10 9 8 2 5 7 6 12 11 5 5 5 5 5 7 7 10 10 10 10 11 12 11 10 10 8 8 8 8 7 6 5 7 4 5 5 8 6 8 7 7 7 7 6 6 6 7 9 6 8 7 6 9 8 9 8 7 5 6 5 3 5 5 7 6 7 7 6 4 4 5 5 7 5 7 4 11 11 9 9 7 7 4 4 4 5 7 5 6 6 6 6 6 2 4 2 1 1 3 3 3 3 2 4 3 3 4 5 5 3 2 1 1 1 
Solving time:0.050
Filtering time:0.750
ID:66 (14,12,68)
Graph |V|:91
Solution size:3910
Filtered solution size:686
Parallel solution length:101
Parallelism:6.792
Step parallelism:20 13 13 6 10 11 14 13 13 14 14 10 8 11 11 10 5 11 8 6 9 7 9 9 7 10 11 11 7 6 4 4 6 5 3 9 6 4 4 8 8 5 7 8 8 8 5 8 10 9 9 8 3 1 4 7 7 4 4 4 2 5 6 8 4 8 6 6 6 5 2 5 5 4 4 6 6 6 6 7 7 5 6 8 8 8 7 6 6 7 5 4 3 1 1 1 1 1 3 2 2 
Solving time:0.040
Filtering time:0.420
ID:67 (14,12,69)
Graph |V|:91
Solution size:4311
Filtered solution size:695
Parallel solution length:97
Parallelism:7.165
Step parallelism:18 10 10 8 10 11 10 7 7 12 13 12 10 12 8 10 8 12 7 8 8 3 5 6 5 3 3 4 4 7 7 13 9 8 6 12 12 9 11 10 10 11 9 8 8 8 8 8 9 9 9 8 8 8 8 8 6 8 8 8 7 5 5 5 5 6 6 7 8 6 5 4 4 2 5 5 4 6 6 7 5 5 5 4 5 5 6 6 5 5 4 4 3 3 3 3 1 
Solving time:0.050
Filtering time:0.430
ID:68 (14,12,70)
Graph |V|:91
Solution size:4449
Filtered solution size:649
Parallel solution length:92
Parallelism:7.054
Step parallelism:19 10 10 8 10 10 10 8 7 11 12 11 10 11 8 7 10 9 7 7 8 6 4 3 3 4 4 7 7 13 9 8 6 12 12 9 11 10 9 10 9 8 8 8 8 8 9 9 9 8 8 8 8 8 6 8 8 8 7 5 6 5 5 6 6 7 6 5 3 3 4 6 7 5 3 5 3 4 3 3 6 6 6 5 6 6 5 2 1 1 1 1 
Solving time:0.040
Filtering time:0.470
ID:69 (14,12,71)
Graph |V|:91
Solution size:4415
Filtered solution size:651
Parallel solution length:99
Parallelism:6.576
Step parallelism:18 10 10 8 10 10 10 8 7 11 12 11 10 11 8 7 10 9 7 7 8 6 4 3 3 4 4 7 7 13 9 6 4 10 10 7 8 8 7 8 8 7 7 7 7 7 8 7 7 6 6 6 6 6 7 8 7 8 7 5 7 5 5 5 6 7 7 7 7 4 6 6 6 4 5 3 3 5 5 7 7 4 5 2 2 2 5 5 5 5 6 5 5 5 5 3 1 1 1 
Solving time:0.050
Filtering time:0.450
ID:70 (14,12,72)
Graph |V|:91
Solution size:3972
Filtered solution size:486
Parallel solution length:82
Parallelism:5.927
Step parallelism:17 10 9 8 9 11 10 7 6 11 12 11 10 10 10 9 8 10 10 10 11 9 8 7 10 9 5 5 3 4 4 7 5 6 4 3 3 5 5 4 3 6 6 6 5 4 5 4 4 2 4 7 7 6 5 7 6 3 4 5 4 4 4 3 3 5 5 2 4 4 5 5 4 4 4 3 2 2 2 1 1 1 
Solving time:0.050
Filtering time:0.270
ID:71 (14,12,73)
Graph |V|:91
Solution size:4237
Filtered solution size:507
Parallel solution length:87
Parallelism:5.828
Step parallelism:15 9 8 7 8 10 7 5 5 7 11 10 5 4 3 7 7 5 6 6 7 7 7 9 7 10 8 8 6 7 5 5 8 8 5 9 9 8 7 8 7 9 10 10 10 9 9 9 8 8 7 5 4 3 3 3 2 2 4 4 3 3 3 3 3 7 7 6 5 4 4 4 2 2 1 3 4 4 4 3 3 3 3 1 1 1 1 
Solving time:0.040
Filtering time:0.210
ID:72 (14,12,74)
Graph |V|:91
Solution size:3820
Filtered solution size:401
Parallel solution length:57
Parallelism:7.035
Step parallelism:15 12 9 10 10 9 10 7 9 9 12 7 7 7 7 7 6 5 10 10 10 10 8 10 9 7 5 9 8 7 7 5 7 4 6 4 8 7 9 9 6 6 6 9 7 6 6 4 4 4 4 4 4 1 1 1 1 
Solving time:0.040
Filtering time:0.160
ID:73 (14,12,75)
Graph |V|:91
Solution size:3880
Filtered solution size:435
Parallel solution length:80
Parallelism:5.438
Step parallelism:15 11 9 10 10 7 8 8 9 10 8 6 5 8 9 4 6 7 10 7 8 8 7 9 7 7 5 4 1 2 2 3 3 5 3 6 5 6 6 7 8 10 9 10 8 9 5 4 1 1 1 1 1 3 3 3 5 5 5 4 5 6 6 5 5 5 4 4 3 3 3 4 3 3 3 2 1 1 1 1 
Solving time:0.040
Filtering time:0.180
ID:74 (14,12,76)
Graph |V|:91
Solution size:3751
Filtered solution size:473
Parallel solution length:90
Parallelism:5.256
Step parallelism:14 11 9 9 9 7 8 8 9 10 9 6 7 10 9 7 6 8 11 7 9 9 9 8 8 8 3 1 1 2 2 3 7 8 8 7 8 7 7 5 6 7 7 8 9 6 6 6 4 3 3 2 1 1 1 1 1 3 2 2 5 4 4 3 5 3 4 4 7 6 4 4 4 5 5 6 4 3 3 2 2 2 2 2 1 1 2 1 1 1 
Solving time:0.040
Filtering time:0.210
ID:75 (14,12,77)
Graph |V|:91
Solution size:3573
Filtered solution size:353
Parallel solution length:68
Parallelism:5.191
Step parallelism:13 10 8 8 9 6 6 6 7 4 5 4 6 10 7 7 7 9 9 7 4 3 8 7 7 7 6 5 4 5 5 5 4 3 2 2 3 3 3 6 6 4 4 3 5 5 5 5 4 3 3 3 8 7 7 7 5 4 5 4 2 3 3 2 2 2 1 1 
Solving time:0.040
Filtering time:0.110
ID:76 (14,12,78)
Graph |V|:91
Solution size:3573
Filtered solution size:345
Parallel solution length:66
Parallelism:5.227
Step parallelism:12 11 9 7 8 6 6 7 8 5 5 9 7 6 7 8 9 8 6 3 8 7 7 7 6 5 4 5 5 5 4 3 2 2 3 3 3 6 6 4 4 3 5 5 5 5 4 3 3 3 8 7 7 7 5 4 5 4 2 3 3 2 2 2 1 1 
Solving time:0.040
Filtering time:0.110
ID:77 (14,12,79)
Graph |V|:91
Solution size:3624
Filtered solution size:369
Parallel solution length:59
Parallelism:6.254
Step parallelism:11 10 8 7 9 7 6 6 8 6 6 8 5 9 7 6 5 5 6 6 7 7 8 7 7 5 4 4 3 6 6 6 6 8 9 7 9 9 7 9 9 8 8 8 7 7 7 6 5 5 4 4 4 2 2 2 2 2 2 
Solving time:0.040
Filtering time:0.110
ID:78 (14,12,80)
Graph |V|:91
Solution size:3426
Filtered solution size:348
Parallel solution length:92
Parallelism:3.783
Step parallelism:11 10 8 6 7 5 5 6 5 8 6 5 5 4 6 6 6 5 5 8 5 2 2 2 6 6 6 3 4 3 3 2 1 3 3 4 3 3 3 3 2 2 2 2 2 3 3 4 4 3 2 5 5 1 1 1 1 1 1 5 5 5 5 4 4 4 4 3 6 6 6 5 4 3 3 4 3 4 2 1 1 3 2 2 3 3 3 2 1 1 1 1 
Solving time:0.040
Filtering time:0.050
ID:79 (14,12,81)
Graph |V|:91
Solution size:3683
Filtered solution size:189
Parallel solution length:49
Parallelism:3.857
Step parallelism:8 6 6 5 7 7 6 5 5 4 5 7 6 5 5 3 3 5 4 4 4 4 2 3 3 2 2 1 1 4 4 4 4 3 3 1 5 5 4 3 4 3 3 3 3 2 1 1 1 
Solving time:0.040
Filtering time:0.030
ID:80 (14,12,82)
Graph |V|:91
Solution size:3746
Filtered solution size:157
Parallel solution length:34
Parallelism:4.618
Step parallelism:9 8 7 6 5 5 5 4 4 4 3 3 5 4 5 6 6 5 4 6 7 7 6 6 5 4 4 4 3 2 2 1 1 1 
Solving time:0.040
Filtering time:0.030
ID:81 (14,12,83)
Graph |V|:91
Solution size:3432
Filtered solution size:181
Parallel solution length:42
Parallelism:4.310
Step parallelism:8 7 5 5 4 7 6 4 7 4 3 3 3 4 5 3 6 6 7 4 6 6 5 5 6 6 6 5 5 4 4 3 2 1 3 3 3 2 2 1 1 1 
Solving time:0.040
Filtering time:0.030
ID:82 (14,12,84)
Graph |V|:91
Solution size:3229
Filtered solution size:149
Parallel solution length:43
Parallelism:3.465
Step parallelism:7 6 5 4 4 3 3 3 3 3 3 4 4 5 6 6 5 5 4 2 1 2 2 2 2 3 3 5 5 5 6 3 3 4 3 4 3 2 2 1 1 1 1 
Solving time:0.040
Filtering time:0.010
ID:83 (14,12,85)
Graph |V|:91
Solution size:2959
Filtered solution size:134
Parallel solution length:49
Parallelism:2.735
Step parallelism:6 5 5 4 4 4 4 4 4 4 4 4 4 5 4 4 4 3 2 2 2 2 2 2 2 3 3 3 4 3 2 3 3 3 2 1 1 1 2 1 1 1 1 1 1 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:84 (14,12,86)
Graph |V|:91
Solution size:2810
Filtered solution size:97
Parallel solution length:32
Parallelism:3.031
Step parallelism:5 4 4 4 4 3 3 3 3 3 4 5 4 4 4 4 4 5 4 4 3 3 2 1 2 2 1 1 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:85 (14,12,87)
Graph |V|:91
Solution size:2589
Filtered solution size:54
Parallel solution length:29
Parallelism:1.862
Step parallelism:4 3 3 3 3 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 1 1 1 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:86 (14,12,88)
Graph |V|:91
Solution size:2432
Filtered solution size:34
Parallel solution length:13
Parallelism:2.615
Step parallelism:3 3 3 3 3 3 3 3 3 2 2 2 1 
Solving time:0.030
Filtering time:0.000
ID:87 (14,12,89)
Graph |V|:91
Solution size:2106
Filtered solution size:25
Parallel solution length:13
Parallelism:1.923
Step parallelism:2 2 2 2 2 2 2 2 2 2 2 2 1 
Solving time:0.030
Filtering time:0.000
ID:88 (14,12,90)
Graph |V|:91
Solution size:1801
Filtered solution size:13
Parallel solution length:13
Parallelism:1.000
Step parallelism:1 1 1 1 1 1 1 1 1 1 1 1 1 
Solving time:0.020
Filtering time:0.000
ID:89 (14,12,91)
Graph |V|:91
ID:90 (14,12,92)
Graph |V|:91
ID:91 (14,12,93)
Graph |V|:91
ID:92 (14,12,94)
Graph |V|:91
ID:93 (14,12,95)
Graph |V|:91
ID:94 (14,12,96)
Graph |V|:91
ID:95 (14,12,97)
Graph |V|:91
ID:96 (14,12,98)
Graph |V|:91
ID:97 (14,12,99)
Graph |V|:91
ID:98 (14,12,100)
Graph |V|:91