1,1,3455
            Wall clock TIME (seconds)      = 0.057
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
1,1,12
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,1,45
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,1,78
            Wall clock TIME (seconds)      = 0.039
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
1,1,8546
            Wall clock TIME (seconds)      = 0.038
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
1,1,474
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 2
1,1,188
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,1,7899
            Wall clock TIME (seconds)      = 0.027
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 3
1,1,9
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 4
1,1,774
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
2,1,3455
            Wall clock TIME (seconds)      = 0.048
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 4
2,1,12
            Wall clock TIME (seconds)      = 0.015
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
2,1,45
            Wall clock TIME (seconds)      = 0.754
            CPU/machine TIME (seconds)     = 0.950
    total makespan           = 0
2,1,78
            Wall clock TIME (seconds)      = 0.085
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 5
2,1,8546
            Wall clock TIME (seconds)      = 0.056
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 4
2,1,474
            Wall clock TIME (seconds)      = 0.060
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 4
2,1,188
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
2,1,7899
            Wall clock TIME (seconds)      = 0.035
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 3
2,1,9
            Wall clock TIME (seconds)      = 0.062
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 5
2,1,774
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 4
3,1,3455
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 3
3,1,12
            Wall clock TIME (seconds)      = 0.140
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 7
3,1,45
            Wall clock TIME (seconds)      = 0.043
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 4
3,1,78
            Wall clock TIME (seconds)      = 0.069
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
3,1,8546
            Wall clock TIME (seconds)      = 0.062
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 4
3,1,474
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,1,188
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
3,1,7899
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,1,9
            Wall clock TIME (seconds)      = 0.051
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 4
3,1,774
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 3
4,1,3455
            Wall clock TIME (seconds)      = 0.119
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
4,1,12
            Wall clock TIME (seconds)      = 0.370
            CPU/machine TIME (seconds)     = 0.480
    total makespan           = 9
4,1,45
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
4,1,78
            Wall clock TIME (seconds)      = 0.078
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
4,1,8546
            Wall clock TIME (seconds)      = 0.085
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
4,1,474
            Wall clock TIME (seconds)      = 0.083
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
4,1,188
            Wall clock TIME (seconds)      = 0.101
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
4,1,7899
            Wall clock TIME (seconds)      = 0.186
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 5
4,1,9
            Wall clock TIME (seconds)      = 0.140
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
4,1,774
            Wall clock TIME (seconds)      = 0.160
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
5,1,3455
            Wall clock TIME (seconds)      = 0.294
            CPU/machine TIME (seconds)     = 0.360
    total makespan           = 6
5,1,12
            Wall clock TIME (seconds)      = 0.142
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 6
5,1,45
            Wall clock TIME (seconds)      = 1.005
            CPU/machine TIME (seconds)     = 1.280
    total makespan           = 0
5,1,78
            Wall clock TIME (seconds)      = 0.151
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 5
5,1,8546
            Wall clock TIME (seconds)      = 0.229
            CPU/machine TIME (seconds)     = 0.290
    total makespan           = 6
5,1,474
            Wall clock TIME (seconds)      = 0.397
            CPU/machine TIME (seconds)     = 0.470
    total makespan           = 7
5,1,188
            Wall clock TIME (seconds)      = 0.315
            CPU/machine TIME (seconds)     = 0.390
    total makespan           = 6
5,1,7899
            Wall clock TIME (seconds)      = 0.153
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 4
5,1,9
            Wall clock TIME (seconds)      = 0.635
            CPU/machine TIME (seconds)     = 0.740
    total makespan           = 8
5,1,774
            Wall clock TIME (seconds)      = 0.157
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 5
6,1,3455
            Wall clock TIME (seconds)      = 0.176
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 5
6,1,12
            Wall clock TIME (seconds)      = 7.355
            CPU/machine TIME (seconds)     = 7.490
    total makespan           = 9
6,1,45
            Wall clock TIME (seconds)      = 1.028
            CPU/machine TIME (seconds)     = 1.370
    total makespan           = 0
6,1,78
            Wall clock TIME (seconds)      = 0.526
            CPU/machine TIME (seconds)     = 0.620
    total makespan           = 6
6,1,8546
            Wall clock TIME (seconds)      = 0.746
            CPU/machine TIME (seconds)     = 0.810
    total makespan           = 7
6,1,474
            Wall clock TIME (seconds)      = 0.451
            CPU/machine TIME (seconds)     = 0.540
    total makespan           = 6
