1,1,3455
            Wall clock TIME (seconds)      = 0.137
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 5
1,1,12
            Wall clock TIME (seconds)      = 0.053
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,1,45
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,1,78
            Wall clock TIME (seconds)      = 0.124
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
1,1,8546
            Wall clock TIME (seconds)      = 0.111
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
1,1,474
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,1,188
            Wall clock TIME (seconds)      = 0.044
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,1,7899
            Wall clock TIME (seconds)      = 0.084
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
1,1,9
            Wall clock TIME (seconds)      = 0.103
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
1,1,774
            Wall clock TIME (seconds)      = 0.032
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
2,1,3455
            Wall clock TIME (seconds)      = 0.087
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
2,1,12
            Wall clock TIME (seconds)      = 0.063
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,1,45
            Wall clock TIME (seconds)      = 1.090
            CPU/machine TIME (seconds)     = 0.790
    total makespan           = 0
2,1,78
            Wall clock TIME (seconds)      = 0.165
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
2,1,8546
            Wall clock TIME (seconds)      = 0.118
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
2,1,474
            Wall clock TIME (seconds)      = 0.118
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
2,1,188
            Wall clock TIME (seconds)      = 0.053
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,1,7899
            Wall clock TIME (seconds)      = 0.067
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,1,9
            Wall clock TIME (seconds)      = 0.148
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 5
2,1,774
            Wall clock TIME (seconds)      = 0.118
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
3,1,3455
            Wall clock TIME (seconds)      = 0.095
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,1,12
            Wall clock TIME (seconds)      = 0.239
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 7
3,1,45
            Wall clock TIME (seconds)      = 0.106
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,1,78
            Wall clock TIME (seconds)      = 0.118
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,1,8546
            Wall clock TIME (seconds)      = 0.133
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
3,1,474
            Wall clock TIME (seconds)      = 0.129
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,1,188
            Wall clock TIME (seconds)      = 0.096
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,1,7899
            Wall clock TIME (seconds)      = 0.064
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,1,9
            Wall clock TIME (seconds)      = 0.117
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,1,774
            Wall clock TIME (seconds)      = 0.085
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
4,1,3455
            Wall clock TIME (seconds)      = 0.181
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
4,1,12
            Wall clock TIME (seconds)      = 0.475
            CPU/machine TIME (seconds)     = 0.340
    total makespan           = 9
4,1,45
            Wall clock TIME (seconds)      = 0.106
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
4,1,78
            Wall clock TIME (seconds)      = 0.122
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
4,1,8546
            Wall clock TIME (seconds)      = 0.095
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
4,1,474
            Wall clock TIME (seconds)      = 0.072
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
4,1,188
            Wall clock TIME (seconds)      = 0.140
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
4,1,7899
            Wall clock TIME (seconds)      = 0.148
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
4,1,9
            Wall clock TIME (seconds)      = 0.234
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
4,1,774
            Wall clock TIME (seconds)      = 0.189
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
5,1,3455
            Wall clock TIME (seconds)      = 0.282
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 6
5,1,12
            Wall clock TIME (seconds)      = 0.188
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 6
5,1,45
            Wall clock TIME (seconds)      = 1.260
            CPU/machine TIME (seconds)     = 0.880
    total makespan           = 0
5,1,78
            Wall clock TIME (seconds)      = 0.207
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
5,1,8546
            Wall clock TIME (seconds)      = 0.257
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 6
5,1,474
            Wall clock TIME (seconds)      = 0.468
            CPU/machine TIME (seconds)     = 0.310
    total makespan           = 7
5,1,188
            Wall clock TIME (seconds)      = 0.302
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 6
5,1,7899
            Wall clock TIME (seconds)      = 0.137
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
5,1,9
            Wall clock TIME (seconds)      = 0.412
            CPU/machine TIME (seconds)     = 0.320
    total makespan           = 8
5,1,774
            Wall clock TIME (seconds)      = 0.212
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 5
6,1,3455
            Wall clock TIME (seconds)      = 0.223
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
6,1,12
            Wall clock TIME (seconds)      = 0.456
            CPU/machine TIME (seconds)     = 0.530
    total makespan           = 9
6,1,45
            Wall clock TIME (seconds)      = 0.709
            CPU/machine TIME (seconds)     = 0.760
    total makespan           = 0
