ID:0 (30,6,2)
Graph |V|:89
Solution size:2975
Filtered solution size:2932
Parallel solution length:358
Parallelism:8.190
Step parallelism:17 6 6 12 13 13 11 6 3 12 7 10 9 7 10 12 10 7 10 10 11 16 8 6 7 11 8 8 15 7 5 12 12 6 6 15 7 6 14 14 10 8 15 3 3 19 11 6 6 8 6 3 6 7 18 3 6 7 9 6 2 1 14 9 6 5 7 4 8 8 16 10 11 10 6 12 13 9 8 10 4 9 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 6 10 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 6 12 9 7 10 7 10 7 18 10 10 7 4 11 7 12 8 10 10 7 11 12 9 7 3 9 6 10 8 7 6 10 6 10 11 6 6 9 7 7 7 5 5 6 5 4 6 6 12 5 9 15 10 8 8 7 9 7 7 17 7 5 8 8 7 8 16 8 12 7 7 10 7 8 2 9 8 7 7 13 1 9 11 5 4 9 11 7 7 6 7 7 6 10 7 7 6 12 4 7 12 11 4 7 7 11 10 6 6 7 9 8 7 7 6 6 5 9 5 7 6 7 13 11 8 12 10 7 6 8 5 11 9 7 6 13 11 6 10 6 3 7 7 12 11 10 5 7 8 7 5 14 7 7 7 6 8 6 9 11 6 8 6 8 6 6 10 6 8 6 9 12 6 11 6 9 10 10 6 9 7 3 4 9 6 6 10 5 9 6 10 10 8 1 12 6 5 3 8 12 6 10 7 10 3 2 6 9 6 5 9 5 6 9 6 5 8 5 5 7 3 
Solving time:0.080
Filtering time:0.040
ID:1 (30,6,3)
Graph |V|:89
Solution size:3034
Filtered solution size:2938
Parallel solution length:361
Parallelism:8.139
Step parallelism:22 10 6 8 12 17 12 9 13 18 8 10 10 7 9 9 4 14 8 8 6 7 11 8 8 15 7 5 12 12 6 6 15 7 10 6 5 11 7 11 3 3 20 11 6 6 8 2 6 7 18 2 6 7 2 6 13 4 4 8 8 18 12 11 10 6 12 4 12 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 6 8 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 3 13 8 11 11 6 11 1 8 11 9 7 7 7 10 18 5 9 12 12 7 8 5 7 8 8 8 7 11 8 1 7 11 11 8 8 6 8 3 7 5 7 9 5 5 8 7 8 7 6 9 7 8 5 8 6 8 7 8 3 6 9 9 10 6 8 6 11 11 9 5 10 7 1 9 4 7 12 11 5 9 6 7 4 8 15 8 11 10 8 1 6 11 4 2 10 9 6 5 9 9 6 7 7 12 7 2 2 10 10 8 8 10 6 11 6 7 5 3 5 7 9 14 10 4 6 9 7 7 7 12 6 11 8 5 8 10 7 5 7 8 6 8 5 14 11 6 8 6 11 7 6 9 6 4 6 6 9 6 6 7 7 7 13 7 7 7 6 10 9 6 7 9 6 9 4 8 5 8 10 2 8 5 8 10 2 10 16 7 6 10 6 7 6 10 6 12 6 12 14 5 6 6 12 10 12 7 10 6 6 11 6 6 6 7 9 5 6 6 5 8 9 9 5 6 6 5 8 3 
Solving time:0.070
Filtering time:0.040
ID:2 (30,6,4)
Graph |V|:89
Solution size:2989
Filtered solution size:2876
Parallel solution length:338
Parallelism:8.509
Step parallelism:27 10 6 8 12 17 12 12 18 10 11 10 7 9 9 4 14 8 8 6 7 11 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 4 6 7 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 3 6 6 7 7 5 10 1 9 7 6 10 5 5 8 7 8 8 7 7 8 10 7 6 12 2 4 7 11 10 4 7 7 7 10 12 7 9 3 6 6 8 5 8 8 14 8 8 8 7 11 18 10 8 6 5 12 11 6 13 11 6 9 6 7 7 11 9 5 4 7 7 10 7 7 15 8 6 8 14 10 6 8 5 4 7 6 9 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 2 10 5 8 5 5 9 2 6 6 10 6 6 6 7 6 11 6 5 4 6 9 6 5 7 6 11 6 5 3 8 12 8 11 12 6 6 8 7 7 9 12 7 4 5 9 3 2 6 6 10 6 6 6 9 5 6 6 5 8 9 9 5 6 3 
Solving time:0.080
Filtering time:0.040
ID:3 (30,6,5)
Graph |V|:89
Solution size:2954
Filtered solution size:2801
Parallel solution length:336
Parallelism:8.336
Step parallelism:23 11 6 6 8 11 10 6 12 12 1 8 11 8 10 1 9 4 9 8 8 6 7 11 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 16 7 8 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 6 3 12 10 10 7 4 10 10 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 1 8 9 7 12 5 11 2 4 9 6 7 7 7 6 4 4 7 7 10 12 11 10 5 10 5 2 10 9 6 5 11 11 6 2 2 10 10 8 8 10 7 6 10 13 7 5 4 5 5 5 6 3 10 15 6 9 12 6 10 5 9 10 9 11 5 10 6 9 6 6 4 7 6 6 10 8 9 6 8 9 6 8 10 2 7 7 10 6 10 9 10 9 9 6 7 4 13 5 9 13 8 11 6 10 10 9 6 6 9 6 5 9 7 1 3 7 9 6 8 11 11 7 7 9 9 6 7 5 8 1 2 6 9 6 5 9 5 6 6 5 8 3 
Solving time:0.070
Filtering time:0.040
ID:4 (30,6,6)
Graph |V|:89
Solution size:3187
Filtered solution size:3021
Parallel solution length:364
Parallelism:8.299
Step parallelism:24 12 6 6 10 11 10 6 12 10 1 8 10 10 7 9 6 7 7 7 4 9 11 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 16 7 8 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 6 12 9 9 4 9 19 12 10 7 4 4 7 7 10 5 7 7 5 5 8 10 10 12 7 8 5 13 12 9 7 3 10 6 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 4 8 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 5 6 2 4 7 12 11 4 7 7 11 10 12 6 3 4 6 7 8 14 8 7 10 9 6 9 6 14 8 7 11 11 8 10 16 18 2 11 7 6 7 4 6 5 10 11 9 6 6 10 7 7 11 7 7 7 16 8 6 8 11 10 11 7 8 9 5 14 7 6 9 6 4 7 6 4 3 6 8 6 3 7 6 6 10 8 5 6 6 11 12 10 6 9 9 9 9 10 2 10 6 10 10 4 10 6 9 6 6 4 7 6 5 5 9 1 8 5 5 9 2 6 8 6 10 6 5 6 6 6 13 11 8 3 4 8 5 5 7 1 5 7 1 5 7 6 2 
Solving time:0.080
Filtering time:0.040
ID:5 (30,6,7)
Graph |V|:89
Solution size:3002
Filtered solution size:2839
Parallel solution length:325
Parallelism:8.735
Step parallelism:23 13 10 6 10 11 10 6 12 10 1 8 10 10 7 9 6 7 7 7 4 9 11 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 12 11 7 13 12 13 13 11 7 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 5 13 4 9 6 7 4 7 11 9 7 2 10 6 7 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 6 11 6 6 7 12 9 11 12 9 7 5 10 6 6 10 6 6 6 5 7 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 2 7 10 13 8 11 6 10 6 9 6 10 6 5 4 6 9 6 5 7 6 11 6 5 3 8 11 9 5 8 6 8 7 7 9 9 9 5 6 3 5 5 8 1 5 7 1 
Solving time:0.070
Filtering time:0.040
ID:6 (30,6,8)
Graph |V|:89
Solution size:3085
Filtered solution size:2876
Parallel solution length:341
Parallelism:8.434
Step parallelism:19 13 6 6 10 11 11 8 19 3 8 10 10 7 10 6 7 7 7 4 9 11 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 12 10 7 13 13 13 13 11 7 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 3 10 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 7 15 7 5 3 7 6 6 9 4 5 3 2 8 6 9 7 6 14 11 7 8 7 4 3 8 11 11 4 14 11 5 10 5 7 6 10 6 7 10 4 11 4 9 6 7 4 7 7 11 15 1 8 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 6 7 7 5 10 11 9 6 6 11 6 6 7 12 5 9 5 9 7 14 6 11 5 4 7 8 9 4 10 6 9 9 4 7 6 6 6 8 4 3 7 11 7 4 10 9 6 7 4 8 6 6 10 12 9 5 7 10 2 4 6 6 9 16 7 6 10 6 6 6 10 6 6 6 7 6 11 6 6 6 3 6 9 7 10 6 8 7 4 8 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:2610
Parallel solution length:304
Parallelism:8.586
Step parallelism:19 13 6 6 10 11 11 8 18 3 10 10 10 7 9 6 7 7 7 4 9 11 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 7 9 6 12 6 4 6 6 8 14 19 12 10 7 6 4 4 8 6 10 29 13 17 17 11 10 11 10 21 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 3 8 6 9 13 12 10 8 8 6 6 8 12 6 7 7 6 6 5 11 11 8 7 11 5 4 9 6 7 7 7 6 4 4 8 5 8 10 12 4 12 10 8 1 7 14 8 8 8 6 9 8 7 10 14 5 9 6 6 4 6 6 6 8 4 11 2 7 6 6 10 6 6 3 7 9 7 5 8 6 11 7 14 10 6 8 6 7 9 4 4 7 7 6 9 6 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.030
ID:8 (30,6,10)
Graph |V|:89
Solution size:2795
Filtered solution size:2544
Parallel solution length:285
Parallelism:8.926
Step parallelism:18 13 6 6 10 11 11 8 18 3 10 10 11 7 9 6 7 7 7 4 9 11 11 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 12 16 14 12 26 21 9 11 16 10 5 8 5 9 8 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 5 11 7 12 7 11 4 4 7 12 11 8 6 11 11 8 8 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 5 14 7 6 10 6 10 10 9 7 12 7 6 7 7 5 6 4 4 10 9 6 6 9 7 8 3 7 6 8 9 6 9 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.070
Filtering time:0.030
ID:9 (30,6,11)
Graph |V|:89
Solution size:2686
Filtered solution size:2425
Parallel solution length:287
Parallelism:8.449
Step parallelism:20 10 6 11 11 11 8 17 3 10 9 10 7 9 6 7 7 7 4 9 11 11 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 4 4 5 9 4 5 3 3 9 11 10 5 11 10 13 8 3 10 9 10 9 10 11 11 22 15 10 5 8 8 10 11 10 5 11 17 4 8 14 13 14 10 13 10 7 8 7 7 6 8 10 8 12 10 5 5 4 9 13 6 10 7 5 5 4 7 12 11 7 7 9 3 6 4 4 7 6 8 6 9 7 8 15 8 7 6 6 8 8 17 12 12 11 7 13 14 8 12 7 6 8 4 6 11 9 6 6 9 7 4 10 6 7 6 12 5 7 6 6 10 4 7 6 8 9 6 8 5 6 6 6 4 10 12 2 7 8 5 5 11 9 6 9 6 6 11 6 5 5 7 6 6 13 12 8 5 4 12 8 2 8 12 6 12 6 6 10 8 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:2519
Parallel solution length:303
Parallelism:8.314
Step parallelism:20 10 6 11 16 12 8 12 2 10 9 10 7 9 6 7 7 7 4 9 11 11 8 17 7 8 8 7 6 15 15 11 7 8 9 6 10 17 6 7 5 6 3 6 2 1 7 21 12 10 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 5 7 6 5 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 3 10 7 11 8 8 3 7 6 7 14 8 6 5 2 5 5 9 9 5 9 11 4 4 7 3 7 7 7 11 10 9 6 5 4 10 5 8 5 14 6 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 1 9 11 11 6 8 8 9 7 7 7 6 6 3 13 8 6 7 11 7 10 9 6 4 3 8 10 4 6 7 11 9 16 12 10 4 7 15 9 10 12 2 5 15 6 10 5 3 8 5 7 6 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:2392
Parallel solution length:282
Parallelism:8.482
Step parallelism:21 10 6 11 16 12 8 12 2 10 9 10 7 9 6 7 7 7 4 9 11 11 8 17 7 8 8 7 6 15 15 11 7 8 9 6 10 17 6 7 5 6 3 6 2 1 7 21 12 10 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 5 10 6 5 5 3 7 8 7 13 12 9 9 9 6 8 12 7 5 8 3 8 10 18 11 13 11 9 5 6 6 6 7 6 4 7 6 7 7 5 9 7 10 8 13 9 11 7 7 8 10 10 12 12 10 15 10 4 6 5 6 8 7 7 3 7 8 8 5 7 13 8 8 8 7 8 18 9 8 6 10 11 12 8 10 7 8 6 11 5 3 7 3 7 10 6 8 9 6 9 14 6 11 10 4 1 6 6 9 3 5 3 3 7 6 6 9 4 7 6 9 5 3 9 6 15 11 13 5 11 6 15 1 4 6 5 11 11 4 3 7 4 7 6 5 5 8 6 5 10 9 11 5 4 12 9 8 8 9 6 5 6 6 4 
Solving time:0.070
Filtering time:0.030
ID:12 (30,6,14)
Graph |V|:89
Solution size:2796
Filtered solution size:2473
Parallel solution length:293
Parallelism:8.440
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 6 4 4 4 6 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 11 5 8 10 11 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 12 9 2 4 5 5 11 13 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 5 7 8 6 8 9 6 6 10 5 7 9 8 6 6 10 4 3 6 8 8 4 7 6 6 8 13 7 15 10 9 11 16 13 10 9 9 13 8 9 10 5 5 9 7 7 5 2 2 7 6 11 5 12 9 8 12 9 7 5 7 7 11 4 3 7 11 6 12 6 6 10 7 8 2 5 7 8 5 8 8 8 7 6 3 
Solving time:0.080
Filtering time:0.020
ID:13 (30,6,15)
Graph |V|:89
Solution size:2720
Filtered solution size:2366
Parallel solution length:279
Parallelism:8.480
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 14 16 10 8 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 11 9 7 13 11 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 8 4 7 13 7 5 7 4 5 8 8 5 7 9 4 4 6 5 3 11 10 7 13 8 9 3 6 11 4 12 6 8 6 8 8 15 13 8 10 4 12 10 6 8 7 8 17 9 7 8 2 6 8 3 6 5 6 9 7 11 10 7 5 7 6 13 8 6 5 4 6 10 6 3 6 6 9 6 4 3 7 6 6 9 4 7 6 9 5 3 8 8 10 5 7 7 6 9 6 8 5 6 5 11 14 5 5 9 7 12 5 7 6 6 6 12 10 5 5 9 8 7 7 7 11 12 6 6 6 11 5 1 9 8 4 6 5 5 10 2 5 6 1 5 7 6 4 
Solving time:0.070
Filtering time:0.030
ID:14 (30,6,16)
Graph |V|:89
Solution size:2692
Filtered solution size:2317
Parallel solution length:279
Parallelism:8.305
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 7 20 14 16 22 6 8 6 6 3 1 5 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 3 10 9 9 1 12 10 10 15 7 9 9 10 7 12 15 16 7 5 3 6 11 6 7 3 9 6 5 7 7 5 5 5 10 11 4 7 7 7 9 16 16 7 10 11 7 5 6 14 8 10 5 9 6 6 4 6 4 2 6 7 5 4 6 8 5 6 3 7 7 6 4 5 5 7 6 6 5 2 10 9 6 6 5 9 6 8 6 14 10 6 12 6 15 16 9 8 4 13 14 11 4 7 6 5 7 9 7 5 9 5 9 7 14 10 6 8 5 10 9 4 3 6 8 8 4 7 6 6 9 3 3 2 7 5 3 7 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 7 9 8 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.070
Filtering time:0.030
ID:15 (30,6,17)
Graph |V|:89
Solution size:2746
Filtered solution size:2348
Parallel solution length:262
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 6 12 8 11 6 4 11 9 8 10 11 11 14 7 14 15 12 16 12 9 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 3 7 6 6 9 4 7 8 12 13 5 12 9 13 14 4 3 7 10 9 6 10 10 9 4 6 4 6 6 6 13 9 6 8 7 7 9 6 6 4 6 7 3 2 6 3 4 12 6 5 2 
Solving time:0.070
Filtering time:0.020
ID:16 (30,6,18)
Graph |V|:89
Solution size:2614
Filtered solution size:2181
Parallel solution length:260
Parallelism:8.388
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 9 14 3 8 10 12 2 4 4 5 7 4 14 17 11 11 5 7 13 13 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 6 8 8 5 4 2 3 6 6 6 7 8 6 6 1 6 9 13 8 6 10 9 10 6 8 13 15 4 7 3 6 4 6 10 9 11 6 7 7 3 6 5 8 8 11 10 9 7 6 7 6 5 7 4 6 8 13 12 11 1 8 8 11 3 7 6 6 9 6 5 7 6 8 10 5 6 6 7 8 6 8 5 9 8 5 7 11 7 6 6 11 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:2233
Parallel solution length:273
Parallelism:8.179
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 9 14 3 8 10 12 2 4 4 5 7 4 14 17 12 11 5 7 13 13 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 6 8 10 1 3 4 6 5 3 11 5 5 4 4 12 13 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 10 8 6 7 6 8 9 6 9 6 4 3 7 6 6 9 4 5 4 8 7 3 6 8 6 4 6 10 11 11 8 13 7 6 7 3 6 5 6 11 6 9 13 6 4 6 8 6 5 3 6 5 6 5 8 5 6 8 1 7 8 7 10 1 6 7 8 7 8 8 3 2 6 3 4 12 6 8 2 2 1 8 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:2077
Parallel solution length:236
Parallelism:8.801
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 7 9 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 6 12 11 7 3 7 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 4 7 8 6 9 11 6 5 5 9 7 9 9 7 6 5 9 8 10 8 6 10 8 9 12 11 9 5 11 9 6 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.060
Filtering time:0.020
ID:19 (30,6,21)
Graph |V|:89
Solution size:2497
Filtered solution size:2050
Parallel solution length:234
Parallelism:8.761
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 7 9 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 5 7 4 8 7 6 3 11 11 9 13 7 7 7 10 11 18 3 7 9 9 11 12 13 13 5 6 2 4 13 10 11 6 6 13 6 4 4 8 7 4 7 9 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 7 6 7 11 6 7 5 4 5 8 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.070
Filtering time:0.020
ID:20 (30,6,22)
Graph |V|:89
Solution size:2503
Filtered solution size:2033
Parallel solution length:254
Parallelism:8.004
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 7 9 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 9 11 8 11 6 3 7 7 7 5 6 9 13 17 9 7 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 7 7 8 5 4 6 3 6 5 7 14 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 2 4 3 7 8 8 3 6 5 2 8 5 8 9 5 2 2 
Solving time:0.070
Filtering time:0.020
ID:21 (30,6,23)
Graph |V|:89
Solution size:2548
Filtered solution size:2057
Parallel solution length:263
Parallelism:7.821
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 7 9 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 2 4 4 7 4 8 7 5 4 8 4 1 5 7 7 8 3 7 9 4 9 8 7 2 5 7 4 3 3 6 6 6 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 6 8 6 8 10 11 10 5 7 4 4 5 5 12 10 6 9 6 8 8 6 7 5 2 2 7 6 11 9 11 7 8 8 8 2 11 12 6 6 7 6 10 6 5 9 8 7 3 2 6 3 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:2047
Parallel solution length:255
Parallelism:8.027
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 7 8 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 11 12 10 9 4 4 5 8 6 10 7 6 7 8 8 2 4 4 4 3 7 8 11 6 8 9 4 9 10 7 8 12 14 9 11 8 6 5 9 7 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 10 11 6 6 6 6 5 5 5 4 7 9 5 5 3 3 5 4 10 5 5 7 9 5 5 9 7 5 7 2 5 5 4 
Solving time:0.070
Filtering time:0.020
ID:23 (30,6,25)
Graph |V|:89
Solution size:2589
Filtered solution size:2039
Parallel solution length:254
Parallelism:8.028
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 7 7 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 11 12 10 9 4 4 5 8 6 10 7 6 7 8 8 2 4 4 4 3 7 8 11 6 8 9 4 9 10 7 8 12 14 9 11 8 6 5 9 7 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 10 11 6 6 6 6 5 5 5 4 7 9 5 5 3 3 5 4 10 5 5 7 9 5 5 9 7 5 7 2 5 5 4 
Solving time:0.070
Filtering time:0.020
ID:24 (30,6,26)
Graph |V|:89
Solution size:2543
Filtered solution size:1974
Parallel solution length:245
Parallelism:8.057
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 7 7 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 8 11 15 12 8 3 6 7 9 10 5 6 5 4 8 4 13 9 10 6 5 6 8 7 12 12 13 11 7 3 5 4 6 12 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 3 6 5 8 4 4 6 3 6 10 9 7 2 7 7 5 5 4 5 7 7 2 8 7 6 5 6 12 11 9 8 8 5 5 12 1 6 6 11 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:1841
Parallel solution length:216
Parallelism:8.523
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 9 8 11 9 9 13 7 7 7 6 8 5 9 9 9 12 10 12 12 11 16 11 6 11 12 11 10 12 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 14 12 9 7 5 8 7 15 10 4 8 12 15 6 9 5 6 5 6 9 12 8 8 9 8 14 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 5 10 7 6 5 8 4 9 7 7 11 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 3 7 8 7 10 9 6 6 4 5 5 4 7 9 5 5 6 6 7 3 6 3 4 5 2 1 
Solving time:0.070
Filtering time:0.010
ID:26 (30,6,28)
Graph |V|:89
Solution size:2421
Filtered solution size:1834
Parallel solution length:214
Parallelism:8.570
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 9 8 11 9 9 13 7 7 7 6 8 5 9 9 9 12 10 12 12 11 16 11 6 11 12 11 10 12 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 14 12 9 7 5 8 7 15 10 4 8 12 15 6 9 5 6 5 6 9 12 8 8 9 8 14 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 5 10 7 6 5 8 4 9 7 7 11 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 3 7 8 7 10 9 6 6 4 5 5 4 7 9 5 5 6 6 7 3 6 3 4 5 2 1 
Solving time:0.070
Filtering time:0.010
ID:27 (30,6,29)
Graph |V|:89
Solution size:2644
Filtered solution size:1987
Parallel solution length:239
Parallelism:8.314
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 10 7 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 6 9 9 4 9 10 11 12 7 8 3 9 7 3 5 4 7 8 9 6 7 3 6 5 2 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 5 9 6 7 6 6 11 5 8 6 5 5 11 3 7 10 8 7 2 11 12 5 5 6 11 7 7 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:1698
Parallel solution length:207
Parallelism:8.203
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 7 11 11 14 12 9 8 5 4 5 7 8 7 6 9 9 7 9 9 6 4 4 4 7 8 11 8 5 5 5 4 10 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 1 1 8 8 6 5 6 4 4 7 7 8 8 7 7 7 9 1 6 7 4 2 2 7 7 10 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:1672
Parallel solution length:195
Parallelism:8.574
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 14 12 10 9 7 9 15 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 15 12 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 5 6 6 6 6 5 5 3 3 6 5 6 7 8 10 6 5 5 7 7 3 3 3 3 4 4 8 3 3 7 4 5 8 8 8 11 4 2 6 4 5 5 5 10 6 10 2 6 6 9 4 5 6 8 4 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:1520
Parallel solution length:176
Parallelism:8.636
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 14 16 11 8 4 11 7 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 10 8 7 4 5 6 7 9 6 7 6 7 11 11 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 8 10 10 5 5 8 8 11 9 4 2 11 5 5 3 1 10 6 5 8 5 3 3 5 2 5 5 2 4 
Solving time:0.060
Filtering time:0.010
ID:31 (30,6,33)
Graph |V|:89
Solution size:2495
Filtered solution size:1732
Parallel solution length:222
Parallelism:7.802
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 13 15 11 9 6 8 5 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 5 8 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 3 5 4 4 4 3 6 9 7 4 6 5 4 4 2 1 1 3 3 3 7 3 2 2 1 1 
Solving time:0.060
Filtering time:0.020
ID:32 (30,6,34)
Graph |V|:89
Solution size:2430
Filtered solution size:1703
Parallel solution length:205
Parallelism:8.307
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 8 14 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 7 5 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 12 11 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.070
Filtering time:0.010
ID:33 (30,6,35)
Graph |V|:89
Solution size:2308
Filtered solution size:1580
Parallel solution length:194
Parallelism:8.144
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 12 16 9 11 4 8 4 4 4 4 3 3 5 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 6 9 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:34 (30,6,36)
Graph |V|:89
Solution size:2308
Filtered solution size:1570
Parallel solution length:194
Parallelism:8.093
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 12 16 9 11 4 8 4 4 4 4 3 3 5 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 6 9 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:35 (30,6,37)
Graph |V|:89
Solution size:2308
Filtered solution size:1564
Parallel solution length:194
Parallelism:8.062
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 12 16 9 11 4 8 4 4 4 4 3 3 5 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 6 9 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:36 (30,6,38)
Graph |V|:89
Solution size:2553
Filtered solution size:1676
Parallel solution length:232
Parallelism:7.224
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 15 11 8 5 6 5 4 5 9 6 8 7 11 12 9 11 5 4 8 8 2 7 6 7 5 5 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 6 4 4 2 2 5 6 6 5 5 8 6 9 8 4 5 7 8 10 7 7 2 4 7 4 4 7 5 6 5 5 5 6 6 6 6 6 9 6 6 6 6 6 6 6 4 4 6 5 6 10 3 4 6 4 6 4 3 6 6 6 5 5 6 8 6 8 7 5 5 8 3 3 2 4 4 4 6 2 5 5 5 10 8 8 3 5 8 3 1 1 1 1 5 3 5 4 5 4 1 
Solving time:0.070
Filtering time:0.010
ID:37 (30,6,39)
Graph |V|:89
Solution size:2345
Filtered solution size:1486
Parallel solution length:192
Parallelism:7.740
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 15 11 8 5 6 5 4 5 9 6 8 7 11 12 11 11 5 4 8 11 3 7 6 6 3 3 4 4 4 10 2 5 5 4 6 8 5 5 4 4 3 2 2 8 8 5 13 8 9 9 12 8 6 2 4 3 8 5 6 7 6 5 6 8 4 4 4 4 2 2 4 12 9 10 6 5 10 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.070
Filtering time:0.010
ID:38 (30,6,40)
Graph |V|:89
Solution size:2450
Filtered solution size:1562
Parallel solution length:204
Parallelism:7.657
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 6 6 8 9 6 7 9 12 12 11 5 7 7 9 6 4 6 6 6 5 4 7 8 4 7 7 3 4 2 4 7 6 4 6 7 4 5 4 7 7 9 5 6 5 6 4 7 9 5 2 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 8 7 8 7 8 7 7 5 6 10 5 6 6 4 3 3 3 3 2 1 2 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:1282
Parallel solution length:180
Parallelism:7.122
Step parallelism:32 19 15 9 10 6 10 6 9 12 8 11 11 7 8 16 20 17 11 10 13 5 3 5 8 6 7 7 9 8 2 4 3 4 7 9 14 11 8 8 5 5 7 6 9 5 8 3 5 5 3 11 13 11 11 8 12 8 5 4 10 12 10 9 7 13 7 6 7 6 7 10 15 9 9 13 9 6 9 8 8 5 7 5 10 10 8 6 9 5 4 2 4 4 3 6 3 3 3 6 7 7 6 3 6 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 2 2 7 5 4 5 4 7 2 2 5 3 2 2 6 8 2 1 1 6 3 4 2 2 4 4 7 7 4 6 5 3 5 
Solving time:0.060
Filtering time:0.010
ID:40 (30,6,42)
Graph |V|:89
Solution size:2169
Filtered solution size:1294
Parallel solution length:180
Parallelism:7.189
Step parallelism:31 19 15 9 10 6 10 6 9 12 8 11 11 7 8 16 20 17 11 10 13 5 3 5 8 6 7 7 9 8 2 4 3 4 7 9 14 11 8 8 5 5 7 6 9 5 8 3 5 5 3 11 13 11 11 8 12 8 5 4 10 12 10 9 7 13 7 8 8 6 7 10 14 9 9 13 9 7 6 5 14 11 9 9 10 10 6 6 6 4 4 2 5 5 4 4 4 3 8 6 5 5 7 10 9 6 9 5 7 7 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.050
Filtering time:0.010
ID:41 (30,6,43)
Graph |V|:89
Solution size:2169
Filtered solution size:1288
Parallel solution length:176
Parallelism:7.318
Step parallelism:31 19 15 8 10 13 14 13 18 12 10 17 21 18 11 10 13 5 3 5 8 6 7 7 9 8 2 4 3 4 7 9 14 11 8 8 5 5 7 6 9 5 8 3 5 5 3 11 13 11 11 8 12 8 5 4 10 12 10 9 7 13 7 8 8 6 7 10 14 9 9 13 9 7 6 5 14 11 9 9 10 10 6 6 6 4 4 2 5 5 4 4 4 3 8 6 5 5 7 10 9 6 9 5 7 7 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:1250
Parallel solution length:169
Parallelism:7.396
Step parallelism:31 19 15 8 10 13 14 13 18 12 9 18 21 18 11 10 13 7 5 5 5 5 4 6 7 7 2 4 3 4 7 9 14 11 8 8 5 5 7 6 10 5 5 3 5 5 3 11 15 9 11 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 6 6 7 2 5 10 7 7 8 8 6 7 5 8 7 4 5 5 8 12 7 3 11 11 6 5 10 14 9 15 9 6 9 6 3 5 4 2 3 9 10 6 6 8 9 5 8 8 6 4 2 5 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:1224
Parallel solution length:180
Parallelism:6.800
Step parallelism:29 20 18 8 9 15 12 13 15 9 4 10 15 15 14 8 13 10 4 7 5 5 6 10 8 8 3 5 8 9 11 12 8 7 10 10 4 5 6 6 7 11 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 4 4 8 5 6 3 2 4 4 3 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 4 4 4 4 3 4 6 4 5 7 6 4 4 3 3 2 2 2 7 5 6 7 5 5 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:1182
Parallel solution length:159
Parallelism:7.434
Step parallelism:29 20 18 8 9 15 15 13 15 10 6 6 14 14 9 6 13 10 6 9 5 8 8 4 4 4 8 12 14 13 15 10 14 8 5 6 6 6 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 12 12 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 4 2 1 1 1 1 2 2 6 5 9 8 7 6 6 6 3 7 7 5 3 3 2 2 3 2 3 3 2 5 5 7 6 2 2 
Solving time:0.050
Filtering time:0.010
ID:45 (30,6,47)
Graph |V|:89
Solution size:2174
Filtered solution size:1150
Parallel solution length:163
Parallelism:7.055
Step parallelism:29 21 18 8 9 15 14 13 15 10 6 6 14 14 9 6 13 10 6 9 5 6 7 5 5 4 8 12 13 11 9 8 13 8 5 5 6 11 9 10 7 6 5 5 5 7 11 13 11 9 8 7 4 5 3 5 2 2 3 3 3 3 2 4 2 4 3 8 10 10 13 13 10 10 8 10 9 8 4 5 5 10 9 4 4 3 6 7 12 7 8 6 6 6 5 6 5 5 4 5 10 7 4 8 6 5 6 4 2 11 8 9 11 7 10 8 6 7 6 7 7 5 7 11 7 4 5 4 7 5 5 9 7 5 5 6 4 7 7 8 5 8 3 7 7 6 8 5 2 3 3 5 5 4 5 3 2 1 3 3 3 3 1 
Solving time:0.060
Filtering time:0.000
ID:46 (30,6,48)
Graph |V|:89
Solution size:2174
Filtered solution size:1137
Parallel solution length:163
Parallelism:6.975
Step parallelism:28 20 17 8 9 15 14 13 15 8 6 6 14 14 9 6 12 10 7 9 4 5 6 4 4 5 9 12 12 10 9 5 13 8 5 5 6 11 9 10 7 6 5 5 5 7 11 13 11 9 8 7 4 5 3 5 2 2 3 3 3 3 2 4 2 4 3 8 10 10 13 13 10 10 8 10 9 8 4 5 5 10 9 4 4 3 6 7 12 7 8 6 6 6 5 6 5 5 4 5 10 7 4 8 6 5 6 4 2 11 8 9 11 7 10 8 6 7 6 7 7 5 7 11 7 4 5 4 7 5 5 9 7 5 5 6 4 7 7 8 5 8 3 7 7 6 8 5 2 3 3 5 5 4 5 3 2 1 3 3 3 3 1 
Solving time:0.060
Filtering time:0.010
ID:47 (30,6,49)
Graph |V|:89
Solution size:2090
Filtered solution size:1129
Parallel solution length:152
Parallelism:7.428
Step parallelism:28 21 16 10 12 13 19 15 9 12 11 11 14 17 9 8 8 9 13 8 8 5 5 2 1 1 1 1 7 6 9 11 12 12 9 12 8 11 8 13 7 7 8 10 10 11 7 7 8 6 5 5 6 5 5 4 6 4 9 10 13 15 8 9 10 7 7 8 9 10 6 4 3 7 5 3 3 5 8 10 4 3 5 5 4 5 6 2 6 6 5 8 7 7 6 9 11 10 11 8 11 11 9 7 5 5 7 4 5 5 7 7 4 7 4 6 7 7 7 8 7 3 9 9 7 7 7 5 6 6 8 6 10 5 5 5 4 2 3 9 5 6 6 6 3 1 2 4 3 5 6 3 
Solving time:0.050
Filtering time:0.010
ID:48 (30,6,50)
Graph |V|:89
Solution size:2134
Filtered solution size:1102
Parallel solution length:150
Parallelism:7.347
Step parallelism:28 22 16 10 12 13 19 15 9 12 12 11 14 17 9 8 8 9 13 8 7 6 5 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 8 6 7 9 8 8 4 6 8 12 14 10 5 4 10 6 5 5 4 9 7 7 7 7 11 8 11 6 10 9 9 8 6 4 10 10 10 10 8 10 9 6 5 2 4 6 6 5 4 3 5 5 6 6 4 3 2 2 2 2 4 3 1 1 5 7 7 8 7 5 3 2 5 6 5 5 6 3 2 2 2 3 3 3 3 2 
Solving time:0.060
Filtering time:0.000
ID:49 (30,6,51)
Graph |V|:89
Solution size:2318
Filtered solution size:1198
Parallel solution length:177
Parallelism:6.768
Step parallelism:26 20 18 10 12 14 16 9 8 8 10 13 14 12 7 8 10 13 5 4 3 4 1 1 1 1 1 6 13 14 11 12 12 12 12 7 11 7 11 8 9 8 7 6 8 5 4 8 7 7 4 6 6 6 4 4 3 4 4 4 4 7 3 5 5 6 7 7 12 7 7 5 11 10 10 8 7 4 4 5 5 8 10 8 6 6 7 6 7 7 7 5 3 5 2 2 5 4 7 6 12 7 8 7 6 5 6 9 6 9 7 10 10 7 11 13 11 6 7 4 5 8 7 7 4 4 8 8 3 7 6 6 5 4 6 5 5 5 3 7 6 6 4 2 4 4 5 5 8 9 7 7 5 6 5 2 2 2 3 7 4 4 3 6 6 5 7 6 8 4 2 4 5 4 4 3 1 
Solving time:0.060
Filtering time:0.010
ID:50 (30,6,52)
Graph |V|:89
Solution size:1958
Filtered solution size:955
Parallel solution length:132
Parallelism:7.235
Step parallelism:25 19 17 11 12 13 13 9 8 7 11 8 14 11 10 11 11 9 12 3 4 1 1 1 1 1 6 11 10 9 11 10 10 9 9 12 7 10 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 7 6 11 7 7 8 6 5 6 5 3 3 6 9 7 3 2 10 8 10 11 8 4 2 2 5 3 1 2 2 4 5 7 9 5 6 7 8 10 9 8 8 8 7 5 4 6 4 3 2 2 5 4 6 2 2 4 6 6 6 5 3 3 3 
Solving time:0.050
Filtering time:0.010
ID:51 (30,6,53)
Graph |V|:89
Solution size:2075
Filtered solution size:1012
Parallel solution length:161
Parallelism:6.286
Step parallelism:24 20 17 17 10 16 15 14 12 12 5 10 10 12 8 8 6 7 4 3 7 4 5 4 11 11 10 12 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 5 8 4 11 9 7 7 5 3 5 6 8 7 7 5 6 5 9 7 5 5 9 5 7 6 6 6 3 3 3 1 5 5 5 8 7 6 6 4 7 9 8 9 10 10 9 8 4 8 10 8 8 11 12 5 4 5 3 3 4 4 2 5 3 3 3 5 4 5 5 6 4 3 3 3 5 4 3 4 4 5 1 1 1 2 2 3 4 4 5 5 8 7 5 4 3 2 2 3 3 3 3 5 4 2 1 
Solving time:0.070
Filtering time:0.010
ID:52 (30,6,54)
Graph |V|:89
Solution size:2075
Filtered solution size:1006
Parallel solution length:161
Parallelism:6.248
Step parallelism:23 19 16 16 9 15 15 14 12 12 5 10 10 12 8 8 6 7 4 3 7 4 5 4 11 11 10 12 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 5 8 4 11 9 7 7 5 3 5 6 8 7 7 5 6 5 9 7 5 5 9 5 7 6 6 6 3 3 3 1 5 5 5 8 7 6 6 4 7 9 8 9 10 10 9 8 4 8 10 8 8 11 12 5 4 5 3 3 4 4 2 5 3 3 3 5 4 5 5 6 4 3 3 3 5 4 3 4 4 5 1 1 1 2 2 3 4 4 5 5 8 7 5 4 3 2 2 3 3 3 3 5 4 2 1 
Solving time:0.060
Filtering time:0.000
ID:53 (30,6,55)
Graph |V|:89
Solution size:2075
Filtered solution size:995
Parallel solution length:161
Parallelism:6.180
Step parallelism:22 18 15 16 9 14 15 13 14 10 4 9 11 9 6 8 6 7 4 3 7 4 5 4 11 11 10 12 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 5 8 4 11 9 7 7 5 3 5 6 8 7 7 5 6 5 9 7 5 5 9 5 7 6 6 6 3 3 3 1 5 5 5 8 7 6 6 4 7 9 8 9 10 10 9 8 4 8 10 8 8 11 12 5 4 5 3 3 4 4 2 5 3 3 3 5 4 5 5 6 4 3 3 3 5 4 3 4 4 5 1 1 1 2 2 3 4 4 5 5 8 7 5 4 3 2 2 3 3 3 3 5 4 2 1 
Solving time:0.060
Filtering time:0.000
ID:54 (30,6,56)
Graph |V|:89
Solution size:2218
Filtered solution size:1050
Parallel solution length:168
Parallelism:6.250
Step parallelism:21 18 15 16 9 13 14 12 13 9 4 9 11 9 6 8 6 7 4 3 7 4 5 4 11 11 10 12 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 8 9 5 4 6 5 5 4 4 4 6 5 5 7 6 7 7 7 5 6 6 6 5 8 5 4 5 4 4 4 3 6 4 3 5 6 7 6 12 8 8 9 8 9 6 10 10 10 7 7 9 9 8 8 7 6 5 6 7 8 5 4 5 6 3 5 8 5 7 8 7 8 7 4 7 5 5 7 4 2 2 2 3 2 3 7 5 5 8 4 4 6 6 4 3 2 2 2 2 2 2 3 3 6 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:910
Parallel solution length:137
Parallelism:6.642
Step parallelism:20 17 14 15 8 13 13 12 12 9 8 8 10 7 8 11 13 8 6 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 7 8 5 4 4 2 2 2 3 10 5 8 7 7 7 6 5 3 3 5 2 2 2 1 1 1 1 1 1 3 3 5 4 8 7 6 6 5 1 3 3 5 5 4 4 5 5 3 3 1 
Solving time:0.050
Filtering time:0.010
ID:56 (30,6,58)
Graph |V|:89
Solution size:1837
Filtered solution size:770
Parallel solution length:131
Parallelism:5.878
Step parallelism:19 17 13 14 8 13 13 13 9 7 10 11 8 7 10 10 8 8 8 7 8 5 7 7 3 4 6 10 6 9 9 7 4 6 6 6 5 5 4 3 4 3 5 6 6 13 9 9 10 9 11 10 8 6 8 6 8 4 5 5 4 3 6 5 2 2 5 5 4 5 5 5 4 5 6 5 3 8 8 6 7 8 6 7 9 6 8 7 6 3 2 2 4 4 5 5 4 4 3 3 2 3 3 2 2 2 1 1 1 2 2 3 5 3 4 5 5 3 4 4 1 1 4 6 5 4 4 4 4 2 1 
Solving time:0.050
Filtering time:0.010
ID:57 (30,6,59)
Graph |V|:89
Solution size:1921
Filtered solution size:823
Parallel solution length:130
Parallelism:6.331
Step parallelism:18 16 13 14 8 14 13 14 6 6 9 10 8 8 12 10 6 3 6 6 9 9 10 7 10 5 11 10 11 7 6 7 11 8 7 11 9 5 8 9 9 7 8 11 8 9 7 6 7 9 10 10 13 11 7 4 4 3 5 7 7 8 7 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 2 1 5 5 6 3 1 1 1 1 2 2 4 6 4 3 3 3 4 3 5 3 4 3 5 2 4 5 6 5 4 3 3 3 4 4 4 4 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:775
Parallel solution length:120
Parallelism:6.458
Step parallelism:17 16 13 14 8 14 13 15 6 6 9 10 8 8 11 10 6 3 6 6 9 9 10 7 10 5 11 10 11 6 5 8 10 10 7 7 11 7 5 8 9 8 10 10 10 8 8 8 6 7 6 7 4 4 7 6 6 7 7 5 6 5 5 5 6 5 8 6 4 4 5 6 6 9 5 6 9 10 8 4 4 4 4 4 4 2 5 4 3 3 2 5 5 5 5 4 4 4 4 4 1 4 4 4 6 5 4 3 1 1 6 7 3 2 5 2 1 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:705
Parallel solution length:110
Parallelism:6.409
Step parallelism:16 15 12 13 10 11 13 12 5 6 9 10 8 8 10 10 5 6 8 7 8 7 10 9 10 10 10 5 5 7 10 12 10 11 8 7 3 3 4 6 6 7 8 10 8 6 7 6 6 7 6 5 2 5 3 4 4 8 6 5 7 7 5 7 9 11 11 10 9 9 5 5 6 7 6 4 4 4 5 7 3 2 2 2 3 3 2 2 5 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:736
Parallel solution length:133
Parallelism:5.534
Step parallelism:16 15 12 12 9 10 12 11 5 6 9 10 8 8 9 10 5 6 8 7 8 7 7 8 11 10 12 9 11 10 5 6 6 6 6 3 3 2 3 4 4 6 5 5 5 6 6 7 7 9 5 10 10 10 6 5 8 6 8 9 7 6 5 2 4 4 3 5 4 3 3 3 3 5 6 3 2 1 1 1 3 3 4 7 7 5 4 5 3 3 3 4 2 2 4 4 6 4 4 5 4 8 6 4 2 4 4 4 4 4 5 5 5 3 3 3 3 3 6 6 4 5 3 1 1 3 3 3 3 3 3 2 1 
Solving time:0.050
Filtering time:0.000
ID:61 (30,6,63)
Graph |V|:89
Solution size:1907
Filtered solution size:732
Parallel solution length:133
Parallelism:5.504
Step parallelism:16 15 13 12 9 10 12 11 5 6 9 10 8 8 9 8 5 5 7 7 9 5 7 8 11 10 12 9 11 10 5 6 6 6 6 3 3 2 3 4 4 6 5 5 5 6 6 7 7 9 5 10 10 10 6 5 8 6 8 9 7 6 5 2 4 4 3 5 4 3 3 3 3 5 6 3 2 1 1 1 3 3 4 7 7 5 4 5 3 3 3 4 2 2 4 4 6 4 4 5 4 8 6 4 2 4 4 4 4 4 5 5 5 3 3 3 3 3 6 6 4 5 3 1 1 3 3 3 3 3 3 2 1 
Solving time:0.050
Filtering time:0.010
ID:62 (30,6,64)
Graph |V|:89
Solution size:1907
Filtered solution size:726
Parallel solution length:131
Parallelism:5.542
Step parallelism:16 15 13 12 9 10 12 12 5 6 8 9 7 8 8 8 5 5 8 8 7 7 9 9 11 7 11 12 8 12 8 7 7 4 3 2 3 4 4 6 5 5 5 6 6 7 7 9 5 10 10 10 6 5 8 6 8 9 7 6 5 2 4 4 3 5 4 3 3 3 3 5 6 3 2 1 1 1 3 3 4 7 7 5 4 5 3 3 3 4 2 2 4 4 6 4 4 5 4 8 6 4 2 4 4 4 4 4 5 5 5 3 3 3 3 3 6 6 4 5 3 1 1 3 3 3 3 3 3 2 1 
Solving time:0.050
Filtering time:0.000
ID:63 (30,6,65)
Graph |V|:89
Solution size:1838
Filtered solution size:658
Parallel solution length:114
Parallelism:5.772
Step parallelism:16 15 13 12 9 10 12 14 7 6 7 7 8 8 6 5 5 7 8 8 7 7 6 8 8 6 9 6 10 8 13 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 3 3 3 4 4 2 3 5 5 5 5 5 7 4 5 7 5 4 5 5 7 6 6 6 4 4 4 3 3 2 2 2 3 3 3 3 3 2 2 6 6 6 6 5 5 5 3 2 2 2 2 
Solving time:0.050
Filtering time:0.000
ID:64 (30,6,66)
Graph |V|:89
Solution size:1713
Filtered solution size:578
Parallel solution length:101
Parallelism:5.723
Step parallelism:17 16 13 12 9 10 12 12 9 6 6 7 7 6 7 5 5 4 4 5 6 4 5 4 4 4 6 8 9 8 9 8 6 3 3 4 4 4 4 4 4 4 3 4 2 6 5 5 9 7 2 8 8 10 9 11 8 8 3 1 1 6 6 6 6 7 7 5 7 6 4 4 7 7 5 4 3 5 6 5 6 6 6 5 5 6 5 5 3 2 4 5 3 2 3 2 2 2 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:65 (30,6,67)
Graph |V|:89
Solution size:1825
Filtered solution size:638
Parallel solution length:113
Parallelism:5.646
Step parallelism:16 15 13 12 9 10 12 12 8 5 6 7 7 6 6 3 3 4 5 6 4 6 5 7 11 9 8 7 11 11 11 10 10 11 6 8 9 8 7 3 5 7 7 6 7 7 4 4 5 5 6 6 7 5 6 6 5 5 7 7 7 6 6 7 4 3 4 4 4 3 3 4 4 4 6 5 5 4 3 4 3 6 6 3 3 6 6 4 4 1 1 6 6 5 5 4 3 3 2 2 3 3 3 2 2 2 2 1 1 1 2 2 1 
Solving time:0.050
Filtering time:0.010
ID:66 (30,6,68)
Graph |V|:89
Solution size:1567
Filtered solution size:473
Parallel solution length:90
Parallelism:5.256
Step parallelism:15 14 12 14 11 11 11 8 8 6 5 7 8 5 7 7 9 8 6 9 7 6 2 7 6 6 5 5 5 3 2 1 2 2 2 3 6 4 10 3 3 4 9 6 7 7 5 5 4 3 4 6 5 5 5 5 6 4 5 6 3 3 3 4 4 6 5 3 3 4 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.000
ID:67 (30,6,69)
Graph |V|:89
Solution size:1623
Filtered solution size:476
Parallel solution length:98
Parallelism:4.857
Step parallelism:15 13 10 12 9 10 10 8 9 8 9 8 9 5 5 7 7 6 7 10 7 6 4 5 6 4 3 5 5 3 2 4 4 4 4 3 5 4 1 1 4 4 7 6 7 8 5 3 3 2 2 2 3 2 3 5 4 4 3 3 3 3 6 6 5 5 5 4 5 4 5 6 3 3 1 4 3 3 3 4 3 3 2 4 4 2 5 5 5 4 4 3 2 2 3 3 3 1 
Solving time:0.050
Filtering time:0.000
ID:68 (30,6,70)
Graph |V|:89
Solution size:1708
Filtered solution size:490
Parallel solution length:107
Parallelism:4.579
Step parallelism:14 12 9 12 11 11 10 8 7 7 11 11 6 6 7 4 3 3 4 4 4 7 8 5 5 5 4 4 3 4 4 7 6 7 7 3 2 1 2 2 3 3 3 3 2 3 3 5 6 5 9 6 4 5 6 5 6 6 7 7 4 4 5 3 5 4 4 2 1 1 2 2 6 6 4 3 3 4 6 4 3 3 6 4 4 4 2 2 2 2 2 2 2 3 3 2 2 2 2 2 2 2 4 2 2 2 2 
Solving time:0.050
Filtering time:0.000
ID:69 (30,6,71)
Graph |V|:89
Solution size:1459
Filtered solution size:389
Parallel solution length:81
Parallelism:4.802
Step parallelism:13 12 12 11 11 11 11 11 8 6 6 4 6 5 5 5 7 5 7 6 7 7 8 5 5 5 4 7 8 4 6 4 3 4 5 4 3 3 3 5 4 3 3 4 4 3 3 4 3 4 4 3 3 3 3 4 4 4 2 2 1 1 1 1 1 4 2 5 1 1 5 5 6 6 5 3 4 4 2 1 1 
Solving time:0.050
Filtering time:0.000
ID:70 (30,6,72)
Graph |V|:89
Solution size:1504
Filtered solution size:350
Parallel solution length:71
Parallelism:4.930
Step parallelism:13 11 11 10 11 11 11 9 9 5 6 5 6 6 5 5 3 3 3 5 5 5 6 5 5 6 6 6 6 6 5 5 4 4 6 6 5 5 5 5 7 6 6 1 1 1 1 3 3 2 2 3 3 3 3 3 1 3 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:314
Parallel solution length:75
Parallelism:4.187
Step parallelism:12 11 10 10 10 11 11 9 8 4 5 5 6 6 5 5 5 4 3 4 4 3 4 5 5 4 4 4 4 1 2 3 3 3 4 3 5 5 5 4 2 4 3 3 4 4 2 2 2 3 3 3 3 3 2 2 2 2 2 3 3 4 3 4 5 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:307
Parallel solution length:75
Parallelism:4.093
Step parallelism:13 10 10 12 12 9 7 6 6 4 5 5 6 6 5 5 5 4 3 4 4 3 4 5 5 4 4 4 4 1 2 3 3 3 4 3 5 5 5 4 2 4 3 3 4 4 2 2 2 3 3 3 3 3 2 2 2 2 2 3 3 4 3 4 5 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:312
Parallel solution length:75
Parallelism:4.160
Step parallelism:13 10 10 12 12 8 7 6 5 5 5 4 3 6 5 5 5 5 6 6 5 4 4 4 4 5 4 4 3 5 3 3 3 3 2 3 2 2 2 3 3 3 4 3 4 4 4 3 2 2 3 3 3 2 2 5 5 5 4 4 4 3 2 2 2 2 2 2 2 2 4 2 3 3 3 
Solving time:0.040
Filtering time:0.000
ID:74 (30,6,76)
Graph |V|:89
Solution size:1417
Filtered solution size:250
Parallel solution length:68
Parallelism:3.676
Step parallelism:12 9 9 11 11 7 6 5 5 5 5 4 3 6 5 5 5 5 6 6 6 4 4 4 4 4 4 5 4 3 3 2 3 2 2 2 2 4 3 3 2 2 2 2 2 3 3 3 3 2 2 2 3 3 1 1 2 2 1 1 1 2 1 1 1 1 2 1 
Solving time:0.040
Filtering time:0.000
ID:75 (30,6,77)
Graph |V|:89
Solution size:1417
Filtered solution size:244
Parallel solution length:68
Parallelism:3.588
Step parallelism:11 8 8 10 10 6 6 5 5 5 5 4 3 6 5 5 5 5 6 6 6 4 4 4 4 4 4 5 4 3 3 2 3 2 2 2 2 4 3 3 2 2 2 2 2 3 3 3 3 2 2 2 3 3 1 1 2 2 1 1 1 2 1 1 1 1 2 1 
Solving time:0.050
Filtering time:0.000
ID:76 (30,6,78)
Graph |V|:89
Solution size:1301
Filtered solution size:194
Parallel solution length:45
Parallelism:4.311
Step parallelism:10 8 8 9 9 6 6 5 5 5 5 4 3 5 4 4 5 5 6 6 6 4 5 3 4 3 3 3 3 3 3 3 3 3 3 3 2 2 2 3 1 3 3 3 2 
Solving time:0.040
Filtering time:0.000
ID:77 (30,6,79)
Graph |V|:89
Solution size:1283
Filtered solution size:161
Parallel solution length:49
Parallelism:3.286
Step parallelism:9 7 7 8 8 6 6 5 4 3 3 3 3 5 4 4 5 5 5 5 5 4 4 3 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 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:179
Parallel solution length:69
Parallelism:2.594
Step parallelism:8 8 7 6 6 8 4 5 5 4 4 6 6 5 4 4 4 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 1 1 1 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 1 1 1 1 1 1 1 1 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:159
Parallel solution length:65
Parallelism:2.446
Step parallelism:7 8 6 6 6 7 5 6 6 5 5 4 4 3 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 2 2 2 1 1 1 1 1 1 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:106
Parallel solution length:46
Parallelism:2.304
Step parallelism:6 6 5 5 5 5 4 6 5 4 3 4 5 5 4 3 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:81 (30,6,83)
Graph |V|:89
Solution size:989
Filtered solution size:69
Parallel solution length:25
Parallelism:2.760
Step parallelism:5 6 5 5 6 5 4 4 3 3 2 3 3 3 2 1 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:61
Parallel solution length:25
Parallelism:2.440
Step parallelism:5 5 4 4 4 4 3 3 3 3 2 3 3 3 2 1 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:47
Parallel solution length:21
Parallelism:2.238
Step parallelism:4 4 4 4 4 4 2 3 3 3 2 1 1 1 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:26
Parallel solution length:10
Parallelism:2.600
Step parallelism:3 3 3 3 3 3 2 2 2 2 
Solving time:0.040
Filtering time:0.000
ID:85 (30,6,87)
Graph |V|:89
Solution size:951
Filtered solution size:16
Parallel solution length:10
Parallelism:1.600
Step parallelism:2 2 2 2 2 2 1 1 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