1,1,3455
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 5
1,1,12
            Wall clock TIME (seconds)      = 0.006
            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.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
1,1,8546
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
1,1,474
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,1,188
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,1,7899
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,1,9
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
1,1,774
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,1,3455
            Wall clock TIME (seconds)      = 0.025
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
2,1,12
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,1,45
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,1,78
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,1,8546
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,1,474
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,1,188
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,1,7899
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,1,9
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,1,774
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,1,3455
            Wall clock TIME (seconds)      = 0.021
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,1,12
            Wall clock TIME (seconds)      = 0.065
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 6
3,1,45
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,1,78
            Wall clock TIME (seconds)      = 0.024
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,1,8546
            Wall clock TIME (seconds)      = 0.024
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,1,474
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,1,188
            Wall clock TIME (seconds)      = 0.023
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
3,1,7899
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,1,9
            Wall clock TIME (seconds)      = 0.021
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,1,774
            Wall clock TIME (seconds)      = 0.023
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,1,3455
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
4,1,12
            Wall clock TIME (seconds)      = 0.166
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 9
4,1,45
            Wall clock TIME (seconds)      = 0.023
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,1,78
            Wall clock TIME (seconds)      = 0.038
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
4,1,8546
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,1,474
            Wall clock TIME (seconds)      = 0.039
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
4,1,188
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
4,1,7899
            Wall clock TIME (seconds)      = 0.046
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
4,1,9
            Wall clock TIME (seconds)      = 0.024
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,1,774
            Wall clock TIME (seconds)      = 0.058
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 5
5,1,3455
            Wall clock TIME (seconds)      = 0.091
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 5
5,1,12
            Wall clock TIME (seconds)      = 0.050
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,1,45
            Wall clock TIME (seconds)      = 0.141
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 7
5,1,78
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,1,8546
            Wall clock TIME (seconds)      = 0.051
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,1,474
            Wall clock TIME (seconds)      = 0.079
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 5
5,1,188
            Wall clock TIME (seconds)      = 0.112
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 6
5,1,7899
            Wall clock TIME (seconds)      = 0.053
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,1,9
            Wall clock TIME (seconds)      = 0.154
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 7
5,1,774
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
6,1,3455
            Wall clock TIME (seconds)      = 0.115
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 5
6,1,12
            Wall clock TIME (seconds)      = 0.697
            CPU/machine TIME (seconds)     = 0.650
    total makespan           = 9
6,1,45
            Wall clock TIME (seconds)      = 0.181
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 7
6,1,78
            Wall clock TIME (seconds)      = 0.100
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 5
6,1,8546
            Wall clock TIME (seconds)      = 0.183
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 6
6,1,474
            Wall clock TIME (seconds)      = 0.070
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 4
6,1,188
            Wall clock TIME (seconds)      = 0.071
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 4
6,1,7899
            Wall clock TIME (seconds)      = 0.071
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 4
6,1,9
            Wall clock TIME (seconds)      = 0.138
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 6
6,1,774
            Wall clock TIME (seconds)      = 0.074
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 4
7,1,3455
            Wall clock TIME (seconds)      = 0.210
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 6
7,1,12
            Wall clock TIME (seconds)      = 0.914
            CPU/machine TIME (seconds)     = 0.860
    total makespan           = 10
7,1,45
            Wall clock TIME (seconds)      = 0.313
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 8
7,1,78
            Wall clock TIME (seconds)      = 0.262
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 6
7,1,8546
            Wall clock TIME (seconds)      = 0.183
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 6
7,1,474
            Wall clock TIME (seconds)      = 0.194
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 6
7,1,188
            Wall clock TIME (seconds)      = 0.574
            CPU/machine TIME (seconds)     = 0.530
    total makespan           = 8
7,1,7899
            Wall clock TIME (seconds)      = 0.152
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 5
7,1,9
            Wall clock TIME (seconds)      = 1.104
            CPU/machine TIME (seconds)     = 1.060
    total makespan           = 9
7,1,774
            Wall clock TIME (seconds)      = 0.225
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 6
8,1,3455
            Wall clock TIME (seconds)      = 0.696
            CPU/machine TIME (seconds)     = 0.650
    total makespan           = 8
8,1,12
            Wall clock TIME (seconds)      = 5.972
            CPU/machine TIME (seconds)     = 5.910
    total makespan           = 12