6,1,78
            Wall clock TIME (seconds)      = 0.391
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 6
6,1,8546
            Wall clock TIME (seconds)      = 0.370
            CPU/machine TIME (seconds)     = 0.350
    total makespan           = 7
6,1,474
            Wall clock TIME (seconds)      = 0.374
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 6
6,1,188
            Wall clock TIME (seconds)      = 0.123
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
6,1,7899
            Wall clock TIME (seconds)      = 0.212
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 5
6,1,9
            Wall clock TIME (seconds)      = 0.291
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 6
6,1,774
            Wall clock TIME (seconds)      = 0.206
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
7,1,3455
            Wall clock TIME (seconds)      = 1.287
            CPU/machine TIME (seconds)     = 0.730
    total makespan           = 8
7,1,12
            Wall clock TIME (seconds)      = 41.691
            CPU/machine TIME (seconds)     = 33.400
    total makespan           = 10
7,1,45
            Wall clock TIME (seconds)      = 1.280
            CPU/machine TIME (seconds)     = 0.870
    total makespan           = 0
7,1,78
            Wall clock TIME (seconds)      = 1.025
            CPU/machine TIME (seconds)     = 0.760
    total makespan           = 7
7,1,8546
            Wall clock TIME (seconds)      = 0.271
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 6
7,1,474
            Wall clock TIME (seconds)      = 0.384
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 6
7,1,188
            Wall clock TIME (seconds)      = 4.412
            CPU/machine TIME (seconds)     = 3.150
    total makespan           = 8
7,1,7899
            Wall clock TIME (seconds)      = 0.869
            CPU/machine TIME (seconds)     = 0.960
    total makespan           = 7
7,1,9
            Wall clock TIME (seconds)      = 1.473
            CPU/machine TIME (seconds)     = 1.560
    total makespan           = 9
7,1,774
            Wall clock TIME (seconds)      = 0.251
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 6
8,1,3455
            Wall clock TIME (seconds)      = 17.943
            CPU/machine TIME (seconds)     = 14.300
    total makespan           = 8
8,1,12
            Wall clock TIME (seconds)      = 127.414
            CPU/machine TIME (seconds)     = 114.170
    total makespan           = 0
8,1,45
            Wall clock TIME (seconds)      = 1.354
            CPU/machine TIME (seconds)     = 1.070
    total makespan           = 0
8,1,78
            Wall clock TIME (seconds)      = 0.232
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 5
8,1,8546
            Wall clock TIME (seconds)      = 0.942
            CPU/machine TIME (seconds)     = 0.750
    total makespan           = 7
8,1,474
            Wall clock TIME (seconds)      = 0.442
            CPU/machine TIME (seconds)     = 0.280
    total makespan           = 6
8,1,188
            Wall clock TIME (seconds)      = 1.280
            CPU/machine TIME (seconds)     = 0.810
    total makespan           = 7
8,1,7899
            Wall clock TIME (seconds)      = 0.655
            CPU/machine TIME (seconds)     = 0.450
    total makespan           = 6
8,1,9
            Wall clock TIME (seconds)      = 7.841
            CPU/machine TIME (seconds)     = 6.090
    total makespan           = 9
8,1,774
            Wall clock TIME (seconds)      = 0.741
            CPU/machine TIME (seconds)     = 0.450
    total makespan           = 7
9,1,3455
            Wall clock TIME (seconds)      = 22.174
            CPU/machine TIME (seconds)     = 17.430
    total makespan           = 8
9,1,12
            Wall clock TIME (seconds)      = 135.155
            CPU/machine TIME (seconds)     = 126.880
    total makespan           = 0
9,1,45
            Wall clock TIME (seconds)      = 1.582
            CPU/machine TIME (seconds)     = 1.090
    total makespan           = 0
9,1,78
            Wall clock TIME (seconds)      = 12.128
            CPU/machine TIME (seconds)     = 9.580
    total makespan           = 9
9,1,8546
            Wall clock TIME (seconds)      = 11.658
            CPU/machine TIME (seconds)     = 9.250
    total makespan           = 9
9,1,474
            Wall clock TIME (seconds)      = 27.153
            CPU/machine TIME (seconds)     = 24.360
    total makespan           = 9
9,1,188
            Wall clock TIME (seconds)      = 106.178
            CPU/machine TIME (seconds)     = 104.290
    total makespan           = 0