6,1,188
            Wall clock TIME (seconds)      = 0.131
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 4
6,1,7899
            Wall clock TIME (seconds)      = 0.192
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 5
6,1,9
            Wall clock TIME (seconds)      = 0.245
            CPU/machine TIME (seconds)     = 0.330
    total makespan           = 6
6,1,774
            Wall clock TIME (seconds)      = 0.340
            CPU/machine TIME (seconds)     = 0.400
    total makespan           = 5
7,1,3455
            Wall clock TIME (seconds)      = 7.125
            CPU/machine TIME (seconds)     = 7.230
    total makespan           = 8
7,1,12
            Wall clock TIME (seconds)      = 115.733
            CPU/machine TIME (seconds)     = 115.870
    total makespan           = 0
7,1,45
            Wall clock TIME (seconds)      = 0.982
            CPU/machine TIME (seconds)     = 1.310
    total makespan           = 0
7,1,78
            Wall clock TIME (seconds)      = 5.124
            CPU/machine TIME (seconds)     = 5.220
    total makespan           = 7
7,1,8546
            Wall clock TIME (seconds)      = 0.380
            CPU/machine TIME (seconds)     = 0.460
    total makespan           = 6
7,1,474
            Wall clock TIME (seconds)      = 0.635
            CPU/machine TIME (seconds)     = 0.720
    total makespan           = 6
7,1,188
            Wall clock TIME (seconds)      = 63.251
            CPU/machine TIME (seconds)     = 63.360
    total makespan           = 8
7,1,7899
            Wall clock TIME (seconds)      = 6.840
            CPU/machine TIME (seconds)     = 6.940
    total makespan           = 7
7,1,9
            Wall clock TIME (seconds)      = 19.353
            CPU/machine TIME (seconds)     = 19.480
    total makespan           = 9
7,1,774
            Wall clock TIME (seconds)      = 0.581
            CPU/machine TIME (seconds)     = 0.670
    total makespan           = 6
8,1,3455
            Wall clock TIME (seconds)      = 63.749
            CPU/machine TIME (seconds)     = 63.830
    total makespan           = 0
8,1,12
            Wall clock TIME (seconds)      = 82.679
            CPU/machine TIME (seconds)     = 82.810
    total makespan           = 0
8,1,45
            Wall clock TIME (seconds)      = 1.316
            CPU/machine TIME (seconds)     = 1.630
    total makespan           = 0
8,1,78
            Wall clock TIME (seconds)      = 0.225
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 5
8,1,8546
            Wall clock TIME (seconds)      = 2.736
            CPU/machine TIME (seconds)     = 2.840
    total makespan           = 7
8,1,474
            Wall clock TIME (seconds)      = 0.924
            CPU/machine TIME (seconds)     = 1.010
    total makespan           = 6
8,1,188
            Wall clock TIME (seconds)      = 1.968
            CPU/machine TIME (seconds)     = 2.060
    total makespan           = 7
8,1,7899
            Wall clock TIME (seconds)      = 1.646
            CPU/machine TIME (seconds)     = 1.730
    total makespan           = 6
8,1,9
            Wall clock TIME (seconds)      = 22.284
            CPU/machine TIME (seconds)     = 22.400
    total makespan           = 9
8,1,774
            Wall clock TIME (seconds)      = 1.077
            CPU/machine TIME (seconds)     = 1.170
    total makespan           = 7
9,1,3455
            Wall clock TIME (seconds)      = 60.791
            CPU/machine TIME (seconds)     = 60.880
    total makespan           = 8
9,1,12
            Wall clock TIME (seconds)      = 125.795
            CPU/machine TIME (seconds)     = 125.940
    total makespan           = 0
9,1,45
            Wall clock TIME (seconds)      = 1.298
            CPU/machine TIME (seconds)     = 1.610
    total makespan           = 0
9,1,78
            Wall clock TIME (seconds)      = 73.309
            CPU/machine TIME (seconds)     = 73.420
    total makespan           = 9
9,1,8546
            Wall clock TIME (seconds)      = 70.673
            CPU/machine TIME (seconds)     = 70.780
    total makespan           = 0
9,1,474
            Wall clock TIME (seconds)      = 54.427
            CPU/machine TIME (seconds)     = 54.470
    total makespan           = 9
9,1,188
            Wall clock TIME (seconds)      = 61.904
            CPU/machine TIME (seconds)     = 62.000
    total makespan           = 0
9,1,7899
            Wall clock TIME (seconds)      = 2.465
            CPU/machine TIME (seconds)     = 2.560
    total makespan           = 6
9,1,9
            Wall clock TIME (seconds)      = 96.520
            CPU/machine TIME (seconds)     = 96.580
    total makespan           = 0
