ID:0 (26,7,2)
Graph |V|:90
Solution size:3889
Filtered solution size:3531
Parallel solution length:376
Parallelism:9.391
Step parallelism:16 8 8 8 5 12 17 10 5 3 5 5 19 10 10 13 13 8 8 8 10 9 10 7 8 5 8 9 8 5 19 10 12 8 14 12 11 19 17 12 8 10 13 16 12 9 10 16 19 13 1 13 13 6 10 21 18 12 8 13 10 8 11 15 10 10 16 11 11 18 6 6 8 8 8 8 7 10 3 7 12 10 5 13 8 8 8 8 3 18 7 7 8 6 6 6 13 10 12 6 5 7 13 11 18 9 7 13 13 11 9 5 16 7 6 4 13 7 12 11 11 8 14 10 7 11 11 10 10 11 8 10 14 5 13 8 8 16 18 8 8 3 8 11 9 8 19 11 14 5 8 10 15 10 7 4 8 8 6 11 6 7 6 10 10 6 5 10 6 4 8 8 6 11 6 8 8 8 9 7 3 5 5 4 7 12 8 8 11 11 6 10 14 9 14 11 10 9 9 10 7 11 8 6 5 5 16 6 11 6 12 11 8 9 14 19 14 10 10 1 10 13 9 9 16 18 13 5 8 14 10 11 6 9 8 9 10 10 10 20 6 8 4 10 11 9 9 13 5 14 10 10 10 12 10 10 10 8 10 6 4 14 9 8 4 10 10 9 17 10 9 17 12 8 9 10 11 15 14 10 13 5 12 10 16 10 10 15 9 14 8 9 10 10 11 7 8 6 17 16 8 8 8 16 9 14 6 6 8 5 16 10 8 14 10 8 8 15 17 7 12 8 7 6 6 13 4 9 6 6 9 8 4 7 6 6 9 9 7 6 8 3 3 10 3 9 3 7 8 6 7 8 5 8 6 7 7 8 5 6 6 8 7 9 7 9 7 10 7 6 10 4 8 6 4 3 
Solving time:0.080
Filtering time:7.070
ID:1 (26,7,3)
Graph |V|:90
Solution size:3991
Filtered solution size:3667
Parallel solution length:386
Parallelism:9.500
Step parallelism:18 8 8 8 4 12 14 9 5 8 18 15 14 13 14 8 8 8 10 13 8 5 8 7 4 15 15 11 8 12 11 8 12 17 13 9 16 15 9 5 10 15 9 9 9 8 14 13 15 1 13 14 6 10 15 8 15 10 9 9 13 1 18 10 8 8 8 12 14 22 11 18 10 6 6 5 8 8 15 9 6 7 8 8 11 10 13 4 7 7 11 3 18 7 7 8 6 6 6 13 10 12 6 5 7 18 9 7 13 21 21 11 13 9 7 18 9 9 14 7 12 1 11 18 8 10 9 7 15 10 12 13 8 1 15 8 11 15 12 9 4 8 13 7 7 11 12 7 9 7 7 7 11 10 6 4 7 8 6 9 7 13 11 9 6 5 11 10 9 9 6 16 6 6 4 8 11 11 10 9 9 10 7 11 8 10 11 11 10 9 9 10 7 13 5 13 19 12 9 9 10 7 12 8 8 12 1 13 12 11 12 17 12 8 9 9 14 17 10 10 8 9 9 11 15 14 8 10 8 5 8 4 11 10 10 10 10 8 15 9 8 8 13 10 10 10 8 14 6 6 4 14 9 11 9 9 24 9 8 8 13 13 9 4 11 11 7 10 13 11 9 9 19 13 9 6 10 9 5 11 10 9 9 9 9 9 6 12 10 11 7 6 17 16 9 9 9 13 9 9 9 9 10 8 8 12 9 10 8 8 15 9 10 9 9 12 9 14 8 8 8 16 12 14 6 10 9 9 4 7 6 6 9 11 13 8 8 3 10 6 5 12 6 4 9 7 7 5 6 7 7 6 4 7 6 8 8 8 8 11 8 8 8 8 4 6 6 8 7 4 7 6 8 8 5 6 6 8 7 6 10 4 8 6 9 3 
Solving time:0.080
Filtering time:6.930
ID:2 (26,7,4)
Graph |V|:90
Solution size:3455
Filtered solution size:3157
Parallel solution length:322
Parallelism:9.804
Step parallelism:33 18 18 13 4 12 14 9 5 10 14 21 22 10 9 7 6 11 4 8 10 5 11 10 11 11 11 8 12 23 9 8 20 12 5 10 15 9 9 9 8 14 11 15 10 10 12 13 7 10 13 18 14 12 17 9 10 9 5 10 16 11 11 9 8 8 15 9 8 11 11 8 4 1 7 5 11 6 10 9 9 9 8 7 18 7 7 8 6 6 18 12 13 8 8 13 5 7 11 7 7 8 13 9 7 14 25 11 10 10 8 14 11 9 20 15 10 11 10 10 8 15 10 16 7 15 12 20 10 2 8 13 9 12 5 11 14 10 12 5 11 11 12 5 11 9 9 8 7 7 10 10 8 9 6 6 7 9 8 8 2 4 8 6 7 16 11 7 7 12 10 9 8 11 9 6 7 5 5 13 12 9 4 4 8 11 11 11 10 3 13 17 9 8 9 9 14 9 17 10 9 5 13 8 8 8 15 15 8 6 6 8 8 21 10 10 10 12 13 10 10 10 22 9 9 19 13 11 9 9 24 9 8 8 13 10 9 17 10 16 7 5 14 13 11 9 8 9 10 11 12 7 12 9 5 12 7 6 17 10 10 13 6 5 14 13 10 10 7 7 7 14 11 5 9 11 9 9 6 9 6 9 8 4 7 6 6 9 14 3 10 6 6 8 3 7 5 9 6 7 7 6 9 7 6 9 7 10 9 7 6 6 9 6 6 11 7 9 4 6 5 3 
Solving time:0.070
Filtering time:4.130
ID:3 (26,7,5)
Graph |V|:90
Solution size:3448
Filtered solution size:3118
Parallel solution length:320
Parallelism:9.744
Step parallelism:34 18 18 13 4 12 14 9 5 10 14 21 22 10 9 7 6 11 4 7 19 10 11 10 11 11 11 8 12 20 9 8 20 12 5 10 15 9 9 9 8 14 11 15 10 10 12 13 7 10 12 17 13 9 17 7 8 6 11 22 16 11 11 8 8 15 9 9 3 10 7 4 2 7 5 11 14 5 8 5 8 10 5 13 12 7 9 5 3 18 12 13 8 8 13 15 20 9 10 12 14 8 18 18 16 15 21 6 21 19 5 17 14 9 13 15 12 9 4 8 10 11 8 7 7 7 7 12 10 6 4 7 8 6 12 8 8 11 7 5 10 11 6 9 5 14 12 6 6 8 4 14 4 6 12 11 6 12 10 3 11 8 6 5 11 7 9 6 14 6 11 9 11 10 9 8 1 10 14 13 10 13 9 12 13 10 10 15 7 5 3 7 8 15 9 8 5 8 11 8 16 13 9 17 14 10 12 5 13 9 10 12 10 9 13 5 13 14 10 12 5 13 11 10 8 8 13 18 10 10 1 5 12 7 12 9 5 15 10 9 9 9 8 15 9 12 9 9 15 14 9 12 10 4 13 14 6 8 7 14 2 11 9 9 9 9 10 8 8 8 6 9 9 6 6 11 8 7 7 11 12 12 9 7 7 6 6 8 8 9 10 7 4 6 11 7 5 5 6 11 12 7 7 4 9 5 7 5 8 9 7 5 7 8 7 5 7 6 4 3 
Solving time:0.070
Filtering time:3.180
ID:4 (26,7,6)
Graph |V|:90
Solution size:3756
Filtered solution size:3186
Parallel solution length:341
Parallelism:9.343
Step parallelism:30 18 18 18 4 12 14 9 5 10 14 21 22 10 9 9 6 11 4 7 19 10 11 10 11 11 11 8 12 20 9 8 20 10 5 10 15 9 9 9 8 14 11 15 11 10 8 13 12 10 13 10 15 14 12 17 10 20 20 17 10 16 8 6 8 8 8 15 7 10 11 17 13 11 11 8 8 10 7 13 7 7 9 5 12 5 11 13 6 5 11 6 6 4 13 13 16 22 8 1 1 11 11 9 14 10 7 5 11 10 10 8 8 9 7 5 14 6 5 4 11 10 10 10 8 20 17 11 9 18 8 7 6 10 14 6 6 19 13 8 6 2 9 7 13 6 8 8 7 7 7 11 10 6 4 7 9 16 18 10 7 14 12 7 10 11 6 9 6 1 1 5 13 14 11 5 10 11 10 10 4 9 5 12 10 8 8 11 10 10 11 5 11 11 9 8 9 12 12 9 10 15 10 6 4 13 11 9 8 8 11 21 9 9 8 5 10 12 8 8 6 8 18 11 12 6 6 8 5 3 7 9 9 4 11 8 4 7 9 10 12 7 11 9 14 7 9 7 21 12 10 9 9 15 9 5 11 4 9 6 13 12 6 5 6 9 9 11 13 11 12 1 9 2 8 9 4 9 9 9 11 5 13 9 8 13 8 13 6 10 9 9 8 8 6 5 9 11 6 8 7 6 5 8 5 7 8 8 4 4 8 7 4 7 6 6 6 9 8 6 8 6 9 4 5 6 6 7 6 8 7 5 8 6 5 8 6 5 4 4 3 
Solving time:0.090
Filtering time:5.970
ID:5 (26,7,7)
Graph |V|:90
Solution size:3739
Filtered solution size:3108
Parallel solution length:337
Parallelism:9.223
Step parallelism:31 18 18 18 4 12 14 9 5 10 14 21 22 10 9 7 6 11 4 7 19 10 12 10 11 11 11 8 12 19 9 8 20 10 5 10 15 9 9 9 8 14 11 15 11 11 8 13 12 10 13 11 14 13 11 16 10 8 7 5 17 12 17 13 7 6 5 8 8 15 7 10 11 17 13 11 11 8 8 10 7 13 12 7 9 5 4 5 11 12 8 11 7 4 12 7 15 16 5 11 11 8 14 10 7 4 11 10 10 4 8 14 10 8 5 13 6 5 4 11 10 10 6 8 9 10 9 16 14 21 15 10 8 15 12 16 12 9 6 5 4 16 3 7 11 7 6 7 7 5 10 6 3 2 8 5 5 12 7 8 3 10 10 8 4 8 1 3 6 13 10 13 13 5 9 3 2 11 10 11 9 7 10 10 11 3 11 11 7 8 9 8 12 13 11 5 8 4 10 10 10 19 16 11 8 6 10 9 12 13 8 8 15 9 15 13 11 4 5 12 3 6 6 5 7 5 11 13 10 9 7 8 14 9 9 9 7 10 10 9 9 9 3 3 9 8 8 8 11 10 6 4 15 8 7 8 4 12 10 12 14 11 2 5 11 10 9 13 6 9 9 11 3 5 15 9 9 9 4 8 17 10 15 13 11 10 9 8 4 11 10 6 7 9 7 15 1 8 9 5 11 9 7 3 9 9 12 6 8 3 11 7 5 5 6 10 7 6 9 6 7 8 3 11 6 3 8 7 6 6 6 6 7 7 3 4 3 
Solving time:0.080
Filtering time:6.200
ID:6 (26,7,8)
Graph |V|:90
Solution size:3715
Filtered solution size:2954
Parallel solution length:311
Parallelism:9.498
Step parallelism:38 18 18 18 4 12 14 9 6 10 14 21 22 10 9 7 6 11 8 6 19 16 10 10 8 10 11 1 17 17 12 20 9 10 11 24 16 7 9 14 11 8 11 10 15 12 7 7 11 12 22 10 8 7 17 12 17 12 7 6 5 11 13 7 2 6 6 15 7 7 8 10 8 7 6 3 13 9 7 9 5 9 12 18 17 14 12 8 11 9 7 7 11 11 12 9 9 12 10 6 9 11 11 8 8 7 4 11 9 9 8 11 17 9 16 8 10 7 10 13 7 9 6 6 5 9 9 9 9 16 13 8 5 8 4 14 7 6 13 7 9 8 4 9 6 9 8 7 7 7 8 13 12 18 12 13 11 4 13 17 11 13 12 15 1 11 8 6 8 6 11 9 5 4 10 11 6 14 11 11 7 12 7 6 10 11 6 8 15 8 14 10 14 14 10 8 17 7 8 11 3 5 7 8 11 9 9 9 6 8 11 10 9 8 10 10 9 9 9 13 3 10 9 9 9 9 12 10 7 7 14 12 7 6 4 16 7 6 4 9 14 14 6 6 10 11 3 14 13 9 8 8 8 10 16 10 13 9 6 5 3 15 14 5 4 11 10 8 11 7 9 8 14 2 10 9 19 6 8 10 3 8 6 9 6 7 5 4 4 12 7 8 6 6 2 8 4 3 6 10 5 5 8 6 10 5 9 4 5 3 2 
Solving time:0.080
Filtering time:6.060
ID:7 (26,7,9)
Graph |V|:90
Solution size:3589
Filtered solution size:2898
Parallel solution length:314
Parallelism:9.229
Step parallelism:31 18 18 18 4 12 14 9 6 10 14 21 22 10 9 8 6 11 9 7 19 17 10 10 8 10 12 1 20 16 8 16 10 11 17 20 7 10 1 9 14 11 6 11 10 15 17 6 9 9 9 12 7 19 12 17 12 7 6 7 9 8 3 7 13 16 9 10 8 8 5 15 9 6 7 8 5 5 6 11 16 9 6 9 9 9 13 9 5 3 11 9 5 4 13 7 12 6 12 9 1 8 8 8 4 10 6 7 7 12 16 7 15 16 3 12 9 4 4 10 12 9 6 9 4 15 14 8 5 3 3 11 9 11 12 17 4 7 5 8 3 8 5 5 8 7 14 8 7 6 1 6 1 9 12 6 6 14 13 17 9 17 20 20 13 14 10 11 11 9 9 10 12 15 10 10 10 14 13 12 10 11 9 11 11 8 5 1 10 14 9 6 11 11 11 14 9 9 8 8 18 16 6 8 8 15 12 12 10 5 4 11 10 7 5 11 11 7 6 4 13 19 13 6 11 5 10 9 16 8 7 11 9 11 8 10 9 11 6 14 8 12 14 10 9 14 6 5 10 6 6 13 7 10 8 8 10 14 8 8 3 6 4 8 5 8 9 7 5 14 6 9 10 7 7 10 10 4 4 4 2 4 6 6 12 8 7 6 7 5 6 8 4 5 5 8 7 6 6 6 6 6 3 9 6 5 8 7 8 6 6 4 2 1 
Solving time:0.080
Filtering time:4.310
ID:8 (26,7,10)
Graph |V|:90
Solution size:3406
Filtered solution size:2655
Parallel solution length:292
Parallelism:9.092
Step parallelism:30 17 17 11 4 12 14 9 6 10 14 21 22 10 9 8 6 11 9 7 10 12 10 10 8 10 11 1 20 16 4 16 10 11 17 20 7 10 1 9 14 11 6 11 10 15 16 6 8 8 7 8 7 19 12 17 12 9 6 7 9 8 3 7 13 16 9 10 8 8 5 15 7 6 7 6 5 5 11 17 9 14 8 12 8 5 3 11 9 5 4 13 7 12 6 12 9 1 8 8 8 4 10 6 7 7 13 9 7 15 14 12 9 6 4 4 12 9 6 9 4 16 17 10 9 6 5 8 9 7 14 11 13 1 7 5 8 4 9 17 11 11 8 9 8 6 1 3 11 12 12 10 10 8 7 5 12 17 11 10 5 5 13 15 6 10 12 11 11 5 7 10 8 10 8 12 10 6 13 15 15 16 5 2 10 4 11 13 14 6 11 9 5 5 3 10 8 8 8 9 6 9 16 12 8 9 9 11 11 10 14 10 9 9 13 15 2 8 10 8 14 7 8 6 15 10 7 7 8 10 16 13 8 9 4 12 8 7 7 5 8 4 10 9 6 7 5 9 9 11 9 8 9 7 7 8 6 9 7 10 10 9 8 8 1 6 6 9 6 3 6 10 9 8 6 7 6 9 8 6 7 9 7 1 6 9 4 9 6 8 4 1 
Solving time:0.080
Filtering time:3.750
ID:9 (26,7,11)
Graph |V|:90
Solution size:3435
Filtered solution size:2563
Parallel solution length:286
Parallelism:8.962
Step parallelism:31 17 17 11 4 12 14 9 6 10 14 21 22 10 9 8 6 11 9 7 10 12 10 10 8 10 11 1 20 17 4 16 10 11 17 20 7 10 1 9 14 11 6 11 14 14 12 6 8 8 7 8 7 19 12 17 12 9 6 7 9 8 3 7 13 16 9 10 8 8 5 15 7 6 7 6 5 5 11 17 9 14 8 12 8 5 3 11 9 5 4 13 7 12 7 12 4 1 8 8 8 5 10 6 6 4 13 11 18 12 11 7 11 9 4 8 12 8 8 3 19 17 9 8 3 7 9 10 12 17 5 7 5 8 3 8 9 14 10 8 8 9 4 3 5 7 10 11 7 19 7 11 11 9 6 4 5 14 13 11 6 10 8 14 14 7 9 6 7 5 7 19 17 7 12 12 13 8 11 11 8 12 4 12 10 3 4 6 9 5 6 13 8 6 11 9 9 9 7 6 12 7 10 12 4 13 13 6 9 2 14 10 9 4 11 12 4 2 14 7 12 9 12 8 9 6 9 5 3 10 10 4 8 8 8 13 11 7 5 11 6 13 12 10 10 7 6 9 8 5 12 6 6 8 10 8 4 8 4 3 7 8 8 10 8 5 8 6 9 7 6 6 9 7 7 2 8 7 6 5 2 8 6 5 3 1 
Solving time:0.080
Filtering time:4.180
ID:10 (26,7,12)
Graph |V|:90
Solution size:3497
Filtered solution size:2706
Parallel solution length:300
Parallelism:9.020
Step parallelism:32 20 17 12 4 10 11 7 10 16 20 22 10 11 6 11 10 8 10 12 10 10 8 10 11 1 20 12 5 17 7 4 11 8 4 6 13 17 1 9 2 1 9 14 14 9 10 12 15 15 12 12 9 9 7 8 16 13 10 6 20 8 6 7 9 7 6 11 10 7 19 14 13 8 9 7 11 10 10 6 14 5 11 6 9 10 17 14 8 14 9 16 12 11 8 17 18 20 5 1 10 10 14 11 9 13 12 11 9 6 4 8 9 9 11 6 6 5 6 13 9 9 5 9 7 8 13 6 6 8 14 12 5 9 6 3 2 8 11 11 12 14 14 9 4 13 13 5 7 7 11 15 8 10 8 8 2 1 9 15 9 8 8 5 10 9 14 17 6 10 11 10 11 13 7 10 5 16 6 2 9 6 6 10 9 9 7 6 15 10 12 11 6 5 7 8 8 4 13 14 15 14 9 4 3 9 15 13 9 8 3 12 11 10 12 8 7 10 10 12 4 10 18 12 12 11 4 10 5 11 9 6 6 10 7 10 4 4 7 7 5 1 5 5 4 4 7 4 3 7 10 13 13 13 9 7 4 4 8 10 8 7 9 7 5 11 9 11 5 5 8 7 6 3 7 4 7 6 10 1 8 7 6 9 5 5 4 6 7 3 6 8 10 5 5 6 5 5 2 2 
Solving time:0.080
Filtering time:3.390
ID:11 (26,7,13)
Graph |V|:90
Solution size:3613
Filtered solution size:2709
Parallel solution length:314
Parallelism:8.627
Step parallelism:31 20 17 13 5 10 10 6 10 16 20 14 8 11 6 11 10 8 10 12 10 10 8 11 11 1 16 16 8 15 11 4 4 10 8 4 6 13 17 6 5 2 1 9 14 10 9 10 12 14 12 11 12 11 9 7 10 16 12 10 6 20 8 6 7 9 7 7 11 10 7 8 7 6 5 10 7 9 5 13 7 7 9 5 8 6 13 9 6 6 4 8 8 9 13 7 11 9 17 9 12 6 15 13 11 8 1 3 11 15 12 16 13 9 6 2 8 4 10 9 6 5 8 10 9 9 9 4 9 9 8 5 5 9 13 9 9 13 8 6 9 10 7 5 9 6 12 2 9 6 7 7 5 10 12 15 12 4 4 9 11 7 6 6 9 8 9 9 11 9 5 9 2 6 10 5 14 9 7 7 9 9 9 10 16 5 5 18 11 6 12 17 9 2 9 3 12 17 18 6 5 7 8 11 9 9 9 6 9 9 9 7 9 9 8 8 8 5 8 9 8 8 8 11 10 9 8 13 12 7 9 4 8 12 2 11 9 14 4 14 8 9 6 5 4 5 13 8 10 9 12 8 10 8 9 8 8 1 8 3 8 10 8 8 10 8 8 7 7 7 9 5 5 6 9 7 7 12 4 12 8 6 7 16 6 7 1 9 7 5 7 10 6 6 8 4 5 9 6 6 10 8 3 6 6 6 6 5 8 4 6 5 3 1 
Solving time:0.070
Filtering time:4.570
ID:12 (26,7,14)
Graph |V|:90
Solution size:3276
Filtered solution size:2469
Parallel solution length:270
Parallelism:9.144
Step parallelism:30 20 17 13 5 10 10 6 10 16 20 14 8 11 6 11 12 9 8 17 10 10 8 11 12 1 16 17 7 15 11 7 4 10 8 4 8 8 8 11 12 12 9 8 6 10 15 21 18 11 14 10 9 6 19 19 12 13 7 6 4 8 9 10 13 6 7 9 11 6 3 13 10 7 9 5 4 5 11 12 12 16 11 19 8 11 9 10 8 8 7 6 5 10 6 9 6 12 15 11 12 16 5 8 8 10 11 9 6 10 13 9 9 9 16 11 11 8 4 6 14 15 9 1 7 7 5 9 7 4 2 9 12 15 8 9 12 1 11 11 6 10 12 23 15 10 9 10 10 7 6 8 14 10 7 10 4 10 6 4 10 5 11 12 6 1 1 6 10 10 13 12 9 6 3 4 6 11 9 7 4 3 11 13 8 8 6 8 8 10 14 10 9 7 6 9 15 10 8 8 15 9 9 7 12 12 9 11 10 13 6 5 11 12 7 12 18 6 9 8 8 9 13 10 16 5 4 9 7 6 6 6 6 4 5 6 8 9 8 7 9 12 9 7 7 10 9 7 10 4 6 5 4 11 7 8 7 5 3 8 9 9 7 7 6 5 2 4 4 1 
Solving time:0.080
Filtering time:2.790
ID:13 (26,7,15)
Graph |V|:90
Solution size:3276
Filtered solution size:2447
Parallel solution length:266
Parallelism:9.199
Step parallelism:31 21 22 16 12 6 12 17 20 14 8 11 6 11 12 9 8 16 10 7 9 12 12 14 7 15 11 7 4 10 8 4 8 8 8 11 12 12 9 8 6 10 15 21 18 11 14 10 9 6 19 19 12 13 7 6 4 8 9 10 13 6 7 9 11 6 3 13 10 7 9 5 4 5 11 12 12 16 11 19 8 11 9 10 8 8 7 6 5 10 6 9 6 12 15 11 12 16 5 8 8 10 11 9 6 10 13 9 9 9 16 11 11 8 4 6 14 15 9 1 7 7 5 9 7 4 2 9 12 15 8 9 12 1 11 11 6 10 12 23 15 10 9 10 10 7 6 8 14 10 7 10 4 10 6 4 10 5 11 12 6 1 1 6 10 10 13 12 9 6 3 4 6 11 9 7 4 3 11 13 8 8 6 8 8 10 14 10 9 7 6 9 15 10 8 8 15 9 9 7 12 12 9 11 10 13 6 5 11 12 7 12 18 6 9 8 8 9 13 10 16 5 4 9 7 6 6 6 6 4 5 6 8 9 8 7 9 12 9 7 7 10 9 7 10 4 6 5 4 11 7 8 7 5 3 8 9 9 7 7 6 5 2 4 4 1 
Solving time:0.070
Filtering time:2.750
ID:14 (26,7,16)
Graph |V|:90
Solution size:3524
Filtered solution size:2530
Parallel solution length:284
Parallelism:8.908
Step parallelism:32 22 22 16 12 7 12 17 20 14 8 11 6 11 12 9 8 14 8 8 13 7 14 10 7 7 15 10 6 3 10 8 4 8 8 8 8 11 12 7 8 6 10 15 20 17 12 8 11 6 18 18 16 12 7 6 5 8 10 7 5 14 11 11 10 5 8 10 10 13 10 7 8 3 1 5 11 16 6 12 9 10 10 17 8 8 10 15 11 14 4 5 12 14 7 7 7 4 11 9 10 7 12 15 11 11 13 10 6 6 3 10 5 5 6 13 11 15 12 12 7 5 12 9 9 4 4 1 7 11 10 10 9 10 9 8 5 10 6 3 2 8 7 6 7 4 8 6 3 1 7 8 13 16 19 7 8 10 18 12 8 10 5 8 5 12 16 11 5 6 6 10 6 8 7 14 9 10 12 9 6 13 4 13 16 11 9 9 13 8 8 11 4 5 11 3 7 11 12 8 12 8 9 14 13 12 5 10 7 9 8 9 8 6 8 4 10 14 13 7 4 5 10 12 19 10 15 9 4 7 11 8 8 10 9 9 8 8 7 6 10 6 10 7 7 10 5 8 6 8 8 3 9 6 7 5 8 7 9 1 6 4 6 6 1 1 6 8 8 7 5 7 7 6 2 6 6 4 5 5 6 2 5 2 
Solving time:0.080
Filtering time:3.840
ID:15 (26,7,17)
Graph |V|:90
Solution size:3524
Filtered solution size:2516
Parallel solution length:281
Parallelism:8.954
Step parallelism:32 22 22 16 12 7 11 17 19 14 10 11 6 11 12 9 8 14 8 8 13 7 14 10 7 7 15 10 6 3 10 8 4 8 8 8 8 11 12 7 8 6 10 15 20 17 12 8 11 6 18 18 16 12 7 6 5 8 10 7 5 14 11 11 10 5 8 10 9 12 9 4 9 11 16 6 12 9 10 10 17 8 8 10 15 11 14 4 5 12 14 7 7 7 4 11 9 10 7 12 15 11 11 13 10 6 6 3 10 5 5 6 13 11 15 12 12 7 5 12 9 9 4 4 1 7 11 10 10 9 10 9 8 5 10 6 3 2 8 7 6 7 4 8 6 3 1 7 8 13 16 19 7 8 10 18 12 8 10 5 8 5 12 16 11 5 6 6 10 6 8 7 14 9 10 12 9 6 13 4 13 16 11 9 9 13 8 8 11 4 5 11 3 7 11 12 8 12 8 9 14 13 12 5 10 7 9 8 9 8 6 8 4 10 14 13 7 4 5 10 12 19 10 15 9 4 7 11 8 8 10 9 9 8 8 7 6 10 6 10 7 7 10 5 8 6 8 8 3 9 6 7 5 8 7 9 1 6 4 6 6 1 1 6 8 8 7 5 7 7 6 2 6 6 4 5 5 6 2 5 2 
Solving time:0.080
Filtering time:3.830
ID:16 (26,7,18)
Graph |V|:90
Solution size:3257
Filtered solution size:2369
Parallel solution length:276
Parallelism:8.583
Step parallelism:32 23 23 15 5 8 13 15 19 14 10 12 7 11 11 6 12 14 11 6 7 10 7 5 8 10 9 17 7 12 1 1 10 11 8 3 6 5 10 18 13 15 9 7 9 11 15 10 9 18 11 11 11 7 7 22 21 15 13 7 6 1 8 9 11 8 3 9 11 9 8 9 8 11 9 5 12 13 8 8 4 1 6 12 9 9 9 9 16 8 6 10 17 8 7 11 10 11 10 5 8 6 2 9 7 4 6 5 7 5 12 9 9 5 8 10 8 8 9 10 7 5 7 8 8 8 10 8 8 7 6 4 9 5 1 8 6 1 11 15 12 7 11 10 8 8 5 8 6 4 1 6 9 6 2 9 8 8 9 8 8 7 16 7 10 8 10 4 4 11 13 1 1 9 7 5 8 9 9 6 11 10 10 15 10 10 8 11 7 4 3 7 15 9 8 8 6 9 14 13 17 11 9 9 10 9 8 9 11 9 8 12 10 9 9 5 5 5 14 12 4 7 5 4 10 8 7 9 6 9 15 17 10 9 9 7 8 10 8 5 8 6 6 5 11 9 6 6 9 4 5 9 7 7 3 8 5 7 9 11 6 6 4 2 3 4 6 6 6 6 6 6 4 5 5 3 
Solving time:0.070
Filtering time:2.860
ID:17 (26,7,19)
Graph |V|:90
Solution size:3252
Filtered solution size:2342
Parallel solution length:272
Parallelism:8.610
Step parallelism:32 23 23 15 5 8 13 15 19 14 10 12 7 11 11 6 12 14 11 6 7 10 7 5 8 10 9 17 7 13 1 1 10 11 8 3 6 5 10 18 13 14 9 7 9 11 15 10 9 18 11 11 11 7 9 19 20 13 13 7 6 1 8 9 11 8 3 9 11 9 8 9 8 11 9 5 12 13 8 8 4 1 6 12 9 9 9 9 16 8 6 10 17 8 7 11 10 11 10 5 8 6 2 9 7 4 6 5 8 4 14 10 9 5 8 10 8 8 11 8 7 4 8 8 8 8 9 10 8 8 6 8 2 8 5 3 8 2 8 14 6 9 10 11 5 7 7 7 2 10 8 14 11 15 11 12 8 6 9 5 6 5 4 13 7 6 1 9 12 9 8 6 8 13 9 8 15 10 12 7 17 17 5 9 7 12 9 5 8 5 7 12 12 11 13 13 12 15 9 8 8 9 12 5 6 8 8 10 6 5 7 8 9 12 10 8 6 9 5 11 10 6 8 8 1 7 9 6 9 8 5 6 5 8 4 6 10 10 11 6 8 7 1 9 7 5 6 7 4 4 10 6 3 6 5 8 8 6 8 7 10 8 2 6 7 3 6 3 3 4 4 4 
Solving time:0.070
Filtering time:2.690
ID:18 (26,7,20)
Graph |V|:90
Solution size:3168
Filtered solution size:2224
Parallel solution length:241
Parallelism:9.228
Step parallelism:32 24 21 17 5 8 13 18 21 15 10 9 6 11 10 7 12 11 9 6 7 10 7 8 8 8 8 15 14 5 1 10 10 8 5 7 5 12 23 23 19 15 14 15 18 11 18 20 17 16 6 2 1 8 10 9 8 3 10 6 7 7 8 7 8 6 6 10 13 2 13 13 12 6 9 15 7 10 13 8 16 22 11 10 10 13 18 15 12 6 7 12 2 7 6 8 12 9 5 4 4 9 8 17 10 6 1 6 4 9 8 11 11 9 13 9 10 4 11 5 3 6 10 16 8 7 8 10 10 14 10 15 10 5 7 10 13 5 6 6 7 8 7 8 8 5 9 10 15 6 7 9 10 10 6 10 10 11 16 11 10 7 9 12 9 14 8 7 9 4 3 7 12 12 16 9 9 5 8 11 11 9 7 6 8 11 11 7 4 6 6 18 7 7 9 4 8 3 5 3 9 7 5 7 6 7 6 9 5 11 10 8 8 7 10 13 12 12 7 9 9 7 8 5 7 6 6 7 7 6 6 9 3 7 5 4 5 6 7 5 3 
Solving time:0.070
Filtering time:2.640
ID:19 (26,7,21)
Graph |V|:90
Solution size:3482
Filtered solution size:2312
Parallel solution length:259
Parallelism:8.927
Step parallelism:34 23 21 17 5 8 13 18 25 15 10 10 6 8 8 7 12 9 8 13 9 9 8 8 8 15 13 5 1 10 10 9 5 8 13 14 19 10 11 15 14 11 17 13 3 15 16 13 12 7 1 5 13 13 15 9 7 7 14 11 11 9 10 8 10 18 11 4 5 2 9 7 10 8 12 9 7 11 1 10 8 7 11 8 7 7 6 8 7 10 9 8 9 11 8 14 10 3 8 6 12 10 10 6 3 6 9 9 6 14 11 9 6 3 9 2 7 9 13 12 15 10 8 7 5 13 6 3 2 8 9 9 10 3 5 6 2 11 10 6 2 4 15 13 8 1 8 10 10 14 11 10 14 10 10 8 11 6 5 11 5 12 14 9 7 8 8 2 1 10 8 10 8 8 8 9 13 13 11 6 8 7 12 13 5 7 7 14 15 15 9 8 7 12 9 6 9 5 7 7 5 3 7 10 3 1 1 8 15 17 10 10 10 9 4 8 7 11 10 12 11 13 7 6 6 9 12 4 7 4 6 9 9 8 10 10 9 6 1 10 6 4 7 11 8 9 7 7 6 8 4 8 7 7 8 6 5 5 1 
Solving time:0.080
Filtering time:3.690
ID:20 (26,7,22)
Graph |V|:90
Solution size:3722
Filtered solution size:2432
Parallel solution length:274
Parallelism:8.876
Step parallelism:34 23 21 17 6 8 13 18 25 15 10 10 6 8 7 6 12 9 8 12 9 9 8 8 8 15 13 10 3 10 8 4 9 10 16 16 14 11 15 18 18 18 15 22 24 19 9 6 1 1 8 8 11 11 7 7 14 11 11 16 10 7 10 13 2 3 5 4 8 12 9 12 7 7 7 7 7 8 13 17 13 14 9 4 10 6 5 4 4 12 19 16 17 9 7 7 8 4 4 4 10 4 2 2 9 14 3 3 8 2 7 7 6 9 8 11 13 9 10 12 5 5 4 11 8 14 5 6 6 12 12 11 10 15 11 11 11 10 6 9 5 4 12 13 9 7 15 7 11 5 3 14 11 18 8 10 14 6 10 11 10 7 2 8 6 9 9 10 8 4 4 5 16 11 8 5 6 9 7 7 9 9 9 12 10 18 12 10 8 13 13 16 15 6 10 5 3 5 13 9 7 9 7 7 10 13 7 7 7 6 5 9 10 5 7 7 3 4 4 6 8 11 11 8 6 6 8 7 8 9 6 9 7 6 8 7 10 9 10 6 2 8 7 5 6 8 4 9 9 6 4 7 6 4 10 7 5 6 7 5 4 4 3 5 3 5 4 8 7 5 5 6 3 2 
Solving time:0.070
Filtering time:4.420
ID:21 (26,7,23)
Graph |V|:90
Solution size:3295
Filtered solution size:2181
Parallel solution length:244
Parallelism:8.939
Step parallelism:34 23 21 17 6 8 10 18 25 17 14 10 7 9 7 6 14 9 8 14 13 6 10 9 16 4 5 7 7 10 8 4 9 16 18 13 8 8 13 14 13 18 15 18 17 16 12 8 1 5 6 9 14 15 10 10 17 16 13 9 10 9 12 9 8 16 7 14 6 19 9 11 12 4 8 5 12 7 8 7 10 13 7 6 10 9 4 9 21 8 8 6 13 9 8 2 3 9 8 5 5 3 3 8 8 8 6 13 6 8 8 7 7 14 7 6 8 8 5 9 12 6 6 11 12 13 6 10 11 11 8 6 7 10 9 10 7 7 7 9 6 12 9 11 8 12 12 8 9 5 5 10 7 6 3 6 14 9 10 8 8 6 5 11 8 7 11 9 9 11 9 6 14 12 7 6 3 14 8 10 9 18 12 7 7 8 6 5 7 8 11 7 8 6 10 4 6 3 3 6 8 6 10 10 4 5 6 6 9 9 11 6 9 7 9 7 5 8 6 2 7 6 8 10 11 9 5 8 7 8 6 5 3 3 6 6 8 7 7 3 4 1 1 1 
Solving time:0.070
Filtering time:2.930
ID:22 (26,7,24)
Graph |V|:90
Solution size:3400
Filtered solution size:2118
Parallel solution length:245
Parallelism:8.645
Step parallelism:33 23 21 17 6 8 10 18 25 17 14 10 9 9 7 6 14 9 8 14 13 6 10 9 16 4 5 7 7 10 8 4 9 16 18 13 8 8 13 14 14 18 15 17 16 15 13 8 1 5 6 9 13 14 10 10 17 16 13 9 10 9 12 9 8 15 7 14 6 18 8 10 9 6 5 12 7 8 7 13 8 3 3 9 9 3 9 19 8 8 6 12 9 4 2 3 9 8 5 5 3 3 13 9 8 6 7 11 7 3 6 11 10 5 10 11 6 10 21 13 7 7 10 9 11 15 5 8 1 5 7 4 12 5 5 11 7 7 6 5 8 7 13 16 10 14 9 7 7 9 5 4 9 7 7 10 11 7 7 6 12 11 16 10 9 8 8 9 1 6 12 10 6 4 2 8 7 5 1 1 5 6 13 15 14 7 9 8 8 13 4 6 9 10 6 6 6 11 9 10 11 9 3 1 7 8 6 6 3 9 6 8 5 9 6 3 5 10 1 7 4 3 6 9 8 6 5 3 6 6 5 7 5 6 6 7 7 6 4 5 5 3 5 2 2 
Solving time:0.070
Filtering time:3.110
ID:23 (26,7,25)
Graph |V|:90
Solution size:3484
Filtered solution size:2169
Parallel solution length:244
Parallelism:8.889
Step parallelism:32 22 20 18 6 5 10 13 17 22 15 14 9 9 7 7 6 14 9 8 14 13 6 10 9 15 4 5 8 7 9 8 5 9 16 17 10 8 8 13 14 14 19 13 17 17 13 9 9 1 5 8 9 8 9 10 10 17 18 12 16 14 11 14 15 12 12 7 11 12 6 17 12 8 3 9 7 10 14 8 11 5 3 3 6 10 9 4 7 7 6 13 14 7 13 9 9 8 10 6 8 6 11 8 17 6 6 7 11 14 9 11 10 9 16 13 9 9 5 5 3 12 6 6 10 9 12 8 6 9 8 9 7 7 7 11 11 11 10 10 11 8 21 14 11 9 8 10 8 12 6 11 8 4 4 3 3 1 1 7 9 7 5 10 9 9 11 7 5 7 6 5 9 7 6 8 9 10 4 2 11 10 14 8 1 1 2 12 4 7 7 10 14 7 6 8 5 5 13 8 12 7 6 7 9 9 8 10 6 10 5 12 7 7 8 4 6 6 6 8 2 3 3 8 9 8 7 6 7 6 7 6 6 5 6 6 6 5 7 4 6 3 2 1 
Solving time:0.070
Filtering time:3.440
ID:24 (26,7,26)
Graph |V|:90
Solution size:3824
Filtered solution size:2300
Parallel solution length:268
Parallelism:8.582
Step parallelism:33 22 20 18 6 5 10 23 17 16 12 11 9 9 7 6 14 9 8 14 13 6 10 9 15 4 5 8 7 9 8 5 9 16 17 10 8 8 13 14 14 20 13 17 17 13 10 10 1 5 9 12 11 8 15 2 14 10 11 13 14 6 13 5 7 6 11 18 8 8 9 14 13 4 17 11 9 9 13 11 6 4 8 4 10 13 7 7 10 9 4 5 14 8 8 6 10 6 10 15 9 7 8 6 5 5 3 9 11 8 4 10 9 4 6 5 13 8 7 8 7 8 11 7 5 2 9 5 10 13 10 14 11 9 6 8 7 4 7 7 5 9 9 6 7 9 9 8 12 10 8 10 7 4 4 7 7 14 10 8 10 11 6 6 7 10 12 11 9 14 7 8 9 8 9 10 9 8 7 6 4 2 2 6 9 7 11 5 6 12 10 8 9 10 1 10 14 12 9 6 11 8 8 8 7 9 5 4 3 3 3 7 7 10 11 9 7 11 7 6 7 5 11 9 6 7 6 9 9 11 8 8 8 8 7 5 8 7 6 10 4 5 5 9 5 3 6 4 5 5 5 2 6 3 3 4 4 6 5 8 8 4 6 6 6 7 4 7 
Solving time:0.080
Filtering time:5.210
ID:25 (26,7,27)
Graph |V|:90
Solution size:3225
Filtered solution size:2024
Parallel solution length:213
Parallelism:9.502
Step parallelism:34 22 19 18 6 5 10 24 17 16 13 11 9 9 7 6 13 9 8 14 13 6 10 9 15 4 5 8 7 9 8 5 9 16 18 10 8 8 13 14 14 19 13 17 16 15 8 8 1 5 10 9 8 9 14 6 16 13 12 11 9 8 13 12 9 8 18 11 11 11 14 14 6 6 4 13 14 10 9 9 10 13 20 14 14 11 4 9 6 7 7 6 17 16 16 12 8 7 4 5 4 3 5 13 9 9 10 14 11 10 10 10 10 10 10 12 9 12 2 4 10 13 12 7 17 8 11 10 7 10 7 9 15 12 13 13 6 5 11 6 3 2 8 8 13 12 12 12 8 10 9 6 4 7 5 1 4 8 5 4 13 12 14 13 7 4 7 12 12 6 7 8 6 7 6 9 6 6 9 8 5 7 8 8 8 11 9 11 7 8 9 9 7 8 9 9 5 6 9 10 7 7 3 6 7 3 6 5 4 4 6 5 2 
Solving time:0.070
Filtering time:2.700
ID:26 (26,7,28)
Graph |V|:90
Solution size:2807
Filtered solution size:1612
Parallel solution length:187
Parallelism:8.620
Step parallelism:33 20 20 8 8 6 11 16 17 12 10 7 10 6 6 5 5 6 7 12 15 15 7 5 5 17 6 15 12 10 17 15 9 15 12 13 14 15 9 7 2 5 9 12 6 5 8 8 10 13 13 13 19 14 12 15 11 13 13 8 7 13 11 11 10 8 11 7 7 11 10 2 3 2 4 6 7 6 13 6 10 9 7 7 4 9 7 7 7 2 9 6 4 3 9 5 10 6 8 6 5 3 12 11 9 11 5 6 3 8 7 8 2 12 9 13 6 16 11 9 10 13 11 3 1 8 9 14 9 9 6 6 11 10 9 12 10 5 11 10 4 8 15 12 16 7 7 8 4 4 6 10 5 8 5 8 8 8 10 6 7 12 5 6 7 3 6 7 5 5 5 6 10 6 6 6 5 5 7 7 8 6 5 2 3 2 1 
Solving time:0.060
Filtering time:1.100
ID:27 (26,7,29)
Graph |V|:90
Solution size:3091
Filtered solution size:1630
Parallel solution length:197
Parallelism:8.274
Step parallelism:36 22 20 7 11 11 16 15 12 10 10 8 6 6 5 6 7 12 15 15 9 5 5 17 6 15 11 9 16 13 8 13 11 9 12 16 17 7 5 6 8 11 10 7 9 10 9 12 11 10 7 8 11 13 9 2 2 2 12 7 3 11 9 8 8 8 11 6 7 4 3 11 8 7 6 6 6 4 7 8 6 4 10 12 4 8 6 5 3 10 12 9 9 5 5 4 4 14 6 6 5 11 5 5 8 8 5 5 10 10 11 13 8 7 2 5 9 7 8 5 6 7 6 11 2 7 12 8 7 11 9 10 8 9 5 3 6 6 7 12 10 8 11 9 8 11 13 11 11 6 7 8 3 3 7 10 8 8 7 8 6 11 6 3 12 6 6 5 5 4 5 5 7 8 10 8 7 7 10 10 9 9 5 7 6 9 10 7 4 5 6 5 6 6 7 5 4 
Solving time:0.060
Filtering time:1.880
ID:28 (26,7,30)
Graph |V|:90
Solution size:2955
Filtered solution size:1565
Parallel solution length:175
Parallelism:8.943
Step parallelism:36 23 19 6 11 11 18 15 12 10 12 8 6 8 5 6 9 14 12 21 10 7 4 13 10 3 11 12 13 10 3 3 12 14 14 17 15 6 6 4 5 5 12 13 8 8 15 11 8 6 3 5 9 12 7 9 10 12 14 7 12 5 4 6 9 12 10 13 7 13 10 12 9 7 9 8 9 11 11 6 7 19 12 12 10 5 8 13 6 5 11 6 7 7 16 14 14 17 13 17 12 6 11 14 11 8 12 6 8 7 5 9 13 13 11 11 10 6 5 4 8 9 8 10 8 11 11 11 11 9 6 8 8 7 7 4 9 4 4 4 8 6 8 7 5 2 4 5 8 8 7 6 9 6 5 6 2 7 5 6 6 8 7 7 5 4 6 4 6 6 4 5 4 3 1 
Solving time:0.070
Filtering time:1.510
ID:29 (26,7,31)
Graph |V|:90
Solution size:2826
Filtered solution size:1477
Parallel solution length:162
Parallelism:9.117
Step parallelism:35 22 19 7 11 11 18 15 12 10 12 8 6 8 5 6 9 14 12 21 11 7 4 13 10 3 11 12 13 10 3 3 12 14 14 17 15 6 6 4 5 5 12 13 8 8 15 11 8 6 3 5 9 12 7 9 10 12 14 7 12 5 4 6 9 12 10 13 7 13 10 12 9 7 9 8 9 11 11 6 7 18 12 12 10 5 8 11 6 5 12 6 6 15 14 13 14 10 16 3 1 13 13 12 13 5 5 10 7 14 11 10 14 12 16 14 8 6 7 6 10 6 2 7 5 14 10 13 5 11 10 3 9 9 9 8 8 7 4 7 5 5 6 5 5 7 6 7 5 8 7 2 5 4 6 5 1 1 5 7 5 2 
Solving time:0.070
Filtering time:1.080
ID:30 (26,7,32)
Graph |V|:90
Solution size:3222
Filtered solution size:1622
Parallel solution length:176
Parallelism:9.216
Step parallelism:31 25 11 6 12 9 15 12 12 10 12 8 6 6 5 6 9 14 13 4 4 5 5 4 13 13 12 9 16 9 9 3 2 10 12 10 12 12 1 4 8 14 12 14 13 15 16 11 12 13 12 15 9 11 8 11 5 16 12 12 9 14 18 10 10 16 17 8 7 10 7 8 8 8 14 18 18 10 5 4 8 7 11 9 7 9 5 4 8 16 13 20 9 7 10 11 13 7 10 9 8 12 8 12 9 5 4 5 2 4 9 9 15 13 10 10 10 10 10 9 9 9 11 6 9 10 10 9 10 5 11 10 6 11 12 4 8 10 11 5 7 5 7 11 10 10 6 6 8 8 7 7 10 9 9 8 6 5 4 6 2 7 9 9 3 6 7 6 4 3 5 5 5 6 2 2 
Solving time:0.060
Filtering time:1.630
ID:31 (26,7,33)
Graph |V|:90
Solution size:3169
Filtered solution size:1392
Parallel solution length:161
Parallelism:8.646
Step parallelism:31 25 11 6 12 9 15 12 12 10 12 8 6 6 5 6 9 14 13 4 4 5 5 4 13 13 11 8 15 9 9 3 2 10 12 10 12 12 1 4 8 14 12 14 13 17 16 12 13 12 12 11 7 11 12 13 12 14 8 10 16 15 18 10 12 18 15 19 10 5 7 13 9 9 5 11 11 13 11 6 8 6 5 9 13 8 9 10 6 6 5 7 9 4 4 6 6 9 1 1 1 6 8 7 7 10 10 10 8 5 5 9 9 8 9 8 12 4 9 9 6 5 6 11 8 7 8 7 4 6 11 6 5 2 9 8 7 7 8 6 6 5 6 7 7 7 8 5 6 7 6 6 3 2 5 4 5 4 4 3 1 
Solving time:0.060
Filtering time:1.560
ID:32 (26,7,34)
Graph |V|:90
Solution size:2999
Filtered solution size:1382
Parallel solution length:165
Parallelism:8.376
Step parallelism:30 24 11 6 12 9 14 12 12 10 12 8 6 6 5 6 9 15 13 4 4 5 5 4 13 13 11 8 15 8 12 7 6 6 20 10 5 7 8 13 12 14 13 17 16 12 13 12 12 11 7 11 12 13 12 14 8 10 16 15 17 10 12 17 14 19 10 5 7 13 8 9 6 11 11 13 11 6 8 6 5 9 12 6 9 12 6 6 5 7 9 4 4 6 6 6 4 1 1 6 8 7 7 12 4 4 8 4 7 7 7 9 5 7 9 9 9 5 5 3 3 5 6 9 11 10 5 3 7 9 9 7 6 9 7 8 7 8 6 6 4 4 5 6 4 4 7 8 6 7 7 5 3 4 5 4 3 5 5 7 3 1 3 3 1 
Solving time:0.060
Filtering time:1.120
ID:33 (26,7,35)
Graph |V|:90
Solution size:2999
Filtered solution size:1372
Parallel solution length:165
Parallelism:8.315
Step parallelism:29 23 12 6 7 8 13 11 11 10 12 8 6 6 5 6 9 15 13 4 4 5 5 4 13 13 11 8 15 8 12 7 6 6 20 10 5 7 8 13 12 14 13 17 16 12 13 12 12 11 7 11 12 13 12 14 8 10 16 15 17 10 12 17 14 19 10 5 7 13 8 9 6 11 11 13 11 6 8 6 5 9 12 6 9 12 6 6 5 7 9 4 4 6 6 6 4 1 1 6 8 7 7 12 4 4 8 4 7 7 7 9 5 7 9 9 9 5 5 3 3 5 6 9 11 10 5 3 7 9 9 7 6 9 7 8 7 8 6 6 4 4 5 6 4 4 7 8 6 7 7 5 3 4 5 4 3 5 5 7 3 1 3 3 1 
Solving time:0.060
Filtering time:1.110
ID:34 (26,7,36)
Graph |V|:90
Solution size:2988
Filtered solution size:1302
Parallel solution length:158
Parallelism:8.241
Step parallelism:30 24 12 6 7 6 10 8 11 10 11 7 5 5 3 8 14 14 4 4 6 5 4 13 13 11 8 15 8 12 7 6 6 16 10 6 7 7 9 9 10 15 12 11 8 8 9 9 8 8 11 12 9 7 8 8 11 10 7 12 8 8 6 13 10 8 15 17 15 14 10 11 16 10 7 4 4 9 11 10 13 6 5 6 6 5 5 6 11 7 7 10 11 10 6 8 9 12 7 10 10 6 9 12 9 11 13 8 6 5 8 5 6 3 1 2 4 2 5 5 5 10 6 7 15 11 8 7 11 10 11 9 10 3 5 5 7 5 3 5 5 8 3 8 10 2 2 5 7 4 4 5 4 4 5 3 3 1 
Solving time:0.060
Filtering time:0.930
ID:35 (26,7,37)
Graph |V|:90
Solution size:2785
Filtered solution size:1179
Parallel solution length:152
Parallelism:7.757
Step parallelism:30 24 12 6 7 6 10 8 11 10 11 7 5 5 3 8 14 14 4 6 5 3 12 12 11 9 15 9 12 7 6 6 16 10 7 7 7 9 9 10 13 13 12 8 13 13 8 8 10 10 12 12 8 6 7 10 6 6 7 11 11 9 12 10 5 7 8 5 8 8 13 10 9 9 6 4 4 9 11 8 8 7 5 6 8 4 2 5 6 7 6 11 11 3 6 7 11 8 9 8 6 10 10 10 7 6 9 9 4 4 3 3 5 4 3 4 5 8 4 4 7 6 9 10 12 8 9 4 10 6 8 6 9 8 1 1 6 5 2 8 8 2 7 1 1 5 4 4 4 3 4 3 
Solving time:0.060
Filtering time:0.850
ID:36 (26,7,38)
Graph |V|:90
Solution size:2785
Filtered solution size:1172
Parallel solution length:152
Parallelism:7.711
Step parallelism:30 24 12 6 7 6 10 8 11 10 11 7 5 5 3 8 14 14 4 6 5 3 12 12 11 11 15 9 12 7 6 6 13 10 7 7 7 9 9 10 13 13 12 8 13 13 8 8 10 10 12 12 8 6 5 8 6 6 7 11 11 9 11 9 5 7 8 5 8 8 13 10 9 9 6 4 4 9 11 8 8 7 5 6 8 4 2 5 6 7 6 11 11 3 6 7 11 8 9 8 6 10 10 10 7 6 9 9 4 4 3 3 5 4 3 4 5 8 4 4 7 6 9 10 12 8 9 4 10 6 8 6 9 8 1 1 6 5 2 8 8 2 7 1 1 5 4 4 4 3 4 3 
Solving time:0.060
Filtering time:0.850
ID:37 (26,7,39)
Graph |V|:90
Solution size:2785
Filtered solution size:1164
Parallel solution length:152
Parallelism:7.658
Step parallelism:29 23 13 3 6 5 9 8 10 10 11 7 5 5 3 8 14 14 4 6 5 3 12 12 11 11 15 9 12 7 6 6 13 10 7 7 7 9 9 10 13 13 12 8 13 13 8 8 10 10 12 12 8 6 5 8 6 6 7 11 11 9 11 9 5 7 8 5 8 8 13 10 9 9 6 4 4 9 11 8 8 7 5 6 8 4 2 5 6 7 6 11 11 3 6 7 11 8 9 8 6 10 10 10 7 6 9 9 4 4 3 3 5 4 3 4 5 8 4 4 7 6 9 10 12 8 9 4 10 6 8 6 9 8 1 1 6 5 2 8 8 2 7 1 1 5 4 4 4 3 4 3 
Solving time:0.060
Filtering time:0.830
ID:38 (26,7,40)
Graph |V|:90
Solution size:2915
Filtered solution size:1053
Parallel solution length:128
Parallelism:8.227
Step parallelism:28 23 15 3 6 5 9 8 10 10 11 7 5 5 3 14 13 5 5 5 4 12 12 11 11 15 9 12 7 6 6 13 10 7 7 7 10 9 9 13 13 12 8 10 12 8 9 9 9 12 13 11 5 9 7 7 9 12 11 5 9 10 10 9 10 10 9 7 3 7 7 5 13 9 9 7 10 10 13 8 12 9 10 9 9 5 7 3 7 5 9 5 4 4 7 5 8 9 7 7 10 9 7 6 6 6 4 5 7 8 10 9 10 8 8 5 7 4 4 5 6 6 5 3 3 2 2 1 
Solving time:0.060
Filtering time:0.760
ID:39 (26,7,41)
Graph |V|:90
Solution size:2915
Filtered solution size:1032
Parallel solution length:128
Parallelism:8.062
Step parallelism:27 22 15 3 6 5 8 8 10 10 11 7 5 5 3 14 13 5 5 5 4 12 12 11 11 15 10 12 7 6 6 13 12 9 7 7 10 9 9 13 13 12 8 10 12 5 6 6 10 9 8 10 4 8 6 6 8 11 11 5 9 10 10 9 10 10 9 7 3 7 7 5 13 9 9 7 10 10 13 8 12 9 10 9 9 5 7 3 7 5 9 5 4 4 7 5 8 9 7 7 10 9 7 6 6 6 4 5 7 8 10 9 10 8 8 5 7 4 4 5 6 6 5 3 3 2 2 1 
Solving time:0.060
Filtering time:0.730
ID:40 (26,7,42)
Graph |V|:90
Solution size:2870
Filtered solution size:1084
Parallel solution length:149
Parallelism:7.275
Step parallelism:28 22 17 3 3 4 8 8 10 10 11 7 5 5 3 14 13 5 5 5 4 12 12 11 11 15 10 12 7 6 6 13 12 9 7 7 9 9 10 13 13 12 9 11 9 5 5 7 11 7 6 5 2 6 3 6 7 11 11 9 7 8 11 11 8 10 10 14 11 6 5 4 4 10 13 6 8 6 6 7 1 1 6 7 8 6 11 14 9 7 7 6 7 7 5 7 4 11 5 4 6 8 7 8 7 6 13 7 6 6 8 7 11 7 5 7 7 7 7 7 7 7 1 2 2 2 4 1 1 5 6 6 4 4 5 4 3 2 6 6 3 1 1 1 1 4 5 5 4 
Solving time:0.060
Filtering time:0.740
ID:41 (26,7,43)
Graph |V|:90
Solution size:2809
Filtered solution size:1144
Parallel solution length:147
Parallelism:7.782
Step parallelism:28 20 14 5 4 4 9 8 9 9 11 8 6 6 5 7 15 15 13 11 10 10 4 3 11 9 13 11 7 4 10 11 11 7 8 5 8 9 9 9 10 17 11 10 14 11 19 14 10 4 7 9 9 13 6 8 13 9 7 6 5 10 5 10 9 11 7 10 11 4 8 8 9 7 6 10 8 9 6 7 8 8 9 6 4 7 8 6 9 9 9 6 5 8 10 8 14 11 8 11 10 11 6 5 3 3 3 7 4 2 7 7 3 1 8 6 5 5 3 3 2 7 6 5 9 9 10 8 7 7 7 6 5 3 2 1 4 4 3 4 3 5 5 5 3 3 2 
Solving time:0.060
Filtering time:0.630
ID:42 (26,7,44)
Graph |V|:90
Solution size:2642
Filtered solution size:999
Parallel solution length:139
Parallelism:7.187
Step parallelism:23 18 13 4 3 4 8 9 12 12 11 6 6 6 5 7 7 16 7 7 7 3 2 10 9 8 14 9 7 7 7 7 8 4 7 13 12 13 13 8 8 3 6 3 10 6 8 6 10 7 14 9 17 15 9 10 4 4 6 9 13 12 13 11 8 5 1 3 3 5 8 6 8 7 7 5 2 4 4 6 9 9 8 12 8 7 7 4 9 6 6 9 8 9 10 9 8 9 7 9 9 5 7 5 8 3 3 2 1 3 4 4 4 7 8 9 4 6 6 5 6 6 5 8 8 7 5 7 5 2 5 5 4 3 2 2 3 2 1 
Solving time:0.060
Filtering time:0.590
ID:43 (26,7,45)
Graph |V|:90
Solution size:2697
Filtered solution size:942
Parallel solution length:123
Parallelism:7.659
Step parallelism:23 18 13 4 3 4 8 9 12 12 11 6 6 6 5 7 7 16 7 6 7 3 2 10 9 8 14 9 7 7 7 7 7 3 6 11 11 13 12 9 8 3 6 5 11 6 8 6 9 7 14 9 15 7 12 7 11 7 6 11 12 7 9 9 11 6 6 6 8 8 6 6 9 8 5 4 5 5 7 4 2 1 4 5 5 9 13 8 9 3 7 12 9 11 7 7 7 6 9 6 5 9 5 10 12 10 9 8 8 10 11 8 8 8 6 4 3 4 2 2 3 2 1 
Solving time:0.050
Filtering time:0.600
ID:44 (26,7,46)
Graph |V|:90
Solution size:2429
Filtered solution size:940
Parallel solution length:133
Parallelism:7.068
Step parallelism:22 15 13 4 3 4 8 9 12 12 11 6 6 6 5 7 7 15 7 6 5 4 2 9 7 8 12 12 10 9 7 4 7 10 10 12 8 7 7 6 8 11 10 8 8 9 9 12 12 12 11 9 11 11 10 9 3 10 11 7 5 6 7 5 5 5 8 10 8 7 6 9 7 6 7 8 7 11 5 5 5 8 6 5 4 7 6 8 7 7 2 8 8 8 5 4 4 4 4 3 3 5 6 9 12 9 10 8 7 5 3 4 4 8 8 6 6 6 4 4 5 4 4 4 2 2 5 3 3 2 2 1 1 
Solving time:0.060
Filtering time:0.430
ID:45 (26,7,47)
Graph |V|:90
Solution size:2504
Filtered solution size:981
Parallel solution length:126
Parallelism:7.786
Step parallelism:23 16 12 5 8 10 12 12 11 6 6 6 5 7 7 15 7 7 5 4 2 9 7 8 12 12 10 9 7 4 7 10 10 12 8 7 7 6 5 12 6 8 7 10 6 12 7 12 12 12 11 11 12 10 11 5 14 13 12 8 9 8 5 5 6 5 7 6 10 8 7 11 9 10 10 12 10 7 8 9 8 10 16 13 8 10 9 8 10 8 7 8 11 7 6 6 8 6 4 7 4 6 2 5 4 6 2 2 2 3 5 7 6 5 4 4 5 3 4 3 7 6 2 1 2 2 
Solving time:0.050
Filtering time:0.460
ID:46 (26,7,48)
Graph |V|:90
Solution size:2504
Filtered solution size:973
Parallel solution length:125
Parallelism:7.784
Step parallelism:24 15 12 7 11 10 11 11 6 6 6 5 7 7 15 7 7 5 4 2 9 7 8 12 12 10 9 7 4 7 10 10 12 8 7 7 6 5 12 6 8 7 10 6 12 7 12 12 12 11 11 12 10 11 5 14 13 12 8 9 8 5 5 6 5 7 6 10 8 7 11 9 10 10 12 10 7 8 9 8 10 16 13 8 10 9 8 10 8 7 8 11 7 6 6 8 6 4 7 4 6 2 5 4 6 2 2 2 3 5 7 6 5 4 4 5 3 4 3 7 6 2 1 2 2 
Solving time:0.060
Filtering time:0.440
ID:47 (26,7,49)
Graph |V|:90
Solution size:2255
Filtered solution size:819
Parallel solution length:109
Parallelism:7.514
Step parallelism:24 15 11 7 16 14 17 11 8 6 6 5 7 11 4 2 2 2 1 1 5 3 11 10 9 9 9 12 9 7 7 14 6 7 11 9 3 10 4 5 5 8 9 10 11 11 12 6 9 8 13 7 6 5 5 5 5 6 4 5 5 9 11 12 9 6 6 6 8 8 11 5 8 12 12 11 15 6 10 8 8 5 3 3 4 3 3 7 7 8 6 6 9 7 6 7 10 7 9 6 8 3 6 5 4 4 4 2 1 
Solving time:0.050
Filtering time:0.320
ID:48 (26,7,50)
Graph |V|:90
Solution size:2362
Filtered solution size:804
Parallel solution length:114
Parallelism:7.053
Step parallelism:25 16 11 7 16 11 15 11 8 6 6 5 7 11 4 2 2 2 1 1 5 3 11 10 9 9 9 12 9 7 7 14 6 7 10 8 3 9 4 4 5 7 8 9 10 9 12 6 9 8 13 7 6 5 5 5 5 6 4 5 5 8 10 11 11 5 6 6 8 8 11 5 9 10 11 12 11 6 11 9 9 4 3 3 3 3 6 4 10 6 7 8 9 6 3 5 5 5 6 6 5 2 5 5 4 3 2 4 3 4 4 4 5 3 
Solving time:0.050
Filtering time:0.400
ID:49 (26,7,51)
Graph |V|:90
Solution size:2462
Filtered solution size:880
Parallel solution length:123
Parallelism:7.154
Step parallelism:24 15 11 7 16 11 15 11 8 6 6 5 7 11 4 2 2 2 1 1 4 3 11 10 9 9 9 12 9 7 7 14 6 7 10 8 3 9 4 5 6 8 8 10 10 8 12 6 9 8 13 7 6 5 5 5 5 7 4 6 7 15 7 7 13 6 12 6 4 4 11 5 5 10 7 7 9 2 6 6 9 11 11 8 8 10 8 10 9 8 8 10 11 9 9 8 4 5 4 3 4 5 4 5 5 7 7 5 5 4 2 3 3 4 4 3 5 5 5 5 4 4 1 
Solving time:0.060
Filtering time:0.340
ID:50 (26,7,52)
Graph |V|:90
Solution size:2217
Filtered solution size:764
Parallel solution length:94
Parallelism:8.128
Step parallelism:26 13 6 7 16 11 15 12 11 8 6 5 5 1 1 1 2 2 1 1 4 4 4 4 6 7 8 9 8 9 8 15 12 11 13 16 9 7 8 7 9 5 4 8 14 8 17 21 8 14 6 11 7 8 14 6 12 10 7 11 9 8 9 8 6 13 10 10 6 5 4 8 9 7 7 9 11 9 8 9 10 8 7 6 6 8 6 5 6 5 5 3 3 2 
Solving time:0.050
Filtering time:0.210
ID:51 (26,7,53)
Graph |V|:90
Solution size:2337
Filtered solution size:751
Parallel solution length:103
Parallelism:7.291
Step parallelism:26 13 6 7 16 11 15 12 11 8 6 5 5 1 1 1 2 2 1 1 4 4 4 4 6 8 8 9 8 9 8 17 14 13 14 16 9 7 8 7 9 5 4 8 15 9 19 15 6 11 7 10 8 6 10 14 10 11 10 8 6 4 3 6 7 8 10 8 7 8 5 8 8 8 6 7 8 8 5 3 4 2 4 6 7 7 6 6 5 6 5 3 1 1 5 5 3 5 5 3 3 2 2 
Solving time:0.050
Filtering time:0.280
ID:52 (26,7,54)
Graph |V|:90
Solution size:2305
Filtered solution size:755
Parallel solution length:108
Parallelism:6.991
Step parallelism:24 9 6 7 15 11 10 11 10 8 6 5 5 1 1 1 2 2 1 1 4 4 4 4 6 8 8 8 8 9 9 16 12 12 13 16 9 7 8 7 9 5 4 8 15 9 18 15 6 11 7 10 8 6 10 13 9 12 9 6 6 5 12 7 6 8 8 5 12 10 7 8 5 5 7 5 7 5 7 5 5 5 5 3 4 7 4 5 3 6 4 4 4 5 4 5 4 4 6 5 7 2 5 3 3 2 2 1 
Solving time:0.060
Filtering time:0.220
ID:53 (26,7,55)
Graph |V|:90
Solution size:2377
Filtered solution size:630
Parallel solution length:103
Parallelism:6.117
Step parallelism:25 14 4 9 14 7 9 9 7 11 10 9 4 2 1 2 2 1 1 2 3 3 3 6 9 12 10 7 8 15 3 6 9 10 10 7 9 8 5 4 8 7 9 7 11 7 4 8 9 9 6 8 5 2 5 6 10 13 8 6 8 6 10 7 6 4 5 5 5 4 5 3 3 2 2 1 1 1 1 2 2 6 6 5 4 4 5 8 5 8 6 4 5 3 7 6 5 4 3 4 4 4 3 
Solving time:0.050
Filtering time:0.260
ID:54 (26,7,56)
Graph |V|:90
Solution size:2377
Filtered solution size:612
Parallel solution length:102
Parallelism:6.000
Step parallelism:25 14 3 8 12 7 9 9 7 11 10 9 2 2 4 5 5 1 1 2 2 2 5 6 8 6 6 7 14 2 6 9 10 10 7 9 8 5 4 8 7 9 7 11 7 4 8 9 9 6 8 5 2 5 6 10 13 8 6 8 6 10 7 6 4 5 5 5 4 5 3 3 2 2 1 1 1 1 2 2 6 6 5 4 4 5 8 5 8 6 4 5 3 7 6 5 4 3 4 4 4 3 
Solving time:0.060
Filtering time:0.260
ID:55 (26,7,57)
Graph |V|:90
Solution size:2152
Filtered solution size:585
Parallel solution length:86
Parallelism:6.802
Step parallelism:22 14 9 6 8 9 7 7 9 11 8 5 4 2 2 1 1 1 1 1 5 11 14 13 10 11 13 6 3 7 5 7 10 13 8 15 12 4 6 12 5 6 2 7 8 5 9 11 8 11 7 6 6 5 5 4 5 8 9 8 3 3 9 8 6 5 7 11 10 9 7 6 6 3 1 1 1 6 5 6 4 5 4 4 4 3 
Solving time:0.060
Filtering time:0.120
ID:56 (26,7,58)
Graph |V|:90
Solution size:2176
Filtered solution size:575
Parallel solution length:92
Parallelism:6.250
Step parallelism:21 14 9 6 8 9 7 7 9 11 10 5 4 2 2 1 1 1 1 1 5 9 14 11 10 10 13 6 3 6 4 7 10 13 8 15 11 4 6 12 7 6 2 7 9 5 9 12 9 11 7 7 7 6 7 6 5 4 7 6 7 5 5 6 6 6 3 2 3 2 3 4 4 3 2 3 3 2 5 4 3 5 5 5 4 5 5 6 5 4 3 2 
Solving time:0.050
Filtering time:0.130
ID:57 (26,7,59)
Graph |V|:90
Solution size:2252
Filtered solution size:556
Parallel solution length:85
Parallelism:6.541
Step parallelism:22 15 9 6 8 9 7 7 9 11 9 4 3 2 2 1 1 1 1 1 5 9 14 11 10 10 13 10 6 7 5 7 10 11 7 8 7 4 6 11 8 7 9 8 12 9 13 12 6 8 6 5 6 7 7 5 6 5 5 6 6 6 7 6 4 3 3 2 3 3 5 6 5 5 5 5 2 3 5 5 4 4 4 3 3 
Solving time:0.050
Filtering time:0.120
ID:58 (26,7,60)
Graph |V|:90
Solution size:2252
Filtered solution size:548
Parallel solution length:85
Parallelism:6.447
Step parallelism:21 15 9 6 8 9 7 7 9 11 9 4 3 2 2 1 1 1 1 1 5 9 14 11 10 10 13 10 6 7 5 7 10 11 7 8 6 4 6 11 8 7 9 8 12 9 13 11 6 8 6 5 6 7 7 6 6 5 5 6 6 6 5 5 3 2 2 2 3 3 5 6 5 5 5 5 2 3 5 5 4 4 4 3 3 
Solving time:0.050
Filtering time:0.110
ID:59 (26,7,61)
Graph |V|:90
Solution size:2137
Filtered solution size:466
Parallel solution length:72
Parallelism:6.472
Step parallelism:20 15 9 6 8 9 7 7 9 11 10 4 3 2 2 1 1 1 1 1 5 9 14 11 10 10 13 10 6 7 5 7 9 10 6 8 7 6 6 10 7 7 6 11 8 12 12 7 9 7 4 4 3 4 7 3 5 2 3 3 5 6 5 7 5 2 3 3 3 2 3 2 
Solving time:0.050
Filtering time:0.070
ID:60 (26,7,62)
Graph |V|:90
Solution size:2033
Filtered solution size:462
Parallel solution length:71
Parallelism:6.507
Step parallelism:19 13 7 4 7 8 7 7 9 11 7 3 2 2 2 1 1 1 1 1 5 9 14 11 10 10 13 9 4 8 5 8 10 16 12 14 9 6 7 9 6 5 6 10 7 12 8 6 5 5 8 7 8 5 6 3 3 3 3 5 5 5 5 4 4 4 4 3 2 2 1 
Solving time:0.050
Filtering time:0.070
ID:61 (26,7,63)
Graph |V|:90
Solution size:2033
Filtered solution size:450
Parallel solution length:71
Parallelism:6.338
Step parallelism:19 13 6 4 7 8 7 7 9 10 6 2 2 2 2 1 1 1 1 1 5 9 14 11 10 10 13 9 4 8 5 8 10 15 10 11 7 6 7 9 6 5 6 10 7 12 8 6 5 5 8 7 8 5 6 3 3 3 3 5 5 5 5 4 4 4 4 3 2 2 1 
Solving time:0.050
Filtering time:0.070
ID:62 (26,7,64)
Graph |V|:90
Solution size:2164
Filtered solution size:495
Parallel solution length:79
Parallelism:6.266
Step parallelism:21 14 8 4 7 9 7 7 8 9 6 3 3 3 2 1 1 1 1 1 5 10 14 10 12 10 14 11 7 9 10 9 12 8 7 7 7 9 10 4 7 4 6 6 8 6 8 9 9 7 7 7 5 5 5 5 5 3 2 6 6 6 5 5 5 5 4 4 4 3 4 4 5 3 3 3 2 2 1 
Solving time:0.050
Filtering time:0.100
ID:63 (26,7,65)
Graph |V|:90
Solution size:2164
Filtered solution size:480
Parallel solution length:77
Parallelism:6.234
Step parallelism:20 15 12 10 7 5 5 6 5 3 3 3 2 1 1 1 1 1 5 10 14 10 12 10 14 11 7 9 10 9 12 8 7 7 7 9 10 4 7 4 6 6 8 6 8 9 9 7 7 7 5 5 5 5 5 3 2 6 6 6 5 5 5 5 4 4 4 3 4 4 5 3 3 3 2 2 1 
Solving time:0.050
Filtering time:0.090
ID:64 (26,7,66)
Graph |V|:90
Solution size:2001
Filtered solution size:344
Parallel solution length:57
Parallelism:6.035
Step parallelism:18 13 11 10 7 5 4 5 5 4 4 4 2 1 1 1 1 1 5 9 14 10 10 8 13 9 7 8 8 8 10 8 9 8 5 7 9 5 5 4 5 5 2 4 4 7 5 6 5 5 5 3 3 3 3 2 1 
Solving time:0.050
Filtering time:0.040
ID:65 (26,7,67)
Graph |V|:90
Solution size:2001
Filtered solution size:337
Parallel solution length:57
Parallelism:5.912
Step parallelism:17 13 11 10 7 5 4 5 5 4 4 4 2 1 1 1 1 1 5 9 12 10 10 8 12 8 6 7 8 8 10 8 9 8 5 7 9 5 5 4 5 5 2 4 4 7 5 6 5 5 5 3 3 3 3 2 1 
Solving time:0.040
Filtering time:0.040
ID:66 (26,7,68)
Graph |V|:90
Solution size:2001
Filtered solution size:322
Parallel solution length:48
Parallelism:6.708
Step parallelism:16 13 11 10 6 5 4 5 5 8 10 14 10 10 8 12 8 6 7 8 8 10 8 9 8 5 7 9 5 5 4 5 5 2 4 4 7 5 6 5 5 5 3 3 3 3 2 1 
Solving time:0.050
Filtering time:0.030
ID:67 (26,7,69)
Graph |V|:90
Solution size:2034
Filtered solution size:353
Parallel solution length:61
Parallelism:5.787
Step parallelism:16 13 12 10 7 5 4 5 5 8 9 14 10 10 8 11 8 4 5 6 6 9 8 7 7 10 10 8 8 8 6 4 4 7 7 5 4 3 5 5 5 4 3 1 3 2 1 1 1 3 2 2 3 3 4 4 2 3 2 2 1 
Solving time:0.050
Filtering time:0.050
ID:68 (26,7,70)
Graph |V|:90
Solution size:1834
Filtered solution size:286
Parallel solution length:41
Parallelism:6.976
Step parallelism:16 13 12 10 7 5 4 5 5 8 9 14 11 10 8 10 8 6 5 6 9 7 9 10 10 8 7 7 7 7 6 6 5 3 3 3 2 2 1 1 1 
Solving time:0.040
Filtering time:0.030
ID:69 (26,7,71)
Graph |V|:90
Solution size:1942
Filtered solution size:281
Parallel solution length:41
Parallelism:6.854
Step parallelism:14 11 10 10 6 5 4 5 5 10 15 15 12 10 8 10 6 4 8 11 11 8 7 9 7 7 4 4 4 4 4 4 5 5 5 4 3 2 2 2 1 
Solving time:0.050
Filtering time:0.010
ID:70 (26,7,72)
Graph |V|:90
Solution size:1857
Filtered solution size:270
Parallel solution length:45
Parallelism:6.000
Step parallelism:13 10 9 10 6 5 3 4 4 9 14 14 12 10 7 9 4 3 7 9 8 9 9 7 6 5 6 7 7 6 6 4 3 2 2 2 2 3 3 3 3 2 1 1 1 
Solving time:0.040
Filtering time:0.030
ID:71 (26,7,73)
Graph |V|:90
Solution size:1747
Filtered solution size:279
Parallel solution length:49
Parallelism:5.694
Step parallelism:12 8 7 8 6 4 3 5 4 13 14 13 11 11 8 6 2 6 4 7 6 6 6 5 2 5 8 4 5 7 5 7 7 3 3 3 6 6 4 4 5 3 3 2 3 3 2 2 2 
Solving time:0.050
Filtering time:0.020
ID:72 (26,7,74)
Graph |V|:90
Solution size:1530
Filtered solution size:219
Parallel solution length:48
Parallelism:4.562
Step parallelism:12 9 7 8 6 4 5 6 6 12 11 10 8 10 7 5 4 3 5 5 5 2 3 3 3 5 5 4 4 3 3 5 3 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 
Solving time:0.040
Filtering time:0.010
ID:73 (26,7,75)
Graph |V|:90
Solution size:1860
Filtered solution size:247
Parallel solution length:52
Parallelism:4.750
Step parallelism:11 9 6 6 5 6 6 5 12 10 9 10 8 5 3 2 6 4 6 6 4 4 5 4 5 5 5 5 7 6 6 5 4 3 3 3 3 5 4 3 3 1 1 1 2 2 2 2 3 3 2 1 
Solving time:0.050
Filtering time:0.010
ID:74 (26,7,76)
Graph |V|:90
Solution size:1860
Filtered solution size:240
Parallel solution length:51
Parallelism:4.706
Step parallelism:13 8 5 5 5 6 7 5 11 9 8 10 7 4 2 6 4 6 6 4 4 5 5 5 5 5 5 7 6 6 5 4 3 3 3 3 5 4 3 3 1 1 1 2 2 2 2 3 3 2 1 
Solving time:0.040
Filtering time:0.010
ID:75 (26,7,77)
Graph |V|:90
Solution size:1590
Filtered solution size:198
Parallel solution length:41
Parallelism:4.829
Step parallelism:12 7 5 5 5 6 7 6 13 9 8 8 6 3 3 3 4 4 4 5 4 4 5 5 5 4 4 4 4 2 4 4 4 4 2 4 5 2 2 2 1 
Solving time:0.040
Filtering time:0.010
ID:76 (26,7,78)
Graph |V|:90
Solution size:1504
Filtered solution size:148
Parallel solution length:27
Parallelism:5.481
Step parallelism:11 6 5 5 4 6 6 5 10 8 8 9 6 3 4 5 4 6 6 6 6 4 4 4 4 2 1 
Solving time:0.030
Filtering time:0.010
ID:77 (26,7,79)
Graph |V|:90
Solution size:1504
Filtered solution size:139
Parallel solution length:27
Parallelism:5.148
Step parallelism:10 8 5 5 4 6 6 6 9 7 8 7 4 4 5 5 6 6 5 5 5 4 4 2 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:78 (26,7,80)
Graph |V|:90
Solution size:1504
Filtered solution size:124
Parallel solution length:27
Parallelism:4.593
Step parallelism:9 9 6 5 4 5 3 3 6 5 6 5 4 4 5 5 6 6 5 5 5 4 4 2 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:79 (26,7,81)
Graph |V|:90
Solution size:1504
Filtered solution size:115
Parallel solution length:27
Parallelism:4.259
Step parallelism:9 8 5 4 3 3 2 2 5 5 6 5 4 4 5 5 6 6 5 5 5 4 4 2 1 1 1 
Solving time:0.030
Filtering time:0.010
ID:80 (26,7,82)
Graph |V|:90
Solution size:1621
Filtered solution size:118
Parallel solution length:36
Parallelism:3.278
Step parallelism:6 6 2 2 2 4 3 2 6 5 4 4 3 2 3 5 5 5 4 3 2 4 3 3 3 3 3 3 3 3 2 2 3 2 2 1 
Solving time:0.040
Filtering time:0.010
ID:81 (26,7,83)
Graph |V|:90
Solution size:1621
Filtered solution size:106
Parallel solution length:34
Parallelism:3.118
Step parallelism:5 5 2 2 2 4 3 2 5 5 5 5 5 4 3 2 2 2 4 3 3 3 3 1 3 3 3 3 3 3 3 2 2 1 
Solving time:0.040
Filtering time:0.000
ID:82 (26,7,84)
Graph |V|:90
Solution size:1578
Filtered solution size:80
Parallel solution length:25
Parallelism:3.200
Step parallelism:4 4 2 2 2 4 4 3 5 5 6 5 6 5 3 2 2 2 2 2 2 3 2 2 1 
Solving time:0.040
Filtering time:0.000
ID:83 (26,7,85)
Graph |V|:90
Solution size:1578
Filtered solution size:65
Parallel solution length:21
Parallelism:3.095
Step parallelism:3 4 4 3 3 3 5 5 5 5 3 3 3 2 2 2 2 3 2 2 1 
Solving time:0.040
Filtering time:0.000
ID:84 (26,7,86)
Graph |V|:90
Solution size:1504
Filtered solution size:47
Parallel solution length:20
Parallelism:2.350
Step parallelism:3 3 3 3 3 3 4 4 3 3 2 2 2 2 2 1 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:85 (26,7,87)
Graph |V|:90
Solution size:1490
Filtered solution size:24
Parallel solution length:9
Parallelism:2.667
Step parallelism:3 3 3 3 3 3 3 2 1 
Solving time:0.040
Filtering time:0.000
ID:86 (26,7,88)
Graph |V|:90
Solution size:1281
Filtered solution size:17
Parallel solution length:9
Parallelism:1.889
Step parallelism:2 2 2 2 2 2 2 2 1 
Solving time:0.030
Filtering time:0.000
ID:87 (26,7,89)
Graph |V|:90
Solution size:1234
Filtered solution size:8
Parallel solution length:8
Parallelism:1.000
Step parallelism:1 1 1 1 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:88 (26,7,90)
Graph |V|:90
ID:89 (26,7,91)
Graph |V|:90
ID:90 (26,7,92)
Graph |V|:90
ID:91 (26,7,93)
Graph |V|:90
ID:92 (26,7,94)
Graph |V|:90
ID:93 (26,7,95)
Graph |V|:90
ID:94 (26,7,96)
Graph |V|:90
ID:95 (26,7,97)
Graph |V|:90
ID:96 (26,7,98)
Graph |V|:90
ID:97 (26,7,99)
Graph |V|:90
ID:98 (26,7,100)
Graph |V|:90