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:1.910 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:1.500 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:1.520 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:1.190 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.090 Filtering time:1.030 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.080 Filtering time:1.110 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:1.120 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:0.720 ID:8 (42,3,10) Graph |V|:89 Solution size:1978 Filtered solution size:1641 Parallel solution length:233 Parallelism:7.043 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 5 4 3 2 1 Solving time:0.080 Filtering time:0.690 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:0.560 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:0.490 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:0.540 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:0.520 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:0.530 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:0.510 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:0.400 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:0.610 ID:17 (42,3,19) Graph |V|:89 Solution size:1907 Filtered solution size:1349 Parallel solution length:200 Parallelism:6.745 Step parallelism:31 11 12 9 4 4 6 8 7 5 9 7 7 8 9 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 12 7 5 4 10 7 11 13 17 10 6 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.080 Filtering time:0.670 ID:18 (42,3,20) Graph |V|:89 Solution size:1907 Filtered solution size:1343 Parallel solution length:199 Parallelism:6.749 Step parallelism:32 11 13 9 4 4 6 8 7 5 9 7 7 8 9 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 12 7 5 4 10 7 11 13 17 10 6 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:0.670 ID:19 (42,3,21) Graph |V|:89 Solution size:1883 Filtered solution size:1292 Parallel solution length:190 Parallelism:6.800 Step parallelism:32 11 13 9 4 4 6 8 7 5 9 7 7 8 9 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 13 17 10 6 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.080 Filtering time:0.600 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:0.510 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.080 Filtering time:0.490 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.070 Filtering time:0.440 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:0.420 ID:24 (42,3,26) Graph |V|:89 Solution size:1816 Filtered solution size:1231 Parallel solution length:179 Parallelism:6.877 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 3 4 5 11 8 6 9 10 5 6 4 8 4 4 7 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:0.480 ID:25 (42,3,27) Graph |V|:89 Solution size:1785 Filtered solution size:1197 Parallel solution length:164 Parallelism:7.299 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 9 8 12 9 9 10 5 7 5 4 6 7 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:0.420 ID:26 (42,3,28) Graph |V|:89 Solution size:1804 Filtered solution size:1109 Parallel solution length:161 Parallelism:6.888 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 4 6 6 6 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:0.460 ID:27 (42,3,29) Graph |V|:89 Solution size:1820 Filtered solution size:1153 Parallel solution length:176 Parallelism:6.551 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 9 5 3 9 2 7 10 11 8 10 7 4 4 5 7 8 8 9 10 5 5 7 4 4 5 5 5 2 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.080 Filtering time:0.440 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:0.410 ID:29 (42,3,31) Graph |V|:89 Solution size:1786 Filtered solution size:1089 Parallel solution length:164 Parallelism:6.640 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 4 7 4 4 6 6 8 7 5 8 4 2 7 3 4 8 7 5 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.070 Filtering time:0.440 ID:30 (42,3,32) Graph |V|:89 Solution size:1671 Filtered solution size:1033 Parallel solution length:152 Parallelism:6.796 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 11 10 10 7 13 7 6 8 4 6 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:0.290 ID:31 (42,3,33) Graph |V|:89 Solution size:1700 Filtered solution size:1008 Parallel solution length:149 Parallelism:6.765 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 4 3 7 8 3 6 5 3 4 5 3 5 1 5 3 3 7 10 7 9 5 11 4 5 5 4 3 7 6 8 6 6 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:0.360 ID:32 (42,3,34) Graph |V|:89 Solution size:1700 Filtered solution size:999 Parallel solution length:148 Parallelism:6.750 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 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 4 3 7 8 3 6 5 3 4 5 3 5 1 5 3 3 7 10 7 9 5 11 4 5 5 4 3 7 6 8 6 6 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:0.350 ID:33 (42,3,35) Graph |V|:89 Solution size:1688 Filtered solution size:960 Parallel solution length:142 Parallelism:6.761 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 8 5 9 8 5 5 6 7 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:0.300 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.060 Filtering time:0.320 ID:35 (42,3,37) Graph |V|:89 Solution size:1605 Filtered solution size:848 Parallel solution length:126 Parallelism:6.730 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 7 5 4 7 6 2 3 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.070 Filtering time:0.260 ID:36 (42,3,38) Graph |V|:89 Solution size:1649 Filtered solution size:899 Parallel solution length:141 Parallelism:6.376 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 5 9 8 7 6 11 9 6 3 6 3 4 6 2 5 5 5 6 7 4 9 7 7 10 7 4 4 6 4 6 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.070 Filtering time:0.300 ID:37 (42,3,39) Graph |V|:89 Solution size:1681 Filtered solution size:875 Parallel solution length:151 Parallelism:5.795 Step parallelism:29 12 8 3 2 5 11 6 4 5 9 8 8 4 4 4 6 7 5 6 5 4 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:0.320 ID:38 (42,3,40) Graph |V|:89 Solution size:1661 Filtered solution size:865 Parallel solution length:149 Parallelism:5.805 Step parallelism:28 12 8 3 2 10 8 7 8 8 5 3 3 3 4 6 7 5 6 5 4 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.070 Filtering time:0.270 ID:39 (42,3,41) Graph |V|:89 Solution size:1661 Filtered solution size:856 Parallel solution length:146 Parallelism:5.863 Step parallelism:28 12 12 10 7 8 8 5 3 3 3 4 6 7 5 6 5 4 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.070 Filtering time:0.280 ID:40 (42,3,42) Graph |V|:89 Solution size:1592 Filtered solution size:807 Parallel solution length:130 Parallelism:6.208 Step parallelism:28 12 12 10 7 10 8 5 3 3 3 4 6 5 9 6 5 3 2 6 7 8 7 9 2 6 9 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 6 3 6 8 2 6 9 6 8 14 9 3 5 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 2 2 3 4 5 5 5 5 4 4 Solving time:0.070 Filtering time:0.210 ID:41 (42,3,43) Graph |V|:89 Solution size:1592 Filtered solution size:800 Parallel solution length:130 Parallelism:6.154 Step parallelism:27 12 12 10 7 10 8 5 3 3 3 4 6 5 9 6 5 3 2 6 7 8 7 9 2 8 6 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 6 3 6 8 2 6 9 6 8 14 9 3 5 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 2 2 3 4 5 5 5 5 4 4 Solving time:0.070 Filtering time:0.210 ID:42 (42,3,44) Graph |V|:89 Solution size:1574 Filtered solution size:812 Parallel solution length:126 Parallelism:6.444 Step parallelism:26 12 10 10 7 10 8 5 3 3 3 4 6 5 9 6 5 3 2 6 7 8 7 9 4 8 6 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 6 2 4 5 4 5 8 5 10 11 8 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.060 Filtering time:0.200 ID:43 (42,3,45) Graph |V|:89 Solution size:1656 Filtered solution size:835 Parallel solution length:144 Parallelism:5.799 Step parallelism:25 12 10 10 7 9 8 5 3 3 3 4 5 5 9 6 5 3 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 4 6 3 2 4 4 5 2 3 4 3 5 2 2 6 5 5 3 4 3 3 4 5 4 3 4 4 3 3 4 3 5 5 1 Solving time:0.070 Filtering time:0.200 ID:44 (42,3,46) Graph |V|:89 Solution size:1581 Filtered solution size:710 Parallel solution length:126 Parallelism:5.635 Step parallelism:26 13 10 10 8 9 7 7 4 3 3 4 5 5 9 6 5 2 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 6 10 5 9 4 6 7 5 6 6 7 6 4 5 7 7 6 2 3 5 3 5 4 10 8 7 2 5 6 4 7 6 4 7 8 2 3 3 5 3 5 5 3 3 4 3 5 5 4 5 3 3 5 3 3 3 3 4 3 Solving time:0.070 Filtering time:0.210 ID:45 (42,3,47) Graph |V|:89 Solution size:1476 Filtered solution size:696 Parallel solution length:119 Parallelism:5.849 Step parallelism:25 12 9 9 9 8 9 5 4 3 3 4 4 3 9 6 5 4 3 5 10 5 6 7 3 4 3 5 6 3 6 6 5 9 7 13 8 4 4 7 7 5 3 3 2 3 9 10 10 4 3 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 9 6 10 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:0.180 ID:46 (42,3,48) Graph |V|:89 Solution size:1494 Filtered solution size:659 Parallel solution length:117 Parallelism:5.632 Step parallelism:24 15 11 10 9 8 8 5 3 3 3 4 5 3 8 8 5 5 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 4 4 6 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 5 6 3 3 3 2 1 5 8 5 4 4 3 3 3 2 1 Solving time:0.060 Filtering time:0.170 ID:47 (42,3,49) Graph |V|:89 Solution size:1389 Filtered solution size:579 Parallel solution length:98 Parallelism:5.908 Step parallelism:21 15 9 8 14 8 4 3 3 4 3 4 8 6 5 3 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 10 4 4 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:0.110 ID:48 (42,3,50) Graph |V|:89 Solution size:1359 Filtered solution size:532 Parallel solution length:92 Parallelism:5.783 Step parallelism:21 15 9 8 14 8 4 3 3 4 4 4 8 6 5 3 2 4 8 6 8 7 11 8 7 5 6 7 5 7 8 7 5 4 3 6 6 5 7 8 7 7 5 6 5 2 5 4 3 4 8 5 5 4 4 5 6 7 7 6 6 6 8 7 7 8 11 11 6 4 6 4 7 4 6 8 3 4 3 1 4 2 3 4 3 3 6 3 3 4 2 1 Solving time:0.060 Filtering time:0.100 ID:49 (42,3,51) Graph |V|:89 Solution size:1390 Filtered solution size:535 Parallel solution length:94 Parallelism:5.691 Step parallelism:21 15 9 8 14 8 4 3 3 4 4 4 8 6 5 3 2 4 7 6 8 7 11 6 7 5 6 7 5 7 8 7 5 4 3 6 6 5 7 8 7 7 5 4 5 2 5 4 3 4 8 5 6 5 6 5 6 7 5 10 9 6 6 5 4 4 8 7 5 3 4 5 5 7 3 5 3 7 3 1 5 7 7 5 4 4 4 4 5 5 4 4 1 1 Solving time:0.060 Filtering time:0.120 ID:50 (42,3,52) Graph |V|:89 Solution size:1390 Filtered solution size:525 Parallel solution length:92 Parallelism:5.707 Step parallelism:21 15 9 8 14 8 4 3 3 4 4 4 8 6 5 3 2 4 7 6 8 7 12 7 7 5 6 7 5 10 5 5 2 6 6 5 7 8 7 7 5 4 5 2 5 4 3 4 8 5 6 5 6 5 6 7 5 10 9 6 6 5 4 4 8 7 5 3 4 5 5 7 3 5 3 7 3 1 5 7 7 5 4 4 4 4 5 5 4 4 1 1 Solving time:0.060 Filtering time:0.120 ID:51 (42,3,53) Graph |V|:89 Solution size:1345 Filtered solution size:517 Parallel solution length:94 Parallelism:5.500 Step parallelism:22 14 9 9 12 7 5 6 3 4 4 4 7 5 3 2 4 9 9 13 7 5 7 7 6 6 6 6 7 3 6 3 8 6 3 5 8 7 9 5 5 4 3 4 4 2 6 5 9 2 1 5 6 8 5 2 3 4 1 6 6 6 3 4 4 7 7 4 6 5 5 6 4 4 4 4 7 3 2 4 8 4 9 7 5 5 4 3 6 5 3 3 2 2 Solving time:0.060 Filtering time:0.070 ID:52 (42,3,54) Graph |V|:89 Solution size:1409 Filtered solution size:522 Parallel solution length:95 Parallelism:5.495 Step parallelism:21 14 9 9 12 7 5 5 3 4 4 4 7 5 3 2 4 9 9 13 7 5 7 7 6 6 6 6 7 3 6 3 7 6 3 5 8 8 9 5 5 4 3 4 4 2 6 5 7 1 1 5 7 5 5 2 3 4 1 6 6 6 3 4 4 7 6 4 9 7 5 7 6 5 5 4 7 3 4 7 5 3 7 5 4 4 4 6 6 5 5 4 3 2 1 Solving time:0.060 Filtering time:0.070 ID:53 (42,3,55) Graph |V|:89 Solution size:1407 Filtered solution size:468 Parallel solution length:87 Parallelism:5.379 Step parallelism:20 13 9 9 13 8 6 5 3 4 4 4 6 7 13 8 8 7 7 3 6 6 4 6 3 7 3 7 6 4 7 4 8 10 6 5 3 2 3 4 2 6 6 7 1 1 5 7 5 5 2 3 4 1 5 7 6 3 3 2 2 2 5 4 7 6 4 6 6 6 9 8 6 4 6 3 3 7 6 8 5 3 3 1 1 3 2 Solving time:0.060 Filtering time:0.080 ID:54 (42,3,56) Graph |V|:89 Solution size:1388 Filtered solution size:503 Parallel solution length:93 Parallelism:5.409 Step parallelism:18 13 9 7 12 6 4 3 3 4 4 4 6 5 5 6 9 11 6 5 7 6 4 6 7 9 8 5 8 5 4 7 7 6 7 7 8 5 7 9 8 5 6 7 5 2 3 3 1 1 2 6 3 4 4 5 5 2 6 5 5 6 3 1 2 5 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:0.070 ID:55 (42,3,57) Graph |V|:89 Solution size:1390 Filtered solution size:453 Parallel solution length:85 Parallelism:5.329 Step parallelism:18 13 9 7 12 6 4 3 3 4 4 4 6 5 5 6 9 11 6 5 7 6 4 6 7 8 8 5 8 6 4 9 9 7 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 8 9 5 5 4 5 2 4 3 1 4 4 4 2 3 2 3 3 3 4 2 2 Solving time:0.060 Filtering time:0.070 ID:56 (42,3,58) Graph |V|:89 Solution size:1259 Filtered solution size:433 Parallel solution length:83 Parallelism:5.217 Step parallelism:16 11 8 6 12 5 3 3 3 4 4 3 5 4 7 6 6 7 10 6 6 5 1 6 6 7 6 6 3 7 6 3 5 8 9 6 4 5 4 4 8 6 8 6 10 4 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.060 Filtering time:0.050 ID:57 (42,3,59) Graph |V|:89 Solution size:1259 Filtered solution size:420 Parallel solution length:80 Parallelism:5.250 Step parallelism:16 11 8 6 12 5 3 3 3 4 4 3 5 4 7 5 5 7 10 6 6 5 1 6 5 7 6 6 4 7 6 3 6 8 7 7 5 9 6 8 6 10 4 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:0.050 ID:58 (42,3,60) Graph |V|:89 Solution size:1327 Filtered solution size:403 Parallel solution length:76 Parallelism:5.303 Step parallelism:15 11 8 6 12 5 3 3 3 4 4 3 5 4 6 4 5 7 10 6 6 7 1 4 5 7 6 6 6 5 6 5 4 5 5 5 10 10 6 4 4 5 6 7 8 5 7 6 5 6 6 8 5 7 5 5 8 7 6 7 6 4 5 3 2 3 4 2 2 1 1 2 3 2 2 1 Solving time:0.050 Filtering time:0.060 ID:59 (42,3,61) Graph |V|:89 Solution size:1310 Filtered solution size:381 Parallel solution length:79 Parallelism:4.823 Step parallelism:15 11 8 9 8 5 4 4 4 4 4 3 5 4 4 5 6 9 4 6 7 1 4 5 7 5 6 6 5 6 5 4 5 5 5 8 8 4 4 6 4 4 4 5 7 8 6 2 2 1 3 4 4 3 6 5 6 6 6 3 3 7 7 5 2 4 4 3 1 4 3 2 3 3 3 4 3 2 1 Solving time:0.050 Filtering time:0.060 ID:60 (42,3,62) Graph |V|:89 Solution size:1258 Filtered solution size:302 Parallel solution length:56 Parallelism:5.393 Step parallelism:14 10 7 8 10 5 4 4 3 4 6 3 5 7 11 10 6 3 5 1 6 4 6 8 6 5 7 8 8 7 7 5 6 9 3 4 3 2 5 4 4 5 4 2 5 8 6 5 6 3 3 2 3 4 2 1 Solving time:0.050 Filtering time:0.040 ID:61 (42,3,63) Graph |V|:89 Solution size:1258 Filtered solution size:296 Parallel solution length:56 Parallelism:5.286 Step parallelism:14 10 7 8 10 5 4 4 3 4 6 3 5 7 11 10 6 3 5 1 6 4 6 8 6 5 6 8 8 7 6 5 7 5 2 4 3 2 5 4 4 5 4 2 5 8 6 5 6 3 3 2 3 4 2 1 Solving time:0.060 Filtering time:0.030 ID:62 (42,3,64) Graph |V|:89 Solution size:1212 Filtered solution size:278 Parallel solution length:51 Parallelism:5.451 Step parallelism:15 10 7 8 10 6 4 4 3 4 5 3 5 7 11 10 6 3 5 1 5 4 7 7 5 5 5 8 7 8 7 7 2 3 3 4 4 5 5 4 5 6 5 8 6 4 3 3 3 2 1 Solving time:0.050 Filtering time:0.030 ID:63 (42,3,65) Graph |V|:89 Solution size:1212 Filtered solution size:272 Parallel solution length:51 Parallelism:5.333 Step parallelism:15 10 7 8 10 6 5 4 2 3 3 1 4 7 11 10 6 3 5 1 5 4 7 7 5 5 5 8 7 8 7 7 2 3 3 4 4 5 5 4 5 6 5 8 6 4 3 3 3 2 1 Solving time:0.050 Filtering time:0.030 ID:64 (42,3,66) Graph |V|:89 Solution size:1253 Filtered solution size:299 Parallel solution length:62 Parallelism:4.823 Step parallelism:14 10 7 8 10 5 5 4 2 3 4 1 4 7 9 10 6 3 5 1 7 5 7 4 6 5 5 5 6 5 8 6 3 2 3 4 7 5 4 3 4 3 5 3 1 1 4 3 6 5 5 5 3 3 5 4 4 6 4 3 3 1 Solving time:0.050 Filtering time:0.020 ID:65 (42,3,67) Graph |V|:89 Solution size:1168 Filtered solution size:238 Parallel solution length:50 Parallelism:4.760 Step parallelism:15 9 7 8 8 6 5 4 2 3 1 1 6 7 8 7 3 3 1 7 6 7 5 4 2 4 4 5 6 3 4 4 6 9 4 4 5 3 6 6 6 5 4 4 3 1 1 2 3 1 Solving time:0.050 Filtering time:0.020 ID:66 (42,3,68) Graph |V|:89 Solution size:1168 Filtered solution size:233 Parallel solution length:50 Parallelism:4.660 Step parallelism:15 9 7 8 8 6 4 2 1 2 1 1 6 7 8 7 3 3 1 7 6 7 5 4 2 4 4 5 6 3 4 4 6 9 4 4 5 3 6 6 6 5 4 4 3 1 1 2 3 1 Solving time:0.050 Filtering time:0.020 ID:67 (42,3,69) Graph |V|:89 Solution size:1284 Filtered solution size:250 Parallel solution length:56 Parallelism:4.464 Step parallelism:15 9 6 4 10 4 3 1 1 2 1 1 6 7 9 7 5 4 2 7 8 7 5 5 2 1 3 4 4 5 3 3 4 6 4 5 3 5 5 2 4 3 2 3 5 3 4 5 6 5 7 5 3 4 2 1 Solving time:0.050 Filtering time:0.020 ID:68 (42,3,70) Graph |V|:89 Solution size:1284 Filtered solution size:244 Parallel solution length:54 Parallelism:4.519 Step parallelism:14 9 6 4 10 4 3 1 1 2 1 1 6 7 9 7 5 4 2 7 8 7 5 5 2 1 3 4 4 6 8 5 5 3 3 4 4 2 4 3 2 3 5 3 4 5 6 5 7 5 3 4 2 1 Solving time:0.060 Filtering time:0.020 ID:69 (42,3,71) Graph |V|:89 Solution size:1284 Filtered solution size:236 Parallel solution length:52 Parallelism:4.538 Step parallelism:13 8 7 6 8 1 1 2 1 1 6 7 9 7 5 4 2 7 8 7 5 5 2 1 3 4 4 6 8 5 5 3 3 4 4 2 4 3 2 3 5 3 4 5 6 5 7 5 3 4 2 1 Solving time:0.060 Filtering time:0.020 ID:70 (42,3,72) Graph |V|:89 Solution size:1222 Filtered solution size:188 Parallel solution length:54 Parallelism:3.481 Step parallelism:14 7 3 5 4 1 1 1 2 1 1 4 3 3 3 1 2 4 7 4 2 7 6 6 3 3 3 5 4 4 6 4 3 4 6 5 5 6 4 4 2 2 2 4 2 1 1 1 1 3 2 2 2 2 Solving time:0.050 Filtering time:0.010 ID:71 (42,3,73) Graph |V|:89 Solution size:1222 Filtered solution size:179 Parallel solution length:54 Parallelism:3.315 Step parallelism:13 6 3 5 4 1 1 1 2 1 1 4 3 4 3 1 2 3 5 2 1 5 6 6 3 3 3 5 4 4 6 4 3 4 6 5 5 6 4 4 2 2 2 4 2 1 1 1 1 3 2 2 2 2 Solving time:0.050 Filtering time:0.010 ID:72 (42,3,74) Graph |V|:89 Solution size:1268 Filtered solution size:154 Parallel solution length:39 Parallelism:3.949 Step parallelism:11 5 3 3 5 3 1 1 1 2 1 1 3 3 4 6 3 3 3 5 5 4 4 4 3 7 5 6 6 7 6 6 5 5 5 4 2 2 1 Solving time:0.060 Filtering time:0.010 ID:73 (42,3,75) Graph |V|:89 Solution size:1207 Filtered solution size:159 Parallel solution length:46 Parallelism:3.457 Step parallelism:9 6 3 3 5 3 1 1 1 2 1 1 3 3 4 5 2 2 3 5 5 4 5 7 4 4 5 3 4 3 2 3 3 5 4 6 5 4 5 4 1 3 2 2 2 1 Solving time:0.050 Filtering time:0.010 ID:74 (42,3,76) Graph |V|:89 Solution size:1216 Filtered solution size:123 Parallel solution length:38 Parallelism:3.237 Step parallelism:9 6 3 5 3 1 1 1 2 1 1 3 3 3 5 2 2 2 4 4 1 5 8 4 3 5 4 4 3 3 4 3 3 3 3 2 2 2 Solving time:0.050 Filtering time:0.010 ID:75 (42,3,77) Graph |V|:89 Solution size:1216 Filtered solution size:114 Parallel solution length:30 Parallelism:3.800 Step parallelism:9 8 4 4 3 3 5 2 3 3 4 4 1 5 8 4 3 5 4 4 3 3 4 3 3 3 3 2 2 2 Solving time:0.060 Filtering time:0.000 ID:76 (42,3,78) Graph |V|:89 Solution size:1121 Filtered solution size:95 Parallel solution length:24 Parallelism:3.958 Step parallelism:8 9 5 4 2 4 3 5 5 1 3 5 4 4 4 2 5 6 4 3 4 3 1 1 Solving time:0.050 Filtering time:0.010 ID:77 (42,3,79) Graph |V|:89 Solution size:1121 Filtered solution size:88 Parallel solution length:20 Parallelism:4.400 Step parallelism:8 9 5 4 2 3 3 3 5 4 6 6 6 7 3 3 3 4 3 1 Solving time:0.050 Filtering time:0.000 ID:78 (42,3,80) Graph |V|:89 Solution size:1081 Filtered solution size:90 Parallel solution length:24 Parallelism:3.750 Step parallelism:9 7 5 5 6 4 2 3 2 4 4 4 5 6 3 3 2 3 3 3 3 2 1 1 Solving time:0.050 Filtering time:0.000 ID:79 (42,3,81) Graph |V|:89 Solution size:1051 Filtered solution size:74 Parallel solution length:19 Parallelism:3.895 Step parallelism:7 7 5 5 3 4 2 2 4 4 4 5 5 2 4 4 3 2 2 Solving time:0.040 Filtering time:0.010 ID:80 (42,3,82) Graph |V|:89 Solution size:1051 Filtered solution size:66 Parallel solution length:17 Parallelism:3.882 Step parallelism:6 6 5 5 3 3 3 4 4 5 5 2 4 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:60 Parallel solution length:16 Parallelism:3.750 Step parallelism:5 5 5 4 2 4 4 4 5 5 2 4 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:32 Parallel solution length:12 Parallelism:2.667 Step parallelism:4 3 2 2 1 3 3 4 4 4 1 1 Solving time:0.050 Filtering time:0.000 ID:83 (42,3,85) Graph |V|:89 Solution size:1027 Filtered solution size:30 Parallel solution length:13 Parallelism:2.308 Step parallelism:3 2 2 1 1 3 4 3 4 3 2 1 1 Solving time:0.050 Filtering time:0.000 ID:84 (42,3,86) Graph |V|:89 Solution size:997 Filtered solution size:21 Parallel solution length:10 Parallelism:2.100 Step parallelism:2 3 3 2 2 3 2 2 1 1 Solving time:0.040 Filtering time:0.000 ID:85 (42,3,87) Graph |V|:89 Solution size:917 Filtered solution size:9 Parallel solution length:6 Parallelism:1.500 Step parallelism:1 2 2 2 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