9,1,774
            Wall clock TIME (seconds)      = 62.516
            CPU/machine TIME (seconds)     = 62.570
    total makespan           = 0
1,2,3455
            Wall clock TIME (seconds)      = 0.124
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
1,2,12
            Wall clock TIME (seconds)      = 0.051
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,2,45
            Wall clock TIME (seconds)      = 0.051
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,2,78
            Wall clock TIME (seconds)      = 0.145
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
1,2,8546
            Wall clock TIME (seconds)      = 0.030
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 0
1,2,474
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,2,188
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,2,7899
            Wall clock TIME (seconds)      = 0.030
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,2,9
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,2,774
            Wall clock TIME (seconds)      = 0.093
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,2,3455
            Wall clock TIME (seconds)      = 0.103
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,2,12
            Wall clock TIME (seconds)      = 0.180
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
2,2,45
            Wall clock TIME (seconds)      = 1.550
            CPU/machine TIME (seconds)     = 1.110
    total makespan           = 0
2,2,78
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
2,2,8546
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,2,474
            Wall clock TIME (seconds)      = 0.186
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
2,2,188
            Wall clock TIME (seconds)      = 0.042
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
2,2,7899
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
2,2,9
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,2,774
            Wall clock TIME (seconds)      = 0.277
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 6
3,2,3455
            Wall clock TIME (seconds)      = 0.119
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,2,12
            Wall clock TIME (seconds)      = 0.215
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 6
3,2,45
            Wall clock TIME (seconds)      = 1.639
            CPU/machine TIME (seconds)     = 1.100
    total makespan           = 0
3,2,78
            Wall clock TIME (seconds)      = 0.141
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
3,2,8546
            Wall clock TIME (seconds)      = 0.076
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 3
3,2,474
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
3,2,188
            Wall clock TIME (seconds)      = 0.042
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
3,2,7899
            Wall clock TIME (seconds)      = 0.083
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,2,9
            Wall clock TIME (seconds)      = 0.084
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,2,774
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
4,2,3455
            Wall clock TIME (seconds)      = 0.173
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
4,2,12
            Wall clock TIME (seconds)      = 30.391
            CPU/machine TIME (seconds)     = 23.930
    total makespan           = 0
4,2,45
            Wall clock TIME (seconds)      = 12.275
            CPU/machine TIME (seconds)     = 11.650
    total makespan           = 0
4,2,78
            Wall clock TIME (seconds)      = 0.258
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 5
4,2,8546
            Wall clock TIME (seconds)      = 0.251
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
4,2,474
            Wall clock TIME (seconds)      = 0.205
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 4
4,2,188
            Wall clock TIME (seconds)      = 0.087
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
4,2,7899
            Wall clock TIME (seconds)      = 0.410
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 5
4,2,9
            Wall clock TIME (seconds)      = 0.085
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
4,2,774
            Wall clock TIME (seconds)      = 0.218
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
5,2,3455
            Wall clock TIME (seconds)      = 0.206
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
5,2,12
            Wall clock TIME (seconds)      = 0.422
            CPU/machine TIME (seconds)     = 0.330
    total makespan           = 6
5,2,45
            Wall clock TIME (seconds)      = 0.998
            CPU/machine TIME (seconds)     = 1.320
    total makespan           = 0
5,2,78
            Wall clock TIME (seconds)      = 0.249
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 5
5,2,8546
            Wall clock TIME (seconds)      = 0.090
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
5,2,474
            Wall clock TIME (seconds)      = 0.747
            CPU/machine TIME (seconds)     = 0.470
    total makespan           = 6
5,2,188
            Wall clock TIME (seconds)      = 0.196
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 4
5,2,7899
            Wall clock TIME (seconds)      = 78.012
            CPU/machine TIME (seconds)     = 66.080
    total makespan           = 0
5,2,9
            Wall clock TIME (seconds)      = 0.287
            CPU/machine TIME (seconds)     = 0.320
    total makespan           = 6
5,2,774
            Wall clock TIME (seconds)      = 75.611
            CPU/machine TIME (seconds)     = 66.300
    total makespan           = 0
6,2,3455
            Wall clock TIME (seconds)      = 106.572
            CPU/machine TIME (seconds)     = 102.780
    total makespan           = 0
6,2,12
            Wall clock TIME (seconds)      = 0.228
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 5
6,2,45
            Wall clock TIME (seconds)      = 2.015
            CPU/machine TIME (seconds)     = 1.340
    total makespan           = 0