9,1,7899
            Wall clock TIME (seconds)      = 0.750
            CPU/machine TIME (seconds)     = 0.640
    total makespan           = 6
9,1,9
            Wall clock TIME (seconds)      = 151.063
            CPU/machine TIME (seconds)     = 128.860
    total makespan           = 0
9,1,774
            Wall clock TIME (seconds)      = 70.801
            CPU/machine TIME (seconds)     = 63.720
    total makespan           = 9
1,2,3455
            Wall clock TIME (seconds)      = 0.124
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
1,2,12
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,2,45
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,2,78
            Wall clock TIME (seconds)      = 0.155
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 5
1,2,8546
            Wall clock TIME (seconds)      = 0.020
            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.022
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,2,7899
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,2,9
            Wall clock TIME (seconds)      = 0.041
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,2,774
            Wall clock TIME (seconds)      = 0.080
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,2,3455
            Wall clock TIME (seconds)      = 0.095
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,2,12
            Wall clock TIME (seconds)      = 0.151
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 5
2,2,45
            Wall clock TIME (seconds)      = 1.076
            CPU/machine TIME (seconds)     = 0.800
    total makespan           = 0
2,2,78
            Wall clock TIME (seconds)      = 0.074
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,2,8546
            Wall clock TIME (seconds)      = 0.053
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,2,474
            Wall clock TIME (seconds)      = 0.181
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
2,2,188
            Wall clock TIME (seconds)      = 0.063
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,2,7899
            Wall clock TIME (seconds)      = 0.064
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,2,9
            Wall clock TIME (seconds)      = 0.063
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,2,774
            Wall clock TIME (seconds)      = 0.224
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 6
3,2,3455
            Wall clock TIME (seconds)      = 0.128
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,2,12
            Wall clock TIME (seconds)      = 0.182
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 6
3,2,45
            Wall clock TIME (seconds)      = 0.937
            CPU/machine TIME (seconds)     = 0.790
    total makespan           = 0
3,2,78
            Wall clock TIME (seconds)      = 0.121
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,2,8546
            Wall clock TIME (seconds)      = 0.085
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,2,474
            Wall clock TIME (seconds)      = 0.032
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
3,2,188
            Wall clock TIME (seconds)      = 0.053
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,2,7899
            Wall clock TIME (seconds)      = 0.025
            CPU/machine TIME (seconds)     = 0.060
    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.054
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
4,2,3455
            Wall clock TIME (seconds)      = 0.131
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
4,2,12
            Wall clock TIME (seconds)      = 15.313
            CPU/machine TIME (seconds)     = 10.040
    total makespan           = 0
4,2,45
            Wall clock TIME (seconds)      = 6.471
            CPU/machine TIME (seconds)     = 4.440
    total makespan           = 0
4,2,78
            Wall clock TIME (seconds)      = 0.163
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
4,2,8546
            Wall clock TIME (seconds)      = 0.194
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
4,2,474
            Wall clock TIME (seconds)      = 0.113
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
4,2,188
            Wall clock TIME (seconds)      = 0.088
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
4,2,7899
            Wall clock TIME (seconds)      = 0.210
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
4,2,9
            Wall clock TIME (seconds)      = 0.095
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
4,2,774
            Wall clock TIME (seconds)      = 0.161
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
5,2,3455
            Wall clock TIME (seconds)      = 0.165
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
5,2,12
            Wall clock TIME (seconds)      = 0.235
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 6
5,2,45
            Wall clock TIME (seconds)      = 1.069
            CPU/machine TIME (seconds)     = 0.880
    total makespan           = 0
5,2,78
            Wall clock TIME (seconds)      = 0.229
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
5,2,8546
            Wall clock TIME (seconds)      = 0.063
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
5,2,474
            Wall clock TIME (seconds)      = 0.321
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 6
5,2,188
            Wall clock TIME (seconds)      = 0.146
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
5,2,7899
            Wall clock TIME (seconds)      = 93.692
            CPU/machine TIME (seconds)     = 77.770
    total makespan           = 0
5,2,9
            Wall clock TIME (seconds)      = 0.263
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 6
5,2,774
            Wall clock TIME (seconds)      = 78.993
            CPU/machine TIME (seconds)     = 73.600
    total makespan           = 0
6,2,3455
            Wall clock TIME (seconds)      = 96.901
            CPU/machine TIME (seconds)     = 83.710
    total makespan           = 0