8,1,45
            Wall clock TIME (seconds)      = 0.535
            CPU/machine TIME (seconds)     = 0.490
    total makespan           = 9
8,1,78
            Wall clock TIME (seconds)      = 0.148
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 5
8,1,8546
            Wall clock TIME (seconds)      = 0.359
            CPU/machine TIME (seconds)     = 0.310
    total makespan           = 7
8,1,474
            Wall clock TIME (seconds)      = 0.198
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 6
8,1,188
            Wall clock TIME (seconds)      = 0.405
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 6
8,1,7899
            Wall clock TIME (seconds)      = 0.387
            CPU/machine TIME (seconds)     = 0.350
    total makespan           = 6
8,1,9
            Wall clock TIME (seconds)      = 0.545
            CPU/machine TIME (seconds)     = 0.500
    total makespan           = 7
8,1,774
            Wall clock TIME (seconds)      = 0.252
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 6
9,1,3455
            Wall clock TIME (seconds)      = 2.806
            CPU/machine TIME (seconds)     = 2.770
    total makespan           = 8
9,1,12
            Wall clock TIME (seconds)      = 66.916
            CPU/machine TIME (seconds)     = 66.840
    total makespan           = 13
9,1,45
            Wall clock TIME (seconds)      = 1.926
            CPU/machine TIME (seconds)     = 1.830
    total makespan           = 0
9,1,78
            Wall clock TIME (seconds)      = 1.969
            CPU/machine TIME (seconds)     = 1.920
    total makespan           = 8
9,1,8546
            Wall clock TIME (seconds)      = 1.457
            CPU/machine TIME (seconds)     = 1.410
    total makespan           = 9
9,1,474
            Wall clock TIME (seconds)      = 1.615
            CPU/machine TIME (seconds)     = 1.570
    total makespan           = 9
9,1,188
            Wall clock TIME (seconds)      = 2.940
            CPU/machine TIME (seconds)     = 2.890
    total makespan           = 8
9,1,7899
            Wall clock TIME (seconds)      = 0.481
            CPU/machine TIME (seconds)     = 0.440
    total makespan           = 6
9,1,9
            Wall clock TIME (seconds)      = 6.742
            CPU/machine TIME (seconds)     = 6.670
    total makespan           = 12
9,1,774
            Wall clock TIME (seconds)      = 0.714
            CPU/machine TIME (seconds)     = 0.680
    total makespan           = 7
1,2,3455
            Wall clock TIME (seconds)      = 0.015
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
1,2,12
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,2,45
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,2,78
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
1,2,8546
            Wall clock TIME (seconds)      = 0.004
            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.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,2,7899
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,2,9
            Wall clock TIME (seconds)      = 0.003
            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           = 2
2,2,3455
            Wall clock TIME (seconds)      = 0.014
            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           = 3
2,2,45
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,2,78
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,2,8546
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,2,474
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,2,188
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,2,7899
            Wall clock TIME (seconds)      = 0.009
            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.021
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
3,2,3455
            Wall clock TIME (seconds)      = 0.027
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
3,2,12
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
3,2,45
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,2,78
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
3,2,8546
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,2,474
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,2,188
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,2,7899
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,2,9
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,2,774
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
4,2,3455
            Wall clock TIME (seconds)      = 0.038
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,2,12
            Wall clock TIME (seconds)      = 0.846
            CPU/machine TIME (seconds)     = 0.760
    total makespan           = 0
4,2,45
            Wall clock TIME (seconds)      = 0.673
            CPU/machine TIME (seconds)     = 0.590
    total makespan           = 0
4,2,78
            Wall clock TIME (seconds)      = 0.058
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
4,2,8546
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
4,2,474
            Wall clock TIME (seconds)      = 0.043
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,2,188
            Wall clock TIME (seconds)      = 0.027
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
4,2,7899
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,2,9
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
4,2,774
            Wall clock TIME (seconds)      = 0.028
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
5,2,3455
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
5,2,12
            Wall clock TIME (seconds)      = 0.097
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 6
5,2,45
            Wall clock TIME (seconds)      = 0.046
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,2,78
            Wall clock TIME (seconds)      = 0.054
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
5,2,8546
            Wall clock TIME (seconds)      = 0.057
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
5,2,474
            Wall clock TIME (seconds)      = 0.102
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 6
5,2,188
            Wall clock TIME (seconds)      = 0.038
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
5,2,7899
            Wall clock TIME (seconds)      = 0.035
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
5,2,9
            Wall clock TIME (seconds)      = 0.130
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 6
5,2,774
            Wall clock TIME (seconds)      = 0.063
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
6,2,3455
            Wall clock TIME (seconds)      = 1.480
            CPU/machine TIME (seconds)     = 1.380
    total makespan           = 0