6,2,78
            Wall clock TIME (seconds)      = 0.601
            CPU/machine TIME (seconds)     = 0.400
    total makespan           = 6
6,2,8546
            Wall clock TIME (seconds)      = 0.710
            CPU/machine TIME (seconds)     = 0.440
    total makespan           = 6
6,2,474
            Wall clock TIME (seconds)      = 0.179
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 4
6,2,188
            Wall clock TIME (seconds)      = 0.329
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 4
6,2,7899
            Wall clock TIME (seconds)      = 0.385
            CPU/machine TIME (seconds)     = 0.360
    total makespan           = 5
6,2,9
            Wall clock TIME (seconds)      = 0.901
            CPU/machine TIME (seconds)     = 0.720
    total makespan           = 6
6,2,774
            Wall clock TIME (seconds)      = 86.671
            CPU/machine TIME (seconds)     = 65.240
    total makespan           = 0
7,2,3455
            Wall clock TIME (seconds)      = 70.490
            CPU/machine TIME (seconds)     = 61.610
    total makespan           = 8
7,2,12
            Wall clock TIME (seconds)      = 93.654
            CPU/machine TIME (seconds)     = 77.060
    total makespan           = 0
7,2,45
            Wall clock TIME (seconds)      = 1.970
            CPU/machine TIME (seconds)     = 1.330
    total makespan           = 0
7,2,78
            Wall clock TIME (seconds)      = 3.318
            CPU/machine TIME (seconds)     = 3.020
    total makespan           = 6
7,2,8546
            Wall clock TIME (seconds)      = 93.013
            CPU/machine TIME (seconds)     = 85.560
    total makespan           = 0
7,2,474
            Wall clock TIME (seconds)      = 86.420
            CPU/machine TIME (seconds)     = 72.180
    total makespan           = 0
7,2,188
            Wall clock TIME (seconds)      = 0.640
            CPU/machine TIME (seconds)     = 0.590
    total makespan           = 6
7,2,7899
            Wall clock TIME (seconds)      = 117.089
            CPU/machine TIME (seconds)     = 106.160
    total makespan           = 0
7,2,9
            Wall clock TIME (seconds)      = 116.507
            CPU/machine TIME (seconds)     = 102.590
    total makespan           = 0
7,2,774
            Wall clock TIME (seconds)      = 2.737
            CPU/machine TIME (seconds)     = 2.280
    total makespan           = 6
8,2,3455
            Wall clock TIME (seconds)      = 103.364
            CPU/machine TIME (seconds)     = 99.800
    total makespan           = 0
8,2,12
            Wall clock TIME (seconds)      = 121.104
            CPU/machine TIME (seconds)     = 110.890
    total makespan           = 0
8,2,45
            Wall clock TIME (seconds)      = 2.547
            CPU/machine TIME (seconds)     = 1.630
    total makespan           = 0
8,2,78
            Wall clock TIME (seconds)      = 0.795
            CPU/machine TIME (seconds)     = 0.480
    total makespan           = 5
8,2,8546
            Wall clock TIME (seconds)      = 67.192
            CPU/machine TIME (seconds)     = 62.380
    total makespan           = 0
8,2,474
            Wall clock TIME (seconds)      = 87.724
            CPU/machine TIME (seconds)     = 84.790
    total makespan           = 0
8,2,188
            Wall clock TIME (seconds)      = 35.950
            CPU/machine TIME (seconds)     = 31.940
    total makespan           = 7
8,2,7899
            Wall clock TIME (seconds)      = 120.803
            CPU/machine TIME (seconds)     = 111.690
    total makespan           = 0
8,2,9
            Wall clock TIME (seconds)      = 96.408
            CPU/machine TIME (seconds)     = 87.100
    total makespan           = 0
8,2,774
            Wall clock TIME (seconds)      = 100.110
            CPU/machine TIME (seconds)     = 87.120
    total makespan           = 0
9,2,3455
            Wall clock TIME (seconds)      = 64.079
            CPU/machine TIME (seconds)     = 61.940
    total makespan           = 0
9,2,12
            Wall clock TIME (seconds)      = 99.775
            CPU/machine TIME (seconds)     = 85.040
    total makespan           = 0
9,2,45
            Wall clock TIME (seconds)      = 2.564
            CPU/machine TIME (seconds)     = 1.620
    total makespan           = 0
9,2,78
            Wall clock TIME (seconds)      = 64.549
            CPU/machine TIME (seconds)     = 61.550
    total makespan           = 0
9,2,8546
            Wall clock TIME (seconds)      = 110.142
            CPU/machine TIME (seconds)     = 98.050
    total makespan           = 0