6,2,12
            Wall clock TIME (seconds)      = 0.158
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
6,2,45
            Wall clock TIME (seconds)      = 1.360
            CPU/machine TIME (seconds)     = 0.900
    total makespan           = 0
6,2,78
            Wall clock TIME (seconds)      = 0.304
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 6
6,2,8546
            Wall clock TIME (seconds)      = 0.392
            CPU/machine TIME (seconds)     = 0.280
    total makespan           = 6
6,2,474
            Wall clock TIME (seconds)      = 0.117
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
6,2,188
            Wall clock TIME (seconds)      = 0.187
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
6,2,7899
            Wall clock TIME (seconds)      = 0.251
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 5
6,2,9
            Wall clock TIME (seconds)      = 0.337
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 6
6,2,774
            Wall clock TIME (seconds)      = 77.239
            CPU/machine TIME (seconds)     = 63.910
    total makespan           = 0
7,2,3455
            Wall clock TIME (seconds)      = 7.094
            CPU/machine TIME (seconds)     = 5.570
    total makespan           = 8
7,2,12
            Wall clock TIME (seconds)      = 109.974
            CPU/machine TIME (seconds)     = 102.500
    total makespan           = 0
7,2,45
            Wall clock TIME (seconds)      = 1.240
            CPU/machine TIME (seconds)     = 0.870
    total makespan           = 0
7,2,78
            Wall clock TIME (seconds)      = 0.649
            CPU/machine TIME (seconds)     = 0.400
    total makespan           = 6
7,2,8546
            Wall clock TIME (seconds)      = 82.213
            CPU/machine TIME (seconds)     = 62.160
    total makespan           = 0
7,2,474
            Wall clock TIME (seconds)      = 78.855
            CPU/machine TIME (seconds)     = 75.540
    total makespan           = 0
7,2,188
            Wall clock TIME (seconds)      = 0.380
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 6
7,2,7899
            Wall clock TIME (seconds)      = 68.454
            CPU/machine TIME (seconds)     = 66.520
    total makespan           = 0
7,2,9
            Wall clock TIME (seconds)      = 72.563
            CPU/machine TIME (seconds)     = 65.670
    total makespan           = 0
7,2,774
            Wall clock TIME (seconds)      = 0.580
            CPU/machine TIME (seconds)     = 0.600
    total makespan           = 6
8,2,3455
            Wall clock TIME (seconds)      = 79.333
            CPU/machine TIME (seconds)     = 65.220
    total makespan           = 0
8,2,12
            Wall clock TIME (seconds)      = 112.173
            CPU/machine TIME (seconds)     = 91.280
    total makespan           = 0
8,2,45
            Wall clock TIME (seconds)      = 1.571
            CPU/machine TIME (seconds)     = 1.100
    total makespan           = 0
8,2,78
            Wall clock TIME (seconds)      = 0.336
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 5
8,2,8546
            Wall clock TIME (seconds)      = 14.114
            CPU/machine TIME (seconds)     = 11.690
    total makespan           = 8
8,2,474
            Wall clock TIME (seconds)      = 80.738
            CPU/machine TIME (seconds)     = 69.620
    total makespan           = 0
8,2,188
            Wall clock TIME (seconds)      = 6.333
            CPU/machine TIME (seconds)     = 4.140
    total makespan           = 7
8,2,7899
            Wall clock TIME (seconds)      = 122.644
            CPU/machine TIME (seconds)     = 104.950
    total makespan           = 0
8,2,9
            Wall clock TIME (seconds)      = 99.426
            CPU/machine TIME (seconds)     = 99.490
    total makespan           = 0
8,2,774
            Wall clock TIME (seconds)      = 72.141
            CPU/machine TIME (seconds)     = 61.270
    total makespan           = 0
9,2,3455
            Wall clock TIME (seconds)      = 78.001
            CPU/machine TIME (seconds)     = 70.930
    total makespan           = 0
9,2,12
            Wall clock TIME (seconds)      = 71.008
            CPU/machine TIME (seconds)     = 62.430
    total makespan           = 0
9,2,45
            Wall clock TIME (seconds)      = 1.542
            CPU/machine TIME (seconds)     = 1.070
    total makespan           = 0
9,2,78
            Wall clock TIME (seconds)      = 145.651
            CPU/machine TIME (seconds)     = 120.770
    total makespan           = 0