6,2,12
            Wall clock TIME (seconds)      = 0.084
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 5
6,2,45
            Wall clock TIME (seconds)      = 1.189
            CPU/machine TIME (seconds)     = 1.090
    total makespan           = 0
6,2,78
            Wall clock TIME (seconds)      = 0.107
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 5
6,2,8546
            Wall clock TIME (seconds)      = 0.070
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 4
6,2,474
            Wall clock TIME (seconds)      = 0.066
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 4
6,2,188
            Wall clock TIME (seconds)      = 0.070
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 4
6,2,7899
            Wall clock TIME (seconds)      = 0.124
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 5
6,2,9
            Wall clock TIME (seconds)      = 0.172
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 6
6,2,774
            Wall clock TIME (seconds)      = 0.099
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 5
7,2,3455
            Wall clock TIME (seconds)      = 0.289
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 6
7,2,12
            Wall clock TIME (seconds)      = 0.531
            CPU/machine TIME (seconds)     = 0.480
    total makespan           = 8
7,2,45
            Wall clock TIME (seconds)      = 0.247
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 7
7,2,78
            Wall clock TIME (seconds)      = 0.151
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 5
7,2,8546
            Wall clock TIME (seconds)      = 0.143
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 5
7,2,474
            Wall clock TIME (seconds)      = 1.847
            CPU/machine TIME (seconds)     = 1.750
    total makespan           = 0
7,2,188
            Wall clock TIME (seconds)      = 0.290
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 6
7,2,7899
            Wall clock TIME (seconds)      = 0.196
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 6
7,2,9
            Wall clock TIME (seconds)      = 0.290
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 7
7,2,774
            Wall clock TIME (seconds)      = 0.097
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 4
8,2,3455
            Wall clock TIME (seconds)      = 0.347
            CPU/machine TIME (seconds)     = 0.310
    total makespan           = 6
8,2,12
            Wall clock TIME (seconds)      = 2.419
            CPU/machine TIME (seconds)     = 2.360
    total makespan           = 11
8,2,45
            Wall clock TIME (seconds)      = 1.667
            CPU/machine TIME (seconds)     = 1.580
    total makespan           = 0
8,2,78
            Wall clock TIME (seconds)      = 0.191
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
8,2,8546
            Wall clock TIME (seconds)      = 0.895
            CPU/machine TIME (seconds)     = 0.860
    total makespan           = 7
8,2,474
            Wall clock TIME (seconds)      = 2.019
            CPU/machine TIME (seconds)     = 1.920
    total makespan           = 0
8,2,188
            Wall clock TIME (seconds)      = 0.197
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
8,2,7899
            Wall clock TIME (seconds)      = 2.016
            CPU/machine TIME (seconds)     = 1.920
    total makespan           = 0
8,2,9
            Wall clock TIME (seconds)      = 6.080
            CPU/machine TIME (seconds)     = 6.020
    total makespan           = 10
8,2,774
            Wall clock TIME (seconds)      = 0.432
            CPU/machine TIME (seconds)     = 0.390
    total makespan           = 7
9,2,3455
            Wall clock TIME (seconds)      = 2.377
            CPU/machine TIME (seconds)     = 2.340
    total makespan           = 7
9,2,12
            Wall clock TIME (seconds)      = 2.111
            CPU/machine TIME (seconds)     = 2.020
    total makespan           = 0
9,2,45
            Wall clock TIME (seconds)      = 1.280
            CPU/machine TIME (seconds)     = 1.230
    total makespan           = 10
9,2,78
            Wall clock TIME (seconds)      = 2.337
            CPU/machine TIME (seconds)     = 2.230
    total makespan           = 0
9,2,8546
            Wall clock TIME (seconds)      = 0.724
            CPU/machine TIME (seconds)     = 0.690
    total makespan           = 8
