ID:0 (30,6,2)
Graph |V|:89
Solution size:2975
Filtered solution size:2842
Parallel solution length:343
Parallelism:8.286
Step parallelism:17 6 6 12 13 13 11 6 3 16 11 9 6 9 12 10 7 10 10 11 16 8 6 6 10 8 8 15 7 5 12 12 6 6 15 7 6 14 14 10 8 15 3 19 12 6 6 8 6 7 7 18 3 6 7 9 6 15 9 6 5 7 3 7 8 16 10 11 10 6 12 13 9 8 10 3 8 5 8 9 7 8 10 6 6 6 8 15 4 8 13 7 7 3 11 9 11 10 6 14 8 13 5 9 6 9 12 10 8 8 10 12 8 8 16 6 6 11 7 7 7 10 18 8 11 7 7 4 13 14 10 8 5 11 9 7 10 7 10 6 17 10 10 7 12 8 12 8 10 10 7 11 12 9 7 9 7 10 8 7 5 10 6 9 11 6 6 9 7 7 7 5 5 6 5 3 6 6 11 5 8 14 10 8 8 14 7 7 17 9 7 8 7 8 16 8 12 7 7 10 7 8 1 8 8 7 7 13 8 11 4 2 8 11 7 7 5 6 7 6 10 7 7 5 11 3 6 12 11 3 7 7 11 9 6 6 7 9 8 7 7 6 6 12 5 7 6 11 7 11 8 12 10 7 6 8 4 10 9 7 5 12 11 6 10 5 1 7 7 11 11 10 4 6 8 7 4 13 7 7 7 6 8 6 9 11 6 8 6 8 6 6 10 5 8 6 8 12 6 11 6 9 10 10 6 9 7 4 9 6 6 9 4 8 6 10 10 8 11 6 4 1 8 11 6 10 6 9 6 10 6 5 9 5 6 9 6 5 8 5 5 7 3 
Solving time:0.080
Filtering time:0.030
ID:1 (30,6,3)
Graph |V|:89
Solution size:3034
Filtered solution size:2874
Parallel solution length:349
Parallelism:8.235
Step parallelism:22 10 6 8 12 17 12 9 13 18 8 10 10 7 9 9 3 13 8 8 6 6 10 8 8 15 7 5 12 12 6 6 15 7 10 6 5 11 7 11 3 19 13 6 6 8 2 6 7 18 2 6 7 2 6 13 4 4 8 8 18 12 11 10 6 12 3 11 12 8 7 9 11 14 8 1 5 8 3 4 6 13 9 13 13 17 6 14 15 5 7 10 6 5 7 11 13 8 1 5 3 14 7 16 7 14 16 11 7 16 17 14 8 7 13 9 11 8 10 6 4 13 11 9 10 8 6 6 9 8 4 13 8 12 11 6 11 1 8 11 9 7 7 7 10 18 5 9 12 12 7 8 5 7 8 8 7 6 11 8 1 16 11 8 8 6 8 3 9 7 8 4 10 7 8 9 6 9 7 8 4 8 5 8 7 8 2 5 9 9 10 6 8 5 10 11 9 4 9 7 1 9 3 6 12 11 11 7 7 3 7 15 8 11 10 8 1 6 11 4 2 10 9 6 5 9 9 6 7 7 12 12 8 12 13 10 6 11 6 7 5 3 5 7 9 14 10 4 6 9 7 7 7 12 5 10 8 4 7 10 7 4 6 8 6 8 4 13 11 6 8 6 11 7 6 9 6 3 6 6 8 6 5 7 7 7 12 7 7 7 5 9 9 6 7 9 6 9 10 5 8 10 8 5 8 10 10 16 7 6 10 8 6 6 8 6 11 6 12 14 4 6 11 12 6 10 6 9 6 6 11 6 6 6 7 9 5 6 6 5 8 9 9 5 6 6 5 8 3 
Solving time:0.080
Filtering time:0.030
ID:2 (30,6,4)
Graph |V|:89
Solution size:2989
Filtered solution size:2818
Parallel solution length:327
Parallelism:8.618
Step parallelism:27 10 6 8 12 17 12 12 18 10 11 10 7 9 9 3 13 8 8 6 6 10 8 8 17 7 7 12 14 6 6 15 14 13 6 5 11 7 11 3 6 8 7 11 14 3 8 7 2 6 13 4 6 10 6 18 12 13 10 6 11 3 7 4 8 8 6 9 11 10 23 11 15 18 13 6 17 16 12 9 12 6 10 7 7 7 1 5 9 12 15 7 16 13 17 23 11 7 17 11 8 8 13 8 12 8 10 6 4 9 10 12 12 16 10 9 8 6 11 5 11 13 7 11 10 7 9 8 11 3 6 6 11 8 10 3 4 9 14 6 5 6 5 8 11 10 15 9 14 15 6 8 10 14 10 8 5 9 8 6 6 7 5 10 8 7 6 10 4 10 7 8 9 8 7 8 10 7 5 11 2 3 6 11 10 3 7 7 7 10 11 7 9 3 6 6 8 5 8 8 14 8 8 8 7 11 18 10 8 6 5 12 11 5 12 11 6 9 5 7 7 10 9 4 2 7 7 9 7 7 15 8 6 8 14 10 6 8 4 7 6 10 9 8 9 6 11 7 8 6 9 6 13 6 10 10 11 6 10 9 10 9 9 6 7 12 6 11 8 10 4 7 5 5 9 7 6 9 6 6 8 6 6 14 4 2 6 8 6 7 6 6 14 4 1 13 9 12 6 12 6 6 12 6 9 12 6 2 5 8 6 6 11 6 6 6 9 5 6 6 5 8 9 9 5 6 3 
Solving time:0.080
Filtering time:0.030
ID:3 (30,6,5)
Graph |V|:89
Solution size:2954
Filtered solution size:2749
Parallel solution length:322
Parallelism:8.537
Step parallelism:23 11 6 6 8 11 10 6 12 12 1 8 11 8 10 1 9 3 8 8 8 6 6 10 8 8 15 7 5 12 12 6 6 15 10 7 13 9 8 13 21 9 15 8 6 8 6 11 5 3 6 2 8 7 13 6 12 19 15 8 6 8 14 8 7 6 7 12 7 8 5 6 8 9 8 14 13 8 11 11 3 4 18 13 9 9 7 9 12 17 7 12 6 9 7 10 5 3 12 6 12 14 7 6 14 14 8 7 13 6 8 10 12 8 11 11 12 8 8 8 5 17 12 10 7 10 12 14 13 12 16 15 9 16 8 14 11 14 13 7 6 7 6 8 11 5 10 8 10 7 6 5 7 12 6 14 10 7 1 7 9 6 10 10 6 9 14 11 7 7 15 7 13 11 11 11 5 8 7 8 7 7 8 12 5 10 6 6 6 10 7 9 7 12 4 10 2 10 7 7 7 7 6 4 3 7 7 10 10 10 10 5 10 5 2 10 9 6 5 11 12 11 6 11 13 10 7 5 9 13 7 5 4 5 5 5 6 2 10 14 6 9 12 5 9 4 8 10 9 11 4 9 6 9 6 6 3 6 6 6 10 8 9 6 8 9 6 8 10 6 7 11 6 10 9 10 9 9 6 7 15 5 9 13 8 11 6 10 10 9 6 6 9 6 4 11 4 1 6 9 6 8 11 11 6 6 9 9 6 7 5 8 12 7 6 9 5 6 6 5 8 3 
Solving time:0.080
Filtering time:0.030
ID:4 (30,6,6)
Graph |V|:89
Solution size:3187
Filtered solution size:2963
Parallel solution length:354
Parallelism:8.370
Step parallelism:24 12 6 6 10 11 10 6 12 10 1 8 10 10 7 9 6 7 7 7 4 8 10 8 8 15 7 8 10 8 6 6 15 10 7 13 9 8 13 22 9 15 8 6 8 6 11 5 3 6 2 8 7 13 6 12 19 15 8 6 8 14 8 7 6 7 12 7 8 5 6 8 9 8 14 13 8 11 11 3 4 18 13 9 9 7 9 15 17 7 12 6 9 7 1 5 14 8 5 12 6 12 14 7 6 17 10 8 13 6 8 10 10 8 10 8 10 6 8 5 11 9 9 4 9 19 12 10 7 3 3 7 7 9 4 7 7 5 4 7 10 10 12 7 8 5 13 12 9 7 10 7 13 10 4 9 9 8 11 7 8 14 15 14 3 6 5 13 13 12 9 16 13 5 1 8 8 13 8 10 4 7 5 3 8 3 7 6 9 13 12 15 14 14 8 8 10 9 5 8 7 9 12 5 10 6 6 6 10 12 8 10 7 7 10 16 8 3 3 6 12 11 3 7 7 11 9 12 6 3 4 9 10 14 8 7 10 9 6 9 6 14 8 7 11 11 8 10 16 18 2 11 7 6 7 4 6 4 9 11 9 6 5 9 7 7 11 7 7 7 16 8 6 8 11 10 11 7 8 9 4 13 7 6 9 6 3 6 6 3 1 6 7 6 2 6 6 6 10 8 5 6 6 11 12 10 6 9 9 9 9 10 1 9 6 10 10 12 6 9 6 6 6 9 5 5 9 7 5 5 9 7 7 6 10 6 4 6 6 6 12 11 8 2 2 8 5 9 2 9 2 9 6 4 
Solving time:0.080
Filtering time:0.040
ID:5 (30,6,7)
Graph |V|:89
Solution size:3002
Filtered solution size:2799
Parallel solution length:318
Parallelism:8.802
Step parallelism:26 12 6 6 10 11 10 6 12 10 1 8 10 10 7 9 6 7 7 7 4 8 10 8 8 15 7 8 10 8 6 6 15 10 7 13 9 8 13 20 11 12 13 13 6 12 2 6 3 6 13 10 12 19 11 12 7 13 16 13 11 10 4 7 4 11 11 8 10 21 10 14 16 21 19 25 8 7 13 5 7 9 15 10 14 10 6 1 12 11 14 12 7 13 11 13 9 10 6 4 16 8 12 9 10 6 4 17 14 9 6 11 12 10 9 15 12 7 11 8 9 11 13 15 8 13 7 13 5 9 13 12 8 13 12 4 9 7 8 5 15 9 10 8 10 11 5 8 14 5 4 11 9 15 7 5 5 5 5 13 7 11 7 6 17 11 9 6 5 4 10 15 12 8 8 4 12 10 7 7 3 13 10 7 4 7 6 9 6 8 3 6 9 6 4 6 6 9 6 5 7 9 6 10 6 7 7 11 11 8 10 15 10 8 9 7 5 5 7 6 9 6 6 9 6 5 10 6 6 7 12 9 11 12 9 7 4 9 6 6 10 6 6 6 4 6 6 6 10 11 7 8 6 9 6 12 7 8 6 8 5 6 6 11 12 10 8 9 6 10 9 10 10 10 6 9 6 11 13 8 11 6 10 9 8 12 6 4 2 6 8 6 7 6 6 14 4 1 8 10 9 5 8 6 8 6 6 9 9 9 5 6 2 5 5 7 9 3 
Solving time:0.070
Filtering time:0.040
ID:6 (30,6,8)
Graph |V|:89
Solution size:3085
Filtered solution size:2810
Parallel solution length:331
Parallelism:8.489
Step parallelism:19 13 6 6 10 11 11 8 19 3 8 10 10 7 10 6 7 7 7 4 8 10 8 8 15 7 8 10 8 6 6 15 10 7 13 9 8 13 20 7 11 12 12 6 12 2 6 3 6 13 9 12 19 11 11 7 13 17 13 11 10 4 6 4 7 11 8 10 21 10 14 16 21 18 15 24 26 8 6 4 8 5 8 7 14 9 6 10 9 15 10 11 12 13 17 15 10 8 14 11 15 12 9 19 15 2 13 10 9 6 2 9 13 8 5 4 9 15 11 8 6 14 9 8 11 10 4 9 9 12 12 9 5 6 12 14 5 4 9 7 8 5 15 9 8 8 10 10 5 8 9 5 8 4 12 13 5 5 7 6 6 9 4 5 3 1 7 6 9 7 6 14 11 7 8 7 4 9 11 11 4 14 11 5 10 4 7 11 6 9 8 4 13 10 7 7 3 7 7 11 14 7 6 12 8 6 6 14 9 9 6 10 6 7 7 8 8 4 15 5 8 4 4 6 6 6 7 7 5 8 6 5 7 6 4 9 11 9 6 5 10 6 6 7 12 4 8 5 9 7 14 6 11 4 7 9 9 3 9 6 9 9 3 6 6 5 6 7 3 1 7 10 7 3 9 9 6 7 10 6 6 10 12 9 5 7 10 3 6 6 8 16 7 6 10 11 6 9 6 6 8 6 6 14 6 5 1 6 8 6 9 6 8 6 2 7 6 7 9 9 9 5 6 9 6 5 8 5 5 7 3 
Solving time:0.080
Filtering time:0.030
ID:7 (30,6,9)
Graph |V|:89
Solution size:2867
Filtered solution size:2578
Parallel solution length:300
Parallelism:8.593
Step parallelism:19 13 6 6 10 11 11 8 18 3 10 10 10 7 9 6 7 7 7 4 8 10 8 8 15 7 8 10 8 6 6 15 10 7 13 9 8 13 24 14 18 10 11 7 8 6 6 8 9 6 12 6 3 5 5 8 14 19 12 10 7 6 4 4 8 6 10 29 13 17 17 11 10 11 14 15 8 4 6 7 6 4 8 13 5 5 20 11 10 12 18 8 16 7 7 13 8 12 8 10 6 4 12 22 7 5 12 22 7 5 9 11 12 10 7 4 10 11 6 14 11 9 11 11 11 8 16 12 7 8 12 7 7 8 7 7 9 5 5 5 11 18 11 12 7 9 9 4 9 10 15 8 4 8 6 6 6 9 4 6 5 3 2 7 6 9 13 12 10 8 8 6 6 8 12 6 7 7 6 6 4 10 11 8 7 10 4 10 7 7 7 7 6 4 3 7 5 8 10 12 12 11 9 1 7 14 8 8 8 5 8 8 7 10 14 5 9 6 6 3 6 6 6 7 3 10 2 7 6 6 10 6 6 7 10 7 4 7 6 11 7 14 10 6 8 5 6 9 6 4 8 7 6 10 13 10 12 8 10 7 9 11 8 6 11 7 8 12 8 8 1 11 7 10 10 6 10 5 6 7 6 9 6 9 6 8 12 6 6 10 7 8 6 5 7 9 6 6 6 3 
Solving time:0.080
Filtering time:0.020
ID:8 (30,6,10)
Graph |V|:89
Solution size:2795
Filtered solution size:2516
Parallel solution length:284
Parallelism:8.859
Step parallelism:18 13 6 6 10 11 11 8 18 3 10 10 11 9 9 6 7 7 7 4 8 11 8 8 17 7 11 8 10 6 15 17 12 19 16 20 7 7 9 7 16 14 15 8 5 18 9 7 7 7 6 10 8 8 9 3 6 8 4 3 7 11 9 11 11 16 14 18 26 17 7 17 11 6 5 8 5 8 7 6 6 19 11 9 12 20 13 12 9 9 8 9 8 17 13 7 7 16 3 10 19 12 15 8 10 6 9 9 22 18 12 17 13 9 9 17 8 6 9 8 9 12 8 17 9 6 1 5 4 4 3 7 8 5 11 6 13 10 8 18 13 12 9 11 16 17 5 8 7 4 4 7 6 8 12 5 10 11 6 6 4 10 7 12 7 11 5 6 12 11 8 6 11 11 7 7 6 12 4 10 9 12 6 8 6 8 10 10 7 7 7 8 11 6 5 10 13 12 8 9 9 1 5 7 10 6 12 4 14 10 6 8 9 10 6 8 4 13 7 6 10 8 10 6 9 7 12 7 5 7 7 4 6 4 3 9 9 6 6 9 7 8 2 7 6 8 8 5 8 6 7 7 7 6 7 6 10 5 6 7 8 6 12 9 5 7 7 11 7 6 8 7 1 5 4 8 8 8 4 7 3 3 7 1 
Solving time:0.080
Filtering time:0.020
ID:9 (30,6,11)
Graph |V|:89
Solution size:2686
Filtered solution size:2391
Parallel solution length:285
Parallelism:8.389
Step parallelism:20 10 6 11 11 11 8 17 3 10 9 10 9 9 6 7 7 7 4 8 11 8 8 17 7 8 8 7 6 15 14 15 7 8 12 7 10 17 7 7 5 6 3 13 12 17 11 17 14 8 7 8 7 3 6 13 13 6 5 8 3 4 17 10 8 8 8 6 13 13 13 10 11 4 12 3 4 6 12 22 11 8 1 17 9 7 6 17 10 17 13 17 9 9 12 10 11 6 8 4 9 7 12 7 5 3 3 5 8 3 5 3 2 8 11 10 5 11 10 13 8 3 10 9 10 9 10 11 11 22 15 10 5 8 8 10 11 10 4 10 17 4 8 14 13 14 10 13 10 7 8 7 7 6 8 10 8 12 10 5 5 4 8 12 6 10 7 4 4 3 6 12 11 7 7 9 3 6 4 3 6 6 8 6 9 7 8 15 8 7 6 6 8 8 17 12 12 11 13 11 10 9 12 6 6 6 4 6 11 9 6 5 8 7 9 7 8 7 12 7 6 6 8 6 2 6 6 8 9 6 8 5 6 6 6 4 10 12 2 7 8 5 10 9 10 9 6 6 11 6 5 4 7 6 6 12 12 8 5 4 12 8 2 8 12 6 12 6 6 9 7 9 3 5 4 7 7 4 5 8 8 5 4 7 1 
Solving time:0.070
Filtering time:0.030
ID:10 (30,6,12)
Graph |V|:89
Solution size:2815
Filtered solution size:2491
Parallel solution length:294
Parallelism:8.473
Step parallelism:20 10 6 11 16 12 8 12 2 10 9 10 9 9 6 7 7 7 4 8 11 8 8 17 7 8 8 7 6 15 15 11 7 8 9 6 10 17 6 7 5 6 9 26 9 11 5 5 15 14 7 6 10 7 5 6 9 8 10 11 6 9 18 19 22 13 9 6 2 13 17 14 7 9 7 15 21 10 15 13 12 8 10 6 6 13 11 16 11 9 18 15 9 16 11 6 10 12 10 4 10 10 13 11 9 13 11 2 9 13 5 4 7 6 4 5 3 7 8 9 14 7 7 8 4 12 10 5 7 4 6 6 8 5 3 7 3 1 8 14 10 14 12 6 8 8 3 6 8 6 6 8 5 8 10 8 11 8 8 8 7 6 14 8 6 5 2 5 5 9 9 5 9 11 7 4 2 2 7 7 7 11 11 7 6 5 4 10 5 8 16 7 12 10 6 7 4 18 7 4 7 6 8 7 9 7 4 4 8 5 7 7 10 6 13 6 5 8 5 8 11 11 6 8 7 8 7 7 7 6 6 3 13 8 6 7 11 7 10 9 6 6 7 10 4 6 7 11 9 16 11 10 3 7 15 9 10 12 2 10 12 2 10 5 3 8 7 9 5 5 12 11 12 6 13 1 12 13 5 5 7 8 12 11 8 1 6 6 8 9 6 5 6 3 
Solving time:0.070
Filtering time:0.030
ID:11 (30,6,13)
Graph |V|:89
Solution size:2697
Filtered solution size:2362
Parallel solution length:272
Parallelism:8.684
Step parallelism:21 10 6 11 16 12 8 12 2 10 9 10 9 9 6 7 7 7 4 8 11 8 8 17 7 8 8 7 6 15 15 11 7 8 9 6 10 17 6 7 5 6 9 26 9 11 5 5 15 14 7 6 8 6 6 6 8 8 11 10 9 11 16 15 17 11 11 8 13 22 11 8 4 7 4 6 8 6 9 15 10 19 10 14 12 10 11 6 6 13 11 17 11 9 17 12 9 15 10 6 10 12 10 4 10 10 13 11 9 13 11 2 9 13 5 4 10 6 4 5 3 7 8 7 13 12 9 9 9 6 8 12 7 5 8 3 8 10 18 11 13 11 9 8 6 4 7 7 6 7 6 7 7 5 9 7 10 8 13 9 11 7 7 7 9 10 12 12 12 15 6 4 6 5 6 8 7 7 8 7 8 6 7 13 8 8 8 7 8 18 9 8 6 10 11 12 8 10 7 8 6 11 5 3 7 8 10 6 8 9 6 9 14 6 11 12 8 5 8 2 5 3 2 6 6 6 9 3 7 6 8 5 3 9 6 15 11 13 5 11 6 15 1 6 5 9 12 5 3 8 7 9 5 5 8 6 5 10 8 10 5 4 12 9 8 8 9 6 5 6 6 4 
Solving time:0.070
Filtering time:0.020
ID:12 (30,6,14)
Graph |V|:89
Solution size:2796
Filtered solution size:2443
Parallel solution length:288
Parallelism:8.483
Step parallelism:22 8 6 12 18 14 8 15 12 10 12 3 5 7 7 7 4 14 11 8 15 7 9 9 9 6 15 15 9 12 13 10 13 16 6 13 7 2 6 2 1 6 9 6 6 9 8 12 13 8 7 5 3 7 8 7 13 8 15 21 18 15 14 26 13 14 10 5 6 7 10 9 4 4 10 6 7 10 7 7 1 10 7 10 8 6 11 15 15 13 5 8 9 8 10 2 10 11 6 16 11 7 12 13 14 7 5 10 13 13 10 11 8 13 8 8 9 8 13 10 7 11 8 8 10 10 9 9 6 10 12 7 8 7 7 4 1 7 6 7 6 5 7 11 9 5 5 8 9 8 4 7 9 7 6 7 10 13 9 6 3 4 10 5 8 8 5 11 9 3 3 5 4 10 12 9 6 3 5 10 16 13 8 8 13 6 7 7 11 9 6 11 8 6 7 9 4 6 7 11 10 3 6 13 10 6 8 4 6 8 6 8 9 6 6 10 4 6 9 8 6 6 10 3 1 6 7 8 3 6 6 6 8 13 7 15 9 8 11 16 13 9 8 13 11 10 8 10 5 9 12 9 7 6 9 5 12 9 8 12 9 7 5 7 7 11 4 3 7 11 6 12 6 6 9 6 8 2 5 7 8 5 8 8 8 7 6 3 
Solving time:0.070
Filtering time:0.030
ID:13 (30,6,15)
Graph |V|:89
Solution size:2720
Filtered solution size:2336
Parallel solution length:274
Parallelism:8.526
Step parallelism:27 8 6 14 18 9 8 15 12 11 12 3 7 10 15 14 13 13 11 7 8 14 15 9 13 16 7 7 15 14 9 15 17 17 21 19 15 12 6 10 7 6 6 13 14 1 5 8 11 14 17 18 12 11 14 10 12 8 9 7 7 3 3 5 7 12 7 7 7 5 8 18 12 7 12 8 11 12 11 11 6 13 14 10 11 1 7 10 10 13 15 8 8 12 6 6 10 10 9 13 7 10 7 7 12 9 8 7 9 12 5 6 7 8 7 15 5 6 3 14 11 6 4 7 15 4 10 8 12 10 11 9 4 7 13 7 5 7 4 5 8 8 5 6 8 5 3 6 4 2 10 10 7 13 8 9 3 6 11 4 12 6 8 6 8 8 15 13 8 10 3 11 10 6 8 7 8 17 9 7 8 2 6 8 3 6 4 5 9 7 11 10 7 5 7 6 13 8 6 6 7 10 5 1 6 6 8 6 4 2 6 6 6 9 3 7 6 8 5 3 8 8 10 5 7 7 6 9 6 8 5 6 5 11 14 5 5 9 14 7 7 6 5 6 12 10 5 5 9 8 7 7 7 11 12 6 6 6 10 10 8 6 6 5 5 10 2 5 6 1 5 7 6 4 
Solving time:0.070
Filtering time:0.020
ID:14 (30,6,16)
Graph |V|:89
Solution size:2692
Filtered solution size:2277
Parallel solution length:273
Parallelism:8.341
Step parallelism:26 13 6 14 18 9 10 17 13 11 13 3 10 15 14 13 12 11 19 13 7 2 1 2 6 6 6 10 11 9 9 3 6 8 12 6 20 14 15 22 8 8 7 4 6 13 21 12 22 23 18 19 14 26 13 8 18 16 4 17 5 5 9 11 8 7 7 12 12 11 11 6 8 9 19 10 6 7 5 3 2 9 9 9 1 12 10 10 15 7 9 9 10 7 12 15 16 7 5 3 5 10 6 7 3 9 6 5 7 7 5 5 5 10 11 4 7 7 7 12 15 12 7 10 11 7 5 6 14 8 10 5 9 6 6 4 6 4 2 6 7 5 4 5 7 5 6 3 7 7 6 4 5 4 7 6 5 5 2 10 9 6 6 4 8 6 8 6 14 10 8 8 6 15 16 9 8 3 12 14 11 4 7 6 9 10 7 4 8 5 9 7 14 10 6 8 4 9 9 3 1 6 7 8 3 6 6 6 9 3 8 5 8 6 6 8 4 8 8 10 2 7 7 6 13 5 6 6 11 2 7 6 8 6 8 8 4 11 8 5 5 9 6 6 9 7 10 11 6 5 12 13 5 5 7 11 7 5 6 11 11 8 4 8 7 1 5 4 7 4 4 7 2 
Solving time:0.080
Filtering time:0.020
ID:15 (30,6,17)
Graph |V|:89
Solution size:2746
Filtered solution size:2330
Parallel solution length:260
Parallelism:8.962
Step parallelism:26 13 6 14 18 9 10 17 13 11 13 5 9 14 13 14 13 12 20 14 7 2 1 2 6 6 6 10 11 10 9 4 6 8 5 2 2 8 6 18 13 12 17 13 8 5 4 5 3 2 6 13 9 15 16 16 13 12 15 24 27 7 5 11 7 2 2 6 4 13 13 12 2 17 10 6 3 15 10 7 17 17 14 13 7 10 10 11 14 9 12 10 11 6 2 7 4 10 16 10 11 9 7 12 6 9 11 15 15 11 7 11 11 12 7 9 8 4 6 5 6 10 6 9 13 3 3 8 9 8 10 10 14 13 8 9 12 6 14 11 10 4 8 8 6 13 10 10 7 8 9 9 5 9 5 11 8 11 6 4 11 9 8 10 11 10 13 7 14 15 12 16 11 8 9 10 8 4 9 13 11 10 9 11 9 7 7 7 12 6 13 7 8 7 9 2 7 5 7 6 13 9 6 7 10 8 7 8 6 5 4 2 6 6 6 9 3 7 7 12 12 4 12 9 13 14 4 3 7 10 9 6 10 10 9 4 6 3 6 6 6 12 9 6 8 7 7 9 6 6 4 6 7 6 4 4 12 6 5 2 
Solving time:0.070
Filtering time:0.030
ID:16 (30,6,18)
Graph |V|:89
Solution size:2614
Filtered solution size:2157
Parallel solution length:256
Parallelism:8.426
Step parallelism:28 8 6 16 13 7 8 15 14 10 11 13 9 14 13 14 14 9 13 13 17 17 15 8 7 14 11 11 8 15 8 5 2 1 8 9 8 13 10 7 5 5 3 3 2 5 9 18 13 16 16 14 12 28 14 15 13 10 14 8 10 12 2 4 4 5 7 4 14 17 11 14 5 6 12 10 8 9 8 7 16 19 17 8 12 6 4 11 10 20 10 16 17 16 10 7 7 7 9 11 10 7 10 5 10 6 6 8 9 11 12 5 3 5 9 12 7 1 5 7 7 7 6 11 7 7 9 5 12 14 4 3 5 12 4 7 4 4 5 8 10 6 7 6 5 7 8 5 4 2 3 6 6 6 7 8 6 6 1 6 9 13 8 11 10 12 6 8 13 15 4 10 6 8 10 9 11 6 7 7 3 6 4 8 7 11 10 9 7 6 7 5 5 6 3 6 7 13 12 11 1 8 8 11 2 6 6 6 9 6 5 7 6 8 9 5 5 6 7 8 6 8 6 9 5 5 7 11 6 6 6 10 5 9 9 6 6 6 6 6 3 5 5 5 4 7 9 5 5 9 10 5 5 5 4 4 
Solving time:0.070
Filtering time:0.020
ID:17 (30,6,19)
Graph |V|:89
Solution size:2723
Filtered solution size:2199
Parallel solution length:262
Parallelism:8.393
Step parallelism:30 9 6 16 13 7 8 15 11 10 11 13 9 14 13 14 14 12 13 13 17 12 13 8 7 15 12 11 8 15 8 5 2 1 8 9 8 13 10 7 5 5 3 3 2 5 9 18 12 16 16 14 12 28 14 15 13 10 14 8 10 12 2 4 4 5 7 4 14 17 12 14 5 6 12 10 12 8 7 7 16 19 17 10 12 6 4 11 10 20 10 16 17 16 10 5 6 7 7 8 9 9 9 6 9 9 12 12 12 8 3 6 4 14 7 3 5 3 6 5 5 14 5 6 11 7 4 7 6 9 7 3 5 10 9 7 7 8 4 5 7 10 2 4 3 6 4 2 10 5 5 6 3 11 11 7 6 6 7 7 5 8 6 13 10 7 10 6 11 11 16 9 6 5 7 11 9 8 6 8 7 3 6 6 9 7 6 7 6 7 9 6 8 6 4 2 6 6 6 9 4 11 10 4 6 8 6 3 6 10 10 11 8 13 13 8 5 8 13 6 9 13 6 4 6 8 6 5 2 6 4 6 5 8 5 6 10 5 7 7 10 1 6 7 8 7 8 8 6 4 4 12 6 8 2 9 5 8 9 5 2 2 
Solving time:0.070
Filtering time:0.020
ID:18 (30,6,20)
Graph |V|:89
Solution size:2499
Filtered solution size:2069
Parallel solution length:234
Parallelism:8.842
Step parallelism:32 14 7 11 7 8 9 17 12 10 17 13 4 12 13 7 10 7 9 6 13 11 21 19 20 11 9 11 7 7 13 11 13 1 11 13 8 11 7 7 4 2 8 7 11 10 5 7 13 18 15 18 18 15 14 17 10 8 4 7 4 3 11 6 6 13 13 22 12 11 8 16 19 11 17 8 11 10 5 6 8 5 5 8 12 8 11 5 4 10 9 17 9 7 12 14 19 10 9 9 3 4 5 6 7 9 8 11 12 8 4 14 6 8 9 14 12 8 10 9 9 16 9 12 9 2 8 5 11 11 7 7 2 6 8 1 3 7 7 11 14 14 15 1 7 7 10 10 12 8 8 6 5 7 6 7 4 6 2 6 13 10 6 7 7 10 6 9 11 6 5 5 9 7 9 9 7 6 5 9 8 10 8 6 10 8 9 12 11 9 10 9 10 8 3 6 8 6 5 7 7 6 5 6 5 3 11 2 11 7 5 6 11 5 6 7 8 6 3 8 5 8 9 5 8 8 6 3 7 7 4 5 8 3 
Solving time:0.070
Filtering time:0.020
ID:19 (30,6,21)
Graph |V|:89
Solution size:2497
Filtered solution size:2036
Parallel solution length:233
Parallelism:8.738
Step parallelism:32 14 7 11 7 8 9 17 12 10 17 13 4 12 13 7 10 7 9 6 13 11 21 19 20 11 9 11 7 7 13 11 13 1 11 13 8 11 7 7 4 2 8 7 11 10 5 7 13 18 15 18 18 14 13 16 9 9 4 7 4 3 11 6 6 13 17 18 8 10 7 15 20 13 16 4 12 10 5 6 8 7 5 7 14 11 6 4 10 10 16 9 7 12 14 18 10 10 7 3 3 4 7 6 11 6 7 12 8 4 14 6 8 11 14 12 8 10 9 12 8 5 3 6 7 9 7 6 6 6 10 7 6 3 11 11 9 13 7 7 7 10 11 18 3 7 9 9 11 12 13 13 5 6 2 3 12 10 11 6 6 13 6 4 3 7 7 4 6 8 6 4 14 13 8 7 6 8 7 7 8 6 4 6 10 7 14 10 3 3 3 6 7 5 5 4 8 8 6 10 8 5 6 10 6 7 5 4 4 7 3 5 5 9 8 8 10 6 8 7 8 8 7 6 8 6 5 7 8 8 3 6 2 
Solving time:0.060
Filtering time:0.020
ID:20 (30,6,22)
Graph |V|:89
Solution size:2503
Filtered solution size:2023
Parallel solution length:251
Parallelism:8.060
Step parallelism:33 14 7 11 7 8 9 16 10 10 17 13 4 12 13 7 10 10 9 8 14 12 16 12 15 11 9 12 7 7 13 9 13 1 11 9 8 11 7 7 4 2 8 8 11 10 7 5 8 3 4 10 14 9 13 9 21 10 9 7 9 6 2 2 6 6 5 4 6 2 15 1 3 4 10 13 9 7 20 14 14 10 7 8 3 6 5 6 9 13 11 13 6 11 12 10 11 8 11 6 3 7 7 7 5 6 9 13 16 8 6 4 3 10 8 10 4 7 6 7 7 6 12 6 10 5 6 6 6 10 9 11 4 3 1 6 5 7 12 9 9 6 8 7 8 4 10 9 14 6 3 9 5 7 11 8 10 11 9 12 8 6 6 9 9 8 6 11 4 6 3 6 4 7 13 10 5 7 11 3 6 6 12 12 9 10 8 6 5 7 14 7 6 1 6 6 10 13 8 7 8 7 12 9 5 6 9 6 5 7 6 6 5 8 4 9 6 9 8 6 5 5 12 8 7 5 7 7 8 8 10 6 4 12 6 5 5 7 9 8 4 6 5 2 8 5 8 9 5 2 2 
Solving time:0.070
Filtering time:0.010
ID:21 (30,6,23)
Graph |V|:89
Solution size:2548
Filtered solution size:2031
Parallel solution length:254
Parallelism:7.996
Step parallelism:32 14 7 11 7 8 9 16 10 10 17 13 4 12 13 7 10 10 9 8 14 12 16 12 15 10 9 16 7 7 13 9 13 1 11 9 8 11 7 7 4 2 8 8 11 10 7 7 8 3 4 10 14 9 13 9 17 10 9 7 9 6 2 2 6 6 5 4 6 2 12 6 3 4 10 7 6 10 13 14 9 14 8 8 3 6 5 7 13 11 10 10 7 11 9 14 12 11 7 7 5 8 12 11 12 11 13 11 9 11 7 6 5 5 11 16 5 4 6 4 8 7 5 4 8 4 1 5 7 7 8 3 7 9 9 8 8 3 7 7 3 2 6 6 5 5 2 10 9 8 1 6 12 6 11 8 9 8 6 6 7 9 12 8 14 9 7 11 13 8 5 4 6 10 5 9 4 3 5 5 13 7 7 2 9 7 3 10 7 7 11 10 6 6 7 10 5 5 8 6 7 10 11 10 5 7 4 4 5 9 9 11 9 6 8 8 11 9 7 6 9 9 11 7 8 8 8 2 11 12 6 6 7 5 9 6 5 9 8 7 6 4 4 12 6 5 8 5 3 7 4 4 7 2 
Solving time:0.070
Filtering time:0.020
ID:22 (30,6,24)
Graph |V|:89
Solution size:2589
Filtered solution size:2029
Parallel solution length:251
Parallelism:8.084
Step parallelism:32 14 7 11 7 8 9 16 12 10 17 13 4 12 13 7 10 10 9 8 14 12 16 12 15 10 9 16 7 7 13 9 12 1 11 9 8 11 7 7 4 2 8 7 10 11 8 9 8 3 4 10 14 9 13 10 16 9 8 8 9 5 2 2 6 6 6 4 7 6 8 15 9 13 21 12 7 13 9 5 12 14 10 15 11 8 8 6 5 6 6 11 9 14 14 8 10 9 10 12 9 9 4 4 5 8 6 10 7 6 7 8 8 5 4 3 3 7 8 11 6 8 9 4 9 10 7 8 12 14 9 11 8 6 5 7 5 2 5 6 10 9 8 5 4 10 12 11 13 11 12 6 6 8 13 10 3 8 4 7 9 6 5 7 10 7 5 6 6 6 8 6 9 2 6 5 3 11 7 7 17 9 7 11 10 3 10 6 6 6 5 5 7 1 1 7 6 6 3 5 11 7 7 4 9 5 6 6 12 6 9 5 11 7 3 8 12 6 12 6 6 9 10 6 6 6 6 5 5 5 4 7 9 5 5 5 5 11 5 5 7 9 5 5 9 7 5 7 6 5 3 
Solving time:0.060
Filtering time:0.020
ID:23 (30,6,25)
Graph |V|:89
Solution size:2589
Filtered solution size:2021
Parallel solution length:250
Parallelism:8.084
Step parallelism:32 14 7 11 7 8 9 16 12 10 17 13 4 12 13 7 10 10 9 8 14 12 16 12 15 10 9 16 7 7 13 9 11 1 11 9 8 11 7 7 6 4 8 6 12 10 6 9 2 4 10 14 9 13 10 16 9 8 8 9 5 2 2 6 6 6 4 7 6 8 15 9 13 21 12 7 13 9 5 12 14 10 15 11 8 8 6 5 6 6 11 9 14 14 8 10 9 10 12 9 9 4 4 5 8 6 10 7 6 7 8 8 5 4 3 3 7 8 11 6 8 9 4 9 10 7 8 12 14 9 11 8 6 5 7 5 2 5 6 10 9 8 5 4 10 12 11 13 11 12 6 6 8 13 10 3 8 4 7 9 6 5 7 10 7 5 6 6 6 8 6 9 2 6 5 3 11 7 7 17 9 7 11 10 3 10 6 6 6 5 5 7 1 1 7 6 6 3 5 11 7 7 4 9 5 6 6 12 6 9 5 11 7 3 8 12 6 12 6 6 9 10 6 6 6 6 5 5 5 4 7 9 5 5 5 5 11 5 5 7 9 5 5 9 7 5 7 6 5 3 
Solving time:0.070
Filtering time:0.010
ID:24 (30,6,26)
Graph |V|:89
Solution size:2543
Filtered solution size:1954
Parallel solution length:238
Parallelism:8.210
Step parallelism:36 14 7 11 7 8 9 16 18 10 16 13 5 12 12 9 10 9 7 12 12 14 20 17 10 9 16 7 7 13 9 11 1 11 12 8 11 7 7 6 4 8 6 12 10 7 11 3 4 10 13 8 10 11 9 9 8 6 5 7 5 5 5 6 10 3 2 3 10 7 15 4 10 12 10 11 8 14 18 6 4 9 9 13 11 14 12 12 6 10 10 12 16 10 8 6 10 6 7 6 12 15 14 8 7 10 15 12 8 3 6 7 9 10 5 6 5 5 8 5 12 9 9 8 8 9 15 13 13 11 8 5 7 6 8 8 7 11 9 8 9 4 7 7 3 13 7 6 4 4 11 8 4 6 6 3 2 4 4 14 11 7 1 7 7 6 7 7 6 8 6 11 8 2 5 6 12 9 6 5 5 8 6 4 9 5 6 12 7 7 8 5 5 3 7 6 4 2 8 7 6 5 6 12 11 9 8 8 5 5 12 6 6 10 5 9 11 7 4 7 6 6 5 10 3 5 5 6 1 5 7 8 4 7 5 8 4 1 
Solving time:0.070
Filtering time:0.020
ID:25 (30,6,27)
Graph |V|:89
Solution size:2421
Filtered solution size:1825
Parallel solution length:211
Parallelism:8.649
Step parallelism:35 15 7 11 8 9 10 16 12 10 16 13 5 12 12 8 11 9 6 12 11 15 12 16 10 9 16 7 7 13 11 13 2 11 9 9 13 7 7 7 6 8 5 9 9 9 12 10 12 12 11 16 16 10 12 12 16 5 7 8 4 3 9 16 8 9 10 6 13 13 11 13 13 16 7 13 7 6 8 8 7 6 10 13 10 10 6 8 7 5 2 2 9 16 10 13 14 13 11 9 7 5 8 7 15 10 4 8 12 15 6 9 5 6 5 6 9 14 8 7 8 7 13 13 9 7 5 6 4 5 8 9 9 10 11 10 7 6 9 11 4 9 10 9 6 5 7 6 7 6 8 7 10 5 6 8 10 9 8 12 9 4 6 4 4 6 7 4 5 13 6 3 7 11 9 4 6 12 4 6 6 8 8 5 6 5 12 8 8 7 10 9 6 6 4 5 5 4 7 9 5 5 6 6 7 2 6 5 6 2 1 
Solving time:0.060
Filtering time:0.020
ID:26 (30,6,28)
Graph |V|:89
Solution size:2421
Filtered solution size:1818
Parallel solution length:209
Parallelism:8.699
Step parallelism:37 17 15 9 10 16 12 10 16 13 5 12 12 8 11 9 6 12 11 15 12 16 10 9 16 7 7 13 11 13 2 11 9 9 13 7 7 7 6 8 5 9 9 9 12 10 12 12 11 16 16 10 12 12 16 5 7 8 4 3 9 16 8 9 10 6 13 13 11 13 13 16 7 13 7 6 8 8 7 6 10 13 10 10 6 8 7 5 2 2 9 16 10 13 14 13 11 9 7 5 8 7 15 10 4 8 12 15 6 9 5 6 5 6 9 14 8 7 8 7 13 13 9 7 5 6 4 5 8 9 9 10 11 10 7 6 9 11 4 9 10 9 6 5 7 6 7 6 8 7 10 5 6 8 10 9 8 12 9 4 6 4 4 6 7 4 5 13 6 3 7 11 9 4 6 12 4 6 6 8 8 5 6 5 12 8 8 7 10 9 6 6 4 5 5 4 7 9 5 5 6 6 7 2 6 5 6 2 1 
Solving time:0.060
Filtering time:0.020
ID:27 (30,6,29)
Graph |V|:89
Solution size:2644
Filtered solution size:1975
Parallel solution length:237
Parallelism:8.333
Step parallelism:35 16 14 9 10 13 12 10 16 13 5 12 12 9 10 10 18 22 11 19 21 6 9 10 13 11 5 6 7 6 10 8 8 8 6 2 9 7 9 10 18 18 7 9 9 6 13 7 10 6 4 5 9 12 14 13 11 14 16 18 16 17 10 6 7 8 7 12 14 10 10 12 3 9 12 15 10 12 10 6 6 7 8 7 10 10 9 10 14 9 12 11 12 8 6 5 9 13 6 8 5 9 6 11 10 4 4 8 7 6 5 8 8 5 7 9 10 6 4 4 5 5 10 12 9 6 5 6 11 6 9 8 7 5 5 7 5 4 3 6 6 12 7 7 4 4 9 5 8 9 4 9 10 11 12 7 8 3 9 7 8 4 8 5 9 6 8 2 6 4 1 5 5 13 7 5 2 7 6 8 5 8 8 5 7 11 5 5 12 8 11 6 6 5 5 3 11 7 5 4 9 9 7 6 6 11 5 8 6 5 5 11 3 7 10 8 7 2 11 12 5 5 6 11 6 6 4 4 5 4 4 7 8 8 6 6 3 
Solving time:0.070
Filtering time:0.020
ID:28 (30,6,30)
Graph |V|:89
Solution size:2332
Filtered solution size:1684
Parallel solution length:201
Parallelism:8.378
Step parallelism:34 18 14 8 9 12 16 13 19 15 5 12 12 9 11 10 19 14 8 13 18 6 8 16 7 15 7 6 7 6 10 8 8 8 6 2 8 6 9 10 10 8 5 13 4 5 11 16 13 12 6 4 4 4 5 5 14 9 10 11 10 10 8 18 10 8 6 10 7 9 9 8 8 18 7 9 11 10 7 10 12 10 8 9 7 10 7 5 8 12 11 14 12 9 7 4 6 5 4 7 7 6 9 9 7 9 9 6 4 4 6 6 12 11 7 5 4 3 9 2 1 10 9 7 15 10 11 11 7 8 8 10 10 9 9 8 9 11 13 10 4 10 3 5 8 8 3 10 5 10 12 5 9 4 4 5 9 6 5 7 5 8 8 6 5 6 4 4 7 7 8 8 6 7 6 10 3 10 8 6 6 8 9 10 7 6 6 9 7 6 11 7 3 6 5 4 6 4 3 3 2 
Solving time:0.060
Filtering time:0.010
ID:29 (30,6,31)
Graph |V|:89
Solution size:2323
Filtered solution size:1656
Parallel solution length:192
Parallelism:8.625
Step parallelism:35 20 14 11 10 13 13 13 18 14 5 12 12 9 10 10 18 14 11 14 16 6 11 15 9 10 7 9 8 6 11 13 10 12 9 4 4 5 12 6 11 9 6 4 5 4 4 5 9 8 12 16 9 10 9 7 9 14 10 8 7 16 14 8 9 12 15 14 13 10 7 7 10 13 16 12 14 9 9 9 14 11 13 18 14 11 11 9 9 7 11 5 7 6 9 10 11 13 13 14 4 7 5 4 8 9 7 7 10 9 6 14 12 8 8 6 13 13 9 9 8 6 4 6 11 8 3 11 9 7 2 6 5 9 6 4 4 6 6 6 5 5 5 3 2 5 5 6 6 8 10 5 5 5 7 7 3 3 6 5 8 3 3 6 4 5 8 8 8 11 4 2 6 4 5 5 5 10 6 10 2 6 6 9 7 7 8 3 5 6 4 3 
Solving time:0.060
Filtering time:0.020
ID:30 (30,6,32)
Graph |V|:89
Solution size:2180
Filtered solution size:1510
Parallel solution length:176
Parallelism:8.580
Step parallelism:36 19 13 10 9 13 17 15 13 10 5 12 12 9 10 10 18 13 16 13 12 13 10 14 4 9 7 11 5 6 11 13 6 11 8 4 4 5 12 7 6 11 10 6 4 5 4 4 5 9 8 11 16 13 11 8 4 11 6 13 12 8 7 15 13 10 7 8 5 11 13 13 12 8 6 7 13 15 14 9 12 10 7 11 9 10 6 4 10 9 7 7 4 5 6 7 9 6 8 5 7 10 10 6 13 14 14 8 8 8 9 6 6 10 8 9 6 10 19 12 13 6 6 6 6 6 11 10 5 6 6 7 6 2 6 9 9 5 7 7 5 5 8 4 7 9 8 7 9 10 5 5 8 8 11 9 4 2 11 3 5 3 1 10 6 5 8 5 3 3 5 2 5 5 2 4 
Solving time:0.060
Filtering time:0.020
ID:31 (30,6,33)
Graph |V|:89
Solution size:2495
Filtered solution size:1724
Parallel solution length:219
Parallelism:7.872
Step parallelism:35 18 13 9 9 13 17 14 13 10 5 12 12 9 10 10 18 13 16 13 12 13 11 14 4 9 7 11 5 6 11 13 6 11 8 4 4 5 12 7 6 14 9 6 4 5 4 4 5 9 8 11 15 12 11 9 6 8 4 11 12 8 7 15 10 9 7 8 5 10 4 9 10 12 14 10 13 5 8 10 8 11 9 6 5 5 8 9 8 10 7 11 8 6 9 7 5 3 6 7 5 8 8 4 5 6 4 2 5 7 4 7 7 7 7 8 10 6 7 14 9 10 13 11 13 8 4 4 5 5 11 13 16 7 12 9 6 8 12 10 7 6 10 4 9 15 7 7 6 8 6 6 8 13 6 2 4 4 4 4 4 4 7 6 7 7 7 6 3 6 9 12 8 5 4 7 9 9 12 7 6 5 4 7 6 6 7 6 11 10 5 5 1 9 6 8 6 5 3 4 3 6 9 7 4 6 5 4 4 2 3 3 3 7 3 2 2 1 1 
Solving time:0.070
Filtering time:0.010
ID:32 (30,6,34)
Graph |V|:89
Solution size:2430
Filtered solution size:1697
Parallel solution length:205
Parallelism:8.278
Step parallelism:35 16 11 6 13 7 11 9 11 11 9 5 12 12 8 10 9 16 18 18 15 11 10 9 9 7 11 7 14 18 16 19 7 4 5 3 4 7 9 11 15 11 7 8 6 6 6 8 6 4 7 7 7 4 8 9 9 7 16 15 10 7 11 12 10 3 10 8 7 13 13 9 8 13 13 11 9 9 14 12 13 12 9 17 11 16 9 9 9 9 11 15 9 11 4 5 6 4 3 2 4 8 10 8 9 6 6 8 4 6 8 9 13 9 9 14 6 7 6 3 3 9 12 7 8 9 12 8 8 8 10 10 9 10 11 10 7 8 5 6 9 4 10 5 5 5 10 5 6 6 7 7 7 9 11 11 10 9 4 6 6 5 5 2 5 5 5 9 6 8 2 6 5 5 5 5 5 2 2 9 6 10 7 5 6 6 5 4 5 4 4 4 5 2 3 6 8 7 4 6 8 7 5 2 2 
Solving time:0.060
Filtering time:0.020
ID:33 (30,6,35)
Graph |V|:89
Solution size:2308
Filtered solution size:1572
Parallel solution length:190
Parallelism:8.274
Step parallelism:33 19 11 6 13 7 13 9 11 11 11 8 11 12 10 7 15 21 22 9 11 6 5 10 6 10 7 8 8 10 10 4 7 4 4 7 8 10 16 11 12 16 15 13 14 8 5 6 9 7 11 6 14 11 10 13 9 10 10 12 7 8 13 14 13 15 5 6 5 8 14 11 6 9 10 5 6 9 11 9 11 19 9 14 8 7 12 11 13 6 6 11 15 9 12 8 10 6 4 6 5 10 5 11 5 4 8 6 7 9 5 4 6 11 8 4 11 7 11 3 5 9 10 13 4 4 10 7 7 5 5 8 10 8 7 7 6 11 3 6 6 7 7 7 6 3 9 3 3 5 6 6 6 6 5 10 7 5 7 8 6 4 4 5 8 4 7 9 8 3 4 6 5 5 5 4 5 3 3 4 4 4 7 7 7 5 6 5 4 1 
Solving time:0.060
Filtering time:0.010
ID:34 (30,6,36)
Graph |V|:89
Solution size:2308
Filtered solution size:1562
Parallel solution length:190
Parallelism:8.221
Step parallelism:32 19 10 6 13 7 13 9 11 11 11 8 11 12 10 7 14 21 21 9 11 6 5 10 6 10 7 8 8 9 7 3 6 4 4 7 8 10 16 11 12 16 15 13 14 8 5 6 9 7 11 6 14 11 10 13 9 10 10 12 7 8 13 14 13 15 5 6 5 8 14 11 6 9 10 5 6 9 11 9 11 19 9 14 8 7 12 11 13 6 6 11 15 9 12 8 10 6 4 6 5 10 5 11 5 4 8 6 7 9 5 4 6 11 8 4 11 7 11 3 5 9 10 13 4 4 10 7 7 5 5 8 10 8 7 7 6 11 3 6 6 7 7 7 6 3 9 3 3 5 6 6 6 6 5 10 7 5 7 8 6 4 4 5 8 4 7 9 8 3 4 6 5 5 5 4 5 3 3 4 4 4 7 7 7 5 6 5 4 1 
Solving time:0.070
Filtering time:0.010
ID:35 (30,6,37)
Graph |V|:89
Solution size:2308
Filtered solution size:1556
Parallel solution length:190
Parallelism:8.189
Step parallelism:31 19 10 9 10 6 11 7 11 11 11 8 11 12 10 7 14 21 21 9 11 6 5 10 6 10 7 8 8 9 7 3 6 4 4 7 8 10 16 11 12 16 15 13 14 8 5 6 9 7 11 6 14 11 10 13 9 10 10 12 7 8 13 14 13 15 5 6 5 8 14 11 6 9 10 5 6 9 11 9 11 19 9 14 8 7 12 11 13 6 6 11 15 9 12 8 10 6 4 6 5 10 5 11 5 4 8 6 7 9 5 4 6 11 8 4 11 7 11 3 5 9 10 13 4 4 10 7 7 5 5 8 10 8 7 7 6 11 3 6 6 7 7 7 6 3 9 3 3 5 6 6 6 6 5 10 7 5 7 8 6 4 4 5 8 4 7 9 8 3 4 6 5 5 5 4 5 3 3 4 4 4 7 7 7 5 6 5 4 1 
Solving time:0.060
Filtering time:0.010
ID:36 (30,6,38)
Graph |V|:89
Solution size:2553
Filtered solution size:1650
Parallel solution length:222
Parallelism:7.432
Step parallelism:30 20 15 9 10 6 11 7 11 10 8 12 11 8 7 16 21 21 9 11 6 5 10 6 10 7 8 8 9 7 3 6 4 4 7 8 10 16 11 11 16 14 13 14 8 5 6 8 7 12 6 14 12 10 13 9 12 10 13 6 8 11 12 11 9 12 16 11 12 16 15 5 3 6 8 8 9 9 14 10 8 5 6 5 4 5 9 6 8 7 11 12 9 11 5 4 8 8 2 7 6 7 4 4 4 4 4 6 4 5 6 4 6 7 7 4 4 5 5 8 10 5 9 3 3 9 6 8 9 7 6 7 5 3 4 2 5 6 8 6 6 8 5 8 7 7 8 11 9 6 4 4 7 4 4 12 9 5 5 6 6 6 6 6 9 6 6 5 5 6 6 6 4 4 6 4 6 9 3 4 8 7 6 6 6 6 5 5 6 8 6 8 7 5 5 8 3 3 5 4 4 5 2 5 5 5 10 8 8 9 3 3 2 1 1 5 3 5 4 5 4 1 
Solving time:0.060
Filtering time:0.020
ID:37 (30,6,39)
Graph |V|:89
Solution size:2345
Filtered solution size:1474
Parallel solution length:188
Parallelism:7.840
Step parallelism:31 20 15 9 10 6 11 6 9 9 7 11 12 8 7 16 21 21 9 10 6 5 10 6 10 7 8 8 9 7 3 6 4 4 7 8 10 15 10 16 19 12 11 10 7 5 6 7 10 14 15 8 7 13 9 12 10 13 6 8 11 12 11 9 12 16 11 12 16 15 5 3 6 8 8 9 9 14 10 8 5 6 5 4 5 9 6 8 7 11 12 11 11 5 4 8 11 3 7 6 6 2 2 4 4 4 10 2 5 5 4 6 8 5 5 4 4 2 3 8 8 6 15 13 9 5 9 11 7 8 5 6 7 6 5 6 8 4 4 4 4 2 8 9 11 3 6 5 5 9 8 8 4 4 6 8 7 8 7 6 7 6 8 9 5 5 4 4 4 5 4 10 7 8 5 8 8 8 7 5 4 4 3 3 3 2 2 1 
Solving time:0.060
Filtering time:0.010
ID:38 (30,6,40)
Graph |V|:89
Solution size:2450
Filtered solution size:1540
Parallel solution length:198
Parallelism:7.778
Step parallelism:32 22 15 9 10 6 11 6 9 9 7 11 12 8 7 16 21 21 9 10 6 5 10 8 10 5 8 8 9 7 3 6 4 4 7 9 9 15 10 18 18 18 12 6 6 7 11 8 13 9 12 9 12 11 5 10 11 14 17 10 15 9 6 9 14 11 9 7 5 5 10 8 13 9 12 8 6 13 7 6 6 5 5 5 8 9 6 7 10 12 10 10 5 7 7 9 6 4 6 6 6 8 6 3 7 7 6 5 4 4 5 5 4 6 7 4 8 7 7 4 11 6 5 5 8 9 6 3 7 11 7 4 5 6 5 8 7 6 4 6 5 3 3 4 9 11 11 9 9 8 7 4 6 8 10 9 4 5 4 3 5 9 5 6 8 9 7 6 3 8 6 7 5 7 7 8 7 7 5 5 10 6 6 4 4 3 3 3 3 3 2 2 7 7 7 4 4 2 
Solving time:0.070
Filtering time:0.010
ID:39 (30,6,41)
Graph |V|:89
Solution size:2140
Filtered solution size:1250
Parallel solution length:173
Parallelism:7.225
Step parallelism:32 19 15 9 10 6 10 6 9 12 8 11 11 7 8 16 20 17 11 9 12 5 3 5 8 6 7 7 9 8 2 4 3 4 7 9 14 11 8 9 6 6 7 6 9 5 8 6 7 5 4 11 10 9 7 7 11 8 5 4 10 12 10 9 7 13 7 6 7 6 7 10 15 9 9 13 9 6 13 12 8 7 10 11 7 5 11 5 4 2 3 3 2 5 3 3 3 5 6 4 2 1 4 3 6 5 7 8 9 8 7 8 4 8 16 14 9 9 6 12 11 6 9 6 6 7 5 10 8 9 8 9 8 5 5 9 7 3 3 5 5 5 4 2 2 6 6 6 5 4 7 3 2 3 2 2 2 8 5 2 2 6 4 4 4 3 7 7 6 5 3 3 5 
Solving time:0.060
Filtering time:0.010
ID:40 (30,6,42)
Graph |V|:89
Solution size:2169
Filtered solution size:1282
Parallel solution length:178
Parallelism:7.202
Step parallelism:31 19 15 9 10 6 10 6 9 12 8 11 11 7 8 16 20 17 11 9 12 5 3 5 8 6 7 7 9 8 2 4 3 4 7 9 14 11 8 9 6 6 7 6 9 5 8 6 7 5 4 11 10 9 7 7 11 8 5 4 10 12 10 9 7 13 7 8 8 6 7 10 14 9 9 13 9 7 9 8 17 12 10 11 8 8 7 5 4 2 5 5 4 4 4 3 8 6 5 4 6 10 9 6 8 4 6 5 9 12 11 7 11 9 6 6 2 5 2 12 5 3 5 11 11 8 5 7 5 5 6 5 3 4 6 3 5 5 4 6 5 4 5 5 4 7 9 8 8 6 5 4 4 5 6 4 3 3 4 6 5 5 4 2 7 7 4 6 4 4 3 5 4 4 4 3 2 2 
Solving time:0.060
Filtering time:0.010
ID:41 (30,6,43)
Graph |V|:89
Solution size:2169
Filtered solution size:1274
Parallel solution length:174
Parallelism:7.322
Step parallelism:31 19 15 14 13 15 15 4 13 12 10 17 21 18 11 9 12 5 3 5 8 6 7 7 9 8 2 4 3 4 7 9 14 11 8 9 6 6 7 6 9 5 8 6 7 5 4 11 10 9 7 7 11 8 5 4 10 12 10 9 7 13 7 8 8 6 7 10 14 9 9 13 9 7 9 8 17 12 10 11 8 8 7 5 4 2 5 5 4 4 4 3 8 6 5 4 6 10 9 6 8 4 6 5 9 12 11 7 11 9 6 6 2 5 2 12 5 3 5 11 11 8 5 7 5 5 6 5 3 4 6 3 5 5 4 6 5 4 5 5 4 7 9 8 8 6 5 4 4 5 6 4 3 3 4 6 5 5 4 2 7 7 4 6 4 4 3 5 4 4 4 3 2 2 
Solving time:0.060
Filtering time:0.010
ID:42 (30,6,44)
Graph |V|:89
Solution size:2154
Filtered solution size:1232
Parallel solution length:167
Parallelism:7.377
Step parallelism:31 19 15 14 13 15 15 4 13 12 9 18 21 18 11 9 12 7 5 5 5 5 4 6 7 7 2 4 3 4 7 9 14 11 8 9 6 6 8 6 10 7 5 3 5 4 5 11 10 9 7 7 11 8 5 4 10 10 11 9 7 11 7 5 5 12 10 10 9 11 11 7 10 7 9 11 7 7 11 8 7 4 4 2 5 10 7 7 8 8 6 10 7 8 6 4 3 3 7 11 11 10 11 7 10 14 9 15 9 6 9 6 3 5 4 2 3 9 10 6 6 8 9 5 8 8 6 4 1 4 4 4 3 6 2 2 1 5 4 5 2 2 4 4 5 8 4 4 2 2 8 7 7 9 7 6 6 7 6 4 3 5 4 5 3 3 1 
Solving time:0.060
Filtering time:0.000
ID:43 (30,6,45)
Graph |V|:89
Solution size:2157
Filtered solution size:1202
Parallel solution length:173
Parallelism:6.948
Step parallelism:29 20 18 14 12 17 19 11 8 12 15 15 14 8 13 10 4 7 5 5 6 10 7 7 3 5 8 9 11 12 8 7 10 10 4 6 6 4 5 10 13 8 16 8 5 11 11 13 7 8 4 6 4 6 14 12 14 15 10 9 10 7 7 6 8 5 2 5 4 6 10 10 13 8 7 4 6 5 5 5 4 5 4 3 3 3 4 8 5 7 5 3 4 3 2 6 3 8 6 7 7 4 4 5 5 5 8 6 8 10 11 10 10 8 8 3 6 9 6 8 9 8 4 4 6 5 4 4 4 5 5 5 5 6 5 6 6 3 4 4 4 3 3 2 6 4 6 7 6 4 4 3 3 2 6 6 4 5 5 7 6 4 4 3 5 4 4 4 3 3 2 2 1 
Solving time:0.060
Filtering time:0.010
ID:44 (30,6,46)
Graph |V|:89
Solution size:2227
Filtered solution size:1166
Parallel solution length:156
Parallelism:7.474
Step parallelism:29 20 18 14 12 17 22 12 10 8 14 14 9 6 13 10 6 9 5 8 8 4 4 4 8 11 13 13 15 10 14 8 5 7 4 3 5 13 5 12 5 7 6 7 10 13 10 16 10 10 7 7 5 11 13 13 13 16 13 10 13 12 9 6 4 5 5 5 4 8 8 11 11 7 5 4 4 7 6 6 4 3 5 9 7 5 3 2 9 6 4 5 7 4 5 9 11 9 6 8 6 7 8 8 7 4 10 9 8 4 3 10 8 5 9 7 7 5 5 5 7 6 5 3 1 1 1 1 2 2 6 6 8 7 5 5 6 4 8 7 5 3 3 2 2 3 2 3 3 2 5 5 7 6 2 2 
Solving time:0.060
Filtering time:0.010
ID:45 (30,6,47)
Graph |V|:89
Solution size:2174
Filtered solution size:1114
Parallel solution length:147
Parallelism:7.578
Step parallelism:29 21 19 14 12 17 21 12 9 9 14 14 9 6 13 10 6 9 5 7 7 5 5 4 9 15 14 10 6 5 13 8 5 5 5 9 7 9 7 6 5 5 5 7 11 13 11 9 9 8 6 7 2 2 3 3 3 4 3 4 3 8 10 10 13 13 11 7 9 11 9 10 5 5 12 5 4 5 6 7 12 7 7 5 6 6 5 6 6 5 7 8 6 7 11 7 6 2 11 8 9 11 7 10 8 6 7 6 7 7 5 7 11 8 6 5 2 5 5 5 9 7 6 6 9 8 6 5 9 5 7 7 9 8 3 3 3 5 5 4 5 3 4 3 3 3 1 
Solving time:0.060
Filtering time:0.010
ID:46 (30,6,48)
Graph |V|:89
Solution size:2174
Filtered solution size:1101
Parallel solution length:147
Parallelism:7.490
Step parallelism:28 20 18 14 12 17 21 12 9 7 14 14 9 6 12 10 7 9 4 6 6 4 4 6 11 14 11 7 6 5 13 8 5 5 5 9 7 9 7 6 5 5 5 7 11 13 11 9 9 8 6 7 2 2 3 3 3 4 3 4 3 8 10 10 13 13 11 7 9 11 9 10 5 5 12 5 4 5 6 7 12 7 7 5 6 6 5 6 6 5 7 8 6 7 11 7 6 2 11 8 9 11 7 10 8 6 7 6 7 7 5 7 11 8 6 5 2 5 5 5 9 7 6 6 9 8 6 5 9 5 7 7 9 8 3 3 3 5 5 4 5 3 4 3 3 3 1 
Solving time:0.060
Filtering time:0.000
ID:47 (30,6,49)
Graph |V|:89
Solution size:2090
Filtered solution size:1109
Parallel solution length:147
Parallelism:7.544
Step parallelism:28 21 16 13 18 18 17 15 14 13 14 17 9 8 8 9 13 8 8 4 4 2 1 1 1 1 7 6 9 11 12 12 9 12 8 11 8 13 7 7 8 10 10 11 7 9 8 6 5 5 7 5 4 3 6 3 10 11 10 12 8 9 10 8 8 8 9 11 12 8 3 3 5 8 10 4 3 5 5 4 5 6 2 6 6 5 8 7 7 6 10 8 10 11 8 11 11 9 9 7 3 5 4 5 4 7 6 4 7 4 6 7 7 7 8 7 3 9 9 7 6 6 5 6 6 8 6 10 5 5 5 4 2 3 9 6 5 5 5 3 1 2 4 3 5 6 3 
Solving time:0.060
Filtering time:0.010
ID:48 (30,6,50)
Graph |V|:89
Solution size:2134
Filtered solution size:1070
Parallel solution length:134
Parallelism:7.985
Step parallelism:28 22 16 13 18 18 17 15 15 13 14 17 9 8 8 9 13 8 7 5 4 2 1 1 1 1 7 5 7 10 11 10 9 12 8 9 8 12 9 7 5 6 8 11 6 9 10 12 7 6 9 7 9 6 7 10 6 9 9 10 10 11 9 8 12 12 11 12 12 11 9 4 10 7 5 5 4 9 6 6 7 12 11 11 6 11 9 9 8 6 4 9 9 10 10 8 10 9 6 5 2 4 6 6 5 8 7 6 6 5 3 3 2 2 4 6 7 7 8 7 6 3 9 9 5 2 2 2 2 3 3 3 3 2 
Solving time:0.060
Filtering time:0.010
ID:49 (30,6,51)
Graph |V|:89
Solution size:2318
Filtered solution size:1168
Parallel solution length:168
Parallelism:6.952
Step parallelism:26 20 18 13 18 15 14 10 13 15 14 12 7 8 10 13 6 5 3 3 1 1 1 6 12 13 10 11 11 12 12 7 11 7 10 7 8 7 7 6 8 5 4 8 7 7 4 6 6 6 4 4 3 4 4 4 4 7 3 4 4 6 7 7 12 7 7 5 11 10 10 7 6 4 3 5 5 8 10 9 6 5 6 5 6 7 7 5 3 5 2 2 5 4 7 6 12 6 7 7 6 5 7 11 5 7 7 9 11 12 9 13 11 7 5 5 8 7 7 4 4 8 8 3 7 6 6 5 4 6 5 5 5 3 7 6 6 4 4 4 3 9 10 10 9 6 6 6 3 3 7 3 4 3 6 5 5 6 6 8 4 2 4 5 4 4 3 1 
Solving time:0.060
Filtering time:0.000
ID:50 (30,6,52)
Graph |V|:89
Solution size:1958
Filtered solution size:931
Parallel solution length:125
Parallelism:7.448
Step parallelism:25 19 17 14 18 14 11 9 14 10 14 11 10 11 11 9 12 3 3 1 1 1 1 1 6 10 10 8 13 9 9 10 6 13 7 8 11 7 5 5 6 4 3 12 10 4 3 6 9 7 8 7 4 9 11 13 11 14 13 11 10 9 7 11 9 8 8 5 9 7 7 8 6 5 6 6 4 3 8 10 8 12 8 8 9 10 4 3 1 2 2 4 5 7 9 5 6 7 8 10 9 8 9 9 7 7 4 3 1 1 2 2 5 4 6 2 2 4 6 5 6 4 3 3 3 
Solving time:0.060
Filtering time:0.000
ID:51 (30,6,53)
Graph |V|:89
Solution size:2075
Filtered solution size:992
Parallel solution length:155
Parallelism:6.400
Step parallelism:24 20 17 17 10 16 15 14 12 12 5 10 10 12 8 8 6 6 3 3 7 4 5 4 11 11 9 11 8 8 5 8 8 6 6 5 5 3 7 9 7 9 8 6 6 6 6 3 3 6 5 3 8 7 7 4 7 4 11 9 7 7 5 3 9 10 8 4 7 5 9 8 6 5 9 5 7 6 6 6 3 3 3 1 5 5 5 8 7 5 5 4 7 9 8 9 10 10 9 8 4 8 10 8 8 11 12 6 5 6 4 4 4 4 2 5 3 3 3 5 4 5 5 5 3 3 3 3 4 3 3 5 4 4 1 2 3 3 5 5 8 7 5 4 3 2 2 3 3 3 3 5 4 2 1 
Solving time:0.050
Filtering time:0.010
ID:52 (30,6,54)
Graph |V|:89
Solution size:2075
Filtered solution size:986
Parallel solution length:155
Parallelism:6.361
Step parallelism:23 19 16 16 9 15 15 14 12 12 5 10 10 12 8 8 6 6 3 3 7 4 5 4 11 11 9 11 8 8 5 8 8 6 6 5 5 3 7 9 7 9 8 6 6 6 6 3 3 6 5 3 8 7 7 4 7 4 11 9 7 7 5 3 9 10 8 4 7 5 9 8 6 5 9 5 7 6 6 6 3 3 3 1 5 5 5 8 7 5 5 4 7 9 8 9 10 10 9 8 4 8 10 8 8 11 12 6 5 6 4 4 4 4 2 5 3 3 3 5 4 5 5 5 3 3 3 3 4 3 3 5 4 4 1 2 3 3 5 5 8 7 5 4 3 2 2 3 3 3 3 5 4 2 1 
Solving time:0.050
Filtering time:0.010
ID:53 (30,6,55)
Graph |V|:89
Solution size:2075
Filtered solution size:975
Parallel solution length:155
Parallelism:6.290
Step parallelism:22 18 15 16 9 14 15 13 14 10 4 9 11 9 6 8 6 6 3 3 7 4 5 4 11 11 9 11 8 8 5 8 8 6 6 5 5 3 7 9 7 9 8 6 6 6 6 3 3 6 5 3 8 7 7 4 7 4 11 9 7 7 5 3 9 10 8 4 7 5 9 8 6 5 9 5 7 6 6 6 3 3 3 1 5 5 5 8 7 5 5 4 7 9 8 9 10 10 9 8 4 8 10 8 8 11 12 6 5 6 4 4 4 4 2 5 3 3 3 5 4 5 5 5 3 3 3 3 4 3 3 5 4 4 1 2 3 3 5 5 8 7 5 4 3 2 2 3 3 3 3 5 4 2 1 
Solving time:0.060
Filtering time:0.010
ID:54 (30,6,56)
Graph |V|:89
Solution size:2218
Filtered solution size:1026
Parallel solution length:161
Parallelism:6.373
Step parallelism:21 18 15 16 9 13 14 12 13 9 4 9 11 9 6 8 6 6 3 3 7 4 5 4 11 11 9 11 6 6 4 7 7 7 7 5 5 3 7 9 7 9 8 6 6 6 6 3 3 6 5 2 7 6 9 7 9 4 10 9 7 8 6 4 7 6 5 7 6 8 8 7 5 6 6 6 5 8 5 4 5 4 4 4 3 6 4 3 4 5 7 11 12 8 9 9 10 5 10 9 9 9 11 10 9 9 7 6 5 6 7 8 5 4 5 6 3 5 8 5 7 8 6 6 6 4 7 5 5 7 4 3 3 3 3 6 5 5 5 4 4 4 6 6 4 3 2 2 2 2 2 2 3 2 5 2 2 2 2 3 3 
Solving time:0.060
Filtering time:0.010
ID:55 (30,6,57)
Graph |V|:89
Solution size:1953
Filtered solution size:898
Parallel solution length:134
Parallelism:6.701
Step parallelism:20 17 14 15 8 13 13 12 12 9 8 8 10 7 8 11 13 7 5 6 4 6 5 6 8 11 9 10 6 5 9 9 9 13 12 13 8 4 4 3 2 5 4 6 6 12 5 6 4 4 3 10 8 4 9 7 8 7 6 10 13 13 10 8 5 5 6 6 4 6 9 7 8 7 5 6 6 8 8 7 10 8 8 9 8 8 10 6 7 5 4 4 2 2 2 3 10 5 8 7 7 7 8 4 2 2 2 2 2 2 1 1 1 1 3 3 5 4 8 7 7 6 5 3 4 5 5 4 3 5 3 3 3 1 
Solving time:0.050
Filtering time:0.000
ID:56 (30,6,58)
Graph |V|:89
Solution size:1837
Filtered solution size:736
Parallel solution length:119
Parallelism:6.185
Step parallelism:19 17 13 14 8 13 13 13 9 7 10 11 8 7 10 10 7 7 8 7 8 5 7 7 3 3 5 10 6 9 9 7 4 6 6 6 5 5 4 3 4 3 5 6 6 13 9 9 10 9 11 9 7 6 8 6 10 3 2 5 4 3 6 5 5 5 4 6 6 5 4 5 6 5 4 10 5 6 6 7 5 6 9 6 8 7 6 3 4 4 5 6 4 4 3 3 2 3 3 3 3 3 3 4 5 3 3 3 4 4 5 5 5 4 4 4 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:57 (30,6,59)
Graph |V|:89
Solution size:1921
Filtered solution size:803
Parallel solution length:126
Parallelism:6.373
Step parallelism:18 16 13 14 8 14 13 14 6 6 9 10 8 8 12 11 6 6 6 6 9 9 11 10 12 9 11 8 5 4 7 11 8 8 12 9 5 8 9 9 8 8 11 9 9 7 8 9 7 7 5 10 11 7 4 4 3 5 7 7 7 6 5 8 7 9 8 6 4 4 4 3 6 4 7 2 5 4 3 3 7 7 7 6 6 5 5 3 6 5 6 3 1 1 1 1 2 2 4 6 4 3 3 3 4 4 5 2 5 3 2 4 5 5 4 4 3 3 3 4 4 3 3 3 3 1 
Solving time:0.050
Filtering time:0.000
ID:58 (30,6,60)
Graph |V|:89
Solution size:1862
Filtered solution size:743
Parallel solution length:110
Parallelism:6.755
Step parallelism:17 16 13 14 8 14 13 15 6 6 9 10 8 8 11 11 6 6 6 6 9 9 11 10 12 9 11 7 4 4 8 10 9 10 10 9 7 6 6 8 7 10 11 10 8 8 9 4 6 6 6 4 7 6 6 6 8 6 5 5 4 3 3 6 6 6 5 4 5 7 8 5 6 9 10 7 6 4 4 4 4 4 5 6 3 4 4 5 5 5 6 3 4 4 4 4 6 5 4 3 1 1 6 7 3 3 5 1 3 3 
Solving time:0.050
Filtering time:0.010
ID:59 (30,6,61)
Graph |V|:89
Solution size:1800
Filtered solution size:679
Parallel solution length:106
Parallelism:6.406
Step parallelism:16 15 12 13 10 11 13 12 5 6 9 10 8 8 10 11 5 9 8 7 8 10 10 6 10 9 8 3 4 7 9 11 10 11 8 7 3 3 4 6 6 7 8 10 8 6 7 6 6 7 6 5 2 5 4 4 4 9 7 6 6 7 6 9 7 8 6 7 7 7 5 5 6 7 6 4 5 5 6 6 6 2 1 1 1 1 5 6 6 6 6 4 4 3 5 5 3 2 4 4 4 1 1 2 2 1 
Solving time:0.050
Filtering time:0.000
ID:60 (30,6,62)
Graph |V|:89
Solution size:1907
Filtered solution size:696
Parallel solution length:122
Parallelism:5.705
Step parallelism:16 15 12 12 9 10 12 11 5 6 9 10 8 8 9 11 5 9 8 7 8 10 7 5 10 9 12 9 5 10 4 5 6 6 6 3 3 2 3 4 3 5 5 5 5 6 6 7 7 9 5 10 10 10 6 5 9 5 6 9 7 6 5 2 4 4 3 5 6 5 3 4 5 4 3 3 2 3 2 5 7 5 6 7 4 4 4 4 6 5 5 5 4 8 7 5 2 4 4 4 4 4 2 1 1 1 2 3 2 2 6 6 4 5 3 3 3 3 3 2 2 1 
Solving time:0.050
Filtering time:0.000
ID:61 (30,6,63)
Graph |V|:89
Solution size:1907
Filtered solution size:692
Parallel solution length:122
Parallelism:5.672
Step parallelism:16 15 13 12 9 10 12 11 5 6 9 10 8 8 9 9 5 8 7 7 9 8 7 5 10 9 12 9 5 10 4 5 6 6 6 3 3 2 3 4 3 5 5 5 5 6 6 7 7 9 5 10 10 10 6 5 9 5 6 9 7 6 5 2 4 4 3 5 6 5 3 4 5 4 3 3 2 3 2 5 7 5 6 7 4 4 4 4 6 5 5 5 4 8 7 5 2 4 4 4 4 4 2 1 1 1 2 3 2 2 6 6 4 5 3 3 3 3 3 2 2 1 
Solving time:0.050
Filtering time:0.000
ID:62 (30,6,64)
Graph |V|:89
Solution size:1907
Filtered solution size:686
Parallel solution length:120
Parallelism:5.717
Step parallelism:16 15 13 12 9 10 12 12 5 6 8 9 7 8 8 9 5 8 8 8 8 10 10 8 12 12 7 10 5 6 6 6 6 3 3 2 3 4 3 5 5 5 5 6 6 7 7 9 5 10 10 10 6 5 9 5 6 9 7 6 5 2 4 4 3 5 6 5 3 4 5 4 3 3 2 3 2 5 7 5 6 7 4 4 4 4 6 5 5 5 4 8 7 5 2 4 4 4 4 4 2 1 1 1 2 3 2 2 6 6 4 5 3 3 3 3 3 2 2 1 
Solving time:0.050
Filtering time:0.010
ID:63 (30,6,65)
Graph |V|:89
Solution size:1838
Filtered solution size:634
Parallel solution length:105
Parallelism:6.038
Step parallelism:16 15 13 12 9 10 12 14 7 6 7 7 8 8 6 5 9 9 9 8 12 6 4 7 6 8 6 10 8 12 9 3 6 6 3 3 3 3 3 7 7 10 8 7 13 7 8 3 7 7 7 9 9 7 5 6 4 2 1 1 3 3 2 2 2 3 4 3 4 5 5 8 5 8 7 7 7 6 5 8 8 8 5 5 4 2 3 3 2 2 2 2 2 5 5 6 5 4 5 5 3 2 2 2 2 
Solving time:0.050
Filtering time:0.010
ID:64 (30,6,66)
Graph |V|:89
Solution size:1713
Filtered solution size:558
Parallel solution length:96
Parallelism:5.812
Step parallelism:17 16 13 12 9 10 12 12 9 6 6 7 7 6 7 5 5 4 3 4 6 4 5 4 7 5 9 8 8 8 8 7 3 3 4 4 4 4 4 4 4 3 4 2 6 6 5 11 9 9 12 7 8 5 8 6 2 1 6 6 6 6 7 7 6 7 6 4 4 6 6 3 4 3 5 7 5 5 5 4 5 4 5 5 5 4 4 5 4 3 2 2 2 1 1 1 
Solving time:0.050
Filtering time:0.010
ID:65 (30,6,67)
Graph |V|:89
Solution size:1825
Filtered solution size:608
Parallel solution length:104
Parallelism:5.846
Step parallelism:16 15 13 12 9 10 12 12 8 5 6 7 7 6 6 2 2 4 5 6 5 5 4 6 10 9 7 7 11 11 12 10 10 12 7 8 9 11 11 6 4 5 5 5 5 4 5 6 5 6 6 6 5 5 7 7 7 5 5 7 4 3 4 4 4 3 3 4 4 4 6 6 5 5 4 6 6 6 6 6 6 4 1 1 6 6 5 5 4 3 3 2 2 3 3 3 2 2 2 2 1 2 2 1 
Solving time:0.050
Filtering time:0.000
ID:66 (30,6,68)
Graph |V|:89
Solution size:1567
Filtered solution size:443
Parallel solution length:85
Parallelism:5.212
Step parallelism:15 14 12 14 11 11 11 8 8 6 5 7 8 5 9 9 8 9 8 8 4 5 2 7 6 6 5 5 5 3 3 1 2 2 2 6 6 6 4 8 5 5 6 5 5 4 3 4 6 5 5 5 5 6 4 4 5 3 4 6 3 2 2 2 2 2 2 4 2 5 5 3 3 4 4 4 4 3 2 2 2 3 4 4 1 
Solving time:0.040
Filtering time:0.010
ID:67 (30,6,69)
Graph |V|:89
Solution size:1623
Filtered solution size:438
Parallel solution length:86
Parallelism:5.093
Step parallelism:15 13 10 12 9 10 10 8 9 7 8 8 5 3 5 7 7 6 7 10 9 8 4 7 6 4 5 5 3 4 4 4 4 5 4 3 3 6 5 6 7 5 3 3 2 3 3 4 5 4 4 3 3 5 5 8 8 6 5 6 5 4 4 1 1 4 2 2 2 4 4 3 3 3 4 5 5 3 4 2 2 2 3 3 2 1 
Solving time:0.050
Filtering time:0.000
ID:68 (30,6,70)
Graph |V|:89
Solution size:1708
Filtered solution size:470
Parallel solution length:102
Parallelism:4.608
Step parallelism:14 12 9 12 11 11 10 8 7 7 11 11 7 6 7 4 3 3 4 4 4 7 8 5 5 5 4 4 3 3 3 6 6 7 7 3 2 1 2 2 3 3 3 3 2 3 3 5 6 3 7 6 3 4 6 5 6 6 7 7 4 3 4 2 5 5 4 1 1 1 6 5 4 3 3 4 6 4 3 3 6 5 4 4 2 2 2 2 2 2 2 3 3 2 2 2 2 3 4 2 2 2 
Solving time:0.040
Filtering time:0.000
ID:69 (30,6,71)
Graph |V|:89
Solution size:1459
Filtered solution size:369
Parallel solution length:72
Parallelism:5.125
Step parallelism:13 12 12 11 11 11 10 10 8 6 6 4 6 5 5 5 7 5 7 6 7 6 7 5 3 3 4 8 8 7 6 7 4 4 3 3 5 4 3 3 4 4 3 3 4 3 4 4 3 3 4 4 4 2 2 2 5 2 5 1 1 5 5 6 6 5 3 4 4 2 1 1 
Solving time:0.040
Filtering time:0.000
ID:70 (30,6,72)
Graph |V|:89
Solution size:1504
Filtered solution size:326
Parallel solution length:61
Parallelism:5.344
Step parallelism:13 11 11 10 11 10 10 9 9 5 5 4 6 6 6 8 6 6 6 6 5 4 4 5 5 7 5 4 4 4 4 6 6 6 4 5 6 6 6 5 4 3 3 3 3 3 3 1 3 3 3 1 3 4 4 3 5 5 5 4 1 
Solving time:0.040
Filtering time:0.000
ID:71 (30,6,73)
Graph |V|:89
Solution size:1466
Filtered solution size:288
Parallel solution length:64
Parallelism:4.500
Step parallelism:12 11 10 10 10 9 9 9 8 4 4 4 6 6 6 7 5 5 5 3 4 5 5 3 3 3 4 3 3 3 4 3 5 5 5 4 2 4 3 3 4 4 2 3 4 4 4 3 4 3 4 3 3 4 3 3 3 3 2 1 2 2 2 1 
Solving time:0.050
Filtering time:0.000
ID:72 (30,6,74)
Graph |V|:89
Solution size:1466
Filtered solution size:281
Parallel solution length:64
Parallelism:4.391
Step parallelism:13 10 10 12 12 7 5 6 6 4 4 4 6 6 6 7 5 5 5 3 4 5 5 3 3 3 4 3 3 3 4 3 5 5 5 4 2 4 3 3 4 4 2 3 4 4 4 3 4 3 4 3 3 4 3 3 3 3 2 1 2 2 2 1 
Solving time:0.050
Filtering time:0.000
ID:73 (30,6,75)
Graph |V|:89
Solution size:1472
Filtered solution size:286
Parallel solution length:70
Parallelism:4.086
Step parallelism:13 10 10 12 12 6 5 7 6 4 3 3 3 6 5 5 5 5 6 6 5 4 4 4 4 4 3 3 2 4 3 3 3 3 3 3 3 3 4 4 3 3 3 3 2 3 3 2 2 2 5 5 5 4 4 3 2 2 2 2 2 2 2 2 2 4 2 3 3 3 
Solving time:0.050
Filtering time:0.000
ID:74 (30,6,76)
Graph |V|:89
Solution size:1417
Filtered solution size:212
Parallel solution length:54
Parallelism:3.926
Step parallelism:12 9 9 11 11 5 4 6 6 4 3 5 5 6 4 4 5 5 4 5 6 3 4 4 4 4 4 4 3 2 2 3 1 1 2 4 3 3 2 3 3 2 2 2 3 3 2 2 1 1 1 2 2 1 
Solving time:0.040
Filtering time:0.000
ID:75 (30,6,77)
Graph |V|:89
Solution size:1417
Filtered solution size:206
Parallel solution length:54
Parallelism:3.815
Step parallelism:11 8 8 10 10 4 4 6 6 4 3 5 5 6 4 4 5 5 4 5 6 3 4 4 4 4 4 4 3 2 2 3 1 1 2 4 3 3 2 3 3 2 2 2 3 3 2 2 1 1 1 2 2 1 
Solving time:0.040
Filtering time:0.000
ID:76 (30,6,78)
Graph |V|:89
Solution size:1301
Filtered solution size:168
Parallel solution length:39
Parallelism:4.308
Step parallelism:10 8 8 9 9 4 4 6 6 4 3 4 4 5 4 4 5 5 4 5 6 4 4 3 4 3 3 3 3 3 2 2 2 3 1 3 3 3 2 
Solving time:0.030
Filtering time:0.000
ID:77 (30,6,79)
Graph |V|:89
Solution size:1283
Filtered solution size:133
Parallel solution length:39
Parallelism:3.410
Step parallelism:9 7 7 8 8 4 4 5 4 3 3 5 5 5 5 5 5 5 4 3 3 2 2 1 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:78 (30,6,80)
Graph |V|:89
Solution size:1279
Filtered solution size:157
Parallel solution length:52
Parallelism:3.019
Step parallelism:8 8 7 6 6 8 4 5 5 6 6 6 6 5 4 2 1 1 2 2 2 2 2 3 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 
Solving time:0.030
Filtering time:0.010
ID:79 (30,6,81)
Graph |V|:89
Solution size:1218
Filtered solution size:137
Parallel solution length:49
Parallelism:2.796
Step parallelism:7 8 6 6 6 7 5 6 6 5 5 4 4 3 2 2 1 1 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:80 (30,6,82)
Graph |V|:89
Solution size:1129
Filtered solution size:84
Parallel solution length:26
Parallelism:3.231
Step parallelism:6 6 4 4 5 5 4 6 5 4 3 4 5 5 4 3 2 1 1 1 1 1 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:81 (30,6,83)
Graph |V|:89
Solution size:989
Filtered solution size:65
Parallel solution length:23
Parallelism:2.826
Step parallelism:5 6 5 5 6 5 4 4 2 3 3 3 3 2 1 1 1 1 1 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:82 (30,6,84)
Graph |V|:89
Solution size:989
Filtered solution size:57
Parallel solution length:23
Parallelism:2.478
Step parallelism:5 5 4 4 4 4 3 3 2 3 3 3 3 2 1 1 1 1 1 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:83 (30,6,85)
Graph |V|:89
Solution size:999
Filtered solution size:41
Parallel solution length:17
Parallelism:2.412
Step parallelism:4 4 4 4 4 4 3 3 2 2 1 1 1 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:84 (30,6,86)
Graph |V|:89
Solution size:951
Filtered solution size:24
Parallel solution length:10
Parallelism:2.400
Step parallelism:3 3 3 3 3 3 2 2 1 1 
Solving time:0.030
Filtering time:0.000
ID:85 (30,6,87)
Graph |V|:89
Solution size:951
Filtered solution size:14
Parallel solution length:8
Parallelism:1.750
Step parallelism:2 2 2 2 2 2 1 1 
Solving time:0.030
Filtering time:0.000
ID:86 (30,6,88)
Graph |V|:89
Solution size:951
Filtered solution size:6
Parallel solution length:6
Parallelism:1.000
Step parallelism:1 1 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:87 (30,6,89)
Graph |V|:89
ID:88 (30,6,90)
Graph |V|:89
ID:89 (30,6,91)
Graph |V|:89
ID:90 (30,6,92)
Graph |V|:89
ID:91 (30,6,93)
Graph |V|:89
ID:92 (30,6,94)
Graph |V|:89
ID:93 (30,6,95)
Graph |V|:89
ID:94 (30,6,96)
Graph |V|:89
ID:95 (30,6,97)
Graph |V|:89
ID:96 (30,6,98)
Graph |V|:89
ID:97 (30,6,99)
Graph |V|:89
ID:98 (30,6,100)
Graph |V|:89