9,2,8546
            Wall clock TIME (seconds)      = 94.651
            CPU/machine TIME (seconds)     = 84.780
    total makespan           = 0
9,2,474
            Wall clock TIME (seconds)      = 85.114
            CPU/machine TIME (seconds)     = 79.350
    total makespan           = 0
9,2,188
            Wall clock TIME (seconds)      = 3.653
            CPU/machine TIME (seconds)     = 2.930
    total makespan           = 8
9,2,7899
            Wall clock TIME (seconds)      = 97.904
            CPU/machine TIME (seconds)     = 91.140
    total makespan           = 0
9,2,9
            Wall clock TIME (seconds)      = 142.593
            CPU/machine TIME (seconds)     = 121.200
    total makespan           = 0
9,2,774
            Wall clock TIME (seconds)      = 82.801
            CPU/machine TIME (seconds)     = 69.320
    total makespan           = 0
1,3,3455
            Wall clock TIME (seconds)      = 0.102
            CPU/machine TIME (seconds)     = 0.100
    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.052
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
1,3,78
            Wall clock TIME (seconds)      = 0.155
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 5
1,3,8546
            Wall clock TIME (seconds)      = 0.029
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 0
1,3,474
            Wall clock TIME (seconds)      = 0.019
            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.041
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 3
1,3,9
            Wall clock TIME (seconds)      = 0.004
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
1,3,774
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 4
2,3,3455
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
2,3,12
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
2,3,45
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 2
2,3,78
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 2
2,3,8546
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 2
2,3,474
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 5
2,3,188
            Wall clock TIME (seconds)      = 0.119
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,3,7899
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,3,9
            Wall clock TIME (seconds)      = 0.092
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,3,774
            Wall clock TIME (seconds)      = 0.051
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,3,3455
            Wall clock TIME (seconds)      = 0.060
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,3,12
            Wall clock TIME (seconds)      = 0.123
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,3,45
            Wall clock TIME (seconds)      = 1.018
            CPU/machine TIME (seconds)     = 0.790
    total makespan           = 0
3,3,78
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 2
3,3,8546
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 3
3,3,474
            Wall clock TIME (seconds)      = 0.090
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,3,188
            Wall clock TIME (seconds)      = 0.022
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
3,3,7899
            Wall clock TIME (seconds)      = 0.118
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
3,3,9
            Wall clock TIME (seconds)      = 0.094
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,3,774
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
4,3,3455
            Wall clock TIME (seconds)      = 0.169
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
4,3,12
            Wall clock TIME (seconds)      = 0.428
            CPU/machine TIME (seconds)     = 0.310
    total makespan           = 9
4,3,45
            Wall clock TIME (seconds)      = 1.101
            CPU/machine TIME (seconds)     = 0.900
    total makespan           = 0
4,3,78
            Wall clock TIME (seconds)      = 0.192
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
4,3,8546
            Wall clock TIME (seconds)      = 0.204
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
4,3,474
            Wall clock TIME (seconds)      = 0.109
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
4,3,188
            Wall clock TIME (seconds)      = 0.122
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
4,3,7899
            Wall clock TIME (seconds)      = 0.198
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
4,3,9
            Wall clock TIME (seconds)      = 0.190
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
4,3,774
            Wall clock TIME (seconds)      = 0.180
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
5,3,3455
            Wall clock TIME (seconds)      = 79.013
            CPU/machine TIME (seconds)     = 64.500
    total makespan           = 0
5,3,12
            Wall clock TIME (seconds)      = 0.119
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 7
5,3,45
            Wall clock TIME (seconds)      = 0.565
            CPU/machine TIME (seconds)     = 0.860
    total makespan           = 0
5,3,78
            Wall clock TIME (seconds)      = 0.146
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
5,3,8546
            Wall clock TIME (seconds)      = 0.133
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
5,3,474
            Wall clock TIME (seconds)      = 0.144
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
5,3,188
            Wall clock TIME (seconds)      = 0.090
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
5,3,7899
            Wall clock TIME (seconds)      = 0.125
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
5,3,9
            Wall clock TIME (seconds)      = 0.054
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
5,3,774
            Wall clock TIME (seconds)      = 0.098
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
6,3,3455
            Wall clock TIME (seconds)      = 0.167
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
6,3,12
            Wall clock TIME (seconds)      = 0.142
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 5
6,3,45
            Wall clock TIME (seconds)      = 0.629
            CPU/machine TIME (seconds)     = 0.790
    total makespan           = 0