9,2,474
            Wall clock TIME (seconds)      = 2.337
            CPU/machine TIME (seconds)     = 2.230
    total makespan           = 0
9,2,188
            Wall clock TIME (seconds)      = 0.711
            CPU/machine TIME (seconds)     = 0.680
    total makespan           = 7
9,2,7899
            Wall clock TIME (seconds)      = 2.316
            CPU/machine TIME (seconds)     = 2.210
    total makespan           = 0
9,2,9
            Wall clock TIME (seconds)      = 72.156
            CPU/machine TIME (seconds)     = 72.090
    total makespan           = 14
9,2,774
            Wall clock TIME (seconds)      = 1.222
            CPU/machine TIME (seconds)     = 1.180
    total makespan           = 8
1,3,3455
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 4
1,3,12
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,3,45
            Wall clock TIME (seconds)      = 0.008
            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           = 3
1,3,8546
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 0
1,3,474
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,3,188
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,3,7899
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,3,9
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,3,774
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,3,3455
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,3,12
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,3,45
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,3,78
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,3,8546
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,3,474
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,3,188
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,3,7899
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,3,9
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,3,774
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,3,3455
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,3,12
            Wall clock TIME (seconds)      = 0.032
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
3,3,45
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,3,78
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,3,8546
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
3,3,474
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,3,188
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,3,7899
            Wall clock TIME (seconds)      = 0.015
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,3,9
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,3,774
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
4,3,3455
            Wall clock TIME (seconds)      = 0.043
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
4,3,12
            Wall clock TIME (seconds)      = 0.039
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,3,45
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 5
4,3,78
            Wall clock TIME (seconds)      = 0.062
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 5
4,3,8546
            Wall clock TIME (seconds)      = 0.046
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
4,3,474
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
4,3,188
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
4,3,7899
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
4,3,9
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
4,3,774
            Wall clock TIME (seconds)      = 0.045
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 4
5,3,3455
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 2
5,3,12
            Wall clock TIME (seconds)      = 0.119
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 6
5,3,45
            Wall clock TIME (seconds)      = 0.048
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,3,78
            Wall clock TIME (seconds)      = 0.056
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
5,3,8546
            Wall clock TIME (seconds)      = 0.035
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
5,3,474
            Wall clock TIME (seconds)      = 0.054
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
5,3,188
            Wall clock TIME (seconds)      = 0.034
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 3
5,3,7899
            Wall clock TIME (seconds)      = 0.021
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
5,3,9
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
5,3,774
            Wall clock TIME (seconds)      = 0.035
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
6,3,3455
            Wall clock TIME (seconds)      = 0.073
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 4
6,3,12
            Wall clock TIME (seconds)      = 0.086
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 5
6,3,45
            Wall clock TIME (seconds)      = 0.213
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 7
6,3,78
            Wall clock TIME (seconds)      = 0.199
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 6
6,3,8546
            Wall clock TIME (seconds)      = 0.112
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 5
6,3,474
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
6,3,188
            Wall clock TIME (seconds)      = 0.069
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 4
6,3,7899
            Wall clock TIME (seconds)      = 0.046
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 3
6,3,9
            Wall clock TIME (seconds)      = 0.114
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 5
6,3,774
            Wall clock TIME (seconds)      = 0.072
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 4
7,3,3455
            Wall clock TIME (seconds)      = 0.081
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 4
7,3,12
            Wall clock TIME (seconds)      = 0.680
            CPU/machine TIME (seconds)     = 0.630
    total makespan           = 8
7,3,45
            Wall clock TIME (seconds)      = 1.401
            CPU/machine TIME (seconds)     = 1.310
    total makespan           = 0
7,3,78
            Wall clock TIME (seconds)      = 0.117
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 5
7,3,8546
            Wall clock TIME (seconds)      = 0.150
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 5
7,3,474
            Wall clock TIME (seconds)      = 0.131
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 5
7,3,188
            Wall clock TIME (seconds)      = 0.107
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 4
7,3,7899
            Wall clock TIME (seconds)      = 0.157
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 5
7,3,9
            Wall clock TIME (seconds)      = 0.200
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 6
7,3,774
            Wall clock TIME (seconds)      = 0.047
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 3
8,3,3455
            Wall clock TIME (seconds)      = 0.060
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 3
8,3,12
            Wall clock TIME (seconds)      = 0.417
            CPU/machine TIME (seconds)     = 0.380
    total makespan           = 7
