ID:0 (42,3,2) Graph |V|:89 Solution size:2269 Filtered solution size:2112 Parallel solution length:333 Parallelism:6.342 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 5 5 6 5 7 6 14 8 3 7 3 7 6 6 6 4 7 6 6 7 4 10 7 6 8 12 6 4 8 12 7 6 8 11 14 5 5 8 5 6 12 17 13 3 4 1 5 6 6 5 11 4 1 9 5 6 5 6 9 9 12 8 8 8 11 10 9 6 8 13 8 6 10 8 6 6 6 8 7 8 4 8 7 6 7 6 7 6 10 7 9 8 6 8 7 5 6 7 7 5 4 6 7 12 4 5 7 6 10 8 7 3 6 10 4 9 3 6 8 5 7 5 3 7 4 4 9 3 10 6 12 5 8 11 6 3 7 4 8 5 6 4 4 5 7 2 8 7 6 3 9 9 7 6 4 4 12 10 7 7 6 11 5 5 4 4 6 5 5 6 6 4 5 6 3 6 5 6 3 9 5 4 8 4 10 8 4 4 7 2 4 3 7 12 8 9 4 6 9 5 6 10 6 11 3 11 5 7 3 4 7 3 6 7 3 8 7 5 3 5 5 7 5 4 4 5 8 6 7 1 3 7 4 4 8 8 8 8 6 8 7 9 5 5 3 8 6 6 8 10 4 4 6 9 9 4 6 7 7 6 7 9 3 8 4 4 4 4 4 5 2 4 4 5 5 2 4 4 6 5 6 5 3 1 4 4 5 3 6 4 5 3 5 7 5 4 5 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:2029 Parallel solution length:311 Parallelism:6.524 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 5 5 6 5 7 6 14 8 3 7 3 7 9 6 6 4 7 6 6 7 6 10 12 8 2 8 5 9 13 9 6 14 13 5 8 5 6 12 17 13 3 4 1 5 6 6 5 11 4 1 9 5 6 7 3 5 9 6 7 10 10 6 9 9 6 8 13 8 6 10 8 6 6 6 8 7 8 4 11 5 8 4 6 11 10 5 6 5 8 10 7 8 6 8 6 9 7 4 6 10 7 5 7 11 5 9 5 9 6 7 7 6 7 5 5 4 7 6 3 5 6 7 4 6 5 12 9 8 4 7 6 3 6 10 7 9 7 6 4 4 12 10 7 7 6 10 4 6 6 5 10 4 7 9 11 9 4 7 5 8 3 6 6 6 5 4 4 7 10 6 6 7 8 6 6 3 4 6 10 4 8 5 7 11 5 7 3 11 8 3 4 3 9 3 7 5 5 7 5 5 7 3 5 8 5 9 6 7 1 3 5 4 8 7 11 9 7 5 7 6 6 8 6 7 5 7 4 5 3 7 10 6 6 7 5 5 4 2 5 9 2 6 6 3 7 6 5 7 6 5 7 5 3 6 3 6 5 5 4 6 5 5 7 5 3 4 7 5 3 6 4 5 3 8 6 6 6 1 Solving time:0.080 Filtering time:0.030 ID:2 (42,3,4) Graph |V|:89 Solution size:2254 Filtered solution size:2081 Parallel solution length:321 Parallelism:6.483 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 4 6 6 6 5 13 13 3 6 8 10 6 3 6 9 7 6 7 6 7 12 11 8 5 7 6 5 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 12 5 3 5 13 7 10 4 8 6 11 6 7 7 5 7 10 5 8 4 6 12 11 5 6 8 7 4 4 7 4 5 3 7 9 7 4 6 7 7 5 4 7 6 6 6 9 8 8 7 9 9 13 11 5 5 4 7 8 6 14 6 11 6 8 6 6 10 8 4 5 4 5 6 7 8 8 5 12 8 4 12 10 3 4 7 9 5 7 4 6 6 6 3 11 7 7 4 2 6 5 5 2 7 5 4 3 5 4 6 8 4 11 6 7 7 8 6 6 14 4 4 7 2 1 5 5 5 5 8 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 2 3 8 7 8 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 4 4 4 4 5 5 5 5 7 6 3 7 5 2 1 5 5 5 4 6 5 3 1 4 4 5 5 7 4 8 6 4 6 4 6 2 Solving time:0.090 Filtering time:0.020 ID:3 (42,3,5) Graph |V|:89 Solution size:2140 Filtered solution size:1969 Parallel solution length:302 Parallelism:6.520 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 4 6 6 6 5 13 13 3 6 8 10 6 3 6 9 7 6 7 6 7 12 11 8 5 4 12 4 5 8 20 9 8 5 6 12 14 13 6 6 8 6 4 7 16 9 5 9 12 10 10 8 5 3 5 13 7 9 6 8 7 6 6 8 7 7 4 2 6 6 7 6 7 6 7 10 3 10 8 18 10 6 6 3 15 11 4 6 9 6 3 4 6 8 5 6 6 3 9 8 3 15 8 4 6 5 4 4 9 9 9 6 4 8 3 6 11 11 5 6 7 4 2 3 7 6 9 11 7 4 8 4 6 10 10 9 4 7 4 4 4 5 10 4 7 9 11 6 7 6 7 5 8 4 8 6 7 4 7 8 7 7 9 5 7 4 11 8 9 7 4 6 10 4 7 5 7 3 6 4 8 6 3 6 5 5 3 7 5 7 5 4 2 4 7 5 4 5 7 3 7 6 4 5 3 1 3 4 2 3 6 4 4 8 8 8 6 5 7 4 9 7 9 10 4 11 9 4 3 7 9 5 1 4 4 6 8 3 6 4 6 8 6 6 5 3 6 3 7 5 5 4 8 3 1 5 5 5 4 4 6 5 5 3 4 4 6 4 6 7 4 5 3 6 3 Solving time:0.090 Filtering time:0.020 ID:4 (42,3,6) Graph |V|:89 Solution size:2030 Filtered solution size:1858 Parallel solution length:279 Parallelism:6.659 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 4 6 6 6 5 13 13 4 6 10 10 6 3 6 9 7 6 7 6 7 12 11 8 5 4 12 4 7 14 11 12 5 6 12 14 13 6 6 8 6 4 7 16 9 5 9 14 12 9 10 3 5 9 7 6 6 8 6 6 6 7 7 8 4 7 7 6 7 6 7 10 3 10 8 18 10 11 12 7 12 11 1 9 4 10 10 5 4 3 3 10 10 15 10 4 6 5 4 4 9 10 4 6 9 5 6 5 7 8 5 8 4 6 9 4 7 7 4 7 6 10 4 8 4 4 14 5 5 5 7 7 9 8 4 5 9 7 6 5 5 5 7 5 2 3 7 8 6 2 1 3 6 6 3 5 6 8 10 8 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 3 1 3 4 2 3 5 5 3 8 7 11 9 7 11 9 7 9 10 4 11 7 5 9 9 4 5 2 5 3 7 6 5 7 6 5 7 5 5 4 5 3 6 5 4 8 3 5 4 7 5 2 4 5 4 5 2 3 6 1 4 4 6 4 4 4 1 Solving time:0.090 Filtering time:0.010 ID:5 (42,3,7) Graph |V|:89 Solution size:2131 Filtered solution size:1942 Parallel solution length:288 Parallelism:6.743 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 4 6 6 6 5 13 13 4 6 10 10 6 3 6 9 7 6 7 6 7 12 11 8 5 4 12 4 7 9 11 12 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 10 8 7 9 3 5 7 10 5 8 9 9 10 6 11 6 10 3 8 10 12 5 9 9 5 11 10 5 6 5 3 7 10 2 6 15 10 7 6 6 6 6 4 6 8 5 9 7 10 10 9 10 10 6 7 4 11 8 7 1 5 4 11 4 4 11 10 4 4 7 10 6 7 8 8 4 6 6 5 5 5 5 4 7 6 6 5 7 4 8 4 7 3 8 5 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 8 6 11 6 2 3 6 8 7 10 8 6 8 7 5 7 6 6 8 6 5 8 7 10 8 6 6 5 3 6 4 7 4 6 9 3 7 6 3 9 7 5 4 4 5 2 1 4 4 5 6 4 8 3 1 4 4 5 3 4 7 5 6 4 3 6 6 5 1 Solving time:0.080 Filtering time:0.020 ID:6 (42,3,8) Graph |V|:89 Solution size:2053 Filtered solution size:1855 Parallel solution length:282 Parallelism:6.578 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 4 6 7 4 4 12 13 4 6 10 10 6 3 6 9 7 6 7 6 7 12 11 8 5 7 6 5 7 9 12 11 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 5 8 4 7 7 10 6 5 6 4 5 10 5 9 5 7 16 11 10 10 8 8 9 3 9 8 7 5 6 7 5 11 10 5 6 6 6 4 4 9 5 6 9 14 4 5 6 9 5 4 6 7 8 9 8 8 9 9 6 3 6 5 11 1 5 7 7 9 5 8 11 6 9 10 7 5 5 6 4 9 7 7 6 9 4 5 8 5 6 6 5 4 2 3 7 6 5 4 5 6 14 7 10 7 8 5 10 10 8 4 5 9 4 5 9 8 7 2 3 10 5 4 7 7 2 3 4 4 9 4 6 3 2 4 4 8 4 3 10 6 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 4 6 5 8 7 5 3 6 8 3 4 5 5 3 1 5 2 6 4 5 5 4 3 6 4 3 5 3 5 3 2 Solving time:0.080 Filtering time:0.010 ID:7 (42,3,9) Graph |V|:89 Solution size:2045 Filtered solution size:1860 Parallel solution length:277 Parallelism:6.715 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 6 5 7 12 8 10 5 7 6 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 4 9 5 7 14 11 13 14 13 16 9 9 12 4 3 4 6 8 5 6 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 9 5 11 10 9 9 9 4 12 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 3 6 3 8 8 5 9 10 2 5 3 4 9 10 5 8 8 11 6 5 4 7 7 7 5 4 1 5 4 7 5 3 5 2 4 4 8 9 11 7 5 5 6 8 6 8 6 8 3 5 5 7 7 7 7 8 3 7 5 5 5 6 5 4 6 7 4 5 3 4 4 5 6 2 6 6 6 5 3 7 5 5 5 4 6 6 4 6 4 4 4 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:1739 Parallel solution length:261 Parallelism:6.663 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 9 7 6 6 5 7 12 8 10 7 6 6 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 3 7 6 5 6 7 6 4 12 5 6 5 5 10 7 4 7 6 4 4 8 5 3 4 7 4 11 3 3 7 3 3 6 5 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 3 7 3 6 7 8 7 4 7 8 4 3 4 6 4 5 4 5 6 4 5 6 4 3 2 2 2 2 4 3 2 5 3 1 Solving time:0.090 Filtering time:0.010 ID:9 (42,3,11) Graph |V|:89 Solution size:1835 Filtered solution size:1620 Parallel solution length:242 Parallelism:6.694 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 7 6 6 6 5 7 12 8 10 7 6 6 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 12 13 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 8 6 6 3 6 5 6 2 7 6 6 5 4 11 10 6 7 12 5 4 4 10 4 3 9 7 4 12 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 1 4 2 4 5 3 5 4 6 5 5 3 4 4 5 4 4 2 5 3 1 Solving time:0.080 Filtering time:0.020 ID:10 (42,3,12) Graph |V|:89 Solution size:1884 Filtered solution size:1622 Parallel solution length:241 Parallelism:6.730 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 7 6 6 6 5 7 12 9 11 7 5 13 10 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 4 13 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 10 5 4 2 1 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 8 4 8 8 9 4 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 5 1 3 5 7 5 3 3 6 3 5 4 4 3 5 4 3 5 5 4 4 2 4 4 6 5 5 2 3 4 2 4 1 Solving time:0.080 Filtering time:0.010 ID:11 (42,3,13) Graph |V|:89 Solution size:1931 Filtered solution size:1676 Parallel solution length:241 Parallelism:6.954 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 7 9 10 6 5 7 12 9 11 7 5 13 10 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 6 13 6 6 5 3 4 8 9 4 7 5 2 5 5 11 8 9 7 7 4 3 10 5 4 5 8 9 7 6 3 6 5 9 6 6 9 14 8 10 6 1 3 6 6 6 9 13 13 8 7 8 4 3 10 9 6 7 11 6 5 8 8 10 8 8 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 3 4 5 4 7 6 5 4 5 4 3 4 5 3 2 4 1 Solving time:0.070 Filtering time:0.020 ID:12 (42,3,14) Graph |V|:89 Solution size:1872 Filtered solution size:1579 Parallel solution length:241 Parallelism:6.552 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 7 9 10 6 5 7 12 9 11 7 5 13 10 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 4 5 5 8 7 7 12 7 5 8 7 10 6 6 8 4 10 8 7 3 7 10 6 4 3 4 4 5 3 8 3 4 11 11 10 3 2 1 4 3 4 10 8 5 5 3 4 3 3 5 10 2 5 6 8 10 9 7 2 3 3 3 4 6 5 8 13 8 7 10 3 4 5 6 7 6 5 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 4 5 6 3 3 3 4 2 6 4 4 4 2 3 4 3 4 2 Solving time:0.080 Filtering time:0.010 ID:13 (42,3,15) Graph |V|:89 Solution size:1879 Filtered solution size:1578 Parallel solution length:236 Parallelism:6.686 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 7 9 10 6 5 8 11 9 11 7 5 15 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 7 7 5 7 6 5 4 6 11 6 4 5 4 2 8 5 4 4 5 5 8 10 10 7 4 2 5 6 12 12 11 8 9 6 7 9 8 9 11 13 7 5 5 7 10 3 6 7 4 8 6 4 3 8 6 3 2 5 4 3 5 5 3 4 5 7 4 3 5 5 6 4 4 4 5 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:1571 Parallel solution length:235 Parallelism:6.685 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 7 8 9 5 4 7 11 13 10 5 15 10 10 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 7 7 5 7 6 5 4 6 11 6 4 5 4 2 8 5 4 4 5 5 8 10 10 7 4 2 5 6 12 12 11 8 9 6 7 9 8 9 11 13 7 5 5 7 10 3 6 7 4 8 6 4 3 8 6 3 2 5 4 3 5 5 3 4 5 7 4 3 5 5 6 4 4 4 5 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.020 ID:15 (42,3,17) Graph |V|:89 Solution size:1824 Filtered solution size:1499 Parallel solution length:210 Parallelism:7.138 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 7 7 8 6 7 7 11 13 10 5 15 10 10 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 6 5 9 5 7 5 5 8 9 6 9 7 11 10 10 6 5 9 9 7 6 10 7 8 8 4 7 5 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 3 5 6 6 5 6 6 4 7 6 3 2 3 4 5 4 3 4 5 3 4 3 Solving time:0.080 Filtering time:0.010 ID:16 (42,3,18) Graph |V|:89 Solution size:1933 Filtered solution size:1562 Parallel solution length:231 Parallelism:6.762 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 7 7 8 6 7 7 11 13 10 5 13 10 10 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 9 13 9 5 7 7 5 5 11 9 7 6 7 5 7 5 7 4 7 8 5 4 8 10 7 6 6 5 8 8 5 8 12 5 10 4 9 6 5 5 5 5 8 2 6 6 8 6 3 5 7 6 6 5 5 4 6 5 6 6 5 10 14 9 9 4 6 5 4 5 4 9 4 4 8 4 4 5 4 3 3 3 5 3 5 4 5 2 5 5 6 7 7 5 2 5 4 6 5 4 3 4 3 3 3 4 2 4 2 Solving time:0.090 Filtering time:0.010 ID:17 (42,3,19) Graph |V|:89 Solution size:1907 Filtered solution size:1522 Parallel solution length:233 Parallelism:6.532 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 10 4 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 6 2 3 9 8 6 8 7 8 5 7 8 7 5 6 4 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 7 3 9 4 7 3 4 12 10 8 7 5 2 4 4 5 5 4 4 2 6 3 7 3 8 9 9 7 6 3 5 4 6 6 8 4 7 6 6 4 4 5 7 11 6 11 9 2 2 6 6 9 4 6 6 3 4 4 5 4 3 8 4 5 6 5 5 3 2 6 3 5 6 2 4 4 4 4 4 2 1 2 4 3 5 3 2 4 1 Solving time:0.080 Filtering time:0.010 ID:18 (42,3,20) Graph |V|:89 Solution size:1907 Filtered solution size:1516 Parallel solution length:232 Parallelism:6.534 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 10 4 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 6 2 3 9 8 6 8 7 8 5 7 8 7 5 6 4 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 7 3 9 4 7 3 4 12 10 8 7 5 2 4 4 5 5 4 4 2 6 3 7 3 8 9 9 7 6 3 5 4 6 6 8 4 7 6 6 4 4 5 7 11 6 11 9 2 2 6 6 9 4 6 6 3 4 4 5 4 3 8 4 5 6 5 5 3 2 6 3 5 6 2 4 4 4 4 4 2 1 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:1474 Parallel solution length:229 Parallelism:6.437 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 10 4 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 6 2 3 9 8 6 8 7 9 5 6 7 6 5 5 7 1 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 7 12 8 7 6 3 1 4 6 7 8 6 8 9 8 8 3 4 4 7 5 7 9 5 6 6 5 6 5 4 7 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 4 6 5 4 4 6 3 4 2 3 4 3 3 3 4 3 1 4 2 4 1 Solving time:0.070 Filtering time:0.010 ID:20 (42,3,22) Graph |V|:89 Solution size:1826 Filtered solution size:1434 Parallel solution length:221 Parallelism:6.489 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 3 4 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 4 5 8 6 8 4 3 10 10 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 3 8 11 10 5 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 3 5 5 2 4 1 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:1373 Parallel solution length:197 Parallelism:6.970 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 5 7 6 9 12 10 14 5 3 12 9 4 4 4 7 9 10 11 13 15 14 9 11 8 10 8 8 7 3 11 8 7 7 4 8 13 11 7 8 9 11 7 5 3 4 7 6 6 5 8 7 3 11 8 8 4 4 3 5 7 8 10 8 11 5 10 9 4 7 8 13 13 15 7 4 6 7 4 3 1 6 6 13 6 4 5 2 2 1 4 4 6 8 10 7 8 3 9 11 10 16 9 5 9 10 9 10 12 7 3 3 7 7 8 9 9 9 4 6 9 3 10 4 4 4 6 4 4 8 5 4 1 4 6 5 5 6 6 2 3 2 4 4 5 3 4 5 4 3 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:1315 Parallel solution length:190 Parallelism:6.921 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 5 7 6 9 12 9 13 5 3 12 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 4 3 12 8 9 6 4 5 5 7 11 10 8 11 7 6 6 9 10 8 4 5 5 12 15 7 6 7 2 4 7 5 5 6 4 1 2 2 3 1 1 4 5 8 9 9 8 14 13 5 6 4 5 5 3 6 7 4 6 3 4 11 6 13 6 6 8 6 2 4 9 5 5 3 6 5 3 5 4 6 7 7 4 6 6 4 6 4 6 5 6 5 5 8 5 5 6 2 4 1 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:1308 Parallel solution length:190 Parallelism:6.884 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 5 7 6 9 12 9 13 5 3 12 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 4 3 12 8 9 6 4 5 5 7 11 10 8 11 7 6 6 9 10 8 4 5 5 12 15 7 6 7 2 4 7 5 5 6 4 1 2 2 3 1 1 4 5 8 9 9 8 14 13 5 6 4 5 5 3 6 7 4 6 3 4 11 6 13 6 6 8 6 2 4 9 5 5 3 6 5 3 5 4 6 7 7 4 6 6 4 6 4 6 5 6 5 5 8 5 5 6 2 4 1 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:1379 Parallel solution length:216 Parallelism:6.384 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 7 6 4 7 4 5 10 10 17 11 5 9 9 5 7 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 8 8 3 9 3 7 9 5 4 1 8 4 11 7 8 8 8 7 2 9 7 7 4 4 5 11 7 7 6 8 8 6 4 8 5 5 5 7 4 5 5 7 13 11 9 7 9 3 6 4 8 8 8 4 4 7 9 9 6 9 6 5 5 5 7 9 6 3 4 5 4 5 5 12 5 7 7 5 6 5 8 5 9 3 4 1 1 4 3 6 2 4 5 5 7 3 5 7 4 4 5 6 8 6 4 3 4 2 3 2 2 1 2 2 4 1 1 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:1345 Parallel solution length:201 Parallelism:6.692 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 9 6 4 7 4 4 5 6 6 16 13 14 7 7 8 4 6 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 8 7 3 12 7 12 11 14 4 12 4 9 9 8 10 11 10 7 7 11 8 13 11 9 7 7 5 4 7 9 7 8 4 14 9 5 7 10 6 5 8 5 8 10 9 4 3 4 4 2 1 5 3 1 4 6 7 10 7 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 6 4 3 5 4 3 2 2 2 2 3 3 6 4 1 Solving time:0.070 Filtering time:0.010 ID:26 (42,3,28) Graph |V|:89 Solution size:1804 Filtered solution size:1314 Parallel solution length:202 Parallelism:6.505 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 9 6 4 7 4 4 5 6 6 15 11 16 9 8 4 6 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 11 10 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 11 4 6 11 9 6 8 8 3 6 2 8 7 4 5 3 6 5 3 7 6 6 4 5 4 2 4 3 6 4 5 3 6 6 5 7 7 3 5 5 5 3 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:1338 Parallel solution length:214 Parallelism:6.252 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 15 9 6 2 2 5 13 7 8 8 4 6 7 4 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 8 8 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 4 4 5 4 5 9 5 5 8 3 1 1 2 8 11 11 9 9 5 3 2 4 3 4 5 8 7 7 9 12 7 6 7 4 5 6 5 5 3 5 10 6 7 10 11 3 3 4 4 6 5 6 4 5 5 5 7 3 5 7 5 3 5 4 9 8 10 3 4 6 5 5 5 3 5 7 3 5 5 3 6 6 4 5 5 6 3 3 3 4 3 2 3 4 3 Solving time:0.070 Filtering time:0.010 ID:28 (42,3,30) Graph |V|:89 Solution size:1726 Filtered solution size:1236 Parallel solution length:205 Parallelism:6.029 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 10 4 6 7 4 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 8 8 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 3 3 4 3 2 4 4 2 1 3 2 7 5 6 4 5 8 9 8 4 4 2 1 4 8 5 8 7 3 5 7 7 11 10 7 6 7 4 1 3 5 3 5 3 4 7 9 11 8 5 6 5 4 5 5 5 5 6 6 7 1 3 4 5 5 4 3 5 4 5 3 5 5 5 7 5 3 5 3 4 4 1 3 4 6 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:1271 Parallel solution length:201 Parallelism:6.323 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 3 6 9 5 5 7 4 3 9 8 10 10 3 4 11 7 9 8 6 6 5 7 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 4 3 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 5 4 7 4 5 7 8 6 4 4 9 11 8 9 5 4 5 4 3 5 5 5 8 11 11 8 5 1 6 8 10 7 5 2 4 8 4 2 5 3 8 6 6 6 7 4 6 6 11 9 4 3 6 3 7 3 5 6 4 3 6 6 5 4 3 4 3 4 2 2 Solving time:0.080 Filtering time:0.010 ID:30 (42,3,32) Graph |V|:89 Solution size:1671 Filtered solution size:1175 Parallel solution length:181 Parallelism:6.492 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 9 9 8 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 4 4 8 5 9 1 3 5 3 5 7 9 7 7 9 8 4 7 6 5 10 9 5 5 7 9 9 8 4 9 5 7 4 3 9 8 3 5 6 5 6 5 5 10 12 12 6 8 6 6 9 7 8 5 9 9 4 4 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 8 5 3 4 4 3 2 2 4 1 Solving time:0.080 Filtering time:0.000 ID:31 (42,3,33) Graph |V|:89 Solution size:1700 Filtered solution size:1168 Parallel solution length:187 Parallelism:6.246 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 9 9 8 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 9 6 8 8 7 7 7 6 8 6 9 3 4 4 5 7 4 6 7 5 5 3 6 5 5 5 5 3 4 4 9 5 6 7 10 7 9 6 11 6 6 5 4 3 7 6 8 6 5 5 6 3 7 5 7 8 5 9 4 1 6 6 1 2 4 3 7 3 5 4 3 5 2 3 6 6 5 5 4 4 3 4 4 3 5 4 4 5 3 1 Solving time:0.070 Filtering time:0.010 ID:32 (42,3,34) Graph |V|:89 Solution size:1700 Filtered solution size:1161 Parallel solution length:187 Parallelism:6.209 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 9 9 8 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 9 6 8 8 7 7 7 6 8 6 9 3 4 4 5 7 4 6 7 5 5 3 6 5 5 5 5 3 4 4 9 5 6 7 10 7 9 6 11 6 6 5 4 3 7 6 8 6 5 5 6 3 7 5 7 8 5 9 4 1 6 6 1 2 4 3 7 3 5 4 3 5 2 3 6 6 5 5 4 4 3 4 4 3 5 4 4 5 3 1 Solving time:0.070 Filtering time:0.010 ID:33 (42,3,35) Graph |V|:89 Solution size:1688 Filtered solution size:1125 Parallel solution length:183 Parallelism:6.148 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 9 9 8 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 7 8 10 8 6 7 10 8 7 9 7 5 4 3 8 7 5 5 7 7 7 8 5 9 8 5 5 6 7 3 4 5 5 1 4 5 7 7 7 5 4 7 4 2 1 2 7 9 6 9 8 6 6 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 3 2 4 3 4 1 Solving time:0.080 Filtering time:0.010 ID:34 (42,3,36) Graph |V|:89 Solution size:1630 Filtered solution size:1072 Parallel solution length:171 Parallelism:6.269 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 8 9 9 5 13 11 10 5 4 6 4 4 5 4 7 8 8 12 14 13 10 12 12 17 8 8 11 8 6 3 9 8 5 8 10 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 8 9 9 9 4 4 6 4 8 5 6 6 9 4 4 5 3 4 4 8 4 6 5 4 5 4 5 5 4 4 5 4 2 4 4 3 3 4 3 4 5 3 4 2 3 1 4 4 4 3 3 Solving time:0.070 Filtering time:0.010 ID:35 (42,3,37) Graph |V|:89 Solution size:1605 Filtered solution size:1040 Parallel solution length:162 Parallelism:6.420 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 6 6 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 7 10 10 7 4 10 8 10 9 6 9 7 6 5 5 5 5 4 5 4 6 5 9 7 4 4 4 3 7 5 5 7 6 5 6 2 8 7 6 5 5 9 7 5 1 4 11 11 11 6 4 7 4 3 3 2 4 7 3 3 6 6 5 2 4 6 6 4 3 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:1077 Parallel solution length:181 Parallelism:5.950 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 4 6 4 7 7 11 10 10 7 6 7 6 13 13 6 5 5 8 10 8 8 8 6 5 9 7 8 8 7 6 7 8 6 5 6 6 7 7 5 11 8 8 6 9 5 5 4 5 4 4 4 5 7 6 2 4 9 8 6 5 8 9 8 8 10 4 5 3 4 6 4 7 5 5 6 7 4 7 5 8 6 6 4 5 2 3 2 6 5 6 5 6 4 6 8 4 3 5 4 2 1 3 3 5 5 5 3 6 4 2 4 3 2 4 6 5 5 5 4 3 2 2 2 2 3 3 5 3 Solving time:0.070 Filtering time:0.010 ID:37 (42,3,39) Graph |V|:89 Solution size:1681 Filtered solution size:1082 Parallel solution length:182 Parallelism:5.945 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 9 11 4 4 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 9 8 5 5 5 7 14 10 11 11 9 8 5 3 4 9 9 4 8 9 7 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 5 6 6 5 2 5 6 4 9 7 3 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 10 9 7 7 5 4 5 8 6 5 6 3 4 5 4 1 2 2 3 5 5 3 3 3 4 4 4 3 4 3 Solving time:0.070 Filtering time:0.010 ID:38 (42,3,40) Graph |V|:89 Solution size:1661 Filtered solution size:1066 Parallel solution length:183 Parallelism:5.825 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 11 11 4 4 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 10 6 4 3 3 6 7 6 8 8 8 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 6 3 7 9 10 12 6 7 4 7 5 7 8 5 4 5 7 6 1 5 5 2 3 3 1 6 4 5 8 5 8 5 3 9 3 3 4 7 6 4 3 5 6 6 4 4 3 2 4 5 4 6 4 4 4 4 3 4 5 3 2 2 Solving time:0.070 Filtering time:0.010 ID:39 (42,3,41) Graph |V|:89 Solution size:1661 Filtered solution size:1057 Parallel solution length:181 Parallelism:5.840 Step parallelism:27 15 5 5 6 4 10 5 4 7 8 7 4 3 3 4 6 7 5 4 5 3 3 5 3 7 7 10 11 11 4 4 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 10 6 4 3 3 6 7 6 8 8 8 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 6 3 7 9 10 12 6 7 4 7 5 7 8 5 4 5 7 6 1 5 5 2 3 3 1 6 4 5 8 5 8 5 3 9 3 3 4 7 6 4 3 5 6 6 4 4 3 2 4 5 4 6 4 4 4 4 3 4 5 3 2 2 Solving time:0.060 Filtering time:0.010 ID:40 (42,3,42) Graph |V|:89 Solution size:1592 Filtered solution size:967 Parallel solution length:166 Parallelism:5.825 Step parallelism:27 15 5 5 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 8 7 5 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 4 9 9 9 4 7 7 5 6 6 3 3 6 8 8 3 4 5 6 4 3 3 2 4 6 8 1 3 5 7 3 5 6 5 5 3 4 2 3 6 3 4 2 2 5 4 3 3 6 4 5 5 5 5 4 3 3 Solving time:0.070 Filtering time:0.010 ID:41 (42,3,43) Graph |V|:89 Solution size:1592 Filtered solution size:960 Parallel solution length:165 Parallelism:5.818 Step parallelism:26 15 5 5 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 8 7 5 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 4 9 9 9 4 7 7 5 6 6 3 3 6 8 8 3 4 5 6 4 3 3 2 4 6 8 1 3 5 7 3 5 6 5 5 3 4 2 3 6 3 4 2 2 5 4 3 3 6 4 5 5 5 5 4 3 3 Solving time:0.070 Filtering time:0.000 ID:42 (42,3,44) Graph |V|:89 Solution size:1574 Filtered solution size:981 Parallel solution length:165 Parallelism:5.945 Step parallelism:25 15 3 5 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 5 11 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 8 7 5 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 10 11 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 Solving time:0.060 Filtering time:0.010 ID:43 (42,3,45) Graph |V|:89 Solution size:1656 Filtered solution size:1007 Parallel solution length:181 Parallelism:5.564 Step parallelism:24 15 3 5 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 5 11 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 11 12 5 3 6 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 13 11 5 9 5 4 6 6 8 7 4 3 1 5 4 5 8 4 2 4 7 5 5 5 8 5 1 1 1 1 6 6 2 3 3 4 4 3 2 5 4 4 5 2 3 4 3 5 2 2 6 5 4 4 7 3 4 2 3 5 4 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:914 Parallel solution length:164 Parallelism:5.573 Step parallelism:25 16 3 5 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 5 11 6 10 7 3 2 1 6 6 6 8 7 6 10 9 7 8 6 12 6 5 8 7 5 8 8 6 7 7 9 8 6 3 2 4 3 3 6 5 5 6 12 8 6 4 9 4 6 4 3 6 8 7 10 5 6 7 5 6 6 8 7 4 5 7 7 6 3 4 3 5 7 9 6 5 7 8 9 4 7 5 4 1 5 5 5 6 2 4 8 8 7 9 9 4 5 3 4 4 2 7 9 6 6 4 3 4 5 7 5 4 5 5 3 4 3 4 3 2 3 4 2 3 3 2 1 1 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:847 Parallel solution length:150 Parallelism:5.647 Step parallelism:24 16 3 4 5 4 9 5 4 9 9 4 3 3 3 4 4 3 6 7 5 3 4 3 4 6 10 6 6 10 9 8 4 5 3 5 8 6 2 7 7 4 10 4 6 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 6 7 5 7 12 6 13 10 8 7 7 5 6 7 9 9 7 8 7 8 5 2 3 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 4 5 6 6 4 3 1 2 4 1 Solving time:0.070 Filtering time:0.000 ID:46 (42,3,48) Graph |V|:89 Solution size:1494 Filtered solution size:825 Parallel solution length:144 Parallelism:5.729 Step parallelism:24 17 5 5 6 4 8 5 4 10 9 4 3 3 3 4 5 3 5 8 6 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 7 4 6 9 4 5 6 8 10 8 7 10 4 4 4 5 6 3 4 4 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 5 5 4 7 8 3 7 3 5 5 3 6 6 5 4 3 4 4 4 4 5 6 3 4 5 2 4 3 2 2 1 Solving time:0.070 Filtering time:0.000 ID:47 (42,3,49) Graph |V|:89 Solution size:1389 Filtered solution size:736 Parallel solution length:138 Parallelism:5.333 Step parallelism:24 17 7 7 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 4 7 8 6 7 7 6 8 8 10 11 5 5 2 5 6 3 3 2 5 3 4 5 14 8 6 7 6 9 6 4 4 3 4 5 9 10 8 4 3 4 2 2 4 6 7 2 3 3 3 7 6 4 5 8 6 6 3 4 4 10 4 5 4 3 6 6 6 3 4 3 5 5 3 3 4 3 2 2 2 4 3 3 3 2 1 1 3 3 3 Solving time:0.070 Filtering time:0.000 ID:48 (42,3,50) Graph |V|:89 Solution size:1359 Filtered solution size:692 Parallel solution length:128 Parallelism:5.406 Step parallelism:23 16 8 8 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 7 8 8 3 6 3 5 3 1 4 8 5 6 3 4 4 4 6 7 8 7 7 6 6 6 7 7 7 12 11 7 6 6 5 2 3 5 5 5 5 8 7 8 7 5 8 5 5 6 3 2 4 3 3 4 3 1 2 2 3 4 4 2 3 2 3 2 2 2 2 1 1 3 1 Solving time:0.060 Filtering time:0.010 ID:49 (42,3,51) Graph |V|:89 Solution size:1390 Filtered solution size:695 Parallel solution length:121 Parallelism:5.744 Step parallelism:23 16 8 8 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 7 6 8 3 6 3 5 3 1 4 8 5 6 3 5 4 4 6 7 6 8 9 8 8 7 7 5 6 9 7 8 8 7 5 7 3 5 6 7 5 6 7 5 5 5 7 6 1 4 6 7 5 8 4 5 4 4 5 6 4 5 1 2 1 2 2 1 Solving time:0.060 Filtering time:0.000 ID:50 (42,3,52) Graph |V|:89 Solution size:1390 Filtered solution size:689 Parallel solution length:120 Parallelism:5.742 Step parallelism:23 16 8 8 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 7 6 8 3 6 3 5 3 1 4 8 5 6 3 5 4 4 6 7 6 8 9 8 8 7 7 5 6 9 7 8 8 7 5 7 3 5 6 7 5 6 7 5 5 5 7 6 1 4 6 7 5 8 4 5 4 4 5 6 4 5 1 2 1 2 2 1 Solving time:0.050 Filtering time:0.010 ID:51 (42,3,53) Graph |V|:89 Solution size:1345 Filtered solution size:625 Parallel solution length:118 Parallelism:5.297 Step parallelism:22 14 8 9 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 3 6 8 5 6 8 7 10 7 7 6 5 4 2 2 3 2 6 6 11 3 1 5 6 8 6 6 6 4 1 6 7 6 4 3 3 1 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 7 6 4 5 4 4 3 6 4 4 5 3 3 1 1 Solving time:0.060 Filtering time:0.000 ID:52 (42,3,54) Graph |V|:89 Solution size:1409 Filtered solution size:632 Parallel solution length:123 Parallelism:5.138 Step parallelism:21 14 8 9 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 7 7 4 5 8 7 10 7 7 6 5 5 2 2 3 2 6 6 9 2 1 5 7 5 6 5 5 4 1 6 7 6 4 3 3 1 2 4 7 8 6 4 4 4 5 5 6 5 5 5 2 7 3 5 8 5 6 3 4 3 6 5 6 4 4 3 1 6 4 2 4 2 3 4 2 2 4 2 3 3 2 1 Solving time:0.060 Filtering time:0.010 ID:53 (42,3,55) Graph |V|:89 Solution size:1407 Filtered solution size:618 Parallel solution length:116 Parallelism:5.328 Step parallelism:20 13 8 9 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 7 7 5 7 4 8 9 7 7 5 5 5 2 2 3 2 6 7 11 3 1 5 7 5 6 4 4 5 2 5 7 7 4 3 2 2 2 5 4 7 7 6 4 6 6 6 6 9 7 6 6 6 5 3 6 3 4 5 3 5 3 2 4 1 1 6 7 5 3 6 4 3 2 4 4 4 3 2 3 2 Solving time:0.060 Filtering time:0.000 ID:54 (42,3,56) Graph |V|:89 Solution size:1388 Filtered solution size:609 Parallel solution length:113 Parallelism:5.389 Step parallelism:19 13 7 7 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 6 8 5 4 8 7 7 7 7 6 5 4 7 7 9 7 6 5 2 4 4 3 3 6 3 4 4 6 6 2 6 4 4 2 4 2 3 6 5 7 9 8 4 5 5 5 1 6 6 8 6 8 6 6 7 4 5 5 5 3 6 5 3 3 4 3 3 3 3 3 3 3 2 2 Solving time:0.050 Filtering time:0.010 ID:55 (42,3,57) Graph |V|:89 Solution size:1390 Filtered solution size:576 Parallel solution length:116 Parallelism:4.966 Step parallelism:19 13 7 7 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 7 10 7 5 8 7 5 5 7 3 4 5 6 8 9 5 4 7 5 4 6 6 3 4 4 6 6 2 6 4 4 4 4 2 6 6 2 2 2 4 6 6 3 4 5 2 5 5 4 5 6 5 6 5 2 6 5 5 3 1 1 3 3 2 3 1 2 2 3 3 3 3 2 3 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:541 Parallel solution length:110 Parallelism:4.918 Step parallelism:18 12 5 5 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 6 7 6 4 4 2 5 5 3 5 4 7 6 3 5 8 8 6 5 7 6 6 2 2 5 4 5 3 4 3 5 6 6 8 3 5 6 9 7 5 6 5 3 6 6 2 4 2 6 4 3 5 7 7 5 5 3 4 4 2 5 4 7 4 3 2 4 4 4 4 3 4 3 2 2 3 4 3 3 3 1 Solving time:0.050 Filtering time:0.000 ID:57 (42,3,59) Graph |V|:89 Solution size:1259 Filtered solution size:530 Parallel solution length:108 Parallelism:4.907 Step parallelism:17 11 5 5 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 6 7 5 4 4 2 5 5 4 5 4 7 6 3 5 8 6 8 5 4 6 6 5 4 5 3 4 3 5 6 6 8 3 5 6 9 7 5 6 5 3 6 6 2 4 2 6 4 3 5 7 7 5 5 3 4 4 2 5 4 7 4 3 2 4 4 4 4 3 4 3 2 2 3 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:536 Parallel solution length:114 Parallelism:4.702 Step parallelism:16 11 5 5 4 5 8 5 7 3 3 3 4 4 4 5 5 3 2 4 7 5 7 8 8 6 6 8 3 6 6 6 6 3 2 5 5 4 5 6 4 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 6 8 4 6 9 7 7 7 4 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 3 2 2 Solving time:0.060 Filtering time:0.000 ID:59 (42,3,61) Graph |V|:89 Solution size:1310 Filtered solution size:525 Parallel solution length:117 Parallelism:4.487 Step parallelism:16 12 7 6 4 5 6 5 5 4 4 3 4 4 4 5 5 3 2 4 5 5 8 8 5 5 7 3 6 6 6 6 3 2 5 4 4 5 6 4 5 4 4 7 5 6 5 5 6 6 4 2 2 2 4 3 3 6 6 4 7 5 5 5 5 7 9 5 3 3 3 3 5 6 4 6 5 6 6 5 3 3 7 6 6 5 3 2 6 6 4 4 5 4 4 2 1 1 3 2 3 3 2 3 3 2 2 2 3 4 3 3 3 2 3 3 1 Solving time:0.060 Filtering time:0.000 ID:60 (42,3,62) Graph |V|:89 Solution size:1258 Filtered solution size:452 Parallel solution length:98 Parallelism:4.612 Step parallelism:15 11 6 7 5 5 5 5 5 4 3 3 4 4 4 5 5 3 2 4 9 7 7 8 5 6 9 4 1 3 2 4 3 3 5 8 4 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 3 1 2 2 2 4 4 4 5 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 Solving time:0.050 Filtering time:0.000 ID:61 (42,3,63) Graph |V|:89 Solution size:1258 Filtered solution size:446 Parallel solution length:98 Parallelism:4.551 Step parallelism:15 11 6 7 5 5 5 5 5 4 3 3 4 4 4 5 5 3 2 4 9 7 7 8 5 6 9 4 1 3 2 4 3 3 5 8 4 5 4 3 7 6 6 4 4 7 6 4 5 4 4 5 8 7 7 7 5 6 7 4 4 3 2 1 2 2 2 4 4 4 5 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 Solving time:0.050 Filtering time:0.000 ID:62 (42,3,64) Graph |V|:89 Solution size:1212 Filtered solution size:415 Parallel solution length:95 Parallelism:4.368 Step parallelism:16 11 6 7 5 5 5 5 5 4 3 3 4 4 4 5 5 3 2 4 9 7 7 8 5 6 8 4 1 3 2 3 3 3 6 6 6 6 5 7 6 5 4 4 7 6 4 5 4 5 5 6 5 4 3 4 5 3 4 3 1 2 2 4 5 4 5 6 3 3 4 4 4 5 5 5 5 5 4 4 3 3 2 1 2 2 3 3 2 1 1 3 3 2 1 Solving time:0.050 Filtering time:0.000 ID:63 (42,3,65) Graph |V|:89 Solution size:1212 Filtered solution size:409 Parallel solution length:95 Parallelism:4.305 Step parallelism:16 11 6 7 5 5 5 5 5 5 3 2 3 2 2 4 5 3 2 4 9 7 7 8 5 6 8 4 1 3 2 3 3 3 6 6 6 6 5 7 6 5 4 4 7 6 4 5 4 5 5 6 5 4 3 4 5 3 4 3 1 2 2 4 5 4 5 6 3 3 4 4 4 5 5 5 5 5 4 4 3 3 2 1 2 2 3 3 2 1 1 3 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:394 Parallel solution length:88 Parallelism:4.477 Step parallelism:15 11 5 6 4 5 5 5 5 5 3 2 3 2 2 4 5 3 2 4 9 7 7 7 5 6 7 4 1 3 2 5 4 4 4 7 5 5 6 5 5 5 5 5 5 5 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 2 5 5 5 4 4 2 1 1 Solving time:0.050 Filtering time:0.000 ID:65 (42,3,67) Graph |V|:89 Solution size:1168 Filtered solution size:346 Parallel solution length:77 Parallelism:4.494 Step parallelism:16 10 5 3 4 4 8 6 6 5 3 2 3 1 1 3 4 3 7 8 7 6 5 6 6 6 1 3 2 5 4 3 4 6 5 5 6 7 6 7 2 5 4 4 3 5 4 4 3 4 6 6 7 9 4 4 2 2 5 5 3 5 5 5 5 5 2 6 5 3 2 2 2 2 1 2 1 Solving time:0.050 Filtering time:0.000 ID:66 (42,3,68) Graph |V|:89 Solution size:1168 Filtered solution size:341 Parallel solution length:77 Parallelism:4.429 Step parallelism:16 10 5 3 4 4 8 6 6 4 1 1 2 1 1 3 4 3 7 8 7 6 5 6 6 6 1 3 2 5 4 3 4 6 5 5 6 7 6 7 2 5 4 4 3 5 4 4 3 4 6 6 7 9 4 4 2 2 5 5 3 5 5 5 5 5 2 6 5 3 2 2 2 2 1 2 1 Solving time:0.050 Filtering time:0.000 ID:67 (42,3,69) Graph |V|:89 Solution size:1284 Filtered solution size:360 Parallel solution length:83 Parallelism:4.337 Step parallelism:15 8 5 4 4 4 5 5 7 4 2 1 2 1 1 3 7 6 4 5 8 7 9 6 4 1 6 5 2 3 6 4 4 5 5 5 5 4 6 8 7 6 6 4 3 3 6 3 5 3 5 6 6 5 3 4 4 5 5 6 2 3 6 6 5 3 3 3 1 2 3 4 3 4 3 3 3 2 2 3 2 2 1 Solving time:0.050 Filtering time:0.000 ID:68 (42,3,70) Graph |V|:89 Solution size:1284 Filtered solution size:354 Parallel solution length:82 Parallelism:4.317 Step parallelism:14 8 5 4 4 4 5 5 7 4 2 1 2 1 1 3 7 6 4 5 8 7 9 6 4 1 6 5 2 3 6 4 4 5 5 5 5 4 6 8 7 6 6 5 4 2 3 5 3 5 6 6 5 3 4 4 5 5 6 2 3 6 6 5 3 3 3 1 2 3 4 3 4 3 3 3 2 2 3 2 2 1 Solving time:0.050 Filtering time:0.000 ID:69 (42,3,71) Graph |V|:89 Solution size:1284 Filtered solution size:344 Parallel solution length:80 Parallelism:4.300 Step parallelism:13 7 4 4 4 6 8 4 2 1 2 1 1 3 7 6 4 5 8 7 9 6 4 1 6 5 2 3 6 4 4 5 5 5 5 4 6 8 7 6 6 5 4 2 3 5 3 5 6 6 5 3 4 4 5 5 6 2 3 6 6 5 3 3 3 1 2 3 4 3 4 3 3 3 2 2 3 2 2 1 Solving time:0.050 Filtering time:0.000 ID:70 (42,3,72) Graph |V|:89 Solution size:1222 Filtered solution size:323 Parallel solution length:82 Parallelism:3.939 Step parallelism:13 8 5 6 3 2 2 2 3 1 2 1 1 3 5 3 6 4 5 5 8 6 6 3 1 3 2 4 3 3 3 6 4 3 3 4 6 6 4 4 3 1 4 5 5 8 6 5 5 7 5 5 4 4 4 6 5 4 4 3 4 5 4 4 3 4 4 5 4 3 3 4 2 3 2 2 2 2 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:316 Parallel solution length:80 Parallelism:3.950 Step parallelism:12 7 5 6 3 2 2 2 3 1 2 1 1 3 5 3 6 4 6 5 8 5 5 3 2 4 3 3 3 6 4 3 3 4 6 6 4 4 3 1 4 5 5 8 6 5 5 7 5 5 4 4 4 6 5 4 4 3 4 5 4 4 3 4 4 5 4 3 3 4 2 3 2 2 2 2 2 2 2 2 Solving time:0.050 Filtering time:0.000 ID:72 (42,3,74) Graph |V|:89 Solution size:1268 Filtered solution size:280 Parallel solution length:76 Parallelism:3.684 Step parallelism:10 6 5 6 3 2 2 2 2 3 1 2 1 1 3 4 4 6 4 6 5 7 7 3 4 4 2 4 4 3 3 4 6 6 4 4 3 2 3 4 5 7 5 5 5 2 3 4 4 5 6 3 5 3 4 5 4 5 3 3 4 4 2 2 3 2 2 4 2 3 3 2 1 1 2 2 Solving time:0.050 Filtering time:0.000 ID:73 (42,3,75) Graph |V|:89 Solution size:1207 Filtered solution size:264 Parallel solution length:79 Parallelism:3.342 Step parallelism:9 6 5 6 3 2 2 2 2 3 1 2 1 1 3 4 4 6 4 6 5 7 8 4 4 4 3 3 5 7 6 4 4 3 5 4 2 1 4 5 5 6 5 4 4 3 4 4 4 2 3 3 3 2 5 3 3 3 3 3 3 3 2 1 1 1 2 2 1 2 3 2 2 2 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:241 Parallel solution length:71 Parallelism:3.394 Step parallelism:9 6 5 7 3 2 3 1 2 1 1 3 4 4 7 4 6 4 6 6 3 4 6 3 4 4 5 5 4 3 3 2 2 3 3 3 3 4 5 4 3 2 3 5 5 4 4 3 3 3 2 3 3 4 4 4 4 3 3 2 2 3 2 2 2 1 1 1 1 1 1 Solving time:0.050 Filtering time:0.000 ID:75 (42,3,77) Graph |V|:89 Solution size:1216 Filtered solution size:232 Parallel solution length:64 Parallelism:3.625 Step parallelism:9 7 6 7 6 5 6 4 5 6 6 6 3 5 6 3 2 4 4 5 4 4 3 3 2 2 3 3 3 3 4 5 4 3 2 3 5 5 4 4 3 3 3 2 3 3 4 4 4 4 3 3 2 2 3 2 2 2 1 1 1 1 1 1 Solving time:0.050 Filtering time:0.000 ID:76 (42,3,78) Graph |V|:89 Solution size:1121 Filtered solution size:187 Parallel solution length:45 Parallelism:4.156 Step parallelism:9 7 6 6 5 4 6 3 5 3 5 5 2 4 5 6 5 5 5 5 4 3 3 2 4 5 4 5 4 3 4 2 3 2 4 4 4 3 2 3 4 5 4 4 1 Solving time:0.050 Filtering time:0.000 ID:77 (42,3,79) Graph |V|:89 Solution size:1121 Filtered solution size:172 Parallel solution length:43 Parallelism:4.000 Step parallelism:8 6 5 5 5 4 6 4 5 3 3 4 3 6 6 4 4 4 3 3 5 2 4 5 4 5 4 3 4 2 3 2 4 4 4 3 2 3 4 5 4 4 1 Solving time:0.050 Filtering time:0.000 ID:78 (42,3,80) Graph |V|:89 Solution size:1081 Filtered solution size:152 Parallel solution length:44 Parallelism:3.455 Step parallelism:9 6 5 5 5 3 5 3 5 4 4 4 4 3 3 2 3 3 2 3 2 2 2 3 3 5 5 6 5 4 4 2 2 3 2 2 3 3 3 4 2 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:123 Parallel solution length:35 Parallelism:3.514 Step parallelism:7 6 5 4 4 4 3 4 4 4 4 3 4 4 3 3 3 3 3 3 2 3 3 3 3 4 4 5 3 1 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:115 Parallel solution length:35 Parallelism:3.286 Step parallelism:6 6 5 5 3 4 3 3 3 3 3 2 3 3 3 3 3 3 3 3 2 3 3 3 3 4 4 5 3 1 3 4 3 2 2 Solving time:0.040 Filtering time:0.000 ID:81 (42,3,83) Graph |V|:89 Solution size:1051 Filtered solution size:109 Parallel solution length:35 Parallelism:3.114 Step parallelism:5 5 5 3 3 4 3 3 3 3 3 2 3 3 3 3 3 3 2 2 2 3 3 3 3 4 4 5 3 1 3 4 3 2 2 Solving time:0.040 Filtering time:0.000 ID:82 (42,3,84) Graph |V|:89 Solution size:1049 Filtered solution size:78 Parallel solution length:30 Parallelism:2.600 Step parallelism:4 4 3 2 2 3 3 3 3 3 2 1 2 2 2 3 3 3 4 4 2 3 2 2 2 3 2 3 2 1 Solving time:0.040 Filtering time:0.000 ID:83 (42,3,85) Graph |V|:89 Solution size:1027 Filtered solution size:63 Parallel solution length:27 Parallelism:2.333 Step parallelism:3 3 3 2 2 3 3 3 3 3 3 2 2 3 3 3 3 3 2 1 2 1 1 2 2 1 1 Solving time:0.040 Filtering time:0.000 ID:84 (42,3,86) Graph |V|:89 Solution size:997 Filtered solution size:50 Parallel solution length:25 Parallelism:2.000 Step parallelism:2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 2 2 2 2 2 2 2 2 1 1 Solving time:0.050 Filtering time:0.000 ID:85 (42,3,87) Graph |V|:89 Solution size:917 Filtered solution size:15 Parallel solution length:10 Parallelism:1.500 Step parallelism:1 2 2 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