ID:0 (13,13,2)
Graph |V|:91
Solution size:5690
Filtered solution size:5314
Parallel solution length:439
Parallelism:12.105
Step parallelism:17 6 12 15 13 11 11 6 8 6 7 17 13 10 12 11 27 24 12 22 29 12 11 6 14 7 6 4 14 20 10 7 13 11 13 6 15 10 8 13 11 1 14 19 16 16 12 7 15 11 8 15 12 12 9 6 15 14 12 11 19 23 13 11 1 4 18 16 16 12 16 15 10 17 11 6 6 6 15 15 10 14 15 9 7 17 11 6 6 6 15 13 7 7 6 15 23 10 17 15 15 15 15 17 7 13 11 13 37 9 6 6 15 15 15 11 15 15 15 10 8 17 11 6 6 6 15 20 8 6 23 19 15 15 22 11 11 6 6 6 15 20 8 6 23 18 15 15 15 23 11 13 13 13 11 11 18 15 13 11 7 13 11 13 6 13 1 13 19 10 7 13 11 13 6 13 9 13 13 14 13 14 15 13 10 6 14 1 4 9 7 15 18 14 21 19 15 6 14 11 11 18 14 21 14 14 20 14 21 1 15 14 14 14 14 17 21 14 21 23 15 14 22 21 14 6 14 14 14 14 14 14 14 16 25 14 14 14 9 13 2 12 18 21 11 11 10 25 15 15 15 15 14 7 13 11 22 12 12 12 10 26 10 15 7 14 11 11 16 10 22 10 16 15 15 10 15 15 15 7 16 11 11 16 17 6 11 11 11 24 16 6 13 11 11 19 17 11 11 11 23 17 12 12 12 9 6 6 13 11 11 22 14 7 25 10 22 10 21 11 6 6 15 13 11 11 11 11 17 13 13 7 6 6 13 7 6 7 6 12 8 6 7 6 12 10 6 8 6 25 12 11 11 13 12 15 15 11 11 15 15 11 11 11 9 9 13 11 11 11 7 10 7 12 11 16 10 7 11 11 11 11 11 16 16 6 6 11 10 13 6 6 8 11 6 10 12 6 6 6 10 6 6 6 6 10 6 7 7 12 11 11 12 6 11 6 11 11 11 11 11 13 6 11 6 6 7 12 11 8 6 6 9 12 11 11 11 10 4 
Solving time:0.060
Filtering time:15.330
ID:1 (13,13,3)
Graph |V|:91
Solution size:5295
Filtered solution size:4728
Parallel solution length:387
Parallelism:12.217
Step parallelism:16 6 12 15 13 11 11 6 8 6 7 17 13 10 12 11 27 24 12 22 29 12 11 6 14 7 6 4 14 20 20 11 13 11 13 6 15 10 8 13 11 1 14 19 16 16 12 7 15 11 8 15 12 12 9 6 15 14 12 11 19 23 13 11 1 4 18 16 16 12 16 15 10 17 11 6 6 6 15 15 10 14 15 9 7 17 11 6 6 6 15 13 22 22 21 30 30 16 7 13 11 13 36 9 7 6 14 10 10 14 14 9 9 17 20 6 6 6 14 12 7 9 25 16 15 21 10 12 6 6 6 36 27 22 24 16 18 13 12 10 19 4 15 13 9 13 11 7 12 10 12 6 8 5 13 13 10 22 12 14 16 14 11 8 18 1 4 9 17 23 27 16 13 11 17 20 14 12 15 13 11 17 20 1 1 14 13 13 11 14 12 23 13 27 8 9 11 11 11 22 20 25 19 13 20 17 13 11 11 22 20 18 15 14 14 9 15 2 12 17 20 5 10 13 13 11 11 11 11 11 19 16 11 21 10 22 12 16 17 6 11 11 11 24 20 13 11 11 17 27 13 12 10 6 6 13 11 11 29 13 12 12 10 6 11 11 11 17 27 13 9 6 11 11 11 1 15 10 9 18 10 11 11 11 10 12 12 12 11 12 8 7 5 12 11 4 14 12 12 11 7 6 10 14 12 6 5 11 14 21 19 10 6 10 6 4 13 11 11 11 11 9 7 10 10 10 2 15 10 10 10 7 12 15 11 10 10 11 7 12 6 6 8 9 14 7 6 8 6 7 15 6 6 13 10 10 12 6 9 6 12 11 11 10 12 10 15 13 12 12 8 11 10 5 8 9 8 11 11 9 7 7 14 12 7 3 1 
Solving time:0.060
Filtering time:18.130
ID:2 (13,13,4)
Graph |V|:91
Solution size:5478
Filtered solution size:4806
Parallel solution length:396
Parallelism:12.136
Step parallelism:19 6 12 15 13 11 11 6 8 6 7 17 13 10 12 11 26 23 12 23 28 12 12 6 13 7 7 4 13 20 21 11 13 11 13 6 14 10 8 14 11 1 8 19 16 16 12 7 15 11 8 15 13 12 15 6 14 11 11 18 23 12 10 23 20 10 16 9 9 17 11 6 6 6 17 15 10 7 12 8 7 7 17 11 21 21 21 29 24 22 15 12 25 7 17 22 10 7 14 10 10 10 8 18 11 16 13 12 25 12 8 8 15 10 7 24 24 21 7 6 15 18 23 22 17 15 15 10 13 13 5 12 10 3 13 11 10 13 22 10 14 11 10 19 9 15 9 8 16 16 10 11 12 12 11 8 11 1 4 7 6 6 20 26 29 8 16 11 11 17 20 14 14 19 13 3 10 14 13 13 11 14 12 8 15 18 13 26 8 15 11 11 17 20 14 10 23 13 9 22 9 7 11 11 11 22 13 25 23 13 19 12 10 10 10 11 9 7 6 15 11 11 10 18 13 11 21 16 11 17 18 6 7 11 11 11 19 17 14 11 11 23 16 6 14 22 12 11 6 10 9 7 11 23 15 10 17 17 8 3 23 18 12 12 12 12 12 12 12 16 12 11 11 11 11 11 11 11 11 12 11 6 11 11 8 13 11 11 13 11 11 11 11 11 11 10 15 11 11 11 11 11 9 12 11 6 11 17 12 14 11 7 12 14 12 11 11 15 14 8 7 9 6 10 6 14 7 15 11 13 11 11 13 3 19 11 11 12 11 11 10 10 10 11 7 8 11 10 10 14 16 7 4 7 6 6 14 14 6 6 11 7 8 6 10 10 6 6 9 6 9 7 6 6 10 10 11 11 16 4 8 5 7 12 10 10 7 10 6 4 13 12 11 11 8 4 
Solving time:0.060
Filtering time:18.120
ID:3 (13,13,5)
Graph |V|:91
Solution size:5601
Filtered solution size:4905
Parallel solution length:409
Parallelism:11.993
Step parallelism:12 7 10 5 12 15 15 11 11 6 7 2 28 26 16 10 12 11 9 21 12 10 15 12 12 14 15 17 15 11 20 12 12 8 5 14 11 8 9 6 6 23 16 15 12 7 15 11 12 22 20 19 15 6 13 11 22 8 15 24 27 25 12 16 9 9 16 10 6 5 5 15 15 10 7 12 8 7 7 17 11 21 21 21 29 24 22 15 12 25 7 5 18 7 6 15 11 15 13 14 9 9 16 20 13 12 6 25 12 16 11 20 4 8 19 7 7 6 11 16 8 6 21 5 13 16 11 7 12 10 12 6 8 1 13 18 20 2 12 10 8 21 1 18 18 15 15 15 23 8 12 7 15 10 19 10 2 1 8 7 11 16 11 14 9 9 6 20 12 11 8 11 1 4 7 18 21 28 1 15 14 14 14 14 13 10 10 17 17 16 15 14 14 14 19 19 20 14 14 27 13 11 14 20 14 10 9 8 12 21 23 1 15 13 21 12 9 5 11 10 10 9 14 9 6 10 6 15 11 11 10 25 23 15 15 15 15 15 15 14 14 14 14 8 7 16 11 11 15 10 15 9 9 14 8 7 15 11 11 15 10 9 8 7 7 14 11 11 15 10 11 15 18 10 13 6 13 11 11 18 18 7 11 11 11 17 27 13 12 10 6 6 13 11 9 10 9 7 7 12 29 15 9 15 18 22 13 3 6 13 17 12 14 11 13 11 6 6 1 12 12 7 13 11 11 13 11 13 11 6 6 1 12 14 11 14 11 13 12 11 11 12 8 6 7 12 19 10 11 11 11 12 9 10 10 10 10 14 13 10 10 10 10 13 11 14 15 13 10 10 12 11 4 9 7 5 7 15 6 6 13 7 10 9 11 10 10 13 11 16 12 10 9 8 10 10 5 8 9 4 11 8 5 2 14 12 12 6 4 
Solving time:0.060
Filtering time:20.880
ID:4 (13,13,6)
Graph |V|:91
Solution size:5114
Filtered solution size:4473
Parallel solution length:377
Parallelism:11.865
Step parallelism:14 7 10 5 12 15 15 11 11 6 7 2 28 26 16 10 12 11 9 21 12 10 15 12 12 14 15 17 15 11 20 12 12 8 5 14 11 9 9 6 6 22 15 14 12 8 15 11 12 22 20 19 15 6 13 11 22 8 15 24 26 20 12 10 9 9 16 10 6 5 3 14 13 6 6 7 15 14 11 26 21 28 28 16 16 8 14 11 14 14 7 6 11 10 13 8 6 9 17 19 18 13 12 24 12 16 11 16 4 8 19 7 7 6 11 16 8 6 21 5 13 16 11 7 12 10 12 6 8 1 13 18 20 10 19 11 12 10 10 23 17 16 15 15 15 14 18 13 16 16 5 8 7 13 26 12 10 10 10 15 13 8 6 11 1 4 6 6 6 14 22 14 21 9 7 16 11 13 20 11 14 8 13 11 11 17 20 1 1 14 13 22 13 4 14 20 16 14 13 11 17 20 14 22 14 20 10 24 11 11 20 17 10 15 14 22 13 9 5 11 10 10 9 8 8 13 11 11 10 18 18 11 21 13 16 15 9 15 9 14 11 11 15 10 11 15 16 12 11 11 18 8 16 10 22 12 11 11 7 15 9 15 17 27 13 12 10 6 6 13 11 15 27 10 10 7 11 11 11 11 12 12 15 11 11 17 11 12 11 7 7 3 12 14 10 6 6 1 9 8 6 7 2 12 12 11 11 11 11 17 9 7 6 8 6 9 8 6 12 19 8 11 17 15 10 14 10 10 10 10 15 9 11 14 16 18 13 16 8 6 6 6 8 13 9 8 6 12 11 10 8 9 6 4 3 3 11 10 10 12 7 9 3 2 2 6 6 5 10 12 11 11 8 5 8 6 5 
Solving time:0.060
Filtering time:15.200
ID:5 (13,13,7)
Graph |V|:91
Solution size:5114
Filtered solution size:4438
Parallel solution length:376
Parallelism:11.803
Step parallelism:17 10 10 5 12 15 15 11 11 6 7 2 28 18 16 11 12 11 9 21 12 10 15 12 12 14 15 17 15 12 20 12 12 8 5 14 11 9 9 6 6 22 15 14 12 8 15 11 12 22 20 19 15 6 13 11 22 8 15 24 26 20 12 10 9 9 16 10 6 5 3 14 13 6 6 7 15 14 11 25 20 27 27 9 15 3 13 9 17 6 6 10 10 13 9 6 9 17 18 18 13 12 22 12 16 11 16 4 8 19 7 7 6 11 16 8 6 21 5 13 16 11 7 12 10 12 6 8 1 13 18 20 10 19 11 12 10 10 23 17 16 15 15 15 14 18 13 16 16 5 8 7 13 26 12 10 10 10 15 13 8 6 11 1 4 6 6 6 14 22 14 21 9 7 16 11 13 20 11 14 8 13 11 11 17 20 1 1 14 13 22 13 4 14 20 16 14 13 11 17 20 14 22 14 20 10 24 11 11 20 17 10 15 14 22 13 9 5 11 10 10 9 8 8 13 11 11 10 18 18 11 21 13 16 15 9 15 9 14 11 11 15 10 11 15 16 12 11 11 18 8 16 10 22 12 11 11 7 15 9 15 17 27 13 12 10 6 6 13 11 15 27 10 10 7 11 11 11 11 12 12 15 11 11 17 11 12 11 7 7 3 12 14 10 6 6 1 9 8 6 7 2 12 12 11 11 11 11 17 9 7 6 8 6 9 8 6 12 19 8 11 17 15 10 14 10 10 10 10 15 9 11 14 16 18 13 16 8 6 6 6 8 13 9 8 6 12 11 10 8 9 6 4 3 3 11 10 10 12 7 9 3 2 2 6 6 5 10 12 11 11 8 5 8 6 5 
Solving time:0.060
Filtering time:15.550
ID:6 (13,13,8)
Graph |V|:91
Solution size:5499
Filtered solution size:4772
Parallel solution length:406
Parallelism:11.754
Step parallelism:17 12 10 5 12 15 15 11 11 6 7 2 28 18 16 11 12 11 9 21 12 10 15 12 12 14 15 17 15 12 20 12 12 8 5 14 11 9 10 6 6 21 14 13 12 8 16 11 12 22 20 19 15 6 13 11 22 8 15 24 12 7 4 4 6 18 9 6 15 14 10 12 12 20 20 20 23 14 26 14 13 10 18 7 6 10 10 13 9 7 9 17 16 18 11 6 20 12 12 11 15 4 8 19 7 7 6 4 6 6 6 1 13 19 15 11 7 12 10 12 5 12 1 11 10 10 10 17 17 12 11 11 11 22 17 15 15 15 23 10 13 19 4 15 13 10 12 6 11 14 13 22 11 6 14 1 4 6 6 6 14 25 20 27 32 14 11 17 20 1 1 14 13 24 19 11 11 11 5 14 21 12 9 7 12 22 20 14 14 15 13 9 25 14 17 6 11 14 13 20 12 9 5 11 10 10 9 16 15 11 11 12 25 25 15 15 15 15 15 15 15 18 15 14 14 14 14 14 14 14 11 10 16 11 11 15 10 9 8 7 7 14 11 11 15 18 7 6 9 11 11 11 21 12 11 11 14 10 15 14 10 10 14 14 9 7 16 11 11 15 18 7 8 11 11 11 23 19 17 19 17 12 6 11 11 11 26 12 12 12 12 12 12 12 12 15 12 11 11 11 11 11 11 11 11 13 11 6 11 13 12 11 6 6 14 11 13 11 11 13 11 7 7 13 9 7 8 6 11 9 7 6 8 6 15 7 6 14 12 6 12 11 7 6 6 17 14 7 14 10 15 17 15 15 3 14 8 12 6 7 6 5 9 1 14 13 11 6 16 13 10 11 6 9 6 15 7 6 6 6 6 13 11 11 2 7 6 6 4 7 5 2 3 6 11 10 12 11 15 8 12 5 6 8 5 1 
Solving time:0.060
Filtering time:20.850
ID:7 (13,13,9)
Graph |V|:91
Solution size:5358
Filtered solution size:4595
Parallel solution length:387
Parallelism:11.873
Step parallelism:20 11 7 5 12 13 15 11 11 6 14 2 17 19 16 11 12 11 9 21 12 10 15 12 12 14 15 17 15 12 20 12 12 8 5 14 11 9 10 6 6 26 14 14 12 8 16 11 1 15 14 12 14 6 12 12 12 10 17 13 12 16 11 13 5 13 7 5 10 6 13 11 10 12 12 20 20 20 23 14 24 22 17 7 7 11 10 13 9 7 9 17 16 11 6 6 8 7 9 8 5 8 6 6 10 10 15 10 20 26 8 9 7 15 13 13 6 13 3 13 20 15 19 2 2 18 17 17 15 24 12 18 20 5 12 11 7 11 10 10 21 13 13 23 6 6 8 12 18 9 1 1 17 19 19 22 16 18 15 14 14 14 14 14 14 28 17 14 5 11 14 14 14 23 18 16 13 16 26 19 27 25 21 13 29 11 9 12 11 11 23 4 10 12 15 17 20 14 10 24 18 24 11 11 6 6 6 13 10 5 10 18 16 21 15 14 11 15 8 9 16 11 11 27 26 13 12 6 11 11 11 9 20 15 12 11 17 26 13 13 10 6 6 13 11 11 28 13 9 6 11 11 11 17 20 9 6 11 11 11 8 15 14 28 20 20 15 22 13 14 12 11 11 11 11 8 10 11 6 11 13 7 8 8 10 6 15 10 6 6 14 11 6 11 11 5 8 11 6 11 11 8 6 15 12 2 7 4 9 4 13 12 7 8 6 10 6 11 12 17 11 12 9 2 10 16 8 10 10 10 10 14 14 10 10 10 10 14 14 15 10 10 3 8 10 10 10 10 11 11 14 14 4 7 7 7 6 9 5 11 13 7 11 10 10 8 10 6 6 9 7 2 7 5 8 7 8 6 14 11 8 6 7 4 6 5 1 
Solving time:0.060
Filtering time:17.770
ID:8 (13,13,10)
Graph |V|:91
Solution size:5321
Filtered solution size:4417
Parallel solution length:375
Parallelism:11.779
Step parallelism:22 13 13 13 15 14 6 6 14 2 17 19 16 10 12 12 4 21 12 10 15 12 12 13 16 16 18 12 20 12 12 8 8 14 7 7 17 29 14 13 7 15 12 1 15 14 12 14 6 12 12 12 10 17 15 12 16 11 13 6 2 5 5 10 6 13 11 6 16 27 20 20 26 19 15 9 8 7 2 10 10 18 9 7 9 16 7 11 6 6 14 17 10 14 22 7 9 14 9 17 10 12 10 19 12 10 12 8 10 1 12 18 16 15 15 15 15 11 11 11 11 9 20 7 18 16 12 7 12 10 12 6 8 7 14 18 13 15 8 7 11 1 4 7 21 17 33 32 13 17 17 31 25 13 15 20 1 1 13 12 5 13 13 10 6 9 21 25 1 13 12 12 14 11 20 19 12 28 17 10 19 20 14 10 17 14 14 11 11 18 10 5 10 27 22 15 15 13 15 14 14 6 7 14 11 11 15 10 17 11 14 12 12 11 17 10 15 14 22 12 11 11 1 10 11 10 15 22 22 13 11 11 1 15 11 7 13 11 11 27 17 7 11 11 11 20 16 12 12 12 12 12 12 12 17 12 11 11 11 11 11 11 11 11 13 11 6 11 17 9 11 12 11 13 14 13 9 7 8 6 11 7 15 18 11 21 12 7 7 9 6 10 6 14 10 7 6 9 6 13 12 10 6 6 5 15 18 14 10 15 4 12 6 8 10 10 10 10 14 12 10 7 10 10 10 14 15 10 10 10 10 20 13 8 11 6 10 13 8 11 6 1 14 14 4 7 13 10 8 11 6 7 3 2 2 6 9 6 7 11 13 7 8 13 10 5 10 5 10 1 6 6 8 3 4 
Solving time:0.050
Filtering time:18.670
ID:9 (13,13,11)
Graph |V|:91
Solution size:5321
Filtered solution size:4409
Parallel solution length:375
Parallelism:11.757
Step parallelism:26 15 13 15 13 8 5 2 13 1 16 19 16 10 12 12 4 21 12 10 15 12 12 13 16 16 18 12 20 12 12 8 8 14 7 7 17 29 14 13 7 15 12 1 15 14 12 14 6 12 12 12 10 17 15 12 16 11 13 6 2 5 5 10 6 13 11 6 16 27 20 20 26 19 15 9 8 7 2 10 10 18 9 7 9 16 7 11 6 6 14 17 10 14 22 7 9 14 9 17 10 12 10 19 12 10 12 8 10 1 12 18 16 15 15 15 15 11 11 11 11 9 20 7 18 16 12 7 12 10 12 6 8 7 14 18 13 15 8 7 11 1 4 7 21 17 33 32 13 17 17 31 25 13 15 20 1 1 13 12 5 13 13 10 6 9 21 25 1 13 12 12 14 11 20 19 12 28 17 10 19 20 14 10 17 14 14 11 11 18 10 5 10 27 22 15 15 13 15 14 14 6 7 14 11 11 15 10 17 11 14 12 12 11 17 10 15 14 22 12 11 11 1 10 11 10 15 22 22 13 11 11 1 15 11 7 13 11 11 27 17 7 11 11 11 20 16 12 12 12 12 12 12 12 17 12 11 11 11 11 11 11 11 11 13 11 6 11 17 9 11 12 11 13 14 13 9 7 8 6 11 7 15 18 11 21 12 7 7 9 6 10 6 14 10 7 6 9 6 13 12 10 6 6 5 15 18 14 10 15 4 12 6 8 10 10 10 10 14 12 10 7 10 10 10 14 15 10 10 10 10 20 13 8 11 6 10 13 8 11 6 1 14 14 4 7 13 10 8 11 6 7 3 2 2 6 9 6 7 11 13 7 8 13 10 5 10 5 10 1 6 6 8 3 4 
Solving time:0.060
Filtering time:21.410
ID:10 (13,13,12)
Graph |V|:91
Solution size:5004
Filtered solution size:4038
Parallel solution length:358
Parallelism:11.279
Step parallelism:19 15 19 5 14 13 9 5 3 13 1 16 16 9 11 21 4 12 10 18 30 15 10 21 17 21 25 16 11 11 11 7 5 13 7 7 17 28 9 7 6 12 11 14 20 14 12 14 6 12 6 8 14 12 16 12 11 5 5 5 5 6 13 13 22 13 11 8 6 14 8 5 6 9 12 10 7 6 12 13 15 8 9 7 8 5 5 8 20 5 7 9 9 9 14 14 20 14 4 9 9 8 13 10 14 12 8 8 13 11 10 10 15 17 14 20 6 11 6 10 12 6 6 9 11 9 18 20 20 17 12 11 16 20 14 13 13 22 24 13 12 15 21 17 14 13 17 23 13 8 11 22 11 33 22 16 26 12 4 5 12 14 17 19 16 10 11 9 9 8 6 14 10 5 10 22 11 11 11 21 10 15 14 14 11 11 14 14 14 10 8 16 11 11 21 20 7 11 12 11 11 27 13 13 10 6 6 12 10 20 10 8 11 10 8 9 21 11 22 19 26 13 13 11 6 6 12 10 20 10 7 7 8 10 10 12 10 22 21 12 12 12 11 12 11 11 11 7 8 11 6 11 9 7 7 6 11 11 12 11 13 7 6 1 11 18 9 11 12 13 9 7 7 8 8 13 11 13 5 6 8 6 12 9 12 12 11 17 11 12 17 15 16 15 10 13 13 9 12 9 9 12 8 7 10 6 10 8 5 15 2 12 13 5 6 5 15 1 14 4 6 11 8 9 6 5 13 6 13 12 6 6 3 8 7 2 2 3 5 5 10 9 12 6 7 12 13 6 12 2 14 7 5 14 6 5 3 4 
Solving time:0.060
Filtering time:11.160
ID:11 (13,13,13)
Graph |V|:91
Solution size:5001
Filtered solution size:3841
Parallel solution length:330
Parallelism:11.639
Step parallelism:19 18 26 18 13 7 3 13 1 16 16 9 20 11 5 10 7 18 30 14 9 34 17 20 20 11 11 11 10 7 14 7 7 17 28 10 7 6 12 11 14 20 14 12 14 6 12 6 8 14 12 16 12 12 11 13 11 9 16 12 7 6 3 3 13 11 15 18 12 7 12 19 4 11 13 14 9 10 5 8 4 20 14 13 11 10 15 12 14 14 4 9 9 8 12 13 11 12 12 12 12 3 1 11 7 7 15 15 10 7 5 14 11 13 4 12 19 5 12 6 10 16 6 3 4 10 12 19 21 27 12 12 22 17 31 26 13 16 28 16 14 13 25 3 19 14 20 14 14 14 16 4 10 16 6 15 17 21 15 10 15 10 10 9 6 10 6 14 10 5 10 19 9 13 11 11 14 10 14 13 10 7 10 13 13 9 7 8 16 11 11 20 21 13 12 12 21 13 13 12 12 6 10 10 20 8 10 10 21 28 18 13 13 9 5 10 11 8 10 20 11 10 9 9 1 14 15 10 4 9 14 12 14 17 14 13 11 11 14 12 12 11 11 14 21 11 11 4 11 11 15 8 12 14 19 11 13 4 12 12 7 12 8 7 8 5 5 15 13 9 12 6 11 13 10 7 9 9 9 9 13 8 14 14 5 15 4 6 8 9 7 9 7 6 17 14 10 10 6 9 6 4 13 10 10 14 11 13 8 10 6 5 4 4 13 13 4 11 13 11 8 12 11 10 10 10 10 9 9 4 
Solving time:0.060
Filtering time:19.130
ID:12 (13,13,14)
Graph |V|:91
Solution size:4787
Filtered solution size:3519
Parallel solution length:315
Parallelism:11.171
Step parallelism:24 15 31 9 11 20 17 22 9 11 7 19 10 20 30 14 9 34 17 20 20 11 11 11 9 6 14 7 7 17 28 14 7 6 11 7 14 20 14 12 14 6 13 8 8 14 11 16 5 11 11 13 11 9 16 12 8 12 3 3 12 15 13 14 8 16 11 9 13 10 14 10 7 4 20 14 12 11 10 14 10 14 14 4 3 7 9 10 12 11 11 11 17 10 6 6 12 11 8 7 14 9 17 19 9 5 6 18 11 10 6 6 6 14 10 10 19 14 20 9 9 8 25 25 18 17 23 23 12 12 15 22 14 11 12 29 12 13 16 8 14 19 22 16 20 6 6 12 14 19 19 16 24 21 12 15 11 16 10 4 4 8 11 10 10 14 8 8 12 10 15 14 9 5 10 7 5 7 15 11 11 15 15 12 26 9 10 7 6 12 10 7 21 20 12 12 15 20 12 9 11 10 15 9 8 9 20 1 1 14 5 11 12 8 15 12 7 5 11 11 10 8 8 12 10 9 6 6 4 13 8 6 9 13 12 12 12 6 12 11 11 10 17 11 14 15 10 2 10 8 5 8 8 7 4 9 3 10 8 13 7 6 4 13 12 3 1 11 5 1 17 11 10 15 11 12 6 10 8 5 13 4 9 2 5 14 11 6 10 10 3 1 4 6 6 14 14 4 7 11 11 9 5 6 9 4 10 7 6 6 4 7 6 3 4 
Solving time:0.060
Filtering time:11.630
ID:13 (13,13,15)
Graph |V|:91
Solution size:5065
Filtered solution size:3609
Parallel solution length:322
Parallelism:11.208
Step parallelism:23 14 30 9 11 23 17 22 9 11 7 19 10 20 30 14 9 34 17 20 20 11 11 11 9 6 14 7 7 17 28 14 8 6 11 8 14 19 13 8 14 6 13 8 8 14 11 16 5 11 11 13 11 9 16 12 8 12 3 3 12 15 13 14 8 16 11 9 13 10 14 10 7 4 20 14 12 11 10 14 10 14 14 4 3 7 9 10 12 11 11 11 17 10 6 6 12 11 8 7 14 9 17 19 9 5 6 17 11 10 10 6 6 14 10 10 19 14 20 9 9 8 25 25 19 17 23 19 12 12 15 22 18 11 12 29 12 13 16 8 14 19 22 16 22 6 6 14 19 21 15 15 21 16 18 11 16 10 4 4 8 11 10 10 14 8 8 12 10 6 14 9 8 7 19 11 11 12 12 12 25 9 11 7 7 12 12 8 19 14 11 19 10 10 11 12 9 20 14 14 14 11 6 8 7 19 8 12 10 8 17 14 13 12 11 11 11 9 14 11 10 10 10 10 8 6 14 9 6 10 6 6 11 5 4 2 11 8 6 8 8 7 6 10 9 9 7 7 15 15 9 10 4 7 4 4 12 8 4 11 8 1 7 7 4 4 11 11 8 11 11 10 4 10 15 7 7 10 9 9 8 14 8 6 10 14 7 11 10 2 10 8 8 8 9 15 7 12 3 4 6 8 6 6 9 7 2 7 9 11 11 9 11 10 9 9 11 11 13 8 3 3 
Solving time:0.060
Filtering time:16.670
ID:14 (13,13,16)
Graph |V|:91
Solution size:4592
Filtered solution size:3208
Parallel solution length:279
Parallelism:11.498
Step parallelism:22 14 29 9 11 23 20 22 9 11 7 19 10 20 30 14 9 34 17 20 20 11 11 11 9 6 14 7 7 17 28 14 8 7 11 8 15 18 12 11 14 6 13 8 8 14 11 16 5 11 11 13 11 9 16 12 8 12 3 3 12 15 13 14 8 16 11 9 13 10 14 10 7 4 20 14 12 11 10 14 10 14 14 4 3 7 9 10 12 11 11 11 17 10 6 6 12 11 8 7 14 9 17 11 7 16 10 5 6 5 5 4 1 4 10 10 10 11 21 15 20 16 9 9 28 20 8 16 14 12 22 18 12 12 15 22 17 11 21 18 16 20 23 19 21 22 17 12 5 6 13 18 20 14 17 14 14 15 7 9 7 10 11 10 10 7 13 10 9 9 8 17 18 11 15 8 13 13 13 13 16 7 4 22 15 13 12 10 19 7 9 13 12 11 8 11 10 9 11 11 12 6 14 9 8 7 9 18 18 10 8 14 8 9 4 7 11 6 13 15 12 14 7 6 6 12 12 16 17 10 10 13 2 16 11 10 11 9 7 7 7 11 8 8 16 7 5 5 4 9 6 8 7 10 13 11 8 7 12 9 8 10 11 7 5 7 8 7 6 7 6 5 10 8 6 6 4 2 3 
Solving time:0.050
Filtering time:12.830
ID:15 (13,13,17)
Graph |V|:91
Solution size:5497
Filtered solution size:3589
Parallel solution length:313
Parallelism:11.466
Step parallelism:25 14 31 9 11 23 20 22 9 11 7 19 10 20 30 14 9 34 17 20 20 11 11 11 9 6 14 7 7 16 23 12 7 11 8 15 24 11 5 14 7 14 15 9 17 11 12 11 14 11 6 17 12 10 10 11 6 8 6 11 7 16 15 20 18 7 12 11 11 15 13 13 16 28 9 6 6 8 13 10 17 13 9 15 13 10 10 9 18 14 11 7 3 11 12 11 11 11 10 15 12 9 9 4 2 1 1 11 11 7 5 5 15 14 8 7 19 11 11 12 23 24 24 34 16 9 6 10 13 14 22 29 20 26 18 17 25 18 6 19 22 18 17 17 16 14 16 10 4 4 8 11 10 10 8 12 6 12 10 13 10 10 9 6 11 8 8 8 7 16 18 11 18 11 11 11 9 11 19 11 11 14 11 18 11 12 18 12 11 9 9 10 14 8 8 13 13 9 13 16 15 15 11 6 7 6 13 11 11 11 11 9 13 11 10 10 7 7 8 11 6 13 11 7 7 12 10 5 5 3 11 8 6 9 12 7 13 13 12 14 15 13 10 10 10 6 6 15 7 10 10 5 11 9 9 5 5 10 8 9 12 7 9 11 8 8 8 12 8 12 7 4 11 8 8 12 12 10 12 14 14 14 10 12 7 8 11 11 11 11 10 11 11 4 2 9 11 10 8 11 4 8 4 1 2 10 10 10 10 9 7 6 2 
Solving time:0.060
Filtering time:24.200
ID:16 (13,13,18)
Graph |V|:91
Solution size:4545
Filtered solution size:3091
Parallel solution length:260
Parallelism:11.888
Step parallelism:24 14 31 19 12 23 20 22 9 11 7 19 10 19 24 9 9 33 17 14 20 11 17 11 9 6 14 7 7 16 23 12 7 11 8 15 24 13 4 14 6 13 15 9 17 11 12 11 14 11 6 17 12 10 10 11 6 8 6 11 7 16 15 20 18 7 12 11 11 15 13 13 16 28 13 10 6 8 9 9 16 20 20 18 18 21 20 5 12 6 6 9 17 10 7 13 12 21 11 15 11 17 5 2 7 17 9 3 6 4 22 16 11 6 20 11 26 9 9 15 3 9 13 18 25 20 24 17 16 24 19 14 13 11 26 26 20 12 11 18 15 11 6 13 10 10 6 15 21 12 13 9 19 8 8 15 8 7 8 18 8 26 15 15 15 15 13 8 6 12 9 7 8 13 9 7 9 8 11 7 7 18 7 18 7 7 2 10 8 5 14 12 7 6 14 7 15 22 11 9 8 7 12 10 13 4 10 3 8 10 10 10 14 5 13 13 14 10 14 10 13 3 10 8 10 9 9 9 14 6 8 6 6 7 7 6 9 14 7 8 11 10 10 8 10 12 10 7 6 8 7 9 11 9 7 4 2 7 6 1 
Solving time:0.060
Filtering time:8.750
ID:17 (13,13,19)
Graph |V|:91
Solution size:4990
Filtered solution size:3315
Parallel solution length:299
Parallelism:11.087
Step parallelism:24 16 31 19 12 24 20 22 9 11 7 19 10 19 24 9 9 33 17 14 20 11 17 12 9 6 14 7 7 16 23 12 7 11 8 15 24 13 4 14 6 13 15 9 17 11 12 11 14 11 6 17 12 10 10 11 6 8 6 11 7 16 15 20 18 7 12 11 11 15 13 13 16 28 13 10 6 8 9 9 16 20 20 18 18 21 20 5 12 6 6 9 17 10 7 13 12 21 11 15 11 17 5 2 7 17 9 3 6 7 21 16 11 6 19 12 25 11 9 16 4 14 6 19 18 19 21 14 26 17 19 24 14 12 16 16 11 19 12 10 9 9 9 17 8 9 9 12 4 4 4 8 10 9 9 8 8 8 7 10 14 9 11 11 11 11 6 11 5 4 9 14 6 6 8 9 15 10 9 9 12 4 2 2 10 21 17 17 16 13 9 7 9 6 8 14 13 9 14 12 7 8 10 7 11 9 9 18 9 8 6 5 12 12 5 9 5 9 10 10 10 10 10 8 8 13 10 10 8 6 4 13 5 6 14 6 13 6 10 16 14 12 3 1 9 9 9 4 2 9 8 5 11 5 10 9 10 10 2 6 12 12 10 6 10 7 8 11 5 10 14 9 6 8 9 13 9 9 10 9 13 8 11 9 7 9 8 6 5 9 11 5 10 9 8 11 8 3 1 
Solving time:0.060
Filtering time:15.160
ID:18 (13,13,20)
Graph |V|:91
Solution size:5082
Filtered solution size:3208
Parallel solution length:292
Parallelism:10.986
Step parallelism:23 16 31 21 12 24 20 22 9 11 7 19 10 19 24 9 9 33 17 14 20 11 17 12 9 6 14 7 7 12 23 12 7 11 9 15 24 12 6 14 6 13 15 7 19 16 11 10 7 8 10 12 13 13 12 11 6 9 2 5 5 10 5 12 12 24 17 9 12 10 11 15 12 10 11 19 25 9 7 10 14 16 19 20 9 19 12 9 12 19 19 10 11 15 8 7 6 10 11 22 13 10 8 5 7 7 10 10 11 11 7 8 7 5 5 2 5 2 2 1 4 19 24 12 22 22 23 14 12 13 22 15 14 11 19 12 7 3 4 11 4 13 12 15 21 14 22 16 24 23 16 12 7 11 11 7 4 6 6 14 11 11 9 17 10 3 6 4 4 11 14 15 18 11 12 18 10 9 25 13 13 11 10 7 11 13 13 11 10 17 12 14 7 7 11 12 6 10 10 11 9 3 5 6 6 9 9 13 2 12 11 9 7 1 1 11 12 12 7 12 10 3 11 12 12 6 12 15 22 11 12 7 14 15 5 3 8 10 8 13 9 5 4 4 3 15 12 6 10 7 11 5 4 4 9 8 6 11 13 10 11 4 6 12 7 12 10 11 7 11 10 12 10 9 7 5 5 6 6 4 9 7 4 6 6 9 8 7 7 7 8 3 
Solving time:0.060
Filtering time:13.520
ID:19 (13,13,21)
Graph |V|:91
Solution size:5228
Filtered solution size:3130
Parallel solution length:293
Parallelism:10.683
Step parallelism:26 16 31 21 12 23 12 22 9 11 7 19 10 19 24 9 9 28 17 14 20 12 14 11 9 6 14 7 7 15 23 12 8 11 8 6 14 12 10 17 6 13 15 13 8 18 17 11 10 7 8 10 11 9 13 15 11 6 1 3 5 5 10 5 12 12 12 9 15 12 12 15 14 16 14 13 16 5 1 6 7 11 11 9 9 12 15 15 14 12 14 13 12 16 10 10 10 10 10 14 8 5 5 10 22 17 16 14 14 8 8 10 9 5 7 10 8 7 6 5 12 6 5 9 11 16 19 19 11 10 7 19 15 19 13 13 16 14 5 23 12 18 13 12 10 16 19 20 10 10 8 24 11 9 7 7 22 25 15 14 16 23 20 6 10 6 6 15 10 8 6 18 8 10 9 1 11 11 11 13 12 12 12 11 18 8 8 7 7 13 10 10 10 9 8 10 7 2 9 9 5 3 10 12 10 8 9 15 8 6 10 5 2 12 2 6 6 7 15 5 8 11 9 9 8 7 5 5 9 8 2 9 8 7 6 11 10 10 10 14 17 8 14 8 11 9 17 7 12 3 4 4 13 10 7 12 4 4 9 13 5 13 2 6 11 10 10 17 3 1 9 7 10 8 5 4 10 10 9 13 11 5 5 3 6 11 9 8 10 8 5 3 4 
Solving time:0.060
Filtering time:17.760
ID:20 (13,13,22)
Graph |V|:91
Solution size:5237
Filtered solution size:2922
Parallel solution length:271
Parallelism:10.782
Step parallelism:26 16 31 21 12 23 12 25 9 11 7 19 10 19 24 9 9 28 17 14 20 12 14 11 9 6 14 7 7 15 23 12 8 11 8 6 12 9 4 14 7 13 15 13 8 18 17 11 10 7 8 10 11 9 13 15 11 6 1 3 5 5 10 5 12 12 12 9 15 12 12 15 13 17 13 13 16 4 6 11 9 9 16 19 19 18 15 13 9 9 12 10 10 10 10 16 9 8 6 11 21 16 16 13 9 8 8 15 12 8 7 10 8 7 5 11 6 5 11 23 9 9 19 10 13 5 19 13 22 12 11 12 11 10 10 21 17 26 24 23 20 13 12 19 15 12 9 9 19 12 19 17 12 11 6 9 5 18 10 13 15 11 10 12 16 8 6 6 16 9 12 18 14 11 11 10 10 12 12 12 7 6 12 10 10 11 7 11 9 4 7 12 1 10 8 7 7 11 9 6 6 4 14 8 6 11 11 8 19 15 13 13 9 5 2 11 11 5 7 3 4 5 10 7 6 6 7 9 11 10 8 11 14 7 2 7 6 6 6 5 8 6 9 7 7 8 4 13 8 6 1 6 4 2 3 5 7 6 3 7 8 8 9 7 6 6 6 9 9 6 4 
Solving time:0.060
Filtering time:12.220
ID:21 (13,13,23)
Graph |V|:91
Solution size:5254
Filtered solution size:3009
Parallel solution length:277
Parallelism:10.863
Step parallelism:25 15 31 21 12 23 12 25 9 11 7 19 10 19 24 9 9 28 17 14 20 12 14 11 9 6 14 7 7 15 23 12 8 11 8 6 12 9 4 14 7 13 15 13 8 18 17 11 10 7 8 10 11 9 13 15 11 6 1 3 5 5 10 5 12 12 12 9 15 12 12 15 13 17 13 13 16 4 6 11 9 9 16 19 19 18 15 13 9 9 12 10 10 10 10 16 9 8 6 11 21 16 16 13 9 8 8 14 12 8 7 10 8 7 5 11 6 5 11 23 9 9 19 10 13 5 19 13 22 12 11 12 11 10 10 21 17 26 24 23 20 13 12 19 15 12 9 9 19 15 17 17 15 11 6 10 10 10 13 15 11 10 12 16 8 6 6 12 4 4 13 7 7 7 15 6 6 11 12 11 10 2 1 8 10 6 5 11 12 11 10 5 4 10 8 16 3 10 8 8 7 11 9 6 6 6 13 10 8 11 9 13 16 17 16 14 12 9 7 3 10 6 6 12 8 4 8 5 9 9 14 8 8 10 10 10 8 8 8 9 10 13 10 10 11 4 6 11 11 10 9 9 12 11 14 13 6 4 1 4 6 5 6 10 6 8 9 4 5 5 7 9 8 8 7 4 4 
Solving time:0.060
Filtering time:12.390
ID:22 (13,13,24)
Graph |V|:91
Solution size:4667
Filtered solution size:2840
Parallel solution length:246
Parallelism:11.545
Step parallelism:31 18 31 12 11 23 14 26 10 11 7 19 10 9 29 10 14 18 24 18 8 10 8 9 6 14 7 7 15 23 12 12 8 4 6 23 10 8 15 7 14 15 8 19 16 12 11 7 8 11 10 9 15 15 14 19 15 19 20 22 25 8 10 13 14 10 15 14 3 15 24 24 23 13 15 15 4 2 13 6 6 6 9 9 4 2 10 11 11 9 15 25 21 19 10 14 7 7 8 7 12 12 11 22 22 11 11 9 12 20 19 15 12 12 8 21 15 11 13 25 21 8 16 14 13 12 11 17 9 7 7 14 11 8 16 11 9 7 7 19 24 15 11 14 22 18 22 13 19 16 5 11 9 9 9 13 12 11 10 8 22 24 10 16 11 11 12 11 9 9 6 9 16 11 8 15 10 9 6 12 11 11 13 11 14 8 11 14 14 7 8 4 8 8 7 7 9 10 10 5 5 5 3 10 3 7 6 5 4 7 8 8 7 6 10 6 8 8 4 7 3 9 9 5 6 10 9 10 10 8 7 3 3 2 5 5 6 8 10 9 8 9 8 6 4 1 
Solving time:0.060
Filtering time:9.780
ID:23 (13,13,25)
Graph |V|:91
Solution size:4997
Filtered solution size:2820
Parallel solution length:251
Parallelism:11.235
Step parallelism:30 17 30 10 12 23 14 26 10 11 7 19 10 9 29 10 14 18 24 18 8 10 8 9 6 14 7 7 14 23 12 12 9 4 6 24 9 7 14 6 13 14 7 19 16 12 11 7 8 11 9 9 15 14 14 19 15 19 20 21 24 8 10 13 14 10 15 19 3 15 24 24 23 12 14 14 5 3 6 3 3 3 6 3 3 2 10 11 11 10 15 22 20 6 6 15 11 12 10 6 8 17 3 3 14 19 11 11 8 12 20 18 14 12 12 26 17 15 12 11 12 14 13 17 22 22 23 22 16 22 23 25 19 14 13 14 15 12 10 14 7 7 22 16 17 12 14 10 16 14 11 16 18 7 10 7 7 12 10 14 14 13 10 9 8 12 8 8 14 11 11 6 2 9 13 9 18 12 14 11 9 16 13 7 8 10 4 10 9 4 12 7 7 14 6 2 1 4 11 6 6 4 5 5 9 8 6 5 4 8 10 6 7 9 11 11 7 10 11 5 6 2 6 7 4 3 7 10 6 6 7 8 12 9 7 6 5 6 4 7 6 7 5 8 5 3 6 7 5 1 1 
Solving time:0.050
Filtering time:9.990
ID:24 (13,13,26)
Graph |V|:91
Solution size:4920
Filtered solution size:2759
Parallel solution length:238
Parallelism:11.592
Step parallelism:33 19 29 12 21 11 26 10 11 7 19 10 9 29 10 14 18 24 18 8 10 8 9 6 14 7 7 14 23 12 12 9 4 6 22 8 6 14 6 13 14 7 19 16 12 11 7 8 11 9 9 15 14 14 19 15 19 20 21 24 8 10 13 14 10 15 19 3 15 24 24 23 12 14 14 5 3 6 3 3 3 6 3 3 2 10 11 11 10 15 22 20 6 6 15 11 12 10 6 8 17 3 3 14 19 11 11 8 12 20 18 14 12 12 26 17 15 12 11 12 14 13 17 22 22 23 25 16 21 23 24 19 14 13 14 15 14 10 13 6 6 20 17 11 14 10 8 15 13 10 15 17 7 15 13 8 14 10 13 10 9 11 10 13 4 9 16 12 15 9 7 7 9 6 9 9 8 7 15 10 5 7 7 11 4 4 11 8 8 10 13 11 10 14 14 13 8 6 9 9 11 6 10 8 9 9 7 6 6 9 1 9 6 8 8 7 9 7 3 5 3 7 8 6 5 5 4 8 4 8 8 13 7 9 12 11 8 1 
Solving time:0.060
Filtering time:8.410
ID:25 (13,13,27)
Graph |V|:91
Solution size:4920
Filtered solution size:2697
Parallel solution length:235
Parallelism:11.477
Step parallelism:34 22 29 12 21 11 25 10 11 7 18 10 9 28 11 14 17 23 19 8 11 8 9 7 13 9 8 15 14 10 8 7 3 5 21 8 6 14 6 13 15 15 18 16 12 11 8 11 10 9 14 14 22 18 14 12 13 22 19 10 9 10 10 15 20 3 15 23 23 22 12 17 14 5 3 6 3 3 3 6 3 3 2 10 11 11 10 15 24 12 12 11 8 9 7 8 16 4 3 3 14 19 11 11 8 12 20 18 14 12 12 26 17 15 12 11 12 14 13 17 22 22 23 25 16 21 23 24 19 14 13 14 15 14 10 13 6 6 20 17 11 14 10 8 15 13 10 15 17 7 15 13 8 14 10 13 10 9 11 10 13 4 9 16 12 15 9 7 7 9 6 9 9 8 7 15 10 5 7 7 11 4 4 11 8 8 10 13 11 10 14 14 13 8 6 9 9 11 6 10 8 9 9 7 6 6 9 1 9 6 8 8 7 9 7 3 5 3 7 8 6 5 5 4 8 4 8 8 13 7 9 12 11 8 1 
Solving time:0.060
Filtering time:8.540
ID:26 (13,13,28)
Graph |V|:91
Solution size:4576
Filtered solution size:2419
Parallel solution length:234
Parallelism:10.338
Step parallelism:39 23 34 12 21 11 23 10 12 7 17 10 11 17 16 17 25 10 12 6 12 8 9 7 13 9 8 15 14 10 9 7 3 5 22 9 5 14 6 13 15 15 18 16 12 11 8 11 10 9 14 14 21 13 7 11 14 22 20 9 10 10 15 13 4 15 11 17 8 6 10 15 12 10 5 4 4 12 13 16 15 12 10 6 3 8 15 19 15 13 7 4 5 6 5 6 3 7 17 17 23 7 16 20 15 7 7 11 1 1 15 11 18 5 21 24 9 24 9 12 26 14 13 12 10 4 5 6 8 7 6 5 4 9 11 15 5 11 15 10 8 8 9 10 12 1 4 12 12 11 12 2 12 15 11 9 12 11 12 16 10 11 11 10 10 11 14 10 9 11 8 14 7 9 8 8 8 11 7 8 10 14 7 9 6 16 7 10 6 6 8 9 9 8 4 9 8 5 4 5 6 11 10 7 14 10 4 8 6 6 6 5 7 5 8 8 4 7 5 5 9 5 7 3 2 4 6 5 7 8 5 1 1 4 
Solving time:0.060
Filtering time:7.350
ID:27 (13,13,29)
Graph |V|:91
Solution size:5272
Filtered solution size:2665
Parallel solution length:247
Parallelism:10.789
Step parallelism:38 25 37 12 21 11 23 10 12 7 17 10 11 17 16 17 25 10 12 6 12 8 9 7 13 9 8 15 16 10 9 7 6 5 12 9 7 14 6 13 15 19 14 10 11 14 6 5 5 19 17 21 15 18 22 21 10 9 7 11 16 14 10 10 22 11 9 4 6 6 13 11 13 18 7 8 10 8 12 20 18 19 5 13 2 7 7 3 18 16 10 10 18 21 18 17 9 19 9 19 17 12 13 11 13 14 13 9 9 15 20 21 14 20 10 9 9 18 10 9 14 11 4 10 10 18 11 12 6 11 11 9 9 12 11 12 12 14 9 7 12 9 17 21 16 11 12 12 12 11 7 10 11 6 14 12 7 6 11 11 10 10 9 9 13 10 9 9 7 7 5 14 8 6 6 6 6 11 5 5 3 13 8 6 9 12 7 13 10 9 14 13 10 8 4 8 6 11 10 7 5 7 6 5 7 6 2 3 2 7 6 8 8 9 9 10 10 11 6 8 7 6 3 5 1 1 3 10 10 10 7 6 6 12 15 12 10 9 9 12 9 7 5 3 5 4 3 
Solving time:0.050
Filtering time:12.740
ID:28 (13,13,30)
Graph |V|:91
Solution size:5039
Filtered solution size:2462
Parallel solution length:234
Parallelism:10.521
Step parallelism:37 32 35 12 12 9 22 9 11 7 17 10 11 17 16 17 25 10 12 6 12 8 9 7 13 9 8 15 16 10 9 7 6 5 12 9 7 14 6 13 15 19 14 10 11 14 6 5 5 19 17 21 15 18 22 21 10 10 7 11 16 14 10 10 22 11 9 4 6 6 13 11 13 18 7 8 10 8 12 20 18 18 5 13 2 7 7 3 17 16 10 10 18 20 17 16 9 19 9 18 17 12 13 11 13 14 14 10 17 23 9 13 9 9 12 12 6 6 6 6 5 8 6 6 6 14 14 14 19 8 14 13 7 1 11 11 11 6 8 13 9 11 8 7 6 15 11 11 21 13 12 10 14 14 8 10 16 9 6 12 7 6 13 7 9 12 7 7 10 5 3 3 12 7 1 1 5 4 11 11 9 8 8 15 10 9 15 10 11 2 8 10 9 8 5 11 8 3 3 6 5 8 7 10 9 10 7 11 7 12 8 8 8 3 3 7 6 6 5 4 7 3 6 5 8 7 8 5 9 9 8 7 4 1 
Solving time:0.060
Filtering time:8.540
ID:29 (13,13,31)
Graph |V|:91
Solution size:5039
Filtered solution size:2430
Parallel solution length:230
Parallelism:10.565
Step parallelism:36 31 35 15 12 9 21 9 11 7 16 10 11 16 16 17 24 11 12 7 12 9 9 7 11 9 8 15 16 10 9 8 6 5 11 8 13 6 13 15 19 14 10 11 14 6 5 5 19 17 21 15 18 22 21 10 10 7 11 16 14 10 10 22 11 9 4 6 6 13 11 13 18 7 8 9 11 12 21 18 18 8 11 5 18 13 9 9 17 19 16 15 8 18 8 18 17 12 13 11 13 14 14 10 17 23 9 13 9 9 12 12 6 6 6 6 5 8 6 6 6 14 14 14 19 8 14 13 7 1 11 11 11 6 8 13 9 11 8 7 6 15 11 11 21 13 12 10 14 14 8 10 16 9 6 12 7 6 13 7 9 12 7 7 10 5 3 3 12 7 1 1 5 4 11 11 9 8 8 15 10 9 15 10 11 2 8 10 9 8 5 11 8 3 3 6 5 8 7 10 9 10 7 11 7 12 8 8 8 3 3 7 6 6 5 4 7 3 6 5 8 7 8 5 9 9 8 7 4 1 
Solving time:0.050
Filtering time:8.560
ID:30 (13,13,32)
Graph |V|:91
Solution size:4409
Filtered solution size:2151
Parallel solution length:208
Parallelism:10.341
Step parallelism:38 31 27 15 12 9 21 9 11 8 16 14 7 16 16 17 11 16 6 12 9 8 13 9 7 13 12 8 11 6 5 12 5 13 6 13 15 19 13 11 11 12 15 10 8 16 8 20 22 8 12 13 21 19 11 10 11 10 15 7 3 17 16 6 7 1 6 6 6 8 14 16 11 10 9 11 11 10 9 10 13 12 10 21 11 24 21 12 13 10 10 10 11 17 9 16 15 11 16 15 24 15 12 22 11 8 12 22 10 14 12 9 13 7 11 10 10 17 9 14 11 11 12 12 14 12 15 11 8 8 6 2 13 10 18 7 10 7 6 11 7 4 11 8 7 7 12 1 6 6 12 3 3 5 4 10 10 6 9 5 10 10 10 11 11 11 10 10 5 4 4 9 8 8 10 8 1 5 6 9 7 6 5 4 5 5 9 6 5 6 6 6 4 10 9 6 5 7 4 3 3 3 9 2 4 3 3 1 
Solving time:0.050
Filtering time:6.610
ID:31 (13,13,33)
Graph |V|:91
Solution size:4409
Filtered solution size:2136
Parallel solution length:208
Parallelism:10.269
Step parallelism:37 30 26 14 12 9 20 9 11 8 15 13 7 16 16 16 11 16 7 12 10 9 13 9 8 13 12 9 11 7 5 12 5 12 7 7 15 19 13 11 11 12 15 10 8 16 8 20 22 8 12 13 21 19 11 10 11 10 15 7 3 17 17 6 7 6 9 4 4 2 9 15 11 10 9 11 11 10 9 10 13 12 10 21 11 24 21 12 13 10 10 10 11 17 9 16 15 11 16 15 24 15 12 22 11 8 12 22 10 14 12 9 13 7 11 10 10 17 9 14 11 11 12 12 14 12 15 11 8 8 6 2 13 10 18 7 10 7 6 11 7 4 11 8 7 7 12 1 6 6 12 3 3 5 4 10 10 6 9 5 10 10 10 11 11 11 10 10 5 4 4 9 8 8 10 8 1 5 6 9 7 6 5 4 5 5 9 6 5 6 6 6 4 10 9 6 5 7 4 3 3 3 9 2 4 3 3 1 
Solving time:0.050
Filtering time:6.220
ID:32 (13,13,34)
Graph |V|:91
Solution size:4467
Filtered solution size:2101
Parallel solution length:197
Parallelism:10.665
Step parallelism:36 31 26 14 14 9 19 9 11 8 14 12 7 16 16 13 13 17 8 9 9 15 9 13 11 10 13 10 6 12 10 12 9 12 15 13 8 10 10 12 14 10 8 16 9 20 22 11 15 13 20 21 12 12 15 18 11 4 3 17 16 13 12 2 6 3 8 11 16 18 8 10 12 16 9 5 10 11 12 11 9 11 20 20 17 17 9 9 13 12 10 12 9 14 8 11 14 21 18 18 17 11 16 15 9 12 14 10 10 14 8 11 11 10 11 8 8 10 2 1 6 4 8 7 11 11 9 9 16 12 11 14 17 9 9 14 7 6 4 4 4 7 7 12 15 9 13 9 2 7 2 7 6 11 11 7 5 6 4 3 8 7 11 4 7 16 13 14 10 8 7 13 9 8 5 4 8 5 4 5 7 5 9 9 10 8 13 8 8 7 3 5 9 8 5 3 2 
Solving time:0.050
Filtering time:4.510
ID:33 (13,13,35)
Graph |V|:91
Solution size:4467
Filtered solution size:2083
Parallel solution length:195
Parallelism:10.682
Step parallelism:38 30 26 14 14 9 19 9 11 8 14 12 8 15 12 12 11 17 10 9 15 17 11 10 13 10 7 13 10 10 9 12 15 13 8 10 10 12 14 10 8 16 9 20 22 11 15 13 20 21 12 12 15 18 11 4 3 17 16 13 12 2 6 3 8 11 16 18 8 10 12 16 9 5 10 11 12 11 9 11 20 20 17 17 9 9 13 12 10 12 9 14 8 11 14 21 18 18 17 11 16 15 9 12 14 10 10 14 8 11 11 10 11 8 8 10 2 1 6 4 8 7 11 11 9 9 16 12 11 14 17 9 9 14 7 6 4 4 4 7 7 12 15 9 13 9 2 7 2 7 6 11 11 7 5 6 4 3 8 7 11 4 7 16 13 14 10 8 7 13 9 8 5 4 8 5 4 5 7 5 9 9 10 8 13 8 8 7 3 5 9 8 5 3 2 
Solving time:0.050
Filtering time:4.400
ID:34 (13,13,36)
Graph |V|:91
Solution size:4633
Filtered solution size:2103
Parallel solution length:206
Parallelism:10.209
Step parallelism:37 29 25 13 14 9 19 8 10 9 11 12 11 19 12 12 17 11 10 15 18 11 10 13 10 7 13 10 10 9 12 15 13 8 10 10 12 14 10 8 16 9 17 19 10 11 13 16 15 15 14 13 15 7 4 17 17 13 12 2 6 3 8 11 16 7 6 9 11 15 9 5 10 16 13 12 9 12 12 18 21 18 13 9 17 13 10 6 14 8 14 16 16 13 12 24 13 15 15 12 6 8 7 16 12 14 14 14 14 9 9 4 9 9 9 13 9 7 8 7 7 12 11 12 10 10 10 11 10 10 9 8 8 10 6 5 7 4 3 6 9 11 11 1 6 10 7 8 7 9 10 7 8 8 3 10 6 6 12 12 9 8 15 9 7 14 8 9 5 7 6 9 4 3 3 6 3 3 5 5 8 8 9 6 9 11 11 11 11 6 4 7 5 6 4 6 9 9 7 6 6 2 2 3 2 1 
Solving time:0.050
Filtering time:6.990
ID:35 (13,13,37)
Graph |V|:91
Solution size:4407
Filtered solution size:1973
Parallel solution length:193
Parallelism:10.223
Step parallelism:36 28 24 14 14 9 19 8 10 9 11 12 11 19 12 12 17 11 10 15 18 11 10 13 10 7 13 10 10 9 12 15 13 8 10 10 12 14 10 8 16 9 17 19 10 11 13 16 15 15 14 13 15 7 4 17 17 13 12 2 6 3 8 11 16 7 6 9 11 15 9 5 10 16 13 12 9 12 12 17 20 18 14 10 17 13 10 6 14 8 11 15 15 12 11 23 12 14 14 11 5 8 6 14 12 18 15 16 12 9 13 3 9 9 9 11 10 5 12 7 7 11 11 10 9 8 10 12 8 7 10 7 7 10 6 6 6 2 3 5 7 15 3 1 5 7 11 9 8 8 11 8 6 7 6 12 6 7 5 6 6 6 14 8 5 5 8 5 5 7 8 7 7 7 9 11 7 9 6 4 4 4 2 2 9 5 6 6 10 8 6 4 3 
Solving time:0.060
Filtering time:4.640
ID:36 (13,13,38)
Graph |V|:91
Solution size:4595
Filtered solution size:2105
Parallel solution length:190
Parallelism:11.079
Step parallelism:35 27 23 17 14 12 14 14 14 7 5 15 12 12 11 11 16 10 10 13 18 11 10 13 10 6 9 6 10 9 10 15 13 8 10 10 12 14 10 8 16 9 17 19 10 11 13 16 16 16 13 12 18 18 12 10 7 6 6 6 6 18 23 15 19 20 14 11 12 14 7 6 16 15 16 19 16 16 17 8 10 17 4 4 4 11 14 19 21 8 11 11 17 16 14 15 16 14 9 19 14 9 7 16 20 9 14 12 10 13 9 8 10 17 9 9 9 12 9 15 12 12 8 11 6 2 11 10 7 6 14 11 6 8 8 8 6 15 13 8 7 6 4 11 11 9 8 8 8 8 12 7 11 6 10 8 11 10 9 7 8 13 10 8 7 8 8 7 9 8 8 9 10 10 10 3 10 7 6 6 7 5 7 8 7 7 7 6 4 1 
Solving time:0.050
Filtering time:5.730
ID:37 (13,13,39)
Graph |V|:91
Solution size:4646
Filtered solution size:2031
Parallel solution length:206
Parallelism:9.859
Step parallelism:36 27 23 18 14 12 13 16 14 7 5 13 12 12 11 11 16 10 10 11 18 11 10 14 11 7 9 11 7 9 14 13 9 9 9 12 20 10 8 16 9 16 18 6 11 10 15 19 17 12 12 17 17 17 10 8 6 6 6 18 19 15 15 16 11 13 16 12 8 18 18 21 16 8 10 15 10 8 7 8 13 4 4 4 6 5 17 13 6 6 14 14 13 11 11 10 14 13 16 16 15 20 10 13 14 14 8 10 8 7 7 6 19 13 9 7 5 4 10 14 13 10 10 8 11 8 9 7 2 2 2 5 6 4 4 5 7 13 12 9 8 12 6 6 6 14 8 5 8 11 4 3 4 7 5 2 11 14 9 11 8 7 7 9 5 7 7 7 5 7 7 7 9 6 3 5 1 7 7 7 5 6 3 6 9 7 7 4 6 4 3 7 7 9 8 7 7 5 7 5 4 8 6 4 2 1 
Solving time:0.050
Filtering time:4.690
ID:38 (13,13,40)
Graph |V|:91
Solution size:4374
Filtered solution size:1810
Parallel solution length:172
Parallelism:10.523
Step parallelism:35 26 24 16 13 12 18 16 8 12 10 6 11 10 11 10 16 10 10 14 18 11 10 14 11 7 9 11 7 9 14 13 9 9 9 12 19 10 8 16 9 15 14 6 9 9 19 21 16 9 12 18 17 17 9 7 6 6 6 18 17 15 15 11 9 14 16 5 8 3 19 15 17 18 17 9 9 8 6 1 1 12 4 4 4 10 9 17 14 14 14 17 16 12 15 14 21 13 9 8 12 15 7 7 8 7 21 11 11 10 5 5 6 5 5 5 10 8 10 10 10 8 8 8 14 16 13 13 17 12 10 13 10 7 12 3 9 8 4 3 3 4 6 10 8 4 8 8 6 2 9 9 3 8 11 7 7 6 6 6 3 3 9 9 7 9 11 9 8 6 8 4 
Solving time:0.050
Filtering time:4.070
ID:39 (13,13,41)
Graph |V|:91
Solution size:4374
Filtered solution size:1796
Parallel solution length:171
Parallelism:10.503
Step parallelism:35 28 24 16 13 12 15 16 8 12 12 10 9 10 9 15 9 9 14 17 12 10 14 12 7 9 8 7 9 14 13 9 9 9 12 19 10 8 16 9 15 14 6 9 9 19 21 16 9 12 18 17 17 9 7 6 6 6 18 17 15 15 11 9 14 16 5 8 3 19 15 17 18 17 9 9 8 6 1 1 12 4 4 4 10 9 17 14 14 14 17 16 12 15 14 21 13 9 8 12 15 7 7 8 7 21 11 11 10 5 5 6 5 5 5 10 8 10 10 10 8 8 8 14 16 13 13 17 12 10 13 10 7 12 3 9 8 4 3 3 4 6 10 8 4 8 8 6 2 9 9 3 8 11 7 7 6 6 6 3 3 9 9 7 9 11 9 8 6 8 4 
Solving time:0.050
Filtering time:3.920
ID:40 (13,13,42)
Graph |V|:91
Solution size:4708
Filtered solution size:1857
Parallel solution length:192
Parallelism:9.672
Step parallelism:35 29 22 17 13 12 14 15 10 12 12 10 9 10 9 15 9 9 12 17 11 9 13 10 6 10 6 9 21 18 8 10 10 12 15 10 8 16 9 16 18 6 11 10 15 18 13 14 14 13 7 11 7 4 16 16 9 7 3 4 4 7 4 3 9 11 5 11 6 5 8 10 10 13 12 15 11 22 20 15 9 9 9 12 6 6 12 4 4 4 8 9 6 4 19 15 19 15 16 12 14 11 14 13 7 7 4 10 10 14 10 11 6 9 9 9 11 17 16 12 11 16 12 12 11 16 13 5 10 10 6 2 7 11 8 7 7 8 5 8 2 9 7 4 4 6 6 3 9 9 5 6 7 10 9 4 6 8 8 7 7 7 7 11 11 10 10 4 10 11 10 9 8 8 7 7 5 6 6 5 5 4 4 4 4 5 3 2 2 1 1 2 
Solving time:0.050
Filtering time:4.940
ID:41 (13,13,43)
Graph |V|:91
Solution size:4206
Filtered solution size:1717
Parallel solution length:186
Parallelism:9.231
Step parallelism:39 23 22 16 12 12 15 16 11 13 10 10 9 10 9 15 9 9 13 17 11 9 13 10 6 10 6 8 21 18 8 10 10 12 14 10 8 16 9 15 16 6 11 13 18 15 9 11 9 9 7 10 6 2 16 15 12 5 5 6 6 13 12 16 15 16 11 11 11 15 11 13 12 12 8 10 22 14 10 11 9 14 10 2 2 4 4 4 4 10 12 10 6 5 9 8 8 7 12 12 10 10 13 8 13 12 12 12 14 14 12 11 13 12 13 13 12 3 4 2 5 5 5 10 3 2 9 8 6 8 6 9 8 7 7 7 7 9 7 7 8 6 6 10 8 7 7 8 7 6 5 5 5 6 6 7 5 5 5 5 3 6 7 5 9 5 6 4 3 3 2 5 4 3 4 2 5 5 5 5 8 7 6 6 4 4 
Solving time:0.050
Filtering time:3.510
ID:42 (13,13,44)
Graph |V|:91
Solution size:4897
Filtered solution size:1764
Parallel solution length:174
Parallelism:10.138
Step parallelism:38 22 21 15 12 12 15 16 11 13 10 10 9 10 9 14 9 9 13 16 11 9 13 10 6 10 6 9 21 18 8 10 10 12 14 10 7 16 9 15 16 6 11 13 17 15 9 11 9 9 7 10 6 2 16 15 10 5 5 6 6 13 13 17 15 16 11 11 11 14 11 12 11 13 11 21 20 14 11 11 9 11 3 9 6 4 4 12 10 12 15 14 15 16 15 13 13 17 10 14 8 11 6 11 8 9 18 19 17 8 10 3 9 8 13 6 12 6 13 13 11 10 10 15 14 16 11 5 5 5 6 7 7 5 10 7 8 5 8 8 13 10 8 6 6 7 7 8 5 9 10 6 6 8 9 4 4 3 2 2 4 7 6 7 2 3 9 3 3 4 7 3 1 1 
Solving time:0.050
Filtering time:5.780
ID:43 (13,13,45)
Graph |V|:91
Solution size:4320
Filtered solution size:1626
Parallel solution length:161
Parallelism:10.099
Step parallelism:37 23 21 15 13 12 15 16 11 13 10 10 9 10 9 14 9 9 13 16 11 9 13 10 6 10 6 9 21 18 8 10 10 12 14 10 7 16 9 15 16 6 11 13 17 15 9 11 9 9 7 10 6 2 16 15 12 5 5 6 6 13 13 14 14 12 12 11 10 9 12 9 10 10 17 9 15 7 8 10 14 7 6 2 6 5 7 6 6 13 16 8 8 11 10 10 10 13 13 13 15 15 17 18 13 16 6 9 18 15 12 13 5 7 7 3 8 8 7 9 12 7 9 10 13 14 6 5 9 11 11 10 9 8 8 7 7 7 7 10 8 8 7 6 8 6 6 6 5 3 8 6 8 7 3 4 3 3 2 2 2 
Solving time:0.060
Filtering time:3.220
ID:44 (13,13,46)
Graph |V|:91
Solution size:4648
Filtered solution size:1585
Parallel solution length:167
Parallelism:9.491
Step parallelism:32 24 21 16 13 12 14 15 10 7 8 8 8 9 9 14 9 10 13 16 11 9 13 10 6 10 6 9 21 18 8 10 10 12 15 10 7 16 9 11 14 6 10 11 16 16 10 12 15 12 7 3 2 1 15 15 9 5 4 5 1 4 4 7 15 19 11 9 12 11 12 15 15 14 9 14 10 8 15 19 13 14 12 15 11 13 10 9 11 12 11 17 16 12 8 12 7 7 7 10 2 9 6 6 9 14 14 8 7 10 11 11 9 10 10 9 10 15 4 4 7 8 11 6 7 5 9 9 3 1 4 4 10 7 9 9 11 8 8 9 7 2 2 5 6 6 4 6 5 6 10 5 4 3 5 5 8 8 9 4 3 4 4 4 5 3 1 
Solving time:0.050
Filtering time:3.600
ID:45 (13,13,47)
Graph |V|:91
Solution size:4565
Filtered solution size:1623
Parallel solution length:173
Parallelism:9.382
Step parallelism:36 22 21 15 12 12 15 16 11 6 7 10 9 10 9 14 9 9 13 16 11 9 12 9 7 10 6 9 20 16 10 9 12 16 7 5 5 14 15 14 13 9 12 13 9 16 14 12 20 12 13 13 15 13 16 14 7 7 7 11 12 11 10 12 16 17 14 11 16 11 8 8 10 7 11 6 9 13 11 16 16 13 18 9 12 17 12 10 10 10 7 10 7 7 6 6 4 10 9 10 9 4 4 3 3 3 3 3 10 9 2 2 10 10 10 11 10 9 8 8 12 13 13 10 6 5 7 4 3 6 6 6 2 3 5 2 4 2 2 2 3 3 8 8 8 8 7 7 7 7 6 5 7 6 2 5 8 7 7 8 7 8 7 8 8 10 6 5 8 6 7 5 1 
Solving time:0.050
Filtering time:3.370
ID:46 (13,13,48)
Graph |V|:91
Solution size:4501
Filtered solution size:1580
Parallel solution length:165
Parallelism:9.576
Step parallelism:35 21 20 15 12 12 14 15 10 6 7 10 9 10 9 14 9 9 12 16 11 9 12 9 7 10 6 9 20 16 10 9 12 16 7 5 5 14 15 14 13 9 12 13 9 16 14 12 20 12 13 13 15 13 16 14 7 7 7 11 12 11 10 12 16 18 14 11 16 11 8 8 10 7 11 6 9 13 11 16 17 13 18 9 12 16 12 10 10 10 7 10 7 7 8 6 4 10 9 10 9 4 4 3 3 3 3 3 10 9 2 2 10 9 10 10 10 9 8 9 12 12 10 12 10 10 12 9 7 3 6 5 6 6 7 6 5 5 4 5 4 7 7 7 6 8 4 4 7 7 7 2 8 8 6 2 2 3 3 9 7 8 6 3 1 
Solving time:0.050
Filtering time:2.820
ID:47 (13,13,49)
Graph |V|:91
Solution size:4224
Filtered solution size:1250
Parallel solution length:148
Parallelism:8.446
Step parallelism:38 20 19 15 13 12 14 13 7 7 8 6 9 8 13 8 9 11 17 11 9 11 8 7 10 6 9 20 16 12 9 13 16 17 10 11 9 9 6 5 6 8 7 14 10 10 9 12 11 15 12 11 15 16 17 14 10 8 12 7 12 14 11 11 15 10 10 8 12 12 6 9 10 6 3 2 8 1 3 3 10 4 4 6 5 4 3 9 8 12 7 8 6 6 10 10 8 7 7 9 7 6 15 13 7 4 8 6 6 9 5 7 6 5 5 5 5 5 3 6 3 2 2 2 2 7 7 2 2 1 10 9 9 8 8 8 8 4 5 2 1 1 2 2 3 1 1 1 
Solving time:0.050
Filtering time:2.090
ID:48 (13,13,50)
Graph |V|:91
Solution size:4192
Filtered solution size:1257
Parallel solution length:148
Parallelism:8.493
Step parallelism:37 19 19 18 13 12 14 13 7 7 8 6 9 8 13 8 9 11 17 11 9 11 8 7 10 6 9 19 15 12 9 12 16 17 12 11 9 9 6 5 6 8 7 13 11 11 9 12 10 11 16 18 17 18 13 13 7 12 15 14 12 17 10 8 5 11 12 5 8 8 5 3 3 8 1 3 3 10 4 4 6 5 4 3 8 9 7 6 9 7 9 9 9 11 7 7 9 7 4 7 7 6 5 5 5 4 8 6 8 5 5 5 5 5 2 2 6 5 8 7 6 5 7 6 6 7 6 7 5 9 6 10 4 4 4 3 4 4 8 8 6 6 6 6 4 4 1 1 
Solving time:0.050
Filtering time:1.630
ID:49 (13,13,51)
Graph |V|:91
Solution size:4081
Filtered solution size:1193
Parallel solution length:125
Parallelism:9.544
Step parallelism:36 22 19 18 13 12 14 13 7 7 8 6 9 8 13 8 9 11 17 11 9 11 8 7 10 6 9 19 15 12 9 12 15 16 8 11 9 9 6 5 6 8 7 13 11 11 9 11 9 8 15 17 16 14 11 13 7 12 14 16 18 13 5 2 8 6 3 3 8 3 2 3 3 9 9 8 5 6 6 14 14 11 11 12 10 9 10 9 11 9 12 7 11 9 6 6 8 7 7 8 5 7 8 6 8 7 8 8 7 7 8 8 8 8 10 9 10 6 7 5 8 6 6 4 3 
Solving time:0.050
Filtering time:1.440
ID:50 (13,13,52)
Graph |V|:91
Solution size:4081
Filtered solution size:1173
Parallel solution length:121
Parallelism:9.694
Step parallelism:35 23 19 18 13 12 14 13 7 7 8 6 9 8 12 10 10 11 15 9 11 12 16 20 16 12 9 13 15 16 8 11 9 9 6 5 6 8 7 13 11 11 9 11 9 8 15 17 16 14 11 13 7 12 14 16 18 13 5 2 8 6 3 3 8 3 2 3 3 9 9 8 5 6 6 14 14 11 11 12 10 9 10 9 11 9 12 7 11 9 6 6 8 7 7 8 5 7 8 6 8 7 8 8 7 7 8 8 8 8 10 9 10 6 7 5 8 6 6 4 3 
Solving time:0.050
Filtering time:1.380
ID:51 (13,13,53)
Graph |V|:91
Solution size:4185
Filtered solution size:1144
Parallel solution length:124
Parallelism:9.226
Step parallelism:34 22 18 17 12 11 13 13 6 6 8 6 9 8 12 10 10 11 15 9 11 12 16 20 16 12 9 13 15 16 8 11 9 9 6 5 6 8 7 13 11 11 9 11 9 8 15 17 16 14 11 13 7 12 14 16 18 14 5 2 8 6 3 3 8 3 2 3 3 9 9 8 6 6 6 12 12 9 10 11 7 6 6 8 8 8 7 4 7 8 7 6 5 5 8 7 10 12 10 10 9 9 8 7 6 6 6 6 8 7 6 5 7 7 6 9 8 5 6 5 5 4 4 4 
Solving time:0.050
Filtering time:1.290
ID:52 (13,13,54)
Graph |V|:91
Solution size:4197
Filtered solution size:1085
Parallel solution length:113
Parallelism:9.602
Step parallelism:31 24 21 17 16 12 13 11 6 4 4 11 10 9 8 9 11 14 8 12 14 16 19 16 11 8 11 10 11 9 8 10 9 9 8 8 8 5 13 11 14 11 9 14 7 8 6 7 4 4 6 10 7 15 11 14 14 9 6 7 9 3 8 8 8 10 12 12 14 12 15 11 12 11 9 7 9 9 12 14 13 7 5 2 6 7 5 7 10 7 7 7 7 5 3 7 7 6 9 11 10 10 10 12 8 10 10 7 4 5 4 3 1 
Solving time:0.050
Filtering time:1.480
ID:53 (13,13,55)
Graph |V|:91
Solution size:4197
Filtered solution size:1069
Parallel solution length:112
Parallelism:9.545
Step parallelism:30 24 21 17 16 11 13 12 4 3 9 10 9 7 8 10 13 7 11 14 16 19 16 11 8 11 10 11 9 8 10 9 9 8 8 8 5 13 11 14 11 9 14 7 8 6 7 4 4 6 10 7 15 11 14 14 9 6 7 9 3 8 8 8 10 12 12 14 12 15 11 12 11 9 7 9 9 12 14 13 7 5 2 6 7 5 7 10 7 7 7 7 5 3 7 7 6 9 11 10 10 10 12 8 10 10 7 4 5 4 3 1 
Solving time:0.050
Filtering time:1.430
ID:54 (13,13,56)
Graph |V|:91
Solution size:3998
Filtered solution size:994
Parallel solution length:112
Parallelism:8.875
Step parallelism:29 25 19 16 15 10 12 10 4 3 8 8 7 7 10 12 6 11 12 11 13 13 12 14 12 5 6 15 17 7 7 5 5 7 17 14 8 8 11 12 13 10 7 7 6 5 5 5 4 9 5 9 12 10 9 11 9 6 12 12 10 8 11 14 14 14 11 10 13 16 14 12 12 6 7 6 5 5 5 6 6 6 7 7 8 10 8 5 7 7 7 4 8 9 9 6 6 6 7 7 3 2 3 2 3 4 5 7 6 3 5 3 
Solving time:0.050
Filtering time:0.930
ID:55 (13,13,57)
Graph |V|:91
Solution size:4094
Filtered solution size:937
Parallel solution length:115
Parallelism:8.148
Step parallelism:27 23 18 14 14 10 12 10 5 4 10 10 7 7 8 8 6 12 13 12 13 13 8 11 11 10 15 13 12 9 9 8 10 10 8 10 12 16 20 12 13 13 7 6 8 8 7 7 7 6 5 10 14 10 11 6 11 8 5 6 7 4 6 7 4 6 6 9 11 12 13 9 6 6 6 6 5 5 5 6 9 9 8 7 5 7 8 5 5 5 5 4 5 2 3 5 5 5 6 5 4 3 4 4 2 2 2 5 7 6 7 5 3 2 1 
Solving time:0.050
Filtering time:0.910
ID:56 (13,13,58)
Graph |V|:91
Solution size:4094
Filtered solution size:926
Parallel solution length:115
Parallelism:8.052
Step parallelism:26 22 18 14 14 10 12 10 5 4 11 6 7 7 9 10 7 13 10 10 10 12 13 14 7 7 13 12 12 9 9 8 10 10 8 10 12 16 20 12 13 13 7 6 8 8 7 7 7 6 5 10 14 10 11 6 11 8 5 6 7 4 6 7 4 6 6 9 11 12 13 9 6 6 6 6 5 5 5 6 9 9 8 7 5 7 8 5 5 5 5 4 5 2 3 5 5 5 6 5 4 3 4 4 2 2 2 5 7 6 7 5 3 2 1 
Solving time:0.050
Filtering time:0.890
ID:57 (13,13,59)
Graph |V|:91
Solution size:4003
Filtered solution size:850
Parallel solution length:106
Parallelism:8.019
Step parallelism:25 18 18 13 15 11 11 10 7 4 10 8 8 8 7 8 6 12 9 10 10 13 9 10 6 5 12 10 10 7 8 9 7 10 12 5 14 3 5 5 11 6 6 5 7 5 9 9 10 9 7 6 6 6 5 8 8 9 10 9 9 10 6 12 6 13 10 11 14 12 11 9 9 6 5 5 5 5 7 4 5 5 6 6 8 5 3 5 6 10 9 8 9 8 7 5 1 3 6 6 4 2 2 5 6 2 
Solving time:0.050
Filtering time:0.670
ID:58 (13,13,60)
Graph |V|:91
Solution size:3714
Filtered solution size:793
Parallel solution length:105
Parallelism:7.552
Step parallelism:24 17 17 12 14 11 11 10 8 4 10 8 8 8 7 8 6 12 9 10 10 13 9 9 6 5 11 11 10 7 8 9 6 9 11 5 13 3 5 5 11 6 6 4 7 7 9 9 10 9 6 5 6 6 8 8 6 10 9 6 6 6 7 12 8 11 13 13 12 10 4 3 3 3 3 3 3 4 3 3 4 6 5 5 7 8 10 9 9 8 8 5 6 7 7 4 2 3 3 4 4 4 6 1 1 
Solving time:0.050
Filtering time:0.520
ID:59 (13,13,61)
Graph |V|:91
Solution size:3583
Filtered solution size:717
Parallel solution length:98
Parallelism:7.316
Step parallelism:23 19 18 11 13 10 10 9 7 5 10 6 7 7 6 8 6 12 9 10 10 15 11 9 6 5 11 11 10 7 8 9 6 9 11 5 13 3 5 5 11 6 6 4 7 7 9 9 10 9 6 5 6 6 5 5 3 9 8 6 6 6 7 11 6 10 10 10 9 8 4 3 5 4 2 2 2 6 4 2 5 9 9 9 10 8 5 5 5 4 3 1 3 3 3 2 2 2 
Solving time:0.040
Filtering time:0.400
ID:60 (13,13,62)
Graph |V|:91
Solution size:3536
Filtered solution size:685
Parallel solution length:93
Parallelism:7.366
Step parallelism:22 18 17 10 12 9 9 8 6 5 9 6 7 7 6 8 6 12 9 10 10 15 11 9 6 5 11 11 10 7 8 9 6 9 11 5 13 3 5 5 11 6 6 4 7 7 9 9 10 9 6 5 6 6 5 5 3 10 8 6 6 6 7 12 6 10 10 10 9 8 4 3 5 4 2 2 2 6 4 2 5 8 7 8 8 6 5 4 4 3 3 1 2 
Solving time:0.040
Filtering time:0.350
ID:61 (13,13,63)
Graph |V|:91
Solution size:3512
Filtered solution size:672
Parallel solution length:95
Parallelism:7.074
Step parallelism:21 17 16 11 12 9 9 8 6 5 9 6 7 7 6 8 6 12 9 10 10 14 10 9 6 5 11 11 10 7 8 9 6 9 11 5 13 3 5 5 11 6 6 4 7 7 9 9 10 9 6 5 6 6 5 4 2 8 7 6 6 5 6 10 5 9 11 11 10 7 3 2 2 2 2 2 2 4 3 4 4 7 9 8 4 4 4 4 5 6 3 5 4 3 2 
Solving time:0.040
Filtering time:0.370
ID:62 (13,13,64)
Graph |V|:91
Solution size:3512
Filtered solution size:637
Parallel solution length:93
Parallelism:6.849
Step parallelism:20 18 15 14 11 10 6 5 4 7 7 7 7 6 8 6 12 9 10 10 13 8 9 6 5 11 11 9 6 8 11 5 5 4 12 4 4 4 10 6 6 4 7 7 9 9 10 9 6 5 6 6 5 4 2 8 7 6 6 5 6 10 5 9 11 11 10 7 3 2 2 2 2 2 2 4 3 4 4 7 9 8 4 4 4 4 5 6 3 5 4 3 2 
Solving time:0.050
Filtering time:0.320
ID:63 (13,13,65)
Graph |V|:91
Solution size:4094
Filtered solution size:676
Parallel solution length:99
Parallelism:6.828
Step parallelism:19 17 16 14 10 10 6 5 4 6 7 7 7 6 8 6 12 9 10 10 13 7 9 6 5 11 11 6 8 5 6 6 9 10 7 4 4 4 6 4 7 6 6 7 9 7 7 7 11 10 10 11 9 8 8 8 9 6 9 9 12 9 7 11 11 7 4 1 3 3 3 3 3 3 1 1 4 5 7 7 5 3 4 4 3 3 5 5 6 6 6 5 4 4 4 3 3 3 1 
Solving time:0.040
Filtering time:0.330
ID:64 (13,13,66)
Graph |V|:91
Solution size:4094
Filtered solution size:654
Parallel solution length:95
Parallelism:6.884
Step parallelism:19 17 16 12 10 9 9 8 10 8 6 9 9 7 9 9 13 7 9 6 5 11 11 6 8 5 6 6 9 10 7 4 4 4 6 4 7 6 6 7 9 7 7 7 11 10 10 11 9 8 8 8 9 6 9 9 12 9 7 11 11 7 4 1 3 3 3 3 3 3 1 1 4 5 7 7 5 3 4 4 3 3 5 5 6 6 6 5 4 4 4 3 3 3 1 
Solving time:0.050
Filtering time:0.290
ID:65 (13,13,67)
Graph |V|:91
Solution size:3571
Filtered solution size:522
Parallel solution length:73
Parallelism:7.151
Step parallelism:19 17 15 13 12 10 11 9 13 11 7 10 10 8 10 10 10 6 9 6 5 11 13 9 3 5 6 6 7 6 4 6 9 9 8 5 5 4 5 4 3 2 4 3 2 7 6 6 8 8 10 9 8 8 8 10 6 7 7 6 6 6 5 6 5 4 3 3 3 2 2 2 1 
Solving time:0.050
Filtering time:0.190
ID:66 (13,13,68)
Graph |V|:91
Solution size:3571
Filtered solution size:512
Parallel solution length:73
Parallelism:7.014
Step parallelism:18 17 15 13 12 10 10 9 12 10 10 7 7 6 9 10 10 6 9 6 5 11 13 9 3 5 6 6 7 6 4 6 9 9 8 5 5 4 5 4 3 2 4 3 2 7 6 6 8 8 10 9 8 8 8 10 6 7 7 6 6 6 5 6 5 4 3 3 3 2 2 2 1 
Solving time:0.040
Filtering time:0.200
ID:67 (13,13,69)
Graph |V|:91
Solution size:3571
Filtered solution size:502
Parallel solution length:70
Parallelism:7.171
Step parallelism:17 16 15 13 12 10 10 9 12 10 10 8 7 6 10 12 8 13 11 13 9 4 6 7 6 7 6 4 6 9 9 8 5 5 4 5 4 3 2 4 3 2 7 6 6 8 8 10 9 8 8 8 10 6 7 7 6 6 6 5 6 5 4 3 3 3 2 2 2 1 
Solving time:0.040
Filtering time:0.200
ID:68 (13,13,70)
Graph |V|:91
Solution size:3571
Filtered solution size:492
Parallel solution length:70
Parallelism:7.029
Step parallelism:16 15 15 13 12 11 10 9 11 9 10 8 7 6 10 11 8 13 11 13 9 4 6 7 6 7 6 4 6 9 9 8 5 5 4 5 4 3 2 4 3 2 7 6 6 8 8 9 8 7 7 7 9 6 7 7 6 6 6 5 6 5 4 3 3 3 2 2 2 1 
Solving time:0.050
Filtering time:0.170
ID:69 (13,13,71)
Graph |V|:91
Solution size:3645
Filtered solution size:488
Parallel solution length:65
Parallelism:7.508
Step parallelism:14 14 13 11 9 9 9 11 12 9 9 6 9 8 14 13 9 7 5 9 7 6 7 7 8 16 6 7 7 7 5 6 5 7 8 8 7 6 6 8 5 9 8 8 9 7 8 7 5 6 5 4 5 5 3 7 6 6 7 6 6 5 4 2 1 
Solving time:0.040
Filtering time:0.180
ID:70 (13,13,72)
Graph |V|:91
Solution size:3837
Filtered solution size:515
Parallel solution length:69
Parallelism:7.464
Step parallelism:13 13 13 13 10 12 10 10 11 7 10 8 11 9 9 8 5 8 7 7 8 9 9 9 9 9 9 8 6 3 2 1 11 11 10 7 5 4 4 5 10 8 8 7 6 7 7 4 6 4 5 5 7 8 7 8 8 9 7 7 7 8 6 5 5 4 4 3 2 
Solving time:0.040
Filtering time:0.220
ID:71 (13,13,73)
Graph |V|:91
Solution size:3616
Filtered solution size:455
Parallel solution length:69
Parallelism:6.594
Step parallelism:13 13 13 14 10 12 10 11 12 7 9 7 10 9 9 8 5 8 7 7 6 9 11 9 7 5 6 4 3 5 1 1 2 3 3 5 5 5 5 3 7 7 6 7 6 5 4 7 9 9 6 8 7 7 8 7 6 5 6 5 5 5 5 2 4 4 3 2 1 
Solving time:0.040
Filtering time:0.180
ID:72 (13,13,74)
Graph |V|:91
Solution size:3282
Filtered solution size:384
Parallel solution length:61
Parallelism:6.295
Step parallelism:12 12 11 11 9 9 8 7 6 5 10 10 12 9 8 5 7 6 4 5 4 7 7 5 10 7 9 9 9 8 2 8 7 7 7 8 8 5 5 5 5 6 6 6 5 5 3 2 3 3 3 4 5 5 4 4 4 3 2 2 1 
Solving time:0.040
Filtering time:0.080
ID:73 (13,13,75)
Graph |V|:91
Solution size:3357
Filtered solution size:358
Parallel solution length:57
Parallelism:6.281
Step parallelism:11 11 10 10 9 9 10 7 6 5 10 10 11 9 8 5 7 6 4 5 4 7 7 5 7 7 9 8 8 9 3 6 6 6 6 8 7 5 6 5 6 7 6 6 6 4 3 4 4 3 3 3 3 3 2 2 1 
Solving time:0.040
Filtering time:0.060
ID:74 (13,13,76)
Graph |V|:91
Solution size:3241
Filtered solution size:299
Parallel solution length:47
Parallelism:6.362
Step parallelism:10 10 8 9 8 8 9 7 7 7 10 12 10 10 7 4 7 6 6 6 4 6 6 7 7 6 8 3 6 6 6 6 8 6 4 5 6 7 7 7 6 3 3 2 1 1 1 
Solving time:0.030
Filtering time:0.050
ID:75 (13,13,77)
Graph |V|:91
Solution size:3053
Filtered solution size:209
Parallel solution length:39
Parallelism:5.359
Step parallelism:12 13 13 11 8 9 9 6 6 5 4 4 8 7 5 7 6 6 5 4 3 2 4 4 5 6 5 4 4 4 4 5 3 2 2 1 1 1 1 
Solving time:0.030
Filtering time:0.020
ID:76 (13,13,78)
Graph |V|:91
Solution size:3053
Filtered solution size:193
Parallel solution length:36
Parallelism:5.361
Step parallelism:11 12 12 10 7 9 9 6 6 5 6 5 9 7 6 8 7 5 4 3 3 3 4 4 4 4 4 4 5 3 2 2 1 1 1 1 
Solving time:0.030
Filtering time:0.020
ID:77 (13,13,79)
Graph |V|:91
Solution size:3373
Filtered solution size:244
Parallel solution length:51
Parallelism:4.784
Step parallelism:10 10 9 8 7 9 9 9 10 11 9 7 9 8 8 6 4 4 3 4 3 4 4 3 3 2 2 2 2 3 2 3 3 3 3 6 5 6 4 4 4 4 2 2 2 2 2 2 1 1 1 
Solving time:0.040
Filtering time:0.040
ID:78 (13,13,80)
Graph |V|:91
Solution size:2847
Filtered solution size:176
Parallel solution length:31
Parallelism:5.677
Step parallelism:9 8 7 6 5 7 7 7 8 9 7 8 10 7 6 6 7 6 6 5 4 5 5 6 3 3 3 2 2 1 1 
Solving time:0.030
Filtering time:0.020
ID:79 (13,13,81)
Graph |V|:91
Solution size:2629
Filtered solution size:164
Parallel solution length:32
Parallelism:5.125
Step parallelism:8 8 8 7 6 7 8 7 7 8 5 9 6 6 4 5 4 5 5 6 5 4 4 4 4 4 3 2 2 1 1 1 
Solving time:0.030
Filtering time:0.010
ID:80 (13,13,82)
Graph |V|:91
Solution size:2657
Filtered solution size:140
Parallel solution length:32
Parallelism:4.375
Step parallelism:7 7 7 6 5 6 7 6 6 8 5 8 5 4 2 4 3 4 5 5 3 2 3 3 3 3 3 3 2 2 2 1 
Solving time:0.030
Filtering time:0.010
ID:81 (13,13,83)
Graph |V|:91
Solution size:2657
Filtered solution size:136
Parallel solution length:32
Parallelism:4.250
Step parallelism:6 6 6 5 5 6 7 6 6 8 5 8 5 4 2 4 3 4 5 5 3 2 3 3 3 3 3 3 2 2 2 1 
Solving time:0.030
Filtering time:0.010
ID:82 (13,13,84)
Graph |V|:91
Solution size:2287
Filtered solution size:105
Parallel solution length:30
Parallelism:3.500
Step parallelism:6 6 5 5 6 5 5 4 4 4 5 4 5 5 5 3 3 3 3 3 2 2 2 2 2 2 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:83 (13,13,85)
Graph |V|:91
Solution size:2343
Filtered solution size:79
Parallel solution length:22
Parallelism:3.591
Step parallelism:5 5 4 4 5 5 6 5 5 4 4 4 4 4 4 2 2 2 2 1 1 1 
Solving time:0.020
Filtering time:0.010
ID:84 (13,13,86)
Graph |V|:91
Solution size:2343
Filtered solution size:64
Parallel solution length:22
Parallelism:2.909
Step parallelism:4 4 3 3 4 4 5 4 4 3 3 3 3 3 3 2 2 2 2 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:85 (13,13,87)
Graph |V|:91
Solution size:2343
Filtered solution size:59
Parallel solution length:22
Parallelism:2.682
Step parallelism:3 3 3 3 3 3 4 4 4 3 3 3 3 3 3 2 2 2 2 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:86 (13,13,88)
Graph |V|:91
Solution size:2343
Filtered solution size:50
Parallel solution length:22
Parallelism:2.273
Step parallelism:2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 2 2 2 2 1 1 1 
Solving time:0.020
Filtering time:0.000
ID:87 (13,13,89)
Graph |V|:91
Solution size:2613
Filtered solution size:35
Parallel solution length:22
Parallelism:1.591
Step parallelism:1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:88 (13,13,90)
Graph |V|:91
Solution size:2565
Filtered solution size:18
Parallel solution length:18
Parallelism:1.000
Step parallelism:1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
Solving time:0.030
Filtering time:0.000
ID:89 (13,13,91)
Graph |V|:91
ID:90 (13,13,92)
Graph |V|:91
ID:91 (13,13,93)
Graph |V|:91
ID:92 (13,13,94)
Graph |V|:91
ID:93 (13,13,95)
Graph |V|:91
ID:94 (13,13,96)
Graph |V|:91
ID:95 (13,13,97)
Graph |V|:91
ID:96 (13,13,98)
Graph |V|:91
ID:97 (13,13,99)
Graph |V|:91
ID:98 (13,13,100)
Graph |V|:91