6,3,78
            Wall clock TIME (seconds)      = 0.310
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 6
6,3,8546
            Wall clock TIME (seconds)      = 0.359
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 6
6,3,474
            Wall clock TIME (seconds)      = 0.144
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
6,3,188
            Wall clock TIME (seconds)      = 0.261
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
6,3,7899
            Wall clock TIME (seconds)      = 0.165
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
6,3,9
            Wall clock TIME (seconds)      = 0.338
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 6
6,3,774
            Wall clock TIME (seconds)      = 0.222
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
7,3,3455
            Wall clock TIME (seconds)      = 121.094
            CPU/machine TIME (seconds)     = 100.490
    total makespan           = 0
7,3,12
            Wall clock TIME (seconds)      = 2.301
            CPU/machine TIME (seconds)     = 2.380
    total makespan           = 10
7,3,45
            Wall clock TIME (seconds)      = 1.086
            CPU/machine TIME (seconds)     = 0.840
    total makespan           = 0
7,3,78
            Wall clock TIME (seconds)      = 73.032
            CPU/machine TIME (seconds)     = 64.800
    total makespan           = 0
7,3,8546
            Wall clock TIME (seconds)      = 74.734
            CPU/machine TIME (seconds)     = 65.120
    total makespan           = 0
7,3,474
            Wall clock TIME (seconds)      = 0.286
            CPU/machine TIME (seconds)     = 0.350
    total makespan           = 6
7,3,188
            Wall clock TIME (seconds)      = 0.350
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 5
7,3,7899
            Wall clock TIME (seconds)      = 0.221
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 5
7,3,9
            Wall clock TIME (seconds)      = 0.273
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 6
7,3,774
            Wall clock TIME (seconds)      = 0.226
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
8,3,3455
            Wall clock TIME (seconds)      = 0.091
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
8,3,12
            Wall clock TIME (seconds)      = 0.635
            CPU/machine TIME (seconds)     = 0.400
    total makespan           = 8
8,3,45
            Wall clock TIME (seconds)      = 1.683
            CPU/machine TIME (seconds)     = 1.090
    total makespan           = 0
8,3,78
            Wall clock TIME (seconds)      = 2.228
            CPU/machine TIME (seconds)     = 2.000
    total makespan           = 8
8,3,8546
            Wall clock TIME (seconds)      = 5.693
            CPU/machine TIME (seconds)     = 5.790
    total makespan           = 8
8,3,474
            Wall clock TIME (seconds)      = 0.144
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
8,3,188
            Wall clock TIME (seconds)      = 0.384
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 5
8,3,7899
            Wall clock TIME (seconds)      = 91.682
            CPU/machine TIME (seconds)     = 80.570
    total makespan           = 0
8,3,9
            Wall clock TIME (seconds)      = 31.144
            CPU/machine TIME (seconds)     = 27.730
    total makespan           = 9
8,3,774
            Wall clock TIME (seconds)      = 0.956
            CPU/machine TIME (seconds)     = 0.750
    total makespan           = 7
9,3,3455
            Wall clock TIME (seconds)      = 94.501
            CPU/machine TIME (seconds)     = 86.520
    total makespan           = 0
9,3,12
            Wall clock TIME (seconds)      = 87.035
            CPU/machine TIME (seconds)     = 80.640
    total makespan           = 0
9,3,45
            Wall clock TIME (seconds)      = 0.728
            CPU/machine TIME (seconds)     = 1.010
    total makespan           = 0
9,3,78
            Wall clock TIME (seconds)      = 90.249
            CPU/machine TIME (seconds)     = 90.270
    total makespan           = 0
9,3,8546
            Wall clock TIME (seconds)      = 96.654
            CPU/machine TIME (seconds)     = 85.950
    total makespan           = 0
9,3,474
            Wall clock TIME (seconds)      = 2.940
            CPU/machine TIME (seconds)     = 2.340
    total makespan           = 8
9,3,188
            Wall clock TIME (seconds)      = 7.579
            CPU/machine TIME (seconds)     = 6.700
    total makespan           = 7
9,3,7899
            Wall clock TIME (seconds)      = 65.874
            CPU/machine TIME (seconds)     = 63.450
    total makespan           = 0
