1,1,3455
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 5
1,1,12
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,1,45
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,1,78
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
1,1,8546
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
1,1,474
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,1,188
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,1,7899
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
1,1,9
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
1,1,774
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,1,3455
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
2,1,12
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,1,45
            Wall clock TIME (seconds)      = 0.207
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 0
2,1,78
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 5
2,1,8546
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
2,1,474
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
2,1,188
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,1,7899
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,1,9
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 5
2,1,774
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,1,3455
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,1,12
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 7
3,1,45
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,1,78
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,1,8546
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,1,474
            Wall clock TIME (seconds)      = 0.015
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,1,188
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,1,7899
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,1,9
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,1,774
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,1,3455
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 5
4,1,12
            Wall clock TIME (seconds)      = 0.096
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 9
4,1,45
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,1,78
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,1,8546
            Wall clock TIME (seconds)      = 0.021
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
4,1,474
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,1,188
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
4,1,7899
            Wall clock TIME (seconds)      = 0.038
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 5
4,1,9
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,1,774
            Wall clock TIME (seconds)      = 0.034
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 5
5,1,3455
            Wall clock TIME (seconds)      = 0.062
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 6
5,1,12
            Wall clock TIME (seconds)      = 0.028
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,1,45
            Wall clock TIME (seconds)      = 0.639
            CPU/machine TIME (seconds)     = 0.550
    total makespan           = 0
5,1,78
            Wall clock TIME (seconds)      = 0.039
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 5
5,1,8546
            Wall clock TIME (seconds)      = 0.025
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,1,474
            Wall clock TIME (seconds)      = 0.081
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 7
5,1,188
            Wall clock TIME (seconds)      = 0.058
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 6
5,1,7899
            Wall clock TIME (seconds)      = 0.028
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
5,1,9
            Wall clock TIME (seconds)      = 0.077
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 7
5,1,774
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
6,1,3455
            Wall clock TIME (seconds)      = 0.058
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
6,1,12
            Wall clock TIME (seconds)      = 0.231
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 9
6,1,45
            Wall clock TIME (seconds)      = 0.843
            CPU/machine TIME (seconds)     = 0.760
    total makespan           = 0
6,1,78
            Wall clock TIME (seconds)      = 0.061
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
6,1,8546
            Wall clock TIME (seconds)      = 0.076
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 6
6,1,474
            Wall clock TIME (seconds)      = 0.034
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
6,1,188
            Wall clock TIME (seconds)      = 0.035
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
6,1,7899
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 5
6,1,9
            Wall clock TIME (seconds)      = 0.084
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 6
6,1,774
            Wall clock TIME (seconds)      = 0.062
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
7,1,3455
            Wall clock TIME (seconds)      = 0.356
            CPU/machine TIME (seconds)     = 0.320
    total makespan           = 8
7,1,12
            Wall clock TIME (seconds)      = 0.599
            CPU/machine TIME (seconds)     = 0.560
    total makespan           = 10
7,1,45
            Wall clock TIME (seconds)      = 1.078
            CPU/machine TIME (seconds)     = 0.980
    total makespan           = 0
7,1,78
            Wall clock TIME (seconds)      = 0.301
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 7
7,1,8546
            Wall clock TIME (seconds)      = 0.104
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 6
7,1,474
            Wall clock TIME (seconds)      = 0.123
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 6
7,1,188
            Wall clock TIME (seconds)      = 0.423
            CPU/machine TIME (seconds)     = 0.390
    total makespan           = 8
7,1,7899
            Wall clock TIME (seconds)      = 0.260
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 7
7,1,9
            Wall clock TIME (seconds)      = 0.835
            CPU/machine TIME (seconds)     = 0.800
    total makespan           = 9
7,1,774
            Wall clock TIME (seconds)      = 0.109
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 6
8,1,3455
            Wall clock TIME (seconds)      = 0.489
            CPU/machine TIME (seconds)     = 0.440
    total makespan           = 8
8,1,12
            Wall clock TIME (seconds)      = 3.329
            CPU/machine TIME (seconds)     = 3.270
    total makespan           = 12
8,1,45
            Wall clock TIME (seconds)      = 1.304
            CPU/machine TIME (seconds)     = 1.230
    total makespan           = 0