8,3,45
            Wall clock TIME (seconds)      = 1.752
            CPU/machine TIME (seconds)     = 1.650
    total makespan           = 0
8,3,78
            Wall clock TIME (seconds)      = 0.673
            CPU/machine TIME (seconds)     = 0.630
    total makespan           = 7
8,3,8546
            Wall clock TIME (seconds)      = 0.649
            CPU/machine TIME (seconds)     = 0.610
    total makespan           = 7
8,3,474
            Wall clock TIME (seconds)      = 0.095
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 4
8,3,188
            Wall clock TIME (seconds)      = 0.147
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
8,3,7899
            Wall clock TIME (seconds)      = 0.187
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
8,3,9
            Wall clock TIME (seconds)      = 1.300
            CPU/machine TIME (seconds)     = 1.250
    total makespan           = 8
8,3,774
            Wall clock TIME (seconds)      = 0.256
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 6
9,3,3455
            Wall clock TIME (seconds)      = 10.451
            CPU/machine TIME (seconds)     = 10.400
    total makespan           = 9
9,3,12
            Wall clock TIME (seconds)      = 114.163
            CPU/machine TIME (seconds)     = 114.100
    total makespan           = 0
9,3,45
            Wall clock TIME (seconds)      = 2.079
            CPU/machine TIME (seconds)     = 1.970
    total makespan           = 0
9,3,78
            Wall clock TIME (seconds)      = 2.382
            CPU/machine TIME (seconds)     = 2.270
    total makespan           = 0
9,3,8546
            Wall clock TIME (seconds)      = 1.029
            CPU/machine TIME (seconds)     = 0.990
    total makespan           = 7
9,3,474
            Wall clock TIME (seconds)      = 0.327
            CPU/machine TIME (seconds)     = 0.280
    total makespan           = 6
9,3,188
            Wall clock TIME (seconds)      = 0.564
            CPU/machine TIME (seconds)     = 0.520
    total makespan           = 6
9,3,7899
            Wall clock TIME (seconds)      = 2.707
            CPU/machine TIME (seconds)     = 2.660
    total makespan           = 8
9,3,9
            Wall clock TIME (seconds)      = 102.088
            CPU/machine TIME (seconds)     = 102.020
    total makespan           = 0
9,3,774
            Wall clock TIME (seconds)      = 0.232
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
1,4,3455
            Wall clock TIME (seconds)      = 0.018
            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.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
1,4,78
            Wall clock TIME (seconds)      = 0.004
            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.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,4,188
            Wall clock TIME (seconds)      = 0.003
            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.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
1,4,774
            Wall clock TIME (seconds)      = 0.003
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,4,3455
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,4,12
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
2,4,45
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
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.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,4,474
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
2,4,188
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
2,4,7899
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
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.008
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,3455
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,12
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
3,4,45
            Wall clock TIME (seconds)      = 0.010
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,78
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,8546
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,4,474
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,188
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
3,4,7899
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 3
3,4,9
            Wall clock TIME (seconds)      = 0.028
            CPU/machine TIME (seconds)     = 0.010
    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.025
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
4,4,12
            Wall clock TIME (seconds)      = 0.036
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
4,4,45
            Wall clock TIME (seconds)      = 0.677
            CPU/machine TIME (seconds)     = 0.600
    total makespan           = 0
4,4,78
            Wall clock TIME (seconds)      = 0.038
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
4,4,8546
            Wall clock TIME (seconds)      = 0.025
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
4,4,474
            Wall clock TIME (seconds)      = 0.025
            CPU/machine TIME (seconds)     = 0.010
    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.014
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
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.025
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
5,4,3455
            Wall clock TIME (seconds)      = 0.047
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,4,12
            Wall clock TIME (seconds)      = 0.029
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
5,4,45
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 2
5,4,78
            Wall clock TIME (seconds)      = 0.032
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
5,4,8546
            Wall clock TIME (seconds)      = 0.030
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 3
5,4,474
            Wall clock TIME (seconds)      = 0.050
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,4,188
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 2
5,4,7899
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 4
5,4,9
            Wall clock TIME (seconds)      = 0.117
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 6
5,4,774
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 3
6,4,3455
            Wall clock TIME (seconds)      = 0.071
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 4
6,4,12
            Wall clock TIME (seconds)      = 0.158
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 6
6,4,45
            Wall clock TIME (seconds)      = 0.083
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 5
6,4,78
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.000
    total makespan           = 1