9,2,474
            Wall clock TIME (seconds)      = 85.127
            CPU/machine TIME (seconds)     = 85.210
    total makespan           = 0
9,2,188
            Wall clock TIME (seconds)      = 36.201
            CPU/machine TIME (seconds)     = 36.280
    total makespan           = 8
9,2,7899
            Wall clock TIME (seconds)      = 71.492
            CPU/machine TIME (seconds)     = 71.620
    total makespan           = 0
9,2,9
            Wall clock TIME (seconds)      = 116.766
            CPU/machine TIME (seconds)     = 116.880
    total makespan           = 0
9,2,774
            Wall clock TIME (seconds)      = 66.547
            CPU/machine TIME (seconds)     = 66.640
    total makespan           = 0
1,3,3455
            Wall clock TIME (seconds)      = 0.112
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
1,3,12
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,3,45
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,3,78
            Wall clock TIME (seconds)      = 0.144
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
1,3,8546
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 0
1,3,474
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,3,188
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,3,7899
            Wall clock TIME (seconds)      = 0.091
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
1,3,9
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,3,774
            Wall clock TIME (seconds)      = 0.115
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
2,3,3455
            Wall clock TIME (seconds)      = 0.021
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
2,3,12
            Wall clock TIME (seconds)      = 0.084
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 3
2,3,45
            Wall clock TIME (seconds)      = 0.051
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,3,78
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,3,8546
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
2,3,474
            Wall clock TIME (seconds)      = 0.171
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
2,3,188
            Wall clock TIME (seconds)      = 0.086
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
2,3,7899
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
2,3,9
            Wall clock TIME (seconds)      = 0.082
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,3,774
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
3,3,3455
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
3,3,12
            Wall clock TIME (seconds)      = 0.116
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
3,3,45
            Wall clock TIME (seconds)      = 1.420
            CPU/machine TIME (seconds)     = 1.090
    total makespan           = 0
3,3,78
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
3,3,8546
            Wall clock TIME (seconds)      = 0.071
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,3,474
            Wall clock TIME (seconds)      = 0.097
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
3,3,188
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
3,3,7899
            Wall clock TIME (seconds)      = 0.129
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
3,3,9
            Wall clock TIME (seconds)      = 0.026
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 3
3,3,774
            Wall clock TIME (seconds)      = 0.053
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
4,3,3455
            Wall clock TIME (seconds)      = 0.243
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
4,3,12
            Wall clock TIME (seconds)      = 0.725
            CPU/machine TIME (seconds)     = 0.460
    total makespan           = 9
4,3,45
            Wall clock TIME (seconds)      = 1.934
            CPU/machine TIME (seconds)     = 1.350
    total makespan           = 0
4,3,78
            Wall clock TIME (seconds)      = 0.320
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
4,3,8546
            Wall clock TIME (seconds)      = 0.264
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 5
4,3,474
            Wall clock TIME (seconds)      = 0.117
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
4,3,188
            Wall clock TIME (seconds)      = 0.154
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
4,3,7899
            Wall clock TIME (seconds)      = 0.273
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 5
4,3,9
            Wall clock TIME (seconds)      = 0.221
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 5
4,3,774
            Wall clock TIME (seconds)      = 0.156
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
5,3,3455
            Wall clock TIME (seconds)      = 117.834
            CPU/machine TIME (seconds)     = 105.970
    total makespan           = 0
5,3,12
            Wall clock TIME (seconds)      = 0.669
            CPU/machine TIME (seconds)     = 0.450
    total makespan           = 7
5,3,45
            Wall clock TIME (seconds)      = 2.053
            CPU/machine TIME (seconds)     = 1.350
    total makespan           = 0
5,3,78
            Wall clock TIME (seconds)      = 0.192
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 4
5,3,8546
            Wall clock TIME (seconds)      = 0.151
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 4
5,3,474
            Wall clock TIME (seconds)      = 0.091
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 4
5,3,188
            Wall clock TIME (seconds)      = 0.131
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 3
5,3,7899
            Wall clock TIME (seconds)      = 0.174
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 4
5,3,9
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
5,3,774
            Wall clock TIME (seconds)      = 0.082
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
6,3,3455
            Wall clock TIME (seconds)      = 0.187
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
6,3,12
            Wall clock TIME (seconds)      = 0.212
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 5
6,3,45
            Wall clock TIME (seconds)      = 2.102
            CPU/machine TIME (seconds)     = 1.350
    total makespan           = 0