8,1,78
            Wall clock TIME (seconds)      = 0.102
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 5
8,1,8546
            Wall clock TIME (seconds)      = 0.246
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 7
8,1,474
            Wall clock TIME (seconds)      = 0.137
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 6
8,1,188
            Wall clock TIME (seconds)      = 0.299
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 7
8,1,7899
            Wall clock TIME (seconds)      = 0.164
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 6
8,1,9
            Wall clock TIME (seconds)      = 0.662
            CPU/machine TIME (seconds)     = 0.620
    total makespan           = 8
8,1,774
            Wall clock TIME (seconds)      = 0.165
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 6
9,1,3455
            Wall clock TIME (seconds)      = 0.731
            CPU/machine TIME (seconds)     = 0.700
    total makespan           = 8
9,1,12
            Wall clock TIME (seconds)      = 29.953
            CPU/machine TIME (seconds)     = 29.890
    total makespan           = 13
9,1,45
            Wall clock TIME (seconds)      = 1.472
            CPU/machine TIME (seconds)     = 1.390
    total makespan           = 0
9,1,78
            Wall clock TIME (seconds)      = 1.242
            CPU/machine TIME (seconds)     = 1.190
    total makespan           = 9
9,1,8546
            Wall clock TIME (seconds)      = 1.290
            CPU/machine TIME (seconds)     = 1.240
    total makespan           = 9
9,1,474
            Wall clock TIME (seconds)      = 2.467
            CPU/machine TIME (seconds)     = 2.430
    total makespan           = 9
9,1,188
            Wall clock TIME (seconds)      = 5.162
            CPU/machine TIME (seconds)     = 5.120
    total makespan           = 9
9,1,7899
            Wall clock TIME (seconds)      = 0.217
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 6
9,1,9
            Wall clock TIME (seconds)      = 6.832
            CPU/machine TIME (seconds)     = 6.770
    total makespan           = 12
9,1,774
            Wall clock TIME (seconds)      = 1.307
            CPU/machine TIME (seconds)     = 1.270
    total makespan           = 8
1,2,3455
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
1,2,12
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,2,45
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,2,78
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 5
1,2,8546
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 0
1,2,474
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,2,188
            Wall clock TIME (seconds)      = 0.002
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,2,7899
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,2,9
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,2,774
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,2,3455
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,2,12
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
2,2,45
            Wall clock TIME (seconds)      = 0.176
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 0
2,2,78
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,2,8546
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,2,474
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
2,2,188
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,2,7899
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,2,9
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,2,774
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,2,3455
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,2,12
            Wall clock TIME (seconds)      = 0.037
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 6
3,2,45
            Wall clock TIME (seconds)      = 0.320
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 0
3,2,78
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,2,8546
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,2,474
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,2,188
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,2,7899
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,2,9
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,2,774
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
4,2,3455
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
4,2,12
            Wall clock TIME (seconds)      = 0.637
            CPU/machine TIME (seconds)     = 0.550
    total makespan           = 0
4,2,45
            Wall clock TIME (seconds)      = 0.484
            CPU/machine TIME (seconds)     = 0.400
    total makespan           = 0
4,2,78
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 5
4,2,8546
            Wall clock TIME (seconds)      = 0.038
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 5
4,2,474
            Wall clock TIME (seconds)      = 0.024
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
4,2,188
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,2,7899
            Wall clock TIME (seconds)      = 0.045
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 5
4,2,9
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
4,2,774
            Wall clock TIME (seconds)      = 0.026
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,2,3455
            Wall clock TIME (seconds)      = 0.046
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 5
5,2,12
            Wall clock TIME (seconds)      = 0.054
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 6
5,2,45
            Wall clock TIME (seconds)      = 0.685
            CPU/machine TIME (seconds)     = 0.580
    total makespan           = 0
5,2,78
            Wall clock TIME (seconds)      = 0.053
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 5
5,2,8546
            Wall clock TIME (seconds)      = 0.032
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
5,2,474
            Wall clock TIME (seconds)      = 0.071
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 6
5,2,188
            Wall clock TIME (seconds)      = 0.036
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,2,7899
            Wall clock TIME (seconds)      = 1.066
            CPU/machine TIME (seconds)     = 0.960
    total makespan           = 0
5,2,9
            Wall clock TIME (seconds)      = 0.064
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 6
5,2,774
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
6,2,3455
            Wall clock TIME (seconds)      = 1.172
            CPU/machine TIME (seconds)     = 1.080
    total makespan           = 0
