ID:0 (42,3,2)
Graph |V|:89
Solution size:2269
Filtered solution size:2240
Parallel solution length:365
Parallelism:6.137
Step parallelism:9 9 7 6 5 5 13 4 13 9 5 7 7 6 8 8 7 6 8 7 8 5 5 4 7 5 10 5 5 6 7 5 11 7 6 6 6 5 7 6 14 8 3 7 4 8 6 6 6 4 6 9 6 7 4 10 7 6 8 11 7 5 3 13 11 6 9 11 14 5 5 8 5 6 12 17 13 3 4 1 6 7 6 5 11 4 1 9 5 6 5 6 9 9 12 8 8 8 11 10 9 7 9 13 8 6 9 11 6 6 6 8 7 8 5 5 5 8 6 9 6 7 6 10 7 9 2 8 6 8 7 5 6 6 4 8 5 4 6 7 6 1 7 4 5 7 6 5 7 8 7 3 6 10 4 9 3 6 9 6 7 5 4 8 4 4 9 4 11 6 12 6 9 11 6 4 8 4 8 5 6 5 5 5 7 3 9 7 6 4 10 9 8 7 4 4 12 5 7 7 7 6 5 4 5 6 5 3 5 4 4 5 5 7 7 4 5 6 4 7 5 6 4 10 5 4 5 1 4 4 5 1 2 6 8 4 4 7 3 5 3 7 7 7 8 9 4 6 4 7 5 6 10 6 7 5 4 11 5 7 3 5 7 4 6 7 3 2 8 7 5 4 6 5 7 2 5 4 4 5 3 7 6 7 2 5 8 4 4 8 8 8 8 6 8 7 6 5 5 5 4 9 6 6 8 5 8 4 4 6 8 2 9 4 6 7 5 8 4 6 2 2 7 4 8 4 5 5 4 4 5 3 4 4 6 5 3 3 5 4 8 7 6 4 3 5 4 5 4 6 5 5 3 2 3 2 4 7 2 4 4 6 4 4 2 
Solving time:0.090
Filtering time:0.020
ID:1 (42,3,3)
Graph |V|:89
Solution size:2189
Filtered solution size:2141
Parallel solution length:343
Parallelism:6.242
Step parallelism:8 10 7 6 5 5 13 4 13 9 5 7 7 6 8 8 7 6 8 7 8 5 5 4 7 5 10 5 5 6 7 5 11 7 6 6 6 5 7 6 14 8 3 7 4 8 9 6 6 4 6 9 6 7 6 10 12 8 2 6 6 5 14 11 4 6 14 13 5 8 5 6 12 17 13 3 4 1 6 7 6 5 11 4 1 9 5 6 7 3 5 9 6 7 10 10 6 9 9 7 9 13 8 6 9 11 6 6 6 8 7 8 5 12 6 9 4 6 11 10 5 6 5 8 4 9 6 8 6 8 5 6 8 7 4 6 10 7 5 7 11 5 9 5 9 6 7 4 5 6 7 5 5 4 7 6 3 5 6 5 8 6 5 12 9 8 4 7 7 4 6 3 8 8 9 8 7 4 4 12 5 7 7 7 6 5 4 6 4 5 6 5 10 4 7 9 11 9 5 8 5 8 4 7 2 6 6 2 2 5 4 4 7 10 6 6 7 7 4 5 6 4 5 6 10 4 8 5 7 11 5 7 3 11 8 3 4 3 2 9 3 7 5 5 3 6 5 5 7 4 6 8 5 4 7 6 7 2 5 6 4 8 7 11 9 7 6 8 6 6 8 1 7 7 5 8 5 5 3 7 10 6 6 7 5 3 5 5 3 6 9 3 2 7 6 3 7 6 5 7 4 6 3 7 5 3 4 5 3 3 5 6 5 3 5 4 5 4 4 6 5 4 3 4 7 5 4 6 5 5 3 2 3 2 6 4 1 4 5 1 4 4 1 
Solving time:0.100
Filtering time:0.020
ID:2 (42,3,4)
Graph |V|:89
Solution size:2254
Filtered solution size:2191
Parallel solution length:359
Parallelism:6.103
Step parallelism:15 15 7 6 6 5 6 13 10 6 7 7 6 8 8 7 6 8 7 8 5 5 4 7 5 10 5 5 6 7 5 10 5 7 6 6 5 13 13 3 6 8 10 6 3 6 8 10 6 7 6 7 12 11 6 6 5 10 6 6 5 13 13 5 8 5 6 12 17 13 3 4 6 12 7 4 8 14 9 5 9 9 8 15 10 11 6 4 6 13 7 10 4 8 6 11 6 7 7 6 8 10 6 9 4 6 12 11 5 6 8 7 4 4 7 4 5 2 6 4 11 7 4 6 7 7 5 4 7 6 6 6 5 7 7 8 7 9 6 12 10 7 5 5 4 7 8 6 14 6 11 6 8 6 6 10 8 4 5 4 6 7 7 4 6 8 5 12 8 4 12 5 7 3 4 7 9 5 7 4 6 6 4 4 6 6 5 5 8 5 4 6 6 5 3 8 5 4 4 6 4 2 6 8 4 4 1 8 6 7 7 8 6 6 14 4 4 7 3 3 5 6 5 2 5 8 4 6 7 8 5 1 3 2 4 3 5 6 6 5 4 2 7 8 7 4 6 8 5 1 4 7 5 5 4 5 3 5 3 5 3 5 8 8 8 6 6 8 7 6 5 5 4 8 5 6 5 14 6 10 6 6 11 4 4 6 8 2 8 9 5 3 4 5 4 3 4 6 4 3 6 4 3 2 3 2 1 3 6 3 2 5 4 5 5 4 4 5 5 5 5 7 1 3 6 3 7 5 3 3 5 6 5 3 5 4 5 4 3 5 4 5 5 5 2 4 4 2 6 4 1 4 4 6 1 4 4 5 1 
Solving time:0.090
Filtering time:0.020
ID:3 (42,3,5)
Graph |V|:89
Solution size:2140
Filtered solution size:2057
Parallel solution length:331
Parallelism:6.215
Step parallelism:17 14 13 6 7 5 6 5 12 8 7 9 7 6 8 8 5 5 4 7 5 10 5 5 6 7 5 10 5 7 6 6 5 13 13 3 6 8 10 6 3 6 8 10 6 7 6 7 12 11 6 6 5 7 7 4 5 8 20 9 8 5 6 12 14 13 6 6 8 6 4 7 16 9 5 9 12 9 10 8 6 4 6 13 7 9 6 8 7 6 6 8 7 7 5 4 7 6 7 6 9 6 7 10 3 10 8 18 10 6 6 3 9 12 7 4 6 9 6 3 4 6 6 2 6 7 6 3 9 8 3 15 8 4 6 5 4 4 9 9 9 6 5 9 3 6 7 15 6 1 6 7 4 2 4 8 6 9 11 7 4 8 4 6 10 10 9 4 8 5 4 4 5 10 4 7 9 7 6 5 8 6 7 5 8 4 8 6 7 2 4 7 2 2 8 7 7 9 5 7 4 11 8 9 2 8 4 5 10 4 7 5 7 3 6 4 5 5 6 3 6 5 5 3 2 7 5 7 5 4 3 5 7 5 4 4 5 5 3 7 6 4 5 4 2 3 4 3 5 7 4 4 8 8 1 8 6 6 4 5 4 9 7 9 8 5 4 10 5 6 4 3 7 5 6 5 2 5 4 6 2 2 7 4 6 4 6 8 6 6 5 4 3 6 3 7 5 5 4 8 4 3 5 6 5 3 5 4 4 5 5 4 4 4 6 1 4 4 5 1 2 3 5 3 2 4 4 2 4 4 1 
Solving time:0.080
Filtering time:0.030
ID:4 (42,3,6)
Graph |V|:89
Solution size:2030
Filtered solution size:1934
Parallel solution length:299
Parallelism:6.468
Step parallelism:19 14 13 6 7 5 6 5 8 7 7 9 7 6 8 8 5 5 4 7 5 10 5 5 6 7 5 10 5 7 6 6 5 13 13 4 6 8 10 6 3 6 8 10 8 7 6 7 12 11 6 6 5 7 7 4 7 14 11 12 5 6 12 14 13 6 6 8 6 4 7 16 9 5 9 14 11 9 11 4 6 9 7 6 6 8 6 6 6 7 7 8 5 4 5 8 6 9 6 7 10 3 10 8 18 10 11 12 7 12 11 1 9 4 10 10 6 5 3 3 10 10 15 10 4 6 5 4 4 9 10 4 6 5 5 5 7 5 7 8 5 8 5 7 9 4 5 5 7 5 7 6 10 4 3 7 4 4 10 9 3 4 5 7 7 9 8 4 5 9 7 6 5 5 5 7 5 2 4 7 9 6 2 1 3 6 6 3 5 6 6 12 9 10 7 6 8 6 8 4 5 3 12 6 7 2 5 5 9 4 2 7 9 6 6 5 3 6 6 4 5 4 2 3 4 3 5 6 5 3 8 7 11 9 7 11 9 7 9 8 5 4 10 5 6 7 6 4 3 4 3 5 4 3 2 5 4 7 6 5 7 4 6 3 7 5 3 5 3 5 4 3 6 5 4 8 4 5 5 7 5 3 3 5 4 4 5 3 4 6 2 4 4 6 2 4 4 5 1 
Solving time:0.080
Filtering time:0.020
ID:5 (42,3,7)
Graph |V|:89
Solution size:2131
Filtered solution size:2024
Parallel solution length:314
Parallelism:6.446
Step parallelism:22 14 13 6 7 5 6 5 8 7 7 9 7 6 8 8 5 5 4 7 5 10 5 5 6 7 5 10 5 7 6 6 5 13 13 4 6 8 10 6 3 6 8 10 8 7 6 7 12 11 6 6 5 7 7 4 7 9 11 12 5 6 12 14 14 6 6 8 6 4 7 16 9 6 9 13 9 8 11 4 6 9 7 7 4 8 10 8 7 9 3 5 7 10 5 10 9 9 10 6 11 6 10 3 8 10 12 5 9 9 5 11 8 2 6 7 5 3 6 10 5 6 8 9 7 3 7 6 6 6 6 4 6 8 5 9 7 10 10 7 12 11 1 5 6 6 8 5 9 7 2 5 4 11 4 4 11 5 8 3 4 7 10 6 7 8 8 4 6 6 5 6 6 5 4 7 6 6 5 7 4 8 4 7 3 3 5 1 8 5 10 8 9 4 13 6 4 7 4 6 11 3 5 7 3 10 6 7 3 9 5 5 5 5 5 3 2 2 9 7 5 7 4 5 4 5 5 4 6 5 4 4 5 8 6 11 6 3 5 7 8 7 10 8 6 8 7 6 8 6 6 8 6 5 8 5 6 8 5 8 9 5 3 4 6 4 3 7 4 5 3 2 7 4 7 6 3 5 5 8 5 4 4 5 3 3 5 4 5 4 5 6 5 4 3 5 4 5 4 5 7 5 4 2 4 4 3 3 4 5 1 4 4 1 
Solving time:0.080
Filtering time:0.020
ID:6 (42,3,8)
Graph |V|:89
Solution size:2053
Filtered solution size:1927
Parallel solution length:304
Parallelism:6.339
Step parallelism:20 13 11 9 7 5 6 5 8 7 7 9 7 6 8 8 5 5 4 7 5 10 5 5 6 7 5 9 5 7 7 4 4 12 13 4 6 8 10 6 3 6 8 10 8 7 6 7 12 11 6 6 5 10 6 7 9 12 11 8 5 6 12 13 11 6 6 8 6 4 7 13 10 6 10 10 10 6 6 9 6 10 4 8 5 8 4 7 7 10 6 5 6 4 5 10 6 10 5 7 16 11 10 10 8 8 9 3 9 8 7 5 6 7 5 11 8 2 6 7 6 6 4 4 9 5 6 9 14 4 5 6 5 6 5 4 6 7 8 9 8 8 9 9 6 4 7 5 11 1 5 7 7 9 5 8 11 6 9 10 7 5 5 3 6 7 6 6 7 6 5 9 5 9 5 6 5 2 4 2 4 2 3 6 2 6 9 6 6 14 7 10 7 4 6 5 10 10 8 4 5 9 4 5 9 8 7 2 3 10 5 4 2 2 6 7 1 4 5 4 6 3 1 4 7 3 3 5 4 8 4 4 11 6 9 3 7 6 4 5 5 4 9 9 4 6 8 7 5 6 6 9 2 6 4 6 2 6 4 3 6 5 5 6 6 3 5 6 6 8 7 5 4 3 8 6 4 5 5 5 4 3 5 4 6 5 5 3 2 4 4 3 3 4 5 1 1 3 5 3 2 4 4 2 
Solving time:0.090
Filtering time:0.010
ID:7 (42,3,9)
Graph |V|:89
Solution size:2045
Filtered solution size:1900
Parallel solution length:291
Parallelism:6.529
Step parallelism:22 13 11 9 7 5 6 5 8 7 5 9 7 6 9 7 5 4 7 5 10 5 5 6 7 6 10 5 6 7 12 5 11 11 4 6 3 7 3 6 8 10 8 6 5 7 12 8 9 6 5 10 12 9 13 14 5 6 12 13 9 8 6 8 6 4 7 16 9 6 10 14 10 4 3 10 6 3 9 10 4 14 11 5 6 8 6 4 5 4 5 3 10 5 10 5 7 14 11 13 14 13 16 9 9 12 4 3 4 6 6 2 6 7 10 7 7 5 7 12 5 5 10 6 5 4 6 7 11 5 8 4 8 12 4 7 4 6 6 8 5 5 9 11 8 6 11 4 4 11 13 9 9 9 4 5 5 8 6 2 7 6 4 6 6 10 9 5 7 5 1 3 6 2 5 5 6 3 2 5 8 7 6 7 7 5 4 7 3 8 8 5 9 10 2 5 3 4 9 10 5 8 8 2 2 9 3 6 4 4 3 7 5 8 5 4 2 6 4 7 5 4 6 2 4 4 2 4 8 7 11 7 5 5 6 8 6 8 6 8 4 6 5 7 7 7 7 4 5 4 7 5 5 5 6 5 4 6 7 4 5 4 4 5 5 6 2 6 6 6 5 3 7 5 3 6 4 3 6 3 4 4 5 1 4 4 4 3 2 4 1 
Solving time:0.080
Filtering time:0.020
ID:8 (42,3,10)
Graph |V|:89
Solution size:1978
Filtered solution size:1771
Parallel solution length:275
Parallelism:6.440
Step parallelism:26 13 11 10 7 5 6 5 8 7 5 9 7 6 9 12 10 6 7 5 4 6 5 12 7 9 6 5 6 17 9 9 8 3 6 3 7 3 6 8 10 6 6 5 7 12 8 9 8 5 9 5 6 6 15 8 5 9 4 6 10 14 7 6 10 7 9 1 4 4 5 11 10 4 8 14 8 9 9 7 4 8 8 3 8 10 9 5 6 13 15 6 10 12 9 7 8 6 7 16 13 15 7 15 15 4 5 8 7 5 8 5 8 10 6 7 4 1 4 7 4 6 7 9 6 9 14 8 15 5 6 4 4 7 7 5 6 7 6 4 12 5 6 5 5 10 7 4 7 6 4 5 9 5 3 4 7 4 11 3 3 2 5 5 3 7 6 5 5 11 8 7 1 4 5 6 6 9 1 5 10 5 4 12 6 7 3 8 9 9 5 5 9 4 2 6 5 3 2 6 4 5 5 8 2 5 4 12 6 7 6 8 13 3 5 5 8 4 4 8 7 11 7 8 10 4 3 2 2 4 6 3 3 7 8 4 1 5 4 4 5 4 6 4 3 4 6 3 5 4 3 5 7 5 5 6 4 3 2 2 2 2 2 2 2 3 2 1 3 2 2 2 4 2 1 
Solving time:0.080
Filtering time:0.010
ID:9 (42,3,11)
Graph |V|:89
Solution size:1835
Filtered solution size:1640
Parallel solution length:247
Parallelism:6.640
Step parallelism:27 13 12 10 11 5 6 5 8 6 9 8 6 9 12 10 6 7 5 4 6 5 12 7 9 6 5 6 17 9 9 8 3 6 3 7 3 3 6 9 6 6 5 7 12 8 9 8 5 9 5 6 6 15 8 5 9 4 5 11 16 7 6 10 7 9 1 4 4 5 11 10 4 8 9 8 4 9 7 3 13 9 4 7 7 10 9 7 12 13 14 5 5 7 10 10 9 14 13 15 7 12 9 8 9 11 7 7 4 4 7 2 4 7 5 10 6 8 8 10 9 7 5 4 7 6 6 2 7 6 6 5 4 11 10 6 7 12 5 4 4 10 4 3 7 5 6 5 13 11 6 3 4 3 1 2 7 4 5 5 8 6 11 2 5 6 5 12 13 8 8 10 4 12 4 1 5 5 5 9 4 3 7 5 5 5 4 8 5 7 4 6 1 9 5 6 5 4 5 5 8 4 6 5 5 8 11 10 12 4 5 4 3 4 5 2 5 6 9 7 2 4 2 5 2 4 5 3 5 4 6 5 5 3 4 4 5 4 2 1 3 2 2 2 4 2 1 
Solving time:0.080
Filtering time:0.010
ID:10 (42,3,12)
Graph |V|:89
Solution size:1884
Filtered solution size:1646
Parallel solution length:251
Parallelism:6.558
Step parallelism:26 13 13 7 9 5 6 5 8 6 9 8 6 9 12 10 6 7 5 4 6 5 12 7 9 6 5 6 15 5 13 8 3 6 3 7 3 3 6 9 6 6 5 7 12 8 9 8 6 9 8 9 12 12 5 5 13 16 7 8 11 8 4 5 6 10 7 11 10 4 8 9 8 4 9 7 5 16 8 4 8 9 7 6 6 10 6 2 5 14 5 5 7 10 10 9 15 15 14 7 12 17 10 6 4 7 6 2 9 9 6 3 3 3 8 10 8 7 6 8 8 7 14 8 5 6 9 5 5 3 2 5 6 7 7 5 12 6 6 5 10 9 9 3 6 7 7 2 5 4 5 5 10 7 8 5 4 2 4 3 9 12 4 7 11 9 5 7 9 8 4 7 10 5 4 6 7 7 6 8 5 9 7 3 4 4 6 9 6 3 3 5 5 5 7 4 6 5 8 7 4 3 7 12 5 9 6 3 2 2 1 1 1 5 3 5 7 5 3 3 6 3 5 4 5 4 5 4 3 5 5 4 4 3 4 5 3 1 2 2 5 2 2 2 2 4 2 4 2 4 1 
Solving time:0.080
Filtering time:0.020
ID:11 (42,3,13)
Graph |V|:89
Solution size:1931
Filtered solution size:1696
Parallel solution length:247
Parallelism:6.866
Step parallelism:31 13 12 7 4 9 6 8 6 9 8 6 9 12 10 6 7 5 4 6 5 12 7 9 6 5 6 15 5 13 8 3 6 3 7 5 1 6 12 10 6 5 7 12 8 9 8 6 9 8 9 14 12 5 5 11 14 8 1 10 7 4 4 5 10 7 12 10 4 8 13 11 5 5 11 8 9 7 6 8 10 4 10 9 5 11 7 8 7 4 8 11 11 8 10 11 12 12 7 11 9 3 4 6 8 10 10 11 8 9 6 5 7 13 6 7 3 4 7 8 9 4 7 5 3 6 5 11 8 9 7 7 4 3 10 5 4 5 8 9 7 6 3 3 7 3 9 6 6 9 14 8 10 6 1 3 6 6 7 10 13 13 8 7 8 4 3 10 9 6 7 11 6 5 8 8 2 6 7 8 5 4 6 5 5 10 12 4 5 2 1 8 5 7 6 10 7 2 4 7 5 8 6 4 6 3 5 4 6 7 4 4 5 5 4 5 5 3 4 5 5 4 7 4 5 6 3 5 4 5 5 4 7 6 5 4 5 4 3 2 1 3 5 3 2 4 1 
Solving time:0.080
Filtering time:0.010
ID:12 (42,3,14)
Graph |V|:89
Solution size:1872
Filtered solution size:1607
Parallel solution length:250
Parallelism:6.428
Step parallelism:31 13 12 7 4 4 6 8 7 5 9 7 7 8 10 11 6 7 5 4 6 5 12 7 9 6 5 6 15 5 13 8 3 6 3 7 5 1 6 12 10 6 5 7 12 8 9 8 6 9 8 9 14 12 5 5 11 14 8 1 9 7 4 4 5 10 8 12 9 4 8 12 10 5 5 11 8 9 7 6 8 9 5 9 9 5 11 7 8 7 4 7 8 7 10 14 11 6 8 6 7 8 10 7 2 4 4 4 5 12 10 11 8 5 6 6 5 5 5 4 8 10 5 6 5 8 7 7 12 7 5 8 7 10 6 6 8 4 10 8 7 4 8 9 6 4 4 4 4 6 3 2 3 6 4 5 11 11 10 3 3 2 4 3 4 10 8 5 5 3 4 3 3 5 10 2 5 6 8 10 9 7 2 3 2 2 4 4 6 5 8 13 8 7 10 3 4 5 6 7 7 6 9 4 5 5 5 9 6 9 3 1 3 5 6 3 5 4 6 4 4 7 2 4 6 5 3 3 5 4 5 3 3 3 4 2 6 3 2 2 2 3 3 2 2 3 4 4 4 2 
Solving time:0.070
Filtering time:0.020
ID:13 (42,3,15)
Graph |V|:89
Solution size:1879
Filtered solution size:1598
Parallel solution length:245
Parallelism:6.522
Step parallelism:30 12 12 7 4 4 6 8 7 5 9 7 7 8 10 11 6 7 5 4 6 5 12 7 9 7 5 6 15 5 14 8 3 6 3 7 5 1 6 12 10 6 5 8 11 8 9 8 6 11 8 9 9 10 5 5 11 14 8 1 9 7 4 4 5 10 8 12 10 4 8 12 10 5 6 12 8 9 4 6 8 5 4 9 9 5 11 7 8 7 4 7 11 7 4 9 8 11 13 8 9 8 2 4 4 4 5 10 5 7 7 4 5 8 5 8 6 5 8 3 6 10 7 6 8 11 9 9 6 6 9 6 7 8 5 2 7 8 10 7 6 8 6 6 3 10 8 6 4 6 11 6 4 5 4 2 8 5 4 4 4 8 8 10 10 7 4 2 5 6 12 12 8 4 5 6 9 6 7 9 8 9 11 8 2 6 6 5 5 7 10 3 6 7 4 8 6 4 3 8 6 3 2 2 6 3 3 5 5 3 4 5 7 4 3 5 4 2 2 5 4 4 3 5 3 4 4 3 5 4 4 4 5 4 3 4 4 3 3 3 5 2 2 4 1 
Solving time:0.080
Filtering time:0.010
ID:14 (42,3,16)
Graph |V|:89
Solution size:1879
Filtered solution size:1591
Parallel solution length:244
Parallelism:6.520
Step parallelism:30 12 12 7 4 4 6 8 7 5 9 7 7 8 10 11 6 7 5 4 6 5 12 7 9 7 5 6 15 5 14 8 3 6 3 7 5 2 6 11 9 5 4 7 11 11 10 6 11 8 10 9 10 5 5 11 14 8 1 9 7 4 4 5 10 8 12 10 4 8 12 10 5 6 12 8 9 4 6 8 5 4 9 9 5 11 7 8 7 4 7 11 7 4 9 8 11 13 8 9 8 2 4 4 4 5 10 5 7 7 4 5 8 5 8 6 5 8 3 6 10 7 6 8 11 9 9 6 6 9 6 7 8 5 2 7 8 10 7 6 8 6 6 3 10 8 6 4 6 11 6 4 5 4 2 8 5 4 4 4 8 8 10 10 7 4 2 5 6 12 12 8 4 5 6 9 6 7 9 8 9 11 8 2 6 6 5 5 7 10 3 6 7 4 8 6 4 3 8 6 3 2 2 6 3 3 5 5 3 4 5 7 4 3 5 4 2 2 5 4 4 3 5 3 4 4 3 5 4 4 4 5 4 3 4 4 3 3 3 5 2 2 4 1 
Solving time:0.080
Filtering time:0.010
ID:15 (42,3,17)
Graph |V|:89
Solution size:1824
Filtered solution size:1523
Parallel solution length:223
Parallelism:6.830
Step parallelism:31 12 12 9 4 4 6 8 7 5 9 7 7 8 10 11 6 7 5 4 6 5 12 7 9 7 5 6 15 5 14 7 5 6 3 3 6 10 8 6 7 7 11 11 10 6 11 8 10 9 10 5 5 11 14 8 1 9 7 4 4 5 10 8 12 10 4 8 14 10 5 6 12 8 9 4 6 8 5 4 9 9 5 11 7 8 7 4 8 10 5 5 7 6 14 9 5 7 12 11 3 2 4 8 10 6 8 12 9 4 4 9 9 7 7 8 9 6 7 9 10 8 5 10 6 7 8 10 6 6 9 5 6 4 2 6 5 9 5 5 3 5 6 6 6 8 5 6 10 8 10 10 8 5 5 9 9 7 6 10 7 8 7 3 1 2 7 6 5 8 8 6 4 4 4 7 7 4 6 5 5 6 6 8 1 5 9 4 7 6 9 11 13 6 6 4 6 6 6 5 6 6 2 3 2 4 4 4 3 2 3 4 5 2 3 1 4 4 4 1 3 5 3 
Solving time:0.070
Filtering time:0.010
ID:16 (42,3,18)
Graph |V|:89
Solution size:1933
Filtered solution size:1588
Parallel solution length:244
Parallelism:6.508
Step parallelism:32 12 12 9 4 4 6 8 7 5 9 7 7 8 10 11 6 7 5 4 6 5 12 7 9 7 5 6 15 5 14 7 5 6 3 3 6 10 8 6 7 7 11 11 10 6 11 6 10 9 10 5 5 10 10 8 9 7 4 4 5 10 6 11 9 4 8 14 12 4 5 12 8 6 6 12 4 6 7 5 6 4 4 4 6 13 11 6 8 7 8 10 6 5 7 7 16 9 5 7 9 9 3 2 4 8 10 6 9 11 8 4 5 7 8 8 5 9 5 5 7 10 5 8 13 9 6 8 8 5 5 11 9 7 6 7 5 7 5 7 4 7 8 5 4 8 11 8 6 6 5 8 8 5 8 12 5 10 3 3 9 6 5 5 5 5 8 2 6 6 8 6 3 2 2 4 6 6 6 5 6 5 6 5 6 6 5 10 13 9 9 4 6 5 4 6 6 5 5 5 4 8 4 4 5 4 3 3 3 5 3 5 4 5 2 5 3 3 2 6 4 4 7 2 1 3 1 1 4 3 4 4 2 4 4 3 4 3 3 3 4 3 4 3 
Solving time:0.080
Filtering time:0.010
ID:17 (42,3,19)
Graph |V|:89
Solution size:1907
Filtered solution size:1552
Parallel solution length:241
Parallelism:6.440
Step parallelism:31 11 12 9 4 4 6 8 7 5 9 7 7 8 10 11 6 7 5 4 6 5 12 7 9 6 7 5 12 8 11 8 5 6 3 3 7 7 8 5 3 7 7 8 8 10 10 12 18 7 5 16 13 11 4 6 4 4 5 8 7 10 7 12 15 10 6 11 9 8 8 6 4 3 9 8 5 5 5 7 7 11 7 8 10 11 5 8 12 9 7 8 10 10 5 3 5 6 6 7 3 3 9 8 6 8 7 8 5 7 8 7 5 7 5 5 5 6 6 7 7 6 8 10 10 8 7 10 4 5 5 5 8 7 5 10 13 6 9 5 5 4 5 4 8 5 10 4 7 3 4 12 10 8 7 5 2 5 5 5 5 4 4 2 6 3 7 3 8 9 7 5 8 4 3 5 4 6 6 9 5 7 6 6 4 4 5 7 11 6 10 8 2 2 6 6 7 3 3 2 6 6 3 4 4 4 5 6 8 4 4 7 3 6 5 4 3 6 4 5 6 2 4 4 4 4 3 2 1 1 1 1 2 2 4 3 5 3 2 4 1 
Solving time:0.070
Filtering time:0.010
ID:18 (42,3,20)
Graph |V|:89
Solution size:1907
Filtered solution size:1546
Parallel solution length:240
Parallelism:6.442
Step parallelism:32 11 13 9 4 4 6 8 7 5 9 7 7 8 10 11 6 7 5 4 6 5 12 7 9 6 7 6 11 5 11 8 7 7 4 6 6 5 4 3 7 7 8 8 10 10 12 18 7 5 16 13 11 4 6 4 4 5 8 7 10 7 12 15 10 6 11 9 8 8 6 4 3 9 8 5 5 5 7 7 11 7 8 10 11 5 8 12 9 7 8 10 10 5 3 5 6 6 7 3 3 9 8 6 8 7 8 5 7 8 7 5 7 5 5 5 6 6 7 7 6 8 10 10 8 7 10 4 5 5 5 8 7 5 10 13 6 9 5 5 4 5 4 8 5 10 4 7 3 4 12 10 8 7 5 2 5 5 5 5 4 4 2 6 3 7 3 8 9 7 5 8 4 3 5 4 6 6 9 5 7 6 6 4 4 5 7 11 6 10 8 2 2 6 6 7 3 3 2 6 6 3 4 4 4 5 6 8 4 4 7 3 6 5 4 3 6 4 5 6 2 4 4 4 4 3 2 1 1 1 1 2 2 4 3 5 3 2 4 1 
Solving time:0.080
Filtering time:0.010
ID:19 (42,3,21)
Graph |V|:89
Solution size:1883
Filtered solution size:1496
Parallel solution length:233
Parallelism:6.421
Step parallelism:32 11 13 9 4 4 6 8 7 5 9 7 7 8 10 11 6 7 5 4 6 5 12 7 9 6 7 6 11 5 11 8 7 7 4 6 6 5 4 3 7 7 8 8 10 10 12 18 7 5 16 13 11 4 6 4 4 5 7 7 10 7 12 15 10 6 10 9 8 10 6 4 3 9 8 5 5 5 7 7 11 7 8 10 7 4 8 12 9 7 8 10 10 5 3 5 6 6 7 3 3 9 8 6 8 7 9 5 6 7 6 4 6 5 5 10 5 8 8 6 6 9 5 5 8 7 5 5 8 7 6 10 13 7 9 6 5 4 5 3 5 8 13 8 7 6 3 1 4 6 8 9 6 8 9 8 8 3 4 4 3 6 5 7 9 5 6 6 5 6 5 5 8 5 3 4 5 9 8 1 4 4 5 7 7 7 2 7 2 4 5 6 4 4 7 8 7 5 3 5 3 1 1 6 3 5 3 4 4 1 4 4 4 5 4 2 4 5 3 4 3 4 4 3 3 3 3 2 3 5 3 4 1 
Solving time:0.080
Filtering time:0.010
ID:20 (42,3,22)
Graph |V|:89
Solution size:1826
Filtered solution size:1450
Parallel solution length:231
Parallelism:6.277
Step parallelism:34 12 13 9 4 4 6 8 7 5 9 7 8 8 11 11 7 6 5 4 7 7 9 7 9 6 7 5 8 6 11 8 5 6 4 5 5 4 8 7 7 2 1 9 8 4 7 6 9 10 9 13 5 7 16 7 4 4 7 15 12 12 14 6 7 7 5 4 5 8 6 5 7 8 4 7 6 4 6 5 8 10 11 8 4 10 14 13 9 9 11 5 3 5 7 6 6 9 5 5 7 6 4 7 4 3 10 9 12 11 5 6 16 8 2 6 8 6 4 2 4 6 6 6 6 8 12 6 6 11 7 4 3 5 6 4 5 5 3 3 5 4 1 6 4 3 7 5 2 6 2 2 4 4 6 7 9 7 5 6 4 3 4 8 7 6 6 2 4 2 5 11 7 6 4 8 7 12 7 6 5 4 4 4 6 1 4 4 5 8 7 6 5 13 7 8 6 5 6 4 4 5 7 5 3 6 6 3 3 6 4 6 5 4 5 7 4 3 2 4 3 2 2 1 1 1 1 4 3 2 2 
Solving time:0.080
Filtering time:0.010
ID:21 (42,3,23)
Graph |V|:89
Solution size:1761
Filtered solution size:1405
Parallel solution length:213
Parallelism:6.596
Step parallelism:35 14 10 8 8 4 6 8 6 9 8 8 8 10 12 6 6 5 4 7 7 9 7 9 6 7 5 9 10 13 7 4 5 5 4 8 7 7 2 1 8 10 4 7 6 9 12 10 9 4 9 7 7 7 7 4 4 7 9 10 11 13 15 14 9 11 8 10 8 8 7 4 11 9 7 7 4 8 13 11 7 8 9 11 7 5 3 4 7 6 6 5 4 6 7 3 11 8 8 4 4 3 5 7 8 10 8 11 5 10 9 4 7 7 10 13 15 12 5 6 6 5 4 1 1 6 6 13 7 5 5 2 2 1 4 4 6 8 10 7 4 4 5 9 10 9 9 6 4 4 9 10 10 5 7 9 11 7 3 3 7 7 8 9 9 9 4 6 9 3 10 4 2 3 3 2 2 2 5 5 4 6 5 4 4 1 4 6 5 4 5 4 2 5 3 3 2 2 5 4 4 3 4 3 4 3 4 1 1 3 2 4 1 
Solving time:0.070
Filtering time:0.010
ID:22 (42,3,24)
Graph |V|:89
Solution size:1704
Filtered solution size:1341
Parallel solution length:207
Parallelism:6.478
Step parallelism:34 14 10 8 8 4 6 8 6 9 8 8 8 10 12 6 6 5 4 7 7 9 7 9 6 7 5 9 10 13 7 4 5 5 4 8 7 7 2 1 8 10 4 7 6 9 12 9 14 5 4 13 9 4 4 4 7 11 10 12 14 14 12 14 9 10 6 7 6 4 11 12 6 5 7 10 16 12 13 11 5 3 5 7 6 6 9 5 3 10 7 7 6 6 4 5 5 7 11 10 8 11 7 6 6 9 10 9 5 5 5 12 15 7 6 7 2 4 7 5 5 6 4 1 2 2 4 2 1 4 5 8 9 9 8 14 13 5 6 4 5 5 3 6 7 4 6 3 4 11 5 6 3 7 6 6 8 6 2 4 9 5 5 3 6 5 3 3 3 3 2 2 2 5 8 7 4 6 4 1 4 4 6 4 5 5 6 5 5 8 5 2 2 2 1 4 3 2 2 1 1 1 1 4 2 2 2 
Solving time:0.070
Filtering time:0.010
ID:23 (42,3,25)
Graph |V|:89
Solution size:1704
Filtered solution size:1334
Parallel solution length:207
Parallelism:6.444
Step parallelism:35 15 9 8 8 4 6 3 5 8 7 8 8 10 12 6 6 5 4 7 7 9 7 9 6 7 5 9 10 13 7 4 5 5 4 8 7 7 2 1 8 10 4 7 6 9 12 9 14 5 4 13 9 4 4 4 7 11 10 12 14 14 12 14 9 10 6 7 6 4 11 12 6 5 7 10 16 12 13 11 5 3 5 7 6 6 9 5 3 10 7 7 6 6 4 5 5 7 11 10 8 11 7 6 6 9 10 9 5 5 5 12 15 7 6 7 2 4 7 5 5 6 4 1 2 2 4 2 1 4 5 8 9 9 8 14 13 5 6 4 5 5 3 6 7 4 6 3 4 11 5 6 3 7 6 6 8 6 2 4 9 5 5 3 6 5 3 3 3 3 2 2 2 5 8 7 4 6 4 1 4 4 6 4 5 5 6 5 5 8 5 2 2 2 1 4 3 2 2 1 1 1 1 4 2 2 2 
Solving time:0.080
Filtering time:0.010
ID:24 (42,3,26)
Graph |V|:89
Solution size:1816
Filtered solution size:1407
Parallel solution length:230
Parallelism:6.117
Step parallelism:33 14 9 7 8 4 6 3 5 8 7 8 8 10 12 6 6 6 4 7 5 9 7 9 6 7 5 9 13 13 7 4 5 5 4 8 7 6 5 4 6 5 5 9 5 10 17 11 5 9 9 6 8 7 7 5 5 5 5 4 9 9 7 7 8 3 4 4 3 5 5 7 6 5 5 4 4 9 7 9 7 7 6 9 9 7 8 9 10 15 6 11 11 9 9 7 5 4 7 7 3 9 3 7 9 5 4 1 8 4 11 7 8 8 8 7 2 9 7 6 5 5 6 11 7 7 6 8 8 6 4 8 5 5 5 7 4 5 5 7 13 11 9 7 9 3 3 4 4 6 8 11 4 2 2 4 5 10 10 6 5 6 7 4 5 5 7 9 6 3 4 5 4 5 5 8 8 5 5 7 5 6 5 8 5 9 3 4 1 1 4 3 4 2 3 3 4 5 5 7 3 5 7 4 4 3 3 2 7 4 3 6 4 3 5 2 3 2 2 1 2 2 1 1 1 1 4 2 2 2 
Solving time:0.070
Filtering time:0.010
ID:25 (42,3,27)
Graph |V|:89
Solution size:1785
Filtered solution size:1373
Parallel solution length:214
Parallelism:6.416
Step parallelism:32 15 9 7 6 3 5 3 5 8 10 5 8 11 11 6 4 3 7 5 9 9 8 8 11 13 13 7 4 5 5 4 8 8 8 6 4 6 5 5 7 6 6 16 13 14 7 7 8 5 7 6 7 5 5 5 5 4 9 9 7 7 8 3 4 4 3 5 5 7 6 6 5 4 4 8 7 9 5 7 6 9 8 3 9 7 7 11 9 11 6 10 9 9 7 6 5 4 6 7 3 12 7 12 11 14 4 12 4 9 9 8 10 11 10 6 4 9 7 8 13 12 9 7 7 5 4 7 9 6 7 3 7 4 3 7 8 6 4 7 10 5 4 3 8 5 7 10 9 4 3 4 4 2 1 5 3 1 4 6 8 10 8 7 8 6 5 8 4 2 8 9 4 9 7 7 7 9 4 4 3 3 5 3 2 6 2 4 4 7 6 4 4 3 5 4 3 5 4 3 2 2 2 2 2 2 3 3 5 1 2 2 4 1 
Solving time:0.080
Filtering time:0.010
ID:26 (42,3,28)
Graph |V|:89
Solution size:1804
Filtered solution size:1332
Parallel solution length:214
Parallelism:6.224
Step parallelism:32 16 9 7 6 3 5 3 5 8 10 5 8 11 8 4 4 7 11 11 7 8 10 11 13 8 6 4 5 5 4 8 8 8 6 4 6 5 5 7 6 6 15 11 16 9 8 5 7 9 7 5 5 5 5 4 5 10 7 8 13 8 6 4 7 4 6 5 3 3 8 5 4 3 6 9 10 6 4 11 8 12 11 11 14 11 7 10 7 9 7 3 9 6 15 9 10 4 10 6 9 5 6 4 5 9 5 5 2 8 3 6 4 11 7 9 4 9 7 8 4 4 5 5 6 6 6 8 5 6 7 8 6 4 3 2 2 6 4 5 7 4 2 4 3 5 8 3 8 7 4 5 5 7 8 9 8 6 11 9 6 8 8 3 6 2 8 7 4 5 3 6 5 3 7 6 5 3 5 4 3 3 3 1 3 2 6 4 5 3 6 5 4 3 7 2 1 3 1 1 4 3 4 4 5 2 1 2 2 3 4 4 3 2 
Solving time:0.070
Filtering time:0.010
ID:27 (42,3,29)
Graph |V|:89
Solution size:1820
Filtered solution size:1362
Parallel solution length:228
Parallelism:5.974
Step parallelism:30 15 9 6 6 3 5 3 5 8 10 5 8 11 8 4 4 7 13 11 7 5 5 7 11 9 6 4 5 5 4 8 8 13 10 7 4 2 5 13 7 8 7 5 6 8 5 9 7 6 6 5 5 4 6 10 10 6 9 7 3 4 6 7 9 5 9 5 3 2 8 8 3 5 8 7 11 8 12 10 9 9 5 8 8 12 9 9 7 4 7 7 3 7 3 10 3 7 2 8 9 11 4 4 7 10 10 5 6 3 4 6 6 4 4 5 5 7 8 6 3 3 3 3 1 3 3 5 9 5 6 9 3 1 1 2 8 11 11 9 9 5 3 2 5 4 4 5 8 7 7 9 12 7 6 7 4 5 6 6 6 3 5 10 6 7 10 11 3 3 2 2 3 3 6 5 6 4 5 5 5 7 3 5 7 5 3 5 4 9 8 10 1 1 3 4 6 5 5 5 3 5 7 3 5 5 3 3 6 5 4 3 3 2 4 2 4 3 3 3 4 3 2 3 2 2 4 1 
Solving time:0.070
Filtering time:0.010
ID:28 (42,3,30)
Graph |V|:89
Solution size:1726
Filtered solution size:1262
Parallel solution length:215
Parallelism:5.870
Step parallelism:30 15 9 6 6 3 5 3 5 8 10 5 8 11 8 4 4 7 13 11 7 5 5 7 11 9 6 4 5 5 4 8 8 13 10 6 4 2 5 13 7 9 9 5 6 8 5 9 7 5 5 5 5 4 6 10 11 6 9 6 3 4 6 6 8 5 9 5 3 2 8 8 8 7 6 4 11 5 7 8 11 5 5 7 9 10 11 9 8 5 4 7 7 5 7 4 8 2 7 7 6 3 7 3 7 9 12 9 3 4 6 6 6 4 4 8 8 7 2 4 5 4 2 4 4 2 1 3 2 7 5 6 5 6 8 9 8 4 4 2 2 5 8 5 8 7 3 5 7 7 11 10 7 6 6 4 1 1 1 1 2 3 5 3 5 3 5 8 9 11 8 5 6 5 4 5 5 5 5 6 6 7 2 4 4 5 5 4 3 4 4 3 5 3 5 4 3 2 6 4 5 4 4 5 4 4 1 3 4 4 1 3 3 5 1 
Solving time:0.070
Filtering time:0.010
ID:29 (42,3,31)
Graph |V|:89
Solution size:1786
Filtered solution size:1289
Parallel solution length:209
Parallelism:6.167
Step parallelism:30 15 9 6 5 3 5 3 6 9 10 5 6 10 6 9 11 14 5 7 5 7 9 12 8 4 5 5 4 8 9 13 10 6 4 2 5 14 7 7 5 4 3 12 7 1 4 6 4 4 5 4 7 10 9 6 11 5 6 9 5 5 7 4 3 9 8 10 10 3 4 11 7 9 8 6 6 6 8 11 8 8 7 5 8 6 9 8 5 5 8 5 5 8 4 8 1 3 7 3 5 3 8 6 5 4 8 8 10 11 7 7 11 11 2 1 5 5 3 7 4 7 4 4 6 6 8 7 5 8 3 3 3 3 3 1 7 3 5 9 7 4 4 4 9 11 8 9 5 4 5 4 3 5 5 5 8 11 11 8 5 1 6 8 10 8 6 2 3 4 7 4 2 5 3 8 6 6 6 7 4 6 6 11 9 4 3 6 3 7 4 5 4 4 3 3 5 6 4 4 4 3 2 3 3 4 2 1 2 
Solving time:0.080
Filtering time:0.000
ID:30 (42,3,32)
Graph |V|:89
Solution size:1671
Filtered solution size:1193
Parallel solution length:195
Parallelism:6.118
Step parallelism:29 15 8 7 2 3 5 4 6 9 9 4 6 10 6 9 10 15 6 7 5 7 9 11 10 4 5 5 3 7 8 9 10 8 6 15 6 6 5 9 6 3 10 10 3 4 6 4 4 5 6 7 11 9 5 5 6 5 7 6 4 6 7 5 6 4 7 9 10 14 5 7 4 7 3 5 9 13 10 8 4 2 4 3 6 6 6 9 5 4 6 4 5 8 1 3 5 3 5 7 9 7 7 9 8 4 7 6 5 7 4 4 6 5 5 7 9 9 7 5 9 6 8 4 3 9 8 3 5 6 5 6 5 5 10 12 12 6 8 6 6 4 4 6 6 9 9 9 4 3 3 4 4 4 8 11 9 6 6 5 6 6 8 1 1 4 5 5 3 3 3 6 5 5 6 3 7 7 4 6 4 4 1 1 4 4 1 1 1 1 3 2 2 4 1 
Solving time:0.070
Filtering time:0.010
ID:31 (42,3,33)
Graph |V|:89
Solution size:1700
Filtered solution size:1192
Parallel solution length:208
Parallelism:5.731
Step parallelism:29 15 8 7 2 3 5 4 6 9 9 4 6 10 6 9 10 15 6 7 5 7 9 11 10 4 5 5 3 7 8 9 11 6 7 15 6 6 5 9 7 3 10 10 3 4 6 4 4 5 6 7 11 9 5 5 6 5 7 6 4 6 7 5 6 4 7 9 11 14 5 3 4 8 9 9 12 11 11 9 9 4 3 3 1 3 5 3 5 5 4 7 7 8 8 3 7 8 5 5 5 4 4 6 6 5 5 7 7 6 7 6 7 3 3 3 3 3 5 7 6 2 5 7 5 5 3 6 5 5 5 5 3 4 4 9 5 6 7 10 7 9 6 8 4 4 4 6 5 4 9 6 8 6 5 5 6 3 7 5 7 8 5 9 4 1 6 6 1 2 3 3 6 3 2 1 1 1 1 5 4 3 5 2 3 6 6 5 3 5 5 5 4 4 4 2 1 1 4 4 2 1 1 2 3 5 2 1 
Solving time:0.070
Filtering time:0.010
ID:32 (42,3,34)
Graph |V|:89
Solution size:1700
Filtered solution size:1185
Parallel solution length:208
Parallelism:5.697
Step parallelism:28 15 8 7 2 3 5 4 6 9 9 4 6 10 6 9 10 17 9 8 5 7 5 7 8 3 4 5 3 7 8 9 11 6 7 15 6 6 5 9 7 3 10 10 3 4 6 4 4 5 6 7 11 9 5 5 6 5 7 6 4 6 7 5 6 4 7 9 11 14 5 3 4 8 9 9 12 11 11 9 9 4 3 3 1 3 5 3 5 5 4 7 7 8 8 3 7 8 5 5 5 4 4 6 6 5 5 7 7 6 7 6 7 3 3 3 3 3 5 7 6 2 5 7 5 5 3 6 5 5 5 5 3 4 4 9 5 6 7 10 7 9 6 8 4 4 4 6 5 4 9 6 8 6 5 5 6 3 7 5 7 8 5 9 4 1 6 6 1 2 3 3 6 3 2 1 1 1 1 5 4 3 5 2 3 6 6 5 3 5 5 5 4 4 4 2 1 1 4 4 2 1 1 2 3 5 2 1 
Solving time:0.070
Filtering time:0.010
ID:33 (42,3,35)
Graph |V|:89
Solution size:1688
Filtered solution size:1145
Parallel solution length:195
Parallelism:5.872
Step parallelism:28 16 8 7 2 3 5 4 6 9 9 4 6 10 6 9 10 17 9 8 5 7 5 7 8 3 4 5 3 7 8 8 11 6 6 15 6 6 5 9 6 3 10 10 2 4 6 4 4 5 6 7 11 9 5 5 6 5 7 6 4 6 7 5 6 4 7 9 9 15 5 3 4 8 9 9 12 8 8 6 7 3 7 6 5 5 5 5 3 4 10 8 6 7 10 8 7 9 7 5 4 3 5 2 4 6 5 5 7 7 7 7 6 9 9 6 5 6 7 3 4 5 5 1 4 5 7 5 9 5 4 4 9 2 1 2 7 9 6 9 8 5 9 3 4 9 8 8 5 7 7 5 9 6 3 2 4 1 3 5 2 6 4 5 5 4 7 2 3 4 3 2 4 4 4 4 5 6 5 3 4 3 2 1 1 1 1 1 1 3 3 5 3 4 1 
Solving time:0.080
Filtering time:0.000
ID:34 (42,3,36)
Graph |V|:89
Solution size:1630
Filtered solution size:1100
Parallel solution length:185
Parallelism:5.946
Step parallelism:29 16 8 7 2 3 5 4 6 9 9 4 6 7 4 9 7 15 8 8 5 6 5 6 6 3 4 5 3 7 8 8 11 7 7 16 6 5 4 7 7 3 10 9 2 4 6 4 4 5 5 6 8 7 7 8 5 6 5 10 11 10 9 5 6 4 4 5 4 7 8 8 12 14 13 10 12 12 17 8 8 11 8 6 3 3 7 9 5 9 9 6 7 4 7 4 6 3 4 6 5 7 5 2 2 4 4 4 3 7 9 4 4 4 4 5 10 10 9 5 6 6 9 10 7 10 5 3 2 5 6 4 8 6 4 6 8 5 4 5 4 3 3 4 8 4 6 5 4 5 4 5 5 4 4 5 4 2 4 4 1 3 3 1 3 4 5 5 5 3 4 2 3 1 1 1 4 4 1 1 1 2 4 3 2 
Solving time:0.070
Filtering time:0.000
ID:35 (42,3,37)
Graph |V|:89
Solution size:1605
Filtered solution size:1064
Parallel solution length:176
Parallelism:6.045
Step parallelism:29 16 8 7 2 3 5 4 5 8 9 4 6 7 4 9 7 15 8 8 5 6 5 6 6 3 4 5 3 7 8 5 11 7 7 16 6 5 4 7 7 3 10 9 1 4 6 4 4 5 6 7 8 7 7 7 7 5 14 11 11 9 5 3 3 5 4 7 7 5 9 11 10 11 11 6 7 10 6 5 3 9 11 10 8 6 9 3 7 3 7 9 5 1 6 7 4 10 8 10 9 6 9 7 6 4 1 1 6 5 5 5 6 4 6 5 9 7 4 4 5 4 7 5 5 7 6 5 6 2 4 7 5 7 5 5 9 7 5 1 4 11 11 11 6 4 7 4 3 3 2 4 7 3 3 5 4 1 2 3 1 2 2 3 2 4 6 6 4 3 2 2 3 2 4 1 
Solving time:0.070
Filtering time:0.010
ID:36 (42,3,38)
Graph |V|:89
Solution size:1649
Filtered solution size:1109
Parallel solution length:198
Parallelism:5.601
Step parallelism:26 15 7 6 3 4 6 4 5 8 9 4 6 7 4 9 7 13 8 9 5 6 5 6 6 3 4 4 3 7 8 5 11 7 7 15 6 5 6 7 7 3 8 4 2 6 5 4 6 6 5 6 7 2 1 3 6 4 7 7 11 10 10 7 6 3 3 10 7 9 5 7 11 7 13 8 8 8 6 5 9 7 8 8 7 6 7 8 6 2 1 4 6 6 7 7 5 10 7 8 6 9 5 5 4 5 4 4 4 5 7 6 2 4 9 8 6 5 8 9 8 7 8 6 3 5 3 4 6 3 3 2 5 5 5 6 7 4 7 3 8 7 5 4 3 3 6 3 3 2 6 5 6 1 1 5 6 4 6 8 4 3 5 4 2 1 3 3 2 5 4 5 5 7 4 3 3 4 3 2 4 5 2 6 4 6 4 3 2 2 2 2 2 2 4 4 5 3 
Solving time:0.070
Filtering time:0.000
ID:37 (42,3,39)
Graph |V|:89
Solution size:1681
Filtered solution size:1118
Parallel solution length:204
Parallelism:5.480
Step parallelism:28 16 7 3 3 4 5 4 4 8 8 4 5 8 8 10 5 4 4 6 7 5 4 5 3 3 5 3 7 7 11 7 6 3 6 3 3 6 12 2 6 7 4 3 3 4 6 7 6 6 7 4 4 5 5 9 7 9 7 6 3 2 8 8 5 4 4 8 8 7 6 5 7 14 10 11 11 9 10 6 3 4 5 6 2 7 10 11 8 2 7 5 10 7 8 7 7 6 3 1 1 5 4 8 5 5 7 6 8 7 9 12 11 6 6 4 7 6 7 6 5 2 5 6 4 9 8 4 5 7 5 5 7 3 3 8 7 6 3 2 2 7 6 6 8 8 5 7 7 2 3 5 8 8 9 8 9 5 6 6 6 4 2 5 7 7 4 4 3 3 3 1 2 5 2 3 2 2 2 2 2 2 4 5 4 3 3 3 4 4 4 1 1 1 1 1 1 1 1 3 2 2 4 1 
Solving time:0.070
Filtering time:0.010
ID:38 (42,3,40)
Graph |V|:89
Solution size:1661
Filtered solution size:1090
Parallel solution length:202
Parallelism:5.396
Step parallelism:27 16 7 5 5 4 4 3 10 5 4 7 8 7 4 3 3 4 6 7 5 4 5 3 3 5 3 7 7 10 9 6 3 6 3 3 6 12 2 6 7 4 3 3 4 6 7 6 5 6 9 6 7 7 3 6 5 4 3 9 8 5 7 5 4 8 7 8 4 3 5 7 10 10 11 13 12 7 4 3 3 4 6 2 6 6 7 5 7 3 3 4 6 7 6 9 7 8 10 6 5 5 8 7 4 8 9 12 10 4 5 5 4 6 7 2 5 6 5 4 3 6 7 8 5 4 7 4 7 9 5 7 5 5 4 4 7 9 6 10 6 5 4 5 7 6 1 5 3 2 3 2 4 1 1 6 4 5 8 5 8 5 3 9 3 3 4 7 6 3 1 1 1 3 6 2 3 1 5 4 3 3 3 2 2 5 4 2 5 5 5 4 4 5 3 2 2 5 4 2 2 1 
Solving time:0.070
Filtering time:0.010
ID:39 (42,3,41)
Graph |V|:89
Solution size:1661
Filtered solution size:1083
Parallel solution length:200
Parallelism:5.415
Step parallelism:26 15 7 6 6 4 10 5 4 7 8 7 4 3 3 4 6 7 5 4 5 3 3 5 3 7 7 10 9 6 3 6 3 3 6 12 2 6 7 4 3 3 4 6 7 6 5 6 9 6 7 7 3 6 5 4 3 9 8 5 7 5 4 8 7 8 4 3 5 7 10 10 11 13 12 7 4 3 3 4 6 2 6 6 7 5 7 3 3 4 6 7 6 9 7 8 10 6 5 5 8 7 4 8 9 12 10 4 5 5 4 6 7 2 5 6 5 4 3 6 7 8 5 4 7 4 7 9 5 7 5 5 4 4 7 9 6 10 6 5 4 5 7 6 1 5 3 2 3 2 4 1 1 6 4 5 8 5 8 5 3 9 3 3 4 7 6 3 1 1 1 3 6 2 3 1 5 4 3 3 3 2 2 5 4 2 5 5 5 4 4 5 3 2 2 5 4 2 2 1 
Solving time:0.070
Filtering time:0.010
ID:40 (42,3,42)
Graph |V|:89
Solution size:1592
Filtered solution size:987
Parallel solution length:176
Parallelism:5.608
Step parallelism:26 15 7 6 6 4 10 5 4 8 8 7 3 3 3 4 6 5 5 8 5 3 3 3 3 7 8 8 6 6 3 3 6 12 2 6 9 4 3 3 4 6 9 7 10 7 6 6 4 9 9 5 5 7 5 6 4 3 7 5 6 7 8 7 8 11 9 8 13 8 10 6 7 7 11 8 7 6 8 6 7 4 6 3 7 12 7 5 6 3 6 10 4 6 9 6 7 13 7 2 3 3 3 3 6 5 6 10 5 2 5 9 10 9 6 7 7 6 5 6 4 6 8 8 3 4 5 6 4 3 3 2 4 6 8 1 3 2 4 5 5 3 2 2 3 5 4 5 3 4 2 3 6 3 3 1 2 2 2 5 4 3 2 3 3 5 4 5 3 5 4 3 3 4 2 3 
Solving time:0.070
Filtering time:0.010
ID:41 (42,3,43)
Graph |V|:89
Solution size:1592
Filtered solution size:980
Parallel solution length:175
Parallelism:5.600
Step parallelism:25 15 7 6 6 4 10 5 4 8 8 7 3 3 3 4 6 5 5 8 5 3 3 3 3 7 8 8 6 6 3 3 6 12 4 10 6 2 2 1 6 9 7 10 7 6 6 4 9 9 5 5 7 5 6 4 3 7 5 6 7 8 7 8 11 9 8 13 8 10 6 7 7 11 8 7 6 8 6 7 4 6 3 7 12 7 5 6 3 6 10 4 6 9 6 7 13 7 2 3 3 3 3 6 5 6 10 5 2 5 9 10 9 6 7 7 6 5 6 4 6 8 8 3 4 5 6 4 3 3 2 4 6 8 1 3 2 4 5 5 3 2 2 3 5 4 5 3 4 2 3 6 3 3 1 2 2 2 5 4 3 2 3 3 5 4 5 3 5 4 3 3 4 2 3 
Solving time:0.080
Filtering time:0.000
ID:42 (42,3,44)
Graph |V|:89
Solution size:1574
Filtered solution size:995
Parallel solution length:172
Parallelism:5.785
Step parallelism:24 15 5 6 6 4 10 5 4 8 8 7 3 3 3 4 6 5 5 8 5 3 3 3 3 7 8 8 6 6 3 3 6 12 6 10 6 2 2 1 6 6 6 9 7 6 6 4 9 9 5 5 7 5 6 4 3 7 5 6 7 8 7 8 10 9 8 12 8 9 6 7 7 8 6 7 5 6 4 6 5 4 6 7 11 8 8 3 6 1 4 7 6 4 8 3 5 6 7 7 9 8 5 7 5 4 8 7 7 7 7 10 4 3 4 5 7 6 3 5 5 8 6 2 6 7 5 7 2 8 2 4 9 9 8 6 7 5 6 3 5 11 6 8 7 6 6 5 6 7 1 3 5 3 6 4 3 4 2 4 4 4 3 5 4 4 1 1 1 1 1 1 
Solving time:0.070
Filtering time:0.000
ID:43 (42,3,45)
Graph |V|:89
Solution size:1656
Filtered solution size:1027
Parallel solution length:192
Parallelism:5.349
Step parallelism:23 15 5 6 6 4 10 5 4 8 8 6 3 3 3 4 5 5 5 8 5 3 3 3 3 7 8 8 6 6 3 3 6 12 6 10 7 2 2 1 6 6 6 9 6 8 9 9 8 5 4 4 13 7 7 7 6 3 13 6 5 11 10 10 10 6 6 7 4 3 6 11 6 5 6 12 6 11 6 9 11 7 4 4 4 6 6 4 10 3 5 8 9 10 7 4 5 6 4 4 5 4 5 7 6 9 9 11 8 6 8 7 5 4 6 6 8 2 1 1 1 1 6 5 2 5 4 5 5 5 4 2 4 7 5 5 5 8 4 1 1 1 1 3 5 7 2 3 3 4 4 3 2 5 4 4 5 2 3 4 3 5 2 2 6 5 4 4 7 1 1 1 1 3 4 2 3 4 5 4 3 4 4 3 3 4 3 5 3 2 4 1 
Solving time:0.070
Filtering time:0.000
ID:44 (42,3,46)
Graph |V|:89
Solution size:1581
Filtered solution size:938
Parallel solution length:174
Parallelism:5.391
Step parallelism:24 16 5 6 6 3 10 5 4 9 6 4 3 3 3 4 5 5 5 8 5 3 4 3 3 7 8 8 6 6 3 3 6 12 6 10 6 2 2 1 6 6 6 8 6 5 8 10 7 9 6 6 10 6 5 8 7 5 8 8 6 7 7 8 6 7 6 3 4 3 3 6 5 5 6 12 8 6 4 9 4 6 4 3 6 9 8 11 6 6 7 5 6 6 8 7 4 5 7 7 6 3 4 3 5 7 7 6 9 9 8 9 4 7 5 4 1 1 1 1 1 5 5 1 1 5 6 2 4 8 8 7 9 9 4 5 3 4 4 2 7 9 6 6 4 3 4 5 5 2 4 4 5 5 4 2 4 3 4 3 2 3 4 2 3 3 2 1 1 2 2 2 3 2 
Solving time:0.070
Filtering time:0.000
ID:45 (42,3,47)
Graph |V|:89
Solution size:1476
Filtered solution size:869
Parallel solution length:161
Parallelism:5.398
Step parallelism:23 16 5 5 5 4 9 5 4 9 9 4 3 3 3 4 4 3 6 7 5 3 4 3 4 6 9 5 5 11 10 8 5 6 3 4 8 7 3 7 7 4 11 4 3 2 5 5 4 4 4 6 4 8 6 3 2 1 5 8 13 7 9 9 13 3 2 1 3 7 6 4 2 4 7 6 7 5 4 5 7 5 4 3 5 6 7 7 6 7 8 6 7 12 6 13 10 8 7 7 5 6 7 9 9 7 8 7 8 4 3 5 4 5 5 8 4 3 5 3 4 5 5 9 6 5 2 7 3 9 5 6 5 2 2 3 6 4 5 6 6 4 2 2 1 6 4 5 4 2 1 1 1 1 1 1 3 3 2 3 1 
Solving time:0.060
Filtering time:0.000
ID:46 (42,3,48)
Graph |V|:89
Solution size:1494
Filtered solution size:847
Parallel solution length:154
Parallelism:5.500
Step parallelism:23 17 7 6 6 4 8 5 4 10 9 4 3 3 3 4 5 3 5 9 7 3 3 6 6 5 5 4 10 6 8 5 5 3 4 9 6 4 9 7 8 8 8 6 6 6 5 4 4 6 2 5 7 8 6 6 6 4 7 6 7 6 5 7 10 4 5 6 8 10 8 7 10 4 4 4 5 5 4 5 5 5 7 4 9 8 5 6 10 9 5 6 6 7 11 8 7 5 5 4 9 10 8 7 4 5 3 4 3 4 7 6 4 4 4 3 7 7 3 6 1 2 6 6 7 3 6 6 5 4 3 4 4 3 3 4 2 3 1 3 6 3 4 4 1 1 2 3 2 2 3 2 2 1 
Solving time:0.060
Filtering time:0.010
ID:47 (42,3,49)
Graph |V|:89
Solution size:1389
Filtered solution size:758
Parallel solution length:147
Parallelism:5.156
Step parallelism:23 17 9 8 6 5 11 8 5 3 3 3 4 4 5 5 7 5 3 4 3 3 5 9 6 8 7 10 11 5 5 2 4 3 4 5 5 8 7 6 5 6 4 8 8 4 6 5 5 7 7 6 9 7 6 8 9 11 11 5 5 2 5 6 3 3 2 5 3 4 5 14 8 6 7 6 9 7 5 4 3 4 5 9 10 7 4 3 4 2 2 1 1 1 1 4 4 4 5 8 3 3 7 6 4 5 8 6 7 4 4 4 10 4 5 4 3 6 6 6 3 4 3 5 5 3 3 4 3 2 2 2 2 2 1 3 3 3 3 2 1 1 1 1 3 3 3 
Solving time:0.060
Filtering time:0.010
ID:48 (42,3,50)
Graph |V|:89
Solution size:1359
Filtered solution size:704
Parallel solution length:132
Parallelism:5.333
Step parallelism:22 16 10 9 6 5 11 8 5 3 3 3 4 4 4 5 7 5 3 4 3 3 5 9 6 8 7 9 11 7 6 3 4 3 4 5 5 7 7 8 6 6 6 4 4 4 7 7 7 7 7 7 7 9 8 9 8 3 6 3 5 3 1 4 8 5 6 3 4 4 1 1 4 6 7 8 7 7 6 6 6 7 7 7 12 11 7 6 6 5 3 4 5 5 5 5 8 8 9 7 5 8 5 5 6 3 2 4 3 3 4 3 1 2 2 3 4 4 2 3 1 1 2 3 2 2 2 2 1 1 3 1 
Solving time:0.060
Filtering time:0.000
ID:49 (42,3,51)
Graph |V|:89
Solution size:1390
Filtered solution size:717
Parallel solution length:131
Parallelism:5.473
Step parallelism:22 16 10 9 6 5 11 8 5 3 3 3 4 4 4 5 7 5 3 4 3 3 5 8 6 8 7 9 10 7 6 3 4 3 4 5 5 7 7 8 7 6 6 4 4 4 7 7 7 7 7 7 7 9 8 7 8 3 6 3 5 3 1 4 8 5 6 3 5 4 1 1 4 6 7 6 8 9 8 8 7 7 5 7 10 7 8 8 7 5 7 3 5 4 6 4 2 2 4 6 7 5 4 4 7 4 4 6 4 6 5 6 5 3 4 4 5 4 4 5 6 5 3 2 2 2 1 1 1 2 1 
Solving time:0.060
Filtering time:0.000
ID:50 (42,3,52)
Graph |V|:89
Solution size:1390
Filtered solution size:711
Parallel solution length:130
Parallelism:5.469
Step parallelism:22 16 10 9 6 5 11 8 5 3 3 3 4 4 4 5 7 5 3 4 3 3 5 8 6 8 7 9 11 7 6 3 4 3 4 5 5 7 7 8 7 5 5 3 3 7 8 7 7 7 7 7 9 8 7 8 3 6 3 5 3 1 4 8 5 6 3 5 4 1 1 4 6 7 6 8 9 8 8 7 7 5 7 10 7 8 8 7 5 7 3 5 4 6 4 2 2 4 6 7 5 4 4 7 4 4 6 4 6 5 6 5 3 4 4 5 4 4 5 6 5 3 2 2 2 1 1 1 2 1 
Solving time:0.060
Filtering time:0.000
ID:51 (42,3,53)
Graph |V|:89
Solution size:1345
Filtered solution size:649
Parallel solution length:126
Parallelism:5.151
Step parallelism:21 14 10 10 6 8 10 6 5 5 3 3 4 4 4 5 5 2 4 3 4 6 10 9 10 5 7 7 3 8 8 7 8 6 10 7 4 3 6 5 3 4 6 7 5 7 9 7 10 8 8 6 5 4 2 2 3 2 6 6 11 3 1 5 5 5 7 6 7 6 4 7 8 7 5 4 4 2 2 4 7 9 5 2 2 3 4 5 6 3 4 4 4 7 3 3 5 6 4 5 5 4 3 4 3 5 4 5 4 4 3 3 6 4 4 3 3 2 2 1 1 2 1 1 2 1 
Solving time:0.060
Filtering time:0.000
ID:52 (42,3,54)
Graph |V|:89
Solution size:1409
Filtered solution size:656
Parallel solution length:128
Parallelism:5.125
Step parallelism:20 14 10 10 6 8 10 6 5 4 3 3 4 4 4 5 5 2 4 3 4 6 10 9 10 5 7 7 3 8 8 7 8 6 10 7 4 3 6 5 3 3 6 7 4 5 8 7 10 8 8 6 5 5 2 2 3 2 6 6 9 2 1 5 5 5 7 5 7 3 4 7 8 7 5 4 4 2 2 4 7 8 6 4 4 4 5 5 6 5 5 5 2 7 3 5 7 5 5 3 4 4 4 6 6 5 4 4 2 1 6 4 2 4 2 3 4 2 2 2 2 2 2 4 3 3 2 1 
Solving time:0.060
Filtering time:0.000
ID:53 (42,3,55)
Graph |V|:89
Solution size:1407
Filtered solution size:644
Parallel solution length:125
Parallelism:5.152
Step parallelism:19 13 10 10 6 8 10 7 6 4 3 3 4 4 4 5 5 2 2 4 10 11 11 9 8 8 10 8 4 5 7 4 4 7 5 3 3 6 7 5 7 4 8 9 7 8 5 5 5 3 2 3 2 6 7 11 3 1 5 5 5 7 5 7 3 4 6 7 7 4 3 2 2 2 5 4 6 7 6 4 3 6 6 6 6 9 7 6 6 6 5 5 6 6 4 5 2 4 5 3 2 1 1 1 1 4 6 7 5 3 6 4 3 2 4 4 3 3 1 1 2 2 2 2 2 
Solving time:0.050
Filtering time:0.010
ID:54 (42,3,56)
Graph |V|:89
Solution size:1388
Filtered solution size:641
Parallel solution length:122
Parallelism:5.254
Step parallelism:18 13 9 8 5 6 9 5 7 3 3 3 4 4 4 5 6 2 2 4 6 8 10 8 5 6 5 4 6 6 7 9 6 7 8 7 4 7 9 7 9 5 4 8 7 7 7 7 6 6 5 7 7 9 7 6 5 2 4 4 2 3 6 3 4 4 6 6 2 6 3 4 3 6 4 4 6 5 4 3 4 7 8 5 6 5 3 2 4 2 4 6 6 6 6 8 7 5 7 5 6 6 5 3 6 6 4 3 2 1 1 1 3 3 3 3 5 3 3 3 2 2 
Solving time:0.060
Filtering time:0.000
ID:55 (42,3,57)
Graph |V|:89
Solution size:1390
Filtered solution size:606
Parallel solution length:128
Parallelism:4.734
Step parallelism:18 13 9 8 5 6 9 5 7 3 3 3 4 4 4 5 6 2 2 4 6 8 10 8 5 6 5 4 6 6 7 9 6 7 8 6 4 7 9 8 10 7 6 8 8 6 5 7 3 4 5 6 8 9 5 4 7 5 3 5 5 3 4 4 6 6 2 6 4 6 6 5 2 5 6 4 3 2 5 7 6 3 4 5 2 5 5 4 5 6 6 8 6 3 7 5 5 3 1 1 3 3 2 3 1 2 2 3 2 1 2 2 2 2 2 2 2 1 1 1 1 1 1 1 2 2 1 1 
Solving time:0.060
Filtering time:0.000
ID:56 (42,3,58)
Graph |V|:89
Solution size:1259
Filtered solution size:565
Parallel solution length:123
Parallelism:4.593
Step parallelism:17 12 7 6 4 5 8 5 7 3 3 3 4 4 4 4 5 3 2 4 7 6 7 9 9 8 6 9 5 2 7 6 4 3 2 2 2 2 5 4 4 3 5 4 3 3 5 6 3 5 8 8 6 5 7 6 6 2 2 5 4 5 3 4 3 4 1 2 6 6 8 3 5 6 9 7 5 6 5 3 6 6 2 3 3 8 4 3 1 1 5 7 7 5 5 3 4 4 3 2 5 7 4 3 3 2 4 4 4 4 3 4 3 3 1 3 4 2 4 3 3 3 1 
Solving time:0.060
Filtering time:0.000
ID:57 (42,3,59)
Graph |V|:89
Solution size:1259
Filtered solution size:554
Parallel solution length:121
Parallelism:4.579
Step parallelism:16 11 7 6 4 5 8 5 7 3 3 3 4 4 4 4 5 3 2 4 7 6 7 9 8 7 6 9 5 2 7 5 4 3 2 2 2 2 5 5 4 3 5 4 3 3 5 6 3 5 8 6 8 5 4 6 6 5 4 5 3 4 3 4 1 2 6 6 8 3 5 6 9 7 5 6 5 3 6 6 2 3 3 8 4 3 1 1 5 7 7 5 5 3 4 4 3 2 5 7 4 3 3 2 4 4 4 4 3 4 3 3 1 3 4 2 4 3 3 3 1 
Solving time:0.050
Filtering time:0.010
ID:58 (42,3,60)
Graph |V|:89
Solution size:1327
Filtered solution size:566
Parallel solution length:134
Parallelism:4.224
Step parallelism:15 11 7 6 4 5 8 5 7 3 3 3 4 4 4 4 5 3 2 4 7 6 6 8 8 8 7 9 4 2 6 6 6 2 2 2 2 2 5 5 4 3 5 6 3 5 5 4 3 6 5 6 4 4 6 6 5 5 5 5 4 3 8 7 4 5 6 7 6 5 8 2 3 6 5 5 6 9 4 5 3 3 3 4 5 9 7 7 4 2 5 3 4 4 5 3 2 2 2 5 3 4 4 4 1 3 5 2 3 3 3 3 2 2 1 1 2 2 2 2 2 2 1 1 1 2 2 2 1 1 1 1 1 1 
Solving time:0.060
Filtering time:0.000
ID:59 (42,3,61)
Graph |V|:89
Solution size:1310
Filtered solution size:555
Parallel solution length:134
Parallelism:4.142
Step parallelism:15 12 9 7 4 5 6 5 5 4 4 3 4 4 4 4 5 3 2 4 5 5 7 7 6 7 9 4 3 6 6 6 2 2 2 2 2 5 5 3 3 5 6 3 5 5 5 4 6 5 6 5 5 6 6 4 2 2 2 2 1 3 3 3 6 6 4 7 5 5 5 5 7 9 4 4 4 4 3 5 6 4 4 2 4 6 6 5 4 3 2 7 6 6 6 4 2 6 6 4 4 5 4 4 2 1 1 3 2 3 3 3 4 3 2 2 2 3 4 3 1 1 1 1 3 3 2 2 1 1 2 1 1 1 
Solving time:0.050
Filtering time:0.010
ID:60 (42,3,62)
Graph |V|:89
Solution size:1258
Filtered solution size:476
Parallel solution length:113
Parallelism:4.212
Step parallelism:14 11 8 8 5 5 5 5 5 4 3 3 4 4 4 4 5 3 2 4 8 7 6 6 6 8 6 8 2 4 2 1 4 4 3 3 5 8 3 5 5 4 3 7 6 6 4 4 7 6 4 5 5 4 5 8 7 7 7 5 7 8 5 5 3 1 2 2 1 2 2 2 4 4 3 3 1 1 2 3 3 5 3 5 6 5 6 6 4 5 6 3 3 3 3 3 3 3 2 2 4 2 2 3 2 2 1 1 1 1 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:61 (42,3,63)
Graph |V|:89
Solution size:1258
Filtered solution size:470
Parallel solution length:113
Parallelism:4.159
Step parallelism:14 11 8 8 5 5 5 5 5 4 3 3 4 4 4 4 5 3 2 4 8 7 6 6 6 8 6 8 2 4 2 1 4 4 3 3 5 8 3 5 5 4 3 7 6 6 4 4 7 6 4 5 4 4 5 8 7 7 7 5 6 7 4 4 2 1 2 2 1 2 2 2 4 4 3 3 1 1 2 3 3 5 3 5 6 5 6 6 4 5 6 3 3 3 3 3 3 3 2 2 4 2 2 3 2 2 1 1 1 1 1 1 1 
Solving time:0.050
Filtering time:0.010
ID:62 (42,3,64)
Graph |V|:89
Solution size:1212
Filtered solution size:437
Parallel solution length:105
Parallelism:4.162
Step parallelism:15 11 8 8 5 5 5 5 5 4 3 3 4 4 4 4 5 3 2 4 8 7 6 6 6 8 6 8 2 4 2 1 3 3 3 3 6 5 6 7 6 3 7 6 5 4 4 7 6 4 5 4 5 5 6 5 4 3 4 5 3 4 2 1 2 1 2 2 4 5 5 6 4 1 3 3 3 4 4 4 5 5 5 5 5 4 4 3 3 2 1 2 2 3 3 1 1 2 1 1 3 2 3 2 1 
Solving time:0.060
Filtering time:0.000
ID:63 (42,3,65)
Graph |V|:89
Solution size:1212
Filtered solution size:431
Parallel solution length:105
Parallelism:4.105
Step parallelism:15 11 8 8 5 5 5 5 5 5 3 2 3 2 2 3 5 3 2 4 8 7 6 6 6 8 6 8 2 4 2 1 3 3 3 3 6 5 6 7 6 3 7 6 5 4 4 7 6 4 5 4 5 5 6 5 4 3 4 5 3 4 2 1 2 1 2 2 4 5 5 6 4 1 3 3 3 4 4 4 5 5 5 5 5 4 4 3 3 2 1 2 2 3 3 1 1 2 1 1 3 2 3 2 1 
Solving time:0.050
Filtering time:0.000
ID:64 (42,3,66)
Graph |V|:89
Solution size:1253
Filtered solution size:420
Parallel solution length:99
Parallelism:4.242
Step parallelism:14 11 7 7 4 5 5 5 5 5 3 2 3 2 2 3 5 3 2 4 8 7 6 6 6 7 6 8 2 4 2 1 2 5 4 4 3 6 5 5 5 4 5 5 5 7 6 6 6 3 6 3 2 1 5 3 4 5 5 7 5 5 4 4 3 5 4 2 1 4 3 6 6 5 5 5 4 4 4 4 5 4 3 6 4 4 5 5 3 2 1 1 1 1 1 1 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:65 (42,3,67)
Graph |V|:89
Solution size:1168
Filtered solution size:374
Parallel solution length:89
Parallelism:4.202
Step parallelism:16 10 6 4 4 4 8 6 6 5 3 2 3 1 1 3 4 3 7 8 8 7 5 6 5 6 1 3 2 1 2 5 4 3 3 6 5 5 4 4 6 6 7 4 5 4 4 4 3 5 4 5 4 4 6 6 7 9 4 4 3 3 4 5 4 3 6 5 6 5 2 2 2 6 5 3 1 1 1 1 1 1 2 2 2 2 2 3 1 
Solving time:0.050
Filtering time:0.000
ID:66 (42,3,68)
Graph |V|:89
Solution size:1168
Filtered solution size:369
Parallel solution length:89
Parallelism:4.146
Step parallelism:16 10 6 4 4 4 8 6 6 4 1 1 2 1 1 3 4 3 7 8 8 7 5 6 5 6 1 3 2 1 2 5 4 3 3 6 5 5 4 4 6 6 7 4 5 4 4 4 3 5 4 5 4 4 6 6 7 9 4 4 3 3 4 5 4 3 6 5 6 5 2 2 2 6 5 3 1 1 1 1 1 1 2 2 2 2 2 3 1 
Solving time:0.050
Filtering time:0.000
ID:67 (42,3,69)
Graph |V|:89
Solution size:1284
Filtered solution size:392
Parallel solution length:101
Parallelism:3.881
Step parallelism:15 8 6 5 4 4 5 5 7 4 2 1 2 1 1 3 4 3 7 7 7 7 9 7 6 3 1 6 5 3 3 5 4 4 3 3 4 5 5 3 6 6 8 7 7 6 4 3 3 6 3 5 3 5 6 5 4 3 1 1 3 3 3 3 5 4 4 2 3 7 7 6 3 2 3 4 2 2 3 3 2 2 2 4 3 3 2 2 3 2 2 3 2 2 1 1 1 1 1 1 1 
Solving time:0.050
Filtering time:0.010
ID:68 (42,3,70)
Graph |V|:89
Solution size:1284
Filtered solution size:386
Parallel solution length:100
Parallelism:3.860
Step parallelism:14 8 6 5 4 4 5 5 7 4 2 1 2 1 1 3 4 3 7 7 7 7 9 7 6 3 1 6 5 3 3 5 4 4 3 3 4 5 5 3 6 6 8 7 7 6 5 4 2 3 5 3 5 6 5 4 3 1 1 3 3 3 3 5 4 4 2 3 7 7 6 3 2 3 4 2 2 3 3 2 2 2 4 3 3 2 2 3 2 2 3 2 2 1 1 1 1 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:69 (42,3,71)
Graph |V|:89
Solution size:1284
Filtered solution size:380
Parallel solution length:100
Parallelism:3.800
Step parallelism:13 7 5 5 4 4 4 4 6 4 2 1 2 1 1 3 4 3 7 7 7 7 9 7 6 3 1 6 5 3 3 5 4 4 3 3 4 5 5 3 6 6 8 7 7 6 5 4 2 3 5 3 5 6 5 4 3 1 1 3 3 3 3 5 4 4 2 3 7 7 6 3 2 3 4 2 2 3 3 2 2 2 4 3 3 2 2 3 2 2 3 2 2 1 1 1 1 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:70 (42,3,72)
Graph |V|:89
Solution size:1222
Filtered solution size:361
Parallel solution length:106
Parallelism:3.406
Step parallelism:13 7 5 7 3 4 4 2 3 1 2 1 1 3 4 3 5 4 7 3 3 4 6 4 3 4 3 3 1 3 2 1 2 4 3 3 3 6 4 4 3 3 4 6 6 4 4 3 1 4 5 5 8 4 2 4 5 4 7 5 4 2 4 4 5 3 2 2 2 3 2 2 1 1 4 5 5 6 4 4 3 4 4 5 4 4 4 2 1 3 2 3 3 2 1 1 1 2 2 2 1 1 1 1 2 2 
Solving time:0.050
Filtering time:0.000
ID:71 (42,3,73)
Graph |V|:89
Solution size:1222
Filtered solution size:354
Parallel solution length:104
Parallelism:3.404
Step parallelism:12 6 5 7 3 4 4 2 3 1 2 1 1 3 4 3 5 4 7 3 4 5 7 3 3 3 3 2 1 1 2 4 3 3 3 6 4 4 3 3 4 6 6 4 4 3 1 4 5 5 8 4 2 4 5 4 7 5 4 2 4 4 5 3 2 2 2 3 2 2 1 1 4 5 5 6 4 4 3 4 4 5 4 4 4 2 1 3 2 3 3 2 1 1 1 2 2 2 1 1 1 1 2 2 
Solving time:0.060
Filtering time:0.000
ID:72 (42,3,74)
Graph |V|:89
Solution size:1268
Filtered solution size:320
Parallel solution length:89
Parallelism:3.596
Step parallelism:10 6 5 6 3 3 4 3 2 3 1 2 1 1 3 4 3 4 5 7 3 4 5 7 7 3 3 3 2 4 4 4 3 3 4 6 6 4 4 3 2 4 5 6 8 4 3 4 4 4 2 2 3 4 4 5 4 6 5 4 4 4 6 4 4 5 5 3 3 3 2 2 2 2 4 2 2 1 1 1 2 2 2 2 3 2 2 2 2 
Solving time:0.050
Filtering time:0.000
ID:73 (42,3,75)
Graph |V|:89
Solution size:1207
Filtered solution size:304
Parallel solution length:96
Parallelism:3.167
Step parallelism:9 6 5 6 3 3 4 3 2 3 1 2 1 1 3 4 3 4 5 7 3 4 5 7 7 3 3 4 2 4 5 5 5 5 6 4 4 4 4 4 3 3 4 5 4 5 5 3 4 3 3 2 2 4 4 4 3 4 4 4 2 2 2 2 1 4 3 3 3 4 4 3 3 2 1 1 1 2 1 1 2 1 2 3 2 2 2 1 1 1 1 1 1 1 1 1 
Solving time:0.050
Filtering time:0.000
ID:74 (42,3,76)
Graph |V|:89
Solution size:1216
Filtered solution size:277
Parallel solution length:92
Parallelism:3.011
Step parallelism:9 5 4 6 3 4 3 2 3 1 2 1 1 3 4 3 4 5 8 3 4 4 6 5 2 3 4 2 5 7 6 5 5 4 4 2 2 3 2 1 1 4 3 4 5 4 4 3 3 5 5 4 4 2 2 3 3 3 3 4 3 4 4 3 3 3 2 2 2 1 2 2 2 3 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 
Solving time:0.050
Filtering time:0.000
ID:75 (42,3,77)
Graph |V|:89
Solution size:1216
Filtered solution size:270
Parallel solution length:85
Parallelism:3.176
Step parallelism:9 6 5 6 6 6 3 4 5 6 6 3 4 4 6 6 2 3 4 2 3 7 5 5 5 5 4 3 2 2 3 2 1 1 4 3 4 5 4 4 3 3 5 5 4 4 2 2 3 3 3 3 4 3 4 4 3 3 3 2 2 2 1 2 2 2 3 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 
Solving time:0.050
Filtering time:0.000
ID:76 (42,3,78)
Graph |V|:89
Solution size:1121
Filtered solution size:225
Parallel solution length:66
Parallelism:3.409
Step parallelism:9 6 5 5 5 5 3 4 6 3 5 2 3 3 5 5 2 5 6 4 5 4 3 4 3 4 6 4 4 5 5 4 4 3 4 4 5 3 3 2 4 4 4 3 2 3 3 3 2 3 3 3 2 1 1 1 1 1 2 1 1 1 1 1 2 2 
Solving time:0.040
Filtering time:0.000
ID:77 (42,3,79)
Graph |V|:89
Solution size:1121
Filtered solution size:216
Parallel solution length:66
Parallelism:3.273
Step parallelism:8 5 4 4 5 5 3 4 6 3 5 2 3 3 4 4 2 5 6 4 4 3 2 4 3 4 6 4 4 5 5 4 4 3 4 4 5 3 3 2 4 4 4 3 2 3 3 3 2 3 3 3 2 1 1 1 1 1 2 1 1 1 1 1 2 2 
Solving time:0.050
Filtering time:0.000
ID:78 (42,3,80)
Graph |V|:89
Solution size:1081
Filtered solution size:188
Parallel solution length:55
Parallelism:3.418
Step parallelism:9 5 4 4 5 5 3 4 5 2 4 2 3 3 4 4 2 5 5 4 4 4 3 3 4 3 3 4 3 2 4 5 6 5 5 5 4 3 3 2 3 2 2 3 2 2 2 2 3 2 1 2 2 2 1 
Solving time:0.050
Filtering time:0.000
ID:79 (42,3,81)
Graph |V|:89
Solution size:1051
Filtered solution size:147
Parallel solution length:46
Parallelism:3.196
Step parallelism:7 5 4 4 3 3 2 2 3 4 3 4 4 5 5 3 3 3 2 2 2 3 3 3 3 3 3 3 3 3 3 3 4 3 5 4 5 2 1 1 2 3 4 3 2 2 
Solving time:0.040
Filtering time:0.000
ID:80 (42,3,82)
Graph |V|:89
Solution size:1051
Filtered solution size:139
Parallel solution length:46
Parallelism:3.022
Step parallelism:6 5 4 4 3 4 2 2 2 4 4 4 3 2 2 3 3 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 4 3 5 4 5 2 1 1 2 3 4 3 2 2 
Solving time:0.050
Filtering time:0.000
ID:81 (42,3,83)
Graph |V|:89
Solution size:1051
Filtered solution size:135
Parallel solution length:46
Parallelism:2.935
Step parallelism:5 5 4 3 2 3 2 2 2 4 4 4 3 2 2 3 3 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 4 3 5 4 5 2 1 1 2 3 4 3 2 2 
Solving time:0.050
Filtering time:0.000
ID:82 (42,3,84)
Graph |V|:89
Solution size:1049
Filtered solution size:102
Parallel solution length:45
Parallelism:2.267
Step parallelism:4 4 2 2 2 3 2 2 2 3 3 3 3 3 3 2 1 1 1 1 1 1 2 2 2 3 3 3 3 3 2 2 2 2 2 2 2 2 3 3 2 3 2 2 1 
Solving time:0.040
Filtering time:0.000
ID:83 (42,3,85)
Graph |V|:89
Solution size:1027
Filtered solution size:85
Parallel solution length:43
Parallelism:1.977
Step parallelism:3 3 2 2 2 3 2 2 2 3 3 3 3 3 3 2 1 1 1 1 1 1 2 2 2 3 3 3 3 3 2 1 1 1 2 1 1 2 2 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:84 (42,3,86)
Graph |V|:89
Solution size:997
Filtered solution size:76
Parallel solution length:47
Parallelism:1.617
Step parallelism:2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 2 2 2 3 3 2 2 2 1 1 1 1 2 2 2 2 1 1 1 1 2 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:85 (42,3,87)
Graph |V|:89
Solution size:917
Filtered solution size:21
Parallel solution length:16
Parallelism:1.312
Step parallelism:1 2 2 1 1 1 1 1 1 2 2 2 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:86 (42,3,88)
Graph |V|:89
Solution size:864
Filtered solution size:5
Parallel solution length:5
Parallelism:1.000
Step parallelism:1 1 1 1 1 
Solving time:0.040
Filtering time:0.000
ID:87 (42,3,89)
Graph |V|:89
ID:88 (42,3,90)
Graph |V|:89
ID:89 (42,3,91)
Graph |V|:89
ID:90 (42,3,92)
Graph |V|:89
ID:91 (42,3,93)
Graph |V|:89
ID:92 (42,3,94)
Graph |V|:89
ID:93 (42,3,95)
Graph |V|:89
ID:94 (42,3,96)
Graph |V|:89
ID:95 (42,3,97)
Graph |V|:89
ID:96 (42,3,98)
Graph |V|:89
ID:97 (42,3,99)
Graph |V|:89
ID:98 (42,3,100)
Graph |V|:89