6,3,78
            Wall clock TIME (seconds)      = 0.863
            CPU/machine TIME (seconds)     = 0.510
    total makespan           = 6
6,3,8546
            Wall clock TIME (seconds)      = 1.883
            CPU/machine TIME (seconds)     = 1.140
    total makespan           = 6
6,3,474
            Wall clock TIME (seconds)      = 0.283
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 4
6,3,188
            Wall clock TIME (seconds)      = 0.575
            CPU/machine TIME (seconds)     = 0.430
    total makespan           = 5
6,3,7899
            Wall clock TIME (seconds)      = 0.193
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 4
6,3,9
            Wall clock TIME (seconds)      = 0.527
            CPU/machine TIME (seconds)     = 0.400
    total makespan           = 6
6,3,774
            Wall clock TIME (seconds)      = 0.433
            CPU/machine TIME (seconds)     = 0.290
    total makespan           = 5
7,3,3455
            Wall clock TIME (seconds)      = 80.702
            CPU/machine TIME (seconds)     = 75.970
    total makespan           = 0
7,3,12
            Wall clock TIME (seconds)      = 6.313
            CPU/machine TIME (seconds)     = 6.010
    total makespan           = 10
7,3,45
            Wall clock TIME (seconds)      = 2.047
            CPU/machine TIME (seconds)     = 1.320
    total makespan           = 0
7,3,78
            Wall clock TIME (seconds)      = 71.970
            CPU/machine TIME (seconds)     = 64.300
    total makespan           = 0
7,3,8546
            Wall clock TIME (seconds)      = 83.237
            CPU/machine TIME (seconds)     = 75.430
    total makespan           = 0
7,3,474
            Wall clock TIME (seconds)      = 1.004
            CPU/machine TIME (seconds)     = 0.900
    total makespan           = 6
7,3,188
            Wall clock TIME (seconds)      = 1.001
            CPU/machine TIME (seconds)     = 0.720
    total makespan           = 5
7,3,7899
            Wall clock TIME (seconds)      = 0.256
            CPU/machine TIME (seconds)     = 0.310
    total makespan           = 5
7,3,9
            Wall clock TIME (seconds)      = 0.384
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 6
7,3,774
            Wall clock TIME (seconds)      = 0.609
            CPU/machine TIME (seconds)     = 0.390
    total makespan           = 5
8,3,3455
            Wall clock TIME (seconds)      = 0.082
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
8,3,12
            Wall clock TIME (seconds)      = 1.538
            CPU/machine TIME (seconds)     = 1.260
    total makespan           = 8
8,3,45
            Wall clock TIME (seconds)      = 1.292
            CPU/machine TIME (seconds)     = 1.570
    total makespan           = 0
8,3,78
            Wall clock TIME (seconds)      = 30.944
            CPU/machine TIME (seconds)     = 24.860
    total makespan           = 8
8,3,8546
            Wall clock TIME (seconds)      = 31.243
            CPU/machine TIME (seconds)     = 28.620
    total makespan           = 8
8,3,474
            Wall clock TIME (seconds)      = 0.218
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 4
8,3,188
            Wall clock TIME (seconds)      = 1.296
            CPU/machine TIME (seconds)     = 0.730
    total makespan           = 5
8,3,7899
            Wall clock TIME (seconds)      = 156.581
            CPU/machine TIME (seconds)     = 133.360
    total makespan           = 0
8,3,9
            Wall clock TIME (seconds)      = 116.674
            CPU/machine TIME (seconds)     = 100.520
    total makespan           = 0
8,3,774
            Wall clock TIME (seconds)      = 1.467
            CPU/machine TIME (seconds)     = 1.550
    total makespan           = 7
9,3,3455
            Wall clock TIME (seconds)      = 117.471
            CPU/machine TIME (seconds)     = 99.770
    total makespan           = 0
9,3,12
            Wall clock TIME (seconds)      = 141.291
            CPU/machine TIME (seconds)     = 125.320
    total makespan           = 0
9,3,45
            Wall clock TIME (seconds)      = 1.380
            CPU/machine TIME (seconds)     = 1.530
    total makespan           = 0
9,3,78
            Wall clock TIME (seconds)      = 76.289
            CPU/machine TIME (seconds)     = 64.730
    total makespan           = 0
9,3,8546
            Wall clock TIME (seconds)      = 79.081
            CPU/machine TIME (seconds)     = 65.990
    total makespan           = 0
9,3,474
            Wall clock TIME (seconds)      = 10.214
            CPU/machine TIME (seconds)     = 10.270
    total makespan           = 8
