ID:0 (32,5,2) Graph |V|:89 Solution size:3401 Filtered solution size:3057 Parallel solution length:350 Parallelism:8.734 Step parallelism:6 7 6 6 6 9 8 8 6 11 12 6 6 8 4 16 9 13 5 12 11 6 11 6 8 5 10 13 6 11 8 8 6 7 9 9 7 8 10 8 4 16 7 7 8 15 9 10 2 9 9 6 11 11 11 8 8 6 7 7 8 13 13 13 10 10 14 25 17 6 15 4 7 12 10 10 10 13 16 6 5 7 7 8 4 11 9 9 7 4 13 10 14 6 6 8 12 10 9 5 9 5 8 10 5 12 11 9 9 7 8 5 5 6 6 15 13 8 15 13 10 8 9 14 9 6 6 5 4 6 8 10 9 14 6 8 6 8 7 10 10 12 3 16 8 6 8 7 10 10 8 8 8 5 8 8 6 8 8 13 11 9 9 8 6 8 9 8 9 11 7 7 7 3 18 16 8 5 9 7 10 14 6 12 16 18 11 15 7 7 7 6 19 10 12 6 8 7 13 11 8 3 7 8 5 8 10 12 8 7 4 8 7 6 14 9 7 6 8 11 13 7 11 11 12 10 11 10 8 5 15 10 10 8 10 9 9 12 6 9 11 5 9 7 9 11 5 9 12 8 6 5 9 11 6 9 11 5 22 15 7 5 9 8 8 10 12 9 5 11 8 8 5 7 7 7 14 10 11 8 6 9 10 10 6 6 6 8 11 10 6 10 4 4 9 5 9 8 9 10 13 8 8 6 8 10 13 12 15 8 10 8 7 9 6 3 7 6 10 10 5 9 7 7 8 13 12 9 3 7 5 8 7 8 10 6 6 7 7 7 8 6 9 8 8 6 6 6 9 1 Solving time:0.090 Filtering time:28.370 ID:1 (32,5,3) Graph |V|:89 Solution size:3342 Filtered solution size:2901 Parallel solution length:343 Parallelism:8.458 Step parallelism:16 14 7 6 6 9 9 3 15 11 13 5 12 11 6 11 6 8 5 10 13 6 11 8 8 6 7 9 14 7 9 8 5 16 6 11 7 9 9 10 9 8 8 10 13 11 11 3 7 11 8 7 5 12 14 10 10 19 25 17 4 10 2 7 12 11 10 10 13 12 9 5 7 8 6 10 6 9 7 5 8 9 6 5 12 5 8 6 10 13 8 10 16 13 9 5 5 13 9 16 10 8 6 5 11 8 7 12 9 9 8 8 15 9 7 16 9 4 4 4 3 4 9 9 10 12 8 19 9 11 7 3 16 12 10 10 10 6 2 9 12 7 4 14 8 8 14 9 8 11 6 7 12 9 10 7 16 18 9 8 8 10 15 10 10 16 7 12 11 10 10 12 12 7 12 8 8 8 7 10 7 6 9 7 7 8 19 5 5 6 6 8 4 5 7 11 6 14 8 5 1 11 10 9 10 16 10 8 9 12 10 10 4 10 11 8 9 10 9 12 10 7 10 7 10 10 8 8 5 4 6 11 7 12 9 13 7 7 9 10 8 9 9 7 6 8 7 10 12 9 5 11 5 10 6 7 7 11 10 10 8 6 10 5 11 12 4 9 6 10 10 15 11 8 10 8 8 3 9 6 9 8 9 12 7 2 8 6 4 4 5 4 8 10 9 7 3 3 2 4 6 5 8 6 2 3 5 8 5 8 4 5 4 2 8 3 1 8 3 7 6 6 8 6 6 6 10 6 7 8 7 6 7 4 8 6 7 3 8 7 7 8 4 Solving time:0.090 Filtering time:26.920 ID:2 (32,5,4) Graph |V|:89 Solution size:3154 Filtered solution size:2744 Parallel solution length:325 Parallelism:8.443 Step parallelism:18 14 10 6 6 9 9 3 12 11 13 5 12 5 11 6 6 5 10 5 11 12 8 6 7 9 17 7 8 9 5 16 7 7 9 6 9 9 10 2 8 9 6 10 6 8 11 6 5 8 6 9 8 7 7 12 14 10 10 10 18 16 11 5 14 15 19 12 10 10 10 14 11 7 7 6 8 9 6 8 8 5 5 11 7 5 11 9 8 6 4 7 10 4 8 9 5 7 1 11 9 7 7 7 8 14 7 4 7 6 10 15 15 9 7 7 12 11 6 7 7 16 13 6 6 5 4 6 8 5 9 6 5 8 4 9 7 6 8 7 10 10 12 5 19 12 11 9 6 2 9 12 7 13 12 12 8 7 8 9 7 9 7 6 4 7 9 9 18 17 8 11 17 10 12 19 14 11 9 8 2 14 9 6 8 6 7 8 8 5 13 8 7 4 8 7 6 6 10 8 7 7 7 10 9 6 16 11 14 6 8 13 11 10 6 8 9 13 12 8 7 7 8 7 10 4 10 10 8 9 10 9 12 10 7 10 4 10 10 6 5 14 14 7 1 7 16 12 6 1 7 12 13 8 7 9 6 10 8 5 9 12 5 4 8 7 8 5 10 6 16 12 7 11 9 7 11 10 11 8 7 10 12 6 5 8 3 10 9 9 5 9 2 5 5 5 9 8 5 3 6 5 7 7 8 3 4 5 7 3 8 8 3 6 7 6 6 6 5 9 7 8 6 9 5 Solving time:0.080 Filtering time:21.640 ID:3 (32,5,5) Graph |V|:89 Solution size:3199 Filtered solution size:2788 Parallel solution length:332 Parallelism:8.398 Step parallelism:18 14 10 6 6 9 9 3 12 10 13 5 12 5 11 6 6 5 10 5 11 12 8 6 7 9 17 8 8 9 5 16 6 6 10 6 10 9 10 2 8 9 6 10 7 8 12 12 11 9 8 12 14 10 10 10 18 16 17 7 9 3 7 11 10 10 10 6 5 16 12 11 9 7 5 8 9 5 8 12 8 5 10 9 8 6 8 14 6 7 10 12 10 8 12 15 15 10 10 7 10 6 10 7 7 9 9 8 8 4 10 11 12 9 4 4 6 8 5 9 18 10 8 8 9 7 6 5 9 11 6 6 6 5 13 11 5 7 5 8 15 7 5 8 8 4 17 15 17 7 7 7 8 7 10 5 17 13 7 8 7 8 10 16 11 8 9 4 17 10 5 9 12 16 15 7 8 7 9 11 8 7 9 8 3 7 4 8 9 7 7 7 8 6 15 15 10 8 9 16 8 9 7 9 10 8 6 12 8 11 10 4 10 10 11 7 6 9 11 5 9 6 6 11 2 9 5 11 7 7 9 11 14 16 6 9 9 7 8 11 8 5 7 5 7 9 4 6 14 8 8 6 11 5 11 12 4 9 10 6 16 8 9 8 12 8 10 8 9 6 7 7 7 9 8 7 4 9 9 8 3 11 10 6 3 6 4 2 6 6 5 3 5 5 6 7 6 4 7 6 8 7 4 5 6 6 6 6 7 7 6 6 11 6 7 6 6 8 6 6 5 9 5 8 7 8 6 5 5 5 7 1 Solving time:0.080 Filtering time:22.960 ID:4 (32,5,6) Graph |V|:89 Solution size:3268 Filtered solution size:2785 Parallel solution length:315 Parallelism:8.841 Step parallelism:27 15 6 5 9 8 16 14 6 12 5 11 6 6 5 10 5 15 8 8 8 4 16 12 10 8 5 16 6 3 10 9 13 10 10 6 6 10 15 17 12 8 8 6 12 13 9 9 18 22 17 6 11 5 7 11 10 10 10 13 14 12 9 12 8 7 6 1 5 16 12 8 6 11 7 7 13 7 7 5 5 6 12 14 7 6 7 10 8 11 6 5 5 13 11 8 18 15 4 9 9 8 13 14 7 5 5 8 14 10 12 9 7 9 12 15 12 11 11 17 1 10 17 15 8 8 8 5 15 10 5 10 12 8 7 12 7 6 5 4 8 8 9 16 15 17 10 18 9 13 13 6 8 7 19 14 8 8 5 8 9 7 7 7 10 8 6 6 11 8 8 6 6 9 7 3 7 11 7 18 11 7 9 13 12 17 11 8 9 16 6 12 5 10 12 10 11 9 11 11 14 9 7 9 9 13 8 7 10 12 7 11 3 9 8 9 8 6 9 7 7 7 7 10 11 9 7 7 15 10 12 8 6 8 7 11 14 11 13 8 5 8 8 6 8 10 1 14 9 8 10 1 14 16 9 8 6 10 7 4 9 9 6 5 14 2 3 10 8 12 7 3 3 2 4 8 10 4 5 4 3 5 2 7 11 6 6 6 4 4 5 7 3 7 11 7 5 7 6 5 9 6 6 7 5 6 3 7 4 8 6 5 4 6 1 Solving time:0.080 Filtering time:23.380 ID:5 (32,5,7) Graph |V|:89 Solution size:3113 Filtered solution size:2702 Parallel solution length:315 Parallelism:8.578 Step parallelism:26 13 10 5 9 8 16 14 5 12 5 11 8 5 2 10 12 9 6 8 5 16 9 9 9 5 16 6 8 9 11 10 10 6 7 5 10 7 8 12 12 11 9 8 12 13 9 9 9 17 17 15 12 9 1 7 11 10 10 10 13 11 12 8 5 9 8 5 8 9 6 5 7 10 4 7 7 13 8 1 7 8 6 6 5 10 12 10 14 14 10 7 11 8 7 12 12 8 7 7 12 12 8 12 10 7 4 6 4 9 6 9 11 5 6 8 7 9 11 10 8 14 11 8 6 8 13 9 17 10 10 6 4 13 13 9 9 10 7 13 12 10 9 15 7 9 8 6 14 8 14 12 8 8 11 11 10 7 7 12 7 7 11 9 7 7 12 16 15 7 8 7 9 16 9 6 8 6 7 10 7 7 10 9 8 7 7 5 11 11 8 13 8 9 5 10 10 10 8 10 10 10 8 5 9 9 12 10 4 10 10 6 11 12 8 7 5 9 9 7 10 12 15 10 9 15 9 7 10 11 13 8 11 3 9 9 9 7 7 11 8 7 3 8 7 7 5 7 9 5 4 9 9 7 4 6 8 6 10 10 14 17 2 5 3 2 2 9 3 8 9 6 8 7 9 7 6 7 7 4 7 6 2 10 8 8 6 4 10 11 6 6 4 8 9 4 7 3 6 5 6 8 7 8 7 7 8 5 7 4 8 6 7 4 1 Solving time:0.080 Filtering time:21.090 ID:6 (32,5,8) Graph |V|:89 Solution size:2961 Filtered solution size:2459 Parallel solution length:296 Parallelism:8.307 Step parallelism:26 13 10 5 9 8 16 14 6 12 5 11 8 5 2 10 12 9 6 8 5 16 9 9 9 5 16 6 8 9 11 10 10 6 7 5 10 8 8 12 11 11 9 7 11 9 8 13 10 10 12 14 5 8 1 7 10 9 9 15 12 11 12 8 6 3 8 9 2 6 10 7 3 4 3 6 6 9 8 13 9 2 7 8 5 5 3 12 9 10 7 8 11 8 7 12 15 8 7 7 11 8 4 12 10 7 7 6 12 12 8 7 6 5 6 10 6 15 8 8 14 10 8 10 5 8 9 6 4 7 10 7 12 10 6 10 12 3 7 8 8 9 9 9 7 8 7 9 6 7 9 8 9 14 15 15 8 16 16 16 8 18 10 8 5 8 13 11 6 9 8 7 6 6 7 9 8 8 7 9 4 7 10 10 9 7 12 7 7 11 8 13 16 11 7 9 9 7 9 9 7 9 9 9 9 3 7 10 10 10 8 6 9 12 9 7 5 8 12 8 6 7 7 9 7 7 7 7 4 7 2 7 10 10 10 7 6 6 9 9 9 11 7 11 2 1 8 7 7 8 4 5 14 12 2 9 11 9 8 5 9 9 11 8 5 6 8 11 6 5 6 6 2 3 5 8 3 2 9 7 7 7 7 8 5 8 6 5 5 10 7 5 8 7 8 5 Solving time:0.070 Filtering time:15.850 ID:7 (32,5,9) Graph |V|:89 Solution size:3025 Filtered solution size:2532 Parallel solution length:291 Parallelism:8.701 Step parallelism:28 13 10 5 9 8 16 14 5 12 5 11 8 5 2 10 12 9 6 8 5 16 9 9 9 5 16 6 8 9 11 10 10 6 7 5 10 8 8 15 8 8 7 7 11 9 8 13 10 10 11 13 10 8 2 7 10 9 9 15 14 11 9 10 7 3 6 6 4 7 7 8 3 10 7 13 9 2 7 8 5 5 7 13 9 10 7 14 18 13 2 9 11 5 8 10 8 8 15 12 4 4 12 12 7 7 6 5 5 14 17 9 9 14 10 8 7 8 7 10 12 7 7 7 7 10 7 8 6 8 12 10 8 8 8 8 3 5 4 7 9 9 15 11 11 11 24 12 9 12 12 17 7 9 8 8 8 7 10 12 10 6 7 15 11 9 7 13 6 11 10 7 8 6 10 8 5 6 7 5 6 8 7 13 11 10 9 10 9 12 10 10 9 6 9 8 10 6 12 7 5 8 2 9 12 10 10 10 4 4 13 12 8 15 12 14 11 11 8 10 9 10 12 12 8 6 9 11 10 7 8 10 9 11 8 15 15 8 9 10 1 9 4 7 9 9 9 7 8 12 7 7 6 6 11 12 8 4 7 4 2 10 7 7 12 5 3 12 6 5 5 3 4 5 3 7 6 6 5 9 6 6 6 6 11 7 5 10 6 10 5 Solving time:0.080 Filtering time:17.420 ID:8 (32,5,10) Graph |V|:89 Solution size:2956 Filtered solution size:2341 Parallel solution length:281 Parallelism:8.331 Step parallelism:25 12 12 8 9 13 16 14 5 12 5 11 8 5 2 10 12 9 6 8 5 16 9 9 9 5 16 6 8 7 10 9 10 6 7 5 10 14 12 14 8 10 7 7 13 9 9 12 17 11 7 9 3 8 3 9 11 10 10 10 6 12 8 16 15 9 5 9 5 12 9 10 4 8 8 6 4 13 7 8 13 11 8 10 7 8 19 5 8 7 3 1 8 10 5 9 7 5 4 5 8 12 8 10 7 18 19 13 11 10 12 13 9 8 6 6 3 11 9 8 14 10 18 17 10 9 9 9 15 9 5 10 8 8 11 15 15 9 9 13 8 6 12 9 7 5 8 5 9 4 8 10 10 7 6 6 5 6 10 3 9 6 6 10 9 6 5 7 7 14 16 8 9 8 9 9 4 13 15 10 12 7 4 4 10 14 4 10 10 8 9 2 9 7 13 7 6 5 8 8 2 7 7 3 11 10 8 7 8 8 7 8 6 9 6 4 3 3 9 8 11 8 7 1 6 6 8 7 14 12 10 12 8 11 9 8 6 8 7 10 7 5 2 8 4 5 4 3 3 3 8 10 8 5 7 5 5 6 4 5 6 7 7 10 5 9 7 3 6 6 8 6 6 6 5 8 6 5 4 6 1 Solving time:0.070 Filtering time:14.650 ID:9 (32,5,11) Graph |V|:89 Solution size:2823 Filtered solution size:2259 Parallel solution length:273 Parallelism:8.275 Step parallelism:25 12 12 8 9 14 14 12 5 12 5 11 13 5 2 15 16 7 6 7 10 8 7 9 5 9 5 7 7 8 10 5 6 6 10 14 12 14 8 10 7 7 13 9 9 12 17 11 7 9 3 8 3 9 11 10 10 10 7 12 8 16 15 7 5 8 5 6 10 12 6 4 14 8 7 1 9 11 11 15 11 10 11 6 6 6 6 1 7 3 8 9 5 4 4 6 10 12 16 5 9 10 12 13 12 11 7 7 7 2 7 9 6 10 9 9 8 6 7 11 8 7 8 15 13 6 6 5 7 8 8 5 15 15 11 14 1 11 6 8 10 14 9 6 8 6 8 6 5 4 13 12 10 5 5 7 6 9 7 4 6 8 7 7 14 12 7 23 12 6 15 10 8 8 7 7 14 10 10 12 11 10 11 6 8 7 12 8 8 4 6 14 11 10 7 1 3 3 11 14 9 6 14 6 10 10 7 6 7 10 9 11 8 6 5 9 13 10 7 14 4 9 13 10 7 7 3 6 8 6 7 9 6 2 10 8 9 5 4 4 9 2 4 3 4 5 5 4 4 4 8 7 4 5 6 6 6 6 7 7 6 6 11 6 7 6 8 7 7 5 4 6 1 Solving time:0.070 Filtering time:13.120 ID:10 (32,5,12) Graph |V|:89 Solution size:2917 Filtered solution size:2216 Parallel solution length:275 Parallelism:8.058 Step parallelism:25 12 12 8 9 14 14 12 5 12 5 11 13 5 2 15 16 7 6 7 10 8 7 9 5 9 4 7 7 8 10 8 10 6 10 8 11 12 8 9 7 7 13 9 9 12 17 11 10 7 2 2 7 11 10 10 10 7 12 8 16 15 9 5 8 5 6 4 9 6 4 14 8 7 5 9 11 9 11 9 9 11 5 7 10 10 7 5 4 12 7 4 6 4 7 2 16 5 20 13 7 18 11 12 9 9 8 11 10 7 12 17 8 9 1 7 10 15 10 6 8 10 8 9 10 4 8 9 3 6 10 10 6 15 6 8 7 4 7 7 6 10 11 5 10 10 11 10 5 7 6 6 6 6 14 10 6 10 9 7 7 1 1 14 13 9 8 13 13 11 8 7 5 7 9 8 12 9 13 13 5 9 10 8 2 10 5 6 3 9 11 6 9 7 4 8 7 6 6 6 6 7 5 3 5 4 7 3 2 6 5 7 9 12 15 11 9 7 10 11 8 7 2 7 7 7 5 8 10 2 6 7 8 6 11 3 6 2 4 7 8 11 8 10 3 1 6 3 5 5 4 9 3 6 5 9 7 7 7 7 8 4 8 7 6 5 9 6 7 6 9 5 8 8 3 Solving time:0.080 Filtering time:13.050 ID:11 (32,5,13) Graph |V|:89 Solution size:2917 Filtered solution size:2201 Parallel solution length:274 Parallelism:8.033 Step parallelism:22 12 12 8 9 14 14 12 5 12 5 11 13 6 2 15 14 10 5 7 8 7 8 4 8 4 7 7 8 10 8 10 6 10 8 11 12 8 9 7 7 13 9 9 12 17 11 10 7 2 2 7 11 10 10 10 7 12 8 16 15 9 5 8 5 6 4 9 6 4 14 8 7 5 9 11 9 11 9 9 11 5 7 10 10 7 5 4 12 7 4 6 4 7 2 16 5 20 13 7 18 11 12 9 9 8 11 10 7 12 17 8 9 1 7 10 15 10 6 8 10 8 9 10 4 8 9 3 6 10 10 6 15 6 8 7 4 7 7 6 10 11 5 10 10 11 10 5 7 6 6 6 6 14 10 6 10 9 7 7 1 1 14 13 9 8 13 13 11 8 7 5 7 9 8 12 9 13 13 5 9 10 8 2 10 5 6 3 9 11 6 9 7 4 8 7 6 6 6 6 7 5 3 5 4 7 3 2 6 5 7 9 12 15 11 9 7 10 11 8 7 2 7 7 7 5 8 10 2 6 7 8 6 11 3 6 2 4 7 8 11 8 10 3 1 6 3 5 5 4 9 3 6 5 9 7 7 7 7 8 4 8 7 6 5 9 6 7 6 9 5 8 8 3 Solving time:0.070 Filtering time:12.960 ID:12 (32,5,14) Graph |V|:89 Solution size:2917 Filtered solution size:2185 Parallel solution length:269 Parallelism:8.123 Step parallelism:22 12 12 8 9 14 14 12 5 12 5 11 13 6 2 15 14 10 5 7 8 7 8 4 8 4 7 7 8 10 8 10 6 10 7 11 11 8 9 7 7 13 9 9 12 17 13 16 16 10 10 8 12 8 16 15 9 5 8 5 6 4 9 6 4 14 8 7 5 9 11 9 11 9 9 11 5 7 10 10 7 5 4 12 7 4 6 4 7 2 16 5 20 13 7 18 11 12 9 9 8 11 10 7 12 17 8 9 1 7 10 15 10 6 8 10 8 9 10 4 8 9 3 6 10 10 6 15 6 8 7 4 7 7 6 10 11 5 10 10 11 10 5 7 6 6 6 6 14 10 6 10 9 7 7 1 1 14 13 9 8 13 13 11 8 7 5 7 9 8 12 9 13 13 5 9 10 8 2 10 5 6 3 9 11 6 9 7 4 8 7 6 6 6 6 7 5 3 5 4 7 3 2 6 5 7 9 12 15 11 9 7 10 11 8 7 2 7 7 7 5 8 10 2 6 7 8 6 11 3 6 2 4 7 8 11 8 10 3 1 6 3 5 5 4 9 3 6 5 9 7 7 7 7 8 4 8 7 6 5 9 6 7 6 9 5 8 8 3 Solving time:0.070 Filtering time:12.770 ID:13 (32,5,15) Graph |V|:89 Solution size:2889 Filtered solution size:2189 Parallel solution length:260 Parallelism:8.419 Step parallelism:23 12 12 8 9 14 15 12 5 12 6 12 8 6 2 15 16 9 4 7 8 7 8 6 8 6 6 12 12 8 10 6 10 7 11 11 8 9 6 7 13 9 9 12 17 18 15 12 11 10 5 15 5 8 6 11 9 10 6 6 6 10 10 8 7 5 6 14 10 9 8 10 8 6 7 12 6 1 7 10 10 10 8 10 16 10 6 6 5 6 11 6 12 9 8 11 11 16 13 8 9 17 10 7 7 3 5 12 7 15 7 15 7 14 3 2 8 10 14 7 6 12 6 6 9 8 7 6 4 5 6 6 5 3 7 9 5 6 6 6 12 11 8 14 8 10 11 10 8 5 9 8 8 17 9 11 9 6 12 19 8 6 11 8 3 10 9 10 9 2 10 9 10 12 11 8 11 11 15 7 3 7 4 9 7 4 8 10 7 5 9 9 5 7 11 7 5 8 10 10 9 10 13 7 6 13 10 7 10 9 9 6 9 9 8 13 4 1 12 4 10 9 6 4 7 5 2 6 5 6 7 6 7 8 2 7 1 8 3 7 6 8 6 6 8 6 5 9 6 7 6 7 6 6 9 8 7 7 8 4 Solving time:0.070 Filtering time:12.690 ID:14 (32,5,16) Graph |V|:89 Solution size:2689 Filtered solution size:1961 Parallel solution length:243 Parallelism:8.070 Step parallelism:23 12 12 8 9 14 15 12 5 12 6 12 8 6 2 15 16 9 4 7 8 7 8 6 8 6 6 12 12 8 10 6 10 7 11 13 8 9 6 7 13 9 9 8 10 19 23 22 12 8 5 14 6 6 2 1 9 9 9 4 8 6 8 8 15 10 6 4 8 9 8 4 6 4 9 17 7 4 2 15 9 4 4 6 8 13 10 6 5 5 8 6 9 2 12 10 7 9 5 15 11 12 12 5 8 2 10 16 8 15 19 8 10 7 8 13 7 8 16 7 4 2 13 11 6 7 12 6 6 5 13 9 7 10 7 2 6 7 8 7 9 9 3 8 12 5 6 1 1 14 8 12 19 7 9 10 6 14 12 7 5 3 10 9 13 3 11 11 14 7 9 5 10 6 8 16 11 6 1 9 5 6 5 6 3 3 7 8 7 12 14 9 6 7 4 4 5 4 6 4 11 8 9 6 4 1 1 6 10 7 7 10 5 8 4 4 5 9 2 3 5 4 7 8 4 6 8 4 7 8 7 6 7 4 8 6 7 3 8 7 7 8 4 Solving time:0.060 Filtering time:9.710 ID:15 (32,5,17) Graph |V|:89 Solution size:2802 Filtered solution size:2113 Parallel solution length:260 Parallelism:8.127 Step parallelism:28 12 12 8 9 14 15 12 5 12 6 12 8 6 2 15 16 9 4 7 8 7 8 6 8 6 6 12 12 8 10 6 10 7 11 13 8 9 6 7 13 9 9 8 10 19 23 22 12 10 5 14 6 6 2 1 8 9 9 4 8 6 8 9 15 10 6 4 8 8 9 4 6 4 9 17 7 4 2 8 9 4 4 6 9 12 12 7 9 8 12 6 13 8 9 7 3 1 9 5 9 8 12 5 2 8 8 8 5 11 13 14 18 7 9 7 6 16 16 7 4 8 15 6 9 10 12 7 7 6 6 9 12 8 3 14 10 8 4 7 6 6 6 7 6 8 5 8 7 12 8 10 7 8 6 11 6 8 13 10 9 17 3 15 10 6 10 10 6 6 11 8 12 11 10 6 4 4 11 14 7 7 7 9 9 5 15 8 7 1 6 2 8 8 7 3 9 5 11 11 10 10 8 9 3 10 10 12 8 6 5 4 4 9 6 7 9 5 6 9 5 3 6 6 4 9 5 9 5 5 5 7 7 3 5 8 6 6 5 6 5 7 6 4 7 6 6 5 10 6 7 6 7 8 6 6 7 7 6 2 Solving time:0.070 Filtering time:11.340 ID:16 (32,5,18) Graph |V|:89 Solution size:2744 Filtered solution size:2005 Parallel solution length:246 Parallelism:8.150 Step parallelism:30 12 12 8 9 14 15 12 7 12 6 7 8 6 2 15 16 9 4 7 8 7 8 6 8 6 6 12 12 8 9 6 10 8 11 13 8 9 6 8 12 8 11 11 16 17 16 16 13 5 14 6 6 2 1 5 7 9 8 9 19 5 8 5 5 8 11 8 5 8 4 12 9 9 8 7 9 10 8 7 8 8 9 7 4 6 12 11 7 6 5 5 9 6 6 10 8 7 9 9 7 13 8 5 7 10 5 5 6 8 7 6 6 12 3 4 8 7 8 6 12 15 17 14 15 6 6 6 8 17 5 6 8 8 5 6 6 14 3 5 9 7 1 9 8 11 15 7 10 9 14 9 8 5 15 12 10 8 4 8 8 7 13 8 5 8 8 9 10 8 12 5 5 6 8 9 7 10 6 9 15 7 6 6 8 10 9 9 7 13 6 8 5 3 8 12 6 3 3 11 6 9 8 8 8 7 9 5 10 2 3 3 7 5 4 7 3 5 4 7 8 7 6 6 8 6 6 6 10 6 7 6 6 8 6 6 5 9 5 8 7 5 10 6 10 5 Solving time:0.070 Filtering time:10.690 ID:17 (32,5,19) Graph |V|:89 Solution size:2859 Filtered solution size:1936 Parallel solution length:242 Parallelism:8.000 Step parallelism:32 14 12 8 9 14 15 12 7 12 6 7 8 6 2 15 16 11 4 7 8 5 10 4 15 17 13 8 7 7 10 7 12 15 13 11 10 10 6 8 8 12 10 2 6 12 4 8 11 6 12 13 7 7 6 8 6 9 13 5 4 9 11 9 9 7 6 13 6 13 14 8 9 9 5 7 6 8 4 6 9 8 10 4 15 9 8 6 6 6 12 7 5 8 9 7 8 7 7 11 8 18 8 9 5 6 10 13 11 9 10 6 13 13 14 11 6 12 8 11 11 8 7 12 7 9 6 12 8 5 8 5 10 7 7 8 7 8 8 6 6 5 6 11 1 1 9 9 12 8 12 11 9 7 7 10 6 7 12 11 7 3 9 2 11 11 10 10 5 3 8 6 9 5 9 11 7 6 9 7 2 8 9 6 12 10 7 9 6 3 5 6 8 2 2 6 8 10 8 6 7 5 12 10 8 5 4 3 5 4 6 2 1 7 4 6 2 9 6 9 4 4 3 3 7 5 7 4 8 6 4 2 11 8 5 6 6 5 7 6 5 1 Solving time:0.080 Filtering time:10.060 ID:18 (32,5,20) Graph |V|:89 Solution size:2609 Filtered solution size:1763 Parallel solution length:218 Parallelism:8.087 Step parallelism:29 14 12 8 9 14 15 12 7 12 6 7 8 6 2 15 16 11 4 7 8 5 10 4 11 17 13 8 7 7 10 7 12 15 13 11 10 10 6 8 8 12 10 2 6 12 7 10 15 11 10 4 7 7 6 4 5 3 8 14 4 1 9 11 9 9 7 6 13 6 13 10 9 8 18 9 11 11 7 6 3 8 6 4 5 6 10 13 7 16 19 3 7 6 7 5 5 1 1 11 8 7 8 5 13 17 10 4 10 15 10 6 17 10 11 9 4 3 8 7 7 5 8 9 7 11 6 7 5 6 7 10 4 11 7 16 13 8 2 7 7 11 10 13 12 7 4 9 5 8 5 5 9 17 14 12 10 8 10 8 7 7 6 6 9 10 9 6 6 8 7 9 6 11 9 3 2 2 6 5 5 8 8 6 6 4 5 10 7 9 1 3 3 6 5 7 6 6 5 5 4 6 9 3 7 7 7 6 6 6 7 5 6 4 8 6 5 3 Solving time:0.070 Filtering time:7.830 ID:19 (32,5,21) Graph |V|:89 Solution size:2876 Filtered solution size:1920 Parallel solution length:236 Parallelism:8.136 Step parallelism:31 18 12 8 9 14 15 12 7 12 6 7 8 6 2 15 16 10 4 7 8 5 10 4 14 17 13 8 7 7 10 7 12 15 13 11 10 7 6 8 8 14 13 3 6 8 3 12 6 7 6 9 6 8 9 5 6 7 8 6 10 7 6 4 10 6 6 7 12 6 6 11 9 5 6 5 15 11 6 5 11 6 1 9 10 9 10 16 13 9 7 6 6 7 5 13 15 14 9 9 9 15 8 7 9 7 6 7 10 6 9 7 4 8 7 6 7 12 10 10 6 7 7 16 7 11 5 9 7 8 6 10 5 10 7 10 7 8 6 13 10 9 9 10 11 10 6 7 13 9 8 3 7 5 8 8 11 8 6 6 11 14 7 13 6 4 10 10 10 10 9 8 14 16 15 13 13 8 5 6 6 4 3 1 2 4 1 6 5 5 1 7 9 3 10 5 6 9 10 9 9 8 5 4 3 9 3 7 8 9 9 7 4 10 7 5 2 2 6 6 6 6 9 7 8 7 6 4 6 3 8 6 6 8 5 2 Solving time:0.080 Filtering time:9.830 ID:20 (32,5,22) Graph |V|:89 Solution size:3073 Filtered solution size:1925 Parallel solution length:240 Parallelism:8.021 Step parallelism:31 15 11 10 6 8 13 12 14 7 12 11 12 11 12 10 14 20 7 12 5 8 9 11 5 15 9 4 12 15 15 12 9 4 8 6 11 6 2 2 7 3 13 6 7 5 11 9 9 9 1 4 4 7 9 5 2 4 6 7 6 10 7 4 23 16 9 7 9 9 7 5 4 8 6 15 10 9 7 8 5 11 13 9 12 11 10 20 14 9 10 5 4 6 10 6 8 9 10 14 6 4 2 9 9 9 7 5 6 2 6 6 5 10 10 4 10 5 10 6 8 10 8 13 7 8 6 11 7 7 8 6 5 7 6 5 1 10 5 9 8 3 6 6 5 8 12 8 8 11 7 9 7 11 14 10 14 13 10 5 8 5 4 4 6 8 8 7 17 7 12 12 9 5 4 6 9 6 9 6 6 7 7 6 11 10 8 8 1 5 4 11 9 12 10 11 6 5 8 7 6 6 5 5 11 9 8 4 6 5 7 6 8 5 7 5 7 9 5 3 8 1 6 7 3 8 8 7 7 6 6 6 7 7 9 7 6 5 5 3 Solving time:0.080 Filtering time:11.100 ID:21 (32,5,23) Graph |V|:89 Solution size:2700 Filtered solution size:1741 Parallel solution length:211 Parallelism:8.251 Step parallelism:33 15 10 9 6 8 12 14 9 14 11 12 13 15 13 18 12 4 9 5 8 9 14 5 15 9 4 12 14 16 11 4 8 2 4 3 2 6 10 4 15 10 12 9 11 11 8 10 9 5 8 12 11 5 8 5 10 8 13 6 13 8 7 8 7 11 9 10 9 7 12 14 11 8 12 12 12 9 14 13 9 7 8 12 12 8 13 13 13 11 7 14 9 8 3 8 7 11 6 10 3 6 9 8 5 7 7 4 5 4 8 9 5 9 7 3 5 8 3 7 11 7 12 7 10 12 7 9 13 4 8 4 11 11 8 10 8 8 11 8 5 2 7 14 11 10 12 7 7 6 8 9 9 7 6 2 4 7 5 6 7 6 10 9 7 7 11 7 7 5 11 7 4 6 10 4 7 8 8 5 8 7 5 7 5 5 3 4 1 3 2 4 6 5 7 7 7 5 7 5 8 6 6 6 7 7 6 7 5 3 3 Solving time:0.070 Filtering time:8.420 ID:22 (32,5,24) Graph |V|:89 Solution size:2479 Filtered solution size:1536 Parallel solution length:188 Parallelism:8.170 Step parallelism:32 15 13 9 7 8 12 14 9 14 11 12 14 11 15 4 14 10 4 7 7 6 8 11 10 18 13 6 11 8 8 13 6 13 8 9 9 8 13 10 9 6 15 9 10 15 9 9 11 7 7 10 13 7 4 6 6 12 7 13 8 3 8 7 7 5 8 4 10 10 11 17 16 8 18 11 5 7 10 6 6 9 10 5 9 18 14 11 15 11 7 7 8 6 9 6 6 14 8 7 6 15 7 6 5 7 3 1 9 9 6 8 5 14 2 7 6 6 7 3 6 8 6 2 6 4 6 5 3 9 6 8 8 12 9 8 16 14 4 5 1 6 6 7 9 6 2 5 3 3 10 12 11 8 7 10 8 5 7 10 10 2 3 6 11 4 9 7 3 3 7 1 3 3 3 3 4 6 5 7 6 5 3 7 6 8 6 2 Solving time:0.060 Filtering time:10.120 ID:23 (32,5,25) Graph |V|:89 Solution size:2683 Filtered solution size:1563 Parallel solution length:190 Parallelism:8.226 Step parallelism:30 17 14 9 7 8 14 9 15 18 4 4 5 11 12 7 9 15 6 7 7 11 5 10 12 13 11 5 10 9 8 6 14 8 8 9 7 11 9 9 7 9 1 7 7 10 8 8 10 6 8 15 11 5 3 6 9 7 10 9 8 16 8 10 12 9 15 13 5 8 7 8 7 11 2 7 17 11 7 8 11 14 2 10 10 9 7 7 6 11 11 11 4 3 5 11 4 4 8 11 19 6 10 4 5 6 11 8 5 2 10 6 10 6 10 8 8 6 6 4 14 7 6 12 10 5 7 7 14 10 11 13 14 4 9 5 5 9 11 6 6 8 9 8 2 4 4 8 8 8 10 8 10 11 7 4 1 6 7 10 7 5 3 8 9 10 10 9 13 6 7 3 5 7 6 2 3 5 7 4 7 5 5 5 9 8 7 7 4 2 Solving time:0.070 Filtering time:6.580 ID:24 (32,5,26) Graph |V|:89 Solution size:2683 Filtered solution size:1551 Parallel solution length:189 Parallelism:8.206 Step parallelism:34 17 14 10 11 8 14 11 10 14 8 6 6 7 4 7 15 6 7 7 11 5 10 12 13 11 5 10 9 8 6 14 8 8 9 7 11 9 9 7 9 1 7 7 10 8 8 10 6 8 15 11 5 3 6 9 7 10 9 8 16 8 10 12 9 15 13 5 8 7 8 7 11 2 7 17 11 7 8 11 14 2 10 10 9 7 7 6 11 11 11 4 3 5 11 4 4 8 11 19 6 10 4 5 6 11 8 5 2 10 6 10 6 10 8 8 6 6 4 14 7 6 12 10 5 7 7 14 10 11 13 14 4 9 5 5 9 11 6 6 8 9 8 2 4 4 8 8 8 10 8 10 11 7 4 1 6 7 10 7 5 3 8 9 10 10 9 13 6 7 3 5 7 6 2 3 5 7 4 7 5 5 5 9 8 7 7 4 2 Solving time:0.060 Filtering time:6.580 ID:25 (32,5,27) Graph |V|:89 Solution size:2710 Filtered solution size:1531 Parallel solution length:188 Parallelism:8.144 Step parallelism:33 16 13 9 11 8 14 11 14 6 12 11 7 12 8 6 10 7 10 11 9 10 13 11 9 9 6 14 8 8 9 7 13 9 13 7 11 1 7 6 7 7 5 10 13 5 8 13 4 5 12 8 6 15 10 7 6 9 8 9 7 6 3 11 6 13 11 17 7 10 9 8 9 7 8 10 5 8 8 8 10 9 13 16 11 9 5 11 13 5 7 14 11 6 8 8 7 11 10 10 5 7 7 8 9 12 12 8 5 7 6 11 7 12 10 12 10 17 11 5 5 9 8 9 11 9 11 5 9 5 3 7 6 6 7 7 6 4 4 2 8 7 6 5 5 3 3 5 4 5 8 11 13 11 5 6 2 5 5 5 5 4 5 8 3 5 5 4 5 7 6 5 6 5 7 5 7 4 6 4 7 7 4 7 4 6 9 4 Solving time:0.070 Filtering time:11.410 ID:26 (32,5,28) Graph |V|:89 Solution size:2829 Filtered solution size:1627 Parallel solution length:206 Parallelism:7.898 Step parallelism:33 16 13 9 11 8 14 11 14 6 12 11 7 12 8 6 9 7 8 11 9 9 12 10 9 9 6 14 8 8 9 7 13 9 12 6 11 1 7 6 9 7 5 10 9 6 6 12 14 11 9 7 6 11 9 9 9 9 3 8 10 12 4 5 10 3 8 11 10 5 8 7 5 7 8 14 11 5 6 6 9 6 11 8 4 8 4 5 7 8 17 11 11 9 11 11 6 5 11 7 7 11 5 9 6 9 9 7 12 7 7 9 9 7 5 4 7 8 9 7 8 4 7 4 9 4 3 9 13 8 7 9 8 6 7 15 14 9 6 7 10 5 5 9 6 5 3 10 9 8 3 5 5 5 11 6 4 4 6 5 4 2 2 6 6 11 10 12 7 11 4 5 6 8 5 9 12 6 9 7 4 11 5 2 3 4 8 7 10 6 6 9 6 4 6 10 5 8 6 7 5 8 7 4 3 2 Solving time:0.070 Filtering time:7.360 ID:27 (32,5,29) Graph |V|:89 Solution size:2550 Filtered solution size:1440 Parallel solution length:168 Parallelism:8.571 Step parallelism:32 17 13 9 11 10 14 11 14 9 11 13 6 6 6 8 6 10 8 9 13 15 5 11 9 8 11 6 17 8 8 9 7 11 14 18 17 12 13 12 12 10 10 11 15 8 10 12 8 11 8 7 13 3 3 9 12 11 15 18 5 2 7 4 8 6 5 7 7 10 16 17 12 17 16 8 8 12 7 11 13 8 10 6 9 7 5 8 7 9 8 7 8 8 10 6 7 9 5 8 6 11 8 6 6 5 6 15 8 10 8 10 12 14 8 10 12 6 5 11 12 9 9 9 6 14 8 2 3 3 1 3 5 9 6 7 5 6 3 5 8 5 8 6 5 7 8 7 6 6 3 5 2 3 4 5 5 4 4 2 2 6 5 5 7 7 6 1 Solving time:0.060 Filtering time:5.070 ID:28 (32,5,30) Graph |V|:89 Solution size:2550 Filtered solution size:1431 Parallel solution length:167 Parallelism:8.569 Step parallelism:31 19 14 9 11 16 11 14 6 11 13 6 6 6 8 6 10 8 9 13 15 5 11 9 8 11 6 17 8 8 9 7 11 14 18 17 12 13 12 12 10 10 11 15 8 10 12 8 11 8 7 13 3 3 9 12 11 15 18 5 2 7 4 8 6 5 7 7 10 16 17 12 17 16 8 8 12 7 11 13 8 10 6 9 7 5 8 7 9 8 7 8 8 10 6 7 9 5 8 6 11 8 6 6 5 6 15 8 10 8 10 12 14 8 10 12 6 5 11 12 9 9 9 6 14 8 2 3 3 1 3 5 9 6 7 5 6 3 5 8 5 8 6 5 7 8 7 6 6 3 5 2 3 4 5 5 4 4 2 2 6 5 5 7 7 6 1 Solving time:0.070 Filtering time:4.980 ID:29 (32,5,31) Graph |V|:89 Solution size:2639 Filtered solution size:1336 Parallel solution length:159 Parallelism:8.403 Step parallelism:33 19 14 9 11 13 10 13 6 11 13 8 6 6 8 6 8 6 9 17 15 10 13 12 6 17 8 8 9 7 11 14 18 17 13 14 12 12 9 9 8 12 8 11 12 8 8 7 10 2 4 1 7 9 9 7 9 11 9 6 5 9 8 9 16 6 5 4 7 6 9 9 19 15 12 7 7 7 17 12 8 12 14 4 1 3 4 9 6 7 6 9 6 5 7 9 7 8 9 8 12 3 9 14 12 11 7 10 9 4 9 4 3 5 7 10 9 10 7 10 6 6 6 6 6 6 8 9 9 9 6 4 2 1 4 4 3 7 6 11 4 7 6 9 5 6 7 7 7 4 5 5 5 3 3 6 6 5 3 Solving time:0.070 Filtering time:4.710 ID:30 (32,5,32) Graph |V|:89 Solution size:2419 Filtered solution size:1348 Parallel solution length:162 Parallelism:8.321 Step parallelism:36 19 14 9 11 13 10 13 6 13 15 8 6 6 8 6 8 6 5 15 12 10 13 11 6 17 12 8 9 7 11 16 13 15 14 15 12 9 9 7 11 9 10 10 12 8 4 6 8 6 9 5 12 8 19 16 13 14 12 9 4 8 8 5 9 11 8 15 9 11 11 5 6 5 6 1 7 3 3 12 5 11 8 7 12 9 9 5 14 7 9 8 7 7 14 13 4 6 8 6 5 6 4 4 8 8 10 12 4 4 4 8 7 8 9 14 12 8 12 8 10 7 9 7 7 7 5 6 7 7 7 7 5 10 5 4 5 6 4 9 9 6 3 4 2 5 5 2 1 2 2 4 3 3 3 5 4 5 6 5 6 4 Solving time:0.060 Filtering time:4.440 ID:31 (32,5,33) Graph |V|:89 Solution size:2419 Filtered solution size:1340 Parallel solution length:162 Parallelism:8.272 Step parallelism:35 18 18 14 11 12 9 11 5 8 10 8 6 6 8 6 8 6 5 15 12 10 13 11 6 17 12 8 9 7 11 16 13 15 14 15 12 9 9 7 11 9 10 10 12 8 4 6 8 6 9 5 12 8 19 16 13 14 12 9 4 8 8 5 9 11 8 15 9 11 11 5 6 5 6 1 7 3 3 12 5 11 8 7 12 9 9 5 14 7 9 8 7 7 14 13 4 6 8 6 5 6 4 4 8 8 10 12 4 4 4 8 7 8 9 14 12 8 12 8 10 7 9 7 7 7 5 6 7 7 7 7 5 10 5 4 5 6 4 9 9 6 3 4 2 5 5 2 1 2 2 4 3 3 3 5 4 5 6 5 6 4 Solving time:0.060 Filtering time:4.350 ID:32 (32,5,34) Graph |V|:89 Solution size:2620 Filtered solution size:1304 Parallel solution length:148 Parallelism:8.811 Step parallelism:34 18 18 14 11 12 9 11 5 8 11 8 6 6 8 6 8 6 8 14 11 10 13 11 6 18 11 8 9 7 11 16 13 15 15 15 13 9 8 5 10 8 3 12 14 12 7 9 9 5 6 19 11 8 14 11 14 18 14 7 7 9 7 6 3 8 8 13 4 15 9 12 3 8 7 9 9 9 8 7 11 11 9 6 5 13 5 4 9 14 8 9 8 9 8 11 12 10 9 4 8 8 11 15 10 10 8 11 6 5 5 3 1 6 6 5 7 8 9 9 9 7 6 8 7 6 7 9 10 9 6 6 3 2 3 6 6 6 4 4 4 7 5 7 7 5 1 1 Solving time:0.070 Filtering time:15.360 ID:33 (32,5,35) Graph |V|:89 Solution size:2510 Filtered solution size:1276 Parallel solution length:151 Parallelism:8.450 Step parallelism:38 19 12 13 11 12 9 11 6 4 6 7 5 6 8 6 7 14 12 11 13 12 7 17 12 8 9 7 11 17 16 14 12 15 10 6 3 12 3 6 8 7 9 14 8 6 7 8 8 6 7 8 9 3 9 9 14 9 10 15 14 12 12 8 7 8 8 13 11 16 7 6 15 9 5 7 5 5 9 5 5 4 7 10 8 7 10 10 11 13 8 5 7 5 7 8 4 3 6 12 13 11 12 10 6 11 12 11 12 8 7 9 9 9 6 3 7 9 7 6 10 7 7 7 8 6 9 6 7 6 5 6 5 3 4 5 4 6 5 3 3 4 3 7 6 4 7 6 4 1 1 Solving time:0.060 Filtering time:3.990 ID:34 (32,5,36) Graph |V|:89 Solution size:2502 Filtered solution size:1190 Parallel solution length:148 Parallelism:8.041 Step parallelism:39 19 12 13 11 12 9 11 6 4 6 7 5 6 8 6 7 14 11 13 14 9 17 8 8 9 7 11 15 16 16 11 10 17 13 8 5 5 3 5 3 4 4 7 6 5 5 9 10 11 9 15 3 3 8 6 5 5 1 5 5 3 12 16 9 11 7 11 11 8 5 3 8 8 13 7 4 6 9 13 9 5 15 6 8 8 11 8 8 11 9 7 6 8 5 7 9 8 8 8 7 11 11 11 10 11 9 7 9 8 12 7 8 2 8 6 7 8 9 6 4 4 9 8 5 6 7 8 8 4 5 4 3 3 3 4 4 5 5 5 6 7 6 1 6 6 3 1 Solving time:0.060 Filtering time:4.820 ID:35 (32,5,37) Graph |V|:89 Solution size:2502 Filtered solution size:1174 Parallel solution length:146 Parallelism:8.041 Step parallelism:37 21 16 15 15 7 8 6 7 1 5 6 8 6 7 14 11 13 14 9 17 8 8 9 7 11 15 16 16 11 10 17 13 8 5 5 3 5 3 4 4 7 6 5 5 9 10 11 9 15 3 3 8 6 5 5 1 5 5 3 12 16 9 11 7 11 11 8 5 3 8 8 13 7 4 6 9 13 9 5 15 6 8 8 11 8 8 11 9 7 6 8 5 7 9 8 8 8 7 11 11 11 10 11 9 7 9 8 12 7 8 2 8 6 7 8 9 6 4 4 9 8 5 6 7 8 8 4 5 4 3 3 3 4 4 5 5 5 6 7 6 1 6 6 3 1 Solving time:0.060 Filtering time:4.740 ID:36 (32,5,38) Graph |V|:89 Solution size:2473 Filtered solution size:1109 Parallel solution length:135 Parallelism:8.215 Step parallelism:36 22 16 15 15 7 8 6 7 1 5 6 8 6 7 13 13 13 11 19 12 8 9 7 11 17 14 15 11 14 9 3 3 12 3 7 10 8 9 11 8 6 11 6 4 3 8 7 9 5 8 8 9 8 3 5 3 4 9 11 16 17 13 9 7 7 6 4 9 9 8 5 7 6 12 10 9 4 5 5 6 8 9 4 6 7 6 6 12 8 6 6 4 8 6 6 7 8 3 4 3 5 9 9 8 10 6 9 10 9 11 8 13 14 11 8 9 8 6 7 8 6 5 6 8 9 7 4 4 5 5 3 3 2 1 Solving time:0.070 Filtering time:3.250 ID:37 (32,5,39) Graph |V|:89 Solution size:2514 Filtered solution size:1093 Parallel solution length:138 Parallelism:7.920 Step parallelism:35 25 18 18 16 10 9 6 7 1 5 6 8 6 8 10 11 10 12 9 7 5 13 12 7 17 8 6 11 6 2 5 8 8 10 5 11 4 9 3 8 8 8 7 9 10 5 9 7 8 6 12 11 7 11 7 12 18 17 15 13 3 9 5 2 3 10 12 11 11 8 6 4 7 10 8 5 5 10 5 7 6 6 8 9 10 7 8 7 8 7 10 7 9 8 11 5 11 11 13 9 9 7 8 9 7 8 6 6 6 7 7 4 4 6 3 1 4 4 5 5 4 3 4 6 4 4 6 5 5 4 4 4 5 5 6 1 1 Solving time:0.070 Filtering time:3.120 ID:38 (32,5,40) Graph |V|:89 Solution size:2503 Filtered solution size:1127 Parallel solution length:139 Parallelism:8.108 Step parallelism:32 20 18 15 15 11 9 5 7 5 5 6 8 6 12 13 14 11 12 9 7 5 12 12 7 17 8 8 12 6 2 6 8 10 10 10 15 11 4 9 8 9 6 1 6 10 10 6 6 5 3 7 8 6 12 19 12 12 16 15 13 6 10 5 6 4 11 9 7 10 6 11 11 6 7 6 8 8 3 6 4 7 8 15 14 7 9 6 5 6 6 9 9 5 8 9 8 8 5 5 9 9 9 10 8 11 8 7 6 9 9 5 9 8 4 4 6 9 5 8 8 6 4 4 5 4 5 1 1 5 5 3 6 5 4 4 4 3 2 Solving time:0.070 Filtering time:7.240 ID:39 (32,5,41) Graph |V|:89 Solution size:2731 Filtered solution size:1157 Parallel solution length:148 Parallelism:7.818 Step parallelism:35 18 13 16 18 12 12 4 7 4 5 9 8 6 6 10 13 11 12 9 7 5 6 15 10 13 9 11 14 8 12 10 8 7 8 4 8 7 6 7 11 12 6 5 7 9 12 5 6 8 4 2 7 7 8 9 10 10 12 12 12 14 12 7 10 6 7 11 9 12 5 5 5 7 6 4 7 11 15 8 5 8 7 6 9 9 5 3 1 6 9 9 5 7 9 7 4 5 5 4 9 8 8 10 9 9 5 3 5 8 7 4 3 2 8 8 4 10 11 11 7 6 7 5 10 4 9 5 5 4 4 7 8 8 3 3 3 5 6 8 5 5 5 7 4 4 4 3 Solving time:0.060 Filtering time:11.030 ID:40 (32,5,42) Graph |V|:89 Solution size:2329 Filtered solution size:1037 Parallel solution length:129 Parallelism:8.039 Step parallelism:35 18 15 15 17 12 12 5 8 4 5 9 8 6 7 9 13 9 18 12 5 5 7 7 7 13 7 11 15 16 11 10 10 12 6 8 9 10 4 1 4 9 9 15 8 2 5 3 8 14 9 10 10 10 13 17 12 9 7 5 4 7 4 8 10 12 10 5 10 5 3 8 8 5 6 7 6 11 9 7 5 6 4 5 9 7 9 7 9 11 11 17 16 8 7 6 7 8 2 3 4 3 1 3 3 3 3 6 9 9 6 5 9 9 4 3 3 5 8 6 3 6 6 5 5 5 5 5 3 Solving time:0.060 Filtering time:2.400 ID:41 (32,5,43) Graph |V|:89 Solution size:2358 Filtered solution size:946 Parallel solution length:108 Parallelism:8.759 Step parallelism:32 16 14 14 13 14 11 7 5 8 5 5 9 9 8 6 6 10 11 9 14 11 9 8 8 10 13 11 11 7 14 9 8 6 7 10 9 9 6 6 11 14 8 11 10 9 15 7 12 6 5 5 9 9 6 9 12 12 14 12 3 2 7 8 6 7 10 9 5 5 5 7 6 9 10 10 9 10 8 9 11 10 9 12 11 9 8 9 9 7 9 9 10 9 7 5 5 6 5 6 5 7 9 8 3 4 4 1 Solving time:0.070 Filtering time:5.700 ID:42 (32,5,44) Graph |V|:89 Solution size:2275 Filtered solution size:925 Parallel solution length:112 Parallelism:8.259 Step parallelism:31 17 16 9 13 11 9 3 2 5 4 6 6 7 4 6 13 11 18 14 9 7 6 6 12 12 15 15 12 11 14 12 14 11 18 6 2 6 5 7 10 8 6 9 3 5 5 8 8 14 12 15 15 11 19 16 11 15 19 18 14 10 4 2 1 1 7 8 8 11 6 8 7 8 9 7 7 5 5 6 4 8 12 5 4 4 5 5 10 9 9 8 6 5 7 4 5 5 4 3 1 2 3 4 4 3 2 3 3 5 5 2 Solving time:0.060 Filtering time:3.560 ID:43 (32,5,45) Graph |V|:89 Solution size:2173 Filtered solution size:859 Parallel solution length:105 Parallelism:8.181 Step parallelism:29 17 15 10 13 11 8 3 2 5 4 6 6 7 7 6 6 9 17 13 8 8 6 6 13 12 13 17 9 8 11 14 5 3 4 8 7 7 9 7 9 8 7 6 6 4 3 9 9 13 13 12 14 11 13 15 18 16 11 12 5 9 10 13 10 9 11 7 6 5 9 7 7 5 8 5 5 6 6 2 6 6 7 6 8 3 5 7 7 6 3 8 6 6 6 7 4 4 5 5 4 4 5 4 4 Solving time:0.070 Filtering time:8.150 ID:44 (32,5,46) Graph |V|:89 Solution size:2310 Filtered solution size:870 Parallel solution length:112 Parallelism:7.768 Step parallelism:29 17 14 10 13 12 8 3 2 5 4 6 6 7 7 6 6 9 17 13 8 8 6 6 13 12 13 16 8 7 12 8 5 3 4 8 7 7 9 7 9 8 7 6 6 4 2 8 8 12 13 14 12 9 11 15 18 13 5 8 12 12 13 6 12 5 4 5 9 10 11 8 10 6 9 7 5 6 6 5 5 7 6 7 6 5 4 8 8 7 9 4 4 7 5 5 6 5 5 4 4 4 3 4 3 5 3 4 4 4 4 1 Solving time:0.060 Filtering time:12.150 ID:45 (32,5,47) Graph |V|:89 Solution size:2567 Filtered solution size:892 Parallel solution length:117 Parallelism:7.624 Step parallelism:28 17 14 10 12 10 9 3 2 5 5 6 6 7 9 4 10 7 6 7 13 12 11 10 9 11 9 13 10 5 7 8 10 8 8 7 8 5 6 10 11 9 8 7 8 14 5 10 15 14 11 6 5 8 14 11 12 5 8 9 5 5 3 4 4 7 7 7 4 5 6 9 10 10 13 13 9 8 10 9 13 9 6 8 7 7 9 8 5 3 7 6 3 5 6 6 4 7 7 3 7 4 5 7 5 4 3 3 4 4 3 4 5 3 3 3 1 Solving time:0.060 Filtering time:8.890 ID:46 (32,5,48) Graph |V|:89 Solution size:2225 Filtered solution size:791 Parallel solution length:100 Parallelism:7.910 Step parallelism:27 17 14 10 13 12 8 5 5 4 4 5 6 12 9 12 15 13 10 6 6 6 12 15 10 9 5 6 11 9 9 8 3 1 2 7 8 8 7 7 12 12 16 18 9 8 13 20 14 15 11 6 4 3 7 6 6 7 5 6 8 9 8 12 10 12 4 5 9 11 9 7 6 5 5 2 4 5 5 6 6 6 8 7 7 4 2 5 4 5 4 7 5 4 4 4 4 5 3 1 Solving time:0.060 Filtering time:3.270 ID:47 (32,5,49) Graph |V|:89 Solution size:2196 Filtered solution size:738 Parallel solution length:110 Parallelism:6.709 Step parallelism:26 16 13 9 13 12 8 5 5 4 4 5 6 12 9 12 15 13 10 6 6 6 12 13 10 9 5 6 11 9 9 8 3 2 1 6 8 9 7 7 6 7 15 13 5 8 9 9 17 11 13 11 7 7 8 7 5 4 3 8 6 7 7 8 5 10 6 2 2 8 8 6 7 4 8 6 5 5 5 6 4 4 3 4 2 3 5 4 3 3 4 6 6 5 1 1 5 4 3 3 3 3 2 1 3 2 3 2 1 1 Solving time:0.060 Filtering time:4.910 ID:48 (32,5,50) Graph |V|:89 Solution size:2196 Filtered solution size:732 Parallel solution length:110 Parallelism:6.655 Step parallelism:25 16 13 9 12 12 8 5 5 3 4 5 6 12 9 12 15 13 10 6 6 6 12 13 10 8 4 5 11 9 9 8 3 2 1 6 8 9 7 7 6 7 15 13 5 8 9 9 17 11 13 11 7 7 8 7 5 4 3 8 6 7 7 8 5 10 6 2 2 8 8 6 7 4 8 6 5 5 5 6 4 4 3 4 2 3 5 4 3 3 4 6 6 5 1 1 5 4 3 3 3 3 2 1 3 2 3 2 1 1 Solving time:0.060 Filtering time:3.830 ID:49 (32,5,51) Graph |V|:89 Solution size:2238 Filtered solution size:749 Parallel solution length:112 Parallelism:6.688 Step parallelism:24 15 16 10 12 12 6 9 10 11 6 5 7 6 7 7 6 9 10 9 7 13 13 6 8 8 7 5 8 4 3 5 4 6 6 7 7 7 9 11 10 9 7 6 7 7 9 6 13 9 9 5 2 4 3 2 4 9 7 10 8 6 9 9 8 9 6 7 10 7 9 7 9 10 8 7 2 2 4 3 7 5 3 5 5 5 6 6 4 5 2 5 5 7 5 5 4 3 3 4 4 6 4 5 5 4 2 2 1 1 1 1 Solving time:0.060 Filtering time:5.540 ID:50 (32,5,52) Graph |V|:89 Solution size:2230 Filtered solution size:723 Parallel solution length:103 Parallelism:7.019 Step parallelism:23 14 16 10 12 12 6 9 10 11 6 5 7 6 7 7 6 9 10 9 7 13 13 6 8 8 7 5 8 4 3 5 4 6 6 7 7 7 9 11 10 9 7 6 7 7 8 6 13 9 9 5 4 6 3 2 4 11 9 11 11 9 11 8 9 6 6 4 6 4 6 6 6 6 7 8 8 10 8 7 4 5 7 3 6 7 7 6 5 4 4 5 5 5 5 1 1 4 3 2 1 1 1 Solving time:0.060 Filtering time:4.870 ID:51 (32,5,53) Graph |V|:89 Solution size:2348 Filtered solution size:651 Parallel solution length:97 Parallelism:6.711 Step parallelism:22 13 15 10 12 12 6 10 10 11 6 5 7 6 7 7 6 9 10 9 7 12 13 6 8 8 7 5 8 4 3 5 4 6 6 7 7 7 9 11 9 9 7 6 7 7 8 6 13 9 9 5 4 5 2 1 5 8 9 7 12 10 8 6 11 10 1 1 1 5 5 5 4 3 6 7 7 7 4 7 5 4 3 2 5 5 6 3 4 5 4 4 4 2 1 1 1 Solving time:0.060 Filtering time:4.660 ID:52 (32,5,54) Graph |V|:89 Solution size:2254 Filtered solution size:585 Parallel solution length:93 Parallelism:6.290 Step parallelism:21 14 14 8 11 12 6 10 10 10 6 5 7 6 6 5 5 8 8 8 7 12 13 6 8 8 7 5 8 4 3 4 5 5 6 5 6 4 9 11 7 9 6 4 7 7 8 5 13 9 9 5 4 5 2 1 5 9 5 7 12 8 5 3 7 6 5 7 7 5 9 7 5 3 2 3 3 3 2 1 2 5 4 3 3 2 2 2 6 6 2 1 1 Solving time:0.060 Filtering time:4.290 ID:53 (32,5,55) Graph |V|:89 Solution size:2152 Filtered solution size:579 Parallel solution length:95 Parallelism:6.095 Step parallelism:20 15 14 8 10 8 9 9 8 6 5 7 6 6 5 5 8 8 8 7 12 14 6 8 8 7 5 10 4 3 5 6 6 6 5 6 4 6 11 5 2 4 3 5 2 8 7 4 10 9 13 5 6 8 4 4 10 10 7 6 8 8 10 8 6 5 4 2 2 7 4 5 4 3 2 2 1 3 3 4 3 2 1 1 5 5 3 7 6 5 5 3 4 1 1 Solving time:0.060 Filtering time:3.050 ID:54 (32,5,56) Graph |V|:89 Solution size:2152 Filtered solution size:563 Parallel solution length:89 Parallelism:6.326 Step parallelism:19 15 14 8 10 7 9 9 8 6 5 7 6 6 5 5 8 8 8 7 12 14 6 8 8 7 5 10 4 3 5 6 6 6 5 6 4 6 11 5 2 4 3 3 2 8 7 4 10 13 12 12 13 11 11 11 12 9 6 5 4 2 2 7 4 5 4 3 2 2 1 3 3 4 3 2 1 1 5 5 3 7 6 5 5 3 4 1 1 Solving time:0.060 Filtering time:2.940 ID:55 (32,5,57) Graph |V|:89 Solution size:1933 Filtered solution size:514 Parallel solution length:71 Parallelism:7.239 Step parallelism:18 15 15 15 14 10 13 9 17 13 14 11 7 6 5 3 4 3 2 7 8 12 11 14 12 12 12 9 6 8 6 3 3 2 4 6 6 6 3 7 8 9 8 5 2 7 6 9 5 4 4 3 5 4 6 7 9 7 7 8 5 5 6 6 6 4 4 1 1 1 1 Solving time:0.060 Filtering time:4.500 ID:56 (32,5,58) Graph |V|:89 Solution size:1933 Filtered solution size:506 Parallel solution length:71 Parallelism:7.127 Step parallelism:17 15 14 14 13 8 11 9 17 13 14 11 7 6 5 3 4 3 2 7 8 12 11 14 12 12 12 9 6 8 6 3 3 2 4 6 6 6 3 7 8 9 8 5 2 7 6 9 5 4 4 3 5 4 6 7 9 7 7 8 5 5 6 6 6 4 4 1 1 1 1 Solving time:0.050 Filtering time:4.500 ID:57 (32,5,59) Graph |V|:89 Solution size:2077 Filtered solution size:474 Parallel solution length:78 Parallelism:6.077 Step parallelism:18 16 13 15 12 8 12 11 15 11 12 8 5 5 7 2 1 2 3 4 4 5 5 6 5 7 6 7 4 7 10 8 6 9 4 3 2 5 5 6 5 8 9 4 5 2 1 5 5 9 5 3 4 4 5 8 8 9 7 7 5 4 2 3 4 4 5 6 5 4 5 6 3 3 3 3 1 1 Solving time:0.050 Filtering time:4.320 ID:58 (32,5,60) Graph |V|:89 Solution size:2010 Filtered solution size:452 Parallel solution length:64 Parallelism:7.062 Step parallelism:17 14 17 13 12 10 19 17 14 11 13 5 2 2 4 3 2 5 5 4 5 2 3 5 4 6 6 9 9 7 6 4 10 8 7 4 5 6 5 7 7 8 7 7 10 10 10 12 10 7 6 4 4 6 5 5 5 3 4 3 4 3 3 2 Solving time:0.050 Filtering time:5.370 ID:59 (32,5,61) Graph |V|:89 Solution size:2038 Filtered solution size:431 Parallel solution length:68 Parallelism:6.338 Step parallelism:16 14 17 14 12 10 18 15 14 7 9 4 3 2 5 3 6 6 5 5 6 4 5 5 4 7 5 7 8 8 5 7 3 5 4 8 13 11 6 9 11 8 5 5 5 3 6 6 5 4 3 4 3 3 4 2 4 4 2 3 3 3 2 4 2 5 5 2 Solving time:0.060 Filtering time:1.530 ID:60 (32,5,62) Graph |V|:89 Solution size:1936 Filtered solution size:419 Parallel solution length:64 Parallelism:6.547 Step parallelism:18 14 16 12 8 12 19 12 9 6 6 4 3 2 5 3 6 7 8 10 9 9 9 8 5 3 4 3 8 6 5 7 8 10 9 6 3 3 6 5 6 4 3 5 7 5 7 7 9 8 8 10 7 4 3 2 3 3 2 2 3 2 2 1 Solving time:0.050 Filtering time:2.010 ID:61 (32,5,63) Graph |V|:89 Solution size:1936 Filtered solution size:401 Parallel solution length:63 Parallelism:6.365 Step parallelism:18 15 16 12 8 12 18 11 8 6 5 3 2 2 5 3 6 7 8 9 8 7 7 6 5 3 4 3 8 6 5 7 8 10 9 6 3 5 6 5 3 3 5 7 5 7 7 9 8 8 10 7 4 3 2 3 3 2 2 3 2 2 1 Solving time:0.050 Filtering time:1.730 ID:62 (32,5,64) Graph |V|:89 Solution size:1994 Filtered solution size:430 Parallel solution length:71 Parallelism:6.056 Step parallelism:17 14 16 12 9 14 18 12 8 7 5 3 3 2 5 3 7 7 8 8 5 6 7 8 5 7 6 6 7 7 6 5 4 5 5 5 2 4 3 3 6 3 2 4 4 6 9 6 8 9 8 7 5 4 3 5 5 5 5 5 5 4 4 4 5 3 1 3 3 3 2 Solving time:0.060 Filtering time:3.360 ID:63 (32,5,65) Graph |V|:89 Solution size:1959 Filtered solution size:345 Parallel solution length:59 Parallelism:5.847 Step parallelism:16 13 15 12 9 13 18 11 9 7 7 4 3 4 5 3 7 7 7 8 5 6 5 5 3 5 3 8 6 9 9 7 10 8 7 5 4 5 5 3 2 2 3 2 2 2 2 3 2 6 6 4 3 3 2 2 1 1 1 Solving time:0.050 Filtering time:2.030 ID:64 (32,5,66) Graph |V|:89 Solution size:2118 Filtered solution size:321 Parallel solution length:49 Parallelism:6.551 Step parallelism:17 13 14 12 9 12 18 11 9 11 9 8 6 4 5 5 7 6 5 3 7 6 7 5 4 6 6 7 6 9 7 7 7 5 3 1 1 1 2 2 3 2 3 6 8 7 4 3 2 Solving time:0.060 Filtering time:3.000 ID:65 (32,5,67) Graph |V|:89 Solution size:1963 Filtered solution size:261 Parallel solution length:43 Parallelism:6.070 Step parallelism:17 13 15 13 7 15 11 10 6 5 4 3 3 2 3 3 6 5 7 5 6 5 8 8 7 6 8 9 7 6 6 5 5 3 1 3 3 3 3 3 1 1 1 Solving time:0.050 Filtering time:2.250 ID:66 (32,5,68) Graph |V|:89 Solution size:1963 Filtered solution size:245 Parallel solution length:43 Parallelism:5.698 Step parallelism:17 14 16 13 7 15 11 10 6 5 4 4 4 2 3 3 6 7 8 6 7 4 5 3 4 3 4 8 5 5 5 4 5 3 1 3 3 3 3 3 1 1 1 Solving time:0.050 Filtering time:2.660 ID:67 (32,5,69) Graph |V|:89 Solution size:1812 Filtered solution size:227 Parallel solution length:30 Parallelism:7.567 Step parallelism:17 13 12 14 8 13 9 9 8 10 9 9 8 8 7 7 6 8 6 6 4 5 4 4 4 4 4 4 4 3 Solving time:0.050 Filtering time:1.310 ID:68 (32,5,70) Graph |V|:89 Solution size:1544 Filtered solution size:216 Parallel solution length:31 Parallelism:6.968 Step parallelism:16 13 16 12 7 14 10 10 8 7 5 4 4 6 8 7 6 6 8 7 7 4 4 5 6 5 5 2 2 1 1 Solving time:0.050 Filtering time:0.620 ID:69 (32,5,71) Graph |V|:89 Solution size:1760 Filtered solution size:214 Parallel solution length:35 Parallelism:6.114 Step parallelism:15 13 12 12 8 10 8 8 6 5 4 7 7 5 5 4 4 8 5 3 3 4 6 5 8 6 3 5 5 4 4 4 3 3 2 Solving time:0.040 Filtering time:0.250 ID:70 (32,5,72) Graph |V|:89 Solution size:1713 Filtered solution size:161 Parallel solution length:27 Parallelism:5.963 Step parallelism:14 12 13 11 6 6 6 6 4 6 5 7 8 4 5 4 4 7 5 2 2 6 4 5 4 4 1 Solving time:0.050 Filtering time:0.630 ID:71 (32,5,73) Graph |V|:89 Solution size:1632 Filtered solution size:154 Parallel solution length:24 Parallelism:6.417 Step parallelism:11 8 10 6 8 8 8 10 8 9 10 7 7 8 8 4 3 5 3 5 4 2 1 1 Solving time:0.050 Filtering time:0.460 ID:72 (32,5,74) Graph |V|:89 Solution size:1632 Filtered solution size:142 Parallel solution length:20 Parallelism:7.100 Step parallelism:12 11 12 9 10 11 8 8 9 8 8 8 7 5 4 2 3 4 2 1 Solving time:0.050 Filtering time:0.560 ID:73 (32,5,75) Graph |V|:89 Solution size:1518 Filtered solution size:110 Parallel solution length:15 Parallelism:7.333 Step parallelism:11 12 11 10 10 11 5 6 6 7 4 4 6 5 2 Solving time:0.050 Filtering time:0.830 ID:74 (32,5,76) Graph |V|:89 Solution size:1518 Filtered solution size:104 Parallel solution length:15 Parallelism:6.933 Step parallelism:11 12 10 10 9 9 4 5 6 7 4 4 6 5 2 Solving time:0.050 Filtering time:0.870 ID:75 (32,5,77) Graph |V|:89 Solution size:1520 Filtered solution size:99 Parallel solution length:14 Parallelism:7.071 Step parallelism:10 11 9 9 8 6 8 9 8 7 4 3 4 3 Solving time:0.050 Filtering time:0.880 ID:76 (32,5,78) Graph |V|:89 Solution size:1525 Filtered solution size:97 Parallel solution length:17 Parallelism:5.706 Step parallelism:11 11 10 7 6 5 5 6 6 6 4 4 4 4 3 3 2 Solving time:0.040 Filtering time:0.540 ID:77 (32,5,79) Graph |V|:89 Solution size:1525 Filtered solution size:84 Parallel solution length:16 Parallelism:5.250 Step parallelism:9 9 9 8 7 7 5 6 7 4 3 3 2 1 2 2 Solving time:0.040 Filtering time:0.540 ID:78 (32,5,80) Graph |V|:89 Solution size:1554 Filtered solution size:79 Parallel solution length:14 Parallelism:5.643 Step parallelism:8 8 6 5 4 7 8 7 6 6 3 4 4 3 Solving time:0.040 Filtering time:0.440 ID:79 (32,5,81) Graph |V|:89 Solution size:1411 Filtered solution size:61 Parallel solution length:14 Parallelism:4.357 Step parallelism:8 7 5 6 5 5 6 6 5 3 2 1 1 1 Solving time:0.040 Filtering time:0.280 ID:80 (32,5,82) Graph |V|:89 Solution size:1469 Filtered solution size:57 Parallel solution length:14 Parallelism:4.071 Step parallelism:7 7 6 6 5 4 4 4 4 4 3 1 1 1 Solving time:0.040 Filtering time:0.340 ID:81 (32,5,83) Graph |V|:89 Solution size:1469 Filtered solution size:54 Parallel solution length:14 Parallelism:3.857 Step parallelism:6 6 5 6 5 4 4 4 4 4 3 1 1 1 Solving time:0.040 Filtering time:0.310 ID:82 (32,5,84) Graph |V|:89 Solution size:1329 Filtered solution size:35 Parallel solution length:9 Parallelism:3.889 Step parallelism:5 5 4 5 4 3 4 4 1 Solving time:0.050 Filtering time:0.090 ID:83 (32,5,85) Graph |V|:89 Solution size:1386 Filtered solution size:29 Parallel solution length:9 Parallelism:3.222 Step parallelism:4 4 4 4 3 3 3 3 1 Solving time:0.040 Filtering time:0.100 ID:84 (32,5,86) Graph |V|:89 Solution size:1249 Filtered solution size:18 Parallel solution length:7 Parallelism:2.571 Step parallelism:3 3 3 3 2 2 2 Solving time:0.040 Filtering time:0.060 ID:85 (32,5,87) Graph |V|:89 Solution size:1352 Filtered solution size:16 Parallel solution length:8 Parallelism:2.000 Step parallelism:2 2 2 2 2 2 2 2 Solving time:0.030 Filtering time:0.030 ID:86 (32,5,88) Graph |V|:89 Solution size:1141 Filtered solution size:5 Parallel solution length:5 Parallelism:1.000 Step parallelism:1 1 1 1 1 Solving time:0.030 Filtering time:0.000 ID:87 (32,5,89) Graph |V|:89 ID:88 (32,5,90) Graph |V|:89 ID:89 (32,5,91) Graph |V|:89 ID:90 (32,5,92) Graph |V|:89 ID:91 (32,5,93) Graph |V|:89 ID:92 (32,5,94) Graph |V|:89 ID:93 (32,5,95) Graph |V|:89 ID:94 (32,5,96) Graph |V|:89 ID:95 (32,5,97) Graph |V|:89 ID:96 (32,5,98) Graph |V|:89 ID:97 (32,5,99) Graph |V|:89 ID:98 (32,5,100) Graph |V|:89