6,2,12
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
6,2,45
            Wall clock TIME (seconds)      = 0.811
            CPU/machine TIME (seconds)     = 0.710
    total makespan           = 0
6,2,78
            Wall clock TIME (seconds)      = 0.092
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 6
6,2,8546
            Wall clock TIME (seconds)      = 0.067
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 5
6,2,474
            Wall clock TIME (seconds)      = 0.038
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
6,2,188
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
6,2,7899
            Wall clock TIME (seconds)      = 0.062
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 5
6,2,9
            Wall clock TIME (seconds)      = 0.084
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 6
6,2,774
            Wall clock TIME (seconds)      = 0.073
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 5
7,2,3455
            Wall clock TIME (seconds)      = 0.491
            CPU/machine TIME (seconds)     = 0.460
    total makespan           = 7
7,2,12
            Wall clock TIME (seconds)      = 0.397
            CPU/machine TIME (seconds)     = 0.340
    total makespan           = 9
7,2,45
            Wall clock TIME (seconds)      = 1.103
            CPU/machine TIME (seconds)     = 1.000
    total makespan           = 0
7,2,78
            Wall clock TIME (seconds)      = 0.173
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 6
7,2,8546
            Wall clock TIME (seconds)      = 0.085
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 5
7,2,474
            Wall clock TIME (seconds)      = 1.530
            CPU/machine TIME (seconds)     = 1.430
    total makespan           = 0
7,2,188
            Wall clock TIME (seconds)      = 0.216
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 6
7,2,7899
            Wall clock TIME (seconds)      = 0.150
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 6
7,2,9
            Wall clock TIME (seconds)      = 0.260
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 7
7,2,774
            Wall clock TIME (seconds)      = 0.049
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
8,2,3455
            Wall clock TIME (seconds)      = 0.229
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 6
8,2,12
            Wall clock TIME (seconds)      = 1.871
            CPU/machine TIME (seconds)     = 1.820
    total makespan           = 11
8,2,45
            Wall clock TIME (seconds)      = 1.310
            CPU/machine TIME (seconds)     = 1.210
    total makespan           = 0
8,2,78
            Wall clock TIME (seconds)      = 0.118
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 5
8,2,8546
            Wall clock TIME (seconds)      = 0.409
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 7
8,2,474
            Wall clock TIME (seconds)      = 1.820
            CPU/machine TIME (seconds)     = 1.720
    total makespan           = 0
8,2,188
            Wall clock TIME (seconds)      = 1.051
            CPU/machine TIME (seconds)     = 1.000
    total makespan           = 7
8,2,7899
            Wall clock TIME (seconds)      = 1.781
            CPU/machine TIME (seconds)     = 1.680
    total makespan           = 0
8,2,9
            Wall clock TIME (seconds)      = 10.855
            CPU/machine TIME (seconds)     = 10.810
    total makespan           = 11
8,2,774
            Wall clock TIME (seconds)      = 0.272
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 7
9,2,3455
            Wall clock TIME (seconds)      = 6.729
            CPU/machine TIME (seconds)     = 6.690
    total makespan           = 9
9,2,12
            Wall clock TIME (seconds)      = 1.860
            CPU/machine TIME (seconds)     = 1.760
    total makespan           = 0
9,2,45
            Wall clock TIME (seconds)      = 1.678
            CPU/machine TIME (seconds)     = 1.570
    total makespan           = 0
9,2,78
            Wall clock TIME (seconds)      = 2.051
            CPU/machine TIME (seconds)     = 1.950
    total makespan           = 0
9,2,8546
            Wall clock TIME (seconds)      = 0.627
            CPU/machine TIME (seconds)     = 0.590
    total makespan           = 8
9,2,474
            Wall clock TIME (seconds)      = 2.004
            CPU/machine TIME (seconds)     = 1.920
    total makespan           = 0
9,2,188
            Wall clock TIME (seconds)      = 1.693
            CPU/machine TIME (seconds)     = 1.640
    total makespan           = 8
9,2,7899
            Wall clock TIME (seconds)      = 1.987
            CPU/machine TIME (seconds)     = 1.900
    total makespan           = 0