9,3,188
            Wall clock TIME (seconds)      = 56.661
            CPU/machine TIME (seconds)     = 49.680
    total makespan           = 7
9,3,7899
            Wall clock TIME (seconds)      = 64.865
            CPU/machine TIME (seconds)     = 61.360
    total makespan           = 0
9,3,9
            Wall clock TIME (seconds)      = 156.421
            CPU/machine TIME (seconds)     = 147.060
    total makespan           = 0
9,3,774
            Wall clock TIME (seconds)      = 2.230
            CPU/machine TIME (seconds)     = 1.630
    total makespan           = 6
1,4,3455
            Wall clock TIME (seconds)      = 0.036
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 4
1,4,12
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
1,4,45
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
1,4,78
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 0
1,4,8546
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 0
1,4,474
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,4,188
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,4,7899
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,4,9
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
1,4,774
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
2,4,3455
            Wall clock TIME (seconds)      = 0.029
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 3
2,4,12
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
2,4,45
            Wall clock TIME (seconds)      = 0.730
            CPU/machine TIME (seconds)     = 0.840
    total makespan           = 0
2,4,78
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
2,4,8546
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 2
2,4,474
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
2,4,188
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
2,4,7899
            Wall clock TIME (seconds)      = 0.034
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,4,9
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
2,4,774
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,4,3455
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
3,4,12
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
3,4,45
            Wall clock TIME (seconds)      = 0.753
            CPU/machine TIME (seconds)     = 1.050
    total makespan           = 0
3,4,78
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,4,8546
            Wall clock TIME (seconds)      = 0.032
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,4,474
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
3,4,188
            Wall clock TIME (seconds)      = 0.017
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,4,7899
            Wall clock TIME (seconds)      = 0.037
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 3
3,4,9
            Wall clock TIME (seconds)      = 0.043
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 4
3,4,774
            Wall clock TIME (seconds)      = 0.008
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
4,4,3455
            Wall clock TIME (seconds)      = 0.043
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
4,4,12
            Wall clock TIME (seconds)      = 0.130
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 6
4,4,45
            Wall clock TIME (seconds)      = 125.100
            CPU/machine TIME (seconds)     = 118.940
    total makespan           = 0
4,4,78
            Wall clock TIME (seconds)      = 0.390
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 5
4,4,8546
            Wall clock TIME (seconds)      = 0.111
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
4,4,474
            Wall clock TIME (seconds)      = 0.337
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 5
4,4,188
            Wall clock TIME (seconds)      = 0.023
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
4,4,7899
            Wall clock TIME (seconds)      = 0.179
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 5
4,4,9
            Wall clock TIME (seconds)      = 0.065
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
4,4,774
            Wall clock TIME (seconds)      = 0.212
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
5,4,3455
            Wall clock TIME (seconds)      = 0.280
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
5,4,12
            Wall clock TIME (seconds)      = 0.285
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 5
5,4,45
            Wall clock TIME (seconds)      = 2.154
            CPU/machine TIME (seconds)     = 1.330
    total makespan           = 0
5,4,78
            Wall clock TIME (seconds)      = 0.239
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 4
5,4,8546
            Wall clock TIME (seconds)      = 0.338
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 5
5,4,474
            Wall clock TIME (seconds)      = 0.163
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
5,4,188
            Wall clock TIME (seconds)      = 0.147
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 3
5,4,7899
            Wall clock TIME (seconds)      = 89.905
            CPU/machine TIME (seconds)     = 86.020
    total makespan           = 0
5,4,9
            Wall clock TIME (seconds)      = 0.308
            CPU/machine TIME (seconds)     = 0.320
    total makespan           = 6
5,4,774
            Wall clock TIME (seconds)      = 0.090
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
6,4,3455
            Wall clock TIME (seconds)      = 1.718
            CPU/machine TIME (seconds)     = 1.250
    total makespan           = 6
6,4,12
            Wall clock TIME (seconds)      = 0.463
            CPU/machine TIME (seconds)     = 0.400
    total makespan           = 6
6,4,45
            Wall clock TIME (seconds)      = 2.094
            CPU/machine TIME (seconds)     = 1.330
    total makespan           = 0
6,4,78
            Wall clock TIME (seconds)      = 0.056
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
6,4,8546
            Wall clock TIME (seconds)      = 0.394
            CPU/machine TIME (seconds)     = 0.320
    total makespan           = 5
6,4,474
            Wall clock TIME (seconds)      = 0.364
            CPU/machine TIME (seconds)     = 0.400
    total makespan           = 5
