ID:0 (32,5,2)
Graph |V|:89
Solution size:3401
Filtered solution size:3249
Parallel solution length:394
Parallelism:8.246
Step parallelism:6 7 6 6 6 9 8 8 6 11 12 6 6 8 4 16 9 13 5 12 11 6 11 6 8 5 10 13 6 7 9 9 11 6 8 4 16 7 8 6 8 8 4 16 7 7 12 5 16 9 10 3 10 7 8 5 12 10 11 5 7 5 8 6 7 7 8 13 6 8 14 10 10 6 26 16 11 5 15 4 7 12 10 10 10 13 16 6 5 7 7 8 4 11 9 9 7 4 13 10 14 6 6 8 6 10 9 12 5 4 12 8 10 5 7 10 12 9 9 7 4 11 7 6 6 15 13 8 15 13 10 8 9 14 9 6 6 5 2 1 5 4 4 8 5 4 8 8 14 6 8 6 8 7 10 10 12 3 16 8 6 8 7 11 15 7 3 8 8 5 8 5 6 6 11 8 13 11 9 9 8 6 8 9 8 9 11 7 7 7 3 7 18 14 5 5 9 7 10 6 11 5 9 14 16 7 9 10 17 9 7 7 6 19 10 12 6 8 7 13 6 10 7 3 7 8 5 8 10 12 8 7 4 8 7 6 14 9 7 5 9 6 13 11 7 11 11 12 10 11 10 8 5 7 10 10 10 10 10 9 9 9 4 3 8 6 9 11 5 9 6 6 8 11 5 9 12 8 6 5 9 11 6 9 11 5 10 14 9 12 5 5 9 8 8 5 3 8 12 9 5 11 8 8 5 7 7 7 5 13 9 10 8 6 9 6 4 6 9 7 6 6 8 5 8 7 9 10 10 12 11 6 10 8 9 10 13 8 8 6 8 10 11 3 7 14 12 7 10 8 7 9 6 5 9 6 10 10 5 9 7 7 8 6 2 3 10 7 5 5 3 7 5 8 7 8 5 1 6 6 6 7 7 7 8 6 9 8 8 6 6 6 9 1 
Solving time:0.080
Filtering time:0.050
ID:1 (32,5,3)
Graph |V|:89
Solution size:3342
Filtered solution size:3111
Parallel solution length:380
Parallelism:8.187
Step parallelism:16 14 7 6 6 9 9 3 15 11 13 5 12 11 6 11 6 8 5 10 13 6 7 9 9 11 6 8 4 16 12 5 8 9 4 16 6 10 10 6 9 9 10 10 7 10 5 11 9 11 9 18 4 3 7 11 8 7 5 5 14 14 10 10 6 26 16 11 3 10 2 7 12 11 10 10 13 12 9 5 7 5 7 8 7 5 11 7 5 4 8 7 6 5 12 6 9 6 10 13 8 10 16 13 9 5 5 13 9 16 10 6 6 9 12 9 7 12 9 9 8 8 15 9 7 14 11 5 7 6 4 5 6 3 7 10 10 12 4 16 9 9 11 6 4 13 10 13 10 10 10 6 2 7 8 3 7 7 4 6 6 8 6 7 5 10 8 8 16 6 7 12 9 11 8 16 18 9 8 8 10 15 10 10 14 21 12 11 10 10 12 11 10 12 8 7 5 7 6 10 7 4 1 6 8 7 7 8 19 5 5 6 7 9 4 5 7 6 15 14 8 5 1 11 10 9 10 16 10 8 9 8 11 7 10 4 10 11 8 9 10 9 12 10 7 10 3 16 10 8 8 5 6 8 11 7 4 9 9 14 7 7 9 6 14 6 6 10 11 6 8 7 10 12 9 5 11 5 10 6 7 7 11 10 10 8 6 10 5 11 7 3 2 9 9 5 10 10 15 11 8 8 12 9 6 9 6 9 8 7 13 6 7 10 6 6 1 6 7 4 8 10 7 6 5 5 3 3 3 4 4 7 6 9 9 2 3 5 8 5 5 3 4 6 2 4 3 8 4 3 7 5 7 6 6 8 6 6 6 10 6 7 8 7 4 3 3 5 6 10 6 7 3 3 2 7 7 7 8 4 
Solving time:0.080
Filtering time:0.050
ID:2 (32,5,4)
Graph |V|:89
Solution size:3154
Filtered solution size:2938
Parallel solution length:359
Parallelism:8.184
Step parallelism:18 14 10 6 6 9 9 3 12 11 13 5 12 5 11 6 6 5 10 5 7 13 9 11 6 8 4 16 15 8 9 5 16 7 12 10 6 9 9 10 3 9 9 6 10 8 10 11 6 5 8 6 9 8 7 7 5 14 14 10 10 7 25 17 6 14 15 19 12 10 10 10 14 11 7 7 6 8 9 6 8 8 5 6 9 12 5 11 5 5 9 6 4 7 10 4 8 9 5 7 1 11 9 7 7 7 8 14 7 4 7 6 10 4 13 15 9 7 7 12 11 6 7 7 16 13 6 6 5 2 1 5 4 4 8 5 9 6 5 8 4 9 7 6 8 7 10 10 12 3 8 14 15 11 9 6 2 7 8 3 7 7 13 12 12 8 7 8 9 7 9 4 7 4 4 7 6 10 12 16 16 11 9 17 10 17 16 12 11 9 8 4 16 9 6 8 6 7 8 8 5 13 8 7 4 8 7 6 2 2 6 8 6 3 6 8 7 7 8 10 7 6 12 6 18 6 6 7 6 13 12 8 5 8 5 17 14 8 8 11 11 8 11 4 10 6 10 6 9 10 9 12 10 7 10 4 10 10 6 5 14 14 7 1 7 16 12 6 1 7 5 10 15 8 7 8 6 10 8 5 9 12 5 4 8 7 8 4 10 9 6 16 10 7 10 10 11 10 11 15 8 7 7 12 11 5 5 8 4 11 10 9 5 9 8 7 7 9 3 5 6 6 4 3 8 5 3 6 5 7 7 8 4 3 3 2 1 4 8 3 2 8 7 7 6 6 8 8 11 5 6 5 10 6 10 6 6 8 4 
Solving time:0.080
Filtering time:0.040
ID:3 (32,5,5)
Graph |V|:89
Solution size:3199
Filtered solution size:2980
Parallel solution length:357
Parallelism:8.347
Step parallelism:18 14 10 6 6 9 9 3 12 10 13 5 12 5 11 6 6 5 10 5 7 13 9 11 6 8 4 16 15 9 9 5 16 6 11 11 6 10 9 10 3 9 9 6 10 9 9 12 8 12 8 7 8 5 14 14 10 10 7 25 21 8 9 5 7 11 10 10 10 13 12 16 9 16 9 7 6 9 9 5 8 12 8 5 10 6 5 8 8 3 15 12 7 10 12 10 8 12 15 15 10 10 7 10 6 10 7 7 9 9 8 8 4 10 11 12 9 5 7 5 4 8 5 3 9 16 10 8 8 6 5 7 6 5 9 11 3 4 7 6 5 13 11 5 7 5 8 15 7 5 8 8 4 9 11 14 17 7 7 7 8 7 10 5 17 13 7 8 7 8 10 16 11 8 9 4 19 12 5 9 12 16 15 7 8 7 11 13 8 7 9 8 7 9 7 8 6 8 7 6 5 4 9 7 9 5 12 14 8 7 9 12 9 6 8 7 9 12 8 8 5 13 8 11 10 4 10 10 7 7 9 11 6 9 11 5 9 5 8 5 9 2 9 5 11 7 7 9 11 10 14 11 9 9 6 6 8 11 8 5 7 8 8 9 4 6 14 8 6 7 14 5 11 7 3 2 9 9 9 7 16 8 11 8 9 7 14 10 11 9 7 7 7 9 8 7 4 9 9 9 6 13 8 4 2 8 3 8 2 5 5 4 6 6 4 5 5 6 7 6 4 7 6 2 7 7 4 6 6 6 6 6 7 7 6 6 11 6 11 8 6 6 8 5 6 6 11 5 8 7 8 6 5 5 5 9 1 
Solving time:0.080
Filtering time:0.040
ID:4 (32,5,6)
Graph |V|:89
Solution size:3268
Filtered solution size:3007
Parallel solution length:349
Parallelism:8.616
Step parallelism:28 17 7 5 9 8 16 14 6 12 5 11 6 6 5 10 5 9 10 4 10 6 8 4 16 12 6 8 9 4 16 6 8 11 9 10 10 10 6 10 8 11 8 14 16 2 2 6 10 8 7 5 5 13 13 9 9 6 23 16 11 5 11 5 8 12 10 10 10 13 14 12 10 12 6 10 7 2 5 18 12 8 6 11 7 7 13 7 7 5 6 7 12 14 7 6 7 7 7 9 10 6 5 5 13 12 9 18 15 4 9 9 8 15 14 7 5 5 4 13 8 9 6 11 7 7 9 4 11 14 11 11 11 9 9 11 7 15 15 8 8 8 5 15 10 5 10 12 8 7 7 17 7 6 5 8 8 5 8 19 12 17 10 18 9 13 15 8 8 7 19 14 8 8 4 11 9 7 7 7 10 8 6 6 11 8 8 6 6 9 5 5 4 7 6 16 18 11 7 9 13 12 17 11 8 9 10 14 12 5 10 12 10 11 9 11 11 14 11 7 4 1 11 10 9 8 7 10 12 7 11 5 11 12 9 8 6 3 9 7 7 9 7 10 12 9 7 7 15 10 12 8 6 8 7 11 14 11 13 8 7 9 5 8 12 10 1 14 9 8 10 1 9 14 13 9 8 8 11 7 5 9 12 9 6 5 14 4 5 10 9 10 9 5 3 2 3 4 4 10 10 6 7 5 2 2 2 5 2 9 9 2 9 6 5 6 4 4 3 2 1 4 8 3 2 7 8 7 6 6 7 6 6 11 9 8 5 7 6 6 3 11 5 9 6 5 4 8 1 
Solving time:0.080
Filtering time:0.040
ID:5 (32,5,7)
Graph |V|:89
Solution size:3113
Filtered solution size:2882
Parallel solution length:345
Parallelism:8.354
Step parallelism:27 15 11 5 9 8 16 14 5 12 5 11 8 5 2 10 11 7 3 3 9 8 8 5 16 9 9 9 5 16 6 13 10 11 10 10 8 9 5 10 9 9 12 8 12 8 7 8 5 13 13 9 9 7 24 20 13 9 3 7 11 10 10 10 12 14 8 1 6 9 6 10 8 5 4 8 7 6 5 7 10 4 7 7 13 8 1 7 8 6 8 7 4 1 8 7 10 7 14 14 9 7 11 8 7 12 12 8 7 7 12 12 8 12 10 7 7 6 4 3 5 8 5 8 11 3 5 8 7 7 9 11 10 8 14 11 8 6 8 13 9 17 10 10 6 4 13 13 9 9 10 7 13 12 10 9 15 7 9 8 10 19 9 14 12 8 8 11 11 10 7 7 12 7 7 13 11 7 7 12 16 15 7 8 7 11 18 9 6 8 6 7 10 7 7 10 9 8 7 7 5 11 11 8 13 8 9 5 10 10 10 8 10 10 10 8 6 10 9 12 10 4 10 10 6 11 12 8 7 5 9 9 7 3 8 15 8 7 7 2 1 11 10 9 9 7 10 11 13 8 11 5 11 9 5 9 7 7 8 8 6 6 6 9 7 7 7 8 9 5 4 9 9 7 4 6 5 6 6 13 10 14 9 4 7 5 1 9 4 3 9 9 4 9 8 8 6 6 8 7 8 7 8 9 7 4 7 6 2 10 8 8 6 4 7 2 6 7 5 5 7 4 8 9 4 7 3 6 5 6 8 7 8 7 7 8 6 7 4 11 6 11 8 4 1 
Solving time:0.080
Filtering time:0.040
ID:6 (32,5,8)
Graph |V|:89
Solution size:2961
Filtered solution size:2678
Parallel solution length:321
Parallelism:8.343
Step parallelism:27 15 11 5 9 8 16 14 6 12 5 11 8 5 2 10 11 7 3 3 9 8 8 5 16 9 9 9 5 16 6 13 10 11 10 10 8 9 5 10 9 9 12 13 11 9 7 9 13 8 13 8 11 15 14 5 8 1 7 10 9 9 15 11 12 8 6 9 7 5 8 9 2 6 10 7 3 5 4 6 6 9 8 13 9 2 7 8 5 5 4 2 1 6 10 10 6 10 7 7 11 8 7 12 15 8 7 7 11 8 4 12 10 7 10 6 4 3 12 10 8 8 7 5 6 5 7 6 15 8 8 14 10 8 10 5 8 9 7 5 7 10 7 12 10 6 10 12 3 7 5 8 7 7 6 6 6 8 7 8 7 9 6 7 9 8 9 14 16 16 8 16 16 16 8 9 11 18 5 11 10 13 10 6 10 6 7 5 5 12 9 4 8 7 7 12 4 7 6 14 9 7 14 5 6 7 5 7 14 6 10 10 13 10 9 15 9 7 5 15 7 5 15 9 9 9 13 13 1 6 2 1 11 9 12 9 7 10 13 10 7 12 12 8 6 7 7 9 7 7 7 7 6 7 4 8 11 10 10 7 6 6 9 10 9 12 7 10 3 5 8 7 7 12 5 8 14 12 2 9 11 9 8 7 11 9 11 8 5 6 9 7 11 6 7 6 3 4 5 8 3 2 9 7 7 7 7 8 5 8 6 5 5 10 7 5 4 11 7 11 3 
Solving time:0.070
Filtering time:0.040
ID:7 (32,5,9)
Graph |V|:89
Solution size:3025
Filtered solution size:2730
Parallel solution length:324
Parallelism:8.426
Step parallelism:29 15 11 5 9 8 16 14 5 12 5 11 8 5 2 10 11 7 3 3 9 8 8 5 16 9 9 9 5 16 6 13 10 11 10 10 8 9 5 10 9 9 11 5 8 8 8 7 9 13 8 13 8 11 14 13 11 9 2 7 10 9 9 15 14 12 5 8 9 7 5 6 6 4 7 7 8 5 12 7 13 9 2 7 8 5 5 4 2 1 7 8 10 6 10 7 13 18 9 8 9 11 6 9 10 8 9 18 14 4 4 3 12 10 8 7 6 5 5 14 17 9 11 16 10 8 7 8 7 10 12 6 3 7 7 7 10 7 4 8 8 8 12 10 8 8 8 8 3 5 5 8 9 9 16 11 10 5 8 13 6 13 15 18 9 9 17 7 9 8 8 8 7 10 12 12 6 7 13 8 8 8 7 13 6 5 11 10 6 6 6 10 8 6 7 7 5 7 9 7 13 11 10 9 10 8 15 10 10 9 6 6 12 7 2 14 10 14 8 5 9 2 9 7 11 7 9 10 4 6 15 14 5 9 6 11 10 13 11 10 9 4 10 8 10 12 12 5 9 3 9 10 10 7 8 10 9 11 8 15 15 8 9 10 1 9 8 11 3 8 8 9 9 8 8 3 6 10 3 10 6 6 11 7 4 10 7 6 7 5 3 10 9 8 12 5 3 9 2 5 9 4 6 4 5 3 7 6 6 5 9 6 6 5 7 5 8 7 5 10 5 6 8 4 
Solving time:0.080
Filtering time:0.030
ID:8 (32,5,10)
Graph |V|:89
Solution size:2956
Filtered solution size:2623
Parallel solution length:314
Parallelism:8.354
Step parallelism:26 14 13 8 9 13 16 14 5 12 5 11 8 5 2 10 11 7 3 3 9 8 8 5 16 9 9 9 5 16 6 12 7 10 9 10 8 9 5 10 11 13 14 9 8 8 7 5 13 13 9 12 12 17 7 10 4 8 4 10 11 10 10 10 9 15 9 16 6 5 7 2 5 4 6 8 5 5 12 11 9 4 9 8 6 4 13 7 7 17 6 12 8 9 6 10 9 10 19 5 8 7 3 1 8 8 12 9 4 6 5 6 4 4 9 11 6 10 8 9 7 18 7 15 14 11 10 11 8 6 8 9 6 6 6 4 12 9 8 14 10 18 17 11 10 9 9 14 12 7 10 8 8 11 15 15 9 9 13 12 6 12 9 7 4 10 5 9 5 8 10 9 13 7 5 6 7 5 8 10 9 9 8 17 9 7 6 8 7 14 16 8 8 12 9 10 6 7 5 11 10 10 13 9 5 5 12 16 4 10 10 8 9 2 9 8 14 7 8 7 8 8 2 7 7 3 7 8 9 9 8 6 7 7 8 6 9 7 6 6 4 3 12 8 6 9 7 7 1 6 7 9 7 14 12 7 14 9 12 10 10 11 7 7 7 13 8 5 3 5 5 4 10 5 3 3 3 9 6 8 11 8 8 7 5 3 5 5 7 5 5 7 7 7 10 5 4 7 6 4 6 6 8 6 6 2 7 5 9 6 5 4 8 1 
Solving time:0.080
Filtering time:0.030
ID:9 (32,5,11)
Graph |V|:89
Solution size:2823
Filtered solution size:2487
Parallel solution length:300
Parallelism:8.290
Step parallelism:25 12 12 8 9 14 16 12 5 12 5 11 13 6 4 11 13 7 15 9 8 5 13 10 12 5 9 5 11 7 9 10 7 8 6 10 11 13 14 9 8 8 7 5 13 13 9 12 12 17 7 10 4 8 4 10 11 10 10 10 9 14 9 16 6 5 7 2 5 5 6 8 5 6 10 9 6 4 14 8 6 6 13 20 13 12 13 9 10 11 6 6 6 6 1 7 3 8 9 6 5 6 4 4 10 12 16 5 9 8 15 15 12 11 8 9 8 3 7 7 6 8 4 10 9 9 8 6 7 11 8 7 4 21 13 6 6 5 8 9 8 4 15 14 9 8 15 2 11 6 8 10 15 12 6 8 6 8 6 5 5 14 12 10 5 5 7 6 9 7 4 3 6 7 7 7 12 5 7 10 6 4 10 6 11 8 5 5 11 10 10 11 8 7 7 15 11 10 12 11 10 11 6 8 7 12 8 8 4 6 14 11 10 7 2 6 5 7 8 6 9 12 12 2 6 11 11 8 7 6 7 10 9 11 8 6 6 10 13 10 7 13 5 9 8 4 6 12 6 11 5 7 8 7 8 10 6 2 10 8 8 6 7 5 9 5 7 3 6 6 6 8 2 5 7 2 7 7 4 6 6 6 6 6 7 7 6 6 11 6 11 7 6 10 8 7 5 4 8 1 
Solving time:0.070
Filtering time:0.030
ID:10 (32,5,12)
Graph |V|:89
Solution size:2917
Filtered solution size:2498
Parallel solution length:312
Parallelism:8.006
Step parallelism:25 12 12 8 9 14 16 12 5 12 5 11 13 6 4 11 13 7 15 9 8 5 13 10 12 5 9 5 10 7 9 10 10 12 6 10 9 7 10 9 8 8 7 5 13 13 9 12 12 17 9 9 9 3 8 11 10 10 10 9 14 9 16 6 5 7 2 5 5 6 8 5 6 6 11 6 4 14 8 6 7 13 14 8 7 13 11 11 11 5 7 10 10 7 5 6 14 7 7 6 4 3 6 8 14 4 5 10 11 11 14 16 14 14 9 8 6 5 9 8 9 5 15 13 8 8 4 7 10 15 11 7 11 11 8 5 18 4 8 9 3 6 10 10 6 15 6 8 8 8 10 7 6 10 11 5 3 12 11 11 10 5 7 6 6 6 6 14 10 6 10 9 7 6 6 1 14 12 9 8 14 14 12 8 7 5 7 9 8 12 11 13 14 6 9 10 8 2 10 8 9 3 11 13 6 10 7 7 8 7 6 6 6 6 7 5 4 4 4 5 8 6 5 2 6 6 5 7 6 9 12 15 11 9 7 9 8 6 7 6 8 2 7 7 6 4 4 6 6 3 5 8 9 5 10 10 8 5 4 9 8 3 3 7 2 4 8 9 9 2 5 2 5 9 1 5 6 6 7 3 9 5 4 1 10 3 6 5 9 7 7 7 7 8 4 8 3 1 7 7 4 6 4 9 6 7 6 9 5 8 8 3 
Solving time:0.070
Filtering time:0.030
ID:11 (32,5,13)
Graph |V|:89
Solution size:2917
Filtered solution size:2487
Parallel solution length:312
Parallelism:7.971
Step parallelism:24 14 12 8 9 14 16 12 5 12 5 11 13 6 4 11 12 9 14 8 5 7 9 10 8 4 8 5 10 7 9 10 10 12 6 10 9 7 10 9 8 8 7 5 13 13 9 12 12 17 9 9 9 3 8 11 10 10 10 9 14 9 16 6 5 7 2 5 5 6 8 5 6 6 11 6 4 14 8 6 7 13 14 8 7 13 11 11 11 5 7 10 10 7 5 6 14 7 7 6 4 3 6 8 14 4 5 10 11 11 14 16 14 14 9 8 6 5 9 8 9 5 15 13 8 8 4 7 10 15 11 7 11 11 8 5 18 4 8 9 3 6 10 10 6 15 6 8 8 8 10 7 6 10 11 5 3 12 11 11 10 5 7 6 6 6 6 14 10 6 10 9 7 6 6 1 14 12 9 8 14 14 12 8 7 5 7 9 8 12 11 13 14 6 9 10 8 2 10 8 9 3 11 13 6 10 7 7 8 7 6 6 6 6 7 5 4 4 4 5 8 6 5 2 6 6 5 7 6 9 12 15 11 9 7 9 8 6 7 6 8 2 7 7 6 4 4 6 6 3 5 8 9 5 10 10 8 5 4 9 8 3 3 7 2 4 8 9 9 2 5 2 5 9 1 5 6 6 7 3 9 5 4 1 10 3 6 5 9 7 7 7 7 8 4 8 3 1 7 7 4 6 4 9 6 7 6 9 5 8 8 3 
Solving time:0.070
Filtering time:0.030
ID:12 (32,5,14)
Graph |V|:89
Solution size:2917
Filtered solution size:2477
Parallel solution length:307
Parallelism:8.068
Step parallelism:24 14 12 8 9 14 16 12 5 12 5 11 13 6 4 11 12 9 14 8 5 7 9 10 8 4 8 5 10 7 9 10 10 12 6 10 9 8 9 9 8 8 7 5 13 13 9 12 12 21 18 17 17 11 11 14 9 16 6 5 7 2 5 5 6 8 5 6 6 11 6 4 14 8 6 7 13 14 8 7 13 11 11 11 5 7 10 10 7 5 6 14 7 7 6 4 3 6 8 14 4 5 10 11 11 14 16 14 14 9 8 6 5 9 8 9 5 15 13 8 8 4 7 10 15 11 7 11 11 8 5 18 4 8 9 3 6 10 10 6 15 6 8 8 8 10 7 6 10 11 5 3 12 11 11 10 5 7 6 6 6 6 14 10 6 10 9 7 6 6 1 14 12 9 8 14 14 12 8 7 5 7 9 8 12 11 13 14 6 9 10 8 2 10 8 9 3 11 13 6 10 7 7 8 7 6 6 6 6 7 5 4 4 4 5 8 6 5 2 6 6 5 7 6 9 12 15 11 9 7 9 8 6 7 6 8 2 7 7 6 4 4 6 6 3 5 8 9 5 10 10 8 5 4 9 8 3 3 7 2 4 8 9 9 2 5 2 5 9 1 5 6 6 7 3 9 5 4 1 10 3 6 5 9 7 7 7 7 8 4 8 3 1 7 7 4 6 4 9 6 7 6 9 5 8 8 3 
Solving time:0.080
Filtering time:0.020
ID:13 (32,5,15)
Graph |V|:89
Solution size:2889
Filtered solution size:2447
Parallel solution length:297
Parallelism:8.239
Step parallelism:25 14 12 8 9 14 17 12 5 12 6 12 9 7 3 10 12 9 14 7 4 7 9 10 8 6 8 3 7 6 12 11 10 12 6 10 9 8 9 9 8 8 7 6 13 13 9 12 12 22 17 17 12 14 5 8 5 11 8 6 1 5 4 11 11 7 7 6 10 11 9 7 6 7 14 10 9 8 11 9 6 5 12 7 4 7 10 10 11 12 9 6 16 7 6 7 6 5 6 11 6 11 4 11 11 8 9 6 6 7 7 5 9 3 6 2 6 5 7 11 12 13 9 7 7 6 11 13 7 15 7 15 6 14 7 6 9 14 14 7 6 12 9 7 11 8 7 6 5 6 6 6 4 6 7 1 9 6 6 6 6 12 11 10 6 11 10 9 18 11 8 5 9 8 8 17 9 11 9 6 5 14 19 9 2 11 8 3 6 11 7 10 8 2 10 9 10 7 13 8 13 9 7 15 9 7 9 4 9 7 5 4 9 3 3 6 7 7 7 10 13 7 7 10 7 5 4 10 11 10 9 10 13 8 9 15 12 7 9 9 11 9 9 9 10 8 5 9 12 4 10 3 5 6 2 5 4 7 5 2 6 5 6 7 6 7 8 2 7 2 7 5 7 6 8 3 3 6 4 6 6 6 10 6 7 6 7 6 6 9 3 2 7 7 7 8 4 
Solving time:0.080
Filtering time:0.020
ID:14 (32,5,16)
Graph |V|:89
Solution size:2689
Filtered solution size:2245
Parallel solution length:278
Parallelism:8.076
Step parallelism:25 14 12 8 9 14 17 12 5 12 6 12 9 7 3 10 12 9 14 7 4 7 9 10 8 6 8 3 7 6 12 11 10 12 6 10 9 7 11 9 8 8 7 6 13 13 9 8 3 15 22 21 15 11 9 5 8 5 11 6 2 8 6 15 9 4 8 6 6 6 17 12 8 7 9 9 8 2 5 5 4 9 17 7 4 2 8 9 5 7 5 4 9 16 9 7 6 5 5 6 6 6 5 9 8 7 5 12 6 9 13 10 6 13 14 6 11 5 6 7 8 13 8 14 13 15 10 8 7 8 13 7 6 15 6 6 5 2 7 17 6 10 9 8 8 6 12 10 4 11 6 5 8 6 4 9 9 9 9 7 9 6 9 13 6 6 7 1 14 8 12 19 7 9 6 11 12 11 10 7 5 3 10 9 13 3 11 11 16 9 10 6 10 6 8 16 11 6 1 3 10 5 5 4 5 8 6 4 4 7 10 9 6 5 18 9 10 10 5 4 7 6 8 6 6 7 7 7 6 11 7 10 8 6 5 7 13 7 8 9 7 8 4 5 4 9 4 7 8 5 4 3 1 5 8 4 6 8 4 7 8 7 4 3 3 5 6 10 6 7 3 3 2 7 7 7 8 4 
Solving time:0.070
Filtering time:0.030
ID:15 (32,5,17)
Graph |V|:89
Solution size:2802
Filtered solution size:2345
Parallel solution length:290
Parallelism:8.086
Step parallelism:30 14 12 8 9 14 17 12 5 12 6 12 9 7 3 10 12 9 14 7 4 7 9 10 8 6 8 3 7 6 12 11 10 12 6 10 9 7 11 9 8 8 7 6 13 13 9 8 3 15 22 21 15 11 11 5 8 5 11 6 2 8 9 9 9 4 8 6 6 6 17 12 8 8 9 9 10 2 5 5 4 9 17 7 4 2 8 9 5 7 5 4 9 8 8 7 9 5 3 9 7 5 12 13 8 9 7 2 4 9 5 9 7 12 5 3 5 4 7 8 7 6 7 15 8 13 15 10 8 8 7 7 15 16 7 6 10 15 7 10 10 11 9 9 6 11 6 3 8 5 8 9 7 13 7 8 4 7 6 6 6 5 7 7 6 9 5 7 6 11 8 10 7 8 6 8 12 8 13 11 10 13 8 15 10 6 10 10 6 6 11 4 11 10 9 9 5 6 8 12 14 7 7 7 9 9 5 15 8 7 2 7 2 8 8 7 6 10 7 11 5 8 7 12 8 6 5 11 13 14 8 11 4 6 6 8 3 4 7 7 7 3 11 10 9 6 5 7 9 6 6 7 6 6 9 6 8 7 5 5 7 7 5 7 8 6 6 5 6 5 7 6 4 7 6 6 6 11 6 7 6 7 8 6 6 6 3 6 6 3 
Solving time:0.070
Filtering time:0.020
ID:16 (32,5,18)
Graph |V|:89
Solution size:2744
Filtered solution size:2269
Parallel solution length:275
Parallelism:8.251
Step parallelism:32 14 12 8 9 14 17 12 7 13 8 8 8 5 2 10 12 9 14 7 4 7 9 10 8 6 8 3 7 6 12 11 10 11 6 10 9 7 11 9 8 8 7 7 12 12 11 11 9 22 17 17 15 10 8 5 11 6 2 1 5 9 9 8 9 19 5 10 7 6 9 9 11 5 8 5 12 10 10 11 9 9 10 8 7 8 8 9 7 7 6 4 3 12 4 7 7 6 5 5 11 7 6 9 5 8 5 9 11 11 6 8 10 5 3 3 8 8 6 5 5 7 5 8 10 8 11 6 9 8 7 8 6 12 15 17 14 13 9 9 9 8 18 6 6 8 11 7 8 4 9 10 14 7 11 5 9 9 13 15 9 11 11 15 13 9 8 10 9 11 9 8 4 8 8 7 13 8 4 6 9 13 11 9 11 6 9 6 8 7 4 7 8 11 5 4 10 3 8 6 6 6 6 8 11 7 7 8 6 12 8 12 10 8 4 3 11 7 7 4 4 4 11 7 10 7 10 8 7 9 5 10 2 3 7 7 8 5 4 7 3 5 4 5 2 6 9 7 7 6 6 8 5 6 6 11 6 11 8 6 6 8 5 6 6 11 5 8 7 5 10 5 6 8 4 
Solving time:0.060
Filtering time:0.030
ID:17 (32,5,19)
Graph |V|:89
Solution size:2859
Filtered solution size:2264
Parallel solution length:281
Parallelism:8.057
Step parallelism:29 25 12 8 9 14 15 12 7 13 8 8 8 5 2 10 12 11 14 7 4 7 8 6 11 4 10 19 13 10 9 7 10 9 8 15 14 12 14 12 14 6 9 9 13 12 9 7 9 13 9 5 9 15 6 12 13 7 7 6 9 7 9 9 11 4 6 11 11 11 10 6 14 4 10 11 8 5 5 6 8 6 5 6 6 6 4 8 7 5 11 14 3 6 5 4 15 4 9 9 5 6 5 12 7 5 12 13 8 9 7 7 8 6 5 8 9 16 4 6 7 5 6 10 7 5 5 15 9 7 6 9 20 5 3 11 8 14 8 15 11 8 7 12 7 9 6 12 8 5 8 5 10 7 7 7 8 8 6 8 6 7 4 10 4 3 1 1 9 9 12 8 6 12 9 9 9 9 8 6 8 9 12 11 7 3 9 2 7 13 8 8 11 6 3 7 6 6 10 16 11 7 6 9 7 7 9 11 8 12 9 11 6 6 8 6 5 6 7 8 2 4 9 9 10 8 6 9 5 7 6 6 5 6 13 10 8 5 4 5 7 4 8 4 2 8 7 9 4 4 4 11 6 9 3 5 4 3 3 7 5 5 5 10 6 9 6 4 4 1 6 9 8 6 10 11 7 7 6 5 1 
Solving time:0.070
Filtering time:0.030
ID:18 (32,5,20)
Graph |V|:89
Solution size:2609
Filtered solution size:2079
Parallel solution length:259
Parallelism:8.027
Step parallelism:28 21 12 8 9 14 15 12 7 13 8 8 8 5 2 10 12 11 14 7 4 7 8 6 11 4 10 19 13 10 9 7 10 9 8 15 14 12 14 12 14 6 9 9 13 12 5 7 9 13 10 7 9 15 15 14 8 7 7 6 8 6 4 8 14 4 1 6 11 11 11 10 6 14 4 10 7 8 7 9 8 12 8 11 15 10 7 4 5 3 3 5 6 7 6 6 10 11 10 15 8 7 21 10 5 7 6 8 5 5 1 1 11 8 7 7 5 13 18 7 7 6 10 14 8 14 7 2 14 9 11 7 7 8 10 9 7 5 8 9 5 7 9 5 5 3 9 6 5 9 4 11 7 8 13 12 8 6 4 3 4 10 11 10 2 10 14 7 9 9 10 10 2 6 6 15 14 9 4 10 10 8 10 8 7 6 6 8 6 8 7 11 8 10 4 6 7 5 6 7 4 7 13 10 7 4 3 6 7 7 7 10 5 7 6 6 5 3 5 10 8 11 2 4 3 2 3 8 5 10 6 8 7 5 4 4 4 3 7 3 3 2 4 6 7 9 1 6 7 6 7 5 6 5 5 7 10 7 4 
Solving time:0.070
Filtering time:0.020
ID:19 (32,5,21)
Graph |V|:89
Solution size:2876
Filtered solution size:2232
Parallel solution length:269
Parallelism:8.297
Step parallelism:32 23 12 8 9 14 15 12 7 13 8 8 8 5 2 10 12 10 14 7 4 7 8 6 11 4 10 19 13 10 9 7 10 9 8 15 14 12 14 12 11 6 9 9 15 15 9 8 10 10 10 6 14 9 10 6 9 9 4 9 9 2 6 4 6 6 6 6 8 7 6 6 12 8 6 7 14 8 6 11 10 7 6 5 15 11 6 5 11 6 1 9 10 9 11 17 10 9 8 6 6 6 7 5 8 19 14 13 12 10 11 16 7 6 4 4 4 10 9 8 9 11 8 7 8 5 7 7 16 10 6 17 11 7 16 6 14 7 9 7 8 6 10 5 10 8 10 12 8 6 13 10 10 8 6 9 10 10 14 6 7 13 9 8 3 7 5 8 8 11 8 6 6 11 14 7 12 6 1 10 6 6 3 12 9 9 7 7 13 15 14 14 9 13 10 9 9 5 8 4 5 6 5 3 7 7 6 6 10 6 7 5 3 2 10 10 10 10 13 7 8 9 4 4 4 3 3 3 9 3 8 9 9 8 8 4 3 10 10 6 7 4 3 3 4 4 4 2 5 5 6 9 2 1 6 8 7 6 4 6 3 5 4 9 8 6 8 5 2 
Solving time:0.070
Filtering time:0.020
ID:20 (32,5,22)
Graph |V|:89
Solution size:3073
Filtered solution size:2371
Parallel solution length:286
Parallelism:8.290
Step parallelism:33 22 12 10 6 8 13 12 14 7 12 11 11 7 8 11 20 10 7 17 9 14 5 8 9 11 6 13 11 5 8 15 14 11 17 12 5 2 8 7 11 11 8 5 8 5 13 9 10 8 11 9 6 4 8 9 1 5 5 8 9 3 6 7 4 10 8 6 10 7 5 16 22 13 7 4 7 9 7 5 4 8 6 10 11 11 6 9 4 4 12 15 9 9 12 13 12 17 12 9 9 4 7 10 11 7 8 6 9 7 7 10 12 13 14 11 10 8 6 8 7 10 6 6 12 11 5 10 9 10 7 10 11 6 11 2 6 6 7 8 13 8 7 6 6 6 7 10 7 4 10 8 8 8 6 5 7 7 12 13 9 9 8 3 10 10 6 9 12 9 4 7 10 7 6 9 8 7 6 11 9 8 8 5 8 8 6 3 8 6 12 12 9 6 9 5 6 7 7 9 10 7 17 9 14 12 9 3 2 5 4 6 8 7 9 7 6 7 8 7 11 11 9 8 4 5 4 4 2 9 9 13 9 10 8 10 9 9 8 6 5 5 4 6 6 6 6 9 7 8 5 7 6 7 5 5 5 10 6 8 8 9 8 5 3 8 1 6 8 6 8 8 9 8 2 10 7 6 7 7 9 7 6 5 5 5 
Solving time:0.080
Filtering time:0.020
ID:21 (32,5,23)
Graph |V|:89
Solution size:2700
Filtered solution size:2067
Parallel solution length:248
Parallelism:8.335
Step parallelism:35 22 11 9 6 8 12 14 9 14 11 11 9 10 14 23 10 9 9 6 10 5 8 9 11 6 12 10 7 13 15 12 13 18 8 6 8 3 6 9 8 9 11 6 13 10 18 15 10 10 7 7 6 11 12 8 5 9 14 13 5 6 4 10 8 17 9 4 11 8 7 3 5 11 9 9 9 10 4 7 12 14 11 8 12 9 14 11 14 14 12 7 11 10 10 12 13 14 13 12 6 13 12 10 8 8 15 9 14 3 10 4 8 11 5 5 3 9 7 4 6 5 6 9 6 10 4 7 7 6 2 6 8 4 7 6 10 7 7 5 13 10 7 5 10 9 13 6 3 9 4 11 11 8 10 8 8 11 9 6 4 9 13 7 12 12 9 10 7 8 8 9 8 6 6 3 5 8 7 5 3 6 6 6 8 5 10 7 10 9 7 7 11 5 4 5 12 7 5 8 7 7 6 3 6 8 5 9 8 5 9 8 8 5 4 8 8 7 5 4 1 3 2 4 6 3 3 2 4 6 6 6 5 7 5 4 3 8 7 6 6 7 7 5 8 10 7 4 
Solving time:0.070
Filtering time:0.020
ID:22 (32,5,24)
Graph |V|:89
Solution size:2479
Filtered solution size:1831
Parallel solution length:223
Parallelism:8.211
Step parallelism:35 19 14 9 7 8 12 15 10 14 11 11 13 11 13 15 9 12 8 5 8 6 6 9 11 12 17 11 13 8 9 6 9 10 7 21 11 14 9 8 14 11 11 10 12 11 7 13 10 11 9 12 8 2 3 3 6 8 10 7 6 8 9 18 10 15 9 9 10 7 7 6 9 5 6 12 8 11 14 16 9 16 14 10 7 11 8 6 10 10 6 9 18 14 15 15 15 7 7 8 7 10 6 6 5 16 2 6 6 7 14 6 10 4 8 9 6 3 10 9 4 7 8 8 7 2 5 9 7 9 5 6 8 7 6 5 4 8 12 9 3 5 5 2 8 7 9 8 12 8 8 8 7 9 4 8 8 1 6 6 7 7 6 5 5 6 4 3 6 4 4 10 13 8 8 11 10 8 7 4 3 7 4 4 3 4 11 9 3 3 3 10 7 7 10 12 7 4 4 7 4 6 3 3 3 3 4 3 3 5 1 3 7 6 8 6 6 4 9 6 6 9 3 
Solving time:0.070
Filtering time:0.010
ID:23 (32,5,25)
Graph |V|:89
Solution size:2683
Filtered solution size:1924
Parallel solution length:238
Parallelism:8.084
Step parallelism:34 22 15 9 7 8 14 10 16 17 5 4 5 7 8 11 10 5 8 15 7 8 7 11 7 9 13 15 9 10 7 7 8 10 7 21 10 8 8 8 11 11 13 11 11 7 12 8 12 8 8 10 6 2 6 4 3 7 7 10 4 5 8 11 9 10 9 8 16 7 7 5 9 11 5 14 10 9 10 8 8 7 11 2 7 17 14 10 9 4 9 13 3 13 12 12 8 8 7 12 11 13 6 8 7 9 5 6 14 10 5 12 12 12 6 10 8 6 9 11 11 8 4 4 4 8 5 10 6 5 11 8 7 6 6 9 9 7 6 12 10 7 11 9 14 9 11 14 8 5 9 5 9 5 7 6 5 9 15 10 10 9 10 6 3 8 5 6 6 6 8 5 8 8 6 9 9 8 8 5 4 9 1 1 6 6 10 13 6 3 2 2 2 8 10 11 9 9 12 6 8 2 1 5 5 4 7 3 4 7 4 5 3 3 7 7 8 2 4 7 6 5 5 4 4 4 4 8 3 9 4 7 6 6 8 8 7 5 
Solving time:0.060
Filtering time:0.020
ID:24 (32,5,26)
Graph |V|:89
Solution size:2683
Filtered solution size:1916
Parallel solution length:237
Parallelism:8.084
Step parallelism:38 22 15 10 11 10 14 10 11 11 6 6 4 7 11 8 5 8 15 7 8 7 11 7 9 13 15 9 10 7 7 8 10 7 21 10 8 8 8 11 11 13 11 11 7 12 8 12 8 8 10 6 2 6 4 3 7 7 10 4 5 8 11 9 10 9 8 16 7 7 5 9 11 5 14 10 9 10 8 8 7 11 2 7 17 14 10 9 4 9 13 3 13 12 12 8 8 7 12 11 13 6 8 7 9 5 6 14 10 5 12 12 12 6 10 8 6 9 11 11 8 4 4 4 8 5 10 6 5 11 8 7 6 6 9 9 7 6 12 10 7 11 9 14 9 11 14 8 5 9 5 9 5 7 6 5 9 15 10 10 9 10 6 3 8 5 6 6 6 8 5 8 8 6 9 9 8 8 5 4 9 1 1 6 6 10 13 6 3 2 2 2 8 10 11 9 9 12 6 8 2 1 5 5 4 7 3 4 7 4 5 3 3 7 7 8 2 4 7 6 5 5 4 4 4 4 8 3 9 4 7 6 6 8 8 7 5 
Solving time:0.070
Filtering time:0.010
ID:25 (32,5,27)
Graph |V|:89
Solution size:2710
Filtered solution size:1893
Parallel solution length:243
Parallelism:7.790
Step parallelism:37 21 14 9 11 10 14 10 14 6 8 5 3 7 9 8 8 14 9 6 10 8 9 13 11 12 9 11 8 8 10 7 22 10 8 8 8 12 11 14 10 16 10 12 8 14 6 2 1 2 1 6 5 2 5 2 1 6 4 9 8 6 5 10 9 12 4 6 14 10 7 12 10 5 1 4 6 6 5 5 3 9 9 9 5 6 11 7 10 8 15 12 6 10 8 10 9 8 9 10 4 3 5 8 9 8 9 12 13 9 9 6 8 14 6 7 5 11 13 5 7 14 10 5 9 14 7 6 9 10 5 6 9 8 7 8 10 9 6 5 8 8 5 8 6 13 9 14 12 13 13 17 12 8 5 9 10 11 10 6 4 2 8 7 8 7 7 13 8 5 6 5 7 5 5 7 6 5 5 6 10 6 7 3 3 3 5 5 7 4 6 4 7 9 8 10 10 13 8 7 10 8 5 3 2 1 5 5 3 4 4 5 4 5 8 3 5 5 5 6 7 6 5 6 5 7 4 3 5 9 3 8 7 4 8 4 9 8 7 4 6 9 4 
Solving time:0.060
Filtering time:0.030
ID:26 (32,5,28)
Graph |V|:89
Solution size:2829
Filtered solution size:1973
Parallel solution length:256
Parallelism:7.707
Step parallelism:36 21 15 9 11 10 14 10 14 6 8 5 3 7 9 8 8 14 9 6 9 7 8 11 10 11 9 11 8 8 10 7 21 10 8 8 8 12 11 13 9 16 10 12 8 14 6 2 1 2 1 6 5 2 5 2 1 6 4 9 8 5 6 5 5 7 12 11 5 8 12 8 5 5 11 11 9 6 6 6 6 9 3 10 9 9 6 10 3 8 11 12 7 8 7 5 7 8 14 11 5 7 8 10 6 11 7 6 9 4 6 3 5 18 11 11 10 8 15 13 10 8 16 9 7 11 7 11 3 10 12 8 12 7 7 9 9 5 7 5 6 6 2 5 7 9 7 5 5 11 4 9 4 3 9 10 9 7 9 6 7 8 6 11 16 15 10 8 6 8 11 6 5 10 6 5 3 10 9 8 6 9 6 6 11 8 7 6 6 6 6 6 5 8 7 7 12 4 2 7 12 7 11 4 5 7 9 5 5 5 6 6 5 11 12 5 10 8 6 8 5 8 9 3 4 4 7 1 1 5 7 6 5 5 3 4 3 7 6 4 6 10 5 8 6 7 5 4 3 4 4 9 8 5 3 2 
Solving time:0.070
Filtering time:0.020
ID:27 (32,5,29)
Graph |V|:89
Solution size:2550
Filtered solution size:1736
Parallel solution length:220
Parallelism:7.891
Step parallelism:35 22 15 9 11 12 14 10 9 7 10 9 8 4 7 10 9 9 6 8 8 12 8 9 14 13 11 8 9 6 9 9 7 20 7 8 8 8 11 14 15 16 15 11 6 4 4 4 4 10 9 7 9 12 18 12 17 9 10 14 9 4 6 11 6 12 7 3 9 8 5 7 13 15 9 6 9 5 8 9 6 6 8 6 4 2 7 9 8 10 16 17 14 17 21 11 8 12 8 11 12 6 8 9 4 9 8 6 9 8 6 8 7 6 9 9 10 6 5 5 8 6 9 8 12 9 9 7 5 6 11 3 2 1 8 2 4 6 10 8 13 14 11 9 11 12 14 12 12 11 8 6 7 6 3 5 8 3 4 5 3 1 4 7 7 8 6 4 10 7 5 6 5 4 3 5 4 10 4 7 7 8 5 4 3 2 6 8 3 4 5 6 2 4 3 4 4 6 6 2 1 4 5 3 8 7 2 2 4 4 4 6 3 7 5 5 5 5 3 2 
Solving time:0.070
Filtering time:0.010
ID:28 (32,5,30)
Graph |V|:89
Solution size:2550
Filtered solution size:1729
Parallel solution length:219
Parallelism:7.895
Step parallelism:34 24 16 9 11 17 8 9 9 10 9 8 4 7 10 9 9 6 8 8 12 8 9 14 13 11 8 9 6 9 9 7 20 7 8 8 8 11 14 15 16 15 11 6 4 4 4 4 10 9 7 9 12 18 12 17 9 10 14 9 4 6 11 6 12 7 3 9 8 5 7 13 15 9 6 9 5 8 9 6 6 8 6 4 2 7 9 8 10 16 17 14 17 21 11 8 12 8 11 12 6 8 9 4 9 8 6 9 8 6 8 7 6 9 9 10 6 5 5 8 6 9 8 12 9 9 7 5 6 11 3 2 1 8 2 4 6 10 8 13 14 11 9 11 12 14 12 12 11 8 6 7 6 3 5 8 3 4 5 3 1 4 7 7 8 6 4 10 7 5 6 5 4 3 5 4 10 4 7 7 8 5 4 3 2 6 8 3 4 5 6 2 4 3 4 4 6 6 2 1 4 5 3 8 7 2 2 4 4 4 6 3 7 5 5 5 5 3 2 
Solving time:0.070
Filtering time:0.010
ID:29 (32,5,31)
Graph |V|:89
Solution size:2639
Filtered solution size:1724
Parallel solution length:219
Parallelism:7.872
Step parallelism:36 24 16 9 11 14 8 9 9 9 8 8 4 9 10 9 9 6 8 8 10 7 9 13 18 12 11 11 9 7 20 7 8 8 8 11 14 15 15 15 11 6 4 4 4 4 10 9 7 10 11 19 8 14 9 11 14 10 7 6 10 2 5 2 8 6 10 9 7 9 10 7 3 5 4 4 5 4 9 5 4 4 5 8 3 9 9 12 17 13 20 19 16 7 4 5 8 15 8 6 10 11 14 13 8 6 4 9 6 3 2 5 6 4 10 5 5 7 9 4 7 7 9 10 11 15 3 8 11 10 7 5 5 5 4 3 8 8 7 5 10 9 5 10 7 6 5 7 10 9 11 8 11 7 8 6 6 6 6 6 5 10 9 5 9 5 10 8 7 4 2 6 6 4 5 6 5 10 9 9 5 6 6 8 8 7 8 7 8 7 8 9 4 4 4 5 6 7 5 3 3 2 4 4 4 2 2 4 3 3 7 7 6 7 4 5 5 3 2 
Solving time:0.070
Filtering time:0.020
ID:30 (32,5,32)
Graph |V|:89
Solution size:2419
Filtered solution size:1612
Parallel solution length:197
Parallelism:8.183
Step parallelism:39 24 16 9 11 14 8 9 9 11 10 8 4 9 10 9 10 7 8 8 10 7 5 10 14 12 11 11 9 7 20 7 8 8 8 11 14 15 16 12 6 7 6 4 4 10 9 7 10 11 19 8 11 9 10 9 14 8 5 12 9 4 8 7 13 7 11 11 9 7 5 10 6 8 10 9 3 10 9 7 11 9 11 10 9 12 8 6 9 10 13 13 6 6 5 7 3 7 3 3 12 5 11 8 7 12 9 9 3 4 6 5 16 12 7 6 14 13 5 8 7 6 10 6 9 4 8 8 10 11 5 5 5 8 8 7 8 9 15 13 9 11 10 9 10 7 9 6 6 7 8 7 5 6 5 5 4 6 6 6 6 4 9 9 5 8 10 7 5 4 5 3 8 5 5 5 6 9 8 3 3 2 2 3 3 3 3 2 2 4 4 6 6 6 6 5 1 
Solving time:0.060
Filtering time:0.010
ID:31 (32,5,33)
Graph |V|:89
Solution size:2419
Filtered solution size:1604
Parallel solution length:197
Parallelism:8.142
Step parallelism:38 23 20 14 11 12 7 8 8 6 5 8 4 9 10 9 10 7 8 8 10 7 5 10 14 12 11 11 9 7 20 7 8 8 8 11 14 15 16 12 6 7 6 4 4 10 9 7 10 11 19 8 11 9 10 9 14 8 5 12 9 4 8 7 13 7 11 11 9 7 5 10 6 8 10 9 3 10 9 7 11 9 11 10 9 12 8 6 9 10 13 13 6 6 5 7 3 7 3 3 12 5 11 8 7 12 9 9 3 4 6 5 16 12 7 6 14 13 5 8 7 6 10 6 9 4 8 8 10 11 5 5 5 8 8 7 8 9 15 13 9 11 10 9 10 7 9 6 6 7 8 7 5 6 5 5 4 6 6 6 6 4 9 9 5 8 10 7 5 4 5 3 8 5 5 5 6 9 8 3 3 2 2 3 3 3 3 2 2 4 4 6 6 6 6 5 1 
Solving time:0.070
Filtering time:0.010
ID:32 (32,5,34)
Graph |V|:89
Solution size:2620
Filtered solution size:1675
Parallel solution length:211
Parallelism:7.938
Step parallelism:37 23 20 14 11 12 7 8 8 6 5 8 4 9 10 9 10 7 8 8 10 7 7 9 13 12 11 11 9 7 20 7 8 8 8 11 14 15 16 12 6 7 6 4 4 10 9 7 10 11 18 6 10 8 3 11 16 8 5 4 12 7 5 8 7 12 9 8 15 12 9 6 10 10 4 11 14 12 12 6 9 10 6 8 6 5 11 10 12 7 15 9 10 7 13 5 4 2 2 3 8 10 15 8 5 4 5 6 9 7 9 7 7 6 7 7 6 5 6 14 9 5 9 11 9 7 11 4 7 9 7 7 16 10 7 8 5 8 8 11 13 7 11 10 6 7 7 9 5 10 9 3 6 6 7 4 4 3 7 5 4 7 4 2 8 9 10 10 4 4 7 6 8 8 7 7 8 10 8 7 2 5 7 4 4 4 4 5 4 6 6 5 3 3 4 6 3 7 5 6 7 6 7 4 1 2 2 7 3 1 1 
Solving time:0.070
Filtering time:0.010
ID:33 (32,5,35)
Graph |V|:89
Solution size:2510
Filtered solution size:1586
Parallel solution length:204
Parallelism:7.775
Step parallelism:38 24 15 13 11 12 7 8 8 7 8 9 7 4 4 6 6 8 6 12 9 7 9 13 12 11 11 10 8 20 7 8 8 8 11 14 15 16 12 8 4 5 8 6 2 5 6 9 9 6 8 8 5 9 6 7 3 12 3 7 14 9 9 14 8 6 8 9 9 8 10 9 8 4 5 10 9 12 8 14 11 2 6 4 11 12 9 8 9 7 6 8 6 5 17 16 15 9 7 5 14 13 5 7 6 5 7 6 7 2 4 6 6 4 6 6 10 9 4 8 8 6 5 9 9 9 13 7 6 8 9 4 3 7 13 13 10 13 13 6 12 9 6 11 8 4 5 3 5 5 3 3 4 3 7 7 6 5 5 9 10 9 11 4 11 11 9 9 8 6 9 9 6 4 6 7 6 4 5 5 5 3 4 5 4 6 5 3 3 4 2 6 6 4 5 6 3 3 6 2 7 3 1 1 
Solving time:0.060
Filtering time:0.010
ID:34 (32,5,36)
Graph |V|:89
Solution size:2502
Filtered solution size:1520
Parallel solution length:208
Parallelism:7.308
Step parallelism:38 24 16 14 12 12 7 8 8 8 8 8 5 4 4 6 6 8 6 12 9 7 9 13 11 13 11 8 20 6 8 8 8 11 15 17 11 11 7 4 9 8 2 5 6 9 8 6 9 7 13 8 8 5 4 7 6 12 8 6 6 8 7 5 5 9 10 10 11 9 5 9 9 9 9 8 9 3 3 2 5 4 2 12 16 11 12 6 11 10 6 7 5 5 12 12 14 7 4 2 4 3 2 8 6 9 10 6 14 6 7 5 5 3 2 2 5 6 7 14 8 6 9 9 9 2 6 6 8 5 7 9 8 8 12 12 10 10 10 10 6 10 9 8 4 5 7 5 3 7 7 6 7 5 8 5 8 8 5 4 5 3 3 1 3 3 7 8 5 7 10 4 3 3 3 3 4 9 6 4 2 7 8 8 3 3 2 8 8 3 5 3 3 3 6 4 5 5 5 6 6 7 5 6 6 2 4 2 
Solving time:0.070
Filtering time:0.010
ID:35 (32,5,37)
Graph |V|:89
Solution size:2502
Filtered solution size:1512
Parallel solution length:208
Parallelism:7.269
Step parallelism:37 23 19 17 9 6 6 7 7 8 8 8 5 4 4 6 6 8 6 12 9 7 9 13 11 13 11 8 20 6 8 8 8 11 15 17 11 11 7 4 9 8 2 5 6 9 8 6 9 7 13 8 8 5 4 7 6 12 8 6 6 8 7 5 5 9 10 10 11 9 5 9 9 9 9 8 9 3 3 2 5 4 2 12 16 11 12 6 11 10 6 7 5 5 12 12 14 7 4 2 4 3 2 8 6 9 10 6 14 6 7 5 5 3 2 2 5 6 7 14 8 6 9 9 9 2 6 6 8 5 7 9 8 8 12 12 10 10 10 10 6 10 9 8 4 5 7 5 3 7 7 6 7 5 8 5 8 8 5 4 5 3 3 1 3 3 7 8 5 7 10 4 3 3 3 3 4 9 6 4 2 7 8 8 3 3 2 8 8 3 5 3 3 3 6 4 5 5 5 6 6 7 5 6 6 2 4 2 
Solving time:0.070
Filtering time:0.010
ID:36 (32,5,38)
Graph |V|:89
Solution size:2473
Filtered solution size:1491
Parallel solution length:201
Parallelism:7.418
Step parallelism:38 23 19 17 9 6 6 7 7 8 7 8 5 4 4 6 6 8 6 12 9 7 9 13 13 13 8 20 7 8 8 8 11 14 15 16 13 8 11 12 12 8 6 8 6 5 3 12 4 8 14 10 11 11 6 6 7 7 5 6 12 11 10 4 9 3 1 8 7 9 8 9 7 5 6 8 7 9 10 5 12 9 10 9 7 9 9 8 7 6 6 5 3 11 12 9 8 9 6 12 10 9 4 4 5 7 8 9 4 7 6 6 6 5 4 7 8 4 12 6 9 9 4 9 7 6 8 6 7 10 10 3 4 2 4 7 8 13 14 6 9 8 7 10 6 6 7 6 5 6 7 6 5 10 9 7 3 4 4 4 7 7 4 9 12 6 7 8 4 3 2 3 6 6 5 6 4 6 3 3 3 5 3 3 5 2 4 5 6 5 4 3 2 3 3 5 4 2 3 2 3 
Solving time:0.060
Filtering time:0.020
ID:37 (32,5,39)
Graph |V|:89
Solution size:2514
Filtered solution size:1452
Parallel solution length:197
Parallelism:7.371
Step parallelism:38 25 19 17 9 9 6 7 7 8 7 8 5 4 4 6 6 8 6 12 9 9 10 10 12 10 15 8 7 6 14 12 8 12 13 12 10 6 8 7 3 5 8 6 9 6 9 5 13 5 9 5 9 7 9 9 8 7 6 5 9 7 7 7 7 7 16 10 8 12 10 10 9 9 12 6 10 9 12 24 20 11 11 4 10 5 2 3 10 12 11 6 7 8 2 5 4 5 10 8 6 6 10 5 4 8 12 8 7 7 7 10 9 8 8 9 7 7 8 6 5 2 2 6 11 9 7 11 6 11 12 11 13 9 9 6 8 11 8 9 7 5 5 5 8 8 8 5 3 4 3 3 4 1 4 5 6 5 5 4 3 3 4 5 6 1 1 1 2 2 2 6 6 7 5 5 4 4 3 6 5 3 2 2 2 3 4 4 4 4 2 2 4 5 3 3 1 
Solving time:0.060
Filtering time:0.010
ID:38 (32,5,40)
Graph |V|:89
Solution size:2503
Filtered solution size:1484
Parallel solution length:194
Parallelism:7.649
Step parallelism:34 19 19 13 7 9 6 7 7 8 10 10 8 8 5 6 6 8 6 12 9 11 13 14 13 10 15 8 7 6 13 12 8 12 13 12 9 6 8 7 3 8 9 7 9 6 9 5 8 4 10 17 9 8 7 7 5 9 4 6 8 9 9 12 11 11 13 14 7 14 12 14 10 11 10 7 8 5 3 12 13 8 10 4 7 6 7 5 11 6 7 4 8 6 11 4 8 12 7 9 8 8 8 3 6 4 7 4 17 13 9 11 6 4 7 5 5 4 6 6 8 7 6 6 3 2 2 4 3 6 9 4 4 4 4 7 8 8 8 5 5 9 10 9 8 10 10 6 6 6 5 5 9 9 7 11 7 5 9 9 6 7 5 5 3 4 5 4 5 5 8 8 9 4 5 7 5 5 4 2 3 1 1 5 8 4 6 5 3 6 5 4 4 2 
Solving time:0.060
Filtering time:0.010
ID:39 (32,5,41)
Graph |V|:89
Solution size:2731
Filtered solution size:1555
Parallel solution length:209
Parallelism:7.440
Step parallelism:36 22 19 13 7 10 6 8 8 7 10 9 8 8 5 6 5 7 6 13 7 7 9 9 11 10 22 11 7 6 8 11 11 14 7 13 10 8 7 6 10 15 12 20 12 6 10 8 7 5 8 11 9 8 8 8 9 6 5 8 4 5 7 7 6 9 8 8 7 7 8 7 4 6 7 7 8 11 10 8 7 10 12 12 5 12 8 9 8 13 9 11 6 8 13 6 9 7 7 5 2 6 7 3 7 5 5 8 8 7 7 7 7 7 12 6 5 7 6 5 12 6 9 11 7 6 7 11 4 4 7 9 7 7 7 6 6 3 2 8 7 11 9 9 8 5 6 5 5 7 7 4 3 2 8 9 6 12 9 3 7 10 5 6 6 5 9 6 6 5 9 5 6 6 6 7 6 9 9 3 5 3 3 3 4 2 3 6 9 7 3 3 5 4 3 3 2 2 6 6 4 4 3 3 3 3 3 3 2 
Solving time:0.070
Filtering time:0.010
ID:40 (32,5,42)
Graph |V|:89
Solution size:2329
Filtered solution size:1287
Parallel solution length:169
Parallelism:7.615
Step parallelism:35 23 21 13 6 10 6 8 8 7 10 9 8 8 5 6 5 7 6 13 7 7 8 9 11 12 21 13 9 9 9 11 9 11 6 10 5 4 12 11 6 9 9 8 12 8 7 6 8 9 10 4 6 9 9 7 11 2 4 6 7 8 8 2 4 6 5 16 8 22 8 12 7 11 18 15 9 9 5 8 5 10 2 1 4 8 10 12 10 5 11 6 4 9 7 7 6 9 7 10 6 5 9 8 5 6 8 6 10 8 8 8 10 10 8 8 7 5 4 3 3 1 1 5 10 11 5 7 7 6 6 5 4 7 5 4 4 6 4 3 3 6 5 3 8 5 4 7 9 7 8 6 5 4 5 5 6 6 4 4 6 6 3 4 5 4 5 5 4 
Solving time:0.060
Filtering time:0.010
ID:41 (32,5,43)
Graph |V|:89
Solution size:2358
Filtered solution size:1266
Parallel solution length:155
Parallelism:8.168
Step parallelism:34 19 17 11 5 9 6 8 8 4 7 8 12 10 8 6 7 5 7 6 11 7 7 7 5 8 8 10 17 17 14 9 7 8 10 15 13 13 9 6 5 7 8 7 4 10 8 4 5 7 8 12 14 7 7 7 7 11 11 13 17 11 11 12 9 10 9 9 7 9 7 11 12 9 9 15 17 12 10 4 11 8 5 3 3 6 7 6 7 10 9 3 5 7 6 6 7 9 11 9 8 6 4 5 4 4 5 7 13 6 10 4 10 10 9 9 9 6 13 9 7 7 8 7 3 5 8 7 6 5 4 4 7 7 8 7 8 5 6 7 9 7 6 6 7 6 4 6 8 5 5 3 4 4 1 
Solving time:0.060
Filtering time:0.010
ID:42 (32,5,44)
Graph |V|:89
Solution size:2275
Filtered solution size:1238
Parallel solution length:164
Parallelism:7.549
Step parallelism:31 22 22 12 6 9 5 8 9 6 5 11 4 2 6 5 7 6 6 7 6 6 12 12 22 10 9 7 7 6 10 13 11 9 7 8 4 12 10 12 10 15 6 10 9 8 21 10 9 6 6 6 8 6 7 7 5 6 6 5 5 4 7 7 10 7 9 9 6 3 3 9 9 14 10 11 20 18 13 15 11 16 15 16 4 4 4 3 1 3 3 5 5 7 9 9 8 12 9 9 11 8 7 10 10 7 5 7 6 5 5 4 4 8 8 8 8 6 4 3 6 6 11 10 10 7 10 8 5 2 4 3 6 5 8 5 6 5 3 2 2 6 4 5 6 4 7 4 5 4 5 3 5 3 3 3 3 3 2 2 3 4 4 2 
Solving time:0.060
Filtering time:0.010
ID:43 (32,5,45)
Graph |V|:89
Solution size:2173
Filtered solution size:1162
Parallel solution length:162
Parallelism:7.173
Step parallelism:29 22 21 12 6 9 5 8 9 6 5 11 4 2 6 5 7 6 6 10 6 6 12 15 13 10 9 7 7 7 10 14 10 9 7 8 4 10 13 6 9 10 8 7 11 11 10 6 8 9 3 3 4 4 8 13 5 7 11 7 6 4 7 3 4 8 8 13 14 7 7 6 3 9 11 11 14 16 16 14 10 11 11 9 8 4 4 2 6 1 3 5 11 13 9 5 7 5 6 3 5 4 2 5 9 7 8 13 8 10 9 3 3 10 4 8 5 6 9 7 5 5 6 4 3 3 9 6 6 5 2 3 3 3 5 2 5 2 3 3 4 4 4 9 3 3 5 9 9 8 5 4 3 3 6 5 4 5 4 3 2 2 
Solving time:0.060
Filtering time:0.010
ID:44 (32,5,46)
Graph |V|:89
Solution size:2310
Filtered solution size:1206
Parallel solution length:169
Parallelism:7.136
Step parallelism:29 22 20 12 6 10 5 8 9 6 5 11 4 2 6 5 7 6 6 10 6 6 12 15 13 10 9 7 7 7 10 14 10 9 6 7 5 11 14 5 8 12 6 7 11 8 6 6 8 9 3 3 4 4 8 13 5 7 11 7 6 4 7 3 4 8 8 12 14 7 7 6 3 7 10 11 13 14 15 14 13 9 11 6 5 4 4 2 5 10 13 11 11 7 4 4 4 5 2 2 10 10 7 11 9 9 8 8 13 6 5 3 4 7 6 5 7 8 7 7 10 6 7 5 5 5 9 10 7 11 7 7 4 4 4 7 3 2 2 4 6 5 4 3 4 4 4 3 4 5 1 1 3 3 5 4 3 4 4 1 5 5 5 5 5 5 5 5 3 
Solving time:0.060
Filtering time:0.010
ID:45 (32,5,47)
Graph |V|:89
Solution size:2567
Filtered solution size:1277
Parallel solution length:174
Parallelism:7.339
Step parallelism:29 22 20 11 5 8 9 10 9 6 5 11 4 2 6 5 7 6 7 9 4 6 12 10 9 13 11 12 11 10 10 9 9 4 4 5 9 8 8 10 12 9 8 10 13 10 13 6 5 4 4 6 11 8 11 9 13 10 14 12 12 7 11 14 15 16 13 8 9 11 10 10 12 9 13 10 6 8 3 4 2 11 8 8 5 5 7 6 5 7 8 10 13 9 13 11 9 12 6 9 7 7 4 4 6 6 11 8 7 10 9 9 8 8 8 12 8 6 8 8 6 9 8 6 4 3 3 4 2 2 4 5 4 9 4 7 3 3 4 3 6 6 5 3 5 6 6 4 3 3 3 2 2 1 1 3 4 4 4 3 5 3 3 3 2 2 2 2 5 3 2 2 2 2 
Solving time:0.060
Filtering time:0.010
ID:46 (32,5,48)
Graph |V|:89
Solution size:2225
Filtered solution size:1096
Parallel solution length:162
Parallelism:6.765
Step parallelism:30 24 20 12 9 11 5 10 11 4 2 8 6 5 5 5 6 7 9 13 9 17 18 16 9 10 7 6 11 11 11 9 9 10 13 5 6 9 5 7 5 11 4 5 2 3 3 6 1 2 6 5 7 6 8 14 11 11 7 9 5 4 4 10 10 9 11 11 11 22 14 17 9 6 8 3 5 2 2 1 3 3 5 5 5 6 6 2 2 6 6 6 6 9 8 6 4 2 2 8 8 6 3 7 4 6 6 5 8 9 12 10 10 8 6 6 6 3 4 5 5 5 6 8 9 6 6 4 3 3 3 3 3 4 3 4 4 5 6 5 4 5 5 6 4 6 3 3 3 3 3 4 4 4 3 4 4 4 2 3 1 1 
Solving time:0.060
Filtering time:0.010
ID:47 (32,5,49)
Graph |V|:89
Solution size:2196
Filtered solution size:1047
Parallel solution length:157
Parallelism:6.669
Step parallelism:29 23 19 14 8 9 5 10 11 4 2 8 6 5 5 5 6 7 9 13 9 16 17 16 9 10 7 6 11 9 11 10 10 10 13 5 6 9 5 7 5 11 4 5 2 3 3 6 2 1 5 5 6 5 7 9 9 8 7 5 8 9 14 10 10 10 11 14 19 14 11 8 9 5 2 3 6 9 7 7 11 6 7 4 3 6 7 6 8 4 4 6 8 5 3 4 4 6 6 5 7 8 9 6 9 2 4 4 5 6 6 3 3 3 3 4 4 5 4 7 5 5 4 4 3 4 3 5 5 7 7 4 3 3 5 7 6 4 3 4 5 5 5 4 4 3 3 3 2 1 4 4 3 3 2 1 1 
Solving time:0.070
Filtering time:0.010
ID:48 (32,5,50)
Graph |V|:89
Solution size:2196
Filtered solution size:1031
Parallel solution length:157
Parallelism:6.567
Step parallelism:28 22 18 14 8 9 5 10 10 4 2 8 6 5 4 4 5 6 9 13 9 16 17 16 9 10 7 6 11 9 11 10 10 10 12 7 7 10 5 7 5 7 3 4 2 3 5 8 2 1 5 5 6 5 7 6 6 7 6 4 8 9 14 10 10 10 11 14 19 14 11 8 9 5 2 3 6 9 7 7 11 6 7 4 3 6 7 6 8 4 4 6 8 5 3 4 4 6 6 5 7 8 9 6 9 2 4 4 5 6 6 3 3 3 3 4 4 5 4 7 5 5 4 4 3 4 3 5 5 7 7 4 3 3 5 7 6 4 3 4 5 5 5 4 4 3 3 3 2 1 4 4 3 3 2 1 1 
Solving time:0.070
Filtering time:0.000
ID:49 (32,5,51)
Graph |V|:89
Solution size:2238
Filtered solution size:1003
Parallel solution length:153
Parallelism:6.556
Step parallelism:25 17 14 8 10 9 11 4 7 11 6 3 6 7 8 6 3 4 3 4 4 5 5 7 7 9 8 11 11 13 12 10 8 8 12 11 8 8 7 6 6 5 7 7 3 6 4 7 4 4 6 6 6 8 7 7 8 7 6 8 6 8 7 11 7 5 8 8 6 6 12 10 10 7 10 8 4 3 6 8 9 9 10 8 9 9 9 7 8 8 9 7 11 9 7 10 7 11 7 6 5 8 8 9 8 8 6 9 6 6 7 6 5 6 7 5 3 4 1 1 1 1 2 5 2 5 5 8 5 5 5 4 3 4 4 2 2 4 4 5 5 5 3 4 1 1 2 2 2 2 2 1 1 
Solving time:0.070
Filtering time:0.000
ID:50 (32,5,52)
Graph |V|:89
Solution size:2230
Filtered solution size:1022
Parallel solution length:159
Parallelism:6.428
Step parallelism:24 16 14 8 10 9 11 4 7 11 6 3 6 7 8 6 3 4 3 4 4 5 5 7 7 9 8 11 11 13 12 10 8 8 12 11 8 8 7 6 6 5 7 7 3 6 4 7 4 4 6 6 6 8 7 7 8 7 6 8 6 8 7 11 7 5 8 8 5 6 12 10 10 7 10 8 4 3 6 8 9 9 12 10 9 9 10 8 9 7 8 6 10 9 6 6 8 5 6 6 6 6 7 8 8 8 10 8 9 7 6 5 6 8 4 4 2 3 6 5 5 5 4 3 3 3 3 4 6 3 3 4 3 3 2 3 4 5 5 5 5 1 1 5 6 4 3 3 2 2 2 4 4 4 3 1 1 1 1 
Solving time:0.060
Filtering time:0.010
ID:51 (32,5,53)
Graph |V|:89
Solution size:2348
Filtered solution size:937
Parallel solution length:153
Parallelism:6.124
Step parallelism:23 15 13 9 11 9 11 4 7 9 4 3 6 7 8 6 3 4 3 4 4 5 5 7 7 9 8 11 11 13 12 10 8 8 12 11 8 8 7 6 6 5 7 7 3 6 4 7 4 4 6 6 6 8 7 7 8 7 6 7 7 8 8 11 6 6 9 9 6 6 12 10 10 7 10 8 4 3 7 8 9 7 5 8 8 6 5 4 8 7 6 7 6 6 9 5 3 2 6 6 8 4 5 5 4 8 6 5 4 4 6 8 8 7 6 3 3 2 5 5 3 2 3 3 3 3 5 4 4 4 3 2 3 2 3 3 3 5 2 6 6 7 7 4 2 2 2 2 1 1 1 1 1 
Solving time:0.060
Filtering time:0.000
ID:52 (32,5,54)
Graph |V|:89
Solution size:2254
Filtered solution size:852
Parallel solution length:142
Parallelism:6.000
Step parallelism:22 16 13 9 10 8 12 4 5 7 3 3 6 7 8 6 3 4 3 4 4 4 7 3 6 8 7 10 11 13 12 10 8 8 12 11 8 8 7 6 6 5 7 7 3 6 4 7 4 4 5 5 6 7 6 6 6 6 8 7 8 8 11 6 5 8 8 6 5 12 10 10 7 10 8 5 4 6 9 7 7 8 9 9 7 6 7 6 6 4 4 6 2 1 1 3 4 5 3 8 7 6 6 5 9 9 7 6 6 3 6 6 6 2 6 3 5 2 3 1 4 3 2 2 6 7 3 3 3 2 1 1 2 2 4 4 3 2 1 1 1 1 
Solving time:0.060
Filtering time:0.010
ID:53 (32,5,55)
Graph |V|:89
Solution size:2152
Filtered solution size:836
Parallel solution length:139
Parallelism:6.014
Step parallelism:21 16 12 10 9 5 9 3 4 6 3 3 6 7 8 6 3 4 3 4 4 4 7 3 6 8 7 10 11 13 12 10 8 8 12 11 8 8 6 6 5 5 7 7 3 3 3 6 4 4 5 5 6 7 5 6 6 6 11 4 4 5 2 4 4 5 2 8 8 8 10 9 9 6 7 9 8 9 10 12 8 9 9 10 9 9 9 9 7 5 8 4 3 4 6 9 9 5 5 3 5 4 3 6 5 5 6 6 3 2 2 1 1 4 4 3 7 3 5 9 8 9 6 6 1 3 3 3 2 2 2 3 3 2 2 2 2 1 1 
Solving time:0.060
Filtering time:0.000
ID:54 (32,5,56)
Graph |V|:89
Solution size:2152
Filtered solution size:822
Parallel solution length:138
Parallelism:5.957
Step parallelism:20 16 12 10 9 5 8 3 4 6 3 3 6 7 8 6 3 4 3 4 4 4 7 3 6 8 7 9 10 13 12 10 8 8 12 11 8 8 6 6 5 5 7 7 3 3 3 6 4 4 5 5 6 7 5 6 6 6 11 4 4 5 2 4 4 4 3 8 8 8 10 8 7 6 9 8 12 9 10 8 9 9 10 9 9 9 9 7 5 8 4 3 4 6 9 9 5 5 3 5 4 3 6 5 5 6 6 3 2 2 1 1 4 4 3 7 3 5 9 8 9 6 6 1 3 3 3 2 2 2 3 3 2 2 2 2 1 1 
Solving time:0.060
Filtering time:0.010
ID:55 (32,5,57)
Graph |V|:89
Solution size:1933
Filtered solution size:771
Parallel solution length:133
Parallelism:5.797
Step parallelism:20 16 13 11 9 5 13 3 4 6 2 3 5 6 7 8 4 3 3 4 6 7 16 16 14 16 12 7 6 9 10 7 7 5 5 5 9 9 6 6 6 7 13 7 11 10 10 7 7 4 4 6 5 2 2 3 3 2 2 4 3 2 3 2 1 6 2 3 2 5 6 6 7 4 7 8 9 11 10 5 8 9 12 4 5 7 6 7 3 4 7 8 8 7 7 4 3 3 3 2 4 7 5 5 3 3 2 1 1 3 5 4 5 3 5 3 5 4 4 7 4 2 4 3 4 2 3 4 4 2 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:56 (32,5,58)
Graph |V|:89
Solution size:1933
Filtered solution size:763
Parallel solution length:133
Parallelism:5.737
Step parallelism:19 16 13 11 9 5 13 3 4 6 2 3 5 6 7 8 4 3 3 5 8 8 17 15 16 16 12 7 7 8 7 2 4 3 5 5 9 9 6 6 6 7 13 7 11 10 10 7 7 4 4 6 5 2 2 3 3 2 2 4 3 2 3 2 1 6 2 3 2 5 6 6 7 4 7 8 9 11 10 5 8 9 12 4 5 7 6 7 3 4 7 8 8 7 7 4 3 3 3 2 4 7 5 5 3 3 2 1 1 3 5 4 5 3 5 3 5 4 4 7 4 2 4 3 4 2 3 4 4 2 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:57 (32,5,59)
Graph |V|:89
Solution size:2077
Filtered solution size:744
Parallel solution length:126
Parallelism:5.905
Step parallelism:18 15 13 11 11 6 14 5 8 9 5 5 7 6 7 4 3 3 2 4 3 7 11 16 13 9 9 11 4 6 7 7 5 5 6 6 5 5 5 4 7 5 9 9 6 4 8 4 6 4 7 7 6 7 8 7 4 5 6 8 10 6 6 7 7 7 12 7 5 4 3 2 3 3 4 2 5 3 3 6 3 4 4 11 11 11 8 10 7 8 5 6 5 6 6 4 5 5 5 3 6 4 6 4 3 3 3 3 3 1 1 5 6 7 5 4 2 3 3 3 2 2 2 2 1 1 
Solving time:0.060
Filtering time:0.000
ID:58 (32,5,60)
Graph |V|:89
Solution size:2010
Filtered solution size:736
Parallel solution length:119
Parallelism:6.185
Step parallelism:18 14 15 11 11 6 14 5 8 9 8 13 14 13 13 10 4 5 4 5 3 5 9 10 13 11 7 4 3 5 5 6 6 4 3 5 8 5 7 6 8 9 7 6 8 5 4 4 6 7 3 5 5 6 5 6 6 6 8 8 8 5 7 6 4 4 5 4 5 4 7 5 4 8 7 8 7 6 6 6 8 3 3 4 6 5 6 3 3 7 3 4 3 7 7 7 7 7 5 4 2 5 5 2 4 5 3 4 4 5 5 3 4 4 4 4 3 3 2 
Solving time:0.060
Filtering time:0.000
ID:59 (32,5,61)
Graph |V|:89
Solution size:2038
Filtered solution size:676
Parallel solution length:125
Parallelism:5.408
Step parallelism:17 14 15 11 11 6 14 5 8 9 8 13 14 13 12 9 3 4 3 4 3 5 9 10 12 10 6 5 3 3 5 5 8 5 4 6 8 8 4 8 5 8 8 8 11 8 4 4 4 7 5 4 8 10 7 6 8 6 5 8 7 6 6 6 6 6 5 5 3 3 4 4 5 5 7 7 6 4 3 5 6 4 3 3 3 2 2 1 3 3 2 4 4 4 4 3 3 3 3 2 3 7 3 6 6 2 1 1 1 3 3 2 3 1 1 1 1 3 3 1 1 1 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:60 (32,5,62)
Graph |V|:89
Solution size:1936
Filtered solution size:657
Parallel solution length:112
Parallelism:5.866
Step parallelism:17 13 14 10 10 6 13 4 7 9 8 13 14 14 13 9 3 6 3 5 3 5 8 8 9 8 5 5 3 3 5 6 9 6 9 8 10 10 5 6 5 6 7 5 6 5 3 6 11 9 9 7 3 6 8 6 4 6 4 4 6 8 6 5 4 5 4 7 8 7 7 6 6 4 5 4 6 4 7 5 5 5 4 2 3 4 4 5 5 2 2 2 5 5 4 3 2 4 3 4 4 4 3 3 3 3 2 2 1 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:61 (32,5,63)
Graph |V|:89
Solution size:1936
Filtered solution size:644
Parallel solution length:110
Parallelism:5.855
Step parallelism:17 14 14 10 10 6 13 4 7 9 8 12 13 13 13 8 3 6 3 5 3 5 8 8 8 7 5 5 3 3 5 6 9 6 9 7 9 9 6 6 5 6 7 5 6 5 3 6 11 9 9 7 4 8 8 7 6 3 5 8 6 5 4 5 4 7 8 7 7 6 6 4 5 4 6 4 7 5 5 5 4 2 3 4 4 5 5 2 2 2 5 5 4 3 2 4 3 4 4 4 3 3 3 3 2 2 1 1 1 1 
Solving time:0.060
Filtering time:0.000
ID:62 (32,5,64)
Graph |V|:89
Solution size:1994
Filtered solution size:629
Parallel solution length:119
Parallelism:5.286
Step parallelism:17 13 13 9 9 6 13 4 6 8 7 11 12 13 13 8 1 4 2 5 3 5 7 8 8 8 3 6 4 4 5 7 6 4 5 5 7 6 6 6 7 8 7 7 7 6 6 7 5 3 8 7 6 5 5 4 4 4 2 4 4 4 7 3 3 2 4 4 4 8 6 8 9 6 5 3 6 9 4 4 2 2 2 5 4 4 4 3 3 3 3 2 5 4 5 3 3 2 2 1 1 5 5 5 5 5 5 4 3 4 4 1 2 2 3 3 3 3 2 
Solving time:0.050
Filtering time:0.010
ID:63 (32,5,65)
Graph |V|:89
Solution size:1959
Filtered solution size:562
Parallel solution length:112
Parallelism:5.018
Step parallelism:16 12 12 8 8 6 13 4 6 8 7 10 11 13 13 6 1 4 2 5 3 5 7 8 9 8 5 6 4 4 5 7 6 4 5 5 6 6 6 6 5 6 4 4 4 5 4 7 5 4 10 10 8 7 6 5 2 3 5 3 3 4 7 5 5 5 7 4 6 5 5 5 4 3 3 3 2 5 5 4 2 2 2 3 2 2 3 2 3 3 3 2 2 2 2 5 5 3 3 3 3 3 2 3 3 3 3 3 3 1 2 2 
Solving time:0.050
Filtering time:0.000
ID:64 (32,5,66)
Graph |V|:89
Solution size:2118
Filtered solution size:609
Parallel solution length:123
Parallelism:4.951
Step parallelism:16 12 12 8 8 6 13 4 6 8 7 10 11 13 13 6 1 4 2 5 3 5 7 8 9 8 2 6 4 3 5 6 7 5 5 5 5 5 7 4 7 4 5 5 4 2 3 4 6 5 3 7 6 7 8 7 4 4 2 5 3 5 4 5 4 4 4 6 7 3 4 4 6 4 5 5 4 4 4 5 5 4 6 7 6 3 3 3 6 6 5 4 5 6 6 4 4 4 3 6 7 7 4 4 3 2 2 1 3 1 1 1 1 1 1 1 1 3 3 1 1 1 1 
Solving time:0.050
Filtering time:0.010
ID:65 (32,5,67)
Graph |V|:89
Solution size:1963
Filtered solution size:588
Parallel solution length:117
Parallelism:5.026
Step parallelism:15 11 13 7 7 10 8 6 8 7 13 11 9 8 7 7 4 5 5 4 5 5 2 3 5 4 3 3 4 4 5 5 5 3 5 7 6 7 7 6 6 5 5 5 5 3 3 8 7 6 6 5 5 2 3 3 3 3 4 5 7 5 5 3 6 7 3 2 3 5 5 4 4 5 6 5 5 5 3 3 5 5 7 6 7 6 6 6 7 5 3 3 4 6 4 4 5 3 4 3 2 2 3 3 3 3 4 3 3 3 3 3 3 3 3 2 1 
Solving time:0.050
Filtering time:0.000
ID:66 (32,5,68)
Graph |V|:89
Solution size:1963
Filtered solution size:579
Parallel solution length:115
Parallelism:5.035
Step parallelism:15 11 13 7 7 10 8 6 8 7 13 11 9 8 7 7 4 5 5 4 5 5 2 3 5 4 3 3 4 4 5 5 5 3 5 7 6 7 7 6 6 5 5 5 5 3 3 8 7 6 6 5 5 2 2 2 2 2 3 4 6 5 5 3 6 7 4 5 5 4 5 6 6 5 5 5 3 3 5 5 7 6 7 6 6 6 7 5 3 3 4 6 4 4 5 3 4 3 2 2 3 3 3 3 4 3 3 3 3 3 3 3 3 2 1 
Solving time:0.050
Filtering time:0.010
ID:67 (32,5,69)
Graph |V|:89
Solution size:1812
Filtered solution size:432
Parallel solution length:94
Parallelism:4.596
Step parallelism:15 10 12 7 7 10 8 6 8 7 12 11 8 7 6 6 2 5 5 5 5 4 2 3 3 3 2 3 3 4 4 4 5 5 5 8 5 8 4 4 8 6 6 8 4 4 5 5 3 3 3 4 6 3 2 1 4 3 5 1 3 1 2 2 3 2 4 4 3 4 4 4 3 3 4 4 4 5 5 5 1 1 5 4 4 5 4 2 3 3 2 2 1 1 
Solving time:0.050
Filtering time:0.000
ID:68 (32,5,70)
Graph |V|:89
Solution size:1544
Filtered solution size:346
Parallel solution length:65
Parallelism:5.323
Step parallelism:14 11 12 7 7 10 8 6 8 8 14 11 8 10 8 2 5 5 4 6 2 3 5 5 6 5 6 8 6 6 4 4 4 4 3 6 6 5 8 6 4 5 5 5 5 4 4 3 3 4 5 1 1 2 2 2 4 3 5 6 3 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:69 (32,5,71)
Graph |V|:89
Solution size:1760
Filtered solution size:374
Parallel solution length:87
Parallelism:4.299
Step parallelism:13 10 11 10 8 8 8 6 8 9 12 10 7 7 3 6 4 5 6 7 4 3 2 2 2 3 2 4 4 3 2 2 2 3 3 3 2 4 6 5 5 5 3 4 3 2 2 1 1 3 2 3 3 2 2 3 4 4 4 6 5 4 3 4 5 5 5 4 4 3 3 2 2 3 3 5 5 4 3 3 3 4 2 3 3 2 1 
Solving time:0.050
Filtering time:0.000
ID:70 (32,5,72)
Graph |V|:89
Solution size:1713
Filtered solution size:342
Parallel solution length:86
Parallelism:3.977
Step parallelism:12 9 11 9 7 7 8 6 8 9 12 10 7 7 3 6 4 5 6 6 3 3 2 2 2 3 2 4 4 3 2 2 2 3 3 3 2 4 6 5 5 4 3 4 3 2 2 1 1 3 4 5 5 4 2 1 1 1 1 3 3 3 2 3 4 4 4 3 3 2 2 2 2 3 3 4 4 4 4 4 3 3 2 2 1 1 
Solving time:0.050
Filtering time:0.000
ID:71 (32,5,73)
Graph |V|:89
Solution size:1632
Filtered solution size:307
Parallel solution length:72
Parallelism:4.264
Step parallelism:11 8 9 8 7 5 8 7 8 6 7 7 4 8 8 9 7 7 6 7 5 4 4 5 7 6 7 8 7 7 6 3 4 4 5 5 5 3 3 3 3 3 2 2 2 2 2 1 1 2 2 1 1 1 1 1 1 1 1 2 3 4 5 2 2 2 1 1 1 2 2 2 
Solving time:0.050
Filtering time:0.000
ID:72 (32,5,74)
Graph |V|:89
Solution size:1632
Filtered solution size:298
Parallel solution length:69
Parallelism:4.319
Step parallelism:11 9 7 7 9 7 6 10 6 6 10 10 10 8 7 6 8 6 4 4 5 7 6 7 8 7 7 6 3 4 4 5 5 5 3 3 3 3 3 2 2 2 2 2 1 1 2 2 1 1 1 1 1 1 1 1 2 3 4 5 2 2 2 1 1 1 2 2 2 
Solving time:0.050
Filtering time:0.000
ID:73 (32,5,75)
Graph |V|:89
Solution size:1518
Filtered solution size:270
Parallel solution length:63
Parallelism:4.286
Step parallelism:10 8 9 6 9 8 6 8 7 9 5 8 9 8 8 5 5 4 5 6 4 4 3 4 5 5 6 6 5 5 2 2 3 4 3 2 3 4 4 3 4 3 5 3 1 2 2 3 2 1 1 1 2 3 1 1 1 1 2 2 4 4 1 
Solving time:0.040
Filtering time:0.010
ID:74 (32,5,76)
Graph |V|:89
Solution size:1518
Filtered solution size:264
Parallel solution length:63
Parallelism:4.190
Step parallelism:10 7 7 5 8 7 6 8 7 9 5 8 9 8 8 5 5 4 5 6 4 4 3 4 5 5 6 6 5 5 2 2 3 4 3 2 3 4 4 3 4 3 5 3 1 2 2 3 2 1 1 1 2 3 1 1 1 1 2 2 4 4 1 
Solving time:0.040
Filtering time:0.000
ID:75 (32,5,77)
Graph |V|:89
Solution size:1520
Filtered solution size:259
Parallel solution length:61
Parallelism:4.246
Step parallelism:9 6 6 5 8 7 6 8 7 8 5 8 9 8 8 5 5 4 5 6 4 4 3 4 5 5 5 5 4 3 1 1 1 2 3 3 3 4 4 4 3 4 4 5 3 2 2 3 3 3 2 3 2 2 2 3 2 2 2 3 3 
Solving time:0.040
Filtering time:0.000
ID:76 (32,5,78)
Graph |V|:89
Solution size:1525
Filtered solution size:240
Parallel solution length:60
Parallelism:4.000
Step parallelism:8 6 6 6 9 7 6 6 6 8 5 8 8 8 7 5 4 4 5 4 3 3 4 5 6 6 5 5 4 3 3 5 3 4 4 4 3 2 2 2 1 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 3 
Solving time:0.050
Filtering time:0.000
ID:77 (32,5,79)
Graph |V|:89
Solution size:1525
Filtered solution size:234
Parallel solution length:60
Parallelism:3.900
Step parallelism:7 6 6 6 9 7 6 6 7 7 6 7 7 7 6 4 3 4 5 4 3 3 4 5 6 6 5 5 4 3 3 5 3 4 4 4 3 2 2 2 1 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 3 
Solving time:0.040
Filtering time:0.000
ID:78 (32,5,80)
Graph |V|:89
Solution size:1554
Filtered solution size:162
Parallel solution length:35
Parallelism:4.629
Step parallelism:8 7 5 7 6 4 4 7 7 7 8 7 7 5 5 4 4 5 3 2 3 5 6 7 6 3 1 1 1 2 3 3 3 3 3 
Solving time:0.040
Filtering time:0.000
ID:79 (32,5,81)
Graph |V|:89
Solution size:1411
Filtered solution size:116
Parallel solution length:25
Parallelism:4.640
Step parallelism:6 7 6 8 5 5 5 5 7 5 5 5 4 4 4 5 5 5 2 3 3 3 3 3 3 
Solving time:0.030
Filtering time:0.000
ID:80 (32,5,82)
Graph |V|:89
Solution size:1469
Filtered solution size:145
Parallel solution length:48
Parallelism:3.021
Step parallelism:7 7 5 6 4 4 4 3 3 3 3 4 3 4 5 4 4 3 3 3 3 3 3 3 2 2 2 1 1 1 1 2 3 3 2 2 2 2 2 3 2 2 3 2 2 3 3 3 
Solving time:0.030
Filtering time:0.010
ID:81 (32,5,83)
Graph |V|:89
Solution size:1469
Filtered solution size:136
Parallel solution length:48
Parallelism:2.833
Step parallelism:6 6 4 5 3 3 3 2 2 3 3 4 3 4 5 4 4 3 3 3 3 3 3 3 2 2 2 1 1 1 1 2 3 3 2 2 2 2 2 3 2 2 3 2 2 3 3 3 
Solving time:0.040
Filtering time:0.000
ID:82 (32,5,84)
Graph |V|:89
Solution size:1329
Filtered solution size:95
Parallel solution length:31
Parallelism:3.065
Step parallelism:5 5 4 5 5 4 3 4 3 3 3 4 5 4 3 3 3 3 3 3 1 2 2 2 1 1 1 1 3 3 3 
Solving time:0.040
Filtering time:0.000
ID:83 (32,5,85)
Graph |V|:89
Solution size:1386
Filtered solution size:68
Parallel solution length:25
Parallelism:2.720
Step parallelism:4 4 3 3 3 3 3 3 4 4 2 2 3 2 2 3 3 2 3 2 2 2 2 2 2 
Solving time:0.040
Filtering time:0.000
ID:84 (32,5,86)
Graph |V|:89
Solution size:1249
Filtered solution size:58
Parallel solution length:24
Parallelism:2.417
Step parallelism:3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 3 2 2 2 2 1 2 2 2 
Solving time:0.030
Filtering time:0.000
ID:85 (32,5,87)
Graph |V|:89
Solution size:1352
Filtered solution size:47
Parallel solution length:24
Parallelism:1.958
Step parallelism:2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 
Solving time:0.030
Filtering time:0.000
ID:86 (32,5,88)
Graph |V|:89
Solution size:1141
Filtered solution size:15
Parallel solution length:15
Parallelism:1.000
Step parallelism:1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:87 (32,5,89)
Graph |V|:89
ID:88 (32,5,90)
Graph |V|:89
ID:89 (32,5,91)
Graph |V|:89
ID:90 (32,5,92)
Graph |V|:89
ID:91 (32,5,93)
Graph |V|:89
ID:92 (32,5,94)
Graph |V|:89
ID:93 (32,5,95)
Graph |V|:89
ID:94 (32,5,96)
Graph |V|:89
ID:95 (32,5,97)
Graph |V|:89
ID:96 (32,5,98)
Graph |V|:89
ID:97 (32,5,99)
Graph |V|:89
ID:98 (32,5,100)
Graph |V|:89