6,4,8546
            Wall clock TIME (seconds)      = 0.128
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 5
6,4,474
            Wall clock TIME (seconds)      = 0.039
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 3
6,4,188
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 3
6,4,7899
            Wall clock TIME (seconds)      = 0.068
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 4
6,4,9
            Wall clock TIME (seconds)      = 0.063
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 4
6,4,774
            Wall clock TIME (seconds)      = 0.070
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 4
7,4,3455
            Wall clock TIME (seconds)      = 0.605
            CPU/machine TIME (seconds)     = 0.580
    total makespan           = 8
7,4,12
            Wall clock TIME (seconds)      = 0.624
            CPU/machine TIME (seconds)     = 0.580
    total makespan           = 9
7,4,45
            Wall clock TIME (seconds)      = 0.108
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 5
7,4,78
            Wall clock TIME (seconds)      = 0.087
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 4
7,4,8546
            Wall clock TIME (seconds)      = 0.076
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 4
7,4,474
            Wall clock TIME (seconds)      = 0.079
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 4
7,4,188
            Wall clock TIME (seconds)      = 0.079
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 4
7,4,7899
            Wall clock TIME (seconds)      = 0.136
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 5
7,4,9
            Wall clock TIME (seconds)      = 0.269
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 6
7,4,774
            Wall clock TIME (seconds)      = 0.025
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 2
8,4,3455
            Wall clock TIME (seconds)      = 0.370
            CPU/machine TIME (seconds)     = 0.340
    total makespan           = 7
8,4,12
            Wall clock TIME (seconds)      = 41.695
            CPU/machine TIME (seconds)     = 41.640
    total makespan           = 13
8,4,45
            Wall clock TIME (seconds)      = 1.640
            CPU/machine TIME (seconds)     = 1.550
    total makespan           = 0
8,4,78
            Wall clock TIME (seconds)      = 0.099
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 4
8,4,8546
            Wall clock TIME (seconds)      = 0.352
            CPU/machine TIME (seconds)     = 0.310
    total makespan           = 6
8,4,474
            Wall clock TIME (seconds)      = 0.838
            CPU/machine TIME (seconds)     = 0.790
    total makespan           = 7
8,4,188
            Wall clock TIME (seconds)      = 0.703
            CPU/machine TIME (seconds)     = 0.670
    total makespan           = 6
8,4,7899
            Wall clock TIME (seconds)      = 1.948
            CPU/machine TIME (seconds)     = 1.860
    total makespan           = 0
8,4,9
            Wall clock TIME (seconds)      = 2.593
            CPU/machine TIME (seconds)     = 2.540
    total makespan           = 8
8,4,774
            Wall clock TIME (seconds)      = 0.256
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 5
9,4,3455
            Wall clock TIME (seconds)      = 2.642
            CPU/machine TIME (seconds)     = 2.600
    total makespan           = 9
9,4,12
            Wall clock TIME (seconds)      = 92.840
            CPU/machine TIME (seconds)     = 92.790
    total makespan           = 0
9,4,45
            Wall clock TIME (seconds)      = 8.869
            CPU/machine TIME (seconds)     = 8.790
    total makespan           = 14
9,4,78
            Wall clock TIME (seconds)      = 0.324
            CPU/machine TIME (seconds)     = 0.290
    total makespan           = 5
9,4,8546
            Wall clock TIME (seconds)      = 6.164
            CPU/machine TIME (seconds)     = 6.130
    total makespan           = 8
9,4,474
            Wall clock TIME (seconds)      = 0.711
            CPU/machine TIME (seconds)     = 0.680
    total makespan           = 7
9,4,188
            Wall clock TIME (seconds)      = 0.334
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 5
9,4,7899
            Wall clock TIME (seconds)      = 2.305
            CPU/machine TIME (seconds)     = 2.200
    total makespan           = 0
9,4,9
            Wall clock TIME (seconds)      = 86.187
            CPU/machine TIME (seconds)     = 86.130
    total makespan           = 11
9,4,774
            Wall clock TIME (seconds)      = 1.644
            CPU/machine TIME (seconds)     = 1.610
    total makespan           = 7