6,4,188
            Wall clock TIME (seconds)      = 0.120
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
6,4,7899
            Wall clock TIME (seconds)      = 0.223
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 5
6,4,9
            Wall clock TIME (seconds)      = 0.083
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
6,4,774
            Wall clock TIME (seconds)      = 0.723
            CPU/machine TIME (seconds)     = 0.750
    total makespan           = 5
7,4,3455
            Wall clock TIME (seconds)      = 21.008
            CPU/machine TIME (seconds)     = 19.610
    total makespan           = 8
7,4,12
            Wall clock TIME (seconds)      = 18.756
            CPU/machine TIME (seconds)     = 16.390
    total makespan           = 9
7,4,45
            Wall clock TIME (seconds)      = 1.204
            CPU/machine TIME (seconds)     = 1.320
    total makespan           = 0
7,4,78
            Wall clock TIME (seconds)      = 0.851
            CPU/machine TIME (seconds)     = 0.530
    total makespan           = 6
7,4,8546
            Wall clock TIME (seconds)      = 0.401
            CPU/machine TIME (seconds)     = 0.440
    total makespan           = 5
7,4,474
            Wall clock TIME (seconds)      = 0.144
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
7,4,188
            Wall clock TIME (seconds)      = 0.722
            CPU/machine TIME (seconds)     = 0.430
    total makespan           = 5
7,4,7899
            Wall clock TIME (seconds)      = 0.310
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 5
7,4,9
            Wall clock TIME (seconds)      = 1.367
            CPU/machine TIME (seconds)     = 0.910
    total makespan           = 6
7,4,774
            Wall clock TIME (seconds)      = 0.054
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
8,4,3455
            Wall clock TIME (seconds)      = 5.314
            CPU/machine TIME (seconds)     = 4.280
    total makespan           = 7
8,4,12
            Wall clock TIME (seconds)      = 97.312
            CPU/machine TIME (seconds)     = 80.250
    total makespan           = 0
8,4,45
            Wall clock TIME (seconds)      = 1.610
            CPU/machine TIME (seconds)     = 1.630
    total makespan           = 0
8,4,78
            Wall clock TIME (seconds)      = 1.692
            CPU/machine TIME (seconds)     = 1.440
    total makespan           = 6
8,4,8546
            Wall clock TIME (seconds)      = 6.828
            CPU/machine TIME (seconds)     = 5.740
    total makespan           = 7
8,4,474
            Wall clock TIME (seconds)      = 75.340
            CPU/machine TIME (seconds)     = 64.320
    total makespan           = 0
8,4,188
            Wall clock TIME (seconds)      = 53.329
            CPU/machine TIME (seconds)     = 51.240
    total makespan           = 6
8,4,7899
            Wall clock TIME (seconds)      = 109.342
            CPU/machine TIME (seconds)     = 105.220
    total makespan           = 0
8,4,9
            Wall clock TIME (seconds)      = 71.890
            CPU/machine TIME (seconds)     = 63.120
    total makespan           = 0
8,4,774
            Wall clock TIME (seconds)      = 45.976
            CPU/machine TIME (seconds)     = 42.800
    total makespan           = 7
9,4,3455
            Wall clock TIME (seconds)      = 72.132
            CPU/machine TIME (seconds)     = 62.720
    total makespan           = 0
9,4,12
            Wall clock TIME (seconds)      = 124.235
            CPU/machine TIME (seconds)     = 118.800
    total makespan           = 0
9,4,45
            Wall clock TIME (seconds)      = 1.822
            CPU/machine TIME (seconds)     = 1.590
    total makespan           = 0
9,4,78
            Wall clock TIME (seconds)      = 0.902
            CPU/machine TIME (seconds)     = 0.860
    total makespan           = 6
9,4,8546
            Wall clock TIME (seconds)      = 71.252
            CPU/machine TIME (seconds)     = 69.650
    total makespan           = 0
9,4,474
            Wall clock TIME (seconds)      = 122.745
            CPU/machine TIME (seconds)     = 111.230
    total makespan           = 0
9,4,188
            Wall clock TIME (seconds)      = 2.197
            CPU/machine TIME (seconds)     = 1.790
    total makespan           = 6
9,4,7899
            Wall clock TIME (seconds)      = 135.193
            CPU/machine TIME (seconds)     = 114.190
    total makespan           = 0
9,4,9
            Wall clock TIME (seconds)      = 73.659
            CPU/machine TIME (seconds)     = 66.780
    total makespan           = 0
9,4,774
            Wall clock TIME (seconds)      = 17.989
            CPU/machine TIME (seconds)     = 14.450
    total makespan           = 7