ID:0 (42,3,2)
Graph |V|:89
Solution size:2269
Filtered solution size:2000
Parallel solution length:294
Parallelism:6.803
Step parallelism:9 9 7 6 5 5 13 4 13 9 5 7 7 12 8 7 6 8 7 8 5 5 4 7 5 10 5 5 6 7 5 11 7 7 4 4 5 7 8 14 7 9 7 6 6 4 7 6 6 7 4 10 7 6 8 12 6 6 6 8 7 6 8 9 12 5 5 8 5 6 12 17 13 3 4 1 9 6 5 11 4 1 9 5 6 5 6 9 9 12 8 8 8 11 10 9 12 7 10 8 6 6 8 6 6 6 8 7 8 8 9 6 7 6 7 6 9 5 8 6 8 7 5 6 12 5 4 6 7 12 4 5 7 6 10 8 7 3 6 10 4 9 3 6 10 14 8 4 4 9 11 6 12 7 9 6 5 8 5 6 5 3 6 8 7 6 8 9 12 4 9 6 10 7 7 6 11 5 5 4 4 6 5 5 6 6 4 5 6 8 7 9 5 4 8 4 10 8 4 4 7 3 3 6 12 8 9 4 6 9 5 6 10 6 11 3 11 5 7 3 10 6 7 3 8 7 5 6 8 7 4 4 5 8 6 12 6 4 8 8 8 8 6 8 7 9 5 5 9 6 6 8 10 4 4 6 9 9 4 6 7 7 6 7 9 3 8 4 6 6 5 5 4 4 5 5 4 8 7 6 6 4 5 9 6 4 5 7 5 4 5 4 4 2 
Solving time:0.090
Filtering time:9.920
ID:1 (42,3,3)
Graph |V|:89
Solution size:2189
Filtered solution size:1947
Parallel solution length:284
Parallelism:6.856
Step parallelism:8 10 7 6 5 5 13 4 13 9 5 7 7 12 8 7 6 8 7 8 5 5 4 7 5 10 5 5 6 7 5 11 7 7 4 4 5 7 8 14 7 9 10 6 6 4 7 6 6 7 6 10 12 8 2 8 5 9 13 9 6 16 9 5 8 5 6 12 17 13 3 4 1 9 6 5 11 4 1 9 5 6 7 3 5 9 5 6 10 10 6 9 9 12 7 10 8 6 6 8 6 6 6 8 7 8 11 13 4 6 11 10 5 6 5 8 10 7 8 6 8 11 9 4 6 10 6 7 4 11 5 9 5 9 6 7 7 6 7 5 5 4 6 5 3 5 6 7 4 6 5 12 9 9 7 7 12 8 9 12 4 9 6 10 7 7 6 10 4 6 6 5 10 4 7 9 11 9 6 5 7 5 6 6 5 4 4 7 10 6 6 7 8 6 6 6 12 4 8 5 5 3 11 5 7 3 11 8 3 4 3 9 3 7 5 5 7 5 5 7 7 7 5 9 6 7 4 3 8 7 11 9 7 7 8 6 6 7 7 5 8 6 3 7 10 6 6 7 8 5 9 7 5 3 7 6 5 7 6 5 7 5 3 6 6 6 5 4 6 5 5 7 5 4 8 5 9 6 4 8 6 6 6 1 
Solving time:0.090
Filtering time:9.320
ID:2 (42,3,4)
Graph |V|:89
Solution size:2254
Filtered solution size:2005
Parallel solution length:296
Parallelism:6.774
Step parallelism:15 15 7 6 6 5 6 13 10 6 7 7 12 8 7 6 8 7 8 5 5 4 7 5 10 5 5 6 7 5 10 6 5 9 7 14 9 6 8 10 6 3 6 9 7 6 7 6 7 12 11 8 5 7 6 5 6 5 15 9 5 8 5 6 12 17 13 3 4 6 12 7 4 8 14 9 8 8 9 15 10 12 5 3 5 13 7 10 4 8 6 11 6 7 6 8 11 11 4 6 12 11 5 6 8 6 3 4 7 4 5 3 12 9 4 6 7 7 5 4 7 6 5 4 8 8 8 5 7 9 13 11 5 5 4 6 7 6 14 6 11 6 8 6 6 10 8 4 5 8 8 8 8 5 12 8 4 12 10 3 4 7 9 3 5 4 6 6 6 3 11 7 7 6 7 6 9 4 6 4 6 8 4 11 6 7 7 8 6 6 14 4 4 7 5 6 5 9 4 6 7 8 5 1 3 5 3 4 6 6 5 4 7 8 7 10 6 5 1 7 7 5 4 5 5 4 5 8 8 6 6 6 8 7 9 5 4 8 5 6 5 14 6 10 6 6 11 4 4 6 8 8 9 9 4 4 4 7 4 6 5 5 3 6 3 6 3 6 6 5 5 5 5 9 5 7 5 5 6 5 4 6 5 6 4 5 5 7 4 8 6 4 6 4 6 2 
Solving time:0.090
Filtering time:10.010
ID:3 (42,3,5)
Graph |V|:89
Solution size:2140
Filtered solution size:1889
Parallel solution length:274
Parallelism:6.894
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 6 5 9 7 14 9 6 8 10 6 3 6 9 7 6 7 6 7 12 11 8 5 9 9 5 8 22 5 8 5 6 12 14 13 6 6 8 6 4 7 16 9 5 9 16 10 8 5 3 5 13 7 7 4 8 7 6 6 8 7 7 8 8 7 6 7 6 7 10 2 9 8 18 10 6 6 11 10 6 6 9 7 7 8 4 6 6 1 7 8 3 15 8 4 6 5 4 4 8 8 9 6 8 5 6 11 11 5 6 7 8 6 9 11 7 10 4 6 10 10 9 5 7 6 5 11 4 7 9 11 6 7 6 7 5 8 4 8 6 7 4 7 8 7 7 9 5 7 4 11 6 7 7 4 6 10 4 7 5 7 3 6 4 8 6 3 6 5 5 3 7 5 7 5 4 3 8 5 4 5 7 3 7 6 4 5 4 5 6 5 4 8 7 8 8 9 4 9 7 9 10 4 11 9 4 3 7 9 7 4 7 8 3 6 4 6 8 6 6 5 7 3 7 5 5 4 8 7 5 5 4 4 6 5 5 6 4 6 4 8 5 3 5 3 6 3 
Solving time:0.090
Filtering time:7.880
ID:4 (42,3,6)
Graph |V|:89
Solution size:2030
Filtered solution size:1772
Parallel solution length:254
Parallelism:6.976
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 6 5 9 7 14 9 7 10 10 6 3 6 9 7 6 7 6 7 12 11 8 5 9 9 7 14 13 8 5 6 12 14 13 6 6 8 6 4 7 16 9 10 11 9 17 10 3 5 9 7 4 4 8 6 6 6 7 7 8 8 8 6 7 6 7 10 2 9 8 18 10 11 12 9 9 7 9 4 9 8 4 4 3 2 9 10 15 10 4 6 5 4 4 8 9 4 6 9 5 6 5 7 8 5 8 9 12 4 8 9 2 4 8 4 4 14 5 5 5 7 8 6 8 4 5 9 7 6 5 5 5 7 5 2 8 7 4 4 3 6 6 3 5 6 8 9 5 9 7 6 8 6 8 4 5 3 12 6 7 2 5 10 6 9 10 5 8 3 7 6 4 5 4 5 3 6 3 8 7 11 9 7 11 9 7 9 10 4 11 7 5 9 9 4 5 8 7 6 5 7 6 5 7 5 5 4 5 7 5 4 8 7 3 7 5 5 4 4 6 8 4 6 5 4 4 1 
Solving time:0.080
Filtering time:7.060
ID:5 (42,3,7)
Graph |V|:89
Solution size:2131
Filtered solution size:1862
Parallel solution length:267
Parallelism:6.974
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 6 5 9 7 14 9 7 10 10 6 3 6 9 7 6 7 6 7 12 11 8 5 9 9 7 9 13 8 5 6 12 14 14 6 6 8 6 4 7 16 9 6 9 13 10 8 10 3 5 9 7 7 4 8 12 7 6 8 8 10 5 8 9 9 11 5 10 5 10 3 9 11 11 5 7 7 9 6 7 5 6 9 3 6 15 9 6 6 6 6 6 4 6 8 5 9 7 10 10 9 10 10 6 7 12 7 7 1 5 4 11 4 4 11 10 4 4 7 11 5 6 5 8 4 6 6 5 7 6 4 7 6 6 5 7 3 7 4 9 8 6 5 12 11 6 11 5 8 4 6 11 3 5 7 3 10 6 7 3 9 5 5 5 5 5 3 9 7 5 7 7 4 5 5 7 6 4 4 5 7 5 11 6 7 6 7 10 8 6 8 7 7 8 6 6 9 5 8 7 10 8 6 6 7 5 4 7 4 6 9 3 7 6 3 9 7 5 4 4 5 5 4 5 6 4 8 6 4 5 5 7 5 6 4 3 6 6 5 1 
Solving time:0.090
Filtering time:7.650
ID:6 (42,3,8)
Graph |V|:89
Solution size:2053
Filtered solution size:1751
Parallel solution length:255
Parallelism:6.867
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 6 5 8 7 14 9 7 10 10 6 3 6 9 7 6 7 6 7 12 11 8 5 7 6 5 7 8 13 7 8 5 6 12 13 11 6 6 8 6 4 7 13 10 6 10 10 10 7 6 9 5 9 3 8 4 7 4 6 6 8 6 6 16 11 6 7 16 11 12 12 8 9 3 9 8 7 5 7 5 9 6 7 6 6 4 4 7 8 5 5 14 3 4 6 9 5 4 6 7 8 9 8 8 9 11 5 5 5 10 1 5 7 9 10 8 11 6 9 10 5 5 5 6 4 9 7 7 6 9 4 4 8 4 3 4 4 4 5 5 8 9 9 10 9 5 6 8 5 10 10 8 4 5 9 8 8 8 7 2 3 10 5 4 7 6 1 8 6 8 3 5 7 4 4 10 7 9 3 7 6 4 8 4 9 9 4 6 7 9 6 6 9 6 4 6 5 5 6 5 6 6 6 3 7 5 7 7 5 9 6 6 4 5 7 8 6 6 4 3 6 4 3 5 3 5 3 2 
Solving time:0.080
Filtering time:6.600
ID:7 (42,3,9)
Graph |V|:89
Solution size:2045
Filtered solution size:1782
Parallel solution length:257
Parallelism:6.934
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 5 7 3 6 9 7 6 5 4 7 12 8 10 5 7 6 11 6 13 10 5 6 12 13 9 8 6 8 6 4 7 16 9 6 10 14 10 4 3 10 6 3 9 10 9 13 6 4 6 8 6 5 8 10 10 6 7 14 11 15 17 16 10 11 11 7 7 6 4 6 10 5 7 8 11 6 5 10 6 5 4 6 7 11 5 8 7 9 10 7 4 6 6 9 3 9 10 9 9 9 4 12 13 9 8 7 4 5 5 8 6 2 8 7 4 5 9 10 5 7 5 1 3 6 2 5 5 6 3 2 5 8 7 6 7 7 5 9 12 8 9 10 6 2 4 9 10 5 8 8 11 6 5 4 7 7 7 5 7 7 4 4 6 3 3 4 8 9 11 7 4 7 8 1 6 8 6 8 6 5 7 7 7 7 8 3 7 5 5 5 6 5 4 6 7 4 5 7 6 7 2 6 6 6 5 5 3 5 5 5 4 4 6 4 6 4 4 4 2 4 1 
Solving time:0.080
Filtering time:7.010
ID:8 (42,3,10)
Graph |V|:89
Solution size:1978
Filtered solution size:1639
Parallel solution length:232
Parallelism:7.065
Step parallelism:26 13 11 10 7 5 6 5 8 7 5 9 7 6 9 12 10 6 7 5 11 9 11 8 7 6 6 17 9 9 8 3 6 3 7 3 6 9 7 6 5 4 7 12 8 10 7 6 6 5 6 6 14 7 5 9 4 6 10 14 7 6 10 7 9 1 9 6 9 15 14 10 4 9 7 4 9 8 3 3 10 17 12 7 9 13 12 7 5 7 11 11 15 12 8 15 15 3 7 5 7 5 8 8 7 10 7 4 1 6 3 4 6 7 9 6 9 14 8 15 5 6 3 7 6 5 6 6 5 4 12 5 6 5 5 10 7 6 10 4 8 4 3 4 8 10 6 3 7 3 3 6 5 5 5 11 8 7 1 4 5 6 5 7 1 5 10 5 4 12 6 7 3 8 9 9 5 14 8 5 3 2 8 4 5 5 7 4 12 6 5 4 8 13 3 5 5 8 4 4 8 7 11 7 8 10 4 4 7 3 6 7 8 7 4 7 8 4 3 4 6 4 5 8 7 5 6 4 6 3 3 1 
Solving time:0.080
Filtering time:7.630
ID:9 (42,3,11)
Graph |V|:89
Solution size:1835
Filtered solution size:1520
Parallel solution length:216
Parallelism:7.037
Step parallelism:27 13 12 10 11 5 6 5 8 6 9 8 6 9 12 10 6 7 5 11 9 11 8 7 6 6 17 9 9 8 3 6 3 7 3 3 7 6 6 5 4 7 12 8 10 7 6 6 5 6 6 14 7 5 9 4 5 11 16 7 6 10 7 9 1 9 6 9 12 16 5 4 9 7 3 14 9 5 3 10 9 5 7 10 17 7 5 7 9 12 17 14 12 8 12 9 7 8 11 7 7 4 4 7 2 5 7 10 6 8 8 10 8 6 9 5 6 2 7 6 6 5 4 11 10 6 7 12 5 4 4 10 4 6 6 6 5 10 10 4 3 1 2 7 4 5 5 9 4 14 11 11 9 8 11 11 11 7 3 8 4 3 7 5 5 5 10 5 5 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 9 4 3 3 4 3 5 4 7 5 4 5 4 4 3 3 1 1 
Solving time:0.080
Filtering time:4.460
ID:10 (42,3,12)
Graph |V|:89
Solution size:1884
Filtered solution size:1546
Parallel solution length:214
Parallelism:7.224
Step parallelism:26 13 13 7 9 5 6 5 8 6 9 8 6 9 12 10 6 7 5 11 9 11 8 7 6 6 15 5 13 8 3 6 3 7 3 3 7 6 6 5 4 7 12 8 10 7 5 13 10 12 12 5 5 13 16 7 8 11 8 4 5 11 12 11 12 16 5 4 9 7 5 16 8 4 7 8 7 6 8 11 16 7 5 7 9 12 17 14 14 12 11 13 10 6 8 6 2 9 9 6 3 3 3 8 10 8 7 6 6 6 7 14 8 5 6 10 5 4 2 1 5 6 7 7 5 11 5 6 5 10 9 9 3 6 7 7 4 5 9 11 7 8 5 4 2 4 3 9 12 4 7 14 6 8 9 9 4 9 7 6 7 7 8 4 8 8 9 4 4 4 6 9 8 2 7 5 2 4 6 5 8 7 4 3 7 12 5 8 6 6 5 6 5 3 3 6 3 5 6 8 6 6 5 4 5 5 6 3 5 1 4 2 4 1 
Solving time:0.080
Filtering time:4.570
ID:11 (42,3,13)
Graph |V|:89
Solution size:1931
Filtered solution size:1584
Parallel solution length:225
Parallelism:7.040
Step parallelism:31 13 12 7 4 9 6 8 6 9 8 6 9 12 10 6 7 5 11 9 11 8 7 6 6 15 5 13 8 3 6 3 7 5 3 7 7 6 5 4 7 12 8 10 7 5 13 10 14 12 5 5 11 14 8 1 10 7 4 4 10 12 10 13 12 11 3 7 8 7 8 6 9 8 8 8 10 5 11 7 6 7 2 7 5 10 8 10 11 11 11 7 11 10 8 10 10 15 12 9 5 6 5 12 6 4 3 3 4 8 9 4 7 5 2 5 5 11 8 9 7 7 4 3 10 5 4 5 8 9 6 5 3 5 4 9 6 6 9 14 8 10 7 7 6 8 13 8 6 8 6 7 4 3 10 9 6 7 11 6 5 8 8 10 6 6 4 6 5 5 10 12 4 5 2 1 8 5 7 5 7 7 2 3 6 5 8 6 4 8 4 4 6 7 4 4 5 5 2 4 7 4 5 5 4 7 4 5 6 3 5 4 6 4 8 6 5 6 4 3 4 5 5 1 2 
Solving time:0.080
Filtering time:5.290
ID:12 (42,3,14)
Graph |V|:89
Solution size:1872
Filtered solution size:1481
Parallel solution length:220
Parallelism:6.732
Step parallelism:31 13 12 7 4 4 6 8 7 5 9 7 7 8 9 10 6 7 5 11 9 11 8 7 6 6 15 5 13 8 3 6 3 7 5 3 7 7 6 5 4 7 12 8 10 7 5 13 10 14 12 5 5 11 14 8 1 9 7 4 4 10 12 11 12 11 10 3 7 8 7 8 6 9 8 7 8 10 5 11 7 6 7 2 7 3 6 10 14 11 6 8 6 7 8 10 9 5 4 6 12 10 14 7 5 6 5 5 5 4 8 10 4 5 5 8 7 7 11 6 5 8 7 10 6 5 5 4 10 8 7 6 3 11 4 6 4 4 2 7 3 4 11 11 8 3 6 1 4 13 11 4 3 3 5 10 6 5 8 10 8 6 2 3 3 3 4 6 5 8 13 8 7 10 3 4 5 6 7 5 2 9 4 5 4 4 9 8 8 2 5 6 3 5 4 7 3 3 6 2 4 6 5 3 4 5 6 3 3 3 4 2 6 4 4 4 5 3 4 2 
Solving time:0.080
Filtering time:4.320
ID:13 (42,3,15)
Graph |V|:89
Solution size:1879
Filtered solution size:1476
Parallel solution length:216
Parallelism:6.833
Step parallelism:30 12 12 7 4 4 6 8 7 5 9 7 7 8 9 10 6 7 5 11 9 11 8 7 7 6 15 5 13 8 3 6 3 7 5 3 7 7 6 5 4 7 11 8 10 7 5 15 10 9 10 5 5 11 14 8 1 9 7 4 4 10 12 12 12 11 10 4 7 9 7 7 4 9 8 3 6 10 5 12 8 7 7 1 7 6 5 4 9 8 11 13 8 9 10 5 4 6 10 5 10 7 5 7 5 8 6 5 8 3 6 10 7 6 8 11 9 9 6 6 10 6 6 6 5 2 7 8 10 7 6 8 7 6 4 7 6 5 4 5 10 6 4 5 4 2 8 5 4 4 5 5 8 10 10 7 4 2 5 6 12 12 10 10 6 6 7 9 8 10 12 11 4 8 7 7 4 8 6 4 3 8 10 6 3 5 5 3 4 3 7 3 2 5 4 4 3 4 4 4 3 4 3 5 4 4 5 5 4 3 4 4 4 5 5 2 
Solving time:0.080
Filtering time:4.500
ID:14 (42,3,16)
Graph |V|:89
Solution size:1879
Filtered solution size:1465
Parallel solution length:215
Parallelism:6.814
Step parallelism:30 12 12 7 4 4 6 8 7 5 9 7 7 8 9 10 6 7 5 11 9 11 8 7 7 6 15 5 13 8 3 6 3 7 5 4 7 6 4 4 2 7 9 11 9 5 15 10 10 10 5 5 11 14 8 1 9 7 4 4 10 12 12 12 11 10 4 7 9 7 7 4 9 8 3 6 10 5 12 8 7 7 1 7 6 5 4 9 8 11 13 8 9 10 5 4 6 10 5 10 7 5 7 5 8 6 5 8 3 6 10 7 6 8 11 9 9 6 6 10 6 6 6 5 2 7 8 10 7 6 8 7 6 4 7 6 5 4 5 10 6 4 5 4 2 8 5 4 4 5 5 8 10 10 7 4 2 5 6 12 12 10 10 6 6 7 9 8 10 12 11 4 8 7 7 4 8 6 4 3 8 10 6 3 5 5 3 4 3 7 3 2 5 4 4 3 4 4 4 3 4 3 5 4 4 5 5 4 3 4 4 4 5 5 2 
Solving time:0.080
Filtering time:4.420
ID:15 (42,3,17)
Graph |V|:89
Solution size:1824
Filtered solution size:1415
Parallel solution length:192
Parallelism:7.370
Step parallelism:31 12 12 9 4 4 6 8 7 5 9 7 7 8 9 10 6 7 5 11 9 11 8 7 7 6 15 5 13 7 5 6 4 5 7 8 7 2 7 9 11 9 5 15 10 10 10 5 5 11 14 8 1 9 7 4 4 10 12 12 11 10 16 6 8 10 7 7 4 9 8 3 7 10 5 13 8 6 7 1 7 5 5 5 7 6 14 9 5 7 12 12 6 8 10 6 8 12 9 4 4 9 9 7 7 8 10 6 10 9 6 6 5 9 6 10 12 6 6 9 4 5 4 6 5 9 5 7 5 5 8 9 6 9 7 11 10 10 6 5 9 9 7 6 10 6 10 10 5 5 8 8 6 4 4 4 7 7 4 6 4 7 6 6 4 5 9 4 7 6 9 11 12 6 5 3 6 6 4 6 7 3 6 3 6 4 6 5 5 4 2 3 
Solving time:0.080
Filtering time:3.970
ID:16 (42,3,18)
Graph |V|:89
Solution size:1933
Filtered solution size:1437
Parallel solution length:211
Parallelism:6.810
Step parallelism:32 12 12 9 4 4 6 8 7 5 9 7 7 8 9 10 6 7 5 11 9 11 8 7 7 6 15 5 13 7 5 6 4 5 7 8 7 2 7 9 11 9 5 13 10 10 10 5 5 10 10 8 9 7 4 4 10 12 10 11 12 16 6 4 11 8 6 6 12 4 6 7 5 6 4 6 6 13 11 6 8 6 9 6 6 5 7 7 16 9 5 7 9 10 6 8 10 6 9 11 8 4 3 5 7 7 5 9 5 5 7 10 5 9 13 9 5 7 7 5 5 11 9 7 6 7 5 7 5 7 7 5 5 4 9 10 7 5 5 5 8 10 5 3 8 2 8 11 5 3 5 5 5 8 2 5 5 6 5 4 5 5 7 6 6 5 6 6 5 10 12 8 8 6 5 4 5 4 9 4 4 8 2 2 5 4 5 5 3 5 4 5 2 5 4 5 3 5 2 2 4 4 4 3 3 4 4 5 2 2 3 
Solving time:0.080
Filtering time:4.370
ID:17 (42,3,19)
Graph |V|:89
Solution size:1907
Filtered solution size:1347
Parallel solution length:200
Parallelism:6.735
Step parallelism:31 11 12 9 4 4 6 8 7 5 9 7 7 8 10 10 6 7 5 11 9 11 8 6 9 6 12 7 10 8 5 6 4 5 7 7 7 3 7 6 8 8 10 10 15 13 5 16 12 11 7 5 4 10 7 11 17 16 7 4 11 9 8 8 6 7 5 5 5 7 6 7 7 8 6 4 12 7 4 8 12 9 7 9 9 8 10 7 2 3 7 6 6 8 9 8 7 6 10 5 7 6 8 10 12 9 6 8 5 5 9 8 4 10 13 6 9 6 5 5 6 4 6 3 5 3 4 10 10 11 8 3 4 4 4 4 2 6 2 6 3 8 7 7 7 4 3 5 4 6 6 8 4 7 4 6 4 4 3 7 10 5 8 6 1 1 6 6 9 6 6 3 4 4 3 2 3 8 5 3 5 7 4 6 3 5 6 2 4 4 4 4 4 3 4 3 5 5 1 2 
Solving time:0.070
Filtering time:5.590
ID:18 (42,3,20)
Graph |V|:89
Solution size:1907
Filtered solution size:1341
Parallel solution length:199
Parallelism:6.739
Step parallelism:32 11 13 9 4 4 6 8 7 5 9 7 7 8 10 10 6 7 5 11 9 11 8 6 9 7 11 4 10 8 7 7 7 7 5 4 2 7 6 8 8 10 10 15 13 5 16 12 11 7 5 4 10 7 11 17 16 7 4 11 9 8 8 6 7 5 5 5 7 6 7 7 8 6 4 12 7 4 8 12 9 7 9 9 8 10 7 2 3 7 6 6 8 9 8 7 6 10 5 7 6 8 10 12 9 6 8 5 5 9 8 4 10 13 6 9 6 5 5 6 4 6 3 5 3 4 10 10 11 8 3 4 4 4 4 2 6 2 6 3 8 7 7 7 4 3 5 4 6 6 8 4 7 4 6 4 4 3 7 10 5 8 6 1 1 6 6 9 6 6 3 4 4 3 2 3 8 5 3 5 7 4 6 3 5 6 2 4 4 4 4 4 3 4 3 5 5 1 2 
Solving time:0.070
Filtering time:5.890
ID:19 (42,3,21)
Graph |V|:89
Solution size:1883
Filtered solution size:1290
Parallel solution length:190
Parallelism:6.789
Step parallelism:32 11 13 9 4 4 6 8 7 5 9 7 7 8 10 10 6 7 5 11 9 11 8 6 9 7 11 4 10 8 7 7 7 7 5 4 2 7 6 8 8 10 10 15 13 5 16 12 10 7 5 4 10 7 11 17 16 7 4 10 9 8 10 6 7 5 5 5 7 6 7 7 8 6 4 10 7 4 8 12 9 7 9 9 8 11 7 2 3 7 6 6 8 9 8 8 6 11 7 6 6 5 6 9 9 6 7 11 8 6 10 13 6 7 6 5 7 5 6 10 3 1 3 5 6 8 6 8 9 6 2 2 4 6 4 10 5 5 6 5 7 6 8 5 4 6 9 8 2 4 4 3 6 5 6 5 2 3 4 6 4 7 6 4 5 5 3 5 4 1 1 6 5 6 4 4 5 5 3 3 6 4 4 4 6 4 4 4 5 1 
Solving time:0.070
Filtering time:4.840
ID:20 (42,3,22)
Graph |V|:89
Solution size:1826
Filtered solution size:1232
Parallel solution length:183
Parallelism:6.732
Step parallelism:33 11 12 8 4 4 6 8 7 5 9 7 8 8 11 10 6 6 5 11 10 10 8 6 9 5 8 5 10 8 5 6 7 5 3 6 6 13 7 7 1 2 10 7 9 13 5 7 16 7 4 4 7 15 11 11 14 6 8 6 7 7 6 5 3 8 7 7 4 6 6 6 10 9 7 3 10 14 13 11 7 11 8 9 3 2 6 3 2 9 9 12 11 5 8 17 5 8 6 4 2 4 6 5 6 6 7 9 6 8 8 10 3 5 6 4 5 8 8 1 6 5 3 6 6 2 3 5 7 5 6 6 4 8 7 6 5 6 13 7 5 8 7 12 7 7 3 2 4 4 6 2 4 4 3 11 6 10 9 10 5 3 4 4 7 4 3 5 6 3 3 6 4 6 5 4 5 7 3 3 3 1 1 
Solving time:0.080
Filtering time:3.080
ID:21 (42,3,23)
Graph |V|:89
Solution size:1761
Filtered solution size:1216
Parallel solution length:173
Parallelism:7.029
Step parallelism:34 13 9 7 8 4 6 8 6 9 8 8 8 9 11 6 6 5 11 10 10 8 6 9 5 9 10 13 8 7 5 3 6 6 10 7 7 1 2 10 9 10 17 11 2 8 7 4 4 7 11 6 10 15 16 15 4 9 8 9 7 8 7 4 9 7 5 7 2 6 11 11 7 9 8 9 9 4 6 11 7 3 3 6 3 4 3 4 5 7 10 8 11 5 10 9 4 7 8 13 13 15 7 4 5 7 3 7 5 13 7 6 2 5 4 6 8 10 7 8 3 6 6 8 7 6 9 11 12 6 7 9 11 7 10 8 10 8 8 4 3 2 7 8 5 5 7 4 8 5 4 1 4 6 5 4 5 5 3 3 3 5 2 3 5 4 3 1 1 3 2 4 1 
Solving time:0.070
Filtering time:2.910
ID:22 (42,3,24)
Graph |V|:89
Solution size:1704
Filtered solution size:1153
Parallel solution length:159
Parallelism:7.252
Step parallelism:33 13 9 7 8 4 6 8 6 9 8 8 8 9 11 6 6 5 11 10 10 8 6 9 5 9 10 13 8 7 5 3 6 6 10 7 7 1 2 10 9 7 14 11 2 8 7 4 4 7 11 10 10 15 15 12 10 7 10 6 7 6 4 9 12 5 2 5 8 13 12 10 8 8 12 6 6 4 7 3 4 5 5 6 10 10 8 11 7 6 6 9 10 8 4 5 5 12 15 7 6 7 2 5 7 7 5 3 3 2 5 5 8 10 11 12 10 9 3 8 6 9 6 4 3 4 11 6 12 5 6 8 6 2 4 9 7 5 5 3 8 4 7 7 3 4 5 4 6 4 6 5 6 5 5 8 4 4 3 
Solving time:0.080
Filtering time:2.560
ID:23 (42,3,25)
Graph |V|:89
Solution size:1704
Filtered solution size:1140
Parallel solution length:157
Parallelism:7.261
Step parallelism:36 10 8 7 8 4 9 9 7 8 8 9 11 6 6 5 11 10 10 8 6 9 5 9 10 13 8 7 5 3 6 6 10 7 7 1 2 10 9 7 14 11 2 8 7 4 4 7 11 10 10 15 15 12 10 7 10 6 7 6 4 9 12 5 2 5 8 13 12 10 8 8 12 6 6 4 7 3 4 5 5 6 10 10 8 11 7 6 6 9 10 8 4 5 5 12 15 7 6 7 2 5 7 7 5 3 3 2 5 5 8 10 11 12 10 9 3 8 6 9 6 4 3 4 11 6 12 5 6 8 6 2 4 9 7 5 5 3 8 4 7 7 3 4 5 4 6 4 6 5 6 5 5 8 4 4 3 
Solving time:0.070
Filtering time:2.500
ID:24 (42,3,26)
Graph |V|:89
Solution size:1816
Filtered solution size:1229
Parallel solution length:175
Parallelism:7.023
Step parallelism:35 10 9 7 8 4 9 9 7 8 8 9 11 6 6 6 11 10 8 8 6 9 5 9 13 13 7 7 6 3 7 6 9 8 8 11 9 15 11 5 10 10 10 8 6 5 6 10 9 7 7 8 5 6 9 6 6 6 5 4 4 9 6 11 13 9 9 7 8 9 9 14 6 9 9 9 7 7 9 9 4 9 3 7 9 5 4 1 8 4 11 7 8 8 9 4 4 5 7 7 6 7 8 6 7 6 8 8 7 4 8 5 5 6 5 5 4 7 13 10 9 8 12 7 9 8 8 8 4 9 6 5 5 5 7 9 4 7 7 5 3 8 3 5 7 4 5 5 7 10 6 5 6 2 4 4 4 7 3 5 7 4 5 7 3 2 8 3 3 3 2 1 3 1 1 
Solving time:0.070
Filtering time:4.520
ID:25 (42,3,27)
Graph |V|:89
Solution size:1785
Filtered solution size:1195
Parallel solution length:165
Parallelism:7.242
Step parallelism:34 11 9 7 6 8 10 10 5 8 10 10 6 4 10 10 10 7 8 10 9 13 8 6 7 6 3 7 6 10 9 7 6 6 6 16 13 14 7 8 9 9 8 6 5 6 10 9 7 7 8 5 6 9 6 6 7 5 4 4 8 6 11 11 9 8 3 9 7 7 11 9 10 6 8 7 9 5 6 9 9 3 12 7 12 10 12 3 11 4 9 9 8 10 11 10 12 7 6 7 8 12 9 5 10 7 8 5 4 2 7 5 3 11 8 11 10 6 3 5 6 3 1 4 6 7 10 8 5 5 6 5 8 8 3 5 5 3 8 7 9 7 5 2 4 3 3 5 5 5 10 5 5 6 2 6 4 3 5 4 4 3 4 4 3 
Solving time:0.080
Filtering time:4.710
ID:26 (42,3,28)
Graph |V|:89
Solution size:1804
Filtered solution size:1105
Parallel solution length:161
Parallelism:6.863
Step parallelism:34 12 9 7 6 8 10 10 5 8 10 7 4 4 7 11 11 7 8 10 11 13 8 6 7 6 3 7 6 10 9 7 6 6 6 15 11 16 10 12 13 8 6 5 6 6 9 12 12 7 4 7 6 6 5 3 3 8 5 3 6 7 15 7 10 13 9 11 6 6 5 4 6 8 4 5 5 13 8 9 6 8 9 5 7 8 10 5 3 3 3 6 4 11 10 9 7 11 8 4 3 6 4 5 9 9 11 10 6 6 3 2 4 4 6 3 8 7 6 6 3 7 6 6 11 9 5 9 5 2 8 7 4 5 6 7 7 5 5 4 7 1 5 6 2 5 3 2 4 4 2 4 5 4 3 2 3 4 4 3 2 
Solving time:0.080
Filtering time:4.700
ID:27 (42,3,29)
Graph |V|:89
Solution size:1820
Filtered solution size:1140
Parallel solution length:172
Parallelism:6.628
Step parallelism:32 11 9 7 7 8 10 10 5 8 10 7 4 4 7 13 14 5 4 5 9 7 7 7 7 4 3 6 6 14 9 6 5 5 3 10 5 7 8 16 13 9 6 5 6 6 8 12 12 9 8 10 5 9 8 6 2 3 2 6 7 12 12 10 11 15 10 9 6 6 7 4 3 2 6 6 2 8 9 10 2 7 10 11 5 6 3 4 6 6 4 4 5 5 5 8 6 7 10 9 10 11 4 6 5 9 11 4 5 5 7 8 8 9 10 5 5 7 4 4 6 3 4 9 5 7 10 11 4 5 5 7 3 2 6 5 5 4 5 7 5 3 5 4 9 6 8 3 4 5 4 5 6 7 3 5 5 2 6 6 5 4 4 3 4 3 4 3 2 3 4 3 
Solving time:0.070
Filtering time:7.350
ID:28 (42,3,30)
Graph |V|:89
Solution size:1726
Filtered solution size:1031
Parallel solution length:162
Parallelism:6.364
Step parallelism:32 11 9 7 7 8 10 10 5 8 10 7 4 4 7 13 14 5 4 5 9 7 7 7 7 4 3 6 6 12 10 6 4 4 5 11 6 8 10 16 13 10 6 5 6 6 9 12 12 9 7 9 5 9 8 6 2 5 3 6 4 9 10 13 8 7 8 8 8 6 6 7 5 4 8 11 6 4 4 3 7 9 12 9 3 4 6 6 6 4 4 9 8 5 3 3 2 1 3 2 2 3 2 8 4 4 6 5 4 10 7 7 4 6 5 8 10 7 6 7 9 7 10 11 11 6 8 3 5 5 6 1 6 5 7 1 4 3 1 3 4 3 5 4 3 5 4 3 4 3 5 3 5 3 4 3 3 4 6 3 5 1 
Solving time:0.070
Filtering time:2.200
ID:29 (42,3,31)
Graph |V|:89
Solution size:1786
Filtered solution size:1084
Parallel solution length:162
Parallelism:6.691
Step parallelism:32 11 9 7 6 8 10 10 5 6 10 6 9 11 16 7 5 5 9 8 7 7 7 4 3 6 7 12 10 6 4 4 6 11 5 7 5 5 14 3 7 1 7 5 4 6 6 10 12 11 3 6 9 5 5 6 7 6 6 5 7 4 9 11 10 11 10 9 7 6 5 10 8 6 4 3 7 1 3 7 3 5 3 8 6 4 3 8 10 12 14 11 6 2 1 5 9 5 8 4 4 6 6 7 7 6 7 3 7 4 5 8 7 5 10 10 7 9 6 7 6 5 7 5 7 10 5 1 6 8 10 7 5 2 4 8 4 2 5 4 9 8 14 6 8 7 5 4 6 3 7 6 6 4 6 6 5 4 4 5 2 2 
Solving time:0.080
Filtering time:3.720
ID:30 (42,3,32)
Graph |V|:89
Solution size:1671
Filtered solution size:1032
Parallel solution length:151
Parallelism:6.834
Step parallelism:30 10 8 7 5 7 12 6 4 6 10 6 9 10 17 8 5 5 8 13 7 7 7 5 3 6 7 8 12 13 6 6 9 7 10 7 7 1 7 5 4 6 9 11 11 8 7 6 4 6 7 5 6 7 15 13 3 8 6 10 4 7 9 12 8 9 5 7 3 3 4 4 8 1 3 4 5 5 5 6 6 9 8 4 7 8 9 8 6 5 7 9 9 8 4 9 5 7 4 3 9 8 3 5 6 5 5 4 5 8 12 12 6 5 10 11 8 9 9 9 6 5 4 7 10 7 4 6 5 6 6 8 4 5 5 4 3 3 5 4 5 5 3 5 7 8 5 3 3 4 3 
Solving time:0.070
Filtering time:3.140
ID:31 (42,3,33)
Graph |V|:89
Solution size:1700
Filtered solution size:1002
Parallel solution length:149
Parallelism:6.725
Step parallelism:30 10 8 7 5 7 12 6 4 6 10 6 9 10 17 8 5 5 8 13 7 7 13 10 6 7 7 9 14 9 8 9 7 10 3 8 5 4 6 9 11 11 8 7 6 4 6 7 5 6 7 15 13 4 8 6 7 10 11 13 10 10 12 9 4 6 2 4 6 6 8 8 3 7 9 10 11 7 6 7 7 6 8 6 9 6 4 4 3 5 4 8 3 6 5 3 4 5 3 5 1 5 3 3 7 10 7 9 5 11 4 5 5 5 3 6 5 7 5 5 6 4 10 5 4 1 3 9 2 1 7 6 4 5 6 4 6 7 7 5 4 4 4 4 4 2 5 3 1 
Solving time:0.070
Filtering time:3.970
ID:32 (42,3,34)
Graph |V|:89
Solution size:1700
Filtered solution size:982
Parallel solution length:144
Parallelism:6.819
Step parallelism:29 10 8 7 5 7 12 6 4 6 10 6 9 10 19 11 6 5 8 9 6 6 10 8 9 8 9 14 9 8 9 7 10 3 8 5 4 6 9 11 11 8 7 6 4 6 7 5 6 7 15 13 5 9 6 7 10 11 13 10 9 11 10 4 6 2 4 6 6 8 8 5 7 9 10 10 6 8 7 6 8 5 10 7 8 4 8 3 6 5 3 4 5 3 5 1 5 3 3 7 10 7 9 5 11 4 5 5 5 3 6 5 7 5 5 6 4 10 5 4 1 3 9 2 1 7 6 4 5 6 4 6 7 7 5 4 4 4 4 4 2 5 3 1 
Solving time:0.070
Filtering time:4.780
ID:33 (42,3,35)
Graph |V|:89
Solution size:1688
Filtered solution size:956
Parallel solution length:141
Parallelism:6.780
Step parallelism:29 11 8 7 5 7 12 6 4 6 10 6 9 10 19 11 6 5 8 9 6 6 10 8 9 8 8 14 9 8 9 7 11 3 8 5 4 6 9 11 11 8 7 6 4 6 7 5 6 7 14 13 3 9 6 7 10 11 12 8 6 10 5 3 4 4 9 9 7 9 9 5 9 3 6 7 8 6 7 7 7 9 5 9 8 7 6 5 3 4 5 5 1 4 6 7 7 8 3 3 3 4 2 3 6 7 9 7 6 5 5 8 6 9 5 7 9 10 8 4 3 4 3 6 2 3 4 3 2 4 3 3 4 5 5 5 4 7 5 5 1 
Solving time:0.070
Filtering time:3.560
ID:34 (42,3,36)
Graph |V|:89
Solution size:1630
Filtered solution size:893
Parallel solution length:132
Parallelism:6.765
Step parallelism:30 11 8 7 5 7 12 6 4 6 7 4 10 7 16 10 6 5 5 4 6 6 10 9 8 7 13 12 6 11 10 10 3 7 5 4 6 6 9 11 7 7 5 13 11 9 5 6 5 7 6 8 7 10 14 13 10 12 12 16 7 8 11 8 6 6 6 7 4 7 8 5 7 4 8 7 8 5 4 4 3 4 2 1 3 2 4 3 6 7 3 1 4 5 10 12 9 6 7 8 8 5 7 4 7 3 6 9 6 4 2 1 7 3 3 5 4 5 4 5 5 4 4 5 4 5 3 4 8 4 5 2 
Solving time:0.070
Filtering time:1.680
ID:35 (42,3,37)
Graph |V|:89
Solution size:1605
Filtered solution size:838
Parallel solution length:122
Parallelism:6.869
Step parallelism:30 11 8 7 5 7 12 6 4 6 7 4 10 7 16 10 6 5 5 4 6 6 10 9 8 7 10 12 6 11 9 10 2 7 5 4 6 6 9 10 4 3 4 12 10 14 12 8 7 7 4 8 11 11 8 11 8 6 9 5 4 7 9 9 12 6 4 7 6 9 8 4 3 7 5 7 7 7 8 7 9 8 7 4 3 7 4 5 7 6 5 3 8 7 6 7 5 8 8 10 13 10 5 2 2 4 1 5 4 1 4 4 4 4 5 5 4 3 3 2 4 1 
Solving time:0.060
Filtering time:3.130
ID:36 (42,3,38)
Graph |V|:89
Solution size:1649
Filtered solution size:887
Parallel solution length:140
Parallelism:6.336
Step parallelism:27 10 7 6 6 7 12 6 4 6 7 4 10 7 16 9 6 5 5 4 6 5 10 9 11 7 10 11 6 8 8 2 2 5 5 5 7 9 4 6 3 7 7 11 8 9 10 8 9 11 10 8 7 10 8 8 8 6 5 9 6 7 8 7 5 7 7 8 5 5 6 7 5 10 7 8 6 9 6 7 3 4 3 3 4 7 7 3 6 9 8 7 7 12 9 6 3 6 3 4 5 6 4 4 6 7 4 9 7 6 8 6 4 3 4 3 3 8 4 5 4 2 1 2 4 4 2 5 5 1 4 2 2 3 5 6 4 5 6 2 
Solving time:0.060
Filtering time:4.380
ID:37 (42,3,39)
Graph |V|:89
Solution size:1681
Filtered solution size:874
Parallel solution length:148
Parallelism:5.905
Step parallelism:29 13 10 3 2 5 11 6 5 5 9 6 8 3 7 6 10 9 7 3 6 6 10 9 8 9 2 6 7 4 3 2 7 7 6 6 5 2 3 5 8 9 5 10 8 7 2 4 2 5 6 6 6 4 5 8 8 9 7 9 11 7 10 7 6 2 6 8 10 1 3 5 10 9 10 8 5 1 1 5 6 4 4 5 10 7 7 8 12 11 6 7 5 6 6 5 2 1 2 3 6 5 4 7 4 4 7 3 2 7 7 6 3 2 2 7 8 6 9 7 5 4 8 8 8 7 8 10 6 5 5 1 7 6 3 3 4 4 2 3 2 2 3 3 1 3 4 3 
Solving time:0.070
Filtering time:2.430
ID:38 (42,3,40)
Graph |V|:89
Solution size:1661
Filtered solution size:864
Parallel solution length:146
Parallelism:5.918
Step parallelism:29 13 10 3 2 10 8 7 8 8 4 6 3 3 5 9 9 7 3 6 6 9 11 8 9 2 6 7 4 3 2 7 7 6 5 8 5 6 4 6 7 5 7 6 5 3 5 1 6 6 5 7 6 9 14 11 6 8 7 8 6 8 6 6 6 10 8 6 4 6 10 6 5 5 8 7 4 8 9 12 10 4 5 5 4 6 7 2 5 6 2 4 2 6 8 2 6 8 3 4 5 5 7 8 5 8 7 5 7 6 6 1 5 5 2 2 7 4 5 8 5 8 8 3 3 6 3 5 6 5 5 5 3 4 5 4 6 4 3 3 4 3 2 4 3 1 
Solving time:0.060
Filtering time:2.370
ID:39 (42,3,41)
Graph |V|:89
Solution size:1661
Filtered solution size:855
Parallel solution length:143
Parallelism:5.979
Step parallelism:30 14 12 10 7 8 8 4 6 3 3 5 9 9 7 3 6 6 9 11 8 9 2 6 7 4 3 2 7 7 6 5 8 5 6 4 6 7 5 7 6 5 3 5 1 6 6 5 7 6 9 14 11 6 8 7 8 6 8 6 6 6 10 8 6 4 6 10 6 5 5 8 7 4 8 9 12 10 4 5 5 4 6 7 2 5 6 2 4 2 6 8 2 6 8 3 4 5 5 7 8 5 8 7 5 7 6 6 1 5 5 2 2 7 4 5 8 5 8 8 3 3 6 3 5 6 5 5 5 3 4 5 4 6 4 3 3 4 3 2 4 3 1 
Solving time:0.080
Filtering time:2.360
ID:40 (42,3,42)
Graph |V|:89
Solution size:1592
Filtered solution size:800
Parallel solution length:126
Parallelism:6.349
Step parallelism:30 14 12 10 7 10 9 4 4 3 3 9 9 9 6 2 6 7 8 7 9 2 6 10 4 3 2 8 8 6 10 5 3 3 5 10 8 5 7 5 6 4 6 7 9 6 5 7 11 10 7 12 8 10 10 11 14 6 7 5 6 4 6 2 7 12 7 5 5 3 6 8 2 6 9 6 7 9 12 2 4 5 4 7 10 8 6 4 6 4 3 9 12 9 4 3 7 4 5 2 3 5 7 3 5 6 5 5 3 4 2 3 6 3 4 5 5 3 2 4 5 5 5 5 4 4 
Solving time:0.070
Filtering time:3.670
ID:41 (42,3,43)
Graph |V|:89
Solution size:1592
Filtered solution size:793
Parallel solution length:126
Parallelism:6.294
Step parallelism:29 14 12 10 7 10 9 4 4 3 3 9 9 9 6 2 6 7 8 7 9 2 8 7 2 2 1 7 8 6 10 5 3 3 5 10 8 5 7 5 6 4 6 7 9 6 5 7 11 10 7 12 8 10 10 11 14 6 7 5 6 4 6 2 7 12 7 5 5 3 6 8 2 6 9 6 7 9 12 2 4 5 4 7 10 8 6 4 6 4 3 9 12 9 4 3 7 4 5 2 3 5 7 3 5 6 5 5 3 4 2 3 6 3 4 5 5 3 2 4 5 5 5 5 4 4 
Solving time:0.070
Filtering time:3.680
ID:42 (42,3,44)
Graph |V|:89
Solution size:1574
Filtered solution size:809
Parallel solution length:123
Parallelism:6.577
Step parallelism:28 14 10 10 7 10 9 4 4 3 3 9 9 9 6 2 6 7 8 7 9 4 8 7 2 2 1 7 4 3 8 5 3 3 5 10 8 5 7 5 6 4 6 7 9 6 5 8 11 10 7 11 8 13 10 11 9 9 3 6 8 6 13 8 4 5 2 4 5 4 5 8 5 9 10 7 7 7 7 10 11 7 2 6 6 6 2 8 6 4 3 9 11 2 11 10 8 6 8 5 5 4 11 4 5 6 6 6 6 5 6 3 4 5 4 5 5 4 4 3 5 4 4 
Solving time:0.070
Filtering time:2.720
ID:43 (42,3,45)
Graph |V|:89
Solution size:1656
Filtered solution size:828
Parallel solution length:136
Parallelism:6.088
Step parallelism:27 14 10 10 7 9 8 3 4 3 3 9 9 9 6 2 6 7 8 7 9 4 8 7 2 2 1 7 4 3 8 7 6 8 7 4 4 5 10 9 8 4 8 10 5 9 9 11 10 9 7 10 6 5 4 5 11 6 11 6 9 9 7 4 4 4 6 6 4 10 3 5 8 9 8 7 6 7 4 4 5 4 5 7 7 8 9 6 7 6 6 7 6 5 4 5 7 3 2 4 7 5 5 5 6 5 8 10 6 8 3 3 4 3 5 2 2 6 5 5 3 4 3 3 4 5 4 4 4 3 2 4 3 5 5 2 
Solving time:0.070
Filtering time:4.240
ID:44 (42,3,46)
Graph |V|:89
Solution size:1581
Filtered solution size:693
Parallel solution length:120
Parallelism:5.775
Step parallelism:28 15 10 10 8 9 8 3 5 5 3 9 9 9 5 2 6 9 8 7 9 4 8 6 2 2 1 7 4 3 7 7 6 10 4 3 6 6 7 8 4 8 9 7 7 6 8 8 6 2 5 3 4 5 5 11 8 6 4 9 4 6 4 3 5 9 5 9 4 6 7 5 8 8 5 7 5 7 8 3 3 5 3 5 4 8 7 6 1 4 6 4 7 6 4 7 8 2 3 3 5 3 5 5 3 3 4 3 5 5 4 5 4 3 3 3 3 3 4 3 
Solving time:0.060
Filtering time:2.860
ID:45 (42,3,47)
Graph |V|:89
Solution size:1476
Filtered solution size:684
Parallel solution length:116
Parallelism:5.897
Step parallelism:26 12 9 9 9 8 9 3 5 4 3 8 9 7 7 3 5 10 5 6 7 3 4 3 5 3 3 6 6 5 8 6 13 7 4 4 7 7 5 3 3 2 3 9 9 10 4 4 7 13 5 8 6 3 2 4 6 5 7 5 4 7 3 5 4 2 4 6 6 6 6 6 7 5 7 12 6 13 10 7 10 4 8 6 12 10 2 7 5 8 6 6 3 3 5 3 2 8 5 2 6 7 7 5 2 2 3 5 3 3 3 5 4 2 4 1 
Solving time:0.060
Filtering time:3.110
ID:46 (42,3,48)
Graph |V|:89
Solution size:1494
Filtered solution size:648
Parallel solution length:113
Parallelism:5.735
Step parallelism:26 17 11 10 9 8 9 3 4 4 3 8 11 7 7 5 10 3 5 5 5 3 5 9 4 10 9 8 8 6 8 5 4 4 6 2 7 8 4 3 3 1 6 7 10 4 2 4 6 5 7 7 9 5 7 9 3 3 3 5 6 3 3 3 5 7 4 9 7 4 6 9 9 6 4 3 3 7 6 8 3 5 10 10 10 6 3 4 3 4 7 6 5 6 5 3 4 4 5 3 3 3 2 1 5 6 5 4 4 3 2 2 1 
Solving time:0.060
Filtering time:3.280
ID:47 (42,3,49)
Graph |V|:89
Solution size:1389
Filtered solution size:576
Parallel solution length:93
Parallelism:6.194
Step parallelism:23 16 9 8 11 8 8 13 10 8 4 2 4 8 6 8 7 12 9 5 5 6 8 5 7 8 10 7 8 3 5 3 5 7 8 4 6 6 8 9 3 3 4 3 6 4 4 2 3 5 14 9 6 8 7 10 7 8 7 5 4 7 7 7 5 4 4 5 8 7 4 1 3 4 10 6 5 7 6 6 3 4 3 5 6 5 3 2 2 2 1 3 2 
Solving time:0.060
Filtering time:1.220
ID:48 (42,3,50)
Graph |V|:89
Solution size:1359
Filtered solution size:518
Parallel solution length:85
Parallelism:6.094
Step parallelism:23 17 9 8 11 8 8 13 10 8 4 2 4 8 6 8 7 11 8 5 5 6 7 5 7 8 8 5 4 3 6 6 6 7 7 10 6 6 5 2 5 4 3 4 8 5 5 4 4 5 6 9 9 6 5 5 9 7 7 10 10 5 3 6 4 7 4 6 8 3 4 3 1 4 2 3 4 3 3 6 2 3 4 2 1 
Solving time:0.060
Filtering time:2.170
ID:49 (42,3,51)
Graph |V|:89
Solution size:1390
Filtered solution size:504
Parallel solution length:83
Parallelism:6.072
Step parallelism:23 17 9 8 11 8 8 13 10 8 4 2 4 7 6 8 7 11 6 5 5 6 7 5 7 8 8 5 4 3 6 6 6 7 7 10 6 4 5 2 5 4 3 4 8 5 5 4 4 5 6 9 7 9 7 7 6 4 5 8 7 5 5 4 6 7 7 2 2 2 2 1 6 3 6 5 5 4 5 5 5 1 2 
Solving time:0.070
Filtering time:2.390
ID:50 (42,3,52)
Graph |V|:89
Solution size:1390
Filtered solution size:494
Parallel solution length:81
Parallelism:6.099
Step parallelism:23 17 9 8 11 8 8 13 10 8 4 2 4 7 6 8 7 12 7 5 5 6 7 5 10 5 6 2 6 6 6 7 7 10 6 4 5 2 5 4 3 4 8 5 5 4 4 5 6 9 7 9 7 7 6 4 5 8 7 5 5 4 6 7 7 2 2 2 2 1 6 3 6 5 5 4 5 5 5 1 2 
Solving time:0.060
Filtering time:2.340
ID:51 (42,3,53)
Graph |V|:89
Solution size:1345
Filtered solution size:478
Parallel solution length:82
Parallelism:5.829
Step parallelism:25 17 11 10 7 6 7 9 8 8 8 2 4 9 5 6 6 5 7 7 6 6 7 6 7 3 4 2 8 7 6 7 10 9 6 5 5 4 2 5 6 4 2 5 6 8 5 2 3 4 1 6 7 5 2 4 4 8 7 8 5 5 7 3 4 7 3 2 4 8 4 9 7 5 5 3 4 6 4 2 1 1 
Solving time:0.060
Filtering time:2.910
ID:52 (42,3,54)
Graph |V|:89
Solution size:1409
Filtered solution size:476
Parallel solution length:83
Parallelism:5.735
Step parallelism:24 17 11 11 8 6 7 9 8 8 8 2 4 9 5 6 6 5 7 7 6 6 7 6 7 3 4 2 5 5 5 6 9 10 6 5 5 4 2 5 6 2 1 5 7 5 5 2 3 4 1 6 7 5 2 4 4 8 6 9 7 7 8 5 3 9 4 4 6 2 2 6 3 4 4 4 6 6 5 5 4 2 2 
Solving time:0.060
Filtering time:3.560
ID:53 (42,3,55)
Graph |V|:89
Solution size:1407
Filtered solution size:428
Parallel solution length:77
Parallelism:5.558
Step parallelism:23 16 11 12 9 7 8 9 8 10 8 7 7 7 7 3 6 6 4 6 3 6 2 5 5 6 7 4 8 6 5 4 4 4 2 5 7 2 1 5 7 5 5 2 2 4 1 5 7 6 1 2 5 6 4 7 4 5 3 3 7 7 6 5 5 7 4 6 6 7 6 3 3 1 1 3 2 
Solving time:0.070
Filtering time:2.350
ID:54 (42,3,56)
Graph |V|:89
Solution size:1388
Filtered solution size:483
Parallel solution length:81
Parallelism:5.963
Step parallelism:20 15 9 7 9 6 7 9 9 10 7 6 5 4 5 4 7 6 4 6 7 9 8 5 7 5 4 7 7 6 8 8 9 6 7 8 7 5 6 6 6 3 5 3 4 4 5 5 2 6 5 5 7 7 4 4 7 8 7 6 3 6 4 6 6 6 6 5 5 3 4 6 4 4 5 4 3 3 3 2 2 
Solving time:0.060
Filtering time:2.290
ID:55 (42,3,57)
Graph |V|:89
Solution size:1390
Filtered solution size:431
Parallel solution length:78
Parallelism:5.526
Step parallelism:21 16 10 7 9 6 7 9 9 10 7 6 5 4 5 4 7 6 4 6 7 7 8 5 8 6 3 8 8 6 8 6 7 6 3 7 7 6 7 4 3 3 1 1 2 4 3 4 4 5 5 2 6 5 4 7 7 2 8 9 8 5 5 3 3 2 4 3 1 4 4 3 3 2 4 3 2 2 
Solving time:0.060
Filtering time:2.110
ID:56 (42,3,58)
Graph |V|:89
Solution size:1259
Filtered solution size:405
Parallel solution length:76
Parallelism:5.329
Step parallelism:20 14 9 6 9 5 5 8 8 8 8 4 5 7 9 6 6 5 1 6 6 6 7 5 2 5 4 4 2 4 6 8 4 6 5 8 8 8 3 5 6 9 6 4 7 3 2 4 4 2 6 4 3 5 7 9 5 4 2 9 5 3 3 4 3 3 3 3 3 3 2 5 4 2 2 1 
Solving time:0.050
Filtering time:1.410
ID:57 (42,3,59)
Graph |V|:89
Solution size:1259
Filtered solution size:384
Parallel solution length:70
Parallelism:5.486
Step parallelism:20 14 9 6 9 5 5 8 8 8 7 3 5 7 9 6 6 5 1 6 6 7 6 6 2 5 4 6 10 9 7 7 9 7 6 9 4 3 6 3 2 4 4 2 6 4 3 5 7 9 5 4 2 9 5 3 3 4 3 3 3 3 3 3 2 5 4 2 2 1 
Solving time:0.060
Filtering time:1.830
ID:58 (42,3,60)
Graph |V|:89
Solution size:1327
Filtered solution size:359
Parallel solution length:60
Parallelism:5.983
Step parallelism:19 14 9 6 9 5 5 8 8 7 6 3 5 7 9 6 6 5 1 4 5 6 6 6 4 6 5 6 7 7 6 6 3 4 6 7 8 5 7 6 5 6 6 8 5 7 5 5 8 7 6 7 8 4 2 4 3 2 2 1 
Solving time:0.060
Filtering time:1.960
ID:59 (42,3,61)
Graph |V|:89
Solution size:1310
Filtered solution size:308
Parallel solution length:54
Parallelism:5.704
Step parallelism:19 14 9 9 5 5 6 9 9 10 6 4 4 6 5 2 4 5 6 6 6 4 5 6 7 7 9 8 12 8 4 4 4 2 6 4 5 4 5 5 5 6 7 5 5 4 2 3 2 3 4 2 1 1 
Solving time:0.060
Filtering time:3.190
ID:60 (42,3,62)
Graph |V|:89
Solution size:1258
Filtered solution size:276
Parallel solution length:48
Parallelism:5.750
Step parallelism:18 13 9 9 7 6 6 10 9 12 7 3 6 2 5 4 6 5 4 5 4 8 9 8 9 10 3 4 3 2 5 4 4 5 4 2 5 8 6 5 6 3 3 2 2 3 2 1 
Solving time:0.060
Filtering time:1.100
ID:61 (42,3,63)
Graph |V|:89
Solution size:1258
Filtered solution size:268
Parallel solution length:47
Parallelism:5.702
Step parallelism:18 13 9 9 6 6 6 9 9 12 7 3 6 3 6 6 6 4 4 5 5 7 9 8 8 5 4 3 2 5 4 4 5 4 2 5 8 6 5 6 3 3 2 2 3 2 1 
Solving time:0.050
Filtering time:1.240
ID:62 (42,3,64)
Graph |V|:89
Solution size:1212
Filtered solution size:240
Parallel solution length:40
Parallelism:6.000
Step parallelism:18 13 9 9 7 6 6 9 9 11 7 3 7 4 5 8 8 7 7 6 4 3 4 6 2 3 3 3 3 5 5 5 6 7 6 7 4 3 1 1 
Solving time:0.050
Filtering time:1.250
ID:63 (42,3,65)
Graph |V|:89
Solution size:1212
Filtered solution size:234
Parallel solution length:39
Parallelism:6.000
Step parallelism:17 13 10 9 7 6 10 10 11 6 5 6 4 7 8 7 7 6 4 4 3 4 6 2 3 3 3 3 5 5 5 6 7 6 7 4 3 1 1 
Solving time:0.050
Filtering time:1.200
ID:64 (42,3,66)
Graph |V|:89
Solution size:1253
Filtered solution size:228
Parallel solution length:33
Parallelism:6.909
Step parallelism:17 14 11 10 7 6 9 10 11 9 6 8 3 4 5 11 10 9 3 2 2 4 3 5 6 6 6 9 7 6 5 3 1 
Solving time:0.050
Filtering time:2.070
ID:65 (42,3,67)
Graph |V|:89
Solution size:1168
Filtered solution size:209
Parallel solution length:33
Parallelism:6.333
Step parallelism:17 11 9 8 8 6 8 10 9 6 8 7 5 4 4 7 6 4 5 4 6 9 4 4 5 3 6 6 6 6 4 2 2 
Solving time:0.050
Filtering time:1.100
ID:66 (42,3,68)
Graph |V|:89
Solution size:1168
Filtered solution size:203
Parallel solution length:32
Parallelism:6.344
Step parallelism:17 10 8 9 10 10 8 8 7 8 6 5 4 4 7 6 4 5 4 6 9 4 4 5 3 6 6 6 6 4 2 2 
Solving time:0.050
Filtering time:1.080
ID:67 (42,3,69)
Graph |V|:89
Solution size:1284
Filtered solution size:210
Parallel solution length:39
Parallelism:5.385
Step parallelism:17 10 7 5 11 7 7 7 7 5 6 4 3 4 2 5 6 4 3 3 3 1 5 6 6 8 8 7 6 4 3 3 4 6 6 5 3 2 1 
Solving time:0.060
Filtering time:1.220
ID:68 (42,3,70)
Graph |V|:89
Solution size:1284
Filtered solution size:205
Parallel solution length:39
Parallelism:5.256
Step parallelism:16 10 7 5 11 7 7 8 7 5 6 4 3 4 2 5 6 4 3 3 4 2 4 4 4 6 8 7 6 4 3 3 4 6 6 5 3 2 1 
Solving time:0.050
Filtering time:1.190
ID:69 (42,3,71)
Graph |V|:89
Solution size:1284
Filtered solution size:197
Parallel solution length:39
Parallelism:5.051
Step parallelism:15 9 8 6 9 6 6 5 6 5 6 4 3 4 2 5 6 4 3 3 4 2 4 4 4 6 8 7 6 4 3 3 4 6 6 5 3 2 1 
Solving time:0.050
Filtering time:1.160
ID:70 (42,3,72)
Graph |V|:89
Solution size:1222
Filtered solution size:107
Parallel solution length:17
Parallelism:6.294
Step parallelism:15 9 6 9 7 7 8 7 4 6 7 4 6 5 5 1 1 
Solving time:0.050
Filtering time:1.100
ID:71 (42,3,73)
Graph |V|:89
Solution size:1222
Filtered solution size:91
Parallel solution length:15
Parallelism:6.067
Step parallelism:13 7 6 7 7 7 6 7 7 7 7 5 2 2 1 
Solving time:0.050
Filtering time:1.050
ID:72 (42,3,74)
Graph |V|:89
Solution size:1268
Filtered solution size:117
Parallel solution length:19
Parallelism:6.158
Step parallelism:12 6 6 7 7 6 6 6 7 5 4 4 6 8 9 5 4 5 4 
Solving time:0.060
Filtering time:0.540
ID:73 (42,3,75)
Graph |V|:89
Solution size:1207
Filtered solution size:79
Parallel solution length:14
Parallelism:5.643
Step parallelism:11 8 7 5 6 5 5 9 6 5 5 3 2 2 
Solving time:0.050
Filtering time:0.930
ID:74 (42,3,76)
Graph |V|:89
Solution size:1216
Filtered solution size:60
Parallel solution length:14
Parallelism:4.286
Step parallelism:9 6 8 6 5 7 5 3 3 1 2 3 1 1 
Solving time:0.050
Filtering time:0.500
ID:75 (42,3,77)
Graph |V|:89
Solution size:1216
Filtered solution size:54
Parallel solution length:10
Parallelism:5.400
Step parallelism:9 9 9 5 6 5 4 4 2 1 
Solving time:0.040
Filtering time:0.450
ID:76 (42,3,78)
Graph |V|:89
Solution size:1121
Filtered solution size:48
Parallel solution length:10
Parallelism:4.800
Step parallelism:9 10 6 4 3 3 5 3 3 2 
Solving time:0.050
Filtering time:0.270
ID:77 (42,3,79)
Graph |V|:89
Solution size:1121
Filtered solution size:47
Parallel solution length:10
Parallelism:4.700
Step parallelism:9 8 6 4 3 4 5 3 3 2 
Solving time:0.040
Filtering time:0.260
ID:78 (42,3,80)
Graph |V|:89
Solution size:1081
Filtered solution size:45
Parallel solution length:10
Parallelism:4.500
Step parallelism:9 9 6 5 5 3 3 3 1 1 
Solving time:0.050
Filtering time:0.210
ID:79 (42,3,81)
Graph |V|:89
Solution size:1051
Filtered solution size:41
Parallel solution length:9
Parallelism:4.556
Step parallelism:7 6 5 4 4 3 4 4 4 
Solving time:0.050
Filtering time:0.140
ID:80 (42,3,82)
Graph |V|:89
Solution size:1051
Filtered solution size:28
Parallel solution length:6
Parallelism:4.667
Step parallelism:6 7 6 6 2 1 
Solving time:0.040
Filtering time:0.120
ID:81 (42,3,83)
Graph |V|:89
Solution size:1051
Filtered solution size:22
Parallel solution length:6
Parallelism:3.667
Step parallelism:5 5 4 5 2 1 
Solving time:0.040
Filtering time:0.120
ID:82 (42,3,84)
Graph |V|:89
Solution size:1049
Filtered solution size:18
Parallel solution length:6
Parallelism:3.000
Step parallelism:4 4 3 4 2 1 
Solving time:0.040
Filtering time:0.030
ID:83 (42,3,85)
Graph |V|:89
Solution size:1027
Filtered solution size:13
Parallel solution length:6
Parallelism:2.167
Step parallelism:3 3 2 3 1 1 
Solving time:0.060
Filtering time:0.030
ID:84 (42,3,86)
Graph |V|:89
Solution size:997
Filtered solution size:11
Parallel solution length:6
Parallelism:1.833
Step parallelism:2 2 2 3 1 1 
Solving time:0.050
Filtering time:0.030
ID:85 (42,3,87)
Graph |V|:89
Solution size:917
Filtered solution size:7
Parallel solution length:4
Parallelism:1.750
Step parallelism:1 2 2 2 
Solving time:0.040
Filtering time:0.000
ID:86 (42,3,88)
Graph |V|:89
Solution size:864
Filtered solution size:3
Parallel solution length:3
Parallelism:1.000
Step parallelism:1 1 1 
Solving time:0.040
Filtering time:0.010
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