9,3,9
            Wall clock TIME (seconds)      = 79.114
            CPU/machine TIME (seconds)     = 63.060
    total makespan           = 0
9,3,774
            Wall clock TIME (seconds)      = 0.468
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 6
1,4,3455
            Wall clock TIME (seconds)      = 0.056
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 4
1,4,12
            Wall clock TIME (seconds)      = 0.037
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
1,4,45
            Wall clock TIME (seconds)      = 0.040
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,4,78
            Wall clock TIME (seconds)      = 0.019
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 0
1,4,8546
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 0
1,4,474
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
1,4,188
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
1,4,7899
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.020
    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.021
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 3
2,4,12
            Wall clock TIME (seconds)      = 0.005
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
2,4,45
            Wall clock TIME (seconds)      = 0.810
            CPU/machine TIME (seconds)     = 0.730
    total makespan           = 0
2,4,78
            Wall clock TIME (seconds)      = 0.006
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
2,4,8546
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 2
2,4,474
            Wall clock TIME (seconds)      = 0.023
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
2,4,188
            Wall clock TIME (seconds)      = 0.047
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,4,7899
            Wall clock TIME (seconds)      = 0.092
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,4,9
            Wall clock TIME (seconds)      = 0.039
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,4,774
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 2
3,4,3455
            Wall clock TIME (seconds)      = 0.012
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 2
3,4,12
            Wall clock TIME (seconds)      = 0.020
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
3,4,45
            Wall clock TIME (seconds)      = 0.546
            CPU/machine TIME (seconds)     = 0.780
    total makespan           = 0
3,4,78
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,4,8546
            Wall clock TIME (seconds)      = 0.084
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,4,474
            Wall clock TIME (seconds)      = 0.095
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,4,188
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
3,4,7899
            Wall clock TIME (seconds)      = 0.103
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,4,9
            Wall clock TIME (seconds)      = 0.124
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 4
3,4,774
            Wall clock TIME (seconds)      = 0.018
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
4,4,3455
            Wall clock TIME (seconds)      = 0.085
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
4,4,12
            Wall clock TIME (seconds)      = 0.180
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 6
4,4,45
            Wall clock TIME (seconds)      = 5.093
            CPU/machine TIME (seconds)     = 3.860
    total makespan           = 0
4,4,78
            Wall clock TIME (seconds)      = 0.077
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 5
4,4,8546
            Wall clock TIME (seconds)      = 0.075
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
4,4,474
            Wall clock TIME (seconds)      = 0.087
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
4,4,188
            Wall clock TIME (seconds)      = 0.007
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 1
4,4,7899
            Wall clock TIME (seconds)      = 0.076
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 5
4,4,9
            Wall clock TIME (seconds)      = 0.036
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
4,4,774
            Wall clock TIME (seconds)      = 0.126
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
5,4,3455
            Wall clock TIME (seconds)      = 0.102
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 5
5,4,12
            Wall clock TIME (seconds)      = 0.156
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
5,4,45
            Wall clock TIME (seconds)      = 0.547
            CPU/machine TIME (seconds)     = 0.790
    total makespan           = 0
5,4,78
            Wall clock TIME (seconds)      = 0.148
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
5,4,8546
            Wall clock TIME (seconds)      = 0.137
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
5,4,474
            Wall clock TIME (seconds)      = 0.046
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 4
5,4,188
            Wall clock TIME (seconds)      = 0.032
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 3
5,4,7899
            Wall clock TIME (seconds)      = 69.866
            CPU/machine TIME (seconds)     = 63.480
    total makespan           = 0
5,4,9
            Wall clock TIME (seconds)      = 0.101
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 6
5,4,774
            Wall clock TIME (seconds)      = 0.027
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 3
6,4,3455
            Wall clock TIME (seconds)      = 0.186
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 6
6,4,12
            Wall clock TIME (seconds)      = 0.139
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 6
6,4,45
            Wall clock TIME (seconds)      = 0.901
            CPU/machine TIME (seconds)     = 0.740
    total makespan           = 0