9,2,9
            Wall clock TIME (seconds)      = 70.007
            CPU/machine TIME (seconds)     = 69.930
    total makespan           = 14
9,2,774
            Wall clock TIME (seconds)      = 0.871
            CPU/machine TIME (seconds)     = 0.840
    total makespan           = 8
1,3,3455
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
1,3,12
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,3,45
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,3,78
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 5
1,3,8546
            Wall clock TIME (seconds)      = 0.002
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 0
1,3,474
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,3,188
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,3,7899
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
1,3,9
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,3,774
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
2,3,3455
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,3,12
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,3,45
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,3,78
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,3,8546
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,3,474
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
2,3,188
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,3,7899
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,3,9
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,3,774
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,3,3455
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,3,12
            Wall clock TIME (seconds)      = 0.015
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,3,45
            Wall clock TIME (seconds)      = 0.316
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 0
3,3,78
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,3,8546
            Wall clock TIME (seconds)      = 0.015
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,3,474
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,3,188
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,3,7899
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,3,9
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,3,774
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
4,3,3455
            Wall clock TIME (seconds)      = 0.042
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 5
4,3,12
            Wall clock TIME (seconds)      = 0.098
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 9
4,3,45
            Wall clock TIME (seconds)      = 0.513
            CPU/machine TIME (seconds)     = 0.420
    total makespan           = 0
4,3,78
            Wall clock TIME (seconds)      = 0.037
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 5
4,3,8546
            Wall clock TIME (seconds)      = 0.028
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,3,474
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,3,188
            Wall clock TIME (seconds)      = 0.028
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
4,3,7899
            Wall clock TIME (seconds)      = 0.027
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
4,3,9
            Wall clock TIME (seconds)      = 0.027
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
4,3,774
            Wall clock TIME (seconds)      = 0.027
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,3,3455
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
5,3,12
            Wall clock TIME (seconds)      = 0.091
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 7
5,3,45
            Wall clock TIME (seconds)      = 0.707
            CPU/machine TIME (seconds)     = 0.620
    total makespan           = 0
5,3,78
            Wall clock TIME (seconds)      = 0.035
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,3,8546
            Wall clock TIME (seconds)      = 0.039
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,3,474
            Wall clock TIME (seconds)      = 0.037
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,3,188
            Wall clock TIME (seconds)      = 0.024
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
5,3,7899
            Wall clock TIME (seconds)      = 0.036
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,3,9
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
5,3,774
            Wall clock TIME (seconds)      = 0.024
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
6,3,3455
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
6,3,12
            Wall clock TIME (seconds)      = 0.058
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 5
6,3,45
            Wall clock TIME (seconds)      = 0.924
            CPU/machine TIME (seconds)     = 0.830
    total makespan           = 0
6,3,78
            Wall clock TIME (seconds)      = 0.097
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 6
6,3,8546
            Wall clock TIME (seconds)      = 0.077
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 5
6,3,474
            Wall clock TIME (seconds)      = 0.027
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
6,3,188
            Wall clock TIME (seconds)      = 0.069
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
6,3,7899
            Wall clock TIME (seconds)      = 0.046
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
6,3,9
            Wall clock TIME (seconds)      = 0.058
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
6,3,774
            Wall clock TIME (seconds)      = 0.044
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
7,3,3455
            Wall clock TIME (seconds)      = 0.085
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 5
7,3,12
            Wall clock TIME (seconds)      = 1.166
            CPU/machine TIME (seconds)     = 1.120
    total makespan           = 10
7,3,45
            Wall clock TIME (seconds)      = 1.161
            CPU/machine TIME (seconds)     = 1.060
    total makespan           = 0
7,3,78
            Wall clock TIME (seconds)      = 0.087
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 5
7,3,8546
            Wall clock TIME (seconds)      = 1.464
            CPU/machine TIME (seconds)     = 1.370
    total makespan           = 0
7,3,474
            Wall clock TIME (seconds)      = 0.167
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 6
7,3,188
            Wall clock TIME (seconds)      = 0.064
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
7,3,7899
            Wall clock TIME (seconds)      = 0.099
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 5
7,3,9
            Wall clock TIME (seconds)      = 0.125
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 6
7,3,774
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
8,3,3455
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
8,3,12
            Wall clock TIME (seconds)      = 0.388
            CPU/machine TIME (seconds)     = 0.350
    total makespan           = 8