6,4,78
            Wall clock TIME (seconds)      = 0.052
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
6,4,8546
            Wall clock TIME (seconds)      = 0.214
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 5
6,4,474
            Wall clock TIME (seconds)      = 0.255
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 5
6,4,188
            Wall clock TIME (seconds)      = 0.163
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
6,4,7899
            Wall clock TIME (seconds)      = 0.200
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 5
6,4,9
            Wall clock TIME (seconds)      = 0.120
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
6,4,774
            Wall clock TIME (seconds)      = 0.574
            CPU/machine TIME (seconds)     = 0.350
    total makespan           = 5
7,4,3455
            Wall clock TIME (seconds)      = 2.910
            CPU/machine TIME (seconds)     = 1.810
    total makespan           = 8
7,4,12
            Wall clock TIME (seconds)      = 5.468
            CPU/machine TIME (seconds)     = 4.420
    total makespan           = 9
7,4,45
            Wall clock TIME (seconds)      = 0.647
            CPU/machine TIME (seconds)     = 0.790
    total makespan           = 0
7,4,78
            Wall clock TIME (seconds)      = 0.279
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 6
7,4,8546
            Wall clock TIME (seconds)      = 0.180
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 5
7,4,474
            Wall clock TIME (seconds)      = 0.143
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 5
7,4,188
            Wall clock TIME (seconds)      = 0.086
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 5
7,4,7899
            Wall clock TIME (seconds)      = 0.172
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 5
7,4,9
            Wall clock TIME (seconds)      = 0.265
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 6
7,4,774
            Wall clock TIME (seconds)      = 0.016
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 2
8,4,3455
            Wall clock TIME (seconds)      = 0.868
            CPU/machine TIME (seconds)     = 0.810
    total makespan           = 7
8,4,12
            Wall clock TIME (seconds)      = 102.504
            CPU/machine TIME (seconds)     = 95.100
    total makespan           = 0
8,4,45
            Wall clock TIME (seconds)      = 0.734
            CPU/machine TIME (seconds)     = 1.030
    total makespan           = 0
8,4,78
            Wall clock TIME (seconds)      = 0.375
            CPU/machine TIME (seconds)     = 0.450
    total makespan           = 6
8,4,8546
            Wall clock TIME (seconds)      = 2.047
            CPU/machine TIME (seconds)     = 1.870
    total makespan           = 7
8,4,474
            Wall clock TIME (seconds)      = 33.637
            CPU/machine TIME (seconds)     = 28.980
    total makespan           = 8
8,4,188
            Wall clock TIME (seconds)      = 2.564
            CPU/machine TIME (seconds)     = 2.240
    total makespan           = 6
8,4,7899
            Wall clock TIME (seconds)      = 118.865
            CPU/machine TIME (seconds)     = 101.170
    total makespan           = 0
8,4,9
            Wall clock TIME (seconds)      = 3.460
            CPU/machine TIME (seconds)     = 3.470
    total makespan           = 8
8,4,774
            Wall clock TIME (seconds)      = 3.448
            CPU/machine TIME (seconds)     = 2.990
    total makespan           = 7
9,4,3455
            Wall clock TIME (seconds)      = 33.514
            CPU/machine TIME (seconds)     = 29.170
    total makespan           = 9
9,4,12
            Wall clock TIME (seconds)      = 109.022
            CPU/machine TIME (seconds)     = 100.130
    total makespan           = 0
9,4,45
            Wall clock TIME (seconds)      = 1.489
            CPU/machine TIME (seconds)     = 1.060
    total makespan           = 0
9,4,78
            Wall clock TIME (seconds)      = 0.790
            CPU/machine TIME (seconds)     = 0.520
    total makespan           = 6
9,4,8546
            Wall clock TIME (seconds)      = 75.733
            CPU/machine TIME (seconds)     = 70.910
    total makespan           = 0
9,4,474
            Wall clock TIME (seconds)      = 71.982
            CPU/machine TIME (seconds)     = 62.080
    total makespan           = 0
9,4,188
            Wall clock TIME (seconds)      = 2.262
            CPU/machine TIME (seconds)     = 1.350
    total makespan           = 6
9,4,7899
            Wall clock TIME (seconds)      = 97.801
            CPU/machine TIME (seconds)     = 86.270
    total makespan           = 0
9,4,9
            Wall clock TIME (seconds)      = 76.552
            CPU/machine TIME (seconds)     = 72.240
    total makespan           = 0
9,4,774
            Wall clock TIME (seconds)      = 1.343
            CPU/machine TIME (seconds)     = 0.860
    total makespan           = 7