8,3,45
            Wall clock TIME (seconds)      = 1.432
            CPU/machine TIME (seconds)     = 1.340
    total makespan           = 0
8,3,78
            Wall clock TIME (seconds)      = 0.716
            CPU/machine TIME (seconds)     = 0.680
    total makespan           = 7
8,3,8546
            Wall clock TIME (seconds)      = 0.473
            CPU/machine TIME (seconds)     = 0.430
    total makespan           = 7
8,3,474
            Wall clock TIME (seconds)      = 0.065
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
8,3,188
            Wall clock TIME (seconds)      = 0.239
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
8,3,7899
            Wall clock TIME (seconds)      = 0.118
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 5
8,3,9
            Wall clock TIME (seconds)      = 1.060
            CPU/machine TIME (seconds)     = 1.020
    total makespan           = 8
8,3,774
            Wall clock TIME (seconds)      = 0.243
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 6
9,3,3455
            Wall clock TIME (seconds)      = 2.072
            CPU/machine TIME (seconds)     = 1.960
    total makespan           = 0
9,3,12
            Wall clock TIME (seconds)      = 157.740
            CPU/machine TIME (seconds)     = 157.650
    total makespan           = 0
9,3,45
            Wall clock TIME (seconds)      = 1.602
            CPU/machine TIME (seconds)     = 1.510
    total makespan           = 0
9,3,78
            Wall clock TIME (seconds)      = 2.031
            CPU/machine TIME (seconds)     = 1.950
    total makespan           = 0
9,3,8546
            Wall clock TIME (seconds)      = 2.013
            CPU/machine TIME (seconds)     = 1.910
    total makespan           = 0
9,3,474
            Wall clock TIME (seconds)      = 0.959
            CPU/machine TIME (seconds)     = 0.930
    total makespan           = 8
9,3,188
            Wall clock TIME (seconds)      = 1.391
            CPU/machine TIME (seconds)     = 1.350
    total makespan           = 7
9,3,7899
            Wall clock TIME (seconds)      = 2.126
            CPU/machine TIME (seconds)     = 2.030
    total makespan           = 0
9,3,9
            Wall clock TIME (seconds)      = 154.102
            CPU/machine TIME (seconds)     = 154.040
    total makespan           = 0
9,3,774
            Wall clock TIME (seconds)      = 0.140
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 5
1,4,3455
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
1,4,12
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,4,45
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,4,78
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 0
1,4,8546
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 0
1,4,474
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,4,188
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,4,7899
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,4,9
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,4,774
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,4,3455
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,4,12
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,4,45
            Wall clock TIME (seconds)      = 0.184
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 0
2,4,78
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,4,8546
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,4,474
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,4,188
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,4,7899
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,4,9
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,4,774
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,3455
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,12
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,4,45
            Wall clock TIME (seconds)      = 0.343
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 0
3,4,78
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,8546
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,4,474
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,4,188
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,7899
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,4,9
            Wall clock TIME (seconds)      = 0.021
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,4,774
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
4,4,3455
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,4,12
            Wall clock TIME (seconds)      = 0.050
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 6
4,4,45
            Wall clock TIME (seconds)      = 0.530
            CPU/machine TIME (seconds)     = 0.430
    total makespan           = 0
4,4,78
            Wall clock TIME (seconds)      = 0.025
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,4,8546
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,4,474
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,4,188
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
4,4,7899
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 5
4,4,9
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
4,4,774
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
5,4,3455
            Wall clock TIME (seconds)      = 0.036
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,4,12
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
5,4,45
            Wall clock TIME (seconds)      = 0.696
            CPU/machine TIME (seconds)     = 0.600
    total makespan           = 0
5,4,78
            Wall clock TIME (seconds)      = 0.034
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,4,8546
            Wall clock TIME (seconds)      = 0.054
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 5
5,4,474
            Wall clock TIME (seconds)      = 0.035
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,4,188
            Wall clock TIME (seconds)      = 0.023
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
5,4,7899
            Wall clock TIME (seconds)      = 0.998
            CPU/machine TIME (seconds)     = 0.890
    total makespan           = 0
5,4,9
            Wall clock TIME (seconds)      = 0.067
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 6
5,4,774
            Wall clock TIME (seconds)      = 0.023
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
6,4,3455
            Wall clock TIME (seconds)      = 0.047
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
6,4,12
            Wall clock TIME (seconds)      = 0.098
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 6
6,4,45
            Wall clock TIME (seconds)      = 0.915
            CPU/machine TIME (seconds)     = 0.810
    total makespan           = 0
6,4,78
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
6,4,8546
            Wall clock TIME (seconds)      = 0.068
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
6,4,474
            Wall clock TIME (seconds)      = 0.028
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
6,4,188
            Wall clock TIME (seconds)      = 0.028
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
6,4,7899
            Wall clock TIME (seconds)      = 0.067
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
6,4,9
            Wall clock TIME (seconds)      = 0.047
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
6,4,774
            Wall clock TIME (seconds)      = 0.047
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
7,4,3455
            Wall clock TIME (seconds)      = 0.595
            CPU/machine TIME (seconds)     = 0.550
    total makespan           = 8
7,4,12
            Wall clock TIME (seconds)      = 0.424
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 9
7,4,45
            Wall clock TIME (seconds)      = 1.134
            CPU/machine TIME (seconds)     = 1.030
    total makespan           = 0
7,4,78
            Wall clock TIME (seconds)      = 0.108
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 5
7,4,8546
            Wall clock TIME (seconds)      = 0.057
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
7,4,474
            Wall clock TIME (seconds)      = 0.046
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
7,4,188
            Wall clock TIME (seconds)      = 0.053
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
7,4,7899
            Wall clock TIME (seconds)      = 0.079
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 5
7,4,9
            Wall clock TIME (seconds)      = 0.187
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 6
7,4,774
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
8,4,3455
            Wall clock TIME (seconds)      = 0.311
            CPU/machine TIME (seconds)     = 0.280
    total makespan           = 7
8,4,12
            Wall clock TIME (seconds)      = 18.762
            CPU/machine TIME (seconds)     = 18.710
    total makespan           = 13
8,4,45
            Wall clock TIME (seconds)      = 1.399
            CPU/machine TIME (seconds)     = 1.310
    total makespan           = 0
8,4,78
            Wall clock TIME (seconds)      = 0.165
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 5
8,4,8546
            Wall clock TIME (seconds)      = 0.531
            CPU/machine TIME (seconds)     = 0.480
    total makespan           = 7
8,4,474
            Wall clock TIME (seconds)      = 0.499
            CPU/machine TIME (seconds)     = 0.460
    total makespan           = 7
8,4,188
            Wall clock TIME (seconds)      = 0.287
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 6
8,4,7899
            Wall clock TIME (seconds)      = 1.731
            CPU/machine TIME (seconds)     = 1.640
    total makespan           = 0
8,4,9
            Wall clock TIME (seconds)      = 1.850
            CPU/machine TIME (seconds)     = 1.810
    total makespan           = 8
8,4,774
            Wall clock TIME (seconds)      = 0.301
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 6
9,4,3455
            Wall clock TIME (seconds)      = 2.677
            CPU/machine TIME (seconds)     = 2.630
    total makespan           = 9
9,4,12
            Wall clock TIME (seconds)      = 110.880
            CPU/machine TIME (seconds)     = 110.800
    total makespan           = 0
9,4,45
            Wall clock TIME (seconds)      = 1.630
            CPU/machine TIME (seconds)     = 1.540
    total makespan           = 0
9,4,78
            Wall clock TIME (seconds)      = 0.470
            CPU/machine TIME (seconds)     = 0.440
    total makespan           = 6
9,4,8546
            Wall clock TIME (seconds)      = 3.976
            CPU/machine TIME (seconds)     = 3.920
    total makespan           = 8
9,4,474
            Wall clock TIME (seconds)      = 0.502
            CPU/machine TIME (seconds)     = 0.450
    total makespan           = 7
9,4,188
            Wall clock TIME (seconds)      = 0.337
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 6
9,4,7899
            Wall clock TIME (seconds)      = 2.037
            CPU/machine TIME (seconds)     = 1.930
    total makespan           = 0
9,4,9
            Wall clock TIME (seconds)      = 90.856
            CPU/machine TIME (seconds)     = 90.790
    total makespan           = 11
9,4,774
            Wall clock TIME (seconds)      = 0.903
            CPU/machine TIME (seconds)     = 0.860
    total makespan           = 7